Lines Matching refs:Assumptions
221 SCEVUnionPredicate Assumptions = DA->getRuntimeAssumptions(); in dumpExampleDependence() local
222 if (!Assumptions.isAlwaysTrue()) { in dumpExampleDependence()
224 Assumptions.print(OS, 0); in dumpExampleDependence()
728 SCEVUnionPredicate Assumptions = getRuntimeAssumptions(); in dump() local
729 if (!Assumptions.isAlwaysTrue()) { in dump()
731 Assumptions.print(OS, 2); in dump()
3589 return SCEVUnionPredicate(Assumptions, *SE); in getRuntimeAssumptions()
3688 unsigned N = Assumptions.size(); in depends()
3692 if (Assumptions[I]->implies(P, *SE)) in depends()
3695 Assumptions.push_back(P); in depends()
4124 FullDependence Result(Src, Dst, Dep.Assumptions, false, CommonLevels); in getSplitIteration()