[Bug tree-optimization/125442] Missed (x == 0) | ((x | y) == 0) to (x == 0)

[kaelfandrew at gmail dot com via Gcc-bugs]

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

--- Comment #11 from Kael Franco <kaelfandrew at gmail dot com> ---
Created attachment 64570
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64570&action=edit
Simple testcase

(In reply to Souradipto Das from comment #9)
> Let me know if this looks good.

Your testcase can be made simply using my Simple testcase attachment.