Skip to content

Print indices of assertions instead of raw bitsets #54928

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
BruceForstall merged 7 commits into from
Jul 8, 2021
Merged

Print indices of assertions instead of raw bitsets #54928

Changes from 1 commit
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
b6bf91c
Add JITDUMPEXEC macro
SingleAccretion Jun 29, 2021
89dabd6
Add helpers for printing assertion indexes
SingleAccretion Jun 29, 2021
b698dde
Print assertion indices instead of raw bitsets
SingleAccretion Jun 29, 2021
da5e2a4
Don't print VNs for the same assertion twice
SingleAccretion Jun 30, 2021
8620e64
Also correctly print VNs in CopyProp
SingleAccretion Jul 2, 2021
62f1ce1
Align "in"s with "out"s for final assertions
SingleAccretion Jul 8, 2021
157746d
Don't print the assertion dataflow in usual dumps
SingleAccretion Jul 8, 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
Align "in"s with "out"s for final assertions
  • Loading branch information
@SingleAccretion
SingleAccretion committed Jul 8, 2021
commit 62f1ce196e699cecaf6149abea7514653614682e
11 changes: 5 additions & 6 deletions src/coreclr/jit/assertionprop.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5487,15 +5487,14 @@ void Compiler::optAssertionPropMain()
{
for (BasicBlock* const block : Blocks())
{
printf(FMT_BB " ", block->bbNum);
optDumpAssertionIndices("in = ", block->bbAssertionIn, "; ");
optDumpAssertionIndices("out = ", block->bbAssertionOut);
printf(FMT_BB ":\n", block->bbNum);
optDumpAssertionIndices(" in = ", block->bbAssertionIn, "\n");
optDumpAssertionIndices(" out = ", block->bbAssertionOut, "\n");
if (block->bbJumpKind == BBJ_COND)
{
printf(" => " FMT_BB " ", block->bbJumpDest->bbNum);
optDumpAssertionIndices("out = ", bbJtrueAssertionOut[block->bbNum]);
printf(" " FMT_BB " = ", block->bbJumpDest->bbNum);
optDumpAssertionIndices(bbJtrueAssertionOut[block->bbNum], "\n");
}
printf("\n");
}
printf("\n");
}
Expand Down