xref: /minix3/common/lib/libc/gen/rpst.c (revision f14fb602092e015ff630df58e17c2a9cd57d29b3)
1*f14fb602SLionel Sambuc /*	$NetBSD: rpst.c,v 1.11 2011/04/26 20:53:34 yamt Exp $	*/
2b6cbf720SGianluca Guida 
3b6cbf720SGianluca Guida /*-
4b6cbf720SGianluca Guida  * Copyright (c)2009 YAMAMOTO Takashi,
5b6cbf720SGianluca Guida  * All rights reserved.
6b6cbf720SGianluca Guida  *
7b6cbf720SGianluca Guida  * Redistribution and use in source and binary forms, with or without
8b6cbf720SGianluca Guida  * modification, are permitted provided that the following conditions
9b6cbf720SGianluca Guida  * are met:
10b6cbf720SGianluca Guida  * 1. Redistributions of source code must retain the above copyright
11b6cbf720SGianluca Guida  *    notice, this list of conditions and the following disclaimer.
12b6cbf720SGianluca Guida  * 2. Redistributions in binary form must reproduce the above copyright
13b6cbf720SGianluca Guida  *    notice, this list of conditions and the following disclaimer in the
14b6cbf720SGianluca Guida  *    documentation and/or other materials provided with the distribution.
15b6cbf720SGianluca Guida  *
16b6cbf720SGianluca Guida  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
17b6cbf720SGianluca Guida  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18b6cbf720SGianluca Guida  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19b6cbf720SGianluca Guida  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
20b6cbf720SGianluca Guida  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21b6cbf720SGianluca Guida  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
22b6cbf720SGianluca Guida  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
23b6cbf720SGianluca Guida  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
24b6cbf720SGianluca Guida  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
25b6cbf720SGianluca Guida  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26b6cbf720SGianluca Guida  * SUCH DAMAGE.
27b6cbf720SGianluca Guida  */
28b6cbf720SGianluca Guida 
29b6cbf720SGianluca Guida /*
30b6cbf720SGianluca Guida  * radix priority search tree
31b6cbf720SGianluca Guida  *
32b6cbf720SGianluca Guida  * described in:
33b6cbf720SGianluca Guida  *	SIAM J. COMPUT.
34b6cbf720SGianluca Guida  *	Vol. 14, No. 2, May 1985
35b6cbf720SGianluca Guida  *	PRIORITY SEARCH TREES
36b6cbf720SGianluca Guida  *	EDWARD M. McCREIGHT
37b6cbf720SGianluca Guida  *
38b6cbf720SGianluca Guida  * ideas from linux:
39b6cbf720SGianluca Guida  *	- grow tree height on-demand.
40b6cbf720SGianluca Guida  *	- allow duplicated X values.  in that case, we act as a heap.
41b6cbf720SGianluca Guida  */
42b6cbf720SGianluca Guida 
43b6cbf720SGianluca Guida #include <sys/cdefs.h>
44b6cbf720SGianluca Guida 
45*f14fb602SLionel Sambuc #if defined(_KERNEL) || defined(_STANDALONE)
46*f14fb602SLionel Sambuc __KERNEL_RCSID(0, "$NetBSD: rpst.c,v 1.11 2011/04/26 20:53:34 yamt Exp $");
47b6cbf720SGianluca Guida #include <sys/param.h>
48*f14fb602SLionel Sambuc #include <lib/libkern/libkern.h>
49*f14fb602SLionel Sambuc #if defined(_STANDALONE)
50*f14fb602SLionel Sambuc #include <lib/libsa/stand.h>
51*f14fb602SLionel Sambuc #endif /* defined(_STANDALONE) */
52*f14fb602SLionel Sambuc #else /* defined(_KERNEL) || defined(_STANDALONE) */
53*f14fb602SLionel Sambuc __RCSID("$NetBSD: rpst.c,v 1.11 2011/04/26 20:53:34 yamt Exp $");
54b6cbf720SGianluca Guida #include <assert.h>
55b6cbf720SGianluca Guida #include <stdbool.h>
56b6cbf720SGianluca Guida #include <string.h>
57b6cbf720SGianluca Guida #if 1
58b6cbf720SGianluca Guida #define	KASSERT	assert
59b6cbf720SGianluca Guida #else
60b6cbf720SGianluca Guida #define	KASSERT(a)
61b6cbf720SGianluca Guida #endif
62*f14fb602SLionel Sambuc #endif /* defined(_KERNEL) || defined(_STANDALONE) */
63b6cbf720SGianluca Guida 
64b6cbf720SGianluca Guida #include <sys/rpst.h>
65b6cbf720SGianluca Guida 
66b6cbf720SGianluca Guida /*
67b6cbf720SGianluca Guida  * rpst_init_tree: initialize a tree.
68b6cbf720SGianluca Guida  */
69b6cbf720SGianluca Guida 
70b6cbf720SGianluca Guida void
rpst_init_tree(struct rpst_tree * t)71b6cbf720SGianluca Guida rpst_init_tree(struct rpst_tree *t)
72b6cbf720SGianluca Guida {
73b6cbf720SGianluca Guida 
74b6cbf720SGianluca Guida 	t->t_root = NULL;
75b6cbf720SGianluca Guida 	t->t_height = 0;
76b6cbf720SGianluca Guida }
77b6cbf720SGianluca Guida 
78b6cbf720SGianluca Guida /*
79b6cbf720SGianluca Guida  * rpst_height2max: calculate the maximum index which can be handled by
80b6cbf720SGianluca Guida  * a tree with the given height.
81b6cbf720SGianluca Guida  *
82b6cbf720SGianluca Guida  * 0  ... 0x0000000000000001
83b6cbf720SGianluca Guida  * 1  ... 0x0000000000000003
84b6cbf720SGianluca Guida  * 2  ... 0x0000000000000007
85b6cbf720SGianluca Guida  * 3  ... 0x000000000000000f
86b6cbf720SGianluca Guida  *
87b6cbf720SGianluca Guida  * 31 ... 0x00000000ffffffff
88b6cbf720SGianluca Guida  *
89b6cbf720SGianluca Guida  * 63 ... 0xffffffffffffffff
90b6cbf720SGianluca Guida  */
91b6cbf720SGianluca Guida 
92b6cbf720SGianluca Guida static uint64_t
rpst_height2max(unsigned int height)93b6cbf720SGianluca Guida rpst_height2max(unsigned int height)
94b6cbf720SGianluca Guida {
95b6cbf720SGianluca Guida 
96b6cbf720SGianluca Guida 	KASSERT(height < 64);
97b6cbf720SGianluca Guida 	if (height == 63) {
98b6cbf720SGianluca Guida 		return UINT64_MAX;
99b6cbf720SGianluca Guida 	}
100b6cbf720SGianluca Guida 	return (UINT64_C(1) << (height + 1)) - 1;
101b6cbf720SGianluca Guida }
102b6cbf720SGianluca Guida 
103b6cbf720SGianluca Guida /*
104b6cbf720SGianluca Guida  * rpst_level2mask: calculate the mask for the given level in the tree.
105b6cbf720SGianluca Guida  *
106b6cbf720SGianluca Guida  * the mask used to index root's children is level 0.
107b6cbf720SGianluca Guida  */
108b6cbf720SGianluca Guida 
109b6cbf720SGianluca Guida static uint64_t
rpst_level2mask(const struct rpst_tree * t,unsigned int level)110b6cbf720SGianluca Guida rpst_level2mask(const struct rpst_tree *t, unsigned int level)
111b6cbf720SGianluca Guida {
112b6cbf720SGianluca Guida 	uint64_t mask;
113b6cbf720SGianluca Guida 
114b6cbf720SGianluca Guida 	if (t->t_height < level) {
115b6cbf720SGianluca Guida 		mask = 0;
116b6cbf720SGianluca Guida 	} else {
117b6cbf720SGianluca Guida 		mask = UINT64_C(1) << (t->t_height - level);
118b6cbf720SGianluca Guida 	}
119b6cbf720SGianluca Guida 	return mask;
120b6cbf720SGianluca Guida }
121b6cbf720SGianluca Guida 
122b6cbf720SGianluca Guida /*
123b6cbf720SGianluca Guida  * rpst_startmask: calculate the mask for the start of a search.
124b6cbf720SGianluca Guida  * (ie. the mask for the top-most bit)
125b6cbf720SGianluca Guida  */
126b6cbf720SGianluca Guida 
127b6cbf720SGianluca Guida static uint64_t
rpst_startmask(const struct rpst_tree * t)128b6cbf720SGianluca Guida rpst_startmask(const struct rpst_tree *t)
129b6cbf720SGianluca Guida {
130b6cbf720SGianluca Guida 	const uint64_t mask = rpst_level2mask(t, 0);
131b6cbf720SGianluca Guida 
132b6cbf720SGianluca Guida 	KASSERT((mask | (mask - 1)) == rpst_height2max(t->t_height));
133b6cbf720SGianluca Guida 	return mask;
134b6cbf720SGianluca Guida }
135b6cbf720SGianluca Guida 
136b6cbf720SGianluca Guida /*
137b6cbf720SGianluca Guida  * rpst_update_parents: update n_parent of children
138b6cbf720SGianluca Guida  */
139b6cbf720SGianluca Guida 
140b6cbf720SGianluca Guida static inline void
rpst_update_parents(struct rpst_node * n)141b6cbf720SGianluca Guida rpst_update_parents(struct rpst_node *n)
142b6cbf720SGianluca Guida {
143b6cbf720SGianluca Guida 	int i;
144b6cbf720SGianluca Guida 
145b6cbf720SGianluca Guida 	for (i = 0; i < 2; i++) {
146b6cbf720SGianluca Guida 		if (n->n_children[i] != NULL) {
147b6cbf720SGianluca Guida 			n->n_children[i]->n_parent = n;
148b6cbf720SGianluca Guida 		}
149b6cbf720SGianluca Guida 	}
150b6cbf720SGianluca Guida }
151b6cbf720SGianluca Guida 
152b6cbf720SGianluca Guida /*
153b6cbf720SGianluca Guida  * rpst_enlarge_tree: enlarge tree so that 'idx' can be stored
154b6cbf720SGianluca Guida  */
155b6cbf720SGianluca Guida 
156b6cbf720SGianluca Guida static void
rpst_enlarge_tree(struct rpst_tree * t,uint64_t idx)157b6cbf720SGianluca Guida rpst_enlarge_tree(struct rpst_tree *t, uint64_t idx)
158b6cbf720SGianluca Guida {
159b6cbf720SGianluca Guida 
160b6cbf720SGianluca Guida 	while (idx > rpst_height2max(t->t_height)) {
161b6cbf720SGianluca Guida 		struct rpst_node *n = t->t_root;
162b6cbf720SGianluca Guida 
163b6cbf720SGianluca Guida 		if (n != NULL) {
164b6cbf720SGianluca Guida 			rpst_remove_node(t, n);
165b6cbf720SGianluca Guida 			memset(&n->n_children, 0, sizeof(n->n_children));
166b6cbf720SGianluca Guida 			n->n_children[0] = t->t_root;
167b6cbf720SGianluca Guida 			t->t_root->n_parent = n;
168b6cbf720SGianluca Guida 			t->t_root = n;
169b6cbf720SGianluca Guida 			n->n_parent = NULL;
170b6cbf720SGianluca Guida 		}
171b6cbf720SGianluca Guida 		t->t_height++;
172b6cbf720SGianluca Guida 	}
173b6cbf720SGianluca Guida }
174b6cbf720SGianluca Guida 
175b6cbf720SGianluca Guida /*
176b6cbf720SGianluca Guida  * rpst_insert_node1: a helper for rpst_insert_node.
177b6cbf720SGianluca Guida  */
178b6cbf720SGianluca Guida 
179b6cbf720SGianluca Guida static struct rpst_node *
rpst_insert_node1(struct rpst_node ** where,struct rpst_node * n,uint64_t mask)180b6cbf720SGianluca Guida rpst_insert_node1(struct rpst_node **where, struct rpst_node *n, uint64_t mask)
181b6cbf720SGianluca Guida {
182b6cbf720SGianluca Guida 	struct rpst_node *parent;
183b6cbf720SGianluca Guida 	struct rpst_node *cur;
184b6cbf720SGianluca Guida 	unsigned int idx;
185b6cbf720SGianluca Guida 
186b6cbf720SGianluca Guida 	KASSERT((n->n_x & ((-mask) << 1)) == 0);
187b6cbf720SGianluca Guida 	parent = NULL;
188b6cbf720SGianluca Guida next:
189b6cbf720SGianluca Guida 	cur = *where;
190b6cbf720SGianluca Guida 	if (cur == NULL) {
191b6cbf720SGianluca Guida 		n->n_parent = parent;
192b6cbf720SGianluca Guida 		memset(&n->n_children, 0, sizeof(n->n_children));
193b6cbf720SGianluca Guida 		*where = n;
194b6cbf720SGianluca Guida 		return NULL;
195b6cbf720SGianluca Guida 	}
196b6cbf720SGianluca Guida 	KASSERT(cur->n_parent == parent);
197b6cbf720SGianluca Guida 	if (n->n_y == cur->n_y && n->n_x == cur->n_x) {
198b6cbf720SGianluca Guida 		return cur;
199b6cbf720SGianluca Guida 	}
200b6cbf720SGianluca Guida 	if (n->n_y < cur->n_y) {
201b6cbf720SGianluca Guida 		/*
202b6cbf720SGianluca Guida 		 * swap cur and n.
203b6cbf720SGianluca Guida 		 * note that n is not in tree.
204b6cbf720SGianluca Guida 		 */
205b6cbf720SGianluca Guida 		memcpy(n->n_children, cur->n_children, sizeof(n->n_children));
206b6cbf720SGianluca Guida 		n->n_parent = cur->n_parent;
207b6cbf720SGianluca Guida 		rpst_update_parents(n);
208b6cbf720SGianluca Guida 		*where = n;
209b6cbf720SGianluca Guida 		n = cur;
210b6cbf720SGianluca Guida 		cur = *where;
211b6cbf720SGianluca Guida 	}
212b6cbf720SGianluca Guida 	KASSERT(*where == cur);
213b6cbf720SGianluca Guida 	idx = (n->n_x & mask) != 0;
214b6cbf720SGianluca Guida 	where = &cur->n_children[idx];
215b6cbf720SGianluca Guida 	parent = cur;
216b6cbf720SGianluca Guida 	KASSERT((*where) == NULL || ((((*where)->n_x & mask) != 0) == idx));
217b6cbf720SGianluca Guida 	KASSERT((*where) == NULL || (*where)->n_y >= cur->n_y);
218b6cbf720SGianluca Guida 	mask >>= 1;
219b6cbf720SGianluca Guida 	goto next;
220b6cbf720SGianluca Guida }
221b6cbf720SGianluca Guida 
222b6cbf720SGianluca Guida /*
223b6cbf720SGianluca Guida  * rpst_insert_node: insert a node into the tree.
224b6cbf720SGianluca Guida  *
225b6cbf720SGianluca Guida  * => return NULL on success.
226b6cbf720SGianluca Guida  * => if a duplicated node (a node with the same X,Y pair as ours) is found,
227b6cbf720SGianluca Guida  *    return the node.  in that case, the tree is intact.
228b6cbf720SGianluca Guida  */
229b6cbf720SGianluca Guida 
230b6cbf720SGianluca Guida struct rpst_node *
rpst_insert_node(struct rpst_tree * t,struct rpst_node * n)231b6cbf720SGianluca Guida rpst_insert_node(struct rpst_tree *t, struct rpst_node *n)
232b6cbf720SGianluca Guida {
233b6cbf720SGianluca Guida 
234b6cbf720SGianluca Guida 	rpst_enlarge_tree(t, n->n_x);
235b6cbf720SGianluca Guida 	return rpst_insert_node1(&t->t_root, n, rpst_startmask(t));
236b6cbf720SGianluca Guida }
237b6cbf720SGianluca Guida 
238b6cbf720SGianluca Guida /*
239b6cbf720SGianluca Guida  * rpst_find_pptr: find a pointer to the given node.
240b6cbf720SGianluca Guida  *
241b6cbf720SGianluca Guida  * also, return the parent node via parentp.  (NULL for the root node.)
242b6cbf720SGianluca Guida  */
243b6cbf720SGianluca Guida 
244b6cbf720SGianluca Guida static inline struct rpst_node **
rpst_find_pptr(struct rpst_tree * t,struct rpst_node * n,struct rpst_node ** parentp)245b6cbf720SGianluca Guida rpst_find_pptr(struct rpst_tree *t, struct rpst_node *n,
246b6cbf720SGianluca Guida     struct rpst_node **parentp)
247b6cbf720SGianluca Guida {
248b6cbf720SGianluca Guida 	struct rpst_node * const parent = n->n_parent;
249b6cbf720SGianluca Guida 	unsigned int i;
250b6cbf720SGianluca Guida 
251b6cbf720SGianluca Guida 	*parentp = parent;
252b6cbf720SGianluca Guida 	if (parent == NULL) {
253b6cbf720SGianluca Guida 		return &t->t_root;
254b6cbf720SGianluca Guida 	}
255b6cbf720SGianluca Guida 	for (i = 0; i < 2 - 1; i++) {
256b6cbf720SGianluca Guida 		if (parent->n_children[i] == n) {
257b6cbf720SGianluca Guida 			break;
258b6cbf720SGianluca Guida 		}
259b6cbf720SGianluca Guida 	}
260b6cbf720SGianluca Guida 	KASSERT(parent->n_children[i] == n);
261b6cbf720SGianluca Guida 	return &parent->n_children[i];
262b6cbf720SGianluca Guida }
263b6cbf720SGianluca Guida 
264b6cbf720SGianluca Guida /*
265b6cbf720SGianluca Guida  * rpst_remove_node_at: remove a node at *where.
266b6cbf720SGianluca Guida  */
267b6cbf720SGianluca Guida 
268b6cbf720SGianluca Guida static void
rpst_remove_node_at(struct rpst_node * parent,struct rpst_node ** where,struct rpst_node * cur)269b6cbf720SGianluca Guida rpst_remove_node_at(struct rpst_node *parent, struct rpst_node **where,
270b6cbf720SGianluca Guida     struct rpst_node *cur)
271b6cbf720SGianluca Guida {
272b6cbf720SGianluca Guida 	struct rpst_node *tmp[2];
273b6cbf720SGianluca Guida 	struct rpst_node *selected;
274b6cbf720SGianluca Guida 	unsigned int selected_idx = 0; /* XXX gcc */
275b6cbf720SGianluca Guida 	unsigned int i;
276b6cbf720SGianluca Guida 
277b6cbf720SGianluca Guida 	KASSERT(cur != NULL);
278b6cbf720SGianluca Guida 	KASSERT(parent == cur->n_parent);
279b6cbf720SGianluca Guida next:
280b6cbf720SGianluca Guida 	selected = NULL;
281b6cbf720SGianluca Guida 	for (i = 0; i < 2; i++) {
282b6cbf720SGianluca Guida 		struct rpst_node *c;
283b6cbf720SGianluca Guida 
284b6cbf720SGianluca Guida 		c = cur->n_children[i];
285b6cbf720SGianluca Guida 		KASSERT(c == NULL || c->n_parent == cur);
286b6cbf720SGianluca Guida 		if (selected == NULL || (c != NULL && c->n_y < selected->n_y)) {
287b6cbf720SGianluca Guida 			selected = c;
288b6cbf720SGianluca Guida 			selected_idx = i;
289b6cbf720SGianluca Guida 		}
290b6cbf720SGianluca Guida 	}
291b6cbf720SGianluca Guida 	/*
292b6cbf720SGianluca Guida 	 * now we have:
293b6cbf720SGianluca Guida 	 *
294b6cbf720SGianluca Guida 	 *      parent
295b6cbf720SGianluca Guida 	 *          \ <- where
296b6cbf720SGianluca Guida 	 *           cur
297b6cbf720SGianluca Guida 	 *           / \
298b6cbf720SGianluca Guida 	 *          A  selected
299b6cbf720SGianluca Guida 	 *              / \
300b6cbf720SGianluca Guida 	 *             B   C
301b6cbf720SGianluca Guida 	 */
302b6cbf720SGianluca Guida 	*where = selected;
303b6cbf720SGianluca Guida 	if (selected == NULL) {
304b6cbf720SGianluca Guida 		return;
305b6cbf720SGianluca Guida 	}
306b6cbf720SGianluca Guida 	/*
307b6cbf720SGianluca Guida 	 * swap selected->n_children and cur->n_children.
308b6cbf720SGianluca Guida 	 */
309b6cbf720SGianluca Guida 	memcpy(tmp, selected->n_children, sizeof(tmp));
310b6cbf720SGianluca Guida 	memcpy(selected->n_children, cur->n_children, sizeof(tmp));
311b6cbf720SGianluca Guida 	memcpy(cur->n_children, tmp, sizeof(tmp));
312b6cbf720SGianluca Guida 	rpst_update_parents(cur);
313b6cbf720SGianluca Guida 	rpst_update_parents(selected);
314b6cbf720SGianluca Guida 	selected->n_parent = parent;
315b6cbf720SGianluca Guida 	/*
316b6cbf720SGianluca Guida 	 *      parent
317b6cbf720SGianluca Guida 	 *          \ <- where
318b6cbf720SGianluca Guida 	 *          selected
319b6cbf720SGianluca Guida 	 *           / \
320b6cbf720SGianluca Guida 	 *          A  selected
321b6cbf720SGianluca Guida 	 *
322b6cbf720SGianluca Guida 	 *              cur
323b6cbf720SGianluca Guida 	 *              / \
324b6cbf720SGianluca Guida 	 *             B   C
325b6cbf720SGianluca Guida 	 */
326b6cbf720SGianluca Guida 	where = &selected->n_children[selected_idx];
327b6cbf720SGianluca Guida 	/*
328b6cbf720SGianluca Guida 	 *      parent
329b6cbf720SGianluca Guida 	 *          \
330b6cbf720SGianluca Guida 	 *          selected
331b6cbf720SGianluca Guida 	 *           / \ <- where
332b6cbf720SGianluca Guida 	 *          A  selected (*)
333b6cbf720SGianluca Guida 	 *
334b6cbf720SGianluca Guida 	 *              cur (**)
335b6cbf720SGianluca Guida 	 *              / \
336b6cbf720SGianluca Guida 	 *             B   C
337b6cbf720SGianluca Guida 	 *
338b6cbf720SGianluca Guida 	 * (*) this 'selected' will be overwritten in the next iteration.
339b6cbf720SGianluca Guida 	 * (**) cur->n_parent is bogus.
340b6cbf720SGianluca Guida 	 */
341b6cbf720SGianluca Guida 	parent = selected;
342b6cbf720SGianluca Guida 	goto next;
343b6cbf720SGianluca Guida }
344b6cbf720SGianluca Guida 
345b6cbf720SGianluca Guida /*
346b6cbf720SGianluca Guida  * rpst_remove_node: remove a node from the tree.
347b6cbf720SGianluca Guida  */
348b6cbf720SGianluca Guida 
349b6cbf720SGianluca Guida void
rpst_remove_node(struct rpst_tree * t,struct rpst_node * n)350b6cbf720SGianluca Guida rpst_remove_node(struct rpst_tree *t, struct rpst_node *n)
351b6cbf720SGianluca Guida {
352b6cbf720SGianluca Guida 	struct rpst_node *parent;
353b6cbf720SGianluca Guida 	struct rpst_node **where;
354b6cbf720SGianluca Guida 
355b6cbf720SGianluca Guida 	where = rpst_find_pptr(t, n, &parent);
356b6cbf720SGianluca Guida 	rpst_remove_node_at(parent, where, n);
357b6cbf720SGianluca Guida }
358b6cbf720SGianluca Guida 
359b6cbf720SGianluca Guida static bool __unused
rpst_iterator_match_p(const struct rpst_node * n,const struct rpst_iterator * it)360b6cbf720SGianluca Guida rpst_iterator_match_p(const struct rpst_node *n, const struct rpst_iterator *it)
361b6cbf720SGianluca Guida {
362b6cbf720SGianluca Guida 
363b6cbf720SGianluca Guida 	if (n->n_y > it->it_max_y) {
364b6cbf720SGianluca Guida 		return false;
365b6cbf720SGianluca Guida 	}
366b6cbf720SGianluca Guida 	if (n->n_x < it->it_min_x) {
367b6cbf720SGianluca Guida 		return false;
368b6cbf720SGianluca Guida 	}
369b6cbf720SGianluca Guida 	if (n->n_x > it->it_max_x) {
370b6cbf720SGianluca Guida 		return false;
371b6cbf720SGianluca Guida 	}
372b6cbf720SGianluca Guida 	return true;
373b6cbf720SGianluca Guida }
374b6cbf720SGianluca Guida 
375b6cbf720SGianluca Guida struct rpst_node *
rpst_iterate_first(struct rpst_tree * t,uint64_t max_y,uint64_t min_x,uint64_t max_x,struct rpst_iterator * it)376b6cbf720SGianluca Guida rpst_iterate_first(struct rpst_tree *t, uint64_t max_y, uint64_t min_x,
377b6cbf720SGianluca Guida     uint64_t max_x, struct rpst_iterator *it)
378b6cbf720SGianluca Guida {
379b6cbf720SGianluca Guida 	struct rpst_node *n;
380b6cbf720SGianluca Guida 
381b6cbf720SGianluca Guida 	KASSERT(min_x <= max_x);
382b6cbf720SGianluca Guida 	n = t->t_root;
383b6cbf720SGianluca Guida 	if (n == NULL || n->n_y > max_y) {
384b6cbf720SGianluca Guida 		return NULL;
385b6cbf720SGianluca Guida 	}
386b6cbf720SGianluca Guida 	if (rpst_height2max(t->t_height) < min_x) {
387b6cbf720SGianluca Guida 		return NULL;
388b6cbf720SGianluca Guida 	}
389b6cbf720SGianluca Guida 	it->it_tree = t;
390b6cbf720SGianluca Guida 	it->it_cur = n;
391b6cbf720SGianluca Guida 	it->it_idx = (min_x & rpst_startmask(t)) != 0;
392b6cbf720SGianluca Guida 	it->it_level = 0;
393b6cbf720SGianluca Guida 	it->it_max_y = max_y;
394b6cbf720SGianluca Guida 	it->it_min_x = min_x;
395b6cbf720SGianluca Guida 	it->it_max_x = max_x;
396b6cbf720SGianluca Guida 	return rpst_iterate_next(it);
397b6cbf720SGianluca Guida }
398b6cbf720SGianluca Guida 
399b6cbf720SGianluca Guida static inline unsigned int
rpst_node_on_edge_p(const struct rpst_node * n,uint64_t val,uint64_t mask)400b6cbf720SGianluca Guida rpst_node_on_edge_p(const struct rpst_node *n, uint64_t val, uint64_t mask)
401b6cbf720SGianluca Guida {
402b6cbf720SGianluca Guida 
403b6cbf720SGianluca Guida 	return ((n->n_x ^ val) & ((-mask) << 1)) == 0;
404b6cbf720SGianluca Guida }
405b6cbf720SGianluca Guida 
406b6cbf720SGianluca Guida static inline uint64_t
rpst_maxidx(const struct rpst_node * n,uint64_t max_x,uint64_t mask)407b6cbf720SGianluca Guida rpst_maxidx(const struct rpst_node *n, uint64_t max_x, uint64_t mask)
408b6cbf720SGianluca Guida {
409b6cbf720SGianluca Guida 
410b6cbf720SGianluca Guida 	if (rpst_node_on_edge_p(n, max_x, mask)) {
411b6cbf720SGianluca Guida 		return (max_x & mask) != 0;
412b6cbf720SGianluca Guida 	} else {
413b6cbf720SGianluca Guida 		return 1;
414b6cbf720SGianluca Guida 	}
415b6cbf720SGianluca Guida }
416b6cbf720SGianluca Guida 
417b6cbf720SGianluca Guida static inline uint64_t
rpst_minidx(const struct rpst_node * n,uint64_t min_x,uint64_t mask)418b6cbf720SGianluca Guida rpst_minidx(const struct rpst_node *n, uint64_t min_x, uint64_t mask)
419b6cbf720SGianluca Guida {
420b6cbf720SGianluca Guida 
421b6cbf720SGianluca Guida 	if (rpst_node_on_edge_p(n, min_x, mask)) {
422b6cbf720SGianluca Guida 		return (min_x & mask) != 0;
423b6cbf720SGianluca Guida 	} else {
424b6cbf720SGianluca Guida 		return 0;
425b6cbf720SGianluca Guida 	}
426b6cbf720SGianluca Guida }
427b6cbf720SGianluca Guida 
428b6cbf720SGianluca Guida struct rpst_node *
rpst_iterate_next(struct rpst_iterator * it)429b6cbf720SGianluca Guida rpst_iterate_next(struct rpst_iterator *it)
430b6cbf720SGianluca Guida {
431b6cbf720SGianluca Guida 	struct rpst_tree *t;
432b6cbf720SGianluca Guida 	struct rpst_node *n;
433b6cbf720SGianluca Guida 	struct rpst_node *next;
434b6cbf720SGianluca Guida 	const uint64_t max_y = it->it_max_y;
435b6cbf720SGianluca Guida 	const uint64_t min_x = it->it_min_x;
436b6cbf720SGianluca Guida 	const uint64_t max_x = it->it_max_x;
437b6cbf720SGianluca Guida 	unsigned int idx;
438b6cbf720SGianluca Guida 	unsigned int maxidx;
439b6cbf720SGianluca Guida 	unsigned int level;
440b6cbf720SGianluca Guida 	uint64_t mask;
441b6cbf720SGianluca Guida 
442b6cbf720SGianluca Guida 	t = it->it_tree;
443b6cbf720SGianluca Guida 	n = it->it_cur;
444b6cbf720SGianluca Guida 	idx = it->it_idx;
445b6cbf720SGianluca Guida 	level = it->it_level;
446b6cbf720SGianluca Guida 	mask = rpst_level2mask(t, level);
447b6cbf720SGianluca Guida 	maxidx = rpst_maxidx(n, max_x, mask);
448b6cbf720SGianluca Guida 	KASSERT(n == t->t_root || rpst_iterator_match_p(n, it));
449b6cbf720SGianluca Guida next:
450b6cbf720SGianluca Guida 	KASSERT(mask == rpst_level2mask(t, level));
451b6cbf720SGianluca Guida 	KASSERT(idx >= rpst_minidx(n, min_x, mask));
452b6cbf720SGianluca Guida 	KASSERT(maxidx == rpst_maxidx(n, max_x, mask));
453b6cbf720SGianluca Guida 	KASSERT(idx <= maxidx + 2);
454b6cbf720SGianluca Guida 	KASSERT(n != NULL);
455b6cbf720SGianluca Guida #if 0
456b6cbf720SGianluca Guida 	printf("%s: cur=%p, idx=%u maxidx=%u level=%u mask=%" PRIx64 "\n",
457b6cbf720SGianluca Guida 	    __func__, (void *)n, idx, maxidx, level, mask);
458b6cbf720SGianluca Guida #endif
459b6cbf720SGianluca Guida 	if (idx == maxidx + 1) { /* visit the current node */
460b6cbf720SGianluca Guida 		idx++;
461b6cbf720SGianluca Guida 		if (min_x <= n->n_x && n->n_x <= max_x) {
462b6cbf720SGianluca Guida 			it->it_cur = n;
463b6cbf720SGianluca Guida 			it->it_idx = idx;
464b6cbf720SGianluca Guida 			it->it_level = level;
465b6cbf720SGianluca Guida 			KASSERT(rpst_iterator_match_p(n, it));
466b6cbf720SGianluca Guida 			return n; /* report */
467b6cbf720SGianluca Guida 		}
468b6cbf720SGianluca Guida 		goto next;
469b6cbf720SGianluca Guida 	} else if (idx == maxidx + 2) { /* back to the parent */
470b6cbf720SGianluca Guida 		struct rpst_node **where;
471b6cbf720SGianluca Guida 
472b6cbf720SGianluca Guida 		where = rpst_find_pptr(t, n, &next);
473b6cbf720SGianluca Guida 		if (next == NULL) {
474b6cbf720SGianluca Guida 			KASSERT(level == 0);
475b6cbf720SGianluca Guida 			KASSERT(t->t_root == n);
476b6cbf720SGianluca Guida 			KASSERT(&t->t_root == where);
477b6cbf720SGianluca Guida 			return NULL; /* done */
478b6cbf720SGianluca Guida 		}
479b6cbf720SGianluca Guida 		KASSERT(level > 0);
480b6cbf720SGianluca Guida 		level--;
481b6cbf720SGianluca Guida 		n = next;
482b6cbf720SGianluca Guida 		mask = rpst_level2mask(t, level);
483b6cbf720SGianluca Guida 		maxidx = rpst_maxidx(n, max_x, mask);
484b6cbf720SGianluca Guida 		idx = where - n->n_children + 1;
485b6cbf720SGianluca Guida 		KASSERT(idx < 2 + 1);
486b6cbf720SGianluca Guida 		goto next;
487b6cbf720SGianluca Guida 	}
488b6cbf720SGianluca Guida 	/* go to a child */
489b6cbf720SGianluca Guida 	KASSERT(idx < 2);
490b6cbf720SGianluca Guida 	next = n->n_children[idx];
491b6cbf720SGianluca Guida 	if (next == NULL || next->n_y > max_y) {
492b6cbf720SGianluca Guida 		idx++;
493b6cbf720SGianluca Guida 		goto next;
494b6cbf720SGianluca Guida 	}
495b6cbf720SGianluca Guida 	KASSERT(next->n_parent == n);
496b6cbf720SGianluca Guida 	KASSERT(next->n_y >= n->n_y);
497b6cbf720SGianluca Guida 	level++;
498b6cbf720SGianluca Guida 	mask >>= 1;
499b6cbf720SGianluca Guida 	n = next;
500b6cbf720SGianluca Guida 	idx = rpst_minidx(n, min_x, mask);
501b6cbf720SGianluca Guida 	maxidx = rpst_maxidx(n, max_x, mask);
502b6cbf720SGianluca Guida #if 0
503b6cbf720SGianluca Guida 	printf("%s: visit %p idx=%u level=%u mask=%llx\n",
504b6cbf720SGianluca Guida 	    __func__, n, idx, level, mask);
505b6cbf720SGianluca Guida #endif
506b6cbf720SGianluca Guida 	goto next;
507b6cbf720SGianluca Guida }
508b6cbf720SGianluca Guida 
509b6cbf720SGianluca Guida #if defined(UNITTEST)
510b6cbf720SGianluca Guida #include <sys/time.h>
511b6cbf720SGianluca Guida 
512b6cbf720SGianluca Guida #include <inttypes.h>
513b6cbf720SGianluca Guida #include <stdio.h>
514b6cbf720SGianluca Guida #include <stdlib.h>
515b6cbf720SGianluca Guida 
516b6cbf720SGianluca Guida static void
rpst_dump_node(const struct rpst_node * n,unsigned int depth)517b6cbf720SGianluca Guida rpst_dump_node(const struct rpst_node *n, unsigned int depth)
518b6cbf720SGianluca Guida {
519b6cbf720SGianluca Guida 	unsigned int i;
520b6cbf720SGianluca Guida 
521b6cbf720SGianluca Guida 	for (i = 0; i < depth; i++) {
522b6cbf720SGianluca Guida 		printf("  ");
523b6cbf720SGianluca Guida 	}
524b6cbf720SGianluca Guida 	printf("[%u]", depth);
525b6cbf720SGianluca Guida 	if (n == NULL) {
526b6cbf720SGianluca Guida 		printf("NULL\n");
527b6cbf720SGianluca Guida 		return;
528b6cbf720SGianluca Guida 	}
529b6cbf720SGianluca Guida 	printf("%p x=%" PRIx64 "(%" PRIu64 ") y=%" PRIx64 "(%" PRIu64 ")\n",
530b6cbf720SGianluca Guida 	    (const void *)n, n->n_x, n->n_x, n->n_y, n->n_y);
531b6cbf720SGianluca Guida 	for (i = 0; i < 2; i++) {
532b6cbf720SGianluca Guida 		rpst_dump_node(n->n_children[i], depth + 1);
533b6cbf720SGianluca Guida 	}
534b6cbf720SGianluca Guida }
535b6cbf720SGianluca Guida 
536b6cbf720SGianluca Guida static void
rpst_dump_tree(const struct rpst_tree * t)537b6cbf720SGianluca Guida rpst_dump_tree(const struct rpst_tree *t)
538b6cbf720SGianluca Guida {
539b6cbf720SGianluca Guida 
540b6cbf720SGianluca Guida 	printf("pst %p height=%u\n", (const void *)t, t->t_height);
541b6cbf720SGianluca Guida 	rpst_dump_node(t->t_root, 0);
542b6cbf720SGianluca Guida }
543b6cbf720SGianluca Guida 
544b6cbf720SGianluca Guida struct testnode {
545b6cbf720SGianluca Guida 	struct rpst_node n;
546b6cbf720SGianluca Guida 	struct testnode *next;
547b6cbf720SGianluca Guida 	bool failed;
548b6cbf720SGianluca Guida 	bool found;
549b6cbf720SGianluca Guida };
550b6cbf720SGianluca Guida 
551b6cbf720SGianluca Guida struct rpst_tree t;
552b6cbf720SGianluca Guida struct testnode *h = NULL;
553b6cbf720SGianluca Guida 
554b6cbf720SGianluca Guida static uintmax_t
tvdiff(const struct timeval * tv1,const struct timeval * tv2)555b6cbf720SGianluca Guida tvdiff(const struct timeval *tv1, const struct timeval *tv2)
556b6cbf720SGianluca Guida {
557b6cbf720SGianluca Guida 
558b6cbf720SGianluca Guida 	return (uintmax_t)tv1->tv_sec * 1000000 + tv1->tv_usec -
559b6cbf720SGianluca Guida 	    tv2->tv_sec * 1000000 - tv2->tv_usec;
560b6cbf720SGianluca Guida }
561b6cbf720SGianluca Guida 
562b6cbf720SGianluca Guida static unsigned int
query(uint64_t max_y,uint64_t min_x,uint64_t max_x)563b6cbf720SGianluca Guida query(uint64_t max_y, uint64_t min_x, uint64_t max_x)
564b6cbf720SGianluca Guida {
565b6cbf720SGianluca Guida 	struct testnode *n;
566b6cbf720SGianluca Guida 	struct rpst_node *rn;
567b6cbf720SGianluca Guida 	struct rpst_iterator it;
568b6cbf720SGianluca Guida 	struct timeval start;
569b6cbf720SGianluca Guida 	struct timeval end;
570b6cbf720SGianluca Guida 	unsigned int done;
571b6cbf720SGianluca Guida 
572b6cbf720SGianluca Guida 	printf("quering max_y=%" PRIu64 " min_x=%" PRIu64 " max_x=%" PRIu64
573b6cbf720SGianluca Guida 	    "\n",
574b6cbf720SGianluca Guida 	    max_y, min_x, max_x);
575b6cbf720SGianluca Guida 	done = 0;
576b6cbf720SGianluca Guida 	gettimeofday(&start, NULL);
577b6cbf720SGianluca Guida 	for (rn = rpst_iterate_first(&t, max_y, min_x, max_x, &it);
578b6cbf720SGianluca Guida 	    rn != NULL;
579b6cbf720SGianluca Guida 	    rn = rpst_iterate_next(&it)) {
580b6cbf720SGianluca Guida 		done++;
581b6cbf720SGianluca Guida #if 0
582b6cbf720SGianluca Guida 		printf("found %p x=%" PRIu64 " y=%" PRIu64 "\n",
583b6cbf720SGianluca Guida 		    (void *)rn, rn->n_x, rn->n_y);
584b6cbf720SGianluca Guida #endif
585b6cbf720SGianluca Guida 		n = (void *)rn;
586b6cbf720SGianluca Guida 		assert(!n->found);
587b6cbf720SGianluca Guida 		n->found = true;
588b6cbf720SGianluca Guida 	}
589b6cbf720SGianluca Guida 	gettimeofday(&end, NULL);
590b6cbf720SGianluca Guida 	printf("%u nodes found in %ju usecs\n", done,
591b6cbf720SGianluca Guida 	    tvdiff(&end, &start));
592b6cbf720SGianluca Guida 
593b6cbf720SGianluca Guida 	gettimeofday(&start, NULL);
594b6cbf720SGianluca Guida 	for (n = h; n != NULL; n = n->next) {
595b6cbf720SGianluca Guida 		assert(n->failed ||
596b6cbf720SGianluca Guida 		    n->found == rpst_iterator_match_p(&n->n, &it));
597b6cbf720SGianluca Guida 		n->found = false;
598b6cbf720SGianluca Guida 	}
599b6cbf720SGianluca Guida 	gettimeofday(&end, NULL);
600b6cbf720SGianluca Guida 	printf("(linear search took %ju usecs)\n", tvdiff(&end, &start));
601b6cbf720SGianluca Guida 	return done;
602b6cbf720SGianluca Guida }
603b6cbf720SGianluca Guida 
604b6cbf720SGianluca Guida int
main(int argc,char * argv[])605b6cbf720SGianluca Guida main(int argc, char *argv[])
606b6cbf720SGianluca Guida {
607b6cbf720SGianluca Guida 	struct testnode *n;
608b6cbf720SGianluca Guida 	unsigned int i;
609b6cbf720SGianluca Guida 	struct rpst_iterator it;
610b6cbf720SGianluca Guida 	struct timeval start;
611b6cbf720SGianluca Guida 	struct timeval end;
612b6cbf720SGianluca Guida 	uint64_t min_y = UINT64_MAX;
613b6cbf720SGianluca Guida 	uint64_t max_y = 0;
614b6cbf720SGianluca Guida 	uint64_t min_x = UINT64_MAX;
615b6cbf720SGianluca Guida 	uint64_t max_x = 0;
616b6cbf720SGianluca Guida 	uint64_t w;
617b6cbf720SGianluca Guida 	unsigned int done;
618b6cbf720SGianluca Guida 	unsigned int fail;
619b6cbf720SGianluca Guida 	unsigned int num = 500000;
620b6cbf720SGianluca Guida 
621b6cbf720SGianluca Guida 	rpst_init_tree(&t);
622b6cbf720SGianluca Guida 	rpst_dump_tree(&t);
623b6cbf720SGianluca Guida 	assert(NULL == rpst_iterate_first(&t, UINT64_MAX, 0, UINT64_MAX, &it));
624b6cbf720SGianluca Guida 
625b6cbf720SGianluca Guida 	for (i = 0; i < num; i++) {
626b6cbf720SGianluca Guida 		n = malloc(sizeof(*n));
627b6cbf720SGianluca Guida 		if (i > 499000) {
628b6cbf720SGianluca Guida 			n->n.n_x = 10;
629b6cbf720SGianluca Guida 			n->n.n_y = random();
630b6cbf720SGianluca Guida 		} else if (i > 400000) {
631b6cbf720SGianluca Guida 			n->n.n_x = i;
632b6cbf720SGianluca Guida 			n->n.n_y = random();
633b6cbf720SGianluca Guida 		} else {
634b6cbf720SGianluca Guida 			n->n.n_x = random();
635b6cbf720SGianluca Guida 			n->n.n_y = random();
636b6cbf720SGianluca Guida 		}
637b6cbf720SGianluca Guida 		if (n->n.n_y < min_y) {
638b6cbf720SGianluca Guida 			min_y = n->n.n_y;
639b6cbf720SGianluca Guida 		}
640b6cbf720SGianluca Guida 		if (n->n.n_y > max_y) {
641b6cbf720SGianluca Guida 			max_y = n->n.n_y;
642b6cbf720SGianluca Guida 		}
643b6cbf720SGianluca Guida 		if (n->n.n_x < min_x) {
644b6cbf720SGianluca Guida 			min_x = n->n.n_x;
645b6cbf720SGianluca Guida 		}
646b6cbf720SGianluca Guida 		if (n->n.n_x > max_x) {
647b6cbf720SGianluca Guida 			max_x = n->n.n_x;
648b6cbf720SGianluca Guida 		}
649b6cbf720SGianluca Guida 		n->found = false;
650b6cbf720SGianluca Guida 		n->failed = false;
651b6cbf720SGianluca Guida 		n->next = h;
652b6cbf720SGianluca Guida 		h = n;
653b6cbf720SGianluca Guida 	}
654b6cbf720SGianluca Guida 
655b6cbf720SGianluca Guida 	done = 0;
656b6cbf720SGianluca Guida 	fail = 0;
657b6cbf720SGianluca Guida 	gettimeofday(&start, NULL);
658b6cbf720SGianluca Guida 	for (n = h; n != NULL; n = n->next) {
659b6cbf720SGianluca Guida 		struct rpst_node *o;
660b6cbf720SGianluca Guida #if 0
661b6cbf720SGianluca Guida 		printf("insert %p x=%" PRIu64 " y=%" PRIu64 "\n",
662b6cbf720SGianluca Guida 		    n, n->n.n_x, n->n.n_y);
663b6cbf720SGianluca Guida #endif
664b6cbf720SGianluca Guida 		o = rpst_insert_node(&t, &n->n);
665b6cbf720SGianluca Guida 		if (o == NULL) {
666b6cbf720SGianluca Guida 			done++;
667b6cbf720SGianluca Guida 		} else {
668b6cbf720SGianluca Guida 			n->failed = true;
669b6cbf720SGianluca Guida 			fail++;
670b6cbf720SGianluca Guida 		}
671b6cbf720SGianluca Guida 	}
672b6cbf720SGianluca Guida 	gettimeofday(&end, NULL);
673b6cbf720SGianluca Guida 	printf("%u nodes inserted and %u insertion failed in %ju usecs\n",
674b6cbf720SGianluca Guida 	    done, fail,
675b6cbf720SGianluca Guida 	    tvdiff(&end, &start));
676b6cbf720SGianluca Guida 
677b6cbf720SGianluca Guida 	assert(min_y == 0 || 0 == query(min_y - 1, 0, UINT64_MAX));
678b6cbf720SGianluca Guida 	assert(max_x == UINT64_MAX ||
679b6cbf720SGianluca Guida 	    0 == query(UINT64_MAX, max_x + 1, UINT64_MAX));
680b6cbf720SGianluca Guida 	assert(min_x == 0 || 0 == query(UINT64_MAX, 0, min_x - 1));
681b6cbf720SGianluca Guida 
682b6cbf720SGianluca Guida 	done = query(max_y, min_x, max_x);
683b6cbf720SGianluca Guida 	assert(done == num - fail);
684b6cbf720SGianluca Guida 
685b6cbf720SGianluca Guida 	done = query(UINT64_MAX, 0, UINT64_MAX);
686b6cbf720SGianluca Guida 	assert(done == num - fail);
687b6cbf720SGianluca Guida 
688b6cbf720SGianluca Guida 	w = max_x - min_x;
689b6cbf720SGianluca Guida 	query(max_y / 2, min_x, max_x);
690b6cbf720SGianluca Guida 	query(max_y, min_x + w / 2, max_x);
691b6cbf720SGianluca Guida 	query(max_y / 2, min_x + w / 2, max_x);
692b6cbf720SGianluca Guida 	query(max_y / 2, min_x, max_x - w / 2);
693b6cbf720SGianluca Guida 	query(max_y / 2, min_x + w / 3, max_x - w / 3);
694b6cbf720SGianluca Guida 	query(max_y - 1, min_x + 1, max_x - 1);
695b6cbf720SGianluca Guida 	query(UINT64_MAX, 10, 10);
696b6cbf720SGianluca Guida 
697b6cbf720SGianluca Guida 	done = 0;
698b6cbf720SGianluca Guida 	gettimeofday(&start, NULL);
699b6cbf720SGianluca Guida 	for (n = h; n != NULL; n = n->next) {
700b6cbf720SGianluca Guida 		if (n->failed) {
701b6cbf720SGianluca Guida 			continue;
702b6cbf720SGianluca Guida 		}
703b6cbf720SGianluca Guida #if 0
704b6cbf720SGianluca Guida 		printf("remove %p x=%" PRIu64 " y=%" PRIu64 "\n",
705b6cbf720SGianluca Guida 		    n, n->n.n_x, n->n.n_y);
706b6cbf720SGianluca Guida #endif
707b6cbf720SGianluca Guida 		rpst_remove_node(&t, &n->n);
708b6cbf720SGianluca Guida 		done++;
709b6cbf720SGianluca Guida 	}
710b6cbf720SGianluca Guida 	gettimeofday(&end, NULL);
711b6cbf720SGianluca Guida 	printf("%u nodes removed in %ju usecs\n", done,
712b6cbf720SGianluca Guida 	    tvdiff(&end, &start));
713b6cbf720SGianluca Guida 
714b6cbf720SGianluca Guida 	rpst_dump_tree(&t);
715b6cbf720SGianluca Guida }
716b6cbf720SGianluca Guida #endif /* defined(UNITTEST) */
717