aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/IR/Verifier.cpp
diff options
context:
space:
mode:
authorJoel E. Denny <jdenny.ornl@gmail.com>2025-07-31 15:56:31 -0400
committerGitHub <noreply@github.com>2025-07-31 15:56:31 -0400
commit37e03b56b8172d73ebd755a210fcfa031133220a (patch)
tree0377f9673578592ad44b53ccf45669e8a067c41a /llvm/lib/IR/Verifier.cpp
parenta85c725952f7eec54552c195353ff0cb6275a2e0 (diff)
downloadllvm-37e03b56b8172d73ebd755a210fcfa031133220a.zip
llvm-37e03b56b8172d73ebd755a210fcfa031133220a.tar.gz
llvm-37e03b56b8172d73ebd755a210fcfa031133220a.tar.bz2
Revert "[PGO] Add `llvm.loop.estimated_trip_count` metadata" (#151585)
Reverts llvm/llvm-project#148758 [As requested.](https://github.com/llvm/llvm-project/pull/148758#pullrequestreview-3076627201)
Diffstat (limited to 'llvm/lib/IR/Verifier.cpp')
-rw-r--r--llvm/lib/IR/Verifier.cpp16
1 files changed, 0 insertions, 16 deletions
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp
index 924b5da..3ff9895 100644
--- a/llvm/lib/IR/Verifier.cpp
+++ b/llvm/lib/IR/Verifier.cpp
@@ -121,7 +121,6 @@
#include "llvm/Support/MathExtras.h"
#include "llvm/Support/ModRef.h"
#include "llvm/Support/raw_ostream.h"
-#include "llvm/Transforms/Utils/LoopUtils.h"
#include <algorithm>
#include <cassert>
#include <cstdint>
@@ -1072,21 +1071,6 @@ void Verifier::visitMDNode(const MDNode &MD, AreDebugLocsAllowed AllowLocs) {
}
}
- // Check llvm.loop.estimated_trip_count.
- if (MD.getNumOperands() > 0 &&
- MD.getOperand(0).equalsStr(LLVMLoopEstimatedTripCount)) {
- Check(MD.getNumOperands() == 1 || MD.getNumOperands() == 2,
- "Expected one or two operands", &MD);
- if (MD.getNumOperands() == 2) {
- auto *Count = dyn_cast_or_null<ConstantAsMetadata>(MD.getOperand(1));
- Check(Count && Count->getType()->isIntegerTy() &&
- cast<IntegerType>(Count->getType())->getBitWidth() <= 32,
- "Expected optional second operand to be an integer constant of "
- "type i32 or smaller",
- &MD);
- }
- }
-
// Check these last, so we diagnose problems in operands first.
Check(!MD.isTemporary(), "Expected no forward declarations!", &MD);
Check(MD.isResolved(), "All nodes should be resolved!", &MD);