xref: /aosp_15_r20/external/musl/src/search/tsearch.c (revision c9945492fdd68bbe62686c5b452b4dc1be3f8453)
1*c9945492SAndroid Build Coastguard Worker #include <stdlib.h>
2*c9945492SAndroid Build Coastguard Worker #include <search.h>
3*c9945492SAndroid Build Coastguard Worker #include "tsearch.h"
4*c9945492SAndroid Build Coastguard Worker 
height(struct node * n)5*c9945492SAndroid Build Coastguard Worker static inline int height(struct node *n) { return n ? n->h : 0; }
6*c9945492SAndroid Build Coastguard Worker 
rot(void ** p,struct node * x,int dir)7*c9945492SAndroid Build Coastguard Worker static int rot(void **p, struct node *x, int dir /* deeper side */)
8*c9945492SAndroid Build Coastguard Worker {
9*c9945492SAndroid Build Coastguard Worker 	struct node *y = x->a[dir];
10*c9945492SAndroid Build Coastguard Worker 	struct node *z = y->a[!dir];
11*c9945492SAndroid Build Coastguard Worker 	int hx = x->h;
12*c9945492SAndroid Build Coastguard Worker 	int hz = height(z);
13*c9945492SAndroid Build Coastguard Worker 	if (hz > height(y->a[dir])) {
14*c9945492SAndroid Build Coastguard Worker 		/*
15*c9945492SAndroid Build Coastguard Worker 		 *   x
16*c9945492SAndroid Build Coastguard Worker 		 *  / \ dir          z
17*c9945492SAndroid Build Coastguard Worker 		 * A   y            / \
18*c9945492SAndroid Build Coastguard Worker 		 *    / \   -->    x   y
19*c9945492SAndroid Build Coastguard Worker 		 *   z   D        /|   |\
20*c9945492SAndroid Build Coastguard Worker 		 *  / \          A B   C D
21*c9945492SAndroid Build Coastguard Worker 		 * B   C
22*c9945492SAndroid Build Coastguard Worker 		 */
23*c9945492SAndroid Build Coastguard Worker 		x->a[dir] = z->a[!dir];
24*c9945492SAndroid Build Coastguard Worker 		y->a[!dir] = z->a[dir];
25*c9945492SAndroid Build Coastguard Worker 		z->a[!dir] = x;
26*c9945492SAndroid Build Coastguard Worker 		z->a[dir] = y;
27*c9945492SAndroid Build Coastguard Worker 		x->h = hz;
28*c9945492SAndroid Build Coastguard Worker 		y->h = hz;
29*c9945492SAndroid Build Coastguard Worker 		z->h = hz+1;
30*c9945492SAndroid Build Coastguard Worker 	} else {
31*c9945492SAndroid Build Coastguard Worker 		/*
32*c9945492SAndroid Build Coastguard Worker 		 *   x               y
33*c9945492SAndroid Build Coastguard Worker 		 *  / \             / \
34*c9945492SAndroid Build Coastguard Worker 		 * A   y    -->    x   D
35*c9945492SAndroid Build Coastguard Worker 		 *    / \         / \
36*c9945492SAndroid Build Coastguard Worker 		 *   z   D       A   z
37*c9945492SAndroid Build Coastguard Worker 		 */
38*c9945492SAndroid Build Coastguard Worker 		x->a[dir] = z;
39*c9945492SAndroid Build Coastguard Worker 		y->a[!dir] = x;
40*c9945492SAndroid Build Coastguard Worker 		x->h = hz+1;
41*c9945492SAndroid Build Coastguard Worker 		y->h = hz+2;
42*c9945492SAndroid Build Coastguard Worker 		z = y;
43*c9945492SAndroid Build Coastguard Worker 	}
44*c9945492SAndroid Build Coastguard Worker 	*p = z;
45*c9945492SAndroid Build Coastguard Worker 	return z->h - hx;
46*c9945492SAndroid Build Coastguard Worker }
47*c9945492SAndroid Build Coastguard Worker 
48*c9945492SAndroid Build Coastguard Worker /* balance *p, return 0 if height is unchanged.  */
__tsearch_balance(void ** p)49*c9945492SAndroid Build Coastguard Worker int __tsearch_balance(void **p)
50*c9945492SAndroid Build Coastguard Worker {
51*c9945492SAndroid Build Coastguard Worker 	struct node *n = *p;
52*c9945492SAndroid Build Coastguard Worker 	int h0 = height(n->a[0]);
53*c9945492SAndroid Build Coastguard Worker 	int h1 = height(n->a[1]);
54*c9945492SAndroid Build Coastguard Worker 	if (h0 - h1 + 1u < 3u) {
55*c9945492SAndroid Build Coastguard Worker 		int old = n->h;
56*c9945492SAndroid Build Coastguard Worker 		n->h = h0<h1 ? h1+1 : h0+1;
57*c9945492SAndroid Build Coastguard Worker 		return n->h - old;
58*c9945492SAndroid Build Coastguard Worker 	}
59*c9945492SAndroid Build Coastguard Worker 	return rot(p, n, h0<h1);
60*c9945492SAndroid Build Coastguard Worker }
61*c9945492SAndroid Build Coastguard Worker 
tsearch(const void * key,void ** rootp,int (* cmp)(const void *,const void *))62*c9945492SAndroid Build Coastguard Worker void *tsearch(const void *key, void **rootp,
63*c9945492SAndroid Build Coastguard Worker 	int (*cmp)(const void *, const void *))
64*c9945492SAndroid Build Coastguard Worker {
65*c9945492SAndroid Build Coastguard Worker 	if (!rootp)
66*c9945492SAndroid Build Coastguard Worker 		return 0;
67*c9945492SAndroid Build Coastguard Worker 
68*c9945492SAndroid Build Coastguard Worker 	void **a[MAXH];
69*c9945492SAndroid Build Coastguard Worker 	struct node *n = *rootp;
70*c9945492SAndroid Build Coastguard Worker 	struct node *r;
71*c9945492SAndroid Build Coastguard Worker 	int i=0;
72*c9945492SAndroid Build Coastguard Worker 	a[i++] = rootp;
73*c9945492SAndroid Build Coastguard Worker 	for (;;) {
74*c9945492SAndroid Build Coastguard Worker 		if (!n)
75*c9945492SAndroid Build Coastguard Worker 			break;
76*c9945492SAndroid Build Coastguard Worker 		int c = cmp(key, n->key);
77*c9945492SAndroid Build Coastguard Worker 		if (!c)
78*c9945492SAndroid Build Coastguard Worker 			return n;
79*c9945492SAndroid Build Coastguard Worker 		a[i++] = &n->a[c>0];
80*c9945492SAndroid Build Coastguard Worker 		n = n->a[c>0];
81*c9945492SAndroid Build Coastguard Worker 	}
82*c9945492SAndroid Build Coastguard Worker 	r = malloc(sizeof *r);
83*c9945492SAndroid Build Coastguard Worker 	if (!r)
84*c9945492SAndroid Build Coastguard Worker 		return 0;
85*c9945492SAndroid Build Coastguard Worker 	r->key = key;
86*c9945492SAndroid Build Coastguard Worker 	r->a[0] = r->a[1] = 0;
87*c9945492SAndroid Build Coastguard Worker 	r->h = 1;
88*c9945492SAndroid Build Coastguard Worker 	/* insert new node, rebalance ancestors.  */
89*c9945492SAndroid Build Coastguard Worker 	*a[--i] = r;
90*c9945492SAndroid Build Coastguard Worker 	while (i && __tsearch_balance(a[--i]));
91*c9945492SAndroid Build Coastguard Worker 	return r;
92*c9945492SAndroid Build Coastguard Worker }
93