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. r~