| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 1 | /* |
| 2 | zstd - standard compression library |
| Yann Collet | ae7aa06 | 2016-02-03 02:46:46 +0100 | [diff] [blame] | 3 | Copyright (C) 2014-2016, Yann Collet. |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 4 | |
| 5 | BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php) |
| 6 | |
| 7 | Redistribution and use in source and binary forms, with or without |
| 8 | modification, are permitted provided that the following conditions are |
| 9 | met: |
| 10 | * Redistributions of source code must retain the above copyright |
| 11 | notice, this list of conditions and the following disclaimer. |
| 12 | * Redistributions in binary form must reproduce the above |
| 13 | copyright notice, this list of conditions and the following disclaimer |
| 14 | in the documentation and/or other materials provided with the |
| 15 | distribution. |
| 16 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
| 17 | "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
| 18 | LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
| 19 | A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT |
| 20 | OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
| 21 | SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
| 22 | LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
| 23 | DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
| 24 | THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| 25 | (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
| 26 | OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| 27 | |
| 28 | You can contact the author at : |
| 29 | - zstd source repository : https://github.com/Cyan4973/zstd |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 30 | */ |
| 31 | |
| 32 | /* *************************************************************** |
| 33 | * Tuning parameters |
| 34 | *****************************************************************/ |
| 35 | /*! |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 36 | * HEAPMODE : |
| Yann Collet | 3a3b72f | 2016-01-11 12:56:11 +0100 | [diff] [blame] | 37 | * Select how default decompression function ZSTD_decompress() will allocate memory, |
| 38 | * in memory stack (0), or in memory heap (1, requires malloc()) |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 39 | */ |
| 40 | #ifndef ZSTD_HEAPMODE |
| 41 | # define ZSTD_HEAPMODE 1 |
| Yann Collet | 3a3b72f | 2016-01-11 12:56:11 +0100 | [diff] [blame] | 42 | #endif |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 43 | |
| 44 | /*! |
| 45 | * LEGACY_SUPPORT : |
| Yann Collet | ae7aa06 | 2016-02-03 02:46:46 +0100 | [diff] [blame] | 46 | * if set to 1, ZSTD_decompress() can decode older formats (v0.1+) |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 47 | */ |
| 48 | #ifndef ZSTD_LEGACY_SUPPORT |
| Yann Collet | fba6aed | 2016-01-18 12:03:27 +0100 | [diff] [blame] | 49 | # define ZSTD_LEGACY_SUPPORT 0 |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 50 | #endif |
| 51 | |
| 52 | |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 53 | /*-******************************************************* |
| Yann Collet | 953ce72 | 2016-02-04 15:28:14 +0100 | [diff] [blame] | 54 | * Dependencies |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 55 | *********************************************************/ |
| 56 | #include <stdlib.h> /* calloc */ |
| 57 | #include <string.h> /* memcpy, memmove */ |
| Yann Collet | 953ce72 | 2016-02-04 15:28:14 +0100 | [diff] [blame] | 58 | #include <stdio.h> /* debug only : printf */ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 59 | #include "mem.h" /* low level memory routines */ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 60 | #include "zstd_internal.h" |
| 61 | #include "fse_static.h" |
| Yann Collet | afe0709 | 2016-01-25 04:10:46 +0100 | [diff] [blame] | 62 | #include "huff0_static.h" |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 63 | |
| 64 | #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT==1) |
| 65 | # include "zstd_legacy.h" |
| 66 | #endif |
| 67 | |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 68 | |
| 69 | /*-******************************************************* |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 70 | * Compiler specifics |
| 71 | *********************************************************/ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 72 | #ifdef _MSC_VER /* Visual Studio */ |
| 73 | # define FORCE_INLINE static __forceinline |
| 74 | # include <intrin.h> /* For Visual 2005 */ |
| 75 | # pragma warning(disable : 4127) /* disable: C4127: conditional expression is constant */ |
| 76 | # pragma warning(disable : 4324) /* disable: C4324: padded structure */ |
| 77 | #else |
| 78 | # define GCC_VERSION (__GNUC__ * 100 + __GNUC_MINOR__) |
| 79 | # ifdef __GNUC__ |
| 80 | # define FORCE_INLINE static inline __attribute__((always_inline)) |
| 81 | # else |
| 82 | # define FORCE_INLINE static inline |
| 83 | # endif |
| 84 | #endif |
| 85 | |
| 86 | |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 87 | /*-************************************* |
| Yann Collet | 14983e7 | 2015-11-11 21:38:21 +0100 | [diff] [blame] | 88 | * Local types |
| 89 | ***************************************/ |
| 90 | typedef struct |
| 91 | { |
| 92 | blockType_t blockType; |
| 93 | U32 origSize; |
| 94 | } blockProperties_t; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 95 | |
| 96 | |
| 97 | /* ******************************************************* |
| 98 | * Memory operations |
| 99 | **********************************************************/ |
| 100 | static void ZSTD_copy4(void* dst, const void* src) { memcpy(dst, src, 4); } |
| 101 | |
| 102 | |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 103 | /* ************************************* |
| 104 | * Error Management |
| 105 | ***************************************/ |
| Yann Collet | 14983e7 | 2015-11-11 21:38:21 +0100 | [diff] [blame] | 106 | unsigned ZSTD_versionNumber (void) { return ZSTD_VERSION_NUMBER; } |
| 107 | |
| Yann Collet | 953ce72 | 2016-02-04 15:28:14 +0100 | [diff] [blame] | 108 | /*! ZSTD_isError() : |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 109 | * tells if a return value is an error code */ |
| 110 | unsigned ZSTD_isError(size_t code) { return ERR_isError(code); } |
| 111 | |
| Yann Collet | 953ce72 | 2016-02-04 15:28:14 +0100 | [diff] [blame] | 112 | /*! ZSTD_getError() : |
| Yann Collet | 72bff50 | 2016-02-03 12:06:24 +0100 | [diff] [blame] | 113 | * convert a `size_t` function result into a proper ZSTD_errorCode enum */ |
| Yann Collet | 982ffc7 | 2016-02-05 02:33:10 +0100 | [diff] [blame] | 114 | ZSTD_ErrorCode ZSTD_getError(size_t code) { return ERR_getError(code); } |
| Yann Collet | 72bff50 | 2016-02-03 12:06:24 +0100 | [diff] [blame] | 115 | |
| Yann Collet | 953ce72 | 2016-02-04 15:28:14 +0100 | [diff] [blame] | 116 | /*! ZSTD_getErrorName() : |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 117 | * provides error code string (useful for debugging) */ |
| 118 | const char* ZSTD_getErrorName(size_t code) { return ERR_getErrorName(code); } |
| 119 | |
| 120 | |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 121 | /* ************************************************************* |
| Yann Collet | 5b78d2f | 2015-11-12 15:36:05 +0100 | [diff] [blame] | 122 | * Context management |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 123 | ***************************************************************/ |
| Yann Collet | e4fdad5 | 2015-11-25 21:09:17 +0100 | [diff] [blame] | 124 | typedef enum { ZSTDds_getFrameHeaderSize, ZSTDds_decodeFrameHeader, |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 125 | ZSTDds_decodeBlockHeader, ZSTDds_decompressBlock } ZSTD_dStage; |
| 126 | |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 127 | struct ZSTD_DCtx_s |
| 128 | { |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 129 | FSE_DTable LLTable[FSE_DTABLE_SIZE_U32(LLFSELog)]; |
| 130 | FSE_DTable OffTable[FSE_DTABLE_SIZE_U32(OffFSELog)]; |
| 131 | FSE_DTable MLTable[FSE_DTABLE_SIZE_U32(MLFSELog)]; |
| 132 | unsigned hufTableX4[HUF_DTABLE_SIZE(HufLog)]; |
| Yann Collet | 417890c | 2015-12-04 17:16:37 +0100 | [diff] [blame] | 133 | const void* previousDstEnd; |
| 134 | const void* base; |
| 135 | const void* vBase; |
| 136 | const void* dictEnd; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 137 | size_t expected; |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 138 | size_t headerSize; |
| 139 | ZSTD_parameters params; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 140 | blockType_t bType; /* used in ZSTD_decompressContinue(), to transfer blockType between header decoding and block decoding stages */ |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 141 | ZSTD_dStage stage; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 142 | U32 flagStaticTables; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 143 | const BYTE* litPtr; |
| 144 | size_t litBufSize; |
| 145 | size_t litSize; |
| Yann Collet | b923f65 | 2016-01-26 03:14:20 +0100 | [diff] [blame] | 146 | BYTE litBuffer[BLOCKSIZE + WILDCOPY_OVERLENGTH]; |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 147 | BYTE headerBuffer[ZSTD_frameHeaderSize_max]; |
| Yann Collet | 417890c | 2015-12-04 17:16:37 +0100 | [diff] [blame] | 148 | }; /* typedef'd to ZSTD_DCtx within "zstd_static.h" */ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 149 | |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 150 | size_t sizeofDCtx (void) { return sizeof(ZSTD_DCtx); } |
| 151 | |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 152 | size_t ZSTD_decompressBegin(ZSTD_DCtx* dctx) |
| Yann Collet | 5b78d2f | 2015-11-12 15:36:05 +0100 | [diff] [blame] | 153 | { |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 154 | dctx->expected = ZSTD_frameHeaderSize_min; |
| 155 | dctx->stage = ZSTDds_getFrameHeaderSize; |
| Yann Collet | 5b78d2f | 2015-11-12 15:36:05 +0100 | [diff] [blame] | 156 | dctx->previousDstEnd = NULL; |
| 157 | dctx->base = NULL; |
| 158 | dctx->vBase = NULL; |
| 159 | dctx->dictEnd = NULL; |
| Yann Collet | b923f65 | 2016-01-26 03:14:20 +0100 | [diff] [blame] | 160 | dctx->hufTableX4[0] = HufLog; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 161 | dctx->flagStaticTables = 0; |
| inikep | a4dde25 | 2016-03-01 14:14:35 +0100 | [diff] [blame] | 162 | dctx->params.searchLength = MINMATCH; /* overwritten by frame but forces ZSTD_btopt to MINMATCH in block mode */ |
| 163 | ZSTD_LOG_BLOCK("%p: ZSTD_decompressBegin searchLength=%d\n", dctx->base, dctx->params.searchLength); |
| Yann Collet | 5b78d2f | 2015-11-12 15:36:05 +0100 | [diff] [blame] | 164 | return 0; |
| 165 | } |
| 166 | |
| 167 | ZSTD_DCtx* ZSTD_createDCtx(void) |
| 168 | { |
| 169 | ZSTD_DCtx* dctx = (ZSTD_DCtx*)malloc(sizeof(ZSTD_DCtx)); |
| 170 | if (dctx==NULL) return NULL; |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 171 | ZSTD_decompressBegin(dctx); |
| Yann Collet | 5b78d2f | 2015-11-12 15:36:05 +0100 | [diff] [blame] | 172 | return dctx; |
| 173 | } |
| 174 | |
| 175 | size_t ZSTD_freeDCtx(ZSTD_DCtx* dctx) |
| 176 | { |
| 177 | free(dctx); |
| Yann Collet | 982ffc7 | 2016-02-05 02:33:10 +0100 | [diff] [blame] | 178 | return 0; /* reserved as a potential error code in the future */ |
| Yann Collet | 5b78d2f | 2015-11-12 15:36:05 +0100 | [diff] [blame] | 179 | } |
| 180 | |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 181 | void ZSTD_copyDCtx(ZSTD_DCtx* dstDCtx, const ZSTD_DCtx* srcDCtx) |
| 182 | { |
| 183 | memcpy(dstDCtx, srcDCtx, |
| 184 | sizeof(ZSTD_DCtx) - (BLOCKSIZE+WILDCOPY_OVERLENGTH + ZSTD_frameHeaderSize_max)); /* no need to copy workspace */ |
| 185 | } |
| 186 | |
| Yann Collet | 5b78d2f | 2015-11-12 15:36:05 +0100 | [diff] [blame] | 187 | |
| 188 | /* ************************************************************* |
| 189 | * Decompression section |
| 190 | ***************************************************************/ |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 191 | |
| 192 | /* Frame format description |
| 193 | Frame Header - [ Block Header - Block ] - Frame End |
| 194 | 1) Frame Header |
| 195 | - 4 bytes - Magic Number : ZSTD_MAGICNUMBER (defined within zstd_internal.h) |
| 196 | - 1 byte - Window Descriptor |
| 197 | 2) Block Header |
| 198 | - 3 bytes, starting with a 2-bits descriptor |
| 199 | Uncompressed, Compressed, Frame End, unused |
| 200 | 3) Block |
| 201 | See Block Format Description |
| 202 | 4) Frame End |
| 203 | - 3 bytes, compatible with Block Header |
| 204 | */ |
| 205 | |
| 206 | /* Block format description |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 207 | |
| 208 | Block = Literal Section - Sequences Section |
| 209 | Prerequisite : size of (compressed) block, maximum size of regenerated data |
| 210 | |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 211 | 1) Literal Section |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 212 | |
| 213 | 1.1) Header : 1-5 bytes |
| 214 | flags: 2 bits |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 215 | 00 compressed by Huff0 |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 216 | 01 unused |
| 217 | 10 is Raw (uncompressed) |
| 218 | 11 is Rle |
| 219 | Note : using 01 => Huff0 with precomputed table ? |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 220 | Note : delta map ? => compressed ? |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 221 | |
| 222 | 1.1.1) Huff0-compressed literal block : 3-5 bytes |
| 223 | srcSize < 1 KB => 3 bytes (2-2-10-10) => single stream |
| 224 | srcSize < 1 KB => 3 bytes (2-2-10-10) |
| 225 | srcSize < 16KB => 4 bytes (2-2-14-14) |
| 226 | else => 5 bytes (2-2-18-18) |
| 227 | big endian convention |
| 228 | |
| 229 | 1.1.2) Raw (uncompressed) literal block header : 1-3 bytes |
| 230 | size : 5 bits: (IS_RAW<<6) + (0<<4) + size |
| 231 | 12 bits: (IS_RAW<<6) + (2<<4) + (size>>8) |
| 232 | size&255 |
| 233 | 20 bits: (IS_RAW<<6) + (3<<4) + (size>>16) |
| 234 | size>>8&255 |
| 235 | size&255 |
| 236 | |
| 237 | 1.1.3) Rle (repeated single byte) literal block header : 1-3 bytes |
| 238 | size : 5 bits: (IS_RLE<<6) + (0<<4) + size |
| 239 | 12 bits: (IS_RLE<<6) + (2<<4) + (size>>8) |
| 240 | size&255 |
| 241 | 20 bits: (IS_RLE<<6) + (3<<4) + (size>>16) |
| 242 | size>>8&255 |
| 243 | size&255 |
| 244 | |
| 245 | 1.1.4) Huff0-compressed literal block, using precomputed CTables : 3-5 bytes |
| 246 | srcSize < 1 KB => 3 bytes (2-2-10-10) => single stream |
| 247 | srcSize < 1 KB => 3 bytes (2-2-10-10) |
| 248 | srcSize < 16KB => 4 bytes (2-2-14-14) |
| 249 | else => 5 bytes (2-2-18-18) |
| 250 | big endian convention |
| 251 | |
| 252 | 1- CTable available (stored into workspace ?) |
| 253 | 2- Small input (fast heuristic ? Full comparison ? depend on clevel ?) |
| 254 | |
| 255 | |
| 256 | 1.2) Literal block content |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 257 | |
| 258 | 1.2.1) Huff0 block, using sizes from header |
| 259 | See Huff0 format |
| 260 | |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 261 | 1.2.2) Huff0 block, using prepared table |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 262 | |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 263 | 1.2.3) Raw content |
| 264 | |
| 265 | 1.2.4) single byte |
| 266 | |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 267 | |
| 268 | 2) Sequences section |
| 269 | TO DO |
| 270 | */ |
| 271 | |
| 272 | |
| Yann Collet | 953ce72 | 2016-02-04 15:28:14 +0100 | [diff] [blame] | 273 | /** ZSTD_decodeFrameHeader_Part1() : |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 274 | * decode the 1st part of the Frame Header, which tells Frame Header size. |
| Yann Collet | 953ce72 | 2016-02-04 15:28:14 +0100 | [diff] [blame] | 275 | * srcSize must be == ZSTD_frameHeaderSize_min. |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 276 | * @return : the full size of the Frame Header */ |
| 277 | static size_t ZSTD_decodeFrameHeader_Part1(ZSTD_DCtx* zc, const void* src, size_t srcSize) |
| 278 | { |
| 279 | U32 magicNumber; |
| Yann Collet | 61e16ce | 2016-01-31 02:04:15 +0100 | [diff] [blame] | 280 | if (srcSize != ZSTD_frameHeaderSize_min) |
| 281 | return ERROR(srcSize_wrong); |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 282 | magicNumber = MEM_readLE32(src); |
| 283 | if (magicNumber != ZSTD_MAGICNUMBER) return ERROR(prefix_unknown); |
| 284 | zc->headerSize = ZSTD_frameHeaderSize_min; |
| 285 | return zc->headerSize; |
| 286 | } |
| 287 | |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 288 | |
| 289 | size_t ZSTD_getFrameParams(ZSTD_parameters* params, const void* src, size_t srcSize) |
| 290 | { |
| 291 | U32 magicNumber; |
| 292 | if (srcSize < ZSTD_frameHeaderSize_min) return ZSTD_frameHeaderSize_max; |
| 293 | magicNumber = MEM_readLE32(src); |
| 294 | if (magicNumber != ZSTD_MAGICNUMBER) return ERROR(prefix_unknown); |
| 295 | memset(params, 0, sizeof(*params)); |
| Yann Collet | 26415d3 | 2015-11-26 12:43:28 +0100 | [diff] [blame] | 296 | params->windowLog = (((const BYTE*)src)[4] & 15) + ZSTD_WINDOWLOG_ABSOLUTEMIN; |
| inikep | 6b3739c | 2016-02-22 15:53:42 +0100 | [diff] [blame] | 297 | params->searchLength = (((const BYTE*)src)[4] & 16) ? MINMATCH-1 : MINMATCH; |
| 298 | if ((((const BYTE*)src)[4] >> 5) != 0) return ERROR(frameParameter_unsupported); /* reserved 3 bits */ |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 299 | return 0; |
| 300 | } |
| 301 | |
| Yann Collet | 953ce72 | 2016-02-04 15:28:14 +0100 | [diff] [blame] | 302 | /** ZSTD_decodeFrameHeader_Part2() : |
| 303 | * decode the full Frame Header. |
| 304 | * srcSize must be the size provided by ZSTD_decodeFrameHeader_Part1(). |
| Yann Collet | 26415d3 | 2015-11-26 12:43:28 +0100 | [diff] [blame] | 305 | * @return : 0, or an error code, which can be tested using ZSTD_isError() */ |
| 306 | static size_t ZSTD_decodeFrameHeader_Part2(ZSTD_DCtx* zc, const void* src, size_t srcSize) |
| 307 | { |
| Yann Collet | 00fd7a2 | 2015-11-28 16:03:22 +0100 | [diff] [blame] | 308 | size_t result; |
| Yann Collet | 61e16ce | 2016-01-31 02:04:15 +0100 | [diff] [blame] | 309 | if (srcSize != zc->headerSize) |
| 310 | return ERROR(srcSize_wrong); |
| Yann Collet | 00fd7a2 | 2015-11-28 16:03:22 +0100 | [diff] [blame] | 311 | result = ZSTD_getFrameParams(&(zc->params), src, srcSize); |
| Yann Collet | 72bff50 | 2016-02-03 12:06:24 +0100 | [diff] [blame] | 312 | if ((MEM_32bits()) && (zc->params.windowLog > 25)) return ERROR(frameParameter_unsupportedBy32bits); |
| Yann Collet | 00fd7a2 | 2015-11-28 16:03:22 +0100 | [diff] [blame] | 313 | return result; |
| Yann Collet | 26415d3 | 2015-11-26 12:43:28 +0100 | [diff] [blame] | 314 | } |
| 315 | |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 316 | |
| 317 | size_t ZSTD_getcBlockSize(const void* src, size_t srcSize, blockProperties_t* bpPtr) |
| 318 | { |
| 319 | const BYTE* const in = (const BYTE* const)src; |
| 320 | BYTE headerFlags; |
| 321 | U32 cSize; |
| 322 | |
| Yann Collet | 61e16ce | 2016-01-31 02:04:15 +0100 | [diff] [blame] | 323 | if (srcSize < 3) |
| 324 | return ERROR(srcSize_wrong); |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 325 | |
| 326 | headerFlags = *in; |
| 327 | cSize = in[2] + (in[1]<<8) + ((in[0] & 7)<<16); |
| 328 | |
| 329 | bpPtr->blockType = (blockType_t)(headerFlags >> 6); |
| 330 | bpPtr->origSize = (bpPtr->blockType == bt_rle) ? cSize : 0; |
| 331 | |
| 332 | if (bpPtr->blockType == bt_end) return 0; |
| 333 | if (bpPtr->blockType == bt_rle) return 1; |
| 334 | return cSize; |
| 335 | } |
| 336 | |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 337 | |
| Yann Collet | 0f366c6 | 2015-11-12 16:19:30 +0100 | [diff] [blame] | 338 | static size_t ZSTD_copyRawBlock(void* dst, size_t maxDstSize, const void* src, size_t srcSize) |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 339 | { |
| 340 | if (srcSize > maxDstSize) return ERROR(dstSize_tooSmall); |
| 341 | memcpy(dst, src, srcSize); |
| 342 | return srcSize; |
| 343 | } |
| 344 | |
| 345 | |
| Yann Collet | 953ce72 | 2016-02-04 15:28:14 +0100 | [diff] [blame] | 346 | /*! ZSTD_decodeLiteralsBlock() : |
| Yann Collet | 14983e7 | 2015-11-11 21:38:21 +0100 | [diff] [blame] | 347 | @return : nb of bytes read from src (< srcSize ) */ |
| Yann Collet | 5b78d2f | 2015-11-12 15:36:05 +0100 | [diff] [blame] | 348 | size_t ZSTD_decodeLiteralsBlock(ZSTD_DCtx* dctx, |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 349 | const void* src, size_t srcSize) /* note : srcSize < BLOCKSIZE */ |
| 350 | { |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 351 | const BYTE* const istart = (const BYTE*) src; |
| 352 | |
| 353 | /* any compressed block with literals segment must be at least this size */ |
| 354 | if (srcSize < MIN_CBLOCK_SIZE) return ERROR(corruption_detected); |
| 355 | |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 356 | switch(istart[0]>> 6) |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 357 | { |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 358 | case IS_HUF: |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 359 | { |
| Yann Collet | afe0709 | 2016-01-25 04:10:46 +0100 | [diff] [blame] | 360 | size_t litSize, litCSize, singleStream=0; |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 361 | U32 lhSize = ((istart[0]) >> 4) & 3; |
| 362 | switch(lhSize) |
| 363 | { |
| 364 | case 0: case 1: default: /* note : default is impossible, since lhSize into [0..3] */ |
| 365 | /* 2 - 2 - 10 - 10 */ |
| 366 | lhSize=3; |
| Yann Collet | afe0709 | 2016-01-25 04:10:46 +0100 | [diff] [blame] | 367 | singleStream = istart[0] & 16; |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 368 | litSize = ((istart[0] & 15) << 6) + (istart[1] >> 2); |
| 369 | litCSize = ((istart[1] & 3) << 8) + istart[2]; |
| 370 | break; |
| 371 | case 2: |
| 372 | /* 2 - 2 - 14 - 14 */ |
| 373 | lhSize=4; |
| 374 | litSize = ((istart[0] & 15) << 10) + (istart[1] << 2) + (istart[2] >> 6); |
| 375 | litCSize = ((istart[2] & 63) << 8) + istart[3]; |
| 376 | break; |
| 377 | case 3: |
| 378 | /* 2 - 2 - 18 - 18 */ |
| 379 | lhSize=5; |
| 380 | litSize = ((istart[0] & 15) << 14) + (istart[1] << 6) + (istart[2] >> 2); |
| 381 | litCSize = ((istart[2] & 3) << 16) + (istart[3] << 8) + istart[4]; |
| 382 | break; |
| 383 | } |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 384 | if (litSize > BLOCKSIZE) return ERROR(corruption_detected); |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 385 | |
| Yann Collet | afe0709 | 2016-01-25 04:10:46 +0100 | [diff] [blame] | 386 | if (HUF_isError(singleStream ? |
| 387 | HUF_decompress1X2(dctx->litBuffer, litSize, istart+lhSize, litCSize) : |
| 388 | HUF_decompress (dctx->litBuffer, litSize, istart+lhSize, litCSize) )) |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 389 | return ERROR(corruption_detected); |
| 390 | |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 391 | dctx->litPtr = dctx->litBuffer; |
| 392 | dctx->litBufSize = BLOCKSIZE+8; |
| 393 | dctx->litSize = litSize; |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 394 | return litCSize + lhSize; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 395 | } |
| Yann Collet | b923f65 | 2016-01-26 03:14:20 +0100 | [diff] [blame] | 396 | case IS_PCH: |
| 397 | { |
| 398 | size_t errorCode; |
| 399 | size_t litSize, litCSize; |
| 400 | U32 lhSize = ((istart[0]) >> 4) & 3; |
| 401 | if (lhSize != 1) /* only case supported for now : small litSize, single stream */ |
| 402 | return ERROR(corruption_detected); |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 403 | if (!dctx->flagStaticTables) |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 404 | return ERROR(dictionary_corrupted); |
| Yann Collet | b923f65 | 2016-01-26 03:14:20 +0100 | [diff] [blame] | 405 | |
| 406 | /* 2 - 2 - 10 - 10 */ |
| 407 | lhSize=3; |
| 408 | litSize = ((istart[0] & 15) << 6) + (istart[1] >> 2); |
| 409 | litCSize = ((istart[1] & 3) << 8) + istart[2]; |
| 410 | |
| 411 | errorCode = HUF_decompress1X4_usingDTable(dctx->litBuffer, litSize, istart+lhSize, litCSize, dctx->hufTableX4); |
| 412 | if (HUF_isError(errorCode)) return ERROR(corruption_detected); |
| 413 | |
| 414 | dctx->litPtr = dctx->litBuffer; |
| 415 | dctx->litBufSize = BLOCKSIZE+WILDCOPY_OVERLENGTH; |
| 416 | dctx->litSize = litSize; |
| 417 | return litCSize + lhSize; |
| 418 | } |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 419 | case IS_RAW: |
| 420 | { |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 421 | size_t litSize; |
| 422 | U32 lhSize = ((istart[0]) >> 4) & 3; |
| 423 | switch(lhSize) |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 424 | { |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 425 | case 0: case 1: default: /* note : default is impossible, since lhSize into [0..3] */ |
| 426 | lhSize=1; |
| 427 | litSize = istart[0] & 31; |
| 428 | break; |
| 429 | case 2: |
| 430 | litSize = ((istart[0] & 15) << 8) + istart[1]; |
| 431 | break; |
| 432 | case 3: |
| 433 | litSize = ((istart[0] & 15) << 16) + (istart[1] << 8) + istart[2]; |
| 434 | break; |
| 435 | } |
| 436 | |
| Yann Collet | 61e16ce | 2016-01-31 02:04:15 +0100 | [diff] [blame] | 437 | if (lhSize+litSize+WILDCOPY_OVERLENGTH > srcSize) { /* risk reading beyond src buffer with wildcopy */ |
| Yann Collet | b010b3b | 2016-02-03 12:39:34 +0100 | [diff] [blame] | 438 | if (litSize+lhSize > srcSize) return ERROR(corruption_detected); |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 439 | memcpy(dctx->litBuffer, istart+lhSize, litSize); |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 440 | dctx->litPtr = dctx->litBuffer; |
| 441 | dctx->litBufSize = BLOCKSIZE+8; |
| 442 | dctx->litSize = litSize; |
| Yann Collet | bc4c8aa | 2016-01-25 17:26:01 +0100 | [diff] [blame] | 443 | return lhSize+litSize; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 444 | } |
| 445 | /* direct reference into compressed stream */ |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 446 | dctx->litPtr = istart+lhSize; |
| 447 | dctx->litBufSize = srcSize-lhSize; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 448 | dctx->litSize = litSize; |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 449 | return lhSize+litSize; |
| 450 | } |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 451 | case IS_RLE: |
| 452 | { |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 453 | size_t litSize; |
| 454 | U32 lhSize = ((istart[0]) >> 4) & 3; |
| 455 | switch(lhSize) |
| 456 | { |
| 457 | case 0: case 1: default: /* note : default is impossible, since lhSize into [0..3] */ |
| 458 | lhSize = 1; |
| 459 | litSize = istart[0] & 31; |
| 460 | break; |
| 461 | case 2: |
| 462 | litSize = ((istart[0] & 15) << 8) + istart[1]; |
| 463 | break; |
| 464 | case 3: |
| 465 | litSize = ((istart[0] & 15) << 16) + (istart[1] << 8) + istart[2]; |
| 466 | break; |
| 467 | } |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 468 | if (litSize > BLOCKSIZE) return ERROR(corruption_detected); |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 469 | memset(dctx->litBuffer, istart[lhSize], litSize); |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 470 | dctx->litPtr = dctx->litBuffer; |
| Yann Collet | b923f65 | 2016-01-26 03:14:20 +0100 | [diff] [blame] | 471 | dctx->litBufSize = BLOCKSIZE+WILDCOPY_OVERLENGTH; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 472 | dctx->litSize = litSize; |
| Yann Collet | 59d1f79 | 2016-01-23 19:28:41 +0100 | [diff] [blame] | 473 | return lhSize+1; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 474 | } |
| Yann Collet | b923f65 | 2016-01-26 03:14:20 +0100 | [diff] [blame] | 475 | default: |
| 476 | return ERROR(corruption_detected); /* impossible */ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 477 | } |
| 478 | } |
| 479 | |
| 480 | |
| 481 | size_t ZSTD_decodeSeqHeaders(int* nbSeq, const BYTE** dumpsPtr, size_t* dumpsLengthPtr, |
| 482 | FSE_DTable* DTableLL, FSE_DTable* DTableML, FSE_DTable* DTableOffb, |
| 483 | const void* src, size_t srcSize) |
| 484 | { |
| 485 | const BYTE* const istart = (const BYTE* const)src; |
| 486 | const BYTE* ip = istart; |
| 487 | const BYTE* const iend = istart + srcSize; |
| 488 | U32 LLtype, Offtype, MLtype; |
| 489 | U32 LLlog, Offlog, MLlog; |
| 490 | size_t dumpsLength; |
| 491 | |
| 492 | /* check */ |
| Yann Collet | 61e16ce | 2016-01-31 02:04:15 +0100 | [diff] [blame] | 493 | if (srcSize < MIN_SEQUENCES_SIZE) |
| 494 | return ERROR(srcSize_wrong); |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 495 | |
| 496 | /* SeqHead */ |
| Yann Collet | 61e16ce | 2016-01-31 02:04:15 +0100 | [diff] [blame] | 497 | *nbSeq = *ip++; |
| 498 | if (*nbSeq==0) return 1; |
| Yann Collet | d409db6 | 2016-03-04 14:45:31 +0100 | [diff] [blame^] | 499 | if (*nbSeq >= 0x7F) { |
| 500 | if (*nbSeq == 0xFF) |
| 501 | *nbSeq = MEM_readLE16(ip) + LONGNBSEQ, ip+=2; |
| 502 | else |
| 503 | *nbSeq = ((nbSeq[0]-0x80)<<8) + *ip++; |
| 504 | } |
| Yann Collet | e93d6ce | 2016-01-31 00:58:06 +0100 | [diff] [blame] | 505 | |
| Yann Collet | d409db6 | 2016-03-04 14:45:31 +0100 | [diff] [blame^] | 506 | /* FSE table descriptors */ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 507 | LLtype = *ip >> 6; |
| 508 | Offtype = (*ip >> 4) & 3; |
| 509 | MLtype = (*ip >> 2) & 3; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 510 | if (*ip & 2) { |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 511 | dumpsLength = ip[2]; |
| 512 | dumpsLength += ip[1] << 8; |
| 513 | ip += 3; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 514 | } else { |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 515 | dumpsLength = ip[1]; |
| 516 | dumpsLength += (ip[0] & 1) << 8; |
| 517 | ip += 2; |
| 518 | } |
| 519 | *dumpsPtr = ip; |
| 520 | ip += dumpsLength; |
| 521 | *dumpsLengthPtr = dumpsLength; |
| 522 | |
| 523 | /* check */ |
| 524 | if (ip > iend-3) return ERROR(srcSize_wrong); /* min : all 3 are "raw", hence no header, but at least xxLog bits per type */ |
| 525 | |
| 526 | /* sequences */ |
| 527 | { |
| Yann Collet | 82368cf | 2015-11-16 19:10:56 +0100 | [diff] [blame] | 528 | S16 norm[MaxML+1]; /* assumption : MaxML >= MaxLL >= MaxOff */ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 529 | size_t headerSize; |
| 530 | |
| 531 | /* Build DTables */ |
| 532 | switch(LLtype) |
| 533 | { |
| 534 | U32 max; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 535 | case FSE_ENCODING_RLE : |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 536 | LLlog = 0; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 537 | FSE_buildDTable_rle(DTableLL, *ip++); |
| 538 | break; |
| 539 | case FSE_ENCODING_RAW : |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 540 | LLlog = LLbits; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 541 | FSE_buildDTable_raw(DTableLL, LLbits); |
| 542 | break; |
| 543 | case FSE_ENCODING_STATIC: |
| 544 | break; |
| 545 | case FSE_ENCODING_DYNAMIC : |
| 546 | default : /* impossible */ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 547 | max = MaxLL; |
| 548 | headerSize = FSE_readNCount(norm, &max, &LLlog, ip, iend-ip); |
| 549 | if (FSE_isError(headerSize)) return ERROR(GENERIC); |
| 550 | if (LLlog > LLFSELog) return ERROR(corruption_detected); |
| 551 | ip += headerSize; |
| 552 | FSE_buildDTable(DTableLL, norm, max, LLlog); |
| 553 | } |
| 554 | |
| 555 | switch(Offtype) |
| 556 | { |
| 557 | U32 max; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 558 | case FSE_ENCODING_RLE : |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 559 | Offlog = 0; |
| 560 | if (ip > iend-2) return ERROR(srcSize_wrong); /* min : "raw", hence no header, but at least xxLog bits */ |
| 561 | FSE_buildDTable_rle(DTableOffb, *ip++ & MaxOff); /* if *ip > MaxOff, data is corrupted */ |
| 562 | break; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 563 | case FSE_ENCODING_RAW : |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 564 | Offlog = Offbits; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 565 | FSE_buildDTable_raw(DTableOffb, Offbits); |
| 566 | break; |
| 567 | case FSE_ENCODING_STATIC: |
| 568 | break; |
| 569 | case FSE_ENCODING_DYNAMIC : |
| 570 | default : /* impossible */ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 571 | max = MaxOff; |
| 572 | headerSize = FSE_readNCount(norm, &max, &Offlog, ip, iend-ip); |
| 573 | if (FSE_isError(headerSize)) return ERROR(GENERIC); |
| 574 | if (Offlog > OffFSELog) return ERROR(corruption_detected); |
| 575 | ip += headerSize; |
| 576 | FSE_buildDTable(DTableOffb, norm, max, Offlog); |
| 577 | } |
| 578 | |
| 579 | switch(MLtype) |
| 580 | { |
| 581 | U32 max; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 582 | case FSE_ENCODING_RLE : |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 583 | MLlog = 0; |
| 584 | if (ip > iend-2) return ERROR(srcSize_wrong); /* min : "raw", hence no header, but at least xxLog bits */ |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 585 | FSE_buildDTable_rle(DTableML, *ip++); |
| 586 | break; |
| 587 | case FSE_ENCODING_RAW : |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 588 | MLlog = MLbits; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 589 | FSE_buildDTable_raw(DTableML, MLbits); |
| 590 | break; |
| 591 | case FSE_ENCODING_STATIC: |
| 592 | break; |
| 593 | case FSE_ENCODING_DYNAMIC : |
| 594 | default : /* impossible */ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 595 | max = MaxML; |
| 596 | headerSize = FSE_readNCount(norm, &max, &MLlog, ip, iend-ip); |
| 597 | if (FSE_isError(headerSize)) return ERROR(GENERIC); |
| 598 | if (MLlog > MLFSELog) return ERROR(corruption_detected); |
| 599 | ip += headerSize; |
| 600 | FSE_buildDTable(DTableML, norm, max, MLlog); |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 601 | } } |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 602 | |
| 603 | return ip-istart; |
| 604 | } |
| 605 | |
| 606 | |
| 607 | typedef struct { |
| 608 | size_t litLength; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 609 | size_t matchLength; |
| Yann Collet | e93d6ce | 2016-01-31 00:58:06 +0100 | [diff] [blame] | 610 | size_t offset; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 611 | } seq_t; |
| 612 | |
| 613 | typedef struct { |
| 614 | BIT_DStream_t DStream; |
| 615 | FSE_DState_t stateLL; |
| 616 | FSE_DState_t stateOffb; |
| 617 | FSE_DState_t stateML; |
| 618 | size_t prevOffset; |
| 619 | const BYTE* dumps; |
| 620 | const BYTE* dumpsEnd; |
| 621 | } seqState_t; |
| 622 | |
| inikep | e9f30ea | 2016-02-03 12:53:07 +0100 | [diff] [blame] | 623 | |
| 624 | |
| inikep | 6b3739c | 2016-02-22 15:53:42 +0100 | [diff] [blame] | 625 | static void ZSTD_decodeSequence(seq_t* seq, seqState_t* seqState, const U32 mls) |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 626 | { |
| 627 | size_t litLength; |
| 628 | size_t prevOffset; |
| 629 | size_t offset; |
| 630 | size_t matchLength; |
| 631 | const BYTE* dumps = seqState->dumps; |
| 632 | const BYTE* const de = seqState->dumpsEnd; |
| 633 | |
| 634 | /* Literal length */ |
| Yann Collet | e93d6ce | 2016-01-31 00:58:06 +0100 | [diff] [blame] | 635 | litLength = FSE_peakSymbol(&(seqState->stateLL)); |
| Yann Collet | e4fdad5 | 2015-11-25 21:09:17 +0100 | [diff] [blame] | 636 | prevOffset = litLength ? seq->offset : seqState->prevOffset; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 637 | if (litLength == MaxLL) { |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 638 | U32 add = *dumps++; |
| 639 | if (add < 255) litLength += add; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 640 | else { |
| Yann Collet | 7d8e6bd | 2016-02-02 17:30:37 +0100 | [diff] [blame] | 641 | litLength = MEM_readLE32(dumps) & 0xFFFFFF; /* no risk : dumps is always followed by seq tables > 1 byte */ |
| 642 | if (litLength&1) litLength>>=1, dumps += 3; |
| 643 | else litLength = (U16)(litLength)>>1, dumps += 2; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 644 | } |
| 645 | if (dumps >= de) dumps = de-1; /* late correction, to avoid read overflow (data is now corrupted anyway) */ |
| 646 | } |
| 647 | |
| 648 | /* Offset */ |
| 649 | { |
| 650 | static const U32 offsetPrefix[MaxOff+1] = { |
| 651 | 1 /*fake*/, 1, 2, 4, 8, 16, 32, 64, 128, 256, |
| 652 | 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 262144, |
| 653 | 524288, 1048576, 2097152, 4194304, 8388608, 16777216, 33554432, /*fake*/ 1, 1, 1, 1, 1 }; |
| Yann Collet | e93d6ce | 2016-01-31 00:58:06 +0100 | [diff] [blame] | 654 | U32 offsetCode = FSE_peakSymbol(&(seqState->stateOffb)); /* <= maxOff, by table construction */ |
| 655 | U32 nbBits = offsetCode - 1; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 656 | if (offsetCode==0) nbBits = 0; /* cmove */ |
| 657 | offset = offsetPrefix[offsetCode] + BIT_readBits(&(seqState->DStream), nbBits); |
| 658 | if (MEM_32bits()) BIT_reloadDStream(&(seqState->DStream)); |
| Yann Collet | e93d6ce | 2016-01-31 00:58:06 +0100 | [diff] [blame] | 659 | if (offsetCode==0) offset = prevOffset; /* repcode, cmove */ |
| Yann Collet | 55aa7f9 | 2015-11-20 12:04:52 +0100 | [diff] [blame] | 660 | if (offsetCode | !litLength) seqState->prevOffset = seq->offset; /* cmove */ |
| Yann Collet | e93d6ce | 2016-01-31 00:58:06 +0100 | [diff] [blame] | 661 | FSE_decodeSymbol(&(seqState->stateOffb), &(seqState->DStream)); /* update */ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 662 | } |
| 663 | |
| Yann Collet | e93d6ce | 2016-01-31 00:58:06 +0100 | [diff] [blame] | 664 | /* Literal length update */ |
| 665 | FSE_decodeSymbol(&(seqState->stateLL), &(seqState->DStream)); /* update */ |
| 666 | if (MEM_32bits()) BIT_reloadDStream(&(seqState->DStream)); |
| 667 | |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 668 | /* MatchLength */ |
| 669 | matchLength = FSE_decodeSymbol(&(seqState->stateML), &(seqState->DStream)); |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 670 | if (matchLength == MaxML) { |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 671 | U32 add = *dumps++; |
| 672 | if (add < 255) matchLength += add; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 673 | else { |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 674 | matchLength = MEM_readLE32(dumps) & 0xFFFFFF; /* no pb : dumps is always followed by seq tables > 1 byte */ |
| Yann Collet | 7d8e6bd | 2016-02-02 17:30:37 +0100 | [diff] [blame] | 675 | if (matchLength&1) matchLength>>=1, dumps += 3; |
| 676 | else matchLength = (U16)(matchLength)>>1, dumps += 2; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 677 | } |
| 678 | if (dumps >= de) dumps = de-1; /* late correction, to avoid read overflow (data is now corrupted anyway) */ |
| 679 | } |
| inikep | 6b3739c | 2016-02-22 15:53:42 +0100 | [diff] [blame] | 680 | matchLength += mls; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 681 | |
| 682 | /* save result */ |
| 683 | seq->litLength = litLength; |
| 684 | seq->offset = offset; |
| 685 | seq->matchLength = matchLength; |
| 686 | seqState->dumps = dumps; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 687 | |
| Yann Collet | 7d8e6bd | 2016-02-02 17:30:37 +0100 | [diff] [blame] | 688 | #if 0 /* debug */ |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 689 | { |
| 690 | static U64 totalDecoded = 0; |
| 691 | printf("pos %6u : %3u literals & match %3u bytes at distance %6u \n", |
| 692 | (U32)(totalDecoded), (U32)litLength, (U32)matchLength, (U32)offset); |
| 693 | totalDecoded += litLength + matchLength; |
| 694 | } |
| 695 | #endif |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 696 | } |
| 697 | |
| 698 | |
| Yann Collet | 5b78d2f | 2015-11-12 15:36:05 +0100 | [diff] [blame] | 699 | FORCE_INLINE size_t ZSTD_execSequence(BYTE* op, |
| Yann Collet | b3a2af9 | 2015-11-19 17:13:19 +0100 | [diff] [blame] | 700 | BYTE* const oend, seq_t sequence, |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 701 | const BYTE** litPtr, const BYTE* const litLimit_8, |
| Yann Collet | 417890c | 2015-12-04 17:16:37 +0100 | [diff] [blame] | 702 | const BYTE* const base, const BYTE* const vBase, const BYTE* const dictEnd) |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 703 | { |
| Yann Collet | b3a2af9 | 2015-11-19 17:13:19 +0100 | [diff] [blame] | 704 | static const int dec32table[] = { 0, 1, 2, 1, 4, 4, 4, 4 }; /* added */ |
| 705 | static const int dec64table[] = { 8, 8, 8, 7, 8, 9,10,11 }; /* substracted */ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 706 | BYTE* const oLitEnd = op + sequence.litLength; |
| Yann Collet | b3a2af9 | 2015-11-19 17:13:19 +0100 | [diff] [blame] | 707 | const size_t sequenceLength = sequence.litLength + sequence.matchLength; |
| 708 | BYTE* const oMatchEnd = op + sequenceLength; /* risk : address space overflow (32-bits) */ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 709 | BYTE* const oend_8 = oend-8; |
| 710 | const BYTE* const litEnd = *litPtr + sequence.litLength; |
| Yann Collet | b3a2af9 | 2015-11-19 17:13:19 +0100 | [diff] [blame] | 711 | const BYTE* match = oLitEnd - sequence.offset; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 712 | |
| 713 | /* check */ |
| 714 | if (oLitEnd > oend_8) return ERROR(dstSize_tooSmall); /* last match must start at a minimum distance of 8 from oend */ |
| 715 | if (oMatchEnd > oend) return ERROR(dstSize_tooSmall); /* overwrite beyond dst buffer */ |
| 716 | if (litEnd > litLimit_8) return ERROR(corruption_detected); /* risk read beyond lit buffer */ |
| 717 | |
| 718 | /* copy Literals */ |
| 719 | ZSTD_wildcopy(op, *litPtr, sequence.litLength); /* note : oLitEnd <= oend-8 : no risk of overwrite beyond oend */ |
| 720 | op = oLitEnd; |
| 721 | *litPtr = litEnd; /* update for next sequence */ |
| 722 | |
| 723 | /* copy Match */ |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 724 | if (sequence.offset > (size_t)(oLitEnd - base)) { |
| Yann Collet | 44287a3 | 2015-11-30 23:13:56 +0100 | [diff] [blame] | 725 | /* offset beyond prefix */ |
| Yann Collet | 9f5ab1a | 2015-12-11 00:27:41 +0100 | [diff] [blame] | 726 | if (sequence.offset > (size_t)(oLitEnd - vBase)) |
| 727 | return ERROR(corruption_detected); |
| Yann Collet | 44287a3 | 2015-11-30 23:13:56 +0100 | [diff] [blame] | 728 | match = dictEnd - (base-match); |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 729 | if (match + sequence.matchLength <= dictEnd) { |
| Yann Collet | 4bfe415 | 2015-12-06 13:18:37 +0100 | [diff] [blame] | 730 | memmove(oLitEnd, match, sequence.matchLength); |
| Yann Collet | 44287a3 | 2015-11-30 23:13:56 +0100 | [diff] [blame] | 731 | return sequenceLength; |
| 732 | } |
| 733 | /* span extDict & currentPrefixSegment */ |
| 734 | { |
| 735 | size_t length1 = dictEnd - match; |
| Yann Collet | 4bfe415 | 2015-12-06 13:18:37 +0100 | [diff] [blame] | 736 | memmove(oLitEnd, match, length1); |
| Yann Collet | 44287a3 | 2015-11-30 23:13:56 +0100 | [diff] [blame] | 737 | op = oLitEnd + length1; |
| 738 | sequence.matchLength -= length1; |
| 739 | match = base; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 740 | } } |
| Yann Collet | 0f366c6 | 2015-11-12 16:19:30 +0100 | [diff] [blame] | 741 | |
| Yann Collet | 44287a3 | 2015-11-30 23:13:56 +0100 | [diff] [blame] | 742 | /* match within prefix */ |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 743 | if (sequence.offset < 8) { |
| Yann Collet | 44287a3 | 2015-11-30 23:13:56 +0100 | [diff] [blame] | 744 | /* close range match, overlap */ |
| 745 | const int sub2 = dec64table[sequence.offset]; |
| 746 | op[0] = match[0]; |
| 747 | op[1] = match[1]; |
| 748 | op[2] = match[2]; |
| 749 | op[3] = match[3]; |
| 750 | match += dec32table[sequence.offset]; |
| 751 | ZSTD_copy4(op+4, match); |
| 752 | match -= sub2; |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 753 | } else { |
| Yann Collet | 44287a3 | 2015-11-30 23:13:56 +0100 | [diff] [blame] | 754 | ZSTD_copy8(op, match); |
| 755 | } |
| 756 | op += 8; match += 8; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 757 | |
| inikep | a4dde25 | 2016-03-01 14:14:35 +0100 | [diff] [blame] | 758 | if (oMatchEnd > oend-(16-3)) { // 3 = MINMATCH |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 759 | if (op < oend_8) { |
| Yann Collet | 44287a3 | 2015-11-30 23:13:56 +0100 | [diff] [blame] | 760 | ZSTD_wildcopy(op, match, oend_8 - op); |
| 761 | match += oend_8 - op; |
| 762 | op = oend_8; |
| 763 | } |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 764 | while (op < oMatchEnd) |
| 765 | *op++ = *match++; |
| 766 | } else { |
| Yann Collet | 44287a3 | 2015-11-30 23:13:56 +0100 | [diff] [blame] | 767 | ZSTD_wildcopy(op, match, sequence.matchLength-8); /* works even if matchLength < 8 */ |
| 768 | } |
| 769 | return sequenceLength; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 770 | } |
| 771 | |
| Yann Collet | b3a2af9 | 2015-11-19 17:13:19 +0100 | [diff] [blame] | 772 | |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 773 | static size_t ZSTD_decompressSequences( |
| Yann Collet | 5b78d2f | 2015-11-12 15:36:05 +0100 | [diff] [blame] | 774 | ZSTD_DCtx* dctx, |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 775 | void* dst, size_t maxDstSize, |
| 776 | const void* seqStart, size_t seqSize) |
| 777 | { |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 778 | const BYTE* ip = (const BYTE*)seqStart; |
| 779 | const BYTE* const iend = ip + seqSize; |
| 780 | BYTE* const ostart = (BYTE* const)dst; |
| 781 | BYTE* op = ostart; |
| 782 | BYTE* const oend = ostart + maxDstSize; |
| 783 | size_t errorCode, dumpsLength; |
| 784 | const BYTE* litPtr = dctx->litPtr; |
| 785 | const BYTE* const litLimit_8 = litPtr + dctx->litBufSize - 8; |
| 786 | const BYTE* const litEnd = litPtr + dctx->litSize; |
| 787 | int nbSeq; |
| 788 | const BYTE* dumps; |
| 789 | U32* DTableLL = dctx->LLTable; |
| 790 | U32* DTableML = dctx->MLTable; |
| 791 | U32* DTableOffb = dctx->OffTable; |
| Yann Collet | 417890c | 2015-12-04 17:16:37 +0100 | [diff] [blame] | 792 | const BYTE* const base = (const BYTE*) (dctx->base); |
| 793 | const BYTE* const vBase = (const BYTE*) (dctx->vBase); |
| 794 | const BYTE* const dictEnd = (const BYTE*) (dctx->dictEnd); |
| inikep | 6b3739c | 2016-02-22 15:53:42 +0100 | [diff] [blame] | 795 | const U32 mls = dctx->params.searchLength; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 796 | |
| 797 | /* Build Decoding Tables */ |
| 798 | errorCode = ZSTD_decodeSeqHeaders(&nbSeq, &dumps, &dumpsLength, |
| 799 | DTableLL, DTableML, DTableOffb, |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 800 | ip, seqSize); |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 801 | if (ZSTD_isError(errorCode)) return errorCode; |
| 802 | ip += errorCode; |
| 803 | |
| 804 | /* Regen sequences */ |
| Yann Collet | e93d6ce | 2016-01-31 00:58:06 +0100 | [diff] [blame] | 805 | if (nbSeq) { |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 806 | seq_t sequence; |
| 807 | seqState_t seqState; |
| 808 | |
| 809 | memset(&sequence, 0, sizeof(sequence)); |
| Yann Collet | 61e16ce | 2016-01-31 02:04:15 +0100 | [diff] [blame] | 810 | sequence.offset = REPCODE_STARTVALUE; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 811 | seqState.dumps = dumps; |
| 812 | seqState.dumpsEnd = dumps + dumpsLength; |
| Yann Collet | 61e16ce | 2016-01-31 02:04:15 +0100 | [diff] [blame] | 813 | seqState.prevOffset = REPCODE_STARTVALUE; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 814 | errorCode = BIT_initDStream(&(seqState.DStream), ip, iend-ip); |
| 815 | if (ERR_isError(errorCode)) return ERROR(corruption_detected); |
| 816 | FSE_initDState(&(seqState.stateLL), &(seqState.DStream), DTableLL); |
| 817 | FSE_initDState(&(seqState.stateOffb), &(seqState.DStream), DTableOffb); |
| 818 | FSE_initDState(&(seqState.stateML), &(seqState.DStream), DTableML); |
| 819 | |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 820 | for ( ; (BIT_reloadDStream(&(seqState.DStream)) <= BIT_DStream_completed) && nbSeq ; ) { |
| Yann Collet | b3a2af9 | 2015-11-19 17:13:19 +0100 | [diff] [blame] | 821 | size_t oneSeqSize; |
| 822 | nbSeq--; |
| inikep | 6b3739c | 2016-02-22 15:53:42 +0100 | [diff] [blame] | 823 | ZSTD_decodeSequence(&sequence, &seqState, mls); |
| Yann Collet | b3a2af9 | 2015-11-19 17:13:19 +0100 | [diff] [blame] | 824 | oneSeqSize = ZSTD_execSequence(op, oend, sequence, &litPtr, litLimit_8, base, vBase, dictEnd); |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 825 | if (ZSTD_isError(oneSeqSize)) return oneSeqSize; |
| 826 | op += oneSeqSize; |
| 827 | } |
| 828 | |
| 829 | /* check if reached exact end */ |
| Yann Collet | 35f7de5 | 2016-01-31 02:51:03 +0100 | [diff] [blame] | 830 | if (nbSeq) return ERROR(corruption_detected); |
| Yann Collet | e93d6ce | 2016-01-31 00:58:06 +0100 | [diff] [blame] | 831 | } |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 832 | |
| Yann Collet | e93d6ce | 2016-01-31 00:58:06 +0100 | [diff] [blame] | 833 | /* last literal segment */ |
| 834 | { |
| 835 | size_t lastLLSize = litEnd - litPtr; |
| 836 | if (litPtr > litEnd) return ERROR(corruption_detected); /* too many literals already used */ |
| 837 | if (op+lastLLSize > oend) return ERROR(dstSize_tooSmall); |
| 838 | memcpy(op, litPtr, lastLLSize); |
| 839 | op += lastLLSize; |
| 840 | } |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 841 | |
| 842 | return op-ostart; |
| 843 | } |
| 844 | |
| 845 | |
| Yann Collet | b012510 | 2016-01-09 02:00:10 +0100 | [diff] [blame] | 846 | static void ZSTD_checkContinuity(ZSTD_DCtx* dctx, const void* dst) |
| 847 | { |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 848 | if (dst != dctx->previousDstEnd) { /* not contiguous */ |
| Yann Collet | b012510 | 2016-01-09 02:00:10 +0100 | [diff] [blame] | 849 | dctx->dictEnd = dctx->previousDstEnd; |
| 850 | dctx->vBase = (const char*)dst - ((const char*)(dctx->previousDstEnd) - (const char*)(dctx->base)); |
| 851 | dctx->base = dst; |
| 852 | dctx->previousDstEnd = dst; |
| 853 | } |
| 854 | } |
| 855 | |
| 856 | |
| 857 | static size_t ZSTD_decompressBlock_internal(ZSTD_DCtx* dctx, |
| Yann Collet | b010b3b | 2016-02-03 12:39:34 +0100 | [diff] [blame] | 858 | void* dst, size_t dstCapacity, |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 859 | const void* src, size_t srcSize) |
| Yann Collet | b010b3b | 2016-02-03 12:39:34 +0100 | [diff] [blame] | 860 | { /* blockType == blockCompressed */ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 861 | const BYTE* ip = (const BYTE*)src; |
| Yann Collet | b010b3b | 2016-02-03 12:39:34 +0100 | [diff] [blame] | 862 | size_t litCSize; |
| 863 | |
| 864 | if (srcSize >= BLOCKSIZE) return ERROR(srcSize_wrong); |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 865 | |
| inikep | a4dde25 | 2016-03-01 14:14:35 +0100 | [diff] [blame] | 866 | ZSTD_LOG_BLOCK("%p: ZSTD_decompressBlock_internal searchLength=%d\n", dctx->base, dctx->params.searchLength); |
| 867 | |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 868 | /* Decode literals sub-block */ |
| Yann Collet | b010b3b | 2016-02-03 12:39:34 +0100 | [diff] [blame] | 869 | litCSize = ZSTD_decodeLiteralsBlock(dctx, src, srcSize); |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 870 | if (ZSTD_isError(litCSize)) return litCSize; |
| 871 | ip += litCSize; |
| 872 | srcSize -= litCSize; |
| 873 | |
| Yann Collet | b010b3b | 2016-02-03 12:39:34 +0100 | [diff] [blame] | 874 | return ZSTD_decompressSequences(dctx, dst, dstCapacity, ip, srcSize); |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 875 | } |
| 876 | |
| 877 | |
| Yann Collet | b012510 | 2016-01-09 02:00:10 +0100 | [diff] [blame] | 878 | size_t ZSTD_decompressBlock(ZSTD_DCtx* dctx, |
| Yann Collet | b010b3b | 2016-02-03 12:39:34 +0100 | [diff] [blame] | 879 | void* dst, size_t dstCapacity, |
| Yann Collet | b012510 | 2016-01-09 02:00:10 +0100 | [diff] [blame] | 880 | const void* src, size_t srcSize) |
| 881 | { |
| 882 | ZSTD_checkContinuity(dctx, dst); |
| Yann Collet | b010b3b | 2016-02-03 12:39:34 +0100 | [diff] [blame] | 883 | return ZSTD_decompressBlock_internal(dctx, dst, dstCapacity, src, srcSize); |
| Yann Collet | b012510 | 2016-01-09 02:00:10 +0100 | [diff] [blame] | 884 | } |
| 885 | |
| 886 | |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 887 | /*! ZSTD_decompress_continueDCtx |
| 888 | * dctx must have been properly initialized */ |
| 889 | static size_t ZSTD_decompress_continueDCtx(ZSTD_DCtx* dctx, |
| Yann Collet | 31683c0 | 2015-12-18 01:26:48 +0100 | [diff] [blame] | 890 | void* dst, size_t maxDstSize, |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 891 | const void* src, size_t srcSize) |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 892 | { |
| 893 | const BYTE* ip = (const BYTE*)src; |
| 894 | const BYTE* iend = ip + srcSize; |
| 895 | BYTE* const ostart = (BYTE* const)dst; |
| 896 | BYTE* op = ostart; |
| 897 | BYTE* const oend = ostart + maxDstSize; |
| 898 | size_t remainingSize = srcSize; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 899 | blockProperties_t blockProperties; |
| 900 | |
| 901 | /* Frame Header */ |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 902 | { |
| 903 | size_t frameHeaderSize; |
| 904 | if (srcSize < ZSTD_frameHeaderSize_min+ZSTD_blockHeaderSize) return ERROR(srcSize_wrong); |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 905 | #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT==1) |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 906 | { |
| 907 | const U32 magicNumber = MEM_readLE32(src); |
| 908 | if (ZSTD_isLegacy(magicNumber)) |
| 909 | return ZSTD_decompressLegacy(dst, maxDstSize, src, srcSize, magicNumber); |
| 910 | } |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 911 | #endif |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 912 | frameHeaderSize = ZSTD_decodeFrameHeader_Part1(dctx, src, ZSTD_frameHeaderSize_min); |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 913 | if (ZSTD_isError(frameHeaderSize)) return frameHeaderSize; |
| 914 | if (srcSize < frameHeaderSize+ZSTD_blockHeaderSize) return ERROR(srcSize_wrong); |
| 915 | ip += frameHeaderSize; remainingSize -= frameHeaderSize; |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 916 | frameHeaderSize = ZSTD_decodeFrameHeader_Part2(dctx, src, frameHeaderSize); |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 917 | if (ZSTD_isError(frameHeaderSize)) return frameHeaderSize; |
| 918 | } |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 919 | |
| 920 | /* Loop on each block */ |
| 921 | while (1) |
| 922 | { |
| 923 | size_t decodedSize=0; |
| 924 | size_t cBlockSize = ZSTD_getcBlockSize(ip, iend-ip, &blockProperties); |
| 925 | if (ZSTD_isError(cBlockSize)) return cBlockSize; |
| 926 | |
| 927 | ip += ZSTD_blockHeaderSize; |
| 928 | remainingSize -= ZSTD_blockHeaderSize; |
| 929 | if (cBlockSize > remainingSize) return ERROR(srcSize_wrong); |
| 930 | |
| 931 | switch(blockProperties.blockType) |
| 932 | { |
| 933 | case bt_compressed: |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 934 | decodedSize = ZSTD_decompressBlock_internal(dctx, op, oend-op, ip, cBlockSize); |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 935 | break; |
| 936 | case bt_raw : |
| Yann Collet | 0f366c6 | 2015-11-12 16:19:30 +0100 | [diff] [blame] | 937 | decodedSize = ZSTD_copyRawBlock(op, oend-op, ip, cBlockSize); |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 938 | break; |
| 939 | case bt_rle : |
| 940 | return ERROR(GENERIC); /* not yet supported */ |
| 941 | break; |
| 942 | case bt_end : |
| 943 | /* end of frame */ |
| 944 | if (remainingSize) return ERROR(srcSize_wrong); |
| 945 | break; |
| 946 | default: |
| 947 | return ERROR(GENERIC); /* impossible */ |
| 948 | } |
| 949 | if (cBlockSize == 0) break; /* bt_end */ |
| 950 | |
| 951 | if (ZSTD_isError(decodedSize)) return decodedSize; |
| 952 | op += decodedSize; |
| 953 | ip += cBlockSize; |
| 954 | remainingSize -= cBlockSize; |
| 955 | } |
| 956 | |
| 957 | return op-ostart; |
| 958 | } |
| 959 | |
| Yann Collet | 31683c0 | 2015-12-18 01:26:48 +0100 | [diff] [blame] | 960 | |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 961 | size_t ZSTD_decompress_usingPreparedDCtx(ZSTD_DCtx* dctx, const ZSTD_DCtx* refDCtx, |
| 962 | void* dst, size_t maxDstSize, |
| 963 | const void* src, size_t srcSize) |
| 964 | { |
| 965 | ZSTD_copyDCtx(dctx, refDCtx); |
| 966 | ZSTD_checkContinuity(dctx, dst); |
| 967 | return ZSTD_decompress_continueDCtx(dctx, dst, maxDstSize, src, srcSize); |
| 968 | } |
| 969 | |
| 970 | |
| 971 | size_t ZSTD_decompress_usingDict(ZSTD_DCtx* dctx, |
| 972 | void* dst, size_t maxDstSize, |
| 973 | const void* src, size_t srcSize, |
| 974 | const void* dict, size_t dictSize) |
| 975 | { |
| 976 | ZSTD_decompressBegin_usingDict(dctx, dict, dictSize); |
| inikep | a4dde25 | 2016-03-01 14:14:35 +0100 | [diff] [blame] | 977 | ZSTD_LOG_BLOCK("%p: ZSTD_decompressBegin_usingDict searchLength=%d\n", dctx->base, dctx->params.searchLength); |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 978 | ZSTD_checkContinuity(dctx, dst); |
| 979 | return ZSTD_decompress_continueDCtx(dctx, dst, maxDstSize, src, srcSize); |
| 980 | } |
| 981 | |
| 982 | |
| Yann Collet | 31683c0 | 2015-12-18 01:26:48 +0100 | [diff] [blame] | 983 | size_t ZSTD_decompressDCtx(ZSTD_DCtx* dctx, void* dst, size_t maxDstSize, const void* src, size_t srcSize) |
| 984 | { |
| 985 | return ZSTD_decompress_usingDict(dctx, dst, maxDstSize, src, srcSize, NULL, 0); |
| 986 | } |
| 987 | |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 988 | size_t ZSTD_decompress(void* dst, size_t maxDstSize, const void* src, size_t srcSize) |
| 989 | { |
| Yann Collet | 3a3b72f | 2016-01-11 12:56:11 +0100 | [diff] [blame] | 990 | #if defined(ZSTD_HEAPMODE) && (ZSTD_HEAPMODE==1) |
| 991 | size_t regenSize; |
| 992 | ZSTD_DCtx* dctx = ZSTD_createDCtx(); |
| 993 | if (dctx==NULL) return ERROR(memory_allocation); |
| 994 | regenSize = ZSTD_decompressDCtx(dctx, dst, maxDstSize, src, srcSize); |
| 995 | ZSTD_freeDCtx(dctx); |
| 996 | return regenSize; |
| 997 | #else |
| Yann Collet | 31683c0 | 2015-12-18 01:26:48 +0100 | [diff] [blame] | 998 | ZSTD_DCtx dctx; |
| 999 | return ZSTD_decompressDCtx(&dctx, dst, maxDstSize, src, srcSize); |
| Yann Collet | a768a30 | 2016-01-21 16:04:35 +0100 | [diff] [blame] | 1000 | #endif |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 1001 | } |
| 1002 | |
| 1003 | |
| 1004 | /* ****************************** |
| 1005 | * Streaming Decompression API |
| 1006 | ********************************/ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 1007 | size_t ZSTD_nextSrcSizeToDecompress(ZSTD_DCtx* dctx) |
| 1008 | { |
| 1009 | return dctx->expected; |
| 1010 | } |
| 1011 | |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 1012 | size_t ZSTD_decompressContinue(ZSTD_DCtx* dctx, void* dst, size_t maxDstSize, const void* src, size_t srcSize) |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 1013 | { |
| 1014 | /* Sanity check */ |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 1015 | if (srcSize != dctx->expected) return ERROR(srcSize_wrong); |
| 1016 | ZSTD_checkContinuity(dctx, dst); |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 1017 | |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1018 | /* Decompress : frame header; part 1 */ |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 1019 | switch (dctx->stage) |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 1020 | { |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1021 | case ZSTDds_getFrameHeaderSize : |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 1022 | { |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1023 | /* get frame header size */ |
| 1024 | if (srcSize != ZSTD_frameHeaderSize_min) return ERROR(srcSize_wrong); /* impossible */ |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 1025 | dctx->headerSize = ZSTD_decodeFrameHeader_Part1(dctx, src, ZSTD_frameHeaderSize_min); |
| 1026 | if (ZSTD_isError(dctx->headerSize)) return dctx->headerSize; |
| 1027 | memcpy(dctx->headerBuffer, src, ZSTD_frameHeaderSize_min); |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 1028 | if (dctx->headerSize > ZSTD_frameHeaderSize_min) { |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 1029 | dctx->expected = dctx->headerSize - ZSTD_frameHeaderSize_min; |
| 1030 | dctx->stage = ZSTDds_decodeFrameHeader; |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1031 | return 0; |
| 1032 | } |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 1033 | dctx->expected = 0; /* not necessary to copy more */ |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 1034 | } |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1035 | case ZSTDds_decodeFrameHeader: |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 1036 | { |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1037 | /* get frame header */ |
| 1038 | size_t result; |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 1039 | memcpy(dctx->headerBuffer + ZSTD_frameHeaderSize_min, src, dctx->expected); |
| 1040 | result = ZSTD_decodeFrameHeader_Part2(dctx, dctx->headerBuffer, dctx->headerSize); |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1041 | if (ZSTD_isError(result)) return result; |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 1042 | dctx->expected = ZSTD_blockHeaderSize; |
| 1043 | dctx->stage = ZSTDds_decodeBlockHeader; |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1044 | return 0; |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 1045 | } |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1046 | case ZSTDds_decodeBlockHeader: |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 1047 | { |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1048 | /* Decode block header */ |
| 1049 | blockProperties_t bp; |
| 1050 | size_t blockSize = ZSTD_getcBlockSize(src, ZSTD_blockHeaderSize, &bp); |
| 1051 | if (ZSTD_isError(blockSize)) return blockSize; |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 1052 | if (bp.blockType == bt_end) { |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 1053 | dctx->expected = 0; |
| 1054 | dctx->stage = ZSTDds_getFrameHeaderSize; |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1055 | } |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 1056 | else { |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 1057 | dctx->expected = blockSize; |
| 1058 | dctx->bType = bp.blockType; |
| 1059 | dctx->stage = ZSTDds_decompressBlock; |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1060 | } |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1061 | return 0; |
| 1062 | } |
| Yann Collet | 417890c | 2015-12-04 17:16:37 +0100 | [diff] [blame] | 1063 | case ZSTDds_decompressBlock: |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1064 | { |
| 1065 | /* Decompress : block content */ |
| 1066 | size_t rSize; |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 1067 | switch(dctx->bType) |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1068 | { |
| 1069 | case bt_compressed: |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 1070 | rSize = ZSTD_decompressBlock_internal(dctx, dst, maxDstSize, src, srcSize); |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1071 | break; |
| 1072 | case bt_raw : |
| 1073 | rSize = ZSTD_copyRawBlock(dst, maxDstSize, src, srcSize); |
| 1074 | break; |
| 1075 | case bt_rle : |
| 1076 | return ERROR(GENERIC); /* not yet handled */ |
| 1077 | break; |
| 1078 | case bt_end : /* should never happen (filtered at phase 1) */ |
| 1079 | rSize = 0; |
| 1080 | break; |
| 1081 | default: |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 1082 | return ERROR(GENERIC); /* impossible */ |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1083 | } |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 1084 | dctx->stage = ZSTDds_decodeBlockHeader; |
| 1085 | dctx->expected = ZSTD_blockHeaderSize; |
| 1086 | dctx->previousDstEnd = (char*)dst + rSize; |
| Yann Collet | 88fcd29 | 2015-11-25 14:42:45 +0100 | [diff] [blame] | 1087 | return rSize; |
| 1088 | } |
| 1089 | default: |
| 1090 | return ERROR(GENERIC); /* impossible */ |
| 1091 | } |
| Yann Collet | 5be2dd2 | 2015-11-11 13:43:58 +0100 | [diff] [blame] | 1092 | } |
| 1093 | |
| 1094 | |
| Yann Collet | b923f65 | 2016-01-26 03:14:20 +0100 | [diff] [blame] | 1095 | static void ZSTD_refDictContent(ZSTD_DCtx* dctx, const void* dict, size_t dictSize) |
| Yann Collet | 417890c | 2015-12-04 17:16:37 +0100 | [diff] [blame] | 1096 | { |
| Yann Collet | 3742219 | 2016-01-25 16:54:05 +0100 | [diff] [blame] | 1097 | dctx->dictEnd = dctx->previousDstEnd; |
| 1098 | dctx->vBase = (const char*)dict - ((const char*)(dctx->previousDstEnd) - (const char*)(dctx->base)); |
| 1099 | dctx->base = dict; |
| 1100 | dctx->previousDstEnd = (const char*)dict + dictSize; |
| Yann Collet | 417890c | 2015-12-04 17:16:37 +0100 | [diff] [blame] | 1101 | } |
| Yann Collet | b923f65 | 2016-01-26 03:14:20 +0100 | [diff] [blame] | 1102 | |
| Yann Collet | b923f65 | 2016-01-26 03:14:20 +0100 | [diff] [blame] | 1103 | static size_t ZSTD_loadEntropy(ZSTD_DCtx* dctx, const void* dict, size_t dictSize) |
| 1104 | { |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 1105 | size_t hSize, offcodeHeaderSize, matchlengthHeaderSize, errorCode, litlengthHeaderSize; |
| 1106 | short offcodeNCount[MaxOff+1]; |
| 1107 | U32 offcodeMaxValue=MaxOff, offcodeLog=OffFSELog; |
| 1108 | short matchlengthNCount[MaxML+1]; |
| 1109 | unsigned matchlengthMaxValue = MaxML, matchlengthLog = MLFSELog; |
| 1110 | short litlengthNCount[MaxLL+1]; |
| 1111 | unsigned litlengthMaxValue = MaxLL, litlengthLog = LLFSELog; |
| 1112 | |
| 1113 | hSize = HUF_readDTableX4(dctx->hufTableX4, dict, dictSize); |
| Yann Collet | b923f65 | 2016-01-26 03:14:20 +0100 | [diff] [blame] | 1114 | if (HUF_isError(hSize)) return ERROR(dictionary_corrupted); |
| Yann Collet | fb810d6 | 2016-01-28 00:18:06 +0100 | [diff] [blame] | 1115 | dict = (const char*)dict + hSize; |
| 1116 | dictSize -= hSize; |
| 1117 | |
| 1118 | offcodeHeaderSize = FSE_readNCount(offcodeNCount, &offcodeMaxValue, &offcodeLog, dict, dictSize); |
| 1119 | if (FSE_isError(offcodeHeaderSize)) return ERROR(dictionary_corrupted); |
| 1120 | errorCode = FSE_buildDTable(dctx->OffTable, offcodeNCount, offcodeMaxValue, offcodeLog); |
| 1121 | if (FSE_isError(errorCode)) return ERROR(dictionary_corrupted); |
| 1122 | dict = (const char*)dict + offcodeHeaderSize; |
| 1123 | dictSize -= offcodeHeaderSize; |
| 1124 | |
| 1125 | matchlengthHeaderSize = FSE_readNCount(matchlengthNCount, &matchlengthMaxValue, &matchlengthLog, dict, dictSize); |
| 1126 | if (FSE_isError(matchlengthHeaderSize)) return ERROR(dictionary_corrupted); |
| 1127 | errorCode = FSE_buildDTable(dctx->MLTable, matchlengthNCount, matchlengthMaxValue, matchlengthLog); |
| 1128 | if (FSE_isError(errorCode)) return ERROR(dictionary_corrupted); |
| 1129 | dict = (const char*)dict + matchlengthHeaderSize; |
| 1130 | dictSize -= matchlengthHeaderSize; |
| 1131 | |
| 1132 | litlengthHeaderSize = FSE_readNCount(litlengthNCount, &litlengthMaxValue, &litlengthLog, dict, dictSize); |
| 1133 | if (FSE_isError(litlengthHeaderSize)) return ERROR(dictionary_corrupted); |
| 1134 | errorCode = FSE_buildDTable(dctx->LLTable, litlengthNCount, litlengthMaxValue, litlengthLog); |
| 1135 | if (FSE_isError(errorCode)) return ERROR(dictionary_corrupted); |
| 1136 | |
| 1137 | dctx->flagStaticTables = 1; |
| 1138 | return hSize + offcodeHeaderSize + matchlengthHeaderSize + litlengthHeaderSize; |
| Yann Collet | b923f65 | 2016-01-26 03:14:20 +0100 | [diff] [blame] | 1139 | } |
| 1140 | |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 1141 | static size_t ZSTD_decompress_insertDictionary(ZSTD_DCtx* dctx, const void* dict, size_t dictSize) |
| Yann Collet | b923f65 | 2016-01-26 03:14:20 +0100 | [diff] [blame] | 1142 | { |
| 1143 | size_t eSize; |
| 1144 | U32 magic = MEM_readLE32(dict); |
| 1145 | if (magic != ZSTD_DICT_MAGIC) { |
| 1146 | /* pure content mode */ |
| 1147 | ZSTD_refDictContent(dctx, dict, dictSize); |
| 1148 | return 0; |
| 1149 | } |
| 1150 | /* load entropy tables */ |
| 1151 | dict = (const char*)dict + 4; |
| 1152 | dictSize -= 4; |
| 1153 | eSize = ZSTD_loadEntropy(dctx, dict, dictSize); |
| 1154 | if (ZSTD_isError(eSize)) return ERROR(dictionary_corrupted); |
| 1155 | |
| 1156 | /* reference dictionary content */ |
| 1157 | dict = (const char*)dict + eSize; |
| 1158 | dictSize -= eSize; |
| 1159 | ZSTD_refDictContent(dctx, dict, dictSize); |
| 1160 | |
| 1161 | return 0; |
| 1162 | } |
| 1163 | |
| Yann Collet | 7b51a29 | 2016-01-26 15:58:49 +0100 | [diff] [blame] | 1164 | |
| 1165 | size_t ZSTD_decompressBegin_usingDict(ZSTD_DCtx* dctx, const void* dict, size_t dictSize) |
| 1166 | { |
| 1167 | size_t errorCode; |
| 1168 | errorCode = ZSTD_decompressBegin(dctx); |
| 1169 | if (ZSTD_isError(errorCode)) return errorCode; |
| 1170 | |
| 1171 | if (dict && dictSize) { |
| 1172 | errorCode = ZSTD_decompress_insertDictionary(dctx, dict, dictSize); |
| 1173 | if (ZSTD_isError(errorCode)) return ERROR(dictionary_corrupted); |
| 1174 | } |
| 1175 | |
| 1176 | return 0; |
| 1177 | } |
| 1178 | |