[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