deflate.c 79.2 KB
Newer Older
M
Mark Adler 已提交
1
/* deflate.c -- compress data using the deflation algorithm
2
 * Copyright (C) 1995-2017 Jean-loup Gailly and Mark Adler
M
Mark Adler 已提交
3
 * For conditions of distribution and use, see copyright notice in zlib.h
M
Mark Adler 已提交
4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38
 */

/*
 *  ALGORITHM
 *
 *      The "deflation" process depends on being able to identify portions
 *      of the input text which are identical to earlier input (within a
 *      sliding window trailing behind the input currently being processed).
 *
 *      The most straightforward technique turns out to be the fastest for
 *      most input files: try all possible matches and select the longest.
 *      The key feature of this algorithm is that insertions into the string
 *      dictionary are very simple and thus fast, and deletions are avoided
 *      completely. Insertions are performed at each input character, whereas
 *      string matches are performed only when the previous match ends. So it
 *      is preferable to spend more time in matches to allow very fast string
 *      insertions and avoid deletions. The matching algorithm for small
 *      strings is inspired from that of Rabin & Karp. A brute force approach
 *      is used to find longer strings when a small match has been found.
 *      A similar algorithm is used in comic (by Jan-Mark Wams) and freeze
 *      (by Leonid Broukhis).
 *         A previous version of this file used a more sophisticated algorithm
 *      (by Fiala and Greene) which is guaranteed to run in linear amortized
 *      time, but has a larger average cost, uses more memory and is patented.
 *      However the F&G algorithm may be faster for some highly redundant
 *      files if the parameter max_chain_length (described below) is too large.
 *
 *  ACKNOWLEDGEMENTS
 *
 *      The idea of lazy evaluation of matches is due to Jan-Mark Wams, and
 *      I found it in 'freeze' written by Leonid Broukhis.
 *      Thanks to many people for bug reports and testing.
 *
 *  REFERENCES
 *
M
Mark Adler 已提交
39
 *      Deutsch, L.P.,"DEFLATE Compressed Data Format Specification".
M
Mark Adler 已提交
40
 *      Available in http://tools.ietf.org/html/rfc1951
M
Mark Adler 已提交
41 42 43 44 45 46 47 48 49
 *
 *      A description of the Rabin and Karp algorithm is given in the book
 *         "Algorithms" by R. Sedgewick, Addison-Wesley, p252.
 *
 *      Fiala,E.R., and Greene,D.H.
 *         Data Compression with Finite Windows, Comm.ACM, 32,4 (1989) 490-595
 *
 */

M
Mark Adler 已提交
50
/* @(#) $Id$ */
M
Mark Adler 已提交
51 52 53

#include "deflate.h"

M
Mark Adler 已提交
54
const char deflate_copyright[] =
M
Mark Adler 已提交
55
   " deflate 1.2.11 Copyright 1995-2017 Jean-loup Gailly and Mark Adler ";
M
Mark Adler 已提交
56 57 58 59 60 61 62
/*
  If you use the zlib library in a product, an acknowledgment is welcome
  in the documentation of your product. If for some reason you cannot
  include such an acknowledgment, I would appreciate that you keep this
  copyright string in the executable of your product.
 */

M
Mark Adler 已提交
63
/* ===========================================================================
M
Mark Adler 已提交
64
 *  Function prototypes.
M
Mark Adler 已提交
65
 */
M
Mark Adler 已提交
66 67 68 69 70 71 72 73 74 75
typedef enum {
    need_more,      /* block not completed, need more input or more output */
    block_done,     /* block flush performed */
    finish_started, /* finish started, need only more output at next deflate */
    finish_done     /* finish done, accept no more input or output */
} block_state;

typedef block_state (*compress_func) OF((deflate_state *s, int flush));
/* Compression function. Returns the block state after the call. */

76
local int deflateStateCheck      OF((z_streamp strm));
77
local void slide_hash     OF((deflate_state *s));
M
Mark Adler 已提交
78
local void fill_window    OF((deflate_state *s));
M
Mark Adler 已提交
79 80
local block_state deflate_stored OF((deflate_state *s, int flush));
local block_state deflate_fast   OF((deflate_state *s, int flush));
M
Mark Adler 已提交
81
#ifndef FASTEST
M
Mark Adler 已提交
82
local block_state deflate_slow   OF((deflate_state *s, int flush));
M
Mark Adler 已提交
83
#endif
M
Mark Adler 已提交
84 85
local block_state deflate_rle    OF((deflate_state *s, int flush));
local block_state deflate_huff   OF((deflate_state *s, int flush));
M
Mark Adler 已提交
86 87
local void lm_init        OF((deflate_state *s));
local void putShortMSB    OF((deflate_state *s, uInt b));
M
Mark Adler 已提交
88
local void flush_pending  OF((z_streamp strm));
M
Mark Adler 已提交
89
local unsigned read_buf   OF((z_streamp strm, Bytef *buf, unsigned size));
M
Mark Adler 已提交
90
#ifdef ASMV
91
#  pragma message("Assembler code may have bugs -- use at your own risk")
M
Mark Adler 已提交
92
      void match_init OF((void)); /* asm code initialization */
M
Mark Adler 已提交
93 94 95
      uInt longest_match  OF((deflate_state *s, IPos cur_match));
#else
local uInt longest_match  OF((deflate_state *s, IPos cur_match));
M
Mark Adler 已提交
96 97
#endif

98
#ifdef ZLIB_DEBUG
M
Mark Adler 已提交
99 100 101 102 103 104 105 106
local  void check_match OF((deflate_state *s, IPos start, IPos match,
                            int length));
#endif

/* ===========================================================================
 * Local data
 */

M
Mark Adler 已提交
107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124
#define NIL 0
/* Tail of hash chains */

#ifndef TOO_FAR
#  define TOO_FAR 4096
#endif
/* Matches of length 3 are discarded if their distance exceeds TOO_FAR */

/* Values for max_lazy_match, good_match and max_chain_length, depending on
 * the desired pack level (0..9). The values given below have been tuned to
 * exclude worst case performance for pathological files. Better values may be
 * found for specific files.
 */
typedef struct config_s {
   ush good_length; /* reduce lazy search above this match length */
   ush max_lazy;    /* do not perform lazy search above this match length */
   ush nice_length; /* quit search above this match length */
   ush max_chain;
M
Mark Adler 已提交
125
   compress_func func;
M
Mark Adler 已提交
126 127
} config;

M
Mark Adler 已提交
128 129 130 131
#ifdef FASTEST
local const config configuration_table[2] = {
/*      good lazy nice chain */
/* 0 */ {0,    0,  0,    0, deflate_stored},  /* store only */
M
Mark Adler 已提交
132
/* 1 */ {4,    4,  8,    4, deflate_fast}}; /* max speed, no lazy matches */
M
Mark Adler 已提交
133
#else
M
Mark Adler 已提交
134
local const config configuration_table[10] = {
M
Mark Adler 已提交
135
/*      good lazy nice chain */
M
Mark Adler 已提交
136
/* 0 */ {0,    0,  0,    0, deflate_stored},  /* store only */
M
Mark Adler 已提交
137
/* 1 */ {4,    4,  8,    4, deflate_fast}, /* max speed, no lazy matches */
M
Mark Adler 已提交
138 139 140 141 142 143 144 145
/* 2 */ {4,    5, 16,    8, deflate_fast},
/* 3 */ {4,    6, 32,   32, deflate_fast},

/* 4 */ {4,    4, 16,   16, deflate_slow},  /* lazy matches */
/* 5 */ {8,   16, 32,   32, deflate_slow},
/* 6 */ {8,   16, 128, 128, deflate_slow},
/* 7 */ {8,   32, 128, 256, deflate_slow},
/* 8 */ {32, 128, 258, 1024, deflate_slow},
M
Mark Adler 已提交
146
/* 9 */ {32, 258, 258, 4096, deflate_slow}}; /* max compression */
M
Mark Adler 已提交
147
#endif
M
Mark Adler 已提交
148 149 150 151 152 153

/* Note: the deflate() code requires max_lazy >= MIN_MATCH and max_chain >= 4
 * For deflate_fast() (levels <= 3) good is ignored and lazy has a different
 * meaning.
 */

154
/* rank Z_BLOCK between Z_NO_FLUSH and Z_PARTIAL_FLUSH */
155
#define RANK(f) (((f) * 2) - ((f) > 4 ? 9 : 0))
156

M
Mark Adler 已提交
157 158
/* ===========================================================================
 * Update a hash value with the given input byte
M
Mark Adler 已提交
159 160 161
 * IN  assertion: all calls to UPDATE_HASH are made with consecutive input
 *    characters, so that a running hash key can be computed from the previous
 *    key instead of complete recalculation each time.
M
Mark Adler 已提交
162 163 164
 */
#define UPDATE_HASH(s,h,c) (h = (((h)<<s->hash_shift) ^ (c)) & s->hash_mask)

M
Mark Adler 已提交
165

M
Mark Adler 已提交
166 167 168 169
/* ===========================================================================
 * Insert string str in the dictionary and set match_head to the previous head
 * of the hash chain (the most recent string with same hash key). Return
 * the previous length of the hash chain.
M
Mark Adler 已提交
170 171
 * If this file is compiled with -DFASTEST, the compression level is forced
 * to 1, and no hash chains are maintained.
M
Mark Adler 已提交
172 173 174
 * IN  assertion: all calls to INSERT_STRING are made with consecutive input
 *    characters and the first MIN_MATCH bytes of str are valid (except for
 *    the last MIN_MATCH-1 bytes of the input file).
M
Mark Adler 已提交
175
 */
M
Mark Adler 已提交
176 177 178 179 180 181
#ifdef FASTEST
#define INSERT_STRING(s, str, match_head) \
   (UPDATE_HASH(s, s->ins_h, s->window[(str) + (MIN_MATCH-1)]), \
    match_head = s->head[s->ins_h], \
    s->head[s->ins_h] = (Pos)(str))
#else
M
Mark Adler 已提交
182
#define INSERT_STRING(s, str, match_head) \
M
Mark Adler 已提交
183
   (UPDATE_HASH(s, s->ins_h, s->window[(str) + (MIN_MATCH-1)]), \
M
Mark Adler 已提交
184
    match_head = s->prev[(str) & s->w_mask] = s->head[s->ins_h], \
M
Mark Adler 已提交
185
    s->head[s->ins_h] = (Pos)(str))
M
Mark Adler 已提交
186
#endif
M
Mark Adler 已提交
187

M
Mark Adler 已提交
188 189 190 191 192 193
/* ===========================================================================
 * Initialize the hash table (avoiding 64K overflow for 16 bit systems).
 * prev[] will be initialized on the fly.
 */
#define CLEAR_HASH(s) \
    s->head[s->hash_size-1] = NIL; \
M
Mark Adler 已提交
194
    zmemzero((Bytef *)s->head, (unsigned)(s->hash_size-1)*sizeof(*s->head));
M
Mark Adler 已提交
195

196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226
/* ===========================================================================
 * Slide the hash table when sliding the window down (could be avoided with 32
 * bit values at the expense of memory usage). We slide even when level == 0 to
 * keep the hash table consistent if we switch back to level > 0 later.
 */
local void slide_hash(s)
    deflate_state *s;
{
    unsigned n, m;
    Posf *p;
    uInt wsize = s->w_size;

    n = s->hash_size;
    p = &s->head[n];
    do {
        m = *--p;
        *p = (Pos)(m >= wsize ? m - wsize : NIL);
    } while (--n);
    n = wsize;
#ifndef FASTEST
    p = &s->prev[n];
    do {
        m = *--p;
        *p = (Pos)(m >= wsize ? m - wsize : NIL);
        /* If n is not on any hash chain, prev[n] is garbage but
         * its value will never be used.
         */
    } while (--n);
#endif
}

M
Mark Adler 已提交
227
/* ========================================================================= */
M
Mark Adler 已提交
228
int ZEXPORT deflateInit_(strm, level, version, stream_size)
M
Mark Adler 已提交
229
    z_streamp strm;
M
Mark Adler 已提交
230
    int level;
M
Mark Adler 已提交
231 232
    const char *version;
    int stream_size;
M
Mark Adler 已提交
233
{
M
Mark Adler 已提交
234
    return deflateInit2_(strm, level, Z_DEFLATED, MAX_WBITS, DEF_MEM_LEVEL,
M
Mark Adler 已提交
235
                         Z_DEFAULT_STRATEGY, version, stream_size);
M
Mark Adler 已提交
236 237 238 239
    /* To do: ignore strm->next_in if we use it as window */
}

/* ========================================================================= */
M
Mark Adler 已提交
240
int ZEXPORT deflateInit2_(strm, level, method, windowBits, memLevel, strategy,
M
Mark Adler 已提交
241
                  version, stream_size)
M
Mark Adler 已提交
242
    z_streamp strm;
M
Mark Adler 已提交
243 244 245 246 247
    int  level;
    int  method;
    int  windowBits;
    int  memLevel;
    int  strategy;
M
Mark Adler 已提交
248 249
    const char *version;
    int stream_size;
M
Mark Adler 已提交
250 251
{
    deflate_state *s;
M
Mark Adler 已提交
252
    int wrap = 1;
M
Mark Adler 已提交
253
    static const char my_version[] = ZLIB_VERSION;
M
Mark Adler 已提交
254

M
Mark Adler 已提交
255
    if (version == Z_NULL || version[0] != my_version[0] ||
M
Mark Adler 已提交
256
        stream_size != sizeof(z_stream)) {
M
Mark Adler 已提交
257
        return Z_VERSION_ERROR;
M
Mark Adler 已提交
258
    }
M
Mark Adler 已提交
259 260 261
    if (strm == Z_NULL) return Z_STREAM_ERROR;

    strm->msg = Z_NULL;
M
Mark Adler 已提交
262
    if (strm->zalloc == (alloc_func)0) {
263 264 265
#ifdef Z_SOLO
        return Z_STREAM_ERROR;
#else
M
Mark Adler 已提交
266 267
        strm->zalloc = zcalloc;
        strm->opaque = (voidpf)0;
268
#endif
M
Mark Adler 已提交
269
    }
270 271 272 273 274 275
    if (strm->zfree == (free_func)0)
#ifdef Z_SOLO
        return Z_STREAM_ERROR;
#else
        strm->zfree = zcfree;
#endif
M
Mark Adler 已提交
276

M
Mark Adler 已提交
277
#ifdef FASTEST
M
Mark Adler 已提交
278 279 280
    if (level != 0) level = 1;
#else
    if (level == Z_DEFAULT_COMPRESSION) level = 6;
M
Mark Adler 已提交
281
#endif
M
Mark Adler 已提交
282

M
Mark Adler 已提交
283 284
    if (windowBits < 0) { /* suppress zlib wrapper */
        wrap = 0;
M
Mark Adler 已提交
285
        windowBits = -windowBits;
M
Mark Adler 已提交
286
    }
M
Mark Adler 已提交
287 288
#ifdef GZIP
    else if (windowBits > 15) {
M
Mark Adler 已提交
289
        wrap = 2;       /* write gzip wrapper instead */
M
Mark Adler 已提交
290 291 292
        windowBits -= 16;
    }
#endif
M
Mark Adler 已提交
293
    if (memLevel < 1 || memLevel > MAX_MEM_LEVEL || method != Z_DEFLATED ||
M
Mark Adler 已提交
294
        windowBits < 8 || windowBits > 15 || level < 0 || level > 9 ||
295
        strategy < 0 || strategy > Z_FIXED || (windowBits == 8 && wrap != 1)) {
M
Mark Adler 已提交
296
        return Z_STREAM_ERROR;
M
Mark Adler 已提交
297
    }
M
Mark Adler 已提交
298
    if (windowBits == 8) windowBits = 9;  /* until 256-byte window bug fixed */
M
Mark Adler 已提交
299 300
    s = (deflate_state *) ZALLOC(strm, 1, sizeof(deflate_state));
    if (s == Z_NULL) return Z_MEM_ERROR;
M
Mark Adler 已提交
301
    strm->state = (struct internal_state FAR *)s;
M
Mark Adler 已提交
302
    s->strm = strm;
303
    s->status = INIT_STATE;     /* to pass state test in deflateReset() */
M
Mark Adler 已提交
304

M
Mark Adler 已提交
305
    s->wrap = wrap;
M
Mark Adler 已提交
306
    s->gzhead = Z_NULL;
M
Mark Adler 已提交
307
    s->w_bits = (uInt)windowBits;
M
Mark Adler 已提交
308
    s->w_size = 1 << s->w_bits;
M
Mark Adler 已提交
309
    s->w_mask = s->w_size - 1;
M
Mark Adler 已提交
310

M
Mark Adler 已提交
311
    s->hash_bits = (uInt)memLevel + 7;
M
Mark Adler 已提交
312
    s->hash_size = 1 << s->hash_bits;
M
Mark Adler 已提交
313
    s->hash_mask = s->hash_size - 1;
M
Mark Adler 已提交
314 315
    s->hash_shift =  ((s->hash_bits+MIN_MATCH-1)/MIN_MATCH);

M
Mark Adler 已提交
316 317 318
    s->window = (Bytef *) ZALLOC(strm, s->w_size, 2*sizeof(Byte));
    s->prev   = (Posf *)  ZALLOC(strm, s->w_size, sizeof(Pos));
    s->head   = (Posf *)  ZALLOC(strm, s->hash_size, sizeof(Pos));
M
Mark Adler 已提交
319

M
Mark Adler 已提交
320 321
    s->high_water = 0;      /* nothing written to s->window yet */

M
Mark Adler 已提交
322 323
    s->lit_bufsize = 1 << (memLevel + 6); /* 16K elements by default */

324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364
    /* We overlay pending_buf and sym_buf. This works since the average size
     * for length/distance pairs over any compressed block is assured to be 31
     * bits or less.
     *
     * Analysis: The longest fixed codes are a length code of 8 bits plus 5
     * extra bits, for lengths 131 to 257. The longest fixed distance codes are
     * 5 bits plus 13 extra bits, for distances 16385 to 32768. The longest
     * possible fixed-codes length/distance pair is then 31 bits total.
     *
     * sym_buf starts one-fourth of the way into pending_buf. So there are
     * three bytes in sym_buf for every four bytes in pending_buf. Each symbol
     * in sym_buf is three bytes -- two for the distance and one for the
     * literal/length. As each symbol is consumed, the pointer to the next
     * sym_buf value to read moves forward three bytes. From that symbol, up to
     * 31 bits are written to pending_buf. The closest the written pending_buf
     * bits gets to the next sym_buf symbol to read is just before the last
     * code is written. At that time, 31*(n-2) bits have been written, just
     * after 24*(n-2) bits have been consumed from sym_buf. sym_buf starts at
     * 8*n bits into pending_buf. (Note that the symbol buffer fills when n-1
     * symbols are written.) The closest the writing gets to what is unread is
     * then n+14 bits. Here n is lit_bufsize, which is 16384 by default, and
     * can range from 128 to 32768.
     *
     * Therefore, at a minimum, there are 142 bits of space between what is
     * written and what is read in the overlain buffers, so the symbols cannot
     * be overwritten by the compressed data. That space is actually 139 bits,
     * due to the three-bit fixed-code block header.
     *
     * That covers the case where either Z_FIXED is specified, forcing fixed
     * codes, or when the use of fixed codes is chosen, because that choice
     * results in a smaller compressed block than dynamic codes. That latter
     * condition then assures that the above analysis also covers all dynamic
     * blocks. A dynamic-code block will only be chosen to be emitted if it has
     * fewer bits than a fixed-code block would for the same set of symbols.
     * Therefore its average symbol length is assured to be less than 31. So
     * the compressed data for a dynamic block also cannot overwrite the
     * symbols from which it is being constructed.
     */

    s->pending_buf = (uchf *) ZALLOC(strm, s->lit_bufsize, 4);
    s->pending_buf_size = (ulg)s->lit_bufsize * 4;
M
Mark Adler 已提交
365 366

    if (s->window == Z_NULL || s->prev == Z_NULL || s->head == Z_NULL ||
M
Mark Adler 已提交
367
        s->pending_buf == Z_NULL) {
M
Mark Adler 已提交
368
        s->status = FINISH_STATE;
369
        strm->msg = ERR_MSG(Z_MEM_ERROR);
M
Mark Adler 已提交
370 371
        deflateEnd (strm);
        return Z_MEM_ERROR;
M
Mark Adler 已提交
372
    }
373 374 375 376 377 378
    s->sym_buf = s->pending_buf + s->lit_bufsize;
    s->sym_end = (s->lit_bufsize - 1) * 3;
    /* We avoid equality with lit_bufsize*3 because of wraparound at 64K
     * on 16 bit machines and because stored blocks are restricted to
     * 64K-1 bytes.
     */
M
Mark Adler 已提交
379 380 381

    s->level = level;
    s->strategy = strategy;
M
Mark Adler 已提交
382
    s->method = (Byte)method;
M
Mark Adler 已提交
383 384 385 386

    return deflateReset(strm);
}

387 388 389 390 391 392 393 394 395 396 397 398
/* =========================================================================
 * Check for a valid deflate stream state. Return 0 if ok, 1 if not.
 */
local int deflateStateCheck (strm)
    z_streamp strm;
{
    deflate_state *s;
    if (strm == Z_NULL ||
        strm->zalloc == (alloc_func)0 || strm->zfree == (free_func)0)
        return 1;
    s = strm->state;
    if (s == Z_NULL || s->strm != strm || (s->status != INIT_STATE &&
399 400 401
#ifdef GZIP
                                           s->status != GZIP_STATE &&
#endif
402 403 404 405 406 407 408 409 410 411
                                           s->status != EXTRA_STATE &&
                                           s->status != NAME_STATE &&
                                           s->status != COMMENT_STATE &&
                                           s->status != HCRC_STATE &&
                                           s->status != BUSY_STATE &&
                                           s->status != FINISH_STATE))
        return 1;
    return 0;
}

M
Mark Adler 已提交
412
/* ========================================================================= */
M
Mark Adler 已提交
413
int ZEXPORT deflateSetDictionary (strm, dictionary, dictLength)
M
Mark Adler 已提交
414
    z_streamp strm;
M
Mark Adler 已提交
415 416
    const Bytef *dictionary;
    uInt  dictLength;
M
Mark Adler 已提交
417
{
M
Mark Adler 已提交
418
    deflate_state *s;
419 420 421
    uInt str, n;
    int wrap;
    unsigned avail;
422
    z_const unsigned char *next;
M
Mark Adler 已提交
423

424
    if (deflateStateCheck(strm) || dictionary == Z_NULL)
M
Mark Adler 已提交
425
        return Z_STREAM_ERROR;
M
Mark Adler 已提交
426
    s = strm->state;
427 428 429
    wrap = s->wrap;
    if (wrap == 2 || (wrap == 1 && s->status != INIT_STATE) || s->lookahead)
        return Z_STREAM_ERROR;
M
Mark Adler 已提交
430

431 432 433 434 435 436 437 438 439 440 441
    /* when using zlib wrappers, compute Adler-32 for provided dictionary */
    if (wrap == 1)
        strm->adler = adler32(strm->adler, dictionary, dictLength);
    s->wrap = 0;                    /* avoid computing Adler-32 in read_buf */

    /* if dictionary would fill window, just replace the history */
    if (dictLength >= s->w_size) {
        if (wrap == 0) {            /* already empty otherwise */
            CLEAR_HASH(s);
            s->strstart = 0;
            s->block_start = 0L;
442
            s->insert = 0;
443 444 445
        }
        dictionary += dictLength - s->w_size;  /* use the tail */
        dictLength = s->w_size;
M
Mark Adler 已提交
446 447
    }

448 449 450 451
    /* insert dictionary into window and hash */
    avail = strm->avail_in;
    next = strm->next_in;
    strm->avail_in = dictLength;
452
    strm->next_in = (z_const Bytef *)dictionary;
453 454 455 456 457 458 459 460 461 462 463 464 465 466 467
    fill_window(s);
    while (s->lookahead >= MIN_MATCH) {
        str = s->strstart;
        n = s->lookahead - (MIN_MATCH-1);
        do {
            UPDATE_HASH(s, s->ins_h, s->window[str + MIN_MATCH-1]);
#ifndef FASTEST
            s->prev[str & s->w_mask] = s->head[s->ins_h];
#endif
            s->head[s->ins_h] = (Pos)str;
            str++;
        } while (--n);
        s->strstart = str;
        s->lookahead = MIN_MATCH-1;
        fill_window(s);
M
Mark Adler 已提交
468
    }
469 470
    s->strstart += s->lookahead;
    s->block_start = (long)s->strstart;
471
    s->insert = s->lookahead;
472 473 474 475 476 477
    s->lookahead = 0;
    s->match_length = s->prev_length = MIN_MATCH-1;
    s->match_available = 0;
    strm->next_in = next;
    strm->avail_in = avail;
    s->wrap = wrap;
M
Mark Adler 已提交
478 479 480
    return Z_OK;
}

M
Mark Adler 已提交
481 482 483 484 485 486 487
/* ========================================================================= */
int ZEXPORT deflateGetDictionary (strm, dictionary, dictLength)
    z_streamp strm;
    Bytef *dictionary;
    uInt  *dictLength;
{
    deflate_state *s;
488
    uInt len;
M
Mark Adler 已提交
489 490 491 492

    if (deflateStateCheck(strm))
        return Z_STREAM_ERROR;
    s = strm->state;
493
    len = s->strstart + s->lookahead;
M
Mark Adler 已提交
494 495 496 497 498 499 500 501 502
    if (len > s->w_size)
        len = s->w_size;
    if (dictionary != Z_NULL && len)
        zmemcpy(dictionary, s->window + s->strstart + s->lookahead - len, len);
    if (dictLength != Z_NULL)
        *dictLength = len;
    return Z_OK;
}

M
Mark Adler 已提交
503
/* ========================================================================= */
504
int ZEXPORT deflateResetKeep (strm)
M
Mark Adler 已提交
505
    z_streamp strm;
M
Mark Adler 已提交
506 507
{
    deflate_state *s;
M
Mark Adler 已提交
508

509
    if (deflateStateCheck(strm)) {
M
Mark Adler 已提交
510 511
        return Z_STREAM_ERROR;
    }
M
Mark Adler 已提交
512 513 514 515 516 517 518 519 520

    strm->total_in = strm->total_out = 0;
    strm->msg = Z_NULL; /* use zfree if we ever allocate msg dynamically */
    strm->data_type = Z_UNKNOWN;

    s = (deflate_state *)strm->state;
    s->pending = 0;
    s->pending_out = s->pending_buf;

M
Mark Adler 已提交
521 522
    if (s->wrap < 0) {
        s->wrap = -s->wrap; /* was made negative by deflate(..., Z_FINISH); */
M
Mark Adler 已提交
523
    }
524 525 526 527 528
    s->status =
#ifdef GZIP
        s->wrap == 2 ? GZIP_STATE :
#endif
        s->wrap ? INIT_STATE : BUSY_STATE;
M
Mark Adler 已提交
529 530 531 532 533
    strm->adler =
#ifdef GZIP
        s->wrap == 2 ? crc32(0L, Z_NULL, 0) :
#endif
        adler32(0L, Z_NULL, 0);
M
Mark Adler 已提交
534
    s->last_flush = Z_NO_FLUSH;
M
Mark Adler 已提交
535

M
Mark Adler 已提交
536
    _tr_init(s);
M
Mark Adler 已提交
537 538 539 540

    return Z_OK;
}

541 542 543 544 545 546 547 548 549 550 551 552
/* ========================================================================= */
int ZEXPORT deflateReset (strm)
    z_streamp strm;
{
    int ret;

    ret = deflateResetKeep(strm);
    if (ret == Z_OK)
        lm_init(strm->state);
    return ret;
}

M
Mark Adler 已提交
553 554 555 556 557
/* ========================================================================= */
int ZEXPORT deflateSetHeader (strm, head)
    z_streamp strm;
    gz_headerp head;
{
558 559
    if (deflateStateCheck(strm) || strm->state->wrap != 2)
        return Z_STREAM_ERROR;
M
Mark Adler 已提交
560 561 562 563
    strm->state->gzhead = head;
    return Z_OK;
}

M
Mark Adler 已提交
564 565 566 567 568 569
/* ========================================================================= */
int ZEXPORT deflatePending (strm, pending, bits)
    unsigned *pending;
    int *bits;
    z_streamp strm;
{
570
    if (deflateStateCheck(strm)) return Z_STREAM_ERROR;
571 572 573 574
    if (pending != Z_NULL)
        *pending = strm->state->pending;
    if (bits != Z_NULL)
        *bits = strm->state->bi_valid;
M
Mark Adler 已提交
575 576 577
    return Z_OK;
}

M
Mark Adler 已提交
578 579 580 581 582 583
/* ========================================================================= */
int ZEXPORT deflatePrime (strm, bits, value)
    z_streamp strm;
    int bits;
    int value;
{
584 585 586
    deflate_state *s;
    int put;

587
    if (deflateStateCheck(strm)) return Z_STREAM_ERROR;
588
    s = strm->state;
589
    if (s->sym_buf < s->pending_out + ((Buf_size + 7) >> 3))
590 591 592 593 594 595 596 597 598 599 600
        return Z_BUF_ERROR;
    do {
        put = Buf_size - s->bi_valid;
        if (put > bits)
            put = bits;
        s->bi_buf |= (ush)((value & ((1 << put) - 1)) << s->bi_valid);
        s->bi_valid += put;
        _tr_flush_bits(s);
        value >>= put;
        bits -= put;
    } while (bits);
M
Mark Adler 已提交
601 602 603
    return Z_OK;
}

M
Mark Adler 已提交
604
/* ========================================================================= */
M
Mark Adler 已提交
605
int ZEXPORT deflateParams(strm, level, strategy)
M
Mark Adler 已提交
606
    z_streamp strm;
M
Mark Adler 已提交
607 608 609 610 611 612
    int level;
    int strategy;
{
    deflate_state *s;
    compress_func func;

613
    if (deflateStateCheck(strm)) return Z_STREAM_ERROR;
M
Mark Adler 已提交
614 615
    s = strm->state;

M
Mark Adler 已提交
616 617 618 619 620
#ifdef FASTEST
    if (level != 0) level = 1;
#else
    if (level == Z_DEFAULT_COMPRESSION) level = 6;
#endif
M
Mark Adler 已提交
621
    if (level < 0 || level > 9 || strategy < 0 || strategy > Z_FIXED) {
M
Mark Adler 已提交
622
        return Z_STREAM_ERROR;
M
Mark Adler 已提交
623 624 625
    }
    func = configuration_table[s->level].func;

626 627
    if ((strategy != s->strategy || func != configuration_table[level].func) &&
        s->high_water) {
M
Mark Adler 已提交
628
        /* Flush the last buffer: */
629 630 631 632 633
        int err = deflate(strm, Z_BLOCK);
        if (err == Z_STREAM_ERROR)
            return err;
        if (strm->avail_out == 0)
            return Z_BUF_ERROR;
M
Mark Adler 已提交
634 635
    }
    if (s->level != level) {
636 637 638 639 640 641 642
        if (s->level == 0 && s->matches != 0) {
            if (s->matches == 1)
                slide_hash(s);
            else
                CLEAR_HASH(s);
            s->matches = 0;
        }
M
Mark Adler 已提交
643 644 645 646 647
        s->level = level;
        s->max_lazy_match   = configuration_table[level].max_lazy;
        s->good_match       = configuration_table[level].good_length;
        s->nice_match       = configuration_table[level].nice_length;
        s->max_chain_length = configuration_table[level].max_chain;
M
Mark Adler 已提交
648 649
    }
    s->strategy = strategy;
650
    return Z_OK;
M
Mark Adler 已提交
651 652
}

M
Mark Adler 已提交
653 654 655 656 657 658 659 660 661 662
/* ========================================================================= */
int ZEXPORT deflateTune(strm, good_length, max_lazy, nice_length, max_chain)
    z_streamp strm;
    int good_length;
    int max_lazy;
    int nice_length;
    int max_chain;
{
    deflate_state *s;

663
    if (deflateStateCheck(strm)) return Z_STREAM_ERROR;
M
Mark Adler 已提交
664
    s = strm->state;
M
Mark Adler 已提交
665 666
    s->good_match = (uInt)good_length;
    s->max_lazy_match = (uInt)max_lazy;
M
Mark Adler 已提交
667
    s->nice_match = nice_length;
M
Mark Adler 已提交
668
    s->max_chain_length = (uInt)max_chain;
M
Mark Adler 已提交
669 670 671
    return Z_OK;
}

M
Mark Adler 已提交
672 673 674 675 676 677 678 679 680 681 682 683
/* =========================================================================
 * For the default windowBits of 15 and memLevel of 8, this function returns
 * a close to exact, as well as small, upper bound on the compressed size.
 * They are coded as constants here for a reason--if the #define's are
 * changed, then this function needs to be changed as well.  The return
 * value for 15 and 8 only works for those exact settings.
 *
 * For any setting other than those defaults for windowBits and memLevel,
 * the value returned is a conservative worst case for the maximum expansion
 * resulting from using fixed blocks instead of stored blocks, which deflate
 * can emit on compressed data for some combinations of the parameters.
 *
M
Mark Adler 已提交
684 685 686 687
 * This function could be more sophisticated to provide closer upper bounds for
 * every combination of windowBits and memLevel.  But even the conservative
 * upper bound of about 14% expansion does not seem onerous for output buffer
 * allocation.
M
Mark Adler 已提交
688 689 690 691 692 693
 */
uLong ZEXPORT deflateBound(strm, sourceLen)
    z_streamp strm;
    uLong sourceLen;
{
    deflate_state *s;
M
Mark Adler 已提交
694
    uLong complen, wraplen;
M
Mark Adler 已提交
695

M
Mark Adler 已提交
696 697 698
    /* conservative upper bound for compressed data */
    complen = sourceLen +
              ((sourceLen + 7) >> 3) + ((sourceLen + 63) >> 6) + 5;
M
Mark Adler 已提交
699

M
Mark Adler 已提交
700
    /* if can't get parameters, return conservative bound plus zlib wrapper */
701
    if (deflateStateCheck(strm))
M
Mark Adler 已提交
702
        return complen + 6;
M
Mark Adler 已提交
703

M
Mark Adler 已提交
704
    /* compute wrapper length */
M
Mark Adler 已提交
705
    s = strm->state;
M
Mark Adler 已提交
706 707 708 709 710 711 712
    switch (s->wrap) {
    case 0:                                 /* raw deflate */
        wraplen = 0;
        break;
    case 1:                                 /* zlib wrapper */
        wraplen = 6 + (s->strstart ? 4 : 0);
        break;
713
#ifdef GZIP
M
Mark Adler 已提交
714 715
    case 2:                                 /* gzip wrapper */
        wraplen = 18;
M
Mark Adler 已提交
716
        if (s->gzhead != Z_NULL) {          /* user-supplied gzip header */
717
            Bytef *str;
M
Mark Adler 已提交
718
            if (s->gzhead->extra != Z_NULL)
M
Mark Adler 已提交
719 720
                wraplen += 2 + s->gzhead->extra_len;
            str = s->gzhead->name;
M
Mark Adler 已提交
721
            if (str != Z_NULL)
M
Mark Adler 已提交
722 723 724 725
                do {
                    wraplen++;
                } while (*str++);
            str = s->gzhead->comment;
M
Mark Adler 已提交
726
            if (str != Z_NULL)
M
Mark Adler 已提交
727 728 729 730 731 732 733
                do {
                    wraplen++;
                } while (*str++);
            if (s->gzhead->hcrc)
                wraplen += 2;
        }
        break;
734
#endif
M
Mark Adler 已提交
735 736 737 738 739
    default:                                /* for compiler happiness */
        wraplen = 6;
    }

    /* if not default parameters, return conservative bound */
M
Mark Adler 已提交
740
    if (s->w_bits != 15 || s->hash_bits != 8 + 7)
M
Mark Adler 已提交
741
        return complen + wraplen;
M
Mark Adler 已提交
742 743

    /* default settings: return tight bound for that case */
M
Mark Adler 已提交
744 745
    return sourceLen + (sourceLen >> 12) + (sourceLen >> 14) +
           (sourceLen >> 25) + 13 - 6 + wraplen;
M
Mark Adler 已提交
746 747
}

M
Mark Adler 已提交
748
/* =========================================================================
M
Mark Adler 已提交
749
 * Put a short in the pending buffer. The 16-bit value is put in MSB order.
M
Mark Adler 已提交
750
 * IN assertion: the stream state is correct and there is enough room in
M
Mark Adler 已提交
751
 * pending_buf.
M
Mark Adler 已提交
752 753 754 755 756
 */
local void putShortMSB (s, b)
    deflate_state *s;
    uInt b;
{
M
Mark Adler 已提交
757 758
    put_byte(s, (Byte)(b >> 8));
    put_byte(s, (Byte)(b & 0xff));
M
Mark Adler 已提交
759
}
M
Mark Adler 已提交
760 761

/* =========================================================================
762 763 764 765
 * Flush as much pending output as possible. All deflate() output, except for
 * some deflate_stored() output, goes through this function so some
 * applications may wish to modify it to avoid allocating a large
 * strm->next_out buffer and copying into it. (See also read_buf()).
M
Mark Adler 已提交
766 767
 */
local void flush_pending(strm)
M
Mark Adler 已提交
768
    z_streamp strm;
M
Mark Adler 已提交
769
{
770 771
    unsigned len;
    deflate_state *s = strm->state;
M
Mark Adler 已提交
772

773 774
    _tr_flush_bits(s);
    len = s->pending;
M
Mark Adler 已提交
775 776 777
    if (len > strm->avail_out) len = strm->avail_out;
    if (len == 0) return;

778
    zmemcpy(strm->next_out, s->pending_out, len);
M
Mark Adler 已提交
779
    strm->next_out  += len;
780
    s->pending_out  += len;
M
Mark Adler 已提交
781
    strm->total_out += len;
782 783
    strm->avail_out -= len;
    s->pending      -= len;
784 785
    if (s->pending == 0) {
        s->pending_out = s->pending_buf;
M
Mark Adler 已提交
786 787 788
    }
}

789 790 791 792 793 794 795 796 797 798
/* ===========================================================================
 * Update the header CRC with the bytes s->pending_buf[beg..s->pending - 1].
 */
#define HCRC_UPDATE(beg) \
    do { \
        if (s->gzhead->hcrc && s->pending > (beg)) \
            strm->adler = crc32(strm->adler, s->pending_buf + (beg), \
                                s->pending - (beg)); \
    } while (0)

M
Mark Adler 已提交
799
/* ========================================================================= */
M
Mark Adler 已提交
800
int ZEXPORT deflate (strm, flush)
M
Mark Adler 已提交
801
    z_streamp strm;
M
Mark Adler 已提交
802 803
    int flush;
{
M
Mark Adler 已提交
804
    int old_flush; /* value of flush param for previous deflate call */
M
Mark Adler 已提交
805
    deflate_state *s;
M
Mark Adler 已提交
806

807
    if (deflateStateCheck(strm) || flush > Z_BLOCK || flush < 0) {
M
Mark Adler 已提交
808 809
        return Z_STREAM_ERROR;
    }
M
Mark Adler 已提交
810 811
    s = strm->state;

M
Mark Adler 已提交
812
    if (strm->next_out == Z_NULL ||
813
        (strm->avail_in != 0 && strm->next_in == Z_NULL) ||
M
Mark Adler 已提交
814
        (s->status == FINISH_STATE && flush != Z_FINISH)) {
M
Mark Adler 已提交
815
        ERR_RETURN(strm, Z_STREAM_ERROR);
M
Mark Adler 已提交
816 817 818
    }
    if (strm->avail_out == 0) ERR_RETURN(strm, Z_BUF_ERROR);

M
Mark Adler 已提交
819 820
    old_flush = s->last_flush;
    s->last_flush = flush;
M
Mark Adler 已提交
821

822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849
    /* Flush as much pending output as possible */
    if (s->pending != 0) {
        flush_pending(strm);
        if (strm->avail_out == 0) {
            /* Since avail_out is 0, deflate will be called again with
             * more output space, but possibly with both pending and
             * avail_in equal to zero. There won't be anything to do,
             * but this is not an error situation so make sure we
             * return OK instead of BUF_ERROR at next call of deflate:
             */
            s->last_flush = -1;
            return Z_OK;
        }

    /* Make sure there is something to do and avoid duplicate consecutive
     * flushes. For repeated and useless calls with Z_FINISH, we keep
     * returning Z_STREAM_END instead of Z_BUF_ERROR.
     */
    } else if (strm->avail_in == 0 && RANK(flush) <= RANK(old_flush) &&
               flush != Z_FINISH) {
        ERR_RETURN(strm, Z_BUF_ERROR);
    }

    /* User must not provide more input after the first FINISH: */
    if (s->status == FINISH_STATE && strm->avail_in != 0) {
        ERR_RETURN(strm, Z_BUF_ERROR);
    }

M
Mark Adler 已提交
850
    /* Write the header */
M
Mark Adler 已提交
851
    if (s->status == INIT_STATE) {
852 853 854 855 856 857 858 859 860 861
        /* zlib header */
        uInt header = (Z_DEFLATED + ((s->w_bits-8)<<4)) << 8;
        uInt level_flags;

        if (s->strategy >= Z_HUFFMAN_ONLY || s->level < 2)
            level_flags = 0;
        else if (s->level < 6)
            level_flags = 1;
        else if (s->level == 6)
            level_flags = 2;
M
Mark Adler 已提交
862
        else
863 864 865 866 867 868 869 870 871 872 873 874 875 876
            level_flags = 3;
        header |= (level_flags << 6);
        if (s->strstart != 0) header |= PRESET_DICT;
        header += 31 - (header % 31);

        putShortMSB(s, header);

        /* Save the adler32 of the preset dictionary: */
        if (s->strstart != 0) {
            putShortMSB(s, (uInt)(strm->adler >> 16));
            putShortMSB(s, (uInt)(strm->adler & 0xffff));
        }
        strm->adler = adler32(0L, Z_NULL, 0);
        s->status = BUSY_STATE;
M
Mark Adler 已提交
877

878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901
        /* Compression must start with an empty pending buffer */
        flush_pending(strm);
        if (s->pending != 0) {
            s->last_flush = -1;
            return Z_OK;
        }
    }
#ifdef GZIP
    if (s->status == GZIP_STATE) {
        /* gzip header */
        strm->adler = crc32(0L, Z_NULL, 0);
        put_byte(s, 31);
        put_byte(s, 139);
        put_byte(s, 8);
        if (s->gzhead == Z_NULL) {
            put_byte(s, 0);
            put_byte(s, 0);
            put_byte(s, 0);
            put_byte(s, 0);
            put_byte(s, 0);
            put_byte(s, s->level == 9 ? 2 :
                     (s->strategy >= Z_HUFFMAN_ONLY || s->level < 2 ?
                      4 : 0));
            put_byte(s, OS_CODE);
M
Mark Adler 已提交
902
            s->status = BUSY_STATE;
M
Mark Adler 已提交
903

904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928
            /* Compression must start with an empty pending buffer */
            flush_pending(strm);
            if (s->pending != 0) {
                s->last_flush = -1;
                return Z_OK;
            }
        }
        else {
            put_byte(s, (s->gzhead->text ? 1 : 0) +
                     (s->gzhead->hcrc ? 2 : 0) +
                     (s->gzhead->extra == Z_NULL ? 0 : 4) +
                     (s->gzhead->name == Z_NULL ? 0 : 8) +
                     (s->gzhead->comment == Z_NULL ? 0 : 16)
                     );
            put_byte(s, (Byte)(s->gzhead->time & 0xff));
            put_byte(s, (Byte)((s->gzhead->time >> 8) & 0xff));
            put_byte(s, (Byte)((s->gzhead->time >> 16) & 0xff));
            put_byte(s, (Byte)((s->gzhead->time >> 24) & 0xff));
            put_byte(s, s->level == 9 ? 2 :
                     (s->strategy >= Z_HUFFMAN_ONLY || s->level < 2 ?
                      4 : 0));
            put_byte(s, s->gzhead->os & 0xff);
            if (s->gzhead->extra != Z_NULL) {
                put_byte(s, s->gzhead->extra_len & 0xff);
                put_byte(s, (s->gzhead->extra_len >> 8) & 0xff);
M
Mark Adler 已提交
929
            }
930 931 932 933 934
            if (s->gzhead->hcrc)
                strm->adler = crc32(strm->adler, s->pending_buf,
                                    s->pending);
            s->gzindex = 0;
            s->status = EXTRA_STATE;
M
Mark Adler 已提交
935
        }
M
Mark Adler 已提交
936
    }
M
Mark Adler 已提交
937
    if (s->status == EXTRA_STATE) {
M
Mark Adler 已提交
938
        if (s->gzhead->extra != Z_NULL) {
939 940 941 942 943 944 945 946 947 948 949 950 951
            ulg beg = s->pending;   /* start of bytes to update crc */
            uInt left = (s->gzhead->extra_len & 0xffff) - s->gzindex;
            while (s->pending + left > s->pending_buf_size) {
                uInt copy = s->pending_buf_size - s->pending;
                zmemcpy(s->pending_buf + s->pending,
                        s->gzhead->extra + s->gzindex, copy);
                s->pending = s->pending_buf_size;
                HCRC_UPDATE(beg);
                s->gzindex += copy;
                flush_pending(strm);
                if (s->pending != 0) {
                    s->last_flush = -1;
                    return Z_OK;
M
Mark Adler 已提交
952
                }
953 954
                beg = 0;
                left -= copy;
M
Mark Adler 已提交
955
            }
956 957 958 959 960
            zmemcpy(s->pending_buf + s->pending,
                    s->gzhead->extra + s->gzindex, left);
            s->pending += left;
            HCRC_UPDATE(beg);
            s->gzindex = 0;
M
Mark Adler 已提交
961
        }
962
        s->status = NAME_STATE;
M
Mark Adler 已提交
963 964
    }
    if (s->status == NAME_STATE) {
M
Mark Adler 已提交
965
        if (s->gzhead->name != Z_NULL) {
966
            ulg beg = s->pending;   /* start of bytes to update crc */
M
Mark Adler 已提交
967 968 969
            int val;
            do {
                if (s->pending == s->pending_buf_size) {
970
                    HCRC_UPDATE(beg);
M
Mark Adler 已提交
971
                    flush_pending(strm);
972 973 974
                    if (s->pending != 0) {
                        s->last_flush = -1;
                        return Z_OK;
M
Mark Adler 已提交
975
                    }
976
                    beg = 0;
M
Mark Adler 已提交
977 978 979 980
                }
                val = s->gzhead->name[s->gzindex++];
                put_byte(s, val);
            } while (val != 0);
981 982
            HCRC_UPDATE(beg);
            s->gzindex = 0;
M
Mark Adler 已提交
983
        }
984
        s->status = COMMENT_STATE;
M
Mark Adler 已提交
985 986
    }
    if (s->status == COMMENT_STATE) {
M
Mark Adler 已提交
987
        if (s->gzhead->comment != Z_NULL) {
988
            ulg beg = s->pending;   /* start of bytes to update crc */
M
Mark Adler 已提交
989 990 991
            int val;
            do {
                if (s->pending == s->pending_buf_size) {
992
                    HCRC_UPDATE(beg);
M
Mark Adler 已提交
993
                    flush_pending(strm);
994 995 996
                    if (s->pending != 0) {
                        s->last_flush = -1;
                        return Z_OK;
M
Mark Adler 已提交
997
                    }
998
                    beg = 0;
M
Mark Adler 已提交
999 1000 1001 1002
                }
                val = s->gzhead->comment[s->gzindex++];
                put_byte(s, val);
            } while (val != 0);
1003
            HCRC_UPDATE(beg);
M
Mark Adler 已提交
1004
        }
1005
        s->status = HCRC_STATE;
M
Mark Adler 已提交
1006 1007 1008
    }
    if (s->status == HCRC_STATE) {
        if (s->gzhead->hcrc) {
1009
            if (s->pending + 2 > s->pending_buf_size) {
M
Mark Adler 已提交
1010
                flush_pending(strm);
1011 1012 1013 1014
                if (s->pending != 0) {
                    s->last_flush = -1;
                    return Z_OK;
                }
M
Mark Adler 已提交
1015
            }
1016 1017 1018
            put_byte(s, (Byte)(strm->adler & 0xff));
            put_byte(s, (Byte)((strm->adler >> 8) & 0xff));
            strm->adler = crc32(0L, Z_NULL, 0);
M
Mark Adler 已提交
1019
        }
1020
        s->status = BUSY_STATE;
M
Mark Adler 已提交
1021

1022
        /* Compression must start with an empty pending buffer */
M
Mark Adler 已提交
1023
        flush_pending(strm);
1024
        if (s->pending != 0) {
M
Mark Adler 已提交
1025 1026 1027
            s->last_flush = -1;
            return Z_OK;
        }
M
Mark Adler 已提交
1028
    }
1029
#endif
M
Mark Adler 已提交
1030 1031 1032

    /* Start a new block or continue the current one.
     */
M
Mark Adler 已提交
1033 1034
    if (strm->avail_in != 0 || s->lookahead != 0 ||
        (flush != Z_NO_FLUSH && s->status != FINISH_STATE)) {
M
Mark Adler 已提交
1035
        block_state bstate;
M
Mark Adler 已提交
1036

1037 1038 1039 1040
        bstate = s->level == 0 ? deflate_stored(s, flush) :
                 s->strategy == Z_HUFFMAN_ONLY ? deflate_huff(s, flush) :
                 s->strategy == Z_RLE ? deflate_rle(s, flush) :
                 (*(configuration_table[s->level].func))(s, flush);
M
Mark Adler 已提交
1041 1042

        if (bstate == finish_started || bstate == finish_done) {
M
Mark Adler 已提交
1043
            s->status = FINISH_STATE;
M
Mark Adler 已提交
1044
        }
M
Mark Adler 已提交
1045
        if (bstate == need_more || bstate == finish_started) {
M
Mark Adler 已提交
1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057
            if (strm->avail_out == 0) {
                s->last_flush = -1; /* avoid BUF_ERROR next call, see above */
            }
            return Z_OK;
            /* If flush != Z_NO_FLUSH && avail_out == 0, the next call
             * of deflate should use the same flush parameter to make sure
             * that the flush is complete. So we don't have to output an
             * empty block here, this will be done at next call. This also
             * ensures that for a very small output buffer, we emit at most
             * one empty block.
             */
        }
M
Mark Adler 已提交
1058
        if (bstate == block_done) {
M
Mark Adler 已提交
1059
            if (flush == Z_PARTIAL_FLUSH) {
M
Mark Adler 已提交
1060
                _tr_align(s);
M
Mark Adler 已提交
1061
            } else if (flush != Z_BLOCK) { /* FULL_FLUSH or SYNC_FLUSH */
M
Mark Adler 已提交
1062
                _tr_stored_block(s, (char*)0, 0L, 0);
M
Mark Adler 已提交
1063 1064 1065 1066
                /* For a full flush, this empty block will be recognized
                 * as a special marker by inflate_sync().
                 */
                if (flush == Z_FULL_FLUSH) {
M
Mark Adler 已提交
1067
                    CLEAR_HASH(s);             /* forget history */
M
Mark Adler 已提交
1068 1069 1070
                    if (s->lookahead == 0) {
                        s->strstart = 0;
                        s->block_start = 0L;
1071
                        s->insert = 0;
M
Mark Adler 已提交
1072
                    }
M
Mark Adler 已提交
1073 1074
                }
            }
M
Mark Adler 已提交
1075
            flush_pending(strm);
M
Mark Adler 已提交
1076 1077 1078 1079
            if (strm->avail_out == 0) {
              s->last_flush = -1; /* avoid BUF_ERROR at next call, see above */
              return Z_OK;
            }
M
Mark Adler 已提交
1080
        }
M
Mark Adler 已提交
1081 1082
    }

M
Mark Adler 已提交
1083
    if (flush != Z_FINISH) return Z_OK;
M
Mark Adler 已提交
1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103
    if (s->wrap <= 0) return Z_STREAM_END;

    /* Write the trailer */
#ifdef GZIP
    if (s->wrap == 2) {
        put_byte(s, (Byte)(strm->adler & 0xff));
        put_byte(s, (Byte)((strm->adler >> 8) & 0xff));
        put_byte(s, (Byte)((strm->adler >> 16) & 0xff));
        put_byte(s, (Byte)((strm->adler >> 24) & 0xff));
        put_byte(s, (Byte)(strm->total_in & 0xff));
        put_byte(s, (Byte)((strm->total_in >> 8) & 0xff));
        put_byte(s, (Byte)((strm->total_in >> 16) & 0xff));
        put_byte(s, (Byte)((strm->total_in >> 24) & 0xff));
    }
    else
#endif
    {
        putShortMSB(s, (uInt)(strm->adler >> 16));
        putShortMSB(s, (uInt)(strm->adler & 0xffff));
    }
M
Mark Adler 已提交
1104 1105 1106 1107
    flush_pending(strm);
    /* If avail_out is zero, the application will call deflate again
     * to flush the rest.
     */
M
Mark Adler 已提交
1108
    if (s->wrap > 0) s->wrap = -s->wrap; /* write the trailer only once! */
M
Mark Adler 已提交
1109
    return s->pending != 0 ? Z_OK : Z_STREAM_END;
M
Mark Adler 已提交
1110 1111 1112
}

/* ========================================================================= */
M
Mark Adler 已提交
1113
int ZEXPORT deflateEnd (strm)
M
Mark Adler 已提交
1114
    z_streamp strm;
M
Mark Adler 已提交
1115
{
M
Mark Adler 已提交
1116 1117
    int status;

1118
    if (deflateStateCheck(strm)) return Z_STREAM_ERROR;
M
Mark Adler 已提交
1119

M
Mark Adler 已提交
1120 1121
    status = strm->state->status;

M
Mark Adler 已提交
1122
    /* Deallocate in reverse order of allocations: */
M
Mark Adler 已提交
1123
    TRY_FREE(strm, strm->state->pending_buf);
M
Mark Adler 已提交
1124 1125 1126
    TRY_FREE(strm, strm->state->head);
    TRY_FREE(strm, strm->state->prev);
    TRY_FREE(strm, strm->state->window);
M
Mark Adler 已提交
1127 1128 1129 1130

    ZFREE(strm, strm->state);
    strm->state = Z_NULL;

M
Mark Adler 已提交
1131
    return status == BUSY_STATE ? Z_DATA_ERROR : Z_OK;
M
Mark Adler 已提交
1132 1133
}

M
Mark Adler 已提交
1134 1135 1136 1137 1138
/* =========================================================================
 * Copy the source state to the destination state.
 * To simplify the source, this is not supported for 16-bit MSDOS (which
 * doesn't have enough memory anyway to duplicate compression states).
 */
M
Mark Adler 已提交
1139
int ZEXPORT deflateCopy (dest, source)
M
Mark Adler 已提交
1140 1141
    z_streamp dest;
    z_streamp source;
M
Mark Adler 已提交
1142
{
M
Mark Adler 已提交
1143 1144 1145 1146 1147 1148 1149
#ifdef MAXSEG_64K
    return Z_STREAM_ERROR;
#else
    deflate_state *ds;
    deflate_state *ss;


1150
    if (deflateStateCheck(source) || dest == Z_NULL) {
M
Mark Adler 已提交
1151
        return Z_STREAM_ERROR;
M
Mark Adler 已提交
1152
    }
M
Mark Adler 已提交
1153 1154 1155

    ss = source->state;

1156
    zmemcpy((voidpf)dest, (voidpf)source, sizeof(z_stream));
M
Mark Adler 已提交
1157

M
Mark Adler 已提交
1158 1159 1160
    ds = (deflate_state *) ZALLOC(dest, 1, sizeof(deflate_state));
    if (ds == Z_NULL) return Z_MEM_ERROR;
    dest->state = (struct internal_state FAR *) ds;
1161
    zmemcpy((voidpf)ds, (voidpf)ss, sizeof(deflate_state));
M
Mark Adler 已提交
1162 1163 1164 1165 1166
    ds->strm = dest;

    ds->window = (Bytef *) ZALLOC(dest, ds->w_size, 2*sizeof(Byte));
    ds->prev   = (Posf *)  ZALLOC(dest, ds->w_size, sizeof(Pos));
    ds->head   = (Posf *)  ZALLOC(dest, ds->hash_size, sizeof(Pos));
1167
    ds->pending_buf = (uchf *) ZALLOC(dest, ds->lit_bufsize, 4);
M
Mark Adler 已提交
1168 1169 1170 1171 1172 1173 1174 1175

    if (ds->window == Z_NULL || ds->prev == Z_NULL || ds->head == Z_NULL ||
        ds->pending_buf == Z_NULL) {
        deflateEnd (dest);
        return Z_MEM_ERROR;
    }
    /* following zmemcpy do not work for 16-bit MSDOS */
    zmemcpy(ds->window, ss->window, ds->w_size * 2 * sizeof(Byte));
1176 1177
    zmemcpy((voidpf)ds->prev, (voidpf)ss->prev, ds->w_size * sizeof(Pos));
    zmemcpy((voidpf)ds->head, (voidpf)ss->head, ds->hash_size * sizeof(Pos));
M
Mark Adler 已提交
1178 1179 1180
    zmemcpy(ds->pending_buf, ss->pending_buf, (uInt)ds->pending_buf_size);

    ds->pending_out = ds->pending_buf + (ss->pending_out - ss->pending_buf);
1181
    ds->sym_buf = ds->pending_buf + ds->lit_bufsize;
M
Mark Adler 已提交
1182 1183 1184 1185 1186

    ds->l_desc.dyn_tree = ds->dyn_ltree;
    ds->d_desc.dyn_tree = ds->dyn_dtree;
    ds->bl_desc.dyn_tree = ds->bl_tree;

M
Mark Adler 已提交
1187
    return Z_OK;
M
Mark Adler 已提交
1188
#endif /* MAXSEG_64K */
M
Mark Adler 已提交
1189 1190 1191 1192
}

/* ===========================================================================
 * Read a new buffer from the current input stream, update the adler32
M
Mark Adler 已提交
1193 1194 1195 1196
 * and total number of bytes read.  All deflate() input goes through
 * this function so some applications may wish to modify it to avoid
 * allocating a large strm->next_in buffer and copying from it.
 * (See also flush_pending()).
M
Mark Adler 已提交
1197
 */
M
Mark Adler 已提交
1198
local unsigned read_buf(strm, buf, size)
M
Mark Adler 已提交
1199
    z_streamp strm;
M
Mark Adler 已提交
1200
    Bytef *buf;
M
Mark Adler 已提交
1201 1202 1203 1204 1205 1206 1207 1208 1209
    unsigned size;
{
    unsigned len = strm->avail_in;

    if (len > size) len = size;
    if (len == 0) return 0;

    strm->avail_in  -= len;

M
Mark Adler 已提交
1210
    zmemcpy(buf, strm->next_in, len);
M
Mark Adler 已提交
1211
    if (strm->state->wrap == 1) {
M
Mark Adler 已提交
1212
        strm->adler = adler32(strm->adler, buf, len);
M
Mark Adler 已提交
1213
    }
M
Mark Adler 已提交
1214 1215
#ifdef GZIP
    else if (strm->state->wrap == 2) {
M
Mark Adler 已提交
1216
        strm->adler = crc32(strm->adler, buf, len);
M
Mark Adler 已提交
1217 1218
    }
#endif
M
Mark Adler 已提交
1219 1220 1221
    strm->next_in  += len;
    strm->total_in += len;

M
Mark Adler 已提交
1222
    return len;
M
Mark Adler 已提交
1223 1224 1225 1226 1227 1228 1229 1230 1231 1232
}

/* ===========================================================================
 * Initialize the "longest match" routines for a new zlib stream
 */
local void lm_init (s)
    deflate_state *s;
{
    s->window_size = (ulg)2L*s->w_size;

M
Mark Adler 已提交
1233
    CLEAR_HASH(s);
M
Mark Adler 已提交
1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244

    /* Set the default configuration parameters:
     */
    s->max_lazy_match   = configuration_table[s->level].max_lazy;
    s->good_match       = configuration_table[s->level].good_length;
    s->nice_match       = configuration_table[s->level].nice_length;
    s->max_chain_length = configuration_table[s->level].max_chain;

    s->strstart = 0;
    s->block_start = 0L;
    s->lookahead = 0;
1245
    s->insert = 0;
M
Mark Adler 已提交
1246
    s->match_length = s->prev_length = MIN_MATCH-1;
M
Mark Adler 已提交
1247
    s->match_available = 0;
M
Mark Adler 已提交
1248
    s->ins_h = 0;
M
Mark Adler 已提交
1249
#ifndef FASTEST
M
Mark Adler 已提交
1250 1251 1252
#ifdef ASMV
    match_init(); /* initialize the asm code */
#endif
M
Mark Adler 已提交
1253
#endif
M
Mark Adler 已提交
1254 1255
}

M
Mark Adler 已提交
1256
#ifndef FASTEST
M
Mark Adler 已提交
1257 1258 1259 1260 1261 1262 1263
/* ===========================================================================
 * Set match_start to the longest match starting at the given string and
 * return its length. Matches shorter or equal to prev_length are discarded,
 * in which case the result is equal to prev_length and match_start is
 * garbage.
 * IN assertions: cur_match is the head of the hash chain for the current
 *   string (strstart) and its distance is <= MAX_DIST, and prev_length >= 1
M
Mark Adler 已提交
1264
 * OUT assertion: the match length is not greater than s->lookahead.
M
Mark Adler 已提交
1265 1266 1267 1268 1269
 */
#ifndef ASMV
/* For 80x86 and 680x0, an optimized version will be provided in match.asm or
 * match.S. The code will be functionally equivalent.
 */
M
Mark Adler 已提交
1270
local uInt longest_match(s, cur_match)
M
Mark Adler 已提交
1271 1272 1273 1274
    deflate_state *s;
    IPos cur_match;                             /* current match */
{
    unsigned chain_length = s->max_chain_length;/* max hash chain length */
M
Mark Adler 已提交
1275
    register Bytef *scan = s->window + s->strstart; /* current string */
M
Mark Adler 已提交
1276
    register Bytef *match;                      /* matched string */
M
Mark Adler 已提交
1277
    register int len;                           /* length of current match */
M
Mark Adler 已提交
1278
    int best_len = (int)s->prev_length;         /* best match length so far */
M
Mark Adler 已提交
1279
    int nice_match = s->nice_match;             /* stop if match long enough */
M
Mark Adler 已提交
1280
    IPos limit = s->strstart > (IPos)MAX_DIST(s) ?
M
Mark Adler 已提交
1281
        s->strstart - (IPos)MAX_DIST(s) : NIL;
M
Mark Adler 已提交
1282 1283 1284
    /* Stop when cur_match becomes <= limit. To simplify the code,
     * we prevent matches with the string of window index 0.
     */
M
Mark Adler 已提交
1285
    Posf *prev = s->prev;
M
Mark Adler 已提交
1286
    uInt wmask = s->w_mask;
M
Mark Adler 已提交
1287 1288 1289 1290 1291

#ifdef UNALIGNED_OK
    /* Compare two bytes at a time. Note: this is not always beneficial.
     * Try with and without -DUNALIGNED_OK to check.
     */
M
Mark Adler 已提交
1292
    register Bytef *strend = s->window + s->strstart + MAX_MATCH - 1;
M
Mark Adler 已提交
1293 1294
    register ush scan_start = *(ushf*)scan;
    register ush scan_end   = *(ushf*)(scan+best_len-1);
M
Mark Adler 已提交
1295
#else
M
Mark Adler 已提交
1296
    register Bytef *strend = s->window + s->strstart + MAX_MATCH;
M
Mark Adler 已提交
1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309
    register Byte scan_end1  = scan[best_len-1];
    register Byte scan_end   = scan[best_len];
#endif

    /* The code is optimized for HASH_BITS >= 8 and MAX_MATCH-2 multiple of 16.
     * It is easy to get rid of this optimization if necessary.
     */
    Assert(s->hash_bits >= 8 && MAX_MATCH == 258, "Code too clever");

    /* Do not waste too much time if we already have a good match: */
    if (s->prev_length >= s->good_match) {
        chain_length >>= 2;
    }
M
Mark Adler 已提交
1310 1311 1312
    /* Do not look for matches beyond the end of the input. This is necessary
     * to make deflate deterministic.
     */
M
Mark Adler 已提交
1313
    if ((uInt)nice_match > s->lookahead) nice_match = (int)s->lookahead;
M
Mark Adler 已提交
1314

M
Mark Adler 已提交
1315
    Assert((ulg)s->strstart <= s->window_size-MIN_LOOKAHEAD, "need lookahead");
M
Mark Adler 已提交
1316 1317 1318 1319 1320 1321

    do {
        Assert(cur_match < s->strstart, "no future");
        match = s->window + cur_match;

        /* Skip to next match if the match length cannot increase
M
Mark Adler 已提交
1322 1323 1324 1325 1326 1327
         * or if the match length is less than 2.  Note that the checks below
         * for insufficient lookahead only occur occasionally for performance
         * reasons.  Therefore uninitialized memory will be accessed, and
         * conditional jumps will be made that depend on those values.
         * However the length of the match is limited to the lookahead, so
         * the output of deflate is not affected by the uninitialized values.
M
Mark Adler 已提交
1328 1329 1330 1331 1332
         */
#if (defined(UNALIGNED_OK) && MAX_MATCH == 258)
        /* This code assumes sizeof(unsigned short) == 2. Do not use
         * UNALIGNED_OK if your compiler uses a different size.
         */
M
Mark Adler 已提交
1333 1334
        if (*(ushf*)(match+best_len-1) != scan_end ||
            *(ushf*)match != scan_start) continue;
M
Mark Adler 已提交
1335 1336 1337 1338 1339 1340 1341 1342 1343 1344

        /* It is not necessary to compare scan[2] and match[2] since they are
         * always equal when the other bytes match, given that the hash keys
         * are equal and that HASH_BITS >= 8. Compare 2 bytes at a time at
         * strstart+3, +5, ... up to strstart+257. We check for insufficient
         * lookahead only every 4th comparison; the 128th check will be made
         * at strstart+257. If MAX_MATCH-2 is not a multiple of 8, it is
         * necessary to put more guard bytes at the end of the window, or
         * to check more often for insufficient lookahead.
         */
M
Mark Adler 已提交
1345
        Assert(scan[2] == match[2], "scan[2]?");
M
Mark Adler 已提交
1346 1347
        scan++, match++;
        do {
M
Mark Adler 已提交
1348 1349 1350 1351
        } while (*(ushf*)(scan+=2) == *(ushf*)(match+=2) &&
                 *(ushf*)(scan+=2) == *(ushf*)(match+=2) &&
                 *(ushf*)(scan+=2) == *(ushf*)(match+=2) &&
                 *(ushf*)(scan+=2) == *(ushf*)(match+=2) &&
M
Mark Adler 已提交
1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375
                 scan < strend);
        /* The funny "do {}" generates better code on most compilers */

        /* Here, scan <= window+strstart+257 */
        Assert(scan <= s->window+(unsigned)(s->window_size-1), "wild scan");
        if (*scan == *match) scan++;

        len = (MAX_MATCH - 1) - (int)(strend-scan);
        scan = strend - (MAX_MATCH-1);

#else /* UNALIGNED_OK */

        if (match[best_len]   != scan_end  ||
            match[best_len-1] != scan_end1 ||
            *match            != *scan     ||
            *++match          != scan[1])      continue;

        /* The check at best_len-1 can be removed because it will be made
         * again later. (This heuristic is not always a win.)
         * It is not necessary to compare scan[2] and match[2] since they
         * are always equal when the other bytes match, given that
         * the hash keys are equal and that HASH_BITS >= 8.
         */
        scan += 2, match++;
M
Mark Adler 已提交
1376
        Assert(*scan == *match, "match[2]?");
M
Mark Adler 已提交
1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397

        /* We check for insufficient lookahead only every 8th comparison;
         * the 256th check will be made at strstart+258.
         */
        do {
        } while (*++scan == *++match && *++scan == *++match &&
                 *++scan == *++match && *++scan == *++match &&
                 *++scan == *++match && *++scan == *++match &&
                 *++scan == *++match && *++scan == *++match &&
                 scan < strend);

        Assert(scan <= s->window+(unsigned)(s->window_size-1), "wild scan");

        len = MAX_MATCH - (int)(strend - scan);
        scan = strend - MAX_MATCH;

#endif /* UNALIGNED_OK */

        if (len > best_len) {
            s->match_start = cur_match;
            best_len = len;
M
Mark Adler 已提交
1398
            if (len >= nice_match) break;
M
Mark Adler 已提交
1399
#ifdef UNALIGNED_OK
M
Mark Adler 已提交
1400
            scan_end = *(ushf*)(scan+best_len-1);
M
Mark Adler 已提交
1401 1402 1403 1404 1405
#else
            scan_end1  = scan[best_len-1];
            scan_end   = scan[best_len];
#endif
        }
M
Mark Adler 已提交
1406
    } while ((cur_match = prev[cur_match & wmask]) > limit
M
Mark Adler 已提交
1407 1408
             && --chain_length != 0);

M
Mark Adler 已提交
1409
    if ((uInt)best_len <= s->lookahead) return (uInt)best_len;
M
Mark Adler 已提交
1410
    return s->lookahead;
M
Mark Adler 已提交
1411
}
M
Mark Adler 已提交
1412
#endif /* ASMV */
M
Mark Adler 已提交
1413 1414

#else /* FASTEST */
M
Mark Adler 已提交
1415 1416

/* ---------------------------------------------------------------------------
M
Mark Adler 已提交
1417
 * Optimized version for FASTEST only
M
Mark Adler 已提交
1418
 */
M
Mark Adler 已提交
1419
local uInt longest_match(s, cur_match)
M
Mark Adler 已提交
1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456
    deflate_state *s;
    IPos cur_match;                             /* current match */
{
    register Bytef *scan = s->window + s->strstart; /* current string */
    register Bytef *match;                       /* matched string */
    register int len;                           /* length of current match */
    register Bytef *strend = s->window + s->strstart + MAX_MATCH;

    /* The code is optimized for HASH_BITS >= 8 and MAX_MATCH-2 multiple of 16.
     * It is easy to get rid of this optimization if necessary.
     */
    Assert(s->hash_bits >= 8 && MAX_MATCH == 258, "Code too clever");

    Assert((ulg)s->strstart <= s->window_size-MIN_LOOKAHEAD, "need lookahead");

    Assert(cur_match < s->strstart, "no future");

    match = s->window + cur_match;

    /* Return failure if the match length is less than 2:
     */
    if (match[0] != scan[0] || match[1] != scan[1]) return MIN_MATCH-1;

    /* The check at best_len-1 can be removed because it will be made
     * again later. (This heuristic is not always a win.)
     * It is not necessary to compare scan[2] and match[2] since they
     * are always equal when the other bytes match, given that
     * the hash keys are equal and that HASH_BITS >= 8.
     */
    scan += 2, match += 2;
    Assert(*scan == *match, "match[2]?");

    /* We check for insufficient lookahead only every 8th comparison;
     * the 256th check will be made at strstart+258.
     */
    do {
    } while (*++scan == *++match && *++scan == *++match &&
M
Mark Adler 已提交
1457 1458 1459 1460
             *++scan == *++match && *++scan == *++match &&
             *++scan == *++match && *++scan == *++match &&
             *++scan == *++match && *++scan == *++match &&
             scan < strend);
M
Mark Adler 已提交
1461 1462 1463 1464 1465 1466 1467 1468

    Assert(scan <= s->window+(unsigned)(s->window_size-1), "wild scan");

    len = MAX_MATCH - (int)(strend - scan);

    if (len < MIN_MATCH) return MIN_MATCH - 1;

    s->match_start = cur_match;
M
Mark Adler 已提交
1469
    return (uInt)len <= s->lookahead ? (uInt)len : s->lookahead;
M
Mark Adler 已提交
1470
}
M
Mark Adler 已提交
1471

M
Mark Adler 已提交
1472 1473
#endif /* FASTEST */

1474
#ifdef ZLIB_DEBUG
1475 1476 1477 1478

#define EQUAL 0
/* result of memcmp for equal strings */

M
Mark Adler 已提交
1479 1480 1481 1482 1483 1484 1485 1486 1487
/* ===========================================================================
 * Check that the match at match_start is indeed a match.
 */
local void check_match(s, start, match, length)
    deflate_state *s;
    IPos start, match;
    int length;
{
    /* check that the match is indeed a match */
M
Mark Adler 已提交
1488 1489
    if (zmemcmp(s->window + match,
                s->window + start, length) != EQUAL) {
M
Mark Adler 已提交
1490
        fprintf(stderr, " start %u, match %u, length %d\n",
M
Mark Adler 已提交
1491
                start, match, length);
M
Mark Adler 已提交
1492
        do {
M
Mark Adler 已提交
1493 1494
            fprintf(stderr, "%c%c", s->window[match++], s->window[start++]);
        } while (--length != 0);
M
Mark Adler 已提交
1495 1496
        z_error("invalid match");
    }
M
Mark Adler 已提交
1497
    if (z_verbose > 1) {
M
Mark Adler 已提交
1498 1499
        fprintf(stderr,"\\[%d,%d]", start-match, length);
        do { putc(s->window[start++], stderr); } while (--length != 0);
M
Mark Adler 已提交
1500 1501 1502 1503
    }
}
#else
#  define check_match(s, start, match, length)
1504
#endif /* ZLIB_DEBUG */
M
Mark Adler 已提交
1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518

/* ===========================================================================
 * Fill the window when the lookahead becomes insufficient.
 * Updates strstart and lookahead.
 *
 * IN assertion: lookahead < MIN_LOOKAHEAD
 * OUT assertions: strstart <= window_size-MIN_LOOKAHEAD
 *    At least one byte has been read, or avail_in == 0; reads are
 *    performed for at least two bytes (required for the zip translate_eol
 *    option -- not supported here).
 */
local void fill_window(s)
    deflate_state *s;
{
1519
    unsigned n;
M
Mark Adler 已提交
1520
    unsigned more;    /* Amount of free space at the end of the window. */
M
Mark Adler 已提交
1521
    uInt wsize = s->w_size;
M
Mark Adler 已提交
1522

1523 1524
    Assert(s->lookahead < MIN_LOOKAHEAD, "already enough lookahead");

M
Mark Adler 已提交
1525
    do {
M
Mark Adler 已提交
1526
        more = (unsigned)(s->window_size -(ulg)s->lookahead -(ulg)s->strstart);
M
Mark Adler 已提交
1527

M
Mark Adler 已提交
1528
        /* Deal with !@#$% 64K limit: */
M
Mark Adler 已提交
1529 1530 1531
        if (sizeof(int) <= 2) {
            if (more == 0 && s->strstart == 0 && s->lookahead == 0) {
                more = wsize;
M
Mark Adler 已提交
1532

M
Mark Adler 已提交
1533 1534
            } else if (more == (unsigned)(-1)) {
                /* Very unlikely, but possible on 16 bit machine if
M
Mark Adler 已提交
1535
                 * strstart == 0 && lookahead == 1 (input done a byte at time)
M
Mark Adler 已提交
1536 1537 1538 1539
                 */
                more--;
            }
        }
M
Mark Adler 已提交
1540 1541 1542 1543

        /* If the window is almost full and there is insufficient lookahead,
         * move the upper half to the lower one to make room in the upper half.
         */
M
Mark Adler 已提交
1544
        if (s->strstart >= wsize+MAX_DIST(s)) {
M
Mark Adler 已提交
1545

1546
            zmemcpy(s->window, s->window+wsize, (unsigned)wsize - more);
M
Mark Adler 已提交
1547 1548 1549
            s->match_start -= wsize;
            s->strstart    -= wsize; /* we now have strstart >= MAX_DIST */
            s->block_start -= (long) wsize;
1550
            slide_hash(s);
M
Mark Adler 已提交
1551
            more += wsize;
M
Mark Adler 已提交
1552
        }
1553
        if (s->strm->avail_in == 0) break;
M
Mark Adler 已提交
1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567

        /* If there was no sliding:
         *    strstart <= WSIZE+MAX_DIST-1 && lookahead <= MIN_LOOKAHEAD - 1 &&
         *    more == window_size - lookahead - strstart
         * => more >= window_size - (MIN_LOOKAHEAD-1 + WSIZE + MAX_DIST-1)
         * => more >= window_size - 2*WSIZE + 2
         * In the BIG_MEM or MMAP case (not yet supported),
         *   window_size == input_size + MIN_LOOKAHEAD  &&
         *   strstart + s->lookahead <= input_size => more >= MIN_LOOKAHEAD.
         * Otherwise, window_size == 2*WSIZE so more >= 2.
         * If there was sliding, more >= WSIZE. So in all cases, more >= 2.
         */
        Assert(more >= 2, "more < 2");

M
Mark Adler 已提交
1568
        n = read_buf(s->strm, s->window + s->strstart + s->lookahead, more);
M
Mark Adler 已提交
1569
        s->lookahead += n;
M
Mark Adler 已提交
1570

M
Mark Adler 已提交
1571
        /* Initialize the hash value now that we have some input: */
1572 1573 1574 1575
        if (s->lookahead + s->insert >= MIN_MATCH) {
            uInt str = s->strstart - s->insert;
            s->ins_h = s->window[str];
            UPDATE_HASH(s, s->ins_h, s->window[str + 1]);
M
Mark Adler 已提交
1576 1577 1578
#if MIN_MATCH != 3
            Call UPDATE_HASH() MIN_MATCH-3 more times
#endif
1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589
            while (s->insert) {
                UPDATE_HASH(s, s->ins_h, s->window[str + MIN_MATCH-1]);
#ifndef FASTEST
                s->prev[str & s->w_mask] = s->head[s->ins_h];
#endif
                s->head[s->ins_h] = (Pos)str;
                str++;
                s->insert--;
                if (s->lookahead + s->insert < MIN_MATCH)
                    break;
            }
M
Mark Adler 已提交
1590 1591 1592 1593 1594
        }
        /* If the whole input has less than MIN_MATCH bytes, ins_h is garbage,
         * but this is not important since only literal bytes will be emitted.
         */

M
Mark Adler 已提交
1595
    } while (s->lookahead < MIN_LOOKAHEAD && s->strm->avail_in != 0);
M
Mark Adler 已提交
1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629

    /* If the WIN_INIT bytes after the end of the current data have never been
     * written, then zero those bytes in order to avoid memory check reports of
     * the use of uninitialized (or uninitialised as Julian writes) bytes by
     * the longest match routines.  Update the high water mark for the next
     * time through here.  WIN_INIT is set to MAX_MATCH since the longest match
     * routines allow scanning to strstart + MAX_MATCH, ignoring lookahead.
     */
    if (s->high_water < s->window_size) {
        ulg curr = s->strstart + (ulg)(s->lookahead);
        ulg init;

        if (s->high_water < curr) {
            /* Previous high water mark below current data -- zero WIN_INIT
             * bytes or up to end of window, whichever is less.
             */
            init = s->window_size - curr;
            if (init > WIN_INIT)
                init = WIN_INIT;
            zmemzero(s->window + curr, (unsigned)init);
            s->high_water = curr + init;
        }
        else if (s->high_water < (ulg)curr + WIN_INIT) {
            /* High water mark at or above current data, but below current data
             * plus WIN_INIT -- zero out to current data plus WIN_INIT, or up
             * to end of window, whichever is less.
             */
            init = (ulg)curr + WIN_INIT - s->high_water;
            if (init > s->window_size - s->high_water)
                init = s->window_size - s->high_water;
            zmemzero(s->window + s->high_water, (unsigned)init);
            s->high_water += init;
        }
    }
1630 1631 1632

    Assert((ulg)s->strstart <= s->window_size - MIN_LOOKAHEAD,
           "not enough room for search");
M
Mark Adler 已提交
1633 1634 1635 1636 1637 1638
}

/* ===========================================================================
 * Flush the current block, with given end-of-file flag.
 * IN assertion: strstart is set to the end of the current match.
 */
M
Mark Adler 已提交
1639
#define FLUSH_BLOCK_ONLY(s, last) { \
M
Mark Adler 已提交
1640 1641 1642
   _tr_flush_block(s, (s->block_start >= 0L ? \
                   (charf *)&s->window[(unsigned)s->block_start] : \
                   (charf *)Z_NULL), \
M
Mark Adler 已提交
1643
                (ulg)((long)s->strstart - s->block_start), \
M
Mark Adler 已提交
1644
                (last)); \
M
Mark Adler 已提交
1645 1646
   s->block_start = s->strstart; \
   flush_pending(s->strm); \
M
Mark Adler 已提交
1647
   Tracev((stderr,"[FLUSH]")); \
M
Mark Adler 已提交
1648 1649 1650
}

/* Same but force premature exit if necessary. */
M
Mark Adler 已提交
1651 1652 1653
#define FLUSH_BLOCK(s, last) { \
   FLUSH_BLOCK_ONLY(s, last); \
   if (s->strm->avail_out == 0) return (last) ? finish_started : need_more; \
M
Mark Adler 已提交
1654 1655
}

1656 1657 1658 1659 1660 1661
/* Maximum stored block length in deflate format (not including header). */
#define MAX_STORED 65535

/* Minimum of a and b. */
#define MIN(a, b) ((a) > (b) ? (b) : (a))

M
Mark Adler 已提交
1662 1663
/* ===========================================================================
 * Copy without compression as much as possible from the input stream, return
M
Mark Adler 已提交
1664
 * the current block state.
1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675
 *
 * In case deflateParams() is used to later switch to a non-zero compression
 * level, s->matches (otherwise unused when storing) keeps track of the number
 * of hash table slides to perform. If s->matches is 1, then one hash table
 * slide will be done when switching. If s->matches is 2, the maximum value
 * allowed here, then the hash table will be cleared, since two or more slides
 * is the same as a clear.
 *
 * deflate_stored() is written to minimize the number of times an input byte is
 * copied. It is most efficient with large input and output buffers, which
 * maximizes the opportunites to have a single copy from next_in to next_out.
M
Mark Adler 已提交
1676
 */
M
Mark Adler 已提交
1677
local block_state deflate_stored(s, flush)
M
Mark Adler 已提交
1678 1679 1680
    deflate_state *s;
    int flush;
{
1681 1682 1683
    /* Smallest worthy block size when not flushing or finishing. By default
     * this is 32K. This can be as small as 507 bytes for memLevel == 1. For
     * large input and output buffers, the stored block size will be larger.
M
Mark Adler 已提交
1684
     */
1685
    unsigned min_block = MIN(s->pending_buf_size - 5, s->w_size);
M
Mark Adler 已提交
1686

1687 1688 1689 1690
    /* Copy as many min_block or larger stored blocks directly to next_out as
     * possible. If flushing, copy the remaining available input to next_out as
     * stored blocks, if there is enough space.
     */
1691
    unsigned len, left, have, last = 0;
1692
    unsigned used = s->strm->avail_in;
1693
    do {
1694 1695 1696 1697 1698 1699
        /* Set len to the maximum size block that we can copy directly with the
         * available input data and output space. Set left to how much of that
         * would be copied from what's left in the window.
         */
        len = MAX_STORED;       /* maximum deflate stored block length */
        have = (s->bi_valid + 42) >> 3;         /* number of header bytes */
1700 1701
        if (s->strm->avail_out < have)          /* need room for header */
            break;
1702
            /* maximum stored block length that will fit in avail_out: */
1703
        have = s->strm->avail_out - have;
1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714
        left = s->strstart - s->block_start;    /* bytes left in window */
        if (len > (ulg)left + s->strm->avail_in)
            len = left + s->strm->avail_in;     /* limit len to the input */
        if (len > have)
            len = have;                         /* limit len to the output */

        /* If the stored block would be less than min_block in length, or if
         * unable to copy all of the available input when flushing, then try
         * copying to the window and the pending buffer instead. Also don't
         * write an empty block when flushing -- deflate() does that.
         */
1715 1716
        if (len < min_block && ((len == 0 && flush != Z_FINISH) ||
                                flush == Z_NO_FLUSH ||
1717
                                len != left + s->strm->avail_in))
1718 1719 1720 1721 1722
            break;

        /* Make a dummy stored block in pending to get the header bytes,
         * including any pending bits. This also updates the debugging counts.
         */
1723
        last = flush == Z_FINISH && len == left + s->strm->avail_in ? 1 : 0;
1724
        _tr_stored_block(s, (char *)0, 0L, last);
M
Mark Adler 已提交
1725

1726 1727 1728 1729 1730
        /* Replace the lengths in the dummy stored block with len. */
        s->pending_buf[s->pending - 4] = len;
        s->pending_buf[s->pending - 3] = len >> 8;
        s->pending_buf[s->pending - 2] = ~len;
        s->pending_buf[s->pending - 1] = ~len >> 8;
M
Mark Adler 已提交
1731

1732 1733
        /* Write the stored block header bytes. */
        flush_pending(s->strm);
M
Mark Adler 已提交
1734

1735
#ifdef ZLIB_DEBUG
1736
        /* Update debugging counts for the data about to be copied. */
1737 1738 1739 1740 1741 1742
        s->compressed_len += len << 3;
        s->bits_sent += len << 3;
#endif

        /* Copy uncompressed bytes from the window to next_out. */
        if (left) {
1743 1744
            if (left > len)
                left = len;
1745 1746 1747 1748 1749 1750
            zmemcpy(s->strm->next_out, s->window + s->block_start, left);
            s->strm->next_out += left;
            s->strm->avail_out -= left;
            s->strm->total_out += left;
            s->block_start += left;
            len -= left;
M
Mark Adler 已提交
1751
        }
1752 1753 1754 1755 1756 1757 1758 1759 1760

        /* Copy uncompressed bytes directly from next_in to next_out, updating
         * the check value.
         */
        if (len) {
            read_buf(s->strm, s->strm->next_out, len);
            s->strm->next_out += len;
            s->strm->avail_out -= len;
            s->strm->total_out += len;
M
Mark Adler 已提交
1761
        }
1762
    } while (last == 0);
1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773

    /* Update the sliding window with the last s->w_size bytes of the copied
     * data, or append all of the copied data to the existing window if less
     * than s->w_size bytes were copied. Also update the number of bytes to
     * insert in the hash tables, in the event that deflateParams() switches to
     * a non-zero compression level.
     */
    used -= s->strm->avail_in;      /* number of input bytes directly copied */
    if (used) {
        /* If any input was used, then no unused input remains in the window,
         * therefore s->block_start == s->strstart.
M
Mark Adler 已提交
1774
         */
1775 1776 1777 1778
        if (used >= s->w_size) {    /* supplant the previous history */
            s->matches = 2;         /* clear hash */
            zmemcpy(s->window, s->strm->next_in - s->w_size, s->w_size);
            s->strstart = s->w_size;
M
Mark Adler 已提交
1779
        }
1780 1781 1782 1783 1784 1785 1786 1787 1788 1789 1790 1791 1792
        else {
            if (s->window_size - s->strstart <= used) {
                /* Slide the window down. */
                s->strstart -= s->w_size;
                zmemcpy(s->window, s->window + s->w_size, s->strstart);
                if (s->matches < 2)
                    s->matches++;   /* add a pending slide_hash() */
            }
            zmemcpy(s->window + s->strstart, s->strm->next_in - used, used);
            s->strstart += used;
        }
        s->block_start = s->strstart;
        s->insert += MIN(used, s->w_size - s->insert);
M
Mark Adler 已提交
1793
    }
1794 1795
    if (s->high_water < s->strstart)
        s->high_water = s->strstart;
1796

1797 1798 1799 1800 1801 1802 1803 1804
    /* If the last block was written to next_out, then done. */
    if (last)
        return finish_done;

    /* If flushing and all input has been consumed, then done. */
    if (flush != Z_NO_FLUSH && flush != Z_FINISH &&
        s->strm->avail_in == 0 && (long)s->strstart == s->block_start)
        return block_done;
1805 1806 1807

    /* Fill the window with any remaining input. */
    have = s->window_size - s->strstart - 1;
1808
    if (s->strm->avail_in > have && s->block_start >= (long)s->w_size) {
1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822
        /* Slide the window down. */
        s->block_start -= s->w_size;
        s->strstart -= s->w_size;
        zmemcpy(s->window, s->window + s->w_size, s->strstart);
        if (s->matches < 2)
            s->matches++;           /* add a pending slide_hash() */
        have += s->w_size;          /* more space now */
    }
    if (have > s->strm->avail_in)
        have = s->strm->avail_in;
    if (have) {
        read_buf(s->strm, s->window + s->strstart, have);
        s->strstart += have;
    }
1823 1824
    if (s->high_water < s->strstart)
        s->high_water = s->strstart;
1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836

    /* There was not enough avail_out to write a complete worthy or flushed
     * stored block to next_out. Write a stored block to pending instead, if we
     * have enough input for a worthy block, or if flushing and there is enough
     * room for the remaining input as a stored block in the pending buffer.
     */
    have = (s->bi_valid + 42) >> 3;         /* number of header bytes */
        /* maximum stored block length that will fit in pending: */
    have = MIN(s->pending_buf_size - have, MAX_STORED);
    min_block = MIN(have, s->w_size);
    left = s->strstart - s->block_start;
    if (left >= min_block ||
1837 1838
        ((left || flush == Z_FINISH) && flush != Z_NO_FLUSH &&
         s->strm->avail_in == 0 && left <= have)) {
1839 1840 1841 1842 1843 1844
        len = MIN(left, have);
        last = flush == Z_FINISH && s->strm->avail_in == 0 &&
               len == left ? 1 : 0;
        _tr_stored_block(s, (charf *)s->window + s->block_start, len, last);
        s->block_start += len;
        flush_pending(s->strm);
1845
    }
1846 1847

    /* We've done all we can with the available input and output. */
1848
    return last ? finish_started : need_more;
M
Mark Adler 已提交
1849 1850
}

M
Mark Adler 已提交
1851
/* ===========================================================================
M
Mark Adler 已提交
1852 1853
 * Compress as much as possible from the input stream, return the current
 * block state.
M
Mark Adler 已提交
1854
 * This function does not perform lazy evaluation of matches and inserts
M
Mark Adler 已提交
1855 1856 1857
 * new strings in the dictionary only for unmatched strings or for short
 * matches. It is used only for the fast compression options.
 */
M
Mark Adler 已提交
1858
local block_state deflate_fast(s, flush)
M
Mark Adler 已提交
1859 1860 1861
    deflate_state *s;
    int flush;
{
M
Mark Adler 已提交
1862
    IPos hash_head;       /* head of the hash chain */
M
Mark Adler 已提交
1863
    int bflush;           /* set if current block must be flushed */
M
Mark Adler 已提交
1864 1865 1866 1867 1868 1869 1870 1871

    for (;;) {
        /* Make sure that we always have enough lookahead, except
         * at the end of the input file. We need MAX_MATCH bytes
         * for the next match, plus MIN_MATCH bytes to insert the
         * string following the next match.
         */
        if (s->lookahead < MIN_LOOKAHEAD) {
M
Mark Adler 已提交
1872
            fill_window(s);
M
Mark Adler 已提交
1873
            if (s->lookahead < MIN_LOOKAHEAD && flush == Z_NO_FLUSH) {
M
Mark Adler 已提交
1874 1875
                return need_more;
            }
M
Mark Adler 已提交
1876 1877
            if (s->lookahead == 0) break; /* flush the current block */
        }
M
Mark Adler 已提交
1878 1879 1880 1881

        /* Insert the string window[strstart .. strstart+2] in the
         * dictionary, and set hash_head to the head of the hash chain:
         */
M
Mark Adler 已提交
1882
        hash_head = NIL;
M
Mark Adler 已提交
1883 1884 1885
        if (s->lookahead >= MIN_MATCH) {
            INSERT_STRING(s, s->strstart, hash_head);
        }
M
Mark Adler 已提交
1886 1887 1888 1889 1890 1891 1892 1893 1894

        /* Find the longest match, discarding those <= prev_length.
         * At this point we have always match_length < MIN_MATCH
         */
        if (hash_head != NIL && s->strstart - hash_head <= MAX_DIST(s)) {
            /* To simplify the code, we prevent matches with the string
             * of window index 0 (in particular we have to avoid a match
             * of the string with itself at the start of the input file).
             */
M
Mark Adler 已提交
1895 1896
            s->match_length = longest_match (s, hash_head);
            /* longest_match() sets match_start */
M
Mark Adler 已提交
1897 1898 1899 1900
        }
        if (s->match_length >= MIN_MATCH) {
            check_match(s, s->strstart, s->match_start, s->match_length);

M
Mark Adler 已提交
1901 1902
            _tr_tally_dist(s, s->strstart - s->match_start,
                           s->match_length - MIN_MATCH, bflush);
M
Mark Adler 已提交
1903 1904 1905 1906 1907 1908

            s->lookahead -= s->match_length;

            /* Insert new strings in the hash table only if the match length
             * is not too large. This saves time but degrades compression.
             */
M
Mark Adler 已提交
1909
#ifndef FASTEST
M
Mark Adler 已提交
1910 1911
            if (s->match_length <= s->max_insert_length &&
                s->lookahead >= MIN_MATCH) {
M
Mark Adler 已提交
1912
                s->match_length--; /* string at strstart already in table */
M
Mark Adler 已提交
1913 1914 1915 1916
                do {
                    s->strstart++;
                    INSERT_STRING(s, s->strstart, hash_head);
                    /* strstart never exceeds WSIZE-MAX_MATCH, so there are
M
Mark Adler 已提交
1917
                     * always MIN_MATCH bytes ahead.
M
Mark Adler 已提交
1918 1919
                     */
                } while (--s->match_length != 0);
M
Mark Adler 已提交
1920
                s->strstart++;
M
Mark Adler 已提交
1921 1922
            } else
#endif
M
Mark Adler 已提交
1923
            {
M
Mark Adler 已提交
1924 1925 1926 1927 1928 1929 1930
                s->strstart += s->match_length;
                s->match_length = 0;
                s->ins_h = s->window[s->strstart];
                UPDATE_HASH(s, s->ins_h, s->window[s->strstart+1]);
#if MIN_MATCH != 3
                Call UPDATE_HASH() MIN_MATCH-3 more times
#endif
M
Mark Adler 已提交
1931 1932 1933
                /* If lookahead < MIN_MATCH, ins_h is garbage, but it does not
                 * matter since it will be recomputed at next deflate call.
                 */
M
Mark Adler 已提交
1934 1935 1936 1937
            }
        } else {
            /* No match, output a literal byte */
            Tracevv((stderr,"%c", s->window[s->strstart]));
M
Mark Adler 已提交
1938
            _tr_tally_lit (s, s->window[s->strstart], bflush);
M
Mark Adler 已提交
1939
            s->lookahead--;
M
Mark Adler 已提交
1940
            s->strstart++;
M
Mark Adler 已提交
1941 1942 1943
        }
        if (bflush) FLUSH_BLOCK(s, 0);
    }
1944
    s->insert = s->strstart < MIN_MATCH-1 ? s->strstart : MIN_MATCH-1;
1945 1946 1947 1948
    if (flush == Z_FINISH) {
        FLUSH_BLOCK(s, 1);
        return finish_done;
    }
1949
    if (s->sym_next)
1950 1951
        FLUSH_BLOCK(s, 0);
    return block_done;
M
Mark Adler 已提交
1952 1953
}

M
Mark Adler 已提交
1954
#ifndef FASTEST
M
Mark Adler 已提交
1955 1956 1957 1958 1959
/* ===========================================================================
 * Same as above, but achieves better compression. We use a lazy
 * evaluation for matches: a match is finally adopted only if there is
 * no better match at the next window position.
 */
M
Mark Adler 已提交
1960
local block_state deflate_slow(s, flush)
M
Mark Adler 已提交
1961 1962 1963
    deflate_state *s;
    int flush;
{
M
Mark Adler 已提交
1964
    IPos hash_head;          /* head of hash chain */
M
Mark Adler 已提交
1965 1966 1967 1968 1969 1970 1971 1972 1973 1974
    int bflush;              /* set if current block must be flushed */

    /* Process the input block. */
    for (;;) {
        /* Make sure that we always have enough lookahead, except
         * at the end of the input file. We need MAX_MATCH bytes
         * for the next match, plus MIN_MATCH bytes to insert the
         * string following the next match.
         */
        if (s->lookahead < MIN_LOOKAHEAD) {
M
Mark Adler 已提交
1975
            fill_window(s);
M
Mark Adler 已提交
1976
            if (s->lookahead < MIN_LOOKAHEAD && flush == Z_NO_FLUSH) {
M
Mark Adler 已提交
1977 1978
                return need_more;
            }
M
Mark Adler 已提交
1979 1980
            if (s->lookahead == 0) break; /* flush the current block */
        }
M
Mark Adler 已提交
1981 1982 1983 1984

        /* Insert the string window[strstart .. strstart+2] in the
         * dictionary, and set hash_head to the head of the hash chain:
         */
M
Mark Adler 已提交
1985
        hash_head = NIL;
M
Mark Adler 已提交
1986 1987 1988
        if (s->lookahead >= MIN_MATCH) {
            INSERT_STRING(s, s->strstart, hash_head);
        }
M
Mark Adler 已提交
1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000

        /* Find the longest match, discarding those <= prev_length.
         */
        s->prev_length = s->match_length, s->prev_match = s->match_start;
        s->match_length = MIN_MATCH-1;

        if (hash_head != NIL && s->prev_length < s->max_lazy_match &&
            s->strstart - hash_head <= MAX_DIST(s)) {
            /* To simplify the code, we prevent matches with the string
             * of window index 0 (in particular we have to avoid a match
             * of the string with itself at the start of the input file).
             */
M
Mark Adler 已提交
2001 2002
            s->match_length = longest_match (s, hash_head);
            /* longest_match() sets match_start */
M
Mark Adler 已提交
2003

M
Mark Adler 已提交
2004
            if (s->match_length <= 5 && (s->strategy == Z_FILTERED
M
Mark Adler 已提交
2005
#if TOO_FAR <= 32767
M
Mark Adler 已提交
2006 2007 2008 2009
                || (s->match_length == MIN_MATCH &&
                    s->strstart - s->match_start > TOO_FAR)
#endif
                )) {
M
Mark Adler 已提交
2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020

                /* If prev_match is also MIN_MATCH, match_start is garbage
                 * but we will ignore the current match anyway.
                 */
                s->match_length = MIN_MATCH-1;
            }
        }
        /* If there was a match at the previous step and the current
         * match is not better, output the previous match:
         */
        if (s->prev_length >= MIN_MATCH && s->match_length <= s->prev_length) {
M
Mark Adler 已提交
2021 2022
            uInt max_insert = s->strstart + s->lookahead - MIN_MATCH;
            /* Do not insert strings in hash table beyond this. */
M
Mark Adler 已提交
2023 2024 2025

            check_match(s, s->strstart-1, s->prev_match, s->prev_length);

M
Mark Adler 已提交
2026
            _tr_tally_dist(s, s->strstart -1 - s->prev_match,
M
Mark Adler 已提交
2027
                           s->prev_length - MIN_MATCH, bflush);
M
Mark Adler 已提交
2028 2029

            /* Insert in hash table all strings up to the end of the match.
M
Mark Adler 已提交
2030 2031 2032
             * strstart-1 and strstart are already inserted. If there is not
             * enough lookahead, the last two strings are not inserted in
             * the hash table.
M
Mark Adler 已提交
2033 2034 2035 2036
             */
            s->lookahead -= s->prev_length-1;
            s->prev_length -= 2;
            do {
M
Mark Adler 已提交
2037 2038 2039
                if (++s->strstart <= max_insert) {
                    INSERT_STRING(s, s->strstart, hash_head);
                }
M
Mark Adler 已提交
2040 2041 2042 2043 2044 2045 2046 2047 2048 2049 2050 2051 2052
            } while (--s->prev_length != 0);
            s->match_available = 0;
            s->match_length = MIN_MATCH-1;
            s->strstart++;

            if (bflush) FLUSH_BLOCK(s, 0);

        } else if (s->match_available) {
            /* If there was no match at the previous position, output a
             * single literal. If there was a match but the current match
             * is longer, truncate the previous match to a single literal.
             */
            Tracevv((stderr,"%c", s->window[s->strstart-1]));
M
Mark Adler 已提交
2053 2054
            _tr_tally_lit(s, s->window[s->strstart-1], bflush);
            if (bflush) {
M
Mark Adler 已提交
2055
                FLUSH_BLOCK_ONLY(s, 0);
M
Mark Adler 已提交
2056 2057 2058
            }
            s->strstart++;
            s->lookahead--;
M
Mark Adler 已提交
2059
            if (s->strm->avail_out == 0) return need_more;
M
Mark Adler 已提交
2060 2061 2062 2063 2064 2065 2066 2067 2068
        } else {
            /* There is no previous match to compare with, wait for
             * the next step to decide.
             */
            s->match_available = 1;
            s->strstart++;
            s->lookahead--;
        }
    }
M
Mark Adler 已提交
2069
    Assert (flush != Z_NO_FLUSH, "no flush?");
M
Mark Adler 已提交
2070
    if (s->match_available) {
M
Mark Adler 已提交
2071
        Tracevv((stderr,"%c", s->window[s->strstart-1]));
M
Mark Adler 已提交
2072
        _tr_tally_lit(s, s->window[s->strstart-1], bflush);
M
Mark Adler 已提交
2073
        s->match_available = 0;
M
Mark Adler 已提交
2074
    }
2075
    s->insert = s->strstart < MIN_MATCH-1 ? s->strstart : MIN_MATCH-1;
2076 2077 2078 2079
    if (flush == Z_FINISH) {
        FLUSH_BLOCK(s, 1);
        return finish_done;
    }
2080
    if (s->sym_next)
2081 2082
        FLUSH_BLOCK(s, 0);
    return block_done;
M
Mark Adler 已提交
2083
}
M
Mark Adler 已提交
2084
#endif /* FASTEST */
M
Mark Adler 已提交
2085 2086 2087 2088 2089 2090 2091 2092 2093 2094

/* ===========================================================================
 * For Z_RLE, simply look for runs of bytes, generate matches only of distance
 * one.  Do not maintain a hash table.  (It will be regenerated if this run of
 * deflate switches away from Z_RLE.)
 */
local block_state deflate_rle(s, flush)
    deflate_state *s;
    int flush;
{
M
Mark Adler 已提交
2095 2096 2097
    int bflush;             /* set if current block must be flushed */
    uInt prev;              /* byte at distance one to match */
    Bytef *scan, *strend;   /* scan goes up to strend for length of run */
M
Mark Adler 已提交
2098 2099 2100 2101

    for (;;) {
        /* Make sure that we always have enough lookahead, except
         * at the end of the input file. We need MAX_MATCH bytes
2102
         * for the longest run, plus one for the unrolled loop.
M
Mark Adler 已提交
2103
         */
2104
        if (s->lookahead <= MAX_MATCH) {
M
Mark Adler 已提交
2105
            fill_window(s);
2106
            if (s->lookahead <= MAX_MATCH && flush == Z_NO_FLUSH) {
M
Mark Adler 已提交
2107 2108 2109 2110 2111 2112
                return need_more;
            }
            if (s->lookahead == 0) break; /* flush the current block */
        }

        /* See how many times the previous byte repeats */
M
Mark Adler 已提交
2113 2114
        s->match_length = 0;
        if (s->lookahead >= MIN_MATCH && s->strstart > 0) {
M
Mark Adler 已提交
2115
            scan = s->window + s->strstart - 1;
M
Mark Adler 已提交
2116 2117 2118 2119 2120 2121 2122 2123 2124
            prev = *scan;
            if (prev == *++scan && prev == *++scan && prev == *++scan) {
                strend = s->window + s->strstart + MAX_MATCH;
                do {
                } while (prev == *++scan && prev == *++scan &&
                         prev == *++scan && prev == *++scan &&
                         prev == *++scan && prev == *++scan &&
                         prev == *++scan && prev == *++scan &&
                         scan < strend);
M
Mark Adler 已提交
2125
                s->match_length = MAX_MATCH - (uInt)(strend - scan);
M
Mark Adler 已提交
2126 2127 2128
                if (s->match_length > s->lookahead)
                    s->match_length = s->lookahead;
            }
2129
            Assert(scan <= s->window+(uInt)(s->window_size-1), "wild scan");
M
Mark Adler 已提交
2130 2131 2132
        }

        /* Emit match if have run of MIN_MATCH or longer, else emit literal */
M
Mark Adler 已提交
2133 2134 2135 2136 2137 2138 2139 2140
        if (s->match_length >= MIN_MATCH) {
            check_match(s, s->strstart, s->strstart - 1, s->match_length);

            _tr_tally_dist(s, 1, s->match_length - MIN_MATCH, bflush);

            s->lookahead -= s->match_length;
            s->strstart += s->match_length;
            s->match_length = 0;
M
Mark Adler 已提交
2141 2142 2143 2144 2145 2146 2147 2148 2149
        } else {
            /* No match, output a literal byte */
            Tracevv((stderr,"%c", s->window[s->strstart]));
            _tr_tally_lit (s, s->window[s->strstart], bflush);
            s->lookahead--;
            s->strstart++;
        }
        if (bflush) FLUSH_BLOCK(s, 0);
    }
2150
    s->insert = 0;
2151 2152 2153 2154
    if (flush == Z_FINISH) {
        FLUSH_BLOCK(s, 1);
        return finish_done;
    }
2155
    if (s->sym_next)
2156 2157
        FLUSH_BLOCK(s, 0);
    return block_done;
M
Mark Adler 已提交
2158
}
M
Mark Adler 已提交
2159 2160 2161 2162 2163 2164 2165 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188

/* ===========================================================================
 * For Z_HUFFMAN_ONLY, do not look for matches.  Do not maintain a hash table.
 * (It will be regenerated if this run of deflate switches away from Huffman.)
 */
local block_state deflate_huff(s, flush)
    deflate_state *s;
    int flush;
{
    int bflush;             /* set if current block must be flushed */

    for (;;) {
        /* Make sure that we have a literal to write. */
        if (s->lookahead == 0) {
            fill_window(s);
            if (s->lookahead == 0) {
                if (flush == Z_NO_FLUSH)
                    return need_more;
                break;      /* flush the current block */
            }
        }

        /* Output a literal byte */
        s->match_length = 0;
        Tracevv((stderr,"%c", s->window[s->strstart]));
        _tr_tally_lit (s, s->window[s->strstart], bflush);
        s->lookahead--;
        s->strstart++;
        if (bflush) FLUSH_BLOCK(s, 0);
    }
2189
    s->insert = 0;
2190 2191 2192 2193
    if (flush == Z_FINISH) {
        FLUSH_BLOCK(s, 1);
        return finish_done;
    }
2194
    if (s->sym_next)
2195 2196
        FLUSH_BLOCK(s, 0);
    return block_done;
2197
}