You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

360 lines
13KB

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