Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
14 | pmbaty | 1 | //===- ValueMap.h - Safe map from Values to data ----------------*- C++ -*-===// |
2 | // |
||
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
||
4 | // See https://llvm.org/LICENSE.txt for license information. |
||
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
||
6 | // |
||
7 | //===----------------------------------------------------------------------===// |
||
8 | // |
||
9 | // This file defines the ValueMap class. ValueMap maps Value* or any subclass |
||
10 | // to an arbitrary other type. It provides the DenseMap interface but updates |
||
11 | // itself to remain safe when keys are RAUWed or deleted. By default, when a |
||
12 | // key is RAUWed from V1 to V2, the old mapping V1->target is removed, and a new |
||
13 | // mapping V2->target is added. If V2 already existed, its old target is |
||
14 | // overwritten. When a key is deleted, its mapping is removed. |
||
15 | // |
||
16 | // You can override a ValueMap's Config parameter to control exactly what |
||
17 | // happens on RAUW and destruction and to get called back on each event. It's |
||
18 | // legal to call back into the ValueMap from a Config's callbacks. Config |
||
19 | // parameters should inherit from ValueMapConfig<KeyT> to get default |
||
20 | // implementations of all the methods ValueMap uses. See ValueMapConfig for |
||
21 | // documentation of the functions you can override. |
||
22 | // |
||
23 | //===----------------------------------------------------------------------===// |
||
24 | |||
25 | #ifndef LLVM_IR_VALUEMAP_H |
||
26 | #define LLVM_IR_VALUEMAP_H |
||
27 | |||
28 | #include "llvm/ADT/DenseMap.h" |
||
29 | #include "llvm/ADT/DenseMapInfo.h" |
||
30 | #include "llvm/IR/TrackingMDRef.h" |
||
31 | #include "llvm/IR/ValueHandle.h" |
||
32 | #include "llvm/Support/Casting.h" |
||
33 | #include "llvm/Support/Mutex.h" |
||
34 | #include <algorithm> |
||
35 | #include <cassert> |
||
36 | #include <cstddef> |
||
37 | #include <iterator> |
||
38 | #include <mutex> |
||
39 | #include <optional> |
||
40 | #include <type_traits> |
||
41 | #include <utility> |
||
42 | |||
43 | namespace llvm { |
||
44 | |||
45 | template<typename KeyT, typename ValueT, typename Config> |
||
46 | class ValueMapCallbackVH; |
||
47 | template<typename DenseMapT, typename KeyT> |
||
48 | class ValueMapIterator; |
||
49 | template<typename DenseMapT, typename KeyT> |
||
50 | class ValueMapConstIterator; |
||
51 | |||
52 | /// This class defines the default behavior for configurable aspects of |
||
53 | /// ValueMap<>. User Configs should inherit from this class to be as compatible |
||
54 | /// as possible with future versions of ValueMap. |
||
55 | template<typename KeyT, typename MutexT = sys::Mutex> |
||
56 | struct ValueMapConfig { |
||
57 | using mutex_type = MutexT; |
||
58 | |||
59 | /// If FollowRAUW is true, the ValueMap will update mappings on RAUW. If it's |
||
60 | /// false, the ValueMap will leave the original mapping in place. |
||
61 | enum { FollowRAUW = true }; |
||
62 | |||
63 | // All methods will be called with a first argument of type ExtraData. The |
||
64 | // default implementations in this class take a templated first argument so |
||
65 | // that users' subclasses can use any type they want without having to |
||
66 | // override all the defaults. |
||
67 | struct ExtraData {}; |
||
68 | |||
69 | template<typename ExtraDataT> |
||
70 | static void onRAUW(const ExtraDataT & /*Data*/, KeyT /*Old*/, KeyT /*New*/) {} |
||
71 | template<typename ExtraDataT> |
||
72 | static void onDelete(const ExtraDataT &/*Data*/, KeyT /*Old*/) {} |
||
73 | |||
74 | /// Returns a mutex that should be acquired around any changes to the map. |
||
75 | /// This is only acquired from the CallbackVH (and held around calls to onRAUW |
||
76 | /// and onDelete) and not inside other ValueMap methods. NULL means that no |
||
77 | /// mutex is necessary. |
||
78 | template<typename ExtraDataT> |
||
79 | static mutex_type *getMutex(const ExtraDataT &/*Data*/) { return nullptr; } |
||
80 | }; |
||
81 | |||
82 | /// See the file comment. |
||
83 | template<typename KeyT, typename ValueT, typename Config =ValueMapConfig<KeyT>> |
||
84 | class ValueMap { |
||
85 | friend class ValueMapCallbackVH<KeyT, ValueT, Config>; |
||
86 | |||
87 | using ValueMapCVH = ValueMapCallbackVH<KeyT, ValueT, Config>; |
||
88 | using MapT = DenseMap<ValueMapCVH, ValueT, DenseMapInfo<ValueMapCVH>>; |
||
89 | using MDMapT = DenseMap<const Metadata *, TrackingMDRef>; |
||
90 | using ExtraData = typename Config::ExtraData; |
||
91 | |||
92 | MapT Map; |
||
93 | std::optional<MDMapT> MDMap; |
||
94 | ExtraData Data; |
||
95 | |||
96 | public: |
||
97 | using key_type = KeyT; |
||
98 | using mapped_type = ValueT; |
||
99 | using value_type = std::pair<KeyT, ValueT>; |
||
100 | using size_type = unsigned; |
||
101 | |||
102 | explicit ValueMap(unsigned NumInitBuckets = 64) |
||
103 | : Map(NumInitBuckets), Data() {} |
||
104 | explicit ValueMap(const ExtraData &Data, unsigned NumInitBuckets = 64) |
||
105 | : Map(NumInitBuckets), Data(Data) {} |
||
106 | // ValueMap can't be copied nor moved, because the callbacks store pointer to |
||
107 | // it. |
||
108 | ValueMap(const ValueMap &) = delete; |
||
109 | ValueMap(ValueMap &&) = delete; |
||
110 | ValueMap &operator=(const ValueMap &) = delete; |
||
111 | ValueMap &operator=(ValueMap &&) = delete; |
||
112 | |||
113 | bool hasMD() const { return bool(MDMap); } |
||
114 | MDMapT &MD() { |
||
115 | if (!MDMap) |
||
116 | MDMap.emplace(); |
||
117 | return *MDMap; |
||
118 | } |
||
119 | std::optional<MDMapT> &getMDMap() { return MDMap; } |
||
120 | |||
121 | /// Get the mapped metadata, if it's in the map. |
||
122 | std::optional<Metadata *> getMappedMD(const Metadata *MD) const { |
||
123 | if (!MDMap) |
||
124 | return std::nullopt; |
||
125 | auto Where = MDMap->find(MD); |
||
126 | if (Where == MDMap->end()) |
||
127 | return std::nullopt; |
||
128 | return Where->second.get(); |
||
129 | } |
||
130 | |||
131 | using iterator = ValueMapIterator<MapT, KeyT>; |
||
132 | using const_iterator = ValueMapConstIterator<MapT, KeyT>; |
||
133 | |||
134 | inline iterator begin() { return iterator(Map.begin()); } |
||
135 | inline iterator end() { return iterator(Map.end()); } |
||
136 | inline const_iterator begin() const { return const_iterator(Map.begin()); } |
||
137 | inline const_iterator end() const { return const_iterator(Map.end()); } |
||
138 | |||
139 | bool empty() const { return Map.empty(); } |
||
140 | size_type size() const { return Map.size(); } |
||
141 | |||
142 | /// Grow the map so that it has at least Size buckets. Does not shrink |
||
143 | void reserve(size_t Size) { Map.reserve(Size); } |
||
144 | |||
145 | void clear() { |
||
146 | Map.clear(); |
||
147 | MDMap.reset(); |
||
148 | } |
||
149 | |||
150 | /// Return 1 if the specified key is in the map, 0 otherwise. |
||
151 | size_type count(const KeyT &Val) const { |
||
152 | return Map.find_as(Val) == Map.end() ? 0 : 1; |
||
153 | } |
||
154 | |||
155 | iterator find(const KeyT &Val) { |
||
156 | return iterator(Map.find_as(Val)); |
||
157 | } |
||
158 | const_iterator find(const KeyT &Val) const { |
||
159 | return const_iterator(Map.find_as(Val)); |
||
160 | } |
||
161 | |||
162 | /// lookup - Return the entry for the specified key, or a default |
||
163 | /// constructed value if no such entry exists. |
||
164 | ValueT lookup(const KeyT &Val) const { |
||
165 | typename MapT::const_iterator I = Map.find_as(Val); |
||
166 | return I != Map.end() ? I->second : ValueT(); |
||
167 | } |
||
168 | |||
169 | // Inserts key,value pair into the map if the key isn't already in the map. |
||
170 | // If the key is already in the map, it returns false and doesn't update the |
||
171 | // value. |
||
172 | std::pair<iterator, bool> insert(const std::pair<KeyT, ValueT> &KV) { |
||
173 | auto MapResult = Map.insert(std::make_pair(Wrap(KV.first), KV.second)); |
||
174 | return std::make_pair(iterator(MapResult.first), MapResult.second); |
||
175 | } |
||
176 | |||
177 | std::pair<iterator, bool> insert(std::pair<KeyT, ValueT> &&KV) { |
||
178 | auto MapResult = |
||
179 | Map.insert(std::make_pair(Wrap(KV.first), std::move(KV.second))); |
||
180 | return std::make_pair(iterator(MapResult.first), MapResult.second); |
||
181 | } |
||
182 | |||
183 | /// insert - Range insertion of pairs. |
||
184 | template<typename InputIt> |
||
185 | void insert(InputIt I, InputIt E) { |
||
186 | for (; I != E; ++I) |
||
187 | insert(*I); |
||
188 | } |
||
189 | |||
190 | bool erase(const KeyT &Val) { |
||
191 | typename MapT::iterator I = Map.find_as(Val); |
||
192 | if (I == Map.end()) |
||
193 | return false; |
||
194 | |||
195 | Map.erase(I); |
||
196 | return true; |
||
197 | } |
||
198 | void erase(iterator I) { |
||
199 | return Map.erase(I.base()); |
||
200 | } |
||
201 | |||
202 | value_type& FindAndConstruct(const KeyT &Key) { |
||
203 | return Map.FindAndConstruct(Wrap(Key)); |
||
204 | } |
||
205 | |||
206 | ValueT &operator[](const KeyT &Key) { |
||
207 | return Map[Wrap(Key)]; |
||
208 | } |
||
209 | |||
210 | /// isPointerIntoBucketsArray - Return true if the specified pointer points |
||
211 | /// somewhere into the ValueMap's array of buckets (i.e. either to a key or |
||
212 | /// value in the ValueMap). |
||
213 | bool isPointerIntoBucketsArray(const void *Ptr) const { |
||
214 | return Map.isPointerIntoBucketsArray(Ptr); |
||
215 | } |
||
216 | |||
217 | /// getPointerIntoBucketsArray() - Return an opaque pointer into the buckets |
||
218 | /// array. In conjunction with the previous method, this can be used to |
||
219 | /// determine whether an insertion caused the ValueMap to reallocate. |
||
220 | const void *getPointerIntoBucketsArray() const { |
||
221 | return Map.getPointerIntoBucketsArray(); |
||
222 | } |
||
223 | |||
224 | private: |
||
225 | // Takes a key being looked up in the map and wraps it into a |
||
226 | // ValueMapCallbackVH, the actual key type of the map. We use a helper |
||
227 | // function because ValueMapCVH is constructed with a second parameter. |
||
228 | ValueMapCVH Wrap(KeyT key) const { |
||
229 | // The only way the resulting CallbackVH could try to modify *this (making |
||
230 | // the const_cast incorrect) is if it gets inserted into the map. But then |
||
231 | // this function must have been called from a non-const method, making the |
||
232 | // const_cast ok. |
||
233 | return ValueMapCVH(key, const_cast<ValueMap*>(this)); |
||
234 | } |
||
235 | }; |
||
236 | |||
237 | // This CallbackVH updates its ValueMap when the contained Value changes, |
||
238 | // according to the user's preferences expressed through the Config object. |
||
239 | template <typename KeyT, typename ValueT, typename Config> |
||
240 | class ValueMapCallbackVH final : public CallbackVH { |
||
241 | friend class ValueMap<KeyT, ValueT, Config>; |
||
242 | friend struct DenseMapInfo<ValueMapCallbackVH>; |
||
243 | |||
244 | using ValueMapT = ValueMap<KeyT, ValueT, Config>; |
||
245 | using KeySansPointerT = std::remove_pointer_t<KeyT>; |
||
246 | |||
247 | ValueMapT *Map; |
||
248 | |||
249 | ValueMapCallbackVH(KeyT Key, ValueMapT *Map) |
||
250 | : CallbackVH(const_cast<Value*>(static_cast<const Value*>(Key))), |
||
251 | Map(Map) {} |
||
252 | |||
253 | // Private constructor used to create empty/tombstone DenseMap keys. |
||
254 | ValueMapCallbackVH(Value *V) : CallbackVH(V), Map(nullptr) {} |
||
255 | |||
256 | public: |
||
257 | KeyT Unwrap() const { return cast_or_null<KeySansPointerT>(getValPtr()); } |
||
258 | |||
259 | void deleted() override { |
||
260 | // Make a copy that won't get changed even when *this is destroyed. |
||
261 | ValueMapCallbackVH Copy(*this); |
||
262 | typename Config::mutex_type *M = Config::getMutex(Copy.Map->Data); |
||
263 | std::unique_lock<typename Config::mutex_type> Guard; |
||
264 | if (M) |
||
265 | Guard = std::unique_lock<typename Config::mutex_type>(*M); |
||
266 | Config::onDelete(Copy.Map->Data, Copy.Unwrap()); // May destroy *this. |
||
267 | Copy.Map->Map.erase(Copy); // Definitely destroys *this. |
||
268 | } |
||
269 | |||
270 | void allUsesReplacedWith(Value *new_key) override { |
||
271 | assert(isa<KeySansPointerT>(new_key) && |
||
272 | "Invalid RAUW on key of ValueMap<>"); |
||
273 | // Make a copy that won't get changed even when *this is destroyed. |
||
274 | ValueMapCallbackVH Copy(*this); |
||
275 | typename Config::mutex_type *M = Config::getMutex(Copy.Map->Data); |
||
276 | std::unique_lock<typename Config::mutex_type> Guard; |
||
277 | if (M) |
||
278 | Guard = std::unique_lock<typename Config::mutex_type>(*M); |
||
279 | |||
280 | KeyT typed_new_key = cast<KeySansPointerT>(new_key); |
||
281 | // Can destroy *this: |
||
282 | Config::onRAUW(Copy.Map->Data, Copy.Unwrap(), typed_new_key); |
||
283 | if (Config::FollowRAUW) { |
||
284 | typename ValueMapT::MapT::iterator I = Copy.Map->Map.find(Copy); |
||
285 | // I could == Copy.Map->Map.end() if the onRAUW callback already |
||
286 | // removed the old mapping. |
||
287 | if (I != Copy.Map->Map.end()) { |
||
288 | ValueT Target(std::move(I->second)); |
||
289 | Copy.Map->Map.erase(I); // Definitely destroys *this. |
||
290 | Copy.Map->insert(std::make_pair(typed_new_key, std::move(Target))); |
||
291 | } |
||
292 | } |
||
293 | } |
||
294 | }; |
||
295 | |||
296 | template<typename KeyT, typename ValueT, typename Config> |
||
297 | struct DenseMapInfo<ValueMapCallbackVH<KeyT, ValueT, Config>> { |
||
298 | using VH = ValueMapCallbackVH<KeyT, ValueT, Config>; |
||
299 | |||
300 | static inline VH getEmptyKey() { |
||
301 | return VH(DenseMapInfo<Value *>::getEmptyKey()); |
||
302 | } |
||
303 | |||
304 | static inline VH getTombstoneKey() { |
||
305 | return VH(DenseMapInfo<Value *>::getTombstoneKey()); |
||
306 | } |
||
307 | |||
308 | static unsigned getHashValue(const VH &Val) { |
||
309 | return DenseMapInfo<KeyT>::getHashValue(Val.Unwrap()); |
||
310 | } |
||
311 | |||
312 | static unsigned getHashValue(const KeyT &Val) { |
||
313 | return DenseMapInfo<KeyT>::getHashValue(Val); |
||
314 | } |
||
315 | |||
316 | static bool isEqual(const VH &LHS, const VH &RHS) { |
||
317 | return LHS == RHS; |
||
318 | } |
||
319 | |||
320 | static bool isEqual(const KeyT &LHS, const VH &RHS) { |
||
321 | return LHS == RHS.getValPtr(); |
||
322 | } |
||
323 | }; |
||
324 | |||
325 | template <typename DenseMapT, typename KeyT> class ValueMapIterator { |
||
326 | using BaseT = typename DenseMapT::iterator; |
||
327 | using ValueT = typename DenseMapT::mapped_type; |
||
328 | |||
329 | BaseT I; |
||
330 | |||
331 | public: |
||
332 | using iterator_category = std::forward_iterator_tag; |
||
333 | using value_type = std::pair<KeyT, typename DenseMapT::mapped_type>; |
||
334 | using difference_type = std::ptrdiff_t; |
||
335 | using pointer = value_type *; |
||
336 | using reference = value_type &; |
||
337 | |||
338 | ValueMapIterator() : I() {} |
||
339 | ValueMapIterator(BaseT I) : I(I) {} |
||
340 | |||
341 | BaseT base() const { return I; } |
||
342 | |||
343 | struct ValueTypeProxy { |
||
344 | const KeyT first; |
||
345 | ValueT& second; |
||
346 | |||
347 | ValueTypeProxy *operator->() { return this; } |
||
348 | |||
349 | operator std::pair<KeyT, ValueT>() const { |
||
350 | return std::make_pair(first, second); |
||
351 | } |
||
352 | }; |
||
353 | |||
354 | ValueTypeProxy operator*() const { |
||
355 | ValueTypeProxy Result = {I->first.Unwrap(), I->second}; |
||
356 | return Result; |
||
357 | } |
||
358 | |||
359 | ValueTypeProxy operator->() const { |
||
360 | return operator*(); |
||
361 | } |
||
362 | |||
363 | bool operator==(const ValueMapIterator &RHS) const { |
||
364 | return I == RHS.I; |
||
365 | } |
||
366 | bool operator!=(const ValueMapIterator &RHS) const { |
||
367 | return I != RHS.I; |
||
368 | } |
||
369 | |||
370 | inline ValueMapIterator& operator++() { // Preincrement |
||
371 | ++I; |
||
372 | return *this; |
||
373 | } |
||
374 | ValueMapIterator operator++(int) { // Postincrement |
||
375 | ValueMapIterator tmp = *this; ++*this; return tmp; |
||
376 | } |
||
377 | }; |
||
378 | |||
379 | template <typename DenseMapT, typename KeyT> class ValueMapConstIterator { |
||
380 | using BaseT = typename DenseMapT::const_iterator; |
||
381 | using ValueT = typename DenseMapT::mapped_type; |
||
382 | |||
383 | BaseT I; |
||
384 | |||
385 | public: |
||
386 | using iterator_category = std::forward_iterator_tag; |
||
387 | using value_type = std::pair<KeyT, typename DenseMapT::mapped_type>; |
||
388 | using difference_type = std::ptrdiff_t; |
||
389 | using pointer = value_type *; |
||
390 | using reference = value_type &; |
||
391 | |||
392 | ValueMapConstIterator() : I() {} |
||
393 | ValueMapConstIterator(BaseT I) : I(I) {} |
||
394 | ValueMapConstIterator(ValueMapIterator<DenseMapT, KeyT> Other) |
||
395 | : I(Other.base()) {} |
||
396 | |||
397 | BaseT base() const { return I; } |
||
398 | |||
399 | struct ValueTypeProxy { |
||
400 | const KeyT first; |
||
401 | const ValueT& second; |
||
402 | ValueTypeProxy *operator->() { return this; } |
||
403 | operator std::pair<KeyT, ValueT>() const { |
||
404 | return std::make_pair(first, second); |
||
405 | } |
||
406 | }; |
||
407 | |||
408 | ValueTypeProxy operator*() const { |
||
409 | ValueTypeProxy Result = {I->first.Unwrap(), I->second}; |
||
410 | return Result; |
||
411 | } |
||
412 | |||
413 | ValueTypeProxy operator->() const { |
||
414 | return operator*(); |
||
415 | } |
||
416 | |||
417 | bool operator==(const ValueMapConstIterator &RHS) const { |
||
418 | return I == RHS.I; |
||
419 | } |
||
420 | bool operator!=(const ValueMapConstIterator &RHS) const { |
||
421 | return I != RHS.I; |
||
422 | } |
||
423 | |||
424 | inline ValueMapConstIterator& operator++() { // Preincrement |
||
425 | ++I; |
||
426 | return *this; |
||
427 | } |
||
428 | ValueMapConstIterator operator++(int) { // Postincrement |
||
429 | ValueMapConstIterator tmp = *this; ++*this; return tmp; |
||
430 | } |
||
431 | }; |
||
432 | |||
433 | } // end namespace llvm |
||
434 | |||
435 | #endif // LLVM_IR_VALUEMAP_H |