On Sat, Jan 06, 2001 at 10:48:39PM +0100, Jan Hubicka wrote: > + case UNLT: > + if (code2 == UNLE || code2 == LTGT) > ! case UNGT: > ! if (code2 == UNGE || code2 == LTGT) These two are incorrect wrt LTGT. LTGT implies ORDERED. Otherwise ok. r~