aboutsummaryrefslogtreecommitdiff
path: root/sim/mips/tx.igen
blob: 7e4af39ce0a8828eac58affcc5cf8796b37acedb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
// -*- C -*-
//
// toshiba specific instructions.
//

011100,5.RS,5.RT,5.RD,00000000000:MMINORM:::MADD
"madd r<RS>, r<RT>":RD == 0
"madd r<RD>, r<RS>, r<RT>"
*r3900
// start-sanitize-r5900
*r5900:
// end-sanitize-r5900
{
  signed64 prod = (U8_4 (VL4_8 (HI), VL4_8 (LO))
		   + ((signed64) EXTEND32 (GPR[RT])
		      * (signed64) EXTEND32 (GPR[RS])));
  TRACE_ALU_INPUT2 (GPR[RS], GPR[RT]);
  LO = EXTEND32 (prod);
  HI = EXTEND32 (VH4_8 (prod));
  TRACE_ALU_RESULT2 (HI, LO);
  if(RD != 0 )
    GPR[RD] = LO;
}


011100,5.RS,5.RT,5.RD,00000000001:MMINORM:::MADDU
"maddu r<RS>, r<RT>":RD == 0
"maddu r<RD>, r<RS>, r<RT>"
*r3900
// start-sanitize-r5900
*r5900:
// end-sanitize-r5900
{
  unsigned64 prod = (U8_4 (VL4_8 (HI), VL4_8 (LO))
		     + ((unsigned64) VL4_8 (GPR[RS])
			* (unsigned64) VL4_8 (GPR[RT])));
  TRACE_ALU_INPUT2 (GPR[RS], GPR[RT]);
  LO = EXTEND32 (prod);
  HI = EXTEND32 (VH4_8 (prod));
  TRACE_ALU_RESULT2 (HI, LO);
  if(RD != 0)
    GPR[RD] = LO;
}