Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 1 | /* |
| 2 | * copyright (c) 2006 Michael Niedermayer <[email protected]> |
| 3 | * |
Mans Rullgard | 2912e87 | 2011-03-18 17:35:10 | [diff] [blame] | 4 | * This file is part of Libav. |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 5 | * |
Mans Rullgard | 2912e87 | 2011-03-18 17:35:10 | [diff] [blame] | 6 | * Libav is free software; you can redistribute it and/or |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 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 | * |
Mans Rullgard | 2912e87 | 2011-03-18 17:35:10 | [diff] [blame] | 11 | * Libav is distributed in the hope that it will be useful, |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 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 |
Mans Rullgard | 2912e87 | 2011-03-18 17:35:10 | [diff] [blame] | 17 | * License along with Libav; if not, write to the Free Software |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 18 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA |
| 19 | */ |
| 20 | |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 21 | #include "log.h" |
Martin Storsjö | 1d9c2dc | 2012-08-06 13:49:32 | [diff] [blame] | 22 | #include "mem.h" |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 23 | #include "tree.h" |
| 24 | |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 25 | typedef struct AVTreeNode { |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 26 | struct AVTreeNode *child[2]; |
| 27 | void *elem; |
| 28 | int state; |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 29 | } AVTreeNode; |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 30 | |
Martin Storsjö | 9a92aea | 2012-10-11 12:08:04 | [diff] [blame] | 31 | #if FF_API_CONTEXT_SIZE |
Michael Niedermayer | 6e8b982 | 2008-01-04 17:52:16 | [diff] [blame] | 32 | const int av_tree_node_size = sizeof(AVTreeNode); |
Martin Storsjö | 9a92aea | 2012-10-11 12:08:04 | [diff] [blame] | 33 | #endif |
| 34 | |
| 35 | struct AVTreeNode *av_tree_node_alloc(void) |
| 36 | { |
| 37 | return av_mallocz(sizeof(struct AVTreeNode)); |
| 38 | } |
Michael Niedermayer | 6e8b982 | 2008-01-04 17:52:16 | [diff] [blame] | 39 | |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 40 | void *av_tree_find(const AVTreeNode *t, void *key, |
| 41 | int (*cmp)(void *key, const void *b), void *next[2]) |
| 42 | { |
| 43 | if (t) { |
| 44 | unsigned int v = cmp(key, t->elem); |
| 45 | if (v) { |
Diego Biurrun | 10db1a9 | 2012-10-16 14:08:05 | [diff] [blame^] | 46 | if (next) |
| 47 | next[v >> 31] = t->elem; |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 48 | return av_tree_find(t->child[(v >> 31) ^ 1], key, cmp, next); |
| 49 | } else { |
| 50 | if (next) { |
Michael Niedermayer | 116d15cc | 2008-01-04 10:14:21 | [diff] [blame] | 51 | av_tree_find(t->child[0], key, cmp, next); |
| 52 | av_tree_find(t->child[1], key, cmp, next); |
| 53 | } |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 54 | return t->elem; |
| 55 | } |
| 56 | } |
| 57 | return NULL; |
| 58 | } |
| 59 | |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 60 | void *av_tree_insert(AVTreeNode **tp, void *key, |
| 61 | int (*cmp)(void *key, const void *b), AVTreeNode **next) |
| 62 | { |
| 63 | AVTreeNode *t = *tp; |
| 64 | if (t) { |
| 65 | unsigned int v = cmp(t->elem, key); |
Michael Niedermayer | f05dda3 | 2008-01-04 18:20:03 | [diff] [blame] | 66 | void *ret; |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 67 | if (!v) { |
| 68 | if (*next) |
Michael Niedermayer | f05dda3 | 2008-01-04 18:20:03 | [diff] [blame] | 69 | return t->elem; |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 70 | else if (t->child[0] || t->child[1]) { |
| 71 | int i = !t->child[0]; |
Michael Niedermayer | f05dda3 | 2008-01-04 18:20:03 | [diff] [blame] | 72 | void *next_elem[2]; |
Michael Niedermayer | 3f161c7 | 2008-01-16 01:54:18 | [diff] [blame] | 73 | av_tree_find(t->child[i], key, cmp, next_elem); |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 74 | key = t->elem = next_elem[i]; |
Diego Biurrun | 10db1a9 | 2012-10-16 14:08:05 | [diff] [blame^] | 75 | v = -i; |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 76 | } else { |
| 77 | *next = t; |
Diego Biurrun | 10db1a9 | 2012-10-16 14:08:05 | [diff] [blame^] | 78 | *tp = NULL; |
Michael Niedermayer | f05dda3 | 2008-01-04 18:20:03 | [diff] [blame] | 79 | return NULL; |
| 80 | } |
| 81 | } |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 82 | ret = av_tree_insert(&t->child[v >> 31], key, cmp, next); |
| 83 | if (!ret) { |
Diego Biurrun | 10db1a9 | 2012-10-16 14:08:05 | [diff] [blame^] | 84 | int i = (v >> 31) ^ !!*next; |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 85 | AVTreeNode **child = &t->child[i]; |
| 86 | t->state += 2 * i - 1; |
Michael Niedermayer | f05dda3 | 2008-01-04 18:20:03 | [diff] [blame] | 87 | |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 88 | if (!(t->state & 1)) { |
| 89 | if (t->state) { |
Michael Niedermayer | 51198a8 | 2008-01-23 21:03:21 | [diff] [blame] | 90 | /* The following code is equivalent to |
Diego Biurrun | 10db1a9 | 2012-10-16 14:08:05 | [diff] [blame^] | 91 | * if ((*child)->state * 2 == -t->state) |
| 92 | * rotate(child, i ^ 1); |
| 93 | * rotate(tp, i); |
| 94 | * |
| 95 | * with rotate(): |
| 96 | * static void rotate(AVTreeNode **tp, int i) |
| 97 | * { |
| 98 | * AVTreeNode *t= *tp; |
| 99 | * |
| 100 | * *tp = t->child[i]; |
| 101 | * t->child[i] = t->child[i]->child[i ^ 1]; |
| 102 | * (*tp)->child[i ^ 1] = t; |
| 103 | * i = 4 * t->state + 2 * (*tp)->state + 12; |
| 104 | * t->state = ((0x614586 >> i) & 3) - 1; |
| 105 | * (*tp)->state = ((0x400EEA >> i) & 3) - 1 + |
| 106 | * ((*tp)->state >> 1); |
| 107 | * } |
| 108 | * but such a rotate function is both bigger and slower |
| 109 | */ |
| 110 | if ((*child)->state * 2 == -t->state) { |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 111 | *tp = (*child)->child[i ^ 1]; |
| 112 | (*child)->child[i ^ 1] = (*tp)->child[i]; |
| 113 | (*tp)->child[i] = *child; |
Diego Biurrun | 10db1a9 | 2012-10-16 14:08:05 | [diff] [blame^] | 114 | *child = (*tp)->child[i ^ 1]; |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 115 | (*tp)->child[i ^ 1] = t; |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 116 | |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 117 | (*tp)->child[0]->state = -((*tp)->state > 0); |
Diego Biurrun | 10db1a9 | 2012-10-16 14:08:05 | [diff] [blame^] | 118 | (*tp)->child[1]->state = (*tp)->state < 0; |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 119 | (*tp)->state = 0; |
| 120 | } else { |
Diego Biurrun | 10db1a9 | 2012-10-16 14:08:05 | [diff] [blame^] | 121 | *tp = *child; |
| 122 | *child = (*child)->child[i ^ 1]; |
| 123 | (*tp)->child[i ^ 1] = t; |
| 124 | if ((*tp)->state) |
| 125 | t->state = 0; |
| 126 | else |
| 127 | t->state >>= 1; |
| 128 | (*tp)->state = -t->state; |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 129 | } |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 130 | } |
| 131 | } |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 132 | if (!(*tp)->state ^ !!*next) |
Michael Niedermayer | a35bf97 | 2008-01-04 19:16:38 | [diff] [blame] | 133 | return key; |
| 134 | } |
| 135 | return ret; |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 136 | } else { |
| 137 | *tp = *next; |
| 138 | *next = NULL; |
| 139 | if (*tp) { |
| 140 | (*tp)->elem = key; |
Michael Niedermayer | eed3607 | 2008-09-19 12:41:12 | [diff] [blame] | 141 | return NULL; |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 142 | } else |
Michael Niedermayer | eed3607 | 2008-09-19 12:41:12 | [diff] [blame] | 143 | return key; |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 144 | } |
| 145 | } |
| 146 | |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 147 | void av_tree_destroy(AVTreeNode *t) |
| 148 | { |
| 149 | if (t) { |
Aurelien Jacobs | 045cbba | 2009-01-04 17:48:54 | [diff] [blame] | 150 | av_tree_destroy(t->child[0]); |
| 151 | av_tree_destroy(t->child[1]); |
| 152 | av_free(t); |
Aurelien Jacobs | d8bd113 | 2009-01-04 17:48:19 | [diff] [blame] | 153 | } |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 154 | } |
| 155 | |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 156 | void av_tree_enumerate(AVTreeNode *t, void *opaque, |
| 157 | int (*cmp)(void *opaque, void *elem), |
| 158 | int (*enu)(void *opaque, void *elem)) |
| 159 | { |
| 160 | if (t) { |
| 161 | int v = cmp ? cmp(opaque, t->elem) : 0; |
| 162 | if (v >= 0) |
| 163 | av_tree_enumerate(t->child[0], opaque, cmp, enu); |
| 164 | if (v == 0) |
| 165 | enu(opaque, t->elem); |
| 166 | if (v <= 0) |
| 167 | av_tree_enumerate(t->child[1], opaque, cmp, enu); |
Michael Niedermayer | edabf35 | 2009-11-14 19:14:14 | [diff] [blame] | 168 | } |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 169 | } |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 170 | |
| 171 | #ifdef TEST |
Diego Biurrun | 294eaa2 | 2009-03-20 11:48:27 | [diff] [blame] | 172 | |
Martin Storsjö | 1d9c2dc | 2012-08-06 13:49:32 | [diff] [blame] | 173 | #include "common.h" |
Diego Biurrun | 294eaa2 | 2009-03-20 11:48:27 | [diff] [blame] | 174 | #include "lfg.h" |
| 175 | |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 176 | static int check(AVTreeNode *t) |
| 177 | { |
| 178 | if (t) { |
| 179 | int left = check(t->child[0]); |
| 180 | int right = check(t->child[1]); |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 181 | |
Diego Biurrun | 10db1a9 | 2012-10-16 14:08:05 | [diff] [blame^] | 182 | if (left > 999 || right > 999) |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 183 | return 1000; |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 184 | if (right - left != t->state) |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 185 | return 1000; |
Diego Biurrun | 10db1a9 | 2012-10-16 14:08:05 | [diff] [blame^] | 186 | if (t->state > 1 || t->state < -1) |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 187 | return 1000; |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 188 | return FFMAX(left, right) + 1; |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 189 | } |
| 190 | return 0; |
| 191 | } |
| 192 | |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 193 | static void print(AVTreeNode *t, int depth) |
| 194 | { |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 195 | int i; |
Diego Biurrun | 10db1a9 | 2012-10-16 14:08:05 | [diff] [blame^] | 196 | for (i = 0; i < depth * 4; i++) |
| 197 | av_log(NULL, AV_LOG_ERROR, " "); |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 198 | if (t) { |
Benoit Fouet | 168fffd | 2009-03-31 14:00:46 | [diff] [blame] | 199 | av_log(NULL, AV_LOG_ERROR, "Node %p %2d %p\n", t, t->state, t->elem); |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 200 | print(t->child[0], depth + 1); |
| 201 | print(t->child[1], depth + 1); |
| 202 | } else |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 203 | av_log(NULL, AV_LOG_ERROR, "NULL\n"); |
| 204 | } |
| 205 | |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 206 | static int cmp(void *a, const void *b) |
| 207 | { |
| 208 | return (uint8_t *) a - (const uint8_t *) b; |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 209 | } |
| 210 | |
Diego Biurrun | 10db1a9 | 2012-10-16 14:08:05 | [diff] [blame^] | 211 | int main(void) |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 212 | { |
Benoit Fouet | 168fffd | 2009-03-31 14:00:46 | [diff] [blame] | 213 | int i; |
| 214 | void *k; |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 215 | AVTreeNode *root = NULL, *node = NULL; |
Diego Biurrun | 64bde19 | 2009-04-10 17:23:38 | [diff] [blame] | 216 | AVLFG prng; |
Diego Biurrun | 294eaa2 | 2009-03-20 11:48:27 | [diff] [blame] | 217 | |
Diego Biurrun | 64bde19 | 2009-04-10 17:23:38 | [diff] [blame] | 218 | av_lfg_init(&prng, 1); |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 219 | |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 220 | for (i = 0; i < 10000; i++) { |
Diego Biurrun | 64bde19 | 2009-04-10 17:23:38 | [diff] [blame] | 221 | int j = av_lfg_get(&prng) % 86294; |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 222 | if (check(root) > 999) { |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 223 | av_log(NULL, AV_LOG_ERROR, "FATAL error %d\n", i); |
Diego Biurrun | 10db1a9 | 2012-10-16 14:08:05 | [diff] [blame^] | 224 | print(root, 0); |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 225 | return -1; |
| 226 | } |
| 227 | av_log(NULL, AV_LOG_ERROR, "inserting %4d\n", j); |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 228 | if (!node) |
Martin Storsjö | e002e32 | 2012-10-11 12:10:45 | [diff] [blame] | 229 | node = av_tree_node_alloc(); |
Diego Biurrun | 10db1a9 | 2012-10-16 14:08:05 | [diff] [blame^] | 230 | av_tree_insert(&root, (void *)(j + 1), cmp, &node); |
Michael Niedermayer | f05dda3 | 2008-01-04 18:20:03 | [diff] [blame] | 231 | |
Diego Biurrun | 64bde19 | 2009-04-10 17:23:38 | [diff] [blame] | 232 | j = av_lfg_get(&prng) % 86294; |
Michael Niedermayer | eed3607 | 2008-09-19 12:41:12 | [diff] [blame] | 233 | { |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 234 | AVTreeNode *node2 = NULL; |
Michael Niedermayer | 5d1e3d2 | 2008-01-16 01:54:56 | [diff] [blame] | 235 | av_log(NULL, AV_LOG_ERROR, "removing %4d\n", j); |
Diego Biurrun | 10db1a9 | 2012-10-16 14:08:05 | [diff] [blame^] | 236 | av_tree_insert(&root, (void *)(j + 1), cmp, &node2); |
| 237 | k = av_tree_find(root, (void *)(j + 1), cmp, NULL); |
Yordan Makariev | 425b45d | 2011-12-03 18:25:57 | [diff] [blame] | 238 | if (k) |
Diego Biurrun | 89c9ff5 | 2009-01-28 00:16:05 | [diff] [blame] | 239 | av_log(NULL, AV_LOG_ERROR, "removal failure %d\n", i); |
Michael Niedermayer | f05dda3 | 2008-01-04 18:20:03 | [diff] [blame] | 240 | } |
Michael Niedermayer | 9eb88fd | 2006-11-14 01:02:30 | [diff] [blame] | 241 | } |
| 242 | return 0; |
| 243 | } |
| 244 | #endif |