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