aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRainer Orth <ro@gcc.gnu.org>2022-08-19 21:59:57 +0200
committerRainer Orth <ro@gcc.gnu.org>2022-08-19 21:59:57 +0200
commit8847d9a2424caebf7340367a1ba203cb1569525d (patch)
treedb160baddc4479c31d612a070e39368de9c67f31
parent59960e8db9cf53ef6be7a1f4015be227aff34e3f (diff)
downloadllvm-8847d9a2424caebf7340367a1ba203cb1569525d.zip
llvm-8847d9a2424caebf7340367a1ba203cb1569525d.tar.gz
llvm-8847d9a2424caebf7340367a1ba203cb1569525d.tar.bz2
Reland "[mlir][test] Fix IR/AttributeTest.cpp compilation on Solaris"
The `IR/AttributeTest.cpp` test fails to compile on Solaris: ``` /vol/llvm/src/llvm-project/local/mlir/unittests/IR/AttributeTest.cpp:223:36: error: no matching function for call to 'allocate' AttrT::get(type, "resource", UnmanagedAsmResourceBlob::allocate(data)); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /vol/llvm/src/llvm-project/local/mlir/unittests/IR/AttributeTest.cpp:237:3: note: in instantiation of function template specialization 'checkNativeAccess<mlir::detail::DenseResourceElementsAttrBase<int8_t>, char>' requested here checkNativeAccess<AttrT, T>(builder.getContext(), llvm::makeArrayRef(data), ^ /vol/llvm/src/llvm-project/local/mlir/unittests/IR/AttributeTest.cpp:258:3: note: in instantiation of function template specialization 'checkNativeIntAccess<mlir::detail::DenseResourceElementsAttrBase<int8_t>, char>' requested here checkNativeIntAccess<DenseI8ResourceElementsAttr, int8_t>(builder, 8); ^ /vol/llvm/src/llvm-project/local/mlir/include/mlir/IR/AsmState.h:221:3: note: candidate template ignored: requirement '!std::is_same<char, char>::value' was not satisfied [with T = char] allocate(ArrayRef<T> data, bool dataIsMutable = false) { ^ /vol/llvm/src/llvm-project/local/mlir/include/mlir/IR/AsmState.h:214:26: note: candidate function not viable: requires at least 2 arguments, but 1 was provided static AsmResourceBlob allocate(ArrayRef<char> data, size_t align, ^ ``` Because `char` is `signed` by default on Solaris and `int8_t` is `char`. `std::is_same<int8_t, char>` is `true` unlike elsewhere, rejecting the one-arg `allocate` overload. Fixed by renaming the two overloads to avoid the ambiguity. Tested on `amd64-pc-solaris2.11` ,`sparcv9-sun-solaris2.11`, and `x86_64-pc-linux-gnu`. Differential Revision: https://reviews.llvm.org/D131148
-rw-r--r--mlir/include/mlir/IR/AsmState.h10
-rw-r--r--mlir/unittests/IR/AttributeTest.cpp12
2 files changed, 12 insertions, 10 deletions
diff --git a/mlir/include/mlir/IR/AsmState.h b/mlir/include/mlir/IR/AsmState.h
index b54bf17..51a6631 100644
--- a/mlir/include/mlir/IR/AsmState.h
+++ b/mlir/include/mlir/IR/AsmState.h
@@ -211,15 +211,15 @@ public:
/// Create a new unmanaged resource directly referencing the provided data.
/// `dataIsMutable` indicates if the allocated data can be mutated. By
/// default, we treat unmanaged blobs as immutable.
- static AsmResourceBlob allocate(ArrayRef<char> data, size_t align,
- bool dataIsMutable = false) {
+ static AsmResourceBlob allocateWithAlign(ArrayRef<char> data, size_t align,
+ bool dataIsMutable = false) {
return AsmResourceBlob(data, align, /*deleter=*/{},
/*dataIsMutable=*/false);
}
template <typename T>
- static std::enable_if_t<!std::is_same<T, char>::value, AsmResourceBlob>
- allocate(ArrayRef<T> data, bool dataIsMutable = false) {
- return allocate(
+ static AsmResourceBlob allocateInferAlign(ArrayRef<T> data,
+ bool dataIsMutable = false) {
+ return allocateWithAlign(
ArrayRef<char>((const char *)data.data(), data.size() * sizeof(T)),
alignof(T));
}
diff --git a/mlir/unittests/IR/AttributeTest.cpp b/mlir/unittests/IR/AttributeTest.cpp
index 1a3342b..e393b83 100644
--- a/mlir/unittests/IR/AttributeTest.cpp
+++ b/mlir/unittests/IR/AttributeTest.cpp
@@ -219,8 +219,8 @@ template <typename AttrT, typename T>
static void checkNativeAccess(MLIRContext *ctx, ArrayRef<T> data,
Type elementType) {
auto type = RankedTensorType::get(data.size(), elementType);
- auto attr =
- AttrT::get(type, "resource", UnmanagedAsmResourceBlob::allocate(data));
+ auto attr = AttrT::get(type, "resource",
+ UnmanagedAsmResourceBlob::allocateInferAlign(data));
// Check that we can access and iterate the data properly.
Optional<ArrayRef<T>> attrData = attr.tryGetAsArrayRef();
@@ -279,7 +279,7 @@ TEST(DenseResourceElementsAttrTest, CheckNoCast) {
ArrayRef<uint32_t> data;
auto type = RankedTensorType::get(data.size(), builder.getI32Type());
Attribute i32ResourceAttr = DenseI32ResourceElementsAttr::get(
- type, "resource", UnmanagedAsmResourceBlob::allocate(data));
+ type, "resource", UnmanagedAsmResourceBlob::allocateInferAlign(data));
EXPECT_TRUE(i32ResourceAttr.isa<DenseI32ResourceElementsAttr>());
EXPECT_FALSE(i32ResourceAttr.isa<DenseF32ResourceElementsAttr>());
@@ -296,7 +296,8 @@ TEST(DenseResourceElementsAttrTest, CheckInvalidData) {
EXPECT_DEBUG_DEATH(
{
DenseBoolResourceElementsAttr::get(
- type, "resource", UnmanagedAsmResourceBlob::allocate(data));
+ type, "resource",
+ UnmanagedAsmResourceBlob::allocateInferAlign(data));
},
"alignment mismatch between expected alignment and blob alignment");
}
@@ -311,7 +312,8 @@ TEST(DenseResourceElementsAttrTest, CheckInvalidType) {
EXPECT_DEBUG_DEATH(
{
DenseBoolResourceElementsAttr::get(
- type, "resource", UnmanagedAsmResourceBlob::allocate(data));
+ type, "resource",
+ UnmanagedAsmResourceBlob::allocateInferAlign(data));
},
"invalid shape element type for provided type `T`");
}