Searched refs:ValSet (Results 1 – 2 of 2) sorted by relevance
261 isl::set ValSet; in coalesceWrites() local276 ValSet = makeValueSet(StoredVal); in coalesceWrites()299 isl::map::from_domain_and_range(AllowedAccesses.wrap(), ValSet); in coalesceWrites()369 if (MA->isMustWrite() && !ValSet.is_null()) { in coalesceWrites()376 isl::map ValAccSet = isl::map::from_domain_and_range(ValSet, AccSet); in coalesceWrites()
763 auto ValSet = makeValueSet(Val); in makeValInst() local764 return isl::map::from_domain_and_range(DomainUse, ValSet); in makeValInst()791 auto ValSet = makeValueSet(Val); in makeValInst() local794 auto ValInstSet = isl::map::from_domain_and_range(DomainUse, ValSet); in makeValInst()818 auto ValSet = makeValueSet(Val); in makeValInst() local821 auto ValInstSet = isl::map::from_domain_and_range(DomainUse, ValSet); in makeValInst()