Factor/最適化コンパイラ

Factor の最適化コンパイラは、x86 (32 ビットと 64 ビット)、および PowerPC (32 ビットのみ) 用のマシン語コードを生成します。最適化コンパイラはすべて Factor で記述されています。実際の実装は、basis/compiler/ と basis/cpu/ にあります。最適化コンパイラは、内部的に SSA 形式を使っており、型推論、エスケープ解析、レジスタ割り付けなどのさまざまな最適化を行います。

ドキュメント:

• http://docs.factorcode.org/content/article-cookbook-compiler.html
• http://docs.factorcode.org/content/article-compiler.html

最適化コンパイラのアーキテクチャについて説明したブログ記事:

• http://factor-language.blogspot.com/2008/08/new-optimizer.html
• http://factor-language.blogspot.com/2008/08/algorithm-for-escape-analysis.html
• http://factor-language.blogspot.com/2008/11/new-low-level-optimizer-and-code.html
• http://factor-language.blogspot.com/2009/07/improvements-to-factors-register.html

関連ブログ記事:

• http://factor-language.blogspot.com/2008/12/arrays-of-unboxed-primitive-values-and.html
• http://factor-language.blogspot.com/2009/05/factors-implementation-of-polymorphic.html

wiki の関連項目:

• 実装の歩み
• 最適化
• 非最適化コンパイラ