bug with biv increment -> giv transformation
Thu Feb 18 15:51:00 GMT 1999
> The code for setting biv_dead_after_loop was apparently copied from the
> code for setting bl->eliminable, except that you dropped the final_biv_value
> check. Why? It would be useful to document in a comment that the code is a
> duplicate of code taken from elswhere, and to explain why the final_biv_value
> check isn't here.
That would be a chicken and egg problem - iteration_info wants the information
about givs to be already set up. Besides, I don't see how this would
gain us much, since the number of iterations can't be determined if there
is a random jump out of the loop.
However, there is something here that I don't understand: I can't find
where iteration_info guards against this scenario.
More information about the Gcc-patches