Lines Matching refs:Ity_F32
821 return IRExpr_Get( floatGuestRegOffset(fregNo), Ity_F32 );
833 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_F32);
11920 putFReg(fD + i, loadLE(Ity_F32, addr), IRTemp_INVALID);
12014 putFReg(fD, loadLE(Ity_F32,mkexpr(ea)), IRTemp_INVALID);
