Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 1 | /* vi: set sw=4 ts=4: */ |
Rob Landley | e66c7ef | 2006-04-14 19:25:01 +0000 | [diff] [blame] | 2 | /* Small bzip2 deflate implementation, by Rob Landley (rob@landley.net). |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 3 | |
Rob Landley | e66c7ef | 2006-04-14 19:25:01 +0000 | [diff] [blame] | 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. |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 8 | |
Rob Landley | e66c7ef | 2006-04-14 19:25:01 +0000 | [diff] [blame] | 9 | Licensed under GPLv2 or later, see file LICENSE in this tarball for details. |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 10 | */ |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 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 | |
| 19 | Note that about 2/3 of the time is spent in read_unzip() reversing |
| 20 | the Burrows-Wheeler transformation. Much of that time is delay |
| 21 | resulting from cache misses. |
| 22 | |
| 23 | I would ask that anyone benefiting from this work, especially those |
| 24 | using it in commercial products, consider making a donation to my local |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 25 | non-profit hospice organization (www.hospiceacadiana.com) in the name of |
Bernhard Reutner-Fischer | cfb53df | 2006-04-02 21:50:01 +0000 | [diff] [blame] | 26 | 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] | 27 | |
| 28 | Manuel |
| 29 | */ |
| 30 | |
Glenn L McGrath | 1c83440 | 2003-10-28 23:32:12 +0000 | [diff] [blame] | 31 | #include "libbb.h" |
Bernhard Reutner-Fischer | cfb53df | 2006-04-02 21:50:01 +0000 | [diff] [blame] | 32 | #include "unarchive.h" |
| 33 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 34 | /* Constants for Huffman coding */ |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 35 | #define MAX_GROUPS 6 |
| 36 | #define GROUP_SIZE 50 /* 64 would have been more efficient */ |
| 37 | #define MAX_HUFCODE_BITS 20 /* Longest Huffman code allowed */ |
| 38 | #define MAX_SYMBOLS 258 /* 256 literals + RUNA + RUNB */ |
| 39 | #define SYMBOL_RUNA 0 |
| 40 | #define SYMBOL_RUNB 1 |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 41 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 42 | /* Status return values */ |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 43 | #define RETVAL_OK 0 |
| 44 | #define RETVAL_LAST_BLOCK (-1) |
| 45 | #define RETVAL_NOT_BZIP_DATA (-2) |
| 46 | #define RETVAL_UNEXPECTED_INPUT_EOF (-3) |
| 47 | #define RETVAL_UNEXPECTED_OUTPUT_EOF (-4) |
| 48 | #define RETVAL_DATA_ERROR (-5) |
| 49 | #define RETVAL_OUT_OF_MEMORY (-6) |
| 50 | #define RETVAL_OBSOLETE_INPUT (-7) |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 51 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 52 | /* Other housekeeping constants */ |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 53 | #define IOBUF_SIZE 4096 |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 54 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 55 | /* This is what we know about each Huffman coding group */ |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 56 | struct group_data { |
Eric Andersen | 1acfb72 | 2003-10-18 01:59:46 +0000 | [diff] [blame] | 57 | /* We have an extra slot at the end of limit[] for a sentinal value. */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 58 | 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] | 59 | int minLen, maxLen; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 60 | }; |
| 61 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 62 | /* Structure holding all the housekeeping data, including IO buffers and |
| 63 | memory that persists between calls to bunzip */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 64 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 65 | typedef struct { |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 66 | /* State for interrupting output loop */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 67 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 68 | int writeCopies, writePos, writeRunCountdown, writeCount, writeCurrent; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 69 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 70 | /* I/O tracking data (file handles, buffers, positions, etc.) */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 71 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 72 | int in_fd, out_fd, inbufCount, inbufPos /*, outbufPos*/; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 73 | unsigned char *inbuf /*,*outbuf*/; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 74 | unsigned inbufBitCount, inbufBits; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 75 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 76 | /* The CRC values stored in the block header and calculated from the data */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 77 | |
Rob Landley | c57ec37 | 2006-04-10 17:07:15 +0000 | [diff] [blame] | 78 | uint32_t headerCRC, totalCRC, writeCRC; |
| 79 | uint32_t *crc32Table; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 80 | /* Intermediate buffer and its size (in bytes) */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 81 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 82 | unsigned *dbuf, dbufSize; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 83 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 84 | /* These things are a bit too big to go on the stack */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 85 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 86 | unsigned char selectors[32768]; /* nSelectors=15 bits */ |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 87 | struct group_data groups[MAX_GROUPS]; /* Huffman coding tables */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 88 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 89 | /* For I/O error handling */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 90 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 91 | jmp_buf jmpbuf; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 92 | } bunzip_data; |
| 93 | |
| 94 | /* Return the next nnn bits of input. All reads from the compressed input |
| 95 | are done through this function. All reads are big endian */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 96 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 97 | static unsigned get_bits(bunzip_data *bd, char bits_wanted) |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 98 | { |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 99 | unsigned bits = 0; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 100 | |
| 101 | /* If we need to get more data from the byte buffer, do so. (Loop getting |
| 102 | one byte at a time to enforce endianness and avoid unaligned access.) */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 103 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 104 | while (bd->inbufBitCount < bits_wanted) { |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 105 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 106 | /* If we need to read more data from file into byte buffer, do so */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 107 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 108 | if (bd->inbufPos == bd->inbufCount) { |
| 109 | bd->inbufCount = read(bd->in_fd, bd->inbuf, IOBUF_SIZE); |
| 110 | if (bd->inbufCount <= 0) |
| 111 | longjmp(bd->jmpbuf, RETVAL_UNEXPECTED_INPUT_EOF); |
| 112 | bd->inbufPos = 0; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 113 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 114 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 115 | /* Avoid 32-bit overflow (dump bit buffer to top of output) */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 116 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 117 | if (bd->inbufBitCount >= 24) { |
| 118 | bits = bd->inbufBits & ((1 << bd->inbufBitCount) - 1); |
| 119 | bits_wanted -= bd->inbufBitCount; |
| 120 | bits <<= bits_wanted; |
| 121 | bd->inbufBitCount = 0; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 122 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 123 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 124 | /* Grab next 8 bits of input from buffer. */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 125 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 126 | bd->inbufBits = (bd->inbufBits<<8) | bd->inbuf[bd->inbufPos++]; |
| 127 | bd->inbufBitCount += 8; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 128 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 129 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 130 | /* Calculate result */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 131 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 132 | bd->inbufBitCount -= bits_wanted; |
| 133 | bits |= (bd->inbufBits >> bd->inbufBitCount) & ((1 << bits_wanted) - 1); |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 134 | |
| 135 | return bits; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 136 | } |
| 137 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 138 | /* Unpacks the next block and sets up for the inverse burrows-wheeler step. */ |
Eric Andersen | 1acfb72 | 2003-10-18 01:59:46 +0000 | [diff] [blame] | 139 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 140 | static int get_next_block(bunzip_data *bd) |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 141 | { |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 142 | struct group_data *hufGroup; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 143 | int dbufCount, nextSym, dbufSize, groupCount, *base, *limit, selector, |
| 144 | i, j, k, t, runPos, symCount, symTotal, nSelectors, byteCount[256]; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 145 | unsigned char uc, symToByte[256], mtfSymbol[256], *selectors; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 146 | unsigned *dbuf, origPtr; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 147 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 148 | dbuf = bd->dbuf; |
| 149 | dbufSize = bd->dbufSize; |
| 150 | selectors = bd->selectors; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 151 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 152 | /* Reset longjmp I/O error handling */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 153 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 154 | i = setjmp(bd->jmpbuf); |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 155 | if (i) return i; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 156 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 157 | /* Read in header signature and CRC, then validate signature. |
| 158 | (last block signature means CRC is for whole file, return now) */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 159 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 160 | i = get_bits(bd, 24); |
| 161 | j = get_bits(bd, 24); |
| 162 | bd->headerCRC = get_bits(bd, 32); |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 163 | if ((i == 0x177245) && (j == 0x385090)) return RETVAL_LAST_BLOCK; |
| 164 | if ((i != 0x314159) || (j != 0x265359)) return RETVAL_NOT_BZIP_DATA; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 165 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 166 | /* We can add support for blockRandomised if anybody complains. There was |
| 167 | some code for this in busybox 1.0.0-pre3, but nobody ever noticed that |
| 168 | it didn't actually work. */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 169 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 170 | if (get_bits(bd, 1)) return RETVAL_OBSOLETE_INPUT; |
| 171 | origPtr = get_bits(bd, 24); |
| 172 | if (origPtr > dbufSize) return RETVAL_DATA_ERROR; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 173 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 174 | /* mapping table: if some byte values are never used (encoding things |
| 175 | like ascii text), the compression code removes the gaps to have fewer |
| 176 | symbols to deal with, and writes a sparse bitfield indicating which |
| 177 | values were present. We make a translation table to convert the symbols |
| 178 | back to the corresponding bytes. */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 179 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 180 | t = get_bits(bd, 16); |
| 181 | symTotal = 0; |
| 182 | for (i = 0; i < 16; i++) { |
| 183 | if (t & (1 << (15-i))) { |
| 184 | k = get_bits(bd, 16); |
| 185 | for (j = 0; j < 16; j++) |
| 186 | if (k & (1 << (15-j))) |
| 187 | symToByte[symTotal++] = (16*i) + j; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 188 | } |
| 189 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 190 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 191 | /* How many different Huffman coding groups does this block use? */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 192 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 193 | groupCount = get_bits(bd, 3); |
| 194 | if (groupCount < 2 || groupCount > MAX_GROUPS) |
| 195 | return RETVAL_DATA_ERROR; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 196 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 197 | /* nSelectors: Every GROUP_SIZE many symbols we select a new Huffman coding |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 198 | 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] | 199 | bit runs. (MTF=Move To Front, as each value is used it's moved to the |
| 200 | start of the list.) */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 201 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 202 | nSelectors = get_bits(bd, 15); |
| 203 | if (!nSelectors) return RETVAL_DATA_ERROR; |
| 204 | for (i = 0; i < groupCount; i++) mtfSymbol[i] = i; |
| 205 | for (i = 0; i < nSelectors; i++) { |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 206 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 207 | /* Get next value */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 208 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 209 | for (j = 0; get_bits(bd, 1); j++) |
| 210 | if (j>=groupCount) return RETVAL_DATA_ERROR; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 211 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 212 | /* Decode MTF to get the next selector */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 213 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 214 | uc = mtfSymbol[j]; |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 215 | for (;j;j--) mtfSymbol[j] = mtfSymbol[j-1]; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 216 | mtfSymbol[0] = selectors[i] = uc; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 217 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 218 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 219 | /* Read the Huffman coding tables for each group, which code for symTotal |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 220 | literal symbols, plus two run symbols (RUNA, RUNB) */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 221 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 222 | symCount = symTotal + 2; |
| 223 | for (j = 0; j < groupCount; j++) { |
| 224 | unsigned char length[MAX_SYMBOLS], temp[MAX_HUFCODE_BITS+1]; |
| 225 | int minLen, maxLen, pp; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 226 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 227 | /* Read Huffman code lengths for each symbol. They're stored in |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 228 | a way similar to mtf; record a starting value for the first symbol, |
| 229 | and an offset from the previous value for everys symbol after that. |
| 230 | (Subtracting 1 before the loop and then adding it back at the end is |
| 231 | an optimization that makes the test inside the loop simpler: symbol |
| 232 | length 0 becomes negative, so an unsigned inequality catches it.) */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 233 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 234 | t = get_bits(bd, 5) - 1; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 235 | for (i = 0; i < symCount; i++) { |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 236 | for (;;) { |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 237 | if ((unsigned)t > (MAX_HUFCODE_BITS-1)) |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 238 | return RETVAL_DATA_ERROR; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 239 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 240 | /* If first bit is 0, stop. Else second bit indicates whether |
| 241 | to increment or decrement the value. Optimization: grab 2 |
| 242 | bits and unget the second if the first was 0. */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 243 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 244 | k = get_bits(bd, 2); |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 245 | if (k < 2) { |
| 246 | bd->inbufBitCount++; |
| 247 | break; |
| 248 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 249 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 250 | /* Add one if second bit 1, else subtract 1. Avoids if/else */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 251 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 252 | t += (((k+1) & 2) - 1); |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 253 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 254 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 255 | /* Correct for the initial -1, to get the final symbol length */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 256 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 257 | length[i] = t + 1; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 258 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 259 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 260 | /* Find largest and smallest lengths in this group */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 261 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 262 | minLen = maxLen = length[0]; |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 263 | for (i = 1; i < symCount; i++) { |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 264 | if (length[i] > maxLen) maxLen = length[i]; |
| 265 | else if (length[i] < minLen) minLen = length[i]; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 266 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 267 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 268 | /* Calculate permute[], base[], and limit[] tables from length[]. |
| 269 | * |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 270 | * permute[] is the lookup table for converting Huffman coded symbols |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 271 | * into decoded symbols. base[] is the amount to subtract from the |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 272 | * value of a Huffman symbol of a given length when using permute[]. |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 273 | * |
| 274 | * limit[] indicates the largest numerical value a symbol with a given |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 275 | * 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] | 276 | * length: each code with a value>limit[length] needs another bit. |
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 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 279 | hufGroup = bd->groups + j; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 280 | hufGroup->minLen = minLen; |
| 281 | hufGroup->maxLen = maxLen; |
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 | /* Note that minLen can't be smaller than 1, so we adjust the base |
| 284 | and limit array pointers so we're not always wasting the first |
| 285 | entry. We do this again when using them (during symbol decoding).*/ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 286 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 287 | base = hufGroup->base - 1; |
| 288 | limit = hufGroup->limit - 1; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 289 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 290 | /* Calculate permute[]. Concurently, initialize temp[] and limit[]. */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 291 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 292 | pp = 0; |
| 293 | for (i = minLen; i <= maxLen; i++) { |
| 294 | temp[i] = limit[i] = 0; |
| 295 | for (t = 0; t < symCount; t++) |
| 296 | if (length[t] == i) |
| 297 | hufGroup->permute[pp++] = t; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 298 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 299 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 300 | /* Count symbols coded for at each bit length */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 301 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 302 | for (i = 0; i < symCount; i++) temp[length[i]]++; |
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 | /* Calculate limit[] (the largest symbol-coding value at each bit |
| 305 | * length, which is (previous limit<<1)+symbols at this level), and |
| 306 | * base[] (number of symbols to ignore at each bit length, which is |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 307 | * limit minus the cumulative count of symbols coded for already). */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 308 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 309 | pp = t = 0; |
| 310 | for (i = minLen; i < maxLen; i++) { |
| 311 | pp += temp[i]; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 312 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 313 | /* We read the largest possible symbol size and then unget bits |
| 314 | after determining how many we need, and those extra bits could |
| 315 | be set to anything. (They're noise from future symbols.) At |
| 316 | each level we're really only interested in the first few bits, |
| 317 | so here we set all the trailing to-be-ignored bits to 1 so they |
| 318 | don't affect the value>limit[length] comparison. */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 319 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 320 | limit[i] = (pp << (maxLen - i)) - 1; |
| 321 | pp <<= 1; |
| 322 | t += temp[i]; |
| 323 | base[i+1] = pp - t; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 324 | } |
Eric Andersen | 1acfb72 | 2003-10-18 01:59:46 +0000 | [diff] [blame] | 325 | limit[maxLen+1] = INT_MAX; /* Sentinal value for reading next sym. */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 326 | limit[maxLen] = pp + temp[maxLen] - 1; |
| 327 | base[minLen] = 0; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 328 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 329 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 330 | /* We've finished reading and digesting the block header. Now read this |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 331 | block's Huffman coded symbols from the file and undo the Huffman coding |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 332 | and run length encoding, saving the result into dbuf[dbufCount++]=uc */ |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 333 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 334 | /* Initialize symbol occurrence counters and symbol Move To Front table */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 335 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 336 | for (i = 0; i < 256; i++) { |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 337 | byteCount[i] = 0; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 338 | mtfSymbol[i] = (unsigned char)i; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 339 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 340 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 341 | /* Loop through compressed symbols. */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 342 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 343 | runPos = dbufCount = selector = 0; |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 344 | for (;;) { |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 345 | |
Rob Landley | a8b98d6 | 2004-11-16 12:07:04 +0000 | [diff] [blame] | 346 | /* fetch next Huffman coding group from list. */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 347 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 348 | symCount = GROUP_SIZE - 1; |
| 349 | if (selector >= nSelectors) return RETVAL_DATA_ERROR; |
| 350 | hufGroup = bd->groups + selectors[selector++]; |
| 351 | base = hufGroup->base - 1; |
| 352 | limit = hufGroup->limit - 1; |
| 353 | continue_this_group: |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 354 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 355 | /* Read next Huffman-coded symbol. */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 356 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 357 | /* Note: It is far cheaper to read maxLen bits and back up than it is |
| 358 | to read minLen bits and then an additional bit at a time, testing |
| 359 | as we go. Because there is a trailing last block (with file CRC), |
| 360 | there is no danger of the overread causing an unexpected EOF for a |
| 361 | valid compressed file. As a further optimization, we do the read |
| 362 | inline (falling back to a call to get_bits if the buffer runs |
| 363 | dry). The following (up to got_huff_bits:) is equivalent to |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 364 | j = get_bits(bd, hufGroup->maxLen); |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 365 | */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 366 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 367 | while (bd->inbufBitCount < hufGroup->maxLen) { |
| 368 | if (bd->inbufPos == bd->inbufCount) { |
| 369 | j = get_bits(bd, hufGroup->maxLen); |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 370 | goto got_huff_bits; |
| 371 | } |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 372 | bd->inbufBits = (bd->inbufBits << 8) | bd->inbuf[bd->inbufPos++]; |
| 373 | bd->inbufBitCount += 8; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 374 | }; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 375 | bd->inbufBitCount -= hufGroup->maxLen; |
| 376 | j = (bd->inbufBits >> bd->inbufBitCount) & ((1 << hufGroup->maxLen) - 1); |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 377 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 378 | got_huff_bits: |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 379 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 380 | /* Figure how how many bits are in next symbol and unget extras */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 381 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 382 | i = hufGroup->minLen; |
| 383 | while (j > limit[i]) ++i; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 384 | bd->inbufBitCount += (hufGroup->maxLen - i); |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 385 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 386 | /* Huffman decode value to get nextSym (with bounds checking) */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 387 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 388 | if (i > hufGroup->maxLen) |
| 389 | return RETVAL_DATA_ERROR; |
| 390 | j = (j >> (hufGroup->maxLen - i)) - base[i]; |
| 391 | if ((unsigned)j >= MAX_SYMBOLS) |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 392 | return RETVAL_DATA_ERROR; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 393 | nextSym = hufGroup->permute[j]; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 394 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 395 | /* We have now decoded the symbol, which indicates either a new literal |
| 396 | byte, or a repeated run of the most recent literal byte. First, |
| 397 | check if nextSym indicates a repeated run, and if so loop collecting |
| 398 | how many times to repeat the last literal. */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 399 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 400 | if ((unsigned)nextSym <= SYMBOL_RUNB) { /* RUNA or RUNB */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 401 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 402 | /* If this is the start of a new run, zero out counter */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 403 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 404 | if (!runPos) { |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 405 | runPos = 1; |
| 406 | t = 0; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 407 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 408 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 409 | /* Neat trick that saves 1 symbol: instead of or-ing 0 or 1 at |
| 410 | each bit position, add 1 or 2 instead. For example, |
| 411 | 1011 is 1<<0 + 1<<1 + 2<<2. 1010 is 2<<0 + 2<<1 + 1<<2. |
| 412 | You can make any bit pattern that way using 1 less symbol than |
| 413 | the basic or 0/1 method (except all bits 0, which would use no |
| 414 | symbols, but a run of length 0 doesn't mean anything in this |
| 415 | context). Thus space is saved. */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 416 | |
Eric Andersen | 1acfb72 | 2003-10-18 01:59:46 +0000 | [diff] [blame] | 417 | t += (runPos << nextSym); /* +runPos if RUNA; +2*runPos if RUNB */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 418 | if (runPos < dbufSize) runPos <<= 1; |
Rob Landley | a8b98d6 | 2004-11-16 12:07:04 +0000 | [diff] [blame] | 419 | goto end_of_huffman_loop; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 420 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 421 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 422 | /* When we hit the first non-run symbol after a run, we now know |
| 423 | how many times to repeat the last literal, so append that many |
| 424 | copies to our buffer of decoded symbols (dbuf) now. (The last |
| 425 | literal used is the one at the head of the mtfSymbol array.) */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 426 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 427 | if (runPos) { |
| 428 | runPos = 0; |
| 429 | if (dbufCount + t >= dbufSize) return RETVAL_DATA_ERROR; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 430 | |
| 431 | uc = symToByte[mtfSymbol[0]]; |
| 432 | byteCount[uc] += t; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 433 | while (t--) dbuf[dbufCount++] = uc; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 434 | } |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 435 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 436 | /* Is this the terminating symbol? */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 437 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 438 | if (nextSym > symTotal) break; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 439 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 440 | /* At this point, nextSym indicates a new literal character. Subtract |
| 441 | one to get the position in the MTF array at which this literal is |
| 442 | currently to be found. (Note that the result can't be -1 or 0, |
| 443 | because 0 and 1 are RUNA and RUNB. But another instance of the |
| 444 | first symbol in the mtf array, position 0, would have been handled |
| 445 | as part of a run above. Therefore 1 unused mtf position minus |
| 446 | 2 non-literal nextSym values equals -1.) */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 447 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 448 | if (dbufCount >= dbufSize) return RETVAL_DATA_ERROR; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 449 | i = nextSym - 1; |
| 450 | uc = mtfSymbol[i]; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 451 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 452 | /* Adjust the MTF array. Since we typically expect to move only a |
| 453 | * small number of symbols, and are bound by 256 in any case, using |
| 454 | * memmove here would typically be bigger and slower due to function |
| 455 | * call overhead and other assorted setup costs. */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 456 | |
Eric Andersen | 1acfb72 | 2003-10-18 01:59:46 +0000 | [diff] [blame] | 457 | do { |
| 458 | mtfSymbol[i] = mtfSymbol[i-1]; |
| 459 | } while (--i); |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 460 | mtfSymbol[0] = uc; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 461 | uc = symToByte[uc]; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 462 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 463 | /* We have our literal byte. Save it into dbuf. */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 464 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 465 | byteCount[uc]++; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 466 | dbuf[dbufCount++] = (unsigned)uc; |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 467 | |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 468 | /* Skip group initialization if we're not done with this group. Done |
| 469 | * this way to avoid compiler warning. */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 470 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 471 | end_of_huffman_loop: |
| 472 | if (symCount--) goto continue_this_group; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 473 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 474 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 475 | /* 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] | 476 | 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] | 477 | intermediate buffer. There are dbufCount many decoded bytes in dbuf[]. |
| 478 | Now undo the Burrows-Wheeler transform on dbuf. |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 479 | See http://dogma.net/markn/articles/bwt/bwt.htm |
| 480 | */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 481 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 482 | /* Turn byteCount into cumulative occurrence counts of 0 to n-1. */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 483 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 484 | j = 0; |
| 485 | for (i = 0; i < 256; i++) { |
| 486 | k = j + byteCount[i]; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 487 | byteCount[i] = j; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 488 | j = k; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 489 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 490 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 491 | /* Figure out what order dbuf would be in if we sorted it. */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 492 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 493 | for (i = 0; i < dbufCount; i++) { |
| 494 | uc = (unsigned char)(dbuf[i] & 0xff); |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 495 | dbuf[byteCount[uc]] |= (i << 8); |
| 496 | byteCount[uc]++; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 497 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 498 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 499 | /* Decode first byte by hand to initialize "previous" byte. Note that it |
| 500 | doesn't get output, and if the first three characters are identical |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 501 | it doesn't qualify as a run (hence writeRunCountdown=5). */ |
Rob Landley | 2c98c40 | 2006-02-17 05:12:03 +0000 | [diff] [blame] | 502 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 503 | if (dbufCount) { |
| 504 | if (origPtr >= dbufCount) return RETVAL_DATA_ERROR; |
| 505 | bd->writePos = dbuf[origPtr]; |
| 506 | bd->writeCurrent = (unsigned char)(bd->writePos & 0xff); |
| 507 | bd->writePos >>= 8; |
| 508 | bd->writeRunCountdown = 5; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 509 | } |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 510 | bd->writeCount = dbufCount; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 511 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 512 | return RETVAL_OK; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 513 | } |
| 514 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 515 | /* Undo burrows-wheeler transform on intermediate buffer to produce output. |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 516 | If start_bunzip was initialized with out_fd=-1, then up to len bytes of |
| 517 | data are written to outbuf. Return value is number of bytes written or |
| 518 | error (all errors are negative numbers). If out_fd!=-1, outbuf and len |
| 519 | are ignored, data is written to out_fd and return is RETVAL_OK or error. |
| 520 | */ |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 521 | |
Glenn L McGrath | 5699b85 | 2003-11-15 23:19:05 +0000 | [diff] [blame] | 522 | static int read_bunzip(bunzip_data *bd, char *outbuf, int len) |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 523 | { |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 524 | const unsigned *dbuf; |
| 525 | int pos, current, previous, gotcount; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 526 | |
| 527 | /* If last read was short due to end of file, return last block now */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 528 | if (bd->writeCount < 0) return bd->writeCount; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 529 | |
| 530 | gotcount = 0; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 531 | dbuf = bd->dbuf; |
| 532 | pos = bd->writePos; |
| 533 | current = bd->writeCurrent; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 534 | |
| 535 | /* We will always have pending decoded data to write into the output |
| 536 | 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] | 537 | Huffman-decoded a block into the intermediate buffer yet). */ |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 538 | |
| 539 | if (bd->writeCopies) { |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 540 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 541 | /* Inside the loop, writeCopies means extra copies (beyond 1) */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 542 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 543 | --bd->writeCopies; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 544 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 545 | /* Loop outputting bytes */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 546 | |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 547 | for (;;) { |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 548 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 549 | /* If the output buffer is full, snapshot state and return */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 550 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 551 | if (gotcount >= len) { |
| 552 | bd->writePos =pos; |
| 553 | bd->writeCurrent = current; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 554 | bd->writeCopies++; |
| 555 | return len; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 556 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 557 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 558 | /* Write next byte into output buffer, updating CRC */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 559 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 560 | outbuf[gotcount++] = current; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 561 | bd->writeCRC = (bd->writeCRC << 8) |
| 562 | ^ bd->crc32Table[(bd->writeCRC >> 24) ^ current]; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 563 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 564 | /* Loop now if we're outputting multiple copies of this byte */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 565 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 566 | if (bd->writeCopies) { |
| 567 | --bd->writeCopies; |
| 568 | continue; |
| 569 | } |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 570 | decode_next_byte: |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 571 | if (!bd->writeCount--) break; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 572 | /* Follow sequence vector to undo Burrows-Wheeler transform */ |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 573 | previous = current; |
| 574 | pos = dbuf[pos]; |
| 575 | current = pos & 0xff; |
| 576 | pos >>= 8; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 577 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 578 | /* After 3 consecutive copies of the same byte, the 4th is a repeat |
| 579 | count. We count down from 4 instead |
| 580 | * of counting up because testing for non-zero is faster */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 581 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 582 | if (--bd->writeRunCountdown) { |
| 583 | if (current != previous) |
| 584 | bd->writeRunCountdown = 4; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 585 | } else { |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 586 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 587 | /* We have a repeated run, this byte indicates the count */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 588 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 589 | bd->writeCopies = current; |
| 590 | current = previous; |
| 591 | bd->writeRunCountdown = 5; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 592 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 593 | /* Sometimes there are just 3 bytes (run length 0) */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 594 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 595 | if (!bd->writeCopies) goto decode_next_byte; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 596 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 597 | /* Subtract the 1 copy we'd output anyway to get extras */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 598 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 599 | --bd->writeCopies; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 600 | } |
| 601 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 602 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 603 | /* Decompression of this block completed successfully */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 604 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 605 | bd->writeCRC = ~bd->writeCRC; |
| 606 | bd->totalCRC = ((bd->totalCRC << 1) | (bd->totalCRC >> 31)) ^ bd->writeCRC; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 607 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 608 | /* If this block had a CRC error, force file level CRC error. */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 609 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 610 | if (bd->writeCRC != bd->headerCRC) { |
| 611 | bd->totalCRC = bd->headerCRC+1; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 612 | return RETVAL_LAST_BLOCK; |
| 613 | } |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 614 | } |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 615 | |
Eric Andersen | aff114c | 2004-04-14 17:51:38 +0000 | [diff] [blame] | 616 | /* Refill the intermediate buffer by Huffman-decoding next block of input */ |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 617 | /* (previous is just a convenient unused temp variable here) */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 618 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 619 | previous = get_next_block(bd); |
| 620 | if (previous) { |
| 621 | bd->writeCount = previous; |
| 622 | return (previous != RETVAL_LAST_BLOCK) ? previous : gotcount; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 623 | } |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 624 | bd->writeCRC = ~0; |
| 625 | pos = bd->writePos; |
| 626 | current = bd->writeCurrent; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 627 | goto decode_next_byte; |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 628 | } |
| 629 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 630 | /* Allocate the structure, read file header. If in_fd==-1, inbuf must contain |
| 631 | a complete bunzip file (len bytes long). If in_fd!=-1, inbuf and len are |
| 632 | ignored, and data is read from file handle into temporary buffer. */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 633 | |
Rob Landley | 1ff789c | 2005-09-25 03:12:26 +0000 | [diff] [blame] | 634 | static int start_bunzip(bunzip_data **bdp, int in_fd, unsigned char *inbuf, |
| 635 | int len) |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 636 | { |
| 637 | bunzip_data *bd; |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 638 | unsigned i; |
| 639 | enum { |
| 640 | BZh0 = ('B' << 24) + ('Z' << 16) + ('h' << 8) + '0' |
| 641 | }; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 642 | |
| 643 | /* Figure out how much data to allocate */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 644 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 645 | i = sizeof(bunzip_data); |
| 646 | if (in_fd != -1) i += IOBUF_SIZE; |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 647 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 648 | /* Allocate bunzip_data. Most fields initialize to zero. */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 649 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 650 | bd = *bdp = xzalloc(i); |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 651 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 652 | /* Setup input buffer */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 653 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 654 | bd->in_fd = in_fd; |
| 655 | if (-1 == in_fd) { |
| 656 | bd->inbuf = inbuf; |
| 657 | bd->inbufCount = len; |
| 658 | } else |
| 659 | bd->inbuf = (unsigned char *)(bd + 1); |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 660 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 661 | /* Init the CRC32 table (big endian) */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 662 | |
Rob Landley | d921b2e | 2006-08-03 15:41:12 +0000 | [diff] [blame] | 663 | bd->crc32Table = crc32_filltable(1); |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 664 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 665 | /* Setup for I/O error handling via longjmp */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 666 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 667 | i = setjmp(bd->jmpbuf); |
| 668 | if (i) return i; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 669 | |
| 670 | /* Ensure that file starts with "BZh['1'-'9']." */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 671 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 672 | i = get_bits(bd, 32); |
| 673 | if (((unsigned)(i - BZh0 - 1)) >= 9) return RETVAL_NOT_BZIP_DATA; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 674 | |
| 675 | /* 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] | 676 | uncompressed data. Allocate intermediate buffer for block. */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 677 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 678 | bd->dbufSize = 100000 * (i - BZh0); |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 679 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 680 | bd->dbuf = xmalloc(bd->dbufSize * sizeof(int)); |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 681 | return RETVAL_OK; |
| 682 | } |
| 683 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 684 | /* Example usage: decompress src_fd to dst_fd. (Stops at end of bzip data, |
| 685 | not end of file.) */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 686 | |
Denis Vlasenko | 97a8dd3 | 2006-10-01 15:55:11 +0000 | [diff] [blame] | 687 | USE_DESKTOP(long long) int |
| 688 | uncompressStream(int src_fd, int dst_fd) |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 689 | { |
Denis Vlasenko | 97a8dd3 | 2006-10-01 15:55:11 +0000 | [diff] [blame] | 690 | USE_DESKTOP(long long total_written = 0;) |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 691 | char *outbuf; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 692 | bunzip_data *bd; |
| 693 | int i; |
| 694 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 695 | outbuf = xmalloc(IOBUF_SIZE); |
| 696 | i = start_bunzip(&bd, src_fd, 0, 0); |
| 697 | if (!i) { |
Denis Vlasenko | bf0a201 | 2006-12-26 10:42:51 +0000 | [diff] [blame] | 698 | for (;;) { |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 699 | i = read_bunzip(bd, outbuf, IOBUF_SIZE); |
| 700 | if (i <= 0) break; |
| 701 | if (i != safe_write(dst_fd, outbuf, i)) { |
| 702 | i = RETVAL_UNEXPECTED_OUTPUT_EOF; |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 703 | break; |
| 704 | } |
Denis Vlasenko | 97a8dd3 | 2006-10-01 15:55:11 +0000 | [diff] [blame] | 705 | USE_DESKTOP(total_written += i;) |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 706 | } |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 707 | } |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 708 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 709 | /* Check CRC and release memory */ |
Rob Landley | f856eab | 2006-02-17 03:43:49 +0000 | [diff] [blame] | 710 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 711 | if (i == RETVAL_LAST_BLOCK) { |
| 712 | if (bd->headerCRC != bd->totalCRC) { |
Denis Vlasenko | 97a8dd3 | 2006-10-01 15:55:11 +0000 | [diff] [blame] | 713 | bb_error_msg("data integrity error when decompressing"); |
Glenn L McGrath | 1c83440 | 2003-10-28 23:32:12 +0000 | [diff] [blame] | 714 | } else { |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 715 | i = RETVAL_OK; |
Glenn L McGrath | 1c83440 | 2003-10-28 23:32:12 +0000 | [diff] [blame] | 716 | } |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 717 | } else if (i == RETVAL_UNEXPECTED_OUTPUT_EOF) { |
Denis Vlasenko | 97a8dd3 | 2006-10-01 15:55:11 +0000 | [diff] [blame] | 718 | bb_error_msg("compressed file ends unexpectedly"); |
Glenn L McGrath | 1c83440 | 2003-10-28 23:32:12 +0000 | [diff] [blame] | 719 | } else { |
Denis Vlasenko | 97a8dd3 | 2006-10-01 15:55:11 +0000 | [diff] [blame] | 720 | bb_error_msg("decompression failed"); |
Glenn L McGrath | 1c83440 | 2003-10-28 23:32:12 +0000 | [diff] [blame] | 721 | } |
Rob Landley | e7c43b6 | 2006-03-01 16:39:45 +0000 | [diff] [blame] | 722 | free(bd->dbuf); |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 723 | free(bd); |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 724 | free(outbuf); |
Glenn L McGrath | 1c83440 | 2003-10-28 23:32:12 +0000 | [diff] [blame] | 725 | |
Denis Vlasenko | 97a8dd3 | 2006-10-01 15:55:11 +0000 | [diff] [blame] | 726 | return i ? i : USE_DESKTOP(total_written) + 0; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 727 | } |
| 728 | |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 729 | #ifdef TESTING |
Glenn L McGrath | 60bce49 | 2002-11-03 07:28:38 +0000 | [diff] [blame] | 730 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 731 | static char *const bunzip_errors[] = { |
| 732 | NULL, "Bad file checksum", "Not bzip data", |
| 733 | "Unexpected input EOF", "Unexpected output EOF", "Data error", |
| 734 | "Out of memory", "Obsolete (pre 0.9.5) bzip format not supported" |
| 735 | }; |
Glenn L McGrath | 237ae42 | 2002-11-03 14:05:15 +0000 | [diff] [blame] | 736 | |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 737 | /* Dumb little test thing, decompress stdin to stdout */ |
Bernhard Reutner-Fischer | febe3c4 | 2007-04-04 20:52:03 +0000 | [diff] [blame] | 738 | int main(int argc, char **argv) |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 739 | { |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 740 | int i = uncompressStream(0, 1); |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 741 | char c; |
| 742 | |
Denis Vlasenko | b38cf3f | 2007-04-10 17:16:33 +0000 | [diff] [blame] | 743 | if (i < 0) |
| 744 | fprintf(stderr,"%s\n", bunzip_errors[-i]); |
| 745 | else if (read(0, &c, 1)) |
| 746 | fprintf(stderr,"Trailing garbage ignored\n"); |
Eric Andersen | 5fa4db2 | 2003-10-23 06:52:01 +0000 | [diff] [blame] | 747 | return -i; |
Eric Andersen | 0d6d88a | 2003-10-18 01:58:35 +0000 | [diff] [blame] | 748 | } |
| 749 | #endif |