codeb: (opt) unneotige test instrutkionen wegoptimiert

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

diff --git a/codeb/code.bfe b/codeb/code.bfe
index 85223a80173fb370323631f5f9c766b99d6a999e..4b74b122f07d5e06b085d385034465f1335eea58 100644 (file)
--- a/codeb/code.bfe
+++ b/codeb/code.bfe
@@ -175,7 +175,7 @@ void gen_subspecial(struct treenode *bnode, short e)
 %}
 
 %start begin
-%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
+%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
 
 %%
 
@@ -195,11 +195,13 @@ ret: O_RET(retexpr) # 2 # printf("\t//o_ret(expr)\n"); move(BN_REG, "rax"); func
 retexpr: O_ID # 1 # printf("\t//retexpr\n"); if(bnode->param_index > -1) move(param_reg(bnode->param_index), BN_REG);
 retexpr: expr
 
-ifstat: O_IF(O_ID) # 1 # KIDREG2PARM(0); printf("\tmovq %%%s, %%rax\n", KID_REG(0)); /* fuer faelle wie "if bla then" noetig */
-ifstat: O_IF(expr) # 2 # /* iburg beschummeln :/ */
+ifstat: O_IF(O_ID) # 1 # /* fuer faelle wie "if bla then" noetig */ KIDREG2PARM(0); printf("\ttest $-1, %%%s\n", KID_REG(0));
+ifstat: O_IF(expr) # 2 # /* iburg beschummeln :/ */ printf("\ttest $-1, %%rax\n");
+ifstat: O_IF(O_BOOL(expr)) # 1 # /* dann braucht man kein test */
 
 expr: O_ID # 0 #
 expr: imm # 1 # moveimm(BN_VAL, BN_REG);
+expr: O_BOOL(expr) # 0 #
 
 
 expr: O_SUB(expr,expr)          # 2 # gen_e_eno(bnode, "subq");