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

    <tr>
        <th>Summary</th>
        <td>
            Wrong folding of `select` and `shufflevector` (commutativity check)
        </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>
    https://github.com/llvm/llvm-project/blob/5d4a0d54b5269bad1410e6db957836fe98634069/llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp#L2618-L2623

Alive2 report: https://alive2.llvm.org/ce/z/BnWdZy


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

ERROR: Value mismatch

Example:
<4 x i8> %y = < #x00 (0), #x00 (0), undef, #xff (255, -1) >
i1 %cmp = undef

Source:
<4 x i8> %blend = < #x00 (0), #x00 (0), #x00 (0), #x00 (0) >
<4 x i8> %r = < #x00 (0), #x00 (0), #x00 (0), #x00 (0) >

Target:
<4 x i8> %sel = < #x00 (0), poison, #x00 (0), #x00 (0) >
<4 x i8> %r = < #x00 (0), #x00 (0), #x02 (2), #x00 (0) >
Source value: < #x00 (0), #x00 (0), #x00 (0), #x00 (0) >
Target value: < #x00 (0), #x00 (0), #x02 (2), #x00 (0) >

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/eJy8Vl9v4zYM_zT0i5BApvz3wQ9t0wADDhjQG3bAXg6yTSfqZCuQ5KzZpx9kJ23SXNfe_lwQyLJEk78fKYqUzqnNQFRBegvpKpKj3xpb1WbYPI7DY1Sb9lBtvd85EDeAa8D1RvntWC8b0wOutd6fHoudNY_UeMB1rU0NuE7bRPI2TeoUs7KWbZzEnLK2LtO8EFlHZZGJhGflmR4VvvvFysF1xvYOcP3T4Pyd6Ws10OXbZ9LU-GWz2wGKT5jFxeITZiiAr4DfzOONVntCZmlnrAdxwy6pyGl7GYwvjd0Arptg5E_A9e3wpf3tcK7rOGZ8_k-Ip6XFB3-zdEudGoiBuEvYE1MFiHsGCXekv7rt2H1tTN-PnsQSAYtLKUwPgHdMxWHa9DvAkkF-ewSGggdi0wsLErWmoWUgViwo7jTtqfHGvjKd3zIetJ4NDPJVmHzT-iSShgHDIM4M2tnYFJdzlG9oer044T2ps-SvBOyRab46TsQKxP2Pdqsj_W94nvy9M8qZ4ZXTr3z5N4GbkHx3mD7i1-f8k16ZgbWG3ACYe7Ynq7oDYHyeEfcPDz8_hNz6VeqRWK9cL32zvRB5kv1O07MfrxBPZEHcMUDxxDkDLDhgObG7WhmHlrrTVteFLUwnqot4it3pTDyHZlI_f3aG6rMZbfM2qJf0-Siw91ZekF1F4P-yM8dT2g35N4meDvS3zb-c0x9KD6ewvmNnjiDbh4MXTuB_78DZdf_Qwoc4HJmMfS_t4eym4awx1oYbxl-kozsJxEwN74hw1kmlqV14E6rznt4WPFZKstZY96rURW0l2lKUMqIqzgXnoYAn0bbiso5l2eWyLHgukrQtuzIuqU7bumx4WkaqQo5JzLHgGS-TZFk0NeYJb8tcpIRpCwmnXir9XIMj5dxIVRyLIssiLWvSbmpOEAf6g027gBh6FVtNbUc9bhwkXCvn3Ysar7ym6os1w4Z1Rrdq2DDTMcj4fG9DxpkM-Z3xi0s2rAMWc7mQXu2VP7BmS83vgGU0Wv393dCEObQyR1L7Cv8KAAD__4RPeZg">