Searched refs:ValInst (Results 1 – 3 of 3) sorted by relevance
712 isl::map ValInst; in tryMapValue() local714 ValInst = makeValInst(V, DefMA->getStatement(), in tryMapValue()717 ValInst = makeUnknownForDomain(DefMA->getStatement()); in tryMapValue()723 auto EltKnown = ValInst.apply_domain(EltKnownTranslator); in tryMapValue()730 auto DefEltSched = ValInst.apply_domain(WrittenTranslator); in tryMapValue()810 isl::union_map ValInst; in determinePHIWrittenValues() local816 ValInst = makeValInst(Incoming[0].second, WriteStmt, in determinePHIWrittenValues()824 ValInst = makeUnknownForDomain(WriteStmt); in determinePHIWrittenValues()827 Result = Result.unite(ValInst); in determinePHIWrittenValues()
260 isl::union_map findSameContentElements(isl::union_map ValInst) { in findSameContentElements() argument261 assert(!ValInst.is_single_valued().is_false()); in findSameContentElements()264 isl::union_set Domain = ValInst.domain(); in findSameContentElements()274 isl::union_map DomValSched = ValInst.domain_map().apply_range(Schedule); in findSameContentElements()278 DomValSched.range_product(ValInst.range_map()).reverse(); in findSameContentElements()
781 auto ValInst = in makeValInst() local783 return ValInst; in makeValInst()876 isl::map ValInst = makeValInst(Val, UserStmt, Scope, IsCertain); in makeNormalizedValInst() local878 normalizeValInst(ValInst, ComputedPHIs, NormalizeMap); in makeNormalizedValInst()