[Bug tree-optimization/111108] (a|c) == (a|c) should be convert into (a&~c) == (a&~c) IFF ~c simplifies

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111108

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Why not canonicalize to the form without ~ then?  That also is simpler for
non-constants?  Thus (X | C) == (Y | C) is canonical.