336                             const Knowledge &Proposed,  in isConflicting()  argument
340     assert(!Proposed.Occupied.is_null());  in isConflicting()
343     if (!Existing.Occupied.is_null() && !Proposed.Unused.is_null()) {  in isConflicting()
345       auto ProposedUniverse = Proposed.Occupied.unite(Proposed.Unused);  in isConflicting()
375     auto ProposedOccupiedAnyVal = makeUnknownForDomain(Proposed.Occupied);  in isConflicting()
376     auto ProposedValues = Proposed.Known.unite(ProposedOccupiedAnyVal);  in isConflicting()
387     if (!Proposed.Occupied.is_subset(Matches)) {  in isConflicting()
389         auto Conflicting = Proposed.Occupied.subtract(Matches);  in isConflicting()
393             Proposed.Known.intersect_domain(Conflicting);  in isConflicting()
427         convertZoneToTimepoints(Proposed.Occupied, true, false);  in isConflicting()
429         convertZoneToTimepoints(Proposed.Known, isl::dim::in, true, false);  in isConflicting()
464     auto ProposedWrittenDomain = Proposed.Written.domain();  in isConflicting()
465     auto KnownIdentical = ExistingKnownDefs.intersect(Proposed.Written);  in isConflicting()
474             Proposed.Written.intersect_domain(Conflicting);  in isConflicting()
491         Existing.Written.domain().intersect(Proposed.Written.domain());  in isConflicting()
493     auto ProposedKnownWritten = filterKnownValInst(Proposed.Written);  in isConflicting()
503             Proposed.Written.intersect_domain(Conflicting);  in isConflicting()
548   bool isConflicting(const Knowledge &Proposed) {  in isConflicting()  argument
551     return Knowledge::isConflicting(Zone, Proposed, OS, 4);  in isConflicting()
737     Knowledge Proposed(EltZone, {}, filterKnownValInst(EltKnown), DefEltSched);  in tryMapValue()  local
738     if (isConflicting(Proposed))  in tryMapValue()
745              std::move(Lifetime), std::move(Proposed));  in tryMapValue()
750   void applyLifetime(Knowledge Proposed) {  in applyLifetime()  argument
751     Zone.learnFrom(std::move(Proposed));  in applyLifetime()
770                 Knowledge Proposed) {  in mapValue()  argument
786     applyLifetime(Proposed);  in mapValue()
948     Knowledge Proposed(Occupied, {}, EltLifetimeInst, Written);  in tryMapPHI()  local
949     if (isConflicting(Proposed))  in tryMapPHI()
953            std::move(Lifetime), std::move(Proposed));  in tryMapPHI()
973               Knowledge Proposed) {  in mapPHI()  argument
995     applyLifetime(Proposed);  in mapPHI()
1522   Knowledge Proposed(std::move(ProposedOccupied), std::move(ProposedUnused),  in isConflicting()  local
1525   return Knowledge::isConflicting(Existing, Proposed, OS, Indent);  in isConflicting()