[Bug tree-optimization/117760] `a != b` implies that a or b is also non-zero

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

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2024-11-24
             Status|UNCONFIRMED                 |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot 
gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
here are the simplifications I think that will work here:
```
(a != b) & ((a|b) != 0)  -> (a != b)
(a != b) | ((a|b) != 0)  -> ((a|b) != 0)

(a == b) & ((a|b) == 0)  ->  ((a|b) == 0)
(a == b) | ((a|b) == 0)  ->  (a == b)

(a != b) & ((a|b) == 0)  -> False
```