diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2020-09-29 20:48:32 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-09-29 21:07:36 +0200 |
| commit | ac8a51c701ebd332a44944f8ff8545c21bc438ce (patch) | |
| tree | 269ac36ea24e5a038a80e36f9fbe56c510b6bfaa /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 15fbae8ac303d8601ea95418d4818cb50d0765e1 (diff) | |
| download | llvm-ac8a51c701ebd332a44944f8ff8545c21bc438ce.zip llvm-ac8a51c701ebd332a44944f8ff8545c21bc438ce.tar.gz llvm-ac8a51c701ebd332a44944f8ff8545c21bc438ce.tar.bz2 | |
[ValueTracking] Early exit known non zero for phis
After D88276 we no longer expect computeKnownBits() to prove
non-zeroness for cases where isKnownNonZero() can't, so don't
fall through to it.
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 11377c4..11eb5f3 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -2564,14 +2564,12 @@ bool isKnownNonZero(const Value *V, const APInt &DemandedElts, unsigned Depth, // Check if all incoming values are non-zero using recursion. Query RecQ = Q; unsigned NewDepth = std::max(Depth, MaxAnalysisRecursionDepth - 1); - bool AllNonZero = llvm::all_of(PN->operands(), [&](const Use &U) { + return llvm::all_of(PN->operands(), [&](const Use &U) { if (U.get() == PN) return true; RecQ.CxtI = PN->getIncomingBlock(U)->getTerminator(); return isKnownNonZero(U.get(), DemandedElts, NewDepth, RecQ); }); - if (AllNonZero) - return true; } // ExtractElement else if (const auto *EEI = dyn_cast<ExtractElementInst>(V)) { |