Universität Karlsruhe
Generierung von .NET IL Assembler aus Firm

Studienarbeit (abgeschlossen)

Die Aufgabe der Studienarbeit besteht darin, ein Übersetzungsschema zwischen Firm und der Assemblerdarstellung der Common Intermediate Language (CIL), IL Assembler, zu entwickeln, implementieren und zu testen.
Firm ist eine moderne Zwischensprache, die am IPD entwickelt wurde. Firm implementiert statische Einmalzuweisung (SSA) und stellt ein Programm als die Überlagerung seines Steuer- und Datenflussgraphen dar. Neuartige Darstellungen von Abhängigkeiten über Objekte im Speicher und vom Steuerfluss bei Ausnahmen machen Firm zu einer idealen Basis bei der Erforschung von Optimierungen. CIL ist eine von Quell- und Maschinensprache unabhängige, kellerbasierte Zwischendarstellung. CIL ist von Microsoft entwickelt und befindet sich gerade im Standardisierungsprozeß.
Zunächst soll ein prinzipielles Übersetzungsschema von der imperativen (Blockstruktur) und datenflußorientierten Ausführungssemantik von Firm in die kellerbasierte Semantik von CIL entworfen werden. Weiterhin müssen SSA-typische Konstrukte wie $\phi$-Knoten aufgelöst werden. Anschließend muß das Schema so ergänzt werden, dass primitive Typen und zusammengesetzte Datenstrukturen sowie ihre Operationen übersetzt werden können. Die Programme aus der Testsuite der LibFirm sollen übersetzbar sein.

Betreuer

Alumni
Prof. Sabine Glesner
Dr. Rubino Geiß

Bearbeiter

Ex-Studenten
Matthias Jäger
Login
Links