lzo.c 7.29 KB
Newer Older
1 2 3 4
/*
 * LZO 1x decompression
 * Copyright (c) 2006 Reimar Doeffinger
 *
5 6 7
 * This file is part of FFmpeg.
 *
 * FFmpeg is free software; you can redistribute it and/or
8 9
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
10
 * version 2.1 of the License, or (at your option) any later version.
11
 *
12
 * FFmpeg is distributed in the hope that it will be useful,
13 14 15 16 17
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
18
 * License along with FFmpeg; if not, write to the Free Software
19
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
20
 */
21

22 23
#include <string.h>

24
#include "avutil.h"
25
#include "avassert.h"
26
#include "common.h"
27
#include "intreadwrite.h"
28 29
#include "lzo.h"

30
/// Define if we may write up to 12 bytes beyond the output buffer.
31
#define OUTBUF_PADDED 1
32
/// Define if we may read up to 8 bytes beyond the input buffer.
33
#define INBUF_PADDED 1
34

35
typedef struct LZOContext {
36
    const uint8_t *in, *in_end;
37
    uint8_t *out_start, *out, *out_end;
38 39 40 41
    int error;
} LZOContext;

/**
42 43
 * @brief Reads one byte from the input buffer, avoiding an overrun.
 * @return byte read
44
 */
45 46
static inline int get_byte(LZOContext *c)
{
47 48
    if (c->in < c->in_end)
        return *c->in++;
49
    c->error |= AV_LZO_INPUT_DEPLETED;
50
    return 1;
51 52
}

53 54 55 56 57 58
#ifdef INBUF_PADDED
#define GETB(c) (*(c).in++)
#else
#define GETB(c) get_byte(&(c))
#endif

59
/**
60 61 62 63
 * @brief Decodes a length value in the coding used by lzo.
 * @param x previous byte value
 * @param mask bits used from x
 * @return decoded length value
64
 */
65 66
static inline int get_len(LZOContext *c, int x, int mask)
{
67 68
    int cnt = x & mask;
    if (!cnt) {
69 70 71 72 73
        while (!(x = get_byte(c))) {
            if (cnt >= INT_MAX - 1000) {
                c->error |= AV_LZO_ERROR;
                break;
            }
74
            cnt += 255;
75
        }
76 77 78 79 80 81
        cnt += mask + x;
    }
    return cnt;
}

/**
82 83
 * @brief Copies bytes from input to output buffer with checking.
 * @param cnt number of bytes to copy, must be >= 0
84
 */
85 86
static inline void copy(LZOContext *c, int cnt)
{
87
    register const uint8_t *src = c->in;
88
    register uint8_t *dst       = c->out;
89
    av_assert0(cnt >= 0);
90
    if (cnt > c->in_end - src) {
91
        cnt       = FFMAX(c->in_end - src, 0);
92
        c->error |= AV_LZO_INPUT_DEPLETED;
93
    }
94
    if (cnt > c->out_end - dst) {
95
        cnt       = FFMAX(c->out_end - dst, 0);
96
        c->error |= AV_LZO_OUTPUT_FULL;
97
    }
98
#if defined(INBUF_PADDED) && defined(OUTBUF_PADDED)
99
    AV_COPY32U(dst, src);
100 101 102 103 104
    src += 4;
    dst += 4;
    cnt -= 4;
    if (cnt > 0)
#endif
105 106
    memcpy(dst, src, cnt);
    c->in  = src + cnt;
107
    c->out = dst + cnt;
108 109 110
}

/**
111
 * @brief Copies previously decoded bytes to current position.
112
 * @param back how many bytes back we start, must be > 0
113
 * @param cnt number of bytes to copy, must be > 0
114
 *
115 116
 * cnt > back is valid, this will copy the bytes we just copied,
 * thus creating a repeating pattern with a period length of back.
117
 */
118 119 120
static inline void copy_backptr(LZOContext *c, int back, int cnt)
{
    register uint8_t *dst       = c->out;
121
    av_assert0(cnt > 0);
122
    if (dst - c->out_start < back) {
123
        c->error |= AV_LZO_INVALID_BACKPTR;
124 125
        return;
    }
126
    if (cnt > c->out_end - dst) {
127
        cnt       = FFMAX(c->out_end - dst, 0);
128
        c->error |= AV_LZO_OUTPUT_FULL;
129
    }
130
    av_memcpy_backptr(dst, back, cnt);
131 132 133
    c->out = dst + cnt;
}

134 135 136
int av_lzo1x_decode(void *out, int *outlen, const void *in, int *inlen)
{
    int state = 0;
137 138
    int x;
    LZOContext c;
139
    if (*outlen <= 0 || *inlen <= 0) {
140
        int res = 0;
141
        if (*outlen <= 0)
142
            res |= AV_LZO_OUTPUT_FULL;
143
        if (*inlen <= 0)
144 145 146
            res |= AV_LZO_INPUT_DEPLETED;
        return res;
    }
147 148 149 150 151 152
    c.in      = in;
    c.in_end  = (const uint8_t *)in + *inlen;
    c.out     = c.out_start = out;
    c.out_end = (uint8_t *)out + *outlen;
    c.error   = 0;
    x         = GETB(c);
153 154
    if (x > 17) {
        copy(&c, x - 17);
155
        x = GETB(c);
156 157
        if (x < 16)
            c.error |= AV_LZO_ERROR;
158
    }
159
    if (c.in > c.in_end)
160
        c.error |= AV_LZO_INPUT_DEPLETED;
161 162
    while (!c.error) {
        int cnt, back;
163 164
        if (x > 15) {
            if (x > 63) {
165
                cnt  = (x >> 5) - 1;
166
                back = (GETB(c) << 3) + ((x >> 2) & 7) + 1;
167
            } else if (x > 31) {
168 169
                cnt  = get_len(&c, x, 31);
                x    = GETB(c);
170
                back = (GETB(c) << 6) + (x >> 2) + 1;
171
            } else {
172 173 174
                cnt   = get_len(&c, x, 7);
                back  = (1 << 14) + ((x & 8) << 11);
                x     = GETB(c);
175
                back += (GETB(c) << 6) + (x >> 2);
176 177
                if (back == (1 << 14)) {
                    if (cnt != 1)
178
                        c.error |= AV_LZO_ERROR;
179 180 181
                    break;
                }
            }
182 183 184 185 186 187 188 189
        } else if (!state) {
            cnt = get_len(&c, x, 15);
            copy(&c, cnt + 3);
            x = GETB(c);
            if (x > 15)
                continue;
            cnt  = 1;
            back = (1 << 11) + (GETB(c) << 2) + (x >> 2) + 1;
190
        } else {
191 192
            cnt  = 0;
            back = (GETB(c) << 2) + (x >> 2) + 1;
193 194
        }
        copy_backptr(&c, back, cnt + 2);
195 196
        state =
        cnt   = x & 3;
197
        copy(&c, cnt);
198
        x = GETB(c);
199 200
    }
    *inlen = c.in_end - c.in;
201 202
    if (c.in > c.in_end)
        *inlen = 0;
203 204 205
    *outlen = c.out_end - c.out;
    return c.error;
}
Reimar Döffinger's avatar
Reimar Döffinger committed
206 207 208 209 210 211

#ifdef TEST
#include <stdio.h>
#include <lzo/lzo1x.h>
#include "log.h"
#define MAXSZ (10*1024*1024)
212 213 214 215 216 217

/* Define one of these to 1 if you wish to benchmark liblzo
 * instead of our native implementation. */
#define BENCHMARK_LIBLZO_SAFE   0
#define BENCHMARK_LIBLZO_UNSAFE 0

Reimar Döffinger's avatar
Reimar Döffinger committed
218 219
int main(int argc, char *argv[]) {
    FILE *in = fopen(argv[1], "rb");
220
    int comp_level = argc > 2 ? atoi(argv[2]) : 0;
Reimar Döffinger's avatar
Reimar Döffinger committed
221 222 223 224 225 226 227 228
    uint8_t *orig = av_malloc(MAXSZ + 16);
    uint8_t *comp = av_malloc(2*MAXSZ + 16);
    uint8_t *decomp = av_malloc(MAXSZ + 16);
    size_t s = fread(orig, 1, MAXSZ, in);
    lzo_uint clen = 0;
    long tmp[LZO1X_MEM_COMPRESS];
    int inlen, outlen;
    int i;
229
    av_log_set_level(AV_LOG_DEBUG);
230 231 232 233 234 235 236 237 238 239
    if (comp_level == 0) {
        lzo1x_1_compress(orig, s, comp, &clen, tmp);
    } else if (comp_level == 11) {
        lzo1x_1_11_compress(orig, s, comp, &clen, tmp);
    } else if (comp_level == 12) {
        lzo1x_1_12_compress(orig, s, comp, &clen, tmp);
    } else if (comp_level == 15) {
        lzo1x_1_15_compress(orig, s, comp, &clen, tmp);
    } else
        lzo1x_999_compress(orig, s, comp, &clen, tmp);
Reimar Döffinger's avatar
Reimar Döffinger committed
240 241 242
    for (i = 0; i < 300; i++) {
START_TIMER
        inlen = clen; outlen = MAXSZ;
243
#if BENCHMARK_LIBLZO_SAFE
244
        if (lzo1x_decompress_safe(comp, inlen, decomp, &outlen, NULL))
245
#elif BENCHMARK_LIBLZO_UNSAFE
246 247
        if (lzo1x_decompress(comp, inlen, decomp, &outlen, NULL))
#else
248
        if (av_lzo1x_decode(decomp, &outlen, comp, &inlen))
249
#endif
Reimar Döffinger's avatar
Reimar Döffinger committed
250 251 252 253 254 255
            av_log(NULL, AV_LOG_ERROR, "decompression error\n");
STOP_TIMER("lzod")
    }
    if (memcmp(orig, decomp, s))
        av_log(NULL, AV_LOG_ERROR, "decompression incorrect\n");
    else
256
        av_log(NULL, AV_LOG_ERROR, "decompression OK\n");
Ruoyu's avatar
Ruoyu committed
257
    fclose(in);
Reimar Döffinger's avatar
Reimar Döffinger committed
258 259 260
    return 0;
}
#endif