diff --git a/mlir/include/mlir/Dialect/MemRef/IR/MemRefOps.td b/mlir/include/mlir/Dialect/MemRef/IR/MemRefOps.td --- a/mlir/include/mlir/Dialect/MemRef/IR/MemRefOps.td +++ b/mlir/include/mlir/Dialect/MemRef/IR/MemRefOps.td @@ -425,8 +425,10 @@ %arg1 = memref.clone %arg0 : memref to memref ``` - Note, that mutating the source or result of the clone operation leads to - undefined behavior. + Valid implementations of this operation may alias the input and output + views or create an actual copy. Mutating the source or result + of the clone operation after the clone operation thus leads to undefined + behavior. }]; let arguments = (ins Arg:$input);