From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:35976) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VZSIp-0003Zq-G8 for qemu-devel@nongnu.org; Thu, 24 Oct 2013 17:18:53 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VZSIj-00015v-9B for qemu-devel@nongnu.org; Thu, 24 Oct 2013 17:18:47 -0400 Sender: Richard Henderson Message-ID: <52698E89.6060605@twiddle.net> Date: Thu, 24 Oct 2013 14:18:01 -0700 From: Richard Henderson MIME-Version: 1.0 References: <526947CA.4020504@gmail.com> <52694A24.3050509@gmail.com> <526986CF.8090503@twiddle.net> <52698C28.6040001@gmail.com> In-Reply-To: <52698C28.6040001@gmail.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] [PATCH 15/19] Add VSX xmax/xmin Instructions List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Tom Musta , QEMU Developers Cc: "qemu-ppc@nongnu.org" On 10/24/2013 02:07 PM, Tom Musta wrote: > > See, for example, table 58 (Actions for xsmaxdp) on p. 369 of the > V2.06 ISA. Bah, I typoed my search in the document and looked at the Altivec insn, which is only one letter different, and doesn't have the same guarantees. Reviewed-by: Richard Henderson r~