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

    <tr>
        <th>Summary</th>
        <td>
            [DAG] SelectionDAG::canCreateUndefOrPoison - add ISD::ABDU/ABDS handling + tests
        </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>
    - [ ] Create alive2 tests proving ABDU / ABDS patterns don't create poison/undef
- [ ] Add ISD::ABDU/ABDS to SelectionDAG::canCreateUndefOrPoison and add suitable test coverage
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyMkUGP2yAQhX_N-IIS4bGJ4wMHZy1XVQ-tGu0PwDBxqAhEgCP131fYlVaVetiTLXjzePM9lZJdPJEEcQExVmrN9xDlz29X-wi-moP5LQ8MxIWBGNlbJJWJKWdfhCxTyok9Y3hZv7DhMr4zwKn8XNlT5UzRJ2aCB-wy0_voM9hUTqbVG7oBHz7MB2PY1-sIzQDNUNwAp80rB3YlRzrb4Mfhyy7Qyu9p3ovR9_hjM2bKG6aMYWm1Wc2OtpBMhxdFtVBlZGP6plcVyboTyEWPZ17dJSde80Yo1TSnc9fd5lPbnjm_nVF1Wuu-shI5Ct7xvq75mfNjfaJemL7lqEjPdQstp4ey7ujc63EMcalsSivJuu1OvaicmsmljTLiEoJhNxtTZpsIEAHfALHMQjP8sy1i6SXKcneY1yVBy51NOX28lG12W4NFL8bP0zpsrP4L_a68caVXwMvedLVGJ-85P1NR4wQ4LTbf1_mowwNw2sLvn8Mzhl-kM-C0LZgAp78gXhL_BAAA__8KpcRm">