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

    <tr>
        <th>Summary</th>
        <td>
            [InstCombine] Miscompilation on extract and insert element operations
        </td>
    </tr>

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

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

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

<pre>
    The following IR is miscompiled by the InstCombine pass:
```llvm
define <4 x float> @src(<4 x float> %a, <4 x float> %b, <4 x i32> %c) {
f_ult.SM.exit:
  %c0 = extractelement <4 x i32> %c, i32 0
  %a0 = extractelement <4 x float> %a, i32 0
  %a1 = extractelement <4 x float> %a, i32 1
  %b0 = extractelement <4 x float> %b, i32 0
  %b1 = extractelement <4 x float> %b, i32 123
  %cmp0 = icmp ne i32 %c0, 0
  %s0 = select i1 %cmp0, float %a0, float %b0
  %s1 = select i1 %cmp0, float %a1, float %b1
  %ra = insertelement <4 x float> <float poison, float poison, float undef, float undef>, float %s0, i32 0
 %rb = insertelement <4 x float> %ra, float %s1, i32 1
  ret <4 x float> %rb
}
```
Alive2 throws a "Target is more poisonous than source" on the optimized IR: https://alive2.llvm.org/ce/z/M9AyPJ
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUVF1r6zgQ_TXyy3CDPIqb6MEPuck1dKGwdPu-SPYk1iJbRpL79esXy2mbj-6SC4Ew8pxzRkecUSGYQ09UsuInK3aZGmPrfEne1NaMY6Zd81Y-tQR7Z617Mf0B7h_BBOhMqF03GEsN6DeILcF9H-LWddr0BIMKgYkN4zvGN-yOzz9rn7v5qKH91MbEdgmvsLdORSZ-AVvy4GuG66sPWCiG22sAFvrk3Ag8ntYMJbDVz1lu__do4-KvhwW9mvg5F6RGDkzsgF6jV3UkSx318Vu-7VQCP8Gq_8NezX6Fzn8XnZ-g9a3a-jttfav2JzpHcepaN8z6pu4G6Cm1JDen_lOlMPcFslRHMPkHeupLQrORZ6U-I8hvIcjPCU6d8mqetA_k__uqYjujB2eC67_YLuuxb2h_WYpfZ_KBX3o-jaFvGWMa95wrv3p9T98D9TFuq91F7uZyY80zIcTWu5cAChjik_IHiinPztPxrm4MEFvVQ3Cjr4khgutTwt0QTWfeqYH7RyY20MY4pJhjxbBSiX8xhXzh_IFhNYGrd4bVg9y8_flH1pSikUKqjMr8bi0ll6tinbXlnqu1Fgp5XmhUKpdiKVayKWquZaGaIjMlchR8hTkXiGK9aGpcFrmUMi-QVL1nS06dMvZTPTMhjFTeCSkxs0qTDWnHIfb0AukjQ5xWni8nzA89HgJbcmtCDF8s0USbluPJcmPFDh4-1p-KxvWTP8cogeqb4xvDxyO7gXzqC9nobXnu2sHEdtSL2nUMq7Qg578fg3f_UB0ZVmnawLBKt_k3AAD__4bIrD8">