M. Sperber, H. Klaeren Wintersemester 1998/99

Compilerbau I

Blatt 12

Abgabe: 2.2.1999

1. [10 Punkte] Implementieren Sie eine Struktur Identoffset mit folgender Signatur:

   val label_program :
   ((Ident.t, 'contident) Cgentypes.annotated_ident, 'contident)
     Cps.program
       -> unit

   Die Funktion label_program soll dabei die localinfo-Komponenten von Local-Bezeichnern und primtreeinfo korrekt besetzen. Außerdem soll label_program Primitiva-Bäume, für die keine explizite Instruktion generiert wurde (also implizite Zwischenergebnisse komplexer Maschineninstruktionen), in Dead-Bezeichner umwandeln.
2. [20 Punkte] Entwickeln Sie eine architekturunabhängige Bibliothek von Hilfsfunktionen für die Code-Generierung. Diese sollte insbesondere die korrekte Generierung von Zugriffen auf die Umgebung konsistent mit Identoffset unterstützen.

• Über dieses Dokument ...