From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 25393 invoked by alias); 22 Mar 2004 02:39:48 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 25235 invoked from network); 22 Mar 2004 02:39:48 -0000 Received: from unknown (HELO nile.gnat.com) (205.232.38.5) by sources.redhat.com with SMTP; 22 Mar 2004 02:39:48 -0000 Received: from localhost (localhost [127.0.0.1]) by nile.gnat.com (Postfix) with ESMTP id C9052F2B5F; Sun, 21 Mar 2004 21:39:47 -0500 (EST) Received: from nile.gnat.com ([127.0.0.1]) by localhost (nile.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 26116-01-9; Sun, 21 Mar 2004 21:39:47 -0500 (EST) Received: from gnat.com (hoosic.gnat.com [205.232.38.102]) by nile.gnat.com (Postfix) with ESMTP id 6595CF29F2; Sun, 21 Mar 2004 21:39:47 -0500 (EST) Message-ID: <405E51F7.6040703@gnat.com> Date: Mon, 22 Mar 2004 08:06:00 -0000 From: Robert Dewar User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.6) Gecko/20040113 MIME-Version: 1.0 To: base@chatta.us Cc: Zack Weinberg , gcc@gcc.gnu.org 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> In-Reply-To: <405E0938.4000505@chatta.us> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Virus-Scanned: by amavisd-new at nile.gnat.com X-SW-Source: 2004-03/txt/msg01283.txt.bz2 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.