IRExpr* irx_addr;
if (Ra_addr == 0) {
- assign( EA, binop(Iop_And32, mkU32(0), mkU32(exts_d_imm)) );
+ assign( EA, binop(Iop_Add32, mkU32(0), mkU32(exts_d_imm)) );
} else {
assign( Ra, getIReg(Ra_addr) );
- assign( EA, binop(Iop_And32, mkexpr(Ra), mkU32(exts_d_imm)) );
+ assign( EA, binop(Iop_Add32, mkexpr(Ra), mkU32(exts_d_imm)) );
}
switch (opc1) {
assign( EA, mkexpr(Rb) );
} else {
assign( Ra, getIReg(Ra_addr) );
- assign( EA, binop(Iop_And32, mkexpr(Ra), mkexpr(Rb)) );
+ assign( EA, binop(Iop_Add32, mkexpr(Ra), mkexpr(Rb)) );
}
putIReg( Rd_addr, loadBE(Ity_I32, mkexpr(EA)) );
break;
assign( EA, mkexpr(Rb) );
} else {
assign( Ra, getIReg(Ra_addr) );
- assign( EA, binop(Iop_And32, mkexpr(Ra), mkexpr(Rb)) );
+ assign( EA, binop(Iop_Add32, mkexpr(Ra), mkexpr(Rb)) );
}
storeBE( mkexpr(EA), mkexpr(Rs) );