diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2019-03-03 18:59:33 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2019-03-03 18:59:33 +0000 |
| commit | 2a70703770a3bac2cbe3757922ac06381c3687ff (patch) | |
| tree | 83acbd357232e39a7198dc0f7efed996cdcb8888 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | d341a94261ad17380ff57d8d1a32e9d9d690edb8 (diff) | |
| download | llvm-2a70703770a3bac2cbe3757922ac06381c3687ff.zip llvm-2a70703770a3bac2cbe3757922ac06381c3687ff.tar.gz llvm-2a70703770a3bac2cbe3757922ac06381c3687ff.tar.bz2 | |
[ValueTracking] do not try to peek through bitcasts in computeKnownBitsFromAssume()
There are no tests for this case, and I'm not sure how it could ever work,
so I'm just removing this option from the matcher. This should fix PR40940:
https://bugs.llvm.org/show_bug.cgi?id=40940
llvm-svn: 355292
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 b4473f8..64250f6 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -617,9 +617,7 @@ static void computeKnownBitsFromAssume(const Value *V, KnownBits &Known, continue; Value *A, *B; - auto m_V = m_CombineOr(m_Specific(V), - m_CombineOr(m_PtrToInt(m_Specific(V)), - m_BitCast(m_Specific(V)))); + auto m_V = m_CombineOr(m_Specific(V), m_PtrToInt(m_Specific(V))); CmpInst::Predicate Pred; uint64_t C; |