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

    <tr>
        <th>Summary</th>
        <td>
            [InstCombine] Missing `SimplifyUsingDistributiveLaws()` for logical operations
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            llvm:instcombine
      </td>
    </tr>

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

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

<pre>
    This comes up in e.g. https://github.com/llvm/llvm-project/issues/53861 after the SimplifyCFG part is fixed, we are missing at least the following transform:
https://alive2.llvm.org/ce/z/yRMr8_
... which is the poison-safe variant of https://alive2.llvm.org/ce/z/zjS4qv
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJylkU1vnDAQhn8NXEZBYGAXDhy2u0oVKbkk7bka8BgmMpjahu3m19fQpFVvlSoBxuP5eJ_XrZG35svADjozkoNlBp6Akj6BwfvZRfkpEvfh6dkPS5uErLDRev1Y7mZrXqnzYcvOLeTCT5lXhwxQebLgB4IXHmfN6na-_wwzWg9hnOIfJCNxhisBWoIxVPPUA3rQhM7vhcpoba5b2FucnDJ23ASllyg9_S0PNa8kkk1RYmwfIh2Fz1t4b89Ptvr2qyhJErgO3A2bhG3CbNiZ6c6hIljRMk4ejIJ_bv72-lJ8X2PZ5LLOa4w9e01NVH56mJw_m7HliaLyAk_veNEh_XDj6xa4sPOW28WHCY94De5VkahDVmC3oE3PHWowM1n0bCYXL1Y3_3EzRVnm8dB0sq2qND20KquPRSGFzPB4PHRdJhUVKGONLWm3gURC7E3zEwek7h1JiEAVcyNSIdJclJnIM5EmimohVVXk8nCs61pERUojsv7tXWybXVu79C4c6oDv_hxiMKmfaDdw64-LH4xtHqklSevzQ7yDNDvFT6ZA5WM">