[llvm] [Transforms][Utils] Remove ProfcheckDisableMetadataFixes checks (PR #222382)
Aiden Grossman via llvm-commits
llvm-commits at lists.llvm.org
Wed Sep 9 10:55:57 PDT 2026
https://github.com/boomanaiden154 updated https://github.com/llvm/llvm-project/pull/222382
>From ebb365aa058c893850829820d682c72805a9bc54 Mon Sep 17 00:00:00 2001
From: Aiden Grossman <aidengrossman at google.com>
Date: Wed, 9 Sep 2026 16:50:54 +0000
Subject: [PATCH] =?UTF-8?q?[=F0=9D=98=80=F0=9D=97=BD=F0=9D=97=BF]=20change?=
=?UTF-8?q?s=20to=20main=20this=20commit=20is=20based=20on?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Created using spr 1.3.7
[skip ci]
---
llvm/lib/Transforms/Utils/SimplifyCFG.cpp | 62 ++++++++++-------------
1 file changed, 26 insertions(+), 36 deletions(-)
diff --git a/llvm/lib/Transforms/Utils/SimplifyCFG.cpp b/llvm/lib/Transforms/Utils/SimplifyCFG.cpp
index ca96f2e70d810..f58fc8166ffd6 100644
--- a/llvm/lib/Transforms/Utils/SimplifyCFG.cpp
+++ b/llvm/lib/Transforms/Utils/SimplifyCFG.cpp
@@ -4206,13 +4206,12 @@ static bool performBranchToCommonDestFolding(CondBrInst *BI, CondBrInst *PBI,
Value *BICond = VMap[BI->getCondition()];
PBI->setCondition(
createLogicalOp(Builder, Opc, PBI->getCondition(), BICond, "or.cond"));
- if (!ProfcheckDisableMetadataFixes)
- if (auto *SI = dyn_cast<SelectInst>(PBI->getCondition()))
- if (!MDWeights.empty()) {
- assert(isSelectInRoleOfConjunctionOrDisjunction(SI));
- setFittedBranchWeights(*SI, {MDWeights[0], MDWeights[1]},
- /*IsExpected=*/false, /*ElideAllZero=*/true);
- }
+ if (auto *SI = dyn_cast<SelectInst>(PBI->getCondition()))
+ if (!MDWeights.empty()) {
+ assert(isSelectInRoleOfConjunctionOrDisjunction(SI));
+ setFittedBranchWeights(*SI, {MDWeights[0], MDWeights[1]},
+ /*IsExpected=*/false, /*ElideAllZero=*/true);
+ }
++NumFoldBranchToCommonDest;
return true;
@@ -4558,8 +4557,7 @@ static bool mergeConditionalStoreToAddress(
auto *T = SplitBlockAndInsertIfThen(CombinedPred, InsertPt,
/*Unreachable=*/false,
/*BranchWeights=*/nullptr, DTU);
- if (hasBranchWeightMD(*PBranch) && hasBranchWeightMD(*QBranch) &&
- !ProfcheckDisableMetadataFixes) {
+ if (hasBranchWeightMD(*PBranch) && hasBranchWeightMD(*QBranch)) {
SmallVector<uint32_t, 2> PWeights, QWeights;
extractBranchWeights(*PBranch, PWeights);
extractBranchWeights(*QBranch, QWeights);
@@ -4945,16 +4943,15 @@ static bool SimplifyCondBranchToCondBranch(CondBrInst *PBI, CondBrInst *BI,
/*ElideAllZero=*/true);
// Cond may be a select instruction with the first operand set to "true", or
// the second to "false" (see how createLogicalOp works for `and` and `or`)
- if (!ProfcheckDisableMetadataFixes)
- if (auto *SI = dyn_cast<SelectInst>(Cond)) {
- assert(isSelectInRoleOfConjunctionOrDisjunction(SI));
- // The select is predicated on PBICond
- assert(SI->getCondition() == PBICond);
- // The corresponding probabilities are what was referred to above as
- // PredCommon and PredOther.
- setFittedBranchWeights(*SI, {PredCommon, PredOther},
- /*IsExpected=*/false, /*ElideAllZero=*/true);
- }
+ if (auto *SI = dyn_cast<SelectInst>(Cond)) {
+ assert(isSelectInRoleOfConjunctionOrDisjunction(SI));
+ // The select is predicated on PBICond
+ assert(SI->getCondition() == PBICond);
+ // The corresponding probabilities are what was referred to above as
+ // PredCommon and PredOther.
+ setFittedBranchWeights(*SI, {PredCommon, PredOther},
+ /*IsExpected=*/false, /*ElideAllZero=*/true);
+ }
}
// OtherDest may have phi nodes. If so, add an entry from PBI's
@@ -5197,8 +5194,7 @@ bool SimplifyCFGOpt::simplifyIndirectBrOnSelect(IndirectBrInst *IBI,
// The select's profile becomes the profile of the conditional branch that
// replaces the indirect branch.
SmallVector<uint32_t> SelectBranchWeights(2);
- if (!ProfcheckDisableMetadataFixes)
- extractBranchWeights(*SI, SelectBranchWeights);
+ extractBranchWeights(*SI, SelectBranchWeights);
// Perform the actual simplification.
return simplifyTerminatorOnSelect(IBI, SI->getCondition(), TrueBB, FalseBB,
SelectBranchWeights[0],
@@ -5452,8 +5448,7 @@ bool SimplifyCFGOpt::simplifyBranchOnICmpChain(CondBrInst *BI,
return false;
SmallVector<uint32_t> BranchWeights;
- const bool HasProfile = !ProfcheckDisableMetadataFixes &&
- extractBranchWeights(*BI, BranchWeights);
+ const bool HasProfile = extractBranchWeights(*BI, BranchWeights);
// Figure out which block is which destination.
BasicBlock *DefaultBB = BI->getSuccessor(1);
@@ -6743,8 +6738,7 @@ static Value *foldSwitchToSelect(const SwitchCaseResultVectorTy &ResultVector,
// default: return 4; %3 = select i1 %2, i32 2, i32 %1
// }
- const bool HasBranchWeights =
- !BranchWeights.empty() && !ProfcheckDisableMetadataFixes;
+ const bool HasBranchWeights = !BranchWeights.empty();
if (ResultVector.size() == 2 && ResultVector[0].second.size() == 1 &&
ResultVector[1].second.size() == 1) {
@@ -6939,11 +6933,9 @@ static bool trySwitchToSelect(SwitchInst *SI, IRBuilder<> &Builder,
assert(PHI != nullptr && "PHI for value select not found");
Builder.SetInsertPoint(SI);
SmallVector<uint32_t, 4> BranchWeights;
- if (!ProfcheckDisableMetadataFixes) {
- [[maybe_unused]] auto HasWeights =
- extractBranchWeights(getBranchWeightMDNode(*SI), BranchWeights);
- assert(!HasWeights == (BranchWeights.empty()));
- }
+ [[maybe_unused]] auto HasWeights =
+ extractBranchWeights(getBranchWeightMDNode(*SI), BranchWeights);
+ assert(!HasWeights == (BranchWeights.empty()));
assert(BranchWeights.empty() ||
(BranchWeights.size() >=
UniqueResults.size() + (DefaultResult != nullptr)));
@@ -7820,8 +7812,8 @@ static bool simplifySwitchLookup(SwitchInst *SI, IRBuilder<> &Builder,
Updates.push_back({DominatorTree::Insert, LookupBB, CommonDest});
SmallVector<uint32_t> BranchWeights;
- const bool HasBranchWeights = CondBranch && !ProfcheckDisableMetadataFixes &&
- extractBranchWeights(*SI, BranchWeights);
+ const bool HasBranchWeights =
+ CondBranch && extractBranchWeights(*SI, BranchWeights);
uint64_t ToLookupWeight = 0;
uint64_t ToDefaultWeight = 0;
@@ -8121,8 +8113,7 @@ static bool simplifySwitchOfPowersOfTwo(SwitchInst *SI, IRBuilder<> &Builder,
BasicBlock *SplitBB = SplitBlock(OrigBB, SI, DTU);
auto It = OrigBB->getTerminator()->getIterator();
SmallVector<uint32_t> Weights;
- auto HasWeights =
- !ProfcheckDisableMetadataFixes && extractBranchWeights(*SI, Weights);
+ auto HasWeights = extractBranchWeights(*SI, Weights);
auto *BI = CondBrInst::Create(IsPow2, SplitBB, DefaultCaseBB, It);
if (HasWeights && any_of(Weights, not_equal_to(0))) {
// IsPow2 covers a subset of the cases in which we'd go to the default
@@ -8605,8 +8596,7 @@ bool SimplifyCFGOpt::simplifyIndirectBr(IndirectBrInst *IBI) {
BasicBlock *BB = IBI->getParent();
bool Changed = false;
SmallVector<uint32_t> BranchWeights;
- const bool HasBranchWeights = !ProfcheckDisableMetadataFixes &&
- extractBranchWeights(*IBI, BranchWeights);
+ const bool HasBranchWeights = extractBranchWeights(*IBI, BranchWeights);
DenseMap<const BasicBlock *, uint64_t> TargetWeight;
if (HasBranchWeights)
More information about the llvm-commits
mailing list