Lines Matching refs:Ity_F32
638 || ty == Ity_F32 || (ty == Ity_I64 && mode64)
2177 vassert(ty == Ity_F32 || (ty == Ity_F64 && mode64));
2186 vassert(e->Iex.Load.ty == Ity_F32
2214 // load as Ity_F32
2236 // load as Ity_F32
2255 // load as Ity_F32
2356 // load as Ity_F32
2538 // load as Ity_F32
2724 // load as Ity_F32
2779 if (tyd == Ity_F32) {
2818 if (ty == Ity_F32) {
2860 if (ty == Ity_F32) {
3220 case Ity_F32: {
