4 // <insn-word> { "+" <insn-word> }
11 // { <insn-mnemonic> }
16 // IGEN config - mips16
17 // :option:16::insn-bit-size:16
18 // :option:16::hi-bit-nr:15
19 :option:16::insn-specifying-widths:true
20 :option:16::gen-delayed-branch:false
22 // IGEN config - mips32/64..
23 // :option:32::insn-bit-size:32
24 // :option:32::hi-bit-nr:31
25 :option:32::insn-specifying-widths:true
26 :option:32::gen-delayed-branch:false
29 // Generate separate simulators for each target
30 // :option:::multi-sim:true
33 // Models known by this simulator are defined below.
35 // When placing models in the instruction descriptions, please place
36 // them one per line, in the order given here.
40 // Instructions and related functions for these models are included in
42 :model:::mipsI:mips3000:
43 :model:::mipsII:mips6000:
44 :model:::mipsIII:mips4000:
45 :model:::mipsIV:mips8000:
46 :model:::mipsV:mipsisaV:
47 :model:::mips32:mipsisa32:
48 :model:::mips64:mipsisa64:
52 // Standard MIPS ISA instructions used for these models are listed here,
53 // as are functions needed by those standard instructions. Instructions
54 // which are model-dependent and which are not in the standard MIPS ISAs
55 // (or which pre-date or use different encodings than the standard
56 // instructions) are (for the most part) in separate .igen files.
57 :model:::vr4100:mips4100: // vr.igen
58 :model:::vr4120:mips4120:
59 :model:::vr5000:mips5000:
60 :model:::vr5400:mips5400:
61 :model:::vr5500:mips5500:
62 :model:::r3900:mips3900: // tx.igen
64 // MIPS Application Specific Extensions (ASEs)
66 // Instructions for the ASEs are in separate .igen files.
67 // ASEs add instructions on to a base ISA.
68 :model:::mips16:mips16: // m16.igen (and m16.dc)
69 :model:::mips3d:mips3d: // mips3d.igen
70 :model:::mdmx:mdmx: // mdmx.igen
74 // Instructions specific to these extensions are in separate .igen files.
75 // Extensions add instructions on to a base ISA.
76 :model:::sb1:sb1: // sb1.igen
79 // Pseudo instructions known by IGEN
82 SignalException (ReservedInstruction, 0);
86 // Pseudo instructions known by interp.c
87 // For grep - RSVD_INSTRUCTION, RSVD_INSTRUCTION_MASK
88 000000,5.*,5.*,5.*,5.OP,000101:SPECIAL:32::RSVD
91 SignalException (ReservedInstruction, instruction_0);
98 // Simulate a 32 bit delayslot instruction
101 :function:::address_word:delayslot32:address_word target
103 instruction_word delay_insn;
104 sim_events_slip (SD, 1);
106 CIA = CIA + 4; /* NOTE not mips16 */
107 STATE |= simDELAYSLOT;
108 delay_insn = IMEM32 (CIA); /* NOTE not mips16 */
109 ENGINE_ISSUE_PREFIX_HOOK();
110 idecode_issue (CPU_, delay_insn, (CIA));
111 STATE &= ~simDELAYSLOT;
115 :function:::address_word:nullify_next_insn32:
117 sim_events_slip (SD, 1);
118 dotrace (SD, CPU, tracefh, 2, CIA + 4, 4, "load instruction");
125 // Calculate an effective address given a base and an offset.
128 :function:::address_word:loadstore_ea:address_word base, address_word offset
139 return base + offset;
142 :function:::address_word:loadstore_ea:address_word base, address_word offset
145 #if 0 /* XXX FIXME: enable this only after some additional testing. */
146 /* If in user mode and UX is not set, use 32-bit compatibility effective
147 address computations as defined in the MIPS64 Architecture for
148 Programmers Volume III, Revision 0.95, section 4.9. */
149 if ((SR & (status_KSU_mask|status_EXL|status_ERL|status_UX))
150 == (ksu_user << status_KSU_shift))
151 return (address_word)((signed32)base + (signed32)offset);
153 return base + offset;
159 // Check that a 32-bit register value is properly sign-extended.
160 // (See NotWordValue in ISA spec.)
163 :function:::int:not_word_value:unsigned_word value
173 /* For historical simulator compatibility (until documentation is
174 found that makes these operations unpredictable on some of these
175 architectures), this check never returns true. */
179 :function:::int:not_word_value:unsigned_word value
182 /* On MIPS32, since registers are 32-bits, there's no check to be done. */
186 :function:::int:not_word_value:unsigned_word value
189 return ((value >> 32) != (value & 0x80000000 ? 0xFFFFFFFF : 0));
195 // Handle UNPREDICTABLE operation behaviour. The goal here is to prevent
196 // theoretically portable code which invokes non-portable behaviour from
197 // running with no indication of the portability issue.
198 // (See definition of UNPREDICTABLE in ISA spec.)
201 :function:::void:unpredictable:
213 :function:::void:unpredictable:
217 unpredictable_action (CPU, CIA);
223 // Check that an access to a HI/LO register meets timing requirements
227 // OP {HI and LO} followed by MT{LO or HI} (and not MT{HI or LO})
228 // makes subsequent MF{HI or LO} UNPREDICTABLE. (1)
230 // The following restrictions exist for MIPS I - MIPS III:
232 // MF{HI or LO} followed by MT{HI or LO} w/ less than 2 instructions
233 // in between makes MF UNPREDICTABLE. (2)
235 // MF{HI or LO} followed by OP {HI and LO} w/ less than 2 instructions
236 // in between makes MF UNPREDICTABLE. (3)
238 // On the r3900, restriction (2) is not present, and restriction (3) is not
239 // present for multiplication.
241 // For now this code is paranoid. Historically the simulator
242 // enforced restrictions (2) and (3) for more ISAs and CPU types than
243 // necessary. Unfortunately, at least some MIPS IV and later parts'
244 // documentation describes them as having these hazards (e.g. vr5000),
245 // so they can't be removed for at leats MIPS IV. MIPS V hasn't been
246 // checked (since there are no known hardware implementations).
251 // Helper used by check_mt_hilo, check_mult_hilo, and check_div_hilo
252 // to check for restrictions (2) and (3) above.
254 :function:::int:check_mf_cycles:hilo_history *history, signed64 time, const char *new
256 if (history->mf.timestamp + 3 > time)
258 sim_engine_abort (SD, CPU, CIA, "HILO: %s: %s at 0x%08lx too close to MF at 0x%08lx\n",
259 itable[MY_INDEX].name,
261 (long) history->mf.cia);
270 // Check for restriction (2) above (for ISAs/processors that have it),
271 // and record timestamps for restriction (1) above.
273 :function:::int:check_mt_hilo:hilo_history *history
282 signed64 time = sim_events_time (SD);
283 int ok = check_mf_cycles (SD_, history, time, "MT");
284 history->mt.timestamp = time;
285 history->mt.cia = CIA;
289 :function:::int:check_mt_hilo:hilo_history *history
294 signed64 time = sim_events_time (SD);
295 history->mt.timestamp = time;
296 history->mt.cia = CIA;
303 // Check for restriction (1) above, and record timestamps for
304 // restriction (2) and (3) above.
306 :function:::int:check_mf_hilo:hilo_history *history, hilo_history *peer
318 signed64 time = sim_events_time (SD);
321 && peer->mt.timestamp > history->op.timestamp
322 && history->mt.timestamp < history->op.timestamp
323 && ! (history->mf.timestamp > history->op.timestamp
324 && history->mf.timestamp < peer->mt.timestamp)
325 && ! (peer->mf.timestamp > history->op.timestamp
326 && peer->mf.timestamp < peer->mt.timestamp))
328 /* The peer has been written to since the last OP yet we have
330 sim_engine_abort (SD, CPU, CIA, "HILO: %s: MF at 0x%08lx following OP at 0x%08lx corrupted by MT at 0x%08lx\n",
331 itable[MY_INDEX].name,
333 (long) history->op.cia,
334 (long) peer->mt.cia);
337 history->mf.timestamp = time;
338 history->mf.cia = CIA;
346 // Check for restriction (3) above (for ISAs/processors that have it)
347 // for MULT ops, and record timestamps for restriction (1) above.
349 :function:::int:check_mult_hilo:hilo_history *hi, hilo_history *lo
358 signed64 time = sim_events_time (SD);
359 int ok = (check_mf_cycles (SD_, hi, time, "OP")
360 && check_mf_cycles (SD_, lo, time, "OP"));
361 hi->op.timestamp = time;
362 lo->op.timestamp = time;
368 :function:::int:check_mult_hilo:hilo_history *hi, hilo_history *lo
373 /* FIXME: could record the fact that a stall occured if we want */
374 signed64 time = sim_events_time (SD);
375 hi->op.timestamp = time;
376 lo->op.timestamp = time;
385 // Check for restriction (3) above (for ISAs/processors that have it)
386 // for DIV ops, and record timestamps for restriction (1) above.
388 :function:::int:check_div_hilo:hilo_history *hi, hilo_history *lo
398 signed64 time = sim_events_time (SD);
399 int ok = (check_mf_cycles (SD_, hi, time, "OP")
400 && check_mf_cycles (SD_, lo, time, "OP"));
401 hi->op.timestamp = time;
402 lo->op.timestamp = time;
408 :function:::int:check_div_hilo:hilo_history *hi, hilo_history *lo
412 signed64 time = sim_events_time (SD);
413 hi->op.timestamp = time;
414 lo->op.timestamp = time;
423 // Check that the 64-bit instruction can currently be used, and signal
424 // a ReservedInstruction exception if not.
427 :function:::void:check_u64:instruction_word insn
434 // The check should be similar to mips64 for any with PX/UX bit equivalents.
437 :function:::void:check_u64:instruction_word insn
440 #if 0 /* XXX FIXME: enable this only after some additional testing. */
441 if (UserMode && (SR & (status_UX|status_PX)) == 0)
442 SignalException (ReservedInstruction, insn);
449 // MIPS Architecture:
451 // CPU Instruction Set (mipsI - mipsV, mips32, mips64)
456 000000,5.RS,5.RT,5.RD,00000,100000:SPECIAL:32::ADD
457 "add r<RD>, r<RS>, r<RT>"
469 if (NotWordValue (GPR[RS]) || NotWordValue (GPR[RT]))
471 TRACE_ALU_INPUT2 (GPR[RS], GPR[RT]);
473 ALU32_BEGIN (GPR[RS]);
475 ALU32_END (GPR[RD]); /* This checks for overflow. */
477 TRACE_ALU_RESULT (GPR[RD]);
482 001000,5.RS,5.RT,16.IMMEDIATE:NORMAL:32::ADDI
483 "addi r<RT>, r<RS>, <IMMEDIATE>"
495 if (NotWordValue (GPR[RS]))
497 TRACE_ALU_INPUT2 (GPR[RS], EXTEND16 (IMMEDIATE));
499 ALU32_BEGIN (GPR[RS]);
500 ALU32_ADD (EXTEND16 (IMMEDIATE));
501 ALU32_END (GPR[RT]); /* This checks for overflow. */
503 TRACE_ALU_RESULT (GPR[RT]);
508 :function:::void:do_addiu:int rs, int rt, unsigned16 immediate
510 if (NotWordValue (GPR[rs]))
512 TRACE_ALU_INPUT2 (GPR[rs], EXTEND16 (immediate));
513 GPR[rt] = EXTEND32 (GPR[rs] + EXTEND16 (immediate));
514 TRACE_ALU_RESULT (GPR[rt]);
517 001001,5.RS,5.RT,16.IMMEDIATE:NORMAL:32::ADDIU
518 "addiu r<RT>, r<RS>, <IMMEDIATE>"
530 do_addiu (SD_, RS, RT, IMMEDIATE);
535 :function:::void:do_addu:int rs, int rt, int rd
537 if (NotWordValue (GPR[rs]) || NotWordValue (GPR[rt]))
539 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
540 GPR[rd] = EXTEND32 (GPR[rs] + GPR[rt]);
541 TRACE_ALU_RESULT (GPR[rd]);
544 000000,5.RS,5.RT,5.RD,00000,100001:SPECIAL:32::ADDU
545 "addu r<RD>, r<RS>, r<RT>"
557 do_addu (SD_, RS, RT, RD);
562 :function:::void:do_and:int rs, int rt, int rd
564 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
565 GPR[rd] = GPR[rs] & GPR[rt];
566 TRACE_ALU_RESULT (GPR[rd]);
569 000000,5.RS,5.RT,5.RD,00000,100100:SPECIAL:32::AND
570 "and r<RD>, r<RS>, r<RT>"
582 do_and (SD_, RS, RT, RD);
587 001100,5.RS,5.RT,16.IMMEDIATE:NORMAL:32::ANDI
588 "andi r<RT>, r<RS>, %#lx<IMMEDIATE>"
600 TRACE_ALU_INPUT2 (GPR[RS], IMMEDIATE);
601 GPR[RT] = GPR[RS] & IMMEDIATE;
602 TRACE_ALU_RESULT (GPR[RT]);
607 000100,5.RS,5.RT,16.OFFSET:NORMAL:32::BEQ
608 "beq r<RS>, r<RT>, <OFFSET>"
620 address_word offset = EXTEND16 (OFFSET) << 2;
621 if ((signed_word) GPR[RS] == (signed_word) GPR[RT])
623 DELAY_SLOT (NIA + offset);
629 010100,5.RS,5.RT,16.OFFSET:NORMAL:32::BEQL
630 "beql r<RS>, r<RT>, <OFFSET>"
641 address_word offset = EXTEND16 (OFFSET) << 2;
642 if ((signed_word) GPR[RS] == (signed_word) GPR[RT])
644 DELAY_SLOT (NIA + offset);
647 NULLIFY_NEXT_INSTRUCTION ();
652 000001,5.RS,00001,16.OFFSET:REGIMM:32::BGEZ
653 "bgez r<RS>, <OFFSET>"
665 address_word offset = EXTEND16 (OFFSET) << 2;
666 if ((signed_word) GPR[RS] >= 0)
668 DELAY_SLOT (NIA + offset);
674 000001,5.RS!31,10001,16.OFFSET:REGIMM:32::BGEZAL
675 "bgezal r<RS>, <OFFSET>"
687 address_word offset = EXTEND16 (OFFSET) << 2;
691 if ((signed_word) GPR[RS] >= 0)
693 DELAY_SLOT (NIA + offset);
699 000001,5.RS!31,10011,16.OFFSET:REGIMM:32::BGEZALL
700 "bgezall r<RS>, <OFFSET>"
711 address_word offset = EXTEND16 (OFFSET) << 2;
715 /* NOTE: The branch occurs AFTER the next instruction has been
717 if ((signed_word) GPR[RS] >= 0)
719 DELAY_SLOT (NIA + offset);
722 NULLIFY_NEXT_INSTRUCTION ();
727 000001,5.RS,00011,16.OFFSET:REGIMM:32::BGEZL
728 "bgezl r<RS>, <OFFSET>"
739 address_word offset = EXTEND16 (OFFSET) << 2;
740 if ((signed_word) GPR[RS] >= 0)
742 DELAY_SLOT (NIA + offset);
745 NULLIFY_NEXT_INSTRUCTION ();
750 000111,5.RS,00000,16.OFFSET:NORMAL:32::BGTZ
751 "bgtz r<RS>, <OFFSET>"
763 address_word offset = EXTEND16 (OFFSET) << 2;
764 if ((signed_word) GPR[RS] > 0)
766 DELAY_SLOT (NIA + offset);
772 010111,5.RS,00000,16.OFFSET:NORMAL:32::BGTZL
773 "bgtzl r<RS>, <OFFSET>"
784 address_word offset = EXTEND16 (OFFSET) << 2;
785 /* NOTE: The branch occurs AFTER the next instruction has been
787 if ((signed_word) GPR[RS] > 0)
789 DELAY_SLOT (NIA + offset);
792 NULLIFY_NEXT_INSTRUCTION ();
797 000110,5.RS,00000,16.OFFSET:NORMAL:32::BLEZ
798 "blez r<RS>, <OFFSET>"
810 address_word offset = EXTEND16 (OFFSET) << 2;
811 /* NOTE: The branch occurs AFTER the next instruction has been
813 if ((signed_word) GPR[RS] <= 0)
815 DELAY_SLOT (NIA + offset);
821 010110,5.RS,00000,16.OFFSET:NORMAL:32::BLEZL
822 "bgezl r<RS>, <OFFSET>"
833 address_word offset = EXTEND16 (OFFSET) << 2;
834 if ((signed_word) GPR[RS] <= 0)
836 DELAY_SLOT (NIA + offset);
839 NULLIFY_NEXT_INSTRUCTION ();
844 000001,5.RS,00000,16.OFFSET:REGIMM:32::BLTZ
845 "bltz r<RS>, <OFFSET>"
857 address_word offset = EXTEND16 (OFFSET) << 2;
858 if ((signed_word) GPR[RS] < 0)
860 DELAY_SLOT (NIA + offset);
866 000001,5.RS!31,10000,16.OFFSET:REGIMM:32::BLTZAL
867 "bltzal r<RS>, <OFFSET>"
879 address_word offset = EXTEND16 (OFFSET) << 2;
883 /* NOTE: The branch occurs AFTER the next instruction has been
885 if ((signed_word) GPR[RS] < 0)
887 DELAY_SLOT (NIA + offset);
893 000001,5.RS!31,10010,16.OFFSET:REGIMM:32::BLTZALL
894 "bltzall r<RS>, <OFFSET>"
905 address_word offset = EXTEND16 (OFFSET) << 2;
909 if ((signed_word) GPR[RS] < 0)
911 DELAY_SLOT (NIA + offset);
914 NULLIFY_NEXT_INSTRUCTION ();
919 000001,5.RS,00010,16.OFFSET:REGIMM:32::BLTZL
920 "bltzl r<RS>, <OFFSET>"
931 address_word offset = EXTEND16 (OFFSET) << 2;
932 /* NOTE: The branch occurs AFTER the next instruction has been
934 if ((signed_word) GPR[RS] < 0)
936 DELAY_SLOT (NIA + offset);
939 NULLIFY_NEXT_INSTRUCTION ();
944 000101,5.RS,5.RT,16.OFFSET:NORMAL:32::BNE
945 "bne r<RS>, r<RT>, <OFFSET>"
957 address_word offset = EXTEND16 (OFFSET) << 2;
958 if ((signed_word) GPR[RS] != (signed_word) GPR[RT])
960 DELAY_SLOT (NIA + offset);
966 010101,5.RS,5.RT,16.OFFSET:NORMAL:32::BNEL
967 "bnel r<RS>, r<RT>, <OFFSET>"
978 address_word offset = EXTEND16 (OFFSET) << 2;
979 if ((signed_word) GPR[RS] != (signed_word) GPR[RT])
981 DELAY_SLOT (NIA + offset);
984 NULLIFY_NEXT_INSTRUCTION ();
989 000000,20.CODE,001101:SPECIAL:32::BREAK
1002 /* Check for some break instruction which are reserved for use by the simulator. */
1003 unsigned int break_code = instruction_0 & HALT_INSTRUCTION_MASK;
1004 if (break_code == (HALT_INSTRUCTION & HALT_INSTRUCTION_MASK) ||
1005 break_code == (HALT_INSTRUCTION2 & HALT_INSTRUCTION_MASK))
1007 sim_engine_halt (SD, CPU, NULL, cia,
1008 sim_exited, (unsigned int)(A0 & 0xFFFFFFFF));
1010 else if (break_code == (BREAKPOINT_INSTRUCTION & HALT_INSTRUCTION_MASK) ||
1011 break_code == (BREAKPOINT_INSTRUCTION2 & HALT_INSTRUCTION_MASK))
1013 if (STATE & simDELAYSLOT)
1014 PC = cia - 4; /* reference the branch instruction */
1017 SignalException (BreakPoint, instruction_0);
1022 /* If we get this far, we're not an instruction reserved by the sim. Raise
1024 SignalException (BreakPoint, instruction_0);
1030 011100,5.RS,5.RT,5.RD,00000,100001:SPECIAL2:32::CLO
1036 unsigned32 temp = GPR[RS];
1040 if (NotWordValue (GPR[RS]))
1042 TRACE_ALU_INPUT1 (GPR[RS]);
1043 for (mask = ((unsigned32)1<<31), i = 0; i < 32; ++i)
1045 if ((temp & mask) == 0)
1049 GPR[RD] = EXTEND32 (i);
1050 TRACE_ALU_RESULT (GPR[RD]);
1055 011100,5.RS,5.RT,5.RD,00000,100000:SPECIAL2:32::CLZ
1061 unsigned32 temp = GPR[RS];
1065 if (NotWordValue (GPR[RS]))
1067 TRACE_ALU_INPUT1 (GPR[RS]);
1068 for (mask = ((unsigned32)1<<31), i = 0; i < 32; ++i)
1070 if ((temp & mask) != 0)
1074 GPR[RD] = EXTEND32 (i);
1075 TRACE_ALU_RESULT (GPR[RD]);
1080 000000,5.RS,5.RT,5.RD,00000,101100:SPECIAL:64::DADD
1081 "dadd r<RD>, r<RS>, r<RT>"
1089 check_u64 (SD_, instruction_0);
1090 TRACE_ALU_INPUT2 (GPR[RS], GPR[RT]);
1092 ALU64_BEGIN (GPR[RS]);
1093 ALU64_ADD (GPR[RT]);
1094 ALU64_END (GPR[RD]); /* This checks for overflow. */
1096 TRACE_ALU_RESULT (GPR[RD]);
1101 011000,5.RS,5.RT,16.IMMEDIATE:NORMAL:64::DADDI
1102 "daddi r<RT>, r<RS>, <IMMEDIATE>"
1110 check_u64 (SD_, instruction_0);
1111 TRACE_ALU_INPUT2 (GPR[RS], EXTEND16 (IMMEDIATE));
1113 ALU64_BEGIN (GPR[RS]);
1114 ALU64_ADD (EXTEND16 (IMMEDIATE));
1115 ALU64_END (GPR[RT]); /* This checks for overflow. */
1117 TRACE_ALU_RESULT (GPR[RT]);
1122 :function:::void:do_daddiu:int rs, int rt, unsigned16 immediate
1124 TRACE_ALU_INPUT2 (GPR[rs], EXTEND16 (immediate));
1125 GPR[rt] = GPR[rs] + EXTEND16 (immediate);
1126 TRACE_ALU_RESULT (GPR[rt]);
1129 011001,5.RS,5.RT,16.IMMEDIATE:NORMAL:64::DADDIU
1130 "daddiu r<RT>, r<RS>, <IMMEDIATE>"
1138 check_u64 (SD_, instruction_0);
1139 do_daddiu (SD_, RS, RT, IMMEDIATE);
1144 :function:::void:do_daddu:int rs, int rt, int rd
1146 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
1147 GPR[rd] = GPR[rs] + GPR[rt];
1148 TRACE_ALU_RESULT (GPR[rd]);
1151 000000,5.RS,5.RT,5.RD,00000,101101:SPECIAL:64::DADDU
1152 "daddu r<RD>, r<RS>, r<RT>"
1160 check_u64 (SD_, instruction_0);
1161 do_daddu (SD_, RS, RT, RD);
1166 011100,5.RS,5.RT,5.RD,00000,100101:SPECIAL2:64::DCLO
1171 unsigned64 temp = GPR[RS];
1174 check_u64 (SD_, instruction_0);
1177 TRACE_ALU_INPUT1 (GPR[RS]);
1178 for (mask = ((unsigned64)1<<63), i = 0; i < 64; ++i)
1180 if ((temp & mask) == 0)
1184 GPR[RD] = EXTEND32 (i);
1185 TRACE_ALU_RESULT (GPR[RD]);
1190 011100,5.RS,5.RT,5.RD,00000,100100:SPECIAL2:64::DCLZ
1195 unsigned64 temp = GPR[RS];
1198 check_u64 (SD_, instruction_0);
1201 TRACE_ALU_INPUT1 (GPR[RS]);
1202 for (mask = ((unsigned64)1<<63), i = 0; i < 64; ++i)
1204 if ((temp & mask) != 0)
1208 GPR[RD] = EXTEND32 (i);
1209 TRACE_ALU_RESULT (GPR[RD]);
1214 :function:::void:do_ddiv:int rs, int rt
1216 check_div_hilo (SD_, HIHISTORY, LOHISTORY);
1217 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
1219 signed64 n = GPR[rs];
1220 signed64 d = GPR[rt];
1225 lo = SIGNED64 (0x8000000000000000);
1228 else if (d == -1 && n == SIGNED64 (0x8000000000000000))
1230 lo = SIGNED64 (0x8000000000000000);
1241 TRACE_ALU_RESULT2 (HI, LO);
1244 000000,5.RS,5.RT,0000000000,011110:SPECIAL:64::DDIV
1253 check_u64 (SD_, instruction_0);
1254 do_ddiv (SD_, RS, RT);
1259 :function:::void:do_ddivu:int rs, int rt
1261 check_div_hilo (SD_, HIHISTORY, LOHISTORY);
1262 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
1264 unsigned64 n = GPR[rs];
1265 unsigned64 d = GPR[rt];
1270 lo = SIGNED64 (0x8000000000000000);
1281 TRACE_ALU_RESULT2 (HI, LO);
1284 000000,5.RS,5.RT,0000000000,011111:SPECIAL:64::DDIVU
1285 "ddivu r<RS>, r<RT>"
1293 check_u64 (SD_, instruction_0);
1294 do_ddivu (SD_, RS, RT);
1299 :function:::void:do_div:int rs, int rt
1301 check_div_hilo (SD_, HIHISTORY, LOHISTORY);
1302 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
1304 signed32 n = GPR[rs];
1305 signed32 d = GPR[rt];
1308 LO = EXTEND32 (0x80000000);
1311 else if (n == SIGNED32 (0x80000000) && d == -1)
1313 LO = EXTEND32 (0x80000000);
1318 LO = EXTEND32 (n / d);
1319 HI = EXTEND32 (n % d);
1322 TRACE_ALU_RESULT2 (HI, LO);
1325 000000,5.RS,5.RT,0000000000,011010:SPECIAL:32::DIV
1338 do_div (SD_, RS, RT);
1343 :function:::void:do_divu:int rs, int rt
1345 check_div_hilo (SD_, HIHISTORY, LOHISTORY);
1346 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
1348 unsigned32 n = GPR[rs];
1349 unsigned32 d = GPR[rt];
1352 LO = EXTEND32 (0x80000000);
1357 LO = EXTEND32 (n / d);
1358 HI = EXTEND32 (n % d);
1361 TRACE_ALU_RESULT2 (HI, LO);
1364 000000,5.RS,5.RT,0000000000,011011:SPECIAL:32::DIVU
1377 do_divu (SD_, RS, RT);
1382 :function:::void:do_dmultx:int rs, int rt, int rd, int signed_p
1392 unsigned64 op1 = GPR[rs];
1393 unsigned64 op2 = GPR[rt];
1394 check_mult_hilo (SD_, HIHISTORY, LOHISTORY);
1395 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
1396 /* make signed multiply unsigned */
1400 if ((signed64) op1 < 0)
1405 if ((signed64) op2 < 0)
1411 /* multiply out the 4 sub products */
1412 m00 = ((unsigned64) VL4_8 (op1) * (unsigned64) VL4_8 (op2));
1413 m10 = ((unsigned64) VH4_8 (op1) * (unsigned64) VL4_8 (op2));
1414 m01 = ((unsigned64) VL4_8 (op1) * (unsigned64) VH4_8 (op2));
1415 m11 = ((unsigned64) VH4_8 (op1) * (unsigned64) VH4_8 (op2));
1416 /* add the products */
1417 mid = ((unsigned64) VH4_8 (m00)
1418 + (unsigned64) VL4_8 (m10)
1419 + (unsigned64) VL4_8 (m01));
1420 lo = U8_4 (mid, m00);
1422 + (unsigned64) VH4_8 (mid)
1423 + (unsigned64) VH4_8 (m01)
1424 + (unsigned64) VH4_8 (m10));
1434 /* save the result HI/LO (and a gpr) */
1439 TRACE_ALU_RESULT2 (HI, LO);
1442 :function:::void:do_dmult:int rs, int rt, int rd
1444 do_dmultx (SD_, rs, rt, rd, 1);
1447 000000,5.RS,5.RT,0000000000,011100:SPECIAL:64::DMULT
1448 "dmult r<RS>, r<RT>"
1455 check_u64 (SD_, instruction_0);
1456 do_dmult (SD_, RS, RT, 0);
1459 000000,5.RS,5.RT,5.RD,00000,011100:SPECIAL:64::DMULT
1460 "dmult r<RS>, r<RT>":RD == 0
1461 "dmult r<RD>, r<RS>, r<RT>"
1464 check_u64 (SD_, instruction_0);
1465 do_dmult (SD_, RS, RT, RD);
1470 :function:::void:do_dmultu:int rs, int rt, int rd
1472 do_dmultx (SD_, rs, rt, rd, 0);
1475 000000,5.RS,5.RT,0000000000,011101:SPECIAL:64::DMULTU
1476 "dmultu r<RS>, r<RT>"
1483 check_u64 (SD_, instruction_0);
1484 do_dmultu (SD_, RS, RT, 0);
1487 000000,5.RS,5.RT,5.RD,00000,011101:SPECIAL:64::DMULTU
1488 "dmultu r<RD>, r<RS>, r<RT>":RD == 0
1489 "dmultu r<RS>, r<RT>"
1492 check_u64 (SD_, instruction_0);
1493 do_dmultu (SD_, RS, RT, RD);
1496 :function:::void:do_dsll:int rt, int rd, int shift
1498 TRACE_ALU_INPUT2 (GPR[rt], shift);
1499 GPR[rd] = GPR[rt] << shift;
1500 TRACE_ALU_RESULT (GPR[rd]);
1503 000000,00000,5.RT,5.RD,5.SHIFT,111000:SPECIAL:64::DSLL
1504 "dsll r<RD>, r<RT>, <SHIFT>"
1512 check_u64 (SD_, instruction_0);
1513 do_dsll (SD_, RT, RD, SHIFT);
1517 000000,00000,5.RT,5.RD,5.SHIFT,111100:SPECIAL:64::DSLL32
1518 "dsll32 r<RD>, r<RT>, <SHIFT>"
1527 check_u64 (SD_, instruction_0);
1528 TRACE_ALU_INPUT2 (GPR[RT], s);
1529 GPR[RD] = GPR[RT] << s;
1530 TRACE_ALU_RESULT (GPR[RD]);
1533 :function:::void:do_dsllv:int rs, int rt, int rd
1535 int s = MASKED64 (GPR[rs], 5, 0);
1536 TRACE_ALU_INPUT2 (GPR[rt], s);
1537 GPR[rd] = GPR[rt] << s;
1538 TRACE_ALU_RESULT (GPR[rd]);
1541 000000,5.RS,5.RT,5.RD,00000,010100:SPECIAL:64::DSLLV
1542 "dsllv r<RD>, r<RT>, r<RS>"
1550 check_u64 (SD_, instruction_0);
1551 do_dsllv (SD_, RS, RT, RD);
1554 :function:::void:do_dsra:int rt, int rd, int shift
1556 TRACE_ALU_INPUT2 (GPR[rt], shift);
1557 GPR[rd] = ((signed64) GPR[rt]) >> shift;
1558 TRACE_ALU_RESULT (GPR[rd]);
1562 000000,00000,5.RT,5.RD,5.SHIFT,111011:SPECIAL:64::DSRA
1563 "dsra r<RD>, r<RT>, <SHIFT>"
1571 check_u64 (SD_, instruction_0);
1572 do_dsra (SD_, RT, RD, SHIFT);
1576 000000,00000,5.RT,5.RD,5.SHIFT,111111:SPECIAL:64::DSRA32
1577 "dsra32 r<RD>, r<RT>, <SHIFT>"
1586 check_u64 (SD_, instruction_0);
1587 TRACE_ALU_INPUT2 (GPR[RT], s);
1588 GPR[RD] = ((signed64) GPR[RT]) >> s;
1589 TRACE_ALU_RESULT (GPR[RD]);
1593 :function:::void:do_dsrav:int rs, int rt, int rd
1595 int s = MASKED64 (GPR[rs], 5, 0);
1596 TRACE_ALU_INPUT2 (GPR[rt], s);
1597 GPR[rd] = ((signed64) GPR[rt]) >> s;
1598 TRACE_ALU_RESULT (GPR[rd]);
1601 000000,5.RS,5.RT,5.RD,00000,010111:SPECIAL:64::DSRAV
1602 "dsrav r<RD>, r<RT>, r<RS>"
1610 check_u64 (SD_, instruction_0);
1611 do_dsrav (SD_, RS, RT, RD);
1614 :function:::void:do_dsrl:int rt, int rd, int shift
1616 TRACE_ALU_INPUT2 (GPR[rt], shift);
1617 GPR[rd] = (unsigned64) GPR[rt] >> shift;
1618 TRACE_ALU_RESULT (GPR[rd]);
1622 000000,00000,5.RT,5.RD,5.SHIFT,111010:SPECIAL:64::DSRL
1623 "dsrl r<RD>, r<RT>, <SHIFT>"
1631 check_u64 (SD_, instruction_0);
1632 do_dsrl (SD_, RT, RD, SHIFT);
1636 000000,00000,5.RT,5.RD,5.SHIFT,111110:SPECIAL:64::DSRL32
1637 "dsrl32 r<RD>, r<RT>, <SHIFT>"
1646 check_u64 (SD_, instruction_0);
1647 TRACE_ALU_INPUT2 (GPR[RT], s);
1648 GPR[RD] = (unsigned64) GPR[RT] >> s;
1649 TRACE_ALU_RESULT (GPR[RD]);
1653 :function:::void:do_dsrlv:int rs, int rt, int rd
1655 int s = MASKED64 (GPR[rs], 5, 0);
1656 TRACE_ALU_INPUT2 (GPR[rt], s);
1657 GPR[rd] = (unsigned64) GPR[rt] >> s;
1658 TRACE_ALU_RESULT (GPR[rd]);
1663 000000,5.RS,5.RT,5.RD,00000,010110:SPECIAL:64::DSRLV
1664 "dsrlv r<RD>, r<RT>, r<RS>"
1672 check_u64 (SD_, instruction_0);
1673 do_dsrlv (SD_, RS, RT, RD);
1677 000000,5.RS,5.RT,5.RD,00000,101110:SPECIAL:64::DSUB
1678 "dsub r<RD>, r<RS>, r<RT>"
1686 check_u64 (SD_, instruction_0);
1687 TRACE_ALU_INPUT2 (GPR[RS], GPR[RT]);
1689 ALU64_BEGIN (GPR[RS]);
1690 ALU64_SUB (GPR[RT]);
1691 ALU64_END (GPR[RD]); /* This checks for overflow. */
1693 TRACE_ALU_RESULT (GPR[RD]);
1697 :function:::void:do_dsubu:int rs, int rt, int rd
1699 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
1700 GPR[rd] = GPR[rs] - GPR[rt];
1701 TRACE_ALU_RESULT (GPR[rd]);
1704 000000,5.RS,5.RT,5.RD,00000,101111:SPECIAL:64::DSUBU
1705 "dsubu r<RD>, r<RS>, r<RT>"
1713 check_u64 (SD_, instruction_0);
1714 do_dsubu (SD_, RS, RT, RD);
1718 000010,26.INSTR_INDEX:NORMAL:32::J
1731 /* NOTE: The region used is that of the delay slot NIA and NOT the
1732 current instruction */
1733 address_word region = (NIA & MASK (63, 28));
1734 DELAY_SLOT (region | (INSTR_INDEX << 2));
1738 000011,26.INSTR_INDEX:NORMAL:32::JAL
1751 /* NOTE: The region used is that of the delay slot and NOT the
1752 current instruction */
1753 address_word region = (NIA & MASK (63, 28));
1755 DELAY_SLOT (region | (INSTR_INDEX << 2));
1758 000000,5.RS,00000,5.RD,00000,001001:SPECIAL:32::JALR
1759 "jalr r<RS>":RD == 31
1772 address_word temp = GPR[RS];
1778 000000,5.RS,000000000000000,001000:SPECIAL:32::JR
1791 DELAY_SLOT (GPR[RS]);
1795 :function:::unsigned_word:do_load:unsigned access, address_word base, address_word offset
1797 address_word mask = (WITH_TARGET_WORD_BITSIZE == 64 ? 0x7 : 0x3);
1798 address_word reverseendian = (ReverseEndian ? (mask ^ access) : 0);
1799 address_word bigendiancpu = (BigEndianCPU ? (mask ^ access) : 0);
1806 vaddr = loadstore_ea (SD_, base, offset);
1807 if ((vaddr & access) != 0)
1809 SIM_CORE_SIGNAL (SD, STATE_CPU (SD, 0), cia, read_map, access+1, vaddr, read_transfer, sim_core_unaligned_signal);
1811 AddressTranslation (vaddr, isDATA, isLOAD, &paddr, &uncached, isTARGET, isREAL);
1812 paddr = ((paddr & ~mask) | ((paddr & mask) ^ reverseendian));
1813 LoadMemory (&memval, NULL, uncached, access, paddr, vaddr, isDATA, isREAL);
1814 byte = ((vaddr & mask) ^ bigendiancpu);
1815 return (memval >> (8 * byte));
1818 :function:::unsigned_word:do_load_left:unsigned access, address_word base, address_word offset, unsigned_word rt
1820 address_word mask = (WITH_TARGET_WORD_BITSIZE == 64 ? 0x7 : 0x3);
1821 address_word reverseendian = (ReverseEndian ? -1 : 0);
1822 address_word bigendiancpu = (BigEndianCPU ? -1 : 0);
1831 unsigned_word lhs_mask;
1834 vaddr = loadstore_ea (SD_, base, offset);
1835 AddressTranslation (vaddr, isDATA, isLOAD, &paddr, &uncached, isTARGET, isREAL);
1836 paddr = (paddr ^ (reverseendian & mask));
1837 if (BigEndianMem == 0)
1838 paddr = paddr & ~access;
1840 /* compute where within the word/mem we are */
1841 byte = ((vaddr ^ bigendiancpu) & access); /* 0..access */
1842 word = ((vaddr ^ bigendiancpu) & (mask & ~access)) / (access + 1); /* 0..1 */
1843 nr_lhs_bits = 8 * byte + 8;
1844 nr_rhs_bits = 8 * access - 8 * byte;
1845 /* nr_lhs_bits + nr_rhs_bits == 8 * (accesss + 1) */
1847 /* fprintf (stderr, "l[wd]l: 0x%08lx%08lx 0x%08lx%08lx %d:%d %d+%d\n",
1848 (long) ((unsigned64) vaddr >> 32), (long) vaddr,
1849 (long) ((unsigned64) paddr >> 32), (long) paddr,
1850 word, byte, nr_lhs_bits, nr_rhs_bits); */
1852 LoadMemory (&memval, NULL, uncached, byte, paddr, vaddr, isDATA, isREAL);
1855 /* GPR{31..32-NR_LHS_BITS} = memval{NR_LHS_BITS-1..0} */
1856 temp = (memval << nr_rhs_bits);
1860 /* GPR{31..32-NR_LHS_BITS = memval{32+NR_LHS_BITS..32} */
1861 temp = (memval >> nr_lhs_bits);
1863 lhs_mask = LSMASK (nr_lhs_bits + nr_rhs_bits - 1, nr_rhs_bits);
1864 rt = (rt & ~lhs_mask) | (temp & lhs_mask);
1866 /* fprintf (stderr, "l[wd]l: 0x%08lx%08lx -> 0x%08lx%08lx & 0x%08lx%08lx -> 0x%08lx%08lx\n",
1867 (long) ((unsigned64) memval >> 32), (long) memval,
1868 (long) ((unsigned64) temp >> 32), (long) temp,
1869 (long) ((unsigned64) lhs_mask >> 32), (long) lhs_mask,
1870 (long) (rt >> 32), (long) rt); */
1874 :function:::unsigned_word:do_load_right:unsigned access, address_word base, address_word offset, unsigned_word rt
1876 address_word mask = (WITH_TARGET_WORD_BITSIZE == 64 ? 0x7 : 0x3);
1877 address_word reverseendian = (ReverseEndian ? -1 : 0);
1878 address_word bigendiancpu = (BigEndianCPU ? -1 : 0);
1885 vaddr = loadstore_ea (SD_, base, offset);
1886 AddressTranslation (vaddr, isDATA, isLOAD, &paddr, &uncached, isTARGET, isREAL);
1887 /* NOTE: SPEC is wrong, has `BigEndianMem == 0' not `BigEndianMem != 0' */
1888 paddr = (paddr ^ (reverseendian & mask));
1889 if (BigEndianMem != 0)
1890 paddr = paddr & ~access;
1891 byte = ((vaddr & mask) ^ (bigendiancpu & mask));
1892 /* NOTE: SPEC is wrong, had `byte' not `access - byte'. See SW. */
1893 LoadMemory (&memval, NULL, uncached, access - (access & byte), paddr, vaddr, isDATA, isREAL);
1894 /* printf ("lr: 0x%08lx %d@0x%08lx 0x%08lx\n",
1895 (long) paddr, byte, (long) paddr, (long) memval); */
1897 unsigned_word screen = LSMASK (8 * (access - (byte & access) + 1) - 1, 0);
1899 rt |= (memval >> (8 * byte)) & screen;
1905 100000,5.BASE,5.RT,16.OFFSET:NORMAL:32::LB
1906 "lb r<RT>, <OFFSET>(r<BASE>)"
1918 GPR[RT] = EXTEND8 (do_load (SD_, AccessLength_BYTE, GPR[BASE], EXTEND16 (OFFSET)));
1922 100100,5.BASE,5.RT,16.OFFSET:NORMAL:32::LBU
1923 "lbu r<RT>, <OFFSET>(r<BASE>)"
1935 GPR[RT] = do_load (SD_, AccessLength_BYTE, GPR[BASE], EXTEND16 (OFFSET));
1939 110111,5.BASE,5.RT,16.OFFSET:NORMAL:64::LD
1940 "ld r<RT>, <OFFSET>(r<BASE>)"
1948 check_u64 (SD_, instruction_0);
1949 GPR[RT] = EXTEND64 (do_load (SD_, AccessLength_DOUBLEWORD, GPR[BASE], EXTEND16 (OFFSET)));
1953 1101,ZZ!0!1!3,5.BASE,5.RT,16.OFFSET:NORMAL:64::LDCz
1954 "ldc<ZZ> r<RT>, <OFFSET>(r<BASE>)"
1965 COP_LD (ZZ, RT, do_load (SD_, AccessLength_DOUBLEWORD, GPR[BASE], EXTEND16 (OFFSET)));
1971 011010,5.BASE,5.RT,16.OFFSET:NORMAL:64::LDL
1972 "ldl r<RT>, <OFFSET>(r<BASE>)"
1980 check_u64 (SD_, instruction_0);
1981 GPR[RT] = do_load_left (SD_, AccessLength_DOUBLEWORD, GPR[BASE], EXTEND16 (OFFSET), GPR[RT]);
1985 011011,5.BASE,5.RT,16.OFFSET:NORMAL:64::LDR
1986 "ldr r<RT>, <OFFSET>(r<BASE>)"
1994 check_u64 (SD_, instruction_0);
1995 GPR[RT] = do_load_right (SD_, AccessLength_DOUBLEWORD, GPR[BASE], EXTEND16 (OFFSET), GPR[RT]);
1999 100001,5.BASE,5.RT,16.OFFSET:NORMAL:32::LH
2000 "lh r<RT>, <OFFSET>(r<BASE>)"
2012 GPR[RT] = EXTEND16 (do_load (SD_, AccessLength_HALFWORD, GPR[BASE], EXTEND16 (OFFSET)));
2016 100101,5.BASE,5.RT,16.OFFSET:NORMAL:32::LHU
2017 "lhu r<RT>, <OFFSET>(r<BASE>)"
2029 GPR[RT] = do_load (SD_, AccessLength_HALFWORD, GPR[BASE], EXTEND16 (OFFSET));
2033 110000,5.BASE,5.RT,16.OFFSET:NORMAL:32::LL
2034 "ll r<RT>, <OFFSET>(r<BASE>)"
2044 address_word base = GPR[BASE];
2045 address_word offset = EXTEND16 (OFFSET);
2047 address_word vaddr = loadstore_ea (SD_, base, offset);
2050 if ((vaddr & 3) != 0)
2052 SIM_CORE_SIGNAL (SD, CPU, cia, read_map, 4, vaddr, read_transfer, sim_core_unaligned_signal);
2056 if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
2058 unsigned64 memval = 0;
2059 unsigned64 memval1 = 0;
2060 unsigned64 mask = 0x7;
2061 unsigned int shift = 2;
2062 unsigned int reverse = (ReverseEndian ? (mask >> shift) : 0);
2063 unsigned int bigend = (BigEndianCPU ? (mask >> shift) : 0);
2065 paddr = ((paddr & ~mask) | ((paddr & mask) ^ (reverse << shift)));
2066 LoadMemory(&memval,&memval1,uncached,AccessLength_WORD,paddr,vaddr,isDATA,isREAL);
2067 byte = ((vaddr & mask) ^ (bigend << shift));
2068 GPR[RT] = EXTEND32 (memval >> (8 * byte));
2076 110100,5.BASE,5.RT,16.OFFSET:NORMAL:64::LLD
2077 "lld r<RT>, <OFFSET>(r<BASE>)"
2085 address_word base = GPR[BASE];
2086 address_word offset = EXTEND16 (OFFSET);
2087 check_u64 (SD_, instruction_0);
2089 address_word vaddr = loadstore_ea (SD_, base, offset);
2092 if ((vaddr & 7) != 0)
2094 SIM_CORE_SIGNAL (SD, CPU, cia, read_map, 8, vaddr, read_transfer, sim_core_unaligned_signal);
2098 if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
2100 unsigned64 memval = 0;
2101 unsigned64 memval1 = 0;
2102 LoadMemory(&memval,&memval1,uncached,AccessLength_DOUBLEWORD,paddr,vaddr,isDATA,isREAL);
2111 001111,00000,5.RT,16.IMMEDIATE:NORMAL:32::LUI
2112 "lui r<RT>, %#lx<IMMEDIATE>"
2124 TRACE_ALU_INPUT1 (IMMEDIATE);
2125 GPR[RT] = EXTEND32 (IMMEDIATE << 16);
2126 TRACE_ALU_RESULT (GPR[RT]);
2130 100011,5.BASE,5.RT,16.OFFSET:NORMAL:32::LW
2131 "lw r<RT>, <OFFSET>(r<BASE>)"
2143 GPR[RT] = EXTEND32 (do_load (SD_, AccessLength_WORD, GPR[BASE], EXTEND16 (OFFSET)));
2147 1100,ZZ!0!1!3,5.BASE,5.RT,16.OFFSET:NORMAL:32::LWCz
2148 "lwc<ZZ> r<RT>, <OFFSET>(r<BASE>)"
2160 COP_LW (ZZ, RT, do_load (SD_, AccessLength_WORD, GPR[BASE], EXTEND16 (OFFSET)));
2164 100010,5.BASE,5.RT,16.OFFSET:NORMAL:32::LWL
2165 "lwl r<RT>, <OFFSET>(r<BASE>)"
2177 GPR[RT] = EXTEND32 (do_load_left (SD_, AccessLength_WORD, GPR[BASE], EXTEND16 (OFFSET), GPR[RT]));
2181 100110,5.BASE,5.RT,16.OFFSET:NORMAL:32::LWR
2182 "lwr r<RT>, <OFFSET>(r<BASE>)"
2194 GPR[RT] = EXTEND32 (do_load_right (SD_, AccessLength_WORD, GPR[BASE], EXTEND16 (OFFSET), GPR[RT]));
2198 100111,5.BASE,5.RT,16.OFFSET:NORMAL:64::LWU
2199 "lwu r<RT>, <OFFSET>(r<BASE>)"
2207 check_u64 (SD_, instruction_0);
2208 GPR[RT] = do_load (SD_, AccessLength_WORD, GPR[BASE], EXTEND16 (OFFSET));
2213 011100,5.RS,5.RT,00000,00000,000000:SPECIAL2:32::MADD
2220 check_mult_hilo (SD_, HIHISTORY, LOHISTORY);
2221 if (NotWordValue (GPR[RS]) || NotWordValue (GPR[RT]))
2223 TRACE_ALU_INPUT2 (GPR[RS], GPR[RT]);
2224 temp = (U8_4 (VL4_8 (HI), VL4_8 (LO))
2225 + ((signed64) EXTEND32 (GPR[RT]) * (signed64) EXTEND32 (GPR[RS])));
2226 LO = EXTEND32 (temp);
2227 HI = EXTEND32 (VH4_8 (temp));
2228 TRACE_ALU_RESULT2 (HI, LO);
2233 011100,5.RS,5.RT,00000,00000,000001:SPECIAL2:32::MADDU
2234 "maddu r<RS>, r<RT>"
2240 check_mult_hilo (SD_, HIHISTORY, LOHISTORY);
2241 if (NotWordValue (GPR[RS]) || NotWordValue (GPR[RT]))
2243 TRACE_ALU_INPUT2 (GPR[RS], GPR[RT]);
2244 temp = (U8_4 (VL4_8 (HI), VL4_8 (LO))
2245 + ((unsigned64) VL4_8 (GPR[RS]) * (unsigned64) VL4_8 (GPR[RT])));
2246 LO = EXTEND32 (temp);
2247 HI = EXTEND32 (VH4_8 (temp));
2248 TRACE_ALU_RESULT2 (HI, LO);
2252 :function:::void:do_mfhi:int rd
2254 check_mf_hilo (SD_, HIHISTORY, LOHISTORY);
2255 TRACE_ALU_INPUT1 (HI);
2257 TRACE_ALU_RESULT (GPR[rd]);
2260 000000,0000000000,5.RD,00000,010000:SPECIAL:32::MFHI
2278 :function:::void:do_mflo:int rd
2280 check_mf_hilo (SD_, LOHISTORY, HIHISTORY);
2281 TRACE_ALU_INPUT1 (LO);
2283 TRACE_ALU_RESULT (GPR[rd]);
2286 000000,0000000000,5.RD,00000,010010:SPECIAL:32::MFLO
2304 000000,5.RS,5.RT,5.RD,00000,001011:SPECIAL:32::MOVN
2305 "movn r<RD>, r<RS>, r<RT>"
2315 TRACE_ALU_RESULT (GPR[RD]);
2321 000000,5.RS,5.RT,5.RD,00000,001010:SPECIAL:32::MOVZ
2322 "movz r<RD>, r<RS>, r<RT>"
2332 TRACE_ALU_RESULT (GPR[RD]);
2338 011100,5.RS,5.RT,00000,00000,000100:SPECIAL2:32::MSUB
2345 check_mult_hilo (SD_, HIHISTORY, LOHISTORY);
2346 if (NotWordValue (GPR[RS]) || NotWordValue (GPR[RT]))
2348 TRACE_ALU_INPUT2 (GPR[RS], GPR[RT]);
2349 temp = (U8_4 (VL4_8 (HI), VL4_8 (LO))
2350 - ((signed64) EXTEND32 (GPR[RT]) * (signed64) EXTEND32 (GPR[RS])));
2351 LO = EXTEND32 (temp);
2352 HI = EXTEND32 (VH4_8 (temp));
2353 TRACE_ALU_RESULT2 (HI, LO);
2358 011100,5.RS,5.RT,00000,00000,000101:SPECIAL2:32::MSUBU
2359 "msubu r<RS>, r<RT>"
2365 check_mult_hilo (SD_, HIHISTORY, LOHISTORY);
2366 if (NotWordValue (GPR[RS]) || NotWordValue (GPR[RT]))
2368 TRACE_ALU_INPUT2 (GPR[RS], GPR[RT]);
2369 temp = (U8_4 (VL4_8 (HI), VL4_8 (LO))
2370 - ((unsigned64) VL4_8 (GPR[RS]) * (unsigned64) VL4_8 (GPR[RT])));
2371 LO = EXTEND32 (temp);
2372 HI = EXTEND32 (VH4_8 (temp));
2373 TRACE_ALU_RESULT2 (HI, LO);
2378 000000,5.RS,000000000000000,010001:SPECIAL:32::MTHI
2391 check_mt_hilo (SD_, HIHISTORY);
2397 000000,5.RS,000000000000000,010011:SPECIAL:32::MTLO
2410 check_mt_hilo (SD_, LOHISTORY);
2416 011100,5.RS,5.RT,5.RD,00000,000010:SPECIAL2:32::MUL
2417 "mul r<RD>, r<RS>, r<RT>"
2423 if (NotWordValue (GPR[RS]) || NotWordValue (GPR[RT]))
2425 TRACE_ALU_INPUT2 (GPR[RS], GPR[RT]);
2426 prod = (((signed64)(signed32) GPR[RS])
2427 * ((signed64)(signed32) GPR[RT]));
2428 GPR[RD] = EXTEND32 (VL4_8 (prod));
2429 TRACE_ALU_RESULT (GPR[RD]);
2434 :function:::void:do_mult:int rs, int rt, int rd
2437 check_mult_hilo (SD_, HIHISTORY, LOHISTORY);
2438 if (NotWordValue (GPR[rs]) || NotWordValue (GPR[rt]))
2440 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
2441 prod = (((signed64)(signed32) GPR[rs])
2442 * ((signed64)(signed32) GPR[rt]));
2443 LO = EXTEND32 (VL4_8 (prod));
2444 HI = EXTEND32 (VH4_8 (prod));
2447 TRACE_ALU_RESULT2 (HI, LO);
2450 000000,5.RS,5.RT,0000000000,011000:SPECIAL:32::MULT
2461 do_mult (SD_, RS, RT, 0);
2465 000000,5.RS,5.RT,5.RD,00000,011000:SPECIAL:32::MULT
2466 "mult r<RS>, r<RT>":RD == 0
2467 "mult r<RD>, r<RS>, r<RT>"
2471 do_mult (SD_, RS, RT, RD);
2475 :function:::void:do_multu:int rs, int rt, int rd
2478 check_mult_hilo (SD_, HIHISTORY, LOHISTORY);
2479 if (NotWordValue (GPR[rs]) || NotWordValue (GPR[rt]))
2481 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
2482 prod = (((unsigned64)(unsigned32) GPR[rs])
2483 * ((unsigned64)(unsigned32) GPR[rt]));
2484 LO = EXTEND32 (VL4_8 (prod));
2485 HI = EXTEND32 (VH4_8 (prod));
2488 TRACE_ALU_RESULT2 (HI, LO);
2491 000000,5.RS,5.RT,0000000000,011001:SPECIAL:32::MULTU
2492 "multu r<RS>, r<RT>"
2502 do_multu (SD_, RS, RT, 0);
2505 000000,5.RS,5.RT,5.RD,00000,011001:SPECIAL:32::MULTU
2506 "multu r<RS>, r<RT>":RD == 0
2507 "multu r<RD>, r<RS>, r<RT>"
2511 do_multu (SD_, RS, RT, RD);
2515 :function:::void:do_nor:int rs, int rt, int rd
2517 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
2518 GPR[rd] = ~ (GPR[rs] | GPR[rt]);
2519 TRACE_ALU_RESULT (GPR[rd]);
2522 000000,5.RS,5.RT,5.RD,00000,100111:SPECIAL:32::NOR
2523 "nor r<RD>, r<RS>, r<RT>"
2535 do_nor (SD_, RS, RT, RD);
2539 :function:::void:do_or:int rs, int rt, int rd
2541 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
2542 GPR[rd] = (GPR[rs] | GPR[rt]);
2543 TRACE_ALU_RESULT (GPR[rd]);
2546 000000,5.RS,5.RT,5.RD,00000,100101:SPECIAL:32::OR
2547 "or r<RD>, r<RS>, r<RT>"
2559 do_or (SD_, RS, RT, RD);
2564 :function:::void:do_ori:int rs, int rt, unsigned immediate
2566 TRACE_ALU_INPUT2 (GPR[rs], immediate);
2567 GPR[rt] = (GPR[rs] | immediate);
2568 TRACE_ALU_RESULT (GPR[rt]);
2571 001101,5.RS,5.RT,16.IMMEDIATE:NORMAL:32::ORI
2572 "ori r<RT>, r<RS>, %#lx<IMMEDIATE>"
2584 do_ori (SD_, RS, RT, IMMEDIATE);
2588 110011,5.BASE,5.HINT,16.OFFSET:NORMAL:32::PREF
2589 "pref <HINT>, <OFFSET>(r<BASE>)"
2596 address_word base = GPR[BASE];
2597 address_word offset = EXTEND16 (OFFSET);
2599 address_word vaddr = loadstore_ea (SD_, base, offset);
2603 if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
2604 Prefetch(uncached,paddr,vaddr,isDATA,HINT);
2610 :function:::void:do_store:unsigned access, address_word base, address_word offset, unsigned_word word
2612 address_word mask = (WITH_TARGET_WORD_BITSIZE == 64 ? 0x7 : 0x3);
2613 address_word reverseendian = (ReverseEndian ? (mask ^ access) : 0);
2614 address_word bigendiancpu = (BigEndianCPU ? (mask ^ access) : 0);
2621 vaddr = loadstore_ea (SD_, base, offset);
2622 if ((vaddr & access) != 0)
2624 SIM_CORE_SIGNAL (SD, STATE_CPU(SD, 0), cia, read_map, access+1, vaddr, write_transfer, sim_core_unaligned_signal);
2626 AddressTranslation (vaddr, isDATA, isSTORE, &paddr, &uncached, isTARGET, isREAL);
2627 paddr = ((paddr & ~mask) | ((paddr & mask) ^ reverseendian));
2628 byte = ((vaddr & mask) ^ bigendiancpu);
2629 memval = (word << (8 * byte));
2630 StoreMemory (uncached, access, memval, 0, paddr, vaddr, isREAL);
2633 :function:::void:do_store_left:unsigned access, address_word base, address_word offset, unsigned_word rt
2635 address_word mask = (WITH_TARGET_WORD_BITSIZE == 64 ? 0x7 : 0x3);
2636 address_word reverseendian = (ReverseEndian ? -1 : 0);
2637 address_word bigendiancpu = (BigEndianCPU ? -1 : 0);
2647 vaddr = loadstore_ea (SD_, base, offset);
2648 AddressTranslation (vaddr, isDATA, isSTORE, &paddr, &uncached, isTARGET, isREAL);
2649 paddr = (paddr ^ (reverseendian & mask));
2650 if (BigEndianMem == 0)
2651 paddr = paddr & ~access;
2653 /* compute where within the word/mem we are */
2654 byte = ((vaddr ^ bigendiancpu) & access); /* 0..access */
2655 word = ((vaddr ^ bigendiancpu) & (mask & ~access)) / (access + 1); /* 0..1 */
2656 nr_lhs_bits = 8 * byte + 8;
2657 nr_rhs_bits = 8 * access - 8 * byte;
2658 /* nr_lhs_bits + nr_rhs_bits == 8 * (accesss + 1) */
2659 /* fprintf (stderr, "s[wd]l: 0x%08lx%08lx 0x%08lx%08lx %d:%d %d+%d\n",
2660 (long) ((unsigned64) vaddr >> 32), (long) vaddr,
2661 (long) ((unsigned64) paddr >> 32), (long) paddr,
2662 word, byte, nr_lhs_bits, nr_rhs_bits); */
2666 memval = (rt >> nr_rhs_bits);
2670 memval = (rt << nr_lhs_bits);
2672 /* fprintf (stderr, "s[wd]l: 0x%08lx%08lx -> 0x%08lx%08lx\n",
2673 (long) ((unsigned64) rt >> 32), (long) rt,
2674 (long) ((unsigned64) memval >> 32), (long) memval); */
2675 StoreMemory (uncached, byte, memval, 0, paddr, vaddr, isREAL);
2678 :function:::void:do_store_right:unsigned access, address_word base, address_word offset, unsigned_word rt
2680 address_word mask = (WITH_TARGET_WORD_BITSIZE == 64 ? 0x7 : 0x3);
2681 address_word reverseendian = (ReverseEndian ? -1 : 0);
2682 address_word bigendiancpu = (BigEndianCPU ? -1 : 0);
2689 vaddr = loadstore_ea (SD_, base, offset);
2690 AddressTranslation (vaddr, isDATA, isSTORE, &paddr, &uncached, isTARGET, isREAL);
2691 paddr = (paddr ^ (reverseendian & mask));
2692 if (BigEndianMem != 0)
2694 byte = ((vaddr & mask) ^ (bigendiancpu & mask));
2695 memval = (rt << (byte * 8));
2696 StoreMemory (uncached, access - (access & byte), memval, 0, paddr, vaddr, isREAL);
2700 101000,5.BASE,5.RT,16.OFFSET:NORMAL:32::SB
2701 "sb r<RT>, <OFFSET>(r<BASE>)"
2713 do_store (SD_, AccessLength_BYTE, GPR[BASE], EXTEND16 (OFFSET), GPR[RT]);
2717 111000,5.BASE,5.RT,16.OFFSET:NORMAL:32::SC
2718 "sc r<RT>, <OFFSET>(r<BASE>)"
2728 unsigned32 instruction = instruction_0;
2729 address_word base = GPR[BASE];
2730 address_word offset = EXTEND16 (OFFSET);
2732 address_word vaddr = loadstore_ea (SD_, base, offset);
2735 if ((vaddr & 3) != 0)
2737 SIM_CORE_SIGNAL (SD, CPU, cia, read_map, 4, vaddr, write_transfer, sim_core_unaligned_signal);
2741 if (AddressTranslation(vaddr,isDATA,isSTORE,&paddr,&uncached,isTARGET,isREAL))
2743 unsigned64 memval = 0;
2744 unsigned64 memval1 = 0;
2745 unsigned64 mask = 0x7;
2747 paddr = ((paddr & ~mask) | ((paddr & mask) ^ (ReverseEndian << 2)));
2748 byte = ((vaddr & mask) ^ (BigEndianCPU << 2));
2749 memval = ((unsigned64) GPR[RT] << (8 * byte));
2752 StoreMemory(uncached,AccessLength_WORD,memval,memval1,paddr,vaddr,isREAL);
2761 111100,5.BASE,5.RT,16.OFFSET:NORMAL:64::SCD
2762 "scd r<RT>, <OFFSET>(r<BASE>)"
2770 address_word base = GPR[BASE];
2771 address_word offset = EXTEND16 (OFFSET);
2772 check_u64 (SD_, instruction_0);
2774 address_word vaddr = loadstore_ea (SD_, base, offset);
2777 if ((vaddr & 7) != 0)
2779 SIM_CORE_SIGNAL (SD, CPU, cia, read_map, 8, vaddr, write_transfer, sim_core_unaligned_signal);
2783 if (AddressTranslation(vaddr,isDATA,isSTORE,&paddr,&uncached,isTARGET,isREAL))
2785 unsigned64 memval = 0;
2786 unsigned64 memval1 = 0;
2790 StoreMemory(uncached,AccessLength_DOUBLEWORD,memval,memval1,paddr,vaddr,isREAL);
2799 111111,5.BASE,5.RT,16.OFFSET:NORMAL:64::SD
2800 "sd r<RT>, <OFFSET>(r<BASE>)"
2808 check_u64 (SD_, instruction_0);
2809 do_store (SD_, AccessLength_DOUBLEWORD, GPR[BASE], EXTEND16 (OFFSET), GPR[RT]);
2813 1111,ZZ!0!1!3,5.BASE,5.RT,16.OFFSET:NORMAL:64::SDCz
2814 "sdc<ZZ> r<RT>, <OFFSET>(r<BASE>)"
2824 do_store (SD_, AccessLength_DOUBLEWORD, GPR[BASE], EXTEND16 (OFFSET), COP_SD (ZZ, RT));
2828 101100,5.BASE,5.RT,16.OFFSET:NORMAL:64::SDL
2829 "sdl r<RT>, <OFFSET>(r<BASE>)"
2837 check_u64 (SD_, instruction_0);
2838 do_store_left (SD_, AccessLength_DOUBLEWORD, GPR[BASE], EXTEND16 (OFFSET), GPR[RT]);
2842 101101,5.BASE,5.RT,16.OFFSET:NORMAL:64::SDR
2843 "sdr r<RT>, <OFFSET>(r<BASE>)"
2851 check_u64 (SD_, instruction_0);
2852 do_store_right (SD_, AccessLength_DOUBLEWORD, GPR[BASE], EXTEND16 (OFFSET), GPR[RT]);
2856 101001,5.BASE,5.RT,16.OFFSET:NORMAL:32::SH
2857 "sh r<RT>, <OFFSET>(r<BASE>)"
2869 do_store (SD_, AccessLength_HALFWORD, GPR[BASE], EXTEND16 (OFFSET), GPR[RT]);
2873 :function:::void:do_sll:int rt, int rd, int shift
2875 unsigned32 temp = (GPR[rt] << shift);
2876 TRACE_ALU_INPUT2 (GPR[rt], shift);
2877 GPR[rd] = EXTEND32 (temp);
2878 TRACE_ALU_RESULT (GPR[rd]);
2881 000000,00000,5.RT,5.RD,5.SHIFT,000000:SPECIAL:32::SLLa
2882 "nop":RD == 0 && RT == 0 && SHIFT == 0
2883 "sll r<RD>, r<RT>, <SHIFT>"
2893 /* Skip shift for NOP, so that there won't be lots of extraneous
2895 if (RD != 0 || RT != 0 || SHIFT != 0)
2896 do_sll (SD_, RT, RD, SHIFT);
2899 000000,00000,5.RT,5.RD,5.SHIFT,000000:SPECIAL:32::SLLb
2900 "nop":RD == 0 && RT == 0 && SHIFT == 0
2901 "ssnop":RD == 0 && RT == 0 && SHIFT == 1
2902 "sll r<RD>, r<RT>, <SHIFT>"
2906 /* Skip shift for NOP and SSNOP, so that there won't be lots of
2907 extraneous trace output. */
2908 if (RD != 0 || RT != 0 || (SHIFT != 0 && SHIFT != 1))
2909 do_sll (SD_, RT, RD, SHIFT);
2913 :function:::void:do_sllv:int rs, int rt, int rd
2915 int s = MASKED (GPR[rs], 4, 0);
2916 unsigned32 temp = (GPR[rt] << s);
2917 TRACE_ALU_INPUT2 (GPR[rt], s);
2918 GPR[rd] = EXTEND32 (temp);
2919 TRACE_ALU_RESULT (GPR[rd]);
2922 000000,5.RS,5.RT,5.RD,00000,000100:SPECIAL:32::SLLV
2923 "sllv r<RD>, r<RT>, r<RS>"
2935 do_sllv (SD_, RS, RT, RD);
2939 :function:::void:do_slt:int rs, int rt, int rd
2941 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
2942 GPR[rd] = ((signed_word) GPR[rs] < (signed_word) GPR[rt]);
2943 TRACE_ALU_RESULT (GPR[rd]);
2946 000000,5.RS,5.RT,5.RD,00000,101010:SPECIAL:32::SLT
2947 "slt r<RD>, r<RS>, r<RT>"
2959 do_slt (SD_, RS, RT, RD);
2963 :function:::void:do_slti:int rs, int rt, unsigned16 immediate
2965 TRACE_ALU_INPUT2 (GPR[rs], EXTEND16 (immediate));
2966 GPR[rt] = ((signed_word) GPR[rs] < (signed_word) EXTEND16 (immediate));
2967 TRACE_ALU_RESULT (GPR[rt]);
2970 001010,5.RS,5.RT,16.IMMEDIATE:NORMAL:32::SLTI
2971 "slti r<RT>, r<RS>, <IMMEDIATE>"
2983 do_slti (SD_, RS, RT, IMMEDIATE);
2987 :function:::void:do_sltiu:int rs, int rt, unsigned16 immediate
2989 TRACE_ALU_INPUT2 (GPR[rs], EXTEND16 (immediate));
2990 GPR[rt] = ((unsigned_word) GPR[rs] < (unsigned_word) EXTEND16 (immediate));
2991 TRACE_ALU_RESULT (GPR[rt]);
2994 001011,5.RS,5.RT,16.IMMEDIATE:NORMAL:32::SLTIU
2995 "sltiu r<RT>, r<RS>, <IMMEDIATE>"
3007 do_sltiu (SD_, RS, RT, IMMEDIATE);
3012 :function:::void:do_sltu:int rs, int rt, int rd
3014 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
3015 GPR[rd] = ((unsigned_word) GPR[rs] < (unsigned_word) GPR[rt]);
3016 TRACE_ALU_RESULT (GPR[rd]);
3019 000000,5.RS,5.RT,5.RD,00000,101011:SPECIAL:32::SLTU
3020 "sltu r<RD>, r<RS>, r<RT>"
3032 do_sltu (SD_, RS, RT, RD);
3036 :function:::void:do_sra:int rt, int rd, int shift
3038 signed32 temp = (signed32) GPR[rt] >> shift;
3039 if (NotWordValue (GPR[rt]))
3041 TRACE_ALU_INPUT2 (GPR[rt], shift);
3042 GPR[rd] = EXTEND32 (temp);
3043 TRACE_ALU_RESULT (GPR[rd]);
3046 000000,00000,5.RT,5.RD,5.SHIFT,000011:SPECIAL:32::SRA
3047 "sra r<RD>, r<RT>, <SHIFT>"
3059 do_sra (SD_, RT, RD, SHIFT);
3064 :function:::void:do_srav:int rs, int rt, int rd
3066 int s = MASKED (GPR[rs], 4, 0);
3067 signed32 temp = (signed32) GPR[rt] >> s;
3068 if (NotWordValue (GPR[rt]))
3070 TRACE_ALU_INPUT2 (GPR[rt], s);
3071 GPR[rd] = EXTEND32 (temp);
3072 TRACE_ALU_RESULT (GPR[rd]);
3075 000000,5.RS,5.RT,5.RD,00000,000111:SPECIAL:32::SRAV
3076 "srav r<RD>, r<RT>, r<RS>"
3088 do_srav (SD_, RS, RT, RD);
3093 :function:::void:do_srl:int rt, int rd, int shift
3095 unsigned32 temp = (unsigned32) GPR[rt] >> shift;
3096 if (NotWordValue (GPR[rt]))
3098 TRACE_ALU_INPUT2 (GPR[rt], shift);
3099 GPR[rd] = EXTEND32 (temp);
3100 TRACE_ALU_RESULT (GPR[rd]);
3103 000000,00000,5.RT,5.RD,5.SHIFT,000010:SPECIAL:32::SRL
3104 "srl r<RD>, r<RT>, <SHIFT>"
3116 do_srl (SD_, RT, RD, SHIFT);
3120 :function:::void:do_srlv:int rs, int rt, int rd
3122 int s = MASKED (GPR[rs], 4, 0);
3123 unsigned32 temp = (unsigned32) GPR[rt] >> s;
3124 if (NotWordValue (GPR[rt]))
3126 TRACE_ALU_INPUT2 (GPR[rt], s);
3127 GPR[rd] = EXTEND32 (temp);
3128 TRACE_ALU_RESULT (GPR[rd]);
3131 000000,5.RS,5.RT,5.RD,00000,000110:SPECIAL:32::SRLV
3132 "srlv r<RD>, r<RT>, r<RS>"
3144 do_srlv (SD_, RS, RT, RD);
3148 000000,5.RS,5.RT,5.RD,00000,100010:SPECIAL:32::SUB
3149 "sub r<RD>, r<RS>, r<RT>"
3161 if (NotWordValue (GPR[RS]) || NotWordValue (GPR[RT]))
3163 TRACE_ALU_INPUT2 (GPR[RS], GPR[RT]);
3165 ALU32_BEGIN (GPR[RS]);
3166 ALU32_SUB (GPR[RT]);
3167 ALU32_END (GPR[RD]); /* This checks for overflow. */
3169 TRACE_ALU_RESULT (GPR[RD]);
3173 :function:::void:do_subu:int rs, int rt, int rd
3175 if (NotWordValue (GPR[rs]) || NotWordValue (GPR[rt]))
3177 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
3178 GPR[rd] = EXTEND32 (GPR[rs] - GPR[rt]);
3179 TRACE_ALU_RESULT (GPR[rd]);
3182 000000,5.RS,5.RT,5.RD,00000,100011:SPECIAL:32::SUBU
3183 "subu r<RD>, r<RS>, r<RT>"
3195 do_subu (SD_, RS, RT, RD);
3199 101011,5.BASE,5.RT,16.OFFSET:NORMAL:32::SW
3200 "sw r<RT>, <OFFSET>(r<BASE>)"
3212 do_store (SD_, AccessLength_WORD, GPR[BASE], EXTEND16 (OFFSET), GPR[RT]);
3216 1110,ZZ!0!1!3,5.BASE,5.RT,16.OFFSET:NORMAL:32::SWCz
3217 "swc<ZZ> r<RT>, <OFFSET>(r<BASE>)"
3229 do_store (SD_, AccessLength_WORD, GPR[BASE], EXTEND16 (OFFSET), COP_SW (ZZ, RT));
3233 101010,5.BASE,5.RT,16.OFFSET:NORMAL:32::SWL
3234 "swl r<RT>, <OFFSET>(r<BASE>)"
3246 do_store_left (SD_, AccessLength_WORD, GPR[BASE], EXTEND16 (OFFSET), GPR[RT]);
3250 101110,5.BASE,5.RT,16.OFFSET:NORMAL:32::SWR
3251 "swr r<RT>, <OFFSET>(r<BASE>)"
3263 do_store_right (SD_, AccessLength_WORD, GPR[BASE], EXTEND16 (OFFSET), GPR[RT]);
3267 000000,000000000000000,5.STYPE,001111:SPECIAL:32::SYNC
3280 SyncOperation (STYPE);
3284 000000,20.CODE,001100:SPECIAL:32::SYSCALL
3285 "syscall %#lx<CODE>"
3297 SignalException (SystemCall, instruction_0);
3301 000000,5.RS,5.RT,10.CODE,110100:SPECIAL:32::TEQ
3312 if ((signed_word) GPR[RS] == (signed_word) GPR[RT])
3313 SignalException (Trap, instruction_0);
3317 000001,5.RS,01100,16.IMMEDIATE:REGIMM:32::TEQI
3318 "teqi r<RS>, <IMMEDIATE>"
3328 if ((signed_word) GPR[RS] == (signed_word) EXTEND16 (IMMEDIATE))
3329 SignalException (Trap, instruction_0);
3333 000000,5.RS,5.RT,10.CODE,110000:SPECIAL:32::TGE
3344 if ((signed_word) GPR[RS] >= (signed_word) GPR[RT])
3345 SignalException (Trap, instruction_0);
3349 000001,5.RS,01000,16.IMMEDIATE:REGIMM:32::TGEI
3350 "tgei r<RS>, <IMMEDIATE>"
3360 if ((signed_word) GPR[RS] >= (signed_word) EXTEND16 (IMMEDIATE))
3361 SignalException (Trap, instruction_0);
3365 000001,5.RS,01001,16.IMMEDIATE:REGIMM:32::TGEIU
3366 "tgeiu r<RS>, <IMMEDIATE>"
3376 if ((unsigned_word) GPR[RS] >= (unsigned_word) EXTEND16 (IMMEDIATE))
3377 SignalException (Trap, instruction_0);
3381 000000,5.RS,5.RT,10.CODE,110001:SPECIAL:32::TGEU
3392 if ((unsigned_word) GPR[RS] >= (unsigned_word) GPR[RT])
3393 SignalException (Trap, instruction_0);
3397 000000,5.RS,5.RT,10.CODE,110010:SPECIAL:32::TLT
3408 if ((signed_word) GPR[RS] < (signed_word) GPR[RT])
3409 SignalException (Trap, instruction_0);
3413 000001,5.RS,01010,16.IMMEDIATE:REGIMM:32::TLTI
3414 "tlti r<RS>, <IMMEDIATE>"
3424 if ((signed_word) GPR[RS] < (signed_word) EXTEND16 (IMMEDIATE))
3425 SignalException (Trap, instruction_0);
3429 000001,5.RS,01011,16.IMMEDIATE:REGIMM:32::TLTIU
3430 "tltiu r<RS>, <IMMEDIATE>"
3440 if ((unsigned_word) GPR[RS] < (unsigned_word) EXTEND16 (IMMEDIATE))
3441 SignalException (Trap, instruction_0);
3445 000000,5.RS,5.RT,10.CODE,110011:SPECIAL:32::TLTU
3456 if ((unsigned_word) GPR[RS] < (unsigned_word) GPR[RT])
3457 SignalException (Trap, instruction_0);
3461 000000,5.RS,5.RT,10.CODE,110110:SPECIAL:32::TNE
3472 if ((signed_word) GPR[RS] != (signed_word) GPR[RT])
3473 SignalException (Trap, instruction_0);
3477 000001,5.RS,01110,16.IMMEDIATE:REGIMM:32::TNEI
3478 "tnei r<RS>, <IMMEDIATE>"
3488 if ((signed_word) GPR[RS] != (signed_word) EXTEND16 (IMMEDIATE))
3489 SignalException (Trap, instruction_0);
3493 :function:::void:do_xor:int rs, int rt, int rd
3495 TRACE_ALU_INPUT2 (GPR[rs], GPR[rt]);
3496 GPR[rd] = GPR[rs] ^ GPR[rt];
3497 TRACE_ALU_RESULT (GPR[rd]);
3500 000000,5.RS,5.RT,5.RD,00000,100110:SPECIAL:32::XOR
3501 "xor r<RD>, r<RS>, r<RT>"
3513 do_xor (SD_, RS, RT, RD);
3517 :function:::void:do_xori:int rs, int rt, unsigned16 immediate
3519 TRACE_ALU_INPUT2 (GPR[rs], immediate);
3520 GPR[rt] = GPR[rs] ^ immediate;
3521 TRACE_ALU_RESULT (GPR[rt]);
3524 001110,5.RS,5.RT,16.IMMEDIATE:NORMAL:32::XORI
3525 "xori r<RT>, r<RS>, %#lx<IMMEDIATE>"
3537 do_xori (SD_, RS, RT, IMMEDIATE);
3542 // MIPS Architecture:
3544 // FPU Instruction Set (COP1 & COP1X)
3552 case fmt_single: return "s";
3553 case fmt_double: return "d";
3554 case fmt_word: return "w";
3555 case fmt_long: return "l";
3556 case fmt_ps: return "ps";
3557 default: return "?";
3577 :%s::::COND:int cond
3581 case 00: return "f";
3582 case 01: return "un";
3583 case 02: return "eq";
3584 case 03: return "ueq";
3585 case 04: return "olt";
3586 case 05: return "ult";
3587 case 06: return "ole";
3588 case 07: return "ule";
3589 case 010: return "sf";
3590 case 011: return "ngle";
3591 case 012: return "seq";
3592 case 013: return "ngl";
3593 case 014: return "lt";
3594 case 015: return "nge";
3595 case 016: return "le";
3596 case 017: return "ngt";
3597 default: return "?";
3604 // Check that the given FPU format is usable, and signal a
3605 // ReservedInstruction exception if not.
3608 // check_fmt checks that the format is single or double.
3609 :function:::void:check_fmt:int fmt, instruction_word insn
3621 if ((fmt != fmt_single) && (fmt != fmt_double))
3622 SignalException (ReservedInstruction, insn);
3625 // check_fmt_p checks that the format is single, double, or paired single.
3626 :function:::void:check_fmt_p:int fmt, instruction_word insn
3636 /* None of these ISAs support Paired Single, so just fall back to
3637 the single/double check. */
3638 check_fmt (SD_, fmt, insn);
3641 :function:::void:check_fmt_p:int fmt, instruction_word insn
3645 if ((fmt != fmt_single) && (fmt != fmt_double)
3646 && (fmt != fmt_ps || (UserMode && (SR & (status_UX|status_PX)) == 0)))
3647 SignalException (ReservedInstruction, insn);
3653 // Check that the FPU is currently usable, and signal a CoProcessorUnusable
3654 // exception if not.
3657 :function:::void:check_fpu:
3669 if (! COP_Usable (1))
3670 SignalExceptionCoProcessorUnusable (1);
3676 // Load a double word FP value using 2 32-bit memory cycles a la MIPS II
3677 // or MIPS32. do_load cannot be used instead because it returns an
3678 // unsigned_word, which is limited to the size of the machine's registers.
3681 :function:::unsigned64:do_load_double:address_word base, address_word offset
3685 int bigendian = (BigEndianCPU ? ! ReverseEndian : ReverseEndian);
3692 vaddr = loadstore_ea (SD_, base, offset);
3693 if ((vaddr & AccessLength_DOUBLEWORD) != 0)
3695 SIM_CORE_SIGNAL (SD, STATE_CPU (SD, 0), cia, read_map,
3696 AccessLength_DOUBLEWORD + 1, vaddr, read_transfer,
3697 sim_core_unaligned_signal);
3699 AddressTranslation (vaddr, isDATA, isLOAD, &paddr, &uncached, isTARGET,
3701 LoadMemory (&memval, NULL, uncached, AccessLength_WORD, paddr, vaddr,
3703 v = (unsigned64)memval;
3704 LoadMemory (&memval, NULL, uncached, AccessLength_WORD, paddr + 4, vaddr + 4,
3706 return (bigendian ? ((v << 32) | memval) : (v | (memval << 32)));
3712 // Store a double word FP value using 2 32-bit memory cycles a la MIPS II
3713 // or MIPS32. do_load cannot be used instead because it returns an
3714 // unsigned_word, which is limited to the size of the machine's registers.
3717 :function:::void:do_store_double:address_word base, address_word offset, unsigned64 v
3721 int bigendian = (BigEndianCPU ? ! ReverseEndian : ReverseEndian);
3727 vaddr = loadstore_ea (SD_, base, offset);
3728 if ((vaddr & AccessLength_DOUBLEWORD) != 0)
3730 SIM_CORE_SIGNAL (SD, STATE_CPU(SD, 0), cia, read_map,
3731 AccessLength_DOUBLEWORD + 1, vaddr, write_transfer,
3732 sim_core_unaligned_signal);
3734 AddressTranslation (vaddr, isDATA, isSTORE, &paddr, &uncached, isTARGET,
3736 memval = (bigendian ? (v >> 32) : (v & 0xFFFFFFFF));
3737 StoreMemory (uncached, AccessLength_WORD, memval, 0, paddr, vaddr,
3739 memval = (bigendian ? (v & 0xFFFFFFFF) : (v >> 32));
3740 StoreMemory (uncached, AccessLength_WORD, memval, 0, paddr + 4, vaddr + 4,
3745 010001,10,3.FMT,00000,5.FS,5.FD,000101:COP1:32,f::ABS.fmt
3746 "abs.%s<FMT> f<FD>, f<FS>"
3760 check_fmt_p (SD_, fmt, instruction_0);
3761 StoreFPR (FD, fmt, AbsoluteValue (ValueFPR (FS, fmt), fmt));
3766 010001,10,3.FMT,5.FT,5.FS,5.FD,000000:COP1:32,f::ADD.fmt
3767 "add.%s<FMT> f<FD>, f<FS>, f<FT>"
3781 check_fmt_p (SD_, fmt, instruction_0);
3782 StoreFPR (FD, fmt, Add (ValueFPR (FS, fmt), ValueFPR (FT, fmt), fmt));
3786 010011,5.RS,5.FT,5.FS,5.FD,011,110:COP1X:64,f::ALNV.PS
3787 "alnv.ps f<FD>, f<FS>, f<FT>, r<RS>"
3795 check_u64 (SD_, instruction_0);
3796 fs = ValueFPR (FS, fmt_ps);
3797 if ((GPR[RS] & 0x3) != 0)
3799 if ((GPR[RS] & 0x4) == 0)
3803 ft = ValueFPR (FT, fmt_ps);
3805 fd = PackPS (PSLower (fs), PSUpper (ft));
3807 fd = PackPS (PSLower (ft), PSUpper (fs));
3809 StoreFPR (FD, fmt_ps, fd);
3818 010001,01000,3.0,1.ND,1.TF,16.OFFSET:COP1S:32,f::BC1a
3819 "bc1%s<TF>%s<ND> <OFFSET>"
3825 TRACE_BRANCH_INPUT (PREVCOC1());
3826 if (PREVCOC1() == TF)
3828 address_word dest = NIA + (EXTEND16 (OFFSET) << 2);
3829 TRACE_BRANCH_RESULT (dest);
3834 TRACE_BRANCH_RESULT (0);
3835 NULLIFY_NEXT_INSTRUCTION ();
3839 TRACE_BRANCH_RESULT (NIA);
3843 010001,01000,3.CC,1.ND,1.TF,16.OFFSET:COP1S:32,f::BC1b
3844 "bc1%s<TF>%s<ND> <OFFSET>":CC == 0
3845 "bc1%s<TF>%s<ND> <CC>, <OFFSET>"
3855 if (GETFCC(CC) == TF)
3857 address_word dest = NIA + (EXTEND16 (OFFSET) << 2);
3862 NULLIFY_NEXT_INSTRUCTION ();
3867 010001,10,3.FMT,5.FT,5.FS,3.0,00,11,4.COND:COP1:32,f::C.cond.fmta
3868 "c.%s<COND>.%s<FMT> f<FS>, f<FT>"
3875 check_fmt_p (SD_, fmt, instruction_0);
3876 Compare (ValueFPR (FS, fmt), ValueFPR (FT, fmt), fmt, COND, 0);
3877 TRACE_ALU_RESULT (ValueFCR (31));
3880 010001,10,3.FMT,5.FT,5.FS,3.CC,00,11,4.COND:COP1:32,f::C.cond.fmtb
3881 "c.%s<COND>.%s<FMT> f<FS>, f<FT>":CC == 0
3882 "c.%s<COND>.%s<FMT> <CC>, f<FS>, f<FT>"
3893 check_fmt_p (SD_, fmt, instruction_0);
3894 Compare (ValueFPR (FS, fmt), ValueFPR (FT, fmt), fmt, COND, CC);
3895 TRACE_ALU_RESULT (ValueFCR (31));
3899 010001,10,3.FMT,00000,5.FS,5.FD,001010:COP1:64,f::CEIL.L.fmt
3900 "ceil.l.%s<FMT> f<FD>, f<FS>"
3911 check_fmt (SD_, fmt, instruction_0);
3912 StoreFPR (FD, fmt_long, Convert (FP_RM_TOPINF, ValueFPR (FS, fmt), fmt,
3917 010001,10,3.FMT,00000,5.FS,5.FD,001110:COP1:32,f::CEIL.W
3918 "ceil.w.%s<FMT> f<FD>, f<FS>"
3931 check_fmt (SD_, fmt, instruction_0);
3932 StoreFPR (FD, fmt_word, Convert (FP_RM_TOPINF, ValueFPR (FS, fmt), fmt,
3937 010001,00010,5.RT,5.FS,00000000000:COP1:32,f::CFC1a
3945 PENDING_FILL (RT, EXTEND32 (FCR0));
3947 PENDING_FILL (RT, EXTEND32 (FCR31));
3951 010001,00010,5.RT,5.FS,00000000000:COP1:32,f::CFC1b
3959 if (FS == 0 || FS == 31)
3961 unsigned_word fcr = ValueFCR (FS);
3962 TRACE_ALU_INPUT1 (fcr);
3966 TRACE_ALU_RESULT (GPR[RT]);
3969 010001,00010,5.RT,5.FS,00000000000:COP1:32,f::CFC1c
3976 if (FS == 0 || FS == 25 || FS == 26 || FS == 28 || FS == 31)
3978 unsigned_word fcr = ValueFCR (FS);
3979 TRACE_ALU_INPUT1 (fcr);
3983 TRACE_ALU_RESULT (GPR[RT]);
3986 010001,00110,5.RT,5.FS,00000000000:COP1:32,f::CTC1a
3994 PENDING_FILL (FCRCS_REGNUM, VL4_8 (GPR[RT]));
3998 010001,00110,5.RT,5.FS,00000000000:COP1:32,f::CTC1b
4006 TRACE_ALU_INPUT1 (GPR[RT]);
4008 StoreFCR (FS, GPR[RT]);
4012 010001,00110,5.RT,5.FS,00000000000:COP1:32,f::CTC1c
4019 TRACE_ALU_INPUT1 (GPR[RT]);
4020 if (FS == 25 || FS == 26 || FS == 28 || FS == 31)
4021 StoreFCR (FS, GPR[RT]);
4027 // FIXME: Does not correctly differentiate between mips*
4029 010001,10,3.FMT,00000,5.FS,5.FD,100001:COP1:32,f::CVT.D.fmt
4030 "cvt.d.%s<FMT> f<FD>, f<FS>"
4044 if ((fmt == fmt_double) | 0)
4045 SignalException (ReservedInstruction, instruction_0);
4046 StoreFPR (FD, fmt_double, Convert (GETRM (), ValueFPR (FS, fmt), fmt,
4051 010001,10,3.FMT,00000,5.FS,5.FD,100101:COP1:64,f::CVT.L.fmt
4052 "cvt.l.%s<FMT> f<FD>, f<FS>"
4063 if ((fmt == fmt_long) | ((fmt == fmt_long) || (fmt == fmt_word)))
4064 SignalException (ReservedInstruction, instruction_0);
4065 StoreFPR (FD, fmt_long, Convert (GETRM (), ValueFPR (FS, fmt), fmt,
4070 010001,10,000,5.FT,5.FS,5.FD,100110:COP1:64,f::CVT.PS.S
4071 "cvt.ps.s f<FD>, f<FS>, f<FT>"
4076 check_u64 (SD_, instruction_0);
4077 StoreFPR (FD, fmt_ps, PackPS (ValueFPR (FS, fmt_single),
4078 ValueFPR (FT, fmt_single)));
4083 // FIXME: Does not correctly differentiate between mips*
4085 010001,10,3.FMT!6,00000,5.FS,5.FD,100000:COP1:32,f::CVT.S.fmt
4086 "cvt.s.%s<FMT> f<FD>, f<FS>"
4100 if ((fmt == fmt_single) | 0)
4101 SignalException (ReservedInstruction, instruction_0);
4102 StoreFPR (FD, fmt_single, Convert (GETRM (), ValueFPR (FS, fmt), fmt,
4107 010001,10,110,00000,5.FS,5.FD,101000:COP1:64,f::CVT.S.PL
4108 "cvt.s.pl f<FD>, f<FS>"
4113 check_u64 (SD_, instruction_0);
4114 StoreFPR (FD, fmt_single, PSLower (ValueFPR (FS, fmt_ps)));
4118 010001,10,110,00000,5.FS,5.FD,100000:COP1:64,f::CVT.S.PU
4119 "cvt.s.pu f<FD>, f<FS>"
4124 check_u64 (SD_, instruction_0);
4125 StoreFPR (FD, fmt_single, PSUpper (ValueFPR (FS, fmt_ps)));
4129 010001,10,3.FMT!6,00000,5.FS,5.FD,100100:COP1:32,f::CVT.W.fmt
4130 "cvt.w.%s<FMT> f<FD>, f<FS>"
4144 if ((fmt == fmt_word) | ((fmt == fmt_long) || (fmt == fmt_word)))
4145 SignalException (ReservedInstruction, instruction_0);
4146 StoreFPR (FD, fmt_word, Convert (GETRM (), ValueFPR (FS, fmt), fmt,
4151 010001,10,3.FMT,5.FT,5.FS,5.FD,000011:COP1:32,f::DIV.fmt
4152 "div.%s<FMT> f<FD>, f<FS>, f<FT>"
4166 check_fmt (SD_, fmt, instruction_0);
4167 StoreFPR (FD, fmt, Divide (ValueFPR (FS, fmt), ValueFPR (FT, fmt), fmt));
4171 010001,00001,5.RT,5.FS,00000000000:COP1:64,f::DMFC1a
4172 "dmfc1 r<RT>, f<FS>"
4177 check_u64 (SD_, instruction_0);
4178 if (SizeFGR () == 64)
4180 else if ((FS & 0x1) == 0)
4181 v = SET64HI (FGR[FS+1]) | FGR[FS];
4183 v = SET64HI (0xDEADC0DE) | 0xBAD0BAD0;
4184 PENDING_FILL (RT, v);
4185 TRACE_ALU_RESULT (v);
4188 010001,00001,5.RT,5.FS,00000000000:COP1:64,f::DMFC1b
4189 "dmfc1 r<RT>, f<FS>"
4198 check_u64 (SD_, instruction_0);
4199 if (SizeFGR () == 64)
4201 else if ((FS & 0x1) == 0)
4202 GPR[RT] = SET64HI (FGR[FS+1]) | FGR[FS];
4204 GPR[RT] = SET64HI (0xDEADC0DE) | 0xBAD0BAD0;
4205 TRACE_ALU_RESULT (GPR[RT]);
4209 010001,00101,5.RT,5.FS,00000000000:COP1:64,f::DMTC1a
4210 "dmtc1 r<RT>, f<FS>"
4215 check_u64 (SD_, instruction_0);
4216 if (SizeFGR () == 64)
4217 PENDING_FILL ((FS + FGR_BASE), GPR[RT]);
4218 else if ((FS & 0x1) == 0)
4220 PENDING_FILL (((FS + 1) + FGR_BASE), VH4_8 (GPR[RT]));
4221 PENDING_FILL ((FS + FGR_BASE), VL4_8 (GPR[RT]));
4225 TRACE_FP_RESULT (GPR[RT]);
4228 010001,00101,5.RT,5.FS,00000000000:COP1:64,f::DMTC1b
4229 "dmtc1 r<RT>, f<FS>"
4238 check_u64 (SD_, instruction_0);
4239 if (SizeFGR () == 64)
4240 StoreFPR (FS, fmt_uninterpreted_64, GPR[RT]);
4241 else if ((FS & 0x1) == 0)
4242 StoreFPR (FS, fmt_uninterpreted_64, GPR[RT]);
4248 010001,10,3.FMT,00000,5.FS,5.FD,001011:COP1:64,f::FLOOR.L.fmt
4249 "floor.l.%s<FMT> f<FD>, f<FS>"
4260 check_fmt (SD_, fmt, instruction_0);
4261 StoreFPR (FD, fmt_long, Convert (FP_RM_TOMINF, ValueFPR (FS, fmt), fmt,
4266 010001,10,3.FMT,00000,5.FS,5.FD,001111:COP1:32,f::FLOOR.W.fmt
4267 "floor.w.%s<FMT> f<FD>, f<FS>"
4280 check_fmt (SD_, fmt, instruction_0);
4281 StoreFPR (FD, fmt_word, Convert (FP_RM_TOMINF, ValueFPR (FS, fmt), fmt,
4286 110101,5.BASE,5.FT,16.OFFSET:COP1:32,f::LDC1a
4287 "ldc1 f<FT>, <OFFSET>(r<BASE>)"
4292 COP_LD (1, FT, do_load_double (SD_, GPR[BASE], EXTEND16 (OFFSET)));
4296 110101,5.BASE,5.FT,16.OFFSET:COP1:32,f::LDC1b
4297 "ldc1 f<FT>, <OFFSET>(r<BASE>)"
4307 COP_LD (1, FT, do_load (SD_, AccessLength_DOUBLEWORD, GPR[BASE], EXTEND16 (OFFSET)));
4311 010011,5.BASE,5.INDEX,5.0,5.FD,000001:COP1X:64,f::LDXC1
4312 "ldxc1 f<FD>, r<INDEX>(r<BASE>)"
4319 check_u64 (SD_, instruction_0);
4320 COP_LD (1, FD, do_load (SD_, AccessLength_DOUBLEWORD, GPR[BASE], GPR[INDEX]));
4324 010011,5.BASE,5.INDEX,5.0,5.FD,000101:COP1X:64,f::LUXC1
4325 "luxc1 f<FD>, r<INDEX>(r<BASE>)"
4329 address_word base = GPR[BASE];
4330 address_word index = GPR[INDEX];
4331 address_word vaddr = base + index;
4333 check_u64 (SD_, instruction_0);
4334 /* Arrange for the bottom 3 bits of (base + index) to be 0. */
4335 if ((vaddr & 0x7) != 0)
4336 index -= (vaddr & 0x7);
4337 COP_LD (1, FD, do_load (SD_, AccessLength_DOUBLEWORD, base, index));
4341 110001,5.BASE,5.FT,16.OFFSET:COP1:32,f::LWC1
4342 "lwc1 f<FT>, <OFFSET>(r<BASE>)"
4355 COP_LW (1, FT, do_load (SD_, AccessLength_WORD, GPR[BASE], EXTEND16 (OFFSET)));
4359 010011,5.BASE,5.INDEX,5.0,5.FD,000000:COP1X:64,f::LWXC1
4360 "lwxc1 f<FD>, r<INDEX>(r<BASE>)"
4367 check_u64 (SD_, instruction_0);
4368 COP_LW (1, FD, do_load (SD_, AccessLength_WORD, GPR[BASE], GPR[INDEX]));
4373 010011,5.FR,5.FT,5.FS,5.FD,100,3.FMT:COP1X:64,f::MADD.fmt
4374 "madd.%s<FMT> f<FD>, f<FR>, f<FS>, f<FT>"
4382 check_u64 (SD_, instruction_0);
4383 check_fmt_p (SD_, fmt, instruction_0);
4384 StoreFPR (FD, fmt, MultiplyAdd (ValueFPR (FS, fmt), ValueFPR (FT, fmt),
4385 ValueFPR (FR, fmt), fmt));
4389 010001,00000,5.RT,5.FS,00000000000:COP1:32,f::MFC1a
4397 v = EXTEND32 (FGR[FS]);
4398 PENDING_FILL (RT, v);
4399 TRACE_ALU_RESULT (v);
4402 010001,00000,5.RT,5.FS,00000000000:COP1:32,f::MFC1b
4413 GPR[RT] = EXTEND32 (FGR[FS]);
4414 TRACE_ALU_RESULT (GPR[RT]);
4418 010001,10,3.FMT,00000,5.FS,5.FD,000110:COP1:32,f::MOV.fmt
4419 "mov.%s<FMT> f<FD>, f<FS>"
4433 check_fmt_p (SD_, fmt, instruction_0);
4434 StoreFPR (FD, fmt, ValueFPR (FS, fmt));
4440 000000,5.RS,3.CC,0,1.TF,5.RD,00000,000001:SPECIAL:32,f::MOVtf
4441 "mov%s<TF> r<RD>, r<RS>, <CC>"
4449 if (GETFCC(CC) == TF)
4456 010001,10,3.FMT,3.CC,0,1.TF,5.FS,5.FD,010001:COP1:32,f::MOVtf.fmt
4457 "mov%s<TF>.%s<FMT> f<FD>, f<FS>, <CC>"
4468 if (GETFCC(CC) == TF)
4469 StoreFPR (FD, fmt, ValueFPR (FS, fmt));
4471 StoreFPR (FD, fmt, ValueFPR (FD, fmt)); /* set fmt */
4476 fd = PackPS (PSUpper (ValueFPR ((GETFCC (CC+1) == TF) ? FS : FD,
4478 PSLower (ValueFPR ((GETFCC (CC+0) == TF) ? FS : FD,
4480 StoreFPR (FD, fmt_ps, fd);
4485 010001,10,3.FMT,5.RT,5.FS,5.FD,010011:COP1:32,f::MOVN.fmt
4486 "movn.%s<FMT> f<FD>, f<FS>, r<RT>"
4495 StoreFPR (FD, FMT, ValueFPR (FS, FMT));
4497 StoreFPR (FD, FMT, ValueFPR (FD, FMT));
4504 // MOVT.fmt see MOVtf.fmt
4508 010001,10,3.FMT,5.RT,5.FS,5.FD,010010:COP1:32,f::MOVZ.fmt
4509 "movz.%s<FMT> f<FD>, f<FS>, r<RT>"
4518 StoreFPR (FD, FMT, ValueFPR (FS, FMT));
4520 StoreFPR (FD, FMT, ValueFPR (FD, FMT));
4524 010011,5.FR,5.FT,5.FS,5.FD,101,3.FMT:COP1X:64,f::MSUB.fmt
4525 "msub.%s<FMT> f<FD>, f<FR>, f<FS>, f<FT>"
4533 check_u64 (SD_, instruction_0);
4534 check_fmt_p (SD_, fmt, instruction_0);
4535 StoreFPR (FD, fmt, MultiplySub (ValueFPR (FS, fmt), ValueFPR (FT, fmt),
4536 ValueFPR (FR, fmt), fmt));
4540 010001,00100,5.RT,5.FS,00000000000:COP1:32,f::MTC1a
4547 if (SizeFGR () == 64)
4548 PENDING_FILL ((FS + FGR_BASE), (SET64HI (0xDEADC0DE) | VL4_8 (GPR[RT])));
4550 PENDING_FILL ((FS + FGR_BASE), VL4_8 (GPR[RT]));
4551 TRACE_FP_RESULT (GPR[RT]);
4554 010001,00100,5.RT,5.FS,00000000000:COP1:32,f::MTC1b
4565 StoreFPR (FS, fmt_uninterpreted_32, VL4_8 (GPR[RT]));
4569 010001,10,3.FMT,5.FT,5.FS,5.FD,000010:COP1:32,f::MUL.fmt
4570 "mul.%s<FMT> f<FD>, f<FS>, f<FT>"
4584 check_fmt_p (SD_, fmt, instruction_0);
4585 StoreFPR (FD, fmt, Multiply (ValueFPR (FS, fmt), ValueFPR (FT, fmt), fmt));
4589 010001,10,3.FMT,00000,5.FS,5.FD,000111:COP1:32,f::NEG.fmt
4590 "neg.%s<FMT> f<FD>, f<FS>"
4604 check_fmt_p (SD_, fmt, instruction_0);
4605 StoreFPR (FD, fmt, Negate (ValueFPR (FS, fmt), fmt));
4609 010011,5.FR,5.FT,5.FS,5.FD,110,3.FMT:COP1X:64,f::NMADD.fmt
4610 "nmadd.%s<FMT> f<FD>, f<FR>, f<FS>, f<FT>"
4618 check_u64 (SD_, instruction_0);
4619 check_fmt_p (SD_, fmt, instruction_0);
4620 StoreFPR (FD, fmt, NegMultiplyAdd (ValueFPR (FS, fmt), ValueFPR (FT, fmt),
4621 ValueFPR (FR, fmt), fmt));
4625 010011,5.FR,5.FT,5.FS,5.FD,111,3.FMT:COP1X:64,f::NMSUB.fmt
4626 "nmsub.%s<FMT> f<FD>, f<FR>, f<FS>, f<FT>"
4634 check_u64 (SD_, instruction_0);
4635 check_fmt_p (SD_, fmt, instruction_0);
4636 StoreFPR (FD, fmt, NegMultiplySub (ValueFPR (FS, fmt), ValueFPR (FT, fmt),
4637 ValueFPR (FR, fmt), fmt));
4641 010001,10,110,5.FT,5.FS,5.FD,101100:COP1:64,f::PLL.PS
4642 "pll.ps f<FD>, f<FS>, f<FT>"
4647 check_u64 (SD_, instruction_0);
4648 StoreFPR (FD, fmt_ps, PackPS (PSLower (ValueFPR (FS, fmt_ps)),
4649 PSLower (ValueFPR (FT, fmt_ps))));
4653 010001,10,110,5.FT,5.FS,5.FD,101101:COP1:64,f::PLU.PS
4654 "plu.ps f<FD>, f<FS>, f<FT>"
4659 check_u64 (SD_, instruction_0);
4660 StoreFPR (FD, fmt_ps, PackPS (PSLower (ValueFPR (FS, fmt_ps)),
4661 PSUpper (ValueFPR (FT, fmt_ps))));
4665 010011,5.BASE,5.INDEX,5.HINT,00000,001111:COP1X:64::PREFX
4666 "prefx <HINT>, r<INDEX>(r<BASE>)"
4672 address_word base = GPR[BASE];
4673 address_word index = GPR[INDEX];
4675 address_word vaddr = loadstore_ea (SD_, base, index);
4678 if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
4679 Prefetch(uncached,paddr,vaddr,isDATA,HINT);
4684 010001,10,110,5.FT,5.FS,5.FD,101110:COP1:64,f::PUL.PS
4685 "pul.ps f<FD>, f<FS>, f<FT>"
4690 check_u64 (SD_, instruction_0);
4691 StoreFPR (FD, fmt_ps, PackPS (PSUpper (ValueFPR (FS, fmt_ps)),
4692 PSLower (ValueFPR (FT, fmt_ps))));
4696 010001,10,110,5.FT,5.FS,5.FD,101111:COP1:64,f::PUU.PS
4697 "puu.ps f<FD>, f<FS>, f<FT>"
4702 check_u64 (SD_, instruction_0);
4703 StoreFPR (FD, fmt_ps, PackPS (PSUpper (ValueFPR (FS, fmt_ps)),
4704 PSUpper (ValueFPR (FT, fmt_ps))));
4708 010001,10,3.FMT,00000,5.FS,5.FD,010101:COP1:32,f::RECIP.fmt
4709 "recip.%s<FMT> f<FD>, f<FS>"
4717 check_fmt (SD_, fmt, instruction_0);
4718 StoreFPR (FD, fmt, Recip (ValueFPR (FS, fmt), fmt));
4722 010001,10,3.FMT,00000,5.FS,5.FD,001000:COP1:64,f::ROUND.L.fmt
4723 "round.l.%s<FMT> f<FD>, f<FS>"
4734 check_fmt (SD_, fmt, instruction_0);
4735 StoreFPR (FD, fmt_long, Convert (FP_RM_NEAREST, ValueFPR (FS, fmt), fmt,
4740 010001,10,3.FMT,00000,5.FS,5.FD,001100:COP1:32,f::ROUND.W.fmt
4741 "round.w.%s<FMT> f<FD>, f<FS>"
4754 check_fmt (SD_, fmt, instruction_0);
4755 StoreFPR (FD, fmt_word, Convert (FP_RM_NEAREST, ValueFPR (FS, fmt), fmt,
4760 010001,10,3.FMT,00000,5.FS,5.FD,010110:COP1:32,f::RSQRT.fmt
4761 "rsqrt.%s<FMT> f<FD>, f<FS>"
4769 check_fmt (SD_, fmt, instruction_0);
4770 StoreFPR (FD, fmt, RSquareRoot (ValueFPR (FS, fmt), fmt));
4774 111101,5.BASE,5.FT,16.OFFSET:COP1:32,f::SDC1a
4775 "sdc1 f<FT>, <OFFSET>(r<BASE>)"
4780 do_store_double (SD_, GPR[BASE], EXTEND16 (OFFSET), COP_SD (1, FT));
4784 111101,5.BASE,5.FT,16.OFFSET:COP1:32,f::SDC1b
4785 "sdc1 f<FT>, <OFFSET>(r<BASE>)"
4795 do_store (SD_, AccessLength_DOUBLEWORD, GPR[BASE], EXTEND16 (OFFSET), COP_SD (1, FT));
4799 010011,5.BASE,5.INDEX,5.FS,00000001001:COP1X:64,f::SDXC1
4800 "sdxc1 f<FS>, r<INDEX>(r<BASE>)"
4807 check_u64 (SD_, instruction_0);
4808 do_store (SD_, AccessLength_DOUBLEWORD, GPR[BASE], GPR[INDEX], COP_SD (1, FS));
4812 010011,5.BASE,5.INDEX,5.FS,00000,001101:COP1X:64,f::SUXC1
4813 "suxc1 f<FS>, r<INDEX>(r<BASE>)"
4818 address_word base = GPR[BASE];
4819 address_word index = GPR[INDEX];
4820 address_word vaddr = base + index;
4822 check_u64 (SD_, instruction_0);
4823 /* Arrange for the bottom 3 bits of (base + index) to be 0. */
4824 if ((vaddr & 0x7) != 0)
4825 index -= (vaddr & 0x7);
4826 do_store (SD_, AccessLength_DOUBLEWORD, base, index, COP_SD (1, FS));
4830 010001,10,3.FMT,00000,5.FS,5.FD,000100:COP1:32,f::SQRT.fmt
4831 "sqrt.%s<FMT> f<FD>, f<FS>"
4844 check_fmt (SD_, fmt, instruction_0);
4845 StoreFPR (FD, fmt, (SquareRoot (ValueFPR (FS, fmt), fmt)));
4849 010001,10,3.FMT,5.FT,5.FS,5.FD,000001:COP1:32,f::SUB.fmt
4850 "sub.%s<FMT> f<FD>, f<FS>, f<FT>"
4864 check_fmt_p (SD_, fmt, instruction_0);
4865 StoreFPR (FD, fmt, Sub (ValueFPR (FS, fmt), ValueFPR (FT, fmt), fmt));
4870 111001,5.BASE,5.FT,16.OFFSET:COP1:32,f::SWC1
4871 "swc1 f<FT>, <OFFSET>(r<BASE>)"
4883 address_word base = GPR[BASE];
4884 address_word offset = EXTEND16 (OFFSET);
4887 address_word vaddr = loadstore_ea (SD_, base, offset);
4890 if ((vaddr & 3) != 0)
4892 SIM_CORE_SIGNAL (SD, CPU, cia, read_map, AccessLength_WORD+1, vaddr, write_transfer, sim_core_unaligned_signal);
4896 if (AddressTranslation(vaddr,isDATA,isSTORE,&paddr,&uncached,isTARGET,isREAL))
4899 uword64 memval1 = 0;
4900 uword64 mask = (WITH_TARGET_WORD_BITSIZE == 64 ? 0x7 : 0x3);
4901 address_word reverseendian = (ReverseEndian ?(mask ^ AccessLength_WORD): 0);
4902 address_word bigendiancpu = (BigEndianCPU ?(mask ^ AccessLength_WORD): 0);
4904 paddr = ((paddr & ~mask) | ((paddr & mask) ^ reverseendian));
4905 byte = ((vaddr & mask) ^ bigendiancpu);
4906 memval = (((uword64)COP_SW(((instruction_0 >> 26) & 0x3),FT)) << (8 * byte));
4907 StoreMemory(uncached,AccessLength_WORD,memval,memval1,paddr,vaddr,isREAL);
4914 010011,5.BASE,5.INDEX,5.FS,00000,001000:COP1X:32,f::SWXC1
4915 "swxc1 f<FS>, r<INDEX>(r<BASE>)"
4922 address_word base = GPR[BASE];
4923 address_word index = GPR[INDEX];
4925 check_u64 (SD_, instruction_0);
4927 address_word vaddr = loadstore_ea (SD_, base, index);
4930 if ((vaddr & 3) != 0)
4932 SIM_CORE_SIGNAL (SD, CPU, cia, read_map, 4, vaddr, write_transfer, sim_core_unaligned_signal);
4936 if (AddressTranslation(vaddr,isDATA,isSTORE,&paddr,&uncached,isTARGET,isREAL))
4938 unsigned64 memval = 0;
4939 unsigned64 memval1 = 0;
4940 unsigned64 mask = 0x7;
4942 paddr = ((paddr & ~mask) | ((paddr & mask) ^ (ReverseEndian << 2)));
4943 byte = ((vaddr & mask) ^ (BigEndianCPU << 2));
4944 memval = (((unsigned64)COP_SW(1,FS)) << (8 * byte));
4946 StoreMemory(uncached,AccessLength_WORD,memval,memval1,paddr,vaddr,isREAL);
4954 010001,10,3.FMT,00000,5.FS,5.FD,001001:COP1:64,f::TRUNC.L.fmt
4955 "trunc.l.%s<FMT> f<FD>, f<FS>"
4966 check_fmt (SD_, fmt, instruction_0);
4967 StoreFPR (FD, fmt_long, Convert (FP_RM_TOZERO, ValueFPR (FS, fmt), fmt,
4972 010001,10,3.FMT,00000,5.FS,5.FD,001101:COP1:32,f::TRUNC.W
4973 "trunc.w.%s<FMT> f<FD>, f<FS>"
4986 check_fmt (SD_, fmt, instruction_0);
4987 StoreFPR (FD, fmt_word, Convert (FP_RM_TOZERO, ValueFPR (FS, fmt), fmt,
4993 // MIPS Architecture:
4995 // System Control Instruction Set (COP0)
4999 010000,01000,00000,16.OFFSET:COP0:32::BC0F
5011 010000,01000,00000,16.OFFSET:COP0:32::BC0F
5013 // stub needed for eCos as tx39 hardware bug workaround
5020 010000,01000,00010,16.OFFSET:COP0:32::BC0FL
5033 010000,01000,00001,16.OFFSET:COP0:32::BC0T
5045 010000,01000,00011,16.OFFSET:COP0:32::BC0TL
5058 101111,5.BASE,5.OP,16.OFFSET:NORMAL:32::CACHE
5059 "cache <OP>, <OFFSET>(r<BASE>)"
5069 address_word base = GPR[BASE];
5070 address_word offset = EXTEND16 (OFFSET);
5072 address_word vaddr = loadstore_ea (SD_, base, offset);
5075 if (AddressTranslation(vaddr,isDATA,isLOAD,&paddr,&uncached,isTARGET,isREAL))
5076 CacheOp(OP,vaddr,paddr,instruction_0);
5081 010000,00001,5.RT,5.RD,00000000000:COP0:64::DMFC0
5082 "dmfc0 r<RT>, r<RD>"
5088 check_u64 (SD_, instruction_0);
5089 DecodeCoproc (instruction_0);
5093 010000,00101,5.RT,5.RD,00000000000:COP0:64::DMTC0
5094 "dmtc0 r<RT>, r<RD>"
5100 check_u64 (SD_, instruction_0);
5101 DecodeCoproc (instruction_0);
5105 010000,1,0000000000000000000,011000:COP0:32::ERET
5115 if (SR & status_ERL)
5117 /* Oops, not yet available */
5118 sim_io_printf (SD, "Warning: ERET when SR[ERL] set not supported");
5130 010000,00000,5.RT,5.RD,00000,6.REGX:COP0:32::MFC0
5131 "mfc0 r<RT>, r<RD> # <REGX>"
5143 TRACE_ALU_INPUT0 ();
5144 DecodeCoproc (instruction_0);
5145 TRACE_ALU_RESULT (GPR[RT]);
5148 010000,00100,5.RT,5.RD,00000,6.REGX:COP0:32::MTC0
5149 "mtc0 r<RT>, r<RD> # <REGX>"
5161 DecodeCoproc (instruction_0);
5165 010000,1,0000000000000000000,010000:COP0:32::RFE
5176 DecodeCoproc (instruction_0);
5180 0100,ZZ!0!1!3,5.COP_FUN0!8,5.COP_FUN1,16.COP_FUN2:NORMAL:32::COPz
5181 "cop<ZZ> <COP_FUN0><COP_FUN1><COP_FUN2>"
5192 DecodeCoproc (instruction_0);
5197 010000,1,0000000000000000000,001000:COP0:32::TLBP
5210 010000,1,0000000000000000000,000001:COP0:32::TLBR
5223 010000,1,0000000000000000000,000010:COP0:32::TLBWI
5236 010000,1,0000000000000000000,000110:COP0:32::TLBWR
5250 :include:::mdmx.igen
5251 :include:::mips3d.igen