https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80588
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=106379
Target Milestone|--- |13.0
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #4)
> (simplify
> (eq truth_value@0 truth_value@1)
> (bit_xor @0 @1))
> (simplify
> (ne truth_value@0 truth_value@1)
> (bit_xor (bit_xor @0 @1)) { build_one_cst (type); })
Also I had this wrong.
~(a ^ b) is the same as a == b.
This was fixed by r13-1779-g375668e0508fbe173a (aka PR 106379).
