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

[Jakub Kuderski]

================
@@ -274,7 +274,7 @@ func.func @insert_dynamic(%val: f32, %arg0 : vector<4xf32>, %id : index) -> vect
 //       CHECK:   spirv.CompositeInsert %[[VAL]], %[[V]][2 : i32] : f32 into vector<4xf32>
 func.func @insert_dynamic_cst(%val: f32, %arg0 : vector<4xf32>) -> vector<4xf32> {
   %idx = arith.constant 2 : index
-  %0 = vector.insert %val, %arg0[%idx] : f32 into vector<4xf32>
+  %0 = vector.insert %val, %arg0[%idx : index] : f32 into vector<4xf32>
----------------
kuhar wrote:

Could you file an issue for this and link to it in the PR description and perhaps in some TODO in the code?

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