https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111972
liuhongt at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |liuhongt at gcc dot gnu.org
--- Comment #12 from liuhongt 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.
Is there any progress for this?
