Übersetzungsschema MMS -> 3AC

Größe: px

Ab Seite anzeigen:

Download "Übersetzungsschema MMS -> 3AC"

Friederike Jaeger
vor 6 Jahren
Abrufe

1 Übersetzungsschema MMS -> 3AC

2 Vorbereitungen - Tabellen TypeTab Index Type nof_items itemsize basetype fields name 1 integer 2 float 3 bool 4 array a 5 pointer 4 aref......

3 Vorbereitungen - Tabellen Für die drei Tabellen VarConstTab, FuncTab und TypeTab benutzen wir entsprechende Hilfsfunktionen: enter_var(v,a,0,42,4,-,4,1) enter_func(foo,2,156,12,1) enter_type(pointer,-,-,4,-,aref)

4 Vorbereitungen - Tabellen NameStack Ein Stack mit den folgenden Spalten: name - Name des Identifikators depth - statische Tiefe index - Index in der entsprechenden Tabelle. Gültig ist der jeweils oberste passende Eintrag mit der richtigen statischen Tiefe.

5 Vorbereitungen - Tabellen NameStack Beispiel für eine VarConstTab mit möglichem NameStack:... a 2 15 x 2 14 a 0 1

6 Vorbereitungen - Tabellen NameStack Handhabung NameStack: enter_name(name, depth, index) - trägt einen Namen ein. Existiert schon ein gleichlautender Eintrag, sollte hier eine Fehlerbehandlung erfolgen. i = lookup(name) - durchsucht den Stack von oben und liefert den Index des ersten Auftretens von 'name' zurück, anderenfalls erfolgt auch hier eine Fehlerbehandlung. popnamelevel() - löscht alle Einträge der aktuellen Tiefe.

7 Vorbereitungen - globale Werte benötigt während der Übersetzung depth - die aktuelle Blockschachtelungstiefe p_counter - ein Zeiger auf den aktuellen Speicherplatz für den nächsten 3AdressCode. toffset - Der Offset der nächsten temporären Variable relativ zum Beginn des zugehörigen ARs code - Neuer Code landet hier.

8 Vorbereitungen - Hilfsfunktionen putcode(codestring) - schreibt den (ausgewerteten) Codestring ab STORE[code]. Danach wird code entsprechend erhöht, also code := inc(code). i = newlabel() - trägt ein neues Label in die MarkenTab ein, und gibt den Index zurück. Der Name ist dabei generisch, und beim Eintragen eines neuen Labels die Adresse zunächst unbekannt. i = newtmp(typ,...) - trägt einen neue temporäre Variable in die VarConstTab ein, und gibt den Index zurück. toffset wird entsprechend erhöht.

9 Bei Deklarationen wird kein Code erzeugt, aber die Einträge in die Tabellen müssen generiert werden. Wichtig ist dabei, woher die nötigen Informationen für die einzelnen Werte der Spalten stammen, und wie die Information (über Attribute) an die richtigen Stelle gelangt.

10 Ein zentrales <Variablendeklarationen>.startoffset im AR muss an die <Variablendeklarationen> von "aussen" vererbt werden, weil das ja z.b. bei einem Funktionsaufruf vom Platz für die Parameter abhängt. In der <Variablendeklarationen>.reloffset, das initial 0 gesetzt wird, merken wir uns dann den Platz für das nächste:

11 <Variablendeklarationen> ::= { <Variablendeklaration>.offset := <Variablendeklarationen>.reloffset;} <Variablendeklaration>; { <Variablendeklarationen>.reloffset := <Variablendeklaration>.offset; }

12 bzw. <Variablendeklarationen> ::= <Variablendeklarationen>_1 { <Variablendeklaration>.offset := <Variablendeklarationen>_1.reloffset;} <Variablendeklaration>; {<Variablendeklarationen>.reloffset := <Variablendeklaration>.offset; }

13 Bei der Reduktion einer Variablendeklaration müssen wir einen Eintrag in die VarConstTab machen, und einen Eintrag im NameStack. Dafür brauchen wir eine ganze Menge Werte: Art, Name, sdepth, offset, size, value, align, type. Möglich wären folgende Regeln:

14 <Variablendeklaration> ::= var <Variablenidentifikator>:<Typ> { offset := align(<variablendeklaration>.offset, <Typ>.alignment); index := enter_var( 'V', <Variablenidentifikator>.val, depth, offset, <Typ>.size, '-', <Typ>.alignment, <Typ>.index ); enter_name(<variablenidentifikator>.val, depth, index); <Variablendeklaration>.offset := offset + <Typ>.size; }

15 Entsprechen brauchen wir für <Typ> die Attribute size, alignment und index. Dies werden aus den Unterstrukturen <einf. Typ> bzw. <strukturierter Typ> geerbt:

16 <Typ> ::= <einf. Typ> { <Typ>.size := <einf. Typ>.size; <Typ>.alignment := <einf. Typ>.alignment; <Typ>.index := <einf. Typ>.index; } (für <Typ> ::= <strukturierter Typ> analog),

17 <einf. Typ> ::= integer { <einf. Typ>.size := 4; <einf. Typ>.alignment := 4; <einf. Typ>.index := 1; } <einf. Typ> ::= real { <einf. Typ>.size := 4; <einf. Typ>.alignment := 4; <einf. Typ>.index := 2; } <einf. Typ> ::= boolean { <einf. Typ>.size := 1; <einf. Typ>.alignment := 1; <einf. Typ>.index := 3; }

18 <strukturierter Typ> ::= array[<feldgrenzen>] of <einf. Typ> { <strukturierter Typ>.size := <Feldgrenzen>.count * <einf. Typ>.size; <strukturierter Typ>.size := align(<strukturierter Typ>.size,8) <strukturierter Typ>.alignment := 8; <strukturierter Typ>.index := enter_type('array', <Feldgrenzen>.count, <einf. Typ>.size, <einf. Typ>.index, '',''); }

19 <strukturierter Typ> ::= pointer to <Typ> <strukturierter Typ>.size := 4; <strukturierter Typ>.alignment := 4; <strukturierter Typ>.index := enter_type('pointer',,'','', <einf. Typ>.index, '','');

20 Eine Prozedurdeklaration deklariert ja quasi die Prozedur und die Parameter ein einem Schritt: <Prozedurdeklaration> ::= func <Prozedurname> <Parameterliste> : <Typ> <block> Hier ist also wichtig, wann die sematischen Regeln ausgeführt werden. Wir können dann etwa folgende Regeln verwenden:

21 <Prozedurdeklaration> ::= func <Prozedurname> <Parameterliste> : <Typ> { i := enter_func(<prozedurname>.name, depth, -,-, <Typ>.index ); enter_name(<prozedurname>.name, depth, i); <block>.psize := <Parameterliste>.size; } <block> { update_func(<prozedurname>.name, depth, <block>.start, <block>.arsize, <Typ>.index ); }

Ähnliche Dokumente

Deklarationen in C. Prof. Dr. Margarita Esponda

Deklarationen in C. Prof. Dr. Margarita Esponda Deklarationen in C 1 Deklarationen Deklarationen spielen eine zentrale Rolle in der C-Programmiersprache. Deklarationen Variablen Funktionen Die Deklarationen von Variablen und Funktionen haben viele Gemeinsamkeiten.