From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([140.186.70.92]:37708) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QA3ib-0006bF-Ma for qemu-devel@nongnu.org; Wed, 13 Apr 2011 13:19:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1QA3ia-00088P-PJ for qemu-devel@nongnu.org; Wed, 13 Apr 2011 13:19:05 -0400 Received: from b.mail.sonic.net ([64.142.19.5]:57602) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QA3iZ-000888-LK for qemu-devel@nongnu.org; Wed, 13 Apr 2011 13:19:04 -0400 Message-ID: <4DA5C6F7.5070307@twiddle.net> Date: Wed, 13 Apr 2011 08:53:27 -0700 From: Richard Henderson MIME-Version: 1.0 References: <1302645571-20500-1-git-send-email-aurelien@aurel32.net> <1302645571-20500-9-git-send-email-aurelien@aurel32.net> <4DA5C372.5090807@twiddle.net> In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] [PATCH 08/19] target-alpha: use new float64_unordered() function List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Peter Maydell Cc: qemu-devel@nongnu.org, Aurelien Jarno On 04/13/2011 08:42 AM, Peter Maydell wrote: > On 13 April 2011 16:38, Richard Henderson wrote: >> [ Odd, the original thread doesn't seem to have arrived here. ] >> >> On 04/13/2011 07:52 AM, Peter Maydell wrote: >>> So I think you want the _quiet version here. (And helper_cmpteq >>> needs to use float64_eq_quiet rather than float64_eq.) >> >> Yes, the _quiet version is what's needed for all comparisons. > > Really all comparisons, including CMPTLT, CMPTLE? Oops, no. CMPTLE and CMPTLT in Table B-2 are on the next page, and clearly indicate that they signal InvalidOP for QNaN. So it's just CMPTUN and CMPTEQ that should not signal on QNaN. r~