Searched refs:MustKnown (Results 1 – 1 of 1) sorted by relevance
305 isl::map singleLocation(isl::union_map MustKnown, isl::set Domain) { in singleLocation() argument316 for (isl::map Map : MustKnown.get_map_list()) { in singleLocation()349 isl::union_map MustKnown, KnownFromLoad, KnownFromInit; in computeKnownValues() local