ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
inflate.h
Go to the documentation of this file.
1/* inflate.h -- internal inflate state definition
2 * Copyright (C) 1995-2009 Mark Adler
3 * For conditions of distribution and use, see copyright notice in zlib.h
4 */
5
6/* WARNING: this file should *not* be used by applications. It is
7 part of the implementation of the compression library and is
8 subject to change. Applications should only use zlib.h.
9 */
10
12
13/* define NO_GZIP when compiling if you want to disable gzip header and
14 trailer decoding by inflate(). NO_GZIP would be used to avoid linking in
15 the crc code when it is not needed. For shared libraries, gzip decoding
16 should be left enabled. */
17#ifndef NO_GZIP
18# define GUNZIP
19#endif
20
21/* Possible inflate modes between inflate() calls */
22typedef enum {
23 HEAD, /* i: waiting for magic header */
24 FLAGS, /* i: waiting for method and flags (gzip) */
25 TIME, /* i: waiting for modification time (gzip) */
26 OS, /* i: waiting for extra flags and operating system (gzip) */
27 EXLEN, /* i: waiting for extra length (gzip) */
28 EXTRA, /* i: waiting for extra bytes (gzip) */
29 NAME, /* i: waiting for end of file name (gzip) */
30 COMMENT, /* i: waiting for end of comment (gzip) */
31 HCRC, /* i: waiting for header crc (gzip) */
32 DICTID, /* i: waiting for dictionary check value */
33 DICT, /* waiting for inflateSetDictionary() call */
34 TYPE, /* i: waiting for type bits, including last-flag bit */
35 TYPEDO, /* i: same, but skip check to exit inflate on new block */
36 STORED, /* i: waiting for stored size (length and complement) */
37 COPY_, /* i/o: same as COPY below, but only first time in */
38 COPY, /* i/o: waiting for input or output to copy stored block */
39 TABLE, /* i: waiting for dynamic block table lengths */
40 LENLENS, /* i: waiting for code length code lengths */
41 CODELENS, /* i: waiting for length/lit and distance code lengths */
42 LEN_, /* i: same as LEN below, but only first time in */
43 LEN, /* i: waiting for length/lit/eob code */
44 LENEXT, /* i: waiting for length extra bits */
45 DIST, /* i: waiting for distance code */
46 DISTEXT, /* i: waiting for distance extra bits */
47 MATCH, /* o: waiting for output space to copy string */
48 LIT, /* o: waiting for output space to write literal */
49 CHECK, /* i: waiting for 32-bit check value */
50 LENGTH, /* i: waiting for 32-bit length (gzip) */
51 DONE, /* finished check, done -- remain here until reset */
52 BAD, /* got a data error -- remain here until reset */
53 MEM, /* got an inflate() memory error -- remain here until reset */
54 SYNC /* looking for synchronization bytes to restart inflate() */
56
57/*
58 State transitions between above modes -
59
60 (most modes can go to BAD or MEM on error -- not shown for clarity)
61
62 Process header:
63 HEAD -> (gzip) or (zlib) or (raw)
64 (gzip) -> FLAGS -> TIME -> OS -> EXLEN -> EXTRA -> NAME -> COMMENT ->
65 HCRC -> TYPE
66 (zlib) -> DICTID or TYPE
67 DICTID -> DICT -> TYPE
68 (raw) -> TYPEDO
69 Read deflate blocks:
70 TYPE -> TYPEDO -> STORED or TABLE or LEN_ or CHECK
71 STORED -> COPY_ -> COPY -> TYPE
72 TABLE -> LENLENS -> CODELENS -> LEN_
73 LEN_ -> LEN
74 Read deflate codes in fixed or dynamic block:
75 LEN -> LENEXT or LIT or TYPE
76 LENEXT -> DIST -> DISTEXT -> MATCH -> LEN
77 LIT -> LEN
78 Process trailer:
79 CHECK -> LENGTH -> DONE
80 */
81
82/* state maintained between inflate() calls. Approximately 10K bytes. */
84 inflate_mode mode; /* current inflate mode */
85 int last; /* true if processing last block */
86 int wrap; /* bit 0 true for zlib, bit 1 true for gzip */
87 int havedict; /* true if dictionary provided */
88 int flags; /* gzip header method and flags (0 if zlib) */
89 unsigned dmax; /* zlib header max distance (INFLATE_STRICT) */
90 unsigned long check; /* protected copy of check value */
91 unsigned long total; /* protected copy of output count */
92 gz_headerp head; /* where to save gzip header information */
93 /* sliding window */
94 unsigned wbits; /* log base 2 of requested window size */
95 unsigned wsize; /* window size or zero if not using window */
96 unsigned whave; /* valid bytes in the window */
97 unsigned wnext; /* window write index */
98 unsigned char FAR *window; /* allocated sliding window, if needed */
99 /* bit accumulator */
100 unsigned long hold; /* input bit accumulator */
101 unsigned bits; /* number of bits in "in" */
102 /* for string and stored block copying */
103 unsigned length; /* literal or length of data to copy */
104 unsigned offset; /* distance back to copy string from */
105 /* for table and code decoding */
106 unsigned extra; /* extra bits needed */
107 /* fixed and dynamic code tables */
108 code const FAR *lencode; /* starting table for length/literal codes */
109 code const FAR *distcode; /* starting table for distance codes */
110 unsigned lenbits; /* index bits for lencode */
111 unsigned distbits; /* index bits for distcode */
112 /* dynamic table building */
113 unsigned ncode; /* number of code length code lengths */
114 unsigned nlen; /* number of length code lengths */
115 unsigned ndist; /* number of distance code lengths */
116 unsigned have; /* number of code lengths in lens[] */
117 code FAR *next; /* next available space in codes[] */
118 unsigned short lens[320]; /* temporary storage for code lengths */
119 unsigned short work[288]; /* work area for code table building */
120 code codes[ENOUGH]; /* space for code tables */
121 int sane; /* if false, allow invalid distance too far */
122 int back; /* bits back of last unprocessed length/lit */
123 unsigned was; /* initial length of match */
124};
125
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
#define FLAGS
#define COPY
Definition gzguts.h:95
inflate_mode
Definition inflate.h:22
@ HEAD
Definition inflate.h:23
@ MATCH
Definition inflate.h:47
@ DICT
Definition inflate.h:33
@ TABLE
Definition inflate.h:39
@ LENGTH
Definition inflate.h:50
@ SYNC
Definition inflate.h:54
@ OS
Definition inflate.h:26
@ EXLEN
Definition inflate.h:27
@ MEM
Definition inflate.h:53
@ NAME
Definition inflate.h:29
@ STORED
Definition inflate.h:36
@ CODELENS
Definition inflate.h:41
@ DICTID
Definition inflate.h:32
@ DONE
Definition inflate.h:51
@ TYPEDO
Definition inflate.h:35
@ COMMENT
Definition inflate.h:30
@ LENLENS
Definition inflate.h:40
@ TYPE
Definition inflate.h:34
@ LEN_
Definition inflate.h:42
@ COPY_
Definition inflate.h:37
@ DIST
Definition inflate.h:45
@ LENEXT
Definition inflate.h:44
@ HCRC
Definition inflate.h:31
@ TIME
Definition inflate.h:25
@ CHECK
Definition inflate.h:49
@ DISTEXT
Definition inflate.h:46
@ BAD
Definition inflate.h:52
@ LEN
Definition inflate.h:43
@ EXTRA
Definition inflate.h:28
#define ENOUGH
Definition inftrees.h:53
#define LIT(IDX)
Definition literal.h:31
unsigned was
Definition inflate.h:123
code const FAR * distcode
Definition inflate.h:109
unsigned wnext
Definition inflate.h:97
unsigned lenbits
Definition inflate.h:110
unsigned ndist
Definition inflate.h:115
code const FAR * lencode
Definition inflate.h:108
unsigned nlen
Definition inflate.h:114
unsigned have
Definition inflate.h:116
unsigned length
Definition inflate.h:103
unsigned long hold
Definition inflate.h:100
unsigned extra
Definition inflate.h:106
unsigned ncode
Definition inflate.h:113
unsigned whave
Definition inflate.h:96
unsigned wbits
Definition inflate.h:94
unsigned short work[288]
Definition inflate.h:119
code FAR * next
Definition inflate.h:117
unsigned distbits
Definition inflate.h:111
inflate_mode mode
Definition inflate.h:84
unsigned char FAR * window
Definition inflate.h:98
unsigned short lens[320]
Definition inflate.h:118
gz_headerp head
Definition inflate.h:92
unsigned bits
Definition inflate.h:101
unsigned wsize
Definition inflate.h:95
unsigned dmax
Definition inflate.h:89
unsigned long check
Definition inflate.h:90
unsigned offset
Definition inflate.h:104
code codes[ENOUGH]
Definition inflate.h:120
unsigned long total
Definition inflate.h:91
#define FAR
Definition zconf.h:329
gz_header FAR * gz_headerp
Definition zlib.h:137