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
  47 @attributes { struct symbol *s; int gparamges; struct treenode *node; int exprcount; } Orterm
  48 @attributes { struct symbol *s; int gparamges; struct treenode *node; } Lexpr Feld
  49 @attributes { struct symbol *sin; int gparamges; struct symbol *sout; struct treenode *node; } Statement
  50
  51 @traversal @postorder c
  52 @traversal @preorder reg
  53 @traversal @postorder gen
  54
  55 %%
  56 Input:
  57           Program
  58           @{
  59             @i @Program.f@ = tab_new();
  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           @}
  70
  71         | Structdef ';' Program
  72           @{
  73             @i @Program.1.f@ = tab_merge(@Program.0.f@, @Structdef.f@, 1);
  74           @}
  75         |
  76         ;
  77
  78 Methoddef:
  79           METHOD IDENT '(' Parms ')' Statseq END
  80           @{
  81             @i @Parms.parms@ = 1;
  82             @i @Statseq.s@ = tab_merge(@Methoddef.s@, @Parms.f@, 0);
  83                 @i @Statseq.gparamges@ = @Parms.paramges@;
  84             @gen @revorder(1) func_header(@IDENT.name@);
  85           @}
  86         ;
  87
  88 Structdef:
  89           STRUCT FeldID END
  90           @{
  91             @i @Structdef.f@ = @FeldID.f@;
  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.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@);
 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.0.f@ = tab_add_symbol(@FeldID.1.f@, @IDENT.name@, S_FIELD, 1, -1);
 115           @}
 116
 117         |
 118           @{
 119             @i @FeldID.f@ = tab_new();
 120           @}
 121         ;
 122
 123 Statseq:
 124           Statement ';' Statseq
 125           @{
 126                 @i @Statement.sin@ = @Statseq.0.s@;
 127                 @i @Statseq.1.s@ = @Statement.sout@;
 128                 @gen write_tree(@Statement.node@, 0); burm_label(@Statement.node@); burm_reduce(@Statement.node@, 1);
 129           @}
 130
 131         |
 132         ;
 133
 134 Statement:
 135           Lexpr ASSIGN Expr
 136           @{
 137                 statinout()
 138                 xxputsin(@Lexpr.s@,)
 139                 xxputsin(@Expr.s@,)
 140             @i @Statement.node@ = TREENULL;
 141           @}
 142
 143         | VAR IDENT ASSIGN Expr
 144           @{
 145                 /* tab_clone ist hier noetig, vgl. folgendes statement
 146                  * > var x := x - 1; */
 147                 @i @Statement.sout@ = tab_add_symbol(tab_clone(@Statement.sin@), @IDENT.name@, S_VAR, 1, -1);
 148                 xxputsin(@Expr.s@,)
 149             @i @Statement.node@ = TREENULL;
 150           @}
 151
 152         | Expr
 153           @{
 154                 statinout()
 155                 xxputsin(@Expr.s@,)
 156             @i @Statement.node@ = TREENULL;
 157           @}
 158
 159         | IF Expr THEN Statseq END
 160           @{
 161                 statinout()
 162                 xxputsin(@Expr.s@,)
 163                 xxputsin(@Statseq.s@,)
 164             @i @Statement.node@ = TREENULL;
 165           @}
 166
 167         | IF Expr THEN Statseq ELSE Statseq END
 168           @{
 169                 statinout()
 170                 xxputsin(@Expr.s@,)
 171                 xxputsin(@Statseq.0.s@,)
 172                 xxputsin(@Statseq.1.s@,)
 173             @i @Statement.node@ = TREENULL;
 174           @}
 175
 176         | WHILE Expr DO Statseq END
 177           @{
 178                 statinout()
 179                 xxputsin(@Expr.s@,)
 180                 xxputsin(@Statseq.s@,)
 181             @i @Statement.node@ = TREENULL;
 182           @}
 183
 184         | RETURN Expr
 185           @{
 186                 statinout()
 187                 xxputsin(@Expr.s@,)
 188                 @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);
 189                 @reg @Statement.node@->reg = @Expr.node@->reg = next_reg((char *)NULL, 0, @Expr.gparamges@);
 190           @}
 191         ;
 192
 193 Lexpr:
 194           IDENT
 195           @{
 196             @i @Lexpr.node@ = TREENULL;
 197             @c check(@Lexpr.s@, @IDENT.name@, S_VAR|S_PARM);
 198           @}
 199
 200         | Feld
 201         ;
 202
 203 Feld: Term '.' IDENT
 204           @{
 205             @c check(@Feld.s@, @IDENT.name@, S_FIELD);
 206             @i @Feld.node@ = TREENULL;
 207           @}
 208         ;
 209
 210 Expr:
 211           Term
 212           @{
 213             @reg @Term.node@->reg = @Expr.node@->reg;
 214                 @i @Expr.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Expr)- Term\n");
 215           @}
 216
 217         | NOT Term
 218           @{
 219             @i @Expr.node@ = TREENULL;
 220                 @i @Expr.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Expr)- NOT Term\n");
 221           @}
 222
 223         | Term Minusterm
 224           @{
 225                 @i @Expr.exprcount@ = @Term.exprcount@ + @Minusterm.exprcount@; fprintf(stderr, "(Expr)- Term Minusterm\n");
 226             @i @Expr.node@ = new_node(O_SUB, @Term.node@, @Minusterm.node@, @Expr.exprcount@);
 227                 @i @Expr.imm@ = @Term.imm@ && @Minusterm.imm@;
 228
 229                 @reg {
 230                         /* TODO */
 231                         @Term.node@->reg = @Expr.node@->reg;
 232                         @Term.node@->skip = 0;
 233                         @Minusterm.node@->reg = next_reg(@Term.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
 234                 }
 235           @}
 236
 237         | Term Multerm
 238           @{
 239                 @i @Expr.exprcount@ = @Term.exprcount@ + @Multerm.exprcount@; fprintf(stderr, "(Expr)- Term Multerm\n");
 240             @i @Expr.node@ = new_node(O_MUL, @Term.node@, @Multerm.node@, @Expr.exprcount@);
 241                 @i @Expr.imm@ = @Term.imm@ && @Multerm.imm@;
 242
 243                 @reg {
 244                         /* TODO */
 245                         @Term.node@->reg = @Expr.node@->reg;
 246                         @Term.node@->skip = 0;
 247                         @Multerm.node@->reg = next_reg(@Term.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
 248                 }
 249           @}
 250
 251         | Term Orterm
 252           @{
 253             @i @Expr.node@ = TREENULL;
 254                 @i @Expr.exprcount@ = @Term.exprcount@ + @Orterm.exprcount@; fprintf(stderr, "(Expr)- Term Orterm\n");
 255           @}
 256
 257         | Term '<' Term
 258           @{
 259             @i @Expr.node@ = TREENULL;
 260                 /* das is bloedsinn atm */ @i @Expr.imm@ = @Term.0.imm@ && @Term.1.imm@;
 261                 @i @Expr.exprcount@ = @Term.0.exprcount@ + @Term.1.exprcount@; fprintf(stderr, "(Expr)- Term < Term\n");
 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
 272 Minusterm:
 273           '-' Term Minusterm
 274           @{
 275                 @i @Minusterm.0.exprcount@ = @Term.exprcount@ + @Minusterm.1.exprcount@; fprintf(stderr, "(Minusterm)- - Term Minusterm\n");
 276             @i @Minusterm.node@ = new_node(O_ADD, @Minusterm.1.node@, @Term.node@, @Minusterm.0.exprcount@);
 277                 @i @Minusterm.imm@ = @Term.imm@ && @Minusterm.1.imm@;
 278
 279             @reg {
 280                         @Minusterm.1.node@->reg = @Minusterm.node@->reg;
 281                         @Term.node@->reg = next_reg(@Minusterm.1.node@->reg, @Minusterm.node@->skip, @Minusterm.gparamges@);
 282                 }
 283           @}
 284
 285         | '-' Term
 286           @{
 287                 @i @Minusterm.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Minusterm)- - Term\n");
 288             @reg @Term.node@->reg = @Minusterm.node@->reg;
 289           @}
 290         ;
 291
 292 Multerm:
 293           '*' Term Multerm
 294           @{
 295                 @i @Multerm.0.exprcount@ = @Term.exprcount@ + @Multerm.1.exprcount@; fprintf(stderr, "(Multerm)- - Term Multerm\n");
 296             @i @Multerm.node@ = new_node(O_MUL, @Multerm.1.node@, @Term.node@, @Multerm.0.exprcount@);
 297                 @i @Multerm.imm@ = @Term.imm@ && @Multerm.1.imm@;
 298
 299             @reg {
 300                         @Multerm.1.node@->reg = @Multerm.node@->reg;
 301                         @Term.node@->reg = next_reg(@Multerm.1.node@->reg, @Multerm.node@->skip, @Multerm.gparamges@);
 302                 }
 303           @}
 304
 305         | '*' Term
 306           @{
 307                 @i @Multerm.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Multerm)- - Term\n");
 308             @reg @Term.node@->reg = @Multerm.node@->reg;
 309           @}
 310         ;
 311
 312 Orterm:
 313           OR Term Orterm
 314           @{
 315                 @i @Orterm.0.exprcount@ = @Term.exprcount@ + @Orterm.1.exprcount@; fprintf(stderr, "(Orterm)- - Term Orterm\n");
 316                 /* TODO */
 317                 /* TODO: imm */
 318             @i @Orterm.node@ = TREENULL;
 319           @}
 320         | OR Term
 321           @{
 322                 @i @Orterm.exprcount@ = @Term.exprcount@; fprintf(stderr, "(Orterm)- - Term\n");
 323                 /* TODO */
 324             @i @Orterm.node@ = TREENULL;
 325           @}
 326
 327         ;
 328
 329 Term:
 330           '(' Expr ')'
 331           @{
 332             @i @Term.node@ = @Expr.node@;
 333                 @i @Term.exprcount@ = 1 + @Expr.exprcount@; fprintf(stderr, "(Term)- ( Expr )\n");
 334           @}
 335
 336         | NUM
 337           @{
 338                 @i @Term.exprcount@ = 0; fprintf(stderr, "(Term)- NUM\n");
 339             @i @Term.node@ = new_number(@NUM.val@, @Term.exprcount@);
 340                 @i @Term.imm@ = 1;
 341           @}
 342
 343         | '-' NUM
 344           @{
 345                 @i @Term.exprcount@ = 0; fprintf(stderr, "(Term)- - NUM\n");
 346             @i @Term.node@ = new_number(-1 * (@NUM.val@), @Term.exprcount@);
 347                 @i @Term.imm@ = 1;
 348           @}
 349
 350         | THIS
 351           @{
 352                 @i @Term.exprcount@ = 0; fprintf(stderr, "(Term)- THIS\n");
 353             @i @Term.node@ = new_param(O_ID, strdup("this"), TREENULL, TREENULL, 0, @Term.exprcount@);
 354                 @i @Term.imm@ = 0;
 355           @}
 356
 357         | IDENT
 358           @{
 359             @c check(@Term.s@, @IDENT.name@, S_VAR|S_PARM);
 360                 @i @Term.exprcount@ = 0; fprintf(stderr, "(Term)- IDENT\n");
 361             @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@);
 362                 @i @Term.imm@ = 0;
 363           @}
 364
 365         | Feld
 366           @{
 367             @i @Term.node@ = TREENULL;
 368                 @i @Term.imm@ = 0;
 369                 /*TODO*/@i @Term.exprcount@ = 0;
 370           @}
 371
 372         | IDENT '(' Exprs ')'
 373           @{
 374             @i @Term.node@ = TREENULL;
 375                 @i @Term.imm@ = 0;
 376                 /*TODO*/@i @Term.exprcount@ = 0;
 377           @}
 378
 379         | Term '.' IDENT '(' Exprs ')'
 380           @{
 381             @i @Term.node@ = TREENULL;
 382                 @i @Term.imm@ = 0;
 383                 /*TODO*/@i @Term.exprcount@ = 0;
 384           @}
 385
 386         ;
 387
 388 Exprs:
 389           Expr ',' Exprs
 390           /* TODO: exprcount uppen */
 391         | Expr
 392         |
 393         ;
 394 %%
 395
 396 extern int yylex();
 397 extern int yylineno;
 398
 399 int yyerror(char *error_text)
 400 {
 401         fprintf(stderr,"Zeile %i: %s\n", yylineno, error_text);
 402         exit(2);
 403 }
 404
 405 int main(int argc, char **argv)
 406 {
 407         #if 0
 408         yydebug=1;
 409         #endif
 410         yyparse();
 411         return 0;
 412 }
 413