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

    <tr>
        <th>Summary</th>
        <td>
            `fcmp` miscompiled to a constant
        </td>
    </tr>

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

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

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

<pre>
    Alive2 report: https://alive2.llvm.org/ce/z/324E7x

```llvm
----------------------------------------
define i1 @fcmp_double_dynamic_dynamic.2() denormal-fp-math=dynamic,dynamic {
#0:
  %cmp = fcmp une double 0x0008000000000000, -0.000000
  ret i1 %cmp
}
=>
define i1 @fcmp_double_dynamic_dynamic.2() nofree noundef willreturn denormal-fp-math=dynamic,dynamic memory(none) {
#0:
 ret i1 1
}
Transformation doesn't verify!

ERROR: Value mismatch

Example:

Source:
i1 %cmp = #x0 (0)

Target:
Source value: #x0 (0)
Target value: #x1 (1)

Summary:
  0 correct transformations
  1 incorrect transformations
  0 failed-to-prove transformations
  0 Alive2 errors
```

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJycVFuvmzgQ_jXDi5XIDBDggYfT5vC60mm1r5UxQ-IjX5Bt0mR__YpL0-Roq62KkK_fzPd5PB4RgjpZogaKT1AcEzHFs_NN5-zpfbLvSef6W_Oi1YWQeRqdj5C9sHOMY4DsBbAFbMWyvdf6YvbOnwBbSYDtP4BthvlreQV-BP6ytQe-_jN8Xdr95reiexqUJaZSBjkfpBm_9W7qNH3rb1YYJX_0ewSsAGvWk3XeCL0bxp0R8QzZcYMAft5GDMpPmz7M-HyyZcIYYCHNyCA7spmLTZbYysf4lXNe8YcP8DPb8f022Tx4iovYxdHGUR63QXaE7PUPz2Xd4ImYdZPtaWDfldae4uTt753YkHH-BlhZZ2n294sQbPrTD9K_emHDMNNE5SzrHQULWEZ2Ia-GG2D6eOuvb29_vc2Z87fQEzGjghFRnp8gV2FGTXfitf3iJi9_Lt4DudwIYHblDLDigPWj1VfhTxTvVqsTdpm5ZxH_YbdaPENmrir94PrLZIzwt4cU4Uw670lGFp9iEn4AUqbs_0A4G4TS1O-i243eXejXwO0xkvfOhw9vap0mfZP1dVaLhJq0zHhZY1HWybnhXZGLasBMHrA6EPUkuqLrqnyQHU_7OlENcszTlBe8zLGo912f9lUnOea17Iuyg5yTEUrfH3uiQpioSdO8zstEi450WGoJoqXvbNkFxLm0-GY22nXTKUDOtQox_HQTVdTUwGHJfDjwOUWkM-McFBYdE0w6G6KwMZm8bp4L0EnF89TtpTOA7VJX1m4O5TvJCNguQgJguym9NPhvAAAA__8lh3fP">