diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2021-06-19 10:06:00 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2021-06-19 18:09:28 +0000 |
| commit | 23408297fbf3089f0388a8873b02fa75ab3f5bb9 (patch) | |
| tree | 73e65506c89dcf58daeb8b774b921a8d688d133b /contrib/llvm-project/llvm/lib/Analysis/ScalarEvolution.cpp | |
| parent | cac129e6030095c33e95c5ce1cdcb9c5c21efce9 (diff) | |
| parent | e4bbddaec8689e1b24f25e88958bea700e989542 (diff) | |
Diffstat (limited to 'contrib/llvm-project/llvm/lib/Analysis/ScalarEvolution.cpp')
| -rw-r--r-- | contrib/llvm-project/llvm/lib/Analysis/ScalarEvolution.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/llvm-project/llvm/lib/Analysis/ScalarEvolution.cpp b/contrib/llvm-project/llvm/lib/Analysis/ScalarEvolution.cpp index fe9d8297d679..1a9ae68573e9 100644 --- a/contrib/llvm-project/llvm/lib/Analysis/ScalarEvolution.cpp +++ b/contrib/llvm-project/llvm/lib/Analysis/ScalarEvolution.cpp @@ -10622,6 +10622,10 @@ bool ScalarEvolution::isImpliedViaMerge(ICmpInst::Predicate Pred, if (!dominates(RHS, IncBB)) return false; const SCEV *L = getSCEV(LPhi->getIncomingValueForBlock(IncBB)); + // Make sure L does not refer to a value from a potentially previous + // iteration of a loop. + if (!properlyDominates(L, IncBB)) + return false; if (!ProvedEasily(L, RHS)) return false; } |