diff --git a/include/llvm/ADT/Hashing.h b/include/llvm/ADT/Hashing.h index 1b0e66947b2..7fbe5bb0ca2 100644 --- a/include/llvm/ADT/Hashing.h +++ b/include/llvm/ADT/Hashing.h @@ -357,8 +357,8 @@ template struct is_hashable_data template struct is_hashable_data > : integral_constant::value && is_hashable_data::value && - !is_alignment_padded >::value && - !is_pod_pair_padded::value)> {}; + (sizeof(T) + sizeof(U)) == + sizeof(std::pair))> {}; /// \brief Helper to get the hashable data representation for a type. /// This variant is enabled when the type itself can be used. diff --git a/include/llvm/Support/type_traits.h b/include/llvm/Support/type_traits.h index a10d83ca5e0..85d90b17f17 100644 --- a/include/llvm/Support/type_traits.h +++ b/include/llvm/Support/type_traits.h @@ -126,24 +126,6 @@ struct is_integral : is_integral_impl {}; template struct is_pointer : false_type {}; template struct is_pointer : true_type {}; -/// \brief Metafunction to compute whether a type requires alignment padding. -/// When true, an object of this type will have padding bytes inside its -/// 'sizeof' bytes. -template class is_alignment_padded { - struct pod_size_tester { T t; char c; }; -public: - enum { value = offsetof(pod_size_tester, c) != sizeof(T) }; -}; - -/// \brief Metafunction to determine whether an adjacent pair of two types will -/// require padding between them due to alignment. -template class is_pod_pair_padded { - struct pod_pair { T t; U u; }; - struct pod_char_pair { T t; char c; }; -public: - enum { value = offsetof(pod_pair, u) != offsetof(pod_char_pair, c) }; -}; - // enable_if_c - Enable/disable a template based on a metafunction template diff --git a/unittests/ADT/HashingTest.cpp b/unittests/ADT/HashingTest.cpp index a12cf90e274..449b6afae23 100644 --- a/unittests/ADT/HashingTest.cpp +++ b/unittests/ADT/HashingTest.cpp @@ -42,6 +42,16 @@ using namespace llvm; namespace { +struct NonPOD { + uint64_t x, y; + NonPOD(uint64_t x, uint64_t y) : x(x), y(y) {} + ~NonPOD() {} + friend hash_code hash_value(const NonPOD &obj) { + return hash_combine(obj.x, obj.y); + } +}; + + TEST(HashingTest, HashValueBasicTest) { int x = 42, y = 43, c = 'x'; void *p = 0; @@ -73,6 +83,16 @@ TEST(HashingTest, HashValueBasicTest) { hash_value(std::make_pair(42, std::make_pair(43, 44)))); EXPECT_EQ(hash_value(std::make_pair(42, std::make_pair(43, 44))), hash_value(std::make_pair(std::make_pair(42, 43), 44))); + + // Ensure that pairs which have padding bytes *inside* them don't get treated + // this way. + EXPECT_EQ(hash_combine('0', hash_combine(1ull, '2')), + hash_value(std::make_pair('0', std::make_pair(1ull, '2')))); + + // Ensure that non-POD pairs don't explode the traits used. + NonPOD obj1(1, 2), obj2(3, 4), obj3(5, 6); + EXPECT_EQ(hash_combine(obj1, hash_combine(obj2, obj3)), + hash_value(std::make_pair(obj1, std::make_pair(obj2, obj3)))); } template T *begin(T (&arr)[N]) { return arr; }