blob: 07814536852e887df85c89fd4aa48f8cdebe3054 [file] [log] [blame]
Michael Niedermayer9eb88fd2006-11-14 01:02:301/*
2 * copyright (c) 2006 Michael Niedermayer <[email protected]>
3 *
4 * This file is part of FFmpeg.
5 *
6 * FFmpeg is free software; you can redistribute it and/or
7 * 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 *
11 * FFmpeg is distributed in the hope that it will be useful,
12 * 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
17 * License along with FFmpeg; if not, write to the Free Software
18 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
19 */
20
21#include "common.h"
22#include "log.h"
23#include "tree.h"
24
25typedef struct AVTreeNode{
26 struct AVTreeNode *child[2];
27 void *elem;
28 int state;
29}AVTreeNode;
30
Michael Niedermayer6e8b9822008-01-04 17:52:1631const int av_tree_node_size = sizeof(AVTreeNode);
32
Michael Niedermayer9eb88fd2006-11-14 01:02:3033void *av_tree_find(const AVTreeNode *t, void *key, int (*cmp)(void *key, const void *b), void *next[2]){
34 if(t){
Michael Niedermayer2e1d2872008-01-04 18:58:3635 unsigned int v= cmp(key, t->elem);
Michael Niedermayer9eb88fd2006-11-14 01:02:3036 if(v){
Michael Niedermayer2e1d2872008-01-04 18:58:3637 if(next) next[v>>31]= t->elem;
38 return av_tree_find(t->child[(v>>31)^1], key, cmp, next);
Michael Niedermayer9eb88fd2006-11-14 01:02:3039 }else{
Michael Niedermayer116d15cc2008-01-04 10:14:2140 if(next){
41 av_tree_find(t->child[0], key, cmp, next);
42 av_tree_find(t->child[1], key, cmp, next);
43 }
Michael Niedermayer9eb88fd2006-11-14 01:02:3044 return t->elem;
45 }
46 }
47 return NULL;
48}
49
Michael Niedermayer6e8b9822008-01-04 17:52:1650void *av_tree_insert(AVTreeNode **tp, void *key, int (*cmp)(void *key, const void *b), AVTreeNode **next){
Michael Niedermayer9eb88fd2006-11-14 01:02:3051 AVTreeNode *t= *tp;
52 if(t){
53 unsigned int v= cmp(t->elem, key);
Michael Niedermayerf05dda32008-01-04 18:20:0354 void *ret;
55 if(!v){
56 if(*next)
57 return t->elem;
58 else if(t->child[0]||t->child[1]){
59 int i= !t->child[0];
Michael Niedermayerf05dda32008-01-04 18:20:0360 void *next_elem[2];
Michael Niedermayer3f161c72008-01-16 01:54:1861 av_tree_find(t->child[i], key, cmp, next_elem);
Michael Niedermayerf05dda32008-01-04 18:20:0362 key= t->elem= next_elem[i];
63 v= -i;
64 }else{
65 *next= t;
66 *tp=NULL;
67 return NULL;
68 }
69 }
Michael Niedermayera35bf972008-01-04 19:16:3870 ret= av_tree_insert(&t->child[v>>31], key, cmp, next);
71 if(!ret){
72 int i= (v>>31) ^ !!*next;
73 AVTreeNode **child= &t->child[i];
74 t->state += 2*i - 1;
Michael Niedermayerf05dda32008-01-04 18:20:0375
Michael Niedermayera35bf972008-01-04 19:16:3876 if(!(t->state&1)){
77 if(t->state){
Michael Niedermayer51198a82008-01-23 21:03:2178 /* The following code is equivalent to
79 if((*child)->state*2 == -t->state)
80 rotate(child, i^1);
81 rotate(tp, i);
82
83 with rotate():
84 static void rotate(AVTreeNode **tp, int i){
85 AVTreeNode *t= *tp;
86
87 *tp= t->child[i];
88 t->child[i]= t->child[i]->child[i^1];
89 (*tp)->child[i^1]= t;
90 i= 4*t->state + 2*(*tp)->state + 12;
91 t ->state= ((0x614586 >> i) & 3)-1;
92 (*tp)->state= ((*tp)->state>>1) + ((0x400EEA >> i) & 3)-1;
93 }
94 but such a rotate function is both bigger and slower
95 */
Michael Niedermayera35bf972008-01-04 19:16:3896 if((*child)->state*2 == -t->state){
97 *tp= (*child)->child[i^1];
98 (*child)->child[i^1]= (*tp)->child[i];
99 (*tp)->child[i]= *child;
100 *child= (*tp)->child[i^1];
101 (*tp)->child[i^1]= t;
Michael Niedermayer9eb88fd2006-11-14 01:02:30102
Michael Niedermayera35bf972008-01-04 19:16:38103 (*tp)->child[0]->state= -((*tp)->state>0);
104 (*tp)->child[1]->state= (*tp)->state<0 ;
105 (*tp)->state=0;
106 }else{
107 *tp= *child;
108 *child= (*child)->child[i^1];
109 (*tp)->child[i^1]= t;
110 if((*tp)->state) t->state = 0;
111 else t->state>>= 1;
112 (*tp)->state= -t->state;
Michael Niedermayer9eb88fd2006-11-14 01:02:30113 }
Michael Niedermayer9eb88fd2006-11-14 01:02:30114 }
115 }
Michael Niedermayera35bf972008-01-04 19:16:38116 if(!(*tp)->state ^ !!*next)
117 return key;
118 }
119 return ret;
Michael Niedermayer9eb88fd2006-11-14 01:02:30120 }else{
Michael Niedermayer6e8b9822008-01-04 17:52:16121 *tp= *next; *next= NULL;
Michael Niedermayereed36072008-09-19 12:41:12122 if(*tp){
123 (*tp)->elem= key;
124 return NULL;
125 }else
126 return key;
Michael Niedermayer9eb88fd2006-11-14 01:02:30127 }
128}
129
130void av_tree_destroy(AVTreeNode *t){
Aurelien Jacobsd8bd1132009-01-04 17:48:19131 if(t){
Aurelien Jacobs045cbba2009-01-04 17:48:54132 av_tree_destroy(t->child[0]);
133 av_tree_destroy(t->child[1]);
134 av_free(t);
Aurelien Jacobsd8bd1132009-01-04 17:48:19135 }
Michael Niedermayer9eb88fd2006-11-14 01:02:30136}
137
138#if 0
Michael Niedermayer1bf83b92009-11-14 11:19:08139void av_tree_enumerate(AVTreeNode *t, void *opaque, int (*cmp)(void *opaque, void *elem), int (*enu)(void *opaque, void *elem)){
140 int v= cmp ? cmp(opaque, t->elem) : 0;
141 if(v>=0) av_tree_enumerate(t->child[0], opaque, cmp, enu);
142 if(v==0) enu(opaque, t->elem);
143 if(v<=0) av_tree_enumerate(t->child[1], opaque, cmp, enu);
Michael Niedermayer9eb88fd2006-11-14 01:02:30144}
145#endif
146
147#ifdef TEST
Diego Biurrun294eaa22009-03-20 11:48:27148
149#include "lfg.h"
150
Michael Niedermayer9eb88fd2006-11-14 01:02:30151static int check(AVTreeNode *t){
152 if(t){
153 int left= check(t->child[0]);
154 int right= check(t->child[1]);
155
156 if(left>999 || right>999)
157 return 1000;
158 if(right - left != t->state)
159 return 1000;
160 if(t->state>1 || t->state<-1)
161 return 1000;
162 return FFMAX(left, right)+1;
163 }
164 return 0;
165}
166
167static void print(AVTreeNode *t, int depth){
168 int i;
169 for(i=0; i<depth*4; i++) av_log(NULL, AV_LOG_ERROR, " ");
170 if(t){
Benoit Fouet168fffd2009-03-31 14:00:46171 av_log(NULL, AV_LOG_ERROR, "Node %p %2d %p\n", t, t->state, t->elem);
Michael Niedermayer9eb88fd2006-11-14 01:02:30172 print(t->child[0], depth+1);
173 print(t->child[1], depth+1);
174 }else
175 av_log(NULL, AV_LOG_ERROR, "NULL\n");
176}
177
Benoit Fouet168fffd2009-03-31 14:00:46178static int cmp(void *a, const void *b){
179 return (uint8_t*)a-(const uint8_t*)b;
Michael Niedermayer9eb88fd2006-11-14 01:02:30180}
181
Diego Biurrunf8a80fd2007-11-23 00:52:56182int main(void){
Benoit Fouet168fffd2009-03-31 14:00:46183 int i;
184 void *k;
Michael Niedermayerf05dda32008-01-04 18:20:03185 AVTreeNode *root= NULL, *node=NULL;
Diego Biurrun64bde192009-04-10 17:23:38186 AVLFG prng;
Diego Biurrun294eaa22009-03-20 11:48:27187
Diego Biurrun64bde192009-04-10 17:23:38188 av_lfg_init(&prng, 1);
Michael Niedermayer9eb88fd2006-11-14 01:02:30189
190 for(i=0; i<10000; i++){
Diego Biurrun64bde192009-04-10 17:23:38191 int j = av_lfg_get(&prng) % 86294;
Michael Niedermayer9eb88fd2006-11-14 01:02:30192 if(check(root) > 999){
193 av_log(NULL, AV_LOG_ERROR, "FATAL error %d\n", i);
194 print(root, 0);
195 return -1;
196 }
197 av_log(NULL, AV_LOG_ERROR, "inserting %4d\n", j);
Michael Niedermayerf05dda32008-01-04 18:20:03198 if(!node)
199 node= av_mallocz(av_tree_node_size);
200 av_tree_insert(&root, (void*)(j+1), cmp, &node);
201
Diego Biurrun64bde192009-04-10 17:23:38202 j = av_lfg_get(&prng) % 86294;
Michael Niedermayereed36072008-09-19 12:41:12203 {
Michael Niedermayerf05dda32008-01-04 18:20:03204 AVTreeNode *node2=NULL;
Michael Niedermayer5d1e3d22008-01-16 01:54:56205 av_log(NULL, AV_LOG_ERROR, "removing %4d\n", j);
Michael Niedermayerf05dda32008-01-04 18:20:03206 av_tree_insert(&root, (void*)(j+1), cmp, &node2);
207 k= av_tree_find(root, (void*)(j+1), cmp, NULL);
208 if(k)
Diego Biurrun89c9ff52009-01-28 00:16:05209 av_log(NULL, AV_LOG_ERROR, "removal failure %d\n", i);
Michael Niedermayerf05dda32008-01-04 18:20:03210 }
Michael Niedermayer9eb88fd2006-11-14 01:02:30211 }
212 return 0;
213}
214#endif