JIT: refactor and enhance the redundant branch optimizer (#76207)

One more preparatory step before introducing the new phi-based disambiguation. * handle some cases of ambiguous preds better * split out the jump threading pre checks into a helper * properly support updating switch preds * generalize retry logic a bit to handle more cases
dotnet · Sep 27, 2022 · 80f7234 · 80f7234
1 parent c10520d
commit 80f7234
Show file tree

Hide file tree

Showing 2 changed files with 195 additions and 106 deletions.
diff --git a/src/coreclr/jit/compiler.h b/src/coreclr/jit/compiler.h
@@ -6967,6 +6967,7 @@ class Compiler
     bool optRedundantRelop(BasicBlock* const block);
     bool optRedundantBranch(BasicBlock* const block);
     bool optJumpThread(BasicBlock* const block, BasicBlock* const domBlock, bool domIsSameRelop);
+    bool optJumpThreadCheck(BasicBlock* const block, BasicBlock* const domBlock);
     bool optJumpThreadCore(JumpThreadInfo& jti);
     bool optReachable(BasicBlock* const fromBlock, BasicBlock* const toBlock, BasicBlock* const excludedBlock);
     BitVecTraits* optReachableBitVecTraits;