[Mlir-commits] [mlir] 0fb24a8 - [mlir][Tensor] Improve documentation of verification behavior of InsertSliceOp.
Nicolas Vasilache
llvmlistbot at llvm.org
Wed Jun 29 07:53:16 PDT 2022
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:
```
More information about the Mlir-commits
mailing list