codea: refactor
[uebersetzerbau-ss10.git] / codea / code.bfe
1 %{
2 #define BFEHAX
3
4 #define KID_REG(A) bnode->kids[A]->reg
5 #define KID_VAL(A) bnode->kids[A]->val
6 #define BN_REG bnode->reg
7 #define BN_VAL bnode->val
8 #define KIDREG2PARM(A) if(bnode->kids[A]->param_index > -1) { bnode->kids[A]->reg = param_reg(bnode->kids[A]->param_index); }
9
10 #include <stdio.h>
11 #include <stdlib.h>
12 #include <assert.h>
13 #include "tree.h"
14 #include "chelper.h"
15
16 %}
17
18 %start begin
19 %term O_RET=1 O_NOT=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
20
21 %%
22
23 begin: ret # 0 # printf("\n");
24 ret: O_RET(expr) # 2 # move(BN_REG, "rax"); func_footer();
25
26 expr: O_ID # 1 # if(bnode->param_index > -1) move(param_reg(bnode->param_index), BN_REG);
27 expr: imm # 1 # moveimm(BN_VAL, BN_REG);
28
29 expr: O_SUB(expr,exprno) # 1 # KIDREG2PARM(1); printf("\tsubq %%%s, %%%s\n", KID_REG(1), KID_REG(0));
30 expr: O_SUB(expr,imm) # 2 # printf("\tsubq $%li, %%%s\n", KID_VAL(1), KID_REG(0)); move(KID_REG(0), BN_REG);
31 expr: O_SUB(imm,exprno) # 3 # moveimm(KID_VAL(0), BN_REG); KIDREG2PARM(1); printf("\tsubq %%%s, %%%s\n", KID_REG(1), BN_REG);
32
33 expr: O_ADD(expr,exprno) # 1 # KIDREG2PARM(1); printf("\taddq %%%s, %%%s\n", KID_REG(1), KID_REG(0));
34 expr: O_ADD(imm,expr) # 1 # printf("\taddq $%li, %%%s\n", KID_VAL(1), KID_REG(0)); move(KID_REG(0), BN_REG);
35
36 exprno: O_ID # 0 # /* brauchen wir nicht 'zwischenlagern', weil nur gelesen wird */
37 exprno: expr
38
39
40 imm: O_ADD(imm,imm) # 0 # BN_VAL = KID_VAL(0)+KID_VAL(1);
41 imm: O_SUB(imm,imm) # 0 # BN_VAL = KID_VAL(0)-KID_VAL(1);
42 imm: O_NUM # 0 #
43
44 %%
45
46 /* vim: filetype=c
47  */