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: bpa(19, annul_code={{
49 NPC = PC + disp;
50 NNPC = PC + disp + 4;
51 }});
52 // Branch Never
53 0x0: bpn(19, {{;}},
54 annul_code={{
55 NNPC = NPC + 8;
56 NPC = NPC + 4;
57 }});
58 default: decode BPCC
59 {
60 0x0: bpcci(19, test={{passesCondition(Ccr<3:0>, COND2)}});
61 0x2: bpccx(19, test={{passesCondition(Ccr<7:4>, COND2)}});
62 }
63 }
64 // bicc
65 0x2: decode COND2
66 {
67 // Branch Always
68 0x8: ba(22, annul_code={{
69 NPC = PC + disp;
70 NNPC = PC + disp + 4;
71 }});
72 // Branch Never
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)}});
79 }
80 }
81 0x3: decode RCOND2
82 {
83 format BranchSplit
84 {
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}});
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
99 0x8: fbpa(22, annul_code={{
100 NPC = PC + disp;
101 NNPC = PC + disp + 4;
102 }});
103 // Branch Never
104 0x0: fbpn(22, {{;}},
105 annul_code={{
106 NNPC = NPC + 8;
107 NPC = NPC + 4;
108 }});
109 default: decode BPCC {
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)}});
118 }
119 }
120 }
121 // fbfcc
122 0x6: decode COND2 {
123 format BranchN {
124 // Branch Always
125 0x8: fba(22, annul_code={{
126 NPC = PC + disp;
127 NNPC = PC + disp + 4;
128 }});
129 // Branch Never
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)}});
137 }
138 }
139 }
140 0x1: BranchN::call(30, {{
141 IntReg midVal;
142 R15 = midVal = (Pstate<3:> ? (PC)<31:0> : PC);
143 NNPC = midVal + disp;
144 }},None, None, IsIndirectControl, IsCall);
145 0x2: decode OP3 {
146 format IntOp {
147 0x00: add({{Rd = Rs1.sdw + Rs2_or_imm13;}});
148 0x01: and({{Rd = Rs1.sdw & Rs2_or_imm13;}});
149 0x02: or({{Rd = Rs1.sdw | Rs2_or_imm13;}});
150 0x03: xor({{Rd = Rs1.sdw ^ Rs2_or_imm13;}});
151 0x04: sub({{Rd = Rs1.sdw - Rs2_or_imm13;}});
152 0x05: andn({{Rd = Rs1.sdw & ~Rs2_or_imm13;}});
153 0x06: orn({{Rd = Rs1.sdw | ~Rs2_or_imm13;}});
154 0x07: xnor({{Rd = ~(Rs1.sdw ^ Rs2_or_imm13);}});
155 0x08: addc({{Rd = Rs1.sdw + Rs2_or_imm13 + Ccr<0:0>;}});
156 0x09: mulx({{Rd = Rs1.sdw * Rs2_or_imm13;}});
157 0x0A: umul({{
158 Rd = Rs1.udw<31:0> * Rs2_or_imm13<31:0>;
159 Y = Rd<63:32>;
160 }});
161 0x0B: smul({{
162 Rd.sdw = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
163 Y = Rd.sdw<63:32>;
164 }});
165 0x0C: subc({{Rd.sdw = Rs1.sdw + (~Rs2_or_imm13) + 1 - Ccr<0:0>}});
166 0x0D: udivx({{
167 if (Rs2_or_imm13 == 0)
168 fault = new DivisionByZero;
169 else
170 Rd.udw = Rs1.udw / Rs2_or_imm13;
171 }});
172 0x0E: udiv({{
173 if (Rs2_or_imm13 == 0) {
174 fault = new DivisionByZero;
175 } else {
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 Rd.udw = ((int64_t)((Y << 32) |
186 Rs1.sdw<31:0>)) / Rs2_or_imm13.sdw;
187 if ((int64_t)Rd.udw >=
188 std::numeric_limits<int32_t>::max()) {
189 Rd.udw = 0x7FFFFFFF;
190 } else if ((int64_t)Rd.udw <=
191 std::numeric_limits<int32_t>::min()) {
192 Rd.udw = ULL(0xFFFFFFFF80000000);
193 }
194 }
195 }});
196 }
197 format IntOpCc {
198 0x10: addcc({{
199 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
200 Rd = res = op1 + op2;
201 }});
202 0x11: IntOpCcRes::andcc({{Rd = Rs1 & Rs2_or_imm13;}});
203 0x12: IntOpCcRes::orcc({{Rd = Rs1 | Rs2_or_imm13;}});
204 0x13: IntOpCcRes::xorcc({{Rd = Rs1 ^ Rs2_or_imm13;}});
205 0x14: subcc({{
206 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
207 Rd = res = op1 - op2;
208 }}, sub=True);
209 0x15: IntOpCcRes::andncc({{Rd = Rs1 & ~Rs2_or_imm13;}});
210 0x16: IntOpCcRes::orncc({{Rd = Rs1 | ~Rs2_or_imm13;}});
211 0x17: IntOpCcRes::xnorcc({{Rd = ~(Rs1 ^ Rs2_or_imm13);}});
212 0x18: addccc({{
213 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
214 Rd = res = op1 + op2 + Ccr<0:>;
215 }});
216 0x1A: IntOpCcRes::umulcc({{
217 uint64_t resTemp;
218 Rd = resTemp = Rs1.udw<31:0> * Rs2_or_imm13.udw<31:0>;
219 Y = resTemp<63:32>;}});
220 0x1B: IntOpCcRes::smulcc({{
221 int64_t resTemp;
222 Rd = resTemp = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
223 Y = resTemp<63:32>;}});
224 0x1C: subccc({{
225 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
226 Rd = res = op1 - op2 - Ccr<0:>;
227 }}, sub=True);
228 0x1D: IntOpCcRes::udivxcc({{
229 if (Rs2_or_imm13.udw == 0)
230 fault = new DivisionByZero;
231 else
232 Rd = Rs1.udw / Rs2_or_imm13.udw;}});
233 0x1E: IntOpCcRes::udivcc({{
234 uint64_t resTemp;
235 uint32_t val2 = Rs2_or_imm13.udw;
236 int32_t overflow = 0;
237 if (val2 == 0) {
238 fault = new DivisionByZero;
239 } else {
240 resTemp = (uint64_t)((Y << 32) | Rs1.udw<31:0>) / val2;
241 overflow = (resTemp<63:32> != 0);
242 if (overflow)
243 Rd = resTemp = 0xFFFFFFFF;
244 else
245 Rd = resTemp;
246 }
247 }}, iv={{overflow}});
248 0x1F: IntOpCcRes::sdivcc({{
249 int64_t val2 = Rs2_or_imm13.sdw<31:0>;
250 bool overflow = false, underflow = false;
251 if (val2 == 0) {
252 fault = new DivisionByZero;
253 } else {
254 Rd = (int64_t)((Y << 32) | Rs1.sdw<31:0>) / val2;
255 overflow = ((int64_t)Rd >= std::numeric_limits<int32_t>::max());
256 underflow = ((int64_t)Rd <= std::numeric_limits<int32_t>::min());
257 if (overflow)
258 Rd = 0x7FFFFFFF;
259 else if (underflow)
260 Rd = ULL(0xFFFFFFFF80000000);
261 }
262 }}, iv={{overflow || underflow}});
263 0x20: taddcc({{
264 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
265 Rd = res = Rs1 + op2;
266 }}, iv={{
267 (op1 & mask(2)) || (op2 & mask(2)) ||
268 findOverflow(32, res, op1, op2)
269 }});
270 0x21: tsubcc({{
271 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
272 Rd = res = Rs1 - op2;
273 }}, iv={{
274 (op1 & mask(2)) || (op2 & mask(2)) ||
275 findOverflow(32, res, op1, ~op2)
276 }}, sub=True);
277 0x22: taddcctv({{
278 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
279 Rd = res = op1 + op2;
280 bool overflow = (op1 & mask(2)) || (op2 & mask(2)) ||
281 findOverflow(32, res, op1, op2);
282 if (overflow)
283 fault = new TagOverflow;
284 }}, iv={{overflow}});
285 0x23: tsubcctv({{
286 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
287 Rd = res = op1 - op2;
288 bool overflow = (op1 & mask(2)) || (op2 & mask(2)) ||
289 findOverflow(32, res, op1, ~op2);
290 if (overflow)
291 fault = new TagOverflow;
292 }}, iv={{overflow}}, sub=True);
293 0x24: mulscc({{
294 int32_t savedLSB = Rs1<0:>;
295
296 // Step 1
297 int64_t multiplicand = Rs2_or_imm13;
298 // Step 2
299 int32_t partialP = Rs1<31:1> |
300 ((Ccr<3:3> ^ Ccr<1:1>) << 31);
301 // Step 3
302 int32_t added = Y<0:> ? multiplicand : 0;
303 int64_t res, op1 = partialP, op2 = added;
304 Rd = res = partialP + added;
305 // Steps 4 & 5
306 Y = Y<31:1> | (savedLSB << 31);
307 }});
308 }
309 format IntOp
310 {
311 0x25: decode X {
312 0x0: sll({{Rd = Rs1 << (I ? SHCNT32 : Rs2<4:0>);}});
313 0x1: sllx({{Rd = Rs1 << (I ? SHCNT64 : Rs2<5:0>);}});
314 }
315 0x26: decode X {
316 0x0: srl({{Rd = Rs1.uw >> (I ? SHCNT32 : Rs2<4:0>);}});
317 0x1: srlx({{Rd = Rs1.udw >> (I ? SHCNT64 : Rs2<5:0>);}});
318 }
319 0x27: decode X {
320 0x0: sra({{Rd = Rs1.sw >> (I ? SHCNT32 : Rs2<4:0>);}});
321 0x1: srax({{Rd = Rs1.sdw >> (I ? SHCNT64 : Rs2<5:0>);}});
322 }
323 0x28: decode RS1 {
324 0x00: NoPriv::rdy({{Rd = Y<31:0>;}});
325 // 1 should cause an illegal instruction exception
326 0x02: NoPriv::rdccr({{Rd = Ccr;}});
327 0x03: NoPriv::rdasi({{Rd = Asi;}});
328 0x04: Priv::rdtick({{Rd = Tick;}}, {{Tick<63:>}});
329 0x05: NoPriv::rdpc({{
330 if (Pstate<3:>)
331 Rd = (PC)<31:0>;
332 else
333 Rd = PC;
334 }});
335 0x06: NoPriv::rdfprs({{
336 // Wait for all fpops to finish.
337 Rd = Fprs;
338 }});
339 // 7-14 should cause an illegal instruction exception
340 0x0F: decode I {
341 0x0: Nop::stbar({{/*stuff*/}}, IsWriteBarrier, MemWriteOp);
342 0x1: Nop::membar({{/*stuff*/}}, IsMemBarrier, MemReadOp);
343 }
344 0x10: Priv::rdpcr({{Rd = Pcr;}});
345 0x11: Priv::rdpic({{Rd = Pic;}}, {{Pcr<0:>}});
346 // 0x12 should cause an illegal instruction exception
347 0x13: NoPriv::rdgsr({{
348 fault = checkFpEnableFault(xc);
349 if (fault)
350 return fault;
351 Rd = Gsr;
352 }});
353 // 0x14-0x15 should cause an illegal instruction exception
354 0x16: Priv::rdsoftint({{Rd = Softint;}});
355 0x17: Priv::rdtick_cmpr({{Rd = TickCmpr;}});
356 0x18: Priv::rdstick({{Rd = Stick}}, {{Stick<63:>}});
357 0x19: Priv::rdstick_cmpr({{Rd = StickCmpr;}});
358 0x1A: Priv::rdstrand_sts_reg({{
359 if (Pstate<2:> && !Hpstate<2:>)
360 Rd = StrandStsReg<0:>;
361 else
362 Rd = StrandStsReg;
363 }});
364 // 0x1A is supposed to be reserved, but it reads the strand
365 // status register.
366 // 0x1B-0x1F should cause an illegal instruction exception
367 }
368 0x29: decode RS1 {
369 0x00: HPriv::rdhprhpstate({{Rd = Hpstate;}});
370 0x01: HPriv::rdhprhtstate({{Rd = Htstate;}}, checkTl=true);
371 // 0x02 should cause an illegal instruction exception
372 0x03: HPriv::rdhprhintp({{Rd = Hintp;}});
373 // 0x04 should cause an illegal instruction exception
374 0x05: HPriv::rdhprhtba({{Rd = Htba;}});
375 0x06: HPriv::rdhprhver({{Rd = Hver;}});
376 // 0x07-0x1E should cause an illegal instruction exception
377 0x1F: HPriv::rdhprhstick_cmpr({{Rd = HstickCmpr;}});
378 }
379 0x2A: decode RS1 {
380 0x00: Priv::rdprtpc({{Rd = Tpc;}}, checkTl=true);
381 0x01: Priv::rdprtnpc({{Rd = Tnpc;}}, checkTl=true);
382 0x02: Priv::rdprtstate({{Rd = Tstate;}}, checkTl=true);
383 0x03: Priv::rdprtt({{Rd = Tt;}}, checkTl=true);
384 0x04: Priv::rdprtick({{Rd = Tick;}});
385 0x05: Priv::rdprtba({{Rd = Tba;}});
386 0x06: Priv::rdprpstate({{Rd = Pstate;}});
387 0x07: Priv::rdprtl({{Rd = Tl;}});
388 0x08: Priv::rdprpil({{Rd = Pil;}});
389 0x09: Priv::rdprcwp({{Rd = Cwp;}});
390 0x0A: Priv::rdprcansave({{Rd = Cansave;}});
391 0x0B: Priv::rdprcanrestore({{Rd = Canrestore;}});
392 0x0C: Priv::rdprcleanwin({{Rd = Cleanwin;}});
393 0x0D: Priv::rdprotherwin({{Rd = Otherwin;}});
394 0x0E: Priv::rdprwstate({{Rd = Wstate;}});
395 // 0x0F should cause an illegal instruction exception
396 0x10: Priv::rdprgl({{Rd = Gl;}});
397 // 0x11-0x1F should cause an illegal instruction exception
398 }
399 0x2B: BasicOperate::flushw({{
400 if (NWindows - 2 - Cansave != 0) {
401 if (Otherwin)
402 fault = new SpillNOther(4*Wstate<5:3>);
403 else
404 fault = new SpillNNormal(4*Wstate<2:0>);
405 }
406 }});
407 0x2C: decode MOVCC3
408 {
409 0x0: decode CC
410 {
411 0x0: movccfcc0({{
412 if (passesCondition(Fsr<11:10>, COND4))
413 Rd = Rs2_or_imm11;
414 else
415 Rd = Rd;
416 }});
417 0x1: movccfcc1({{
418 if (passesCondition(Fsr<33:32>, COND4))
419 Rd = Rs2_or_imm11;
420 else
421 Rd = Rd;
422 }});
423 0x2: movccfcc2({{
424 if (passesCondition(Fsr<35:34>, COND4))
425 Rd = Rs2_or_imm11;
426 else
427 Rd = Rd;
428 }});
429 0x3: movccfcc3({{
430 if (passesCondition(Fsr<37:36>, COND4))
431 Rd = Rs2_or_imm11;
432 else
433 Rd = Rd;
434 }});
435 }
436 0x1: decode CC
437 {
438 0x0: movcci({{
439 if (passesCondition(Ccr<3:0>, COND4))
440 Rd = Rs2_or_imm11;
441 else
442 Rd = Rd;
443 }});
444 0x2: movccx({{
445 if (passesCondition(Ccr<7:4>, COND4))
446 Rd = Rs2_or_imm11;
447 else
448 Rd = Rd;
449 }});
450 }
451 }
452 0x2D: sdivx({{
453 if (Rs2_or_imm13.sdw == 0)
454 fault = new DivisionByZero;
455 else
456 Rd.sdw = Rs1.sdw / Rs2_or_imm13.sdw;
457 }});
458 0x2E: Trap::popc({{fault = new IllegalInstruction;}});
459 0x2F: decode RCOND3
460 {
461 0x1: movreq({{Rd = (Rs1.sdw == 0) ? Rs2_or_imm10 : Rd;}});
462 0x2: movrle({{Rd = (Rs1.sdw <= 0) ? Rs2_or_imm10 : Rd;}});
463 0x3: movrl({{Rd = (Rs1.sdw < 0) ? Rs2_or_imm10 : Rd;}});
464 0x5: movrne({{Rd = (Rs1.sdw != 0) ? Rs2_or_imm10 : Rd;}});
465 0x6: movrg({{Rd = (Rs1.sdw > 0) ? Rs2_or_imm10 : Rd;}});
466 0x7: movrge({{Rd = (Rs1.sdw >= 0) ? Rs2_or_imm10 : Rd;}});
467 }
468 0x30: decode RD {
469 0x00: NoPriv::wry({{Y = (Rs1 ^ Rs2_or_imm13)<31:0>;}});
470 // 0x01 should cause an illegal instruction exception
471 0x02: NoPriv::wrccr({{Ccr = Rs1 ^ Rs2_or_imm13;}});
472 0x03: NoPriv::wrasi({{Asi = Rs1 ^ Rs2_or_imm13;}}, false,
473 IsSquashAfter);
474 // 0x04-0x05 should cause an illegal instruction exception
475 0x06: NoPriv::wrfprs({{Fprs = Rs1 ^ Rs2_or_imm13;}});
476 // 0x07-0x0E should cause an illegal instruction exception
477 0x0F: Trap::softreset({{fault = new SoftwareInitiatedReset;}});
478 0x10: Priv::wrpcr({{Pcr = Rs1 ^ Rs2_or_imm13;}});
479 0x11: Priv::wrpic({{Pic = Rs1 ^ Rs2_or_imm13;}}, {{Pcr<0:>}});
480 // 0x12 should cause an illegal instruction exception
481 0x13: NoPriv::wrgsr({{
482 if (Fprs<2:> == 0 || Pstate<4:> == 0)
483 return new FpDisabled;
484 Gsr = Rs1 ^ Rs2_or_imm13;
485 }});
486 0x14: Priv::wrsoftint_set({{SoftintSet = Rs1 ^ Rs2_or_imm13;}});
487 0x15: Priv::wrsoftint_clr({{SoftintClr = Rs1 ^ Rs2_or_imm13;}});
488 0x16: Priv::wrsoftint({{Softint = Rs1 ^ Rs2_or_imm13;}});
489 0x17: Priv::wrtick_cmpr({{TickCmpr = Rs1 ^ Rs2_or_imm13;}});
490 0x18: NoPriv::wrstick({{
491 if (!Hpstate<2:>)
492 return new IllegalInstruction;
493 Stick = Rs1 ^ Rs2_or_imm13;
494 }});
495 0x19: Priv::wrstick_cmpr({{StickCmpr = Rs1 ^ Rs2_or_imm13;}});
496 0x1A: Priv::wrstrand_sts_reg({{
497 StrandStsReg = Rs1 ^ Rs2_or_imm13;
498 }});
499 // 0x1A is supposed to be reserved, but it writes the strand
500 // status register.
501 // 0x1B-0x1F should cause an illegal instruction exception
502 }
503 0x31: decode FCN {
504 0x0: Priv::saved({{
505 assert(Cansave < NWindows - 2);
506 assert(Otherwin || Canrestore);
507 Cansave = Cansave + 1;
508 if (Otherwin == 0)
509 Canrestore = Canrestore - 1;
510 else
511 Otherwin = Otherwin - 1;
512 }});
513 0x1: Priv::restored({{
514 assert(Cansave || Otherwin);
515 assert(Canrestore < NWindows - 2);
516 Canrestore = Canrestore + 1;
517 if (Otherwin == 0)
518 Cansave = Cansave - 1;
519 else
520 Otherwin = Otherwin - 1;
521
522 if (Cleanwin < NWindows - 1)
523 Cleanwin = Cleanwin + 1;
524 }});
525 }
526 0x32: decode RD {
527 0x00: Priv::wrprtpc(
528 {{Tpc = Rs1 ^ Rs2_or_imm13;}}, checkTl=true);
529 0x01: Priv::wrprtnpc(
530 {{Tnpc = Rs1 ^ Rs2_or_imm13;}}, checkTl=true);
531 0x02: Priv::wrprtstate(
532 {{Tstate = Rs1 ^ Rs2_or_imm13;}}, checkTl=true);
533 0x03: Priv::wrprtt(
534 {{Tt = Rs1 ^ Rs2_or_imm13;}}, checkTl=true);
535 0x04: HPriv::wrprtick({{Tick = Rs1 ^ Rs2_or_imm13;}});
536 0x05: Priv::wrprtba({{Tba = Rs1 ^ Rs2_or_imm13;}});
537 0x06: Priv::wrprpstate({{Pstate = Rs1 ^ Rs2_or_imm13;}});
538 0x07: Priv::wrprtl({{
539 if (Pstate<2:> && !Hpstate<2:>)
540 Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPTL);
541 else
542 Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxTL);
543 }});
544 0x08: Priv::wrprpil({{Pil = Rs1 ^ Rs2_or_imm13;}});
545 0x09: Priv::wrprcwp({{Cwp = Rs1 ^ Rs2_or_imm13;}});
546 0x0A: Priv::wrprcansave({{Cansave = Rs1 ^ Rs2_or_imm13;}});
547 0x0B: Priv::wrprcanrestore({{Canrestore = Rs1 ^ Rs2_or_imm13;}});
548 0x0C: Priv::wrprcleanwin({{Cleanwin = Rs1 ^ Rs2_or_imm13;}});
549 0x0D: Priv::wrprotherwin({{Otherwin = Rs1 ^ Rs2_or_imm13;}});
550 0x0E: Priv::wrprwstate({{Wstate = Rs1 ^ Rs2_or_imm13;}});
551 // 0x0F should cause an illegal instruction exception
552 0x10: Priv::wrprgl({{
553 if (Pstate<2:> && !Hpstate<2:>)
554 Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPGL);
555 else
556 Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxGL);
557 }});
558 // 0x11-0x1F should cause an illegal instruction exception
559 }
560 0x33: decode RD {
561 0x00: HPriv::wrhprhpstate({{Hpstate = Rs1 ^ Rs2_or_imm13;}});
562 0x01: HPriv::wrhprhtstate(
563 {{Htstate = Rs1 ^ Rs2_or_imm13;}}, checkTl=true);
564 // 0x02 should cause an illegal instruction exception
565 0x03: HPriv::wrhprhintp({{Hintp = Rs1 ^ Rs2_or_imm13;}});
566 // 0x04 should cause an illegal instruction exception
567 0x05: HPriv::wrhprhtba({{Htba = Rs1 ^ Rs2_or_imm13;}});
568 // 0x06-0x01D should cause an illegal instruction exception
569 0x1F: HPriv::wrhprhstick_cmpr({{HstickCmpr = Rs1 ^ Rs2_or_imm13;}});
570 }
571 0x34: decode OPF{
572 format FpBasic{
573 0x01: fmovs({{Frds.uw = Frs2s.uw;}});
574 0x02: fmovd({{Frd.udw = Frs2.udw;}});
575 0x03: FpUnimpl::fmovq();
576 0x05: fnegs({{Frds.uw = Frs2s.uw ^ (1UL << 31);}});
577 0x06: fnegd({{Frd.udw = Frs2.udw ^ (1ULL << 63);}});
578 0x07: FpUnimpl::fnegq();
579 0x09: fabss({{Frds.uw = ((1UL << 31) - 1) & Frs2s.uw;}});
580 0x0A: fabsd({{Frd.udw = ((1ULL << 63) - 1) & Frs2.udw;}});
581 0x0B: FpUnimpl::fabsq();
582 0x29: fsqrts({{Frds.sf = std::sqrt(Frs2s.sf);}});
583 0x2A: fsqrtd({{Frd.df = std::sqrt(Frs2.df);}});
584 0x2B: FpUnimpl::fsqrtq();
585 0x41: fadds({{Frds.sf = Frs1s.sf + Frs2s.sf;}});
586 0x42: faddd({{Frd.df = Frs1.df + Frs2.df;}});
587 0x43: FpUnimpl::faddq();
588 0x45: fsubs({{Frds.sf = Frs1s.sf - Frs2s.sf;}});
589 0x46: fsubd({{Frd.df = Frs1.df - Frs2.df; }});
590 0x47: FpUnimpl::fsubq();
591 0x49: fmuls({{Frds.sf = Frs1s.sf * Frs2s.sf;}});
592 0x4A: fmuld({{Frd.df = Frs1.df * Frs2.df;}});
593 0x4B: FpUnimpl::fmulq();
594 0x4D: fdivs({{Frds.sf = Frs1s.sf / Frs2s.sf;}});
595 0x4E: fdivd({{Frd.df = Frs1.df / Frs2.df;}});
596 0x4F: FpUnimpl::fdivq();
597 0x69: fsmuld({{Frd.df = Frs1s.sf * Frs2s.sf;}});
598 0x6E: FpUnimpl::fdmulq();
599 0x81: fstox({{Frd.sdw = static_cast<int64_t>(Frs2s.sf);}});
600 0x82: fdtox({{Frd.sdw = static_cast<int64_t>(Frs2.df);}});
601 0x83: FpUnimpl::fqtox();
602 0x84: fxtos({{Frds.sf = static_cast<float>(Frs2.sdw);}});
603 0x88: fxtod({{Frd.df = static_cast<double>(Frs2.sdw);}});
604 0x8C: FpUnimpl::fxtoq();
605 0xC4: fitos({{Frds.sf = static_cast<float>(Frs2s.sw);}});
606 0xC6: fdtos({{Frds.sf = Frs2.df;}});
607 0xC7: FpUnimpl::fqtos();
608 0xC8: fitod({{Frd.df = static_cast<double>(Frs2s.sw);}});
609 0xC9: fstod({{Frd.df = Frs2s.sf;}});
610 0xCB: FpUnimpl::fqtod();
611 0xCC: FpUnimpl::fitoq();
612 0xCD: FpUnimpl::fstoq();
613 0xCE: FpUnimpl::fdtoq();
614 0xD1: fstoi({{
615 Frds.sw = static_cast<int32_t>(Frs2s.sf);
616 float t = Frds.sw;
617 if (t != Frs2s.sf)
618 Fsr = insertBits(Fsr, 4,0, 0x01);
619 }});
620 0xD2: fdtoi({{
621 Frds.sw = static_cast<int32_t>(Frs2.df);
622 double t = Frds.sw;
623 if (t != Frs2.df)
624 Fsr = insertBits(Fsr, 4,0, 0x01);
625 }});
626 0xD3: FpUnimpl::fqtoi();
627 default: FailUnimpl::fpop1();
628 }
629 }
630 0x35: decode OPF{
631 format FpBasic{
632 0x01: fmovs_fcc0({{
633 if (passesFpCondition(Fsr<11:10>, COND4))
634 Frds = Frs2s;
635 else
636 Frds = Frds;
637 }});
638 0x02: fmovd_fcc0({{
639 if (passesFpCondition(Fsr<11:10>, COND4))
640 Frd = Frs2;
641 else
642 Frd = Frd;
643 }});
644 0x03: FpUnimpl::fmovq_fcc0();
645 0x25: fmovrsz({{
646 if (Rs1 == 0)
647 Frds = Frs2s;
648 else
649 Frds = Frds;
650 }});
651 0x26: fmovrdz({{
652 if (Rs1 == 0)
653 Frd = Frs2;
654 else
655 Frd = Frd;
656 }});
657 0x27: FpUnimpl::fmovrqz();
658 0x41: fmovs_fcc1({{
659 if (passesFpCondition(Fsr<33:32>, COND4))
660 Frds = Frs2s;
661 else
662 Frds = Frds;
663 }});
664 0x42: fmovd_fcc1({{
665 if (passesFpCondition(Fsr<33:32>, COND4))
666 Frd = Frs2;
667 else
668 Frd = Frd;
669 }});
670 0x43: FpUnimpl::fmovq_fcc1();
671 0x45: fmovrslez({{
672 if (Rs1 <= 0)
673 Frds = Frs2s;
674 else
675 Frds = Frds;
676 }});
677 0x46: fmovrdlez({{
678 if (Rs1 <= 0)
679 Frd = Frs2;
680 else
681 Frd = Frd;
682 }});
683 0x47: FpUnimpl::fmovrqlez();
684 0x51: fcmps({{
685 uint8_t fcc;
686 if (isnan(Frs1s) || isnan(Frs2s))
687 fcc = 3;
688 else if (Frs1s < Frs2s)
689 fcc = 1;
690 else if (Frs1s > Frs2s)
691 fcc = 2;
692 else
693 fcc = 0;
694 uint8_t firstbit = 10;
695 if (FCMPCC)
696 firstbit = FCMPCC * 2 + 30;
697 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
698 }});
699 0x52: fcmpd({{
700 uint8_t fcc;
701 if (isnan(Frs1) || isnan(Frs2))
702 fcc = 3;
703 else if (Frs1 < Frs2)
704 fcc = 1;
705 else if (Frs1 > Frs2)
706 fcc = 2;
707 else
708 fcc = 0;
709 uint8_t firstbit = 10;
710 if (FCMPCC)
711 firstbit = FCMPCC * 2 + 30;
712 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
713 }});
714 0x53: FpUnimpl::fcmpq();
715 0x55: fcmpes({{
716 uint8_t fcc = 0;
717 if (isnan(Frs1s) || isnan(Frs2s))
718 fault = new FpExceptionIEEE754;
719 if (Frs1s < Frs2s)
720 fcc = 1;
721 else if (Frs1s > Frs2s)
722 fcc = 2;
723 uint8_t firstbit = 10;
724 if (FCMPCC)
725 firstbit = FCMPCC * 2 + 30;
726 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
727 }});
728 0x56: fcmped({{
729 uint8_t fcc = 0;
730 if (isnan(Frs1) || isnan(Frs2))
731 fault = new FpExceptionIEEE754;
732 if (Frs1 < Frs2)
733 fcc = 1;
734 else if (Frs1 > Frs2)
735 fcc = 2;
736 uint8_t firstbit = 10;
737 if (FCMPCC)
738 firstbit = FCMPCC * 2 + 30;
739 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
740 }});
741 0x57: FpUnimpl::fcmpeq();
742 0x65: fmovrslz({{
743 if (Rs1 < 0)
744 Frds = Frs2s;
745 else
746 Frds = Frds;
747 }});
748 0x66: fmovrdlz({{
749 if (Rs1 < 0)
750 Frd = Frs2;
751 else
752 Frd = Frd;
753 }});
754 0x67: FpUnimpl::fmovrqlz();
755 0x81: fmovs_fcc2({{
756 if (passesFpCondition(Fsr<35:34>, COND4))
757 Frds = Frs2s;
758 else
759 Frds = Frds;
760 }});
761 0x82: fmovd_fcc2({{
762 if (passesFpCondition(Fsr<35:34>, COND4))
763 Frd = Frs2;
764 else
765 Frd = Frd;
766 }});
767 0x83: FpUnimpl::fmovq_fcc2();
768 0xA5: fmovrsnz({{
769 if (Rs1 != 0)
770 Frds = Frs2s;
771 else
772 Frds = Frds;
773 }});
774 0xA6: fmovrdnz({{
775 if (Rs1 != 0)
776 Frd = Frs2;
777 else
778 Frd = Frd;
779 }});
780 0xA7: FpUnimpl::fmovrqnz();
781 0xC1: fmovs_fcc3({{
782 if (passesFpCondition(Fsr<37:36>, COND4))
783 Frds = Frs2s;
784 else
785 Frds = Frds;
786 }});
787 0xC2: fmovd_fcc3({{
788 if (passesFpCondition(Fsr<37:36>, COND4))
789 Frd = Frs2;
790 else
791 Frd = Frd;
792 }});
793 0xC3: FpUnimpl::fmovq_fcc3();
794 0xC5: fmovrsgz({{
795 if (Rs1 > 0)
796 Frds = Frs2s;
797 else
798 Frds = Frds;
799 }});
800 0xC6: fmovrdgz({{
801 if (Rs1 > 0)
802 Frd = Frs2;
803 else
804 Frd = Frd;
805 }});
806 0xC7: FpUnimpl::fmovrqgz();
807 0xE5: fmovrsgez({{
808 if (Rs1 >= 0)
809 Frds = Frs2s;
810 else
811 Frds = Frds;
812 }});
813 0xE6: fmovrdgez({{
814 if (Rs1 >= 0)
815 Frd = Frs2;
816 else
817 Frd = Frd;
818 }});
819 0xE7: FpUnimpl::fmovrqgez();
820 0x101: fmovs_icc({{
821 if (passesCondition(Ccr<3:0>, COND4))
822 Frds = Frs2s;
823 else
824 Frds = Frds;
825 }});
826 0x102: fmovd_icc({{
827 if (passesCondition(Ccr<3:0>, COND4))
828 Frd = Frs2;
829 else
830 Frd = Frd;
831 }});
832 0x103: FpUnimpl::fmovq_icc();
833 0x181: fmovs_xcc({{
834 if (passesCondition(Ccr<7:4>, COND4))
835 Frds = Frs2s;
836 else
837 Frds = Frds;
838 }});
839 0x182: fmovd_xcc({{
840 if (passesCondition(Ccr<7:4>, COND4))
841 Frd = Frs2;
842 else
843 Frd = Frd;
844 }});
845 0x183: FpUnimpl::fmovq_xcc();
846 default: FailUnimpl::fpop2();
847 }
848 }
849 // This used to be just impdep1, but now it's a whole bunch
850 // of instructions
851 0x36: decode OPF{
852 0x00: FailUnimpl::edge8();
853 0x01: FailUnimpl::edge8n();
854 0x02: FailUnimpl::edge8l();
855 0x03: FailUnimpl::edge8ln();
856 0x04: FailUnimpl::edge16();
857 0x05: FailUnimpl::edge16n();
858 0x06: FailUnimpl::edge16l();
859 0x07: FailUnimpl::edge16ln();
860 0x08: FailUnimpl::edge32();
861 0x09: FailUnimpl::edge32n();
862 0x0A: FailUnimpl::edge32l();
863 0x0B: FailUnimpl::edge32ln();
864 0x10: FailUnimpl::array8();
865 0x12: FailUnimpl::array16();
866 0x14: FailUnimpl::array32();
867 0x18: BasicOperate::alignaddr({{
868 uint64_t sum = Rs1 + Rs2;
869 Rd = sum & ~7;
870 Gsr = (Gsr & ~7) | (sum & 7);
871 }});
872 0x19: FailUnimpl::bmask();
873 0x1A: BasicOperate::alignaddresslittle({{
874 uint64_t sum = Rs1 + Rs2;
875 Rd = sum & ~7;
876 Gsr = (Gsr & ~7) | ((~sum + 1) & 7);
877 }});
878 0x20: FailUnimpl::fcmple16();
879 0x22: FailUnimpl::fcmpne16();
880 0x24: FailUnimpl::fcmple32();
881 0x26: FailUnimpl::fcmpne32();
882 0x28: FailUnimpl::fcmpgt16();
883 0x2A: FailUnimpl::fcmpeq16();
884 0x2C: FailUnimpl::fcmpgt32();
885 0x2E: FailUnimpl::fcmpeq32();
886 0x31: FailUnimpl::fmul8x16();
887 0x33: FailUnimpl::fmul8x16au();
888 0x35: FailUnimpl::fmul8x16al();
889 0x36: FailUnimpl::fmul8sux16();
890 0x37: FailUnimpl::fmul8ulx16();
891 0x38: FailUnimpl::fmuld8sux16();
892 0x39: FailUnimpl::fmuld8ulx16();
893 0x3A: Trap::fpack32({{fault = new IllegalInstruction;}});
894 0x3B: Trap::fpack16({{fault = new IllegalInstruction;}});
895 0x3D: Trap::fpackfix({{fault = new IllegalInstruction;}});
896 0x3E: Trap::pdist({{fault = new IllegalInstruction;}});
897 0x48: BasicOperate::faligndata({{
898 uint64_t msbX = Frs1.udw;
899 uint64_t lsbX = Frs2.udw;
900 // Some special cases need to be split out, first
901 // because they're the most likely to be used, and
902 // second because otherwise, we end up shifting by
903 // greater than the width of the type being shifted,
904 // namely 64, which produces undefined results
905 // according to the C standard.
906 switch (Gsr<2:0>) {
907 case 0:
908 Frd.udw = msbX;
909 break;
910 case 8:
911 Frd.udw = lsbX;
912 break;
913 default:
914 uint64_t msbShift = Gsr<2:0> * 8;
915 uint64_t lsbShift = (8 - Gsr<2:0>) * 8;
916 uint64_t msbMask = ((uint64_t)(-1)) >> msbShift;
917 uint64_t lsbMask = ((uint64_t)(-1)) << lsbShift;
918 Frd.udw = ((msbX & msbMask) << msbShift) |
919 ((lsbX & lsbMask) >> lsbShift);
920 }
921 }});
922 0x4B: Trap::fpmerge({{fault = new IllegalInstruction;}});
923 0x4C: FailUnimpl::bshuffle();
924 0x4D: FailUnimpl::fexpand();
925 0x50: FailUnimpl::fpadd16();
926 0x51: FailUnimpl::fpadd16s();
927 0x52: FailUnimpl::fpadd32();
928 0x53: FailUnimpl::fpadd32s();
929 0x54: FailUnimpl::fpsub16();
930 0x55: FailUnimpl::fpsub16s();
931 0x56: FailUnimpl::fpsub32();
932 0x57: FailUnimpl::fpsub32s();
933 0x60: FpBasic::fzero({{Frd.df = 0;}});
934 0x61: FpBasic::fzeros({{Frds.sf = 0;}});
935 0x62: FailUnimpl::fnor();
936 0x63: FailUnimpl::fnors();
937 0x64: FailUnimpl::fandnot2();
938 0x65: FailUnimpl::fandnot2s();
939 0x66: FpBasic::fnot2({{
940 Frd.df = (double)(~((uint64_t)Frs2.df));
941 }});
942 0x67: FpBasic::fnot2s({{
943 Frds.sf = (float)(~((uint32_t)Frs2s.sf));
944 }});
945 0x68: FailUnimpl::fandnot1();
946 0x69: FailUnimpl::fandnot1s();
947 0x6A: FpBasic::fnot1({{
948 Frd.df = (double)(~((uint64_t)Frs1.df));
949 }});
950 0x6B: FpBasic::fnot1s({{
951 Frds.sf = (float)(~((uint32_t)Frs1s.sf));
952 }});
953 0x6C: FailUnimpl::fxor();
954 0x6D: FailUnimpl::fxors();
955 0x6E: FailUnimpl::fnand();
956 0x6F: FailUnimpl::fnands();
957 0x70: FailUnimpl::fand();
958 0x71: FailUnimpl::fands();
959 0x72: FailUnimpl::fxnor();
960 0x73: FailUnimpl::fxnors();
961 0x74: FpBasic::fsrc1({{Frd.udw = Frs1.udw;}});
962 0x75: FpBasic::fsrc1s({{Frds.uw = Frs1s.uw;}});
963 0x76: FailUnimpl::fornot2();
964 0x77: FailUnimpl::fornot2s();
965 0x78: FpBasic::fsrc2({{Frd.udw = Frs2.udw;}});
966 0x79: FpBasic::fsrc2s({{Frds.uw = Frs2s.uw;}});
967 0x7A: FailUnimpl::fornot1();
968 0x7B: FailUnimpl::fornot1s();
969 0x7C: FailUnimpl::for();
970 0x7D: FailUnimpl::fors();
971 0x7E: FpBasic::fone({{Frd.udw = std::numeric_limits<uint64_t>::max();}});
972 0x7F: FpBasic::fones({{Frds.uw = std::numeric_limits<uint32_t>::max();}});
973 0x80: Trap::shutdown({{fault = new IllegalInstruction;}});
974 0x81: FailUnimpl::siam();
975 }
976 // M5 special opcodes use the reserved IMPDEP2A opcode space
977 0x37: decode M5FUNC {
978#if FULL_SYSTEM
979 format BasicOperate {
980 // we have 7 bits of space here to play with...
981 0x21: m5exit({{
982 PseudoInst::m5exit(xc->tcBase(), O0);
983 }}, No_OpClass, IsNonSpeculative);
984 0x50: m5readfile({{
985 O0 = PseudoInst::readfile(xc->tcBase(), O0, O1, O2);
986 }}, IsNonSpeculative);
987 0x51: m5break({{
988 PseudoInst::debugbreak(xc->tcBase());
989 }}, IsNonSpeculative);
990 0x54: m5panic({{
991 panic("M5 panic instruction called at pc = %#x.", PC);
992 }}, No_OpClass, IsNonSpeculative);
993 }
994#endif
995 default: Trap::impdep2({{fault = new IllegalInstruction;}});
996 }
997 0x38: Branch::jmpl({{
998 Addr target = Rs1 + Rs2_or_imm13;
999 if (target & 0x3) {
1000 fault = new MemAddressNotAligned;
1001 } else {
1002 if (Pstate<3:>)
1003 Rd = (PC)<31:0>;
1004 else
1005 Rd = PC;
1006 NNPC = target;
1007 }
1008 }}, IsUncondControl, IsIndirectControl);
1009 0x39: Branch::return({{
1010 Addr target = Rs1 + Rs2_or_imm13;
1011 if (fault == NoFault) {
1012 // Check for fills which are higher priority than alignment
1013 // faults.
1014 if (Canrestore == 0) {
1015 if (Otherwin)
1016 fault = new FillNOther(4*Wstate<5:3>);
1017 else
1018 fault = new FillNNormal(4*Wstate<2:0>);
1019 } else if (target & 0x3) { // Check for alignment faults
1020 fault = new MemAddressNotAligned;
1021 } else {
1022 NNPC = target;
1023 Cwp = (Cwp - 1 + NWindows) % NWindows;
1024 Cansave = Cansave + 1;
1025 Canrestore = Canrestore - 1;
1026 }
1027 }
1028 }}, IsUncondControl, IsIndirectControl, IsReturn);
1029 0x3A: decode CC
1030 {
1031 0x0: Trap::tcci({{
1032 if (passesCondition(Ccr<3:0>, COND2)) {
1033 int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
1034 DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
1035 fault = new TrapInstruction(lTrapNum);
1036 }
1037 }}, IsSerializeAfter, IsNonSpeculative, IsSyscall);
1038 0x2: Trap::tccx({{
1039 if (passesCondition(Ccr<7:4>, COND2)) {
1040 int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
1041 DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
1042 fault = new TrapInstruction(lTrapNum);
1043 }
1044 }}, IsSerializeAfter, IsNonSpeculative, IsSyscall);
1045 }
1046 0x3B: Nop::flush({{/*Instruction memory flush*/}}, IsWriteBarrier,
1047 MemWriteOp);
1048 0x3C: save({{
1049 if (Cansave == 0) {
1050 if (Otherwin)
1051 fault = new SpillNOther(4*Wstate<5:3>);
1052 else
1053 fault = new SpillNNormal(4*Wstate<2:0>);
1054 } else if (Cleanwin - Canrestore == 0) {
1055 fault = new CleanWindow;
1056 } else {
1057 Cwp = (Cwp + 1) % NWindows;
1058 Rd_next = Rs1 + Rs2_or_imm13;
1059 Cansave = Cansave - 1;
1060 Canrestore = Canrestore + 1;
1061 }
1062 }});
1063 0x3D: restore({{
1064 if (Canrestore == 0) {
1065 if (Otherwin)
1066 fault = new FillNOther(4*Wstate<5:3>);
1067 else
1068 fault = new FillNNormal(4*Wstate<2:0>);
1069 } else {
1070 Cwp = (Cwp - 1 + NWindows) % NWindows;
1071 Rd_prev = Rs1 + Rs2_or_imm13;
1072 Cansave = Cansave + 1;
1073 Canrestore = Canrestore - 1;
1074 }
1075 }});
1076 0x3E: decode FCN {
1077 0x0: Priv::done({{
1078 Cwp = Tstate<4:0>;
1079 Pstate = Tstate<20:8>;
1080 Asi = Tstate<31:24>;
1081 Ccr = Tstate<39:32>;
1082 Gl = Tstate<42:40>;
1083 Hpstate = Htstate;
1084 NPC = Tnpc;
1085 NNPC = Tnpc + 4;
1086 Tl = Tl - 1;
1087 }}, checkTl=true);
1088 0x1: Priv::retry({{
1089 Cwp = Tstate<4:0>;
1090 Pstate = Tstate<20:8>;
1091 Asi = Tstate<31:24>;
1092 Ccr = Tstate<39:32>;
1093 Gl = Tstate<42:40>;
1094 Hpstate = Htstate;
1095 NPC = Tpc;
1096 NNPC = Tnpc;
1097 Tl = Tl - 1;
1098 }}, checkTl=true);
1099 }
1100 }
1101 }
1102 0x3: decode OP3 {
1103 format Load {
1104 0x00: lduw({{Rd = Mem.uw;}});
1105 0x01: ldub({{Rd = Mem.ub;}});
1106 0x02: lduh({{Rd = Mem.uhw;}});
1107 0x03: ldtw({{
1108 RdLow = (Mem.tuw).a;
1109 RdHigh = (Mem.tuw).b;
1110 }});
1111 }
1112 format Store {
1113 0x04: stw({{Mem.uw = Rd.sw;}});
1114 0x05: stb({{Mem.ub = Rd.sb;}});
1115 0x06: sth({{Mem.uhw = Rd.shw;}});
1116 0x07: sttw({{
1117 // This temporary needs to be here so that the parser
1118 // will correctly identify this instruction as a store.
1119 // It's probably either the parenthesis or referencing
1120 // the member variable that throws confuses it.
1121 Twin32_t temp;
1122 temp.a = RdLow<31:0>;
1123 temp.b = RdHigh<31:0>;
1124 Mem.tuw = temp;
1125 }});
1126 }
1127 format Load {
| 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: bpa(19, annul_code={{
49 NPC = PC + disp;
50 NNPC = PC + disp + 4;
51 }});
52 // Branch Never
53 0x0: bpn(19, {{;}},
54 annul_code={{
55 NNPC = NPC + 8;
56 NPC = NPC + 4;
57 }});
58 default: decode BPCC
59 {
60 0x0: bpcci(19, test={{passesCondition(Ccr<3:0>, COND2)}});
61 0x2: bpccx(19, test={{passesCondition(Ccr<7:4>, COND2)}});
62 }
63 }
64 // bicc
65 0x2: decode COND2
66 {
67 // Branch Always
68 0x8: ba(22, annul_code={{
69 NPC = PC + disp;
70 NNPC = PC + disp + 4;
71 }});
72 // Branch Never
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)}});
79 }
80 }
81 0x3: decode RCOND2
82 {
83 format BranchSplit
84 {
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}});
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
99 0x8: fbpa(22, annul_code={{
100 NPC = PC + disp;
101 NNPC = PC + disp + 4;
102 }});
103 // Branch Never
104 0x0: fbpn(22, {{;}},
105 annul_code={{
106 NNPC = NPC + 8;
107 NPC = NPC + 4;
108 }});
109 default: decode BPCC {
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)}});
118 }
119 }
120 }
121 // fbfcc
122 0x6: decode COND2 {
123 format BranchN {
124 // Branch Always
125 0x8: fba(22, annul_code={{
126 NPC = PC + disp;
127 NNPC = PC + disp + 4;
128 }});
129 // Branch Never
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)}});
137 }
138 }
139 }
140 0x1: BranchN::call(30, {{
141 IntReg midVal;
142 R15 = midVal = (Pstate<3:> ? (PC)<31:0> : PC);
143 NNPC = midVal + disp;
144 }},None, None, IsIndirectControl, IsCall);
145 0x2: decode OP3 {
146 format IntOp {
147 0x00: add({{Rd = Rs1.sdw + Rs2_or_imm13;}});
148 0x01: and({{Rd = Rs1.sdw & Rs2_or_imm13;}});
149 0x02: or({{Rd = Rs1.sdw | Rs2_or_imm13;}});
150 0x03: xor({{Rd = Rs1.sdw ^ Rs2_or_imm13;}});
151 0x04: sub({{Rd = Rs1.sdw - Rs2_or_imm13;}});
152 0x05: andn({{Rd = Rs1.sdw & ~Rs2_or_imm13;}});
153 0x06: orn({{Rd = Rs1.sdw | ~Rs2_or_imm13;}});
154 0x07: xnor({{Rd = ~(Rs1.sdw ^ Rs2_or_imm13);}});
155 0x08: addc({{Rd = Rs1.sdw + Rs2_or_imm13 + Ccr<0:0>;}});
156 0x09: mulx({{Rd = Rs1.sdw * Rs2_or_imm13;}});
157 0x0A: umul({{
158 Rd = Rs1.udw<31:0> * Rs2_or_imm13<31:0>;
159 Y = Rd<63:32>;
160 }});
161 0x0B: smul({{
162 Rd.sdw = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
163 Y = Rd.sdw<63:32>;
164 }});
165 0x0C: subc({{Rd.sdw = Rs1.sdw + (~Rs2_or_imm13) + 1 - Ccr<0:0>}});
166 0x0D: udivx({{
167 if (Rs2_or_imm13 == 0)
168 fault = new DivisionByZero;
169 else
170 Rd.udw = Rs1.udw / Rs2_or_imm13;
171 }});
172 0x0E: udiv({{
173 if (Rs2_or_imm13 == 0) {
174 fault = new DivisionByZero;
175 } else {
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 Rd.udw = ((int64_t)((Y << 32) |
186 Rs1.sdw<31:0>)) / Rs2_or_imm13.sdw;
187 if ((int64_t)Rd.udw >=
188 std::numeric_limits<int32_t>::max()) {
189 Rd.udw = 0x7FFFFFFF;
190 } else if ((int64_t)Rd.udw <=
191 std::numeric_limits<int32_t>::min()) {
192 Rd.udw = ULL(0xFFFFFFFF80000000);
193 }
194 }
195 }});
196 }
197 format IntOpCc {
198 0x10: addcc({{
199 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
200 Rd = res = op1 + op2;
201 }});
202 0x11: IntOpCcRes::andcc({{Rd = Rs1 & Rs2_or_imm13;}});
203 0x12: IntOpCcRes::orcc({{Rd = Rs1 | Rs2_or_imm13;}});
204 0x13: IntOpCcRes::xorcc({{Rd = Rs1 ^ Rs2_or_imm13;}});
205 0x14: subcc({{
206 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
207 Rd = res = op1 - op2;
208 }}, sub=True);
209 0x15: IntOpCcRes::andncc({{Rd = Rs1 & ~Rs2_or_imm13;}});
210 0x16: IntOpCcRes::orncc({{Rd = Rs1 | ~Rs2_or_imm13;}});
211 0x17: IntOpCcRes::xnorcc({{Rd = ~(Rs1 ^ Rs2_or_imm13);}});
212 0x18: addccc({{
213 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
214 Rd = res = op1 + op2 + Ccr<0:>;
215 }});
216 0x1A: IntOpCcRes::umulcc({{
217 uint64_t resTemp;
218 Rd = resTemp = Rs1.udw<31:0> * Rs2_or_imm13.udw<31:0>;
219 Y = resTemp<63:32>;}});
220 0x1B: IntOpCcRes::smulcc({{
221 int64_t resTemp;
222 Rd = resTemp = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
223 Y = resTemp<63:32>;}});
224 0x1C: subccc({{
225 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
226 Rd = res = op1 - op2 - Ccr<0:>;
227 }}, sub=True);
228 0x1D: IntOpCcRes::udivxcc({{
229 if (Rs2_or_imm13.udw == 0)
230 fault = new DivisionByZero;
231 else
232 Rd = Rs1.udw / Rs2_or_imm13.udw;}});
233 0x1E: IntOpCcRes::udivcc({{
234 uint64_t resTemp;
235 uint32_t val2 = Rs2_or_imm13.udw;
236 int32_t overflow = 0;
237 if (val2 == 0) {
238 fault = new DivisionByZero;
239 } else {
240 resTemp = (uint64_t)((Y << 32) | Rs1.udw<31:0>) / val2;
241 overflow = (resTemp<63:32> != 0);
242 if (overflow)
243 Rd = resTemp = 0xFFFFFFFF;
244 else
245 Rd = resTemp;
246 }
247 }}, iv={{overflow}});
248 0x1F: IntOpCcRes::sdivcc({{
249 int64_t val2 = Rs2_or_imm13.sdw<31:0>;
250 bool overflow = false, underflow = false;
251 if (val2 == 0) {
252 fault = new DivisionByZero;
253 } else {
254 Rd = (int64_t)((Y << 32) | Rs1.sdw<31:0>) / val2;
255 overflow = ((int64_t)Rd >= std::numeric_limits<int32_t>::max());
256 underflow = ((int64_t)Rd <= std::numeric_limits<int32_t>::min());
257 if (overflow)
258 Rd = 0x7FFFFFFF;
259 else if (underflow)
260 Rd = ULL(0xFFFFFFFF80000000);
261 }
262 }}, iv={{overflow || underflow}});
263 0x20: taddcc({{
264 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
265 Rd = res = Rs1 + op2;
266 }}, iv={{
267 (op1 & mask(2)) || (op2 & mask(2)) ||
268 findOverflow(32, res, op1, op2)
269 }});
270 0x21: tsubcc({{
271 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
272 Rd = res = Rs1 - op2;
273 }}, iv={{
274 (op1 & mask(2)) || (op2 & mask(2)) ||
275 findOverflow(32, res, op1, ~op2)
276 }}, sub=True);
277 0x22: taddcctv({{
278 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
279 Rd = res = op1 + op2;
280 bool overflow = (op1 & mask(2)) || (op2 & mask(2)) ||
281 findOverflow(32, res, op1, op2);
282 if (overflow)
283 fault = new TagOverflow;
284 }}, iv={{overflow}});
285 0x23: tsubcctv({{
286 int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
287 Rd = res = op1 - op2;
288 bool overflow = (op1 & mask(2)) || (op2 & mask(2)) ||
289 findOverflow(32, res, op1, ~op2);
290 if (overflow)
291 fault = new TagOverflow;
292 }}, iv={{overflow}}, sub=True);
293 0x24: mulscc({{
294 int32_t savedLSB = Rs1<0:>;
295
296 // Step 1
297 int64_t multiplicand = Rs2_or_imm13;
298 // Step 2
299 int32_t partialP = Rs1<31:1> |
300 ((Ccr<3:3> ^ Ccr<1:1>) << 31);
301 // Step 3
302 int32_t added = Y<0:> ? multiplicand : 0;
303 int64_t res, op1 = partialP, op2 = added;
304 Rd = res = partialP + added;
305 // Steps 4 & 5
306 Y = Y<31:1> | (savedLSB << 31);
307 }});
308 }
309 format IntOp
310 {
311 0x25: decode X {
312 0x0: sll({{Rd = Rs1 << (I ? SHCNT32 : Rs2<4:0>);}});
313 0x1: sllx({{Rd = Rs1 << (I ? SHCNT64 : Rs2<5:0>);}});
314 }
315 0x26: decode X {
316 0x0: srl({{Rd = Rs1.uw >> (I ? SHCNT32 : Rs2<4:0>);}});
317 0x1: srlx({{Rd = Rs1.udw >> (I ? SHCNT64 : Rs2<5:0>);}});
318 }
319 0x27: decode X {
320 0x0: sra({{Rd = Rs1.sw >> (I ? SHCNT32 : Rs2<4:0>);}});
321 0x1: srax({{Rd = Rs1.sdw >> (I ? SHCNT64 : Rs2<5:0>);}});
322 }
323 0x28: decode RS1 {
324 0x00: NoPriv::rdy({{Rd = Y<31:0>;}});
325 // 1 should cause an illegal instruction exception
326 0x02: NoPriv::rdccr({{Rd = Ccr;}});
327 0x03: NoPriv::rdasi({{Rd = Asi;}});
328 0x04: Priv::rdtick({{Rd = Tick;}}, {{Tick<63:>}});
329 0x05: NoPriv::rdpc({{
330 if (Pstate<3:>)
331 Rd = (PC)<31:0>;
332 else
333 Rd = PC;
334 }});
335 0x06: NoPriv::rdfprs({{
336 // Wait for all fpops to finish.
337 Rd = Fprs;
338 }});
339 // 7-14 should cause an illegal instruction exception
340 0x0F: decode I {
341 0x0: Nop::stbar({{/*stuff*/}}, IsWriteBarrier, MemWriteOp);
342 0x1: Nop::membar({{/*stuff*/}}, IsMemBarrier, MemReadOp);
343 }
344 0x10: Priv::rdpcr({{Rd = Pcr;}});
345 0x11: Priv::rdpic({{Rd = Pic;}}, {{Pcr<0:>}});
346 // 0x12 should cause an illegal instruction exception
347 0x13: NoPriv::rdgsr({{
348 fault = checkFpEnableFault(xc);
349 if (fault)
350 return fault;
351 Rd = Gsr;
352 }});
353 // 0x14-0x15 should cause an illegal instruction exception
354 0x16: Priv::rdsoftint({{Rd = Softint;}});
355 0x17: Priv::rdtick_cmpr({{Rd = TickCmpr;}});
356 0x18: Priv::rdstick({{Rd = Stick}}, {{Stick<63:>}});
357 0x19: Priv::rdstick_cmpr({{Rd = StickCmpr;}});
358 0x1A: Priv::rdstrand_sts_reg({{
359 if (Pstate<2:> && !Hpstate<2:>)
360 Rd = StrandStsReg<0:>;
361 else
362 Rd = StrandStsReg;
363 }});
364 // 0x1A is supposed to be reserved, but it reads the strand
365 // status register.
366 // 0x1B-0x1F should cause an illegal instruction exception
367 }
368 0x29: decode RS1 {
369 0x00: HPriv::rdhprhpstate({{Rd = Hpstate;}});
370 0x01: HPriv::rdhprhtstate({{Rd = Htstate;}}, checkTl=true);
371 // 0x02 should cause an illegal instruction exception
372 0x03: HPriv::rdhprhintp({{Rd = Hintp;}});
373 // 0x04 should cause an illegal instruction exception
374 0x05: HPriv::rdhprhtba({{Rd = Htba;}});
375 0x06: HPriv::rdhprhver({{Rd = Hver;}});
376 // 0x07-0x1E should cause an illegal instruction exception
377 0x1F: HPriv::rdhprhstick_cmpr({{Rd = HstickCmpr;}});
378 }
379 0x2A: decode RS1 {
380 0x00: Priv::rdprtpc({{Rd = Tpc;}}, checkTl=true);
381 0x01: Priv::rdprtnpc({{Rd = Tnpc;}}, checkTl=true);
382 0x02: Priv::rdprtstate({{Rd = Tstate;}}, checkTl=true);
383 0x03: Priv::rdprtt({{Rd = Tt;}}, checkTl=true);
384 0x04: Priv::rdprtick({{Rd = Tick;}});
385 0x05: Priv::rdprtba({{Rd = Tba;}});
386 0x06: Priv::rdprpstate({{Rd = Pstate;}});
387 0x07: Priv::rdprtl({{Rd = Tl;}});
388 0x08: Priv::rdprpil({{Rd = Pil;}});
389 0x09: Priv::rdprcwp({{Rd = Cwp;}});
390 0x0A: Priv::rdprcansave({{Rd = Cansave;}});
391 0x0B: Priv::rdprcanrestore({{Rd = Canrestore;}});
392 0x0C: Priv::rdprcleanwin({{Rd = Cleanwin;}});
393 0x0D: Priv::rdprotherwin({{Rd = Otherwin;}});
394 0x0E: Priv::rdprwstate({{Rd = Wstate;}});
395 // 0x0F should cause an illegal instruction exception
396 0x10: Priv::rdprgl({{Rd = Gl;}});
397 // 0x11-0x1F should cause an illegal instruction exception
398 }
399 0x2B: BasicOperate::flushw({{
400 if (NWindows - 2 - Cansave != 0) {
401 if (Otherwin)
402 fault = new SpillNOther(4*Wstate<5:3>);
403 else
404 fault = new SpillNNormal(4*Wstate<2:0>);
405 }
406 }});
407 0x2C: decode MOVCC3
408 {
409 0x0: decode CC
410 {
411 0x0: movccfcc0({{
412 if (passesCondition(Fsr<11:10>, COND4))
413 Rd = Rs2_or_imm11;
414 else
415 Rd = Rd;
416 }});
417 0x1: movccfcc1({{
418 if (passesCondition(Fsr<33:32>, COND4))
419 Rd = Rs2_or_imm11;
420 else
421 Rd = Rd;
422 }});
423 0x2: movccfcc2({{
424 if (passesCondition(Fsr<35:34>, COND4))
425 Rd = Rs2_or_imm11;
426 else
427 Rd = Rd;
428 }});
429 0x3: movccfcc3({{
430 if (passesCondition(Fsr<37:36>, COND4))
431 Rd = Rs2_or_imm11;
432 else
433 Rd = Rd;
434 }});
435 }
436 0x1: decode CC
437 {
438 0x0: movcci({{
439 if (passesCondition(Ccr<3:0>, COND4))
440 Rd = Rs2_or_imm11;
441 else
442 Rd = Rd;
443 }});
444 0x2: movccx({{
445 if (passesCondition(Ccr<7:4>, COND4))
446 Rd = Rs2_or_imm11;
447 else
448 Rd = Rd;
449 }});
450 }
451 }
452 0x2D: sdivx({{
453 if (Rs2_or_imm13.sdw == 0)
454 fault = new DivisionByZero;
455 else
456 Rd.sdw = Rs1.sdw / Rs2_or_imm13.sdw;
457 }});
458 0x2E: Trap::popc({{fault = new IllegalInstruction;}});
459 0x2F: decode RCOND3
460 {
461 0x1: movreq({{Rd = (Rs1.sdw == 0) ? Rs2_or_imm10 : Rd;}});
462 0x2: movrle({{Rd = (Rs1.sdw <= 0) ? Rs2_or_imm10 : Rd;}});
463 0x3: movrl({{Rd = (Rs1.sdw < 0) ? Rs2_or_imm10 : Rd;}});
464 0x5: movrne({{Rd = (Rs1.sdw != 0) ? Rs2_or_imm10 : Rd;}});
465 0x6: movrg({{Rd = (Rs1.sdw > 0) ? Rs2_or_imm10 : Rd;}});
466 0x7: movrge({{Rd = (Rs1.sdw >= 0) ? Rs2_or_imm10 : Rd;}});
467 }
468 0x30: decode RD {
469 0x00: NoPriv::wry({{Y = (Rs1 ^ Rs2_or_imm13)<31:0>;}});
470 // 0x01 should cause an illegal instruction exception
471 0x02: NoPriv::wrccr({{Ccr = Rs1 ^ Rs2_or_imm13;}});
472 0x03: NoPriv::wrasi({{Asi = Rs1 ^ Rs2_or_imm13;}}, false,
473 IsSquashAfter);
474 // 0x04-0x05 should cause an illegal instruction exception
475 0x06: NoPriv::wrfprs({{Fprs = Rs1 ^ Rs2_or_imm13;}});
476 // 0x07-0x0E should cause an illegal instruction exception
477 0x0F: Trap::softreset({{fault = new SoftwareInitiatedReset;}});
478 0x10: Priv::wrpcr({{Pcr = Rs1 ^ Rs2_or_imm13;}});
479 0x11: Priv::wrpic({{Pic = Rs1 ^ Rs2_or_imm13;}}, {{Pcr<0:>}});
480 // 0x12 should cause an illegal instruction exception
481 0x13: NoPriv::wrgsr({{
482 if (Fprs<2:> == 0 || Pstate<4:> == 0)
483 return new FpDisabled;
484 Gsr = Rs1 ^ Rs2_or_imm13;
485 }});
486 0x14: Priv::wrsoftint_set({{SoftintSet = Rs1 ^ Rs2_or_imm13;}});
487 0x15: Priv::wrsoftint_clr({{SoftintClr = Rs1 ^ Rs2_or_imm13;}});
488 0x16: Priv::wrsoftint({{Softint = Rs1 ^ Rs2_or_imm13;}});
489 0x17: Priv::wrtick_cmpr({{TickCmpr = Rs1 ^ Rs2_or_imm13;}});
490 0x18: NoPriv::wrstick({{
491 if (!Hpstate<2:>)
492 return new IllegalInstruction;
493 Stick = Rs1 ^ Rs2_or_imm13;
494 }});
495 0x19: Priv::wrstick_cmpr({{StickCmpr = Rs1 ^ Rs2_or_imm13;}});
496 0x1A: Priv::wrstrand_sts_reg({{
497 StrandStsReg = Rs1 ^ Rs2_or_imm13;
498 }});
499 // 0x1A is supposed to be reserved, but it writes the strand
500 // status register.
501 // 0x1B-0x1F should cause an illegal instruction exception
502 }
503 0x31: decode FCN {
504 0x0: Priv::saved({{
505 assert(Cansave < NWindows - 2);
506 assert(Otherwin || Canrestore);
507 Cansave = Cansave + 1;
508 if (Otherwin == 0)
509 Canrestore = Canrestore - 1;
510 else
511 Otherwin = Otherwin - 1;
512 }});
513 0x1: Priv::restored({{
514 assert(Cansave || Otherwin);
515 assert(Canrestore < NWindows - 2);
516 Canrestore = Canrestore + 1;
517 if (Otherwin == 0)
518 Cansave = Cansave - 1;
519 else
520 Otherwin = Otherwin - 1;
521
522 if (Cleanwin < NWindows - 1)
523 Cleanwin = Cleanwin + 1;
524 }});
525 }
526 0x32: decode RD {
527 0x00: Priv::wrprtpc(
528 {{Tpc = Rs1 ^ Rs2_or_imm13;}}, checkTl=true);
529 0x01: Priv::wrprtnpc(
530 {{Tnpc = Rs1 ^ Rs2_or_imm13;}}, checkTl=true);
531 0x02: Priv::wrprtstate(
532 {{Tstate = Rs1 ^ Rs2_or_imm13;}}, checkTl=true);
533 0x03: Priv::wrprtt(
534 {{Tt = Rs1 ^ Rs2_or_imm13;}}, checkTl=true);
535 0x04: HPriv::wrprtick({{Tick = Rs1 ^ Rs2_or_imm13;}});
536 0x05: Priv::wrprtba({{Tba = Rs1 ^ Rs2_or_imm13;}});
537 0x06: Priv::wrprpstate({{Pstate = Rs1 ^ Rs2_or_imm13;}});
538 0x07: Priv::wrprtl({{
539 if (Pstate<2:> && !Hpstate<2:>)
540 Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPTL);
541 else
542 Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxTL);
543 }});
544 0x08: Priv::wrprpil({{Pil = Rs1 ^ Rs2_or_imm13;}});
545 0x09: Priv::wrprcwp({{Cwp = Rs1 ^ Rs2_or_imm13;}});
546 0x0A: Priv::wrprcansave({{Cansave = Rs1 ^ Rs2_or_imm13;}});
547 0x0B: Priv::wrprcanrestore({{Canrestore = Rs1 ^ Rs2_or_imm13;}});
548 0x0C: Priv::wrprcleanwin({{Cleanwin = Rs1 ^ Rs2_or_imm13;}});
549 0x0D: Priv::wrprotherwin({{Otherwin = Rs1 ^ Rs2_or_imm13;}});
550 0x0E: Priv::wrprwstate({{Wstate = Rs1 ^ Rs2_or_imm13;}});
551 // 0x0F should cause an illegal instruction exception
552 0x10: Priv::wrprgl({{
553 if (Pstate<2:> && !Hpstate<2:>)
554 Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPGL);
555 else
556 Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxGL);
557 }});
558 // 0x11-0x1F should cause an illegal instruction exception
559 }
560 0x33: decode RD {
561 0x00: HPriv::wrhprhpstate({{Hpstate = Rs1 ^ Rs2_or_imm13;}});
562 0x01: HPriv::wrhprhtstate(
563 {{Htstate = Rs1 ^ Rs2_or_imm13;}}, checkTl=true);
564 // 0x02 should cause an illegal instruction exception
565 0x03: HPriv::wrhprhintp({{Hintp = Rs1 ^ Rs2_or_imm13;}});
566 // 0x04 should cause an illegal instruction exception
567 0x05: HPriv::wrhprhtba({{Htba = Rs1 ^ Rs2_or_imm13;}});
568 // 0x06-0x01D should cause an illegal instruction exception
569 0x1F: HPriv::wrhprhstick_cmpr({{HstickCmpr = Rs1 ^ Rs2_or_imm13;}});
570 }
571 0x34: decode OPF{
572 format FpBasic{
573 0x01: fmovs({{Frds.uw = Frs2s.uw;}});
574 0x02: fmovd({{Frd.udw = Frs2.udw;}});
575 0x03: FpUnimpl::fmovq();
576 0x05: fnegs({{Frds.uw = Frs2s.uw ^ (1UL << 31);}});
577 0x06: fnegd({{Frd.udw = Frs2.udw ^ (1ULL << 63);}});
578 0x07: FpUnimpl::fnegq();
579 0x09: fabss({{Frds.uw = ((1UL << 31) - 1) & Frs2s.uw;}});
580 0x0A: fabsd({{Frd.udw = ((1ULL << 63) - 1) & Frs2.udw;}});
581 0x0B: FpUnimpl::fabsq();
582 0x29: fsqrts({{Frds.sf = std::sqrt(Frs2s.sf);}});
583 0x2A: fsqrtd({{Frd.df = std::sqrt(Frs2.df);}});
584 0x2B: FpUnimpl::fsqrtq();
585 0x41: fadds({{Frds.sf = Frs1s.sf + Frs2s.sf;}});
586 0x42: faddd({{Frd.df = Frs1.df + Frs2.df;}});
587 0x43: FpUnimpl::faddq();
588 0x45: fsubs({{Frds.sf = Frs1s.sf - Frs2s.sf;}});
589 0x46: fsubd({{Frd.df = Frs1.df - Frs2.df; }});
590 0x47: FpUnimpl::fsubq();
591 0x49: fmuls({{Frds.sf = Frs1s.sf * Frs2s.sf;}});
592 0x4A: fmuld({{Frd.df = Frs1.df * Frs2.df;}});
593 0x4B: FpUnimpl::fmulq();
594 0x4D: fdivs({{Frds.sf = Frs1s.sf / Frs2s.sf;}});
595 0x4E: fdivd({{Frd.df = Frs1.df / Frs2.df;}});
596 0x4F: FpUnimpl::fdivq();
597 0x69: fsmuld({{Frd.df = Frs1s.sf * Frs2s.sf;}});
598 0x6E: FpUnimpl::fdmulq();
599 0x81: fstox({{Frd.sdw = static_cast<int64_t>(Frs2s.sf);}});
600 0x82: fdtox({{Frd.sdw = static_cast<int64_t>(Frs2.df);}});
601 0x83: FpUnimpl::fqtox();
602 0x84: fxtos({{Frds.sf = static_cast<float>(Frs2.sdw);}});
603 0x88: fxtod({{Frd.df = static_cast<double>(Frs2.sdw);}});
604 0x8C: FpUnimpl::fxtoq();
605 0xC4: fitos({{Frds.sf = static_cast<float>(Frs2s.sw);}});
606 0xC6: fdtos({{Frds.sf = Frs2.df;}});
607 0xC7: FpUnimpl::fqtos();
608 0xC8: fitod({{Frd.df = static_cast<double>(Frs2s.sw);}});
609 0xC9: fstod({{Frd.df = Frs2s.sf;}});
610 0xCB: FpUnimpl::fqtod();
611 0xCC: FpUnimpl::fitoq();
612 0xCD: FpUnimpl::fstoq();
613 0xCE: FpUnimpl::fdtoq();
614 0xD1: fstoi({{
615 Frds.sw = static_cast<int32_t>(Frs2s.sf);
616 float t = Frds.sw;
617 if (t != Frs2s.sf)
618 Fsr = insertBits(Fsr, 4,0, 0x01);
619 }});
620 0xD2: fdtoi({{
621 Frds.sw = static_cast<int32_t>(Frs2.df);
622 double t = Frds.sw;
623 if (t != Frs2.df)
624 Fsr = insertBits(Fsr, 4,0, 0x01);
625 }});
626 0xD3: FpUnimpl::fqtoi();
627 default: FailUnimpl::fpop1();
628 }
629 }
630 0x35: decode OPF{
631 format FpBasic{
632 0x01: fmovs_fcc0({{
633 if (passesFpCondition(Fsr<11:10>, COND4))
634 Frds = Frs2s;
635 else
636 Frds = Frds;
637 }});
638 0x02: fmovd_fcc0({{
639 if (passesFpCondition(Fsr<11:10>, COND4))
640 Frd = Frs2;
641 else
642 Frd = Frd;
643 }});
644 0x03: FpUnimpl::fmovq_fcc0();
645 0x25: fmovrsz({{
646 if (Rs1 == 0)
647 Frds = Frs2s;
648 else
649 Frds = Frds;
650 }});
651 0x26: fmovrdz({{
652 if (Rs1 == 0)
653 Frd = Frs2;
654 else
655 Frd = Frd;
656 }});
657 0x27: FpUnimpl::fmovrqz();
658 0x41: fmovs_fcc1({{
659 if (passesFpCondition(Fsr<33:32>, COND4))
660 Frds = Frs2s;
661 else
662 Frds = Frds;
663 }});
664 0x42: fmovd_fcc1({{
665 if (passesFpCondition(Fsr<33:32>, COND4))
666 Frd = Frs2;
667 else
668 Frd = Frd;
669 }});
670 0x43: FpUnimpl::fmovq_fcc1();
671 0x45: fmovrslez({{
672 if (Rs1 <= 0)
673 Frds = Frs2s;
674 else
675 Frds = Frds;
676 }});
677 0x46: fmovrdlez({{
678 if (Rs1 <= 0)
679 Frd = Frs2;
680 else
681 Frd = Frd;
682 }});
683 0x47: FpUnimpl::fmovrqlez();
684 0x51: fcmps({{
685 uint8_t fcc;
686 if (isnan(Frs1s) || isnan(Frs2s))
687 fcc = 3;
688 else if (Frs1s < Frs2s)
689 fcc = 1;
690 else if (Frs1s > Frs2s)
691 fcc = 2;
692 else
693 fcc = 0;
694 uint8_t firstbit = 10;
695 if (FCMPCC)
696 firstbit = FCMPCC * 2 + 30;
697 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
698 }});
699 0x52: fcmpd({{
700 uint8_t fcc;
701 if (isnan(Frs1) || isnan(Frs2))
702 fcc = 3;
703 else if (Frs1 < Frs2)
704 fcc = 1;
705 else if (Frs1 > Frs2)
706 fcc = 2;
707 else
708 fcc = 0;
709 uint8_t firstbit = 10;
710 if (FCMPCC)
711 firstbit = FCMPCC * 2 + 30;
712 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
713 }});
714 0x53: FpUnimpl::fcmpq();
715 0x55: fcmpes({{
716 uint8_t fcc = 0;
717 if (isnan(Frs1s) || isnan(Frs2s))
718 fault = new FpExceptionIEEE754;
719 if (Frs1s < Frs2s)
720 fcc = 1;
721 else if (Frs1s > Frs2s)
722 fcc = 2;
723 uint8_t firstbit = 10;
724 if (FCMPCC)
725 firstbit = FCMPCC * 2 + 30;
726 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
727 }});
728 0x56: fcmped({{
729 uint8_t fcc = 0;
730 if (isnan(Frs1) || isnan(Frs2))
731 fault = new FpExceptionIEEE754;
732 if (Frs1 < Frs2)
733 fcc = 1;
734 else if (Frs1 > Frs2)
735 fcc = 2;
736 uint8_t firstbit = 10;
737 if (FCMPCC)
738 firstbit = FCMPCC * 2 + 30;
739 Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
740 }});
741 0x57: FpUnimpl::fcmpeq();
742 0x65: fmovrslz({{
743 if (Rs1 < 0)
744 Frds = Frs2s;
745 else
746 Frds = Frds;
747 }});
748 0x66: fmovrdlz({{
749 if (Rs1 < 0)
750 Frd = Frs2;
751 else
752 Frd = Frd;
753 }});
754 0x67: FpUnimpl::fmovrqlz();
755 0x81: fmovs_fcc2({{
756 if (passesFpCondition(Fsr<35:34>, COND4))
757 Frds = Frs2s;
758 else
759 Frds = Frds;
760 }});
761 0x82: fmovd_fcc2({{
762 if (passesFpCondition(Fsr<35:34>, COND4))
763 Frd = Frs2;
764 else
765 Frd = Frd;
766 }});
767 0x83: FpUnimpl::fmovq_fcc2();
768 0xA5: fmovrsnz({{
769 if (Rs1 != 0)
770 Frds = Frs2s;
771 else
772 Frds = Frds;
773 }});
774 0xA6: fmovrdnz({{
775 if (Rs1 != 0)
776 Frd = Frs2;
777 else
778 Frd = Frd;
779 }});
780 0xA7: FpUnimpl::fmovrqnz();
781 0xC1: fmovs_fcc3({{
782 if (passesFpCondition(Fsr<37:36>, COND4))
783 Frds = Frs2s;
784 else
785 Frds = Frds;
786 }});
787 0xC2: fmovd_fcc3({{
788 if (passesFpCondition(Fsr<37:36>, COND4))
789 Frd = Frs2;
790 else
791 Frd = Frd;
792 }});
793 0xC3: FpUnimpl::fmovq_fcc3();
794 0xC5: fmovrsgz({{
795 if (Rs1 > 0)
796 Frds = Frs2s;
797 else
798 Frds = Frds;
799 }});
800 0xC6: fmovrdgz({{
801 if (Rs1 > 0)
802 Frd = Frs2;
803 else
804 Frd = Frd;
805 }});
806 0xC7: FpUnimpl::fmovrqgz();
807 0xE5: fmovrsgez({{
808 if (Rs1 >= 0)
809 Frds = Frs2s;
810 else
811 Frds = Frds;
812 }});
813 0xE6: fmovrdgez({{
814 if (Rs1 >= 0)
815 Frd = Frs2;
816 else
817 Frd = Frd;
818 }});
819 0xE7: FpUnimpl::fmovrqgez();
820 0x101: fmovs_icc({{
821 if (passesCondition(Ccr<3:0>, COND4))
822 Frds = Frs2s;
823 else
824 Frds = Frds;
825 }});
826 0x102: fmovd_icc({{
827 if (passesCondition(Ccr<3:0>, COND4))
828 Frd = Frs2;
829 else
830 Frd = Frd;
831 }});
832 0x103: FpUnimpl::fmovq_icc();
833 0x181: fmovs_xcc({{
834 if (passesCondition(Ccr<7:4>, COND4))
835 Frds = Frs2s;
836 else
837 Frds = Frds;
838 }});
839 0x182: fmovd_xcc({{
840 if (passesCondition(Ccr<7:4>, COND4))
841 Frd = Frs2;
842 else
843 Frd = Frd;
844 }});
845 0x183: FpUnimpl::fmovq_xcc();
846 default: FailUnimpl::fpop2();
847 }
848 }
849 // This used to be just impdep1, but now it's a whole bunch
850 // of instructions
851 0x36: decode OPF{
852 0x00: FailUnimpl::edge8();
853 0x01: FailUnimpl::edge8n();
854 0x02: FailUnimpl::edge8l();
855 0x03: FailUnimpl::edge8ln();
856 0x04: FailUnimpl::edge16();
857 0x05: FailUnimpl::edge16n();
858 0x06: FailUnimpl::edge16l();
859 0x07: FailUnimpl::edge16ln();
860 0x08: FailUnimpl::edge32();
861 0x09: FailUnimpl::edge32n();
862 0x0A: FailUnimpl::edge32l();
863 0x0B: FailUnimpl::edge32ln();
864 0x10: FailUnimpl::array8();
865 0x12: FailUnimpl::array16();
866 0x14: FailUnimpl::array32();
867 0x18: BasicOperate::alignaddr({{
868 uint64_t sum = Rs1 + Rs2;
869 Rd = sum & ~7;
870 Gsr = (Gsr & ~7) | (sum & 7);
871 }});
872 0x19: FailUnimpl::bmask();
873 0x1A: BasicOperate::alignaddresslittle({{
874 uint64_t sum = Rs1 + Rs2;
875 Rd = sum & ~7;
876 Gsr = (Gsr & ~7) | ((~sum + 1) & 7);
877 }});
878 0x20: FailUnimpl::fcmple16();
879 0x22: FailUnimpl::fcmpne16();
880 0x24: FailUnimpl::fcmple32();
881 0x26: FailUnimpl::fcmpne32();
882 0x28: FailUnimpl::fcmpgt16();
883 0x2A: FailUnimpl::fcmpeq16();
884 0x2C: FailUnimpl::fcmpgt32();
885 0x2E: FailUnimpl::fcmpeq32();
886 0x31: FailUnimpl::fmul8x16();
887 0x33: FailUnimpl::fmul8x16au();
888 0x35: FailUnimpl::fmul8x16al();
889 0x36: FailUnimpl::fmul8sux16();
890 0x37: FailUnimpl::fmul8ulx16();
891 0x38: FailUnimpl::fmuld8sux16();
892 0x39: FailUnimpl::fmuld8ulx16();
893 0x3A: Trap::fpack32({{fault = new IllegalInstruction;}});
894 0x3B: Trap::fpack16({{fault = new IllegalInstruction;}});
895 0x3D: Trap::fpackfix({{fault = new IllegalInstruction;}});
896 0x3E: Trap::pdist({{fault = new IllegalInstruction;}});
897 0x48: BasicOperate::faligndata({{
898 uint64_t msbX = Frs1.udw;
899 uint64_t lsbX = Frs2.udw;
900 // Some special cases need to be split out, first
901 // because they're the most likely to be used, and
902 // second because otherwise, we end up shifting by
903 // greater than the width of the type being shifted,
904 // namely 64, which produces undefined results
905 // according to the C standard.
906 switch (Gsr<2:0>) {
907 case 0:
908 Frd.udw = msbX;
909 break;
910 case 8:
911 Frd.udw = lsbX;
912 break;
913 default:
914 uint64_t msbShift = Gsr<2:0> * 8;
915 uint64_t lsbShift = (8 - Gsr<2:0>) * 8;
916 uint64_t msbMask = ((uint64_t)(-1)) >> msbShift;
917 uint64_t lsbMask = ((uint64_t)(-1)) << lsbShift;
918 Frd.udw = ((msbX & msbMask) << msbShift) |
919 ((lsbX & lsbMask) >> lsbShift);
920 }
921 }});
922 0x4B: Trap::fpmerge({{fault = new IllegalInstruction;}});
923 0x4C: FailUnimpl::bshuffle();
924 0x4D: FailUnimpl::fexpand();
925 0x50: FailUnimpl::fpadd16();
926 0x51: FailUnimpl::fpadd16s();
927 0x52: FailUnimpl::fpadd32();
928 0x53: FailUnimpl::fpadd32s();
929 0x54: FailUnimpl::fpsub16();
930 0x55: FailUnimpl::fpsub16s();
931 0x56: FailUnimpl::fpsub32();
932 0x57: FailUnimpl::fpsub32s();
933 0x60: FpBasic::fzero({{Frd.df = 0;}});
934 0x61: FpBasic::fzeros({{Frds.sf = 0;}});
935 0x62: FailUnimpl::fnor();
936 0x63: FailUnimpl::fnors();
937 0x64: FailUnimpl::fandnot2();
938 0x65: FailUnimpl::fandnot2s();
939 0x66: FpBasic::fnot2({{
940 Frd.df = (double)(~((uint64_t)Frs2.df));
941 }});
942 0x67: FpBasic::fnot2s({{
943 Frds.sf = (float)(~((uint32_t)Frs2s.sf));
944 }});
945 0x68: FailUnimpl::fandnot1();
946 0x69: FailUnimpl::fandnot1s();
947 0x6A: FpBasic::fnot1({{
948 Frd.df = (double)(~((uint64_t)Frs1.df));
949 }});
950 0x6B: FpBasic::fnot1s({{
951 Frds.sf = (float)(~((uint32_t)Frs1s.sf));
952 }});
953 0x6C: FailUnimpl::fxor();
954 0x6D: FailUnimpl::fxors();
955 0x6E: FailUnimpl::fnand();
956 0x6F: FailUnimpl::fnands();
957 0x70: FailUnimpl::fand();
958 0x71: FailUnimpl::fands();
959 0x72: FailUnimpl::fxnor();
960 0x73: FailUnimpl::fxnors();
961 0x74: FpBasic::fsrc1({{Frd.udw = Frs1.udw;}});
962 0x75: FpBasic::fsrc1s({{Frds.uw = Frs1s.uw;}});
963 0x76: FailUnimpl::fornot2();
964 0x77: FailUnimpl::fornot2s();
965 0x78: FpBasic::fsrc2({{Frd.udw = Frs2.udw;}});
966 0x79: FpBasic::fsrc2s({{Frds.uw = Frs2s.uw;}});
967 0x7A: FailUnimpl::fornot1();
968 0x7B: FailUnimpl::fornot1s();
969 0x7C: FailUnimpl::for();
970 0x7D: FailUnimpl::fors();
971 0x7E: FpBasic::fone({{Frd.udw = std::numeric_limits<uint64_t>::max();}});
972 0x7F: FpBasic::fones({{Frds.uw = std::numeric_limits<uint32_t>::max();}});
973 0x80: Trap::shutdown({{fault = new IllegalInstruction;}});
974 0x81: FailUnimpl::siam();
975 }
976 // M5 special opcodes use the reserved IMPDEP2A opcode space
977 0x37: decode M5FUNC {
978#if FULL_SYSTEM
979 format BasicOperate {
980 // we have 7 bits of space here to play with...
981 0x21: m5exit({{
982 PseudoInst::m5exit(xc->tcBase(), O0);
983 }}, No_OpClass, IsNonSpeculative);
984 0x50: m5readfile({{
985 O0 = PseudoInst::readfile(xc->tcBase(), O0, O1, O2);
986 }}, IsNonSpeculative);
987 0x51: m5break({{
988 PseudoInst::debugbreak(xc->tcBase());
989 }}, IsNonSpeculative);
990 0x54: m5panic({{
991 panic("M5 panic instruction called at pc = %#x.", PC);
992 }}, No_OpClass, IsNonSpeculative);
993 }
994#endif
995 default: Trap::impdep2({{fault = new IllegalInstruction;}});
996 }
997 0x38: Branch::jmpl({{
998 Addr target = Rs1 + Rs2_or_imm13;
999 if (target & 0x3) {
1000 fault = new MemAddressNotAligned;
1001 } else {
1002 if (Pstate<3:>)
1003 Rd = (PC)<31:0>;
1004 else
1005 Rd = PC;
1006 NNPC = target;
1007 }
1008 }}, IsUncondControl, IsIndirectControl);
1009 0x39: Branch::return({{
1010 Addr target = Rs1 + Rs2_or_imm13;
1011 if (fault == NoFault) {
1012 // Check for fills which are higher priority than alignment
1013 // faults.
1014 if (Canrestore == 0) {
1015 if (Otherwin)
1016 fault = new FillNOther(4*Wstate<5:3>);
1017 else
1018 fault = new FillNNormal(4*Wstate<2:0>);
1019 } else if (target & 0x3) { // Check for alignment faults
1020 fault = new MemAddressNotAligned;
1021 } else {
1022 NNPC = target;
1023 Cwp = (Cwp - 1 + NWindows) % NWindows;
1024 Cansave = Cansave + 1;
1025 Canrestore = Canrestore - 1;
1026 }
1027 }
1028 }}, IsUncondControl, IsIndirectControl, IsReturn);
1029 0x3A: decode CC
1030 {
1031 0x0: Trap::tcci({{
1032 if (passesCondition(Ccr<3:0>, COND2)) {
1033 int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
1034 DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
1035 fault = new TrapInstruction(lTrapNum);
1036 }
1037 }}, IsSerializeAfter, IsNonSpeculative, IsSyscall);
1038 0x2: Trap::tccx({{
1039 if (passesCondition(Ccr<7:4>, COND2)) {
1040 int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
1041 DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
1042 fault = new TrapInstruction(lTrapNum);
1043 }
1044 }}, IsSerializeAfter, IsNonSpeculative, IsSyscall);
1045 }
1046 0x3B: Nop::flush({{/*Instruction memory flush*/}}, IsWriteBarrier,
1047 MemWriteOp);
1048 0x3C: save({{
1049 if (Cansave == 0) {
1050 if (Otherwin)
1051 fault = new SpillNOther(4*Wstate<5:3>);
1052 else
1053 fault = new SpillNNormal(4*Wstate<2:0>);
1054 } else if (Cleanwin - Canrestore == 0) {
1055 fault = new CleanWindow;
1056 } else {
1057 Cwp = (Cwp + 1) % NWindows;
1058 Rd_next = Rs1 + Rs2_or_imm13;
1059 Cansave = Cansave - 1;
1060 Canrestore = Canrestore + 1;
1061 }
1062 }});
1063 0x3D: restore({{
1064 if (Canrestore == 0) {
1065 if (Otherwin)
1066 fault = new FillNOther(4*Wstate<5:3>);
1067 else
1068 fault = new FillNNormal(4*Wstate<2:0>);
1069 } else {
1070 Cwp = (Cwp - 1 + NWindows) % NWindows;
1071 Rd_prev = Rs1 + Rs2_or_imm13;
1072 Cansave = Cansave + 1;
1073 Canrestore = Canrestore - 1;
1074 }
1075 }});
1076 0x3E: decode FCN {
1077 0x0: Priv::done({{
1078 Cwp = Tstate<4:0>;
1079 Pstate = Tstate<20:8>;
1080 Asi = Tstate<31:24>;
1081 Ccr = Tstate<39:32>;
1082 Gl = Tstate<42:40>;
1083 Hpstate = Htstate;
1084 NPC = Tnpc;
1085 NNPC = Tnpc + 4;
1086 Tl = Tl - 1;
1087 }}, checkTl=true);
1088 0x1: Priv::retry({{
1089 Cwp = Tstate<4:0>;
1090 Pstate = Tstate<20:8>;
1091 Asi = Tstate<31:24>;
1092 Ccr = Tstate<39:32>;
1093 Gl = Tstate<42:40>;
1094 Hpstate = Htstate;
1095 NPC = Tpc;
1096 NNPC = Tnpc;
1097 Tl = Tl - 1;
1098 }}, checkTl=true);
1099 }
1100 }
1101 }
1102 0x3: decode OP3 {
1103 format Load {
1104 0x00: lduw({{Rd = Mem.uw;}});
1105 0x01: ldub({{Rd = Mem.ub;}});
1106 0x02: lduh({{Rd = Mem.uhw;}});
1107 0x03: ldtw({{
1108 RdLow = (Mem.tuw).a;
1109 RdHigh = (Mem.tuw).b;
1110 }});
1111 }
1112 format Store {
1113 0x04: stw({{Mem.uw = Rd.sw;}});
1114 0x05: stb({{Mem.ub = Rd.sb;}});
1115 0x06: sth({{Mem.uhw = Rd.shw;}});
1116 0x07: sttw({{
1117 // This temporary needs to be here so that the parser
1118 // will correctly identify this instruction as a store.
1119 // It's probably either the parenthesis or referencing
1120 // the member variable that throws confuses it.
1121 Twin32_t temp;
1122 temp.a = RdLow<31:0>;
1123 temp.b = RdHigh<31:0>;
1124 Mem.tuw = temp;
1125 }});
1126 }
1127 format Load {
|