Lines Matching refs:Ity_F64
5392 Ity_F64);5413 vassert(e->Iex.Load.ty == Ity_F64);5519 if (ty == Ity_F645738 if (tyd == Ity_F64) {5874 if (tyd == Ity_F64) {5942 if (ty == Ity_F64) {6399 case Ity_F64: hreg = mkHReg(True, HRcFlt64, 0, j++); break;