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

    <tr>
        <th>Summary</th>
        <td>
            Missed Optimization: Failure to fold linear floating-point expressions into a single comparison constant.
        </td>
    </tr>

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

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

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

<pre>
    ```
define i1 @src(<2 x float> %arg0) {
  %v0 = extractelement <2 x float> %arg0, i64 0
  %v1 = fmul float %v0, 2.000000e+00
  %v2 = extractelement <2 x float> %arg0, i64 1
  %v3 = fmul float %v2, 2.000000e+00
  %v4 = fadd float %v1, -1.000000e+00
  %v5 = fadd float %v3, -1.000000e+00
  %v6 = fcmp oeq float %v4, 0.000000e+00
  %v7 = fcmp oeq float %v5, 0.000000e+00
  %v8 = select i1 %v6, i1 %v7, i1 false
 ret i1 %v8
}

define i1 @tgt(<2 x float> %arg0) {
  %v0 = extractelement <2 x float> %arg0, i64 0
  %v6 = fcmp oeq float %v0, 5.000000e-01
  %v2 = extractelement <2 x float> %arg0, i64 1
  %v7 = fcmp oeq float %v2, 5.000000e-01
  %v8 = select i1 %v6, i1 %v7, i1 false
  ret i1 %v8
}
```
Alive2: available in alive2 with timeout limit = 50000:
```
----------------------------------------
define i1 @src(<2 x float> %arg0) {
#0:
  %v0 = extractelement <2 x float> %arg0, i64 0
  %v1 = fmul float %v0, 2.000000
  %v2 = extractelement <2 x float> %arg0, i64 1
 %v3 = fmul float %v2, 2.000000
  %v4 = fadd float %v1, -1.000000
  %v5 = fadd float %v3, -1.000000
  %v6 = fcmp oeq float %v4, 0.000000
  %v7 = fcmp oeq float %v5, 0.000000
  %v8 = select i1 %v6, i1 %v7, i1 0
  ret i1 %v8
}
=>
define i1 @tgt(<2 x float> %arg0) {
#0:
  %v0 = extractelement <2 x float> %arg0, i64 0
  %v6 = fcmp oeq float %v0, 0.500000
  %v2 = extractelement <2 x float> %arg0, i64 1
  %v7 = fcmp oeq float %v2, 0.500000
  %v8 = select i1 %v6, i1 %v7, i1 0
  ret i1 %v8
}
Transformation seems to be correct!
```

Godbolt: https://godbolt.org/z/EvhrT8Pqb
Pattern found in: https://github.com/dtcxzyw/llvm-opt-benchmark/blob/main/bench/pbrt-v4/optimized/bxdfs.ll
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJy8llFvozgQxz_N8GIlMmMg5IGHdFvu5U63D_sFDAyJ74zN2ibN9tOfTLrdqpdETTcqiiLA_nk8M3__hfRebQ1RBfkd5PeJnMLOuupPsjznRdLY7kcFBX_-8U1HvTLEVMog4961gCWIL8gOrNdWBhAPDDCXbssB1wxWd8A3LL7acwbintEhONkG0jSQCews-4WpImP8hU5nuh8mfZx8XDLOwyWfLwK8478A_EC49IUWp8LhhXDZEZBd9wpII7BITxP5KUJcIooj0Q4js_T9FZVFip-GVueg_AJUzpAnTW2Yex2jz1U63q-e73upPUXK0cu8EvgGVvfx_41cwjZ8llzOlmqem__MesHTGwnmbJnxbMCri3ymyq9O50arPSGIDZN7qbRsNDFlmJxfs0cVdiyogewUmFaDCvMO8rgzEJs3ay3eeX3QFADFc9DPsYff7_P7fOEaR7jGC650gSvP_9Wi5BcEKe5BPHzw8N9WFpdtgC_zG0njHRbwv2A3qPQ3J43vrRtkUNYwTzR4FixriLXWOWoDYPrmWAPf_GG7xuoQbWIXwuhjvbEGrLfHgaV1W8D6CbB-2O_ct_Lr9wb45qsMgZxhvZ1Mx5Q5wauwm5plawfAugvt4enHI2Ct9X5Y2DEsGjLtbpDuX8C60bYBrAepTHyKI4D12LiwiEqu7RjUoJ6oi6OHrvdLrZOuEt1arGVCVbpaiZSXeSGSXbXOinxdrIq8yxB7LigrqehlgWtEbNM0URVyLLhIOUe-RrEkIYu0LdeiJLHipYCM0yCVXsbNxgIkyvuJqrTM8zxLtGxI-_kjCdHQI5tHATF-M7lqzrCZth4yrpUP_tcyQQVN1V_Ke-rY38ek5nbF8tVS6clR7Flvdce0MiTdUTrKbBejVSYwOoyOvFfWeKZMsEwyr8xWxy4Po3TKW8Naa3yQJiyTyenqQl_izn42ZXT2n1kl9ZyPB6yfE95X-F8AAAD__5WQyQI">