Coverage Report

Created: 2026-08-31 06:04

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/lzo-2.10/src/lzo1b_9x.c
Line
Count
Source
1
/* lzo1b_9x.c -- implementation of the LZO1B-999 compression algorithm
2
3
   This file is part of the LZO real-time data compression library.
4
5
   Copyright (C) 1996-2017 Markus Franz Xaver Johannes Oberhumer
6
   All Rights Reserved.
7
8
   The LZO library is free software; you can redistribute it and/or
9
   modify it under the terms of the GNU General Public License as
10
   published by the Free Software Foundation; either version 2 of
11
   the License, or (at your option) any later version.
12
13
   The LZO library is distributed in the hope that it will be useful,
14
   but WITHOUT ANY WARRANTY; without even the implied warranty of
15
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16
   GNU General Public License for more details.
17
18
   You should have received a copy of the GNU General Public License
19
   along with the LZO library; see the file COPYING.
20
   If not, write to the Free Software Foundation, Inc.,
21
   51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
22
23
   Markus F.X.J. Oberhumer
24
   <markus@oberhumer.com>
25
   http://www.oberhumer.com/opensource/lzo/
26
 */
27
28
29
#include "config1b.h"
30
31
32
/***********************************************************************
33
//
34
************************************************************************/
35
36
610
#define SWD_N          0xffffL          /* size of ring buffer */
37
4.73M
#define SWD_THRESHOLD       2           /* lower limit for match length */
38
610
#define SWD_F            2048           /* upper limit for match length */
39
40
41
#define LZO1B 1
42
1.22k
#define LZO_COMPRESS_T  lzo1b_999_t
43
610
#define lzo_swd_t       lzo1b_999_swd_t
44
#include "lzo_mchw.ch"
45
46
47
48
/***********************************************************************
49
//
50
************************************************************************/
51
52
static lzo_bytep
53
code_match ( LZO_COMPRESS_T *c, lzo_bytep op, lzo_uint m_len, lzo_uint m_off )
54
125k
{
55
125k
    if (m_len <= M2_MAX_LEN && m_off <= M2_MAX_OFFSET)
56
86.5k
    {
57
86.5k
        assert(m_len >= M2_MIN_LEN);
58
86.5k
        assert(m_off >= M2_MIN_OFFSET);
59
60
86.5k
        m_off -= M2_MIN_OFFSET;
61
        /* code match len + low offset bits */
62
86.5k
        *op++ = LZO_BYTE(((m_len - (M2_MIN_LEN - 2)) << M2O_BITS) |
63
86.5k
                          (m_off & M2O_MASK));
64
        /* code high offset bits */
65
86.5k
        *op++ = LZO_BYTE(m_off >> M2O_BITS);
66
86.5k
        c->m2_m++;
67
86.5k
    }
68
38.9k
    else
69
38.9k
    {
70
38.9k
        assert(m_len >= M3_MIN_LEN);
71
38.9k
        assert(m_off <= M3_MAX_OFFSET);
72
73
38.9k
        m_off -= M3_MIN_OFFSET - M3_EOF_OFFSET;
74
        /* code match len */
75
38.9k
        if (m_len <= M3_MAX_LEN)
76
25.5k
            *op++ = LZO_BYTE(M3_MARKER | (m_len - (M3_MIN_LEN - 1)));
77
13.4k
        else
78
13.4k
        {
79
13.4k
            assert(m_len >= M4_MIN_LEN);
80
            /* code M4 match len flag */
81
13.4k
            *op++ = M4_MARKER;
82
            /* code match len */
83
13.4k
            m_len -= M4_MIN_LEN - 1;
84
37.3k
            while (m_len > 255)
85
23.8k
            {
86
23.8k
                m_len -= 255;
87
23.8k
                *op++ = 0;
88
23.8k
            }
89
13.4k
            assert(m_len > 0);
90
13.4k
            *op++ = LZO_BYTE(m_len);
91
13.4k
        }
92
        /* code low offset bits */
93
38.9k
        *op++ = LZO_BYTE(m_off & M3O_MASK);
94
        /* code high offset bits */
95
38.9k
        *op++ = LZO_BYTE(m_off >> M3O_BITS);
96
97
38.9k
        c->r1_m_len = 0;
98
38.9k
        c->m3_m++;
99
38.9k
    }
100
125k
    return op;
101
125k
}
102
103
104
/***********************************************************************
105
// this is a public function, but there is no prototype in a header file
106
************************************************************************/
107
108
LZO_EXTERN(int)
109
lzo1b_999_compress_callback ( const lzo_bytep in , lzo_uint  in_len,
110
                                    lzo_bytep out, lzo_uintp out_len,
111
                                    lzo_voidp wrkmem,
112
                                    lzo_callback_p cb,
113
                                    lzo_uint max_chain );
114
115
LZO_PUBLIC(int)
116
lzo1b_999_compress_callback ( const lzo_bytep in , lzo_uint  in_len,
117
                                    lzo_bytep out, lzo_uintp out_len,
118
                                    lzo_voidp wrkmem,
119
                                    lzo_callback_p cb,
120
                                    lzo_uint max_chain )
121
610
{
122
610
    lzo_bytep op;
123
610
    const lzo_bytep ii;
124
610
    lzo_uint lit;
125
610
    lzo_uint m_len, m_off;
126
610
    LZO_COMPRESS_T cc;
127
610
    LZO_COMPRESS_T * const c = &cc;
128
610
    lzo_swd_p const swd = (lzo_swd_p) wrkmem;
129
610
    int r;
130
131
    /* sanity check */
132
610
    LZO_COMPILE_TIME_ASSERT(LZO1B_999_MEM_COMPRESS >= SIZEOF_LZO_SWD_T)
133
134
610
    c->init = 0;
135
610
    c->ip = c->in = in;
136
610
    c->in_end = in + in_len;
137
610
    c->cb = cb;
138
610
    c->r1_r = c->m3_r = c->m2_m = c->m3_m = 0;
139
140
610
    op = out;
141
610
    ii = c->ip;             /* point to start of literal run */
142
610
    lit = 0;
143
610
    c->r1_m_len = 0;
144
145
610
    r = init_match(c,swd,NULL,0,0);
146
610
    if (r != 0)
147
0
        return r;
148
610
    if (max_chain > 0)
149
0
        swd->max_chain = max_chain;
150
151
610
    r = find_match(c,swd,0,0);
152
610
    if (r != 0)
153
0
        return r;
154
4.67M
    while (c->look > 0)
155
4.67M
    {
156
4.67M
        int lazy_match_min_gain = -1;
157
4.67M
        lzo_uint ahead = 0;
158
159
4.67M
        m_len = c->m_len;
160
4.67M
        m_off = c->m_off;
161
162
#if 0
163
        printf("%5ld: %5d len:%3d off:%5d\n", (c->ip-c->look)-in, c->look,
164
                m_len, m_off);
165
#endif
166
167
4.67M
        assert(c->ip - c->look >= in);
168
4.67M
        if (lit == 0)
169
125k
            ii = c->ip - c->look;
170
4.67M
        assert(ii + lit == c->ip - c->look);
171
4.67M
        assert(swd->b_char == *(c->ip - c->look));
172
173
4.67M
        if ((m_len < M2_MIN_LEN) ||
174
153k
            (m_len < M3_MIN_LEN && m_off > M2_MAX_OFFSET))
175
4.53M
        {
176
4.53M
            m_len = 0;
177
4.53M
        }
178
135k
        else
179
135k
        {
180
135k
            assert(c->ip - c->look - m_off >= in);
181
135k
            assert(c->ip - c->look - m_off + m_len < c->ip);
182
135k
            assert(lzo_memcmp(c->ip - c->look, c->ip - c->look - m_off,
183
135k
                              m_len) == 0);
184
185
135k
            if (lit > 0)
186
79.6k
            {
187
                /* we have a current literal run: do not try a lazy match,
188
                   if the literal could be coded into a r1 match */
189
79.6k
                if (lit == 1 && c->r1_m_len == M2_MIN_LEN)
190
12.9k
                    lazy_match_min_gain = -1;
191
66.6k
                else
192
66.6k
                    lazy_match_min_gain = 1;
193
194
#if (M2_MIN_LEN == 2)
195
                if (m_len == 2)
196
                {
197
                    /* don't code a match of len 2 if we have to
198
                       code a literal run. Code a literal instead. */
199
                    m_len = 0;
200
                }
201
#endif
202
#if (M2_MIN_LEN == M3_MIN_LEN)
203
                if (m_len == M2_MIN_LEN && m_off > M2_MAX_OFFSET)
204
                {
205
                    /* don't code a M3 match of len 3 if we have to
206
                       code a literal run. Code a literal instead. */
207
                    m_len = 0;
208
                }
209
#endif
210
79.6k
            }
211
55.7k
            else
212
55.7k
            {
213
                /* no current literal run: only try a lazy match,
214
                   if the literal could be coded into a r1 match */
215
55.7k
                if (c->r1_m_len == M2_MIN_LEN)
216
8.20k
                    lazy_match_min_gain = 0;
217
47.5k
                else
218
47.5k
                    lazy_match_min_gain = -1;
219
55.7k
            }
220
135k
        }
221
222
223
        /* try a lazy match */
224
4.67M
        if (m_len == 0)
225
4.53M
            lazy_match_min_gain = -1;
226
4.67M
        if (lazy_match_min_gain >= 0 && c->look > m_len)
227
74.7k
        {
228
74.7k
            assert(m_len > 0);
229
230
74.7k
            r = find_match(c,swd,1,0);
231
74.7k
            assert(r == 0); LZO_UNUSED(r);
232
74.7k
            assert(c->look > 0);
233
234
74.7k
            if (m_len <= M2_MAX_LEN && m_off <= M2_MAX_OFFSET &&
235
53.8k
                c->m_off > M2_MAX_OFFSET)
236
2.69k
                lazy_match_min_gain += 1;
237
238
74.7k
            if (c->m_len >= m_len + lazy_match_min_gain)
239
9.92k
            {
240
9.92k
                c->lazy++;
241
#if !defined(NDEBUG)
242
                m_len = c->m_len;
243
                m_off = c->m_off;
244
                assert(lzo_memcmp(c->ip - c->look, c->ip - c->look - m_off,
245
                                  m_len) == 0);
246
#endif
247
9.92k
                lit++;
248
9.92k
                assert(ii + lit == c->ip - c->look);
249
9.92k
                continue;
250
9.92k
            }
251
64.8k
            else
252
64.8k
            {
253
64.8k
                ahead = 1;
254
64.8k
                assert(ii + lit + 1 == c->ip - c->look);
255
64.8k
            }
256
74.7k
            assert(m_len > 0);
257
64.8k
        }
258
4.67M
        assert(ii + lit + ahead == c->ip - c->look);
259
260
261
4.66M
        if (m_len == 0)
262
4.53M
        {
263
            /* a literal */
264
4.53M
            lit++;
265
4.53M
            r = find_match(c,swd,1,0);
266
4.53M
            assert(r == 0); LZO_UNUSED(r);
267
4.53M
        }
268
125k
        else
269
125k
        {
270
            /* 1 - store run */
271
125k
            if (lit > 0)
272
73.2k
            {
273
                /* code current literal run */
274
73.2k
                if (lit == 1 && c->r1_m_len == M2_MIN_LEN)
275
12.9k
                {
276
                    /* Code a context sensitive R1 match. */
277
12.9k
                    assert((op[-2] >> M2O_BITS) == (M2_MARKER >> M2O_BITS));
278
12.9k
                    op[-2] &= M2O_MASK;
279
12.9k
                    assert((op[-2] >> M2O_BITS) == 0);
280
                    /* copy 1 literal */
281
12.9k
                    *op++ = *ii++;
282
12.9k
                    assert(ii + ahead == c->ip - c->look);
283
12.9k
                    c->r1_r++;
284
12.9k
                }
285
60.2k
                else
286
60.2k
                {
287
60.2k
                    op = STORE_RUN(op,ii,lit);
288
60.2k
                }
289
73.2k
                if (lit < R0FAST)
290
70.3k
                    c->r1_m_len = m_len;
291
2.90k
                else
292
2.90k
                    c->r1_m_len = 0;
293
73.2k
                lit = 0;
294
73.2k
            }
295
52.3k
            else
296
52.3k
                c->r1_m_len = 0;
297
298
            /* 2 - code match */
299
125k
            op = code_match(c,op,m_len,m_off);
300
125k
            r = find_match(c,swd,m_len,1+ahead);
301
125k
            assert(r == 0); LZO_UNUSED(r);
302
125k
        }
303
304
4.66M
        c->codesize = pd(op, out);
305
4.66M
    }
306
307
308
    /* store final run */
309
610
    if (lit > 0)
310
387
        op = STORE_RUN(op,ii,lit);
311
312
610
#if defined(LZO_EOF_CODE)
313
610
    *op++ = M3_MARKER | 1;
314
610
    *op++ = 0;
315
610
    *op++ = 0;
316
610
#endif
317
318
610
    c->codesize = pd(op, out);
319
610
    assert(c->textsize == in_len);
320
321
610
    *out_len = pd(op, out);
322
323
610
    if (c->cb && c->cb->nprogress)
324
0
        (*c->cb->nprogress)(c->cb, c->textsize, c->codesize, 0);
325
326
#if 0
327
    printf("%ld %ld -> %ld: %ld %ld %ld %ld %ld\n",
328
        (long) c->textsize, (long)in_len, (long) c->codesize,
329
        c->r1_r, c->m3_r, c->m2_m, c->m3_m, c->lazy);
330
#endif
331
610
    return LZO_E_OK;
332
610
}
333
334
335
336
/***********************************************************************
337
//
338
************************************************************************/
339
340
LZO_PUBLIC(int)
341
lzo1b_999_compress  ( const lzo_bytep in , lzo_uint  in_len,
342
                            lzo_bytep out, lzo_uintp out_len,
343
                            lzo_voidp wrkmem )
344
610
{
345
610
    return lzo1b_999_compress_callback(in,in_len,out,out_len,wrkmem,
346
610
                                       (lzo_callback_p) 0, 0);
347
610
}
348
349
350
/* vim:set ts=4 sw=4 et: */