diff options
author | Christian Ulmann <christianulmann@gmail.com> | 2024-04-19 13:46:10 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-04-19 13:46:10 +0200 |
commit | df411fbac60825d07090ce17391db7606d8400f1 (patch) | |
tree | d9457926d8f26b63a1d13f061ab088bdc681a374 | |
parent | 4d7f3d9e0fb8cf9a4db6aa73c4fcb21bae98ef3a (diff) | |
download | llvm-df411fbac60825d07090ce17391db7606d8400f1.zip llvm-df411fbac60825d07090ce17391db7606d8400f1.tar.gz llvm-df411fbac60825d07090ce17391db7606d8400f1.tar.bz2 |
[MLIR][DataLayout] Add support for scalable vectors (#89349)
This commit extends the data layout to support scalable vectors. For
scalable vectors, the `TypeSize`'s scalable field is set accordingly,
and the alignment information remains the same as for normal vectors.
This behavior is in sync with what LLVM's data layout queries are
producing.
Before this change, scalable vectors incorrectly returned the same size
as "normal" vectors.
-rw-r--r-- | mlir/lib/Interfaces/DataLayoutInterfaces.cpp | 15 | ||||
-rw-r--r-- | mlir/test/Interfaces/DataLayoutInterfaces/query.mlir | 12 | ||||
-rw-r--r-- | mlir/test/lib/Dialect/DLTI/TestDataLayoutQuery.cpp | 17 |
3 files changed, 36 insertions, 8 deletions
diff --git a/mlir/lib/Interfaces/DataLayoutInterfaces.cpp b/mlir/lib/Interfaces/DataLayoutInterfaces.cpp index e93a9ef..15cfb3d 100644 --- a/mlir/lib/Interfaces/DataLayoutInterfaces.cpp +++ b/mlir/lib/Interfaces/DataLayoutInterfaces.cpp @@ -75,10 +75,12 @@ mlir::detail::getDefaultTypeSizeInBits(Type type, const DataLayout &dataLayout, // there is no bit-packing at the moment element sizes are taken in bytes and // multiplied with 8 bits. // TODO: make this extensible. - if (auto vecType = dyn_cast<VectorType>(type)) - return vecType.getNumElements() / vecType.getShape().back() * - llvm::PowerOf2Ceil(vecType.getShape().back()) * - dataLayout.getTypeSize(vecType.getElementType()) * 8; + if (auto vecType = dyn_cast<VectorType>(type)) { + uint64_t baseSize = vecType.getNumElements() / vecType.getShape().back() * + llvm::PowerOf2Ceil(vecType.getShape().back()) * + dataLayout.getTypeSize(vecType.getElementType()) * 8; + return llvm::TypeSize::get(baseSize, vecType.isScalable()); + } if (auto typeInterface = dyn_cast<DataLayoutTypeInterface>(type)) return typeInterface.getTypeSizeInBits(dataLayout, params); @@ -138,9 +140,10 @@ getFloatTypeABIAlignment(FloatType fltType, const DataLayout &dataLayout, uint64_t mlir::detail::getDefaultABIAlignment( Type type, const DataLayout &dataLayout, ArrayRef<DataLayoutEntryInterface> params) { - // Natural alignment is the closest power-of-two number above. + // Natural alignment is the closest power-of-two number above. For scalable + // vectors, aligning them to the same as the base vector is sufficient. if (isa<VectorType>(type)) - return llvm::PowerOf2Ceil(dataLayout.getTypeSize(type)); + return llvm::PowerOf2Ceil(dataLayout.getTypeSize(type).getKnownMinValue()); if (auto fltType = dyn_cast<FloatType>(type)) return getFloatTypeABIAlignment(fltType, dataLayout, params); diff --git a/mlir/test/Interfaces/DataLayoutInterfaces/query.mlir b/mlir/test/Interfaces/DataLayoutInterfaces/query.mlir index d3bc913..5df3255 100644 --- a/mlir/test/Interfaces/DataLayoutInterfaces/query.mlir +++ b/mlir/test/Interfaces/DataLayoutInterfaces/query.mlir @@ -32,6 +32,18 @@ func.func @no_layout_builtin() { // CHECK: preferred = 8 // CHECK: size = 8 "test.data_layout_query"() : () -> index + // CHECK: alignment = 16 + // CHECK: bitsize = 128 + // CHECK: index = 0 + // CHECK: preferred = 16 + // CHECK: size = 16 + "test.data_layout_query"() : () -> vector<4xi32> + // CHECK: alignment = 16 + // CHECK: bitsize = {minimal_size = 128 : index, scalable} + // CHECK: index = 0 + // CHECK: preferred = 16 + // CHECK: size = {minimal_size = 16 : index, scalable} + "test.data_layout_query"() : () -> vector<[4]xi32> return } diff --git a/mlir/test/lib/Dialect/DLTI/TestDataLayoutQuery.cpp b/mlir/test/lib/Dialect/DLTI/TestDataLayoutQuery.cpp index a4464bb..84f45b3 100644 --- a/mlir/test/lib/Dialect/DLTI/TestDataLayoutQuery.cpp +++ b/mlir/test/lib/Dialect/DLTI/TestDataLayoutQuery.cpp @@ -46,9 +46,22 @@ struct TestDataLayoutQuery Attribute programMemorySpace = layout.getProgramMemorySpace(); Attribute globalMemorySpace = layout.getGlobalMemorySpace(); uint64_t stackAlignment = layout.getStackAlignment(); + + auto convertTypeSizeToAttr = [&](llvm::TypeSize typeSize) -> Attribute { + if (!typeSize.isScalable()) + return builder.getIndexAttr(typeSize); + + return builder.getDictionaryAttr({ + builder.getNamedAttr("scalable", builder.getUnitAttr()), + builder.getNamedAttr( + "minimal_size", + builder.getIndexAttr(typeSize.getKnownMinValue())), + }); + }; + op->setAttrs( - {builder.getNamedAttr("size", builder.getIndexAttr(size)), - builder.getNamedAttr("bitsize", builder.getIndexAttr(bitsize)), + {builder.getNamedAttr("size", convertTypeSizeToAttr(size)), + builder.getNamedAttr("bitsize", convertTypeSizeToAttr(bitsize)), builder.getNamedAttr("alignment", builder.getIndexAttr(alignment)), builder.getNamedAttr("preferred", builder.getIndexAttr(preferred)), builder.getNamedAttr("index", builder.getIndexAttr(index)), |