Lines Matching refs:r64
1425 IRTemp ldt_ptr, gdt_ptr, seg_selector, r64;
1444 r64 = newTemp(Ity_I64);
1456 r64,
1473 binop(Iop_CmpNE32, unop(Iop_64HIto32, mkexpr(r64)), mkU32(0)),
1481 return unop(Iop_64to32, mkexpr(r64));
2435 IRTemp r64 = newTemp(Ity_I64);
2441 assign( r64, mkIRExprCCall(
2449 /* new eflags in hi half r64; new value in lo half r64 */
2450 assign( dst1, narrowTo(ty, unop(Iop_64to32, mkexpr(r64))) );
2452 stmt( IRStmt_Put( OFFB_CC_DEP1, unop(Iop_64HIto32, mkexpr(r64)) ));