deflate.c 45.3 KB
Newer Older
M
Mark Adler 已提交
1
/* deflate.c -- compress data using the deflation algorithm
M
Mark Adler 已提交
2
 * Copyright (C) 1995-1998 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
 * 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
 *
M
Mark Adler 已提交
39 40
 *      Deutsch, L.P.,"DEFLATE Compressed Data Format Specification".
 *      Available in ftp://ds.internic.net/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.0.9 Copyright 1995-1998 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 79
local block_state deflate_stored OF((deflate_state *s, int flush));
local block_state deflate_fast   OF((deflate_state *s, int flush));
local block_state deflate_slow   OF((deflate_state *s, int flush));
M
Mark Adler 已提交
80 81
local void lm_init        OF((deflate_state *s));
local void putShortMSB    OF((deflate_state *s, uInt b));
M
Mark Adler 已提交
82
local void flush_pending  OF((z_streamp strm));
M
Mark Adler 已提交
83
local int read_buf        OF((z_streamp strm, Bytef *buf, unsigned size));
M
Mark Adler 已提交
84 85
#ifdef ASMV
      void match_init OF((void)); /* asm code initialization */
M
Mark Adler 已提交
86 87 88
      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 已提交
89 90 91 92 93 94 95 96 97 98 99
#endif

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

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

M
Mark Adler 已提交
100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122
#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 已提交
123
   compress_func func;
M
Mark Adler 已提交
124 125
} config;

M
Mark Adler 已提交
126
local const config configuration_table[10] = {
M
Mark Adler 已提交
127
/*      good lazy nice chain */
M
Mark Adler 已提交
128 129 130 131 132 133 134 135 136 137 138
/* 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 已提交
139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157

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

M
Mark Adler 已提交
159 160 161 162 163 164 165 166 167
/* ===========================================================================
 * 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 已提交
168
   (UPDATE_HASH(s, s->ins_h, s->window[(str) + (MIN_MATCH-1)]), \
M
Mark Adler 已提交
169
    s->prev[(str) & s->w_mask] = match_head = s->head[s->ins_h], \
M
Mark Adler 已提交
170
    s->head[s->ins_h] = (Pos)(str))
M
Mark Adler 已提交
171

M
Mark Adler 已提交
172 173 174 175 176 177
/* ===========================================================================
 * 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 已提交
178
    zmemzero((Bytef *)s->head, (unsigned)(s->hash_size-1)*sizeof(*s->head));
M
Mark Adler 已提交
179

M
Mark Adler 已提交
180
/* ========================================================================= */
M
Mark Adler 已提交
181
int ZEXPORT deflateInit_(strm, level, version, stream_size)
M
Mark Adler 已提交
182
    z_streamp strm;
M
Mark Adler 已提交
183
    int level;
M
Mark Adler 已提交
184 185
    const char *version;
    int stream_size;
M
Mark Adler 已提交
186
{
M
Mark Adler 已提交
187 188
    return deflateInit2_(strm, level, Z_DEFLATED, MAX_WBITS, DEF_MEM_LEVEL,
			 Z_DEFAULT_STRATEGY, version, stream_size);
M
Mark Adler 已提交
189 190 191 192
    /* To do: ignore strm->next_in if we use it as window */
}

/* ========================================================================= */
M
Mark Adler 已提交
193
int ZEXPORT deflateInit2_(strm, level, method, windowBits, memLevel, strategy,
M
Mark Adler 已提交
194
		  version, stream_size)
M
Mark Adler 已提交
195
    z_streamp strm;
M
Mark Adler 已提交
196 197 198 199 200
    int  level;
    int  method;
    int  windowBits;
    int  memLevel;
    int  strategy;
M
Mark Adler 已提交
201 202
    const char *version;
    int stream_size;
M
Mark Adler 已提交
203 204 205
{
    deflate_state *s;
    int noheader = 0;
M
Mark Adler 已提交
206
    static const char* my_version = ZLIB_VERSION;
M
Mark Adler 已提交
207

M
Mark Adler 已提交
208 209 210 211 212
    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 已提交
213
    if (version == Z_NULL || version[0] != my_version[0] ||
M
Mark Adler 已提交
214 215 216
        stream_size != sizeof(z_stream)) {
	return Z_VERSION_ERROR;
    }
M
Mark Adler 已提交
217 218 219
    if (strm == Z_NULL) return Z_STREAM_ERROR;

    strm->msg = Z_NULL;
M
Mark Adler 已提交
220 221 222 223
    if (strm->zalloc == Z_NULL) {
	strm->zalloc = zcalloc;
	strm->opaque = (voidpf)0;
    }
M
Mark Adler 已提交
224 225 226 227 228
    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 已提交
229 230
        noheader = 1;
        windowBits = -windowBits;
M
Mark Adler 已提交
231
    }
M
Mark Adler 已提交
232 233 234
    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 已提交
235
        return Z_STREAM_ERROR;
M
Mark Adler 已提交
236 237 238
    }
    s = (deflate_state *) ZALLOC(strm, 1, sizeof(deflate_state));
    if (s == Z_NULL) return Z_MEM_ERROR;
M
Mark Adler 已提交
239
    strm->state = (struct internal_state FAR *)s;
M
Mark Adler 已提交
240 241 242 243 244
    s->strm = strm;

    s->noheader = noheader;
    s->w_bits = windowBits;
    s->w_size = 1 << s->w_bits;
M
Mark Adler 已提交
245
    s->w_mask = s->w_size - 1;
M
Mark Adler 已提交
246 247 248

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

M
Mark Adler 已提交
252 253 254
    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 已提交
255 256 257

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

M
Mark Adler 已提交
258 259
    overlay = (ushf *) ZALLOC(strm, s->lit_bufsize, sizeof(ush)+2);
    s->pending_buf = (uchf *) overlay;
M
Mark Adler 已提交
260
    s->pending_buf_size = (ulg)s->lit_bufsize * (sizeof(ush)+2L);
M
Mark Adler 已提交
261 262

    if (s->window == Z_NULL || s->prev == Z_NULL || s->head == Z_NULL ||
M
Mark Adler 已提交
263
        s->pending_buf == Z_NULL) {
M
Mark Adler 已提交
264
        strm->msg = (char*)ERR_MSG(Z_MEM_ERROR);
M
Mark Adler 已提交
265 266
        deflateEnd (strm);
        return Z_MEM_ERROR;
M
Mark Adler 已提交
267
    }
M
Mark Adler 已提交
268 269
    s->d_buf = overlay + s->lit_bufsize/sizeof(ush);
    s->l_buf = s->pending_buf + (1+sizeof(ush))*s->lit_bufsize;
M
Mark Adler 已提交
270 271 272

    s->level = level;
    s->strategy = strategy;
M
Mark Adler 已提交
273
    s->method = (Byte)method;
M
Mark Adler 已提交
274 275 276 277

    return deflateReset(strm);
}

M
Mark Adler 已提交
278
/* ========================================================================= */
M
Mark Adler 已提交
279
int ZEXPORT deflateSetDictionary (strm, dictionary, dictLength)
M
Mark Adler 已提交
280
    z_streamp strm;
M
Mark Adler 已提交
281 282
    const Bytef *dictionary;
    uInt  dictLength;
M
Mark Adler 已提交
283
{
M
Mark Adler 已提交
284 285 286 287
    deflate_state *s;
    uInt length = dictLength;
    uInt n;
    IPos hash_head = 0;
M
Mark Adler 已提交
288

M
Mark Adler 已提交
289 290
    if (strm == Z_NULL || strm->state == Z_NULL || dictionary == Z_NULL ||
        strm->state->status != INIT_STATE) return Z_STREAM_ERROR;
M
Mark Adler 已提交
291

M
Mark Adler 已提交
292 293
    s = strm->state;
    strm->adler = adler32(strm->adler, dictionary, dictLength);
M
Mark Adler 已提交
294

M
Mark Adler 已提交
295 296 297
    if (length < MIN_MATCH) return Z_OK;
    if (length > MAX_DIST(s)) {
	length = MAX_DIST(s);
M
Mark Adler 已提交
298 299 300
#ifndef USE_DICT_HEAD
	dictionary += dictLength - length; /* use the tail of the dictionary */
#endif
M
Mark Adler 已提交
301
    }
M
Mark Adler 已提交
302
    zmemcpy(s->window, dictionary, length);
M
Mark Adler 已提交
303 304 305 306 307 308 309 310 311 312 313 314 315
    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 已提交
316 317 318
    return Z_OK;
}

M
Mark Adler 已提交
319
/* ========================================================================= */
M
Mark Adler 已提交
320
int ZEXPORT deflateReset (strm)
M
Mark Adler 已提交
321
    z_streamp strm;
M
Mark Adler 已提交
322 323 324 325
{
    deflate_state *s;
    
    if (strm == Z_NULL || strm->state == Z_NULL ||
M
Mark Adler 已提交
326
        strm->zalloc == Z_NULL || strm->zfree == Z_NULL) return Z_STREAM_ERROR;
M
Mark Adler 已提交
327 328 329 330 331 332 333 334 335

    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 已提交
336 337 338
    if (s->noheader < 0) {
        s->noheader = 0; /* was set to -1 by deflate(..., Z_FINISH); */
    }
M
Mark Adler 已提交
339
    s->status = s->noheader ? BUSY_STATE : INIT_STATE;
M
Mark Adler 已提交
340
    strm->adler = 1;
M
Mark Adler 已提交
341
    s->last_flush = Z_NO_FLUSH;
M
Mark Adler 已提交
342

M
Mark Adler 已提交
343
    _tr_init(s);
M
Mark Adler 已提交
344 345 346 347 348
    lm_init(s);

    return Z_OK;
}

M
Mark Adler 已提交
349
/* ========================================================================= */
M
Mark Adler 已提交
350
int ZEXPORT deflateParams(strm, level, strategy)
M
Mark Adler 已提交
351
    z_streamp strm;
M
Mark Adler 已提交
352 353 354 355 356
    int level;
    int strategy;
{
    deflate_state *s;
    compress_func func;
M
Mark Adler 已提交
357
    int err = Z_OK;
M
Mark Adler 已提交
358 359 360 361 362 363 364 365 366 367 368 369

    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 已提交
370
    if (func != configuration_table[level].func && strm->total_in != 0) {
M
Mark Adler 已提交
371
	/* Flush the last buffer: */
M
Mark Adler 已提交
372
	err = deflate(strm, Z_PARTIAL_FLUSH);
M
Mark Adler 已提交
373 374 375 376 377 378 379 380 381
    }
    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 已提交
382
    return err;
M
Mark Adler 已提交
383 384
}

M
Mark Adler 已提交
385
/* =========================================================================
M
Mark Adler 已提交
386
 * Put a short in the pending buffer. The 16-bit value is put in MSB order.
M
Mark Adler 已提交
387
 * IN assertion: the stream state is correct and there is enough room in
M
Mark Adler 已提交
388
 * pending_buf.
M
Mark Adler 已提交
389 390 391 392 393
 */
local void putShortMSB (s, b)
    deflate_state *s;
    uInt b;
{
M
Mark Adler 已提交
394 395
    put_byte(s, (Byte)(b >> 8));
    put_byte(s, (Byte)(b & 0xff));
M
Mark Adler 已提交
396 397 398
}   

/* =========================================================================
M
Mark Adler 已提交
399 400 401 402
 * 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 已提交
403 404
 */
local void flush_pending(strm)
M
Mark Adler 已提交
405
    z_streamp strm;
M
Mark Adler 已提交
406 407 408 409 410 411 412 413 414 415 416 417 418
{
    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 已提交
419
        strm->state->pending_out = strm->state->pending_buf;
M
Mark Adler 已提交
420 421 422 423
    }
}

/* ========================================================================= */
M
Mark Adler 已提交
424
int ZEXPORT deflate (strm, flush)
M
Mark Adler 已提交
425
    z_streamp strm;
M
Mark Adler 已提交
426 427
    int flush;
{
M
Mark Adler 已提交
428
    int old_flush; /* value of flush param for previous deflate call */
M
Mark Adler 已提交
429
    deflate_state *s;
M
Mark Adler 已提交
430

M
Mark Adler 已提交
431 432 433 434
    if (strm == Z_NULL || strm->state == Z_NULL ||
	flush > Z_FINISH || flush < 0) {
        return Z_STREAM_ERROR;
    }
M
Mark Adler 已提交
435 436
    s = strm->state;

M
Mark Adler 已提交
437
    if (strm->next_out == Z_NULL ||
M
Mark Adler 已提交
438
        (strm->next_in == Z_NULL && strm->avail_in != 0) ||
M
Mark Adler 已提交
439
	(s->status == FINISH_STATE && flush != Z_FINISH)) {
M
Mark Adler 已提交
440
        ERR_RETURN(strm, Z_STREAM_ERROR);
M
Mark Adler 已提交
441 442 443
    }
    if (strm->avail_out == 0) ERR_RETURN(strm, Z_BUF_ERROR);

M
Mark Adler 已提交
444 445 446
    s->strm = strm; /* just in case */
    old_flush = s->last_flush;
    s->last_flush = flush;
M
Mark Adler 已提交
447 448

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

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

M
Mark Adler 已提交
454 455
        if (level_flags > 3) level_flags = 3;
        header |= (level_flags << 6);
M
Mark Adler 已提交
456
	if (s->strstart != 0) header |= PRESET_DICT;
M
Mark Adler 已提交
457
        header += 31 - (header % 31);
M
Mark Adler 已提交
458

M
Mark Adler 已提交
459 460 461 462 463 464 465 466
        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));
	}
M
Mark Adler 已提交
467
	strm->adler = 1L;
M
Mark Adler 已提交
468 469 470
    }

    /* Flush as much pending output as possible */
M
Mark Adler 已提交
471
    if (s->pending != 0) {
M
Mark Adler 已提交
472
        flush_pending(strm);
M
Mark Adler 已提交
473 474 475 476 477 478 479 480 481 482
        if (strm->avail_out == 0) {
	    /* Since avail_out is 0, deflate will be called again with
	     * more output space, but possibly with both pending and
	     * avail_in equal to zero. There won't be anything to do,
	     * but this is not an error situation so make sure we
	     * return OK instead of BUF_ERROR at next call of deflate:
             */
	    s->last_flush = -1;
	    return Z_OK;
	}
M
Mark Adler 已提交
483 484 485 486 487 488 489 490

    /* 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 已提交
491 492 493
    }

    /* User must not provide more input after the first FINISH: */
M
Mark Adler 已提交
494
    if (s->status == FINISH_STATE && strm->avail_in != 0) {
M
Mark Adler 已提交
495
        ERR_RETURN(strm, Z_BUF_ERROR);
M
Mark Adler 已提交
496 497 498 499
    }

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

M
Mark Adler 已提交
504 505 506
	bstate = (*(configuration_table[s->level].func))(s, flush);

        if (bstate == finish_started || bstate == finish_done) {
M
Mark Adler 已提交
507
            s->status = FINISH_STATE;
M
Mark Adler 已提交
508
        }
M
Mark Adler 已提交
509 510 511 512 513 514 515 516 517 518 519 520 521 522
        if (bstate == need_more || bstate == finish_started) {
	    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.
	     */
	}
        if (bstate == block_done) {
M
Mark Adler 已提交
523
            if (flush == Z_PARTIAL_FLUSH) {
M
Mark Adler 已提交
524
                _tr_align(s);
M
Mark Adler 已提交
525
            } else { /* FULL_FLUSH or SYNC_FLUSH */
M
Mark Adler 已提交
526
                _tr_stored_block(s, (char*)0, 0L, 0);
M
Mark Adler 已提交
527 528 529 530
                /* 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 已提交
531
                    CLEAR_HASH(s);             /* forget history */
M
Mark Adler 已提交
532 533
                }
            }
M
Mark Adler 已提交
534
            flush_pending(strm);
M
Mark Adler 已提交
535 536 537 538
	    if (strm->avail_out == 0) {
	      s->last_flush = -1; /* avoid BUF_ERROR at next call, see above */
	      return Z_OK;
	    }
M
Mark Adler 已提交
539
        }
M
Mark Adler 已提交
540 541 542
    }
    Assert(strm->avail_out > 0, "bug2");

M
Mark Adler 已提交
543
    if (flush != Z_FINISH) return Z_OK;
M
Mark Adler 已提交
544
    if (s->noheader) return Z_STREAM_END;
M
Mark Adler 已提交
545 546

    /* Write the zlib trailer (adler32) */
M
Mark Adler 已提交
547 548
    putShortMSB(s, (uInt)(strm->adler >> 16));
    putShortMSB(s, (uInt)(strm->adler & 0xffff));
M
Mark Adler 已提交
549 550 551 552
    flush_pending(strm);
    /* If avail_out is zero, the application will call deflate again
     * to flush the rest.
     */
M
Mark Adler 已提交
553 554
    s->noheader = -1; /* write the trailer only once! */
    return s->pending != 0 ? Z_OK : Z_STREAM_END;
M
Mark Adler 已提交
555 556 557
}

/* ========================================================================= */
M
Mark Adler 已提交
558
int ZEXPORT deflateEnd (strm)
M
Mark Adler 已提交
559
    z_streamp strm;
M
Mark Adler 已提交
560
{
M
Mark Adler 已提交
561 562
    int status;

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

M
Mark Adler 已提交
565 566 567 568 569 570
    status = strm->state->status;
    if (status != INIT_STATE && status != BUSY_STATE &&
	status != FINISH_STATE) {
      return Z_STREAM_ERROR;
    }

M
Mark Adler 已提交
571
    /* Deallocate in reverse order of allocations: */
M
Mark Adler 已提交
572
    TRY_FREE(strm, strm->state->pending_buf);
M
Mark Adler 已提交
573 574 575
    TRY_FREE(strm, strm->state->head);
    TRY_FREE(strm, strm->state->prev);
    TRY_FREE(strm, strm->state->window);
M
Mark Adler 已提交
576 577 578 579

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

M
Mark Adler 已提交
580
    return status == BUSY_STATE ? Z_DATA_ERROR : Z_OK;
M
Mark Adler 已提交
581 582
}

M
Mark Adler 已提交
583 584 585 586 587
/* =========================================================================
 * 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 已提交
588
int ZEXPORT deflateCopy (dest, source)
M
Mark Adler 已提交
589 590
    z_streamp dest;
    z_streamp source;
M
Mark Adler 已提交
591
{
M
Mark Adler 已提交
592 593 594 595 596 597 598 599 600 601
#ifdef MAXSEG_64K
    return Z_STREAM_ERROR;
#else
    deflate_state *ds;
    deflate_state *ss;
    ushf *overlay;

    ss = source->state;

    if (source == Z_NULL || dest == Z_NULL || ss == Z_NULL) {
M
Mark Adler 已提交
602
        return Z_STREAM_ERROR;
M
Mark Adler 已提交
603 604 605
    }
    *dest = *source;

M
Mark Adler 已提交
606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636
    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 已提交
637 638 639 640 641 642
    return Z_OK;
#endif
}

/* ===========================================================================
 * Read a new buffer from the current input stream, update the adler32
M
Mark Adler 已提交
643 644 645 646
 * 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 已提交
647 648
 */
local int read_buf(strm, buf, size)
M
Mark Adler 已提交
649
    z_streamp strm;
M
Mark Adler 已提交
650
    Bytef *buf;
M
Mark Adler 已提交
651 652 653 654 655 656 657 658 659 660
    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 已提交
661
        strm->adler = adler32(strm->adler, strm->next_in, len);
M
Mark Adler 已提交
662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677
    }
    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 已提交
678
    CLEAR_HASH(s);
M
Mark Adler 已提交
679 680 681 682 683 684 685 686 687 688 689

    /* 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 已提交
690
    s->match_length = s->prev_length = MIN_MATCH-1;
M
Mark Adler 已提交
691
    s->match_available = 0;
M
Mark Adler 已提交
692
    s->ins_h = 0;
M
Mark Adler 已提交
693 694 695 696 697 698 699 700 701 702 703 704
#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 已提交
705
 * OUT assertion: the match length is not greater than s->lookahead.
M
Mark Adler 已提交
706 707 708 709 710
 */
#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 已提交
711
local uInt longest_match(s, cur_match)
M
Mark Adler 已提交
712 713 714 715
    deflate_state *s;
    IPos cur_match;                             /* current match */
{
    unsigned chain_length = s->max_chain_length;/* max hash chain length */
M
Mark Adler 已提交
716 717
    register Bytef *scan = s->window + s->strstart; /* current string */
    register Bytef *match;                       /* matched string */
M
Mark Adler 已提交
718 719
    register int len;                           /* length of current match */
    int best_len = s->prev_length;              /* best match length so far */
M
Mark Adler 已提交
720
    int nice_match = s->nice_match;             /* stop if match long enough */
M
Mark Adler 已提交
721
    IPos limit = s->strstart > (IPos)MAX_DIST(s) ?
M
Mark Adler 已提交
722
        s->strstart - (IPos)MAX_DIST(s) : NIL;
M
Mark Adler 已提交
723 724 725
    /* Stop when cur_match becomes <= limit. To simplify the code,
     * we prevent matches with the string of window index 0.
     */
M
Mark Adler 已提交
726
    Posf *prev = s->prev;
M
Mark Adler 已提交
727
    uInt wmask = s->w_mask;
M
Mark Adler 已提交
728 729 730 731 732

#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 已提交
733
    register Bytef *strend = s->window + s->strstart + MAX_MATCH - 1;
M
Mark Adler 已提交
734 735
    register ush scan_start = *(ushf*)scan;
    register ush scan_end   = *(ushf*)(scan+best_len-1);
M
Mark Adler 已提交
736
#else
M
Mark Adler 已提交
737
    register Bytef *strend = s->window + s->strstart + MAX_MATCH;
M
Mark Adler 已提交
738 739 740 741 742 743 744 745 746 747 748 749 750
    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 已提交
751 752 753 754 755
    /* 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 已提交
756
    Assert((ulg)s->strstart <= s->window_size-MIN_LOOKAHEAD, "need lookahead");
M
Mark Adler 已提交
757 758 759 760 761 762 763 764 765 766 767 768

    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 已提交
769 770
        if (*(ushf*)(match+best_len-1) != scan_end ||
            *(ushf*)match != scan_start) continue;
M
Mark Adler 已提交
771 772 773 774 775 776 777 778 779 780

        /* 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 已提交
781
        Assert(scan[2] == match[2], "scan[2]?");
M
Mark Adler 已提交
782 783
        scan++, match++;
        do {
M
Mark Adler 已提交
784 785 786 787
        } 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 已提交
788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811
                 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 已提交
812
        Assert(*scan == *match, "match[2]?");
M
Mark Adler 已提交
813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833

        /* 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 已提交
834
            if (len >= nice_match) break;
M
Mark Adler 已提交
835
#ifdef UNALIGNED_OK
M
Mark Adler 已提交
836
            scan_end = *(ushf*)(scan+best_len-1);
M
Mark Adler 已提交
837 838 839 840 841
#else
            scan_end1  = scan[best_len-1];
            scan_end   = scan[best_len];
#endif
        }
M
Mark Adler 已提交
842
    } while ((cur_match = prev[cur_match & wmask]) > limit
M
Mark Adler 已提交
843 844
             && --chain_length != 0);

M
Mark Adler 已提交
845
    if ((uInt)best_len <= s->lookahead) return (uInt)best_len;
M
Mark Adler 已提交
846
    return s->lookahead;
M
Mark Adler 已提交
847 848 849 850 851 852 853 854 855 856 857 858 859
}
#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 已提交
860 861
    if (zmemcmp(s->window + match,
                s->window + start, length) != EQUAL) {
M
Mark Adler 已提交
862 863 864 865 866
        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 已提交
867 868
        z_error("invalid match");
    }
M
Mark Adler 已提交
869
    if (z_verbose > 1) {
M
Mark Adler 已提交
870 871
        fprintf(stderr,"\\[%d,%d]", start-match, length);
        do { putc(s->window[start++], stderr); } while (--length != 0);
M
Mark Adler 已提交
872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891
    }
}
#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 已提交
892
    register Posf *p;
M
Mark Adler 已提交
893
    unsigned more;    /* Amount of free space at the end of the window. */
M
Mark Adler 已提交
894
    uInt wsize = s->w_size;
M
Mark Adler 已提交
895 896

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

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

M
Mark Adler 已提交
903 904 905 906 907 908 909 910 911
        } 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 已提交
912
        } else if (s->strstart >= wsize+MAX_DIST(s)) {
M
Mark Adler 已提交
913

M
Mark Adler 已提交
914
            zmemcpy(s->window, s->window+wsize, (unsigned)wsize);
M
Mark Adler 已提交
915 916 917
            s->match_start -= wsize;
            s->strstart    -= wsize; /* we now have strstart >= MAX_DIST */
            s->block_start -= (long) wsize;
M
Mark Adler 已提交
918

M
Mark Adler 已提交
919
            /* Slide the hash table (could be avoided with 32 bit values
M
Mark Adler 已提交
920 921 922 923
               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 已提交
924
             */
M
Mark Adler 已提交
925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940
	    n = s->hash_size;
	    p = &s->head[n];
	    do {
		m = *--p;
		*p = (Pos)(m >= wsize ? m-wsize : NIL);
	    } while (--n);

	    n = wsize;
	    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 已提交
941
            more += wsize;
M
Mark Adler 已提交
942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957
        }
        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 已提交
958
        n = read_buf(s->strm, s->window + s->strstart + s->lookahead, more);
M
Mark Adler 已提交
959
        s->lookahead += n;
M
Mark Adler 已提交
960

M
Mark Adler 已提交
961
        /* Initialize the hash value now that we have some input: */
M
Mark Adler 已提交
962 963 964 965 966 967
        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 已提交
968 969 970 971 972
        }
        /* 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 已提交
973 974 975 976 977 978 979 980
    } 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 已提交
981 982 983 984 985
   _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 已提交
986 987
   s->block_start = s->strstart; \
   flush_pending(s->strm); \
M
Mark Adler 已提交
988
   Tracev((stderr,"[FLUSH]")); \
M
Mark Adler 已提交
989 990 991 992 993
}

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

M
Mark Adler 已提交
997 998
/* ===========================================================================
 * Copy without compression as much as possible from the input stream, return
M
Mark Adler 已提交
999 1000 1001
 * 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 已提交
1002
 * only for the level=0 compression option.
M
Mark Adler 已提交
1003 1004
 * NOTE: this function should be optimized to avoid extra copying from
 * window to pending_buf.
M
Mark Adler 已提交
1005
 */
M
Mark Adler 已提交
1006
local block_state deflate_stored(s, flush)
M
Mark Adler 已提交
1007 1008 1009
    deflate_state *s;
    int flush;
{
M
Mark Adler 已提交
1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020
    /* 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 已提交
1021 1022 1023 1024 1025 1026 1027 1028
    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);
M
Mark Adler 已提交
1029
            if (s->lookahead == 0 && flush == Z_NO_FLUSH) return need_more;
M
Mark Adler 已提交
1030 1031 1032 1033 1034 1035 1036 1037

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

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

M
Mark Adler 已提交
1038 1039 1040
	/* Emit a stored block if pending_buf will be full: */
 	max_start = s->block_start + max_block_size;
        if (s->strstart == 0 || (ulg)s->strstart >= max_start) {
M
Mark Adler 已提交
1041
	    /* strstart == 0 is possible when wraparound on 16-bit machine */
M
Mark Adler 已提交
1042 1043 1044
	    s->lookahead = (uInt)(s->strstart - max_start);
	    s->strstart = (uInt)max_start;
            FLUSH_BLOCK(s, 0);
M
Mark Adler 已提交
1045
	}
M
Mark Adler 已提交
1046 1047 1048
	/* Flush if we may have to slide, otherwise block_start may become
         * negative and the data will be gone:
         */
M
Mark Adler 已提交
1049 1050 1051 1052 1053
        if (s->strstart - (uInt)s->block_start >= MAX_DIST(s)) {
            FLUSH_BLOCK(s, 0);
	}
    }
    FLUSH_BLOCK(s, flush == Z_FINISH);
M
Mark Adler 已提交
1054
    return flush == Z_FINISH ? finish_done : block_done;
M
Mark Adler 已提交
1055 1056
}

M
Mark Adler 已提交
1057
/* ===========================================================================
M
Mark Adler 已提交
1058 1059
 * Compress as much as possible from the input stream, return the current
 * block state.
M
Mark Adler 已提交
1060
 * This function does not perform lazy evaluation of matches and inserts
M
Mark Adler 已提交
1061 1062 1063
 * 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 已提交
1064
local block_state deflate_fast(s, flush)
M
Mark Adler 已提交
1065 1066 1067
    deflate_state *s;
    int flush;
{
M
Mark Adler 已提交
1068 1069
    IPos hash_head = NIL; /* head of the hash chain */
    int bflush;           /* set if current block must be flushed */
M
Mark Adler 已提交
1070 1071 1072 1073 1074 1075 1076 1077

    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 已提交
1078
            fill_window(s);
M
Mark Adler 已提交
1079 1080 1081
            if (s->lookahead < MIN_LOOKAHEAD && flush == Z_NO_FLUSH) {
	        return need_more;
	    }
M
Mark Adler 已提交
1082 1083
            if (s->lookahead == 0) break; /* flush the current block */
        }
M
Mark Adler 已提交
1084 1085 1086 1087

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

        /* 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 已提交
1100 1101 1102
            if (s->strategy != Z_HUFFMAN_ONLY) {
                s->match_length = longest_match (s, hash_head);
            }
M
Mark Adler 已提交
1103 1104 1105 1106 1107
            /* 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 已提交
1108 1109
            bflush = _tr_tally(s, s->strstart - s->match_start,
                               s->match_length - MIN_MATCH);
M
Mark Adler 已提交
1110 1111 1112 1113 1114 1115

            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 已提交
1116 1117
            if (s->match_length <= s->max_insert_length &&
                s->lookahead >= MIN_MATCH) {
M
Mark Adler 已提交
1118 1119 1120 1121 1122
                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 已提交
1123
                     * always MIN_MATCH bytes ahead.
M
Mark Adler 已提交
1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134
                     */
                } 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 已提交
1135 1136 1137
                /* 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 已提交
1138 1139 1140 1141
            }
        } else {
            /* No match, output a literal byte */
            Tracevv((stderr,"%c", s->window[s->strstart]));
M
Mark Adler 已提交
1142
            bflush = _tr_tally (s, 0, s->window[s->strstart]);
M
Mark Adler 已提交
1143 1144 1145 1146 1147 1148
            s->lookahead--;
            s->strstart++; 
        }
        if (bflush) FLUSH_BLOCK(s, 0);
    }
    FLUSH_BLOCK(s, flush == Z_FINISH);
M
Mark Adler 已提交
1149
    return flush == Z_FINISH ? finish_done : block_done;
M
Mark Adler 已提交
1150 1151 1152 1153 1154 1155 1156
}

/* ===========================================================================
 * 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 已提交
1157
local block_state deflate_slow(s, flush)
M
Mark Adler 已提交
1158 1159 1160
    deflate_state *s;
    int flush;
{
M
Mark Adler 已提交
1161
    IPos hash_head = NIL;    /* head of hash chain */
M
Mark Adler 已提交
1162 1163 1164 1165 1166 1167 1168 1169 1170 1171
    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 已提交
1172
            fill_window(s);
M
Mark Adler 已提交
1173 1174 1175
            if (s->lookahead < MIN_LOOKAHEAD && flush == Z_NO_FLUSH) {
	        return need_more;
	    }
M
Mark Adler 已提交
1176 1177
            if (s->lookahead == 0) break; /* flush the current block */
        }
M
Mark Adler 已提交
1178 1179 1180 1181

        /* Insert the string window[strstart .. strstart+2] in the
         * dictionary, and set hash_head to the head of the hash chain:
         */
M
Mark Adler 已提交
1182 1183 1184
        if (s->lookahead >= MIN_MATCH) {
            INSERT_STRING(s, s->strstart, hash_head);
        }
M
Mark Adler 已提交
1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196

        /* 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 已提交
1197 1198 1199
            if (s->strategy != Z_HUFFMAN_ONLY) {
                s->match_length = longest_match (s, hash_head);
            }
M
Mark Adler 已提交
1200 1201 1202
            /* longest_match() sets match_start */

            if (s->match_length <= 5 && (s->strategy == Z_FILTERED ||
M
Mark Adler 已提交
1203 1204
                 (s->match_length == MIN_MATCH &&
                  s->strstart - s->match_start > TOO_FAR))) {
M
Mark Adler 已提交
1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215

                /* 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 已提交
1216 1217
            uInt max_insert = s->strstart + s->lookahead - MIN_MATCH;
            /* Do not insert strings in hash table beyond this. */
M
Mark Adler 已提交
1218 1219 1220

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

M
Mark Adler 已提交
1221 1222
            bflush = _tr_tally(s, s->strstart -1 - s->prev_match,
                               s->prev_length - MIN_MATCH);
M
Mark Adler 已提交
1223 1224

            /* Insert in hash table all strings up to the end of the match.
M
Mark Adler 已提交
1225 1226 1227
             * 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 已提交
1228 1229 1230 1231
             */
            s->lookahead -= s->prev_length-1;
            s->prev_length -= 2;
            do {
M
Mark Adler 已提交
1232 1233 1234
                if (++s->strstart <= max_insert) {
                    INSERT_STRING(s, s->strstart, hash_head);
                }
M
Mark Adler 已提交
1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247
            } 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 已提交
1248
            if (_tr_tally (s, 0, s->window[s->strstart-1])) {
M
Mark Adler 已提交
1249
                FLUSH_BLOCK_ONLY(s, 0);
M
Mark Adler 已提交
1250 1251 1252
            }
            s->strstart++;
            s->lookahead--;
M
Mark Adler 已提交
1253
            if (s->strm->avail_out == 0) return need_more;
M
Mark Adler 已提交
1254 1255 1256 1257 1258 1259 1260 1261 1262
        } 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 已提交
1263
    Assert (flush != Z_NO_FLUSH, "no flush?");
M
Mark Adler 已提交
1264
    if (s->match_available) {
M
Mark Adler 已提交
1265
        Tracevv((stderr,"%c", s->window[s->strstart-1]));
M
Mark Adler 已提交
1266
        _tr_tally (s, 0, s->window[s->strstart-1]);
M
Mark Adler 已提交
1267
        s->match_available = 0;
M
Mark Adler 已提交
1268
    }
M
Mark Adler 已提交
1269
    FLUSH_BLOCK(s, flush == Z_FINISH);
M
Mark Adler 已提交
1270
    return flush == Z_FINISH ? finish_done : block_done;
M
Mark Adler 已提交
1271
}