[Bug tree-optimization/95929] Failure to optimize tautological comparisons of comparisons to a single one

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot 
gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
r14-3110-g7fb65f102851 (handling of a?~t:t -> (-(a))^t) basically fixes this.

The only thing left is removing of `bool = -bool`:
In:
  _1 = a_5(D) != 0;
  _2 = b_3(D) != 0;
  _13 = -_2;
  _12 = _1 ^ _13;