[Mlir-commits] [mlir] [mlir][vector] Support for extracting 1-element vectors in VectorExtractOpConversion (PR #107549)

[Andrzej Warzyński]

banach-space wrote:

Thanks! I am wondering whether the use case from the summary is correct. From the [docs](https://mlir.llvm.org/docs/Dialects/Vector/#vectorextract-vectorextractop):

> Degenerates to an element type if n-k is zero.

So, shouldn't the result be an element rather than a 1-d vector? I might be missing sth though - checking this on a phone while travelling 😅

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