1 /* deflate.c -- compress data using the deflation algorithm
3 Copyright (C) 1999, 2006, 2009-2021 Free Software Foundation, Inc.
4 Copyright (C) 1992-1993 Jean-loup Gailly
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3, or (at your option)
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software Foundation,
18 Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. */
23 * Identify new text as repetitions of old text within a fixed-
24 * length sliding window trailing behind the new text.
28 * The "deflation" process depends on being able to identify portions
29 * of the input text which are identical to earlier input (within a
30 * sliding window trailing behind the input currently being processed).
32 * The most straightforward technique turns out to be the fastest for
33 * most input files: try all possible matches and select the longest.
34 * The key feature of this algorithm is that insertions into the string
35 * dictionary are very simple and thus fast, and deletions are avoided
36 * completely. Insertions are performed at each input character, whereas
37 * string matches are performed only when the previous match ends. So it
38 * is preferable to spend more time in matches to allow very fast string
39 * insertions and avoid deletions. The matching algorithm for small
40 * strings is inspired from that of Rabin & Karp. A brute force approach
41 * is used to find longer strings when a small match has been found.
42 * A similar algorithm is used in comic (by Jan-Mark Wams) and freeze
43 * (by Leonid Broukhis).
44 * A previous version of this file used a more sophisticated algorithm
45 * (by Fiala and Greene) which is guaranteed to run in linear amortized
46 * time, but has a larger average cost, uses more memory and is patented.
47 * However the F&G algorithm may be faster for some highly redundant
48 * files if the parameter max_chain_length (described below) is too large.
52 * The idea of lazy evaluation of matches is due to Jan-Mark Wams, and
53 * I found it in 'freeze' written by Leonid Broukhis.
54 * Thanks to many info-zippers for bug reports and testing.
58 * APPNOTE.TXT documentation file in PKZIP 1.93a distribution.
60 * A description of the Rabin and Karp algorithm is given in the book
61 * "Algorithms" by R. Sedgewick, Addison-Wesley, p252.
63 * Fiala,E.R., and Greene,D.H.
64 * Data Compression with Finite Windows, Comm.ACM, 32,4 (1989) 490-595
68 * void lm_init (int pack_level, ush *flags)
69 * Initialize the "longest match" routines for a new file
71 * off_t deflate (void)
72 * Processes a new input file and return its compressed length. Sets
73 * the compressed length, crc, deflate flags and internal file
82 #include "lzw.h" /* just for consistency checking */
85 /* ===========================================================================
86 * Configuration parameters
89 /* Compile with MEDIUM_MEM to reduce the memory requirements or
90 * with SMALL_MEM to use as little memory as possible. Use BIG_MEM if the
91 * entire input file can be held in memory (not possible on 16 bit systems).
92 * Warning: defining these symbols affects HASH_BITS (see below) and thus
93 * affects the compression ratio. The compressed output
94 * is still correct, and might even be smaller in some cases.
98 # define HASH_BITS 13 /* Number of bits used to hash strings */
101 # define HASH_BITS 14
104 # define HASH_BITS 15
105 /* For portability to 16 bit machines, do not use values above 15. */
108 /* To save space (see unlzw.c), we overlay prev+head with tab_prefix and
109 * window with tab_suffix. Check that we can do this:
111 #if (WSIZE<<1) > (1<<BITS)
112 error
: cannot overlay window with tab_suffix
and prev with tab_prefix0
114 #if HASH_BITS > BITS-1
115 error
: cannot overlay head with tab_prefix1
118 #define HASH_SIZE (unsigned)(1<<HASH_BITS)
119 #define HASH_MASK (HASH_SIZE-1)
120 #define WMASK (WSIZE-1)
121 /* HASH_SIZE and WSIZE must be powers of two */
124 /* Tail of hash chains */
127 # define TOO_FAR 4096
129 /* Matches of length 3 are discarded if their distance exceeds TOO_FAR */
132 # define RSYNC_WIN 4096
134 verify(RSYNC_WIN
< MAX_DIST
);
136 #define RSYNC_SUM_MATCH(sum) ((sum) % RSYNC_WIN == 0)
137 /* Whether window sum matches magic value */
139 /* ===========================================================================
140 * Local data used by the "longest match" routines.
144 typedef unsigned IPos
;
145 /* A Pos is an index in the character window. We use short instead of int to
146 * save space in the various tables. IPos is used only for parameter passing.
149 /* DECLARE(uch, window, 2L*WSIZE); */
150 /* Sliding window. Input bytes are read into the second half of the window,
151 * and move to the first half later to keep a dictionary of at least WSIZE
152 * bytes. With this organization, matches are limited to a distance of
153 * WSIZE-MAX_MATCH bytes, but this ensures that IO is always
154 * performed with a length multiple of the block size. Also, it limits
155 * the window size to 64K, which is quite useful on MSDOS.
156 * To do: limit the window size to WSIZE+BSZ if SMALL_MEM (the code would
157 * be less efficient).
160 /* DECLARE(Pos, prev, WSIZE); */
161 /* Link to older string with same hash index. To limit the size of this
162 * array to 64K, this link is maintained only for the last 32K strings.
163 * An index in this array is thus a window index modulo 32K.
166 /* DECLARE(Pos, head, 1<<HASH_BITS); */
167 /* Heads of the hash chains or NIL. */
169 static ulg window_size
= (ulg
)2*WSIZE
;
170 /* window size, 2*WSIZE except for MMAP or BIG_MEM, where it is the
171 * input file length plus MIN_LOOKAHEAD.
175 /* window position at the beginning of the current output block. Gets
176 * negative when the window is moved backwards.
179 local
unsigned ins_h
; /* hash index of string to be inserted */
181 #define H_SHIFT ((HASH_BITS+MIN_MATCH-1)/MIN_MATCH)
182 /* Number of bits by which ins_h and del_h must be shifted at each
183 * input step. It must be such that after MIN_MATCH steps, the oldest
184 * byte no longer takes part in the hash key, that is:
185 * H_SHIFT * MIN_MATCH >= HASH_BITS
188 unsigned int near prev_length
;
189 /* Length of the best match at previous step. Matches not greater than this
190 * are discarded. This is used in the lazy match evaluation.
193 unsigned near strstart
; /* start of string to insert */
194 unsigned near match_start
; /* start of matching string */
195 local
int eofile
; /* flag set at end of input file */
196 local
unsigned lookahead
; /* number of valid bytes ahead in window */
198 unsigned max_chain_length
;
199 /* To speed up deflation, hash chains are never searched beyond this length.
200 * A higher limit improves compression ratio but degrades the speed.
203 local
unsigned int max_lazy_match
;
204 /* Attempt to find a better match only when the current match is strictly
205 * smaller than this value. This mechanism is used only for compression
208 #define max_insert_length max_lazy_match
209 /* Insert new strings in the hash table only if the match length
210 * is not greater than this length. This saves time but degrades compression.
211 * max_insert_length is used only for compression levels <= 3.
215 /* Use a faster search when the previous match is longer than this */
217 local ulg rsync_sum
; /* rolling sum of rsync window */
218 local ulg rsync_chunk_end
; /* next rsync sequence point */
220 /* Values for max_lazy_match, good_match and max_chain_length, depending on
221 * the desired pack level (0..9). The values given below have been tuned to
222 * exclude worst case performance for pathological files. Better values may be
223 * found for specific files.
226 typedef struct config
{
227 ush good_length
; /* reduce lazy search above this match length */
228 ush max_lazy
; /* do not perform lazy search above this match length */
229 ush nice_length
; /* quit search above this match length */
234 # define static_unless_ASMV
236 # define static_unless_ASMV static
240 # define nice_match MAX_MATCH
242 /* Stop searching when current match exceeds this */
243 static_unless_ASMV
int nice_match
;
246 local config configuration_table
[10] = {
247 /* good lazy nice chain */
248 /* 0 */ {0, 0, 0, 0}, /* store only */
249 /* 1 */ {4, 4, 8, 4}, /* maximum speed, no lazy matches */
250 /* 2 */ {4, 5, 16, 8},
251 /* 3 */ {4, 6, 32, 32},
253 /* 4 */ {4, 4, 16, 16}, /* lazy matches */
254 /* 5 */ {8, 16, 32, 32},
255 /* 6 */ {8, 16, 128, 128},
256 /* 7 */ {8, 32, 128, 256},
257 /* 8 */ {32, 128, 258, 1024},
258 /* 9 */ {32, 258, 258, 4096}}; /* maximum compression */
260 /* Note: the deflate() code requires max_lazy >= MIN_MATCH and max_chain >= 4
261 * For deflate_fast() (levels <= 3) good is ignored and lazy has a different
265 /* ===========================================================================
266 * Prototypes for local functions.
268 local
void fill_window (void);
269 local off_t
deflate_fast (void);
272 int longest_match (IPos cur_match
);
273 void match_init (void); /* asm code initialization */
277 local
void check_match (IPos start
, IPos match
, int length
);
280 /* ===========================================================================
281 * Update a hash value with the given input byte
282 * IN assertion: all calls to UPDATE_HASH are made with consecutive
283 * input characters, so that a running hash key can be computed from the
284 * previous key instead of complete recalculation each time.
286 #define UPDATE_HASH(h,c) (h = (((h)<<H_SHIFT) ^ (c)) & HASH_MASK)
288 /* ===========================================================================
289 * Insert string s in the dictionary and set match_head to the previous head
290 * of the hash chain (the most recent string with same hash key). Return
291 * the previous length of the hash chain.
292 * IN assertion: all calls to INSERT_STRING are made with consecutive
293 * input characters and the first MIN_MATCH bytes of s are valid
294 * (except for the last MIN_MATCH-1 bytes of the input file).
296 #define INSERT_STRING(s, match_head) \
297 (UPDATE_HASH(ins_h, window[(s) + MIN_MATCH-1]), \
298 prev[(s) & WMASK] = match_head = head[ins_h], \
301 /* ===========================================================================
302 * Initialize the "longest match" routines for a new file
304 void lm_init (pack_level
)
305 int pack_level
; /* 0: store, 1: best speed, 9: best compression */
309 if (pack_level
< 1 || pack_level
> 9) gzip_error ("bad pack level");
311 /* Initialize the hash table. */
312 #if defined MAXSEG_64K && HASH_BITS == 15
313 for (j
= 0; j
< HASH_SIZE
; j
++) head
[j
] = NIL
;
315 memzero((char*)head
, HASH_SIZE
*sizeof(*head
));
317 /* prev will be initialized on the fly */
320 rsync_chunk_end
= 0xFFFFFFFFUL
;
323 /* Set the default configuration parameters:
325 max_lazy_match
= configuration_table
[pack_level
].max_lazy
;
326 good_match
= configuration_table
[pack_level
].good_length
;
328 nice_match
= configuration_table
[pack_level
].nice_length
;
330 max_chain_length
= configuration_table
[pack_level
].max_chain
;
331 /* ??? reduce max_chain_length for binary files */
336 match_init(); /* initialize the asm code */
339 lookahead
= read_buf((char*)window
,
340 sizeof(int) <= 2 ? (unsigned)WSIZE
: 2*WSIZE
);
342 if (lookahead
== 0 || lookahead
== (unsigned)EOF
) {
343 eofile
= 1, lookahead
= 0;
347 /* Make sure that we always have enough lookahead. This is important
348 * if input comes from a device such as a tty.
350 while (lookahead
< MIN_LOOKAHEAD
&& !eofile
) fill_window();
353 for (j
=0; j
<MIN_MATCH
-1; j
++) UPDATE_HASH(ins_h
, window
[j
]);
354 /* If lookahead < MIN_MATCH, ins_h is garbage, but this is
355 * not important since only literal bytes will be emitted.
359 /* ===========================================================================
360 * Set match_start to the longest match starting at the given string and
361 * return its length. Matches shorter or equal to prev_length are discarded,
362 * in which case the result is equal to prev_length and match_start is
364 * IN assertions: cur_match is the head of the hash chain for the current
365 * string (strstart) and its distance is <= MAX_DIST, and prev_length >= 1
368 /* For MSDOS, OS/2 and 386 Unix, an optimized version is in match.asm or
369 * match.s. The code is functionally equivalent, so you can use the C version
373 longest_match(IPos cur_match
)
375 unsigned chain_length
= max_chain_length
; /* max hash chain length */
376 register uch
*scan
= window
+ strstart
; /* current string */
377 register uch
*match
; /* matched string */
378 register int len
; /* length of current match */
379 int best_len
= prev_length
; /* best match length so far */
380 IPos limit
= strstart
> (IPos
)MAX_DIST
? strstart
- (IPos
)MAX_DIST
: NIL
;
381 /* Stop when cur_match becomes <= limit. To simplify the code,
382 * we prevent matches with the string of window index 0.
385 /* The code is optimized for HASH_BITS >= 8 and MAX_MATCH-2 multiple of 16.
386 * It is easy to get rid of this optimization if necessary.
388 #if HASH_BITS < 8 || MAX_MATCH != 258
389 error
: Code too clever
393 /* Compare two bytes at a time. Note: this is not always beneficial.
394 * Try with and without -DUNALIGNED_OK to check.
396 register uch
*strend
= window
+ strstart
+ MAX_MATCH
- 1;
397 register ush scan_start
= *(ush
*)scan
;
398 register ush scan_end
= *(ush
*)(scan
+best_len
-1);
400 register uch
*strend
= window
+ strstart
+ MAX_MATCH
;
401 register uch scan_end1
= scan
[best_len
-1];
402 register uch scan_end
= scan
[best_len
];
405 /* Do not waste too much time if we already have a good match: */
406 if (prev_length
>= good_match
) {
409 Assert(strstart
<= window_size
-MIN_LOOKAHEAD
, "insufficient lookahead");
412 Assert(cur_match
< strstart
, "no future");
413 match
= window
+ cur_match
;
415 /* Skip to next match if the match length cannot increase
416 * or if the match length is less than 2:
418 #if defined UNALIGNED_OK && MAX_MATCH == 258
419 /* This code assumes sizeof(unsigned short) == 2. Do not use
420 * UNALIGNED_OK if your compiler uses a different size.
422 if (*(ush
*)(match
+best_len
-1) != scan_end
||
423 *(ush
*)match
!= scan_start
) continue;
425 /* It is not necessary to compare scan[2] and match[2] since they are
426 * always equal when the other bytes match, given that the hash keys
427 * are equal and that HASH_BITS >= 8. Compare 2 bytes at a time at
428 * strstart+3, +5, ... up to strstart+257. We check for insufficient
429 * lookahead only every 4th comparison; the 128th check will be made
430 * at strstart+257. If MAX_MATCH-2 is not a multiple of 8, it is
431 * necessary to put more guard bytes at the end of the window, or
432 * to check more often for insufficient lookahead.
436 } while (*(ush
*)(scan
+=2) == *(ush
*)(match
+=2) &&
437 *(ush
*)(scan
+=2) == *(ush
*)(match
+=2) &&
438 *(ush
*)(scan
+=2) == *(ush
*)(match
+=2) &&
439 *(ush
*)(scan
+=2) == *(ush
*)(match
+=2) &&
441 /* The funny "do {}" generates better code on most compilers */
443 /* Here, scan <= window+strstart+257 */
444 Assert(scan
<= window
+(unsigned)(window_size
-1), "wild scan");
445 if (*scan
== *match
) scan
++;
447 len
= (MAX_MATCH
- 1) - (int)(strend
-scan
);
448 scan
= strend
- (MAX_MATCH
-1);
450 #else /* UNALIGNED_OK */
452 if (match
[best_len
] != scan_end
||
453 match
[best_len
-1] != scan_end1
||
455 *++match
!= scan
[1]) continue;
457 /* The check at best_len-1 can be removed because it will be made
458 * again later. (This heuristic is not always a win.)
459 * It is not necessary to compare scan[2] and match[2] since they
460 * are always equal when the other bytes match, given that
461 * the hash keys are equal and that HASH_BITS >= 8.
465 /* We check for insufficient lookahead only every 8th comparison;
466 * the 256th check will be made at strstart+258.
469 } while (*++scan
== *++match
&& *++scan
== *++match
&&
470 *++scan
== *++match
&& *++scan
== *++match
&&
471 *++scan
== *++match
&& *++scan
== *++match
&&
472 *++scan
== *++match
&& *++scan
== *++match
&&
475 len
= MAX_MATCH
- (int)(strend
- scan
);
476 scan
= strend
- MAX_MATCH
;
478 #endif /* UNALIGNED_OK */
480 if (len
> best_len
) {
481 match_start
= cur_match
;
483 if (len
>= nice_match
) break;
485 scan_end
= *(ush
*)(scan
+best_len
-1);
487 scan_end1
= scan
[best_len
-1];
488 scan_end
= scan
[best_len
];
491 } while ((cur_match
= prev
[cur_match
& WMASK
]) > limit
492 && --chain_length
!= 0);
499 /* ===========================================================================
500 * Check that the match at match_start is indeed a match.
502 local
void check_match(start
, match
, length
)
506 /* check that the match is indeed a match */
507 if (memcmp((char*)window
+ match
,
508 (char*)window
+ start
, length
) != 0) {
510 " start %d, match %d, length %d\n",
511 start
, match
, length
);
512 gzip_error ("invalid match");
515 fprintf(stderr
,"\\[%d,%d]", start
-match
, length
);
516 do { putc(window
[start
++], stderr
); } while (--length
!= 0);
520 # define check_match(start, match, length)
523 /* ===========================================================================
524 * Fill the window when the lookahead becomes insufficient.
525 * Updates strstart and lookahead, and sets eofile if end of input file.
526 * IN assertion: lookahead < MIN_LOOKAHEAD && strstart + lookahead > 0
527 * OUT assertions: at least one byte has been read, or eofile is set;
528 * file reads are performed for at least two bytes (required for the
529 * translate_eol option).
531 local
void fill_window()
533 register unsigned n
, m
;
534 unsigned more
= (unsigned)(window_size
- (ulg
)lookahead
- (ulg
)strstart
);
535 /* Amount of free space at the end of the window. */
537 /* If the window is almost full and there is insufficient lookahead,
538 * move the upper half to the lower one to make room in the upper half.
540 if (more
== (unsigned)EOF
) {
541 /* Very unlikely, but possible on 16 bit machine if strstart == 0
542 * and lookahead == 1 (input done one byte at time)
545 } else if (strstart
>= WSIZE
+MAX_DIST
) {
546 /* By the IN assertion, the window is not empty so we can't confuse
547 * more == 0 with more == 64K on a 16 bit machine.
549 Assert(window_size
== (ulg
)2*WSIZE
, "no sliding with BIG_MEM");
551 memcpy((char*)window
, (char*)window
+WSIZE
, (unsigned)WSIZE
);
552 match_start
-= WSIZE
;
553 strstart
-= WSIZE
; /* we now have strstart >= MAX_DIST: */
554 if (rsync_chunk_end
!= 0xFFFFFFFFUL
)
555 rsync_chunk_end
-= WSIZE
;
557 block_start
-= (long) WSIZE
;
559 for (n
= 0; n
< HASH_SIZE
; n
++) {
561 head
[n
] = (Pos
)(m
>= WSIZE
? m
-WSIZE
: NIL
);
563 for (n
= 0; n
< WSIZE
; n
++) {
565 prev
[n
] = (Pos
)(m
>= WSIZE
? m
-WSIZE
: NIL
);
566 /* If n is not on any hash chain, prev[n] is garbage but
567 * its value will never be used.
572 /* At this point, more >= 2 */
574 n
= read_buf((char*)window
+strstart
+lookahead
, more
);
575 if (n
== 0 || n
== (unsigned)EOF
) {
577 /* Don't let garbage pollute the dictionary. */
578 memzero (window
+ strstart
+ lookahead
, MIN_MATCH
- 1);
585 /* With an initial offset of START, advance rsync's rolling checksum
587 local
void rsync_roll(unsigned int start
, unsigned int num
)
591 if (start
< RSYNC_WIN
) {
592 /* before window fills. */
593 for (i
= start
; i
< RSYNC_WIN
; i
++) {
594 if (i
== start
+ num
)
596 rsync_sum
+= (ulg
)window
[i
];
598 num
-= (RSYNC_WIN
- start
);
602 /* buffer after window full */
603 for (i
= start
; i
< start
+num
; i
++) {
604 /* New character in */
605 rsync_sum
+= (ulg
)window
[i
];
606 /* Old character out */
607 rsync_sum
-= (ulg
)window
[i
- RSYNC_WIN
];
608 if (rsync_chunk_end
== 0xFFFFFFFFUL
&& RSYNC_SUM_MATCH(rsync_sum
))
613 /* ===========================================================================
614 * Set rsync_chunk_end if window sum matches magic value.
616 #define RSYNC_ROLL(s, n) \
617 do { if (rsync) rsync_roll((s), (n)); } while(0)
619 /* ===========================================================================
620 * Flush the current block, with given end-of-file flag.
621 * IN assertion: strstart is set to the end of the current match.
623 #define FLUSH_BLOCK(eof) \
624 flush_block(block_start >= 0L ? (char*)&window[(unsigned)block_start] : \
625 (char*)NULL, (long)strstart - block_start, flush-1, (eof))
627 /* ===========================================================================
628 * Processes a new input file and return its compressed length. This
629 * function does not perform lazy evaluationof matches and inserts
630 * new strings in the dictionary only for unmatched strings or for short
631 * matches. It is used only for the fast compression options.
633 local off_t
deflate_fast()
635 IPos hash_head
; /* head of the hash chain */
636 int flush
= 0; /* set if current block must be flushed, 2=>and padded */
637 unsigned match_length
= 0; /* length of best match */
639 prev_length
= MIN_MATCH
-1;
640 while (lookahead
!= 0) {
641 /* Insert the string window[strstart .. strstart+2] in the
642 * dictionary, and set hash_head to the head of the hash chain:
644 INSERT_STRING(strstart
, hash_head
);
646 /* Find the longest match, discarding those <= prev_length.
647 * At this point we have always match_length < MIN_MATCH
649 if (hash_head
!= NIL
&& strstart
- hash_head
<= MAX_DIST
650 && strstart
<= window_size
- MIN_LOOKAHEAD
) {
651 /* To simplify the code, we prevent matches with the string
652 * of window index 0 (in particular we have to avoid a match
653 * of the string with itself at the start of the input file).
655 match_length
= longest_match (hash_head
);
656 /* longest_match() sets match_start */
657 if (match_length
> lookahead
) match_length
= lookahead
;
659 if (match_length
>= MIN_MATCH
) {
660 check_match(strstart
, match_start
, match_length
);
662 flush
= ct_tally(strstart
-match_start
, match_length
- MIN_MATCH
);
664 lookahead
-= match_length
;
666 RSYNC_ROLL(strstart
, match_length
);
667 /* Insert new strings in the hash table only if the match length
668 * is not too large. This saves time but degrades compression.
670 if (match_length
<= max_insert_length
) {
671 match_length
--; /* string at strstart already in hash table */
674 INSERT_STRING(strstart
, hash_head
);
675 /* strstart never exceeds WSIZE-MAX_MATCH, so there are
676 * always MIN_MATCH bytes ahead. If lookahead < MIN_MATCH
677 * these bytes are garbage, but it does not matter since
678 * the next lookahead bytes will be emitted as literals.
680 } while (--match_length
!= 0);
683 strstart
+= match_length
;
685 ins_h
= window
[strstart
];
686 UPDATE_HASH(ins_h
, window
[strstart
+1]);
688 Call
UPDATE_HASH() MIN_MATCH
-3 more times
692 /* No match, output a literal byte */
693 Tracevv((stderr
,"%c",window
[strstart
]));
694 flush
= ct_tally (0, window
[strstart
]);
695 RSYNC_ROLL(strstart
, 1);
699 if (rsync
&& strstart
> rsync_chunk_end
) {
700 rsync_chunk_end
= 0xFFFFFFFFUL
;
703 if (flush
) FLUSH_BLOCK(0), block_start
= strstart
;
705 /* Make sure that we always have enough lookahead, except
706 * at the end of the input file. We need MAX_MATCH bytes
707 * for the next match, plus MIN_MATCH bytes to insert the
708 * string following the next match.
710 while (lookahead
< MIN_LOOKAHEAD
&& !eofile
) fill_window();
713 return FLUSH_BLOCK(1); /* eof */
716 /* ===========================================================================
717 * Same as above, but achieves better compression. We use a lazy
718 * evaluation for matches: a match is finally adopted only if there is
719 * no better match at the next window position.
722 deflate (int pack_level
)
724 IPos hash_head
; /* head of hash chain */
725 IPos prev_match
; /* previous match */
726 int flush
= 0; /* set if current block must be flushed */
727 int match_available
= 0; /* set if previous match exists */
728 register unsigned match_length
= MIN_MATCH
-1; /* length of best match */
730 lm_init (pack_level
);
732 return deflate_fast();
734 /* Process the input block. */
735 while (lookahead
!= 0) {
736 /* Insert the string window[strstart .. strstart+2] in the
737 * dictionary, and set hash_head to the head of the hash chain:
739 INSERT_STRING(strstart
, hash_head
);
741 /* Find the longest match, discarding those <= prev_length.
743 prev_length
= match_length
, prev_match
= match_start
;
744 match_length
= MIN_MATCH
-1;
746 if (hash_head
!= NIL
&& prev_length
< max_lazy_match
&&
747 strstart
- hash_head
<= MAX_DIST
&&
748 strstart
<= window_size
- MIN_LOOKAHEAD
) {
749 /* To simplify the code, we prevent matches with the string
750 * of window index 0 (in particular we have to avoid a match
751 * of the string with itself at the start of the input file).
753 match_length
= longest_match (hash_head
);
754 /* longest_match() sets match_start */
755 if (match_length
> lookahead
) match_length
= lookahead
;
757 /* Ignore a length 3 match if it is too distant: */
758 if (match_length
== MIN_MATCH
&& strstart
-match_start
> TOO_FAR
){
759 /* If prev_match is also MIN_MATCH, match_start is garbage
760 * but we will ignore the current match anyway.
765 /* If there was a match at the previous step and the current
766 * match is not better, output the previous match:
768 if (prev_length
>= MIN_MATCH
&& match_length
<= prev_length
) {
770 check_match(strstart
-1, prev_match
, prev_length
);
772 flush
= ct_tally(strstart
-1-prev_match
, prev_length
- MIN_MATCH
);
774 /* Insert in hash table all strings up to the end of the match.
775 * strstart-1 and strstart are already inserted.
777 lookahead
-= prev_length
-1;
779 RSYNC_ROLL(strstart
, prev_length
+1);
782 INSERT_STRING(strstart
, hash_head
);
783 /* strstart never exceeds WSIZE-MAX_MATCH, so there are
784 * always MIN_MATCH bytes ahead. If lookahead < MIN_MATCH
785 * these bytes are garbage, but it does not matter since the
786 * next lookahead bytes will always be emitted as literals.
788 } while (--prev_length
!= 0);
790 match_length
= MIN_MATCH
-1;
793 if (rsync
&& strstart
> rsync_chunk_end
) {
794 rsync_chunk_end
= 0xFFFFFFFFUL
;
797 if (flush
) FLUSH_BLOCK(0), block_start
= strstart
;
798 } else if (match_available
) {
799 /* If there was no match at the previous position, output a
800 * single literal. If there was a match but the current match
801 * is longer, truncate the previous match to a single literal.
803 Tracevv((stderr
,"%c",window
[strstart
-1]));
804 flush
= ct_tally (0, window
[strstart
-1]);
805 if (rsync
&& strstart
> rsync_chunk_end
) {
806 rsync_chunk_end
= 0xFFFFFFFFUL
;
809 if (flush
) FLUSH_BLOCK(0), block_start
= strstart
;
810 RSYNC_ROLL(strstart
, 1);
814 /* There is no previous match to compare with, wait for
815 * the next step to decide.
817 if (rsync
&& strstart
> rsync_chunk_end
) {
818 /* Reset huffman tree */
819 rsync_chunk_end
= 0xFFFFFFFFUL
;
821 FLUSH_BLOCK(0), block_start
= strstart
;
825 RSYNC_ROLL(strstart
, 1);
829 Assert (strstart
<= bytes_in
&& lookahead
<= bytes_in
, "a bit too far");
831 /* Make sure that we always have enough lookahead, except
832 * at the end of the input file. We need MAX_MATCH bytes
833 * for the next match, plus MIN_MATCH bytes to insert the
834 * string following the next match.
836 while (lookahead
< MIN_LOOKAHEAD
&& !eofile
) fill_window();
838 if (match_available
) ct_tally (0, window
[strstart
-1]);
840 return FLUSH_BLOCK(1); /* eof */