[llvm] [Analysis] Remove getGuaranteedWellDefinedOps (PR #127453)
Kazu Hirata via llvm-commits
llvm-commits at lists.llvm.org
Sun Feb 16 23:43:48 PST 2025
https://github.com/kazutakahirata created https://github.com/llvm/llvm-project/pull/127453
The last use was removed in:
commit ac9e67756e0157793d565c2cceaf82e4403f58ba
Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
Date: Mon Feb 26 01:53:16 2024 +0800
>From 0267ba0e98ab0fae37ff790c077a994de9b2f3a3 Mon Sep 17 00:00:00 2001
From: Kazu Hirata <kazu at google.com>
Date: Sun, 16 Feb 2025 23:33:32 -0800
Subject: [PATCH] [Analysis] Remove getGuaranteedWellDefinedOps
The last use was removed in:
commit ac9e67756e0157793d565c2cceaf82e4403f58ba
Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
Date: Mon Feb 26 01:53:16 2024 +0800
---
llvm/include/llvm/Analysis/ValueTracking.h | 6 ------
llvm/lib/Analysis/ValueTracking.cpp | 8 --------
2 files changed, 14 deletions(-)
diff --git a/llvm/include/llvm/Analysis/ValueTracking.h b/llvm/include/llvm/Analysis/ValueTracking.h
index dba54be4c92f8..1b49f8a3e85b1 100644
--- a/llvm/include/llvm/Analysis/ValueTracking.h
+++ b/llvm/include/llvm/Analysis/ValueTracking.h
@@ -1004,12 +1004,6 @@ bool propagatesPoison(const Use &PoisonOp);
void getGuaranteedNonPoisonOps(const Instruction *I,
SmallVectorImpl<const Value *> &Ops);
-/// Insert operands of I into Ops such that I will trigger undefined behavior
-/// if I is executed and that operand is not a well-defined value
-/// (i.e. has undef bits or poison).
-void getGuaranteedWellDefinedOps(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 2a49a10447e0b..e4454c42c7857 100644
--- a/llvm/lib/Analysis/ValueTracking.cpp
+++ b/llvm/lib/Analysis/ValueTracking.cpp
@@ -8175,14 +8175,6 @@ static bool handleGuaranteedWellDefinedOps(const Instruction *I,
return false;
}
-void llvm::getGuaranteedWellDefinedOps(
- const Instruction *I, SmallVectorImpl<const Value *> &Operands) {
- handleGuaranteedWellDefinedOps(I, [&](const Value *V) {
- Operands.push_back(V);
- return false;
- });
-}
-
/// Enumerates all operands of \p I that are guaranteed to not be poison.
template <typename CallableT>
static bool handleGuaranteedNonPoisonOps(const Instruction *I,
More information about the llvm-commits
mailing list