zstd_internal.h
350 lines
| 12.2 KiB
| text/x-c
|
CLexer
Gregory Szorc
|
r37513 | /* | ||
Gregory Szorc
|
r30434 | * Copyright (c) 2016-present, Yann Collet, Facebook, Inc. | ||
* All rights reserved. | ||||
* | ||||
Gregory Szorc
|
r37513 | * 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. | ||||
Gregory Szorc
|
r30434 | */ | ||
#ifndef ZSTD_CCOMMON_H_MODULE | ||||
#define ZSTD_CCOMMON_H_MODULE | ||||
Gregory Szorc
|
r37513 | /* this module contains definitions which must be identical | ||
* across compression, decompression and dictBuilder. | ||||
* It also contains a few functions useful to at least 2 of them | ||||
* and which benefit from being inlined */ | ||||
/*-************************************* | ||||
* Dependencies | ||||
***************************************/ | ||||
#include "compiler.h" | ||||
#include "mem.h" | ||||
Gregory Szorc
|
r40157 | #include "debug.h" /* assert, DEBUGLOG, RAWLOG, g_debuglevel */ | ||
Gregory Szorc
|
r37513 | #include "error_private.h" | ||
#define ZSTD_STATIC_LINKING_ONLY | ||||
#include "zstd.h" | ||||
#define FSE_STATIC_LINKING_ONLY | ||||
#include "fse.h" | ||||
#define HUF_STATIC_LINKING_ONLY | ||||
#include "huf.h" | ||||
#ifndef XXH_STATIC_LINKING_ONLY | ||||
# define XXH_STATIC_LINKING_ONLY /* XXH64_state_t */ | ||||
Gregory Szorc
|
r30434 | #endif | ||
Gregory Szorc
|
r37513 | #include "xxhash.h" /* XXH_reset, update, digest */ | ||
Gregory Szorc
|
r30434 | |||
Gregory Szorc
|
r37513 | #if defined (__cplusplus) | ||
extern "C" { | ||||
Gregory Szorc
|
r30434 | #endif | ||
Gregory Szorc
|
r40157 | /* ---- static assert (debug) --- */ | ||
#define ZSTD_STATIC_ASSERT(c) DEBUG_STATIC_ASSERT(c) | ||||
Gregory Szorc
|
r42237 | #define ZSTD_isError ERR_isError /* for inlining */ | ||
#define FSE_isError ERR_isError | ||||
#define HUF_isError ERR_isError | ||||
Gregory Szorc
|
r30434 | |||
/*-************************************* | ||||
* shared macros | ||||
***************************************/ | ||||
Gregory Szorc
|
r37513 | #undef MIN | ||
#undef MAX | ||||
Gregory Szorc
|
r30434 | #define MIN(a,b) ((a)<(b) ? (a) : (b)) | ||
#define MAX(a,b) ((a)>(b) ? (a) : (b)) | ||||
Gregory Szorc
|
r43207 | |||
/** | ||||
* Return the specified error if the condition evaluates to true. | ||||
* | ||||
* In debug modes, prints additional information. | ||||
* In order to do that (particularly, printing the conditional that failed), | ||||
* this can't just wrap RETURN_ERROR(). | ||||
*/ | ||||
#define RETURN_ERROR_IF(cond, err, ...) \ | ||||
if (cond) { \ | ||||
RAWLOG(3, "%s:%d: ERROR!: check %s failed, returning %s", __FILE__, __LINE__, ZSTD_QUOTE(cond), ZSTD_QUOTE(ERROR(err))); \ | ||||
RAWLOG(3, ": " __VA_ARGS__); \ | ||||
RAWLOG(3, "\n"); \ | ||||
return ERROR(err); \ | ||||
} | ||||
/** | ||||
* Unconditionally return the specified error. | ||||
* | ||||
* In debug modes, prints additional information. | ||||
*/ | ||||
#define RETURN_ERROR(err, ...) \ | ||||
do { \ | ||||
RAWLOG(3, "%s:%d: ERROR!: unconditional check failed, returning %s", __FILE__, __LINE__, ZSTD_QUOTE(ERROR(err))); \ | ||||
RAWLOG(3, ": " __VA_ARGS__); \ | ||||
RAWLOG(3, "\n"); \ | ||||
return ERROR(err); \ | ||||
} while(0); | ||||
/** | ||||
* If the provided expression evaluates to an error code, returns that error code. | ||||
* | ||||
* In debug modes, prints additional information. | ||||
*/ | ||||
#define FORWARD_IF_ERROR(err, ...) \ | ||||
do { \ | ||||
size_t const err_code = (err); \ | ||||
if (ERR_isError(err_code)) { \ | ||||
RAWLOG(3, "%s:%d: ERROR!: forwarding error in %s: %s", __FILE__, __LINE__, ZSTD_QUOTE(err), ERR_getErrorName(err_code)); \ | ||||
RAWLOG(3, ": " __VA_ARGS__); \ | ||||
RAWLOG(3, "\n"); \ | ||||
return err_code; \ | ||||
} \ | ||||
} while(0); | ||||
Gregory Szorc
|
r30434 | |||
/*-************************************* | ||||
* Common constants | ||||
***************************************/ | ||||
#define ZSTD_OPT_NUM (1<<12) | ||||
#define ZSTD_REP_NUM 3 /* number of repcodes */ | ||||
#define ZSTD_REP_MOVE (ZSTD_REP_NUM-1) | ||||
static const U32 repStartValue[ZSTD_REP_NUM] = { 1, 4, 8 }; | ||||
#define KB *(1 <<10) | ||||
#define MB *(1 <<20) | ||||
#define GB *(1U<<30) | ||||
#define BIT7 128 | ||||
#define BIT6 64 | ||||
#define BIT5 32 | ||||
#define BIT4 16 | ||||
#define BIT1 2 | ||||
#define BIT0 1 | ||||
#define ZSTD_WINDOWLOG_ABSOLUTEMIN 10 | ||||
static const size_t ZSTD_fcs_fieldSize[4] = { 0, 2, 4, 8 }; | ||||
static const size_t ZSTD_did_fieldSize[4] = { 0, 1, 2, 4 }; | ||||
Gregory Szorc
|
r40157 | #define ZSTD_FRAMEIDSIZE 4 /* magic number size */ | ||
Gregory Szorc
|
r37513 | |||
Gregory Szorc
|
r30434 | #define ZSTD_BLOCKHEADERSIZE 3 /* C standard doesn't allow `static const` variable to be init using another `static const` variable */ | ||
static const size_t ZSTD_blockHeaderSize = ZSTD_BLOCKHEADERSIZE; | ||||
typedef enum { bt_raw, bt_rle, bt_compressed, bt_reserved } blockType_e; | ||||
#define MIN_SEQUENCES_SIZE 1 /* nbSeq==0 */ | ||||
#define MIN_CBLOCK_SIZE (1 /*litCSize*/ + 1 /* RLE or RAW */ + MIN_SEQUENCES_SIZE /* nbSeq==0 */) /* for a non-null block */ | ||||
#define HufLog 12 | ||||
typedef enum { set_basic, set_rle, set_compressed, set_repeat } symbolEncodingType_e; | ||||
#define LONGNBSEQ 0x7F00 | ||||
#define MINMATCH 3 | ||||
#define Litbits 8 | ||||
#define MaxLit ((1<<Litbits) - 1) | ||||
Gregory Szorc
|
r37513 | #define MaxML 52 | ||
#define MaxLL 35 | ||||
#define DefaultMaxOff 28 | ||||
#define MaxOff 31 | ||||
Gregory Szorc
|
r30434 | #define MaxSeq MAX(MaxLL, MaxML) /* Assumption : MaxOff < MaxLL,MaxML */ | ||
#define MLFSELog 9 | ||||
#define LLFSELog 9 | ||||
#define OffFSELog 8 | ||||
Gregory Szorc
|
r37513 | #define MaxFSELog MAX(MAX(MLFSELog, LLFSELog), OffFSELog) | ||
Gregory Szorc
|
r30434 | |||
Gregory Szorc
|
r37513 | static const U32 LL_bits[MaxLL+1] = { 0, 0, 0, 0, 0, 0, 0, 0, | ||
0, 0, 0, 0, 0, 0, 0, 0, | ||||
1, 1, 1, 1, 2, 2, 3, 3, | ||||
4, 6, 7, 8, 9,10,11,12, | ||||
Gregory Szorc
|
r30434 | 13,14,15,16 }; | ||
Gregory Szorc
|
r37513 | static const S16 LL_defaultNorm[MaxLL+1] = { 4, 3, 2, 2, 2, 2, 2, 2, | ||
2, 2, 2, 2, 2, 1, 1, 1, | ||||
2, 2, 2, 2, 2, 2, 2, 2, | ||||
2, 3, 2, 1, 1, 1, 1, 1, | ||||
Gregory Szorc
|
r30434 | -1,-1,-1,-1 }; | ||
#define LL_DEFAULTNORMLOG 6 /* for static allocation */ | ||||
static const U32 LL_defaultNormLog = LL_DEFAULTNORMLOG; | ||||
Gregory Szorc
|
r37513 | static const U32 ML_bits[MaxML+1] = { 0, 0, 0, 0, 0, 0, 0, 0, | ||
0, 0, 0, 0, 0, 0, 0, 0, | ||||
0, 0, 0, 0, 0, 0, 0, 0, | ||||
0, 0, 0, 0, 0, 0, 0, 0, | ||||
1, 1, 1, 1, 2, 2, 3, 3, | ||||
4, 4, 5, 7, 8, 9,10,11, | ||||
Gregory Szorc
|
r30434 | 12,13,14,15,16 }; | ||
Gregory Szorc
|
r37513 | static const S16 ML_defaultNorm[MaxML+1] = { 1, 4, 3, 2, 2, 2, 2, 2, | ||
2, 1, 1, 1, 1, 1, 1, 1, | ||||
1, 1, 1, 1, 1, 1, 1, 1, | ||||
1, 1, 1, 1, 1, 1, 1, 1, | ||||
1, 1, 1, 1, 1, 1, 1, 1, | ||||
1, 1, 1, 1, 1, 1,-1,-1, | ||||
Gregory Szorc
|
r30434 | -1,-1,-1,-1,-1 }; | ||
#define ML_DEFAULTNORMLOG 6 /* for static allocation */ | ||||
static const U32 ML_defaultNormLog = ML_DEFAULTNORMLOG; | ||||
Gregory Szorc
|
r37513 | static const S16 OF_defaultNorm[DefaultMaxOff+1] = { 1, 1, 1, 1, 1, 1, 2, 2, | ||
2, 1, 1, 1, 1, 1, 1, 1, | ||||
1, 1, 1, 1, 1, 1, 1, 1, | ||||
-1,-1,-1,-1,-1 }; | ||||
Gregory Szorc
|
r30434 | #define OF_DEFAULTNORMLOG 5 /* for static allocation */ | ||
static const U32 OF_defaultNormLog = OF_DEFAULTNORMLOG; | ||||
/*-******************************************* | ||||
* Shared functions to include for inlining | ||||
*********************************************/ | ||||
static void ZSTD_copy8(void* dst, const void* src) { memcpy(dst, src, 8); } | ||||
Gregory Szorc
|
r43207 | |||
Gregory Szorc
|
r30434 | #define COPY8(d,s) { ZSTD_copy8(d,s); d+=8; s+=8; } | ||
Gregory Szorc
|
r43207 | static void ZSTD_copy16(void* dst, const void* src) { memcpy(dst, src, 16); } | ||
#define COPY16(d,s) { ZSTD_copy16(d,s); d+=16; s+=16; } | ||||
Gregory Szorc
|
r44446 | #define WILDCOPY_OVERLENGTH 32 | ||
#define WILDCOPY_VECLEN 16 | ||||
Gregory Szorc
|
r43207 | |||
typedef enum { | ||||
ZSTD_no_overlap, | ||||
Gregory Szorc
|
r44446 | ZSTD_overlap_src_before_dst | ||
Gregory Szorc
|
r43207 | /* ZSTD_overlap_dst_before_src, */ | ||
} ZSTD_overlap_e; | ||||
Gregory Szorc
|
r30434 | |||
/*! ZSTD_wildcopy() : | ||||
Gregory Szorc
|
r44446 | * Custom version of memcpy(), can over read/write up to WILDCOPY_OVERLENGTH bytes (if length==0) | ||
* @param ovtype controls the overlap detection | ||||
* - ZSTD_no_overlap: The source and destination are guaranteed to be at least WILDCOPY_VECLEN bytes apart. | ||||
* - ZSTD_overlap_src_before_dst: The src and dst may overlap, but they MUST be at least 8 bytes apart. | ||||
* The src buffer must be before the dst buffer. | ||||
*/ | ||||
Gregory Szorc
|
r43207 | MEM_STATIC FORCE_INLINE_ATTR DONT_VECTORIZE | ||
Gregory Szorc
|
r44446 | void ZSTD_wildcopy(void* dst, const void* src, ptrdiff_t length, ZSTD_overlap_e const ovtype) | ||
Gregory Szorc
|
r30434 | { | ||
Gregory Szorc
|
r43207 | ptrdiff_t diff = (BYTE*)dst - (const BYTE*)src; | ||
Gregory Szorc
|
r30434 | const BYTE* ip = (const BYTE*)src; | ||
BYTE* op = (BYTE*)dst; | ||||
BYTE* const oend = op + length; | ||||
Gregory Szorc
|
r43207 | |||
Gregory Szorc
|
r44446 | assert(diff >= 8 || (ovtype == ZSTD_no_overlap && diff <= -WILDCOPY_VECLEN)); | ||
Gregory Szorc
|
r43207 | |||
Gregory Szorc
|
r44446 | if (ovtype == ZSTD_overlap_src_before_dst && diff < WILDCOPY_VECLEN) { | ||
/* Handle short offset copies. */ | ||||
do { | ||||
COPY8(op, ip) | ||||
} while (op < oend); | ||||
} else { | ||||
assert(diff >= WILDCOPY_VECLEN || diff <= -WILDCOPY_VECLEN); | ||||
/* Separate out the first two COPY16() calls because the copy length is | ||||
* almost certain to be short, so the branches have different | ||||
* probabilities. | ||||
* On gcc-9 unrolling once is +1.6%, twice is +2%, thrice is +1.8%. | ||||
* On clang-8 unrolling once is +1.4%, twice is +3.3%, thrice is +3%. | ||||
*/ | ||||
Gregory Szorc
|
r43207 | COPY16(op, ip); | ||
Gregory Szorc
|
r44446 | COPY16(op, ip); | ||
if (op >= oend) return; | ||||
do { | ||||
COPY16(op, ip); | ||||
COPY16(op, ip); | ||||
} | ||||
while (op < oend); | ||||
Gregory Szorc
|
r43207 | } | ||
Gregory Szorc
|
r30434 | } | ||
/*-******************************************* | ||||
Gregory Szorc
|
r37513 | * Private declarations | ||
Gregory Szorc
|
r30434 | *********************************************/ | ||
typedef struct seqDef_s { | ||||
U32 offset; | ||||
U16 litLength; | ||||
U16 matchLength; | ||||
} seqDef; | ||||
typedef struct { | ||||
seqDef* sequencesStart; | ||||
seqDef* sequences; | ||||
BYTE* litStart; | ||||
BYTE* lit; | ||||
BYTE* llCode; | ||||
BYTE* mlCode; | ||||
BYTE* ofCode; | ||||
Gregory Szorc
|
r40157 | size_t maxNbSeq; | ||
size_t maxNbLit; | ||||
Gregory Szorc
|
r30434 | U32 longLengthID; /* 0 == no longLength; 1 == Lit.longLength; 2 == Match.longLength; */ | ||
U32 longLengthPos; | ||||
} seqStore_t; | ||||
Gregory Szorc
|
r43207 | /** | ||
* Contains the compressed frame size and an upper-bound for the decompressed frame size. | ||||
* Note: before using `compressedSize`, check for errors using ZSTD_isError(). | ||||
* similarly, before using `decompressedBound`, check for errors using: | ||||
* `decompressedBound != ZSTD_CONTENTSIZE_ERROR` | ||||
*/ | ||||
typedef struct { | ||||
size_t compressedSize; | ||||
unsigned long long decompressedBound; | ||||
} ZSTD_frameSizeInfo; /* decompress & legacy */ | ||||
Gregory Szorc
|
r37513 | const seqStore_t* ZSTD_getSeqStore(const ZSTD_CCtx* ctx); /* compress & dictBuilder */ | ||
void ZSTD_seqToCodes(const seqStore_t* seqStorePtr); /* compress, dictBuilder, decodeCorpus (shouldn't get its definition from here) */ | ||||
Gregory Szorc
|
r30434 | |||
/* custom memory allocation functions */ | ||||
void* ZSTD_malloc(size_t size, ZSTD_customMem customMem); | ||||
Gregory Szorc
|
r37513 | void* ZSTD_calloc(size_t size, ZSTD_customMem customMem); | ||
Gregory Szorc
|
r30434 | void ZSTD_free(void* ptr, ZSTD_customMem customMem); | ||
Gregory Szorc
|
r37513 | MEM_STATIC U32 ZSTD_highbit32(U32 val) /* compress, dictBuilder, decodeCorpus */ | ||
Gregory Szorc
|
r30434 | { | ||
Gregory Szorc
|
r37513 | assert(val != 0); | ||
{ | ||||
Gregory Szorc
|
r30434 | # if defined(_MSC_VER) /* Visual */ | ||
Gregory Szorc
|
r37513 | unsigned long r=0; | ||
_BitScanReverse(&r, val); | ||||
return (unsigned)r; | ||||
Gregory Szorc
|
r30434 | # elif defined(__GNUC__) && (__GNUC__ >= 3) /* GCC Intrinsic */ | ||
Gregory Szorc
|
r44446 | return __builtin_clz (val) ^ 31; | ||
Gregory Szorc
|
r43207 | # elif defined(__ICCARM__) /* IAR Intrinsic */ | ||
return 31 - __CLZ(val); | ||||
Gregory Szorc
|
r30434 | # else /* Software version */ | ||
Gregory Szorc
|
r37513 | static const U32 DeBruijnClz[32] = { 0, 9, 1, 10, 13, 21, 2, 29, 11, 14, 16, 18, 22, 25, 3, 30, 8, 12, 20, 28, 15, 17, 24, 7, 19, 27, 23, 6, 26, 5, 4, 31 }; | ||
U32 v = val; | ||||
v |= v >> 1; | ||||
v |= v >> 2; | ||||
v |= v >> 4; | ||||
v |= v >> 8; | ||||
v |= v >> 16; | ||||
return DeBruijnClz[(v * 0x07C4ACDDU) >> 27]; | ||||
Gregory Szorc
|
r30434 | # endif | ||
Gregory Szorc
|
r37513 | } | ||
Gregory Szorc
|
r30434 | } | ||
Gregory Szorc
|
r30895 | /* ZSTD_invalidateRepCodes() : | ||
* ensures next compression will not use repcodes from previous block. | ||||
* Note : only works with regular variant; | ||||
* do not use with extDict variant ! */ | ||||
Gregory Szorc
|
r37513 | void ZSTD_invalidateRepCodes(ZSTD_CCtx* cctx); /* zstdmt, adaptive_compression (shouldn't get this definition from here) */ | ||
Gregory Szorc
|
r30895 | |||
Gregory Szorc
|
r37513 | typedef struct { | ||
blockType_e blockType; | ||||
U32 lastBlock; | ||||
U32 origSize; | ||||
Gregory Szorc
|
r42237 | } blockProperties_t; /* declared here for decompress and fullbench */ | ||
Gregory Szorc
|
r37513 | |||
/*! ZSTD_getcBlockSize() : | ||||
* Provides the size of compressed block from block header `src` */ | ||||
/* Used by: decompress, fullbench (does not get its definition from here) */ | ||||
size_t ZSTD_getcBlockSize(const void* src, size_t srcSize, | ||||
blockProperties_t* bpPtr); | ||||
Gregory Szorc
|
r42237 | /*! ZSTD_decodeSeqHeaders() : | ||
* decode sequence header from src */ | ||||
/* Used by: decompress, fullbench (does not get its definition from here) */ | ||||
size_t ZSTD_decodeSeqHeaders(ZSTD_DCtx* dctx, int* nbSeqPtr, | ||||
const void* src, size_t srcSize); | ||||
Gregory Szorc
|
r37513 | #if defined (__cplusplus) | ||
} | ||||
#endif | ||||
Gregory Szorc
|
r30434 | #endif /* ZSTD_CCOMMON_H_MODULE */ | ||