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

    <tr>
        <th>Summary</th>
        <td>
            Missed optimization: fold icmp sgt (fptosi %x), -1 -> fcmp ogt %x, -1.0
        </td>
    </tr>

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

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

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

<pre>
    ```
define i1 @src(float %arg0) {
  %v0 = fptosi float %arg0 to i32
  %v1 = icmp sgt i32 %v0, -1
  ret i1 %v1
}

define i1 @tgt(float %arg0) {
  %v0 = fcmp ogt float %arg0, -1.0
 ret i1 %v0
}
```

Alive2: https://alive2.llvm.org/ce/z/XtQS6H
Godbolt: https://godbolt.org/z/xnr4dWM8q

Pattern found in https://github.com/dtcxzyw/llvm-opt-benchmark/blob/main/bench/opencv/optimized/tsdf_functions.ll
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyMUkGPmzwU_DWPi5XIPEIIBw7st5_by0qtemhvlcGGuDU2xY9sNr--MqSbbSpVlRACzzzPjD0yBNM7rSvIHyB_TORMRz9VlzPlSePVSwV7fn14rXRnnGYmZbDjYWoBD531khhgLqeeA5YMigfgNYtLJ84ge2TdSD4Y9huTkWcmw1dmujBNO4ws9BShdQPA_9gmXWiTpkU5soHXUDzG950p6ukfTUUp3xO740a5bcz6Vo_f9N6cBvC6tuakEbKaHYnGAFkNKACFXNa31p6GrZ96QNFqQHEBFF_o46f9e-D1O68ab-nP4X4FroNx5uymnfr8dPixqn6QRHpyrPOzU8y4-3lDx7nZtn4AFIra8-XlGVBEMxs_0qbRrj0OcvoOKBrrG0AxSOPiX0QAhR-1a0_LB5nBXLQCFBRU97WbXUvGu7C1NlFVpsqslImu0iLP832OWZEcK-TlvuMd6qbMUqn2hywveNrIAjvVZo1OTIUcc35IS55ynpbbrtBSlkWDe9kWhSphx_UgjX09wcSEMOsqzXe4w8TKRtuwVBbR6We2oIAYGzxVS9Jm7gPsuDWBwm0bMmR19WRC0Ipd08kYKF5D5626dTD2aG0uYH4GLNdysA1k_9_qs2Jra5J5stVf7iK6-HUR4-S_6ZYAxeI9AIpruFOFPwMAAP__CHIS2A">