Lines Matching refs:f64lo
9492 IRTemp f64lo = newTemp(Ity_F64);
9501 assign(f64lo, getXMMRegLane64F(eregOfRM(modrm), 0));
9508 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
9528 binop( Iop_F64toI32S, mkexpr(rmode), mkexpr(f64lo) )
9699 IRTemp f64lo = newTemp(Ity_F64);
9706 assign(f64lo, getXMMRegLane64F(eregOfRM(modrm), 0));
9712 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
9726 binop( Iop_F64toI32S, mkexpr(rmode), mkexpr(f64lo)) );
9735 IRTemp f64lo = newTemp(Ity_F64);
9741 assign(f64lo, getXMMRegLane64F(eregOfRM(modrm), 0));
9746 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
9755 binop( Iop_F64toF32, mkexpr(rmode), mkexpr(f64lo) )
