Skip to content
Snippets Groups Projects
Commit 3ac1f813 authored by Emilio G. Cota's avatar Emilio G. Cota Committed by Richard Henderson
Browse files

tests/fp/fp-test: add floating point tests


By leveraging berkeley's softfloat and testfloat.

With this we get decent coverage of softfloat.c:

$ ./fp-test -r even:	67.22% coverage
$ ./fp-test -r all:	73.11% coverage

Note that we do not yet test parts of softfloat.c that aren't
in the original softfloat library, namely:

- denormal inputs
- *_to_int16/uint16 conversions
- scalbn for fixed point
- muladd variants
- min/max
- exp2
- log2
- float*_compare (except float16_compare)

Signed-off-by: default avatarEmilio G. Cota <cota@braap.org>
[rth: Add the new modules to git_submodules.]
Signed-off-by: default avatarRichard Henderson <richard.henderson@linaro.org>
parent b44b5abe
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment