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

[Matthias Springer]

================
@@ -96,8 +96,10 @@ class OpWithOffsetSizesAndStridesConstantArgumentFolder final
 /// in `integers` is `kDynamic` or (2) the next value otherwise. If `valueTypes`
----------------
matthias-springer wrote:

I looked into this a bit. I think `valueTypes` in needed in the parser, so that the user-specified types can be checked against the actual types in `resolveOperands`. `printDynamicIndexList` just has it for consistency.

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