中間形式

いくつかの処理系毎の scheme 言語レベルでの最適化が終わった中間形式を、 LLVM IR に落としてから LLVM のレベルで最適化を掛けると何が起きるだろう？

メモ。

• SBCL http://sbcl-internals.cliki.net/Backend 中間表現は IR1, IR2. http://www.cliki.net/LLVM も。
• gauche iform
• mosh iform?
• maeve hlf? http://d.hatena.ne.jp/scinfaxi/searchdiary?of=24&word=hlf
• stalin ?

ありそうな可能性。

1. 何らかの面白いことが起きる。
2. 中間形式は処理系に強く依存しており抜き出せない。(SBCL はバックエンドを作れるようになっている、ように見える）
3. そもそもあまり意味をなしておらず、あまり面白いこともおきない。
4. 同じような興味を持った誰かが既にやっている。