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; int soffset; } Program
  43 @attributes { struct symbol *f; int soffset; int offsetcount; } FeldID Structdef
  44 @attributes { struct symbol *s; } Methoddef
  45 @attributes { struct symbol *s; int gparamges; } Statseq Exprs
  46 @attributes { struct symbol *s; int gparamges; struct treenode *node; int exprcount; } Expr Minusterm Multerm Orterm Feld Term
  47 @attributes { struct symbol *s; int gparamges; struct treenode *node; } Lexpr
  48 @attributes { struct symbol *sin; int gparamges; struct symbol *sout; struct treenode *node; } Statement
  49
  50 @traversal @postorder c
  51 @traversal @preorder reg
  52 @traversal @postorder gen
  53
  54 %%
  55 Input:
  56           Program
  57           @{
  58             @i @Program.f@ = tab_new();
  59                 @i @Program.soffset@ = 0;
  60             @gen @revorder(1) printf("\t.text\n");
  61           @}
  62         ;
  63
  64 Program:
  65           Methoddef ';' Program
  66           @{
  67             @i @Methoddef.s@ = @Program.0.f@;
  68             @i @Program.1.f@ = @Program.0.f@;
  69             @i @Program.1.soffset@ = @Program.0.soffset@;
  70           @}
  71
  72         | Structdef ';' Program
  73           @{
  74             @i @Program.1.f@ = tab_merge(@Program.0.f@, @Structdef.f@, 1);
  75                 @i @Structdef.offsetcount@ = @Program.0.soffset@;
  76                 @i @Program.1.soffset@ = @Structdef.soffset@;
  77           @}
  78         |
  79         ;
  80
  81 Methoddef:
  82           METHOD IDENT '(' Parms ')' Statseq END
  83           @{
  84             @i @Parms.parms@ = 1;
  85             @i @Statseq.s@ = tab_merge(@Methoddef.s@, @Parms.f@, 0);
  86                 @i @Statseq.gparamges@ = @Parms.paramges@;
  87             @gen @revorder(1) func_header(@IDENT.name@);
  88           @}
  89         ;
  90
  91 Structdef:
  92           STRUCT FeldID END
  93           @{
  94             @i @Structdef.f@ = @FeldID.f@;
  95                 @i @FeldID.offsetcount@ = @Structdef.offsetcount@;
  96                 @i @Structdef.soffset@ = @FeldID.soffset@;
  97           @}
  98         ;
  99
 100 Parms:
 101           /* lokale Vars werden in Statement in die tabelle eingefuegt */
 102           IDENT Parms
 103           @{
 104             @i @Parms.1.parms@ = @Parms.0.parms@ + 1;
 105                 @i @Parms.0.paramges@ = @Parms.1.paramges@;
 106             @i @Parms.0.f@ = tab_add_symbol(@Parms.1.f@, @IDENT.name@, S_PARM, 1, @Parms.parms@, -1);
 107           @}
 108
 109         |
 110           @{
 111             @i @Parms.f@ = tab_new();
 112                 @i @Parms.paramges@ = @Parms.parms@;
 113           @}
 114         ;
 115
 116 FeldID:
 117           IDENT FeldID
 118           @{
 119             @i @FeldID.1.offsetcount@ = @FeldID.0.offsetcount@ + 1;
 120                 @i @FeldID.0.soffset@ = @FeldID.1.soffset@;
 121                 /* TODO: offset hier verwenden */
 122             @i @FeldID.0.f@ = tab_add_symbol(@FeldID.1.f@, @IDENT.name@, S_FIELD, 1, -1, @FeldID.0.offsetcount@);
 123           @}
 124
 125         |
 126           @{
 127             @i @FeldID.f@ = tab_new();
 128                 @i @FeldID.soffset@ = @FeldID.offsetcount@;
 129           @}
 130         ;
 131
 132 Statseq:
 133           Statement ';' Statseq
 134           @{
 135                 @i @Statement.sin@ = @Statseq.0.s@;
 136                 @i @Statseq.1.s@ = @Statement.sout@;
 137                 @gen write_tree(@Statement.node@, 0); burm_label(@Statement.node@); burm_reduce(@Statement.node@, 1);
 138           @}
 139
 140         |
 141         ;
 142
 143 Statement:
 144           Lexpr ASSIGN Expr
 145           @{
 146                 statinout()
 147                 xxputsin(@Lexpr.s@,)
 148                 xxputsin(@Expr.s@,)
 149             @i @Statement.node@ = TREENULL;
 150           @}
 151
 152         | VAR IDENT ASSIGN Expr
 153           @{
 154                 /* tab_clone ist hier noetig, vgl. folgendes statement
 155                  * > var x := x - 1; */
 156                 @i @Statement.sout@ = tab_add_symbol(tab_clone(@Statement.sin@), @IDENT.name@, S_VAR, 1, -1, -1);
 157                 xxputsin(@Expr.s@,)
 158             @i @Statement.node@ = TREENULL;
 159           @}
 160
 161         | Expr
 162           @{
 163                 statinout()
 164                 xxputsin(@Expr.s@,)
 165             @i @Statement.node@ = TREENULL;
 166           @}
 167
 168         | IF Expr THEN Statseq END
 169           @{
 170                 statinout()
 171                 xxputsin(@Expr.s@,)
 172                 xxputsin(@Statseq.s@,)
 173             @i @Statement.node@ = TREENULL;
 174           @}
 175
 176         | IF Expr THEN Statseq ELSE Statseq END
 177           @{
 178                 statinout()
 179                 xxputsin(@Expr.s@,)
 180                 xxputsin(@Statseq.0.s@,)
 181                 xxputsin(@Statseq.1.s@,)
 182             @i @Statement.node@ = TREENULL;
 183           @}
 184
 185         | WHILE Expr DO Statseq END
 186           @{
 187                 statinout()
 188                 xxputsin(@Expr.s@,)
 189                 xxputsin(@Statseq.s@,)
 190             @i @Statement.node@ = TREENULL;
 191           @}
 192
 193         | RETURN Expr
 194           @{
 195                 statinout()
 196                 xxputsin(@Expr.s@,)
 197                 @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);
 198                 @reg @Statement.node@->reg = @Expr.node@->reg = next_reg((char *)NULL, 0, @Expr.gparamges@);
 199           @}
 200         ;
 201
 202 Lexpr:
 203           IDENT
 204           @{
 205             @i @Lexpr.node@ = TREENULL;
 206             @c check(@Lexpr.s@, @IDENT.name@, S_VAR|S_PARM);
 207                 /* this.feldname */
 208                 /* TODO fuer zuweisungen ... (codeb?) */
 209           @}
 210
 211         | Feld
 212         ;
 213
 214 Feld: Term '.' IDENT
 215           @{
 216             @c check(@Feld.s@, @IDENT.name@, S_FIELD);
 217             @i @Feld.node@ = new_field(@IDENT.name@, @Term.node@, TREENULL, tab_lookup(@Feld.s@, @IDENT.name@, S_FIELD) == SYMNULL ? -1 : tab_lookup(@Feld.s@, @IDENT.name@, S_FIELD)->soffset, @Feld.exprcount@);
 218
 219                 @i @Feld.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Feld)- Term.IDENT\n");
 220                 @reg @Term.node@->reg = @Feld.node@->reg;
 221           @}
 222         ;
 223
 224 Expr:
 225           Term
 226           @{
 227             @reg @Term.node@->reg = @Expr.node@->reg;
 228                 @i @Expr.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Expr)- Term\n");
 229           @}
 230
 231         | NOT Term
 232           @{
 233                 @i @Expr.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Expr)- NOT Term\n");
 234                 @i @Expr.node@ = new_node(O_EQ, @Term.node@, new_node(O_NULL, TREENULL, TREENULL, @Expr.exprcount@), @Expr.exprcount@);
 235
 236                 @reg @Term.node@->reg = @Expr.node@->reg;
 237           @}
 238
 239         | Term Minusterm
 240           @{
 241                 @i @Expr.exprcount@ = @Term.exprcount@ + @Minusterm.exprcount@; fprintf(stderr, "(Expr)- Term Minusterm\n");
 242             @i @Expr.node@ = new_node(O_SUB, @Term.node@, @Minusterm.node@, @Expr.exprcount@);
 243
 244                 @reg {
 245                         /* TODO */
 246                         @Term.node@->reg = @Expr.node@->reg;
 247                         @Term.node@->skip = 0;
 248                         @Minusterm.node@->reg = next_reg(@Term.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
 249                 }
 250           @}
 251
 252         | Term Multerm
 253           @{
 254                 @i @Expr.exprcount@ = @Term.exprcount@ + @Multerm.exprcount@; fprintf(stderr, "(Expr)- Term Multerm\n");
 255             @i @Expr.node@ = new_node(O_MUL, @Term.node@, @Multerm.node@, @Expr.exprcount@);
 256
 257                 @reg {
 258                         /* TODO */
 259                         @Term.node@->reg = @Expr.node@->reg;
 260                         @Term.node@->skip = 0;
 261                         @Multerm.node@->reg = next_reg(@Term.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
 262                 }
 263           @}
 264
 265         | Term Orterm
 266           @{
 267                 @i @Expr.exprcount@ = @Term.exprcount@ + @Orterm.exprcount@; fprintf(stderr, "(Expr)- Term Orterm\n");
 268             @i @Expr.node@ = new_node(O_OR, @Term.node@, @Orterm.node@, @Expr.exprcount@);
 269
 270                 @reg {
 271                         /* TODO */
 272                         @Term.node@->reg = @Expr.node@->reg;
 273                         @Term.node@->skip = 0;
 274                         @Orterm.node@->reg = next_reg(@Term.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
 275                 }
 276           @}
 277
 278         | Term '<' Term
 279           @{
 280                 @i @Expr.exprcount@ = @Term.0.exprcount@ + @Term.1.exprcount@; fprintf(stderr, "(Expr)- Term < Term\n");
 281             @i @Expr.node@ = new_node(O_LESS, @Term.0.node@, @Term.1.node@, @Expr.exprcount@);
 282
 283                 @reg {
 284                         @Term.0.node@->reg = @Expr.node@->reg;
 285                         @Term.1.node@->reg = next_reg(@Term.0.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
 286                 }
 287           @}
 288
 289         | Term '=' Term
 290           @{
 291                 @i @Expr.exprcount@ = @Term.0.exprcount@ + @Term.1.exprcount@; fprintf(stderr, "(Expr)- Term = Term\n");
 292             @i @Expr.node@ = new_node(O_EQ, @Term.0.node@, @Term.1.node@, @Expr.exprcount@);
 293
 294                 @reg {
 295                         @Term.0.node@->reg = @Expr.node@->reg;
 296                         @Term.1.node@->reg = next_reg(@Term.0.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
 297                 }
 298           @}
 299         ;
 300
 301 Minusterm:
 302           '-' Term Minusterm
 303           @{
 304                 @i @Minusterm.0.exprcount@ = @Term.exprcount@ + @Minusterm.1.exprcount@; fprintf(stderr, "(Minusterm)- - Term Minusterm\n");
 305             @i @Minusterm.node@ = new_node(O_ADD, @Minusterm.1.node@, @Term.node@, @Minusterm.0.exprcount@);
 306
 307             @reg {
 308                         @Minusterm.1.node@->reg = @Minusterm.node@->reg;
 309                         @Term.node@->reg = next_reg(@Minusterm.1.node@->reg, @Minusterm.node@->skip, @Minusterm.gparamges@);
 310                 }
 311           @}
 312
 313         | '-' Term
 314           @{
 315                 @i @Minusterm.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Minusterm)- - Term\n");
 316             @reg @Term.node@->reg = @Minusterm.node@->reg;
 317           @}
 318         ;
 319
 320 Multerm:
 321           '*' Term Multerm
 322           @{
 323                 @i @Multerm.0.exprcount@ = @Term.exprcount@ + @Multerm.1.exprcount@; fprintf(stderr, "(Multerm)- - Term Multerm\n");
 324             @i @Multerm.node@ = new_node(O_MUL, @Multerm.1.node@, @Term.node@, @Multerm.0.exprcount@);
 325
 326             @reg {
 327                         @Multerm.1.node@->reg = @Multerm.node@->reg;
 328                         @Term.node@->reg = next_reg(@Multerm.1.node@->reg, @Multerm.node@->skip, @Multerm.gparamges@);
 329                 }
 330           @}
 331
 332         | '*' Term
 333           @{
 334                 @i @Multerm.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Multerm)- - Term\n");
 335             @reg @Term.node@->reg = @Multerm.node@->reg;
 336           @}
 337         ;
 338
 339 Orterm:
 340           OR Term Orterm
 341           @{
 342                 @i @Orterm.0.exprcount@ = @Term.exprcount@ + @Orterm.1.exprcount@; fprintf(stderr, "(Orterm)- - Term Orterm\n");
 343             @i @Orterm.node@ = new_node(O_OR, @Orterm.1.node@, @Term.node@, @Orterm.0.exprcount@);
 344
 345             @reg {
 346                         @Orterm.1.node@->reg = @Orterm.node@->reg;
 347                         @Term.node@->reg = next_reg(@Orterm.1.node@->reg, @Orterm.node@->skip, @Orterm.gparamges@);
 348                 }
 349           @}
 350         | OR Term
 351           @{
 352                 @i @Orterm.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Orterm)- - Term\n");
 353             @reg @Term.node@->reg = @Orterm.node@->reg;
 354           @}
 355
 356         ;
 357
 358 Term:
 359           '(' Expr ')'
 360           @{
 361             @i @Term.node@ = @Expr.node@;
 362                 @i @Term.exprcount@ = 1 + @Expr.exprcount@; fprintf(stderr, "(Term)- ( Expr )\n");
 363           @}
 364
 365         | NUM
 366           @{
 367                 @i @Term.exprcount@ = 0; fprintf(stderr, "(Term)- NUM\n");
 368             @i @Term.node@ = new_number(@NUM.val@, @Term.exprcount@);
 369           @}
 370
 371         | '-' NUM
 372           @{
 373                 @i @Term.exprcount@ = 0; fprintf(stderr, "(Term)- - NUM\n");
 374             @i @Term.node@ = new_number(-1 * (@NUM.val@), @Term.exprcount@);
 375           @}
 376
 377         | THIS
 378           @{
 379                 @i @Term.exprcount@ = 0; fprintf(stderr, "(Term)- THIS\n");
 380             @i @Term.node@ = new_param(O_ID, strdup("this"), TREENULL, TREENULL, 0, @Term.exprcount@);
 381           @}
 382
 383         | IDENT
 384           @{
 385             @c check(@Term.s@, @IDENT.name@, S_VAR|S_PARM);
 386
 387                 @i @Term.exprcount@ = 0; fprintf(stderr, "(Term)- IDENT\n");
 388             @i {
 389                         @Term.node@ = TREENULL;
 390                         if(tab_lookup(@Term.s@, @IDENT.name@, S_VAR|S_PARM) == SYMNULL) {
 391                                 /* es handelt sich um ein feldzugriff auf this */
 392                                 @Term.node@ = new_field(@IDENT.name@, new_param(O_ID, strdup("this"), TREENULL, TREENULL, 0, @Term.exprcount@), TREENULL, tab_lookup(@Term.s@, @IDENT.name@, S_FIELD) == SYMNULL ? -1 : tab_lookup(@Term.s@, @IDENT.name@, S_FIELD)->soffset, @Term.exprcount@);
 393                         } else { /* param oder var */
 394                                 @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@);
 395                         }
 396                 }
 397
 398                 @reg if(tab_lookup(@Term.s@, @IDENT.name@, S_VAR|S_PARM) == SYMNULL) {
 399                         /* TODO: kein schoener hack? */
 400                         @Term.node@->kids[0]->reg = @Term.node@->reg;
 401                 }
 402           @}
 403
 404         | Feld
 405           @{
 406             @i @Term.node@ = @Feld.node@;
 407                 /*TODO*/@i @Term.exprcount@ = 0;
 408           @}
 409
 410         | IDENT '(' Exprs ')'
 411           @{
 412             @i @Term.node@ = TREENULL;
 413                 /*TODO*/@i @Term.exprcount@ = 0;
 414           @}
 415
 416         | Term '.' IDENT '(' Exprs ')'
 417           @{
 418             @i @Term.node@ = TREENULL;
 419                 /*TODO*/@i @Term.exprcount@ = 0;
 420           @}
 421
 422         ;
 423
 424 Exprs:
 425           Expr ',' Exprs
 426           /* TODO: exprcount uppen */
 427         | Expr
 428         |
 429         ;
 430 %%
 431
 432 extern int yylex();
 433 extern int yylineno;
 434
 435 int yyerror(char *error_text)
 436 {
 437         fprintf(stderr,"Zeile %i: %s\n", yylineno, error_text);
 438         exit(2);
 439 }
 440
 441 int main(int argc, char **argv)
 442 {
 443         #if 0
 444         yydebug=1;
 445         #endif
 446         yyparse();
 447         return 0;
 448 }
 449