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  * imm:
  33  * exprcount:
  34  * sin:
  35  * sout:
  36  */
  37 @autoinh s gparamges
  38 @autosyn node imm
  39
  40 @attributes { char *name; } IDENT
  41 @attributes { long val; } NUM
  42 @attributes { struct symbol *f; int paramges; int parms; } Parms
  43 @attributes { struct symbol *f; } FeldID Structdef Program
  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; short imm; int exprcount; } Expr Minusterm Term Multerm Orterm
  47 @attributes { struct symbol *s; int gparamges; struct treenode *node; } Lexpr Feld
  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           @}
  92         ;
  93
  94 Parms:
  95           /* lokale Vars werden in Statement in die tabelle eingefuegt */
  96           IDENT Parms
  97           @{
  98             @i @Parms.1.parms@ = @Parms.parms@ + 1;
  99                 @i @Parms.0.paramges@ = @Parms.1.paramges@;
 100             @i @Parms.0.f@ = tab_add_symbol(@Parms.1.f@, @IDENT.name@, S_PARM, 1, @Parms.parms@);
 101           @}
 102
 103         |
 104           @{
 105             @i @Parms.f@ = tab_new();
 106                 @i @Parms.paramges@ = @Parms.parms@;
 107           @}
 108         ;
 109
 110 FeldID:
 111           IDENT FeldID
 112           @{
 113             @i @FeldID.0.f@ = tab_add_symbol(@FeldID.1.f@, @IDENT.name@, S_FIELD, 1, -1);
 114           @}
 115
 116         |
 117           @{
 118             @i @FeldID.f@ = tab_new();
 119           @}
 120         ;
 121
 122 Statseq:
 123           Statement ';' Statseq
 124           @{
 125                 @i @Statement.sin@ = @Statseq.0.s@;
 126                 @i @Statseq.1.s@ = @Statement.sout@;
 127                 @gen write_tree(@Statement.node@, 0); burm_label(@Statement.node@); burm_reduce(@Statement.node@, 1);
 128           @}
 129
 130         |
 131         ;
 132
 133 Statement:
 134           Lexpr ASSIGN Expr
 135           @{
 136                 statinout()
 137                 xxputsin(@Lexpr.s@,)
 138                 xxputsin(@Expr.s@,)
 139             @i @Statement.node@ = TREENULL;
 140           @}
 141
 142         | VAR IDENT ASSIGN Expr
 143           @{
 144                 /* tab_clone ist hier noetig, vgl. folgendes statement
 145                  * > var x := x - 1; */
 146                 @i @Statement.sout@ = tab_add_symbol(tab_clone(@Statement.sin@), @IDENT.name@, S_VAR, 1, -1);
 147                 xxputsin(@Expr.s@,)
 148             @i @Statement.node@ = TREENULL;
 149           @}
 150
 151         | Expr
 152           @{
 153                 statinout()
 154                 xxputsin(@Expr.s@,)
 155             @i @Statement.node@ = TREENULL;
 156           @}
 157
 158         | IF Expr THEN Statseq END
 159           @{
 160                 statinout()
 161                 xxputsin(@Expr.s@,)
 162                 xxputsin(@Statseq.s@,)
 163             @i @Statement.node@ = TREENULL;
 164           @}
 165
 166         | IF Expr THEN Statseq ELSE Statseq END
 167           @{
 168                 statinout()
 169                 xxputsin(@Expr.s@,)
 170                 xxputsin(@Statseq.0.s@,)
 171                 xxputsin(@Statseq.1.s@,)
 172             @i @Statement.node@ = TREENULL;
 173           @}
 174
 175         | WHILE Expr DO Statseq END
 176           @{
 177                 statinout()
 178                 xxputsin(@Expr.s@,)
 179                 xxputsin(@Statseq.s@,)
 180             @i @Statement.node@ = TREENULL;
 181           @}
 182
 183         | RETURN Expr
 184           @{
 185                 statinout()
 186                 xxputsin(@Expr.s@,)
 187                 @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);
 188                 @reg @Statement.node@->reg = @Expr.node@->reg = next_reg((char *)NULL, 0, @Expr.gparamges@);
 189           @}
 190         ;
 191
 192 Lexpr:
 193           IDENT
 194           @{
 195             @i @Lexpr.node@ = TREENULL;
 196             @c check(@Lexpr.s@, @IDENT.name@, S_VAR|S_PARM);
 197           @}
 198
 199         | Feld
 200         ;
 201
 202 Feld: Term '.' IDENT
 203           @{
 204             @c check(@Feld.s@, @IDENT.name@, S_FIELD);
 205             @i @Feld.node@ = TREENULL;
 206           @}
 207         ;
 208
 209 Expr:
 210           Term
 211           @{
 212             @reg @Term.node@->reg = @Expr.node@->reg;
 213                 @i @Expr.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Expr)- Term\n");
 214           @}
 215
 216         | NOT Term
 217           @{
 218             @i @Expr.node@ = TREENULL;
 219                 @i @Expr.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Expr)- NOT Term\n");
 220           @}
 221
 222         | Term Minusterm
 223           @{
 224                 @i @Expr.exprcount@ = @Term.exprcount@ + @Minusterm.exprcount@; fprintf(stderr, "(Expr)- Term Minusterm\n");
 225             @i @Expr.node@ = new_node(O_SUB, @Term.node@, @Minusterm.node@, @Expr.exprcount@);
 226                 @i @Expr.imm@ = @Term.imm@ && @Minusterm.imm@;
 227
 228                 @reg {
 229                         /* TODO */
 230                         @Term.node@->reg = @Expr.node@->reg;
 231                         @Term.node@->skip = 0;
 232                         @Minusterm.node@->reg = next_reg(@Term.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
 233                 }
 234           @}
 235
 236         | Term Multerm
 237           @{
 238                 @i @Expr.exprcount@ = @Term.exprcount@ + @Multerm.exprcount@; fprintf(stderr, "(Expr)- Term Multerm\n");
 239             @i @Expr.node@ = new_node(O_MUL, @Term.node@, @Multerm.node@, @Expr.exprcount@);
 240                 @i @Expr.imm@ = @Term.imm@ && @Multerm.imm@;
 241
 242                 @reg {
 243                         /* TODO */
 244                         @Term.node@->reg = @Expr.node@->reg;
 245                         @Term.node@->skip = 0;
 246                         @Multerm.node@->reg = next_reg(@Term.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
 247                 }
 248           @}
 249
 250         | Term Orterm
 251           @{
 252                 @i @Expr.exprcount@ = @Term.exprcount@ + @Orterm.exprcount@; fprintf(stderr, "(Expr)- Term Orterm\n");
 253             @i @Expr.node@ = new_node(O_OR, @Term.node@, @Orterm.node@, @Expr.exprcount@);
 254                 @i @Expr.imm@ = @Term.imm@ && @Orterm.imm@;
 255
 256                 @reg {
 257                         /* TODO */
 258                         @Term.node@->reg = @Expr.node@->reg;
 259                         @Term.node@->skip = 0;
 260                         @Orterm.node@->reg = next_reg(@Term.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
 261                 }
 262           @}
 263
 264         | Term '<' Term
 265           @{
 266             @i @Expr.node@ = TREENULL;
 267                 /* das is bloedsinn atm */ @i @Expr.imm@ = @Term.0.imm@ && @Term.1.imm@;
 268                 @i @Expr.exprcount@ = @Term.0.exprcount@ + @Term.1.exprcount@; fprintf(stderr, "(Expr)- Term < Term\n");
 269           @}
 270
 271         | Term '=' Term
 272           @{
 273             @i @Expr.node@ = TREENULL;
 274                 /* das is bloedsinn atm */ @i @Expr.imm@ = @Term.0.imm@ && @Term.1.imm@;
 275                 @i @Expr.exprcount@ = @Term.0.exprcount@ + @Term.1.exprcount@; fprintf(stderr, "(Expr)- Term = Term\n");
 276           @}
 277         ;
 278
 279 Minusterm:
 280           '-' Term Minusterm
 281           @{
 282                 @i @Minusterm.0.exprcount@ = @Term.exprcount@ + @Minusterm.1.exprcount@; fprintf(stderr, "(Minusterm)- - Term Minusterm\n");
 283             @i @Minusterm.node@ = new_node(O_ADD, @Minusterm.1.node@, @Term.node@, @Minusterm.0.exprcount@);
 284                 @i @Minusterm.imm@ = @Term.imm@ && @Minusterm.1.imm@;
 285
 286             @reg {
 287                         @Minusterm.1.node@->reg = @Minusterm.node@->reg;
 288                         @Term.node@->reg = next_reg(@Minusterm.1.node@->reg, @Minusterm.node@->skip, @Minusterm.gparamges@);
 289                 }
 290           @}
 291
 292         | '-' Term
 293           @{
 294                 @i @Minusterm.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Minusterm)- - Term\n");
 295             @reg @Term.node@->reg = @Minusterm.node@->reg;
 296           @}
 297         ;
 298
 299 Multerm:
 300           '*' Term Multerm
 301           @{
 302                 @i @Multerm.0.exprcount@ = @Term.exprcount@ + @Multerm.1.exprcount@; fprintf(stderr, "(Multerm)- - Term Multerm\n");
 303             @i @Multerm.node@ = new_node(O_MUL, @Multerm.1.node@, @Term.node@, @Multerm.0.exprcount@);
 304                 @i @Multerm.imm@ = @Term.imm@ && @Multerm.1.imm@;
 305
 306             @reg {
 307                         @Multerm.1.node@->reg = @Multerm.node@->reg;
 308                         @Term.node@->reg = next_reg(@Multerm.1.node@->reg, @Multerm.node@->skip, @Multerm.gparamges@);
 309                 }
 310           @}
 311
 312         | '*' Term
 313           @{
 314                 @i @Multerm.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Multerm)- - Term\n");
 315             @reg @Term.node@->reg = @Multerm.node@->reg;
 316           @}
 317         ;
 318
 319 Orterm:
 320           OR Term Orterm
 321           @{
 322                 @i @Orterm.0.exprcount@ = @Term.exprcount@ + @Orterm.1.exprcount@; fprintf(stderr, "(Orterm)- - Term Orterm\n");
 323             @i @Orterm.node@ = new_node(O_OR, @Orterm.1.node@, @Term.node@, @Orterm.0.exprcount@);
 324                 @i @Orterm.imm@ = @Term.imm@ && @Orterm.1.imm@;
 325
 326             @reg {
 327                         @Orterm.1.node@->reg = @Orterm.node@->reg;
 328                         @Term.node@->reg = next_reg(@Orterm.1.node@->reg, @Orterm.node@->skip, @Orterm.gparamges@);
 329                 }
 330           @}
 331         | OR Term
 332           @{
 333                 @i @Orterm.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Orterm)- - Term\n");
 334             @reg @Term.node@->reg = @Orterm.node@->reg;
 335           @}
 336
 337         ;
 338
 339 Term:
 340           '(' Expr ')'
 341           @{
 342             @i @Term.node@ = @Expr.node@;
 343                 @i @Term.exprcount@ = 1 + @Expr.exprcount@; fprintf(stderr, "(Term)- ( Expr )\n");
 344           @}
 345
 346         | NUM
 347           @{
 348                 @i @Term.exprcount@ = 0; fprintf(stderr, "(Term)- NUM\n");
 349             @i @Term.node@ = new_number(@NUM.val@, @Term.exprcount@);
 350                 @i @Term.imm@ = 1;
 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                 @i @Term.imm@ = 1;
 358           @}
 359
 360         | THIS
 361           @{
 362                 @i @Term.exprcount@ = 0; fprintf(stderr, "(Term)- THIS\n");
 363             @i @Term.node@ = new_param(O_ID, strdup("this"), TREENULL, TREENULL, 0, @Term.exprcount@);
 364                 @i @Term.imm@ = 0;
 365           @}
 366
 367         | IDENT
 368           @{
 369             @c check(@Term.s@, @IDENT.name@, S_VAR|S_PARM);
 370                 @i @Term.exprcount@ = 0; fprintf(stderr, "(Term)- IDENT\n");
 371             @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@);
 372                 @i @Term.imm@ = 0;
 373           @}
 374
 375         | Feld
 376           @{
 377             @i @Term.node@ = TREENULL;
 378                 @i @Term.imm@ = 0;
 379                 /*TODO*/@i @Term.exprcount@ = 0;
 380           @}
 381
 382         | IDENT '(' Exprs ')'
 383           @{
 384             @i @Term.node@ = TREENULL;
 385                 @i @Term.imm@ = 0;
 386                 /*TODO*/@i @Term.exprcount@ = 0;
 387           @}
 388
 389         | Term '.' IDENT '(' Exprs ')'
 390           @{
 391             @i @Term.node@ = TREENULL;
 392                 @i @Term.imm@ = 0;
 393                 /*TODO*/@i @Term.exprcount@ = 0;
 394           @}
 395
 396         ;
 397
 398 Exprs:
 399           Expr ',' Exprs
 400           /* TODO: exprcount uppen */
 401         | Expr
 402         |
 403         ;
 404 %%
 405
 406 extern int yylex();
 407 extern int yylineno;
 408
 409 int yyerror(char *error_text)
 410 {
 411         fprintf(stderr,"Zeile %i: %s\n", yylineno, error_text);
 412         exit(2);
 413 }
 414
 415 int main(int argc, char **argv)
 416 {
 417         #if 0
 418         yydebug=1;
 419         #endif
 420         yyparse();
 421         return 0;
 422 }
 423