https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113186
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- So for the C testcase, we don't need to create a new pattern, just extend gimple_bitwise_inverted_equal_p to catch `a == b` and `a ^ b` are inverted equals like we already do for `a == b` and `a != b`. This allows for other patterns to work too ...