zenithsiz/ftmemsim-valgrind
1
0
Fork 0
mirror of https://github.com/Zenithsiz/ftmemsim-valgrind.git synced 2026-02-13 06:33:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Simplified front-end IR encoding for some subtracts

Browse Source 
git-svn-id: svn://svn.valgrind.org/vex/trunk@970
This commit is contained in:
Cerion Armour-Brown
2005-02-25 16:43:08 +00:00
parent 18d3a5b8d3
commit 8aba2d8a5f
1 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
VEX/priv/guest-ppc32/toIR.c
View File

@@ -1153,6 +1153,7 @@ static Bool dis_int_arith ( UInt theInstr )
case 0x08: // subfic (Subtract from Immediate Carrying, p613)
DIP("subfic r%d,r%d,0x%x\n", Rd_addr, Ra_addr, SIMM_16);
// rD = exts_simm - rA
assign( Rd, binop(Iop_Sub32, mkU32(EXTS_SIMM), mkexpr(Ra)) );
op = PPC32G_FLAG_OP_SUBFI;
do_ca = True;
@@ -1301,9 +1302,8 @@ static Bool dis_int_arith ( UInt theInstr )
DIP("subf%s%s r%d,r%d,r%d\n",
flag_OE ? "o" : "", flag_Rc ? "." : "",
Rd_addr, Ra_addr, Rb_addr);
// rD = (log not)rA + rB + 1
assign( Rd, binop(Iop_Add32, unop(Iop_Not32, mkexpr(Ra)),
binop(Iop_Add32, mkexpr(Rb), mkU32(1))) );
// rD = rB - rA
assign( Rd, binop(Iop_Sub32, mkexpr(Rb), mkexpr(Ra)) );
op = PPC32G_FLAG_OP_SUBF;
do_ov = True;
break;
@@ -1312,9 +1312,8 @@ static Bool dis_int_arith ( UInt theInstr )
DIP("subfc%s%s r%d,r%d,r%d\n",
flag_OE ? "o" : "", flag_Rc ? "." : "",
Rd_addr, Ra_addr, Rb_addr);
// rD = (log not)rA + rB + 1
assign( Rd, binop(Iop_Add32, unop(Iop_Not32, mkexpr(Ra)),
binop(Iop_Add32, mkexpr(Rb), mkU32(1))) );
// rD = rB - rA
assign( Rd, binop(Iop_Sub32, mkexpr(Rb), mkexpr(Ra)) );
op = PPC32G_FLAG_OP_SUBFC;
do_ca = True;
do_ov = True;