search for: disadvtanges

...VM IR (more) sound and thus enable automatic verification of optimizations - Enable additional optimizations. Daniel mentioned better AA. There are other things, like better tracking of padding. In general, merging multiple variables in a single variable confuses most dataflow analyses. Disadvtanges: - Potential for more insert/select element instructions (although fewer bitwise operations to pull out elements) - Need a few fixes to Clang for the ABI lowering stuff I'm surely forgetting something, but that's what on the top of my head. Nuno

Hi Nuno, Except for one bit, which was that it requires correct typing of load/store > operations. That is, if you load an i32, it means you are loading a single > 32-bit integer, not two 16-bit integers or something else. > This is a valid concern because currently nor LLVM nor clang respect this > property. Clang may pass several parameters as a single variable, LLVM has >