This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug rtl-optimization/19210] [4.0 Regression] not using do-loop for some loops
- From: "rakdver at atrey dot karlin dot mff dot cuni dot cz" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 31 Dec 2004 20:36:46 -0000
- Subject: [Bug rtl-optimization/19210] [4.0 Regression] not using do-loop for some loops
- References: <20041230204442.19210.pinskia@gcc.gnu.org>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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