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

    <tr>
        <th>Summary</th>
        <td>
            [DAG] foldMaskedMerge  - add (~a | x) & (a | y) -> (a & (x ^ y)) ^y fold
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            good first issue,
            llvm:SelectionDAG
      </td>
    </tr>

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

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

<pre>
    Once #143855 is complete, we can add handling for the demorgan equivalent pattern (~a | x) & (a | y) 
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyEkM2umzwQhq9m2IwS4TGGsPAiX36-RXVUqecKDJ6AW4NT26Qnm157BTlSl11Zep8Zj97HpOSGmVmD-g_UuTBLHkPU3768uynMRRfsU3-de0YgKSp5UApdwj5Md8-ZgU74i7E3MxprcTSz9W4e8BYi5pHR8hTiYGbkn4t7GM9zxrvJmeOMQIffBqE54QdQi0D1Gr2S55oUVkvbytYUrEVTtQ2JRsli1FXTNILZippvJExXm_rAthWmqk1ZkimcppJUWQsq26oVct8fRCNJqr5TolSdgarkyTi_9_4x7UMcCpfSwnptWFeFNx37tCkhGkKweHMxZdyGgAjoBETrLsjjO3vuswvz-fj_ytS5iHplu24ZElSldymnv5eyy37Tvc6rM96Ct28m_WD7xnFgxN3m8p96diAvn9GLfSCoy8a2BXV5bn8XS_R6zPmeQB6BrkDXweVx6fZ9mICuW43Xs7vH8J37DHTdqiag66eSh6Y_AQAA__-yjKW0">