[Bug rtl-optimization/19210] [4.0 Regression] not using do-loop for some loops

[rakdver at atrey dot karlin dot mff dot cuni dot cz]

------- 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