I found a handful of degradations with this patch from an earlier test version, which demonstrate the incorrectness of this comment:
On Wed, 2011-07-27 at 10:11 -0500, William J. Schmidt wrote: > + However, the rank of a value that depends on the result of a loop- > + carried phi should still be higher than the rank of a value that > + depends on values from more distant blocks. */ On further review, it was smarter to treat the phi's rank as zero for propagation purposes. (Among other things, an expression of the form "phi + constant" gets a ludicrously high rank otherwise.) Otherwise, things looked good. I'm testing a revised version of the patch with the change in propagation rules. I hope to post it shortly, assuming the numbers come out as I expect. Thanks, Bill
