1488    return IRExpr_Get( xmmGuestRegLane32offset(xmmreg,laneno), Ity_F32 );  in getXMMRegLane32F()
1516    vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F32);  in putXMMRegLane32F()
1572    vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F32);  in putYMMRegLane32F()
5276                 unop(Iop_F32toF64, loadLE(Ity_F32,mkexpr(addr)))  in fp_do_op_mem_ST_0()
5301                 unop(Iop_F32toF64, loadLE(Ity_F32,mkexpr(addr))),  in fp_do_oprev_mem_ST_0()
5434                                                loadLE(Ity_F32,mkexpr(addr)))),  in dis_FPU()
5452                                                loadLE(Ity_F32,mkexpr(addr)))),  in dis_FPU()
5562                               loadLE(Ity_F32, mkexpr(addr))));  in dis_FPU()
10099    IRTemp argL  = newTemp(Ity_F32);  in dis_COMISS()
10100    IRTemp argR  = newTemp(Ity_F32);  in dis_COMISS()
10113       assign( argR, loadLE(Ity_F32, mkexpr(addr)) );  in dis_COMISS()
10376    IRTemp f32lo  = newTemp(Ity_F32);  in dis_CVTxSS2SI()
10388       assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));  in dis_CVTxSS2SI()
10425    IRTemp f32lo = newTemp(Ity_F32);  in dis_CVTPS2PD_128()
10426    IRTemp f32hi = newTemp(Ity_F32);  in dis_CVTPS2PD_128()
10438       assign( f32lo, loadLE(Ity_F32, mkexpr(addr)) );  in dis_CVTPS2PD_128()
10439       assign( f32hi, loadLE(Ity_F32,   in dis_CVTPS2PD_128()
10460    IRTemp f32_0 = newTemp(Ity_F32);  in dis_CVTPS2PD_256()
10461    IRTemp f32_1 = newTemp(Ity_F32);  in dis_CVTPS2PD_256()
10462    IRTemp f32_2 = newTemp(Ity_F32);  in dis_CVTPS2PD_256()
10463    IRTemp f32_3 = newTemp(Ity_F32);  in dis_CVTPS2PD_256()
10476       assign( f32_0, loadLE(Ity_F32, mkexpr(addr)) );  in dis_CVTPS2PD_256()
10477       assign( f32_1, loadLE(Ity_F32,   in dis_CVTPS2PD_256()
10479       assign( f32_2, loadLE(Ity_F32,   in dis_CVTPS2PD_256()
10481       assign( f32_3, loadLE(Ity_F32,   in dis_CVTPS2PD_256()
13049          IRTemp f32lo  = newTemp(Ity_F32);  in dis_ESC_0F__SSE2()
13050          IRTemp f32hi  = newTemp(Ity_F32);  in dis_ESC_0F__SSE2()
13065             assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));  in dis_ESC_0F__SSE2()
13066             assign(f32hi, loadLE(Ity_F32, binop( Iop_Add64,   in dis_ESC_0F__SSE2()
13407          IRTemp f32lo = newTemp(Ity_F32);  in dis_ESC_0F__SSE2()
13417             assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));  in dis_ESC_0F__SSE2()
19129          IRTemp src0 = newTemp(Ity_F32);  in dis_ESC_0F3A__SSE4()
19130          IRTemp src1 = newTemp(Ity_F32);  in dis_ESC_0F3A__SSE4()
19131          IRTemp src2 = newTemp(Ity_F32);  in dis_ESC_0F3A__SSE4()
19132          IRTemp src3 = newTemp(Ity_F32);  in dis_ESC_0F3A__SSE4()
19133          IRTemp res0 = newTemp(Ity_F32);  in dis_ESC_0F3A__SSE4()
19134          IRTemp res1 = newTemp(Ity_F32);  in dis_ESC_0F3A__SSE4()
19135          IRTemp res2 = newTemp(Ity_F32);  in dis_ESC_0F3A__SSE4()
19136          IRTemp res3 = newTemp(Ity_F32);  in dis_ESC_0F3A__SSE4()
19160             assign( src0, loadLE(Ity_F32,  in dis_ESC_0F3A__SSE4()
19162             assign( src1, loadLE(Ity_F32,  in dis_ESC_0F3A__SSE4()
19164             assign( src2, loadLE(Ity_F32,  in dis_ESC_0F3A__SSE4()
19166             assign( src3, loadLE(Ity_F32,  in dis_ESC_0F3A__SSE4()
19257          IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);  in dis_ESC_0F3A__SSE4()
19258          IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);  in dis_ESC_0F3A__SSE4()
19276             assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));  in dis_ESC_0F3A__SSE4()
25166          IRTemp f32lo = newTemp(Ity_F32);  in dis_ESC_0F__VEX()
25175             assign(f32lo, loadLE(Ity_F32, mkexpr(addr)) );  in dis_ESC_0F__VEX()
27533    IRType ty      = getRexW(pfx) ? Ity_F64 : Ity_F32;  in dis_FMA()
27661    } else if (ty == Ity_F32) {  in dis_FMA()
30644          IRTemp src   = newTemp(isD ? Ity_F64 : Ity_F32);  in dis_ESC_0F3A__VEX()
30645          IRTemp res   = newTemp(isD ? Ity_F64 : Ity_F32);  in dis_ESC_0F3A__VEX()
30660             assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));  in dis_ESC_0F3A__VEX()