1*e4b17023SJohn Marino /* A splay-tree datatype.
2*e4b17023SJohn Marino Copyright (C) 1998, 1999, 2000, 2001, 2009,
3*e4b17023SJohn Marino 2010, 2011 Free Software Foundation, Inc.
4*e4b17023SJohn Marino Contributed by Mark Mitchell (mark@markmitchell.com).
5*e4b17023SJohn Marino
6*e4b17023SJohn Marino This file is part of GNU CC.
7*e4b17023SJohn Marino
8*e4b17023SJohn Marino GNU CC is free software; you can redistribute it and/or modify it
9*e4b17023SJohn Marino under the terms of the GNU General Public License as published by
10*e4b17023SJohn Marino the Free Software Foundation; either version 2, or (at your option)
11*e4b17023SJohn Marino any later version.
12*e4b17023SJohn Marino
13*e4b17023SJohn Marino GNU CC is distributed in the hope that it will be useful, but
14*e4b17023SJohn Marino WITHOUT ANY WARRANTY; without even the implied warranty of
15*e4b17023SJohn Marino MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16*e4b17023SJohn Marino General Public License for more details.
17*e4b17023SJohn Marino
18*e4b17023SJohn Marino You should have received a copy of the GNU General Public License
19*e4b17023SJohn Marino along with GNU CC; see the file COPYING. If not, write to
20*e4b17023SJohn Marino the Free Software Foundation, 51 Franklin Street - Fifth Floor,
21*e4b17023SJohn Marino Boston, MA 02110-1301, USA. */
22*e4b17023SJohn Marino
23*e4b17023SJohn Marino /* For an easily readable description of splay-trees, see:
24*e4b17023SJohn Marino
25*e4b17023SJohn Marino Lewis, Harry R. and Denenberg, Larry. Data Structures and Their
26*e4b17023SJohn Marino Algorithms. Harper-Collins, Inc. 1991. */
27*e4b17023SJohn Marino
28*e4b17023SJohn Marino #ifdef HAVE_CONFIG_H
29*e4b17023SJohn Marino #include "config.h"
30*e4b17023SJohn Marino #endif
31*e4b17023SJohn Marino
32*e4b17023SJohn Marino #ifdef HAVE_STDLIB_H
33*e4b17023SJohn Marino #include <stdlib.h>
34*e4b17023SJohn Marino #endif
35*e4b17023SJohn Marino
36*e4b17023SJohn Marino #include <stdio.h>
37*e4b17023SJohn Marino
38*e4b17023SJohn Marino #include "libiberty.h"
39*e4b17023SJohn Marino #include "splay-tree.h"
40*e4b17023SJohn Marino
41*e4b17023SJohn Marino static void splay_tree_delete_helper (splay_tree, splay_tree_node);
42*e4b17023SJohn Marino static inline void rotate_left (splay_tree_node *,
43*e4b17023SJohn Marino splay_tree_node, splay_tree_node);
44*e4b17023SJohn Marino static inline void rotate_right (splay_tree_node *,
45*e4b17023SJohn Marino splay_tree_node, splay_tree_node);
46*e4b17023SJohn Marino static void splay_tree_splay (splay_tree, splay_tree_key);
47*e4b17023SJohn Marino static int splay_tree_foreach_helper (splay_tree_node,
48*e4b17023SJohn Marino splay_tree_foreach_fn, void*);
49*e4b17023SJohn Marino
50*e4b17023SJohn Marino /* Deallocate NODE (a member of SP), and all its sub-trees. */
51*e4b17023SJohn Marino
52*e4b17023SJohn Marino static void
splay_tree_delete_helper(splay_tree sp,splay_tree_node node)53*e4b17023SJohn Marino splay_tree_delete_helper (splay_tree sp, splay_tree_node node)
54*e4b17023SJohn Marino {
55*e4b17023SJohn Marino splay_tree_node pending = 0;
56*e4b17023SJohn Marino splay_tree_node active = 0;
57*e4b17023SJohn Marino
58*e4b17023SJohn Marino if (!node)
59*e4b17023SJohn Marino return;
60*e4b17023SJohn Marino
61*e4b17023SJohn Marino #define KDEL(x) if (sp->delete_key) (*sp->delete_key)(x);
62*e4b17023SJohn Marino #define VDEL(x) if (sp->delete_value) (*sp->delete_value)(x);
63*e4b17023SJohn Marino
64*e4b17023SJohn Marino KDEL (node->key);
65*e4b17023SJohn Marino VDEL (node->value);
66*e4b17023SJohn Marino
67*e4b17023SJohn Marino /* We use the "key" field to hold the "next" pointer. */
68*e4b17023SJohn Marino node->key = (splay_tree_key)pending;
69*e4b17023SJohn Marino pending = (splay_tree_node)node;
70*e4b17023SJohn Marino
71*e4b17023SJohn Marino /* Now, keep processing the pending list until there aren't any
72*e4b17023SJohn Marino more. This is a little more complicated than just recursing, but
73*e4b17023SJohn Marino it doesn't toast the stack for large trees. */
74*e4b17023SJohn Marino
75*e4b17023SJohn Marino while (pending)
76*e4b17023SJohn Marino {
77*e4b17023SJohn Marino active = pending;
78*e4b17023SJohn Marino pending = 0;
79*e4b17023SJohn Marino while (active)
80*e4b17023SJohn Marino {
81*e4b17023SJohn Marino splay_tree_node temp;
82*e4b17023SJohn Marino
83*e4b17023SJohn Marino /* active points to a node which has its key and value
84*e4b17023SJohn Marino deallocated, we just need to process left and right. */
85*e4b17023SJohn Marino
86*e4b17023SJohn Marino if (active->left)
87*e4b17023SJohn Marino {
88*e4b17023SJohn Marino KDEL (active->left->key);
89*e4b17023SJohn Marino VDEL (active->left->value);
90*e4b17023SJohn Marino active->left->key = (splay_tree_key)pending;
91*e4b17023SJohn Marino pending = (splay_tree_node)(active->left);
92*e4b17023SJohn Marino }
93*e4b17023SJohn Marino if (active->right)
94*e4b17023SJohn Marino {
95*e4b17023SJohn Marino KDEL (active->right->key);
96*e4b17023SJohn Marino VDEL (active->right->value);
97*e4b17023SJohn Marino active->right->key = (splay_tree_key)pending;
98*e4b17023SJohn Marino pending = (splay_tree_node)(active->right);
99*e4b17023SJohn Marino }
100*e4b17023SJohn Marino
101*e4b17023SJohn Marino temp = active;
102*e4b17023SJohn Marino active = (splay_tree_node)(temp->key);
103*e4b17023SJohn Marino (*sp->deallocate) ((char*) temp, sp->allocate_data);
104*e4b17023SJohn Marino }
105*e4b17023SJohn Marino }
106*e4b17023SJohn Marino #undef KDEL
107*e4b17023SJohn Marino #undef VDEL
108*e4b17023SJohn Marino }
109*e4b17023SJohn Marino
110*e4b17023SJohn Marino /* Rotate the edge joining the left child N with its parent P. PP is the
111*e4b17023SJohn Marino grandparents' pointer to P. */
112*e4b17023SJohn Marino
113*e4b17023SJohn Marino static inline void
rotate_left(splay_tree_node * pp,splay_tree_node p,splay_tree_node n)114*e4b17023SJohn Marino rotate_left (splay_tree_node *pp, splay_tree_node p, splay_tree_node n)
115*e4b17023SJohn Marino {
116*e4b17023SJohn Marino splay_tree_node tmp;
117*e4b17023SJohn Marino tmp = n->right;
118*e4b17023SJohn Marino n->right = p;
119*e4b17023SJohn Marino p->left = tmp;
120*e4b17023SJohn Marino *pp = n;
121*e4b17023SJohn Marino }
122*e4b17023SJohn Marino
123*e4b17023SJohn Marino /* Rotate the edge joining the right child N with its parent P. PP is the
124*e4b17023SJohn Marino grandparents' pointer to P. */
125*e4b17023SJohn Marino
126*e4b17023SJohn Marino static inline void
rotate_right(splay_tree_node * pp,splay_tree_node p,splay_tree_node n)127*e4b17023SJohn Marino rotate_right (splay_tree_node *pp, splay_tree_node p, splay_tree_node n)
128*e4b17023SJohn Marino {
129*e4b17023SJohn Marino splay_tree_node tmp;
130*e4b17023SJohn Marino tmp = n->left;
131*e4b17023SJohn Marino n->left = p;
132*e4b17023SJohn Marino p->right = tmp;
133*e4b17023SJohn Marino *pp = n;
134*e4b17023SJohn Marino }
135*e4b17023SJohn Marino
136*e4b17023SJohn Marino /* Bottom up splay of key. */
137*e4b17023SJohn Marino
138*e4b17023SJohn Marino static void
splay_tree_splay(splay_tree sp,splay_tree_key key)139*e4b17023SJohn Marino splay_tree_splay (splay_tree sp, splay_tree_key key)
140*e4b17023SJohn Marino {
141*e4b17023SJohn Marino if (sp->root == 0)
142*e4b17023SJohn Marino return;
143*e4b17023SJohn Marino
144*e4b17023SJohn Marino do {
145*e4b17023SJohn Marino int cmp1, cmp2;
146*e4b17023SJohn Marino splay_tree_node n, c;
147*e4b17023SJohn Marino
148*e4b17023SJohn Marino n = sp->root;
149*e4b17023SJohn Marino cmp1 = (*sp->comp) (key, n->key);
150*e4b17023SJohn Marino
151*e4b17023SJohn Marino /* Found. */
152*e4b17023SJohn Marino if (cmp1 == 0)
153*e4b17023SJohn Marino return;
154*e4b17023SJohn Marino
155*e4b17023SJohn Marino /* Left or right? If no child, then we're done. */
156*e4b17023SJohn Marino if (cmp1 < 0)
157*e4b17023SJohn Marino c = n->left;
158*e4b17023SJohn Marino else
159*e4b17023SJohn Marino c = n->right;
160*e4b17023SJohn Marino if (!c)
161*e4b17023SJohn Marino return;
162*e4b17023SJohn Marino
163*e4b17023SJohn Marino /* Next one left or right? If found or no child, we're done
164*e4b17023SJohn Marino after one rotation. */
165*e4b17023SJohn Marino cmp2 = (*sp->comp) (key, c->key);
166*e4b17023SJohn Marino if (cmp2 == 0
167*e4b17023SJohn Marino || (cmp2 < 0 && !c->left)
168*e4b17023SJohn Marino || (cmp2 > 0 && !c->right))
169*e4b17023SJohn Marino {
170*e4b17023SJohn Marino if (cmp1 < 0)
171*e4b17023SJohn Marino rotate_left (&sp->root, n, c);
172*e4b17023SJohn Marino else
173*e4b17023SJohn Marino rotate_right (&sp->root, n, c);
174*e4b17023SJohn Marino return;
175*e4b17023SJohn Marino }
176*e4b17023SJohn Marino
177*e4b17023SJohn Marino /* Now we have the four cases of double-rotation. */
178*e4b17023SJohn Marino if (cmp1 < 0 && cmp2 < 0)
179*e4b17023SJohn Marino {
180*e4b17023SJohn Marino rotate_left (&n->left, c, c->left);
181*e4b17023SJohn Marino rotate_left (&sp->root, n, n->left);
182*e4b17023SJohn Marino }
183*e4b17023SJohn Marino else if (cmp1 > 0 && cmp2 > 0)
184*e4b17023SJohn Marino {
185*e4b17023SJohn Marino rotate_right (&n->right, c, c->right);
186*e4b17023SJohn Marino rotate_right (&sp->root, n, n->right);
187*e4b17023SJohn Marino }
188*e4b17023SJohn Marino else if (cmp1 < 0 && cmp2 > 0)
189*e4b17023SJohn Marino {
190*e4b17023SJohn Marino rotate_right (&n->left, c, c->right);
191*e4b17023SJohn Marino rotate_left (&sp->root, n, n->left);
192*e4b17023SJohn Marino }
193*e4b17023SJohn Marino else if (cmp1 > 0 && cmp2 < 0)
194*e4b17023SJohn Marino {
195*e4b17023SJohn Marino rotate_left (&n->right, c, c->left);
196*e4b17023SJohn Marino rotate_right (&sp->root, n, n->right);
197*e4b17023SJohn Marino }
198*e4b17023SJohn Marino } while (1);
199*e4b17023SJohn Marino }
200*e4b17023SJohn Marino
201*e4b17023SJohn Marino /* Call FN, passing it the DATA, for every node below NODE, all of
202*e4b17023SJohn Marino which are from SP, following an in-order traversal. If FN every
203*e4b17023SJohn Marino returns a non-zero value, the iteration ceases immediately, and the
204*e4b17023SJohn Marino value is returned. Otherwise, this function returns 0. */
205*e4b17023SJohn Marino
206*e4b17023SJohn Marino static int
splay_tree_foreach_helper(splay_tree_node node,splay_tree_foreach_fn fn,void * data)207*e4b17023SJohn Marino splay_tree_foreach_helper (splay_tree_node node,
208*e4b17023SJohn Marino splay_tree_foreach_fn fn, void *data)
209*e4b17023SJohn Marino {
210*e4b17023SJohn Marino int val;
211*e4b17023SJohn Marino splay_tree_node *stack;
212*e4b17023SJohn Marino int stack_ptr, stack_size;
213*e4b17023SJohn Marino
214*e4b17023SJohn Marino /* A non-recursive implementation is used to avoid filling the stack
215*e4b17023SJohn Marino for large trees. Splay trees are worst case O(n) in the depth of
216*e4b17023SJohn Marino the tree. */
217*e4b17023SJohn Marino
218*e4b17023SJohn Marino #define INITIAL_STACK_SIZE 100
219*e4b17023SJohn Marino stack_size = INITIAL_STACK_SIZE;
220*e4b17023SJohn Marino stack_ptr = 0;
221*e4b17023SJohn Marino stack = XNEWVEC (splay_tree_node, stack_size);
222*e4b17023SJohn Marino val = 0;
223*e4b17023SJohn Marino
224*e4b17023SJohn Marino for (;;)
225*e4b17023SJohn Marino {
226*e4b17023SJohn Marino while (node != NULL)
227*e4b17023SJohn Marino {
228*e4b17023SJohn Marino if (stack_ptr == stack_size)
229*e4b17023SJohn Marino {
230*e4b17023SJohn Marino stack_size *= 2;
231*e4b17023SJohn Marino stack = XRESIZEVEC (splay_tree_node, stack, stack_size);
232*e4b17023SJohn Marino }
233*e4b17023SJohn Marino stack[stack_ptr++] = node;
234*e4b17023SJohn Marino node = node->left;
235*e4b17023SJohn Marino }
236*e4b17023SJohn Marino
237*e4b17023SJohn Marino if (stack_ptr == 0)
238*e4b17023SJohn Marino break;
239*e4b17023SJohn Marino
240*e4b17023SJohn Marino node = stack[--stack_ptr];
241*e4b17023SJohn Marino
242*e4b17023SJohn Marino val = (*fn) (node, data);
243*e4b17023SJohn Marino if (val)
244*e4b17023SJohn Marino break;
245*e4b17023SJohn Marino
246*e4b17023SJohn Marino node = node->right;
247*e4b17023SJohn Marino }
248*e4b17023SJohn Marino
249*e4b17023SJohn Marino XDELETEVEC (stack);
250*e4b17023SJohn Marino return val;
251*e4b17023SJohn Marino }
252*e4b17023SJohn Marino
253*e4b17023SJohn Marino /* An allocator and deallocator based on xmalloc. */
254*e4b17023SJohn Marino static void *
splay_tree_xmalloc_allocate(int size,void * data ATTRIBUTE_UNUSED)255*e4b17023SJohn Marino splay_tree_xmalloc_allocate (int size, void *data ATTRIBUTE_UNUSED)
256*e4b17023SJohn Marino {
257*e4b17023SJohn Marino return (void *) xmalloc (size);
258*e4b17023SJohn Marino }
259*e4b17023SJohn Marino
260*e4b17023SJohn Marino static void
splay_tree_xmalloc_deallocate(void * object,void * data ATTRIBUTE_UNUSED)261*e4b17023SJohn Marino splay_tree_xmalloc_deallocate (void *object, void *data ATTRIBUTE_UNUSED)
262*e4b17023SJohn Marino {
263*e4b17023SJohn Marino free (object);
264*e4b17023SJohn Marino }
265*e4b17023SJohn Marino
266*e4b17023SJohn Marino
267*e4b17023SJohn Marino /* Allocate a new splay tree, using COMPARE_FN to compare nodes,
268*e4b17023SJohn Marino DELETE_KEY_FN to deallocate keys, and DELETE_VALUE_FN to deallocate
269*e4b17023SJohn Marino values. Use xmalloc to allocate the splay tree structure, and any
270*e4b17023SJohn Marino nodes added. */
271*e4b17023SJohn Marino
272*e4b17023SJohn Marino splay_tree
splay_tree_new(splay_tree_compare_fn compare_fn,splay_tree_delete_key_fn delete_key_fn,splay_tree_delete_value_fn delete_value_fn)273*e4b17023SJohn Marino splay_tree_new (splay_tree_compare_fn compare_fn,
274*e4b17023SJohn Marino splay_tree_delete_key_fn delete_key_fn,
275*e4b17023SJohn Marino splay_tree_delete_value_fn delete_value_fn)
276*e4b17023SJohn Marino {
277*e4b17023SJohn Marino return (splay_tree_new_with_allocator
278*e4b17023SJohn Marino (compare_fn, delete_key_fn, delete_value_fn,
279*e4b17023SJohn Marino splay_tree_xmalloc_allocate, splay_tree_xmalloc_deallocate, 0));
280*e4b17023SJohn Marino }
281*e4b17023SJohn Marino
282*e4b17023SJohn Marino
283*e4b17023SJohn Marino /* Allocate a new splay tree, using COMPARE_FN to compare nodes,
284*e4b17023SJohn Marino DELETE_KEY_FN to deallocate keys, and DELETE_VALUE_FN to deallocate
285*e4b17023SJohn Marino values. */
286*e4b17023SJohn Marino
287*e4b17023SJohn Marino splay_tree
splay_tree_new_with_allocator(splay_tree_compare_fn compare_fn,splay_tree_delete_key_fn delete_key_fn,splay_tree_delete_value_fn delete_value_fn,splay_tree_allocate_fn allocate_fn,splay_tree_deallocate_fn deallocate_fn,void * allocate_data)288*e4b17023SJohn Marino splay_tree_new_with_allocator (splay_tree_compare_fn compare_fn,
289*e4b17023SJohn Marino splay_tree_delete_key_fn delete_key_fn,
290*e4b17023SJohn Marino splay_tree_delete_value_fn delete_value_fn,
291*e4b17023SJohn Marino splay_tree_allocate_fn allocate_fn,
292*e4b17023SJohn Marino splay_tree_deallocate_fn deallocate_fn,
293*e4b17023SJohn Marino void *allocate_data)
294*e4b17023SJohn Marino {
295*e4b17023SJohn Marino return
296*e4b17023SJohn Marino splay_tree_new_typed_alloc (compare_fn, delete_key_fn, delete_value_fn,
297*e4b17023SJohn Marino allocate_fn, allocate_fn, deallocate_fn,
298*e4b17023SJohn Marino allocate_data);
299*e4b17023SJohn Marino }
300*e4b17023SJohn Marino
301*e4b17023SJohn Marino /*
302*e4b17023SJohn Marino
303*e4b17023SJohn Marino @deftypefn Supplemental splay_tree splay_tree_new_with_typed_alloc @
304*e4b17023SJohn Marino (splay_tree_compare_fn @var{compare_fn}, @
305*e4b17023SJohn Marino splay_tree_delete_key_fn @var{delete_key_fn}, @
306*e4b17023SJohn Marino splay_tree_delete_value_fn @var{delete_value_fn}, @
307*e4b17023SJohn Marino splay_tree_allocate_fn @var{tree_allocate_fn}, @
308*e4b17023SJohn Marino splay_tree_allocate_fn @var{node_allocate_fn}, @
309*e4b17023SJohn Marino splay_tree_deallocate_fn @var{deallocate_fn}, @
310*e4b17023SJohn Marino void * @var{allocate_data})
311*e4b17023SJohn Marino
312*e4b17023SJohn Marino This function creates a splay tree that uses two different allocators
313*e4b17023SJohn Marino @var{tree_allocate_fn} and @var{node_allocate_fn} to use for allocating the
314*e4b17023SJohn Marino tree itself and its nodes respectively. This is useful when variables of
315*e4b17023SJohn Marino different types need to be allocated with different allocators.
316*e4b17023SJohn Marino
317*e4b17023SJohn Marino The splay tree will use @var{compare_fn} to compare nodes,
318*e4b17023SJohn Marino @var{delete_key_fn} to deallocate keys, and @var{delete_value_fn} to
319*e4b17023SJohn Marino deallocate values.
320*e4b17023SJohn Marino
321*e4b17023SJohn Marino @end deftypefn
322*e4b17023SJohn Marino
323*e4b17023SJohn Marino */
324*e4b17023SJohn Marino
325*e4b17023SJohn Marino splay_tree
splay_tree_new_typed_alloc(splay_tree_compare_fn compare_fn,splay_tree_delete_key_fn delete_key_fn,splay_tree_delete_value_fn delete_value_fn,splay_tree_allocate_fn tree_allocate_fn,splay_tree_allocate_fn node_allocate_fn,splay_tree_deallocate_fn deallocate_fn,void * allocate_data)326*e4b17023SJohn Marino splay_tree_new_typed_alloc (splay_tree_compare_fn compare_fn,
327*e4b17023SJohn Marino splay_tree_delete_key_fn delete_key_fn,
328*e4b17023SJohn Marino splay_tree_delete_value_fn delete_value_fn,
329*e4b17023SJohn Marino splay_tree_allocate_fn tree_allocate_fn,
330*e4b17023SJohn Marino splay_tree_allocate_fn node_allocate_fn,
331*e4b17023SJohn Marino splay_tree_deallocate_fn deallocate_fn,
332*e4b17023SJohn Marino void * allocate_data)
333*e4b17023SJohn Marino {
334*e4b17023SJohn Marino splay_tree sp = (splay_tree) (*tree_allocate_fn)
335*e4b17023SJohn Marino (sizeof (struct splay_tree_s), allocate_data);
336*e4b17023SJohn Marino
337*e4b17023SJohn Marino sp->root = 0;
338*e4b17023SJohn Marino sp->comp = compare_fn;
339*e4b17023SJohn Marino sp->delete_key = delete_key_fn;
340*e4b17023SJohn Marino sp->delete_value = delete_value_fn;
341*e4b17023SJohn Marino sp->allocate = node_allocate_fn;
342*e4b17023SJohn Marino sp->deallocate = deallocate_fn;
343*e4b17023SJohn Marino sp->allocate_data = allocate_data;
344*e4b17023SJohn Marino
345*e4b17023SJohn Marino return sp;
346*e4b17023SJohn Marino }
347*e4b17023SJohn Marino
348*e4b17023SJohn Marino /* Deallocate SP. */
349*e4b17023SJohn Marino
350*e4b17023SJohn Marino void
splay_tree_delete(splay_tree sp)351*e4b17023SJohn Marino splay_tree_delete (splay_tree sp)
352*e4b17023SJohn Marino {
353*e4b17023SJohn Marino splay_tree_delete_helper (sp, sp->root);
354*e4b17023SJohn Marino (*sp->deallocate) ((char*) sp, sp->allocate_data);
355*e4b17023SJohn Marino }
356*e4b17023SJohn Marino
357*e4b17023SJohn Marino /* Insert a new node (associating KEY with DATA) into SP. If a
358*e4b17023SJohn Marino previous node with the indicated KEY exists, its data is replaced
359*e4b17023SJohn Marino with the new value. Returns the new node. */
360*e4b17023SJohn Marino
361*e4b17023SJohn Marino splay_tree_node
splay_tree_insert(splay_tree sp,splay_tree_key key,splay_tree_value value)362*e4b17023SJohn Marino splay_tree_insert (splay_tree sp, splay_tree_key key, splay_tree_value value)
363*e4b17023SJohn Marino {
364*e4b17023SJohn Marino int comparison = 0;
365*e4b17023SJohn Marino
366*e4b17023SJohn Marino splay_tree_splay (sp, key);
367*e4b17023SJohn Marino
368*e4b17023SJohn Marino if (sp->root)
369*e4b17023SJohn Marino comparison = (*sp->comp)(sp->root->key, key);
370*e4b17023SJohn Marino
371*e4b17023SJohn Marino if (sp->root && comparison == 0)
372*e4b17023SJohn Marino {
373*e4b17023SJohn Marino /* If the root of the tree already has the indicated KEY, just
374*e4b17023SJohn Marino replace the value with VALUE. */
375*e4b17023SJohn Marino if (sp->delete_value)
376*e4b17023SJohn Marino (*sp->delete_value)(sp->root->value);
377*e4b17023SJohn Marino sp->root->value = value;
378*e4b17023SJohn Marino }
379*e4b17023SJohn Marino else
380*e4b17023SJohn Marino {
381*e4b17023SJohn Marino /* Create a new node, and insert it at the root. */
382*e4b17023SJohn Marino splay_tree_node node;
383*e4b17023SJohn Marino
384*e4b17023SJohn Marino node = ((splay_tree_node)
385*e4b17023SJohn Marino (*sp->allocate) (sizeof (struct splay_tree_node_s),
386*e4b17023SJohn Marino sp->allocate_data));
387*e4b17023SJohn Marino node->key = key;
388*e4b17023SJohn Marino node->value = value;
389*e4b17023SJohn Marino
390*e4b17023SJohn Marino if (!sp->root)
391*e4b17023SJohn Marino node->left = node->right = 0;
392*e4b17023SJohn Marino else if (comparison < 0)
393*e4b17023SJohn Marino {
394*e4b17023SJohn Marino node->left = sp->root;
395*e4b17023SJohn Marino node->right = node->left->right;
396*e4b17023SJohn Marino node->left->right = 0;
397*e4b17023SJohn Marino }
398*e4b17023SJohn Marino else
399*e4b17023SJohn Marino {
400*e4b17023SJohn Marino node->right = sp->root;
401*e4b17023SJohn Marino node->left = node->right->left;
402*e4b17023SJohn Marino node->right->left = 0;
403*e4b17023SJohn Marino }
404*e4b17023SJohn Marino
405*e4b17023SJohn Marino sp->root = node;
406*e4b17023SJohn Marino }
407*e4b17023SJohn Marino
408*e4b17023SJohn Marino return sp->root;
409*e4b17023SJohn Marino }
410*e4b17023SJohn Marino
411*e4b17023SJohn Marino /* Remove KEY from SP. It is not an error if it did not exist. */
412*e4b17023SJohn Marino
413*e4b17023SJohn Marino void
splay_tree_remove(splay_tree sp,splay_tree_key key)414*e4b17023SJohn Marino splay_tree_remove (splay_tree sp, splay_tree_key key)
415*e4b17023SJohn Marino {
416*e4b17023SJohn Marino splay_tree_splay (sp, key);
417*e4b17023SJohn Marino
418*e4b17023SJohn Marino if (sp->root && (*sp->comp) (sp->root->key, key) == 0)
419*e4b17023SJohn Marino {
420*e4b17023SJohn Marino splay_tree_node left, right;
421*e4b17023SJohn Marino
422*e4b17023SJohn Marino left = sp->root->left;
423*e4b17023SJohn Marino right = sp->root->right;
424*e4b17023SJohn Marino
425*e4b17023SJohn Marino /* Delete the root node itself. */
426*e4b17023SJohn Marino if (sp->delete_value)
427*e4b17023SJohn Marino (*sp->delete_value) (sp->root->value);
428*e4b17023SJohn Marino (*sp->deallocate) (sp->root, sp->allocate_data);
429*e4b17023SJohn Marino
430*e4b17023SJohn Marino /* One of the children is now the root. Doesn't matter much
431*e4b17023SJohn Marino which, so long as we preserve the properties of the tree. */
432*e4b17023SJohn Marino if (left)
433*e4b17023SJohn Marino {
434*e4b17023SJohn Marino sp->root = left;
435*e4b17023SJohn Marino
436*e4b17023SJohn Marino /* If there was a right child as well, hang it off the
437*e4b17023SJohn Marino right-most leaf of the left child. */
438*e4b17023SJohn Marino if (right)
439*e4b17023SJohn Marino {
440*e4b17023SJohn Marino while (left->right)
441*e4b17023SJohn Marino left = left->right;
442*e4b17023SJohn Marino left->right = right;
443*e4b17023SJohn Marino }
444*e4b17023SJohn Marino }
445*e4b17023SJohn Marino else
446*e4b17023SJohn Marino sp->root = right;
447*e4b17023SJohn Marino }
448*e4b17023SJohn Marino }
449*e4b17023SJohn Marino
450*e4b17023SJohn Marino /* Lookup KEY in SP, returning VALUE if present, and NULL
451*e4b17023SJohn Marino otherwise. */
452*e4b17023SJohn Marino
453*e4b17023SJohn Marino splay_tree_node
splay_tree_lookup(splay_tree sp,splay_tree_key key)454*e4b17023SJohn Marino splay_tree_lookup (splay_tree sp, splay_tree_key key)
455*e4b17023SJohn Marino {
456*e4b17023SJohn Marino splay_tree_splay (sp, key);
457*e4b17023SJohn Marino
458*e4b17023SJohn Marino if (sp->root && (*sp->comp)(sp->root->key, key) == 0)
459*e4b17023SJohn Marino return sp->root;
460*e4b17023SJohn Marino else
461*e4b17023SJohn Marino return 0;
462*e4b17023SJohn Marino }
463*e4b17023SJohn Marino
464*e4b17023SJohn Marino /* Return the node in SP with the greatest key. */
465*e4b17023SJohn Marino
466*e4b17023SJohn Marino splay_tree_node
splay_tree_max(splay_tree sp)467*e4b17023SJohn Marino splay_tree_max (splay_tree sp)
468*e4b17023SJohn Marino {
469*e4b17023SJohn Marino splay_tree_node n = sp->root;
470*e4b17023SJohn Marino
471*e4b17023SJohn Marino if (!n)
472*e4b17023SJohn Marino return NULL;
473*e4b17023SJohn Marino
474*e4b17023SJohn Marino while (n->right)
475*e4b17023SJohn Marino n = n->right;
476*e4b17023SJohn Marino
477*e4b17023SJohn Marino return n;
478*e4b17023SJohn Marino }
479*e4b17023SJohn Marino
480*e4b17023SJohn Marino /* Return the node in SP with the smallest key. */
481*e4b17023SJohn Marino
482*e4b17023SJohn Marino splay_tree_node
splay_tree_min(splay_tree sp)483*e4b17023SJohn Marino splay_tree_min (splay_tree sp)
484*e4b17023SJohn Marino {
485*e4b17023SJohn Marino splay_tree_node n = sp->root;
486*e4b17023SJohn Marino
487*e4b17023SJohn Marino if (!n)
488*e4b17023SJohn Marino return NULL;
489*e4b17023SJohn Marino
490*e4b17023SJohn Marino while (n->left)
491*e4b17023SJohn Marino n = n->left;
492*e4b17023SJohn Marino
493*e4b17023SJohn Marino return n;
494*e4b17023SJohn Marino }
495*e4b17023SJohn Marino
496*e4b17023SJohn Marino /* Return the immediate predecessor KEY, or NULL if there is no
497*e4b17023SJohn Marino predecessor. KEY need not be present in the tree. */
498*e4b17023SJohn Marino
499*e4b17023SJohn Marino splay_tree_node
splay_tree_predecessor(splay_tree sp,splay_tree_key key)500*e4b17023SJohn Marino splay_tree_predecessor (splay_tree sp, splay_tree_key key)
501*e4b17023SJohn Marino {
502*e4b17023SJohn Marino int comparison;
503*e4b17023SJohn Marino splay_tree_node node;
504*e4b17023SJohn Marino
505*e4b17023SJohn Marino /* If the tree is empty, there is certainly no predecessor. */
506*e4b17023SJohn Marino if (!sp->root)
507*e4b17023SJohn Marino return NULL;
508*e4b17023SJohn Marino
509*e4b17023SJohn Marino /* Splay the tree around KEY. That will leave either the KEY
510*e4b17023SJohn Marino itself, its predecessor, or its successor at the root. */
511*e4b17023SJohn Marino splay_tree_splay (sp, key);
512*e4b17023SJohn Marino comparison = (*sp->comp)(sp->root->key, key);
513*e4b17023SJohn Marino
514*e4b17023SJohn Marino /* If the predecessor is at the root, just return it. */
515*e4b17023SJohn Marino if (comparison < 0)
516*e4b17023SJohn Marino return sp->root;
517*e4b17023SJohn Marino
518*e4b17023SJohn Marino /* Otherwise, find the rightmost element of the left subtree. */
519*e4b17023SJohn Marino node = sp->root->left;
520*e4b17023SJohn Marino if (node)
521*e4b17023SJohn Marino while (node->right)
522*e4b17023SJohn Marino node = node->right;
523*e4b17023SJohn Marino
524*e4b17023SJohn Marino return node;
525*e4b17023SJohn Marino }
526*e4b17023SJohn Marino
527*e4b17023SJohn Marino /* Return the immediate successor KEY, or NULL if there is no
528*e4b17023SJohn Marino successor. KEY need not be present in the tree. */
529*e4b17023SJohn Marino
530*e4b17023SJohn Marino splay_tree_node
splay_tree_successor(splay_tree sp,splay_tree_key key)531*e4b17023SJohn Marino splay_tree_successor (splay_tree sp, splay_tree_key key)
532*e4b17023SJohn Marino {
533*e4b17023SJohn Marino int comparison;
534*e4b17023SJohn Marino splay_tree_node node;
535*e4b17023SJohn Marino
536*e4b17023SJohn Marino /* If the tree is empty, there is certainly no successor. */
537*e4b17023SJohn Marino if (!sp->root)
538*e4b17023SJohn Marino return NULL;
539*e4b17023SJohn Marino
540*e4b17023SJohn Marino /* Splay the tree around KEY. That will leave either the KEY
541*e4b17023SJohn Marino itself, its predecessor, or its successor at the root. */
542*e4b17023SJohn Marino splay_tree_splay (sp, key);
543*e4b17023SJohn Marino comparison = (*sp->comp)(sp->root->key, key);
544*e4b17023SJohn Marino
545*e4b17023SJohn Marino /* If the successor is at the root, just return it. */
546*e4b17023SJohn Marino if (comparison > 0)
547*e4b17023SJohn Marino return sp->root;
548*e4b17023SJohn Marino
549*e4b17023SJohn Marino /* Otherwise, find the leftmost element of the right subtree. */
550*e4b17023SJohn Marino node = sp->root->right;
551*e4b17023SJohn Marino if (node)
552*e4b17023SJohn Marino while (node->left)
553*e4b17023SJohn Marino node = node->left;
554*e4b17023SJohn Marino
555*e4b17023SJohn Marino return node;
556*e4b17023SJohn Marino }
557*e4b17023SJohn Marino
558*e4b17023SJohn Marino /* Call FN, passing it the DATA, for every node in SP, following an
559*e4b17023SJohn Marino in-order traversal. If FN every returns a non-zero value, the
560*e4b17023SJohn Marino iteration ceases immediately, and the value is returned.
561*e4b17023SJohn Marino Otherwise, this function returns 0. */
562*e4b17023SJohn Marino
563*e4b17023SJohn Marino int
splay_tree_foreach(splay_tree sp,splay_tree_foreach_fn fn,void * data)564*e4b17023SJohn Marino splay_tree_foreach (splay_tree sp, splay_tree_foreach_fn fn, void *data)
565*e4b17023SJohn Marino {
566*e4b17023SJohn Marino return splay_tree_foreach_helper (sp->root, fn, data);
567*e4b17023SJohn Marino }
568*e4b17023SJohn Marino
569*e4b17023SJohn Marino /* Splay-tree comparison function, treating the keys as ints. */
570*e4b17023SJohn Marino
571*e4b17023SJohn Marino int
splay_tree_compare_ints(splay_tree_key k1,splay_tree_key k2)572*e4b17023SJohn Marino splay_tree_compare_ints (splay_tree_key k1, splay_tree_key k2)
573*e4b17023SJohn Marino {
574*e4b17023SJohn Marino if ((int) k1 < (int) k2)
575*e4b17023SJohn Marino return -1;
576*e4b17023SJohn Marino else if ((int) k1 > (int) k2)
577*e4b17023SJohn Marino return 1;
578*e4b17023SJohn Marino else
579*e4b17023SJohn Marino return 0;
580*e4b17023SJohn Marino }
581*e4b17023SJohn Marino
582*e4b17023SJohn Marino /* Splay-tree comparison function, treating the keys as pointers. */
583*e4b17023SJohn Marino
584*e4b17023SJohn Marino int
splay_tree_compare_pointers(splay_tree_key k1,splay_tree_key k2)585*e4b17023SJohn Marino splay_tree_compare_pointers (splay_tree_key k1, splay_tree_key k2)
586*e4b17023SJohn Marino {
587*e4b17023SJohn Marino if ((char*) k1 < (char*) k2)
588*e4b17023SJohn Marino return -1;
589*e4b17023SJohn Marino else if ((char*) k1 > (char*) k2)
590*e4b17023SJohn Marino return 1;
591*e4b17023SJohn Marino else
592*e4b17023SJohn Marino return 0;
593*e4b17023SJohn Marino }
594