[Mlir-commits] [mlir] [mlir][vector] Allow integer indices in vector.extract/insert ops (PR #115808)

[Diego Caballero]

dcaballe wrote:

Yes, actually, I put quite some time on this internally and was discussing with @matthias-springer about it. Unfortunately, we hit a dead-end and I have to backtrack some of the generalization changes so the current PR is pretty close to how the final state would look like, at least in terms of functionality.

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