On 13 January 2011 01:31, Aurelien Jarno <aurel...@aurel32.net> wrote: > On Wed, Jan 12, 2011 at 03:05:10PM -0600, Peter Maydell wrote: >> Actually, will >> return ((a.high & 0x7fff) == 0x7fff) && (a.low >= >> LIT64(0x4000000000000000)); >> do? Untested but I think it will do the right thing. I'm not sure > > The explicit bit might be one for a NaN, so you should filter it first.
Whoops, yes, explicit-bit-set but signalling-bit-clear would be a false positive. -- PMM