codea: codegeruest wird generiert :)

[uebersetzerbau-ss10.git] / codea / parser.y

diff --git a/codea/parser.y b/codea/parser.y
index dbd4e2412f340410fb84c702279515e8ba76f387..9e2d2849523015682981832c4599905e7054bc2f 100644 (file)
--- a/codea/parser.y
+++ b/codea/parser.y
@@ -3,6 +3,8 @@
        #include <stdlib.h>
        #include <string.h>
        #include "symtable.h"
+       #include "chelper.h"
+       #include "tree.h"
 %}
 
 %start Input
@@ -20,18 +22,24 @@
 @end
 
 @autoinh s
+@autosyn node
+
 @attributes { char *name; } IDENT
+@attributes { long val; } NUM
 @attributes { struct symbol *f; } FeldID Parms Structdef Program
-@attributes { struct symbol *s; } Methoddef Statseq Lexpr Expr Minusterm Multerm Orterm Term Exprs Feld
-@attributes { struct symbol *sin; struct symbol *sout; } Statement
+@attributes { struct symbol *s; } Methoddef Statseq Exprs
+@attributes { struct symbol *s; struct treenode *node; } Lexpr Expr Minusterm Multerm Orterm Term Feld
+@attributes { struct symbol *sin; struct symbol *sout; struct treenode *node; } Statement
 
 @traversal @postorder c
+@traversal @postorder gen
 
 %%
 Input:
          Program
          @{
            @i @Program.f@ = tab_new();
+           @gen @revorder(1) printf("\t.text\n");
          @}
        ;
 
@@ -53,6 +61,7 @@ Methoddef:
          METHOD IDENT '(' Parms ')' Statseq END
          @{
            @i @Statseq.s@ = tab_merge(@Methoddef.s@, @Parms.f@, 0);
+           @gen @revorder(1) func_header(@IDENT.name@);
          @}
        ;
 
@@ -67,7 +76,7 @@ Parms:
          /* lokale Vars werden in Statement in die tabelle eingefuegt */
          IDENT Parms
          @{
-           @i @Parms.0.f@ = tab_add_symbol(@Parms.1.f@, @IDENT.name@, S_VAR, 1);
+           @i @Parms.0.f@ = tab_add_symbol(@Parms.1.f@, @IDENT.name@, S_PARM, 1);
          @}
 
        |
@@ -93,6 +102,7 @@ Statseq:
          @{
                @i @Statement.sin@ = @Statseq.0.s@;
                @i @Statseq.1.s@ = @Statement.sout@;
+               @gen burm_label(@Statement.node@); burm_reduce(@Statement.node@, 1);
          @}
 
        |
@@ -104,6 +114,7 @@ Statement:
                statinout()
                xxputsin(@Lexpr.s@,)
                xxputsin(@Expr.s@,)
+           @i @Statement.node@ = TREENULL;
          @}
 
        | VAR IDENT ASSIGN Expr
@@ -112,12 +123,14 @@ Statement:
                 * > var x := x - 1; */
                @i @Statement.sout@ = tab_add_symbol(tab_clone(@Statement.sin@), @IDENT.name@, S_VAR, 1);
                xxputsin(@Expr.s@,)
+           @i @Statement.node@ = TREENULL;
          @}
 
        | Expr
          @{
                statinout()
                xxputsin(@Expr.s@,)
+           @i @Statement.node@ = TREENULL;
          @}
 
        | IF Expr THEN Statseq END
@@ -125,6 +138,7 @@ Statement:
                statinout()
                xxputsin(@Expr.s@,)
                xxputsin(@Statseq.s@,)
+           @i @Statement.node@ = TREENULL;
          @}
 
        | IF Expr THEN Statseq ELSE Statseq END
@@ -133,6 +147,7 @@ Statement:
                xxputsin(@Expr.s@,)
                xxputsin(@Statseq.0.s@,)
                xxputsin(@Statseq.1.s@,)
+           @i @Statement.node@ = TREENULL;
          @}
 
        | WHILE Expr DO Statseq END
@@ -140,19 +155,22 @@ Statement:
                statinout()
                xxputsin(@Expr.s@,)
                xxputsin(@Statseq.s@,)
+           @i @Statement.node@ = TREENULL;
          @}
 
        | RETURN Expr
          @{
                statinout()
                xxputsin(@Expr.s@,)
+               @i @Statement.node@ = new_node(O_RETURN, @Expr.node@, TREENULL);
          @}
        ;
 
 Lexpr:
          IDENT
          @{
-               @c check(@Lexpr.s@, @IDENT.name@, S_VAR);
+           @i @Lexpr.node@ = TREENULL;
+               @c check(@Lexpr.s@, @IDENT.name@, S_VAR|S_PARM);
          @}
 
        | Feld
@@ -161,47 +179,125 @@ Lexpr:
 Feld: Term '.' IDENT
          @{
                @c check(@Feld.s@, @IDENT.name@, S_FIELD);
+           @i @Feld.node@ = TREENULL;
          @}
        ;
 
 Expr:
          Term
+         @{
+           @i @Expr.node@ = TREENULL;
+         @}
+
        | NOT Term
+         @{
+           @i @Expr.node@ = TREENULL;
+         @}
+
        | Term Minusterm
+         @{
+           @i @Expr.node@ = TREENULL;
+         @}
+
        | Term Multerm
+         @{
+           @i @Expr.node@ = TREENULL;
+         @}
+
        | Term Orterm
+         @{
+           @i @Expr.node@ = TREENULL;
+         @}
+
        | Term '<' Term
+         @{
+           @i @Expr.node@ = TREENULL;
+         @}
+
        | Term '=' Term
+         @{
+           @i @Expr.node@ = TREENULL;
+         @}
        ;
 
 Minusterm:
          '-' Term Minusterm
+         @{
+           @i @Minusterm.node@ = TREENULL;
+         @}
+
        | '-' Term
+         @{
+           @i @Minusterm.node@ = TREENULL;
+         @}
        ;
 
 Multerm:
          '*' Term Multerm
+         @{
+           @i @Multerm.node@ = TREENULL;
+         @}
+
        | '*' Term
+         @{
+           @i @Multerm.node@ = TREENULL;
+         @}
        ;
 
 Orterm:
          OR Term Orterm
+         @{
+           @i @Orterm.node@ = TREENULL;
+         @}
        | OR Term
+         @{
+           @i @Orterm.node@ = TREENULL;
+         @}
+
        ;
 
 Term:
          '(' Expr ')'
+         @{
+           @i @Term.node@ = TREENULL;
+         @}
+
        | NUM
+         @{
+           @i @Term.node@ = TREENULL;
+         @}
+
        | '-' NUM
+         @{
+           @i @Term.node@ = TREENULL;
+         @}
+
        | THIS
+         @{
+           @i @Term.node@ = TREENULL;
+         @}
+
        | IDENT
          @{
-               @c check(@Term.s@, @IDENT.name@, S_VAR);
+               @c check(@Term.s@, @IDENT.name@, S_VAR|S_PARM);
+           @i @Term.node@ = TREENULL;
          @}
 
        | Feld
+         @{
+           @i @Term.node@ = TREENULL;
+         @}
+
        | IDENT '(' Exprs ')'
+         @{
+           @i @Term.node@ = TREENULL;
+         @}
+
        | Term '.' IDENT '(' Exprs ')'
+         @{
+           @i @Term.node@ = TREENULL;
+         @}
+
        ;
 
 Exprs: