From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([140.186.70.92]:37080) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QA3ld-0007Tp-7g for qemu-devel@nongnu.org; Wed, 13 Apr 2011 13:22:14 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1QA3lc-0008Vf-16 for qemu-devel@nongnu.org; Wed, 13 Apr 2011 13:22:13 -0400 Received: from b.mail.sonic.net ([64.142.19.5]:58072) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QA3lb-0008VV-Gd for qemu-devel@nongnu.org; Wed, 13 Apr 2011 13:22:11 -0400 Message-ID: <4DA5C372.5090807@twiddle.net> Date: Wed, 13 Apr 2011 08:38:26 -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> 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 [ 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. For the record, the goal for QEMU should not be to emulate the hardware exactly, but to emulate the entire HW+OS system. Thus when looking at Table B-2 one should look at the OS Completion Handler and User Signal Handler columns. That's for /s qualified instructions anyway. For non-ieee code we take care to inject the extra traps via helper_ieee_input*. (It looks like some of the Alpha code can be cleaned up a bit. I don't recall flush_inputs_to_zero option being there before, and we do that by hand in helper_ieee_input*.) r~