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

    <tr>
        <th>Summary</th>
        <td>
            missed fold, fcmp ogt (x - y), 0 => fcmp ogt x, y
        </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/azHAHq
https://godbolt.org/z/M8WbdYE8x

```llvm
define i1 @src(float %0, float %1) {
%t2 = fsub float %0, %1
%t3 = fcmp ogt float %t2, 0.000000e+00
ret i1 %t3
}

define i1 @tgt(float %0, float %1) {
%olt = fcmp ogt float %0, %1
ret i1 %olt
}
```
@jayfoad @regehr 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUkkGPmzAQhX_NcLESDYMhcOCQNIv20nPVo4EBvDI4xWaV5NdXQDZpIvWwUQSy_d7wzfMo53Q7MOcQHyA-BmrynR3za8dDe1FDm1FQ2vqSd96fHER7oAKoUEZ_Mm2N-ey3dmyBioqBiut8dH3fv_8BPALun02trUtr_M0wa3-mv8r691t6XuW3Z4Lrf66-btXc6IGFDgVIdGMFlDbGKi-AYgT6Ie6rECgTsDvcSlHsSUB0FI2bSvHsWdR3WbTKqv4kbOsfUk-zFre4_BjogLi6RvYL0Wy-1dkd_23kidq3_hvU1vj_8LygPyCs8a8UX0HelhI_1KWxqp55Rm65G0VQ51GdRZkKOA93IcoIiZKgy0vMpEwSGVKGIUkOkeM64SysKipVjYHOCUliFMowjpDibbZLkiSVEqlhSVUKErlX2tynJNDOTZynMck4MKpk45apI1puOtrrwfnK9qUeGGjOHYh67RzXG3vyutdX5bUd5rP4GIz5bNuUU-tAotHOu8envPaG89UsGmvqJe-vNIHSs9iIC1C23O6cNURvD8F53r4E02heBr_VvpvKbWV7oGLBXl-b02g_uPJAxdKlAyqWRv8GAAD__5n89j4">