Date: Sat, 13 May 2017 09:21:53 -0700 From: Steve Kargl <sgk@troutmask.apl.washington.edu> To: Dimitry Andric <dimitry@andric.com> Cc: Bruce Evans <brde@optusnet.com.au>, freebsd-hackers@freebsd.org, numerics@freebsd.org Subject: Re: catrig[fl].c and inexact Message-ID: <20170513162153.GB88653@troutmask.apl.washington.edu> In-Reply-To: <F5F8736B-D7E1-48AD-BC6C-8C74AF0A3272@andric.com> References: <20170512215654.GA82545@troutmask.apl.washington.edu> <20170513103208.M845@besplex.bde.org> <20170513060803.GA84399@troutmask.apl.washington.edu> <F5F8736B-D7E1-48AD-BC6C-8C74AF0A3272@andric.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Sat, May 13, 2017 at 03:08:26PM +0200, Dimitry Andric wrote: > On 13 May 2017, at 08:08, Steve Kargl <sgk@troutmask.apl.washington.edu> wrote: > > > > On Sat, May 13, 2017 at 11:35:49AM +1000, Bruce Evans wrote: > >> On Fri, 12 May 2017, Steve Kargl wrote: > ... > >> required for the standard magic. I planned to fix all this magic using > >> macros like raise_inexact(). > > > > If you plan to fix the magic with raise_inexact, then please > > test with a suite of compilers. AFAICT, clang is optimizing > > out the code. I haven't written a testcase to demonstrate this > > as I have other irons in the fire. > > Using the full catrig.c and -O3, I tried gcc 4.2.1, 4.7.4, 4.8.5, 4.9.4, > 5.4.0, 6.3.0 and 7.0.1, in addition to clang 3.4.1, 3.8.0, 3.9.1, 4.0.0 > and 5.0.0. Thanks for checking. I reduced catrig.c to a small self-contained program and indeed I was getting the desired addition of 1 + tiny to raise FE_INEXACT. I suppose that I'll need to add an appropriate -Wno-foo to my CFLAGS line to suppress the spurious warning, which might be tricky because -Wunused is one option I'ld like to have. -- Steve 20170425 https://www.youtube.com/watch?v=VWUpyCsUKR4 20161221 https://www.youtube.com/watch?v=IbCHE-hONow
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20170513162153.GB88653>