Засейвил. Но в целом, уже +- понимаю. В хардвару я так то тоже лез, но более критичные примеры, требуют более универсальной хардвары, типа общего кеша и прочего. Хотя, те примеры что видел я, исходиди из загрузки линий передачи.
http://ix.io/27sC Вроде бы, довольно низкоуровневый (это по Tiger-book Аппеля) И трансляция в него выглядит как-то так http://ix.io/27sD (не доделано ещё)
Но я пока много чего не знаю, возможно, нужен будет ещё один IR потом %)