123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432 |
- #pragma once
- #ifdef __GNUC__
- #pragma GCC diagnostic push
- #pragma GCC diagnostic ignored "-Wunused-parameter"
- #endif
- //==-- llvm/ADT/ilist.h - Intrusive Linked List Template ---------*- C++ -*-==//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- //
- // This file defines classes to implement an intrusive doubly linked list class
- // (i.e. each node of the list must contain a next and previous field for the
- // list.
- //
- // The ilist class itself should be a plug in replacement for list. This list
- // replacement does not provide a constant time size() method, so be careful to
- // use empty() when you really want to know if it's empty.
- //
- // The ilist class is implemented as a circular list. The list itself contains
- // a sentinel node, whose Next points at begin() and whose Prev points at
- // rbegin(). The sentinel node itself serves as end() and rend().
- //
- //===----------------------------------------------------------------------===//
- #ifndef LLVM_ADT_ILIST_H
- #define LLVM_ADT_ILIST_H
- #include "llvm/ADT/simple_ilist.h"
- #include <cassert>
- #include <cstddef>
- #include <iterator>
- namespace llvm {
- /// Use delete by default for iplist and ilist.
- ///
- /// Specialize this to get different behaviour for ownership-related API. (If
- /// you really want ownership semantics, consider using std::list or building
- /// something like \a BumpPtrList.)
- ///
- /// \see ilist_noalloc_traits
- template <typename NodeTy> struct ilist_alloc_traits {
- static void deleteNode(NodeTy *V) { delete V; }
- };
- /// Custom traits to do nothing on deletion.
- ///
- /// Specialize ilist_alloc_traits to inherit from this to disable the
- /// non-intrusive deletion in iplist (which implies ownership).
- ///
- /// If you want purely intrusive semantics with no callbacks, consider using \a
- /// simple_ilist instead.
- ///
- /// \code
- /// template <>
- /// struct ilist_alloc_traits<MyType> : ilist_noalloc_traits<MyType> {};
- /// \endcode
- template <typename NodeTy> struct ilist_noalloc_traits {
- static void deleteNode(NodeTy *V) {}
- };
- /// Callbacks do nothing by default in iplist and ilist.
- ///
- /// Specialize this for to use callbacks for when nodes change their list
- /// membership.
- template <typename NodeTy> struct ilist_callback_traits {
- void addNodeToList(NodeTy *) {}
- void removeNodeFromList(NodeTy *) {}
- /// Callback before transferring nodes to this list. The nodes may already be
- /// in this same list.
- template <class Iterator>
- void transferNodesFromList(ilist_callback_traits &OldList, Iterator /*first*/,
- Iterator /*last*/) {
- (void)OldList;
- }
- };
- /// A fragment for template traits for intrusive list that provides default
- /// node related operations.
- ///
- /// TODO: Remove this layer of indirection. It's not necessary.
- template <typename NodeTy>
- struct ilist_node_traits : ilist_alloc_traits<NodeTy>,
- ilist_callback_traits<NodeTy> {};
- /// Template traits for intrusive list.
- ///
- /// Customize callbacks and allocation semantics.
- template <typename NodeTy>
- struct ilist_traits : public ilist_node_traits<NodeTy> {};
- /// Const traits should never be instantiated.
- template <typename Ty> struct ilist_traits<const Ty> {};
- namespace ilist_detail {
- template <class T> T &make();
- /// Type trait to check for a traits class that has a getNext member (as a
- /// canary for any of the ilist_nextprev_traits API).
- template <class TraitsT, class NodeT> struct HasGetNext {
- typedef char Yes[1];
- typedef char No[2];
- template <size_t N> struct SFINAE {};
- template <class U>
- static Yes &test(U *I, decltype(I->getNext(&make<NodeT>())) * = 0);
- template <class> static No &test(...);
- public:
- static const bool value = sizeof(test<TraitsT>(nullptr)) == sizeof(Yes);
- };
- /// Type trait to check for a traits class that has a createSentinel member (as
- /// a canary for any of the ilist_sentinel_traits API).
- template <class TraitsT> struct HasCreateSentinel {
- typedef char Yes[1];
- typedef char No[2];
- template <class U>
- static Yes &test(U *I, decltype(I->createSentinel()) * = 0);
- template <class> static No &test(...);
- public:
- static const bool value = sizeof(test<TraitsT>(nullptr)) == sizeof(Yes);
- };
- /// Type trait to check for a traits class that has a createNode member.
- /// Allocation should be managed in a wrapper class, instead of in
- /// ilist_traits.
- template <class TraitsT, class NodeT> struct HasCreateNode {
- typedef char Yes[1];
- typedef char No[2];
- template <size_t N> struct SFINAE {};
- template <class U>
- static Yes &test(U *I, decltype(I->createNode(make<NodeT>())) * = 0);
- template <class> static No &test(...);
- public:
- static const bool value = sizeof(test<TraitsT>(nullptr)) == sizeof(Yes);
- };
- template <class TraitsT, class NodeT> struct HasObsoleteCustomization {
- static const bool value = HasGetNext<TraitsT, NodeT>::value ||
- HasCreateSentinel<TraitsT>::value ||
- HasCreateNode<TraitsT, NodeT>::value;
- };
- } // end namespace ilist_detail
- //===----------------------------------------------------------------------===//
- //
- /// A wrapper around an intrusive list with callbacks and non-intrusive
- /// ownership.
- ///
- /// This wraps a purely intrusive list (like simple_ilist) with a configurable
- /// traits class. The traits can implement callbacks and customize the
- /// ownership semantics.
- ///
- /// This is a subset of ilist functionality that can safely be used on nodes of
- /// polymorphic types, i.e. a heterogeneous list with a common base class that
- /// holds the next/prev pointers. The only state of the list itself is an
- /// ilist_sentinel, which holds pointers to the first and last nodes in the
- /// list.
- template <class IntrusiveListT, class TraitsT>
- class iplist_impl : public TraitsT, IntrusiveListT {
- typedef IntrusiveListT base_list_type;
- public:
- typedef typename base_list_type::pointer pointer;
- typedef typename base_list_type::const_pointer const_pointer;
- typedef typename base_list_type::reference reference;
- typedef typename base_list_type::const_reference const_reference;
- typedef typename base_list_type::value_type value_type;
- typedef typename base_list_type::size_type size_type;
- typedef typename base_list_type::difference_type difference_type;
- typedef typename base_list_type::iterator iterator;
- typedef typename base_list_type::const_iterator const_iterator;
- typedef typename base_list_type::reverse_iterator reverse_iterator;
- typedef
- typename base_list_type::const_reverse_iterator const_reverse_iterator;
- private:
- // TODO: Drop this assertion and the transitive type traits anytime after
- // v4.0 is branched (i.e,. keep them for one release to help out-of-tree code
- // update).
- static_assert(
- !ilist_detail::HasObsoleteCustomization<TraitsT, value_type>::value,
- "ilist customization points have changed!");
- static bool op_less(const_reference L, const_reference R) { return L < R; }
- static bool op_equal(const_reference L, const_reference R) { return L == R; }
- public:
- iplist_impl() = default;
- iplist_impl(const iplist_impl &) = delete;
- iplist_impl &operator=(const iplist_impl &) = delete;
- iplist_impl(iplist_impl &&X)
- : TraitsT(std::move(static_cast<TraitsT &>(X))),
- IntrusiveListT(std::move(static_cast<IntrusiveListT &>(X))) {}
- iplist_impl &operator=(iplist_impl &&X) {
- *static_cast<TraitsT *>(this) = std::move(static_cast<TraitsT &>(X));
- *static_cast<IntrusiveListT *>(this) =
- std::move(static_cast<IntrusiveListT &>(X));
- return *this;
- }
- ~iplist_impl() { clear(); }
- // Miscellaneous inspection routines.
- size_type max_size() const { return size_type(-1); }
- using base_list_type::begin;
- using base_list_type::end;
- using base_list_type::rbegin;
- using base_list_type::rend;
- using base_list_type::empty;
- using base_list_type::front;
- using base_list_type::back;
- void swap(iplist_impl &RHS) {
- assert(0 && "Swap does not use list traits callback correctly yet!");
- base_list_type::swap(RHS);
- }
- iterator insert(iterator where, pointer New) {
- this->addNodeToList(New); // Notify traits that we added a node...
- return base_list_type::insert(where, *New);
- }
- iterator insert(iterator where, const_reference New) {
- return this->insert(where, new value_type(New));
- }
- iterator insertAfter(iterator where, pointer New) {
- if (empty())
- return insert(begin(), New);
- else
- return insert(++where, New);
- }
- /// Clone another list.
- template <class Cloner> void cloneFrom(const iplist_impl &L2, Cloner clone) {
- clear();
- for (const_reference V : L2)
- push_back(clone(V));
- }
- pointer remove(iterator &IT) {
- pointer Node = &*IT++;
- this->removeNodeFromList(Node); // Notify traits that we removed a node...
- base_list_type::remove(*Node);
- return Node;
- }
- pointer remove(const iterator &IT) {
- iterator MutIt = IT;
- return remove(MutIt);
- }
- pointer remove(pointer IT) { return remove(iterator(IT)); }
- pointer remove(reference IT) { return remove(iterator(IT)); }
- // erase - remove a node from the controlled sequence... and delete it.
- iterator erase(iterator where) {
- this->deleteNode(remove(where));
- return where;
- }
- iterator erase(pointer IT) { return erase(iterator(IT)); }
- iterator erase(reference IT) { return erase(iterator(IT)); }
- /// Remove all nodes from the list like clear(), but do not call
- /// removeNodeFromList() or deleteNode().
- ///
- /// This should only be used immediately before freeing nodes in bulk to
- /// avoid traversing the list and bringing all the nodes into cache.
- void clearAndLeakNodesUnsafely() { base_list_type::clear(); }
- private:
- // transfer - The heart of the splice function. Move linked list nodes from
- // [first, last) into position.
- //
- void transfer(iterator position, iplist_impl &L2, iterator first, iterator last) {
- if (position == last)
- return;
- // Notify traits we moved the nodes...
- this->transferNodesFromList(L2, first, last);
- base_list_type::splice(position, L2, first, last);
- }
- public:
- //===----------------------------------------------------------------------===
- // Functionality derived from other functions defined above...
- //
- using base_list_type::size;
- iterator erase(iterator first, iterator last) {
- while (first != last)
- first = erase(first);
- return last;
- }
- void clear() { erase(begin(), end()); }
- // Front and back inserters...
- void push_front(pointer val) { insert(begin(), val); }
- void push_back(pointer val) { insert(end(), val); }
- void pop_front() {
- assert(!empty() && "pop_front() on empty list!");
- erase(begin());
- }
- void pop_back() {
- assert(!empty() && "pop_back() on empty list!");
- iterator t = end(); erase(--t);
- }
- // Special forms of insert...
- template<class InIt> void insert(iterator where, InIt first, InIt last) {
- for (; first != last; ++first) insert(where, *first);
- }
- // Splice members - defined in terms of transfer...
- void splice(iterator where, iplist_impl &L2) {
- if (!L2.empty())
- transfer(where, L2, L2.begin(), L2.end());
- }
- void splice(iterator where, iplist_impl &L2, iterator first) {
- iterator last = first; ++last;
- if (where == first || where == last) return; // No change
- transfer(where, L2, first, last);
- }
- void splice(iterator where, iplist_impl &L2, iterator first, iterator last) {
- if (first != last) transfer(where, L2, first, last);
- }
- void splice(iterator where, iplist_impl &L2, reference N) {
- splice(where, L2, iterator(N));
- }
- void splice(iterator where, iplist_impl &L2, pointer N) {
- splice(where, L2, iterator(N));
- }
- template <class Compare>
- void merge(iplist_impl &Right, Compare comp) {
- if (this == &Right)
- return;
- this->transferNodesFromList(Right, Right.begin(), Right.end());
- base_list_type::merge(Right, comp);
- }
- void merge(iplist_impl &Right) { return merge(Right, op_less); }
- using base_list_type::sort;
- /// Get the previous node, or \c nullptr for the list head.
- pointer getPrevNode(reference N) const {
- auto I = N.getIterator();
- if (I == begin())
- return nullptr;
- return &*std::prev(I);
- }
- /// Get the previous node, or \c nullptr for the list head.
- const_pointer getPrevNode(const_reference N) const {
- return getPrevNode(const_cast<reference >(N));
- }
- /// Get the next node, or \c nullptr for the list tail.
- pointer getNextNode(reference N) const {
- auto Next = std::next(N.getIterator());
- if (Next == end())
- return nullptr;
- return &*Next;
- }
- /// Get the next node, or \c nullptr for the list tail.
- const_pointer getNextNode(const_reference N) const {
- return getNextNode(const_cast<reference >(N));
- }
- };
- /// An intrusive list with ownership and callbacks specified/controlled by
- /// ilist_traits, only with API safe for polymorphic types.
- ///
- /// The \p Options parameters are the same as those for \a simple_ilist. See
- /// there for a description of what's available.
- template <class T, class... Options>
- class iplist
- : public iplist_impl<simple_ilist<T, Options...>, ilist_traits<T>> {
- using iplist_impl_type = typename iplist::iplist_impl;
- public:
- iplist() = default;
- iplist(const iplist &X) = delete;
- iplist &operator=(const iplist &X) = delete;
- iplist(iplist &&X) : iplist_impl_type(std::move(X)) {}
- iplist &operator=(iplist &&X) {
- *static_cast<iplist_impl_type *>(this) = std::move(X);
- return *this;
- }
- };
- template <class T, class... Options> using ilist = iplist<T, Options...>;
- } // end namespace llvm
- namespace std {
- // Ensure that swap uses the fast list swap...
- template<class Ty>
- void swap(llvm::iplist<Ty> &Left, llvm::iplist<Ty> &Right) {
- Left.swap(Right);
- }
- } // end namespace std
- #endif // LLVM_ADT_ILIST_H
- #ifdef __GNUC__
- #pragma GCC diagnostic pop
- #endif
|