1 2 3
+ Check in compiler backend that nobody accidentally uses 64bit values on 32bit systems + (MAYBE) Check that there aren't duplicate destinations in operand list?