]> wimlib.net Git - wimlib/blob - include/wimlib/lzx.h
lz_sarray_update_salink(): Only take rank and link array as input
[wimlib] / include / wimlib / lzx.h
1 #ifndef _WIMLIB_LZX_H
2 #define _WIMLIB_LZX_H
3
4 /* Constants for the LZX data compression format.  See the comments in
5  * lzx-compress.c and lzx-decompress.c for more information about this format.
6  * */
7
8 #include "wimlib/assert.h"
9 #include "wimlib/util.h"
10 #include "wimlib/types.h"
11
12 //#define ENABLE_LZX_DEBUG
13 #ifdef ENABLE_LZX_DEBUG
14 #       define LZX_DEBUG DEBUG
15 #       define LZX_ASSERT wimlib_assert
16 #else
17 #       define LZX_DEBUG(format, ...)
18 #       define LZX_ASSERT(...)
19 #endif
20
21 /* Constants, most of which are defined by the LZX specification: */
22
23 /* The smallest and largest allowed match lengths. */
24 #define LZX_MIN_MATCH_LEN            2
25 #define LZX_MAX_MATCH_LEN            257
26
27 /* Number of values an uncompressed literal byte can represent. */
28 #define LZX_NUM_CHARS                256
29
30 /* Each LZX block begins with 3 bits that determines the block type.  Below are
31  * the valid block types.  Values 0, and 4 through 7, are invalid. */
32 #define LZX_BLOCKTYPE_VERBATIM       1
33 #define LZX_BLOCKTYPE_ALIGNED        2
34 #define LZX_BLOCKTYPE_UNCOMPRESSED   3
35
36 #define LZX_NUM_PRIMARY_LENS         7
37
38 /* The number of position slots varies from 30 to 51 depending on the window
39  * size (see comment in lzx-decompress.c).  */
40 #define LZX_MAX_POSITION_SLOTS          51
41
42 #define LZX_MIN_WINDOW_ORDER    15
43 #define LZX_MAX_WINDOW_ORDER    21
44 #define LZX_MIN_WINDOW_SIZE     (1U << LZX_MIN_WINDOW_ORDER)  /* 32768   */
45 #define LZX_MAX_WINDOW_SIZE     (1U << LZX_MAX_WINDOW_ORDER)  /* 2097152 */
46
47 /* Read the LZX specification for information about the Huffman trees used in
48  * the LZX compression format.  Basically there are 4 of them: The main tree,
49  * the length tree, the pre tree, and the aligned tree.  The main tree and
50  * length tree are given at the beginning of VERBATIM and ALIGNED blocks as a
51  * list of *_NUM_SYMBOLS code length values.  They are read using the
52  * read_code_lens() function and built using the make_decode_table() function.
53  * The decode table is not a real tree but rather a table that we can index by
54  * some number of bits (*_TABLEBITS) of the input to quickly look up the symbol
55  * corresponding to a Huffman code.
56  *
57  * The ALIGNED tree is only present on ALIGNED blocks.
58  *
59  * A PRECODE is used to encode the code lengths for the main tree and the length
60  * tree.  There is a separate pretree for each half of the main tree.  */
61
62 #define LZX_MAINCODE_MAX_NUM_SYMBOLS    (LZX_NUM_CHARS + (LZX_MAX_POSITION_SLOTS << 3))
63 #define LZX_MAINCODE_TABLEBITS          11
64
65 #define LZX_LENCODE_NUM_SYMBOLS         249
66 #define LZX_LENCODE_TABLEBITS           10
67
68 #define LZX_PRECODE_NUM_SYMBOLS         20
69 #define LZX_PRECODE_TABLEBITS           6
70 #define LZX_PRECODE_ELEMENT_SIZE        4
71
72 #define LZX_ALIGNEDCODE_NUM_SYMBOLS     8
73 #define LZX_ALIGNEDCODE_TABLEBITS       7
74 #define LZX_ALIGNEDCODE_ELEMENT_SIZE    3
75
76 /* Maximum allowed length of Huffman codewords.  */
77 #define LZX_MAX_MAIN_CODEWORD_LEN       16
78 #define LZX_MAX_LEN_CODEWORD_LEN        16
79 #define LZX_MAX_PRE_CODEWORD_LEN        16
80 #define LZX_MAX_ALIGNED_CODEWORD_LEN    8
81
82 /* For the LZX-compressed blocks in WIM files, this value is always used as the
83  * filesize parameter for the call instruction (0xe8 byte) preprocessing, even
84  * though the blocks themselves are not this size, and the size of the actual
85  * file resource in the WIM file is very likely to be something entirely
86  * different as well.  */
87 #define LZX_WIM_MAGIC_FILESIZE          12000000
88
89 /* Assumed LZX block size when the encoded block size begins with a 0 bit.  */
90 #define LZX_DEFAULT_BLOCK_SIZE          32768
91
92 #define USE_LZX_EXTRA_BITS_ARRAY
93
94 #ifdef USE_LZX_EXTRA_BITS_ARRAY
95 extern const u8 lzx_extra_bits[LZX_MAX_POSITION_SLOTS];
96 #endif
97
98 /* Given the number of a LZX position slot, return the number of extra bits that
99  * are needed to encode the match offset. */
100 static inline unsigned
101 lzx_get_num_extra_bits(unsigned position_slot)
102 {
103 #ifdef USE_LZX_EXTRA_BITS_ARRAY
104         /* Use a table */
105         return lzx_extra_bits[position_slot];
106 #else
107         /* Calculate directly using a shift and subtraction. */
108         LZX_ASSERT(position_slot >= 2 && position_slot <= 37);
109         return (position_slot >> 1) - 1;
110 #endif
111 }
112
113 extern const u32 lzx_position_base[LZX_MAX_POSITION_SLOTS];
114
115 /* Returns the LZX position slot that corresponds to a given formatted offset.
116  *
117  * Logically, this returns the smallest i such that
118  * formatted_offset >= lzx_position_base[i].
119  *
120  * The actual implementation below takes advantage of the regularity of the
121  * numbers in the lzx_position_base array to calculate the slot directly from
122  * the formatted offset without actually looking at the array.
123  */
124 static inline unsigned
125 lzx_get_position_slot_raw(unsigned formatted_offset)
126 {
127         if (formatted_offset >= 196608) {
128                 return (formatted_offset >> 17) + 34;
129         } else {
130                 LZX_ASSERT(2 <= formatted_offset && formatted_offset < 655360);
131                 unsigned mssb_idx = bsr32(formatted_offset);
132                 return (mssb_idx << 1) |
133                         ((formatted_offset >> (mssb_idx - 1)) & 1);
134         }
135 }
136
137 extern bool lzx_window_size_valid(size_t window_size);
138 extern unsigned lzx_get_num_main_syms(u32 window_size);
139
140 #define LZX_NUM_RECENT_OFFSETS  3
141
142 /* Least-recently used queue for match offsets.  */
143 struct lzx_lru_queue {
144         u32 R[LZX_NUM_RECENT_OFFSETS];
145 };
146
147 /* In the LZX format, an offset of n bytes is actually encoded
148  * as (n + LZX_OFFSET_OFFSET).  */
149 #define LZX_OFFSET_OFFSET       (LZX_NUM_RECENT_OFFSETS - 1)
150
151 static inline void
152 lzx_lru_queue_init(struct lzx_lru_queue *queue)
153 {
154         for (unsigned i = 0; i < LZX_NUM_RECENT_OFFSETS; i++)
155                 queue->R[i] = 1;
156 }
157
158 #endif /* _WIMLIB_LZX_H */