[Bug tree-optimization/125442] New: 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

            Bug ID: 125442
           Summary: Missed (x == 0) | ((x | y) == 0) to (x == 0)
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: kaelfandrew at gmail dot com
  Target Milestone: ---

Created attachment 64541
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64541&action=edit
C code

GCC trunk with -O3 does not optimize src () to tgt (). Maybe good for match.pd?
Godbolt link: https://godbolt.org/z/bYqbd8Gjj