xref: /dflybsd-src/contrib/zstd/lib/common/zstd_internal.h (revision a28cd43d19e8b720a6c852a4bbc5ae147a26165a)
1*a28cd43dSSascha Wildner /*
2*a28cd43dSSascha Wildner  * Copyright (c) 2016-2020, Yann Collet, Facebook, Inc.
3*a28cd43dSSascha Wildner  * All rights reserved.
4*a28cd43dSSascha Wildner  *
5*a28cd43dSSascha Wildner  * This source code is licensed under both the BSD-style license (found in the
6*a28cd43dSSascha Wildner  * LICENSE file in the root directory of this source tree) and the GPLv2 (found
7*a28cd43dSSascha Wildner  * in the COPYING file in the root directory of this source tree).
8*a28cd43dSSascha Wildner  * You may select, at your option, one of the above-listed licenses.
9*a28cd43dSSascha Wildner  */
10*a28cd43dSSascha Wildner 
11*a28cd43dSSascha Wildner #ifndef ZSTD_CCOMMON_H_MODULE
12*a28cd43dSSascha Wildner #define ZSTD_CCOMMON_H_MODULE
13*a28cd43dSSascha Wildner 
14*a28cd43dSSascha Wildner /* this module contains definitions which must be identical
15*a28cd43dSSascha Wildner  * across compression, decompression and dictBuilder.
16*a28cd43dSSascha Wildner  * It also contains a few functions useful to at least 2 of them
17*a28cd43dSSascha Wildner  * and which benefit from being inlined */
18*a28cd43dSSascha Wildner 
19*a28cd43dSSascha Wildner /*-*************************************
20*a28cd43dSSascha Wildner *  Dependencies
21*a28cd43dSSascha Wildner ***************************************/
22*a28cd43dSSascha Wildner #if !defined(ZSTD_NO_INTRINSICS) && defined(__ARM_NEON)
23*a28cd43dSSascha Wildner #include <arm_neon.h>
24*a28cd43dSSascha Wildner #endif
25*a28cd43dSSascha Wildner #include "compiler.h"
26*a28cd43dSSascha Wildner #include "mem.h"
27*a28cd43dSSascha Wildner #include "debug.h"                 /* assert, DEBUGLOG, RAWLOG, g_debuglevel */
28*a28cd43dSSascha Wildner #include "error_private.h"
29*a28cd43dSSascha Wildner #define ZSTD_STATIC_LINKING_ONLY
30*a28cd43dSSascha Wildner #include "../zstd.h"
31*a28cd43dSSascha Wildner #define FSE_STATIC_LINKING_ONLY
32*a28cd43dSSascha Wildner #include "fse.h"
33*a28cd43dSSascha Wildner #define HUF_STATIC_LINKING_ONLY
34*a28cd43dSSascha Wildner #include "huf.h"
35*a28cd43dSSascha Wildner #ifndef XXH_STATIC_LINKING_ONLY
36*a28cd43dSSascha Wildner #  define XXH_STATIC_LINKING_ONLY  /* XXH64_state_t */
37*a28cd43dSSascha Wildner #endif
38*a28cd43dSSascha Wildner #include "xxhash.h"                /* XXH_reset, update, digest */
39*a28cd43dSSascha Wildner 
40*a28cd43dSSascha Wildner #if defined (__cplusplus)
41*a28cd43dSSascha Wildner extern "C" {
42*a28cd43dSSascha Wildner #endif
43*a28cd43dSSascha Wildner 
44*a28cd43dSSascha Wildner /* ---- static assert (debug) --- */
45*a28cd43dSSascha Wildner #define ZSTD_STATIC_ASSERT(c) DEBUG_STATIC_ASSERT(c)
46*a28cd43dSSascha Wildner #define ZSTD_isError ERR_isError   /* for inlining */
47*a28cd43dSSascha Wildner #define FSE_isError  ERR_isError
48*a28cd43dSSascha Wildner #define HUF_isError  ERR_isError
49*a28cd43dSSascha Wildner 
50*a28cd43dSSascha Wildner 
51*a28cd43dSSascha Wildner /*-*************************************
52*a28cd43dSSascha Wildner *  shared macros
53*a28cd43dSSascha Wildner ***************************************/
54*a28cd43dSSascha Wildner #undef MIN
55*a28cd43dSSascha Wildner #undef MAX
56*a28cd43dSSascha Wildner #define MIN(a,b) ((a)<(b) ? (a) : (b))
57*a28cd43dSSascha Wildner #define MAX(a,b) ((a)>(b) ? (a) : (b))
58*a28cd43dSSascha Wildner 
59*a28cd43dSSascha Wildner /**
60*a28cd43dSSascha Wildner  * Ignore: this is an internal helper.
61*a28cd43dSSascha Wildner  *
62*a28cd43dSSascha Wildner  * This is a helper function to help force C99-correctness during compilation.
63*a28cd43dSSascha Wildner  * Under strict compilation modes, variadic macro arguments can't be empty.
64*a28cd43dSSascha Wildner  * However, variadic function arguments can be. Using a function therefore lets
65*a28cd43dSSascha Wildner  * us statically check that at least one (string) argument was passed,
66*a28cd43dSSascha Wildner  * independent of the compilation flags.
67*a28cd43dSSascha Wildner  */
68*a28cd43dSSascha Wildner static INLINE_KEYWORD UNUSED_ATTR
_force_has_format_string(const char * format,...)69*a28cd43dSSascha Wildner void _force_has_format_string(const char *format, ...) {
70*a28cd43dSSascha Wildner   (void)format;
71*a28cd43dSSascha Wildner }
72*a28cd43dSSascha Wildner 
73*a28cd43dSSascha Wildner /**
74*a28cd43dSSascha Wildner  * Ignore: this is an internal helper.
75*a28cd43dSSascha Wildner  *
76*a28cd43dSSascha Wildner  * We want to force this function invocation to be syntactically correct, but
77*a28cd43dSSascha Wildner  * we don't want to force runtime evaluation of its arguments.
78*a28cd43dSSascha Wildner  */
79*a28cd43dSSascha Wildner #define _FORCE_HAS_FORMAT_STRING(...) \
80*a28cd43dSSascha Wildner   if (0) { \
81*a28cd43dSSascha Wildner     _force_has_format_string(__VA_ARGS__); \
82*a28cd43dSSascha Wildner   }
83*a28cd43dSSascha Wildner 
84*a28cd43dSSascha Wildner /**
85*a28cd43dSSascha Wildner  * Return the specified error if the condition evaluates to true.
86*a28cd43dSSascha Wildner  *
87*a28cd43dSSascha Wildner  * In debug modes, prints additional information.
88*a28cd43dSSascha Wildner  * In order to do that (particularly, printing the conditional that failed),
89*a28cd43dSSascha Wildner  * this can't just wrap RETURN_ERROR().
90*a28cd43dSSascha Wildner  */
91*a28cd43dSSascha Wildner #define RETURN_ERROR_IF(cond, err, ...) \
92*a28cd43dSSascha Wildner   if (cond) { \
93*a28cd43dSSascha Wildner     RAWLOG(3, "%s:%d: ERROR!: check %s failed, returning %s", \
94*a28cd43dSSascha Wildner            __FILE__, __LINE__, ZSTD_QUOTE(cond), ZSTD_QUOTE(ERROR(err))); \
95*a28cd43dSSascha Wildner     _FORCE_HAS_FORMAT_STRING(__VA_ARGS__); \
96*a28cd43dSSascha Wildner     RAWLOG(3, ": " __VA_ARGS__); \
97*a28cd43dSSascha Wildner     RAWLOG(3, "\n"); \
98*a28cd43dSSascha Wildner     return ERROR(err); \
99*a28cd43dSSascha Wildner   }
100*a28cd43dSSascha Wildner 
101*a28cd43dSSascha Wildner /**
102*a28cd43dSSascha Wildner  * Unconditionally return the specified error.
103*a28cd43dSSascha Wildner  *
104*a28cd43dSSascha Wildner  * In debug modes, prints additional information.
105*a28cd43dSSascha Wildner  */
106*a28cd43dSSascha Wildner #define RETURN_ERROR(err, ...) \
107*a28cd43dSSascha Wildner   do { \
108*a28cd43dSSascha Wildner     RAWLOG(3, "%s:%d: ERROR!: unconditional check failed, returning %s", \
109*a28cd43dSSascha Wildner            __FILE__, __LINE__, ZSTD_QUOTE(ERROR(err))); \
110*a28cd43dSSascha Wildner     _FORCE_HAS_FORMAT_STRING(__VA_ARGS__); \
111*a28cd43dSSascha Wildner     RAWLOG(3, ": " __VA_ARGS__); \
112*a28cd43dSSascha Wildner     RAWLOG(3, "\n"); \
113*a28cd43dSSascha Wildner     return ERROR(err); \
114*a28cd43dSSascha Wildner   } while(0);
115*a28cd43dSSascha Wildner 
116*a28cd43dSSascha Wildner /**
117*a28cd43dSSascha Wildner  * If the provided expression evaluates to an error code, returns that error code.
118*a28cd43dSSascha Wildner  *
119*a28cd43dSSascha Wildner  * In debug modes, prints additional information.
120*a28cd43dSSascha Wildner  */
121*a28cd43dSSascha Wildner #define FORWARD_IF_ERROR(err, ...) \
122*a28cd43dSSascha Wildner   do { \
123*a28cd43dSSascha Wildner     size_t const err_code = (err); \
124*a28cd43dSSascha Wildner     if (ERR_isError(err_code)) { \
125*a28cd43dSSascha Wildner       RAWLOG(3, "%s:%d: ERROR!: forwarding error in %s: %s", \
126*a28cd43dSSascha Wildner              __FILE__, __LINE__, ZSTD_QUOTE(err), ERR_getErrorName(err_code)); \
127*a28cd43dSSascha Wildner       _FORCE_HAS_FORMAT_STRING(__VA_ARGS__); \
128*a28cd43dSSascha Wildner       RAWLOG(3, ": " __VA_ARGS__); \
129*a28cd43dSSascha Wildner       RAWLOG(3, "\n"); \
130*a28cd43dSSascha Wildner       return err_code; \
131*a28cd43dSSascha Wildner     } \
132*a28cd43dSSascha Wildner   } while(0);
133*a28cd43dSSascha Wildner 
134*a28cd43dSSascha Wildner 
135*a28cd43dSSascha Wildner /*-*************************************
136*a28cd43dSSascha Wildner *  Common constants
137*a28cd43dSSascha Wildner ***************************************/
138*a28cd43dSSascha Wildner #define ZSTD_OPT_NUM    (1<<12)
139*a28cd43dSSascha Wildner 
140*a28cd43dSSascha Wildner #define ZSTD_REP_NUM      3                 /* number of repcodes */
141*a28cd43dSSascha Wildner #define ZSTD_REP_MOVE     (ZSTD_REP_NUM-1)
142*a28cd43dSSascha Wildner static UNUSED_ATTR const U32 repStartValue[ZSTD_REP_NUM] = { 1, 4, 8 };
143*a28cd43dSSascha Wildner 
144*a28cd43dSSascha Wildner #define KB *(1 <<10)
145*a28cd43dSSascha Wildner #define MB *(1 <<20)
146*a28cd43dSSascha Wildner #define GB *(1U<<30)
147*a28cd43dSSascha Wildner 
148*a28cd43dSSascha Wildner #define BIT7 128
149*a28cd43dSSascha Wildner #define BIT6  64
150*a28cd43dSSascha Wildner #define BIT5  32
151*a28cd43dSSascha Wildner #define BIT4  16
152*a28cd43dSSascha Wildner #define BIT1   2
153*a28cd43dSSascha Wildner #define BIT0   1
154*a28cd43dSSascha Wildner 
155*a28cd43dSSascha Wildner #define ZSTD_WINDOWLOG_ABSOLUTEMIN 10
156*a28cd43dSSascha Wildner static UNUSED_ATTR const size_t ZSTD_fcs_fieldSize[4] = { 0, 2, 4, 8 };
157*a28cd43dSSascha Wildner static UNUSED_ATTR const size_t ZSTD_did_fieldSize[4] = { 0, 1, 2, 4 };
158*a28cd43dSSascha Wildner 
159*a28cd43dSSascha Wildner #define ZSTD_FRAMEIDSIZE 4   /* magic number size */
160*a28cd43dSSascha Wildner 
161*a28cd43dSSascha Wildner #define ZSTD_BLOCKHEADERSIZE 3   /* C standard doesn't allow `static const` variable to be init using another `static const` variable */
162*a28cd43dSSascha Wildner static UNUSED_ATTR const size_t ZSTD_blockHeaderSize = ZSTD_BLOCKHEADERSIZE;
163*a28cd43dSSascha Wildner typedef enum { bt_raw, bt_rle, bt_compressed, bt_reserved } blockType_e;
164*a28cd43dSSascha Wildner 
165*a28cd43dSSascha Wildner #define ZSTD_FRAMECHECKSUMSIZE 4
166*a28cd43dSSascha Wildner 
167*a28cd43dSSascha Wildner #define MIN_SEQUENCES_SIZE 1 /* nbSeq==0 */
168*a28cd43dSSascha Wildner #define MIN_CBLOCK_SIZE (1 /*litCSize*/ + 1 /* RLE or RAW */ + MIN_SEQUENCES_SIZE /* nbSeq==0 */)   /* for a non-null block */
169*a28cd43dSSascha Wildner 
170*a28cd43dSSascha Wildner #define HufLog 12
171*a28cd43dSSascha Wildner typedef enum { set_basic, set_rle, set_compressed, set_repeat } symbolEncodingType_e;
172*a28cd43dSSascha Wildner 
173*a28cd43dSSascha Wildner #define LONGNBSEQ 0x7F00
174*a28cd43dSSascha Wildner 
175*a28cd43dSSascha Wildner #define MINMATCH 3
176*a28cd43dSSascha Wildner 
177*a28cd43dSSascha Wildner #define Litbits  8
178*a28cd43dSSascha Wildner #define MaxLit ((1<<Litbits) - 1)
179*a28cd43dSSascha Wildner #define MaxML   52
180*a28cd43dSSascha Wildner #define MaxLL   35
181*a28cd43dSSascha Wildner #define DefaultMaxOff 28
182*a28cd43dSSascha Wildner #define MaxOff  31
183*a28cd43dSSascha Wildner #define MaxSeq MAX(MaxLL, MaxML)   /* Assumption : MaxOff < MaxLL,MaxML */
184*a28cd43dSSascha Wildner #define MLFSELog    9
185*a28cd43dSSascha Wildner #define LLFSELog    9
186*a28cd43dSSascha Wildner #define OffFSELog   8
187*a28cd43dSSascha Wildner #define MaxFSELog  MAX(MAX(MLFSELog, LLFSELog), OffFSELog)
188*a28cd43dSSascha Wildner 
189*a28cd43dSSascha Wildner #define ZSTD_MAX_HUF_HEADER_SIZE 128 /* header + <= 127 byte tree description */
190*a28cd43dSSascha Wildner /* Each table cannot take more than #symbols * FSELog bits */
191*a28cd43dSSascha Wildner #define ZSTD_MAX_FSE_HEADERS_SIZE (((MaxML + 1) * MLFSELog + (MaxLL + 1) * LLFSELog + (MaxOff + 1) * OffFSELog + 7) / 8)
192*a28cd43dSSascha Wildner 
193*a28cd43dSSascha Wildner static UNUSED_ATTR const U32 LL_bits[MaxLL+1] = {
194*a28cd43dSSascha Wildner      0, 0, 0, 0, 0, 0, 0, 0,
195*a28cd43dSSascha Wildner      0, 0, 0, 0, 0, 0, 0, 0,
196*a28cd43dSSascha Wildner      1, 1, 1, 1, 2, 2, 3, 3,
197*a28cd43dSSascha Wildner      4, 6, 7, 8, 9,10,11,12,
198*a28cd43dSSascha Wildner     13,14,15,16
199*a28cd43dSSascha Wildner };
200*a28cd43dSSascha Wildner static UNUSED_ATTR const S16 LL_defaultNorm[MaxLL+1] = {
201*a28cd43dSSascha Wildner      4, 3, 2, 2, 2, 2, 2, 2,
202*a28cd43dSSascha Wildner      2, 2, 2, 2, 2, 1, 1, 1,
203*a28cd43dSSascha Wildner      2, 2, 2, 2, 2, 2, 2, 2,
204*a28cd43dSSascha Wildner      2, 3, 2, 1, 1, 1, 1, 1,
205*a28cd43dSSascha Wildner     -1,-1,-1,-1
206*a28cd43dSSascha Wildner };
207*a28cd43dSSascha Wildner #define LL_DEFAULTNORMLOG 6  /* for static allocation */
208*a28cd43dSSascha Wildner static UNUSED_ATTR const U32 LL_defaultNormLog = LL_DEFAULTNORMLOG;
209*a28cd43dSSascha Wildner 
210*a28cd43dSSascha Wildner static UNUSED_ATTR const U32 ML_bits[MaxML+1] = {
211*a28cd43dSSascha Wildner      0, 0, 0, 0, 0, 0, 0, 0,
212*a28cd43dSSascha Wildner      0, 0, 0, 0, 0, 0, 0, 0,
213*a28cd43dSSascha Wildner      0, 0, 0, 0, 0, 0, 0, 0,
214*a28cd43dSSascha Wildner      0, 0, 0, 0, 0, 0, 0, 0,
215*a28cd43dSSascha Wildner      1, 1, 1, 1, 2, 2, 3, 3,
216*a28cd43dSSascha Wildner      4, 4, 5, 7, 8, 9,10,11,
217*a28cd43dSSascha Wildner     12,13,14,15,16
218*a28cd43dSSascha Wildner };
219*a28cd43dSSascha Wildner static UNUSED_ATTR const S16 ML_defaultNorm[MaxML+1] = {
220*a28cd43dSSascha Wildner      1, 4, 3, 2, 2, 2, 2, 2,
221*a28cd43dSSascha Wildner      2, 1, 1, 1, 1, 1, 1, 1,
222*a28cd43dSSascha Wildner      1, 1, 1, 1, 1, 1, 1, 1,
223*a28cd43dSSascha Wildner      1, 1, 1, 1, 1, 1, 1, 1,
224*a28cd43dSSascha Wildner      1, 1, 1, 1, 1, 1, 1, 1,
225*a28cd43dSSascha Wildner      1, 1, 1, 1, 1, 1,-1,-1,
226*a28cd43dSSascha Wildner     -1,-1,-1,-1,-1
227*a28cd43dSSascha Wildner };
228*a28cd43dSSascha Wildner #define ML_DEFAULTNORMLOG 6  /* for static allocation */
229*a28cd43dSSascha Wildner static UNUSED_ATTR const U32 ML_defaultNormLog = ML_DEFAULTNORMLOG;
230*a28cd43dSSascha Wildner 
231*a28cd43dSSascha Wildner static UNUSED_ATTR const S16 OF_defaultNorm[DefaultMaxOff+1] = {
232*a28cd43dSSascha Wildner      1, 1, 1, 1, 1, 1, 2, 2,
233*a28cd43dSSascha Wildner      2, 1, 1, 1, 1, 1, 1, 1,
234*a28cd43dSSascha Wildner      1, 1, 1, 1, 1, 1, 1, 1,
235*a28cd43dSSascha Wildner     -1,-1,-1,-1,-1
236*a28cd43dSSascha Wildner };
237*a28cd43dSSascha Wildner #define OF_DEFAULTNORMLOG 5  /* for static allocation */
238*a28cd43dSSascha Wildner static UNUSED_ATTR const U32 OF_defaultNormLog = OF_DEFAULTNORMLOG;
239*a28cd43dSSascha Wildner 
240*a28cd43dSSascha Wildner 
241*a28cd43dSSascha Wildner /*-*******************************************
242*a28cd43dSSascha Wildner *  Shared functions to include for inlining
243*a28cd43dSSascha Wildner *********************************************/
ZSTD_copy8(void * dst,const void * src)244*a28cd43dSSascha Wildner static void ZSTD_copy8(void* dst, const void* src) {
245*a28cd43dSSascha Wildner #if !defined(ZSTD_NO_INTRINSICS) && defined(__ARM_NEON)
246*a28cd43dSSascha Wildner     vst1_u8((uint8_t*)dst, vld1_u8((const uint8_t*)src));
247*a28cd43dSSascha Wildner #else
248*a28cd43dSSascha Wildner     ZSTD_memcpy(dst, src, 8);
249*a28cd43dSSascha Wildner #endif
250*a28cd43dSSascha Wildner }
251*a28cd43dSSascha Wildner 
252*a28cd43dSSascha Wildner #define COPY8(d,s) { ZSTD_copy8(d,s); d+=8; s+=8; }
ZSTD_copy16(void * dst,const void * src)253*a28cd43dSSascha Wildner static void ZSTD_copy16(void* dst, const void* src) {
254*a28cd43dSSascha Wildner #if !defined(ZSTD_NO_INTRINSICS) && defined(__ARM_NEON)
255*a28cd43dSSascha Wildner     vst1q_u8((uint8_t*)dst, vld1q_u8((const uint8_t*)src));
256*a28cd43dSSascha Wildner #else
257*a28cd43dSSascha Wildner     ZSTD_memcpy(dst, src, 16);
258*a28cd43dSSascha Wildner #endif
259*a28cd43dSSascha Wildner }
260*a28cd43dSSascha Wildner #define COPY16(d,s) { ZSTD_copy16(d,s); d+=16; s+=16; }
261*a28cd43dSSascha Wildner 
262*a28cd43dSSascha Wildner #define WILDCOPY_OVERLENGTH 32
263*a28cd43dSSascha Wildner #define WILDCOPY_VECLEN 16
264*a28cd43dSSascha Wildner 
265*a28cd43dSSascha Wildner typedef enum {
266*a28cd43dSSascha Wildner     ZSTD_no_overlap,
267*a28cd43dSSascha Wildner     ZSTD_overlap_src_before_dst
268*a28cd43dSSascha Wildner     /*  ZSTD_overlap_dst_before_src, */
269*a28cd43dSSascha Wildner } ZSTD_overlap_e;
270*a28cd43dSSascha Wildner 
271*a28cd43dSSascha Wildner /*! ZSTD_wildcopy() :
272*a28cd43dSSascha Wildner  *  Custom version of ZSTD_memcpy(), can over read/write up to WILDCOPY_OVERLENGTH bytes (if length==0)
273*a28cd43dSSascha Wildner  *  @param ovtype controls the overlap detection
274*a28cd43dSSascha Wildner  *         - ZSTD_no_overlap: The source and destination are guaranteed to be at least WILDCOPY_VECLEN bytes apart.
275*a28cd43dSSascha Wildner  *         - ZSTD_overlap_src_before_dst: The src and dst may overlap, but they MUST be at least 8 bytes apart.
276*a28cd43dSSascha Wildner  *           The src buffer must be before the dst buffer.
277*a28cd43dSSascha Wildner  */
278*a28cd43dSSascha Wildner MEM_STATIC FORCE_INLINE_ATTR
ZSTD_wildcopy(void * dst,const void * src,ptrdiff_t length,ZSTD_overlap_e const ovtype)279*a28cd43dSSascha Wildner void ZSTD_wildcopy(void* dst, const void* src, ptrdiff_t length, ZSTD_overlap_e const ovtype)
280*a28cd43dSSascha Wildner {
281*a28cd43dSSascha Wildner     ptrdiff_t diff = (BYTE*)dst - (const BYTE*)src;
282*a28cd43dSSascha Wildner     const BYTE* ip = (const BYTE*)src;
283*a28cd43dSSascha Wildner     BYTE* op = (BYTE*)dst;
284*a28cd43dSSascha Wildner     BYTE* const oend = op + length;
285*a28cd43dSSascha Wildner 
286*a28cd43dSSascha Wildner     assert(diff >= 8 || (ovtype == ZSTD_no_overlap && diff <= -WILDCOPY_VECLEN));
287*a28cd43dSSascha Wildner 
288*a28cd43dSSascha Wildner     if (ovtype == ZSTD_overlap_src_before_dst && diff < WILDCOPY_VECLEN) {
289*a28cd43dSSascha Wildner         /* Handle short offset copies. */
290*a28cd43dSSascha Wildner         do {
291*a28cd43dSSascha Wildner             COPY8(op, ip)
292*a28cd43dSSascha Wildner         } while (op < oend);
293*a28cd43dSSascha Wildner     } else {
294*a28cd43dSSascha Wildner         assert(diff >= WILDCOPY_VECLEN || diff <= -WILDCOPY_VECLEN);
295*a28cd43dSSascha Wildner         /* Separate out the first COPY16() call because the copy length is
296*a28cd43dSSascha Wildner          * almost certain to be short, so the branches have different
297*a28cd43dSSascha Wildner          * probabilities. Since it is almost certain to be short, only do
298*a28cd43dSSascha Wildner          * one COPY16() in the first call. Then, do two calls per loop since
299*a28cd43dSSascha Wildner          * at that point it is more likely to have a high trip count.
300*a28cd43dSSascha Wildner          */
301*a28cd43dSSascha Wildner #ifdef __aarch64__
302*a28cd43dSSascha Wildner         do {
303*a28cd43dSSascha Wildner             COPY16(op, ip);
304*a28cd43dSSascha Wildner         }
305*a28cd43dSSascha Wildner         while (op < oend);
306*a28cd43dSSascha Wildner #else
307*a28cd43dSSascha Wildner         ZSTD_copy16(op, ip);
308*a28cd43dSSascha Wildner         if (16 >= length) return;
309*a28cd43dSSascha Wildner         op += 16;
310*a28cd43dSSascha Wildner         ip += 16;
311*a28cd43dSSascha Wildner         do {
312*a28cd43dSSascha Wildner             COPY16(op, ip);
313*a28cd43dSSascha Wildner             COPY16(op, ip);
314*a28cd43dSSascha Wildner         }
315*a28cd43dSSascha Wildner         while (op < oend);
316*a28cd43dSSascha Wildner #endif
317*a28cd43dSSascha Wildner     }
318*a28cd43dSSascha Wildner }
319*a28cd43dSSascha Wildner 
ZSTD_limitCopy(void * dst,size_t dstCapacity,const void * src,size_t srcSize)320*a28cd43dSSascha Wildner MEM_STATIC size_t ZSTD_limitCopy(void* dst, size_t dstCapacity, const void* src, size_t srcSize)
321*a28cd43dSSascha Wildner {
322*a28cd43dSSascha Wildner     size_t const length = MIN(dstCapacity, srcSize);
323*a28cd43dSSascha Wildner     if (length > 0) {
324*a28cd43dSSascha Wildner         ZSTD_memcpy(dst, src, length);
325*a28cd43dSSascha Wildner     }
326*a28cd43dSSascha Wildner     return length;
327*a28cd43dSSascha Wildner }
328*a28cd43dSSascha Wildner 
329*a28cd43dSSascha Wildner /* define "workspace is too large" as this number of times larger than needed */
330*a28cd43dSSascha Wildner #define ZSTD_WORKSPACETOOLARGE_FACTOR 3
331*a28cd43dSSascha Wildner 
332*a28cd43dSSascha Wildner /* when workspace is continuously too large
333*a28cd43dSSascha Wildner  * during at least this number of times,
334*a28cd43dSSascha Wildner  * context's memory usage is considered wasteful,
335*a28cd43dSSascha Wildner  * because it's sized to handle a worst case scenario which rarely happens.
336*a28cd43dSSascha Wildner  * In which case, resize it down to free some memory */
337*a28cd43dSSascha Wildner #define ZSTD_WORKSPACETOOLARGE_MAXDURATION 128
338*a28cd43dSSascha Wildner 
339*a28cd43dSSascha Wildner /* Controls whether the input/output buffer is buffered or stable. */
340*a28cd43dSSascha Wildner typedef enum {
341*a28cd43dSSascha Wildner     ZSTD_bm_buffered = 0,  /* Buffer the input/output */
342*a28cd43dSSascha Wildner     ZSTD_bm_stable = 1     /* ZSTD_inBuffer/ZSTD_outBuffer is stable */
343*a28cd43dSSascha Wildner } ZSTD_bufferMode_e;
344*a28cd43dSSascha Wildner 
345*a28cd43dSSascha Wildner 
346*a28cd43dSSascha Wildner /*-*******************************************
347*a28cd43dSSascha Wildner *  Private declarations
348*a28cd43dSSascha Wildner *********************************************/
349*a28cd43dSSascha Wildner typedef struct seqDef_s {
350*a28cd43dSSascha Wildner     U32 offset;         /* Offset code of the sequence */
351*a28cd43dSSascha Wildner     U16 litLength;
352*a28cd43dSSascha Wildner     U16 matchLength;
353*a28cd43dSSascha Wildner } seqDef;
354*a28cd43dSSascha Wildner 
355*a28cd43dSSascha Wildner typedef struct {
356*a28cd43dSSascha Wildner     seqDef* sequencesStart;
357*a28cd43dSSascha Wildner     seqDef* sequences;      /* ptr to end of sequences */
358*a28cd43dSSascha Wildner     BYTE* litStart;
359*a28cd43dSSascha Wildner     BYTE* lit;              /* ptr to end of literals */
360*a28cd43dSSascha Wildner     BYTE* llCode;
361*a28cd43dSSascha Wildner     BYTE* mlCode;
362*a28cd43dSSascha Wildner     BYTE* ofCode;
363*a28cd43dSSascha Wildner     size_t maxNbSeq;
364*a28cd43dSSascha Wildner     size_t maxNbLit;
365*a28cd43dSSascha Wildner 
366*a28cd43dSSascha Wildner     /* longLengthPos and longLengthID to allow us to represent either a single litLength or matchLength
367*a28cd43dSSascha Wildner      * in the seqStore that has a value larger than U16 (if it exists). To do so, we increment
368*a28cd43dSSascha Wildner      * the existing value of the litLength or matchLength by 0x10000.
369*a28cd43dSSascha Wildner      */
370*a28cd43dSSascha Wildner     U32   longLengthID;   /* 0 == no longLength; 1 == Represent the long literal; 2 == Represent the long match; */
371*a28cd43dSSascha Wildner     U32   longLengthPos;  /* Index of the sequence to apply long length modification to */
372*a28cd43dSSascha Wildner } seqStore_t;
373*a28cd43dSSascha Wildner 
374*a28cd43dSSascha Wildner typedef struct {
375*a28cd43dSSascha Wildner     U32 litLength;
376*a28cd43dSSascha Wildner     U32 matchLength;
377*a28cd43dSSascha Wildner } ZSTD_sequenceLength;
378*a28cd43dSSascha Wildner 
379*a28cd43dSSascha Wildner /**
380*a28cd43dSSascha Wildner  * Returns the ZSTD_sequenceLength for the given sequences. It handles the decoding of long sequences
381*a28cd43dSSascha Wildner  * indicated by longLengthPos and longLengthID, and adds MINMATCH back to matchLength.
382*a28cd43dSSascha Wildner  */
ZSTD_getSequenceLength(seqStore_t const * seqStore,seqDef const * seq)383*a28cd43dSSascha Wildner MEM_STATIC ZSTD_sequenceLength ZSTD_getSequenceLength(seqStore_t const* seqStore, seqDef const* seq)
384*a28cd43dSSascha Wildner {
385*a28cd43dSSascha Wildner     ZSTD_sequenceLength seqLen;
386*a28cd43dSSascha Wildner     seqLen.litLength = seq->litLength;
387*a28cd43dSSascha Wildner     seqLen.matchLength = seq->matchLength + MINMATCH;
388*a28cd43dSSascha Wildner     if (seqStore->longLengthPos == (U32)(seq - seqStore->sequencesStart)) {
389*a28cd43dSSascha Wildner         if (seqStore->longLengthID == 1) {
390*a28cd43dSSascha Wildner             seqLen.litLength += 0xFFFF;
391*a28cd43dSSascha Wildner         }
392*a28cd43dSSascha Wildner         if (seqStore->longLengthID == 2) {
393*a28cd43dSSascha Wildner             seqLen.matchLength += 0xFFFF;
394*a28cd43dSSascha Wildner         }
395*a28cd43dSSascha Wildner     }
396*a28cd43dSSascha Wildner     return seqLen;
397*a28cd43dSSascha Wildner }
398*a28cd43dSSascha Wildner 
399*a28cd43dSSascha Wildner /**
400*a28cd43dSSascha Wildner  * Contains the compressed frame size and an upper-bound for the decompressed frame size.
401*a28cd43dSSascha Wildner  * Note: before using `compressedSize`, check for errors using ZSTD_isError().
402*a28cd43dSSascha Wildner  *       similarly, before using `decompressedBound`, check for errors using:
403*a28cd43dSSascha Wildner  *          `decompressedBound != ZSTD_CONTENTSIZE_ERROR`
404*a28cd43dSSascha Wildner  */
405*a28cd43dSSascha Wildner typedef struct {
406*a28cd43dSSascha Wildner     size_t compressedSize;
407*a28cd43dSSascha Wildner     unsigned long long decompressedBound;
408*a28cd43dSSascha Wildner } ZSTD_frameSizeInfo;   /* decompress & legacy */
409*a28cd43dSSascha Wildner 
410*a28cd43dSSascha Wildner const seqStore_t* ZSTD_getSeqStore(const ZSTD_CCtx* ctx);   /* compress & dictBuilder */
411*a28cd43dSSascha Wildner void ZSTD_seqToCodes(const seqStore_t* seqStorePtr);   /* compress, dictBuilder, decodeCorpus (shouldn't get its definition from here) */
412*a28cd43dSSascha Wildner 
413*a28cd43dSSascha Wildner /* custom memory allocation functions */
414*a28cd43dSSascha Wildner void* ZSTD_customMalloc(size_t size, ZSTD_customMem customMem);
415*a28cd43dSSascha Wildner void* ZSTD_customCalloc(size_t size, ZSTD_customMem customMem);
416*a28cd43dSSascha Wildner void ZSTD_customFree(void* ptr, ZSTD_customMem customMem);
417*a28cd43dSSascha Wildner 
418*a28cd43dSSascha Wildner 
ZSTD_highbit32(U32 val)419*a28cd43dSSascha Wildner MEM_STATIC U32 ZSTD_highbit32(U32 val)   /* compress, dictBuilder, decodeCorpus */
420*a28cd43dSSascha Wildner {
421*a28cd43dSSascha Wildner     assert(val != 0);
422*a28cd43dSSascha Wildner     {
423*a28cd43dSSascha Wildner #   if defined(_MSC_VER)   /* Visual */
424*a28cd43dSSascha Wildner #       if STATIC_BMI2 == 1
425*a28cd43dSSascha Wildner             return _lzcnt_u32(val)^31;
426*a28cd43dSSascha Wildner #       else
427*a28cd43dSSascha Wildner             unsigned long r=0;
428*a28cd43dSSascha Wildner             return _BitScanReverse(&r, val) ? (unsigned)r : 0;
429*a28cd43dSSascha Wildner #       endif
430*a28cd43dSSascha Wildner #   elif defined(__GNUC__) && (__GNUC__ >= 3)   /* GCC Intrinsic */
431*a28cd43dSSascha Wildner         return __builtin_clz (val) ^ 31;
432*a28cd43dSSascha Wildner #   elif defined(__ICCARM__)    /* IAR Intrinsic */
433*a28cd43dSSascha Wildner         return 31 - __CLZ(val);
434*a28cd43dSSascha Wildner #   else   /* Software version */
435*a28cd43dSSascha Wildner         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 };
436*a28cd43dSSascha Wildner         U32 v = val;
437*a28cd43dSSascha Wildner         v |= v >> 1;
438*a28cd43dSSascha Wildner         v |= v >> 2;
439*a28cd43dSSascha Wildner         v |= v >> 4;
440*a28cd43dSSascha Wildner         v |= v >> 8;
441*a28cd43dSSascha Wildner         v |= v >> 16;
442*a28cd43dSSascha Wildner         return DeBruijnClz[(v * 0x07C4ACDDU) >> 27];
443*a28cd43dSSascha Wildner #   endif
444*a28cd43dSSascha Wildner     }
445*a28cd43dSSascha Wildner }
446*a28cd43dSSascha Wildner 
447*a28cd43dSSascha Wildner 
448*a28cd43dSSascha Wildner /* ZSTD_invalidateRepCodes() :
449*a28cd43dSSascha Wildner  * ensures next compression will not use repcodes from previous block.
450*a28cd43dSSascha Wildner  * Note : only works with regular variant;
451*a28cd43dSSascha Wildner  *        do not use with extDict variant ! */
452*a28cd43dSSascha Wildner void ZSTD_invalidateRepCodes(ZSTD_CCtx* cctx);   /* zstdmt, adaptive_compression (shouldn't get this definition from here) */
453*a28cd43dSSascha Wildner 
454*a28cd43dSSascha Wildner 
455*a28cd43dSSascha Wildner typedef struct {
456*a28cd43dSSascha Wildner     blockType_e blockType;
457*a28cd43dSSascha Wildner     U32 lastBlock;
458*a28cd43dSSascha Wildner     U32 origSize;
459*a28cd43dSSascha Wildner } blockProperties_t;   /* declared here for decompress and fullbench */
460*a28cd43dSSascha Wildner 
461*a28cd43dSSascha Wildner /*! ZSTD_getcBlockSize() :
462*a28cd43dSSascha Wildner  *  Provides the size of compressed block from block header `src` */
463*a28cd43dSSascha Wildner /* Used by: decompress, fullbench (does not get its definition from here) */
464*a28cd43dSSascha Wildner size_t ZSTD_getcBlockSize(const void* src, size_t srcSize,
465*a28cd43dSSascha Wildner                           blockProperties_t* bpPtr);
466*a28cd43dSSascha Wildner 
467*a28cd43dSSascha Wildner /*! ZSTD_decodeSeqHeaders() :
468*a28cd43dSSascha Wildner  *  decode sequence header from src */
469*a28cd43dSSascha Wildner /* Used by: decompress, fullbench (does not get its definition from here) */
470*a28cd43dSSascha Wildner size_t ZSTD_decodeSeqHeaders(ZSTD_DCtx* dctx, int* nbSeqPtr,
471*a28cd43dSSascha Wildner                        const void* src, size_t srcSize);
472*a28cd43dSSascha Wildner 
473*a28cd43dSSascha Wildner 
474*a28cd43dSSascha Wildner #if defined (__cplusplus)
475*a28cd43dSSascha Wildner }
476*a28cd43dSSascha Wildner #endif
477*a28cd43dSSascha Wildner 
478*a28cd43dSSascha Wildner #endif   /* ZSTD_CCOMMON_H_MODULE */
479