Norman F. Ramsey

Beyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl)

2022 · Proceedings of the ACM on Programming Languages

In many compilers, control flow is represented using an arbitrary directed graph. But in some interesting target languages, including JavaScript and WebAssembly, intraprocedural control flow can be expressed only in structured ways, using loops, conditionals, …