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

    <tr>
        <th>Summary</th>
        <td>
            [InstCombine] folded select produces different result on a shuffled vector
        </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/73v-ug

```llvm
----------------------------------------
define <4 x i8> @sel_shuf_commute3.2(<4 x i8> %x, <4 x i8> %y, i1 %cmp) {
#0:
 %blend = shufflevector <4 x i8> { 0, 0, 0, 0 }, <4 x i8> %y, 0, 5, 2, 3
 %r = select i1 %cmp, <4 x i8> %y, <4 x i8> %blend
  %#1 = select <4 x i1> { 0, 1, 0, 1 }, <4 x i8> { 0, 1, 2, 3 }, <4 x i8> %r
  ret <4 x i8> %#1
}
=>
define <4 x i8> @sel_shuf_commute3.2(<4 x i8> %x, <4 x i8> %y, i1 %cmp) {
#0:
  %#1 = shufflevector <4 x i8> %y, <4 x i8> { poison, 1, poison, 3 }, 0, 5, 2, 7
  %#2 = select i1 %cmp, <4 x i8> %#1, <4 x i8> { 0, 1, 0, 3 }
  ret <4 x i8> %#2
}
Transformation doesn't verify!

ERROR: Target is more poisonous than source

Example:
<4 x i8> %x = < poison, poison, poison, poison >
<4 x i8> %y = < poison, poison, poison, poison >
i1 %cmp = poison

Source:
<4 x i8> %blend = < #x00 (0), poison, #x00 (0), #x00 (0) >
<4 x i8> %r = < poison, poison, poison, poison >
<4 x i8> %#1 = < poison, #x01 (1), poison, #x03 (3) >

Target:
<4 x i8> %#1 = < poison, #x01 (1), poison, #x03 (3) >
<4 x i8> %#2 = < poison, poison, poison, poison >
Source value: < poison, #x01 (1), poison, #x03 (3) >
Target value: < poison, poison, poison, 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/eJzEVltvszgQ_TXDi5XIFwjhgYe2aaR9Wqn7vX8yMCSuDI5sk233168M5EIaulVVaavKwfZ45sw5vox0Tu1axBySR0g2kez83ti8MO3utWtfo8JU7_mDVkfkxOLBWA_igey9PzgQD8C3wLeyn15qfWyWxu6Ab0sEvv0H-DYVx0W3A7oB-jC2Kzr8B_NhaPHFv8G6wlq1SEA8xeSNqDWIZwIxdah_u31X_y5N03QexZIDX0-tePIG_IncDr6HQcXCZ9kcgGcE0scRLRc05Nl3gkGhsa0IiA0JwWqNRyy9sTc-00dCg9OrhkC6mQ3emySh4aERl3h2iIUaS3-NccbR7WAPd_QW-sAFu_Z4smcT2OyMid2HPTEcIM_lZ0_RLfoPkwHOSHS6GT_EBsTz_y71lKxPpL5LfPpIDkY5055JunTPTN2Ink4j8y8L35P4uUT0EvhzNfiNGr-sbF1tbCO9Mi2pDLoWeOrJEa2q34Gz67P9_PLy50u4H35Ju0NPlCONsTgmbzpH_F62xJnOljhZ-Cabg8Yz_R-07MkAcc3j_Bc5b6APUn3Tz5n_fv1od4X_ryGjOfiXSyOEBi7eKCXA1xR4Ng38cW46Mp-a_SGKzpt-6qqHEVhYs_ugRZgTU4jDFur3wiw3Pxnvzn7-JiuDoOQodRdk_QFw45GY8fglpQZkXdNI-351U1FSGmvDNeEnp9WdDBhR7X-YUFJLpbFaeLM4WHPEecOxGEBrjXU3b_rQjapcVJnIZIQ5SwWjq4QlNNrnTMbVKq3XmK3rbFWLqoqLNCuxplLSuKgjlXPKY8bomjGexNmy5rWQsipTWtFklQmIKTZS6XOxESnnOswZS-JVEmlZoHZ9LcN5i3-TfhY4D6WNzcOiRdHtHMRUK-fdxY1XXvdF0B-t80-mKVSLkGxIbXSF1ekePlhTdSU6Uqm6RoutJxZdpz0xLZGnd6Iiw0sRdVbn01Jpp_y-K5alaYBv-wpo-Amkv2LpgW97yA74dszpmPN_AwAA__8bLpld">