Hector Martin

this statement is bullshit. not only there are no issues writing a general purpose compiler targeting wasm so long as it doesn't create irreducible CFGs, but also convering irreducible CFGs to reducible is a perfectly normal transformation that has nothing to do with obfuscators

please learn how compilers work before claiming things like this

Is the part about the for-switch construct accurate? Because that's literally how the CFG obfuscators work (except instead of just setting the switch variable to sane values they throw some arithmetic in there to obfuscate it further).

there is a number of ways to deal with irreducible CFGs, one of which is to use a for-switch construct. you of course don't need to do it for every function, and for most functions it would be much more efficient to just duplicate a few basic blocks