[llvm] 1d27348 - ValueTracking: Simplify intrinsic ID asserts

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Sat Jun 29 22:58:57 PDT 2024


Author: Matt Arsenault
Date: 2024-06-30T07:58:51+02:00
New Revision: 1d27348e537e1b25d727ec6f4d5d820a4dd8a789

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

LOG: ValueTracking: Simplify intrinsic ID asserts

Added: 
    

Modified: 
    llvm/lib/Analysis/ValueTracking.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp
index bb30eeadfa1ef..7deb7bd4e3123 100644
--- a/llvm/lib/Analysis/ValueTracking.cpp
+++ b/llvm/lib/Analysis/ValueTracking.cpp
@@ -4687,7 +4687,7 @@ static KnownFPClass computeKnownFPClassFromContext(const Value *V,
 
     assert(I->getFunction() == Q.CxtI->getParent()->getParent() &&
            "Got assumption for the wrong function!");
-    assert(I->getCalledFunction()->getIntrinsicID() == Intrinsic::assume &&
+    assert(I->getIntrinsicID() == Intrinsic::assume &&
            "must be an assume intrinsic");
 
     if (!isValidAssumeForContext(I, Q.CxtI, Q.DT))
@@ -9537,7 +9537,7 @@ ConstantRange llvm::computeConstantRange(const Value *V, bool ForSigned,
       CallInst *I = cast<CallInst>(AssumeVH);
       assert(I->getParent()->getParent() == CtxI->getParent()->getParent() &&
              "Got assumption for the wrong function!");
-      assert(I->getCalledFunction()->getIntrinsicID() == Intrinsic::assume &&
+      assert(I->getIntrinsicID() == Intrinsic::assume &&
              "must be an assume intrinsic");
 
       if (!isValidAssumeForContext(I, CtxI, DT))


        


More information about the llvm-commits mailing list