[Bug tree-optimization/107880] bool tautology missed optimisation

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2022-11-26

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
We get in optimized:
  _9 = ~a_4(D);
  _10 = b_3(D) | _9;
  _7 = ~b_3(D);
  _8 = a_4(D) | _7;
  _1 = _8 == _10;
  _2 = b_3(D) == a_4(D);
  _6 = _1 == _2;