Lines Matching refs:Existing
331 static bool isConflicting(const Knowledge &Existing, in isConflicting() argument
335 assert(Existing.Unused); in isConflicting()
339 if (Existing.Occupied && Proposed.Unused) { in isConflicting()
340 auto ExistingUniverse = Existing.Occupied.unite(Existing.Unused); in isConflicting()
374 auto ExistingUnusedAnyVal = makeUnknownForDomain(Existing.Unused); in isConflicting()
375 auto ExistingValues = Existing.Known.unite(ExistingUnusedAnyVal); in isConflicting()
387 Existing.Known.intersect_domain(Conflicting); in isConflicting()
428 Existing.Written.intersect_domain(ProposedFixedDefs); in isConflicting()
456 convertZoneToTimepoints(Existing.Unused, true, false); in isConflicting()
458 convertZoneToTimepoints(Existing.Known, isl::dim::in, true, false); in isConflicting()
485 auto ExistingWrittenDomain = Existing.Written.domain(); in isConflicting()
487 Existing.Written.domain().intersect(Proposed.Written.domain()); in isConflicting()
488 auto ExistingKnownWritten = filterKnownValInst(Existing.Written); in isConflicting()
497 Existing.Written.intersect_domain(Conflicting); in isConflicting()
1433 Knowledge Existing(std::move(ExistingOccupied), std::move(ExistingUnused), in INITIALIZE_PASS_DEPENDENCY() local
1438 return Knowledge::isConflicting(Existing, Proposed, OS, Indent); in INITIALIZE_PASS_DEPENDENCY()