Skip to content

Generate Yul SSA CFG#15359

Merged
ekpyron merged 3 commits intodevelopfrom
ssaCfg
Aug 29, 2024
Merged

Generate Yul SSA CFG#15359
ekpyron merged 3 commits intodevelopfrom
ssaCfg

Conversation

@r0qs
Copy link
Member

@r0qs r0qs commented Aug 26, 2024

This PR implements a direct translation from Yul AST into a CFG in the SSA form. The implementation is based on the following paper: https://c9x.me/compile/bib/braun13cc.pdf

Copy link
Contributor

@matheusaaguiar matheusaaguiar left a comment

Choose a reason for hiding this comment

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

I know it's a draft, but I got curious and started looking at the code and reading the paper yesterday 😅

@r0qs r0qs force-pushed the ssaCfg branch 2 times, most recently from cc26966 to 253c89b Compare August 28, 2024 13:27
@clonker clonker marked this pull request as ready for review August 28, 2024 14:39
@clonker clonker requested a review from ekpyron August 29, 2024 15:00
Copy link
Collaborator

@ekpyron ekpyron left a comment

Choose a reason for hiding this comment

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

I've not reviewed this properly, but this is not critical for now and (together with the next PR) will be tested by the GreY project, while otherwise still not being public interface, so I'm approving and we can merge and then refine later when we move to actual codegen on top of it to properly test it.

@ekpyron ekpyron merged commit 5b1704b into develop Aug 29, 2024
@ekpyron ekpyron deleted the ssaCfg branch August 29, 2024 15:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants