JIT: jump threading (#46257)

Optimize branches where a branch outcome is fully determined by a dominating branch, and both true and false values can reach the dominated branch.
dotnet · Jan 13, 2021 · a568dcc · a568dcc
1 parent 3b5e19c
commit a568dcc
Show file tree

Hide file tree

Showing 2 changed files with 459 additions and 32 deletions.
diff --git a/src/coreclr/jit/compiler.h b/src/coreclr/jit/compiler.h
@@ -6868,6 +6868,8 @@ class Compiler
     //
     PhaseStatus optRedundantBranches();
     bool optRedundantBranch(BasicBlock* const block);
+    bool optJumpThread(BasicBlock* const block, BasicBlock* const domBlock);
+    bool optReachable(BasicBlock* const fromBlock, BasicBlock* const toBlock);
 
 #if ASSERTION_PROP
     /**************************************************************************