From: "Alex Bennée" <alex.bennee@linaro.org>
To: "Emilio G. Cota" <cota@braap.org>
Cc: qemu-devel@nongnu.org, Peter Maydell <peter.maydell@linaro.org>,
Aurelien Jarno <aurelien@aurel32.net>,
Richard Henderson <richard.henderson@linaro.org>,
Laurent Vivier <laurent@vivier.eu>
Subject: Re: [Qemu-devel] [PATCH v2 0/2] softfloat tests based on berkeley's testfloat
Date: Mon, 10 Sep 2018 12:26:58 +0100 [thread overview]
Message-ID: <878t49d24d.fsf@linaro.org> (raw)
In-Reply-To: <20180908191735.22861-1-cota@braap.org>
Emilio G. Cota <cota@braap.org> writes:
> A few fixes since yesterday's v1:
> https://lists.gnu.org/archive/html/qemu-devel/2018-09/msg00884.html
>
> - Convert copy_qemu_to_soft80 to qemu_to_soft80, just like the other
> conversion functions
> - Set fp-test as the program name as reported by itself
> - Fix Makefile to include .d files so that dependencies are
> properly tracked
> - Update commit log
Just some general comments:
- I think this is a better way to go than the IBM test suite
- I'm ambivalent about maintaining our fp-test.c in close alignment to
softfloat unless we expect much upstreaming of changes.
- the coverage seems a bit low. Rebuilding everything with
--enable-gcov and running -all1 -all2 I get:
tests/fp/fp-test.c - 53.5 % coverage 43.3 % branch coverage
fpu/softfloat.c - 32.5 % coverage 25.1 % branch coverage
But maybe I didn't pass enough options to fp-test? I could really do
with a --just-run-everything-and-summarise-failing-functions option so I
can then go through in more detail with fp-test fFOO_BAR.
>
> Grab this from:
> https://github.com/cota/qemu/tree/fp-test-v2
>
> Thanks,
>
> Emilio
--
Alex Bennée
next prev parent reply other threads:[~2018-09-10 11:27 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-09-08 19:17 [Qemu-devel] [PATCH v2 0/2] softfloat tests based on berkeley's testfloat Emilio G. Cota
2018-09-08 19:17 ` [Qemu-devel] [PATCH v2 1/2] gitmodules: add berkeley's softfloat + testfloat version 3 Emilio G. Cota
2018-09-10 9:29 ` Alex Bennée
2018-09-08 19:17 ` [Qemu-devel] [PATCH v2 2/2] tests: add floating point tests Emilio G. Cota
2018-09-10 11:00 ` Alex Bennée
2018-09-10 14:37 ` Emilio G. Cota
2018-09-10 11:26 ` Alex Bennée [this message]
2018-09-10 15:14 ` [Qemu-devel] [PATCH v2 0/2] softfloat tests based on berkeley's testfloat Emilio G. Cota
2018-09-10 15:41 ` Alex Bennée
2018-09-10 16:25 ` Emilio G. Cota
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=878t49d24d.fsf@linaro.org \
--to=alex.bennee@linaro.org \
--cc=aurelien@aurel32.net \
--cc=cota@braap.org \
--cc=laurent@vivier.eu \
--cc=peter.maydell@linaro.org \
--cc=qemu-devel@nongnu.org \
--cc=richard.henderson@linaro.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.