From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12676 invoked by alias); 4 May 2004 18:52:37 -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 12668 invoked from network); 4 May 2004 18:52:36 -0000 Received: from unknown (HELO lon-mail-4.gradwell.net) (193.111.201.130) by sources.redhat.com with SMTP; 4 May 2004 18:52:36 -0000 Received: (qmail 23958 invoked from network); 4 May 2004 18:52:35 -0000 Received: from digraph.polyomino.org.uk (postmaster%pop3.polyomino.org.uk@81.187.227.50) by lon-mail-4.gradwell.net with SMTP; 4 May 2004 18:52:35 -0000 Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.32) id 1BL51v-0002Y3-Ek; Tue, 04 May 2004 18:52:35 +0000 Date: Tue, 04 May 2004 18:52:00 -0000 From: "Joseph S. Myers" X-X-Sender: jsm28@digraph.polyomino.org.uk To: Kean Johnston cc: Jim Wilson , gcc@gcc.gnu.org Subject: Re: Promoting floats to doubles? In-Reply-To: <4097D44D.5090105@sco.com> Message-ID: References: <409493B7.6040108@sco.com> <4096AE14.7000505@specifixinc.com> <4096EEAE.60105@sco.com> <1083643245.1258.151.camel@leaf.tuliptree.org> <4097D44D.5090105@sco.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-SW-Source: 2004-05/txt/msg00148.txt.bz2 On Tue, 4 May 2004, Kean Johnston wrote: > and in c-typeck.c:convert_arguments(), where I extended the check > after the call to targetm.calls.promoto_prototypes to check for > a TREE_TYPE(type) == REAL_TYPE. It's a defect in the back-end interface that the front end has a call to such a target hook at all. This should actually be handled somewhere in the middle-end generating code for function calls, which should take calls with their original types and handle promotion as required by the ABI; such promotion has no semantic effect so each front end shouldn't need to deal with it. If this ABI requirement needs a new target hook, it would be better to have one that only needs to be called once in the compiler rather than in every front end. -- Joseph S. Myers jsm@polyomino.org.uk