[mlir][Tensor] Improve documentation of verification behavior of Inse…

…rtSliceOp.
llvm · Jun 29, 2022 · 0fb24a8 · 0fb24a8
1 parent 2124b2f
commit 0fb24a8
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/mlir/include/mlir/Dialect/Tensor/IR/TensorOps.td b/mlir/include/mlir/Dialect/Tensor/IR/TensorOps.td
@@ -549,6 +549,11 @@ def Tensor_InsertSliceOp : Tensor_OpWithOffsetSizesAndStrides<"insert_slice", [
     The rank-altering behavior of tensor.insert_slice matches the rank-reducing
     behavior of tensor.extract_slice.
 
+    Verification in the rank-reduced case:
+    ======================================
+    The same verification discussion and mechanisms apply as for ExtractSliceOp.
+    Unlike ExtractSliceOp however, there is no need for a specific inference.
+
     Example:
 
     ```