[Bug target/82439] Missing (x | y) == x simplifications

[pinskia at gcc dot gnu.org]

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I was thinking more of expand time.  We need better expansion time options.

Maybe the option for expansion time is something which is parsed things like
this:

(for op (bit_and bit_ior)
 (expand
  (eq (op @0 @1) @0)
  ...


Hopefully you get the idea.