3 // toshiba specific instructions.
6 011100,5.RS,5.RT,5.RD,00000000000:MMINORM:::MADD
7 "madd r<RS>, r<RT>":RD == 0
8 "madd r<RD>, r<RS>, r<RT>"
10 // start-sanitize-r5900
14 signed64 prod = (U8_4 (VL4_8 (HI), VL4_8 (LO))
15 + ((signed64) EXTEND32 (GPR[RT])
16 * (signed64) EXTEND32 (GPR[RS])));
17 TRACE_ALU_INPUT2 (GPR[RS], GPR[RT]);
19 HI = EXTEND32 (VH4_8 (prod));
20 TRACE_ALU_RESULT2 (HI, LO);
26 011100,5.RS,5.RT,5.RD,00000000001:MMINORM:::MADDU
27 "maddu r<RS>, r<RT>":RD == 0
28 "maddu r<RD>, r<RS>, r<RT>"
30 // start-sanitize-r5900
34 unsigned64 prod = (U8_4 (VL4_8 (HI), VL4_8 (LO))
35 + ((unsigned64) VL4_8 (GPR[RS])
36 * (unsigned64) VL4_8 (GPR[RT])));
37 TRACE_ALU_INPUT2 (GPR[RS], GPR[RT]);
39 HI = EXTEND32 (VH4_8 (prod));
40 TRACE_ALU_RESULT2 (HI, LO);