gesamt/code.bfe

   1 %{
   2 #define BFEHAX
   3
   4 /* macros zum registerzugriff bei kinder */
   5 #define KID_REG(A) bnode->kids[A]->reg
   6 #define KIDKID_REG(A,B) bnode->kids[A]->kids[B]->reg
   7 #define KIDKIDKID_REG(A,B,C) bnode->kids[A]->kids[B]->kids[C]->reg
   8
   9 /* macros zum wertezugriff bei kindern */
  10 #define KID_VAL(A) bnode->kids[A]->val
  11 #define KIDKID_VAL(A,B) bnode->kids[A]->kids[B]->val
  12 #define KIDKIDKID_VAL(A,B,C) bnode->kids[A]->kids[B]->kids[C]->val
  13
  14 /* macros zum zugriff des aktuellen knotens */
  15 #define BN_REG bnode->reg
  16 #define BN_VAL bnode->val
  17
  18 /* wenn sich ein parameter auf der "leseseite" (also links bei at&t syntax)
  19  * befindet, dann soll dieses register verwendet werden */
  20 #define KIDREG2PARM(A) if(bnode->kids[A]->param_index > -1) { bnode->kids[A]->reg = param_reg(bnode->kids[A]->param_index); }
  21 #define KIDKIDREG2PARM(A,B) if(bnode->kids[A]->kids[B]->param_index > -1) { bnode->kids[A]->kids[B]->reg = param_reg(bnode->kids[A]->kids[B]->param_index); }
  22 #define KIDKIDKIDREG2PARM(A,B,C) if(bnode->kids[A]->kids[B]->kids[C]->param_index > -1) { bnode->kids[A]->kids[B]->kids[C]->reg = param_reg(bnode->kids[A]->kids[B]->kids[C]->param_index); }
  23
  24 /* wenn sich ein parameter auf der "schreibeseite" befindet (also rechts bei
  25  * at&t syntax), dann muss es vorher in ein temporaeres register gemovt werden */
  26 #define KIDREG2ID(A) if(bnode->kids[A]->op == O_ID && bnode->kids[A]->param_index > -1) move(param_reg(bnode->kids[A]->param_index), bnode->kids[A]->reg);
  27
  28 #include <stdio.h>
  29 #include <stdlib.h>
  30 #include <assert.h>
  31 #include "tree.h"
  32 #include "chelper.h"
  33
  34 void gen_e_eno(struct treenode *bnode, char *instr)
  35 {
  36         printf("\t//gen_e_eno(%s)\n", instr);
  37         KIDREG2ID(0);
  38         KIDREG2PARM(1);
  39         printf("\t%s %%%s, %%%s\n", instr, KID_REG(1), KID_REG(0));
  40 }
  41
  42 void gen_id_eno(struct treenode *bnode)
  43 {
  44         printf("\t//gen_id_eno\n");
  45         KIDKIDREG2PARM(1,0);
  46         KIDKIDREG2PARM(1,1);
  47         KIDREG2PARM(0);
  48         move(KID_REG(0), BN_REG);
  49         printf("\tsubq %%%s, %%%s\n", KIDKID_REG(1,1), BN_REG);
  50         printf("\tsubq %%%s, %%%s\n", KIDKID_REG(1,0), BN_REG);
  51 }
  52
  53 void gen_e_field(struct treenode *bnode, char *instr)
  54 {
  55         printf("\t//gen_e_field(%s)\n", instr);
  56         KIDREG2ID(0);
  57         KIDKIDREG2PARM(1,0);
  58         printf("\t%s %d(%%%s), %%%s\n", instr, bnode->kids[1]->soffset * 8, KIDKID_REG(1,0), KID_REG(0));
  59 }
  60
  61 void gen_field_imm(struct treenode *bnode)
  62 {
  63         printf("\t//gen_field_imm\n");
  64         KIDKIDREG2PARM(0,0);
  65         KIDREG2ID(1);
  66         printf("\timulq $%d, %d(%%%s), %%%s\n", KID_VAL(1), bnode->kids[0]->soffset * 8, KIDKID_REG(0, 0), BN_REG);
  67 }
  68
  69 void gen_e_imm(struct treenode *bnode, char *instr)
  70 {
  71         printf("\t//gen_e_imm(%s)\n", instr);
  72         KIDREG2PARM(0);
  73         KIDREG2ID(1);
  74         /* man kann sich ein move der konstante bei der multiplikation ersparen */
  75         if(strcmp(instr, "imulq") == 0) {
  76                 if(KID_VAL(1) == 1 && strcmp(KID_REG(0), BN_REG) == 0) {
  77                         printf("\t//multiplikation mit 1 wegoptimiert\n");
  78                 } else {
  79                         printf("\timulq $%d, %%%s, %%%s\n", KID_VAL(1), KID_REG(0), BN_REG);
  80                 }
  81         } else {
  82                 if(strcmp(instr, "subq") == 0 && KID_VAL(1) == 0) {
  83                         printf("\t//subtraktion mit 0 wegoptimiert\n");
  84                         move(KID_REG(0), BN_REG);
  85                 } else {
  86                         move(KID_REG(0), BN_REG);
  87                         printf("\t%s $%d, %%%s\n", instr, KID_VAL(1), BN_REG);
  88                 }
  89         }
  90 }
  91
  92 void gen_imm_field(struct treenode *bnode)
  93 {
  94         printf("\t//gen_imm_field\n");
  95         KIDREG2ID(0);
  96         KIDKIDREG2PARM(1, 0);
  97
  98         moveimm(KID_VAL(0), BN_REG);
  99         printf("\tsubq %d(%%%s), %%%s\n", bnode->kids[1]->soffset * 8, KIDKID_REG(1, 0), BN_REG);
 100 }
 101
 102 void gen_imm_eno(struct treenode *bnode, char *instr)
 103 {
 104         printf("\t//gen_imm_eno(%s)\n", instr);
 105         KIDREG2ID(0);
 106         KIDREG2PARM(1);
 107         /* man kann sich ein move der konstante bei der multiplikation ersparen */
 108         if(strcmp(instr, "imulq") == 0) {
 109                 if(KID_VAL(0) == 1 && strcmp(KID_REG(1), BN_REG) == 0) {
 110                         printf("\t//multiplikation mit 1 wegoptimiert\n");
 111                 } else {
 112                         printf("\timulq $%d, %%%s, %%%s\n", KID_VAL(0), KID_REG(1), BN_REG);
 113                 }
 114         } else { /* addq */
 115                 printf("\taddq $%d, %%%s\n", KID_VAL(0), BN_REG);
 116         }
 117 }
 118
 119 void gen_eqless(struct treenode *bnode, char *op, short e0, short e1, short deep)
 120 {
 121         printf("\t//gen_eqless_%i%i @ %i\n", e0, e1, deep);
 122         if(e0) { KIDREG2PARM(0); } else { KIDREG2ID(0); }
 123         if(e1) { KIDREG2PARM(1); } else { KIDREG2ID(1); }
 124
 125         if(e0 && e1) {
 126                 if(deep) {
 127                         KIDKIDREG2PARM(1,0);
 128                         printf("\tcmp %d(%%%s), %%%s\n", bnode->kids[1]->soffset *8, KIDKID_REG(1,0), KID_REG(0));
 129                 } else {
 130                         printf("\tcmp %%%s, %%%s\n", KID_REG(1), KID_REG(0));
 131                 }
 132         } else if(e0 && !e1) {
 133                 if (deep == 0) {
 134                         printf("\tcmp $%d, %%%s\n", KID_VAL(1), KID_REG(0));
 135                 } else if (deep == 1) {
 136                         KIDKIDREG2PARM(0,0);
 137                         printf("\tcmp $%d, %%%s\n", KID_VAL(1), KIDKID_REG(0,0));
 138                 } else if (deep == 2) {
 139                         KIDKIDKIDREG2PARM(0,0,0);
 140                         printf("\tcmp $%d, %%%s\n", KID_VAL(1), KIDKIDKID_REG(0,0,0));
 141                 }
 142         } else if(!e0 && e1) {
 143                         printf("\tcmp $%d, %%%s\n", KID_VAL(0), KID_REG(1));
 144         }
 145         printf("\tset%s %%%s\n", op, reg_64to8l(BN_REG));
 146         printf("\tand $1, %%%s\n", BN_REG);
 147 }
 148
 149 void gen_lea(struct treenode *bnode, short e)
 150 {
 151         printf("\t//gen_lea(e= %i)\n", e);
 152         KIDREG2PARM(0);
 153         if(e) {
 154                 KIDKIDREG2PARM(1,0);
 155                 printf("\tlea (%%%s,%%%s,%d), %%%s\n", KID_REG(0), KIDKID_REG(1,0), -1 * KIDKID_VAL(1,1), BN_REG);
 156         } else {
 157                 KIDKIDREG2PARM(1,1);
 158                 printf("\tlea (%%%s,%%%s,%d), %%%s\n", KID_REG(0), KIDKID_REG(1,1), -1 * KIDKID_VAL(1,0), BN_REG);
 159         }
 160 }
 161
 162 void gen_subspecial(struct treenode *bnode, short e)
 163 {
 164         /* tritt z.b. bei snafu_05.0 auf */
 165         printf("\t//gen_subspecial(%i)\n", e);
 166         KIDREG2ID(0);
 167         KIDKIDREG2PARM(1,0);
 168
 169         if(e) {
 170                 if(KIDKID_VAL(1,0) != 0) {
 171                         printf("\tsubq $%d, %%%s\n", KIDKID_VAL(1,0), BN_REG);
 172                 }
 173         } else {
 174                 printf("\tsubq %%%s, %%%s\n", KIDKID_REG(1,0), BN_REG);
 175         }
 176         if(e) KIDKIDREG2PARM(1,1);
 177         printf("\taddq %%%s, %%%s\n", KIDKID_REG(1,1), BN_REG);
 178 }
 179
 180 void assign_var(struct treenode *bnode)
 181 {
 182         KIDREG2PARM(1);
 183         if (strcmp(bnode->kids[0]->kids[0]->name, bnode->kids[1]->name) != 0) {
 184                 KIDKIDREG2PARM(0,0);
 185                 printf("\tmov %%%s, %%%s\n", KIDKID_REG(0,0), KID_REG(1));
 186         } /*else:  x := x - 1 geht in einem befehl */
 187         printf("\tsub $%d, %%%s\n", KIDKID_VAL(0,1), KID_REG(1));
 188 }
 189
 190 /* dirty...*/
 191 static short xchg_param[7] = {0};
 192 void make_call(struct treenode *bnode)
 193 {
 194         int j;
 195         printf("\t//params pushen\n");
 196         for(j = 0; j < bnode->soffset; j++) {
 197                 if(xchg_param[j] == 1)
 198                         printf("\txchg %%%s, %d(%%rsp)\n", param_reg(j), j*8);
 199         }
 200         printf("\t//vars pushen\n");
 201         for(j = 6; j > 6 - bnode->vars; j--) {
 202                 printf("\tpushq %%%s\n", param_reg(j));
 203         }
 204
 205         /* TODO: schoener machen... */
 206         if(strcmp(BN_REG, "rax")!=0) {
 207                 printf("\t//tmp register pushen\n");
 208                 printf("\tpushq %%rax\n");
 209                 if(strcmp(BN_REG, "r10")!=0) {
 210                         printf("\tpushq %%r10\n");
 211                 }
 212         }
 213         printf("\tcall %s\n", bnode->name);
 214         if(strcmp(BN_REG, "rax")!=0) {
 215                 move("rax", BN_REG);
 216                 if(strcmp(BN_REG, "r10")!=0) {
 217                         printf("\tpopq %%r10\n");
 218                 }
 219                 printf("\tpopq %%rax\n");
 220         }
 221
 222         /* vars poppen */
 223         for(j = 7 - bnode->vars; j < 7; j++) {
 224                 printf("\tpopq %%%s\n", param_reg(j));
 225         }
 226
 227         /* params poppen */
 228         for(j = 0; j < bnode->soffset; j++) {
 229                 printf("\tpopq %%%s\n", param_reg(j));
 230         }
 231 }
 232
 233 void prep_arg(struct treenode *bnode, int moveit)
 234 {
 235         printf("\t//args-nr-> %i (%%%s) [moveit= %i]\n", bnode->soffset, param_reg(bnode->soffset), moveit);
 236         xchg_param[bnode->soffset] = 1;
 237         if(moveit) { /* expr */
 238                 if((BN_REG == (char *) NULL) || (bnode->kids[1] != TREENULL && bnode->kids[1]->op == O_ID && bnode->kids[1]->kids[0] == TREENULL && bnode->kids[1]->kids[1] == TREENULL)) {
 239                         if(bnode->kids[1]->name != (char *) NULL && strcmp(bnode->kids[1]->name,"this")!=0) {
 240                                 KIDREG2PARM(1);
 241                                 printf("\tpushq %%%s\n", KID_REG(1));
 242                         } else {
 243                                 printf("\tpushq %%%s\n", param_reg(bnode->soffset));
 244                                 xchg_param[bnode->soffset] = 0;
 245                         }
 246                 } else {
 247                         printf("\tpushq %%%s\n", BN_REG);
 248                 }
 249         } else { /* just O_ID */
 250                 KIDREG2PARM(0);
 251                 printf("\tpushq %%%s\n", KID_REG(0));
 252                 if(strcmp(KID_REG(0), param_reg(bnode->soffset)) == 0) {
 253                         xchg_param[bnode->soffset] = 0;
 254                 }
 255         }
 256 }
 257
 258 %}
 259
 260 %start begin
 261 %term O_RET=1 O_NULL=2 O_SUB=3 O_MUL=4 O_OR=5 O_LESS=6 O_EQ=7 O_ID=8 O_ADD=9 O_NUM=10 O_FIELD=11 O_MTWO=12 O_MFOUR=13 O_MEIGHT=14 O_MONE=15 O_ASSIGN=16 O_IF=17 O_BOOL=18 O_CALL=19 O_ARG=20 O_NOTHING=21 O_EXPR=22
 262
 263 %%
 264
 265 begin: ret # 0 # printf("\n");
 266 begin: assign # 0 #
 267 begin: ifstat # 0 #
 268 begin: args # 0 #
 269
 270
 271 assign: O_ASSIGN(expr, O_ID) # 1 # KIDREG2PARM(1); printf("\tmovq %%%s, %%%s\n", BN_REG, KID_REG(1));
 272 assign: O_ASSIGN(imm, O_ID) # 1 # KIDREG2PARM(1); printf("\tmovq $%d, %%%s\n", KID_VAL(0), KID_REG(1));
 273 assign: O_ASSIGN(O_ID, O_ID) # 1 # KIDREG2PARM(1); KIDREG2PARM(0); printf("\tmovq %%%s, %%%s\n", KID_REG(0), KID_REG(1));
 274
 275 assign: O_ASSIGN(O_SUB(O_ID,O_NUM), O_ID) # 1 # assign_var(bnode);
 276
 277 assign: O_ASSIGN(expr, O_FIELD(expr)) # 1 # KIDKIDREG2PARM(1,0); printf("\tmovq %%%s, %d(%%%s)\n", BN_REG, bnode->kids[1]->soffset * 8, KIDKID_REG(1,0));
 278 assign: O_ASSIGN(O_ID, O_FIELD(expr)) # 1 # KIDREG2PARM(0); KIDKIDREG2PARM(1,0); printf("\tmovq %%%s, %d(%%%s)\n", KID_REG(0), bnode->kids[1]->soffset * 8, KIDKID_REG(1,0));
 279
 280
 281 ifstat: O_IF(O_ID) # 1 # /* fuer faelle wie "if bla then" noetig */ KIDREG2PARM(0); printf("\ttest $-1, %%%s\n", KID_REG(0));
 282 ifstat: O_IF(expr) # 2 # /* iburg beschummeln :/ */ printf("\ttest $-1, %%rax\n");
 283 ifstat: O_IF(O_BOOL(expr)) # 1 # /* dann braucht man kein test */
 284
 285
 286 ret: O_RET(retexpr) # 2 # printf("\t//o_ret(expr)\n"); move(BN_REG, "rax");
 287 ret: O_EXPR(expr) # 0 #
 288
 289 retexpr: O_ID # 1 # printf("\t//retexpr\n"); if(bnode->param_index > -1) move(param_reg(bnode->param_index), BN_REG);
 290 retexpr: expr
 291
 292
 293 expr: O_ID # 0 #
 294 expr: imm # 1 # moveimm(BN_VAL, BN_REG);
 295 expr: O_BOOL(expr) # 0 #
 296
 297 expr: O_CALL(expr) # 0 # make_call(bnode);
 298 expr: O_ARG(expr,expr) # 1 # prep_arg(bnode, 1);
 299 expr: O_ARG(O_ID,expr) # 1 # prep_arg(bnode, 0);
 300 expr: O_NOTHING # 0 #
 301
 302 expr: O_SUB(expr,expr)          # 2 # gen_e_eno(bnode, "subq");
 303 expr: O_SUB(expr,O_FIELD(expr)) # 2 # gen_e_field(bnode, "subq");
 304 expr: O_SUB(expr,imm)           # 1 # gen_e_imm(bnode, "subq");
 305
 306 expr: O_SUB(expr,O_SUB(O_ID,expr)) # 2 # gen_subspecial(bnode, 0);
 307 expr: O_SUB(expr,O_SUB(imm,expr))  # 2 # gen_subspecial(bnode, 1);
 308
 309 expr: O_SUB(expr, O_ADD(O_ID,expr))    # 1 # gen_id_eno(bnode);
 310
 311 expr: O_SUB(expr,O_MUL(O_MONE,expr))   # 1 # gen_lea(bnode,0);
 312 expr: O_SUB(expr,O_MUL(O_MTWO,expr))   # 1 # gen_lea(bnode,0);
 313 expr: O_SUB(expr,O_MUL(O_MFOUR,expr))  # 1 # gen_lea(bnode,0);
 314 expr: O_SUB(expr,O_MUL(O_MEIGHT,expr)) # 1 # gen_lea(bnode,0);
 315
 316 expr: O_SUB(expr,O_MUL(expr,O_MONE))   # 1 # gen_lea(bnode,1);
 317 expr: O_SUB(expr,O_MUL(expr,O_MTWO))   # 1 # gen_lea(bnode,1);
 318 expr: O_SUB(expr,O_MUL(expr,O_MFOUR))  # 1 # gen_lea(bnode,1);
 319 expr: O_SUB(expr,O_MUL(expr,O_MEIGHT)) # 1 # gen_lea(bnode,1);
 320
 321
 322 expr: O_ADD(expr,expr)   # 1 # gen_e_eno(bnode, "addq");
 323 expr: O_ADD(expr,imm)    # 2 # gen_e_imm(bnode, "addq");
 324 expr: O_ADD(imm,expr)    # 1 # gen_imm_eno(bnode, "addq");
 325
 326 expr: O_ADD(expr,O_FIELD(expr)) # 2 # gen_e_field(bnode, "addq");
 327
 328
 329 expr: O_MUL(expr,expr)   # 1 # gen_e_eno(bnode, "imulq");
 330 expr: O_MUL(expr,imm)    # 1 # gen_e_imm(bnode, "imulq");
 331 expr: O_MUL(imm,expr)    # 1 # gen_imm_eno(bnode, "imulq");
 332
 333 expr: O_MUL(expr,O_FIELD(expr)) # 1 # gen_e_field(bnode, "imulq");
 334 expr: O_MUL(O_FIELD(expr),imm)  # 1 # gen_field_imm(bnode);
 335
 336 expr: O_OR(expr,expr)          # 1 # gen_e_eno(bnode, "orq");
 337 expr: O_OR(expr,imm)           # 2 # gen_e_imm(bnode, "orq");
 338 expr: O_OR(expr,O_FIELD(expr)) # 2 # gen_e_field(bnode, "orq");
 339
 340
 341 expr: O_LESS(expr,expr)          # 3 # gen_eqless(bnode, "l", 1, 1, 0);
 342 expr: O_LESS(expr,O_FIELD(expr)) # 3 # gen_eqless(bnode, "l", 1, 1, 1);
 343 expr: O_LESS(expr,imm)           # 3 # gen_eqless(bnode, "l", 1, 0, 0);
 344 expr: O_LESS(imm,expr)           # 3 # gen_eqless(bnode, "g", 0, 1, 0);
 345
 346
 347 expr: O_EQ(expr,expr)          # 3 # gen_eqless(bnode, "e", 1, 1, 0);
 348 expr: O_EQ(expr,O_FIELD(expr)) # 3 # gen_eqless(bnode, "e", 1, 1, 1);
 349 expr: O_EQ(expr,imm)           # 3 # gen_eqless(bnode, "e", 1, 0, 0);
 350 expr: O_EQ(imm,expr)           # 3 # gen_eqless(bnode, "e", 0, 1, 0);
 351 expr: O_EQ(expr,O_NULL)        # 3 # gen_eqless(bnode, "e", 1, 0, 0);
 352
 353 expr: O_EQ(O_EQ(expr,O_NULL),O_NULL)  # 3 # gen_eqless(bnode, "ne", 1, 0, 1);
 354 expr: O_EQ(O_EQ(O_EQ(expr,O_NULL),O_NULL),O_NULL) # 3 # gen_eqless(bnode, "e", 1, 0, 2);
 355
 356
 357 expr: O_FIELD(expr) # 1 # printf("\t//field(expr)\n"); KIDREG2PARM(0); printf("\tmovq %d(%%%s), %%%s\n", bnode->soffset * 8, KID_REG(0), BN_REG);
 358 expr: O_FIELD(imm)  # 1 # printf("\t//field(imm)\n"); printf("\tmovq %d, %%%s\n", KID_VAL(0) + (bnode->soffset * 8), BN_REG);
 359
 360
 361 imm: O_ADD(imm,imm)  # 0 # BN_VAL = KID_VAL(0) + KID_VAL(1);
 362 imm: O_SUB(imm,imm)  # 0 # BN_VAL = KID_VAL(0) - KID_VAL(1);
 363 imm: O_MUL(imm,imm)  # 0 # BN_VAL = KID_VAL(0) * KID_VAL(1);
 364 imm: O_LESS(imm,imm) # 0 # BN_VAL = KID_VAL(0) < KID_VAL(1) ? 1 : 0;
 365 imm: O_EQ(imm,imm)   # 0 # BN_VAL = KID_VAL(0) == KID_VAL(1) ? 1 : 0;
 366 imm: O_OR(imm,imm)   # 0 # BN_VAL = KID_VAL(0) | KID_VAL(1);
 367 imm: O_NUM # 0 #
 368 imm: O_MONE # 0 #
 369 imm: O_MTWO # 0 #
 370 imm: O_MFOUR # 0 #
 371 imm: O_MEIGHT # 0 #
 372 imm: O_NULL # 0 #
 373
 374 %%
 375
 376 /* vim: filetype=c
 377  */