Coverage Report

Created: 2025-11-11 06:33

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
0
#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
2.12G
#  define expect(expr,value)    (__builtin_expect ((expr),(value)) )
173
#else
174
#  define expect(expr,value)    (expr)
175
#endif
176
177
#ifndef likely
178
47.7M
#define likely(expr)     expect((expr) != 0, 1)
179
#endif
180
#ifndef unlikely
181
7.21M
#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
11.0k
# define ALLOC(s)          malloc(s)
227
0
# define ALLOC_AND_ZERO(s) calloc(1,s)
228
11.0k
# 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
111k
#  define LZ4_memset(p,v,s) memset((p),(v),(s))
236
#endif
237
111k
#define MEM_INIT(p,v,s)   LZ4_memset((p),(v),(s))
238
239
240
/*-************************************
241
*  Common Constants
242
**************************************/
243
721M
#define MINMATCH 4
244
245
5.87k
#define WILDCOPYLENGTH 8
246
1.13M
#define LASTLITERALS   5   /* see ../doc/lz4_Block_format.md#parsing-restrictions */
247
27.0k
#define MFLIMIT       12   /* see ../doc/lz4_Block_format.md#parsing-restrictions */
248
0
#define MATCH_SAFEGUARD_DISTANCE  ((2*WILDCOPYLENGTH) - MINMATCH)   /* ensure it's possible to write 2 x wildcopyLength without overflowing output buffer */
249
4.14M
#define FASTLOOP_SAFE_DISTANCE 64
250
static const int LZ4_minLength = (MFLIMIT+1);
251
252
15.3k
#define KB *(1 <<10)
253
#define MB *(1 <<20)
254
7.67k
#define GB *(1U<<30)
255
256
0
#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
436M
#define ML_BITS  4
262
266M
#define ML_MASK  ((1U<<ML_BITS)-1)
263
162M
#define RUN_BITS (8-ML_BITS)
264
162M
#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
4.30M
#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
328M
#  define DEBUGLOG(l, ...) {}    /* disabled */
291
#endif
292
293
static int LZ4_isAligned(const void* ptr, size_t alignment)
294
15.3k
{
295
15.3k
    return ((size_t)ptr & (alignment -1)) == 0;
296
15.3k
}
Unexecuted instantiation: round_trip_hc_fuzzer.c:LZ4_isAligned
Unexecuted instantiation: lz4_helpers.c:LZ4_isAligned
Unexecuted instantiation: fuzz_data_producer.c:LZ4_isAligned
Unexecuted instantiation: lz4.c:LZ4_isAligned
lz4hc.c:LZ4_isAligned
Line
Count
Source
294
15.3k
{
295
15.3k
    return ((size_t)ptr & (alignment -1)) == 0;
296
15.3k
}
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
49.8M
#    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
7.66k
#    define LZ4_memmove __builtin_memmove
359
#  else
360
#    define LZ4_memmove memmove
361
#  endif
362
#endif
363
364
static unsigned LZ4_isLittleEndian(void)
365
168M
{
366
168M
    const union { U32 u; BYTE c[4]; } one = { 1 };   /* don't use static : performance detrimental */
367
168M
    return one.c[0];
368
168M
}
Unexecuted instantiation: round_trip_hc_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
4.15M
{
366
4.15M
    const union { U32 u; BYTE c[4]; } one = { 1 };   /* don't use static : performance detrimental */
367
4.15M
    return one.c[0];
368
4.15M
}
lz4hc.c:LZ4_isLittleEndian
Line
Count
Source
365
164M
{
366
164M
    const union { U32 u; BYTE c[4]; } one = { 1 };   /* don't use static : performance detrimental */
367
164M
    return one.c[0];
368
164M
}
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
1.02G
static U16 LZ4_read16(const void* ptr) { return ((const LZ4_unalign16*)ptr)->u16; }
Unexecuted instantiation: round_trip_hc_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
4.15M
static U16 LZ4_read16(const void* ptr) { return ((const LZ4_unalign16*)ptr)->u16; }
lz4hc.c:LZ4_read16
Line
Count
Source
394
1.01G
static U16 LZ4_read16(const void* ptr) { return ((const LZ4_unalign16*)ptr)->u16; }
395
2.08G
static U32 LZ4_read32(const void* ptr) { return ((const LZ4_unalign32*)ptr)->u32; }
Unexecuted instantiation: round_trip_hc_fuzzer.c:LZ4_read32
Unexecuted instantiation: lz4_helpers.c:LZ4_read32
Unexecuted instantiation: fuzz_data_producer.c:LZ4_read32
Unexecuted instantiation: lz4.c:LZ4_read32
lz4hc.c:LZ4_read32
Line
Count
Source
395
2.08G
static U32 LZ4_read32(const void* ptr) { return ((const LZ4_unalign32*)ptr)->u32; }
396
703M
static reg_t LZ4_read_ARCH(const void* ptr) { return ((const LZ4_unalignST*)ptr)->uArch; }
Unexecuted instantiation: round_trip_hc_fuzzer.c:LZ4_read_ARCH
Unexecuted instantiation: lz4_helpers.c:LZ4_read_ARCH
Unexecuted instantiation: fuzz_data_producer.c:LZ4_read_ARCH
Unexecuted instantiation: lz4.c:LZ4_read_ARCH
lz4hc.c:LZ4_read_ARCH
Line
Count
Source
396
703M
static reg_t LZ4_read_ARCH(const void* ptr) { return ((const LZ4_unalignST*)ptr)->uArch; }
397
398
4.15M
static void LZ4_write16(void* memPtr, U16 value) { ((LZ4_unalign16*)memPtr)->u16 = value; }
Unexecuted instantiation: round_trip_hc_fuzzer.c:LZ4_write16
Unexecuted instantiation: lz4_helpers.c:LZ4_write16
Unexecuted instantiation: fuzz_data_producer.c:LZ4_write16
Unexecuted instantiation: lz4.c:LZ4_write16
lz4hc.c:LZ4_write16
Line
Count
Source
398
4.15M
static void LZ4_write16(void* memPtr, U16 value) { ((LZ4_unalign16*)memPtr)->u16 = value; }
399
46.0k
static void LZ4_write32(void* memPtr, U32 value) { ((LZ4_unalign32*)memPtr)->u32 = value; }
Unexecuted instantiation: round_trip_hc_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
46.0k
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
4.15M
{
433
4.15M
    if (LZ4_isLittleEndian()) {
434
4.15M
        return LZ4_read16(memPtr);
435
4.15M
    } else {
436
0
        const BYTE* p = (const BYTE*)memPtr;
437
0
        return (U16)((U16)p[0] | (p[1]<<8));
438
0
    }
439
4.15M
}
Unexecuted instantiation: round_trip_hc_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
4.15M
{
433
4.15M
    if (LZ4_isLittleEndian()) {
434
4.15M
        return LZ4_read16(memPtr);
435
4.15M
    } else {
436
0
        const BYTE* p = (const BYTE*)memPtr;
437
0
        return (U16)((U16)p[0] | (p[1]<<8));
438
0
    }
439
4.15M
}
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
4.15M
{
455
4.15M
    if (LZ4_isLittleEndian()) {
456
4.15M
        LZ4_write16(memPtr, value);
457
4.15M
    } else {
458
0
        BYTE* p = (BYTE*)memPtr;
459
0
        p[0] = (BYTE) value;
460
0
        p[1] = (BYTE)(value>>8);
461
0
    }
462
4.15M
}
Unexecuted instantiation: round_trip_hc_fuzzer.c:LZ4_writeLE16
Unexecuted instantiation: lz4_helpers.c:LZ4_writeLE16
Unexecuted instantiation: fuzz_data_producer.c:LZ4_writeLE16
Unexecuted instantiation: lz4.c:LZ4_writeLE16
lz4hc.c:LZ4_writeLE16
Line
Count
Source
454
4.15M
{
455
4.15M
    if (LZ4_isLittleEndian()) {
456
4.15M
        LZ4_write16(memPtr, value);
457
4.15M
    } else {
458
0
        BYTE* p = (BYTE*)memPtr;
459
0
        p[0] = (BYTE) value;
460
0
        p[1] = (BYTE)(value>>8);
461
0
    }
462
4.15M
}
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
4.20M
{
468
4.20M
    BYTE* d = (BYTE*)dstPtr;
469
4.20M
    const BYTE* s = (const BYTE*)srcPtr;
470
4.20M
    BYTE* const e = (BYTE*)dstEnd;
471
472
18.6M
    do { LZ4_memcpy(d,s,8); d+=8; s+=8; } while (d<e);
473
4.20M
}
Unexecuted instantiation: round_trip_hc_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
55.3k
{
468
55.3k
    BYTE* d = (BYTE*)dstPtr;
469
55.3k
    const BYTE* s = (const BYTE*)srcPtr;
470
55.3k
    BYTE* const e = (BYTE*)dstEnd;
471
472
9.25M
    do { LZ4_memcpy(d,s,8); d+=8; s+=8; } while (d<e);
473
55.3k
}
lz4hc.c:LZ4_wildCopy8
Line
Count
Source
467
4.15M
{
468
4.15M
    BYTE* d = (BYTE*)dstPtr;
469
4.15M
    const BYTE* s = (const BYTE*)srcPtr;
470
4.15M
    BYTE* const e = (BYTE*)dstEnd;
471
472
9.38M
    do { LZ4_memcpy(d,s,8); d+=8; s+=8; } while (d<e);
473
4.15M
}
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
38.3k
{
501
38.3k
    assert(srcPtr + offset == dstPtr);
502
38.3k
    if (offset < 8) {
503
36.1k
        LZ4_write32(dstPtr, 0);   /* silence an msan warning when offset==0 */
504
36.1k
        dstPtr[0] = srcPtr[0];
505
36.1k
        dstPtr[1] = srcPtr[1];
506
36.1k
        dstPtr[2] = srcPtr[2];
507
36.1k
        dstPtr[3] = srcPtr[3];
508
36.1k
        srcPtr += inc32table[offset];
509
36.1k
        LZ4_memcpy(dstPtr+4, srcPtr, 4);
510
36.1k
        srcPtr -= dec64table[offset];
511
36.1k
        dstPtr += 8;
512
36.1k
    } else {
513
2.26k
        LZ4_memcpy(dstPtr, srcPtr, 8);
514
2.26k
        dstPtr += 8;
515
2.26k
        srcPtr += 8;
516
2.26k
    }
517
518
38.3k
    LZ4_wildCopy8(dstPtr, srcPtr, dstEnd);
519
38.3k
}
Unexecuted instantiation: round_trip_hc_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
38.3k
{
501
38.3k
    assert(srcPtr + offset == dstPtr);
502
38.3k
    if (offset < 8) {
503
36.1k
        LZ4_write32(dstPtr, 0);   /* silence an msan warning when offset==0 */
504
36.1k
        dstPtr[0] = srcPtr[0];
505
36.1k
        dstPtr[1] = srcPtr[1];
506
36.1k
        dstPtr[2] = srcPtr[2];
507
36.1k
        dstPtr[3] = srcPtr[3];
508
36.1k
        srcPtr += inc32table[offset];
509
36.1k
        LZ4_memcpy(dstPtr+4, srcPtr, 4);
510
36.1k
        srcPtr -= dec64table[offset];
511
36.1k
        dstPtr += 8;
512
36.1k
    } else {
513
2.26k
        LZ4_memcpy(dstPtr, srcPtr, 8);
514
2.26k
        dstPtr += 8;
515
2.26k
        srcPtr += 8;
516
2.26k
    }
517
518
38.3k
    LZ4_wildCopy8(dstPtr, srcPtr, dstEnd);
519
38.3k
}
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
1.16M
{
527
1.16M
    BYTE* d = (BYTE*)dstPtr;
528
1.16M
    const BYTE* s = (const BYTE*)srcPtr;
529
1.16M
    BYTE* const e = (BYTE*)dstEnd;
530
531
6.25M
    do { LZ4_memcpy(d,s,16); LZ4_memcpy(d+16,s+16,16); d+=32; s+=32; } while (d<e);
532
1.16M
}
Unexecuted instantiation: round_trip_hc_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
1.16M
{
527
1.16M
    BYTE* d = (BYTE*)dstPtr;
528
1.16M
    const BYTE* s = (const BYTE*)srcPtr;
529
1.16M
    BYTE* const e = (BYTE*)dstEnd;
530
531
6.25M
    do { LZ4_memcpy(d,s,16); LZ4_memcpy(d+16,s+16,16); d+=32; s+=32; } while (d<e);
532
1.16M
}
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
242k
{
540
242k
    BYTE v[8];
541
542
242k
    assert(dstEnd >= dstPtr + MINMATCH);
543
544
242k
    switch(offset) {
545
103k
    case 1:
546
103k
        MEM_INIT(v, *srcPtr, 8);
547
103k
        break;
548
41.0k
    case 2:
549
41.0k
        LZ4_memcpy(v, srcPtr, 2);
550
41.0k
        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
41.0k
        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
41.0k
        break;
560
59.6k
    case 4:
561
59.6k
        LZ4_memcpy(v, srcPtr, 4);
562
59.6k
        LZ4_memcpy(&v[4], srcPtr, 4);
563
59.6k
        break;
564
38.3k
    default:
565
38.3k
        LZ4_memcpy_using_offset_base(dstPtr, srcPtr, dstEnd, offset);
566
38.3k
        return;
567
242k
    }
568
569
204k
    LZ4_memcpy(dstPtr, v, 8);
570
204k
    dstPtr += 8;
571
5.81M
    while (dstPtr < dstEnd) {
572
5.60M
        LZ4_memcpy(dstPtr, v, 8);
573
5.60M
        dstPtr += 8;
574
5.60M
    }
575
204k
}
Unexecuted instantiation: round_trip_hc_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
242k
{
540
242k
    BYTE v[8];
541
542
242k
    assert(dstEnd >= dstPtr + MINMATCH);
543
544
242k
    switch(offset) {
545
103k
    case 1:
546
103k
        MEM_INIT(v, *srcPtr, 8);
547
103k
        break;
548
41.0k
    case 2:
549
41.0k
        LZ4_memcpy(v, srcPtr, 2);
550
41.0k
        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
41.0k
        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
41.0k
        break;
560
59.6k
    case 4:
561
59.6k
        LZ4_memcpy(v, srcPtr, 4);
562
59.6k
        LZ4_memcpy(&v[4], srcPtr, 4);
563
59.6k
        break;
564
38.3k
    default:
565
38.3k
        LZ4_memcpy_using_offset_base(dstPtr, srcPtr, dstEnd, offset);
566
38.3k
        return;
567
242k
    }
568
569
204k
    LZ4_memcpy(dstPtr, v, 8);
570
204k
    dstPtr += 8;
571
5.81M
    while (dstPtr < dstEnd) {
572
5.60M
        LZ4_memcpy(dstPtr, v, 8);
573
5.60M
        dstPtr += 8;
574
5.60M
    }
575
204k
}
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
129M
{
584
129M
    assert(val != 0);
585
129M
    if (LZ4_isLittleEndian()) {
586
129M
        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
129M
        } 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
129M
    } 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
129M
}
Unexecuted instantiation: round_trip_hc_fuzzer.c:LZ4_NbCommonBytes
Unexecuted instantiation: lz4_helpers.c:LZ4_NbCommonBytes
Unexecuted instantiation: fuzz_data_producer.c:LZ4_NbCommonBytes
Unexecuted instantiation: lz4.c:LZ4_NbCommonBytes
lz4hc.c:LZ4_NbCommonBytes
Line
Count
Source
583
129M
{
584
129M
    assert(val != 0);
585
129M
    if (LZ4_isLittleEndian()) {
586
129M
        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
129M
        } 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
129M
    } 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
129M
}
679
680
681
450M
#define STEPSIZE sizeof(reg_t)
682
LZ4_FORCE_INLINE
683
unsigned LZ4_count(const BYTE* pIn, const BYTE* pMatch, const BYTE* pInLimit)
684
44.4M
{
685
44.4M
    const BYTE* const pStart = pIn;
686
687
44.4M
    if (likely(pIn < pInLimit-(STEPSIZE-1))) {
688
44.3M
        reg_t const diff = LZ4_read_ARCH(pMatch) ^ LZ4_read_ARCH(pIn);
689
44.3M
        if (!diff) {
690
10.1M
            pIn+=STEPSIZE; pMatch+=STEPSIZE;
691
34.1M
        } else {
692
34.1M
            return LZ4_NbCommonBytes(diff);
693
34.1M
    }   }
694
695
224M
    while (likely(pIn < pInLimit-(STEPSIZE-1))) {
696
224M
        reg_t const diff = LZ4_read_ARCH(pMatch) ^ LZ4_read_ARCH(pIn);
697
224M
        if (!diff) { pIn+=STEPSIZE; pMatch+=STEPSIZE; continue; }
698
10.1M
        pIn += LZ4_NbCommonBytes(diff);
699
10.1M
        return (unsigned)(pIn - pStart);
700
224M
    }
701
702
125k
    if ((STEPSIZE==8) && (pIn<(pInLimit-3)) && (LZ4_read32(pMatch) == LZ4_read32(pIn))) { pIn+=4; pMatch+=4; }
703
125k
    if ((pIn<(pInLimit-1)) && (LZ4_read16(pMatch) == LZ4_read16(pIn))) { pIn+=2; pMatch+=2; }
704
125k
    if ((pIn<pInLimit) && (*pMatch == *pIn)) pIn++;
705
125k
    return (unsigned)(pIn - pStart);
706
10.2M
}
Unexecuted instantiation: round_trip_hc_fuzzer.c:LZ4_count
Unexecuted instantiation: lz4_helpers.c:LZ4_count
Unexecuted instantiation: fuzz_data_producer.c:LZ4_count
Unexecuted instantiation: lz4.c:LZ4_count
lz4hc.c:LZ4_count
Line
Count
Source
684
44.4M
{
685
44.4M
    const BYTE* const pStart = pIn;
686
687
44.4M
    if (likely(pIn < pInLimit-(STEPSIZE-1))) {
688
44.3M
        reg_t const diff = LZ4_read_ARCH(pMatch) ^ LZ4_read_ARCH(pIn);
689
44.3M
        if (!diff) {
690
10.1M
            pIn+=STEPSIZE; pMatch+=STEPSIZE;
691
34.1M
        } else {
692
34.1M
            return LZ4_NbCommonBytes(diff);
693
34.1M
    }   }
694
695
224M
    while (likely(pIn < pInLimit-(STEPSIZE-1))) {
696
224M
        reg_t const diff = LZ4_read_ARCH(pMatch) ^ LZ4_read_ARCH(pIn);
697
224M
        if (!diff) { pIn+=STEPSIZE; pMatch+=STEPSIZE; continue; }
698
10.1M
        pIn += LZ4_NbCommonBytes(diff);
699
10.1M
        return (unsigned)(pIn - pStart);
700
224M
    }
701
702
125k
    if ((STEPSIZE==8) && (pIn<(pInLimit-3)) && (LZ4_read32(pMatch) == LZ4_read32(pIn))) { pIn+=4; pMatch+=4; }
703
125k
    if ((pIn<(pInLimit-1)) && (LZ4_read16(pMatch) == LZ4_read16(pIn))) { pIn+=2; pMatch+=2; }
704
125k
    if ((pIn<pInLimit) && (*pMatch == *pIn)) pIn++;
705
125k
    return (unsigned)(pIn - pStart);
706
10.2M
}
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
15.3k
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
0
{
782
0
    if (tableType == byU16)
783
0
        return ((sequence * 2654435761U) >> ((MINMATCH*8)-(LZ4_HASHLOG+1)));
784
0
    else
785
0
        return ((sequence * 2654435761U) >> ((MINMATCH*8)-LZ4_HASHLOG));
786
0
}
787
788
LZ4_FORCE_INLINE U32 LZ4_hash5(U64 sequence, tableType_t const tableType)
789
0
{
790
0
    const U32 hashLog = (tableType == byU16) ? LZ4_HASHLOG+1 : LZ4_HASHLOG;
791
0
    if (LZ4_isLittleEndian()) {
792
0
        const U64 prime5bytes = 889523592379ULL;
793
0
        return (U32)(((sequence << 24) * prime5bytes) >> (64 - hashLog));
794
0
    } else {
795
0
        const U64 prime8bytes = 11400714785074694791ULL;
796
0
        return (U32)(((sequence >> 24) * prime8bytes) >> (64 - hashLog));
797
0
    }
798
0
}
799
800
LZ4_FORCE_INLINE U32 LZ4_hashPosition(const void* const p, tableType_t const tableType)
801
0
{
802
0
    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
0
    return LZ4_hash4(LZ4_read32(p), tableType);
808
0
#endif
809
0
}
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
0
{
825
0
    switch (tableType)
826
0
    {
827
0
    default: /* fallthrough */
828
0
    case clearedTable: /* fallthrough */
829
0
    case byPtr: { /* illegal! */ assert(0); return; }
830
0
    case byU32: { U32* hashTable = (U32*) tableBase; hashTable[h] = idx; return; }
831
0
    case byU16: { U16* hashTable = (U16*) tableBase; assert(idx < 65536); hashTable[h] = (U16)idx; return; }
832
0
    }
833
0
}
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
0
{
858
0
    LZ4_STATIC_ASSERT(LZ4_MEMORY_USAGE > 2);
859
0
    if (tableType == byU32) {
860
0
        const U32* const hashTable = (const U32*) tableBase;
861
0
        assert(h < (1U << (LZ4_MEMORY_USAGE-2)));
862
0
        return hashTable[h];
863
0
    }
864
0
    if (tableType == byU16) {
865
0
        const U16* const hashTable = (const U16*) tableBase;
866
0
        assert(h < (1U << (LZ4_MEMORY_USAGE-1)));
867
0
        return hashTable[h];
868
0
    }
869
0
    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
0
{
946
0
    int result;
947
0
    const BYTE* ip = (const BYTE*)source;
948
949
0
    U32 const startIndex = cctx->currentOffset;
950
0
    const BYTE* base = (const BYTE*)source - startIndex;
951
0
    const BYTE* lowLimit;
952
953
0
    const LZ4_stream_t_internal* dictCtx = (const LZ4_stream_t_internal*) cctx->dictCtx;
954
0
    const BYTE* const dictionary =
955
0
        dictDirective == usingDictCtx ? dictCtx->dictionary : cctx->dictionary;
956
0
    const U32 dictSize =
957
0
        dictDirective == usingDictCtx ? dictCtx->dictSize : cctx->dictSize;
958
0
    const U32 dictDelta =
959
0
        (dictDirective == usingDictCtx) ? startIndex - dictCtx->currentOffset : 0;   /* make indexes in dictCtx comparable with indexes in current context */
960
961
0
    int const maybe_extMem = (dictDirective == usingExtDict) || (dictDirective == usingDictCtx);
962
0
    U32 const prefixIdxLimit = startIndex - dictSize;   /* used when dictDirective == dictSmall */
963
0
    const BYTE* const dictEnd = dictionary ? dictionary + dictSize : dictionary;
964
0
    const BYTE* anchor = (const BYTE*) source;
965
0
    const BYTE* const iend = ip + inputSize;
966
0
    const BYTE* const mflimitPlusOne = iend - MFLIMIT + 1;
967
0
    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
0
    const BYTE* dictBase = (dictionary == NULL) ? NULL :
972
0
                           (dictDirective == usingDictCtx) ?
973
0
                            dictionary + dictSize - dictCtx->currentOffset :
974
0
                            dictionary + dictSize - startIndex;
975
976
0
    BYTE* op = (BYTE*) dest;
977
0
    BYTE* const olimit = op + maxOutputSize;
978
979
0
    U32 offset = 0;
980
0
    U32 forwardH;
981
982
0
    DEBUGLOG(5, "LZ4_compress_generic_validated: srcSize=%i, tableType=%u", inputSize, tableType);
983
0
    assert(ip != NULL);
984
0
    if (tableType == byU16) assert(inputSize<LZ4_64Klimit);  /* Size too large (not within 64K limit) */
985
0
    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
0
    if (outputDirective == fillOutput && maxOutputSize < 1) { return 0; } /* Impossible to store anything */
989
0
    assert(acceleration >= 1);
990
991
0
    lowLimit = (const BYTE*)source - (dictDirective == withPrefix64k ? dictSize : 0);
992
993
    /* Update context state */
994
0
    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
0
    } else {
1000
0
        cctx->dictSize += (U32)inputSize;
1001
0
    }
1002
0
    cctx->currentOffset += (U32)inputSize;
1003
0
    cctx->tableType = (U32)tableType;
1004
1005
0
    if (inputSize<LZ4_minLength) goto _last_literals;        /* Input too small, no compression (all literals) */
1006
1007
    /* First Byte */
1008
0
    {   U32 const h = LZ4_hashPosition(ip, tableType);
1009
0
        if (tableType == byPtr) {
1010
0
            LZ4_putPositionOnHash(ip, h, cctx->hashTable, byPtr);
1011
0
        } else {
1012
0
            LZ4_putIndexOnHash(startIndex, h, cctx->hashTable, tableType);
1013
0
    }   }
1014
0
    ip++; forwardH = LZ4_hashPosition(ip, tableType);
1015
1016
    /* Main Loop */
1017
0
    for ( ; ; ) {
1018
0
        const BYTE* match;
1019
0
        BYTE* token;
1020
0
        const BYTE* filledIp;
1021
1022
        /* Find a match */
1023
0
        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
0
        } else {   /* byU32, byU16 */
1044
1045
0
            const BYTE* forwardIp = ip;
1046
0
            int step = 1;
1047
0
            int searchMatchNb = acceleration << LZ4_skipTrigger;
1048
0
            do {
1049
0
                U32 const h = forwardH;
1050
0
                U32 const current = (U32)(forwardIp - base);
1051
0
                U32 matchIndex = LZ4_getIndexOnHash(h, cctx->hashTable, tableType);
1052
0
                assert(matchIndex <= current);
1053
0
                assert(forwardIp - base < (ptrdiff_t)(2 GB - 1));
1054
0
                ip = forwardIp;
1055
0
                forwardIp += step;
1056
0
                step = (searchMatchNb++ >> LZ4_skipTrigger);
1057
1058
0
                if (unlikely(forwardIp > mflimitPlusOne)) goto _last_literals;
1059
0
                assert(ip < mflimitPlusOne);
1060
1061
0
                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
0
                } 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
0
                } else {   /* single continuous memory segment */
1085
0
                    match = base + matchIndex;
1086
0
                }
1087
0
                forwardH = LZ4_hashPosition(forwardIp, tableType);
1088
0
                LZ4_putIndexOnHash(current, h, cctx->hashTable, tableType);
1089
1090
0
                DEBUGLOG(7, "candidate at pos=%u  (offset=%u \n", matchIndex, current - matchIndex);
1091
0
                if ((dictIssue == dictSmall) && (matchIndex < prefixIdxLimit)) { continue; }    /* match outside of valid area */
1092
0
                assert(matchIndex < current);
1093
0
                if ( ((tableType != byU16) || (LZ4_DISTANCE_MAX < LZ4_DISTANCE_ABSOLUTE_MAX))
1094
0
                  && (matchIndex+LZ4_DISTANCE_MAX < current)) {
1095
0
                    continue;
1096
0
                } /* too far */
1097
0
                assert((current - matchIndex) <= LZ4_DISTANCE_MAX);  /* match now expected within distance */
1098
1099
0
                if (LZ4_read32(match) == LZ4_read32(ip)) {
1100
0
                    if (maybe_extMem) offset = current - matchIndex;
1101
0
                    break;   /* match found */
1102
0
                }
1103
1104
0
            } while(1);
1105
0
        }
1106
1107
        /* Catch up */
1108
0
        filledIp = ip;
1109
0
        assert(ip > anchor); /* this is always true as ip has been advanced before entering the main loop */
1110
0
        if ((match > lowLimit) && unlikely(ip[-1] == match[-1])) {
1111
0
            do { ip--; match--; } while (((ip > anchor) & (match > lowLimit)) && (unlikely(ip[-1] == match[-1])));
1112
0
        }
1113
1114
        /* Encode Literals */
1115
0
        {   unsigned const litLength = (unsigned)(ip - anchor);
1116
0
            token = op++;
1117
0
            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
0
            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
0
            if (litLength >= RUN_MASK) {
1127
0
                unsigned len = litLength - RUN_MASK;
1128
0
                *token = (RUN_MASK<<ML_BITS);
1129
0
                for(; len >= 255 ; len-=255) *op++ = 255;
1130
0
                *op++ = (BYTE)len;
1131
0
            }
1132
0
            else *token = (BYTE)(litLength<<ML_BITS);
1133
1134
            /* Copy Literals */
1135
0
            LZ4_wildCopy8(op, anchor, op+litLength);
1136
0
            op+=litLength;
1137
0
            DEBUGLOG(6, "seq.start:%i, literals=%u, match.start:%i",
1138
0
                        (int)(anchor-(const BYTE*)source), litLength, (int)(ip-(const BYTE*)source));
1139
0
        }
1140
1141
0
_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
0
        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
0
        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
0
        } else  {
1163
0
            DEBUGLOG(6, "             with offset=%u  (same segment)", (U32)(ip - match));
1164
0
            assert(ip-match <= LZ4_DISTANCE_MAX);
1165
0
            LZ4_writeLE16(op, (U16)(ip - match)); op+=2;
1166
0
        }
1167
1168
        /* Encode MatchLength */
1169
0
        {   unsigned matchCode;
1170
1171
0
            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
0
            } else {
1185
0
                matchCode = LZ4_count(ip+MINMATCH, match+MINMATCH, matchlimit);
1186
0
                ip += (size_t)matchCode + MINMATCH;
1187
0
                DEBUGLOG(6, "             with matchLength=%u", matchCode+MINMATCH);
1188
0
            }
1189
1190
0
            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
0
            if (matchCode >= ML_MASK) {
1217
0
                *token += ML_MASK;
1218
0
                matchCode -= ML_MASK;
1219
0
                LZ4_write32(op, 0xFFFFFFFF);
1220
0
                while (matchCode >= 4*255) {
1221
0
                    op+=4;
1222
0
                    LZ4_write32(op, 0xFFFFFFFF);
1223
0
                    matchCode -= 4*255;
1224
0
                }
1225
0
                op += matchCode / 255;
1226
0
                *op++ = (BYTE)(matchCode % 255);
1227
0
            } else
1228
0
                *token += (BYTE)(matchCode);
1229
0
        }
1230
        /* Ensure we have enough space for the last literals. */
1231
0
        assert(!(outputDirective == fillOutput && op + 1 + LASTLITERALS > olimit));
1232
1233
0
        anchor = ip;
1234
1235
        /* Test end of chunk */
1236
0
        if (ip >= mflimitPlusOne) break;
1237
1238
        /* Fill table */
1239
0
        {   U32 const h = LZ4_hashPosition(ip-2, tableType);
1240
0
            if (tableType == byPtr) {
1241
0
                LZ4_putPositionOnHash(ip-2, h, cctx->hashTable, byPtr);
1242
0
            } else {
1243
0
                U32 const idx = (U32)((ip-2) - base);
1244
0
                LZ4_putIndexOnHash(idx, h, cctx->hashTable, tableType);
1245
0
        }   }
1246
1247
        /* Test next position */
1248
0
        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
0
        } else {   /* byU32, byU16 */
1257
1258
0
            U32 const h = LZ4_hashPosition(ip, tableType);
1259
0
            U32 const current = (U32)(ip-base);
1260
0
            U32 matchIndex = LZ4_getIndexOnHash(h, cctx->hashTable, tableType);
1261
0
            assert(matchIndex < current);
1262
0
            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
0
            } 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
0
            } else {   /* single memory segment */
1284
0
                match = base + matchIndex;
1285
0
            }
1286
0
            LZ4_putIndexOnHash(current, h, cctx->hashTable, tableType);
1287
0
            assert(matchIndex < current);
1288
0
            if ( ((dictIssue==dictSmall) ? (matchIndex >= prefixIdxLimit) : 1)
1289
0
              && (((tableType==byU16) && (LZ4_DISTANCE_MAX == LZ4_DISTANCE_ABSOLUTE_MAX)) ? 1 : (matchIndex+LZ4_DISTANCE_MAX >= current))
1290
0
              && (LZ4_read32(match) == LZ4_read32(ip)) ) {
1291
0
                token=op++;
1292
0
                *token=0;
1293
0
                if (maybe_extMem) offset = current - matchIndex;
1294
0
                DEBUGLOG(6, "seq.start:%i, literals=%u, match.start:%i",
1295
0
                            (int)(anchor-(const BYTE*)source), 0, (int)(ip-(const BYTE*)source));
1296
0
                goto _next_match;
1297
0
            }
1298
0
        }
1299
1300
        /* Prepare next loop */
1301
0
        forwardH = LZ4_hashPosition(++ip, tableType);
1302
1303
0
    }
1304
1305
0
_last_literals:
1306
    /* Encode Last Literals */
1307
0
    {   size_t lastRun = (size_t)(iend - anchor);
1308
0
        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
0
        DEBUGLOG(6, "Final literal run : %i literals", (int)lastRun);
1321
0
        if (lastRun >= RUN_MASK) {
1322
0
            size_t accumulator = lastRun - RUN_MASK;
1323
0
            *op++ = RUN_MASK << ML_BITS;
1324
0
            for(; accumulator >= 255 ; accumulator-=255) *op++ = 255;
1325
0
            *op++ = (BYTE) accumulator;
1326
0
        } else {
1327
0
            *op++ = (BYTE)(lastRun<<ML_BITS);
1328
0
        }
1329
0
        LZ4_memcpy(op, anchor, lastRun);
1330
0
        ip = anchor + lastRun;
1331
0
        op += lastRun;
1332
0
    }
1333
1334
0
    if (outputDirective == fillOutput) {
1335
0
        *inputConsumed = (int) (((const char*)ip)-source);
1336
0
    }
1337
0
    result = (int)(((char*)op) - dest);
1338
0
    assert(result > 0);
1339
0
    DEBUGLOG(5, "LZ4_compress_generic: compressed %i bytes into %i bytes", inputSize, result);
1340
0
    return result;
1341
0
}
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
0
{
1360
0
    DEBUGLOG(5, "LZ4_compress_generic: srcSize=%i, dstCapacity=%i",
1361
0
                srcSize, dstCapacity);
1362
1363
0
    if ((U32)srcSize > (U32)LZ4_MAX_INPUT_SIZE) { return 0; }  /* Unsupported srcSize, too large (or negative) */
1364
0
    if (srcSize == 0) {   /* src == NULL supported if srcSize == 0 */
1365
0
        if (outputDirective != notLimited && dstCapacity <= 0) return 0;  /* no output, can't write anything */
1366
0
        DEBUGLOG(5, "Generating an empty block");
1367
0
        assert(outputDirective == notLimited || dstCapacity >= 1);
1368
0
        assert(dst != NULL);
1369
0
        dst[0] = 0;
1370
0
        if (outputDirective == fillOutput) {
1371
0
            assert (inputConsumed != NULL);
1372
0
            *inputConsumed = 0;
1373
0
        }
1374
0
        return 1;
1375
0
    }
1376
0
    assert(src != NULL);
1377
1378
0
    return LZ4_compress_generic_validated(cctx, src, dst, srcSize,
1379
0
                inputConsumed, /* only written into if outputDirective == fillOutput */
1380
0
                dstCapacity, outputDirective,
1381
0
                tableType, dictDirective, dictIssue, acceleration);
1382
0
}
1383
1384
1385
int LZ4_compress_fast_extState(void* state, const char* source, char* dest, int inputSize, int maxOutputSize, int acceleration)
1386
0
{
1387
0
    LZ4_stream_t_internal* const ctx = & LZ4_initStream(state, sizeof(LZ4_stream_t)) -> internal_donotuse;
1388
0
    assert(ctx != NULL);
1389
0
    if (acceleration < 1) acceleration = LZ4_ACCELERATION_DEFAULT;
1390
0
    if (acceleration > LZ4_ACCELERATION_MAX) acceleration = LZ4_ACCELERATION_MAX;
1391
0
    if (maxOutputSize >= LZ4_compressBound(inputSize)) {
1392
0
        if (inputSize < LZ4_64Klimit) {
1393
0
            return LZ4_compress_generic(ctx, source, dest, inputSize, NULL, 0, notLimited, byU16, noDict, noDictIssue, acceleration);
1394
0
        } else {
1395
0
            const tableType_t tableType = ((sizeof(void*)==4) && ((uptrval)source > LZ4_DISTANCE_MAX)) ? byPtr : byU32;
1396
0
            return LZ4_compress_generic(ctx, source, dest, inputSize, NULL, 0, notLimited, tableType, noDict, noDictIssue, acceleration);
1397
0
        }
1398
0
    } 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
0
}
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
0
{
1458
0
    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
0
    LZ4_stream_t ctx;
1464
0
    LZ4_stream_t* const ctxPtr = &ctx;
1465
0
#endif
1466
0
    result = LZ4_compress_fast_extState(ctxPtr, src, dest, srcSize, dstCapacity, acceleration);
1467
1468
#if (LZ4_HEAPMODE)
1469
    FREEMEM(ctxPtr);
1470
#endif
1471
0
    return result;
1472
0
}
1473
1474
1475
int LZ4_compress_default(const char* src, char* dst, int srcSize, int dstCapacity)
1476
0
{
1477
0
    return LZ4_compress_fast(src, dst, srcSize, dstCapacity, 1);
1478
0
}
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
0
{
1547
0
#if LZ4_ALIGN_TEST
1548
0
    typedef struct { char c; LZ4_stream_t t; } t_a;
1549
0
    return sizeof(t_a) - sizeof(LZ4_stream_t);
1550
#else
1551
    return 1;  /* effectively disabled */
1552
#endif
1553
0
}
1554
1555
LZ4_stream_t* LZ4_initStream (void* buffer, size_t size)
1556
0
{
1557
0
    DEBUGLOG(5, "LZ4_initStream");
1558
0
    if (buffer == NULL) { return NULL; }
1559
0
    if (size < sizeof(LZ4_stream_t)) { return NULL; }
1560
0
    if (!LZ4_isAligned(buffer, LZ4_stream_t_alignment())) return NULL;
1561
0
    MEM_INIT(buffer, 0, sizeof(LZ4_stream_t_internal));
1562
0
    return (LZ4_stream_t*)buffer;
1563
0
}
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
0
#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
1.24M
{
1985
1.24M
    Rvl_t s, length = 0;
1986
1.24M
    assert(ip != NULL);
1987
1.24M
    assert(*ip !=  NULL);
1988
1.24M
    assert(ilimit != NULL);
1989
1.24M
    if (initial_check && unlikely((*ip) >= ilimit)) {    /* read limit reached */
1990
0
        return rvl_error;
1991
0
    }
1992
1.24M
    s = **ip;
1993
1.24M
    (*ip)++;
1994
1.24M
    length += s;
1995
1.24M
    if (unlikely((*ip) > ilimit)) {    /* read limit reached */
1996
0
        return rvl_error;
1997
0
    }
1998
    /* accumulator overflow detection (32-bit mode only) */
1999
1.24M
    if ((sizeof(length) < 8) && unlikely(length > ((Rvl_t)(-1)/2)) ) {
2000
0
        return rvl_error;
2001
0
    }
2002
1.24M
    if (likely(s != 255)) return length;
2003
942k
    do {
2004
942k
        s = **ip;
2005
942k
        (*ip)++;
2006
942k
        length += s;
2007
942k
        if (unlikely((*ip) > ilimit)) {    /* read limit reached */
2008
0
            return rvl_error;
2009
0
        }
2010
        /* accumulator overflow detection (32-bit mode only) */
2011
942k
        if ((sizeof(length) < 8) && unlikely(length > ((Rvl_t)(-1)/2)) ) {
2012
0
            return rvl_error;
2013
0
        }
2014
942k
    } while (s == 255);
2015
2016
94.4k
    return length;
2017
94.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
7.67k
{
2039
7.67k
    if ((src == NULL) || (outputSize < 0)) { return -1; }
2040
2041
7.67k
    {   const BYTE* ip = (const BYTE*) src;
2042
7.67k
        const BYTE* const iend = ip + srcSize;
2043
2044
7.67k
        BYTE* op = (BYTE*) dst;
2045
7.67k
        BYTE* const oend = op + outputSize;
2046
7.67k
        BYTE* cpy;
2047
2048
7.67k
        const BYTE* const dictEnd = (dictStart == NULL) ? NULL : dictStart + dictSize;
2049
2050
7.67k
        const int checkOffset = (dictSize < (int)(64 KB));
2051
2052
2053
        /* Set up the "end" pointers for the shortcut. */
2054
7.67k
        const BYTE* const shortiend = iend - 14 /*maxLL*/ - 2 /*offset*/;
2055
7.67k
        const BYTE* const shortoend = oend - 14 /*maxLL*/ - 18 /*maxML*/;
2056
2057
7.67k
        const BYTE* match;
2058
7.67k
        size_t offset;
2059
7.67k
        unsigned token;
2060
7.67k
        size_t length;
2061
2062
2063
7.67k
        DEBUGLOG(5, "LZ4_decompress_generic (srcSize:%i, dstSize:%i)", srcSize, outputSize);
2064
2065
        /* Special cases */
2066
7.67k
        assert(lowPrefix <= op);
2067
7.67k
        if (unlikely(outputSize==0)) {
2068
            /* Empty output buffer */
2069
7
            if (partialDecoding) return 0;
2070
7
            return ((srcSize==1) && (*ip==0)) ? 0 : -1;
2071
7
        }
2072
7.66k
        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
7.66k
#if LZ4_FAST_DEC_LOOP
2079
7.66k
        if ((oend - op) < FASTLOOP_SAFE_DISTANCE) {
2080
4.13k
            DEBUGLOG(6, "move to safe decode loop");
2081
4.13k
            goto safe_decode;
2082
4.13k
        }
2083
2084
        /* Fast loop : decode sequences as long as output < oend-FASTLOOP_SAFE_DISTANCE */
2085
3.52k
        DEBUGLOG(6, "using fast decode loop");
2086
4.13M
        while (1) {
2087
            /* Main fastloop assertion: We can always wildcopy FASTLOOP_SAFE_DISTANCE */
2088
4.13M
            assert(oend - op >= FASTLOOP_SAFE_DISTANCE);
2089
4.13M
            assert(ip < iend);
2090
4.13M
            token = *ip++;
2091
4.13M
            length = token >> ML_BITS;  /* literal length */
2092
4.13M
            DEBUGLOG(7, "blockPos%6u: litLength token = %u", (unsigned)(op-(BYTE*)dst), (unsigned)length);
2093
2094
            /* decode literal length */
2095
4.13M
            if (length == RUN_MASK) {
2096
134k
                size_t const addl = read_variable_length(&ip, iend-RUN_MASK, 1);
2097
134k
                if (addl == rvl_error) {
2098
0
                    DEBUGLOG(6, "error reading long literal length");
2099
0
                    goto _output_error;
2100
0
                }
2101
134k
                length += addl;
2102
134k
                if (unlikely((uptrval)(op)+length<(uptrval)(op))) { goto _output_error; } /* overflow detection */
2103
134k
                if (unlikely((uptrval)(ip)+length<(uptrval)(ip))) { goto _output_error; } /* overflow detection */
2104
2105
                /* copy literals */
2106
134k
                LZ4_STATIC_ASSERT(MFLIMIT >= WILDCOPYLENGTH);
2107
134k
                if ((op+length>oend-32) || (ip+length>iend-32)) { goto safe_literal_copy; }
2108
134k
                LZ4_wildCopy32(op, ip, op+length);
2109
134k
                ip += length; op += length;
2110
4.00M
            } 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
3.99M
                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
3.99M
                LZ4_memcpy(op, ip, 16);
2115
3.99M
                ip += length; op += length;
2116
3.99M
            } else {
2117
700
                goto safe_literal_copy;
2118
700
            }
2119
2120
            /* get offset */
2121
4.13M
            offset = LZ4_readLE16(ip); ip+=2;
2122
4.13M
            DEBUGLOG(6, "blockPos%6u: offset = %u", (unsigned)(op-(BYTE*)dst), (unsigned)offset);
2123
4.13M
            match = op - offset;
2124
4.13M
            assert(match <= op);  /* overflow check */
2125
2126
            /* get matchlength */
2127
4.13M
            length = token & ML_MASK;
2128
4.13M
            DEBUGLOG(7, "  match length token = %u (len==%u)", (unsigned)length, (unsigned)length+MINMATCH);
2129
2130
4.13M
            if (length == ML_MASK) {
2131
1.10M
                size_t const addl = read_variable_length(&ip, iend - LASTLITERALS + 1, 0);
2132
1.10M
                if (addl == rvl_error) {
2133
0
                    DEBUGLOG(5, "error reading long match length");
2134
0
                    goto _output_error;
2135
0
                }
2136
1.10M
                length += addl;
2137
1.10M
                length += MINMATCH;
2138
1.10M
                DEBUGLOG(7, "  long match length == %u", (unsigned)length);
2139
1.10M
                if (unlikely((uptrval)(op)+length<(uptrval)op)) { goto _output_error; } /* overflow detection */
2140
1.10M
                if (op + length >= oend - FASTLOOP_SAFE_DISTANCE) {
2141
1.29k
                    goto safe_match_copy;
2142
1.29k
                }
2143
3.02M
            } else {
2144
3.02M
                length += MINMATCH;
2145
3.02M
                if (op + length >= oend - FASTLOOP_SAFE_DISTANCE) {
2146
1.06k
                    DEBUGLOG(7, "moving to safe_match_copy (ml==%u)", (unsigned)length);
2147
1.06k
                    goto safe_match_copy;
2148
1.06k
                }
2149
2150
                /* Fastpath check: skip LZ4_wildCopy32 when true */
2151
3.02M
                if ((dict == withPrefix64k) || (match >= lowPrefix)) {
2152
3.02M
                    if (offset >= 8) {
2153
2.85M
                        assert(match >= lowPrefix);
2154
2.85M
                        assert(match <= op);
2155
2.85M
                        assert(op + 18 <= oend);
2156
2157
2.85M
                        LZ4_memcpy(op, match, 8);
2158
2.85M
                        LZ4_memcpy(op+8, match+8, 8);
2159
2.85M
                        LZ4_memcpy(op+16, match+16, 2);
2160
2.85M
                        op += length;
2161
2.85M
                        continue;
2162
2.85M
            }   }   }
2163
2164
1.27M
            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
1.27M
            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
1.27M
            cpy = op + length;
2203
2204
1.27M
            assert((op <= oend) && (oend-op >= 32));
2205
1.27M
            if (unlikely(offset<16)) {
2206
242k
                LZ4_memcpy_using_offset(op, match, cpy, offset);
2207
1.03M
            } else {
2208
1.03M
                LZ4_wildCopy32(op, match, cpy);
2209
1.03M
            }
2210
2211
1.27M
            op = cpy;   /* wildcopy correction */
2212
1.27M
        }
2213
4.13k
    safe_decode:
2214
4.13k
#endif
2215
2216
        /* Main Loop : decode remaining sequences where output < FASTLOOP_SAFE_DISTANCE */
2217
4.13k
        DEBUGLOG(6, "using safe decode loop");
2218
23.4k
        while (1) {
2219
23.4k
            assert(ip < iend);
2220
23.4k
            token = *ip++;
2221
23.4k
            length = token >> ML_BITS;  /* literal length */
2222
23.4k
            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
23.4k
            if ( (length != RUN_MASK)
2234
                /* strictly "less than" on input, to re-enter the loop with at least one byte */
2235
22.7k
              && likely((ip < shortiend) & (op <= shortoend)) ) {
2236
                /* Copy the literals */
2237
5.16k
                LZ4_memcpy(op, ip, 16);
2238
5.16k
                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.16k
                length = token & ML_MASK; /* match length */
2243
5.16k
                DEBUGLOG(7, "blockPos%6u: matchLength token = %u (len=%u)", (unsigned)(op-(BYTE*)dst), (unsigned)length, (unsigned)length + 4);
2244
5.16k
                offset = LZ4_readLE16(ip); ip += 2;
2245
5.16k
                match = op - offset;
2246
5.16k
                assert(match <= op); /* check overflow */
2247
2248
                /* Do not deal with overlapping matches. */
2249
5.16k
                if ( (length != ML_MASK)
2250
4.80k
                  && (offset >= 8)
2251
2.75k
                  && (dict==withPrefix64k || match >= lowPrefix) ) {
2252
                    /* Copy the match. */
2253
2.75k
                    LZ4_memcpy(op + 0, match + 0, 8);
2254
2.75k
                    LZ4_memcpy(op + 8, match + 8, 8);
2255
2.75k
                    LZ4_memcpy(op +16, match +16, 2);
2256
2.75k
                    op += length + MINMATCH;
2257
                    /* Both stages worked, load the next token. */
2258
2.75k
                    continue;
2259
2.75k
                }
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
2.41k
                goto _copy_match;
2264
5.16k
            }
2265
2266
            /* decode literal length */
2267
18.2k
            if (length == RUN_MASK) {
2268
638
                size_t const addl = read_variable_length(&ip, iend-RUN_MASK, 1);
2269
638
                if (addl == rvl_error) { goto _output_error; }
2270
638
                length += addl;
2271
638
                if (unlikely((uptrval)(op)+length<(uptrval)(op))) { goto _output_error; } /* overflow detection */
2272
638
                if (unlikely((uptrval)(ip)+length<(uptrval)(ip))) { goto _output_error; } /* overflow detection */
2273
638
            }
2274
2275
18.2k
#if LZ4_FAST_DEC_LOOP
2276
19.4k
        safe_literal_copy:
2277
19.4k
#endif
2278
            /* copy literals */
2279
19.4k
            cpy = op+length;
2280
2281
19.4k
            LZ4_STATIC_ASSERT(MFLIMIT >= WILDCOPYLENGTH);
2282
19.4k
            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
7.66k
                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
0
                    DEBUGLOG(7, "partialDecoding: copying literals, close to input or output end")
2293
0
                    DEBUGLOG(7, "partialDecoding: literal length = %u", (unsigned)length);
2294
0
                    DEBUGLOG(7, "partialDecoding: remaining space in dstBuffer : %i", (int)(oend - op));
2295
0
                    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
0
                    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
0
                    if (cpy > oend) {
2307
0
                        cpy = oend;
2308
0
                        assert(op<=oend);
2309
0
                        length = (size_t)(oend-op);
2310
0
                    }
2311
7.66k
                } 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
7.66k
                    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
7.66k
                }
2323
7.66k
                LZ4_memmove(op, ip, length);  /* supports overlapping memory regions, for in-place decompression scenarios */
2324
7.66k
                ip += length;
2325
7.66k
                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
7.66k
                if (!partialDecoding || (cpy == oend) || (ip >= (iend-2))) {
2332
7.66k
                    break;
2333
7.66k
                }
2334
11.7k
            } else {
2335
11.7k
                LZ4_wildCopy8(op, ip, cpy);   /* can overwrite up to 8 bytes beyond cpy */
2336
11.7k
                ip += length; op = cpy;
2337
11.7k
            }
2338
2339
            /* get offset */
2340
11.7k
            offset = LZ4_readLE16(ip); ip+=2;
2341
11.7k
            match = op - offset;
2342
2343
            /* get matchlength */
2344
11.7k
            length = token & ML_MASK;
2345
11.7k
            DEBUGLOG(7, "blockPos%6u: matchLength token = %u", (unsigned)(op-(BYTE*)dst), (unsigned)length);
2346
2347
14.1k
    _copy_match:
2348
14.1k
            if (length == ML_MASK) {
2349
2.05k
                size_t const addl = read_variable_length(&ip, iend - LASTLITERALS + 1, 0);
2350
2.05k
                if (addl == rvl_error) { goto _output_error; }
2351
2.05k
                length += addl;
2352
2.05k
                if (unlikely((uptrval)(op)+length<(uptrval)op)) goto _output_error;   /* overflow detection */
2353
2.05k
            }
2354
14.1k
            length += MINMATCH;
2355
2356
14.1k
#if LZ4_FAST_DEC_LOOP
2357
16.5k
        safe_match_copy:
2358
16.5k
#endif
2359
16.5k
            if ((checkOffset) && (unlikely(match + dictSize < lowPrefix))) goto _output_error;   /* Error : offset outside buffers */
2360
            /* match starting within external dictionary */
2361
16.5k
            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
16.5k
            assert(match >= lowPrefix);
2389
2390
            /* copy match within block */
2391
16.5k
            cpy = op + length;
2392
2393
            /* partialDecoding : may end anywhere within the block */
2394
16.5k
            assert(op<=oend);
2395
16.5k
            if (partialDecoding && (cpy > oend-MATCH_SAFEGUARD_DISTANCE)) {
2396
0
                size_t const mlen = MIN(length, (size_t)(oend-op));
2397
0
                const BYTE* const matchEnd = match + mlen;
2398
0
                BYTE* const copyEnd = op + mlen;
2399
0
                if (matchEnd > op) {   /* overlap copy */
2400
0
                    while (op < copyEnd) { *op++ = *match++; }
2401
0
                } else {
2402
0
                    LZ4_memcpy(op, match, mlen);
2403
0
                }
2404
0
                op = copyEnd;
2405
0
                if (op == oend) { break; }
2406
0
                continue;
2407
0
            }
2408
2409
16.5k
            if (unlikely(offset<8)) {
2410
9.88k
                LZ4_write32(op, 0);   /* silence msan warning when offset==0 */
2411
9.88k
                op[0] = match[0];
2412
9.88k
                op[1] = match[1];
2413
9.88k
                op[2] = match[2];
2414
9.88k
                op[3] = match[3];
2415
9.88k
                match += inc32table[offset];
2416
9.88k
                LZ4_memcpy(op+4, match, 4);
2417
9.88k
                match -= dec64table[offset];
2418
9.88k
            } else {
2419
6.63k
                LZ4_memcpy(op, match, 8);
2420
6.63k
                match += 8;
2421
6.63k
            }
2422
16.5k
            op += 8;
2423
2424
16.5k
            if (unlikely(cpy > oend-MATCH_SAFEGUARD_DISTANCE)) {
2425
5.87k
                BYTE* const oCopyLimit = oend - (WILDCOPYLENGTH-1);
2426
5.87k
                if (cpy > oend-LASTLITERALS) { goto _output_error; } /* Error : last LASTLITERALS bytes must be literals (uncompressed) */
2427
5.87k
                if (op < oCopyLimit) {
2428
2.88k
                    LZ4_wildCopy8(op, match, oCopyLimit);
2429
2.88k
                    match += oCopyLimit - op;
2430
2.88k
                    op = oCopyLimit;
2431
2.88k
                }
2432
9.71k
                while (op < cpy) { *op++ = *match++; }
2433
10.6k
            } else {
2434
10.6k
                LZ4_memcpy(op, match, 8);
2435
10.6k
                if (length > 16) { LZ4_wildCopy8(op+8, match+8, cpy); }
2436
10.6k
            }
2437
16.5k
            op = cpy;   /* wildcopy correction */
2438
16.5k
        }
2439
2440
        /* end of decoding */
2441
7.66k
        DEBUGLOG(5, "decoded %i bytes", (int) (((char*)op)-dst));
2442
7.66k
        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
4.13k
    }
2448
4.13k
}
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
7.67k
{
2456
7.67k
    return LZ4_decompress_generic(source, dest, compressedSize, maxDecompressedSize,
2457
7.67k
                                  decode_full_block, noDict,
2458
7.67k
                                  (BYTE*)dest, NULL, 0);
2459
7.67k
}
2460
2461
LZ4_FORCE_O2
2462
int LZ4_decompress_safe_partial(const char* src, char* dst, int compressedSize, int targetOutputSize, int dstCapacity)
2463
0
{
2464
0
    dstCapacity = MIN(targetOutputSize, dstCapacity);
2465
0
    return LZ4_decompress_generic(src, dst, compressedSize, dstCapacity,
2466
0
                                  partial_decode,
2467
0
                                  noDict, (BYTE*)dst, NULL, 0);
2468
0
}
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
0
{
2541
0
    dstCapacity = MIN(targetOutputSize, dstCapacity);
2542
0
    return LZ4_decompress_generic(source, dest, compressedSize, dstCapacity,
2543
0
                                  partial_decode, usingExtDict,
2544
0
                                  (BYTE*)dest, (const BYTE*)dictStart, dictSize);
2545
0
}
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
0
{
2739
0
    if (dictSize==0)
2740
0
        return LZ4_decompress_safe_partial(source, dest, compressedSize, targetOutputSize, dstCapacity);
2741
0
    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
0
    assert(dictSize >= 0);
2749
0
    return LZ4_decompress_safe_partial_forceExtDict(source, dest, compressedSize, targetOutputSize, dstCapacity, dictStart, (size_t)dictSize);
2750
0
}
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 */