Lines Matching refs:IRConst_U64
288 return IRExpr_Const(IRConst_U64(i));
1589 IRConst_U64( restart_point ),
2221 IRConst_U64(d64_false),
2227 IRConst_U64(d64_true),
4421 IRConst_U64(rip_next), OFFB_RIP ) );
4437 IRConst_U64(rip),
5251 IRConst_U64( guest_RIP_bbstart+delta ),
5294 IRConst_U64( guest_RIP_bbstart+delta ),
6234 IRConst_U64( guest_RIP_bbstart+delta ),
9358 IRConst_U64(guest_RIP_curr_instr),
10880 IRConst_U64(guest_RIP_bbstart+delta),
18440 IRConst_U64(guest_RIP_bbstart+delta),
18459 IRConst_U64(d64),
19293 stmt( IRStmt_Exit(cond, Ijk_Boring, IRConst_U64(d64), OFFB_RIP) );
19310 IRConst_U64(d64),
19320 IRConst_U64(d64),
19719 IRConst_U64(guest_RIP_curr_instr),
19850 IRConst_U64(guest_RIP_bbstart+delta),
19871 IRConst_U64(d64),
