d0p1/ack
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

try to move side effects as much as possible to the left of the

Browse source 
expression tree, to avoid stacking. This is not good enough yet!
This commit is contained in:
ceriel 1989-02-22 16:16:08 +00:00
parent 4fd066bb54
commit b1626ca895
1 changed files with 20 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
lang/cem/cemcom/ch7bin.c
View file

@ -108,6 +108,9 @@ ch7bin(expp, oper, expr)
case TIMESAB: case TIMESAB:
arithbalance(expp, oper, &expr); arithbalance(expp, oper, &expr);
non_commutative_binop(expp, oper, expr); non_commutative_binop(expp, oper, expr);
if (oper != '/' && oper != '%') {
(*expp)->ex_flags |= EX_SIDEEFFECTS;
}
break; break;
case '&': case '&':
@ -144,6 +147,9 @@ ch7bin(expp, oper, expr)
else else
non_commutative_binop(expp, oper, expr); non_commutative_binop(expp, oper, expr);
} }
if (oper != '+') {
(*expp)->ex_flags |= EX_SIDEEFFECTS;
}
break; break;
case '-': case '-':
@ -162,6 +168,9 @@ ch7bin(expp, oper, expr)
arithbalance(expp, oper, &expr); arithbalance(expp, oper, &expr);
non_commutative_binop(expp, oper, expr); non_commutative_binop(expp, oper, expr);
} }
if (oper != '-') {
(*expp)->ex_flags |= EX_SIDEEFFECTS;
}
break; break;
case LEFT: case LEFT:
@ -173,6 +182,9 @@ ch7bin(expp, oper, expr)
arithbalance(expp, oper, &expr); /* ch. 7.5 */ arithbalance(expp, oper, &expr); /* ch. 7.5 */
ch7cast(&expr, oper, int_type); /* cvt. rightop to int */ ch7cast(&expr, oper, int_type); /* cvt. rightop to int */
non_commutative_binop(expp, oper, expr); non_commutative_binop(expp, oper, expr);
if (oper != LEFT && oper != RIGHT) {
(*expp)->ex_flags |= EX_SIDEEFFECTS;
}
break; break;
case '<': case '<':
@ -182,7 +194,10 @@ ch7bin(expp, oper, expr)
case EQUAL: case EQUAL:
case NOTEQUAL: case NOTEQUAL:
relbalance(expp, oper, &expr); relbalance(expp, oper, &expr);
non_commutative_binop(expp, oper, expr); if (oper == EQUAL || oper == NOTEQUAL) {
commutative_binop(expp, oper, expr);
}
else non_commutative_binop(expp, oper, expr);
(*expp)->ex_type = int_type; (*expp)->ex_type = int_type;
break; break;
@ -311,7 +326,10 @@ mk_binop(expp, oper, expr, commutative)
if (is_cp_cst(expr) && is_cp_cst(ex)) if (is_cp_cst(expr) && is_cp_cst(ex))
cstbin(expp, oper, expr); cstbin(expp, oper, expr);
else { else {
*expp = (commutative && expr->ex_depth >= ex->ex_depth) ? *expp = (commutative &&
( expr->ex_depth > ex->ex_depth ||
(expr->ex_flags & EX_SIDEEFFECTS) ||
is_cp_cst(ex))) ?
new_oper(ex->ex_type, expr, oper, ex) : new_oper(ex->ex_type, expr, oper, ex) :
new_oper(ex->ex_type, ex, oper, expr); new_oper(ex->ex_type, ex, oper, expr);
} }