codeb: assigment auf eine schon vorhandene variable

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

diff --git a/codeb/parser.y b/codeb/parser.y
index 9a08dcc2520e6d21092b114378657e9942947305..014175549e545ec4e86f746d890e0c2137e4df2d 100644 (file)
--- a/codeb/parser.y
+++ b/codeb/parser.y
@@ -44,7 +44,8 @@
 @attributes { struct symbol *s; int gparamges; } Statseq Exprs
 @attributes { struct symbol *s; int gparamges; struct treenode *node; short imm; } Expr Minusterm Multerm Orterm Feld Term
 @attributes { struct symbol *s; int gparamges; struct treenode *node; } Lexpr
-@attributes { struct symbol *sin; int gparamges; struct symbol *sout; struct treenode *node; } Statement
+@attributes { struct symbol *sin; int gparamges; struct symbol *sout; struct
+treenode *node; int vars; } Statement
 
 @traversal @postorder c
 @traversal @preorder reg
@@ -125,7 +126,7 @@ Statseq:
          @{
                @i @Statement.sin@ = @Statseq.0.s@;
                @i @Statseq.1.s@ = @Statement.sout@;
-               @gen write_tree(@Statement.node@, 0); burm_label(@Statement.node@); burm_reduce(@Statement.node@, 1);
+               @i @Statseq.1.gparamges@ = @Statseq.0.gparamges@ + @Statement.vars@;
          @}
 
        |
@@ -137,16 +138,25 @@ Statement:
                statinout()
                xxputsin(@Lexpr.s@,)
                xxputsin(@Expr.s@,)
-           @i @Statement.node@ = TREENULL;
+           @i @Statement.node@ = new_node(O_ASSIGN, @Lexpr.node@, @Expr.node@);
+               @i @Statement.vars@ = 0;
+               @reg @Statement.node@->reg = @Expr.node@->reg = next_reg((char *)NULL, @Expr.gparamges@);
+
+               @gen write_tree(@Statement.node@, 0); burm_label(@Statement.node@); burm_reduce(@Statement.node@, 1);
          @}
 
        | VAR IDENT ASSIGN Expr
          @{
                /* tab_clone ist hier noetig, vgl. folgendes statement
                 * > var x := x - 1; */
-               @i @Statement.sout@ = tab_add_symbol(tab_clone(@Statement.sin@), @IDENT.name@, S_VAR, 1, -1, -1);
+               @i @Statement.sout@ = tab_add_symbol(tab_clone(@Statement.sin@), @IDENT.name@, S_VAR, 1, @Statement.gparamges@, -1);
                xxputsin(@Expr.s@,)
-           @i @Statement.node@ = TREENULL;
+
+               @i @Statement.node@ = new_node(O_ASSIGN, new_param(O_ID, @IDENT.name@, TREENULL, TREENULL, @Statement.gparamges@), @Expr.node@);
+               @i @Statement.vars@ = 1;
+               @reg @Statement.node@->reg = @Expr.node@->reg = next_reg((char *)NULL, @Expr.gparamges@);
+
+               @gen write_tree(@Statement.node@, 0); burm_label(@Statement.node@); burm_reduce(@Statement.node@, 1);
          @}
 
        | Expr
@@ -154,6 +164,7 @@ Statement:
                statinout()
                xxputsin(@Expr.s@,)
            @i @Statement.node@ = TREENULL;
+               @i @Statement.vars@ = 0;
          @}
 
        | IF Expr THEN Statseq END
@@ -162,6 +173,7 @@ Statement:
                xxputsin(@Expr.s@,)
                xxputsin(@Statseq.s@,)
            @i @Statement.node@ = TREENULL;
+               @i @Statement.vars@ = 0;
          @}
 
        | IF Expr THEN Statseq ELSE Statseq END
@@ -171,6 +183,7 @@ Statement:
                xxputsin(@Statseq.0.s@,)
                xxputsin(@Statseq.1.s@,)
            @i @Statement.node@ = TREENULL;
+               @i @Statement.vars@ = 0;
          @}
 
        | WHILE Expr DO Statseq END
@@ -179,24 +192,42 @@ Statement:
                xxputsin(@Expr.s@,)
                xxputsin(@Statseq.s@,)
            @i @Statement.node@ = TREENULL;
+               @i @Statement.vars@ = 0;
          @}
 
        | RETURN Expr
          @{
                statinout()
                xxputsin(@Expr.s@,)
+               @i @Statement.vars@ = 0;
                @i @Statement.node@ = new_node(O_RET, @Expr.node@, TREENULL);
                @reg @Statement.node@->reg = @Expr.node@->reg = next_reg((char *)NULL, @Expr.gparamges@);
+
+               @gen write_tree(@Statement.node@, 0); burm_label(@Statement.node@); burm_reduce(@Statement.node@, 1);
          @}
        ;
 
 Lexpr:
          IDENT
          @{
-           @i @Lexpr.node@ = TREENULL;
            @c check(@Lexpr.s@, @IDENT.name@, S_VAR|S_PARM);
-               /* this.feldname */
-               /* TODO fuer zuweisungen ... (codeb?) */
+
+               /* TODO: selbe Code wie bei Term/IDENT -- schoener machen! */
+           @i {
+                       @Lexpr.node@ = TREENULL;
+                       if(tab_lookup(@Lexpr.s@, @IDENT.name@, S_VAR|S_PARM) == SYMNULL) {
+                               /* es handelt sich um ein feldzugriff auf this */
+                               @Lexpr.node@ = new_field(@IDENT.name@, new_param(O_ID, strdup("this"), TREENULL, TREENULL, 0), TREENULL, tab_lookup(@Lexpr.s@, @IDENT.name@, S_FIELD) == SYMNULL ? -1 : tab_lookup(@Lexpr.s@, @IDENT.name@, S_FIELD)->soffset);
+                       } else { /* param oder var */
+                               int tmp = tab_lookup(@Lexpr.s@, @IDENT.name@, S_VAR|S_PARM) == SYMNULL ? -1 : tab_lookup(@Lexpr.s@, @IDENT.name@, S_VAR|S_PARM)->param_index;
+                               @Lexpr.node@ = new_param(O_ID, @IDENT.name@, TREENULL, TREENULL, tmp);
+                       }
+               }
+
+               @reg if(tab_lookup(@Lexpr.s@, @IDENT.name@, S_VAR|S_PARM) == SYMNULL) {
+                       /* TODO: kein schoener hack? */
+                       @Lexpr.node@->kids[0]->reg = @Lexpr.node@->reg;
+               }
          @}
 
        | Feld
@@ -391,7 +422,8 @@ Term:
                                /* es handelt sich um ein feldzugriff auf this */
                                @Term.node@ = new_field(@IDENT.name@, new_param(O_ID, strdup("this"), TREENULL, TREENULL, 0), TREENULL, tab_lookup(@Term.s@, @IDENT.name@, S_FIELD) == SYMNULL ? -1 : tab_lookup(@Term.s@, @IDENT.name@, S_FIELD)->soffset);
                        } else { /* param oder var */
-                               @Term.node@ = new_param(O_ID, @IDENT.name@, TREENULL, TREENULL, tab_lookup(@Term.s@, @IDENT.name@, S_PARM) == SYMNULL ? -1 : tab_lookup(@Term.s@, @IDENT.name@, S_PARM)->param_index);
+                               int tmp = tab_lookup(@Term.s@, @IDENT.name@, S_VAR|S_PARM) == SYMNULL ? -1 : tab_lookup(@Term.s@, @IDENT.name@, S_VAR|S_PARM)->param_index;
+                               @Term.node@ = new_param(O_ID, @IDENT.name@, TREENULL, TREENULL, tmp);
                        }
                }