From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:4830:134:3::10]:48798)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <benh@kernel.crashing.org>) id 1bEPlw-0002A7-6c
	for qemu-devel@nongnu.org; Sat, 18 Jun 2016 19:35:28 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <benh@kernel.crashing.org>) id 1bEPlq-0006l5-5x
	for qemu-devel@nongnu.org; Sat, 18 Jun 2016 19:35:27 -0400
Message-ID: <1466292910.24271.95.camel@kernel.crashing.org>
From: Benjamin Herrenschmidt <benh@kernel.crashing.org>
Date: Sun, 19 Jun 2016 09:35:10 +1000
In-Reply-To: <3258f4f3-6f5d-bb1f-9cac-2d19cac7ab53@kaod.org>
References: <1465795496-15071-1-git-send-email-clg@kaod.org>
	<1465795496-15071-2-git-send-email-clg@kaod.org>
	<20160616010702.GI28087@voom.fritz.box>
	<20160617022731.GA19581@voom.fritz.box> <57639095.5010305@kaod.org>
	<576392B1.6030204@kaod.org> <5763A258.2010408@redhat.com>
	<5763D3EF.6060305@kaod.org> <5763D8D1.70701@redhat.com>
	<3258f4f3-6f5d-bb1f-9cac-2d19cac7ab53@kaod.org>
Content-Type: text/plain; charset="UTF-8"
Mime-Version: 1.0
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Qemu-devel] [Qemu-ppc] [PATCH 01/10] ppc: Fix
 rfi/rfid/hrfi/... 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: =?ISO-8859-1?Q?C=E9dric?= Le Goater <clg@kaod.org>, Thomas Huth <thuth@redhat.com>, David Gibson <david@gibson.dropbear.id.au>
Cc: qemu-ppc@nongnu.org, qemu-devel@nongnu.org

On Fri, 2016-06-17 at 16:32 +0200, C=C3=A9dric Le Goater wrote:
> The instruction set PPC_POWER_BR contains nearly all the deleted=C2=A0
> instructions from isa2. rfi is not part of it and should. Also, only=C2=
=A0
> the cpus "PowerPC 601*" make a use of it in their insns_flags.

Are you sure those arent the old POWER instructions as in pre-powerPC
architecture that 601 (and only 601) supports ?

> So, we would want this set to be in all the "PowerPC {6,7}*" cpus.=C2=A0
> Are there more ?=C2=A0

All 32-bit hash based CPUs are arch 1.x and support rfi

All 64-bit hash based CPUs we support (ie, POWER4 and later) are
architecture 2.x and later.

So my test is correct in the context of what we emulate today.

Cheers,
Ben.