blob: 067e5b096e799a7bf3cc3d20240d02d83fd2ccf8 [file] [log] [blame]
Michael Niedermayer9eb88fd2006-11-14 01:02:301/*
2 * copyright (c) 2006 Michael Niedermayer <[email protected]>
3 *
Mans Rullgard2912e872011-03-18 17:35:104 * This file is part of Libav.
Michael Niedermayer9eb88fd2006-11-14 01:02:305 *
Mans Rullgard2912e872011-03-18 17:35:106 * Libav is free software; you can redistribute it and/or
Michael Niedermayer9eb88fd2006-11-14 01:02:307 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2.1 of the License, or (at your option) any later version.
10 *
Mans Rullgard2912e872011-03-18 17:35:1011 * Libav is distributed in the hope that it will be useful,
Michael Niedermayer9eb88fd2006-11-14 01:02:3012 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
15 *
16 * You should have received a copy of the GNU Lesser General Public
Mans Rullgard2912e872011-03-18 17:35:1017 * License along with Libav; if not, write to the Free Software
Michael Niedermayer9eb88fd2006-11-14 01:02:3018 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
19 */
20
Michael Niedermayer9eb88fd2006-11-14 01:02:3021#include "log.h"
22#include "tree.h"
23
24typedef struct AVTreeNode{
25 struct AVTreeNode *child[2];
26 void *elem;
27 int state;
28}AVTreeNode;
29
Michael Niedermayer6e8b9822008-01-04 17:52:1630const int av_tree_node_size = sizeof(AVTreeNode);
31
Michael Niedermayer9eb88fd2006-11-14 01:02:3032void *av_tree_find(const AVTreeNode *t, void *key, int (*cmp)(void *key, const void *b), void *next[2]){
33 if(t){
Michael Niedermayer2e1d2872008-01-04 18:58:3634 unsigned int v= cmp(key, t->elem);
Michael Niedermayer9eb88fd2006-11-14 01:02:3035 if(v){
Michael Niedermayer2e1d2872008-01-04 18:58:3636 if(next) next[v>>31]= t->elem;
37 return av_tree_find(t->child[(v>>31)^1], key, cmp, next);
Michael Niedermayer9eb88fd2006-11-14 01:02:3038 }else{
Michael Niedermayer116d15cc2008-01-04 10:14:2139 if(next){
40 av_tree_find(t->child[0], key, cmp, next);
41 av_tree_find(t->child[1], key, cmp, next);
42 }
Michael Niedermayer9eb88fd2006-11-14 01:02:3043 return t->elem;
44 }
45 }
46 return NULL;
47}
48
Michael Niedermayer6e8b9822008-01-04 17:52:1649void *av_tree_insert(AVTreeNode **tp, void *key, int (*cmp)(void *key, const void *b), AVTreeNode **next){
Michael Niedermayer9eb88fd2006-11-14 01:02:3050 AVTreeNode *t= *tp;
51 if(t){
52 unsigned int v= cmp(t->elem, key);
Michael Niedermayerf05dda32008-01-04 18:20:0353 void *ret;
54 if(!v){
55 if(*next)
56 return t->elem;
57 else if(t->child[0]||t->child[1]){
58 int i= !t->child[0];
Michael Niedermayerf05dda32008-01-04 18:20:0359 void *next_elem[2];
Michael Niedermayer3f161c72008-01-16 01:54:1860 av_tree_find(t->child[i], key, cmp, next_elem);
Michael Niedermayerf05dda32008-01-04 18:20:0361 key= t->elem= next_elem[i];
62 v= -i;
63 }else{
64 *next= t;
65 *tp=NULL;
66 return NULL;
67 }
68 }
Michael Niedermayera35bf972008-01-04 19:16:3869 ret= av_tree_insert(&t->child[v>>31], key, cmp, next);
70 if(!ret){
71 int i= (v>>31) ^ !!*next;
72 AVTreeNode **child= &t->child[i];
73 t->state += 2*i - 1;
Michael Niedermayerf05dda32008-01-04 18:20:0374
Michael Niedermayera35bf972008-01-04 19:16:3875 if(!(t->state&1)){
76 if(t->state){
Michael Niedermayer51198a82008-01-23 21:03:2177 /* The following code is equivalent to
78 if((*child)->state*2 == -t->state)
79 rotate(child, i^1);
80 rotate(tp, i);
81
82 with rotate():
83 static void rotate(AVTreeNode **tp, int i){
84 AVTreeNode *t= *tp;
85
86 *tp= t->child[i];
87 t->child[i]= t->child[i]->child[i^1];
88 (*tp)->child[i^1]= t;
89 i= 4*t->state + 2*(*tp)->state + 12;
90 t ->state= ((0x614586 >> i) & 3)-1;
91 (*tp)->state= ((*tp)->state>>1) + ((0x400EEA >> i) & 3)-1;
92 }
93 but such a rotate function is both bigger and slower
94 */
Michael Niedermayera35bf972008-01-04 19:16:3895 if((*child)->state*2 == -t->state){
96 *tp= (*child)->child[i^1];
97 (*child)->child[i^1]= (*tp)->child[i];
98 (*tp)->child[i]= *child;
99 *child= (*tp)->child[i^1];
100 (*tp)->child[i^1]= t;
Michael Niedermayer9eb88fd2006-11-14 01:02:30101
Michael Niedermayera35bf972008-01-04 19:16:38102 (*tp)->child[0]->state= -((*tp)->state>0);
103 (*tp)->child[1]->state= (*tp)->state<0 ;
104 (*tp)->state=0;
105 }else{
106 *tp= *child;
107 *child= (*child)->child[i^1];
108 (*tp)->child[i^1]= t;
109 if((*tp)->state) t->state = 0;
110 else t->state>>= 1;
111 (*tp)->state= -t->state;
Michael Niedermayer9eb88fd2006-11-14 01:02:30112 }
Michael Niedermayer9eb88fd2006-11-14 01:02:30113 }
114 }
Michael Niedermayera35bf972008-01-04 19:16:38115 if(!(*tp)->state ^ !!*next)
116 return key;
117 }
118 return ret;
Michael Niedermayer9eb88fd2006-11-14 01:02:30119 }else{
Michael Niedermayer6e8b9822008-01-04 17:52:16120 *tp= *next; *next= NULL;
Michael Niedermayereed36072008-09-19 12:41:12121 if(*tp){
122 (*tp)->elem= key;
123 return NULL;
124 }else
125 return key;
Michael Niedermayer9eb88fd2006-11-14 01:02:30126 }
127}
128
129void av_tree_destroy(AVTreeNode *t){
Aurelien Jacobsd8bd1132009-01-04 17:48:19130 if(t){
Aurelien Jacobs045cbba2009-01-04 17:48:54131 av_tree_destroy(t->child[0]);
132 av_tree_destroy(t->child[1]);
133 av_free(t);
Aurelien Jacobsd8bd1132009-01-04 17:48:19134 }
Michael Niedermayer9eb88fd2006-11-14 01:02:30135}
136
Michael Niedermayer1bf83b92009-11-14 11:19:08137void av_tree_enumerate(AVTreeNode *t, void *opaque, int (*cmp)(void *opaque, void *elem), int (*enu)(void *opaque, void *elem)){
Michael Niedermayeredabf352009-11-14 19:14:14138 if(t){
Michael Niedermayerb154ed52009-11-14 19:15:09139 int v= cmp ? cmp(opaque, t->elem) : 0;
140 if(v>=0) av_tree_enumerate(t->child[0], opaque, cmp, enu);
141 if(v==0) enu(opaque, t->elem);
142 if(v<=0) av_tree_enumerate(t->child[1], opaque, cmp, enu);
Michael Niedermayeredabf352009-11-14 19:14:14143 }
Michael Niedermayer9eb88fd2006-11-14 01:02:30144}
Michael Niedermayer9eb88fd2006-11-14 01:02:30145
146#ifdef TEST
Diego Biurrun294eaa22009-03-20 11:48:27147
148#include "lfg.h"
149
Michael Niedermayer9eb88fd2006-11-14 01:02:30150static int check(AVTreeNode *t){
151 if(t){
152 int left= check(t->child[0]);
153 int right= check(t->child[1]);
154
155 if(left>999 || right>999)
156 return 1000;
157 if(right - left != t->state)
158 return 1000;
159 if(t->state>1 || t->state<-1)
160 return 1000;
161 return FFMAX(left, right)+1;
162 }
163 return 0;
164}
165
166static void print(AVTreeNode *t, int depth){
167 int i;
168 for(i=0; i<depth*4; i++) av_log(NULL, AV_LOG_ERROR, " ");
169 if(t){
Benoit Fouet168fffd2009-03-31 14:00:46170 av_log(NULL, AV_LOG_ERROR, "Node %p %2d %p\n", t, t->state, t->elem);
Michael Niedermayer9eb88fd2006-11-14 01:02:30171 print(t->child[0], depth+1);
172 print(t->child[1], depth+1);
173 }else
174 av_log(NULL, AV_LOG_ERROR, "NULL\n");
175}
176
Benoit Fouet168fffd2009-03-31 14:00:46177static int cmp(void *a, const void *b){
178 return (uint8_t*)a-(const uint8_t*)b;
Michael Niedermayer9eb88fd2006-11-14 01:02:30179}
180
Diego Biurrunf8a80fd2007-11-23 00:52:56181int main(void){
Benoit Fouet168fffd2009-03-31 14:00:46182 int i;
183 void *k;
Michael Niedermayerf05dda32008-01-04 18:20:03184 AVTreeNode *root= NULL, *node=NULL;
Diego Biurrun64bde192009-04-10 17:23:38185 AVLFG prng;
Diego Biurrun294eaa22009-03-20 11:48:27186
Diego Biurrun64bde192009-04-10 17:23:38187 av_lfg_init(&prng, 1);
Michael Niedermayer9eb88fd2006-11-14 01:02:30188
189 for(i=0; i<10000; i++){
Diego Biurrun64bde192009-04-10 17:23:38190 int j = av_lfg_get(&prng) % 86294;
Michael Niedermayer9eb88fd2006-11-14 01:02:30191 if(check(root) > 999){
192 av_log(NULL, AV_LOG_ERROR, "FATAL error %d\n", i);
193 print(root, 0);
194 return -1;
195 }
196 av_log(NULL, AV_LOG_ERROR, "inserting %4d\n", j);
Michael Niedermayerf05dda32008-01-04 18:20:03197 if(!node)
198 node= av_mallocz(av_tree_node_size);
199 av_tree_insert(&root, (void*)(j+1), cmp, &node);
200
Diego Biurrun64bde192009-04-10 17:23:38201 j = av_lfg_get(&prng) % 86294;
Michael Niedermayereed36072008-09-19 12:41:12202 {
Michael Niedermayerf05dda32008-01-04 18:20:03203 AVTreeNode *node2=NULL;
Michael Niedermayer5d1e3d22008-01-16 01:54:56204 av_log(NULL, AV_LOG_ERROR, "removing %4d\n", j);
Michael Niedermayerf05dda32008-01-04 18:20:03205 av_tree_insert(&root, (void*)(j+1), cmp, &node2);
206 k= av_tree_find(root, (void*)(j+1), cmp, NULL);
207 if(k)
Diego Biurrun89c9ff52009-01-28 00:16:05208 av_log(NULL, AV_LOG_ERROR, "removal failure %d\n", i);
Michael Niedermayerf05dda32008-01-04 18:20:03209 }
Michael Niedermayer9eb88fd2006-11-14 01:02:30210 }
211 return 0;
212}
213#endif