<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/56731>56731</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [InstCombine] missing canonicalizations for bitwise logic + add
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          rotateright
      </td>
    </tr>
</table>

<pre>
    We changed a canonicalization for "and + add" in:
https://reviews.llvm.org/D130080
...which suggests that we should have canonicalizations for the other bitwise logic opcodes too for consistency:
or + add:
https://alive2.llvm.org/ce/z/SQNt-L
xor + add:
https://alive2.llvm.org/ce/z/64RNkZ
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJylkk1v3CAQhn-NuaBYGGzsPXBIsqpUqYrU9lCpNwyzQINhBXi3ya8v643SRmlPlfiYAWbm4YU56ifxDbCyMhjQWGIlQwxOSe-eZXEx4ENMuKFUBl2nOyy1rh52oWG3Ddk35NaWcswXj36oLcHJwTm33p-WNiZTl_YdI2Qi19Nt256tUxbn1RjIJeNiZcFnwNnG1Wts5QneUeQNo1jAsQ4Jz66cXQbso3EKx6OKGmqmGLdzqga4XCCop1fK7RZX_L-D11onoH9yK6jDc-1fPz-Um0_XoJ__k4j3Xx4evyMQHR-mqe-nkSMtmN6xnUTFFQ-iGe4-hlzu4zK7AM2wx4vL2QXzD03eKvFChtbkxVsq44pd51bFpToXtpfp5pjiD1ClurXOCrkaAx9Zh6zoGZtVN3BF-KAHtlNqnKSSjPLxQOdJIS9n8PnCXP9EgDPeUlS7ciMnKKGUjJR3fdezoR0PkrNulv3ICWgqm57AIp1_lQolsSHNq8l109c3_P2RkKwymACbRJf8ci02JpFikQWSM7agrbzY8H8BnkPqDg">