codea: bessere registerbelegung. wenn parameter auf der linken seite stehen dann

[uebersetzerbau-ss10.git] / codea / code.bfe

diff --git a/codea/code.bfe b/codea/code.bfe
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..750f308a518a0af87b48263b89caa29bb436f1d2 100644 (file)
--- a/codea/code.bfe
+++ b/codea/code.bfe
@@ -0,0 +1,48 @@
+%{
+#define BFEHAX
+
+#define KIDR(A) bnode->kids[A]->reg
+#define KIDV(A) bnode->kids[A]->val
+#define BNR bnode->reg
+#define BNV bnode->val
+#define KIDPARM(A) if(bnode->kids[A]->param_index > -1) { bnode->kids[A]->reg = param_reg(bnode->kids[A]->param_index); }
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <assert.h>
+#include "tree.h"
+#include "chelper.h"
+
+%}
+
+%start begin
+%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
+
+%%
+
+begin: ret # 0 # printf("\n");
+ret: O_RET(expr) # 2 # move(BNR, "rax"); func_footer();
+
+expr: O_ID # 1 # if(bnode->param_index > -1) move(param_reg(bnode->param_index), BNR);
+expr: imm # 1 # moveimm(BNV, BNR);
+
+expr: O_SUB(expr,exprno) # 1 # KIDPARM(1); printf("\tsubq %%%s, %%%s\n", KIDR(1), KIDR(0));
+expr: O_SUB(expr,imm) # 2 # printf("\tsubq $%li, %%%s\n", KIDV(1), KIDR(0)); move(KIDR(0), BNR);
+expr: O_SUB(imm,exprno) # 3 # moveimm(KIDV(0), BNR); KIDPARM(1); printf("\tsubq %%%s, %%%s\n", KIDR(1), BNR);
+
+expr: O_ADD(expr,exprno) # 1 # KIDPARM(1); printf("\taddq %%%s, %%%s\n", KIDR(1), KIDR(0));
+expr: O_ADD(imm,expr) # 1 # printf("\taddq $%li, %%%s\n", KIDV(1), KIDR(0)); move(KIDR(0), BNR);
+expr: O_ADD(expr,imm) # 1 # printf("\taddq $%li, %%%s\n", KIDV(1), KIDR(0)); move(KIDR(0), BNR);
+
+exprno: O_ID # 0 # /* brauchen wir nicht 'zwischenlagern', weil nur gelesen wird */
+exprno: expr
+
+
+imm: O_ADD(imm,imm) # 0 # BNV = KIDV(0)+KIDV(1);
+imm: O_SUB(imm,imm) # 0 # BNV = KIDV(0)-KIDV(1);
+imm: O_NUM # 0 #
+
+%%
+
+/* vim: filetype=c
+ */