deflate.c 59.3 KB
Newer Older
M
Mark Adler 已提交
1
/* deflate.c -- compress data using the deflation algorithm
M
Mark Adler 已提交
2
 * Copyright (C) 1995-2004 Jean-loup Gailly.
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://www.ietf.org/rfc/rfc1951.txt
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.2.1 Copyright 1995-2004 Jean-loup Gailly ";
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. */

M
Mark Adler 已提交
76
local void fill_window    OF((deflate_state *s));
M
Mark Adler 已提交
77 78
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 已提交
79
#ifndef FASTEST
M
Mark Adler 已提交
80
local block_state deflate_slow   OF((deflate_state *s, int flush));
M
Mark Adler 已提交
81
#endif
M
Mark Adler 已提交
82 83
local void lm_init        OF((deflate_state *s));
local void putShortMSB    OF((deflate_state *s, uInt b));
M
Mark Adler 已提交
84
local void flush_pending  OF((z_streamp strm));
M
Mark Adler 已提交
85
local int read_buf        OF((z_streamp strm, Bytef *buf, unsigned size));
M
Mark Adler 已提交
86
#ifndef FASTEST
M
Mark Adler 已提交
87 88
#ifdef ASMV
      void match_init OF((void)); /* asm code initialization */
M
Mark Adler 已提交
89 90 91
      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 已提交
92
#endif
M
Mark Adler 已提交
93 94
#endif
local uInt longest_match_fast OF((deflate_state *s, IPos cur_match));
M
Mark Adler 已提交
95 96 97 98 99 100 101 102 103 104

#ifdef DEBUG
local  void check_match OF((deflate_state *s, IPos start, IPos match,
                            int length));
#endif

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

M
Mark Adler 已提交
105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127
#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 */

#define MIN_LOOKAHEAD (MAX_MATCH+MIN_MATCH+1)
/* Minimum amount of lookahead, except at the end of the input file.
 * See deflate.c for comments about the MIN_MATCH+1.
 */

/* 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 已提交
128
   compress_func func;
M
Mark Adler 已提交
129 130
} config;

M
Mark Adler 已提交
131 132 133 134
#ifdef FASTEST
local const config configuration_table[2] = {
/*      good lazy nice chain */
/* 0 */ {0,    0,  0,    0, deflate_stored},  /* store only */
M
Mark Adler 已提交
135
/* 1 */ {4,    4,  8,    4, deflate_fast}}; /* max speed, no lazy matches */
M
Mark Adler 已提交
136
#else
M
Mark Adler 已提交
137
local const config configuration_table[10] = {
M
Mark Adler 已提交
138
/*      good lazy nice chain */
M
Mark Adler 已提交
139
/* 0 */ {0,    0,  0,    0, deflate_stored},  /* store only */
M
Mark Adler 已提交
140
/* 1 */ {4,    4,  8,    4, deflate_fast}, /* max speed, no lazy matches */
M
Mark Adler 已提交
141 142 143 144 145 146 147 148
/* 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 已提交
149
/* 9 */ {32, 258, 258, 4096, deflate_slow}}; /* max compression */
M
Mark Adler 已提交
150
#endif
M
Mark Adler 已提交
151 152 153 154 155 156 157 158 159

/* 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.
 */

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

M
Mark Adler 已提交
160
#ifndef NO_DUMMY_DECL
M
Mark Adler 已提交
161
struct static_tree_desc_s {int dummy;}; /* for buggy compilers */
M
Mark Adler 已提交
162
#endif
M
Mark Adler 已提交
163 164 165 166 167 168 169 170 171

/* ===========================================================================
 * Update a hash value with the given input byte
 * IN  assertion: all calls to 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.
 */
#define UPDATE_HASH(s,h,c) (h = (((h)<<s->hash_shift) ^ (c)) & s->hash_mask)

M
Mark Adler 已提交
172

M
Mark Adler 已提交
173 174 175 176
/* ===========================================================================
 * 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 已提交
177 178
 * If this file is compiled with -DFASTEST, the compression level is forced
 * to 1, and no hash chains are maintained.
M
Mark Adler 已提交
179 180 181 182
 * IN  assertion: all calls to 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 已提交
183 184 185 186 187 188
#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 已提交
189
#define INSERT_STRING(s, str, match_head) \
M
Mark Adler 已提交
190
   (UPDATE_HASH(s, s->ins_h, s->window[(str) + (MIN_MATCH-1)]), \
M
Mark Adler 已提交
191
    match_head = s->prev[(str) & s->w_mask] = s->head[s->ins_h], \
M
Mark Adler 已提交
192
    s->head[s->ins_h] = (Pos)(str))
M
Mark Adler 已提交
193
#endif
M
Mark Adler 已提交
194

M
Mark Adler 已提交
195 196 197 198 199 200
/* ===========================================================================
 * 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 已提交
201
    zmemzero((Bytef *)s->head, (unsigned)(s->hash_size-1)*sizeof(*s->head));
M
Mark Adler 已提交
202

M
Mark Adler 已提交
203
/* ========================================================================= */
M
Mark Adler 已提交
204
int ZEXPORT deflateInit_(strm, level, version, stream_size)
M
Mark Adler 已提交
205
    z_streamp strm;
M
Mark Adler 已提交
206
    int level;
M
Mark Adler 已提交
207 208
    const char *version;
    int stream_size;
M
Mark Adler 已提交
209
{
M
Mark Adler 已提交
210
    return deflateInit2_(strm, level, Z_DEFLATED, MAX_WBITS, DEF_MEM_LEVEL,
M
Mark Adler 已提交
211
                         Z_DEFAULT_STRATEGY, version, stream_size);
M
Mark Adler 已提交
212 213 214 215
    /* To do: ignore strm->next_in if we use it as window */
}

/* ========================================================================= */
M
Mark Adler 已提交
216
int ZEXPORT deflateInit2_(strm, level, method, windowBits, memLevel, strategy,
M
Mark Adler 已提交
217
                  version, stream_size)
M
Mark Adler 已提交
218
    z_streamp strm;
M
Mark Adler 已提交
219 220 221 222 223
    int  level;
    int  method;
    int  windowBits;
    int  memLevel;
    int  strategy;
M
Mark Adler 已提交
224 225
    const char *version;
    int stream_size;
M
Mark Adler 已提交
226 227
{
    deflate_state *s;
M
Mark Adler 已提交
228
    int wrap = 1;
M
Mark Adler 已提交
229
    static const char my_version[] = ZLIB_VERSION;
M
Mark Adler 已提交
230

M
Mark Adler 已提交
231 232 233 234 235
    ushf *overlay;
    /* We overlay pending_buf and d_buf+l_buf. This works since the average
     * output size for (length,distance) codes is <= 24 bits.
     */

M
Mark Adler 已提交
236
    if (version == Z_NULL || version[0] != my_version[0] ||
M
Mark Adler 已提交
237
        stream_size != sizeof(z_stream)) {
M
Mark Adler 已提交
238
        return Z_VERSION_ERROR;
M
Mark Adler 已提交
239
    }
M
Mark Adler 已提交
240 241 242
    if (strm == Z_NULL) return Z_STREAM_ERROR;

    strm->msg = Z_NULL;
M
Mark Adler 已提交
243
    if (strm->zalloc == (alloc_func)0) {
M
Mark Adler 已提交
244 245
        strm->zalloc = zcalloc;
        strm->opaque = (voidpf)0;
M
Mark Adler 已提交
246
    }
M
Mark Adler 已提交
247
    if (strm->zfree == (free_func)0) strm->zfree = zcfree;
M
Mark Adler 已提交
248

M
Mark Adler 已提交
249
#ifdef FASTEST
M
Mark Adler 已提交
250 251 252
    if (level != 0) level = 1;
#else
    if (level == Z_DEFAULT_COMPRESSION) level = 6;
M
Mark Adler 已提交
253
#endif
M
Mark Adler 已提交
254

M
Mark Adler 已提交
255 256
    if (windowBits < 0) { /* suppress zlib wrapper */
        wrap = 0;
M
Mark Adler 已提交
257
        windowBits = -windowBits;
M
Mark Adler 已提交
258
    }
M
Mark Adler 已提交
259 260
#ifdef GZIP
    else if (windowBits > 15) {
M
Mark Adler 已提交
261
        wrap = 2;       /* write gzip wrapper instead */
M
Mark Adler 已提交
262 263 264
        windowBits -= 16;
    }
#endif
M
Mark Adler 已提交
265
    if (memLevel < 1 || memLevel > MAX_MEM_LEVEL || method != Z_DEFLATED ||
M
Mark Adler 已提交
266
        windowBits < 8 || windowBits > 15 || level < 0 || level > 9 ||
M
Mark Adler 已提交
267
        strategy < 0 || strategy > Z_RLE) {
M
Mark Adler 已提交
268
        return Z_STREAM_ERROR;
M
Mark Adler 已提交
269
    }
M
Mark Adler 已提交
270
    if (windowBits == 8) windowBits = 9;  /* until 256-byte window bug fixed */
M
Mark Adler 已提交
271 272
    s = (deflate_state *) ZALLOC(strm, 1, sizeof(deflate_state));
    if (s == Z_NULL) return Z_MEM_ERROR;
M
Mark Adler 已提交
273
    strm->state = (struct internal_state FAR *)s;
M
Mark Adler 已提交
274 275
    s->strm = strm;

M
Mark Adler 已提交
276
    s->wrap = wrap;
M
Mark Adler 已提交
277
    s->gzhead = Z_NULL;
M
Mark Adler 已提交
278 279
    s->w_bits = windowBits;
    s->w_size = 1 << s->w_bits;
M
Mark Adler 已提交
280
    s->w_mask = s->w_size - 1;
M
Mark Adler 已提交
281 282 283

    s->hash_bits = memLevel + 7;
    s->hash_size = 1 << s->hash_bits;
M
Mark Adler 已提交
284
    s->hash_mask = s->hash_size - 1;
M
Mark Adler 已提交
285 286
    s->hash_shift =  ((s->hash_bits+MIN_MATCH-1)/MIN_MATCH);

M
Mark Adler 已提交
287 288 289
    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 已提交
290 291 292

    s->lit_bufsize = 1 << (memLevel + 6); /* 16K elements by default */

M
Mark Adler 已提交
293 294
    overlay = (ushf *) ZALLOC(strm, s->lit_bufsize, sizeof(ush)+2);
    s->pending_buf = (uchf *) overlay;
M
Mark Adler 已提交
295
    s->pending_buf_size = (ulg)s->lit_bufsize * (sizeof(ush)+2L);
M
Mark Adler 已提交
296 297

    if (s->window == Z_NULL || s->prev == Z_NULL || s->head == Z_NULL ||
M
Mark Adler 已提交
298
        s->pending_buf == Z_NULL) {
M
Mark Adler 已提交
299
        s->status = FINISH_STATE;
M
Mark Adler 已提交
300
        strm->msg = (char*)ERR_MSG(Z_MEM_ERROR);
M
Mark Adler 已提交
301 302
        deflateEnd (strm);
        return Z_MEM_ERROR;
M
Mark Adler 已提交
303
    }
M
Mark Adler 已提交
304 305
    s->d_buf = overlay + s->lit_bufsize/sizeof(ush);
    s->l_buf = s->pending_buf + (1+sizeof(ush))*s->lit_bufsize;
M
Mark Adler 已提交
306 307 308

    s->level = level;
    s->strategy = strategy;
M
Mark Adler 已提交
309
    s->method = (Byte)method;
M
Mark Adler 已提交
310 311 312 313

    return deflateReset(strm);
}

M
Mark Adler 已提交
314
/* ========================================================================= */
M
Mark Adler 已提交
315
int ZEXPORT deflateSetDictionary (strm, dictionary, dictLength)
M
Mark Adler 已提交
316
    z_streamp strm;
M
Mark Adler 已提交
317 318
    const Bytef *dictionary;
    uInt  dictLength;
M
Mark Adler 已提交
319
{
M
Mark Adler 已提交
320 321 322 323
    deflate_state *s;
    uInt length = dictLength;
    uInt n;
    IPos hash_head = 0;
M
Mark Adler 已提交
324

M
Mark Adler 已提交
325
    if (strm == Z_NULL || strm->state == Z_NULL || dictionary == Z_NULL ||
M
Mark Adler 已提交
326 327
        strm->state->wrap == 2 ||
        (strm->state->wrap == 1 && strm->state->status != INIT_STATE))
M
Mark Adler 已提交
328
        return Z_STREAM_ERROR;
M
Mark Adler 已提交
329

M
Mark Adler 已提交
330
    s = strm->state;
M
Mark Adler 已提交
331
    if (s->wrap)
M
Mark Adler 已提交
332
        strm->adler = adler32(strm->adler, dictionary, dictLength);
M
Mark Adler 已提交
333

M
Mark Adler 已提交
334 335
    if (length < MIN_MATCH) return Z_OK;
    if (length > MAX_DIST(s)) {
M
Mark Adler 已提交
336
        length = MAX_DIST(s);
M
Mark Adler 已提交
337
#ifndef USE_DICT_HEAD
M
Mark Adler 已提交
338
        dictionary += dictLength - length; /* use the tail of the dictionary */
M
Mark Adler 已提交
339
#endif
M
Mark Adler 已提交
340
    }
M
Mark Adler 已提交
341
    zmemcpy(s->window, dictionary, length);
M
Mark Adler 已提交
342 343 344 345 346 347 348 349 350 351
    s->strstart = length;
    s->block_start = (long)length;

    /* Insert all strings in the hash table (except for the last two bytes).
     * s->lookahead stays null, so s->ins_h will be recomputed at the next
     * call of fill_window.
     */
    s->ins_h = s->window[0];
    UPDATE_HASH(s, s->ins_h, s->window[1]);
    for (n = 0; n <= length - MIN_MATCH; n++) {
M
Mark Adler 已提交
352
        INSERT_STRING(s, n, hash_head);
M
Mark Adler 已提交
353 354
    }
    if (hash_head) hash_head = 0;  /* to make compiler happy */
M
Mark Adler 已提交
355 356 357
    return Z_OK;
}

M
Mark Adler 已提交
358
/* ========================================================================= */
M
Mark Adler 已提交
359
int ZEXPORT deflateReset (strm)
M
Mark Adler 已提交
360
    z_streamp strm;
M
Mark Adler 已提交
361 362
{
    deflate_state *s;
M
Mark Adler 已提交
363

M
Mark Adler 已提交
364
    if (strm == Z_NULL || strm->state == Z_NULL ||
M
Mark Adler 已提交
365 366 367
        strm->zalloc == (alloc_func)0 || strm->zfree == (free_func)0) {
        return Z_STREAM_ERROR;
    }
M
Mark Adler 已提交
368 369 370 371 372 373 374 375 376

    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 已提交
377 378
    if (s->wrap < 0) {
        s->wrap = -s->wrap; /* was made negative by deflate(..., Z_FINISH); */
M
Mark Adler 已提交
379
    }
M
Mark Adler 已提交
380 381 382 383 384 385
    s->status = s->wrap ? INIT_STATE : BUSY_STATE;
    strm->adler =
#ifdef GZIP
        s->wrap == 2 ? crc32(0L, Z_NULL, 0) :
#endif
        adler32(0L, Z_NULL, 0);
M
Mark Adler 已提交
386
    s->last_flush = Z_NO_FLUSH;
M
Mark Adler 已提交
387

M
Mark Adler 已提交
388
    _tr_init(s);
M
Mark Adler 已提交
389 390 391 392 393
    lm_init(s);

    return Z_OK;
}

M
Mark Adler 已提交
394 395 396 397 398 399 400 401 402 403 404
/* ========================================================================= */
int ZEXPORT deflateSetHeader (strm, head)
    z_streamp strm;
    gz_headerp head;
{
    if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
    if (strm->state->wrap != 2) return Z_STREAM_ERROR;
    strm->state->gzhead = head;
    return Z_OK;
}

M
Mark Adler 已提交
405 406 407 408 409 410 411 412 413 414 415 416
/* ========================================================================= */
int ZEXPORT deflatePrime (strm, bits, value)
    z_streamp strm;
    int bits;
    int value;
{
    if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
    strm->state->bi_valid = bits;
    strm->state->bi_buf = (ush)(value & ((1 << bits) - 1));
    return Z_OK;
}

M
Mark Adler 已提交
417
/* ========================================================================= */
M
Mark Adler 已提交
418
int ZEXPORT deflateParams(strm, level, strategy)
M
Mark Adler 已提交
419
    z_streamp strm;
M
Mark Adler 已提交
420 421 422 423 424
    int level;
    int strategy;
{
    deflate_state *s;
    compress_func func;
M
Mark Adler 已提交
425
    int err = Z_OK;
M
Mark Adler 已提交
426 427 428 429

    if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
    s = strm->state;

M
Mark Adler 已提交
430 431 432 433 434 435 436
#ifdef FASTEST
    if (level != 0) level = 1;
#else
    if (level == Z_DEFAULT_COMPRESSION) level = 6;
#endif
    if (level < 0 || level > 9 || strategy < 0 || strategy > Z_RLE) {
        return Z_STREAM_ERROR;
M
Mark Adler 已提交
437 438 439
    }
    func = configuration_table[s->level].func;

M
Mark Adler 已提交
440
    if (func != configuration_table[level].func && strm->total_in != 0) {
M
Mark Adler 已提交
441 442
        /* Flush the last buffer: */
        err = deflate(strm, Z_PARTIAL_FLUSH);
M
Mark Adler 已提交
443 444
    }
    if (s->level != level) {
M
Mark Adler 已提交
445 446 447 448 449
        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 已提交
450 451
    }
    s->strategy = strategy;
M
Mark Adler 已提交
452
    return err;
M
Mark Adler 已提交
453 454
}

M
Mark Adler 已提交
455 456 457 458 459 460 461 462 463 464 465 466 467
/* =========================================================================
 * 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.
 *
 * This function could be more sophisticated to provide closer upper bounds
M
Mark Adler 已提交
468
 * for every combination of windowBits and memLevel, as well as wrap.
M
Mark Adler 已提交
469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495
 * But even the conservative upper bound of about 14% expansion does not
 * seem onerous for output buffer allocation.
 */
uLong ZEXPORT deflateBound(strm, sourceLen)
    z_streamp strm;
    uLong sourceLen;
{
    deflate_state *s;
    uLong destLen;

    /* conservative upper bound */
    destLen = sourceLen +
              ((sourceLen + 7) >> 3) + ((sourceLen + 63) >> 6) + 11;

    /* if can't get parameters, return conservative bound */
    if (strm == Z_NULL || strm->state == Z_NULL)
        return destLen;

    /* if not default parameters, return conservative bound */
    s = strm->state;
    if (s->w_bits != 15 || s->hash_bits != 8 + 7)
        return destLen;

    /* default settings: return tight bound for that case */
    return compressBound(sourceLen);
}

M
Mark Adler 已提交
496
/* =========================================================================
M
Mark Adler 已提交
497
 * Put a short in the pending buffer. The 16-bit value is put in MSB order.
M
Mark Adler 已提交
498
 * IN assertion: the stream state is correct and there is enough room in
M
Mark Adler 已提交
499
 * pending_buf.
M
Mark Adler 已提交
500 501 502 503 504
 */
local void putShortMSB (s, b)
    deflate_state *s;
    uInt b;
{
M
Mark Adler 已提交
505 506
    put_byte(s, (Byte)(b >> 8));
    put_byte(s, (Byte)(b & 0xff));
M
Mark Adler 已提交
507
}
M
Mark Adler 已提交
508 509

/* =========================================================================
M
Mark Adler 已提交
510 511 512 513
 * Flush as much pending output as possible. All deflate() 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 已提交
514 515
 */
local void flush_pending(strm)
M
Mark Adler 已提交
516
    z_streamp strm;
M
Mark Adler 已提交
517 518 519 520 521 522 523 524 525 526 527 528 529
{
    unsigned len = strm->state->pending;

    if (len > strm->avail_out) len = strm->avail_out;
    if (len == 0) return;

    zmemcpy(strm->next_out, strm->state->pending_out, len);
    strm->next_out  += len;
    strm->state->pending_out  += len;
    strm->total_out += len;
    strm->avail_out  -= len;
    strm->state->pending -= len;
    if (strm->state->pending == 0) {
M
Mark Adler 已提交
530
        strm->state->pending_out = strm->state->pending_buf;
M
Mark Adler 已提交
531 532 533 534
    }
}

/* ========================================================================= */
M
Mark Adler 已提交
535
int ZEXPORT deflate (strm, flush)
M
Mark Adler 已提交
536
    z_streamp strm;
M
Mark Adler 已提交
537 538
    int flush;
{
M
Mark Adler 已提交
539
    int old_flush; /* value of flush param for previous deflate call */
M
Mark Adler 已提交
540
    deflate_state *s;
M
Mark Adler 已提交
541

M
Mark Adler 已提交
542
    if (strm == Z_NULL || strm->state == Z_NULL ||
M
Mark Adler 已提交
543
        flush > Z_FINISH || flush < 0) {
M
Mark Adler 已提交
544 545
        return Z_STREAM_ERROR;
    }
M
Mark Adler 已提交
546 547
    s = strm->state;

M
Mark Adler 已提交
548
    if (strm->next_out == Z_NULL ||
M
Mark Adler 已提交
549
        (strm->next_in == Z_NULL && strm->avail_in != 0) ||
M
Mark Adler 已提交
550
        (s->status == FINISH_STATE && flush != Z_FINISH)) {
M
Mark Adler 已提交
551
        ERR_RETURN(strm, Z_STREAM_ERROR);
M
Mark Adler 已提交
552 553 554
    }
    if (strm->avail_out == 0) ERR_RETURN(strm, Z_BUF_ERROR);

M
Mark Adler 已提交
555 556 557
    s->strm = strm; /* just in case */
    old_flush = s->last_flush;
    s->last_flush = flush;
M
Mark Adler 已提交
558

M
Mark Adler 已提交
559
    /* Write the header */
M
Mark Adler 已提交
560
    if (s->status == INIT_STATE) {
M
Mark Adler 已提交
561 562
#ifdef GZIP
        if (s->wrap == 2) {
M
Mark Adler 已提交
563
            strm->adler = crc32(0L, Z_NULL, 0);
M
Mark Adler 已提交
564 565 566
            put_byte(s, 31);
            put_byte(s, 139);
            put_byte(s, 8);
M
Mark Adler 已提交
567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603
            if (s->gzhead == 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, 255);
                s->status = BUSY_STATE;
            }
            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, s->gzhead->time & 0xff);
                put_byte(s, (s->gzhead->time >> 8) & 0xff);
                put_byte(s, (s->gzhead->time >> 16) & 0xff);
                put_byte(s, (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 != NULL) {
                    put_byte(s, s->gzhead->extra_len & 0xff);
                    put_byte(s, (s->gzhead->extra_len >> 8) & 0xff);
                }
                if (s->gzhead->hcrc)
                    strm->adler = crc32(strm->adler, s->pending_buf,
                                        s->pending);
                s->gzindex = 0;
                s->status = EXTRA_STATE;
            }
M
Mark Adler 已提交
604
        }
M
Mark Adler 已提交
605
        else
M
Mark Adler 已提交
606 607 608 609
#endif
        {
            uInt header = (Z_DEFLATED + ((s->w_bits-8)<<4)) << 8;
            uInt level_flags;
M
Mark Adler 已提交
610

M
Mark Adler 已提交
611 612 613 614 615 616 617 618 619 620 621
            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;
            else
                level_flags = 3;
            header |= (level_flags << 6);
            if (s->strstart != 0) header |= PRESET_DICT;
            header += 31 - (header % 31);
M
Mark Adler 已提交
622

M
Mark Adler 已提交
623 624
            s->status = BUSY_STATE;
            putShortMSB(s, header);
M
Mark Adler 已提交
625

M
Mark Adler 已提交
626 627 628 629 630 631
            /* 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);
M
Mark Adler 已提交
632
        }
M
Mark Adler 已提交
633
    }
M
Mark Adler 已提交
634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737
#ifdef GZIP
    if (s->status == EXTRA_STATE) {
        if (s->gzhead->extra != NULL) {
            int beg = s->pending;   /* start of bytes to update crc */

            while (s->gzindex < (s->gzhead->extra_len & 0xffff)) {
                if (s->pending == s->pending_buf_size) {
                    if (s->gzhead->hcrc && s->pending > beg)
                        strm->adler = crc32(strm->adler, s->pending_buf + beg,
                                            s->pending - beg);
                    flush_pending(strm);
                    beg = s->pending;
                    if (s->pending == s->pending_buf_size)
                        break;
                }
                put_byte(s, s->gzhead->extra[s->gzindex]);
                s->gzindex++;
            }
            if (s->gzhead->hcrc && s->pending > beg)
                strm->adler = crc32(strm->adler, s->pending_buf + beg,
                                    s->pending - beg);
            if (s->gzindex == s->gzhead->extra_len) {
                s->gzindex = 0;
                s->status = NAME_STATE;
            }
        }
        else
            s->status = NAME_STATE;
    }
    if (s->status == NAME_STATE) {
        if (s->gzhead->name != NULL) {
            int beg = s->pending;   /* start of bytes to update crc */
            int val;

            do {
                if (s->pending == s->pending_buf_size) {
                    if (s->gzhead->hcrc && s->pending > beg)
                        strm->adler = crc32(strm->adler, s->pending_buf + beg,
                                            s->pending - beg);
                    flush_pending(strm);
                    beg = s->pending;
                    if (s->pending == s->pending_buf_size) {
                        val = 1;
                        break;
                    }
                }
                val = s->gzhead->name[s->gzindex++];
                put_byte(s, val);
            } while (val != 0);
            if (s->gzhead->hcrc && s->pending > beg)
                strm->adler = crc32(strm->adler, s->pending_buf + beg,
                                    s->pending - beg);
            if (val == 0) {
                s->gzindex = 0;
                s->status = COMMENT_STATE;
            }
        }
        else
            s->status = COMMENT_STATE;
    }
    if (s->status == COMMENT_STATE) {
        if (s->gzhead->comment != NULL) {
            int beg = s->pending;   /* start of bytes to update crc */
            int val;

            do {
                if (s->pending == s->pending_buf_size) {
                    if (s->gzhead->hcrc && s->pending > beg)
                        strm->adler = crc32(strm->adler, s->pending_buf + beg,
                                            s->pending - beg);
                    flush_pending(strm);
                    beg = s->pending;
                    if (s->pending == s->pending_buf_size) {
                        val = 1;
                        break;
                    }
                }
                val = s->gzhead->comment[s->gzindex++];
                put_byte(s, val);
            } while (val != 0);
            if (s->gzhead->hcrc && s->pending > beg)
                strm->adler = crc32(strm->adler, s->pending_buf + beg,
                                    s->pending - beg);
            if (val == 0)
                s->status = HCRC_STATE;
        }
        else
            s->status = HCRC_STATE;
    }
    if (s->status == HCRC_STATE) {
        if (s->gzhead->hcrc) {
            if (s->pending + 2 > s->pending_buf_size)
                flush_pending(strm);
            if (s->pending + 2 <= s->pending_buf_size) {
                put_byte(s, strm->adler & 0xff);
                put_byte(s, (strm->adler >> 8) & 0xff);
                strm->adler = crc32(0L, Z_NULL, 0);
                s->status = BUSY_STATE;
            }
        }
        else
            s->status = BUSY_STATE;
    }
#endif
M
Mark Adler 已提交
738 739

    /* Flush as much pending output as possible */
M
Mark Adler 已提交
740
    if (s->pending != 0) {
M
Mark Adler 已提交
741
        flush_pending(strm);
M
Mark Adler 已提交
742
        if (strm->avail_out == 0) {
M
Mark Adler 已提交
743 744 745 746 747
            /* 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:
M
Mark Adler 已提交
748
             */
M
Mark Adler 已提交
749 750 751
            s->last_flush = -1;
            return Z_OK;
        }
M
Mark Adler 已提交
752 753 754

    /* Make sure there is something to do and avoid duplicate consecutive
     * flushes. For repeated and useless calls with Z_FINISH, we keep
M
Mark Adler 已提交
755
     * returning Z_STREAM_END instead of Z_BUF_ERROR.
M
Mark Adler 已提交
756 757
     */
    } else if (strm->avail_in == 0 && flush <= old_flush &&
M
Mark Adler 已提交
758
               flush != Z_FINISH) {
M
Mark Adler 已提交
759
        ERR_RETURN(strm, Z_BUF_ERROR);
M
Mark Adler 已提交
760 761 762
    }

    /* User must not provide more input after the first FINISH: */
M
Mark Adler 已提交
763
    if (s->status == FINISH_STATE && strm->avail_in != 0) {
M
Mark Adler 已提交
764
        ERR_RETURN(strm, Z_BUF_ERROR);
M
Mark Adler 已提交
765 766 767 768
    }

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

M
Mark Adler 已提交
773
        bstate = (*(configuration_table[s->level].func))(s, flush);
M
Mark Adler 已提交
774 775

        if (bstate == finish_started || bstate == finish_done) {
M
Mark Adler 已提交
776
            s->status = FINISH_STATE;
M
Mark Adler 已提交
777
        }
M
Mark Adler 已提交
778
        if (bstate == need_more || bstate == finish_started) {
M
Mark Adler 已提交
779 780 781 782 783 784 785 786 787 788 789 790
            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 已提交
791
        if (bstate == block_done) {
M
Mark Adler 已提交
792
            if (flush == Z_PARTIAL_FLUSH) {
M
Mark Adler 已提交
793
                _tr_align(s);
M
Mark Adler 已提交
794
            } else { /* FULL_FLUSH or SYNC_FLUSH */
M
Mark Adler 已提交
795
                _tr_stored_block(s, (char*)0, 0L, 0);
M
Mark Adler 已提交
796 797 798 799
                /* 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 已提交
800
                    CLEAR_HASH(s);             /* forget history */
M
Mark Adler 已提交
801 802
                }
            }
M
Mark Adler 已提交
803
            flush_pending(strm);
M
Mark Adler 已提交
804 805 806 807
            if (strm->avail_out == 0) {
              s->last_flush = -1; /* avoid BUF_ERROR at next call, see above */
              return Z_OK;
            }
M
Mark Adler 已提交
808
        }
M
Mark Adler 已提交
809 810 811
    }
    Assert(strm->avail_out > 0, "bug2");

M
Mark Adler 已提交
812
    if (flush != Z_FINISH) return Z_OK;
M
Mark Adler 已提交
813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832
    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 已提交
833 834 835 836
    flush_pending(strm);
    /* If avail_out is zero, the application will call deflate again
     * to flush the rest.
     */
M
Mark Adler 已提交
837
    if (s->wrap > 0) s->wrap = -s->wrap; /* write the trailer only once! */
M
Mark Adler 已提交
838
    return s->pending != 0 ? Z_OK : Z_STREAM_END;
M
Mark Adler 已提交
839 840 841
}

/* ========================================================================= */
M
Mark Adler 已提交
842
int ZEXPORT deflateEnd (strm)
M
Mark Adler 已提交
843
    z_streamp strm;
M
Mark Adler 已提交
844
{
M
Mark Adler 已提交
845 846
    int status;

M
Mark Adler 已提交
847 848
    if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;

M
Mark Adler 已提交
849
    status = strm->state->status;
M
Mark Adler 已提交
850 851 852 853 854 855
    if (status != INIT_STATE &&
        status != EXTRA_STATE &&
        status != NAME_STATE &&
        status != COMMENT_STATE &&
        status != HCRC_STATE &&
        status != BUSY_STATE &&
M
Mark Adler 已提交
856
        status != FINISH_STATE) {
M
Mark Adler 已提交
857 858 859
      return Z_STREAM_ERROR;
    }

M
Mark Adler 已提交
860
    /* Deallocate in reverse order of allocations: */
M
Mark Adler 已提交
861
    TRY_FREE(strm, strm->state->pending_buf);
M
Mark Adler 已提交
862 863 864
    TRY_FREE(strm, strm->state->head);
    TRY_FREE(strm, strm->state->prev);
    TRY_FREE(strm, strm->state->window);
M
Mark Adler 已提交
865 866 867 868

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

M
Mark Adler 已提交
869
    return status == BUSY_STATE ? Z_DATA_ERROR : Z_OK;
M
Mark Adler 已提交
870 871
}

M
Mark Adler 已提交
872 873 874 875 876
/* =========================================================================
 * 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 已提交
877
int ZEXPORT deflateCopy (dest, source)
M
Mark Adler 已提交
878 879
    z_streamp dest;
    z_streamp source;
M
Mark Adler 已提交
880
{
M
Mark Adler 已提交
881 882 883 884 885 886 887 888
#ifdef MAXSEG_64K
    return Z_STREAM_ERROR;
#else
    deflate_state *ds;
    deflate_state *ss;
    ushf *overlay;


M
Mark Adler 已提交
889
    if (source == Z_NULL || dest == Z_NULL || source->state == Z_NULL) {
M
Mark Adler 已提交
890
        return Z_STREAM_ERROR;
M
Mark Adler 已提交
891
    }
M
Mark Adler 已提交
892 893 894

    ss = source->state;

M
Mark Adler 已提交
895 896
    *dest = *source;

M
Mark Adler 已提交
897 898 899 900 901 902 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
    ds = (deflate_state *) ZALLOC(dest, 1, sizeof(deflate_state));
    if (ds == Z_NULL) return Z_MEM_ERROR;
    dest->state = (struct internal_state FAR *) ds;
    *ds = *ss;
    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));
    overlay = (ushf *) ZALLOC(dest, ds->lit_bufsize, sizeof(ush)+2);
    ds->pending_buf = (uchf *) overlay;

    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));
    zmemcpy(ds->prev, ss->prev, ds->w_size * sizeof(Pos));
    zmemcpy(ds->head, ss->head, ds->hash_size * sizeof(Pos));
    zmemcpy(ds->pending_buf, ss->pending_buf, (uInt)ds->pending_buf_size);

    ds->pending_out = ds->pending_buf + (ss->pending_out - ss->pending_buf);
    ds->d_buf = overlay + ds->lit_bufsize/sizeof(ush);
    ds->l_buf = ds->pending_buf + (1+sizeof(ush))*ds->lit_bufsize;

    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 已提交
928
    return Z_OK;
M
Mark Adler 已提交
929
#endif /* MAXSEG_64K */
M
Mark Adler 已提交
930 931 932 933
}

/* ===========================================================================
 * Read a new buffer from the current input stream, update the adler32
M
Mark Adler 已提交
934 935 936 937
 * 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 已提交
938 939
 */
local int read_buf(strm, buf, size)
M
Mark Adler 已提交
940
    z_streamp strm;
M
Mark Adler 已提交
941
    Bytef *buf;
M
Mark Adler 已提交
942 943 944 945 946 947 948 949 950
    unsigned size;
{
    unsigned len = strm->avail_in;

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

    strm->avail_in  -= len;

M
Mark Adler 已提交
951
    if (strm->state->wrap == 1) {
M
Mark Adler 已提交
952
        strm->adler = adler32(strm->adler, strm->next_in, len);
M
Mark Adler 已提交
953
    }
M
Mark Adler 已提交
954 955 956 957 958
#ifdef GZIP
    else if (strm->state->wrap == 2) {
        strm->adler = crc32(strm->adler, strm->next_in, len);
    }
#endif
M
Mark Adler 已提交
959 960 961 962 963 964 965 966 967 968 969 970 971 972 973
    zmemcpy(buf, strm->next_in, len);
    strm->next_in  += len;
    strm->total_in += len;

    return (int)len;
}

/* ===========================================================================
 * 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 已提交
974
    CLEAR_HASH(s);
M
Mark Adler 已提交
975 976 977 978 979 980 981 982 983 984 985

    /* 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;
M
Mark Adler 已提交
986
    s->match_length = s->prev_length = MIN_MATCH-1;
M
Mark Adler 已提交
987
    s->match_available = 0;
M
Mark Adler 已提交
988
    s->ins_h = 0;
M
Mark Adler 已提交
989 990 991 992 993
#ifdef ASMV
    match_init(); /* initialize the asm code */
#endif
}

M
Mark Adler 已提交
994
#ifndef FASTEST
M
Mark Adler 已提交
995 996 997 998 999 1000 1001
/* ===========================================================================
 * 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 已提交
1002
 * OUT assertion: the match length is not greater than s->lookahead.
M
Mark Adler 已提交
1003 1004 1005 1006 1007
 */
#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 已提交
1008
local uInt longest_match(s, cur_match)
M
Mark Adler 已提交
1009 1010 1011 1012
    deflate_state *s;
    IPos cur_match;                             /* current match */
{
    unsigned chain_length = s->max_chain_length;/* max hash chain length */
M
Mark Adler 已提交
1013 1014
    register Bytef *scan = s->window + s->strstart; /* current string */
    register Bytef *match;                       /* matched string */
M
Mark Adler 已提交
1015 1016
    register int len;                           /* length of current match */
    int best_len = s->prev_length;              /* best match length so far */
M
Mark Adler 已提交
1017
    int nice_match = s->nice_match;             /* stop if match long enough */
M
Mark Adler 已提交
1018
    IPos limit = s->strstart > (IPos)MAX_DIST(s) ?
M
Mark Adler 已提交
1019
        s->strstart - (IPos)MAX_DIST(s) : NIL;
M
Mark Adler 已提交
1020 1021 1022
    /* Stop when cur_match becomes <= limit. To simplify the code,
     * we prevent matches with the string of window index 0.
     */
M
Mark Adler 已提交
1023
    Posf *prev = s->prev;
M
Mark Adler 已提交
1024
    uInt wmask = s->w_mask;
M
Mark Adler 已提交
1025 1026 1027 1028 1029

#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 已提交
1030
    register Bytef *strend = s->window + s->strstart + MAX_MATCH - 1;
M
Mark Adler 已提交
1031 1032
    register ush scan_start = *(ushf*)scan;
    register ush scan_end   = *(ushf*)(scan+best_len-1);
M
Mark Adler 已提交
1033
#else
M
Mark Adler 已提交
1034
    register Bytef *strend = s->window + s->strstart + MAX_MATCH;
M
Mark Adler 已提交
1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047
    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 已提交
1048 1049 1050 1051 1052
    /* Do not look for matches beyond the end of the input. This is necessary
     * to make deflate deterministic.
     */
    if ((uInt)nice_match > s->lookahead) nice_match = s->lookahead;

M
Mark Adler 已提交
1053
    Assert((ulg)s->strstart <= s->window_size-MIN_LOOKAHEAD, "need lookahead");
M
Mark Adler 已提交
1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065

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

        /* Skip to next match if the match length cannot increase
         * or if the match length is less than 2:
         */
#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 已提交
1066 1067
        if (*(ushf*)(match+best_len-1) != scan_end ||
            *(ushf*)match != scan_start) continue;
M
Mark Adler 已提交
1068 1069 1070 1071 1072 1073 1074 1075 1076 1077

        /* 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 已提交
1078
        Assert(scan[2] == match[2], "scan[2]?");
M
Mark Adler 已提交
1079 1080
        scan++, match++;
        do {
M
Mark Adler 已提交
1081 1082 1083 1084
        } 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 已提交
1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108
                 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 已提交
1109
        Assert(*scan == *match, "match[2]?");
M
Mark Adler 已提交
1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130

        /* 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 已提交
1131
            if (len >= nice_match) break;
M
Mark Adler 已提交
1132
#ifdef UNALIGNED_OK
M
Mark Adler 已提交
1133
            scan_end = *(ushf*)(scan+best_len-1);
M
Mark Adler 已提交
1134 1135 1136 1137 1138
#else
            scan_end1  = scan[best_len-1];
            scan_end   = scan[best_len];
#endif
        }
M
Mark Adler 已提交
1139
    } while ((cur_match = prev[cur_match & wmask]) > limit
M
Mark Adler 已提交
1140 1141
             && --chain_length != 0);

M
Mark Adler 已提交
1142
    if ((uInt)best_len <= s->lookahead) return (uInt)best_len;
M
Mark Adler 已提交
1143
    return s->lookahead;
M
Mark Adler 已提交
1144
}
M
Mark Adler 已提交
1145 1146
#endif /* ASMV */
#endif /* FASTEST */
M
Mark Adler 已提交
1147 1148

/* ---------------------------------------------------------------------------
M
Mark Adler 已提交
1149
 * Optimized version for level == 1 or strategy == Z_RLE only
M
Mark Adler 已提交
1150
 */
M
Mark Adler 已提交
1151
local uInt longest_match_fast(s, cur_match)
M
Mark Adler 已提交
1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188
    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 已提交
1189 1190 1191 1192
             *++scan == *++match && *++scan == *++match &&
             *++scan == *++match && *++scan == *++match &&
             *++scan == *++match && *++scan == *++match &&
             scan < strend);
M
Mark Adler 已提交
1193 1194 1195 1196 1197 1198 1199 1200

    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 已提交
1201
    return (uInt)len <= s->lookahead ? (uInt)len : s->lookahead;
M
Mark Adler 已提交
1202
}
M
Mark Adler 已提交
1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213

#ifdef DEBUG
/* ===========================================================================
 * 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 已提交
1214 1215
    if (zmemcmp(s->window + match,
                s->window + start, length) != EQUAL) {
M
Mark Adler 已提交
1216
        fprintf(stderr, " start %u, match %u, length %d\n",
M
Mark Adler 已提交
1217
                start, match, length);
M
Mark Adler 已提交
1218
        do {
M
Mark Adler 已提交
1219 1220
            fprintf(stderr, "%c%c", s->window[match++], s->window[start++]);
        } while (--length != 0);
M
Mark Adler 已提交
1221 1222
        z_error("invalid match");
    }
M
Mark Adler 已提交
1223
    if (z_verbose > 1) {
M
Mark Adler 已提交
1224 1225
        fprintf(stderr,"\\[%d,%d]", start-match, length);
        do { putc(s->window[start++], stderr); } while (--length != 0);
M
Mark Adler 已提交
1226 1227 1228 1229
    }
}
#else
#  define check_match(s, start, match, length)
M
Mark Adler 已提交
1230
#endif /* DEBUG */
M
Mark Adler 已提交
1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245

/* ===========================================================================
 * 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;
{
    register unsigned n, m;
M
Mark Adler 已提交
1246
    register Posf *p;
M
Mark Adler 已提交
1247
    unsigned more;    /* Amount of free space at the end of the window. */
M
Mark Adler 已提交
1248
    uInt wsize = s->w_size;
M
Mark Adler 已提交
1249 1250

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

M
Mark Adler 已提交
1253
        /* Deal with !@#$% 64K limit: */
M
Mark Adler 已提交
1254 1255 1256
        if (sizeof(int) <= 2) {
            if (more == 0 && s->strstart == 0 && s->lookahead == 0) {
                more = wsize;
M
Mark Adler 已提交
1257

M
Mark Adler 已提交
1258 1259
            } else if (more == (unsigned)(-1)) {
                /* Very unlikely, but possible on 16 bit machine if
M
Mark Adler 已提交
1260
                 * strstart == 0 && lookahead == 1 (input done a byte at time)
M
Mark Adler 已提交
1261 1262 1263 1264
                 */
                more--;
            }
        }
M
Mark Adler 已提交
1265 1266 1267 1268

        /* 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 已提交
1269
        if (s->strstart >= wsize+MAX_DIST(s)) {
M
Mark Adler 已提交
1270

M
Mark Adler 已提交
1271
            zmemcpy(s->window, s->window+wsize, (unsigned)wsize);
M
Mark Adler 已提交
1272 1273 1274
            s->match_start -= wsize;
            s->strstart    -= wsize; /* we now have strstart >= MAX_DIST */
            s->block_start -= (long) wsize;
M
Mark Adler 已提交
1275

M
Mark Adler 已提交
1276
            /* Slide the hash table (could be avoided with 32 bit values
M
Mark Adler 已提交
1277 1278 1279 1280
               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. (Using level 0 permanently is not an optimal usage of
               zlib, so we don't care about this pathological case.)
M
Mark Adler 已提交
1281
             */
M
Mark Adler 已提交
1282 1283 1284 1285 1286 1287 1288 1289
            n = s->hash_size;
            p = &s->head[n];
            do {
                m = *--p;
                *p = (Pos)(m >= wsize ? m-wsize : NIL);
            } while (--n);

            n = wsize;
M
Mark Adler 已提交
1290
#ifndef FASTEST
M
Mark Adler 已提交
1291 1292 1293 1294 1295 1296 1297 1298
            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);
M
Mark Adler 已提交
1299
#endif
M
Mark Adler 已提交
1300
            more += wsize;
M
Mark Adler 已提交
1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316
        }
        if (s->strm->avail_in == 0) return;

        /* 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 已提交
1317
        n = read_buf(s->strm, s->window + s->strstart + s->lookahead, more);
M
Mark Adler 已提交
1318
        s->lookahead += n;
M
Mark Adler 已提交
1319

M
Mark Adler 已提交
1320
        /* Initialize the hash value now that we have some input: */
M
Mark Adler 已提交
1321 1322 1323 1324 1325 1326
        if (s->lookahead >= MIN_MATCH) {
            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 已提交
1327 1328 1329 1330 1331
        }
        /* 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 已提交
1332 1333 1334 1335 1336 1337 1338 1339
    } while (s->lookahead < MIN_LOOKAHEAD && s->strm->avail_in != 0);
}

/* ===========================================================================
 * Flush the current block, with given end-of-file flag.
 * IN assertion: strstart is set to the end of the current match.
 */
#define FLUSH_BLOCK_ONLY(s, eof) { \
M
Mark Adler 已提交
1340 1341 1342
   _tr_flush_block(s, (s->block_start >= 0L ? \
                   (charf *)&s->window[(unsigned)s->block_start] : \
                   (charf *)Z_NULL), \
M
Mark Adler 已提交
1343 1344
                (ulg)((long)s->strstart - s->block_start), \
                (eof)); \
M
Mark Adler 已提交
1345 1346
   s->block_start = s->strstart; \
   flush_pending(s->strm); \
M
Mark Adler 已提交
1347
   Tracev((stderr,"[FLUSH]")); \
M
Mark Adler 已提交
1348 1349 1350 1351 1352
}

/* Same but force premature exit if necessary. */
#define FLUSH_BLOCK(s, eof) { \
   FLUSH_BLOCK_ONLY(s, eof); \
M
Mark Adler 已提交
1353
   if (s->strm->avail_out == 0) return (eof) ? finish_started : need_more; \
M
Mark Adler 已提交
1354 1355
}

M
Mark Adler 已提交
1356 1357
/* ===========================================================================
 * Copy without compression as much as possible from the input stream, return
M
Mark Adler 已提交
1358 1359 1360
 * the current block state.
 * This function does not insert new strings in the dictionary since
 * uncompressible data is probably not useful. This function is used
M
Mark Adler 已提交
1361
 * only for the level=0 compression option.
M
Mark Adler 已提交
1362 1363
 * NOTE: this function should be optimized to avoid extra copying from
 * window to pending_buf.
M
Mark Adler 已提交
1364
 */
M
Mark Adler 已提交
1365
local block_state deflate_stored(s, flush)
M
Mark Adler 已提交
1366 1367 1368
    deflate_state *s;
    int flush;
{
M
Mark Adler 已提交
1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379
    /* Stored blocks are limited to 0xffff bytes, pending_buf is limited
     * to pending_buf_size, and each stored block has a 5 byte header:
     */
    ulg max_block_size = 0xffff;
    ulg max_start;

    if (max_block_size > s->pending_buf_size - 5) {
        max_block_size = s->pending_buf_size - 5;
    }

    /* Copy as much as possible from input to output: */
M
Mark Adler 已提交
1380 1381 1382 1383 1384
    for (;;) {
        /* Fill the window as much as possible: */
        if (s->lookahead <= 1) {

            Assert(s->strstart < s->w_size+MAX_DIST(s) ||
M
Mark Adler 已提交
1385
                   s->block_start >= (long)s->w_size, "slide too late");
M
Mark Adler 已提交
1386 1387

            fill_window(s);
M
Mark Adler 已提交
1388
            if (s->lookahead == 0 && flush == Z_NO_FLUSH) return need_more;
M
Mark Adler 已提交
1389 1390 1391

            if (s->lookahead == 0) break; /* flush the current block */
        }
M
Mark Adler 已提交
1392
        Assert(s->block_start >= 0L, "block gone");
M
Mark Adler 已提交
1393

M
Mark Adler 已提交
1394 1395
        s->strstart += s->lookahead;
        s->lookahead = 0;
M
Mark Adler 已提交
1396

M
Mark Adler 已提交
1397 1398
        /* Emit a stored block if pending_buf will be full: */
        max_start = s->block_start + max_block_size;
M
Mark Adler 已提交
1399
        if (s->strstart == 0 || (ulg)s->strstart >= max_start) {
M
Mark Adler 已提交
1400 1401 1402
            /* strstart == 0 is possible when wraparound on 16-bit machine */
            s->lookahead = (uInt)(s->strstart - max_start);
            s->strstart = (uInt)max_start;
M
Mark Adler 已提交
1403
            FLUSH_BLOCK(s, 0);
M
Mark Adler 已提交
1404 1405
        }
        /* Flush if we may have to slide, otherwise block_start may become
M
Mark Adler 已提交
1406 1407
         * negative and the data will be gone:
         */
M
Mark Adler 已提交
1408 1409
        if (s->strstart - (uInt)s->block_start >= MAX_DIST(s)) {
            FLUSH_BLOCK(s, 0);
M
Mark Adler 已提交
1410
        }
M
Mark Adler 已提交
1411 1412
    }
    FLUSH_BLOCK(s, flush == Z_FINISH);
M
Mark Adler 已提交
1413
    return flush == Z_FINISH ? finish_done : block_done;
M
Mark Adler 已提交
1414 1415
}

M
Mark Adler 已提交
1416
/* ===========================================================================
M
Mark Adler 已提交
1417 1418
 * Compress as much as possible from the input stream, return the current
 * block state.
M
Mark Adler 已提交
1419
 * This function does not perform lazy evaluation of matches and inserts
M
Mark Adler 已提交
1420 1421 1422
 * 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 已提交
1423
local block_state deflate_fast(s, flush)
M
Mark Adler 已提交
1424 1425 1426
    deflate_state *s;
    int flush;
{
M
Mark Adler 已提交
1427 1428
    IPos hash_head = NIL; /* head of the hash chain */
    int bflush;           /* set if current block must be flushed */
M
Mark Adler 已提交
1429 1430 1431 1432 1433 1434 1435 1436

    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 已提交
1437
            fill_window(s);
M
Mark Adler 已提交
1438
            if (s->lookahead < MIN_LOOKAHEAD && flush == Z_NO_FLUSH) {
M
Mark Adler 已提交
1439 1440
                return need_more;
            }
M
Mark Adler 已提交
1441 1442
            if (s->lookahead == 0) break; /* flush the current block */
        }
M
Mark Adler 已提交
1443 1444 1445 1446

        /* Insert the string window[strstart .. strstart+2] in the
         * dictionary, and set hash_head to the head of the hash chain:
         */
M
Mark Adler 已提交
1447 1448 1449
        if (s->lookahead >= MIN_MATCH) {
            INSERT_STRING(s, s->strstart, hash_head);
        }
M
Mark Adler 已提交
1450 1451 1452 1453 1454 1455 1456 1457 1458

        /* 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 已提交
1459 1460 1461 1462 1463 1464 1465
#ifdef FASTEST
            if ((s->strategy < Z_HUFFMAN_ONLY) ||
                (s->strategy == Z_RLE && s->strstart - hash_head == 1)) {
                s->match_length = longest_match_fast (s, hash_head);
            }
#else
            if (s->strategy < Z_HUFFMAN_ONLY) {
M
Mark Adler 已提交
1466
                s->match_length = longest_match (s, hash_head);
M
Mark Adler 已提交
1467 1468
            } else if (s->strategy == Z_RLE && s->strstart - hash_head == 1) {
                s->match_length = longest_match_fast (s, hash_head);
M
Mark Adler 已提交
1469
            }
M
Mark Adler 已提交
1470 1471
#endif
            /* longest_match() or longest_match_fast() sets match_start */
M
Mark Adler 已提交
1472 1473 1474 1475
        }
        if (s->match_length >= MIN_MATCH) {
            check_match(s, s->strstart, s->match_start, s->match_length);

M
Mark Adler 已提交
1476 1477
            _tr_tally_dist(s, s->strstart - s->match_start,
                           s->match_length - MIN_MATCH, bflush);
M
Mark Adler 已提交
1478 1479 1480 1481 1482 1483

            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 已提交
1484
#ifndef FASTEST
M
Mark Adler 已提交
1485 1486
            if (s->match_length <= s->max_insert_length &&
                s->lookahead >= MIN_MATCH) {
M
Mark Adler 已提交
1487
                s->match_length--; /* string at strstart already in table */
M
Mark Adler 已提交
1488 1489 1490 1491
                do {
                    s->strstart++;
                    INSERT_STRING(s, s->strstart, hash_head);
                    /* strstart never exceeds WSIZE-MAX_MATCH, so there are
M
Mark Adler 已提交
1492
                     * always MIN_MATCH bytes ahead.
M
Mark Adler 已提交
1493 1494
                     */
                } while (--s->match_length != 0);
M
Mark Adler 已提交
1495
                s->strstart++;
M
Mark Adler 已提交
1496 1497
            } else
#endif
M
Mark Adler 已提交
1498
            {
M
Mark Adler 已提交
1499 1500 1501 1502 1503 1504 1505
                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 已提交
1506 1507 1508
                /* 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 已提交
1509 1510 1511 1512
            }
        } else {
            /* No match, output a literal byte */
            Tracevv((stderr,"%c", s->window[s->strstart]));
M
Mark Adler 已提交
1513
            _tr_tally_lit (s, s->window[s->strstart], bflush);
M
Mark Adler 已提交
1514
            s->lookahead--;
M
Mark Adler 已提交
1515
            s->strstart++;
M
Mark Adler 已提交
1516 1517 1518 1519
        }
        if (bflush) FLUSH_BLOCK(s, 0);
    }
    FLUSH_BLOCK(s, flush == Z_FINISH);
M
Mark Adler 已提交
1520
    return flush == Z_FINISH ? finish_done : block_done;
M
Mark Adler 已提交
1521 1522
}

M
Mark Adler 已提交
1523
#ifndef FASTEST
M
Mark Adler 已提交
1524 1525 1526 1527 1528
/* ===========================================================================
 * 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 已提交
1529
local block_state deflate_slow(s, flush)
M
Mark Adler 已提交
1530 1531 1532
    deflate_state *s;
    int flush;
{
M
Mark Adler 已提交
1533
    IPos hash_head = NIL;    /* head of hash chain */
M
Mark Adler 已提交
1534 1535 1536 1537 1538 1539 1540 1541 1542 1543
    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 已提交
1544
            fill_window(s);
M
Mark Adler 已提交
1545
            if (s->lookahead < MIN_LOOKAHEAD && flush == Z_NO_FLUSH) {
M
Mark Adler 已提交
1546 1547
                return need_more;
            }
M
Mark Adler 已提交
1548 1549
            if (s->lookahead == 0) break; /* flush the current block */
        }
M
Mark Adler 已提交
1550 1551 1552 1553

        /* Insert the string window[strstart .. strstart+2] in the
         * dictionary, and set hash_head to the head of the hash chain:
         */
M
Mark Adler 已提交
1554 1555 1556
        if (s->lookahead >= MIN_MATCH) {
            INSERT_STRING(s, s->strstart, hash_head);
        }
M
Mark Adler 已提交
1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568

        /* 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 已提交
1569
            if (s->strategy < Z_HUFFMAN_ONLY) {
M
Mark Adler 已提交
1570
                s->match_length = longest_match (s, hash_head);
M
Mark Adler 已提交
1571 1572
            } else if (s->strategy == Z_RLE && s->strstart - hash_head == 1) {
                s->match_length = longest_match_fast (s, hash_head);
M
Mark Adler 已提交
1573
            }
M
Mark Adler 已提交
1574
            /* longest_match() or longest_match_fast() sets match_start */
M
Mark Adler 已提交
1575

M
Mark Adler 已提交
1576
            if (s->match_length <= 5 && (s->strategy == Z_FILTERED
M
Mark Adler 已提交
1577
#if TOO_FAR <= 32767
M
Mark Adler 已提交
1578 1579 1580 1581
                || (s->match_length == MIN_MATCH &&
                    s->strstart - s->match_start > TOO_FAR)
#endif
                )) {
M
Mark Adler 已提交
1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592

                /* 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 已提交
1593 1594
            uInt max_insert = s->strstart + s->lookahead - MIN_MATCH;
            /* Do not insert strings in hash table beyond this. */
M
Mark Adler 已提交
1595 1596 1597

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

M
Mark Adler 已提交
1598
            _tr_tally_dist(s, s->strstart -1 - s->prev_match,
M
Mark Adler 已提交
1599
                           s->prev_length - MIN_MATCH, bflush);
M
Mark Adler 已提交
1600 1601

            /* Insert in hash table all strings up to the end of the match.
M
Mark Adler 已提交
1602 1603 1604
             * 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 已提交
1605 1606 1607 1608
             */
            s->lookahead -= s->prev_length-1;
            s->prev_length -= 2;
            do {
M
Mark Adler 已提交
1609 1610 1611
                if (++s->strstart <= max_insert) {
                    INSERT_STRING(s, s->strstart, hash_head);
                }
M
Mark Adler 已提交
1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624
            } 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 已提交
1625 1626
            _tr_tally_lit(s, s->window[s->strstart-1], bflush);
            if (bflush) {
M
Mark Adler 已提交
1627
                FLUSH_BLOCK_ONLY(s, 0);
M
Mark Adler 已提交
1628 1629 1630
            }
            s->strstart++;
            s->lookahead--;
M
Mark Adler 已提交
1631
            if (s->strm->avail_out == 0) return need_more;
M
Mark Adler 已提交
1632 1633 1634 1635 1636 1637 1638 1639 1640
        } 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 已提交
1641
    Assert (flush != Z_NO_FLUSH, "no flush?");
M
Mark Adler 已提交
1642
    if (s->match_available) {
M
Mark Adler 已提交
1643
        Tracevv((stderr,"%c", s->window[s->strstart-1]));
M
Mark Adler 已提交
1644
        _tr_tally_lit(s, s->window[s->strstart-1], bflush);
M
Mark Adler 已提交
1645
        s->match_available = 0;
M
Mark Adler 已提交
1646
    }
M
Mark Adler 已提交
1647
    FLUSH_BLOCK(s, flush == Z_FINISH);
M
Mark Adler 已提交
1648
    return flush == Z_FINISH ? finish_done : block_done;
M
Mark Adler 已提交
1649
}
M
Mark Adler 已提交
1650
#endif /* FASTEST */