>>414 のいってるやつは"orbit compiler scheme"でググればタダで論文が読めるぞ。
いろいろな最適化を幅広く解りやすくまとめてあるので
ttp://www.ccs.neu.edu/home/will/Twobit/ultimate.html
もお勧めだ。いざ進め地獄の果てまでも（笑