Lines Matching refs:union_map
244 isl::union_map Known;
249 isl::union_map Translator;
260 isl::union_map findSameContentElements(isl::union_map ValInst) { in findSameContentElements()
267 isl::union_map Schedule = getScatterFor(Domain); in findSameContentElements()
270 isl::union_map MustKnownCurried = in findSameContentElements()
274 isl::union_map DomValSched = ValInst.domain_map().apply_range(Schedule); in findSameContentElements()
277 isl::union_map SchedValDomVal = in findSameContentElements()
281 isl::union_map MustKnownInst = MustKnownCurried.apply_range(SchedValDomVal); in findSameContentElements()
284 isl::union_map MustKnownMap = in findSameContentElements()
305 isl::map singleLocation(isl::union_map MustKnown, isl::set Domain) { in singleLocation()
349 isl::union_map MustKnown, KnownFromLoad, KnownFromInit; in computeKnownValues()
521 isl::union_map TranslatedExpectedVal = in forwardKnownLoad()
522 isl::union_map(TargetExpectedVal).apply_range(Translator); in forwardKnownLoad()
525 isl::union_map Candidates = findSameContentElements(TranslatedExpectedVal); in forwardKnownLoad()
622 isl::union_map ExpectedVal = makeNormalizedValInst(Inst, UseStmt, UseLoop); in reloadKnownContent()
628 isl::union_map TargetExpectedVal = ExpectedVal.apply_domain(UseToTarget); in reloadKnownContent()
629 isl::union_map TranslatedExpectedVal = in reloadKnownContent()
633 isl::union_map Candidates = findSameContentElements(TranslatedExpectedVal); in reloadKnownContent()