From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([140.186.70.92]:33871)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <laurent.desnogues@gmail.com>) id 1QceeA-00085D-SH
	for qemu-devel@nongnu.org; Fri, 01 Jul 2011 10:24:44 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <laurent.desnogues@gmail.com>) id 1Qcee9-0000yO-6s
	for qemu-devel@nongnu.org; Fri, 01 Jul 2011 10:24:42 -0400
Received: from mail-qy0-f173.google.com ([209.85.216.173]:54146)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <laurent.desnogues@gmail.com>) id 1Qcee8-0000yK-Ok
	for qemu-devel@nongnu.org; Fri, 01 Jul 2011 10:24:40 -0400
Received: by qyk10 with SMTP id 10so687867qyk.4
	for <qemu-devel@nongnu.org>; Fri, 01 Jul 2011 07:24:39 -0700 (PDT)
MIME-Version: 1.0
In-Reply-To: <4E0DD58C.2070001@jermar.eu>
References: <4E0CE6A7.10901@jermar.eu>
	<CACXAS8DixKjzQxrjDGwj-xzs9ZxN=O9P=sqN5d9Htx7PNngtNA@mail.gmail.com>
	<4E0D9527.7010106@jermar.eu>
	<CACXAS8B8E=z0w9fTzO_ZGzh91V5iGFiw_Hb5E=joip1D0=f9=g@mail.gmail.com>
	<4E0DC450.4000700@jermar.eu> <4E0DD58C.2070001@jermar.eu>
Date: Fri, 1 Jul 2011 16:24:39 +0200
Message-ID: <BANLkTi=f1tbZSx=tp9OUAOML+mFCWXmW2A@mail.gmail.com>
From: Laurent Desnogues <laurent.desnogues@gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Qemu-devel] [HelenOS-devel] [sparc64] Miscomputed minimum of a
 group of numbers in sparc64 emulation
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: Jakub Jermar <jakub@jermar.eu>
Cc: HelenOS development mailing list <helenos-devel@lists.modry.cz>, qemu-devel@nongnu.org

On Fri, Jul 1, 2011 at 4:11 PM, Jakub Jermar <jakub@jermar.eu> wrote:
[...]
> Actually, the testcase can be further reduced into:
>
> .global _start
>
> .text
>
> .space 0x20
>
> _start:
> =A0 =A0 =A0 =A0set 110393, %i1
> =A0 =A0 =A0 =A0set 0x40, %i2
>
> =A0 =A0 =A0 =A0cmp =A0%i1, %i2
> =A0 =A0 =A0 =A0udivx =A0%g0, 1, %g0
> =A0 =A0 =A0 =A0movgu =A0%xcc, %i2, %i1
> =A0 =A0 =A0 =A0cmp =A0%i1, 512
> =A0 =A0 =A0 =A0bgu =A0%xcc, 0f
> =A0 =A0 =A0 =A0nop
>
> succ:
> =A0 =A0 =A0 =A0ta 0
>
> fail:
> 0:
> =A0 =A0 =A0 =A0ta 1
>
> The presence of the `udivx` instruction seems to be essential. Even
> though it has no effect on the computation, removing it will make the
> testcase non-reproducible.

Could you try to replace udivx with sdivx?  It looks wrong too.


Laurent