[Mlir-commits] [mlir] [mlir][vector] Restrict vector.insert/vector.extract (PR #121458)

[Andrzej Warzyński]

================
@@ -886,9 +886,10 @@ def Vector_InsertOp :
      AllTypesMatch<["dest", "result"]>]> {
   let summary = "insert operation";
   let description = [{
-    Takes an n-D source vector, an (n+k)-D destination vector and a k-D position
-    and inserts the n-D source into the (n+k)-D destination at the proper
-    position. Degenerates to a scalar or a 0-d vector source type when n = 0.
+    Inserts an n-D source vector (the value to store) into an (n + k)-D
+    destination vector at a specified k-D position. When n = 0, the source
+    degenerates to a scalar element inserted into the (0 + k)-D destination
+    vector.
----------------
banach-space wrote:

Sure. But let me use the naming scheme from https://github.com/llvm/llvm-project/issues/131602, so:
* `valueToStore` + `dest` for `vector.insert`,
* `source` for `vector.extract`.

Let me know what you think!

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