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