zstd/lib/common/bitstream.h

438 lines
17 KiB
C
Raw Normal View History

2015-10-18 14:18:32 -07:00
/* ******************************************************************
* bitstream
* Part of FSE library
* Copyright (c) Yann Collet, Facebook, Inc.
*
* You can contact the author at :
* - Source repository : https://github.com/Cyan4973/FiniteStateEntropy
*
* This source code is licensed under both the BSD-style license (found in the
* LICENSE file in the root directory of this source tree) and the GPLv2 (found
* in the COPYING file in the root directory of this source tree).
* You may select, at your option, one of the above-listed licenses.
2015-10-18 14:18:32 -07:00
****************************************************************** */
#ifndef BITSTREAM_H_MODULE
#define BITSTREAM_H_MODULE
#if defined (__cplusplus)
extern "C" {
#endif
/*
2016-03-19 06:14:31 -07:00
* This API consists of small unitary functions, which must be inlined for best performance.
2015-10-18 14:18:32 -07:00
* Since link-time-optimization is not available for all compilers,
* these functions are defined into a .h to be included.
*/
2016-02-02 17:46:46 -08:00
/*-****************************************
* Dependencies
2015-10-18 14:18:32 -07:00
******************************************/
#include "mem.h" /* unaligned access routines */
#include "compiler.h" /* UNLIKELY() */
#include "debug.h" /* assert(), DEBUGLOG(), RAWLOG() */
#include "error_private.h" /* error codes and messages */
2022-01-21 10:29:14 -08:00
#include "bits.h" /* ZSTD_highbit32 */
2015-10-18 14:18:32 -07:00
2016-03-26 09:50:26 -07:00
/*=========================================
* Target specific
=========================================*/
#ifndef ZSTD_NO_INTRINSICS
# if (defined(__BMI__) || defined(__BMI2__)) && defined(__GNUC__)
# include <immintrin.h> /* support for bextr (experimental)/bzhi */
# elif defined(__ICCARM__)
# include <intrinsics.h>
# endif
2016-03-26 09:50:26 -07:00
#endif
2017-03-01 14:36:25 -08:00
#define STREAM_ACCUMULATOR_MIN_32 25
#define STREAM_ACCUMULATOR_MIN_64 57
#define STREAM_ACCUMULATOR_MIN ((U32)(MEM_32bits() ? STREAM_ACCUMULATOR_MIN_32 : STREAM_ACCUMULATOR_MIN_64))
2016-03-26 09:50:26 -07:00
2016-02-02 17:46:46 -08:00
/*-******************************************
* bitStream encoding API (write forward)
2015-10-18 14:18:32 -07:00
********************************************/
2016-03-19 04:12:07 -07:00
/* bitStream can mix input from multiple sources.
* A critical property of these streams is that they encode and decode in **reverse** direction.
* So the first bit sequence you add will be the last to be read, like a LIFO stack.
*/
typedef struct {
2015-10-18 14:18:32 -07:00
size_t bitContainer;
2017-05-01 09:56:03 -07:00
unsigned bitPos;
2015-10-18 14:18:32 -07:00
char* startPtr;
char* ptr;
char* endPtr;
} BIT_CStream_t;
2016-02-02 17:46:46 -08:00
MEM_STATIC size_t BIT_initCStream(BIT_CStream_t* bitC, void* dstBuffer, size_t dstCapacity);
2015-10-18 14:18:32 -07:00
MEM_STATIC void BIT_addBits(BIT_CStream_t* bitC, size_t value, unsigned nbBits);
MEM_STATIC void BIT_flushBits(BIT_CStream_t* bitC);
MEM_STATIC size_t BIT_closeCStream(BIT_CStream_t* bitC);
2016-03-19 06:14:31 -07:00
/* Start with initCStream, providing the size of buffer to write into.
* bitStream will never write outside of this buffer.
2016-05-11 09:30:24 -07:00
* `dstCapacity` must be >= sizeof(bitD->bitContainer), otherwise @return will be an error code.
2015-10-18 14:18:32 -07:00
*
2016-03-19 06:14:31 -07:00
* bits are first added to a local register.
* Local register is size_t, hence 64-bits on 64-bits systems, or 32-bits on 32-bits systems.
* Writing data into memory is an explicit operation, performed by the flushBits function.
* Hence keep track how many bits are potentially stored into local register to avoid register overflow.
* After a flushBits, a maximum of 7 bits might still be stored into local register.
2015-10-18 14:18:32 -07:00
*
2016-03-19 06:14:31 -07:00
* Avoid storing elements of more than 24 bits if you want compatibility with 32-bits bitstream readers.
2015-10-18 14:18:32 -07:00
*
2016-03-19 06:14:31 -07:00
* Last operation is to close the bitStream.
* The function returns the final size of CStream in bytes.
* If data couldn't fit into `dstBuffer`, it will return a 0 ( == not storable)
2015-10-18 14:18:32 -07:00
*/
2016-02-02 17:46:46 -08:00
/*-********************************************
* bitStream decoding API (read backward)
2015-10-18 14:18:32 -07:00
**********************************************/
typedef struct {
2015-10-18 14:18:32 -07:00
size_t bitContainer;
unsigned bitsConsumed;
const char* ptr;
const char* start;
2017-05-01 09:56:03 -07:00
const char* limitPtr;
2015-10-18 14:18:32 -07:00
} BIT_DStream_t;
typedef enum { BIT_DStream_unfinished = 0,
BIT_DStream_endOfBuffer = 1,
BIT_DStream_completed = 2,
BIT_DStream_overflow = 3 } BIT_DStream_status; /* result of BIT_reloadDStream() */
/* 1,2,4,8 would be better for bitmap combinations, but slows down performance a bit ... :( */
MEM_STATIC size_t BIT_initDStream(BIT_DStream_t* bitD, const void* srcBuffer, size_t srcSize);
MEM_STATIC size_t BIT_readBits(BIT_DStream_t* bitD, unsigned nbBits);
MEM_STATIC BIT_DStream_status BIT_reloadDStream(BIT_DStream_t* bitD);
MEM_STATIC unsigned BIT_endOfDStream(const BIT_DStream_t* bitD);
2016-03-19 06:14:31 -07:00
/* Start by invoking BIT_initDStream().
* A chunk of the bitStream is then stored into a local register.
* Local register size is 64-bits on 64-bits systems, 32-bits on 32-bits systems (size_t).
* You can then retrieve bitFields stored into the local register, **in reverse order**.
* Local register is explicitly reloaded from memory by the BIT_reloadDStream() method.
2016-05-11 09:30:24 -07:00
* A reload guarantee a minimum of ((8*sizeof(bitD->bitContainer))-7) bits when its result is BIT_DStream_unfinished.
2016-03-19 06:14:31 -07:00
* Otherwise, it can be less than that, so proceed accordingly.
2016-03-23 17:27:55 -07:00
* Checking if DStream has reached its end can be performed with BIT_endOfDStream().
2015-10-18 14:18:32 -07:00
*/
2016-02-02 17:46:46 -08:00
/*-****************************************
2015-10-18 14:18:32 -07:00
* unsafe API
******************************************/
MEM_STATIC void BIT_addBitsFast(BIT_CStream_t* bitC, size_t value, unsigned nbBits);
/* faster, but works only if value is "clean", meaning all high bits above nbBits are 0 */
MEM_STATIC void BIT_flushBitsFast(BIT_CStream_t* bitC);
/* unsafe version; does not check buffer overflow */
MEM_STATIC size_t BIT_readBitsFast(BIT_DStream_t* bitD, unsigned nbBits);
/* faster, but works only if nbBits >= 1 */
2016-03-23 06:18:37 -07:00
/*===== Local Constants =====*/
static const unsigned BIT_mask[] = {
0, 1, 3, 7, 0xF, 0x1F,
0x3F, 0x7F, 0xFF, 0x1FF, 0x3FF, 0x7FF,
0xFFF, 0x1FFF, 0x3FFF, 0x7FFF, 0xFFFF, 0x1FFFF,
0x3FFFF, 0x7FFFF, 0xFFFFF, 0x1FFFFF, 0x3FFFFF, 0x7FFFFF,
0xFFFFFF, 0x1FFFFFF, 0x3FFFFFF, 0x7FFFFFF, 0xFFFFFFF, 0x1FFFFFFF,
0x3FFFFFFF, 0x7FFFFFFF}; /* up to 31 bits */
#define BIT_MASK_SIZE (sizeof(BIT_mask) / sizeof(BIT_mask[0]))
2015-10-18 14:18:32 -07:00
2016-02-02 17:46:46 -08:00
/*-**************************************************************
2015-10-18 14:18:32 -07:00
* bitStream encoding
****************************************************************/
2016-03-19 06:14:31 -07:00
/*! BIT_initCStream() :
2017-05-01 09:56:03 -07:00
* `dstCapacity` must be > sizeof(size_t)
2016-03-19 06:14:31 -07:00
* @return : 0 if success,
* otherwise an error code (can be tested using ERR_isError()) */
2017-05-01 09:56:03 -07:00
MEM_STATIC size_t BIT_initCStream(BIT_CStream_t* bitC,
void* startPtr, size_t dstCapacity)
2015-10-18 14:18:32 -07:00
{
bitC->bitContainer = 0;
bitC->bitPos = 0;
bitC->startPtr = (char*)startPtr;
bitC->ptr = bitC->startPtr;
2017-05-01 09:56:03 -07:00
bitC->endPtr = bitC->startPtr + dstCapacity - sizeof(bitC->bitContainer);
if (dstCapacity <= sizeof(bitC->bitContainer)) return ERROR(dstSize_tooSmall);
2015-10-18 14:18:32 -07:00
return 0;
}
MEM_STATIC FORCE_INLINE_ATTR size_t BIT_getLowerBits(size_t bitContainer, U32 const nbBits)
{
#if defined(STATIC_BMI2) && STATIC_BMI2 == 1 && !defined(ZSTD_NO_INTRINSICS)
return _bzhi_u64(bitContainer, nbBits);
#else
assert(nbBits < BIT_MASK_SIZE);
return bitContainer & BIT_mask[nbBits];
#endif
}
2016-03-19 06:14:31 -07:00
/*! BIT_addBits() :
* can add up to 31 bits into `bitC`.
* Note : does not check for register overflow ! */
2017-05-01 09:56:03 -07:00
MEM_STATIC void BIT_addBits(BIT_CStream_t* bitC,
size_t value, unsigned nbBits)
2015-10-18 14:18:32 -07:00
{
DEBUG_STATIC_ASSERT(BIT_MASK_SIZE == 32);
assert(nbBits < BIT_MASK_SIZE);
assert(nbBits + bitC->bitPos < sizeof(bitC->bitContainer) * 8);
bitC->bitContainer |= BIT_getLowerBits(value, nbBits) << bitC->bitPos;
2015-10-18 14:18:32 -07:00
bitC->bitPos += nbBits;
}
2016-03-19 04:12:07 -07:00
/*! BIT_addBitsFast() :
* works only if `value` is _clean_,
* meaning all high bits above nbBits are 0 */
2017-05-01 09:56:03 -07:00
MEM_STATIC void BIT_addBitsFast(BIT_CStream_t* bitC,
size_t value, unsigned nbBits)
2015-10-18 14:18:32 -07:00
{
assert((value>>nbBits) == 0);
assert(nbBits + bitC->bitPos < sizeof(bitC->bitContainer) * 8);
2015-10-18 14:18:32 -07:00
bitC->bitContainer |= value << bitC->bitPos;
bitC->bitPos += nbBits;
}
2016-03-19 04:12:07 -07:00
/*! BIT_flushBitsFast() :
2017-05-01 09:56:03 -07:00
* assumption : bitContainer has not overflowed
2015-10-18 14:18:32 -07:00
* unsafe version; does not check buffer overflow */
MEM_STATIC void BIT_flushBitsFast(BIT_CStream_t* bitC)
{
2016-03-20 16:07:42 -07:00
size_t const nbBytes = bitC->bitPos >> 3;
assert(bitC->bitPos < sizeof(bitC->bitContainer) * 8);
assert(bitC->ptr <= bitC->endPtr);
2015-10-18 14:18:32 -07:00
MEM_writeLEST(bitC->ptr, bitC->bitContainer);
bitC->ptr += nbBytes;
bitC->bitPos &= 7;
2017-05-01 09:56:03 -07:00
bitC->bitContainer >>= nbBytes*8;
2015-10-18 14:18:32 -07:00
}
2016-03-19 06:14:31 -07:00
/*! BIT_flushBits() :
2017-05-01 09:56:03 -07:00
* assumption : bitContainer has not overflowed
2016-03-19 06:14:31 -07:00
* safe version; check for buffer overflow, and prevents it.
* note : does not signal buffer overflow.
* overflow will be revealed later on using BIT_closeCStream() */
2015-10-18 14:18:32 -07:00
MEM_STATIC void BIT_flushBits(BIT_CStream_t* bitC)
{
2016-03-20 16:07:42 -07:00
size_t const nbBytes = bitC->bitPos >> 3;
assert(bitC->bitPos < sizeof(bitC->bitContainer) * 8);
2019-09-12 15:35:27 -07:00
assert(bitC->ptr <= bitC->endPtr);
2015-10-18 14:18:32 -07:00
MEM_writeLEST(bitC->ptr, bitC->bitContainer);
bitC->ptr += nbBytes;
if (bitC->ptr > bitC->endPtr) bitC->ptr = bitC->endPtr;
bitC->bitPos &= 7;
bitC->bitContainer >>= nbBytes*8;
2015-10-18 14:18:32 -07:00
}
2016-03-19 04:12:07 -07:00
/*! BIT_closeCStream() :
2016-03-19 06:14:31 -07:00
* @return : size of CStream, in bytes,
* or 0 if it could not fit into dstBuffer */
2015-10-18 14:18:32 -07:00
MEM_STATIC size_t BIT_closeCStream(BIT_CStream_t* bitC)
{
BIT_addBitsFast(bitC, 1, 1); /* endMark */
BIT_flushBits(bitC);
if (bitC->ptr >= bitC->endPtr) return 0; /* overflow detected */
2016-03-19 06:14:31 -07:00
return (bitC->ptr - bitC->startPtr) + (bitC->bitPos > 0);
2015-10-18 14:18:32 -07:00
}
2016-02-02 17:46:46 -08:00
/*-********************************************************
* bitStream decoding
2015-10-18 14:18:32 -07:00
**********************************************************/
2016-03-19 06:14:31 -07:00
/*! BIT_initDStream() :
* Initialize a BIT_DStream_t.
* `bitD` : a pointer to an already allocated BIT_DStream_t structure.
* `srcSize` must be the *exact* size of the bitStream, in bytes.
* @return : size of stream (== srcSize), or an errorCode if a problem is detected
*/
2015-10-18 14:18:32 -07:00
MEM_STATIC size_t BIT_initDStream(BIT_DStream_t* bitD, const void* srcBuffer, size_t srcSize)
{
if (srcSize < 1) { ZSTD_memset(bitD, 0, sizeof(*bitD)); return ERROR(srcSize_wrong); }
2015-10-18 14:18:32 -07:00
2017-05-01 09:56:03 -07:00
bitD->start = (const char*)srcBuffer;
bitD->limitPtr = bitD->start + sizeof(bitD->bitContainer);
2016-05-11 09:30:24 -07:00
if (srcSize >= sizeof(bitD->bitContainer)) { /* normal case */
bitD->ptr = (const char*)srcBuffer + srcSize - sizeof(bitD->bitContainer);
2015-10-18 14:18:32 -07:00
bitD->bitContainer = MEM_readLEST(bitD->ptr);
2016-03-23 17:27:55 -07:00
{ BYTE const lastByte = ((const BYTE*)srcBuffer)[srcSize-1];
2022-01-21 10:29:14 -08:00
bitD->bitsConsumed = lastByte ? 8 - ZSTD_highbit32(lastByte) : 0; /* ensures bitsConsumed is always set */
if (lastByte == 0) return ERROR(GENERIC); /* endMark not present */ }
2016-02-02 17:46:46 -08:00
} else {
2015-10-18 14:18:32 -07:00
bitD->ptr = bitD->start;
bitD->bitContainer = *(const BYTE*)(bitD->start);
switch(srcSize)
{
case 7: bitD->bitContainer += (size_t)(((const BYTE*)(srcBuffer))[6]) << (sizeof(bitD->bitContainer)*8 - 16);
ZSTD_FALLTHROUGH;
case 6: bitD->bitContainer += (size_t)(((const BYTE*)(srcBuffer))[5]) << (sizeof(bitD->bitContainer)*8 - 24);
ZSTD_FALLTHROUGH;
case 5: bitD->bitContainer += (size_t)(((const BYTE*)(srcBuffer))[4]) << (sizeof(bitD->bitContainer)*8 - 32);
ZSTD_FALLTHROUGH;
case 4: bitD->bitContainer += (size_t)(((const BYTE*)(srcBuffer))[3]) << 24;
ZSTD_FALLTHROUGH;
case 3: bitD->bitContainer += (size_t)(((const BYTE*)(srcBuffer))[2]) << 16;
ZSTD_FALLTHROUGH;
case 2: bitD->bitContainer += (size_t)(((const BYTE*)(srcBuffer))[1]) << 8;
ZSTD_FALLTHROUGH;
default: break;
}
{ BYTE const lastByte = ((const BYTE*)srcBuffer)[srcSize-1];
2022-01-21 10:29:14 -08:00
bitD->bitsConsumed = lastByte ? 8 - ZSTD_highbit32(lastByte) : 0;
if (lastByte == 0) return ERROR(corruption_detected); /* endMark not present */
}
2016-05-11 09:30:24 -07:00
bitD->bitsConsumed += (U32)(sizeof(bitD->bitContainer) - srcSize)*8;
2015-10-18 14:18:32 -07:00
}
return srcSize;
}
MEM_STATIC FORCE_INLINE_ATTR size_t BIT_getUpperBits(size_t bitContainer, U32 const start)
2016-03-23 06:09:51 -07:00
{
2016-05-11 09:30:24 -07:00
return bitContainer >> start;
2016-03-23 06:09:51 -07:00
}
MEM_STATIC FORCE_INLINE_ATTR size_t BIT_getMiddleBits(size_t bitContainer, U32 const start, U32 const nbBits)
2016-03-23 06:09:51 -07:00
{
U32 const regMask = sizeof(bitContainer)*8 - 1;
/* if start > regMask, bitstream is corrupted, and result is undefined */
assert(nbBits < BIT_MASK_SIZE);
/* x86 transform & ((1 << nbBits) - 1) to bzhi instruction, it is better
* than accessing memory. When bmi2 instruction is not present, we consider
* such cpus old (pre-Haswell, 2013) and their performance is not of that
* importance.
*/
#if defined(__x86_64__) || defined(_M_X86)
return (bitContainer >> (start & regMask)) & ((((U64)1) << nbBits) - 1);
#else
return (bitContainer >> (start & regMask)) & BIT_mask[nbBits];
#endif
2016-03-23 06:09:51 -07:00
}
2016-03-19 06:14:31 -07:00
/*! BIT_lookBits() :
* Provides next n bits from local register.
2016-05-11 09:30:24 -07:00
* local register is not modified.
2016-03-19 06:14:31 -07:00
* On 32-bits, maxNbBits==24.
* On 64-bits, maxNbBits==56.
* @return : value extracted */
MEM_STATIC FORCE_INLINE_ATTR size_t BIT_lookBits(const BIT_DStream_t* bitD, U32 nbBits)
2015-10-18 14:18:32 -07:00
{
/* arbitrate between double-shift and shift+mask */
#if 1
/* if bitD->bitsConsumed + nbBits > sizeof(bitD->bitContainer)*8,
* bitstream is likely corrupted, and result is undefined */
2016-05-11 09:30:24 -07:00
return BIT_getMiddleBits(bitD->bitContainer, (sizeof(bitD->bitContainer)*8) - bitD->bitsConsumed - nbBits, nbBits);
2016-03-23 10:45:23 -07:00
#else
/* this code path is slower on my os-x laptop */
2017-05-01 09:56:03 -07:00
U32 const regMask = sizeof(bitD->bitContainer)*8 - 1;
return ((bitD->bitContainer << (bitD->bitsConsumed & regMask)) >> 1) >> ((regMask-nbBits) & regMask);
2016-03-23 10:45:23 -07:00
#endif
2015-10-18 14:18:32 -07:00
}
2016-03-19 06:14:31 -07:00
/*! BIT_lookBitsFast() :
* unsafe version; only works if nbBits >= 1 */
2016-03-22 17:32:41 -07:00
MEM_STATIC size_t BIT_lookBitsFast(const BIT_DStream_t* bitD, U32 nbBits)
2015-10-18 14:18:32 -07:00
{
2017-05-01 09:56:03 -07:00
U32 const regMask = sizeof(bitD->bitContainer)*8 - 1;
assert(nbBits >= 1);
2017-05-01 09:56:03 -07:00
return (bitD->bitContainer << (bitD->bitsConsumed & regMask)) >> (((regMask+1)-nbBits) & regMask);
2015-10-18 14:18:32 -07:00
}
MEM_STATIC FORCE_INLINE_ATTR void BIT_skipBits(BIT_DStream_t* bitD, U32 nbBits)
2015-10-18 14:18:32 -07:00
{
bitD->bitsConsumed += nbBits;
}
2016-03-19 06:14:31 -07:00
/*! BIT_readBits() :
2016-03-23 17:27:55 -07:00
* Read (consume) next n bits from local register and update.
* Pay attention to not read more than nbBits contained into local register.
* @return : extracted value. */
MEM_STATIC FORCE_INLINE_ATTR size_t BIT_readBits(BIT_DStream_t* bitD, unsigned nbBits)
2015-10-18 14:18:32 -07:00
{
2016-03-23 05:57:49 -07:00
size_t const value = BIT_lookBits(bitD, nbBits);
2015-10-18 14:18:32 -07:00
BIT_skipBits(bitD, nbBits);
return value;
}
2016-03-19 06:14:31 -07:00
/*! BIT_readBitsFast() :
2022-03-11 23:52:40 -08:00
* unsafe version; only works if nbBits >= 1 */
fix confusion between unsigned <-> U32 as suggested in #1441. generally U32 and unsigned are the same thing, except when they are not ... case : 32-bit compilation for MIPS (uint32_t == unsigned long) A vast majority of transformation consists in transforming U32 into unsigned. In rare cases, it's the other way around (typically for internal code, such as seeds). Among a few issues this patches solves : - some parameters were declared with type `unsigned` in *.h, but with type `U32` in their implementation *.c . - some parameters have type unsigned*, but the caller user a pointer to U32 instead. These fixes are useful. However, the bulk of changes is about %u formating, which requires unsigned type, but generally receives U32 values instead, often just for brevity (U32 is shorter than unsigned). These changes are generally minor, or even annoying. As a consequence, the amount of code changed is larger than I would expect for such a patch. Testing is also a pain : it requires manually modifying `mem.h`, in order to lie about `U32` and force it to be an `unsigned long` typically. On a 64-bit system, this will break the equivalence unsigned == U32. Unfortunately, it will also break a few static_assert(), controlling structure sizes. So it also requires modifying `debug.h` to make `static_assert()` a noop. And then reverting these changes. So it's inconvenient, and as a consequence, this property is currently not checked during CI tests. Therefore, these problems can emerge again in the future. I wonder if it is worth ensuring proper distinction of U32 != unsigned in CI tests. It's another restriction for coding, adding more frustration during merge tests, since most platforms don't need this distinction (hence contributor will not see it), and while this can matter in theory, the number of platforms impacted seems minimal. Thoughts ?
2018-12-21 16:19:44 -08:00
MEM_STATIC size_t BIT_readBitsFast(BIT_DStream_t* bitD, unsigned nbBits)
2015-10-18 14:18:32 -07:00
{
2016-03-23 05:57:49 -07:00
size_t const value = BIT_lookBitsFast(bitD, nbBits);
assert(nbBits >= 1);
2015-10-18 14:18:32 -07:00
BIT_skipBits(bitD, nbBits);
return value;
}
/*! BIT_reloadDStreamFast() :
* Similar to BIT_reloadDStream(), but with two differences:
* 1. bitsConsumed <= sizeof(bitD->bitContainer)*8 must hold!
* 2. Returns BIT_DStream_overflow when bitD->ptr < bitD->limitPtr, at this
* point you must use BIT_reloadDStream() to reload.
*/
MEM_STATIC BIT_DStream_status BIT_reloadDStreamFast(BIT_DStream_t* bitD)
{
if (UNLIKELY(bitD->ptr < bitD->limitPtr))
return BIT_DStream_overflow;
assert(bitD->bitsConsumed <= sizeof(bitD->bitContainer)*8);
bitD->ptr -= bitD->bitsConsumed >> 3;
bitD->bitsConsumed &= 7;
bitD->bitContainer = MEM_readLEST(bitD->ptr);
return BIT_DStream_unfinished;
}
2016-03-19 06:14:31 -07:00
/*! BIT_reloadDStream() :
* Refill `bitD` from buffer previously set in BIT_initDStream() .
* This function is safe, it guarantees it will not read beyond src buffer.
* @return : status of `BIT_DStream_t` internal register.
* when status == BIT_DStream_unfinished, internal register is filled with at least 25 or 57 bits */
2015-10-18 14:18:32 -07:00
MEM_STATIC BIT_DStream_status BIT_reloadDStream(BIT_DStream_t* bitD)
{
2017-05-01 09:56:03 -07:00
if (bitD->bitsConsumed > (sizeof(bitD->bitContainer)*8)) /* overflow detected, like end of stream */
2017-03-29 18:51:58 -07:00
return BIT_DStream_overflow;
2015-10-18 14:18:32 -07:00
2017-05-01 09:56:03 -07:00
if (bitD->ptr >= bitD->limitPtr) {
return BIT_reloadDStreamFast(bitD);
2015-10-18 14:18:32 -07:00
}
2016-02-02 17:46:46 -08:00
if (bitD->ptr == bitD->start) {
2015-10-18 14:18:32 -07:00
if (bitD->bitsConsumed < sizeof(bitD->bitContainer)*8) return BIT_DStream_endOfBuffer;
return BIT_DStream_completed;
}
2017-05-01 09:56:03 -07:00
/* start < ptr < limitPtr */
2016-03-19 06:14:31 -07:00
{ U32 nbBytes = bitD->bitsConsumed >> 3;
2015-10-18 14:18:32 -07:00
BIT_DStream_status result = BIT_DStream_unfinished;
2016-02-02 17:46:46 -08:00
if (bitD->ptr - nbBytes < bitD->start) {
2015-10-18 14:18:32 -07:00
nbBytes = (U32)(bitD->ptr - bitD->start); /* ptr > start */
result = BIT_DStream_endOfBuffer;
}
bitD->ptr -= nbBytes;
bitD->bitsConsumed -= nbBytes*8;
2017-05-01 09:56:03 -07:00
bitD->bitContainer = MEM_readLEST(bitD->ptr); /* reminder : srcSize > sizeof(bitD->bitContainer), otherwise bitD->ptr == bitD->start */
2015-10-18 14:18:32 -07:00
return result;
}
}
2016-03-19 04:12:07 -07:00
/*! BIT_endOfDStream() :
* @return : 1 if DStream has _exactly_ reached its end (all bits consumed).
*/
2015-10-18 14:18:32 -07:00
MEM_STATIC unsigned BIT_endOfDStream(const BIT_DStream_t* DStream)
{
return ((DStream->ptr == DStream->start) && (DStream->bitsConsumed == sizeof(DStream->bitContainer)*8));
}
#if defined (__cplusplus)
}
#endif
#endif /* BITSTREAM_H_MODULE */