Mercurial > libavutil.hg
annotate tree.c @ 998:bbe201fb5a98 libavutil
Use attribute force_align_arg_pointer only on x86_32.
| author | cehoyos |
|---|---|
| date | Sat, 17 Jul 2010 16:35:01 +0000 |
| parents | 4d9ad0ed07d0 |
| children |
| rev | line source |
|---|---|
| 136 | 1 /* |
| 2 * copyright (c) 2006 Michael Niedermayer <michaelni@gmx.at> | |
| 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 "log.h" | |
| 22 #include "tree.h" | |
| 23 | |
| 24 typedef struct AVTreeNode{ | |
| 25 struct AVTreeNode *child[2]; | |
| 26 void *elem; | |
| 27 int state; | |
| 28 }AVTreeNode; | |
| 29 | |
|
413
a54e20281de9
Move *malloc() out of tree.c, that way the code can be used with
michael
parents:
412
diff
changeset
|
30 const int av_tree_node_size = sizeof(AVTreeNode); |
|
a54e20281de9
Move *malloc() out of tree.c, that way the code can be used with
michael
parents:
412
diff
changeset
|
31 |
| 136 | 32 void *av_tree_find(const AVTreeNode *t, void *key, int (*cmp)(void *key, const void *b), void *next[2]){ |
| 33 if(t){ | |
|
418
9f2461caf179
Flip key and element so types match, not that it matters for any code
michael
parents:
415
diff
changeset
|
34 unsigned int v= cmp(key, t->elem); |
| 136 | 35 if(v){ |
|
418
9f2461caf179
Flip key and element so types match, not that it matters for any code
michael
parents:
415
diff
changeset
|
36 if(next) next[v>>31]= t->elem; |
|
9f2461caf179
Flip key and element so types match, not that it matters for any code
michael
parents:
415
diff
changeset
|
37 return av_tree_find(t->child[(v>>31)^1], key, cmp, next); |
| 136 | 38 }else{ |
|
412
357ac44f4720
Always set next correctly, even if a matching element is found (that is
michael
parents:
404
diff
changeset
|
39 if(next){ |
|
357ac44f4720
Always set next correctly, even if a matching element is found (that is
michael
parents:
404
diff
changeset
|
40 av_tree_find(t->child[0], key, cmp, next); |
|
357ac44f4720
Always set next correctly, even if a matching element is found (that is
michael
parents:
404
diff
changeset
|
41 av_tree_find(t->child[1], key, cmp, next); |
|
357ac44f4720
Always set next correctly, even if a matching element is found (that is
michael
parents:
404
diff
changeset
|
42 } |
| 136 | 43 return t->elem; |
| 44 } | |
| 45 } | |
| 46 return NULL; | |
| 47 } | |
| 48 | |
|
413
a54e20281de9
Move *malloc() out of tree.c, that way the code can be used with
michael
parents:
412
diff
changeset
|
49 void *av_tree_insert(AVTreeNode **tp, void *key, int (*cmp)(void *key, const void *b), AVTreeNode **next){ |
| 136 | 50 AVTreeNode *t= *tp; |
| 51 if(t){ | |
| 52 unsigned int v= cmp(t->elem, key); | |
| 414 | 53 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]; | |
| 59 void *next_elem[2]; | |
| 429 | 60 av_tree_find(t->child[i], key, cmp, next_elem); |
| 414 | 61 key= t->elem= next_elem[i]; |
| 62 v= -i; | |
| 63 }else{ | |
| 64 *next= t; | |
| 65 *tp=NULL; | |
| 66 return NULL; | |
| 67 } | |
| 68 } | |
| 419 | 69 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; | |
| 414 | 74 |
| 419 | 75 if(!(t->state&1)){ |
| 76 if(t->state){ | |
| 433 | 77 /* 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 */ | |
| 419 | 95 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; | |
| 136 | 101 |
| 419 | 102 (*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; | |
| 136 | 112 } |
| 414 | 113 } |
| 136 | 114 } |
| 419 | 115 if(!(*tp)->state ^ !!*next) |
| 116 return key; | |
| 117 } | |
| 118 return ret; | |
| 136 | 119 }else{ |
|
413
a54e20281de9
Move *malloc() out of tree.c, that way the code can be used with
michael
parents:
412
diff
changeset
|
120 *tp= *next; *next= NULL; |
|
572
5877edf05eb7
Avoid undefined behavior for removing elements that were not in the tree.
michael
parents:
433
diff
changeset
|
121 if(*tp){ |
|
5877edf05eb7
Avoid undefined behavior for removing elements that were not in the tree.
michael
parents:
433
diff
changeset
|
122 (*tp)->elem= key; |
|
5877edf05eb7
Avoid undefined behavior for removing elements that were not in the tree.
michael
parents:
433
diff
changeset
|
123 return NULL; |
|
5877edf05eb7
Avoid undefined behavior for removing elements that were not in the tree.
michael
parents:
433
diff
changeset
|
124 }else |
|
5877edf05eb7
Avoid undefined behavior for removing elements that were not in the tree.
michael
parents:
433
diff
changeset
|
125 return key; |
| 136 | 126 } |
| 127 } | |
| 128 | |
| 129 void av_tree_destroy(AVTreeNode *t){ | |
| 593 | 130 if(t){ |
| 594 | 131 av_tree_destroy(t->child[0]); |
| 132 av_tree_destroy(t->child[1]); | |
| 133 av_free(t); | |
| 593 | 134 } |
| 136 | 135 } |
| 136 | |
|
788
f0e08dd7d583
Make sure av_tree_enumerate() enumerates left->right.
michael
parents:
726
diff
changeset
|
137 void av_tree_enumerate(AVTreeNode *t, void *opaque, int (*cmp)(void *opaque, void *elem), int (*enu)(void *opaque, void *elem)){ |
| 789 | 138 if(t){ |
| 790 | 139 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); | |
| 789 | 143 } |
| 136 | 144 } |
| 145 | |
| 146 #ifdef TEST | |
|
701
ae6e96434bec
Replace random() usage in test programs by av_lfg_*().
diego
parents:
633
diff
changeset
|
147 |
|
ae6e96434bec
Replace random() usage in test programs by av_lfg_*().
diego
parents:
633
diff
changeset
|
148 #include "lfg.h" |
|
ae6e96434bec
Replace random() usage in test programs by av_lfg_*().
diego
parents:
633
diff
changeset
|
149 |
| 136 | 150 static 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 | |
| 166 static 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){ | |
| 717 | 170 av_log(NULL, AV_LOG_ERROR, "Node %p %2d %p\n", t, t->state, t->elem); |
| 136 | 171 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 | |
| 717 | 177 static int cmp(void *a, const void *b){ |
| 178 return (uint8_t*)a-(const uint8_t*)b; | |
| 136 | 179 } |
| 180 | |
| 404 | 181 int main(void){ |
| 717 | 182 int i; |
| 183 void *k; | |
| 414 | 184 AVTreeNode *root= NULL, *node=NULL; |
|
726
5d344280a1f8
cosmetics: Rename prn variable to prng (Pseudo Random Number Generator).
diego
parents:
717
diff
changeset
|
185 AVLFG prng; |
|
701
ae6e96434bec
Replace random() usage in test programs by av_lfg_*().
diego
parents:
633
diff
changeset
|
186 |
|
726
5d344280a1f8
cosmetics: Rename prn variable to prng (Pseudo Random Number Generator).
diego
parents:
717
diff
changeset
|
187 av_lfg_init(&prng, 1); |
| 136 | 188 |
| 189 for(i=0; i<10000; i++){ | |
|
726
5d344280a1f8
cosmetics: Rename prn variable to prng (Pseudo Random Number Generator).
diego
parents:
717
diff
changeset
|
190 int j = av_lfg_get(&prng) % 86294; |
| 136 | 191 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); | |
| 414 | 197 if(!node) |
| 198 node= av_mallocz(av_tree_node_size); | |
| 199 av_tree_insert(&root, (void*)(j+1), cmp, &node); | |
| 200 | |
|
726
5d344280a1f8
cosmetics: Rename prn variable to prng (Pseudo Random Number Generator).
diego
parents:
717
diff
changeset
|
201 j = av_lfg_get(&prng) % 86294; |
|
572
5877edf05eb7
Avoid undefined behavior for removing elements that were not in the tree.
michael
parents:
433
diff
changeset
|
202 { |
| 414 | 203 AVTreeNode *node2=NULL; |
| 430 | 204 av_log(NULL, AV_LOG_ERROR, "removing %4d\n", j); |
| 414 | 205 av_tree_insert(&root, (void*)(j+1), cmp, &node2); |
| 206 k= av_tree_find(root, (void*)(j+1), cmp, NULL); | |
| 207 if(k) | |
| 633 | 208 av_log(NULL, AV_LOG_ERROR, "removal failure %d\n", i); |
| 414 | 209 } |
| 136 | 210 } |
| 211 return 0; | |
| 212 } | |
| 213 #endif |
