Searched refs:DomainUse (Results 1 – 1 of 1) sorted by relevance
762 auto DomainUse = getDomainFor(UserStmt); in makeValInst() local771 return isl::map::from_domain_and_range(DomainUse, ValSet); in makeValInst()776 auto UseDomainSpace = DomainUse.get_space(); in makeValInst()801 auto ValInstSet = isl::map::from_domain_and_range(DomainUse, ValSet); in makeValInst()819 return ::makeUnknownForDomain(DomainUse); in makeValInst()828 auto ValInstSet = isl::map::from_domain_and_range(DomainUse, ValSet); in makeValInst()