[Bug tree-optimization/52345] Missed optimization dealing with bools

[pinskia at gcc dot gnu.org]

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

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---

(In reply to Andrew Pinski from comment #5)
> // (a | zero_one) != 0 -> a!=0 | zero_one
> 
> (simplify
>  (ne (bit_ior:c @1 zero_one_value_p@2) integer_zerop@3)
>  (bit_ior (convert @1) (ne @2 @3)))
> 
> 
> // (a & zero_one) != 0 -> a==0 & (zero_one^1)
Should have been:
  // (a & zero_one) == 0 -> a==0 & (zero_one^1)

> (simplify
>  (eq (bit_and:c @1 zero_one_value_p@2) integer_zerop@3)
>  (bit_and
>   (convert (bit_xor @1 { build_one_cst (TREE_TYPE (@1)); } ))
>   (ne @2 @3)))
> 
> 
> Similar to:
> https://gcc.gnu.org/pipermail/gcc-patches/2023-September/630651.html