This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: jFP religious wars

From: Robert Dewar <dewar at gnat dot com>
To: base at chatta dot us
Cc: Zack Weinberg <zack at codesourcery dot com>, gcc at gcc dot gnu dot org
Date: Sun, 21 Mar 2004 21:39:51 -0500
Subject: Re: jFP religious wars
References: <1079845736.15963.ezmlm@gcc.gnu.org> <405E0544.6020905@chatta.us> <878yhtkis8.fsf@egil.codesourcery.com> <405E0938.4000505@chatta.us>

R. D. Flowers wrote:

Really sort of an inverse of -fast-math -- an insistence on total floating point correctness at the expense of any optimization that would water the correctness down any. Without it, roundings etc. thought to be minor would be allowed to happen in the middle end. I guess.


Rounding is not some pedantic issue, proper rounding means that
you can reason much more clearly about floating-point semantics.

References:
- jFP religious wars
  - From: R. D. Flowers
- Re: jFP religious wars
  - From: Zack Weinberg
- Re: jFP religious wars
  - From: R. D. Flowers

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]