Beyond Relooper: Recursive Translation of Unstructured Control Flow

[glth]

https://icfp22.sigplan.org/details/icfp-2022-papers/1/Beyond-Relooper-Recursive-Translation-of-Unstructured-Control-Flow-to-Structured-Con

[davexunit]

I cannot claim to understand the paper, but we're using this technique in the Guile Hoot project for compiling Scheme to WebAssembly and it works great!