Lines Matching refs:IRStmt_Put
989 stmt( IRStmt_Put( OFFB_RAX+1, e ) );
1025 stmt( IRStmt_Put( OFFB_RAX, e ));
1028 stmt( IRStmt_Put( OFFB_RAX, unop(Iop_32Uto64,e) ));
1031 stmt( IRStmt_Put( OFFB_RAX, e ));
1034 stmt( IRStmt_Put( OFFB_RAX, e ));
1072 case 8: stmt( IRStmt_Put( OFFB_RDX, e ));
1074 case 4: stmt( IRStmt_Put( OFFB_RDX, unop(Iop_32Uto64,e) ));
1076 case 2: stmt( IRStmt_Put( OFFB_RDX, e ));
1078 case 1: stmt( IRStmt_Put( OFFB_RDX, e ));
1097 stmt( IRStmt_Put( integerGuestReg64Offset(regno), e ) );
1120 stmt( IRStmt_Put( integerGuestReg64Offset(regno),
1143 stmt( IRStmt_Put( integerGuestReg64Offset(regno),
1209 stmt( IRStmt_Put(
1284 stmt( IRStmt_Put( offsetIRegG( sz, pfx, mod_reg_rm ), e ) );
1316 stmt( IRStmt_Put( offsetIReg( sz, getVexNvvvv(pfx), False ), e ) );
1363 stmt( IRStmt_Put( offsetIRegE( sz, pfx, mod_reg_rm ), e ) );
1492 stmt( IRStmt_Put( xmmGuestRegOffset(xmmreg), e ) );
1498 stmt( IRStmt_Put( xmmGuestRegLane64offset(xmmreg,laneno), e ) );
1504 stmt( IRStmt_Put( xmmGuestRegLane64offset(xmmreg,laneno), e ) );
1510 stmt( IRStmt_Put( xmmGuestRegLane32offset(xmmreg,laneno), e ) );
1516 stmt( IRStmt_Put( xmmGuestRegLane32offset(xmmreg,laneno), e ) );
1542 stmt( IRStmt_Put( ymmGuestRegOffset(ymmreg), e ) );
1548 stmt( IRStmt_Put( ymmGuestRegLane128offset(ymmreg,laneno), e ) );
1554 stmt( IRStmt_Put( ymmGuestRegLane64offset(ymmreg,laneno), e ) );
1560 stmt( IRStmt_Put( ymmGuestRegLane64offset(ymmreg,laneno), e ) );
1566 stmt( IRStmt_Put( ymmGuestRegLane32offset(ymmreg,laneno), e ) );
1572 stmt( IRStmt_Put( ymmGuestRegLane32offset(ymmreg,laneno), e ) );
1792 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(ccOp)) );
1793 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dep1))) );
1794 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(dep2))) );
1818 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(ccOp)) );
1819 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dep1))) );
1820 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0)) );
1860 stmt( IRStmt_Put( OFFB_CC_OP,
1864 stmt( IRStmt_Put( OFFB_CC_DEP1,
1868 stmt( IRStmt_Put( OFFB_CC_DEP2,
1893 stmt( IRStmt_Put( OFFB_CC_NDEP, mk_amd64g_calculate_rflags_c()) );
1894 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(ccOp)) );
1895 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(res))) );
1896 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0)) );
1908 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(base_op+0) ) );
1911 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(base_op+1) ) );
1914 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(base_op+2) ) );
1917 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(base_op+3) ) );
1922 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(arg1)) ));
1923 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(arg2)) ));
2040 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(thunkOp) ) );
2041 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(ta1)) ));
2042 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(binop(xor, mkexpr(ta2),
2044 stmt( IRStmt_Put( OFFB_CC_NDEP, mkexpr(oldc) ) );
2099 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(thunkOp) ) );
2100 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(ta1) )) );
2101 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(binop(xor, mkexpr(ta2),
2103 stmt( IRStmt_Put( OFFB_CC_NDEP, mkexpr(oldc) ) );
2228 stmt( IRStmt_Put( OFFB_RIP, mkU64(d64) ) );
2240 stmt( IRStmt_Put( OFFB_RIP, mkexpr(t) ) );
2261 stmt( IRStmt_Put( OFFB_RIP, mkU64(d64_true) ) );
2267 stmt( IRStmt_Put( OFFB_RIP, mkU64(d64_false) ) );
3598 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
3599 stmt( IRStmt_Put( OFFB_CC_DEP1, mkexpr(new_rflags) ));
3600 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
3601 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) ));
3731 stmt( IRStmt_Put( OFFB_CC_OP,
3735 stmt( IRStmt_Put( OFFB_CC_DEP1,
3739 stmt( IRStmt_Put( OFFB_CC_DEP2,
3743 stmt( IRStmt_Put( OFFB_CC_NDEP,
3894 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
3895 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
3896 stmt( IRStmt_Put(
3904 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) ));
4925 stmt( IRStmt_Put( OFFB_EMNOTE, e ) );
4949 stmt( IRStmt_Put( OFFB_FTOP, e ) );
4962 stmt( IRStmt_Put( OFFB_FC3210, e ) );
4974 stmt( IRStmt_Put( OFFB_FPROUND, unop(Iop_32Uto64,e) ) );
5303 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
5304 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
5305 stmt( IRStmt_Put(
7027 stmt( IRStmt_Put( OFFB_FPREGS + 8 * archreg, e ) );
8082 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
8083 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
8084 stmt( IRStmt_Put(
8094 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) ));
8164 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
8165 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
8166 stmt( IRStmt_Put(
8177 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) ));
8278 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
8279 IRStmt_Put( OFFB_CC_NDEP, mkU64(0) ));
8280 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
8281 stmt( IRStmt_Put( OFFB_CC_DEP1,
9337 stmt( IRStmt_Put( OFFB_SSEROUND,
9978 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
9979 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
9980 stmt( IRStmt_Put(
10021 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
10022 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
10023 stmt( IRStmt_Put(
13529 stmt( IRStmt_Put(
13535 stmt( IRStmt_Put(OFFB_CMLEN, mkU64(lineszB) ) );
15975 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
15976 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
15977 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) ));
15978 stmt( IRStmt_Put( OFFB_CC_DEP1,
16041 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
16042 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
16043 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) ));
16044 stmt( IRStmt_Put( OFFB_CC_DEP1, mkexpr(oszacp) ));
16102 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
16103 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
16104 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) ));
16105 stmt( IRStmt_Put( OFFB_CC_DEP1, mkexpr(oszacp) ));
16353 stmt( IRStmt_Put( OFFB_CC_DEP1, mkexpr(newOSZACP)));
16354 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
16355 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
16356 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) ));
17194 stmt( IRStmt_Put( OFFB_YMM16, loadLE(Ity_V128, mkexpr(addr)) ));
17283 stmt( IRStmt_Put( OFFB_YMM16, loadLE(Ity_V128, mkexpr(addr)) ));
18135 stmt(IRStmt_Put(OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY)));
18136 stmt(IRStmt_Put(OFFB_CC_DEP1, mkexpr(cc)));
18137 stmt(IRStmt_Put(OFFB_CC_DEP2, mkU64(0)));
18138 stmt(IRStmt_Put(OFFB_CC_NDEP, mkU64(0)));
18175 stmt( IRStmt_Put( OFFB_YMM16, loadLE(Ity_V128, mkexpr(addr)) ));
18272 stmt( IRStmt_Put(
18276 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
18277 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
18278 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) ));
20116 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
20117 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
20118 stmt( IRStmt_Put( OFFB_CC_DEP1,
20130 stmt( IRStmt_Put(
20142 stmt( IRStmt_Put(
20154 stmt( IRStmt_Put(
20883 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
20884 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
20885 stmt( IRStmt_Put( OFFB_CC_DEP1, mkexpr(t2) ));
20888 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) ));
20911 stmt( IRStmt_Put( OFFB_DFLAG, mkU64(1)) );
20917 stmt( IRStmt_Put( OFFB_DFLAG, mkU64(-1ULL)) );
21117 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
21118 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
21119 stmt( IRStmt_Put( OFFB_CC_DEP1, mkU64(AMD64G_CC_MASK_Z) ));
21122 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) ));
21175 stmt( IRStmt_Put( OFFB_RIP, mkU64(guest_RIP_curr_instr) ) );
21772 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(AMD64G_CC_OP_COPY) ));
21773 stmt( IRStmt_Put( OFFB_CC_DEP1, mkexpr(flags_new) ));
21774 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0) ));
21778 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU64(0) ));
29084 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(size == 8
29087 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dst))) );
29088 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0)) );
29121 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(size == 8
29124 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dst))) );
29125 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(src))) );
29155 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(size == 8
29158 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dst))) );
29159 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(src))) );
29189 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(size == 8
29192 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dst))) );
29193 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(src))) );
29258 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(size == 8
29261 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dst))) );
29262 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(cond))) );
29466 stmt( IRStmt_Put( OFFB_CC_OP, mkU64(size == 8
29469 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dst))) );
29470 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0)) );
31213 stmt(IRStmt_Put(OFFB_CMSTART, mkU64(guest_RIP_curr_instr)));
31214 stmt(IRStmt_Put(OFFB_CMLEN, mkU64(19)));
31218 stmt( IRStmt_Put( OFFB_RIP, mkU64(guest_RIP_bbstart + delta) ) );
31692 stmt( IRStmt_Put( OFFB_RIP, mkU64(guest_RIP_curr_instr) ) );
31710 stmt( IRStmt_Put( OFFB_RIP, mkU64(guest_RIP_bbstart + delta) ) );
31714 stmt( IRStmt_Put( OFFB_RIP, mkU64(dres.continueAt) ) );