tree 8ac11cd6e63d41681b5c99e0f4f01f40050a26d2
parent 8c61ef17c3aefd13eaf75f401aa8f3c7dd5d4a12
author hanbeom <kese111@gmail.com> 1741265027 +0900
committer GitHub <noreply@github.com> 1741265027 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJnyZiDCRC1aQ7uu5UhlAAAlR4QAHIuJlWNUbgZD5sa+/2DYzF4
 3O/StOTYFYuvyizuHfC9XyUTsa9l22W7Rhxni3PkY64S7+vJ9S56WLDis2KL/ppp
 vdOO1zP47Yx3DHGZFJ02nsAjEzeMQd9KBexTCA38FhMR0CEI3iU/w8i6KCEULAbd
 /x6tZb06AoCNNeKL9ikriUyfrZxH7l4h2WgUrwXz/fY/Lx9Es/EBoeiF4TQ9IlK0
 ILCPXztf8eerk98vEBThTb3gO1xau8i3A3bmONyiMKBX8X9DGSEDIT3zuCsry1z5
 sT7nmN2YfNijFVIbWuNaqT89lBpBtVkGcYCaadLDieiVwdcmMq1PVih2xRvzNQ3g
 zKtiKwPMPnuvhzEmT0C6Ryt/ElIC2ip+2nY/hKAgtYGtiDfACy/RDP7on/mv9dGh
 RHeoTNF5RnNShStyXeayAW0fwQ1oo29rZXhIQt4SuAHfCweJKPH1reTWCHCpGK40
 fxACrLg4Ou07sC3spSAB3l546n+T2GB5xwNQfUji3IJlJ4ogxzvDscExhXDkbaaD
 BhpR6BzbZXp5RQVbbnHR9vUNEujFxyhdLff2+Kyv7mXyJc3PK6I53r1Ljb7fdM61
 /5GiPX0Tw7WN1biSOaZckHqvAzQDfSLUeZTctMd9emfi1G0JMYkn/BbSjG7ZbDZ0
 gA4He2xWehCnkFKw4uq1
 =0kfk
 -----END PGP SIGNATURE-----
 

[VectorCombine] Handle shuffle of selects (#128032)

(shuffle(select(c1,t1,f1)), (select(c2,t2,f2)), m)
-> (select (shuffle c1,c2,m), (shuffle t1,t2,m), (shuffle f1,f2,m))

The behaviour of SelectInst on vectors is the same as for
`V'select[i] = Condition[i] ? V'True[i] : V'False[i]`.

If a ShuffleVector is performed on two selects, it will be like:
`V'[mask] = (V'select[i] = Condition[i] ? V'True[i] : V'False[i])`

That's why a ShuffleVector with two SelectInst is equivalent to
first ShuffleVector Condition/True/False and then SelectInst that
result.

This patch implements the transforming described above.

Proof: https://alive2.llvm.org/ce/z/97wfHp
Fixes #120775