Beyond Relooper: Recursive Translation of Unstructured Control Flow (icfp22.sigplan.org)

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!