bitstream.c 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362
  1. /*
  2. * Common bit i/o utils
  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. * alternative bitstream reader & writer by Michael Niedermayer <michaelni@gmx.at>
  8. *
  9. * This file is part of FFmpeg.
  10. *
  11. * FFmpeg is free software; you can redistribute it and/or
  12. * modify it under the terms of the GNU Lesser General Public
  13. * License as published by the Free Software Foundation; either
  14. * version 2.1 of the License, or (at your option) any later version.
  15. *
  16. * FFmpeg is distributed in the hope that it will be useful,
  17. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  18. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  19. * Lesser General Public License for more details.
  20. *
  21. * You should have received a copy of the GNU Lesser General Public
  22. * License along with FFmpeg; if not, write to the Free Software
  23. * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
  24. */
  25. /**
  26. * @file
  27. * bitstream api.
  28. */
  29. #include "libavutil/avassert.h"
  30. #include "libavutil/qsort.h"
  31. #include "avcodec.h"
  32. #include "internal.h"
  33. #include "mathops.h"
  34. #include "put_bits.h"
  35. #include "vlc.h"
  36. const uint8_t ff_log2_run[41]={
  37. 0, 0, 0, 0, 1, 1, 1, 1,
  38. 2, 2, 2, 2, 3, 3, 3, 3,
  39. 4, 4, 5, 5, 6, 6, 7, 7,
  40. 8, 9,10,11,12,13,14,15,
  41. 16,17,18,19,20,21,22,23,
  42. 24,
  43. };
  44. void avpriv_align_put_bits(PutBitContext *s)
  45. {
  46. put_bits(s, s->bit_left & 7, 0);
  47. }
  48. void avpriv_put_string(PutBitContext *pb, const char *string,
  49. int terminate_string)
  50. {
  51. while (*string) {
  52. put_bits(pb, 8, *string);
  53. string++;
  54. }
  55. if (terminate_string)
  56. put_bits(pb, 8, 0);
  57. }
  58. void avpriv_copy_bits(PutBitContext *pb, const uint8_t *src, int length)
  59. {
  60. int words = length >> 4;
  61. int bits = length & 15;
  62. int i;
  63. if (length == 0)
  64. return;
  65. av_assert0(length <= put_bits_left(pb));
  66. if (CONFIG_SMALL || words < 16 || put_bits_count(pb) & 7) {
  67. for (i = 0; i < words; i++)
  68. put_bits(pb, 16, AV_RB16(src + 2 * i));
  69. } else {
  70. for (i = 0; put_bits_count(pb) & 31; i++)
  71. put_bits(pb, 8, src[i]);
  72. flush_put_bits(pb);
  73. memcpy(put_bits_ptr(pb), src + i, 2 * words - i);
  74. skip_put_bytes(pb, 2 * words - i);
  75. }
  76. put_bits(pb, bits, AV_RB16(src + 2 * words) >> (16 - bits));
  77. }
  78. /* VLC decoding */
  79. #define GET_DATA(v, table, i, wrap, size) \
  80. { \
  81. const uint8_t *ptr = (const uint8_t *)table + i * wrap; \
  82. switch(size) { \
  83. case 1: \
  84. v = *(const uint8_t *)ptr; \
  85. break; \
  86. case 2: \
  87. v = *(const uint16_t *)ptr; \
  88. break; \
  89. case 4: \
  90. v = *(const uint32_t *)ptr; \
  91. break; \
  92. default: \
  93. av_assert1(0); \
  94. } \
  95. }
  96. static int alloc_table(VLC *vlc, int size, int use_static)
  97. {
  98. int index = vlc->table_size;
  99. vlc->table_size += size;
  100. if (vlc->table_size > vlc->table_allocated) {
  101. if (use_static)
  102. abort(); // cannot do anything, init_vlc() is used with too little memory
  103. vlc->table_allocated += (1 << vlc->bits);
  104. vlc->table = av_realloc_f(vlc->table, vlc->table_allocated, sizeof(VLC_TYPE) * 2);
  105. if (!vlc->table) {
  106. vlc->table_allocated = 0;
  107. vlc->table_size = 0;
  108. return AVERROR(ENOMEM);
  109. }
  110. memset(vlc->table + vlc->table_allocated - (1 << vlc->bits), 0, sizeof(VLC_TYPE) * 2 << vlc->bits);
  111. }
  112. return index;
  113. }
  114. typedef struct VLCcode {
  115. uint8_t bits;
  116. uint16_t symbol;
  117. /** codeword, with the first bit-to-be-read in the msb
  118. * (even if intended for a little-endian bitstream reader) */
  119. uint32_t code;
  120. } VLCcode;
  121. static int compare_vlcspec(const void *a, const void *b)
  122. {
  123. const VLCcode *sa = a, *sb = b;
  124. return (sa->code >> 1) - (sb->code >> 1);
  125. }
  126. /**
  127. * Build VLC decoding tables suitable for use with get_vlc().
  128. *
  129. * @param vlc the context to be initialized
  130. *
  131. * @param table_nb_bits max length of vlc codes to store directly in this table
  132. * (Longer codes are delegated to subtables.)
  133. *
  134. * @param nb_codes number of elements in codes[]
  135. *
  136. * @param codes descriptions of the vlc codes
  137. * These must be ordered such that codes going into the same subtable are contiguous.
  138. * Sorting by VLCcode.code is sufficient, though not necessary.
  139. */
  140. static int build_table(VLC *vlc, int table_nb_bits, int nb_codes,
  141. VLCcode *codes, int flags)
  142. {
  143. int table_size, table_index, index, code_prefix, symbol, subtable_bits;
  144. int i, j, k, n, nb, inc;
  145. uint32_t code;
  146. volatile VLC_TYPE (* volatile table)[2]; // the double volatile is needed to prevent an internal compiler error in gcc 4.2
  147. if (table_nb_bits > 30)
  148. return -1;
  149. table_size = 1 << table_nb_bits;
  150. table_index = alloc_table(vlc, table_size, flags & INIT_VLC_USE_NEW_STATIC);
  151. ff_dlog(NULL, "new table index=%d size=%d\n", table_index, table_size);
  152. if (table_index < 0)
  153. return table_index;
  154. table = (volatile VLC_TYPE (*)[2])&vlc->table[table_index];
  155. /* first pass: map codes and compute auxiliary table sizes */
  156. for (i = 0; i < nb_codes; i++) {
  157. n = codes[i].bits;
  158. code = codes[i].code;
  159. symbol = codes[i].symbol;
  160. ff_dlog(NULL, "i=%d n=%d code=0x%"PRIx32"\n", i, n, code);
  161. if (n <= table_nb_bits) {
  162. /* no need to add another table */
  163. j = code >> (32 - table_nb_bits);
  164. nb = 1 << (table_nb_bits - n);
  165. inc = 1;
  166. if (flags & INIT_VLC_LE) {
  167. j = bitswap_32(code);
  168. inc = 1 << n;
  169. }
  170. for (k = 0; k < nb; k++) {
  171. int bits = table[j][1];
  172. int oldsym = table[j][0];
  173. ff_dlog(NULL, "%4x: code=%d n=%d\n", j, i, n);
  174. if ((bits || oldsym) && (bits != n || oldsym != symbol)) {
  175. av_log(NULL, AV_LOG_ERROR, "incorrect codes\n");
  176. return AVERROR_INVALIDDATA;
  177. }
  178. table[j][1] = n; //bits
  179. table[j][0] = symbol;
  180. j += inc;
  181. }
  182. } else {
  183. /* fill auxiliary table recursively */
  184. n -= table_nb_bits;
  185. code_prefix = code >> (32 - table_nb_bits);
  186. subtable_bits = n;
  187. codes[i].bits = n;
  188. codes[i].code = code << table_nb_bits;
  189. for (k = i+1; k < nb_codes; k++) {
  190. n = codes[k].bits - table_nb_bits;
  191. if (n <= 0)
  192. break;
  193. code = codes[k].code;
  194. if (code >> (32 - table_nb_bits) != code_prefix)
  195. break;
  196. codes[k].bits = n;
  197. codes[k].code = code << table_nb_bits;
  198. subtable_bits = FFMAX(subtable_bits, n);
  199. }
  200. subtable_bits = FFMIN(subtable_bits, table_nb_bits);
  201. j = (flags & INIT_VLC_LE) ? bitswap_32(code_prefix) >> (32 - table_nb_bits) : code_prefix;
  202. table[j][1] = -subtable_bits;
  203. ff_dlog(NULL, "%4x: n=%d (subtable)\n",
  204. j, codes[i].bits + table_nb_bits);
  205. index = build_table(vlc, subtable_bits, k-i, codes+i, flags);
  206. if (index < 0)
  207. return index;
  208. /* note: realloc has been done, so reload tables */
  209. table = (volatile VLC_TYPE (*)[2])&vlc->table[table_index];
  210. table[j][0] = index; //code
  211. if (table[j][0] != index) {
  212. avpriv_request_sample(NULL, "strange codes");
  213. return AVERROR_PATCHWELCOME;
  214. }
  215. i = k-1;
  216. }
  217. }
  218. for (i = 0; i < table_size; i++) {
  219. if (table[i][1] == 0) //bits
  220. table[i][0] = -1; //codes
  221. }
  222. return table_index;
  223. }
  224. /* Build VLC decoding tables suitable for use with get_vlc().
  225. 'nb_bits' sets the decoding table size (2^nb_bits) entries. The
  226. bigger it is, the faster is the decoding. But it should not be too
  227. big to save memory and L1 cache. '9' is a good compromise.
  228. 'nb_codes' : number of vlcs codes
  229. 'bits' : table which gives the size (in bits) of each vlc code.
  230. 'codes' : table which gives the bit pattern of of each vlc code.
  231. 'symbols' : table which gives the values to be returned from get_vlc().
  232. 'xxx_wrap' : give the number of bytes between each entry of the
  233. 'bits' or 'codes' tables.
  234. 'xxx_size' : gives the number of bytes of each entry of the 'bits'
  235. or 'codes' tables. Currently 1,2 and 4 are supported.
  236. 'wrap' and 'size' make it possible to use any memory configuration and types
  237. (byte/word/long) to store the 'bits', 'codes', and 'symbols' tables.
  238. 'use_static' should be set to 1 for tables, which should be freed
  239. with av_free_static(), 0 if ff_free_vlc() will be used.
  240. */
  241. int ff_init_vlc_sparse(VLC *vlc_arg, int nb_bits, int nb_codes,
  242. const void *bits, int bits_wrap, int bits_size,
  243. const void *codes, int codes_wrap, int codes_size,
  244. const void *symbols, int symbols_wrap, int symbols_size,
  245. int flags)
  246. {
  247. VLCcode *buf;
  248. int i, j, ret;
  249. VLCcode localbuf[1500]; // the maximum currently needed is 1296 by rv34
  250. VLC localvlc, *vlc;
  251. vlc = vlc_arg;
  252. vlc->bits = nb_bits;
  253. if (flags & INIT_VLC_USE_NEW_STATIC) {
  254. av_assert0(nb_codes + 1 <= FF_ARRAY_ELEMS(localbuf));
  255. buf = localbuf;
  256. localvlc = *vlc_arg;
  257. vlc = &localvlc;
  258. vlc->table_size = 0;
  259. } else {
  260. vlc->table = NULL;
  261. vlc->table_allocated = 0;
  262. vlc->table_size = 0;
  263. buf = av_malloc_array((nb_codes + 1), sizeof(VLCcode));
  264. if (!buf)
  265. return AVERROR(ENOMEM);
  266. }
  267. av_assert0(symbols_size <= 2 || !symbols);
  268. j = 0;
  269. #define COPY(condition)\
  270. for (i = 0; i < nb_codes; i++) { \
  271. GET_DATA(buf[j].bits, bits, i, bits_wrap, bits_size); \
  272. if (!(condition)) \
  273. continue; \
  274. if (buf[j].bits > 3*nb_bits || buf[j].bits>32) { \
  275. av_log(NULL, AV_LOG_ERROR, "Too long VLC (%d) in init_vlc\n", buf[j].bits);\
  276. if (!(flags & INIT_VLC_USE_NEW_STATIC)) \
  277. av_free(buf); \
  278. return -1; \
  279. } \
  280. GET_DATA(buf[j].code, codes, i, codes_wrap, codes_size); \
  281. if (buf[j].code >= (1LL<<buf[j].bits)) { \
  282. av_log(NULL, AV_LOG_ERROR, "Invalid code %"PRIx32" for %d in " \
  283. "init_vlc\n", buf[j].code, i); \
  284. if (!(flags & INIT_VLC_USE_NEW_STATIC)) \
  285. av_free(buf); \
  286. return -1; \
  287. } \
  288. if (flags & INIT_VLC_LE) \
  289. buf[j].code = bitswap_32(buf[j].code); \
  290. else \
  291. buf[j].code <<= 32 - buf[j].bits; \
  292. if (symbols) \
  293. GET_DATA(buf[j].symbol, symbols, i, symbols_wrap, symbols_size) \
  294. else \
  295. buf[j].symbol = i; \
  296. j++; \
  297. }
  298. COPY(buf[j].bits > nb_bits);
  299. // qsort is the slowest part of init_vlc, and could probably be improved or avoided
  300. AV_QSORT(buf, j, struct VLCcode, compare_vlcspec);
  301. COPY(buf[j].bits && buf[j].bits <= nb_bits);
  302. nb_codes = j;
  303. ret = build_table(vlc, nb_bits, nb_codes, buf, flags);
  304. if (flags & INIT_VLC_USE_NEW_STATIC) {
  305. if(vlc->table_size != vlc->table_allocated)
  306. av_log(NULL, AV_LOG_ERROR, "needed %d had %d\n", vlc->table_size, vlc->table_allocated);
  307. av_assert0(ret >= 0);
  308. *vlc_arg = *vlc;
  309. } else {
  310. av_free(buf);
  311. if (ret < 0) {
  312. av_freep(&vlc->table);
  313. return ret;
  314. }
  315. }
  316. return 0;
  317. }
  318. void ff_free_vlc(VLC *vlc)
  319. {
  320. av_freep(&vlc->table);
  321. }