1//==-- llvm/ADT/ilist.h - Intrusive Linked List Template ---------*- C++ -*-==//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file defines classes to implement an intrusive doubly linked list class
11// (i.e. each node of the list must contain a next and previous field for the
12// list.
13//
14// The ilist class itself should be a plug in replacement for list. This list
15// replacement does not provide a constant time size() method, so be careful to
16// use empty() when you really want to know if it's empty.
17//
18// The ilist class is implemented as a circular list. The list itself contains
19// a sentinel node, whose Next points at begin() and whose Prev points at
20// rbegin(). The sentinel node itself serves as end() and rend().
21//
22//===----------------------------------------------------------------------===//
23
24#ifndef LLVM_ADT_ILIST_H
25#define LLVM_ADT_ILIST_H
26
27#include "llvm/ADT/simple_ilist.h"
28#include <cassert>
29#include <cstddef>
30#include <iterator>
31
32namespace llvm {
33
34/// Use delete by default for iplist and ilist.
35///
36/// Specialize this to get different behaviour for ownership-related API. (If
37/// you really want ownership semantics, consider using std::list or building
38/// something like \a BumpPtrList.)
39///
40/// \see ilist_noalloc_traits
41template <typename NodeTy> struct ilist_alloc_traits {
42 static void deleteNode(NodeTy *V) { delete V; }
43};
44
45/// Custom traits to do nothing on deletion.
46///
47/// Specialize ilist_alloc_traits to inherit from this to disable the
48/// non-intrusive deletion in iplist (which implies ownership).
49///
50/// If you want purely intrusive semantics with no callbacks, consider using \a
51/// simple_ilist instead.
52///
53/// \code
54/// template <>
55/// struct ilist_alloc_traits<MyType> : ilist_noalloc_traits<MyType> {};
56/// \endcode
57template <typename NodeTy> struct ilist_noalloc_traits {
58 static void deleteNode(NodeTy *V) {}
59};
60
61/// Callbacks do nothing by default in iplist and ilist.
62///
63/// Specialize this for to use callbacks for when nodes change their list
64/// membership.
65template <typename NodeTy> struct ilist_callback_traits {
66 void addNodeToList(NodeTy *) {}
67 void removeNodeFromList(NodeTy *) {}
68
69 /// Callback before transferring nodes to this list.
70 ///
71 /// \pre \c this!=&OldList
72 template <class Iterator>
73 void transferNodesFromList(ilist_callback_traits &OldList, Iterator /*first*/,
74 Iterator /*last*/) {
75 (void)OldList;
76 }
77};
78
79/// A fragment for template traits for intrusive list that provides default
80/// node related operations.
81///
82/// TODO: Remove this layer of indirection. It's not necessary.
83template <typename NodeTy>
84struct ilist_node_traits : ilist_alloc_traits<NodeTy>,
85 ilist_callback_traits<NodeTy> {};
86
87/// Template traits for intrusive list.
88///
89/// Customize callbacks and allocation semantics.
90template <typename NodeTy>
91struct ilist_traits : public ilist_node_traits<NodeTy> {};
92
93/// Const traits should never be instantiated.
94template <typename Ty> struct ilist_traits<const Ty> {};
95
96namespace ilist_detail {
97
98template <class T> T &make();
99
100/// Type trait to check for a traits class that has a getNext member (as a
101/// canary for any of the ilist_nextprev_traits API).
102template <class TraitsT, class NodeT> struct HasGetNext {
103 typedef char Yes[1];
104 typedef char No[2];
105 template <size_t N> struct SFINAE {};
106
107 template <class U>
108 static Yes &test(U *I, decltype(I->getNext(&make<NodeT>())) * = 0);
109 template <class> static No &test(...);
110
111public:
112 static const bool value = sizeof(test<TraitsT>(nullptr)) == sizeof(Yes);
113};
114
115/// Type trait to check for a traits class that has a createSentinel member (as
116/// a canary for any of the ilist_sentinel_traits API).
117template <class TraitsT> struct HasCreateSentinel {
118 typedef char Yes[1];
119 typedef char No[2];
120
121 template <class U>
122 static Yes &test(U *I, decltype(I->createSentinel()) * = 0);
123 template <class> static No &test(...);
124
125public:
126 static const bool value = sizeof(test<TraitsT>(nullptr)) == sizeof(Yes);
127};
128
129/// Type trait to check for a traits class that has a createNode member.
130/// Allocation should be managed in a wrapper class, instead of in
131/// ilist_traits.
132template <class TraitsT, class NodeT> struct HasCreateNode {
133 typedef char Yes[1];
134 typedef char No[2];
135 template <size_t N> struct SFINAE {};
136
137 template <class U>
138 static Yes &test(U *I, decltype(I->createNode(make<NodeT>())) * = 0);
139 template <class> static No &test(...);
140
141public:
142 static const bool value = sizeof(test<TraitsT>(nullptr)) == sizeof(Yes);
143};
144
145template <class TraitsT, class NodeT> struct HasObsoleteCustomization {
146 static const bool value = HasGetNext<TraitsT, NodeT>::value ||
147 HasCreateSentinel<TraitsT>::value ||
148 HasCreateNode<TraitsT, NodeT>::value;
149};
150
151} // end namespace ilist_detail
152
153//===----------------------------------------------------------------------===//
154//
155/// A wrapper around an intrusive list with callbacks and non-intrusive
156/// ownership.
157///
158/// This wraps a purely intrusive list (like simple_ilist) with a configurable
159/// traits class. The traits can implement callbacks and customize the
160/// ownership semantics.
161///
162/// This is a subset of ilist functionality that can safely be used on nodes of
163/// polymorphic types, i.e. a heterogeneous list with a common base class that
164/// holds the next/prev pointers. The only state of the list itself is an
165/// ilist_sentinel, which holds pointers to the first and last nodes in the
166/// list.
167template <class IntrusiveListT, class TraitsT>
168class iplist_impl : public TraitsT, IntrusiveListT {
169 typedef IntrusiveListT base_list_type;
170
171public:
172 typedef typename base_list_type::pointer pointer;
173 typedef typename base_list_type::const_pointer const_pointer;
174 typedef typename base_list_type::reference reference;
175 typedef typename base_list_type::const_reference const_reference;
176 typedef typename base_list_type::value_type value_type;
177 typedef typename base_list_type::size_type size_type;
178 typedef typename base_list_type::difference_type difference_type;
179 typedef typename base_list_type::iterator iterator;
180 typedef typename base_list_type::const_iterator const_iterator;
181 typedef typename base_list_type::reverse_iterator reverse_iterator;
182 typedef
183 typename base_list_type::const_reverse_iterator const_reverse_iterator;
184
185private:
186 // TODO: Drop this assertion and the transitive type traits anytime after
187 // v4.0 is branched (i.e,. keep them for one release to help out-of-tree code
188 // update).
189 static_assert(
190 !ilist_detail::HasObsoleteCustomization<TraitsT, value_type>::value,
191 "ilist customization points have changed!");
192
193 static bool op_less(const_reference L, const_reference R) { return L < R; }
194 static bool op_equal(const_reference L, const_reference R) { return L == R; }
195
196public:
197 iplist_impl() = default;
198
199 iplist_impl(const iplist_impl &) = delete;
200 iplist_impl &operator=(const iplist_impl &) = delete;
201
202 iplist_impl(iplist_impl &&X)
203 : TraitsT(std::move(X)), IntrusiveListT(std::move(X)) {}
204 iplist_impl &operator=(iplist_impl &&X) {
205 *static_cast<TraitsT *>(this) = std::move(X);
206 *static_cast<IntrusiveListT *>(this) = std::move(X);
207 return *this;
208 }
209
210 ~iplist_impl() { clear(); }
211
212 // Miscellaneous inspection routines.
213 size_type max_size() const { return size_type(-1); }
214
215 using base_list_type::begin;
216 using base_list_type::end;
217 using base_list_type::rbegin;
218 using base_list_type::rend;
219 using base_list_type::empty;
220 using base_list_type::front;
221 using base_list_type::back;
222
223 void swap(iplist_impl &RHS) {
224 assert(0 && "Swap does not use list traits callback correctly yet!");
225 base_list_type::swap(RHS);
226 }
227
228 iterator insert(iterator where, pointer New) {
229 this->addNodeToList(New); // Notify traits that we added a node...
230 return base_list_type::insert(where, *New);
231 }
232
233 iterator insert(iterator where, const_reference New) {
234 return this->insert(where, new value_type(New));
235 }
236
237 iterator insertAfter(iterator where, pointer New) {
238 if (empty())
239 return insert(begin(), New);
240 else
241 return insert(++where, New);
242 }
243
244 /// Clone another list.
245 template <class Cloner> void cloneFrom(const iplist_impl &L2, Cloner clone) {
246 clear();
247 for (const_reference V : L2)
248 push_back(clone(V));
249 }
250
251 pointer remove(iterator &IT) {
252 pointer Node = &*IT++;
253 this->removeNodeFromList(Node); // Notify traits that we removed a node...
254 base_list_type::remove(*Node);
255 return Node;
256 }
257
258 pointer remove(const iterator &IT) {
259 iterator MutIt = IT;
260 return remove(MutIt);
261 }
262
263 pointer remove(pointer IT) { return remove(iterator(IT)); }
264 pointer remove(reference IT) { return remove(iterator(IT)); }
265
266 // erase - remove a node from the controlled sequence... and delete it.
267 iterator erase(iterator where) {
268 this->deleteNode(remove(where));
269 return where;
270 }
271
272 iterator erase(pointer IT) { return erase(iterator(IT)); }
273 iterator erase(reference IT) { return erase(iterator(IT)); }
274
275 /// Remove all nodes from the list like clear(), but do not call
276 /// removeNodeFromList() or deleteNode().
277 ///
278 /// This should only be used immediately before freeing nodes in bulk to
279 /// avoid traversing the list and bringing all the nodes into cache.
280 void clearAndLeakNodesUnsafely() { base_list_type::clear(); }
281
282private:
283 // transfer - The heart of the splice function. Move linked list nodes from
284 // [first, last) into position.
285 //
286 void transfer(iterator position, iplist_impl &L2, iterator first, iterator last) {
287 if (position == last)
288 return;
289
290 if (this != &L2) // Notify traits we moved the nodes...
291 this->transferNodesFromList(L2, first, last);
292
293 base_list_type::splice(position, L2, first, last);
294 }
295
296public:
297 //===----------------------------------------------------------------------===
298 // Functionality derived from other functions defined above...
299 //
300
301 using base_list_type::size;
302
303 iterator erase(iterator first, iterator last) {
304 while (first != last)
305 first = erase(first);
306 return last;
307 }
308
309 void clear() { erase(begin(), end()); }
310
311 // Front and back inserters...
312 void push_front(pointer val) { insert(begin(), val); }
313 void push_back(pointer val) { insert(end(), val); }
314 void pop_front() {
315 assert(!empty() && "pop_front() on empty list!");
316 erase(begin());
317 }
318 void pop_back() {
319 assert(!empty() && "pop_back() on empty list!");
320 iterator t = end(); erase(--t);
321 }
322
323 // Special forms of insert...
324 template<class InIt> void insert(iterator where, InIt first, InIt last) {
325 for (; first != last; ++first) insert(where, *first);
326 }
327
328 // Splice members - defined in terms of transfer...
329 void splice(iterator where, iplist_impl &L2) {
330 if (!L2.empty())
331 transfer(where, L2, L2.begin(), L2.end());
332 }
333 void splice(iterator where, iplist_impl &L2, iterator first) {
334 iterator last = first; ++last;
335 if (where == first || where == last) return; // No change
336 transfer(where, L2, first, last);
337 }
338 void splice(iterator where, iplist_impl &L2, iterator first, iterator last) {
339 if (first != last) transfer(where, L2, first, last);
340 }
341 void splice(iterator where, iplist_impl &L2, reference N) {
342 splice(where, L2, iterator(N));
343 }
344 void splice(iterator where, iplist_impl &L2, pointer N) {
345 splice(where, L2, iterator(N));
346 }
347
348 template <class Compare>
349 void merge(iplist_impl &Right, Compare comp) {
350 if (this == &Right)
351 return;
352 this->transferNodesFromList(Right, Right.begin(), Right.end());
353 base_list_type::merge(Right, comp);
354 }
355 void merge(iplist_impl &Right) { return merge(Right, op_less); }
356
357 using base_list_type::sort;
358
359 /// Get the previous node, or \c nullptr for the list head.
360 pointer getPrevNode(reference N) const {
361 auto I = N.getIterator();
362 if (I == begin())
363 return nullptr;
364 return &*std::prev(I);
365 }
366 /// Get the previous node, or \c nullptr for the list head.
367 const_pointer getPrevNode(const_reference N) const {
368 return getPrevNode(const_cast<reference >(N));
369 }
370
371 /// Get the next node, or \c nullptr for the list tail.
372 pointer getNextNode(reference N) const {
373 auto Next = std::next(N.getIterator());
374 if (Next == end())
375 return nullptr;
376 return &*Next;
377 }
378 /// Get the next node, or \c nullptr for the list tail.
379 const_pointer getNextNode(const_reference N) const {
380 return getNextNode(const_cast<reference >(N));
381 }
382};
383
384/// An intrusive list with ownership and callbacks specified/controlled by
385/// ilist_traits, only with API safe for polymorphic types.
386///
387/// The \p Options parameters are the same as those for \a simple_ilist. See
388/// there for a description of what's available.
389template <class T, class... Options>
390class iplist
391 : public iplist_impl<simple_ilist<T, Options...>, ilist_traits<T>> {
392 using iplist_impl_type = typename iplist::iplist_impl;
393
394public:
395 iplist() = default;
396
397 iplist(const iplist &X) = delete;
398 iplist &operator=(const iplist &X) = delete;
399
400 iplist(iplist &&X) : iplist_impl_type(std::move(X)) {}
401 iplist &operator=(iplist &&X) {
402 *static_cast<iplist_impl_type *>(this) = std::move(X);
403 return *this;
404 }
405};
406
407template <class T, class... Options> using ilist = iplist<T, Options...>;
408
409} // end namespace llvm
410
411namespace std {
412
413 // Ensure that swap uses the fast list swap...
414 template<class Ty>
415 void swap(llvm::iplist<Ty> &Left, llvm::iplist<Ty> &Right) {
416 Left.swap(Right);
417 }
418
419} // end namespace std
420
421#endif // LLVM_ADT_ILIST_H
422