Searched refs:ValInstSet (Results 1 – 1 of 1) sorted by relevance
801 auto ValInstSet = isl::map::from_domain_and_range(DomainUse, ValSet); in makeValInst() local804 auto Result = ValInstSet.domain_map().reverse(); in makeValInst()828 auto ValInstSet = isl::map::from_domain_and_range(DomainUse, ValSet); in makeValInst() local831 auto Result = UsedInstance.range_product(ValInstSet); in makeValInst()