<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=http://email.email.llvm.org/c/eJylUE1PxCAQ_TVwabbhYyntgYOr9WDij4Ay26K0bIBW118vdo0mXk2YmTdvkjdvMMFe1ZTzJSF-h9hjedq7DVjt_TbXIY6FGaCkjxK9ewpywFZx2_FOY73mKURl9easCX7TS3q94jX6P5Kjy9Nq6iHMpfkS_i6HSwwvMOTSupRWSAUIzoXEkxJ66CwXrSBgNHRWHo8NFcxSaiRtujP22oBPCokTYmyBt2qXKBiJB_x_B04xwhihjFHOpWhqbaQltGlaA-RMWo6OBGbt_M9P4ah2SbOOqQy9Szn9DnVKblwAdsPFYXbZg3ouW90yVjnq5RzirLMLS4VY-15SU10R6wo4VUj2N1Le38gD4v0vK_qdxfsNaj_gE_wOknI>53357</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
Missing tranformation (x & y) + ~(x | y) -> ~(x ^ y)
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
davidbolvansky
</td>
</tr>
</table>
<pre>
https://alive2.llvm.org/ce/z/EiJo7c
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxdkMFuwyAMhp8GLlEjAiMkBw7rlh0m7SFMQhM6Eiog2bqnn5dOqzQJ7N-_JfNhE4arnnK-JCIeCX_BA95tlpfeb3MZ4ohObzF84e3ca1A9HbQYWtECzS57q99cSm4ZixxhOYU4Q3ZhKQhvPjHUxZXwFsWxIKq7merpZh6I6O6u7HaXrtH_IxpdnlZT9mHG4ofrNx0uMZxtn7FEhNUmFFIIqeikDVOWy_akoOcGbIPAtqkkyLqvYWA19WCsT5rII-F8sR_FPgI1kc_Uac44ZxXnlRBK1iUYNbCqrhtj2Yk1gjwwO4Pzf2uiUe9IZh0TNr1LOd2bgBsaF2v353A-rHkKUQ-wucEEv8GS3q90J9D7D74BpnZ9iQ">