Coverage Report

Created: 2026-02-14 06:17

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/lzma-fuzz/sdk/C/LzFind.c
Line
Count
Source
1
/* LzFind.c -- Match finder for LZ algorithms
2
2018-07-08 : Igor Pavlov : Public domain */
3
4
#include "Precomp.h"
5
6
#include <string.h>
7
8
#include "LzFind.h"
9
#include "LzHash.h"
10
11
58.0G
#define kEmptyHashValue 0
12
4.69M
#define kMaxValForNormalize ((UInt32)0xFFFFFFFF)
13
0
#define kNormalizeStepMin (1 << 10) /* it must be power of 2 */
14
0
#define kNormalizeMask (~(UInt32)(kNormalizeStepMin - 1))
15
19.6k
#define kMaxHistorySize ((UInt32)7 << 29)
16
17
#define kStartMaxLen 3
18
19
static void LzInWindow_Free(CMatchFinder *p, ISzAllocPtr alloc)
20
39.3k
{
21
39.3k
  if (!p->directInput)
22
39.3k
  {
23
39.3k
    ISzAlloc_Free(alloc, p->bufferBase);
24
39.3k
    p->bufferBase = NULL;
25
39.3k
  }
26
39.3k
}
27
28
/* keepSizeBefore + keepSizeAfter + keepSizeReserv must be < 4G) */
29
30
static int LzInWindow_Create(CMatchFinder *p, UInt32 keepSizeReserv, ISzAllocPtr alloc)
31
19.6k
{
32
19.6k
  UInt32 blockSize = p->keepSizeBefore + p->keepSizeAfter + keepSizeReserv;
33
19.6k
  if (p->directInput)
34
0
  {
35
0
    p->blockSize = blockSize;
36
0
    return 1;
37
0
  }
38
19.6k
  if (!p->bufferBase || p->blockSize != blockSize)
39
19.6k
  {
40
19.6k
    LzInWindow_Free(p, alloc);
41
19.6k
    p->blockSize = blockSize;
42
19.6k
    p->bufferBase = (Byte *)ISzAlloc_Alloc(alloc, (size_t)blockSize);
43
19.6k
  }
44
19.6k
  return (p->bufferBase != NULL);
45
19.6k
}
46
47
622M
Byte *MatchFinder_GetPointerToCurrentPos(CMatchFinder *p) { return p->buffer; }
48
49
594M
UInt32 MatchFinder_GetNumAvailableBytes(CMatchFinder *p) { return p->streamPos - p->pos; }
50
51
void MatchFinder_ReduceOffsets(CMatchFinder *p, UInt32 subValue)
52
0
{
53
0
  p->posLimit -= subValue;
54
0
  p->pos -= subValue;
55
0
  p->streamPos -= subValue;
56
0
}
57
58
static void MatchFinder_ReadBlock(CMatchFinder *p)
59
25.1k
{
60
25.1k
  if (p->streamEndWasReached || p->result != SZ_OK)
61
0
    return;
62
63
  /* We use (p->streamPos - p->pos) value. (p->streamPos < p->pos) is allowed. */
64
65
25.1k
  if (p->directInput)
66
0
  {
67
0
    UInt32 curSize = 0xFFFFFFFF - (p->streamPos - p->pos);
68
0
    if (curSize > p->directInputRem)
69
0
      curSize = (UInt32)p->directInputRem;
70
0
    p->directInputRem -= curSize;
71
0
    p->streamPos += curSize;
72
0
    if (p->directInputRem == 0)
73
0
      p->streamEndWasReached = 1;
74
0
    return;
75
0
  }
76
  
77
25.1k
  for (;;)
78
40.7k
  {
79
40.7k
    Byte *dest = p->buffer + (p->streamPos - p->pos);
80
40.7k
    size_t size = (p->bufferBase + p->blockSize - dest);
81
40.7k
    if (size == 0)
82
0
      return;
83
84
40.7k
    p->result = ISeqInStream_Read(p->stream, dest, &size);
85
40.7k
    if (p->result != SZ_OK)
86
0
      return;
87
40.7k
    if (size == 0)
88
19.6k
    {
89
19.6k
      p->streamEndWasReached = 1;
90
19.6k
      return;
91
19.6k
    }
92
21.1k
    p->streamPos += (UInt32)size;
93
21.1k
    if (p->streamPos - p->pos > p->keepSizeAfter)
94
5.52k
      return;
95
21.1k
  }
96
25.1k
}
97
98
void MatchFinder_MoveBlock(CMatchFinder *p)
99
0
{
100
0
  memmove(p->bufferBase,
101
0
      p->buffer - p->keepSizeBefore,
102
0
      (size_t)(p->streamPos - p->pos) + p->keepSizeBefore);
103
0
  p->buffer = p->bufferBase + p->keepSizeBefore;
104
0
}
105
106
int MatchFinder_NeedMove(CMatchFinder *p)
107
5.52k
{
108
5.52k
  if (p->directInput)
109
0
    return 0;
110
  /* if (p->streamEndWasReached) return 0; */
111
5.52k
  return ((size_t)(p->bufferBase + p->blockSize - p->buffer) <= p->keepSizeAfter);
112
5.52k
}
113
114
void MatchFinder_ReadIfRequired(CMatchFinder *p)
115
0
{
116
0
  if (p->streamEndWasReached)
117
0
    return;
118
0
  if (p->keepSizeAfter >= p->streamPos - p->pos)
119
0
    MatchFinder_ReadBlock(p);
120
0
}
121
122
static void MatchFinder_CheckAndMoveAndRead(CMatchFinder *p)
123
5.52k
{
124
5.52k
  if (MatchFinder_NeedMove(p))
125
0
    MatchFinder_MoveBlock(p);
126
5.52k
  MatchFinder_ReadBlock(p);
127
5.52k
}
128
129
static void MatchFinder_SetDefaultSettings(CMatchFinder *p)
130
19.6k
{
131
19.6k
  p->cutValue = 32;
132
19.6k
  p->btMode = 1;
133
19.6k
  p->numHashBytes = 4;
134
19.6k
  p->bigHash = 0;
135
19.6k
}
136
137
40.2M
#define kCrcPoly 0xEDB88320
138
139
void MatchFinder_Construct(CMatchFinder *p)
140
19.6k
{
141
19.6k
  unsigned i;
142
19.6k
  p->bufferBase = NULL;
143
19.6k
  p->directInput = 0;
144
19.6k
  p->hash = NULL;
145
19.6k
  p->expectedDataSize = (UInt64)(Int64)-1;
146
19.6k
  MatchFinder_SetDefaultSettings(p);
147
148
5.05M
  for (i = 0; i < 256; i++)
149
5.03M
  {
150
5.03M
    UInt32 r = (UInt32)i;
151
5.03M
    unsigned j;
152
45.2M
    for (j = 0; j < 8; j++)
153
40.2M
      r = (r >> 1) ^ (kCrcPoly & ((UInt32)0 - (r & 1)));
154
5.03M
    p->crc[i] = r;
155
5.03M
  }
156
19.6k
}
157
158
static void MatchFinder_FreeThisClassMemory(CMatchFinder *p, ISzAllocPtr alloc)
159
39.3k
{
160
39.3k
  ISzAlloc_Free(alloc, p->hash);
161
39.3k
  p->hash = NULL;
162
39.3k
}
163
164
void MatchFinder_Free(CMatchFinder *p, ISzAllocPtr alloc)
165
19.6k
{
166
19.6k
  MatchFinder_FreeThisClassMemory(p, alloc);
167
19.6k
  LzInWindow_Free(p, alloc);
168
19.6k
}
169
170
static CLzRef* AllocRefs(size_t num, ISzAllocPtr alloc)
171
19.6k
{
172
19.6k
  size_t sizeInBytes = (size_t)num * sizeof(CLzRef);
173
19.6k
  if (sizeInBytes / sizeof(CLzRef) != num)
174
0
    return NULL;
175
19.6k
  return (CLzRef *)ISzAlloc_Alloc(alloc, sizeInBytes);
176
19.6k
}
177
178
int MatchFinder_Create(CMatchFinder *p, UInt32 historySize,
179
    UInt32 keepAddBufferBefore, UInt32 matchMaxLen, UInt32 keepAddBufferAfter,
180
    ISzAllocPtr alloc)
181
19.6k
{
182
19.6k
  UInt32 sizeReserv;
183
  
184
19.6k
  if (historySize > kMaxHistorySize)
185
0
  {
186
0
    MatchFinder_Free(p, alloc);
187
0
    return 0;
188
0
  }
189
  
190
19.6k
  sizeReserv = historySize >> 1;
191
19.6k
       if (historySize >= ((UInt32)3 << 30)) sizeReserv = historySize >> 3;
192
19.6k
  else if (historySize >= ((UInt32)2 << 30)) sizeReserv = historySize >> 2;
193
  
194
19.6k
  sizeReserv += (keepAddBufferBefore + matchMaxLen + keepAddBufferAfter) / 2 + (1 << 19);
195
196
19.6k
  p->keepSizeBefore = historySize + keepAddBufferBefore + 1;
197
19.6k
  p->keepSizeAfter = matchMaxLen + keepAddBufferAfter;
198
  
199
  /* we need one additional byte, since we use MoveBlock after pos++ and before dictionary using */
200
  
201
19.6k
  if (LzInWindow_Create(p, sizeReserv, alloc))
202
19.6k
  {
203
19.6k
    UInt32 newCyclicBufferSize = historySize + 1;
204
19.6k
    UInt32 hs;
205
19.6k
    p->matchMaxLen = matchMaxLen;
206
19.6k
    {
207
19.6k
      p->fixedHashSize = 0;
208
19.6k
      if (p->numHashBytes == 2)
209
5.76k
        hs = (1 << 16) - 1;
210
13.8k
      else
211
13.8k
      {
212
13.8k
        hs = historySize;
213
13.8k
        if (hs > p->expectedDataSize)
214
7.21k
          hs = (UInt32)p->expectedDataSize;
215
13.8k
        if (hs != 0)
216
13.8k
          hs--;
217
13.8k
        hs |= (hs >> 1);
218
13.8k
        hs |= (hs >> 2);
219
13.8k
        hs |= (hs >> 4);
220
13.8k
        hs |= (hs >> 8);
221
13.8k
        hs >>= 1;
222
13.8k
        hs |= 0xFFFF; /* don't change it! It's required for Deflate */
223
13.8k
        if (hs > (1 << 24))
224
0
        {
225
0
          if (p->numHashBytes == 3)
226
0
            hs = (1 << 24) - 1;
227
0
          else
228
0
            hs >>= 1;
229
          /* if (bigHash) mode, GetHeads4b() in LzFindMt.c needs (hs >= ((1 << 24) - 1))) */
230
0
        }
231
13.8k
      }
232
19.6k
      p->hashMask = hs;
233
19.6k
      hs++;
234
19.6k
      if (p->numHashBytes > 2) p->fixedHashSize += kHash2Size;
235
19.6k
      if (p->numHashBytes > 3) p->fixedHashSize += kHash3Size;
236
19.6k
      if (p->numHashBytes > 4) p->fixedHashSize += kHash4Size;
237
19.6k
      hs += p->fixedHashSize;
238
19.6k
    }
239
240
19.6k
    {
241
19.6k
      size_t newSize;
242
19.6k
      size_t numSons;
243
19.6k
      p->historySize = historySize;
244
19.6k
      p->hashSizeSum = hs;
245
19.6k
      p->cyclicBufferSize = newCyclicBufferSize;
246
      
247
19.6k
      numSons = newCyclicBufferSize;
248
19.6k
      if (p->btMode)
249
17.3k
        numSons <<= 1;
250
19.6k
      newSize = hs + numSons;
251
252
19.6k
      if (p->hash && p->numRefs == newSize)
253
0
        return 1;
254
      
255
19.6k
      MatchFinder_FreeThisClassMemory(p, alloc);
256
19.6k
      p->numRefs = newSize;
257
19.6k
      p->hash = AllocRefs(newSize, alloc);
258
      
259
19.6k
      if (p->hash)
260
19.6k
      {
261
19.6k
        p->son = p->hash + p->hashSizeSum;
262
19.6k
        return 1;
263
19.6k
      }
264
19.6k
    }
265
19.6k
  }
266
267
0
  MatchFinder_Free(p, alloc);
268
0
  return 0;
269
19.6k
}
270
271
static void MatchFinder_SetLimits(CMatchFinder *p)
272
2.35M
{
273
2.35M
  UInt32 limit = kMaxValForNormalize - p->pos;
274
2.35M
  UInt32 limit2 = p->cyclicBufferSize - p->cyclicBufferPos;
275
  
276
2.35M
  if (limit2 < limit)
277
2.35M
    limit = limit2;
278
2.35M
  limit2 = p->streamPos - p->pos;
279
  
280
2.35M
  if (limit2 <= p->keepSizeAfter)
281
2.35M
  {
282
2.35M
    if (limit2 > 0)
283
2.33M
      limit2 = 1;
284
2.35M
  }
285
5.52k
  else
286
5.52k
    limit2 -= p->keepSizeAfter;
287
  
288
2.35M
  if (limit2 < limit)
289
2.35M
    limit = limit2;
290
  
291
2.35M
  {
292
2.35M
    UInt32 lenLimit = p->streamPos - p->pos;
293
2.35M
    if (lenLimit > p->matchMaxLen)
294
1.65M
      lenLimit = p->matchMaxLen;
295
2.35M
    p->lenLimit = lenLimit;
296
2.35M
  }
297
2.35M
  p->posLimit = p->pos + limit;
298
2.35M
}
299
300
301
void MatchFinder_Init_LowHash(CMatchFinder *p)
302
19.6k
{
303
19.6k
  size_t i;
304
19.6k
  CLzRef *items = p->hash;
305
19.6k
  size_t numItems = p->fixedHashSize;
306
756M
  for (i = 0; i < numItems; i++)
307
756M
    items[i] = kEmptyHashValue;
308
19.6k
}
309
310
311
void MatchFinder_Init_HighHash(CMatchFinder *p)
312
19.6k
{
313
19.6k
  size_t i;
314
19.6k
  CLzRef *items = p->hash + p->fixedHashSize;
315
19.6k
  size_t numItems = (size_t)p->hashMask + 1;
316
56.8G
  for (i = 0; i < numItems; i++)
317
56.8G
    items[i] = kEmptyHashValue;
318
19.6k
}
319
320
321
void MatchFinder_Init_3(CMatchFinder *p, int readData)
322
19.6k
{
323
19.6k
  p->cyclicBufferPos = 0;
324
19.6k
  p->buffer = p->bufferBase;
325
19.6k
  p->pos =
326
19.6k
  p->streamPos = p->cyclicBufferSize;
327
19.6k
  p->result = SZ_OK;
328
19.6k
  p->streamEndWasReached = 0;
329
  
330
19.6k
  if (readData)
331
19.6k
    MatchFinder_ReadBlock(p);
332
  
333
19.6k
  MatchFinder_SetLimits(p);
334
19.6k
}
335
336
337
void MatchFinder_Init(CMatchFinder *p)
338
19.6k
{
339
19.6k
  MatchFinder_Init_HighHash(p);
340
19.6k
  MatchFinder_Init_LowHash(p);
341
19.6k
  MatchFinder_Init_3(p, True);
342
19.6k
}
343
344
  
345
static UInt32 MatchFinder_GetSubValue(CMatchFinder *p)
346
0
{
347
0
  return (p->pos - p->historySize - 1) & kNormalizeMask;
348
0
}
349
350
void MatchFinder_Normalize3(UInt32 subValue, CLzRef *items, size_t numItems)
351
0
{
352
0
  size_t i;
353
0
  for (i = 0; i < numItems; i++)
354
0
  {
355
0
    UInt32 value = items[i];
356
0
    if (value <= subValue)
357
0
      value = kEmptyHashValue;
358
0
    else
359
0
      value -= subValue;
360
0
    items[i] = value;
361
0
  }
362
0
}
363
364
static void MatchFinder_Normalize(CMatchFinder *p)
365
0
{
366
0
  UInt32 subValue = MatchFinder_GetSubValue(p);
367
0
  MatchFinder_Normalize3(subValue, p->hash, p->numRefs);
368
0
  MatchFinder_ReduceOffsets(p, subValue);
369
0
}
370
371
372
MY_NO_INLINE
373
static void MatchFinder_CheckLimits(CMatchFinder *p)
374
2.33M
{
375
2.33M
  if (p->pos == kMaxValForNormalize)
376
0
    MatchFinder_Normalize(p);
377
2.33M
  if (!p->streamEndWasReached && p->keepSizeAfter == p->streamPos - p->pos)
378
5.52k
    MatchFinder_CheckAndMoveAndRead(p);
379
2.33M
  if (p->cyclicBufferPos == p->cyclicBufferSize)
380
0
    p->cyclicBufferPos = 0;
381
2.33M
  MatchFinder_SetLimits(p);
382
2.33M
}
383
384
385
/*
386
  (lenLimit > maxLen)
387
*/
388
MY_FORCE_INLINE
389
static UInt32 * Hc_GetMatchesSpec(unsigned lenLimit, UInt32 curMatch, UInt32 pos, const Byte *cur, CLzRef *son,
390
    UInt32 _cyclicBufferPos, UInt32 _cyclicBufferSize, UInt32 cutValue,
391
    UInt32 *distances, unsigned maxLen)
392
1.66M
{
393
  /*
394
  son[_cyclicBufferPos] = curMatch;
395
  for (;;)
396
  {
397
    UInt32 delta = pos - curMatch;
398
    if (cutValue-- == 0 || delta >= _cyclicBufferSize)
399
      return distances;
400
    {
401
      const Byte *pb = cur - delta;
402
      curMatch = son[_cyclicBufferPos - delta + ((delta > _cyclicBufferPos) ? _cyclicBufferSize : 0)];
403
      if (pb[maxLen] == cur[maxLen] && *pb == *cur)
404
      {
405
        UInt32 len = 0;
406
        while (++len != lenLimit)
407
          if (pb[len] != cur[len])
408
            break;
409
        if (maxLen < len)
410
        {
411
          maxLen = len;
412
          *distances++ = len;
413
          *distances++ = delta - 1;
414
          if (len == lenLimit)
415
            return distances;
416
        }
417
      }
418
    }
419
  }
420
  */
421
422
1.66M
  const Byte *lim = cur + lenLimit;
423
1.66M
  son[_cyclicBufferPos] = curMatch;
424
1.66M
  do
425
14.7M
  {
426
14.7M
    UInt32 delta = pos - curMatch;
427
14.7M
    if (delta >= _cyclicBufferSize)
428
1.37M
      break;
429
13.3M
    {
430
13.3M
      ptrdiff_t diff;
431
13.3M
      curMatch = son[_cyclicBufferPos - delta + ((delta > _cyclicBufferPos) ? _cyclicBufferSize : 0)];
432
13.3M
      diff = (ptrdiff_t)0 - delta;
433
13.3M
      if (cur[maxLen] == cur[maxLen + diff])
434
2.94M
      {
435
2.94M
        const Byte *c = cur;
436
53.2M
        while (*c == c[diff])
437
50.3M
        {
438
50.3M
          if (++c == lim)
439
30.8k
          {
440
30.8k
            distances[0] = (UInt32)(lim - cur);
441
30.8k
            distances[1] = delta - 1;
442
30.8k
            return distances + 2;
443
30.8k
          }
444
50.3M
        }
445
2.91M
        {
446
2.91M
          unsigned len = (unsigned)(c - cur);
447
2.91M
          if (maxLen < len)
448
301k
          {
449
301k
            maxLen = len;
450
301k
            distances[0] = (UInt32)len;
451
301k
            distances[1] = delta - 1;
452
301k
            distances += 2;
453
301k
          }
454
2.91M
        }
455
2.91M
      }
456
13.3M
    }
457
13.3M
  }
458
13.3M
  while (--cutValue);
459
  
460
1.63M
  return distances;
461
1.66M
}
462
463
464
MY_FORCE_INLINE
465
UInt32 * GetMatchesSpec1(UInt32 lenLimit, UInt32 curMatch, UInt32 pos, const Byte *cur, CLzRef *son,
466
    UInt32 _cyclicBufferPos, UInt32 _cyclicBufferSize, UInt32 cutValue,
467
    UInt32 *distances, UInt32 maxLen)
468
346M
{
469
346M
  CLzRef *ptr0 = son + ((size_t)_cyclicBufferPos << 1) + 1;
470
346M
  CLzRef *ptr1 = son + ((size_t)_cyclicBufferPos << 1);
471
346M
  unsigned len0 = 0, len1 = 0;
472
346M
  for (;;)
473
610M
  {
474
610M
    UInt32 delta = pos - curMatch;
475
610M
    if (cutValue-- == 0 || delta >= _cyclicBufferSize)
476
346M
    {
477
346M
      *ptr0 = *ptr1 = kEmptyHashValue;
478
346M
      return distances;
479
346M
    }
480
264M
    {
481
264M
      CLzRef *pair = son + ((size_t)(_cyclicBufferPos - delta + ((delta > _cyclicBufferPos) ? _cyclicBufferSize : 0)) << 1);
482
264M
      const Byte *pb = cur - delta;
483
264M
      unsigned len = (len0 < len1 ? len0 : len1);
484
264M
      UInt32 pair0 = pair[0];
485
264M
      if (pb[len] == cur[len])
486
123M
      {
487
123M
        if (++len != lenLimit && pb[len] == cur[len])
488
566M
          while (++len != lenLimit)
489
566M
            if (pb[len] != cur[len])
490
101M
              break;
491
123M
        if (maxLen < len)
492
43.6M
        {
493
43.6M
          maxLen = (UInt32)len;
494
43.6M
          *distances++ = (UInt32)len;
495
43.6M
          *distances++ = delta - 1;
496
43.6M
          if (len == lenLimit)
497
504k
          {
498
504k
            *ptr1 = pair0;
499
504k
            *ptr0 = pair[1];
500
504k
            return distances;
501
504k
          }
502
43.6M
        }
503
123M
      }
504
263M
      if (pb[len] < cur[len])
505
97.4M
      {
506
97.4M
        *ptr1 = curMatch;
507
97.4M
        ptr1 = pair + 1;
508
97.4M
        curMatch = *ptr1;
509
97.4M
        len1 = len;
510
97.4M
      }
511
166M
      else
512
166M
      {
513
166M
        *ptr0 = curMatch;
514
166M
        ptr0 = pair;
515
166M
        curMatch = *ptr0;
516
166M
        len0 = len;
517
166M
      }
518
263M
    }
519
263M
  }
520
346M
}
521
522
static void SkipMatchesSpec(UInt32 lenLimit, UInt32 curMatch, UInt32 pos, const Byte *cur, CLzRef *son,
523
    UInt32 _cyclicBufferPos, UInt32 _cyclicBufferSize, UInt32 cutValue)
524
113M
{
525
113M
  CLzRef *ptr0 = son + ((size_t)_cyclicBufferPos << 1) + 1;
526
113M
  CLzRef *ptr1 = son + ((size_t)_cyclicBufferPos << 1);
527
113M
  unsigned len0 = 0, len1 = 0;
528
113M
  for (;;)
529
371M
  {
530
371M
    UInt32 delta = pos - curMatch;
531
371M
    if (cutValue-- == 0 || delta >= _cyclicBufferSize)
532
14.6M
    {
533
14.6M
      *ptr0 = *ptr1 = kEmptyHashValue;
534
14.6M
      return;
535
14.6M
    }
536
357M
    {
537
357M
      CLzRef *pair = son + ((size_t)(_cyclicBufferPos - delta + ((delta > _cyclicBufferPos) ? _cyclicBufferSize : 0)) << 1);
538
357M
      const Byte *pb = cur - delta;
539
357M
      unsigned len = (len0 < len1 ? len0 : len1);
540
357M
      if (pb[len] == cur[len])
541
280M
      {
542
4.23G
        while (++len != lenLimit)
543
4.13G
          if (pb[len] != cur[len])
544
181M
            break;
545
280M
        {
546
280M
          if (len == lenLimit)
547
98.9M
          {
548
98.9M
            *ptr1 = pair[0];
549
98.9M
            *ptr0 = pair[1];
550
98.9M
            return;
551
98.9M
          }
552
280M
        }
553
280M
      }
554
258M
      if (pb[len] < cur[len])
555
103M
      {
556
103M
        *ptr1 = curMatch;
557
103M
        ptr1 = pair + 1;
558
103M
        curMatch = *ptr1;
559
103M
        len1 = len;
560
103M
      }
561
154M
      else
562
154M
      {
563
154M
        *ptr0 = curMatch;
564
154M
        ptr0 = pair;
565
154M
        curMatch = *ptr0;
566
154M
        len0 = len;
567
154M
      }
568
258M
    }
569
258M
  }
570
113M
}
571
572
#define MOVE_POS \
573
465M
  ++p->cyclicBufferPos; \
574
465M
  p->buffer++; \
575
465M
  if (++p->pos == p->posLimit) MatchFinder_CheckLimits(p);
576
577
349M
#define MOVE_POS_RET MOVE_POS return (UInt32)offset;
578
579
44.7k
static void MatchFinder_MovePos(CMatchFinder *p) { MOVE_POS; }
580
581
#define GET_MATCHES_HEADER2(minLen, ret_op) \
582
465M
  unsigned lenLimit; UInt32 hv; const Byte *cur; UInt32 curMatch; \
583
465M
  lenLimit = (unsigned)p->lenLimit; { if (lenLimit < minLen) { MatchFinder_MovePos(p); ret_op; }} \
584
465M
  cur = p->buffer;
585
586
349M
#define GET_MATCHES_HEADER(minLen) GET_MATCHES_HEADER2(minLen, return 0)
587
116M
#define SKIP_HEADER(minLen)        GET_MATCHES_HEADER2(minLen, continue)
588
589
462M
#define MF_PARAMS(p) p->pos, p->buffer, p->son, p->cyclicBufferPos, p->cyclicBufferSize, p->cutValue
590
591
#define GET_MATCHES_FOOTER(offset, maxLen) \
592
346M
  offset = (unsigned)(GetMatchesSpec1((UInt32)lenLimit, curMatch, MF_PARAMS(p), \
593
346M
  distances + offset, (UInt32)maxLen) - distances); MOVE_POS_RET;
594
595
#define SKIP_FOOTER \
596
113M
  SkipMatchesSpec((UInt32)lenLimit, curMatch, MF_PARAMS(p)); MOVE_POS;
597
598
83.1M
#define UPDATE_maxLen { \
599
83.1M
    ptrdiff_t diff = (ptrdiff_t)0 - d2; \
600
83.1M
    const Byte *c = cur + maxLen; \
601
83.1M
    const Byte *lim = cur + lenLimit; \
602
208M
    for (; c != lim; c++) if (*(c + diff) != *c) break; \
603
83.1M
    maxLen = (unsigned)(c - cur); }
604
605
static UInt32 Bt2_MatchFinder_GetMatches(CMatchFinder *p, UInt32 *distances)
606
7.92M
{
607
7.92M
  unsigned offset;
608
7.92M
  GET_MATCHES_HEADER(2)
609
7.91M
  HASH2_CALC;
610
7.91M
  curMatch = p->hash[hv];
611
7.91M
  p->hash[hv] = p->pos;
612
7.91M
  offset = 0;
613
7.91M
  GET_MATCHES_FOOTER(offset, 1)
614
0
}
615
616
UInt32 Bt3Zip_MatchFinder_GetMatches(CMatchFinder *p, UInt32 *distances)
617
0
{
618
0
  unsigned offset;
619
0
  GET_MATCHES_HEADER(3)
620
0
  HASH_ZIP_CALC;
621
0
  curMatch = p->hash[hv];
622
0
  p->hash[hv] = p->pos;
623
0
  offset = 0;
624
0
  GET_MATCHES_FOOTER(offset, 2)
625
0
}
626
627
static UInt32 Bt3_MatchFinder_GetMatches(CMatchFinder *p, UInt32 *distances)
628
4.42M
{
629
4.42M
  UInt32 h2, d2, pos;
630
4.42M
  unsigned maxLen, offset;
631
4.42M
  UInt32 *hash;
632
4.42M
  GET_MATCHES_HEADER(3)
633
634
4.41M
  HASH3_CALC;
635
636
4.41M
  hash = p->hash;
637
4.41M
  pos = p->pos;
638
639
4.41M
  d2 = pos - hash[h2];
640
641
4.41M
  curMatch = (hash + kFix3HashSize)[hv];
642
  
643
4.41M
  hash[h2] = pos;
644
4.41M
  (hash + kFix3HashSize)[hv] = pos;
645
646
4.41M
  maxLen = 2;
647
4.41M
  offset = 0;
648
649
4.41M
  if (d2 < p->cyclicBufferSize && *(cur - d2) == *cur)
650
1.20M
  {
651
1.20M
    UPDATE_maxLen
652
1.20M
    distances[0] = (UInt32)maxLen;
653
1.20M
    distances[1] = d2 - 1;
654
1.20M
    offset = 2;
655
1.20M
    if (maxLen == lenLimit)
656
29.9k
    {
657
29.9k
      SkipMatchesSpec((UInt32)lenLimit, curMatch, MF_PARAMS(p));
658
29.9k
      MOVE_POS_RET;
659
0
    }
660
1.20M
  }
661
  
662
4.38M
  GET_MATCHES_FOOTER(offset, maxLen)
663
0
}
664
665
static UInt32 Bt4_MatchFinder_GetMatches(CMatchFinder *p, UInt32 *distances)
666
335M
{
667
335M
  UInt32 h2, h3, d2, d3, pos;
668
335M
  unsigned maxLen, offset;
669
335M
  UInt32 *hash;
670
335M
  GET_MATCHES_HEADER(4)
671
672
335M
  HASH4_CALC;
673
674
335M
  hash = p->hash;
675
335M
  pos = p->pos;
676
677
335M
  d2 = pos - hash                  [h2];
678
335M
  d3 = pos - (hash + kFix3HashSize)[h3];
679
680
335M
  curMatch = (hash + kFix4HashSize)[hv];
681
682
335M
  hash                  [h2] = pos;
683
335M
  (hash + kFix3HashSize)[h3] = pos;
684
335M
  (hash + kFix4HashSize)[hv] = pos;
685
686
335M
  maxLen = 0;
687
335M
  offset = 0;
688
  
689
335M
  if (d2 < p->cyclicBufferSize && *(cur - d2) == *cur)
690
62.8M
  {
691
62.8M
    maxLen = 2;
692
62.8M
    distances[0] = 2;
693
62.8M
    distances[1] = d2 - 1;
694
62.8M
    offset = 2;
695
62.8M
  }
696
  
697
335M
  if (d2 != d3 && d3 < p->cyclicBufferSize && *(cur - d3) == *cur)
698
40.0M
  {
699
40.0M
    maxLen = 3;
700
40.0M
    distances[(size_t)offset + 1] = d3 - 1;
701
40.0M
    offset += 2;
702
40.0M
    d2 = d3;
703
40.0M
  }
704
  
705
335M
  if (offset != 0)
706
81.3M
  {
707
81.3M
    UPDATE_maxLen
708
81.3M
    distances[(size_t)offset - 2] = (UInt32)maxLen;
709
81.3M
    if (maxLen == lenLimit)
710
428k
    {
711
428k
      SkipMatchesSpec((UInt32)lenLimit, curMatch, MF_PARAMS(p));
712
428k
      MOVE_POS_RET;
713
0
    }
714
81.3M
  }
715
  
716
334M
  if (maxLen < 3)
717
273M
    maxLen = 3;
718
  
719
334M
  GET_MATCHES_FOOTER(offset, maxLen)
720
0
}
721
722
/*
723
static UInt32 Bt5_MatchFinder_GetMatches(CMatchFinder *p, UInt32 *distances)
724
{
725
  UInt32 h2, h3, h4, d2, d3, d4, maxLen, offset, pos;
726
  UInt32 *hash;
727
  GET_MATCHES_HEADER(5)
728
729
  HASH5_CALC;
730
731
  hash = p->hash;
732
  pos = p->pos;
733
734
  d2 = pos - hash                  [h2];
735
  d3 = pos - (hash + kFix3HashSize)[h3];
736
  d4 = pos - (hash + kFix4HashSize)[h4];
737
738
  curMatch = (hash + kFix5HashSize)[hv];
739
740
  hash                  [h2] = pos;
741
  (hash + kFix3HashSize)[h3] = pos;
742
  (hash + kFix4HashSize)[h4] = pos;
743
  (hash + kFix5HashSize)[hv] = pos;
744
745
  maxLen = 0;
746
  offset = 0;
747
748
  if (d2 < p->cyclicBufferSize && *(cur - d2) == *cur)
749
  {
750
    distances[0] = maxLen = 2;
751
    distances[1] = d2 - 1;
752
    offset = 2;
753
    if (*(cur - d2 + 2) == cur[2])
754
      distances[0] = maxLen = 3;
755
    else if (d3 < p->cyclicBufferSize && *(cur - d3) == *cur)
756
    {
757
      distances[2] = maxLen = 3;
758
      distances[3] = d3 - 1;
759
      offset = 4;
760
      d2 = d3;
761
    }
762
  }
763
  else if (d3 < p->cyclicBufferSize && *(cur - d3) == *cur)
764
  {
765
    distances[0] = maxLen = 3;
766
    distances[1] = d3 - 1;
767
    offset = 2;
768
    d2 = d3;
769
  }
770
  
771
  if (d2 != d4 && d4 < p->cyclicBufferSize
772
      && *(cur - d4) == *cur
773
      && *(cur - d4 + 3) == *(cur + 3))
774
  {
775
    maxLen = 4;
776
    distances[(size_t)offset + 1] = d4 - 1;
777
    offset += 2;
778
    d2 = d4;
779
  }
780
  
781
  if (offset != 0)
782
  {
783
    UPDATE_maxLen
784
    distances[(size_t)offset - 2] = maxLen;
785
    if (maxLen == lenLimit)
786
    {
787
      SkipMatchesSpec(lenLimit, curMatch, MF_PARAMS(p));
788
      MOVE_POS_RET;
789
    }
790
  }
791
792
  if (maxLen < 4)
793
    maxLen = 4;
794
  
795
  GET_MATCHES_FOOTER(offset, maxLen)
796
}
797
*/
798
799
static UInt32 Hc4_MatchFinder_GetMatches(CMatchFinder *p, UInt32 *distances)
800
1.73M
{
801
1.73M
  UInt32 h2, h3, d2, d3, pos;
802
1.73M
  unsigned maxLen, offset;
803
1.73M
  UInt32 *hash;
804
1.73M
  GET_MATCHES_HEADER(4)
805
806
1.73M
  HASH4_CALC;
807
808
1.73M
  hash = p->hash;
809
1.73M
  pos = p->pos;
810
  
811
1.73M
  d2 = pos - hash                  [h2];
812
1.73M
  d3 = pos - (hash + kFix3HashSize)[h3];
813
1.73M
  curMatch = (hash + kFix4HashSize)[hv];
814
815
1.73M
  hash                  [h2] = pos;
816
1.73M
  (hash + kFix3HashSize)[h3] = pos;
817
1.73M
  (hash + kFix4HashSize)[hv] = pos;
818
819
1.73M
  maxLen = 0;
820
1.73M
  offset = 0;
821
822
1.73M
  if (d2 < p->cyclicBufferSize && *(cur - d2) == *cur)
823
559k
  {
824
559k
    maxLen = 2;
825
559k
    distances[0] = 2;
826
559k
    distances[1] = d2 - 1;
827
559k
    offset = 2;
828
559k
  }
829
  
830
1.73M
  if (d2 != d3 && d3 < p->cyclicBufferSize && *(cur - d3) == *cur)
831
241k
  {
832
241k
    maxLen = 3;
833
241k
    distances[(size_t)offset + 1] = d3 - 1;
834
241k
    offset += 2;
835
241k
    d2 = d3;
836
241k
  }
837
  
838
1.73M
  if (offset != 0)
839
591k
  {
840
591k
    UPDATE_maxLen
841
591k
    distances[(size_t)offset - 2] = (UInt32)maxLen;
842
591k
    if (maxLen == lenLimit)
843
62.9k
    {
844
62.9k
      p->son[p->cyclicBufferPos] = curMatch;
845
62.9k
      MOVE_POS_RET;
846
0
    }
847
591k
  }
848
  
849
1.66M
  if (maxLen < 3)
850
1.25M
    maxLen = 3;
851
852
1.66M
  offset = (unsigned)(Hc_GetMatchesSpec(lenLimit, curMatch, MF_PARAMS(p),
853
1.66M
      distances + offset, maxLen) - (distances));
854
1.66M
  MOVE_POS_RET
855
1.73M
}
856
857
/*
858
static UInt32 Hc5_MatchFinder_GetMatches(CMatchFinder *p, UInt32 *distances)
859
{
860
  UInt32 h2, h3, h4, d2, d3, d4, maxLen, offset, pos
861
  UInt32 *hash;
862
  GET_MATCHES_HEADER(5)
863
864
  HASH5_CALC;
865
866
  hash = p->hash;
867
  pos = p->pos;
868
  
869
  d2 = pos - hash                  [h2];
870
  d3 = pos - (hash + kFix3HashSize)[h3];
871
  d4 = pos - (hash + kFix4HashSize)[h4];
872
873
  curMatch = (hash + kFix5HashSize)[hv];
874
875
  hash                  [h2] = pos;
876
  (hash + kFix3HashSize)[h3] = pos;
877
  (hash + kFix4HashSize)[h4] = pos;
878
  (hash + kFix5HashSize)[hv] = pos;
879
880
  maxLen = 0;
881
  offset = 0;
882
883
  if (d2 < p->cyclicBufferSize && *(cur - d2) == *cur)
884
  {
885
    distances[0] = maxLen = 2;
886
    distances[1] = d2 - 1;
887
    offset = 2;
888
    if (*(cur - d2 + 2) == cur[2])
889
      distances[0] = maxLen = 3;
890
    else if (d3 < p->cyclicBufferSize && *(cur - d3) == *cur)
891
    {
892
      distances[2] = maxLen = 3;
893
      distances[3] = d3 - 1;
894
      offset = 4;
895
      d2 = d3;
896
    }
897
  }
898
  else if (d3 < p->cyclicBufferSize && *(cur - d3) == *cur)
899
  {
900
    distances[0] = maxLen = 3;
901
    distances[1] = d3 - 1;
902
    offset = 2;
903
    d2 = d3;
904
  }
905
  
906
  if (d2 != d4 && d4 < p->cyclicBufferSize
907
      && *(cur - d4) == *cur
908
      && *(cur - d4 + 3) == *(cur + 3))
909
  {
910
    maxLen = 4;
911
    distances[(size_t)offset + 1] = d4 - 1;
912
    offset += 2;
913
    d2 = d4;
914
  }
915
  
916
  if (offset != 0)
917
  {
918
    UPDATE_maxLen
919
    distances[(size_t)offset - 2] = maxLen;
920
    if (maxLen == lenLimit)
921
    {
922
      p->son[p->cyclicBufferPos] = curMatch;
923
      MOVE_POS_RET;
924
    }
925
  }
926
  
927
  if (maxLen < 4)
928
    maxLen = 4;
929
930
  offset = (UInt32)(Hc_GetMatchesSpec(lenLimit, curMatch, MF_PARAMS(p),
931
      distances + offset, maxLen) - (distances));
932
  MOVE_POS_RET
933
}
934
*/
935
936
UInt32 Hc3Zip_MatchFinder_GetMatches(CMatchFinder *p, UInt32 *distances)
937
0
{
938
0
  unsigned offset;
939
0
  GET_MATCHES_HEADER(3)
940
0
  HASH_ZIP_CALC;
941
0
  curMatch = p->hash[hv];
942
0
  p->hash[hv] = p->pos;
943
0
  offset = (unsigned)(Hc_GetMatchesSpec(lenLimit, curMatch, MF_PARAMS(p),
944
0
      distances, 2) - (distances));
945
0
  MOVE_POS_RET
946
0
}
947
948
static void Bt2_MatchFinder_Skip(CMatchFinder *p, UInt32 num)
949
172k
{
950
172k
  do
951
3.59M
  {
952
3.59M
    SKIP_HEADER(2)
953
3.58M
    HASH2_CALC;
954
3.58M
    curMatch = p->hash[hv];
955
3.58M
    p->hash[hv] = p->pos;
956
3.58M
    SKIP_FOOTER
957
3.58M
  }
958
3.59M
  while (--num != 0);
959
172k
}
960
961
void Bt3Zip_MatchFinder_Skip(CMatchFinder *p, UInt32 num)
962
0
{
963
0
  do
964
0
  {
965
0
    SKIP_HEADER(3)
966
0
    HASH_ZIP_CALC;
967
0
    curMatch = p->hash[hv];
968
0
    p->hash[hv] = p->pos;
969
0
    SKIP_FOOTER
970
0
  }
971
0
  while (--num != 0);
972
0
}
973
974
static void Bt3_MatchFinder_Skip(CMatchFinder *p, UInt32 num)
975
174k
{
976
174k
  do
977
5.35M
  {
978
5.35M
    UInt32 h2;
979
5.35M
    UInt32 *hash;
980
5.35M
    SKIP_HEADER(3)
981
5.34M
    HASH3_CALC;
982
5.34M
    hash = p->hash;
983
5.34M
    curMatch = (hash + kFix3HashSize)[hv];
984
5.34M
    hash[h2] =
985
5.34M
    (hash + kFix3HashSize)[hv] = p->pos;
986
5.34M
    SKIP_FOOTER
987
5.34M
  }
988
5.35M
  while (--num != 0);
989
174k
}
990
991
static void Bt4_MatchFinder_Skip(CMatchFinder *p, UInt32 num)
992
852k
{
993
852k
  do
994
104M
  {
995
104M
    UInt32 h2, h3;
996
104M
    UInt32 *hash;
997
104M
    SKIP_HEADER(4)
998
104M
    HASH4_CALC;
999
104M
    hash = p->hash;
1000
104M
    curMatch = (hash + kFix4HashSize)[hv];
1001
104M
    hash                  [h2] =
1002
104M
    (hash + kFix3HashSize)[h3] =
1003
104M
    (hash + kFix4HashSize)[hv] = p->pos;
1004
104M
    SKIP_FOOTER
1005
104M
  }
1006
104M
  while (--num != 0);
1007
852k
}
1008
1009
/*
1010
static void Bt5_MatchFinder_Skip(CMatchFinder *p, UInt32 num)
1011
{
1012
  do
1013
  {
1014
    UInt32 h2, h3, h4;
1015
    UInt32 *hash;
1016
    SKIP_HEADER(5)
1017
    HASH5_CALC;
1018
    hash = p->hash;
1019
    curMatch = (hash + kFix5HashSize)[hv];
1020
    hash                  [h2] =
1021
    (hash + kFix3HashSize)[h3] =
1022
    (hash + kFix4HashSize)[h4] =
1023
    (hash + kFix5HashSize)[hv] = p->pos;
1024
    SKIP_FOOTER
1025
  }
1026
  while (--num != 0);
1027
}
1028
*/
1029
1030
static void Hc4_MatchFinder_Skip(CMatchFinder *p, UInt32 num)
1031
162k
{
1032
162k
  do
1033
3.39M
  {
1034
3.39M
    UInt32 h2, h3;
1035
3.39M
    UInt32 *hash;
1036
3.39M
    SKIP_HEADER(4)
1037
3.39M
    HASH4_CALC;
1038
3.39M
    hash = p->hash;
1039
3.39M
    curMatch = (hash + kFix4HashSize)[hv];
1040
3.39M
    hash                  [h2] =
1041
3.39M
    (hash + kFix3HashSize)[h3] =
1042
3.39M
    (hash + kFix4HashSize)[hv] = p->pos;
1043
3.39M
    p->son[p->cyclicBufferPos] = curMatch;
1044
3.39M
    MOVE_POS
1045
3.39M
  }
1046
3.39M
  while (--num != 0);
1047
162k
}
1048
1049
/*
1050
static void Hc5_MatchFinder_Skip(CMatchFinder *p, UInt32 num)
1051
{
1052
  do
1053
  {
1054
    UInt32 h2, h3, h4;
1055
    UInt32 *hash;
1056
    SKIP_HEADER(5)
1057
    HASH5_CALC;
1058
    hash = p->hash;
1059
    curMatch = hash + kFix5HashSize)[hv];
1060
    hash                  [h2] =
1061
    (hash + kFix3HashSize)[h3] =
1062
    (hash + kFix4HashSize)[h4] =
1063
    (hash + kFix5HashSize)[hv] = p->pos;
1064
    p->son[p->cyclicBufferPos] = curMatch;
1065
    MOVE_POS
1066
  }
1067
  while (--num != 0);
1068
}
1069
*/
1070
1071
void Hc3Zip_MatchFinder_Skip(CMatchFinder *p, UInt32 num)
1072
0
{
1073
0
  do
1074
0
  {
1075
0
    SKIP_HEADER(3)
1076
0
    HASH_ZIP_CALC;
1077
0
    curMatch = p->hash[hv];
1078
0
    p->hash[hv] = p->pos;
1079
0
    p->son[p->cyclicBufferPos] = curMatch;
1080
0
    MOVE_POS
1081
0
  }
1082
0
  while (--num != 0);
1083
0
}
1084
1085
void MatchFinder_CreateVTable(CMatchFinder *p, IMatchFinder *vTable)
1086
19.6k
{
1087
19.6k
  vTable->Init = (Mf_Init_Func)MatchFinder_Init;
1088
19.6k
  vTable->GetNumAvailableBytes = (Mf_GetNumAvailableBytes_Func)MatchFinder_GetNumAvailableBytes;
1089
19.6k
  vTable->GetPointerToCurrentPos = (Mf_GetPointerToCurrentPos_Func)MatchFinder_GetPointerToCurrentPos;
1090
19.6k
  if (!p->btMode)
1091
2.34k
  {
1092
    /* if (p->numHashBytes <= 4) */
1093
2.34k
    {
1094
2.34k
      vTable->GetMatches = (Mf_GetMatches_Func)Hc4_MatchFinder_GetMatches;
1095
2.34k
      vTable->Skip = (Mf_Skip_Func)Hc4_MatchFinder_Skip;
1096
2.34k
    }
1097
    /*
1098
    else
1099
    {
1100
      vTable->GetMatches = (Mf_GetMatches_Func)Hc5_MatchFinder_GetMatches;
1101
      vTable->Skip = (Mf_Skip_Func)Hc5_MatchFinder_Skip;
1102
    }
1103
    */
1104
2.34k
  }
1105
17.3k
  else if (p->numHashBytes == 2)
1106
5.76k
  {
1107
5.76k
    vTable->GetMatches = (Mf_GetMatches_Func)Bt2_MatchFinder_GetMatches;
1108
5.76k
    vTable->Skip = (Mf_Skip_Func)Bt2_MatchFinder_Skip;
1109
5.76k
  }
1110
11.5k
  else if (p->numHashBytes == 3)
1111
2.57k
  {
1112
2.57k
    vTable->GetMatches = (Mf_GetMatches_Func)Bt3_MatchFinder_GetMatches;
1113
2.57k
    vTable->Skip = (Mf_Skip_Func)Bt3_MatchFinder_Skip;
1114
2.57k
  }
1115
8.98k
  else /* if (p->numHashBytes == 4) */
1116
8.98k
  {
1117
8.98k
    vTable->GetMatches = (Mf_GetMatches_Func)Bt4_MatchFinder_GetMatches;
1118
8.98k
    vTable->Skip = (Mf_Skip_Func)Bt4_MatchFinder_Skip;
1119
8.98k
  }
1120
  /*
1121
  else
1122
  {
1123
    vTable->GetMatches = (Mf_GetMatches_Func)Bt5_MatchFinder_GetMatches;
1124
    vTable->Skip = (Mf_Skip_Func)Bt5_MatchFinder_Skip;
1125
  }
1126
  */
1127
19.6k
}