Coverage Report

Created: 2024-07-27 06:17

/src/lzma-fuzz/sdk/C/LzFind.c
Line
Count
Source (jump to first uncovered line)
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
66.0G
#define kEmptyHashValue 0
12
2.09M
#define kMaxValForNormalize ((UInt32)0xFFFFFFFF)
13
0
#define kNormalizeStepMin (1 << 10) /* it must be power of 2 */
14
0
#define kNormalizeMask (~(UInt32)(kNormalizeStepMin - 1))
15
7.77k
#define kMaxHistorySize ((UInt32)7 << 29)
16
17
#define kStartMaxLen 3
18
19
static void LzInWindow_Free(CMatchFinder *p, ISzAllocPtr alloc)
20
15.5k
{
21
15.5k
  if (!p->directInput)
22
15.5k
  {
23
15.5k
    ISzAlloc_Free(alloc, p->bufferBase);
24
15.5k
    p->bufferBase = NULL;
25
15.5k
  }
26
15.5k
}
27
28
/* keepSizeBefore + keepSizeAfter + keepSizeReserv must be < 4G) */
29
30
static int LzInWindow_Create(CMatchFinder *p, UInt32 keepSizeReserv, ISzAllocPtr alloc)
31
7.77k
{
32
7.77k
  UInt32 blockSize = p->keepSizeBefore + p->keepSizeAfter + keepSizeReserv;
33
7.77k
  if (p->directInput)
34
0
  {
35
0
    p->blockSize = blockSize;
36
0
    return 1;
37
0
  }
38
7.77k
  if (!p->bufferBase || p->blockSize != blockSize)
39
7.77k
  {
40
7.77k
    LzInWindow_Free(p, alloc);
41
7.77k
    p->blockSize = blockSize;
42
7.77k
    p->bufferBase = (Byte *)ISzAlloc_Alloc(alloc, (size_t)blockSize);
43
7.77k
  }
44
7.77k
  return (p->bufferBase != NULL);
45
7.77k
}
46
47
558M
Byte *MatchFinder_GetPointerToCurrentPos(CMatchFinder *p) { return p->buffer; }
48
49
536M
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
11.2k
{
60
11.2k
  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
11.2k
  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
11.2k
  for (;;)
78
17.4k
  {
79
17.4k
    Byte *dest = p->buffer + (p->streamPos - p->pos);
80
17.4k
    size_t size = (p->bufferBase + p->blockSize - dest);
81
17.4k
    if (size == 0)
82
0
      return;
83
84
17.4k
    p->result = ISeqInStream_Read(p->stream, dest, &size);
85
17.4k
    if (p->result != SZ_OK)
86
0
      return;
87
17.4k
    if (size == 0)
88
7.77k
    {
89
7.77k
      p->streamEndWasReached = 1;
90
7.77k
      return;
91
7.77k
    }
92
9.62k
    p->streamPos += (UInt32)size;
93
9.62k
    if (p->streamPos - p->pos > p->keepSizeAfter)
94
3.51k
      return;
95
9.62k
  }
96
11.2k
}
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
3.51k
{
108
3.51k
  if (p->directInput)
109
0
    return 0;
110
  /* if (p->streamEndWasReached) return 0; */
111
3.51k
  return ((size_t)(p->bufferBase + p->blockSize - p->buffer) <= p->keepSizeAfter);
112
3.51k
}
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
3.51k
{
124
3.51k
  if (MatchFinder_NeedMove(p))
125
0
    MatchFinder_MoveBlock(p);
126
3.51k
  MatchFinder_ReadBlock(p);
127
3.51k
}
128
129
static void MatchFinder_SetDefaultSettings(CMatchFinder *p)
130
7.77k
{
131
7.77k
  p->cutValue = 32;
132
7.77k
  p->btMode = 1;
133
7.77k
  p->numHashBytes = 4;
134
7.77k
  p->bigHash = 0;
135
7.77k
}
136
137
15.9M
#define kCrcPoly 0xEDB88320
138
139
void MatchFinder_Construct(CMatchFinder *p)
140
7.77k
{
141
7.77k
  unsigned i;
142
7.77k
  p->bufferBase = NULL;
143
7.77k
  p->directInput = 0;
144
7.77k
  p->hash = NULL;
145
7.77k
  p->expectedDataSize = (UInt64)(Int64)-1;
146
7.77k
  MatchFinder_SetDefaultSettings(p);
147
148
1.99M
  for (i = 0; i < 256; i++)
149
1.99M
  {
150
1.99M
    UInt32 r = (UInt32)i;
151
1.99M
    unsigned j;
152
17.9M
    for (j = 0; j < 8; j++)
153
15.9M
      r = (r >> 1) ^ (kCrcPoly & ((UInt32)0 - (r & 1)));
154
1.99M
    p->crc[i] = r;
155
1.99M
  }
156
7.77k
}
157
158
static void MatchFinder_FreeThisClassMemory(CMatchFinder *p, ISzAllocPtr alloc)
159
15.5k
{
160
15.5k
  ISzAlloc_Free(alloc, p->hash);
161
15.5k
  p->hash = NULL;
162
15.5k
}
163
164
void MatchFinder_Free(CMatchFinder *p, ISzAllocPtr alloc)
165
7.77k
{
166
7.77k
  MatchFinder_FreeThisClassMemory(p, alloc);
167
7.77k
  LzInWindow_Free(p, alloc);
168
7.77k
}
169
170
static CLzRef* AllocRefs(size_t num, ISzAllocPtr alloc)
171
7.77k
{
172
7.77k
  size_t sizeInBytes = (size_t)num * sizeof(CLzRef);
173
7.77k
  if (sizeInBytes / sizeof(CLzRef) != num)
174
0
    return NULL;
175
7.77k
  return (CLzRef *)ISzAlloc_Alloc(alloc, sizeInBytes);
176
7.77k
}
177
178
int MatchFinder_Create(CMatchFinder *p, UInt32 historySize,
179
    UInt32 keepAddBufferBefore, UInt32 matchMaxLen, UInt32 keepAddBufferAfter,
180
    ISzAllocPtr alloc)
181
7.77k
{
182
7.77k
  UInt32 sizeReserv;
183
  
184
7.77k
  if (historySize > kMaxHistorySize)
185
0
  {
186
0
    MatchFinder_Free(p, alloc);
187
0
    return 0;
188
0
  }
189
  
190
7.77k
  sizeReserv = historySize >> 1;
191
7.77k
       if (historySize >= ((UInt32)3 << 30)) sizeReserv = historySize >> 3;
192
7.77k
  else if (historySize >= ((UInt32)2 << 30)) sizeReserv = historySize >> 2;
193
  
194
7.77k
  sizeReserv += (keepAddBufferBefore + matchMaxLen + keepAddBufferAfter) / 2 + (1 << 19);
195
196
7.77k
  p->keepSizeBefore = historySize + keepAddBufferBefore + 1;
197
7.77k
  p->keepSizeAfter = matchMaxLen + keepAddBufferAfter;
198
  
199
  /* we need one additional byte, since we use MoveBlock after pos++ and before dictionary using */
200
  
201
7.77k
  if (LzInWindow_Create(p, sizeReserv, alloc))
202
7.77k
  {
203
7.77k
    UInt32 newCyclicBufferSize = historySize + 1;
204
7.77k
    UInt32 hs;
205
7.77k
    p->matchMaxLen = matchMaxLen;
206
7.77k
    {
207
7.77k
      p->fixedHashSize = 0;
208
7.77k
      if (p->numHashBytes == 2)
209
0
        hs = (1 << 16) - 1;
210
7.77k
      else
211
7.77k
      {
212
7.77k
        hs = historySize;
213
7.77k
        if (hs > p->expectedDataSize)
214
0
          hs = (UInt32)p->expectedDataSize;
215
7.77k
        if (hs != 0)
216
7.77k
          hs--;
217
7.77k
        hs |= (hs >> 1);
218
7.77k
        hs |= (hs >> 2);
219
7.77k
        hs |= (hs >> 4);
220
7.77k
        hs |= (hs >> 8);
221
7.77k
        hs >>= 1;
222
7.77k
        hs |= 0xFFFF; /* don't change it! It's required for Deflate */
223
7.77k
        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
7.77k
      }
232
7.77k
      p->hashMask = hs;
233
7.77k
      hs++;
234
7.77k
      if (p->numHashBytes > 2) p->fixedHashSize += kHash2Size;
235
7.77k
      if (p->numHashBytes > 3) p->fixedHashSize += kHash3Size;
236
7.77k
      if (p->numHashBytes > 4) p->fixedHashSize += kHash4Size;
237
7.77k
      hs += p->fixedHashSize;
238
7.77k
    }
239
240
7.77k
    {
241
7.77k
      size_t newSize;
242
7.77k
      size_t numSons;
243
7.77k
      p->historySize = historySize;
244
7.77k
      p->hashSizeSum = hs;
245
7.77k
      p->cyclicBufferSize = newCyclicBufferSize;
246
      
247
7.77k
      numSons = newCyclicBufferSize;
248
7.77k
      if (p->btMode)
249
7.77k
        numSons <<= 1;
250
7.77k
      newSize = hs + numSons;
251
252
7.77k
      if (p->hash && p->numRefs == newSize)
253
0
        return 1;
254
      
255
7.77k
      MatchFinder_FreeThisClassMemory(p, alloc);
256
7.77k
      p->numRefs = newSize;
257
7.77k
      p->hash = AllocRefs(newSize, alloc);
258
      
259
7.77k
      if (p->hash)
260
7.77k
      {
261
7.77k
        p->son = p->hash + p->hashSizeSum;
262
7.77k
        return 1;
263
7.77k
      }
264
7.77k
    }
265
7.77k
  }
266
267
0
  MatchFinder_Free(p, alloc);
268
0
  return 0;
269
7.77k
}
270
271
static void MatchFinder_SetLimits(CMatchFinder *p)
272
1.05M
{
273
1.05M
  UInt32 limit = kMaxValForNormalize - p->pos;
274
1.05M
  UInt32 limit2 = p->cyclicBufferSize - p->cyclicBufferPos;
275
  
276
1.05M
  if (limit2 < limit)
277
1.05M
    limit = limit2;
278
1.05M
  limit2 = p->streamPos - p->pos;
279
  
280
1.05M
  if (limit2 <= p->keepSizeAfter)
281
1.04M
  {
282
1.04M
    if (limit2 > 0)
283
1.03M
      limit2 = 1;
284
1.04M
  }
285
3.51k
  else
286
3.51k
    limit2 -= p->keepSizeAfter;
287
  
288
1.05M
  if (limit2 < limit)
289
1.05M
    limit = limit2;
290
  
291
1.05M
  {
292
1.05M
    UInt32 lenLimit = p->streamPos - p->pos;
293
1.05M
    if (lenLimit > p->matchMaxLen)
294
852k
      lenLimit = p->matchMaxLen;
295
1.05M
    p->lenLimit = lenLimit;
296
1.05M
  }
297
1.05M
  p->posLimit = p->pos + limit;
298
1.05M
}
299
300
301
void MatchFinder_Init_LowHash(CMatchFinder *p)
302
7.77k
{
303
7.77k
  size_t i;
304
7.77k
  CLzRef *items = p->hash;
305
7.77k
  size_t numItems = p->fixedHashSize;
306
517M
  for (i = 0; i < numItems; i++)
307
517M
    items[i] = kEmptyHashValue;
308
7.77k
}
309
310
311
void MatchFinder_Init_HighHash(CMatchFinder *p)
312
7.77k
{
313
7.77k
  size_t i;
314
7.77k
  CLzRef *items = p->hash + p->fixedHashSize;
315
7.77k
  size_t numItems = (size_t)p->hashMask + 1;
316
65.2G
  for (i = 0; i < numItems; i++)
317
65.2G
    items[i] = kEmptyHashValue;
318
7.77k
}
319
320
321
void MatchFinder_Init_3(CMatchFinder *p, int readData)
322
7.77k
{
323
7.77k
  p->cyclicBufferPos = 0;
324
7.77k
  p->buffer = p->bufferBase;
325
7.77k
  p->pos =
326
7.77k
  p->streamPos = p->cyclicBufferSize;
327
7.77k
  p->result = SZ_OK;
328
7.77k
  p->streamEndWasReached = 0;
329
  
330
7.77k
  if (readData)
331
7.77k
    MatchFinder_ReadBlock(p);
332
  
333
7.77k
  MatchFinder_SetLimits(p);
334
7.77k
}
335
336
337
void MatchFinder_Init(CMatchFinder *p)
338
7.77k
{
339
7.77k
  MatchFinder_Init_HighHash(p);
340
7.77k
  MatchFinder_Init_LowHash(p);
341
7.77k
  MatchFinder_Init_3(p, True);
342
7.77k
}
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
1.04M
{
375
1.04M
  if (p->pos == kMaxValForNormalize)
376
0
    MatchFinder_Normalize(p);
377
1.04M
  if (!p->streamEndWasReached && p->keepSizeAfter == p->streamPos - p->pos)
378
3.51k
    MatchFinder_CheckAndMoveAndRead(p);
379
1.04M
  if (p->cyclicBufferPos == p->cyclicBufferSize)
380
0
    p->cyclicBufferPos = 0;
381
1.04M
  MatchFinder_SetLimits(p);
382
1.04M
}
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
0
{
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
0
  const Byte *lim = cur + lenLimit;
423
0
  son[_cyclicBufferPos] = curMatch;
424
0
  do
425
0
  {
426
0
    UInt32 delta = pos - curMatch;
427
0
    if (delta >= _cyclicBufferSize)
428
0
      break;
429
0
    {
430
0
      ptrdiff_t diff;
431
0
      curMatch = son[_cyclicBufferPos - delta + ((delta > _cyclicBufferPos) ? _cyclicBufferSize : 0)];
432
0
      diff = (ptrdiff_t)0 - delta;
433
0
      if (cur[maxLen] == cur[maxLen + diff])
434
0
      {
435
0
        const Byte *c = cur;
436
0
        while (*c == c[diff])
437
0
        {
438
0
          if (++c == lim)
439
0
          {
440
0
            distances[0] = (UInt32)(lim - cur);
441
0
            distances[1] = delta - 1;
442
0
            return distances + 2;
443
0
          }
444
0
        }
445
0
        {
446
0
          unsigned len = (unsigned)(c - cur);
447
0
          if (maxLen < len)
448
0
          {
449
0
            maxLen = len;
450
0
            distances[0] = (UInt32)len;
451
0
            distances[1] = delta - 1;
452
0
            distances += 2;
453
0
          }
454
0
        }
455
0
      }
456
0
    }
457
0
  }
458
0
  while (--cutValue);
459
  
460
0
  return distances;
461
0
}
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
312M
{
469
312M
  CLzRef *ptr0 = son + ((size_t)_cyclicBufferPos << 1) + 1;
470
312M
  CLzRef *ptr1 = son + ((size_t)_cyclicBufferPos << 1);
471
312M
  unsigned len0 = 0, len1 = 0;
472
312M
  for (;;)
473
620M
  {
474
620M
    UInt32 delta = pos - curMatch;
475
620M
    if (cutValue-- == 0 || delta >= _cyclicBufferSize)
476
311M
    {
477
311M
      *ptr0 = *ptr1 = kEmptyHashValue;
478
311M
      return distances;
479
311M
    }
480
308M
    {
481
308M
      CLzRef *pair = son + ((size_t)(_cyclicBufferPos - delta + ((delta > _cyclicBufferPos) ? _cyclicBufferSize : 0)) << 1);
482
308M
      const Byte *pb = cur - delta;
483
308M
      unsigned len = (len0 < len1 ? len0 : len1);
484
308M
      UInt32 pair0 = pair[0];
485
308M
      if (pb[len] == cur[len])
486
119M
      {
487
119M
        if (++len != lenLimit && pb[len] == cur[len])
488
576M
          while (++len != lenLimit)
489
576M
            if (pb[len] != cur[len])
490
100M
              break;
491
119M
        if (maxLen < len)
492
36.3M
        {
493
36.3M
          maxLen = (UInt32)len;
494
36.3M
          *distances++ = (UInt32)len;
495
36.3M
          *distances++ = delta - 1;
496
36.3M
          if (len == lenLimit)
497
377k
          {
498
377k
            *ptr1 = pair0;
499
377k
            *ptr0 = pair[1];
500
377k
            return distances;
501
377k
          }
502
36.3M
        }
503
119M
      }
504
308M
      if (pb[len] < cur[len])
505
100M
      {
506
100M
        *ptr1 = curMatch;
507
100M
        ptr1 = pair + 1;
508
100M
        curMatch = *ptr1;
509
100M
        len1 = len;
510
100M
      }
511
207M
      else
512
207M
      {
513
207M
        *ptr0 = curMatch;
514
207M
        ptr0 = pair;
515
207M
        curMatch = *ptr0;
516
207M
        len0 = len;
517
207M
      }
518
308M
    }
519
308M
  }
520
312M
}
521
522
static void SkipMatchesSpec(UInt32 lenLimit, UInt32 curMatch, UInt32 pos, const Byte *cur, CLzRef *son,
523
    UInt32 _cyclicBufferPos, UInt32 _cyclicBufferSize, UInt32 cutValue)
524
131M
{
525
131M
  CLzRef *ptr0 = son + ((size_t)_cyclicBufferPos << 1) + 1;
526
131M
  CLzRef *ptr1 = son + ((size_t)_cyclicBufferPos << 1);
527
131M
  unsigned len0 = 0, len1 = 0;
528
131M
  for (;;)
529
482M
  {
530
482M
    UInt32 delta = pos - curMatch;
531
482M
    if (cutValue-- == 0 || delta >= _cyclicBufferSize)
532
15.3M
    {
533
15.3M
      *ptr0 = *ptr1 = kEmptyHashValue;
534
15.3M
      return;
535
15.3M
    }
536
467M
    {
537
467M
      CLzRef *pair = son + ((size_t)(_cyclicBufferPos - delta + ((delta > _cyclicBufferPos) ? _cyclicBufferSize : 0)) << 1);
538
467M
      const Byte *pb = cur - delta;
539
467M
      unsigned len = (len0 < len1 ? len0 : len1);
540
467M
      if (pb[len] == cur[len])
541
304M
      {
542
4.73G
        while (++len != lenLimit)
543
4.61G
          if (pb[len] != cur[len])
544
188M
            break;
545
304M
        {
546
304M
          if (len == lenLimit)
547
116M
          {
548
116M
            *ptr1 = pair[0];
549
116M
            *ptr0 = pair[1];
550
116M
            return;
551
116M
          }
552
304M
        }
553
304M
      }
554
351M
      if (pb[len] < cur[len])
555
100M
      {
556
100M
        *ptr1 = curMatch;
557
100M
        ptr1 = pair + 1;
558
100M
        curMatch = *ptr1;
559
100M
        len1 = len;
560
100M
      }
561
250M
      else
562
250M
      {
563
250M
        *ptr0 = curMatch;
564
250M
        ptr0 = pair;
565
250M
        curMatch = *ptr0;
566
250M
        len0 = len;
567
250M
      }
568
351M
    }
569
351M
  }
570
131M
}
571
572
#define MOVE_POS \
573
443M
  ++p->cyclicBufferPos; \
574
443M
  p->buffer++; \
575
443M
  if (++p->pos == p->posLimit) MatchFinder_CheckLimits(p);
576
577
312M
#define MOVE_POS_RET MOVE_POS return (UInt32)offset;
578
579
23.3k
static void MatchFinder_MovePos(CMatchFinder *p) { MOVE_POS; }
580
581
#define GET_MATCHES_HEADER2(minLen, ret_op) \
582
443M
  unsigned lenLimit; UInt32 hv; const Byte *cur; UInt32 curMatch; \
583
443M
  lenLimit = (unsigned)p->lenLimit; { if (lenLimit < minLen) { MatchFinder_MovePos(p); ret_op; }} \
584
443M
  cur = p->buffer;
585
586
312M
#define GET_MATCHES_HEADER(minLen) GET_MATCHES_HEADER2(minLen, return 0)
587
131M
#define SKIP_HEADER(minLen)        GET_MATCHES_HEADER2(minLen, continue)
588
589
443M
#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
312M
  offset = (unsigned)(GetMatchesSpec1((UInt32)lenLimit, curMatch, MF_PARAMS(p), \
593
312M
  distances + offset, (UInt32)maxLen) - distances); MOVE_POS_RET;
594
595
#define SKIP_FOOTER \
596
131M
  SkipMatchesSpec((UInt32)lenLimit, curMatch, MF_PARAMS(p)); MOVE_POS;
597
598
76.2M
#define UPDATE_maxLen { \
599
76.2M
    ptrdiff_t diff = (ptrdiff_t)0 - d2; \
600
76.2M
    const Byte *c = cur + maxLen; \
601
76.2M
    const Byte *lim = cur + lenLimit; \
602
215M
    for (; c != lim; c++) if (*(c + diff) != *c) break; \
603
76.2M
    maxLen = (unsigned)(c - cur); }
604
605
static UInt32 Bt2_MatchFinder_GetMatches(CMatchFinder *p, UInt32 *distances)
606
0
{
607
0
  unsigned offset;
608
0
  GET_MATCHES_HEADER(2)
609
0
  HASH2_CALC;
610
0
  curMatch = p->hash[hv];
611
0
  p->hash[hv] = p->pos;
612
0
  offset = 0;
613
0
  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
0
{
629
0
  UInt32 h2, d2, pos;
630
0
  unsigned maxLen, offset;
631
0
  UInt32 *hash;
632
0
  GET_MATCHES_HEADER(3)
633
634
0
  HASH3_CALC;
635
636
0
  hash = p->hash;
637
0
  pos = p->pos;
638
639
0
  d2 = pos - hash[h2];
640
641
0
  curMatch = (hash + kFix3HashSize)[hv];
642
  
643
0
  hash[h2] = pos;
644
0
  (hash + kFix3HashSize)[hv] = pos;
645
646
0
  maxLen = 2;
647
0
  offset = 0;
648
649
0
  if (d2 < p->cyclicBufferSize && *(cur - d2) == *cur)
650
0
  {
651
0
    UPDATE_maxLen
652
0
    distances[0] = (UInt32)maxLen;
653
0
    distances[1] = d2 - 1;
654
0
    offset = 2;
655
0
    if (maxLen == lenLimit)
656
0
    {
657
0
      SkipMatchesSpec((UInt32)lenLimit, curMatch, MF_PARAMS(p));
658
0
      MOVE_POS_RET;
659
0
    }
660
0
  }
661
  
662
0
  GET_MATCHES_FOOTER(offset, maxLen)
663
0
}
664
665
static UInt32 Bt4_MatchFinder_GetMatches(CMatchFinder *p, UInt32 *distances)
666
312M
{
667
312M
  UInt32 h2, h3, d2, d3, pos;
668
312M
  unsigned maxLen, offset;
669
312M
  UInt32 *hash;
670
312M
  GET_MATCHES_HEADER(4)
671
672
312M
  HASH4_CALC;
673
674
312M
  hash = p->hash;
675
312M
  pos = p->pos;
676
677
312M
  d2 = pos - hash                  [h2];
678
312M
  d3 = pos - (hash + kFix3HashSize)[h3];
679
680
312M
  curMatch = (hash + kFix4HashSize)[hv];
681
682
312M
  hash                  [h2] = pos;
683
312M
  (hash + kFix3HashSize)[h3] = pos;
684
312M
  (hash + kFix4HashSize)[hv] = pos;
685
686
312M
  maxLen = 0;
687
312M
  offset = 0;
688
  
689
312M
  if (d2 < p->cyclicBufferSize && *(cur - d2) == *cur)
690
62.0M
  {
691
62.0M
    maxLen = 2;
692
62.0M
    distances[0] = 2;
693
62.0M
    distances[1] = d2 - 1;
694
62.0M
    offset = 2;
695
62.0M
  }
696
  
697
312M
  if (d2 != d3 && d3 < p->cyclicBufferSize && *(cur - d3) == *cur)
698
33.4M
  {
699
33.4M
    maxLen = 3;
700
33.4M
    distances[(size_t)offset + 1] = d3 - 1;
701
33.4M
    offset += 2;
702
33.4M
    d2 = d3;
703
33.4M
  }
704
  
705
312M
  if (offset != 0)
706
76.2M
  {
707
76.2M
    UPDATE_maxLen
708
76.2M
    distances[(size_t)offset - 2] = (UInt32)maxLen;
709
76.2M
    if (maxLen == lenLimit)
710
525k
    {
711
525k
      SkipMatchesSpec((UInt32)lenLimit, curMatch, MF_PARAMS(p));
712
525k
      MOVE_POS_RET;
713
0
    }
714
76.2M
  }
715
  
716
312M
  if (maxLen < 3)
717
253M
    maxLen = 3;
718
  
719
312M
  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
0
{
801
0
  UInt32 h2, h3, d2, d3, pos;
802
0
  unsigned maxLen, offset;
803
0
  UInt32 *hash;
804
0
  GET_MATCHES_HEADER(4)
805
806
0
  HASH4_CALC;
807
808
0
  hash = p->hash;
809
0
  pos = p->pos;
810
  
811
0
  d2 = pos - hash                  [h2];
812
0
  d3 = pos - (hash + kFix3HashSize)[h3];
813
0
  curMatch = (hash + kFix4HashSize)[hv];
814
815
0
  hash                  [h2] = pos;
816
0
  (hash + kFix3HashSize)[h3] = pos;
817
0
  (hash + kFix4HashSize)[hv] = pos;
818
819
0
  maxLen = 0;
820
0
  offset = 0;
821
822
0
  if (d2 < p->cyclicBufferSize && *(cur - d2) == *cur)
823
0
  {
824
0
    maxLen = 2;
825
0
    distances[0] = 2;
826
0
    distances[1] = d2 - 1;
827
0
    offset = 2;
828
0
  }
829
  
830
0
  if (d2 != d3 && d3 < p->cyclicBufferSize && *(cur - d3) == *cur)
831
0
  {
832
0
    maxLen = 3;
833
0
    distances[(size_t)offset + 1] = d3 - 1;
834
0
    offset += 2;
835
0
    d2 = d3;
836
0
  }
837
  
838
0
  if (offset != 0)
839
0
  {
840
0
    UPDATE_maxLen
841
0
    distances[(size_t)offset - 2] = (UInt32)maxLen;
842
0
    if (maxLen == lenLimit)
843
0
    {
844
0
      p->son[p->cyclicBufferPos] = curMatch;
845
0
      MOVE_POS_RET;
846
0
    }
847
0
  }
848
  
849
0
  if (maxLen < 3)
850
0
    maxLen = 3;
851
852
0
  offset = (unsigned)(Hc_GetMatchesSpec(lenLimit, curMatch, MF_PARAMS(p),
853
0
      distances + offset, maxLen) - (distances));
854
0
  MOVE_POS_RET
855
0
}
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
0
{
950
0
  do
951
0
  {
952
0
    SKIP_HEADER(2)
953
0
    HASH2_CALC;
954
0
    curMatch = p->hash[hv];
955
0
    p->hash[hv] = p->pos;
956
0
    SKIP_FOOTER
957
0
  }
958
0
  while (--num != 0);
959
0
}
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
0
{
976
0
  do
977
0
  {
978
0
    UInt32 h2;
979
0
    UInt32 *hash;
980
0
    SKIP_HEADER(3)
981
0
    HASH3_CALC;
982
0
    hash = p->hash;
983
0
    curMatch = (hash + kFix3HashSize)[hv];
984
0
    hash[h2] =
985
0
    (hash + kFix3HashSize)[hv] = p->pos;
986
0
    SKIP_FOOTER
987
0
  }
988
0
  while (--num != 0);
989
0
}
990
991
static void Bt4_MatchFinder_Skip(CMatchFinder *p, UInt32 num)
992
903k
{
993
903k
  do
994
131M
  {
995
131M
    UInt32 h2, h3;
996
131M
    UInt32 *hash;
997
131M
    SKIP_HEADER(4)
998
131M
    HASH4_CALC;
999
131M
    hash = p->hash;
1000
131M
    curMatch = (hash + kFix4HashSize)[hv];
1001
131M
    hash                  [h2] =
1002
131M
    (hash + kFix3HashSize)[h3] =
1003
131M
    (hash + kFix4HashSize)[hv] = p->pos;
1004
131M
    SKIP_FOOTER
1005
131M
  }
1006
131M
  while (--num != 0);
1007
903k
}
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
0
{
1032
0
  do
1033
0
  {
1034
0
    UInt32 h2, h3;
1035
0
    UInt32 *hash;
1036
0
    SKIP_HEADER(4)
1037
0
    HASH4_CALC;
1038
0
    hash = p->hash;
1039
0
    curMatch = (hash + kFix4HashSize)[hv];
1040
0
    hash                  [h2] =
1041
0
    (hash + kFix3HashSize)[h3] =
1042
0
    (hash + kFix4HashSize)[hv] = p->pos;
1043
0
    p->son[p->cyclicBufferPos] = curMatch;
1044
0
    MOVE_POS
1045
0
  }
1046
0
  while (--num != 0);
1047
0
}
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
7.77k
{
1087
7.77k
  vTable->Init = (Mf_Init_Func)MatchFinder_Init;
1088
7.77k
  vTable->GetNumAvailableBytes = (Mf_GetNumAvailableBytes_Func)MatchFinder_GetNumAvailableBytes;
1089
7.77k
  vTable->GetPointerToCurrentPos = (Mf_GetPointerToCurrentPos_Func)MatchFinder_GetPointerToCurrentPos;
1090
7.77k
  if (!p->btMode)
1091
0
  {
1092
    /* if (p->numHashBytes <= 4) */
1093
0
    {
1094
0
      vTable->GetMatches = (Mf_GetMatches_Func)Hc4_MatchFinder_GetMatches;
1095
0
      vTable->Skip = (Mf_Skip_Func)Hc4_MatchFinder_Skip;
1096
0
    }
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
0
  }
1105
7.77k
  else if (p->numHashBytes == 2)
1106
0
  {
1107
0
    vTable->GetMatches = (Mf_GetMatches_Func)Bt2_MatchFinder_GetMatches;
1108
0
    vTable->Skip = (Mf_Skip_Func)Bt2_MatchFinder_Skip;
1109
0
  }
1110
7.77k
  else if (p->numHashBytes == 3)
1111
0
  {
1112
0
    vTable->GetMatches = (Mf_GetMatches_Func)Bt3_MatchFinder_GetMatches;
1113
0
    vTable->Skip = (Mf_Skip_Func)Bt3_MatchFinder_Skip;
1114
0
  }
1115
7.77k
  else /* if (p->numHashBytes == 4) */
1116
7.77k
  {
1117
7.77k
    vTable->GetMatches = (Mf_GetMatches_Func)Bt4_MatchFinder_GetMatches;
1118
7.77k
    vTable->Skip = (Mf_Skip_Func)Bt4_MatchFinder_Skip;
1119
7.77k
  }
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
7.77k
}