1 /* A splay-tree datatype.
2 Copyright (C) 1998-2023 Free Software Foundation, Inc.
3 Contributed by Mark Mitchell (mark@markmitchell.com).
5 This file is part of the GNU Offloading and Multi Processing Library
8 Libgomp is free software; you can redistribute it and/or modify it
9 under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3, or (at your option)
13 Libgomp is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
15 FOR A PARTICULAR PURPOSE. See the GNU General Public License for
18 Under Section 7 of GPL version 3, you are granted additional
19 permissions described in the GCC Runtime Library Exception, version
20 3.1, as published by the Free Software Foundation.
22 You should have received a copy of the GNU General Public License and
23 a copy of the GCC Runtime Library Exception along with this program;
24 see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
25 <http://www.gnu.org/licenses/>. */
27 /* The splay tree code copied from include/splay-tree.h and adjusted,
28 so that all the data lives directly in splay_tree_node_s structure
29 and no extra allocations are needed. */
31 /* For an easily readable description of splay-trees, see:
33 Lewis, Harry R. and Denenberg, Larry. Data Structures and Their
34 Algorithms. Harper-Collins, Inc. 1991.
36 The major feature of splay trees is that all basic tree operations
37 are amortized O(log n) time for a tree with n nodes. */
41 /* Rotate the edge joining the left child N with its parent P. PP is the
42 grandparents' pointer to P. */
45 rotate_left (splay_tree_node
*pp
, splay_tree_node p
, splay_tree_node n
)
54 /* Rotate the edge joining the right child N with its parent P. PP is the
55 grandparents' pointer to P. */
58 rotate_right (splay_tree_node
*pp
, splay_tree_node p
, splay_tree_node n
)
67 /* Bottom up splay of KEY. */
70 splay_tree_splay (splay_tree sp
, splay_tree_key key
)
80 cmp1
= splay_compare (key
, &n
->key
);
86 /* Left or right? If no child, then we're done. */
94 /* Next one left or right? If found or no child, we're done
95 after one rotation. */
96 cmp2
= splay_compare (key
, &c
->key
);
98 || (cmp2
< 0 && !c
->left
)
99 || (cmp2
> 0 && !c
->right
))
102 rotate_left (&sp
->root
, n
, c
);
104 rotate_right (&sp
->root
, n
, c
);
108 /* Now we have the four cases of double-rotation. */
109 if (cmp1
< 0 && cmp2
< 0)
111 rotate_left (&n
->left
, c
, c
->left
);
112 rotate_left (&sp
->root
, n
, n
->left
);
114 else if (cmp1
> 0 && cmp2
> 0)
116 rotate_right (&n
->right
, c
, c
->right
);
117 rotate_right (&sp
->root
, n
, n
->right
);
119 else if (cmp1
< 0 && cmp2
> 0)
121 rotate_right (&n
->left
, c
, c
->right
);
122 rotate_left (&sp
->root
, n
, n
->left
);
124 else if (cmp1
> 0 && cmp2
< 0)
126 rotate_left (&n
->right
, c
, c
->left
);
127 rotate_right (&sp
->root
, n
, n
->right
);
132 /* Insert a new NODE into SP. The NODE shouldn't exist in the tree. */
134 #ifdef splay_tree_static
135 __attribute__((unused
)) static void
137 attribute_hidden
void
139 splay_tree_insert (splay_tree sp
, splay_tree_node node
)
143 splay_tree_splay (sp
, &node
->key
);
146 comparison
= splay_compare (&sp
->root
->key
, &node
->key
);
148 if (sp
->root
&& comparison
== 0)
149 gomp_fatal ("Duplicate node");
152 /* Insert it at the root. */
153 if (sp
->root
== NULL
)
154 node
->left
= node
->right
= NULL
;
155 else if (comparison
< 0)
157 node
->left
= sp
->root
;
158 node
->right
= node
->left
->right
;
159 node
->left
->right
= NULL
;
163 node
->right
= sp
->root
;
164 node
->left
= node
->right
->left
;
165 node
->right
->left
= NULL
;
172 /* Remove node with KEY from SP. It is not an error if it did not exist. */
174 #ifdef splay_tree_static
175 __attribute__((unused
)) static void
177 attribute_hidden
void
179 splay_tree_remove (splay_tree sp
, splay_tree_key key
)
181 splay_tree_splay (sp
, key
);
183 if (sp
->root
&& splay_compare (&sp
->root
->key
, key
) == 0)
185 splay_tree_node left
, right
;
187 left
= sp
->root
->left
;
188 right
= sp
->root
->right
;
190 /* One of the children is now the root. Doesn't matter much
191 which, so long as we preserve the properties of the tree. */
196 /* If there was a right child as well, hang it off the
197 right-most leaf of the left child. */
210 /* Lookup KEY in SP, returning NODE if present, and NULL
213 #ifdef splay_tree_static
214 __attribute__((unused
)) static splay_tree_node
216 attribute_hidden splay_tree_node
218 splay_tree_lookup_node (splay_tree sp
, splay_tree_key key
)
220 splay_tree_splay (sp
, key
);
222 if (sp
->root
&& splay_compare (&sp
->root
->key
, key
) == 0)
228 /* Likewise but return the key. */
230 #ifdef splay_tree_static
231 __attribute__((unused
)) static splay_tree_key
233 attribute_hidden splay_tree_key
235 splay_tree_lookup (splay_tree sp
, splay_tree_key key
)
237 splay_tree_splay (sp
, key
);
239 if (sp
->root
&& splay_compare (&sp
->root
->key
, key
) == 0)
240 return &sp
->root
->key
;
245 /* Helper function for splay_tree_foreach.
247 Run FUNC on every node in KEY. */
250 splay_tree_foreach_internal (splay_tree_node node
, splay_tree_callback func
,
255 func (&node
->key
, data
);
256 splay_tree_foreach_internal (node
->left
, func
, data
);
257 /* Yeah, whatever. GCC can fix my tail recursion. */
258 splay_tree_foreach_internal (node
->right
, func
, data
);
261 /* Run FUNC on each of the nodes in SP. */
263 #ifdef splay_tree_static
264 __attribute__((unused
)) static void
266 attribute_hidden
void
268 splay_tree_foreach (splay_tree sp
, splay_tree_callback func
, void *data
)
270 splay_tree_foreach_internal (sp
->root
, func
, data
);
273 /* Like above, except when func returns != 0, stop early. */
276 splay_tree_foreach_internal_lazy (splay_tree_node node
,
277 splay_tree_callback_stop func
, void *data
)
281 if (func (&node
->key
, data
))
283 if (splay_tree_foreach_internal_lazy (node
->left
, func
, data
))
285 /* Yeah, whatever. GCC can fix my tail recursion. */
286 return splay_tree_foreach_internal_lazy (node
->right
, func
, data
);
289 #ifdef splay_tree_static
290 __attribute__((unused
)) static void
292 attribute_hidden
void
294 splay_tree_foreach_lazy (splay_tree sp
, splay_tree_callback_stop func
,
297 splay_tree_foreach_internal_lazy (sp
->root
, func
, data
);