annotate lib/zlib/deflate.h @ 2029:81a0e6819d3f

Слияние
author Ritor1
date Mon, 18 Nov 2013 10:07:24 +0600
parents 9c0607679772
children
rev   line source
0
Ritor1
parents:
diff changeset
1 /* deflate.h -- internal compression state
Ritor1
parents:
diff changeset
2 * Copyright (C) 1995-1998 Jean-loup Gailly
Ritor1
parents:
diff changeset
3 * For conditions of distribution and use, see copyright notice in zlib.h
Ritor1
parents:
diff changeset
4 */
Ritor1
parents:
diff changeset
5
Ritor1
parents:
diff changeset
6 /* WARNING: this file should *not* be used by applications. It is
Ritor1
parents:
diff changeset
7 part of the implementation of the compression library and is
Ritor1
parents:
diff changeset
8 subject to change. Applications should only use zlib.h.
Ritor1
parents:
diff changeset
9 */
Ritor1
parents:
diff changeset
10
Ritor1
parents:
diff changeset
11 /* @(#) $Id$ */
Ritor1
parents:
diff changeset
12
Ritor1
parents:
diff changeset
13 #ifndef _DEFLATE_H
Ritor1
parents:
diff changeset
14 #define _DEFLATE_H
Ritor1
parents:
diff changeset
15
Ritor1
parents:
diff changeset
16 #include "zutil.h"
Ritor1
parents:
diff changeset
17
Ritor1
parents:
diff changeset
18 /* ===========================================================================
Ritor1
parents:
diff changeset
19 * Internal compression state.
Ritor1
parents:
diff changeset
20 */
Ritor1
parents:
diff changeset
21
Ritor1
parents:
diff changeset
22 #define LENGTH_CODES 29
Ritor1
parents:
diff changeset
23 /* number of length codes, not counting the special END_BLOCK code */
Ritor1
parents:
diff changeset
24
Ritor1
parents:
diff changeset
25 #define LITERALS 256
Ritor1
parents:
diff changeset
26 /* number of literal bytes 0..255 */
Ritor1
parents:
diff changeset
27
Ritor1
parents:
diff changeset
28 #define L_CODES (LITERALS+1+LENGTH_CODES)
Ritor1
parents:
diff changeset
29 /* number of Literal or Length codes, including the END_BLOCK code */
Ritor1
parents:
diff changeset
30
Ritor1
parents:
diff changeset
31 #define D_CODES 30
Ritor1
parents:
diff changeset
32 /* number of distance codes */
Ritor1
parents:
diff changeset
33
Ritor1
parents:
diff changeset
34 #define BL_CODES 19
Ritor1
parents:
diff changeset
35 /* number of codes used to transfer the bit lengths */
Ritor1
parents:
diff changeset
36
Ritor1
parents:
diff changeset
37 #define HEAP_SIZE (2*L_CODES+1)
Ritor1
parents:
diff changeset
38 /* maximum heap size */
Ritor1
parents:
diff changeset
39
Ritor1
parents:
diff changeset
40 #define MAX_BITS 15
Ritor1
parents:
diff changeset
41 /* All codes must not exceed MAX_BITS bits */
Ritor1
parents:
diff changeset
42
Ritor1
parents:
diff changeset
43 #define INIT_STATE 42
Ritor1
parents:
diff changeset
44 #define BUSY_STATE 113
Ritor1
parents:
diff changeset
45 #define FINISH_STATE 666
Ritor1
parents:
diff changeset
46 /* Stream status */
Ritor1
parents:
diff changeset
47
Ritor1
parents:
diff changeset
48
Ritor1
parents:
diff changeset
49 /* Data structure describing a single value and its code string. */
Ritor1
parents:
diff changeset
50 typedef struct ct_data_s {
Ritor1
parents:
diff changeset
51 union {
Ritor1
parents:
diff changeset
52 ush freq; /* frequency count */
Ritor1
parents:
diff changeset
53 ush code; /* bit string */
Ritor1
parents:
diff changeset
54 } fc;
Ritor1
parents:
diff changeset
55 union {
Ritor1
parents:
diff changeset
56 ush dad; /* father node in Huffman tree */
Ritor1
parents:
diff changeset
57 ush len; /* length of bit string */
Ritor1
parents:
diff changeset
58 } dl;
Ritor1
parents:
diff changeset
59 } FAR ct_data;
Ritor1
parents:
diff changeset
60
Ritor1
parents:
diff changeset
61 #define Freq fc.freq
Ritor1
parents:
diff changeset
62 #define Code fc.code
Ritor1
parents:
diff changeset
63 #define Dad dl.dad
Ritor1
parents:
diff changeset
64 #define Len dl.len
Ritor1
parents:
diff changeset
65
Ritor1
parents:
diff changeset
66 typedef struct static_tree_desc_s static_tree_desc;
Ritor1
parents:
diff changeset
67
Ritor1
parents:
diff changeset
68 typedef struct tree_desc_s {
Ritor1
parents:
diff changeset
69 ct_data *dyn_tree; /* the dynamic tree */
Ritor1
parents:
diff changeset
70 int max_code; /* largest code with non zero frequency */
Ritor1
parents:
diff changeset
71 static_tree_desc *stat_desc; /* the corresponding static tree */
Ritor1
parents:
diff changeset
72 } FAR tree_desc;
Ritor1
parents:
diff changeset
73
Ritor1
parents:
diff changeset
74 typedef ush Pos;
Ritor1
parents:
diff changeset
75 typedef Pos FAR Posf;
Ritor1
parents:
diff changeset
76 typedef unsigned IPos;
Ritor1
parents:
diff changeset
77
Ritor1
parents:
diff changeset
78 /* A Pos is an index in the character window. We use short instead of int to
Ritor1
parents:
diff changeset
79 * save space in the various tables. IPos is used only for parameter passing.
Ritor1
parents:
diff changeset
80 */
Ritor1
parents:
diff changeset
81
Ritor1
parents:
diff changeset
82 typedef struct internal_state {
Ritor1
parents:
diff changeset
83 z_streamp strm; /* pointer back to this zlib stream */
Ritor1
parents:
diff changeset
84 int status; /* as the name implies */
Ritor1
parents:
diff changeset
85 Bytef *pending_buf; /* output still pending */
Ritor1
parents:
diff changeset
86 ulg pending_buf_size; /* size of pending_buf */
Ritor1
parents:
diff changeset
87 Bytef *pending_out; /* next pending byte to output to the stream */
Ritor1
parents:
diff changeset
88 int pending; /* nb of bytes in the pending buffer */
Ritor1
parents:
diff changeset
89 int noheader; /* suppress zlib header and adler32 */
Ritor1
parents:
diff changeset
90 Byte data_type; /* UNKNOWN, BINARY or ASCII */
Ritor1
parents:
diff changeset
91 Byte method; /* STORED (for zip only) or DEFLATED */
Ritor1
parents:
diff changeset
92 int last_flush; /* value of flush param for previous deflate call */
Ritor1
parents:
diff changeset
93
Ritor1
parents:
diff changeset
94 /* used by deflate.c: */
Ritor1
parents:
diff changeset
95
Ritor1
parents:
diff changeset
96 uInt w_size; /* LZ77 window size (32K by default) */
Ritor1
parents:
diff changeset
97 uInt w_bits; /* log2(w_size) (8..16) */
Ritor1
parents:
diff changeset
98 uInt w_mask; /* w_size - 1 */
Ritor1
parents:
diff changeset
99
Ritor1
parents:
diff changeset
100 Bytef *window;
Ritor1
parents:
diff changeset
101 /* Sliding window. Input bytes are read into the second half of the window,
Ritor1
parents:
diff changeset
102 * and move to the first half later to keep a dictionary of at least wSize
Ritor1
parents:
diff changeset
103 * bytes. With this organization, matches are limited to a distance of
Ritor1
parents:
diff changeset
104 * wSize-MAX_MATCH bytes, but this ensures that IO is always
Ritor1
parents:
diff changeset
105 * performed with a length multiple of the block size. Also, it limits
Ritor1
parents:
diff changeset
106 * the window size to 64K, which is quite useful on MSDOS.
Ritor1
parents:
diff changeset
107 * To do: use the user input buffer as sliding window.
Ritor1
parents:
diff changeset
108 */
Ritor1
parents:
diff changeset
109
Ritor1
parents:
diff changeset
110 ulg window_size;
Ritor1
parents:
diff changeset
111 /* Actual size of window: 2*wSize, except when the user input buffer
Ritor1
parents:
diff changeset
112 * is directly used as sliding window.
Ritor1
parents:
diff changeset
113 */
Ritor1
parents:
diff changeset
114
Ritor1
parents:
diff changeset
115 Posf *prev;
Ritor1
parents:
diff changeset
116 /* Link to older string with same hash index. To limit the size of this
Ritor1
parents:
diff changeset
117 * array to 64K, this link is maintained only for the last 32K strings.
Ritor1
parents:
diff changeset
118 * An index in this array is thus a window index modulo 32K.
Ritor1
parents:
diff changeset
119 */
Ritor1
parents:
diff changeset
120
Ritor1
parents:
diff changeset
121 Posf *head; /* Heads of the hash chains or NIL. */
Ritor1
parents:
diff changeset
122
Ritor1
parents:
diff changeset
123 uInt ins_h; /* hash index of string to be inserted */
Ritor1
parents:
diff changeset
124 uInt hash_size; /* number of elements in hash table */
Ritor1
parents:
diff changeset
125 uInt hash_bits; /* log2(hash_size) */
Ritor1
parents:
diff changeset
126 uInt hash_mask; /* hash_size-1 */
Ritor1
parents:
diff changeset
127
Ritor1
parents:
diff changeset
128 uInt hash_shift;
Ritor1
parents:
diff changeset
129 /* Number of bits by which ins_h must be shifted at each input
Ritor1
parents:
diff changeset
130 * step. It must be such that after MIN_MATCH steps, the oldest
Ritor1
parents:
diff changeset
131 * byte no longer takes part in the hash key, that is:
Ritor1
parents:
diff changeset
132 * hash_shift * MIN_MATCH >= hash_bits
Ritor1
parents:
diff changeset
133 */
Ritor1
parents:
diff changeset
134
Ritor1
parents:
diff changeset
135 long block_start;
Ritor1
parents:
diff changeset
136 /* Window position at the beginning of the current output block. Gets
Ritor1
parents:
diff changeset
137 * negative when the window is moved backwards.
Ritor1
parents:
diff changeset
138 */
Ritor1
parents:
diff changeset
139
Ritor1
parents:
diff changeset
140 uInt match_length; /* length of best match */
Ritor1
parents:
diff changeset
141 IPos prev_match; /* previous match */
Ritor1
parents:
diff changeset
142 int match_available; /* set if previous match exists */
Ritor1
parents:
diff changeset
143 uInt strstart; /* start of string to insert */
Ritor1
parents:
diff changeset
144 uInt match_start; /* start of matching string */
Ritor1
parents:
diff changeset
145 uInt lookahead; /* number of valid bytes ahead in window */
Ritor1
parents:
diff changeset
146
Ritor1
parents:
diff changeset
147 uInt prev_length;
Ritor1
parents:
diff changeset
148 /* Length of the best match at previous step. Matches not greater than this
Ritor1
parents:
diff changeset
149 * are discarded. This is used in the lazy match evaluation.
Ritor1
parents:
diff changeset
150 */
Ritor1
parents:
diff changeset
151
Ritor1
parents:
diff changeset
152 uInt max_chain_length;
Ritor1
parents:
diff changeset
153 /* To speed up deflation, hash chains are never searched beyond this
Ritor1
parents:
diff changeset
154 * length. A higher limit improves compression ratio but degrades the
Ritor1
parents:
diff changeset
155 * speed.
Ritor1
parents:
diff changeset
156 */
Ritor1
parents:
diff changeset
157
Ritor1
parents:
diff changeset
158 uInt max_lazy_match;
Ritor1
parents:
diff changeset
159 /* Attempt to find a better match only when the current match is strictly
Ritor1
parents:
diff changeset
160 * smaller than this value. This mechanism is used only for compression
Ritor1
parents:
diff changeset
161 * levels >= 4.
Ritor1
parents:
diff changeset
162 */
Ritor1
parents:
diff changeset
163 # define max_insert_length max_lazy_match
Ritor1
parents:
diff changeset
164 /* Insert new strings in the hash table only if the match length is not
Ritor1
parents:
diff changeset
165 * greater than this length. This saves time but degrades compression.
Ritor1
parents:
diff changeset
166 * max_insert_length is used only for compression levels <= 3.
Ritor1
parents:
diff changeset
167 */
Ritor1
parents:
diff changeset
168
Ritor1
parents:
diff changeset
169 int level; /* compression level (1..9) */
Ritor1
parents:
diff changeset
170 int strategy; /* favor or force Huffman coding*/
Ritor1
parents:
diff changeset
171
Ritor1
parents:
diff changeset
172 uInt good_match;
Ritor1
parents:
diff changeset
173 /* Use a faster search when the previous match is longer than this */
Ritor1
parents:
diff changeset
174
Ritor1
parents:
diff changeset
175 int nice_match; /* Stop searching when current match exceeds this */
Ritor1
parents:
diff changeset
176
Ritor1
parents:
diff changeset
177 /* used by trees.c: */
Ritor1
parents:
diff changeset
178 /* Didn't use ct_data typedef below to supress compiler warning */
Ritor1
parents:
diff changeset
179 struct ct_data_s dyn_ltree[HEAP_SIZE]; /* literal and length tree */
Ritor1
parents:
diff changeset
180 struct ct_data_s dyn_dtree[2*D_CODES+1]; /* distance tree */
Ritor1
parents:
diff changeset
181 struct ct_data_s bl_tree[2*BL_CODES+1]; /* Huffman tree for bit lengths */
Ritor1
parents:
diff changeset
182
Ritor1
parents:
diff changeset
183 struct tree_desc_s l_desc; /* desc. for literal tree */
Ritor1
parents:
diff changeset
184 struct tree_desc_s d_desc; /* desc. for distance tree */
Ritor1
parents:
diff changeset
185 struct tree_desc_s bl_desc; /* desc. for bit length tree */
Ritor1
parents:
diff changeset
186
Ritor1
parents:
diff changeset
187 ush bl_count[MAX_BITS+1];
Ritor1
parents:
diff changeset
188 /* number of codes at each bit length for an optimal tree */
Ritor1
parents:
diff changeset
189
Ritor1
parents:
diff changeset
190 int heap[2*L_CODES+1]; /* heap used to build the Huffman trees */
Ritor1
parents:
diff changeset
191 int heap_len; /* number of elements in the heap */
Ritor1
parents:
diff changeset
192 int heap_max; /* element of largest frequency */
Ritor1
parents:
diff changeset
193 /* The sons of heap[n] are heap[2*n] and heap[2*n+1]. heap[0] is not used.
Ritor1
parents:
diff changeset
194 * The same heap array is used to build all trees.
Ritor1
parents:
diff changeset
195 */
Ritor1
parents:
diff changeset
196
Ritor1
parents:
diff changeset
197 uch depth[2*L_CODES+1];
Ritor1
parents:
diff changeset
198 /* Depth of each subtree used as tie breaker for trees of equal frequency
Ritor1
parents:
diff changeset
199 */
Ritor1
parents:
diff changeset
200
Ritor1
parents:
diff changeset
201 uchf *l_buf; /* buffer for literals or lengths */
Ritor1
parents:
diff changeset
202
Ritor1
parents:
diff changeset
203 uInt lit_bufsize;
Ritor1
parents:
diff changeset
204 /* Size of match buffer for literals/lengths. There are 4 reasons for
Ritor1
parents:
diff changeset
205 * limiting lit_bufsize to 64K:
Ritor1
parents:
diff changeset
206 * - frequencies can be kept in 16 bit counters
Ritor1
parents:
diff changeset
207 * - if compression is not successful for the first block, all input
Ritor1
parents:
diff changeset
208 * data is still in the window so we can still emit a stored block even
Ritor1
parents:
diff changeset
209 * when input comes from standard input. (This can also be done for
Ritor1
parents:
diff changeset
210 * all blocks if lit_bufsize is not greater than 32K.)
Ritor1
parents:
diff changeset
211 * - if compression is not successful for a file smaller than 64K, we can
Ritor1
parents:
diff changeset
212 * even emit a stored file instead of a stored block (saving 5 bytes).
Ritor1
parents:
diff changeset
213 * This is applicable only for zip (not gzip or zlib).
Ritor1
parents:
diff changeset
214 * - creating new Huffman trees less frequently may not provide fast
Ritor1
parents:
diff changeset
215 * adaptation to changes in the input data statistics. (Take for
Ritor1
parents:
diff changeset
216 * example a binary file with poorly compressible code followed by
Ritor1
parents:
diff changeset
217 * a highly compressible string table.) Smaller buffer sizes give
Ritor1
parents:
diff changeset
218 * fast adaptation but have of course the overhead of transmitting
Ritor1
parents:
diff changeset
219 * trees more frequently.
Ritor1
parents:
diff changeset
220 * - I can't count above 4
Ritor1
parents:
diff changeset
221 */
Ritor1
parents:
diff changeset
222
Ritor1
parents:
diff changeset
223 uInt last_lit; /* running index in l_buf */
Ritor1
parents:
diff changeset
224
Ritor1
parents:
diff changeset
225 ushf *d_buf;
Ritor1
parents:
diff changeset
226 /* Buffer for distances. To simplify the code, d_buf and l_buf have
Ritor1
parents:
diff changeset
227 * the same number of elements. To use different lengths, an extra flag
Ritor1
parents:
diff changeset
228 * array would be necessary.
Ritor1
parents:
diff changeset
229 */
Ritor1
parents:
diff changeset
230
Ritor1
parents:
diff changeset
231 ulg opt_len; /* bit length of current block with optimal trees */
Ritor1
parents:
diff changeset
232 ulg static_len; /* bit length of current block with static trees */
Ritor1
parents:
diff changeset
233 uInt matches; /* number of string matches in current block */
Ritor1
parents:
diff changeset
234 int last_eob_len; /* bit length of EOB code for last block */
Ritor1
parents:
diff changeset
235
Ritor1
parents:
diff changeset
236 #ifdef DEBUG
Ritor1
parents:
diff changeset
237 ulg compressed_len; /* total bit length of compressed file mod 2^32 */
Ritor1
parents:
diff changeset
238 ulg bits_sent; /* bit length of compressed data sent mod 2^32 */
Ritor1
parents:
diff changeset
239 #endif
Ritor1
parents:
diff changeset
240
Ritor1
parents:
diff changeset
241 ush bi_buf;
Ritor1
parents:
diff changeset
242 /* Output buffer. bits are inserted starting at the bottom (least
Ritor1
parents:
diff changeset
243 * significant bits).
Ritor1
parents:
diff changeset
244 */
Ritor1
parents:
diff changeset
245 int bi_valid;
Ritor1
parents:
diff changeset
246 /* Number of valid bits in bi_buf. All bits above the last valid bit
Ritor1
parents:
diff changeset
247 * are always zero.
Ritor1
parents:
diff changeset
248 */
Ritor1
parents:
diff changeset
249
Ritor1
parents:
diff changeset
250 } FAR deflate_state;
Ritor1
parents:
diff changeset
251
Ritor1
parents:
diff changeset
252 /* Output a byte on the stream.
Ritor1
parents:
diff changeset
253 * IN assertion: there is enough room in pending_buf.
Ritor1
parents:
diff changeset
254 */
Ritor1
parents:
diff changeset
255 #define put_byte(s, c) {s->pending_buf[s->pending++] = (c);}
Ritor1
parents:
diff changeset
256
Ritor1
parents:
diff changeset
257
Ritor1
parents:
diff changeset
258 #define MIN_LOOKAHEAD (MAX_MATCH+MIN_MATCH+1)
Ritor1
parents:
diff changeset
259 /* Minimum amount of lookahead, except at the end of the input file.
Ritor1
parents:
diff changeset
260 * See deflate.c for comments about the MIN_MATCH+1.
Ritor1
parents:
diff changeset
261 */
Ritor1
parents:
diff changeset
262
Ritor1
parents:
diff changeset
263 #define MAX_DIST(s) ((s)->w_size-MIN_LOOKAHEAD)
Ritor1
parents:
diff changeset
264 /* In order to simplify the code, particularly on 16 bit machines, match
Ritor1
parents:
diff changeset
265 * distances are limited to MAX_DIST instead of WSIZE.
Ritor1
parents:
diff changeset
266 */
Ritor1
parents:
diff changeset
267
Ritor1
parents:
diff changeset
268 /* in trees.c */
Ritor1
parents:
diff changeset
269 void _tr_init OF((deflate_state *s));
Ritor1
parents:
diff changeset
270 int _tr_tally OF((deflate_state *s, unsigned dist, unsigned lc));
Ritor1
parents:
diff changeset
271 void _tr_flush_block OF((deflate_state *s, charf *buf, ulg stored_len,
Ritor1
parents:
diff changeset
272 int eof));
Ritor1
parents:
diff changeset
273 void _tr_align OF((deflate_state *s));
Ritor1
parents:
diff changeset
274 void _tr_stored_block OF((deflate_state *s, charf *buf, ulg stored_len,
Ritor1
parents:
diff changeset
275 int eof));
Ritor1
parents:
diff changeset
276
Ritor1
parents:
diff changeset
277 #define d_code(dist) \
Ritor1
parents:
diff changeset
278 ((dist) < 256 ? _dist_code[dist] : _dist_code[256+((dist)>>7)])
Ritor1
parents:
diff changeset
279 /* Mapping from a distance to a distance code. dist is the distance - 1 and
Ritor1
parents:
diff changeset
280 * must not have side effects. _dist_code[256] and _dist_code[257] are never
Ritor1
parents:
diff changeset
281 * used.
Ritor1
parents:
diff changeset
282 */
Ritor1
parents:
diff changeset
283
Ritor1
parents:
diff changeset
284 #ifndef DEBUG
Ritor1
parents:
diff changeset
285 /* Inline versions of _tr_tally for speed: */
Ritor1
parents:
diff changeset
286
Ritor1
parents:
diff changeset
287 #if defined(GEN_TREES_H) || !defined(STDC)
Ritor1
parents:
diff changeset
288 extern uch _length_code[];
Ritor1
parents:
diff changeset
289 extern uch _dist_code[];
Ritor1
parents:
diff changeset
290 #else
Ritor1
parents:
diff changeset
291 extern const uch _length_code[];
Ritor1
parents:
diff changeset
292 extern const uch _dist_code[];
Ritor1
parents:
diff changeset
293 #endif
Ritor1
parents:
diff changeset
294
Ritor1
parents:
diff changeset
295 # define _tr_tally_lit(s, c, flush) \
Ritor1
parents:
diff changeset
296 { uch cc = (c); \
Ritor1
parents:
diff changeset
297 s->d_buf[s->last_lit] = 0; \
Ritor1
parents:
diff changeset
298 s->l_buf[s->last_lit++] = cc; \
Ritor1
parents:
diff changeset
299 s->dyn_ltree[cc].Freq++; \
Ritor1
parents:
diff changeset
300 flush = (s->last_lit == s->lit_bufsize-1); \
Ritor1
parents:
diff changeset
301 }
Ritor1
parents:
diff changeset
302 # define _tr_tally_dist(s, distance, length, flush) \
Ritor1
parents:
diff changeset
303 { uch len = (length); \
Ritor1
parents:
diff changeset
304 ush dist = (distance); \
Ritor1
parents:
diff changeset
305 s->d_buf[s->last_lit] = dist; \
Ritor1
parents:
diff changeset
306 s->l_buf[s->last_lit++] = len; \
Ritor1
parents:
diff changeset
307 dist--; \
Ritor1
parents:
diff changeset
308 s->dyn_ltree[_length_code[len]+LITERALS+1].Freq++; \
Ritor1
parents:
diff changeset
309 s->dyn_dtree[d_code(dist)].Freq++; \
Ritor1
parents:
diff changeset
310 flush = (s->last_lit == s->lit_bufsize-1); \
Ritor1
parents:
diff changeset
311 }
Ritor1
parents:
diff changeset
312 #else
Ritor1
parents:
diff changeset
313 # define _tr_tally_lit(s, c, flush) flush = _tr_tally(s, 0, c)
Ritor1
parents:
diff changeset
314 # define _tr_tally_dist(s, distance, length, flush) \
Ritor1
parents:
diff changeset
315 flush = _tr_tally(s, distance, length)
Ritor1
parents:
diff changeset
316 #endif
Ritor1
parents:
diff changeset
317
Ritor1
parents:
diff changeset
318 #endif