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

    <tr>
        <th>Summary</th>
        <td>
            missed fold, x / c < x => x > 0
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            llvm:instcombine,
            missed-optimization
      </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/yG_wxp
https://godbolt.org/z/fKo893Pv1

```llvm
define i1 @src(i32 %0, i1 %1, i1 %2, i1 %3, i8 %4) {
if.then160:
  %5 = sdiv i32 %0, 131313
  %6 = icmp slt i32 %5, %0
  ret i1 %6
}


define i1 @tgt(i32 %0, i1 %1, i1 %2, i1 %3, i8 %4) {
if.then160:
  %5 = icmp sgt i32 %0, 0
  ret i1 %5
}
```

Constant c 131313 can be anything but 0 or 1.

@dtcxzyw @regehr 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy0U8FymzAQ_ZrloolHWiFsDhySOPTQS_-gI2ABdUDyINmJ_fUdCdLEaa8dGHizvCe9t2i192awRBWoJ1DHTJ_D6JbqNpIdrtoOJWaN667VGMLJg3wErAFrPZkL4W6aLvPOLQNg3RJgfQOsr99-vr6dgB-BP96LBtc1bgqbIHL77-5Qyh8XsdK3Z8HXO66-ljrqjSVmBIOc-6UFPBiJDFBxwOdURyU-IH5AmeAhwhywZLB_Wtc0_S6MZEXBo8FUYpGlGMgj8525sM97CBmvT7wi8Uw7n5ifwjtXRW7SbMyFwuak2OLtj3dp_w4YhvD_A67Gh3AX8h-u1VfX73_ns_1nZ33QNrB26xNrtWUNMW2vYTR2YM05MM7cwsTuLn3Ou9C-3a6vMfhCA40Ly7pKdqUsdUaV2AueK6G4yMZKil4cSBOWSKRE3vW4LziVedHuSzqozFTIMedS5ChQcbGTDW-1Fjl2vRT7QkHOadZm-nNyM-P9maqDkkJmk25o8mkSENPpk4_G-tC6uTGWAGPbAXE23lP34E7BzOamg3E2flPHbKmi7KE5Dx5yPhkf_MdWwYSJqlXMejd1seVvDLBmLQOZsDyCfEnghfHsvExfBm8wYTw3u9bNgHWyuL4eTov7RW0ArFMiD1inUL8DAAD__335DbM">