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

    <tr>
        <th>Summary</th>
        <td>
            [InstCombine] Missed optimization for select (a ^ -1) < -a
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    This could be optimize to a simple `a != 0`.
[Missed example](https://godbolt.org/z/jjhTWYfzr) and [proof](https://alive2.llvm.org/ce/z/I38PD4).
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxskcGq2zwQhZ9mvBli5FEcWwstbm5-w1380MWF0qVkTWIF2QqSnLZ5-uIQWihdaaE5Z858x-TsLwuzhvYI7akya5li0vdgnJ99SsbFbO7hync_Vja6n_pz8hnHuAaHljHeip_9g7FENJj9fAuMcBAGgRqQJxRwEDWIE4g3aI__-5zZIf8w2yC0J6B-KuWWQb4BDUDDJTobQ6ljugAND6Dhep0-v347PxKQQrM4hPZ4SzGe_yU3wd-Z6hDu88ti5JfPh-y_nPZAqq6clk5JZSrWzUGplqSQXTVpSa53qncdsWMhDkKNplNN39m97ZXoKq9JkGwaoYTay7arz6OT0jWtsOfGdlbCXvBsfPidoPI5r6y7putVFYzlkJ-siRb-js9PINrQJ71pdna9ZNiL4HPJf1yKL-FZ0seSy3ucrV82fPgC-qrBFB8XPMeEmQOPBYF6g9D-h7tmowfyHXemWlPQf1H3ZVptPcYZaNiWvp7dLcUrjwVoeEbNQMPzlF8BAAD__z-hsKk">