EVA STAR Trefferanzeige

Volltextanzeige Volltext.pdf1.pdf (244 KB)
Titel Firm. An intermediate language for compiler research
Autor Beck, Michael
Boesler, Boris
Geiß, Rubino
Lindenmaier, Götz
Institution Fakultät für Informatik (Fak. f. Informatik)
Institut für Programmstrukturen und Datenorganisation (IPD)
Dokumenttyp Buch
Verlag Karlsruhe
Jahr 2005
Serie Interner Bericht. Fakultät für Informatik, Universität Karlsruhe ; 2005,8
ISSN: 1432-7864
URL für Zitat http://digbib.ubka.uni-karlsruhe.de/volltexte/1000003172
URN für Zitat urn:nbn:de:swb:90-31725
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.