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

    <tr>
        <th>Summary</th>
        <td>
            [ValueTracking] `ninf` is incorrectly inferred
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            miscompilation,
            llvm:analysis
      </td>
    </tr>

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

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

<pre>
    Alive2: https://alive2.llvm.org/ce/z/4CP8y6
```
define double @src(double noundef %x) {
  %cmp = fcmp ult double %x, 0.000000e+00
  %negX = fneg ninf double %x
  %sel = select i1 %cmp, double %x, double %negX
  ret double %sel
}

define double @tgt(double noundef %x) {
  %cmp = fcmp ult double %x, 0.000000e+00
  %negX = fneg ninf double %x
  %sel = select ninf i1 %cmp, double %x, double %negX
  ret double %sel
}
```

</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzMU82OnDwQfJrmYu2oaf6Ggw_sjjh_h09RrrbpYZwYM7LNZGefPoIl-xPlmEMQArpVVe3CZRWjHT2zhOoRiIZknl_uP4AIqlOmlnSZg9ybmZ6Hu-ycvTFB0YlLStcIRQfUA_Vq6x-cu02HOYxAvWGg_gWoL5_-O95rwA5q3G_sBj5bz2KYF-1YQIkxGKDjXvt58QOfBVD1DNQKaB4BO7HWZroKKE7ivH4sLr1JbNAngQfcLgZ6RPzF8jx-faV5HoW3_vyJt6Miuw0U2bFJwub7wFX3tzHv5Sq9CQT-uJjIbrXcnNbnH_ymMf1rfjfY3zP9YbezQRZDW7QqY5k3RdVQ2RZNdpFD1baqHAznujhqVVdY17ppsKkVmcZgZiUhVZhjjm15rJqDrso8z1uqa43aNAQl8qSse4teZmNcWOaUlwVmTml2cY_3ZKOZp6t1KtnZrymnJyBamVB0yit3jzbu6Q9y7T_oZYxQorMxxfcZySa3HZovyi38f1Dmu_UjVCcBNa7_EWoUNgrrzRwCm-Tuwvozh8BDtgQnP5-e0abLog9mnoD6bTmvr4drmL-xSUD95ioC9buxm6SfAQAA___lHx1s">