[llvm] [InstCombine] Fold X + umax(X, 1) -> umax(X << 1, 1) (PR #222727)
Ramkumar Ramachandra via llvm-commits
llvm-commits at lists.llvm.org
Sat Sep 12 03:28:20 PDT 2026
================
@@ -1984,6 +1984,22 @@ Instruction *InstCombinerImpl::visitAdd(BinaryOperator &I) {
I.setHasNoUnsignedWrap(true);
}
+ // X + umax(X, 1) --> umax(X << 1, 1) if X + X does not overflow.
+ if (match(&I, m_c_Add(m_Value(A), m_OneUse(m_c_UMax(m_Value(B), m_One())))) &&
+ A == B) {
----------------
artagnon wrote:
```suggestion
if (match(&I, m_c_Add(m_Value(A), m_OneUse(m_c_UMax(m_Deferred(A), m_One()))))) {
```
https://github.com/llvm/llvm-project/pull/222727
More information about the llvm-commits
mailing list