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

    <tr>
        <th>Summary</th>
        <td>
            [VectorCombine] miscompilation
        </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/YwSTI4

```llvm
----------------------------------------
define i1 @icmp_xor_v4i32.2(<4 x i32> %a) {
#0:
  %e1 = extractelement <4 x i32> %a, i32 3
  %e2 = extractelement <4 x i32> %a, i32 1
  %cmp1 = icmp sgt i32 %e1, 42
  %cmp2 = icmp sgt i32 %e2, 4294967288
  %#1 = ashr i1 %cmp1, %cmp2
  ret i1 %#1
}
=>
define i1 @icmp_xor_v4i32.2(<4 x i32> %a) {
#0:
  %#1 = icmp sgt <4 x i32> %a, { poison, 4294967288, poison, 42 }
  %shift = shufflevector <4 x i1> %#1, <4 x i1> poison, 4294967295, 3, 4294967295, 4294967295
  %#2 = ashr <4 x i1> %#1, %shift
  %#3 = extractelement <4 x i1> %#2, i64 1
  ret i1 %#3
}
Transformation doesn't verify!

ERROR: Target is more poisonous than source

Example:
<4 x i32> %a = < #x00000000 (0), #xfffffff8 (4294967288, -8), #x00000000 (0), #x0000002b (43) >

Source:
i32 %e1 = #x0000002b (43)
i32 %e2 = #xfffffff8 (4294967288, -8)
i1 %cmp1 = #x1 (1)
i1 %cmp2 = #x0 (0)
i1 %#1 = #x1 (1)

Target:
<4 x i1> %#1 = < poison, #x0 (0), poison, #x1 (1) >
<4 x i1> %shift = < poison, #x1 (1), poison, poison >
<4 x i1> %#2 = < poison, poison, poison, poison >
i1 %#3 = poison
Source value: #x1 (1)
Target value: poison

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/eJy0VkuPqzYU_jUnGyuROYYACxYzk4nUVaW5o0pdXTmOSTwCHNkmN9NfX9kwPPLotIuiiODj73znDebWqkMjZQHJMySbBW_dUZtip5vDR9t8LHZ6_1k8VeoskRh50sYBeyJH504W2BPgFnDLw_aqqs71SpsD4FZIwO1fgNs_f_14_y0GugH61N_XtPt5eCda_surQ-9lqRpJVEQgpkrUp58XbX6eY8VwhYAZsJeYXIhiCOyVACYcMCeQPvf2kVHveVgQvy8jAmxD5MUZLpysZC0bR-7RvPglYVNd_G-60URX1KfOsg-C2IMLiOCQh8c4x-J9LHbYPM7XKWbZRAeQdfzcHk3IV2fTK_SUX2gjXQ_wSn2i0k3_wDbAXv-n5A9ODoHdTx6kz-SkldXNVbz4MpOTwe1Ab4-qdIHfHtuyrORZCqfNYCTqbYSwvZmp_NZenvgVuxVNVrPYcCzAQ5O9l3NF9k99NaEI5VfreOysWS3ZVS3fDW9sqU3NndIN2WtpG8DUkbM0qvwEjKaz-vr29vubn_d3bg6e1pJaG9knRreWuCNviNWtEXKmeOH1qZJDqW9rGsID5sNnF9pfBDCjgHmXFnYpuyvz8nnJl9kE9ki9k-IuqLPQiF993N1_dI5_eTmMX-fcPYY5EAfgd552atFs7L2el2TRLWJkHqOaIIapucPRFzpU7KYA0-YbSjD2-dwgXm8NliaJvCIeB-6WeXR0xtw9PaYcxmjO-PhppBrnIBD0wEntyZlXre-Ae5nsu36ATNV7krauufmcvNIoEdoYKRxxs1GzX4CIqOYbCCUlV5XcL51enow-y8fA_sssjdHGXn1gF_uC7XOW84UsopTRdJ0mNF4cC5on6zJjcr0XbB0xLqIyK8ss4WWUxCJlC1UgxTiKaEJpnNB4JQUtM0QuEDMuUgExlTVX1fDNXyhrW1lEUZzTaFHxnaxsOFIgNvIXCbuA6E8YpvBKy117sBDTSllnRxqnXBXOIn-E9_SLrneqkZBsSK2s0PVJVSEFi9ZUxfwUclDu2O5WQteA23C46P58Cj-kcIDb4IYF3PZ-ngv8OwAA__-bSWCg">