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

    <tr>
        <th>Summary</th>
        <td>
            missed fold, x * C1 > C2 => 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/UmK7vQ
https://godbolt.org/z/a6Gqfvxv8

```llvm
define i1 @src(float %0) {
%t1 = fmul float %0, 0x3FF0CCCCC0000000
%t2 = fcmp olt float %t1, 0x3FE20418A0000000
ret i1 %t2
}

define i1 @tgt(float %0) {
%ole = fcmp ole float %0, 0x3FE12878E0000000
ret i1 %ole
}
```

generalization may be a little tricky for this one.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx8ksuSmzoQhp-m2ajGJTXitmDhsc1ZnFUWeQAJGlAi0AQJx56nTwGe2J5KoqK49tf10fqV96YbiUpIXiE5RmoOvZvK957G7qrGrsBIu-Za9iG8eYj3gBVgpaw5E-6sPQ87N3WAVU2A1Ttg9XX4Pzt_AX4Evn-GOtdoZ8MNWGpV-t-P9nw551v57Zzy7Vi6b68aas1IzAgGkvupBsxb61RggAkHLBhkrzcYkyAYxEfWDrNlj1UHxi9xVfHDsvi27hBuUD28MWfDHQzigzwhlyLfP5EThdVqaXDrlR0ff-bJPHThn-bO0qMF_UH_JDDP8tNfJJylzxYfw3yU6mikSVnzroJxIxvUlWliilkTgiUWJlN_v7LWTSz0xjM30i5qyrgp4kJFVIpMcBknmZRRXyaJTjHRiKrJ0iTO4jwRusg1tjqPMy4jUyJHyWMhRcYR5Q5joVUt2zytRaqLFiSnQRn7O02R8X6mMk8wzSKrNFm_phNxpJ9s_QiIS1incmFe9Nx5kNwaH_y9SzDBUjkY76lhrbPNMsMLA9yzwxKREzusm77cXW7P0TzZT1HvTOhnvavdAFitkdwuL2-T-0Z1AKxWJQ9Yrcq_AgAA__9DyPFc">