diff options
| author | Emilio G. Cota <cota@braap.org> | 2018-03-08 21:09:40 -0500 |
|---|---|---|
| committer | Richard Henderson <richard.henderson@linaro.org> | 2018-10-05 12:57:41 -0500 |
| commit | 3ac1f81329f4dfdc10a51e180f9cf28dbcb02a3c (patch) | |
| tree | 7df1c8566880f684616992364328a5025cbc5c90 /tests/Makefile.include | |
| parent | b44b5abeae4a3b54ccbd7137f59c0a8923cecec9 (diff) | |
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: Emilio G. Cota <cota@braap.org>
[rth: Add the new modules to git_submodules.]
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Diffstat (limited to 'tests/Makefile.include')
| -rw-r--r-- | tests/Makefile.include | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/Makefile.include b/tests/Makefile.include index 175d013f4a..7a3059bf6c 100644 --- a/tests/Makefile.include +++ b/tests/Makefile.include @@ -670,6 +670,9 @@ tests/test-bufferiszero$(EXESUF): tests/test-bufferiszero.o $(test-util-obj-y) tests/atomic_add-bench$(EXESUF): tests/atomic_add-bench.o $(test-util-obj-y) tests/atomic64-bench$(EXESUF): tests/atomic64-bench.o $(test-util-obj-y) +tests/fp/%: + $(MAKE) -C $(dir $@) $(notdir $@) + tests/test-qdev-global-props$(EXESUF): tests/test-qdev-global-props.o \ hw/core/qdev.o hw/core/qdev-properties.o hw/core/hotplug.o\ hw/core/bus.o \ |