blob: af879648d7b1420869c1ada2ee7402b0c945330a [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).
Denys Vlasenkoebe6d9d2017-10-05 14:40:24 +02003 *
4 * 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.
8 *
9 * Licensed under GPLv2 or later, see file LICENSE in this source tree.
10 */
Eric Andersen5fa4db22003-10-23 06:52:01 +000011/*
12 Size and speed optimizations by Manuel Novoa III (mjn3@codepoet.org).
13
Eric Andersenaff114c2004-04-14 17:51:38 +000014 More efficient reading of Huffman codes, a streamlined read_bunzip()
Eric Andersen5fa4db22003-10-23 06:52:01 +000015 function, and various other tweaks. In (limited) tests, approximately
16 20% faster than bzcat on x86 and about 10% faster on arm.
17
Denys Vlasenko36ef0a62010-10-29 16:05:05 +020018 Note that about 2/3 of the time is spent in read_bunzip() reversing
Eric Andersen5fa4db22003-10-23 06:52:01 +000019 the Burrows-Wheeler transformation. Much of that time is delay
20 resulting from cache misses.
21
Denys Vlasenko5d49b722010-10-29 19:26:38 +020022 (2010 update by vda: profiled "bzcat <84mbyte.bz2 >/dev/null"
23 on x86-64 CPU with L2 > 1M: get_next_block is hotter than read_bunzip:
24 %time seconds calls function
25 71.01 12.69 444 get_next_block
26 28.65 5.12 93065 read_bunzip
27 00.22 0.04 7736490 get_bits
28 00.11 0.02 47 dealloc_bunzip
29 00.00 0.00 93018 full_write
30 ...)
31
32
Eric Andersen5fa4db22003-10-23 06:52:01 +000033 I would ask that anyone benefiting from this work, especially those
34 using it in commercial products, consider making a donation to my local
Rob Landleyf856eab2006-02-17 03:43:49 +000035 non-profit hospice organization (www.hospiceacadiana.com) in the name of
Bernhard Reutner-Fischercfb53df2006-04-02 21:50:01 +000036 the woman I loved, Toni W. Hagan, who passed away Feb. 12, 2003.
Eric Andersen5fa4db22003-10-23 06:52:01 +000037
38 Manuel
39 */
Glenn L McGrath1c834402003-10-28 23:32:12 +000040#include "libbb.h"
Denys Vlasenkod184a722011-09-22 12:45:14 +020041#include "bb_archive.h"
Bernhard Reutner-Fischercfb53df2006-04-02 21:50:01 +000042
Denys Vlasenko932e2332013-10-06 22:53:14 +020043#if 0
44# define dbg(...) bb_error_msg(__VA_ARGS__)
45#else
46# define dbg(...) ((void)0)
47#endif
48
Eric Andersenaff114c2004-04-14 17:51:38 +000049/* Constants for Huffman coding */
Denis Vlasenkobf0a2012006-12-26 10:42:51 +000050#define MAX_GROUPS 6
51#define GROUP_SIZE 50 /* 64 would have been more efficient */
52#define MAX_HUFCODE_BITS 20 /* Longest Huffman code allowed */
53#define MAX_SYMBOLS 258 /* 256 literals + RUNA + RUNB */
54#define SYMBOL_RUNA 0
55#define SYMBOL_RUNB 1
Glenn L McGrath60bce492002-11-03 07:28:38 +000056
Eric Andersen0d6d88a2003-10-18 01:58:35 +000057/* Status return values */
Denis Vlasenkobf0a2012006-12-26 10:42:51 +000058#define RETVAL_OK 0
Denys Vlasenko932e2332013-10-06 22:53:14 +020059#define RETVAL_LAST_BLOCK (dbg("%d", __LINE__), -1)
60#define RETVAL_NOT_BZIP_DATA (dbg("%d", __LINE__), -2)
61#define RETVAL_UNEXPECTED_INPUT_EOF (dbg("%d", __LINE__), -3)
62#define RETVAL_SHORT_WRITE (dbg("%d", __LINE__), -4)
63#define RETVAL_DATA_ERROR (dbg("%d", __LINE__), -5)
64#define RETVAL_OUT_OF_MEMORY (dbg("%d", __LINE__), -6)
65#define RETVAL_OBSOLETE_INPUT (dbg("%d", __LINE__), -7)
Glenn L McGrath60bce492002-11-03 07:28:38 +000066
Eric Andersen0d6d88a2003-10-18 01:58:35 +000067/* Other housekeeping constants */
Denis Vlasenkobf0a2012006-12-26 10:42:51 +000068#define IOBUF_SIZE 4096
Glenn L McGrath60bce492002-11-03 07:28:38 +000069
Eric Andersenaff114c2004-04-14 17:51:38 +000070/* This is what we know about each Huffman coding group */
Eric Andersen0d6d88a2003-10-18 01:58:35 +000071struct group_data {
Denis Vlasenko52a43882007-10-10 20:53:41 +000072 /* We have an extra slot at the end of limit[] for a sentinel value. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +000073 int limit[MAX_HUFCODE_BITS+1], base[MAX_HUFCODE_BITS], permute[MAX_SYMBOLS];
Eric Andersen5fa4db22003-10-23 06:52:01 +000074 int minLen, maxLen;
Glenn L McGrath60bce492002-11-03 07:28:38 +000075};
76
Eric Andersen0d6d88a2003-10-18 01:58:35 +000077/* Structure holding all the housekeeping data, including IO buffers and
Denis Vlasenko52a43882007-10-10 20:53:41 +000078 * memory that persists between calls to bunzip
79 * Found the most used member:
80 * cat this_file.c | sed -e 's/"/ /g' -e "s/'/ /g" | xargs -n1 \
81 * | grep 'bd->' | sed 's/^.*bd->/bd->/' | sort | $PAGER
82 * and moved it (inbufBitCount) to offset 0.
83 */
Denis Vlasenkoc6758a02007-04-10 21:40:19 +000084struct bunzip_data {
Eric Andersen5fa4db22003-10-23 06:52:01 +000085 /* I/O tracking data (file handles, buffers, positions, etc.) */
Denis Vlasenko52a43882007-10-10 20:53:41 +000086 unsigned inbufBitCount, inbufBits;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +000087 int in_fd, out_fd, inbufCount, inbufPos /*, outbufPos*/;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +020088 uint8_t *inbuf /*,*outbuf*/;
Denis Vlasenko52a43882007-10-10 20:53:41 +000089
90 /* State for interrupting output loop */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +020091 int writeCopies, writePos, writeRunCountdown, writeCount;
92 int writeCurrent; /* actually a uint8_t */
Rob Landleyf856eab2006-02-17 03:43:49 +000093
Eric Andersen0d6d88a2003-10-18 01:58:35 +000094 /* The CRC values stored in the block header and calculated from the data */
Rob Landleyc57ec372006-04-10 17:07:15 +000095 uint32_t headerCRC, totalCRC, writeCRC;
Rob Landleyf856eab2006-02-17 03:43:49 +000096
Denis Vlasenkoc6758a02007-04-10 21:40:19 +000097 /* Intermediate buffer and its size (in bytes) */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +020098 uint32_t *dbuf;
99 unsigned dbufSize;
Rob Landleyf856eab2006-02-17 03:43:49 +0000100
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000101 /* For I/O error handling */
102 jmp_buf jmpbuf;
Rob Landleyf856eab2006-02-17 03:43:49 +0000103
Denis Vlasenko52a43882007-10-10 20:53:41 +0000104 /* Big things go last (register-relative addressing can be larger for big offsets) */
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000105 uint32_t crc32Table[256];
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200106 uint8_t selectors[32768]; /* nSelectors=15 bits */
Denys Vlasenkofb132e42010-10-29 11:46:52 +0200107 struct group_data groups[MAX_GROUPS]; /* Huffman coding tables */
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000108};
109/* typedef struct bunzip_data bunzip_data; -- done in .h file */
Rob Landleyf856eab2006-02-17 03:43:49 +0000110
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000111
112/* Return the next nnn bits of input. All reads from the compressed input
113 are done through this function. All reads are big endian */
Denis Vlasenko52a43882007-10-10 20:53:41 +0000114static unsigned get_bits(bunzip_data *bd, int bits_wanted)
Glenn L McGrath60bce492002-11-03 07:28:38 +0000115{
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000116 unsigned bits = 0;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200117 /* Cache bd->inbufBitCount in a CPU register (hopefully): */
118 int bit_count = bd->inbufBitCount;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000119
120 /* If we need to get more data from the byte buffer, do so. (Loop getting
121 one byte at a time to enforce endianness and avoid unaligned access.) */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200122 while (bit_count < bits_wanted) {
Rob Landleyf856eab2006-02-17 03:43:49 +0000123
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000124 /* If we need to read more data from file into byte buffer, do so */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000125 if (bd->inbufPos == bd->inbufCount) {
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000126 /* if "no input fd" case: in_fd == -1, read fails, we jump */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000127 bd->inbufCount = read(bd->in_fd, bd->inbuf, IOBUF_SIZE);
128 if (bd->inbufCount <= 0)
129 longjmp(bd->jmpbuf, RETVAL_UNEXPECTED_INPUT_EOF);
130 bd->inbufPos = 0;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000131 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000132
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000133 /* Avoid 32-bit overflow (dump bit buffer to top of output) */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200134 if (bit_count >= 24) {
Rostislav Skudnov87625122017-02-01 18:35:13 +0000135 bits = bd->inbufBits & ((1U << bit_count) - 1);
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200136 bits_wanted -= bit_count;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000137 bits <<= bits_wanted;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200138 bit_count = 0;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000139 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000140
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000141 /* Grab next 8 bits of input from buffer. */
Denis Vlasenko52a43882007-10-10 20:53:41 +0000142 bd->inbufBits = (bd->inbufBits << 8) | bd->inbuf[bd->inbufPos++];
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200143 bit_count += 8;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000144 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000145
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000146 /* Calculate result */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200147 bit_count -= bits_wanted;
148 bd->inbufBitCount = bit_count;
149 bits |= (bd->inbufBits >> bit_count) & ((1 << bits_wanted) - 1);
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000150
151 return bits;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000152}
153
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200154/* Unpacks the next block and sets up for the inverse Burrows-Wheeler step. */
Eric Andersen5fa4db22003-10-23 06:52:01 +0000155static int get_next_block(bunzip_data *bd)
Glenn L McGrath60bce492002-11-03 07:28:38 +0000156{
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000157 struct group_data *hufGroup;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200158 int dbufCount, dbufSize, groupCount, *base, *limit, selector,
Rostislav Skudnov87625122017-02-01 18:35:13 +0000159 i, j, runPos, symCount, symTotal, nSelectors, byteCount[256];
Denys Vlasenkof16727e2010-10-30 00:55:02 +0200160 int runCnt = runCnt; /* for compiler */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200161 uint8_t uc, symToByte[256], mtfSymbol[256], *selectors;
162 uint32_t *dbuf;
Rostislav Skudnov87625122017-02-01 18:35:13 +0000163 unsigned origPtr, t;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000164
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000165 dbuf = bd->dbuf;
166 dbufSize = bd->dbufSize;
167 selectors = bd->selectors;
Rob Landley2c98c402006-02-17 05:12:03 +0000168
Denys Vlasenko0c576972010-10-30 00:54:10 +0200169/* In bbox, we are ok with aborting through setjmp which is set up in start_bunzip */
170#if 0
Eric Andersen5fa4db22003-10-23 06:52:01 +0000171 /* Reset longjmp I/O error handling */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000172 i = setjmp(bd->jmpbuf);
Denis Vlasenkobf0a2012006-12-26 10:42:51 +0000173 if (i) return i;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200174#endif
Rob Landley2c98c402006-02-17 05:12:03 +0000175
Eric Andersen5fa4db22003-10-23 06:52:01 +0000176 /* Read in header signature and CRC, then validate signature.
177 (last block signature means CRC is for whole file, return now) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000178 i = get_bits(bd, 24);
179 j = get_bits(bd, 24);
180 bd->headerCRC = get_bits(bd, 32);
Eric Andersen5fa4db22003-10-23 06:52:01 +0000181 if ((i == 0x177245) && (j == 0x385090)) return RETVAL_LAST_BLOCK;
182 if ((i != 0x314159) || (j != 0x265359)) return RETVAL_NOT_BZIP_DATA;
Rob Landley2c98c402006-02-17 05:12:03 +0000183
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000184 /* We can add support for blockRandomised if anybody complains. There was
185 some code for this in busybox 1.0.0-pre3, but nobody ever noticed that
186 it didn't actually work. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000187 if (get_bits(bd, 1)) return RETVAL_OBSOLETE_INPUT;
188 origPtr = get_bits(bd, 24);
Denis Vlasenko6b06cb82008-05-15 21:30:45 +0000189 if ((int)origPtr > dbufSize) return RETVAL_DATA_ERROR;
Rob Landley2c98c402006-02-17 05:12:03 +0000190
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000191 /* mapping table: if some byte values are never used (encoding things
192 like ascii text), the compression code removes the gaps to have fewer
193 symbols to deal with, and writes a sparse bitfield indicating which
194 values were present. We make a translation table to convert the symbols
195 back to the corresponding bytes. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000196 symTotal = 0;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200197 i = 0;
198 t = get_bits(bd, 16);
199 do {
200 if (t & (1 << 15)) {
201 unsigned inner_map = get_bits(bd, 16);
202 do {
203 if (inner_map & (1 << 15))
204 symToByte[symTotal++] = i;
205 inner_map <<= 1;
206 i++;
207 } while (i & 15);
208 i -= 16;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000209 }
Denys Vlasenko0c576972010-10-30 00:54:10 +0200210 t <<= 1;
211 i += 16;
212 } while (i < 256);
Rob Landley2c98c402006-02-17 05:12:03 +0000213
Eric Andersenaff114c2004-04-14 17:51:38 +0000214 /* How many different Huffman coding groups does this block use? */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000215 groupCount = get_bits(bd, 3);
216 if (groupCount < 2 || groupCount > MAX_GROUPS)
217 return RETVAL_DATA_ERROR;
Rob Landley2c98c402006-02-17 05:12:03 +0000218
Eric Andersenaff114c2004-04-14 17:51:38 +0000219 /* nSelectors: Every GROUP_SIZE many symbols we select a new Huffman coding
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000220 group. Read in the group selector list, which is stored as MTF encoded
Eric Andersen5fa4db22003-10-23 06:52:01 +0000221 bit runs. (MTF=Move To Front, as each value is used it's moved to the
222 start of the list.) */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200223 for (i = 0; i < groupCount; i++)
224 mtfSymbol[i] = i;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000225 nSelectors = get_bits(bd, 15);
Denys Vlasenko0c576972010-10-30 00:54:10 +0200226 if (!nSelectors)
227 return RETVAL_DATA_ERROR;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000228 for (i = 0; i < nSelectors; i++) {
Denys Vlasenko0c576972010-10-30 00:54:10 +0200229 uint8_t tmp_byte;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000230 /* Get next value */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200231 int n = 0;
232 while (get_bits(bd, 1)) {
233 if (n >= groupCount) return RETVAL_DATA_ERROR;
234 n++;
235 }
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000236 /* Decode MTF to get the next selector */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200237 tmp_byte = mtfSymbol[n];
238 while (--n >= 0)
239 mtfSymbol[n + 1] = mtfSymbol[n];
240 mtfSymbol[0] = selectors[i] = tmp_byte;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000241 }
Rob Landley2c98c402006-02-17 05:12:03 +0000242
Eric Andersenaff114c2004-04-14 17:51:38 +0000243 /* Read the Huffman coding tables for each group, which code for symTotal
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000244 literal symbols, plus two run symbols (RUNA, RUNB) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000245 symCount = symTotal + 2;
246 for (j = 0; j < groupCount; j++) {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200247 uint8_t length[MAX_SYMBOLS];
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000248 /* 8 bits is ALMOST enough for temp[], see below */
249 unsigned temp[MAX_HUFCODE_BITS+1];
Denys Vlasenkof16727e2010-10-30 00:55:02 +0200250 int minLen, maxLen, pp, len_m1;
Rob Landley2c98c402006-02-17 05:12:03 +0000251
Eric Andersenaff114c2004-04-14 17:51:38 +0000252 /* Read Huffman code lengths for each symbol. They're stored in
Eric Andersen5fa4db22003-10-23 06:52:01 +0000253 a way similar to mtf; record a starting value for the first symbol,
Denys Vlasenkof16727e2010-10-30 00:55:02 +0200254 and an offset from the previous value for every symbol after that.
Eric Andersen5fa4db22003-10-23 06:52:01 +0000255 (Subtracting 1 before the loop and then adding it back at the end is
256 an optimization that makes the test inside the loop simpler: symbol
257 length 0 becomes negative, so an unsigned inequality catches it.) */
Denys Vlasenkof16727e2010-10-30 00:55:02 +0200258 len_m1 = get_bits(bd, 5) - 1;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000259 for (i = 0; i < symCount; i++) {
Denis Vlasenkobf0a2012006-12-26 10:42:51 +0000260 for (;;) {
Denys Vlasenko0c576972010-10-30 00:54:10 +0200261 int two_bits;
Denys Vlasenkof16727e2010-10-30 00:55:02 +0200262 if ((unsigned)len_m1 > (MAX_HUFCODE_BITS-1))
Eric Andersen5fa4db22003-10-23 06:52:01 +0000263 return RETVAL_DATA_ERROR;
Rob Landley2c98c402006-02-17 05:12:03 +0000264
Eric Andersen5fa4db22003-10-23 06:52:01 +0000265 /* If first bit is 0, stop. Else second bit indicates whether
266 to increment or decrement the value. Optimization: grab 2
267 bits and unget the second if the first was 0. */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200268 two_bits = get_bits(bd, 2);
269 if (two_bits < 2) {
Eric Andersen5fa4db22003-10-23 06:52:01 +0000270 bd->inbufBitCount++;
271 break;
272 }
Rob Landley2c98c402006-02-17 05:12:03 +0000273
Eric Andersen5fa4db22003-10-23 06:52:01 +0000274 /* Add one if second bit 1, else subtract 1. Avoids if/else */
Denys Vlasenkof16727e2010-10-30 00:55:02 +0200275 len_m1 += (((two_bits+1) & 2) - 1);
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000276 }
Rob Landley2c98c402006-02-17 05:12:03 +0000277
Eric Andersen5fa4db22003-10-23 06:52:01 +0000278 /* Correct for the initial -1, to get the final symbol length */
Denys Vlasenkof16727e2010-10-30 00:55:02 +0200279 length[i] = len_m1 + 1;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000280 }
Rob Landley2c98c402006-02-17 05:12:03 +0000281
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000282 /* Find largest and smallest lengths in this group */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000283 minLen = maxLen = length[0];
Denis Vlasenkobf0a2012006-12-26 10:42:51 +0000284 for (i = 1; i < symCount; i++) {
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000285 if (length[i] > maxLen) maxLen = length[i];
286 else if (length[i] < minLen) minLen = length[i];
Glenn L McGrath60bce492002-11-03 07:28:38 +0000287 }
Rob Landley2c98c402006-02-17 05:12:03 +0000288
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000289 /* Calculate permute[], base[], and limit[] tables from length[].
290 *
Eric Andersenaff114c2004-04-14 17:51:38 +0000291 * permute[] is the lookup table for converting Huffman coded symbols
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000292 * into decoded symbols. base[] is the amount to subtract from the
Eric Andersenaff114c2004-04-14 17:51:38 +0000293 * value of a Huffman symbol of a given length when using permute[].
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000294 *
295 * limit[] indicates the largest numerical value a symbol with a given
Eric Andersenaff114c2004-04-14 17:51:38 +0000296 * number of bits can have. This is how the Huffman codes can vary in
Eric Andersen5fa4db22003-10-23 06:52:01 +0000297 * length: each code with a value>limit[length] needs another bit.
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000298 */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000299 hufGroup = bd->groups + j;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000300 hufGroup->minLen = minLen;
301 hufGroup->maxLen = maxLen;
Rob Landley2c98c402006-02-17 05:12:03 +0000302
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000303 /* Note that minLen can't be smaller than 1, so we adjust the base
304 and limit array pointers so we're not always wasting the first
Denys Vlasenko0c576972010-10-30 00:54:10 +0200305 entry. We do this again when using them (during symbol decoding). */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000306 base = hufGroup->base - 1;
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000307 limit = hufGroup->limit - 1;
Rob Landley2c98c402006-02-17 05:12:03 +0000308
Denys Vlasenko10ad6222017-04-17 16:13:32 +0200309 /* Calculate permute[]. Concurrently, initialize temp[] and limit[]. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000310 pp = 0;
311 for (i = minLen; i <= maxLen; i++) {
Denys Vlasenko0c576972010-10-30 00:54:10 +0200312 int k;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000313 temp[i] = limit[i] = 0;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200314 for (k = 0; k < symCount; k++)
315 if (length[k] == i)
316 hufGroup->permute[pp++] = k;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000317 }
Rob Landley2c98c402006-02-17 05:12:03 +0000318
Eric Andersen5fa4db22003-10-23 06:52:01 +0000319 /* Count symbols coded for at each bit length */
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000320 /* NB: in pathological cases, temp[8] can end ip being 256.
321 * That's why uint8_t is too small for temp[]. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000322 for (i = 0; i < symCount; i++) temp[length[i]]++;
Rob Landley2c98c402006-02-17 05:12:03 +0000323
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000324 /* Calculate limit[] (the largest symbol-coding value at each bit
325 * length, which is (previous limit<<1)+symbols at this level), and
326 * base[] (number of symbols to ignore at each bit length, which is
Eric Andersen5fa4db22003-10-23 06:52:01 +0000327 * limit minus the cumulative count of symbols coded for already). */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000328 pp = t = 0;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200329 for (i = minLen; i < maxLen;) {
330 unsigned temp_i = temp[i];
331
332 pp += temp_i;
Rob Landley2c98c402006-02-17 05:12:03 +0000333
Eric Andersen5fa4db22003-10-23 06:52:01 +0000334 /* We read the largest possible symbol size and then unget bits
335 after determining how many we need, and those extra bits could
336 be set to anything. (They're noise from future symbols.) At
337 each level we're really only interested in the first few bits,
338 so here we set all the trailing to-be-ignored bits to 1 so they
339 don't affect the value>limit[length] comparison. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000340 limit[i] = (pp << (maxLen - i)) - 1;
341 pp <<= 1;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200342 t += temp_i;
343 base[++i] = pp - t;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000344 }
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000345 limit[maxLen] = pp + temp[maxLen] - 1;
Denys Vlasenkof16727e2010-10-30 00:55:02 +0200346 limit[maxLen+1] = INT_MAX; /* Sentinel value for reading next sym. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000347 base[minLen] = 0;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000348 }
Rob Landley2c98c402006-02-17 05:12:03 +0000349
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000350 /* We've finished reading and digesting the block header. Now read this
Eric Andersenaff114c2004-04-14 17:51:38 +0000351 block's Huffman coded symbols from the file and undo the Huffman coding
Denis Vlasenko52a43882007-10-10 20:53:41 +0000352 and run length encoding, saving the result into dbuf[dbufCount++] = uc */
Glenn L McGrath60bce492002-11-03 07:28:38 +0000353
Eric Andersen5fa4db22003-10-23 06:52:01 +0000354 /* Initialize symbol occurrence counters and symbol Move To Front table */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200355 /*memset(byteCount, 0, sizeof(byteCount)); - smaller, but slower */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000356 for (i = 0; i < 256; i++) {
Denys Vlasenko0c576972010-10-30 00:54:10 +0200357 byteCount[i] = 0;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200358 mtfSymbol[i] = (uint8_t)i;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000359 }
Rob Landley2c98c402006-02-17 05:12:03 +0000360
Eric Andersen5fa4db22003-10-23 06:52:01 +0000361 /* Loop through compressed symbols. */
Rob Landley2c98c402006-02-17 05:12:03 +0000362
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000363 runPos = dbufCount = selector = 0;
Denis Vlasenkobf0a2012006-12-26 10:42:51 +0000364 for (;;) {
Denys Vlasenko0c576972010-10-30 00:54:10 +0200365 int nextSym;
Rob Landley2c98c402006-02-17 05:12:03 +0000366
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000367 /* Fetch next Huffman coding group from list. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000368 symCount = GROUP_SIZE - 1;
369 if (selector >= nSelectors) return RETVAL_DATA_ERROR;
370 hufGroup = bd->groups + selectors[selector++];
371 base = hufGroup->base - 1;
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000372 limit = hufGroup->limit - 1;
Rob Landley2c98c402006-02-17 05:12:03 +0000373
Denys Vlasenko0c576972010-10-30 00:54:10 +0200374 continue_this_group:
Eric Andersenaff114c2004-04-14 17:51:38 +0000375 /* Read next Huffman-coded symbol. */
Rob Landley2c98c402006-02-17 05:12:03 +0000376
Eric Andersen5fa4db22003-10-23 06:52:01 +0000377 /* Note: It is far cheaper to read maxLen bits and back up than it is
Denys Vlasenko0c576972010-10-30 00:54:10 +0200378 to read minLen bits and then add additional bit at a time, testing
Eric Andersen5fa4db22003-10-23 06:52:01 +0000379 as we go. Because there is a trailing last block (with file CRC),
380 there is no danger of the overread causing an unexpected EOF for a
Denys Vlasenko0c576972010-10-30 00:54:10 +0200381 valid compressed file.
Eric Andersen5fa4db22003-10-23 06:52:01 +0000382 */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200383 if (1) {
384 /* As a further optimization, we do the read inline
385 (falling back to a call to get_bits if the buffer runs dry).
386 */
387 int new_cnt;
388 while ((new_cnt = bd->inbufBitCount - hufGroup->maxLen) < 0) {
389 /* bd->inbufBitCount < hufGroup->maxLen */
390 if (bd->inbufPos == bd->inbufCount) {
391 nextSym = get_bits(bd, hufGroup->maxLen);
392 goto got_huff_bits;
393 }
394 bd->inbufBits = (bd->inbufBits << 8) | bd->inbuf[bd->inbufPos++];
395 bd->inbufBitCount += 8;
396 };
397 bd->inbufBitCount = new_cnt; /* "bd->inbufBitCount -= hufGroup->maxLen;" */
398 nextSym = (bd->inbufBits >> new_cnt) & ((1 << hufGroup->maxLen) - 1);
399 got_huff_bits: ;
400 } else { /* unoptimized equivalent */
401 nextSym = get_bits(bd, hufGroup->maxLen);
402 }
403 /* Figure how many bits are in next symbol and unget extras */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000404 i = hufGroup->minLen;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200405 while (nextSym > limit[i]) ++i;
406 j = hufGroup->maxLen - i;
407 if (j < 0)
408 return RETVAL_DATA_ERROR;
409 bd->inbufBitCount += j;
Rob Landley2c98c402006-02-17 05:12:03 +0000410
Eric Andersen5fa4db22003-10-23 06:52:01 +0000411 /* Huffman decode value to get nextSym (with bounds checking) */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200412 nextSym = (nextSym >> j) - base[i];
413 if ((unsigned)nextSym >= MAX_SYMBOLS)
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000414 return RETVAL_DATA_ERROR;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200415 nextSym = hufGroup->permute[nextSym];
Rob Landley2c98c402006-02-17 05:12:03 +0000416
Eric Andersen5fa4db22003-10-23 06:52:01 +0000417 /* We have now decoded the symbol, which indicates either a new literal
418 byte, or a repeated run of the most recent literal byte. First,
419 check if nextSym indicates a repeated run, and if so loop collecting
420 how many times to repeat the last literal. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000421 if ((unsigned)nextSym <= SYMBOL_RUNB) { /* RUNA or RUNB */
Rob Landley2c98c402006-02-17 05:12:03 +0000422
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000423 /* If this is the start of a new run, zero out counter */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200424 if (runPos == 0) {
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000425 runPos = 1;
Denys Vlasenkof16727e2010-10-30 00:55:02 +0200426 runCnt = 0;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000427 }
Rob Landley2c98c402006-02-17 05:12:03 +0000428
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000429 /* Neat trick that saves 1 symbol: instead of or-ing 0 or 1 at
430 each bit position, add 1 or 2 instead. For example,
431 1011 is 1<<0 + 1<<1 + 2<<2. 1010 is 2<<0 + 2<<1 + 1<<2.
432 You can make any bit pattern that way using 1 less symbol than
433 the basic or 0/1 method (except all bits 0, which would use no
434 symbols, but a run of length 0 doesn't mean anything in this
435 context). Thus space is saved. */
Denys Vlasenkof16727e2010-10-30 00:55:02 +0200436 runCnt += (runPos << nextSym); /* +runPos if RUNA; +2*runPos if RUNB */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000437 if (runPos < dbufSize) runPos <<= 1;
Rob Landleya8b98d62004-11-16 12:07:04 +0000438 goto end_of_huffman_loop;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000439 }
Rob Landley2c98c402006-02-17 05:12:03 +0000440
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000441 /* When we hit the first non-run symbol after a run, we now know
442 how many times to repeat the last literal, so append that many
443 copies to our buffer of decoded symbols (dbuf) now. (The last
444 literal used is the one at the head of the mtfSymbol array.) */
Denys Vlasenko0c576972010-10-30 00:54:10 +0200445 if (runPos != 0) {
446 uint8_t tmp_byte;
Denys Vlasenko932e2332013-10-06 22:53:14 +0200447 if (dbufCount + runCnt > dbufSize) {
448 dbg("dbufCount:%d+runCnt:%d %d > dbufSize:%d RETVAL_DATA_ERROR",
449 dbufCount, runCnt, dbufCount + runCnt, dbufSize);
450 return RETVAL_DATA_ERROR;
451 }
Denys Vlasenko0c576972010-10-30 00:54:10 +0200452 tmp_byte = symToByte[mtfSymbol[0]];
Denys Vlasenkof16727e2010-10-30 00:55:02 +0200453 byteCount[tmp_byte] += runCnt;
454 while (--runCnt >= 0) dbuf[dbufCount++] = (uint32_t)tmp_byte;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200455 runPos = 0;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000456 }
Rob Landley2c98c402006-02-17 05:12:03 +0000457
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000458 /* Is this the terminating symbol? */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000459 if (nextSym > symTotal) break;
Rob Landley2c98c402006-02-17 05:12:03 +0000460
Eric Andersen5fa4db22003-10-23 06:52:01 +0000461 /* At this point, nextSym indicates a new literal character. Subtract
462 one to get the position in the MTF array at which this literal is
463 currently to be found. (Note that the result can't be -1 or 0,
464 because 0 and 1 are RUNA and RUNB. But another instance of the
465 first symbol in the mtf array, position 0, would have been handled
466 as part of a run above. Therefore 1 unused mtf position minus
467 2 non-literal nextSym values equals -1.) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000468 if (dbufCount >= dbufSize) return RETVAL_DATA_ERROR;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000469 i = nextSym - 1;
470 uc = mtfSymbol[i];
Rob Landley2c98c402006-02-17 05:12:03 +0000471
Eric Andersen5fa4db22003-10-23 06:52:01 +0000472 /* Adjust the MTF array. Since we typically expect to move only a
473 * small number of symbols, and are bound by 256 in any case, using
474 * memmove here would typically be bigger and slower due to function
475 * call overhead and other assorted setup costs. */
Eric Andersen1acfb722003-10-18 01:59:46 +0000476 do {
477 mtfSymbol[i] = mtfSymbol[i-1];
478 } while (--i);
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000479 mtfSymbol[0] = uc;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000480 uc = symToByte[uc];
Rob Landley2c98c402006-02-17 05:12:03 +0000481
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000482 /* We have our literal byte. Save it into dbuf. */
483 byteCount[uc]++;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200484 dbuf[dbufCount++] = (uint32_t)uc;
Rob Landley2c98c402006-02-17 05:12:03 +0000485
Rob Landleyf856eab2006-02-17 03:43:49 +0000486 /* Skip group initialization if we're not done with this group. Done
487 * this way to avoid compiler warning. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000488 end_of_huffman_loop:
Denys Vlasenko0c576972010-10-30 00:54:10 +0200489 if (--symCount >= 0) goto continue_this_group;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000490 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000491
Eric Andersenaff114c2004-04-14 17:51:38 +0000492 /* At this point, we've read all the Huffman-coded symbols (and repeated
Denis Vlasenko246b5c32007-04-10 17:18:12 +0000493 runs) for this block from the input stream, and decoded them into the
Eric Andersen5fa4db22003-10-23 06:52:01 +0000494 intermediate buffer. There are dbufCount many decoded bytes in dbuf[].
495 Now undo the Burrows-Wheeler transform on dbuf.
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000496 See http://dogma.net/markn/articles/bwt/bwt.htm
497 */
Rob Landley2c98c402006-02-17 05:12:03 +0000498
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000499 /* Turn byteCount into cumulative occurrence counts of 0 to n-1. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000500 j = 0;
501 for (i = 0; i < 256; i++) {
Denys Vlasenko0c576972010-10-30 00:54:10 +0200502 int tmp_count = j + byteCount[i];
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000503 byteCount[i] = j;
Denys Vlasenko0c576972010-10-30 00:54:10 +0200504 j = tmp_count;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000505 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000506
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000507 /* Figure out what order dbuf would be in if we sorted it. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000508 for (i = 0; i < dbufCount; i++) {
Denys Vlasenko0c576972010-10-30 00:54:10 +0200509 uint8_t tmp_byte = (uint8_t)dbuf[i];
510 int tmp_count = byteCount[tmp_byte];
511 dbuf[tmp_count] |= (i << 8);
512 byteCount[tmp_byte] = tmp_count + 1;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000513 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000514
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000515 /* Decode first byte by hand to initialize "previous" byte. Note that it
516 doesn't get output, and if the first three characters are identical
Eric Andersen5fa4db22003-10-23 06:52:01 +0000517 it doesn't qualify as a run (hence writeRunCountdown=5). */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000518 if (dbufCount) {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200519 uint32_t tmp;
Denis Vlasenko6b06cb82008-05-15 21:30:45 +0000520 if ((int)origPtr >= dbufCount) return RETVAL_DATA_ERROR;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200521 tmp = dbuf[origPtr];
522 bd->writeCurrent = (uint8_t)tmp;
523 bd->writePos = (tmp >> 8);
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000524 bd->writeRunCountdown = 5;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000525 }
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000526 bd->writeCount = dbufCount;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000527
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000528 return RETVAL_OK;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000529}
530
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200531/* Undo Burrows-Wheeler transform on intermediate buffer to produce output.
Eric Andersen5fa4db22003-10-23 06:52:01 +0000532 If start_bunzip was initialized with out_fd=-1, then up to len bytes of
533 data are written to outbuf. Return value is number of bytes written or
534 error (all errors are negative numbers). If out_fd!=-1, outbuf and len
535 are ignored, data is written to out_fd and return is RETVAL_OK or error.
Denys Vlasenko1014a9a2010-10-29 19:01:58 +0200536
537 NB: read_bunzip returns < 0 on error, or the number of *unfilled* bytes
538 in outbuf. IOW: on EOF returns len ("all bytes are not filled"), not 0.
539 (Why? This allows to get rid of one local variable)
Eric Andersen5fa4db22003-10-23 06:52:01 +0000540*/
Denis Vlasenkodefc1ea2008-06-27 02:52:20 +0000541int FAST_FUNC read_bunzip(bunzip_data *bd, char *outbuf, int len)
Eric Andersen5fa4db22003-10-23 06:52:01 +0000542{
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200543 const uint32_t *dbuf;
Denys Vlasenko1014a9a2010-10-29 19:01:58 +0200544 int pos, current, previous;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200545 uint32_t CRC;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000546
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200547 /* If we already have error/end indicator, return it */
548 if (bd->writeCount < 0)
549 return bd->writeCount;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000550
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000551 dbuf = bd->dbuf;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200552
553 /* Register-cached state (hopefully): */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000554 pos = bd->writePos;
555 current = bd->writeCurrent;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200556 CRC = bd->writeCRC; /* small loss on x86-32 (not enough regs), win on x86-64 */
Eric Andersen5fa4db22003-10-23 06:52:01 +0000557
558 /* We will always have pending decoded data to write into the output
559 buffer unless this is the very first call (in which case we haven't
Eric Andersenaff114c2004-04-14 17:51:38 +0000560 Huffman-decoded a block into the intermediate buffer yet). */
Eric Andersen5fa4db22003-10-23 06:52:01 +0000561 if (bd->writeCopies) {
Rob Landleyf856eab2006-02-17 03:43:49 +0000562
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200563 dec_writeCopies:
Eric Andersen5fa4db22003-10-23 06:52:01 +0000564 /* Inside the loop, writeCopies means extra copies (beyond 1) */
565 --bd->writeCopies;
Rob Landleyf856eab2006-02-17 03:43:49 +0000566
Eric Andersen5fa4db22003-10-23 06:52:01 +0000567 /* Loop outputting bytes */
Denis Vlasenkobf0a2012006-12-26 10:42:51 +0000568 for (;;) {
Rob Landleyf856eab2006-02-17 03:43:49 +0000569
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200570 /* If the output buffer is full, save cached state and return */
Denys Vlasenko1014a9a2010-10-29 19:01:58 +0200571 if (--len < 0) {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200572 /* Unlikely branch.
573 * Use of "goto" instead of keeping code here
574 * helps compiler to realize this. */
575 goto outbuf_full;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000576 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000577
Eric Andersen5fa4db22003-10-23 06:52:01 +0000578 /* Write next byte into output buffer, updating CRC */
Denys Vlasenko1014a9a2010-10-29 19:01:58 +0200579 *outbuf++ = current;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200580 CRC = (CRC << 8) ^ bd->crc32Table[(CRC >> 24) ^ current];
Rob Landleyf856eab2006-02-17 03:43:49 +0000581
Eric Andersen5fa4db22003-10-23 06:52:01 +0000582 /* Loop now if we're outputting multiple copies of this byte */
583 if (bd->writeCopies) {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200584 /* Unlikely branch */
585 /*--bd->writeCopies;*/
586 /*continue;*/
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200587 /* Same, but (ab)using other existing --writeCopies operation
588 * (and this if() compiles into just test+branch pair): */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200589 goto dec_writeCopies;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000590 }
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000591 decode_next_byte:
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200592 if (--bd->writeCount < 0)
593 break; /* input block is fully consumed, need next one */
594
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000595 /* Follow sequence vector to undo Burrows-Wheeler transform */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000596 previous = current;
597 pos = dbuf[pos];
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200598 current = (uint8_t)pos;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000599 pos >>= 8;
Rob Landleyf856eab2006-02-17 03:43:49 +0000600
Denis Vlasenko52a43882007-10-10 20:53:41 +0000601 /* After 3 consecutive copies of the same byte, the 4th
602 * is a repeat count. We count down from 4 instead
Eric Andersen5fa4db22003-10-23 06:52:01 +0000603 * of counting up because testing for non-zero is faster */
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200604 if (--bd->writeRunCountdown != 0) {
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000605 if (current != previous)
606 bd->writeRunCountdown = 4;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000607 } else {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200608 /* Unlikely branch */
Eric Andersen5fa4db22003-10-23 06:52:01 +0000609 /* We have a repeated run, this byte indicates the count */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000610 bd->writeCopies = current;
611 current = previous;
612 bd->writeRunCountdown = 5;
Rob Landleyf856eab2006-02-17 03:43:49 +0000613
Eric Andersen5fa4db22003-10-23 06:52:01 +0000614 /* Sometimes there are just 3 bytes (run length 0) */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000615 if (!bd->writeCopies) goto decode_next_byte;
Rob Landleyf856eab2006-02-17 03:43:49 +0000616
Eric Andersen5fa4db22003-10-23 06:52:01 +0000617 /* Subtract the 1 copy we'd output anyway to get extras */
618 --bd->writeCopies;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000619 }
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200620 } /* for(;;) */
Rob Landleyf856eab2006-02-17 03:43:49 +0000621
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200622 /* Decompression of this input block completed successfully */
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200623 bd->writeCRC = CRC = ~CRC;
624 bd->totalCRC = ((bd->totalCRC << 1) | (bd->totalCRC >> 31)) ^ CRC;
Rob Landleyf856eab2006-02-17 03:43:49 +0000625
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200626 /* If this block had a CRC error, force file level CRC error */
627 if (CRC != bd->headerCRC) {
Denis Vlasenko52a43882007-10-10 20:53:41 +0000628 bd->totalCRC = bd->headerCRC + 1;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000629 return RETVAL_LAST_BLOCK;
630 }
Glenn L McGrath60bce492002-11-03 07:28:38 +0000631 }
Eric Andersen5fa4db22003-10-23 06:52:01 +0000632
Eric Andersenaff114c2004-04-14 17:51:38 +0000633 /* Refill the intermediate buffer by Huffman-decoding next block of input */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200634 {
635 int r = get_next_block(bd);
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200636 if (r) { /* error/end */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200637 bd->writeCount = r;
Denys Vlasenko1014a9a2010-10-29 19:01:58 +0200638 return (r != RETVAL_LAST_BLOCK) ? r : len;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200639 }
Eric Andersen5fa4db22003-10-23 06:52:01 +0000640 }
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200641
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200642 CRC = ~0;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000643 pos = bd->writePos;
644 current = bd->writeCurrent;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000645 goto decode_next_byte;
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200646
647 outbuf_full:
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200648 /* Output buffer is full, save cached state and return */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200649 bd->writePos = pos;
650 bd->writeCurrent = current;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200651 bd->writeCRC = CRC;
652
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200653 bd->writeCopies++;
Denys Vlasenkobf3bec52010-10-29 18:16:29 +0200654
Denys Vlasenko1014a9a2010-10-29 19:01:58 +0200655 return 0;
Glenn L McGrath60bce492002-11-03 07:28:38 +0000656}
657
Eric Andersen5fa4db22003-10-23 06:52:01 +0000658/* Allocate the structure, read file header. If in_fd==-1, inbuf must contain
659 a complete bunzip file (len bytes long). If in_fd!=-1, inbuf and len are
660 ignored, and data is read from file handle into temporary buffer. */
Rob Landleyf856eab2006-02-17 03:43:49 +0000661
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000662/* Because bunzip2 is used for help text unpacking, and because bb_show_usage()
663 should work for NOFORK applets too, we must be extremely careful to not leak
664 any allocations! */
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200665int FAST_FUNC start_bunzip(bunzip_data **bdp, int in_fd,
666 const void *inbuf, int len)
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000667{
668 bunzip_data *bd;
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000669 unsigned i;
670 enum {
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000671 BZh0 = ('B' << 24) + ('Z' << 16) + ('h' << 8) + '0',
672 h0 = ('h' << 8) + '0',
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000673 };
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000674
675 /* Figure out how much data to allocate */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000676 i = sizeof(bunzip_data);
677 if (in_fd != -1) i += IOBUF_SIZE;
Rob Landleyf856eab2006-02-17 03:43:49 +0000678
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000679 /* Allocate bunzip_data. Most fields initialize to zero. */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000680 bd = *bdp = xzalloc(i);
Rob Landleyf856eab2006-02-17 03:43:49 +0000681
Eric Andersen5fa4db22003-10-23 06:52:01 +0000682 /* Setup input buffer */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000683 bd->in_fd = in_fd;
684 if (-1 == in_fd) {
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000685 /* in this case, bd->inbuf is read-only */
686 bd->inbuf = (void*)inbuf; /* cast away const-ness */
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200687 } else {
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200688 bd->inbuf = (uint8_t*)(bd + 1);
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200689 memcpy(bd->inbuf, inbuf, len);
690 }
691 bd->inbufCount = len;
Rob Landleyf856eab2006-02-17 03:43:49 +0000692
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000693 /* Init the CRC32 table (big endian) */
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000694 crc32_filltable(bd->crc32Table, 1);
Rob Landleyf856eab2006-02-17 03:43:49 +0000695
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000696 /* Setup for I/O error handling via longjmp */
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000697 i = setjmp(bd->jmpbuf);
698 if (i) return i;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000699
700 /* Ensure that file starts with "BZh['1'-'9']." */
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000701 /* Update: now caller verifies 1st two bytes, makes .gz/.bz2
702 * integration easier */
703 /* was: */
704 /* i = get_bits(bd, 32); */
705 /* if ((unsigned)(i - BZh0 - 1) >= 9) return RETVAL_NOT_BZIP_DATA; */
706 i = get_bits(bd, 16);
707 if ((unsigned)(i - h0 - 1) >= 9) return RETVAL_NOT_BZIP_DATA;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000708
Denis Vlasenko86d88c02008-06-28 18:10:09 +0000709 /* Fourth byte (ascii '1'-'9') indicates block size in units of 100k of
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000710 uncompressed data. Allocate intermediate buffer for block. */
Denis Vlasenkoe9ad84d2008-08-05 13:10:34 +0000711 /* bd->dbufSize = 100000 * (i - BZh0); */
712 bd->dbufSize = 100000 * (i - h0);
Eric Andersen5fa4db22003-10-23 06:52:01 +0000713
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000714 /* Cannot use xmalloc - may leak bd in NOFORK case! */
Denys Vlasenko36ef0a62010-10-29 16:05:05 +0200715 bd->dbuf = malloc_or_warn(bd->dbufSize * sizeof(bd->dbuf[0]));
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000716 if (!bd->dbuf) {
717 free(bd);
718 xfunc_die();
719 }
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000720 return RETVAL_OK;
721}
722
Denis Vlasenkodefc1ea2008-06-27 02:52:20 +0000723void FAST_FUNC dealloc_bunzip(bunzip_data *bd)
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000724{
Denis Vlasenko4b924f32007-05-30 00:29:55 +0000725 free(bd->dbuf);
726 free(bd);
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000727}
728
729
730/* Decompress src_fd to dst_fd. Stops at end of bzip data, not end of file. */
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000731IF_DESKTOP(long long) int FAST_FUNC
Denys Vlasenkob4c11c12014-12-07 00:44:00 +0100732unpack_bz2_stream(transformer_state_t *xstate)
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000733{
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000734 IF_DESKTOP(long long total_written = 0;)
Denys Vlasenko4d4d1a02010-11-01 02:19:47 +0100735 bunzip_data *bd;
Eric Andersen5fa4db22003-10-23 06:52:01 +0000736 char *outbuf;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000737 int i;
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200738 unsigned len;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000739
Denys Vlasenkob4c11c12014-12-07 00:44:00 +0100740 if (check_signature16(xstate, BZIP2_MAGIC))
Denys Vlasenko8a6a2f92012-03-06 16:27:48 +0100741 return -1;
742
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000743 outbuf = xmalloc(IOBUF_SIZE);
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200744 len = 0;
745 while (1) { /* "Process one BZ... stream" loop */
746
Denys Vlasenkob4c11c12014-12-07 00:44:00 +0100747 i = start_bunzip(&bd, xstate->src_fd, outbuf + 2, len);
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200748
749 if (i == 0) {
750 while (1) { /* "Produce some output bytes" loop */
751 i = read_bunzip(bd, outbuf, IOBUF_SIZE);
Denys Vlasenko1014a9a2010-10-29 19:01:58 +0200752 if (i < 0) /* error? */
753 break;
754 i = IOBUF_SIZE - i; /* number of bytes produced */
755 if (i == 0) /* EOF? */
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200756 break;
Denys Vlasenkob4c11c12014-12-07 00:44:00 +0100757 if (i != transformer_write(xstate, outbuf, i)) {
Denys Vlasenko8531c432010-11-01 01:38:54 +0100758 i = RETVAL_SHORT_WRITE;
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200759 goto release_mem;
760 }
761 IF_DESKTOP(total_written += i;)
Eric Andersen5fa4db22003-10-23 06:52:01 +0000762 }
763 }
Rob Landleyf856eab2006-02-17 03:43:49 +0000764
Denys Vlasenkoc531b9a2011-10-31 01:05:16 +0100765 if (i != RETVAL_LAST_BLOCK
766 /* Observed case when i == RETVAL_OK:
767 * "bzcat z.bz2", where "z.bz2" is a bzipped zero-length file
768 * (to be exact, z.bz2 is exactly these 14 bytes:
769 * 42 5a 68 39 17 72 45 38 50 90 00 00 00 00).
770 */
771 && i != RETVAL_OK
772 ) {
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200773 bb_error_msg("bunzip error %d", i);
774 break;
775 }
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000776 if (bd->headerCRC != bd->totalCRC) {
Denis Vlasenko66bbfbd2007-09-28 23:45:56 +0000777 bb_error_msg("CRC error");
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200778 break;
Glenn L McGrath1c834402003-10-28 23:32:12 +0000779 }
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200780
781 /* Successfully unpacked one BZ stream */
782 i = RETVAL_OK;
783
784 /* Do we have "BZ..." after last processed byte?
785 * pbzip2 (parallelized bzip2) produces such files.
786 */
787 len = bd->inbufCount - bd->inbufPos;
788 memcpy(outbuf, &bd->inbuf[bd->inbufPos], len);
789 if (len < 2) {
Denys Vlasenkob4c11c12014-12-07 00:44:00 +0100790 if (safe_read(xstate->src_fd, outbuf + len, 2 - len) != 2 - len)
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200791 break;
792 len = 2;
793 }
794 if (*(uint16_t*)outbuf != BZIP2_MAGIC) /* "BZ"? */
795 break;
796 dealloc_bunzip(bd);
797 len -= 2;
Glenn L McGrath1c834402003-10-28 23:32:12 +0000798 }
Denys Vlasenkocaddfc82010-10-28 23:08:53 +0200799
800 release_mem:
Denis Vlasenkoc6758a02007-04-10 21:40:19 +0000801 dealloc_bunzip(bd);
Eric Andersen5fa4db22003-10-23 06:52:01 +0000802 free(outbuf);
Glenn L McGrath1c834402003-10-28 23:32:12 +0000803
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000804 return i ? i : IF_DESKTOP(total_written) + 0;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000805}
806
Eric Andersen5fa4db22003-10-23 06:52:01 +0000807#ifdef TESTING
Glenn L McGrath60bce492002-11-03 07:28:38 +0000808
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000809static char *const bunzip_errors[] = {
810 NULL, "Bad file checksum", "Not bzip data",
811 "Unexpected input EOF", "Unexpected output EOF", "Data error",
812 "Out of memory", "Obsolete (pre 0.9.5) bzip format not supported"
813};
Glenn L McGrath237ae422002-11-03 14:05:15 +0000814
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000815/* Dumb little test thing, decompress stdin to stdout */
Bernhard Reutner-Fischerfebe3c42007-04-04 20:52:03 +0000816int main(int argc, char **argv)
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000817{
Eric Andersen5fa4db22003-10-23 06:52:01 +0000818 char c;
819
Denys Vlasenko8a6a2f92012-03-06 16:27:48 +0100820 int i = unpack_bz2_stream(0, 1);
Denis Vlasenkob38cf3f2007-04-10 17:16:33 +0000821 if (i < 0)
Denis Vlasenkof5d8c902008-06-26 14:32:57 +0000822 fprintf(stderr, "%s\n", bunzip_errors[-i]);
Bernhard Reutner-Fischer5e25ddb2008-05-19 09:48:17 +0000823 else if (read(STDIN_FILENO, &c, 1))
Denis Vlasenkof5d8c902008-06-26 14:32:57 +0000824 fprintf(stderr, "Trailing garbage ignored\n");
Eric Andersen5fa4db22003-10-23 06:52:01 +0000825 return -i;
Eric Andersen0d6d88a2003-10-18 01:58:35 +0000826}
827#endif