From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 14220 invoked by alias); 26 Mar 2004 19:03:40 -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 14163 invoked from network); 26 Mar 2004 19:03:38 -0000 Received: from unknown (HELO lon-mail-1.gradwell.net) (193.111.201.125) by sources.redhat.com with SMTP; 26 Mar 2004 19:03:38 -0000 Received: (qmail 66356 invoked from network); 26 Mar 2004 19:03:37 -0000 Received: from digraph.polyomino.org.uk (postmaster%pop3.polyomino.org.uk@81.187.227.50) by lon-mail-1.gradwell.net with SMTP; 26 Mar 2004 19:03:37 -0000 Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.30) id 1B6wcD-00049L-4h; Fri, 26 Mar 2004 19:03:37 +0000 Date: Fri, 26 Mar 2004 22:12:00 -0000 From: "Joseph S. Myers" X-X-Sender: jsm28@digraph.polyomino.org.uk To: Joe Buck cc: law@redhat.com, gcc@gcc.gnu.org Subject: Re: -ffast-math and floating point reordering In-Reply-To: <20040326094202.A2838@synopsys.com> Message-ID: References: <20040324170719.A12420@synopsys.com> <200403261621.i2QGLQ7X014994@speedy.slc.redhat.com> <20040326094202.A2838@synopsys.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-SW-Source: 2004-03/txt/msg01578.txt.bz2 On Fri, 26 Mar 2004, Joe Buck wrote: > One possible representation in GIMPLE would be a flag indicating that a > temporary can be, well, I'll call it "refactored" (feel free to suggest a > better word). That is, given GIMPLE code like Likewise one to indicate an expression can be contracted (evaluated atomically without intermediate rounding), to allow multiply-adds etc. with the FP_CONTRACT pragma (which allows expressions to be contracted while not allowing such optimizations across separate statements). -- Joseph S. Myers jsm@polyomino.org.uk