codeb/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: symboltabelle
  28  * f: symboltabelle fuer quirks mit structur und parameter
  29  * gparamges: anzahl der parameter in einer methode
  30  * parms: parametercounter
  31  * node: baum fuer iburg
  32  * sin: symboltabelle fuer statement ("eingabe")
  33  * sout: symboltabelle die aus einem statement wieder rauskommt ("ausgabe")
  34  */
  35 @autoinh s gparamges
  36 @autosyn node imm
  37
  38 @attributes { char *name; } IDENT
  39 @attributes { long val; } NUM
  40 @attributes { struct symbol *f; int paramges; int parms; } Parms
  41 @attributes { struct symbol *f; } Program Structdef;
  42 @attributes { struct symbol *f; int offsetcount; } FeldID
  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; short imm; } Expr Minusterm Multerm Orterm Feld Term
  46 @attributes { struct symbol *s; int gparamges; struct treenode *node; } Lexpr
  47 @attributes { struct symbol *sin; int gparamges; struct symbol *sout; struct
  48 treenode *node; int vars; } Statement
  49
  50 @traversal @postorder c
  51 @traversal @preorder reg
  52 @traversal @preorder gen
  53
  54 %%
  55 Input:
  56           Program
  57           @{
  58             @i @Program.f@ = tab_new();
  59             @gen 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 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                 @i @Statseq.1.gparamges@ = @Statseq.0.gparamges@ + @Statement.vars@;
 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@ = new_node(O_ASSIGN, @Lexpr.node@, @Expr.node@);
 142                 @i @Statement.vars@ = 0;
 143                 @reg @Statement.node@->reg = @Expr.node@->reg = next_reg((char *)NULL, @Expr.gparamges@);
 144
 145                 @gen write_tree(@Statement.node@, 0); burm_label(@Statement.node@); burm_reduce(@Statement.node@, 1);
 146           @}
 147
 148         | VAR IDENT ASSIGN Expr
 149           @{
 150                 /* tab_clone ist hier noetig, vgl. folgendes statement
 151                  * > var x := x - 1; */
 152                 @i @Statement.sout@ = tab_add_symbol(tab_clone(@Statement.sin@), @IDENT.name@, S_VAR, 1, @Statement.gparamges@, -1);
 153                 xxputsin(@Expr.s@,)
 154
 155                 @i @Statement.node@ = new_node(O_ASSIGN, new_param(O_ID, @IDENT.name@, TREENULL, TREENULL, @Statement.gparamges@), @Expr.node@);
 156                 @i @Statement.vars@ = 1;
 157                 @reg @Statement.node@->reg = @Expr.node@->reg = next_reg((char *)NULL, @Expr.gparamges@);
 158
 159                 @gen write_tree(@Statement.node@, 0); burm_label(@Statement.node@); burm_reduce(@Statement.node@, 1);
 160           @}
 161
 162         | Expr
 163           @{
 164                 statinout()
 165                 xxputsin(@Expr.s@,)
 166             @i @Statement.node@ = TREENULL;
 167                 @i @Statement.vars@ = 0;
 168           @}
 169
 170         | IF Expr THEN Statseq END
 171           @{
 172                 statinout()
 173                 xxputsin(@Expr.s@,)
 174                 xxputsin(@Statseq.s@,)
 175
 176                 @i @Statement.node@ = new_node(O_IF, @Expr.node@, TREENULL);
 177                 @i @Statement.vars@ = 0;
 178
 179                 @reg @Statement.node@->reg = @Expr.node@->reg = next_reg((char *)NULL, @Expr.gparamges@);
 180                 @gen {
 181                         write_tree(@Statement.node@, 0); burm_label(@Statement.node@); burm_reduce(@Statement.node@, 1);
 182                         /* TODO: kann ich mir das test wirklich wegan and davor sparen? */
 183                         printf("\ttest %s1, %%rax\n\tjz if_end\n", "$");
 184                 }
 185                 @gen @revorder(1) printf("if_end:\n");
 186           @}
 187
 188         | IF Expr THEN Statseq ELSE Statseq END
 189           @{
 190                 statinout()
 191                 xxputsin(@Expr.s@,)
 192                 xxputsin(@Statseq.0.s@,)
 193                 xxputsin(@Statseq.1.s@,)
 194             @i @Statement.node@ = TREENULL;
 195                 @i @Statement.vars@ = 0;
 196           @}
 197
 198         | WHILE Expr DO Statseq END
 199           @{
 200                 statinout()
 201                 xxputsin(@Expr.s@,)
 202                 xxputsin(@Statseq.s@,)
 203             @i @Statement.node@ = TREENULL;
 204                 @i @Statement.vars@ = 0;
 205           @}
 206
 207         | RETURN Expr
 208           @{
 209                 statinout()
 210                 xxputsin(@Expr.s@,)
 211
 212                 @i @Statement.vars@ = 0;
 213                 @i @Statement.node@ = new_node(O_RET, @Expr.node@, TREENULL);
 214                 @reg @Statement.node@->reg = @Expr.node@->reg = next_reg((char *)NULL, @Expr.gparamges@);
 215
 216                 @gen write_tree(@Statement.node@, 0); burm_label(@Statement.node@); burm_reduce(@Statement.node@, 1);
 217           @}
 218         ;
 219
 220 Lexpr:
 221           IDENT
 222           @{
 223             @c check(@Lexpr.s@, @IDENT.name@, S_VAR|S_PARM);
 224
 225                 /* TODO: selbe Code wie bei Term/IDENT -- schoener machen! */
 226             @i {
 227                         @Lexpr.node@ = TREENULL;
 228                         if(tab_lookup(@Lexpr.s@, @IDENT.name@, S_VAR|S_PARM) == SYMNULL) {
 229                                 /* es handelt sich um ein feldzugriff auf this */
 230                                 @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);
 231                         } else { /* param oder var */
 232                                 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;
 233                                 @Lexpr.node@ = new_param(O_ID, @IDENT.name@, TREENULL, TREENULL, tmp);
 234                         }
 235                 }
 236
 237                 @reg if(tab_lookup(@Lexpr.s@, @IDENT.name@, S_VAR|S_PARM) == SYMNULL) {
 238                         /* TODO: kein schoener hack? */
 239                         @Lexpr.node@->kids[0]->reg = @Lexpr.node@->reg;
 240                 }
 241           @}
 242
 243         | Feld
 244         ;
 245
 246 Feld: Term '.' IDENT
 247           @{
 248             @c check(@Feld.s@, @IDENT.name@, S_FIELD);
 249             @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);
 250
 251                 @reg @Term.node@->reg = @Feld.node@->reg;
 252           @}
 253         ;
 254
 255 Expr:
 256           Term
 257           @{
 258             @reg @Term.node@->reg = @Expr.node@->reg;
 259           @}
 260
 261         | NOT Term
 262           @{
 263                 @i @Expr.node@ = new_node(O_EQ, @Term.node@, new_node(O_NULL, TREENULL, TREENULL));
 264
 265                 @reg @Term.node@->reg = @Expr.node@->reg;
 266           @}
 267
 268         | Term Minusterm
 269           @{
 270             @i @Expr.node@ = new_node(O_SUB, @Term.node@, @Minusterm.node@);
 271                 @i @Expr.imm@ = @Term.imm@ && @Minusterm.imm@;
 272
 273                 @reg {
 274                         if(!(@Expr.node@->kids[0] == TREENULL && @Expr.node@->kids[1] == TREENULL)) {
 275                                 @Term.node@->reg = @Expr.node@->reg;
 276                                 if(@Minusterm.imm@) {
 277                                         @Minusterm.node@->reg = @Expr.node@->reg;
 278                                 } else {
 279                                         @Minusterm.node@->reg = next_reg(@Term.node@->reg, @Expr.gparamges@);
 280                                 }
 281                         }
 282                 }
 283           @}
 284
 285         | Term Multerm
 286           @{
 287             @i @Expr.node@ = new_node(O_MUL, @Term.node@, @Multerm.node@);
 288                 @i @Expr.imm@ = @Term.imm@ && @Multerm.imm@;
 289
 290                 @reg {
 291                         @Term.node@->reg = @Expr.node@->reg;
 292                         if(@Term.imm@) {
 293                                 @Multerm.node@->reg = @Expr.node@->reg;
 294                         } else {
 295                                 @Multerm.node@->reg = next_reg(@Term.node@->reg, @Expr.gparamges@);
 296                         }
 297                 }
 298           @}
 299
 300         | Term Orterm
 301           @{
 302             @i @Expr.node@ = new_node(O_OR, @Term.node@, @Orterm.node@);
 303                 @i @Expr.imm@ = @Term.imm@ && @Orterm.imm@;
 304
 305                 @reg {
 306                         @Term.node@->reg = @Expr.node@->reg;
 307                         @Orterm.node@->reg = next_reg(@Term.node@->reg, @Expr.gparamges@);
 308                 }
 309           @}
 310
 311         | Term '<' Term
 312           @{
 313             @i @Expr.node@ = new_node(O_LESS, @Term.0.node@, @Term.1.node@);
 314                 @i @Expr.imm@ = @Term.0.imm@ && @Term.0.imm@;
 315
 316                 @reg {
 317                         @Term.0.node@->reg = @Expr.node@->reg;
 318                         @Term.1.node@->reg = next_reg(@Term.0.node@->reg, @Expr.gparamges@);
 319                 }
 320           @}
 321
 322         | Term '=' Term
 323           @{
 324             @i @Expr.node@ = new_node(O_EQ, @Term.0.node@, @Term.1.node@);
 325                 @i @Expr.imm@ = @Term.0.imm@ && @Term.0.imm@;
 326
 327                 @reg {
 328                         @Term.0.node@->reg = @Expr.node@->reg;
 329                         @Term.1.node@->reg = next_reg(@Term.0.node@->reg, @Expr.gparamges@);
 330                 }
 331           @}
 332         ;
 333
 334 Minusterm:
 335           '-' Term Minusterm
 336           @{
 337             @i @Minusterm.node@ = new_node(O_ADD, @Minusterm.1.node@, @Term.node@);
 338                 @i @Minusterm.0.imm@ = @Term.imm@ && @Minusterm.1.imm@;
 339
 340             @reg {
 341                         @Minusterm.1.node@->reg = @Minusterm.node@->reg;
 342                         if(@Minusterm.1.imm@) {
 343                                 @Term.node@->reg = @Minusterm.node@->reg;
 344                         } else {
 345                                 @Term.node@->reg = next_reg(@Minusterm.1.node@->reg, @Minusterm.gparamges@);
 346                         }
 347                 }
 348           @}
 349
 350         | '-' Term
 351           @{
 352             @reg @Term.node@->reg = @Minusterm.node@->reg;
 353           @}
 354         ;
 355
 356 Multerm:
 357           '*' Term Multerm
 358           @{
 359             @i @Multerm.node@ = new_node(O_MUL, @Multerm.1.node@, @Term.node@);
 360                 @i @Multerm.0.imm@ = @Term.imm@ && @Multerm.1.imm@;
 361
 362             @reg {
 363                         @Multerm.1.node@->reg = @Multerm.node@->reg;
 364                         if(@Multerm.1.imm@) {
 365                                 @Term.node@->reg = @Multerm.node@->reg;
 366                         } else {
 367                                 @Term.node@->reg = next_reg(@Multerm.1.node@->reg, @Multerm.gparamges@);
 368                         }
 369                 }
 370           @}
 371
 372         | '*' Term
 373           @{
 374             @reg @Term.node@->reg = @Multerm.node@->reg;
 375           @}
 376         ;
 377
 378 Orterm:
 379           OR Term Orterm
 380           @{
 381             @i @Orterm.node@ = new_node(O_OR, @Orterm.1.node@, @Term.node@);
 382                 @i @Orterm.0.imm@ = @Term.imm@ && @Orterm.1.imm@;
 383
 384             @reg {
 385                         @Orterm.1.node@->reg = @Orterm.node@->reg;
 386                         if(@Orterm.1.imm@) {
 387                                 @Term.node@->reg = @Orterm.node@->reg;
 388                         } else {
 389                                 @Term.node@->reg = next_reg(@Orterm.1.node@->reg, @Orterm.gparamges@);
 390                         }
 391                 }
 392           @}
 393         | OR Term
 394           @{
 395             @reg @Term.node@->reg = @Orterm.node@->reg;
 396           @}
 397
 398         ;
 399
 400 Term:
 401           '(' Expr ')'
 402           @{
 403             @i @Term.node@ = @Expr.node@;
 404           @}
 405
 406         | NUM
 407           @{
 408             @i @Term.node@ = new_number(@NUM.val@);
 409                 @i @Term.imm@ = 1;
 410           @}
 411
 412         | '-' NUM
 413           @{
 414             @i @Term.node@ = new_number(-1 * (@NUM.val@));
 415                 @i @Term.imm@ = 1;
 416           @}
 417
 418         | THIS
 419           @{
 420             @i @Term.node@ = new_param(O_ID, strdup("this"), TREENULL, TREENULL, 0);
 421                 @i @Term.imm@ = 0;
 422           @}
 423
 424         | IDENT
 425           @{
 426             @c check(@Term.s@, @IDENT.name@, S_VAR|S_PARM);
 427
 428                 @i @Term.imm@ = 0;
 429             @i {
 430                         @Term.node@ = TREENULL;
 431                         if(tab_lookup(@Term.s@, @IDENT.name@, S_VAR|S_PARM) == SYMNULL) {
 432                                 /* es handelt sich um ein feldzugriff auf this */
 433                                 @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);
 434                         } else { /* param oder var */
 435                                 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;
 436                                 @Term.node@ = new_param(O_ID, @IDENT.name@, TREENULL, TREENULL, tmp);
 437                         }
 438                 }
 439
 440                 @reg if(tab_lookup(@Term.s@, @IDENT.name@, S_VAR|S_PARM) == SYMNULL) {
 441                         /* TODO: kein schoener hack? */
 442                         @Term.node@->kids[0]->reg = @Term.node@->reg;
 443                 }
 444           @}
 445
 446         | Feld
 447           @{
 448             @i @Term.node@ = @Feld.node@;
 449                 @i @Term.imm@ = 0;
 450           @}
 451
 452         | IDENT '(' Exprs ')'
 453           @{
 454             @i @Term.node@ = TREENULL;
 455                 @i @Term.imm@ = 0;
 456           @}
 457
 458         | Term '.' IDENT '(' Exprs ')'
 459           @{
 460             @i @Term.node@ = TREENULL;
 461                 @i @Term.imm@ = 0;
 462           @}
 463
 464         ;
 465
 466 Exprs:
 467           Expr ',' Exprs
 468         | Expr
 469         |
 470         ;
 471 %%
 472
 473 extern int yylex();
 474 extern int yylineno;
 475
 476 int yyerror(char *error_text)
 477 {
 478         fprintf(stderr,"Zeile %i: %s\n", yylineno, error_text);
 479         exit(2);
 480 }
 481
 482 int main(int argc, char **argv)
 483 {
 484         #if 0
 485         yydebug=1;
 486         #endif
 487         yyparse();
 488         return 0;
 489 }
 490