[Mlir-commits] [mlir] [mlir][vector] Add verification for incorrect vector.extract (PR #115824)

[Andrzej Warzyński]

banach-space wrote:

> I referred to SPIR-V not having 1-element vectors (both 0-, 1-, and n-D). When converting to SPIR-V, this causes extra complexity because the type converter will return scalars for original operands/results of vector type.

Ah, now I see, thanks! This makes me think that the reducing the number of possible representations of scalars as vectors could be a good thing for SPIR-V? 

https://github.com/llvm/llvm-project/pull/115824