Lines Matching refs:IRConst_U64
283 return IRExpr_Const(IRConst_U64(i));
1629 IRConst_U64( restart_point ),
2266 IRConst_U64(d64_false),
2272 IRConst_U64(d64_true),
4643 IRConst_U64(rip_next), OFFB_RIP ) );
4659 IRConst_U64(rip),
5627 IRConst_U64( guest_RIP_bbstart+delta ),
5670 IRConst_U64( guest_RIP_bbstart+delta ),
6600 IRConst_U64( guest_RIP_bbstart+delta ),
9896 IRConst_U64(guest_RIP_curr_instr),
11581 IRConst_U64(guest_RIP_bbstart+delta),
12035 IRConst_U64(guest_RIP_curr_instr),
20220 IRConst_U64(guest_RIP_bbstart+delta),
20239 IRConst_U64(d64),
21155 stmt( IRStmt_Exit(cond, Ijk_Boring, IRConst_U64(d64), OFFB_RIP) );
21172 IRConst_U64(d64),
21182 IRConst_U64(d64),
21588 IRConst_U64(guest_RIP_curr_instr),
21780 IRConst_U64(guest_RIP_bbstart+delta),
21801 IRConst_U64(d64),
