Lines Matching refs:f64hi
10716 IRTemp f64hi = newTemp(Ity_F64);10725 assign(f64hi, getXMMRegLane64F(eregOfRexRM(pfx,modrm), 1));10732 assign(f64hi, loadLE(Ity_F64, binop( Iop_Add64, 10750 binop( Iop_F64toI32S, mkexpr(rmode), mkexpr(f64hi) ),
