Categories |
CPUの創りかた |
Modern Compiler Implementation in ML |
NerdTV |
PDP-11シミュレータで古代のUNIXを動かしてみる |
The Yakumo Project |
やさぐれ読書録
最近のツッコミ:1.Dominic(2008-06-23 05:05)
2.CheapestCheapOEMoem(2008-06-17 03:00)
3.NewDownloadCreativAdobOEM(2008-06-12 20:00)
最近のトラックバック:1.濃縮還元オレンジニュース:プロ.. (2006-12-22 22:02)
"mciML"は第10章"Liveness Analysis"に突入。次章で行う予定のレジスタ割り付けに先立ち、プログラムの制御フローグラフ(control flow graph)を構築し、その中で使われている仮変数の干渉状態を表現したグラフ(interference graph)を作るのだとか何とか（もはや日本語ではない、というかニンゲンの言葉ではない）。
同時に今まで書いたプログラムの見直しも行う。以前は発見できなかったバグも、プログラムが完成に近づくにつれ見つかるようになってきた。コンパイラでは入力データの組み合わせは膨大なものになるため、潜在的バグを全部捕まえるのは至難の業だ。手持ちのテストプログラム70種と8-queen、そしてmergesortのプログラムが正しくコンパイルでき、動作するところまで持っていくのが当面の目標だが、さてどうなることやら。
