[PATCH] D104867: [InstSimplify] fold extractelement of splat even with variable index

[Fraser Cormack via Phabricator via llvm-commits]

frasercrmck added a comment.

I agree that fixed- and scalable-vectors should be treated identically, at least according to my reading.

As for the legality, so even though `%idx` may exceed the length of the vector and return a `poison` value, it's acceptable for us to "relax" that into `undef` and then immediately into the splat value? Is that what's going on?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D104867/new/

https://reviews.llvm.org/D104867