deflate.c 41.9 KB
Newer Older
M
Mark Adler 已提交
1
/* deflate.c -- compress data using the deflation algorithm
M
Mark Adler 已提交
2
 * Copyright (C) 1995-1996 Jean-loup Gailly.
M
Mark Adler 已提交
3 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 39 40 41 42 43 44 45 46 47 48 49
 * For conditions of distribution and use, see copyright notice in zlib.h 
 */

/*
 *  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
 *
 *      Deutsch, L.P.,"'Deflate' Compressed Data Format Specification".
 *      Available in ftp.uu.net:/pub/archiving/zip/doc/deflate-1.1.doc
 *
 *      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: deflate.c,v 1.13 1996/05/22 11:52:21 me Exp $ */
M
Mark Adler 已提交
51 52 53

#include "deflate.h"

M
Mark Adler 已提交
54
char deflate_copyright[] = " deflate 1.0.2 Copyright 1995-1996 Jean-loup Gailly ";
M
Mark Adler 已提交
55 56 57 58 59 60 61
/*
  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 已提交
62
/* ===========================================================================
M
Mark Adler 已提交
63
 *  Function prototypes.
M
Mark Adler 已提交
64 65 66 67 68 69
 */
local void fill_window    OF((deflate_state *s));
local int  deflate_stored OF((deflate_state *s, int flush));
local int  deflate_fast   OF((deflate_state *s, int flush));
local int  deflate_slow   OF((deflate_state *s, int flush));
local void lm_init        OF((deflate_state *s));
M
Mark Adler 已提交
70
local uInt longest_match  OF((deflate_state *s, IPos cur_match));
M
Mark Adler 已提交
71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86
local void putShortMSB    OF((deflate_state *s, uInt b));
local void flush_pending  OF((z_stream *strm));
local int read_buf        OF((z_stream *strm, charf *buf, unsigned size));
#ifdef ASMV
      void match_init OF((void)); /* asm code initialization */
#endif

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

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

M
Mark Adler 已提交
87 88 89 90 91 92 93 94 95 96 97 98 99
#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.
 */

M
Mark Adler 已提交
100 101 102
typedef int (*compress_func) OF((deflate_state *s, int flush));
/* Compressing function */

M
Mark Adler 已提交
103 104 105 106 107 108 109 110 111 112
/* 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 已提交
113
   compress_func func;
M
Mark Adler 已提交
114 115 116 117
} config;

local config configuration_table[10] = {
/*      good lazy nice chain */
M
Mark Adler 已提交
118 119 120 121 122 123 124 125 126 127 128
/* 0 */ {0,    0,  0,    0, deflate_stored},  /* store only */
/* 1 */ {4,    4,  8,    4, deflate_fast}, /* maximum speed, no lazy matches */
/* 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},
/* 9 */ {32, 258, 258, 4096, deflate_slow}}; /* maximum compression */
M
Mark Adler 已提交
129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147

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

struct static_tree_desc_s {int dummy;}; /* for buggy compilers */

/* ===========================================================================
 * 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 已提交
148

M
Mark Adler 已提交
149 150 151 152 153 154 155 156 157
/* ===========================================================================
 * 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.
 * 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).
 */
#define INSERT_STRING(s, str, match_head) \
M
Mark Adler 已提交
158
   (UPDATE_HASH(s, s->ins_h, s->window[(str) + (MIN_MATCH-1)]), \
M
Mark Adler 已提交
159
    s->prev[(str) & s->w_mask] = match_head = s->head[s->ins_h], \
M
Mark Adler 已提交
160
    s->head[s->ins_h] = (Pos)(str))
M
Mark Adler 已提交
161

M
Mark Adler 已提交
162 163 164 165 166 167
/* ===========================================================================
 * 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 已提交
168
    zmemzero((charf *)s->head, (unsigned)(s->hash_size-1)*sizeof(*s->head));
M
Mark Adler 已提交
169

M
Mark Adler 已提交
170
/* ========================================================================= */
M
Mark Adler 已提交
171
int deflateInit_(strm, level, version, stream_size)
M
Mark Adler 已提交
172 173
    z_stream *strm;
    int level;
M
Mark Adler 已提交
174 175
    const char *version;
    int stream_size;
M
Mark Adler 已提交
176
{
M
Mark Adler 已提交
177 178
    return deflateInit2_(strm, level, Z_DEFLATED, MAX_WBITS, DEF_MEM_LEVEL,
			 Z_DEFAULT_STRATEGY, version, stream_size);
M
Mark Adler 已提交
179 180 181 182
    /* To do: ignore strm->next_in if we use it as window */
}

/* ========================================================================= */
M
Mark Adler 已提交
183 184
int deflateInit2_(strm, level, method, windowBits, memLevel, strategy,
		  version, stream_size)
M
Mark Adler 已提交
185 186 187 188 189 190
    z_stream *strm;
    int  level;
    int  method;
    int  windowBits;
    int  memLevel;
    int  strategy;
M
Mark Adler 已提交
191 192
    const char *version;
    int stream_size;
M
Mark Adler 已提交
193 194 195 196
{
    deflate_state *s;
    int noheader = 0;

M
Mark Adler 已提交
197 198 199 200 201 202 203 204 205
    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.
     */

    if (version == Z_NULL || version[0] != ZLIB_VERSION[0] ||
        stream_size != sizeof(z_stream)) {
	return Z_VERSION_ERROR;
    }
M
Mark Adler 已提交
206 207 208
    if (strm == Z_NULL) return Z_STREAM_ERROR;

    strm->msg = Z_NULL;
M
Mark Adler 已提交
209 210 211 212
    if (strm->zalloc == Z_NULL) {
	strm->zalloc = zcalloc;
	strm->opaque = (voidpf)0;
    }
M
Mark Adler 已提交
213 214 215 216 217
    if (strm->zfree == Z_NULL) strm->zfree = zcfree;

    if (level == Z_DEFAULT_COMPRESSION) level = 6;

    if (windowBits < 0) { /* undocumented feature: suppress zlib header */
M
Mark Adler 已提交
218 219
        noheader = 1;
        windowBits = -windowBits;
M
Mark Adler 已提交
220
    }
M
Mark Adler 已提交
221 222 223
    if (memLevel < 1 || memLevel > MAX_MEM_LEVEL || method != Z_DEFLATED ||
        windowBits < 8 || windowBits > 15 || level < 0 || level > 9 ||
	strategy < 0 || strategy > Z_HUFFMAN_ONLY) {
M
Mark Adler 已提交
224
        return Z_STREAM_ERROR;
M
Mark Adler 已提交
225 226 227
    }
    s = (deflate_state *) ZALLOC(strm, 1, sizeof(deflate_state));
    if (s == Z_NULL) return Z_MEM_ERROR;
M
Mark Adler 已提交
228
    strm->state = (struct internal_state FAR *)s;
M
Mark Adler 已提交
229 230 231 232 233
    s->strm = strm;

    s->noheader = noheader;
    s->w_bits = windowBits;
    s->w_size = 1 << s->w_bits;
M
Mark Adler 已提交
234
    s->w_mask = s->w_size - 1;
M
Mark Adler 已提交
235 236 237

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

M
Mark Adler 已提交
241 242 243
    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 已提交
244 245 246

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

M
Mark Adler 已提交
247 248
    overlay = (ushf *) ZALLOC(strm, s->lit_bufsize, sizeof(ush)+2);
    s->pending_buf = (uchf *) overlay;
M
Mark Adler 已提交
249 250

    if (s->window == Z_NULL || s->prev == Z_NULL || s->head == Z_NULL ||
M
Mark Adler 已提交
251
        s->pending_buf == Z_NULL) {
M
Mark Adler 已提交
252
        strm->msg = ERR_MSG(Z_MEM_ERROR);
M
Mark Adler 已提交
253 254
        deflateEnd (strm);
        return Z_MEM_ERROR;
M
Mark Adler 已提交
255
    }
M
Mark Adler 已提交
256 257
    s->d_buf = overlay + s->lit_bufsize/sizeof(ush);
    s->l_buf = s->pending_buf + (1+sizeof(ush))*s->lit_bufsize;
M
Mark Adler 已提交
258 259 260

    s->level = level;
    s->strategy = strategy;
M
Mark Adler 已提交
261
    s->method = (Byte)method;
M
Mark Adler 已提交
262 263 264 265

    return deflateReset(strm);
}

M
Mark Adler 已提交
266 267
/* ========================================================================= */
int deflateSetDictionary (strm, dictionary, dictLength)
M
Mark Adler 已提交
268
    z_stream *strm;
M
Mark Adler 已提交
269 270
    const Bytef *dictionary;
    uInt  dictLength;
M
Mark Adler 已提交
271
{
M
Mark Adler 已提交
272 273 274 275
    deflate_state *s;
    uInt length = dictLength;
    uInt n;
    IPos hash_head = 0;
M
Mark Adler 已提交
276

M
Mark Adler 已提交
277 278
    if (strm == Z_NULL || strm->state == Z_NULL || dictionary == Z_NULL ||
        strm->state->status != INIT_STATE) return Z_STREAM_ERROR;
M
Mark Adler 已提交
279

M
Mark Adler 已提交
280 281
    s = strm->state;
    strm->adler = adler32(strm->adler, dictionary, dictLength);
M
Mark Adler 已提交
282

M
Mark Adler 已提交
283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301
    if (length < MIN_MATCH) return Z_OK;
    if (length > MAX_DIST(s)) {
	length = MAX_DIST(s);
	dictionary += dictLength - length;
    }
    zmemcpy((charf *)s->window, dictionary, length);
    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++) {
	INSERT_STRING(s, n, hash_head);
    }
    if (hash_head) hash_head = 0;  /* to make compiler happy */
M
Mark Adler 已提交
302 303 304
    return Z_OK;
}

M
Mark Adler 已提交
305 306 307 308 309 310 311
/* ========================================================================= */
int deflateReset (strm)
    z_stream *strm;
{
    deflate_state *s;
    
    if (strm == Z_NULL || strm->state == Z_NULL ||
M
Mark Adler 已提交
312
        strm->zalloc == Z_NULL || strm->zfree == Z_NULL) return Z_STREAM_ERROR;
M
Mark Adler 已提交
313 314 315 316 317 318 319 320 321

    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 已提交
322 323 324
    if (s->noheader < 0) {
        s->noheader = 0; /* was set to -1 by deflate(..., Z_FINISH); */
    }
M
Mark Adler 已提交
325
    s->status = s->noheader ? BUSY_STATE : INIT_STATE;
M
Mark Adler 已提交
326
    strm->adler = 1;
M
Mark Adler 已提交
327
    s->last_flush = Z_NO_FLUSH;
M
Mark Adler 已提交
328

M
Mark Adler 已提交
329
    _tr_init(s);
M
Mark Adler 已提交
330 331 332 333 334
    lm_init(s);

    return Z_OK;
}

M
Mark Adler 已提交
335 336 337 338 339 340 341 342
/* ========================================================================= */
int deflateParams(strm, level, strategy)
    z_stream *strm;
    int level;
    int strategy;
{
    deflate_state *s;
    compress_func func;
M
Mark Adler 已提交
343
    int err = Z_OK;
M
Mark Adler 已提交
344 345 346 347 348 349 350 351 352 353 354 355

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

    if (level == Z_DEFAULT_COMPRESSION) {
	level = 6;
    }
    if (level < 0 || level > 9 || strategy < 0 || strategy > Z_HUFFMAN_ONLY) {
	return Z_STREAM_ERROR;
    }
    func = configuration_table[s->level].func;

M
Mark Adler 已提交
356
    if (func != configuration_table[level].func && strm->total_in != 0) {
M
Mark Adler 已提交
357
	/* Flush the last buffer: */
M
Mark Adler 已提交
358
	err = deflate(strm, Z_PARTIAL_FLUSH);
M
Mark Adler 已提交
359 360 361 362 363 364 365 366 367
    }
    if (s->level != level) {
	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;
    }
    s->strategy = strategy;
M
Mark Adler 已提交
368
    return err;
M
Mark Adler 已提交
369 370
}

M
Mark Adler 已提交
371
/* =========================================================================
M
Mark Adler 已提交
372
 * Put a short in the pending buffer. The 16-bit value is put in MSB order.
M
Mark Adler 已提交
373
 * IN assertion: the stream state is correct and there is enough room in
M
Mark Adler 已提交
374
 * pending_buf.
M
Mark Adler 已提交
375 376 377 378 379
 */
local void putShortMSB (s, b)
    deflate_state *s;
    uInt b;
{
M
Mark Adler 已提交
380 381
    put_byte(s, (Byte)(b >> 8));
    put_byte(s, (Byte)(b & 0xff));
M
Mark Adler 已提交
382 383 384
}   

/* =========================================================================
M
Mark Adler 已提交
385 386 387 388
 * 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 已提交
389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404
 */
local void flush_pending(strm)
    z_stream *strm;
{
    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 已提交
405
        strm->state->pending_out = strm->state->pending_buf;
M
Mark Adler 已提交
406 407 408 409 410 411 412 413
    }
}

/* ========================================================================= */
int deflate (strm, flush)
    z_stream *strm;
    int flush;
{
M
Mark Adler 已提交
414
    int old_flush; /* value of flush param for previous deflate call */
M
Mark Adler 已提交
415
    deflate_state *s;
M
Mark Adler 已提交
416

M
Mark Adler 已提交
417 418
    if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
    
M
Mark Adler 已提交
419 420
    s = strm->state;

M
Mark Adler 已提交
421
    if (strm->next_out == Z_NULL ||
M
Mark Adler 已提交
422
        (strm->next_in == Z_NULL && strm->avail_in != 0) ||
M
Mark Adler 已提交
423
	(s->status == FINISH_STATE && flush != Z_FINISH)) {
M
Mark Adler 已提交
424
        ERR_RETURN(strm, Z_STREAM_ERROR);
M
Mark Adler 已提交
425 426 427
    }
    if (strm->avail_out == 0) ERR_RETURN(strm, Z_BUF_ERROR);

M
Mark Adler 已提交
428 429 430
    s->strm = strm; /* just in case */
    old_flush = s->last_flush;
    s->last_flush = flush;
M
Mark Adler 已提交
431 432

    /* Write the zlib header */
M
Mark Adler 已提交
433
    if (s->status == INIT_STATE) {
M
Mark Adler 已提交
434

M
Mark Adler 已提交
435 436
        uInt header = (Z_DEFLATED + ((s->w_bits-8)<<4)) << 8;
        uInt level_flags = (s->level-1) >> 1;
M
Mark Adler 已提交
437

M
Mark Adler 已提交
438 439
        if (level_flags > 3) level_flags = 3;
        header |= (level_flags << 6);
M
Mark Adler 已提交
440
	if (s->strstart != 0) header |= PRESET_DICT;
M
Mark Adler 已提交
441
        header += 31 - (header % 31);
M
Mark Adler 已提交
442

M
Mark Adler 已提交
443 444 445 446 447 448 449 450 451
        s->status = BUSY_STATE;
        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 = 1L;
	}
M
Mark Adler 已提交
452 453 454
    }

    /* Flush as much pending output as possible */
M
Mark Adler 已提交
455
    if (s->pending != 0) {
M
Mark Adler 已提交
456 457
        flush_pending(strm);
        if (strm->avail_out == 0) return Z_OK;
M
Mark Adler 已提交
458 459 460 461 462 463 464 465

    /* 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_BUFF_ERROR.
     */
    } else if (strm->avail_in == 0 && flush <= old_flush &&
	       flush != Z_FINISH) {
        ERR_RETURN(strm, Z_BUF_ERROR);
M
Mark Adler 已提交
466 467 468
    }

    /* User must not provide more input after the first FINISH: */
M
Mark Adler 已提交
469
    if (s->status == FINISH_STATE && strm->avail_in != 0) {
M
Mark Adler 已提交
470
        ERR_RETURN(strm, Z_BUF_ERROR);
M
Mark Adler 已提交
471 472 473 474
    }

    /* Start a new block or continue the current one.
     */
M
Mark Adler 已提交
475 476
    if (strm->avail_in != 0 || s->lookahead != 0 ||
        (flush != Z_NO_FLUSH && s->status != FINISH_STATE)) {
M
Mark Adler 已提交
477
        int quit;
M
Mark Adler 已提交
478

M
Mark Adler 已提交
479
        if (flush == Z_FINISH) {
M
Mark Adler 已提交
480
            s->status = FINISH_STATE;
M
Mark Adler 已提交
481
        }
M
Mark Adler 已提交
482
	quit = (*(configuration_table[s->level].func))(s, flush);
M
Mark Adler 已提交
483

M
Mark Adler 已提交
484 485 486 487 488 489 490 491
        if (quit || strm->avail_out == 0) 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 已提交
492
        if (flush != Z_NO_FLUSH && flush != Z_FINISH) {
M
Mark Adler 已提交
493
            if (flush == Z_PARTIAL_FLUSH) {
M
Mark Adler 已提交
494
                _tr_align(s);
M
Mark Adler 已提交
495
            } else { /* FULL_FLUSH or SYNC_FLUSH */
M
Mark Adler 已提交
496
                _tr_stored_block(s, (char*)0, 0L, 0);
M
Mark Adler 已提交
497 498 499 500
                /* 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 已提交
501
                    CLEAR_HASH(s);             /* forget history */
M
Mark Adler 已提交
502 503
                }
            }
M
Mark Adler 已提交
504
            flush_pending(strm);
M
Mark Adler 已提交
505
            if (strm->avail_out == 0) return Z_OK;
M
Mark Adler 已提交
506
        }
M
Mark Adler 已提交
507 508 509
    }
    Assert(strm->avail_out > 0, "bug2");

M
Mark Adler 已提交
510
    if (flush != Z_FINISH) return Z_OK;
M
Mark Adler 已提交
511
    if (s->noheader) return Z_STREAM_END;
M
Mark Adler 已提交
512 513

    /* Write the zlib trailer (adler32) */
M
Mark Adler 已提交
514 515
    putShortMSB(s, (uInt)(strm->adler >> 16));
    putShortMSB(s, (uInt)(strm->adler & 0xffff));
M
Mark Adler 已提交
516 517 518 519
    flush_pending(strm);
    /* If avail_out is zero, the application will call deflate again
     * to flush the rest.
     */
M
Mark Adler 已提交
520 521
    s->noheader = -1; /* write the trailer only once! */
    return s->pending != 0 ? Z_OK : Z_STREAM_END;
M
Mark Adler 已提交
522 523 524 525 526 527
}

/* ========================================================================= */
int deflateEnd (strm)
    z_stream *strm;
{
M
Mark Adler 已提交
528 529
    int status;

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

M
Mark Adler 已提交
532
    /* Deallocate in reverse order of allocations: */
M
Mark Adler 已提交
533
    TRY_FREE(strm, strm->state->pending_buf);
M
Mark Adler 已提交
534 535 536
    TRY_FREE(strm, strm->state->head);
    TRY_FREE(strm, strm->state->prev);
    TRY_FREE(strm, strm->state->window);
M
Mark Adler 已提交
537

M
Mark Adler 已提交
538
    status = strm->state->status;
M
Mark Adler 已提交
539 540 541
    ZFREE(strm, strm->state);
    strm->state = Z_NULL;

M
Mark Adler 已提交
542
    return status == BUSY_STATE ? Z_DATA_ERROR : Z_OK;
M
Mark Adler 已提交
543 544 545 546 547 548 549 550
}

/* ========================================================================= */
int deflateCopy (dest, source)
    z_stream *dest;
    z_stream *source;
{
    if (source == Z_NULL || dest == Z_NULL || source->state == Z_NULL) {
M
Mark Adler 已提交
551
        return Z_STREAM_ERROR;
M
Mark Adler 已提交
552 553 554 555
    }
    *dest = *source;
    return Z_STREAM_ERROR; /* to be implemented */
#if 0
M
Mark Adler 已提交
556
    dest->state = (struct internal_state FAR *)
M
Mark Adler 已提交
557
        (*dest->zalloc)(1, sizeof(deflate_state));
M
Mark Adler 已提交
558 559 560 561 562 563 564 565 566
    if (dest->state == Z_NULL) return Z_MEM_ERROR;

    *(dest->state) = *(source->state);
    return Z_OK;
#endif
}

/* ===========================================================================
 * Read a new buffer from the current input stream, update the adler32
M
Mark Adler 已提交
567 568 569 570
 * 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 已提交
571 572 573
 */
local int read_buf(strm, buf, size)
    z_stream *strm;
M
Mark Adler 已提交
574
    charf *buf;
M
Mark Adler 已提交
575 576 577 578 579 580 581 582 583 584
    unsigned size;
{
    unsigned len = strm->avail_in;

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

    strm->avail_in  -= len;

    if (!strm->state->noheader) {
M
Mark Adler 已提交
585
        strm->adler = adler32(strm->adler, strm->next_in, len);
M
Mark Adler 已提交
586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601
    }
    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 已提交
602
    CLEAR_HASH(s);
M
Mark Adler 已提交
603 604 605 606 607 608 609 610 611 612 613

    /* 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 已提交
614
    s->match_length = s->prev_length = MIN_MATCH-1;
M
Mark Adler 已提交
615
    s->match_available = 0;
M
Mark Adler 已提交
616
    s->ins_h = 0;
M
Mark Adler 已提交
617 618 619 620 621 622 623 624 625 626 627 628
#ifdef ASMV
    match_init(); /* initialize the asm code */
#endif
}

/* ===========================================================================
 * 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 已提交
629
 * OUT assertion: the match length is not greater than s->lookahead.
M
Mark Adler 已提交
630 631 632 633 634
 */
#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 已提交
635
local uInt longest_match(s, cur_match)
M
Mark Adler 已提交
636 637 638 639
    deflate_state *s;
    IPos cur_match;                             /* current match */
{
    unsigned chain_length = s->max_chain_length;/* max hash chain length */
M
Mark Adler 已提交
640 641
    register Bytef *scan = s->window + s->strstart; /* current string */
    register Bytef *match;                       /* matched string */
M
Mark Adler 已提交
642 643
    register int len;                           /* length of current match */
    int best_len = s->prev_length;              /* best match length so far */
M
Mark Adler 已提交
644
    int nice_match = s->nice_match;             /* stop if match long enough */
M
Mark Adler 已提交
645
    IPos limit = s->strstart > (IPos)MAX_DIST(s) ?
M
Mark Adler 已提交
646
        s->strstart - (IPos)MAX_DIST(s) : NIL;
M
Mark Adler 已提交
647 648 649
    /* Stop when cur_match becomes <= limit. To simplify the code,
     * we prevent matches with the string of window index 0.
     */
M
Mark Adler 已提交
650
    Posf *prev = s->prev;
M
Mark Adler 已提交
651
    uInt wmask = s->w_mask;
M
Mark Adler 已提交
652 653 654 655 656

#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 已提交
657
    register Bytef *strend = s->window + s->strstart + MAX_MATCH - 1;
M
Mark Adler 已提交
658 659
    register ush scan_start = *(ushf*)scan;
    register ush scan_end   = *(ushf*)(scan+best_len-1);
M
Mark Adler 已提交
660
#else
M
Mark Adler 已提交
661
    register Bytef *strend = s->window + s->strstart + MAX_MATCH;
M
Mark Adler 已提交
662 663 664 665 666 667 668 669 670 671 672 673 674
    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 已提交
675 676 677 678 679
    /* 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 已提交
680
    Assert((ulg)s->strstart <= s->window_size-MIN_LOOKAHEAD, "need lookahead");
M
Mark Adler 已提交
681 682 683 684 685 686 687 688 689 690 691 692

    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 已提交
693 694
        if (*(ushf*)(match+best_len-1) != scan_end ||
            *(ushf*)match != scan_start) continue;
M
Mark Adler 已提交
695 696 697 698 699 700 701 702 703 704

        /* 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 已提交
705
        Assert(scan[2] == match[2], "scan[2]?");
M
Mark Adler 已提交
706 707
        scan++, match++;
        do {
M
Mark Adler 已提交
708 709 710 711
        } 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 已提交
712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735
                 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 已提交
736
        Assert(*scan == *match, "match[2]?");
M
Mark Adler 已提交
737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757

        /* 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 已提交
758
            if (len >= nice_match) break;
M
Mark Adler 已提交
759
#ifdef UNALIGNED_OK
M
Mark Adler 已提交
760
            scan_end = *(ushf*)(scan+best_len-1);
M
Mark Adler 已提交
761 762 763 764 765
#else
            scan_end1  = scan[best_len-1];
            scan_end   = scan[best_len];
#endif
        }
M
Mark Adler 已提交
766
    } while ((cur_match = prev[cur_match & wmask]) > limit
M
Mark Adler 已提交
767 768
             && --chain_length != 0);

M
Mark Adler 已提交
769 770
    if ((uInt)best_len <= s->lookahead) return best_len;
    return s->lookahead;
M
Mark Adler 已提交
771 772 773 774 775 776 777 778 779 780 781 782 783
}
#endif /* ASMV */

#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 已提交
784
    if (zmemcmp((charf *)s->window + match,
M
Mark Adler 已提交
785
                (charf *)s->window + start, length) != EQUAL) {
M
Mark Adler 已提交
786 787 788 789 790
        fprintf(stderr, " start %u, match %u, length %d\n",
		start, match, length);
        do {
	    fprintf(stderr, "%c%c", s->window[match++], s->window[start++]);
	} while (--length != 0);
M
Mark Adler 已提交
791 792 793
        z_error("invalid match");
    }
    if (verbose > 1) {
M
Mark Adler 已提交
794 795
        fprintf(stderr,"\\[%d,%d]", start-match, length);
        do { putc(s->window[start++], stderr); } while (--length != 0);
M
Mark Adler 已提交
796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815
    }
}
#else
#  define check_match(s, start, match, length)
#endif

/* ===========================================================================
 * 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 已提交
816
    register Posf *p;
M
Mark Adler 已提交
817
    unsigned more;    /* Amount of free space at the end of the window. */
M
Mark Adler 已提交
818
    uInt wsize = s->w_size;
M
Mark Adler 已提交
819 820

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

M
Mark Adler 已提交
823 824 825
        /* Deal with !@#$% 64K limit: */
        if (more == 0 && s->strstart == 0 && s->lookahead == 0) {
            more = wsize;
M
Mark Adler 已提交
826

M
Mark Adler 已提交
827 828 829 830 831 832 833 834 835
        } else if (more == (unsigned)(-1)) {
            /* Very unlikely, but possible on 16 bit machine if strstart == 0
             * and lookahead == 1 (input done one byte at time)
             */
            more--;

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

M
Mark Adler 已提交
838
            zmemcpy((charf *)s->window, (charf *)s->window+wsize,
M
Mark Adler 已提交
839 840 841
                   (unsigned)wsize);
            s->match_start -= wsize;
            s->strstart    -= wsize; /* we now have strstart >= MAX_DIST */
M
Mark Adler 已提交
842

M
Mark Adler 已提交
843
            s->block_start -= (long) wsize;
M
Mark Adler 已提交
844

M
Mark Adler 已提交
845 846 847 848
            /* Slide the hash table (could be avoided with 32 bit values
               at the expense of memory usage):
             */
            n = s->hash_size;
M
Mark Adler 已提交
849
            p = &s->head[n];
M
Mark Adler 已提交
850
            do {
M
Mark Adler 已提交
851 852
                m = *--p;
                *p = (Pos)(m >= wsize ? m-wsize : NIL);
M
Mark Adler 已提交
853 854 855
            } while (--n);

            n = wsize;
M
Mark Adler 已提交
856
            p = &s->prev[n];
M
Mark Adler 已提交
857
            do {
M
Mark Adler 已提交
858 859
                m = *--p;
                *p = (Pos)(m >= wsize ? m-wsize : NIL);
M
Mark Adler 已提交
860 861 862
                /* If n is not on any hash chain, prev[n] is garbage but
                 * its value will never be used.
                 */
M
Mark Adler 已提交
863 864 865
            } while (--n);

            more += wsize;
M
Mark Adler 已提交
866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881
        }
        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 已提交
882
        n = read_buf(s->strm, (charf *)s->window + s->strstart + s->lookahead,
M
Mark Adler 已提交
883 884
                     more);
        s->lookahead += n;
M
Mark Adler 已提交
885

M
Mark Adler 已提交
886
        /* Initialize the hash value now that we have some input: */
M
Mark Adler 已提交
887 888 889 890 891 892
        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 已提交
893 894 895 896 897
        }
        /* 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 已提交
898 899 900 901 902 903 904 905
    } 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 已提交
906 907 908 909 910
   _tr_flush_block(s, (s->block_start >= 0L ? \
                   (charf *)&s->window[(unsigned)s->block_start] : \
                   (charf *)Z_NULL), \
		(ulg)((long)s->strstart - s->block_start), \
		(eof)); \
M
Mark Adler 已提交
911 912
   s->block_start = s->strstart; \
   flush_pending(s->strm); \
M
Mark Adler 已提交
913
   Tracev((stderr,"[FLUSH]")); \
M
Mark Adler 已提交
914 915 916 917 918 919 920 921
}

/* Same but force premature exit if necessary. */
#define FLUSH_BLOCK(s, eof) { \
   FLUSH_BLOCK_ONLY(s, eof); \
   if (s->strm->avail_out == 0) return 1; \
}

M
Mark Adler 已提交
922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951
/* ===========================================================================
 * Copy without compression as much as possible from the input stream, return
 * true if processing was terminated prematurely (no more input or output
 * space).  This function does not insert new strings in the dictionary
 * since uncompressible data is probably not useful. This function is used
 * only for the level=0 compression option.
 * NOTE: this function should be optimized to avoid extra copying.
 */
local int deflate_stored(s, flush)
    deflate_state *s;
    int flush;
{
    for (;;) {
        /* Fill the window as much as possible: */
        if (s->lookahead <= 1) {

            Assert(s->strstart < s->w_size+MAX_DIST(s) ||
		   s->block_start >= (long)s->w_size, "slide too late");

            fill_window(s);
            if (s->lookahead == 0 && flush == Z_NO_FLUSH) return 1;

            if (s->lookahead == 0) break; /* flush the current block */
        }
	Assert(s->block_start >= 0L, "block gone");

	s->strstart += s->lookahead;
	s->lookahead = 0;

        /* Stored blocks are limited to 0xffff bytes: */
M
Mark Adler 已提交
952
        if (s->strstart == 0 || s->strstart > 0xfffe) {
M
Mark Adler 已提交
953 954 955 956 957 958 959 960 961 962 963 964 965 966
	    /* strstart == 0 is possible when wraparound on 16-bit machine */
	    s->lookahead = s->strstart - 0xffff;
	    s->strstart = 0xffff;
	}

	/* Emit a stored block if it is large enough: */
        if (s->strstart - (uInt)s->block_start >= MAX_DIST(s)) {
            FLUSH_BLOCK(s, 0);
	}
    }
    FLUSH_BLOCK(s, flush == Z_FINISH);
    return 0; /* normal exit */
}

M
Mark Adler 已提交
967 968 969
/* ===========================================================================
 * Compress as much as possible from the input stream, return true if
 * processing was terminated prematurely (no more input or output space).
M
Mark Adler 已提交
970
 * This function does not perform lazy evaluation of matches and inserts
M
Mark Adler 已提交
971 972 973 974 975 976 977
 * new strings in the dictionary only for unmatched strings or for short
 * matches. It is used only for the fast compression options.
 */
local int deflate_fast(s, flush)
    deflate_state *s;
    int flush;
{
M
Mark Adler 已提交
978 979
    IPos hash_head = NIL; /* head of the hash chain */
    int bflush;           /* set if current block must be flushed */
M
Mark Adler 已提交
980 981 982 983 984 985 986 987

    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 已提交
988 989
            fill_window(s);
            if (s->lookahead < MIN_LOOKAHEAD && flush == Z_NO_FLUSH) return 1;
M
Mark Adler 已提交
990

M
Mark Adler 已提交
991 992
            if (s->lookahead == 0) break; /* flush the current block */
        }
M
Mark Adler 已提交
993 994 995 996

        /* Insert the string window[strstart .. strstart+2] in the
         * dictionary, and set hash_head to the head of the hash chain:
         */
M
Mark Adler 已提交
997 998 999
        if (s->lookahead >= MIN_MATCH) {
            INSERT_STRING(s, s->strstart, hash_head);
        }
M
Mark Adler 已提交
1000 1001 1002 1003 1004 1005 1006 1007 1008

        /* 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 已提交
1009 1010 1011
            if (s->strategy != Z_HUFFMAN_ONLY) {
                s->match_length = longest_match (s, hash_head);
            }
M
Mark Adler 已提交
1012 1013 1014 1015 1016
            /* longest_match() sets match_start */
        }
        if (s->match_length >= MIN_MATCH) {
            check_match(s, s->strstart, s->match_start, s->match_length);

M
Mark Adler 已提交
1017 1018
            bflush = _tr_tally(s, s->strstart - s->match_start,
                               s->match_length - MIN_MATCH);
M
Mark Adler 已提交
1019 1020 1021 1022 1023 1024

            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 已提交
1025 1026
            if (s->match_length <= s->max_insert_length &&
                s->lookahead >= MIN_MATCH) {
M
Mark Adler 已提交
1027 1028 1029 1030 1031
                s->match_length--; /* string at strstart already in hash table */
                do {
                    s->strstart++;
                    INSERT_STRING(s, s->strstart, hash_head);
                    /* strstart never exceeds WSIZE-MAX_MATCH, so there are
M
Mark Adler 已提交
1032
                     * always MIN_MATCH bytes ahead.
M
Mark Adler 已提交
1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043
                     */
                } while (--s->match_length != 0);
                s->strstart++; 
            } else {
                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 已提交
1044 1045 1046
                /* 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 已提交
1047 1048 1049 1050
            }
        } else {
            /* No match, output a literal byte */
            Tracevv((stderr,"%c", s->window[s->strstart]));
M
Mark Adler 已提交
1051
            bflush = _tr_tally (s, 0, s->window[s->strstart]);
M
Mark Adler 已提交
1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069
            s->lookahead--;
            s->strstart++; 
        }
        if (bflush) FLUSH_BLOCK(s, 0);
    }
    FLUSH_BLOCK(s, flush == Z_FINISH);
    return 0; /* normal exit */
}

/* ===========================================================================
 * 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.
 */
local int deflate_slow(s, flush)
    deflate_state *s;
    int flush;
{
M
Mark Adler 已提交
1070
    IPos hash_head = NIL;    /* head of hash chain */
M
Mark Adler 已提交
1071 1072 1073 1074 1075 1076 1077 1078 1079 1080
    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 已提交
1081 1082
            fill_window(s);
            if (s->lookahead < MIN_LOOKAHEAD && flush == Z_NO_FLUSH) return 1;
M
Mark Adler 已提交
1083

M
Mark Adler 已提交
1084 1085
            if (s->lookahead == 0) break; /* flush the current block */
        }
M
Mark Adler 已提交
1086 1087 1088 1089

        /* Insert the string window[strstart .. strstart+2] in the
         * dictionary, and set hash_head to the head of the hash chain:
         */
M
Mark Adler 已提交
1090 1091 1092
        if (s->lookahead >= MIN_MATCH) {
            INSERT_STRING(s, s->strstart, hash_head);
        }
M
Mark Adler 已提交
1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104

        /* 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 已提交
1105 1106 1107
            if (s->strategy != Z_HUFFMAN_ONLY) {
                s->match_length = longest_match (s, hash_head);
            }
M
Mark Adler 已提交
1108 1109 1110
            /* longest_match() sets match_start */

            if (s->match_length <= 5 && (s->strategy == Z_FILTERED ||
M
Mark Adler 已提交
1111 1112
                 (s->match_length == MIN_MATCH &&
                  s->strstart - s->match_start > TOO_FAR))) {
M
Mark Adler 已提交
1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123

                /* 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 已提交
1124 1125
            uInt max_insert = s->strstart + s->lookahead - MIN_MATCH;
            /* Do not insert strings in hash table beyond this. */
M
Mark Adler 已提交
1126 1127 1128

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

M
Mark Adler 已提交
1129 1130
            bflush = _tr_tally(s, s->strstart -1 - s->prev_match,
                               s->prev_length - MIN_MATCH);
M
Mark Adler 已提交
1131 1132

            /* Insert in hash table all strings up to the end of the match.
M
Mark Adler 已提交
1133 1134 1135
             * 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 已提交
1136 1137 1138 1139
             */
            s->lookahead -= s->prev_length-1;
            s->prev_length -= 2;
            do {
M
Mark Adler 已提交
1140 1141 1142
                if (++s->strstart <= max_insert) {
                    INSERT_STRING(s, s->strstart, hash_head);
                }
M
Mark Adler 已提交
1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155
            } 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 已提交
1156
            if (_tr_tally (s, 0, s->window[s->strstart-1])) {
M
Mark Adler 已提交
1157
                FLUSH_BLOCK_ONLY(s, 0);
M
Mark Adler 已提交
1158 1159 1160
            }
            s->strstart++;
            s->lookahead--;
M
Mark Adler 已提交
1161
            if (s->strm->avail_out == 0) return 1;
M
Mark Adler 已提交
1162 1163 1164 1165 1166 1167 1168 1169 1170
        } 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 已提交
1171
    Assert (flush != Z_NO_FLUSH, "no flush?");
M
Mark Adler 已提交
1172
    if (s->match_available) {
M
Mark Adler 已提交
1173
        Tracevv((stderr,"%c", s->window[s->strstart-1]));
M
Mark Adler 已提交
1174
        _tr_tally (s, 0, s->window[s->strstart-1]);
M
Mark Adler 已提交
1175
        s->match_available = 0;
M
Mark Adler 已提交
1176
    }
M
Mark Adler 已提交
1177 1178 1179
    FLUSH_BLOCK(s, flush == Z_FINISH);
    return 0;
}
M
Mark Adler 已提交
1180