[Mlir-commits] [mlir] 0fb24a8 - [mlir][Tensor] Improve documentation of verification behavior of InsertSliceOp.

[Nicolas Vasilache]

Author: Nicolas Vasilache
Date: 2022-06-29T07:52:54-07:00
New Revision: 0fb24a85cb7e91b23ad0e72590d2fcc814dc5c48

URL: https://github.com/llvm/llvm-project/commit/0fb24a85cb7e91b23ad0e72590d2fcc814dc5c48
DIFF: https://github.com/llvm/llvm-project/commit/0fb24a85cb7e91b23ad0e72590d2fcc814dc5c48.diff

LOG: [mlir][Tensor] Improve documentation of verification behavior of InsertSliceOp.

Added: 
    

Modified: 
    mlir/include/mlir/Dialect/Tensor/IR/TensorOps.td

Removed: 
    


################################################################################
diff  --git a/mlir/include/mlir/Dialect/Tensor/IR/TensorOps.td b/mlir/include/mlir/Dialect/Tensor/IR/TensorOps.td
index a6de3e9597d7..91001ec1f6b3 100644
--- 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:
 
     ```