KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-31725

Firm. An intermediate language for compiler research

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

Abstract:

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
exceptions.

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
compiler.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Forschungsbericht
Jahr 2005
Sprache Deutsch
Identifikator ISSN: 1432-7864
URN: urn:nbn:de:swb:90-31725
KITopen ID: 1000003172
Verlag Karlsruhe
Serie Interner Bericht. Fakultät für Informatik, Universität Karlsruhe ; 2005,8
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page