From 3ac1f81329f4dfdc10a51e180f9cf28dbcb02a3c Mon Sep 17 00:00:00 2001 From: Emilio G. Cota Date: Thu, 8 Mar 2018 21:09:40 -0500 Subject: 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 [rth: Add the new modules to git_submodules.] Signed-off-by: Richard Henderson --- tests/Makefile.include | 3 +++ 1 file changed, 3 insertions(+) (limited to 'tests/Makefile.include') 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 \ -- cgit v1.2.3-55-g7522