1. 機械語を IR に変換し2. IR を単純化、最適化し3. IR にコードをねじこみ4. もう一度最適化し5. 機械語に戻し6. スケジューラの上で実行する
ここを除けば JIT するエミュレータに似ている
実際スケジューラとかの雰囲気が qemu のコードに似てる印象