Cherry-pick JIT PHI jump threading (PR #126812) with targeted fix for global PHI use bug (#126976)

Agent-Logs-Url: https://github.com/dotnet/runtime/sessions/1507ea1a-6b49-4f3d-977a-83f9c781da83

Co-authored-by: mangod9 <61718172+mangod9@users.noreply.github.com>

Author: Copilot

src/coreclr/jit/compiler.h

@@ -7857,14 +7857,23 @@ class Compiler
 
     // Redundant branch opts
     //
-    PhaseStatus optRedundantBranches();
-    bool        optRedundantRelop(BasicBlock* const block);
-    bool        optRedundantDominatingBranch(BasicBlock* const block);
-    bool        optRedundantBranch(BasicBlock* const block);
-    bool        optJumpThreadDom(BasicBlock* const block, BasicBlock* const domBlock, bool domIsSameRelop);
-    bool        optJumpThreadPhi(BasicBlock* const block, GenTree* tree, ValueNum treeNormVN);
-    bool        optJumpThreadCheck(BasicBlock* const block, BasicBlock* const domBlock);
-    bool        optJumpThreadCore(JumpThreadInfo& jti);
+    enum class JumpThreadCheckResult
+    {
+        CannotThread,
+        CanThread,
+        NeedsPhiUseResolution,
+    };
+
+    PhaseStatus           optRedundantBranches();
+    bool                  optRedundantRelop(BasicBlock* const block);
+    bool                  optRedundantDominatingBranch(BasicBlock* const block);
+    bool                  optRedundantBranch(BasicBlock* const block);
+    bool                  optJumpThreadDom(BasicBlock* const block, BasicBlock* const domBlock, bool domIsSameRelop);
+    bool                  optJumpThreadPhi(BasicBlock* const block, GenTree* tree, ValueNum treeNormVN);
+    JumpThreadCheckResult optJumpThreadCheck(BasicBlock* const block, BasicBlock* const domBlock);
+    bool optFindPhiUsesInBlockAndSuccessors(BasicBlock* block, GenTreeLclVar* phiDef, JumpThreadInfo& jti);
+    bool optCanRewritePhiUses(JumpThreadInfo& jti);
+    bool optJumpThreadCore(JumpThreadInfo& jti);
 
     enum class ReachabilityResult
     {

src/coreclr/jit/compmemkind.h

@@ -28,6 +28,7 @@ CompMemKindMacro(LSRA)
 CompMemKindMacro(LSRA_Interval)
 CompMemKindMacro(LSRA_RefPosition)
 CompMemKindMacro(Reachability)
+CompMemKindMacro(RedundantBranch)
 CompMemKindMacro(SSA)
 CompMemKindMacro(ValueNumber)
 CompMemKindMacro(LvaTable)