blob: ca32bd82cd0e962845a2cecb2fe7d846b27e1bdd [file] [log] [blame]
"Robert P. J. Day"63fc1a92006-07-02 19:47:05 +00001/* vi: set sw=4 ts=4: */
Rob Landleyc1d69902006-01-20 18:28:50 +00002/*
3 * Small lzma deflate implementation.
4 * Copyright (C) 2006 Aurelien Jacobs <aurel@gnuage.org>
5 *
6 * Based on LzmaDecode.c from the LZMA SDK 4.22 (http://www.7-zip.org/)
7 * Copyright (C) 1999-2005 Igor Pavlov
8 *
Denys Vlasenko0ef64bd2010-08-16 20:14:46 +02009 * Licensed under GPLv2 or later, see file LICENSE in this source tree.
Rob Landleyc1d69902006-01-20 18:28:50 +000010 */
Rob Landleyc1d69902006-01-20 18:28:50 +000011#include "libbb.h"
Denys Vlasenkod184a722011-09-22 12:45:14 +020012#include "bb_archive.h"
Bernhard Reutner-Fischercfb53df2006-04-02 21:50:01 +000013
Denis Vlasenkoe3241842007-08-13 10:36:25 +000014#if ENABLE_FEATURE_LZMA_FAST
Denis Vlasenko3ad5d0c2007-06-12 20:54:54 +000015# define speed_inline ALWAYS_INLINE
Denys Vlasenkof2c184b2009-09-15 23:40:08 +020016# define size_inline
Rob Landleyb13fee42006-06-20 22:38:00 +000017#else
18# define speed_inline
Denys Vlasenkof2c184b2009-09-15 23:40:08 +020019# define size_inline ALWAYS_INLINE
Rob Landleyb13fee42006-06-20 22:38:00 +000020#endif
21
22
23typedef struct {
24 int fd;
25 uint8_t *ptr;
Denis Vlasenko33762982007-01-05 14:04:47 +000026
27/* Was keeping rc on stack in unlzma and separately allocating buffer,
28 * but with "buffer 'attached to' allocated rc" code is smaller: */
29 /* uint8_t *buffer; */
30#define RC_BUFFER ((uint8_t*)(rc+1))
31
Rob Landleyb13fee42006-06-20 22:38:00 +000032 uint8_t *buffer_end;
Denis Vlasenko33762982007-01-05 14:04:47 +000033
34/* Had provisions for variable buffer, but we don't need it here */
35 /* int buffer_size; */
36#define RC_BUFFER_SIZE 0x10000
37
Rob Landleyb13fee42006-06-20 22:38:00 +000038 uint32_t code;
39 uint32_t range;
40 uint32_t bound;
41} rc_t;
42
Rob Landleyb13fee42006-06-20 22:38:00 +000043#define RC_TOP_BITS 24
44#define RC_MOVE_BITS 5
45#define RC_MODEL_TOTAL_BITS 11
46
47
Denys Vlasenkoc09fd272013-03-01 14:37:58 +010048/* Called once in rc_do_normalize() */
49static void rc_read(rc_t *rc)
Rob Landleyb13fee42006-06-20 22:38:00 +000050{
Denis Vlasenko33762982007-01-05 14:04:47 +000051 int buffer_size = safe_read(rc->fd, RC_BUFFER, RC_BUFFER_SIZE);
Denys Vlasenkof2c184b2009-09-15 23:40:08 +020052//TODO: return -1 instead
53//This will make unlzma delete broken unpacked file on unpack errors
Denis Vlasenko33762982007-01-05 14:04:47 +000054 if (buffer_size <= 0)
Rob Landleyb13fee42006-06-20 22:38:00 +000055 bb_error_msg_and_die("unexpected EOF");
Denis Vlasenko33762982007-01-05 14:04:47 +000056 rc->buffer_end = RC_BUFFER + buffer_size;
Denys Vlasenkoc09fd272013-03-01 14:37:58 +010057 rc->ptr = RC_BUFFER;
Rob Landleyb13fee42006-06-20 22:38:00 +000058}
59
Denys Vlasenkof2c184b2009-09-15 23:40:08 +020060/* Called twice, but one callsite is in speed_inline'd rc_is_bit_1() */
61static void rc_do_normalize(rc_t *rc)
62{
63 if (rc->ptr >= rc->buffer_end)
64 rc_read(rc);
65 rc->range <<= 8;
66 rc->code = (rc->code << 8) | *rc->ptr++;
67}
Denys Vlasenko507f6ea2013-03-01 14:48:10 +010068static ALWAYS_INLINE void rc_normalize(rc_t *rc)
69{
70 if (rc->range < (1 << RC_TOP_BITS)) {
71 rc_do_normalize(rc);
72 }
73}
Denys Vlasenkof2c184b2009-09-15 23:40:08 +020074
Rob Landleyb13fee42006-06-20 22:38:00 +000075/* Called once */
Denys Vlasenkof2c184b2009-09-15 23:40:08 +020076static ALWAYS_INLINE rc_t* rc_init(int fd) /*, int buffer_size) */
Rob Landleyb13fee42006-06-20 22:38:00 +000077{
78 int i;
Denis Vlasenko2bbdda02008-06-27 15:48:45 +000079 rc_t *rc;
Denis Vlasenko98b8e942007-01-05 13:59:05 +000080
Denys Vlasenkof2c184b2009-09-15 23:40:08 +020081 rc = xzalloc(sizeof(*rc) + RC_BUFFER_SIZE);
Rob Landleyb13fee42006-06-20 22:38:00 +000082
83 rc->fd = fd;
Denys Vlasenkof2c184b2009-09-15 23:40:08 +020084 /* rc->ptr = rc->buffer_end; */
Rob Landleyb13fee42006-06-20 22:38:00 +000085
Rob Landleyb13fee42006-06-20 22:38:00 +000086 for (i = 0; i < 5; i++) {
Denys Vlasenkof2c184b2009-09-15 23:40:08 +020087 rc_do_normalize(rc);
Rob Landleyb13fee42006-06-20 22:38:00 +000088 }
Denys Vlasenkoc09fd272013-03-01 14:37:58 +010089 rc->range = 0xffffffff;
Denis Vlasenko98b8e942007-01-05 13:59:05 +000090 return rc;
Rob Landleyb13fee42006-06-20 22:38:00 +000091}
92
Denis Vlasenko98b8e942007-01-05 13:59:05 +000093/* Called once */
Denis Vlasenko2bbdda02008-06-27 15:48:45 +000094static ALWAYS_INLINE void rc_free(rc_t *rc)
Rob Landleyb13fee42006-06-20 22:38:00 +000095{
Denis Vlasenko2bbdda02008-06-27 15:48:45 +000096 free(rc);
Rob Landleyb13fee42006-06-20 22:38:00 +000097}
98
Denys Vlasenkof2c184b2009-09-15 23:40:08 +020099/* rc_is_bit_1 is called 9 times */
100static speed_inline int rc_is_bit_1(rc_t *rc, uint16_t *p)
Rob Landleyb13fee42006-06-20 22:38:00 +0000101{
102 rc_normalize(rc);
103 rc->bound = *p * (rc->range >> RC_MODEL_TOTAL_BITS);
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200104 if (rc->code < rc->bound) {
105 rc->range = rc->bound;
106 *p += ((1 << RC_MODEL_TOTAL_BITS) - *p) >> RC_MOVE_BITS;
107 return 0;
108 }
Rob Landleyb13fee42006-06-20 22:38:00 +0000109 rc->range -= rc->bound;
110 rc->code -= rc->bound;
111 *p -= *p >> RC_MOVE_BITS;
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200112 return 1;
Rob Landleyb13fee42006-06-20 22:38:00 +0000113}
114
115/* Called 4 times in unlzma loop */
Denys Vlasenkoa2d04e02013-03-01 14:43:07 +0100116static ALWAYS_INLINE int rc_get_bit(rc_t *rc, uint16_t *p, int *symbol)
Rob Landleyb13fee42006-06-20 22:38:00 +0000117{
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200118 int ret = rc_is_bit_1(rc, p);
119 *symbol = *symbol * 2 + ret;
120 return ret;
Rob Landleyb13fee42006-06-20 22:38:00 +0000121}
122
123/* Called once */
Denis Vlasenko2bbdda02008-06-27 15:48:45 +0000124static ALWAYS_INLINE int rc_direct_bit(rc_t *rc)
Rob Landleyb13fee42006-06-20 22:38:00 +0000125{
126 rc_normalize(rc);
127 rc->range >>= 1;
128 if (rc->code >= rc->range) {
129 rc->code -= rc->range;
130 return 1;
131 }
132 return 0;
133}
134
135/* Called twice */
136static speed_inline void
Denis Vlasenko2bbdda02008-06-27 15:48:45 +0000137rc_bit_tree_decode(rc_t *rc, uint16_t *p, int num_levels, int *symbol)
Rob Landleyb13fee42006-06-20 22:38:00 +0000138{
139 int i = num_levels;
140
141 *symbol = 1;
142 while (i--)
143 rc_get_bit(rc, p + *symbol, symbol);
144 *symbol -= 1 << num_levels;
145}
Rob Landleyc1d69902006-01-20 18:28:50 +0000146
147
148typedef struct {
149 uint8_t pos;
150 uint32_t dict_size;
151 uint64_t dst_size;
Denys Vlasenko8dc0e192009-09-16 00:58:11 +0200152} PACKED lzma_header_t;
Rob Landleyc1d69902006-01-20 18:28:50 +0000153
154
Denis Vlasenko33762982007-01-05 14:04:47 +0000155/* #defines will force compiler to compute/optimize each one with each usage.
Denis Vlasenko98b8e942007-01-05 13:59:05 +0000156 * Have heart and use enum instead. */
157enum {
158 LZMA_BASE_SIZE = 1846,
159 LZMA_LIT_SIZE = 768,
Rob Landleyc1d69902006-01-20 18:28:50 +0000160
Denis Vlasenko98b8e942007-01-05 13:59:05 +0000161 LZMA_NUM_POS_BITS_MAX = 4,
Rob Landleyc1d69902006-01-20 18:28:50 +0000162
Denis Vlasenko98b8e942007-01-05 13:59:05 +0000163 LZMA_LEN_NUM_LOW_BITS = 3,
164 LZMA_LEN_NUM_MID_BITS = 3,
165 LZMA_LEN_NUM_HIGH_BITS = 8,
Rob Landleyc1d69902006-01-20 18:28:50 +0000166
Denis Vlasenko98b8e942007-01-05 13:59:05 +0000167 LZMA_LEN_CHOICE = 0,
168 LZMA_LEN_CHOICE_2 = (LZMA_LEN_CHOICE + 1),
169 LZMA_LEN_LOW = (LZMA_LEN_CHOICE_2 + 1),
170 LZMA_LEN_MID = (LZMA_LEN_LOW \
171 + (1 << (LZMA_NUM_POS_BITS_MAX + LZMA_LEN_NUM_LOW_BITS))),
172 LZMA_LEN_HIGH = (LZMA_LEN_MID \
173 + (1 << (LZMA_NUM_POS_BITS_MAX + LZMA_LEN_NUM_MID_BITS))),
174 LZMA_NUM_LEN_PROBS = (LZMA_LEN_HIGH + (1 << LZMA_LEN_NUM_HIGH_BITS)),
Rob Landleyc1d69902006-01-20 18:28:50 +0000175
Denis Vlasenko98b8e942007-01-05 13:59:05 +0000176 LZMA_NUM_STATES = 12,
177 LZMA_NUM_LIT_STATES = 7,
Rob Landleyc1d69902006-01-20 18:28:50 +0000178
Denis Vlasenko98b8e942007-01-05 13:59:05 +0000179 LZMA_START_POS_MODEL_INDEX = 4,
180 LZMA_END_POS_MODEL_INDEX = 14,
181 LZMA_NUM_FULL_DISTANCES = (1 << (LZMA_END_POS_MODEL_INDEX >> 1)),
Rob Landleyc1d69902006-01-20 18:28:50 +0000182
Denis Vlasenko98b8e942007-01-05 13:59:05 +0000183 LZMA_NUM_POS_SLOT_BITS = 6,
184 LZMA_NUM_LEN_TO_POS_STATES = 4,
Rob Landleyc1d69902006-01-20 18:28:50 +0000185
Denis Vlasenko98b8e942007-01-05 13:59:05 +0000186 LZMA_NUM_ALIGN_BITS = 4,
Rob Landleyc1d69902006-01-20 18:28:50 +0000187
Denis Vlasenko98b8e942007-01-05 13:59:05 +0000188 LZMA_MATCH_MIN_LEN = 2,
Rob Landleyc1d69902006-01-20 18:28:50 +0000189
Denis Vlasenko98b8e942007-01-05 13:59:05 +0000190 LZMA_IS_MATCH = 0,
191 LZMA_IS_REP = (LZMA_IS_MATCH + (LZMA_NUM_STATES << LZMA_NUM_POS_BITS_MAX)),
192 LZMA_IS_REP_G0 = (LZMA_IS_REP + LZMA_NUM_STATES),
193 LZMA_IS_REP_G1 = (LZMA_IS_REP_G0 + LZMA_NUM_STATES),
194 LZMA_IS_REP_G2 = (LZMA_IS_REP_G1 + LZMA_NUM_STATES),
195 LZMA_IS_REP_0_LONG = (LZMA_IS_REP_G2 + LZMA_NUM_STATES),
196 LZMA_POS_SLOT = (LZMA_IS_REP_0_LONG \
197 + (LZMA_NUM_STATES << LZMA_NUM_POS_BITS_MAX)),
198 LZMA_SPEC_POS = (LZMA_POS_SLOT \
199 + (LZMA_NUM_LEN_TO_POS_STATES << LZMA_NUM_POS_SLOT_BITS)),
200 LZMA_ALIGN = (LZMA_SPEC_POS \
201 + LZMA_NUM_FULL_DISTANCES - LZMA_END_POS_MODEL_INDEX),
202 LZMA_LEN_CODER = (LZMA_ALIGN + (1 << LZMA_NUM_ALIGN_BITS)),
203 LZMA_REP_LEN_CODER = (LZMA_LEN_CODER + LZMA_NUM_LEN_PROBS),
204 LZMA_LITERAL = (LZMA_REP_LEN_CODER + LZMA_NUM_LEN_PROBS),
205};
206
Rob Landleyc1d69902006-01-20 18:28:50 +0000207
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000208IF_DESKTOP(long long) int FAST_FUNC
Denys Vlasenko8a6a2f92012-03-06 16:27:48 +0100209unpack_lzma_stream(transformer_aux_data_t *aux UNUSED_PARAM, int src_fd, int dst_fd)
Rob Landleyc1d69902006-01-20 18:28:50 +0000210{
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000211 IF_DESKTOP(long long total_written = 0;)
Rob Landleyc1d69902006-01-20 18:28:50 +0000212 lzma_header_t header;
213 int lc, pb, lp;
214 uint32_t pos_state_mask;
215 uint32_t literal_pos_mask;
Rob Landleyc1d69902006-01-20 18:28:50 +0000216 uint16_t *p;
Rob Landleyc1d69902006-01-20 18:28:50 +0000217 int num_bits;
218 int num_probs;
Denis Vlasenko98b8e942007-01-05 13:59:05 +0000219 rc_t *rc;
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200220 int i;
Rob Landleyc1d69902006-01-20 18:28:50 +0000221 uint8_t *buffer;
222 uint8_t previous_byte = 0;
223 size_t buffer_pos = 0, global_pos = 0;
224 int len = 0;
225 int state = 0;
226 uint32_t rep0 = 1, rep1 = 1, rep2 = 1, rep3 = 1;
227
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200228 if (full_read(src_fd, &header, sizeof(header)) != sizeof(header)
229 || header.pos >= (9 * 5 * 5)
230 ) {
231 bb_error_msg("bad lzma header");
232 return -1;
233 }
Rob Landleyc1d69902006-01-20 18:28:50 +0000234
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200235 i = header.pos / 9;
Rob Landleyc1d69902006-01-20 18:28:50 +0000236 lc = header.pos % 9;
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200237 pb = i / 5;
238 lp = i % 5;
Rob Landleyc1d69902006-01-20 18:28:50 +0000239 pos_state_mask = (1 << pb) - 1;
240 literal_pos_mask = (1 << lp) - 1;
241
Rob Landleybba7f082006-05-29 05:51:12 +0000242 header.dict_size = SWAP_LE32(header.dict_size);
243 header.dst_size = SWAP_LE64(header.dst_size);
Rob Landleyc1d69902006-01-20 18:28:50 +0000244
245 if (header.dict_size == 0)
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200246 header.dict_size++;
Rob Landleyc1d69902006-01-20 18:28:50 +0000247
248 buffer = xmalloc(MIN(header.dst_size, header.dict_size));
249
250 num_probs = LZMA_BASE_SIZE + (LZMA_LIT_SIZE << (lc + lp));
251 p = xmalloc(num_probs * sizeof(*p));
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200252 num_probs += LZMA_LITERAL - LZMA_BASE_SIZE;
Rob Landleyc1d69902006-01-20 18:28:50 +0000253 for (i = 0; i < num_probs; i++)
254 p[i] = (1 << RC_MODEL_TOTAL_BITS) >> 1;
255
Denis Vlasenko33762982007-01-05 14:04:47 +0000256 rc = rc_init(src_fd); /*, RC_BUFFER_SIZE); */
Rob Landleyc1d69902006-01-20 18:28:50 +0000257
258 while (global_pos + buffer_pos < header.dst_size) {
259 int pos_state = (buffer_pos + global_pos) & pos_state_mask;
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200260 uint16_t *prob = p + LZMA_IS_MATCH + (state << LZMA_NUM_POS_BITS_MAX) + pos_state;
Rob Landleyc1d69902006-01-20 18:28:50 +0000261
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200262 if (!rc_is_bit_1(rc, prob)) {
263 static const char next_state[LZMA_NUM_STATES] =
264 { 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 4, 5 };
265 int mi = 1;
266
Denis Vlasenkoc3fff872008-03-02 18:55:49 +0000267 prob = (p + LZMA_LITERAL
268 + (LZMA_LIT_SIZE * ((((buffer_pos + global_pos) & literal_pos_mask) << lc)
269 + (previous_byte >> (8 - lc))
270 )
271 )
272 );
Rob Landleyc1d69902006-01-20 18:28:50 +0000273
274 if (state >= LZMA_NUM_LIT_STATES) {
275 int match_byte;
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200276 uint32_t pos = buffer_pos - rep0;
Rob Landleyc1d69902006-01-20 18:28:50 +0000277
Rob Landleyc1d69902006-01-20 18:28:50 +0000278 while (pos >= header.dict_size)
279 pos += header.dict_size;
280 match_byte = buffer[pos];
281 do {
282 int bit;
283
284 match_byte <<= 1;
285 bit = match_byte & 0x100;
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200286 bit ^= (rc_get_bit(rc, prob + 0x100 + bit + mi, &mi) << 8); /* 0x100 or 0 */
Denis Vlasenko444639c2008-03-02 18:56:23 +0000287 if (bit)
288 break;
Rob Landleyc1d69902006-01-20 18:28:50 +0000289 } while (mi < 0x100);
290 }
291 while (mi < 0x100) {
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200292 rc_get_bit(rc, prob + mi, &mi);
Rob Landleyc1d69902006-01-20 18:28:50 +0000293 }
Rob Landleyc1d69902006-01-20 18:28:50 +0000294
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200295 state = next_state[state];
Denis Vlasenkoc3fff872008-03-02 18:55:49 +0000296
297 previous_byte = (uint8_t) mi;
298#if ENABLE_FEATURE_LZMA_FAST
Denis Vlasenkoc0183e62008-03-18 03:13:25 +0000299 one_byte1:
Rob Landleyc1d69902006-01-20 18:28:50 +0000300 buffer[buffer_pos++] = previous_byte;
301 if (buffer_pos == header.dict_size) {
302 buffer_pos = 0;
303 global_pos += header.dict_size;
Denis Vlasenko6b06cb82008-05-15 21:30:45 +0000304 if (full_write(dst_fd, buffer, header.dict_size) != (ssize_t)header.dict_size)
Denis Vlasenko33762982007-01-05 14:04:47 +0000305 goto bad;
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000306 IF_DESKTOP(total_written += header.dict_size;)
Rob Landleyc1d69902006-01-20 18:28:50 +0000307 }
Denis Vlasenkoc3fff872008-03-02 18:55:49 +0000308#else
309 len = 1;
Denis Vlasenkoc0183e62008-03-18 03:13:25 +0000310 goto one_byte2;
Denis Vlasenkoc3fff872008-03-02 18:55:49 +0000311#endif
Rob Landleyc1d69902006-01-20 18:28:50 +0000312 } else {
313 int offset;
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200314 uint16_t *prob2;
315#define prob_len prob2
Rob Landleyc1d69902006-01-20 18:28:50 +0000316
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200317 prob2 = p + LZMA_IS_REP + state;
318 if (!rc_is_bit_1(rc, prob2)) {
Rob Landleyc1d69902006-01-20 18:28:50 +0000319 rep3 = rep2;
320 rep2 = rep1;
321 rep1 = rep0;
322 state = state < LZMA_NUM_LIT_STATES ? 0 : 3;
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200323 prob2 = p + LZMA_LEN_CODER;
Rob Landleyc1d69902006-01-20 18:28:50 +0000324 } else {
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200325 prob2 += LZMA_IS_REP_G0 - LZMA_IS_REP;
326 if (!rc_is_bit_1(rc, prob2)) {
327 prob2 = (p + LZMA_IS_REP_0_LONG
Denis Vlasenkoc3fff872008-03-02 18:55:49 +0000328 + (state << LZMA_NUM_POS_BITS_MAX)
329 + pos_state
330 );
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200331 if (!rc_is_bit_1(rc, prob2)) {
Denis Vlasenkoc3fff872008-03-02 18:55:49 +0000332#if ENABLE_FEATURE_LZMA_FAST
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200333 uint32_t pos = buffer_pos - rep0;
334 state = state < LZMA_NUM_LIT_STATES ? 9 : 11;
Rob Landleyc1d69902006-01-20 18:28:50 +0000335 while (pos >= header.dict_size)
336 pos += header.dict_size;
337 previous_byte = buffer[pos];
Denis Vlasenkoc0183e62008-03-18 03:13:25 +0000338 goto one_byte1;
Denis Vlasenkoc3fff872008-03-02 18:55:49 +0000339#else
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200340 state = state < LZMA_NUM_LIT_STATES ? 9 : 11;
Denis Vlasenkoc3fff872008-03-02 18:55:49 +0000341 len = 1;
342 goto string;
343#endif
Rob Landleyc1d69902006-01-20 18:28:50 +0000344 }
345 } else {
346 uint32_t distance;
347
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200348 prob2 += LZMA_IS_REP_G1 - LZMA_IS_REP_G0;
349 distance = rep1;
350 if (rc_is_bit_1(rc, prob2)) {
351 prob2 += LZMA_IS_REP_G2 - LZMA_IS_REP_G1;
352 distance = rep2;
353 if (rc_is_bit_1(rc, prob2)) {
Rob Landleyc1d69902006-01-20 18:28:50 +0000354 distance = rep3;
355 rep3 = rep2;
356 }
357 rep2 = rep1;
358 }
359 rep1 = rep0;
360 rep0 = distance;
361 }
362 state = state < LZMA_NUM_LIT_STATES ? 8 : 11;
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200363 prob2 = p + LZMA_REP_LEN_CODER;
Rob Landleyc1d69902006-01-20 18:28:50 +0000364 }
365
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200366 prob_len = prob2 + LZMA_LEN_CHOICE;
367 num_bits = LZMA_LEN_NUM_LOW_BITS;
368 if (!rc_is_bit_1(rc, prob_len)) {
369 prob_len += LZMA_LEN_LOW - LZMA_LEN_CHOICE
370 + (pos_state << LZMA_LEN_NUM_LOW_BITS);
Rob Landleyc1d69902006-01-20 18:28:50 +0000371 offset = 0;
Rob Landleyc1d69902006-01-20 18:28:50 +0000372 } else {
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200373 prob_len += LZMA_LEN_CHOICE_2 - LZMA_LEN_CHOICE;
374 if (!rc_is_bit_1(rc, prob_len)) {
375 prob_len += LZMA_LEN_MID - LZMA_LEN_CHOICE_2
376 + (pos_state << LZMA_LEN_NUM_MID_BITS);
Rob Landleyc1d69902006-01-20 18:28:50 +0000377 offset = 1 << LZMA_LEN_NUM_LOW_BITS;
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200378 num_bits += LZMA_LEN_NUM_MID_BITS - LZMA_LEN_NUM_LOW_BITS;
Rob Landleyc1d69902006-01-20 18:28:50 +0000379 } else {
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200380 prob_len += LZMA_LEN_HIGH - LZMA_LEN_CHOICE_2;
Rob Landleyc1d69902006-01-20 18:28:50 +0000381 offset = ((1 << LZMA_LEN_NUM_LOW_BITS)
Denis Vlasenkoc3fff872008-03-02 18:55:49 +0000382 + (1 << LZMA_LEN_NUM_MID_BITS));
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200383 num_bits += LZMA_LEN_NUM_HIGH_BITS - LZMA_LEN_NUM_LOW_BITS;
Rob Landleyc1d69902006-01-20 18:28:50 +0000384 }
385 }
Denis Vlasenko98b8e942007-01-05 13:59:05 +0000386 rc_bit_tree_decode(rc, prob_len, num_bits, &len);
Rob Landleyc1d69902006-01-20 18:28:50 +0000387 len += offset;
388
389 if (state < 4) {
390 int pos_slot;
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200391 uint16_t *prob3;
Rob Landleyc1d69902006-01-20 18:28:50 +0000392
393 state += LZMA_NUM_LIT_STATES;
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200394 prob3 = p + LZMA_POS_SLOT +
Denis Vlasenkoc3fff872008-03-02 18:55:49 +0000395 ((len < LZMA_NUM_LEN_TO_POS_STATES ? len :
396 LZMA_NUM_LEN_TO_POS_STATES - 1)
397 << LZMA_NUM_POS_SLOT_BITS);
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200398 rc_bit_tree_decode(rc, prob3,
399 LZMA_NUM_POS_SLOT_BITS, &pos_slot);
400 rep0 = pos_slot;
Rob Landleyc1d69902006-01-20 18:28:50 +0000401 if (pos_slot >= LZMA_START_POS_MODEL_INDEX) {
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200402 int i2, mi2, num_bits2 = (pos_slot >> 1) - 1;
Rob Landleyc1d69902006-01-20 18:28:50 +0000403 rep0 = 2 | (pos_slot & 1);
404 if (pos_slot < LZMA_END_POS_MODEL_INDEX) {
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200405 rep0 <<= num_bits2;
406 prob3 = p + LZMA_SPEC_POS + rep0 - pos_slot - 1;
Rob Landleyc1d69902006-01-20 18:28:50 +0000407 } else {
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200408 for (; num_bits2 != LZMA_NUM_ALIGN_BITS; num_bits2--)
Denis Vlasenko98b8e942007-01-05 13:59:05 +0000409 rep0 = (rep0 << 1) | rc_direct_bit(rc);
Rob Landleyc1d69902006-01-20 18:28:50 +0000410 rep0 <<= LZMA_NUM_ALIGN_BITS;
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200411 prob3 = p + LZMA_ALIGN;
Rob Landleyc1d69902006-01-20 18:28:50 +0000412 }
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200413 i2 = 1;
414 mi2 = 1;
415 while (num_bits2--) {
416 if (rc_get_bit(rc, prob3 + mi2, &mi2))
417 rep0 |= i2;
418 i2 <<= 1;
Rob Landleyc1d69902006-01-20 18:28:50 +0000419 }
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200420 }
Rob Landleyc1d69902006-01-20 18:28:50 +0000421 if (++rep0 == 0)
422 break;
423 }
424
425 len += LZMA_MATCH_MIN_LEN;
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000426 IF_NOT_FEATURE_LZMA_FAST(string:)
Rob Landleyc1d69902006-01-20 18:28:50 +0000427 do {
Denys Vlasenkof2c184b2009-09-15 23:40:08 +0200428 uint32_t pos = buffer_pos - rep0;
Rob Landleyc1d69902006-01-20 18:28:50 +0000429 while (pos >= header.dict_size)
430 pos += header.dict_size;
431 previous_byte = buffer[pos];
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000432 IF_NOT_FEATURE_LZMA_FAST(one_byte2:)
Rob Landleyc1d69902006-01-20 18:28:50 +0000433 buffer[buffer_pos++] = previous_byte;
434 if (buffer_pos == header.dict_size) {
435 buffer_pos = 0;
436 global_pos += header.dict_size;
Denis Vlasenko6b06cb82008-05-15 21:30:45 +0000437 if (full_write(dst_fd, buffer, header.dict_size) != (ssize_t)header.dict_size)
Denis Vlasenko33762982007-01-05 14:04:47 +0000438 goto bad;
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000439 IF_DESKTOP(total_written += header.dict_size;)
Rob Landleyc1d69902006-01-20 18:28:50 +0000440 }
441 len--;
442 } while (len != 0 && buffer_pos < header.dst_size);
443 }
444 }
445
Denis Vlasenko2bbdda02008-06-27 15:48:45 +0000446 {
Denis Vlasenko5e34ff22009-04-21 11:09:40 +0000447 IF_NOT_DESKTOP(int total_written = 0; /* success */)
448 IF_DESKTOP(total_written += buffer_pos;)
Denis Vlasenko2bbdda02008-06-27 15:48:45 +0000449 if (full_write(dst_fd, buffer, buffer_pos) != (ssize_t)buffer_pos) {
Denis Vlasenko33762982007-01-05 14:04:47 +0000450 bad:
Denis Vlasenko2bbdda02008-06-27 15:48:45 +0000451 total_written = -1; /* failure */
452 }
Denis Vlasenko33762982007-01-05 14:04:47 +0000453 rc_free(rc);
Denis Vlasenko2bbdda02008-06-27 15:48:45 +0000454 free(p);
455 free(buffer);
456 return total_written;
Denis Vlasenko33762982007-01-05 14:04:47 +0000457 }
Rob Landleyc1d69902006-01-20 18:28:50 +0000458}