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