| //===- llvm/ADT/simple_ilist.h - Simple Intrusive List ----------*- C++ -*-===// | |
| // | |
| // The LLVM Compiler Infrastructure | |
| // | |
| // This file is distributed under the University of Illinois Open Source | |
| // License. See LICENSE.TXT for details. | |
| // | |
| //===----------------------------------------------------------------------===// | |
| #ifndef LLVM_ADT_SIMPLE_ILIST_H | |
| #define LLVM_ADT_SIMPLE_ILIST_H | |
| #include "llvm/ADT/ilist_base.h" | |
| #include "llvm/ADT/ilist_iterator.h" | |
| #include "llvm/ADT/ilist_node.h" | |
| #include <algorithm> | |
| #include <cassert> | |
| #include <cstddef> | |
| namespace llvm { | |
| /// A simple intrusive list implementation. | |
| /// | |
| /// This is a simple intrusive list for a \c T that inherits from \c | |
| /// ilist_node<T>. The list never takes ownership of anything inserted in it. | |
| /// | |
| /// Unlike \a iplist<T> and \a ilist<T>, \a simple_ilist<T> never allocates or | |
| /// deletes values, and has no callback traits. | |
| /// | |
| /// The API for adding nodes include \a push_front(), \a push_back(), and \a | |
| /// insert(). These all take values by reference (not by pointer), except for | |
| /// the range version of \a insert(). | |
| /// | |
| /// There are three sets of API for discarding nodes from the list: \a | |
| /// remove(), which takes a reference to the node to remove, \a erase(), which | |
| /// takes an iterator or iterator range and returns the next one, and \a | |
| /// clear(), which empties out the container. All three are constant time | |
| /// operations. None of these deletes any nodes; in particular, if there is a | |
| /// single node in the list, then these have identical semantics: | |
| /// \li \c L.remove(L.front()); | |
| /// \li \c L.erase(L.begin()); | |
| /// \li \c L.clear(); | |
| /// | |
| /// As a convenience for callers, there are parallel APIs that take a \c | |
| /// Disposer (such as \c std::default_delete<T>): \a removeAndDispose(), \a | |
| /// eraseAndDispose(), and \a clearAndDispose(). These have different names | |
| /// because the extra semantic is otherwise non-obvious. They are equivalent | |
| /// to calling \a std::for_each() on the range to be discarded. | |
| /// | |
| /// The currently available \p Options customize the nodes in the list. The | |
| /// same options must be specified in the \a ilist_node instantation for | |
| /// compatibility (although the order is irrelevant). | |
| /// \li Use \a ilist_tag to designate which ilist_node for a given \p T this | |
| /// list should use. This is useful if a type \p T is part of multiple, | |
| /// independent lists simultaneously. | |
| /// \li Use \a ilist_sentinel_tracking to always (or never) track whether a | |
| /// node is a sentinel. Specifying \c true enables the \a | |
| /// ilist_node::isSentinel() API. Unlike \a ilist_node::isKnownSentinel(), | |
| /// which is only appropriate for assertions, \a ilist_node::isSentinel() is | |
| /// appropriate for real logic. | |
| /// | |
| /// Here are examples of \p Options usage: | |
| /// \li \c simple_ilist<T> gives the defaults. \li \c | |
| /// simple_ilist<T,ilist_sentinel_tracking<true>> enables the \a | |
| /// ilist_node::isSentinel() API. | |
| /// \li \c simple_ilist<T,ilist_tag<A>,ilist_sentinel_tracking<false>> | |
| /// specifies a tag of A and that tracking should be off (even when | |
| /// LLVM_ENABLE_ABI_BREAKING_CHECKS are enabled). | |
| /// \li \c simple_ilist<T,ilist_sentinel_tracking<false>,ilist_tag<A>> is | |
| /// equivalent to the last. | |
| /// | |
| /// See \a is_valid_option for steps on adding a new option. | |
| template <typename T, class... Options> | |
| class simple_ilist | |
| : ilist_detail::compute_node_options<T, Options...>::type::list_base_type, | |
| ilist_detail::SpecificNodeAccess< | |
| typename ilist_detail::compute_node_options<T, Options...>::type> { | |
| static_assert(ilist_detail::check_options<Options...>::value, | |
| "Unrecognized node option!"); | |
| typedef | |
| typename ilist_detail::compute_node_options<T, Options...>::type OptionsT; | |
| typedef typename OptionsT::list_base_type list_base_type; | |
| ilist_sentinel<OptionsT> Sentinel; | |
| public: | |
| typedef typename OptionsT::value_type value_type; | |
| typedef typename OptionsT::pointer pointer; | |
| typedef typename OptionsT::reference reference; | |
| typedef typename OptionsT::const_pointer const_pointer; | |
| typedef typename OptionsT::const_reference const_reference; | |
| typedef ilist_iterator<OptionsT, false, false> iterator; | |
| typedef ilist_iterator<OptionsT, false, true> const_iterator; | |
| typedef ilist_iterator<OptionsT, true, false> reverse_iterator; | |
| typedef ilist_iterator<OptionsT, true, true> const_reverse_iterator; | |
| typedef size_t size_type; | |
| typedef ptrdiff_t difference_type; | |
| simple_ilist() = default; | |
| ~simple_ilist() = default; | |
| // No copy constructors. | |
| simple_ilist(const simple_ilist &) = delete; | |
| simple_ilist &operator=(const simple_ilist &) = delete; | |
| // Move constructors. | |
| simple_ilist(simple_ilist &&X) { splice(end(), X); } | |
| simple_ilist &operator=(simple_ilist &&X) { | |
| clear(); | |
| splice(end(), X); | |
| return *this; | |
| } | |
| iterator begin() { return ++iterator(Sentinel); } | |
| const_iterator begin() const { return ++const_iterator(Sentinel); } | |
| iterator end() { return iterator(Sentinel); } | |
| const_iterator end() const { return const_iterator(Sentinel); } | |
| reverse_iterator rbegin() { return ++reverse_iterator(Sentinel); } | |
| const_reverse_iterator rbegin() const { | |
| return ++const_reverse_iterator(Sentinel); | |
| } | |
| reverse_iterator rend() { return reverse_iterator(Sentinel); } | |
| const_reverse_iterator rend() const { | |
| return const_reverse_iterator(Sentinel); | |
| } | |
| /// Check if the list is empty in constant time. | |
| LLVM_NODISCARD bool empty() const { return Sentinel.empty(); } | |
| /// Calculate the size of the list in linear time. | |
| LLVM_NODISCARD size_type size() const { | |
| return std::distance(begin(), end()); | |
| } | |
| reference front() { return *begin(); } | |
| const_reference front() const { return *begin(); } | |
| reference back() { return *rbegin(); } | |
| const_reference back() const { return *rbegin(); } | |
| /// Insert a node at the front; never copies. | |
| void push_front(reference Node) { insert(begin(), Node); } | |
| /// Insert a node at the back; never copies. | |
| void push_back(reference Node) { insert(end(), Node); } | |
| /// Remove the node at the front; never deletes. | |
| void pop_front() { erase(begin()); } | |
| /// Remove the node at the back; never deletes. | |
| void pop_back() { erase(--end()); } | |
| /// Swap with another list in place using std::swap. | |
| void swap(simple_ilist &X) { std::swap(*this, X); } | |
| /// Insert a node by reference; never copies. | |
| iterator insert(iterator I, reference Node) { | |
| list_base_type::insertBefore(*I.getNodePtr(), *this->getNodePtr(&Node)); | |
| return iterator(&Node); | |
| } | |
| /// Insert a range of nodes; never copies. | |
| template <class Iterator> | |
| void insert(iterator I, Iterator First, Iterator Last) { | |
| for (; First != Last; ++First) | |
| insert(I, *First); | |
| } | |
| /// Clone another list. | |
| template <class Cloner, class Disposer> | |
| void cloneFrom(const simple_ilist &L2, Cloner clone, Disposer dispose) { | |
| clearAndDispose(dispose); | |
| for (const_reference V : L2) | |
| push_back(*clone(V)); | |
| } | |
| /// Remove a node by reference; never deletes. | |
| /// | |
| /// \see \a erase() for removing by iterator. | |
| /// \see \a removeAndDispose() if the node should be deleted. | |
| void remove(reference N) { list_base_type::remove(*this->getNodePtr(&N)); } | |
| /// Remove a node by reference and dispose of it. | |
| template <class Disposer> | |
| void removeAndDispose(reference N, Disposer dispose) { | |
| remove(N); | |
| dispose(&N); | |
| } | |
| /// Remove a node by iterator; never deletes. | |
| /// | |
| /// \see \a remove() for removing by reference. | |
| /// \see \a eraseAndDispose() it the node should be deleted. | |
| iterator erase(iterator I) { | |
| assert(I != end() && "Cannot remove end of list!"); | |
| remove(*I++); | |
| return I; | |
| } | |
| /// Remove a range of nodes; never deletes. | |
| /// | |
| /// \see \a eraseAndDispose() if the nodes should be deleted. | |
| iterator erase(iterator First, iterator Last) { | |
| list_base_type::removeRange(*First.getNodePtr(), *Last.getNodePtr()); | |
| return Last; | |
| } | |
| /// Remove a node by iterator and dispose of it. | |
| template <class Disposer> | |
| iterator eraseAndDispose(iterator I, Disposer dispose) { | |
| auto Next = std::next(I); | |
| erase(I); | |
| dispose(&*I); | |
| return Next; | |
| } | |
| /// Remove a range of nodes and dispose of them. | |
| template <class Disposer> | |
| iterator eraseAndDispose(iterator First, iterator Last, Disposer dispose) { | |
| while (First != Last) | |
| First = eraseAndDispose(First, dispose); | |
| return Last; | |
| } | |
| /// Clear the list; never deletes. | |
| /// | |
| /// \see \a clearAndDispose() if the nodes should be deleted. | |
| void clear() { Sentinel.reset(); } | |
| /// Clear the list and dispose of the nodes. | |
| template <class Disposer> void clearAndDispose(Disposer dispose) { | |
| eraseAndDispose(begin(), end(), dispose); | |
| } | |
| /// Splice in another list. | |
| void splice(iterator I, simple_ilist &L2) { | |
| splice(I, L2, L2.begin(), L2.end()); | |
| } | |
| /// Splice in a node from another list. | |
| void splice(iterator I, simple_ilist &L2, iterator Node) { | |
| splice(I, L2, Node, std::next(Node)); | |
| } | |
| /// Splice in a range of nodes from another list. | |
| void splice(iterator I, simple_ilist &, iterator First, iterator Last) { | |
| list_base_type::transferBefore(*I.getNodePtr(), *First.getNodePtr(), | |
| *Last.getNodePtr()); | |
| } | |
| /// Merge in another list. | |
| /// | |
| /// \pre \c this and \p RHS are sorted. | |
| ///@{ | |
| void merge(simple_ilist &RHS) { merge(RHS, std::less<T>()); } | |
| template <class Compare> void merge(simple_ilist &RHS, Compare comp); | |
| ///@} | |
| /// Sort the list. | |
| ///@{ | |
| void sort() { sort(std::less<T>()); } | |
| template <class Compare> void sort(Compare comp); | |
| ///@} | |
| }; | |
| template <class T, class... Options> | |
| template <class Compare> | |
| void simple_ilist<T, Options...>::merge(simple_ilist &RHS, Compare comp) { | |
| if (this == &RHS || RHS.empty()) | |
| return; | |
| iterator LI = begin(), LE = end(); | |
| iterator RI = RHS.begin(), RE = RHS.end(); | |
| while (LI != LE) { | |
| if (comp(*RI, *LI)) { | |
| // Transfer a run of at least size 1 from RHS to LHS. | |
| iterator RunStart = RI++; | |
| RI = std::find_if(RI, RE, [&](reference RV) { return !comp(RV, *LI); }); | |
| splice(LI, RHS, RunStart, RI); | |
| if (RI == RE) | |
| return; | |
| } | |
| ++LI; | |
| } | |
| // Transfer the remaining RHS nodes once LHS is finished. | |
| splice(LE, RHS, RI, RE); | |
| } | |
| template <class T, class... Options> | |
| template <class Compare> | |
| void simple_ilist<T, Options...>::sort(Compare comp) { | |
| // Vacuously sorted. | |
| if (empty() || std::next(begin()) == end()) | |
| return; | |
| // Split the list in the middle. | |
| iterator Center = begin(), End = begin(); | |
| while (End != end() && ++End != end()) { | |
| ++Center; | |
| ++End; | |
| } | |
| simple_ilist RHS; | |
| RHS.splice(RHS.end(), *this, Center, end()); | |
| // Sort the sublists and merge back together. | |
| sort(comp); | |
| RHS.sort(comp); | |
| merge(RHS, comp); | |
| } | |
| } // end namespace llvm | |
| #endif // LLVM_ADT_SIMPLE_ILIST_H |