Technical Report: libFIRM -- A Library for Compiler Optimization Research Implementing FIRM

This tutorial describes the Firm library and how to use it. The Firm library implements the Firm intermediate representation (ir) as described in [TLB:99]. In addition it supplies data structures to represent the type structure of the source program, a constant table and other modules necessary to represent a complete source program. Further it contains interfaces for construction of intermediate code from the front end and to access the ir. several basic optimizations and analyses are supplied.