[ori_b]

Though, wasm has a high level structure that makes it a clunky compilation target. The bytecodes above improve on wasm in that regard.

[ilaksh]

The high level structure is an advancement that is important for optimization.

[ori_b]

It isn't; the first thing production optimizers do is throw it away.

It supposedly makes verification of SSA properties marginally faster, but that's not the bottleneck.