[LLVMdev] Eliminating gotos

[Daniel Berlin]

> [bg] Actually this does not need to be the case. The paper that I sighted
> does not use code replication to resolve irreducible control flow but
> instead introduces a loop construct.


We implemented this in GCC back when we first started GIMPLE (since
GIMPLE is based on the IL the authors of that paper used in their
compiler), and the code size increases on a bunch of testcases were
massive due to extra loop constructs.