diff options
| author | Yingwei Zheng <dtcxzyw2333@gmail.com> | 2023-12-15 16:33:39 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-15 16:33:39 +0800 |
| commit | 1fea712cd1898202eb051f4460b39470331aa67c (patch) | |
| tree | 610f2dbcff1359c0dcc5ccd98ad23c6bd658fee5 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | af2d740d2d9f3ff7ce9c038c26134c921f0662ae (diff) | |
| download | llvm-1fea712cd1898202eb051f4460b39470331aa67c.zip llvm-1fea712cd1898202eb051f4460b39470331aa67c.tar.gz llvm-1fea712cd1898202eb051f4460b39470331aa67c.tar.bz2 | |
[ValueTracking] Infer `X u<= X +nuw Y` for any Y (#75524)
Alive2: https://alive2.llvm.org/ce/z/kiGxCf
Fixes #70374.
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 5445746..8f32a1ba 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -8102,10 +8102,9 @@ static bool isTruePredicate(CmpInst::Predicate Pred, const Value *LHS, } case CmpInst::ICMP_ULE: { - const APInt *C; - - // LHS u<= LHS +_{nuw} C for any C - if (match(RHS, m_NUWAdd(m_Specific(LHS), m_APInt(C)))) + // LHS u<= LHS +_{nuw} V for any V + if (match(RHS, m_c_Add(m_Specific(LHS), m_Value())) && + cast<OverflowingBinaryOperator>(RHS)->hasNoUnsignedWrap()) return true; // RHS >> V u<= RHS for any V |