| OLD | NEW |
| 1 // BranchX86_2.c | 1 /* Bcj2.c -- Converter for x86 code (BCJ2) |
| 2 2008-10-04 : Igor Pavlov : Public domain */ |
| 2 | 3 |
| 3 #include "BranchX86_2.h" | 4 #include "Bcj2.h" |
| 4 | |
| 5 #include "../../Alloc.h" | |
| 6 | 5 |
| 7 #ifdef _LZMA_PROB32 | 6 #ifdef _LZMA_PROB32 |
| 8 #define CProb UInt32 | 7 #define CProb UInt32 |
| 9 #else | 8 #else |
| 10 #define CProb UInt16 | 9 #define CProb UInt16 |
| 11 #endif | 10 #endif |
| 12 | 11 |
| 13 #define IsJcc(b0, b1) ((b0) == 0x0F && ((b1) & 0xF0) == 0x80) | 12 #define IsJcc(b0, b1) ((b0) == 0x0F && ((b1) & 0xF0) == 0x80) |
| 14 #define IsJ(b0, b1) ((b1 & 0xFE) == 0xE8 || IsJcc(b0, b1)) | 13 #define IsJ(b0, b1) ((b1 & 0xFE) == 0xE8 || IsJcc(b0, b1)) |
| 15 | 14 |
| 16 #define kNumTopBits 24 | 15 #define kNumTopBits 24 |
| 17 #define kTopValue ((UInt32)1 << kNumTopBits) | 16 #define kTopValue ((UInt32)1 << kNumTopBits) |
| 18 | 17 |
| 19 #define kNumBitModelTotalBits 11 | 18 #define kNumBitModelTotalBits 11 |
| 20 #define kBitModelTotal (1 << kNumBitModelTotalBits) | 19 #define kBitModelTotal (1 << kNumBitModelTotalBits) |
| 21 #define kNumMoveBits 5 | 20 #define kNumMoveBits 5 |
| 22 | 21 |
| 23 #define RC_READ_BYTE (*Buffer++) | 22 #define RC_READ_BYTE (*buffer++) |
| 23 #define RC_TEST { if (buffer == bufferLim) return SZ_ERROR_DATA; } |
| 24 #define RC_INIT2 code = 0; range = 0xFFFFFFFF; \ |
| 25 { int i; for (i = 0; i < 5; i++) { RC_TEST; code = (code << 8) | RC_READ_BYTE;
}} |
| 24 | 26 |
| 25 #define RC_INIT2 Code = 0; Range = 0xFFFFFFFF; \ | 27 #define NORMALIZE if (range < kTopValue) { RC_TEST; range <<= 8; code = (code <<
8) | RC_READ_BYTE; } |
| 26 { int i; for(i = 0; i < 5; i++) { RC_TEST; Code = (Code << 8) | RC_READ_BYTE;
}} | |
| 27 | 28 |
| 28 #define RC_TEST { if (Buffer == BufferLim) return BCJ2_RESULT_DATA_ERROR; } | 29 #define IF_BIT_0(p) ttt = *(p); bound = (range >> kNumBitModelTotalBits) * ttt;
if (code < bound) |
| 30 #define UPDATE_0(p) range = bound; *(p) = (CProb)(ttt + ((kBitModelTotal - ttt)
>> kNumMoveBits)); NORMALIZE; |
| 31 #define UPDATE_1(p) range -= bound; code -= bound; *(p) = (CProb)(ttt - (ttt >>
kNumMoveBits)); NORMALIZE; |
| 29 | 32 |
| 30 #define RC_INIT(buffer, bufferSize) Buffer = buffer; BufferLim = buffer + buffer
Size; RC_INIT2 | 33 int Bcj2_Decode( |
| 31 | 34 const Byte *buf0, SizeT size0, |
| 32 #define RC_NORMALIZE if (Range < kTopValue) { RC_TEST; Range <<= 8; Code = (Code
<< 8) | RC_READ_BYTE; } | 35 const Byte *buf1, SizeT size1, |
| 33 | 36 const Byte *buf2, SizeT size2, |
| 34 #define IfBit0(p) RC_NORMALIZE; bound = (Range >> kNumBitModelTotalBits) * *(p);
if (Code < bound) | 37 const Byte *buf3, SizeT size3, |
| 35 #define UpdateBit0(p) Range = bound; *(p) += (kBitModelTotal - *(p)) >> kNumMove
Bits; | |
| 36 #define UpdateBit1(p) Range -= bound; Code -= bound; *(p) -= (*(p)) >> kNumMoveB
its; | |
| 37 // #define UpdateBit0(p) Range = bound; *(p) = (CProb)(*(p) + ((kBitModelTotal -
*(p)) >> kNumMoveBits)); | |
| 38 // #define UpdateBit1(p) Range -= bound; Code -= bound; *(p) = (CProb)(*(p) - (*
(p) >> kNumMoveBits)); | |
| 39 | |
| 40 int x86_2_Decode( | |
| 41 const Byte *buf0, SizeT size0, | |
| 42 const Byte *buf1, SizeT size1, | |
| 43 const Byte *buf2, SizeT size2, | |
| 44 const Byte *buf3, SizeT size3, | |
| 45 Byte *outBuf, SizeT outSize) | 38 Byte *outBuf, SizeT outSize) |
| 46 { | 39 { |
| 47 CProb p[256 + 2]; | 40 CProb p[256 + 2]; |
| 48 SizeT inPos = 0, outPos = 0; | 41 SizeT inPos = 0, outPos = 0; |
| 49 | 42 |
| 50 const Byte *Buffer, *BufferLim; | 43 const Byte *buffer, *bufferLim; |
| 51 UInt32 Range, Code; | 44 UInt32 range, code; |
| 52 Byte prevByte = 0; | 45 Byte prevByte = 0; |
| 53 | 46 |
| 54 unsigned int i; | 47 unsigned int i; |
| 55 for (i = 0; i < sizeof(p) / sizeof(p[0]); i++) | 48 for (i = 0; i < sizeof(p) / sizeof(p[0]); i++) |
| 56 p[i] = kBitModelTotal >> 1; | 49 p[i] = kBitModelTotal >> 1; |
| 57 RC_INIT(buf3, size3); | 50 |
| 51 buffer = buf3; |
| 52 bufferLim = buffer + size3; |
| 53 RC_INIT2 |
| 58 | 54 |
| 59 if (outSize == 0) | 55 if (outSize == 0) |
| 60 return BCJ2_RESULT_OK; | 56 return SZ_OK; |
| 61 | 57 |
| 62 for (;;) | 58 for (;;) |
| 63 { | 59 { |
| 64 Byte b; | 60 Byte b; |
| 65 CProb *prob; | 61 CProb *prob; |
| 66 UInt32 bound; | 62 UInt32 bound; |
| 63 UInt32 ttt; |
| 67 | 64 |
| 68 SizeT limit = size0 - inPos; | 65 SizeT limit = size0 - inPos; |
| 69 if (outSize - outPos < limit) | 66 if (outSize - outPos < limit) |
| 70 limit = outSize - outPos; | 67 limit = outSize - outPos; |
| 71 while (limit != 0) | 68 while (limit != 0) |
| 72 { | 69 { |
| 73 Byte b = buf0[inPos]; | 70 Byte b = buf0[inPos]; |
| 74 outBuf[outPos++] = b; | 71 outBuf[outPos++] = b; |
| 75 if (IsJ(prevByte, b)) | 72 if (IsJ(prevByte, b)) |
| 76 break; | 73 break; |
| 77 inPos++; | 74 inPos++; |
| 78 prevByte = b; | 75 prevByte = b; |
| 79 limit--; | 76 limit--; |
| 80 } | 77 } |
| 81 | 78 |
| 82 if (limit == 0 || outPos == outSize) | 79 if (limit == 0 || outPos == outSize) |
| 83 break; | 80 break; |
| 84 | 81 |
| 85 b = buf0[inPos++]; | 82 b = buf0[inPos++]; |
| 86 | 83 |
| 87 if (b == 0xE8) | 84 if (b == 0xE8) |
| 88 prob = p + prevByte; | 85 prob = p + prevByte; |
| 89 else if (b == 0xE9) | 86 else if (b == 0xE9) |
| 90 prob = p + 256; | 87 prob = p + 256; |
| 91 else | 88 else |
| 92 prob = p + 257; | 89 prob = p + 257; |
| 93 | 90 |
| 94 IfBit0(prob) | 91 IF_BIT_0(prob) |
| 95 { | 92 { |
| 96 UpdateBit0(prob) | 93 UPDATE_0(prob) |
| 97 prevByte = b; | 94 prevByte = b; |
| 98 } | 95 } |
| 99 else | 96 else |
| 100 { | 97 { |
| 101 UInt32 dest; | 98 UInt32 dest; |
| 102 const Byte *v; | 99 const Byte *v; |
| 103 UpdateBit1(prob) | 100 UPDATE_1(prob) |
| 104 if (b == 0xE8) | 101 if (b == 0xE8) |
| 105 { | 102 { |
| 106 v = buf1; | 103 v = buf1; |
| 107 if (size1 < 4) | 104 if (size1 < 4) |
| 108 return BCJ2_RESULT_DATA_ERROR; | 105 return SZ_ERROR_DATA; |
| 109 buf1 += 4; | 106 buf1 += 4; |
| 110 size1 -= 4; | 107 size1 -= 4; |
| 111 } | 108 } |
| 112 else | 109 else |
| 113 { | 110 { |
| 114 v = buf2; | 111 v = buf2; |
| 115 if (size2 < 4) | 112 if (size2 < 4) |
| 116 return BCJ2_RESULT_DATA_ERROR; | 113 return SZ_ERROR_DATA; |
| 117 buf2 += 4; | 114 buf2 += 4; |
| 118 size2 -= 4; | 115 size2 -= 4; |
| 119 } | 116 } |
| 120 dest = (((UInt32)v[0] << 24) | ((UInt32)v[1] << 16) | | 117 dest = (((UInt32)v[0] << 24) | ((UInt32)v[1] << 16) | |
| 121 ((UInt32)v[2] << 8) | ((UInt32)v[3])) - ((UInt32)outPos + 4); | 118 ((UInt32)v[2] << 8) | ((UInt32)v[3])) - ((UInt32)outPos + 4); |
| 122 outBuf[outPos++] = (Byte)dest; | 119 outBuf[outPos++] = (Byte)dest; |
| 123 if (outPos == outSize) | 120 if (outPos == outSize) |
| 124 break; | 121 break; |
| 125 outBuf[outPos++] = (Byte)(dest >> 8); | 122 outBuf[outPos++] = (Byte)(dest >> 8); |
| 126 if (outPos == outSize) | 123 if (outPos == outSize) |
| 127 break; | 124 break; |
| 128 outBuf[outPos++] = (Byte)(dest >> 16); | 125 outBuf[outPos++] = (Byte)(dest >> 16); |
| 129 if (outPos == outSize) | 126 if (outPos == outSize) |
| 130 break; | 127 break; |
| 131 outBuf[outPos++] = prevByte = (Byte)(dest >> 24); | 128 outBuf[outPos++] = prevByte = (Byte)(dest >> 24); |
| 132 } | 129 } |
| 133 } | 130 } |
| 134 return (outPos == outSize) ? BCJ2_RESULT_OK : BCJ2_RESULT_DATA_ERROR; | 131 return (outPos == outSize) ? SZ_OK : SZ_ERROR_DATA; |
| 135 } | 132 } |
| OLD | NEW |