1 /* A splay-tree datatype.
2 Copyright (C) 1998-2017 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 attribute_hidden
void
135 splay_tree_insert (splay_tree sp
, splay_tree_node node
)
139 splay_tree_splay (sp
, &node
->key
);
142 comparison
= splay_compare (&sp
->root
->key
, &node
->key
);
144 if (sp
->root
&& comparison
== 0)
145 gomp_fatal ("Duplicate node");
148 /* Insert it at the root. */
149 if (sp
->root
== NULL
)
150 node
->left
= node
->right
= NULL
;
151 else if (comparison
< 0)
153 node
->left
= sp
->root
;
154 node
->right
= node
->left
->right
;
155 node
->left
->right
= NULL
;
159 node
->right
= sp
->root
;
160 node
->left
= node
->right
->left
;
161 node
->right
->left
= NULL
;
168 /* Remove node with KEY from SP. It is not an error if it did not exist. */
170 attribute_hidden
void
171 splay_tree_remove (splay_tree sp
, splay_tree_key key
)
173 splay_tree_splay (sp
, key
);
175 if (sp
->root
&& splay_compare (&sp
->root
->key
, key
) == 0)
177 splay_tree_node left
, right
;
179 left
= sp
->root
->left
;
180 right
= sp
->root
->right
;
182 /* One of the children is now the root. Doesn't matter much
183 which, so long as we preserve the properties of the tree. */
188 /* If there was a right child as well, hang it off the
189 right-most leaf of the left child. */
202 /* Lookup KEY in SP, returning NODE if present, and NULL
205 attribute_hidden splay_tree_key
206 splay_tree_lookup (splay_tree sp
, splay_tree_key key
)
208 splay_tree_splay (sp
, key
);
210 if (sp
->root
&& splay_compare (&sp
->root
->key
, key
) == 0)
211 return &sp
->root
->key
;
216 /* Helper function for splay_tree_foreach.
218 Run FUNC on every node in KEY. */
221 splay_tree_foreach_internal (splay_tree_node node
, splay_tree_callback func
,
226 func (&node
->key
, data
);
227 splay_tree_foreach_internal (node
->left
, func
, data
);
228 /* Yeah, whatever. GCC can fix my tail recursion. */
229 splay_tree_foreach_internal (node
->right
, func
, data
);
232 /* Run FUNC on each of the nodes in SP. */
234 attribute_hidden
void
235 splay_tree_foreach (splay_tree sp
, splay_tree_callback func
, void *data
)
237 splay_tree_foreach_internal (sp
->root
, func
, data
);