OLD | NEW |
1 /* LzmaDec.c -- LZMA Decoder | 1 /* LzmaDec.c -- LZMA Decoder |
2 2009-09-20 : Igor Pavlov : Public domain */ | 2 2015-06-23 : Igor Pavlov : Public domain */ |
| 3 |
| 4 #include "Precomp.h" |
3 | 5 |
4 #include "LzmaDec.h" | 6 #include "LzmaDec.h" |
5 | 7 |
6 #include <string.h> | 8 #include <string.h> |
7 | 9 |
8 #define kNumTopBits 24 | 10 #define kNumTopBits 24 |
9 #define kTopValue ((UInt32)1 << kNumTopBits) | 11 #define kTopValue ((UInt32)1 << kNumTopBits) |
10 | 12 |
11 #define kNumBitModelTotalBits 11 | 13 #define kNumBitModelTotalBits 11 |
12 #define kBitModelTotal (1 << kNumBitModelTotalBits) | 14 #define kBitModelTotal (1 << kNumBitModelTotalBits) |
(...skipping 24 matching lines...) Expand all Loading... |
37 { i = 1; \ | 39 { i = 1; \ |
38 TREE_GET_BIT(probs, i); \ | 40 TREE_GET_BIT(probs, i); \ |
39 TREE_GET_BIT(probs, i); \ | 41 TREE_GET_BIT(probs, i); \ |
40 TREE_GET_BIT(probs, i); \ | 42 TREE_GET_BIT(probs, i); \ |
41 TREE_GET_BIT(probs, i); \ | 43 TREE_GET_BIT(probs, i); \ |
42 TREE_GET_BIT(probs, i); \ | 44 TREE_GET_BIT(probs, i); \ |
43 TREE_GET_BIT(probs, i); \ | 45 TREE_GET_BIT(probs, i); \ |
44 i -= 0x40; } | 46 i -= 0x40; } |
45 #endif | 47 #endif |
46 | 48 |
| 49 #define NORMAL_LITER_DEC GET_BIT(prob + symbol, symbol) |
| 50 #define MATCHED_LITER_DEC \ |
| 51 matchByte <<= 1; \ |
| 52 bit = (matchByte & offs); \ |
| 53 probLit = prob + offs + bit + symbol; \ |
| 54 GET_BIT2(probLit, symbol, offs &= ~bit, offs &= bit) |
| 55 |
47 #define NORMALIZE_CHECK if (range < kTopValue) { if (buf >= bufLimit) return DUM
MY_ERROR; range <<= 8; code = (code << 8) | (*buf++); } | 56 #define NORMALIZE_CHECK if (range < kTopValue) { if (buf >= bufLimit) return DUM
MY_ERROR; range <<= 8; code = (code << 8) | (*buf++); } |
48 | 57 |
49 #define IF_BIT_0_CHECK(p) ttt = *(p); NORMALIZE_CHECK; bound = (range >> kNumBit
ModelTotalBits) * ttt; if (code < bound) | 58 #define IF_BIT_0_CHECK(p) ttt = *(p); NORMALIZE_CHECK; bound = (range >> kNumBit
ModelTotalBits) * ttt; if (code < bound) |
50 #define UPDATE_0_CHECK range = bound; | 59 #define UPDATE_0_CHECK range = bound; |
51 #define UPDATE_1_CHECK range -= bound; code -= bound; | 60 #define UPDATE_1_CHECK range -= bound; code -= bound; |
52 #define GET_BIT2_CHECK(p, i, A0, A1) IF_BIT_0_CHECK(p) \ | 61 #define GET_BIT2_CHECK(p, i, A0, A1) IF_BIT_0_CHECK(p) \ |
53 { UPDATE_0_CHECK; i = (i + i); A0; } else \ | 62 { UPDATE_0_CHECK; i = (i + i); A0; } else \ |
54 { UPDATE_1_CHECK; i = (i + i) + 1; A1; } | 63 { UPDATE_1_CHECK; i = (i + i) + 1; A1; } |
55 #define GET_BIT_CHECK(p, i) GET_BIT2_CHECK(p, i, ; , ;) | 64 #define GET_BIT_CHECK(p, i) GET_BIT2_CHECK(p, i, ; , ;) |
56 #define TREE_DECODE_CHECK(probs, limit, i) \ | 65 #define TREE_DECODE_CHECK(probs, limit, i) \ |
(...skipping 41 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
98 #define IsRepG2 (IsRepG1 + kNumStates) | 107 #define IsRepG2 (IsRepG1 + kNumStates) |
99 #define IsRep0Long (IsRepG2 + kNumStates) | 108 #define IsRep0Long (IsRepG2 + kNumStates) |
100 #define PosSlot (IsRep0Long + (kNumStates << kNumPosBitsMax)) | 109 #define PosSlot (IsRep0Long + (kNumStates << kNumPosBitsMax)) |
101 #define SpecPos (PosSlot + (kNumLenToPosStates << kNumPosSlotBits)) | 110 #define SpecPos (PosSlot + (kNumLenToPosStates << kNumPosSlotBits)) |
102 #define Align (SpecPos + kNumFullDistances - kEndPosModelIndex) | 111 #define Align (SpecPos + kNumFullDistances - kEndPosModelIndex) |
103 #define LenCoder (Align + kAlignTableSize) | 112 #define LenCoder (Align + kAlignTableSize) |
104 #define RepLenCoder (LenCoder + kNumLenProbs) | 113 #define RepLenCoder (LenCoder + kNumLenProbs) |
105 #define Literal (RepLenCoder + kNumLenProbs) | 114 #define Literal (RepLenCoder + kNumLenProbs) |
106 | 115 |
107 #define LZMA_BASE_SIZE 1846 | 116 #define LZMA_BASE_SIZE 1846 |
108 #define LZMA_LIT_SIZE 768 | 117 #define LZMA_LIT_SIZE 0x300 |
109 | |
110 #define LzmaProps_GetNumProbs(p) ((UInt32)LZMA_BASE_SIZE + (LZMA_LIT_SIZE << ((p
)->lc + (p)->lp))) | |
111 | 118 |
112 #if Literal != LZMA_BASE_SIZE | 119 #if Literal != LZMA_BASE_SIZE |
113 StopCompilingDueBUG | 120 StopCompilingDueBUG |
114 #endif | 121 #endif |
115 | 122 |
| 123 #define LzmaProps_GetNumProbs(p) (Literal + ((UInt32)LZMA_LIT_SIZE << ((p)->lc +
(p)->lp))) |
| 124 |
116 #define LZMA_DIC_MIN (1 << 12) | 125 #define LZMA_DIC_MIN (1 << 12) |
117 | 126 |
118 /* First LZMA-symbol is always decoded. | 127 /* First LZMA-symbol is always decoded. |
119 And it decodes new LZMA-symbols while (buf < bufLimit), but "buf" is without las
t normalization | 128 And it decodes new LZMA-symbols while (buf < bufLimit), but "buf" is without las
t normalization |
120 Out: | 129 Out: |
121 Result: | 130 Result: |
122 SZ_OK - OK | 131 SZ_OK - OK |
123 SZ_ERROR_DATA - Error | 132 SZ_ERROR_DATA - Error |
124 p->remainLen: | 133 p->remainLen: |
125 < kMatchSpecLenStart : normal remain | 134 < kMatchSpecLenStart : normal remain |
126 = kMatchSpecLenStart : finished | 135 = kMatchSpecLenStart : finished |
127 = kMatchSpecLenStart + 1 : Flush marker | 136 = kMatchSpecLenStart + 1 : Flush marker (unused now) |
128 = kMatchSpecLenStart + 2 : State Init Marker | 137 = kMatchSpecLenStart + 2 : State Init Marker (unused now) |
129 */ | 138 */ |
130 | 139 |
131 static int MY_FAST_CALL LzmaDec_DecodeReal(CLzmaDec *p, SizeT limit, const Byte
*bufLimit) | 140 static int MY_FAST_CALL LzmaDec_DecodeReal(CLzmaDec *p, SizeT limit, const Byte
*bufLimit) |
132 { | 141 { |
133 CLzmaProb *probs = p->probs; | 142 CLzmaProb *probs = p->probs; |
134 | 143 |
135 unsigned state = p->state; | 144 unsigned state = p->state; |
136 UInt32 rep0 = p->reps[0], rep1 = p->reps[1], rep2 = p->reps[2], rep3 = p->reps
[3]; | 145 UInt32 rep0 = p->reps[0], rep1 = p->reps[1], rep2 = p->reps[2], rep3 = p->reps
[3]; |
137 unsigned pbMask = ((unsigned)1 << (p->prop.pb)) - 1; | 146 unsigned pbMask = ((unsigned)1 << (p->prop.pb)) - 1; |
138 unsigned lpMask = ((unsigned)1 << (p->prop.lp)) - 1; | 147 unsigned lpMask = ((unsigned)1 << (p->prop.lp)) - 1; |
(...skipping 17 matching lines...) Expand all Loading... |
156 UInt32 bound; | 165 UInt32 bound; |
157 unsigned ttt; | 166 unsigned ttt; |
158 unsigned posState = processedPos & pbMask; | 167 unsigned posState = processedPos & pbMask; |
159 | 168 |
160 prob = probs + IsMatch + (state << kNumPosBitsMax) + posState; | 169 prob = probs + IsMatch + (state << kNumPosBitsMax) + posState; |
161 IF_BIT_0(prob) | 170 IF_BIT_0(prob) |
162 { | 171 { |
163 unsigned symbol; | 172 unsigned symbol; |
164 UPDATE_0(prob); | 173 UPDATE_0(prob); |
165 prob = probs + Literal; | 174 prob = probs + Literal; |
166 if (checkDicSize != 0 || processedPos != 0) | 175 if (processedPos != 0 || checkDicSize != 0) |
167 prob += (LZMA_LIT_SIZE * (((processedPos & lpMask) << lc) + | 176 prob += ((UInt32)LZMA_LIT_SIZE * (((processedPos & lpMask) << lc) + |
168 (dic[(dicPos == 0 ? dicBufSize : dicPos) - 1] >> (8 - lc)))); | 177 (dic[(dicPos == 0 ? dicBufSize : dicPos) - 1] >> (8 - lc)))); |
| 178 processedPos++; |
169 | 179 |
170 if (state < kNumLitStates) | 180 if (state < kNumLitStates) |
171 { | 181 { |
172 state -= (state < 4) ? state : 3; | 182 state -= (state < 4) ? state : 3; |
173 symbol = 1; | 183 symbol = 1; |
174 do { GET_BIT(prob + symbol, symbol) } while (symbol < 0x100); | 184 #ifdef _LZMA_SIZE_OPT |
| 185 do { NORMAL_LITER_DEC } while (symbol < 0x100); |
| 186 #else |
| 187 NORMAL_LITER_DEC |
| 188 NORMAL_LITER_DEC |
| 189 NORMAL_LITER_DEC |
| 190 NORMAL_LITER_DEC |
| 191 NORMAL_LITER_DEC |
| 192 NORMAL_LITER_DEC |
| 193 NORMAL_LITER_DEC |
| 194 NORMAL_LITER_DEC |
| 195 #endif |
175 } | 196 } |
176 else | 197 else |
177 { | 198 { |
178 unsigned matchByte = p->dic[(dicPos - rep0) + ((dicPos < rep0) ? dicBufS
ize : 0)]; | 199 unsigned matchByte = dic[dicPos - rep0 + (dicPos < rep0 ? dicBufSize : 0
)]; |
179 unsigned offs = 0x100; | 200 unsigned offs = 0x100; |
180 state -= (state < 10) ? 3 : 6; | 201 state -= (state < 10) ? 3 : 6; |
181 symbol = 1; | 202 symbol = 1; |
| 203 #ifdef _LZMA_SIZE_OPT |
182 do | 204 do |
183 { | 205 { |
184 unsigned bit; | 206 unsigned bit; |
185 CLzmaProb *probLit; | 207 CLzmaProb *probLit; |
186 matchByte <<= 1; | 208 MATCHED_LITER_DEC |
187 bit = (matchByte & offs); | |
188 probLit = prob + offs + bit + symbol; | |
189 GET_BIT2(probLit, symbol, offs &= ~bit, offs &= bit) | |
190 } | 209 } |
191 while (symbol < 0x100); | 210 while (symbol < 0x100); |
| 211 #else |
| 212 { |
| 213 unsigned bit; |
| 214 CLzmaProb *probLit; |
| 215 MATCHED_LITER_DEC |
| 216 MATCHED_LITER_DEC |
| 217 MATCHED_LITER_DEC |
| 218 MATCHED_LITER_DEC |
| 219 MATCHED_LITER_DEC |
| 220 MATCHED_LITER_DEC |
| 221 MATCHED_LITER_DEC |
| 222 MATCHED_LITER_DEC |
| 223 } |
| 224 #endif |
192 } | 225 } |
| 226 |
193 dic[dicPos++] = (Byte)symbol; | 227 dic[dicPos++] = (Byte)symbol; |
194 processedPos++; | |
195 continue; | 228 continue; |
196 } | 229 } |
197 else | 230 |
198 { | 231 { |
199 UPDATE_1(prob); | 232 UPDATE_1(prob); |
200 prob = probs + IsRep + state; | 233 prob = probs + IsRep + state; |
201 IF_BIT_0(prob) | 234 IF_BIT_0(prob) |
202 { | 235 { |
203 UPDATE_0(prob); | 236 UPDATE_0(prob); |
204 state += kNumStates; | 237 state += kNumStates; |
205 prob = probs + LenCoder; | 238 prob = probs + LenCoder; |
206 } | 239 } |
207 else | 240 else |
208 { | 241 { |
209 UPDATE_1(prob); | 242 UPDATE_1(prob); |
210 if (checkDicSize == 0 && processedPos == 0) | 243 if (checkDicSize == 0 && processedPos == 0) |
211 return SZ_ERROR_DATA; | 244 return SZ_ERROR_DATA; |
212 prob = probs + IsRepG0 + state; | 245 prob = probs + IsRepG0 + state; |
213 IF_BIT_0(prob) | 246 IF_BIT_0(prob) |
214 { | 247 { |
215 UPDATE_0(prob); | 248 UPDATE_0(prob); |
216 prob = probs + IsRep0Long + (state << kNumPosBitsMax) + posState; | 249 prob = probs + IsRep0Long + (state << kNumPosBitsMax) + posState; |
217 IF_BIT_0(prob) | 250 IF_BIT_0(prob) |
218 { | 251 { |
219 UPDATE_0(prob); | 252 UPDATE_0(prob); |
220 dic[dicPos] = dic[(dicPos - rep0) + ((dicPos < rep0) ? dicBufSize :
0)]; | 253 dic[dicPos] = dic[dicPos - rep0 + (dicPos < rep0 ? dicBufSize : 0)]; |
221 dicPos++; | 254 dicPos++; |
222 processedPos++; | 255 processedPos++; |
223 state = state < kNumLitStates ? 9 : 11; | 256 state = state < kNumLitStates ? 9 : 11; |
224 continue; | 257 continue; |
225 } | 258 } |
226 UPDATE_1(prob); | 259 UPDATE_1(prob); |
227 } | 260 } |
228 else | 261 else |
229 { | 262 { |
230 UInt32 distance; | 263 UInt32 distance; |
(...skipping 20 matching lines...) Expand all Loading... |
251 rep3 = rep2; | 284 rep3 = rep2; |
252 } | 285 } |
253 rep2 = rep1; | 286 rep2 = rep1; |
254 } | 287 } |
255 rep1 = rep0; | 288 rep1 = rep0; |
256 rep0 = distance; | 289 rep0 = distance; |
257 } | 290 } |
258 state = state < kNumLitStates ? 8 : 11; | 291 state = state < kNumLitStates ? 8 : 11; |
259 prob = probs + RepLenCoder; | 292 prob = probs + RepLenCoder; |
260 } | 293 } |
| 294 |
| 295 #ifdef _LZMA_SIZE_OPT |
261 { | 296 { |
262 unsigned limit, offset; | 297 unsigned limit, offset; |
263 CLzmaProb *probLen = prob + LenChoice; | 298 CLzmaProb *probLen = prob + LenChoice; |
264 IF_BIT_0(probLen) | 299 IF_BIT_0(probLen) |
265 { | 300 { |
266 UPDATE_0(probLen); | 301 UPDATE_0(probLen); |
267 probLen = prob + LenLow + (posState << kLenNumLowBits); | 302 probLen = prob + LenLow + (posState << kLenNumLowBits); |
268 offset = 0; | 303 offset = 0; |
269 limit = (1 << kLenNumLowBits); | 304 limit = (1 << kLenNumLowBits); |
270 } | 305 } |
(...skipping 12 matching lines...) Expand all Loading... |
283 { | 318 { |
284 UPDATE_1(probLen); | 319 UPDATE_1(probLen); |
285 probLen = prob + LenHigh; | 320 probLen = prob + LenHigh; |
286 offset = kLenNumLowSymbols + kLenNumMidSymbols; | 321 offset = kLenNumLowSymbols + kLenNumMidSymbols; |
287 limit = (1 << kLenNumHighBits); | 322 limit = (1 << kLenNumHighBits); |
288 } | 323 } |
289 } | 324 } |
290 TREE_DECODE(probLen, limit, len); | 325 TREE_DECODE(probLen, limit, len); |
291 len += offset; | 326 len += offset; |
292 } | 327 } |
| 328 #else |
| 329 { |
| 330 CLzmaProb *probLen = prob + LenChoice; |
| 331 IF_BIT_0(probLen) |
| 332 { |
| 333 UPDATE_0(probLen); |
| 334 probLen = prob + LenLow + (posState << kLenNumLowBits); |
| 335 len = 1; |
| 336 TREE_GET_BIT(probLen, len); |
| 337 TREE_GET_BIT(probLen, len); |
| 338 TREE_GET_BIT(probLen, len); |
| 339 len -= 8; |
| 340 } |
| 341 else |
| 342 { |
| 343 UPDATE_1(probLen); |
| 344 probLen = prob + LenChoice2; |
| 345 IF_BIT_0(probLen) |
| 346 { |
| 347 UPDATE_0(probLen); |
| 348 probLen = prob + LenMid + (posState << kLenNumMidBits); |
| 349 len = 1; |
| 350 TREE_GET_BIT(probLen, len); |
| 351 TREE_GET_BIT(probLen, len); |
| 352 TREE_GET_BIT(probLen, len); |
| 353 } |
| 354 else |
| 355 { |
| 356 UPDATE_1(probLen); |
| 357 probLen = prob + LenHigh; |
| 358 TREE_DECODE(probLen, (1 << kLenNumHighBits), len); |
| 359 len += kLenNumLowSymbols + kLenNumMidSymbols; |
| 360 } |
| 361 } |
| 362 } |
| 363 #endif |
293 | 364 |
294 if (state >= kNumStates) | 365 if (state >= kNumStates) |
295 { | 366 { |
296 UInt32 distance; | 367 UInt32 distance; |
297 prob = probs + PosSlot + | 368 prob = probs + PosSlot + |
298 ((len < kNumLenToPosStates ? len : kNumLenToPosStates - 1) << kNumPo
sSlotBits); | 369 ((len < kNumLenToPosStates ? len : kNumLenToPosStates - 1) << kNumPo
sSlotBits); |
299 TREE_6_DECODE(prob, distance); | 370 TREE_6_DECODE(prob, distance); |
300 if (distance >= kStartPosModelIndex) | 371 if (distance >= kStartPosModelIndex) |
301 { | 372 { |
302 unsigned posSlot = (unsigned)distance; | 373 unsigned posSlot = (unsigned)distance; |
303 int numDirectBits = (int)(((distance >> 1) - 1)); | 374 unsigned numDirectBits = (unsigned)(((distance >> 1) - 1)); |
304 distance = (2 | (distance & 1)); | 375 distance = (2 | (distance & 1)); |
305 if (posSlot < kEndPosModelIndex) | 376 if (posSlot < kEndPosModelIndex) |
306 { | 377 { |
307 distance <<= numDirectBits; | 378 distance <<= numDirectBits; |
308 prob = probs + SpecPos + distance - posSlot - 1; | 379 prob = probs + SpecPos + distance - posSlot - 1; |
309 { | 380 { |
310 UInt32 mask = 1; | 381 UInt32 mask = 1; |
311 unsigned i = 1; | 382 unsigned i = 1; |
312 do | 383 do |
313 { | 384 { |
(...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
352 GET_BIT2(prob + i, i, ; , distance |= 8); | 423 GET_BIT2(prob + i, i, ; , distance |= 8); |
353 } | 424 } |
354 if (distance == (UInt32)0xFFFFFFFF) | 425 if (distance == (UInt32)0xFFFFFFFF) |
355 { | 426 { |
356 len += kMatchSpecLenStart; | 427 len += kMatchSpecLenStart; |
357 state -= kNumStates; | 428 state -= kNumStates; |
358 break; | 429 break; |
359 } | 430 } |
360 } | 431 } |
361 } | 432 } |
| 433 |
362 rep3 = rep2; | 434 rep3 = rep2; |
363 rep2 = rep1; | 435 rep2 = rep1; |
364 rep1 = rep0; | 436 rep1 = rep0; |
365 rep0 = distance + 1; | 437 rep0 = distance + 1; |
366 if (checkDicSize == 0) | 438 if (checkDicSize == 0) |
367 { | 439 { |
368 if (distance >= processedPos) | 440 if (distance >= processedPos) |
| 441 { |
| 442 p->dicPos = dicPos; |
369 return SZ_ERROR_DATA; | 443 return SZ_ERROR_DATA; |
| 444 } |
370 } | 445 } |
371 else if (distance >= checkDicSize) | 446 else if (distance >= checkDicSize) |
| 447 { |
| 448 p->dicPos = dicPos; |
372 return SZ_ERROR_DATA; | 449 return SZ_ERROR_DATA; |
| 450 } |
373 state = (state < kNumStates + kNumLitStates) ? kNumLitStates : kNumLitSt
ates + 3; | 451 state = (state < kNumStates + kNumLitStates) ? kNumLitStates : kNumLitSt
ates + 3; |
374 } | 452 } |
375 | 453 |
376 len += kMatchMinLen; | 454 len += kMatchMinLen; |
377 | 455 |
378 if (limit == dicPos) | |
379 return SZ_ERROR_DATA; | |
380 { | 456 { |
381 SizeT rem = limit - dicPos; | 457 SizeT rem; |
382 unsigned curLen = ((rem < len) ? (unsigned)rem : len); | 458 unsigned curLen; |
383 SizeT pos = (dicPos - rep0) + ((dicPos < rep0) ? dicBufSize : 0); | 459 SizeT pos; |
| 460 |
| 461 if ((rem = limit - dicPos) == 0) |
| 462 { |
| 463 p->dicPos = dicPos; |
| 464 return SZ_ERROR_DATA; |
| 465 } |
| 466 |
| 467 curLen = ((rem < len) ? (unsigned)rem : len); |
| 468 pos = dicPos - rep0 + (dicPos < rep0 ? dicBufSize : 0); |
384 | 469 |
385 processedPos += curLen; | 470 processedPos += curLen; |
386 | 471 |
387 len -= curLen; | 472 len -= curLen; |
388 if (pos + curLen <= dicBufSize) | 473 if (curLen <= dicBufSize - pos) |
389 { | 474 { |
390 Byte *dest = dic + dicPos; | 475 Byte *dest = dic + dicPos; |
391 ptrdiff_t src = (ptrdiff_t)pos - (ptrdiff_t)dicPos; | 476 ptrdiff_t src = (ptrdiff_t)pos - (ptrdiff_t)dicPos; |
392 const Byte *lim = dest + curLen; | 477 const Byte *lim = dest + curLen; |
393 dicPos += curLen; | 478 dicPos += curLen; |
394 do | 479 do |
395 *(dest) = (Byte)*(dest + src); | 480 *(dest) = (Byte)*(dest + src); |
396 while (++dest != lim); | 481 while (++dest != lim); |
397 } | 482 } |
398 else | 483 else |
399 { | 484 { |
400 do | 485 do |
401 { | 486 { |
402 dic[dicPos++] = dic[pos]; | 487 dic[dicPos++] = dic[pos]; |
403 if (++pos == dicBufSize) | 488 if (++pos == dicBufSize) |
404 pos = 0; | 489 pos = 0; |
405 } | 490 } |
406 while (--curLen != 0); | 491 while (--curLen != 0); |
407 } | 492 } |
408 } | 493 } |
409 } | 494 } |
410 } | 495 } |
411 while (dicPos < limit && buf < bufLimit); | 496 while (dicPos < limit && buf < bufLimit); |
| 497 |
412 NORMALIZE; | 498 NORMALIZE; |
| 499 |
413 p->buf = buf; | 500 p->buf = buf; |
414 p->range = range; | 501 p->range = range; |
415 p->code = code; | 502 p->code = code; |
416 p->remainLen = len; | 503 p->remainLen = len; |
417 p->dicPos = dicPos; | 504 p->dicPos = dicPos; |
418 p->processedPos = processedPos; | 505 p->processedPos = processedPos; |
419 p->reps[0] = rep0; | 506 p->reps[0] = rep0; |
420 p->reps[1] = rep1; | 507 p->reps[1] = rep1; |
421 p->reps[2] = rep2; | 508 p->reps[2] = rep2; |
422 p->reps[3] = rep3; | 509 p->reps[3] = rep3; |
423 p->state = state; | 510 p->state = state; |
424 | 511 |
425 return SZ_OK; | 512 return SZ_OK; |
426 } | 513 } |
427 | 514 |
428 static void MY_FAST_CALL LzmaDec_WriteRem(CLzmaDec *p, SizeT limit) | 515 static void MY_FAST_CALL LzmaDec_WriteRem(CLzmaDec *p, SizeT limit) |
429 { | 516 { |
430 if (p->remainLen != 0 && p->remainLen < kMatchSpecLenStart) | 517 if (p->remainLen != 0 && p->remainLen < kMatchSpecLenStart) |
431 { | 518 { |
432 Byte *dic = p->dic; | 519 Byte *dic = p->dic; |
433 SizeT dicPos = p->dicPos; | 520 SizeT dicPos = p->dicPos; |
434 SizeT dicBufSize = p->dicBufSize; | 521 SizeT dicBufSize = p->dicBufSize; |
435 unsigned len = p->remainLen; | 522 unsigned len = p->remainLen; |
436 UInt32 rep0 = p->reps[0]; | 523 SizeT rep0 = p->reps[0]; /* we use SizeT to avoid the BUG of VC14 for AMD64
*/ |
437 if (limit - dicPos < len) | 524 SizeT rem = limit - dicPos; |
438 len = (unsigned)(limit - dicPos); | 525 if (rem < len) |
| 526 len = (unsigned)(rem); |
439 | 527 |
440 if (p->checkDicSize == 0 && p->prop.dicSize - p->processedPos <= len) | 528 if (p->checkDicSize == 0 && p->prop.dicSize - p->processedPos <= len) |
441 p->checkDicSize = p->prop.dicSize; | 529 p->checkDicSize = p->prop.dicSize; |
442 | 530 |
443 p->processedPos += len; | 531 p->processedPos += len; |
444 p->remainLen -= len; | 532 p->remainLen -= len; |
445 while (len-- != 0) | 533 while (len != 0) |
446 { | 534 { |
447 dic[dicPos] = dic[(dicPos - rep0) + ((dicPos < rep0) ? dicBufSize : 0)]; | 535 len--; |
| 536 dic[dicPos] = dic[dicPos - rep0 + (dicPos < rep0 ? dicBufSize : 0)]; |
448 dicPos++; | 537 dicPos++; |
449 } | 538 } |
450 p->dicPos = dicPos; | 539 p->dicPos = dicPos; |
451 } | 540 } |
452 } | 541 } |
453 | 542 |
454 static int MY_FAST_CALL LzmaDec_DecodeReal2(CLzmaDec *p, SizeT limit, const Byte
*bufLimit) | 543 static int MY_FAST_CALL LzmaDec_DecodeReal2(CLzmaDec *p, SizeT limit, const Byte
*bufLimit) |
455 { | 544 { |
456 do | 545 do |
457 { | 546 { |
458 SizeT limit2 = limit; | 547 SizeT limit2 = limit; |
459 if (p->checkDicSize == 0) | 548 if (p->checkDicSize == 0) |
460 { | 549 { |
461 UInt32 rem = p->prop.dicSize - p->processedPos; | 550 UInt32 rem = p->prop.dicSize - p->processedPos; |
462 if (limit - p->dicPos > rem) | 551 if (limit - p->dicPos > rem) |
463 limit2 = p->dicPos + rem; | 552 limit2 = p->dicPos + rem; |
464 } | 553 } |
| 554 |
465 RINOK(LzmaDec_DecodeReal(p, limit2, bufLimit)); | 555 RINOK(LzmaDec_DecodeReal(p, limit2, bufLimit)); |
466 if (p->processedPos >= p->prop.dicSize) | 556 |
| 557 if (p->checkDicSize == 0 && p->processedPos >= p->prop.dicSize) |
467 p->checkDicSize = p->prop.dicSize; | 558 p->checkDicSize = p->prop.dicSize; |
| 559 |
468 LzmaDec_WriteRem(p, limit); | 560 LzmaDec_WriteRem(p, limit); |
469 } | 561 } |
470 while (p->dicPos < limit && p->buf < bufLimit && p->remainLen < kMatchSpecLenS
tart); | 562 while (p->dicPos < limit && p->buf < bufLimit && p->remainLen < kMatchSpecLenS
tart); |
471 | 563 |
472 if (p->remainLen > kMatchSpecLenStart) | 564 if (p->remainLen > kMatchSpecLenStart) |
473 { | |
474 p->remainLen = kMatchSpecLenStart; | 565 p->remainLen = kMatchSpecLenStart; |
475 } | 566 |
476 return 0; | 567 return 0; |
477 } | 568 } |
478 | 569 |
479 typedef enum | 570 typedef enum |
480 { | 571 { |
481 DUMMY_ERROR, /* unexpected end of input stream */ | 572 DUMMY_ERROR, /* unexpected end of input stream */ |
482 DUMMY_LIT, | 573 DUMMY_LIT, |
483 DUMMY_MATCH, | 574 DUMMY_MATCH, |
484 DUMMY_REP | 575 DUMMY_REP |
485 } ELzmaDummy; | 576 } ELzmaDummy; |
486 | 577 |
487 static ELzmaDummy LzmaDec_TryDummy(const CLzmaDec *p, const Byte *buf, SizeT inS
ize) | 578 static ELzmaDummy LzmaDec_TryDummy(const CLzmaDec *p, const Byte *buf, SizeT inS
ize) |
488 { | 579 { |
489 UInt32 range = p->range; | 580 UInt32 range = p->range; |
490 UInt32 code = p->code; | 581 UInt32 code = p->code; |
491 const Byte *bufLimit = buf + inSize; | 582 const Byte *bufLimit = buf + inSize; |
492 CLzmaProb *probs = p->probs; | 583 const CLzmaProb *probs = p->probs; |
493 unsigned state = p->state; | 584 unsigned state = p->state; |
494 ELzmaDummy res; | 585 ELzmaDummy res; |
495 | 586 |
496 { | 587 { |
497 CLzmaProb *prob; | 588 const CLzmaProb *prob; |
498 UInt32 bound; | 589 UInt32 bound; |
499 unsigned ttt; | 590 unsigned ttt; |
500 unsigned posState = (p->processedPos) & ((1 << p->prop.pb) - 1); | 591 unsigned posState = (p->processedPos) & ((1 << p->prop.pb) - 1); |
501 | 592 |
502 prob = probs + IsMatch + (state << kNumPosBitsMax) + posState; | 593 prob = probs + IsMatch + (state << kNumPosBitsMax) + posState; |
503 IF_BIT_0_CHECK(prob) | 594 IF_BIT_0_CHECK(prob) |
504 { | 595 { |
505 UPDATE_0_CHECK | 596 UPDATE_0_CHECK |
506 | 597 |
507 /* if (bufLimit - buf >= 7) return DUMMY_LIT; */ | 598 /* if (bufLimit - buf >= 7) return DUMMY_LIT; */ |
508 | 599 |
509 prob = probs + Literal; | 600 prob = probs + Literal; |
510 if (p->checkDicSize != 0 || p->processedPos != 0) | 601 if (p->checkDicSize != 0 || p->processedPos != 0) |
511 prob += (LZMA_LIT_SIZE * | 602 prob += ((UInt32)LZMA_LIT_SIZE * |
512 ((((p->processedPos) & ((1 << (p->prop.lp)) - 1)) << p->prop.lc) + | 603 ((((p->processedPos) & ((1 << (p->prop.lp)) - 1)) << p->prop.lc) + |
513 (p->dic[(p->dicPos == 0 ? p->dicBufSize : p->dicPos) - 1] >> (8 - p->p
rop.lc)))); | 604 (p->dic[(p->dicPos == 0 ? p->dicBufSize : p->dicPos) - 1] >> (8 - p-
>prop.lc)))); |
514 | 605 |
515 if (state < kNumLitStates) | 606 if (state < kNumLitStates) |
516 { | 607 { |
517 unsigned symbol = 1; | 608 unsigned symbol = 1; |
518 do { GET_BIT_CHECK(prob + symbol, symbol) } while (symbol < 0x100); | 609 do { GET_BIT_CHECK(prob + symbol, symbol) } while (symbol < 0x100); |
519 } | 610 } |
520 else | 611 else |
521 { | 612 { |
522 unsigned matchByte = p->dic[p->dicPos - p->reps[0] + | 613 unsigned matchByte = p->dic[p->dicPos - p->reps[0] + |
523 ((p->dicPos < p->reps[0]) ? p->dicBufSize : 0)]; | 614 (p->dicPos < p->reps[0] ? p->dicBufSize : 0)]; |
524 unsigned offs = 0x100; | 615 unsigned offs = 0x100; |
525 unsigned symbol = 1; | 616 unsigned symbol = 1; |
526 do | 617 do |
527 { | 618 { |
528 unsigned bit; | 619 unsigned bit; |
529 CLzmaProb *probLit; | 620 const CLzmaProb *probLit; |
530 matchByte <<= 1; | 621 matchByte <<= 1; |
531 bit = (matchByte & offs); | 622 bit = (matchByte & offs); |
532 probLit = prob + offs + bit + symbol; | 623 probLit = prob + offs + bit + symbol; |
533 GET_BIT2_CHECK(probLit, symbol, offs &= ~bit, offs &= bit) | 624 GET_BIT2_CHECK(probLit, symbol, offs &= ~bit, offs &= bit) |
534 } | 625 } |
535 while (symbol < 0x100); | 626 while (symbol < 0x100); |
536 } | 627 } |
537 res = DUMMY_LIT; | 628 res = DUMMY_LIT; |
538 } | 629 } |
539 else | 630 else |
(...skipping 49 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
589 { | 680 { |
590 UPDATE_1_CHECK; | 681 UPDATE_1_CHECK; |
591 } | 682 } |
592 } | 683 } |
593 } | 684 } |
594 state = kNumStates; | 685 state = kNumStates; |
595 prob = probs + RepLenCoder; | 686 prob = probs + RepLenCoder; |
596 } | 687 } |
597 { | 688 { |
598 unsigned limit, offset; | 689 unsigned limit, offset; |
599 CLzmaProb *probLen = prob + LenChoice; | 690 const CLzmaProb *probLen = prob + LenChoice; |
600 IF_BIT_0_CHECK(probLen) | 691 IF_BIT_0_CHECK(probLen) |
601 { | 692 { |
602 UPDATE_0_CHECK; | 693 UPDATE_0_CHECK; |
603 probLen = prob + LenLow + (posState << kLenNumLowBits); | 694 probLen = prob + LenLow + (posState << kLenNumLowBits); |
604 offset = 0; | 695 offset = 0; |
605 limit = 1 << kLenNumLowBits; | 696 limit = 1 << kLenNumLowBits; |
606 } | 697 } |
607 else | 698 else |
608 { | 699 { |
609 UPDATE_1_CHECK; | 700 UPDATE_1_CHECK; |
(...skipping 19 matching lines...) Expand all Loading... |
629 | 720 |
630 if (state < 4) | 721 if (state < 4) |
631 { | 722 { |
632 unsigned posSlot; | 723 unsigned posSlot; |
633 prob = probs + PosSlot + | 724 prob = probs + PosSlot + |
634 ((len < kNumLenToPosStates ? len : kNumLenToPosStates - 1) << | 725 ((len < kNumLenToPosStates ? len : kNumLenToPosStates - 1) << |
635 kNumPosSlotBits); | 726 kNumPosSlotBits); |
636 TREE_DECODE_CHECK(prob, 1 << kNumPosSlotBits, posSlot); | 727 TREE_DECODE_CHECK(prob, 1 << kNumPosSlotBits, posSlot); |
637 if (posSlot >= kStartPosModelIndex) | 728 if (posSlot >= kStartPosModelIndex) |
638 { | 729 { |
639 int numDirectBits = ((posSlot >> 1) - 1); | 730 unsigned numDirectBits = ((posSlot >> 1) - 1); |
640 | 731 |
641 /* if (bufLimit - buf >= 8) return DUMMY_MATCH; */ | 732 /* if (bufLimit - buf >= 8) return DUMMY_MATCH; */ |
642 | 733 |
643 if (posSlot < kEndPosModelIndex) | 734 if (posSlot < kEndPosModelIndex) |
644 { | 735 { |
645 prob = probs + SpecPos + ((2 | (posSlot & 1)) << numDirectBits) - po
sSlot - 1; | 736 prob = probs + SpecPos + ((2 | (posSlot & 1)) << numDirectBits) - po
sSlot - 1; |
646 } | 737 } |
647 else | 738 else |
648 { | 739 { |
649 numDirectBits -= kNumAlignBits; | 740 numDirectBits -= kNumAlignBits; |
(...skipping 18 matching lines...) Expand all Loading... |
668 } | 759 } |
669 } | 760 } |
670 } | 761 } |
671 } | 762 } |
672 } | 763 } |
673 NORMALIZE_CHECK; | 764 NORMALIZE_CHECK; |
674 return res; | 765 return res; |
675 } | 766 } |
676 | 767 |
677 | 768 |
678 static void LzmaDec_InitRc(CLzmaDec *p, const Byte *data) | |
679 { | |
680 p->code = ((UInt32)data[1] << 24) | ((UInt32)data[2] << 16) | ((UInt32)data[3]
<< 8) | ((UInt32)data[4]); | |
681 p->range = 0xFFFFFFFF; | |
682 p->needFlush = 0; | |
683 } | |
684 | |
685 void LzmaDec_InitDicAndState(CLzmaDec *p, Bool initDic, Bool initState) | 769 void LzmaDec_InitDicAndState(CLzmaDec *p, Bool initDic, Bool initState) |
686 { | 770 { |
687 p->needFlush = 1; | 771 p->needFlush = 1; |
688 p->remainLen = 0; | 772 p->remainLen = 0; |
689 p->tempBufSize = 0; | 773 p->tempBufSize = 0; |
690 | 774 |
691 if (initDic) | 775 if (initDic) |
692 { | 776 { |
693 p->processedPos = 0; | 777 p->processedPos = 0; |
694 p->checkDicSize = 0; | 778 p->checkDicSize = 0; |
695 p->needInitState = 1; | 779 p->needInitState = 1; |
696 } | 780 } |
697 if (initState) | 781 if (initState) |
698 p->needInitState = 1; | 782 p->needInitState = 1; |
699 } | 783 } |
700 | 784 |
701 void LzmaDec_Init(CLzmaDec *p) | 785 void LzmaDec_Init(CLzmaDec *p) |
702 { | 786 { |
703 p->dicPos = 0; | 787 p->dicPos = 0; |
704 LzmaDec_InitDicAndState(p, True, True); | 788 LzmaDec_InitDicAndState(p, True, True); |
705 } | 789 } |
706 | 790 |
707 static void LzmaDec_InitStateReal(CLzmaDec *p) | 791 static void LzmaDec_InitStateReal(CLzmaDec *p) |
708 { | 792 { |
709 UInt32 numProbs = Literal + ((UInt32)LZMA_LIT_SIZE << (p->prop.lc + p->prop.lp
)); | 793 SizeT numProbs = LzmaProps_GetNumProbs(&p->prop); |
710 UInt32 i; | 794 SizeT i; |
711 CLzmaProb *probs = p->probs; | 795 CLzmaProb *probs = p->probs; |
712 for (i = 0; i < numProbs; i++) | 796 for (i = 0; i < numProbs; i++) |
713 probs[i] = kBitModelTotal >> 1; | 797 probs[i] = kBitModelTotal >> 1; |
714 p->reps[0] = p->reps[1] = p->reps[2] = p->reps[3] = 1; | 798 p->reps[0] = p->reps[1] = p->reps[2] = p->reps[3] = 1; |
715 p->state = 0; | 799 p->state = 0; |
716 p->needInitState = 0; | 800 p->needInitState = 0; |
717 } | 801 } |
718 | 802 |
719 SRes LzmaDec_DecodeToDic(CLzmaDec *p, SizeT dicLimit, const Byte *src, SizeT *sr
cLen, | 803 SRes LzmaDec_DecodeToDic(CLzmaDec *p, SizeT dicLimit, const Byte *src, SizeT *sr
cLen, |
720 ELzmaFinishMode finishMode, ELzmaStatus *status) | 804 ELzmaFinishMode finishMode, ELzmaStatus *status) |
721 { | 805 { |
722 SizeT inSize = *srcLen; | 806 SizeT inSize = *srcLen; |
723 (*srcLen) = 0; | 807 (*srcLen) = 0; |
724 LzmaDec_WriteRem(p, dicLimit); | 808 LzmaDec_WriteRem(p, dicLimit); |
725 | 809 |
726 *status = LZMA_STATUS_NOT_SPECIFIED; | 810 *status = LZMA_STATUS_NOT_SPECIFIED; |
727 | 811 |
728 while (p->remainLen != kMatchSpecLenStart) | 812 while (p->remainLen != kMatchSpecLenStart) |
729 { | 813 { |
730 int checkEndMarkNow; | 814 int checkEndMarkNow; |
731 | 815 |
732 if (p->needFlush != 0) | 816 if (p->needFlush) |
733 { | 817 { |
734 for (; inSize > 0 && p->tempBufSize < RC_INIT_SIZE; (*srcLen)++, inSize-
-) | 818 for (; inSize > 0 && p->tempBufSize < RC_INIT_SIZE; (*srcLen)++, inSize-
-) |
735 p->tempBuf[p->tempBufSize++] = *src++; | 819 p->tempBuf[p->tempBufSize++] = *src++; |
736 if (p->tempBufSize < RC_INIT_SIZE) | 820 if (p->tempBufSize < RC_INIT_SIZE) |
737 { | 821 { |
738 *status = LZMA_STATUS_NEEDS_MORE_INPUT; | 822 *status = LZMA_STATUS_NEEDS_MORE_INPUT; |
739 return SZ_OK; | 823 return SZ_OK; |
740 } | 824 } |
741 if (p->tempBuf[0] != 0) | 825 if (p->tempBuf[0] != 0) |
742 return SZ_ERROR_DATA; | 826 return SZ_ERROR_DATA; |
743 | 827 p->code = |
744 LzmaDec_InitRc(p, p->tempBuf); | 828 ((UInt32)p->tempBuf[1] << 24) |
| 829 | ((UInt32)p->tempBuf[2] << 16) |
| 830 | ((UInt32)p->tempBuf[3] << 8) |
| 831 | ((UInt32)p->tempBuf[4]); |
| 832 p->range = 0xFFFFFFFF; |
| 833 p->needFlush = 0; |
745 p->tempBufSize = 0; | 834 p->tempBufSize = 0; |
746 } | 835 } |
747 | 836 |
748 checkEndMarkNow = 0; | 837 checkEndMarkNow = 0; |
749 if (p->dicPos >= dicLimit) | 838 if (p->dicPos >= dicLimit) |
750 { | 839 { |
751 if (p->remainLen == 0 && p->code == 0) | 840 if (p->remainLen == 0 && p->code == 0) |
752 { | 841 { |
753 *status = LZMA_STATUS_MAYBE_FINISHED_WITHOUT_MARK; | 842 *status = LZMA_STATUS_MAYBE_FINISHED_WITHOUT_MARK; |
754 return SZ_OK; | 843 return SZ_OK; |
(...skipping 63 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
818 } | 907 } |
819 if (checkEndMarkNow && dummyRes != DUMMY_MATCH) | 908 if (checkEndMarkNow && dummyRes != DUMMY_MATCH) |
820 { | 909 { |
821 *status = LZMA_STATUS_NOT_FINISHED; | 910 *status = LZMA_STATUS_NOT_FINISHED; |
822 return SZ_ERROR_DATA; | 911 return SZ_ERROR_DATA; |
823 } | 912 } |
824 } | 913 } |
825 p->buf = p->tempBuf; | 914 p->buf = p->tempBuf; |
826 if (LzmaDec_DecodeReal2(p, dicLimit, p->buf) != 0) | 915 if (LzmaDec_DecodeReal2(p, dicLimit, p->buf) != 0) |
827 return SZ_ERROR_DATA; | 916 return SZ_ERROR_DATA; |
828 lookAhead -= (rem - (unsigned)(p->buf - p->tempBuf)); | 917 |
| 918 { |
| 919 unsigned kkk = (unsigned)(p->buf - p->tempBuf); |
| 920 if (rem < kkk) |
| 921 return SZ_ERROR_FAIL; /* some internal error */ |
| 922 rem -= kkk; |
| 923 if (lookAhead < rem) |
| 924 return SZ_ERROR_FAIL; /* some internal error */ |
| 925 lookAhead -= rem; |
| 926 } |
829 (*srcLen) += lookAhead; | 927 (*srcLen) += lookAhead; |
830 src += lookAhead; | 928 src += lookAhead; |
831 inSize -= lookAhead; | 929 inSize -= lookAhead; |
832 p->tempBufSize = 0; | 930 p->tempBufSize = 0; |
833 } | 931 } |
834 } | 932 } |
835 if (p->code == 0) | 933 if (p->code == 0) |
836 *status = LZMA_STATUS_FINISHED_WITH_MARK; | 934 *status = LZMA_STATUS_FINISHED_WITH_MARK; |
837 return (p->code == 0) ? SZ_OK : SZ_ERROR_DATA; | 935 return (p->code == 0) ? SZ_OK : SZ_ERROR_DATA; |
838 } | 936 } |
(...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
873 if (res != 0) | 971 if (res != 0) |
874 return res; | 972 return res; |
875 if (outSizeCur == 0 || outSize == 0) | 973 if (outSizeCur == 0 || outSize == 0) |
876 return SZ_OK; | 974 return SZ_OK; |
877 } | 975 } |
878 } | 976 } |
879 | 977 |
880 void LzmaDec_FreeProbs(CLzmaDec *p, ISzAlloc *alloc) | 978 void LzmaDec_FreeProbs(CLzmaDec *p, ISzAlloc *alloc) |
881 { | 979 { |
882 alloc->Free(alloc, p->probs); | 980 alloc->Free(alloc, p->probs); |
883 p->probs = 0; | 981 p->probs = NULL; |
884 } | 982 } |
885 | 983 |
886 static void LzmaDec_FreeDict(CLzmaDec *p, ISzAlloc *alloc) | 984 static void LzmaDec_FreeDict(CLzmaDec *p, ISzAlloc *alloc) |
887 { | 985 { |
888 alloc->Free(alloc, p->dic); | 986 alloc->Free(alloc, p->dic); |
889 p->dic = 0; | 987 p->dic = NULL; |
890 } | 988 } |
891 | 989 |
892 void LzmaDec_Free(CLzmaDec *p, ISzAlloc *alloc) | 990 void LzmaDec_Free(CLzmaDec *p, ISzAlloc *alloc) |
893 { | 991 { |
894 LzmaDec_FreeProbs(p, alloc); | 992 LzmaDec_FreeProbs(p, alloc); |
895 LzmaDec_FreeDict(p, alloc); | 993 LzmaDec_FreeDict(p, alloc); |
896 } | 994 } |
897 | 995 |
898 SRes LzmaProps_Decode(CLzmaProps *p, const Byte *data, unsigned size) | 996 SRes LzmaProps_Decode(CLzmaProps *p, const Byte *data, unsigned size) |
899 { | 997 { |
(...skipping 17 matching lines...) Expand all Loading... |
917 d /= 9; | 1015 d /= 9; |
918 p->pb = d / 5; | 1016 p->pb = d / 5; |
919 p->lp = d % 5; | 1017 p->lp = d % 5; |
920 | 1018 |
921 return SZ_OK; | 1019 return SZ_OK; |
922 } | 1020 } |
923 | 1021 |
924 static SRes LzmaDec_AllocateProbs2(CLzmaDec *p, const CLzmaProps *propNew, ISzAl
loc *alloc) | 1022 static SRes LzmaDec_AllocateProbs2(CLzmaDec *p, const CLzmaProps *propNew, ISzAl
loc *alloc) |
925 { | 1023 { |
926 UInt32 numProbs = LzmaProps_GetNumProbs(propNew); | 1024 UInt32 numProbs = LzmaProps_GetNumProbs(propNew); |
927 if (p->probs == 0 || numProbs != p->numProbs) | 1025 if (!p->probs || numProbs != p->numProbs) |
928 { | 1026 { |
929 LzmaDec_FreeProbs(p, alloc); | 1027 LzmaDec_FreeProbs(p, alloc); |
930 p->probs = (CLzmaProb *)alloc->Alloc(alloc, numProbs * sizeof(CLzmaProb)); | 1028 p->probs = (CLzmaProb *)alloc->Alloc(alloc, numProbs * sizeof(CLzmaProb)); |
931 p->numProbs = numProbs; | 1029 p->numProbs = numProbs; |
932 if (p->probs == 0) | 1030 if (!p->probs) |
933 return SZ_ERROR_MEM; | 1031 return SZ_ERROR_MEM; |
934 } | 1032 } |
935 return SZ_OK; | 1033 return SZ_OK; |
936 } | 1034 } |
937 | 1035 |
938 SRes LzmaDec_AllocateProbs(CLzmaDec *p, const Byte *props, unsigned propsSize, I
SzAlloc *alloc) | 1036 SRes LzmaDec_AllocateProbs(CLzmaDec *p, const Byte *props, unsigned propsSize, I
SzAlloc *alloc) |
939 { | 1037 { |
940 CLzmaProps propNew; | 1038 CLzmaProps propNew; |
941 RINOK(LzmaProps_Decode(&propNew, props, propsSize)); | 1039 RINOK(LzmaProps_Decode(&propNew, props, propsSize)); |
942 RINOK(LzmaDec_AllocateProbs2(p, &propNew, alloc)); | 1040 RINOK(LzmaDec_AllocateProbs2(p, &propNew, alloc)); |
943 p->prop = propNew; | 1041 p->prop = propNew; |
944 return SZ_OK; | 1042 return SZ_OK; |
945 } | 1043 } |
946 | 1044 |
947 SRes LzmaDec_Allocate(CLzmaDec *p, const Byte *props, unsigned propsSize, ISzAll
oc *alloc) | 1045 SRes LzmaDec_Allocate(CLzmaDec *p, const Byte *props, unsigned propsSize, ISzAll
oc *alloc) |
948 { | 1046 { |
949 CLzmaProps propNew; | 1047 CLzmaProps propNew; |
950 SizeT dicBufSize; | 1048 SizeT dicBufSize; |
951 RINOK(LzmaProps_Decode(&propNew, props, propsSize)); | 1049 RINOK(LzmaProps_Decode(&propNew, props, propsSize)); |
952 RINOK(LzmaDec_AllocateProbs2(p, &propNew, alloc)); | 1050 RINOK(LzmaDec_AllocateProbs2(p, &propNew, alloc)); |
953 dicBufSize = propNew.dicSize; | 1051 |
954 if (p->dic == 0 || dicBufSize != p->dicBufSize) | 1052 { |
| 1053 UInt32 dictSize = propNew.dicSize; |
| 1054 SizeT mask = ((UInt32)1 << 12) - 1; |
| 1055 if (dictSize >= ((UInt32)1 << 30)) mask = ((UInt32)1 << 22) - 1; |
| 1056 else if (dictSize >= ((UInt32)1 << 22)) mask = ((UInt32)1 << 20) - 1;; |
| 1057 dicBufSize = ((SizeT)dictSize + mask) & ~mask; |
| 1058 if (dicBufSize < dictSize) |
| 1059 dicBufSize = dictSize; |
| 1060 } |
| 1061 |
| 1062 if (!p->dic || dicBufSize != p->dicBufSize) |
955 { | 1063 { |
956 LzmaDec_FreeDict(p, alloc); | 1064 LzmaDec_FreeDict(p, alloc); |
957 p->dic = (Byte *)alloc->Alloc(alloc, dicBufSize); | 1065 p->dic = (Byte *)alloc->Alloc(alloc, dicBufSize); |
958 if (p->dic == 0) | 1066 if (!p->dic) |
959 { | 1067 { |
960 LzmaDec_FreeProbs(p, alloc); | 1068 LzmaDec_FreeProbs(p, alloc); |
961 return SZ_ERROR_MEM; | 1069 return SZ_ERROR_MEM; |
962 } | 1070 } |
963 } | 1071 } |
964 p->dicBufSize = dicBufSize; | 1072 p->dicBufSize = dicBufSize; |
965 p->prop = propNew; | 1073 p->prop = propNew; |
966 return SZ_OK; | 1074 return SZ_OK; |
967 } | 1075 } |
968 | 1076 |
969 SRes LzmaDecode(Byte *dest, SizeT *destLen, const Byte *src, SizeT *srcLen, | 1077 SRes LzmaDecode(Byte *dest, SizeT *destLen, const Byte *src, SizeT *srcLen, |
970 const Byte *propData, unsigned propSize, ELzmaFinishMode finishMode, | 1078 const Byte *propData, unsigned propSize, ELzmaFinishMode finishMode, |
971 ELzmaStatus *status, ISzAlloc *alloc) | 1079 ELzmaStatus *status, ISzAlloc *alloc) |
972 { | 1080 { |
973 CLzmaDec p; | 1081 CLzmaDec p; |
974 SRes res; | 1082 SRes res; |
975 SizeT inSize = *srcLen; | 1083 SizeT outSize = *destLen, inSize = *srcLen; |
976 SizeT outSize = *destLen; | 1084 *destLen = *srcLen = 0; |
977 *srcLen = *destLen = 0; | 1085 *status = LZMA_STATUS_NOT_SPECIFIED; |
978 if (inSize < RC_INIT_SIZE) | 1086 if (inSize < RC_INIT_SIZE) |
979 return SZ_ERROR_INPUT_EOF; | 1087 return SZ_ERROR_INPUT_EOF; |
980 | |
981 LzmaDec_Construct(&p); | 1088 LzmaDec_Construct(&p); |
982 res = LzmaDec_AllocateProbs(&p, propData, propSize, alloc); | 1089 RINOK(LzmaDec_AllocateProbs(&p, propData, propSize, alloc)); |
983 if (res != 0) | |
984 return res; | |
985 p.dic = dest; | 1090 p.dic = dest; |
986 p.dicBufSize = outSize; | 1091 p.dicBufSize = outSize; |
987 | |
988 LzmaDec_Init(&p); | 1092 LzmaDec_Init(&p); |
989 | |
990 *srcLen = inSize; | 1093 *srcLen = inSize; |
991 res = LzmaDec_DecodeToDic(&p, outSize, src, srcLen, finishMode, status); | 1094 res = LzmaDec_DecodeToDic(&p, outSize, src, srcLen, finishMode, status); |
992 | 1095 *destLen = p.dicPos; |
993 if (res == SZ_OK && *status == LZMA_STATUS_NEEDS_MORE_INPUT) | 1096 if (res == SZ_OK && *status == LZMA_STATUS_NEEDS_MORE_INPUT) |
994 res = SZ_ERROR_INPUT_EOF; | 1097 res = SZ_ERROR_INPUT_EOF; |
995 | |
996 (*destLen) = p.dicPos; | |
997 LzmaDec_FreeProbs(&p, alloc); | 1098 LzmaDec_FreeProbs(&p, alloc); |
998 return res; | 1099 return res; |
999 } | 1100 } |
OLD | NEW |