BranchX86_2.c 3.3 KB

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