2005-03-29 [長年日記]
λ. ソースからバイナリへ: GCCの内部機構 - Diego Novillo
Good Wrappers For People Who Love Bad Know-Hows より。
GIMPLE は A-Normal form*1 みたいなもんで、GENERIC -> GIMPLE の変換は A-normalization みたいなものだと考えればいいのかな。 静的単一代入(SSA, Static Single Assignment)の方は、そういった話とはちょっと違うか。SSAの発想は興味深いと思った。
[2005-04-10 追記] お花見の時に、福盛さんに Modern Compiler Implementation in ML を見せて貰ったのだけど、SSAについて触れいている章もちゃんとあった。
λ. NHK番組問題で安倍氏、朝日新聞を改めて批判
どっちが正しいかは知らんけど、朝日新聞は虚報を流したことに対して訂正と謝罪を行うか、もしくは安部中川両氏とNHKに対して正面から反論すべきだと思うよ。
λ. SNOW WHITE
くろりぼんドールガール の SNOW WHITE をプレイした。白雪姫を下敷きとした短編なんだけど、原作の怖さとは違った黒さがあって、とても良いです。
GCCの記事を読みました. 面白いです.<br><br>SSAの例(図5)ですが、GIMPLE programとSSA formが対応していない気がします. (3行目 b++ / a ⇔ a_1 + b_2 ん?? 4行目 b + 1 ⇔ b_2 + 21 あれ?? )<br>翻訳の問題かなぁと思って原文(http://www.redhat.com/magazine/002dec04/features/gcc/#tree-ssa)にあたってみたのですが, 4行目は同じです.<br>謎だ...
うぉ。ほんとだ(気づかなかったよ…… orz)。ツッコミありがとう。<br>しかし謎っすねぇ……