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

    <tr>
        <th>Summary</th>
        <td>
            LLVM is not considering X u > C, a, b to be the same as X <= C, b, a.
        </td>
    </tr>

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

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

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

<pre>
    LLVM is not considering X u > C, a, b to be the same as X <= C, b, a.

To fix this, let's move the folds to after the canonicalization of -1 to TrueVal.

Alive2 Proof:
https://alive2.llvm.org/ce/z/8QbZfx

_Originally posted by @AtariDreams in https://github.com/llvm/llvm-project/pull/97973_
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy0kj1v2zAQhn8NtRxikEdZHwMH166mFG2BIAi6BKR0klhQokFSbpxfX0gO2mbskOUI3r147gOvjtEOM5Fi-09sf8r0kkYf1CHpYE-B9BQz47urur9__AI2wuwTtH6OtqNg5wGeYAEmP8OR4RH0GgwkD4YgjQRRTwQ6whMweWTydJOZTbtj_MT44RYfPPT2BdJo41p0lBiWESZ_uYF677q4gnWfKGypVs9-tq129lUn62fwPdyJVfMQFnrU7l2Dg7MXQvgWvO-ZfEuOKZ3j-sOGYaM3yc65y7TzYWDYtMSweWXYVN_Nj_5lgx2evwY72Fk7d4Wzj4k6MFdgOf_nZmBneA8fbBoXs2v9xLBZW7w9d-fgf1KbGDbnxTmGTV3WpXzOOiW7WtY6IyVKFLzgoqiyUZkSDbai70VdcyFNUe0LbHXbS2l4V1FmFXLMeSn2ohAFL3ei4i0vdYGIppCUs5zTpK37s2lmY1xI1VWNRea0IRc3OyDO9Au2IkNc3RHUNrNZhshy7mxM8S8l2eToI4ySLcGp_z7nNndcD7rtdVH4OwAA__-6zOdL">