Lines Matching refs:Ity_F32
799 || ty == Ity_F32 || (ty == Ity_I64 && mode64)
2984 vassert(ty == Ity_F32 || (ty == Ity_F64 && fp_mode64));
2991 vassert(e->Iex.Load.ty == Ity_F32
3674 if (tyd == Ity_F32) {
3725 if (ty == Ity_F32) {
3782 if (ty == Ity_F32) {
4243 case Ity_F32:
