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

    <tr>
        <th>Summary</th>
        <td>
            missed fold, zext(x + 1) - 1 > 8 => x > 8
        </td>
    </tr>

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

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

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

<pre>
    https://alive2.llvm.org/ce/z/-mgzSg
https://godbolt.org/z/xWreoG6x5
```
define i1 @src(i32 %0) {
entry:
  %2 = add i32 %0, 1
  %3 = zext i32 %2 to i64
  %4 = add i64 %3, -1
  %5 = icmp ult i64 %4, 8
  ret i1 %5
}

define i1 @tgt(i32 %0) {
entry:
  %r = icmp ult i32 %0, 8
  ret i1 %r
}
```
@regehr @dtcxzyw 


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUks2OozoQhZ-m2FiJTBnzs2DRfXOZB5jFrA0uwCMDLdt0kzz9yHQySWdmMxIStvhOnTpFKe_NMBPVIF9BnhK1hnFx9WWkeTireagwaRd9rscQ3jyIF8AGsFHWvBMerX2fjosbAJuOAJsLYHOYhsv3AfgJ-MtX0bDodrHhKojs9sPR8i3f5CcOOb8--1VTb2ZiJmWQce86wNIIZICSA1YMitdPjubgztFlv7EIIANxYkprdlf8x9IHQuzEhbZwQ5CFhZk8e4Cye5k821WxzOGxjtwR001vbLXhxmWRK2-Yo7CnQHkLWpyuhz-DhiH8Q1D3ZP-Q9i_27tn-68Ah444GGl3sQ4duu5w_2GOjia6FrkSlEqrTIuVVWcmiTMa6LHTfS8p4LrTmSvZCE0lFJHJFZdknpkaOGReYcpQoy2NbSd4VVa576oSiDjJOkzL2904lxvuV6jLneZpY1ZL1-44izvTB9o-AGFfW1VFzaNfBQ8at8cHfqwQTLNWT8Z406xer42jibwcsNwb4ytI44wNLGYj_WRnnGQ_b5zVZnX3a_cGEcW2P3TIBNtHn-jq8ueUndQGw2bvzgM3e_a8AAAD__xVB7M8">