Coverage Report

Created: 2026-02-11 06:24

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/lz4/lib/lz4hc.c
Line
Count
Source
1
/*
2
    LZ4 HC - High Compression Mode of LZ4
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 source repository : https://github.com/lz4/lz4
32
       - LZ4 public forum : https://groups.google.com/forum/#!forum/lz4c
33
*/
34
/* note : lz4hc is not an independent module, it requires lz4.h/lz4.c for proper compilation */
35
36
37
/* *************************************
38
*  Tuning Parameter
39
***************************************/
40
41
/*! HEAPMODE :
42
 *  Select how stateless HC compression functions like `LZ4_compress_HC()`
43
 *  allocate memory for their workspace:
44
 *  in stack (0:fastest), or in heap (1:default, requires malloc()).
45
 *  Since workspace is rather large, heap mode is recommended.
46
**/
47
#ifndef LZ4HC_HEAPMODE
48
#  define LZ4HC_HEAPMODE 1
49
#endif
50
51
52
/*===    Dependency    ===*/
53
#define LZ4_HC_STATIC_LINKING_ONLY
54
#include "lz4hc.h"
55
#include <limits.h>
56
57
58
/*===   Shared lz4.c code   ===*/
59
#ifndef LZ4_SRC_INCLUDED
60
# if defined(__GNUC__)
61
#  pragma GCC diagnostic ignored "-Wunused-function"
62
# endif
63
# if defined (__clang__)
64
#  pragma clang diagnostic ignored "-Wunused-function"
65
# endif
66
# define LZ4_COMMONDEFS_ONLY
67
# include "lz4.c"   /* LZ4_count, constants, mem */
68
#endif
69
70
71
/*===   Enums   ===*/
72
typedef enum { noDictCtx, usingDictCtxHc } dictCtx_directive;
73
74
75
/*===   Constants   ===*/
76
3.96M
#define OPTIMAL_ML (int)((ML_MASK-1)+MINMATCH)
77
6.16M
#define LZ4_OPT_NUM   (1<<12)
78
79
80
/*===   Macros   ===*/
81
180M
#define MIN(a,b)   ( (a) < (b) ? (a) : (b) )
82
417M
#define MAX(a,b)   ( (a) > (b) ? (a) : (b) )
83
84
85
/*===   Levels definition   ===*/
86
typedef enum { lz4mid, lz4hc, lz4opt } lz4hc_strat_e;
87
typedef struct {
88
    lz4hc_strat_e strat;
89
    int nbSearches;
90
    U32 targetLength;
91
} cParams_t;
92
static const cParams_t k_clTable[LZ4HC_CLEVEL_MAX+1] = {
93
    { lz4mid,    2, 16 },  /* 0, unused */
94
    { lz4mid,    2, 16 },  /* 1, unused */
95
    { lz4mid,    2, 16 },  /* 2 */
96
    { lz4hc,     4, 16 },  /* 3 */
97
    { lz4hc,     8, 16 },  /* 4 */
98
    { lz4hc,    16, 16 },  /* 5 */
99
    { lz4hc,    32, 16 },  /* 6 */
100
    { lz4hc,    64, 16 },  /* 7 */
101
    { lz4hc,   128, 16 },  /* 8 */
102
    { lz4hc,   256, 16 },  /* 9 */
103
    { lz4opt,   96, 64 },  /*10==LZ4HC_CLEVEL_OPT_MIN*/
104
    { lz4opt,  512,128 },  /*11 */
105
    { lz4opt,16384,LZ4_OPT_NUM },  /* 12==LZ4HC_CLEVEL_MAX */
106
};
107
108
static cParams_t LZ4HC_getCLevelParams(int cLevel)
109
522k
{
110
    /* note : clevel convention is a bit different from lz4frame,
111
     * possibly something worth revisiting for consistency */
112
522k
    if (cLevel < 1)
113
0
        cLevel = LZ4HC_CLEVEL_DEFAULT;
114
522k
    cLevel = MIN(LZ4HC_CLEVEL_MAX, cLevel);
115
522k
    return k_clTable[cLevel];
116
522k
}
117
118
119
/*===   Hashing   ===*/
120
32.3k
#define LZ4HC_HASHSIZE 4
121
2.13G
#define HASH_FUNCTION(i)      (((i) * 2654435761U) >> ((MINMATCH*8)-LZ4HC_HASH_LOG))
122
2.13G
static U32 LZ4HC_hashPtr(const void* ptr) { return HASH_FUNCTION(LZ4_read32(ptr)); }
123
124
#if defined(LZ4_FORCE_MEMORY_ACCESS) && (LZ4_FORCE_MEMORY_ACCESS==2)
125
/* lie to the compiler about data alignment; use with caution */
126
static U64 LZ4_read64(const void* memPtr) { return *(const U64*) memPtr; }
127
128
#elif defined(LZ4_FORCE_MEMORY_ACCESS) && (LZ4_FORCE_MEMORY_ACCESS==1)
129
/* __pack instructions are safer, but compiler specific */
130
LZ4_PACK(typedef struct { U64 u64; }) LZ4_unalign64;
131
150M
static U64 LZ4_read64(const void* ptr) { return ((const LZ4_unalign64*)ptr)->u64; }
132
133
#else  /* safe and portable access using memcpy() */
134
static U64 LZ4_read64(const void* memPtr)
135
{
136
    U64 val; LZ4_memcpy(&val, memPtr, sizeof(val)); return val;
137
}
138
139
#endif /* LZ4_FORCE_MEMORY_ACCESS */
140
141
77.7k
#define LZ4MID_HASHSIZE 8
142
251M
#define LZ4MID_HASHLOG (LZ4HC_HASH_LOG-1)
143
763k
#define LZ4MID_HASHTABLESIZE (1 << LZ4MID_HASHLOG)
144
145
100M
static U32 LZ4MID_hash4(U32 v) { return (v * 2654435761U) >> (32-LZ4MID_HASHLOG); }
146
100M
static U32 LZ4MID_hash4Ptr(const void* ptr) { return LZ4MID_hash4(LZ4_read32(ptr)); }
147
/* note: hash7 hashes the lower 56-bits.
148
 * It presumes input was read using little endian.*/
149
150M
static U32 LZ4MID_hash7(U64 v) { return (U32)(((v  << (64-56)) * 58295818150454627ULL) >> (64-LZ4MID_HASHLOG)) ; }
150
static U64 LZ4_readLE64(const void* memPtr);
151
150M
static U32 LZ4MID_hash8Ptr(const void* ptr) { return LZ4MID_hash7(LZ4_readLE64(ptr)); }
152
153
static U64 LZ4_readLE64(const void* memPtr)
154
150M
{
155
150M
    if (LZ4_isLittleEndian()) {
156
150M
        return LZ4_read64(memPtr);
157
150M
    } else {
158
0
        const BYTE* p = (const BYTE*)memPtr;
159
        /* note: relies on the compiler to simplify this expression */
160
0
        return (U64)p[0] | ((U64)p[1]<<8) | ((U64)p[2]<<16) | ((U64)p[3]<<24)
161
0
            | ((U64)p[4]<<32) | ((U64)p[5]<<40) | ((U64)p[6]<<48) | ((U64)p[7]<<56);
162
0
    }
163
150M
}
164
165
166
/*===   Count match length   ===*/
167
LZ4_FORCE_INLINE
168
unsigned LZ4HC_NbCommonBytes32(U32 val)
169
125M
{
170
125M
    assert(val != 0);
171
125M
    if (LZ4_isLittleEndian()) {
172
#     if defined(_MSC_VER) && (_MSC_VER >= 1400) && !defined(LZ4_FORCE_SW_BITCOUNT)
173
        unsigned long r;
174
        _BitScanReverse(&r, val);
175
        return (unsigned)((31 - r) >> 3);
176
#     elif (defined(__clang__) || (defined(__GNUC__) && ((__GNUC__ > 3) || \
177
                            ((__GNUC__ == 3) && (__GNUC_MINOR__ >= 4))))) && \
178
                                        !defined(LZ4_FORCE_SW_BITCOUNT)
179
        return (unsigned)__builtin_clz(val) >> 3;
180
#     else
181
        val >>= 8;
182
        val = ((((val + 0x00FFFF00) | 0x00FFFFFF) + val) |
183
              (val + 0x00FF0000)) >> 24;
184
        return (unsigned)val ^ 3;
185
#     endif
186
125M
    } else {
187
#     if defined(_MSC_VER) && (_MSC_VER >= 1400) && !defined(LZ4_FORCE_SW_BITCOUNT)
188
        unsigned long r;
189
        _BitScanForward(&r, val);
190
        return (unsigned)(r >> 3);
191
#     elif (defined(__clang__) || (defined(__GNUC__) && ((__GNUC__ > 3) || \
192
                            ((__GNUC__ == 3) && (__GNUC_MINOR__ >= 4))))) && \
193
                                        !defined(LZ4_FORCE_SW_BITCOUNT)
194
        return (unsigned)__builtin_ctz(val) >> 3;
195
#     else
196
        const U32 m = 0x01010101;
197
        return (unsigned)((((val - 1) ^ val) & (m - 1)) * m) >> 24;
198
#     endif
199
0
    }
200
125M
}
201
202
/** LZ4HC_countBack() :
203
 * @return : negative value, nb of common bytes before ip/match */
204
LZ4_FORCE_INLINE
205
int LZ4HC_countBack(const BYTE* const ip, const BYTE* const match,
206
                    const BYTE* const iMin, const BYTE* const mMin)
207
157M
{
208
157M
    int back = 0;
209
157M
    int const min = (int)MAX(iMin - ip, mMin - match);
210
157M
    assert(min <= 0);
211
157M
    assert(ip >= iMin); assert((size_t)(ip-iMin) < (1U<<31));
212
157M
    assert(match >= mMin); assert((size_t)(match - mMin) < (1U<<31));
213
214
571M
    while ((back - min) > 3) {
215
539M
        U32 const v = LZ4_read32(ip + back - 4) ^ LZ4_read32(match + back - 4);
216
539M
        if (v) {
217
125M
            return (back - (int)LZ4HC_NbCommonBytes32(v));
218
414M
        } else back -= 4; /* 4-byte step */
219
539M
    }
220
    /* check remainder if any */
221
50.7M
    while ( (back > min)
222
49.4M
         && (ip[back-1] == match[back-1]) )
223
19.0M
            back--;
224
31.7M
    return back;
225
157M
}
226
227
/*===   Chain table updates   ===*/
228
7.05G
#define DELTANEXTU16(table, pos) table[(U16)(pos)]   /* faster */
229
/* Make fields passed to, and updated by LZ4HC_encodeSequence explicit */
230
33.6M
#define UPDATABLE(ip, op, anchor) &ip, &op, &anchor
231
232
233
/**************************************
234
*  Init
235
**************************************/
236
static void LZ4HC_clearTables (LZ4HC_CCtx_internal* hc4)
237
0
{
238
0
    MEM_INIT(hc4->hashTable, 0, sizeof(hc4->hashTable));
239
0
    MEM_INIT(hc4->chainTable, 0xFF, sizeof(hc4->chainTable));
240
0
}
241
242
static void LZ4HC_init_internal (LZ4HC_CCtx_internal* hc4, const BYTE* start)
243
95.0k
{
244
95.0k
    size_t const bufferSize = (size_t)(hc4->end - hc4->prefixStart);
245
95.0k
    size_t newStartingOffset = bufferSize + hc4->dictLimit;
246
95.0k
    DEBUGLOG(5, "LZ4HC_init_internal");
247
95.0k
    assert(newStartingOffset >= bufferSize);  /* check overflow */
248
95.0k
    if (newStartingOffset > 1 GB) {
249
0
        LZ4HC_clearTables(hc4);
250
0
        newStartingOffset = 0;
251
0
    }
252
95.0k
    newStartingOffset += 64 KB;
253
95.0k
    hc4->nextToUpdate = (U32)newStartingOffset;
254
95.0k
    hc4->prefixStart = start;
255
95.0k
    hc4->end = start;
256
95.0k
    hc4->dictStart = start;
257
95.0k
    hc4->dictLimit = (U32)newStartingOffset;
258
95.0k
    hc4->lowLimit = (U32)newStartingOffset;
259
95.0k
}
260
261
262
/**************************************
263
*  Encode
264
**************************************/
265
#if defined(LZ4_DEBUG) && (LZ4_DEBUG >= 2)
266
# define RAWLOG(...) fprintf(stderr, __VA_ARGS__)
267
void LZ4HC_hexOut(const void* src, size_t len)
268
{
269
    const BYTE* p = (const BYTE*)src;
270
    size_t n;
271
    for (n=0; n<len; n++) {
272
        RAWLOG("%02X ", p[n]);
273
    }
274
    RAWLOG(" \n");
275
}
276
277
# define HEX_CMP(_lev, _ptr, _ref, _len) \
278
    if (LZ4_DEBUG >= _lev) {            \
279
        RAWLOG("match bytes: ");        \
280
        LZ4HC_hexOut(_ptr, _len);       \
281
        RAWLOG("ref bytes: ");          \
282
        LZ4HC_hexOut(_ref, _len);       \
283
    }
284
285
#else
286
# define HEX_CMP(l,p,r,_l)
287
#endif
288
289
/* LZ4HC_encodeSequence() :
290
 * @return : 0 if ok,
291
 *           1 if buffer issue detected */
292
LZ4_FORCE_INLINE int LZ4HC_encodeSequence (
293
    const BYTE** _ip,
294
    BYTE** _op,
295
    const BYTE** _anchor,
296
    int matchLength,
297
    int offset,
298
    limitedOutput_directive limit,
299
    BYTE* oend)
300
33.6M
{
301
101M
#define ip      (*_ip)
302
216M
#define op      (*_op)
303
101M
#define anchor  (*_anchor)
304
305
33.6M
    BYTE* const token = op++;
306
307
#if defined(LZ4_DEBUG) && (LZ4_DEBUG >= 6)
308
    static const BYTE* start = NULL;
309
    static U32 totalCost = 0;
310
    U32 const pos = (start==NULL) ? 0 : (U32)(anchor - start); /* only works for single segment */
311
    U32 const ll = (U32)(ip - anchor);
312
    U32 const llAdd = (ll>=15) ? ((ll-15) / 255) + 1 : 0;
313
    U32 const mlAdd = (matchLength>=19) ? ((matchLength-19) / 255) + 1 : 0;
314
    U32 const cost = 1 + llAdd + ll + 2 + mlAdd;
315
    if (start==NULL) start = anchor;  /* only works for single segment */
316
    DEBUGLOG(6, "pos:%7u -- literals:%4u, match:%4i, offset:%5i, cost:%4u + %5u",
317
                pos,
318
                (U32)(ip - anchor), matchLength, offset,
319
                cost, totalCost);
320
# if 1 /* only works on single segment data */
321
    HEX_CMP(7, ip, ip-offset, matchLength);
322
# endif
323
    totalCost += cost;
324
#endif
325
326
    /* Encode Literal length */
327
33.6M
    {   size_t litLen = (size_t)(ip - anchor);
328
33.6M
        LZ4_STATIC_ASSERT(notLimited == 0);
329
        /* Check output limit */
330
33.6M
        if (limit && ((op + (litLen / 255) + litLen + (2 + 1 + LASTLITERALS)) > oend)) {
331
0
            DEBUGLOG(6, "Not enough room to write %i literals (%i bytes remaining)",
332
0
                    (int)litLen, (int)(oend - op));
333
0
            return 1;
334
0
        }
335
33.6M
        if (litLen >= RUN_MASK) {
336
1.48M
            size_t len = litLen - RUN_MASK;
337
1.48M
            *token = (RUN_MASK << ML_BITS);
338
2.03M
            for(; len >= 255 ; len -= 255) *op++ = 255;
339
1.48M
            *op++ = (BYTE)len;
340
32.2M
        } else {
341
32.2M
            *token = (BYTE)(litLen << ML_BITS);
342
32.2M
        }
343
344
        /* Copy Literals */
345
33.6M
        LZ4_wildCopy8(op, anchor, op + litLen);
346
33.6M
        op += litLen;
347
33.6M
    }
348
349
    /* Encode Offset */
350
33.6M
    assert(offset <= LZ4_DISTANCE_MAX );
351
33.6M
    assert(offset > 0);
352
33.6M
    LZ4_writeLE16(op, (U16)(offset)); op += 2;
353
354
    /* Encode MatchLength */
355
33.6M
    assert(matchLength >= MINMATCH);
356
33.6M
    {   size_t mlCode = (size_t)matchLength - MINMATCH;
357
33.6M
        if (limit && (op + (mlCode / 255) + (1 + LASTLITERALS) > oend)) {
358
0
            DEBUGLOG(6, "Not enough room to write match length");
359
0
            return 1;   /* Check output limit */
360
0
        }
361
33.6M
        if (mlCode >= ML_MASK) {
362
7.55M
            *token += ML_MASK;
363
7.55M
            mlCode -= ML_MASK;
364
9.67M
            for(; mlCode >= 510 ; mlCode -= 510) { *op++ = 255; *op++ = 255; }
365
7.55M
            if (mlCode >= 255) { mlCode -= 255; *op++ = 255; }
366
7.55M
            *op++ = (BYTE)mlCode;
367
26.1M
        } else {
368
26.1M
            *token += (BYTE)(mlCode);
369
26.1M
    }   }
370
371
    /* Prepare next loop */
372
33.6M
    ip += matchLength;
373
33.6M
    anchor = ip;
374
375
33.6M
    return 0;
376
377
33.6M
#undef ip
378
33.6M
#undef op
379
33.6M
#undef anchor
380
33.6M
}
381
382
383
typedef struct {
384
    int off;
385
    int len;
386
    int back;  /* negative value */
387
} LZ4HC_match_t;
388
389
LZ4HC_match_t LZ4HC_searchExtDict(const BYTE* ip, U32 ipIndex,
390
        const BYTE* const iLowLimit, const BYTE* const iHighLimit,
391
        const LZ4HC_CCtx_internal* dictCtx, U32 gDictEndIndex,
392
        int currentBestML, int nbAttempts)
393
0
{
394
0
    size_t const lDictEndIndex = (size_t)(dictCtx->end - dictCtx->prefixStart) + dictCtx->dictLimit;
395
0
    U32 lDictMatchIndex = dictCtx->hashTable[LZ4HC_hashPtr(ip)];
396
0
    U32 matchIndex = lDictMatchIndex + gDictEndIndex - (U32)lDictEndIndex;
397
0
    int offset = 0, sBack = 0;
398
0
    assert(lDictEndIndex <= 1 GB);
399
0
    if (lDictMatchIndex>0)
400
0
        DEBUGLOG(7, "lDictEndIndex = %zu, lDictMatchIndex = %u", lDictEndIndex, lDictMatchIndex);
401
0
    while (ipIndex - matchIndex <= LZ4_DISTANCE_MAX && nbAttempts--) {
402
0
        const BYTE* const matchPtr = dictCtx->prefixStart - dictCtx->dictLimit + lDictMatchIndex;
403
404
0
        if (LZ4_read32(matchPtr) == LZ4_read32(ip)) {
405
0
            int mlt;
406
0
            int back = 0;
407
0
            const BYTE* vLimit = ip + (lDictEndIndex - lDictMatchIndex);
408
0
            if (vLimit > iHighLimit) vLimit = iHighLimit;
409
0
            mlt = (int)LZ4_count(ip+MINMATCH, matchPtr+MINMATCH, vLimit) + MINMATCH;
410
0
            back = (ip > iLowLimit) ? LZ4HC_countBack(ip, matchPtr, iLowLimit, dictCtx->prefixStart) : 0;
411
0
            mlt -= back;
412
0
            if (mlt > currentBestML) {
413
0
                currentBestML = mlt;
414
0
                offset = (int)(ipIndex - matchIndex);
415
0
                sBack = back;
416
0
                DEBUGLOG(7, "found match of length %i within extDictCtx", currentBestML);
417
0
        }   }
418
419
0
        {   U32 const nextOffset = DELTANEXTU16(dictCtx->chainTable, lDictMatchIndex);
420
0
            lDictMatchIndex -= nextOffset;
421
0
            matchIndex -= nextOffset;
422
0
    }   }
423
424
0
    {   LZ4HC_match_t md;
425
0
        md.len = currentBestML;
426
0
        md.off = offset;
427
0
        md.back = sBack;
428
0
        return md;
429
0
    }
430
0
}
431
432
typedef LZ4HC_match_t (*LZ4MID_searchIntoDict_f)(const BYTE* ip, U32 ipIndex,
433
        const BYTE* const iHighLimit,
434
        const LZ4HC_CCtx_internal* dictCtx, U32 gDictEndIndex);
435
436
static LZ4HC_match_t LZ4MID_searchHCDict(const BYTE* ip, U32 ipIndex,
437
        const BYTE* const iHighLimit,
438
        const LZ4HC_CCtx_internal* dictCtx, U32 gDictEndIndex)
439
0
{
440
0
    return LZ4HC_searchExtDict(ip,ipIndex,
441
0
                            ip, iHighLimit,
442
0
                            dictCtx, gDictEndIndex,
443
0
                            MINMATCH-1, 2);
444
0
}
445
446
static LZ4HC_match_t LZ4MID_searchExtDict(const BYTE* ip, U32 ipIndex,
447
        const BYTE* const iHighLimit,
448
        const LZ4HC_CCtx_internal* dictCtx, U32 gDictEndIndex)
449
696k
{
450
696k
    size_t const lDictEndIndex = (size_t)(dictCtx->end - dictCtx->prefixStart) + dictCtx->dictLimit;
451
696k
    const U32* const hash4Table = dictCtx->hashTable;
452
696k
    const U32* const hash8Table = hash4Table + LZ4MID_HASHTABLESIZE;
453
696k
    DEBUGLOG(7, "LZ4MID_searchExtDict (ipIdx=%u)", ipIndex);
454
455
    /* search long match first */
456
696k
    {   U32 l8DictMatchIndex = hash8Table[LZ4MID_hash8Ptr(ip)];
457
696k
        U32 m8Index = l8DictMatchIndex + gDictEndIndex - (U32)lDictEndIndex;
458
696k
        assert(lDictEndIndex <= 1 GB);
459
696k
        if (ipIndex - m8Index <= LZ4_DISTANCE_MAX) {
460
280k
            const BYTE* const matchPtr = dictCtx->prefixStart - dictCtx->dictLimit + l8DictMatchIndex;
461
280k
            const size_t safeLen = MIN(lDictEndIndex - l8DictMatchIndex, (size_t)(iHighLimit - ip));
462
280k
            int mlt = (int)LZ4_count(ip, matchPtr, ip + safeLen);
463
280k
            if (mlt >= MINMATCH) {
464
7.70k
                LZ4HC_match_t md;
465
7.70k
                DEBUGLOG(7, "Found long ExtDict match of len=%u", mlt);
466
7.70k
                md.len = mlt;
467
7.70k
                md.off = (int)(ipIndex - m8Index);
468
7.70k
                md.back = 0;
469
7.70k
                return md;
470
7.70k
            }
471
280k
        }
472
696k
    }
473
474
    /* search for short match second */
475
689k
    {   U32 l4DictMatchIndex = hash4Table[LZ4MID_hash4Ptr(ip)];
476
689k
        U32 m4Index = l4DictMatchIndex + gDictEndIndex - (U32)lDictEndIndex;
477
689k
        if (ipIndex - m4Index <= LZ4_DISTANCE_MAX) {
478
156k
            const BYTE* const matchPtr = dictCtx->prefixStart - dictCtx->dictLimit + l4DictMatchIndex;
479
156k
            const size_t safeLen = MIN(lDictEndIndex - l4DictMatchIndex, (size_t)(iHighLimit - ip));
480
156k
            int mlt = (int)LZ4_count(ip, matchPtr, ip + safeLen);
481
156k
            if (mlt >= MINMATCH) {
482
9.53k
                LZ4HC_match_t md;
483
9.53k
                DEBUGLOG(7, "Found short ExtDict match of len=%u", mlt);
484
9.53k
                md.len = mlt;
485
9.53k
                md.off = (int)(ipIndex - m4Index);
486
9.53k
                md.back = 0;
487
9.53k
                return md;
488
9.53k
            }
489
156k
        }
490
689k
    }
491
492
    /* nothing found */
493
679k
    {   LZ4HC_match_t const md = {0, 0, 0 };
494
679k
        return md;
495
689k
    }
496
689k
}
497
498
/**************************************
499
*  Mid Compression (level 2)
500
**************************************/
501
502
LZ4_FORCE_INLINE void
503
LZ4MID_addPosition(U32* hTable, U32 hValue, U32 index)
504
244M
{
505
244M
    hTable[hValue] = index;
506
244M
}
507
508
79.4M
#define ADDPOS8(_p, _idx) LZ4MID_addPosition(hash8Table, LZ4MID_hash8Ptr(_p), _idx)
509
39.8M
#define ADDPOS4(_p, _idx) LZ4MID_addPosition(hash4Table, LZ4MID_hash4Ptr(_p), _idx)
510
511
/* Fill hash tables with references into dictionary.
512
 * The resulting table is only exploitable by LZ4MID (level 2) */
513
static void
514
LZ4MID_fillHTable (LZ4HC_CCtx_internal* cctx, const void* dict, size_t size)
515
6.09k
{
516
6.09k
    U32* const hash4Table = cctx->hashTable;
517
6.09k
    U32* const hash8Table = hash4Table + LZ4MID_HASHTABLESIZE;
518
6.09k
    const BYTE* const prefixPtr = (const BYTE*)dict;
519
6.09k
    U32 const prefixIdx = cctx->dictLimit;
520
6.09k
    U32 const target = prefixIdx + (U32)size - LZ4MID_HASHSIZE;
521
6.09k
    U32 idx = cctx->nextToUpdate;
522
6.09k
    assert(dict == cctx->prefixStart);
523
6.09k
    DEBUGLOG(4, "LZ4MID_fillHTable (size:%zu)", size);
524
6.09k
    if (size <= LZ4MID_HASHSIZE)
525
1.16k
        return;
526
527
8.48M
    for (; idx < target; idx += 3) {
528
8.48M
        ADDPOS4(prefixPtr+idx-prefixIdx, idx);
529
8.48M
        ADDPOS8(prefixPtr+idx+1-prefixIdx, idx+1);
530
8.48M
    }
531
532
4.93k
    idx = (size > 32 KB + LZ4MID_HASHSIZE) ? target - 32 KB : cctx->nextToUpdate;
533
18.6M
    for (; idx < target; idx += 1) {
534
18.6M
        ADDPOS8(prefixPtr+idx-prefixIdx, idx);
535
18.6M
    }
536
537
4.93k
    cctx->nextToUpdate = target;
538
4.93k
}
539
540
static LZ4MID_searchIntoDict_f select_searchDict_function(const LZ4HC_CCtx_internal* dictCtx)
541
6.19k
{
542
6.19k
    if (dictCtx == NULL) return NULL;
543
6.19k
    if (LZ4HC_getCLevelParams(dictCtx->compressionLevel).strat == lz4mid)
544
6.19k
        return LZ4MID_searchExtDict;
545
0
    return LZ4MID_searchHCDict;
546
6.19k
}
547
548
/* preconditions:
549
 * - *srcSizePtr within [1, LZ4_MAX_INPUT_SIZE]
550
 * - src is valid
551
 * - maxOutputSize >= 1
552
 * - dst is valid
553
 */
554
static int LZ4MID_compress (
555
    LZ4HC_CCtx_internal* const ctx,
556
    const char* const src,
557
    char* const dst,
558
    int* srcSizePtr,
559
    int const maxOutputSize,
560
    const limitedOutput_directive limit,
561
    const dictCtx_directive dict
562
    )
563
60.6k
{
564
60.6k
    U32* const hash4Table = ctx->hashTable;
565
60.6k
    U32* const hash8Table = hash4Table + LZ4MID_HASHTABLESIZE;
566
60.6k
    const BYTE* ip = (const BYTE*)src;
567
60.6k
    const BYTE* anchor = ip;
568
60.6k
    const BYTE* const iend = ip + *srcSizePtr;
569
60.6k
    const BYTE* const mflimit = iend - MFLIMIT;
570
60.6k
    const BYTE* const matchlimit = (iend - LASTLITERALS);
571
60.6k
    const BYTE* const ilimit = (iend - LZ4MID_HASHSIZE);
572
60.6k
    BYTE* op = (BYTE*)dst;
573
60.6k
    BYTE* oend = op + maxOutputSize;
574
575
60.6k
    const BYTE* const prefixPtr = ctx->prefixStart;
576
60.6k
    const U32 prefixIdx = ctx->dictLimit;
577
60.6k
    const U32 ilimitIdx = (U32)(ilimit - prefixPtr) + prefixIdx;
578
60.6k
    const BYTE* const dictStart = ctx->dictStart;
579
60.6k
    const U32 dictIdx = ctx->lowLimit;
580
60.6k
    const U32 gDictEndIndex = ctx->lowLimit;
581
60.6k
    const LZ4MID_searchIntoDict_f searchIntoDict = (dict == usingDictCtxHc) ? select_searchDict_function(ctx->dictCtx) : NULL;
582
60.6k
    unsigned matchLength;
583
60.6k
    unsigned matchDistance;
584
585
60.6k
    DEBUGLOG(5, "LZ4MID_compress (%i bytes)", *srcSizePtr);
586
587
    /* preconditions verifications */
588
60.6k
    if (dict == usingDictCtxHc) DEBUGLOG(5, "usingDictCtxHc");
589
60.6k
    assert(*srcSizePtr > 0);
590
60.6k
    assert(*srcSizePtr <= LZ4_MAX_INPUT_SIZE);
591
60.6k
    assert(src != NULL);
592
60.6k
    assert(maxOutputSize >= 1);
593
60.6k
    assert(dst != NULL);
594
595
60.6k
    if (limit == fillOutput) oend -= LASTLITERALS;  /* Hack for support LZ4 format restriction */
596
60.6k
    if (*srcSizePtr < LZ4_minLength)
597
27.2k
        goto _lz4mid_last_literals;  /* Input too small, no compression (all literals) */
598
599
    /* main loop */
600
65.0M
    while (ip <= mflimit) {
601
65.0M
        const U32 ipIndex = (U32)(ip - prefixPtr) + prefixIdx;
602
        /* search long match */
603
65.0M
        {   U32 const h8 = LZ4MID_hash8Ptr(ip);
604
65.0M
            U32 const pos8 = hash8Table[h8];
605
65.0M
            assert(h8 < LZ4MID_HASHTABLESIZE);
606
65.0M
            assert(pos8 < ipIndex);
607
65.0M
            LZ4MID_addPosition(hash8Table, h8, ipIndex);
608
65.0M
            if (ipIndex - pos8 <= LZ4_DISTANCE_MAX) {
609
                /* match candidate found */
610
49.6M
                if (pos8 >= prefixIdx) {
611
46.7M
                    const BYTE* const matchPtr = prefixPtr + pos8 - prefixIdx;
612
46.7M
                    assert(matchPtr < ip);
613
46.7M
                    matchLength = LZ4_count(ip, matchPtr, matchlimit);
614
46.7M
                    if (matchLength >= MINMATCH) {
615
4.93M
                        DEBUGLOG(7, "found long match at pos %u (len=%u)", pos8, matchLength);
616
4.93M
                        matchDistance = ipIndex - pos8;
617
4.93M
                        goto _lz4mid_encode_sequence;
618
4.93M
                    }
619
46.7M
                } else {
620
2.89M
                    if (pos8 >= dictIdx) {
621
                        /* extDict match candidate */
622
1.95M
                        const BYTE* const matchPtr = dictStart + (pos8 - dictIdx);
623
1.95M
                        const size_t safeLen = MIN(prefixIdx - pos8, (size_t)(matchlimit - ip));
624
1.95M
                        matchLength = LZ4_count(ip, matchPtr, ip + safeLen);
625
1.95M
                        if (matchLength >= MINMATCH) {
626
188k
                            DEBUGLOG(7, "found long match at ExtDict pos %u (len=%u)", pos8, matchLength);
627
188k
                            matchDistance = ipIndex - pos8;
628
188k
                            goto _lz4mid_encode_sequence;
629
188k
                        }
630
1.95M
                    }
631
2.89M
                }
632
49.6M
        }   }
633
        /* search short match */
634
59.9M
        {   U32 const h4 = LZ4MID_hash4Ptr(ip);
635
59.9M
            U32 const pos4 = hash4Table[h4];
636
59.9M
            assert(h4 < LZ4MID_HASHTABLESIZE);
637
59.9M
            assert(pos4 < ipIndex);
638
59.9M
            LZ4MID_addPosition(hash4Table, h4, ipIndex);
639
59.9M
            if (ipIndex - pos4 <= LZ4_DISTANCE_MAX) {
640
                /* match candidate found */
641
43.1M
                if (pos4 >= prefixIdx) {
642
                /* only search within prefix */
643
40.8M
                    const BYTE* const matchPtr = prefixPtr + (pos4 - prefixIdx);
644
40.8M
                    assert(matchPtr < ip);
645
40.8M
                    assert(matchPtr >= prefixPtr);
646
40.8M
                    matchLength = LZ4_count(ip, matchPtr, matchlimit);
647
40.8M
                    if (matchLength >= MINMATCH) {
648
                        /* short match found, let's just check ip+1 for longer */
649
5.18M
                        U32 const h8 = LZ4MID_hash8Ptr(ip+1);
650
5.18M
                        U32 const pos8 = hash8Table[h8];
651
5.18M
                        U32 const m2Distance = ipIndex + 1 - pos8;
652
5.18M
                        matchDistance = ipIndex - pos4;
653
5.18M
                        if ( m2Distance <= LZ4_DISTANCE_MAX
654
4.27M
                        && pos8 >= prefixIdx /* only search within prefix */
655
4.14M
                        && likely(ip < mflimit)
656
5.18M
                        ) {
657
4.14M
                            const BYTE* const m2Ptr = prefixPtr + (pos8 - prefixIdx);
658
4.14M
                            unsigned ml2 = LZ4_count(ip+1, m2Ptr, matchlimit);
659
4.14M
                            if (ml2 > matchLength) {
660
436k
                                LZ4MID_addPosition(hash8Table, h8, ipIndex+1);
661
436k
                                ip++;
662
436k
                                matchLength = ml2;
663
436k
                                matchDistance = m2Distance;
664
436k
                        }   }
665
5.18M
                        goto _lz4mid_encode_sequence;
666
5.18M
                    }
667
40.8M
                } else {
668
2.28M
                    if (pos4 >= dictIdx) {
669
                        /* extDict match candidate */
670
1.45M
                        const BYTE* const matchPtr = dictStart + (pos4 - dictIdx);
671
1.45M
                        const size_t safeLen = MIN(prefixIdx - pos4, (size_t)(matchlimit - ip));
672
1.45M
                        matchLength = LZ4_count(ip, matchPtr, ip + safeLen);
673
1.45M
                        if (matchLength >= MINMATCH) {
674
144k
                            DEBUGLOG(7, "found match at ExtDict pos %u (len=%u)", pos4, matchLength);
675
144k
                            matchDistance = ipIndex - pos4;
676
144k
                            goto _lz4mid_encode_sequence;
677
144k
                        }
678
1.45M
                    }
679
2.28M
                }
680
43.1M
        }   }
681
        /* no match found in prefix */
682
54.6M
        if ( (dict == usingDictCtxHc)
683
1.69M
          && (ipIndex - gDictEndIndex < LZ4_DISTANCE_MAX - 8) ) {
684
            /* search a match into external dictionary */
685
696k
            LZ4HC_match_t dMatch = searchIntoDict(ip, ipIndex,
686
696k
                    matchlimit,
687
696k
                    ctx->dictCtx, gDictEndIndex);
688
696k
            if (dMatch.len >= MINMATCH) {
689
17.2k
                DEBUGLOG(7, "found Dictionary match (offset=%i)", dMatch.off);
690
17.2k
                assert(dMatch.back == 0);
691
17.2k
                matchLength = (unsigned)dMatch.len;
692
17.2k
                matchDistance = (unsigned)dMatch.off;
693
17.2k
                goto _lz4mid_encode_sequence;
694
17.2k
            }
695
696k
        }
696
        /* no match found */
697
54.5M
        ip += 1 + ((ip-anchor) >> 9);  /* skip faster over incompressible data */
698
54.5M
        continue;
699
700
10.4M
_lz4mid_encode_sequence:
701
        /* catch back */
702
11.3M
        while (((ip > anchor) & ((U32)(ip-prefixPtr) > matchDistance)) && (unlikely(ip[-1] == ip[-(int)matchDistance-1]))) {
703
884k
            ip--;  matchLength++;
704
884k
        };
705
706
        /* fill table with beginning of match */
707
10.4M
        ADDPOS8(ip+1, ipIndex+1);
708
10.4M
        ADDPOS8(ip+2, ipIndex+2);
709
10.4M
        ADDPOS4(ip+1, ipIndex+1);
710
711
        /* encode */
712
10.4M
        {   BYTE* const saved_op = op;
713
            /* LZ4HC_encodeSequence always updates @op; on success, it updates @ip and @anchor */
714
10.4M
            if (LZ4HC_encodeSequence(UPDATABLE(ip, op, anchor),
715
10.4M
                    (int)matchLength, (int)matchDistance,
716
10.4M
                    limit, oend) ) {
717
0
                op = saved_op;  /* restore @op value before failed LZ4HC_encodeSequence */
718
0
                goto _lz4mid_dest_overflow;
719
0
            }
720
10.4M
        }
721
722
        /* fill table with end of match */
723
10.4M
        {   U32 endMatchIdx = (U32)(ip-prefixPtr) + prefixIdx;
724
10.4M
            U32 pos_m2 = endMatchIdx - 2;
725
10.4M
            if (pos_m2 < ilimitIdx) {
726
10.4M
                if (likely(ip - prefixPtr > 5)) {
727
10.4M
                    ADDPOS8(ip-5, endMatchIdx - 5);
728
10.4M
                }
729
10.4M
                ADDPOS8(ip-3, endMatchIdx - 3);
730
10.4M
                ADDPOS8(ip-2, endMatchIdx - 2);
731
10.4M
                ADDPOS4(ip-2, endMatchIdx - 2);
732
10.4M
                ADDPOS4(ip-1, endMatchIdx - 1);
733
10.4M
            }
734
10.4M
        }
735
10.4M
    }
736
737
60.6k
_lz4mid_last_literals:
738
    /* Encode Last Literals */
739
60.6k
    {   size_t lastRunSize = (size_t)(iend - anchor);  /* literals */
740
60.6k
        size_t llAdd = (lastRunSize + 255 - RUN_MASK) / 255;
741
60.6k
        size_t const totalSize = 1 + llAdd + lastRunSize;
742
60.6k
        if (limit == fillOutput) oend += LASTLITERALS;  /* restore correct value */
743
60.6k
        if (limit && (op + totalSize > oend)) {
744
0
            if (limit == limitedOutput) return 0;  /* not enough space in @dst */
745
            /* adapt lastRunSize to fill 'dest' */
746
0
            lastRunSize  = (size_t)(oend - op) - 1 /*token*/;
747
0
            llAdd = (lastRunSize + 256 - RUN_MASK) / 256;
748
0
            lastRunSize -= llAdd;
749
0
        }
750
60.6k
        DEBUGLOG(6, "Final literal run : %i literals", (int)lastRunSize);
751
60.6k
        ip = anchor + lastRunSize;  /* can be != iend if limit==fillOutput */
752
753
60.6k
        if (lastRunSize >= RUN_MASK) {
754
6.38k
            size_t accumulator = lastRunSize - RUN_MASK;
755
6.38k
            *op++ = (RUN_MASK << ML_BITS);
756
31.1k
            for(; accumulator >= 255 ; accumulator -= 255)
757
24.7k
                *op++ = 255;
758
6.38k
            *op++ = (BYTE) accumulator;
759
54.2k
        } else {
760
54.2k
            *op++ = (BYTE)(lastRunSize << ML_BITS);
761
54.2k
        }
762
60.6k
        assert(lastRunSize <= (size_t)(oend - op));
763
60.6k
        LZ4_memcpy(op, anchor, lastRunSize);
764
60.6k
        op += lastRunSize;
765
60.6k
    }
766
767
    /* End */
768
60.6k
    DEBUGLOG(5, "compressed %i bytes into %i bytes", *srcSizePtr, (int)((char*)op - dst));
769
60.6k
    assert(ip >= (const BYTE*)src);
770
60.6k
    assert(ip <= iend);
771
60.6k
    *srcSizePtr = (int)(ip - (const BYTE*)src);
772
60.6k
    assert((char*)op >= dst);
773
60.6k
    assert(op <= oend);
774
60.6k
    assert((char*)op - dst < INT_MAX);
775
60.6k
    return (int)((char*)op - dst);
776
777
0
_lz4mid_dest_overflow:
778
0
    if (limit == fillOutput) {
779
        /* Assumption : @ip, @anchor, @optr and @matchLength must be set correctly */
780
0
        size_t const ll = (size_t)(ip - anchor);
781
0
        size_t const ll_addbytes = (ll + 240) / 255;
782
0
        size_t const ll_totalCost = 1 + ll_addbytes + ll;
783
0
        BYTE* const maxLitPos = oend - 3; /* 2 for offset, 1 for token */
784
0
        DEBUGLOG(6, "Last sequence is overflowing : %u literals, %u remaining space",
785
0
                (unsigned)ll, (unsigned)(oend-op));
786
0
        if (op + ll_totalCost <= maxLitPos) {
787
            /* ll validated; now adjust match length */
788
0
            size_t const bytesLeftForMl = (size_t)(maxLitPos - (op+ll_totalCost));
789
0
            size_t const maxMlSize = MINMATCH + (ML_MASK-1) + (bytesLeftForMl * 255);
790
0
            assert(maxMlSize < INT_MAX);
791
0
            if ((size_t)matchLength > maxMlSize) matchLength= (unsigned)maxMlSize;
792
0
            if ((oend + LASTLITERALS) - (op + ll_totalCost + 2) - 1 + matchLength >= MFLIMIT) {
793
0
            DEBUGLOG(6, "Let's encode a last sequence (ll=%u, ml=%u)", (unsigned)ll, matchLength);
794
0
                LZ4HC_encodeSequence(UPDATABLE(ip, op, anchor),
795
0
                        (int)matchLength, (int)matchDistance,
796
0
                        notLimited, oend);
797
0
        }   }
798
0
        DEBUGLOG(6, "Let's finish with a run of literals (%u bytes left)", (unsigned)(oend-op));
799
0
        goto _lz4mid_last_literals;
800
0
    }
801
    /* compression failed */
802
0
    return 0;
803
0
}
804
805
806
/**************************************
807
*  HC Compression - Search
808
**************************************/
809
810
/* Update chains up to ip (excluded) */
811
LZ4_FORCE_INLINE void LZ4HC_Insert (LZ4HC_CCtx_internal* hc4, const BYTE* ip)
812
254M
{
813
254M
    U16* const chainTable = hc4->chainTable;
814
254M
    U32* const hashTable  = hc4->hashTable;
815
254M
    const BYTE* const prefixPtr = hc4->prefixStart;
816
254M
    U32 const prefixIdx = hc4->dictLimit;
817
254M
    U32 const target = (U32)(ip - prefixPtr) + prefixIdx;
818
254M
    U32 idx = hc4->nextToUpdate;
819
254M
    assert(ip >= prefixPtr);
820
254M
    assert(target >= prefixIdx);
821
822
2.13G
    while (idx < target) {
823
1.87G
        U32 const h = LZ4HC_hashPtr(prefixPtr+idx-prefixIdx);
824
1.87G
        size_t delta = idx - hashTable[h];
825
1.87G
        if (delta>LZ4_DISTANCE_MAX) delta = LZ4_DISTANCE_MAX;
826
1.87G
        DELTANEXTU16(chainTable, idx) = (U16)delta;
827
1.87G
        hashTable[h] = idx;
828
1.87G
        idx++;
829
1.87G
    }
830
831
254M
    hc4->nextToUpdate = target;
832
254M
}
833
834
#if defined(_MSC_VER)
835
#  define LZ4HC_rotl32(x,r) _rotl(x,r)
836
#else
837
245k
#  define LZ4HC_rotl32(x,r) ((x << r) | (x >> (32 - r)))
838
#endif
839
840
841
static U32 LZ4HC_rotatePattern(size_t const rotate, U32 const pattern)
842
327k
{
843
327k
    size_t const bitsToRotate = (rotate & (sizeof(pattern) - 1)) << 3;
844
327k
    if (bitsToRotate == 0) return pattern;
845
245k
    return LZ4HC_rotl32(pattern, (int)bitsToRotate);
846
327k
}
847
848
/* LZ4HC_countPattern() :
849
 * pattern32 must be a sample of repetitive pattern of length 1, 2 or 4 (but not 3!) */
850
static unsigned
851
LZ4HC_countPattern(const BYTE* ip, const BYTE* const iEnd, U32 const pattern32)
852
263M
{
853
263M
    const BYTE* const iStart = ip;
854
263M
    reg_t const pattern = (sizeof(pattern)==8) ?
855
263M
        (reg_t)pattern32 + (((reg_t)pattern32) << (sizeof(pattern)*4)) : pattern32;
856
857
593M
    while (likely(ip < iEnd-(sizeof(pattern)-1))) {
858
593M
        reg_t const diff = LZ4_read_ARCH(ip) ^ pattern;
859
593M
        if (!diff) { ip+=sizeof(pattern); continue; }
860
262M
        ip += LZ4_NbCommonBytes(diff);
861
262M
        return (unsigned)(ip - iStart);
862
593M
    }
863
864
262k
    if (LZ4_isLittleEndian()) {
865
262k
        reg_t patternByte = pattern;
866
913k
        while ((ip<iEnd) && (*ip == (BYTE)patternByte)) {
867
650k
            ip++; patternByte >>= 8;
868
650k
        }
869
262k
    } else {  /* big endian */
870
0
        U32 bitOffset = (sizeof(pattern)*8) - 8;
871
0
        while (ip < iEnd) {
872
0
            BYTE const byte = (BYTE)(pattern >> bitOffset);
873
0
            if (*ip != byte) break;
874
0
            ip ++; bitOffset -= 8;
875
0
    }   }
876
877
262k
    return (unsigned)(ip - iStart);
878
263M
}
879
880
/* LZ4HC_reverseCountPattern() :
881
 * pattern must be a sample of repetitive pattern of length 1, 2 or 4 (but not 3!)
882
 * read using natural platform endianness */
883
static unsigned
884
LZ4HC_reverseCountPattern(const BYTE* ip, const BYTE* const iLow, U32 pattern)
885
260M
{
886
260M
    const BYTE* const iStart = ip;
887
888
7.57G
    while (likely(ip >= iLow+4)) {
889
7.57G
        if (LZ4_read32(ip-4) != pattern) break;
890
7.31G
        ip -= 4;
891
7.31G
    }
892
260M
    {   const BYTE* bytePtr = (const BYTE*)(&pattern) + 3; /* works for any endianness */
893
597M
        while (likely(ip>iLow)) {
894
597M
            if (ip[-1] != *bytePtr) break;
895
338M
            ip--; bytePtr--;
896
338M
    }   }
897
260M
    return (unsigned)(iStart - ip);
898
260M
}
899
900
/* LZ4HC_protectDictEnd() :
901
 * Checks if the match is in the last 3 bytes of the dictionary, so reading the
902
 * 4 byte MINMATCH would overflow.
903
 * @returns true if the match index is okay.
904
 */
905
static int LZ4HC_protectDictEnd(U32 const dictLimit, U32 const matchIndex)
906
521M
{
907
521M
    return ((U32)((dictLimit - 1) - matchIndex) >= 3);
908
521M
}
909
910
typedef enum { rep_untested, rep_not, rep_confirmed } repeat_state_e;
911
typedef enum { favorCompressionRatio=0, favorDecompressionSpeed } HCfavor_e;
912
913
914
LZ4_FORCE_INLINE LZ4HC_match_t
915
LZ4HC_InsertAndGetWiderMatch (
916
        LZ4HC_CCtx_internal* const hc4,
917
        const BYTE* const ip,
918
        const BYTE* const iLowLimit, const BYTE* const iHighLimit,
919
        int longest,
920
        const int maxNbAttempts,
921
        const int patternAnalysis, const int chainSwap,
922
        const dictCtx_directive dict,
923
        const HCfavor_e favorDecSpeed)
924
254M
{
925
254M
    U16* const chainTable = hc4->chainTable;
926
254M
    U32* const hashTable = hc4->hashTable;
927
254M
    const LZ4HC_CCtx_internal* const dictCtx = hc4->dictCtx;
928
254M
    const BYTE* const prefixPtr = hc4->prefixStart;
929
254M
    const U32 prefixIdx = hc4->dictLimit;
930
254M
    const U32 ipIndex = (U32)(ip - prefixPtr) + prefixIdx;
931
254M
    const int withinStartDistance = (hc4->lowLimit + (LZ4_DISTANCE_MAX + 1) > ipIndex);
932
254M
    const U32 lowestMatchIndex = (withinStartDistance) ? hc4->lowLimit : ipIndex - LZ4_DISTANCE_MAX;
933
254M
    const BYTE* const dictStart = hc4->dictStart;
934
254M
    const U32 dictIdx = hc4->lowLimit;
935
254M
    const BYTE* const dictEnd = dictStart + prefixIdx - dictIdx;
936
254M
    int const lookBackLength = (int)(ip-iLowLimit);
937
254M
    int nbAttempts = maxNbAttempts;
938
254M
    U32 matchChainPos = 0;
939
254M
    U32 const pattern = LZ4_read32(ip);
940
254M
    U32 matchIndex;
941
254M
    repeat_state_e repeat = rep_untested;
942
254M
    size_t srcPatternLength = 0;
943
254M
    int offset = 0, sBack = 0;
944
945
254M
    DEBUGLOG(7, "LZ4HC_InsertAndGetWiderMatch");
946
    /* First Match */
947
254M
    LZ4HC_Insert(hc4, ip);  /* insert all prior positions up to ip (excluded) */
948
254M
    matchIndex = hashTable[LZ4HC_hashPtr(ip)];
949
254M
    DEBUGLOG(7, "First candidate match for pos %u found at index %u / %u (lowestMatchIndex)",
950
254M
                ipIndex, matchIndex, lowestMatchIndex);
951
952
1.98G
    while ((matchIndex>=lowestMatchIndex) && (nbAttempts>0)) {
953
1.73G
        int matchLength=0;
954
1.73G
        nbAttempts--;
955
1.73G
        assert(matchIndex < ipIndex);
956
1.73G
        if (favorDecSpeed && (ipIndex - matchIndex < 8)) {
957
            /* do nothing:
958
             * favorDecSpeed intentionally skips matches with offset < 8 */
959
1.73G
        } else if (matchIndex >= prefixIdx) {   /* within current Prefix */
960
1.58G
            const BYTE* const matchPtr = prefixPtr + (matchIndex - prefixIdx);
961
1.58G
            assert(matchPtr < ip);
962
1.58G
            assert(longest >= 1);
963
1.58G
            if (LZ4_read16(iLowLimit + longest - 1) == LZ4_read16(matchPtr - lookBackLength + longest - 1)) {
964
283M
                if (LZ4_read32(matchPtr) == pattern) {
965
240M
                    int const back = lookBackLength ? LZ4HC_countBack(ip, matchPtr, iLowLimit, prefixPtr) : 0;
966
240M
                    matchLength = MINMATCH + (int)LZ4_count(ip+MINMATCH, matchPtr+MINMATCH, iHighLimit);
967
240M
                    matchLength -= back;
968
240M
                    if (matchLength > longest) {
969
45.7M
                        longest = matchLength;
970
45.7M
                        offset = (int)(ipIndex - matchIndex);
971
45.7M
                        sBack = back;
972
45.7M
                        DEBUGLOG(7, "Found match of len=%i within prefix, offset=%i, back=%i", longest, offset, -back);
973
45.7M
                        HEX_CMP(7, ip + back, ip + back - offset, (size_t)matchLength);
974
45.7M
            }   }   }
975
1.58G
        } else {   /* lowestMatchIndex <= matchIndex < dictLimit : within Ext Dict */
976
145M
            const BYTE* const matchPtr = dictStart + (matchIndex - dictIdx);
977
145M
            assert(matchIndex >= dictIdx);
978
145M
            if ( likely(matchIndex <= prefixIdx - 4)
979
145M
              && (LZ4_read32(matchPtr) == pattern) ) {
980
92.8M
                int back = 0;
981
92.8M
                const BYTE* vLimit = ip + (prefixIdx - matchIndex);
982
92.8M
                if (vLimit > iHighLimit) vLimit = iHighLimit;
983
92.8M
                matchLength = (int)LZ4_count(ip+MINMATCH, matchPtr+MINMATCH, vLimit) + MINMATCH;
984
92.8M
                if ((ip+matchLength == vLimit) && (vLimit < iHighLimit))
985
1.09M
                    matchLength += LZ4_count(ip+matchLength, prefixPtr, iHighLimit);
986
92.8M
                back = lookBackLength ? LZ4HC_countBack(ip, matchPtr, iLowLimit, dictStart) : 0;
987
92.8M
                matchLength -= back;
988
92.8M
                if (matchLength > longest) {
989
1.40M
                    longest = matchLength;
990
1.40M
                    offset = (int)(ipIndex - matchIndex);
991
1.40M
                    sBack = back;
992
1.40M
                    DEBUGLOG(7, "Found match of len=%i within dict, offset=%i, back=%i", longest, offset, -back);
993
1.40M
                    HEX_CMP(7, ip + back, matchPtr + back, (size_t)matchLength);
994
1.40M
        }   }   }
995
996
1.73G
        if (chainSwap && matchLength==longest) {   /* better match => select a better chain */
997
41.8M
            assert(lookBackLength==0);   /* search forward only */
998
41.8M
            if (matchIndex + (U32)longest <= ipIndex) {
999
39.8M
                int const kTrigger = 4;
1000
39.8M
                U32 distanceToNextMatch = 1;
1001
39.8M
                int const end = longest - MINMATCH + 1;
1002
39.8M
                int step = 1;
1003
39.8M
                int accel = 1 << kTrigger;
1004
39.8M
                int pos;
1005
1.82G
                for (pos = 0; pos < end; pos += step) {
1006
1.78G
                    U32 const candidateDist = DELTANEXTU16(chainTable, matchIndex + (U32)pos);
1007
1.78G
                    step = (accel++ >> kTrigger);
1008
1.78G
                    if (candidateDist > distanceToNextMatch) {
1009
39.8M
                        distanceToNextMatch = candidateDist;
1010
39.8M
                        matchChainPos = (U32)pos;
1011
39.8M
                        accel = 1 << kTrigger;
1012
39.8M
                }   }
1013
39.8M
                if (distanceToNextMatch > 1) {
1014
33.0M
                    if (distanceToNextMatch > matchIndex) break;   /* avoid overflow */
1015
33.0M
                    matchIndex -= distanceToNextMatch;
1016
33.0M
                    continue;
1017
33.0M
        }   }   }
1018
1019
1.70G
        {   U32 const distNextMatch = DELTANEXTU16(chainTable, matchIndex);
1020
1.70G
            if (patternAnalysis && distNextMatch==1 && matchChainPos==0) {
1021
285M
                U32 const matchCandidateIdx = matchIndex-1;
1022
                /* may be a repeated pattern */
1023
285M
                if (repeat == rep_untested) {
1024
3.13M
                    if ( ((pattern & 0xFFFF) == (pattern >> 16))
1025
3.13M
                      &  ((pattern & 0xFF)   == (pattern >> 24)) ) {
1026
3.05M
                        DEBUGLOG(7, "Repeat pattern detected, char %02X", pattern >> 24);
1027
3.05M
                        repeat = rep_confirmed;
1028
3.05M
                        srcPatternLength = LZ4HC_countPattern(ip+sizeof(pattern), iHighLimit, pattern) + sizeof(pattern);
1029
3.05M
                    } else {
1030
80.4k
                        repeat = rep_not;
1031
80.4k
                }   }
1032
285M
                if ( (repeat == rep_confirmed) && (matchCandidateIdx >= lowestMatchIndex)
1033
262M
                  && LZ4HC_protectDictEnd(prefixIdx, matchCandidateIdx) ) {
1034
262M
                    const int extDict = matchCandidateIdx < prefixIdx;
1035
262M
                    const BYTE* const matchPtr = extDict ? dictStart + (matchCandidateIdx - dictIdx) : prefixPtr + (matchCandidateIdx - prefixIdx);
1036
262M
                    if (LZ4_read32(matchPtr) == pattern) {  /* good candidate */
1037
259M
                        const BYTE* const iLimit = extDict ? dictEnd : iHighLimit;
1038
259M
                        size_t forwardPatternLength = LZ4HC_countPattern(matchPtr+sizeof(pattern), iLimit, pattern) + sizeof(pattern);
1039
259M
                        if (extDict && matchPtr + forwardPatternLength == iLimit) {
1040
67.9k
                            U32 const rotatedPattern = LZ4HC_rotatePattern(forwardPatternLength, pattern);
1041
67.9k
                            forwardPatternLength += LZ4HC_countPattern(prefixPtr, iHighLimit, rotatedPattern);
1042
67.9k
                        }
1043
259M
                        {   const BYTE* const lowestMatchPtr = extDict ? dictStart : prefixPtr;
1044
259M
                            size_t backLength = LZ4HC_reverseCountPattern(matchPtr, lowestMatchPtr, pattern);
1045
259M
                            size_t currentSegmentLength;
1046
259M
                            if (!extDict
1047
235M
                              && matchPtr - backLength == prefixPtr
1048
404k
                              && dictIdx < prefixIdx) {
1049
259k
                                U32 const rotatedPattern = LZ4HC_rotatePattern((U32)(-(int)backLength), pattern);
1050
259k
                                backLength += LZ4HC_reverseCountPattern(dictEnd, dictStart, rotatedPattern);
1051
259k
                            }
1052
                            /* Limit backLength not go further than lowestMatchIndex */
1053
259M
                            backLength = matchCandidateIdx - MAX(matchCandidateIdx - (U32)backLength, lowestMatchIndex);
1054
259M
                            assert(matchCandidateIdx - backLength >= lowestMatchIndex);
1055
259M
                            currentSegmentLength = backLength + forwardPatternLength;
1056
                            /* Adjust to end of pattern if the source pattern fits, otherwise the beginning of the pattern */
1057
259M
                            if ( (currentSegmentLength >= srcPatternLength)   /* current pattern segment large enough to contain full srcPatternLength */
1058
153M
                              && (forwardPatternLength <= srcPatternLength) ) { /* haven't reached this position yet */
1059
69.3M
                                U32 const newMatchIndex = matchCandidateIdx + (U32)forwardPatternLength - (U32)srcPatternLength;  /* best position, full pattern, might be followed by more match */
1060
69.3M
                                if (LZ4HC_protectDictEnd(prefixIdx, newMatchIndex))
1061
69.2M
                                    matchIndex = newMatchIndex;
1062
5.91k
                                else {
1063
                                    /* Can only happen if started in the prefix */
1064
5.91k
                                    assert(newMatchIndex >= prefixIdx - 3 && newMatchIndex < prefixIdx && !extDict);
1065
5.91k
                                    matchIndex = prefixIdx;
1066
5.91k
                                }
1067
190M
                            } else {
1068
190M
                                U32 const newMatchIndex = matchCandidateIdx - (U32)backLength;   /* farthest position in current segment, will find a match of length currentSegmentLength + maybe some back */
1069
190M
                                if (!LZ4HC_protectDictEnd(prefixIdx, newMatchIndex)) {
1070
16.0k
                                    assert(newMatchIndex >= prefixIdx - 3 && newMatchIndex < prefixIdx && !extDict);
1071
16.0k
                                    matchIndex = prefixIdx;
1072
190M
                                } else {
1073
190M
                                    matchIndex = newMatchIndex;
1074
190M
                                    if (lookBackLength==0) {  /* no back possible */
1075
175M
                                        size_t const maxML = MIN(currentSegmentLength, srcPatternLength);
1076
175M
                                        if ((size_t)longest < maxML) {
1077
577k
                                            assert(prefixPtr - prefixIdx + matchIndex != ip);
1078
577k
                                            if ((size_t)(ip - prefixPtr) + prefixIdx - matchIndex > LZ4_DISTANCE_MAX) break;
1079
577k
                                            assert(maxML < 2 GB);
1080
577k
                                            longest = (int)maxML;
1081
577k
                                            offset = (int)(ipIndex - matchIndex);
1082
577k
                                            assert(sBack == 0);
1083
577k
                                            DEBUGLOG(7, "Found repeat pattern match of len=%i, offset=%i", longest, offset);
1084
577k
                                        }
1085
175M
                                        {   U32 const distToNextPattern = DELTANEXTU16(chainTable, matchIndex);
1086
175M
                                            if (distToNextPattern > matchIndex) break;  /* avoid overflow */
1087
175M
                                            matchIndex -= distToNextPattern;
1088
175M
                        }   }   }   }   }
1089
259M
                        continue;
1090
259M
                }   }
1091
285M
        }   }   /* PA optimization */
1092
1093
        /* follow current chain */
1094
1.44G
        matchIndex -= DELTANEXTU16(chainTable, matchIndex + matchChainPos);
1095
1096
1.44G
    }  /* while ((matchIndex>=lowestMatchIndex) && (nbAttempts)) */
1097
1098
254M
    if ( dict == usingDictCtxHc
1099
3.19M
      && nbAttempts > 0
1100
3.13M
      && withinStartDistance) {
1101
1.68M
        size_t const dictEndOffset = (size_t)(dictCtx->end - dictCtx->prefixStart) + dictCtx->dictLimit;
1102
1.68M
        U32 dictMatchIndex = dictCtx->hashTable[LZ4HC_hashPtr(ip)];
1103
1.68M
        assert(dictEndOffset <= 1 GB);
1104
1.68M
        matchIndex = dictMatchIndex + lowestMatchIndex - (U32)dictEndOffset;
1105
1.68M
        if (dictMatchIndex>0) DEBUGLOG(7, "dictEndOffset = %zu, dictMatchIndex = %u => relative matchIndex = %i", dictEndOffset, dictMatchIndex, (int)dictMatchIndex - (int)dictEndOffset);
1106
70.0M
        while (ipIndex - matchIndex <= LZ4_DISTANCE_MAX && nbAttempts--) {
1107
68.4M
            const BYTE* const matchPtr = dictCtx->prefixStart - dictCtx->dictLimit + dictMatchIndex;
1108
1109
68.4M
            if (LZ4_read32(matchPtr) == pattern) {
1110
67.9M
                int mlt;
1111
67.9M
                int back = 0;
1112
67.9M
                const BYTE* vLimit = ip + (dictEndOffset - dictMatchIndex);
1113
67.9M
                if (vLimit > iHighLimit) vLimit = iHighLimit;
1114
67.9M
                mlt = (int)LZ4_count(ip+MINMATCH, matchPtr+MINMATCH, vLimit) + MINMATCH;
1115
67.9M
                back = lookBackLength ? LZ4HC_countBack(ip, matchPtr, iLowLimit, dictCtx->prefixStart) : 0;
1116
67.9M
                mlt -= back;
1117
67.9M
                if (mlt > longest) {
1118
196k
                    longest = mlt;
1119
196k
                    offset = (int)(ipIndex - matchIndex);
1120
196k
                    sBack = back;
1121
196k
                    DEBUGLOG(7, "found match of length %i within extDictCtx", longest);
1122
196k
            }   }
1123
1124
68.4M
            {   U32 const nextOffset = DELTANEXTU16(dictCtx->chainTable, dictMatchIndex);
1125
68.4M
                dictMatchIndex -= nextOffset;
1126
68.4M
                matchIndex -= nextOffset;
1127
68.4M
    }   }   }
1128
1129
254M
    {   LZ4HC_match_t md;
1130
254M
        assert(longest >= 0);
1131
254M
        md.len = longest;
1132
254M
        md.off = offset;
1133
254M
        md.back = sBack;
1134
254M
        return md;
1135
254M
    }
1136
254M
}
1137
1138
LZ4_FORCE_INLINE LZ4HC_match_t
1139
LZ4HC_InsertAndFindBestMatch(LZ4HC_CCtx_internal* const hc4,   /* Index table will be updated */
1140
                       const BYTE* const ip, const BYTE* const iLimit,
1141
                       const int maxNbAttempts,
1142
                       const int patternAnalysis,
1143
                       const dictCtx_directive dict)
1144
122M
{
1145
122M
    DEBUGLOG(7, "LZ4HC_InsertAndFindBestMatch");
1146
    /* note : LZ4HC_InsertAndGetWiderMatch() is able to modify the starting position of a match (*startpos),
1147
     * but this won't be the case here, as we define iLowLimit==ip,
1148
     * so LZ4HC_InsertAndGetWiderMatch() won't be allowed to search past ip */
1149
122M
    return LZ4HC_InsertAndGetWiderMatch(hc4, ip, ip, iLimit, MINMATCH-1, maxNbAttempts, patternAnalysis, 0 /*chainSwap*/, dict, favorCompressionRatio);
1150
122M
}
1151
1152
1153
/* preconditions:
1154
 * - *srcSizePtr within [1, LZ4_MAX_INPUT_SIZE]
1155
 * - src is valid
1156
 * - maxOutputSize >= 1
1157
 * - dst is valid
1158
 */
1159
LZ4_FORCE_INLINE int LZ4HC_compress_hashChain (
1160
    LZ4HC_CCtx_internal* const ctx,
1161
    const char* const src,
1162
    char* const dst,
1163
    int* srcSizePtr,
1164
    int const maxOutputSize,
1165
    int maxNbAttempts,
1166
    const limitedOutput_directive limit,
1167
    const dictCtx_directive dict
1168
    )
1169
166k
{
1170
166k
    const int inputSize = *srcSizePtr;
1171
166k
    const int patternAnalysis = (maxNbAttempts > 128);   /* levels 9+ */
1172
1173
166k
    const BYTE* ip = (const BYTE*)src;
1174
166k
    const BYTE* anchor = ip;
1175
166k
    const BYTE* const iend = ip + inputSize;
1176
166k
    const BYTE* const mflimit = iend - MFLIMIT;
1177
166k
    const BYTE* const matchlimit = (iend - LASTLITERALS);
1178
1179
166k
    BYTE* optr = (BYTE*) dst;
1180
166k
    BYTE* op = (BYTE*) dst;
1181
166k
    BYTE* oend = op + maxOutputSize;
1182
1183
166k
    const BYTE* start0;
1184
166k
    const BYTE* start2 = NULL;
1185
166k
    const BYTE* start3 = NULL;
1186
166k
    LZ4HC_match_t m0, m1, m2, m3;
1187
166k
    const LZ4HC_match_t nomatch = {0, 0, 0};
1188
1189
    /* init */
1190
166k
    DEBUGLOG(5, "LZ4HC_compress_hashChain (dict?=>%i)", dict);
1191
1192
    /* preconditions verifications */
1193
166k
    assert(*srcSizePtr >= 1);
1194
166k
    assert(src != NULL);
1195
166k
    assert(maxOutputSize >= 1);
1196
166k
    assert(dst != NULL);
1197
1198
166k
    *srcSizePtr = 0;
1199
166k
    if (limit == fillOutput) oend -= LASTLITERALS;                  /* Hack for support LZ4 format restriction */
1200
166k
    if (inputSize < LZ4_minLength) goto _last_literals;             /* Input too small, no compression (all literals) */
1201
1202
    /* Main Loop */
1203
122M
    while (ip <= mflimit) {
1204
122M
        m1 = LZ4HC_InsertAndFindBestMatch(ctx, ip, matchlimit, maxNbAttempts, patternAnalysis, dict);
1205
122M
        if (m1.len<MINMATCH) { ip++; continue; }
1206
1207
        /* saved, in case we would skip too much */
1208
15.6M
        start0 = ip; m0 = m1;
1209
1210
19.4M
_Search2:
1211
19.4M
        DEBUGLOG(7, "_Search2 (currently found match of size %i)", m1.len);
1212
19.4M
        if (ip+m1.len <= mflimit) {
1213
19.3M
            start2 = ip + m1.len - 2;
1214
19.3M
            m2 = LZ4HC_InsertAndGetWiderMatch(ctx,
1215
19.3M
                            start2, ip + 0, matchlimit, m1.len,
1216
19.3M
                            maxNbAttempts, patternAnalysis, 0, dict, favorCompressionRatio);
1217
19.3M
            start2 += m2.back;
1218
19.3M
        } else {
1219
66.1k
            m2 = nomatch;  /* do not search further */
1220
66.1k
        }
1221
1222
19.4M
        if (m2.len <= m1.len) { /* No better match => encode ML1 immediately */
1223
14.5M
            optr = op;
1224
14.5M
            if (LZ4HC_encodeSequence(UPDATABLE(ip, op, anchor),
1225
14.5M
                    m1.len, m1.off,
1226
14.5M
                    limit, oend) )
1227
0
                goto _dest_overflow;
1228
14.5M
            continue;
1229
14.5M
        }
1230
1231
4.92M
        if (start0 < ip) {   /* first match was skipped at least once */
1232
534k
            if (start2 < ip + m0.len) {  /* squeezing ML1 between ML0(original ML1) and ML2 */
1233
379k
                ip = start0; m1 = m0;  /* restore initial Match1 */
1234
379k
        }   }
1235
1236
        /* Here, start0==ip */
1237
4.92M
        if ((start2 - ip) < 3) {  /* First Match too small : removed */
1238
3.31M
            ip = start2;
1239
3.31M
            m1 = m2;
1240
3.31M
            goto _Search2;
1241
3.31M
        }
1242
1243
1.94M
_Search3:
1244
1.94M
        if ((start2 - ip) < OPTIMAL_ML) {
1245
1.70M
            int correction;
1246
1.70M
            int new_ml = m1.len;
1247
1.70M
            if (new_ml > OPTIMAL_ML) new_ml = OPTIMAL_ML;
1248
1.70M
            if (ip+new_ml > start2 + m2.len - MINMATCH)
1249
552
                new_ml = (int)(start2 - ip) + m2.len - MINMATCH;
1250
1.70M
            correction = new_ml - (int)(start2 - ip);
1251
1.70M
            if (correction > 0) {
1252
1.57M
                start2 += correction;
1253
1.57M
                m2.len -= correction;
1254
1.57M
            }
1255
1.70M
        }
1256
1257
1.94M
        if (start2 + m2.len <= mflimit) {
1258
1.93M
            start3 = start2 + m2.len - 3;
1259
1.93M
            m3 = LZ4HC_InsertAndGetWiderMatch(ctx,
1260
1.93M
                            start3, start2, matchlimit, m2.len,
1261
1.93M
                            maxNbAttempts, patternAnalysis, 0, dict, favorCompressionRatio);
1262
1.93M
            start3 += m3.back;
1263
1.93M
        } else {
1264
8.49k
            m3 = nomatch;  /* do not search further */
1265
8.49k
        }
1266
1267
1.94M
        if (m3.len <= m2.len) {  /* No better match => encode ML1 and ML2 */
1268
            /* ip & ref are known; Now for ml */
1269
1.12M
            if (start2 < ip+m1.len) m1.len = (int)(start2 - ip);
1270
            /* Now, encode 2 sequences */
1271
1.12M
            optr = op;
1272
1.12M
            if (LZ4HC_encodeSequence(UPDATABLE(ip, op, anchor),
1273
1.12M
                    m1.len, m1.off,
1274
1.12M
                    limit, oend) )
1275
0
                goto _dest_overflow;
1276
1.12M
            ip = start2;
1277
1.12M
            optr = op;
1278
1.12M
            if (LZ4HC_encodeSequence(UPDATABLE(ip, op, anchor),
1279
1.12M
                    m2.len, m2.off,
1280
1.12M
                    limit, oend) ) {
1281
0
                m1 = m2;
1282
0
                goto _dest_overflow;
1283
0
            }
1284
1.12M
            continue;
1285
1.12M
        }
1286
1287
824k
        if (start3 < ip+m1.len+3) {  /* Not enough space for match 2 : remove it */
1288
518k
            if (start3 >= (ip+m1.len)) {  /* can write Seq1 immediately ==> Seq2 is removed, so Seq3 becomes Seq1 */
1289
482k
                if (start2 < ip+m1.len) {
1290
24.8k
                    int correction = (int)(ip+m1.len - start2);
1291
24.8k
                    start2 += correction;
1292
24.8k
                    m2.len -= correction;
1293
24.8k
                    if (m2.len < MINMATCH) {
1294
374
                        start2 = start3;
1295
374
                        m2 = m3;
1296
374
                    }
1297
24.8k
                }
1298
1299
482k
                optr = op;
1300
482k
                if (LZ4HC_encodeSequence(UPDATABLE(ip, op, anchor),
1301
482k
                        m1.len, m1.off,
1302
482k
                        limit, oend) )
1303
0
                    goto _dest_overflow;
1304
482k
                ip  = start3;
1305
482k
                m1 = m3;
1306
1307
482k
                start0 = start2;
1308
482k
                m0 = m2;
1309
482k
                goto _Search2;
1310
482k
            }
1311
1312
35.8k
            start2 = start3;
1313
35.8k
            m2 = m3;
1314
35.8k
            goto _Search3;
1315
518k
        }
1316
1317
        /*
1318
        * OK, now we have 3 ascending matches;
1319
        * let's write the first one ML1.
1320
        * ip & ref are known; Now decide ml.
1321
        */
1322
306k
        if (start2 < ip+m1.len) {
1323
81.9k
            if ((start2 - ip) < OPTIMAL_ML) {
1324
0
                int correction;
1325
0
                if (m1.len > OPTIMAL_ML) m1.len = OPTIMAL_ML;
1326
0
                if (ip + m1.len > start2 + m2.len - MINMATCH)
1327
0
                    m1.len = (int)(start2 - ip) + m2.len - MINMATCH;
1328
0
                correction = m1.len - (int)(start2 - ip);
1329
0
                if (correction > 0) {
1330
0
                    start2 += correction;
1331
0
                    m2.len -= correction;
1332
0
                }
1333
81.9k
            } else {
1334
81.9k
                m1.len = (int)(start2 - ip);
1335
81.9k
            }
1336
81.9k
        }
1337
306k
        optr = op;
1338
306k
        if ( LZ4HC_encodeSequence(UPDATABLE(ip, op, anchor),
1339
306k
                m1.len, m1.off,
1340
306k
                limit, oend) )
1341
0
            goto _dest_overflow;
1342
1343
        /* ML2 becomes ML1 */
1344
306k
        ip = start2; m1 = m2;
1345
1346
        /* ML3 becomes ML2 */
1347
306k
        start2 = start3; m2 = m3;
1348
1349
        /* let's find a new ML3 */
1350
306k
        goto _Search3;
1351
306k
    }
1352
1353
166k
_last_literals:
1354
    /* Encode Last Literals */
1355
166k
    {   size_t lastRunSize = (size_t)(iend - anchor);  /* literals */
1356
166k
        size_t llAdd = (lastRunSize + 255 - RUN_MASK) / 255;
1357
166k
        size_t const totalSize = 1 + llAdd + lastRunSize;
1358
166k
        if (limit == fillOutput) oend += LASTLITERALS;  /* restore correct value */
1359
166k
        if (limit && (op + totalSize > oend)) {
1360
0
            if (limit == limitedOutput) return 0;
1361
            /* adapt lastRunSize to fill 'dest' */
1362
0
            lastRunSize  = (size_t)(oend - op) - 1 /*token*/;
1363
0
            llAdd = (lastRunSize + 256 - RUN_MASK) / 256;
1364
0
            lastRunSize -= llAdd;
1365
0
        }
1366
166k
        DEBUGLOG(6, "Final literal run : %i literals", (int)lastRunSize);
1367
166k
        ip = anchor + lastRunSize;  /* can be != iend if limit==fillOutput */
1368
1369
166k
        if (lastRunSize >= RUN_MASK) {
1370
10.0k
            size_t accumulator = lastRunSize - RUN_MASK;
1371
10.0k
            *op++ = (RUN_MASK << ML_BITS);
1372
45.2k
            for(; accumulator >= 255 ; accumulator -= 255) *op++ = 255;
1373
10.0k
            *op++ = (BYTE) accumulator;
1374
156k
        } else {
1375
156k
            *op++ = (BYTE)(lastRunSize << ML_BITS);
1376
156k
        }
1377
166k
        LZ4_memcpy(op, anchor, lastRunSize);
1378
166k
        op += lastRunSize;
1379
166k
    }
1380
1381
    /* End */
1382
0
    *srcSizePtr = (int) (((const char*)ip) - src);
1383
166k
    return (int) (((char*)op)-dst);
1384
1385
0
_dest_overflow:
1386
0
    if (limit == fillOutput) {
1387
        /* Assumption : @ip, @anchor, @optr and @m1 must be set correctly */
1388
0
        size_t const ll = (size_t)(ip - anchor);
1389
0
        size_t const ll_addbytes = (ll + 240) / 255;
1390
0
        size_t const ll_totalCost = 1 + ll_addbytes + ll;
1391
0
        BYTE* const maxLitPos = oend - 3; /* 2 for offset, 1 for token */
1392
0
        DEBUGLOG(6, "Last sequence overflowing");
1393
0
        op = optr;  /* restore correct out pointer */
1394
0
        if (op + ll_totalCost <= maxLitPos) {
1395
            /* ll validated; now adjust match length */
1396
0
            size_t const bytesLeftForMl = (size_t)(maxLitPos - (op+ll_totalCost));
1397
0
            size_t const maxMlSize = MINMATCH + (ML_MASK-1) + (bytesLeftForMl * 255);
1398
0
            assert(maxMlSize < INT_MAX); assert(m1.len >= 0);
1399
0
            if ((size_t)m1.len > maxMlSize) m1.len = (int)maxMlSize;
1400
0
            if ((oend + LASTLITERALS) - (op + ll_totalCost + 2) - 1 + m1.len >= MFLIMIT) {
1401
0
                LZ4HC_encodeSequence(UPDATABLE(ip, op, anchor), m1.len, m1.off, notLimited, oend);
1402
0
        }   }
1403
0
        goto _last_literals;
1404
0
    }
1405
    /* compression failed */
1406
0
    return 0;
1407
0
}
1408
1409
1410
static int LZ4HC_compress_optimal( LZ4HC_CCtx_internal* ctx,
1411
    const char* const source, char* dst,
1412
    int* srcSizePtr, int dstCapacity,
1413
    int const nbSearches, size_t sufficient_len,
1414
    const limitedOutput_directive limit, int const fullUpdate,
1415
    const dictCtx_directive dict,
1416
    const HCfavor_e favorDecSpeed);
1417
1418
static int
1419
LZ4HC_compress_generic_internal (
1420
            LZ4HC_CCtx_internal* const ctx,
1421
            const char* const src,
1422
            char* const dst,
1423
            int* const srcSizePtr,
1424
            int const dstCapacity,
1425
            int cLevel,
1426
            const limitedOutput_directive limit,
1427
            const dictCtx_directive dict
1428
            )
1429
405k
{
1430
405k
    DEBUGLOG(5, "LZ4HC_compress_generic_internal(src=%p, srcSize=%d, dstCapacity=%d)",
1431
405k
                src, *srcSizePtr, dstCapacity);
1432
1433
    /* input sanitization */
1434
405k
    if ((U32)*srcSizePtr > (U32)LZ4_MAX_INPUT_SIZE) return 0;  /* Unsupported input size (too large or negative) */
1435
405k
    if (dstCapacity < 1) return 0;   /* Invalid: impossible to store anything */
1436
405k
    assert(dst); /* since dstCapacity >= 1, dst must be valid */
1437
405k
    if (*srcSizePtr == 0) { *dst = 0; return 1; }
1438
405k
    assert(src != NULL); /* since *srcSizePtr >= 1, src must be valid */
1439
1440
347k
    ctx->end += *srcSizePtr;
1441
347k
    {   cParams_t const cParam = LZ4HC_getCLevelParams(cLevel);
1442
347k
        HCfavor_e const favor = ctx->favorDecSpeed ? favorDecompressionSpeed : favorCompressionRatio;
1443
347k
        int result;
1444
1445
347k
        if (cParam.strat == lz4mid) {
1446
60.6k
            result = LZ4MID_compress(ctx,
1447
60.6k
                                src, dst, srcSizePtr, dstCapacity,
1448
60.6k
                                limit, dict);
1449
286k
        } else if (cParam.strat == lz4hc) {
1450
166k
            result = LZ4HC_compress_hashChain(ctx,
1451
166k
                                src, dst, srcSizePtr, dstCapacity,
1452
166k
                                cParam.nbSearches, limit, dict);
1453
166k
        } else {
1454
119k
            assert(cParam.strat == lz4opt);
1455
119k
            result = LZ4HC_compress_optimal(ctx,
1456
119k
                                src, dst, srcSizePtr, dstCapacity,
1457
119k
                                cParam.nbSearches, cParam.targetLength, limit,
1458
119k
                                cLevel >= LZ4HC_CLEVEL_MAX,   /* ultra mode */
1459
119k
                                dict, favor);
1460
119k
        }
1461
347k
        if (result <= 0) ctx->dirty = 1;
1462
347k
        return result;
1463
347k
    }
1464
347k
}
1465
1466
static void LZ4HC_setExternalDict(LZ4HC_CCtx_internal* ctxPtr, const BYTE* newBlock);
1467
1468
static int
1469
LZ4HC_compress_generic_noDictCtx (
1470
        LZ4HC_CCtx_internal* const ctx,
1471
        const char* const src,
1472
        char* const dst,
1473
        int* const srcSizePtr,
1474
        int const dstCapacity,
1475
        int cLevel,
1476
        limitedOutput_directive limit
1477
        )
1478
367k
{
1479
367k
    assert(ctx->dictCtx == NULL);
1480
367k
    return LZ4HC_compress_generic_internal(ctx, src, dst, srcSizePtr, dstCapacity, cLevel, limit, noDictCtx);
1481
367k
}
1482
1483
static int isStateCompatible(const LZ4HC_CCtx_internal* ctx1, const LZ4HC_CCtx_internal* ctx2)
1484
2.13k
{
1485
2.13k
    int const isMid1 = LZ4HC_getCLevelParams(ctx1->compressionLevel).strat == lz4mid;
1486
2.13k
    int const isMid2 = LZ4HC_getCLevelParams(ctx2->compressionLevel).strat == lz4mid;
1487
2.13k
    return !(isMid1 ^ isMid2);
1488
2.13k
}
1489
1490
static int
1491
LZ4HC_compress_generic_dictCtx (
1492
        LZ4HC_CCtx_internal* const ctx,
1493
        const char* const src,
1494
        char* const dst,
1495
        int* const srcSizePtr,
1496
        int const dstCapacity,
1497
        int cLevel,
1498
        limitedOutput_directive limit
1499
        )
1500
39.6k
{
1501
39.6k
    const size_t position = (size_t)(ctx->end - ctx->prefixStart) + (ctx->dictLimit - ctx->lowLimit);
1502
39.6k
    assert(ctx->dictCtx != NULL);
1503
39.6k
    if (position >= 64 KB) {
1504
115
        ctx->dictCtx = NULL;
1505
115
        return LZ4HC_compress_generic_noDictCtx(ctx, src, dst, srcSizePtr, dstCapacity, cLevel, limit);
1506
39.5k
    } else if (position == 0 && *srcSizePtr > 4 KB && isStateCompatible(ctx, ctx->dictCtx)) {
1507
2.13k
        LZ4_memcpy(ctx, ctx->dictCtx, sizeof(LZ4HC_CCtx_internal));
1508
2.13k
        LZ4HC_setExternalDict(ctx, (const BYTE *)src);
1509
2.13k
        ctx->compressionLevel = (short)cLevel;
1510
2.13k
        return LZ4HC_compress_generic_noDictCtx(ctx, src, dst, srcSizePtr, dstCapacity, cLevel, limit);
1511
37.4k
    } else {
1512
37.4k
        return LZ4HC_compress_generic_internal(ctx, src, dst, srcSizePtr, dstCapacity, cLevel, limit, usingDictCtxHc);
1513
37.4k
    }
1514
39.6k
}
1515
1516
static int
1517
LZ4HC_compress_generic (
1518
        LZ4HC_CCtx_internal* const ctx,
1519
        const char* const src,
1520
        char* const dst,
1521
        int* const srcSizePtr,
1522
        int const dstCapacity,
1523
        int cLevel,
1524
        limitedOutput_directive limit
1525
        )
1526
405k
{
1527
405k
    if (ctx->dictCtx == NULL) {
1528
365k
        return LZ4HC_compress_generic_noDictCtx(ctx, src, dst, srcSizePtr, dstCapacity, cLevel, limit);
1529
365k
    } else {
1530
39.6k
        return LZ4HC_compress_generic_dictCtx(ctx, src, dst, srcSizePtr, dstCapacity, cLevel, limit);
1531
39.6k
    }
1532
405k
}
1533
1534
1535
0
int LZ4_sizeofStateHC(void) { return (int)sizeof(LZ4_streamHC_t); }
1536
1537
static size_t LZ4_streamHC_t_alignment(void)
1538
38.4k
{
1539
38.4k
#if LZ4_ALIGN_TEST
1540
38.4k
    typedef struct { char c; LZ4_streamHC_t t; } t_a;
1541
38.4k
    return sizeof(t_a) - sizeof(LZ4_streamHC_t);
1542
#else
1543
    return 1;  /* effectively disabled */
1544
#endif
1545
38.4k
}
1546
1547
/* state is presumed correctly initialized,
1548
 * in which case its size and alignment have already been validate */
1549
int LZ4_compress_HC_extStateHC_fastReset (void* state, const char* src, char* dst, int srcSize, int dstCapacity, int compressionLevel)
1550
0
{
1551
0
    LZ4HC_CCtx_internal* const ctx = &((LZ4_streamHC_t*)state)->internal_donotuse;
1552
0
    if (!LZ4_isAligned(state, LZ4_streamHC_t_alignment())) return 0;
1553
0
    LZ4_resetStreamHC_fast((LZ4_streamHC_t*)state, compressionLevel);
1554
0
    LZ4HC_init_internal (ctx, (const BYTE*)src);
1555
0
    if (dstCapacity < LZ4_compressBound(srcSize))
1556
0
        return LZ4HC_compress_generic (ctx, src, dst, &srcSize, dstCapacity, compressionLevel, limitedOutput);
1557
0
    else
1558
0
        return LZ4HC_compress_generic (ctx, src, dst, &srcSize, dstCapacity, compressionLevel, notLimited);
1559
0
}
1560
1561
int LZ4_compress_HC_extStateHC (void* state, const char* src, char* dst, int srcSize, int dstCapacity, int compressionLevel)
1562
0
{
1563
0
    LZ4_streamHC_t* const ctx = LZ4_initStreamHC(state, sizeof(*ctx));
1564
0
    if (ctx==NULL) return 0;   /* init failure */
1565
0
    return LZ4_compress_HC_extStateHC_fastReset(state, src, dst, srcSize, dstCapacity, compressionLevel);
1566
0
}
1567
1568
int LZ4_compress_HC(const char* src, char* dst, int srcSize, int dstCapacity, int compressionLevel)
1569
0
{
1570
0
    int cSize;
1571
0
#if defined(LZ4HC_HEAPMODE) && LZ4HC_HEAPMODE==1
1572
0
    LZ4_streamHC_t* const statePtr = (LZ4_streamHC_t*)ALLOC(sizeof(LZ4_streamHC_t));
1573
0
    if (statePtr==NULL) return 0;
1574
#else
1575
    LZ4_streamHC_t state;
1576
    LZ4_streamHC_t* const statePtr = &state;
1577
#endif
1578
0
    DEBUGLOG(5, "LZ4_compress_HC")
1579
0
    cSize = LZ4_compress_HC_extStateHC(statePtr, src, dst, srcSize, dstCapacity, compressionLevel);
1580
0
#if defined(LZ4HC_HEAPMODE) && LZ4HC_HEAPMODE==1
1581
0
    FREEMEM(statePtr);
1582
0
#endif
1583
0
    return cSize;
1584
0
}
1585
1586
/* state is presumed sized correctly (>= sizeof(LZ4_streamHC_t)) */
1587
int LZ4_compress_HC_destSize(void* state, const char* source, char* dest, int* sourceSizePtr, int targetDestSize, int cLevel)
1588
0
{
1589
0
    LZ4_streamHC_t* const ctx = LZ4_initStreamHC(state, sizeof(*ctx));
1590
0
    if (ctx==NULL) return 0;   /* init failure */
1591
0
    LZ4HC_init_internal(&ctx->internal_donotuse, (const BYTE*) source);
1592
0
    LZ4_setCompressionLevel(ctx, cLevel);
1593
0
    return LZ4HC_compress_generic(&ctx->internal_donotuse, source, dest, sourceSizePtr, targetDestSize, cLevel, fillOutput);
1594
0
}
1595
1596
1597
1598
/**************************************
1599
*  Streaming Functions
1600
**************************************/
1601
/* allocation */
1602
#if !defined(LZ4_STATIC_LINKING_ONLY_DISABLE_MEMORY_ALLOCATION)
1603
LZ4_streamHC_t* LZ4_createStreamHC(void)
1604
38.4k
{
1605
38.4k
    LZ4_streamHC_t* const state =
1606
38.4k
        (LZ4_streamHC_t*)ALLOC_AND_ZERO(sizeof(LZ4_streamHC_t));
1607
38.4k
    if (state == NULL) return NULL;
1608
38.4k
    LZ4_setCompressionLevel(state, LZ4HC_CLEVEL_DEFAULT);
1609
38.4k
    return state;
1610
38.4k
}
1611
1612
int LZ4_freeStreamHC (LZ4_streamHC_t* LZ4_streamHCPtr)
1613
38.4k
{
1614
38.4k
    DEBUGLOG(4, "LZ4_freeStreamHC(%p)", LZ4_streamHCPtr);
1615
38.4k
    if (!LZ4_streamHCPtr) return 0;  /* support free on NULL */
1616
38.4k
    FREEMEM(LZ4_streamHCPtr);
1617
38.4k
    return 0;
1618
38.4k
}
1619
#endif
1620
1621
1622
LZ4_streamHC_t* LZ4_initStreamHC (void* buffer, size_t size)
1623
38.4k
{
1624
38.4k
    LZ4_streamHC_t* const LZ4_streamHCPtr = (LZ4_streamHC_t*)buffer;
1625
38.4k
    DEBUGLOG(4, "LZ4_initStreamHC(%p, %u)", buffer, (unsigned)size);
1626
    /* check conditions */
1627
38.4k
    if (buffer == NULL) return NULL;
1628
38.4k
    if (size < sizeof(LZ4_streamHC_t)) return NULL;
1629
38.4k
    if (!LZ4_isAligned(buffer, LZ4_streamHC_t_alignment())) return NULL;
1630
    /* init */
1631
38.4k
    { LZ4HC_CCtx_internal* const hcstate = &(LZ4_streamHCPtr->internal_donotuse);
1632
38.4k
      MEM_INIT(hcstate, 0, sizeof(*hcstate)); }
1633
38.4k
    LZ4_setCompressionLevel(LZ4_streamHCPtr, LZ4HC_CLEVEL_DEFAULT);
1634
38.4k
    return LZ4_streamHCPtr;
1635
38.4k
}
1636
1637
/* just a stub */
1638
void LZ4_resetStreamHC (LZ4_streamHC_t* LZ4_streamHCPtr, int compressionLevel)
1639
0
{
1640
0
    LZ4_initStreamHC(LZ4_streamHCPtr, sizeof(*LZ4_streamHCPtr));
1641
0
    LZ4_setCompressionLevel(LZ4_streamHCPtr, compressionLevel);
1642
0
}
1643
1644
void LZ4_resetStreamHC_fast (LZ4_streamHC_t* LZ4_streamHCPtr, int compressionLevel)
1645
153k
{
1646
153k
    LZ4HC_CCtx_internal* const s = &LZ4_streamHCPtr->internal_donotuse;
1647
153k
    DEBUGLOG(5, "LZ4_resetStreamHC_fast(%p, %d)", LZ4_streamHCPtr, compressionLevel);
1648
153k
    if (s->dirty) {
1649
0
        LZ4_initStreamHC(LZ4_streamHCPtr, sizeof(*LZ4_streamHCPtr));
1650
153k
    } else {
1651
153k
        assert(s->end >= s->prefixStart);
1652
153k
        s->dictLimit += (U32)(s->end - s->prefixStart);
1653
153k
        s->prefixStart = NULL;
1654
153k
        s->end = NULL;
1655
153k
        s->dictCtx = NULL;
1656
153k
    }
1657
153k
    LZ4_setCompressionLevel(LZ4_streamHCPtr, compressionLevel);
1658
153k
}
1659
1660
void LZ4_setCompressionLevel(LZ4_streamHC_t* LZ4_streamHCPtr, int compressionLevel)
1661
288k
{
1662
288k
    DEBUGLOG(5, "LZ4_setCompressionLevel(%p, %d)", LZ4_streamHCPtr, compressionLevel);
1663
288k
    if (compressionLevel < 1) compressionLevel = LZ4HC_CLEVEL_DEFAULT;
1664
288k
    if (compressionLevel > LZ4HC_CLEVEL_MAX) compressionLevel = LZ4HC_CLEVEL_MAX;
1665
288k
    LZ4_streamHCPtr->internal_donotuse.compressionLevel = (short)compressionLevel;
1666
288k
}
1667
1668
void LZ4_favorDecompressionSpeed(LZ4_streamHC_t* LZ4_streamHCPtr, int favor)
1669
0
{
1670
0
    LZ4_streamHCPtr->internal_donotuse.favorDecSpeed = (favor!=0);
1671
0
}
1672
1673
/* LZ4_loadDictHC() :
1674
 * LZ4_streamHCPtr is presumed properly initialized */
1675
int LZ4_loadDictHC (LZ4_streamHC_t* LZ4_streamHCPtr,
1676
              const char* dictionary, int dictSize)
1677
38.4k
{
1678
38.4k
    LZ4HC_CCtx_internal* const ctxPtr = &LZ4_streamHCPtr->internal_donotuse;
1679
38.4k
    cParams_t cp;
1680
38.4k
    DEBUGLOG(4, "LZ4_loadDictHC(ctx:%p, dict:%p, dictSize:%d, clevel=%d)", LZ4_streamHCPtr, dictionary, dictSize, ctxPtr->compressionLevel);
1681
38.4k
    assert(dictSize >= 0);
1682
38.4k
    assert(LZ4_streamHCPtr != NULL);
1683
38.4k
    if (dictSize > 64 KB) {
1684
2.10k
        dictionary += (size_t)dictSize - 64 KB;
1685
2.10k
        dictSize = 64 KB;
1686
2.10k
    }
1687
    /* need a full initialization, there are bad side-effects when using resetFast() */
1688
38.4k
    {   int const cLevel = ctxPtr->compressionLevel;
1689
38.4k
        LZ4_initStreamHC(LZ4_streamHCPtr, sizeof(*LZ4_streamHCPtr));
1690
38.4k
        LZ4_setCompressionLevel(LZ4_streamHCPtr, cLevel);
1691
38.4k
        cp = LZ4HC_getCLevelParams(cLevel);
1692
38.4k
    }
1693
38.4k
    LZ4HC_init_internal (ctxPtr, (const BYTE*)dictionary);
1694
38.4k
    ctxPtr->end = (const BYTE*)dictionary + dictSize;
1695
38.4k
    if (cp.strat == lz4mid) {
1696
6.09k
        LZ4MID_fillHTable (ctxPtr, dictionary, (size_t)dictSize);
1697
32.3k
    } else {
1698
32.3k
        if (dictSize >= LZ4HC_HASHSIZE) LZ4HC_Insert (ctxPtr, ctxPtr->end-3);
1699
32.3k
    }
1700
38.4k
    return dictSize;
1701
38.4k
}
1702
1703
19.2k
void LZ4_attach_HC_dictionary(LZ4_streamHC_t *working_stream, const LZ4_streamHC_t *dictionary_stream) {
1704
19.2k
    working_stream->internal_donotuse.dictCtx = dictionary_stream != NULL ? &(dictionary_stream->internal_donotuse) : NULL;
1705
19.2k
}
1706
1707
/* compression */
1708
1709
static void LZ4HC_setExternalDict(LZ4HC_CCtx_internal* ctxPtr, const BYTE* newBlock)
1710
187k
{
1711
187k
    DEBUGLOG(4, "LZ4HC_setExternalDict(%p, %p)", ctxPtr, newBlock);
1712
187k
    if ( (ctxPtr->end >= ctxPtr->prefixStart + 4)
1713
126k
      && (LZ4HC_getCLevelParams(ctxPtr->compressionLevel).strat != lz4mid) ) {
1714
107k
        LZ4HC_Insert (ctxPtr, ctxPtr->end-3);  /* Referencing remaining dictionary content */
1715
107k
    }
1716
1717
    /* Only one memory segment for extDict, so any previous extDict is lost at this stage */
1718
187k
    ctxPtr->lowLimit  = ctxPtr->dictLimit;
1719
187k
    ctxPtr->dictStart  = ctxPtr->prefixStart;
1720
187k
    ctxPtr->dictLimit += (U32)(ctxPtr->end - ctxPtr->prefixStart);
1721
187k
    ctxPtr->prefixStart = newBlock;
1722
187k
    ctxPtr->end  = newBlock;
1723
187k
    ctxPtr->nextToUpdate = ctxPtr->dictLimit;   /* match referencing will resume from there */
1724
1725
    /* cannot reference an extDict and a dictCtx at the same time */
1726
187k
    ctxPtr->dictCtx = NULL;
1727
187k
}
1728
1729
static int
1730
LZ4_compressHC_continue_generic (LZ4_streamHC_t* LZ4_streamHCPtr,
1731
                                 const char* src, char* dst,
1732
                                 int* srcSizePtr, int dstCapacity,
1733
                                 limitedOutput_directive limit)
1734
405k
{
1735
405k
    LZ4HC_CCtx_internal* const ctxPtr = &LZ4_streamHCPtr->internal_donotuse;
1736
405k
    DEBUGLOG(5, "LZ4_compressHC_continue_generic(ctx=%p, src=%p, srcSize=%d, limit=%d)",
1737
405k
                LZ4_streamHCPtr, src, *srcSizePtr, limit);
1738
405k
    assert(ctxPtr != NULL);
1739
    /* auto-init if forgotten */
1740
405k
    if (ctxPtr->prefixStart == NULL)
1741
56.5k
        LZ4HC_init_internal (ctxPtr, (const BYTE*) src);
1742
1743
    /* Check overflow */
1744
405k
    if ((size_t)(ctxPtr->end - ctxPtr->prefixStart) + ctxPtr->dictLimit > 2 GB) {
1745
0
        size_t dictSize = (size_t)(ctxPtr->end - ctxPtr->prefixStart);
1746
0
        if (dictSize > 64 KB) dictSize = 64 KB;
1747
0
        LZ4_loadDictHC(LZ4_streamHCPtr, (const char*)(ctxPtr->end) - dictSize, (int)dictSize);
1748
0
    }
1749
1750
    /* Check if blocks follow each other */
1751
405k
    if ((const BYTE*)src != ctxPtr->end)
1752
185k
        LZ4HC_setExternalDict(ctxPtr, (const BYTE*)src);
1753
1754
    /* Check overlapping input/dictionary space */
1755
405k
    {   const BYTE* sourceEnd = (const BYTE*) src + *srcSizePtr;
1756
405k
        const BYTE* const dictBegin = ctxPtr->dictStart;
1757
405k
        const BYTE* const dictEnd   = ctxPtr->dictStart + (ctxPtr->dictLimit - ctxPtr->lowLimit);
1758
405k
        if ((sourceEnd > dictBegin) && ((const BYTE*)src < dictEnd)) {
1759
0
            if (sourceEnd > dictEnd) sourceEnd = dictEnd;
1760
0
            ctxPtr->lowLimit += (U32)(sourceEnd - ctxPtr->dictStart);
1761
0
            ctxPtr->dictStart += (U32)(sourceEnd - ctxPtr->dictStart);
1762
            /* invalidate dictionary is it's too small */
1763
0
            if (ctxPtr->dictLimit - ctxPtr->lowLimit < LZ4HC_HASHSIZE) {
1764
0
                ctxPtr->lowLimit = ctxPtr->dictLimit;
1765
0
                ctxPtr->dictStart = ctxPtr->prefixStart;
1766
0
    }   }   }
1767
1768
405k
    return LZ4HC_compress_generic (ctxPtr, src, dst, srcSizePtr, dstCapacity, ctxPtr->compressionLevel, limit);
1769
405k
}
1770
1771
int LZ4_compress_HC_continue (LZ4_streamHC_t* LZ4_streamHCPtr, const char* src, char* dst, int srcSize, int dstCapacity)
1772
405k
{
1773
405k
    DEBUGLOG(5, "LZ4_compress_HC_continue");
1774
405k
    if (dstCapacity < LZ4_compressBound(srcSize))
1775
0
        return LZ4_compressHC_continue_generic (LZ4_streamHCPtr, src, dst, &srcSize, dstCapacity, limitedOutput);
1776
405k
    else
1777
405k
        return LZ4_compressHC_continue_generic (LZ4_streamHCPtr, src, dst, &srcSize, dstCapacity, notLimited);
1778
405k
}
1779
1780
int LZ4_compress_HC_continue_destSize (LZ4_streamHC_t* LZ4_streamHCPtr, const char* src, char* dst, int* srcSizePtr, int targetDestSize)
1781
0
{
1782
0
    return LZ4_compressHC_continue_generic(LZ4_streamHCPtr, src, dst, srcSizePtr, targetDestSize, fillOutput);
1783
0
}
1784
1785
1786
/* LZ4_saveDictHC :
1787
 * save history content
1788
 * into a user-provided buffer
1789
 * which is then used to continue compression
1790
 */
1791
int LZ4_saveDictHC (LZ4_streamHC_t* LZ4_streamHCPtr, char* safeBuffer, int dictSize)
1792
0
{
1793
0
    LZ4HC_CCtx_internal* const streamPtr = &LZ4_streamHCPtr->internal_donotuse;
1794
0
    int const prefixSize = (int)(streamPtr->end - streamPtr->prefixStart);
1795
0
    DEBUGLOG(5, "LZ4_saveDictHC(%p, %p, %d)", LZ4_streamHCPtr, safeBuffer, dictSize);
1796
0
    assert(prefixSize >= 0);
1797
0
    if (dictSize > 64 KB) dictSize = 64 KB;
1798
0
    if (dictSize < 4) dictSize = 0;
1799
0
    if (dictSize > prefixSize) dictSize = prefixSize;
1800
0
    if (safeBuffer == NULL) assert(dictSize == 0); /* a NULL buffer with !0 size is invalid */
1801
0
    if (dictSize > 0)
1802
0
        LZ4_memmove(safeBuffer, streamPtr->end - dictSize, (size_t)dictSize);
1803
0
    {   U32 const endIndex = (U32)(streamPtr->end - streamPtr->prefixStart) + streamPtr->dictLimit;
1804
0
        streamPtr->end = (safeBuffer == NULL) ? NULL : (const BYTE*)safeBuffer + dictSize;
1805
0
        streamPtr->prefixStart = (const BYTE*)safeBuffer;
1806
0
        streamPtr->dictLimit = endIndex - (U32)dictSize;
1807
0
        streamPtr->lowLimit = endIndex - (U32)dictSize;
1808
0
        streamPtr->dictStart = streamPtr->prefixStart;
1809
0
        if (streamPtr->nextToUpdate < streamPtr->dictLimit)
1810
0
            streamPtr->nextToUpdate = streamPtr->dictLimit;
1811
0
    }
1812
0
    return dictSize;
1813
0
}
1814
1815
1816
/* ================================================
1817
 *  LZ4 Optimal parser (levels [LZ4HC_CLEVEL_OPT_MIN - LZ4HC_CLEVEL_MAX])
1818
 * ===============================================*/
1819
typedef struct {
1820
    int price;
1821
    int off;
1822
    int mlen;
1823
    int litlen;
1824
} LZ4HC_optimal_t;
1825
1826
/* price in bytes */
1827
LZ4_FORCE_INLINE int LZ4HC_literalsPrice(int const litlen)
1828
554M
{
1829
554M
    int price = litlen;
1830
554M
    assert(litlen >= 0);
1831
554M
    if (litlen >= (int)RUN_MASK)
1832
10.7M
        price += 1 + ((litlen-(int)RUN_MASK) / 255);
1833
554M
    return price;
1834
554M
}
1835
1836
/* requires mlen >= MINMATCH */
1837
LZ4_FORCE_INLINE int LZ4HC_sequencePrice(int litlen, int mlen)
1838
470M
{
1839
470M
    int price = 1 + 2 ; /* token + 16-bit offset */
1840
470M
    assert(litlen >= 0);
1841
470M
    assert(mlen >= MINMATCH);
1842
1843
470M
    price += LZ4HC_literalsPrice(litlen);
1844
1845
470M
    if (mlen >= (int)(ML_MASK+MINMATCH))
1846
405M
        price += 1 + ((mlen-(int)(ML_MASK+MINMATCH)) / 255);
1847
1848
470M
    return price;
1849
470M
}
1850
1851
LZ4_FORCE_INLINE LZ4HC_match_t
1852
LZ4HC_FindLongerMatch(LZ4HC_CCtx_internal* const ctx,
1853
                      const BYTE* ip, const BYTE* const iHighLimit,
1854
                      int minLen, int nbSearches,
1855
                      const dictCtx_directive dict,
1856
                      const HCfavor_e favorDecSpeed)
1857
110M
{
1858
110M
    LZ4HC_match_t const match0 = { 0 , 0, 0 };
1859
    /* note : LZ4HC_InsertAndGetWiderMatch() is able to modify the starting position of a match (*startpos),
1860
     * but this won't be the case here, as we define iLowLimit==ip,
1861
    ** so LZ4HC_InsertAndGetWiderMatch() won't be allowed to search past ip */
1862
110M
    LZ4HC_match_t md = LZ4HC_InsertAndGetWiderMatch(ctx, ip, ip, iHighLimit, minLen, nbSearches, 1 /*patternAnalysis*/, 1 /*chainSwap*/, dict, favorDecSpeed);
1863
110M
    assert(md.back == 0);
1864
110M
    if (md.len <= minLen) return match0;
1865
10.4M
    if (favorDecSpeed) {
1866
0
        if ((md.len>18) & (md.len<=36)) md.len=18;   /* favor dec.speed (shortcut) */
1867
0
    }
1868
10.4M
    return md;
1869
110M
}
1870
1871
1872
1873
/* preconditions:
1874
 * - *srcSizePtr within [1, LZ4_MAX_INPUT_SIZE]
1875
 * - src is valid
1876
 * - maxOutputSize >= 1
1877
 * - dst is valid
1878
 */
1879
static int LZ4HC_compress_optimal ( LZ4HC_CCtx_internal* ctx,
1880
                                    const char* const source,
1881
                                    char* dst,
1882
                                    int* srcSizePtr,
1883
                                    int dstCapacity,
1884
                                    int const nbSearches,
1885
                                    size_t sufficient_len,
1886
                                    const limitedOutput_directive limit,
1887
                                    int const fullUpdate,
1888
                                    const dictCtx_directive dict,
1889
                                    const HCfavor_e favorDecSpeed)
1890
119k
{
1891
119k
    int retval = 0;
1892
864M
#define TRAILING_LITERALS 3
1893
119k
#if defined(LZ4HC_HEAPMODE) && LZ4HC_HEAPMODE==1
1894
119k
    LZ4HC_optimal_t* const opt = (LZ4HC_optimal_t*)ALLOC(sizeof(LZ4HC_optimal_t) * (LZ4_OPT_NUM + TRAILING_LITERALS));
1895
#else
1896
    LZ4HC_optimal_t opt[LZ4_OPT_NUM + TRAILING_LITERALS];   /* ~64 KB, which can be a bit large for some stacks... */
1897
#endif
1898
1899
119k
    const BYTE* ip = (const BYTE*) source;
1900
119k
    const BYTE* anchor = ip;
1901
119k
    const BYTE* const iend = ip + *srcSizePtr;
1902
119k
    const BYTE* const mflimit = iend - MFLIMIT;
1903
119k
    const BYTE* const matchlimit = iend - LASTLITERALS;
1904
119k
    BYTE* op = (BYTE*) dst;
1905
119k
    BYTE* opSaved = (BYTE*) dst;
1906
119k
    BYTE* oend = op + dstCapacity;
1907
119k
    int ovml = MINMATCH;  /* overflow - last sequence */
1908
119k
    int ovoff = 0;
1909
1910
    /* init */
1911
119k
    DEBUGLOG(5, "LZ4HC_compress_optimal(dst=%p, dstCapa=%u)", dst, (unsigned)dstCapacity);
1912
119k
#if defined(LZ4HC_HEAPMODE) && LZ4HC_HEAPMODE==1
1913
119k
    if (opt == NULL) goto _return_label;
1914
119k
#endif
1915
1916
    /* preconditions verifications */
1917
119k
    assert(dstCapacity > 0);
1918
119k
    assert(dst != NULL);
1919
119k
    assert(*srcSizePtr > 0);
1920
119k
    assert(source != NULL);
1921
1922
119k
    *srcSizePtr = 0;
1923
119k
    if (limit == fillOutput) oend -= LASTLITERALS;   /* Hack for support LZ4 format restriction */
1924
119k
    if (sufficient_len >= LZ4_OPT_NUM) sufficient_len = LZ4_OPT_NUM-1;
1925
1926
    /* Main Loop */
1927
94.8M
    while (ip <= mflimit) {
1928
94.6M
         int const llen = (int)(ip - anchor);
1929
94.6M
         int best_mlen, best_off;
1930
94.6M
         int cur, last_match_pos = 0;
1931
1932
94.6M
         LZ4HC_match_t const firstMatch = LZ4HC_FindLongerMatch(ctx, ip, matchlimit, MINMATCH-1, nbSearches, dict, favorDecSpeed);
1933
94.6M
         if (firstMatch.len==0) { ip++; continue; }
1934
1935
4.43M
         if ((size_t)firstMatch.len > sufficient_len) {
1936
             /* good enough solution : immediate encoding */
1937
122k
             int const firstML = firstMatch.len;
1938
122k
             opSaved = op;
1939
122k
             if ( LZ4HC_encodeSequence(UPDATABLE(ip, op, anchor), firstML, firstMatch.off, limit, oend) ) {  /* updates ip, op and anchor */
1940
0
                 ovml = firstML;
1941
0
                 ovoff = firstMatch.off;
1942
0
                 goto _dest_overflow;
1943
0
             }
1944
122k
             continue;
1945
122k
         }
1946
1947
         /* set prices for first positions (literals) */
1948
4.31M
         {   int rPos;
1949
21.5M
             for (rPos = 0 ; rPos < MINMATCH ; rPos++) {
1950
17.2M
                 int const cost = LZ4HC_literalsPrice(llen + rPos);
1951
17.2M
                 opt[rPos].mlen = 1;
1952
17.2M
                 opt[rPos].off = 0;
1953
17.2M
                 opt[rPos].litlen = llen + rPos;
1954
17.2M
                 opt[rPos].price = cost;
1955
17.2M
                 DEBUGLOG(7, "rPos:%3i => price:%3i (litlen=%i) -- initial setup",
1956
17.2M
                             rPos, cost, opt[rPos].litlen);
1957
17.2M
         }   }
1958
         /* set prices using initial match */
1959
4.31M
         {   int const matchML = firstMatch.len;   /* necessarily < sufficient_len < LZ4_OPT_NUM */
1960
4.31M
             int const offset = firstMatch.off;
1961
4.31M
             int mlen;
1962
4.31M
             assert(matchML < LZ4_OPT_NUM);
1963
63.3M
             for (mlen = MINMATCH ; mlen <= matchML ; mlen++) {
1964
58.9M
                 int const cost = LZ4HC_sequencePrice(llen, mlen);
1965
58.9M
                 opt[mlen].mlen = mlen;
1966
58.9M
                 opt[mlen].off = offset;
1967
58.9M
                 opt[mlen].litlen = llen;
1968
58.9M
                 opt[mlen].price = cost;
1969
58.9M
                 DEBUGLOG(7, "rPos:%3i => price:%3i (matchlen=%i) -- initial setup",
1970
58.9M
                             mlen, cost, mlen);
1971
58.9M
         }   }
1972
4.31M
         last_match_pos = firstMatch.len;
1973
4.31M
         {   int addLit;
1974
17.2M
             for (addLit = 1; addLit <= TRAILING_LITERALS; addLit ++) {
1975
12.9M
                 opt[last_match_pos+addLit].mlen = 1; /* literal */
1976
12.9M
                 opt[last_match_pos+addLit].off = 0;
1977
12.9M
                 opt[last_match_pos+addLit].litlen = addLit;
1978
12.9M
                 opt[last_match_pos+addLit].price = opt[last_match_pos].price + LZ4HC_literalsPrice(addLit);
1979
12.9M
                 DEBUGLOG(7, "rPos:%3i => price:%3i (litlen=%i) -- initial setup",
1980
12.9M
                             last_match_pos+addLit, opt[last_match_pos+addLit].price, addLit);
1981
12.9M
         }   }
1982
1983
         /* check further positions */
1984
118M
         for (cur = 1; cur < last_match_pos; cur++) {
1985
114M
             const BYTE* const curPtr = ip + cur;
1986
114M
             LZ4HC_match_t newMatch;
1987
1988
114M
             if (curPtr > mflimit) break;
1989
114M
             DEBUGLOG(7, "rPos:%u[%u] vs [%u]%u",
1990
114M
                     cur, opt[cur].price, opt[cur+1].price, cur+1);
1991
114M
             if (fullUpdate) {
1992
                 /* not useful to search here if next position has same (or lower) cost */
1993
75.1M
                 if ( (opt[cur+1].price <= opt[cur].price)
1994
                   /* in some cases, next position has same cost, but cost rises sharply after, so a small match would still be beneficial */
1995
70.6M
                   && (opt[cur+MINMATCH].price < opt[cur].price + 3/*min seq price*/) )
1996
69.2M
                     continue;
1997
75.1M
             } else {
1998
                 /* not useful to search here if next position has same (or lower) cost */
1999
39.2M
                 if (opt[cur+1].price <= opt[cur].price) continue;
2000
39.2M
             }
2001
2002
15.7M
             DEBUGLOG(7, "search at rPos:%u", cur);
2003
15.7M
             if (fullUpdate)
2004
5.93M
                 newMatch = LZ4HC_FindLongerMatch(ctx, curPtr, matchlimit, MINMATCH-1, nbSearches, dict, favorDecSpeed);
2005
9.77M
             else
2006
                 /* only test matches of minimum length; slightly faster, but misses a few bytes */
2007
9.77M
                 newMatch = LZ4HC_FindLongerMatch(ctx, curPtr, matchlimit, last_match_pos - cur, nbSearches, dict, favorDecSpeed);
2008
15.7M
             if (!newMatch.len) continue;
2009
2010
6.02M
             if ( ((size_t)newMatch.len > sufficient_len)
2011
5.98M
               || (newMatch.len + cur >= LZ4_OPT_NUM) ) {
2012
                 /* immediate encoding */
2013
35.9k
                 best_mlen = newMatch.len;
2014
35.9k
                 best_off = newMatch.off;
2015
35.9k
                 last_match_pos = cur + 1;
2016
35.9k
                 goto encode;
2017
35.9k
             }
2018
2019
             /* before match : set price with literals at beginning */
2020
5.98M
             {   int const baseLitlen = opt[cur].litlen;
2021
5.98M
                 int litlen;
2022
23.9M
                 for (litlen = 1; litlen < MINMATCH; litlen++) {
2023
17.9M
                     int const price = opt[cur].price - LZ4HC_literalsPrice(baseLitlen) + LZ4HC_literalsPrice(baseLitlen+litlen);
2024
17.9M
                     int const pos = cur + litlen;
2025
17.9M
                     if (price < opt[pos].price) {
2026
0
                         opt[pos].mlen = 1; /* literal */
2027
0
                         opt[pos].off = 0;
2028
0
                         opt[pos].litlen = baseLitlen+litlen;
2029
0
                         opt[pos].price = price;
2030
0
                         DEBUGLOG(7, "rPos:%3i => price:%3i (litlen=%i)",
2031
0
                                     pos, price, opt[pos].litlen);
2032
0
             }   }   }
2033
2034
             /* set prices using match at position = cur */
2035
5.98M
             {   int const matchML = newMatch.len;
2036
5.98M
                 int ml = MINMATCH;
2037
2038
5.98M
                 assert(cur + newMatch.len < LZ4_OPT_NUM);
2039
417M
                 for ( ; ml <= matchML ; ml++) {
2040
411M
                     int const pos = cur + ml;
2041
411M
                     int const offset = newMatch.off;
2042
411M
                     int price;
2043
411M
                     int ll;
2044
411M
                     DEBUGLOG(7, "testing price rPos %i (last_match_pos=%i)",
2045
411M
                                 pos, last_match_pos);
2046
411M
                     if (opt[cur].mlen == 1) {
2047
145M
                         ll = opt[cur].litlen;
2048
145M
                         price = ((cur > ll) ? opt[cur - ll].price : 0)
2049
145M
                               + LZ4HC_sequencePrice(ll, ml);
2050
266M
                     } else {
2051
266M
                         ll = 0;
2052
266M
                         price = opt[cur].price + LZ4HC_sequencePrice(0, ml);
2053
266M
                     }
2054
2055
411M
                    assert((U32)favorDecSpeed <= 1);
2056
411M
                     if (pos > last_match_pos+TRAILING_LITERALS
2057
368M
                      || price <= opt[pos].price - (int)favorDecSpeed) {
2058
68.5M
                         DEBUGLOG(7, "rPos:%3i => price:%3i (matchlen=%i)",
2059
68.5M
                                     pos, price, ml);
2060
68.5M
                         assert(pos < LZ4_OPT_NUM);
2061
68.5M
                         if ( (ml == matchML)  /* last pos of last match */
2062
3.46M
                           && (last_match_pos < pos) )
2063
3.10M
                             last_match_pos = pos;
2064
68.5M
                         opt[pos].mlen = ml;
2065
68.5M
                         opt[pos].off = offset;
2066
68.5M
                         opt[pos].litlen = ll;
2067
68.5M
                         opt[pos].price = price;
2068
68.5M
             }   }   }
2069
             /* complete following positions with literals */
2070
5.98M
             {   int addLit;
2071
23.9M
                 for (addLit = 1; addLit <= TRAILING_LITERALS; addLit ++) {
2072
17.9M
                     opt[last_match_pos+addLit].mlen = 1; /* literal */
2073
17.9M
                     opt[last_match_pos+addLit].off = 0;
2074
17.9M
                     opt[last_match_pos+addLit].litlen = addLit;
2075
17.9M
                     opt[last_match_pos+addLit].price = opt[last_match_pos].price + LZ4HC_literalsPrice(addLit);
2076
17.9M
                     DEBUGLOG(7, "rPos:%3i => price:%3i (litlen=%i)", last_match_pos+addLit, opt[last_match_pos+addLit].price, addLit);
2077
17.9M
             }   }
2078
5.98M
         }  /* for (cur = 1; cur <= last_match_pos; cur++) */
2079
2080
4.31M
         assert(last_match_pos < LZ4_OPT_NUM + TRAILING_LITERALS);
2081
4.27M
         best_mlen = opt[last_match_pos].mlen;
2082
4.27M
         best_off = opt[last_match_pos].off;
2083
4.27M
         cur = last_match_pos - best_mlen;
2084
2085
4.31M
encode: /* cur, last_match_pos, best_mlen, best_off must be set */
2086
4.31M
         assert(cur < LZ4_OPT_NUM);
2087
4.31M
         assert(last_match_pos >= 1);  /* == 1 when only one candidate */
2088
4.31M
         DEBUGLOG(6, "reverse traversal, looking for shortest path (last_match_pos=%i)", last_match_pos);
2089
4.31M
         {   int candidate_pos = cur;
2090
4.31M
             int selected_matchLength = best_mlen;
2091
4.31M
             int selected_offset = best_off;
2092
6.68M
             while (1) {  /* from end to beginning */
2093
6.68M
                 int const next_matchLength = opt[candidate_pos].mlen;  /* can be 1, means literal */
2094
6.68M
                 int const next_offset = opt[candidate_pos].off;
2095
6.68M
                 DEBUGLOG(7, "pos %i: sequence length %i", candidate_pos, selected_matchLength);
2096
6.68M
                 opt[candidate_pos].mlen = selected_matchLength;
2097
6.68M
                 opt[candidate_pos].off = selected_offset;
2098
6.68M
                 selected_matchLength = next_matchLength;
2099
6.68M
                 selected_offset = next_offset;
2100
6.68M
                 if (next_matchLength > candidate_pos) break; /* last match elected, first match to encode */
2101
6.68M
                 assert(next_matchLength > 0);  /* can be 1, means literal */
2102
2.36M
                 candidate_pos -= next_matchLength;
2103
2.36M
         }   }
2104
2105
         /* encode all recorded sequences in order */
2106
4.31M
         {   int rPos = 0;  /* relative position (to ip) */
2107
10.9M
             while (rPos < last_match_pos) {
2108
6.68M
                 int const ml = opt[rPos].mlen;
2109
6.68M
                 int const offset = opt[rPos].off;
2110
6.68M
                 if (ml == 1) { ip++; rPos++; continue; }  /* literal; note: can end up with several literals, in which case, skip them */
2111
5.55M
                 rPos += ml;
2112
5.55M
                 assert(ml >= MINMATCH);
2113
5.55M
                 assert((offset >= 1) && (offset <= LZ4_DISTANCE_MAX));
2114
5.55M
                 opSaved = op;
2115
5.55M
                 if ( LZ4HC_encodeSequence(UPDATABLE(ip, op, anchor), ml, offset, limit, oend) ) {  /* updates ip, op and anchor */
2116
0
                     ovml = ml;
2117
0
                     ovoff = offset;
2118
0
                     goto _dest_overflow;
2119
0
         }   }   }
2120
4.31M
     }  /* while (ip <= mflimit) */
2121
2122
119k
_last_literals:
2123
     /* Encode Last Literals */
2124
119k
     {   size_t lastRunSize = (size_t)(iend - anchor);  /* literals */
2125
119k
         size_t llAdd = (lastRunSize + 255 - RUN_MASK) / 255;
2126
119k
         size_t const totalSize = 1 + llAdd + lastRunSize;
2127
119k
         if (limit == fillOutput) oend += LASTLITERALS;  /* restore correct value */
2128
119k
         if (limit && (op + totalSize > oend)) {
2129
0
             if (limit == limitedOutput) { /* Check output limit */
2130
0
                retval = 0;
2131
0
                goto _return_label;
2132
0
             }
2133
             /* adapt lastRunSize to fill 'dst' */
2134
0
             lastRunSize  = (size_t)(oend - op) - 1 /*token*/;
2135
0
             llAdd = (lastRunSize + 256 - RUN_MASK) / 256;
2136
0
             lastRunSize -= llAdd;
2137
0
         }
2138
119k
         DEBUGLOG(6, "Final literal run : %i literals", (int)lastRunSize);
2139
119k
         ip = anchor + lastRunSize; /* can be != iend if limit==fillOutput */
2140
2141
119k
         if (lastRunSize >= RUN_MASK) {
2142
7.22k
             size_t accumulator = lastRunSize - RUN_MASK;
2143
7.22k
             *op++ = (RUN_MASK << ML_BITS);
2144
24.8k
             for(; accumulator >= 255 ; accumulator -= 255) *op++ = 255;
2145
7.22k
             *op++ = (BYTE) accumulator;
2146
112k
         } else {
2147
112k
             *op++ = (BYTE)(lastRunSize << ML_BITS);
2148
112k
         }
2149
119k
         LZ4_memcpy(op, anchor, lastRunSize);
2150
119k
         op += lastRunSize;
2151
119k
     }
2152
2153
     /* End */
2154
0
     *srcSizePtr = (int) (((const char*)ip) - source);
2155
119k
     retval = (int) ((char*)op-dst);
2156
119k
     goto _return_label;
2157
2158
0
_dest_overflow:
2159
0
if (limit == fillOutput) {
2160
     /* Assumption : ip, anchor, ovml and ovref must be set correctly */
2161
0
     size_t const ll = (size_t)(ip - anchor);
2162
0
     size_t const ll_addbytes = (ll + 240) / 255;
2163
0
     size_t const ll_totalCost = 1 + ll_addbytes + ll;
2164
0
     BYTE* const maxLitPos = oend - 3; /* 2 for offset, 1 for token */
2165
0
     DEBUGLOG(6, "Last sequence overflowing (only %i bytes remaining)", (int)(oend-1-opSaved));
2166
0
     op = opSaved;  /* restore correct out pointer */
2167
0
     if (op + ll_totalCost <= maxLitPos) {
2168
         /* ll validated; now adjust match length */
2169
0
         size_t const bytesLeftForMl = (size_t)(maxLitPos - (op+ll_totalCost));
2170
0
         size_t const maxMlSize = MINMATCH + (ML_MASK-1) + (bytesLeftForMl * 255);
2171
0
         assert(maxMlSize < INT_MAX); assert(ovml >= 0);
2172
0
         if ((size_t)ovml > maxMlSize) ovml = (int)maxMlSize;
2173
0
         if ((oend + LASTLITERALS) - (op + ll_totalCost + 2) - 1 + ovml >= MFLIMIT) {
2174
0
             DEBUGLOG(6, "Space to end : %i + ml (%i)", (int)((oend + LASTLITERALS) - (op + ll_totalCost + 2) - 1), ovml);
2175
0
             DEBUGLOG(6, "Before : ip = %p, anchor = %p", ip, anchor);
2176
0
             LZ4HC_encodeSequence(UPDATABLE(ip, op, anchor), ovml, ovoff, notLimited, oend);
2177
0
             DEBUGLOG(6, "After : ip = %p, anchor = %p", ip, anchor);
2178
0
     }   }
2179
0
     goto _last_literals;
2180
0
}
2181
119k
_return_label:
2182
119k
#if defined(LZ4HC_HEAPMODE) && LZ4HC_HEAPMODE==1
2183
119k
     if (opt) FREEMEM(opt);
2184
119k
#endif
2185
119k
     return retval;
2186
0
}
2187
2188
2189
/***************************************************
2190
*  Deprecated Functions
2191
***************************************************/
2192
2193
/* These functions currently generate deprecation warnings */
2194
2195
/* Wrappers for deprecated compression functions */
2196
0
int LZ4_compressHC(const char* src, char* dst, int srcSize) { return LZ4_compress_HC (src, dst, srcSize, LZ4_compressBound(srcSize), 0); }
2197
0
int LZ4_compressHC_limitedOutput(const char* src, char* dst, int srcSize, int maxDstSize) { return LZ4_compress_HC(src, dst, srcSize, maxDstSize, 0); }
2198
0
int LZ4_compressHC2(const char* src, char* dst, int srcSize, int cLevel) { return LZ4_compress_HC (src, dst, srcSize, LZ4_compressBound(srcSize), cLevel); }
2199
0
int LZ4_compressHC2_limitedOutput(const char* src, char* dst, int srcSize, int maxDstSize, int cLevel) { return LZ4_compress_HC(src, dst, srcSize, maxDstSize, cLevel); }
2200
0
int LZ4_compressHC_withStateHC (void* state, const char* src, char* dst, int srcSize) { return LZ4_compress_HC_extStateHC (state, src, dst, srcSize, LZ4_compressBound(srcSize), 0); }
2201
0
int LZ4_compressHC_limitedOutput_withStateHC (void* state, const char* src, char* dst, int srcSize, int maxDstSize) { return LZ4_compress_HC_extStateHC (state, src, dst, srcSize, maxDstSize, 0); }
2202
0
int LZ4_compressHC2_withStateHC (void* state, const char* src, char* dst, int srcSize, int cLevel) { return LZ4_compress_HC_extStateHC(state, src, dst, srcSize, LZ4_compressBound(srcSize), cLevel); }
2203
0
int LZ4_compressHC2_limitedOutput_withStateHC (void* state, const char* src, char* dst, int srcSize, int maxDstSize, int cLevel) { return LZ4_compress_HC_extStateHC(state, src, dst, srcSize, maxDstSize, cLevel); }
2204
0
int LZ4_compressHC_continue (LZ4_streamHC_t* ctx, const char* src, char* dst, int srcSize) { return LZ4_compress_HC_continue (ctx, src, dst, srcSize, LZ4_compressBound(srcSize)); }
2205
0
int LZ4_compressHC_limitedOutput_continue (LZ4_streamHC_t* ctx, const char* src, char* dst, int srcSize, int maxDstSize) { return LZ4_compress_HC_continue (ctx, src, dst, srcSize, maxDstSize); }
2206
2207
2208
/* Deprecated streaming functions */
2209
0
int LZ4_sizeofStreamStateHC(void) { return sizeof(LZ4_streamHC_t); }
2210
2211
/* state is presumed correctly sized, aka >= sizeof(LZ4_streamHC_t)
2212
 * @return : 0 on success, !=0 if error */
2213
int LZ4_resetStreamStateHC(void* state, char* inputBuffer)
2214
0
{
2215
0
    LZ4_streamHC_t* const hc4 = LZ4_initStreamHC(state, sizeof(*hc4));
2216
0
    if (hc4 == NULL) return 1;   /* init failed */
2217
0
    LZ4HC_init_internal (&hc4->internal_donotuse, (const BYTE*)inputBuffer);
2218
0
    return 0;
2219
0
}
2220
2221
#if !defined(LZ4_STATIC_LINKING_ONLY_DISABLE_MEMORY_ALLOCATION)
2222
void* LZ4_createHC (const char* inputBuffer)
2223
0
{
2224
0
    LZ4_streamHC_t* const hc4 = LZ4_createStreamHC();
2225
0
    if (hc4 == NULL) return NULL;   /* not enough memory */
2226
0
    LZ4HC_init_internal (&hc4->internal_donotuse, (const BYTE*)inputBuffer);
2227
0
    return hc4;
2228
0
}
2229
2230
int LZ4_freeHC (void* LZ4HC_Data)
2231
0
{
2232
0
    if (!LZ4HC_Data) return 0;  /* support free on NULL */
2233
0
    FREEMEM(LZ4HC_Data);
2234
0
    return 0;
2235
0
}
2236
#endif
2237
2238
int LZ4_compressHC2_continue (void* LZ4HC_Data, const char* src, char* dst, int srcSize, int cLevel)
2239
0
{
2240
0
    return LZ4HC_compress_generic (&((LZ4_streamHC_t*)LZ4HC_Data)->internal_donotuse, src, dst, &srcSize, 0, cLevel, notLimited);
2241
0
}
2242
2243
int LZ4_compressHC2_limitedOutput_continue (void* LZ4HC_Data, const char* src, char* dst, int srcSize, int dstCapacity, int cLevel)
2244
0
{
2245
0
    return LZ4HC_compress_generic (&((LZ4_streamHC_t*)LZ4HC_Data)->internal_donotuse, src, dst, &srcSize, dstCapacity, cLevel, limitedOutput);
2246
0
}
2247
2248
char* LZ4_slideInputBufferHC(void* LZ4HC_Data)
2249
0
{
2250
0
    LZ4HC_CCtx_internal* const s = &((LZ4_streamHC_t*)LZ4HC_Data)->internal_donotuse;
2251
0
    const BYTE* const bufferStart = s->prefixStart - s->dictLimit + s->lowLimit;
2252
0
    LZ4_resetStreamHC_fast((LZ4_streamHC_t*)LZ4HC_Data, s->compressionLevel);
2253
    /* ugly conversion trick, required to evade (const char*) -> (char*) cast-qual warning :( */
2254
0
    return (char*)(uptrval)bufferStart;
2255
0
}