On Tuesday, 21 October 2014 at 11:19:26 UTC, Daniel Murphy wrote:
does not. The choice of "goto" loops aka basic blocks as the representation in the backend is due to ease of analysis, not hardware constraints.
FWIW there are equivalent IR representations that are based on continuation passing (http://en.wikipedia.org/wiki/Static_single_assignment_form):
«SSA is formally equivalent to a well-behaved subset of CPS (excluding non-local control flow, which does not occur when CPS is used as intermediate representation), so optimizations and transformations formulated in terms of one immediately apply to the other.»
