Hi,
This is the current queue of fixes for our softfloat implementation. I ended up taking Emilio's more complete dynamic probe approach for broken FMA implementations (direct from git). There is also a fix for the fp-bench. Finally a couple of patches to roll check-softfloat into the main make system. It skips some f128 and extF80 float operations which trigger faults but hopefully we can fix those up in a later re-factor of the extended size floats. The following patches need review patch 0003/softfloat enforce softfloat if the host s FMA is .patch patch 0004/tests Makefile add floating point tests.patch patch 0005/scripts archive source include softfloat tests.patch patch 0006/tests Makfile add check softfloat rule.patch Alex Bennée (3): tests/Makefile: add floating point tests scripts/archive-source: include softfloat tests tests/Makfile: add check-softfloat rule Emilio G. Cota (3): fp-bench: fix update_random_ops fp-bench: remove wrong exponent raise in fill_random softfloat: enforce softfloat if the host's FMA is broken fpu/softfloat.c | 85 ++++++++++++++++++++++++ include/qemu/cpuid.h | 6 ++ scripts/archive-source.sh | 2 +- tests/Makefile.include | 132 +++++++++++++++++++++++++++++++++++++- tests/fp/fp-bench.c | 15 +++-- 5 files changed, 230 insertions(+), 10 deletions(-) -- 2.17.1