From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:43834) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1euJkE-00010G-SN for qemu-devel@nongnu.org; Fri, 09 Mar 2018 10:15:46 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1euJkA-0004sg-T5 for qemu-devel@nongnu.org; Fri, 09 Mar 2018 10:15:42 -0500 Received: from mail-wm0-x236.google.com ([2a00:1450:400c:c09::236]:55524) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1euJkA-0004rX-LD for qemu-devel@nongnu.org; Fri, 09 Mar 2018 10:15:38 -0500 Received: by mail-wm0-x236.google.com with SMTP id q83so4536160wme.5 for ; Fri, 09 Mar 2018 07:15:38 -0800 (PST) References: From: Alex =?utf-8?Q?Benn=C3=A9e?= In-reply-to: Date: Fri, 09 Mar 2018 15:15:36 +0000 Message-ID: <87woyljn53.fsf@linaro.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Qemu-devel] [patches] Re: [PULL] RISC-V QEMU Port Submission v8.2 List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Michael Clark Cc: Peter Maydell , Bastian Koppelmann , Palmer Dabbelt , QEMU Developers , Sagar Karandikar , RISC-V Patches Michael Clark writes: > > BTW - I've integrated the following 3 branches into the riscv tree: > > - https://github.com/riscv/riscv-qemu/tree/softfloat-snan-abort-fix > - https://github.com/riscv/riscv-qemu/tree/riscv-qemu-upstream-v8.2 > - https://github.com/michaeljclark/riscv-qemu/tree/qemu-devel > > into our `riscv-all` integration branch, and we're now passing all FPU > tests, interestingly, including the NaN-boxing of single precision values > into doubles. We'll need to check that the riscv-tests testsuite is > exhastive enough... Suprised! I think Richard might have thought about > our NaN-boxing > issue or some other sort of magic is going on :-) > > - https://github.com/riscv/riscv-qemu/tree/riscv-all Is the SNaN patch going to get re-posted now it has had a review? -- Alex Benn=C3=A9e