594    return IRExpr_Get( xmmGuestRegLane32offset(xmmreg,laneno), Ity_F32 );  in getXMMRegLane32F()
617    vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F32);  in putXMMRegLane32F()
3748                 unop(Iop_F32toF64, loadLE(Ity_F32,mkexpr(addr)))  in fp_do_op_mem_ST_0()
3773                 unop(Iop_F32toF64, loadLE(Ity_F32,mkexpr(addr))),  in fp_do_oprev_mem_ST_0()
3887                                            loadLE(Ity_F32,mkexpr(addr)))),  in dis_FPU()
3902                                            loadLE(Ity_F32,mkexpr(addr)))),  in dis_FPU()
4009                               loadLE(Ity_F32, mkexpr(addr))));  in dis_FPU()
8527       IRTemp argL = newTemp(Ity_F32);  in disInstr_X86_WRK()
8528       IRTemp argR = newTemp(Ity_F32);  in disInstr_X86_WRK()
8537 	 assign( argR, loadLE(Ity_F32, mkexpr(addr)) );  in disInstr_X86_WRK()
8640       IRTemp f32lo  = newTemp(Ity_F32);  in disInstr_X86_WRK()
8641       IRTemp f32hi  = newTemp(Ity_F32);  in disInstr_X86_WRK()
8656 	 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));  in disInstr_X86_WRK()
8657 	 assign(f32hi, loadLE(Ity_F32, binop( Iop_Add32,   in disInstr_X86_WRK()
8695       IRTemp f32lo = newTemp(Ity_F32);  in disInstr_X86_WRK()
8708 	 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));  in disInstr_X86_WRK()
9915       IRTemp f32lo = newTemp(Ity_F32);  in disInstr_X86_WRK()
9916       IRTemp f32hi = newTemp(Ity_F32);  in disInstr_X86_WRK()
9927 	 assign( f32lo, loadLE(Ity_F32, mkexpr(addr)) );  in disInstr_X86_WRK()
9928 	 assign( f32hi, loadLE(Ity_F32,   in disInstr_X86_WRK()
10042       IRTemp f32lo = newTemp(Ity_F32);  in disInstr_X86_WRK()
10053 	 assign(f32lo, loadLE(Ity_F32, mkexpr(addr)));  in disInstr_X86_WRK()
12891       IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);  in disInstr_X86_WRK()
12892       IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);  in disInstr_X86_WRK()
12910          assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));  in disInstr_X86_WRK()