codea/parser.y

   1 %{
   2         #include <stdio.h>
   3         #include <stdlib.h>
   4         #include <string.h>
   5         #include "symtable.h"
   6         #include "chelper.h"
   7         #include "tree.h"
   8
   9         #define MAX(A,B) (A > B ? A : B)
  10 %}
  11
  12 %start Input
  13 %token STRUCT END METHOD VAR IF THEN ELSE WHILE DO RETURN NOT OR THIS IDENT NUM ASSIGN
  14
  15 @macro xxputsin(xx,)
  16         @i xx = @Statement.sin@;
  17 @end
  18
  19 @macro statinout()
  20         @i @Statement.sout@ = @Statement.sin@;
  21         /* das
  22          *> xxputsin(@Statement.sout@,)
  23          * geht nicht, weil verschachtelte macros deaktiviert sind */
  24 @end
  25
  26 /* beschreibung der attribute
  27  * s:
  28  * f:
  29  * gparamges:
  30  * parms:
  31  * node:
  32  * exprcount:
  33  * sin:
  34  * sout:
  35  */
  36 @autoinh s gparamges
  37 @autosyn node
  38
  39 @attributes { char *name; } IDENT
  40 @attributes { long val; } NUM
  41 @attributes { struct symbol *f; int paramges; int parms; } Parms
  42 @attributes { struct symbol *f; } FeldID Structdef Program
  43 @attributes { struct symbol *s; } Methoddef
  44 @attributes { struct symbol *s; int gparamges; } Statseq Exprs
  45 @attributes { struct symbol *s; int gparamges; struct treenode *node; int exprcount; } Expr Minusterm Term Multerm Orterm
  46 @attributes { struct symbol *s; int gparamges; struct treenode *node; } Lexpr Feld
  47 @attributes { struct symbol *sin; int gparamges; struct symbol *sout; struct treenode *node; } Statement
  48
  49 @traversal @postorder c
  50 @traversal @preorder reg
  51 @traversal @postorder gen
  52
  53 %%
  54 Input:
  55           Program
  56           @{
  57             @i @Program.f@ = tab_new();
  58             @gen @revorder(1) printf("\t.text\n");
  59           @}
  60         ;
  61
  62 Program:
  63           Methoddef ';' Program
  64           @{
  65             @i @Methoddef.s@ = @Program.0.f@;
  66             @i @Program.1.f@ = @Program.0.f@;
  67           @}
  68
  69         | Structdef ';' Program
  70           @{
  71             @i @Program.1.f@ = tab_merge(@Program.0.f@, @Structdef.f@, 1);
  72           @}
  73         |
  74         ;
  75
  76 Methoddef:
  77           METHOD IDENT '(' Parms ')' Statseq END
  78           @{
  79             @i @Parms.parms@ = 1;
  80             @i @Statseq.s@ = tab_merge(@Methoddef.s@, @Parms.f@, 0);
  81                 @i @Statseq.gparamges@ = @Parms.paramges@;
  82             @gen @revorder(1) func_header(@IDENT.name@);
  83           @}
  84         ;
  85
  86 Structdef:
  87           STRUCT FeldID END
  88           @{
  89             @i @Structdef.f@ = @FeldID.f@;
  90           @}
  91         ;
  92
  93 Parms:
  94           /* lokale Vars werden in Statement in die tabelle eingefuegt */
  95           IDENT Parms
  96           @{
  97             @i @Parms.1.parms@ = @Parms.parms@ + 1;
  98                 @i @Parms.0.paramges@ = @Parms.1.paramges@;
  99             @i @Parms.0.f@ = tab_add_symbol(@Parms.1.f@, @IDENT.name@, S_PARM, 1, @Parms.parms@);
 100           @}
 101
 102         |
 103           @{
 104             @i @Parms.f@ = tab_new();
 105                 @i @Parms.paramges@ = @Parms.parms@;
 106           @}
 107         ;
 108
 109 FeldID:
 110           IDENT FeldID
 111           @{
 112             @i @FeldID.0.f@ = tab_add_symbol(@FeldID.1.f@, @IDENT.name@, S_FIELD, 1, -1);
 113           @}
 114
 115         |
 116           @{
 117             @i @FeldID.f@ = tab_new();
 118           @}
 119         ;
 120
 121 Statseq:
 122           Statement ';' Statseq
 123           @{
 124                 @i @Statement.sin@ = @Statseq.0.s@;
 125                 @i @Statseq.1.s@ = @Statement.sout@;
 126                 @gen write_tree(@Statement.node@, 0); burm_label(@Statement.node@); burm_reduce(@Statement.node@, 1);
 127           @}
 128
 129         |
 130         ;
 131
 132 Statement:
 133           Lexpr ASSIGN Expr
 134           @{
 135                 statinout()
 136                 xxputsin(@Lexpr.s@,)
 137                 xxputsin(@Expr.s@,)
 138             @i @Statement.node@ = TREENULL;
 139           @}
 140
 141         | VAR IDENT ASSIGN Expr
 142           @{
 143                 /* tab_clone ist hier noetig, vgl. folgendes statement
 144                  * > var x := x - 1; */
 145                 @i @Statement.sout@ = tab_add_symbol(tab_clone(@Statement.sin@), @IDENT.name@, S_VAR, 1, -1);
 146                 xxputsin(@Expr.s@,)
 147             @i @Statement.node@ = TREENULL;
 148           @}
 149
 150         | Expr
 151           @{
 152                 statinout()
 153                 xxputsin(@Expr.s@,)
 154             @i @Statement.node@ = TREENULL;
 155           @}
 156
 157         | IF Expr THEN Statseq END
 158           @{
 159                 statinout()
 160                 xxputsin(@Expr.s@,)
 161                 xxputsin(@Statseq.s@,)
 162             @i @Statement.node@ = TREENULL;
 163           @}
 164
 165         | IF Expr THEN Statseq ELSE Statseq END
 166           @{
 167                 statinout()
 168                 xxputsin(@Expr.s@,)
 169                 xxputsin(@Statseq.0.s@,)
 170                 xxputsin(@Statseq.1.s@,)
 171             @i @Statement.node@ = TREENULL;
 172           @}
 173
 174         | WHILE Expr DO Statseq END
 175           @{
 176                 statinout()
 177                 xxputsin(@Expr.s@,)
 178                 xxputsin(@Statseq.s@,)
 179             @i @Statement.node@ = TREENULL;
 180           @}
 181
 182         | RETURN Expr
 183           @{
 184                 statinout()
 185                 xxputsin(@Expr.s@,)
 186                 @i @Statement.node@ = new_node(O_RET, @Expr.node@, TREENULL, @Expr.exprcount@+1); fprintf(stderr, "RETURN: %s (gparamges: %i, exprcount: %i, gesamt %i [maximal: 7])\n", @Expr.gparamges@ + @Expr.exprcount@ + 1 > 7 ? "zu hohe tiefe" : "tiefe passt", @Expr.gparamges@, @Expr.exprcount@+1, @Expr.gparamges@+@Expr.exprcount@+1);
 187                 @reg @Statement.node@->reg = @Expr.node@->reg = next_reg((char *)NULL, 0, @Expr.gparamges@);
 188           @}
 189         ;
 190
 191 Lexpr:
 192           IDENT
 193           @{
 194             @i @Lexpr.node@ = TREENULL;
 195             @c check(@Lexpr.s@, @IDENT.name@, S_VAR|S_PARM);
 196           @}
 197
 198         | Feld
 199         ;
 200
 201 Feld: Term '.' IDENT
 202           @{
 203             @c check(@Feld.s@, @IDENT.name@, S_FIELD);
 204             @i @Feld.node@ = TREENULL;
 205           @}
 206         ;
 207
 208 Expr:
 209           Term
 210           @{
 211             @reg @Term.node@->reg = @Expr.node@->reg;
 212                 @i @Expr.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Expr)- Term\n");
 213           @}
 214
 215         | NOT Term
 216           @{
 217             @i @Expr.node@ = TREENULL;
 218                 @i @Expr.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Expr)- NOT Term\n");
 219           @}
 220
 221         | Term Minusterm
 222           @{
 223                 @i @Expr.exprcount@ = @Term.exprcount@ + @Minusterm.exprcount@; fprintf(stderr, "(Expr)- Term Minusterm\n");
 224             @i @Expr.node@ = new_node(O_SUB, @Term.node@, @Minusterm.node@, @Expr.exprcount@);
 225
 226                 @reg {
 227                         /* TODO */
 228                         @Term.node@->reg = @Expr.node@->reg;
 229                         @Term.node@->skip = 0;
 230                         @Minusterm.node@->reg = next_reg(@Term.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
 231                 }
 232           @}
 233
 234         | Term Multerm
 235           @{
 236                 @i @Expr.exprcount@ = @Term.exprcount@ + @Multerm.exprcount@; fprintf(stderr, "(Expr)- Term Multerm\n");
 237             @i @Expr.node@ = new_node(O_MUL, @Term.node@, @Multerm.node@, @Expr.exprcount@);
 238
 239                 @reg {
 240                         /* TODO */
 241                         @Term.node@->reg = @Expr.node@->reg;
 242                         @Term.node@->skip = 0;
 243                         @Multerm.node@->reg = next_reg(@Term.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
 244                 }
 245           @}
 246
 247         | Term Orterm
 248           @{
 249                 @i @Expr.exprcount@ = @Term.exprcount@ + @Orterm.exprcount@; fprintf(stderr, "(Expr)- Term Orterm\n");
 250             @i @Expr.node@ = new_node(O_OR, @Term.node@, @Orterm.node@, @Expr.exprcount@);
 251
 252                 @reg {
 253                         /* TODO */
 254                         @Term.node@->reg = @Expr.node@->reg;
 255                         @Term.node@->skip = 0;
 256                         @Orterm.node@->reg = next_reg(@Term.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
 257                 }
 258           @}
 259
 260         | Term '<' Term
 261           @{
 262                 @i @Expr.exprcount@ = @Term.0.exprcount@ + @Term.1.exprcount@; fprintf(stderr, "(Expr)- Term < Term\n");
 263             @i @Expr.node@ = new_node(O_LESS, @Term.0.node@, @Term.1.node@, @Expr.exprcount@);
 264
 265                 @reg {
 266                         @Term.0.node@->reg = @Expr.node@->reg;
 267                         @Term.1.node@->reg = next_reg(@Term.0.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
 268                 }
 269           @}
 270
 271         | Term '=' Term
 272           @{
 273                 @i @Expr.exprcount@ = @Term.0.exprcount@ + @Term.1.exprcount@; fprintf(stderr, "(Expr)- Term = Term\n");
 274             @i @Expr.node@ = new_node(O_EQ, @Term.0.node@, @Term.1.node@, @Expr.exprcount@);
 275
 276                 @reg {
 277                         @Term.0.node@->reg = @Expr.node@->reg;
 278                         @Term.1.node@->reg = next_reg(@Term.0.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
 279                 }
 280           @}
 281         ;
 282
 283 Minusterm:
 284           '-' Term Minusterm
 285           @{
 286                 @i @Minusterm.0.exprcount@ = @Term.exprcount@ + @Minusterm.1.exprcount@; fprintf(stderr, "(Minusterm)- - Term Minusterm\n");
 287             @i @Minusterm.node@ = new_node(O_ADD, @Minusterm.1.node@, @Term.node@, @Minusterm.0.exprcount@);
 288
 289             @reg {
 290                         @Minusterm.1.node@->reg = @Minusterm.node@->reg;
 291                         @Term.node@->reg = next_reg(@Minusterm.1.node@->reg, @Minusterm.node@->skip, @Minusterm.gparamges@);
 292                 }
 293           @}
 294
 295         | '-' Term
 296           @{
 297                 @i @Minusterm.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Minusterm)- - Term\n");
 298             @reg @Term.node@->reg = @Minusterm.node@->reg;
 299           @}
 300         ;
 301
 302 Multerm:
 303           '*' Term Multerm
 304           @{
 305                 @i @Multerm.0.exprcount@ = @Term.exprcount@ + @Multerm.1.exprcount@; fprintf(stderr, "(Multerm)- - Term Multerm\n");
 306             @i @Multerm.node@ = new_node(O_MUL, @Multerm.1.node@, @Term.node@, @Multerm.0.exprcount@);
 307
 308             @reg {
 309                         @Multerm.1.node@->reg = @Multerm.node@->reg;
 310                         @Term.node@->reg = next_reg(@Multerm.1.node@->reg, @Multerm.node@->skip, @Multerm.gparamges@);
 311                 }
 312           @}
 313
 314         | '*' Term
 315           @{
 316                 @i @Multerm.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Multerm)- - Term\n");
 317             @reg @Term.node@->reg = @Multerm.node@->reg;
 318           @}
 319         ;
 320
 321 Orterm:
 322           OR Term Orterm
 323           @{
 324                 @i @Orterm.0.exprcount@ = @Term.exprcount@ + @Orterm.1.exprcount@; fprintf(stderr, "(Orterm)- - Term Orterm\n");
 325             @i @Orterm.node@ = new_node(O_OR, @Orterm.1.node@, @Term.node@, @Orterm.0.exprcount@);
 326
 327             @reg {
 328                         @Orterm.1.node@->reg = @Orterm.node@->reg;
 329                         @Term.node@->reg = next_reg(@Orterm.1.node@->reg, @Orterm.node@->skip, @Orterm.gparamges@);
 330                 }
 331           @}
 332         | OR Term
 333           @{
 334                 @i @Orterm.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Orterm)- - Term\n");
 335             @reg @Term.node@->reg = @Orterm.node@->reg;
 336           @}
 337
 338         ;
 339
 340 Term:
 341           '(' Expr ')'
 342           @{
 343             @i @Term.node@ = @Expr.node@;
 344                 @i @Term.exprcount@ = 1 + @Expr.exprcount@; fprintf(stderr, "(Term)- ( Expr )\n");
 345           @}
 346
 347         | NUM
 348           @{
 349                 @i @Term.exprcount@ = 0; fprintf(stderr, "(Term)- NUM\n");
 350             @i @Term.node@ = new_number(@NUM.val@, @Term.exprcount@);
 351           @}
 352
 353         | '-' NUM
 354           @{
 355                 @i @Term.exprcount@ = 0; fprintf(stderr, "(Term)- - NUM\n");
 356             @i @Term.node@ = new_number(-1 * (@NUM.val@), @Term.exprcount@);
 357           @}
 358
 359         | THIS
 360           @{
 361                 @i @Term.exprcount@ = 0; fprintf(stderr, "(Term)- THIS\n");
 362             @i @Term.node@ = new_param(O_ID, strdup("this"), TREENULL, TREENULL, 0, @Term.exprcount@);
 363           @}
 364
 365         | IDENT
 366           @{
 367             @c check(@Term.s@, @IDENT.name@, S_VAR|S_PARM);
 368                 @i @Term.exprcount@ = 0; fprintf(stderr, "(Term)- IDENT\n");
 369             @i @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, @Term.exprcount@);
 370           @}
 371
 372         | Feld
 373           @{
 374             @i @Term.node@ = TREENULL;
 375                 /*TODO*/@i @Term.exprcount@ = 0;
 376           @}
 377
 378         | IDENT '(' Exprs ')'
 379           @{
 380             @i @Term.node@ = TREENULL;
 381                 /*TODO*/@i @Term.exprcount@ = 0;
 382           @}
 383
 384         | Term '.' IDENT '(' Exprs ')'
 385           @{
 386             @i @Term.node@ = TREENULL;
 387                 /*TODO*/@i @Term.exprcount@ = 0;
 388           @}
 389
 390         ;
 391
 392 Exprs:
 393           Expr ',' Exprs
 394           /* TODO: exprcount uppen */
 395         | Expr
 396         |
 397         ;
 398 %%
 399
 400 extern int yylex();
 401 extern int yylineno;
 402
 403 int yyerror(char *error_text)
 404 {
 405         fprintf(stderr,"Zeile %i: %s\n", yylineno, error_text);
 406         exit(2);
 407 }
 408
 409 int main(int argc, char **argv)
 410 {
 411         #if 0
 412         yydebug=1;
 413         #endif
 414         yyparse();
 415         return 0;
 416 }
 417