Factor/Optimizing compiler

Factor's optimizing compiler generates machine code for x86 (32 and 64-bit), as well as PowerPC (32-bit only). The implementation is found in basis/compiler/ and basis/cpu/. The compiler uses SSA form internally, and performs various advanced optimizations, such as Type inference, Escape analysis, and so on.

Documentation:

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

Blog posts describing the architecture of the optimizing compiler:

• 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/2008/12/arrays-of-unboxed-primitive-values-and.html

Related Wiki articles:

• Implementation history
• Optimization
• Non-optimizing compiler