Lines Matching refs:IRStmt_Put
558 stmt( IRStmt_Put(integerGuestRegOffset(sz,archreg), e) );
569 stmt( IRStmt_Put( segmentGuestRegOffset(sreg), e ) );
600 stmt( IRStmt_Put( xmmGuestRegOffset(xmmreg), e ) );
606 stmt( IRStmt_Put( xmmGuestRegLane64offset(xmmreg,laneno), e ) );
612 stmt( IRStmt_Put( xmmGuestRegLane64offset(xmmreg,laneno), e ) );
618 stmt( IRStmt_Put( xmmGuestRegLane32offset(xmmreg,laneno), e ) );
624 stmt( IRStmt_Put( xmmGuestRegLane32offset(xmmreg,laneno), e ) );
630 stmt( IRStmt_Put( xmmGuestRegLane16offset(xmmreg,laneno), e ) );
926 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(ccOp)) );
927 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto32(mkexpr(dep1))) );
928 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto32(mkexpr(dep2))) );
931 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
951 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(ccOp)) );
952 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto32(mkexpr(dep1))) );
953 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0)) );
956 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
990 stmt( IRStmt_Put( OFFB_CC_OP,
994 stmt( IRStmt_Put( OFFB_CC_DEP1,
998 stmt( IRStmt_Put( OFFB_CC_DEP2,
1004 stmt( IRStmt_Put( OFFB_CC_NDEP,
1024 stmt( IRStmt_Put( OFFB_CC_NDEP, mk_x86g_calculate_eflags_c()) );
1025 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(ccOp)) );
1026 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto32(mkexpr(res))) );
1027 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0)) );
1039 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(base_op+0) ) );
1042 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(base_op+1) ) );
1045 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(base_op+2) ) );
1050 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto32(mkexpr(arg1)) ));
1051 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto32(mkexpr(arg2)) ));
1054 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
1165 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(thunkOp) ) );
1166 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto32(mkexpr(ta1)) ));
1167 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto32(binop(xor, mkexpr(ta2),
1169 stmt( IRStmt_Put( OFFB_CC_NDEP, mkexpr(oldc) ) );
1219 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(thunkOp) ) );
1220 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto32(mkexpr(ta1) )) );
1221 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto32(binop(xor, mkexpr(ta2),
1223 stmt( IRStmt_Put( OFFB_CC_NDEP, mkexpr(oldc) ) );
1355 stmt( IRStmt_Put( OFFB_EIP, mkU32(d32) ) );
1367 stmt( IRStmt_Put( OFFB_EIP, mkexpr(t) ) );
1388 stmt( IRStmt_Put( OFFB_EIP, mkU32(d32_true) ) );
1394 stmt( IRStmt_Put( OFFB_EIP, mkU32(d32_false) ) );
2451 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(X86G_CC_OP_COPY) ));
2452 stmt( IRStmt_Put( OFFB_CC_DEP1, unop(Iop_64HIto32, mkexpr(r64)) ));
2453 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0) ));
2456 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
2579 stmt( IRStmt_Put( OFFB_CC_OP,
2583 stmt( IRStmt_Put( OFFB_CC_DEP1,
2587 stmt( IRStmt_Put( OFFB_CC_DEP2,
2591 stmt( IRStmt_Put( OFFB_CC_NDEP,
2723 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(X86G_CC_OP_COPY) ));
2724 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0) ));
2725 stmt( IRStmt_Put(
2733 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
3453 stmt( IRStmt_Put( OFFB_EMNOTE, e ) );
3477 stmt( IRStmt_Put( OFFB_FTOP, e ) );
3489 stmt( IRStmt_Put( OFFB_FC3210, e ) );
3500 stmt( IRStmt_Put( OFFB_FPROUND, e ) );
3830 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(X86G_CC_OP_COPY) ));
3831 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0) ));
3832 stmt( IRStmt_Put( OFFB_CC_DEP1,
3839 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
5545 stmt( IRStmt_Put( OFFB_FPREGS + 8 * archreg, e ) );
6426 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(X86G_CC_OP_COPY) ));
6427 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0) ));
6428 stmt( IRStmt_Put(
6438 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
6503 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(X86G_CC_OP_COPY) ));
6504 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0) ));
6505 stmt( IRStmt_Put(
6516 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
6595 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(X86G_CC_OP_COPY) ));
6596 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
6597 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0) ));
6598 stmt( IRStmt_Put( OFFB_CC_DEP1,
6608 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
7535 stmt( IRStmt_Put( OFFB_SSEROUND, sseround ) );
7638 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(X86G_CC_OP_COPY) ));
7639 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0) ));
7640 stmt( IRStmt_Put( OFFB_CC_DEP1,
7651 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
7655 stmt( IRStmt_Put(
7667 stmt( IRStmt_Put(
7680 stmt( IRStmt_Put(
8170 stmt(IRStmt_Put(OFFB_CMSTART, mkU32(guest_EIP_curr_instr)));
8171 stmt(IRStmt_Put(OFFB_CMLEN, mkU32(14)));
8175 stmt( IRStmt_Put( OFFB_EIP, mkU32(guest_EIP_bbstart + delta) ) );
8535 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(X86G_CC_OP_COPY) ));
8536 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0) ));
8537 stmt( IRStmt_Put(
8547 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
9600 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(X86G_CC_OP_COPY) ));
9601 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0) ));
9602 stmt( IRStmt_Put(
9610 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
11756 stmt( IRStmt_Put(
11762 stmt( IRStmt_Put(OFFB_CMLEN, mkU32(lineszB) ) );
12979 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(X86G_CC_OP_COPY) ));
12980 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0) ));
12981 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
12982 stmt( IRStmt_Put( OFFB_CC_DEP1, mkexpr(oszacp) ));
13166 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(X86G_CC_OP_COPY) ));
13167 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0) ));
13168 stmt( IRStmt_Put( OFFB_CC_DEP1,
13179 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
13216 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(X86G_CC_OP_COPY) ));
13217 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0) ));
13218 stmt( IRStmt_Put( OFFB_CC_DEP1,
13230 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
13368 stmt( IRStmt_Put( OFFB_IP_AT_SYSCALL,
13376 stmt( IRStmt_Put( OFFB_IP_AT_SYSCALL,
13384 stmt( IRStmt_Put( OFFB_IP_AT_SYSCALL,
14167 stmt( IRStmt_Put( OFFB_DFLAG, mkU32(1)) );
14172 stmt( IRStmt_Put( OFFB_DFLAG, mkU32(0xFFFFFFFF)) );
14201 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(X86G_CC_OP_COPY) ));
14202 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0) ));
14203 stmt( IRStmt_Put( OFFB_CC_DEP1, mkexpr(t1) ));
14206 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
14815 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(X86G_CC_OP_COPY) ));
14816 stmt( IRStmt_Put( OFFB_CC_DEP1, mkexpr(flags_new) ));
14817 stmt( IRStmt_Put( OFFB_CC_DEP2, mkU32(0) ));
14821 stmt( IRStmt_Put( OFFB_CC_NDEP, mkU32(0) ));
15180 stmt( IRStmt_Put( OFFB_IP_AT_SYSCALL,
15334 stmt( IRStmt_Put( OFFB_IP_AT_SYSCALL,
15368 stmt( IRStmt_Put( OFFB_EIP, mkU32(guest_EIP_curr_instr) ) );
15386 stmt( IRStmt_Put( OFFB_EIP, mkU32(guest_EIP_bbstart + delta) ) );
15390 stmt( IRStmt_Put( OFFB_EIP, mkU32(dres.continueAt) ) );