[Mlir-commits] [mlir] 5b96fcb - [mlir][Interfaces][NFC] DestinationStyleOpInterface: Improve documentation (#65927)

[llvmlistbot at llvm.org]

Author: Matthias Springer
Date: 2023-09-11T15:00:31+02:00
New Revision: 5b96fcb5b81c339bad572afeade253597f8045c0

URL: https://github.com/llvm/llvm-project/commit/5b96fcb5b81c339bad572afeade253597f8045c0
DIFF: https://github.com/llvm/llvm-project/commit/5b96fcb5b81c339bad572afeade253597f8045c0.diff

LOG: [mlir][Interfaces][NFC] DestinationStyleOpInterface: Improve documentation (#65927)

Mention that sizes of dynamic dims of tied OpResults/operands match at
runtime.

Added: 
    

Modified: 
    mlir/include/mlir/Interfaces/DestinationStyleOpInterface.td

Removed: 
    


################################################################################
diff  --git a/mlir/include/mlir/Interfaces/DestinationStyleOpInterface.td b/mlir/include/mlir/Interfaces/DestinationStyleOpInterface.td
index ff2da985c53d7c4..8558e0279e3e5bb 100644
--- a/mlir/include/mlir/Interfaces/DestinationStyleOpInterface.td
+++ b/mlir/include/mlir/Interfaces/DestinationStyleOpInterface.td
@@ -29,7 +29,8 @@ def DestinationStyleOpInterface : OpInterface<"DestinationStyleOpInterface"> {
     ranked tensors and every tensor init is tied to a corresponding tensor
     OpResult in a 1-to-1 fashion. The i-th init tensor is tied to the i-th
     OpResult. The op may not have any additional OpResults. Init operands and
-    their tied OpResults have the same type.
+    their tied OpResults have the same type. Dynamic dimension sizes also match
+    at runtime.
 
     If the op has "buffer semantics", then the input operands are either ranked
     memrefs or other non-tensor/memref types ("scalar" types). Furthermore, the