From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 128126 invoked by alias); 20 Nov 2017 17:24:26 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org Received: (qmail 128039 invoked by uid 89); 20 Nov 2017 17:24:16 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-11.4 required=5.0 tests=AWL,BAYES_00,GIT_PATCH_2,GIT_PATCH_3,KB_WAM_FROM_NAME_SINGLEWORD,SPF_PASS,T_RP_MATCHES_RCVD autolearn=ham version=3.3.2 spammy=HContent-type:iso-8859-1, Doc, HTo:U*uweigand, HContent-type:charset X-HELO: eggs.gnu.org Received: from eggs.gnu.org (HELO eggs.gnu.org) (208.118.235.92) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 20 Nov 2017 17:24:08 +0000 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eGpnf-0001Wn-6h for gdb-patches@sourceware.org; Mon, 20 Nov 2017 12:24:06 -0500 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:44876) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eGpnf-0001Wi-2y; Mon, 20 Nov 2017 12:24:03 -0500 Received: from [176.228.60.248] (port=2895 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1eGpnd-0004pf-JJ; Mon, 20 Nov 2017 12:24:02 -0500 Date: Mon, 20 Nov 2017 17:24:00 -0000 Message-Id: <83d14ceue3.fsf@gnu.org> From: Eli Zaretskii To: "Ulrich Weigand" CC: brobecker@adacore.com, gdb-patches@sourceware.org In-reply-to: <20171120134413.0F07CD802C3@oc3748833570.ibm.com> (uweigand@de.ibm.com) Subject: Re: Doc update to mention MPFR (Re: [RFC][00/19] Target FP: Precise target floating-point emulation) Reply-to: Eli Zaretskii References: <20171120134413.0F07CD802C3@oc3748833570.ibm.com> MIME-version: 1.0 Content-type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-IsSubscribed: yes X-SW-Source: 2017-11/txt/msg00421.txt.bz2 > Date: Mon, 20 Nov 2017 14:44:12 +0100 (CET) > From: "Ulrich Weigand" > Cc: brobecker@adacore.com, gdb-patches@sourceware.org > > --- binutils-gdb.orig/gdb/NEWS > +++ binutils-gdb/gdb/NEWS > @@ -3,6 +3,10 @@ > > *** Changes since GDB 8.0 > > +* GDB now uses the GNU MPFR library, if available, to emulate target > + floating-point arithmetic during expression evaluation when the target > + uses different floating-point formats than the host. > + This part is OK. > + GDB uses GNU MPFR, a library for multiple-precision floating-point > +computation with correct rounding, to emulate target floating-point > +arithmetic during expression evaluation when the target uses different > +floating-point formats than the host. MPFR will be linked in if it is > +available at build time. At least version 3.1 of GNU MPFR is required. > +If GNU MPFR it is not available, GDB will fall back to using host > +floating-point arithmetic. The latest version of GNU MPFR should be > +available from `http://www.mpfr.org´. ^ Some non-ASCII character sneaked in here. > +`--with-mpfr' > + Build GDB with the GNU MPFR library. (Done by default if > + GNU MPFR is installed and found at configure time.) This library > + is used to emulate target floating-point arithmetic during expression > + evaluation when the target uses different floating-point formats than > + the host. At least version 3.1 of GNU MPFR is required. If GNU MPFR I would drop the reference to minimum supported MPFR version here: it tends to become outdated as time goes by, and I believe the configure script includes the necessary tests for what we need from MPFR, and will reject versions that don't fit the bill. (It is okay to have the version mentioned in NEWS, as that is a one-time announcement.) Also, please make sure there are 2 spaces between sentences. > +@item MPFR > +@anchor{MPFR} > +@value{GDBN} can use the GNU MPFR multiple-precision floating-point > +library. This library may be included with your operating system > +distribution; if it is not, you can get the latest version from > +@url{http://www.mpfr.org}. At least version 3.1 of GNU MPFR is ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Same here. > +formats than the host. If GNU MPFR it is not available, GDB will ^^^ @value{GDBN} The changes are okay with those gotchas fixed. Thanks.