Searched refs:EltZoneUniverse (Results 1 – 1 of 1) sorted by relevance
1108 isl::union_map EltZoneUniverse = isl::union_map::from_domain_and_range( in computeKnownFromLoad() local1116 EltZoneUniverse.wrap().subtract(WriteReachDefZone.domain()); in computeKnownFromLoad()1123 isl::union_map EltZoneElt = EltZoneUniverse.domain_map(); in computeKnownFromLoad()