2015-10-18 21:18:32 +00:00
|
|
|
/* ******************************************************************
|
2016-04-22 10:43:18 +00:00
|
|
|
Huffman codec, part of New Generation Entropy library
|
2016-01-23 18:28:41 +00:00
|
|
|
header file, for static linking only
|
|
|
|
Copyright (C) 2013-2016, Yann Collet
|
2015-10-18 21:18:32 +00:00
|
|
|
|
|
|
|
BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
|
|
|
|
|
|
|
|
Redistribution and use in source and binary forms, with or without
|
|
|
|
modification, are permitted provided that the following conditions are
|
|
|
|
met:
|
|
|
|
|
|
|
|
* Redistributions of source code must retain the above copyright
|
|
|
|
notice, this list of conditions and the following disclaimer.
|
|
|
|
* Redistributions in binary form must reproduce the above
|
|
|
|
copyright notice, this list of conditions and the following disclaimer
|
|
|
|
in the documentation and/or other materials provided with the
|
|
|
|
distribution.
|
|
|
|
|
|
|
|
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
|
|
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
|
|
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
|
|
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
|
|
OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
|
|
SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
|
|
LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
|
|
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
|
|
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
|
|
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
|
|
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
|
|
|
|
You can contact the author at :
|
|
|
|
- Source repository : https://github.com/Cyan4973/FiniteStateEntropy
|
|
|
|
****************************************************************** */
|
2016-04-22 10:43:18 +00:00
|
|
|
#ifndef HUF_STATIC_H
|
|
|
|
#define HUF_STATIC_H
|
2015-10-18 21:18:32 +00:00
|
|
|
|
|
|
|
#if defined (__cplusplus)
|
|
|
|
extern "C" {
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
2016-01-06 00:58:37 +00:00
|
|
|
/* ****************************************
|
2015-10-18 21:18:32 +00:00
|
|
|
* Dependency
|
|
|
|
******************************************/
|
2016-04-22 10:43:18 +00:00
|
|
|
#include "huf.h"
|
|
|
|
#include "fse.h"
|
|
|
|
#include "bitstream.h"
|
2015-10-18 21:18:32 +00:00
|
|
|
|
|
|
|
|
2016-01-06 00:58:37 +00:00
|
|
|
/* ****************************************
|
2016-01-23 18:28:41 +00:00
|
|
|
* Static allocation
|
2015-10-18 21:18:32 +00:00
|
|
|
******************************************/
|
2016-04-22 10:43:18 +00:00
|
|
|
/* HUF buffer bounds */
|
2015-10-18 21:18:32 +00:00
|
|
|
#define HUF_CTABLEBOUND 129
|
|
|
|
#define HUF_BLOCKBOUND(size) (size + (size>>8) + 8) /* only true if incompressible pre-filtered with fast heuristic */
|
|
|
|
#define HUF_COMPRESSBOUND(size) (HUF_CTABLEBOUND + HUF_BLOCKBOUND(size)) /* Macro version, useful for static allocation */
|
|
|
|
|
2016-04-22 10:43:18 +00:00
|
|
|
/* static allocation of HUF's Compression Table */
|
2016-01-23 18:28:41 +00:00
|
|
|
#define HUF_CREATE_STATIC_CTABLE(name, maxSymbolValue) \
|
|
|
|
U32 name##hb[maxSymbolValue+1]; \
|
|
|
|
void* name##hv = &(name##hb); \
|
|
|
|
HUF_CElt* name = (HUF_CElt*)(name##hv) /* no final ; */
|
|
|
|
|
2016-04-22 10:43:18 +00:00
|
|
|
/* static allocation of HUF's DTable */
|
2016-01-23 18:28:41 +00:00
|
|
|
#define HUF_DTABLE_SIZE(maxTableLog) (1 + (1<<maxTableLog))
|
2015-10-18 21:18:32 +00:00
|
|
|
#define HUF_CREATE_STATIC_DTABLEX2(DTable, maxTableLog) \
|
|
|
|
unsigned short DTable[HUF_DTABLE_SIZE(maxTableLog)] = { maxTableLog }
|
|
|
|
#define HUF_CREATE_STATIC_DTABLEX4(DTable, maxTableLog) \
|
|
|
|
unsigned int DTable[HUF_DTABLE_SIZE(maxTableLog)] = { maxTableLog }
|
|
|
|
#define HUF_CREATE_STATIC_DTABLEX6(DTable, maxTableLog) \
|
|
|
|
unsigned int DTable[HUF_DTABLE_SIZE(maxTableLog) * 3 / 2] = { maxTableLog }
|
|
|
|
|
|
|
|
|
2016-01-06 00:58:37 +00:00
|
|
|
/* ****************************************
|
|
|
|
* Advanced decompression functions
|
2015-10-18 21:18:32 +00:00
|
|
|
******************************************/
|
|
|
|
size_t HUF_decompress4X2 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize); /* single-symbol decoder */
|
|
|
|
size_t HUF_decompress4X4 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize); /* double-symbols decoder */
|
2016-05-05 10:41:36 +00:00
|
|
|
size_t HUF_decompress4X6 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize); /* quad-symbols decoder, only works for dstSize >= 64 */
|
2015-10-18 21:18:32 +00:00
|
|
|
|
|
|
|
|
2016-01-06 00:58:37 +00:00
|
|
|
/* ****************************************
|
2016-04-22 10:43:18 +00:00
|
|
|
* HUF detailed API
|
2016-01-06 00:58:37 +00:00
|
|
|
******************************************/
|
|
|
|
/*!
|
|
|
|
HUF_compress() does the following:
|
|
|
|
1. count symbol occurrence from source[] into table count[] using FSE_count()
|
2016-05-20 12:36:36 +00:00
|
|
|
2. (optional) refine tableLog using HUF_optimalTableLog()
|
|
|
|
3. build Huffman table from count using HUF_buildCTable()
|
|
|
|
4. save Huffman table to memory buffer using HUF_writeCTable()
|
|
|
|
5. encode the data stream using HUF_compress4X_usingCTable()
|
2016-01-06 00:58:37 +00:00
|
|
|
|
|
|
|
The following API allows targeting specific sub-functions for advanced tasks.
|
|
|
|
For example, it's possible to compress several blocks using the same 'CTable',
|
|
|
|
or to save and regenerate 'CTable' using external methods.
|
|
|
|
*/
|
|
|
|
/* FSE_count() : find it within "fse.h" */
|
2016-05-20 12:36:36 +00:00
|
|
|
unsigned HUF_optimalTableLog(unsigned maxTableLog, size_t srcSize, unsigned maxSymbolValue);
|
2016-01-06 00:58:37 +00:00
|
|
|
typedef struct HUF_CElt_s HUF_CElt; /* incomplete type */
|
2016-01-26 02:14:20 +00:00
|
|
|
size_t HUF_buildCTable (HUF_CElt* CTable, const unsigned* count, unsigned maxSymbolValue, unsigned maxNbBits);
|
|
|
|
size_t HUF_writeCTable (void* dst, size_t maxDstSize, const HUF_CElt* CTable, unsigned maxSymbolValue, unsigned huffLog);
|
2016-03-20 04:40:39 +00:00
|
|
|
size_t HUF_compress4X_usingCTable(void* dst, size_t dstSize, const void* src, size_t srcSize, const HUF_CElt* CTable);
|
2016-01-06 00:58:37 +00:00
|
|
|
|
|
|
|
|
|
|
|
/*!
|
|
|
|
HUF_decompress() does the following:
|
|
|
|
1. select the decompression algorithm (X2, X4, X6) based on pre-computed heuristics
|
|
|
|
2. build Huffman table from save, using HUF_readDTableXn()
|
|
|
|
3. decode 1 or 4 segments in parallel using HUF_decompressSXn_usingDTable
|
|
|
|
*/
|
|
|
|
size_t HUF_readDTableX2 (unsigned short* DTable, const void* src, size_t srcSize);
|
|
|
|
size_t HUF_readDTableX4 (unsigned* DTable, const void* src, size_t srcSize);
|
|
|
|
size_t HUF_readDTableX6 (unsigned* DTable, const void* src, size_t srcSize);
|
|
|
|
|
|
|
|
size_t HUF_decompress4X2_usingDTable(void* dst, size_t maxDstSize, const void* cSrc, size_t cSrcSize, const unsigned short* DTable);
|
|
|
|
size_t HUF_decompress4X4_usingDTable(void* dst, size_t maxDstSize, const void* cSrc, size_t cSrcSize, const unsigned* DTable);
|
|
|
|
size_t HUF_decompress4X6_usingDTable(void* dst, size_t maxDstSize, const void* cSrc, size_t cSrcSize, const unsigned* DTable);
|
|
|
|
|
2016-01-25 03:10:46 +00:00
|
|
|
|
|
|
|
/* single stream variants */
|
|
|
|
|
|
|
|
size_t HUF_compress1X (void* dst, size_t dstSize, const void* src, size_t srcSize, unsigned maxSymbolValue, unsigned tableLog);
|
2016-01-26 02:14:20 +00:00
|
|
|
size_t HUF_compress1X_usingCTable(void* dst, size_t dstSize, const void* src, size_t srcSize, const HUF_CElt* CTable);
|
2016-01-25 03:10:46 +00:00
|
|
|
|
|
|
|
size_t HUF_decompress1X2 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize); /* single-symbol decoder */
|
|
|
|
size_t HUF_decompress1X4 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize); /* double-symbol decoder */
|
2016-05-05 10:41:36 +00:00
|
|
|
size_t HUF_decompress1X6 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize); /* quad-symbols decoder, only works for dstSize >= 64 */
|
2016-01-25 03:10:46 +00:00
|
|
|
|
2016-01-23 18:28:41 +00:00
|
|
|
size_t HUF_decompress1X2_usingDTable(void* dst, size_t maxDstSize, const void* cSrc, size_t cSrcSize, const unsigned short* DTable);
|
|
|
|
size_t HUF_decompress1X4_usingDTable(void* dst, size_t maxDstSize, const void* cSrc, size_t cSrcSize, const unsigned* DTable);
|
|
|
|
size_t HUF_decompress1X6_usingDTable(void* dst, size_t maxDstSize, const void* cSrc, size_t cSrcSize, const unsigned* DTable);
|
|
|
|
|
2016-01-06 00:58:37 +00:00
|
|
|
|
2016-01-26 02:14:20 +00:00
|
|
|
/* Loading a CTable saved with HUF_writeCTable() */
|
|
|
|
|
|
|
|
size_t HUF_readCTable (HUF_CElt* CTable, unsigned maxSymbolValue, const void* src, size_t srcSize);
|
|
|
|
|
|
|
|
|
2016-04-22 10:43:18 +00:00
|
|
|
/* **************************************************************
|
|
|
|
* Constants
|
|
|
|
****************************************************************/
|
2016-05-20 12:36:36 +00:00
|
|
|
#define HUF_TABLELOG_ABSOLUTEMAX 16 /* absolute limit of HUF_MAX_TABLELOG. Beyond that value, code does not work */
|
|
|
|
#define HUF_TABLELOG_MAX 12 /* max configured tableLog (for static allocation); can be modified up to HUF_ABSOLUTEMAX_TABLELOG */
|
|
|
|
#define HUF_TABLELOG_DEFAULT HUF_TABLELOG_MAX /* tableLog by default, when not specified */
|
|
|
|
#define HUF_SYMBOLVALUE_MAX 255
|
|
|
|
#if (HUF_TABLELOG_MAX > HUF_TABLELOG_ABSOLUTEMAX)
|
|
|
|
# error "HUF_TABLELOG_MAX is too large !"
|
2016-04-22 10:43:18 +00:00
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
|
|
|
2016-05-20 12:36:36 +00:00
|
|
|
/* **************************************************************
|
|
|
|
* Needed by zstd in both compression and decompression
|
|
|
|
****************************************************************/
|
2016-04-22 10:43:18 +00:00
|
|
|
/*! HUF_readStats() :
|
|
|
|
Read compact Huffman tree, saved by HUF_writeCTable().
|
|
|
|
`huffWeight` is destination buffer.
|
|
|
|
@return : size read from `src`
|
|
|
|
*/
|
|
|
|
MEM_STATIC size_t HUF_readStats(BYTE* huffWeight, size_t hwSize, U32* rankStats,
|
|
|
|
U32* nbSymbolsPtr, U32* tableLogPtr,
|
|
|
|
const void* src, size_t srcSize)
|
|
|
|
{
|
|
|
|
U32 weightTotal;
|
|
|
|
const BYTE* ip = (const BYTE*) src;
|
|
|
|
size_t iSize = ip[0];
|
|
|
|
size_t oSize;
|
|
|
|
|
|
|
|
//memset(huffWeight, 0, hwSize); /* is not necessary, even though some analyzer complain ... */
|
|
|
|
|
|
|
|
if (iSize >= 128) { /* special header */
|
|
|
|
if (iSize >= (242)) { /* RLE */
|
|
|
|
static U32 l[14] = { 1, 2, 3, 4, 7, 8, 15, 16, 31, 32, 63, 64, 127, 128 };
|
|
|
|
oSize = l[iSize-242];
|
|
|
|
memset(huffWeight, 1, hwSize);
|
|
|
|
iSize = 0;
|
|
|
|
}
|
|
|
|
else { /* Incompressible */
|
|
|
|
oSize = iSize - 127;
|
|
|
|
iSize = ((oSize+1)/2);
|
|
|
|
if (iSize+1 > srcSize) return ERROR(srcSize_wrong);
|
|
|
|
if (oSize >= hwSize) return ERROR(corruption_detected);
|
|
|
|
ip += 1;
|
|
|
|
{ U32 n;
|
|
|
|
for (n=0; n<oSize; n+=2) {
|
|
|
|
huffWeight[n] = ip[n/2] >> 4;
|
|
|
|
huffWeight[n+1] = ip[n/2] & 15;
|
|
|
|
} } } }
|
|
|
|
else { /* header compressed with FSE (normal case) */
|
|
|
|
if (iSize+1 > srcSize) return ERROR(srcSize_wrong);
|
|
|
|
oSize = FSE_decompress(huffWeight, hwSize-1, ip+1, iSize); /* max (hwSize-1) values decoded, as last one is implied */
|
|
|
|
if (FSE_isError(oSize)) return oSize;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* collect weight stats */
|
2016-05-20 12:36:36 +00:00
|
|
|
memset(rankStats, 0, (HUF_TABLELOG_ABSOLUTEMAX + 1) * sizeof(U32));
|
2016-04-22 10:43:18 +00:00
|
|
|
weightTotal = 0;
|
2016-05-05 10:41:36 +00:00
|
|
|
{ U32 n; for (n=0; n<oSize; n++) {
|
2016-05-20 12:36:36 +00:00
|
|
|
if (huffWeight[n] >= HUF_TABLELOG_ABSOLUTEMAX) return ERROR(corruption_detected);
|
2016-05-05 10:41:36 +00:00
|
|
|
rankStats[huffWeight[n]]++;
|
|
|
|
weightTotal += (1 << huffWeight[n]) >> 1;
|
|
|
|
} }
|
2016-04-22 10:43:18 +00:00
|
|
|
|
|
|
|
/* get last non-null symbol weight (implied, total must be 2^n) */
|
2016-05-05 10:41:36 +00:00
|
|
|
{ U32 const tableLog = BIT_highbit32(weightTotal) + 1;
|
2016-05-20 12:36:36 +00:00
|
|
|
if (tableLog > HUF_TABLELOG_ABSOLUTEMAX) return ERROR(corruption_detected);
|
2016-05-05 10:41:36 +00:00
|
|
|
*tableLogPtr = tableLog;
|
|
|
|
/* determine last weight */
|
|
|
|
{ U32 const total = 1 << tableLog;
|
|
|
|
U32 const rest = total - weightTotal;
|
|
|
|
U32 const verif = 1 << BIT_highbit32(rest);
|
|
|
|
U32 const lastWeight = BIT_highbit32(rest) + 1;
|
|
|
|
if (verif != rest) return ERROR(corruption_detected); /* last value must be a clean power of 2 */
|
|
|
|
huffWeight[oSize] = (BYTE)lastWeight;
|
|
|
|
rankStats[lastWeight]++;
|
|
|
|
} }
|
2016-04-22 10:43:18 +00:00
|
|
|
|
|
|
|
/* check tree construction validity */
|
|
|
|
if ((rankStats[1] < 2) || (rankStats[1] & 1)) return ERROR(corruption_detected); /* by construction : at least 2 elts of rank 1, must be even */
|
|
|
|
|
|
|
|
/* results */
|
|
|
|
*nbSymbolsPtr = (U32)(oSize+1);
|
|
|
|
return iSize+1;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
2015-10-18 21:18:32 +00:00
|
|
|
#if defined (__cplusplus)
|
|
|
|
}
|
|
|
|
#endif
|
2015-10-30 10:21:50 +00:00
|
|
|
|
2016-04-22 10:43:18 +00:00
|
|
|
#endif /* HUF_STATIC_H */
|