Lines Matching defs:f64lo
10452 IRTemp f64lo = newTemp(Ity_F64);
10457 assign(f64lo, getXMMRegLane64F(eregOfRexRM(pfx,modrm), 0));
10464 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
10480 binop( Iop_F64toI32S, mkexpr(rmode), mkexpr(f64lo)) );
10484 binop( Iop_F64toI64S, mkexpr(rmode), mkexpr(f64lo)) );
13261 IRTemp f64lo = newTemp(Ity_F64);
13270 assign(f64lo, getXMMRegLane64F(eregOfRexRM(pfx,modrm), 0));
13277 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
13297 binop( Iop_F64toI32S, mkexpr(rmode), mkexpr(f64lo) )
13558 IRTemp f64lo = newTemp(Ity_F64);
13563 assign(f64lo, getXMMRegLane64F(eregOfRexRM(pfx,modrm), 0));
13568 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
13577 binop( Iop_F64toF32, mkexpr(rmode), mkexpr(f64lo) )
25317 IRTemp f64lo = newTemp(Ity_F64);
25322 assign(f64lo, getXMMRegLane64F(rS, 0));
25328 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)) );
25335 mkexpr(f64lo)) );