| 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
Bearbeiter
| |
