<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/128622>128622</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
LLVM fails to optimize (a & b) + (a & b) + (a ^ b) down to a + b
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
johnplatts
</td>
</tr>
</table>
<pre>
According to a snippet over at https://alive2.llvm.org/ce/z/w7xLPL, LLVM fails to optimize `(a & b) + (a & b) + (a ^ b)` down to ` a + b`.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyUkTGP3CAQhX_N0KCz8GCwt6C4S-JqI6VKD3jW5sQay-Dd5H59ZGt1UYotUoEezNN739icwzgTGVBvoL4yu5UpreY9TfMSbSmZuTT8Nq_ep3UI88hL4pbnOSwLFZ5utHJb-FTKkkG-AvaAvY3hRljFeLtWaR0Be0-A_Qdgf29_nX-cAb_w8_nnd36xIebdMi0lXMMHcdACsLMcUHMHeOKAb_yZor4dCmjBh3Sfd6P9bo8vDrSo2GDkcJIny8jUbSMapUQt2GQuwpLs5KAG71tsW4e11R11uvVK1FqxYFCgEohKyEZKUV2EknUrTp2svVbWQSPoakP87MlCzhuZGjuNyKJ1FPOBFXGmOz9eAXGnvJp96MVtY4ZGxJBL_mtTQolknvH5XzifZB5U2LZG8---xlCmzVU-XQH7PcbjeFnW9E6-APZH-AzYP9rdDP4JAAD__zD1p44">