Skip to content
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.

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

Export liveness information of Yul SSA CFG #15608

Merged
merged 3 commits into from
Dec 4, 2024
Merged

Conversation

r0qs
Copy link
Member

@r0qs r0qs commented Dec 3, 2024

No description provided.

{
auto const valueToString = [&](SSACFG::ValueId const& valueId) { return varToString(_cfg, valueId); };
Copy link
Member Author

@r0qs r0qs Dec 3, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I guess we could generalize the SSACFGPrinter and reuse it in the exporter, so the cfg and the dot exporter could be an instance that implements its own writeBlock and "writeFunction" for different output formats.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, there's a lot of duplication here :)

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I will address that in a follow-up PR :)

@r0qs r0qs requested a review from clonker December 3, 2024 07:46
@r0qs r0qs added the 🟡 PR review label label Dec 3, 2024
@r0qs r0qs force-pushed the yul-cfg-liveness-export branch from 855c525 to cb5ad43 Compare December 3, 2024 11:02
@r0qs r0qs merged commit 8da621c into develop Dec 4, 2024
73 checks passed
@r0qs r0qs deleted the yul-cfg-liveness-export branch December 4, 2024 05:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🟡 PR review label
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants