https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103660
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #3) > Note I think the patterns added in that revision were incorrect: > + (cond (cmp@0 @01 @02) @3 zerop) > + (cond (icmp@4 @01 @02) @5 zerop)) > > allows for @1 and @2 (which by the way 01 and 02 is; just using base 8 > rather than base 10). for floating point and guess what !(a < b) for floating point is not the same as (a >= b). I will file a bug about that ...