blob: 2d4867220964c09e4fd8ad05b284d8b8caec95df [file] [log] [blame]
Eric Andersen0d6d88a2003-10-18 01:58:35 +00001/* vi: set sw=4 ts=4: */
Rob Landleye66c7ef2006-04-14 19:25:01 +00002/* Small bzip2 deflate implementation, by Rob Landley (rob@landley.net).
Glenn L McGrath60bce492002-11-03 07:28:38 +00003
Rob Landleye66c7ef2006-04-14 19:25:01 +00004 Based on bzip2 decompression code by Julian R Seward (jseward@acm.org),
5 which also acknowledges contributions by Mike Burrows, David Wheeler,
6 Peter Fenwick, Alistair Moffat, Radford Neal, Ian H. Witten,
7 Robert Sedgewick, and Jon L. Bentley.
Glenn L McGrath60bce492002-11-03 07:28:38 +00008
Denys Vlasenko0ef64bd2010-08-16 20:14:46 +02009 Licensed under GPLv2 or later, see file LICENSE in this source tree.
Eric Andersen0d6d88a2003-10-18 01:58:35 +000010*/
Glenn L McGrath60bce492002-11-03 07:28:38 +000011
Eric Andersen5fa4db22003-10-23 06:52:01 +000012/*
13 Size and speed optimizations by Manuel Novoa III (mjn3@codepoet.org).
14
Eric Andersenaff114c2004-04-14 17:51:38 +000015 More efficient reading of Huffman codes, a streamlined read_bunzip()
Eric Andersen5fa4db22003-10-23 06:52:01 +000016 function, and various other tweaks. In (limited) tests, approximately
17 20% faster than bzcat on x86 and about 10% faster on arm.
18
Denys Vlasenko36ef0a62010-10-29 16:05:05 +020019 Note that about 2/3 of the time is spent in read_bunzip() reversing
Eric Andersen5fa4db22003-10-23 06:52:01 +000020 the Burrows-Wheeler transformation. Much of that time is delay
21 resulting from cache misses.
22
Denys Vlasenko5d49b722010-10-29 19:26:38 +020023 (2010 update by vda: profiled "bzcat <84mbyte.bz2 >/dev/null"
24 on x86-64 CPU with L2 > 1M: get_next_block is hotter than read_bunzip:
25 %time seconds calls function
26 71.01 12.69 444 get_next_block
27 28.65 5.12 93065 read_bunzip
28 00.22 0.04 7736490 get_bits
29 00.11 0.02 47 dealloc_bunzip
30 00.00 0.00 93018 full_write
31 ...)
32
33
Eric Andersen5fa4db22003-10-23 06:52:01 +000034 I would ask that anyone benefiting from this work, especially those
35 using it in commercial products, consider making a donation to my local
Rob Landleyf856eab2006-02-17 03:43:49 +000036 non-profit hospice organization (www.hospiceacadiana.com) in the name of
Bernhard Reutner-Fischercfb53df2006-04-02 21:50:01 +000037 the woman I loved, Toni W. Hagan, who passed away Feb. 12, 2003.
Eric Andersen5fa4db22003-10-23 06:52:01 +000038
39 Manuel
40 */
41
Glenn L McGrath1c834402003-10-28 23:32:12 +000042#include "libbb.h"
Bernhard Reutner-Fischercfb53df2006-04-02 21:50:01 +000043#include "unarchive.h"
44
Eric Andersenaff114c2004-04-14 17:51:38 +000045/* Constants for Huffman coding */
Denis Vlasenkobf0a2012006-12-26 10:42:51 +000046#define MAX_GROUPS 6
47#define GROUP_SIZE 50 /* 64 would have been more efficient */
48#define MAX_HUFCODE_BITS 20 /* Longest Huffman code allowed */
49#define MAX_SYMBOLS 258 /* 256 literals + RUNA + RUNB */
50#define SYMBOL_RUNA 0
51#define SYMBOL_RUNB 1
Glenn L McGrath60bce492002-11-03 07:28:38 +000052
Eric Andersen0d6d88a2003-10-18 01:58:35 +000053/* Status return values */
Denis Vlasenkobf0a2012006-12-26 10:42:51 +000054#define RETVAL_OK 0
55#define RETVAL_LAST_BLOCK (-1)
56#define RETVAL_NOT_BZIP_DATA (-2)
57#define RETVAL_UNEXPECTED_INPUT_EOF (-3)
Denys Vlasenkocaddfc82010-10-28 23:08:53 +020058//#define RETVAL_SHORT_WRITE (-4)
Denis Vlasenkobf0a2012006-12-26 10:42:51 +000059#define RETVAL_DATA_ERROR (-5)
60#define RETVAL_OUT_OF_MEMORY (-6)
61#define RETVAL_OBSOLETE_INPUT (-7)
Glenn L McGrath60bce492002-11-03 07:28:38 +000062
Eric Andersen0d6d88a2003-10-18 01:58:35 +000063/* Other housekeeping constants */
Denis Vlasenkobf0a2012006-12-26 10:42:51 +000064#define IOBUF_SIZE 4096
Glenn L McGrath60bce492002-11-03 07:28:38 +000065
Eric Andersenaff114c2004-04-14 17:51:38 +000066/* This is what we know about each Huffman coding group */
Eric Andersen0d6d88a2003-10-18 01:58:35 +000067struct group_data {
Denis Vlasenko52a43882007-10-10 20:53:41 +000068 /* We have an extra slot at the end of limit[] for a sentinel value. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +000069 int limit[MAX_HUFCODE_BITS+1], base[MAX_HUFCODE_BITS], permute[MAX_SYMBOLS];
Eric Andersen5fa4db22003-10-23 06:52:01 +000070 int minLen, maxLen;
Glenn L McGrath60bce492002-11-03 07:28:38 +000071};
72
Eric Andersen0d6d88a2003-10-18 01:58:35 +000073/* Structure holding all the housekeeping data, including IO buffers and
Denis Vlasenko52a43882007-10-10 20:53:41 +000074 * memory that persists between calls to bunzip
75 * Found the most used member:
76 * cat this_file.c | sed -e 's/"/ /g' -e "s/'/ /g" | xargs -n1 \
77 * | grep 'bd->' | sed 's/^.*bd->/bd->/' | sort | $PAGER
78 * and moved it (inbufBitCount) to offset 0.
79 */
Denis Vlasenkoc6758a02007-04-10 21:40:19 +000080struct bunzip_data {
Eric Andersen5fa4db22003-10-23 06:52:01 +000081 /* I/O tracking data (file handles, buffers, positions, etc.) */
Denis Vlasenko52a43882007-10-10 20:53:41 +000082 unsigned inbufBitCount, inbufBits;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +000083 int in_fd, out_fd, inbufCount, inbufPos /*, outbufPos*/;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +020084 uint8_t *inbuf /*,*outbuf*/;
Denis Vlasenko52a43882007-10-10 20:53:41 +000085
86 /* State for interrupting output loop */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +020087 int writeCopies, writePos, writeRunCountdown, writeCount;
88 int writeCurrent; /* actually a uint8_t */
Rob Landleyf856eab2006-02-17 03:43:49 +000089
Eric Andersen0d6d88a2003-10-18 01:58:35 +000090 /* The CRC values stored in the block header and calculated from the data */
Rob Landleyc57ec372006-04-10 17:07:15 +000091 uint32_t headerCRC, totalCRC, writeCRC;
Rob Landleyf856eab2006-02-17 03:43:49 +000092
Denis Vlasenkoc6758a02007-04-10 21:40:19 +000093 /* Intermediate buffer and its size (in bytes) */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +020094 uint32_t *dbuf;
95 unsigned dbufSize;
Rob Landleyf856eab2006-02-17 03:43:49 +000096
Denis Vlasenkoc6758a02007-04-10 21:40:19 +000097 /* For I/O error handling */
98 jmp_buf jmpbuf;
Rob Landleyf856eab2006-02-17 03:43:49 +000099
Denis Vlasenko52a43882007-10-10 20:53:41 +0000100 /* Big things go last (register-relative addressing can be larger for big offsets) */
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000101 uint32_t crc32Table[256];
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200102 uint8_t selectors[32768]; /* nSelectors=15 bits */
Denys Vlasenkofb132e42010-10-29 11:46:52 +0200103 struct group_data groups[MAX_GROUPS]; /* Huffman coding tables */
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000104};
105/* typedef struct bunzip_data bunzip_data; -- done in .h file */
Rob Landleyf856eab2006-02-17 03:43:49 +0000106
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000107
108/* Return the next nnn bits of input. All reads from the compressed input
109 are done through this function. All reads are big endian */
Denis Vlasenko52a43882007-10-10 20:53:41 +0000110static unsigned get_bits(bunzip_data *bd, int bits_wanted)
Glenn L McGrath60bce492002-11-03 07:28:38 +0000111{
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000112 unsigned bits = 0;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200113 /* Cache bd->inbufBitCount in a CPU register (hopefully): */
114 int bit_count = bd->inbufBitCount;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000115
116 /* If we need to get more data from the byte buffer, do so. (Loop getting
117 one byte at a time to enforce endianness and avoid unaligned access.) */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200118 while (bit_count < bits_wanted) {
Rob Landleyf856eab2006-02-17 03:43:49 +0000119
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000120 /* If we need to read more data from file into byte buffer, do so */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000121 if (bd->inbufPos == bd->inbufCount) {
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000122 /* if "no input fd" case: in_fd == -1, read fails, we jump */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000123 bd->inbufCount = read(bd->in_fd, bd->inbuf, IOBUF_SIZE);
124 if (bd->inbufCount <= 0)
125 longjmp(bd->jmpbuf, RETVAL_UNEXPECTED_INPUT_EOF);
126 bd->inbufPos = 0;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000127 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000128
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000129 /* Avoid 32-bit overflow (dump bit buffer to top of output) */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200130 if (bit_count >= 24) {
131 bits = bd->inbufBits & ((1 << bit_count) - 1);
132 bits_wanted -= bit_count;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000133 bits <<= bits_wanted;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200134 bit_count = 0;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000135 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000136
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000137 /* Grab next 8 bits of input from buffer. */
Denis Vlasenko52a43882007-10-10 20:53:41 +0000138 bd->inbufBits = (bd->inbufBits << 8) | bd->inbuf[bd->inbufPos++];
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200139 bit_count += 8;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000140 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000141
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000142 /* Calculate result */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200143 bit_count -= bits_wanted;
144 bd->inbufBitCount = bit_count;
145 bits |= (bd->inbufBits >> bit_count) & ((1 << bits_wanted) - 1);
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000146
147 return bits;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000148}
149
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200150/* Unpacks the next block and sets up for the inverse Burrows-Wheeler step. */
Eric Andersen5fa4db22003-10-23 06:52:01 +0000151static int get_next_block(bunzip_data *bd)
Glenn L McGrath60bce492002-11-03 07:28:38 +0000152{
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000153 struct group_data *hufGroup;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200154 int dbufCount, dbufSize, groupCount, *base, *limit, selector,
155 i, j, t, runPos, symCount, symTotal, nSelectors, byteCount[256];
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200156 uint8_t uc, symToByte[256], mtfSymbol[256], *selectors;
157 uint32_t *dbuf;
158 unsigned origPtr;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000159
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000160 dbuf = bd->dbuf;
161 dbufSize = bd->dbufSize;
162 selectors = bd->selectors;
Rob Landley2c98c402006-02-17 05:12:03 +0000163
Denys Vlasenko0c576972010-10-30 00:54:10 +0200164/* In bbox, we are ok with aborting through setjmp which is set up in start_bunzip */
165#if 0
Eric Andersen5fa4db22003-10-23 06:52:01 +0000166 /* Reset longjmp I/O error handling */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000167 i = setjmp(bd->jmpbuf);
Denis Vlasenkobf0a2012006-12-26 10:42:51 +0000168 if (i) return i;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200169#endif
Rob Landley2c98c402006-02-17 05:12:03 +0000170
Eric Andersen5fa4db22003-10-23 06:52:01 +0000171 /* Read in header signature and CRC, then validate signature.
172 (last block signature means CRC is for whole file, return now) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000173 i = get_bits(bd, 24);
174 j = get_bits(bd, 24);
175 bd->headerCRC = get_bits(bd, 32);
Eric Andersen5fa4db22003-10-23 06:52:01 +0000176 if ((i == 0x177245) && (j == 0x385090)) return RETVAL_LAST_BLOCK;
177 if ((i != 0x314159) || (j != 0x265359)) return RETVAL_NOT_BZIP_DATA;
Rob Landley2c98c402006-02-17 05:12:03 +0000178
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000179 /* We can add support for blockRandomised if anybody complains. There was
180 some code for this in busybox 1.0.0-pre3, but nobody ever noticed that
181 it didn't actually work. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000182 if (get_bits(bd, 1)) return RETVAL_OBSOLETE_INPUT;
183 origPtr = get_bits(bd, 24);
Denis Vlasenko6b06cb82008-05-15 21:30:45 +0000184 if ((int)origPtr > dbufSize) return RETVAL_DATA_ERROR;
Rob Landley2c98c402006-02-17 05:12:03 +0000185
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000186 /* mapping table: if some byte values are never used (encoding things
187 like ascii text), the compression code removes the gaps to have fewer
188 symbols to deal with, and writes a sparse bitfield indicating which
189 values were present. We make a translation table to convert the symbols
190 back to the corresponding bytes. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000191 symTotal = 0;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200192 i = 0;
193 t = get_bits(bd, 16);
194 do {
195 if (t & (1 << 15)) {
196 unsigned inner_map = get_bits(bd, 16);
197 do {
198 if (inner_map & (1 << 15))
199 symToByte[symTotal++] = i;
200 inner_map <<= 1;
201 i++;
202 } while (i & 15);
203 i -= 16;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000204 }
Denys Vlasenko0c576972010-10-30 00:54:10 +0200205 t <<= 1;
206 i += 16;
207 } while (i < 256);
Rob Landley2c98c402006-02-17 05:12:03 +0000208
Eric Andersenaff114c2004-04-14 17:51:38 +0000209 /* How many different Huffman coding groups does this block use? */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000210 groupCount = get_bits(bd, 3);
211 if (groupCount < 2 || groupCount > MAX_GROUPS)
212 return RETVAL_DATA_ERROR;
Rob Landley2c98c402006-02-17 05:12:03 +0000213
Eric Andersenaff114c2004-04-14 17:51:38 +0000214 /* nSelectors: Every GROUP_SIZE many symbols we select a new Huffman coding
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000215 group. Read in the group selector list, which is stored as MTF encoded
Eric Andersen5fa4db22003-10-23 06:52:01 +0000216 bit runs. (MTF=Move To Front, as each value is used it's moved to the
217 start of the list.) */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200218 for (i = 0; i < groupCount; i++)
219 mtfSymbol[i] = i;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000220 nSelectors = get_bits(bd, 15);
Denys Vlasenko0c576972010-10-30 00:54:10 +0200221 if (!nSelectors)
222 return RETVAL_DATA_ERROR;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000223 for (i = 0; i < nSelectors; i++) {
Denys Vlasenko0c576972010-10-30 00:54:10 +0200224 uint8_t tmp_byte;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000225 /* Get next value */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200226 int n = 0;
227 while (get_bits(bd, 1)) {
228 if (n >= groupCount) return RETVAL_DATA_ERROR;
229 n++;
230 }
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000231 /* Decode MTF to get the next selector */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200232 tmp_byte = mtfSymbol[n];
233 while (--n >= 0)
234 mtfSymbol[n + 1] = mtfSymbol[n];
235 mtfSymbol[0] = selectors[i] = tmp_byte;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000236 }
Rob Landley2c98c402006-02-17 05:12:03 +0000237
Eric Andersenaff114c2004-04-14 17:51:38 +0000238 /* Read the Huffman coding tables for each group, which code for symTotal
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000239 literal symbols, plus two run symbols (RUNA, RUNB) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000240 symCount = symTotal + 2;
241 for (j = 0; j < groupCount; j++) {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200242 uint8_t length[MAX_SYMBOLS];
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000243 /* 8 bits is ALMOST enough for temp[], see below */
244 unsigned temp[MAX_HUFCODE_BITS+1];
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000245 int minLen, maxLen, pp;
Rob Landley2c98c402006-02-17 05:12:03 +0000246
Eric Andersenaff114c2004-04-14 17:51:38 +0000247 /* Read Huffman code lengths for each symbol. They're stored in
Eric Andersen5fa4db22003-10-23 06:52:01 +0000248 a way similar to mtf; record a starting value for the first symbol,
249 and an offset from the previous value for everys symbol after that.
250 (Subtracting 1 before the loop and then adding it back at the end is
251 an optimization that makes the test inside the loop simpler: symbol
252 length 0 becomes negative, so an unsigned inequality catches it.) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000253 t = get_bits(bd, 5) - 1;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000254 for (i = 0; i < symCount; i++) {
Denis Vlasenkobf0a2012006-12-26 10:42:51 +0000255 for (;;) {
Denys Vlasenko0c576972010-10-30 00:54:10 +0200256 int two_bits;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000257 if ((unsigned)t > (MAX_HUFCODE_BITS-1))
Eric Andersen5fa4db22003-10-23 06:52:01 +0000258 return RETVAL_DATA_ERROR;
Rob Landley2c98c402006-02-17 05:12:03 +0000259
Eric Andersen5fa4db22003-10-23 06:52:01 +0000260 /* If first bit is 0, stop. Else second bit indicates whether
261 to increment or decrement the value. Optimization: grab 2
262 bits and unget the second if the first was 0. */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200263 two_bits = get_bits(bd, 2);
264 if (two_bits < 2) {
Eric Andersen5fa4db22003-10-23 06:52:01 +0000265 bd->inbufBitCount++;
266 break;
267 }
Rob Landley2c98c402006-02-17 05:12:03 +0000268
Eric Andersen5fa4db22003-10-23 06:52:01 +0000269 /* Add one if second bit 1, else subtract 1. Avoids if/else */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200270 t += (((two_bits+1) & 2) - 1);
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000271 }
Rob Landley2c98c402006-02-17 05:12:03 +0000272
Eric Andersen5fa4db22003-10-23 06:52:01 +0000273 /* Correct for the initial -1, to get the final symbol length */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000274 length[i] = t + 1;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000275 }
Rob Landley2c98c402006-02-17 05:12:03 +0000276
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000277 /* Find largest and smallest lengths in this group */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000278 minLen = maxLen = length[0];
Denis Vlasenkobf0a2012006-12-26 10:42:51 +0000279 for (i = 1; i < symCount; i++) {
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000280 if (length[i] > maxLen) maxLen = length[i];
281 else if (length[i] < minLen) minLen = length[i];
Glenn L McGrath60bce492002-11-03 07:28:38 +0000282 }
Rob Landley2c98c402006-02-17 05:12:03 +0000283
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000284 /* Calculate permute[], base[], and limit[] tables from length[].
285 *
Eric Andersenaff114c2004-04-14 17:51:38 +0000286 * permute[] is the lookup table for converting Huffman coded symbols
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000287 * into decoded symbols. base[] is the amount to subtract from the
Eric Andersenaff114c2004-04-14 17:51:38 +0000288 * value of a Huffman symbol of a given length when using permute[].
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000289 *
290 * limit[] indicates the largest numerical value a symbol with a given
Eric Andersenaff114c2004-04-14 17:51:38 +0000291 * number of bits can have. This is how the Huffman codes can vary in
Eric Andersen5fa4db22003-10-23 06:52:01 +0000292 * length: each code with a value>limit[length] needs another bit.
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000293 */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000294 hufGroup = bd->groups + j;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000295 hufGroup->minLen = minLen;
296 hufGroup->maxLen = maxLen;
Rob Landley2c98c402006-02-17 05:12:03 +0000297
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000298 /* Note that minLen can't be smaller than 1, so we adjust the base
299 and limit array pointers so we're not always wasting the first
Denys Vlasenko0c576972010-10-30 00:54:10 +0200300 entry. We do this again when using them (during symbol decoding). */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000301 base = hufGroup->base - 1;
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000302 limit = hufGroup->limit - 1;
Rob Landley2c98c402006-02-17 05:12:03 +0000303
Eric Andersen5fa4db22003-10-23 06:52:01 +0000304 /* Calculate permute[]. Concurently, initialize temp[] and limit[]. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000305 pp = 0;
306 for (i = minLen; i <= maxLen; i++) {
Denys Vlasenko0c576972010-10-30 00:54:10 +0200307 int k;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000308 temp[i] = limit[i] = 0;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200309 for (k = 0; k < symCount; k++)
310 if (length[k] == i)
311 hufGroup->permute[pp++] = k;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000312 }
Rob Landley2c98c402006-02-17 05:12:03 +0000313
Eric Andersen5fa4db22003-10-23 06:52:01 +0000314 /* Count symbols coded for at each bit length */
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000315 /* NB: in pathological cases, temp[8] can end ip being 256.
316 * That's why uint8_t is too small for temp[]. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000317 for (i = 0; i < symCount; i++) temp[length[i]]++;
Rob Landley2c98c402006-02-17 05:12:03 +0000318
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000319 /* Calculate limit[] (the largest symbol-coding value at each bit
320 * length, which is (previous limit<<1)+symbols at this level), and
321 * base[] (number of symbols to ignore at each bit length, which is
Eric Andersen5fa4db22003-10-23 06:52:01 +0000322 * limit minus the cumulative count of symbols coded for already). */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000323 pp = t = 0;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200324 for (i = minLen; i < maxLen;) {
325 unsigned temp_i = temp[i];
326
327 pp += temp_i;
Rob Landley2c98c402006-02-17 05:12:03 +0000328
Eric Andersen5fa4db22003-10-23 06:52:01 +0000329 /* We read the largest possible symbol size and then unget bits
330 after determining how many we need, and those extra bits could
331 be set to anything. (They're noise from future symbols.) At
332 each level we're really only interested in the first few bits,
333 so here we set all the trailing to-be-ignored bits to 1 so they
334 don't affect the value>limit[length] comparison. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000335 limit[i] = (pp << (maxLen - i)) - 1;
336 pp <<= 1;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200337 t += temp_i;
338 base[++i] = pp - t;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000339 }
Denis Vlasenko52a43882007-10-10 20:53:41 +0000340 limit[maxLen+1] = INT_MAX; /* Sentinel value for reading next sym. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000341 limit[maxLen] = pp + temp[maxLen] - 1;
342 base[minLen] = 0;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000343 }
Rob Landley2c98c402006-02-17 05:12:03 +0000344
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000345 /* We've finished reading and digesting the block header. Now read this
Eric Andersenaff114c2004-04-14 17:51:38 +0000346 block's Huffman coded symbols from the file and undo the Huffman coding
Denis Vlasenko52a43882007-10-10 20:53:41 +0000347 and run length encoding, saving the result into dbuf[dbufCount++] = uc */
Glenn L McGrath60bce492002-11-03 07:28:38 +0000348
Eric Andersen5fa4db22003-10-23 06:52:01 +0000349 /* Initialize symbol occurrence counters and symbol Move To Front table */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200350 /*memset(byteCount, 0, sizeof(byteCount)); - smaller, but slower */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000351 for (i = 0; i < 256; i++) {
Denys Vlasenko0c576972010-10-30 00:54:10 +0200352 byteCount[i] = 0;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200353 mtfSymbol[i] = (uint8_t)i;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000354 }
Rob Landley2c98c402006-02-17 05:12:03 +0000355
Eric Andersen5fa4db22003-10-23 06:52:01 +0000356 /* Loop through compressed symbols. */
Rob Landley2c98c402006-02-17 05:12:03 +0000357
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000358 runPos = dbufCount = selector = 0;
Denis Vlasenkobf0a2012006-12-26 10:42:51 +0000359 for (;;) {
Denys Vlasenko0c576972010-10-30 00:54:10 +0200360 int nextSym;
Rob Landley2c98c402006-02-17 05:12:03 +0000361
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000362 /* Fetch next Huffman coding group from list. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000363 symCount = GROUP_SIZE - 1;
364 if (selector >= nSelectors) return RETVAL_DATA_ERROR;
365 hufGroup = bd->groups + selectors[selector++];
366 base = hufGroup->base - 1;
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000367 limit = hufGroup->limit - 1;
Rob Landley2c98c402006-02-17 05:12:03 +0000368
Denys Vlasenko0c576972010-10-30 00:54:10 +0200369 continue_this_group:
Eric Andersenaff114c2004-04-14 17:51:38 +0000370 /* Read next Huffman-coded symbol. */
Rob Landley2c98c402006-02-17 05:12:03 +0000371
Eric Andersen5fa4db22003-10-23 06:52:01 +0000372 /* Note: It is far cheaper to read maxLen bits and back up than it is
Denys Vlasenko0c576972010-10-30 00:54:10 +0200373 to read minLen bits and then add additional bit at a time, testing
Eric Andersen5fa4db22003-10-23 06:52:01 +0000374 as we go. Because there is a trailing last block (with file CRC),
375 there is no danger of the overread causing an unexpected EOF for a
Denys Vlasenko0c576972010-10-30 00:54:10 +0200376 valid compressed file.
Eric Andersen5fa4db22003-10-23 06:52:01 +0000377 */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200378 if (1) {
379 /* As a further optimization, we do the read inline
380 (falling back to a call to get_bits if the buffer runs dry).
381 */
382 int new_cnt;
383 while ((new_cnt = bd->inbufBitCount - hufGroup->maxLen) < 0) {
384 /* bd->inbufBitCount < hufGroup->maxLen */
385 if (bd->inbufPos == bd->inbufCount) {
386 nextSym = get_bits(bd, hufGroup->maxLen);
387 goto got_huff_bits;
388 }
389 bd->inbufBits = (bd->inbufBits << 8) | bd->inbuf[bd->inbufPos++];
390 bd->inbufBitCount += 8;
391 };
392 bd->inbufBitCount = new_cnt; /* "bd->inbufBitCount -= hufGroup->maxLen;" */
393 nextSym = (bd->inbufBits >> new_cnt) & ((1 << hufGroup->maxLen) - 1);
394 got_huff_bits: ;
395 } else { /* unoptimized equivalent */
396 nextSym = get_bits(bd, hufGroup->maxLen);
397 }
398 /* Figure how many bits are in next symbol and unget extras */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000399 i = hufGroup->minLen;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200400 while (nextSym > limit[i]) ++i;
401 j = hufGroup->maxLen - i;
402 if (j < 0)
403 return RETVAL_DATA_ERROR;
404 bd->inbufBitCount += j;
Rob Landley2c98c402006-02-17 05:12:03 +0000405
Eric Andersen5fa4db22003-10-23 06:52:01 +0000406 /* Huffman decode value to get nextSym (with bounds checking) */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200407 nextSym = (nextSym >> j) - base[i];
408 if ((unsigned)nextSym >= MAX_SYMBOLS)
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000409 return RETVAL_DATA_ERROR;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200410 nextSym = hufGroup->permute[nextSym];
Rob Landley2c98c402006-02-17 05:12:03 +0000411
Eric Andersen5fa4db22003-10-23 06:52:01 +0000412 /* We have now decoded the symbol, which indicates either a new literal
413 byte, or a repeated run of the most recent literal byte. First,
414 check if nextSym indicates a repeated run, and if so loop collecting
415 how many times to repeat the last literal. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000416 if ((unsigned)nextSym <= SYMBOL_RUNB) { /* RUNA or RUNB */
Rob Landley2c98c402006-02-17 05:12:03 +0000417
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000418 /* If this is the start of a new run, zero out counter */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200419 if (runPos == 0) {
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000420 runPos = 1;
421 t = 0;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000422 }
Rob Landley2c98c402006-02-17 05:12:03 +0000423
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000424 /* Neat trick that saves 1 symbol: instead of or-ing 0 or 1 at
425 each bit position, add 1 or 2 instead. For example,
426 1011 is 1<<0 + 1<<1 + 2<<2. 1010 is 2<<0 + 2<<1 + 1<<2.
427 You can make any bit pattern that way using 1 less symbol than
428 the basic or 0/1 method (except all bits 0, which would use no
429 symbols, but a run of length 0 doesn't mean anything in this
430 context). Thus space is saved. */
Eric Andersen1acfb722003-10-18 01:59:46 +0000431 t += (runPos << nextSym); /* +runPos if RUNA; +2*runPos if RUNB */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000432 if (runPos < dbufSize) runPos <<= 1;
Rob Landleya8b98d62004-11-16 12:07:04 +0000433 goto end_of_huffman_loop;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000434 }
Rob Landley2c98c402006-02-17 05:12:03 +0000435
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000436 /* When we hit the first non-run symbol after a run, we now know
437 how many times to repeat the last literal, so append that many
438 copies to our buffer of decoded symbols (dbuf) now. (The last
439 literal used is the one at the head of the mtfSymbol array.) */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200440 if (runPos != 0) {
441 uint8_t tmp_byte;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000442 if (dbufCount + t >= dbufSize) return RETVAL_DATA_ERROR;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200443 tmp_byte = symToByte[mtfSymbol[0]];
444 byteCount[tmp_byte] += t;
445 while (--t >= 0) dbuf[dbufCount++] = tmp_byte;
446 runPos = 0;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000447 }
Rob Landley2c98c402006-02-17 05:12:03 +0000448
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000449 /* Is this the terminating symbol? */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000450 if (nextSym > symTotal) break;
Rob Landley2c98c402006-02-17 05:12:03 +0000451
Eric Andersen5fa4db22003-10-23 06:52:01 +0000452 /* At this point, nextSym indicates a new literal character. Subtract
453 one to get the position in the MTF array at which this literal is
454 currently to be found. (Note that the result can't be -1 or 0,
455 because 0 and 1 are RUNA and RUNB. But another instance of the
456 first symbol in the mtf array, position 0, would have been handled
457 as part of a run above. Therefore 1 unused mtf position minus
458 2 non-literal nextSym values equals -1.) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000459 if (dbufCount >= dbufSize) return RETVAL_DATA_ERROR;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000460 i = nextSym - 1;
461 uc = mtfSymbol[i];
Rob Landley2c98c402006-02-17 05:12:03 +0000462
Eric Andersen5fa4db22003-10-23 06:52:01 +0000463 /* Adjust the MTF array. Since we typically expect to move only a
464 * small number of symbols, and are bound by 256 in any case, using
465 * memmove here would typically be bigger and slower due to function
466 * call overhead and other assorted setup costs. */
Eric Andersen1acfb722003-10-18 01:59:46 +0000467 do {
468 mtfSymbol[i] = mtfSymbol[i-1];
469 } while (--i);
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000470 mtfSymbol[0] = uc;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000471 uc = symToByte[uc];
Rob Landley2c98c402006-02-17 05:12:03 +0000472
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000473 /* We have our literal byte. Save it into dbuf. */
474 byteCount[uc]++;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200475 dbuf[dbufCount++] = (uint32_t)uc;
Rob Landley2c98c402006-02-17 05:12:03 +0000476
Rob Landleyf856eab2006-02-17 03:43:49 +0000477 /* Skip group initialization if we're not done with this group. Done
478 * this way to avoid compiler warning. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000479 end_of_huffman_loop:
Denys Vlasenko0c576972010-10-30 00:54:10 +0200480 if (--symCount >= 0) goto continue_this_group;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000481 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000482
Eric Andersenaff114c2004-04-14 17:51:38 +0000483 /* At this point, we've read all the Huffman-coded symbols (and repeated
Denis Vlasenko246b5c32007-04-10 17:18:12 +0000484 runs) for this block from the input stream, and decoded them into the
Eric Andersen5fa4db22003-10-23 06:52:01 +0000485 intermediate buffer. There are dbufCount many decoded bytes in dbuf[].
486 Now undo the Burrows-Wheeler transform on dbuf.
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000487 See http://dogma.net/markn/articles/bwt/bwt.htm
488 */
Rob Landley2c98c402006-02-17 05:12:03 +0000489
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000490 /* Turn byteCount into cumulative occurrence counts of 0 to n-1. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000491 j = 0;
492 for (i = 0; i < 256; i++) {
Denys Vlasenko0c576972010-10-30 00:54:10 +0200493 int tmp_count = j + byteCount[i];
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000494 byteCount[i] = j;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200495 j = tmp_count;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000496 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000497
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000498 /* Figure out what order dbuf would be in if we sorted it. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000499 for (i = 0; i < dbufCount; i++) {
Denys Vlasenko0c576972010-10-30 00:54:10 +0200500 uint8_t tmp_byte = (uint8_t)dbuf[i];
501 int tmp_count = byteCount[tmp_byte];
502 dbuf[tmp_count] |= (i << 8);
503 byteCount[tmp_byte] = tmp_count + 1;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000504 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000505
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000506 /* Decode first byte by hand to initialize "previous" byte. Note that it
507 doesn't get output, and if the first three characters are identical
Eric Andersen5fa4db22003-10-23 06:52:01 +0000508 it doesn't qualify as a run (hence writeRunCountdown=5). */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000509 if (dbufCount) {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200510 uint32_t tmp;
Denis Vlasenko6b06cb82008-05-15 21:30:45 +0000511 if ((int)origPtr >= dbufCount) return RETVAL_DATA_ERROR;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200512 tmp = dbuf[origPtr];
513 bd->writeCurrent = (uint8_t)tmp;
514 bd->writePos = (tmp >> 8);
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000515 bd->writeRunCountdown = 5;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000516 }
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000517 bd->writeCount = dbufCount;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000518
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000519 return RETVAL_OK;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000520}
521
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200522/* Undo Burrows-Wheeler transform on intermediate buffer to produce output.
Eric Andersen5fa4db22003-10-23 06:52:01 +0000523 If start_bunzip was initialized with out_fd=-1, then up to len bytes of
524 data are written to outbuf. Return value is number of bytes written or
525 error (all errors are negative numbers). If out_fd!=-1, outbuf and len
526 are ignored, data is written to out_fd and return is RETVAL_OK or error.
Denys Vlasenko1014a9a2010-10-29 19:01:58 +0200527
528 NB: read_bunzip returns < 0 on error, or the number of *unfilled* bytes
529 in outbuf. IOW: on EOF returns len ("all bytes are not filled"), not 0.
530 (Why? This allows to get rid of one local variable)
Eric Andersen5fa4db22003-10-23 06:52:01 +0000531*/
Denis Vlasenkodefc1ea2008-06-27 02:52:20 +0000532int FAST_FUNC read_bunzip(bunzip_data *bd, char *outbuf, int len)
Eric Andersen5fa4db22003-10-23 06:52:01 +0000533{
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200534 const uint32_t *dbuf;
Denys Vlasenko1014a9a2010-10-29 19:01:58 +0200535 int pos, current, previous;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200536 uint32_t CRC;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000537
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200538 /* If we already have error/end indicator, return it */
539 if (bd->writeCount < 0)
540 return bd->writeCount;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000541
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000542 dbuf = bd->dbuf;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200543
544 /* Register-cached state (hopefully): */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000545 pos = bd->writePos;
546 current = bd->writeCurrent;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200547 CRC = bd->writeCRC; /* small loss on x86-32 (not enough regs), win on x86-64 */
Eric Andersen5fa4db22003-10-23 06:52:01 +0000548
549 /* We will always have pending decoded data to write into the output
550 buffer unless this is the very first call (in which case we haven't
Eric Andersenaff114c2004-04-14 17:51:38 +0000551 Huffman-decoded a block into the intermediate buffer yet). */
Eric Andersen5fa4db22003-10-23 06:52:01 +0000552 if (bd->writeCopies) {
Rob Landleyf856eab2006-02-17 03:43:49 +0000553
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200554 dec_writeCopies:
Eric Andersen5fa4db22003-10-23 06:52:01 +0000555 /* Inside the loop, writeCopies means extra copies (beyond 1) */
556 --bd->writeCopies;
Rob Landleyf856eab2006-02-17 03:43:49 +0000557
Eric Andersen5fa4db22003-10-23 06:52:01 +0000558 /* Loop outputting bytes */
Denis Vlasenkobf0a2012006-12-26 10:42:51 +0000559 for (;;) {
Rob Landleyf856eab2006-02-17 03:43:49 +0000560
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200561 /* If the output buffer is full, save cached state and return */
Denys Vlasenko1014a9a2010-10-29 19:01:58 +0200562 if (--len < 0) {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200563 /* Unlikely branch.
564 * Use of "goto" instead of keeping code here
565 * helps compiler to realize this. */
566 goto outbuf_full;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000567 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000568
Eric Andersen5fa4db22003-10-23 06:52:01 +0000569 /* Write next byte into output buffer, updating CRC */
Denys Vlasenko1014a9a2010-10-29 19:01:58 +0200570 *outbuf++ = current;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200571 CRC = (CRC << 8) ^ bd->crc32Table[(CRC >> 24) ^ current];
Rob Landleyf856eab2006-02-17 03:43:49 +0000572
Eric Andersen5fa4db22003-10-23 06:52:01 +0000573 /* Loop now if we're outputting multiple copies of this byte */
574 if (bd->writeCopies) {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200575 /* Unlikely branch */
576 /*--bd->writeCopies;*/
577 /*continue;*/
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200578 /* Same, but (ab)using other existing --writeCopies operation
579 * (and this if() compiles into just test+branch pair): */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200580 goto dec_writeCopies;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000581 }
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000582 decode_next_byte:
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200583 if (--bd->writeCount < 0)
584 break; /* input block is fully consumed, need next one */
585
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000586 /* Follow sequence vector to undo Burrows-Wheeler transform */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000587 previous = current;
588 pos = dbuf[pos];
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200589 current = (uint8_t)pos;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000590 pos >>= 8;
Rob Landleyf856eab2006-02-17 03:43:49 +0000591
Denis Vlasenko52a43882007-10-10 20:53:41 +0000592 /* After 3 consecutive copies of the same byte, the 4th
593 * is a repeat count. We count down from 4 instead
Eric Andersen5fa4db22003-10-23 06:52:01 +0000594 * of counting up because testing for non-zero is faster */
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200595 if (--bd->writeRunCountdown != 0) {
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000596 if (current != previous)
597 bd->writeRunCountdown = 4;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000598 } else {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200599 /* Unlikely branch */
Eric Andersen5fa4db22003-10-23 06:52:01 +0000600 /* We have a repeated run, this byte indicates the count */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000601 bd->writeCopies = current;
602 current = previous;
603 bd->writeRunCountdown = 5;
Rob Landleyf856eab2006-02-17 03:43:49 +0000604
Eric Andersen5fa4db22003-10-23 06:52:01 +0000605 /* Sometimes there are just 3 bytes (run length 0) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000606 if (!bd->writeCopies) goto decode_next_byte;
Rob Landleyf856eab2006-02-17 03:43:49 +0000607
Eric Andersen5fa4db22003-10-23 06:52:01 +0000608 /* Subtract the 1 copy we'd output anyway to get extras */
609 --bd->writeCopies;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000610 }
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200611 } /* for(;;) */
Rob Landleyf856eab2006-02-17 03:43:49 +0000612
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200613 /* Decompression of this input block completed successfully */
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200614 bd->writeCRC = CRC = ~CRC;
615 bd->totalCRC = ((bd->totalCRC << 1) | (bd->totalCRC >> 31)) ^ CRC;
Rob Landleyf856eab2006-02-17 03:43:49 +0000616
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200617 /* If this block had a CRC error, force file level CRC error */
618 if (CRC != bd->headerCRC) {
Denis Vlasenko52a43882007-10-10 20:53:41 +0000619 bd->totalCRC = bd->headerCRC + 1;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000620 return RETVAL_LAST_BLOCK;
621 }
Glenn L McGrath60bce492002-11-03 07:28:38 +0000622 }
Eric Andersen5fa4db22003-10-23 06:52:01 +0000623
Eric Andersenaff114c2004-04-14 17:51:38 +0000624 /* Refill the intermediate buffer by Huffman-decoding next block of input */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200625 {
626 int r = get_next_block(bd);
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200627 if (r) { /* error/end */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200628 bd->writeCount = r;
Denys Vlasenko1014a9a2010-10-29 19:01:58 +0200629 return (r != RETVAL_LAST_BLOCK) ? r : len;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200630 }
Eric Andersen5fa4db22003-10-23 06:52:01 +0000631 }
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200632
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200633 CRC = ~0;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000634 pos = bd->writePos;
635 current = bd->writeCurrent;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000636 goto decode_next_byte;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200637
638 outbuf_full:
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200639 /* Output buffer is full, save cached state and return */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200640 bd->writePos = pos;
641 bd->writeCurrent = current;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200642 bd->writeCRC = CRC;
643
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200644 bd->writeCopies++;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200645
Denys Vlasenko1014a9a2010-10-29 19:01:58 +0200646 return 0;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000647}
648
Eric Andersen5fa4db22003-10-23 06:52:01 +0000649/* Allocate the structure, read file header. If in_fd==-1, inbuf must contain
650 a complete bunzip file (len bytes long). If in_fd!=-1, inbuf and len are
651 ignored, and data is read from file handle into temporary buffer. */
Rob Landleyf856eab2006-02-17 03:43:49 +0000652
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000653/* Because bunzip2 is used for help text unpacking, and because bb_show_usage()
654 should work for NOFORK applets too, we must be extremely careful to not leak
655 any allocations! */
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200656int FAST_FUNC start_bunzip(bunzip_data **bdp, int in_fd,
657 const void *inbuf, int len)
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000658{
659 bunzip_data *bd;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000660 unsigned i;
661 enum {
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000662 BZh0 = ('B' << 24) + ('Z' << 16) + ('h' << 8) + '0',
663 h0 = ('h' << 8) + '0',
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000664 };
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000665
666 /* Figure out how much data to allocate */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000667 i = sizeof(bunzip_data);
668 if (in_fd != -1) i += IOBUF_SIZE;
Rob Landleyf856eab2006-02-17 03:43:49 +0000669
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000670 /* Allocate bunzip_data. Most fields initialize to zero. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000671 bd = *bdp = xzalloc(i);
Rob Landleyf856eab2006-02-17 03:43:49 +0000672
Eric Andersen5fa4db22003-10-23 06:52:01 +0000673 /* Setup input buffer */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000674 bd->in_fd = in_fd;
675 if (-1 == in_fd) {
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000676 /* in this case, bd->inbuf is read-only */
677 bd->inbuf = (void*)inbuf; /* cast away const-ness */
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200678 } else {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200679 bd->inbuf = (uint8_t*)(bd + 1);
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200680 memcpy(bd->inbuf, inbuf, len);
681 }
682 bd->inbufCount = len;
Rob Landleyf856eab2006-02-17 03:43:49 +0000683
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000684 /* Init the CRC32 table (big endian) */
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000685 crc32_filltable(bd->crc32Table, 1);
Rob Landleyf856eab2006-02-17 03:43:49 +0000686
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000687 /* Setup for I/O error handling via longjmp */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000688 i = setjmp(bd->jmpbuf);
689 if (i) return i;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000690
691 /* Ensure that file starts with "BZh['1'-'9']." */
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000692 /* Update: now caller verifies 1st two bytes, makes .gz/.bz2
693 * integration easier */
694 /* was: */
695 /* i = get_bits(bd, 32); */
696 /* if ((unsigned)(i - BZh0 - 1) >= 9) return RETVAL_NOT_BZIP_DATA; */
697 i = get_bits(bd, 16);
698 if ((unsigned)(i - h0 - 1) >= 9) return RETVAL_NOT_BZIP_DATA;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000699
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000700 /* Fourth byte (ascii '1'-'9') indicates block size in units of 100k of
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000701 uncompressed data. Allocate intermediate buffer for block. */
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000702 /* bd->dbufSize = 100000 * (i - BZh0); */
703 bd->dbufSize = 100000 * (i - h0);
Eric Andersen5fa4db22003-10-23 06:52:01 +0000704
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000705 /* Cannot use xmalloc - may leak bd in NOFORK case! */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200706 bd->dbuf = malloc_or_warn(bd->dbufSize * sizeof(bd->dbuf[0]));
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000707 if (!bd->dbuf) {
708 free(bd);
709 xfunc_die();
710 }
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000711 return RETVAL_OK;
712}
713
Denis Vlasenkodefc1ea2008-06-27 02:52:20 +0000714void FAST_FUNC dealloc_bunzip(bunzip_data *bd)
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000715{
Denis Vlasenko4b924f32007-05-30 00:29:55 +0000716 free(bd->dbuf);
717 free(bd);
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000718}
719
720
721/* Decompress src_fd to dst_fd. Stops at end of bzip data, not end of file. */
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000722IF_DESKTOP(long long) int FAST_FUNC
Denis Vlasenkoc14d39e2007-06-08 13:05:39 +0000723unpack_bz2_stream(int src_fd, int dst_fd)
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000724{
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000725 IF_DESKTOP(long long total_written = 0;)
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200726 bunzip_data *bd;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000727 char *outbuf;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000728 int i;
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200729 unsigned len;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000730
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000731 outbuf = xmalloc(IOBUF_SIZE);
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200732 len = 0;
733 while (1) { /* "Process one BZ... stream" loop */
734
735 i = start_bunzip(&bd, src_fd, outbuf + 2, len);
736
737 if (i == 0) {
738 while (1) { /* "Produce some output bytes" loop */
739 i = read_bunzip(bd, outbuf, IOBUF_SIZE);
Denys Vlasenko1014a9a2010-10-29 19:01:58 +0200740 if (i < 0) /* error? */
741 break;
742 i = IOBUF_SIZE - i; /* number of bytes produced */
743 if (i == 0) /* EOF? */
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200744 break;
745 if (i != full_write(dst_fd, outbuf, i)) {
746 bb_error_msg("short write");
747 goto release_mem;
748 }
749 IF_DESKTOP(total_written += i;)
Eric Andersen5fa4db22003-10-23 06:52:01 +0000750 }
751 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000752
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200753 if (i != RETVAL_LAST_BLOCK) {
754 bb_error_msg("bunzip error %d", i);
755 break;
756 }
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000757 if (bd->headerCRC != bd->totalCRC) {
Denis Vlasenko66bbfbd2007-09-28 23:45:56 +0000758 bb_error_msg("CRC error");
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200759 break;
Glenn L McGrath1c834402003-10-28 23:32:12 +0000760 }
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200761
762 /* Successfully unpacked one BZ stream */
763 i = RETVAL_OK;
764
765 /* Do we have "BZ..." after last processed byte?
766 * pbzip2 (parallelized bzip2) produces such files.
767 */
768 len = bd->inbufCount - bd->inbufPos;
769 memcpy(outbuf, &bd->inbuf[bd->inbufPos], len);
770 if (len < 2) {
771 if (safe_read(src_fd, outbuf + len, 2 - len) != 2 - len)
772 break;
773 len = 2;
774 }
775 if (*(uint16_t*)outbuf != BZIP2_MAGIC) /* "BZ"? */
776 break;
777 dealloc_bunzip(bd);
778 len -= 2;
Glenn L McGrath1c834402003-10-28 23:32:12 +0000779 }
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200780
781 release_mem:
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000782 dealloc_bunzip(bd);
Eric Andersen5fa4db22003-10-23 06:52:01 +0000783 free(outbuf);
Glenn L McGrath1c834402003-10-28 23:32:12 +0000784
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000785 return i ? i : IF_DESKTOP(total_written) + 0;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000786}
787
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000788IF_DESKTOP(long long) int FAST_FUNC
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000789unpack_bz2_stream_prime(int src_fd, int dst_fd)
790{
Denys Vlasenko620e8632010-06-30 19:43:44 +0200791 uint16_t magic2;
792 xread(src_fd, &magic2, 2);
793 if (magic2 != BZIP2_MAGIC) {
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000794 bb_error_msg_and_die("invalid magic");
795 }
796 return unpack_bz2_stream(src_fd, dst_fd);
797}
798
Eric Andersen5fa4db22003-10-23 06:52:01 +0000799#ifdef TESTING
Glenn L McGrath60bce492002-11-03 07:28:38 +0000800
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000801static char *const bunzip_errors[] = {
802 NULL, "Bad file checksum", "Not bzip data",
803 "Unexpected input EOF", "Unexpected output EOF", "Data error",
804 "Out of memory", "Obsolete (pre 0.9.5) bzip format not supported"
805};
Glenn L McGrath237ae422002-11-03 14:05:15 +0000806
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000807/* Dumb little test thing, decompress stdin to stdout */
Bernhard Reutner-Fischerfebe3c42007-04-04 20:52:03 +0000808int main(int argc, char **argv)
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000809{
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000810 int i;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000811 char c;
812
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000813 int i = unpack_bz2_stream_prime(0, 1);
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000814 if (i < 0)
Denis Vlasenkof5d8c902008-06-26 14:32:57 +0000815 fprintf(stderr, "%s\n", bunzip_errors[-i]);
Bernhard Reutner-Fischer5e25ddb2008-05-19 09:48:17 +0000816 else if (read(STDIN_FILENO, &c, 1))
Denis Vlasenkof5d8c902008-06-26 14:32:57 +0000817 fprintf(stderr, "Trailing garbage ignored\n");
Eric Andersen5fa4db22003-10-23 06:52:01 +0000818 return -i;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000819}
820#endif