[Mlir-commits] [mlir] [mlir][nfc] Rename type constraint for scalable vectors (PR #68808)

Benjamin Maxwell llvmlistbot at llvm.org
Wed Oct 11 07:58:25 PDT 2023


================
@@ -27,7 +27,7 @@ include "mlir/Interfaces/InferTypeOpInterface.td"
 
 class SMETileType<Type datatype, list<int> dims, string description>
   : ShapedContainerType<[datatype],
-      And<[IsVectorOfRankPred<[2]>, allDimsScalableVectorTypePred,
+      And<[IsVectorOfRankPred<[2]>, IsVectorTypeWithAllDimsScalablePred,
----------------
MacDue wrote:

Not required: The `IsVectorOfRankPred<[2]>` is redundant `dims` list always has two elements. 
```suggestion
      And<[IsVectorTypeWithAllDimsScalablePred,
```

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


More information about the Mlir-commits mailing list