[Bug tree-optimization/101591] (a|b) ==/!= a -> (b & ~a) ==/!= 0 on gimple

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

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Not sure if it is cheaper - it's one more operation on GIMPLE so (a|b) == a
looks more canonical?