On Wed, Apr 13, 2011 at 08:53:27AM -0700, Richard Henderson wrote: > On 04/13/2011 08:42 AM, Peter Maydell wrote: > > On 13 April 2011 16:38, Richard Henderson <r...@twiddle.net> 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. >
Thanks to both of you for digging into the manuals, the information I have found in the manual I have were not so clear. I'll fix that in the next version. -- Aurelien Jarno GPG: 1024D/F1BCDB73 aurel...@aurel32.net http://www.aurel32.net