From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([208.118.235.92]:46243) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UZUab-0002HA-9t for qemu-devel@nongnu.org; Mon, 06 May 2013 19:13:02 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1UZUaa-0005eq-6Z for qemu-devel@nongnu.org; Mon, 06 May 2013 19:13:01 -0400 Date: Tue, 7 May 2013 01:12:51 +0200 From: Aurelien Jarno Message-ID: <20130506231251.GM5000@ohm.aurel32.net> References: <86sj20rql4.fsf@shell.gmplib.org> <5187ECAD.4050901@suse.de> <86obcorn76.fsf@shell.gmplib.org> <15FCEEAE-FE2D-44B9-9DC3-5419B29D5B16@suse.de> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Disposition: inline In-Reply-To: <15FCEEAE-FE2D-44B9-9DC3-5419B29D5B16@suse.de> Subject: Re: [Qemu-devel] Incorrect handling of PPC64 rldcl insn List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Alexander Graf Cc: qemu-ppc@nongnu.org, Torbjorn Granlund , qemu-devel@nongnu.org On Tue, May 07, 2013 at 12:14:47AM +0200, Alexander Graf wrote: > > On 06.05.2013, at 20:13, Torbjorn Granlund wrote: > > > Alexander Graf writes: > > > > Thanks a lot for the bug report and test case! Please CC qemu-ppc > > whenever you find issues or have patches for PPC. That makes filtering > > for important mails a lot easier. > > > > Would that make my complaints be considered more or less important? :-) > > > > Does the patch below fix the issue for you? > > > > It indeed does. (I actually tried that already, but I cannot follow the > > data flow into these functions, so cannot tell if that patch is > > sufficient. > > Yes, it is. It's a leftover bug from converting the code to TCG I assume. Yes, looks like I am the culprit here. > > This bug indicates complete non-testing status of these > > insns, which are mainstream enough to be generated by gcc. I suppose > > there will likely be more such fundamental errors if more instructions > > are also completely untested.) > > There's a certain chance that happens, yes. We don't have instruction test suites for the PPC target. > We have the Gwenole Beauschene testsuite for the PPC32 target, even if it doesn't work when compiled on a recent distribution, one has to use the old binary. It currently passes, so the PPC32 and Altivec instructions should be fine. On the contrary, the PPC64 instructions are untested, and there are likely a few bugs like this one left, especially on complex instructions. -- Aurelien Jarno GPG: 1024D/F1BCDB73 aurelien@aurel32.net http://www.aurel32.net