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

    <tr>
        <th>Summary</th>
        <td>
            [InstCombine] Clang failed to fold (-a + b) / (a - b) into -1 due to the lack of nsw flag.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang
      </td>
    </tr>

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

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

<pre>
    Alive2: https://alive2.llvm.org/ce/z/tPAt3K

godbolt: https://godbolt.org/z/1xhv9afKj
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxkkMuO3CoQhp-m2CBbpvCNBQvPtJCOZnPW2RU2tpnQZmRw5_L0kXusREo2IH6qPlV9lJJfNuc0NC-A-KXpEBChuTE68hp3fSbMxumHHoJ_OAQ58DXnjwRyADSAhp55GcLjXsZ9ATSjAzQ_AU3-f8jyDaobVMPnucTJxpD_pVwfF-FsFt_Xh6L57Z1NWk5KKmJOi1apvm8kdmzVDkmIbiLbjlbVjXK2J2prMVInOzcq5jVWKIUQUtSIVVfWzWyt6i21sm36roK6cnfy4ff0zKd0ON2hEIoFsi6kS80YaFsuN7s-6wt7LAnqKviU0x9C9jk8ff63pfwa79ZvDpobfz0BfCYf3MRz5HMMEwfsC-KAL9wCKg5ozoh48fn2W468EHw63NmSV8cDjV95nPmWvvE50FKyYw_6L5k-r4ctx3gHNOdg11V87PHdjRnQPPdMgOa56q8AAAD__-0pnVE">