[llvm] ea6b7f8 - [InstCombine][NFC] Use CreateAssumption instead of CreateCall (#195862)

via llvm-commits llvm-commits at lists.llvm.org
Tue May 5 09:00:52 PDT 2026


Author: Nikolas Klauser
Date: 2026-05-05T18:00:47+02:00
New Revision: ea6b7f8a55f997490dc45df8a5e7204ffa9f9606

URL: https://github.com/llvm/llvm-project/commit/ea6b7f8a55f997490dc45df8a5e7204ffa9f9606
DIFF: https://github.com/llvm/llvm-project/commit/ea6b7f8a55f997490dc45df8a5e7204ffa9f9606.diff

LOG: [InstCombine][NFC] Use CreateAssumption instead of CreateCall (#195862)

Added: 
    

Modified: 
    llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp b/llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
index 3bcec0827e9a1..86b94e5a85a4e 100644
--- a/llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
+++ b/llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
@@ -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());
+      Builder.CreateAssumption(A, OpBundles);
+      Builder.CreateAssumption(B);
       return eraseInstFromFunction(*II);
     }
     // assume(!(a || b)) -> assume(!a); assume(!b);
     if (match(IIOperand, m_Not(m_LogicalOr(m_Value(A), m_Value(B))))) {
-      Builder.CreateCall(AssumeIntrinsicTy, AssumeIntrinsic,
-                         Builder.CreateNot(A), OpBundles, II->getName());
-      Builder.CreateCall(AssumeIntrinsicTy, AssumeIntrinsic,
-                         Builder.CreateNot(B), II->getName());
+      Builder.CreateAssumption(Builder.CreateNot(A), OpBundles);
+      Builder.CreateAssumption(Builder.CreateNot(B));
       return eraseInstFromFunction(*II);
     }
 


        


More information about the llvm-commits mailing list