FFmpeg coverage

Directory: ../../../ffmpeg/
File: src/libavcodec/vlc.c
Date: 2026-10-29 07:45:57
Exec Total Coverage
Lines: 223 266 83.8%
Functions: 17 17 100.0%
Branches: 188 256 73.4%
Line Branch Exec Source
1 /*
2 * API for creating VLC trees
3 * Copyright (c) 2000, 2001 Fabrice Bellard
4 * Copyright (c) 2002-2004 Michael Niedermayer <michaelni@gmx.at>
5 * Copyright (c) 2010 Loren Merritt
6 *
7 * This file is part of FFmpeg.
8 *
9 * FFmpeg is free software; you can redistribute it and/or
10 * modify it under the terms of the GNU Lesser General Public
11 * License as published by the Free Software Foundation; either
12 * version 2.1 of the License, or (at your option) any later version.
13 *
14 * FFmpeg is distributed in the hope that it will be useful,
15 * but WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17 * Lesser General Public License for more details.
18 *
19 * You should have received a copy of the GNU Lesser General Public
20 * License along with FFmpeg; if not, write to the Free Software
21 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
22 */
23
24 #include <inttypes.h>
25 #include <stdint.h>
26 #include <stdlib.h>
27 #include <string.h>
28
29 #include "libavutil/attributes.h"
30 #include "libavutil/avassert.h"
31 #include "libavutil/error.h"
32 #include "libavutil/internal.h"
33 #include "libavutil/intreadwrite.h"
34 #include "libavutil/log.h"
35 #include "libavutil/macros.h"
36 #include "libavutil/mem.h"
37 #include "libavutil/qsort.h"
38 #include "libavutil/reverse.h"
39 #include "vlc.h"
40
41 #define GET_DATA(v, table, i, wrap, size) \
42 { \
43 const uint8_t *ptr = (const uint8_t *)table + i * wrap; \
44 switch(size) { \
45 default: \
46 av_unreachable("Only uint8/16/32_t are used"); \
47 case 1: \
48 v = *(const uint8_t *)ptr; \
49 break; \
50 case 2: \
51 v = *(const uint16_t *)ptr; \
52 break; \
53 case 4: \
54 v = *(const uint32_t *)ptr; \
55 break; \
56 } \
57 }
58
59
60 556280 static int alloc_table(VLC *vlc, int size, int use_static)
61 {
62 556280 int index = vlc->table_size;
63
64 556280 vlc->table_size += size;
65
2/2
✓ Branch 0 taken 60498 times.
✓ Branch 1 taken 495782 times.
 556280 if (vlc->table_size > vlc->table_allocated) {
66
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 60498 times.
 60498 if (use_static)
67 ✗ abort(); // cannot do anything, vlc_init() is used with too little memory
68 60498 vlc->table_allocated += (1 << vlc->bits);
69 60498 vlc->table = av_realloc_f(vlc->table, vlc->table_allocated, sizeof(*vlc->table));
70
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 60498 times.
 60498 if (!vlc->table) {
71 ✗ vlc->table_allocated = 0;
72 ✗ vlc->table_size = 0;
73 ✗ return AVERROR(ENOMEM);
74 }
75 60498 memset(vlc->table + vlc->table_allocated - (1 << vlc->bits), 0, sizeof(*vlc->table) << vlc->bits);
76 }
77 556280 return index;
78 }
79
80 #define LOCALBUF_ELEMS 1500 // the maximum currently needed is 1296 by rv34
81
82 1211296 static av_always_inline uint32_t bitswap_32(uint32_t x)
83 {
84 1211296 return (uint32_t)ff_reverse[ x & 0xFF] << 24 |
85 1211296 (uint32_t)ff_reverse[(x >> 8) & 0xFF] << 16 |
86 2422592 (uint32_t)ff_reverse[(x >> 16) & 0xFF] << 8 |
87 1211296 (uint32_t)ff_reverse[ x >> 24];
88 }
89
90 typedef struct VLCcode {
91 uint8_t bits;
92 VLCBaseType symbol;
93 /** codeword, with the first bit-to-be-read in the msb
94 * (even if intended for a little-endian bitstream reader) */
95 uint32_t code;
96 } VLCcode;
97
98 77466 static int vlc_common_init(VLC *vlc, int nb_bits, int nb_codes,
99 VLCcode **buf, int flags)
100 {
101 77466 vlc->bits = nb_bits;
102 77466 vlc->table_size = 0;
103
2/2
✓ Branch 0 taken 46020 times.
✓ Branch 1 taken 31446 times.
 77466 if (flags & VLC_INIT_USE_STATIC) {
104
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 46020 times.
 46020 av_assert0(nb_codes <= LOCALBUF_ELEMS);
105 } else {
106 31446 vlc->table = NULL;
107 31446 vlc->table_allocated = 0;
108 }
109
2/2
✓ Branch 0 taken 135 times.
✓ Branch 1 taken 77331 times.
 77466 if (nb_codes > LOCALBUF_ELEMS) {
110 135 *buf = av_malloc_array(nb_codes, sizeof(VLCcode));
111
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 135 times.
 135 if (!*buf)
112 ✗ return AVERROR(ENOMEM);
113 }
114
115 77466 return 0;
116 }
117
118 20351932 static int compare_vlcspec(const void *a, const void *b)
119 {
120 20351932 const VLCcode *sa = a, *sb = b;
121 20351932 return (sa->code >> 1) - (sb->code >> 1);
122 }
123
124 /**
125 * Build VLC decoding tables suitable for use with get_vlc().
126 *
127 * @param vlc the context to be initialized
128 *
129 * @param table_nb_bits max length of vlc codes to store directly in this table
130 * (Longer codes are delegated to subtables.)
131 *
132 * @param nb_codes number of elements in codes[]
133 *
134 * @param codes descriptions of the vlc codes
135 * These must be ordered such that codes going into the same subtable are contiguous.
136 * Sorting by VLCcode.code is sufficient, though not necessary.
137 */
138 556280 static int build_table(VLC *vlc, int table_nb_bits, int nb_codes,
139 VLCcode *codes, int flags)
140 {
141 int table_size, table_index;
142 VLCElem *table;
143
144
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 556280 times.
 556280 if (table_nb_bits > 30)
145 ✗ return AVERROR(EINVAL);
146 556280 table_size = 1 << table_nb_bits;
147 556280 table_index = alloc_table(vlc, table_size, flags & VLC_INIT_USE_STATIC);
148 ff_dlog(NULL, "new table index=%d size=%d\n", table_index, table_size);
149
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 556280 times.
 556280 if (table_index < 0)
150 ✗ return table_index;
151 556280 table = &vlc->table[table_index];
152
153 /* first pass: map codes and compute auxiliary table sizes */
154
2/2
✓ Branch 0 taken 6454229 times.
✓ Branch 1 taken 556280 times.
 7010509 for (int i = 0; i < nb_codes; i++) {
155 6454229 int n = codes[i].bits;
156 6454229 uint32_t code = codes[i].code;
157 6454229 int symbol = codes[i].symbol;
158 ff_tlog(NULL, "i=%d n=%d code=0x%"PRIx32"\n", i, n, code);
159
2/2
✓ Branch 0 taken 5975415 times.
✓ Branch 1 taken 478814 times.
 6454229 if (n <= table_nb_bits) {
160 /* no need to add another table */
161 5975415 int j = code >> (32 - table_nb_bits);
162 5975415 int nb = 1 << (table_nb_bits - n);
163 5975415 int inc = 1;
164
165
2/2
✓ Branch 0 taken 627986 times.
✓ Branch 1 taken 5347429 times.
 5975415 if (flags & VLC_INIT_OUTPUT_LE) {
166 627986 j = bitswap_32(code);
167 627986 inc = 1 << n;
168 }
169
2/2
✓ Branch 0 taken 53252387 times.
✓ Branch 1 taken 5975415 times.
 59227802 for (int k = 0; k < nb; k++) {
170 53252387 int bits = table[j].len;
171 53252387 int oldsym = table[j].sym;
172 ff_tlog(NULL, "%4x: code=%d n=%d\n", j, i, n);
173
2/8
✓ Branch 0 taken 53252387 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 53252387 times.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✗ Branch 6 not taken.
✗ Branch 7 not taken.
 53252387 if ((bits || oldsym) && (bits != n || oldsym != symbol)) {
174 ✗ av_log(NULL, AV_LOG_ERROR, "incorrect codes\n");
175 ✗ return AVERROR_INVALIDDATA;
176 }
177 53252387 table[j].len = n;
178 53252387 table[j].sym = symbol;
179 53252387 j += inc;
180 }
181 } else {
182 /* fill auxiliary table recursively */
183 uint32_t code_prefix;
184 int index, subtable_bits, j, k;
185
186 478814 n -= table_nb_bits;
187 478814 code_prefix = code >> (32 - table_nb_bits);
188 478814 subtable_bits = n;
189 478814 codes[i].bits = n;
190 478814 codes[i].code = code << table_nb_bits;
191
2/2
✓ Branch 0 taken 4345295 times.
✓ Branch 1 taken 19603 times.
 4364898 for (k = i + 1; k < nb_codes; k++) {
192 4345295 n = codes[k].bits - table_nb_bits;
193
2/2
✓ Branch 0 taken 58760 times.
✓ Branch 1 taken 4286535 times.
 4345295 if (n <= 0)
194 58760 break;
195 4286535 code = codes[k].code;
196
2/2
✓ Branch 0 taken 400451 times.
✓ Branch 1 taken 3886084 times.
 4286535 if (code >> (32 - table_nb_bits) != code_prefix)
197 400451 break;
198 3886084 codes[k].bits = n;
199 3886084 codes[k].code = code << table_nb_bits;
200 3886084 subtable_bits = FFMAX(subtable_bits, n);
201 }
202 478814 subtable_bits = FFMIN(subtable_bits, table_nb_bits);
203
2/2
✓ Branch 0 taken 68114 times.
✓ Branch 1 taken 410700 times.
 478814 j = (flags & VLC_INIT_OUTPUT_LE) ? bitswap_32(code_prefix) >> (32 - table_nb_bits) : code_prefix;
204 478814 table[j].len = -subtable_bits;
205 ff_dlog(NULL, "%4x: n=%d (subtable)\n",
206 j, codes[i].bits + table_nb_bits);
207 478814 index = build_table(vlc, subtable_bits, k-i, codes+i, flags);
208
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 478814 times.
 478814 if (index < 0)
209 ✗ return index;
210 /* note: realloc has been done, so reload tables */
211 478814 table = &vlc->table[table_index];
212 478814 table[j].sym = index;
213
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 478814 times.
 478814 if (table[j].sym != index) {
214 ✗ avpriv_request_sample(NULL, "strange codes");
215 ✗ return AVERROR_PATCHWELCOME;
216 }
217 478814 i = k-1;
218 }
219 }
220
221
2/2
✓ Branch 0 taken 53944118 times.
✓ Branch 1 taken 556280 times.
 54500398 for (int i = 0; i < table_size; i++) {
222
2/2
✓ Branch 0 taken 212917 times.
✓ Branch 1 taken 53731201 times.
 53944118 if (table[i].len == 0)
223 212917 table[i].sym = -1;
224 }
225
226 556280 return table_index;
227 }
228
229 77466 static int vlc_common_end(VLC *vlc, int nb_bits, int nb_codes, VLCcode *codes,
230 int flags, VLCcode localbuf[LOCALBUF_ELEMS])
231 {
232 77466 int ret = build_table(vlc, nb_bits, nb_codes, codes, flags);
233
234
2/2
✓ Branch 0 taken 46020 times.
✓ Branch 1 taken 31446 times.
 77466 if (flags & VLC_INIT_USE_STATIC) {
235
2/2
✓ Branch 0 taken 37205 times.
✓ Branch 1 taken 8815 times.
 46020 if (vlc->table_size != vlc->table_allocated &&
236
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 37205 times.
 37205 !(flags & (VLC_INIT_STATIC_OVERLONG & ~VLC_INIT_USE_STATIC)))
237 ✗ av_log(NULL, AV_LOG_ERROR, "needed %d had %d\n", vlc->table_size, vlc->table_allocated);
238
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 46020 times.
 46020 av_assert0(ret >= 0);
239 } else {
240
2/2
✓ Branch 0 taken 135 times.
✓ Branch 1 taken 31311 times.
 31446 if (codes != localbuf)
241 135 av_free(codes);
242
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 31446 times.
 31446 if (ret < 0) {
243 ✗ av_freep(&vlc->table);
244 ✗ return ret;
245 }
246 }
247 77466 return 0;
248 }
249
250 31477 int ff_vlc_init_sparse(VLC *vlc, int nb_bits, int nb_codes,
251 const void *bits, int bits_wrap, int bits_size,
252 const void *codes, int codes_wrap, int codes_size,
253 const void *symbols, int symbols_wrap, int symbols_size,
254 int flags)
255 {
256 31477 VLCcode localbuf[LOCALBUF_ELEMS], *buf = localbuf;
257 int j, ret;
258
259 31477 ret = vlc_common_init(vlc, nb_bits, nb_codes, &buf, flags);
260
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 31477 times.
 31477 if (ret < 0)
261 ✗ return ret;
262
263
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 31477 times.
 31477 av_assert0(symbols_size <= 2U);
264 31477 j = 0;
265 #define COPY(condition)\
266 for (int i = 0; i < nb_codes; i++) { \
267 unsigned len; \
268 GET_DATA(len, bits, i, bits_wrap, bits_size); \
269 if (!(condition)) \
270 continue; \
271 if (len > 3*nb_bits || len > 32) { \
272 av_log(NULL, AV_LOG_ERROR, "Too long VLC (%u) in vlc_init\n", len);\
273 if (buf != localbuf) \
274 av_free(buf); \
275 return AVERROR(EINVAL); \
276 } \
277 buf[j].bits = len; \
278 GET_DATA(buf[j].code, codes, i, codes_wrap, codes_size); \
279 if (buf[j].code >= (1LL<<buf[j].bits)) { \
280 av_log(NULL, AV_LOG_ERROR, "Invalid code %"PRIx32" for %d in " \
281 "vlc_init\n", buf[j].code, i); \
282 if (buf != localbuf) \
283 av_free(buf); \
284 return AVERROR(EINVAL); \
285 } \
286 if (flags & VLC_INIT_INPUT_LE) \
287 buf[j].code = bitswap_32(buf[j].code); \
288 else \
289 buf[j].code <<= 32 - buf[j].bits; \
290 if (symbols) \
291 GET_DATA(buf[j].symbol, symbols, i, symbols_wrap, symbols_size) \
292 else \
293 buf[j].symbol = i; \
294 j++; \
295 }
296
19/30
✗ Branch 0 not taken.
✓ Branch 1 taken 2838405 times.
✓ Branch 2 taken 160613 times.
✓ Branch 3 taken 84330 times.
✓ Branch 5 taken 982815 times.
✓ Branch 6 taken 2100533 times.
✓ Branch 7 taken 2100533 times.
✗ Branch 8 not taken.
✗ Branch 9 not taken.
✓ Branch 10 taken 2100533 times.
✗ Branch 12 not taken.
✗ Branch 13 not taken.
✗ Branch 15 not taken.
✓ Branch 16 taken 59129 times.
✓ Branch 17 taken 891881 times.
✓ Branch 18 taken 1149523 times.
✗ Branch 20 not taken.
✓ Branch 21 taken 2100533 times.
✗ Branch 23 not taken.
✗ Branch 24 not taken.
✓ Branch 26 taken 423813 times.
✓ Branch 27 taken 1676720 times.
✓ Branch 29 taken 492880 times.
✓ Branch 30 taken 1607653 times.
✗ Branch 31 not taken.
✓ Branch 32 taken 21337 times.
✓ Branch 33 taken 471543 times.
✗ Branch 34 not taken.
✓ Branch 36 taken 3083348 times.
✓ Branch 37 taken 31477 times.
 3114825 COPY(len > nb_bits);
297 // qsort is the slowest part of vlc_init, and could probably be improved or avoided
298
44/44
✓ Branch 0 taken 782923 times.
✓ Branch 1 taken 245670 times.
✓ Branch 3 taken 360270 times.
✓ Branch 4 taken 422653 times.
✓ Branch 6 taken 117558 times.
✓ Branch 7 taken 242712 times.
✓ Branch 9 taken 123059 times.
✓ Branch 10 taken 299594 times.
✓ Branch 12 taken 419002 times.
✓ Branch 13 taken 363921 times.
✓ Branch 14 taken 145429 times.
✓ Branch 15 taken 637494 times.
✓ Branch 16 taken 8567242 times.
✓ Branch 17 taken 187246 times.
✓ Branch 19 taken 6204085 times.
✓ Branch 20 taken 2363157 times.
✓ Branch 21 taken 8545233 times.
✓ Branch 22 taken 531300 times.
✓ Branch 24 taken 6526130 times.
✓ Branch 25 taken 2019103 times.
✓ Branch 26 taken 2019103 times.
✓ Branch 27 taken 531300 times.
✓ Branch 28 taken 2550403 times.
✓ Branch 29 taken 637494 times.
✓ Branch 30 taken 131794 times.
✓ Branch 31 taken 505700 times.
✓ Branch 32 taken 103061 times.
✓ Branch 33 taken 28733 times.
✓ Branch 34 taken 51236 times.
✓ Branch 35 taken 51825 times.
✓ Branch 36 taken 645018 times.
✓ Branch 37 taken 23996 times.
✓ Branch 39 taken 589045 times.
✓ Branch 40 taken 55973 times.
✓ Branch 41 taken 23996 times.
✓ Branch 42 taken 55973 times.
✓ Branch 43 taken 246787 times.
✓ Branch 44 taken 366711 times.
✓ Branch 46 taken 139251 times.
✓ Branch 47 taken 106419 times.
✓ Branch 48 taken 1028593 times.
✓ Branch 49 taken 229880 times.
✓ Branch 50 taken 644975 times.
✓ Branch 51 taken 31477 times.
 17797107 AV_QSORT(buf, j, struct VLCcode, compare_vlcspec);
299
21/32
✗ Branch 0 not taken.
✓ Branch 1 taken 2838405 times.
✓ Branch 2 taken 160613 times.
✓ Branch 3 taken 84330 times.
✓ Branch 5 taken 2995439 times.
✓ Branch 6 taken 87909 times.
✓ Branch 7 taken 2100533 times.
✓ Branch 8 taken 894906 times.
✓ Branch 9 taken 894906 times.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✓ Branch 12 taken 894906 times.
✗ Branch 14 not taken.
✗ Branch 15 not taken.
✗ Branch 17 not taken.
✓ Branch 18 taken 205459 times.
✓ Branch 19 taken 521278 times.
✓ Branch 20 taken 168169 times.
✗ Branch 22 not taken.
✓ Branch 23 taken 894906 times.
✗ Branch 25 not taken.
✗ Branch 26 not taken.
✓ Branch 28 taken 91383 times.
✓ Branch 29 taken 803523 times.
✓ Branch 31 taken 274898 times.
✓ Branch 32 taken 620008 times.
✗ Branch 33 not taken.
✓ Branch 34 taken 19096 times.
✓ Branch 35 taken 255802 times.
✗ Branch 36 not taken.
✓ Branch 38 taken 3083348 times.
✓ Branch 39 taken 31477 times.
 3114825 COPY(len && len <= nb_bits);
300 31477 nb_codes = j;
301
302 31477 return vlc_common_end(vlc, nb_bits, nb_codes, buf,
303 flags, localbuf);
304 }
305
306 45255 int ff_vlc_init_from_lengths(VLC *vlc, int nb_bits, int nb_codes,
307 const int8_t *lens, int lens_wrap,
308 const void *symbols, int symbols_wrap, int symbols_size,
309 int offset, int flags, void *logctx)
310 {
311 45255 VLCcode localbuf[LOCALBUF_ELEMS], *buf = localbuf;
312 uint64_t code;
313 45255 int ret, j, len_max = FFMIN(32, 3 * nb_bits);
314
315 45255 ret = vlc_common_init(vlc, nb_bits, nb_codes, &buf, flags);
316
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 45255 times.
 45255 if (ret < 0)
317 ✗ return ret;
318
319 45255 j = code = 0;
320
2/2
✓ Branch 0 taken 2815135 times.
✓ Branch 1 taken 45255 times.
 2860390 for (int i = 0; i < nb_codes; i++, lens += lens_wrap) {
321 2815135 int len = *lens;
322
2/2
✓ Branch 0 taken 2810583 times.
✓ Branch 1 taken 4552 times.
 2815135 if (len > 0) {
323 unsigned sym;
324
325 2810583 buf[j].bits = len;
326
2/2
✓ Branch 0 taken 2773714 times.
✓ Branch 1 taken 36869 times.
 2810583 if (symbols)
327
2/4
✗ Branch 0 not taken.
✓ Branch 1 taken 984577 times.
✓ Branch 2 taken 1789137 times.
✗ Branch 3 not taken.
 2773714 GET_DATA(sym, symbols, i, symbols_wrap, symbols_size)
328 else
329 36869 sym = i;
330 2810583 buf[j].symbol = sym + offset;
331 2810583 buf[j++].code = code;
332
2/2
✓ Branch 0 taken 1904 times.
✓ Branch 1 taken 2648 times.
 4552 } else if (len < 0) {
333 1904 len = -len;
334 } else
335 2648 continue;
336
2/4
✓ Branch 0 taken 2812487 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 2812487 times.
 2812487 if (len > len_max || code & ((1U << (32 - len)) - 1)) {
337 ✗ av_log(logctx, AV_LOG_ERROR, "Invalid VLC (length %u)\n", len);
338 ✗ goto fail;
339 }
340 2812487 code += 1U << (32 - len);
341
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 2812487 times.
 2812487 if (code > UINT32_MAX + 1ULL) {
342 ✗ av_log(logctx, AV_LOG_ERROR, "Overdetermined VLC tree\n");
343 ✗ goto fail;
344 }
345 }
346 45255 return vlc_common_end(vlc, nb_bits, j, buf, flags, localbuf);
347 ✗ fail:
348 ✗ if (buf != localbuf)
349 ✗ av_free(buf);
350 ✗ return AVERROR_INVALIDDATA;
351 }
352
353 479 av_cold void ff_vlc_init_table_from_lengths(VLCElem table[], int table_size,
354 int nb_bits, int nb_codes,
355 const int8_t *lens, int lens_wrap,
356 const void *symbols, int symbols_wrap, int symbols_size,
357 int offset, int flags)
358 {
359 479 VLC vlc = { .table = table, .table_allocated = table_size };
360
361 479 ff_vlc_init_from_lengths(&vlc, nb_bits, nb_codes, lens, lens_wrap,
362 symbols, symbols_wrap, symbols_size,
363 offset, flags | VLC_INIT_USE_STATIC, NULL);
364 479 }
365
366 11747 av_cold const VLCElem *ff_vlc_init_tables_from_lengths(VLCInitState *state,
367 int nb_bits, int nb_codes,
368 const int8_t *lens, int lens_wrap,
369 const void *symbols, int symbols_wrap, int symbols_size,
370 int offset, int flags)
371 {
372 11747 VLC vlc = { .table = state->table, .table_allocated = state->size };
373
374 11747 ff_vlc_init_from_lengths(&vlc, nb_bits, nb_codes, lens, lens_wrap,
375 symbols, symbols_wrap, symbols_size,
376 offset, flags | VLC_INIT_STATIC_OVERLONG, NULL);
377
378 11747 state->table += vlc.table_size;
379 11747 state->size -= vlc.table_size;
380
381 11747 return vlc.table;
382 }
383
384 5341 av_cold void ff_vlc_init_table_sparse(VLCElem table[], int table_size,
385 int nb_bits, int nb_codes,
386 const void *bits, int bits_wrap, int bits_size,
387 const void *codes, int codes_wrap, int codes_size,
388 const void *symbols, int symbols_wrap, int symbols_size,
389 int flags)
390 {
391 5341 VLC vlc = { .table = table, .table_allocated = table_size };
392
393 5341 ff_vlc_init_sparse(&vlc, nb_bits, nb_codes,
394 bits, bits_wrap, bits_size,
395 codes, codes_wrap, codes_size,
396 symbols, symbols_wrap, symbols_size,
397 flags | VLC_INIT_USE_STATIC);
398 5341 }
399
400 19452 av_cold const VLCElem *ff_vlc_init_tables_sparse(VLCInitState *state,
401 int nb_bits, int nb_codes,
402 const void *bits, int bits_wrap, int bits_size,
403 const void *codes, int codes_wrap, int codes_size,
404 const void *symbols, int symbols_wrap, int symbols_size,
405 int flags)
406 {
407 19452 VLC vlc = { .table = state->table, .table_allocated = state->size };
408
409 19452 ff_vlc_init_sparse(&vlc, nb_bits, nb_codes,
410 bits, bits_wrap, bits_size,
411 codes, codes_wrap, codes_size,
412 symbols, symbols_wrap, symbols_size,
413 flags | VLC_INIT_STATIC_OVERLONG);
414
415 19452 state->table += vlc.table_size;
416 19452 state->size -= vlc.table_size;
417
418 19452 return vlc.table;
419 }
420
421 1448783 static void add_level(VLC_MULTI_ELEM *table, const int is16bit,
422 const int num, const int numbits,
423 const VLCcode *buf,
424 uint32_t curcode, int curlen,
425 int curlimit, int curlevel,
426 const int minlen, const int max,
427 unsigned* levelcnt, VLC_MULTI_ELEM info)
428 {
429 1448783 int max_symbols = VLC_MULTI_MAX_SYMBOLS >> is16bit;
430
2/2
✓ Branch 0 taken 2096191 times.
✓ Branch 1 taken 152 times.
 2096343 for (int i = num-1; i >= max; i--) {
431
2/2
✓ Branch 0 taken 3428275 times.
✓ Branch 1 taken 647560 times.
 4075835 for (int j = 0; j < 2; j++) {
432 int newlimit, sym;
433
2/2
✓ Branch 0 taken 1332084 times.
✓ Branch 1 taken 2096191 times.
 3428275 int t = j ? i-1 : i;
434 3428275 int l = buf[t].bits;
435 uint32_t code;
436
437 3428275 sym = buf[t].symbol;
438
2/2
✓ Branch 0 taken 1448631 times.
✓ Branch 1 taken 1979644 times.
 3428275 if (l >= curlimit)
439 1448631 return;
440 1979644 code = curcode + (buf[t].code >> curlen);
441 1979644 newlimit = curlimit - l;
442 1979644 l += curlen;
443
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 1979644 times.
 1979644 if (is16bit) info.val16[curlevel] = sym;
444 1979644 else info.val8[curlevel] = sym&0xFF;
445
446
2/2
✓ Branch 0 taken 1868796 times.
✓ Branch 1 taken 110848 times.
 1979644 if (curlevel) { // let's not add single entries
447 1868796 uint32_t val = code >> (32 - numbits);
448 1868796 uint32_t nb = val + (1U << (numbits - l));
449 1868796 info.len = l;
450 1868796 info.num = curlevel+1;
451
2/2
✓ Branch 0 taken 11461976 times.
✓ Branch 1 taken 1868796 times.
 13330772 for (; val < nb; val++)
452 11461976 AV_COPY64(table+val, &info);
453 1868796 levelcnt[curlevel-1]++;
454 }
455
456
4/4
✓ Branch 0 taken 1730719 times.
✓ Branch 1 taken 248925 times.
✓ Branch 2 taken 1448049 times.
✓ Branch 3 taken 282670 times.
 1979644 if (curlevel+1 < max_symbols && newlimit >= minlen) {
457 1448049 add_level(table, is16bit, num, numbits, buf,
458 code, l, newlimit, curlevel+1,
459 minlen, max, levelcnt, info);
460 }
461 }
462 }
463 }
464
465 734 static int vlc_multi_gen(VLC_MULTI_ELEM *table, const VLC *single,
466 const int is16bit, const int nb_codes, const int numbits,
467 VLCcode *buf, void *logctx)
468 {
469 int minbits, maxbits, max;
470 734 unsigned count[VLC_MULTI_MAX_SYMBOLS-1] = { 0, };
471 734 VLC_MULTI_ELEM info = { 0 };
472 734 int count0 = 0;
473
474
2/2
✓ Branch 0 taken 158535 times.
✓ Branch 1 taken 734 times.
 159269 for (int j = 0; j < 1<<numbits; j++) {
475
2/2
✓ Branch 0 taken 154038 times.
✓ Branch 1 taken 4497 times.
 158535 if (single->table[j].len > 0) {
476 154038 count0 ++;
477 154038 j += (1 << (numbits - single->table[j].len)) - 1;
478 }
479 }
480
481 734 minbits = 32;
482 734 maxbits = 0;
483
484
2/2
✓ Branch 0 taken 154038 times.
✓ Branch 1 taken 734 times.
 154772 for (int n = nb_codes - count0; n < nb_codes; n++) {
485 154038 minbits = FFMIN(minbits, buf[n].bits);
486 154038 maxbits = FFMAX(maxbits, buf[n].bits);
487 }
488
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 734 times.
 734 av_assert0(maxbits <= numbits);
489
490
2/2
✓ Branch 0 taken 57086 times.
✓ Branch 1 taken 26 times.
 57112 for (max = nb_codes; max > nb_codes - count0; max--) {
491 // We can only add a code that fits with the shortest other code into the table
492 // We assume the table is sorted by bits and we skip subtables which from our
493 // point of view are basically random corrupted entries
494 // If we have not a single usable vlc we end with max = nb_codes
495
2/2
✓ Branch 0 taken 708 times.
✓ Branch 1 taken 56378 times.
 57086 if (buf[max - 1].bits+minbits > numbits)
496 708 break;
497 }
498
499
2/2
✓ Branch 0 taken 2252800 times.
✓ Branch 1 taken 734 times.
 2253534 for (int j = 0; j < 1<<numbits; j++) {
500 2252800 table[j].len = single->table[j].len;
501 2252800 table[j].num = single->table[j].len > 0 ? 1 : 0;
502
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 2252800 times.
 2252800 if (is16bit)
503 ✗ table[j].val16[0] = single->table[j].sym;
504 else
505 2252800 table[j].val8[0] = single->table[j].sym;
506 }
507
508 734 add_level(table, is16bit, nb_codes, numbits, buf,
509 0, 0, FFMIN(maxbits, numbits), 0, minbits, max, count, info);
510
511 734 av_log(logctx, AV_LOG_DEBUG, "Joint: %d/%d/%d/%d/%d codes min=%ubits max=%u\n",
512 count[0], count[1], count[2], count[3], count[4], minbits, max);
513
514 734 return 0;
515 }
516
517 734 int ff_vlc_init_multi_from_lengths(VLC *vlc, VLC_MULTI *multi, int nb_bits, int nb_elems,
518 int nb_codes, const int8_t *lens, int lens_wrap,
519 const void *symbols, int symbols_wrap, int symbols_size,
520 int offset, int flags, void *logctx)
521 {
522 734 VLCcode localbuf[LOCALBUF_ELEMS], *buf = localbuf;
523 uint64_t code;
524 734 int ret, j, len_max = FFMIN(32, 3 * nb_bits);
525
526 734 ret = vlc_common_init(vlc, nb_bits, nb_codes, &buf, flags);
527
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 734 times.
 734 if (ret < 0)
528 ✗ return ret;
529
530 734 multi->table = av_mallocz(sizeof(*multi->table) << nb_bits);
531
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 734 times.
 734 if (!multi->table)
532 ✗ goto fail;
533
534 734 j = code = 0;
535
2/2
✓ Branch 0 taken 169393 times.
✓ Branch 1 taken 734 times.
 170127 for (int i = 0; i < nb_codes; i++, lens += lens_wrap) {
536 169393 int len = *lens;
537
1/2
✓ Branch 0 taken 169393 times.
✗ Branch 1 not taken.
 169393 if (len > 0) {
538 unsigned sym;
539
540 169393 buf[j].bits = len;
541
1/2
✓ Branch 0 taken 169393 times.
✗ Branch 1 not taken.
 169393 if (symbols)
542
1/4
✗ Branch 0 not taken.
✗ Branch 1 not taken.
✓ Branch 2 taken 169393 times.
✗ Branch 3 not taken.
 169393 GET_DATA(sym, symbols, i, symbols_wrap, symbols_size)
543 else
544 ✗ sym = i;
545 169393 buf[j].symbol = sym + offset;
546 169393 buf[j++].code = code;
547 ✗ } else if (len < 0) {
548 ✗ len = -len;
549 } else
550 ✗ continue;
551
2/4
✓ Branch 0 taken 169393 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 169393 times.
 169393 if (len > len_max || code & ((1U << (32 - len)) - 1)) {
552 ✗ av_log(logctx, AV_LOG_ERROR, "Invalid VLC (length %u)\n", len);
553 ✗ goto fail;
554 }
555 169393 code += 1U << (32 - len);
556
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 169393 times.
 169393 if (code > UINT32_MAX + 1ULL) {
557 ✗ av_log(logctx, AV_LOG_ERROR, "Overdetermined VLC tree\n");
558 ✗ goto fail;
559 }
560 }
561 734 ret = vlc_common_end(vlc, nb_bits, j, buf, flags, buf);
562
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 734 times.
 734 if (ret < 0)
563 ✗ goto fail;
564 734 ret = vlc_multi_gen(multi->table, vlc, nb_elems > 256, j, nb_bits, buf, logctx);
565
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 734 times.
 734 if (buf != localbuf)
566 ✗ av_free(buf);
567 734 return ret;
568 ✗ fail:
569 ✗ if (buf != localbuf)
570 ✗ av_free(buf);
571 ✗ ff_vlc_free_multi(multi);
572 ✗ return AVERROR_INVALIDDATA;
573 }
574
575 822 void ff_vlc_free_multi(VLC_MULTI *vlc)
576 {
577 822 av_freep(&vlc->table);
578 822 }
579
580 37944 void ff_vlc_free(VLC *vlc)
581 {
582 37944 av_freep(&vlc->table);
583 37944 }
584