Aw: Re: TR1 Special Math

[Joseph Myers]

On Thu, 19 Nov 2015, Ed Smith-Rowland wrote:

> Testing coverage is growing.
> I starting to build check_inf tests for everyone (but they aren't in the
> patch.
> I'll look at musl to see how you do check_denorm, etc.

FWIW, in glibc I've systematically put special cases and a representative 
range of input values in auto-libm-test-in (where the test inputs and 
mathematical results are finite, but possibly overflowing / underflowing) 
/ libm-test.inc (where not all finite).  Random test generation has also 
been done with both mpcheck and ad hoc scripts that put random inputs in 
auto-libm-test-in before regenerating auto-libm-test-out and running the 
testsuite, in order to find cases with large errors or spurious or missing 
exceptions (those cases then being added to auto-libm-test-in when the 
bugs are fixed).  This all relies heavily on having MPFR / MPC support for 
the functions in question in order to compute the ideal correctly rounded 
results for all rounding modes (so if new functions were added to glibc, 
it would be a very good idea to add them to MPFR / MPC first).

-- 
Joseph S. Myers
joseph@codesourcery.com