diff options
| author | Farhana Aleen <farhana.a.aleen@intel.com> | 2017-07-10 20:15:40 +0000 |
|---|---|---|
| committer | Farhana Aleen <farhana.a.aleen@intel.com> | 2017-07-10 20:15:40 +0000 |
| commit | 2ff973f2a5adce69fdf544ff0ee2115b3cdf4b1a (patch) | |
| tree | 8302ac0f5f9d0ea70ea299b2dc34433dd5c740f2 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 40df124eda86bd7fcf31b917f5093f74af9f8895 (diff) | |
| download | bcm5719-llvm-2ff973f2a5adce69fdf544ff0ee2115b3cdf4b1a.tar.gz bcm5719-llvm-2ff973f2a5adce69fdf544ff0ee2115b3cdf4b1a.zip | |
Avoid doing conservative phi checks in aliasSameBasePointerGEPs() if no phis have been visited yet.
Reviewers: Daniel Berlin
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D34478
llvm-svn: 307581
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 9e042da8801..704b5ebfa68 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -1873,7 +1873,7 @@ bool isKnownNonZero(const Value *V, unsigned Depth, const Query &Q) { if (Known.countMaxLeadingZeros() < BitWidth - ShiftVal) return true; // Are all the bits to be shifted out known zero? - if (Known.countMinTrailingZeros() >= ShiftVal) + if (Known.isUnknown() || Known.countMinTrailingZeros() >= ShiftVal) return isKnownNonZero(X, Depth, Q); } } |
