Lines Matching defs:Zone

190   /// { [Element[] -> Zone[]] }
206   /// { [Element[] -> Zone[]] }
212   /// { [Element[] -> Zone[]] -> ValInst[] }
356     // intervals in which they are alive (the space { [Element[] -> Zone[]] }).
532   Knowledge Zone;
553     return Knowledge::isConflicting(Zone, Proposed, OS, 4);
617   /// @return { DomainDef[] -> DomainUse[] }, { DomainDef[] -> Zone[] }
655     // { DomainDef[] -> Zone[] }
702     // { DomainDef[] -> Zone[] }
711     /// { [Element[] -> Zone[]] }
725     // { DomainDef[] -> [Element[] -> Zone[]] }
728     // { [Element[] -> Zone[]] -> ValInst[] }
753     Zone.learnFrom(std::move(Proposed));
766   /// @param Lifetime  { DomainDef[] -> Zone[] }
918     // { DomainRead[] -> Zone[] }
923     // { DomainWrite[] -> Zone[] }
936     // { DomainWrite[] -> [Element[] -> Zone[]] }
942     // { [Element[] -> Zone[]] -> ValInst[] }
946     // { [Element[] -> Zone[] }
970   /// @param Lifetime    { DomainRead[] -> Zone[] }
1025     // { Zone[] -> DomTarget[] }
1030     // { Zone[] -> Element[] }
1135   /// @return { [Element[] -> Zone[]] }
1137     // { Element[] -> Zone[] }
1193   /// @return True if the computed lifetimes (#Zone) is usable.
1227     Zone = OriginalZone = Knowledge({}, EltUnused, EltKnown, EltWritten);
1228     POLLY_DEBUG(dbgs() << "Computed Zone:\n"; OriginalZone.print(dbgs(), 4));
1230     assert(Zone.isUsable() && OriginalZone.isUsable());
1345     if (!Zone.isUsable()) {
1346       OS.indent(Indent) << "Zone not computed\n";