[llvm] [InstSimplify] Fold {u, s}{min, max} x, poison -> poison (PR #138166)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Thu May 1 09:56:13 PDT 2025


================
@@ -6549,6 +6549,10 @@ Value *llvm::simplifyBinaryIntrinsic(Intrinsic::ID IID, Type *ReturnType,
     if (match(Op0, m_ImmConstant()))
       std::swap(Op0, Op1);
 
+    // Propagate poison.
+    if (isa<PoisonValue>(Op1))
----------------
dtcxzyw wrote:

It has been handled by `simplifyCall->tryConstantFoldCall->ConstantFoldCall`:
https://github.com/llvm/llvm-project/blob/acc40ed0a747ad8f5dbb93788da7ce104c36c0a3/llvm/lib/Analysis/ConstantFolding.cpp#L3181-L3188


https://github.com/llvm/llvm-project/pull/138166


More information about the llvm-commits mailing list