codeb: (opt) unneotige test instrutkionen wegoptimiert

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

diff --git a/codeb/code.bfe b/codeb/code.bfe
index e36c0d2303f40f72cf3e4c9ded52dd31d9e85734..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
 
 %%
 
@@ -197,9 +197,11 @@ retexpr: expr
 
 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");