Beyond Relooper: Recursive Translation of Unstructured Control Flow

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!