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

    <tr>
        <th>Summary</th>
        <td>
            missed optimization, fptrunc (x) >= C1 => x >= C2
        </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/n53up6
https://godbolt.org/z/q6vrbxTo3
```llvm
define i1 @src(double %0) {
if.end155:
%1 = fptrunc double %0 to float
%2 = fcmp oge float %1, 1.000000e+02
ret i1 %2
}
define i1 @tgt(double %0) {
if.end155:
%oge = fcmp oge double %0, 0x4058FFFFF0000000
ret i1 %oge
}
```

Other variants may follow the same patterns.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUU8FynDAM_Rpx8YQxss3iA4ckG6699AcMCHDHYIrNZpOv7wDptrvTSzUMDNJ70kM8mxBsPxGVoF5AnROzxsEv5edAU_9hpl5jUvv2oxxinAOIZ8AKsDLOXghT5y5j6pcesGoIsPoErCYl1jkHfgb-fE_qfVt7F78IG_Znflnq63cvDjjk_Li2vkeqpc5OxGzGQPKwNIBF69faEQNUHFAzOL0cUNulNLWZUtvAox-qjIE4s26Oyzo17C8qi551zpt4g-IBbcaZ-Z6O4gbNAF9ZlvI9CPCF48FZKO7CUH0l4HT-h-rYx_9Vvc2_E3PHfmX8Krkqqi0OWfxRke_pQdNtuV-v-_1bHGhhF7NYM8XARvPBOu-cf2dxIBbMSGw2MdIyhTRpS9FqoU1CZXbKuBRKKZ0MZZNr0zVF3hkptSjak5a6RiyKlhutDSa2RI6Si0xmudKZTiWdiGSdS2HanIsaJKfRWHczVGJDWKksFOYqcaYmF3aDIk70zvYiIG5-XcqN81SvfQDJnQ0x_OkSbXRUjjYEapmfox3tp4nWT9sSf5sCsLjuv0S8bTt_3S0D4o1dbylM1sU9HIHexmGt08aPgNVu2OPxNC_-BzURsNp1BsBq_45fAQAA__-7Rfxc">