tree 003ca457de38a447c47387263cc6255136a246e4
parent 46c2d936624322e141c6eff319e1ad2d25f1afd7
author David Green <david.green@arm.com> 1714760078 +0100
committer GitHub <noreply@github.com> 1714760078 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJmNSmOCRC1aQ7uu5UhlAAAATEQAFZram+WzlsuU6rNgWJMycty
 0zec20JTiZQrVDehtzQ8YUK0744sTKv3sn+i2/ISA0qCt8qjCf95AUGFkjxT7Q3c
 NR3Isvzy+YLyuisu6pFlJBSXgQQOGnPkEGKPqB29/A6EhxSvTZGiAQmFdBZbNMR5
 b7XNlC1FYKfKgyb07+dwrwpqq0MQCopg/o13RTe8t3+fJpnVkm0Vcv5vqJ02QSHN
 UYvLrV/wvwUg/tGrB9sV7wiHoZEpUKw/ULPruMYo/nghZlxyTYf9rao5Pac/BfCA
 nbxAYTsypYN9DckGlQAPhuSvfF3yzbTzGN56knULSEHcRm0Alxi9UTrze6oSEsYL
 sXq6SSXHvWNAy0c9er4JYG6vDZyRw/SWyLRhQggyyWHM+b1hKeUBNcRbsdZsgvql
 HoCRQVXQmvwTZjcvt9uPco5L5zvJP/+9iEJJWneND8SzP4/g1UeHEPMtI/N6qro/
 uh+YZKxhh3hBeOv959D44oVEHCYgL/8U3aqB0oP2ZtaJJU3JRwFDqHYY9+ZoRY+u
 9Jh6YSdjX0X6/oSbvgp7XyCU85wEP+gumjxx0xU9q2zYry6yL7maKY8/Cz8FtTUV
 8j4cDS0HsnMtLcGXfNhCPSy3DFcW41B9sXGDM+wtmCjzXLgmeVF4OhZvfxT4sK40
 Ub3X8DofON8jGxob36l4
 =UpF6
 -----END PGP SIGNATURE-----
 

[VectorCombine] Add foldShuffleToIdentity (#88693)

This patch adds a basic version of a combine that attempts to remove
shuffles that when combined simplify away to an identity shuffle. For
example:
%ab = shufflevector <8 x half> %a, <8 x half> poison, <4 x i32> <i32 3,
i32 2, i32 1, i32 0>
%at = shufflevector <8 x half> %a, <8 x half> poison, <4 x i32> <i32 7,
i32 6, i32 5, i32 4>
  %abt = fneg <4 x half> %at
  %abb = fneg <4 x half> %ab
%r = shufflevector <4 x half> %abt, <4 x half> %abb, <8 x i32> <i32 7,
i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>
By looking through the shuffles and fneg, it can be simplified to:
  %r = fneg <8 x half> %a

The code tracks each lane starting from the original shuffle, keeping a
track of a vector of {src, idx}. As we propagate up through the
instructions we will either look through intermediate instructions
(binops and unops) or see a collections of lanes that all have the same
src and incrementing idx (an identity). We can also see a single value
with identical lanes, which we can treat like a splat.

Only the basic version is added here, handling identities, splats,
binops and unops. In follow-up patches other instructions can be added
such as constants, intrinsics, cmp/sel and zext/sext/trunc.