X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=codea%2Fcode.bfe;h=71508309984d84be3344ba341443eccd1c46b5d6;hb=11dcb148cecc4a97f61a3dac970fd90a7f8585ef;hp=e5677b20c14078702fe9177e5f7d5429c248bf54;hpb=c5f1452ff4545695ac2524ae51dfbd8ff0e2ca4a;p=uebersetzerbau-ss10.git diff --git a/codea/code.bfe b/codea/code.bfe index e5677b2..7150830 100644 --- a/codea/code.bfe +++ b/codea/code.bfe @@ -1,21 +1,28 @@ %{ #define BFEHAX +/* macros zum registerzugriff bei kinder */ #define KID_REG(A) bnode->kids[A]->reg #define KIDKID_REG(A,B) bnode->kids[A]->kids[B]->reg #define KIDKIDKID_REG(A,B,C) bnode->kids[A]->kids[B]->kids[C]->reg + +/* macros zum wertezugriff bei kindern */ #define KID_VAL(A) bnode->kids[A]->val #define KIDKID_VAL(A,B) bnode->kids[A]->kids[B]->val #define KIDKIDKID_VAL(A,B,C) bnode->kids[A]->kids[B]->kids[C]->val + +/* macros zum zugriff des aktuellen knotens */ #define BN_REG bnode->reg #define BN_VAL bnode->val -/* falls ein parameter auf der "leseseite" ist, soll das statt ein weiteres - * register verwendet werden */ +/* wenn sich ein parameter auf der "leseseite" (also links bei at&t syntax) + * befindet, dann soll dieses register verwendet werden */ #define KIDREG2PARM(A) if(bnode->kids[A]->param_index > -1) { bnode->kids[A]->reg = param_reg(bnode->kids[A]->param_index); } #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); } #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); } +/* wenn sich ein parameter auf der "schreibeseite" befindet (also rechts bei + * at&t syntax), dann muss es vorher in ein temporaeres register gemovt werden */ #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); #include @@ -32,6 +39,14 @@ void gen_e_eno(struct treenode *bnode, char *instr) printf("\t%s %%%s, %%%s\n", instr, KID_REG(1), KID_REG(0)); } +void gen_id_eno(struct treenode *bnode) +{ + printf("\t//gen_id_eno\n"); + KIDKIDREG2PARM(1,0); + printf("\taddq %%%s, %%%s\n", KIDKID_REG(1,0), KIDKID_REG(1,1)); + printf("\tsubq %%%s, %%%s\n", KIDKID_REG(1,1), BN_REG); +} + void gen_e_field(struct treenode *bnode, char *instr) { printf("\t//gen_e_field(%s)\n", instr); @@ -45,12 +60,7 @@ void gen_field_imm(struct treenode *bnode) printf("\t//gen_field_imm\n"); KIDKIDREG2PARM(0,0); KIDREG2ID(1); - - if(KID_VAL(1) == 1 && strcmp(KID_REG(0), BN_REG) == 0) { - printf("\t//multiplikation mit 1 wegoptimiert\n"); - } else { - printf("\timulq $%d, %d(%%%s), %%%s\n", KID_VAL(1), bnode->kids[0]->soffset * 8, KIDKID_REG(0, 0), BN_REG); - } + printf("\timulq $%d, %d(%%%s), %%%s\n", KID_VAL(1), bnode->kids[0]->soffset * 8, KIDKID_REG(0, 0), BN_REG); } void gen_e_imm(struct treenode *bnode, char *instr) @@ -98,11 +108,8 @@ void gen_imm_eno(struct treenode *bnode, char *instr) } else { printf("\timulq $%d, %%%s, %%%s\n", KID_VAL(0), KID_REG(1), BN_REG); } - } else if(strcmp(instr, "addq") == 0) { + } else { /* addq */ printf("\taddq $%d, %%%s\n", KID_VAL(0), BN_REG); - } else { /* subq */ - moveimm(KID_VAL(0), BN_REG); - printf("\t%s %%%s, %%%s\n", instr, KID_REG(1), BN_REG); } } @@ -181,56 +188,64 @@ retexpr: expr expr: O_ID # 0 # expr: imm # 1 # moveimm(BN_VAL, BN_REG); -expr: O_SUB(expr,expr) # 1 # gen_e_eno(bnode, "subq"); + +expr: O_SUB(expr,expr) # 2 # gen_e_eno(bnode, "subq"); expr: O_SUB(expr,O_FIELD(expr)) # 2 # gen_e_field(bnode, "subq"); -expr: O_SUB(expr,imm) # 2 # gen_e_imm(bnode, "subq"); -expr: O_SUB(imm,expr) # 2 # gen_imm_eno(bnode, "subq"); -expr: O_SUB(imm,O_FIELD(expr)) # 2 # gen_imm_field(bnode); +expr: O_SUB(expr,imm) # 1 # gen_e_imm(bnode, "subq"); expr: O_SUB(expr,O_SUB(O_ID,expr)) # 2 # gen_subspecial(bnode, 0); -expr: O_SUB(expr,O_SUB(imm,expr)) # 2 # gen_subspecial(bnode, 1); +expr: O_SUB(expr,O_SUB(imm,expr)) # 2 # gen_subspecial(bnode, 1); + +expr: O_SUB(expr, O_ADD(O_ID,expr)) # 1 # gen_id_eno(bnode); -expr: O_SUB(expr,O_MUL(O_MONE,expr)) # 1 # gen_lea(bnode,0); -expr: O_SUB(expr,O_MUL(O_MTWO,expr)) # 1 # gen_lea(bnode,0); -expr: O_SUB(expr,O_MUL(O_MFOUR,expr)) # 1 # gen_lea(bnode,0); +expr: O_SUB(expr,O_MUL(O_MONE,expr)) # 1 # gen_lea(bnode,0); +expr: O_SUB(expr,O_MUL(O_MTWO,expr)) # 1 # gen_lea(bnode,0); +expr: O_SUB(expr,O_MUL(O_MFOUR,expr)) # 1 # gen_lea(bnode,0); expr: O_SUB(expr,O_MUL(O_MEIGHT,expr)) # 1 # gen_lea(bnode,0); -expr: O_SUB(expr,O_MUL(expr,O_MONE)) # 1 # gen_lea(bnode,1); -expr: O_SUB(expr,O_MUL(expr,O_MTWO)) # 1 # gen_lea(bnode,1); -expr: O_SUB(expr,O_MUL(expr,O_MFOUR)) # 1 # gen_lea(bnode,1); +expr: O_SUB(expr,O_MUL(expr,O_MONE)) # 1 # gen_lea(bnode,1); +expr: O_SUB(expr,O_MUL(expr,O_MTWO)) # 1 # gen_lea(bnode,1); +expr: O_SUB(expr,O_MUL(expr,O_MFOUR)) # 1 # gen_lea(bnode,1); expr: O_SUB(expr,O_MUL(expr,O_MEIGHT)) # 1 # gen_lea(bnode,1); -expr: O_ADD(expr,expr) # 1 # gen_e_eno(bnode, "addq"); -expr: O_ADD(expr,O_FIELD(expr)) # 2 # gen_e_field(bnode, "addq"); + +expr: O_ADD(expr,expr) # 1 # gen_e_eno(bnode, "addq"); expr: O_ADD(expr,imm) # 2 # gen_e_imm(bnode, "addq"); -expr: O_ADD(imm,expr) # 2 # gen_imm_eno(bnode, "addq"); +expr: O_ADD(imm,expr) # 1 # gen_imm_eno(bnode, "addq"); + +expr: O_ADD(expr,O_FIELD(expr)) # 2 # gen_e_field(bnode, "addq"); + -expr: O_MUL(expr,expr) # 1 # gen_e_eno(bnode, "imulq"); -expr: O_MUL(expr,O_FIELD(expr)) # 2 # gen_e_field(bnode, "imulq"); +expr: O_MUL(expr,expr) # 1 # gen_e_eno(bnode, "imulq"); expr: O_MUL(expr,imm) # 1 # gen_e_imm(bnode, "imulq"); +expr: O_MUL(imm,expr) # 1 # gen_imm_eno(bnode, "imulq"); + +expr: O_MUL(expr,O_FIELD(expr)) # 1 # gen_e_field(bnode, "imulq"); expr: O_MUL(O_FIELD(expr),imm) # 1 # gen_field_imm(bnode); -expr: O_MUL(imm,expr) # 1 # gen_imm_eno(bnode, "imulq"); -expr: O_OR(expr,expr) # 1 # gen_e_eno(bnode, "orq"); -expr: O_OR(expr,imm) # 2 # gen_e_imm(bnode, "orq"); +expr: O_OR(expr,expr) # 1 # gen_e_eno(bnode, "orq"); +expr: O_OR(expr,imm) # 2 # gen_e_imm(bnode, "orq"); expr: O_OR(expr,O_FIELD(expr)) # 2 # gen_e_field(bnode, "orq"); -expr: O_LESS(expr,expr) # 3 # gen_eqless(bnode, "l", 1, 1, 0); + +expr: O_LESS(expr,expr) # 3 # gen_eqless(bnode, "l", 1, 1, 0); expr: O_LESS(expr,O_FIELD(expr)) # 3 # gen_eqless(bnode, "l", 1, 1, 1); -expr: O_LESS(expr,imm) # 3 # gen_eqless(bnode, "l", 1, 0, 0); -expr: O_LESS(imm,expr) # 3 # gen_eqless(bnode, "g", 0, 1, 0); +expr: O_LESS(expr,imm) # 3 # gen_eqless(bnode, "l", 1, 0, 0); +expr: O_LESS(imm,expr) # 3 # gen_eqless(bnode, "g", 0, 1, 0); + -expr: O_EQ(expr,expr) # 3 # gen_eqless(bnode, "e", 1, 1, 0); +expr: O_EQ(expr,expr) # 3 # gen_eqless(bnode, "e", 1, 1, 0); expr: O_EQ(expr,O_FIELD(expr)) # 3 # gen_eqless(bnode, "e", 1, 1, 1); -expr: O_EQ(expr,imm) # 3 # gen_eqless(bnode, "e", 1, 0, 0); -expr: O_EQ(imm,expr) # 3 # gen_eqless(bnode, "e", 0, 1, 0); -expr: O_EQ(expr,O_NULL) # 3 # gen_eqless(bnode, "e", 1, 0, 0); +expr: O_EQ(expr,imm) # 3 # gen_eqless(bnode, "e", 1, 0, 0); +expr: O_EQ(imm,expr) # 3 # gen_eqless(bnode, "e", 0, 1, 0); +expr: O_EQ(expr,O_NULL) # 3 # gen_eqless(bnode, "e", 1, 0, 0); + expr: O_EQ(O_EQ(expr,O_NULL),O_NULL) # 3 # gen_eqless(bnode, "ne", 1, 0, 1); expr: O_EQ(O_EQ(O_EQ(expr,O_NULL),O_NULL),O_NULL) # 3 # gen_eqless(bnode, "e", 1, 0, 2); -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); -expr: O_FIELD(imm) # 1 # printf("\t//field(imm)\n"); printf("\tmovq %d, %%%s\n", KID_VAL(0) + (bnode->soffset * 8), BN_REG); +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); +expr: O_FIELD(imm) # 1 # printf("\t//field(imm)\n"); printf("\tmovq %d, %%%s\n", KID_VAL(0) + (bnode->soffset * 8), BN_REG); imm: O_ADD(imm,imm) # 0 # BN_VAL = KID_VAL(0) + KID_VAL(1);