Здравствуйте, s22, Вы писали:

s22>тут совершенно конкретные типы, возможно ты не понял
s22>фактически тут сказано, что регистр может быть int32 или int64, а данные в памяти 8,16,32,64 соответственно знаковые и беззнаковые....
Я всё понял. И то, что они делают не правильно.

s22>вообщем прямо ложиться на команды ассемблера x86
Это вообще к делу не относится. Ну и 8 и 16 битные регистры в x86 тоже есть.

s22>No action, while and switch combined with jump-threading are enough.
s22>Just add goto (direct and indirect).
s22>Add new control-flow primitives that address common patterns.
s22>Add signature-restricted Proper Tail Calls.
s22>Add proper tail call, expanding upon signature-restricted proper tail calls, and making it easier to support other languages, especially functional programming languages.
У тебя есть ужасная привычка давать цитаты без ссылок.
Исправляйся. Ибо очень раздражает.

s22>не понял, что тут....
Ну, вот есть у тебя конечный автомат, реализованный при помощи goto.
Теперь попробуй скомпилировать его в предложенный формат.