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

    <tr>
        <th>Summary</th>
        <td>
            DAGCombiner fails to pull select of negatible expressions into user
        </td>
    </tr>

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

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

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

<pre>
    In test/CodeGen/ARM/fadd-select-fneg-combine.ll:fadd_select_fsub_fsub_f16 and a few other functions demonstrate this. The negation can be done in the user instruction if the two select inputs are both negated.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxEkk9v3CAUxD8NvjytZfCfrQ8ctokcVVUvae8RmIdNhWHFg6b99pXtjXIBaQYG5geKyC0BUbL-KxPi9ftPt8XAhGD9c6VKXmOSKhGGrdLR_JPfAmSkzMT0FA2-YGBiur3-YGKyypgLocc5X2zA5TLHTbuAtfesve3u2-m-WSr6MfABVDCgwOI7xLxiAlvCnF0MBAa3GCgnlRHy6qiGXytCwEXtPswqgEYwMSC4AHlFKIQJ3L6nHBng7KHn9wjn4eDCvWQClRB0zOsZh6aujGzN2I6qQsmHK--GL9exr1Yp2laYfjBX7KweeDNcNbcDjkag5rrrKydFIwQXfORD3_K-tnNnmqaz87UbR46cdQ1uyvna-z9bHdNSOaKCsh_7sa-80ujpwX9fwdrbHA0u-PEMSe7yRZeFWNd4R5k-o7LLHuXz7eXpxJ3AKucJcoR78f6jdrQPcNoj4N97QqIDsgs5Htyqkrxcc74Ta29MTExMi8tr0fUcNyam42rndLmn-Bvn_RccTYiJ6SjzPwAA__9Y0MaO">