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

muss man es nicht in ein temporaerregister legen

diff --git a/codea/code.bfe b/codea/code.bfe
index 5c0b6060b24ed56094ac39da9f4ed818b807ee6a..750f308a518a0af87b48263b89caa29bb436f1d2 100644 (file)
--- a/codea/code.bfe
+++ b/codea/code.bfe
@@ -5,6 +5,7 @@
 #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>
@@ -25,17 +26,20 @@ 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,expr) # 1 # printf("\tsubq %%%s, %%%s\n", KIDR(0), KIDR(1));
-expr: O_SUB(imm,expr) # 2 # printf("\tsubq $%li, %%%s\n", KIDV(0), KIDR(1)); move(KIDR(1), BNR);
-expr: O_SUB(expr,imm) # 3 # moveimm(KIDV(1), BNR); printf("\tsubq %%%s, %%%s\n", KIDR(0), 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,expr) # 1 # printf("\taddq %%%s, %%%s\n", KIDR(1), KIDR(0));
+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(1)-KIDV(0);
+imm: O_SUB(imm,imm) # 0 # BNV = KIDV(0)-KIDV(1);
 imm: O_NUM # 0 #
 
 %%

diff --git a/codea/parser.y b/codea/parser.y
index 2df6af47eb8b9863ac0e070a1babfc88888c7dc2..0ffd8f5b59a5bcef441257ae5a418ffb2589f5e3 100644 (file)
--- a/codea/parser.y
+++ b/codea/parser.y
@@ -186,7 +186,7 @@ Statement:
                statinout()
                xxputsin(@Expr.s@,)
                @i @Statement.node@ = new_node(O_RET, @Expr.node@, TREENULL, @Expr.exprcount@+1); if(@Expr.gparamges@ + @Expr.exprcount@ + 1 > 7) { fprintf(stderr, "RETURN: zu hohe tiefe (gparamges: %i, exprcount: %i, gesamt %i [maximal: 7])\n", @Expr.gparamges@, @Expr.exprcount@+1, @Expr.gparamges@+@Expr.exprcount@+1); }
-               @reg @Statement.node@->reg = next_reg((char *)NULL, 0, @Expr.gparamges@); @Expr.node@->reg = @Statement.node@->reg;
+               @reg @Statement.node@->reg = @Expr.node@->reg = next_reg((char *)NULL, 0, @Expr.gparamges@);
          @}
        ;
 
@@ -223,13 +223,13 @@ Expr:
        | Term Minusterm
          @{
                @i @Expr.exprcount@ = @Term.exprcount@ + @Minusterm.exprcount@; fprintf(stderr, "(Expr)- Term Minusterm\n");
-           @i @Expr.node@ = new_node(O_SUB, @Minusterm.node@, @Term.node@, @Expr.exprcount@);
+           @i @Expr.node@ = new_node(O_SUB, @Term.node@, @Minusterm.node@, @Expr.exprcount@);
                @i @Expr.imm@ = @Term.imm@ && @Minusterm.imm@;
 
                @reg {
                        /* TODO */
                        @Term.node@->reg = @Expr.node@->reg;
-                       @Term.node@->skip = 1;
+                       @Term.node@->skip = 0;
                        @Minusterm.node@->reg = next_reg(@Term.node@->reg, @Expr.node@->skip, @Expr.gparamges@);
                }
          @}