decoder.isa (2944:10dcffb2904f) decoder.isa (2954:6839b9e49575)
1// Copyright (c) 2006 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

--- 120 unchanged lines hidden (view full) ---

129 0x0A: umul({{
130 Rd = Rs1.udw<31:0> * Rs2_or_imm13<31:0>;
131 Y = Rd<63:32>;
132 }});
133 0x0B: smul({{
134 Rd.sdw = Rs1.sdw<31:0> * Rs2_or_imm13<31:0>;
135 Y = Rd.sdw;
136 }});
1// Copyright (c) 2006 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

--- 120 unchanged lines hidden (view full) ---

129 0x0A: umul({{
130 Rd = Rs1.udw<31:0> * Rs2_or_imm13<31:0>;
131 Y = Rd<63:32>;
132 }});
133 0x0B: smul({{
134 Rd.sdw = Rs1.sdw<31:0> * Rs2_or_imm13<31:0>;
135 Y = Rd.sdw;
136 }});
137 0x0C: subc({{Rd.sdw = Rs1.sdw + (~Rs2_or_imm13) + 1 + Ccr<0:0>}});
137 0x0C: subc({{Rd.sdw = Rs1.sdw + (~Rs2_or_imm13) + 1 - Ccr<0:0>}});
138 0x0D: udivx({{
139 if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
140 else Rd.udw = Rs1.udw / Rs2_or_imm13;
141 }});
142 0x0E: udiv({{
143 if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
144 else
145 {

--- 57 unchanged lines hidden (view full) ---

203 0x1B: smulcc({{
204 int64_t resTemp;
205 Rd = resTemp = Rs1.sdw<31:0> * Rs2_or_imm13.sdw<31:0>;
206 Y = resTemp<63:32>;}},
207 {{0}},{{0}},{{0}},{{0}});
208 0x1C: subccc({{
209 int64_t resTemp, val2 = Rs2_or_imm13;
210 int64_t carryin = Ccr<0:0>;
138 0x0D: udivx({{
139 if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
140 else Rd.udw = Rs1.udw / Rs2_or_imm13;
141 }});
142 0x0E: udiv({{
143 if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
144 else
145 {

--- 57 unchanged lines hidden (view full) ---

203 0x1B: smulcc({{
204 int64_t resTemp;
205 Rd = resTemp = Rs1.sdw<31:0> * Rs2_or_imm13.sdw<31:0>;
206 Y = resTemp<63:32>;}},
207 {{0}},{{0}},{{0}},{{0}});
208 0x1C: subccc({{
209 int64_t resTemp, val2 = Rs2_or_imm13;
210 int64_t carryin = Ccr<0:0>;
211 Rd = resTemp = Rs1 + ~(val2 + carryin) + 1;}},
211 Rd = resTemp = Rs1 + ~val2 + 1 - carryin;}},
212 {{(~((Rs1<31:0> + (~(val2 + carryin))<31:0> + 1))<32:>)}},
213 {{Rs1<31:> != val2<31:> && Rs1<31:> != resTemp<31:>}},
214 {{(~((Rs1<63:1> + (~(val2 + carryin))<63:1>) + (Rs1<0:> + (~(val2+carryin))<0:> + 1)<63:1>))<63:>}},
215 {{Rs1<63:> != val2<63:> && Rs1<63:> != resTemp<63:>}}
216 );
217 0x1D: udivxcc({{
218 if(Rs2_or_imm13.udw == 0) fault = new DivisionByZero;
219 else Rd = Rs1.udw / Rs2_or_imm13.udw;}}

--- 47 unchanged lines hidden (view full) ---

267 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);}},
268 {{(Rs1 & 0xFFFFFFFF + val2 & 0xFFFFFFFF) >> 31}},
269 {{overflow}},
270 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
271 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
272 );
273 0x22: taddcctv({{
274 int64_t resTemp, val2 = Rs2_or_imm13;
212 {{(~((Rs1<31:0> + (~(val2 + carryin))<31:0> + 1))<32:>)}},
213 {{Rs1<31:> != val2<31:> && Rs1<31:> != resTemp<31:>}},
214 {{(~((Rs1<63:1> + (~(val2 + carryin))<63:1>) + (Rs1<0:> + (~(val2+carryin))<0:> + 1)<63:1>))<63:>}},
215 {{Rs1<63:> != val2<63:> && Rs1<63:> != resTemp<63:>}}
216 );
217 0x1D: udivxcc({{
218 if(Rs2_or_imm13.udw == 0) fault = new DivisionByZero;
219 else Rd = Rs1.udw / Rs2_or_imm13.udw;}}

--- 47 unchanged lines hidden (view full) ---

267 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);}},
268 {{(Rs1 & 0xFFFFFFFF + val2 & 0xFFFFFFFF) >> 31}},
269 {{overflow}},
270 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
271 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
272 );
273 0x22: taddcctv({{
274 int64_t resTemp, val2 = Rs2_or_imm13;
275 Rd = resTemp = Rs1 + val2;
276 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);
275 Rd = Rs1 + val2;
276 int32_t overflow = Rs1<1:0> || val2<1:0> ||
277 (Rs1<31:> == val2<31:> && val2<31:> != Rd<31:>);
277 if(overflow) fault = new TagOverflow;}},
278 {{((Rs1 & 0xFFFFFFFF + val2 & 0xFFFFFFFF) >> 31)}},
279 {{overflow}},
280 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
281 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
282 );
283 0x23: tsubcctv({{
284 int64_t resTemp, val2 = Rs2_or_imm13;

--- 32 unchanged lines hidden (view full) ---

317 0x0: srl({{Rd = Rs1.uw >> (I ? SHCNT32 : Rs2<4:0>);}});
318 0x1: srlx({{Rd = Rs1.udw >> (I ? SHCNT64 : Rs2<5:0>);}});
319 }
320 0x27: decode X {
321 0x0: sra({{Rd = Rs1.sw >> (I ? SHCNT32 : Rs2<4:0>);}});
322 0x1: srax({{Rd = Rs1.sdw >> (I ? SHCNT64 : Rs2<5:0>);}});
323 }
324 // XXX might want a format rdipr thing here
278 if(overflow) fault = new TagOverflow;}},
279 {{((Rs1 & 0xFFFFFFFF + val2 & 0xFFFFFFFF) >> 31)}},
280 {{overflow}},
281 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
282 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
283 );
284 0x23: tsubcctv({{
285 int64_t resTemp, val2 = Rs2_or_imm13;

--- 32 unchanged lines hidden (view full) ---

318 0x0: srl({{Rd = Rs1.uw >> (I ? SHCNT32 : Rs2<4:0>);}});
319 0x1: srlx({{Rd = Rs1.udw >> (I ? SHCNT64 : Rs2<5:0>);}});
320 }
321 0x27: decode X {
322 0x0: sra({{Rd = Rs1.sw >> (I ? SHCNT32 : Rs2<4:0>);}});
323 0x1: srax({{Rd = Rs1.sdw >> (I ? SHCNT64 : Rs2<5:0>);}});
324 }
325 // XXX might want a format rdipr thing here
325 0x28: rdasr({{
326 0x28: decode RS1 {
327 0xF: decode I {
328 0x0: Nop::stbar({{/*stuff*/}});
329 0x1: Nop::membar({{/*stuff*/}});
330 }
331 default: rdasr({{
326 Rd = xc->readMiscRegWithEffect(RS1 + AsrStart, fault);
332 Rd = xc->readMiscRegWithEffect(RS1 + AsrStart, fault);
327 }});
333 }});
334 }
328 0x29: HPriv::rdhpr({{
329 // XXX Need to protect with format that traps non-priv/priv
330 // access
331 Rd = xc->readMiscRegWithEffect(RS1 + HprStart, fault);
332 }});
333 0x2A: Priv::rdpr({{
334 // XXX Need to protect with format that traps non-priv
335 // access

--- 66 unchanged lines hidden (view full) ---

402 // access
403 fault = xc->setMiscRegWithEffect(RD + PrStart, Rs1 ^ Rs2_or_imm13);
404 }});
405 0x33: HPriv::wrhpr({{
406 // XXX Need to protect with format that traps non-priv/priv
407 // access
408 fault = xc->setMiscRegWithEffect(RD + HprStart, Rs1 ^ Rs2_or_imm13);
409 }});
335 0x29: HPriv::rdhpr({{
336 // XXX Need to protect with format that traps non-priv/priv
337 // access
338 Rd = xc->readMiscRegWithEffect(RS1 + HprStart, fault);
339 }});
340 0x2A: Priv::rdpr({{
341 // XXX Need to protect with format that traps non-priv
342 // access

--- 66 unchanged lines hidden (view full) ---

409 // access
410 fault = xc->setMiscRegWithEffect(RD + PrStart, Rs1 ^ Rs2_or_imm13);
411 }});
412 0x33: HPriv::wrhpr({{
413 // XXX Need to protect with format that traps non-priv/priv
414 // access
415 fault = xc->setMiscRegWithEffect(RD + HprStart, Rs1 ^ Rs2_or_imm13);
416 }});
410 0x34: Trap::fpop1({{fault = new FpDisabled;}});
417 0x34: decode OPF{
418 0x01: Trap::fmovs({{fault = new FpDisabled;}});
419 0x02: Trap::fmovd({{fault = new FpDisabled;}});
420 0x03: Trap::fmovq({{fault = new FpDisabled;}});
421 0x05: Trap::fnegs({{fault = new FpDisabled;}});
422 0x06: Trap::fnegd({{fault = new FpDisabled;}});
423 0x07: Trap::fnegq({{fault = new FpDisabled;}});
424 0x09: Trap::fabss({{fault = new FpDisabled;}});
425 0x0A: Trap::fabsd({{fault = new FpDisabled;}});
426 0x0B: Trap::fabsq({{fault = new FpDisabled;}});
427 0x29: Trap::fsqrts({{fault = new FpDisabled;}});
428 0x2A: Trap::fsqrtd({{fault = new FpDisabled;}});
429 0x2B: Trap::fsqrtq({{fault = new FpDisabled;}});
430 0x41: Trap::fadds({{fault = new FpDisabled;}});
431 0x42: BasicOperate::faddd({{Frd = Frs1 + Frs2;}});
432 0x43: Trap::faddq({{fault = new FpDisabled;}});
433 0x45: Trap::fsubs({{fault = new FpDisabled;}});
434 0x46: Trap::fsubd({{fault = new FpDisabled;}});
435 0x47: Trap::fsubq({{fault = new FpDisabled;}});
436 0x49: Trap::fmuls({{fault = new FpDisabled;}});
437 0x4A: BasicOperate::fmuld({{Frd = Frs1.sf * Frs2.sf;}});
438 0x4B: Trap::fmulq({{fault = new FpDisabled;}});
439 0x4D: Trap::fdivs({{fault = new FpDisabled;}});
440 0x4E: Trap::fdivd({{fault = new FpDisabled;}});
441 0x4F: Trap::fdivq({{fault = new FpDisabled;}});
442 0x69: Trap::fsmuld({{fault = new FpDisabled;}});
443 0x6E: Trap::fdmulq({{fault = new FpDisabled;}});
444 0x81: Trap::fstox({{fault = new FpDisabled;}});
445 0x82: Trap::fdtox({{fault = new FpDisabled;}});
446 0x83: Trap::fqtox({{fault = new FpDisabled;}});
447 0x84: Trap::fxtos({{fault = new FpDisabled;}});
448 0x88: Trap::fxtod({{fault = new FpDisabled;}});
449 0x8C: Trap::fxtoq({{fault = new FpDisabled;}});
450 0xC4: Trap::fitos({{fault = new FpDisabled;}});
451 0xC6: Trap::fdtos({{fault = new FpDisabled;}});
452 0xC7: Trap::fqtos({{fault = new FpDisabled;}});
453 0xC8: Trap::fitod({{fault = new FpDisabled;}});
454 0xC9: Trap::fstod({{fault = new FpDisabled;}});
455 0xCB: Trap::fqtod({{fault = new FpDisabled;}});
456 0xCC: Trap::fitoq({{fault = new FpDisabled;}});
457 0xCD: Trap::fstoq({{fault = new FpDisabled;}});
458 0xCE: Trap::fdtoq({{fault = new FpDisabled;}});
459 0xD1: Trap::fstoi({{fault = new FpDisabled;}});
460 0xD2: Trap::fdtoi({{fault = new FpDisabled;}});
461 0xD3: Trap::fqtoi({{fault = new FpDisabled;}});
462 default: Trap::fpop1({{fault = new FpDisabled;}});
463 }
411 0x35: Trap::fpop2({{fault = new FpDisabled;}});
464 0x35: Trap::fpop2({{fault = new FpDisabled;}});
465 //This used to be just impdep1, but now it's a whole bunch
466 //of instructions
467 0x36: decode OPF{
468 0x00: Trap::edge8({{fault = new IllegalInstruction;}});
469 0x01: Trap::edge8n({{fault = new IllegalInstruction;}});
470 0x02: Trap::edge8l({{fault = new IllegalInstruction;}});
471 0x03: Trap::edge8ln({{fault = new IllegalInstruction;}});
472 0x04: Trap::edge16({{fault = new IllegalInstruction;}});
473 0x05: Trap::edge16n({{fault = new IllegalInstruction;}});
474 0x06: Trap::edge16l({{fault = new IllegalInstruction;}});
475 0x07: Trap::edge16ln({{fault = new IllegalInstruction;}});
476 0x08: Trap::edge32({{fault = new IllegalInstruction;}});
477 0x09: Trap::edge32n({{fault = new IllegalInstruction;}});
478 0x0A: Trap::edge32l({{fault = new IllegalInstruction;}});
479 0x0B: Trap::edge32ln({{fault = new IllegalInstruction;}});
480 0x10: Trap::array8({{fault = new IllegalInstruction;}});
481 0x12: Trap::array16({{fault = new IllegalInstruction;}});
482 0x14: Trap::array32({{fault = new IllegalInstruction;}});
483 0x18: Trap::alignaddress({{fault = new IllegalInstruction;}});
484 0x19: Trap::bmask({{fault = new IllegalInstruction;}});
485 0x1A: Trap::alignaddresslittle({{fault = new IllegalInstruction;}});
486 0x20: Trap::fcmple16({{fault = new IllegalInstruction;}});
487 0x22: Trap::fcmpne16({{fault = new IllegalInstruction;}});
488 0x24: Trap::fcmple32({{fault = new IllegalInstruction;}});
489 0x26: Trap::fcmpne32({{fault = new IllegalInstruction;}});
490 0x28: Trap::fcmpgt16({{fault = new IllegalInstruction;}});
491 0x2A: Trap::fcmpeq16({{fault = new IllegalInstruction;}});
492 0x2C: Trap::fcmpgt32({{fault = new IllegalInstruction;}});
493 0x2E: Trap::fcmpeq32({{fault = new IllegalInstruction;}});
494 0x31: Trap::fmul8x16({{fault = new IllegalInstruction;}});
495 0x33: Trap::fmul8x16au({{fault = new IllegalInstruction;}});
496 0x35: Trap::fmul8x16al({{fault = new IllegalInstruction;}});
497 0x36: Trap::fmul8sux16({{fault = new IllegalInstruction;}});
498 0x37: Trap::fmul8ulx16({{fault = new IllegalInstruction;}});
499 0x38: Trap::fmuld8sux16({{fault = new IllegalInstruction;}});
500 0x39: Trap::fmuld8ulx16({{fault = new IllegalInstruction;}});
501 0x3A: Trap::fpack32({{fault = new IllegalInstruction;}});
502 0x3B: Trap::fpack16({{fault = new IllegalInstruction;}});
503 0x3D: Trap::fpackfix({{fault = new IllegalInstruction;}});
504 0x3E: Trap::pdist({{fault = new IllegalInstruction;}});
505 0x48: Trap::faligndata({{fault = new IllegalInstruction;}});
506 0x4B: Trap::fpmerge({{fault = new IllegalInstruction;}});
507 0x4C: Trap::bshuffle({{fault = new IllegalInstruction;}});
508 0x4D: Trap::fexpand({{fault = new IllegalInstruction;}});
509 0x50: Trap::fpadd16({{fault = new IllegalInstruction;}});
510 0x51: Trap::fpadd16s({{fault = new IllegalInstruction;}});
511 0x52: Trap::fpadd32({{fault = new IllegalInstruction;}});
512 0x53: Trap::fpadd32s({{fault = new IllegalInstruction;}});
513 0x54: Trap::fpsub16({{fault = new IllegalInstruction;}});
514 0x55: Trap::fpsub16s({{fault = new IllegalInstruction;}});
515 0x56: Trap::fpsub32({{fault = new IllegalInstruction;}});
516 0x57: Trap::fpsub32s({{fault = new IllegalInstruction;}});
517 0x60: BasicOperate::fzero({{Frd = 0;}});
518 0x61: Trap::fzeros({{fault = new IllegalInstruction;}});
519 0x62: Trap::fnor({{fault = new IllegalInstruction;}});
520 0x63: Trap::fnors({{fault = new IllegalInstruction;}});
521 0x64: Trap::fandnot2({{fault = new IllegalInstruction;}});
522 0x65: Trap::fandnot2s({{fault = new IllegalInstruction;}});
523 0x66: Trap::fnot2({{fault = new IllegalInstruction;}});
524 0x67: Trap::fnot2s({{fault = new IllegalInstruction;}});
525 0x68: Trap::fandnot1({{fault = new IllegalInstruction;}});
526 0x69: Trap::fandnot1s({{fault = new IllegalInstruction;}});
527 0x6A: Trap::fnot1({{fault = new IllegalInstruction;}});
528 0x6B: Trap::fnot1s({{fault = new IllegalInstruction;}});
529 0x6C: Trap::fxor({{fault = new IllegalInstruction;}});
530 0x6D: Trap::fxors({{fault = new IllegalInstruction;}});
531 0x6E: Trap::fnand({{fault = new IllegalInstruction;}});
532 0x6F: Trap::fnands({{fault = new IllegalInstruction;}});
533 0x70: Trap::fand({{fault = new IllegalInstruction;}});
534 0x71: Trap::fands({{fault = new IllegalInstruction;}});
535 0x72: Trap::fxnor({{fault = new IllegalInstruction;}});
536 0x73: Trap::fxnors({{fault = new IllegalInstruction;}});
537 0x74: Trap::fsrc1({{fault = new IllegalInstruction;}});
538 0x75: Trap::fsrc1s({{fault = new IllegalInstruction;}});
539 0x76: Trap::fornot2({{fault = new IllegalInstruction;}});
540 0x77: Trap::fornot2s({{fault = new IllegalInstruction;}});
541 0x78: Trap::fsrc2({{fault = new IllegalInstruction;}});
542 0x79: Trap::fsrc2s({{fault = new IllegalInstruction;}});
543 0x7A: Trap::fornot1({{fault = new IllegalInstruction;}});
544 0x7B: Trap::fornot1s({{fault = new IllegalInstruction;}});
545 0x7C: Trap::for({{fault = new IllegalInstruction;}});
546 0x7D: Trap::fors({{fault = new IllegalInstruction;}});
547 0x7E: Trap::fone({{fault = new IllegalInstruction;}});
548 0x7F: Trap::fones({{fault = new IllegalInstruction;}});
549 0x80: Trap::shutdown({{fault = new IllegalInstruction;}});
550 0x81: Trap::siam({{fault = new IllegalInstruction;}});
551 }
552 0x37: Trap::impdep2({{fault = new IllegalInstruction;}});
412 0x38: Branch::jmpl({{
413 Addr target = Rs1 + Rs2_or_imm13;
414 if(target & 0x3)
415 fault = new MemAddressNotAligned;
416 else
417 {
418 Rd = xc->readPC();
419 NNPC = target;

--- 220 unchanged lines hidden (view full) ---

640 0x24: stf({{fault = new FpDisabled;}});
641 0x25: decode X {
642 0x0: Store::stfsr({{Mem = Fsr<31:0>;}}, {{32}});
643 0x1: Store::stxfsr({{Mem = Fsr;}}, {{64}});
644 }
645 0x26: stqf({{fault = new FpDisabled;}});
646 0x27: stdf({{fault = new FpDisabled;}});
647 0x2D: Nop::prefetch({{ }});
553 0x38: Branch::jmpl({{
554 Addr target = Rs1 + Rs2_or_imm13;
555 if(target & 0x3)
556 fault = new MemAddressNotAligned;
557 else
558 {
559 Rd = xc->readPC();
560 NNPC = target;

--- 220 unchanged lines hidden (view full) ---

781 0x24: stf({{fault = new FpDisabled;}});
782 0x25: decode X {
783 0x0: Store::stfsr({{Mem = Fsr<31:0>;}}, {{32}});
784 0x1: Store::stxfsr({{Mem = Fsr;}}, {{64}});
785 }
786 0x26: stqf({{fault = new FpDisabled;}});
787 0x27: stdf({{fault = new FpDisabled;}});
788 0x2D: Nop::prefetch({{ }});
648 0x30: ldfa({{return new FpDisabled;}});
789 0x30: ldfa({{fault = new FpDisabled;}});
649 0x32: ldqfa({{fault = new FpDisabled;}});
650 0x33: lddfa({{fault = new FpDisabled;}});
651 0x34: stfa({{fault = new FpDisabled;}});
790 0x32: ldqfa({{fault = new FpDisabled;}});
791 0x33: lddfa({{fault = new FpDisabled;}});
792 0x34: stfa({{fault = new FpDisabled;}});
652 0x35: stqfa({{fault = new FpDisabled;}});
653 0x36: stdfa({{fault = new FpDisabled;}});
793 0x36: stqfa({{fault = new FpDisabled;}});
794 //XXX need to work in the ASI thing
795 0x37: Store::stdfa({{Mem = ((uint64_t)Frd);}}, {{64}});
654 0x3C: Cas::casa({{
655 uint64_t val = Mem.uw;
656 if(Rs2.uw == val)
657 Mem.uw = Rd.uw;
658 Rd.uw = val;
659 }});
660 0x3D: Nop::prefetcha({{ }});
661 0x3E: Cas::casxa({{
662 uint64_t val = Mem.udw;
663 if(Rs2 == val)
664 Mem.udw = Rd;
665 Rd = val;
666 }});
667 }
668 }
669}
796 0x3C: Cas::casa({{
797 uint64_t val = Mem.uw;
798 if(Rs2.uw == val)
799 Mem.uw = Rd.uw;
800 Rd.uw = val;
801 }});
802 0x3D: Nop::prefetcha({{ }});
803 0x3E: Cas::casxa({{
804 uint64_t val = Mem.udw;
805 if(Rs2 == val)
806 Mem.udw = Rd;
807 Rd = val;
808 }});
809 }
810 }
811}