Lines Matching defs:f64lo
9796 IRTemp f64lo = newTemp(Ity_F64);
9805 assign(f64lo, getXMMRegLane64F(eregOfRM(modrm), 0));
9812 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
9832 binop( Iop_F64toI32S, mkexpr(rmode), mkexpr(f64lo) )
10003 IRTemp f64lo = newTemp(Ity_F64);
10010 assign(f64lo, getXMMRegLane64F(eregOfRM(modrm), 0));
10016 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
10030 binop( Iop_F64toI32S, mkexpr(rmode), mkexpr(f64lo)) );
10039 IRTemp f64lo = newTemp(Ity_F64);
10045 assign(f64lo, getXMMRegLane64F(eregOfRM(modrm), 0));
10050 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
10059 binop( Iop_F64toF32, mkexpr(rmode), mkexpr(f64lo) )