[llvm] [InstCombine][NFC] Use CreateAssumption instead of CreateCall (PR #195862)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Tue May 5 07:21:05 PDT 2026
================
@@ -3627,21 +3627,16 @@ Instruction *InstCombinerImpl::visitCallInst(CallInst &CI) {
// Canonicalize assume(a && b) -> assume(a); assume(b);
// Note: New assumption intrinsics created here are registered by
// the InstCombineIRInserter object.
- FunctionType *AssumeIntrinsicTy = II->getFunctionType();
- Value *AssumeIntrinsic = II->getCalledOperand();
- Value *A, *B;
- if (match(IIOperand, m_LogicalAnd(m_Value(A), m_Value(B)))) {
- Builder.CreateCall(AssumeIntrinsicTy, AssumeIntrinsic, A, OpBundles,
- II->getName());
- Builder.CreateCall(AssumeIntrinsicTy, AssumeIntrinsic, B, II->getName());
+ if (Value *A, *B; match(IIOperand, m_LogicalAnd(m_Value(A), m_Value(B)))) {
----------------
nikic wrote:
Please keep the declarations of A/B outside the if, this is non-idiomatic.
https://github.com/llvm/llvm-project/pull/195862
More information about the llvm-commits
mailing list