Date: Thu, 09 Oct 2014 08:18:10 -0700 From: Sean Bruno <sbruno@ignoranthack.me> To: Andrew Turner <andrew@fubar.geek.nz> Cc: current@freebsd.org Subject: Re: Floating-point review Message-ID: <1412867890.1133.2.camel@bruno> In-Reply-To: <20141008131440.41b12409@bender.lan> References: <20141008131440.41b12409@bender.lan>
next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, 2014-10-08 at 13:14 +0100, Andrew Turner wrote: > I'm looking for someone who known more about floating-point than I do > to review one of me changes. The change in question adds 6 new > functions to the ARM libc to perform floating-point comparisons. These > functions are required as part of the ABI spec. > > The review is at [1]. I am mostly interested in having someone check > __aeabi_cfcmpeq_helper and __aeabi_cdcmpeq_helper are correct. They > should both return when either argument is a quiet NaN unless one is a > signalling NaN for floats and doubles respectively. > > These functions are used by a functions that is defined to not raise a > floating point exception with comparing with quiet NaNs and all > comparisons with signalling NaNs could potentially raise an exception. > Because of this requirement these functions are used to filter out the > cases we have one or more quiet NaNs and no signalling NaNs. > > Andrew > > [1] https://reviews.freebsd.org/D872 Andrew knows this, but I'll drop it here for the rest of you folks. I've applied this patch and am seeing very good *compile* results from my ports build science. I might actually break 20k ports built this run. Please get folks who know compilers and C to look at this. From my very primitive eye it *seems* correct. http://chips.ysv.freebsd.org/build.html?mastername=11armv6-default&build=2014-10-05_21h42m23s sean
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?1412867890.1133.2.camel>