> You can convert irreducible control flow to reducible control flow, but it can explode the size of the graph in pathological cases. True, but only in node-sp

> You can convert irreducible control flow to reducible control flow, but it can explode the size of the graph in pathological cases. True, but only in node-splitting approaches. If you use a label threading variable (as emscripten's relooper does), there is a guaranteed reasonable limit on code size increase (at the cost of performance).