mirror of https://github.com/FFmpeg/FFmpeg.git
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.
593 lines
15 KiB
593 lines
15 KiB
/* |
|
* Copyright (c) 2016 Alexandra Hájková |
|
* |
|
* This file is part of FFmpeg. |
|
* |
|
* FFmpeg is free software; you can redistribute it and/or |
|
* modify it under the terms of the GNU Lesser General Public |
|
* License as published by the Free Software Foundation; either |
|
* version 2.1 of the License, or (at your option) any later version. |
|
* |
|
* FFmpeg is distributed in the hope that it will be useful, |
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
|
* Lesser General Public License for more details. |
|
* |
|
* You should have received a copy of the GNU Lesser General Public |
|
* License along with FFmpeg; if not, write to the Free Software |
|
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA |
|
*/ |
|
|
|
#ifdef BITSTREAM_TEMPLATE_LE |
|
# define BS_SUFFIX_LOWER _le |
|
# define BS_SUFFIX_UPPER LE |
|
#else |
|
# define BS_SUFFIX_LOWER _be |
|
# define BS_SUFFIX_UPPER BE |
|
#endif |
|
|
|
#define BS_JOIN(x, y, z) x ## y ## z |
|
#define BS_JOIN3(x, y, z) BS_JOIN(x, y, z) |
|
#define BS_FUNC(x) BS_JOIN3(bits_, x, BS_SUFFIX_LOWER) |
|
|
|
#define BSCTX BS_JOIN3(Bitstream, Context, BS_SUFFIX_UPPER) |
|
|
|
typedef struct BSCTX { |
|
uint64_t bits; // stores bits read from the buffer |
|
const uint8_t *buffer, *buffer_end; |
|
const uint8_t *ptr; // pointer to the position inside a buffer |
|
unsigned bits_valid; // number of bits left in bits field |
|
unsigned size_in_bits; |
|
} BSCTX; |
|
|
|
/** |
|
* @return |
|
* - 0 on successful refill |
|
* - a negative number when bitstream end is hit |
|
* |
|
* Always succeeds when UNCHECKED_BITSTREAM_READER is enabled. |
|
*/ |
|
static inline int BS_FUNC(priv_refill_64)(BSCTX *bc) |
|
{ |
|
#if !UNCHECKED_BITSTREAM_READER |
|
if (bc->ptr >= bc->buffer_end) |
|
return -1; |
|
#endif |
|
|
|
#ifdef BITSTREAM_TEMPLATE_LE |
|
bc->bits = AV_RL64(bc->ptr); |
|
#else |
|
bc->bits = AV_RB64(bc->ptr); |
|
#endif |
|
bc->ptr += 8; |
|
bc->bits_valid = 64; |
|
|
|
return 0; |
|
} |
|
|
|
/** |
|
* @return |
|
* - 0 on successful refill |
|
* - a negative number when bitstream end is hit |
|
* |
|
* Always succeeds when UNCHECKED_BITSTREAM_READER is enabled. |
|
*/ |
|
static inline int BS_FUNC(priv_refill_32)(BSCTX *bc) |
|
{ |
|
#if !UNCHECKED_BITSTREAM_READER |
|
if (bc->ptr >= bc->buffer_end) |
|
return -1; |
|
#endif |
|
|
|
#ifdef BITSTREAM_TEMPLATE_LE |
|
bc->bits |= (uint64_t)AV_RL32(bc->ptr) << bc->bits_valid; |
|
#else |
|
bc->bits |= (uint64_t)AV_RB32(bc->ptr) << (32 - bc->bits_valid); |
|
#endif |
|
bc->ptr += 4; |
|
bc->bits_valid += 32; |
|
|
|
return 0; |
|
} |
|
|
|
/** |
|
* Initialize BitstreamContext. |
|
* @param buffer bitstream buffer, must be AV_INPUT_BUFFER_PADDING_SIZE bytes |
|
* larger than the actual read bits because some optimized bitstream |
|
* readers read 32 or 64 bits at once and could read over the end |
|
* @param bit_size the size of the buffer in bits |
|
* @return 0 on success, AVERROR_INVALIDDATA if the buffer_size would overflow. |
|
*/ |
|
static inline int BS_FUNC(init)(BSCTX *bc, const uint8_t *buffer, |
|
unsigned int bit_size) |
|
{ |
|
unsigned int buffer_size; |
|
|
|
if (bit_size > INT_MAX - 7 || !buffer) { |
|
bc->buffer = NULL; |
|
bc->ptr = NULL; |
|
bc->bits_valid = 0; |
|
return AVERROR_INVALIDDATA; |
|
} |
|
|
|
buffer_size = (bit_size + 7) >> 3; |
|
|
|
bc->buffer = buffer; |
|
bc->buffer_end = buffer + buffer_size; |
|
bc->ptr = bc->buffer; |
|
bc->size_in_bits = bit_size; |
|
bc->bits_valid = 0; |
|
bc->bits = 0; |
|
|
|
BS_FUNC(priv_refill_64)(bc); |
|
|
|
return 0; |
|
} |
|
|
|
/** |
|
* Initialize BitstreamContext. |
|
* @param buffer bitstream buffer, must be AV_INPUT_BUFFER_PADDING_SIZE bytes |
|
* larger than the actual read bits because some optimized bitstream |
|
* readers read 32 or 64 bits at once and could read over the end |
|
* @param byte_size the size of the buffer in bytes |
|
* @return 0 on success, AVERROR_INVALIDDATA if the buffer_size would overflow |
|
*/ |
|
static inline int BS_FUNC(init8)(BSCTX *bc, const uint8_t *buffer, |
|
unsigned int byte_size) |
|
{ |
|
if (byte_size > INT_MAX / 8) |
|
return AVERROR_INVALIDDATA; |
|
return BS_FUNC(init)(bc, buffer, byte_size * 8); |
|
} |
|
|
|
/** |
|
* Return number of bits already read. |
|
*/ |
|
static inline int BS_FUNC(tell)(const BSCTX *bc) |
|
{ |
|
return (bc->ptr - bc->buffer) * 8 - bc->bits_valid; |
|
} |
|
|
|
/** |
|
* Return buffer size in bits. |
|
*/ |
|
static inline int BS_FUNC(size)(const BSCTX *bc) |
|
{ |
|
return bc->size_in_bits; |
|
} |
|
|
|
/** |
|
* Return the number of the bits left in a buffer. |
|
*/ |
|
static inline int BS_FUNC(left)(const BSCTX *bc) |
|
{ |
|
return (bc->buffer - bc->ptr) * 8 + bc->size_in_bits + bc->bits_valid; |
|
} |
|
|
|
static inline uint64_t BS_FUNC(priv_val_show)(BSCTX *bc, unsigned int n) |
|
{ |
|
av_assert2(n > 0 && n <= 64); |
|
|
|
#ifdef BITSTREAM_TEMPLATE_LE |
|
return bc->bits & (UINT64_MAX >> (64 - n)); |
|
#else |
|
return bc->bits >> (64 - n); |
|
#endif |
|
} |
|
|
|
static inline void BS_FUNC(priv_skip_remaining)(BSCTX *bc, unsigned int n) |
|
{ |
|
#ifdef BITSTREAM_TEMPLATE_LE |
|
bc->bits >>= n; |
|
#else |
|
bc->bits <<= n; |
|
#endif |
|
bc->bits_valid -= n; |
|
} |
|
|
|
static inline uint64_t BS_FUNC(priv_val_get)(BSCTX *bc, unsigned int n) |
|
{ |
|
uint64_t ret; |
|
|
|
av_assert2(n > 0 && n < 64); |
|
|
|
ret = BS_FUNC(priv_val_show)(bc, n); |
|
BS_FUNC(priv_skip_remaining)(bc, n); |
|
|
|
return ret; |
|
} |
|
|
|
/** |
|
* Return one bit from the buffer. |
|
*/ |
|
static inline unsigned int BS_FUNC(read_bit)(BSCTX *bc) |
|
{ |
|
if (!bc->bits_valid && BS_FUNC(priv_refill_64)(bc) < 0) |
|
return 0; |
|
|
|
return BS_FUNC(priv_val_get)(bc, 1); |
|
} |
|
|
|
/** |
|
* Return n bits from the buffer, n has to be in the 1-32 range. |
|
* May be faster than bits_read() when n is not a compile-time constant and is |
|
* known to be non-zero; |
|
*/ |
|
static inline uint32_t BS_FUNC(read_nz)(BSCTX *bc, unsigned int n) |
|
{ |
|
av_assert2(n > 0 && n <= 32); |
|
|
|
if (n > bc->bits_valid) { |
|
if (BS_FUNC(priv_refill_32)(bc) < 0) |
|
bc->bits_valid = n; |
|
} |
|
|
|
return BS_FUNC(priv_val_get)(bc, n); |
|
} |
|
|
|
/** |
|
* Return n bits from the buffer, n has to be in the 0-32 range. |
|
*/ |
|
static inline uint32_t BS_FUNC(read)(BSCTX *bc, unsigned int n) |
|
{ |
|
av_assert2(n <= 32); |
|
|
|
if (!n) |
|
return 0; |
|
|
|
return BS_FUNC(read_nz)(bc, n); |
|
} |
|
|
|
/** |
|
* Return n bits from the buffer, n has to be in the 0-63 range. |
|
*/ |
|
static inline uint64_t BS_FUNC(read_63)(BSCTX *bc, unsigned int n) |
|
{ |
|
uint64_t ret = 0; |
|
unsigned left = 0; |
|
|
|
av_assert2(n <= 63); |
|
|
|
if (!n) |
|
return 0; |
|
|
|
if (n > bc->bits_valid) { |
|
left = bc->bits_valid; |
|
n -= left; |
|
|
|
if (left) |
|
ret = BS_FUNC(priv_val_get)(bc, left); |
|
|
|
if (BS_FUNC(priv_refill_64)(bc) < 0) |
|
bc->bits_valid = n; |
|
|
|
} |
|
|
|
#ifdef BITSTREAM_TEMPLATE_LE |
|
ret = BS_FUNC(priv_val_get)(bc, n) << left | ret; |
|
#else |
|
ret = BS_FUNC(priv_val_get)(bc, n) | ret << n; |
|
#endif |
|
|
|
return ret; |
|
} |
|
|
|
/** |
|
* Return n bits from the buffer, n has to be in the 0-64 range. |
|
*/ |
|
static inline uint64_t BS_FUNC(read_64)(BSCTX *bc, unsigned int n) |
|
{ |
|
av_assert2(n <= 64); |
|
|
|
if (n == 64) { |
|
uint64_t ret = BS_FUNC(read_63)(bc, 63); |
|
#ifdef BITSTREAM_TEMPLATE_LE |
|
return ret | ((uint64_t)BS_FUNC(read_bit)(bc) << 63); |
|
#else |
|
return (ret << 1) | (uint64_t)BS_FUNC(read_bit)(bc); |
|
#endif |
|
} |
|
return BS_FUNC(read_63)(bc, n); |
|
} |
|
|
|
/** |
|
* Return n bits from the buffer as a signed integer, n has to be in the 1-32 |
|
* range. May be faster than bits_read_signed() when n is not a compile-time |
|
* constant and is known to be non-zero; |
|
*/ |
|
static inline int32_t BS_FUNC(read_signed_nz)(BSCTX *bc, unsigned int n) |
|
{ |
|
av_assert2(n > 0 && n <= 32); |
|
return sign_extend(BS_FUNC(read_nz)(bc, n), n); |
|
} |
|
|
|
/** |
|
* Return n bits from the buffer as a signed integer. |
|
* n has to be in the 0-32 range. |
|
*/ |
|
static inline int32_t BS_FUNC(read_signed)(BSCTX *bc, unsigned int n) |
|
{ |
|
av_assert2(n <= 32); |
|
|
|
if (!n) |
|
return 0; |
|
|
|
return BS_FUNC(read_signed_nz)(bc, n); |
|
} |
|
|
|
/** |
|
* Return n bits from the buffer but do not change the buffer state. |
|
* n has to be in the 1-32 range. May |
|
*/ |
|
static inline uint32_t BS_FUNC(peek_nz)(BSCTX *bc, unsigned int n) |
|
{ |
|
av_assert2(n > 0 && n <= 32); |
|
|
|
if (n > bc->bits_valid) |
|
BS_FUNC(priv_refill_32)(bc); |
|
|
|
return BS_FUNC(priv_val_show)(bc, n); |
|
} |
|
|
|
/** |
|
* Return n bits from the buffer but do not change the buffer state. |
|
* n has to be in the 0-32 range. |
|
*/ |
|
static inline uint32_t BS_FUNC(peek)(BSCTX *bc, unsigned int n) |
|
{ |
|
av_assert2(n <= 32); |
|
|
|
if (!n) |
|
return 0; |
|
|
|
return BS_FUNC(peek_nz)(bc, n); |
|
} |
|
|
|
/** |
|
* Return n bits from the buffer as a signed integer, do not change the buffer |
|
* state. n has to be in the 1-32 range. May be faster than bits_peek_signed() |
|
* when n is not a compile-time constant and is known to be non-zero; |
|
*/ |
|
static inline int BS_FUNC(peek_signed_nz)(BSCTX *bc, unsigned int n) |
|
{ |
|
av_assert2(n > 0 && n <= 32); |
|
return sign_extend(BS_FUNC(peek_nz)(bc, n), n); |
|
} |
|
|
|
/** |
|
* Return n bits from the buffer as a signed integer, |
|
* do not change the buffer state. |
|
* n has to be in the 0-32 range. |
|
*/ |
|
static inline int BS_FUNC(peek_signed)(BSCTX *bc, unsigned int n) |
|
{ |
|
av_assert2(n <= 32); |
|
|
|
if (!n) |
|
return 0; |
|
|
|
return BS_FUNC(peek_signed_nz)(bc, n); |
|
} |
|
|
|
/** |
|
* Skip n bits in the buffer. |
|
*/ |
|
static inline void BS_FUNC(skip)(BSCTX *bc, unsigned int n) |
|
{ |
|
if (n < bc->bits_valid) |
|
BS_FUNC(priv_skip_remaining)(bc, n); |
|
else { |
|
n -= bc->bits_valid; |
|
bc->bits = 0; |
|
bc->bits_valid = 0; |
|
|
|
if (n >= 64) { |
|
unsigned int skip = n / 8; |
|
|
|
n -= skip * 8; |
|
bc->ptr += skip; |
|
} |
|
BS_FUNC(priv_refill_64)(bc); |
|
if (n) |
|
BS_FUNC(priv_skip_remaining)(bc, n); |
|
} |
|
} |
|
|
|
/** |
|
* Seek to the given bit position. |
|
*/ |
|
static inline void BS_FUNC(seek)(BSCTX *bc, unsigned pos) |
|
{ |
|
bc->ptr = bc->buffer; |
|
bc->bits = 0; |
|
bc->bits_valid = 0; |
|
|
|
BS_FUNC(skip)(bc, pos); |
|
} |
|
|
|
/** |
|
* Skip bits to a byte boundary. |
|
*/ |
|
static inline const uint8_t *BS_FUNC(align)(BSCTX *bc) |
|
{ |
|
unsigned int n = -BS_FUNC(tell)(bc) & 7; |
|
if (n) |
|
BS_FUNC(skip)(bc, n); |
|
return bc->buffer + (BS_FUNC(tell)(bc) >> 3); |
|
} |
|
|
|
/** |
|
* Read MPEG-1 dc-style VLC (sign bit + mantissa with no MSB). |
|
* If MSB not set it is negative. |
|
* @param n length in bits |
|
*/ |
|
static inline int BS_FUNC(read_xbits)(BSCTX *bc, unsigned int n) |
|
{ |
|
int32_t cache = BS_FUNC(peek)(bc, 32); |
|
int sign = ~cache >> 31; |
|
BS_FUNC(priv_skip_remaining)(bc, n); |
|
|
|
return ((((uint32_t)(sign ^ cache)) >> (32 - n)) ^ sign) - sign; |
|
} |
|
|
|
/** |
|
* Return decoded truncated unary code for the values 0, 1, 2. |
|
*/ |
|
static inline int BS_FUNC(decode012)(BSCTX *bc) |
|
{ |
|
if (!BS_FUNC(read_bit)(bc)) |
|
return 0; |
|
else |
|
return BS_FUNC(read_bit)(bc) + 1; |
|
} |
|
|
|
/** |
|
* Return decoded truncated unary code for the values 2, 1, 0. |
|
*/ |
|
static inline int BS_FUNC(decode210)(BSCTX *bc) |
|
{ |
|
if (BS_FUNC(read_bit)(bc)) |
|
return 0; |
|
else |
|
return 2 - BS_FUNC(read_bit)(bc); |
|
} |
|
|
|
/* Read sign bit and flip the sign of the provided value accordingly. */ |
|
static inline int BS_FUNC(apply_sign)(BSCTX *bc, int val) |
|
{ |
|
int sign = BS_FUNC(read_signed)(bc, 1); |
|
return (val ^ sign) - sign; |
|
} |
|
|
|
static inline int BS_FUNC(skip_1stop_8data)(BSCTX *s) |
|
{ |
|
if (BS_FUNC(left)(s) <= 0) |
|
return AVERROR_INVALIDDATA; |
|
|
|
while (BS_FUNC(read_bit)(s)) { |
|
BS_FUNC(skip)(s, 8); |
|
if (BS_FUNC(left)(s) <= 0) |
|
return AVERROR_INVALIDDATA; |
|
} |
|
|
|
return 0; |
|
} |
|
|
|
/** |
|
* Return the LUT element for the given bitstream configuration. |
|
*/ |
|
static inline int BS_FUNC(priv_set_idx)(BSCTX *bc, int code, int *n, |
|
int *nb_bits, const VLCElem *table) |
|
{ |
|
unsigned idx; |
|
|
|
*nb_bits = -*n; |
|
idx = BS_FUNC(peek)(bc, *nb_bits) + code; |
|
*n = table[idx].len; |
|
|
|
return table[idx].sym; |
|
} |
|
|
|
/** |
|
* Parse a vlc code. |
|
* @param bits is the number of bits which will be read at once, must be |
|
* identical to nb_bits in vlc_init() |
|
* @param max_depth is the number of times bits bits must be read to completely |
|
* read the longest vlc code |
|
* = (max_vlc_length + bits - 1) / bits |
|
* If the vlc code is invalid and max_depth=1, then no bits will be removed. |
|
* If the vlc code is invalid and max_depth>1, then the number of bits removed |
|
* is undefined. |
|
*/ |
|
static inline int BS_FUNC(read_vlc)(BSCTX *bc, const VLCElem *table, |
|
int bits, int max_depth) |
|
{ |
|
int nb_bits; |
|
unsigned idx = BS_FUNC(peek)(bc, bits); |
|
int code = table[idx].sym; |
|
int n = table[idx].len; |
|
|
|
if (max_depth > 1 && n < 0) { |
|
BS_FUNC(priv_skip_remaining)(bc, bits); |
|
code = BS_FUNC(priv_set_idx)(bc, code, &n, &nb_bits, table); |
|
if (max_depth > 2 && n < 0) { |
|
BS_FUNC(priv_skip_remaining)(bc, nb_bits); |
|
code = BS_FUNC(priv_set_idx)(bc, code, &n, &nb_bits, table); |
|
} |
|
} |
|
BS_FUNC(priv_skip_remaining)(bc, n); |
|
|
|
return code; |
|
} |
|
|
|
/** |
|
* Parse a vlc / vlc_multi code. |
|
* @param bits is the number of bits which will be read at once, must be |
|
* identical to nb_bits in vlc_init() |
|
* @param max_depth is the number of times bits bits must be read to completely |
|
* read the longest vlc code |
|
* = (max_vlc_length + bits - 1) / bits |
|
* @param dst the parsed symbol(s) will be stored here. Up to 8 bytes are written |
|
* @returns number of symbols parsed |
|
* If the vlc code is invalid and max_depth=1, then no bits will be removed. |
|
* If the vlc code is invalid and max_depth>1, then the number of bits removed |
|
* is undefined. |
|
*/ |
|
static inline int BS_FUNC(read_vlc_multi)(BSCTX *bc, uint8_t dst[8], |
|
const VLC_MULTI_ELEM *const Jtable, |
|
const VLCElem *const table, |
|
const int bits, const int max_depth) |
|
{ |
|
unsigned idx = BS_FUNC(peek)(bc, bits); |
|
int ret, nb_bits, code, n = Jtable[idx].len; |
|
if (Jtable[idx].num) { |
|
AV_COPY64U(dst, Jtable[idx].val); |
|
ret = Jtable[idx].num; |
|
} else { |
|
code = table[idx].sym; |
|
n = table[idx].len; |
|
if (max_depth > 1 && n < 0) { |
|
BS_FUNC(priv_skip_remaining)(bc, bits); |
|
code = BS_FUNC(priv_set_idx)(bc, code, &n, &nb_bits, table); |
|
if (max_depth > 2 && n < 0) { |
|
BS_FUNC(priv_skip_remaining)(bc, nb_bits); |
|
code = BS_FUNC(priv_set_idx)(bc, code, &n, &nb_bits, table); |
|
} |
|
} |
|
AV_WN16(dst, code); |
|
ret = n > 0; |
|
} |
|
BS_FUNC(priv_skip_remaining)(bc, n); |
|
|
|
return ret; |
|
} |
|
|
|
/** |
|
* Read a unsigned integer coded as a variable number of up to eight |
|
* little-endian bytes, where the MSB in a byte signals another byte |
|
* must be read. |
|
* Values > UINT_MAX are truncated, but all coded bits are read. |
|
*/ |
|
static inline unsigned BS_FUNC(read_leb)(BSCTX *bc) { |
|
int more, i = 0; |
|
unsigned leb = 0; |
|
|
|
do { |
|
int byte = BS_FUNC(read)(bc, 8); |
|
unsigned bits = byte & 0x7f; |
|
more = byte & 0x80; |
|
if (i <= 4) |
|
leb |= bits << (i * 7); |
|
if (++i == 8) |
|
break; |
|
} while (more); |
|
|
|
return leb; |
|
} |
|
|
|
#undef BSCTX |
|
#undef BS_FUNC |
|
#undef BS_JOIN3 |
|
#undef BS_JOIN |
|
#undef BS_SUFFIX_UPPER |
|
#undef BS_SUFFIX_LOWER
|
|
|