[PATCH v3 13/19] RISC-V: Add the RV32 libm-test-ulps
Joseph Myers
joseph@codesourcery.com
Tue Jul 14 17:24:05 GMT 2020
On Tue, 14 Jul 2020, Maciej W. Rozycki via Libc-alpha wrote:
> Well, yes. I just ran `make regen-ulps' consecutively with different
> `test-wrapper*' variables each time so as to redirect execution either to
> my HiFive Unleashed board or (user-mode) QEMU. I have double-checked the
> logs now and no rebuild was made for subsequent runs, so the very same
> executables and DSOs were used.
So picking one function and setting its ulps back to the lower value, then
rerunning the test on whichever of hardware and QEMU gave the higher
value, should result in a test log showing a specific input to a specific
function (in a specific rounding mode) for which the results on hardware
and QEMU differ. After confirming the difference with a minimal test just
making that one function call, it should be possible to trace the
execution of the function, whether in a debugger or inserting printf
calls, to find the exact instruction for which hardware and QEMU produce
different results with the same inputs.
--
Joseph S. Myers
joseph@codesourcery.com
More information about the Libc-alpha
mailing list