[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
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
With a patch I have for PR 95185

we get:
```
  _1 = b_2(D) == a_3(D);
  _10 = b_2(D) ^ a_3(D);
  _5 = _1 ^ _10;
```

Which is better than before.

One more improvement would be:
```
bool a(bool x, bool y)
{
        bool t = x == y;
        return t ^ x;
}
```

Into:
```
bool a0(bool x, bool y)
{
        bool t = (x ^ y);
        return t ^ x ^1; // ~y
}
```

So the 2 which are needed still:

/* (a == b) ^ a -> b^1 */
(simplify
 (bit_xor:c (eq:c zero_one_valued_p@0 zero_one_valued_p@1) @0)
 (bit_xor @1 { build_one_cst (type); })

/* (a == b) ^ (a^b) -> b^(b^1) or (b^b)^1 or rather 1 */
(simplify
 (bit_xor:c (eq:c zero_one_valued_p@0 zero_one_valued_p@1) (bit_xor:c @0 @1))
 { build_one_cst (type); })

So mine.