From 813bb172eb7712c72e2f30d9ed44d657ce74107d Mon Sep 17 00:00:00 2001 From: Aman Khalid Date: Fri, 15 Mar 2024 17:39:43 +0000 Subject: [PATCH] JIT: Remove BBF_NONE_QUIRK check when optimizing branch to empty unconditional (#99790) --- src/coreclr/jit/fgopt.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/coreclr/jit/fgopt.cpp b/src/coreclr/jit/fgopt.cpp index 59e795f874959..8fcfdfc62c72b 100644 --- a/src/coreclr/jit/fgopt.cpp +++ b/src/coreclr/jit/fgopt.cpp @@ -4867,9 +4867,8 @@ bool Compiler::fgUpdateFlowGraph(bool doTailDuplication /* = false */, bool isPh if (bDest->KindIs(BBJ_ALWAYS) && !bDest->TargetIs(bDest) && // special case for self jumps bDest->isEmpty()) { - // TODO: Allow optimizing branches to blocks that jump to the next block - const bool optimizeBranch = !bDest->JumpsToNext() || !bDest->HasFlag(BBF_NONE_QUIRK); - if (optimizeBranch && fgOptimizeBranchToEmptyUnconditional(block, bDest)) + // Empty blocks that jump to the next block can probably be compacted instead + if (!bDest->JumpsToNext() && fgOptimizeBranchToEmptyUnconditional(block, bDest)) { change = true; modified = true;