[Mlir-commits] [mlir] [mlir][Utils] Add verifyRanksMatch helper (NFC) (PR #175880)

Andrzej WarzyƄski llvmlistbot at llvm.org
Thu Jan 15 11:50:10 PST 2026


================
@@ -27,6 +27,12 @@ namespace mlir {
 LogicalResult verifyDynamicDimensionCount(Operation *op, ShapedType type,
                                           ValueRange dynamicSizes);
 
+/// Verify that two shaped types have matching ranks. Returns failure and emits
+/// an error if ranks don't match. Unranked types are considered compatible.
+LogicalResult verifyRanksMatch(Operation *op, ShapedType type1,
+                               ShapedType type2, StringRef name1,
+                               StringRef name2);
----------------
banach-space wrote:

[nit]
```suggestion
LogicalResult verifyRanksMatch(Operation *op, ShapedType lhs,
                               ShapedType rhs, StringRef lhsName,
                               StringRef rhsName);
```

https://github.com/llvm/llvm-project/pull/175880


More information about the Mlir-commits mailing list