From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([208.118.235.92]:35715)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <tg@gmplib.org>) id 1UZOm5-0006vp-8P
	for qemu-devel@nongnu.org; Mon, 06 May 2013 13:00:31 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <tg@gmplib.org>) id 1UZOm2-00022h-Eg
	for qemu-devel@nongnu.org; Mon, 06 May 2013 13:00:29 -0400
Received: from gmplib-02.nada.kth.se ([130.237.222.242]:44661
	helo=shell.gmplib.org) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <tg@gmplib.org>) id 1UZOm2-00022H-7k
	for qemu-devel@nongnu.org; Mon, 06 May 2013 13:00:26 -0400
From: Torbjorn Granlund <tg@gmplib.org>
Sender: tg@gmplib.org
Date: Mon, 06 May 2013 19:00:23 +0200
Message-ID: <86sj20rql4.fsf@shell.gmplib.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Subject: [Qemu-devel] Incorrect handling of PPC64 rldcl insn
List-Id: <qemu-devel.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/qemu-devel>
List-Post: <mailto:qemu-devel@nongnu.org>
List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=subscribe>
To: qemu-devel@nongnu.org

I could finally make Debian GNU/Linux install and run under
qemu-system-ppc64.  I used Debian 7.0.0 and qemu from the main git repo,
updated a few days ago.

While Debian runs well and not too slowly, GMP fails badly under all
ABIs, and in many different ways.  I have isolated the first problem.

Test case:

#include <stdio.h>
int
main ()
{
  unsigned long r;
  asm ("rldcl\t%0, %1, %2, 0" : "=3Dr" (r) : "r" (0xcafebabedeadbeeful), "r=
" (16));
  printf ("%lx\n", r);
  return 0;
}

Expected output:
babedeadbeefcafe

Output under qemu:
0

I have single stepped in gdb to determine that it is indeed rldcl that
misbehaves.

--=20
Torbj=C3=B6rn