State-of-the-art compilers incorporate SSA data dependencies in a graph based
manner. We present the immediate reprensentation Firm, the first IR that uses
SSA form until code generation. Firm offers an automatic construction
interface that builds the representation directly from the attributed syntax
tree and comes with a full blown range of standard optimizations and analyses.
A high-level representation of the type hierarchy and object-oriented features
makes it exceptional suitable for analysing and optimizing strongly typed
languages. The incorporation of a SSA-aware register allocator takes advantage
of the SSA-representation in backend phase. A complete backend for the IA32
architecture is included as well.