[llvm] 6a30076 - [Analysis] Remove getGuaranteedNonPoisonOps (#127461)

[via llvm-commits]

Author: Kazu Hirata
Date: 2025-02-17T08:26:33-08:00
New Revision: 6a3007683bf2fa05989c12c787f5547788d09178

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

LOG: [Analysis] Remove getGuaranteedNonPoisonOps (#127461)

commit 0517772b4ac20c5d3a0de0d4703354a179833248
  Author: Philip Reames <preames at rivosinc.com>
  Date:   Thu Dec 19 14:14:11 2024 -0800

Added: 
    

Modified: 
    llvm/include/llvm/Analysis/ValueTracking.h
    llvm/lib/Analysis/ValueTracking.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/include/llvm/Analysis/ValueTracking.h b/llvm/include/llvm/Analysis/ValueTracking.h
index 1b49f8a3e85b1..67f9f24c3b7a4 100644
--- a/llvm/include/llvm/Analysis/ValueTracking.h
+++ b/llvm/include/llvm/Analysis/ValueTracking.h
@@ -999,11 +999,6 @@ bool isGuaranteedToExecuteForEveryIteration(const Instruction *I,
 /// getGuaranteedNonPoisonOp.
 bool propagatesPoison(const Use &PoisonOp);
 
-/// Insert operands of I into Ops such that I will trigger undefined behavior
-/// if I is executed and that operand has a poison value.
-void getGuaranteedNonPoisonOps(const Instruction *I,
-                               SmallVectorImpl<const Value *> &Ops);
-
 /// Return true if the given instruction must trigger undefined behavior
 /// when I is executed with any operands which appear in KnownPoison holding
 /// a poison value at the point of execution.

diff  --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp
index e4454c42c7857..91a5f194db9dc 100644
--- a/llvm/lib/Analysis/ValueTracking.cpp
+++ b/llvm/lib/Analysis/ValueTracking.cpp
@@ -8193,14 +8193,6 @@ static bool handleGuaranteedNonPoisonOps(const Instruction *I,
   }
 }
 
-void llvm::getGuaranteedNonPoisonOps(const Instruction *I,
-                                     SmallVectorImpl<const Value *> &Operands) {
-  handleGuaranteedNonPoisonOps(I, [&](const Value *V) {
-    Operands.push_back(V);
-    return false;
-  });
-}
-
 bool llvm::mustTriggerUB(const Instruction *I,
                          const SmallPtrSetImpl<const Value *> &KnownPoison) {
   return handleGuaranteedNonPoisonOps(