From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.157.17.221 with SMTP id y29mr18000751oty.18.1469484303293; Mon, 25 Jul 2016 15:05:03 -0700 (PDT) X-Received: by 10.157.32.22 with SMTP id n22mr970793ota.2.1469484303266; Mon, 25 Jul 2016 15:05:03 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!f6no4625467ith.0!news-out.google.com!d130ni14426ith.0!nntp.google.com!f6no4625465ith.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 25 Jul 2016 15:05:02 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=2601:191:8380:7220:5985:2c17:9409:aa9c; posting-account=fdRd8woAAADTIlxCu9FgvDrUK4wPzvy3 NNTP-Posting-Host: 2601:191:8380:7220:5985:2c17:9409:aa9c References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <0b19f77c-7e5f-4918-8018-acd1f5e66a41@googlegroups.com> Subject: Re: Profiling Ada binaries From: rieachus@comcast.net Injection-Date: Mon, 25 Jul 2016 22:05:03 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Xref: news.eternal-september.org comp.lang.ada:31168 Date: 2016-07-25T15:05:02-07:00 List-Id: On Monday, July 25, 2016 at 1:14:06 PM UTC-4, Simon Wright wrote: > rieachus@comcast.net writes: >=20 > > Seriously, the math libraries are written with ease of understanding > > in mind. >=20 > Like the rest of GNAT, then. Actually, I was thinking of the original Generic Elementary Functions packa= ge and the other standard generic math packages. These were the result of = work for about a decade of NUMWG and were printed, not just packages specif= ications but bodies as well as special issues of Ada Letters. Along the wa= y the best algorithms known for many of the functions (in terms of least si= gnificant bit--lsb--errors) were improved several times. And of course, th= e IEEE Floating Point standards were being improved at the same time, by so= me of the same people. There is a lot to be said for using the (hardware) built-in GEF, and as I s= aid, GNAT does let you get at the 32 and 64 bit IEEE floating point hardwar= e. You may not know that it is possible to access (still) the 80-bit IEEE = Extended in x86 (or should that be x87 ;-) compatible CPUs, but not in 64-b= it mode. DEC VAXes had their own floating point formats including decent 1= 28-bit versions. and so on. Unless you do things like Mandelbrot or Julia = sets, work with eigenvectors of large matrices, FFTs, or solve large linear= programming problems, double precision is quite enough.