Searched refs:WriteReachDefZone (Results 1 – 2 of 2) sorted by relevance
993 WriteReachDefZone = in computeCommon()995 simplify(WriteReachDefZone); in computeCommon()1103 isl::union_map EltReachdDef = distributeDomain(WriteReachDefZone.curry()); in computeKnownFromMustWrites()1125 EltZoneUniverse.wrap().subtract(WriteReachDefZone.domain()); in computeKnownFromLoad()1129 WriteReachDefZone.unite(isl::union_map::from_domain(NonReachDef)); in computeKnownFromLoad()
104 isl::union_map WriteReachDefZone; variable