JIT: Update profile data for continuation block of removed call-final…

…ly (dotnet#110327)

Fixes dotnet#110317. Follow-up to dotnet#109792. When removing a call-finally pair associated with an empty try region, decrement any flow from the pair into the continuation block, and add any flow from the now-inlined finally region's exit(s) into the continuation block.

src/coreclr/jit/fgehopt.cpp

@@ -656,6 +656,12 @@ PhaseStatus Compiler::fgRemoveEmptyTry()
         fgPrepareCallFinallyRetForRemoval(leave);
         fgRemoveBlock(leave, /* unreachable */ true);
 
+        // Remove profile weight into the continuation block
+        if (continuation->hasProfileWeight())
+        {
+            continuation->setBBProfileWeight(max(0.0, continuation->bbWeight - leave->bbWeight));
+        }
+
         // (3) Convert the callfinally to a normal jump to the handler
         assert(callFinally->HasInitializedTarget());
         callFinally->SetKind(BBJ_ALWAYS);
@@ -695,6 +701,12 @@ PhaseStatus Compiler::fgRemoveEmptyTry()
                     fgRemoveStmt(block, finallyRet);
                     FlowEdge* const newEdge = fgAddRefPred(continuation, block);
                     block->SetKindAndTargetEdge(BBJ_ALWAYS, newEdge);
+
+                    // Propagate profile weight into the continuation block
+                    if (continuation->hasProfileWeight())
+                    {
+                        continuation->setBBProfileWeight(continuation->bbWeight + block->bbWeight);
+                    }
                 }
             }