Coverage Report

Created: 2025-10-10 06:21

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/lz4/lib/lz4.c
Line
Count
Source
1
/*
2
   LZ4 - Fast LZ compression algorithm
3
   Copyright (c) Yann Collet. All rights reserved.
4
5
   BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
6
7
   Redistribution and use in source and binary forms, with or without
8
   modification, are permitted provided that the following conditions are
9
   met:
10
11
       * Redistributions of source code must retain the above copyright
12
   notice, this list of conditions and the following disclaimer.
13
       * Redistributions in binary form must reproduce the above
14
   copyright notice, this list of conditions and the following disclaimer
15
   in the documentation and/or other materials provided with the
16
   distribution.
17
18
   THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
19
   "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
20
   LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
21
   A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
22
   OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
23
   SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
24
   LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25
   DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26
   THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27
   (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
28
   OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29
30
   You can contact the author at :
31
    - LZ4 homepage : http://www.lz4.org
32
    - LZ4 source repository : https://github.com/lz4/lz4
33
*/
34
35
/*-************************************
36
*  Tuning parameters
37
**************************************/
38
/*
39
 * LZ4_HEAPMODE :
40
 * Select how stateless compression functions like `LZ4_compress_default()`
41
 * allocate memory for their hash table,
42
 * in memory stack (0:default, fastest), or in memory heap (1:requires malloc()).
43
 */
44
#ifndef LZ4_HEAPMODE
45
#  define LZ4_HEAPMODE 0
46
#endif
47
48
/*
49
 * LZ4_ACCELERATION_DEFAULT :
50
 * Select "acceleration" for LZ4_compress_fast() when parameter value <= 0
51
 */
52
0
#define LZ4_ACCELERATION_DEFAULT 1
53
/*
54
 * LZ4_ACCELERATION_MAX :
55
 * Any "acceleration" value higher than this threshold
56
 * get treated as LZ4_ACCELERATION_MAX instead (fix #876)
57
 */
58
1.61k
#define LZ4_ACCELERATION_MAX 65537
59
60
61
/*-************************************
62
*  CPU Feature Detection
63
**************************************/
64
/* LZ4_FORCE_MEMORY_ACCESS
65
 * By default, access to unaligned memory is controlled by `memcpy()`, which is safe and portable.
66
 * Unfortunately, on some target/compiler combinations, the generated assembly is sub-optimal.
67
 * The below switch allow to select different access method for improved performance.
68
 * Method 0 (default) : use `memcpy()`. Safe and portable.
69
 * Method 1 : `__packed` statement. It depends on compiler extension (ie, not portable).
70
 *            This method is safe if your compiler supports it, and *generally* as fast or faster than `memcpy`.
71
 * Method 2 : direct access. This method is portable but violate C standard.
72
 *            It can generate buggy code on targets which assembly generation depends on alignment.
73
 *            But in some circumstances, it's the only known way to get the most performance (ie GCC + ARMv6)
74
 * See https://fastcompression.blogspot.fr/2015/08/accessing-unaligned-memory.html for details.
75
 * Prefer these methods in priority order (0 > 1 > 2)
76
 */
77
#ifndef LZ4_FORCE_MEMORY_ACCESS   /* can be defined externally */
78
#  if defined(__GNUC__) && \
79
  ( defined(__ARM_ARCH_6__) || defined(__ARM_ARCH_6J__) || defined(__ARM_ARCH_6K__) \
80
  || defined(__ARM_ARCH_6Z__) || defined(__ARM_ARCH_6ZK__) || defined(__ARM_ARCH_6T2__) \
81
  || (defined(__riscv) && defined(__riscv_zicclsm)) )
82
#    define LZ4_FORCE_MEMORY_ACCESS 2
83
#  elif (defined(__INTEL_COMPILER) && !defined(_WIN32)) || defined(__GNUC__) || defined(_MSC_VER)
84
#    define LZ4_FORCE_MEMORY_ACCESS 1
85
#  endif
86
#endif
87
88
/*
89
 * LZ4_FORCE_SW_BITCOUNT
90
 * Define this parameter if your target system or compiler does not support hardware bit count
91
 */
92
#if defined(_MSC_VER) && defined(_WIN32_WCE)   /* Visual Studio for WinCE doesn't support Hardware bit count */
93
#  undef  LZ4_FORCE_SW_BITCOUNT  /* avoid double def */
94
#  define LZ4_FORCE_SW_BITCOUNT
95
#endif
96
97
98
99
/*-************************************
100
*  Dependency
101
**************************************/
102
/*
103
 * LZ4_SRC_INCLUDED:
104
 * Amalgamation flag, whether lz4.c is included
105
 */
106
#ifndef LZ4_SRC_INCLUDED
107
#  define LZ4_SRC_INCLUDED 1
108
#endif
109
110
#ifndef LZ4_DISABLE_DEPRECATE_WARNINGS
111
#  define LZ4_DISABLE_DEPRECATE_WARNINGS /* due to LZ4_decompress_safe_withPrefix64k */
112
#endif
113
114
#ifndef LZ4_STATIC_LINKING_ONLY
115
#  define LZ4_STATIC_LINKING_ONLY
116
#endif
117
#include "lz4.h"
118
/* see also "memory routines" below */
119
120
121
/*-************************************
122
*  Compiler Options
123
**************************************/
124
#if defined(_MSC_VER) && (_MSC_VER >= 1400)  /* Visual Studio 2005+ */
125
#  include <intrin.h>               /* only present in VS2005+ */
126
#  pragma warning(disable : 4127)   /* disable: C4127: conditional expression is constant */
127
#  pragma warning(disable : 6237)   /* disable: C6237: conditional expression is always 0 */
128
#  pragma warning(disable : 6239)   /* disable: C6239: (<non-zero constant> && <expression>) always evaluates to the result of <expression> */
129
#  pragma warning(disable : 6240)   /* disable: C6240: (<expression> && <non-zero constant>) always evaluates to the result of <expression> */
130
#  pragma warning(disable : 6326)   /* disable: C6326: Potential comparison of a constant with another constant */
131
#endif  /* _MSC_VER */
132
133
#ifndef LZ4_FORCE_INLINE
134
#  if defined (_MSC_VER) && !defined (__clang__)    /* MSVC */
135
#    define LZ4_FORCE_INLINE static __forceinline
136
#  else
137
#    if defined (__cplusplus) || defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L   /* C99 */
138
#      if defined (__GNUC__) || defined (__clang__)
139
#        define LZ4_FORCE_INLINE static inline __attribute__((always_inline))
140
#      else
141
#        define LZ4_FORCE_INLINE static inline
142
#      endif
143
#    else
144
#      define LZ4_FORCE_INLINE static
145
#    endif /* __STDC_VERSION__ */
146
#  endif  /* _MSC_VER */
147
#endif /* LZ4_FORCE_INLINE */
148
149
/* LZ4_FORCE_O2 and LZ4_FORCE_INLINE
150
 * gcc on ppc64le generates an unrolled SIMDized loop for LZ4_wildCopy8,
151
 * together with a simple 8-byte copy loop as a fall-back path.
152
 * However, this optimization hurts the decompression speed by >30%,
153
 * because the execution does not go to the optimized loop
154
 * for typical compressible data, and all of the preamble checks
155
 * before going to the fall-back path become useless overhead.
156
 * This optimization happens only with the -O3 flag, and -O2 generates
157
 * a simple 8-byte copy loop.
158
 * With gcc on ppc64le, all of the LZ4_decompress_* and LZ4_wildCopy8
159
 * functions are annotated with __attribute__((optimize("O2"))),
160
 * and also LZ4_wildCopy8 is forcibly inlined, so that the O2 attribute
161
 * of LZ4_wildCopy8 does not affect the compression speed.
162
 */
163
#if defined(__PPC64__) && defined(__LITTLE_ENDIAN__) && defined(__GNUC__) && !defined(__clang__)
164
#  define LZ4_FORCE_O2  __attribute__((optimize("O2")))
165
#  undef LZ4_FORCE_INLINE
166
#  define LZ4_FORCE_INLINE  static __inline __attribute__((optimize("O2"),always_inline))
167
#else
168
#  define LZ4_FORCE_O2
169
#endif
170
171
#if (defined(__GNUC__) && (__GNUC__ >= 3)) || (defined(__INTEL_COMPILER) && (__INTEL_COMPILER >= 800)) || defined(__clang__)
172
20.2M
#  define expect(expr,value)    (__builtin_expect ((expr),(value)) )
173
#else
174
#  define expect(expr,value)    (expr)
175
#endif
176
177
#ifndef likely
178
1.29M
#define likely(expr)     expect((expr) != 0, 1)
179
#endif
180
#ifndef unlikely
181
12.8M
#define unlikely(expr)   expect((expr) != 0, 0)
182
#endif
183
184
/* Should the alignment test prove unreliable, for some reason,
185
 * it can be disabled by setting LZ4_ALIGN_TEST to 0 */
186
#ifndef LZ4_ALIGN_TEST  /* can be externally provided */
187
# define LZ4_ALIGN_TEST 1
188
#endif
189
190
191
/*-************************************
192
*  Memory routines
193
**************************************/
194
195
/*! LZ4_STATIC_LINKING_ONLY_DISABLE_MEMORY_ALLOCATION :
196
 *  Disable relatively high-level LZ4/HC functions that use dynamic memory
197
 *  allocation functions (malloc(), calloc(), free()).
198
 *
199
 *  Note that this is a compile-time switch. And since it disables
200
 *  public/stable LZ4 v1 API functions, we don't recommend using this
201
 *  symbol to generate a library for distribution.
202
 *
203
 *  The following public functions are removed when this symbol is defined.
204
 *  - lz4   : LZ4_createStream, LZ4_freeStream,
205
 *            LZ4_createStreamDecode, LZ4_freeStreamDecode, LZ4_create (deprecated)
206
 *  - lz4hc : LZ4_createStreamHC, LZ4_freeStreamHC,
207
 *            LZ4_createHC (deprecated), LZ4_freeHC  (deprecated)
208
 *  - lz4frame, lz4file : All LZ4F_* functions
209
 */
210
#if defined(LZ4_STATIC_LINKING_ONLY_DISABLE_MEMORY_ALLOCATION)
211
#  define ALLOC(s)          lz4_error_memory_allocation_is_disabled
212
#  define ALLOC_AND_ZERO(s) lz4_error_memory_allocation_is_disabled
213
#  define FREEMEM(p)        lz4_error_memory_allocation_is_disabled
214
#elif defined(LZ4_USER_MEMORY_FUNCTIONS)
215
/* memory management functions can be customized by user project.
216
 * Below functions must exist somewhere in the Project
217
 * and be available at link time */
218
void* LZ4_malloc(size_t s);
219
void* LZ4_calloc(size_t n, size_t s);
220
void  LZ4_free(void* p);
221
# define ALLOC(s)          LZ4_malloc(s)
222
# define ALLOC_AND_ZERO(s) LZ4_calloc(1,s)
223
# define FREEMEM(p)        LZ4_free(p)
224
#else
225
# include <stdlib.h>   /* malloc, calloc, free */
226
0
# define ALLOC(s)          malloc(s)
227
0
# define ALLOC_AND_ZERO(s) calloc(1,s)
228
0
# define FREEMEM(p)        free(p)
229
#endif
230
231
#if ! LZ4_FREESTANDING
232
#  include <string.h>   /* memset, memcpy */
233
#endif
234
#if !defined(LZ4_memset)
235
8.17k
#  define LZ4_memset(p,v,s) memset((p),(v),(s))
236
#endif
237
8.17k
#define MEM_INIT(p,v,s)   LZ4_memset((p),(v),(s))
238
239
240
/*-************************************
241
*  Common Constants
242
**************************************/
243
3.56M
#define MINMATCH 4
244
245
13.8k
#define WILDCOPYLENGTH 8
246
427k
#define LASTLITERALS   5   /* see ../doc/lz4_Block_format.md#parsing-restrictions */
247
17.7k
#define MFLIMIT       12   /* see ../doc/lz4_Block_format.md#parsing-restrictions */
248
13.0k
#define MATCH_SAFEGUARD_DISTANCE  ((2*WILDCOPYLENGTH) - MINMATCH)   /* ensure it's possible to write 2 x wildcopyLength without overflowing output buffer */
249
758k
#define FASTLOOP_SAFE_DISTANCE 64
250
static const int LZ4_minLength = (MFLIMIT+1);
251
252
11.3k
#define KB *(1 <<10)
253
#define MB *(1 <<20)
254
0
#define GB *(1U<<30)
255
256
516k
#define LZ4_DISTANCE_ABSOLUTE_MAX 65535
257
#if (LZ4_DISTANCE_MAX > LZ4_DISTANCE_ABSOLUTE_MAX)   /* max supported by LZ4 format */
258
#  error "LZ4_DISTANCE_MAX is too big : must be <= 65535"
259
#endif
260
261
6.12M
#define ML_BITS  4
262
3.09M
#define ML_MASK  ((1U<<ML_BITS)-1)
263
1.71M
#define RUN_BITS (8-ML_BITS)
264
1.71M
#define RUN_MASK ((1U<<RUN_BITS)-1)
265
266
267
/*-************************************
268
*  Error detection
269
**************************************/
270
#if defined(LZ4_DEBUG) && (LZ4_DEBUG>=1)
271
#  include <assert.h>
272
#else
273
#  ifndef assert
274
#    define assert(condition) ((void)0)
275
#  endif
276
#endif
277
278
9.86M
#define LZ4_STATIC_ASSERT(c)   { enum { LZ4_static_assert = 1/(int)(!!(c)) }; }   /* use after variable declarations */
279
280
#if defined(LZ4_DEBUG) && (LZ4_DEBUG>=2)
281
#  include <stdio.h>
282
   static int g_debuglog_enable = 1;
283
#  define DEBUGLOG(l, ...) {                          \
284
        if ((g_debuglog_enable) && (l<=LZ4_DEBUG)) {  \
285
            fprintf(stderr, __FILE__  " %i: ", __LINE__); \
286
            fprintf(stderr, __VA_ARGS__);             \
287
            fprintf(stderr, " \n");                   \
288
    }   }
289
#else
290
14.5M
#  define DEBUGLOG(l, ...) {}    /* disabled */
291
#endif
292
293
static int LZ4_isAligned(const void* ptr, size_t alignment)
294
1.61k
{
295
1.61k
    return ((size_t)ptr & (alignment -1)) == 0;
296
1.61k
}
Unexecuted instantiation: round_trip_fuzzer.c:LZ4_isAligned
Unexecuted instantiation: lz4_helpers.c:LZ4_isAligned
Unexecuted instantiation: fuzz_data_producer.c:LZ4_isAligned
lz4.c:LZ4_isAligned
Line
Count
Source
294
1.61k
{
295
1.61k
    return ((size_t)ptr & (alignment -1)) == 0;
296
1.61k
}
Unexecuted instantiation: lz4hc.c:LZ4_isAligned
297
298
299
/*-************************************
300
*  Types
301
**************************************/
302
#include <limits.h>
303
#if defined(__cplusplus) || (defined (__STDC_VERSION__) && (__STDC_VERSION__ >= 199901L) /* C99 */)
304
# include <stdint.h>
305
  typedef unsigned char BYTE; /*uint8_t not necessarily blessed to alias arbitrary type*/
306
  typedef uint16_t      U16;
307
  typedef uint32_t      U32;
308
  typedef  int32_t      S32;
309
  typedef uint64_t      U64;
310
  typedef uintptr_t     uptrval;
311
#else
312
# if UINT_MAX != 4294967295UL
313
#   error "LZ4 code (when not C++ or C99) assumes that sizeof(int) == 4"
314
# endif
315
  typedef unsigned char       BYTE;
316
  typedef unsigned short      U16;
317
  typedef unsigned int        U32;
318
  typedef   signed int        S32;
319
  typedef unsigned long long  U64;
320
  typedef size_t              uptrval;   /* generally true, except OpenVMS-64 */
321
#endif
322
323
#if defined(__x86_64__)
324
  typedef U64    reg_t;   /* 64-bits in x32 mode */
325
#else
326
  typedef size_t reg_t;   /* 32-bits in x32 mode */
327
#endif
328
329
typedef enum {
330
    notLimited = 0,
331
    limitedOutput = 1,
332
    fillOutput = 2
333
} limitedOutput_directive;
334
335
336
/*-************************************
337
*  Reading and writing into memory
338
**************************************/
339
340
/**
341
 * LZ4 relies on memcpy with a constant size being inlined. In freestanding
342
 * environments, the compiler can't assume the implementation of memcpy() is
343
 * standard compliant, so it can't apply its specialized memcpy() inlining
344
 * logic. When possible, use __builtin_memcpy() to tell the compiler to analyze
345
 * memcpy() as if it were standard compliant, so it can inline it in freestanding
346
 * environments. This is needed when decompressing the Linux Kernel, for example.
347
 */
348
#if !defined(LZ4_memcpy)
349
#  if defined(__GNUC__) && (__GNUC__ >= 4)
350
11.2M
#    define LZ4_memcpy(dst, src, size) __builtin_memcpy(dst, src, size)
351
#  else
352
#    define LZ4_memcpy(dst, src, size) memcpy(dst, src, size)
353
#  endif
354
#endif
355
356
#if !defined(LZ4_memmove)
357
#  if defined(__GNUC__) && (__GNUC__ >= 4)
358
9.74k
#    define LZ4_memmove __builtin_memmove
359
#  else
360
#    define LZ4_memmove memmove
361
#  endif
362
#endif
363
364
static unsigned LZ4_isLittleEndian(void)
365
12.6M
{
366
12.6M
    const union { U32 u; BYTE c[4]; } one = { 1 };   /* don't use static : performance detrimental */
367
12.6M
    return one.c[0];
368
12.6M
}
Unexecuted instantiation: round_trip_fuzzer.c:LZ4_isLittleEndian
Unexecuted instantiation: lz4_helpers.c:LZ4_isLittleEndian
Unexecuted instantiation: fuzz_data_producer.c:LZ4_isLittleEndian
lz4.c:LZ4_isLittleEndian
Line
Count
Source
365
12.6M
{
366
12.6M
    const union { U32 u; BYTE c[4]; } one = { 1 };   /* don't use static : performance detrimental */
367
12.6M
    return one.c[0];
368
12.6M
}
Unexecuted instantiation: lz4hc.c:LZ4_isLittleEndian
369
370
#if defined(__GNUC__) || defined(__INTEL_COMPILER)
371
#define LZ4_PACK( __Declaration__ ) __Declaration__ __attribute__((__packed__))
372
#elif defined(_MSC_VER)
373
#define LZ4_PACK( __Declaration__ ) __pragma( pack(push, 1) ) __Declaration__ __pragma( pack(pop))
374
#endif
375
376
#if defined(LZ4_FORCE_MEMORY_ACCESS) && (LZ4_FORCE_MEMORY_ACCESS==2)
377
/* lie to the compiler about data alignment; use with caution */
378
379
static U16 LZ4_read16(const void* memPtr) { return *(const U16*) memPtr; }
380
static U32 LZ4_read32(const void* memPtr) { return *(const U32*) memPtr; }
381
static reg_t LZ4_read_ARCH(const void* memPtr) { return *(const reg_t*) memPtr; }
382
383
static void LZ4_write16(void* memPtr, U16 value) { *(U16*)memPtr = value; }
384
static void LZ4_write32(void* memPtr, U32 value) { *(U32*)memPtr = value; }
385
386
#elif defined(LZ4_FORCE_MEMORY_ACCESS) && (LZ4_FORCE_MEMORY_ACCESS==1)
387
388
/* __pack instructions are safer, but compiler specific, hence potentially problematic for some compilers */
389
/* currently only defined for gcc and icc */
390
LZ4_PACK(typedef struct { U16 u16; }) LZ4_unalign16;
391
LZ4_PACK(typedef struct { U32 u32; }) LZ4_unalign32;
392
LZ4_PACK(typedef struct { reg_t uArch; }) LZ4_unalignST;
393
394
765k
static U16 LZ4_read16(const void* ptr) { return ((const LZ4_unalign16*)ptr)->u16; }
Unexecuted instantiation: round_trip_fuzzer.c:LZ4_read16
Unexecuted instantiation: lz4_helpers.c:LZ4_read16
Unexecuted instantiation: fuzz_data_producer.c:LZ4_read16
lz4.c:LZ4_read16
Line
Count
Source
394
765k
static U16 LZ4_read16(const void* ptr) { return ((const LZ4_unalign16*)ptr)->u16; }
Unexecuted instantiation: lz4hc.c:LZ4_read16
395
19.2M
static U32 LZ4_read32(const void* ptr) { return ((const LZ4_unalign32*)ptr)->u32; }
Unexecuted instantiation: round_trip_fuzzer.c:LZ4_read32
Unexecuted instantiation: lz4_helpers.c:LZ4_read32
Unexecuted instantiation: fuzz_data_producer.c:LZ4_read32
lz4.c:LZ4_read32
Line
Count
Source
395
19.2M
static U32 LZ4_read32(const void* ptr) { return ((const LZ4_unalign32*)ptr)->u32; }
Unexecuted instantiation: lz4hc.c:LZ4_read32
396
24.1M
static reg_t LZ4_read_ARCH(const void* ptr) { return ((const LZ4_unalignST*)ptr)->uArch; }
Unexecuted instantiation: round_trip_fuzzer.c:LZ4_read_ARCH
Unexecuted instantiation: lz4_helpers.c:LZ4_read_ARCH
Unexecuted instantiation: fuzz_data_producer.c:LZ4_read_ARCH
lz4.c:LZ4_read_ARCH
Line
Count
Source
396
24.1M
static reg_t LZ4_read_ARCH(const void* ptr) { return ((const LZ4_unalignST*)ptr)->uArch; }
Unexecuted instantiation: lz4hc.c:LZ4_read_ARCH
397
398
735k
static void LZ4_write16(void* memPtr, U16 value) { ((LZ4_unalign16*)memPtr)->u16 = value; }
Unexecuted instantiation: round_trip_fuzzer.c:LZ4_write16
Unexecuted instantiation: lz4_helpers.c:LZ4_write16
Unexecuted instantiation: fuzz_data_producer.c:LZ4_write16
lz4.c:LZ4_write16
Line
Count
Source
398
735k
static void LZ4_write16(void* memPtr, U16 value) { ((LZ4_unalign16*)memPtr)->u16 = value; }
Unexecuted instantiation: lz4hc.c:LZ4_write16
399
456k
static void LZ4_write32(void* memPtr, U32 value) { ((LZ4_unalign32*)memPtr)->u32 = value; }
Unexecuted instantiation: round_trip_fuzzer.c:LZ4_write32
Unexecuted instantiation: lz4_helpers.c:LZ4_write32
Unexecuted instantiation: fuzz_data_producer.c:LZ4_write32
lz4.c:LZ4_write32
Line
Count
Source
399
456k
static void LZ4_write32(void* memPtr, U32 value) { ((LZ4_unalign32*)memPtr)->u32 = value; }
Unexecuted instantiation: lz4hc.c:LZ4_write32
400
401
#else  /* safe and portable access using memcpy() */
402
403
static U16 LZ4_read16(const void* memPtr)
404
{
405
    U16 val; LZ4_memcpy(&val, memPtr, sizeof(val)); return val;
406
}
407
408
static U32 LZ4_read32(const void* memPtr)
409
{
410
    U32 val; LZ4_memcpy(&val, memPtr, sizeof(val)); return val;
411
}
412
413
static reg_t LZ4_read_ARCH(const void* memPtr)
414
{
415
    reg_t val; LZ4_memcpy(&val, memPtr, sizeof(val)); return val;
416
}
417
418
static void LZ4_write16(void* memPtr, U16 value)
419
{
420
    LZ4_memcpy(memPtr, &value, sizeof(value));
421
}
422
423
static void LZ4_write32(void* memPtr, U32 value)
424
{
425
    LZ4_memcpy(memPtr, &value, sizeof(value));
426
}
427
428
#endif /* LZ4_FORCE_MEMORY_ACCESS */
429
430
431
static U16 LZ4_readLE16(const void* memPtr)
432
763k
{
433
763k
    if (LZ4_isLittleEndian()) {
434
763k
        return LZ4_read16(memPtr);
435
763k
    } else {
436
0
        const BYTE* p = (const BYTE*)memPtr;
437
0
        return (U16)((U16)p[0] | (p[1]<<8));
438
0
    }
439
763k
}
Unexecuted instantiation: round_trip_fuzzer.c:LZ4_readLE16
Unexecuted instantiation: lz4_helpers.c:LZ4_readLE16
Unexecuted instantiation: fuzz_data_producer.c:LZ4_readLE16
lz4.c:LZ4_readLE16
Line
Count
Source
432
763k
{
433
763k
    if (LZ4_isLittleEndian()) {
434
763k
        return LZ4_read16(memPtr);
435
763k
    } else {
436
0
        const BYTE* p = (const BYTE*)memPtr;
437
0
        return (U16)((U16)p[0] | (p[1]<<8));
438
0
    }
439
763k
}
Unexecuted instantiation: lz4hc.c:LZ4_readLE16
440
441
#ifdef LZ4_STATIC_LINKING_ONLY_ENDIANNESS_INDEPENDENT_OUTPUT
442
static U32 LZ4_readLE32(const void* memPtr)
443
{
444
    if (LZ4_isLittleEndian()) {
445
        return LZ4_read32(memPtr);
446
    } else {
447
        const BYTE* p = (const BYTE*)memPtr;
448
        return (U32)p[0] | (p[1]<<8) | (p[2]<<16) | (p[3]<<24);
449
    }
450
}
451
#endif
452
453
static void LZ4_writeLE16(void* memPtr, U16 value)
454
735k
{
455
735k
    if (LZ4_isLittleEndian()) {
456
735k
        LZ4_write16(memPtr, value);
457
735k
    } else {
458
0
        BYTE* p = (BYTE*)memPtr;
459
0
        p[0] = (BYTE) value;
460
0
        p[1] = (BYTE)(value>>8);
461
0
    }
462
735k
}
Unexecuted instantiation: round_trip_fuzzer.c:LZ4_writeLE16
Unexecuted instantiation: lz4_helpers.c:LZ4_writeLE16
Unexecuted instantiation: fuzz_data_producer.c:LZ4_writeLE16
lz4.c:LZ4_writeLE16
Line
Count
Source
454
735k
{
455
735k
    if (LZ4_isLittleEndian()) {
456
735k
        LZ4_write16(memPtr, value);
457
735k
    } else {
458
0
        BYTE* p = (BYTE*)memPtr;
459
0
        p[0] = (BYTE) value;
460
0
        p[1] = (BYTE)(value>>8);
461
0
    }
462
735k
}
Unexecuted instantiation: lz4hc.c:LZ4_writeLE16
463
464
/* customized variant of memcpy, which can overwrite up to 8 bytes beyond dstEnd */
465
LZ4_FORCE_INLINE
466
void LZ4_wildCopy8(void* dstPtr, const void* srcPtr, void* dstEnd)
467
565k
{
468
565k
    BYTE* d = (BYTE*)dstPtr;
469
565k
    const BYTE* s = (const BYTE*)srcPtr;
470
565k
    BYTE* const e = (BYTE*)dstEnd;
471
472
4.60M
    do { LZ4_memcpy(d,s,8); d+=8; s+=8; } while (d<e);
473
565k
}
Unexecuted instantiation: round_trip_fuzzer.c:LZ4_wildCopy8
Unexecuted instantiation: lz4_helpers.c:LZ4_wildCopy8
Unexecuted instantiation: fuzz_data_producer.c:LZ4_wildCopy8
lz4.c:LZ4_wildCopy8
Line
Count
Source
467
565k
{
468
565k
    BYTE* d = (BYTE*)dstPtr;
469
565k
    const BYTE* s = (const BYTE*)srcPtr;
470
565k
    BYTE* const e = (BYTE*)dstEnd;
471
472
4.60M
    do { LZ4_memcpy(d,s,8); d+=8; s+=8; } while (d<e);
473
565k
}
Unexecuted instantiation: lz4hc.c:LZ4_wildCopy8
474
475
static const unsigned inc32table[8] = {0, 1, 2,  1,  0,  4, 4, 4};
476
static const int      dec64table[8] = {0, 0, 0, -1, -4,  1, 2, 3};
477
478
479
#ifndef LZ4_FAST_DEC_LOOP
480
#  if defined __i386__ || defined _M_IX86 || defined __x86_64__ || defined _M_X64
481
#    define LZ4_FAST_DEC_LOOP 1
482
#  elif defined(__aarch64__)
483
#    if defined(__clang__) && defined(__ANDROID__)
484
     /* On Android aarch64, we disable this optimization for clang because
485
      * on certain mobile chipsets, performance is reduced with clang. For
486
      * more information refer to https://github.com/lz4/lz4/pull/707 */
487
#      define LZ4_FAST_DEC_LOOP 0
488
#    else
489
#      define LZ4_FAST_DEC_LOOP 1
490
#    endif
491
#  else
492
#    define LZ4_FAST_DEC_LOOP 0
493
#  endif
494
#endif
495
496
#if LZ4_FAST_DEC_LOOP
497
498
LZ4_FORCE_INLINE void
499
LZ4_memcpy_using_offset_base(BYTE* dstPtr, const BYTE* srcPtr, BYTE* dstEnd, const size_t offset)
500
6.10k
{
501
6.10k
    assert(srcPtr + offset == dstPtr);
502
6.10k
    if (offset < 8) {
503
5.35k
        LZ4_write32(dstPtr, 0);   /* silence an msan warning when offset==0 */
504
5.35k
        dstPtr[0] = srcPtr[0];
505
5.35k
        dstPtr[1] = srcPtr[1];
506
5.35k
        dstPtr[2] = srcPtr[2];
507
5.35k
        dstPtr[3] = srcPtr[3];
508
5.35k
        srcPtr += inc32table[offset];
509
5.35k
        LZ4_memcpy(dstPtr+4, srcPtr, 4);
510
5.35k
        srcPtr -= dec64table[offset];
511
5.35k
        dstPtr += 8;
512
5.35k
    } else {
513
749
        LZ4_memcpy(dstPtr, srcPtr, 8);
514
749
        dstPtr += 8;
515
749
        srcPtr += 8;
516
749
    }
517
518
6.10k
    LZ4_wildCopy8(dstPtr, srcPtr, dstEnd);
519
6.10k
}
Unexecuted instantiation: round_trip_fuzzer.c:LZ4_memcpy_using_offset_base
Unexecuted instantiation: lz4_helpers.c:LZ4_memcpy_using_offset_base
Unexecuted instantiation: fuzz_data_producer.c:LZ4_memcpy_using_offset_base
lz4.c:LZ4_memcpy_using_offset_base
Line
Count
Source
500
6.10k
{
501
6.10k
    assert(srcPtr + offset == dstPtr);
502
6.10k
    if (offset < 8) {
503
5.35k
        LZ4_write32(dstPtr, 0);   /* silence an msan warning when offset==0 */
504
5.35k
        dstPtr[0] = srcPtr[0];
505
5.35k
        dstPtr[1] = srcPtr[1];
506
5.35k
        dstPtr[2] = srcPtr[2];
507
5.35k
        dstPtr[3] = srcPtr[3];
508
5.35k
        srcPtr += inc32table[offset];
509
5.35k
        LZ4_memcpy(dstPtr+4, srcPtr, 4);
510
5.35k
        srcPtr -= dec64table[offset];
511
5.35k
        dstPtr += 8;
512
5.35k
    } else {
513
749
        LZ4_memcpy(dstPtr, srcPtr, 8);
514
749
        dstPtr += 8;
515
749
        srcPtr += 8;
516
749
    }
517
518
6.10k
    LZ4_wildCopy8(dstPtr, srcPtr, dstEnd);
519
6.10k
}
Unexecuted instantiation: lz4hc.c:LZ4_memcpy_using_offset_base
520
521
/* customized variant of memcpy, which can overwrite up to 32 bytes beyond dstEnd
522
 * this version copies two times 16 bytes (instead of one time 32 bytes)
523
 * because it must be compatible with offsets >= 16. */
524
LZ4_FORCE_INLINE void
525
LZ4_wildCopy32(void* dstPtr, const void* srcPtr, void* dstEnd)
526
524k
{
527
524k
    BYTE* d = (BYTE*)dstPtr;
528
524k
    const BYTE* s = (const BYTE*)srcPtr;
529
524k
    BYTE* const e = (BYTE*)dstEnd;
530
531
1.67M
    do { LZ4_memcpy(d,s,16); LZ4_memcpy(d+16,s+16,16); d+=32; s+=32; } while (d<e);
532
524k
}
Unexecuted instantiation: round_trip_fuzzer.c:LZ4_wildCopy32
Unexecuted instantiation: lz4_helpers.c:LZ4_wildCopy32
Unexecuted instantiation: fuzz_data_producer.c:LZ4_wildCopy32
lz4.c:LZ4_wildCopy32
Line
Count
Source
526
524k
{
527
524k
    BYTE* d = (BYTE*)dstPtr;
528
524k
    const BYTE* s = (const BYTE*)srcPtr;
529
524k
    BYTE* const e = (BYTE*)dstEnd;
530
531
1.67M
    do { LZ4_memcpy(d,s,16); LZ4_memcpy(d+16,s+16,16); d+=32; s+=32; } while (d<e);
532
524k
}
Unexecuted instantiation: lz4hc.c:LZ4_wildCopy32
533
534
/* LZ4_memcpy_using_offset()  presumes :
535
 * - dstEnd >= dstPtr + MINMATCH
536
 * - there is at least 12 bytes available to write after dstEnd */
537
LZ4_FORCE_INLINE void
538
LZ4_memcpy_using_offset(BYTE* dstPtr, const BYTE* srcPtr, BYTE* dstEnd, const size_t offset)
539
54.4k
{
540
54.4k
    BYTE v[8];
541
542
54.4k
    assert(dstEnd >= dstPtr + MINMATCH);
543
544
54.4k
    switch(offset) {
545
6.56k
    case 1:
546
6.56k
        MEM_INIT(v, *srcPtr, 8);
547
6.56k
        break;
548
24.9k
    case 2:
549
24.9k
        LZ4_memcpy(v, srcPtr, 2);
550
24.9k
        LZ4_memcpy(&v[2], srcPtr, 2);
551
#if defined(_MSC_VER) && (_MSC_VER <= 1937) /* MSVC 2022 ver 17.7 or earlier */
552
#  pragma warning(push)
553
#  pragma warning(disable : 6385) /* warning C6385: Reading invalid data from 'v'. */
554
#endif
555
24.9k
        LZ4_memcpy(&v[4], v, 4);
556
#if defined(_MSC_VER) && (_MSC_VER <= 1937) /* MSVC 2022 ver 17.7 or earlier */
557
#  pragma warning(pop)
558
#endif
559
24.9k
        break;
560
16.8k
    case 4:
561
16.8k
        LZ4_memcpy(v, srcPtr, 4);
562
16.8k
        LZ4_memcpy(&v[4], srcPtr, 4);
563
16.8k
        break;
564
6.10k
    default:
565
6.10k
        LZ4_memcpy_using_offset_base(dstPtr, srcPtr, dstEnd, offset);
566
6.10k
        return;
567
54.4k
    }
568
569
48.3k
    LZ4_memcpy(dstPtr, v, 8);
570
48.3k
    dstPtr += 8;
571
1.65M
    while (dstPtr < dstEnd) {
572
1.61M
        LZ4_memcpy(dstPtr, v, 8);
573
1.61M
        dstPtr += 8;
574
1.61M
    }
575
48.3k
}
Unexecuted instantiation: round_trip_fuzzer.c:LZ4_memcpy_using_offset
Unexecuted instantiation: lz4_helpers.c:LZ4_memcpy_using_offset
Unexecuted instantiation: fuzz_data_producer.c:LZ4_memcpy_using_offset
lz4.c:LZ4_memcpy_using_offset
Line
Count
Source
539
54.4k
{
540
54.4k
    BYTE v[8];
541
542
54.4k
    assert(dstEnd >= dstPtr + MINMATCH);
543
544
54.4k
    switch(offset) {
545
6.56k
    case 1:
546
6.56k
        MEM_INIT(v, *srcPtr, 8);
547
6.56k
        break;
548
24.9k
    case 2:
549
24.9k
        LZ4_memcpy(v, srcPtr, 2);
550
24.9k
        LZ4_memcpy(&v[2], srcPtr, 2);
551
#if defined(_MSC_VER) && (_MSC_VER <= 1937) /* MSVC 2022 ver 17.7 or earlier */
552
#  pragma warning(push)
553
#  pragma warning(disable : 6385) /* warning C6385: Reading invalid data from 'v'. */
554
#endif
555
24.9k
        LZ4_memcpy(&v[4], v, 4);
556
#if defined(_MSC_VER) && (_MSC_VER <= 1937) /* MSVC 2022 ver 17.7 or earlier */
557
#  pragma warning(pop)
558
#endif
559
24.9k
        break;
560
16.8k
    case 4:
561
16.8k
        LZ4_memcpy(v, srcPtr, 4);
562
16.8k
        LZ4_memcpy(&v[4], srcPtr, 4);
563
16.8k
        break;
564
6.10k
    default:
565
6.10k
        LZ4_memcpy_using_offset_base(dstPtr, srcPtr, dstEnd, offset);
566
6.10k
        return;
567
54.4k
    }
568
569
48.3k
    LZ4_memcpy(dstPtr, v, 8);
570
48.3k
    dstPtr += 8;
571
1.65M
    while (dstPtr < dstEnd) {
572
1.61M
        LZ4_memcpy(dstPtr, v, 8);
573
1.61M
        dstPtr += 8;
574
1.61M
    }
575
48.3k
}
Unexecuted instantiation: lz4hc.c:LZ4_memcpy_using_offset
576
#endif
577
578
579
/*-************************************
580
*  Common functions
581
**************************************/
582
static unsigned LZ4_NbCommonBytes (reg_t val)
583
734k
{
584
734k
    assert(val != 0);
585
734k
    if (LZ4_isLittleEndian()) {
586
734k
        if (sizeof(val) == 8) {
587
#       if defined(_MSC_VER) && (_MSC_VER >= 1800) && (defined(_M_AMD64) && !defined(_M_ARM64EC)) && !defined(LZ4_FORCE_SW_BITCOUNT)
588
/*-*************************************************************************************************
589
* ARM64EC is a Microsoft-designed ARM64 ABI compatible with AMD64 applications on ARM64 Windows 11.
590
* The ARM64EC ABI does not support AVX/AVX2/AVX512 instructions, nor their relevant intrinsics
591
* including _tzcnt_u64. Therefore, we need to neuter the _tzcnt_u64 code path for ARM64EC.
592
****************************************************************************************************/
593
#         if defined(__clang__) && (__clang_major__ < 10)
594
            /* Avoid undefined clang-cl intrinsics issue.
595
             * See https://github.com/lz4/lz4/pull/1017 for details. */
596
            return (unsigned)__builtin_ia32_tzcnt_u64(val) >> 3;
597
#         else
598
            /* x64 CPUS without BMI support interpret `TZCNT` as `REP BSF` */
599
            return (unsigned)_tzcnt_u64(val) >> 3;
600
#         endif
601
#       elif defined(_MSC_VER) && defined(_WIN64) && !defined(LZ4_FORCE_SW_BITCOUNT)
602
            unsigned long r = 0;
603
            _BitScanForward64(&r, (U64)val);
604
            return (unsigned)r >> 3;
605
#       elif (defined(__clang__) || (defined(__GNUC__) && ((__GNUC__ > 3) || \
606
                            ((__GNUC__ == 3) && (__GNUC_MINOR__ >= 4))))) && \
607
                                        !defined(LZ4_FORCE_SW_BITCOUNT)
608
            return (unsigned)__builtin_ctzll((U64)val) >> 3;
609
#       else
610
            const U64 m = 0x0101010101010101ULL;
611
            val ^= val - 1;
612
            return (unsigned)(((U64)((val & (m - 1)) * m)) >> 56);
613
#       endif
614
734k
        } else /* 32 bits */ {
615
#       if defined(_MSC_VER) && (_MSC_VER >= 1400) && !defined(LZ4_FORCE_SW_BITCOUNT)
616
            unsigned long r;
617
            _BitScanForward(&r, (U32)val);
618
            return (unsigned)r >> 3;
619
#       elif (defined(__clang__) || (defined(__GNUC__) && ((__GNUC__ > 3) || \
620
                            ((__GNUC__ == 3) && (__GNUC_MINOR__ >= 4))))) && \
621
                        !defined(__TINYC__) && !defined(LZ4_FORCE_SW_BITCOUNT)
622
            return (unsigned)__builtin_ctz((U32)val) >> 3;
623
#       else
624
            const U32 m = 0x01010101;
625
            return (unsigned)((((val - 1) ^ val) & (m - 1)) * m) >> 24;
626
#       endif
627
0
        }
628
734k
    } else   /* Big Endian CPU */ {
629
0
        if (sizeof(val)==8) {
630
0
#       if (defined(__clang__) || (defined(__GNUC__) && ((__GNUC__ > 3) || \
631
0
                            ((__GNUC__ == 3) && (__GNUC_MINOR__ >= 4))))) && \
632
0
                        !defined(__TINYC__) && !defined(LZ4_FORCE_SW_BITCOUNT)
633
0
            return (unsigned)__builtin_clzll((U64)val) >> 3;
634
#       else
635
#if 1
636
            /* this method is probably faster,
637
             * but adds a 128 bytes lookup table */
638
            static const unsigned char ctz7_tab[128] = {
639
                7, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
640
                4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
641
                5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
642
                4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
643
                6, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
644
                4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
645
                5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
646
                4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
647
            };
648
            U64 const mask = 0x0101010101010101ULL;
649
            U64 const t = (((val >> 8) - mask) | val) & mask;
650
            return ctz7_tab[(t * 0x0080402010080402ULL) >> 57];
651
#else
652
            /* this method doesn't consume memory space like the previous one,
653
             * but it contains several branches,
654
             * that may end up slowing execution */
655
            static const U32 by32 = sizeof(val)*4;  /* 32 on 64 bits (goal), 16 on 32 bits.
656
            Just to avoid some static analyzer complaining about shift by 32 on 32-bits target.
657
            Note that this code path is never triggered in 32-bits mode. */
658
            unsigned r;
659
            if (!(val>>by32)) { r=4; } else { r=0; val>>=by32; }
660
            if (!(val>>16)) { r+=2; val>>=8; } else { val>>=24; }
661
            r += (!val);
662
            return r;
663
#endif
664
#       endif
665
0
        } else /* 32 bits */ {
666
0
#       if (defined(__clang__) || (defined(__GNUC__) && ((__GNUC__ > 3) || \
667
0
                            ((__GNUC__ == 3) && (__GNUC_MINOR__ >= 4))))) && \
668
0
                                        !defined(LZ4_FORCE_SW_BITCOUNT)
669
0
            return (unsigned)__builtin_clz((U32)val) >> 3;
670
#       else
671
            val >>= 8;
672
            val = ((((val + 0x00FFFF00) | 0x00FFFFFF) + val) |
673
              (val + 0x00FF0000)) >> 24;
674
            return (unsigned)val ^ 3;
675
#       endif
676
0
        }
677
0
    }
678
734k
}
Unexecuted instantiation: round_trip_fuzzer.c:LZ4_NbCommonBytes
Unexecuted instantiation: lz4_helpers.c:LZ4_NbCommonBytes
Unexecuted instantiation: fuzz_data_producer.c:LZ4_NbCommonBytes
lz4.c:LZ4_NbCommonBytes
Line
Count
Source
583
734k
{
584
734k
    assert(val != 0);
585
734k
    if (LZ4_isLittleEndian()) {
586
734k
        if (sizeof(val) == 8) {
587
#       if defined(_MSC_VER) && (_MSC_VER >= 1800) && (defined(_M_AMD64) && !defined(_M_ARM64EC)) && !defined(LZ4_FORCE_SW_BITCOUNT)
588
/*-*************************************************************************************************
589
* ARM64EC is a Microsoft-designed ARM64 ABI compatible with AMD64 applications on ARM64 Windows 11.
590
* The ARM64EC ABI does not support AVX/AVX2/AVX512 instructions, nor their relevant intrinsics
591
* including _tzcnt_u64. Therefore, we need to neuter the _tzcnt_u64 code path for ARM64EC.
592
****************************************************************************************************/
593
#         if defined(__clang__) && (__clang_major__ < 10)
594
            /* Avoid undefined clang-cl intrinsics issue.
595
             * See https://github.com/lz4/lz4/pull/1017 for details. */
596
            return (unsigned)__builtin_ia32_tzcnt_u64(val) >> 3;
597
#         else
598
            /* x64 CPUS without BMI support interpret `TZCNT` as `REP BSF` */
599
            return (unsigned)_tzcnt_u64(val) >> 3;
600
#         endif
601
#       elif defined(_MSC_VER) && defined(_WIN64) && !defined(LZ4_FORCE_SW_BITCOUNT)
602
            unsigned long r = 0;
603
            _BitScanForward64(&r, (U64)val);
604
            return (unsigned)r >> 3;
605
#       elif (defined(__clang__) || (defined(__GNUC__) && ((__GNUC__ > 3) || \
606
                            ((__GNUC__ == 3) && (__GNUC_MINOR__ >= 4))))) && \
607
                                        !defined(LZ4_FORCE_SW_BITCOUNT)
608
            return (unsigned)__builtin_ctzll((U64)val) >> 3;
609
#       else
610
            const U64 m = 0x0101010101010101ULL;
611
            val ^= val - 1;
612
            return (unsigned)(((U64)((val & (m - 1)) * m)) >> 56);
613
#       endif
614
734k
        } else /* 32 bits */ {
615
#       if defined(_MSC_VER) && (_MSC_VER >= 1400) && !defined(LZ4_FORCE_SW_BITCOUNT)
616
            unsigned long r;
617
            _BitScanForward(&r, (U32)val);
618
            return (unsigned)r >> 3;
619
#       elif (defined(__clang__) || (defined(__GNUC__) && ((__GNUC__ > 3) || \
620
                            ((__GNUC__ == 3) && (__GNUC_MINOR__ >= 4))))) && \
621
                        !defined(__TINYC__) && !defined(LZ4_FORCE_SW_BITCOUNT)
622
            return (unsigned)__builtin_ctz((U32)val) >> 3;
623
#       else
624
            const U32 m = 0x01010101;
625
            return (unsigned)((((val - 1) ^ val) & (m - 1)) * m) >> 24;
626
#       endif
627
0
        }
628
734k
    } else   /* Big Endian CPU */ {
629
0
        if (sizeof(val)==8) {
630
0
#       if (defined(__clang__) || (defined(__GNUC__) && ((__GNUC__ > 3) || \
631
0
                            ((__GNUC__ == 3) && (__GNUC_MINOR__ >= 4))))) && \
632
0
                        !defined(__TINYC__) && !defined(LZ4_FORCE_SW_BITCOUNT)
633
0
            return (unsigned)__builtin_clzll((U64)val) >> 3;
634
#       else
635
#if 1
636
            /* this method is probably faster,
637
             * but adds a 128 bytes lookup table */
638
            static const unsigned char ctz7_tab[128] = {
639
                7, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
640
                4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
641
                5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
642
                4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
643
                6, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
644
                4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
645
                5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
646
                4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0,
647
            };
648
            U64 const mask = 0x0101010101010101ULL;
649
            U64 const t = (((val >> 8) - mask) | val) & mask;
650
            return ctz7_tab[(t * 0x0080402010080402ULL) >> 57];
651
#else
652
            /* this method doesn't consume memory space like the previous one,
653
             * but it contains several branches,
654
             * that may end up slowing execution */
655
            static const U32 by32 = sizeof(val)*4;  /* 32 on 64 bits (goal), 16 on 32 bits.
656
            Just to avoid some static analyzer complaining about shift by 32 on 32-bits target.
657
            Note that this code path is never triggered in 32-bits mode. */
658
            unsigned r;
659
            if (!(val>>by32)) { r=4; } else { r=0; val>>=by32; }
660
            if (!(val>>16)) { r+=2; val>>=8; } else { val>>=24; }
661
            r += (!val);
662
            return r;
663
#endif
664
#       endif
665
0
        } else /* 32 bits */ {
666
0
#       if (defined(__clang__) || (defined(__GNUC__) && ((__GNUC__ > 3) || \
667
0
                            ((__GNUC__ == 3) && (__GNUC_MINOR__ >= 4))))) && \
668
0
                                        !defined(LZ4_FORCE_SW_BITCOUNT)
669
0
            return (unsigned)__builtin_clz((U32)val) >> 3;
670
#       else
671
            val >>= 8;
672
            val = ((((val + 0x00FFFF00) | 0x00FFFFFF) + val) |
673
              (val + 0x00FF0000)) >> 24;
674
            return (unsigned)val ^ 3;
675
#       endif
676
0
        }
677
0
    }
678
734k
}
Unexecuted instantiation: lz4hc.c:LZ4_NbCommonBytes
679
680
681
12.2M
#define STEPSIZE sizeof(reg_t)
682
LZ4_FORCE_INLINE
683
unsigned LZ4_count(const BYTE* pIn, const BYTE* pMatch, const BYTE* pInLimit)
684
735k
{
685
735k
    const BYTE* const pStart = pIn;
686
687
735k
    if (likely(pIn < pInLimit-(STEPSIZE-1))) {
688
735k
        reg_t const diff = LZ4_read_ARCH(pMatch) ^ LZ4_read_ARCH(pIn);
689
735k
        if (!diff) {
690
429k
            pIn+=STEPSIZE; pMatch+=STEPSIZE;
691
429k
        } else {
692
305k
            return LZ4_NbCommonBytes(diff);
693
305k
    }   }
694
695
6.12M
    while (likely(pIn < pInLimit-(STEPSIZE-1))) {
696
6.12M
        reg_t const diff = LZ4_read_ARCH(pMatch) ^ LZ4_read_ARCH(pIn);
697
6.12M
        if (!diff) { pIn+=STEPSIZE; pMatch+=STEPSIZE; continue; }
698
429k
        pIn += LZ4_NbCommonBytes(diff);
699
429k
        return (unsigned)(pIn - pStart);
700
6.12M
    }
701
702
866
    if ((STEPSIZE==8) && (pIn<(pInLimit-3)) && (LZ4_read32(pMatch) == LZ4_read32(pIn))) { pIn+=4; pMatch+=4; }
703
866
    if ((pIn<(pInLimit-1)) && (LZ4_read16(pMatch) == LZ4_read16(pIn))) { pIn+=2; pMatch+=2; }
704
866
    if ((pIn<pInLimit) && (*pMatch == *pIn)) pIn++;
705
866
    return (unsigned)(pIn - pStart);
706
430k
}
Unexecuted instantiation: round_trip_fuzzer.c:LZ4_count
Unexecuted instantiation: lz4_helpers.c:LZ4_count
Unexecuted instantiation: fuzz_data_producer.c:LZ4_count
lz4.c:LZ4_count
Line
Count
Source
684
735k
{
685
735k
    const BYTE* const pStart = pIn;
686
687
735k
    if (likely(pIn < pInLimit-(STEPSIZE-1))) {
688
735k
        reg_t const diff = LZ4_read_ARCH(pMatch) ^ LZ4_read_ARCH(pIn);
689
735k
        if (!diff) {
690
429k
            pIn+=STEPSIZE; pMatch+=STEPSIZE;
691
429k
        } else {
692
305k
            return LZ4_NbCommonBytes(diff);
693
305k
    }   }
694
695
6.12M
    while (likely(pIn < pInLimit-(STEPSIZE-1))) {
696
6.12M
        reg_t const diff = LZ4_read_ARCH(pMatch) ^ LZ4_read_ARCH(pIn);
697
6.12M
        if (!diff) { pIn+=STEPSIZE; pMatch+=STEPSIZE; continue; }
698
429k
        pIn += LZ4_NbCommonBytes(diff);
699
429k
        return (unsigned)(pIn - pStart);
700
6.12M
    }
701
702
866
    if ((STEPSIZE==8) && (pIn<(pInLimit-3)) && (LZ4_read32(pMatch) == LZ4_read32(pIn))) { pIn+=4; pMatch+=4; }
703
866
    if ((pIn<(pInLimit-1)) && (LZ4_read16(pMatch) == LZ4_read16(pIn))) { pIn+=2; pMatch+=2; }
704
866
    if ((pIn<pInLimit) && (*pMatch == *pIn)) pIn++;
705
866
    return (unsigned)(pIn - pStart);
706
430k
}
Unexecuted instantiation: lz4hc.c:LZ4_count
707
708
709
#ifndef LZ4_COMMONDEFS_ONLY
710
/*-************************************
711
*  Local Constants
712
**************************************/
713
static const int LZ4_64Klimit = ((64 KB) + (MFLIMIT-1));
714
static const U32 LZ4_skipTrigger = 6;  /* Increase this value ==> compression run slower on incompressible data */
715
716
717
/*-************************************
718
*  Local Structures and types
719
**************************************/
720
typedef enum { clearedTable = 0, byPtr, byU32, byU16 } tableType_t;
721
722
/**
723
 * This enum distinguishes several different modes of accessing previous
724
 * content in the stream.
725
 *
726
 * - noDict        : There is no preceding content.
727
 * - withPrefix64k : Table entries up to ctx->dictSize before the current blob
728
 *                   blob being compressed are valid and refer to the preceding
729
 *                   content (of length ctx->dictSize), which is available
730
 *                   contiguously preceding in memory the content currently
731
 *                   being compressed.
732
 * - usingExtDict  : Like withPrefix64k, but the preceding content is somewhere
733
 *                   else in memory, starting at ctx->dictionary with length
734
 *                   ctx->dictSize.
735
 * - usingDictCtx  : Everything concerning the preceding content is
736
 *                   in a separate context, pointed to by ctx->dictCtx.
737
 *                   ctx->dictionary, ctx->dictSize, and table entries
738
 *                   in the current context that refer to positions
739
 *                   preceding the beginning of the current compression are
740
 *                   ignored. Instead, ctx->dictCtx->dictionary and ctx->dictCtx
741
 *                   ->dictSize describe the location and size of the preceding
742
 *                   content, and matches are found by looking in the ctx
743
 *                   ->dictCtx->hashTable.
744
 */
745
typedef enum { noDict = 0, withPrefix64k, usingExtDict, usingDictCtx } dict_directive;
746
typedef enum { noDictIssue = 0, dictSmall } dictIssue_directive;
747
748
749
/*-************************************
750
*  Local Utils
751
**************************************/
752
0
int LZ4_versionNumber (void) { return LZ4_VERSION_NUMBER; }
753
0
const char* LZ4_versionString(void) { return LZ4_VERSION_STRING; }
754
3.23k
int LZ4_compressBound(int isize)  { return LZ4_COMPRESSBOUND(isize); }
755
0
int LZ4_sizeofState(void) { return sizeof(LZ4_stream_t); }
756
757
758
/*-****************************************
759
*  Internal Definitions, used only in Tests
760
*******************************************/
761
#if defined (__cplusplus)
762
extern "C" {
763
#endif
764
765
int LZ4_compress_forceExtDict (LZ4_stream_t* LZ4_dict, const char* source, char* dest, int srcSize);
766
767
int LZ4_decompress_safe_forceExtDict(const char* source, char* dest,
768
                                     int compressedSize, int maxOutputSize,
769
                                     const void* dictStart, size_t dictSize);
770
int LZ4_decompress_safe_partial_forceExtDict(const char* source, char* dest,
771
                                     int compressedSize, int targetOutputSize, int dstCapacity,
772
                                     const void* dictStart, size_t dictSize);
773
#if defined (__cplusplus)
774
}
775
#endif
776
777
/*-******************************
778
*  Compression functions
779
********************************/
780
LZ4_FORCE_INLINE U32 LZ4_hash4(U32 sequence, tableType_t const tableType)
781
583k
{
782
583k
    if (tableType == byU16)
783
583k
        return ((sequence * 2654435761U) >> ((MINMATCH*8)-(LZ4_HASHLOG+1)));
784
0
    else
785
0
        return ((sequence * 2654435761U) >> ((MINMATCH*8)-LZ4_HASHLOG));
786
583k
}
787
788
LZ4_FORCE_INLINE U32 LZ4_hash5(U64 sequence, tableType_t const tableType)
789
10.4M
{
790
10.4M
    const U32 hashLog = (tableType == byU16) ? LZ4_HASHLOG+1 : LZ4_HASHLOG;
791
10.4M
    if (LZ4_isLittleEndian()) {
792
10.4M
        const U64 prime5bytes = 889523592379ULL;
793
10.4M
        return (U32)(((sequence << 24) * prime5bytes) >> (64 - hashLog));
794
10.4M
    } else {
795
0
        const U64 prime8bytes = 11400714785074694791ULL;
796
0
        return (U32)(((sequence >> 24) * prime8bytes) >> (64 - hashLog));
797
0
    }
798
10.4M
}
799
800
LZ4_FORCE_INLINE U32 LZ4_hashPosition(const void* const p, tableType_t const tableType)
801
11.0M
{
802
11.0M
    if ((sizeof(reg_t)==8) && (tableType != byU16)) return LZ4_hash5(LZ4_read_ARCH(p), tableType);
803
804
#ifdef LZ4_STATIC_LINKING_ONLY_ENDIANNESS_INDEPENDENT_OUTPUT
805
    return LZ4_hash4(LZ4_readLE32(p), tableType);
806
#else
807
583k
    return LZ4_hash4(LZ4_read32(p), tableType);
808
11.0M
#endif
809
11.0M
}
810
811
LZ4_FORCE_INLINE void LZ4_clearHash(U32 h, void* tableBase, tableType_t const tableType)
812
0
{
813
0
    switch (tableType)
814
0
    {
815
0
    default: /* fallthrough */
816
0
    case clearedTable: { /* illegal! */ assert(0); return; }
817
0
    case byPtr: { const BYTE** hashTable = (const BYTE**)tableBase; hashTable[h] = NULL; return; }
818
0
    case byU32: { U32* hashTable = (U32*) tableBase; hashTable[h] = 0; return; }
819
0
    case byU16: { U16* hashTable = (U16*) tableBase; hashTable[h] = 0; return; }
820
0
    }
821
0
}
822
823
LZ4_FORCE_INLINE void LZ4_putIndexOnHash(U32 idx, U32 h, void* tableBase, tableType_t const tableType)
824
10.4M
{
825
10.4M
    switch (tableType)
826
10.4M
    {
827
0
    default: /* fallthrough */
828
0
    case clearedTable: /* fallthrough */
829
0
    case byPtr: { /* illegal! */ assert(0); return; }
830
9.89M
    case byU32: { U32* hashTable = (U32*) tableBase; hashTable[h] = idx; return; }
831
563k
    case byU16: { U16* hashTable = (U16*) tableBase; assert(idx < 65536); hashTable[h] = (U16)idx; return; }
832
10.4M
    }
833
10.4M
}
834
835
/* LZ4_putPosition*() : only used in byPtr mode */
836
LZ4_FORCE_INLINE void LZ4_putPositionOnHash(const BYTE* p, U32 h,
837
                                  void* tableBase, tableType_t const tableType)
838
0
{
839
0
    const BYTE** const hashTable = (const BYTE**)tableBase;
840
0
    assert(tableType == byPtr); (void)tableType;
841
0
    hashTable[h] = p;
842
0
}
843
844
LZ4_FORCE_INLINE void LZ4_putPosition(const BYTE* p, void* tableBase, tableType_t tableType)
845
0
{
846
0
    U32 const h = LZ4_hashPosition(p, tableType);
847
0
    LZ4_putPositionOnHash(p, h, tableBase, tableType);
848
0
}
849
850
/* LZ4_getIndexOnHash() :
851
 * Index of match position registered in hash table.
852
 * hash position must be calculated by using base+index, or dictBase+index.
853
 * Assumption 1 : only valid if tableType == byU32 or byU16.
854
 * Assumption 2 : h is presumed valid (within limits of hash table)
855
 */
856
LZ4_FORCE_INLINE U32 LZ4_getIndexOnHash(U32 h, const void* tableBase, tableType_t tableType)
857
9.72M
{
858
9.72M
    LZ4_STATIC_ASSERT(LZ4_MEMORY_USAGE > 2);
859
9.72M
    if (tableType == byU32) {
860
9.20M
        const U32* const hashTable = (const U32*) tableBase;
861
9.20M
        assert(h < (1U << (LZ4_MEMORY_USAGE-2)));
862
9.20M
        return hashTable[h];
863
9.20M
    }
864
516k
    if (tableType == byU16) {
865
516k
        const U16* const hashTable = (const U16*) tableBase;
866
516k
        assert(h < (1U << (LZ4_MEMORY_USAGE-1)));
867
516k
        return hashTable[h];
868
516k
    }
869
516k
    assert(0); return 0;  /* forbidden case */
870
0
}
871
872
static const BYTE* LZ4_getPositionOnHash(U32 h, const void* tableBase, tableType_t tableType)
873
0
{
874
0
    assert(tableType == byPtr); (void)tableType;
875
0
    { const BYTE* const* hashTable = (const BYTE* const*) tableBase; return hashTable[h]; }
876
0
}
877
878
LZ4_FORCE_INLINE const BYTE*
879
LZ4_getPosition(const BYTE* p,
880
                const void* tableBase, tableType_t tableType)
881
0
{
882
0
    U32 const h = LZ4_hashPosition(p, tableType);
883
0
    return LZ4_getPositionOnHash(h, tableBase, tableType);
884
0
}
885
886
LZ4_FORCE_INLINE void
887
LZ4_prepareTable(LZ4_stream_t_internal* const cctx,
888
           const int inputSize,
889
0
           const tableType_t tableType) {
890
    /* If the table hasn't been used, it's guaranteed to be zeroed out, and is
891
     * therefore safe to use no matter what mode we're in. Otherwise, we figure
892
     * out if it's safe to leave as is or whether it needs to be reset.
893
     */
894
0
    if ((tableType_t)cctx->tableType != clearedTable) {
895
0
        assert(inputSize >= 0);
896
0
        if ((tableType_t)cctx->tableType != tableType
897
0
          || ((tableType == byU16) && cctx->currentOffset + (unsigned)inputSize >= 0xFFFFU)
898
0
          || ((tableType == byU32) && cctx->currentOffset > 1 GB)
899
0
          || tableType == byPtr
900
0
          || inputSize >= 4 KB)
901
0
        {
902
0
            DEBUGLOG(4, "LZ4_prepareTable: Resetting table in %p", (void*)cctx);
903
0
            MEM_INIT(cctx->hashTable, 0, LZ4_HASHTABLESIZE);
904
0
            cctx->currentOffset = 0;
905
0
            cctx->tableType = (U32)clearedTable;
906
0
        } else {
907
0
            DEBUGLOG(4, "LZ4_prepareTable: Re-use hash table (no reset)");
908
0
        }
909
0
    }
910
911
    /* Adding a gap, so all previous entries are > LZ4_DISTANCE_MAX back,
912
     * is faster than compressing without a gap.
913
     * However, compressing with currentOffset == 0 is faster still,
914
     * so we preserve that case.
915
     */
916
0
    if (cctx->currentOffset != 0 && tableType == byU32) {
917
0
        DEBUGLOG(5, "LZ4_prepareTable: adding 64KB to currentOffset");
918
0
        cctx->currentOffset += 64 KB;
919
0
    }
920
921
    /* Finally, clear history */
922
0
    cctx->dictCtx = NULL;
923
0
    cctx->dictionary = NULL;
924
0
    cctx->dictSize = 0;
925
0
}
926
927
/** LZ4_compress_generic_validated() :
928
 *  inlined, to ensure branches are decided at compilation time.
929
 *  The following conditions are presumed already validated:
930
 *  - source != NULL
931
 *  - inputSize > 0
932
 */
933
LZ4_FORCE_INLINE int LZ4_compress_generic_validated(
934
                 LZ4_stream_t_internal* const cctx,
935
                 const char* const source,
936
                 char* const dest,
937
                 const int inputSize,
938
                 int*  inputConsumed, /* only written when outputDirective == fillOutput */
939
                 const int maxOutputSize,
940
                 const limitedOutput_directive outputDirective,
941
                 const tableType_t tableType,
942
                 const dict_directive dictDirective,
943
                 const dictIssue_directive dictIssue,
944
                 const int acceleration)
945
1.61k
{
946
1.61k
    int result;
947
1.61k
    const BYTE* ip = (const BYTE*)source;
948
949
1.61k
    U32 const startIndex = cctx->currentOffset;
950
1.61k
    const BYTE* base = (const BYTE*)source - startIndex;
951
1.61k
    const BYTE* lowLimit;
952
953
1.61k
    const LZ4_stream_t_internal* dictCtx = (const LZ4_stream_t_internal*) cctx->dictCtx;
954
1.61k
    const BYTE* const dictionary =
955
1.61k
        dictDirective == usingDictCtx ? dictCtx->dictionary : cctx->dictionary;
956
1.61k
    const U32 dictSize =
957
1.61k
        dictDirective == usingDictCtx ? dictCtx->dictSize : cctx->dictSize;
958
1.61k
    const U32 dictDelta =
959
1.61k
        (dictDirective == usingDictCtx) ? startIndex - dictCtx->currentOffset : 0;   /* make indexes in dictCtx comparable with indexes in current context */
960
961
1.61k
    int const maybe_extMem = (dictDirective == usingExtDict) || (dictDirective == usingDictCtx);
962
1.61k
    U32 const prefixIdxLimit = startIndex - dictSize;   /* used when dictDirective == dictSmall */
963
1.61k
    const BYTE* const dictEnd = dictionary ? dictionary + dictSize : dictionary;
964
1.61k
    const BYTE* anchor = (const BYTE*) source;
965
1.61k
    const BYTE* const iend = ip + inputSize;
966
1.61k
    const BYTE* const mflimitPlusOne = iend - MFLIMIT + 1;
967
1.61k
    const BYTE* const matchlimit = iend - LASTLITERALS;
968
969
    /* the dictCtx currentOffset is indexed on the start of the dictionary,
970
     * while a dictionary in the current context precedes the currentOffset */
971
1.61k
    const BYTE* dictBase = (dictionary == NULL) ? NULL :
972
1.61k
                           (dictDirective == usingDictCtx) ?
973
0
                            dictionary + dictSize - dictCtx->currentOffset :
974
0
                            dictionary + dictSize - startIndex;
975
976
1.61k
    BYTE* op = (BYTE*) dest;
977
1.61k
    BYTE* const olimit = op + maxOutputSize;
978
979
1.61k
    U32 offset = 0;
980
1.61k
    U32 forwardH;
981
982
1.61k
    DEBUGLOG(5, "LZ4_compress_generic_validated: srcSize=%i, tableType=%u", inputSize, tableType);
983
1.61k
    assert(ip != NULL);
984
1.61k
    if (tableType == byU16) assert(inputSize<LZ4_64Klimit);  /* Size too large (not within 64K limit) */
985
1.61k
    if (tableType == byPtr) assert(dictDirective==noDict);   /* only supported use case with byPtr */
986
    /* If init conditions are not met, we don't have to mark stream
987
     * as having dirty context, since no action was taken yet */
988
1.61k
    if (outputDirective == fillOutput && maxOutputSize < 1) { return 0; } /* Impossible to store anything */
989
1.61k
    assert(acceleration >= 1);
990
991
1.61k
    lowLimit = (const BYTE*)source - (dictDirective == withPrefix64k ? dictSize : 0);
992
993
    /* Update context state */
994
1.61k
    if (dictDirective == usingDictCtx) {
995
        /* Subsequent linked blocks can't use the dictionary. */
996
        /* Instead, they use the block we just compressed. */
997
0
        cctx->dictCtx = NULL;
998
0
        cctx->dictSize = (U32)inputSize;
999
1.61k
    } else {
1000
1.61k
        cctx->dictSize += (U32)inputSize;
1001
1.61k
    }
1002
1.61k
    cctx->currentOffset += (U32)inputSize;
1003
1.61k
    cctx->tableType = (U32)tableType;
1004
1005
1.61k
    if (inputSize<LZ4_minLength) goto _last_literals;        /* Input too small, no compression (all literals) */
1006
1007
    /* First Byte */
1008
1.59k
    {   U32 const h = LZ4_hashPosition(ip, tableType);
1009
1.59k
        if (tableType == byPtr) {
1010
0
            LZ4_putPositionOnHash(ip, h, cctx->hashTable, byPtr);
1011
1.59k
        } else {
1012
1.59k
            LZ4_putIndexOnHash(startIndex, h, cctx->hashTable, tableType);
1013
1.59k
    }   }
1014
1.59k
    ip++; forwardH = LZ4_hashPosition(ip, tableType);
1015
1016
    /* Main Loop */
1017
552k
    for ( ; ; ) {
1018
552k
        const BYTE* match;
1019
552k
        BYTE* token;
1020
552k
        const BYTE* filledIp;
1021
1022
        /* Find a match */
1023
552k
        if (tableType == byPtr) {
1024
0
            const BYTE* forwardIp = ip;
1025
0
            int step = 1;
1026
0
            int searchMatchNb = acceleration << LZ4_skipTrigger;
1027
0
            do {
1028
0
                U32 const h = forwardH;
1029
0
                ip = forwardIp;
1030
0
                forwardIp += step;
1031
0
                step = (searchMatchNb++ >> LZ4_skipTrigger);
1032
1033
0
                if (unlikely(forwardIp > mflimitPlusOne)) goto _last_literals;
1034
0
                assert(ip < mflimitPlusOne);
1035
1036
0
                match = LZ4_getPositionOnHash(h, cctx->hashTable, tableType);
1037
0
                forwardH = LZ4_hashPosition(forwardIp, tableType);
1038
0
                LZ4_putPositionOnHash(ip, h, cctx->hashTable, tableType);
1039
1040
0
            } while ( (match+LZ4_DISTANCE_MAX < ip)
1041
0
                   || (LZ4_read32(match) != LZ4_read32(ip)) );
1042
1043
552k
        } else {   /* byU32, byU16 */
1044
1045
552k
            const BYTE* forwardIp = ip;
1046
552k
            int step = 1;
1047
552k
            int searchMatchNb = acceleration << LZ4_skipTrigger;
1048
8.99M
            do {
1049
8.99M
                U32 const h = forwardH;
1050
8.99M
                U32 const current = (U32)(forwardIp - base);
1051
8.99M
                U32 matchIndex = LZ4_getIndexOnHash(h, cctx->hashTable, tableType);
1052
8.99M
                assert(matchIndex <= current);
1053
8.99M
                assert(forwardIp - base < (ptrdiff_t)(2 GB - 1));
1054
8.99M
                ip = forwardIp;
1055
8.99M
                forwardIp += step;
1056
8.99M
                step = (searchMatchNb++ >> LZ4_skipTrigger);
1057
1058
8.99M
                if (unlikely(forwardIp > mflimitPlusOne)) goto _last_literals;
1059
8.99M
                assert(ip < mflimitPlusOne);
1060
1061
8.99M
                if (dictDirective == usingDictCtx) {
1062
0
                    if (matchIndex < startIndex) {
1063
                        /* there was no match, try the dictionary */
1064
0
                        assert(tableType == byU32);
1065
0
                        matchIndex = LZ4_getIndexOnHash(h, dictCtx->hashTable, byU32);
1066
0
                        match = dictBase + matchIndex;
1067
0
                        matchIndex += dictDelta;   /* make dictCtx index comparable with current context */
1068
0
                        lowLimit = dictionary;
1069
0
                    } else {
1070
0
                        match = base + matchIndex;
1071
0
                        lowLimit = (const BYTE*)source;
1072
0
                    }
1073
8.99M
                } else if (dictDirective == usingExtDict) {
1074
0
                    if (matchIndex < startIndex) {
1075
0
                        DEBUGLOG(7, "extDict candidate: matchIndex=%5u  <  startIndex=%5u", matchIndex, startIndex);
1076
0
                        assert(startIndex - matchIndex >= MINMATCH);
1077
0
                        assert(dictBase);
1078
0
                        match = dictBase + matchIndex;
1079
0
                        lowLimit = dictionary;
1080
0
                    } else {
1081
0
                        match = base + matchIndex;
1082
0
                        lowLimit = (const BYTE*)source;
1083
0
                    }
1084
8.99M
                } else {   /* single continuous memory segment */
1085
8.99M
                    match = base + matchIndex;
1086
8.99M
                }
1087
8.99M
                forwardH = LZ4_hashPosition(forwardIp, tableType);
1088
8.99M
                LZ4_putIndexOnHash(current, h, cctx->hashTable, tableType);
1089
1090
8.99M
                DEBUGLOG(7, "candidate at pos=%u  (offset=%u \n", matchIndex, current - matchIndex);
1091
8.99M
                if ((dictIssue == dictSmall) && (matchIndex < prefixIdxLimit)) { continue; }    /* match outside of valid area */
1092
8.99M
                assert(matchIndex < current);
1093
8.99M
                if ( ((tableType != byU16) || (LZ4_DISTANCE_MAX < LZ4_DISTANCE_ABSOLUTE_MAX))
1094
8.52M
                  && (matchIndex+LZ4_DISTANCE_MAX < current)) {
1095
289k
                    continue;
1096
289k
                } /* too far */
1097
8.99M
                assert((current - matchIndex) <= LZ4_DISTANCE_MAX);  /* match now expected within distance */
1098
1099
8.70M
                if (LZ4_read32(match) == LZ4_read32(ip)) {
1100
551k
                    if (maybe_extMem) offset = current - matchIndex;
1101
551k
                    break;   /* match found */
1102
551k
                }
1103
1104
8.70M
            } while(1);
1105
552k
        }
1106
1107
        /* Catch up */
1108
551k
        filledIp = ip;
1109
551k
        assert(ip > anchor); /* this is always true as ip has been advanced before entering the main loop */
1110
551k
        if ((match > lowLimit) && unlikely(ip[-1] == match[-1])) {
1111
111k
            do { ip--; match--; } while (((ip > anchor) & (match > lowLimit)) && (unlikely(ip[-1] == match[-1])));
1112
38.4k
        }
1113
1114
        /* Encode Literals */
1115
551k
        {   unsigned const litLength = (unsigned)(ip - anchor);
1116
551k
            token = op++;
1117
551k
            if ((outputDirective == limitedOutput) &&  /* Check output buffer overflow */
1118
0
                (unlikely(op + litLength + (2 + 1 + LASTLITERALS) + (litLength/255) > olimit)) ) {
1119
0
                return 0;   /* cannot compress within `dst` budget. Stored indexes in hash table are nonetheless fine */
1120
0
            }
1121
551k
            if ((outputDirective == fillOutput) &&
1122
0
                (unlikely(op + (litLength+240)/255 /* litlen */ + litLength /* literals */ + 2 /* offset */ + 1 /* token */ + MFLIMIT - MINMATCH /* min last literals so last match is <= end - MFLIMIT */ > olimit))) {
1123
0
                op--;
1124
0
                goto _last_literals;
1125
0
            }
1126
551k
            if (litLength >= RUN_MASK) {
1127
123k
                unsigned len = litLength - RUN_MASK;
1128
123k
                *token = (RUN_MASK<<ML_BITS);
1129
161k
                for(; len >= 255 ; len-=255) *op++ = 255;
1130
123k
                *op++ = (BYTE)len;
1131
123k
            }
1132
428k
            else *token = (BYTE)(litLength<<ML_BITS);
1133
1134
            /* Copy Literals */
1135
551k
            LZ4_wildCopy8(op, anchor, op+litLength);
1136
551k
            op+=litLength;
1137
551k
            DEBUGLOG(6, "seq.start:%i, literals=%u, match.start:%i",
1138
551k
                        (int)(anchor-(const BYTE*)source), litLength, (int)(ip-(const BYTE*)source));
1139
551k
        }
1140
1141
735k
_next_match:
1142
        /* at this stage, the following variables must be correctly set :
1143
         * - ip : at start of LZ operation
1144
         * - match : at start of previous pattern occurrence; can be within current prefix, or within extDict
1145
         * - offset : if maybe_ext_memSegment==1 (constant)
1146
         * - lowLimit : must be == dictionary to mean "match is within extDict"; must be == source otherwise
1147
         * - token and *token : position to write 4-bits for match length; higher 4-bits for literal length supposed already written
1148
         */
1149
1150
735k
        if ((outputDirective == fillOutput) &&
1151
0
            (op + 2 /* offset */ + 1 /* token */ + MFLIMIT - MINMATCH /* min last literals so last match is <= end - MFLIMIT */ > olimit)) {
1152
            /* the match was too close to the end, rewind and go to last literals */
1153
0
            op = token;
1154
0
            goto _last_literals;
1155
0
        }
1156
1157
        /* Encode Offset */
1158
735k
        if (maybe_extMem) {   /* static test */
1159
0
            DEBUGLOG(6, "             with offset=%u  (ext if > %i)", offset, (int)(ip - (const BYTE*)source));
1160
0
            assert(offset <= LZ4_DISTANCE_MAX && offset > 0);
1161
0
            LZ4_writeLE16(op, (U16)offset); op+=2;
1162
735k
        } else  {
1163
735k
            DEBUGLOG(6, "             with offset=%u  (same segment)", (U32)(ip - match));
1164
735k
            assert(ip-match <= LZ4_DISTANCE_MAX);
1165
735k
            LZ4_writeLE16(op, (U16)(ip - match)); op+=2;
1166
735k
        }
1167
1168
        /* Encode MatchLength */
1169
735k
        {   unsigned matchCode;
1170
1171
735k
            if ( (dictDirective==usingExtDict || dictDirective==usingDictCtx)
1172
0
              && (lowLimit==dictionary) /* match within extDict */ ) {
1173
0
                const BYTE* limit = ip + (dictEnd-match);
1174
0
                assert(dictEnd > match);
1175
0
                if (limit > matchlimit) limit = matchlimit;
1176
0
                matchCode = LZ4_count(ip+MINMATCH, match+MINMATCH, limit);
1177
0
                ip += (size_t)matchCode + MINMATCH;
1178
0
                if (ip==limit) {
1179
0
                    unsigned const more = LZ4_count(limit, (const BYTE*)source, matchlimit);
1180
0
                    matchCode += more;
1181
0
                    ip += more;
1182
0
                }
1183
0
                DEBUGLOG(6, "             with matchLength=%u starting in extDict", matchCode+MINMATCH);
1184
735k
            } else {
1185
735k
                matchCode = LZ4_count(ip+MINMATCH, match+MINMATCH, matchlimit);
1186
735k
                ip += (size_t)matchCode + MINMATCH;
1187
735k
                DEBUGLOG(6, "             with matchLength=%u", matchCode+MINMATCH);
1188
735k
            }
1189
1190
735k
            if ((outputDirective) &&    /* Check output buffer overflow */
1191
0
                (unlikely(op + (1 + LASTLITERALS) + (matchCode+240)/255 > olimit)) ) {
1192
0
                if (outputDirective == fillOutput) {
1193
                    /* Match description too long : reduce it */
1194
0
                    U32 newMatchCode = 15 /* in token */ - 1 /* to avoid needing a zero byte */ + ((U32)(olimit - op) - 1 - LASTLITERALS) * 255;
1195
0
                    ip -= matchCode - newMatchCode;
1196
0
                    assert(newMatchCode < matchCode);
1197
0
                    matchCode = newMatchCode;
1198
0
                    if (unlikely(ip <= filledIp)) {
1199
                        /* We have already filled up to filledIp so if ip ends up less than filledIp
1200
                         * we have positions in the hash table beyond the current position. This is
1201
                         * a problem if we reuse the hash table. So we have to remove these positions
1202
                         * from the hash table.
1203
                         */
1204
0
                        const BYTE* ptr;
1205
0
                        DEBUGLOG(5, "Clearing %u positions", (U32)(filledIp - ip));
1206
0
                        for (ptr = ip; ptr <= filledIp; ++ptr) {
1207
0
                            U32 const h = LZ4_hashPosition(ptr, tableType);
1208
0
                            LZ4_clearHash(h, cctx->hashTable, tableType);
1209
0
                        }
1210
0
                    }
1211
0
                } else {
1212
0
                    assert(outputDirective == limitedOutput);
1213
0
                    return 0;   /* cannot compress within `dst` budget. Stored indexes in hash table are nonetheless fine */
1214
0
                }
1215
0
            }
1216
735k
            if (matchCode >= ML_MASK) {
1217
413k
                *token += ML_MASK;
1218
413k
                matchCode -= ML_MASK;
1219
413k
                LZ4_write32(op, 0xFFFFFFFF);
1220
445k
                while (matchCode >= 4*255) {
1221
31.9k
                    op+=4;
1222
31.9k
                    LZ4_write32(op, 0xFFFFFFFF);
1223
31.9k
                    matchCode -= 4*255;
1224
31.9k
                }
1225
413k
                op += matchCode / 255;
1226
413k
                *op++ = (BYTE)(matchCode % 255);
1227
413k
            } else
1228
322k
                *token += (BYTE)(matchCode);
1229
735k
        }
1230
        /* Ensure we have enough space for the last literals. */
1231
735k
        assert(!(outputDirective == fillOutput && op + 1 + LASTLITERALS > olimit));
1232
1233
735k
        anchor = ip;
1234
1235
        /* Test end of chunk */
1236
735k
        if (ip >= mflimitPlusOne) break;
1237
1238
        /* Fill table */
1239
734k
        {   U32 const h = LZ4_hashPosition(ip-2, tableType);
1240
734k
            if (tableType == byPtr) {
1241
0
                LZ4_putPositionOnHash(ip-2, h, cctx->hashTable, byPtr);
1242
734k
            } else {
1243
734k
                U32 const idx = (U32)((ip-2) - base);
1244
734k
                LZ4_putIndexOnHash(idx, h, cctx->hashTable, tableType);
1245
734k
        }   }
1246
1247
        /* Test next position */
1248
734k
        if (tableType == byPtr) {
1249
1250
0
            match = LZ4_getPosition(ip, cctx->hashTable, tableType);
1251
0
            LZ4_putPosition(ip, cctx->hashTable, tableType);
1252
0
            if ( (match+LZ4_DISTANCE_MAX >= ip)
1253
0
              && (LZ4_read32(match) == LZ4_read32(ip)) )
1254
0
            { token=op++; *token=0; goto _next_match; }
1255
1256
734k
        } else {   /* byU32, byU16 */
1257
1258
734k
            U32 const h = LZ4_hashPosition(ip, tableType);
1259
734k
            U32 const current = (U32)(ip-base);
1260
734k
            U32 matchIndex = LZ4_getIndexOnHash(h, cctx->hashTable, tableType);
1261
734k
            assert(matchIndex < current);
1262
734k
            if (dictDirective == usingDictCtx) {
1263
0
                if (matchIndex < startIndex) {
1264
                    /* there was no match, try the dictionary */
1265
0
                    assert(tableType == byU32);
1266
0
                    matchIndex = LZ4_getIndexOnHash(h, dictCtx->hashTable, byU32);
1267
0
                    match = dictBase + matchIndex;
1268
0
                    lowLimit = dictionary;   /* required for match length counter */
1269
0
                    matchIndex += dictDelta;
1270
0
                } else {
1271
0
                    match = base + matchIndex;
1272
0
                    lowLimit = (const BYTE*)source;  /* required for match length counter */
1273
0
                }
1274
734k
            } else if (dictDirective==usingExtDict) {
1275
0
                if (matchIndex < startIndex) {
1276
0
                    assert(dictBase);
1277
0
                    match = dictBase + matchIndex;
1278
0
                    lowLimit = dictionary;   /* required for match length counter */
1279
0
                } else {
1280
0
                    match = base + matchIndex;
1281
0
                    lowLimit = (const BYTE*)source;   /* required for match length counter */
1282
0
                }
1283
734k
            } else {   /* single memory segment */
1284
734k
                match = base + matchIndex;
1285
734k
            }
1286
734k
            LZ4_putIndexOnHash(current, h, cctx->hashTable, tableType);
1287
734k
            assert(matchIndex < current);
1288
734k
            if ( ((dictIssue==dictSmall) ? (matchIndex >= prefixIdxLimit) : 1)
1289
734k
              && (((tableType==byU16) && (LZ4_DISTANCE_MAX == LZ4_DISTANCE_ABSOLUTE_MAX)) ? 1 : (matchIndex+LZ4_DISTANCE_MAX >= current))
1290
624k
              && (LZ4_read32(match) == LZ4_read32(ip)) ) {
1291
183k
                token=op++;
1292
183k
                *token=0;
1293
183k
                if (maybe_extMem) offset = current - matchIndex;
1294
183k
                DEBUGLOG(6, "seq.start:%i, literals=%u, match.start:%i",
1295
183k
                            (int)(anchor-(const BYTE*)source), 0, (int)(ip-(const BYTE*)source));
1296
183k
                goto _next_match;
1297
183k
            }
1298
734k
        }
1299
1300
        /* Prepare next loop */
1301
550k
        forwardH = LZ4_hashPosition(++ip, tableType);
1302
1303
550k
    }
1304
1305
1.61k
_last_literals:
1306
    /* Encode Last Literals */
1307
1.61k
    {   size_t lastRun = (size_t)(iend - anchor);
1308
1.61k
        if ( (outputDirective) &&  /* Check output buffer overflow */
1309
0
            (op + lastRun + 1 + ((lastRun+255-RUN_MASK)/255) > olimit)) {
1310
0
            if (outputDirective == fillOutput) {
1311
                /* adapt lastRun to fill 'dst' */
1312
0
                assert(olimit >= op);
1313
0
                lastRun  = (size_t)(olimit-op) - 1/*token*/;
1314
0
                lastRun -= (lastRun + 256 - RUN_MASK) / 256;  /*additional length tokens*/
1315
0
            } else {
1316
0
                assert(outputDirective == limitedOutput);
1317
0
                return 0;   /* cannot compress within `dst` budget. Stored indexes in hash table are nonetheless fine */
1318
0
            }
1319
0
        }
1320
1.61k
        DEBUGLOG(6, "Final literal run : %i literals", (int)lastRun);
1321
1.61k
        if (lastRun >= RUN_MASK) {
1322
382
            size_t accumulator = lastRun - RUN_MASK;
1323
382
            *op++ = RUN_MASK << ML_BITS;
1324
54.2k
            for(; accumulator >= 255 ; accumulator-=255) *op++ = 255;
1325
382
            *op++ = (BYTE) accumulator;
1326
1.23k
        } else {
1327
1.23k
            *op++ = (BYTE)(lastRun<<ML_BITS);
1328
1.23k
        }
1329
1.61k
        LZ4_memcpy(op, anchor, lastRun);
1330
1.61k
        ip = anchor + lastRun;
1331
1.61k
        op += lastRun;
1332
1.61k
    }
1333
1334
1.61k
    if (outputDirective == fillOutput) {
1335
0
        *inputConsumed = (int) (((const char*)ip)-source);
1336
0
    }
1337
1.61k
    result = (int)(((char*)op) - dest);
1338
1.61k
    assert(result > 0);
1339
1.61k
    DEBUGLOG(5, "LZ4_compress_generic: compressed %i bytes into %i bytes", inputSize, result);
1340
1.61k
    return result;
1341
1.61k
}
1342
1343
/** LZ4_compress_generic() :
1344
 *  inlined, to ensure branches are decided at compilation time;
1345
 *  takes care of src == (NULL, 0)
1346
 *  and forward the rest to LZ4_compress_generic_validated */
1347
LZ4_FORCE_INLINE int LZ4_compress_generic(
1348
                 LZ4_stream_t_internal* const cctx,
1349
                 const char* const src,
1350
                 char* const dst,
1351
                 const int srcSize,
1352
                 int *inputConsumed, /* only written when outputDirective == fillOutput */
1353
                 const int dstCapacity,
1354
                 const limitedOutput_directive outputDirective,
1355
                 const tableType_t tableType,
1356
                 const dict_directive dictDirective,
1357
                 const dictIssue_directive dictIssue,
1358
                 const int acceleration)
1359
1.61k
{
1360
1.61k
    DEBUGLOG(5, "LZ4_compress_generic: srcSize=%i, dstCapacity=%i",
1361
1.61k
                srcSize, dstCapacity);
1362
1363
1.61k
    if ((U32)srcSize > (U32)LZ4_MAX_INPUT_SIZE) { return 0; }  /* Unsupported srcSize, too large (or negative) */
1364
1.61k
    if (srcSize == 0) {   /* src == NULL supported if srcSize == 0 */
1365
3
        if (outputDirective != notLimited && dstCapacity <= 0) return 0;  /* no output, can't write anything */
1366
3
        DEBUGLOG(5, "Generating an empty block");
1367
3
        assert(outputDirective == notLimited || dstCapacity >= 1);
1368
3
        assert(dst != NULL);
1369
3
        dst[0] = 0;
1370
3
        if (outputDirective == fillOutput) {
1371
0
            assert (inputConsumed != NULL);
1372
0
            *inputConsumed = 0;
1373
0
        }
1374
3
        return 1;
1375
3
    }
1376
1.61k
    assert(src != NULL);
1377
1378
1.61k
    return LZ4_compress_generic_validated(cctx, src, dst, srcSize,
1379
1.61k
                inputConsumed, /* only written into if outputDirective == fillOutput */
1380
1.61k
                dstCapacity, outputDirective,
1381
1.61k
                tableType, dictDirective, dictIssue, acceleration);
1382
1.61k
}
1383
1384
1385
int LZ4_compress_fast_extState(void* state, const char* source, char* dest, int inputSize, int maxOutputSize, int acceleration)
1386
1.61k
{
1387
1.61k
    LZ4_stream_t_internal* const ctx = & LZ4_initStream(state, sizeof(LZ4_stream_t)) -> internal_donotuse;
1388
1.61k
    assert(ctx != NULL);
1389
1.61k
    if (acceleration < 1) acceleration = LZ4_ACCELERATION_DEFAULT;
1390
1.61k
    if (acceleration > LZ4_ACCELERATION_MAX) acceleration = LZ4_ACCELERATION_MAX;
1391
1.61k
    if (maxOutputSize >= LZ4_compressBound(inputSize)) {
1392
1.61k
        if (inputSize < LZ4_64Klimit) {
1393
1.37k
            return LZ4_compress_generic(ctx, source, dest, inputSize, NULL, 0, notLimited, byU16, noDict, noDictIssue, acceleration);
1394
1.37k
        } else {
1395
245
            const tableType_t tableType = ((sizeof(void*)==4) && ((uptrval)source > LZ4_DISTANCE_MAX)) ? byPtr : byU32;
1396
245
            return LZ4_compress_generic(ctx, source, dest, inputSize, NULL, 0, notLimited, tableType, noDict, noDictIssue, acceleration);
1397
245
        }
1398
1.61k
    } else {
1399
0
        if (inputSize < LZ4_64Klimit) {
1400
0
            return LZ4_compress_generic(ctx, source, dest, inputSize, NULL, maxOutputSize, limitedOutput, byU16, noDict, noDictIssue, acceleration);
1401
0
        } else {
1402
0
            const tableType_t tableType = ((sizeof(void*)==4) && ((uptrval)source > LZ4_DISTANCE_MAX)) ? byPtr : byU32;
1403
0
            return LZ4_compress_generic(ctx, source, dest, inputSize, NULL, maxOutputSize, limitedOutput, tableType, noDict, noDictIssue, acceleration);
1404
0
        }
1405
0
    }
1406
1.61k
}
1407
1408
/**
1409
 * LZ4_compress_fast_extState_fastReset() :
1410
 * A variant of LZ4_compress_fast_extState().
1411
 *
1412
 * Using this variant avoids an expensive initialization step. It is only safe
1413
 * to call if the state buffer is known to be correctly initialized already
1414
 * (see comment in lz4.h on LZ4_resetStream_fast() for a definition of
1415
 * "correctly initialized").
1416
 */
1417
int LZ4_compress_fast_extState_fastReset(void* state, const char* src, char* dst, int srcSize, int dstCapacity, int acceleration)
1418
0
{
1419
0
    LZ4_stream_t_internal* const ctx = &((LZ4_stream_t*)state)->internal_donotuse;
1420
0
    if (acceleration < 1) acceleration = LZ4_ACCELERATION_DEFAULT;
1421
0
    if (acceleration > LZ4_ACCELERATION_MAX) acceleration = LZ4_ACCELERATION_MAX;
1422
0
    assert(ctx != NULL);
1423
1424
0
    if (dstCapacity >= LZ4_compressBound(srcSize)) {
1425
0
        if (srcSize < LZ4_64Klimit) {
1426
0
            const tableType_t tableType = byU16;
1427
0
            LZ4_prepareTable(ctx, srcSize, tableType);
1428
0
            if (ctx->currentOffset) {
1429
0
                return LZ4_compress_generic(ctx, src, dst, srcSize, NULL, 0, notLimited, tableType, noDict, dictSmall, acceleration);
1430
0
            } else {
1431
0
                return LZ4_compress_generic(ctx, src, dst, srcSize, NULL, 0, notLimited, tableType, noDict, noDictIssue, acceleration);
1432
0
            }
1433
0
        } else {
1434
0
            const tableType_t tableType = ((sizeof(void*)==4) && ((uptrval)src > LZ4_DISTANCE_MAX)) ? byPtr : byU32;
1435
0
            LZ4_prepareTable(ctx, srcSize, tableType);
1436
0
            return LZ4_compress_generic(ctx, src, dst, srcSize, NULL, 0, notLimited, tableType, noDict, noDictIssue, acceleration);
1437
0
        }
1438
0
    } else {
1439
0
        if (srcSize < LZ4_64Klimit) {
1440
0
            const tableType_t tableType = byU16;
1441
0
            LZ4_prepareTable(ctx, srcSize, tableType);
1442
0
            if (ctx->currentOffset) {
1443
0
                return LZ4_compress_generic(ctx, src, dst, srcSize, NULL, dstCapacity, limitedOutput, tableType, noDict, dictSmall, acceleration);
1444
0
            } else {
1445
0
                return LZ4_compress_generic(ctx, src, dst, srcSize, NULL, dstCapacity, limitedOutput, tableType, noDict, noDictIssue, acceleration);
1446
0
            }
1447
0
        } else {
1448
0
            const tableType_t tableType = ((sizeof(void*)==4) && ((uptrval)src > LZ4_DISTANCE_MAX)) ? byPtr : byU32;
1449
0
            LZ4_prepareTable(ctx, srcSize, tableType);
1450
0
            return LZ4_compress_generic(ctx, src, dst, srcSize, NULL, dstCapacity, limitedOutput, tableType, noDict, noDictIssue, acceleration);
1451
0
        }
1452
0
    }
1453
0
}
1454
1455
1456
int LZ4_compress_fast(const char* src, char* dest, int srcSize, int dstCapacity, int acceleration)
1457
1.61k
{
1458
1.61k
    int result;
1459
#if (LZ4_HEAPMODE)
1460
    LZ4_stream_t* const ctxPtr = (LZ4_stream_t*)ALLOC(sizeof(LZ4_stream_t));   /* malloc-calloc always properly aligned */
1461
    if (ctxPtr == NULL) return 0;
1462
#else
1463
1.61k
    LZ4_stream_t ctx;
1464
1.61k
    LZ4_stream_t* const ctxPtr = &ctx;
1465
1.61k
#endif
1466
1.61k
    result = LZ4_compress_fast_extState(ctxPtr, src, dest, srcSize, dstCapacity, acceleration);
1467
1468
#if (LZ4_HEAPMODE)
1469
    FREEMEM(ctxPtr);
1470
#endif
1471
1.61k
    return result;
1472
1.61k
}
1473
1474
1475
int LZ4_compress_default(const char* src, char* dst, int srcSize, int dstCapacity)
1476
1.61k
{
1477
1.61k
    return LZ4_compress_fast(src, dst, srcSize, dstCapacity, 1);
1478
1.61k
}
1479
1480
1481
/* Note!: This function leaves the stream in an unclean/broken state!
1482
 * It is not safe to subsequently use the same state with a _fastReset() or
1483
 * _continue() call without resetting it. */
1484
static int LZ4_compress_destSize_extState_internal(LZ4_stream_t* state, const char* src, char* dst, int* srcSizePtr, int targetDstSize, int acceleration)
1485
0
{
1486
0
    void* const s = LZ4_initStream(state, sizeof (*state));
1487
0
    assert(s != NULL); (void)s;
1488
1489
0
    if (targetDstSize >= LZ4_compressBound(*srcSizePtr)) {  /* compression success is guaranteed */
1490
0
        return LZ4_compress_fast_extState(state, src, dst, *srcSizePtr, targetDstSize, acceleration);
1491
0
    } else {
1492
0
        if (*srcSizePtr < LZ4_64Klimit) {
1493
0
            return LZ4_compress_generic(&state->internal_donotuse, src, dst, *srcSizePtr, srcSizePtr, targetDstSize, fillOutput, byU16, noDict, noDictIssue, acceleration);
1494
0
        } else {
1495
0
            tableType_t const addrMode = ((sizeof(void*)==4) && ((uptrval)src > LZ4_DISTANCE_MAX)) ? byPtr : byU32;
1496
0
            return LZ4_compress_generic(&state->internal_donotuse, src, dst, *srcSizePtr, srcSizePtr, targetDstSize, fillOutput, addrMode, noDict, noDictIssue, acceleration);
1497
0
    }   }
1498
0
}
1499
1500
int LZ4_compress_destSize_extState(void* state, const char* src, char* dst, int* srcSizePtr, int targetDstSize, int acceleration)
1501
0
{
1502
0
    int const r = LZ4_compress_destSize_extState_internal((LZ4_stream_t*)state, src, dst, srcSizePtr, targetDstSize, acceleration);
1503
    /* clean the state on exit */
1504
0
    LZ4_initStream(state, sizeof (LZ4_stream_t));
1505
0
    return r;
1506
0
}
1507
1508
1509
int LZ4_compress_destSize(const char* src, char* dst, int* srcSizePtr, int targetDstSize)
1510
0
{
1511
#if (LZ4_HEAPMODE)
1512
    LZ4_stream_t* const ctx = (LZ4_stream_t*)ALLOC(sizeof(LZ4_stream_t));   /* malloc-calloc always properly aligned */
1513
    if (ctx == NULL) return 0;
1514
#else
1515
0
    LZ4_stream_t ctxBody;
1516
0
    LZ4_stream_t* const ctx = &ctxBody;
1517
0
#endif
1518
1519
0
    int result = LZ4_compress_destSize_extState_internal(ctx, src, dst, srcSizePtr, targetDstSize, 1);
1520
1521
#if (LZ4_HEAPMODE)
1522
    FREEMEM(ctx);
1523
#endif
1524
0
    return result;
1525
0
}
1526
1527
1528
1529
/*-******************************
1530
*  Streaming functions
1531
********************************/
1532
1533
#if !defined(LZ4_STATIC_LINKING_ONLY_DISABLE_MEMORY_ALLOCATION)
1534
LZ4_stream_t* LZ4_createStream(void)
1535
0
{
1536
0
    LZ4_stream_t* const lz4s = (LZ4_stream_t*)ALLOC(sizeof(LZ4_stream_t));
1537
0
    LZ4_STATIC_ASSERT(sizeof(LZ4_stream_t) >= sizeof(LZ4_stream_t_internal));
1538
0
    DEBUGLOG(4, "LZ4_createStream %p", (void*)lz4s);
1539
0
    if (lz4s == NULL) return NULL;
1540
0
    LZ4_initStream(lz4s, sizeof(*lz4s));
1541
0
    return lz4s;
1542
0
}
1543
#endif
1544
1545
static size_t LZ4_stream_t_alignment(void)
1546
1.61k
{
1547
1.61k
#if LZ4_ALIGN_TEST
1548
1.61k
    typedef struct { char c; LZ4_stream_t t; } t_a;
1549
1.61k
    return sizeof(t_a) - sizeof(LZ4_stream_t);
1550
#else
1551
    return 1;  /* effectively disabled */
1552
#endif
1553
1.61k
}
1554
1555
LZ4_stream_t* LZ4_initStream (void* buffer, size_t size)
1556
1.61k
{
1557
1.61k
    DEBUGLOG(5, "LZ4_initStream");
1558
1.61k
    if (buffer == NULL) { return NULL; }
1559
1.61k
    if (size < sizeof(LZ4_stream_t)) { return NULL; }
1560
1.61k
    if (!LZ4_isAligned(buffer, LZ4_stream_t_alignment())) return NULL;
1561
1.61k
    MEM_INIT(buffer, 0, sizeof(LZ4_stream_t_internal));
1562
1.61k
    return (LZ4_stream_t*)buffer;
1563
1.61k
}
1564
1565
/* resetStream is now deprecated,
1566
 * prefer initStream() which is more general */
1567
void LZ4_resetStream (LZ4_stream_t* LZ4_stream)
1568
0
{
1569
0
    DEBUGLOG(5, "LZ4_resetStream (ctx:%p)", (void*)LZ4_stream);
1570
0
    MEM_INIT(LZ4_stream, 0, sizeof(LZ4_stream_t_internal));
1571
0
}
1572
1573
0
void LZ4_resetStream_fast(LZ4_stream_t* ctx) {
1574
0
    LZ4_prepareTable(&(ctx->internal_donotuse), 0, byU32);
1575
0
}
1576
1577
#if !defined(LZ4_STATIC_LINKING_ONLY_DISABLE_MEMORY_ALLOCATION)
1578
int LZ4_freeStream (LZ4_stream_t* LZ4_stream)
1579
0
{
1580
0
    if (!LZ4_stream) return 0;   /* support free on NULL */
1581
0
    DEBUGLOG(5, "LZ4_freeStream %p", (void*)LZ4_stream);
1582
0
    FREEMEM(LZ4_stream);
1583
0
    return (0);
1584
0
}
1585
#endif
1586
1587
1588
typedef enum { _ld_fast, _ld_slow } LoadDict_mode_e;
1589
0
#define HASH_UNIT sizeof(reg_t)
1590
int LZ4_loadDict_internal(LZ4_stream_t* LZ4_dict,
1591
                    const char* dictionary, int dictSize,
1592
                    LoadDict_mode_e _ld)
1593
0
{
1594
0
    LZ4_stream_t_internal* const dict = &LZ4_dict->internal_donotuse;
1595
0
    const tableType_t tableType = byU32;
1596
0
    const BYTE* p = (const BYTE*)dictionary;
1597
0
    const BYTE* const dictEnd = p + dictSize;
1598
0
    U32 idx32;
1599
1600
0
    DEBUGLOG(4, "LZ4_loadDict (%i bytes from %p into %p)", dictSize, (void*)dictionary, (void*)LZ4_dict);
1601
1602
    /* It's necessary to reset the context,
1603
     * and not just continue it with prepareTable()
1604
     * to avoid any risk of generating overflowing matchIndex
1605
     * when compressing using this dictionary */
1606
0
    LZ4_resetStream(LZ4_dict);
1607
1608
    /* We always increment the offset by 64 KB, since, if the dict is longer,
1609
     * we truncate it to the last 64k, and if it's shorter, we still want to
1610
     * advance by a whole window length so we can provide the guarantee that
1611
     * there are only valid offsets in the window, which allows an optimization
1612
     * in LZ4_compress_fast_continue() where it uses noDictIssue even when the
1613
     * dictionary isn't a full 64k. */
1614
0
    dict->currentOffset += 64 KB;
1615
1616
0
    if (dictSize < (int)HASH_UNIT) {
1617
0
        return 0;
1618
0
    }
1619
1620
0
    if ((dictEnd - p) > 64 KB) p = dictEnd - 64 KB;
1621
0
    dict->dictionary = p;
1622
0
    dict->dictSize = (U32)(dictEnd - p);
1623
0
    dict->tableType = (U32)tableType;
1624
0
    idx32 = dict->currentOffset - dict->dictSize;
1625
1626
0
    while (p <= dictEnd-HASH_UNIT) {
1627
0
        U32 const h = LZ4_hashPosition(p, tableType);
1628
        /* Note: overwriting => favors positions end of dictionary */
1629
0
        LZ4_putIndexOnHash(idx32, h, dict->hashTable, tableType);
1630
0
        p+=3; idx32+=3;
1631
0
    }
1632
1633
0
    if (_ld == _ld_slow) {
1634
        /* Fill hash table with additional references, to improve compression capability */
1635
0
        p = dict->dictionary;
1636
0
        idx32 = dict->currentOffset - dict->dictSize;
1637
0
        while (p <= dictEnd-HASH_UNIT) {
1638
0
            U32 const h = LZ4_hashPosition(p, tableType);
1639
0
            U32 const limit = dict->currentOffset - 64 KB;
1640
0
            if (LZ4_getIndexOnHash(h, dict->hashTable, tableType) <= limit) {
1641
                /* Note: not overwriting => favors positions beginning of dictionary */
1642
0
                LZ4_putIndexOnHash(idx32, h, dict->hashTable, tableType);
1643
0
            }
1644
0
            p++; idx32++;
1645
0
        }
1646
0
    }
1647
1648
0
    return (int)dict->dictSize;
1649
0
}
1650
1651
int LZ4_loadDict(LZ4_stream_t* LZ4_dict, const char* dictionary, int dictSize)
1652
0
{
1653
0
    return LZ4_loadDict_internal(LZ4_dict, dictionary, dictSize, _ld_fast);
1654
0
}
1655
1656
int LZ4_loadDictSlow(LZ4_stream_t* LZ4_dict, const char* dictionary, int dictSize)
1657
0
{
1658
0
    return LZ4_loadDict_internal(LZ4_dict, dictionary, dictSize, _ld_slow);
1659
0
}
1660
1661
void LZ4_attach_dictionary(LZ4_stream_t* workingStream, const LZ4_stream_t* dictionaryStream)
1662
0
{
1663
0
    const LZ4_stream_t_internal* dictCtx = (dictionaryStream == NULL) ? NULL :
1664
0
        &(dictionaryStream->internal_donotuse);
1665
1666
0
    DEBUGLOG(4, "LZ4_attach_dictionary (%p, %p, size %u)",
1667
0
             (void*)workingStream, (void*)dictionaryStream,
1668
0
             dictCtx != NULL ? dictCtx->dictSize : 0);
1669
1670
0
    if (dictCtx != NULL) {
1671
        /* If the current offset is zero, we will never look in the
1672
         * external dictionary context, since there is no value a table
1673
         * entry can take that indicate a miss. In that case, we need
1674
         * to bump the offset to something non-zero.
1675
         */
1676
0
        if (workingStream->internal_donotuse.currentOffset == 0) {
1677
0
            workingStream->internal_donotuse.currentOffset = 64 KB;
1678
0
        }
1679
1680
        /* Don't actually attach an empty dictionary.
1681
         */
1682
0
        if (dictCtx->dictSize == 0) {
1683
0
            dictCtx = NULL;
1684
0
        }
1685
0
    }
1686
0
    workingStream->internal_donotuse.dictCtx = dictCtx;
1687
0
}
1688
1689
1690
static void LZ4_renormDictT(LZ4_stream_t_internal* LZ4_dict, int nextSize)
1691
0
{
1692
0
    assert(nextSize >= 0);
1693
0
    if (LZ4_dict->currentOffset + (unsigned)nextSize > 0x80000000) {   /* potential ptrdiff_t overflow (32-bits mode) */
1694
        /* rescale hash table */
1695
0
        U32 const delta = LZ4_dict->currentOffset - 64 KB;
1696
0
        const BYTE* dictEnd = LZ4_dict->dictionary + LZ4_dict->dictSize;
1697
0
        int i;
1698
0
        DEBUGLOG(4, "LZ4_renormDictT");
1699
0
        for (i=0; i<LZ4_HASH_SIZE_U32; i++) {
1700
0
            if (LZ4_dict->hashTable[i] < delta) LZ4_dict->hashTable[i]=0;
1701
0
            else LZ4_dict->hashTable[i] -= delta;
1702
0
        }
1703
0
        LZ4_dict->currentOffset = 64 KB;
1704
0
        if (LZ4_dict->dictSize > 64 KB) LZ4_dict->dictSize = 64 KB;
1705
0
        LZ4_dict->dictionary = dictEnd - LZ4_dict->dictSize;
1706
0
    }
1707
0
}
1708
1709
1710
int LZ4_compress_fast_continue (LZ4_stream_t* LZ4_stream,
1711
                                const char* source, char* dest,
1712
                                int inputSize, int maxOutputSize,
1713
                                int acceleration)
1714
0
{
1715
0
    const tableType_t tableType = byU32;
1716
0
    LZ4_stream_t_internal* const streamPtr = &LZ4_stream->internal_donotuse;
1717
0
    const char* dictEnd = streamPtr->dictSize ? (const char*)streamPtr->dictionary + streamPtr->dictSize : NULL;
1718
1719
0
    DEBUGLOG(5, "LZ4_compress_fast_continue (inputSize=%i, dictSize=%u)", inputSize, streamPtr->dictSize);
1720
1721
0
    LZ4_renormDictT(streamPtr, inputSize);   /* fix index overflow */
1722
0
    if (acceleration < 1) acceleration = LZ4_ACCELERATION_DEFAULT;
1723
0
    if (acceleration > LZ4_ACCELERATION_MAX) acceleration = LZ4_ACCELERATION_MAX;
1724
1725
    /* invalidate tiny dictionaries */
1726
0
    if ( (streamPtr->dictSize < 4)     /* tiny dictionary : not enough for a hash */
1727
0
      && (dictEnd != source)           /* prefix mode */
1728
0
      && (inputSize > 0)               /* tolerance : don't lose history, in case next invocation would use prefix mode */
1729
0
      && (streamPtr->dictCtx == NULL)  /* usingDictCtx */
1730
0
      ) {
1731
0
        DEBUGLOG(5, "LZ4_compress_fast_continue: dictSize(%u) at addr:%p is too small", streamPtr->dictSize, (void*)streamPtr->dictionary);
1732
        /* remove dictionary existence from history, to employ faster prefix mode */
1733
0
        streamPtr->dictSize = 0;
1734
0
        streamPtr->dictionary = (const BYTE*)source;
1735
0
        dictEnd = source;
1736
0
    }
1737
1738
    /* Check overlapping input/dictionary space */
1739
0
    {   const char* const sourceEnd = source + inputSize;
1740
0
        if ((sourceEnd > (const char*)streamPtr->dictionary) && (sourceEnd < dictEnd)) {
1741
0
            streamPtr->dictSize = (U32)(dictEnd - sourceEnd);
1742
0
            if (streamPtr->dictSize > 64 KB) streamPtr->dictSize = 64 KB;
1743
0
            if (streamPtr->dictSize < 4) streamPtr->dictSize = 0;
1744
0
            streamPtr->dictionary = (const BYTE*)dictEnd - streamPtr->dictSize;
1745
0
        }
1746
0
    }
1747
1748
    /* prefix mode : source data follows dictionary */
1749
0
    if (dictEnd == source) {
1750
0
        if ((streamPtr->dictSize < 64 KB) && (streamPtr->dictSize < streamPtr->currentOffset))
1751
0
            return LZ4_compress_generic(streamPtr, source, dest, inputSize, NULL, maxOutputSize, limitedOutput, tableType, withPrefix64k, dictSmall, acceleration);
1752
0
        else
1753
0
            return LZ4_compress_generic(streamPtr, source, dest, inputSize, NULL, maxOutputSize, limitedOutput, tableType, withPrefix64k, noDictIssue, acceleration);
1754
0
    }
1755
1756
    /* external dictionary mode */
1757
0
    {   int result;
1758
0
        if (streamPtr->dictCtx) {
1759
            /* We depend here on the fact that dictCtx'es (produced by
1760
             * LZ4_loadDict) guarantee that their tables contain no references
1761
             * to offsets between dictCtx->currentOffset - 64 KB and
1762
             * dictCtx->currentOffset - dictCtx->dictSize. This makes it safe
1763
             * to use noDictIssue even when the dict isn't a full 64 KB.
1764
             */
1765
0
            if (inputSize > 4 KB) {
1766
                /* For compressing large blobs, it is faster to pay the setup
1767
                 * cost to copy the dictionary's tables into the active context,
1768
                 * so that the compression loop is only looking into one table.
1769
                 */
1770
0
                LZ4_memcpy(streamPtr, streamPtr->dictCtx, sizeof(*streamPtr));
1771
0
                result = LZ4_compress_generic(streamPtr, source, dest, inputSize, NULL, maxOutputSize, limitedOutput, tableType, usingExtDict, noDictIssue, acceleration);
1772
0
            } else {
1773
0
                result = LZ4_compress_generic(streamPtr, source, dest, inputSize, NULL, maxOutputSize, limitedOutput, tableType, usingDictCtx, noDictIssue, acceleration);
1774
0
            }
1775
0
        } else {  /* small data <= 4 KB */
1776
0
            if ((streamPtr->dictSize < 64 KB) && (streamPtr->dictSize < streamPtr->currentOffset)) {
1777
0
                result = LZ4_compress_generic(streamPtr, source, dest, inputSize, NULL, maxOutputSize, limitedOutput, tableType, usingExtDict, dictSmall, acceleration);
1778
0
            } else {
1779
0
                result = LZ4_compress_generic(streamPtr, source, dest, inputSize, NULL, maxOutputSize, limitedOutput, tableType, usingExtDict, noDictIssue, acceleration);
1780
0
            }
1781
0
        }
1782
0
        streamPtr->dictionary = (const BYTE*)source;
1783
0
        streamPtr->dictSize = (U32)inputSize;
1784
0
        return result;
1785
0
    }
1786
0
}
1787
1788
1789
/* Hidden debug function, to force-test external dictionary mode */
1790
int LZ4_compress_forceExtDict (LZ4_stream_t* LZ4_dict, const char* source, char* dest, int srcSize)
1791
0
{
1792
0
    LZ4_stream_t_internal* const streamPtr = &LZ4_dict->internal_donotuse;
1793
0
    int result;
1794
1795
0
    LZ4_renormDictT(streamPtr, srcSize);
1796
1797
0
    if ((streamPtr->dictSize < 64 KB) && (streamPtr->dictSize < streamPtr->currentOffset)) {
1798
0
        result = LZ4_compress_generic(streamPtr, source, dest, srcSize, NULL, 0, notLimited, byU32, usingExtDict, dictSmall, 1);
1799
0
    } else {
1800
0
        result = LZ4_compress_generic(streamPtr, source, dest, srcSize, NULL, 0, notLimited, byU32, usingExtDict, noDictIssue, 1);
1801
0
    }
1802
1803
0
    streamPtr->dictionary = (const BYTE*)source;
1804
0
    streamPtr->dictSize = (U32)srcSize;
1805
1806
0
    return result;
1807
0
}
1808
1809
1810
/*! LZ4_saveDict() :
1811
 *  If previously compressed data block is not guaranteed to remain available at its memory location,
1812
 *  save it into a safer place (char* safeBuffer).
1813
 *  Note : no need to call LZ4_loadDict() afterwards, dictionary is immediately usable,
1814
 *         one can therefore call LZ4_compress_fast_continue() right after.
1815
 * @return : saved dictionary size in bytes (necessarily <= dictSize), or 0 if error.
1816
 */
1817
int LZ4_saveDict (LZ4_stream_t* LZ4_dict, char* safeBuffer, int dictSize)
1818
0
{
1819
0
    LZ4_stream_t_internal* const dict = &LZ4_dict->internal_donotuse;
1820
1821
0
    DEBUGLOG(5, "LZ4_saveDict : dictSize=%i, safeBuffer=%p", dictSize, (void*)safeBuffer);
1822
1823
0
    if ((U32)dictSize > 64 KB) { dictSize = 64 KB; } /* useless to define a dictionary > 64 KB */
1824
0
    if ((U32)dictSize > dict->dictSize) { dictSize = (int)dict->dictSize; }
1825
1826
0
    if (safeBuffer == NULL) assert(dictSize == 0);
1827
0
    if (dictSize > 0) {
1828
0
        const BYTE* const previousDictEnd = dict->dictionary + dict->dictSize;
1829
0
        assert(dict->dictionary);
1830
0
        LZ4_memmove(safeBuffer, previousDictEnd - dictSize, (size_t)dictSize);
1831
0
    }
1832
1833
0
    dict->dictionary = (const BYTE*)safeBuffer;
1834
0
    dict->dictSize = (U32)dictSize;
1835
1836
0
    return dictSize;
1837
0
}
1838
1839
1840
1841
/*-*******************************
1842
 *  Decompression functions
1843
 ********************************/
1844
1845
typedef enum { decode_full_block = 0, partial_decode = 1 } earlyEnd_directive;
1846
1847
#undef MIN
1848
15.9k
#define MIN(a,b)    ( (a) < (b) ? (a) : (b) )
1849
1850
1851
/* variant for decompress_unsafe()
1852
 * does not know end of input
1853
 * presumes input is well formed
1854
 * note : will consume at least one byte */
1855
static size_t read_long_length_no_check(const BYTE** pp)
1856
0
{
1857
0
    size_t b, l = 0;
1858
0
    do { b = **pp; (*pp)++; l += b; } while (b==255);
1859
0
    DEBUGLOG(6, "read_long_length_no_check: +length=%zu using %zu input bytes", l, l/255 + 1)
1860
0
    return l;
1861
0
}
1862
1863
/* core decoder variant for LZ4_decompress_fast*()
1864
 * for legacy support only : these entry points are deprecated.
1865
 * - Presumes input is correctly formed (no defense vs malformed inputs)
1866
 * - Does not know input size (presume input buffer is "large enough")
1867
 * - Decompress a full block (only)
1868
 * @return : nb of bytes read from input.
1869
 * Note : this variant is not optimized for speed, just for maintenance.
1870
 *        the goal is to remove support of decompress_fast*() variants by v2.0
1871
**/
1872
LZ4_FORCE_INLINE int
1873
LZ4_decompress_unsafe_generic(
1874
                 const BYTE* const istart,
1875
                 BYTE* const ostart,
1876
                 int decompressedSize,
1877
1878
                 size_t prefixSize,
1879
                 const BYTE* const dictStart,  /* only if dict==usingExtDict */
1880
                 const size_t dictSize         /* note: =0 if dictStart==NULL */
1881
                 )
1882
0
{
1883
0
    const BYTE* ip = istart;
1884
0
    BYTE* op = (BYTE*)ostart;
1885
0
    BYTE* const oend = ostart + decompressedSize;
1886
0
    const BYTE* const prefixStart = ostart - prefixSize;
1887
1888
0
    DEBUGLOG(5, "LZ4_decompress_unsafe_generic");
1889
0
    if (dictStart == NULL) assert(dictSize == 0);
1890
1891
0
    while (1) {
1892
        /* start new sequence */
1893
0
        unsigned token = *ip++;
1894
1895
        /* literals */
1896
0
        {   size_t ll = token >> ML_BITS;
1897
0
            if (ll==15) {
1898
                /* long literal length */
1899
0
                ll += read_long_length_no_check(&ip);
1900
0
            }
1901
0
            if ((size_t)(oend-op) < ll) return -1; /* output buffer overflow */
1902
0
            LZ4_memmove(op, ip, ll); /* support in-place decompression */
1903
0
            op += ll;
1904
0
            ip += ll;
1905
0
            if ((size_t)(oend-op) < MFLIMIT) {
1906
0
                if (op==oend) break;  /* end of block */
1907
0
                DEBUGLOG(5, "invalid: literals end at distance %zi from end of block", oend-op);
1908
                /* incorrect end of block :
1909
                 * last match must start at least MFLIMIT==12 bytes before end of output block */
1910
0
                return -1;
1911
0
        }   }
1912
1913
        /* match */
1914
0
        {   size_t ml = token & 15;
1915
0
            size_t const offset = LZ4_readLE16(ip);
1916
0
            ip+=2;
1917
1918
0
            if (ml==15) {
1919
                /* long literal length */
1920
0
                ml += read_long_length_no_check(&ip);
1921
0
            }
1922
0
            ml += MINMATCH;
1923
1924
0
            if ((size_t)(oend-op) < ml) return -1; /* output buffer overflow */
1925
1926
0
            {   const BYTE* match = op - offset;
1927
1928
                /* out of range */
1929
0
                if (offset > (size_t)(op - prefixStart) + dictSize) {
1930
0
                    DEBUGLOG(6, "offset out of range");
1931
0
                    return -1;
1932
0
                }
1933
1934
                /* check special case : extDict */
1935
0
                if (offset > (size_t)(op - prefixStart)) {
1936
                    /* extDict scenario */
1937
0
                    const BYTE* const dictEnd = dictStart + dictSize;
1938
0
                    const BYTE* extMatch = dictEnd - (offset - (size_t)(op-prefixStart));
1939
0
                    size_t const extml = (size_t)(dictEnd - extMatch);
1940
0
                    if (extml > ml) {
1941
                        /* match entirely within extDict */
1942
0
                        LZ4_memmove(op, extMatch, ml);
1943
0
                        op += ml;
1944
0
                        ml = 0;
1945
0
                    } else {
1946
                        /* match split between extDict & prefix */
1947
0
                        LZ4_memmove(op, extMatch, extml);
1948
0
                        op += extml;
1949
0
                        ml -= extml;
1950
0
                    }
1951
0
                    match = prefixStart;
1952
0
                }
1953
1954
                /* match copy - slow variant, supporting overlap copy */
1955
0
                {   size_t u;
1956
0
                    for (u=0; u<ml; u++) {
1957
0
                        op[u] = match[u];
1958
0
            }   }   }
1959
0
            op += ml;
1960
0
            if ((size_t)(oend-op) < LASTLITERALS) {
1961
0
                DEBUGLOG(5, "invalid: match ends at distance %zi from end of block", oend-op);
1962
                /* incorrect end of block :
1963
                 * last match must stop at least LASTLITERALS==5 bytes before end of output block */
1964
0
                return -1;
1965
0
            }
1966
0
        } /* match */
1967
0
    } /* main loop */
1968
0
    return (int)(ip - istart);
1969
0
}
1970
1971
1972
/* Read the variable-length literal or match length.
1973
 *
1974
 * @ip : input pointer
1975
 * @ilimit : position after which if length is not decoded, the input is necessarily corrupted.
1976
 * @initial_check - check ip >= ipmax before start of loop.  Returns initial_error if so.
1977
 * @error (output) - error code.  Must be set to 0 before call.
1978
**/
1979
typedef size_t Rvl_t;
1980
static const Rvl_t rvl_error = (Rvl_t)(-1);
1981
LZ4_FORCE_INLINE Rvl_t
1982
read_variable_length(const BYTE** ip, const BYTE* ilimit,
1983
                     int initial_check)
1984
546k
{
1985
546k
    Rvl_t s, length = 0;
1986
546k
    assert(ip != NULL);
1987
546k
    assert(*ip !=  NULL);
1988
546k
    assert(ilimit != NULL);
1989
546k
    if (initial_check && unlikely((*ip) >= ilimit)) {    /* read limit reached */
1990
0
        return rvl_error;
1991
0
    }
1992
546k
    s = **ip;
1993
546k
    (*ip)++;
1994
546k
    length += s;
1995
546k
    if (unlikely((*ip) > ilimit)) {    /* read limit reached */
1996
0
        return rvl_error;
1997
0
    }
1998
    /* accumulator overflow detection (32-bit mode only) */
1999
546k
    if ((sizeof(length) < 8) && unlikely(length > ((Rvl_t)(-1)/2)) ) {
2000
0
        return rvl_error;
2001
0
    }
2002
546k
    if (likely(s != 255)) return length;
2003
898k
    do {
2004
898k
        s = **ip;
2005
898k
        (*ip)++;
2006
898k
        length += s;
2007
898k
        if (unlikely((*ip) > ilimit)) {    /* read limit reached */
2008
0
            return rvl_error;
2009
0
        }
2010
        /* accumulator overflow detection (32-bit mode only) */
2011
898k
        if ((sizeof(length) < 8) && unlikely(length > ((Rvl_t)(-1)/2)) ) {
2012
0
            return rvl_error;
2013
0
        }
2014
898k
    } while (s == 255);
2015
2016
22.4k
    return length;
2017
22.4k
}
2018
2019
/*! LZ4_decompress_generic() :
2020
 *  This generic decompression function covers all use cases.
2021
 *  It shall be instantiated several times, using different sets of directives.
2022
 *  Note that it is important for performance that this function really get inlined,
2023
 *  in order to remove useless branches during compilation optimization.
2024
 */
2025
LZ4_FORCE_INLINE int
2026
LZ4_decompress_generic(
2027
                 const char* const src,
2028
                 char* const dst,
2029
                 int srcSize,
2030
                 int outputSize,         /* If endOnInput==endOnInputSize, this value is `dstCapacity` */
2031
2032
                 earlyEnd_directive partialDecoding,  /* full, partial */
2033
                 dict_directive dict,                 /* noDict, withPrefix64k, usingExtDict */
2034
                 const BYTE* const lowPrefix,  /* always <= dst, == dst when no prefix */
2035
                 const BYTE* const dictStart,  /* only if dict==usingExtDict */
2036
                 const size_t dictSize         /* note : = 0 if noDict */
2037
                 )
2038
11.3k
{
2039
11.3k
    if ((src == NULL) || (outputSize < 0)) { return -1; }
2040
2041
11.3k
    {   const BYTE* ip = (const BYTE*) src;
2042
11.3k
        const BYTE* const iend = ip + srcSize;
2043
2044
11.3k
        BYTE* op = (BYTE*) dst;
2045
11.3k
        BYTE* const oend = op + outputSize;
2046
11.3k
        BYTE* cpy;
2047
2048
11.3k
        const BYTE* const dictEnd = (dictStart == NULL) ? NULL : dictStart + dictSize;
2049
2050
11.3k
        const int checkOffset = (dictSize < (int)(64 KB));
2051
2052
2053
        /* Set up the "end" pointers for the shortcut. */
2054
11.3k
        const BYTE* const shortiend = iend - 14 /*maxLL*/ - 2 /*offset*/;
2055
11.3k
        const BYTE* const shortoend = oend - 14 /*maxLL*/ - 18 /*maxML*/;
2056
2057
11.3k
        const BYTE* match;
2058
11.3k
        size_t offset;
2059
11.3k
        unsigned token;
2060
11.3k
        size_t length;
2061
2062
2063
11.3k
        DEBUGLOG(5, "LZ4_decompress_generic (srcSize:%i, dstSize:%i)", srcSize, outputSize);
2064
2065
        /* Special cases */
2066
11.3k
        assert(lowPrefix <= op);
2067
11.3k
        if (unlikely(outputSize==0)) {
2068
            /* Empty output buffer */
2069
1.39k
            if (partialDecoding) return 0;
2070
3
            return ((srcSize==1) && (*ip==0)) ? 0 : -1;
2071
1.39k
        }
2072
9.91k
        if (unlikely(srcSize==0)) { return -1; }
2073
2074
    /* LZ4_FAST_DEC_LOOP:
2075
     * designed for modern OoO performance cpus,
2076
     * where copying reliably 32-bytes is preferable to an unpredictable branch.
2077
     * note : fast loop may show a regression for some client arm chips. */
2078
9.91k
#if LZ4_FAST_DEC_LOOP
2079
9.91k
        if ((oend - op) < FASTLOOP_SAFE_DISTANCE) {
2080
5.12k
            DEBUGLOG(6, "move to safe decode loop");
2081
5.12k
            goto safe_decode;
2082
5.12k
        }
2083
2084
        /* Fast loop : decode sequences as long as output < oend-FASTLOOP_SAFE_DISTANCE */
2085
4.78k
        DEBUGLOG(6, "using fast decode loop");
2086
750k
        while (1) {
2087
            /* Main fastloop assertion: We can always wildcopy FASTLOOP_SAFE_DISTANCE */
2088
750k
            assert(oend - op >= FASTLOOP_SAFE_DISTANCE);
2089
750k
            assert(ip < iend);
2090
750k
            token = *ip++;
2091
750k
            length = token >> ML_BITS;  /* literal length */
2092
750k
            DEBUGLOG(7, "blockPos%6u: litLength token = %u", (unsigned)(op-(BYTE*)dst), (unsigned)length);
2093
2094
            /* decode literal length */
2095
750k
            if (length == RUN_MASK) {
2096
125k
                size_t const addl = read_variable_length(&ip, iend-RUN_MASK, 1);
2097
125k
                if (addl == rvl_error) {
2098
0
                    DEBUGLOG(6, "error reading long literal length");
2099
0
                    goto _output_error;
2100
0
                }
2101
125k
                length += addl;
2102
125k
                if (unlikely((uptrval)(op)+length<(uptrval)(op))) { goto _output_error; } /* overflow detection */
2103
125k
                if (unlikely((uptrval)(ip)+length<(uptrval)(ip))) { goto _output_error; } /* overflow detection */
2104
2105
                /* copy literals */
2106
125k
                LZ4_STATIC_ASSERT(MFLIMIT >= WILDCOPYLENGTH);
2107
125k
                if ((op+length>oend-32) || (ip+length>iend-32)) { goto safe_literal_copy; }
2108
124k
                LZ4_wildCopy32(op, ip, op+length);
2109
124k
                ip += length; op += length;
2110
624k
            } else if (ip <= iend-(16 + 1/*max lit + offset + nextToken*/)) {
2111
                /* We don't need to check oend, since we check it once for each loop below */
2112
624k
                DEBUGLOG(7, "copy %u bytes in a 16-bytes stripe", (unsigned)length);
2113
                /* Literals can only be <= 14, but hope compilers optimize better when copy by a register size */
2114
624k
                LZ4_memcpy(op, ip, 16);
2115
624k
                ip += length; op += length;
2116
624k
            } else {
2117
234
                goto safe_literal_copy;
2118
234
            }
2119
2120
            /* get offset */
2121
748k
            offset = LZ4_readLE16(ip); ip+=2;
2122
748k
            DEBUGLOG(6, "blockPos%6u: offset = %u", (unsigned)(op-(BYTE*)dst), (unsigned)offset);
2123
748k
            match = op - offset;
2124
748k
            assert(match <= op);  /* overflow check */
2125
2126
            /* get matchlength */
2127
748k
            length = token & ML_MASK;
2128
748k
            DEBUGLOG(7, "  match length token = %u (len==%u)", (unsigned)length, (unsigned)length+MINMATCH);
2129
2130
748k
            if (length == ML_MASK) {
2131
415k
                size_t const addl = read_variable_length(&ip, iend - LASTLITERALS + 1, 0);
2132
415k
                if (addl == rvl_error) {
2133
0
                    DEBUGLOG(5, "error reading long match length");
2134
0
                    goto _output_error;
2135
0
                }
2136
415k
                length += addl;
2137
415k
                length += MINMATCH;
2138
415k
                DEBUGLOG(7, "  long match length == %u", (unsigned)length);
2139
415k
                if (unlikely((uptrval)(op)+length<(uptrval)op)) { goto _output_error; } /* overflow detection */
2140
415k
                if (op + length >= oend - FASTLOOP_SAFE_DISTANCE) {
2141
1.50k
                    goto safe_match_copy;
2142
1.50k
                }
2143
415k
            } else {
2144
332k
                length += MINMATCH;
2145
332k
                if (op + length >= oend - FASTLOOP_SAFE_DISTANCE) {
2146
1.65k
                    DEBUGLOG(7, "moving to safe_match_copy (ml==%u)", (unsigned)length);
2147
1.65k
                    goto safe_match_copy;
2148
1.65k
                }
2149
2150
                /* Fastpath check: skip LZ4_wildCopy32 when true */
2151
331k
                if ((dict == withPrefix64k) || (match >= lowPrefix)) {
2152
331k
                    if (offset >= 8) {
2153
290k
                        assert(match >= lowPrefix);
2154
290k
                        assert(match <= op);
2155
290k
                        assert(op + 18 <= oend);
2156
2157
290k
                        LZ4_memcpy(op, match, 8);
2158
290k
                        LZ4_memcpy(op+8, match+8, 8);
2159
290k
                        LZ4_memcpy(op+16, match+16, 2);
2160
290k
                        op += length;
2161
290k
                        continue;
2162
290k
            }   }   }
2163
2164
454k
            if ( checkOffset && (unlikely(match + dictSize < lowPrefix)) ) {
2165
0
                DEBUGLOG(5, "Error : pos=%zi, offset=%zi => outside buffers", op-lowPrefix, op-match);
2166
0
                goto _output_error;
2167
0
            }
2168
            /* match starting within external dictionary */
2169
454k
            if ((dict==usingExtDict) && (match < lowPrefix)) {
2170
0
                assert(dictEnd != NULL);
2171
0
                if (unlikely(op+length > oend-LASTLITERALS)) {
2172
0
                    if (partialDecoding) {
2173
0
                        DEBUGLOG(7, "partialDecoding: dictionary match, close to dstEnd");
2174
0
                        length = MIN(length, (size_t)(oend-op));
2175
0
                    } else {
2176
0
                        DEBUGLOG(6, "end-of-block condition violated")
2177
0
                        goto _output_error;
2178
0
                }   }
2179
2180
0
                if (length <= (size_t)(lowPrefix-match)) {
2181
                    /* match fits entirely within external dictionary : just copy */
2182
0
                    LZ4_memmove(op, dictEnd - (lowPrefix-match), length);
2183
0
                    op += length;
2184
0
                } else {
2185
                    /* match stretches into both external dictionary and current block */
2186
0
                    size_t const copySize = (size_t)(lowPrefix - match);
2187
0
                    size_t const restSize = length - copySize;
2188
0
                    LZ4_memcpy(op, dictEnd - copySize, copySize);
2189
0
                    op += copySize;
2190
0
                    if (restSize > (size_t)(op - lowPrefix)) {  /* overlap copy */
2191
0
                        BYTE* const endOfMatch = op + restSize;
2192
0
                        const BYTE* copyFrom = lowPrefix;
2193
0
                        while (op < endOfMatch) { *op++ = *copyFrom++; }
2194
0
                    } else {
2195
0
                        LZ4_memcpy(op, lowPrefix, restSize);
2196
0
                        op += restSize;
2197
0
                }   }
2198
0
                continue;
2199
0
            }
2200
2201
            /* copy match within block */
2202
454k
            cpy = op + length;
2203
2204
454k
            assert((op <= oend) && (oend-op >= 32));
2205
454k
            if (unlikely(offset<16)) {
2206
54.4k
                LZ4_memcpy_using_offset(op, match, cpy, offset);
2207
400k
            } else {
2208
400k
                LZ4_wildCopy32(op, match, cpy);
2209
400k
            }
2210
2211
454k
            op = cpy;   /* wildcopy correction */
2212
454k
        }
2213
5.12k
    safe_decode:
2214
5.12k
#endif
2215
2216
        /* Main Loop : decode remaining sequences where output < FASTLOOP_SAFE_DISTANCE */
2217
5.12k
        DEBUGLOG(6, "using safe decode loop");
2218
20.0k
        while (1) {
2219
20.0k
            assert(ip < iend);
2220
20.0k
            token = *ip++;
2221
20.0k
            length = token >> ML_BITS;  /* literal length */
2222
20.0k
            DEBUGLOG(7, "blockPos%6u: litLength token = %u", (unsigned)(op-(BYTE*)dst), (unsigned)length);
2223
2224
            /* A two-stage shortcut for the most common case:
2225
             * 1) If the literal length is 0..14, and there is enough space,
2226
             * enter the shortcut and copy 16 bytes on behalf of the literals
2227
             * (in the fast mode, only 8 bytes can be safely copied this way).
2228
             * 2) Further if the match length is 4..18, copy 18 bytes in a similar
2229
             * manner; but we ensure that there's enough space in the output for
2230
             * those 18 bytes earlier, upon entering the shortcut (in other words,
2231
             * there is a combined check for both stages).
2232
             */
2233
20.0k
            if ( (length != RUN_MASK)
2234
                /* strictly "less than" on input, to re-enter the loop with at least one byte */
2235
17.4k
              && likely((ip < shortiend) & (op <= shortoend)) ) {
2236
                /* Copy the literals */
2237
5.54k
                LZ4_memcpy(op, ip, 16);
2238
5.54k
                op += length; ip += length;
2239
2240
                /* The second stage: prepare for match copying, decode full info.
2241
                 * If it doesn't work out, the info won't be wasted. */
2242
5.54k
                length = token & ML_MASK; /* match length */
2243
5.54k
                DEBUGLOG(7, "blockPos%6u: matchLength token = %u (len=%u)", (unsigned)(op-(BYTE*)dst), (unsigned)length, (unsigned)length + 4);
2244
5.54k
                offset = LZ4_readLE16(ip); ip += 2;
2245
5.54k
                match = op - offset;
2246
5.54k
                assert(match <= op); /* check overflow */
2247
2248
                /* Do not deal with overlapping matches. */
2249
5.54k
                if ( (length != ML_MASK)
2250
4.78k
                  && (offset >= 8)
2251
2.38k
                  && (dict==withPrefix64k || match >= lowPrefix) ) {
2252
                    /* Copy the match. */
2253
2.38k
                    LZ4_memcpy(op + 0, match + 0, 8);
2254
2.38k
                    LZ4_memcpy(op + 8, match + 8, 8);
2255
2.38k
                    LZ4_memcpy(op +16, match +16, 2);
2256
2.38k
                    op += length + MINMATCH;
2257
                    /* Both stages worked, load the next token. */
2258
2.38k
                    continue;
2259
2.38k
                }
2260
2261
                /* The second stage didn't work out, but the info is ready.
2262
                 * Propel it right to the point of match copying. */
2263
3.15k
                goto _copy_match;
2264
5.54k
            }
2265
2266
            /* decode literal length */
2267
14.5k
            if (length == RUN_MASK) {
2268
2.63k
                size_t const addl = read_variable_length(&ip, iend-RUN_MASK, 1);
2269
2.63k
                if (addl == rvl_error) { goto _output_error; }
2270
2.63k
                length += addl;
2271
2.63k
                if (unlikely((uptrval)(op)+length<(uptrval)(op))) { goto _output_error; } /* overflow detection */
2272
2.63k
                if (unlikely((uptrval)(ip)+length<(uptrval)(ip))) { goto _output_error; } /* overflow detection */
2273
2.63k
            }
2274
2275
14.5k
#if LZ4_FAST_DEC_LOOP
2276
16.1k
        safe_literal_copy:
2277
16.1k
#endif
2278
            /* copy literals */
2279
16.1k
            cpy = op+length;
2280
2281
16.1k
            LZ4_STATIC_ASSERT(MFLIMIT >= WILDCOPYLENGTH);
2282
16.1k
            if ((cpy>oend-MFLIMIT) || (ip+length>iend-(2+1+LASTLITERALS))) {
2283
                /* We've either hit the input parsing restriction or the output parsing restriction.
2284
                 * In the normal scenario, decoding a full block, it must be the last sequence,
2285
                 * otherwise it's an error (invalid input or dimensions).
2286
                 * In partialDecoding scenario, it's necessary to ensure there is no buffer overflow.
2287
                 */
2288
9.74k
                if (partialDecoding) {
2289
                    /* Since we are partial decoding we may be in this block because of the output parsing
2290
                     * restriction, which is not valid since the output buffer is allowed to be undersized.
2291
                     */
2292
8.13k
                    DEBUGLOG(7, "partialDecoding: copying literals, close to input or output end")
2293
8.13k
                    DEBUGLOG(7, "partialDecoding: literal length = %u", (unsigned)length);
2294
8.13k
                    DEBUGLOG(7, "partialDecoding: remaining space in dstBuffer : %i", (int)(oend - op));
2295
8.13k
                    DEBUGLOG(7, "partialDecoding: remaining space in srcBuffer : %i", (int)(iend - ip));
2296
                    /* Finishing in the middle of a literals segment,
2297
                     * due to lack of input.
2298
                     */
2299
8.13k
                    if (ip+length > iend) {
2300
0
                        length = (size_t)(iend-ip);
2301
0
                        cpy = op + length;
2302
0
                    }
2303
                    /* Finishing in the middle of a literals segment,
2304
                     * due to lack of output space.
2305
                     */
2306
8.13k
                    if (cpy > oend) {
2307
3.31k
                        cpy = oend;
2308
3.31k
                        assert(op<=oend);
2309
3.31k
                        length = (size_t)(oend-op);
2310
3.31k
                    }
2311
8.13k
                } else {
2312
                     /* We must be on the last sequence (or invalid) because of the parsing limitations
2313
                      * so check that we exactly consume the input and don't overrun the output buffer.
2314
                      */
2315
1.61k
                    if ((ip+length != iend) || (cpy > oend)) {
2316
0
                        DEBUGLOG(5, "should have been last run of literals")
2317
0
                        DEBUGLOG(5, "ip(%p) + length(%i) = %p != iend (%p)", (void*)ip, (int)length, (void*)(ip+length), (void*)iend);
2318
0
                        DEBUGLOG(5, "or cpy(%p) > (oend-MFLIMIT)(%p)", (void*)cpy, (void*)(oend-MFLIMIT));
2319
0
                        DEBUGLOG(5, "after writing %u bytes / %i bytes available", (unsigned)(op-(BYTE*)dst), outputSize);
2320
0
                        goto _output_error;
2321
0
                    }
2322
1.61k
                }
2323
9.74k
                LZ4_memmove(op, ip, length);  /* supports overlapping memory regions, for in-place decompression scenarios */
2324
9.74k
                ip += length;
2325
9.74k
                op += length;
2326
                /* Necessarily EOF when !partialDecoding.
2327
                 * When partialDecoding, it is EOF if we've either
2328
                 * filled the output buffer or
2329
                 * can't proceed with reading an offset for following match.
2330
                 */
2331
9.74k
                if (!partialDecoding || (cpy == oend) || (ip >= (iend-2))) {
2332
6.50k
                    break;
2333
6.50k
                }
2334
9.74k
            } else {
2335
6.39k
                LZ4_wildCopy8(op, ip, cpy);   /* can overwrite up to 8 bytes beyond cpy */
2336
6.39k
                ip += length; op = cpy;
2337
6.39k
            }
2338
2339
            /* get offset */
2340
9.63k
            offset = LZ4_readLE16(ip); ip+=2;
2341
9.63k
            match = op - offset;
2342
2343
            /* get matchlength */
2344
9.63k
            length = token & ML_MASK;
2345
9.63k
            DEBUGLOG(7, "blockPos%6u: matchLength token = %u", (unsigned)(op-(BYTE*)dst), (unsigned)length);
2346
2347
12.7k
    _copy_match:
2348
12.7k
            if (length == ML_MASK) {
2349
2.42k
                size_t const addl = read_variable_length(&ip, iend - LASTLITERALS + 1, 0);
2350
2.42k
                if (addl == rvl_error) { goto _output_error; }
2351
2.42k
                length += addl;
2352
2.42k
                if (unlikely((uptrval)(op)+length<(uptrval)op)) goto _output_error;   /* overflow detection */
2353
2.42k
            }
2354
12.7k
            length += MINMATCH;
2355
2356
12.7k
#if LZ4_FAST_DEC_LOOP
2357
15.9k
        safe_match_copy:
2358
15.9k
#endif
2359
15.9k
            if ((checkOffset) && (unlikely(match + dictSize < lowPrefix))) goto _output_error;   /* Error : offset outside buffers */
2360
            /* match starting within external dictionary */
2361
15.9k
            if ((dict==usingExtDict) && (match < lowPrefix)) {
2362
0
                assert(dictEnd != NULL);
2363
0
                if (unlikely(op+length > oend-LASTLITERALS)) {
2364
0
                    if (partialDecoding) length = MIN(length, (size_t)(oend-op));
2365
0
                    else goto _output_error;   /* doesn't respect parsing restriction */
2366
0
                }
2367
2368
0
                if (length <= (size_t)(lowPrefix-match)) {
2369
                    /* match fits entirely within external dictionary : just copy */
2370
0
                    LZ4_memmove(op, dictEnd - (lowPrefix-match), length);
2371
0
                    op += length;
2372
0
                } else {
2373
                    /* match stretches into both external dictionary and current block */
2374
0
                    size_t const copySize = (size_t)(lowPrefix - match);
2375
0
                    size_t const restSize = length - copySize;
2376
0
                    LZ4_memcpy(op, dictEnd - copySize, copySize);
2377
0
                    op += copySize;
2378
0
                    if (restSize > (size_t)(op - lowPrefix)) {  /* overlap copy */
2379
0
                        BYTE* const endOfMatch = op + restSize;
2380
0
                        const BYTE* copyFrom = lowPrefix;
2381
0
                        while (op < endOfMatch) *op++ = *copyFrom++;
2382
0
                    } else {
2383
0
                        LZ4_memcpy(op, lowPrefix, restSize);
2384
0
                        op += restSize;
2385
0
                }   }
2386
0
                continue;
2387
0
            }
2388
15.9k
            assert(match >= lowPrefix);
2389
2390
            /* copy match within block */
2391
15.9k
            cpy = op + length;
2392
2393
            /* partialDecoding : may end anywhere within the block */
2394
15.9k
            assert(op<=oend);
2395
15.9k
            if (partialDecoding && (cpy > oend-MATCH_SAFEGUARD_DISTANCE)) {
2396
6.23k
                size_t const mlen = MIN(length, (size_t)(oend-op));
2397
6.23k
                const BYTE* const matchEnd = match + mlen;
2398
6.23k
                BYTE* const copyEnd = op + mlen;
2399
6.23k
                if (matchEnd > op) {   /* overlap copy */
2400
176k
                    while (op < copyEnd) { *op++ = *match++; }
2401
3.60k
                } else {
2402
2.62k
                    LZ4_memcpy(op, match, mlen);
2403
2.62k
                }
2404
6.23k
                op = copyEnd;
2405
6.23k
                if (op == oend) { break; }
2406
2.82k
                continue;
2407
6.23k
            }
2408
2409
9.71k
            if (unlikely(offset<8)) {
2410
6.14k
                LZ4_write32(op, 0);   /* silence msan warning when offset==0 */
2411
6.14k
                op[0] = match[0];
2412
6.14k
                op[1] = match[1];
2413
6.14k
                op[2] = match[2];
2414
6.14k
                op[3] = match[3];
2415
6.14k
                match += inc32table[offset];
2416
6.14k
                LZ4_memcpy(op+4, match, 4);
2417
6.14k
                match -= dec64table[offset];
2418
6.14k
            } else {
2419
3.57k
                LZ4_memcpy(op, match, 8);
2420
3.57k
                match += 8;
2421
3.57k
            }
2422
9.71k
            op += 8;
2423
2424
9.71k
            if (unlikely(cpy > oend-MATCH_SAFEGUARD_DISTANCE)) {
2425
812
                BYTE* const oCopyLimit = oend - (WILDCOPYLENGTH-1);
2426
812
                if (cpy > oend-LASTLITERALS) { goto _output_error; } /* Error : last LASTLITERALS bytes must be literals (uncompressed) */
2427
812
                if (op < oCopyLimit) {
2428
402
                    LZ4_wildCopy8(op, match, oCopyLimit);
2429
402
                    match += oCopyLimit - op;
2430
402
                    op = oCopyLimit;
2431
402
                }
2432
1.36k
                while (op < cpy) { *op++ = *match++; }
2433
8.90k
            } else {
2434
8.90k
                LZ4_memcpy(op, match, 8);
2435
8.90k
                if (length > 16) { LZ4_wildCopy8(op+8, match+8, cpy); }
2436
8.90k
            }
2437
9.71k
            op = cpy;   /* wildcopy correction */
2438
9.71k
        }
2439
2440
        /* end of decoding */
2441
9.91k
        DEBUGLOG(5, "decoded %i bytes", (int) (((char*)op)-dst));
2442
9.91k
        return (int) (((char*)op)-dst);     /* Nb of output bytes decoded */
2443
2444
        /* Overflow error detected */
2445
0
    _output_error:
2446
0
        return (int) (-(((const char*)ip)-src))-1;
2447
5.12k
    }
2448
5.12k
}
2449
2450
2451
/*===== Instantiate the API decoding functions. =====*/
2452
2453
LZ4_FORCE_O2
2454
int LZ4_decompress_safe(const char* source, char* dest, int compressedSize, int maxDecompressedSize)
2455
1.61k
{
2456
1.61k
    return LZ4_decompress_generic(source, dest, compressedSize, maxDecompressedSize,
2457
1.61k
                                  decode_full_block, noDict,
2458
1.61k
                                  (BYTE*)dest, NULL, 0);
2459
1.61k
}
2460
2461
LZ4_FORCE_O2
2462
int LZ4_decompress_safe_partial(const char* src, char* dst, int compressedSize, int targetOutputSize, int dstCapacity)
2463
3.23k
{
2464
3.23k
    dstCapacity = MIN(targetOutputSize, dstCapacity);
2465
3.23k
    return LZ4_decompress_generic(src, dst, compressedSize, dstCapacity,
2466
3.23k
                                  partial_decode,
2467
3.23k
                                  noDict, (BYTE*)dst, NULL, 0);
2468
3.23k
}
2469
2470
LZ4_FORCE_O2
2471
int LZ4_decompress_fast(const char* source, char* dest, int originalSize)
2472
0
{
2473
0
    DEBUGLOG(5, "LZ4_decompress_fast");
2474
0
    return LZ4_decompress_unsafe_generic(
2475
0
                (const BYTE*)source, (BYTE*)dest, originalSize,
2476
0
                0, NULL, 0);
2477
0
}
2478
2479
/*===== Instantiate a few more decoding cases, used more than once. =====*/
2480
2481
LZ4_FORCE_O2 /* Exported, an obsolete API function. */
2482
int LZ4_decompress_safe_withPrefix64k(const char* source, char* dest, int compressedSize, int maxOutputSize)
2483
0
{
2484
0
    return LZ4_decompress_generic(source, dest, compressedSize, maxOutputSize,
2485
0
                                  decode_full_block, withPrefix64k,
2486
0
                                  (BYTE*)dest - 64 KB, NULL, 0);
2487
0
}
2488
2489
LZ4_FORCE_O2
2490
static int LZ4_decompress_safe_partial_withPrefix64k(const char* source, char* dest, int compressedSize, int targetOutputSize, int dstCapacity)
2491
0
{
2492
0
    dstCapacity = MIN(targetOutputSize, dstCapacity);
2493
0
    return LZ4_decompress_generic(source, dest, compressedSize, dstCapacity,
2494
0
                                  partial_decode, withPrefix64k,
2495
0
                                  (BYTE*)dest - 64 KB, NULL, 0);
2496
0
}
2497
2498
/* Another obsolete API function, paired with the previous one. */
2499
int LZ4_decompress_fast_withPrefix64k(const char* source, char* dest, int originalSize)
2500
0
{
2501
0
    return LZ4_decompress_unsafe_generic(
2502
0
                (const BYTE*)source, (BYTE*)dest, originalSize,
2503
0
                64 KB, NULL, 0);
2504
0
}
2505
2506
LZ4_FORCE_O2
2507
static int LZ4_decompress_safe_withSmallPrefix(const char* source, char* dest, int compressedSize, int maxOutputSize,
2508
                                               size_t prefixSize)
2509
0
{
2510
0
    return LZ4_decompress_generic(source, dest, compressedSize, maxOutputSize,
2511
0
                                  decode_full_block, noDict,
2512
0
                                  (BYTE*)dest-prefixSize, NULL, 0);
2513
0
}
2514
2515
LZ4_FORCE_O2
2516
static int LZ4_decompress_safe_partial_withSmallPrefix(const char* source, char* dest, int compressedSize, int targetOutputSize, int dstCapacity,
2517
                                               size_t prefixSize)
2518
0
{
2519
0
    dstCapacity = MIN(targetOutputSize, dstCapacity);
2520
0
    return LZ4_decompress_generic(source, dest, compressedSize, dstCapacity,
2521
0
                                  partial_decode, noDict,
2522
0
                                  (BYTE*)dest-prefixSize, NULL, 0);
2523
0
}
2524
2525
LZ4_FORCE_O2
2526
int LZ4_decompress_safe_forceExtDict(const char* source, char* dest,
2527
                                     int compressedSize, int maxOutputSize,
2528
                                     const void* dictStart, size_t dictSize)
2529
0
{
2530
0
    DEBUGLOG(5, "LZ4_decompress_safe_forceExtDict");
2531
0
    return LZ4_decompress_generic(source, dest, compressedSize, maxOutputSize,
2532
0
                                  decode_full_block, usingExtDict,
2533
0
                                  (BYTE*)dest, (const BYTE*)dictStart, dictSize);
2534
0
}
2535
2536
LZ4_FORCE_O2
2537
int LZ4_decompress_safe_partial_forceExtDict(const char* source, char* dest,
2538
                                     int compressedSize, int targetOutputSize, int dstCapacity,
2539
                                     const void* dictStart, size_t dictSize)
2540
6.46k
{
2541
6.46k
    dstCapacity = MIN(targetOutputSize, dstCapacity);
2542
6.46k
    return LZ4_decompress_generic(source, dest, compressedSize, dstCapacity,
2543
6.46k
                                  partial_decode, usingExtDict,
2544
6.46k
                                  (BYTE*)dest, (const BYTE*)dictStart, dictSize);
2545
6.46k
}
2546
2547
LZ4_FORCE_O2
2548
static int LZ4_decompress_fast_extDict(const char* source, char* dest, int originalSize,
2549
                                       const void* dictStart, size_t dictSize)
2550
0
{
2551
0
    return LZ4_decompress_unsafe_generic(
2552
0
                (const BYTE*)source, (BYTE*)dest, originalSize,
2553
0
                0, (const BYTE*)dictStart, dictSize);
2554
0
}
2555
2556
/* The "double dictionary" mode, for use with e.g. ring buffers: the first part
2557
 * of the dictionary is passed as prefix, and the second via dictStart + dictSize.
2558
 * These routines are used only once, in LZ4_decompress_*_continue().
2559
 */
2560
LZ4_FORCE_INLINE
2561
int LZ4_decompress_safe_doubleDict(const char* source, char* dest, int compressedSize, int maxOutputSize,
2562
                                   size_t prefixSize, const void* dictStart, size_t dictSize)
2563
0
{
2564
0
    return LZ4_decompress_generic(source, dest, compressedSize, maxOutputSize,
2565
0
                                  decode_full_block, usingExtDict,
2566
0
                                  (BYTE*)dest-prefixSize, (const BYTE*)dictStart, dictSize);
2567
0
}
2568
2569
/*===== streaming decompression functions =====*/
2570
2571
#if !defined(LZ4_STATIC_LINKING_ONLY_DISABLE_MEMORY_ALLOCATION)
2572
LZ4_streamDecode_t* LZ4_createStreamDecode(void)
2573
0
{
2574
0
    LZ4_STATIC_ASSERT(sizeof(LZ4_streamDecode_t) >= sizeof(LZ4_streamDecode_t_internal));
2575
0
    return (LZ4_streamDecode_t*) ALLOC_AND_ZERO(sizeof(LZ4_streamDecode_t));
2576
0
}
2577
2578
int LZ4_freeStreamDecode (LZ4_streamDecode_t* LZ4_stream)
2579
0
{
2580
0
    if (LZ4_stream == NULL) { return 0; }  /* support free on NULL */
2581
0
    FREEMEM(LZ4_stream);
2582
0
    return 0;
2583
0
}
2584
#endif
2585
2586
/*! LZ4_setStreamDecode() :
2587
 *  Use this function to instruct where to find the dictionary.
2588
 *  This function is not necessary if previous data is still available where it was decoded.
2589
 *  Loading a size of 0 is allowed (same effect as no dictionary).
2590
 * @return : 1 if OK, 0 if error
2591
 */
2592
int LZ4_setStreamDecode (LZ4_streamDecode_t* LZ4_streamDecode, const char* dictionary, int dictSize)
2593
0
{
2594
0
    LZ4_streamDecode_t_internal* lz4sd = &LZ4_streamDecode->internal_donotuse;
2595
0
    lz4sd->prefixSize = (size_t)dictSize;
2596
0
    if (dictSize) {
2597
0
        assert(dictionary != NULL);
2598
0
        lz4sd->prefixEnd = (const BYTE*) dictionary + dictSize;
2599
0
    } else {
2600
0
        lz4sd->prefixEnd = (const BYTE*) dictionary;
2601
0
    }
2602
0
    lz4sd->externalDict = NULL;
2603
0
    lz4sd->extDictSize  = 0;
2604
0
    return 1;
2605
0
}
2606
2607
/*! LZ4_decoderRingBufferSize() :
2608
 *  when setting a ring buffer for streaming decompression (optional scenario),
2609
 *  provides the minimum size of this ring buffer
2610
 *  to be compatible with any source respecting maxBlockSize condition.
2611
 *  Note : in a ring buffer scenario,
2612
 *  blocks are presumed decompressed next to each other.
2613
 *  When not enough space remains for next block (remainingSize < maxBlockSize),
2614
 *  decoding resumes from beginning of ring buffer.
2615
 * @return : minimum ring buffer size,
2616
 *           or 0 if there is an error (invalid maxBlockSize).
2617
 */
2618
int LZ4_decoderRingBufferSize(int maxBlockSize)
2619
0
{
2620
0
    if (maxBlockSize < 0) return 0;
2621
0
    if (maxBlockSize > LZ4_MAX_INPUT_SIZE) return 0;
2622
0
    if (maxBlockSize < 16) maxBlockSize = 16;
2623
0
    return LZ4_DECODER_RING_BUFFER_SIZE(maxBlockSize);
2624
0
}
2625
2626
/*
2627
*_continue() :
2628
    These decoding functions allow decompression of multiple blocks in "streaming" mode.
2629
    Previously decoded blocks must still be available at the memory position where they were decoded.
2630
    If it's not possible, save the relevant part of decoded data into a safe buffer,
2631
    and indicate where it stands using LZ4_setStreamDecode()
2632
*/
2633
LZ4_FORCE_O2
2634
int LZ4_decompress_safe_continue (LZ4_streamDecode_t* LZ4_streamDecode, const char* source, char* dest, int compressedSize, int maxOutputSize)
2635
0
{
2636
0
    LZ4_streamDecode_t_internal* lz4sd = &LZ4_streamDecode->internal_donotuse;
2637
0
    int result;
2638
2639
0
    if (lz4sd->prefixSize == 0) {
2640
        /* The first call, no dictionary yet. */
2641
0
        assert(lz4sd->extDictSize == 0);
2642
0
        result = LZ4_decompress_safe(source, dest, compressedSize, maxOutputSize);
2643
0
        if (result <= 0) return result;
2644
0
        lz4sd->prefixSize = (size_t)result;
2645
0
        lz4sd->prefixEnd = (BYTE*)dest + result;
2646
0
    } else if (lz4sd->prefixEnd == (BYTE*)dest) {
2647
        /* They're rolling the current segment. */
2648
0
        if (lz4sd->prefixSize >= 64 KB - 1)
2649
0
            result = LZ4_decompress_safe_withPrefix64k(source, dest, compressedSize, maxOutputSize);
2650
0
        else if (lz4sd->extDictSize == 0)
2651
0
            result = LZ4_decompress_safe_withSmallPrefix(source, dest, compressedSize, maxOutputSize,
2652
0
                                                         lz4sd->prefixSize);
2653
0
        else
2654
0
            result = LZ4_decompress_safe_doubleDict(source, dest, compressedSize, maxOutputSize,
2655
0
                                                    lz4sd->prefixSize, lz4sd->externalDict, lz4sd->extDictSize);
2656
0
        if (result <= 0) return result;
2657
0
        lz4sd->prefixSize += (size_t)result;
2658
0
        lz4sd->prefixEnd  += result;
2659
0
    } else {
2660
        /* The buffer wraps around, or they're switching to another buffer. */
2661
0
        lz4sd->extDictSize = lz4sd->prefixSize;
2662
0
        lz4sd->externalDict = lz4sd->prefixEnd - lz4sd->extDictSize;
2663
0
        result = LZ4_decompress_safe_forceExtDict(source, dest, compressedSize, maxOutputSize,
2664
0
                                                  lz4sd->externalDict, lz4sd->extDictSize);
2665
0
        if (result <= 0) return result;
2666
0
        lz4sd->prefixSize = (size_t)result;
2667
0
        lz4sd->prefixEnd  = (BYTE*)dest + result;
2668
0
    }
2669
2670
0
    return result;
2671
0
}
2672
2673
LZ4_FORCE_O2 int
2674
LZ4_decompress_fast_continue (LZ4_streamDecode_t* LZ4_streamDecode,
2675
                        const char* source, char* dest, int originalSize)
2676
0
{
2677
0
    LZ4_streamDecode_t_internal* const lz4sd =
2678
0
        (assert(LZ4_streamDecode!=NULL), &LZ4_streamDecode->internal_donotuse);
2679
0
    int result;
2680
2681
0
    DEBUGLOG(5, "LZ4_decompress_fast_continue (toDecodeSize=%i)", originalSize);
2682
0
    assert(originalSize >= 0);
2683
2684
0
    if (lz4sd->prefixSize == 0) {
2685
0
        DEBUGLOG(5, "first invocation : no prefix nor extDict");
2686
0
        assert(lz4sd->extDictSize == 0);
2687
0
        result = LZ4_decompress_fast(source, dest, originalSize);
2688
0
        if (result <= 0) return result;
2689
0
        lz4sd->prefixSize = (size_t)originalSize;
2690
0
        lz4sd->prefixEnd = (BYTE*)dest + originalSize;
2691
0
    } else if (lz4sd->prefixEnd == (BYTE*)dest) {
2692
0
        DEBUGLOG(5, "continue using existing prefix");
2693
0
        result = LZ4_decompress_unsafe_generic(
2694
0
                        (const BYTE*)source, (BYTE*)dest, originalSize,
2695
0
                        lz4sd->prefixSize,
2696
0
                        lz4sd->externalDict, lz4sd->extDictSize);
2697
0
        if (result <= 0) return result;
2698
0
        lz4sd->prefixSize += (size_t)originalSize;
2699
0
        lz4sd->prefixEnd  += originalSize;
2700
0
    } else {
2701
0
        DEBUGLOG(5, "prefix becomes extDict");
2702
0
        lz4sd->extDictSize = lz4sd->prefixSize;
2703
0
        lz4sd->externalDict = lz4sd->prefixEnd - lz4sd->extDictSize;
2704
0
        result = LZ4_decompress_fast_extDict(source, dest, originalSize,
2705
0
                                             lz4sd->externalDict, lz4sd->extDictSize);
2706
0
        if (result <= 0) return result;
2707
0
        lz4sd->prefixSize = (size_t)originalSize;
2708
0
        lz4sd->prefixEnd  = (BYTE*)dest + originalSize;
2709
0
    }
2710
2711
0
    return result;
2712
0
}
2713
2714
2715
/*
2716
Advanced decoding functions :
2717
*_usingDict() :
2718
    These decoding functions work the same as "_continue" ones,
2719
    the dictionary must be explicitly provided within parameters
2720
*/
2721
2722
int LZ4_decompress_safe_usingDict(const char* source, char* dest, int compressedSize, int maxOutputSize, const char* dictStart, int dictSize)
2723
0
{
2724
0
    if (dictSize==0)
2725
0
        return LZ4_decompress_safe(source, dest, compressedSize, maxOutputSize);
2726
0
    if (dictStart+dictSize == dest) {
2727
0
        if (dictSize >= 64 KB - 1) {
2728
0
            return LZ4_decompress_safe_withPrefix64k(source, dest, compressedSize, maxOutputSize);
2729
0
        }
2730
0
        assert(dictSize >= 0);
2731
0
        return LZ4_decompress_safe_withSmallPrefix(source, dest, compressedSize, maxOutputSize, (size_t)dictSize);
2732
0
    }
2733
0
    assert(dictSize >= 0);
2734
0
    return LZ4_decompress_safe_forceExtDict(source, dest, compressedSize, maxOutputSize, dictStart, (size_t)dictSize);
2735
0
}
2736
2737
int LZ4_decompress_safe_partial_usingDict(const char* source, char* dest, int compressedSize, int targetOutputSize, int dstCapacity, const char* dictStart, int dictSize)
2738
8.07k
{
2739
8.07k
    if (dictSize==0)
2740
1.61k
        return LZ4_decompress_safe_partial(source, dest, compressedSize, targetOutputSize, dstCapacity);
2741
6.46k
    if (dictStart+dictSize == dest) {
2742
0
        if (dictSize >= 64 KB - 1) {
2743
0
            return LZ4_decompress_safe_partial_withPrefix64k(source, dest, compressedSize, targetOutputSize, dstCapacity);
2744
0
        }
2745
0
        assert(dictSize >= 0);
2746
0
        return LZ4_decompress_safe_partial_withSmallPrefix(source, dest, compressedSize, targetOutputSize, dstCapacity, (size_t)dictSize);
2747
0
    }
2748
6.46k
    assert(dictSize >= 0);
2749
6.46k
    return LZ4_decompress_safe_partial_forceExtDict(source, dest, compressedSize, targetOutputSize, dstCapacity, dictStart, (size_t)dictSize);
2750
6.46k
}
2751
2752
int LZ4_decompress_fast_usingDict(const char* source, char* dest, int originalSize, const char* dictStart, int dictSize)
2753
0
{
2754
0
    if (dictSize==0 || dictStart+dictSize == dest)
2755
0
        return LZ4_decompress_unsafe_generic(
2756
0
                        (const BYTE*)source, (BYTE*)dest, originalSize,
2757
0
                        (size_t)dictSize, NULL, 0);
2758
0
    assert(dictSize >= 0);
2759
0
    return LZ4_decompress_fast_extDict(source, dest, originalSize, dictStart, (size_t)dictSize);
2760
0
}
2761
2762
2763
/*=*************************************************
2764
*  Obsolete Functions
2765
***************************************************/
2766
/* obsolete compression functions */
2767
int LZ4_compress_limitedOutput(const char* source, char* dest, int inputSize, int maxOutputSize)
2768
0
{
2769
0
    return LZ4_compress_default(source, dest, inputSize, maxOutputSize);
2770
0
}
2771
int LZ4_compress(const char* src, char* dest, int srcSize)
2772
0
{
2773
0
    return LZ4_compress_default(src, dest, srcSize, LZ4_compressBound(srcSize));
2774
0
}
2775
int LZ4_compress_limitedOutput_withState (void* state, const char* src, char* dst, int srcSize, int dstSize)
2776
0
{
2777
0
    return LZ4_compress_fast_extState(state, src, dst, srcSize, dstSize, 1);
2778
0
}
2779
int LZ4_compress_withState (void* state, const char* src, char* dst, int srcSize)
2780
0
{
2781
0
    return LZ4_compress_fast_extState(state, src, dst, srcSize, LZ4_compressBound(srcSize), 1);
2782
0
}
2783
int LZ4_compress_limitedOutput_continue (LZ4_stream_t* LZ4_stream, const char* src, char* dst, int srcSize, int dstCapacity)
2784
0
{
2785
0
    return LZ4_compress_fast_continue(LZ4_stream, src, dst, srcSize, dstCapacity, 1);
2786
0
}
2787
int LZ4_compress_continue (LZ4_stream_t* LZ4_stream, const char* source, char* dest, int inputSize)
2788
0
{
2789
0
    return LZ4_compress_fast_continue(LZ4_stream, source, dest, inputSize, LZ4_compressBound(inputSize), 1);
2790
0
}
2791
2792
/*
2793
These decompression functions are deprecated and should no longer be used.
2794
They are only provided here for compatibility with older user programs.
2795
- LZ4_uncompress is totally equivalent to LZ4_decompress_fast
2796
- LZ4_uncompress_unknownOutputSize is totally equivalent to LZ4_decompress_safe
2797
*/
2798
int LZ4_uncompress (const char* source, char* dest, int outputSize)
2799
0
{
2800
0
    return LZ4_decompress_fast(source, dest, outputSize);
2801
0
}
2802
int LZ4_uncompress_unknownOutputSize (const char* source, char* dest, int isize, int maxOutputSize)
2803
0
{
2804
0
    return LZ4_decompress_safe(source, dest, isize, maxOutputSize);
2805
0
}
2806
2807
/* Obsolete Streaming functions */
2808
2809
0
int LZ4_sizeofStreamState(void) { return sizeof(LZ4_stream_t); }
2810
2811
int LZ4_resetStreamState(void* state, char* inputBuffer)
2812
0
{
2813
0
    (void)inputBuffer;
2814
0
    LZ4_resetStream((LZ4_stream_t*)state);
2815
0
    return 0;
2816
0
}
2817
2818
#if !defined(LZ4_STATIC_LINKING_ONLY_DISABLE_MEMORY_ALLOCATION)
2819
void* LZ4_create (char* inputBuffer)
2820
0
{
2821
0
    (void)inputBuffer;
2822
0
    return LZ4_createStream();
2823
0
}
2824
#endif
2825
2826
char* LZ4_slideInputBuffer (void* state)
2827
0
{
2828
    /* avoid const char * -> char * conversion warning */
2829
0
    return (char *)(uptrval)((LZ4_stream_t*)state)->internal_donotuse.dictionary;
2830
0
}
2831
2832
#endif   /* LZ4_COMMONDEFS_ONLY */