[m-dev.] for review: bug-avoidance in value numbering

Zoltan Somogyi zs at cs.mu.OZ.AU
Sat Mar 14 13:57:49 AEDT 1998


> > value_number.m:
> > 	Do not attempt to optimize code sequences that manipulate tickets.
> > 	That code is buggy, and it is not worth fixing in this incarnation
> > 	of the value numbering optimization.
> 
> The code in the diff also disables optimization of code sequences
> that contain c_code, pragma_c, or block instructions.  Why?

There is already code that disables value numbering for entire procedures
if they contain c_code or pragma_c instructions, so disabling them again
for code fragments is double insurance. Block instructions are only introduced
in the post-value number pass, which is run after all invocations of
value numbering.

I will change the handling of all three to call error instead.

Zoltan.



More information about the developers mailing list