[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