Unlike LLVM, control flow is actually structured, no arbitrary jumps, functions, tables, real harvard separation of code and data. The restriction to only numb

Unlike LLVM, control flow is actually structured, no arbitrary jumps, functions, tables, real harvard separation of code and data. The restriction to only number types, is more a byproduct of trying to keep the 1.0 spec as mvp as possible, and reference types are gonna be a big shift in that regard. I mean compare these two. One is a (very low level) language, the other is (high level) assembly. https://developer.mozilla.org/en-US/docs/WebAssembly/Reference/Control_flow/if...else https://developer.mozilla.org/en-US/docs/WebAssembly/Referen... https://mapping-high-level-constructs-to-llvm-ir.readthedocs.io/en/latest/control-structures/if-then-else.html https://mapping-high-level-constructs-to-llvm-ir.readthedocs...