Factor/Optimizing compiler

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

Documentation:

• 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/2009/07/improvements-to-factors-register.html
• https://factor-language.blogspot.com/2009/07/improved-value-numbering-branch.html
• https://factor-language.blogspot.com/2009/07/dataflow-analysis-computing-dominance.html

Related blog posts:

• 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

Related Wiki articles:

• Implementation history
• Optimization
• Non-optimizing compiler