Home | History | Annotate | Download | only in priv

Lines Matching defs:r64

1400    IRTemp ldt_ptr, gdt_ptr, seg_selector, r64;
1419 r64 = newTemp(Ity_I64);
1431 r64,
1448 binop(Iop_CmpNE32, unop(Iop_64HIto32, mkexpr(r64)), mkU32(0)),
1455 return unop(Iop_64to32, mkexpr(r64));
2414 IRTemp r64 = newTemp(Ity_I64);
2420 assign( r64, mkIRExprCCall(
2428 /* new eflags in hi half r64; new value in lo half r64 */
2429 assign( dst1, narrowTo(ty, unop(Iop_64to32, mkexpr(r64))) );
2431 stmt( IRStmt_Put( OFFB_CC_DEP1, unop(Iop_64HIto32, mkexpr(r64)) ));