<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">