https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95923
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #4) > So there are some patterns for non boolean as for boolean values ~(a^b) is > converted to a==b so we need to support the == case for these: The non-boolean ones were originally added by r8-4395-ge268a77b59cb78