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 . 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 > >  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 _______________________________________________ email@example.com mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-current To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"