blob: 998851f7f2308221a614f01d2e437fa3b886fd34 [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
Diego Biurrunc2e936d2013-07-30 15:28:4421#include "error.h"
Michael Niedermayer9eb88fd2006-11-14 01:02:3022#include "log.h"
Martin Storsjö1d9c2dc2012-08-06 13:49:3223#include "mem.h"
Michael Niedermayer9eb88fd2006-11-14 01:02:3024#include "tree.h"
25
Yordan Makariev425b45d2011-12-03 18:25:5726typedef struct AVTreeNode {
Michael Niedermayer9eb88fd2006-11-14 01:02:3027 struct AVTreeNode *child[2];
28 void *elem;
29 int state;
Yordan Makariev425b45d2011-12-03 18:25:5730} AVTreeNode;
Michael Niedermayer9eb88fd2006-11-14 01:02:3031
Martin Storsjö9a92aea2012-10-11 12:08:0432struct AVTreeNode *av_tree_node_alloc(void)
33{
34 return av_mallocz(sizeof(struct AVTreeNode));
35}
Michael Niedermayer6e8b9822008-01-04 17:52:1636
Yordan Makariev425b45d2011-12-03 18:25:5737void *av_tree_find(const AVTreeNode *t, void *key,
38 int (*cmp)(void *key, const void *b), void *next[2])
39{
40 if (t) {
41 unsigned int v = cmp(key, t->elem);
42 if (v) {
Diego Biurrun10db1a92012-10-16 14:08:0543 if (next)
44 next[v >> 31] = t->elem;
Yordan Makariev425b45d2011-12-03 18:25:5745 return av_tree_find(t->child[(v >> 31) ^ 1], key, cmp, next);
46 } else {
47 if (next) {
Michael Niedermayer116d15cc2008-01-04 10:14:2148 av_tree_find(t->child[0], key, cmp, next);
49 av_tree_find(t->child[1], key, cmp, next);
50 }
Michael Niedermayer9eb88fd2006-11-14 01:02:3051 return t->elem;
52 }
53 }
54 return NULL;
55}
56
Yordan Makariev425b45d2011-12-03 18:25:5757void *av_tree_insert(AVTreeNode **tp, void *key,
58 int (*cmp)(void *key, const void *b), AVTreeNode **next)
59{
60 AVTreeNode *t = *tp;
61 if (t) {
62 unsigned int v = cmp(t->elem, key);
Michael Niedermayerf05dda32008-01-04 18:20:0363 void *ret;
Yordan Makariev425b45d2011-12-03 18:25:5764 if (!v) {
65 if (*next)
Michael Niedermayerf05dda32008-01-04 18:20:0366 return t->elem;
Yordan Makariev425b45d2011-12-03 18:25:5767 else if (t->child[0] || t->child[1]) {
68 int i = !t->child[0];
Michael Niedermayerf05dda32008-01-04 18:20:0369 void *next_elem[2];
Michael Niedermayer3f161c72008-01-16 01:54:1870 av_tree_find(t->child[i], key, cmp, next_elem);
Yordan Makariev425b45d2011-12-03 18:25:5771 key = t->elem = next_elem[i];
Diego Biurrun10db1a92012-10-16 14:08:0572 v = -i;
Yordan Makariev425b45d2011-12-03 18:25:5773 } else {
74 *next = t;
Diego Biurrun10db1a92012-10-16 14:08:0575 *tp = NULL;
Michael Niedermayerf05dda32008-01-04 18:20:0376 return NULL;
77 }
78 }
Yordan Makariev425b45d2011-12-03 18:25:5779 ret = av_tree_insert(&t->child[v >> 31], key, cmp, next);
80 if (!ret) {
Diego Biurrun10db1a92012-10-16 14:08:0581 int i = (v >> 31) ^ !!*next;
Yordan Makariev425b45d2011-12-03 18:25:5782 AVTreeNode **child = &t->child[i];
83 t->state += 2 * i - 1;
Michael Niedermayerf05dda32008-01-04 18:20:0384
Yordan Makariev425b45d2011-12-03 18:25:5785 if (!(t->state & 1)) {
86 if (t->state) {
Michael Niedermayer51198a82008-01-23 21:03:2187 /* The following code is equivalent to
Diego Biurrun10db1a92012-10-16 14:08:0588 * if ((*child)->state * 2 == -t->state)
89 * rotate(child, i ^ 1);
90 * rotate(tp, i);
91 *
92 * with rotate():
93 * static void rotate(AVTreeNode **tp, int i)
94 * {
95 * AVTreeNode *t= *tp;
96 *
97 * *tp = t->child[i];
98 * t->child[i] = t->child[i]->child[i ^ 1];
99 * (*tp)->child[i ^ 1] = t;
100 * i = 4 * t->state + 2 * (*tp)->state + 12;
101 * t->state = ((0x614586 >> i) & 3) - 1;
102 * (*tp)->state = ((0x400EEA >> i) & 3) - 1 +
103 * ((*tp)->state >> 1);
104 * }
105 * but such a rotate function is both bigger and slower
106 */
107 if ((*child)->state * 2 == -t->state) {
Yordan Makariev425b45d2011-12-03 18:25:57108 *tp = (*child)->child[i ^ 1];
109 (*child)->child[i ^ 1] = (*tp)->child[i];
110 (*tp)->child[i] = *child;
Diego Biurrun10db1a92012-10-16 14:08:05111 *child = (*tp)->child[i ^ 1];
Yordan Makariev425b45d2011-12-03 18:25:57112 (*tp)->child[i ^ 1] = t;
Michael Niedermayer9eb88fd2006-11-14 01:02:30113
Yordan Makariev425b45d2011-12-03 18:25:57114 (*tp)->child[0]->state = -((*tp)->state > 0);
Diego Biurrun10db1a92012-10-16 14:08:05115 (*tp)->child[1]->state = (*tp)->state < 0;
Yordan Makariev425b45d2011-12-03 18:25:57116 (*tp)->state = 0;
117 } else {
Diego Biurrun10db1a92012-10-16 14:08:05118 *tp = *child;
119 *child = (*child)->child[i ^ 1];
120 (*tp)->child[i ^ 1] = t;
121 if ((*tp)->state)
122 t->state = 0;
123 else
124 t->state >>= 1;
125 (*tp)->state = -t->state;
Michael Niedermayer9eb88fd2006-11-14 01:02:30126 }
Michael Niedermayer9eb88fd2006-11-14 01:02:30127 }
128 }
Yordan Makariev425b45d2011-12-03 18:25:57129 if (!(*tp)->state ^ !!*next)
Michael Niedermayera35bf972008-01-04 19:16:38130 return key;
131 }
132 return ret;
Yordan Makariev425b45d2011-12-03 18:25:57133 } else {
134 *tp = *next;
135 *next = NULL;
136 if (*tp) {
137 (*tp)->elem = key;
Michael Niedermayereed36072008-09-19 12:41:12138 return NULL;
Yordan Makariev425b45d2011-12-03 18:25:57139 } else
Michael Niedermayereed36072008-09-19 12:41:12140 return key;
Michael Niedermayer9eb88fd2006-11-14 01:02:30141 }
142}
143
Yordan Makariev425b45d2011-12-03 18:25:57144void av_tree_destroy(AVTreeNode *t)
145{
146 if (t) {
Aurelien Jacobs045cbba2009-01-04 17:48:54147 av_tree_destroy(t->child[0]);
148 av_tree_destroy(t->child[1]);
149 av_free(t);
Aurelien Jacobsd8bd1132009-01-04 17:48:19150 }
Michael Niedermayer9eb88fd2006-11-14 01:02:30151}
152
Yordan Makariev425b45d2011-12-03 18:25:57153void av_tree_enumerate(AVTreeNode *t, void *opaque,
154 int (*cmp)(void *opaque, void *elem),
155 int (*enu)(void *opaque, void *elem))
156{
157 if (t) {
158 int v = cmp ? cmp(opaque, t->elem) : 0;
159 if (v >= 0)
160 av_tree_enumerate(t->child[0], opaque, cmp, enu);
161 if (v == 0)
162 enu(opaque, t->elem);
163 if (v <= 0)
164 av_tree_enumerate(t->child[1], opaque, cmp, enu);
Michael Niedermayeredabf352009-11-14 19:14:14165 }
Michael Niedermayer9eb88fd2006-11-14 01:02:30166}
Michael Niedermayer9eb88fd2006-11-14 01:02:30167
168#ifdef TEST
Diego Biurrun294eaa22009-03-20 11:48:27169
Martin Storsjö1d9c2dc2012-08-06 13:49:32170#include "common.h"
Diego Biurrun294eaa22009-03-20 11:48:27171#include "lfg.h"
172
Yordan Makariev425b45d2011-12-03 18:25:57173static int check(AVTreeNode *t)
174{
175 if (t) {
176 int left = check(t->child[0]);
177 int right = check(t->child[1]);
Michael Niedermayer9eb88fd2006-11-14 01:02:30178
Diego Biurrun10db1a92012-10-16 14:08:05179 if (left > 999 || right > 999)
Michael Niedermayer9eb88fd2006-11-14 01:02:30180 return 1000;
Yordan Makariev425b45d2011-12-03 18:25:57181 if (right - left != t->state)
Michael Niedermayer9eb88fd2006-11-14 01:02:30182 return 1000;
Diego Biurrun10db1a92012-10-16 14:08:05183 if (t->state > 1 || t->state < -1)
Michael Niedermayer9eb88fd2006-11-14 01:02:30184 return 1000;
Yordan Makariev425b45d2011-12-03 18:25:57185 return FFMAX(left, right) + 1;
Michael Niedermayer9eb88fd2006-11-14 01:02:30186 }
187 return 0;
188}
189
Yordan Makariev425b45d2011-12-03 18:25:57190static void print(AVTreeNode *t, int depth)
191{
Michael Niedermayer9eb88fd2006-11-14 01:02:30192 int i;
Diego Biurrun10db1a92012-10-16 14:08:05193 for (i = 0; i < depth * 4; i++)
194 av_log(NULL, AV_LOG_ERROR, " ");
Yordan Makariev425b45d2011-12-03 18:25:57195 if (t) {
Benoit Fouet168fffd2009-03-31 14:00:46196 av_log(NULL, AV_LOG_ERROR, "Node %p %2d %p\n", t, t->state, t->elem);
Yordan Makariev425b45d2011-12-03 18:25:57197 print(t->child[0], depth + 1);
198 print(t->child[1], depth + 1);
199 } else
Michael Niedermayer9eb88fd2006-11-14 01:02:30200 av_log(NULL, AV_LOG_ERROR, "NULL\n");
201}
202
Yordan Makariev425b45d2011-12-03 18:25:57203static int cmp(void *a, const void *b)
204{
205 return (uint8_t *) a - (const uint8_t *) b;
Michael Niedermayer9eb88fd2006-11-14 01:02:30206}
207
Diego Biurrun10db1a92012-10-16 14:08:05208int main(void)
Yordan Makariev425b45d2011-12-03 18:25:57209{
Benoit Fouet168fffd2009-03-31 14:00:46210 int i;
Yordan Makariev425b45d2011-12-03 18:25:57211 AVTreeNode *root = NULL, *node = NULL;
Diego Biurrun64bde192009-04-10 17:23:38212 AVLFG prng;
Diego Biurrun294eaa22009-03-20 11:48:27213
Diego Biurrun64bde192009-04-10 17:23:38214 av_lfg_init(&prng, 1);
Michael Niedermayer9eb88fd2006-11-14 01:02:30215
Yordan Makariev425b45d2011-12-03 18:25:57216 for (i = 0; i < 10000; i++) {
Diego Biurrunc2e936d2013-07-30 15:28:44217 AVTreeNode *node2 = NULL;
218 intptr_t j = av_lfg_get(&prng) % 86294;
219 void *ret, *jj = (void *)(j + 1);
220
221 while (ret = av_tree_find(root, jj, cmp, NULL)) {
222 j = av_lfg_get(&prng) % 86294;
223 jj = (void *)(j + 1);
224 }
225
Yordan Makariev425b45d2011-12-03 18:25:57226 if (check(root) > 999) {
Michael Niedermayer9eb88fd2006-11-14 01:02:30227 av_log(NULL, AV_LOG_ERROR, "FATAL error %d\n", i);
Diego Biurrun10db1a92012-10-16 14:08:05228 print(root, 0);
Derek Buitenhuis530cd282013-10-22 18:08:43229 return 1;
Michael Niedermayer9eb88fd2006-11-14 01:02:30230 }
Diego Biurrunc2e936d2013-07-30 15:28:44231
Yordan Makariev425b45d2011-12-03 18:25:57232 if (!node)
Martin Storsjöe002e322012-10-11 12:10:45233 node = av_tree_node_alloc();
Diego Biurrunc2e936d2013-07-30 15:28:44234 if (!node) {
235 av_log(NULL, AV_LOG_ERROR, "Memory allocation failure.\n");
Derek Buitenhuis530cd282013-10-22 18:08:43236 return 1;
Michael Niedermayerf05dda32008-01-04 18:20:03237 }
Diego Biurrunc2e936d2013-07-30 15:28:44238 av_tree_insert(&root, jj, cmp, &node);
239
240 while (ret = av_tree_find(root, jj, cmp, NULL)) {
241 j = av_lfg_get(&prng) % 86294;
242 jj = (void *)(j + 1);
243 }
244
245 ret = av_tree_insert(&root, jj, cmp, &node2);
246 if (ret != jj)
247 av_tree_destroy(node2);
248 ret = av_tree_find(root, jj, cmp, NULL);
249 if (ret)
250 av_log(NULL, AV_LOG_ERROR, "removal failure %d\n", i);
Michael Niedermayer9eb88fd2006-11-14 01:02:30251 }
Diego Biurrunc2e936d2013-07-30 15:28:44252
253 av_tree_destroy(root);
254
Michael Niedermayer9eb88fd2006-11-14 01:02:30255 return 0;
256}
257#endif