blob: 8d7746a79788916b87db74aa6f26d221d413ef78 [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
23 I would ask that anyone benefiting from this work, especially those
24 using it in commercial products, consider making a donation to my local
Rob Landleyf856eab2006-02-17 03:43:49 +000025 non-profit hospice organization (www.hospiceacadiana.com) in the name of
Bernhard Reutner-Fischercfb53df2006-04-02 21:50:01 +000026 the woman I loved, Toni W. Hagan, who passed away Feb. 12, 2003.
Eric Andersen5fa4db22003-10-23 06:52:01 +000027
28 Manuel
29 */
30
Glenn L McGrath1c834402003-10-28 23:32:12 +000031#include "libbb.h"
Bernhard Reutner-Fischercfb53df2006-04-02 21:50:01 +000032#include "unarchive.h"
33
Eric Andersenaff114c2004-04-14 17:51:38 +000034/* Constants for Huffman coding */
Denis Vlasenkobf0a2012006-12-26 10:42:51 +000035#define MAX_GROUPS 6
36#define GROUP_SIZE 50 /* 64 would have been more efficient */
37#define MAX_HUFCODE_BITS 20 /* Longest Huffman code allowed */
38#define MAX_SYMBOLS 258 /* 256 literals + RUNA + RUNB */
39#define SYMBOL_RUNA 0
40#define SYMBOL_RUNB 1
Glenn L McGrath60bce492002-11-03 07:28:38 +000041
Eric Andersen0d6d88a2003-10-18 01:58:35 +000042/* Status return values */
Denis Vlasenkobf0a2012006-12-26 10:42:51 +000043#define RETVAL_OK 0
44#define RETVAL_LAST_BLOCK (-1)
45#define RETVAL_NOT_BZIP_DATA (-2)
46#define RETVAL_UNEXPECTED_INPUT_EOF (-3)
Denys Vlasenkocaddfc82010-10-28 23:08:53 +020047//#define RETVAL_SHORT_WRITE (-4)
Denis Vlasenkobf0a2012006-12-26 10:42:51 +000048#define RETVAL_DATA_ERROR (-5)
49#define RETVAL_OUT_OF_MEMORY (-6)
50#define RETVAL_OBSOLETE_INPUT (-7)
Glenn L McGrath60bce492002-11-03 07:28:38 +000051
Eric Andersen0d6d88a2003-10-18 01:58:35 +000052/* Other housekeeping constants */
Denis Vlasenkobf0a2012006-12-26 10:42:51 +000053#define IOBUF_SIZE 4096
Glenn L McGrath60bce492002-11-03 07:28:38 +000054
Eric Andersenaff114c2004-04-14 17:51:38 +000055/* This is what we know about each Huffman coding group */
Eric Andersen0d6d88a2003-10-18 01:58:35 +000056struct group_data {
Denis Vlasenko52a43882007-10-10 20:53:41 +000057 /* We have an extra slot at the end of limit[] for a sentinel value. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +000058 int limit[MAX_HUFCODE_BITS+1], base[MAX_HUFCODE_BITS], permute[MAX_SYMBOLS];
Eric Andersen5fa4db22003-10-23 06:52:01 +000059 int minLen, maxLen;
Glenn L McGrath60bce492002-11-03 07:28:38 +000060};
61
Eric Andersen0d6d88a2003-10-18 01:58:35 +000062/* Structure holding all the housekeeping data, including IO buffers and
Denis Vlasenko52a43882007-10-10 20:53:41 +000063 * memory that persists between calls to bunzip
64 * Found the most used member:
65 * cat this_file.c | sed -e 's/"/ /g' -e "s/'/ /g" | xargs -n1 \
66 * | grep 'bd->' | sed 's/^.*bd->/bd->/' | sort | $PAGER
67 * and moved it (inbufBitCount) to offset 0.
68 */
Denis Vlasenkoc6758a02007-04-10 21:40:19 +000069struct bunzip_data {
Eric Andersen5fa4db22003-10-23 06:52:01 +000070 /* I/O tracking data (file handles, buffers, positions, etc.) */
Denis Vlasenko52a43882007-10-10 20:53:41 +000071 unsigned inbufBitCount, inbufBits;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +000072 int in_fd, out_fd, inbufCount, inbufPos /*, outbufPos*/;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +020073 uint8_t *inbuf /*,*outbuf*/;
Denis Vlasenko52a43882007-10-10 20:53:41 +000074
75 /* State for interrupting output loop */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +020076 int writeCopies, writePos, writeRunCountdown, writeCount;
77 int writeCurrent; /* actually a uint8_t */
Rob Landleyf856eab2006-02-17 03:43:49 +000078
Eric Andersen0d6d88a2003-10-18 01:58:35 +000079 /* The CRC values stored in the block header and calculated from the data */
Rob Landleyc57ec372006-04-10 17:07:15 +000080 uint32_t headerCRC, totalCRC, writeCRC;
Rob Landleyf856eab2006-02-17 03:43:49 +000081
Denis Vlasenkoc6758a02007-04-10 21:40:19 +000082 /* Intermediate buffer and its size (in bytes) */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +020083 uint32_t *dbuf;
84 unsigned dbufSize;
Rob Landleyf856eab2006-02-17 03:43:49 +000085
Denis Vlasenkoc6758a02007-04-10 21:40:19 +000086 /* For I/O error handling */
87 jmp_buf jmpbuf;
Rob Landleyf856eab2006-02-17 03:43:49 +000088
Denis Vlasenko52a43882007-10-10 20:53:41 +000089 /* Big things go last (register-relative addressing can be larger for big offsets) */
Denis Vlasenkoc6758a02007-04-10 21:40:19 +000090 uint32_t crc32Table[256];
Denys Vlasenko36ef0a62010-10-29 16:05:05 +020091 uint8_t selectors[32768]; /* nSelectors=15 bits */
Denys Vlasenkofb132e42010-10-29 11:46:52 +020092 struct group_data groups[MAX_GROUPS]; /* Huffman coding tables */
Denis Vlasenkoc6758a02007-04-10 21:40:19 +000093};
94/* typedef struct bunzip_data bunzip_data; -- done in .h file */
Rob Landleyf856eab2006-02-17 03:43:49 +000095
Eric Andersen0d6d88a2003-10-18 01:58:35 +000096
97/* Return the next nnn bits of input. All reads from the compressed input
98 are done through this function. All reads are big endian */
Denis Vlasenko52a43882007-10-10 20:53:41 +000099static unsigned get_bits(bunzip_data *bd, int bits_wanted)
Glenn L McGrath60bce492002-11-03 07:28:38 +0000100{
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000101 unsigned bits = 0;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200102 /* Cache bd->inbufBitCount in a CPU register (hopefully): */
103 int bit_count = bd->inbufBitCount;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000104
105 /* If we need to get more data from the byte buffer, do so. (Loop getting
106 one byte at a time to enforce endianness and avoid unaligned access.) */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200107 while (bit_count < bits_wanted) {
Rob Landleyf856eab2006-02-17 03:43:49 +0000108
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000109 /* If we need to read more data from file into byte buffer, do so */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000110 if (bd->inbufPos == bd->inbufCount) {
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000111 /* if "no input fd" case: in_fd == -1, read fails, we jump */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000112 bd->inbufCount = read(bd->in_fd, bd->inbuf, IOBUF_SIZE);
113 if (bd->inbufCount <= 0)
114 longjmp(bd->jmpbuf, RETVAL_UNEXPECTED_INPUT_EOF);
115 bd->inbufPos = 0;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000116 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000117
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000118 /* Avoid 32-bit overflow (dump bit buffer to top of output) */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200119 if (bit_count >= 24) {
120 bits = bd->inbufBits & ((1 << bit_count) - 1);
121 bits_wanted -= bit_count;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000122 bits <<= bits_wanted;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200123 bit_count = 0;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000124 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000125
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000126 /* Grab next 8 bits of input from buffer. */
Denis Vlasenko52a43882007-10-10 20:53:41 +0000127 bd->inbufBits = (bd->inbufBits << 8) | bd->inbuf[bd->inbufPos++];
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200128 bit_count += 8;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000129 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000130
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000131 /* Calculate result */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200132 bit_count -= bits_wanted;
133 bd->inbufBitCount = bit_count;
134 bits |= (bd->inbufBits >> bit_count) & ((1 << bits_wanted) - 1);
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000135
136 return bits;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000137}
138
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200139/* Unpacks the next block and sets up for the inverse Burrows-Wheeler step. */
Eric Andersen5fa4db22003-10-23 06:52:01 +0000140static int get_next_block(bunzip_data *bd)
Glenn L McGrath60bce492002-11-03 07:28:38 +0000141{
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000142 struct group_data *hufGroup;
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000143 int dbufCount, nextSym, dbufSize, groupCount, *base, *limit, selector,
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000144 i, j, k, t, runPos, symCount, symTotal, nSelectors, byteCount[256];
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200145 uint8_t uc, symToByte[256], mtfSymbol[256], *selectors;
146 uint32_t *dbuf;
147 unsigned origPtr;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000148
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000149 dbuf = bd->dbuf;
150 dbufSize = bd->dbufSize;
151 selectors = bd->selectors;
Rob Landley2c98c402006-02-17 05:12:03 +0000152
Eric Andersen5fa4db22003-10-23 06:52:01 +0000153 /* Reset longjmp I/O error handling */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000154 i = setjmp(bd->jmpbuf);
Denis Vlasenkobf0a2012006-12-26 10:42:51 +0000155 if (i) return i;
Rob Landley2c98c402006-02-17 05:12:03 +0000156
Eric Andersen5fa4db22003-10-23 06:52:01 +0000157 /* Read in header signature and CRC, then validate signature.
158 (last block signature means CRC is for whole file, return now) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000159 i = get_bits(bd, 24);
160 j = get_bits(bd, 24);
161 bd->headerCRC = get_bits(bd, 32);
Eric Andersen5fa4db22003-10-23 06:52:01 +0000162 if ((i == 0x177245) && (j == 0x385090)) return RETVAL_LAST_BLOCK;
163 if ((i != 0x314159) || (j != 0x265359)) return RETVAL_NOT_BZIP_DATA;
Rob Landley2c98c402006-02-17 05:12:03 +0000164
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000165 /* We can add support for blockRandomised if anybody complains. There was
166 some code for this in busybox 1.0.0-pre3, but nobody ever noticed that
167 it didn't actually work. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000168 if (get_bits(bd, 1)) return RETVAL_OBSOLETE_INPUT;
169 origPtr = get_bits(bd, 24);
Denis Vlasenko6b06cb82008-05-15 21:30:45 +0000170 if ((int)origPtr > dbufSize) return RETVAL_DATA_ERROR;
Rob Landley2c98c402006-02-17 05:12:03 +0000171
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000172 /* mapping table: if some byte values are never used (encoding things
173 like ascii text), the compression code removes the gaps to have fewer
174 symbols to deal with, and writes a sparse bitfield indicating which
175 values were present. We make a translation table to convert the symbols
176 back to the corresponding bytes. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000177 t = get_bits(bd, 16);
178 symTotal = 0;
179 for (i = 0; i < 16; i++) {
180 if (t & (1 << (15-i))) {
181 k = get_bits(bd, 16);
182 for (j = 0; j < 16; j++)
183 if (k & (1 << (15-j)))
184 symToByte[symTotal++] = (16*i) + j;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000185 }
186 }
Rob Landley2c98c402006-02-17 05:12:03 +0000187
Eric Andersenaff114c2004-04-14 17:51:38 +0000188 /* How many different Huffman coding groups does this block use? */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000189 groupCount = get_bits(bd, 3);
190 if (groupCount < 2 || groupCount > MAX_GROUPS)
191 return RETVAL_DATA_ERROR;
Rob Landley2c98c402006-02-17 05:12:03 +0000192
Eric Andersenaff114c2004-04-14 17:51:38 +0000193 /* nSelectors: Every GROUP_SIZE many symbols we select a new Huffman coding
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000194 group. Read in the group selector list, which is stored as MTF encoded
Eric Andersen5fa4db22003-10-23 06:52:01 +0000195 bit runs. (MTF=Move To Front, as each value is used it's moved to the
196 start of the list.) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000197 nSelectors = get_bits(bd, 15);
198 if (!nSelectors) return RETVAL_DATA_ERROR;
199 for (i = 0; i < groupCount; i++) mtfSymbol[i] = i;
200 for (i = 0; i < nSelectors; i++) {
Rob Landley2c98c402006-02-17 05:12:03 +0000201
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000202 /* Get next value */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000203 for (j = 0; get_bits(bd, 1); j++)
Denis Vlasenko52a43882007-10-10 20:53:41 +0000204 if (j >= groupCount) return RETVAL_DATA_ERROR;
Rob Landley2c98c402006-02-17 05:12:03 +0000205
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000206 /* Decode MTF to get the next selector */
207 uc = mtfSymbol[j];
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200208 for (; j; j--)
209 mtfSymbol[j] = mtfSymbol[j-1];
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000210 mtfSymbol[0] = selectors[i] = uc;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000211 }
Rob Landley2c98c402006-02-17 05:12:03 +0000212
Eric Andersenaff114c2004-04-14 17:51:38 +0000213 /* Read the Huffman coding tables for each group, which code for symTotal
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000214 literal symbols, plus two run symbols (RUNA, RUNB) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000215 symCount = symTotal + 2;
216 for (j = 0; j < groupCount; j++) {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200217 uint8_t length[MAX_SYMBOLS];
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000218 /* 8 bits is ALMOST enough for temp[], see below */
219 unsigned temp[MAX_HUFCODE_BITS+1];
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000220 int minLen, maxLen, pp;
Rob Landley2c98c402006-02-17 05:12:03 +0000221
Eric Andersenaff114c2004-04-14 17:51:38 +0000222 /* Read Huffman code lengths for each symbol. They're stored in
Eric Andersen5fa4db22003-10-23 06:52:01 +0000223 a way similar to mtf; record a starting value for the first symbol,
224 and an offset from the previous value for everys symbol after that.
225 (Subtracting 1 before the loop and then adding it back at the end is
226 an optimization that makes the test inside the loop simpler: symbol
227 length 0 becomes negative, so an unsigned inequality catches it.) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000228 t = get_bits(bd, 5) - 1;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000229 for (i = 0; i < symCount; i++) {
Denis Vlasenkobf0a2012006-12-26 10:42:51 +0000230 for (;;) {
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000231 if ((unsigned)t > (MAX_HUFCODE_BITS-1))
Eric Andersen5fa4db22003-10-23 06:52:01 +0000232 return RETVAL_DATA_ERROR;
Rob Landley2c98c402006-02-17 05:12:03 +0000233
Eric Andersen5fa4db22003-10-23 06:52:01 +0000234 /* If first bit is 0, stop. Else second bit indicates whether
235 to increment or decrement the value. Optimization: grab 2
236 bits and unget the second if the first was 0. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000237 k = get_bits(bd, 2);
Eric Andersen5fa4db22003-10-23 06:52:01 +0000238 if (k < 2) {
239 bd->inbufBitCount++;
240 break;
241 }
Rob Landley2c98c402006-02-17 05:12:03 +0000242
Eric Andersen5fa4db22003-10-23 06:52:01 +0000243 /* Add one if second bit 1, else subtract 1. Avoids if/else */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000244 t += (((k+1) & 2) - 1);
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000245 }
Rob Landley2c98c402006-02-17 05:12:03 +0000246
Eric Andersen5fa4db22003-10-23 06:52:01 +0000247 /* Correct for the initial -1, to get the final symbol length */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000248 length[i] = t + 1;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000249 }
Rob Landley2c98c402006-02-17 05:12:03 +0000250
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000251 /* Find largest and smallest lengths in this group */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000252 minLen = maxLen = length[0];
Denis Vlasenkobf0a2012006-12-26 10:42:51 +0000253 for (i = 1; i < symCount; i++) {
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000254 if (length[i] > maxLen) maxLen = length[i];
255 else if (length[i] < minLen) minLen = length[i];
Glenn L McGrath60bce492002-11-03 07:28:38 +0000256 }
Rob Landley2c98c402006-02-17 05:12:03 +0000257
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000258 /* Calculate permute[], base[], and limit[] tables from length[].
259 *
Eric Andersenaff114c2004-04-14 17:51:38 +0000260 * permute[] is the lookup table for converting Huffman coded symbols
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000261 * into decoded symbols. base[] is the amount to subtract from the
Eric Andersenaff114c2004-04-14 17:51:38 +0000262 * value of a Huffman symbol of a given length when using permute[].
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000263 *
264 * limit[] indicates the largest numerical value a symbol with a given
Eric Andersenaff114c2004-04-14 17:51:38 +0000265 * number of bits can have. This is how the Huffman codes can vary in
Eric Andersen5fa4db22003-10-23 06:52:01 +0000266 * length: each code with a value>limit[length] needs another bit.
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000267 */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000268 hufGroup = bd->groups + j;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000269 hufGroup->minLen = minLen;
270 hufGroup->maxLen = maxLen;
Rob Landley2c98c402006-02-17 05:12:03 +0000271
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000272 /* Note that minLen can't be smaller than 1, so we adjust the base
273 and limit array pointers so we're not always wasting the first
274 entry. We do this again when using them (during symbol decoding).*/
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000275 base = hufGroup->base - 1;
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000276 limit = hufGroup->limit - 1;
Rob Landley2c98c402006-02-17 05:12:03 +0000277
Eric Andersen5fa4db22003-10-23 06:52:01 +0000278 /* Calculate permute[]. Concurently, initialize temp[] and limit[]. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000279 pp = 0;
280 for (i = minLen; i <= maxLen; i++) {
281 temp[i] = limit[i] = 0;
282 for (t = 0; t < symCount; t++)
283 if (length[t] == i)
284 hufGroup->permute[pp++] = t;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000285 }
Rob Landley2c98c402006-02-17 05:12:03 +0000286
Eric Andersen5fa4db22003-10-23 06:52:01 +0000287 /* Count symbols coded for at each bit length */
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000288 /* NB: in pathological cases, temp[8] can end ip being 256.
289 * That's why uint8_t is too small for temp[]. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000290 for (i = 0; i < symCount; i++) temp[length[i]]++;
Rob Landley2c98c402006-02-17 05:12:03 +0000291
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000292 /* Calculate limit[] (the largest symbol-coding value at each bit
293 * length, which is (previous limit<<1)+symbols at this level), and
294 * base[] (number of symbols to ignore at each bit length, which is
Eric Andersen5fa4db22003-10-23 06:52:01 +0000295 * limit minus the cumulative count of symbols coded for already). */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000296 pp = t = 0;
297 for (i = minLen; i < maxLen; i++) {
298 pp += temp[i];
Rob Landley2c98c402006-02-17 05:12:03 +0000299
Eric Andersen5fa4db22003-10-23 06:52:01 +0000300 /* We read the largest possible symbol size and then unget bits
301 after determining how many we need, and those extra bits could
302 be set to anything. (They're noise from future symbols.) At
303 each level we're really only interested in the first few bits,
304 so here we set all the trailing to-be-ignored bits to 1 so they
305 don't affect the value>limit[length] comparison. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000306 limit[i] = (pp << (maxLen - i)) - 1;
307 pp <<= 1;
308 t += temp[i];
309 base[i+1] = pp - t;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000310 }
Denis Vlasenko52a43882007-10-10 20:53:41 +0000311 limit[maxLen+1] = INT_MAX; /* Sentinel value for reading next sym. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000312 limit[maxLen] = pp + temp[maxLen] - 1;
313 base[minLen] = 0;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000314 }
Rob Landley2c98c402006-02-17 05:12:03 +0000315
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000316 /* We've finished reading and digesting the block header. Now read this
Eric Andersenaff114c2004-04-14 17:51:38 +0000317 block's Huffman coded symbols from the file and undo the Huffman coding
Denis Vlasenko52a43882007-10-10 20:53:41 +0000318 and run length encoding, saving the result into dbuf[dbufCount++] = uc */
Glenn L McGrath60bce492002-11-03 07:28:38 +0000319
Eric Andersen5fa4db22003-10-23 06:52:01 +0000320 /* Initialize symbol occurrence counters and symbol Move To Front table */
Denis Vlasenko52a43882007-10-10 20:53:41 +0000321 memset(byteCount, 0, sizeof(byteCount)); /* smaller, maybe slower? */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000322 for (i = 0; i < 256; i++) {
Denis Vlasenko52a43882007-10-10 20:53:41 +0000323 //byteCount[i] = 0;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200324 mtfSymbol[i] = (uint8_t)i;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000325 }
Rob Landley2c98c402006-02-17 05:12:03 +0000326
Eric Andersen5fa4db22003-10-23 06:52:01 +0000327 /* Loop through compressed symbols. */
Rob Landley2c98c402006-02-17 05:12:03 +0000328
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000329 runPos = dbufCount = selector = 0;
Denis Vlasenkobf0a2012006-12-26 10:42:51 +0000330 for (;;) {
Rob Landley2c98c402006-02-17 05:12:03 +0000331
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000332 /* Fetch next Huffman coding group from list. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000333 symCount = GROUP_SIZE - 1;
334 if (selector >= nSelectors) return RETVAL_DATA_ERROR;
335 hufGroup = bd->groups + selectors[selector++];
336 base = hufGroup->base - 1;
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000337 limit = hufGroup->limit - 1;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000338 continue_this_group:
Rob Landley2c98c402006-02-17 05:12:03 +0000339
Eric Andersenaff114c2004-04-14 17:51:38 +0000340 /* Read next Huffman-coded symbol. */
Rob Landley2c98c402006-02-17 05:12:03 +0000341
Eric Andersen5fa4db22003-10-23 06:52:01 +0000342 /* Note: It is far cheaper to read maxLen bits and back up than it is
343 to read minLen bits and then an additional bit at a time, testing
344 as we go. Because there is a trailing last block (with file CRC),
345 there is no danger of the overread causing an unexpected EOF for a
346 valid compressed file. As a further optimization, we do the read
347 inline (falling back to a call to get_bits if the buffer runs
348 dry). The following (up to got_huff_bits:) is equivalent to
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000349 j = get_bits(bd, hufGroup->maxLen);
Eric Andersen5fa4db22003-10-23 06:52:01 +0000350 */
Denis Vlasenko6b06cb82008-05-15 21:30:45 +0000351 while ((int)(bd->inbufBitCount) < hufGroup->maxLen) {
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000352 if (bd->inbufPos == bd->inbufCount) {
353 j = get_bits(bd, hufGroup->maxLen);
Eric Andersen5fa4db22003-10-23 06:52:01 +0000354 goto got_huff_bits;
355 }
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000356 bd->inbufBits = (bd->inbufBits << 8) | bd->inbuf[bd->inbufPos++];
357 bd->inbufBitCount += 8;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000358 };
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000359 bd->inbufBitCount -= hufGroup->maxLen;
360 j = (bd->inbufBits >> bd->inbufBitCount) & ((1 << hufGroup->maxLen) - 1);
Rob Landley2c98c402006-02-17 05:12:03 +0000361
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000362 got_huff_bits:
Rob Landley2c98c402006-02-17 05:12:03 +0000363
Eric Andersen5fa4db22003-10-23 06:52:01 +0000364 /* Figure how how many bits are in next symbol and unget extras */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000365 i = hufGroup->minLen;
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000366 while (j > limit[i]) ++i;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000367 bd->inbufBitCount += (hufGroup->maxLen - i);
Rob Landley2c98c402006-02-17 05:12:03 +0000368
Eric Andersen5fa4db22003-10-23 06:52:01 +0000369 /* Huffman decode value to get nextSym (with bounds checking) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000370 if (i > hufGroup->maxLen)
371 return RETVAL_DATA_ERROR;
372 j = (j >> (hufGroup->maxLen - i)) - base[i];
373 if ((unsigned)j >= MAX_SYMBOLS)
Eric Andersen5fa4db22003-10-23 06:52:01 +0000374 return RETVAL_DATA_ERROR;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000375 nextSym = hufGroup->permute[j];
Rob Landley2c98c402006-02-17 05:12:03 +0000376
Eric Andersen5fa4db22003-10-23 06:52:01 +0000377 /* We have now decoded the symbol, which indicates either a new literal
378 byte, or a repeated run of the most recent literal byte. First,
379 check if nextSym indicates a repeated run, and if so loop collecting
380 how many times to repeat the last literal. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000381 if ((unsigned)nextSym <= SYMBOL_RUNB) { /* RUNA or RUNB */
Rob Landley2c98c402006-02-17 05:12:03 +0000382
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000383 /* If this is the start of a new run, zero out counter */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000384 if (!runPos) {
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000385 runPos = 1;
386 t = 0;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000387 }
Rob Landley2c98c402006-02-17 05:12:03 +0000388
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000389 /* Neat trick that saves 1 symbol: instead of or-ing 0 or 1 at
390 each bit position, add 1 or 2 instead. For example,
391 1011 is 1<<0 + 1<<1 + 2<<2. 1010 is 2<<0 + 2<<1 + 1<<2.
392 You can make any bit pattern that way using 1 less symbol than
393 the basic or 0/1 method (except all bits 0, which would use no
394 symbols, but a run of length 0 doesn't mean anything in this
395 context). Thus space is saved. */
Eric Andersen1acfb722003-10-18 01:59:46 +0000396 t += (runPos << nextSym); /* +runPos if RUNA; +2*runPos if RUNB */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000397 if (runPos < dbufSize) runPos <<= 1;
Rob Landleya8b98d62004-11-16 12:07:04 +0000398 goto end_of_huffman_loop;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000399 }
Rob Landley2c98c402006-02-17 05:12:03 +0000400
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000401 /* When we hit the first non-run symbol after a run, we now know
402 how many times to repeat the last literal, so append that many
403 copies to our buffer of decoded symbols (dbuf) now. (The last
404 literal used is the one at the head of the mtfSymbol array.) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000405 if (runPos) {
406 runPos = 0;
407 if (dbufCount + t >= dbufSize) return RETVAL_DATA_ERROR;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000408
409 uc = symToByte[mtfSymbol[0]];
410 byteCount[uc] += t;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000411 while (t--) dbuf[dbufCount++] = uc;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000412 }
Rob Landley2c98c402006-02-17 05:12:03 +0000413
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000414 /* Is this the terminating symbol? */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000415 if (nextSym > symTotal) break;
Rob Landley2c98c402006-02-17 05:12:03 +0000416
Eric Andersen5fa4db22003-10-23 06:52:01 +0000417 /* At this point, nextSym indicates a new literal character. Subtract
418 one to get the position in the MTF array at which this literal is
419 currently to be found. (Note that the result can't be -1 or 0,
420 because 0 and 1 are RUNA and RUNB. But another instance of the
421 first symbol in the mtf array, position 0, would have been handled
422 as part of a run above. Therefore 1 unused mtf position minus
423 2 non-literal nextSym values equals -1.) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000424 if (dbufCount >= dbufSize) return RETVAL_DATA_ERROR;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000425 i = nextSym - 1;
426 uc = mtfSymbol[i];
Rob Landley2c98c402006-02-17 05:12:03 +0000427
Eric Andersen5fa4db22003-10-23 06:52:01 +0000428 /* Adjust the MTF array. Since we typically expect to move only a
429 * small number of symbols, and are bound by 256 in any case, using
430 * memmove here would typically be bigger and slower due to function
431 * call overhead and other assorted setup costs. */
Eric Andersen1acfb722003-10-18 01:59:46 +0000432 do {
433 mtfSymbol[i] = mtfSymbol[i-1];
434 } while (--i);
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000435 mtfSymbol[0] = uc;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000436 uc = symToByte[uc];
Rob Landley2c98c402006-02-17 05:12:03 +0000437
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000438 /* We have our literal byte. Save it into dbuf. */
439 byteCount[uc]++;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000440 dbuf[dbufCount++] = (unsigned)uc;
Rob Landley2c98c402006-02-17 05:12:03 +0000441
Rob Landleyf856eab2006-02-17 03:43:49 +0000442 /* Skip group initialization if we're not done with this group. Done
443 * this way to avoid compiler warning. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000444 end_of_huffman_loop:
445 if (symCount--) goto continue_this_group;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000446 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000447
Eric Andersenaff114c2004-04-14 17:51:38 +0000448 /* At this point, we've read all the Huffman-coded symbols (and repeated
Denis Vlasenko246b5c32007-04-10 17:18:12 +0000449 runs) for this block from the input stream, and decoded them into the
Eric Andersen5fa4db22003-10-23 06:52:01 +0000450 intermediate buffer. There are dbufCount many decoded bytes in dbuf[].
451 Now undo the Burrows-Wheeler transform on dbuf.
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000452 See http://dogma.net/markn/articles/bwt/bwt.htm
453 */
Rob Landley2c98c402006-02-17 05:12:03 +0000454
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000455 /* Turn byteCount into cumulative occurrence counts of 0 to n-1. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000456 j = 0;
457 for (i = 0; i < 256; i++) {
458 k = j + byteCount[i];
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000459 byteCount[i] = j;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000460 j = k;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000461 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000462
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000463 /* Figure out what order dbuf would be in if we sorted it. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000464 for (i = 0; i < dbufCount; i++) {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200465 uc = (uint8_t)dbuf[i];
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000466 dbuf[byteCount[uc]] |= (i << 8);
467 byteCount[uc]++;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000468 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000469
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000470 /* Decode first byte by hand to initialize "previous" byte. Note that it
471 doesn't get output, and if the first three characters are identical
Eric Andersen5fa4db22003-10-23 06:52:01 +0000472 it doesn't qualify as a run (hence writeRunCountdown=5). */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000473 if (dbufCount) {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200474 uint32_t tmp;
Denis Vlasenko6b06cb82008-05-15 21:30:45 +0000475 if ((int)origPtr >= dbufCount) return RETVAL_DATA_ERROR;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200476 tmp = dbuf[origPtr];
477 bd->writeCurrent = (uint8_t)tmp;
478 bd->writePos = (tmp >> 8);
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000479 bd->writeRunCountdown = 5;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000480 }
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000481 bd->writeCount = dbufCount;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000482
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000483 return RETVAL_OK;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000484}
485
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200486/* Undo Burrows-Wheeler transform on intermediate buffer to produce output.
Eric Andersen5fa4db22003-10-23 06:52:01 +0000487 If start_bunzip was initialized with out_fd=-1, then up to len bytes of
488 data are written to outbuf. Return value is number of bytes written or
489 error (all errors are negative numbers). If out_fd!=-1, outbuf and len
490 are ignored, data is written to out_fd and return is RETVAL_OK or error.
491*/
Denis Vlasenkodefc1ea2008-06-27 02:52:20 +0000492int FAST_FUNC read_bunzip(bunzip_data *bd, char *outbuf, int len)
Eric Andersen5fa4db22003-10-23 06:52:01 +0000493{
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200494 const uint32_t *dbuf;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200495 int pos, current, previous, out_count;
496 uint32_t CRC;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000497
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200498 /* If we already have error/end indicator, return it */
499 if (bd->writeCount < 0)
500 return bd->writeCount;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000501
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200502 out_count = 0;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000503 dbuf = bd->dbuf;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200504
505 /* Register-cached state (hopefully): */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000506 pos = bd->writePos;
507 current = bd->writeCurrent;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200508 CRC = bd->writeCRC; /* small loss on x86-32 (not enough regs), win on x86-64 */
Eric Andersen5fa4db22003-10-23 06:52:01 +0000509
510 /* We will always have pending decoded data to write into the output
511 buffer unless this is the very first call (in which case we haven't
Eric Andersenaff114c2004-04-14 17:51:38 +0000512 Huffman-decoded a block into the intermediate buffer yet). */
Eric Andersen5fa4db22003-10-23 06:52:01 +0000513 if (bd->writeCopies) {
Rob Landleyf856eab2006-02-17 03:43:49 +0000514
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200515 dec_writeCopies:
Eric Andersen5fa4db22003-10-23 06:52:01 +0000516 /* Inside the loop, writeCopies means extra copies (beyond 1) */
517 --bd->writeCopies;
Rob Landleyf856eab2006-02-17 03:43:49 +0000518
Eric Andersen5fa4db22003-10-23 06:52:01 +0000519 /* Loop outputting bytes */
Denis Vlasenkobf0a2012006-12-26 10:42:51 +0000520 for (;;) {
Rob Landleyf856eab2006-02-17 03:43:49 +0000521
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200522 /* If the output buffer is full, save cached state and return */
523 if (out_count >= len) {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200524 /* Unlikely branch.
525 * Use of "goto" instead of keeping code here
526 * helps compiler to realize this. */
527 goto outbuf_full;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000528 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000529
Eric Andersen5fa4db22003-10-23 06:52:01 +0000530 /* Write next byte into output buffer, updating CRC */
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200531 outbuf[out_count++] = current;
532 CRC = (CRC << 8) ^ bd->crc32Table[(CRC >> 24) ^ current];
Rob Landleyf856eab2006-02-17 03:43:49 +0000533
Eric Andersen5fa4db22003-10-23 06:52:01 +0000534 /* Loop now if we're outputting multiple copies of this byte */
535 if (bd->writeCopies) {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200536 /* Unlikely branch */
537 /*--bd->writeCopies;*/
538 /*continue;*/
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200539 /* Same, but (ab)using other existing --writeCopies operation
540 * (and this if() compiles into just test+branch pair): */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200541 goto dec_writeCopies;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000542 }
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000543 decode_next_byte:
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200544 if (--bd->writeCount < 0)
545 break; /* input block is fully consumed, need next one */
546
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000547 /* Follow sequence vector to undo Burrows-Wheeler transform */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000548 previous = current;
549 pos = dbuf[pos];
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200550 current = (uint8_t)pos;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000551 pos >>= 8;
Rob Landleyf856eab2006-02-17 03:43:49 +0000552
Denis Vlasenko52a43882007-10-10 20:53:41 +0000553 /* After 3 consecutive copies of the same byte, the 4th
554 * is a repeat count. We count down from 4 instead
Eric Andersen5fa4db22003-10-23 06:52:01 +0000555 * of counting up because testing for non-zero is faster */
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200556 if (--bd->writeRunCountdown != 0) {
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000557 if (current != previous)
558 bd->writeRunCountdown = 4;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000559 } else {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200560 /* Unlikely branch */
Eric Andersen5fa4db22003-10-23 06:52:01 +0000561 /* We have a repeated run, this byte indicates the count */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000562 bd->writeCopies = current;
563 current = previous;
564 bd->writeRunCountdown = 5;
Rob Landleyf856eab2006-02-17 03:43:49 +0000565
Eric Andersen5fa4db22003-10-23 06:52:01 +0000566 /* Sometimes there are just 3 bytes (run length 0) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000567 if (!bd->writeCopies) goto decode_next_byte;
Rob Landleyf856eab2006-02-17 03:43:49 +0000568
Eric Andersen5fa4db22003-10-23 06:52:01 +0000569 /* Subtract the 1 copy we'd output anyway to get extras */
570 --bd->writeCopies;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000571 }
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200572 } /* for(;;) */
Rob Landleyf856eab2006-02-17 03:43:49 +0000573
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200574 /* Decompression of this input block completed successfully */
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200575 bd->writeCRC = CRC = ~CRC;
576 bd->totalCRC = ((bd->totalCRC << 1) | (bd->totalCRC >> 31)) ^ CRC;
Rob Landleyf856eab2006-02-17 03:43:49 +0000577
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200578 /* If this block had a CRC error, force file level CRC error */
579 if (CRC != bd->headerCRC) {
Denis Vlasenko52a43882007-10-10 20:53:41 +0000580 bd->totalCRC = bd->headerCRC + 1;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000581 return RETVAL_LAST_BLOCK;
582 }
Glenn L McGrath60bce492002-11-03 07:28:38 +0000583 }
Eric Andersen5fa4db22003-10-23 06:52:01 +0000584
Eric Andersenaff114c2004-04-14 17:51:38 +0000585 /* Refill the intermediate buffer by Huffman-decoding next block of input */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200586 {
587 int r = get_next_block(bd);
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200588 if (r) { /* error/end */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200589 bd->writeCount = r;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200590 return (r != RETVAL_LAST_BLOCK) ? r : out_count;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200591 }
Eric Andersen5fa4db22003-10-23 06:52:01 +0000592 }
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200593
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200594 CRC = ~0;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000595 pos = bd->writePos;
596 current = bd->writeCurrent;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000597 goto decode_next_byte;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200598
599 outbuf_full:
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200600 /* Output buffer is full, save cached state and return */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200601 bd->writePos = pos;
602 bd->writeCurrent = current;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200603 bd->writeCRC = CRC;
604
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200605 bd->writeCopies++;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200606
607 return out_count;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000608}
609
Eric Andersen5fa4db22003-10-23 06:52:01 +0000610/* Allocate the structure, read file header. If in_fd==-1, inbuf must contain
611 a complete bunzip file (len bytes long). If in_fd!=-1, inbuf and len are
612 ignored, and data is read from file handle into temporary buffer. */
Rob Landleyf856eab2006-02-17 03:43:49 +0000613
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000614/* Because bunzip2 is used for help text unpacking, and because bb_show_usage()
615 should work for NOFORK applets too, we must be extremely careful to not leak
616 any allocations! */
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200617int FAST_FUNC start_bunzip(bunzip_data **bdp, int in_fd,
618 const void *inbuf, int len)
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000619{
620 bunzip_data *bd;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000621 unsigned i;
622 enum {
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000623 BZh0 = ('B' << 24) + ('Z' << 16) + ('h' << 8) + '0',
624 h0 = ('h' << 8) + '0',
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000625 };
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000626
627 /* Figure out how much data to allocate */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000628 i = sizeof(bunzip_data);
629 if (in_fd != -1) i += IOBUF_SIZE;
Rob Landleyf856eab2006-02-17 03:43:49 +0000630
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000631 /* Allocate bunzip_data. Most fields initialize to zero. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000632 bd = *bdp = xzalloc(i);
Rob Landleyf856eab2006-02-17 03:43:49 +0000633
Eric Andersen5fa4db22003-10-23 06:52:01 +0000634 /* Setup input buffer */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000635 bd->in_fd = in_fd;
636 if (-1 == in_fd) {
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000637 /* in this case, bd->inbuf is read-only */
638 bd->inbuf = (void*)inbuf; /* cast away const-ness */
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200639 } else {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200640 bd->inbuf = (uint8_t*)(bd + 1);
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200641 memcpy(bd->inbuf, inbuf, len);
642 }
643 bd->inbufCount = len;
Rob Landleyf856eab2006-02-17 03:43:49 +0000644
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000645 /* Init the CRC32 table (big endian) */
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000646 crc32_filltable(bd->crc32Table, 1);
Rob Landleyf856eab2006-02-17 03:43:49 +0000647
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000648 /* Setup for I/O error handling via longjmp */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000649 i = setjmp(bd->jmpbuf);
650 if (i) return i;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000651
652 /* Ensure that file starts with "BZh['1'-'9']." */
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000653 /* Update: now caller verifies 1st two bytes, makes .gz/.bz2
654 * integration easier */
655 /* was: */
656 /* i = get_bits(bd, 32); */
657 /* if ((unsigned)(i - BZh0 - 1) >= 9) return RETVAL_NOT_BZIP_DATA; */
658 i = get_bits(bd, 16);
659 if ((unsigned)(i - h0 - 1) >= 9) return RETVAL_NOT_BZIP_DATA;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000660
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000661 /* Fourth byte (ascii '1'-'9') indicates block size in units of 100k of
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000662 uncompressed data. Allocate intermediate buffer for block. */
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000663 /* bd->dbufSize = 100000 * (i - BZh0); */
664 bd->dbufSize = 100000 * (i - h0);
Eric Andersen5fa4db22003-10-23 06:52:01 +0000665
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000666 /* Cannot use xmalloc - may leak bd in NOFORK case! */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200667 bd->dbuf = malloc_or_warn(bd->dbufSize * sizeof(bd->dbuf[0]));
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000668 if (!bd->dbuf) {
669 free(bd);
670 xfunc_die();
671 }
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000672 return RETVAL_OK;
673}
674
Denis Vlasenkodefc1ea2008-06-27 02:52:20 +0000675void FAST_FUNC dealloc_bunzip(bunzip_data *bd)
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000676{
Denis Vlasenko4b924f32007-05-30 00:29:55 +0000677 free(bd->dbuf);
678 free(bd);
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000679}
680
681
682/* Decompress src_fd to dst_fd. Stops at end of bzip data, not end of file. */
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000683IF_DESKTOP(long long) int FAST_FUNC
Denis Vlasenkoc14d39e2007-06-08 13:05:39 +0000684unpack_bz2_stream(int src_fd, int dst_fd)
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000685{
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000686 IF_DESKTOP(long long total_written = 0;)
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200687 bunzip_data *bd;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000688 char *outbuf;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000689 int i;
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200690 unsigned len;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000691
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000692 outbuf = xmalloc(IOBUF_SIZE);
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200693 len = 0;
694 while (1) { /* "Process one BZ... stream" loop */
695
696 i = start_bunzip(&bd, src_fd, outbuf + 2, len);
697
698 if (i == 0) {
699 while (1) { /* "Produce some output bytes" loop */
700 i = read_bunzip(bd, outbuf, IOBUF_SIZE);
701 if (i <= 0)
702 break;
703 if (i != full_write(dst_fd, outbuf, i)) {
704 bb_error_msg("short write");
705 goto release_mem;
706 }
707 IF_DESKTOP(total_written += i;)
Eric Andersen5fa4db22003-10-23 06:52:01 +0000708 }
709 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000710
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200711 if (i != RETVAL_LAST_BLOCK) {
712 bb_error_msg("bunzip error %d", i);
713 break;
714 }
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000715 if (bd->headerCRC != bd->totalCRC) {
Denis Vlasenko66bbfbd2007-09-28 23:45:56 +0000716 bb_error_msg("CRC error");
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200717 break;
Glenn L McGrath1c834402003-10-28 23:32:12 +0000718 }
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200719
720 /* Successfully unpacked one BZ stream */
721 i = RETVAL_OK;
722
723 /* Do we have "BZ..." after last processed byte?
724 * pbzip2 (parallelized bzip2) produces such files.
725 */
726 len = bd->inbufCount - bd->inbufPos;
727 memcpy(outbuf, &bd->inbuf[bd->inbufPos], len);
728 if (len < 2) {
729 if (safe_read(src_fd, outbuf + len, 2 - len) != 2 - len)
730 break;
731 len = 2;
732 }
733 if (*(uint16_t*)outbuf != BZIP2_MAGIC) /* "BZ"? */
734 break;
735 dealloc_bunzip(bd);
736 len -= 2;
Glenn L McGrath1c834402003-10-28 23:32:12 +0000737 }
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200738
739 release_mem:
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000740 dealloc_bunzip(bd);
Eric Andersen5fa4db22003-10-23 06:52:01 +0000741 free(outbuf);
Glenn L McGrath1c834402003-10-28 23:32:12 +0000742
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000743 return i ? i : IF_DESKTOP(total_written) + 0;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000744}
745
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000746IF_DESKTOP(long long) int FAST_FUNC
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000747unpack_bz2_stream_prime(int src_fd, int dst_fd)
748{
Denys Vlasenko620e8632010-06-30 19:43:44 +0200749 uint16_t magic2;
750 xread(src_fd, &magic2, 2);
751 if (magic2 != BZIP2_MAGIC) {
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000752 bb_error_msg_and_die("invalid magic");
753 }
754 return unpack_bz2_stream(src_fd, dst_fd);
755}
756
Eric Andersen5fa4db22003-10-23 06:52:01 +0000757#ifdef TESTING
Glenn L McGrath60bce492002-11-03 07:28:38 +0000758
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000759static char *const bunzip_errors[] = {
760 NULL, "Bad file checksum", "Not bzip data",
761 "Unexpected input EOF", "Unexpected output EOF", "Data error",
762 "Out of memory", "Obsolete (pre 0.9.5) bzip format not supported"
763};
Glenn L McGrath237ae422002-11-03 14:05:15 +0000764
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000765/* Dumb little test thing, decompress stdin to stdout */
Bernhard Reutner-Fischerfebe3c42007-04-04 20:52:03 +0000766int main(int argc, char **argv)
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000767{
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000768 int i;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000769 char c;
770
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000771 int i = unpack_bz2_stream_prime(0, 1);
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000772 if (i < 0)
Denis Vlasenkof5d8c902008-06-26 14:32:57 +0000773 fprintf(stderr, "%s\n", bunzip_errors[-i]);
Bernhard Reutner-Fischer5e25ddb2008-05-19 09:48:17 +0000774 else if (read(STDIN_FILENO, &c, 1))
Denis Vlasenkof5d8c902008-06-26 14:32:57 +0000775 fprintf(stderr, "Trailing garbage ignored\n");
Eric Andersen5fa4db22003-10-23 06:52:01 +0000776 return -i;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000777}
778#endif