The Firm library implements the Firm intermediate representation (ir). An old
description of Firm can be found in [TLB:99].
-libFirm contains algorithms for construction of the SSA directly from the
+libFirm contains algorithms for construction of the SSA form directly from the
attributed syntax tree. A set of analyses and optimisation phases is provided.
-This version includes a complete backend for the ia32 architecture, as well as
-some unfinished backends for mips, arm, ppc32.
+This version includes a complete backend for the IA32 architecture, as well as
+some unfinished backends for MIPS, ARM, PPC32.
1.1. Features
operator strength reduction, scalar replacement, load/store,
control flow optimisations, if-conversion, partial condition
evaluation, reassociation, tail recursion elimination,
- inlining, procedure cloning, dead code elimination...
+ inlining, procedure cloning, dead code elimination, ...
- local common subexpression eliminiation, constant folding,
constant propagatation, arithmetic identities happen implicitely
- extensive checkers