------- Additional Comments From rakdver at atrey dot karlin dot mff dot cuni 
dot cz  2004-12-31 20:36 -------
Subject: Re:  [4.0 Regression] not using do-loop for some loops

> Could we use/extend -ffinite-math-only option to cover this case and assert 
> that
> the loop will not be infinite?

I would not reuse this flag (it controls behavior of floating point arithmetics 
and
overloading it in this way does not seem a good idea to me).

However I would like having something like -funsafe-loop-opts that would
allow the optimizer to assume all such conditions that are practically
always true (e.g. that induction variables does not overflow, loops with
nontrivial exit condition are not infinite, etc.).


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19210

Reply via email to