[Mlir-commits] [mlir] [mlir][NFC] Improve `ShapedTypeInterface` documentation (PR #225282)

[Matthias Springer]

https://github.com/matthias-springer updated https://github.com/llvm/llvm-project/pull/225282

>From 15fc88ab486963a7f7dd296841c1078fd0889afa Mon Sep 17 00:00:00 2001
From: Matthias Springer <me at m-sp.org>
Date: Tue, 22 Sep 2026 03:33:07 +0000
Subject: [PATCH] [mlir][NFC] Improve `ShapedTypeInterface` documentation

---
 mlir/include/mlir/IR/BuiltinTypeInterfaces.td | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/mlir/include/mlir/IR/BuiltinTypeInterfaces.td b/mlir/include/mlir/IR/BuiltinTypeInterfaces.td
index 93c8c0694b467..c50a9910ce693 100644
--- a/mlir/include/mlir/IR/BuiltinTypeInterfaces.td
+++ b/mlir/include/mlir/IR/BuiltinTypeInterfaces.td
@@ -246,11 +246,12 @@ def ShapedTypeInterface : TypeInterface<"ShapedType"> {
     This interface provides a common API for interacting with multi-dimensional
     container types. These types contain a shape and an element type.
 
-    A shape is a list of sizes corresponding to the dimensions of the container.
-    If the number of dimensions in the shape is unknown, the shape is "unranked".
-    If the number of dimensions is known, the shape "ranked". The sizes of the
-    dimensions of the shape must be positive, or kDynamic (in which case the
-    size of the dimension is dynamic, or not statically known).
+    A shape is a list of sizes corresponding to the dimensions of the
+    container. If the number of dimensions in the shape is unknown, the shape is
+    "unranked". If the number of dimensions is known, the shape is "ranked". The
+    size of each dimension must be positive and not larger than "signed int64
+    max", or `kDynamic` (in which case the size of the dimension is dynamic, or
+    not statically known).
   }];
   let methods = [
     InterfaceMethod<[{