Searched refs:DomainUse (Results 1 – 1 of 1) sorted by relevance
755 auto DomainUse = getDomainFor(UserStmt); in makeValInst() local764 return isl::map::from_domain_and_range(DomainUse, ValSet); in makeValInst()769 auto UseDomainSpace = DomainUse.get_space(); in makeValInst()794 auto ValInstSet = isl::map::from_domain_and_range(DomainUse, ValSet); in makeValInst()812 return ::makeUnknownForDomain(DomainUse); in makeValInst()821 auto ValInstSet = isl::map::from_domain_and_range(DomainUse, ValSet); in makeValInst()