[llvm] [InstCombine] Optimize (select %x, op(%x), 0) to op(%x) for operations where op(0) == 0 (PR #147605)
Ryan Buchner via llvm-commits
llvm-commits at lists.llvm.org
Thu Jul 10 09:48:51 PDT 2025
================
@@ -913,11 +915,28 @@ static Instruction *foldSelectZeroOrMul(SelectInst &SI, InstCombinerImpl &IC) {
if (!match(MergedC, m_Zero()) && !match(MergedC, m_Undef()))
return nullptr;
- auto *FalseValI = cast<Instruction>(FalseVal);
- auto *FrY = IC.InsertNewInstBefore(new FreezeInst(Y, Y->getName() + ".fr"),
- FalseValI->getIterator());
- IC.replaceOperand(*FalseValI, FalseValI->getOperand(0) == Y ? 0 : 1, FrY);
- return IC.replaceInstUsesWith(SI, FalseValI);
+ if (match(FalseVal, m_c_Mul(m_Specific(X), m_Value(Y))) ||
+ match(FalseVal, m_c_And(m_Specific(X), m_Value(Y))) ||
+ match(FalseVal, m_Shl(m_Specific(X), m_Value(Y))) ||
----------------
bababuck wrote:
For the `shl/lshr/ashr`, would we need to check that the shift operation `isGuaranteedNotToBePoison`, since it could generate poison from a large, non-poison shift amount?
https://github.com/llvm/llvm-project/pull/147605
More information about the llvm-commits
mailing list