1 ////////////////////////////////////////////////////////////////////
3 // The actual decoder specification
6 decode OP default Unknown::unknown()
12 //Throw an illegal instruction acception
13 0x0: Trap::illtrap({{fault = new IllegalInstruction;}});
19 if(passesCondition(CcrIcc, COND2))
23 if(passesCondition(CcrXcc, COND2))
29 if(passesCondition(CcrIcc, COND2))
59 //SETHI (or NOP if rd == 0 and imm == 0)
60 0x4: IntOp::sethi({{Rd = (IMM22 << 10) & 0xFFFFFC00;}});
61 0x5: Trap::fbpfcc({{fault = new FpDisabled;}});
62 0x6: Trap::fbfcc({{fault = new FpDisabled;}});
71 0x00: add({{Rd = Rs1.sdw + Rs2_or_imm13;}});
72 0x01: and({{Rd = Rs1.udw & Rs2_or_imm13;}});
73 0x02: or({{Rd = Rs1.udw | Rs2_or_imm13;}});
74 0x03: xor({{Rd = Rs1.udw ^ Rs2_or_imm13;}});
75 0x04: sub({{Rd = Rs1.sdw + (~Rs2_or_imm)+1;}});
76 0x05: andn({{Rd = Rs1.udw & ~Rs2_or_imm;}});
77 0x06: orn({{Rd = Rs1.udw | ~Rs2_or_imm;}});
78 0x07: xnor({{Rd = ~(Rs1.udw ^ Rs2_or_imm);}});
79 0x08: addc({{Rd = Rs1.sdw + Rs2_or_imm + CcrIccC;}});
80 0x09: mulx({{Rd = Rs1 * Rs2_or_imm;}});
82 Rd = Rs1.udw<31:0> * Rs2_or_imm<31:0>;
86 Rd.sdw = Rs1.sdw<31:0> * Rs2_or_imm<31:0>;
89 0x0C: subc({{Rd.sdw = Rs1.sdw + (~Rs2_or_imm) + 1 + CcrIccC;}});
91 if(val2 == 0) fault = new DivisionByZero;
92 else Rd.udw = Rs1.udw / Rs2_or_imm;
95 uint32_t resTemp, val2 = (I ? SIMM13 : Rs2.udw<31:0>);
96 if(Rs2_or_imm.udw == 0) fault = new DivisionByZero;
99 Rd.udw = ((YValue << 32) | Rs1.udw<31:0>) / Rs2_or_imm.udw;
100 if(Rd.udw >> 32 != 0)
106 fault = new DivisionByZero;
109 Rd.udw = ((YValue << 32) | Rs1.sdw<31:0>) / Rs2_or_imm;
110 if(Rd.udw<63:31> != 0)
112 else if(Rd.udw<63:> && Rd.udw<62:31> != 0xFFFFFFFF)
113 Rd.udw = 0xFFFFFFFF80000000;
119 int64_t resTemp, val2 = (I ? SIMM13 : Rs2);
120 Rd = resTemp = Rs1 + val2;}},
121 {{((Rs1 & 0xFFFFFFFF + val2 & 0xFFFFFFFF) >> 31)}},
122 {{Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>}},
123 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
124 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
126 0x11: IntOpCcRes::andcc({{Rd = Rs1 & Rs2_or_imm13;}});
127 0x12: IntOpCcRes::orcc({{Rd = Rs1 | Rs2_or_imm13;}});
128 0x13: IntOpCcRes::xorcc({{Rd = Rs1 ^ Rs2_or_imm13;}});
130 int64_t resTemp, val2 = (int64_t)(I ? SIMM13 : Rs2);
131 Rd = resTemp = Rs1 - val2;}},
132 {{((Rs1 & 0xFFFFFFFF + (~val2) & 0xFFFFFFFF + 1) >> 31)}},
133 {{Rs1<31:> != val2<31:> && Rs1<31:> != resTemp<31:>}},
134 {{((Rs1 >> 1) + (~val2) >> 1) +
135 ((Rs1 | ~val2) & 0x1))<63:>}},
136 {{Rs1<63:> != val2<63:> && Rs1<63:> != resTemp<63:>}}
138 0x15: IntOpCcRes::andncc({{Rd = Rs1 & ~Rs2_or_imm13;}});
139 0x16: IntOpCcRes::orncc({{Rd = Rs1 | ~Rs2_or_imm13;}});
140 0x17: IntOpCcRes::xnorcc({{Rd = ~(Rs1 ^ Rs2_or_imm13);}});
142 int64_t resTemp, val2 = (I ? SIMM13 : Rs2);
143 int64_t carryin = CcrIccC;
144 Rd = resTemp = Rs1 + val2 + carryin;}},
145 {{((Rs1 & 0xFFFFFFFF + val2 & 0xFFFFFFFF) >> 31
147 {{Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>}},
148 {{((Rs1 >> 1) + (val2 >> 1) +
149 ((Rs1 & val2) | (carryin & (Rs1 | val2)) & 0x1))<63:>}},
150 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
153 uint64_t resTemp, val2 = (I ? SIMM13 : Rs2);
154 Rd = resTemp = Rs1.udw<31:0> * val2<31:0>;
155 YValue = resTemp<63:32>;}},
156 {{0}},{{0}},{{0}},{{0}});//UMULcc
158 int64_t resTemp, val2 = (I ? SIMM13 : Rs2);
159 Rd = resTemp = Rs1.sdw<31:0> * val2<31:0>;
160 YValue = resTemp<63:32>;}}
161 ,{{0}},{{0}},{{0}},{{0}});//SMULcc
163 int64_t resTemp, val2 = (int64_t)(I ? SIMM13 : Rs2);
164 int64_t carryin = CcrIccC;
165 Rd = resTemp = Rs1 + ~(val2 + carryin) + 1;}},
166 {{((Rs1 & 0xFFFFFFFF + (~(val2 + carryin)) & 0xFFFFFFFF + 1) >> 31)}},
167 {{Rs1<31:> != val2<31:> && Rs1<31:> != resTemp<31:>}},
168 {{((Rs1 >> 1) + (~(val2 + carryin)) >> 1) + ((Rs1 | ~(val2+carryin)) & 0x1))<63:>}},
169 {{Rs1<63:> != val2<63:> && Rs1<63:> != resTemp<63:>}}
172 uint64_t val2 = (I ? SIMM13 : Rs2.udw);
173 if(val2 == 0) fault = new DivisionByZero;
174 else Rd.udw = Rs1.udw / val2;}}
175 ,{{0}},{{0}},{{0}},{{0}});//UDIVXcc
177 uint32_t resTemp, val2 = (I ? SIMM13 : Rs2.udw<31:0>);
178 if(val2 == 0) fault = new DivisionByZero;
181 resTemp = (uint64_t)((YValue << 32) | Rs1.udw<31:0>) / val2;
182 int32_t overflow = (resTemp<63:32> != 0);
183 if(overflow) rd.udw = resTemp = 0xFFFFFFFF;
184 else rd.udw = resTemp;
192 int32_t resTemp, val2 = (I ? SIMM13 : Rs2.sdw<31:0>);
193 if(val2 == 0) fault = new DivisionByZero;
196 Rd.sdw = resTemp = (int64_t)((YValue << 32) | Rs1.sdw<31:0>) / val2;
197 int32_t overflow = (resTemp<63:31> != 0);
198 int32_t underflow = (resTemp<63:> && resTemp<62:31> != 0xFFFFFFFF);
199 if(overflow) rd.udw = resTemp = 0x7FFFFFFF;
200 else if(underflow) rd.udw = resTemp = 0xFFFFFFFF80000000;
201 else rd.udw = resTemp;
204 {{overflow || underflow}},
209 int64_t resTemp, val2 = (I ? SIMM13 : Rs2);
210 Rd = resTemp = Rs1 + val2;
211 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);}},
212 {{((Rs1 & 0xFFFFFFFF + val2 & 0xFFFFFFFF) >> 31)}},
214 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
215 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
218 int64_t resTemp, val2 = (I ? SIMM13 : Rs2);
219 Rd = resTemp = Rs1 + val2;
220 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);}},
221 {{(Rs1 & 0xFFFFFFFF + val2 & 0xFFFFFFFF) >> 31)}},
223 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
224 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
227 int64_t resTemp, val2 = (I ? SIMM13 : Rs2);
228 Rd = resTemp = Rs1 + val2;
229 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);
230 if(overflow) fault = new TagOverflow;}},
231 {{((Rs1 & 0xFFFFFFFF + val2 & 0xFFFFFFFF) >> 31)}},
233 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
234 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
237 int64_t resTemp, val2 = (I ? SIMM13 : Rs2);
238 Rd = resTemp = Rs1 + val2;
239 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);
240 if(overflow) fault = new TagOverflow;}},
241 {{((Rs1 & 0xFFFFFFFF + val2 & 0xFFFFFFFF) >> 31)}},
243 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
244 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
247 int64_t resTemp, multiplicand = (I ? SIMM13 : Rs2);
248 int32_t multiplier = Rs1<31:0>;
249 int32_t savedLSB = Rs1<0:>;
250 multiplier = multipler<31:1> |
255 Rd = resTemp = multiplicand + multiplier;
256 YValue = YValue<31:1> | (savedLSB << 31);}},
257 {{((multiplicand & 0xFFFFFFFF + multiplier & 0xFFFFFFFF) >> 31)}},
258 {{multiplicand<31:> == multiplier<31:> && multiplier<31:> != resTemp<31:>}},
259 {{((multiplicand >> 1) + (multiplier >> 1) + (multiplicand & multiplier & 0x1))<63:>}},
260 {{multiplicand<63:> == multiplier<63:> && multiplier<63:> != resTemp<63:>}}
266 0x0: sll({{Rd = Rs1 << (I ? SHCNT32 : Rs2<4:0>);}});
267 0x1: sllx({{Rd = Rs1 << (I ? SHCNT64 : Rs2<5:0>);}});
270 0x0: srl({{Rd = Rs1.uw >> (I ? SHCNT32 : Rs2<4:0>);}});
271 0x1: srlx({{Rd = Rs1.udw >> (I ? SHCNT64 : Rs2<5:0>);}});
274 0x0: sra({{Rd = Rs1.sw >> (I ? SHCNT32 : Rs2<4:0>);}}); //SRA
275 0x1: srax({{Rd = Rs1.sdw >> (I ? SHCNT64 : Rs2<5:0>);}});//SRAX
278 0x0: rdy({{Rd = YValue;}}); //RDY
279 0x2: rdccr({{Rd = Ccr;}}); //RDCCR
280 0x3: rdasi({{Rd = Asi;}}); //RDASI
281 0x4: PrivTick::rdtick({{Rd = Tick;}});
282 0x5: rdpc({{Rd = xc->regs.pc;}}); //RDPC
283 0x6: rdfprs({{Rd = Fprs;}}); //RDFPRS
285 0x0: Noop::membar({{//Membar isn't needed yet}});
286 0x1: Noop::stbar({{//Stbar isn't needed yet}});
293 Rd = xc->readMiscReg(MISCREG_TPC_BASE + Tl);
296 Rd = xc->readMiscReg(MISCREG_TNPC_BASE + Tl);
299 Rd = xc->readMiscReg(MISCREG_TSTATE_BASE + Tl);
302 Rd = xc->readMiscReg(MISCREG_TT_BASE + Tl);
304 0x4: rdprtick({{Rd = Tick;}});
305 0x5: rdprtba({{Rd = Tba;}});
306 0x6: rdprpstate({{Rd = Pstate;}});
307 0x7: rdprtl({{Rd = Tl;}});
308 0x8: rdprpil({{Rd = Pil;}});
309 0x9: rdprcwp({{Rd = Cwp;}});
310 0xA: rdprcansave({{Rd = Cansave;}});
311 0xB: rdprcanrestore({{Rd = CanRestore;}});
312 0xC: rdprcleanwin({{Rd = Cleanwin;}});
313 0xD: rdprotherwin({{Rd = Otherwin;}});
314 0xE: rdprwstate({{Rd = Wstate;}});
316 //The floating point queue isn't implemented right now.
317 0xF: Trap::rdprfq({{fault = IllegalInstruction;}});
318 0x1F: Priv::rdprver({{Rd = Ver;}});
320 0x2B: BasicOperate::flushw({{//window toilet}}); //FLUSHW
323 0x0: Trap::movccfcc({{fault = new FpDisabled}});
329 if(passesCondition(CcrIcc, COND4))
330 Rd = (I ? SIMM11 : RS2);
333 if(passesCondition(CcrXcc, COND4))
334 Rd = (I ? SIMM11 : RS2);
340 if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
341 else Rd.sdw = Rs1.sdw / Rs2_or_imm13;
345 int64_t count = 0, val2 = Rs2_or_imm;
346 uint8_t oneBits[] = {0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4};
347 for(unsigned int x = 0; x < 16; x++)
349 count += oneBits[Rs2_or_imm13 & 0xF];
356 0x1: movreq({{if(Rs1 == 0) Rd = Rs2_or_imm10;}});
357 0x2: movrle({{if(Rs1 <= 0) Rd = Rs2_or_imm10;}});
358 0x3: movrl({{if(Rs1 < 0) Rd = Rs2_or_imm10;}});
359 0x5: movrne({{if(Rs1 != 0) Rd = Rs2_or_imm10;}});
360 0x6: movrg({{if(Rs1 > 0) Rd = Rs2_or_imm10;}});
361 0x7: movrge({{if(Rs1 >= 0) Rd = Rs2_or_imm10;}});
364 0x0: wry({{Y = Rs1 ^ Rs2_or_imm13;}});
365 0x2: wrccr({{Ccr = Rs1 ^ Rs2_or_imm13;}});
366 0x3: wrasi({{Asi = Rs1 ^ Rs2_or_imm13;}});
367 0x6: wrfprs({{Asi = Rs1 ^ Rs2_or_imm13;}});
368 0xF: Trap::sir({{fault = new SoftwareInitiatedReset;}});
371 0x0: BasicOperate::saved({{//Boogy Boogy}}); //SAVED
372 0x1: BasicOperate::restored({{//Boogy Boogy}}); //RESTORED
378 xc->setMiscReg(MISCREG_TPC_BASE + Tl,
382 xc->setMiscReg(MISCREG_TNPC_BASE + Tl,
386 xc->setMiscReg(MISCREG_TSTATE_BASE + Tl,
390 xc->setMiscReg(MISCREG_TT_BASE + Tl,
393 0x4: wrprtick({{Tick = Rs1 ^ Rs2_or_imm13;}});
394 0x5: wrprtba({{Tba = Rs1 ^ Rs2_or_imm13;}});
395 0x6: wrprpstate({{Pstate = Rs1 ^ Rs2_or_imm13;}});
396 0x7: wrprtl({{Tl = Rs1 ^ Rs2_or_imm13;}});
397 0x8: wrprpil({{Pil = Rs1 ^ Rs2_or_imm13;}});
398 0x9: wrprcwp({{Cwp = Rs1 ^ Rs2_or_imm13;}});
399 0xA: wrprcansave({{Cansave = Rs1 ^ Rs2_or_imm13;}});
400 0xB: wrprcanrestore({{Canrestore = Rs1 ^ Rs2_or_imm13;}});
401 0xC: wrprcleanwin({{Cleanwin = Rs1 ^ Rs2_or_imm13;}});
402 0xD: wrprotherwin({{Otherwin = Rs1 ^ Rs2_or_imm13;}});
403 0xE: wrprwstate({{Wstate = Rs1 ^ Rs2_or_imm13;}});
407 0x34: Trap::fpop1({{fault = new FpDisabled;}});
408 0x35: Trap::fpop2({{fault = new FpDisabled;}});
410 0x38: Branch::jmpl({{//Stuff}}); //JMPL
411 0x39: Branch::return({{//Other Stuff}}); //RETURN
414 // If CC04 == 1, it's an illegal instruction
418 if(passesCondition(CcrIcc, machInst<25:28>))
419 fault = new TrapInstruction;
422 if(passesCondition(CcrXcc, machInst<25:28>))
423 fault = new TrapInstruction;
427 0x3B: BasicOperate::flush({{//Lala}}); //FLUSH
428 0x3C: BasicOperate::save({{//leprechauns); //SAVE
429 0x3D: BasicOperate::restore({{//Eat my short int}}); //RESTORE
431 0x1: BasicOperate::done({{//Done thing}}); //DONE
432 0x2: BasicOperate::retry({{//Retry thing}}); //RETRY
438 0x00: lduw({{Rd.uw = Mem.uw;}}); //LDUW
439 0x01: ldub({{Rd.ub = Mem.ub;}}); //LDUB
440 0x02: lduh({{Rd.uhw = Mem.uhw;}}); //LDUH
442 uint64_t val = Mem.udw;
443 setIntReg(RD & (~1), val<31:0>);
444 setIntReg(RD | 1, val<63:32>);
446 0x04: stw({{Mem.sw = Rd.sw;}}); //STW
447 0x05: stb({{Mem.sb = Rd.sb;}}); //STB
448 0x06: sth({{Mem.shw = Rd.shw;}}); //STH
450 Mem.udw = readIntReg(RD & (~1))<31:0> | (readIntReg(RD | 1)<31:0> << 32);
452 0x08: ldsw({{Rd.sw = Mem.sw;}}); //LDSW
453 0x09: ldsb({{Rd.sb = Mem.sb;}}); //LDSB
454 0x0A: ldsh({{Rd.shw = Mem.shw;}}); //LDSH
455 0x0B: ldx({{Rd.udw = Mem.udw;}}); //LDX
461 0x0E: stx({{Rd.udw = Mem.udw;}}); //STX
463 uint32_t temp = Rd.uw;
467 0x10: lduwa({{Rd.uw = Mem.uw;}}); //LDUWA
468 0x11: lduba({{Rd.ub = Mem.ub;}}); //LDUBA
469 0x12: lduha({{Rd.uhw = Mem.uhw;}}); //LDUHA
471 uint64_t val = Mem.udw;
472 setIntReg(RD & (~1), val<31:0>);
473 setIntReg(RD | 1, val<63:32>);
475 0x14: stwa({{Mem.uw = Rd.uw;}}); //STWA
476 0x15: stba({{Mem.ub = Rd.ub;}}); //STBA
477 0x16: stha({{Mem.uhw = Rd.uhw;}}); //STHA
479 Mem.udw = readIntReg(RD & (~1))<31:0> | (readIntReg(RD | 1)<31:0> << 32);
481 0x18: ldswa({{Rd.sw = Mem.sw;}}); //LDSWA
482 0x19: ldsba({{Rd.sb = Mem.sb;}}); //LDSBA
483 0x1A: ldsha({{Rd.shw = Mem.shw;}}); //LDSHA
484 0x1B: ldxa({{Rd.sdw = Mem.sdw;}}); //LDXA
490 0x1E: stxa({{Mem.sdw = Rd.sdw}}); //STXA
492 uint32_t temp = Rd.uw;
496 0x20: Trap::ldf({{fault = new FpDisabled;}});
498 0x0: Trap::ldfsr({{fault = new FpDisabled;}});
499 0x1: Trap::ldxfsr({{fault = new FpDisabled;}});
501 0x22: Trap::ldqf({{fault = new FpDisabled;}});
502 0x23: Trap::lddf({{fault = new FpDisabled;}});
503 0x24: Trap::stf({{fault = new FpDisabled;}});
505 0x0: Trap::stfsr({{fault = new FpDisabled;}});
506 0x1: Trap::stxfsr({{fault = new FpDisabled;}});
508 0x26: Trap::stqf({{fault = new FpDisabled;}});
509 0x27: Trap::stdf({{fault = new FpDisabled;}});
511 0x2D: Noop::prefetch({{ }}); //PREFETCH
513 0x30: Trap::ldfa({{return new FpDisabled;}});
515 0x32: Trap::ldqfa({{fault = new FpDisabled;}});
516 0x33: Trap::lddfa({{fault = new FpDisabled;}});
517 0x34: Trap::stfa({{fault = new FpDisabled;}});
518 0x35: Trap::stqfa({{fault = new FpDisabled;}});
519 0x36: Trap::stdfa({{fault = new FpDisabled;}});
522 {{uint64_t val = Mem.uw;
527 0x3D: Noop::prefetcha({{ }}); //PREFETCHA
529 uint64_t val = Mem.udw;