From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:54348) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YIdmQ-0002tW-O1 for qemu-devel@nongnu.org; Tue, 03 Feb 2015 08:44:43 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YIdmL-0004Nh-QO for qemu-devel@nongnu.org; Tue, 03 Feb 2015 08:44:38 -0500 Received: from static.88-198-71-155.clients.your-server.de ([88.198.71.155]:42525 helo=socrates.bennee.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YIdmL-0004NT-In for qemu-devel@nongnu.org; Tue, 03 Feb 2015 08:44:33 -0500 References: <1422456666-12270-1-git-send-email-libhu.so@gmail.com> <87h9va7vfh.fsf@linaro.org> From: Alex =?utf-8?Q?Benn=C3=A9e?= In-reply-to: Date: Tue, 03 Feb 2015 13:44:49 +0000 Message-ID: <874mr3xg6m.fsf@linaro.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: Re: [Qemu-devel] [PATCH] FMULX should flushes operators to zero when FZ is set. List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Peter Maydell Cc: Xiangyu Hu , QEMU Developers Peter Maydell writes: > On 28 January 2015 at 15:57, Peter Maydell wrote: >> On 28 January 2015 at 15:54, Alex Bennée wrote: >>> Do we have test cases that trip up here? It would be nice to include >>> them in our testing as the random nature of RISU has obviously failed to >>> trip up on this instruction. >> >> Risu would probably catch this if we generated and ran test cases >> which set the FPSCR bits to something other than the default. > > This bug is indeed caught by the following risugen: > ./risugen --numinsns 10000 --pattern "FMULX A64_V" --fpscr 0x01000000 > aarch64.risu FMULX_S3SAME_V_squash.out > > (that fpscr value being "set DZ, nothing else".) > > Alex, I don't suppose your automation of these tests makes > it easy to do a complete extra run (or better, just of the > Neon and FP insn tests) with different FPSCR flags? I just need to add the additional test sequence and trace to the tarball and the script should pick it up automatically. > > -- PMM -- Alex Bennée