Lines Matching defs:Knowledge

172 /// There are two use cases for the Knowledge class:
182 /// In addition to these states at unit zones, Knowledge needs to know when
188 class Knowledge final {
240   /// Check whether this Knowledge object is well-formed.
265   /// Initialize a nullptr-Knowledge. This is only provided for convenience; do
267   Knowledge() {}
270   Knowledge(isl::union_set Occupied, isl::union_set Unused,
302   void learnFrom(Knowledge That) {
337   static bool isConflicting(const Knowledge &Existing,
338                             const Knowledge &Proposed,
427     // Knowledge to check this property also for accesses to MemoryKind::Array.
527   /// Knowledge before any transformation took place.
528   Knowledge OriginalZone;
532   Knowledge Zone;
549   /// @see Knowledge::isConflicting
550   bool isConflicting(const Knowledge &Proposed) {
553     return Knowledge::isConflicting(Zone, Proposed, OS, 4);
739     Knowledge Proposed(EltZone, {}, filterKnownValInst(EltKnown), DefEltSched);
752   void applyLifetime(Knowledge Proposed) {
772                 Knowledge Proposed) {
950     Knowledge Proposed(Occupied, {}, EltLifetimeInst, Written);
975               Knowledge Proposed) {
1227     Zone = OriginalZone = Knowledge({}, EltUnused, EltKnown, EltWritten);
1522   Knowledge Existing(std::move(ExistingOccupied), std::move(ExistingUnused),
1524   Knowledge Proposed(std::move(ProposedOccupied), std::move(ProposedUnused),
1527   return Knowledge::isConflicting(Existing, Proposed, OS, Indent);