trees.c 42.9 KB
Newer Older
M
Mark Adler 已提交
1
/* trees.c -- output deflated data using Huffman coding
2
 * Copyright (C) 1995-2012 Jean-loup Gailly
M
Mark Adler 已提交
3
 * detect_data_type() function provided freely by Cosmin Truta, 2006
M
Mark Adler 已提交
4
 * For conditions of distribution and use, see copyright notice in zlib.h
M
Mark Adler 已提交
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
 */

/*
 *  ALGORITHM
 *
 *      The "deflation" process uses several Huffman trees. The more
 *      common source values are represented by shorter bit sequences.
 *
 *      Each code tree is stored in a compressed form which is itself
 * a Huffman encoding of the lengths of all the code strings (in
 * ascending order by source values).  The actual code strings are
 * reconstructed from the lengths in the inflate process, as described
 * in the deflate specification.
 *
 *  REFERENCES
 *
 *      Deutsch, L.P.,"'Deflate' Compressed Data Format Specification".
 *      Available in ftp.uu.net:/pub/archiving/zip/doc/deflate-1.1.doc
 *
 *      Storer, James A.
 *          Data Compression:  Methods and Theory, pp. 49-50.
 *          Computer Science Press, 1988.  ISBN 0-7167-8156-5.
 *
 *      Sedgewick, R.
 *          Algorithms, p290.
 *          Addison-Wesley, 1983. ISBN 0-201-06672-6.
 */

M
Mark Adler 已提交
33
/* @(#) $Id$ */
M
Mark Adler 已提交
34

M
Mark Adler 已提交
35 36
/* #define GEN_TREES_H */

M
Mark Adler 已提交
37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61
#include "deflate.h"

#ifdef DEBUG
#  include <ctype.h>
#endif

/* ===========================================================================
 * Constants
 */

#define MAX_BL_BITS 7
/* Bit length codes must not exceed MAX_BL_BITS bits */

#define END_BLOCK 256
/* end of block literal code */

#define REP_3_6      16
/* repeat previous bit length 3-6 times (2 bits of repeat count) */

#define REPZ_3_10    17
/* repeat a zero length 3-10 times  (3 bits of repeat count) */

#define REPZ_11_138  18
/* repeat a zero length 11-138 times  (7 bits of repeat count) */

M
Mark Adler 已提交
62
local const int extra_lbits[LENGTH_CODES] /* extra bits for each length code */
M
Mark Adler 已提交
63 64
   = {0,0,0,0,0,0,0,0,1,1,1,1,2,2,2,2,3,3,3,3,4,4,4,4,5,5,5,5,0};

M
Mark Adler 已提交
65
local const int extra_dbits[D_CODES] /* extra bits for each distance code */
M
Mark Adler 已提交
66 67
   = {0,0,0,0,1,1,2,2,3,3,4,4,5,5,6,6,7,7,8,8,9,9,10,10,11,11,12,12,13,13};

M
Mark Adler 已提交
68
local const int extra_blbits[BL_CODES]/* extra bits for each bit length code */
M
Mark Adler 已提交
69 70
   = {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,3,7};

M
Mark Adler 已提交
71
local const uch bl_order[BL_CODES]
M
Mark Adler 已提交
72 73 74 75 76 77 78 79 80
   = {16,17,18,0,8,7,9,6,10,5,11,4,12,3,13,2,14,1,15};
/* The lengths of the bit length codes are sent in order of decreasing
 * probability, to avoid transmitting the lengths for unused bit length codes.
 */

/* ===========================================================================
 * Local data. These are initialized only once.
 */

M
Mark Adler 已提交
81 82 83 84 85
#define DIST_CODE_LEN  512 /* see definition of array dist_code below */

#if defined(GEN_TREES_H) || !defined(STDC)
/* non ANSI compilers may not accept trees.h */

M
Mark Adler 已提交
86 87 88
local ct_data static_ltree[L_CODES+2];
/* The static literal tree. Since the bit lengths are imposed, there is no
 * need for the L_CODES extra codes used during heap construction. However
M
Mark Adler 已提交
89
 * The codes 286 and 287 are needed to build a canonical tree (see _tr_init
M
Mark Adler 已提交
90 91 92 93 94 95 96 97
 * below).
 */

local ct_data static_dtree[D_CODES];
/* The static distance tree. (Actually a trivial tree since all codes use
 * 5 bits.)
 */

M
Mark Adler 已提交
98
uch _dist_code[DIST_CODE_LEN];
M
Mark Adler 已提交
99
/* Distance codes. The first 256 values correspond to the distances
M
Mark Adler 已提交
100 101 102 103
 * 3 .. 258, the last 256 values correspond to the top 8 bits of
 * the 15 bit distances.
 */

M
Mark Adler 已提交
104
uch _length_code[MAX_MATCH-MIN_MATCH+1];
M
Mark Adler 已提交
105 106 107 108 109 110 111 112
/* length code for each normalized match length (0 == MIN_MATCH) */

local int base_length[LENGTH_CODES];
/* First normalized length for each code (0 = MIN_MATCH) */

local int base_dist[D_CODES];
/* First normalized distance for each code (0 = distance of 1) */

M
Mark Adler 已提交
113 114 115 116
#else
#  include "trees.h"
#endif /* GEN_TREES_H */

M
Mark Adler 已提交
117
struct static_tree_desc_s {
M
Mark Adler 已提交
118
    const ct_data *static_tree;  /* static tree or NULL */
M
Mark Adler 已提交
119
    const intf *extra_bits;      /* extra bits for each code or NULL */
M
Mark Adler 已提交
120 121 122 123 124 125 126 127 128 129 130 131
    int     extra_base;          /* base index for extra_bits */
    int     elems;               /* max number of elements in the tree */
    int     max_length;          /* max bit length for the codes */
};

local static_tree_desc  static_l_desc =
{static_ltree, extra_lbits, LITERALS+1, L_CODES, MAX_BITS};

local static_tree_desc  static_d_desc =
{static_dtree, extra_dbits, 0,          D_CODES, MAX_BITS};

local static_tree_desc  static_bl_desc =
M
Mark Adler 已提交
132
{(const ct_data *)0, extra_blbits, 0,   BL_CODES, MAX_BL_BITS};
M
Mark Adler 已提交
133 134 135 136 137

/* ===========================================================================
 * Local (static) routines in this file.
 */

M
Mark Adler 已提交
138
local void tr_static_init OF((void));
M
Mark Adler 已提交
139 140 141 142 143 144 145 146 147
local void init_block     OF((deflate_state *s));
local void pqdownheap     OF((deflate_state *s, ct_data *tree, int k));
local void gen_bitlen     OF((deflate_state *s, tree_desc *desc));
local void gen_codes      OF((ct_data *tree, int max_code, ushf *bl_count));
local void build_tree     OF((deflate_state *s, tree_desc *desc));
local void scan_tree      OF((deflate_state *s, ct_data *tree, int max_code));
local void send_tree      OF((deflate_state *s, ct_data *tree, int max_code));
local int  build_bl_tree  OF((deflate_state *s));
local void send_all_trees OF((deflate_state *s, int lcodes, int dcodes,
M
Mark Adler 已提交
148
                              int blcodes));
M
Mark Adler 已提交
149
local void compress_block OF((deflate_state *s, ct_data *ltree,
M
Mark Adler 已提交
150
                              ct_data *dtree));
M
Mark Adler 已提交
151
local int  detect_data_type OF((deflate_state *s));
M
Mark Adler 已提交
152 153
local unsigned bi_reverse OF((unsigned value, int length));
local void bi_windup      OF((deflate_state *s));
M
Mark Adler 已提交
154
local void bi_flush       OF((deflate_state *s));
M
Mark Adler 已提交
155 156
local void copy_block     OF((deflate_state *s, charf *buf, unsigned len,
                              int header));
M
Mark Adler 已提交
157

M
Mark Adler 已提交
158 159 160 161
#ifdef GEN_TREES_H
local void gen_trees_header OF((void));
#endif

M
Mark Adler 已提交
162 163 164 165 166 167
#ifndef DEBUG
#  define send_code(s, c, tree) send_bits(s, tree[c].Code, tree[c].Len)
   /* Send a code of the given tree. c and tree must not have side effects */

#else /* DEBUG */
#  define send_code(s, c, tree) \
M
Mark Adler 已提交
168
     { if (z_verbose>2) fprintf(stderr,"\ncd %3d ",(c)); \
M
Mark Adler 已提交
169 170 171
       send_bits(s, tree[c].Code, tree[c].Len); }
#endif

M
Mark Adler 已提交
172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192
/* ===========================================================================
 * Output a short LSB first on the stream.
 * IN assertion: there is enough room in pendingBuf.
 */
#define put_short(s, w) { \
    put_byte(s, (uch)((w) & 0xff)); \
    put_byte(s, (uch)((ush)(w) >> 8)); \
}

/* ===========================================================================
 * Send a value on a given number of bits.
 * IN assertion: length <= 16 and value fits in length bits.
 */
#ifdef DEBUG
local void send_bits      OF((deflate_state *s, int value, int length));

local void send_bits(s, value, length)
    deflate_state *s;
    int value;  /* value to send */
    int length; /* number of bits */
{
M
Mark Adler 已提交
193
    Tracevv((stderr," l %2d v %4x ", length, value));
M
Mark Adler 已提交
194 195 196 197 198 199 200 201
    Assert(length > 0 && length <= 15, "invalid length");
    s->bits_sent += (ulg)length;

    /* If not enough room in bi_buf, use (valid) bits from bi_buf and
     * (16 - bi_valid) bits from value, leaving (width - (16-bi_valid))
     * unused bits in value.
     */
    if (s->bi_valid > (int)Buf_size - length) {
M
Mark Adler 已提交
202
        s->bi_buf |= (ush)value << s->bi_valid;
M
Mark Adler 已提交
203 204 205 206
        put_short(s, s->bi_buf);
        s->bi_buf = (ush)value >> (Buf_size - s->bi_valid);
        s->bi_valid += length - Buf_size;
    } else {
M
Mark Adler 已提交
207
        s->bi_buf |= (ush)value << s->bi_valid;
M
Mark Adler 已提交
208 209 210 211 212 213 214 215 216
        s->bi_valid += length;
    }
}
#else /* !DEBUG */

#define send_bits(s, value, length) \
{ int len = length;\
  if (s->bi_valid > (int)Buf_size - len) {\
    int val = value;\
M
Mark Adler 已提交
217
    s->bi_buf |= (ush)val << s->bi_valid;\
M
Mark Adler 已提交
218 219 220 221
    put_short(s, s->bi_buf);\
    s->bi_buf = (ush)val >> (Buf_size - s->bi_valid);\
    s->bi_valid += len - Buf_size;\
  } else {\
M
Mark Adler 已提交
222
    s->bi_buf |= (ush)(value) << s->bi_valid;\
M
Mark Adler 已提交
223 224 225 226 227 228
    s->bi_valid += len;\
  }\
}
#endif /* DEBUG */


M
Mark Adler 已提交
229 230 231
/* the arguments must not have side effects */

/* ===========================================================================
M
Mark Adler 已提交
232
 * Initialize the various 'constant' tables.
M
Mark Adler 已提交
233
 */
M
Mark Adler 已提交
234
local void tr_static_init()
M
Mark Adler 已提交
235
{
M
Mark Adler 已提交
236
#if defined(GEN_TREES_H) || !defined(STDC)
M
Mark Adler 已提交
237
    static int static_init_done = 0;
M
Mark Adler 已提交
238 239 240 241 242 243 244 245
    int n;        /* iterates over tree elements */
    int bits;     /* bit counter */
    int length;   /* length value */
    int code;     /* code value */
    int dist;     /* distance index */
    ush bl_count[MAX_BITS+1];
    /* number of codes at each bit length for an optimal tree */

M
Mark Adler 已提交
246 247
    if (static_init_done) return;

M
Mark Adler 已提交
248
    /* For some embedded targets, global variables are not initialized: */
M
Mark Adler 已提交
249
#ifdef NO_INIT_GLOBAL_POINTERS
M
Mark Adler 已提交
250 251 252 253 254
    static_l_desc.static_tree = static_ltree;
    static_l_desc.extra_bits = extra_lbits;
    static_d_desc.static_tree = static_dtree;
    static_d_desc.extra_bits = extra_dbits;
    static_bl_desc.extra_bits = extra_blbits;
M
Mark Adler 已提交
255
#endif
M
Mark Adler 已提交
256

M
Mark Adler 已提交
257 258 259 260 261
    /* Initialize the mapping length (0..255) -> length code (0..28) */
    length = 0;
    for (code = 0; code < LENGTH_CODES-1; code++) {
        base_length[code] = length;
        for (n = 0; n < (1<<extra_lbits[code]); n++) {
M
Mark Adler 已提交
262
            _length_code[length++] = (uch)code;
M
Mark Adler 已提交
263 264
        }
    }
M
Mark Adler 已提交
265
    Assert (length == 256, "tr_static_init: length != 256");
M
Mark Adler 已提交
266 267 268 269
    /* Note that the length 255 (match length 258) can be represented
     * in two different ways: code 284 + 5 bits or code 285, so we
     * overwrite length_code[255] to use the best encoding:
     */
M
Mark Adler 已提交
270
    _length_code[length-1] = (uch)code;
M
Mark Adler 已提交
271 272 273 274 275 276

    /* Initialize the mapping dist (0..32K) -> dist code (0..29) */
    dist = 0;
    for (code = 0 ; code < 16; code++) {
        base_dist[code] = dist;
        for (n = 0; n < (1<<extra_dbits[code]); n++) {
M
Mark Adler 已提交
277
            _dist_code[dist++] = (uch)code;
M
Mark Adler 已提交
278 279
        }
    }
M
Mark Adler 已提交
280
    Assert (dist == 256, "tr_static_init: dist != 256");
M
Mark Adler 已提交
281 282 283 284
    dist >>= 7; /* from now on, all distances are divided by 128 */
    for ( ; code < D_CODES; code++) {
        base_dist[code] = dist << 7;
        for (n = 0; n < (1<<(extra_dbits[code]-7)); n++) {
M
Mark Adler 已提交
285
            _dist_code[256 + dist++] = (uch)code;
M
Mark Adler 已提交
286 287
        }
    }
M
Mark Adler 已提交
288
    Assert (dist == 256, "tr_static_init: 256+dist != 512");
M
Mark Adler 已提交
289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305

    /* Construct the codes of the static literal tree */
    for (bits = 0; bits <= MAX_BITS; bits++) bl_count[bits] = 0;
    n = 0;
    while (n <= 143) static_ltree[n++].Len = 8, bl_count[8]++;
    while (n <= 255) static_ltree[n++].Len = 9, bl_count[9]++;
    while (n <= 279) static_ltree[n++].Len = 7, bl_count[7]++;
    while (n <= 287) static_ltree[n++].Len = 8, bl_count[8]++;
    /* Codes 286 and 287 do not exist, but we must include them in the
     * tree construction to get a canonical Huffman tree (longest code
     * all ones)
     */
    gen_codes((ct_data *)static_ltree, L_CODES+1, bl_count);

    /* The static distance tree is trivial: */
    for (n = 0; n < D_CODES; n++) {
        static_dtree[n].Len = 5;
M
Mark Adler 已提交
306
        static_dtree[n].Code = bi_reverse((unsigned)n, 5);
M
Mark Adler 已提交
307
    }
M
Mark Adler 已提交
308
    static_init_done = 1;
M
Mark Adler 已提交
309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334

#  ifdef GEN_TREES_H
    gen_trees_header();
#  endif
#endif /* defined(GEN_TREES_H) || !defined(STDC) */
}

/* ===========================================================================
 * Genererate the file trees.h describing the static trees.
 */
#ifdef GEN_TREES_H
#  ifndef DEBUG
#    include <stdio.h>
#  endif

#  define SEPARATOR(i, last, width) \
      ((i) == (last)? "\n};\n\n" :    \
       ((i) % (width) == (width)-1 ? ",\n" : ", "))

void gen_trees_header()
{
    FILE *header = fopen("trees.h", "w");
    int i;

    Assert (header != NULL, "Can't open trees.h");
    fprintf(header,
M
Mark Adler 已提交
335
            "/* header created automatically with -DGEN_TREES_H */\n\n");
M
Mark Adler 已提交
336 337 338

    fprintf(header, "local const ct_data static_ltree[L_CODES+2] = {\n");
    for (i = 0; i < L_CODES+2; i++) {
M
Mark Adler 已提交
339 340
        fprintf(header, "{{%3u},{%3u}}%s", static_ltree[i].Code,
                static_ltree[i].Len, SEPARATOR(i, L_CODES+1, 5));
M
Mark Adler 已提交
341 342 343 344
    }

    fprintf(header, "local const ct_data static_dtree[D_CODES] = {\n");
    for (i = 0; i < D_CODES; i++) {
M
Mark Adler 已提交
345 346
        fprintf(header, "{{%2u},{%2u}}%s", static_dtree[i].Code,
                static_dtree[i].Len, SEPARATOR(i, D_CODES-1, 5));
M
Mark Adler 已提交
347 348
    }

M
Mark Adler 已提交
349
    fprintf(header, "const uch ZLIB_INTERNAL _dist_code[DIST_CODE_LEN] = {\n");
M
Mark Adler 已提交
350
    for (i = 0; i < DIST_CODE_LEN; i++) {
M
Mark Adler 已提交
351 352
        fprintf(header, "%2u%s", _dist_code[i],
                SEPARATOR(i, DIST_CODE_LEN-1, 20));
M
Mark Adler 已提交
353 354
    }

M
Mark Adler 已提交
355 356
    fprintf(header,
        "const uch ZLIB_INTERNAL _length_code[MAX_MATCH-MIN_MATCH+1]= {\n");
M
Mark Adler 已提交
357
    for (i = 0; i < MAX_MATCH-MIN_MATCH+1; i++) {
M
Mark Adler 已提交
358 359
        fprintf(header, "%2u%s", _length_code[i],
                SEPARATOR(i, MAX_MATCH-MIN_MATCH, 20));
M
Mark Adler 已提交
360 361 362 363
    }

    fprintf(header, "local const int base_length[LENGTH_CODES] = {\n");
    for (i = 0; i < LENGTH_CODES; i++) {
M
Mark Adler 已提交
364 365
        fprintf(header, "%1u%s", base_length[i],
                SEPARATOR(i, LENGTH_CODES-1, 20));
M
Mark Adler 已提交
366 367 368 369
    }

    fprintf(header, "local const int base_dist[D_CODES] = {\n");
    for (i = 0; i < D_CODES; i++) {
M
Mark Adler 已提交
370 371
        fprintf(header, "%5u%s", base_dist[i],
                SEPARATOR(i, D_CODES-1, 10));
M
Mark Adler 已提交
372 373 374
    }

    fclose(header);
M
Mark Adler 已提交
375
}
M
Mark Adler 已提交
376
#endif /* GEN_TREES_H */
M
Mark Adler 已提交
377 378 379 380

/* ===========================================================================
 * Initialize the tree data structures for a new zlib stream.
 */
M
Mark Adler 已提交
381
void ZLIB_INTERNAL _tr_init(s)
M
Mark Adler 已提交
382 383
    deflate_state *s;
{
M
Mark Adler 已提交
384
    tr_static_init();
M
Mark Adler 已提交
385 386 387 388 389 390 391 392 393 394 395 396 397

    s->l_desc.dyn_tree = s->dyn_ltree;
    s->l_desc.stat_desc = &static_l_desc;

    s->d_desc.dyn_tree = s->dyn_dtree;
    s->d_desc.stat_desc = &static_d_desc;

    s->bl_desc.dyn_tree = s->bl_tree;
    s->bl_desc.stat_desc = &static_bl_desc;

    s->bi_buf = 0;
    s->bi_valid = 0;
#ifdef DEBUG
M
Mark Adler 已提交
398
    s->compressed_len = 0L;
M
Mark Adler 已提交
399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462
    s->bits_sent = 0L;
#endif

    /* Initialize the first block of the first file: */
    init_block(s);
}

/* ===========================================================================
 * Initialize a new block.
 */
local void init_block(s)
    deflate_state *s;
{
    int n; /* iterates over tree elements */

    /* Initialize the trees. */
    for (n = 0; n < L_CODES;  n++) s->dyn_ltree[n].Freq = 0;
    for (n = 0; n < D_CODES;  n++) s->dyn_dtree[n].Freq = 0;
    for (n = 0; n < BL_CODES; n++) s->bl_tree[n].Freq = 0;

    s->dyn_ltree[END_BLOCK].Freq = 1;
    s->opt_len = s->static_len = 0L;
    s->last_lit = s->matches = 0;
}

#define SMALLEST 1
/* Index within the heap array of least frequent node in the Huffman tree */


/* ===========================================================================
 * Remove the smallest element from the heap and recreate the heap with
 * one less element. Updates heap and heap_len.
 */
#define pqremove(s, tree, top) \
{\
    top = s->heap[SMALLEST]; \
    s->heap[SMALLEST] = s->heap[s->heap_len--]; \
    pqdownheap(s, tree, SMALLEST); \
}

/* ===========================================================================
 * Compares to subtrees, using the tree depth as tie breaker when
 * the subtrees have equal frequency. This minimizes the worst case length.
 */
#define smaller(tree, n, m, depth) \
   (tree[n].Freq < tree[m].Freq || \
   (tree[n].Freq == tree[m].Freq && depth[n] <= depth[m]))

/* ===========================================================================
 * Restore the heap property by moving down the tree starting at node k,
 * exchanging a node with the smallest of its two sons if necessary, stopping
 * when the heap property is re-established (each father smaller than its
 * two sons).
 */
local void pqdownheap(s, tree, k)
    deflate_state *s;
    ct_data *tree;  /* the tree to restore */
    int k;               /* node to move down */
{
    int v = s->heap[k];
    int j = k << 1;  /* left son of k */
    while (j <= s->heap_len) {
        /* Set j to the smallest of the two sons: */
        if (j < s->heap_len &&
M
Mark Adler 已提交
463 464 465
            smaller(tree, s->heap[j+1], s->heap[j], s->depth)) {
            j++;
        }
M
Mark Adler 已提交
466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491
        /* Exit if v is smaller than both sons */
        if (smaller(tree, v, s->heap[j], s->depth)) break;

        /* Exchange v with the smallest son */
        s->heap[k] = s->heap[j];  k = j;

        /* And continue down the tree, setting j to the left son of k */
        j <<= 1;
    }
    s->heap[k] = v;
}

/* ===========================================================================
 * Compute the optimal bit lengths for a tree and update the total bit length
 * for the current block.
 * IN assertion: the fields freq and dad are set, heap[heap_max] and
 *    above are the tree nodes sorted by increasing frequency.
 * OUT assertions: the field len is set to the optimal bit length, the
 *     array bl_count contains the frequencies for each bit length.
 *     The length opt_len is updated; static_len is also updated if stree is
 *     not null.
 */
local void gen_bitlen(s, desc)
    deflate_state *s;
    tree_desc *desc;    /* the tree descriptor */
{
M
Mark Adler 已提交
492 493 494 495 496 497
    ct_data *tree        = desc->dyn_tree;
    int max_code         = desc->max_code;
    const ct_data *stree = desc->stat_desc->static_tree;
    const intf *extra    = desc->stat_desc->extra_bits;
    int base             = desc->stat_desc->extra_base;
    int max_length       = desc->stat_desc->max_length;
M
Mark Adler 已提交
498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555
    int h;              /* heap index */
    int n, m;           /* iterate over the tree elements */
    int bits;           /* bit length */
    int xbits;          /* extra bits */
    ush f;              /* frequency */
    int overflow = 0;   /* number of elements with bit length too large */

    for (bits = 0; bits <= MAX_BITS; bits++) s->bl_count[bits] = 0;

    /* In a first pass, compute the optimal bit lengths (which may
     * overflow in the case of the bit length tree).
     */
    tree[s->heap[s->heap_max]].Len = 0; /* root of the heap */

    for (h = s->heap_max+1; h < HEAP_SIZE; h++) {
        n = s->heap[h];
        bits = tree[tree[n].Dad].Len + 1;
        if (bits > max_length) bits = max_length, overflow++;
        tree[n].Len = (ush)bits;
        /* We overwrite tree[n].Dad which is no longer needed */

        if (n > max_code) continue; /* not a leaf node */

        s->bl_count[bits]++;
        xbits = 0;
        if (n >= base) xbits = extra[n-base];
        f = tree[n].Freq;
        s->opt_len += (ulg)f * (bits + xbits);
        if (stree) s->static_len += (ulg)f * (stree[n].Len + xbits);
    }
    if (overflow == 0) return;

    Trace((stderr,"\nbit length overflow\n"));
    /* This happens for example on obj2 and pic of the Calgary corpus */

    /* Find the first bit length which could increase: */
    do {
        bits = max_length-1;
        while (s->bl_count[bits] == 0) bits--;
        s->bl_count[bits]--;      /* move one leaf down the tree */
        s->bl_count[bits+1] += 2; /* move one overflow item as its brother */
        s->bl_count[max_length]--;
        /* The brother of the overflow item also moves one step up,
         * but this does not affect bl_count[max_length]
         */
        overflow -= 2;
    } while (overflow > 0);

    /* Now recompute all bit lengths, scanning in increasing frequency.
     * h is still equal to HEAP_SIZE. (It is simpler to reconstruct all
     * lengths instead of fixing only the wrong ones. This idea is taken
     * from 'ar' written by Haruhiko Okumura.)
     */
    for (bits = max_length; bits != 0; bits--) {
        n = s->bl_count[bits];
        while (n != 0) {
            m = s->heap[--h];
            if (m > max_code) continue;
M
Mark Adler 已提交
556
            if ((unsigned) tree[m].Len != (unsigned) bits) {
M
Mark Adler 已提交
557 558
                Trace((stderr,"code %d bits %d->%d\n", m, tree[m].Len, bits));
                s->opt_len += ((long)bits - (long)tree[m].Len)
M
Mark Adler 已提交
559
                              *(long)tree[m].Freq;
M
Mark Adler 已提交
560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577
                tree[m].Len = (ush)bits;
            }
            n--;
        }
    }
}

/* ===========================================================================
 * Generate the codes for a given tree and bit counts (which need not be
 * optimal).
 * IN assertion: the array bl_count contains the bit length statistics for
 * the given tree and the field len is set for all tree elements.
 * OUT assertion: the field code is set for all tree elements of non
 *     zero code length.
 */
local void gen_codes (tree, max_code, bl_count)
    ct_data *tree;             /* the tree to decorate */
    int max_code;              /* largest code with non zero frequency */
M
Mark Adler 已提交
578
    ushf *bl_count;            /* number of codes at each bit length */
M
Mark Adler 已提交
579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603
{
    ush next_code[MAX_BITS+1]; /* next code value for each bit length */
    ush code = 0;              /* running code value */
    int bits;                  /* bit index */
    int n;                     /* code index */

    /* The distribution counts are first used to generate the code values
     * without bit reversal.
     */
    for (bits = 1; bits <= MAX_BITS; bits++) {
        next_code[bits] = code = (code + bl_count[bits-1]) << 1;
    }
    /* Check that the bit counts in bl_count are consistent. The last code
     * must be all ones.
     */
    Assert (code + bl_count[MAX_BITS]-1 == (1<<MAX_BITS)-1,
            "inconsistent bit counts");
    Tracev((stderr,"\ngen_codes: max_code %d ", max_code));

    for (n = 0;  n <= max_code; n++) {
        int len = tree[n].Len;
        if (len == 0) continue;
        /* Now reverse the bits */
        tree[n].Code = bi_reverse(next_code[len]++, len);

M
Mark Adler 已提交
604
        Tracecv(tree != static_ltree, (stderr,"\nn %3d %c l %2d c %4x (%x) ",
M
Mark Adler 已提交
605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620
             n, (isgraph(n) ? n : ' '), len, tree[n].Code, next_code[len]-1));
    }
}

/* ===========================================================================
 * Construct one Huffman tree and assigns the code bit strings and lengths.
 * Update the total bit length for the current block.
 * IN assertion: the field freq is set for all tree elements.
 * OUT assertions: the fields len and code are set to the optimal bit length
 *     and corresponding code. The length opt_len is updated; static_len is
 *     also updated if stree is not null. The field max_code is set.
 */
local void build_tree(s, desc)
    deflate_state *s;
    tree_desc *desc; /* the tree descriptor */
{
M
Mark Adler 已提交
621 622 623
    ct_data *tree         = desc->dyn_tree;
    const ct_data *stree  = desc->stat_desc->static_tree;
    int elems             = desc->stat_desc->elems;
M
Mark Adler 已提交
624 625
    int n, m;          /* iterate over heap elements */
    int max_code = -1; /* largest code with non zero frequency */
M
Mark Adler 已提交
626
    int node;          /* new node being created */
M
Mark Adler 已提交
627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648

    /* Construct the initial heap, with least frequent element in
     * heap[SMALLEST]. The sons of heap[n] are heap[2*n] and heap[2*n+1].
     * heap[0] is not used.
     */
    s->heap_len = 0, s->heap_max = HEAP_SIZE;

    for (n = 0; n < elems; n++) {
        if (tree[n].Freq != 0) {
            s->heap[++(s->heap_len)] = max_code = n;
            s->depth[n] = 0;
        } else {
            tree[n].Len = 0;
        }
    }

    /* The pkzip format requires that at least one distance code exists,
     * and that at least one bit should be sent even if there is only one
     * possible code. So to avoid special checks later on we force at least
     * two codes of non zero frequency.
     */
    while (s->heap_len < 2) {
M
Mark Adler 已提交
649 650 651 652 653
        node = s->heap[++(s->heap_len)] = (max_code < 2 ? ++max_code : 0);
        tree[node].Freq = 1;
        s->depth[node] = 0;
        s->opt_len--; if (stree) s->static_len -= stree[node].Len;
        /* node is 0 or 1 so it does not have extra bits */
M
Mark Adler 已提交
654 655 656 657 658 659 660 661 662 663 664
    }
    desc->max_code = max_code;

    /* The elements heap[heap_len/2+1 .. heap_len] are leaves of the tree,
     * establish sub-heaps of increasing lengths:
     */
    for (n = s->heap_len/2; n >= 1; n--) pqdownheap(s, tree, n);

    /* Construct the Huffman tree by repeatedly combining the least two
     * frequent nodes.
     */
M
Mark Adler 已提交
665
    node = elems;              /* next internal node of the tree */
M
Mark Adler 已提交
666 667 668 669 670 671 672 673 674
    do {
        pqremove(s, tree, n);  /* n = node of least frequency */
        m = s->heap[SMALLEST]; /* m = node of next least frequency */

        s->heap[--(s->heap_max)] = n; /* keep the nodes sorted by frequency */
        s->heap[--(s->heap_max)] = m;

        /* Create a new node father of n and m */
        tree[node].Freq = tree[n].Freq + tree[m].Freq;
M
Mark Adler 已提交
675 676
        s->depth[node] = (uch)((s->depth[n] >= s->depth[m] ?
                                s->depth[n] : s->depth[m]) + 1);
M
Mark Adler 已提交
677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825
        tree[n].Dad = tree[m].Dad = (ush)node;
#ifdef DUMP_BL_TREE
        if (tree == s->bl_tree) {
            fprintf(stderr,"\nnode %d(%d), sons %d(%d) %d(%d)",
                    node, tree[node].Freq, n, tree[n].Freq, m, tree[m].Freq);
        }
#endif
        /* and insert the new node in the heap */
        s->heap[SMALLEST] = node++;
        pqdownheap(s, tree, SMALLEST);

    } while (s->heap_len >= 2);

    s->heap[--(s->heap_max)] = s->heap[SMALLEST];

    /* At this point, the fields freq and dad are set. We can now
     * generate the bit lengths.
     */
    gen_bitlen(s, (tree_desc *)desc);

    /* The field len is now set, we can generate the bit codes */
    gen_codes ((ct_data *)tree, max_code, s->bl_count);
}

/* ===========================================================================
 * Scan a literal or distance tree to determine the frequencies of the codes
 * in the bit length tree.
 */
local void scan_tree (s, tree, max_code)
    deflate_state *s;
    ct_data *tree;   /* the tree to be scanned */
    int max_code;    /* and its largest code of non zero frequency */
{
    int n;                     /* iterates over all tree elements */
    int prevlen = -1;          /* last emitted length */
    int curlen;                /* length of current code */
    int nextlen = tree[0].Len; /* length of next code */
    int count = 0;             /* repeat count of the current code */
    int max_count = 7;         /* max repeat count */
    int min_count = 4;         /* min repeat count */

    if (nextlen == 0) max_count = 138, min_count = 3;
    tree[max_code+1].Len = (ush)0xffff; /* guard */

    for (n = 0; n <= max_code; n++) {
        curlen = nextlen; nextlen = tree[n+1].Len;
        if (++count < max_count && curlen == nextlen) {
            continue;
        } else if (count < min_count) {
            s->bl_tree[curlen].Freq += count;
        } else if (curlen != 0) {
            if (curlen != prevlen) s->bl_tree[curlen].Freq++;
            s->bl_tree[REP_3_6].Freq++;
        } else if (count <= 10) {
            s->bl_tree[REPZ_3_10].Freq++;
        } else {
            s->bl_tree[REPZ_11_138].Freq++;
        }
        count = 0; prevlen = curlen;
        if (nextlen == 0) {
            max_count = 138, min_count = 3;
        } else if (curlen == nextlen) {
            max_count = 6, min_count = 3;
        } else {
            max_count = 7, min_count = 4;
        }
    }
}

/* ===========================================================================
 * Send a literal or distance tree in compressed form, using the codes in
 * bl_tree.
 */
local void send_tree (s, tree, max_code)
    deflate_state *s;
    ct_data *tree; /* the tree to be scanned */
    int max_code;       /* and its largest code of non zero frequency */
{
    int n;                     /* iterates over all tree elements */
    int prevlen = -1;          /* last emitted length */
    int curlen;                /* length of current code */
    int nextlen = tree[0].Len; /* length of next code */
    int count = 0;             /* repeat count of the current code */
    int max_count = 7;         /* max repeat count */
    int min_count = 4;         /* min repeat count */

    /* tree[max_code+1].Len = -1; */  /* guard already set */
    if (nextlen == 0) max_count = 138, min_count = 3;

    for (n = 0; n <= max_code; n++) {
        curlen = nextlen; nextlen = tree[n+1].Len;
        if (++count < max_count && curlen == nextlen) {
            continue;
        } else if (count < min_count) {
            do { send_code(s, curlen, s->bl_tree); } while (--count != 0);

        } else if (curlen != 0) {
            if (curlen != prevlen) {
                send_code(s, curlen, s->bl_tree); count--;
            }
            Assert(count >= 3 && count <= 6, " 3_6?");
            send_code(s, REP_3_6, s->bl_tree); send_bits(s, count-3, 2);

        } else if (count <= 10) {
            send_code(s, REPZ_3_10, s->bl_tree); send_bits(s, count-3, 3);

        } else {
            send_code(s, REPZ_11_138, s->bl_tree); send_bits(s, count-11, 7);
        }
        count = 0; prevlen = curlen;
        if (nextlen == 0) {
            max_count = 138, min_count = 3;
        } else if (curlen == nextlen) {
            max_count = 6, min_count = 3;
        } else {
            max_count = 7, min_count = 4;
        }
    }
}

/* ===========================================================================
 * Construct the Huffman tree for the bit lengths and return the index in
 * bl_order of the last bit length code to send.
 */
local int build_bl_tree(s)
    deflate_state *s;
{
    int max_blindex;  /* index of last bit length code of non zero freq */

    /* Determine the bit length frequencies for literal and distance trees */
    scan_tree(s, (ct_data *)s->dyn_ltree, s->l_desc.max_code);
    scan_tree(s, (ct_data *)s->dyn_dtree, s->d_desc.max_code);

    /* Build the bit length tree: */
    build_tree(s, (tree_desc *)(&(s->bl_desc)));
    /* opt_len now includes the length of the tree representations, except
     * the lengths of the bit lengths codes and the 5+5+4 bits for the counts.
     */

    /* Determine the number of bit length codes to send. The pkzip format
     * requires that at least 4 bit length codes be sent. (appnote.txt says
     * 3 but the actual value used is 4.)
     */
    for (max_blindex = BL_CODES-1; max_blindex >= 3; max_blindex--) {
        if (s->bl_tree[bl_order[max_blindex]].Len != 0) break;
    }
    /* Update opt_len to include the bit length tree and counts */
    s->opt_len += 3*(max_blindex+1) + 5+5+4;
    Tracev((stderr, "\ndyn trees: dyn %ld, stat %ld",
M
Mark Adler 已提交
826
            s->opt_len, s->static_len));
M
Mark Adler 已提交
827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861

    return max_blindex;
}

/* ===========================================================================
 * Send the header for a block using dynamic Huffman trees: the counts, the
 * lengths of the bit length codes, the literal tree and the distance tree.
 * IN assertion: lcodes >= 257, dcodes >= 1, blcodes >= 4.
 */
local void send_all_trees(s, lcodes, dcodes, blcodes)
    deflate_state *s;
    int lcodes, dcodes, blcodes; /* number of codes for each tree */
{
    int rank;                    /* index in bl_order */

    Assert (lcodes >= 257 && dcodes >= 1 && blcodes >= 4, "not enough codes");
    Assert (lcodes <= L_CODES && dcodes <= D_CODES && blcodes <= BL_CODES,
            "too many codes");
    Tracev((stderr, "\nbl counts: "));
    send_bits(s, lcodes-257, 5); /* not +255 as stated in appnote.txt */
    send_bits(s, dcodes-1,   5);
    send_bits(s, blcodes-4,  4); /* not -3 as stated in appnote.txt */
    for (rank = 0; rank < blcodes; rank++) {
        Tracev((stderr, "\nbl code %2d ", bl_order[rank]));
        send_bits(s, s->bl_tree[bl_order[rank]].Len, 3);
    }
    Tracev((stderr, "\nbl tree: sent %ld", s->bits_sent));

    send_tree(s, (ct_data *)s->dyn_ltree, lcodes-1); /* literal tree */
    Tracev((stderr, "\nlit tree: sent %ld", s->bits_sent));

    send_tree(s, (ct_data *)s->dyn_dtree, dcodes-1); /* distance tree */
    Tracev((stderr, "\ndist tree: sent %ld", s->bits_sent));
}

M
Mark Adler 已提交
862 863 864
/* ===========================================================================
 * Send a stored block
 */
M
Mark Adler 已提交
865
void ZLIB_INTERNAL _tr_stored_block(s, buf, stored_len, last)
M
Mark Adler 已提交
866
    deflate_state *s;
M
Mark Adler 已提交
867
    charf *buf;       /* input block */
M
Mark Adler 已提交
868
    ulg stored_len;   /* length of input block */
M
Mark Adler 已提交
869
    int last;         /* one if this is the last block for a file */
M
Mark Adler 已提交
870
{
M
Mark Adler 已提交
871
    send_bits(s, (STORED_BLOCK<<1)+last, 3);    /* send block type */
M
Mark Adler 已提交
872
#ifdef DEBUG
M
Mark Adler 已提交
873
    s->compressed_len = (s->compressed_len + 3 + 7) & (ulg)~7L;
M
Mark Adler 已提交
874
    s->compressed_len += (stored_len + 4) << 3;
M
Mark Adler 已提交
875
#endif
M
Mark Adler 已提交
876 877 878
    copy_block(s, buf, (unsigned)stored_len, 1); /* with header */
}

M
Mark Adler 已提交
879
/* ===========================================================================
M
Mark Adler 已提交
880 881
 * Send one empty static block to give enough lookahead for inflate.
 * This takes 10 bits, of which 7 may remain in the bit buffer.
M
Mark Adler 已提交
882
 */
M
Mark Adler 已提交
883
void ZLIB_INTERNAL _tr_align(s)
M
Mark Adler 已提交
884 885 886 887
    deflate_state *s;
{
    send_bits(s, STATIC_TREES<<1, 3);
    send_code(s, END_BLOCK, static_ltree);
M
Mark Adler 已提交
888
#ifdef DEBUG
M
Mark Adler 已提交
889
    s->compressed_len += 10L; /* 3 for block type, 7 for EOB */
M
Mark Adler 已提交
890
#endif
M
Mark Adler 已提交
891
    bi_flush(s);
M
Mark Adler 已提交
892 893
}

M
Mark Adler 已提交
894 895
/* ===========================================================================
 * Determine the best encoding for the current block: dynamic trees, static
M
Mark Adler 已提交
896
 * trees or store, and output the encoded block to the zip file.
M
Mark Adler 已提交
897
 */
M
Mark Adler 已提交
898
void ZLIB_INTERNAL _tr_flush_block(s, buf, stored_len, last)
M
Mark Adler 已提交
899
    deflate_state *s;
M
Mark Adler 已提交
900
    charf *buf;       /* input block, or NULL if too old */
M
Mark Adler 已提交
901
    ulg stored_len;   /* length of input block */
M
Mark Adler 已提交
902
    int last;         /* one if this is the last block for a file */
M
Mark Adler 已提交
903 904
{
    ulg opt_lenb, static_lenb; /* opt_len and static_len in bytes */
M
Mark Adler 已提交
905
    int max_blindex = 0;  /* index of last bit length code of non zero freq */
M
Mark Adler 已提交
906

M
Mark Adler 已提交
907 908
    /* Build the Huffman trees unless a stored block is forced */
    if (s->level > 0) {
M
Mark Adler 已提交
909

M
Mark Adler 已提交
910
        /* Check if the file is binary or text */
M
Mark Adler 已提交
911 912
        if (s->strm->data_type == Z_UNKNOWN)
            s->strm->data_type = detect_data_type(s);
M
Mark Adler 已提交
913

M
Mark Adler 已提交
914 915 916 917
        /* Construct the literal and distance trees */
        build_tree(s, (tree_desc *)(&(s->l_desc)));
        Tracev((stderr, "\nlit data: dyn %ld, stat %ld", s->opt_len,
                s->static_len));
M
Mark Adler 已提交
918

M
Mark Adler 已提交
919 920 921 922 923 924
        build_tree(s, (tree_desc *)(&(s->d_desc)));
        Tracev((stderr, "\ndist data: dyn %ld, stat %ld", s->opt_len,
                s->static_len));
        /* At this point, opt_len and static_len are the total bit lengths of
         * the compressed block data, excluding the tree representations.
         */
M
Mark Adler 已提交
925

M
Mark Adler 已提交
926 927 928 929
        /* Build the bit length tree for the above two trees, and get the index
         * in bl_order of the last bit length code to send.
         */
        max_blindex = build_bl_tree(s);
M
Mark Adler 已提交
930

M
Mark Adler 已提交
931
        /* Determine the best encoding. Compute the block lengths in bytes. */
M
Mark Adler 已提交
932 933
        opt_lenb = (s->opt_len+3+7)>>3;
        static_lenb = (s->static_len+3+7)>>3;
M
Mark Adler 已提交
934

M
Mark Adler 已提交
935 936 937
        Tracev((stderr, "\nopt %lu(%lu) stat %lu(%lu) stored %lu lit %u ",
                opt_lenb, s->opt_len, static_lenb, s->static_len, stored_len,
                s->last_lit));
M
Mark Adler 已提交
938

M
Mark Adler 已提交
939
        if (static_lenb <= opt_lenb) opt_lenb = static_lenb;
M
Mark Adler 已提交
940 941 942

    } else {
        Assert(buf != (char*)0, "lost buf");
M
Mark Adler 已提交
943
        opt_lenb = static_lenb = stored_len + 5; /* force a stored block */
M
Mark Adler 已提交
944
    }
M
Mark Adler 已提交
945

M
Mark Adler 已提交
946 947
#ifdef FORCE_STORED
    if (buf != (char*)0) { /* force stored block */
M
Mark Adler 已提交
948 949 950 951 952 953 954 955 956 957
#else
    if (stored_len+4 <= opt_lenb && buf != (char*)0) {
                       /* 4: two words for the lengths */
#endif
        /* The test buf != NULL is only necessary if LIT_BUFSIZE > WSIZE.
         * Otherwise we can't have processed more than WSIZE input bytes since
         * the last block flush, because compression would have been
         * successful. If LIT_BUFSIZE <= WSIZE, it is never too late to
         * transform a block into a stored block.
         */
M
Mark Adler 已提交
958
        _tr_stored_block(s, buf, stored_len, last);
M
Mark Adler 已提交
959

M
Mark Adler 已提交
960 961
#ifdef FORCE_STATIC
    } else if (static_lenb >= 0) { /* force static trees */
M
Mark Adler 已提交
962
#else
M
Mark Adler 已提交
963
    } else if (s->strategy == Z_FIXED || static_lenb == opt_lenb) {
M
Mark Adler 已提交
964
#endif
M
Mark Adler 已提交
965
        send_bits(s, (STATIC_TREES<<1)+last, 3);
M
Mark Adler 已提交
966
        compress_block(s, (ct_data *)static_ltree, (ct_data *)static_dtree);
M
Mark Adler 已提交
967
#ifdef DEBUG
M
Mark Adler 已提交
968
        s->compressed_len += 3 + s->static_len;
M
Mark Adler 已提交
969
#endif
M
Mark Adler 已提交
970
    } else {
M
Mark Adler 已提交
971
        send_bits(s, (DYN_TREES<<1)+last, 3);
M
Mark Adler 已提交
972
        send_all_trees(s, s->l_desc.max_code+1, s->d_desc.max_code+1,
M
Mark Adler 已提交
973
                       max_blindex+1);
M
Mark Adler 已提交
974
        compress_block(s, (ct_data *)s->dyn_ltree, (ct_data *)s->dyn_dtree);
M
Mark Adler 已提交
975
#ifdef DEBUG
M
Mark Adler 已提交
976
        s->compressed_len += 3 + s->opt_len;
M
Mark Adler 已提交
977
#endif
M
Mark Adler 已提交
978 979
    }
    Assert (s->compressed_len == s->bits_sent, "bad compressed size");
M
Mark Adler 已提交
980 981 982
    /* The above check is made mod 2^32, for files larger than 512 MB
     * and uLong implemented on 32 bits.
     */
M
Mark Adler 已提交
983 984
    init_block(s);

M
Mark Adler 已提交
985
    if (last) {
M
Mark Adler 已提交
986
        bi_windup(s);
M
Mark Adler 已提交
987
#ifdef DEBUG
M
Mark Adler 已提交
988
        s->compressed_len += 7;  /* align on byte boundary */
M
Mark Adler 已提交
989
#endif
M
Mark Adler 已提交
990 991
    }
    Tracev((stderr,"\ncomprlen %lu(%lu) ", s->compressed_len>>3,
M
Mark Adler 已提交
992
           s->compressed_len-7*last));
M
Mark Adler 已提交
993 994 995 996 997 998
}

/* ===========================================================================
 * Save the match info and tally the frequency counts. Return true if
 * the current block must be flushed.
 */
M
Mark Adler 已提交
999
int ZLIB_INTERNAL _tr_tally (s, dist, lc)
M
Mark Adler 已提交
1000
    deflate_state *s;
M
Mark Adler 已提交
1001 1002
    unsigned dist;  /* distance of matched string */
    unsigned lc;    /* match length-MIN_MATCH or unmatched char (if dist==0) */
M
Mark Adler 已提交
1003 1004 1005 1006 1007 1008 1009
{
    s->d_buf[s->last_lit] = (ush)dist;
    s->l_buf[s->last_lit++] = (uch)lc;
    if (dist == 0) {
        /* lc is the unmatched char */
        s->dyn_ltree[lc].Freq++;
    } else {
M
Mark Adler 已提交
1010
        s->matches++;
M
Mark Adler 已提交
1011 1012 1013 1014
        /* Here, lc is the match length - MIN_MATCH */
        dist--;             /* dist = match distance - 1 */
        Assert((ush)dist < (ush)MAX_DIST(s) &&
               (ush)lc <= (ush)(MAX_MATCH-MIN_MATCH) &&
M
Mark Adler 已提交
1015
               (ush)d_code(dist) < (ush)D_CODES,  "_tr_tally: bad match");
M
Mark Adler 已提交
1016

M
Mark Adler 已提交
1017
        s->dyn_ltree[_length_code[lc]+LITERALS+1].Freq++;
M
Mark Adler 已提交
1018 1019 1020
        s->dyn_dtree[d_code(dist)].Freq++;
    }

M
Mark Adler 已提交
1021
#ifdef TRUNCATE_BLOCK
M
Mark Adler 已提交
1022
    /* Try to guess if it is profitable to stop the current block here */
M
Mark Adler 已提交
1023
    if ((s->last_lit & 0x1fff) == 0 && s->level > 2) {
M
Mark Adler 已提交
1024 1025
        /* Compute an upper bound for the compressed length */
        ulg out_length = (ulg)s->last_lit*8L;
M
Mark Adler 已提交
1026
        ulg in_length = (ulg)((long)s->strstart - s->block_start);
M
Mark Adler 已提交
1027 1028 1029
        int dcode;
        for (dcode = 0; dcode < D_CODES; dcode++) {
            out_length += (ulg)s->dyn_dtree[dcode].Freq *
M
Mark Adler 已提交
1030
                (5L+extra_dbits[dcode]);
M
Mark Adler 已提交
1031 1032 1033 1034 1035 1036 1037
        }
        out_length >>= 3;
        Tracev((stderr,"\nlast_lit %u, in %ld, out ~%ld(%ld%%) ",
               s->last_lit, in_length, out_length,
               100L - out_length*100L/in_length));
        if (s->matches < s->last_lit/2 && out_length < in_length/2) return 1;
    }
M
Mark Adler 已提交
1038
#endif
M
Mark Adler 已提交
1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060
    return (s->last_lit == s->lit_bufsize-1);
    /* We avoid equality with lit_bufsize because of wraparound at 64K
     * on 16 bit machines and because stored blocks are restricted to
     * 64K-1 bytes.
     */
}

/* ===========================================================================
 * Send the block data compressed using the given Huffman trees
 */
local void compress_block(s, ltree, dtree)
    deflate_state *s;
    ct_data *ltree; /* literal tree */
    ct_data *dtree; /* distance tree */
{
    unsigned dist;      /* distance of matched string */
    int lc;             /* match length or unmatched char (if dist == 0) */
    unsigned lx = 0;    /* running index in l_buf */
    unsigned code;      /* the code to send */
    int extra;          /* number of extra bits to send */

    if (s->last_lit != 0) do {
M
Mark Adler 已提交
1061
        dist = s->d_buf[lx];
M
Mark Adler 已提交
1062 1063 1064 1065 1066 1067
        lc = s->l_buf[lx++];
        if (dist == 0) {
            send_code(s, lc, ltree); /* send a literal byte */
            Tracecv(isgraph(lc), (stderr," '%c' ", lc));
        } else {
            /* Here, lc is the match length - MIN_MATCH */
M
Mark Adler 已提交
1068
            code = _length_code[lc];
M
Mark Adler 已提交
1069 1070 1071 1072 1073 1074
            send_code(s, code+LITERALS+1, ltree); /* send the length code */
            extra = extra_lbits[code];
            if (extra != 0) {
                lc -= base_length[code];
                send_bits(s, lc, extra);       /* send the extra length bits */
            }
M
Mark Adler 已提交
1075
            dist--; /* dist is now the match distance - 1 */
M
Mark Adler 已提交
1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086
            code = d_code(dist);
            Assert (code < D_CODES, "bad d_code");

            send_code(s, code, dtree);       /* send the distance code */
            extra = extra_dbits[code];
            if (extra != 0) {
                dist -= base_dist[code];
                send_bits(s, dist, extra);   /* send the extra distance bits */
            }
        } /* literal or match pair ? */

M
Mark Adler 已提交
1087
        /* Check that the overlay between pending_buf and d_buf+l_buf is ok: */
M
Mark Adler 已提交
1088 1089
        Assert((uInt)(s->pending) < s->lit_bufsize + 2*lx,
               "pendingBuf overflow");
M
Mark Adler 已提交
1090 1091 1092 1093 1094 1095 1096

    } while (lx < s->last_lit);

    send_code(s, END_BLOCK, ltree);
}

/* ===========================================================================
M
Mark Adler 已提交
1097 1098 1099 1100 1101 1102 1103 1104 1105 1106
 * Check if the data type is TEXT or BINARY, using the following algorithm:
 * - TEXT if the two conditions below are satisfied:
 *    a) There are no non-portable control characters belonging to the
 *       "black list" (0..6, 14..25, 28..31).
 *    b) There is at least one printable character belonging to the
 *       "white list" (9 {TAB}, 10 {LF}, 13 {CR}, 32..255).
 * - BINARY otherwise.
 * - The following partially-portable control characters form a
 *   "gray list" that is ignored in this detection algorithm:
 *   (7 {BEL}, 8 {BS}, 11 {VT}, 12 {FF}, 26 {SUB}, 27 {ESC}).
M
Mark Adler 已提交
1107
 * IN assertion: the fields Freq of dyn_ltree are set.
M
Mark Adler 已提交
1108
 */
M
Mark Adler 已提交
1109
local int detect_data_type(s)
M
Mark Adler 已提交
1110 1111
    deflate_state *s;
{
M
Mark Adler 已提交
1112 1113 1114 1115 1116
    /* black_mask is the bit mask of black-listed bytes
     * set bits 0..6, 14..25, and 28..31
     * 0xf3ffc07f = binary 11110011111111111100000001111111
     */
    unsigned long black_mask = 0xf3ffc07fUL;
M
Mark Adler 已提交
1117 1118
    int n;

M
Mark Adler 已提交
1119 1120 1121 1122 1123 1124 1125 1126 1127 1128
    /* Check for non-textual ("black-listed") bytes. */
    for (n = 0; n <= 31; n++, black_mask >>= 1)
        if ((black_mask & 1) && (s->dyn_ltree[n].Freq != 0))
            return Z_BINARY;

    /* Check for textual ("white-listed") bytes. */
    if (s->dyn_ltree[9].Freq != 0 || s->dyn_ltree[10].Freq != 0
            || s->dyn_ltree[13].Freq != 0)
        return Z_TEXT;
    for (n = 32; n < LITERALS; n++)
M
Mark Adler 已提交
1129
        if (s->dyn_ltree[n].Freq != 0)
M
Mark Adler 已提交
1130 1131 1132 1133 1134 1135
            return Z_TEXT;

    /* There are no "black-listed" or "white-listed" bytes:
     * this stream either is empty or has tolerated ("gray-listed") bytes only.
     */
    return Z_BINARY;
M
Mark Adler 已提交
1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155
}

/* ===========================================================================
 * Reverse the first len bits of a code, using straightforward code (a faster
 * method would use a table)
 * IN assertion: 1 <= len <= 15
 */
local unsigned bi_reverse(code, len)
    unsigned code; /* the value to invert */
    int len;       /* its bit length */
{
    register unsigned res = 0;
    do {
        res |= code & 1;
        code >>= 1, res <<= 1;
    } while (--len > 0);
    return res >> 1;
}

/* ===========================================================================
M
Mark Adler 已提交
1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173
 * Flush the bit buffer, keeping at most 7 bits in it.
 */
local void bi_flush(s)
    deflate_state *s;
{
    if (s->bi_valid == 16) {
        put_short(s, s->bi_buf);
        s->bi_buf = 0;
        s->bi_valid = 0;
    } else if (s->bi_valid >= 8) {
        put_byte(s, (Byte)s->bi_buf);
        s->bi_buf >>= 8;
        s->bi_valid -= 8;
    }
}

/* ===========================================================================
 * Flush the bit buffer and align the output on a byte boundary
M
Mark Adler 已提交
1174 1175 1176 1177 1178 1179 1180
 */
local void bi_windup(s)
    deflate_state *s;
{
    if (s->bi_valid > 8) {
        put_short(s, s->bi_buf);
    } else if (s->bi_valid > 0) {
M
Mark Adler 已提交
1181
        put_byte(s, (Byte)s->bi_buf);
M
Mark Adler 已提交
1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195
    }
    s->bi_buf = 0;
    s->bi_valid = 0;
#ifdef DEBUG
    s->bits_sent = (s->bits_sent+7) & ~7;
#endif
}

/* ===========================================================================
 * Copy a stored block, storing first the length and its
 * one's complement if requested.
 */
local void copy_block(s, buf, len, header)
    deflate_state *s;
M
Mark Adler 已提交
1196
    charf    *buf;    /* the input data */
M
Mark Adler 已提交
1197 1198 1199
    unsigned len;     /* its length */
    int      header;  /* true if block header must be written */
{
M
Mark Adler 已提交
1200
    bi_windup(s);        /* align on byte boundary */
M
Mark Adler 已提交
1201 1202

    if (header) {
M
Mark Adler 已提交
1203
        put_short(s, (ush)len);
M
Mark Adler 已提交
1204 1205 1206 1207 1208 1209 1210 1211 1212
        put_short(s, (ush)~len);
#ifdef DEBUG
        s->bits_sent += 2*16;
#endif
    }
#ifdef DEBUG
    s->bits_sent += (ulg)len<<3;
#endif
    while (len--) {
M
Mark Adler 已提交
1213
        put_byte(s, *buf++);
M
Mark Adler 已提交
1214 1215
    }
}