Lines Matching refs:IRStmt_Put
572 stmt( IRStmt_Put(integerGuestRegOffset(iregNo), e) );
710 stmt( IRStmt_Put(doubleGuestRegOffset(dregNo), e) );
753 stmt( IRStmt_Put(doubleGuestRegOffset(dregNo), e) );
819 stmt( IRStmt_Put(quadGuestRegOffset(qregNo), e) );
878 stmt( IRStmt_Put(floatGuestRegOffset(fregNo), e) );
920 stmt(IRStmt_Put(gsoffset, e));
922 stmt(IRStmt_Put(
941 stmt( IRStmt_Put( OFFB_ITSTATE, mkexpr(t)) );
1322 stmt( IRStmt_Put( OFFB_CC_OP, mkU32(cc_op) ));
1323 stmt( IRStmt_Put( OFFB_CC_DEP1, mkexpr(t_dep1) ));
1324 stmt( IRStmt_Put( OFFB_CC_DEP2, mkexpr(t_dep2) ));
1325 stmt( IRStmt_Put( OFFB_CC_NDEP, mkexpr(t_ndep) ));
1330 stmt( IRStmt_Put(
1335 stmt( IRStmt_Put(
1340 stmt( IRStmt_Put(
1345 stmt( IRStmt_Put(
14717 stmt(IRStmt_Put(OFFB_CMSTART, mkU32(guest_R15_curr_instr_notENC)));
14718 stmt(IRStmt_Put(OFFB_CMLEN, mkU32(20)));
17598 stmt(IRStmt_Put(OFFB_CMSTART, mkU32(guest_R15_curr_instr_notENC)));
17599 stmt(IRStmt_Put(OFFB_CMLEN, mkU32(20)));