Searched refs:Occupied (Results 1 – 2 of 2) sorted by relevance
36 isl::union_set &Occupied, isl::union_map &Known, in completeLifetime() argument40 if (!Undef.is_null() && Occupied.is_null()) { in completeLifetime()41 assert(Occupied.is_null()); in completeLifetime()42 Occupied = Universe.subtract(Undef); in completeLifetime()50 if (Occupied.is_null()) in completeLifetime()51 Occupied = OccupiedAndKnown.domain(); in completeLifetime()61 assert(!Occupied.is_null()); in completeLifetime()62 Undef = Universe.subtract(Occupied); in completeLifetime()70 assert(!Occupied.is_null()); in completeLifetime()
202 isl::union_set Occupied; member in __anonf637340e0111::Knowledge251 if (Occupied.is_null() || Unused.is_null()) in checkConsistency()254 assert(Occupied.is_disjoint(Unused)); in checkConsistency()255 auto Universe = Occupied.unite(Unused); in checkConsistency()270 : Occupied(std::move(Occupied)), Unused(std::move(Unused)), in Knowledge()284 if (!Occupied.is_null()) in print()310 Unused = Unused.subtract(That.Occupied); in learnFrom()340 assert(!Proposed.Occupied.is_null()); in isConflicting()387 if (!Proposed.Occupied.is_subset(Matches)) { in isConflicting()945 auto Occupied = LifetimeTranslator.range(); in tryMapPHI() local[all …]