Lines Matching refs:IRConst_U64
288 return IRExpr_Const(IRConst_U64(i));
1493 IRConst_U64( restart_point )
2094 IRConst_U64(d64_false) ) );
2100 IRConst_U64(d64_true) ) );
4292 stmt( IRStmt_Exit( cmp, Ijk_Boring, IRConst_U64(rip_next) ) );
4307 IRConst_U64(rip) ) );
5112 IRConst_U64( guest_RIP_bbstart+delta )
5154 IRConst_U64( guest_RIP_bbstart+delta )
8909 IRConst_U64(guest_RIP_curr_instr)
9762 IRConst_U64(guest_RIP_bbstart+delta)
16525 IRConst_U64(guest_RIP_bbstart+delta) ) );
16543 IRConst_U64(d64) ) );
16571 IRConst_U64(d64))
16580 IRConst_U64(d64))
16636 stmt( IRStmt_Exit(cond, Ijk_Boring, IRConst_U64(d64)) );
18397 IRConst_U64(guest_RIP_bbstart+delta) ) );
18416 IRConst_U64(d64) ) );
