1 // Splay tree utilities -*- C++ -*-
2 // Copyright (C) 2020-2022 Free Software Foundation, Inc.
4 // This file is part of GCC.
6 // GCC is free software; you can redistribute it and/or modify it under
7 // the terms of the GNU General Public License as published by the Free
8 // Software Foundation; either version 3, or (at your option) any later
11 // GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 // WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 // You should have received a copy of the GNU General Public License
17 // along with GCC; see the file COPYING3. If not see
18 // <http://www.gnu.org/licenses/>.
20 // Implement splay tree node accessors for a class that stores its
21 // two child nodes in a member variable of the form:
23 // Node m_children[2];
24 template<typename Node
>
25 class default_splay_tree_accessors
28 using node_type
= Node
;
31 child (node_type node
, unsigned int index
)
32 -> decltype (node
->m_children
[index
]) &
34 return node
->m_children
[index
];
38 // Implement splay tree node accessors for a class that stores its
39 // two child nodes in a member variable of the form:
41 // Node m_children[2];
43 // and also stores its parent node in a member variable of the form:
46 template<typename Node
>
47 class default_splay_tree_accessors_with_parent
48 : public default_splay_tree_accessors
<Node
>
51 using node_type
= Node
;
54 parent (node_type node
) -> decltype (node
->m_parent
) &
56 return node
->m_parent
;
60 // Base is a splay tree accessor class for nodes that have no parent field.
61 // Base therefore provides a Base::child method but does not provide a
62 // Base::parent method. Extend Base with dummy routines for setting the
63 // parent, which is a no-op when the parent is not stored.
64 template<typename Base
>
65 class splay_tree_accessors_without_parent
: public Base
68 using typename
Base::node_type
;
70 static void set_parent (node_type
, node_type
) {}
73 // Base is splay tree accessor class for nodes that have a parent field.
74 // Base therefore provides both Base::child and Base::parent methods.
75 // Extend Base with routines for setting the parent.
76 template<typename Base
>
77 class splay_tree_accessors_with_parent
: public Base
80 using typename
Base::node_type
;
82 // Record that NODE's parent is now NEW_PARENT.
84 set_parent (node_type node
, node_type new_parent
)
86 Base::parent (node
) = new_parent
;
90 // A base class that provides some splay tree operations that are common
91 // to both rooted_splay_tree and rootless_splay_tree.
93 // Nodes in the splay tree have type Accessors::node_type; this is
94 // usually a pointer type. The Accessors class provides the following
95 // static member functions for accessing nodes:
97 // - Accessors::child (NODE, INDEX)
98 // INDEX is guaranteed to be 0 or 1. If INDEX is 0, return a reference
99 // to where NODE's left child is stored, otherwise return a reference
100 // to where NODE's right child is stored.
102 // - Accessors::set_parent (NODE, PARENT)
103 // Record that NODE's parent node is now PARENT.
104 template<typename Accessors
>
105 class base_splay_tree
: protected Accessors
108 using typename
Accessors::node_type
;
110 // INDEX is either 0 or 1. If INDEX is 0, insert CHILD immediately
111 // before NODE, otherwise insert CHILD immediately after NODE.
114 static void insert_child (node_type node
, unsigned int index
,
117 // Print NODE and its child nodes to PP for debugging purposes,
118 // using PRINTER (PP, N) to print the data for node N.
119 template<typename Printer
>
120 static void print (pretty_printer
*pp
, node_type node
, Printer printer
);
123 using Accessors::set_parent
;
125 static node_type
get_child (node_type
, unsigned int);
126 static void set_child (node_type
, unsigned int, node_type
);
127 static node_type
promote_child (node_type
, unsigned int);
128 static void promote_child (node_type
, unsigned int, node_type
);
130 template<unsigned int N
>
131 static node_type
splay_limit (node_type
);
133 static node_type
remove_node_internal (node_type
);
135 template<typename Printer
>
136 static void print (pretty_printer
*pp
, node_type node
, Printer printer
,
140 // This class provides splay tree routines for cases in which the root
141 // of the splay tree is known. It works with both nodes that store
142 // their parent node and nodes that don't.
144 // The class is lightweight: it only contains a single root node.
145 template<typename Accessors
>
146 class rooted_splay_tree
: public base_splay_tree
<Accessors
>
148 using parent
= base_splay_tree
<Accessors
>;
151 using typename
Accessors::node_type
;
154 // The root of the splay tree, or node_type () if the tree is empty.
158 rooted_splay_tree () : m_root () {}
160 // Construct a tree with the specified root node.
161 rooted_splay_tree (node_type root
) : m_root (root
) {}
163 // Return the root of the tree.
164 node_type
root () const { return m_root
; }
166 // Return true if the tree contains any nodes.
167 explicit operator bool () const { return m_root
; }
169 // Dereference the root node.
170 node_type
operator-> () { return m_root
; }
172 // Insert NEW_NODE into the splay tree, if no equivalent node already
173 // exists. For a given node N, COMPARE (N) should return:
175 // - a negative value if NEW_NODE should come before N
176 // - zero if NEW_NODE and N are the same
177 // - a positive value if NEW_NODE should come after N
179 // Return true if NEW_NODE was inserted.
181 // On return, NEW_NODE or its equivalent is the root of the tree.
183 // Complexity: amortized O(C log N), worst-cast O(C N), where C is
184 // the complexity of the comparison.
185 template<typename Comparator
>
186 bool insert (node_type new_node
, Comparator compare
);
188 // Insert NEW_NODE into the splay tree, given that NEW_NODE is the
189 // maximum node of the new tree. On return, NEW_NODE is also the
193 void insert_max_node (node_type new_node
);
195 // Splice NEXT_TREE onto this one, given that all nodes in NEXT_TREE
196 // are greater than the maximum node in this tree. NEXT_TREE should
197 // not be used afterwards.
199 // Complexity: O(1) if the root of the splay tree is already the maximum
200 // node. Otherwise amortized O(log N), worst-cast O(N).
201 void splice_next_tree (rooted_splay_tree next_tree
);
203 // The root of the tree is currently the maximum node. Replace it
207 void replace_max_node_at_root (node_type new_node
);
209 // Remove the root node of the splay tree.
211 // Complexity: O(1) if removing the maximum or minimum node.
212 // Otherwise amortized O(log N), worst-cast O(N).
215 // Split the left child of the current root out into a separate tree
216 // and return the new tree.
217 rooted_splay_tree
split_before_root ();
219 // Split the right child of the current root out into a separate tree
220 // and return the new tree.
221 rooted_splay_tree
split_after_root ();
223 // If the root is not the minimum node of the splay tree, bring the previous
224 // node to the root and return true, otherwise return false.
226 // Complexity: amortized O(log N), worst-cast O(N).
227 bool splay_prev_node ();
229 // If the root is not the maximum node of the splay tree, bring the next
230 // node to the root and return true, otherwise return false.
232 // Complexity: amortized O(log N), worst-cast O(N).
233 bool splay_next_node ();
235 // Bring the minimum node of the splay tree to the root.
237 // Complexity: amortized O(log N), worst-cast O(N).
238 void splay_min_node ();
240 // Bring the maximum node of the splay tree to the root.
242 // Complexity: amortized O(log N), worst-cast O(N).
243 void splay_max_node ();
245 // Return the minimum node of the splay tree, or node_type () if the
246 // tree is empty. On return, the minimum node (if any) is also the
249 // Complexity: amortized O(log N), worst-cast O(N).
250 node_type
min_node ();
252 // Return the maximum node of the splay tree, or node_type () if the
253 // tree is empty. On return, the maximum node (if any) is also the
256 // Complexity: amortized O(log N), worst-cast O(N).
257 node_type
max_node ();
259 // Search the splay tree. For a given node N, COMPARE (N) should return:
261 // - a negative value if N is bigger than the node being searched for
262 // - zero if N is the node being searched for
263 // - a positive value if N is smaller than the node being searched for
265 // If the node that COMPARE is looking for exists, install it as the root
266 // node of the splay tree. Otherwise, arbitrarily pick either:
268 // - the maximum node that is smaller than the node being searched for or
269 // - the minimum node that is bigger than the node being searched for
271 // and install that node as the root instead.
273 // Return the result of COMPARE for the new root.
275 // This form of lookup is intended for cases in which both the following
278 // (a) The work that COMPARE needs to do to detect if a node is too big
279 // is the same as the work that COMPARE needs to do to detect if a
280 // node is too small. (This is not true of range comparisons,
283 // (b) COMPARE is (or might be) relatively complex.
285 // This form of lookup is also useful if the items being compared naturally
286 // provide a <=>-style comparison result, without the result having to be
287 // forced by the equivalent of a ?: expression.
289 // The implementation only invokes COMPARE once per node.
291 // Complexity: amortized O(C log N), worst-cast O(C N), where C is
292 // the complexity of the comparison.
293 template<typename Comparator
>
294 auto lookup (Comparator compare
) -> decltype (compare (m_root
));
296 // Search the splay tree. For a given node N, WANT_SOMETHING_SMALLER (N)
297 // is true if N is too big and WANT_SOMETHING_BIGGER (N) is true if N
298 // is too small. Both functions return false if N is the node being
301 // If the node that is being searched for exists, install it as the root
302 // node of the splay tree and return 0. Otherwise, arbitrarily choose
303 // between these two options:
305 // - Install the maximum node that is smaller than the node being
306 // searched for as the root of the splay tree and return 1.
308 // - Install the minimum node that is bigger than the node being
309 // searched for and return -1.
311 // This form of lookup is intended for cases in which either of the
312 // following are true:
314 // (a) WANT_SOMETHING_SMALLER and WANT_SOMETHING_BIGGER test different
315 // parts of the node's data. For example, when comparing ranges,
316 // WANT_SOMETHING_SMALLER would test the lower limit of the given
317 // node's range while WANT_SOMETHING_BIGGER would test the upper
318 // limit of the given node's range.
320 // (b) There is no significant overhead to calling both
321 // WANT_SOMETHING_SMALLER and WANT_SOMETHING_BIGGER for the same node.
323 // Complexity: amortized O(C log N), worst-cast O(C N), where C is
324 // the complexity of the comparisons.
325 template<typename LeftPredicate
, typename RightPredicate
>
326 int lookup (LeftPredicate want_something_smaller
,
327 RightPredicate want_something_bigger
);
329 // Keep the ability to print subtrees.
332 // Print the tree to PP for debugging purposes, using PRINTER (PP, N)
333 // to print the data for node N.
334 template<typename Printer
>
335 void print (pretty_printer
*pp
, Printer printer
) const;
338 using parent::get_child
;
339 using parent::set_child
;
340 using parent::promote_child
;
342 using parent::set_parent
;
344 template<unsigned int N
>
345 bool splay_neighbor ();
348 // Provide splay tree routines for nodes of type Accessors::node_type,
349 // which doesn't have a parent field. Use Accessors::child to access
350 // the children of a node.
351 template<typename Accessors
>
352 using splay_tree_without_parent
353 = rooted_splay_tree
<splay_tree_accessors_without_parent
<Accessors
>>;
355 // A splay tree for nodes of type Node, which is usually a pointer type.
356 // The child nodes are stored in a member variable:
358 // Node m_children[2];
360 // Node does not have a parent field.
361 template<typename Node
>
362 using default_splay_tree
363 = splay_tree_without_parent
<default_splay_tree_accessors
<Node
>>;
365 // A simple splay tree node that stores a value of type T.
367 class splay_tree_node
369 friend class default_splay_tree_accessors
<splay_tree_node
*>;
372 splay_tree_node () = default;
373 splay_tree_node (T value
) : m_value (value
), m_children () {}
375 T
&value () { return m_value
; }
376 const T
&value () const { return m_value
; }
380 splay_tree_node
*m_children
[2];
383 // A splay tree whose nodes hold values of type T.
385 using splay_tree
= default_splay_tree
<splay_tree_node
<T
> *>;
387 // Provide splay tree routines for cases in which the root of the tree
388 // is not explicitly stored.
390 // The nodes of the tree have type Accessors::node_type, which is usually
391 // a pointer type. The nodes have a link back to their parent.
393 // The Accessors class provides the following static member functions:
395 // - Accessors::child (NODE, INDEX)
396 // INDEX is guaranteed to be 0 or 1. If INDEX is 0, return a reference
397 // to where NODE's left child is stored, otherwise return a reference
398 // to where NODE's right child is stored.
400 // - Accessors::parent (NODE)
401 // Return a reference to where NODE's parent is stored.
402 template<typename Accessors
>
403 class rootless_splay_tree
404 : public base_splay_tree
<splay_tree_accessors_with_parent
<Accessors
>>
406 using full_accessors
= splay_tree_accessors_with_parent
<Accessors
>;
407 using parent
= base_splay_tree
<full_accessors
>;
410 using rooted
= rooted_splay_tree
<full_accessors
>;
412 using typename
Accessors::node_type
;
414 // Remove NODE from the splay tree. Return the node that replaces it,
415 // or null if NODE had no children.
417 // Complexity: O(1) if removing the maximum or minimum node.
418 // Otherwise amortized O(log N), worst-cast O(N).
419 static node_type
remove_node (node_type node
);
421 // Splay NODE so that it becomes the root of the splay tree.
423 // Complexity: amortized O(log N), worst-cast O(N).
424 static void splay (node_type node
);
426 // Like splay, but take advantage of the fact that NODE is known to be
427 // the minimum node in the tree.
429 // Complexity: amortized O(log N), worst-cast O(N).
430 static void splay_known_min_node (node_type node
);
432 // Like splay, but take advantage of the fact that NODE is known to be
433 // the maximum node in the tree.
435 // Complexity: amortized O(log N), worst-cast O(N).
436 static void splay_known_max_node (node_type node
);
438 // Splay NODE while looking for an ancestor node N for which PREDICATE (N)
439 // is true. If such an ancestor node exists, stop the splay operation
440 // early and return PREDICATE (N). Otherwise, complete the splay operation
441 // and return DEFAULT_RESULT. In the latter case, NODE is now the root of
444 // Note that this routine only examines nodes that happen to be ancestors
445 // of NODE. It does not search the full tree.
447 // Complexity: amortized O(P log N), worst-cast O(P N), where P is the
448 // complexity of the predicate.
449 template<typename DefaultResult
, typename Predicate
>
450 static auto splay_and_search (node_type node
, DefaultResult default_result
,
452 -> decltype (predicate (node
, 0));
454 // NODE1 and NODE2 are known to belong to the same splay tree. Return:
456 // -1 if NODE1 < NODE2
457 // 0 if NODE1 == NODE2
458 // 1 if NODE1 > NODE2
460 // Complexity: amortized O(log N), worst-cast O(N).
461 static int compare_nodes (node_type node1
, node_type node2
);
464 using parent::get_child
;
465 using parent::set_child
;
466 using parent::promote_child
;
468 static node_type
get_parent (node_type
);
469 using parent::set_parent
;
471 static unsigned int child_index (node_type
, node_type
);
473 static int compare_nodes_one_way (node_type
, node_type
);
475 template<unsigned int N
>
476 static void splay_known_limit (node_type
);
479 // Provide rootless splay tree routines for nodes of type Node.
480 // The child nodes are stored in a member variable:
482 // Node m_children[2];
484 // and the parent node is stored in a member variable:
487 template<typename Node
>
488 using default_rootless_splay_tree
489 = rootless_splay_tree
<default_splay_tree_accessors_with_parent
<Node
>>;
491 #include "splay-tree-utils.tcc"