Searched refs:ValInstSet (Results 1 – 1 of 1) sorted by relevance
794 auto ValInstSet = isl::map::from_domain_and_range(DomainUse, ValSet); in makeValInst() local797 auto Result = ValInstSet.domain_map().reverse(); in makeValInst()821 auto ValInstSet = isl::map::from_domain_and_range(DomainUse, ValSet); in makeValInst() local824 auto Result = UsedInstance.range_product(ValInstSet); in makeValInst()