Coverage Report

Created: 2025-07-23 07:05

/src/lzo-2.10/src/lzo1b_9x.c
Line
Count
Source (jump to first uncovered line)
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
547
#define SWD_N          0xffffL          /* size of ring buffer */
37
3.17M
#define SWD_THRESHOLD       2           /* lower limit for match length */
38
547
#define SWD_F            2048           /* upper limit for match length */
39
40
41
#define LZO1B 1
42
1.09k
#define LZO_COMPRESS_T  lzo1b_999_t
43
547
#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
127k
{
55
127k
    if (m_len <= M2_MAX_LEN && m_off <= M2_MAX_OFFSET)
56
77.5k
    {
57
77.5k
        assert(m_len >= M2_MIN_LEN);
58
77.5k
        assert(m_off >= M2_MIN_OFFSET);
59
60
77.5k
        m_off -= M2_MIN_OFFSET;
61
        /* code match len + low offset bits */
62
77.5k
        *op++ = LZO_BYTE(((m_len - (M2_MIN_LEN - 2)) << M2O_BITS) |
63
77.5k
                          (m_off & M2O_MASK));
64
        /* code high offset bits */
65
77.5k
        *op++ = LZO_BYTE(m_off >> M2O_BITS);
66
77.5k
        c->m2_m++;
67
77.5k
    }
68
49.6k
    else
69
49.6k
    {
70
49.6k
        assert(m_len >= M3_MIN_LEN);
71
49.6k
        assert(m_off <= M3_MAX_OFFSET);
72
73
49.6k
        m_off -= M3_MIN_OFFSET - M3_EOF_OFFSET;
74
        /* code match len */
75
49.6k
        if (m_len <= M3_MAX_LEN)
76
34.7k
            *op++ = LZO_BYTE(M3_MARKER | (m_len - (M3_MIN_LEN - 1)));
77
14.8k
        else
78
14.8k
        {
79
14.8k
            assert(m_len >= M4_MIN_LEN);
80
            /* code M4 match len flag */
81
14.8k
            *op++ = M4_MARKER;
82
            /* code match len */
83
14.8k
            m_len -= M4_MIN_LEN - 1;
84
33.1k
            while (m_len > 255)
85
18.2k
            {
86
18.2k
                m_len -= 255;
87
18.2k
                *op++ = 0;
88
18.2k
            }
89
14.8k
            assert(m_len > 0);
90
14.8k
            *op++ = LZO_BYTE(m_len);
91
14.8k
        }
92
        /* code low offset bits */
93
49.6k
        *op++ = LZO_BYTE(m_off & M3O_MASK);
94
        /* code high offset bits */
95
49.6k
        *op++ = LZO_BYTE(m_off >> M3O_BITS);
96
97
49.6k
        c->r1_m_len = 0;
98
49.6k
        c->m3_m++;
99
49.6k
    }
100
127k
    return op;
101
127k
}
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
547
{
122
547
    lzo_bytep op;
123
547
    const lzo_bytep ii;
124
547
    lzo_uint lit;
125
547
    lzo_uint m_len, m_off;
126
547
    LZO_COMPRESS_T cc;
127
547
    LZO_COMPRESS_T * const c = &cc;
128
547
    lzo_swd_p const swd = (lzo_swd_p) wrkmem;
129
547
    int r;
130
131
    /* sanity check */
132
547
    LZO_COMPILE_TIME_ASSERT(LZO1B_999_MEM_COMPRESS >= SIZEOF_LZO_SWD_T)
133
134
547
    c->init = 0;
135
547
    c->ip = c->in = in;
136
547
    c->in_end = in + in_len;
137
547
    c->cb = cb;
138
547
    c->r1_r = c->m3_r = c->m2_m = c->m3_m = 0;
139
140
547
    op = out;
141
547
    ii = c->ip;             /* point to start of literal run */
142
547
    lit = 0;
143
547
    c->r1_m_len = 0;
144
145
547
    r = init_match(c,swd,NULL,0,0);
146
547
    if (r != 0)
147
0
        return r;
148
547
    if (max_chain > 0)
149
0
        swd->max_chain = max_chain;
150
151
547
    r = find_match(c,swd,0,0);
152
547
    if (r != 0)
153
0
        return r;
154
3.10M
    while (c->look > 0)
155
3.10M
    {
156
3.10M
        int lazy_match_min_gain = -1;
157
3.10M
        lzo_uint ahead = 0;
158
159
3.10M
        m_len = c->m_len;
160
3.10M
        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
3.10M
        assert(c->ip - c->look >= in);
168
3.10M
        if (lit == 0)
169
127k
            ii = c->ip - c->look;
170
3.10M
        assert(ii + lit == c->ip - c->look);
171
3.10M
        assert(swd->b_char == *(c->ip - c->look));
172
173
3.10M
        if ((m_len < M2_MIN_LEN) ||
174
3.10M
            (m_len < M3_MIN_LEN && m_off > M2_MAX_OFFSET))
175
2.97M
        {
176
2.97M
            m_len = 0;
177
2.97M
        }
178
136k
        else
179
136k
        {
180
136k
            assert(c->ip - c->look - m_off >= in);
181
136k
            assert(c->ip - c->look - m_off + m_len < c->ip);
182
136k
            assert(lzo_memcmp(c->ip - c->look, c->ip - c->look - m_off,
183
136k
                              m_len) == 0);
184
185
136k
            if (lit > 0)
186
75.0k
            {
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
75.0k
                if (lit == 1 && c->r1_m_len == M2_MIN_LEN)
190
5.88k
                    lazy_match_min_gain = -1;
191
69.1k
                else
192
69.1k
                    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
75.0k
            }
211
61.7k
            else
212
61.7k
            {
213
                /* no current literal run: only try a lazy match,
214
                   if the literal could be coded into a r1 match */
215
61.7k
                if (c->r1_m_len == M2_MIN_LEN)
216
4.45k
                    lazy_match_min_gain = 0;
217
57.2k
                else
218
57.2k
                    lazy_match_min_gain = -1;
219
61.7k
            }
220
136k
        }
221
222
223
        /* try a lazy match */
224
3.10M
        if (m_len == 0)
225
2.97M
            lazy_match_min_gain = -1;
226
3.10M
        if (lazy_match_min_gain >= 0 && c->look > m_len)
227
73.4k
        {
228
73.4k
            assert(m_len > 0);
229
230
73.4k
            r = find_match(c,swd,1,0);
231
73.4k
            assert(r == 0); LZO_UNUSED(r);
232
73.4k
            assert(c->look > 0);
233
234
73.4k
            if (m_len <= M2_MAX_LEN && m_off <= M2_MAX_OFFSET &&
235
73.4k
                c->m_off > M2_MAX_OFFSET)
236
1.42k
                lazy_match_min_gain += 1;
237
238
73.4k
            if (c->m_len >= m_len + lazy_match_min_gain)
239
9.55k
            {
240
9.55k
                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.55k
                lit++;
248
9.55k
                assert(ii + lit == c->ip - c->look);
249
9.55k
                continue;
250
9.55k
            }
251
63.8k
            else
252
63.8k
            {
253
63.8k
                ahead = 1;
254
63.8k
                assert(ii + lit + 1 == c->ip - c->look);
255
63.8k
            }
256
63.8k
            assert(m_len > 0);
257
63.8k
        }
258
3.09M
        assert(ii + lit + ahead == c->ip - c->look);
259
260
261
3.09M
        if (m_len == 0)
262
2.97M
        {
263
            /* a literal */
264
2.97M
            lit++;
265
2.97M
            r = find_match(c,swd,1,0);
266
2.97M
            assert(r == 0); LZO_UNUSED(r);
267
2.97M
        }
268
127k
        else
269
127k
        {
270
            /* 1 - store run */
271
127k
            if (lit > 0)
272
66.7k
            {
273
                /* code current literal run */
274
66.7k
                if (lit == 1 && c->r1_m_len == M2_MIN_LEN)
275
5.88k
                {
276
                    /* Code a context sensitive R1 match. */
277
5.88k
                    assert((op[-2] >> M2O_BITS) == (M2_MARKER >> M2O_BITS));
278
5.88k
                    op[-2] &= M2O_MASK;
279
5.88k
                    assert((op[-2] >> M2O_BITS) == 0);
280
                    /* copy 1 literal */
281
5.88k
                    *op++ = *ii++;
282
5.88k
                    assert(ii + ahead == c->ip - c->look);
283
5.88k
                    c->r1_r++;
284
5.88k
                }
285
60.9k
                else
286
60.9k
                {
287
60.9k
                    op = STORE_RUN(op,ii,lit);
288
60.9k
                }
289
66.7k
                if (lit < R0FAST)
290
65.3k
                    c->r1_m_len = m_len;
291
1.48k
                else
292
1.48k
                    c->r1_m_len = 0;
293
66.7k
                lit = 0;
294
66.7k
            }
295
60.3k
            else
296
60.3k
                c->r1_m_len = 0;
297
298
            /* 2 - code match */
299
127k
            op = code_match(c,op,m_len,m_off);
300
127k
            r = find_match(c,swd,m_len,1+ahead);
301
127k
            assert(r == 0); LZO_UNUSED(r);
302
127k
        }
303
304
3.09M
        c->codesize = pd(op, out);
305
3.09M
    }
306
307
308
    /* store final run */
309
547
    if (lit > 0)
310
343
        op = STORE_RUN(op,ii,lit);
311
312
547
#if defined(LZO_EOF_CODE)
313
547
    *op++ = M3_MARKER | 1;
314
547
    *op++ = 0;
315
547
    *op++ = 0;
316
547
#endif
317
318
547
    c->codesize = pd(op, out);
319
547
    assert(c->textsize == in_len);
320
321
547
    *out_len = pd(op, out);
322
323
547
    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
547
    return LZO_E_OK;
332
547
}
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
547
{
345
547
    return lzo1b_999_compress_callback(in,in_len,out,out_len,wrkmem,
346
547
                                       (lzo_callback_p) 0, 0);
347
547
}
348
349
350
/* vim:set ts=4 sw=4 et: */