From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:47470) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YNrCH-00011x-8V for qemu-devel@nongnu.org; Tue, 17 Feb 2015 18:04:54 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YNrCD-0000PE-1Y for qemu-devel@nongnu.org; Tue, 17 Feb 2015 18:04:53 -0500 Received: from mail.uni-paderborn.de ([131.234.142.9]:38874) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YNrCC-0000Ot-R4 for qemu-devel@nongnu.org; Tue, 17 Feb 2015 18:04:48 -0500 Message-ID: <54E3D76D.6080209@mail.uni-paderborn.de> Date: Wed, 18 Feb 2015 00:06:05 +0000 From: Bastian Koppelmann MIME-Version: 1.0 References: <1423673343-25688-1-git-send-email-kbastian@mail.uni-paderborn.de> <1423673343-25688-4-git-send-email-kbastian@mail.uni-paderborn.de> <54E39D03.9040208@twiddle.net> In-Reply-To: <54E39D03.9040208@twiddle.net> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] [PATCH v2 3/6] target-tricore: Add instructions of RRR2 opcode format List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Richard Henderson , qemu-devel@nongnu.org On 02/17/2015 07:56 PM, Richard Henderson wrote: > On 02/11/2015 08:49 AM, Bastian Koppelmann wrote: >> - OPC2_32_RRR2_MADD_U_32 = 0x68, >> + OPC2_32_RRR2_MADD_U_64 = 0x68, > I guess this is a change to the spec, after the V1.0, 2012-05 edition that I have? Well, I guess this is a mistake in the documentation. The signature says the result is 32 bit, but the pseudo-code states E[c] = result[63:0] and E[c] is clearly a 64 bit register. My tests with the manufacturers simulator show the 64 bit behavior, too. Cheers, Bastian