Index: llvm/trunk/include/llvm/ADT/DenseMap.h =================================================================== --- llvm/trunk/include/llvm/ADT/DenseMap.h +++ llvm/trunk/include/llvm/ADT/DenseMap.h @@ -53,6 +53,9 @@ template class DenseMapBase : public DebugEpochBase { + template + using const_arg_type_t = typename const_pointer_or_const_ref::type; + public: typedef unsigned size_type; typedef KeyT key_type; @@ -119,18 +122,18 @@ } /// Return 1 if the specified key is in the map, 0 otherwise. - size_type count(const KeyT &Val) const { + size_type count(const_arg_type_t Val) const { const BucketT *TheBucket; return LookupBucketFor(Val, TheBucket) ? 1 : 0; } - iterator find(const KeyT &Val) { + iterator find(const_arg_type_t Val) { BucketT *TheBucket; if (LookupBucketFor(Val, TheBucket)) return iterator(TheBucket, getBucketsEnd(), *this, true); return end(); } - const_iterator find(const KeyT &Val) const { + const_iterator find(const_arg_type_t Val) const { const BucketT *TheBucket; if (LookupBucketFor(Val, TheBucket)) return const_iterator(TheBucket, getBucketsEnd(), *this, true); @@ -159,7 +162,7 @@ /// lookup - Return the entry for the specified key, or a default /// constructed value if no such entry exists. - ValueT lookup(const KeyT &Val) const { + ValueT lookup(const_arg_type_t Val) const { const BucketT *TheBucket; if (LookupBucketFor(Val, TheBucket)) return TheBucket->getSecond(); Index: llvm/trunk/include/llvm/ADT/DenseSet.h =================================================================== --- llvm/trunk/include/llvm/ADT/DenseSet.h +++ llvm/trunk/include/llvm/ADT/DenseSet.h @@ -48,6 +48,8 @@ static_assert(sizeof(typename MapTy::value_type) == sizeof(ValueT), "DenseMap buckets unexpectedly large!"); MapTy TheMap; + template + using const_arg_type_t = typename const_pointer_or_const_ref::type; public: typedef ValueT key_type; @@ -78,7 +80,7 @@ } /// Return 1 if the specified key is in the set, 0 otherwise. - size_type count(const ValueT &V) const { + size_type count(const_arg_type_t V) const { return TheMap.count(V); } @@ -154,8 +156,8 @@ const_iterator begin() const { return ConstIterator(TheMap.begin()); } const_iterator end() const { return ConstIterator(TheMap.end()); } - iterator find(const ValueT &V) { return Iterator(TheMap.find(V)); } - const_iterator find(const ValueT &V) const { + iterator find(const_arg_type_t V) { return Iterator(TheMap.find(V)); } + const_iterator find(const_arg_type_t V) const { return ConstIterator(TheMap.find(V)); } Index: llvm/trunk/include/llvm/Support/type_traits.h =================================================================== --- llvm/trunk/include/llvm/Support/type_traits.h +++ llvm/trunk/include/llvm/Support/type_traits.h @@ -95,6 +95,15 @@ typedef const typename std::remove_pointer::type *type; }; +template +struct const_pointer_or_const_ref { + using type = const T &; +}; +template +struct const_pointer_or_const_ref< + T, typename std::enable_if::value>::type> { + using type = typename add_const_past_pointer::type; +}; } // If the compiler supports detecting whether a class is final, define Index: llvm/trunk/lib/Transforms/Vectorize/LoopVectorize.cpp =================================================================== --- llvm/trunk/lib/Transforms/Vectorize/LoopVectorize.cpp +++ llvm/trunk/lib/Transforms/Vectorize/LoopVectorize.cpp @@ -3657,7 +3657,7 @@ namespace { struct CSEDenseMapInfo { - static bool canHandle(Instruction *I) { + static bool canHandle(const Instruction *I) { return isa(I) || isa(I) || isa(I) || isa(I); } @@ -3667,12 +3667,12 @@ static inline Instruction *getTombstoneKey() { return DenseMapInfo::getTombstoneKey(); } - static unsigned getHashValue(Instruction *I) { + static unsigned getHashValue(const Instruction *I) { assert(canHandle(I) && "Unknown instruction!"); return hash_combine(I->getOpcode(), hash_combine_range(I->value_op_begin(), I->value_op_end())); } - static bool isEqual(Instruction *LHS, Instruction *RHS) { + static bool isEqual(const Instruction *LHS, const Instruction *RHS) { if (LHS == getEmptyKey() || RHS == getEmptyKey() || LHS == getTombstoneKey() || RHS == getTombstoneKey()) return LHS == RHS; Index: llvm/trunk/unittests/ADT/DenseMapTest.cpp =================================================================== --- llvm/trunk/unittests/ADT/DenseMapTest.cpp +++ llvm/trunk/unittests/ADT/DenseMapTest.cpp @@ -580,4 +580,18 @@ EXPECT_EQ(Try1.first, Try2.first); EXPECT_NE(nullptr, P); } + +TEST(DenseMapCustomTest, ConstTest) { + // Test that const pointers work okay for count and find, even when the + // underlying map is a non-const pointer. + DenseMap Map; + int A; + int *B = &A; + const int *C = &A; + Map.insert({B, 0}); + EXPECT_EQ(Map.count(B), 1u); + EXPECT_EQ(Map.count(C), 1u); + EXPECT_NE(Map.find(B), Map.end()); + EXPECT_NE(Map.find(C), Map.end()); +} } Index: llvm/trunk/unittests/ADT/DenseSetTest.cpp =================================================================== --- llvm/trunk/unittests/ADT/DenseSetTest.cpp +++ llvm/trunk/unittests/ADT/DenseSetTest.cpp @@ -185,4 +185,17 @@ EXPECT_EQ(0, CountCopyAndMove::Copy); } } +TEST(DenseSetCustomTest, ConstTest) { + // Test that const pointers work okay for count and find, even when the + // underlying map is a non-const pointer. + DenseSet Map; + int A; + int *B = &A; + const int *C = &A; + Map.insert(B); + EXPECT_EQ(Map.count(B), 1u); + EXPECT_EQ(Map.count(C), 1u); + EXPECT_NE(Map.find(B), Map.end()); + EXPECT_NE(Map.find(C), Map.end()); +} }