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

Jump to bottom

Support declaring the same predecessor more than once in SSABulder #38

Open

greenhat opened this issue Oct 19, 2023 · 0 comments

Contributor

greenhat commented Oct 19, 2023

Extracted from #22 (comment)

A solution to this particular problem though is to split the edge in the predecessor, introducing new blocks along any duplicate edges which branch to the same successor, and which act as a passthrough for the "true" successor block. This gets you the desired behavior without the complexity of supporting the same block on more than one path in multi-way branching instructions.

greenhat mentioned this issue

Wasm -> Miden IR translation #22

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment