From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:54370) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XrT4o-0000bS-CN for qemu-devel@nongnu.org; Thu, 20 Nov 2014 09:51:25 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XrT4g-0004Ji-U9 for qemu-devel@nongnu.org; Thu, 20 Nov 2014 09:51:18 -0500 Message-ID: <546DFFDD.6070106@suse.de> Date: Thu, 20 Nov 2014 15:51:09 +0100 From: Alexander Graf MIME-Version: 1.0 References: <1415828764-10582-1-git-send-email-tommusta@gmail.com> In-Reply-To: <1415828764-10582-1-git-send-email-tommusta@gmail.com> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] [2.3 V2 PATCH 0/6] target-ppc: Assorted Floating Point Bugs and Cleanup List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Tom Musta , qemu-devel@nongnu.org, qemu-ppc@nongnu.org On 12.11.14 22:45, Tom Musta wrote: > This patch series corrects some issues with floating point emulation > on Power. > > Patch 1 corrects a corner case in the square root instructions, which > incorrectly react to NaN whose sign bit is a 1. > > Patches 2-6 correct a rather pervasive problem with modeling of the CR[1] > field (i.e. the "dot form" instructions of the FPU). > > The bugs were found by running random test patterns through actual Power > hardware (P7 and P8) and comparing against QEMU. > > The patches conflict quite a bit with Paolo's series that splits CR into > 32 one bit registers. Paolo: is V3 of your patch series coming anytime > soon? > > V2 Reworked patches to pick up the gen_set_cr1_from_fpscr() utility that > was recently added by Paolo Bonzini. Thanks, applied all to ppc-next-2.3. Alex