Thanks to visit codestin.com
Credit goes to github.com

Skip to content

JIT: jump threading #46257

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 11 commits into from
Jan 13, 2021
Merged

JIT: jump threading #46257

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
5140b97
JIT: jump threading
AndyAyersMS Dec 19, 2020
0b22f0f
need to actually count the ambiguous preds
AndyAyersMS Dec 20, 2020
1b0695c
account for all preds
AndyAyersMS Dec 21, 2020
66e141f
review feedback
AndyAyersMS Jan 6, 2021
26079d5
Merge remote-tracking branch 'upstream/master' into JumpThreading
AndyAyersMS Jan 7, 2021
ddc6250
fix build break
AndyAyersMS Jan 7, 2021
27259ac
formatting
AndyAyersMS Jan 8, 2021
2297986
Merge remote-tracking branch 'local0/master' into JumpThreading
AndyAyersMS Jan 11, 2021
17e7f2b
Add custom reachability computation. And since this is now precise,
AndyAyersMS Jan 11, 2021
67cc0ce
look into stronger assertions; tweak jit dump
AndyAyersMS Jan 12, 2021
0f9af5c
treat switches as ambiguous preds
AndyAyersMS Jan 12, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
need to actually count the ambiguous preds
  • Loading branch information
@AndyAyersMS
AndyAyersMS committed Dec 20, 2020
commit 0b22f0fee5c6f8573cdaff2fef7f237919543cff
2 changes: 2 additions & 0 deletions src/coreclr/jit/redundantbranchopts.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -377,11 +377,13 @@ bool Compiler::optJumpThread(BasicBlock* const block, BasicBlock* const domBlock
// Either both reach, or neither reaches.
//
JITDUMP(FMT_BB " is an ambiguous pred\n", predBlock->bbNum);
numAmbiguousPreds++;
continue;
}

if (predBlock->bbNext == block)
{
JITDUMP(FMT_BB " is a fall-through pred\n", predBlock->bbNum);
assert(fallThroughPred == nullptr);
fallThroughPred = predBlock;
}
Expand Down