Lines Matching refs:f32lo
8400 IRTemp f32lo = newTemp(Ity_F32);
8409 assign(f32lo, getXMMRegLane32F(eregOfRM(modrm), 0));
8416 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));
8440 unop( Iop_F32toF64, mkexpr(f32lo) ) )
8455 IRTemp f32lo = newTemp(Ity_F32);
8462 assign(f32lo, getXMMRegLane32F(eregOfRM(modrm), 0));
8468 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));
8484 unop( Iop_F32toF64, mkexpr(f32lo) ) )
9668 IRTemp f32lo = newTemp(Ity_F32);
9673 assign( f32lo, getXMMRegLane32F(eregOfRM(modrm), 0) );
9680 assign( f32lo, loadLE(Ity_F32, mkexpr(addr)) );
9691 unop(Iop_F32toF64, mkexpr(f32lo)) );
9795 IRTemp f32lo = newTemp(Ity_F32);
9801 assign(f32lo, getXMMRegLane32F(eregOfRM(modrm), 0));
9806 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));
9813 unop( Iop_F32toF64, mkexpr(f32lo) ) );