Lines Matching refs:Ity_F64
5303 vassert(ty == Ity_F64);5324 vassert(e->Iex.Load.ty == Ity_F64);5428 if (ty == Ity_F645649 if (tyd == Ity_F64) {5701 if (tyd == Ity_F64) {5781 if (ty == Ity_F64) {6063 case Ity_F64: hreg = mkHReg(j++, HRcFlt64, True); break;