From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([208.118.235.92]:56932) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UZPus-0004Qo-NW for qemu-devel@nongnu.org; Mon, 06 May 2013 14:13:41 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1UZPup-0003Oh-7b for qemu-devel@nongnu.org; Mon, 06 May 2013 14:13:38 -0400 References: <86sj20rql4.fsf@shell.gmplib.org> <5187ECAD.4050901@suse.de> From: Torbjorn Granlund Sender: tg@gmplib.org Date: Mon, 06 May 2013 20:13:33 +0200 In-Reply-To: <5187ECAD.4050901@suse.de> (Alexander Graf's message of "Mon\, 06 May 2013 19\:47\:25 +0200") Message-ID: <86obcorn76.fsf@shell.gmplib.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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, qemu-devel@nongnu.org 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. =20=20 Would that make my complaints be considered more or less important? :-) Does the patch below fix the issue for you? =20=20 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. 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.) --=20 Torbj=C3=B6rn