https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107887
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- The bigger question on this is canonical form here, is it `a < b` or `~a & b`. If it is `a < b` then we need the ability to match `a < b` as `~a < b` but that might get complex with bitwise_inverted_equal_p ...
