KIT | KIT-Bibliothek | Impressum | Datenschutz

Firm. An intermediate language for compiler research

Beck, Michael; Boesler, Boris; Geiß, Rubino; Lindenmaier, Götz


State of the art compiler intermediate representations
incorporate SSA
data dependencies in a graph based manner. We present the
intermediate representation Firm, which extends the
functional stores
of Steensgard and introduces a novel representation of

Firm offers a high-level representation of the type
hierarchy and
object-oriented features, which makes it exceptional
suitable for
analysing and optimizing of strongly typed languages. The
construction interface automates value numbering and the
generation of
SSA typical Phi operations. Firm comes with a full blown
range of
standard optimizations and analyses.

In the paper we show that Firm requires 53% less
operationss and 80%
less Phi operations than the SSA representation of the gcc

Volltext §
DOI: 10.5445/IR/1000003172
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2005
Sprache Deutsch
Identifikator ISSN: 1432-7864
KITopen-ID: 1000003172
Verlag Universität Karlsruhe (TH)
Serie Interner Bericht. Fakultät für Informatik, Universität Karlsruhe ; 2005,8
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page