diff options
| author | Andrew Trick <atrick@apple.com> | 2012-03-26 22:33:59 +0000 |
|---|---|---|
| committer | Andrew Trick <atrick@apple.com> | 2012-03-26 22:33:59 +0000 |
| commit | eb6dd23c95c1df08a4a924e2125158c5203b0991 (patch) | |
| tree | ba2d82e21364b4c09051f7e0e6a0d2499a3c13cd /lib/Analysis/ScalarEvolution.cpp | |
| parent | 29a776b8242d63cafc3d26e8183fee13273fca2e (diff) | |
| download | llvm-eb6dd23c95c1df08a4a924e2125158c5203b0991.tar.gz llvm-eb6dd23c95c1df08a4a924e2125158c5203b0991.tar.bz2 llvm-eb6dd23c95c1df08a4a924e2125158c5203b0991.tar.xz | |
SCEV fix: Handle loop invariant loads.
Fixes PR11882: NULL dereference in ComputeLoadConstantCompareExitLimit.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153480 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ScalarEvolution.cpp')
| -rw-r--r-- | lib/Analysis/ScalarEvolution.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index 0c0ceeb951..8b5397946e 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -4619,6 +4619,10 @@ ScalarEvolution::ComputeLoadConstantCompareExitLimit( Indexes.push_back(0); } + // Loop-invariant loads may be a byproduct of loop optimization. Skip them. + if (!VarIdx) + return getCouldNotCompute(); + // Okay, we know we have a (load (gep GV, 0, X)) comparison with a constant. // Check to see if X is a loop variant variable value now. const SCEV *Idx = getSCEV(VarIdx); @@ -6845,7 +6849,7 @@ ScalarEvolution::computeBlockDisposition(const SCEV *S, const BasicBlock *BB) { return ProperlyDominatesBlock; case scCouldNotCompute: llvm_unreachable("Attempt to use a SCEVCouldNotCompute object!"); - default: + default: llvm_unreachable("Unknown SCEV kind!"); } } |