[llvm] [InstCombine] Fold `(icmp eq/ne (or (select cond, 0/NZ, 0/NZ), X), 0)` (PR #88183)
Yingwei Zheng via llvm-commits
llvm-commits at lists.llvm.org
Sat Aug 3 08:16:28 PDT 2024
================
@@ -3491,6 +3491,57 @@ Instruction *InstCombinerImpl::foldICmpBinOpEqualityWithConstant(
Value *And = Builder.CreateAnd(BOp0, NotBOC);
return new ICmpInst(Pred, And, NotBOC);
}
+ // (icmp eq (or (select cond, 0, NonZero), Other), 0)
+ // -> (and cond, (icmp eq Other, 0))
+ // (icmp ne (or (select cond, NonZero, 0), Other), 0)
+ // -> (or cond, (icmp ne Other, 0))
+ Value *Cond, *TV, *FV, *Other;
+ if (C.isZero() &&
+ match(BO,
+ m_OneUse(m_c_Or(m_Select(m_Value(Cond), m_Value(TV), m_Value(FV)),
----------------
dtcxzyw wrote:
```suggestion
m_OneUse(m_c_Or(m_CombineAnd(m_Instruction(SelInst), m_Select(m_Value(Cond), m_Value(TV), m_Value(FV))),
```
https://github.com/llvm/llvm-project/pull/88183
More information about the llvm-commits
mailing list