This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/34678] Optimization generates incorrect code with -frounding-math option (#pragma STDC FENV_ACCESS not implemented)
- From: "joseph at codesourcery dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 6 Jan 2008 16:28:46 -0000
- Subject: [Bug middle-end/34678] Optimization generates incorrect code with -frounding-math option (#pragma STDC FENV_ACCESS not implemented)
- References: <bug-34678-5307@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #7 from joseph at codesourcery dot com 2008-01-06 16:28 -------
Subject: Re: Optimization generates incorrect code
with -frounding-math option (#pragma STDC FENV_ACCESS not implemented)
On Sun, 6 Jan 2008, rguenth at gcc dot gnu dot org wrote:
> I see. So basically we need to split all floating point operators into two
> variants, one specifying a default rounding mode is used and one specifying the
> rounding mode is unknown. I suppose the frontend parts would be actually quite
> simple then?
More than two variants, in the end, depending on how you handle all the
other flags - but eventually, everything about GIMPLE semantics controlled
by the global flags should be directly represented in the GIMPLE and the
pragmas, together with the command-line options determining global
defaults, would map to appropriate choices of operations / flags on those
operations. This is desirable for LTO optimizing between objects compiled
with different options as well.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34678