aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/ValueTracking.cpp
diff options
context:
space:
mode:
authorDuncan Sands <baldrick@free.fr>2011-03-08 12:39:03 +0000
committerDuncan Sands <baldrick@free.fr>2011-03-08 12:39:03 +0000
commit7dc3d47c349d9cd40dd837b86b52ddf6625a108c (patch)
treea5c0625f5db516b861f8c17658892189992e114c /llvm/lib/Analysis/ValueTracking.cpp
parentb5545be14bde81af3d9ff9e441ef0b148122a91b (diff)
downloadllvm-7dc3d47c349d9cd40dd837b86b52ddf6625a108c.zip
llvm-7dc3d47c349d9cd40dd837b86b52ddf6625a108c.tar.gz
llvm-7dc3d47c349d9cd40dd837b86b52ddf6625a108c.tar.bz2
Fix PR9331. Simplified version of a patch by Jakub Staszak.
llvm-svn: 127243
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
-rw-r--r--llvm/lib/Analysis/ValueTracking.cpp4
1 files changed, 4 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp
index 231b95b..f05ad66 100644
--- a/llvm/lib/Analysis/ValueTracking.cpp
+++ b/llvm/lib/Analysis/ValueTracking.cpp
@@ -610,6 +610,10 @@ void llvm::ComputeMaskedBits(Value *V, const APInt &Mask,
// Otherwise take the unions of the known bit sets of the operands,
// taking conservative care to avoid excessive recursion.
if (Depth < MaxDepth - 1 && !KnownZero && !KnownOne) {
+ // Skip if every incoming value references to ourself.
+ if (P->hasConstantValue() == P)
+ break;
+
KnownZero = APInt::getAllOnesValue(BitWidth);
KnownOne = APInt::getAllOnesValue(BitWidth);
for (unsigned i = 0, e = P->getNumIncomingValues(); i != e; ++i) {