decoder.isa (4828:768d4cf6b0dc) decoder.isa (5091:662c1d7b4795)
1// Copyright (c) 2006-2007 The Regents of The University of Michigan
2// All rights reserved.
3//
4// Redistribution and use in source and binary forms, with or without
5// modification, are permitted provided that the following conditions are
6// met: redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer;
8// redistributions in binary form must reproduce the above copyright
9// notice, this list of conditions and the following disclaimer in the
10// documentation and/or other materials provided with the distribution;
11// neither the name of the copyright holders nor the names of its
12// contributors may be used to endorse or promote products derived from
13// this software without specific prior written permission.
14//
15// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
18// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
19// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
20// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
21// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26//
27// Authors: Ali Saidi
28// Gabe Black
29// Steve Reinhardt
30
31////////////////////////////////////////////////////////////////////
32//
33// The actual decoder specification
34//
35
36decode OP default Unknown::unknown()
37{
38 0x0: decode OP2
39 {
40 //Throw an illegal instruction acception
41 0x0: Trap::illtrap({{fault = new IllegalInstruction;}});
42 format BranchN
43 {
44 //bpcc
45 0x1: decode COND2
46 {
47 //Branch Always
1// Copyright (c) 2006-2007 The Regents of The University of Michigan
2// All rights reserved.
3//
4// Redistribution and use in source and binary forms, with or without
5// modification, are permitted provided that the following conditions are
6// met: redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer;
8// redistributions in binary form must reproduce the above copyright
9// notice, this list of conditions and the following disclaimer in the
10// documentation and/or other materials provided with the distribution;
11// neither the name of the copyright holders nor the names of its
12// contributors may be used to endorse or promote products derived from
13// this software without specific prior written permission.
14//
15// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
18// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
19// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
20// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
21// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26//
27// Authors: Ali Saidi
28// Gabe Black
29// Steve Reinhardt
30
31////////////////////////////////////////////////////////////////////
32//
33// The actual decoder specification
34//
35
36decode OP default Unknown::unknown()
37{
38 0x0: decode OP2
39 {
40 //Throw an illegal instruction acception
41 0x0: Trap::illtrap({{fault = new IllegalInstruction;}});
42 format BranchN
43 {
44 //bpcc
45 0x1: decode COND2
46 {
47 //Branch Always
48 0x8: decode A
49 {
50 0x0: bpa(19, {{
51 NNPC = xc->readPC() + disp;
52 }});
53 0x1: bpa(19, {{
54 NPC = xc->readPC() + disp;
55 NNPC = NPC + 4;
56 }}, ',a');
57 }
48 0x8: bpa(19, annul_code={{
49 NPC = xc->readPC() + disp;
50 NNPC = NPC + 4;
51 }});
58 //Branch Never
52 //Branch Never
59 0x0: decode A
60 {
61 0x0: bpn(19, {{
62 NNPC = NNPC;//Don't do anything
63 }});
64 0x1: bpn(19, {{
65 NNPC = NPC + 8;
66 NPC = NPC + 4;
67 }}, ',a');
68 }
53 0x0: bpn(19, {{;}},
54 annul_code={{
55 NNPC = NPC + 8;
56 NPC = NPC + 4;
57 }});
69 default: decode BPCC
70 {
58 default: decode BPCC
59 {
71 0x0: bpcci(19, {{
72 if(passesCondition(Ccr<3:0>, COND2))
73 NNPC = xc->readPC() + disp;
74 else
75 handle_annul
76 }});
77 0x2: bpccx(19, {{
78 if(passesCondition(Ccr<7:4>, COND2))
79 NNPC = xc->readPC() + disp;
80 else
81 handle_annul
82 }});
60 0x0: bpcci(19, test={{passesCondition(Ccr<3:0>, COND2)}});
61 0x2: bpccx(19, test={{passesCondition(Ccr<7:4>, COND2)}});
83 }
84 }
85 //bicc
86 0x2: decode COND2
87 {
88 //Branch Always
62 }
63 }
64 //bicc
65 0x2: decode COND2
66 {
67 //Branch Always
89 0x8: decode A
90 {
91 0x0: ba(22, {{
92 NNPC = xc->readPC() + disp;
93 }});
94 0x1: ba(22, {{
95 NPC = xc->readPC() + disp;
96 NNPC = NPC + 4;
97 }}, ',a');
98 }
68 0x8: ba(22, annul_code={{
69 NPC = xc->readPC() + disp;
70 NNPC = NPC + 4;
71 }});
99 //Branch Never
72 //Branch Never
100 0x0: decode A
101 {
102 0x0: bn(22, {{
103 NNPC = NNPC;//Don't do anything
104 }});
105 0x1: bn(22, {{
106 NNPC = NPC + 8;
107 NPC = NPC + 4;
108 }}, ',a');
109 }
110 default: bicc(22, {{
111 if(passesCondition(Ccr<3:0>, COND2))
112 NNPC = xc->readPC() + disp;
113 else
114 handle_annul
115 }});
73 0x0: bn(22, {{;}},
74 annul_code={{
75 NNPC = NPC + 8;
76 NPC = NPC + 4;
77 }});
78 default: bicc(22, test={{passesCondition(Ccr<3:0>, COND2)}});
116 }
117 }
118 0x3: decode RCOND2
119 {
120 format BranchSplit
121 {
79 }
80 }
81 0x3: decode RCOND2
82 {
83 format BranchSplit
84 {
122 0x1: bpreq({{
123 if(Rs1.sdw == 0)
124 NNPC = xc->readPC() + disp;
125 else
126 handle_annul
127 }});
128 0x2: bprle({{
129 if(Rs1.sdw <= 0)
130 NNPC = xc->readPC() + disp;
131 else
132 handle_annul
133 }});
134 0x3: bprl({{
135 if(Rs1.sdw < 0)
136 NNPC = xc->readPC() + disp;
137 else
138 handle_annul
139 }});
140 0x5: bprne({{
141 if(Rs1.sdw != 0)
142 NNPC = xc->readPC() + disp;
143 else
144 handle_annul
145 }});
146 0x6: bprg({{
147 if(Rs1.sdw > 0)
148 NNPC = xc->readPC() + disp;
149 else
150 handle_annul
151 }});
152 0x7: bprge({{
153 if(Rs1.sdw >= 0)
154 NNPC = xc->readPC() + disp;
155 else
156 handle_annul
157 }});
85 0x1: bpreq(test={{Rs1.sdw == 0}});
86 0x2: bprle(test={{Rs1.sdw <= 0}});
87 0x3: bprl(test={{Rs1.sdw < 0}});
88 0x5: bprne(test={{Rs1.sdw != 0}});
89 0x6: bprg(test={{Rs1.sdw > 0}});
90 0x7: bprge(test={{Rs1.sdw >= 0}});
158 }
159 }
160 //SETHI (or NOP if rd == 0 and imm == 0)
161 0x4: SetHi::sethi({{Rd.udw = imm;}});
162 //fbpfcc
163 0x5: decode COND2 {
164 format BranchN {
165 //Branch Always
91 }
92 }
93 //SETHI (or NOP if rd == 0 and imm == 0)
94 0x4: SetHi::sethi({{Rd.udw = imm;}});
95 //fbpfcc
96 0x5: decode COND2 {
97 format BranchN {
98 //Branch Always
166 0x8: decode A
167 {
168 0x0: fbpa(22, {{
169 NNPC = xc->readPC() + disp;
170 }});
171 0x1: fbpa(22, {{
172 NPC = xc->readPC() + disp;
173 NNPC = NPC + 4;
174 }}, ',a');
175 }
99 0x8: fbpa(22, annul_code={{
100 NPC = xc->readPC() + disp;
101 NNPC = NPC + 4;
102 }});
176 //Branch Never
103 //Branch Never
177 0x0: decode A
178 {
179 0x0: fbpn(22, {{
180 NNPC = NNPC;//Don't do anything
181 }});
182 0x1: fbpn(22, {{
183 NNPC = NPC + 8;
184 NPC = NPC + 4;
185 }}, ',a');
186 }
104 0x0: fbpn(22, {{;}},
105 annul_code={{
106 NNPC = NPC + 8;
107 NPC = NPC + 4;
108 }});
187 default: decode BPCC {
109 default: decode BPCC {
188 0x0: fbpfcc0(19, {{
189 if(passesFpCondition(Fsr<11:10>, COND2))
190 NNPC = xc->readPC() + disp;
191 else
192 handle_annul
193 }});
194 0x1: fbpfcc1(19, {{
195 if(passesFpCondition(Fsr<33:32>, COND2))
196 NNPC = xc->readPC() + disp;
197 else
198 handle_annul
199 }});
200 0x2: fbpfcc2(19, {{
201 if(passesFpCondition(Fsr<35:34>, COND2))
202 NNPC = xc->readPC() + disp;
203 else
204 handle_annul
205 }});
206 0x3: fbpfcc3(19, {{
207 if(passesFpCondition(Fsr<37:36>, COND2))
208 NNPC = xc->readPC() + disp;
209 else
210 handle_annul
211 }});
110 0x0: fbpfcc0(19, test=
111 {{passesFpCondition(Fsr<11:10>, COND2)}});
112 0x1: fbpfcc1(19, test=
113 {{passesFpCondition(Fsr<33:32>, COND2)}});
114 0x2: fbpfcc2(19, test=
115 {{passesFpCondition(Fsr<35:34>, COND2)}});
116 0x3: fbpfcc3(19, test=
117 {{passesFpCondition(Fsr<37:36>, COND2)}});
212 }
213 }
214 }
215 //fbfcc
216 0x6: decode COND2 {
217 format BranchN {
218 //Branch Always
118 }
119 }
120 }
121 //fbfcc
122 0x6: decode COND2 {
123 format BranchN {
124 //Branch Always
219 0x8: decode A
220 {
221 0x0: fba(22, {{
222 NNPC = xc->readPC() + disp;
223 }});
224 0x1: fba(22, {{
225 NPC = xc->readPC() + disp;
226 NNPC = NPC + 4;
227 }}, ',a');
228 }
125 0x8: fba(22, annul_code={{
126 NPC = xc->readPC() + disp;
127 NNPC = NPC + 4;
128 }});
229 //Branch Never
129 //Branch Never
230 0x0: decode A
231 {
232 0x0: fbn(22, {{
233 NNPC = NNPC;//Don't do anything
234 }});
235 0x1: fbn(22, {{
236 NNPC = NPC + 8;
237 NPC = NPC + 4;
238 }}, ',a');
239 }
240 default: fbfcc(22, {{
241 if(passesFpCondition(Fsr<11:10>, COND2))
242 NNPC = xc->readPC() + disp;
243 else
244 handle_annul
245 }});
130 0x0: fbn(22, {{;}},
131 annul_code={{
132 NNPC = NPC + 8;
133 NPC = NPC + 4;
134 }});
135 default: fbfcc(22, test=
136 {{passesFpCondition(Fsr<11:10>, COND2)}});
246 }
247 }
248 }
249 0x1: BranchN::call(30, {{
250 if (Pstate<3:>)
251 R15 = (xc->readPC())<31:0>;
252 else
253 R15 = xc->readPC();
254 NNPC = R15 + disp;
255 }});
256 0x2: decode OP3 {
257 format IntOp {
258 0x00: add({{Rd = Rs1.sdw + Rs2_or_imm13;}});
259 0x01: and({{Rd = Rs1.sdw & Rs2_or_imm13;}});
260 0x02: or({{Rd = Rs1.sdw | Rs2_or_imm13;}});
261 0x03: xor({{Rd = Rs1.sdw ^ Rs2_or_imm13;}});
262 0x04: sub({{Rd = Rs1.sdw - Rs2_or_imm13;}});
263 0x05: andn({{Rd = Rs1.sdw & ~Rs2_or_imm13;}});
264 0x06: orn({{Rd = Rs1.sdw | ~Rs2_or_imm13;}});
265 0x07: xnor({{Rd = ~(Rs1.sdw ^ Rs2_or_imm13);}});
266 0x08: addc({{Rd = Rs1.sdw + Rs2_or_imm13 + Ccr<0:0>;}});
267 0x09: mulx({{Rd = Rs1.sdw * Rs2_or_imm13;}});
268 0x0A: umul({{
269 Rd = Rs1.udw<31:0> * Rs2_or_imm13<31:0>;
270 Y = Rd<63:32>;
271 }});
272 0x0B: smul({{
273 Rd.sdw = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
274 Y = Rd.sdw<63:32>;
275 }});
276 0x0C: subc({{Rd.sdw = Rs1.sdw + (~Rs2_or_imm13) + 1 - Ccr<0:0>}});
277 0x0D: udivx({{
278 if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
279 else Rd.udw = Rs1.udw / Rs2_or_imm13;
280 }});
281 0x0E: udiv({{
282 if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
283 else
284 {
285 Rd.udw = ((Y << 32) | Rs1.udw<31:0>) / Rs2_or_imm13;
286 if(Rd.udw >> 32 != 0)
287 Rd.udw = 0xFFFFFFFF;
288 }
289 }});
290 0x0F: sdiv({{
291 if(Rs2_or_imm13.sdw == 0)
292 fault = new DivisionByZero;
293 else
294 {
295 Rd.udw = ((int64_t)((Y << 32) | Rs1.sdw<31:0>)) / Rs2_or_imm13.sdw;
296 if((int64_t)Rd.udw >= std::numeric_limits<int32_t>::max())
297 Rd.udw = 0x7FFFFFFF;
298 else if((int64_t)Rd.udw <= std::numeric_limits<int32_t>::min())
299 Rd.udw = ULL(0xFFFFFFFF80000000);
300 }
301 }});
302 }
303 format IntOpCc {
304 0x10: addcc({{
305 int64_t resTemp, val2 = Rs2_or_imm13;
306 Rd = resTemp = Rs1 + val2;}},
307 {{(Rs1<31:0> + val2<31:0>)<32:>}},
308 {{Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>}},
309 {{(Rs1<63:1> + val2<63:1> + (Rs1 & val2)<0:>)<63:>}},
310 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
311 );
312 0x11: IntOpCcRes::andcc({{Rd = Rs1 & Rs2_or_imm13;}});
313 0x12: IntOpCcRes::orcc({{Rd = Rs1 | Rs2_or_imm13;}});
314 0x13: IntOpCcRes::xorcc({{Rd = Rs1 ^ Rs2_or_imm13;}});
315 0x14: subcc({{
316 int64_t val2 = Rs2_or_imm13;
317 Rd = Rs1 - val2;}},
318 {{(~(Rs1<31:0> + (~val2)<31:0> + 1))<32:>}},
319 {{(Rs1<31:> != val2<31:>) && (Rs1<31:> != Rd<31:>)}},
320 {{(~(Rs1<63:1> + (~val2)<63:1> +
321 (Rs1 | ~val2)<0:>))<63:>}},
322 {{Rs1<63:> != val2<63:> && Rs1<63:> != Rd<63:>}}
323 );
324 0x15: IntOpCcRes::andncc({{Rd = Rs1 & ~Rs2_or_imm13;}});
325 0x16: IntOpCcRes::orncc({{Rd = Rs1 | ~Rs2_or_imm13;}});
326 0x17: IntOpCcRes::xnorcc({{Rd = ~(Rs1 ^ Rs2_or_imm13);}});
327 0x18: addccc({{
328 int64_t resTemp, val2 = Rs2_or_imm13;
329 int64_t carryin = Ccr<0:0>;
330 Rd = resTemp = Rs1 + val2 + carryin;}},
331 {{(Rs1<31:0> + val2<31:0> + carryin)<32:>}},
332 {{Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>}},
333 {{((Rs1 & val2) | (~resTemp & (Rs1 | val2)))<63:>}},
334 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
335 );
336 0x1A: IntOpCcRes::umulcc({{
337 uint64_t resTemp;
338 Rd = resTemp = Rs1.udw<31:0> * Rs2_or_imm13.udw<31:0>;
339 Y = resTemp<63:32>;}});
340 0x1B: IntOpCcRes::smulcc({{
341 int64_t resTemp;
342 Rd = resTemp = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
343 Y = resTemp<63:32>;}});
344 0x1C: subccc({{
345 int64_t resTemp, val2 = Rs2_or_imm13;
346 int64_t carryin = Ccr<0:0>;
347 Rd = resTemp = Rs1 + ~val2 + 1 - carryin;}},
348 {{((~Rs1 & val2) | (resTemp & (~Rs1 | val2)))<31:>}},
349 {{Rs1<31:> != val2<31:> && Rs1<31:> != resTemp<31:>}},
350 {{((~Rs1 & val2) | (resTemp & (~Rs1 | val2)))<63:>}},
351 {{Rs1<63:> != val2<63:> && Rs1<63:> != resTemp<63:>}}
352 );
353 0x1D: IntOpCcRes::udivxcc({{
354 if(Rs2_or_imm13.udw == 0) fault = new DivisionByZero;
355 else Rd = Rs1.udw / Rs2_or_imm13.udw;}});
356 0x1E: udivcc({{
357 uint32_t resTemp, val2 = Rs2_or_imm13.udw;
358 int32_t overflow = 0;
359 if(val2 == 0) fault = new DivisionByZero;
360 else
361 {
362 resTemp = (uint64_t)((Y << 32) | Rs1.udw<31:0>) / val2;
363 overflow = (resTemp<63:32> != 0);
364 if(overflow) Rd = resTemp = 0xFFFFFFFF;
365 else Rd = resTemp;
366 } }},
367 {{0}},
368 {{overflow}},
369 {{0}},
370 {{0}}
371 );
372 0x1F: sdivcc({{
373 int64_t val2 = Rs2_or_imm13.sdw<31:0>;
374 bool overflow = false, underflow = false;
375 if(val2 == 0) fault = new DivisionByZero;
376 else
377 {
378 Rd = (int64_t)((Y << 32) | Rs1.sdw<31:0>) / val2;
379 overflow = ((int64_t)Rd >= std::numeric_limits<int32_t>::max());
380 underflow = ((int64_t)Rd <= std::numeric_limits<int32_t>::min());
381 if(overflow) Rd = 0x7FFFFFFF;
382 else if(underflow) Rd = ULL(0xFFFFFFFF80000000);
383 } }},
384 {{0}},
385 {{overflow || underflow}},
386 {{0}},
387 {{0}}
388 );
389 0x20: taddcc({{
390 int64_t resTemp, val2 = Rs2_or_imm13;
391 Rd = resTemp = Rs1 + val2;
392 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);}},
393 {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
394 {{overflow}},
395 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
396 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
397 );
398 0x21: tsubcc({{
399 int64_t resTemp, val2 = Rs2_or_imm13;
400 Rd = resTemp = Rs1 + val2;
401 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);}},
402 {{(Rs1<31:0> + val2<31:0>)<32:0>}},
403 {{overflow}},
404 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
405 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
406 );
407 0x22: taddcctv({{
408 int64_t val2 = Rs2_or_imm13;
409 Rd = Rs1 + val2;
410 int32_t overflow = Rs1<1:0> || val2<1:0> ||
411 (Rs1<31:> == val2<31:> && val2<31:> != Rd<31:>);
412 if(overflow) fault = new TagOverflow;}},
413 {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
414 {{overflow}},
415 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
416 {{Rs1<63:> == val2<63:> && val2<63:> != Rd<63:>}}
417 );
418 0x23: tsubcctv({{
419 int64_t resTemp, val2 = Rs2_or_imm13;
420 Rd = resTemp = Rs1 + val2;
421 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);
422 if(overflow) fault = new TagOverflow;}},
423 {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
424 {{overflow}},
425 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
426 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
427 );
428 0x24: mulscc({{
429 int32_t savedLSB = Rs1<0:>;
430
431 //Step 1
432 int64_t multiplicand = Rs2_or_imm13;
433 //Step 2
434 int32_t partialP = Rs1<31:1> |
435 ((Ccr<3:3> ^ Ccr<1:1>) << 31);
436 //Step 3
437 int32_t added = Y<0:> ? multiplicand : 0;
438 Rd = partialP + added;
439 //Steps 4 & 5
440 Y = Y<31:1> | (savedLSB << 31);}},
441 {{((partialP<31:0> + added<31:0>)<32:0>)}},
442 {{partialP<31:> == added<31:> && added<31:> != Rd<31:>}},
443 {{((partialP >> 1) + (added >> 1) + (partialP & added & 0x1))<63:>}},
444 {{partialP<63:> == added<63:> && partialP<63:> != Rd<63:>}}
445 );
446 }
447 format IntOp
448 {
449 0x25: decode X {
450 0x0: sll({{Rd = Rs1 << (I ? SHCNT32 : Rs2<4:0>);}});
451 0x1: sllx({{Rd = Rs1 << (I ? SHCNT64 : Rs2<5:0>);}});
452 }
453 0x26: decode X {
454 0x0: srl({{Rd = Rs1.uw >> (I ? SHCNT32 : Rs2<4:0>);}});
455 0x1: srlx({{Rd = Rs1.udw >> (I ? SHCNT64 : Rs2<5:0>);}});
456 }
457 0x27: decode X {
458 0x0: sra({{Rd = Rs1.sw >> (I ? SHCNT32 : Rs2<4:0>);}});
459 0x1: srax({{Rd = Rs1.sdw >> (I ? SHCNT64 : Rs2<5:0>);}});
460 }
461 0x28: decode RS1 {
462 0x00: NoPriv::rdy({{Rd = Y<31:0>;}});
463 //1 should cause an illegal instruction exception
464 0x02: NoPriv::rdccr({{Rd = Ccr;}});
465 0x03: NoPriv::rdasi({{Rd = Asi;}});
466 0x04: PrivCheck::rdtick({{Rd = Tick;}}, {{Tick<63:>}});
467 0x05: NoPriv::rdpc({{
468 if(Pstate<3:>)
469 Rd = (xc->readPC())<31:0>;
470 else
471 Rd = xc->readPC();}});
472 0x06: NoPriv::rdfprs({{
473 //Wait for all fpops to finish.
474 Rd = Fprs;
475 }});
476 //7-14 should cause an illegal instruction exception
477 0x0F: decode I {
478 0x0: Nop::stbar({{/*stuff*/}}, IsWriteBarrier, MemWriteOp);
479 0x1: Nop::membar({{/*stuff*/}}, IsMemBarrier, MemReadOp);
480 }
481 0x10: Priv::rdpcr({{Rd = Pcr;}});
482 0x11: PrivCheck::rdpic({{Rd = Pic;}}, {{Pcr<0:>}});
483 //0x12 should cause an illegal instruction exception
484 0x13: NoPriv::rdgsr({{
485 fault = checkFpEnableFault(xc);
486 if (fault)
487 return fault;
488 Rd = Gsr;
489 }});
490 //0x14-0x15 should cause an illegal instruction exception
491 0x16: Priv::rdsoftint({{Rd = Softint;}});
492 0x17: Priv::rdtick_cmpr({{Rd = TickCmpr;}});
493 0x18: PrivCheck::rdstick({{Rd = Stick}}, {{Stick<63:>}});
494 0x19: Priv::rdstick_cmpr({{Rd = StickCmpr;}});
495 0x1A: Priv::rdstrand_sts_reg({{
496 if(Pstate<2:> && !Hpstate<2:>)
497 Rd = StrandStsReg<0:>;
498 else
499 Rd = StrandStsReg;
500 }});
501 //0x1A is supposed to be reserved, but it reads the strand
502 //status register.
503 //0x1B-0x1F should cause an illegal instruction exception
504 }
505 0x29: decode RS1 {
506 0x00: HPriv::rdhprhpstate({{Rd = Hpstate;}});
507 0x01: HPriv::rdhprhtstate({{
508 if(Tl == 0)
509 return new IllegalInstruction;
510 Rd = Htstate;
511 }});
512 //0x02 should cause an illegal instruction exception
513 0x03: HPriv::rdhprhintp({{Rd = Hintp;}});
514 //0x04 should cause an illegal instruction exception
515 0x05: HPriv::rdhprhtba({{Rd = Htba;}});
516 0x06: HPriv::rdhprhver({{Rd = Hver;}});
517 //0x07-0x1E should cause an illegal instruction exception
518 0x1F: HPriv::rdhprhstick_cmpr({{Rd = HstickCmpr;}});
519 }
520 0x2A: decode RS1 {
521 0x00: Priv::rdprtpc({{
522 if(Tl == 0)
523 return new IllegalInstruction;
524 Rd = Tpc;
525 }});
526 0x01: Priv::rdprtnpc({{
527 if(Tl == 0)
528 return new IllegalInstruction;
529 Rd = Tnpc;
530 }});
531 0x02: Priv::rdprtstate({{
532 if(Tl == 0)
533 return new IllegalInstruction;
534 Rd = Tstate;
535 }});
536 0x03: Priv::rdprtt({{
537 if(Tl == 0)
538 return new IllegalInstruction;
539 Rd = Tt;
540 }});
541 0x04: Priv::rdprtick({{Rd = Tick;}});
542 0x05: Priv::rdprtba({{Rd = Tba;}});
543 0x06: Priv::rdprpstate({{Rd = Pstate;}});
544 0x07: Priv::rdprtl({{Rd = Tl;}});
545 0x08: Priv::rdprpil({{Rd = Pil;}});
546 0x09: Priv::rdprcwp({{Rd = Cwp;}});
547 0x0A: Priv::rdprcansave({{Rd = Cansave;}});
548 0x0B: Priv::rdprcanrestore({{Rd = Canrestore;}});
549 0x0C: Priv::rdprcleanwin({{Rd = Cleanwin;}});
550 0x0D: Priv::rdprotherwin({{Rd = Otherwin;}});
551 0x0E: Priv::rdprwstate({{Rd = Wstate;}});
552 //0x0F should cause an illegal instruction exception
553 0x10: Priv::rdprgl({{Rd = Gl;}});
554 //0x11-0x1F should cause an illegal instruction exception
555 }
556 0x2B: BasicOperate::flushw({{
557 if(NWindows - 2 - Cansave != 0)
558 {
559 if(Otherwin)
560 fault = new SpillNOther(4*Wstate<5:3>);
561 else
562 fault = new SpillNNormal(4*Wstate<2:0>);
563 }
564 }});
565 0x2C: decode MOVCC3
566 {
567 0x0: Trap::movccfcc({{fault = new FpDisabled;}});
568 0x1: decode CC
569 {
570 0x0: movcci({{
571 if(passesCondition(Ccr<3:0>, COND4))
572 Rd = Rs2_or_imm11;
573 else
574 Rd = Rd;
575 }});
576 0x2: movccx({{
577 if(passesCondition(Ccr<7:4>, COND4))
578 Rd = Rs2_or_imm11;
579 else
580 Rd = Rd;
581 }});
582 }
583 }
584 0x2D: sdivx({{
585 if(Rs2_or_imm13.sdw == 0) fault = new DivisionByZero;
586 else Rd.sdw = Rs1.sdw / Rs2_or_imm13.sdw;
587 }});
588 0x2E: Trap::popc({{fault = new IllegalInstruction;}});
589 0x2F: decode RCOND3
590 {
591 0x1: movreq({{Rd = (Rs1.sdw == 0) ? Rs2_or_imm10 : Rd;}});
592 0x2: movrle({{Rd = (Rs1.sdw <= 0) ? Rs2_or_imm10 : Rd;}});
593 0x3: movrl({{Rd = (Rs1.sdw < 0) ? Rs2_or_imm10 : Rd;}});
594 0x5: movrne({{Rd = (Rs1.sdw != 0) ? Rs2_or_imm10 : Rd;}});
595 0x6: movrg({{Rd = (Rs1.sdw > 0) ? Rs2_or_imm10 : Rd;}});
596 0x7: movrge({{Rd = (Rs1.sdw >= 0) ? Rs2_or_imm10 : Rd;}});
597 }
598 0x30: decode RD {
599 0x00: NoPriv::wry({{Y = (Rs1 ^ Rs2_or_imm13)<31:0>;}});
600 //0x01 should cause an illegal instruction exception
601 0x02: NoPriv::wrccr({{Ccr = Rs1 ^ Rs2_or_imm13;}});
602 0x03: NoPriv::wrasi({{Asi = Rs1 ^ Rs2_or_imm13;}});
603 //0x04-0x05 should cause an illegal instruction exception
604 0x06: NoPriv::wrfprs({{Fprs = Rs1 ^ Rs2_or_imm13;}});
605 //0x07-0x0E should cause an illegal instruction exception
606 0x0F: Trap::softreset({{fault = new SoftwareInitiatedReset;}});
607 0x10: Priv::wrpcr({{Pcr = Rs1 ^ Rs2_or_imm13;}});
608 0x11: PrivCheck::wrpic({{Pic = Rs1 ^ Rs2_or_imm13;}}, {{Pcr<0:>}});
609 //0x12 should cause an illegal instruction exception
610 0x13: NoPriv::wrgsr({{
611 if(Fprs<2:> == 0 || Pstate<4:> == 0)
612 return new FpDisabled;
613 Gsr = Rs1 ^ Rs2_or_imm13;
614 }});
615 0x14: Priv::wrsoftint_set({{SoftintSet = Rs1 ^ Rs2_or_imm13;}});
616 0x15: Priv::wrsoftint_clr({{SoftintClr = Rs1 ^ Rs2_or_imm13;}});
617 0x16: Priv::wrsoftint({{Softint = Rs1 ^ Rs2_or_imm13;}});
618 0x17: Priv::wrtick_cmpr({{TickCmpr = Rs1 ^ Rs2_or_imm13;}});
619 0x18: NoPriv::wrstick({{
620 if(!Hpstate<2:>)
621 return new IllegalInstruction;
622 Stick = Rs1 ^ Rs2_or_imm13;
623 }});
624 0x19: Priv::wrstick_cmpr({{StickCmpr = Rs1 ^ Rs2_or_imm13;}});
625 0x1A: Priv::wrstrand_sts_reg({{
626 StrandStsReg = Rs1 ^ Rs2_or_imm13;
627 }});
628 //0x1A is supposed to be reserved, but it writes the strand
629 //status register.
630 //0x1B-0x1F should cause an illegal instruction exception
631 }
632 0x31: decode FCN {
633 0x0: Priv::saved({{
634 assert(Cansave < NWindows - 2);
635 assert(Otherwin || Canrestore);
636 Cansave = Cansave + 1;
637 if(Otherwin == 0)
638 Canrestore = Canrestore - 1;
639 else
640 Otherwin = Otherwin - 1;
641 }});
642 0x1: Priv::restored({{
643 assert(Cansave || Otherwin);
644 assert(Canrestore < NWindows - 2);
645 Canrestore = Canrestore + 1;
646 if(Otherwin == 0)
647 Cansave = Cansave - 1;
648 else
649 Otherwin = Otherwin - 1;
650
651 if(Cleanwin < NWindows - 1)
652 Cleanwin = Cleanwin + 1;
653 }});
654 }
655 0x32: decode RD {
656 0x00: Priv::wrprtpc({{
657 if(Tl == 0)
658 return new IllegalInstruction;
659 else
660 Tpc = Rs1 ^ Rs2_or_imm13;
661 }});
662 0x01: Priv::wrprtnpc({{
663 if(Tl == 0)
664 return new IllegalInstruction;
665 else
666 Tnpc = Rs1 ^ Rs2_or_imm13;
667 }});
668 0x02: Priv::wrprtstate({{
669 if(Tl == 0)
670 return new IllegalInstruction;
671 else
672 Tstate = Rs1 ^ Rs2_or_imm13;
673 }});
674 0x03: Priv::wrprtt({{
675 if(Tl == 0)
676 return new IllegalInstruction;
677 else
678 Tt = Rs1 ^ Rs2_or_imm13;
679 }});
680 0x04: HPriv::wrprtick({{Tick = Rs1 ^ Rs2_or_imm13;}});
681 0x05: Priv::wrprtba({{Tba = Rs1 ^ Rs2_or_imm13;}});
682 0x06: Priv::wrprpstate({{Pstate = Rs1 ^ Rs2_or_imm13;}});
683 0x07: Priv::wrprtl({{
684 if(Pstate<2:> && !Hpstate<2:>)
685 Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPTL);
686 else
687 Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxTL);
688 }});
689 0x08: Priv::wrprpil({{Pil = Rs1 ^ Rs2_or_imm13;}});
690 0x09: Priv::wrprcwp({{Cwp = Rs1 ^ Rs2_or_imm13;}});
691 0x0A: Priv::wrprcansave({{Cansave = Rs1 ^ Rs2_or_imm13;}});
692 0x0B: Priv::wrprcanrestore({{Canrestore = Rs1 ^ Rs2_or_imm13;}});
693 0x0C: Priv::wrprcleanwin({{Cleanwin = Rs1 ^ Rs2_or_imm13;}});
694 0x0D: Priv::wrprotherwin({{Otherwin = Rs1 ^ Rs2_or_imm13;}});
695 0x0E: Priv::wrprwstate({{Wstate = Rs1 ^ Rs2_or_imm13;}});
696 //0x0F should cause an illegal instruction exception
697 0x10: Priv::wrprgl({{
698 if(Pstate<2:> && !Hpstate<2:>)
699 Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPGL);
700 else
701 Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxGL);
702 }});
703 //0x11-0x1F should cause an illegal instruction exception
704 }
705 0x33: decode RD {
706 0x00: HPriv::wrhprhpstate({{Hpstate = Rs1 ^ Rs2_or_imm13;}});
707 0x01: HPriv::wrhprhtstate({{
708 if(Tl == 0)
709 return new IllegalInstruction;
710 Htstate = Rs1 ^ Rs2_or_imm13;
711 }});
712 //0x02 should cause an illegal instruction exception
713 0x03: HPriv::wrhprhintp({{Hintp = Rs1 ^ Rs2_or_imm13;}});
714 //0x04 should cause an illegal instruction exception
715 0x05: HPriv::wrhprhtba({{Htba = Rs1 ^ Rs2_or_imm13;}});
716 //0x06-0x01D should cause an illegal instruction exception
717 0x1F: HPriv::wrhprhstick_cmpr({{HstickCmpr = Rs1 ^ Rs2_or_imm13;}});
718 }
719 0x34: decode OPF{
720 format FpBasic{
721 0x01: fmovs({{
722 Frds.uw = Frs2s.uw;
723 //fsr.ftt = fsr.cexc = 0
724 Fsr &= ~(7 << 14);
725 Fsr &= ~(0x1F);
726 }});
727 0x02: fmovd({{
728 Frd.udw = Frs2.udw;
729 //fsr.ftt = fsr.cexc = 0
730 Fsr &= ~(7 << 14);
731 Fsr &= ~(0x1F);
732 }});
733 0x03: FpUnimpl::fmovq();
734 0x05: fnegs({{
735 Frds.uw = Frs2s.uw ^ (1UL << 31);
736 //fsr.ftt = fsr.cexc = 0
737 Fsr &= ~(7 << 14);
738 Fsr &= ~(0x1F);
739 }});
740 0x06: fnegd({{
741 Frd.udw = Frs2.udw ^ (1ULL << 63);
742 //fsr.ftt = fsr.cexc = 0
743 Fsr &= ~(7 << 14);
744 Fsr &= ~(0x1F);
745 }});
746 0x07: FpUnimpl::fnegq();
747 0x09: fabss({{
748 Frds.uw = ((1UL << 31) - 1) & Frs2s.uw;
749 //fsr.ftt = fsr.cexc = 0
750 Fsr &= ~(7 << 14);
751 Fsr &= ~(0x1F);
752 }});
753 0x0A: fabsd({{
754 Frd.udw = ((1ULL << 63) - 1) & Frs2.udw;
755 //fsr.ftt = fsr.cexc = 0
756 Fsr &= ~(7 << 14);
757 Fsr &= ~(0x1F);
758 }});
759 0x0B: FpUnimpl::fabsq();
760 0x29: fsqrts({{Frds.sf = std::sqrt(Frs2s.sf);}});
761 0x2A: fsqrtd({{Frd.df = std::sqrt(Frs2.df);}});
762 0x2B: FpUnimpl::fsqrtq();
763 0x41: fadds({{Frds.sf = Frs1s.sf + Frs2s.sf;}});
764 0x42: faddd({{Frd.df = Frs1.df + Frs2.df;}});
765 0x43: FpUnimpl::faddq();
766 0x45: fsubs({{Frds.sf = Frs1s.sf - Frs2s.sf;}});
767 0x46: fsubd({{Frd.df = Frs1.df - Frs2.df; }});
768 0x47: FpUnimpl::fsubq();
769 0x49: fmuls({{Frds.sf = Frs1s.sf * Frs2s.sf;}});
770 0x4A: fmuld({{Frd.df = Frs1.df * Frs2.df;}});
771 0x4B: FpUnimpl::fmulq();
772 0x4D: fdivs({{Frds.sf = Frs1s.sf / Frs2s.sf;}});
773 0x4E: fdivd({{Frd.df = Frs1.df / Frs2.df;}});
774 0x4F: FpUnimpl::fdivq();
775 0x69: fsmuld({{Frd.df = Frs1s.sf * Frs2s.sf;}});
776 0x6E: FpUnimpl::fdmulq();
777 0x81: fstox({{
778 Frd.sdw = static_cast<int64_t>(Frs2s.sf);
779 }});
780 0x82: fdtox({{
781 Frd.sdw = static_cast<int64_t>(Frs2.df);
782 }});
783 0x83: FpUnimpl::fqtox();
784 0x84: fxtos({{
785 Frds.sf = static_cast<float>(Frs2.sdw);
786 }});
787 0x88: fxtod({{
788 Frd.df = static_cast<double>(Frs2.sdw);
789 }});
790 0x8C: FpUnimpl::fxtoq();
791 0xC4: fitos({{
792 Frds.sf = static_cast<float>(Frs2s.sw);
793 }});
794 0xC6: fdtos({{Frds.sf = Frs2.df;}});
795 0xC7: FpUnimpl::fqtos();
796 0xC8: fitod({{
797 Frd.df = static_cast<double>(Frs2s.sw);
798 }});
799 0xC9: fstod({{Frd.df = Frs2s.sf;}});
800 0xCB: FpUnimpl::fqtod();
801 0xCC: FpUnimpl::fitoq();
802 0xCD: FpUnimpl::fstoq();
803 0xCE: FpUnimpl::fdtoq();
804 0xD1: fstoi({{
805 Frds.sw = static_cast<int32_t>(Frs2s.sf);
806 float t = Frds.sw;
807 if (t != Frs2s.sf)
808 Fsr = insertBits(Fsr, 4,0, 0x01);
809 }});
810 0xD2: fdtoi({{
811 Frds.sw = static_cast<int32_t>(Frs2.df);
812 double t = Frds.sw;
813 if (t != Frs2.df)
814 Fsr = insertBits(Fsr, 4,0, 0x01);
815 }});
816 0xD3: FpUnimpl::fqtoi();
817 default: FailUnimpl::fpop1();
818 }
819 }
820 0x35: decode OPF{
821 format FpBasic{
822 0x01: fmovs_fcc0({{
823 if(passesFpCondition(Fsr<11:10>, COND4))
824 Frds = Frs2s;
825 else
826 Frds = Frds;
827 }});
828 0x02: fmovd_fcc0({{
829 if(passesFpCondition(Fsr<11:10>, COND4))
830 Frd = Frs2;
831 else
832 Frd = Frd;
833 }});
834 0x03: FpUnimpl::fmovq_fcc0();
835 0x25: fmovrsz({{
836 if(Rs1 == 0)
837 Frds = Frs2s;
838 else
839 Frds = Frds;
840 }});
841 0x26: fmovrdz({{
842 if(Rs1 == 0)
843 Frd = Frs2;
844 else
845 Frd = Frd;
846 }});
847 0x27: FpUnimpl::fmovrqz();
848 0x41: fmovs_fcc1({{
849 if(passesFpCondition(Fsr<33:32>, COND4))
850 Frds = Frs2s;
851 else
852 Frds = Frds;
853 }});
854 0x42: fmovd_fcc1({{
855 if(passesFpCondition(Fsr<33:32>, COND4))
856 Frd = Frs2;
857 else
858 Frd = Frd;
859 }});
860 0x43: FpUnimpl::fmovq_fcc1();
861 0x45: fmovrslez({{
862 if(Rs1 <= 0)
863 Frds = Frs2s;
864 else
865 Frds = Frds;
866 }});
867 0x46: fmovrdlez({{
868 if(Rs1 <= 0)
869 Frd = Frs2;
870 else
871 Frd = Frd;
872 }});
873 0x47: FpUnimpl::fmovrqlez();
874 0x51: fcmps({{
875 uint8_t fcc;
876 if(isnan(Frs1s) || isnan(Frs2s))
877 fcc = 3;
878 else if(Frs1s < Frs2s)
879 fcc = 1;
880 else if(Frs1s > Frs2s)
881 fcc = 2;
882 else
883 fcc = 0;
884 uint8_t firstbit = 10;
885 if(FCMPCC)
886 firstbit = FCMPCC * 2 + 30;
887 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
888 }});
889 0x52: fcmpd({{
890 uint8_t fcc;
891 if(isnan(Frs1) || isnan(Frs2))
892 fcc = 3;
893 else if(Frs1 < Frs2)
894 fcc = 1;
895 else if(Frs1 > Frs2)
896 fcc = 2;
897 else
898 fcc = 0;
899 uint8_t firstbit = 10;
900 if(FCMPCC)
901 firstbit = FCMPCC * 2 + 30;
902 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
903 }});
904 0x53: FpUnimpl::fcmpq();
905 0x55: fcmpes({{
906 uint8_t fcc = 0;
907 if(isnan(Frs1s) || isnan(Frs2s))
908 fault = new FpExceptionIEEE754;
909 if(Frs1s < Frs2s)
910 fcc = 1;
911 else if(Frs1s > Frs2s)
912 fcc = 2;
913 uint8_t firstbit = 10;
914 if(FCMPCC)
915 firstbit = FCMPCC * 2 + 30;
916 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
917 }});
918 0x56: fcmped({{
919 uint8_t fcc = 0;
920 if(isnan(Frs1) || isnan(Frs2))
921 fault = new FpExceptionIEEE754;
922 if(Frs1 < Frs2)
923 fcc = 1;
924 else if(Frs1 > Frs2)
925 fcc = 2;
926 uint8_t firstbit = 10;
927 if(FCMPCC)
928 firstbit = FCMPCC * 2 + 30;
929 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
930 }});
931 0x57: FpUnimpl::fcmpeq();
932 0x65: fmovrslz({{
933 if(Rs1 < 0)
934 Frds = Frs2s;
935 else
936 Frds = Frds;
937 }});
938 0x66: fmovrdlz({{
939 if(Rs1 < 0)
940 Frd = Frs2;
941 else
942 Frd = Frd;
943 }});
944 0x67: FpUnimpl::fmovrqlz();
945 0x81: fmovs_fcc2({{
946 if(passesFpCondition(Fsr<35:34>, COND4))
947 Frds = Frs2s;
948 else
949 Frds = Frds;
950 }});
951 0x82: fmovd_fcc2({{
952 if(passesFpCondition(Fsr<35:34>, COND4))
953 Frd = Frs2;
954 else
955 Frd = Frd;
956 }});
957 0x83: FpUnimpl::fmovq_fcc2();
958 0xA5: fmovrsnz({{
959 if(Rs1 != 0)
960 Frds = Frs2s;
961 else
962 Frds = Frds;
963 }});
964 0xA6: fmovrdnz({{
965 if(Rs1 != 0)
966 Frd = Frs2;
967 else
968 Frd = Frd;
969 }});
970 0xA7: FpUnimpl::fmovrqnz();
971 0xC1: fmovs_fcc3({{
972 if(passesFpCondition(Fsr<37:36>, COND4))
973 Frds = Frs2s;
974 else
975 Frds = Frds;
976 }});
977 0xC2: fmovd_fcc3({{
978 if(passesFpCondition(Fsr<37:36>, COND4))
979 Frd = Frs2;
980 else
981 Frd = Frd;
982 }});
983 0xC3: FpUnimpl::fmovq_fcc3();
984 0xC5: fmovrsgz({{
985 if(Rs1 > 0)
986 Frds = Frs2s;
987 else
988 Frds = Frds;
989 }});
990 0xC6: fmovrdgz({{
991 if(Rs1 > 0)
992 Frd = Frs2;
993 else
994 Frd = Frd;
995 }});
996 0xC7: FpUnimpl::fmovrqgz();
997 0xE5: fmovrsgez({{
998 if(Rs1 >= 0)
999 Frds = Frs2s;
1000 else
1001 Frds = Frds;
1002 }});
1003 0xE6: fmovrdgez({{
1004 if(Rs1 >= 0)
1005 Frd = Frs2;
1006 else
1007 Frd = Frd;
1008 }});
1009 0xE7: FpUnimpl::fmovrqgez();
1010 0x101: fmovs_icc({{
1011 if(passesCondition(Ccr<3:0>, COND4))
1012 Frds = Frs2s;
1013 else
1014 Frds = Frds;
1015 }});
1016 0x102: fmovd_icc({{
1017 if(passesCondition(Ccr<3:0>, COND4))
1018 Frd = Frs2;
1019 else
1020 Frd = Frd;
1021 }});
1022 0x103: FpUnimpl::fmovq_icc();
1023 0x181: fmovs_xcc({{
1024 if(passesCondition(Ccr<7:4>, COND4))
1025 Frds = Frs2s;
1026 else
1027 Frds = Frds;
1028 }});
1029 0x182: fmovd_xcc({{
1030 if(passesCondition(Ccr<7:4>, COND4))
1031 Frd = Frs2;
1032 else
1033 Frd = Frd;
1034 }});
1035 0x183: FpUnimpl::fmovq_xcc();
1036 default: FailUnimpl::fpop2();
1037 }
1038 }
1039 //This used to be just impdep1, but now it's a whole bunch
1040 //of instructions
1041 0x36: decode OPF{
1042 0x00: FailUnimpl::edge8();
1043 0x01: FailUnimpl::edge8n();
1044 0x02: FailUnimpl::edge8l();
1045 0x03: FailUnimpl::edge8ln();
1046 0x04: FailUnimpl::edge16();
1047 0x05: FailUnimpl::edge16n();
1048 0x06: FailUnimpl::edge16l();
1049 0x07: FailUnimpl::edge16ln();
1050 0x08: FailUnimpl::edge32();
1051 0x09: FailUnimpl::edge32n();
1052 0x0A: FailUnimpl::edge32l();
1053 0x0B: FailUnimpl::edge32ln();
1054 0x10: FailUnimpl::array8();
1055 0x12: FailUnimpl::array16();
1056 0x14: FailUnimpl::array32();
1057 0x18: BasicOperate::alignaddr({{
1058 uint64_t sum = Rs1 + Rs2;
1059 Rd = sum & ~7;
1060 Gsr = (Gsr & ~7) | (sum & 7);
1061 }});
1062 0x19: FailUnimpl::bmask();
1063 0x1A: BasicOperate::alignaddresslittle({{
1064 uint64_t sum = Rs1 + Rs2;
1065 Rd = sum & ~7;
1066 Gsr = (Gsr & ~7) | ((~sum + 1) & 7);
1067 }});
1068 0x20: FailUnimpl::fcmple16();
1069 0x22: FailUnimpl::fcmpne16();
1070 0x24: FailUnimpl::fcmple32();
1071 0x26: FailUnimpl::fcmpne32();
1072 0x28: FailUnimpl::fcmpgt16();
1073 0x2A: FailUnimpl::fcmpeq16();
1074 0x2C: FailUnimpl::fcmpgt32();
1075 0x2E: FailUnimpl::fcmpeq32();
1076 0x31: FailUnimpl::fmul8x16();
1077 0x33: FailUnimpl::fmul8x16au();
1078 0x35: FailUnimpl::fmul8x16al();
1079 0x36: FailUnimpl::fmul8sux16();
1080 0x37: FailUnimpl::fmul8ulx16();
1081 0x38: FailUnimpl::fmuld8sux16();
1082 0x39: FailUnimpl::fmuld8ulx16();
1083 0x3A: Trap::fpack32({{fault = new IllegalInstruction;}});
1084 0x3B: Trap::fpack16({{fault = new IllegalInstruction;}});
1085 0x3D: Trap::fpackfix({{fault = new IllegalInstruction;}});
1086 0x3E: Trap::pdist({{fault = new IllegalInstruction;}});
1087 0x48: BasicOperate::faligndata({{
1088 uint64_t msbX = Frs1.udw;
1089 uint64_t lsbX = Frs2.udw;
1090 //Some special cases need to be split out, first
1091 //because they're the most likely to be used, and
1092 //second because otherwise, we end up shifting by
1093 //greater than the width of the type being shifted,
1094 //namely 64, which produces undefined results according
1095 //to the C standard.
1096 switch(Gsr<2:0>)
1097 {
1098 case 0:
1099 Frd.udw = msbX;
1100 break;
1101 case 8:
1102 Frd.udw = lsbX;
1103 break;
1104 default:
1105 uint64_t msbShift = Gsr<2:0> * 8;
1106 uint64_t lsbShift = (8 - Gsr<2:0>) * 8;
1107 uint64_t msbMask = ((uint64_t)(-1)) >> msbShift;
1108 uint64_t lsbMask = ((uint64_t)(-1)) << lsbShift;
1109 Frd.udw = ((msbX & msbMask) << msbShift) |
1110 ((lsbX & lsbMask) >> lsbShift);
1111 }
1112 }});
1113 0x4B: Trap::fpmerge({{fault = new IllegalInstruction;}});
1114 0x4C: FailUnimpl::bshuffle();
1115 0x4D: FailUnimpl::fexpand();
1116 0x50: FailUnimpl::fpadd16();
1117 0x51: FailUnimpl::fpadd16s();
1118 0x52: FailUnimpl::fpadd32();
1119 0x53: FailUnimpl::fpadd32s();
1120 0x54: FailUnimpl::fpsub16();
1121 0x55: FailUnimpl::fpsub16s();
1122 0x56: FailUnimpl::fpsub32();
1123 0x57: FailUnimpl::fpsub32s();
1124 0x60: FpBasic::fzero({{Frd.df = 0;}});
1125 0x61: FpBasic::fzeros({{Frds.sf = 0;}});
1126 0x62: FailUnimpl::fnor();
1127 0x63: FailUnimpl::fnors();
1128 0x64: FailUnimpl::fandnot2();
1129 0x65: FailUnimpl::fandnot2s();
1130 0x66: FpBasic::fnot2({{
1131 Frd.df = (double)(~((uint64_t)Frs2.df));
1132 }});
1133 0x67: FpBasic::fnot2s({{
1134 Frds.sf = (float)(~((uint32_t)Frs2s.sf));
1135 }});
1136 0x68: FailUnimpl::fandnot1();
1137 0x69: FailUnimpl::fandnot1s();
1138 0x6A: FpBasic::fnot1({{
1139 Frd.df = (double)(~((uint64_t)Frs1.df));
1140 }});
1141 0x6B: FpBasic::fnot1s({{
1142 Frds.sf = (float)(~((uint32_t)Frs1s.sf));
1143 }});
1144 0x6C: FailUnimpl::fxor();
1145 0x6D: FailUnimpl::fxors();
1146 0x6E: FailUnimpl::fnand();
1147 0x6F: FailUnimpl::fnands();
1148 0x70: FailUnimpl::fand();
1149 0x71: FailUnimpl::fands();
1150 0x72: FailUnimpl::fxnor();
1151 0x73: FailUnimpl::fxnors();
1152 0x74: FpBasic::fsrc1({{Frd.udw = Frs1.udw;}});
1153 0x75: FpBasic::fsrc1s({{Frds.uw = Frs1s.uw;}});
1154 0x76: FailUnimpl::fornot2();
1155 0x77: FailUnimpl::fornot2s();
1156 0x78: FpBasic::fsrc2({{Frd.udw = Frs2.udw;}});
1157 0x79: FpBasic::fsrc2s({{Frds.uw = Frs2s.uw;}});
1158 0x7A: FailUnimpl::fornot1();
1159 0x7B: FailUnimpl::fornot1s();
1160 0x7C: FailUnimpl::for();
1161 0x7D: FailUnimpl::fors();
1162 0x7E: FpBasic::fone({{Frd.udw = std::numeric_limits<uint64_t>::max();}});
1163 0x7F: FpBasic::fones({{Frds.uw = std::numeric_limits<uint32_t>::max();}});
1164 0x80: Trap::shutdown({{fault = new IllegalInstruction;}});
1165 0x81: FailUnimpl::siam();
1166 }
1167 // M5 special opcodes use the reserved IMPDEP2A opcode space
1168 0x37: decode M5FUNC {
1169#if FULL_SYSTEM
1170 format BasicOperate {
1171 // we have 7 bits of space here to play with...
1172 0x21: m5exit({{PseudoInst::m5exit(xc->tcBase(), O0);
1173 }}, No_OpClass, IsNonSpeculative);
1174 0x50: m5readfile({{
1175 O0 = PseudoInst::readfile(xc->tcBase(), O0, O1, O2);
1176 }}, IsNonSpeculative);
1177 0x51: m5break({{PseudoInst::debugbreak(xc->tcBase());
1178 }}, IsNonSpeculative);
1179 0x54: m5panic({{
1180 panic("M5 panic instruction called at pc=%#x.", xc->readPC());
1181 }}, No_OpClass, IsNonSpeculative);
1182 }
1183#endif
1184 default: Trap::impdep2({{fault = new IllegalInstruction;}});
1185 }
1186 0x38: Branch::jmpl({{
1187 Addr target = Rs1 + Rs2_or_imm13;
1188 if(target & 0x3)
1189 fault = new MemAddressNotAligned;
1190 else
1191 {
1192 if (Pstate<3:>)
1193 Rd = (xc->readPC())<31:0>;
1194 else
1195 Rd = xc->readPC();
1196 NNPC = target;
1197 }
1198 }});
1199 0x39: Branch::return({{
1200 Addr target = Rs1 + Rs2_or_imm13;
1201 if(fault == NoFault)
1202 {
1203 //Check for fills which are higher priority than alignment
1204 //faults.
1205 if(Canrestore == 0)
1206 {
1207 if(Otherwin)
1208 fault = new FillNOther(4*Wstate<5:3>);
1209 else
1210 fault = new FillNNormal(4*Wstate<2:0>);
1211 }
1212 //Check for alignment faults
1213 else if(target & 0x3)
1214 fault = new MemAddressNotAligned;
1215 else
1216 {
1217 NNPC = target;
1218 Cwp = (Cwp - 1 + NWindows) % NWindows;
1219 Cansave = Cansave + 1;
1220 Canrestore = Canrestore - 1;
1221 }
1222 }
1223 }});
1224 0x3A: decode CC
1225 {
1226 0x0: Trap::tcci({{
1227 if(passesCondition(Ccr<3:0>, COND2))
1228 {
1229 int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
1230 DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
1231 fault = new TrapInstruction(lTrapNum);
1232 }
1233 }}, IsSerializeAfter, IsNonSpeculative, IsSyscall);
1234 0x2: Trap::tccx({{
1235 if(passesCondition(Ccr<7:4>, COND2))
1236 {
1237 int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
1238 DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
1239 fault = new TrapInstruction(lTrapNum);
1240 }
1241 }}, IsSerializeAfter, IsNonSpeculative, IsSyscall);
1242 }
1243 0x3B: Nop::flush({{/*Instruction memory flush*/}}, IsWriteBarrier,
1244 MemWriteOp);
1245 0x3C: save({{
1246 if(Cansave == 0)
1247 {
1248 if(Otherwin)
1249 fault = new SpillNOther(4*Wstate<5:3>);
1250 else
1251 fault = new SpillNNormal(4*Wstate<2:0>);
1252 }
1253 else if(Cleanwin - Canrestore == 0)
1254 {
1255 fault = new CleanWindow;
1256 }
1257 else
1258 {
1259 Cwp = (Cwp + 1) % NWindows;
1260 Rd_next = Rs1 + Rs2_or_imm13;
1261 Cansave = Cansave - 1;
1262 Canrestore = Canrestore + 1;
1263 }
1264 }});
1265 0x3D: restore({{
1266 if(Canrestore == 0)
1267 {
1268 if(Otherwin)
1269 fault = new FillNOther(4*Wstate<5:3>);
1270 else
1271 fault = new FillNNormal(4*Wstate<2:0>);
1272 }
1273 else
1274 {
1275 Cwp = (Cwp - 1 + NWindows) % NWindows;
1276 Rd_prev = Rs1 + Rs2_or_imm13;
1277 Cansave = Cansave + 1;
1278 Canrestore = Canrestore - 1;
1279 }
1280 }});
1281 0x3E: decode FCN {
1282 0x0: Priv::done({{
1283 if(Tl == 0)
1284 return new IllegalInstruction;
1285
1286 Cwp = Tstate<4:0>;
1287 Pstate = Tstate<20:8>;
1288 Asi = Tstate<31:24>;
1289 Ccr = Tstate<39:32>;
1290 Gl = Tstate<42:40>;
1291 Hpstate = Htstate;
1292 NPC = Tnpc;
1293 NNPC = Tnpc + 4;
1294 Tl = Tl - 1;
1295 }});
1296 0x1: Priv::retry({{
1297 if(Tl == 0)
1298 return new IllegalInstruction;
1299 Cwp = Tstate<4:0>;
1300 Pstate = Tstate<20:8>;
1301 Asi = Tstate<31:24>;
1302 Ccr = Tstate<39:32>;
1303 Gl = Tstate<42:40>;
1304 Hpstate = Htstate;
1305 NPC = Tpc;
1306 NNPC = Tnpc;
1307 Tl = Tl - 1;
1308 }});
1309 }
1310 }
1311 }
1312 0x3: decode OP3 {
1313 format Load {
1314 0x00: lduw({{Rd = Mem.uw;}});
1315 0x01: ldub({{Rd = Mem.ub;}});
1316 0x02: lduh({{Rd = Mem.uhw;}});
1317 0x03: ldtw({{
1318 RdLow = (Mem.tuw).a;
1319 RdHigh = (Mem.tuw).b;
1320 }});
1321 }
1322 format Store {
1323 0x04: stw({{Mem.uw = Rd.sw;}});
1324 0x05: stb({{Mem.ub = Rd.sb;}});
1325 0x06: sth({{Mem.uhw = Rd.shw;}});
1326 0x07: sttw({{
1327 //This temporary needs to be here so that the parser
1328 //will correctly identify this instruction as a store.
1329 //It's probably either the parenthesis or referencing
1330 //the member variable that throws confuses it.
1331 Twin32_t temp;
1332 temp.a = RdLow<31:0>;
1333 temp.b = RdHigh<31:0>;
1334 Mem.tuw = temp;
1335 }});
1336 }
1337 format Load {
1338 0x08: ldsw({{Rd = (int32_t)Mem.sw;}});
1339 0x09: ldsb({{Rd = (int8_t)Mem.sb;}});
1340 0x0A: ldsh({{Rd = (int16_t)Mem.shw;}});
1341 0x0B: ldx({{Rd = (int64_t)Mem.sdw;}});
1342 }
1343 0x0D: Swap::ldstub({{Mem.ub = 0xFF;}},
1344 {{
1345 uint8_t tmp = mem_data;
1346 Rd.ub = tmp;
1347 }}, MEM_SWAP);
1348 0x0E: Store::stx({{Mem.udw = Rd}});
1349 0x0F: Swap::swap({{Mem.uw = Rd.uw}},
1350 {{
1351 uint32_t tmp = mem_data;
1352 Rd.uw = tmp;
1353 }}, MEM_SWAP);
1354 format LoadAlt {
1355 0x10: lduwa({{Rd = Mem.uw;}}, {{EXT_ASI}});
1356 0x11: lduba({{Rd = Mem.ub;}}, {{EXT_ASI}});
1357 0x12: lduha({{Rd = Mem.uhw;}}, {{EXT_ASI}});
1358 0x13: decode EXT_ASI {
1359 //ASI_LDTD_AIUP
1360 0x22: TwinLoad::ldtx_aiup(
1361 {{RdLow.udw = (Mem.tudw).a;
1362 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1363 //ASI_LDTD_AIUS
1364 0x23: TwinLoad::ldtx_aius(
1365 {{RdLow.udw = (Mem.tudw).a;
1366 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1367 //ASI_QUAD_LDD
1368 0x24: TwinLoad::ldtx_quad_ldd(
1369 {{RdLow.udw = (Mem.tudw).a;
1370 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1371 //ASI_LDTX_REAL
1372 0x26: TwinLoad::ldtx_real(
1373 {{RdLow.udw = (Mem.tudw).a;
1374 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1375 //ASI_LDTX_N
1376 0x27: TwinLoad::ldtx_n(
1377 {{RdLow.udw = (Mem.tudw).a;
1378 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1379 //ASI_LDTX_AIUP_L
1380 0x2A: TwinLoad::ldtx_aiup_l(
1381 {{RdLow.udw = (Mem.tudw).a;
1382 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1383 //ASI_LDTX_AIUS_L
1384 0x2B: TwinLoad::ldtx_aius_l(
1385 {{RdLow.udw = (Mem.tudw).a;
1386 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1387 //ASI_LDTX_L
1388 0x2C: TwinLoad::ldtx_l(
1389 {{RdLow.udw = (Mem.tudw).a;
1390 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1391 //ASI_LDTX_REAL_L
1392 0x2E: TwinLoad::ldtx_real_l(
1393 {{RdLow.udw = (Mem.tudw).a;
1394 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1395 //ASI_LDTX_N_L
1396 0x2F: TwinLoad::ldtx_n_l(
1397 {{RdLow.udw = (Mem.tudw).a;
1398 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1399 //ASI_LDTX_P
1400 0xE2: TwinLoad::ldtx_p(
1401 {{RdLow.udw = (Mem.tudw).a;
1402 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1403 //ASI_LDTX_S
1404 0xE3: TwinLoad::ldtx_s(
1405 {{RdLow.udw = (Mem.tudw).a;
1406 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1407 //ASI_LDTX_PL
1408 0xEA: TwinLoad::ldtx_pl(
1409 {{RdLow.udw = (Mem.tudw).a;
1410 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1411 //ASI_LDTX_SL
1412 0xEB: TwinLoad::ldtx_sl(
1413 {{RdLow.udw = (Mem.tudw).a;
1414 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1415 default: ldtwa({{
1416 RdLow = (Mem.tuw).a;
1417 RdHigh = (Mem.tuw).b;
1418 }}, {{EXT_ASI}});
1419 }
1420 }
1421 format StoreAlt {
1422 0x14: stwa({{Mem.uw = Rd;}}, {{EXT_ASI}});
1423 0x15: stba({{Mem.ub = Rd;}}, {{EXT_ASI}});
1424 0x16: stha({{Mem.uhw = Rd;}}, {{EXT_ASI}});
1425 0x17: sttwa({{
1426 //This temporary needs to be here so that the parser
1427 //will correctly identify this instruction as a store.
1428 //It's probably either the parenthesis or referencing
1429 //the member variable that throws confuses it.
1430 Twin32_t temp;
1431 temp.a = RdLow<31:0>;
1432 temp.b = RdHigh<31:0>;
1433 Mem.tuw = temp;
1434 }}, {{EXT_ASI}});
1435 }
1436 format LoadAlt {
1437 0x18: ldswa({{Rd = (int32_t)Mem.sw;}}, {{EXT_ASI}});
1438 0x19: ldsba({{Rd = (int8_t)Mem.sb;}}, {{EXT_ASI}});
1439 0x1A: ldsha({{Rd = (int16_t)Mem.shw;}}, {{EXT_ASI}});
1440 0x1B: ldxa({{Rd = (int64_t)Mem.sdw;}}, {{EXT_ASI}});
1441 }
1442 0x1D: SwapAlt::ldstuba({{Mem.ub = 0xFF;}},
1443 {{
1444 uint8_t tmp = mem_data;
1445 Rd.ub = tmp;
1446 }}, {{EXT_ASI}}, MEM_SWAP);
1447 0x1E: StoreAlt::stxa({{Mem.udw = Rd}}, {{EXT_ASI}});
1448 0x1F: SwapAlt::swapa({{Mem.uw = Rd.uw}},
1449 {{
1450 uint32_t tmp = mem_data;
1451 Rd.uw = tmp;
1452 }}, {{EXT_ASI}}, MEM_SWAP);
1453
1454 format Trap {
1455 0x20: Load::ldf({{Frds.uw = Mem.uw;}});
1456 0x21: decode RD {
1457 0x0: Load::ldfsr({{fault = checkFpEnableFault(xc);
1458 if (fault)
1459 return fault;
1460 Fsr = Mem.uw | Fsr<63:32>;}});
1461 0x1: Load::ldxfsr({{fault = checkFpEnableFault(xc);
1462 if (fault)
1463 return fault;
1464 Fsr = Mem.udw;}});
1465 default: FailUnimpl::ldfsrOther();
1466 }
1467 0x22: ldqf({{fault = new FpDisabled;}});
1468 0x23: Load::lddf({{Frd.udw = Mem.udw;}});
1469 0x24: Store::stf({{Mem.uw = Frds.uw;}});
1470 0x25: decode RD {
1471 0x0: Store::stfsr({{fault = checkFpEnableFault(xc);
1472 if (fault)
1473 return fault;
1474 Mem.uw = Fsr<31:0>;
1475 Fsr = insertBits(Fsr,16,14,0);}});
1476 0x1: Store::stxfsr({{fault = checkFpEnableFault(xc);
1477 if (fault)
1478 return fault;
1479 Mem.udw = Fsr;
1480 Fsr = insertBits(Fsr,16,14,0);}});
1481 default: FailUnimpl::stfsrOther();
1482 }
1483 0x26: stqf({{fault = new FpDisabled;}});
1484 0x27: Store::stdf({{Mem.udw = Frd.udw;}});
1485 0x2D: Nop::prefetch({{ }});
1486 0x30: LoadAlt::ldfa({{Frds.uw = Mem.uw;}}, {{EXT_ASI}});
1487 0x32: ldqfa({{fault = new FpDisabled;}});
1488 format LoadAlt {
1489 0x33: decode EXT_ASI {
1490 //ASI_NUCLEUS
1491 0x04: FailUnimpl::lddfa_n();
1492 //ASI_NUCLEUS_LITTLE
1493 0x0C: FailUnimpl::lddfa_nl();
1494 //ASI_AS_IF_USER_PRIMARY
1495 0x10: FailUnimpl::lddfa_aiup();
1496 //ASI_AS_IF_USER_PRIMARY_LITTLE
1497 0x18: FailUnimpl::lddfa_aiupl();
1498 //ASI_AS_IF_USER_SECONDARY
1499 0x11: FailUnimpl::lddfa_aius();
1500 //ASI_AS_IF_USER_SECONDARY_LITTLE
1501 0x19: FailUnimpl::lddfa_aiusl();
1502 //ASI_REAL
1503 0x14: FailUnimpl::lddfa_real();
1504 //ASI_REAL_LITTLE
1505 0x1C: FailUnimpl::lddfa_real_l();
1506 //ASI_REAL_IO
1507 0x15: FailUnimpl::lddfa_real_io();
1508 //ASI_REAL_IO_LITTLE
1509 0x1D: FailUnimpl::lddfa_real_io_l();
1510 //ASI_PRIMARY
1511 0x80: FailUnimpl::lddfa_p();
1512 //ASI_PRIMARY_LITTLE
1513 0x88: FailUnimpl::lddfa_pl();
1514 //ASI_SECONDARY
1515 0x81: FailUnimpl::lddfa_s();
1516 //ASI_SECONDARY_LITTLE
1517 0x89: FailUnimpl::lddfa_sl();
1518 //ASI_PRIMARY_NO_FAULT
1519 0x82: FailUnimpl::lddfa_pnf();
1520 //ASI_PRIMARY_NO_FAULT_LITTLE
1521 0x8A: FailUnimpl::lddfa_pnfl();
1522 //ASI_SECONDARY_NO_FAULT
1523 0x83: FailUnimpl::lddfa_snf();
1524 //ASI_SECONDARY_NO_FAULT_LITTLE
1525 0x8B: FailUnimpl::lddfa_snfl();
1526
1527 format BlockLoad {
1528 // LDBLOCKF
1529 //ASI_BLOCK_AS_IF_USER_PRIMARY
1530 0x16: FailUnimpl::ldblockf_aiup();
1531 //ASI_BLOCK_AS_IF_USER_SECONDARY
1532 0x17: FailUnimpl::ldblockf_aius();
1533 //ASI_BLOCK_AS_IF_USER_PRIMARY_LITTLE
1534 0x1E: FailUnimpl::ldblockf_aiupl();
1535 //ASI_BLOCK_AS_IF_USER_SECONDARY_LITTLE
1536 0x1F: FailUnimpl::ldblockf_aiusl();
1537 //ASI_BLOCK_PRIMARY
1538 0xF0: ldblockf_p({{Frd_N.udw = Mem.udw;}}, {{EXT_ASI}});
1539 //ASI_BLOCK_SECONDARY
1540 0xF1: FailUnimpl::ldblockf_s();
1541 //ASI_BLOCK_PRIMARY_LITTLE
1542 0xF8: FailUnimpl::ldblockf_pl();
1543 //ASI_BLOCK_SECONDARY_LITTLE
1544 0xF9: FailUnimpl::ldblockf_sl();
1545 }
1546
1547 //LDSHORTF
1548 //ASI_FL8_PRIMARY
1549 0xD0: FailUnimpl::ldshortf_8p();
1550 //ASI_FL8_SECONDARY
1551 0xD1: FailUnimpl::ldshortf_8s();
1552 //ASI_FL8_PRIMARY_LITTLE
1553 0xD8: FailUnimpl::ldshortf_8pl();
1554 //ASI_FL8_SECONDARY_LITTLE
1555 0xD9: FailUnimpl::ldshortf_8sl();
1556 //ASI_FL16_PRIMARY
1557 0xD2: FailUnimpl::ldshortf_16p();
1558 //ASI_FL16_SECONDARY
1559 0xD3: FailUnimpl::ldshortf_16s();
1560 //ASI_FL16_PRIMARY_LITTLE
1561 0xDA: FailUnimpl::ldshortf_16pl();
1562 //ASI_FL16_SECONDARY_LITTLE
1563 0xDB: FailUnimpl::ldshortf_16sl();
1564 //Not an ASI which is legal with lddfa
1565 default: Trap::lddfa_bad_asi(
1566 {{fault = new DataAccessException;}});
1567 }
1568 }
1569 0x34: Store::stfa({{Mem.uw = Frds.uw;}});
1570 0x36: stqfa({{fault = new FpDisabled;}});
1571 format StoreAlt {
1572 0x37: decode EXT_ASI {
1573 //ASI_NUCLEUS
1574 0x04: FailUnimpl::stdfa_n();
1575 //ASI_NUCLEUS_LITTLE
1576 0x0C: FailUnimpl::stdfa_nl();
1577 //ASI_AS_IF_USER_PRIMARY
1578 0x10: FailUnimpl::stdfa_aiup();
1579 //ASI_AS_IF_USER_PRIMARY_LITTLE
1580 0x18: FailUnimpl::stdfa_aiupl();
1581 //ASI_AS_IF_USER_SECONDARY
1582 0x11: FailUnimpl::stdfa_aius();
1583 //ASI_AS_IF_USER_SECONDARY_LITTLE
1584 0x19: FailUnimpl::stdfa_aiusl();
1585 //ASI_REAL
1586 0x14: FailUnimpl::stdfa_real();
1587 //ASI_REAL_LITTLE
1588 0x1C: FailUnimpl::stdfa_real_l();
1589 //ASI_REAL_IO
1590 0x15: FailUnimpl::stdfa_real_io();
1591 //ASI_REAL_IO_LITTLE
1592 0x1D: FailUnimpl::stdfa_real_io_l();
1593 //ASI_PRIMARY
1594 0x80: FailUnimpl::stdfa_p();
1595 //ASI_PRIMARY_LITTLE
1596 0x88: FailUnimpl::stdfa_pl();
1597 //ASI_SECONDARY
1598 0x81: FailUnimpl::stdfa_s();
1599 //ASI_SECONDARY_LITTLE
1600 0x89: FailUnimpl::stdfa_sl();
1601 //ASI_PRIMARY_NO_FAULT
1602 0x82: FailUnimpl::stdfa_pnf();
1603 //ASI_PRIMARY_NO_FAULT_LITTLE
1604 0x8A: FailUnimpl::stdfa_pnfl();
1605 //ASI_SECONDARY_NO_FAULT
1606 0x83: FailUnimpl::stdfa_snf();
1607 //ASI_SECONDARY_NO_FAULT_LITTLE
1608 0x8B: FailUnimpl::stdfa_snfl();
1609
1610 format BlockStore {
1611 // STBLOCKF
1612 //ASI_BLOCK_AS_IF_USER_PRIMARY
1613 0x16: FailUnimpl::stblockf_aiup();
1614 //ASI_BLOCK_AS_IF_USER_SECONDARY
1615 0x17: FailUnimpl::stblockf_aius();
1616 //ASI_BLOCK_AS_IF_USER_PRIMARY_LITTLE
1617 0x1E: FailUnimpl::stblockf_aiupl();
1618 //ASI_BLOCK_AS_IF_USER_SECONDARY_LITTLE
1619 0x1F: FailUnimpl::stblockf_aiusl();
1620 //ASI_BLOCK_PRIMARY
1621 0xF0: stblockf_p({{Mem.udw = Frd_N.udw;}}, {{EXT_ASI}});
1622 //ASI_BLOCK_SECONDARY
1623 0xF1: FailUnimpl::stblockf_s();
1624 //ASI_BLOCK_PRIMARY_LITTLE
1625 0xF8: FailUnimpl::stblockf_pl();
1626 //ASI_BLOCK_SECONDARY_LITTLE
1627 0xF9: FailUnimpl::stblockf_sl();
1628 }
1629
1630 //STSHORTF
1631 //ASI_FL8_PRIMARY
1632 0xD0: FailUnimpl::stshortf_8p();
1633 //ASI_FL8_SECONDARY
1634 0xD1: FailUnimpl::stshortf_8s();
1635 //ASI_FL8_PRIMARY_LITTLE
1636 0xD8: FailUnimpl::stshortf_8pl();
1637 //ASI_FL8_SECONDARY_LITTLE
1638 0xD9: FailUnimpl::stshortf_8sl();
1639 //ASI_FL16_PRIMARY
1640 0xD2: FailUnimpl::stshortf_16p();
1641 //ASI_FL16_SECONDARY
1642 0xD3: FailUnimpl::stshortf_16s();
1643 //ASI_FL16_PRIMARY_LITTLE
1644 0xDA: FailUnimpl::stshortf_16pl();
1645 //ASI_FL16_SECONDARY_LITTLE
1646 0xDB: FailUnimpl::stshortf_16sl();
1647 //Not an ASI which is legal with lddfa
1648 default: Trap::stdfa_bad_asi(
1649 {{fault = new DataAccessException;}});
1650 }
1651 }
1652 0x3C: CasAlt::casa({{
1653 mem_data = htog(Rs2.uw);
1654 Mem.uw = Rd.uw;}},
1655 {{
1656 uint32_t tmp = mem_data;
1657 Rd.uw = tmp;
1658 }}, {{EXT_ASI}}, MEM_SWAP_COND);
1659 0x3D: Nop::prefetcha({{ }});
1660 0x3E: CasAlt::casxa({{mem_data = gtoh(Rs2);
1661 Mem.udw = Rd.udw; }},
1662 {{ Rd.udw = mem_data; }}, {{EXT_ASI}}, MEM_SWAP_COND);
1663 }
1664 }
1665}
137 }
138 }
139 }
140 0x1: BranchN::call(30, {{
141 if (Pstate<3:>)
142 R15 = (xc->readPC())<31:0>;
143 else
144 R15 = xc->readPC();
145 NNPC = R15 + disp;
146 }});
147 0x2: decode OP3 {
148 format IntOp {
149 0x00: add({{Rd = Rs1.sdw + Rs2_or_imm13;}});
150 0x01: and({{Rd = Rs1.sdw & Rs2_or_imm13;}});
151 0x02: or({{Rd = Rs1.sdw | Rs2_or_imm13;}});
152 0x03: xor({{Rd = Rs1.sdw ^ Rs2_or_imm13;}});
153 0x04: sub({{Rd = Rs1.sdw - Rs2_or_imm13;}});
154 0x05: andn({{Rd = Rs1.sdw & ~Rs2_or_imm13;}});
155 0x06: orn({{Rd = Rs1.sdw | ~Rs2_or_imm13;}});
156 0x07: xnor({{Rd = ~(Rs1.sdw ^ Rs2_or_imm13);}});
157 0x08: addc({{Rd = Rs1.sdw + Rs2_or_imm13 + Ccr<0:0>;}});
158 0x09: mulx({{Rd = Rs1.sdw * Rs2_or_imm13;}});
159 0x0A: umul({{
160 Rd = Rs1.udw<31:0> * Rs2_or_imm13<31:0>;
161 Y = Rd<63:32>;
162 }});
163 0x0B: smul({{
164 Rd.sdw = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
165 Y = Rd.sdw<63:32>;
166 }});
167 0x0C: subc({{Rd.sdw = Rs1.sdw + (~Rs2_or_imm13) + 1 - Ccr<0:0>}});
168 0x0D: udivx({{
169 if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
170 else Rd.udw = Rs1.udw / Rs2_or_imm13;
171 }});
172 0x0E: udiv({{
173 if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
174 else
175 {
176 Rd.udw = ((Y << 32) | Rs1.udw<31:0>) / Rs2_or_imm13;
177 if(Rd.udw >> 32 != 0)
178 Rd.udw = 0xFFFFFFFF;
179 }
180 }});
181 0x0F: sdiv({{
182 if(Rs2_or_imm13.sdw == 0)
183 fault = new DivisionByZero;
184 else
185 {
186 Rd.udw = ((int64_t)((Y << 32) | Rs1.sdw<31:0>)) / Rs2_or_imm13.sdw;
187 if((int64_t)Rd.udw >= std::numeric_limits<int32_t>::max())
188 Rd.udw = 0x7FFFFFFF;
189 else if((int64_t)Rd.udw <= std::numeric_limits<int32_t>::min())
190 Rd.udw = ULL(0xFFFFFFFF80000000);
191 }
192 }});
193 }
194 format IntOpCc {
195 0x10: addcc({{
196 int64_t resTemp, val2 = Rs2_or_imm13;
197 Rd = resTemp = Rs1 + val2;}},
198 {{(Rs1<31:0> + val2<31:0>)<32:>}},
199 {{Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>}},
200 {{(Rs1<63:1> + val2<63:1> + (Rs1 & val2)<0:>)<63:>}},
201 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
202 );
203 0x11: IntOpCcRes::andcc({{Rd = Rs1 & Rs2_or_imm13;}});
204 0x12: IntOpCcRes::orcc({{Rd = Rs1 | Rs2_or_imm13;}});
205 0x13: IntOpCcRes::xorcc({{Rd = Rs1 ^ Rs2_or_imm13;}});
206 0x14: subcc({{
207 int64_t val2 = Rs2_or_imm13;
208 Rd = Rs1 - val2;}},
209 {{(~(Rs1<31:0> + (~val2)<31:0> + 1))<32:>}},
210 {{(Rs1<31:> != val2<31:>) && (Rs1<31:> != Rd<31:>)}},
211 {{(~(Rs1<63:1> + (~val2)<63:1> +
212 (Rs1 | ~val2)<0:>))<63:>}},
213 {{Rs1<63:> != val2<63:> && Rs1<63:> != Rd<63:>}}
214 );
215 0x15: IntOpCcRes::andncc({{Rd = Rs1 & ~Rs2_or_imm13;}});
216 0x16: IntOpCcRes::orncc({{Rd = Rs1 | ~Rs2_or_imm13;}});
217 0x17: IntOpCcRes::xnorcc({{Rd = ~(Rs1 ^ Rs2_or_imm13);}});
218 0x18: addccc({{
219 int64_t resTemp, val2 = Rs2_or_imm13;
220 int64_t carryin = Ccr<0:0>;
221 Rd = resTemp = Rs1 + val2 + carryin;}},
222 {{(Rs1<31:0> + val2<31:0> + carryin)<32:>}},
223 {{Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>}},
224 {{((Rs1 & val2) | (~resTemp & (Rs1 | val2)))<63:>}},
225 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
226 );
227 0x1A: IntOpCcRes::umulcc({{
228 uint64_t resTemp;
229 Rd = resTemp = Rs1.udw<31:0> * Rs2_or_imm13.udw<31:0>;
230 Y = resTemp<63:32>;}});
231 0x1B: IntOpCcRes::smulcc({{
232 int64_t resTemp;
233 Rd = resTemp = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
234 Y = resTemp<63:32>;}});
235 0x1C: subccc({{
236 int64_t resTemp, val2 = Rs2_or_imm13;
237 int64_t carryin = Ccr<0:0>;
238 Rd = resTemp = Rs1 + ~val2 + 1 - carryin;}},
239 {{((~Rs1 & val2) | (resTemp & (~Rs1 | val2)))<31:>}},
240 {{Rs1<31:> != val2<31:> && Rs1<31:> != resTemp<31:>}},
241 {{((~Rs1 & val2) | (resTemp & (~Rs1 | val2)))<63:>}},
242 {{Rs1<63:> != val2<63:> && Rs1<63:> != resTemp<63:>}}
243 );
244 0x1D: IntOpCcRes::udivxcc({{
245 if(Rs2_or_imm13.udw == 0) fault = new DivisionByZero;
246 else Rd = Rs1.udw / Rs2_or_imm13.udw;}});
247 0x1E: udivcc({{
248 uint32_t resTemp, val2 = Rs2_or_imm13.udw;
249 int32_t overflow = 0;
250 if(val2 == 0) fault = new DivisionByZero;
251 else
252 {
253 resTemp = (uint64_t)((Y << 32) | Rs1.udw<31:0>) / val2;
254 overflow = (resTemp<63:32> != 0);
255 if(overflow) Rd = resTemp = 0xFFFFFFFF;
256 else Rd = resTemp;
257 } }},
258 {{0}},
259 {{overflow}},
260 {{0}},
261 {{0}}
262 );
263 0x1F: sdivcc({{
264 int64_t val2 = Rs2_or_imm13.sdw<31:0>;
265 bool overflow = false, underflow = false;
266 if(val2 == 0) fault = new DivisionByZero;
267 else
268 {
269 Rd = (int64_t)((Y << 32) | Rs1.sdw<31:0>) / val2;
270 overflow = ((int64_t)Rd >= std::numeric_limits<int32_t>::max());
271 underflow = ((int64_t)Rd <= std::numeric_limits<int32_t>::min());
272 if(overflow) Rd = 0x7FFFFFFF;
273 else if(underflow) Rd = ULL(0xFFFFFFFF80000000);
274 } }},
275 {{0}},
276 {{overflow || underflow}},
277 {{0}},
278 {{0}}
279 );
280 0x20: taddcc({{
281 int64_t resTemp, val2 = Rs2_or_imm13;
282 Rd = resTemp = Rs1 + val2;
283 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);}},
284 {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
285 {{overflow}},
286 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
287 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
288 );
289 0x21: tsubcc({{
290 int64_t resTemp, val2 = Rs2_or_imm13;
291 Rd = resTemp = Rs1 + val2;
292 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);}},
293 {{(Rs1<31:0> + val2<31:0>)<32:0>}},
294 {{overflow}},
295 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
296 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
297 );
298 0x22: taddcctv({{
299 int64_t val2 = Rs2_or_imm13;
300 Rd = Rs1 + val2;
301 int32_t overflow = Rs1<1:0> || val2<1:0> ||
302 (Rs1<31:> == val2<31:> && val2<31:> != Rd<31:>);
303 if(overflow) fault = new TagOverflow;}},
304 {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
305 {{overflow}},
306 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
307 {{Rs1<63:> == val2<63:> && val2<63:> != Rd<63:>}}
308 );
309 0x23: tsubcctv({{
310 int64_t resTemp, val2 = Rs2_or_imm13;
311 Rd = resTemp = Rs1 + val2;
312 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);
313 if(overflow) fault = new TagOverflow;}},
314 {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
315 {{overflow}},
316 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
317 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
318 );
319 0x24: mulscc({{
320 int32_t savedLSB = Rs1<0:>;
321
322 //Step 1
323 int64_t multiplicand = Rs2_or_imm13;
324 //Step 2
325 int32_t partialP = Rs1<31:1> |
326 ((Ccr<3:3> ^ Ccr<1:1>) << 31);
327 //Step 3
328 int32_t added = Y<0:> ? multiplicand : 0;
329 Rd = partialP + added;
330 //Steps 4 & 5
331 Y = Y<31:1> | (savedLSB << 31);}},
332 {{((partialP<31:0> + added<31:0>)<32:0>)}},
333 {{partialP<31:> == added<31:> && added<31:> != Rd<31:>}},
334 {{((partialP >> 1) + (added >> 1) + (partialP & added & 0x1))<63:>}},
335 {{partialP<63:> == added<63:> && partialP<63:> != Rd<63:>}}
336 );
337 }
338 format IntOp
339 {
340 0x25: decode X {
341 0x0: sll({{Rd = Rs1 << (I ? SHCNT32 : Rs2<4:0>);}});
342 0x1: sllx({{Rd = Rs1 << (I ? SHCNT64 : Rs2<5:0>);}});
343 }
344 0x26: decode X {
345 0x0: srl({{Rd = Rs1.uw >> (I ? SHCNT32 : Rs2<4:0>);}});
346 0x1: srlx({{Rd = Rs1.udw >> (I ? SHCNT64 : Rs2<5:0>);}});
347 }
348 0x27: decode X {
349 0x0: sra({{Rd = Rs1.sw >> (I ? SHCNT32 : Rs2<4:0>);}});
350 0x1: srax({{Rd = Rs1.sdw >> (I ? SHCNT64 : Rs2<5:0>);}});
351 }
352 0x28: decode RS1 {
353 0x00: NoPriv::rdy({{Rd = Y<31:0>;}});
354 //1 should cause an illegal instruction exception
355 0x02: NoPriv::rdccr({{Rd = Ccr;}});
356 0x03: NoPriv::rdasi({{Rd = Asi;}});
357 0x04: PrivCheck::rdtick({{Rd = Tick;}}, {{Tick<63:>}});
358 0x05: NoPriv::rdpc({{
359 if(Pstate<3:>)
360 Rd = (xc->readPC())<31:0>;
361 else
362 Rd = xc->readPC();}});
363 0x06: NoPriv::rdfprs({{
364 //Wait for all fpops to finish.
365 Rd = Fprs;
366 }});
367 //7-14 should cause an illegal instruction exception
368 0x0F: decode I {
369 0x0: Nop::stbar({{/*stuff*/}}, IsWriteBarrier, MemWriteOp);
370 0x1: Nop::membar({{/*stuff*/}}, IsMemBarrier, MemReadOp);
371 }
372 0x10: Priv::rdpcr({{Rd = Pcr;}});
373 0x11: PrivCheck::rdpic({{Rd = Pic;}}, {{Pcr<0:>}});
374 //0x12 should cause an illegal instruction exception
375 0x13: NoPriv::rdgsr({{
376 fault = checkFpEnableFault(xc);
377 if (fault)
378 return fault;
379 Rd = Gsr;
380 }});
381 //0x14-0x15 should cause an illegal instruction exception
382 0x16: Priv::rdsoftint({{Rd = Softint;}});
383 0x17: Priv::rdtick_cmpr({{Rd = TickCmpr;}});
384 0x18: PrivCheck::rdstick({{Rd = Stick}}, {{Stick<63:>}});
385 0x19: Priv::rdstick_cmpr({{Rd = StickCmpr;}});
386 0x1A: Priv::rdstrand_sts_reg({{
387 if(Pstate<2:> && !Hpstate<2:>)
388 Rd = StrandStsReg<0:>;
389 else
390 Rd = StrandStsReg;
391 }});
392 //0x1A is supposed to be reserved, but it reads the strand
393 //status register.
394 //0x1B-0x1F should cause an illegal instruction exception
395 }
396 0x29: decode RS1 {
397 0x00: HPriv::rdhprhpstate({{Rd = Hpstate;}});
398 0x01: HPriv::rdhprhtstate({{
399 if(Tl == 0)
400 return new IllegalInstruction;
401 Rd = Htstate;
402 }});
403 //0x02 should cause an illegal instruction exception
404 0x03: HPriv::rdhprhintp({{Rd = Hintp;}});
405 //0x04 should cause an illegal instruction exception
406 0x05: HPriv::rdhprhtba({{Rd = Htba;}});
407 0x06: HPriv::rdhprhver({{Rd = Hver;}});
408 //0x07-0x1E should cause an illegal instruction exception
409 0x1F: HPriv::rdhprhstick_cmpr({{Rd = HstickCmpr;}});
410 }
411 0x2A: decode RS1 {
412 0x00: Priv::rdprtpc({{
413 if(Tl == 0)
414 return new IllegalInstruction;
415 Rd = Tpc;
416 }});
417 0x01: Priv::rdprtnpc({{
418 if(Tl == 0)
419 return new IllegalInstruction;
420 Rd = Tnpc;
421 }});
422 0x02: Priv::rdprtstate({{
423 if(Tl == 0)
424 return new IllegalInstruction;
425 Rd = Tstate;
426 }});
427 0x03: Priv::rdprtt({{
428 if(Tl == 0)
429 return new IllegalInstruction;
430 Rd = Tt;
431 }});
432 0x04: Priv::rdprtick({{Rd = Tick;}});
433 0x05: Priv::rdprtba({{Rd = Tba;}});
434 0x06: Priv::rdprpstate({{Rd = Pstate;}});
435 0x07: Priv::rdprtl({{Rd = Tl;}});
436 0x08: Priv::rdprpil({{Rd = Pil;}});
437 0x09: Priv::rdprcwp({{Rd = Cwp;}});
438 0x0A: Priv::rdprcansave({{Rd = Cansave;}});
439 0x0B: Priv::rdprcanrestore({{Rd = Canrestore;}});
440 0x0C: Priv::rdprcleanwin({{Rd = Cleanwin;}});
441 0x0D: Priv::rdprotherwin({{Rd = Otherwin;}});
442 0x0E: Priv::rdprwstate({{Rd = Wstate;}});
443 //0x0F should cause an illegal instruction exception
444 0x10: Priv::rdprgl({{Rd = Gl;}});
445 //0x11-0x1F should cause an illegal instruction exception
446 }
447 0x2B: BasicOperate::flushw({{
448 if(NWindows - 2 - Cansave != 0)
449 {
450 if(Otherwin)
451 fault = new SpillNOther(4*Wstate<5:3>);
452 else
453 fault = new SpillNNormal(4*Wstate<2:0>);
454 }
455 }});
456 0x2C: decode MOVCC3
457 {
458 0x0: Trap::movccfcc({{fault = new FpDisabled;}});
459 0x1: decode CC
460 {
461 0x0: movcci({{
462 if(passesCondition(Ccr<3:0>, COND4))
463 Rd = Rs2_or_imm11;
464 else
465 Rd = Rd;
466 }});
467 0x2: movccx({{
468 if(passesCondition(Ccr<7:4>, COND4))
469 Rd = Rs2_or_imm11;
470 else
471 Rd = Rd;
472 }});
473 }
474 }
475 0x2D: sdivx({{
476 if(Rs2_or_imm13.sdw == 0) fault = new DivisionByZero;
477 else Rd.sdw = Rs1.sdw / Rs2_or_imm13.sdw;
478 }});
479 0x2E: Trap::popc({{fault = new IllegalInstruction;}});
480 0x2F: decode RCOND3
481 {
482 0x1: movreq({{Rd = (Rs1.sdw == 0) ? Rs2_or_imm10 : Rd;}});
483 0x2: movrle({{Rd = (Rs1.sdw <= 0) ? Rs2_or_imm10 : Rd;}});
484 0x3: movrl({{Rd = (Rs1.sdw < 0) ? Rs2_or_imm10 : Rd;}});
485 0x5: movrne({{Rd = (Rs1.sdw != 0) ? Rs2_or_imm10 : Rd;}});
486 0x6: movrg({{Rd = (Rs1.sdw > 0) ? Rs2_or_imm10 : Rd;}});
487 0x7: movrge({{Rd = (Rs1.sdw >= 0) ? Rs2_or_imm10 : Rd;}});
488 }
489 0x30: decode RD {
490 0x00: NoPriv::wry({{Y = (Rs1 ^ Rs2_or_imm13)<31:0>;}});
491 //0x01 should cause an illegal instruction exception
492 0x02: NoPriv::wrccr({{Ccr = Rs1 ^ Rs2_or_imm13;}});
493 0x03: NoPriv::wrasi({{Asi = Rs1 ^ Rs2_or_imm13;}});
494 //0x04-0x05 should cause an illegal instruction exception
495 0x06: NoPriv::wrfprs({{Fprs = Rs1 ^ Rs2_or_imm13;}});
496 //0x07-0x0E should cause an illegal instruction exception
497 0x0F: Trap::softreset({{fault = new SoftwareInitiatedReset;}});
498 0x10: Priv::wrpcr({{Pcr = Rs1 ^ Rs2_or_imm13;}});
499 0x11: PrivCheck::wrpic({{Pic = Rs1 ^ Rs2_or_imm13;}}, {{Pcr<0:>}});
500 //0x12 should cause an illegal instruction exception
501 0x13: NoPriv::wrgsr({{
502 if(Fprs<2:> == 0 || Pstate<4:> == 0)
503 return new FpDisabled;
504 Gsr = Rs1 ^ Rs2_or_imm13;
505 }});
506 0x14: Priv::wrsoftint_set({{SoftintSet = Rs1 ^ Rs2_or_imm13;}});
507 0x15: Priv::wrsoftint_clr({{SoftintClr = Rs1 ^ Rs2_or_imm13;}});
508 0x16: Priv::wrsoftint({{Softint = Rs1 ^ Rs2_or_imm13;}});
509 0x17: Priv::wrtick_cmpr({{TickCmpr = Rs1 ^ Rs2_or_imm13;}});
510 0x18: NoPriv::wrstick({{
511 if(!Hpstate<2:>)
512 return new IllegalInstruction;
513 Stick = Rs1 ^ Rs2_or_imm13;
514 }});
515 0x19: Priv::wrstick_cmpr({{StickCmpr = Rs1 ^ Rs2_or_imm13;}});
516 0x1A: Priv::wrstrand_sts_reg({{
517 StrandStsReg = Rs1 ^ Rs2_or_imm13;
518 }});
519 //0x1A is supposed to be reserved, but it writes the strand
520 //status register.
521 //0x1B-0x1F should cause an illegal instruction exception
522 }
523 0x31: decode FCN {
524 0x0: Priv::saved({{
525 assert(Cansave < NWindows - 2);
526 assert(Otherwin || Canrestore);
527 Cansave = Cansave + 1;
528 if(Otherwin == 0)
529 Canrestore = Canrestore - 1;
530 else
531 Otherwin = Otherwin - 1;
532 }});
533 0x1: Priv::restored({{
534 assert(Cansave || Otherwin);
535 assert(Canrestore < NWindows - 2);
536 Canrestore = Canrestore + 1;
537 if(Otherwin == 0)
538 Cansave = Cansave - 1;
539 else
540 Otherwin = Otherwin - 1;
541
542 if(Cleanwin < NWindows - 1)
543 Cleanwin = Cleanwin + 1;
544 }});
545 }
546 0x32: decode RD {
547 0x00: Priv::wrprtpc({{
548 if(Tl == 0)
549 return new IllegalInstruction;
550 else
551 Tpc = Rs1 ^ Rs2_or_imm13;
552 }});
553 0x01: Priv::wrprtnpc({{
554 if(Tl == 0)
555 return new IllegalInstruction;
556 else
557 Tnpc = Rs1 ^ Rs2_or_imm13;
558 }});
559 0x02: Priv::wrprtstate({{
560 if(Tl == 0)
561 return new IllegalInstruction;
562 else
563 Tstate = Rs1 ^ Rs2_or_imm13;
564 }});
565 0x03: Priv::wrprtt({{
566 if(Tl == 0)
567 return new IllegalInstruction;
568 else
569 Tt = Rs1 ^ Rs2_or_imm13;
570 }});
571 0x04: HPriv::wrprtick({{Tick = Rs1 ^ Rs2_or_imm13;}});
572 0x05: Priv::wrprtba({{Tba = Rs1 ^ Rs2_or_imm13;}});
573 0x06: Priv::wrprpstate({{Pstate = Rs1 ^ Rs2_or_imm13;}});
574 0x07: Priv::wrprtl({{
575 if(Pstate<2:> && !Hpstate<2:>)
576 Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPTL);
577 else
578 Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxTL);
579 }});
580 0x08: Priv::wrprpil({{Pil = Rs1 ^ Rs2_or_imm13;}});
581 0x09: Priv::wrprcwp({{Cwp = Rs1 ^ Rs2_or_imm13;}});
582 0x0A: Priv::wrprcansave({{Cansave = Rs1 ^ Rs2_or_imm13;}});
583 0x0B: Priv::wrprcanrestore({{Canrestore = Rs1 ^ Rs2_or_imm13;}});
584 0x0C: Priv::wrprcleanwin({{Cleanwin = Rs1 ^ Rs2_or_imm13;}});
585 0x0D: Priv::wrprotherwin({{Otherwin = Rs1 ^ Rs2_or_imm13;}});
586 0x0E: Priv::wrprwstate({{Wstate = Rs1 ^ Rs2_or_imm13;}});
587 //0x0F should cause an illegal instruction exception
588 0x10: Priv::wrprgl({{
589 if(Pstate<2:> && !Hpstate<2:>)
590 Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPGL);
591 else
592 Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxGL);
593 }});
594 //0x11-0x1F should cause an illegal instruction exception
595 }
596 0x33: decode RD {
597 0x00: HPriv::wrhprhpstate({{Hpstate = Rs1 ^ Rs2_or_imm13;}});
598 0x01: HPriv::wrhprhtstate({{
599 if(Tl == 0)
600 return new IllegalInstruction;
601 Htstate = Rs1 ^ Rs2_or_imm13;
602 }});
603 //0x02 should cause an illegal instruction exception
604 0x03: HPriv::wrhprhintp({{Hintp = Rs1 ^ Rs2_or_imm13;}});
605 //0x04 should cause an illegal instruction exception
606 0x05: HPriv::wrhprhtba({{Htba = Rs1 ^ Rs2_or_imm13;}});
607 //0x06-0x01D should cause an illegal instruction exception
608 0x1F: HPriv::wrhprhstick_cmpr({{HstickCmpr = Rs1 ^ Rs2_or_imm13;}});
609 }
610 0x34: decode OPF{
611 format FpBasic{
612 0x01: fmovs({{
613 Frds.uw = Frs2s.uw;
614 //fsr.ftt = fsr.cexc = 0
615 Fsr &= ~(7 << 14);
616 Fsr &= ~(0x1F);
617 }});
618 0x02: fmovd({{
619 Frd.udw = Frs2.udw;
620 //fsr.ftt = fsr.cexc = 0
621 Fsr &= ~(7 << 14);
622 Fsr &= ~(0x1F);
623 }});
624 0x03: FpUnimpl::fmovq();
625 0x05: fnegs({{
626 Frds.uw = Frs2s.uw ^ (1UL << 31);
627 //fsr.ftt = fsr.cexc = 0
628 Fsr &= ~(7 << 14);
629 Fsr &= ~(0x1F);
630 }});
631 0x06: fnegd({{
632 Frd.udw = Frs2.udw ^ (1ULL << 63);
633 //fsr.ftt = fsr.cexc = 0
634 Fsr &= ~(7 << 14);
635 Fsr &= ~(0x1F);
636 }});
637 0x07: FpUnimpl::fnegq();
638 0x09: fabss({{
639 Frds.uw = ((1UL << 31) - 1) & Frs2s.uw;
640 //fsr.ftt = fsr.cexc = 0
641 Fsr &= ~(7 << 14);
642 Fsr &= ~(0x1F);
643 }});
644 0x0A: fabsd({{
645 Frd.udw = ((1ULL << 63) - 1) & Frs2.udw;
646 //fsr.ftt = fsr.cexc = 0
647 Fsr &= ~(7 << 14);
648 Fsr &= ~(0x1F);
649 }});
650 0x0B: FpUnimpl::fabsq();
651 0x29: fsqrts({{Frds.sf = std::sqrt(Frs2s.sf);}});
652 0x2A: fsqrtd({{Frd.df = std::sqrt(Frs2.df);}});
653 0x2B: FpUnimpl::fsqrtq();
654 0x41: fadds({{Frds.sf = Frs1s.sf + Frs2s.sf;}});
655 0x42: faddd({{Frd.df = Frs1.df + Frs2.df;}});
656 0x43: FpUnimpl::faddq();
657 0x45: fsubs({{Frds.sf = Frs1s.sf - Frs2s.sf;}});
658 0x46: fsubd({{Frd.df = Frs1.df - Frs2.df; }});
659 0x47: FpUnimpl::fsubq();
660 0x49: fmuls({{Frds.sf = Frs1s.sf * Frs2s.sf;}});
661 0x4A: fmuld({{Frd.df = Frs1.df * Frs2.df;}});
662 0x4B: FpUnimpl::fmulq();
663 0x4D: fdivs({{Frds.sf = Frs1s.sf / Frs2s.sf;}});
664 0x4E: fdivd({{Frd.df = Frs1.df / Frs2.df;}});
665 0x4F: FpUnimpl::fdivq();
666 0x69: fsmuld({{Frd.df = Frs1s.sf * Frs2s.sf;}});
667 0x6E: FpUnimpl::fdmulq();
668 0x81: fstox({{
669 Frd.sdw = static_cast<int64_t>(Frs2s.sf);
670 }});
671 0x82: fdtox({{
672 Frd.sdw = static_cast<int64_t>(Frs2.df);
673 }});
674 0x83: FpUnimpl::fqtox();
675 0x84: fxtos({{
676 Frds.sf = static_cast<float>(Frs2.sdw);
677 }});
678 0x88: fxtod({{
679 Frd.df = static_cast<double>(Frs2.sdw);
680 }});
681 0x8C: FpUnimpl::fxtoq();
682 0xC4: fitos({{
683 Frds.sf = static_cast<float>(Frs2s.sw);
684 }});
685 0xC6: fdtos({{Frds.sf = Frs2.df;}});
686 0xC7: FpUnimpl::fqtos();
687 0xC8: fitod({{
688 Frd.df = static_cast<double>(Frs2s.sw);
689 }});
690 0xC9: fstod({{Frd.df = Frs2s.sf;}});
691 0xCB: FpUnimpl::fqtod();
692 0xCC: FpUnimpl::fitoq();
693 0xCD: FpUnimpl::fstoq();
694 0xCE: FpUnimpl::fdtoq();
695 0xD1: fstoi({{
696 Frds.sw = static_cast<int32_t>(Frs2s.sf);
697 float t = Frds.sw;
698 if (t != Frs2s.sf)
699 Fsr = insertBits(Fsr, 4,0, 0x01);
700 }});
701 0xD2: fdtoi({{
702 Frds.sw = static_cast<int32_t>(Frs2.df);
703 double t = Frds.sw;
704 if (t != Frs2.df)
705 Fsr = insertBits(Fsr, 4,0, 0x01);
706 }});
707 0xD3: FpUnimpl::fqtoi();
708 default: FailUnimpl::fpop1();
709 }
710 }
711 0x35: decode OPF{
712 format FpBasic{
713 0x01: fmovs_fcc0({{
714 if(passesFpCondition(Fsr<11:10>, COND4))
715 Frds = Frs2s;
716 else
717 Frds = Frds;
718 }});
719 0x02: fmovd_fcc0({{
720 if(passesFpCondition(Fsr<11:10>, COND4))
721 Frd = Frs2;
722 else
723 Frd = Frd;
724 }});
725 0x03: FpUnimpl::fmovq_fcc0();
726 0x25: fmovrsz({{
727 if(Rs1 == 0)
728 Frds = Frs2s;
729 else
730 Frds = Frds;
731 }});
732 0x26: fmovrdz({{
733 if(Rs1 == 0)
734 Frd = Frs2;
735 else
736 Frd = Frd;
737 }});
738 0x27: FpUnimpl::fmovrqz();
739 0x41: fmovs_fcc1({{
740 if(passesFpCondition(Fsr<33:32>, COND4))
741 Frds = Frs2s;
742 else
743 Frds = Frds;
744 }});
745 0x42: fmovd_fcc1({{
746 if(passesFpCondition(Fsr<33:32>, COND4))
747 Frd = Frs2;
748 else
749 Frd = Frd;
750 }});
751 0x43: FpUnimpl::fmovq_fcc1();
752 0x45: fmovrslez({{
753 if(Rs1 <= 0)
754 Frds = Frs2s;
755 else
756 Frds = Frds;
757 }});
758 0x46: fmovrdlez({{
759 if(Rs1 <= 0)
760 Frd = Frs2;
761 else
762 Frd = Frd;
763 }});
764 0x47: FpUnimpl::fmovrqlez();
765 0x51: fcmps({{
766 uint8_t fcc;
767 if(isnan(Frs1s) || isnan(Frs2s))
768 fcc = 3;
769 else if(Frs1s < Frs2s)
770 fcc = 1;
771 else if(Frs1s > Frs2s)
772 fcc = 2;
773 else
774 fcc = 0;
775 uint8_t firstbit = 10;
776 if(FCMPCC)
777 firstbit = FCMPCC * 2 + 30;
778 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
779 }});
780 0x52: fcmpd({{
781 uint8_t fcc;
782 if(isnan(Frs1) || isnan(Frs2))
783 fcc = 3;
784 else if(Frs1 < Frs2)
785 fcc = 1;
786 else if(Frs1 > Frs2)
787 fcc = 2;
788 else
789 fcc = 0;
790 uint8_t firstbit = 10;
791 if(FCMPCC)
792 firstbit = FCMPCC * 2 + 30;
793 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
794 }});
795 0x53: FpUnimpl::fcmpq();
796 0x55: fcmpes({{
797 uint8_t fcc = 0;
798 if(isnan(Frs1s) || isnan(Frs2s))
799 fault = new FpExceptionIEEE754;
800 if(Frs1s < Frs2s)
801 fcc = 1;
802 else if(Frs1s > Frs2s)
803 fcc = 2;
804 uint8_t firstbit = 10;
805 if(FCMPCC)
806 firstbit = FCMPCC * 2 + 30;
807 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
808 }});
809 0x56: fcmped({{
810 uint8_t fcc = 0;
811 if(isnan(Frs1) || isnan(Frs2))
812 fault = new FpExceptionIEEE754;
813 if(Frs1 < Frs2)
814 fcc = 1;
815 else if(Frs1 > Frs2)
816 fcc = 2;
817 uint8_t firstbit = 10;
818 if(FCMPCC)
819 firstbit = FCMPCC * 2 + 30;
820 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
821 }});
822 0x57: FpUnimpl::fcmpeq();
823 0x65: fmovrslz({{
824 if(Rs1 < 0)
825 Frds = Frs2s;
826 else
827 Frds = Frds;
828 }});
829 0x66: fmovrdlz({{
830 if(Rs1 < 0)
831 Frd = Frs2;
832 else
833 Frd = Frd;
834 }});
835 0x67: FpUnimpl::fmovrqlz();
836 0x81: fmovs_fcc2({{
837 if(passesFpCondition(Fsr<35:34>, COND4))
838 Frds = Frs2s;
839 else
840 Frds = Frds;
841 }});
842 0x82: fmovd_fcc2({{
843 if(passesFpCondition(Fsr<35:34>, COND4))
844 Frd = Frs2;
845 else
846 Frd = Frd;
847 }});
848 0x83: FpUnimpl::fmovq_fcc2();
849 0xA5: fmovrsnz({{
850 if(Rs1 != 0)
851 Frds = Frs2s;
852 else
853 Frds = Frds;
854 }});
855 0xA6: fmovrdnz({{
856 if(Rs1 != 0)
857 Frd = Frs2;
858 else
859 Frd = Frd;
860 }});
861 0xA7: FpUnimpl::fmovrqnz();
862 0xC1: fmovs_fcc3({{
863 if(passesFpCondition(Fsr<37:36>, COND4))
864 Frds = Frs2s;
865 else
866 Frds = Frds;
867 }});
868 0xC2: fmovd_fcc3({{
869 if(passesFpCondition(Fsr<37:36>, COND4))
870 Frd = Frs2;
871 else
872 Frd = Frd;
873 }});
874 0xC3: FpUnimpl::fmovq_fcc3();
875 0xC5: fmovrsgz({{
876 if(Rs1 > 0)
877 Frds = Frs2s;
878 else
879 Frds = Frds;
880 }});
881 0xC6: fmovrdgz({{
882 if(Rs1 > 0)
883 Frd = Frs2;
884 else
885 Frd = Frd;
886 }});
887 0xC7: FpUnimpl::fmovrqgz();
888 0xE5: fmovrsgez({{
889 if(Rs1 >= 0)
890 Frds = Frs2s;
891 else
892 Frds = Frds;
893 }});
894 0xE6: fmovrdgez({{
895 if(Rs1 >= 0)
896 Frd = Frs2;
897 else
898 Frd = Frd;
899 }});
900 0xE7: FpUnimpl::fmovrqgez();
901 0x101: fmovs_icc({{
902 if(passesCondition(Ccr<3:0>, COND4))
903 Frds = Frs2s;
904 else
905 Frds = Frds;
906 }});
907 0x102: fmovd_icc({{
908 if(passesCondition(Ccr<3:0>, COND4))
909 Frd = Frs2;
910 else
911 Frd = Frd;
912 }});
913 0x103: FpUnimpl::fmovq_icc();
914 0x181: fmovs_xcc({{
915 if(passesCondition(Ccr<7:4>, COND4))
916 Frds = Frs2s;
917 else
918 Frds = Frds;
919 }});
920 0x182: fmovd_xcc({{
921 if(passesCondition(Ccr<7:4>, COND4))
922 Frd = Frs2;
923 else
924 Frd = Frd;
925 }});
926 0x183: FpUnimpl::fmovq_xcc();
927 default: FailUnimpl::fpop2();
928 }
929 }
930 //This used to be just impdep1, but now it's a whole bunch
931 //of instructions
932 0x36: decode OPF{
933 0x00: FailUnimpl::edge8();
934 0x01: FailUnimpl::edge8n();
935 0x02: FailUnimpl::edge8l();
936 0x03: FailUnimpl::edge8ln();
937 0x04: FailUnimpl::edge16();
938 0x05: FailUnimpl::edge16n();
939 0x06: FailUnimpl::edge16l();
940 0x07: FailUnimpl::edge16ln();
941 0x08: FailUnimpl::edge32();
942 0x09: FailUnimpl::edge32n();
943 0x0A: FailUnimpl::edge32l();
944 0x0B: FailUnimpl::edge32ln();
945 0x10: FailUnimpl::array8();
946 0x12: FailUnimpl::array16();
947 0x14: FailUnimpl::array32();
948 0x18: BasicOperate::alignaddr({{
949 uint64_t sum = Rs1 + Rs2;
950 Rd = sum & ~7;
951 Gsr = (Gsr & ~7) | (sum & 7);
952 }});
953 0x19: FailUnimpl::bmask();
954 0x1A: BasicOperate::alignaddresslittle({{
955 uint64_t sum = Rs1 + Rs2;
956 Rd = sum & ~7;
957 Gsr = (Gsr & ~7) | ((~sum + 1) & 7);
958 }});
959 0x20: FailUnimpl::fcmple16();
960 0x22: FailUnimpl::fcmpne16();
961 0x24: FailUnimpl::fcmple32();
962 0x26: FailUnimpl::fcmpne32();
963 0x28: FailUnimpl::fcmpgt16();
964 0x2A: FailUnimpl::fcmpeq16();
965 0x2C: FailUnimpl::fcmpgt32();
966 0x2E: FailUnimpl::fcmpeq32();
967 0x31: FailUnimpl::fmul8x16();
968 0x33: FailUnimpl::fmul8x16au();
969 0x35: FailUnimpl::fmul8x16al();
970 0x36: FailUnimpl::fmul8sux16();
971 0x37: FailUnimpl::fmul8ulx16();
972 0x38: FailUnimpl::fmuld8sux16();
973 0x39: FailUnimpl::fmuld8ulx16();
974 0x3A: Trap::fpack32({{fault = new IllegalInstruction;}});
975 0x3B: Trap::fpack16({{fault = new IllegalInstruction;}});
976 0x3D: Trap::fpackfix({{fault = new IllegalInstruction;}});
977 0x3E: Trap::pdist({{fault = new IllegalInstruction;}});
978 0x48: BasicOperate::faligndata({{
979 uint64_t msbX = Frs1.udw;
980 uint64_t lsbX = Frs2.udw;
981 //Some special cases need to be split out, first
982 //because they're the most likely to be used, and
983 //second because otherwise, we end up shifting by
984 //greater than the width of the type being shifted,
985 //namely 64, which produces undefined results according
986 //to the C standard.
987 switch(Gsr<2:0>)
988 {
989 case 0:
990 Frd.udw = msbX;
991 break;
992 case 8:
993 Frd.udw = lsbX;
994 break;
995 default:
996 uint64_t msbShift = Gsr<2:0> * 8;
997 uint64_t lsbShift = (8 - Gsr<2:0>) * 8;
998 uint64_t msbMask = ((uint64_t)(-1)) >> msbShift;
999 uint64_t lsbMask = ((uint64_t)(-1)) << lsbShift;
1000 Frd.udw = ((msbX & msbMask) << msbShift) |
1001 ((lsbX & lsbMask) >> lsbShift);
1002 }
1003 }});
1004 0x4B: Trap::fpmerge({{fault = new IllegalInstruction;}});
1005 0x4C: FailUnimpl::bshuffle();
1006 0x4D: FailUnimpl::fexpand();
1007 0x50: FailUnimpl::fpadd16();
1008 0x51: FailUnimpl::fpadd16s();
1009 0x52: FailUnimpl::fpadd32();
1010 0x53: FailUnimpl::fpadd32s();
1011 0x54: FailUnimpl::fpsub16();
1012 0x55: FailUnimpl::fpsub16s();
1013 0x56: FailUnimpl::fpsub32();
1014 0x57: FailUnimpl::fpsub32s();
1015 0x60: FpBasic::fzero({{Frd.df = 0;}});
1016 0x61: FpBasic::fzeros({{Frds.sf = 0;}});
1017 0x62: FailUnimpl::fnor();
1018 0x63: FailUnimpl::fnors();
1019 0x64: FailUnimpl::fandnot2();
1020 0x65: FailUnimpl::fandnot2s();
1021 0x66: FpBasic::fnot2({{
1022 Frd.df = (double)(~((uint64_t)Frs2.df));
1023 }});
1024 0x67: FpBasic::fnot2s({{
1025 Frds.sf = (float)(~((uint32_t)Frs2s.sf));
1026 }});
1027 0x68: FailUnimpl::fandnot1();
1028 0x69: FailUnimpl::fandnot1s();
1029 0x6A: FpBasic::fnot1({{
1030 Frd.df = (double)(~((uint64_t)Frs1.df));
1031 }});
1032 0x6B: FpBasic::fnot1s({{
1033 Frds.sf = (float)(~((uint32_t)Frs1s.sf));
1034 }});
1035 0x6C: FailUnimpl::fxor();
1036 0x6D: FailUnimpl::fxors();
1037 0x6E: FailUnimpl::fnand();
1038 0x6F: FailUnimpl::fnands();
1039 0x70: FailUnimpl::fand();
1040 0x71: FailUnimpl::fands();
1041 0x72: FailUnimpl::fxnor();
1042 0x73: FailUnimpl::fxnors();
1043 0x74: FpBasic::fsrc1({{Frd.udw = Frs1.udw;}});
1044 0x75: FpBasic::fsrc1s({{Frds.uw = Frs1s.uw;}});
1045 0x76: FailUnimpl::fornot2();
1046 0x77: FailUnimpl::fornot2s();
1047 0x78: FpBasic::fsrc2({{Frd.udw = Frs2.udw;}});
1048 0x79: FpBasic::fsrc2s({{Frds.uw = Frs2s.uw;}});
1049 0x7A: FailUnimpl::fornot1();
1050 0x7B: FailUnimpl::fornot1s();
1051 0x7C: FailUnimpl::for();
1052 0x7D: FailUnimpl::fors();
1053 0x7E: FpBasic::fone({{Frd.udw = std::numeric_limits<uint64_t>::max();}});
1054 0x7F: FpBasic::fones({{Frds.uw = std::numeric_limits<uint32_t>::max();}});
1055 0x80: Trap::shutdown({{fault = new IllegalInstruction;}});
1056 0x81: FailUnimpl::siam();
1057 }
1058 // M5 special opcodes use the reserved IMPDEP2A opcode space
1059 0x37: decode M5FUNC {
1060#if FULL_SYSTEM
1061 format BasicOperate {
1062 // we have 7 bits of space here to play with...
1063 0x21: m5exit({{PseudoInst::m5exit(xc->tcBase(), O0);
1064 }}, No_OpClass, IsNonSpeculative);
1065 0x50: m5readfile({{
1066 O0 = PseudoInst::readfile(xc->tcBase(), O0, O1, O2);
1067 }}, IsNonSpeculative);
1068 0x51: m5break({{PseudoInst::debugbreak(xc->tcBase());
1069 }}, IsNonSpeculative);
1070 0x54: m5panic({{
1071 panic("M5 panic instruction called at pc=%#x.", xc->readPC());
1072 }}, No_OpClass, IsNonSpeculative);
1073 }
1074#endif
1075 default: Trap::impdep2({{fault = new IllegalInstruction;}});
1076 }
1077 0x38: Branch::jmpl({{
1078 Addr target = Rs1 + Rs2_or_imm13;
1079 if(target & 0x3)
1080 fault = new MemAddressNotAligned;
1081 else
1082 {
1083 if (Pstate<3:>)
1084 Rd = (xc->readPC())<31:0>;
1085 else
1086 Rd = xc->readPC();
1087 NNPC = target;
1088 }
1089 }});
1090 0x39: Branch::return({{
1091 Addr target = Rs1 + Rs2_or_imm13;
1092 if(fault == NoFault)
1093 {
1094 //Check for fills which are higher priority than alignment
1095 //faults.
1096 if(Canrestore == 0)
1097 {
1098 if(Otherwin)
1099 fault = new FillNOther(4*Wstate<5:3>);
1100 else
1101 fault = new FillNNormal(4*Wstate<2:0>);
1102 }
1103 //Check for alignment faults
1104 else if(target & 0x3)
1105 fault = new MemAddressNotAligned;
1106 else
1107 {
1108 NNPC = target;
1109 Cwp = (Cwp - 1 + NWindows) % NWindows;
1110 Cansave = Cansave + 1;
1111 Canrestore = Canrestore - 1;
1112 }
1113 }
1114 }});
1115 0x3A: decode CC
1116 {
1117 0x0: Trap::tcci({{
1118 if(passesCondition(Ccr<3:0>, COND2))
1119 {
1120 int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
1121 DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
1122 fault = new TrapInstruction(lTrapNum);
1123 }
1124 }}, IsSerializeAfter, IsNonSpeculative, IsSyscall);
1125 0x2: Trap::tccx({{
1126 if(passesCondition(Ccr<7:4>, COND2))
1127 {
1128 int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
1129 DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
1130 fault = new TrapInstruction(lTrapNum);
1131 }
1132 }}, IsSerializeAfter, IsNonSpeculative, IsSyscall);
1133 }
1134 0x3B: Nop::flush({{/*Instruction memory flush*/}}, IsWriteBarrier,
1135 MemWriteOp);
1136 0x3C: save({{
1137 if(Cansave == 0)
1138 {
1139 if(Otherwin)
1140 fault = new SpillNOther(4*Wstate<5:3>);
1141 else
1142 fault = new SpillNNormal(4*Wstate<2:0>);
1143 }
1144 else if(Cleanwin - Canrestore == 0)
1145 {
1146 fault = new CleanWindow;
1147 }
1148 else
1149 {
1150 Cwp = (Cwp + 1) % NWindows;
1151 Rd_next = Rs1 + Rs2_or_imm13;
1152 Cansave = Cansave - 1;
1153 Canrestore = Canrestore + 1;
1154 }
1155 }});
1156 0x3D: restore({{
1157 if(Canrestore == 0)
1158 {
1159 if(Otherwin)
1160 fault = new FillNOther(4*Wstate<5:3>);
1161 else
1162 fault = new FillNNormal(4*Wstate<2:0>);
1163 }
1164 else
1165 {
1166 Cwp = (Cwp - 1 + NWindows) % NWindows;
1167 Rd_prev = Rs1 + Rs2_or_imm13;
1168 Cansave = Cansave + 1;
1169 Canrestore = Canrestore - 1;
1170 }
1171 }});
1172 0x3E: decode FCN {
1173 0x0: Priv::done({{
1174 if(Tl == 0)
1175 return new IllegalInstruction;
1176
1177 Cwp = Tstate<4:0>;
1178 Pstate = Tstate<20:8>;
1179 Asi = Tstate<31:24>;
1180 Ccr = Tstate<39:32>;
1181 Gl = Tstate<42:40>;
1182 Hpstate = Htstate;
1183 NPC = Tnpc;
1184 NNPC = Tnpc + 4;
1185 Tl = Tl - 1;
1186 }});
1187 0x1: Priv::retry({{
1188 if(Tl == 0)
1189 return new IllegalInstruction;
1190 Cwp = Tstate<4:0>;
1191 Pstate = Tstate<20:8>;
1192 Asi = Tstate<31:24>;
1193 Ccr = Tstate<39:32>;
1194 Gl = Tstate<42:40>;
1195 Hpstate = Htstate;
1196 NPC = Tpc;
1197 NNPC = Tnpc;
1198 Tl = Tl - 1;
1199 }});
1200 }
1201 }
1202 }
1203 0x3: decode OP3 {
1204 format Load {
1205 0x00: lduw({{Rd = Mem.uw;}});
1206 0x01: ldub({{Rd = Mem.ub;}});
1207 0x02: lduh({{Rd = Mem.uhw;}});
1208 0x03: ldtw({{
1209 RdLow = (Mem.tuw).a;
1210 RdHigh = (Mem.tuw).b;
1211 }});
1212 }
1213 format Store {
1214 0x04: stw({{Mem.uw = Rd.sw;}});
1215 0x05: stb({{Mem.ub = Rd.sb;}});
1216 0x06: sth({{Mem.uhw = Rd.shw;}});
1217 0x07: sttw({{
1218 //This temporary needs to be here so that the parser
1219 //will correctly identify this instruction as a store.
1220 //It's probably either the parenthesis or referencing
1221 //the member variable that throws confuses it.
1222 Twin32_t temp;
1223 temp.a = RdLow<31:0>;
1224 temp.b = RdHigh<31:0>;
1225 Mem.tuw = temp;
1226 }});
1227 }
1228 format Load {
1229 0x08: ldsw({{Rd = (int32_t)Mem.sw;}});
1230 0x09: ldsb({{Rd = (int8_t)Mem.sb;}});
1231 0x0A: ldsh({{Rd = (int16_t)Mem.shw;}});
1232 0x0B: ldx({{Rd = (int64_t)Mem.sdw;}});
1233 }
1234 0x0D: Swap::ldstub({{Mem.ub = 0xFF;}},
1235 {{
1236 uint8_t tmp = mem_data;
1237 Rd.ub = tmp;
1238 }}, MEM_SWAP);
1239 0x0E: Store::stx({{Mem.udw = Rd}});
1240 0x0F: Swap::swap({{Mem.uw = Rd.uw}},
1241 {{
1242 uint32_t tmp = mem_data;
1243 Rd.uw = tmp;
1244 }}, MEM_SWAP);
1245 format LoadAlt {
1246 0x10: lduwa({{Rd = Mem.uw;}}, {{EXT_ASI}});
1247 0x11: lduba({{Rd = Mem.ub;}}, {{EXT_ASI}});
1248 0x12: lduha({{Rd = Mem.uhw;}}, {{EXT_ASI}});
1249 0x13: decode EXT_ASI {
1250 //ASI_LDTD_AIUP
1251 0x22: TwinLoad::ldtx_aiup(
1252 {{RdLow.udw = (Mem.tudw).a;
1253 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1254 //ASI_LDTD_AIUS
1255 0x23: TwinLoad::ldtx_aius(
1256 {{RdLow.udw = (Mem.tudw).a;
1257 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1258 //ASI_QUAD_LDD
1259 0x24: TwinLoad::ldtx_quad_ldd(
1260 {{RdLow.udw = (Mem.tudw).a;
1261 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1262 //ASI_LDTX_REAL
1263 0x26: TwinLoad::ldtx_real(
1264 {{RdLow.udw = (Mem.tudw).a;
1265 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1266 //ASI_LDTX_N
1267 0x27: TwinLoad::ldtx_n(
1268 {{RdLow.udw = (Mem.tudw).a;
1269 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1270 //ASI_LDTX_AIUP_L
1271 0x2A: TwinLoad::ldtx_aiup_l(
1272 {{RdLow.udw = (Mem.tudw).a;
1273 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1274 //ASI_LDTX_AIUS_L
1275 0x2B: TwinLoad::ldtx_aius_l(
1276 {{RdLow.udw = (Mem.tudw).a;
1277 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1278 //ASI_LDTX_L
1279 0x2C: TwinLoad::ldtx_l(
1280 {{RdLow.udw = (Mem.tudw).a;
1281 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1282 //ASI_LDTX_REAL_L
1283 0x2E: TwinLoad::ldtx_real_l(
1284 {{RdLow.udw = (Mem.tudw).a;
1285 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1286 //ASI_LDTX_N_L
1287 0x2F: TwinLoad::ldtx_n_l(
1288 {{RdLow.udw = (Mem.tudw).a;
1289 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1290 //ASI_LDTX_P
1291 0xE2: TwinLoad::ldtx_p(
1292 {{RdLow.udw = (Mem.tudw).a;
1293 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1294 //ASI_LDTX_S
1295 0xE3: TwinLoad::ldtx_s(
1296 {{RdLow.udw = (Mem.tudw).a;
1297 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1298 //ASI_LDTX_PL
1299 0xEA: TwinLoad::ldtx_pl(
1300 {{RdLow.udw = (Mem.tudw).a;
1301 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1302 //ASI_LDTX_SL
1303 0xEB: TwinLoad::ldtx_sl(
1304 {{RdLow.udw = (Mem.tudw).a;
1305 RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1306 default: ldtwa({{
1307 RdLow = (Mem.tuw).a;
1308 RdHigh = (Mem.tuw).b;
1309 }}, {{EXT_ASI}});
1310 }
1311 }
1312 format StoreAlt {
1313 0x14: stwa({{Mem.uw = Rd;}}, {{EXT_ASI}});
1314 0x15: stba({{Mem.ub = Rd;}}, {{EXT_ASI}});
1315 0x16: stha({{Mem.uhw = Rd;}}, {{EXT_ASI}});
1316 0x17: sttwa({{
1317 //This temporary needs to be here so that the parser
1318 //will correctly identify this instruction as a store.
1319 //It's probably either the parenthesis or referencing
1320 //the member variable that throws confuses it.
1321 Twin32_t temp;
1322 temp.a = RdLow<31:0>;
1323 temp.b = RdHigh<31:0>;
1324 Mem.tuw = temp;
1325 }}, {{EXT_ASI}});
1326 }
1327 format LoadAlt {
1328 0x18: ldswa({{Rd = (int32_t)Mem.sw;}}, {{EXT_ASI}});
1329 0x19: ldsba({{Rd = (int8_t)Mem.sb;}}, {{EXT_ASI}});
1330 0x1A: ldsha({{Rd = (int16_t)Mem.shw;}}, {{EXT_ASI}});
1331 0x1B: ldxa({{Rd = (int64_t)Mem.sdw;}}, {{EXT_ASI}});
1332 }
1333 0x1D: SwapAlt::ldstuba({{Mem.ub = 0xFF;}},
1334 {{
1335 uint8_t tmp = mem_data;
1336 Rd.ub = tmp;
1337 }}, {{EXT_ASI}}, MEM_SWAP);
1338 0x1E: StoreAlt::stxa({{Mem.udw = Rd}}, {{EXT_ASI}});
1339 0x1F: SwapAlt::swapa({{Mem.uw = Rd.uw}},
1340 {{
1341 uint32_t tmp = mem_data;
1342 Rd.uw = tmp;
1343 }}, {{EXT_ASI}}, MEM_SWAP);
1344
1345 format Trap {
1346 0x20: Load::ldf({{Frds.uw = Mem.uw;}});
1347 0x21: decode RD {
1348 0x0: Load::ldfsr({{fault = checkFpEnableFault(xc);
1349 if (fault)
1350 return fault;
1351 Fsr = Mem.uw | Fsr<63:32>;}});
1352 0x1: Load::ldxfsr({{fault = checkFpEnableFault(xc);
1353 if (fault)
1354 return fault;
1355 Fsr = Mem.udw;}});
1356 default: FailUnimpl::ldfsrOther();
1357 }
1358 0x22: ldqf({{fault = new FpDisabled;}});
1359 0x23: Load::lddf({{Frd.udw = Mem.udw;}});
1360 0x24: Store::stf({{Mem.uw = Frds.uw;}});
1361 0x25: decode RD {
1362 0x0: Store::stfsr({{fault = checkFpEnableFault(xc);
1363 if (fault)
1364 return fault;
1365 Mem.uw = Fsr<31:0>;
1366 Fsr = insertBits(Fsr,16,14,0);}});
1367 0x1: Store::stxfsr({{fault = checkFpEnableFault(xc);
1368 if (fault)
1369 return fault;
1370 Mem.udw = Fsr;
1371 Fsr = insertBits(Fsr,16,14,0);}});
1372 default: FailUnimpl::stfsrOther();
1373 }
1374 0x26: stqf({{fault = new FpDisabled;}});
1375 0x27: Store::stdf({{Mem.udw = Frd.udw;}});
1376 0x2D: Nop::prefetch({{ }});
1377 0x30: LoadAlt::ldfa({{Frds.uw = Mem.uw;}}, {{EXT_ASI}});
1378 0x32: ldqfa({{fault = new FpDisabled;}});
1379 format LoadAlt {
1380 0x33: decode EXT_ASI {
1381 //ASI_NUCLEUS
1382 0x04: FailUnimpl::lddfa_n();
1383 //ASI_NUCLEUS_LITTLE
1384 0x0C: FailUnimpl::lddfa_nl();
1385 //ASI_AS_IF_USER_PRIMARY
1386 0x10: FailUnimpl::lddfa_aiup();
1387 //ASI_AS_IF_USER_PRIMARY_LITTLE
1388 0x18: FailUnimpl::lddfa_aiupl();
1389 //ASI_AS_IF_USER_SECONDARY
1390 0x11: FailUnimpl::lddfa_aius();
1391 //ASI_AS_IF_USER_SECONDARY_LITTLE
1392 0x19: FailUnimpl::lddfa_aiusl();
1393 //ASI_REAL
1394 0x14: FailUnimpl::lddfa_real();
1395 //ASI_REAL_LITTLE
1396 0x1C: FailUnimpl::lddfa_real_l();
1397 //ASI_REAL_IO
1398 0x15: FailUnimpl::lddfa_real_io();
1399 //ASI_REAL_IO_LITTLE
1400 0x1D: FailUnimpl::lddfa_real_io_l();
1401 //ASI_PRIMARY
1402 0x80: FailUnimpl::lddfa_p();
1403 //ASI_PRIMARY_LITTLE
1404 0x88: FailUnimpl::lddfa_pl();
1405 //ASI_SECONDARY
1406 0x81: FailUnimpl::lddfa_s();
1407 //ASI_SECONDARY_LITTLE
1408 0x89: FailUnimpl::lddfa_sl();
1409 //ASI_PRIMARY_NO_FAULT
1410 0x82: FailUnimpl::lddfa_pnf();
1411 //ASI_PRIMARY_NO_FAULT_LITTLE
1412 0x8A: FailUnimpl::lddfa_pnfl();
1413 //ASI_SECONDARY_NO_FAULT
1414 0x83: FailUnimpl::lddfa_snf();
1415 //ASI_SECONDARY_NO_FAULT_LITTLE
1416 0x8B: FailUnimpl::lddfa_snfl();
1417
1418 format BlockLoad {
1419 // LDBLOCKF
1420 //ASI_BLOCK_AS_IF_USER_PRIMARY
1421 0x16: FailUnimpl::ldblockf_aiup();
1422 //ASI_BLOCK_AS_IF_USER_SECONDARY
1423 0x17: FailUnimpl::ldblockf_aius();
1424 //ASI_BLOCK_AS_IF_USER_PRIMARY_LITTLE
1425 0x1E: FailUnimpl::ldblockf_aiupl();
1426 //ASI_BLOCK_AS_IF_USER_SECONDARY_LITTLE
1427 0x1F: FailUnimpl::ldblockf_aiusl();
1428 //ASI_BLOCK_PRIMARY
1429 0xF0: ldblockf_p({{Frd_N.udw = Mem.udw;}}, {{EXT_ASI}});
1430 //ASI_BLOCK_SECONDARY
1431 0xF1: FailUnimpl::ldblockf_s();
1432 //ASI_BLOCK_PRIMARY_LITTLE
1433 0xF8: FailUnimpl::ldblockf_pl();
1434 //ASI_BLOCK_SECONDARY_LITTLE
1435 0xF9: FailUnimpl::ldblockf_sl();
1436 }
1437
1438 //LDSHORTF
1439 //ASI_FL8_PRIMARY
1440 0xD0: FailUnimpl::ldshortf_8p();
1441 //ASI_FL8_SECONDARY
1442 0xD1: FailUnimpl::ldshortf_8s();
1443 //ASI_FL8_PRIMARY_LITTLE
1444 0xD8: FailUnimpl::ldshortf_8pl();
1445 //ASI_FL8_SECONDARY_LITTLE
1446 0xD9: FailUnimpl::ldshortf_8sl();
1447 //ASI_FL16_PRIMARY
1448 0xD2: FailUnimpl::ldshortf_16p();
1449 //ASI_FL16_SECONDARY
1450 0xD3: FailUnimpl::ldshortf_16s();
1451 //ASI_FL16_PRIMARY_LITTLE
1452 0xDA: FailUnimpl::ldshortf_16pl();
1453 //ASI_FL16_SECONDARY_LITTLE
1454 0xDB: FailUnimpl::ldshortf_16sl();
1455 //Not an ASI which is legal with lddfa
1456 default: Trap::lddfa_bad_asi(
1457 {{fault = new DataAccessException;}});
1458 }
1459 }
1460 0x34: Store::stfa({{Mem.uw = Frds.uw;}});
1461 0x36: stqfa({{fault = new FpDisabled;}});
1462 format StoreAlt {
1463 0x37: decode EXT_ASI {
1464 //ASI_NUCLEUS
1465 0x04: FailUnimpl::stdfa_n();
1466 //ASI_NUCLEUS_LITTLE
1467 0x0C: FailUnimpl::stdfa_nl();
1468 //ASI_AS_IF_USER_PRIMARY
1469 0x10: FailUnimpl::stdfa_aiup();
1470 //ASI_AS_IF_USER_PRIMARY_LITTLE
1471 0x18: FailUnimpl::stdfa_aiupl();
1472 //ASI_AS_IF_USER_SECONDARY
1473 0x11: FailUnimpl::stdfa_aius();
1474 //ASI_AS_IF_USER_SECONDARY_LITTLE
1475 0x19: FailUnimpl::stdfa_aiusl();
1476 //ASI_REAL
1477 0x14: FailUnimpl::stdfa_real();
1478 //ASI_REAL_LITTLE
1479 0x1C: FailUnimpl::stdfa_real_l();
1480 //ASI_REAL_IO
1481 0x15: FailUnimpl::stdfa_real_io();
1482 //ASI_REAL_IO_LITTLE
1483 0x1D: FailUnimpl::stdfa_real_io_l();
1484 //ASI_PRIMARY
1485 0x80: FailUnimpl::stdfa_p();
1486 //ASI_PRIMARY_LITTLE
1487 0x88: FailUnimpl::stdfa_pl();
1488 //ASI_SECONDARY
1489 0x81: FailUnimpl::stdfa_s();
1490 //ASI_SECONDARY_LITTLE
1491 0x89: FailUnimpl::stdfa_sl();
1492 //ASI_PRIMARY_NO_FAULT
1493 0x82: FailUnimpl::stdfa_pnf();
1494 //ASI_PRIMARY_NO_FAULT_LITTLE
1495 0x8A: FailUnimpl::stdfa_pnfl();
1496 //ASI_SECONDARY_NO_FAULT
1497 0x83: FailUnimpl::stdfa_snf();
1498 //ASI_SECONDARY_NO_FAULT_LITTLE
1499 0x8B: FailUnimpl::stdfa_snfl();
1500
1501 format BlockStore {
1502 // STBLOCKF
1503 //ASI_BLOCK_AS_IF_USER_PRIMARY
1504 0x16: FailUnimpl::stblockf_aiup();
1505 //ASI_BLOCK_AS_IF_USER_SECONDARY
1506 0x17: FailUnimpl::stblockf_aius();
1507 //ASI_BLOCK_AS_IF_USER_PRIMARY_LITTLE
1508 0x1E: FailUnimpl::stblockf_aiupl();
1509 //ASI_BLOCK_AS_IF_USER_SECONDARY_LITTLE
1510 0x1F: FailUnimpl::stblockf_aiusl();
1511 //ASI_BLOCK_PRIMARY
1512 0xF0: stblockf_p({{Mem.udw = Frd_N.udw;}}, {{EXT_ASI}});
1513 //ASI_BLOCK_SECONDARY
1514 0xF1: FailUnimpl::stblockf_s();
1515 //ASI_BLOCK_PRIMARY_LITTLE
1516 0xF8: FailUnimpl::stblockf_pl();
1517 //ASI_BLOCK_SECONDARY_LITTLE
1518 0xF9: FailUnimpl::stblockf_sl();
1519 }
1520
1521 //STSHORTF
1522 //ASI_FL8_PRIMARY
1523 0xD0: FailUnimpl::stshortf_8p();
1524 //ASI_FL8_SECONDARY
1525 0xD1: FailUnimpl::stshortf_8s();
1526 //ASI_FL8_PRIMARY_LITTLE
1527 0xD8: FailUnimpl::stshortf_8pl();
1528 //ASI_FL8_SECONDARY_LITTLE
1529 0xD9: FailUnimpl::stshortf_8sl();
1530 //ASI_FL16_PRIMARY
1531 0xD2: FailUnimpl::stshortf_16p();
1532 //ASI_FL16_SECONDARY
1533 0xD3: FailUnimpl::stshortf_16s();
1534 //ASI_FL16_PRIMARY_LITTLE
1535 0xDA: FailUnimpl::stshortf_16pl();
1536 //ASI_FL16_SECONDARY_LITTLE
1537 0xDB: FailUnimpl::stshortf_16sl();
1538 //Not an ASI which is legal with lddfa
1539 default: Trap::stdfa_bad_asi(
1540 {{fault = new DataAccessException;}});
1541 }
1542 }
1543 0x3C: CasAlt::casa({{
1544 mem_data = htog(Rs2.uw);
1545 Mem.uw = Rd.uw;}},
1546 {{
1547 uint32_t tmp = mem_data;
1548 Rd.uw = tmp;
1549 }}, {{EXT_ASI}}, MEM_SWAP_COND);
1550 0x3D: Nop::prefetcha({{ }});
1551 0x3E: CasAlt::casxa({{mem_data = gtoh(Rs2);
1552 Mem.udw = Rd.udw; }},
1553 {{ Rd.udw = mem_data; }}, {{EXT_ASI}}, MEM_SWAP_COND);
1554 }
1555 }
1556}