Searched refs:WriteReachDefZone (Results 1 – 2 of 2) sorted by relevance
986 WriteReachDefZone = in computeCommon()988 simplify(WriteReachDefZone); in computeCommon()1094 isl::union_map EltReachdDef = distributeDomain(WriteReachDefZone.curry()); in computeKnownFromMustWrites()1116 EltZoneUniverse.wrap().subtract(WriteReachDefZone.domain()); in computeKnownFromLoad()1120 WriteReachDefZone.unite(isl::union_map::from_domain(NonReachDef)); in computeKnownFromLoad()
104 isl::union_map WriteReachDefZone; variable