From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12107 invoked by alias); 9 Oct 2007 20:01:37 -0000 Received: (qmail 12097 invoked by uid 22791); 9 Oct 2007 20:01:36 -0000 X-Spam-Check-By: sourceware.org Received: from smtp.nildram.co.uk (HELO smtp.nildram.co.uk) (195.112.4.54) by sourceware.org (qpsmtpd/0.31) with ESMTP; Tue, 09 Oct 2007 20:01:33 +0000 Received: from firetop.home (85-211-25-104.dyn.gotadsl.co.uk [85.211.25.104]) by smtp.nildram.co.uk (Postfix) with ESMTP id C60932BFAC3; Tue, 9 Oct 2007 21:01:07 +0100 (BST) Received: from richard by firetop.home with local (Exim 4.63) (envelope-from ) id 1IfLGR-0005Gu-3E; Tue, 09 Oct 2007 21:01:11 +0100 From: Richard Sandiford To: Olivier Hainque Mail-Followup-To: Olivier Hainque , gcc-patches@gcc.gnu.org, rsandifo@nildram.co.uk Cc: gcc-patches@gcc.gnu.org Subject: Re: [PATCH] define WIDEST_HARDWARE_FP_SIZE on mips References: <20071008085929.GA31575@cardhu.act-europe.fr> Date: Tue, 09 Oct 2007 20:01:00 -0000 In-Reply-To: <20071008085929.GA31575@cardhu.act-europe.fr> (Olivier Hainque's message of "Mon\, 8 Oct 2007 10\:59\:29 +0200") Message-ID: <87ir5ggirc.fsf@firetop.home> User-Agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org X-SW-Source: 2007-10/txt/msg00507.txt.bz2 Olivier Hainque writes: > The attached patch defines WIDEST_HARDWARE_FP_SIZE on mips. > > This is used by the Ada front end to determine the widest efficient > floating point type on the target. If not defined, we fallback on > LONG_DOUBLE_TYPE_SIZE and observe various mishaps if this requires > software support. > > For instance, the test below is expected to output " +Inf*******". > > On Irix 6.5, it currently raises a constraint_error exception from a > runtime library unit instead. > > << with Ada.Text_IO; > > procedure T is > N : Float := 2.0; > begin > N := N ** 256; > Ada.Text_IO.Put_Line(Float'Image(N)); > end; > >> Hmm. Do you mean that GNAT doesn't support software floating point? In other words, would this also happen on -msoft-float targets for WIDEST_HARDWARE_FP_SIZE == 64? (I hope this doesn't sound awkward. I'm just trying to understand the issue better.) Richard