Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 1 | /* vi: set sw=4 ts=4: */ |
Denys Vlasenko | 2ab9403 | 2017-10-05 15:33:28 +0200 | [diff] [blame^] | 2 | /* |
| 3 | * Small bzip2 deflate implementation, by Rob Landley (rob@landley.net). |
Denys Vlasenko | ebe6d9d | 2017-10-05 14:40:24 +0200 | [diff] [blame] | 4 | * |
| 5 | * Based on bzip2 decompression code by Julian R Seward (jseward@acm.org), |
| 6 | * which also acknowledges contributions by Mike Burrows, David Wheeler, |
| 7 | * Peter Fenwick, Alistair Moffat, Radford Neal, Ian H. Witten, |
| 8 | * Robert Sedgewick, and Jon L. Bentley. |
| 9 | * |
| 10 | * Licensed under GPLv2 or later, see file LICENSE in this source tree. |
| 11 | */ |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 12 | /* |
| 13 | Size and speed optimizations by Manuel Novoa III (mjn3@codepoet.org). |
| 14 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 15 | More efficient reading of Huffman codes, a streamlined read_bunzip() |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 16 | function, and various other tweaks. In (limited) tests, approximately |
| 17 | 20% faster than bzcat on x86 and about 10% faster on arm. |
| 18 | |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 19 | Note that about 2/3 of the time is spent in read_bunzip() reversing |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 20 | the Burrows-Wheeler transformation. Much of that time is delay |
| 21 | resulting from cache misses. |
| 22 | |
Denys Vlasenko | 5d49b72 | 2010-10-29 19:26:38 +0200 | [diff] [blame] | 23 | (2010 update by vda: profiled "bzcat <84mbyte.bz2 >/dev/null" |
| 24 | on x86-64 CPU with L2 > 1M: get_next_block is hotter than read_bunzip: |
| 25 | %time seconds calls function |
| 26 | 71.01 12.69 444 get_next_block |
| 27 | 28.65 5.12 93065 read_bunzip |
| 28 | 00.22 0.04 7736490 get_bits |
| 29 | 00.11 0.02 47 dealloc_bunzip |
| 30 | 00.00 0.00 93018 full_write |
| 31 | ...) |
| 32 | |
| 33 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 34 | I would ask that anyone benefiting from this work, especially those |
| 35 | using it in commercial products, consider making a donation to my local |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 36 | non-profit hospice organization (www.hospiceacadiana.com) in the name of |
Bernhard Reutner-Fischer | cfb53df | 2006-04-02 21:50:01 +0000 | [diff] [blame] | 37 | the woman I loved, Toni W. Hagan, who passed away Feb. 12, 2003. |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 38 | |
| 39 | Manuel |
| 40 | */ |
Glenn L McGrath | 1c83440 | 2003-10-28 23:32:12 +0000 | [diff] [blame] | 41 | #include "libbb.h" |
Denys Vlasenko | d184a72 | 2011-09-22 12:45:14 +0200 | [diff] [blame] | 42 | #include "bb_archive.h" |
Bernhard Reutner-Fischer | cfb53df | 2006-04-02 21:50:01 +0000 | [diff] [blame] | 43 | |
Denys Vlasenko | 932e233 | 2013-10-06 22:53:14 +0200 | [diff] [blame] | 44 | #if 0 |
| 45 | # define dbg(...) bb_error_msg(__VA_ARGS__) |
| 46 | #else |
| 47 | # define dbg(...) ((void)0) |
| 48 | #endif |
| 49 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 50 | /* Constants for Huffman coding */ |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 51 | #define MAX_GROUPS 6 |
| 52 | #define GROUP_SIZE 50 /* 64 would have been more efficient */ |
| 53 | #define MAX_HUFCODE_BITS 20 /* Longest Huffman code allowed */ |
| 54 | #define MAX_SYMBOLS 258 /* 256 literals + RUNA + RUNB */ |
| 55 | #define SYMBOL_RUNA 0 |
| 56 | #define SYMBOL_RUNB 1 |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 57 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 58 | /* Status return values */ |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 59 | #define RETVAL_OK 0 |
Denys Vlasenko | 932e233 | 2013-10-06 22:53:14 +0200 | [diff] [blame] | 60 | #define RETVAL_LAST_BLOCK (dbg("%d", __LINE__), -1) |
| 61 | #define RETVAL_NOT_BZIP_DATA (dbg("%d", __LINE__), -2) |
| 62 | #define RETVAL_UNEXPECTED_INPUT_EOF (dbg("%d", __LINE__), -3) |
| 63 | #define RETVAL_SHORT_WRITE (dbg("%d", __LINE__), -4) |
| 64 | #define RETVAL_DATA_ERROR (dbg("%d", __LINE__), -5) |
| 65 | #define RETVAL_OUT_OF_MEMORY (dbg("%d", __LINE__), -6) |
| 66 | #define RETVAL_OBSOLETE_INPUT (dbg("%d", __LINE__), -7) |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 67 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 68 | /* Other housekeeping constants */ |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 69 | #define IOBUF_SIZE 4096 |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 70 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 71 | /* This is what we know about each Huffman coding group */ |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 72 | struct group_data { |
Denis Vlasenko | 52a4388 | 2007-10-10 20:53:41 +0000 | [diff] [blame] | 73 | /* We have an extra slot at the end of limit[] for a sentinel value. */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 74 | int limit[MAX_HUFCODE_BITS+1], base[MAX_HUFCODE_BITS], permute[MAX_SYMBOLS]; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 75 | int minLen, maxLen; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 76 | }; |
| 77 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 78 | /* Structure holding all the housekeeping data, including IO buffers and |
Denis Vlasenko | 52a4388 | 2007-10-10 20:53:41 +0000 | [diff] [blame] | 79 | * memory that persists between calls to bunzip |
| 80 | * Found the most used member: |
| 81 | * cat this_file.c | sed -e 's/"/ /g' -e "s/'/ /g" | xargs -n1 \ |
| 82 | * | grep 'bd->' | sed 's/^.*bd->/bd->/' | sort | $PAGER |
| 83 | * and moved it (inbufBitCount) to offset 0. |
| 84 | */ |
Denis Vlasenko | c6758a0 | 2007-04-10 21:40:19 +0000 | [diff] [blame] | 85 | struct bunzip_data { |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 86 | /* I/O tracking data (file handles, buffers, positions, etc.) */ |
Denis Vlasenko | 52a4388 | 2007-10-10 20:53:41 +0000 | [diff] [blame] | 87 | unsigned inbufBitCount, inbufBits; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 88 | int in_fd, out_fd, inbufCount, inbufPos /*, outbufPos*/; |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 89 | uint8_t *inbuf /*,*outbuf*/; |
Denis Vlasenko | 52a4388 | 2007-10-10 20:53:41 +0000 | [diff] [blame] | 90 | |
| 91 | /* State for interrupting output loop */ |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 92 | int writeCopies, writePos, writeRunCountdown, writeCount; |
| 93 | int writeCurrent; /* actually a uint8_t */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 94 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 95 | /* The CRC values stored in the block header and calculated from the data */ |
Rob Landley | c57ec37 | 2006-04-10 17:07:15 +0000 | [diff] [blame] | 96 | uint32_t headerCRC, totalCRC, writeCRC; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 97 | |
Denis Vlasenko | c6758a0 | 2007-04-10 21:40:19 +0000 | [diff] [blame] | 98 | /* Intermediate buffer and its size (in bytes) */ |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 99 | uint32_t *dbuf; |
| 100 | unsigned dbufSize; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 101 | |
Denis Vlasenko | c6758a0 | 2007-04-10 21:40:19 +0000 | [diff] [blame] | 102 | /* For I/O error handling */ |
| 103 | jmp_buf jmpbuf; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 104 | |
Denis Vlasenko | 52a4388 | 2007-10-10 20:53:41 +0000 | [diff] [blame] | 105 | /* Big things go last (register-relative addressing can be larger for big offsets) */ |
Denis Vlasenko | c6758a0 | 2007-04-10 21:40:19 +0000 | [diff] [blame] | 106 | uint32_t crc32Table[256]; |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 107 | uint8_t selectors[32768]; /* nSelectors=15 bits */ |
Denys Vlasenko | fb132e4 | 2010-10-29 11:46:52 +0200 | [diff] [blame] | 108 | struct group_data groups[MAX_GROUPS]; /* Huffman coding tables */ |
Denis Vlasenko | c6758a0 | 2007-04-10 21:40:19 +0000 | [diff] [blame] | 109 | }; |
| 110 | /* typedef struct bunzip_data bunzip_data; -- done in .h file */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 111 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 112 | |
| 113 | /* Return the next nnn bits of input. All reads from the compressed input |
| 114 | are done through this function. All reads are big endian */ |
Denis Vlasenko | 52a4388 | 2007-10-10 20:53:41 +0000 | [diff] [blame] | 115 | static unsigned get_bits(bunzip_data *bd, int bits_wanted) |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 116 | { |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 117 | unsigned bits = 0; |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 118 | /* Cache bd->inbufBitCount in a CPU register (hopefully): */ |
| 119 | int bit_count = bd->inbufBitCount; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 120 | |
| 121 | /* If we need to get more data from the byte buffer, do so. (Loop getting |
| 122 | one byte at a time to enforce endianness and avoid unaligned access.) */ |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 123 | while (bit_count < bits_wanted) { |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 124 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 125 | /* If we need to read more data from file into byte buffer, do so */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 126 | if (bd->inbufPos == bd->inbufCount) { |
Denis Vlasenko | c6758a0 | 2007-04-10 21:40:19 +0000 | [diff] [blame] | 127 | /* if "no input fd" case: in_fd == -1, read fails, we jump */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 128 | bd->inbufCount = read(bd->in_fd, bd->inbuf, IOBUF_SIZE); |
| 129 | if (bd->inbufCount <= 0) |
| 130 | longjmp(bd->jmpbuf, RETVAL_UNEXPECTED_INPUT_EOF); |
| 131 | bd->inbufPos = 0; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 132 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 133 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 134 | /* Avoid 32-bit overflow (dump bit buffer to top of output) */ |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 135 | if (bit_count >= 24) { |
Rostislav Skudnov | 8762512 | 2017-02-01 18:35:13 +0000 | [diff] [blame] | 136 | bits = bd->inbufBits & ((1U << bit_count) - 1); |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 137 | bits_wanted -= bit_count; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 138 | bits <<= bits_wanted; |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 139 | bit_count = 0; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 140 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 141 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 142 | /* Grab next 8 bits of input from buffer. */ |
Denis Vlasenko | 52a4388 | 2007-10-10 20:53:41 +0000 | [diff] [blame] | 143 | bd->inbufBits = (bd->inbufBits << 8) | bd->inbuf[bd->inbufPos++]; |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 144 | bit_count += 8; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 145 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 146 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 147 | /* Calculate result */ |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 148 | bit_count -= bits_wanted; |
| 149 | bd->inbufBitCount = bit_count; |
| 150 | bits |= (bd->inbufBits >> bit_count) & ((1 << bits_wanted) - 1); |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 151 | |
| 152 | return bits; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 153 | } |
| 154 | |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 155 | /* Unpacks the next block and sets up for the inverse Burrows-Wheeler step. */ |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 156 | static int get_next_block(bunzip_data *bd) |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 157 | { |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 158 | struct group_data *hufGroup; |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 159 | int dbufCount, dbufSize, groupCount, *base, *limit, selector, |
Rostislav Skudnov | 8762512 | 2017-02-01 18:35:13 +0000 | [diff] [blame] | 160 | i, j, runPos, symCount, symTotal, nSelectors, byteCount[256]; |
Denys Vlasenko | f16727e | 2010-10-30 00:55:02 +0200 | [diff] [blame] | 161 | int runCnt = runCnt; /* for compiler */ |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 162 | uint8_t uc, symToByte[256], mtfSymbol[256], *selectors; |
| 163 | uint32_t *dbuf; |
Rostislav Skudnov | 8762512 | 2017-02-01 18:35:13 +0000 | [diff] [blame] | 164 | unsigned origPtr, t; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 165 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 166 | dbuf = bd->dbuf; |
| 167 | dbufSize = bd->dbufSize; |
| 168 | selectors = bd->selectors; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 169 | |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 170 | /* In bbox, we are ok with aborting through setjmp which is set up in start_bunzip */ |
| 171 | #if 0 |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 172 | /* Reset longjmp I/O error handling */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 173 | i = setjmp(bd->jmpbuf); |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 174 | if (i) return i; |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 175 | #endif |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 176 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 177 | /* Read in header signature and CRC, then validate signature. |
| 178 | (last block signature means CRC is for whole file, return now) */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 179 | i = get_bits(bd, 24); |
| 180 | j = get_bits(bd, 24); |
| 181 | bd->headerCRC = get_bits(bd, 32); |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 182 | if ((i == 0x177245) && (j == 0x385090)) return RETVAL_LAST_BLOCK; |
| 183 | if ((i != 0x314159) || (j != 0x265359)) return RETVAL_NOT_BZIP_DATA; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 184 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 185 | /* We can add support for blockRandomised if anybody complains. There was |
| 186 | some code for this in busybox 1.0.0-pre3, but nobody ever noticed that |
| 187 | it didn't actually work. */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 188 | if (get_bits(bd, 1)) return RETVAL_OBSOLETE_INPUT; |
| 189 | origPtr = get_bits(bd, 24); |
Denis Vlasenko | 6b06cb8 | 2008-05-15 21:30:45 +0000 | [diff] [blame] | 190 | if ((int)origPtr > dbufSize) return RETVAL_DATA_ERROR; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 191 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 192 | /* mapping table: if some byte values are never used (encoding things |
| 193 | like ascii text), the compression code removes the gaps to have fewer |
| 194 | symbols to deal with, and writes a sparse bitfield indicating which |
| 195 | values were present. We make a translation table to convert the symbols |
| 196 | back to the corresponding bytes. */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 197 | symTotal = 0; |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 198 | i = 0; |
| 199 | t = get_bits(bd, 16); |
| 200 | do { |
| 201 | if (t & (1 << 15)) { |
| 202 | unsigned inner_map = get_bits(bd, 16); |
| 203 | do { |
| 204 | if (inner_map & (1 << 15)) |
| 205 | symToByte[symTotal++] = i; |
| 206 | inner_map <<= 1; |
| 207 | i++; |
| 208 | } while (i & 15); |
| 209 | i -= 16; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 210 | } |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 211 | t <<= 1; |
| 212 | i += 16; |
| 213 | } while (i < 256); |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 214 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 215 | /* How many different Huffman coding groups does this block use? */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 216 | groupCount = get_bits(bd, 3); |
| 217 | if (groupCount < 2 || groupCount > MAX_GROUPS) |
| 218 | return RETVAL_DATA_ERROR; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 219 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 220 | /* nSelectors: Every GROUP_SIZE many symbols we select a new Huffman coding |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 221 | group. Read in the group selector list, which is stored as MTF encoded |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 222 | bit runs. (MTF=Move To Front, as each value is used it's moved to the |
| 223 | start of the list.) */ |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 224 | for (i = 0; i < groupCount; i++) |
| 225 | mtfSymbol[i] = i; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 226 | nSelectors = get_bits(bd, 15); |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 227 | if (!nSelectors) |
| 228 | return RETVAL_DATA_ERROR; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 229 | for (i = 0; i < nSelectors; i++) { |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 230 | uint8_t tmp_byte; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 231 | /* Get next value */ |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 232 | int n = 0; |
| 233 | while (get_bits(bd, 1)) { |
| 234 | if (n >= groupCount) return RETVAL_DATA_ERROR; |
| 235 | n++; |
| 236 | } |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 237 | /* Decode MTF to get the next selector */ |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 238 | tmp_byte = mtfSymbol[n]; |
| 239 | while (--n >= 0) |
| 240 | mtfSymbol[n + 1] = mtfSymbol[n]; |
| 241 | mtfSymbol[0] = selectors[i] = tmp_byte; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 242 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 243 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 244 | /* Read the Huffman coding tables for each group, which code for symTotal |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 245 | literal symbols, plus two run symbols (RUNA, RUNB) */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 246 | symCount = symTotal + 2; |
| 247 | for (j = 0; j < groupCount; j++) { |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 248 | uint8_t length[MAX_SYMBOLS]; |
Denis Vlasenko | 86d88c0 | 2008-06-28 18:10:09 +0000 | [diff] [blame] | 249 | /* 8 bits is ALMOST enough for temp[], see below */ |
| 250 | unsigned temp[MAX_HUFCODE_BITS+1]; |
Denys Vlasenko | f16727e | 2010-10-30 00:55:02 +0200 | [diff] [blame] | 251 | int minLen, maxLen, pp, len_m1; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 252 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 253 | /* Read Huffman code lengths for each symbol. They're stored in |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 254 | a way similar to mtf; record a starting value for the first symbol, |
Denys Vlasenko | f16727e | 2010-10-30 00:55:02 +0200 | [diff] [blame] | 255 | and an offset from the previous value for every symbol after that. |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 256 | (Subtracting 1 before the loop and then adding it back at the end is |
| 257 | an optimization that makes the test inside the loop simpler: symbol |
| 258 | length 0 becomes negative, so an unsigned inequality catches it.) */ |
Denys Vlasenko | f16727e | 2010-10-30 00:55:02 +0200 | [diff] [blame] | 259 | len_m1 = get_bits(bd, 5) - 1; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 260 | for (i = 0; i < symCount; i++) { |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 261 | for (;;) { |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 262 | int two_bits; |
Denys Vlasenko | f16727e | 2010-10-30 00:55:02 +0200 | [diff] [blame] | 263 | if ((unsigned)len_m1 > (MAX_HUFCODE_BITS-1)) |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 264 | return RETVAL_DATA_ERROR; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 265 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 266 | /* If first bit is 0, stop. Else second bit indicates whether |
| 267 | to increment or decrement the value. Optimization: grab 2 |
| 268 | bits and unget the second if the first was 0. */ |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 269 | two_bits = get_bits(bd, 2); |
| 270 | if (two_bits < 2) { |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 271 | bd->inbufBitCount++; |
| 272 | break; |
| 273 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 274 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 275 | /* Add one if second bit 1, else subtract 1. Avoids if/else */ |
Denys Vlasenko | f16727e | 2010-10-30 00:55:02 +0200 | [diff] [blame] | 276 | len_m1 += (((two_bits+1) & 2) - 1); |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 277 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 278 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 279 | /* Correct for the initial -1, to get the final symbol length */ |
Denys Vlasenko | f16727e | 2010-10-30 00:55:02 +0200 | [diff] [blame] | 280 | length[i] = len_m1 + 1; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 281 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 282 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 283 | /* Find largest and smallest lengths in this group */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 284 | minLen = maxLen = length[0]; |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 285 | for (i = 1; i < symCount; i++) { |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 286 | if (length[i] > maxLen) maxLen = length[i]; |
| 287 | else if (length[i] < minLen) minLen = length[i]; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 288 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 289 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 290 | /* Calculate permute[], base[], and limit[] tables from length[]. |
| 291 | * |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 292 | * permute[] is the lookup table for converting Huffman coded symbols |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 293 | * into decoded symbols. base[] is the amount to subtract from the |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 294 | * value of a Huffman symbol of a given length when using permute[]. |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 295 | * |
| 296 | * limit[] indicates the largest numerical value a symbol with a given |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 297 | * number of bits can have. This is how the Huffman codes can vary in |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 298 | * length: each code with a value>limit[length] needs another bit. |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 299 | */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 300 | hufGroup = bd->groups + j; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 301 | hufGroup->minLen = minLen; |
| 302 | hufGroup->maxLen = maxLen; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 303 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 304 | /* Note that minLen can't be smaller than 1, so we adjust the base |
| 305 | and limit array pointers so we're not always wasting the first |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 306 | entry. We do this again when using them (during symbol decoding). */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 307 | base = hufGroup->base - 1; |
Denis Vlasenko | 86d88c0 | 2008-06-28 18:10:09 +0000 | [diff] [blame] | 308 | limit = hufGroup->limit - 1; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 309 | |
Denys Vlasenko | 10ad622 | 2017-04-17 16:13:32 +0200 | [diff] [blame] | 310 | /* Calculate permute[]. Concurrently, initialize temp[] and limit[]. */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 311 | pp = 0; |
| 312 | for (i = minLen; i <= maxLen; i++) { |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 313 | int k; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 314 | temp[i] = limit[i] = 0; |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 315 | for (k = 0; k < symCount; k++) |
| 316 | if (length[k] == i) |
| 317 | hufGroup->permute[pp++] = k; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 318 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 319 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 320 | /* Count symbols coded for at each bit length */ |
Denis Vlasenko | 86d88c0 | 2008-06-28 18:10:09 +0000 | [diff] [blame] | 321 | /* NB: in pathological cases, temp[8] can end ip being 256. |
| 322 | * That's why uint8_t is too small for temp[]. */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 323 | for (i = 0; i < symCount; i++) temp[length[i]]++; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 324 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 325 | /* Calculate limit[] (the largest symbol-coding value at each bit |
| 326 | * length, which is (previous limit<<1)+symbols at this level), and |
| 327 | * base[] (number of symbols to ignore at each bit length, which is |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 328 | * limit minus the cumulative count of symbols coded for already). */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 329 | pp = t = 0; |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 330 | for (i = minLen; i < maxLen;) { |
| 331 | unsigned temp_i = temp[i]; |
| 332 | |
| 333 | pp += temp_i; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 334 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 335 | /* We read the largest possible symbol size and then unget bits |
| 336 | after determining how many we need, and those extra bits could |
| 337 | be set to anything. (They're noise from future symbols.) At |
| 338 | each level we're really only interested in the first few bits, |
| 339 | so here we set all the trailing to-be-ignored bits to 1 so they |
| 340 | don't affect the value>limit[length] comparison. */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 341 | limit[i] = (pp << (maxLen - i)) - 1; |
| 342 | pp <<= 1; |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 343 | t += temp_i; |
| 344 | base[++i] = pp - t; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 345 | } |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 346 | limit[maxLen] = pp + temp[maxLen] - 1; |
Denys Vlasenko | f16727e | 2010-10-30 00:55:02 +0200 | [diff] [blame] | 347 | limit[maxLen+1] = INT_MAX; /* Sentinel value for reading next sym. */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 348 | base[minLen] = 0; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 349 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 350 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 351 | /* We've finished reading and digesting the block header. Now read this |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 352 | block's Huffman coded symbols from the file and undo the Huffman coding |
Denis Vlasenko | 52a4388 | 2007-10-10 20:53:41 +0000 | [diff] [blame] | 353 | and run length encoding, saving the result into dbuf[dbufCount++] = uc */ |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 354 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 355 | /* Initialize symbol occurrence counters and symbol Move To Front table */ |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 356 | /*memset(byteCount, 0, sizeof(byteCount)); - smaller, but slower */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 357 | for (i = 0; i < 256; i++) { |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 358 | byteCount[i] = 0; |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 359 | mtfSymbol[i] = (uint8_t)i; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 360 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 361 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 362 | /* Loop through compressed symbols. */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 363 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 364 | runPos = dbufCount = selector = 0; |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 365 | for (;;) { |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 366 | int nextSym; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 367 | |
Denis Vlasenko | 86d88c0 | 2008-06-28 18:10:09 +0000 | [diff] [blame] | 368 | /* Fetch next Huffman coding group from list. */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 369 | symCount = GROUP_SIZE - 1; |
| 370 | if (selector >= nSelectors) return RETVAL_DATA_ERROR; |
| 371 | hufGroup = bd->groups + selectors[selector++]; |
| 372 | base = hufGroup->base - 1; |
Denis Vlasenko | 86d88c0 | 2008-06-28 18:10:09 +0000 | [diff] [blame] | 373 | limit = hufGroup->limit - 1; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 374 | |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 375 | continue_this_group: |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 376 | /* Read next Huffman-coded symbol. */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 377 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 378 | /* Note: It is far cheaper to read maxLen bits and back up than it is |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 379 | to read minLen bits and then add additional bit at a time, testing |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 380 | as we go. Because there is a trailing last block (with file CRC), |
| 381 | there is no danger of the overread causing an unexpected EOF for a |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 382 | valid compressed file. |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 383 | */ |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 384 | if (1) { |
| 385 | /* As a further optimization, we do the read inline |
| 386 | (falling back to a call to get_bits if the buffer runs dry). |
| 387 | */ |
| 388 | int new_cnt; |
| 389 | while ((new_cnt = bd->inbufBitCount - hufGroup->maxLen) < 0) { |
| 390 | /* bd->inbufBitCount < hufGroup->maxLen */ |
| 391 | if (bd->inbufPos == bd->inbufCount) { |
| 392 | nextSym = get_bits(bd, hufGroup->maxLen); |
| 393 | goto got_huff_bits; |
| 394 | } |
| 395 | bd->inbufBits = (bd->inbufBits << 8) | bd->inbuf[bd->inbufPos++]; |
| 396 | bd->inbufBitCount += 8; |
| 397 | }; |
| 398 | bd->inbufBitCount = new_cnt; /* "bd->inbufBitCount -= hufGroup->maxLen;" */ |
| 399 | nextSym = (bd->inbufBits >> new_cnt) & ((1 << hufGroup->maxLen) - 1); |
| 400 | got_huff_bits: ; |
| 401 | } else { /* unoptimized equivalent */ |
| 402 | nextSym = get_bits(bd, hufGroup->maxLen); |
| 403 | } |
| 404 | /* Figure how many bits are in next symbol and unget extras */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 405 | i = hufGroup->minLen; |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 406 | while (nextSym > limit[i]) ++i; |
| 407 | j = hufGroup->maxLen - i; |
| 408 | if (j < 0) |
| 409 | return RETVAL_DATA_ERROR; |
| 410 | bd->inbufBitCount += j; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 411 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 412 | /* Huffman decode value to get nextSym (with bounds checking) */ |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 413 | nextSym = (nextSym >> j) - base[i]; |
| 414 | if ((unsigned)nextSym >= MAX_SYMBOLS) |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 415 | return RETVAL_DATA_ERROR; |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 416 | nextSym = hufGroup->permute[nextSym]; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 417 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 418 | /* We have now decoded the symbol, which indicates either a new literal |
| 419 | byte, or a repeated run of the most recent literal byte. First, |
| 420 | check if nextSym indicates a repeated run, and if so loop collecting |
| 421 | how many times to repeat the last literal. */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 422 | if ((unsigned)nextSym <= SYMBOL_RUNB) { /* RUNA or RUNB */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 423 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 424 | /* If this is the start of a new run, zero out counter */ |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 425 | if (runPos == 0) { |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 426 | runPos = 1; |
Denys Vlasenko | f16727e | 2010-10-30 00:55:02 +0200 | [diff] [blame] | 427 | runCnt = 0; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 428 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 429 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 430 | /* Neat trick that saves 1 symbol: instead of or-ing 0 or 1 at |
| 431 | each bit position, add 1 or 2 instead. For example, |
| 432 | 1011 is 1<<0 + 1<<1 + 2<<2. 1010 is 2<<0 + 2<<1 + 1<<2. |
| 433 | You can make any bit pattern that way using 1 less symbol than |
| 434 | the basic or 0/1 method (except all bits 0, which would use no |
| 435 | symbols, but a run of length 0 doesn't mean anything in this |
| 436 | context). Thus space is saved. */ |
Denys Vlasenko | f16727e | 2010-10-30 00:55:02 +0200 | [diff] [blame] | 437 | runCnt += (runPos << nextSym); /* +runPos if RUNA; +2*runPos if RUNB */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 438 | if (runPos < dbufSize) runPos <<= 1; |
Rob Landley | a8b98d6 | 2004-11-16 12:07:04 +0000 | [diff] [blame] | 439 | goto end_of_huffman_loop; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 440 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 441 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 442 | /* When we hit the first non-run symbol after a run, we now know |
| 443 | how many times to repeat the last literal, so append that many |
| 444 | copies to our buffer of decoded symbols (dbuf) now. (The last |
| 445 | literal used is the one at the head of the mtfSymbol array.) */ |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 446 | if (runPos != 0) { |
| 447 | uint8_t tmp_byte; |
Denys Vlasenko | 932e233 | 2013-10-06 22:53:14 +0200 | [diff] [blame] | 448 | if (dbufCount + runCnt > dbufSize) { |
| 449 | dbg("dbufCount:%d+runCnt:%d %d > dbufSize:%d RETVAL_DATA_ERROR", |
| 450 | dbufCount, runCnt, dbufCount + runCnt, dbufSize); |
| 451 | return RETVAL_DATA_ERROR; |
| 452 | } |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 453 | tmp_byte = symToByte[mtfSymbol[0]]; |
Denys Vlasenko | f16727e | 2010-10-30 00:55:02 +0200 | [diff] [blame] | 454 | byteCount[tmp_byte] += runCnt; |
| 455 | while (--runCnt >= 0) dbuf[dbufCount++] = (uint32_t)tmp_byte; |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 456 | runPos = 0; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 457 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 458 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 459 | /* Is this the terminating symbol? */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 460 | if (nextSym > symTotal) break; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 461 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 462 | /* At this point, nextSym indicates a new literal character. Subtract |
| 463 | one to get the position in the MTF array at which this literal is |
| 464 | currently to be found. (Note that the result can't be -1 or 0, |
| 465 | because 0 and 1 are RUNA and RUNB. But another instance of the |
| 466 | first symbol in the mtf array, position 0, would have been handled |
| 467 | as part of a run above. Therefore 1 unused mtf position minus |
| 468 | 2 non-literal nextSym values equals -1.) */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 469 | if (dbufCount >= dbufSize) return RETVAL_DATA_ERROR; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 470 | i = nextSym - 1; |
| 471 | uc = mtfSymbol[i]; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 472 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 473 | /* Adjust the MTF array. Since we typically expect to move only a |
| 474 | * small number of symbols, and are bound by 256 in any case, using |
| 475 | * memmove here would typically be bigger and slower due to function |
| 476 | * call overhead and other assorted setup costs. */ |
Eric Andersen | 1acfb72 | 2003-10-18 01:59:46 +0000 | [diff] [blame] | 477 | do { |
| 478 | mtfSymbol[i] = mtfSymbol[i-1]; |
| 479 | } while (--i); |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 480 | mtfSymbol[0] = uc; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 481 | uc = symToByte[uc]; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 482 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 483 | /* We have our literal byte. Save it into dbuf. */ |
| 484 | byteCount[uc]++; |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 485 | dbuf[dbufCount++] = (uint32_t)uc; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 486 | |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 487 | /* Skip group initialization if we're not done with this group. Done |
| 488 | * this way to avoid compiler warning. */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 489 | end_of_huffman_loop: |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 490 | if (--symCount >= 0) goto continue_this_group; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 491 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 492 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 493 | /* At this point, we've read all the Huffman-coded symbols (and repeated |
Denis Vlasenko | 246b5c3 | 2007-04-10 17:18:12 +0000 | [diff] [blame] | 494 | runs) for this block from the input stream, and decoded them into the |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 495 | intermediate buffer. There are dbufCount many decoded bytes in dbuf[]. |
| 496 | Now undo the Burrows-Wheeler transform on dbuf. |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 497 | See http://dogma.net/markn/articles/bwt/bwt.htm |
| 498 | */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 499 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 500 | /* Turn byteCount into cumulative occurrence counts of 0 to n-1. */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 501 | j = 0; |
| 502 | for (i = 0; i < 256; i++) { |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 503 | int tmp_count = j + byteCount[i]; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 504 | byteCount[i] = j; |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 505 | j = tmp_count; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 506 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 507 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 508 | /* Figure out what order dbuf would be in if we sorted it. */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 509 | for (i = 0; i < dbufCount; i++) { |
Denys Vlasenko | 0c57697 | 2010-10-30 00:54:10 +0200 | [diff] [blame] | 510 | uint8_t tmp_byte = (uint8_t)dbuf[i]; |
| 511 | int tmp_count = byteCount[tmp_byte]; |
| 512 | dbuf[tmp_count] |= (i << 8); |
| 513 | byteCount[tmp_byte] = tmp_count + 1; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 514 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 515 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 516 | /* Decode first byte by hand to initialize "previous" byte. Note that it |
| 517 | doesn't get output, and if the first three characters are identical |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 518 | it doesn't qualify as a run (hence writeRunCountdown=5). */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 519 | if (dbufCount) { |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 520 | uint32_t tmp; |
Denis Vlasenko | 6b06cb8 | 2008-05-15 21:30:45 +0000 | [diff] [blame] | 521 | if ((int)origPtr >= dbufCount) return RETVAL_DATA_ERROR; |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 522 | tmp = dbuf[origPtr]; |
| 523 | bd->writeCurrent = (uint8_t)tmp; |
| 524 | bd->writePos = (tmp >> 8); |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 525 | bd->writeRunCountdown = 5; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 526 | } |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 527 | bd->writeCount = dbufCount; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 528 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 529 | return RETVAL_OK; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 530 | } |
| 531 | |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 532 | /* Undo Burrows-Wheeler transform on intermediate buffer to produce output. |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 533 | If start_bunzip was initialized with out_fd=-1, then up to len bytes of |
| 534 | data are written to outbuf. Return value is number of bytes written or |
| 535 | error (all errors are negative numbers). If out_fd!=-1, outbuf and len |
| 536 | are ignored, data is written to out_fd and return is RETVAL_OK or error. |
Denys Vlasenko | 1014a9a | 2010-10-29 19:01:58 +0200 | [diff] [blame] | 537 | |
| 538 | NB: read_bunzip returns < 0 on error, or the number of *unfilled* bytes |
| 539 | in outbuf. IOW: on EOF returns len ("all bytes are not filled"), not 0. |
| 540 | (Why? This allows to get rid of one local variable) |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 541 | */ |
Denis Vlasenko | defc1ea | 2008-06-27 02:52:20 +0000 | [diff] [blame] | 542 | int FAST_FUNC read_bunzip(bunzip_data *bd, char *outbuf, int len) |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 543 | { |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 544 | const uint32_t *dbuf; |
Denys Vlasenko | 1014a9a | 2010-10-29 19:01:58 +0200 | [diff] [blame] | 545 | int pos, current, previous; |
Denys Vlasenko | bf3bec5 | 2010-10-29 18:16:29 +0200 | [diff] [blame] | 546 | uint32_t CRC; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 547 | |
Denys Vlasenko | bf3bec5 | 2010-10-29 18:16:29 +0200 | [diff] [blame] | 548 | /* If we already have error/end indicator, return it */ |
| 549 | if (bd->writeCount < 0) |
| 550 | return bd->writeCount; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 551 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 552 | dbuf = bd->dbuf; |
Denys Vlasenko | bf3bec5 | 2010-10-29 18:16:29 +0200 | [diff] [blame] | 553 | |
| 554 | /* Register-cached state (hopefully): */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 555 | pos = bd->writePos; |
| 556 | current = bd->writeCurrent; |
Denys Vlasenko | bf3bec5 | 2010-10-29 18:16:29 +0200 | [diff] [blame] | 557 | CRC = bd->writeCRC; /* small loss on x86-32 (not enough regs), win on x86-64 */ |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 558 | |
| 559 | /* We will always have pending decoded data to write into the output |
| 560 | buffer unless this is the very first call (in which case we haven't |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 561 | Huffman-decoded a block into the intermediate buffer yet). */ |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 562 | if (bd->writeCopies) { |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 563 | |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 564 | dec_writeCopies: |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 565 | /* Inside the loop, writeCopies means extra copies (beyond 1) */ |
| 566 | --bd->writeCopies; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 567 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 568 | /* Loop outputting bytes */ |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 569 | for (;;) { |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 570 | |
Denys Vlasenko | bf3bec5 | 2010-10-29 18:16:29 +0200 | [diff] [blame] | 571 | /* If the output buffer is full, save cached state and return */ |
Denys Vlasenko | 1014a9a | 2010-10-29 19:01:58 +0200 | [diff] [blame] | 572 | if (--len < 0) { |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 573 | /* Unlikely branch. |
| 574 | * Use of "goto" instead of keeping code here |
| 575 | * helps compiler to realize this. */ |
| 576 | goto outbuf_full; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 577 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 578 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 579 | /* Write next byte into output buffer, updating CRC */ |
Denys Vlasenko | 1014a9a | 2010-10-29 19:01:58 +0200 | [diff] [blame] | 580 | *outbuf++ = current; |
Denys Vlasenko | bf3bec5 | 2010-10-29 18:16:29 +0200 | [diff] [blame] | 581 | CRC = (CRC << 8) ^ bd->crc32Table[(CRC >> 24) ^ current]; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 582 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 583 | /* Loop now if we're outputting multiple copies of this byte */ |
| 584 | if (bd->writeCopies) { |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 585 | /* Unlikely branch */ |
| 586 | /*--bd->writeCopies;*/ |
| 587 | /*continue;*/ |
Denys Vlasenko | bf3bec5 | 2010-10-29 18:16:29 +0200 | [diff] [blame] | 588 | /* Same, but (ab)using other existing --writeCopies operation |
| 589 | * (and this if() compiles into just test+branch pair): */ |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 590 | goto dec_writeCopies; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 591 | } |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 592 | decode_next_byte: |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 593 | if (--bd->writeCount < 0) |
| 594 | break; /* input block is fully consumed, need next one */ |
| 595 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 596 | /* Follow sequence vector to undo Burrows-Wheeler transform */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 597 | previous = current; |
| 598 | pos = dbuf[pos]; |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 599 | current = (uint8_t)pos; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 600 | pos >>= 8; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 601 | |
Denis Vlasenko | 52a4388 | 2007-10-10 20:53:41 +0000 | [diff] [blame] | 602 | /* After 3 consecutive copies of the same byte, the 4th |
| 603 | * is a repeat count. We count down from 4 instead |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 604 | * of counting up because testing for non-zero is faster */ |
Denys Vlasenko | bf3bec5 | 2010-10-29 18:16:29 +0200 | [diff] [blame] | 605 | if (--bd->writeRunCountdown != 0) { |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 606 | if (current != previous) |
| 607 | bd->writeRunCountdown = 4; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 608 | } else { |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 609 | /* Unlikely branch */ |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 610 | /* We have a repeated run, this byte indicates the count */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 611 | bd->writeCopies = current; |
| 612 | current = previous; |
| 613 | bd->writeRunCountdown = 5; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 614 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 615 | /* Sometimes there are just 3 bytes (run length 0) */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 616 | if (!bd->writeCopies) goto decode_next_byte; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 617 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 618 | /* Subtract the 1 copy we'd output anyway to get extras */ |
| 619 | --bd->writeCopies; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 620 | } |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 621 | } /* for(;;) */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 622 | |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 623 | /* Decompression of this input block completed successfully */ |
Denys Vlasenko | bf3bec5 | 2010-10-29 18:16:29 +0200 | [diff] [blame] | 624 | bd->writeCRC = CRC = ~CRC; |
| 625 | bd->totalCRC = ((bd->totalCRC << 1) | (bd->totalCRC >> 31)) ^ CRC; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 626 | |
Denys Vlasenko | bf3bec5 | 2010-10-29 18:16:29 +0200 | [diff] [blame] | 627 | /* If this block had a CRC error, force file level CRC error */ |
| 628 | if (CRC != bd->headerCRC) { |
Denis Vlasenko | 52a4388 | 2007-10-10 20:53:41 +0000 | [diff] [blame] | 629 | bd->totalCRC = bd->headerCRC + 1; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 630 | return RETVAL_LAST_BLOCK; |
| 631 | } |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 632 | } |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 633 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 634 | /* Refill the intermediate buffer by Huffman-decoding next block of input */ |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 635 | { |
| 636 | int r = get_next_block(bd); |
Denys Vlasenko | bf3bec5 | 2010-10-29 18:16:29 +0200 | [diff] [blame] | 637 | if (r) { /* error/end */ |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 638 | bd->writeCount = r; |
Denys Vlasenko | 1014a9a | 2010-10-29 19:01:58 +0200 | [diff] [blame] | 639 | return (r != RETVAL_LAST_BLOCK) ? r : len; |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 640 | } |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 641 | } |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 642 | |
Denys Vlasenko | bf3bec5 | 2010-10-29 18:16:29 +0200 | [diff] [blame] | 643 | CRC = ~0; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 644 | pos = bd->writePos; |
| 645 | current = bd->writeCurrent; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 646 | goto decode_next_byte; |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 647 | |
| 648 | outbuf_full: |
Denys Vlasenko | bf3bec5 | 2010-10-29 18:16:29 +0200 | [diff] [blame] | 649 | /* Output buffer is full, save cached state and return */ |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 650 | bd->writePos = pos; |
| 651 | bd->writeCurrent = current; |
Denys Vlasenko | bf3bec5 | 2010-10-29 18:16:29 +0200 | [diff] [blame] | 652 | bd->writeCRC = CRC; |
| 653 | |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 654 | bd->writeCopies++; |
Denys Vlasenko | bf3bec5 | 2010-10-29 18:16:29 +0200 | [diff] [blame] | 655 | |
Denys Vlasenko | 1014a9a | 2010-10-29 19:01:58 +0200 | [diff] [blame] | 656 | return 0; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 657 | } |
| 658 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 659 | /* Allocate the structure, read file header. If in_fd==-1, inbuf must contain |
| 660 | a complete bunzip file (len bytes long). If in_fd!=-1, inbuf and len are |
| 661 | ignored, and data is read from file handle into temporary buffer. */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 662 | |
Denis Vlasenko | c6758a0 | 2007-04-10 21:40:19 +0000 | [diff] [blame] | 663 | /* Because bunzip2 is used for help text unpacking, and because bb_show_usage() |
| 664 | should work for NOFORK applets too, we must be extremely careful to not leak |
| 665 | any allocations! */ |
Denys Vlasenko | caddfc8 | 2010-10-28 23:08:53 +0200 | [diff] [blame] | 666 | int FAST_FUNC start_bunzip(bunzip_data **bdp, int in_fd, |
| 667 | const void *inbuf, int len) |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 668 | { |
| 669 | bunzip_data *bd; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 670 | unsigned i; |
| 671 | enum { |
Denis Vlasenko | e9ad84d | 2008-08-05 13:10:34 +0000 | [diff] [blame] | 672 | BZh0 = ('B' << 24) + ('Z' << 16) + ('h' << 8) + '0', |
| 673 | h0 = ('h' << 8) + '0', |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 674 | }; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 675 | |
| 676 | /* Figure out how much data to allocate */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 677 | i = sizeof(bunzip_data); |
| 678 | if (in_fd != -1) i += IOBUF_SIZE; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 679 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 680 | /* Allocate bunzip_data. Most fields initialize to zero. */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 681 | bd = *bdp = xzalloc(i); |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 682 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 683 | /* Setup input buffer */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 684 | bd->in_fd = in_fd; |
| 685 | if (-1 == in_fd) { |
Denis Vlasenko | c6758a0 | 2007-04-10 21:40:19 +0000 | [diff] [blame] | 686 | /* in this case, bd->inbuf is read-only */ |
| 687 | bd->inbuf = (void*)inbuf; /* cast away const-ness */ |
Denys Vlasenko | caddfc8 | 2010-10-28 23:08:53 +0200 | [diff] [blame] | 688 | } else { |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 689 | bd->inbuf = (uint8_t*)(bd + 1); |
Denys Vlasenko | caddfc8 | 2010-10-28 23:08:53 +0200 | [diff] [blame] | 690 | memcpy(bd->inbuf, inbuf, len); |
| 691 | } |
| 692 | bd->inbufCount = len; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 693 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 694 | /* Init the CRC32 table (big endian) */ |
Denis Vlasenko | c6758a0 | 2007-04-10 21:40:19 +0000 | [diff] [blame] | 695 | crc32_filltable(bd->crc32Table, 1); |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 696 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 697 | /* Setup for I/O error handling via longjmp */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 698 | i = setjmp(bd->jmpbuf); |
| 699 | if (i) return i; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 700 | |
| 701 | /* Ensure that file starts with "BZh['1'-'9']." */ |
Denis Vlasenko | e9ad84d | 2008-08-05 13:10:34 +0000 | [diff] [blame] | 702 | /* Update: now caller verifies 1st two bytes, makes .gz/.bz2 |
| 703 | * integration easier */ |
| 704 | /* was: */ |
| 705 | /* i = get_bits(bd, 32); */ |
| 706 | /* if ((unsigned)(i - BZh0 - 1) >= 9) return RETVAL_NOT_BZIP_DATA; */ |
| 707 | i = get_bits(bd, 16); |
| 708 | if ((unsigned)(i - h0 - 1) >= 9) return RETVAL_NOT_BZIP_DATA; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 709 | |
Denis Vlasenko | 86d88c0 | 2008-06-28 18:10:09 +0000 | [diff] [blame] | 710 | /* Fourth byte (ascii '1'-'9') indicates block size in units of 100k of |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 711 | uncompressed data. Allocate intermediate buffer for block. */ |
Denis Vlasenko | e9ad84d | 2008-08-05 13:10:34 +0000 | [diff] [blame] | 712 | /* bd->dbufSize = 100000 * (i - BZh0); */ |
| 713 | bd->dbufSize = 100000 * (i - h0); |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 714 | |
Denis Vlasenko | c6758a0 | 2007-04-10 21:40:19 +0000 | [diff] [blame] | 715 | /* Cannot use xmalloc - may leak bd in NOFORK case! */ |
Denys Vlasenko | 36ef0a6 | 2010-10-29 16:05:05 +0200 | [diff] [blame] | 716 | bd->dbuf = malloc_or_warn(bd->dbufSize * sizeof(bd->dbuf[0])); |
Denis Vlasenko | c6758a0 | 2007-04-10 21:40:19 +0000 | [diff] [blame] | 717 | if (!bd->dbuf) { |
| 718 | free(bd); |
| 719 | xfunc_die(); |
| 720 | } |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 721 | return RETVAL_OK; |
| 722 | } |
| 723 | |
Denis Vlasenko | defc1ea | 2008-06-27 02:52:20 +0000 | [diff] [blame] | 724 | void FAST_FUNC dealloc_bunzip(bunzip_data *bd) |
Denis Vlasenko | c6758a0 | 2007-04-10 21:40:19 +0000 | [diff] [blame] | 725 | { |
Denis Vlasenko | 4b924f3 | 2007-05-30 00:29:55 +0000 | [diff] [blame] | 726 | free(bd->dbuf); |
| 727 | free(bd); |
Denis Vlasenko | c6758a0 | 2007-04-10 21:40:19 +0000 | [diff] [blame] | 728 | } |
| 729 | |
| 730 | |
| 731 | /* Decompress src_fd to dst_fd. Stops at end of bzip data, not end of file. */ |
Denis Vlasenko | 5e34ff2 | 2009-04-21 11:09:40 +0000 | [diff] [blame] | 732 | IF_DESKTOP(long long) int FAST_FUNC |
Denys Vlasenko | b4c11c1 | 2014-12-07 00:44:00 +0100 | [diff] [blame] | 733 | unpack_bz2_stream(transformer_state_t *xstate) |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 734 | { |
Denis Vlasenko | 5e34ff2 | 2009-04-21 11:09:40 +0000 | [diff] [blame] | 735 | IF_DESKTOP(long long total_written = 0;) |
Denys Vlasenko | 4d4d1a0 | 2010-11-01 02:19:47 +0100 | [diff] [blame] | 736 | bunzip_data *bd; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 737 | char *outbuf; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 738 | int i; |
Denys Vlasenko | caddfc8 | 2010-10-28 23:08:53 +0200 | [diff] [blame] | 739 | unsigned len; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 740 | |
Denys Vlasenko | b4c11c1 | 2014-12-07 00:44:00 +0100 | [diff] [blame] | 741 | if (check_signature16(xstate, BZIP2_MAGIC)) |
Denys Vlasenko | 8a6a2f9 | 2012-03-06 16:27:48 +0100 | [diff] [blame] | 742 | return -1; |
| 743 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 744 | outbuf = xmalloc(IOBUF_SIZE); |
Denys Vlasenko | caddfc8 | 2010-10-28 23:08:53 +0200 | [diff] [blame] | 745 | len = 0; |
| 746 | while (1) { /* "Process one BZ... stream" loop */ |
| 747 | |
Denys Vlasenko | b4c11c1 | 2014-12-07 00:44:00 +0100 | [diff] [blame] | 748 | i = start_bunzip(&bd, xstate->src_fd, outbuf + 2, len); |
Denys Vlasenko | caddfc8 | 2010-10-28 23:08:53 +0200 | [diff] [blame] | 749 | |
| 750 | if (i == 0) { |
| 751 | while (1) { /* "Produce some output bytes" loop */ |
| 752 | i = read_bunzip(bd, outbuf, IOBUF_SIZE); |
Denys Vlasenko | 1014a9a | 2010-10-29 19:01:58 +0200 | [diff] [blame] | 753 | if (i < 0) /* error? */ |
| 754 | break; |
| 755 | i = IOBUF_SIZE - i; /* number of bytes produced */ |
| 756 | if (i == 0) /* EOF? */ |
Denys Vlasenko | caddfc8 | 2010-10-28 23:08:53 +0200 | [diff] [blame] | 757 | break; |
Denys Vlasenko | b4c11c1 | 2014-12-07 00:44:00 +0100 | [diff] [blame] | 758 | if (i != transformer_write(xstate, outbuf, i)) { |
Denys Vlasenko | 8531c43 | 2010-11-01 01:38:54 +0100 | [diff] [blame] | 759 | i = RETVAL_SHORT_WRITE; |
Denys Vlasenko | caddfc8 | 2010-10-28 23:08:53 +0200 | [diff] [blame] | 760 | goto release_mem; |
| 761 | } |
| 762 | IF_DESKTOP(total_written += i;) |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 763 | } |
| 764 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 765 | |
Denys Vlasenko | c531b9a | 2011-10-31 01:05:16 +0100 | [diff] [blame] | 766 | if (i != RETVAL_LAST_BLOCK |
| 767 | /* Observed case when i == RETVAL_OK: |
| 768 | * "bzcat z.bz2", where "z.bz2" is a bzipped zero-length file |
| 769 | * (to be exact, z.bz2 is exactly these 14 bytes: |
| 770 | * 42 5a 68 39 17 72 45 38 50 90 00 00 00 00). |
| 771 | */ |
| 772 | && i != RETVAL_OK |
| 773 | ) { |
Denys Vlasenko | caddfc8 | 2010-10-28 23:08:53 +0200 | [diff] [blame] | 774 | bb_error_msg("bunzip error %d", i); |
| 775 | break; |
| 776 | } |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 777 | if (bd->headerCRC != bd->totalCRC) { |
Denis Vlasenko | 66bbfbd | 2007-09-28 23:45:56 +0000 | [diff] [blame] | 778 | bb_error_msg("CRC error"); |
Denys Vlasenko | caddfc8 | 2010-10-28 23:08:53 +0200 | [diff] [blame] | 779 | break; |
Glenn L McGrath | 1c83440 | 2003-10-28 23:32:12 +0000 | [diff] [blame] | 780 | } |
Denys Vlasenko | caddfc8 | 2010-10-28 23:08:53 +0200 | [diff] [blame] | 781 | |
| 782 | /* Successfully unpacked one BZ stream */ |
| 783 | i = RETVAL_OK; |
| 784 | |
| 785 | /* Do we have "BZ..." after last processed byte? |
| 786 | * pbzip2 (parallelized bzip2) produces such files. |
| 787 | */ |
| 788 | len = bd->inbufCount - bd->inbufPos; |
| 789 | memcpy(outbuf, &bd->inbuf[bd->inbufPos], len); |
| 790 | if (len < 2) { |
Denys Vlasenko | b4c11c1 | 2014-12-07 00:44:00 +0100 | [diff] [blame] | 791 | if (safe_read(xstate->src_fd, outbuf + len, 2 - len) != 2 - len) |
Denys Vlasenko | caddfc8 | 2010-10-28 23:08:53 +0200 | [diff] [blame] | 792 | break; |
| 793 | len = 2; |
| 794 | } |
| 795 | if (*(uint16_t*)outbuf != BZIP2_MAGIC) /* "BZ"? */ |
| 796 | break; |
| 797 | dealloc_bunzip(bd); |
| 798 | len -= 2; |
Glenn L McGrath | 1c83440 | 2003-10-28 23:32:12 +0000 | [diff] [blame] | 799 | } |
Denys Vlasenko | caddfc8 | 2010-10-28 23:08:53 +0200 | [diff] [blame] | 800 | |
| 801 | release_mem: |
Denis Vlasenko | c6758a0 | 2007-04-10 21:40:19 +0000 | [diff] [blame] | 802 | dealloc_bunzip(bd); |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 803 | free(outbuf); |
Glenn L McGrath | 1c83440 | 2003-10-28 23:32:12 +0000 | [diff] [blame] | 804 | |
Denis Vlasenko | 5e34ff2 | 2009-04-21 11:09:40 +0000 | [diff] [blame] | 805 | return i ? i : IF_DESKTOP(total_written) + 0; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 806 | } |
| 807 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 808 | #ifdef TESTING |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 809 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 810 | static char *const bunzip_errors[] = { |
| 811 | NULL, "Bad file checksum", "Not bzip data", |
| 812 | "Unexpected input EOF", "Unexpected output EOF", "Data error", |
| 813 | "Out of memory", "Obsolete (pre 0.9.5) bzip format not supported" |
| 814 | }; |
Glenn L McGrath | 237ae42 | 2002-11-03 14:05:15 +0000 | [diff] [blame] | 815 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 816 | /* Dumb little test thing, decompress stdin to stdout */ |
Bernhard Reutner-Fischer | febe3c4 | 2007-04-04 20:52:03 +0000 | [diff] [blame] | 817 | int main(int argc, char **argv) |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 818 | { |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 819 | char c; |
| 820 | |
Denys Vlasenko | 8a6a2f9 | 2012-03-06 16:27:48 +0100 | [diff] [blame] | 821 | int i = unpack_bz2_stream(0, 1); |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 822 | if (i < 0) |
Denis Vlasenko | f5d8c90 | 2008-06-26 14:32:57 +0000 | [diff] [blame] | 823 | fprintf(stderr, "%s\n", bunzip_errors[-i]); |
Bernhard Reutner-Fischer | 5e25ddb | 2008-05-19 09:48:17 +0000 | [diff] [blame] | 824 | else if (read(STDIN_FILENO, &c, 1)) |
Denis Vlasenko | f5d8c90 | 2008-06-26 14:32:57 +0000 | [diff] [blame] | 825 | fprintf(stderr, "Trailing garbage ignored\n"); |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 826 | return -i; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 827 | } |
| 828 | #endif |