Searched refs:AccRelStoredVal (Results 1 – 1 of 1) sorted by relevance
441 isl::map AccRelStoredVal = isl::map::from_domain_and_range( in removeRedundantWrites() local443 if (isl::union_map(AccRelStoredVal).is_subset(Known)) { in removeRedundantWrites()