https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111972
--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #8)
> These should work:
>
> (simplify
> (convert (eq one_zero_valued_p@1 one_zero_valued_p@2))
> (if (types_match (type, TREE_TYPE (@1)))
> (bit_xor @1 (bit_xor! @2 { build_one_cst (type); }))))
>
> (simplify
> (convert (ne one_zero_valued_p@1 one_zero_valued_p@2))
> (if (types_match (type, TREE_TYPE (@1)))
> (bit_xor @1 @2})))
>
>
> Will test tomorrow.
Maybe we don't need the types_match either ...
But then we need a convert. That would fix PR 110637 too.
