tree 03a661018b40d9d9aebc7ab787a320f420ad46db
parent f9734b9df15bc1eea84ef00973c2e5560e70c27d
author Simon Pilgrim <llvm-dev@redking.me.uk> 1734011110 +0000
committer GitHub <noreply@github.com> 1734011110 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJnWujnCRC1aQ7uu5UhlAAAf34QAHAhYdI00hMATBB0q+C/MrDt
 hR/d7GoBhiUrLF0xmVAlWtjt3oQxUUhD2JAVYZVJbJASqa5UF3dOQhV2WCj9S10w
 Wk/L7Ko3am8OzfNL3AiM75ViOxlPhnwh+ZPWcdvum9rNlYQltD2AKc6tCQ2R25VQ
 TI/zcTpB6pdSuW1uCJOS+vGukCeimaB1kyNEJMHbKhl2Kxodfkug3CnUqpfIHvyL
 O2Ja91KhZl/GOehLd7Y97wEcFv+Nqgyr9PFUomEm01iVFR604mE9zN60F196siWp
 bml681KLOSKmCVi15k7EL6AH64YoaJgDewaB33O66ugMJiZQ6ZMcgEQh/QL15LQR
 6yJ7VVYj0k+IzwHUwmVeHtY3a7YRDJNPJF3P6Do5OCorEBN7uL057vjd0pOEDYWW
 Ihen/DGtAym+Rim31Yh6A4NANdLM5TLgLAxp/xF7dPyRpaqOk2x2t3TPKEFc/Y6T
 zPPoQYdMxS8tXzr5e/Xyta/ufr2SZ+0q+vcRyinA2Du1ALF2syv/8ehxGhHfIaq7
 oBVzbIlYX45PDDl0ytHfWV3YD1R9iUUC790RO+RGhkF+mytY8GjkQfJTumWr0/cW
 JMxJ8IHlRrjmeyW+HG/5BaqPdeFGakDnF4/oOycmIsaLSfzYcFmOcGPIujyAZ08C
 WHK3dqCz3ejiioc+RtFz
 =Mmiq
 -----END PGP SIGNATURE-----
 

[VectorCombine] Fold "(or (zext (bitcast X)), (shl (zext (bitcast Y)), C))" -> "(bitcast (concat X, Y))" MOVMSK bool mask style patterns (#119695)

Mask/Bool vectors are often bitcast to/from scalar integers, in particular when concatenating mask results, often this is due to the difficulties of working with vector of bools on C/C++. On x86 this typically involves the MOVMSK/KMOV instructions.

To concatenate bool masks, these are typically cast to scalars, which are then zero-extended, shifted and OR'd together.

This patch attempts to match these scalar concatenation patterns and convert them to vector shuffles instead. This in turn often assists with further vector combines, depending on the cost model.

Reapplied patch from #119559 - fixed use after free issue.

Fixes #111431