Lines Matching full:f64lo
9559 IRTemp f64lo = newTemp(Ity_F64);
9568 assign(f64lo, getXMMRegLane64F(eregOfRM(modrm), 0));
9575 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
9595 binop( Iop_F64toI32S, mkexpr(rmode), mkexpr(f64lo) )
9766 IRTemp f64lo = newTemp(Ity_F64);
9773 assign(f64lo, getXMMRegLane64F(eregOfRM(modrm), 0));
9779 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
9793 binop( Iop_F64toI32S, mkexpr(rmode), mkexpr(f64lo)) );
9802 IRTemp f64lo = newTemp(Ity_F64);
9808 assign(f64lo, getXMMRegLane64F(eregOfRM(modrm), 0));
9813 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
9822 binop( Iop_F64toF32, mkexpr(rmode), mkexpr(f64lo) )
