Searched refs:t_rsp (Results 1 – 1 of 1) sorted by relevance
/external/valgrind/VEX/priv/ |
D | guest_amd64_toIR.c | 8087 t_addr1, t_rsp, t_mask, t_new; in dis_bt_G_E() local 8092 = t_addr0 = t_addr1 = t_rsp in dis_bt_G_E() 8139 t_rsp = newTemp(Ity_I64); in dis_bt_G_E() 8143 assign( t_rsp, binop(Iop_Sub64, getIReg64(R_RSP), mkU64(288)) ); in dis_bt_G_E() 8144 putIReg64(R_RSP, mkexpr(t_rsp)); in dis_bt_G_E() 8146 storeLE( mkexpr(t_rsp), getIRegE(sz, pfx, modrm) ); in dis_bt_G_E() 8149 assign( t_addr0, mkexpr(t_rsp) ); in dis_bt_G_E() 8254 putIRegE(sz, pfx, modrm, loadLE(szToITy(sz), mkexpr(t_rsp)) ); in dis_bt_G_E() 8255 putIReg64(R_RSP, binop(Iop_Add64, mkexpr(t_rsp), mkU64(288)) ); in dis_bt_G_E()
|