blob: 599778b87e58d2749a03fb60b84243309bd4d755 [file] [log] [blame]
Yann Collet4ded9e52016-08-30 10:04:33 -07001/**
2 * Copyright (c) 2016-present, Yann Collet, Facebook, Inc.
3 * All rights reserved.
4 *
5 * This source code is licensed under the BSD-style license found in the
6 * LICENSE file in the root directory of this source tree. An additional grant
7 * of patent rights can be found in the PATENTS file in the same directory.
8 */
Yann Collet464fa992016-02-03 01:09:46 +01009
Yann Collet464fa992016-02-03 01:09:46 +010010
11/*- Dependencies -*/
12#include "zstd_v04.h"
inikep8161e732016-09-05 12:29:51 +020013#include "error_private.h"
Yann Collet464fa992016-02-03 01:09:46 +010014
15
16/* ******************************************************************
17 mem.h
18 low-level memory access routines
19 Copyright (C) 2013-2015, Yann Collet.
20
21 BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
22
23 Redistribution and use in source and binary forms, with or without
24 modification, are permitted provided that the following conditions are
25 met:
26
27 * Redistributions of source code must retain the above copyright
28 notice, this list of conditions and the following disclaimer.
29 * Redistributions in binary form must reproduce the above
30 copyright notice, this list of conditions and the following disclaimer
31 in the documentation and/or other materials provided with the
32 distribution.
33
34 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
35 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
36 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
37 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
38 OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
39 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
40 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
41 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
42 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
43 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
44 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
45
46 You can contact the author at :
47 - FSE source repository : https://github.com/Cyan4973/FiniteStateEntropy
48 - Public forum : https://groups.google.com/forum/#!forum/lz4c
49****************************************************************** */
50#ifndef MEM_H_MODULE
51#define MEM_H_MODULE
52
53#if defined (__cplusplus)
54extern "C" {
55#endif
56
57/******************************************
58* Includes
59******************************************/
60#include <stddef.h> /* size_t, ptrdiff_t */
61#include <string.h> /* memcpy */
62
63
64/******************************************
65* Compiler-specific
66******************************************/
inikep48849f82016-08-10 14:26:35 +020067#if defined(_MSC_VER) /* Visual Studio */
68# include <stdlib.h> /* _byteswap_ulong */
69# include <intrin.h> /* _byteswap_* */
70#endif
Yann Collet464fa992016-02-03 01:09:46 +010071#if defined(__GNUC__)
72# define MEM_STATIC static __attribute__((unused))
73#elif defined (__cplusplus) || (defined (__STDC_VERSION__) && (__STDC_VERSION__ >= 199901L) /* C99 */)
74# define MEM_STATIC static inline
75#elif defined(_MSC_VER)
76# define MEM_STATIC static __inline
77#else
78# define MEM_STATIC static /* this version may generate warnings for unused static functions; disable the relevant warning */
79#endif
80
81
82/****************************************************************
83* Basic Types
84*****************************************************************/
85#if defined (__cplusplus) || (defined (__STDC_VERSION__) && (__STDC_VERSION__ >= 199901L) /* C99 */)
86# include <stdint.h>
87 typedef uint8_t BYTE;
88 typedef uint16_t U16;
89 typedef int16_t S16;
90 typedef uint32_t U32;
91 typedef int32_t S32;
92 typedef uint64_t U64;
93 typedef int64_t S64;
94#else
95 typedef unsigned char BYTE;
96 typedef unsigned short U16;
97 typedef signed short S16;
98 typedef unsigned int U32;
99 typedef signed int S32;
100 typedef unsigned long long U64;
101 typedef signed long long S64;
102#endif
103
104
105/****************************************************************
106* Memory I/O
107*****************************************************************/
108/* MEM_FORCE_MEMORY_ACCESS
109 * By default, access to unaligned memory is controlled by `memcpy()`, which is safe and portable.
110 * Unfortunately, on some target/compiler combinations, the generated assembly is sub-optimal.
111 * The below switch allow to select different access method for improved performance.
112 * Method 0 (default) : use `memcpy()`. Safe and portable.
113 * Method 1 : `__packed` statement. It depends on compiler extension (ie, not portable).
114 * This method is safe if your compiler supports it, and *generally* as fast or faster than `memcpy`.
115 * Method 2 : direct access. This method is portable but violate C standard.
116 * It can generate buggy code on targets generating assembly depending on alignment.
117 * But in some circumstances, it's the only known way to get the most performance (ie GCC + ARMv6)
118 * See http://fastcompression.blogspot.fr/2015/08/accessing-unaligned-memory.html for details.
119 * Prefer these methods in priority order (0 > 1 > 2)
120 */
121#ifndef MEM_FORCE_MEMORY_ACCESS /* can be defined externally, on command line for example */
122# if defined(__GNUC__) && ( defined(__ARM_ARCH_6__) || defined(__ARM_ARCH_6J__) || defined(__ARM_ARCH_6K__) || defined(__ARM_ARCH_6Z__) || defined(__ARM_ARCH_6ZK__) || defined(__ARM_ARCH_6T2__) )
123# define MEM_FORCE_MEMORY_ACCESS 2
inikep48849f82016-08-10 14:26:35 +0200124# elif (defined(__INTEL_COMPILER) && !defined(WIN32)) || \
Yann Collet464fa992016-02-03 01:09:46 +0100125 (defined(__GNUC__) && ( defined(__ARM_ARCH_7__) || defined(__ARM_ARCH_7A__) || defined(__ARM_ARCH_7R__) || defined(__ARM_ARCH_7M__) || defined(__ARM_ARCH_7S__) ))
126# define MEM_FORCE_MEMORY_ACCESS 1
127# endif
128#endif
129
130MEM_STATIC unsigned MEM_32bits(void) { return sizeof(void*)==4; }
131MEM_STATIC unsigned MEM_64bits(void) { return sizeof(void*)==8; }
132
133MEM_STATIC unsigned MEM_isLittleEndian(void)
134{
135 const union { U32 u; BYTE c[4]; } one = { 1 }; /* don't use static : performance detrimental */
136 return one.c[0];
137}
138
139#if defined(MEM_FORCE_MEMORY_ACCESS) && (MEM_FORCE_MEMORY_ACCESS==2)
140
141/* violates C standard on structure alignment.
142Only use if no other choice to achieve best performance on target platform */
143MEM_STATIC U16 MEM_read16(const void* memPtr) { return *(const U16*) memPtr; }
144MEM_STATIC U32 MEM_read32(const void* memPtr) { return *(const U32*) memPtr; }
145MEM_STATIC U64 MEM_read64(const void* memPtr) { return *(const U64*) memPtr; }
146
147MEM_STATIC void MEM_write16(void* memPtr, U16 value) { *(U16*)memPtr = value; }
Yann Collet464fa992016-02-03 01:09:46 +0100148
149#elif defined(MEM_FORCE_MEMORY_ACCESS) && (MEM_FORCE_MEMORY_ACCESS==1)
150
151/* __pack instructions are safer, but compiler specific, hence potentially problematic for some compilers */
152/* currently only defined for gcc and icc */
153typedef union { U16 u16; U32 u32; U64 u64; } __attribute__((packed)) unalign;
154
155MEM_STATIC U16 MEM_read16(const void* ptr) { return ((const unalign*)ptr)->u16; }
156MEM_STATIC U32 MEM_read32(const void* ptr) { return ((const unalign*)ptr)->u32; }
157MEM_STATIC U64 MEM_read64(const void* ptr) { return ((const unalign*)ptr)->u64; }
158
159MEM_STATIC void MEM_write16(void* memPtr, U16 value) { ((unalign*)memPtr)->u16 = value; }
Yann Collet464fa992016-02-03 01:09:46 +0100160
161#else
162
163/* default method, safe and standard.
164 can sometimes prove slower */
165
166MEM_STATIC U16 MEM_read16(const void* memPtr)
167{
168 U16 val; memcpy(&val, memPtr, sizeof(val)); return val;
169}
170
171MEM_STATIC U32 MEM_read32(const void* memPtr)
172{
173 U32 val; memcpy(&val, memPtr, sizeof(val)); return val;
174}
175
176MEM_STATIC U64 MEM_read64(const void* memPtr)
177{
178 U64 val; memcpy(&val, memPtr, sizeof(val)); return val;
179}
180
181MEM_STATIC void MEM_write16(void* memPtr, U16 value)
182{
183 memcpy(memPtr, &value, sizeof(value));
184}
185
Yann Collet464fa992016-02-03 01:09:46 +0100186#endif // MEM_FORCE_MEMORY_ACCESS
187
188
189MEM_STATIC U16 MEM_readLE16(const void* memPtr)
190{
191 if (MEM_isLittleEndian())
192 return MEM_read16(memPtr);
193 else
194 {
195 const BYTE* p = (const BYTE*)memPtr;
196 return (U16)(p[0] + (p[1]<<8));
197 }
198}
199
200MEM_STATIC void MEM_writeLE16(void* memPtr, U16 val)
201{
202 if (MEM_isLittleEndian())
203 {
204 MEM_write16(memPtr, val);
205 }
206 else
207 {
208 BYTE* p = (BYTE*)memPtr;
209 p[0] = (BYTE)val;
210 p[1] = (BYTE)(val>>8);
211 }
212}
213
214MEM_STATIC U32 MEM_readLE32(const void* memPtr)
215{
216 if (MEM_isLittleEndian())
217 return MEM_read32(memPtr);
218 else
219 {
220 const BYTE* p = (const BYTE*)memPtr;
221 return (U32)((U32)p[0] + ((U32)p[1]<<8) + ((U32)p[2]<<16) + ((U32)p[3]<<24));
222 }
223}
224
Yann Collet464fa992016-02-03 01:09:46 +0100225
226MEM_STATIC U64 MEM_readLE64(const void* memPtr)
227{
228 if (MEM_isLittleEndian())
229 return MEM_read64(memPtr);
230 else
231 {
232 const BYTE* p = (const BYTE*)memPtr;
233 return (U64)((U64)p[0] + ((U64)p[1]<<8) + ((U64)p[2]<<16) + ((U64)p[3]<<24)
234 + ((U64)p[4]<<32) + ((U64)p[5]<<40) + ((U64)p[6]<<48) + ((U64)p[7]<<56));
235 }
236}
237
Yann Collet464fa992016-02-03 01:09:46 +0100238
239MEM_STATIC size_t MEM_readLEST(const void* memPtr)
240{
241 if (MEM_32bits())
242 return (size_t)MEM_readLE32(memPtr);
243 else
244 return (size_t)MEM_readLE64(memPtr);
245}
246
Yann Collet464fa992016-02-03 01:09:46 +0100247
248#if defined (__cplusplus)
249}
250#endif
251
252#endif /* MEM_H_MODULE */
253
Yann Collet464fa992016-02-03 01:09:46 +0100254/*
255 zstd - standard compression library
256 Header File for static linking only
257 Copyright (C) 2014-2015, Yann Collet.
258
259 BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
260
261 Redistribution and use in source and binary forms, with or without
262 modification, are permitted provided that the following conditions are
263 met:
264 * Redistributions of source code must retain the above copyright
265 notice, this list of conditions and the following disclaimer.
266 * Redistributions in binary form must reproduce the above
267 copyright notice, this list of conditions and the following disclaimer
268 in the documentation and/or other materials provided with the
269 distribution.
270 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
271 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
272 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
273 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
274 OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
275 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
276 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
277 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
278 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
279 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
280 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
281
282 You can contact the author at :
283 - zstd source repository : https://github.com/Cyan4973/zstd
284 - ztsd public forum : https://groups.google.com/forum/#!forum/lz4c
285*/
286#ifndef ZSTD_STATIC_H
287#define ZSTD_STATIC_H
288
289/* The objects defined into this file shall be considered experimental.
290 * They are not considered stable, as their prototype may change in the future.
291 * You can use them for tests, provide feedback, or if you can endure risks of future changes.
292 */
293
294#if defined (__cplusplus)
295extern "C" {
296#endif
297
298/* *************************************
299* Types
300***************************************/
301#define ZSTD_WINDOWLOG_MAX 26
302#define ZSTD_WINDOWLOG_MIN 18
303#define ZSTD_WINDOWLOG_ABSOLUTEMIN 11
304#define ZSTD_CONTENTLOG_MAX (ZSTD_WINDOWLOG_MAX+1)
305#define ZSTD_CONTENTLOG_MIN 4
306#define ZSTD_HASHLOG_MAX 28
307#define ZSTD_HASHLOG_MIN 4
308#define ZSTD_SEARCHLOG_MAX (ZSTD_CONTENTLOG_MAX-1)
309#define ZSTD_SEARCHLOG_MIN 1
310#define ZSTD_SEARCHLENGTH_MAX 7
311#define ZSTD_SEARCHLENGTH_MIN 4
312
313/** from faster to stronger */
314typedef enum { ZSTD_fast, ZSTD_greedy, ZSTD_lazy, ZSTD_lazy2, ZSTD_btlazy2 } ZSTD_strategy;
315
316typedef struct
317{
318 U64 srcSize; /* optional : tells how much bytes are present in the frame. Use 0 if not known. */
319 U32 windowLog; /* largest match distance : larger == more compression, more memory needed during decompression */
320 U32 contentLog; /* full search segment : larger == more compression, slower, more memory (useless for fast) */
321 U32 hashLog; /* dispatch table : larger == more memory, faster */
322 U32 searchLog; /* nb of searches : larger == more compression, slower */
323 U32 searchLength; /* size of matches : larger == faster decompression, sometimes less compression */
324 ZSTD_strategy strategy;
325} ZSTD_parameters;
326
327typedef ZSTDv04_Dctx ZSTD_DCtx;
328
329/* *************************************
330* Advanced functions
331***************************************/
332/** ZSTD_decompress_usingDict
333* Same as ZSTD_decompressDCtx, using a Dictionary content as prefix
334* Note : dict can be NULL, in which case, it's equivalent to ZSTD_decompressDCtx() */
335static size_t ZSTD_decompress_usingDict(ZSTD_DCtx* ctx,
336 void* dst, size_t maxDstSize,
337 const void* src, size_t srcSize,
338 const void* dict,size_t dictSize);
339
340
341/* **************************************
342* Streaming functions (direct mode)
343****************************************/
344static size_t ZSTD_resetDCtx(ZSTD_DCtx* dctx);
345static size_t ZSTD_getFrameParams(ZSTD_parameters* params, const void* src, size_t srcSize);
346static void ZSTD_decompress_insertDictionary(ZSTD_DCtx* ctx, const void* src, size_t srcSize);
347
348static size_t ZSTD_nextSrcSizeToDecompress(ZSTD_DCtx* dctx);
349static size_t ZSTD_decompressContinue(ZSTD_DCtx* dctx, void* dst, size_t maxDstSize, const void* src, size_t srcSize);
350
351/**
352 Streaming decompression, bufferless mode
353
354 A ZSTD_DCtx object is required to track streaming operations.
355 Use ZSTD_createDCtx() / ZSTD_freeDCtx() to manage it.
356 A ZSTD_DCtx object can be re-used multiple times. Use ZSTD_resetDCtx() to return to fresh status.
357
358 First operation is to retrieve frame parameters, using ZSTD_getFrameParams().
359 This function doesn't consume its input. It needs enough input data to properly decode the frame header.
360 Objective is to retrieve *params.windowlog, to know minimum amount of memory required during decoding.
361 Result : 0 when successful, it means the ZSTD_parameters structure has been filled.
362 >0 : means there is not enough data into src. Provides the expected size to successfully decode header.
363 errorCode, which can be tested using ZSTD_isError() (For example, if it's not a ZSTD header)
364
365 Then, you can optionally insert a dictionary.
366 This operation must mimic the compressor behavior, otherwise decompression will fail or be corrupted.
367
368 Then it's possible to start decompression.
369 Use ZSTD_nextSrcSizeToDecompress() and ZSTD_decompressContinue() alternatively.
370 ZSTD_nextSrcSizeToDecompress() tells how much bytes to provide as 'srcSize' to ZSTD_decompressContinue().
371 ZSTD_decompressContinue() requires this exact amount of bytes, or it will fail.
372 ZSTD_decompressContinue() needs previous data blocks during decompression, up to (1 << windowlog).
373 They should preferably be located contiguously, prior to current block. Alternatively, a round buffer is also possible.
374
375 @result of ZSTD_decompressContinue() is the number of bytes regenerated within 'dst'.
376 It can be zero, which is not an error; it just means ZSTD_decompressContinue() has decoded some header.
377
378 A frame is fully decoded when ZSTD_nextSrcSizeToDecompress() returns zero.
379 Context can then be reset to start a new decompression.
380*/
381
382
383#if defined (__cplusplus)
384}
385#endif
386
Yann Collet464fa992016-02-03 01:09:46 +0100387
388#endif /* ZSTD_STATIC_H */
389
390
391/*
392 zstd_internal - common functions to include
393 Header File for include
394 Copyright (C) 2014-2015, Yann Collet.
395
396 BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
397
398 Redistribution and use in source and binary forms, with or without
399 modification, are permitted provided that the following conditions are
400 met:
401 * Redistributions of source code must retain the above copyright
402 notice, this list of conditions and the following disclaimer.
403 * Redistributions in binary form must reproduce the above
404 copyright notice, this list of conditions and the following disclaimer
405 in the documentation and/or other materials provided with the
406 distribution.
407 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
408 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
409 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
410 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
411 OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
412 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
413 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
414 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
415 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
416 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
417 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
418
419 You can contact the author at :
420 - zstd source repository : https://github.com/Cyan4973/zstd
421 - ztsd public forum : https://groups.google.com/forum/#!forum/lz4c
422*/
423#ifndef ZSTD_CCOMMON_H_MODULE
424#define ZSTD_CCOMMON_H_MODULE
425
426#if defined (__cplusplus)
427extern "C" {
428#endif
429
430/* *************************************
431* Common macros
432***************************************/
433#define MIN(a,b) ((a)<(b) ? (a) : (b))
434#define MAX(a,b) ((a)>(b) ? (a) : (b))
435
436
437/* *************************************
438* Common constants
439***************************************/
440#define ZSTD_MAGICNUMBER 0xFD2FB524 /* v0.4 */
441
442#define KB *(1 <<10)
443#define MB *(1 <<20)
444#define GB *(1U<<30)
445
446#define BLOCKSIZE (128 KB) /* define, for static allocation */
447
448static const size_t ZSTD_blockHeaderSize = 3;
449static const size_t ZSTD_frameHeaderSize_min = 5;
450#define ZSTD_frameHeaderSize_max 5 /* define, for static allocation */
451
452#define BIT7 128
453#define BIT6 64
454#define BIT5 32
455#define BIT4 16
456#define BIT1 2
457#define BIT0 1
458
459#define IS_RAW BIT0
460#define IS_RLE BIT1
461
462#define MINMATCH 4
463#define REPCODE_STARTVALUE 4
464
465#define MLbits 7
466#define LLbits 6
467#define Offbits 5
468#define MaxML ((1<<MLbits) - 1)
469#define MaxLL ((1<<LLbits) - 1)
470#define MaxOff ((1<<Offbits)- 1)
471#define MLFSELog 10
472#define LLFSELog 10
473#define OffFSELog 9
474#define MaxSeq MAX(MaxLL, MaxML)
475
476#define MIN_SEQUENCES_SIZE (2 /*seqNb*/ + 2 /*dumps*/ + 3 /*seqTables*/ + 1 /*bitStream*/)
477#define MIN_CBLOCK_SIZE (3 /*litCSize*/ + MIN_SEQUENCES_SIZE)
478
479typedef enum { bt_compressed, bt_raw, bt_rle, bt_end } blockType_t;
480
481
482/* ******************************************
483* Shared functions to include for inlining
484********************************************/
485static void ZSTD_copy8(void* dst, const void* src) { memcpy(dst, src, 8); }
486
487#define COPY8(d,s) { ZSTD_copy8(d,s); d+=8; s+=8; }
488
489/*! ZSTD_wildcopy : custom version of memcpy(), can copy up to 7-8 bytes too many */
490static void ZSTD_wildcopy(void* dst, const void* src, size_t length)
491{
492 const BYTE* ip = (const BYTE*)src;
493 BYTE* op = (BYTE*)dst;
494 BYTE* const oend = op + length;
495 do
496 COPY8(op, ip)
497 while (op < oend);
498}
499
500
501#if defined (__cplusplus)
502}
503#endif
504
505
506/* ******************************************************************
507 FSE : Finite State Entropy coder
508 header file
509 Copyright (C) 2013-2015, Yann Collet.
510
511 BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
512
513 Redistribution and use in source and binary forms, with or without
514 modification, are permitted provided that the following conditions are
515 met:
516
517 * Redistributions of source code must retain the above copyright
518 notice, this list of conditions and the following disclaimer.
519 * Redistributions in binary form must reproduce the above
520 copyright notice, this list of conditions and the following disclaimer
521 in the documentation and/or other materials provided with the
522 distribution.
523
524 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
525 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
526 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
527 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
528 OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
529 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
530 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
531 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
532 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
533 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
534 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
535
536 You can contact the author at :
537 - Source repository : https://github.com/Cyan4973/FiniteStateEntropy
538 - Public forum : https://groups.google.com/forum/#!forum/lz4c
539****************************************************************** */
540#ifndef FSE_H
541#define FSE_H
542
543#if defined (__cplusplus)
544extern "C" {
545#endif
546
547
548/* *****************************************
549* Includes
550******************************************/
551#include <stddef.h> /* size_t, ptrdiff_t */
552
553
554/* *****************************************
555* FSE simple functions
556******************************************/
557static size_t FSE_decompress(void* dst, size_t maxDstSize,
558 const void* cSrc, size_t cSrcSize);
559/*!
560FSE_decompress():
561 Decompress FSE data from buffer 'cSrc', of size 'cSrcSize',
562 into already allocated destination buffer 'dst', of size 'maxDstSize'.
563 return : size of regenerated data (<= maxDstSize)
564 or an error code, which can be tested using FSE_isError()
565
566 ** Important ** : FSE_decompress() doesn't decompress non-compressible nor RLE data !!!
567 Why ? : making this distinction requires a header.
568 Header management is intentionally delegated to the user layer, which can better manage special cases.
569*/
570
571
572/* *****************************************
573* Tool functions
574******************************************/
575/* Error Management */
576static unsigned FSE_isError(size_t code); /* tells if a return value is an error code */
577
578
579
580/* *****************************************
581* FSE detailed API
582******************************************/
583/*!
584FSE_compress() does the following:
5851. count symbol occurrence from source[] into table count[]
5862. normalize counters so that sum(count[]) == Power_of_2 (2^tableLog)
5873. save normalized counters to memory buffer using writeNCount()
5884. build encoding table 'CTable' from normalized counters
5895. encode the data stream using encoding table 'CTable'
590
591FSE_decompress() does the following:
5921. read normalized counters with readNCount()
5932. build decoding table 'DTable' from normalized counters
5943. decode the data stream using decoding table 'DTable'
595
596The following API allows targeting specific sub-functions for advanced tasks.
597For example, it's possible to compress several blocks using the same 'CTable',
598or to save and provide normalized distribution using external method.
599*/
600
601
602/* *** DECOMPRESSION *** */
603
604/*!
605FSE_readNCount():
606 Read compactly saved 'normalizedCounter' from 'rBuffer'.
607 return : size read from 'rBuffer'
608 or an errorCode, which can be tested using FSE_isError()
609 maxSymbolValuePtr[0] and tableLogPtr[0] will also be updated with their respective values */
610static size_t FSE_readNCount (short* normalizedCounter, unsigned* maxSymbolValuePtr, unsigned* tableLogPtr, const void* rBuffer, size_t rBuffSize);
611
612/*!
613Constructor and Destructor of type FSE_DTable
614 Note that its size depends on 'tableLog' */
615typedef unsigned FSE_DTable; /* don't allocate that. It's just a way to be more restrictive than void* */
616
617/*!
618FSE_buildDTable():
619 Builds 'dt', which must be already allocated, using FSE_createDTable()
620 return : 0,
621 or an errorCode, which can be tested using FSE_isError() */
622static size_t FSE_buildDTable ( FSE_DTable* dt, const short* normalizedCounter, unsigned maxSymbolValue, unsigned tableLog);
623
624/*!
625FSE_decompress_usingDTable():
626 Decompress compressed source 'cSrc' of size 'cSrcSize' using 'dt'
627 into 'dst' which must be already allocated.
628 return : size of regenerated data (necessarily <= maxDstSize)
629 or an errorCode, which can be tested using FSE_isError() */
630static size_t FSE_decompress_usingDTable(void* dst, size_t maxDstSize, const void* cSrc, size_t cSrcSize, const FSE_DTable* dt);
631
632/*!
633Tutorial :
634----------
635(Note : these functions only decompress FSE-compressed blocks.
636 If block is uncompressed, use memcpy() instead
637 If block is a single repeated byte, use memset() instead )
638
639The first step is to obtain the normalized frequencies of symbols.
640This can be performed by FSE_readNCount() if it was saved using FSE_writeNCount().
641'normalizedCounter' must be already allocated, and have at least 'maxSymbolValuePtr[0]+1' cells of signed short.
642In practice, that means it's necessary to know 'maxSymbolValue' beforehand,
643or size the table to handle worst case situations (typically 256).
644FSE_readNCount() will provide 'tableLog' and 'maxSymbolValue'.
645The result of FSE_readNCount() is the number of bytes read from 'rBuffer'.
646Note that 'rBufferSize' must be at least 4 bytes, even if useful information is less than that.
647If there is an error, the function will return an error code, which can be tested using FSE_isError().
648
649The next step is to build the decompression tables 'FSE_DTable' from 'normalizedCounter'.
650This is performed by the function FSE_buildDTable().
651The space required by 'FSE_DTable' must be already allocated using FSE_createDTable().
652If there is an error, the function will return an error code, which can be tested using FSE_isError().
653
654'FSE_DTable' can then be used to decompress 'cSrc', with FSE_decompress_usingDTable().
655'cSrcSize' must be strictly correct, otherwise decompression will fail.
656FSE_decompress_usingDTable() result will tell how many bytes were regenerated (<=maxDstSize).
657If there is an error, the function will return an error code, which can be tested using FSE_isError(). (ex: dst buffer too small)
658*/
659
660
661#if defined (__cplusplus)
662}
663#endif
664
665#endif /* FSE_H */
666
667
668/* ******************************************************************
669 bitstream
670 Part of NewGen Entropy library
671 header file (to include)
672 Copyright (C) 2013-2015, Yann Collet.
673
674 BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
675
676 Redistribution and use in source and binary forms, with or without
677 modification, are permitted provided that the following conditions are
678 met:
679
680 * Redistributions of source code must retain the above copyright
681 notice, this list of conditions and the following disclaimer.
682 * Redistributions in binary form must reproduce the above
683 copyright notice, this list of conditions and the following disclaimer
684 in the documentation and/or other materials provided with the
685 distribution.
686
687 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
688 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
689 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
690 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
691 OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
692 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
693 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
694 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
695 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
696 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
697 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
698
699 You can contact the author at :
700 - Source repository : https://github.com/Cyan4973/FiniteStateEntropy
701 - Public forum : https://groups.google.com/forum/#!forum/lz4c
702****************************************************************** */
703#ifndef BITSTREAM_H_MODULE
704#define BITSTREAM_H_MODULE
705
706#if defined (__cplusplus)
707extern "C" {
708#endif
709
710
711/*
712* This API consists of small unitary functions, which highly benefit from being inlined.
713* Since link-time-optimization is not available for all compilers,
714* these functions are defined into a .h to be included.
715*/
716
717/**********************************************
718* bitStream decompression API (read backward)
719**********************************************/
720typedef struct
721{
722 size_t bitContainer;
723 unsigned bitsConsumed;
724 const char* ptr;
725 const char* start;
726} BIT_DStream_t;
727
728typedef enum { BIT_DStream_unfinished = 0,
729 BIT_DStream_endOfBuffer = 1,
730 BIT_DStream_completed = 2,
731 BIT_DStream_overflow = 3 } BIT_DStream_status; /* result of BIT_reloadDStream() */
732 /* 1,2,4,8 would be better for bitmap combinations, but slows down performance a bit ... :( */
733
734MEM_STATIC size_t BIT_initDStream(BIT_DStream_t* bitD, const void* srcBuffer, size_t srcSize);
735MEM_STATIC size_t BIT_readBits(BIT_DStream_t* bitD, unsigned nbBits);
736MEM_STATIC BIT_DStream_status BIT_reloadDStream(BIT_DStream_t* bitD);
737MEM_STATIC unsigned BIT_endOfDStream(const BIT_DStream_t* bitD);
738
739
740/*
741* Start by invoking BIT_initDStream().
742* A chunk of the bitStream is then stored into a local register.
743* Local register size is 64-bits on 64-bits systems, 32-bits on 32-bits systems (size_t).
744* You can then retrieve bitFields stored into the local register, **in reverse order**.
745* Local register is manually filled from memory by the BIT_reloadDStream() method.
746* A reload guarantee a minimum of ((8*sizeof(size_t))-7) bits when its result is BIT_DStream_unfinished.
747* Otherwise, it can be less than that, so proceed accordingly.
748* Checking if DStream has reached its end can be performed with BIT_endOfDStream()
749*/
750
751
752/******************************************
753* unsafe API
754******************************************/
755MEM_STATIC size_t BIT_readBitsFast(BIT_DStream_t* bitD, unsigned nbBits);
756/* faster, but works only if nbBits >= 1 */
757
758
759
760/****************************************************************
761* Helper functions
762****************************************************************/
763MEM_STATIC unsigned BIT_highbit32 (register U32 val)
764{
765# if defined(_MSC_VER) /* Visual */
766 unsigned long r=0;
767 _BitScanReverse ( &r, val );
768 return (unsigned) r;
769# elif defined(__GNUC__) && (__GNUC__ >= 3) /* Use GCC Intrinsic */
770 return 31 - __builtin_clz (val);
771# else /* Software version */
772 static const unsigned DeBruijnClz[32] = { 0, 9, 1, 10, 13, 21, 2, 29, 11, 14, 16, 18, 22, 25, 3, 30, 8, 12, 20, 28, 15, 17, 24, 7, 19, 27, 23, 6, 26, 5, 4, 31 };
773 U32 v = val;
774 unsigned r;
775 v |= v >> 1;
776 v |= v >> 2;
777 v |= v >> 4;
778 v |= v >> 8;
779 v |= v >> 16;
780 r = DeBruijnClz[ (U32) (v * 0x07C4ACDDU) >> 27];
781 return r;
782# endif
783}
784
785
786/**********************************************************
787* bitStream decoding
788**********************************************************/
789
790/*!BIT_initDStream
791* Initialize a BIT_DStream_t.
792* @bitD : a pointer to an already allocated BIT_DStream_t structure
793* @srcBuffer must point at the beginning of a bitStream
794* @srcSize must be the exact size of the bitStream
795* @result : size of stream (== srcSize) or an errorCode if a problem is detected
796*/
797MEM_STATIC size_t BIT_initDStream(BIT_DStream_t* bitD, const void* srcBuffer, size_t srcSize)
798{
799 if (srcSize < 1) { memset(bitD, 0, sizeof(*bitD)); return ERROR(srcSize_wrong); }
800
801 if (srcSize >= sizeof(size_t)) /* normal case */
802 {
803 U32 contain32;
804 bitD->start = (const char*)srcBuffer;
805 bitD->ptr = (const char*)srcBuffer + srcSize - sizeof(size_t);
806 bitD->bitContainer = MEM_readLEST(bitD->ptr);
807 contain32 = ((const BYTE*)srcBuffer)[srcSize-1];
808 if (contain32 == 0) return ERROR(GENERIC); /* endMark not present */
809 bitD->bitsConsumed = 8 - BIT_highbit32(contain32);
810 }
811 else
812 {
813 U32 contain32;
814 bitD->start = (const char*)srcBuffer;
815 bitD->ptr = bitD->start;
816 bitD->bitContainer = *(const BYTE*)(bitD->start);
817 switch(srcSize)
818 {
819 case 7: bitD->bitContainer += (size_t)(((const BYTE*)(bitD->start))[6]) << (sizeof(size_t)*8 - 16);
820 case 6: bitD->bitContainer += (size_t)(((const BYTE*)(bitD->start))[5]) << (sizeof(size_t)*8 - 24);
821 case 5: bitD->bitContainer += (size_t)(((const BYTE*)(bitD->start))[4]) << (sizeof(size_t)*8 - 32);
822 case 4: bitD->bitContainer += (size_t)(((const BYTE*)(bitD->start))[3]) << 24;
823 case 3: bitD->bitContainer += (size_t)(((const BYTE*)(bitD->start))[2]) << 16;
824 case 2: bitD->bitContainer += (size_t)(((const BYTE*)(bitD->start))[1]) << 8;
825 default:;
826 }
827 contain32 = ((const BYTE*)srcBuffer)[srcSize-1];
828 if (contain32 == 0) return ERROR(GENERIC); /* endMark not present */
829 bitD->bitsConsumed = 8 - BIT_highbit32(contain32);
830 bitD->bitsConsumed += (U32)(sizeof(size_t) - srcSize)*8;
831 }
832
833 return srcSize;
834}
835
836/*!BIT_lookBits
837 * Provides next n bits from local register
838 * local register is not modified (bits are still present for next read/look)
839 * On 32-bits, maxNbBits==25
840 * On 64-bits, maxNbBits==57
841 * @return : value extracted
842 */
843MEM_STATIC size_t BIT_lookBits(BIT_DStream_t* bitD, U32 nbBits)
844{
845 const U32 bitMask = sizeof(bitD->bitContainer)*8 - 1;
846 return ((bitD->bitContainer << (bitD->bitsConsumed & bitMask)) >> 1) >> ((bitMask-nbBits) & bitMask);
847}
848
849/*! BIT_lookBitsFast :
850* unsafe version; only works only if nbBits >= 1 */
851MEM_STATIC size_t BIT_lookBitsFast(BIT_DStream_t* bitD, U32 nbBits)
852{
853 const U32 bitMask = sizeof(bitD->bitContainer)*8 - 1;
854 return (bitD->bitContainer << (bitD->bitsConsumed & bitMask)) >> (((bitMask+1)-nbBits) & bitMask);
855}
856
857MEM_STATIC void BIT_skipBits(BIT_DStream_t* bitD, U32 nbBits)
858{
859 bitD->bitsConsumed += nbBits;
860}
861
862/*!BIT_readBits
863 * Read next n bits from local register.
864 * pay attention to not read more than nbBits contained into local register.
865 * @return : extracted value.
866 */
867MEM_STATIC size_t BIT_readBits(BIT_DStream_t* bitD, U32 nbBits)
868{
869 size_t value = BIT_lookBits(bitD, nbBits);
870 BIT_skipBits(bitD, nbBits);
871 return value;
872}
873
874/*!BIT_readBitsFast :
875* unsafe version; only works only if nbBits >= 1 */
876MEM_STATIC size_t BIT_readBitsFast(BIT_DStream_t* bitD, U32 nbBits)
877{
878 size_t value = BIT_lookBitsFast(bitD, nbBits);
879 BIT_skipBits(bitD, nbBits);
880 return value;
881}
882
883MEM_STATIC BIT_DStream_status BIT_reloadDStream(BIT_DStream_t* bitD)
884{
885 if (bitD->bitsConsumed > (sizeof(bitD->bitContainer)*8)) /* should never happen */
886 return BIT_DStream_overflow;
887
888 if (bitD->ptr >= bitD->start + sizeof(bitD->bitContainer))
889 {
890 bitD->ptr -= bitD->bitsConsumed >> 3;
891 bitD->bitsConsumed &= 7;
892 bitD->bitContainer = MEM_readLEST(bitD->ptr);
893 return BIT_DStream_unfinished;
894 }
895 if (bitD->ptr == bitD->start)
896 {
897 if (bitD->bitsConsumed < sizeof(bitD->bitContainer)*8) return BIT_DStream_endOfBuffer;
898 return BIT_DStream_completed;
899 }
900 {
901 U32 nbBytes = bitD->bitsConsumed >> 3;
902 BIT_DStream_status result = BIT_DStream_unfinished;
903 if (bitD->ptr - nbBytes < bitD->start)
904 {
905 nbBytes = (U32)(bitD->ptr - bitD->start); /* ptr > start */
906 result = BIT_DStream_endOfBuffer;
907 }
908 bitD->ptr -= nbBytes;
909 bitD->bitsConsumed -= nbBytes*8;
910 bitD->bitContainer = MEM_readLEST(bitD->ptr); /* reminder : srcSize > sizeof(bitD) */
911 return result;
912 }
913}
914
915/*! BIT_endOfDStream
916* @return Tells if DStream has reached its exact end
917*/
918MEM_STATIC unsigned BIT_endOfDStream(const BIT_DStream_t* DStream)
919{
920 return ((DStream->ptr == DStream->start) && (DStream->bitsConsumed == sizeof(DStream->bitContainer)*8));
921}
922
923#if defined (__cplusplus)
924}
925#endif
926
927#endif /* BITSTREAM_H_MODULE */
928
929
930
931/* ******************************************************************
932 FSE : Finite State Entropy coder
933 header file for static linking (only)
934 Copyright (C) 2013-2015, Yann Collet
935
936 BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
937
938 Redistribution and use in source and binary forms, with or without
939 modification, are permitted provided that the following conditions are
940 met:
941
942 * Redistributions of source code must retain the above copyright
943 notice, this list of conditions and the following disclaimer.
944 * Redistributions in binary form must reproduce the above
945 copyright notice, this list of conditions and the following disclaimer
946 in the documentation and/or other materials provided with the
947 distribution.
948
949 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
950 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
951 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
952 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
953 OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
954 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
955 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
956 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
957 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
958 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
959 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
960
961 You can contact the author at :
962 - Source repository : https://github.com/Cyan4973/FiniteStateEntropy
963 - Public forum : https://groups.google.com/forum/#!forum/lz4c
964****************************************************************** */
965#ifndef FSE_STATIC_H
966#define FSE_STATIC_H
967
968#if defined (__cplusplus)
969extern "C" {
970#endif
971
972
973/* *****************************************
974* Static allocation
975*******************************************/
976/* FSE buffer bounds */
977#define FSE_NCOUNTBOUND 512
978#define FSE_BLOCKBOUND(size) (size + (size>>7))
979#define FSE_COMPRESSBOUND(size) (FSE_NCOUNTBOUND + FSE_BLOCKBOUND(size)) /* Macro version, useful for static allocation */
980
981/* It is possible to statically allocate FSE CTable/DTable as a table of unsigned using below macros */
982#define FSE_CTABLE_SIZE_U32(maxTableLog, maxSymbolValue) (1 + (1<<(maxTableLog-1)) + ((maxSymbolValue+1)*2))
983#define FSE_DTABLE_SIZE_U32(maxTableLog) (1 + (1<<maxTableLog))
984
985
986/* *****************************************
987* FSE advanced API
988*******************************************/
989static size_t FSE_buildDTable_raw (FSE_DTable* dt, unsigned nbBits);
990/* build a fake FSE_DTable, designed to read an uncompressed bitstream where each symbol uses nbBits */
991
992static size_t FSE_buildDTable_rle (FSE_DTable* dt, unsigned char symbolValue);
993/* build a fake FSE_DTable, designed to always generate the same symbolValue */
994
995
996
997/* *****************************************
998* FSE symbol decompression API
999*******************************************/
1000typedef struct
1001{
1002 size_t state;
1003 const void* table; /* precise table may vary, depending on U16 */
1004} FSE_DState_t;
1005
1006
1007static void FSE_initDState(FSE_DState_t* DStatePtr, BIT_DStream_t* bitD, const FSE_DTable* dt);
1008
1009static unsigned char FSE_decodeSymbol(FSE_DState_t* DStatePtr, BIT_DStream_t* bitD);
1010
1011static unsigned FSE_endOfDState(const FSE_DState_t* DStatePtr);
1012
1013/*!
1014Let's now decompose FSE_decompress_usingDTable() into its unitary components.
1015You will decode FSE-encoded symbols from the bitStream,
1016and also any other bitFields you put in, **in reverse order**.
1017
1018You will need a few variables to track your bitStream. They are :
1019
1020BIT_DStream_t DStream; // Stream context
1021FSE_DState_t DState; // State context. Multiple ones are possible
1022FSE_DTable* DTablePtr; // Decoding table, provided by FSE_buildDTable()
1023
1024The first thing to do is to init the bitStream.
1025 errorCode = BIT_initDStream(&DStream, srcBuffer, srcSize);
1026
1027You should then retrieve your initial state(s)
1028(in reverse flushing order if you have several ones) :
1029 errorCode = FSE_initDState(&DState, &DStream, DTablePtr);
1030
1031You can then decode your data, symbol after symbol.
1032For information the maximum number of bits read by FSE_decodeSymbol() is 'tableLog'.
1033Keep in mind that symbols are decoded in reverse order, like a LIFO stack (last in, first out).
1034 unsigned char symbol = FSE_decodeSymbol(&DState, &DStream);
1035
1036You can retrieve any bitfield you eventually stored into the bitStream (in reverse order)
1037Note : maximum allowed nbBits is 25, for 32-bits compatibility
1038 size_t bitField = BIT_readBits(&DStream, nbBits);
1039
1040All above operations only read from local register (which size depends on size_t).
1041Refueling the register from memory is manually performed by the reload method.
1042 endSignal = FSE_reloadDStream(&DStream);
1043
1044BIT_reloadDStream() result tells if there is still some more data to read from DStream.
1045BIT_DStream_unfinished : there is still some data left into the DStream.
1046BIT_DStream_endOfBuffer : Dstream reached end of buffer. Its container may no longer be completely filled.
1047BIT_DStream_completed : Dstream reached its exact end, corresponding in general to decompression completed.
1048BIT_DStream_tooFar : Dstream went too far. Decompression result is corrupted.
1049
1050When reaching end of buffer (BIT_DStream_endOfBuffer), progress slowly, notably if you decode multiple symbols per loop,
1051to properly detect the exact end of stream.
1052After each decoded symbol, check if DStream is fully consumed using this simple test :
1053 BIT_reloadDStream(&DStream) >= BIT_DStream_completed
1054
1055When it's done, verify decompression is fully completed, by checking both DStream and the relevant states.
1056Checking if DStream has reached its end is performed by :
1057 BIT_endOfDStream(&DStream);
1058Check also the states. There might be some symbols left there, if some high probability ones (>50%) are possible.
1059 FSE_endOfDState(&DState);
1060*/
1061
1062
1063/* *****************************************
1064* FSE unsafe API
1065*******************************************/
1066static unsigned char FSE_decodeSymbolFast(FSE_DState_t* DStatePtr, BIT_DStream_t* bitD);
1067/* faster, but works only if nbBits is always >= 1 (otherwise, result will be corrupted) */
1068
1069
1070/* *****************************************
1071* Implementation of inlined functions
1072*******************************************/
1073/* decompression */
1074
1075typedef struct {
1076 U16 tableLog;
1077 U16 fastMode;
1078} FSE_DTableHeader; /* sizeof U32 */
1079
1080typedef struct
1081{
1082 unsigned short newState;
1083 unsigned char symbol;
1084 unsigned char nbBits;
1085} FSE_decode_t; /* size == U32 */
1086
1087MEM_STATIC void FSE_initDState(FSE_DState_t* DStatePtr, BIT_DStream_t* bitD, const FSE_DTable* dt)
1088{
Yann Collet6bff7482016-02-09 17:55:01 +01001089 FSE_DTableHeader DTableH;
1090 memcpy(&DTableH, dt, sizeof(DTableH));
1091 DStatePtr->state = BIT_readBits(bitD, DTableH.tableLog);
Yann Collet464fa992016-02-03 01:09:46 +01001092 BIT_reloadDStream(bitD);
1093 DStatePtr->table = dt + 1;
1094}
1095
1096MEM_STATIC BYTE FSE_decodeSymbol(FSE_DState_t* DStatePtr, BIT_DStream_t* bitD)
1097{
1098 const FSE_decode_t DInfo = ((const FSE_decode_t*)(DStatePtr->table))[DStatePtr->state];
1099 const U32 nbBits = DInfo.nbBits;
1100 BYTE symbol = DInfo.symbol;
1101 size_t lowBits = BIT_readBits(bitD, nbBits);
1102
1103 DStatePtr->state = DInfo.newState + lowBits;
1104 return symbol;
1105}
1106
1107MEM_STATIC BYTE FSE_decodeSymbolFast(FSE_DState_t* DStatePtr, BIT_DStream_t* bitD)
1108{
1109 const FSE_decode_t DInfo = ((const FSE_decode_t*)(DStatePtr->table))[DStatePtr->state];
1110 const U32 nbBits = DInfo.nbBits;
1111 BYTE symbol = DInfo.symbol;
1112 size_t lowBits = BIT_readBitsFast(bitD, nbBits);
1113
1114 DStatePtr->state = DInfo.newState + lowBits;
1115 return symbol;
1116}
1117
1118MEM_STATIC unsigned FSE_endOfDState(const FSE_DState_t* DStatePtr)
1119{
1120 return DStatePtr->state == 0;
1121}
1122
1123
1124#if defined (__cplusplus)
1125}
1126#endif
1127
1128#endif /* FSE_STATIC_H */
1129
1130/* ******************************************************************
1131 FSE : Finite State Entropy coder
1132 Copyright (C) 2013-2015, Yann Collet.
1133
1134 BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
1135
1136 Redistribution and use in source and binary forms, with or without
1137 modification, are permitted provided that the following conditions are
1138 met:
1139
1140 * Redistributions of source code must retain the above copyright
1141 notice, this list of conditions and the following disclaimer.
1142 * Redistributions in binary form must reproduce the above
1143 copyright notice, this list of conditions and the following disclaimer
1144 in the documentation and/or other materials provided with the
1145 distribution.
1146
1147 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1148 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
1149 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
1150 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
1151 OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
1152 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
1153 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
1154 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
1155 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
1156 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
1157 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
1158
1159 You can contact the author at :
1160 - FSE source repository : https://github.com/Cyan4973/FiniteStateEntropy
1161 - Public forum : https://groups.google.com/forum/#!forum/lz4c
1162****************************************************************** */
1163
1164#ifndef FSE_COMMONDEFS_ONLY
1165
1166/* **************************************************************
1167* Tuning parameters
1168****************************************************************/
1169/*!MEMORY_USAGE :
1170* Memory usage formula : N->2^N Bytes (examples : 10 -> 1KB; 12 -> 4KB ; 16 -> 64KB; 20 -> 1MB; etc.)
1171* Increasing memory usage improves compression ratio
1172* Reduced memory usage can improve speed, due to cache effect
1173* Recommended max value is 14, for 16KB, which nicely fits into Intel x86 L1 cache */
1174#define FSE_MAX_MEMORY_USAGE 14
1175#define FSE_DEFAULT_MEMORY_USAGE 13
1176
1177/*!FSE_MAX_SYMBOL_VALUE :
1178* Maximum symbol value authorized.
1179* Required for proper stack allocation */
1180#define FSE_MAX_SYMBOL_VALUE 255
1181
1182
1183/* **************************************************************
1184* template functions type & suffix
1185****************************************************************/
1186#define FSE_FUNCTION_TYPE BYTE
1187#define FSE_FUNCTION_EXTENSION
1188#define FSE_DECODE_TYPE FSE_decode_t
1189
1190
1191#endif /* !FSE_COMMONDEFS_ONLY */
1192
1193/* **************************************************************
1194* Compiler specifics
1195****************************************************************/
1196#ifdef _MSC_VER /* Visual Studio */
1197# define FORCE_INLINE static __forceinline
1198# include <intrin.h> /* For Visual 2005 */
1199# pragma warning(disable : 4127) /* disable: C4127: conditional expression is constant */
1200# pragma warning(disable : 4214) /* disable: C4214: non-int bitfields */
1201#else
Yann Collet1563bfe2016-09-02 11:44:21 -07001202# if defined (__cplusplus) || defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L /* C99 */
1203# ifdef __GNUC__
1204# define FORCE_INLINE static inline __attribute__((always_inline))
1205# else
1206# define FORCE_INLINE static inline
1207# endif
Yann Collet464fa992016-02-03 01:09:46 +01001208# else
Yann Collet1563bfe2016-09-02 11:44:21 -07001209# define FORCE_INLINE static
1210# endif /* __STDC_VERSION__ */
Yann Collet464fa992016-02-03 01:09:46 +01001211#endif
1212
1213
1214/* **************************************************************
Yann Collet44886612016-02-11 04:17:50 +01001215* Dependencies
Yann Collet464fa992016-02-03 01:09:46 +01001216****************************************************************/
1217#include <stdlib.h> /* malloc, free, qsort */
1218#include <string.h> /* memcpy, memset */
1219#include <stdio.h> /* printf (debug) */
1220
1221
1222/* ***************************************************************
1223* Constants
1224*****************************************************************/
1225#define FSE_MAX_TABLELOG (FSE_MAX_MEMORY_USAGE-2)
1226#define FSE_MAX_TABLESIZE (1U<<FSE_MAX_TABLELOG)
1227#define FSE_MAXTABLESIZE_MASK (FSE_MAX_TABLESIZE-1)
1228#define FSE_DEFAULT_TABLELOG (FSE_DEFAULT_MEMORY_USAGE-2)
1229#define FSE_MIN_TABLELOG 5
1230
1231#define FSE_TABLELOG_ABSOLUTE_MAX 15
1232#if FSE_MAX_TABLELOG > FSE_TABLELOG_ABSOLUTE_MAX
1233#error "FSE_MAX_TABLELOG > FSE_TABLELOG_ABSOLUTE_MAX is not supported"
1234#endif
1235
1236
1237/* **************************************************************
1238* Error Management
1239****************************************************************/
1240#define FSE_STATIC_ASSERT(c) { enum { FSE_static_assert = 1/(int)(!!(c)) }; } /* use only *after* variable declarations */
1241
1242
1243/* **************************************************************
1244* Complex types
1245****************************************************************/
1246typedef U32 DTable_max_t[FSE_DTABLE_SIZE_U32(FSE_MAX_TABLELOG)];
1247
1248
Yann Collet44886612016-02-11 04:17:50 +01001249/*-**************************************************************
Yann Collet464fa992016-02-03 01:09:46 +01001250* Templates
1251****************************************************************/
1252/*
1253 designed to be included
1254 for type-specific functions (template emulation in C)
1255 Objective is to write these functions only once, for improved maintenance
1256*/
1257
1258/* safety checks */
1259#ifndef FSE_FUNCTION_EXTENSION
1260# error "FSE_FUNCTION_EXTENSION must be defined"
1261#endif
1262#ifndef FSE_FUNCTION_TYPE
1263# error "FSE_FUNCTION_TYPE must be defined"
1264#endif
1265
1266/* Function names */
1267#define FSE_CAT(X,Y) X##Y
1268#define FSE_FUNCTION_NAME(X,Y) FSE_CAT(X,Y)
1269#define FSE_TYPE_NAME(X,Y) FSE_CAT(X,Y)
1270
1271static U32 FSE_tableStep(U32 tableSize) { return (tableSize>>1) + (tableSize>>3) + 3; }
1272
1273
1274static size_t FSE_buildDTable(FSE_DTable* dt, const short* normalizedCounter, unsigned maxSymbolValue, unsigned tableLog)
1275{
1276 FSE_DTableHeader DTableH;
1277 void* const tdPtr = dt+1; /* because dt is unsigned, 32-bits aligned on 32-bits */
1278 FSE_DECODE_TYPE* const tableDecode = (FSE_DECODE_TYPE*) (tdPtr);
1279 const U32 tableSize = 1 << tableLog;
1280 const U32 tableMask = tableSize-1;
1281 const U32 step = FSE_tableStep(tableSize);
1282 U16 symbolNext[FSE_MAX_SYMBOL_VALUE+1];
1283 U32 position = 0;
1284 U32 highThreshold = tableSize-1;
1285 const S16 largeLimit= (S16)(1 << (tableLog-1));
1286 U32 noLarge = 1;
1287 U32 s;
1288
1289 /* Sanity Checks */
1290 if (maxSymbolValue > FSE_MAX_SYMBOL_VALUE) return ERROR(maxSymbolValue_tooLarge);
1291 if (tableLog > FSE_MAX_TABLELOG) return ERROR(tableLog_tooLarge);
1292
1293 /* Init, lay down lowprob symbols */
1294 DTableH.tableLog = (U16)tableLog;
1295 for (s=0; s<=maxSymbolValue; s++)
1296 {
1297 if (normalizedCounter[s]==-1)
1298 {
1299 tableDecode[highThreshold--].symbol = (FSE_FUNCTION_TYPE)s;
1300 symbolNext[s] = 1;
1301 }
1302 else
1303 {
1304 if (normalizedCounter[s] >= largeLimit) noLarge=0;
1305 symbolNext[s] = normalizedCounter[s];
1306 }
1307 }
1308
1309 /* Spread symbols */
1310 for (s=0; s<=maxSymbolValue; s++)
1311 {
1312 int i;
1313 for (i=0; i<normalizedCounter[s]; i++)
1314 {
1315 tableDecode[position].symbol = (FSE_FUNCTION_TYPE)s;
1316 position = (position + step) & tableMask;
1317 while (position > highThreshold) position = (position + step) & tableMask; /* lowprob area */
1318 }
1319 }
1320
1321 if (position!=0) return ERROR(GENERIC); /* position must reach all cells once, otherwise normalizedCounter is incorrect */
1322
1323 /* Build Decoding table */
1324 {
1325 U32 i;
1326 for (i=0; i<tableSize; i++)
1327 {
1328 FSE_FUNCTION_TYPE symbol = (FSE_FUNCTION_TYPE)(tableDecode[i].symbol);
1329 U16 nextState = symbolNext[symbol]++;
1330 tableDecode[i].nbBits = (BYTE) (tableLog - BIT_highbit32 ((U32)nextState) );
1331 tableDecode[i].newState = (U16) ( (nextState << tableDecode[i].nbBits) - tableSize);
1332 }
1333 }
1334
1335 DTableH.fastMode = (U16)noLarge;
1336 memcpy(dt, &DTableH, sizeof(DTableH));
1337 return 0;
1338}
1339
1340
1341#ifndef FSE_COMMONDEFS_ONLY
1342/******************************************
1343* FSE helper functions
1344******************************************/
1345static unsigned FSE_isError(size_t code) { return ERR_isError(code); }
1346
1347
1348/****************************************************************
1349* FSE NCount encoding-decoding
1350****************************************************************/
1351static short FSE_abs(short a)
1352{
1353 return a<0 ? -a : a;
1354}
1355
1356static size_t FSE_readNCount (short* normalizedCounter, unsigned* maxSVPtr, unsigned* tableLogPtr,
1357 const void* headerBuffer, size_t hbSize)
1358{
1359 const BYTE* const istart = (const BYTE*) headerBuffer;
1360 const BYTE* const iend = istart + hbSize;
1361 const BYTE* ip = istart;
1362 int nbBits;
1363 int remaining;
1364 int threshold;
1365 U32 bitStream;
1366 int bitCount;
1367 unsigned charnum = 0;
1368 int previous0 = 0;
1369
1370 if (hbSize < 4) return ERROR(srcSize_wrong);
1371 bitStream = MEM_readLE32(ip);
1372 nbBits = (bitStream & 0xF) + FSE_MIN_TABLELOG; /* extract tableLog */
1373 if (nbBits > FSE_TABLELOG_ABSOLUTE_MAX) return ERROR(tableLog_tooLarge);
1374 bitStream >>= 4;
1375 bitCount = 4;
1376 *tableLogPtr = nbBits;
1377 remaining = (1<<nbBits)+1;
1378 threshold = 1<<nbBits;
1379 nbBits++;
1380
1381 while ((remaining>1) && (charnum<=*maxSVPtr))
1382 {
1383 if (previous0)
1384 {
1385 unsigned n0 = charnum;
1386 while ((bitStream & 0xFFFF) == 0xFFFF)
1387 {
1388 n0+=24;
1389 if (ip < iend-5)
1390 {
1391 ip+=2;
1392 bitStream = MEM_readLE32(ip) >> bitCount;
1393 }
1394 else
1395 {
1396 bitStream >>= 16;
1397 bitCount+=16;
1398 }
1399 }
1400 while ((bitStream & 3) == 3)
1401 {
1402 n0+=3;
1403 bitStream>>=2;
1404 bitCount+=2;
1405 }
1406 n0 += bitStream & 3;
1407 bitCount += 2;
1408 if (n0 > *maxSVPtr) return ERROR(maxSymbolValue_tooSmall);
1409 while (charnum < n0) normalizedCounter[charnum++] = 0;
1410 if ((ip <= iend-7) || (ip + (bitCount>>3) <= iend-4))
1411 {
1412 ip += bitCount>>3;
1413 bitCount &= 7;
1414 bitStream = MEM_readLE32(ip) >> bitCount;
1415 }
1416 else
1417 bitStream >>= 2;
1418 }
1419 {
1420 const short max = (short)((2*threshold-1)-remaining);
1421 short count;
1422
1423 if ((bitStream & (threshold-1)) < (U32)max)
1424 {
1425 count = (short)(bitStream & (threshold-1));
1426 bitCount += nbBits-1;
1427 }
1428 else
1429 {
1430 count = (short)(bitStream & (2*threshold-1));
1431 if (count >= threshold) count -= max;
1432 bitCount += nbBits;
1433 }
1434
1435 count--; /* extra accuracy */
1436 remaining -= FSE_abs(count);
1437 normalizedCounter[charnum++] = count;
1438 previous0 = !count;
1439 while (remaining < threshold)
1440 {
1441 nbBits--;
1442 threshold >>= 1;
1443 }
1444
1445 {
1446 if ((ip <= iend-7) || (ip + (bitCount>>3) <= iend-4))
1447 {
1448 ip += bitCount>>3;
1449 bitCount &= 7;
1450 }
1451 else
1452 {
1453 bitCount -= (int)(8 * (iend - 4 - ip));
1454 ip = iend - 4;
1455 }
1456 bitStream = MEM_readLE32(ip) >> (bitCount & 31);
1457 }
1458 }
1459 }
1460 if (remaining != 1) return ERROR(GENERIC);
1461 *maxSVPtr = charnum-1;
1462
1463 ip += (bitCount+7)>>3;
1464 if ((size_t)(ip-istart) > hbSize) return ERROR(srcSize_wrong);
1465 return ip-istart;
1466}
1467
1468
1469/*********************************************************
1470* Decompression (Byte symbols)
1471*********************************************************/
1472static size_t FSE_buildDTable_rle (FSE_DTable* dt, BYTE symbolValue)
1473{
1474 void* ptr = dt;
1475 FSE_DTableHeader* const DTableH = (FSE_DTableHeader*)ptr;
1476 void* dPtr = dt + 1;
1477 FSE_decode_t* const cell = (FSE_decode_t*)dPtr;
1478
1479 DTableH->tableLog = 0;
1480 DTableH->fastMode = 0;
1481
1482 cell->newState = 0;
1483 cell->symbol = symbolValue;
1484 cell->nbBits = 0;
1485
1486 return 0;
1487}
1488
1489
1490static size_t FSE_buildDTable_raw (FSE_DTable* dt, unsigned nbBits)
1491{
1492 void* ptr = dt;
1493 FSE_DTableHeader* const DTableH = (FSE_DTableHeader*)ptr;
1494 void* dPtr = dt + 1;
1495 FSE_decode_t* const dinfo = (FSE_decode_t*)dPtr;
1496 const unsigned tableSize = 1 << nbBits;
1497 const unsigned tableMask = tableSize - 1;
1498 const unsigned maxSymbolValue = tableMask;
1499 unsigned s;
1500
1501 /* Sanity checks */
1502 if (nbBits < 1) return ERROR(GENERIC); /* min size */
1503
1504 /* Build Decoding Table */
1505 DTableH->tableLog = (U16)nbBits;
1506 DTableH->fastMode = 1;
1507 for (s=0; s<=maxSymbolValue; s++)
1508 {
1509 dinfo[s].newState = 0;
1510 dinfo[s].symbol = (BYTE)s;
1511 dinfo[s].nbBits = (BYTE)nbBits;
1512 }
1513
1514 return 0;
1515}
1516
1517FORCE_INLINE size_t FSE_decompress_usingDTable_generic(
1518 void* dst, size_t maxDstSize,
1519 const void* cSrc, size_t cSrcSize,
1520 const FSE_DTable* dt, const unsigned fast)
1521{
1522 BYTE* const ostart = (BYTE*) dst;
1523 BYTE* op = ostart;
1524 BYTE* const omax = op + maxDstSize;
1525 BYTE* const olimit = omax-3;
1526
1527 BIT_DStream_t bitD;
1528 FSE_DState_t state1;
1529 FSE_DState_t state2;
1530 size_t errorCode;
1531
1532 /* Init */
1533 errorCode = BIT_initDStream(&bitD, cSrc, cSrcSize); /* replaced last arg by maxCompressed Size */
1534 if (FSE_isError(errorCode)) return errorCode;
1535
1536 FSE_initDState(&state1, &bitD, dt);
1537 FSE_initDState(&state2, &bitD, dt);
1538
1539#define FSE_GETSYMBOL(statePtr) fast ? FSE_decodeSymbolFast(statePtr, &bitD) : FSE_decodeSymbol(statePtr, &bitD)
1540
1541 /* 4 symbols per loop */
1542 for ( ; (BIT_reloadDStream(&bitD)==BIT_DStream_unfinished) && (op<olimit) ; op+=4)
1543 {
1544 op[0] = FSE_GETSYMBOL(&state1);
1545
1546 if (FSE_MAX_TABLELOG*2+7 > sizeof(bitD.bitContainer)*8) /* This test must be static */
1547 BIT_reloadDStream(&bitD);
1548
1549 op[1] = FSE_GETSYMBOL(&state2);
1550
1551 if (FSE_MAX_TABLELOG*4+7 > sizeof(bitD.bitContainer)*8) /* This test must be static */
1552 { if (BIT_reloadDStream(&bitD) > BIT_DStream_unfinished) { op+=2; break; } }
1553
1554 op[2] = FSE_GETSYMBOL(&state1);
1555
1556 if (FSE_MAX_TABLELOG*2+7 > sizeof(bitD.bitContainer)*8) /* This test must be static */
1557 BIT_reloadDStream(&bitD);
1558
1559 op[3] = FSE_GETSYMBOL(&state2);
1560 }
1561
1562 /* tail */
1563 /* note : BIT_reloadDStream(&bitD) >= FSE_DStream_partiallyFilled; Ends at exactly BIT_DStream_completed */
1564 while (1)
1565 {
1566 if ( (BIT_reloadDStream(&bitD)>BIT_DStream_completed) || (op==omax) || (BIT_endOfDStream(&bitD) && (fast || FSE_endOfDState(&state1))) )
1567 break;
1568
1569 *op++ = FSE_GETSYMBOL(&state1);
1570
1571 if ( (BIT_reloadDStream(&bitD)>BIT_DStream_completed) || (op==omax) || (BIT_endOfDStream(&bitD) && (fast || FSE_endOfDState(&state2))) )
1572 break;
1573
1574 *op++ = FSE_GETSYMBOL(&state2);
1575 }
1576
1577 /* end ? */
1578 if (BIT_endOfDStream(&bitD) && FSE_endOfDState(&state1) && FSE_endOfDState(&state2))
1579 return op-ostart;
1580
1581 if (op==omax) return ERROR(dstSize_tooSmall); /* dst buffer is full, but cSrc unfinished */
1582
1583 return ERROR(corruption_detected);
1584}
1585
1586
1587static size_t FSE_decompress_usingDTable(void* dst, size_t originalSize,
1588 const void* cSrc, size_t cSrcSize,
1589 const FSE_DTable* dt)
1590{
Yann Collet6bff7482016-02-09 17:55:01 +01001591 FSE_DTableHeader DTableH;
1592 U32 fastMode;
1593
1594 memcpy(&DTableH, dt, sizeof(DTableH));
1595 fastMode = DTableH.fastMode;
Yann Collet464fa992016-02-03 01:09:46 +01001596
1597 /* select fast mode (static) */
1598 if (fastMode) return FSE_decompress_usingDTable_generic(dst, originalSize, cSrc, cSrcSize, dt, 1);
1599 return FSE_decompress_usingDTable_generic(dst, originalSize, cSrc, cSrcSize, dt, 0);
1600}
1601
1602
1603static size_t FSE_decompress(void* dst, size_t maxDstSize, const void* cSrc, size_t cSrcSize)
1604{
1605 const BYTE* const istart = (const BYTE*)cSrc;
1606 const BYTE* ip = istart;
1607 short counting[FSE_MAX_SYMBOL_VALUE+1];
1608 DTable_max_t dt; /* Static analyzer seems unable to understand this table will be properly initialized later */
1609 unsigned tableLog;
1610 unsigned maxSymbolValue = FSE_MAX_SYMBOL_VALUE;
1611 size_t errorCode;
1612
1613 if (cSrcSize<2) return ERROR(srcSize_wrong); /* too small input size */
1614
1615 /* normal FSE decoding mode */
1616 errorCode = FSE_readNCount (counting, &maxSymbolValue, &tableLog, istart, cSrcSize);
1617 if (FSE_isError(errorCode)) return errorCode;
1618 if (errorCode >= cSrcSize) return ERROR(srcSize_wrong); /* too small input size */
1619 ip += errorCode;
1620 cSrcSize -= errorCode;
1621
1622 errorCode = FSE_buildDTable (dt, counting, maxSymbolValue, tableLog);
1623 if (FSE_isError(errorCode)) return errorCode;
1624
1625 /* always return, even if it is an error code */
1626 return FSE_decompress_usingDTable (dst, maxDstSize, ip, cSrcSize, dt);
1627}
1628
1629
1630
1631#endif /* FSE_COMMONDEFS_ONLY */
1632
1633
1634/* ******************************************************************
1635 Huff0 : Huffman coder, part of New Generation Entropy library
1636 header file
1637 Copyright (C) 2013-2015, Yann Collet.
1638
1639 BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
1640
1641 Redistribution and use in source and binary forms, with or without
1642 modification, are permitted provided that the following conditions are
1643 met:
1644
1645 * Redistributions of source code must retain the above copyright
1646 notice, this list of conditions and the following disclaimer.
1647 * Redistributions in binary form must reproduce the above
1648 copyright notice, this list of conditions and the following disclaimer
1649 in the documentation and/or other materials provided with the
1650 distribution.
1651
1652 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1653 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
1654 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
1655 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
1656 OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
1657 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
1658 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
1659 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
1660 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
1661 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
1662 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
1663
1664 You can contact the author at :
1665 - Source repository : https://github.com/Cyan4973/FiniteStateEntropy
1666 - Public forum : https://groups.google.com/forum/#!forum/lz4c
1667****************************************************************** */
1668#ifndef HUFF0_H
1669#define HUFF0_H
1670
1671#if defined (__cplusplus)
1672extern "C" {
1673#endif
1674
1675
1676/* ****************************************
1677* Dependency
1678******************************************/
1679#include <stddef.h> /* size_t */
1680
1681
1682/* ****************************************
1683* Huff0 simple functions
1684******************************************/
1685static size_t HUF_decompress(void* dst, size_t dstSize,
1686 const void* cSrc, size_t cSrcSize);
1687/*!
1688HUF_decompress():
1689 Decompress Huff0 data from buffer 'cSrc', of size 'cSrcSize',
1690 into already allocated destination buffer 'dst', of size 'dstSize'.
1691 'dstSize' must be the exact size of original (uncompressed) data.
1692 Note : in contrast with FSE, HUF_decompress can regenerate RLE (cSrcSize==1) and uncompressed (cSrcSize==dstSize) data, because it knows size to regenerate.
1693 @return : size of regenerated data (== dstSize)
1694 or an error code, which can be tested using HUF_isError()
1695*/
1696
1697
1698/* ****************************************
1699* Tool functions
1700******************************************/
1701/* Error Management */
1702static unsigned HUF_isError(size_t code); /* tells if a return value is an error code */
1703
1704
1705#if defined (__cplusplus)
1706}
1707#endif
1708
1709#endif /* HUFF0_H */
1710
1711
1712/* ******************************************************************
1713 Huff0 : Huffman coder, part of New Generation Entropy library
1714 header file for static linking (only)
1715 Copyright (C) 2013-2015, Yann Collet
1716
1717 BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
1718
1719 Redistribution and use in source and binary forms, with or without
1720 modification, are permitted provided that the following conditions are
1721 met:
1722
1723 * Redistributions of source code must retain the above copyright
1724 notice, this list of conditions and the following disclaimer.
1725 * Redistributions in binary form must reproduce the above
1726 copyright notice, this list of conditions and the following disclaimer
1727 in the documentation and/or other materials provided with the
1728 distribution.
1729
1730 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1731 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
1732 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
1733 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
1734 OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
1735 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
1736 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
1737 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
1738 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
1739 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
1740 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
1741
1742 You can contact the author at :
1743 - Source repository : https://github.com/Cyan4973/FiniteStateEntropy
1744 - Public forum : https://groups.google.com/forum/#!forum/lz4c
1745****************************************************************** */
1746#ifndef HUFF0_STATIC_H
1747#define HUFF0_STATIC_H
1748
1749#if defined (__cplusplus)
1750extern "C" {
1751#endif
1752
1753
Yann Collet464fa992016-02-03 01:09:46 +01001754
1755/* ****************************************
1756* Static allocation macros
1757******************************************/
1758/* static allocation of Huff0's DTable */
1759#define HUF_DTABLE_SIZE(maxTableLog) (1 + (1<<maxTableLog)) /* nb Cells; use unsigned short for X2, unsigned int for X4 */
1760#define HUF_CREATE_STATIC_DTABLEX2(DTable, maxTableLog) \
1761 unsigned short DTable[HUF_DTABLE_SIZE(maxTableLog)] = { maxTableLog }
1762#define HUF_CREATE_STATIC_DTABLEX4(DTable, maxTableLog) \
1763 unsigned int DTable[HUF_DTABLE_SIZE(maxTableLog)] = { maxTableLog }
1764#define HUF_CREATE_STATIC_DTABLEX6(DTable, maxTableLog) \
1765 unsigned int DTable[HUF_DTABLE_SIZE(maxTableLog) * 3 / 2] = { maxTableLog }
1766
1767
1768/* ****************************************
1769* Advanced decompression functions
1770******************************************/
1771static size_t HUF_decompress4X2 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize); /* single-symbol decoder */
1772static size_t HUF_decompress4X4 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize); /* double-symbols decoder */
Yann Collet464fa992016-02-03 01:09:46 +01001773
1774
1775/* ****************************************
1776* Huff0 detailed API
1777******************************************/
1778/*!
1779HUF_decompress() does the following:
17801. select the decompression algorithm (X2, X4, X6) based on pre-computed heuristics
17812. build Huffman table from save, using HUF_readDTableXn()
17823. decode 1 or 4 segments in parallel using HUF_decompressSXn_usingDTable
1783
1784*/
1785static size_t HUF_readDTableX2 (unsigned short* DTable, const void* src, size_t srcSize);
1786static size_t HUF_readDTableX4 (unsigned* DTable, const void* src, size_t srcSize);
Yann Collet464fa992016-02-03 01:09:46 +01001787
1788static size_t HUF_decompress4X2_usingDTable(void* dst, size_t maxDstSize, const void* cSrc, size_t cSrcSize, const unsigned short* DTable);
1789static size_t HUF_decompress4X4_usingDTable(void* dst, size_t maxDstSize, const void* cSrc, size_t cSrcSize, const unsigned* DTable);
Yann Collet464fa992016-02-03 01:09:46 +01001790
1791
1792#if defined (__cplusplus)
1793}
1794#endif
1795
1796#endif /* HUFF0_STATIC_H */
1797
1798
1799
1800/* ******************************************************************
1801 Huff0 : Huffman coder, part of New Generation Entropy library
1802 Copyright (C) 2013-2015, Yann Collet.
1803
1804 BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
1805
1806 Redistribution and use in source and binary forms, with or without
1807 modification, are permitted provided that the following conditions are
1808 met:
1809
1810 * Redistributions of source code must retain the above copyright
1811 notice, this list of conditions and the following disclaimer.
1812 * Redistributions in binary form must reproduce the above
1813 copyright notice, this list of conditions and the following disclaimer
1814 in the documentation and/or other materials provided with the
1815 distribution.
1816
1817 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1818 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
1819 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
1820 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
1821 OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
1822 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
1823 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
1824 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
1825 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
1826 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
1827 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
1828
1829 You can contact the author at :
1830 - FSE+Huff0 source repository : https://github.com/Cyan4973/FiniteStateEntropy
1831****************************************************************** */
1832
1833/* **************************************************************
1834* Compiler specifics
1835****************************************************************/
1836#if defined (__cplusplus) || (defined (__STDC_VERSION__) && (__STDC_VERSION__ >= 199901L) /* C99 */)
1837/* inline is defined */
1838#elif defined(_MSC_VER)
1839# define inline __inline
1840#else
1841# define inline /* disable inline */
1842#endif
1843
1844
1845#ifdef _MSC_VER /* Visual Studio */
Yann Collet464fa992016-02-03 01:09:46 +01001846# pragma warning(disable : 4127) /* disable: C4127: conditional expression is constant */
Yann Collet464fa992016-02-03 01:09:46 +01001847#endif
1848
1849
1850/* **************************************************************
1851* Includes
1852****************************************************************/
1853#include <stdlib.h> /* malloc, free, qsort */
1854#include <string.h> /* memcpy, memset */
1855#include <stdio.h> /* printf (debug) */
1856
1857
1858/* **************************************************************
1859* Constants
1860****************************************************************/
1861#define HUF_ABSOLUTEMAX_TABLELOG 16 /* absolute limit of HUF_MAX_TABLELOG. Beyond that value, code does not work */
1862#define HUF_MAX_TABLELOG 12 /* max configured tableLog (for static allocation); can be modified up to HUF_ABSOLUTEMAX_TABLELOG */
1863#define HUF_DEFAULT_TABLELOG HUF_MAX_TABLELOG /* tableLog by default, when not specified */
1864#define HUF_MAX_SYMBOL_VALUE 255
1865#if (HUF_MAX_TABLELOG > HUF_ABSOLUTEMAX_TABLELOG)
1866# error "HUF_MAX_TABLELOG is too large !"
1867#endif
1868
1869
1870/* **************************************************************
1871* Error Management
1872****************************************************************/
1873static unsigned HUF_isError(size_t code) { return ERR_isError(code); }
1874#define HUF_STATIC_ASSERT(c) { enum { HUF_static_assert = 1/(int)(!!(c)) }; } /* use only *after* variable declarations */
1875
1876
1877
1878/*-*******************************************************
1879* Huff0 : Huffman block decompression
1880*********************************************************/
1881typedef struct { BYTE byte; BYTE nbBits; } HUF_DEltX2; /* single-symbol decoding */
1882
1883typedef struct { U16 sequence; BYTE nbBits; BYTE length; } HUF_DEltX4; /* double-symbols decoding */
1884
1885typedef struct { BYTE symbol; BYTE weight; } sortedSymbol_t;
1886
1887/*! HUF_readStats
1888 Read compact Huffman tree, saved by HUF_writeCTable
1889 @huffWeight : destination buffer
1890 @return : size read from `src`
1891*/
1892static size_t HUF_readStats(BYTE* huffWeight, size_t hwSize, U32* rankStats,
1893 U32* nbSymbolsPtr, U32* tableLogPtr,
1894 const void* src, size_t srcSize)
1895{
1896 U32 weightTotal;
1897 U32 tableLog;
1898 const BYTE* ip = (const BYTE*) src;
Nick Terrellccfcc642016-10-17 11:28:02 -07001899 size_t iSize;
Yann Collet464fa992016-02-03 01:09:46 +01001900 size_t oSize;
1901 U32 n;
1902
Nick Terrellccfcc642016-10-17 11:28:02 -07001903 if (!srcSize) return ERROR(srcSize_wrong);
1904 iSize = ip[0];
Yann Collet464fa992016-02-03 01:09:46 +01001905 //memset(huffWeight, 0, hwSize); /* is not necessary, even though some analyzer complain ... */
1906
1907 if (iSize >= 128) /* special header */
1908 {
1909 if (iSize >= (242)) /* RLE */
1910 {
1911 static int l[14] = { 1, 2, 3, 4, 7, 8, 15, 16, 31, 32, 63, 64, 127, 128 };
1912 oSize = l[iSize-242];
1913 memset(huffWeight, 1, hwSize);
1914 iSize = 0;
1915 }
1916 else /* Incompressible */
1917 {
1918 oSize = iSize - 127;
1919 iSize = ((oSize+1)/2);
1920 if (iSize+1 > srcSize) return ERROR(srcSize_wrong);
1921 if (oSize >= hwSize) return ERROR(corruption_detected);
1922 ip += 1;
1923 for (n=0; n<oSize; n+=2)
1924 {
1925 huffWeight[n] = ip[n/2] >> 4;
1926 huffWeight[n+1] = ip[n/2] & 15;
1927 }
1928 }
1929 }
1930 else /* header compressed with FSE (normal case) */
1931 {
1932 if (iSize+1 > srcSize) return ERROR(srcSize_wrong);
1933 oSize = FSE_decompress(huffWeight, hwSize-1, ip+1, iSize); /* max (hwSize-1) values decoded, as last one is implied */
1934 if (FSE_isError(oSize)) return oSize;
1935 }
1936
1937 /* collect weight stats */
1938 memset(rankStats, 0, (HUF_ABSOLUTEMAX_TABLELOG + 1) * sizeof(U32));
1939 weightTotal = 0;
1940 for (n=0; n<oSize; n++)
1941 {
1942 if (huffWeight[n] >= HUF_ABSOLUTEMAX_TABLELOG) return ERROR(corruption_detected);
1943 rankStats[huffWeight[n]]++;
1944 weightTotal += (1 << huffWeight[n]) >> 1;
1945 }
1946
1947 /* get last non-null symbol weight (implied, total must be 2^n) */
1948 tableLog = BIT_highbit32(weightTotal) + 1;
1949 if (tableLog > HUF_ABSOLUTEMAX_TABLELOG) return ERROR(corruption_detected);
1950 {
1951 U32 total = 1 << tableLog;
1952 U32 rest = total - weightTotal;
1953 U32 verif = 1 << BIT_highbit32(rest);
1954 U32 lastWeight = BIT_highbit32(rest) + 1;
1955 if (verif != rest) return ERROR(corruption_detected); /* last value must be a clean power of 2 */
1956 huffWeight[oSize] = (BYTE)lastWeight;
1957 rankStats[lastWeight]++;
1958 }
1959
1960 /* check tree construction validity */
1961 if ((rankStats[1] < 2) || (rankStats[1] & 1)) return ERROR(corruption_detected); /* by construction : at least 2 elts of rank 1, must be even */
1962
1963 /* results */
1964 *nbSymbolsPtr = (U32)(oSize+1);
1965 *tableLogPtr = tableLog;
1966 return iSize+1;
1967}
1968
1969
1970/**************************/
1971/* single-symbol decoding */
1972/**************************/
1973
1974static size_t HUF_readDTableX2 (U16* DTable, const void* src, size_t srcSize)
1975{
1976 BYTE huffWeight[HUF_MAX_SYMBOL_VALUE + 1];
1977 U32 rankVal[HUF_ABSOLUTEMAX_TABLELOG + 1]; /* large enough for values from 0 to 16 */
1978 U32 tableLog = 0;
1979 size_t iSize;
1980 U32 nbSymbols = 0;
1981 U32 n;
1982 U32 nextRankStart;
1983 void* const dtPtr = DTable + 1;
1984 HUF_DEltX2* const dt = (HUF_DEltX2*)dtPtr;
1985
1986 HUF_STATIC_ASSERT(sizeof(HUF_DEltX2) == sizeof(U16)); /* if compilation fails here, assertion is false */
1987 //memset(huffWeight, 0, sizeof(huffWeight)); /* is not necessary, even though some analyzer complain ... */
1988
1989 iSize = HUF_readStats(huffWeight, HUF_MAX_SYMBOL_VALUE + 1, rankVal, &nbSymbols, &tableLog, src, srcSize);
1990 if (HUF_isError(iSize)) return iSize;
1991
1992 /* check result */
1993 if (tableLog > DTable[0]) return ERROR(tableLog_tooLarge); /* DTable is too small */
1994 DTable[0] = (U16)tableLog; /* maybe should separate sizeof DTable, as allocated, from used size of DTable, in case of DTable re-use */
1995
1996 /* Prepare ranks */
1997 nextRankStart = 0;
1998 for (n=1; n<=tableLog; n++)
1999 {
2000 U32 current = nextRankStart;
2001 nextRankStart += (rankVal[n] << (n-1));
2002 rankVal[n] = current;
2003 }
2004
2005 /* fill DTable */
2006 for (n=0; n<nbSymbols; n++)
2007 {
2008 const U32 w = huffWeight[n];
2009 const U32 length = (1 << w) >> 1;
2010 U32 i;
2011 HUF_DEltX2 D;
2012 D.byte = (BYTE)n; D.nbBits = (BYTE)(tableLog + 1 - w);
2013 for (i = rankVal[w]; i < rankVal[w] + length; i++)
2014 dt[i] = D;
2015 rankVal[w] += length;
2016 }
2017
2018 return iSize;
2019}
2020
2021static BYTE HUF_decodeSymbolX2(BIT_DStream_t* Dstream, const HUF_DEltX2* dt, const U32 dtLog)
2022{
2023 const size_t val = BIT_lookBitsFast(Dstream, dtLog); /* note : dtLog >= 1 */
2024 const BYTE c = dt[val].byte;
2025 BIT_skipBits(Dstream, dt[val].nbBits);
2026 return c;
2027}
2028
2029#define HUF_DECODE_SYMBOLX2_0(ptr, DStreamPtr) \
2030 *ptr++ = HUF_decodeSymbolX2(DStreamPtr, dt, dtLog)
2031
2032#define HUF_DECODE_SYMBOLX2_1(ptr, DStreamPtr) \
2033 if (MEM_64bits() || (HUF_MAX_TABLELOG<=12)) \
2034 HUF_DECODE_SYMBOLX2_0(ptr, DStreamPtr)
2035
2036#define HUF_DECODE_SYMBOLX2_2(ptr, DStreamPtr) \
2037 if (MEM_64bits()) \
2038 HUF_DECODE_SYMBOLX2_0(ptr, DStreamPtr)
2039
2040static inline size_t HUF_decodeStreamX2(BYTE* p, BIT_DStream_t* const bitDPtr, BYTE* const pEnd, const HUF_DEltX2* const dt, const U32 dtLog)
2041{
2042 BYTE* const pStart = p;
2043
2044 /* up to 4 symbols at a time */
2045 while ((BIT_reloadDStream(bitDPtr) == BIT_DStream_unfinished) && (p <= pEnd-4))
2046 {
2047 HUF_DECODE_SYMBOLX2_2(p, bitDPtr);
2048 HUF_DECODE_SYMBOLX2_1(p, bitDPtr);
2049 HUF_DECODE_SYMBOLX2_2(p, bitDPtr);
2050 HUF_DECODE_SYMBOLX2_0(p, bitDPtr);
2051 }
2052
2053 /* closer to the end */
2054 while ((BIT_reloadDStream(bitDPtr) == BIT_DStream_unfinished) && (p < pEnd))
2055 HUF_DECODE_SYMBOLX2_0(p, bitDPtr);
2056
2057 /* no more data to retrieve from bitstream, hence no need to reload */
2058 while (p < pEnd)
2059 HUF_DECODE_SYMBOLX2_0(p, bitDPtr);
2060
2061 return pEnd-pStart;
2062}
2063
2064
2065static size_t HUF_decompress4X2_usingDTable(
2066 void* dst, size_t dstSize,
2067 const void* cSrc, size_t cSrcSize,
2068 const U16* DTable)
2069{
2070 if (cSrcSize < 10) return ERROR(corruption_detected); /* strict minimum : jump table + 1 byte per stream */
2071
2072 {
2073 const BYTE* const istart = (const BYTE*) cSrc;
2074 BYTE* const ostart = (BYTE*) dst;
2075 BYTE* const oend = ostart + dstSize;
2076 const void* const dtPtr = DTable;
2077 const HUF_DEltX2* const dt = ((const HUF_DEltX2*)dtPtr) +1;
2078 const U32 dtLog = DTable[0];
2079 size_t errorCode;
2080
2081 /* Init */
2082 BIT_DStream_t bitD1;
2083 BIT_DStream_t bitD2;
2084 BIT_DStream_t bitD3;
2085 BIT_DStream_t bitD4;
2086 const size_t length1 = MEM_readLE16(istart);
2087 const size_t length2 = MEM_readLE16(istart+2);
2088 const size_t length3 = MEM_readLE16(istart+4);
2089 size_t length4;
2090 const BYTE* const istart1 = istart + 6; /* jumpTable */
2091 const BYTE* const istart2 = istart1 + length1;
2092 const BYTE* const istart3 = istart2 + length2;
2093 const BYTE* const istart4 = istart3 + length3;
2094 const size_t segmentSize = (dstSize+3) / 4;
2095 BYTE* const opStart2 = ostart + segmentSize;
2096 BYTE* const opStart3 = opStart2 + segmentSize;
2097 BYTE* const opStart4 = opStart3 + segmentSize;
2098 BYTE* op1 = ostart;
2099 BYTE* op2 = opStart2;
2100 BYTE* op3 = opStart3;
2101 BYTE* op4 = opStart4;
2102 U32 endSignal;
2103
2104 length4 = cSrcSize - (length1 + length2 + length3 + 6);
2105 if (length4 > cSrcSize) return ERROR(corruption_detected); /* overflow */
2106 errorCode = BIT_initDStream(&bitD1, istart1, length1);
2107 if (HUF_isError(errorCode)) return errorCode;
2108 errorCode = BIT_initDStream(&bitD2, istart2, length2);
2109 if (HUF_isError(errorCode)) return errorCode;
2110 errorCode = BIT_initDStream(&bitD3, istart3, length3);
2111 if (HUF_isError(errorCode)) return errorCode;
2112 errorCode = BIT_initDStream(&bitD4, istart4, length4);
2113 if (HUF_isError(errorCode)) return errorCode;
2114
2115 /* 16-32 symbols per loop (4-8 symbols per stream) */
2116 endSignal = BIT_reloadDStream(&bitD1) | BIT_reloadDStream(&bitD2) | BIT_reloadDStream(&bitD3) | BIT_reloadDStream(&bitD4);
2117 for ( ; (endSignal==BIT_DStream_unfinished) && (op4<(oend-7)) ; )
2118 {
2119 HUF_DECODE_SYMBOLX2_2(op1, &bitD1);
2120 HUF_DECODE_SYMBOLX2_2(op2, &bitD2);
2121 HUF_DECODE_SYMBOLX2_2(op3, &bitD3);
2122 HUF_DECODE_SYMBOLX2_2(op4, &bitD4);
2123 HUF_DECODE_SYMBOLX2_1(op1, &bitD1);
2124 HUF_DECODE_SYMBOLX2_1(op2, &bitD2);
2125 HUF_DECODE_SYMBOLX2_1(op3, &bitD3);
2126 HUF_DECODE_SYMBOLX2_1(op4, &bitD4);
2127 HUF_DECODE_SYMBOLX2_2(op1, &bitD1);
2128 HUF_DECODE_SYMBOLX2_2(op2, &bitD2);
2129 HUF_DECODE_SYMBOLX2_2(op3, &bitD3);
2130 HUF_DECODE_SYMBOLX2_2(op4, &bitD4);
2131 HUF_DECODE_SYMBOLX2_0(op1, &bitD1);
2132 HUF_DECODE_SYMBOLX2_0(op2, &bitD2);
2133 HUF_DECODE_SYMBOLX2_0(op3, &bitD3);
2134 HUF_DECODE_SYMBOLX2_0(op4, &bitD4);
2135
2136 endSignal = BIT_reloadDStream(&bitD1) | BIT_reloadDStream(&bitD2) | BIT_reloadDStream(&bitD3) | BIT_reloadDStream(&bitD4);
2137 }
2138
2139 /* check corruption */
2140 if (op1 > opStart2) return ERROR(corruption_detected);
2141 if (op2 > opStart3) return ERROR(corruption_detected);
2142 if (op3 > opStart4) return ERROR(corruption_detected);
2143 /* note : op4 supposed already verified within main loop */
2144
2145 /* finish bitStreams one by one */
2146 HUF_decodeStreamX2(op1, &bitD1, opStart2, dt, dtLog);
2147 HUF_decodeStreamX2(op2, &bitD2, opStart3, dt, dtLog);
2148 HUF_decodeStreamX2(op3, &bitD3, opStart4, dt, dtLog);
2149 HUF_decodeStreamX2(op4, &bitD4, oend, dt, dtLog);
2150
2151 /* check */
2152 endSignal = BIT_endOfDStream(&bitD1) & BIT_endOfDStream(&bitD2) & BIT_endOfDStream(&bitD3) & BIT_endOfDStream(&bitD4);
2153 if (!endSignal) return ERROR(corruption_detected);
2154
2155 /* decoded size */
2156 return dstSize;
2157 }
2158}
2159
2160
2161static size_t HUF_decompress4X2 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize)
2162{
2163 HUF_CREATE_STATIC_DTABLEX2(DTable, HUF_MAX_TABLELOG);
2164 const BYTE* ip = (const BYTE*) cSrc;
2165 size_t errorCode;
2166
2167 errorCode = HUF_readDTableX2 (DTable, cSrc, cSrcSize);
2168 if (HUF_isError(errorCode)) return errorCode;
2169 if (errorCode >= cSrcSize) return ERROR(srcSize_wrong);
2170 ip += errorCode;
2171 cSrcSize -= errorCode;
2172
2173 return HUF_decompress4X2_usingDTable (dst, dstSize, ip, cSrcSize, DTable);
2174}
2175
2176
2177/***************************/
2178/* double-symbols decoding */
2179/***************************/
2180
2181static void HUF_fillDTableX4Level2(HUF_DEltX4* DTable, U32 sizeLog, const U32 consumed,
2182 const U32* rankValOrigin, const int minWeight,
2183 const sortedSymbol_t* sortedSymbols, const U32 sortedListSize,
2184 U32 nbBitsBaseline, U16 baseSeq)
2185{
2186 HUF_DEltX4 DElt;
2187 U32 rankVal[HUF_ABSOLUTEMAX_TABLELOG + 1];
2188 U32 s;
2189
2190 /* get pre-calculated rankVal */
2191 memcpy(rankVal, rankValOrigin, sizeof(rankVal));
2192
2193 /* fill skipped values */
2194 if (minWeight>1)
2195 {
2196 U32 i, skipSize = rankVal[minWeight];
2197 MEM_writeLE16(&(DElt.sequence), baseSeq);
2198 DElt.nbBits = (BYTE)(consumed);
2199 DElt.length = 1;
2200 for (i = 0; i < skipSize; i++)
2201 DTable[i] = DElt;
2202 }
2203
2204 /* fill DTable */
2205 for (s=0; s<sortedListSize; s++) /* note : sortedSymbols already skipped */
2206 {
2207 const U32 symbol = sortedSymbols[s].symbol;
2208 const U32 weight = sortedSymbols[s].weight;
2209 const U32 nbBits = nbBitsBaseline - weight;
2210 const U32 length = 1 << (sizeLog-nbBits);
2211 const U32 start = rankVal[weight];
2212 U32 i = start;
2213 const U32 end = start + length;
2214
2215 MEM_writeLE16(&(DElt.sequence), (U16)(baseSeq + (symbol << 8)));
2216 DElt.nbBits = (BYTE)(nbBits + consumed);
2217 DElt.length = 2;
2218 do { DTable[i++] = DElt; } while (i<end); /* since length >= 1 */
2219
2220 rankVal[weight] += length;
2221 }
2222}
2223
2224typedef U32 rankVal_t[HUF_ABSOLUTEMAX_TABLELOG][HUF_ABSOLUTEMAX_TABLELOG + 1];
2225
2226static void HUF_fillDTableX4(HUF_DEltX4* DTable, const U32 targetLog,
2227 const sortedSymbol_t* sortedList, const U32 sortedListSize,
2228 const U32* rankStart, rankVal_t rankValOrigin, const U32 maxWeight,
2229 const U32 nbBitsBaseline)
2230{
2231 U32 rankVal[HUF_ABSOLUTEMAX_TABLELOG + 1];
2232 const int scaleLog = nbBitsBaseline - targetLog; /* note : targetLog >= srcLog, hence scaleLog <= 1 */
2233 const U32 minBits = nbBitsBaseline - maxWeight;
2234 U32 s;
2235
2236 memcpy(rankVal, rankValOrigin, sizeof(rankVal));
2237
2238 /* fill DTable */
2239 for (s=0; s<sortedListSize; s++)
2240 {
2241 const U16 symbol = sortedList[s].symbol;
2242 const U32 weight = sortedList[s].weight;
2243 const U32 nbBits = nbBitsBaseline - weight;
2244 const U32 start = rankVal[weight];
2245 const U32 length = 1 << (targetLog-nbBits);
2246
2247 if (targetLog-nbBits >= minBits) /* enough room for a second symbol */
2248 {
2249 U32 sortedRank;
2250 int minWeight = nbBits + scaleLog;
2251 if (minWeight < 1) minWeight = 1;
2252 sortedRank = rankStart[minWeight];
2253 HUF_fillDTableX4Level2(DTable+start, targetLog-nbBits, nbBits,
2254 rankValOrigin[nbBits], minWeight,
2255 sortedList+sortedRank, sortedListSize-sortedRank,
2256 nbBitsBaseline, symbol);
2257 }
2258 else
2259 {
2260 U32 i;
2261 const U32 end = start + length;
2262 HUF_DEltX4 DElt;
2263
2264 MEM_writeLE16(&(DElt.sequence), symbol);
2265 DElt.nbBits = (BYTE)(nbBits);
2266 DElt.length = 1;
2267 for (i = start; i < end; i++)
2268 DTable[i] = DElt;
2269 }
2270 rankVal[weight] += length;
2271 }
2272}
2273
2274static size_t HUF_readDTableX4 (U32* DTable, const void* src, size_t srcSize)
2275{
2276 BYTE weightList[HUF_MAX_SYMBOL_VALUE + 1];
2277 sortedSymbol_t sortedSymbol[HUF_MAX_SYMBOL_VALUE + 1];
2278 U32 rankStats[HUF_ABSOLUTEMAX_TABLELOG + 1] = { 0 };
2279 U32 rankStart0[HUF_ABSOLUTEMAX_TABLELOG + 2] = { 0 };
2280 U32* const rankStart = rankStart0+1;
2281 rankVal_t rankVal;
2282 U32 tableLog, maxW, sizeOfSort, nbSymbols;
2283 const U32 memLog = DTable[0];
2284 size_t iSize;
2285 void* dtPtr = DTable;
2286 HUF_DEltX4* const dt = ((HUF_DEltX4*)dtPtr) + 1;
2287
2288 HUF_STATIC_ASSERT(sizeof(HUF_DEltX4) == sizeof(U32)); /* if compilation fails here, assertion is false */
2289 if (memLog > HUF_ABSOLUTEMAX_TABLELOG) return ERROR(tableLog_tooLarge);
2290 //memset(weightList, 0, sizeof(weightList)); /* is not necessary, even though some analyzer complain ... */
2291
2292 iSize = HUF_readStats(weightList, HUF_MAX_SYMBOL_VALUE + 1, rankStats, &nbSymbols, &tableLog, src, srcSize);
2293 if (HUF_isError(iSize)) return iSize;
2294
2295 /* check result */
2296 if (tableLog > memLog) return ERROR(tableLog_tooLarge); /* DTable can't fit code depth */
2297
2298 /* find maxWeight */
Yann Collet6bff7482016-02-09 17:55:01 +01002299 for (maxW = tableLog; rankStats[maxW]==0; maxW--)
2300 { if (!maxW) return ERROR(GENERIC); } /* necessarily finds a solution before maxW==0 */
Yann Collet464fa992016-02-03 01:09:46 +01002301
2302 /* Get start index of each weight */
2303 {
2304 U32 w, nextRankStart = 0;
2305 for (w=1; w<=maxW; w++)
2306 {
2307 U32 current = nextRankStart;
2308 nextRankStart += rankStats[w];
2309 rankStart[w] = current;
2310 }
2311 rankStart[0] = nextRankStart; /* put all 0w symbols at the end of sorted list*/
2312 sizeOfSort = nextRankStart;
2313 }
2314
2315 /* sort symbols by weight */
2316 {
2317 U32 s;
2318 for (s=0; s<nbSymbols; s++)
2319 {
2320 U32 w = weightList[s];
2321 U32 r = rankStart[w]++;
2322 sortedSymbol[r].symbol = (BYTE)s;
2323 sortedSymbol[r].weight = (BYTE)w;
2324 }
2325 rankStart[0] = 0; /* forget 0w symbols; this is beginning of weight(1) */
2326 }
2327
2328 /* Build rankVal */
2329 {
2330 const U32 minBits = tableLog+1 - maxW;
2331 U32 nextRankVal = 0;
2332 U32 w, consumed;
2333 const int rescale = (memLog-tableLog) - 1; /* tableLog <= memLog */
2334 U32* rankVal0 = rankVal[0];
2335 for (w=1; w<=maxW; w++)
2336 {
2337 U32 current = nextRankVal;
2338 nextRankVal += rankStats[w] << (w+rescale);
2339 rankVal0[w] = current;
2340 }
2341 for (consumed = minBits; consumed <= memLog - minBits; consumed++)
2342 {
2343 U32* rankValPtr = rankVal[consumed];
2344 for (w = 1; w <= maxW; w++)
2345 {
2346 rankValPtr[w] = rankVal0[w] >> consumed;
2347 }
2348 }
2349 }
2350
2351 HUF_fillDTableX4(dt, memLog,
2352 sortedSymbol, sizeOfSort,
2353 rankStart0, rankVal, maxW,
2354 tableLog+1);
2355
2356 return iSize;
2357}
2358
2359
2360static U32 HUF_decodeSymbolX4(void* op, BIT_DStream_t* DStream, const HUF_DEltX4* dt, const U32 dtLog)
2361{
2362 const size_t val = BIT_lookBitsFast(DStream, dtLog); /* note : dtLog >= 1 */
2363 memcpy(op, dt+val, 2);
2364 BIT_skipBits(DStream, dt[val].nbBits);
2365 return dt[val].length;
2366}
2367
2368static U32 HUF_decodeLastSymbolX4(void* op, BIT_DStream_t* DStream, const HUF_DEltX4* dt, const U32 dtLog)
2369{
2370 const size_t val = BIT_lookBitsFast(DStream, dtLog); /* note : dtLog >= 1 */
2371 memcpy(op, dt+val, 1);
2372 if (dt[val].length==1) BIT_skipBits(DStream, dt[val].nbBits);
2373 else
2374 {
2375 if (DStream->bitsConsumed < (sizeof(DStream->bitContainer)*8))
2376 {
2377 BIT_skipBits(DStream, dt[val].nbBits);
2378 if (DStream->bitsConsumed > (sizeof(DStream->bitContainer)*8))
2379 DStream->bitsConsumed = (sizeof(DStream->bitContainer)*8); /* ugly hack; works only because it's the last symbol. Note : can't easily extract nbBits from just this symbol */
2380 }
2381 }
2382 return 1;
2383}
2384
2385
2386#define HUF_DECODE_SYMBOLX4_0(ptr, DStreamPtr) \
2387 ptr += HUF_decodeSymbolX4(ptr, DStreamPtr, dt, dtLog)
2388
2389#define HUF_DECODE_SYMBOLX4_1(ptr, DStreamPtr) \
2390 if (MEM_64bits() || (HUF_MAX_TABLELOG<=12)) \
2391 ptr += HUF_decodeSymbolX4(ptr, DStreamPtr, dt, dtLog)
2392
2393#define HUF_DECODE_SYMBOLX4_2(ptr, DStreamPtr) \
2394 if (MEM_64bits()) \
2395 ptr += HUF_decodeSymbolX4(ptr, DStreamPtr, dt, dtLog)
2396
2397static inline size_t HUF_decodeStreamX4(BYTE* p, BIT_DStream_t* bitDPtr, BYTE* const pEnd, const HUF_DEltX4* const dt, const U32 dtLog)
2398{
2399 BYTE* const pStart = p;
2400
2401 /* up to 8 symbols at a time */
2402 while ((BIT_reloadDStream(bitDPtr) == BIT_DStream_unfinished) && (p < pEnd-7))
2403 {
2404 HUF_DECODE_SYMBOLX4_2(p, bitDPtr);
2405 HUF_DECODE_SYMBOLX4_1(p, bitDPtr);
2406 HUF_DECODE_SYMBOLX4_2(p, bitDPtr);
2407 HUF_DECODE_SYMBOLX4_0(p, bitDPtr);
2408 }
2409
2410 /* closer to the end */
2411 while ((BIT_reloadDStream(bitDPtr) == BIT_DStream_unfinished) && (p <= pEnd-2))
2412 HUF_DECODE_SYMBOLX4_0(p, bitDPtr);
2413
2414 while (p <= pEnd-2)
2415 HUF_DECODE_SYMBOLX4_0(p, bitDPtr); /* no need to reload : reached the end of DStream */
2416
2417 if (p < pEnd)
2418 p += HUF_decodeLastSymbolX4(p, bitDPtr, dt, dtLog);
2419
2420 return p-pStart;
2421}
2422
2423static size_t HUF_decompress4X4_usingDTable(
2424 void* dst, size_t dstSize,
2425 const void* cSrc, size_t cSrcSize,
2426 const U32* DTable)
2427{
2428 if (cSrcSize < 10) return ERROR(corruption_detected); /* strict minimum : jump table + 1 byte per stream */
2429
2430 {
2431 const BYTE* const istart = (const BYTE*) cSrc;
2432 BYTE* const ostart = (BYTE*) dst;
2433 BYTE* const oend = ostart + dstSize;
2434 const void* const dtPtr = DTable;
2435 const HUF_DEltX4* const dt = ((const HUF_DEltX4*)dtPtr) +1;
2436 const U32 dtLog = DTable[0];
2437 size_t errorCode;
2438
2439 /* Init */
2440 BIT_DStream_t bitD1;
2441 BIT_DStream_t bitD2;
2442 BIT_DStream_t bitD3;
2443 BIT_DStream_t bitD4;
2444 const size_t length1 = MEM_readLE16(istart);
2445 const size_t length2 = MEM_readLE16(istart+2);
2446 const size_t length3 = MEM_readLE16(istart+4);
2447 size_t length4;
2448 const BYTE* const istart1 = istart + 6; /* jumpTable */
2449 const BYTE* const istart2 = istart1 + length1;
2450 const BYTE* const istart3 = istart2 + length2;
2451 const BYTE* const istart4 = istart3 + length3;
2452 const size_t segmentSize = (dstSize+3) / 4;
2453 BYTE* const opStart2 = ostart + segmentSize;
2454 BYTE* const opStart3 = opStart2 + segmentSize;
2455 BYTE* const opStart4 = opStart3 + segmentSize;
2456 BYTE* op1 = ostart;
2457 BYTE* op2 = opStart2;
2458 BYTE* op3 = opStart3;
2459 BYTE* op4 = opStart4;
2460 U32 endSignal;
2461
2462 length4 = cSrcSize - (length1 + length2 + length3 + 6);
2463 if (length4 > cSrcSize) return ERROR(corruption_detected); /* overflow */
2464 errorCode = BIT_initDStream(&bitD1, istart1, length1);
2465 if (HUF_isError(errorCode)) return errorCode;
2466 errorCode = BIT_initDStream(&bitD2, istart2, length2);
2467 if (HUF_isError(errorCode)) return errorCode;
2468 errorCode = BIT_initDStream(&bitD3, istart3, length3);
2469 if (HUF_isError(errorCode)) return errorCode;
2470 errorCode = BIT_initDStream(&bitD4, istart4, length4);
2471 if (HUF_isError(errorCode)) return errorCode;
2472
2473 /* 16-32 symbols per loop (4-8 symbols per stream) */
2474 endSignal = BIT_reloadDStream(&bitD1) | BIT_reloadDStream(&bitD2) | BIT_reloadDStream(&bitD3) | BIT_reloadDStream(&bitD4);
2475 for ( ; (endSignal==BIT_DStream_unfinished) && (op4<(oend-7)) ; )
2476 {
2477 HUF_DECODE_SYMBOLX4_2(op1, &bitD1);
2478 HUF_DECODE_SYMBOLX4_2(op2, &bitD2);
2479 HUF_DECODE_SYMBOLX4_2(op3, &bitD3);
2480 HUF_DECODE_SYMBOLX4_2(op4, &bitD4);
2481 HUF_DECODE_SYMBOLX4_1(op1, &bitD1);
2482 HUF_DECODE_SYMBOLX4_1(op2, &bitD2);
2483 HUF_DECODE_SYMBOLX4_1(op3, &bitD3);
2484 HUF_DECODE_SYMBOLX4_1(op4, &bitD4);
2485 HUF_DECODE_SYMBOLX4_2(op1, &bitD1);
2486 HUF_DECODE_SYMBOLX4_2(op2, &bitD2);
2487 HUF_DECODE_SYMBOLX4_2(op3, &bitD3);
2488 HUF_DECODE_SYMBOLX4_2(op4, &bitD4);
2489 HUF_DECODE_SYMBOLX4_0(op1, &bitD1);
2490 HUF_DECODE_SYMBOLX4_0(op2, &bitD2);
2491 HUF_DECODE_SYMBOLX4_0(op3, &bitD3);
2492 HUF_DECODE_SYMBOLX4_0(op4, &bitD4);
2493
2494 endSignal = BIT_reloadDStream(&bitD1) | BIT_reloadDStream(&bitD2) | BIT_reloadDStream(&bitD3) | BIT_reloadDStream(&bitD4);
2495 }
2496
2497 /* check corruption */
2498 if (op1 > opStart2) return ERROR(corruption_detected);
2499 if (op2 > opStart3) return ERROR(corruption_detected);
2500 if (op3 > opStart4) return ERROR(corruption_detected);
2501 /* note : op4 supposed already verified within main loop */
2502
2503 /* finish bitStreams one by one */
2504 HUF_decodeStreamX4(op1, &bitD1, opStart2, dt, dtLog);
2505 HUF_decodeStreamX4(op2, &bitD2, opStart3, dt, dtLog);
2506 HUF_decodeStreamX4(op3, &bitD3, opStart4, dt, dtLog);
2507 HUF_decodeStreamX4(op4, &bitD4, oend, dt, dtLog);
2508
2509 /* check */
2510 endSignal = BIT_endOfDStream(&bitD1) & BIT_endOfDStream(&bitD2) & BIT_endOfDStream(&bitD3) & BIT_endOfDStream(&bitD4);
2511 if (!endSignal) return ERROR(corruption_detected);
2512
2513 /* decoded size */
2514 return dstSize;
2515 }
2516}
2517
2518
2519static size_t HUF_decompress4X4 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize)
2520{
2521 HUF_CREATE_STATIC_DTABLEX4(DTable, HUF_MAX_TABLELOG);
2522 const BYTE* ip = (const BYTE*) cSrc;
2523
2524 size_t hSize = HUF_readDTableX4 (DTable, cSrc, cSrcSize);
2525 if (HUF_isError(hSize)) return hSize;
2526 if (hSize >= cSrcSize) return ERROR(srcSize_wrong);
2527 ip += hSize;
2528 cSrcSize -= hSize;
2529
2530 return HUF_decompress4X4_usingDTable (dst, dstSize, ip, cSrcSize, DTable);
2531}
2532
2533
2534/**********************************/
Yann Collet464fa992016-02-03 01:09:46 +01002535/* Generic decompression selector */
2536/**********************************/
2537
2538typedef struct { U32 tableTime; U32 decode256Time; } algo_time_t;
2539static const algo_time_t algoTime[16 /* Quantization */][3 /* single, double, quad */] =
2540{
2541 /* single, double, quad */
2542 {{0,0}, {1,1}, {2,2}}, /* Q==0 : impossible */
2543 {{0,0}, {1,1}, {2,2}}, /* Q==1 : impossible */
2544 {{ 38,130}, {1313, 74}, {2151, 38}}, /* Q == 2 : 12-18% */
2545 {{ 448,128}, {1353, 74}, {2238, 41}}, /* Q == 3 : 18-25% */
2546 {{ 556,128}, {1353, 74}, {2238, 47}}, /* Q == 4 : 25-32% */
2547 {{ 714,128}, {1418, 74}, {2436, 53}}, /* Q == 5 : 32-38% */
2548 {{ 883,128}, {1437, 74}, {2464, 61}}, /* Q == 6 : 38-44% */
2549 {{ 897,128}, {1515, 75}, {2622, 68}}, /* Q == 7 : 44-50% */
2550 {{ 926,128}, {1613, 75}, {2730, 75}}, /* Q == 8 : 50-56% */
2551 {{ 947,128}, {1729, 77}, {3359, 77}}, /* Q == 9 : 56-62% */
2552 {{1107,128}, {2083, 81}, {4006, 84}}, /* Q ==10 : 62-69% */
2553 {{1177,128}, {2379, 87}, {4785, 88}}, /* Q ==11 : 69-75% */
2554 {{1242,128}, {2415, 93}, {5155, 84}}, /* Q ==12 : 75-81% */
2555 {{1349,128}, {2644,106}, {5260,106}}, /* Q ==13 : 81-87% */
2556 {{1455,128}, {2422,124}, {4174,124}}, /* Q ==14 : 87-93% */
2557 {{ 722,128}, {1891,145}, {1936,146}}, /* Q ==15 : 93-99% */
2558};
2559
2560typedef size_t (*decompressionAlgo)(void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize);
2561
2562static size_t HUF_decompress (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize)
2563{
Yann Collet8283a2f2016-05-06 01:51:31 +02002564 static const decompressionAlgo decompress[3] = { HUF_decompress4X2, HUF_decompress4X4, NULL };
Yann Collet464fa992016-02-03 01:09:46 +01002565 /* estimate decompression time */
2566 U32 Q;
2567 const U32 D256 = (U32)(dstSize >> 8);
2568 U32 Dtime[3];
2569 U32 algoNb = 0;
2570 int n;
2571
2572 /* validation checks */
2573 if (dstSize == 0) return ERROR(dstSize_tooSmall);
2574 if (cSrcSize > dstSize) return ERROR(corruption_detected); /* invalid */
2575 if (cSrcSize == dstSize) { memcpy(dst, cSrc, dstSize); return dstSize; } /* not compressed */
2576 if (cSrcSize == 1) { memset(dst, *(const BYTE*)cSrc, dstSize); return dstSize; } /* RLE */
2577
2578 /* decoder timing evaluation */
2579 Q = (U32)(cSrcSize * 16 / dstSize); /* Q < 16 since dstSize > cSrcSize */
2580 for (n=0; n<3; n++)
2581 Dtime[n] = algoTime[Q][n].tableTime + (algoTime[Q][n].decode256Time * D256);
2582
2583 Dtime[1] += Dtime[1] >> 4; Dtime[2] += Dtime[2] >> 3; /* advantage to algorithms using less memory, for cache eviction */
2584
2585 if (Dtime[1] < Dtime[0]) algoNb = 1;
Yann Collet464fa992016-02-03 01:09:46 +01002586
2587 return decompress[algoNb](dst, dstSize, cSrc, cSrcSize);
2588
2589 //return HUF_decompress4X2(dst, dstSize, cSrc, cSrcSize); /* multi-streams single-symbol decoding */
2590 //return HUF_decompress4X4(dst, dstSize, cSrc, cSrcSize); /* multi-streams double-symbols decoding */
2591 //return HUF_decompress4X6(dst, dstSize, cSrc, cSrcSize); /* multi-streams quad-symbols decoding */
2592}
2593
2594
2595
2596#endif /* ZSTD_CCOMMON_H_MODULE */
2597
2598
2599/*
2600 zstd - decompression module fo v0.4 legacy format
2601 Copyright (C) 2015-2016, Yann Collet.
2602
2603 BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
2604
2605 Redistribution and use in source and binary forms, with or without
2606 modification, are permitted provided that the following conditions are
2607 met:
2608 * Redistributions of source code must retain the above copyright
2609 notice, this list of conditions and the following disclaimer.
2610 * Redistributions in binary form must reproduce the above
2611 copyright notice, this list of conditions and the following disclaimer
2612 in the documentation and/or other materials provided with the
2613 distribution.
2614 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
2615 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
2616 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
2617 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
2618 OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
2619 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
2620 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
2621 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
2622 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
2623 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
2624 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
2625
2626 You can contact the author at :
2627 - zstd source repository : https://github.com/Cyan4973/zstd
2628 - ztsd public forum : https://groups.google.com/forum/#!forum/lz4c
2629*/
2630
2631/* ***************************************************************
2632* Tuning parameters
2633*****************************************************************/
2634/*!
2635 * HEAPMODE :
2636 * Select how default decompression function ZSTD_decompress() will allocate memory,
2637 * in memory stack (0), or in memory heap (1, requires malloc())
2638 */
2639#ifndef ZSTD_HEAPMODE
2640# define ZSTD_HEAPMODE 1
2641#endif
2642
2643
2644/* *******************************************************
2645* Includes
2646*********************************************************/
2647#include <stdlib.h> /* calloc */
2648#include <string.h> /* memcpy, memmove */
2649#include <stdio.h> /* debug : printf */
2650
2651
2652/* *******************************************************
2653* Compiler specifics
2654*********************************************************/
2655#ifdef _MSC_VER /* Visual Studio */
Yann Collet464fa992016-02-03 01:09:46 +01002656# include <intrin.h> /* For Visual 2005 */
2657# pragma warning(disable : 4127) /* disable: C4127: conditional expression is constant */
2658# pragma warning(disable : 4324) /* disable: C4324: padded structure */
Yann Collet464fa992016-02-03 01:09:46 +01002659#endif
2660
2661
2662/* *************************************
2663* Local types
2664***************************************/
2665typedef struct
2666{
2667 blockType_t blockType;
2668 U32 origSize;
2669} blockProperties_t;
2670
2671
2672/* *******************************************************
2673* Memory operations
2674**********************************************************/
2675static void ZSTD_copy4(void* dst, const void* src) { memcpy(dst, src, 4); }
2676
2677
2678/* *************************************
2679* Error Management
2680***************************************/
2681
2682/*! ZSTD_isError
2683* tells if a return value is an error code */
2684static unsigned ZSTD_isError(size_t code) { return ERR_isError(code); }
2685
2686
2687/* *************************************************************
2688* Context management
2689***************************************************************/
2690typedef enum { ZSTDds_getFrameHeaderSize, ZSTDds_decodeFrameHeader,
2691 ZSTDds_decodeBlockHeader, ZSTDds_decompressBlock } ZSTD_dStage;
2692
2693struct ZSTDv04_Dctx_s
2694{
2695 U32 LLTable[FSE_DTABLE_SIZE_U32(LLFSELog)];
2696 U32 OffTable[FSE_DTABLE_SIZE_U32(OffFSELog)];
2697 U32 MLTable[FSE_DTABLE_SIZE_U32(MLFSELog)];
2698 const void* previousDstEnd;
2699 const void* base;
2700 const void* vBase;
2701 const void* dictEnd;
2702 size_t expected;
2703 size_t headerSize;
2704 ZSTD_parameters params;
2705 blockType_t bType;
2706 ZSTD_dStage stage;
2707 const BYTE* litPtr;
2708 size_t litBufSize;
2709 size_t litSize;
2710 BYTE litBuffer[BLOCKSIZE + 8 /* margin for wildcopy */];
2711 BYTE headerBuffer[ZSTD_frameHeaderSize_max];
2712}; /* typedef'd to ZSTD_DCtx within "zstd_static.h" */
2713
2714static size_t ZSTD_resetDCtx(ZSTD_DCtx* dctx)
2715{
2716 dctx->expected = ZSTD_frameHeaderSize_min;
2717 dctx->stage = ZSTDds_getFrameHeaderSize;
2718 dctx->previousDstEnd = NULL;
2719 dctx->base = NULL;
2720 dctx->vBase = NULL;
2721 dctx->dictEnd = NULL;
2722 return 0;
2723}
2724
2725static ZSTD_DCtx* ZSTD_createDCtx(void)
2726{
2727 ZSTD_DCtx* dctx = (ZSTD_DCtx*)malloc(sizeof(ZSTD_DCtx));
2728 if (dctx==NULL) return NULL;
2729 ZSTD_resetDCtx(dctx);
2730 return dctx;
2731}
2732
2733static size_t ZSTD_freeDCtx(ZSTD_DCtx* dctx)
2734{
2735 free(dctx);
2736 return 0;
2737}
2738
2739
2740/* *************************************************************
2741* Decompression section
2742***************************************************************/
2743/** ZSTD_decodeFrameHeader_Part1
2744* decode the 1st part of the Frame Header, which tells Frame Header size.
2745* srcSize must be == ZSTD_frameHeaderSize_min
2746* @return : the full size of the Frame Header */
2747static size_t ZSTD_decodeFrameHeader_Part1(ZSTD_DCtx* zc, const void* src, size_t srcSize)
2748{
2749 U32 magicNumber;
2750 if (srcSize != ZSTD_frameHeaderSize_min) return ERROR(srcSize_wrong);
2751 magicNumber = MEM_readLE32(src);
2752 if (magicNumber != ZSTD_MAGICNUMBER) return ERROR(prefix_unknown);
2753 zc->headerSize = ZSTD_frameHeaderSize_min;
2754 return zc->headerSize;
2755}
2756
2757
2758static size_t ZSTD_getFrameParams(ZSTD_parameters* params, const void* src, size_t srcSize)
2759{
2760 U32 magicNumber;
2761 if (srcSize < ZSTD_frameHeaderSize_min) return ZSTD_frameHeaderSize_max;
2762 magicNumber = MEM_readLE32(src);
2763 if (magicNumber != ZSTD_MAGICNUMBER) return ERROR(prefix_unknown);
2764 memset(params, 0, sizeof(*params));
2765 params->windowLog = (((const BYTE*)src)[4] & 15) + ZSTD_WINDOWLOG_ABSOLUTEMIN;
2766 if ((((const BYTE*)src)[4] >> 4) != 0) return ERROR(frameParameter_unsupported); /* reserved bits */
2767 return 0;
2768}
2769
2770/** ZSTD_decodeFrameHeader_Part2
2771* decode the full Frame Header
2772* srcSize must be the size provided by ZSTD_decodeFrameHeader_Part1
2773* @return : 0, or an error code, which can be tested using ZSTD_isError() */
2774static size_t ZSTD_decodeFrameHeader_Part2(ZSTD_DCtx* zc, const void* src, size_t srcSize)
2775{
2776 size_t result;
2777 if (srcSize != zc->headerSize) return ERROR(srcSize_wrong);
2778 result = ZSTD_getFrameParams(&(zc->params), src, srcSize);
inikep8161e732016-09-05 12:29:51 +02002779 if ((MEM_32bits()) && (zc->params.windowLog > 25)) return ERROR(frameParameter_unsupportedBy32bits);
Yann Collet464fa992016-02-03 01:09:46 +01002780 return result;
2781}
2782
2783
2784static size_t ZSTD_getcBlockSize(const void* src, size_t srcSize, blockProperties_t* bpPtr)
2785{
2786 const BYTE* const in = (const BYTE* const)src;
2787 BYTE headerFlags;
2788 U32 cSize;
2789
2790 if (srcSize < 3) return ERROR(srcSize_wrong);
2791
2792 headerFlags = *in;
2793 cSize = in[2] + (in[1]<<8) + ((in[0] & 7)<<16);
2794
2795 bpPtr->blockType = (blockType_t)(headerFlags >> 6);
2796 bpPtr->origSize = (bpPtr->blockType == bt_rle) ? cSize : 0;
2797
2798 if (bpPtr->blockType == bt_end) return 0;
2799 if (bpPtr->blockType == bt_rle) return 1;
2800 return cSize;
2801}
2802
2803static size_t ZSTD_copyRawBlock(void* dst, size_t maxDstSize, const void* src, size_t srcSize)
2804{
2805 if (srcSize > maxDstSize) return ERROR(dstSize_tooSmall);
2806 memcpy(dst, src, srcSize);
2807 return srcSize;
2808}
2809
2810
2811/** ZSTD_decompressLiterals
2812 @return : nb of bytes read from src, or an error code*/
2813static size_t ZSTD_decompressLiterals(void* dst, size_t* maxDstSizePtr,
2814 const void* src, size_t srcSize)
2815{
2816 const BYTE* ip = (const BYTE*)src;
2817
2818 const size_t litSize = (MEM_readLE32(src) & 0x1FFFFF) >> 2; /* no buffer issue : srcSize >= MIN_CBLOCK_SIZE */
2819 const size_t litCSize = (MEM_readLE32(ip+2) & 0xFFFFFF) >> 5; /* no buffer issue : srcSize >= MIN_CBLOCK_SIZE */
2820
2821 if (litSize > *maxDstSizePtr) return ERROR(corruption_detected);
2822 if (litCSize + 5 > srcSize) return ERROR(corruption_detected);
2823
2824 if (HUF_isError(HUF_decompress(dst, litSize, ip+5, litCSize))) return ERROR(corruption_detected);
2825
2826 *maxDstSizePtr = litSize;
2827 return litCSize + 5;
2828}
2829
2830
2831/** ZSTD_decodeLiteralsBlock
2832 @return : nb of bytes read from src (< srcSize ) */
2833static size_t ZSTD_decodeLiteralsBlock(ZSTD_DCtx* dctx,
2834 const void* src, size_t srcSize) /* note : srcSize < BLOCKSIZE */
2835{
2836 const BYTE* const istart = (const BYTE*) src;
2837
2838 /* any compressed block with literals segment must be at least this size */
2839 if (srcSize < MIN_CBLOCK_SIZE) return ERROR(corruption_detected);
2840
2841 switch(*istart & 3)
2842 {
2843 /* compressed */
2844 case 0:
2845 {
2846 size_t litSize = BLOCKSIZE;
2847 const size_t readSize = ZSTD_decompressLiterals(dctx->litBuffer, &litSize, src, srcSize);
2848 dctx->litPtr = dctx->litBuffer;
2849 dctx->litBufSize = BLOCKSIZE+8;
2850 dctx->litSize = litSize;
2851 return readSize; /* works if it's an error too */
2852 }
2853 case IS_RAW:
2854 {
2855 const size_t litSize = (MEM_readLE32(istart) & 0xFFFFFF) >> 2; /* no buffer issue : srcSize >= MIN_CBLOCK_SIZE */
2856 if (litSize > srcSize-11) /* risk of reading too far with wildcopy */
2857 {
2858 if (litSize > srcSize-3) return ERROR(corruption_detected);
2859 memcpy(dctx->litBuffer, istart, litSize);
2860 dctx->litPtr = dctx->litBuffer;
2861 dctx->litBufSize = BLOCKSIZE+8;
2862 dctx->litSize = litSize;
2863 return litSize+3;
2864 }
2865 /* direct reference into compressed stream */
2866 dctx->litPtr = istart+3;
2867 dctx->litBufSize = srcSize-3;
2868 dctx->litSize = litSize;
2869 return litSize+3; }
2870 case IS_RLE:
2871 {
2872 const size_t litSize = (MEM_readLE32(istart) & 0xFFFFFF) >> 2; /* no buffer issue : srcSize >= MIN_CBLOCK_SIZE */
2873 if (litSize > BLOCKSIZE) return ERROR(corruption_detected);
2874 memset(dctx->litBuffer, istart[3], litSize);
2875 dctx->litPtr = dctx->litBuffer;
2876 dctx->litBufSize = BLOCKSIZE+8;
2877 dctx->litSize = litSize;
2878 return 4;
2879 }
2880 default:
2881 return ERROR(corruption_detected); /* forbidden nominal case */
2882 }
2883}
2884
2885
2886static size_t ZSTD_decodeSeqHeaders(int* nbSeq, const BYTE** dumpsPtr, size_t* dumpsLengthPtr,
2887 FSE_DTable* DTableLL, FSE_DTable* DTableML, FSE_DTable* DTableOffb,
2888 const void* src, size_t srcSize)
2889{
2890 const BYTE* const istart = (const BYTE* const)src;
2891 const BYTE* ip = istart;
2892 const BYTE* const iend = istart + srcSize;
2893 U32 LLtype, Offtype, MLtype;
2894 U32 LLlog, Offlog, MLlog;
2895 size_t dumpsLength;
2896
2897 /* check */
2898 if (srcSize < 5) return ERROR(srcSize_wrong);
2899
2900 /* SeqHead */
2901 *nbSeq = MEM_readLE16(ip); ip+=2;
2902 LLtype = *ip >> 6;
2903 Offtype = (*ip >> 4) & 3;
2904 MLtype = (*ip >> 2) & 3;
2905 if (*ip & 2)
2906 {
2907 dumpsLength = ip[2];
2908 dumpsLength += ip[1] << 8;
2909 ip += 3;
2910 }
2911 else
2912 {
2913 dumpsLength = ip[1];
2914 dumpsLength += (ip[0] & 1) << 8;
2915 ip += 2;
2916 }
2917 *dumpsPtr = ip;
2918 ip += dumpsLength;
2919 *dumpsLengthPtr = dumpsLength;
2920
2921 /* check */
2922 if (ip > iend-3) return ERROR(srcSize_wrong); /* min : all 3 are "raw", hence no header, but at least xxLog bits per type */
2923
2924 /* sequences */
2925 {
2926 S16 norm[MaxML+1]; /* assumption : MaxML >= MaxLL >= MaxOff */
2927 size_t headerSize;
2928
2929 /* Build DTables */
2930 switch(LLtype)
2931 {
Yann Collet464fa992016-02-03 01:09:46 +01002932 case bt_rle :
2933 LLlog = 0;
2934 FSE_buildDTable_rle(DTableLL, *ip++); break;
2935 case bt_raw :
2936 LLlog = LLbits;
2937 FSE_buildDTable_raw(DTableLL, LLbits); break;
2938 default :
Yann Collet87c18b22016-08-26 01:43:47 +02002939 { U32 max = MaxLL;
2940 headerSize = FSE_readNCount(norm, &max, &LLlog, ip, iend-ip);
2941 if (FSE_isError(headerSize)) return ERROR(GENERIC);
2942 if (LLlog > LLFSELog) return ERROR(corruption_detected);
2943 ip += headerSize;
2944 FSE_buildDTable(DTableLL, norm, max, LLlog);
2945 } }
Yann Collet464fa992016-02-03 01:09:46 +01002946
2947 switch(Offtype)
2948 {
Yann Collet464fa992016-02-03 01:09:46 +01002949 case bt_rle :
2950 Offlog = 0;
2951 if (ip > iend-2) return ERROR(srcSize_wrong); /* min : "raw", hence no header, but at least xxLog bits */
2952 FSE_buildDTable_rle(DTableOffb, *ip++ & MaxOff); /* if *ip > MaxOff, data is corrupted */
2953 break;
2954 case bt_raw :
2955 Offlog = Offbits;
2956 FSE_buildDTable_raw(DTableOffb, Offbits); break;
2957 default :
Yann Collet87c18b22016-08-26 01:43:47 +02002958 { U32 max = MaxOff;
2959 headerSize = FSE_readNCount(norm, &max, &Offlog, ip, iend-ip);
2960 if (FSE_isError(headerSize)) return ERROR(GENERIC);
2961 if (Offlog > OffFSELog) return ERROR(corruption_detected);
2962 ip += headerSize;
2963 FSE_buildDTable(DTableOffb, norm, max, Offlog);
2964 } }
Yann Collet464fa992016-02-03 01:09:46 +01002965
2966 switch(MLtype)
2967 {
Yann Collet464fa992016-02-03 01:09:46 +01002968 case bt_rle :
2969 MLlog = 0;
2970 if (ip > iend-2) return ERROR(srcSize_wrong); /* min : "raw", hence no header, but at least xxLog bits */
2971 FSE_buildDTable_rle(DTableML, *ip++); break;
2972 case bt_raw :
2973 MLlog = MLbits;
2974 FSE_buildDTable_raw(DTableML, MLbits); break;
2975 default :
Yann Collet87c18b22016-08-26 01:43:47 +02002976 { U32 max = MaxML;
2977 headerSize = FSE_readNCount(norm, &max, &MLlog, ip, iend-ip);
2978 if (FSE_isError(headerSize)) return ERROR(GENERIC);
2979 if (MLlog > MLFSELog) return ERROR(corruption_detected);
2980 ip += headerSize;
2981 FSE_buildDTable(DTableML, norm, max, MLlog);
2982 } } }
Yann Collet464fa992016-02-03 01:09:46 +01002983
2984 return ip-istart;
2985}
2986
2987
2988typedef struct {
2989 size_t litLength;
2990 size_t offset;
2991 size_t matchLength;
2992} seq_t;
2993
2994typedef struct {
2995 BIT_DStream_t DStream;
2996 FSE_DState_t stateLL;
2997 FSE_DState_t stateOffb;
2998 FSE_DState_t stateML;
2999 size_t prevOffset;
3000 const BYTE* dumps;
3001 const BYTE* dumpsEnd;
3002} seqState_t;
3003
3004
3005static void ZSTD_decodeSequence(seq_t* seq, seqState_t* seqState)
3006{
3007 size_t litLength;
3008 size_t prevOffset;
3009 size_t offset;
3010 size_t matchLength;
3011 const BYTE* dumps = seqState->dumps;
3012 const BYTE* const de = seqState->dumpsEnd;
3013
3014 /* Literal length */
3015 litLength = FSE_decodeSymbol(&(seqState->stateLL), &(seqState->DStream));
3016 prevOffset = litLength ? seq->offset : seqState->prevOffset;
3017 if (litLength == MaxLL)
3018 {
3019 U32 add = *dumps++;
3020 if (add < 255) litLength += add;
3021 else
3022 {
3023 litLength = MEM_readLE32(dumps) & 0xFFFFFF; /* no pb : dumps is always followed by seq tables > 1 byte */
3024 dumps += 3;
3025 }
3026 if (dumps >= de) dumps = de-1; /* late correction, to avoid read overflow (data is now corrupted anyway) */
3027 }
3028
3029 /* Offset */
3030 {
3031 static const U32 offsetPrefix[MaxOff+1] = {
3032 1 /*fake*/, 1, 2, 4, 8, 16, 32, 64, 128, 256,
3033 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 262144,
3034 524288, 1048576, 2097152, 4194304, 8388608, 16777216, 33554432, /*fake*/ 1, 1, 1, 1, 1 };
3035 U32 offsetCode, nbBits;
3036 offsetCode = FSE_decodeSymbol(&(seqState->stateOffb), &(seqState->DStream)); /* <= maxOff, by table construction */
3037 if (MEM_32bits()) BIT_reloadDStream(&(seqState->DStream));
3038 nbBits = offsetCode - 1;
3039 if (offsetCode==0) nbBits = 0; /* cmove */
3040 offset = offsetPrefix[offsetCode] + BIT_readBits(&(seqState->DStream), nbBits);
3041 if (MEM_32bits()) BIT_reloadDStream(&(seqState->DStream));
3042 if (offsetCode==0) offset = prevOffset; /* cmove */
3043 if (offsetCode | !litLength) seqState->prevOffset = seq->offset; /* cmove */
3044 }
3045
3046 /* MatchLength */
3047 matchLength = FSE_decodeSymbol(&(seqState->stateML), &(seqState->DStream));
3048 if (matchLength == MaxML)
3049 {
3050 U32 add = *dumps++;
3051 if (add < 255) matchLength += add;
3052 else
3053 {
3054 matchLength = MEM_readLE32(dumps) & 0xFFFFFF; /* no pb : dumps is always followed by seq tables > 1 byte */
3055 dumps += 3;
3056 }
3057 if (dumps >= de) dumps = de-1; /* late correction, to avoid read overflow (data is now corrupted anyway) */
3058 }
3059 matchLength += MINMATCH;
3060
3061 /* save result */
3062 seq->litLength = litLength;
3063 seq->offset = offset;
3064 seq->matchLength = matchLength;
3065 seqState->dumps = dumps;
3066}
3067
3068
3069static size_t ZSTD_execSequence(BYTE* op,
3070 BYTE* const oend, seq_t sequence,
3071 const BYTE** litPtr, const BYTE* const litLimit_8,
3072 const BYTE* const base, const BYTE* const vBase, const BYTE* const dictEnd)
3073{
3074 static const int dec32table[] = { 0, 1, 2, 1, 4, 4, 4, 4 }; /* added */
3075 static const int dec64table[] = { 8, 8, 8, 7, 8, 9,10,11 }; /* substracted */
3076 BYTE* const oLitEnd = op + sequence.litLength;
3077 const size_t sequenceLength = sequence.litLength + sequence.matchLength;
3078 BYTE* const oMatchEnd = op + sequenceLength; /* risk : address space overflow (32-bits) */
3079 BYTE* const oend_8 = oend-8;
3080 const BYTE* const litEnd = *litPtr + sequence.litLength;
3081 const BYTE* match = oLitEnd - sequence.offset;
3082
3083 /* check */
3084 if (oLitEnd > oend_8) return ERROR(dstSize_tooSmall); /* last match must start at a minimum distance of 8 from oend */
3085 if (oMatchEnd > oend) return ERROR(dstSize_tooSmall); /* overwrite beyond dst buffer */
3086 if (litEnd > litLimit_8) return ERROR(corruption_detected); /* risk read beyond lit buffer */
3087
3088 /* copy Literals */
3089 ZSTD_wildcopy(op, *litPtr, sequence.litLength); /* note : oLitEnd <= oend-8 : no risk of overwrite beyond oend */
3090 op = oLitEnd;
3091 *litPtr = litEnd; /* update for next sequence */
3092
3093 /* copy Match */
3094 if (sequence.offset > (size_t)(oLitEnd - base))
3095 {
3096 /* offset beyond prefix */
3097 if (sequence.offset > (size_t)(oLitEnd - vBase))
3098 return ERROR(corruption_detected);
3099 match = dictEnd - (base-match);
3100 if (match + sequence.matchLength <= dictEnd)
3101 {
3102 memmove(oLitEnd, match, sequence.matchLength);
3103 return sequenceLength;
3104 }
3105 /* span extDict & currentPrefixSegment */
3106 {
3107 size_t length1 = dictEnd - match;
3108 memmove(oLitEnd, match, length1);
3109 op = oLitEnd + length1;
3110 sequence.matchLength -= length1;
3111 match = base;
Nick Terrell71585842016-10-10 16:19:21 -07003112 if (op > oend_8) {
3113 memmove(op, match, sequence.matchLength);
3114 return sequenceLength;
3115 }
Yann Collet464fa992016-02-03 01:09:46 +01003116 }
3117 }
Nick Terrell71585842016-10-10 16:19:21 -07003118 /* Requirement: op <= oend_8 */
Yann Collet464fa992016-02-03 01:09:46 +01003119
3120 /* match within prefix */
3121 if (sequence.offset < 8)
3122 {
3123 /* close range match, overlap */
3124 const int sub2 = dec64table[sequence.offset];
3125 op[0] = match[0];
3126 op[1] = match[1];
3127 op[2] = match[2];
3128 op[3] = match[3];
3129 match += dec32table[sequence.offset];
3130 ZSTD_copy4(op+4, match);
3131 match -= sub2;
3132 }
3133 else
3134 {
3135 ZSTD_copy8(op, match);
3136 }
3137 op += 8; match += 8;
3138
3139 if (oMatchEnd > oend-12)
3140 {
3141 if (op < oend_8)
3142 {
3143 ZSTD_wildcopy(op, match, oend_8 - op);
3144 match += oend_8 - op;
3145 op = oend_8;
3146 }
3147 while (op < oMatchEnd) *op++ = *match++;
3148 }
3149 else
3150 {
3151 ZSTD_wildcopy(op, match, sequence.matchLength-8); /* works even if matchLength < 8 */
3152 }
3153 return sequenceLength;
3154}
3155
3156
3157static size_t ZSTD_decompressSequences(
3158 ZSTD_DCtx* dctx,
3159 void* dst, size_t maxDstSize,
3160 const void* seqStart, size_t seqSize)
3161{
3162 const BYTE* ip = (const BYTE*)seqStart;
3163 const BYTE* const iend = ip + seqSize;
3164 BYTE* const ostart = (BYTE* const)dst;
3165 BYTE* op = ostart;
3166 BYTE* const oend = ostart + maxDstSize;
3167 size_t errorCode, dumpsLength;
3168 const BYTE* litPtr = dctx->litPtr;
3169 const BYTE* const litLimit_8 = litPtr + dctx->litBufSize - 8;
3170 const BYTE* const litEnd = litPtr + dctx->litSize;
3171 int nbSeq;
3172 const BYTE* dumps;
3173 U32* DTableLL = dctx->LLTable;
3174 U32* DTableML = dctx->MLTable;
3175 U32* DTableOffb = dctx->OffTable;
3176 const BYTE* const base = (const BYTE*) (dctx->base);
3177 const BYTE* const vBase = (const BYTE*) (dctx->vBase);
3178 const BYTE* const dictEnd = (const BYTE*) (dctx->dictEnd);
3179
3180 /* Build Decoding Tables */
3181 errorCode = ZSTD_decodeSeqHeaders(&nbSeq, &dumps, &dumpsLength,
3182 DTableLL, DTableML, DTableOffb,
3183 ip, iend-ip);
3184 if (ZSTD_isError(errorCode)) return errorCode;
3185 ip += errorCode;
3186
3187 /* Regen sequences */
3188 {
3189 seq_t sequence;
3190 seqState_t seqState;
3191
3192 memset(&sequence, 0, sizeof(sequence));
3193 sequence.offset = 4;
3194 seqState.dumps = dumps;
3195 seqState.dumpsEnd = dumps + dumpsLength;
3196 seqState.prevOffset = 4;
3197 errorCode = BIT_initDStream(&(seqState.DStream), ip, iend-ip);
3198 if (ERR_isError(errorCode)) return ERROR(corruption_detected);
3199 FSE_initDState(&(seqState.stateLL), &(seqState.DStream), DTableLL);
3200 FSE_initDState(&(seqState.stateOffb), &(seqState.DStream), DTableOffb);
3201 FSE_initDState(&(seqState.stateML), &(seqState.DStream), DTableML);
3202
3203 for ( ; (BIT_reloadDStream(&(seqState.DStream)) <= BIT_DStream_completed) && nbSeq ; )
3204 {
3205 size_t oneSeqSize;
3206 nbSeq--;
3207 ZSTD_decodeSequence(&sequence, &seqState);
3208 oneSeqSize = ZSTD_execSequence(op, oend, sequence, &litPtr, litLimit_8, base, vBase, dictEnd);
3209 if (ZSTD_isError(oneSeqSize)) return oneSeqSize;
3210 op += oneSeqSize;
3211 }
3212
3213 /* check if reached exact end */
3214 if ( !BIT_endOfDStream(&(seqState.DStream)) ) return ERROR(corruption_detected); /* DStream should be entirely and exactly consumed; otherwise data is corrupted */
3215
3216 /* last literal segment */
3217 {
3218 size_t lastLLSize = litEnd - litPtr;
3219 if (litPtr > litEnd) return ERROR(corruption_detected);
3220 if (op+lastLLSize > oend) return ERROR(dstSize_tooSmall);
3221 if (op != litPtr) memcpy(op, litPtr, lastLLSize);
3222 op += lastLLSize;
3223 }
3224 }
3225
3226 return op-ostart;
3227}
3228
3229
3230static void ZSTD_checkContinuity(ZSTD_DCtx* dctx, const void* dst)
3231{
3232 if (dst != dctx->previousDstEnd) /* not contiguous */
3233 {
3234 dctx->dictEnd = dctx->previousDstEnd;
3235 dctx->vBase = (const char*)dst - ((const char*)(dctx->previousDstEnd) - (const char*)(dctx->base));
3236 dctx->base = dst;
3237 dctx->previousDstEnd = dst;
3238 }
3239}
3240
3241
3242static size_t ZSTD_decompressBlock_internal(ZSTD_DCtx* dctx,
3243 void* dst, size_t maxDstSize,
3244 const void* src, size_t srcSize)
3245{
3246 /* blockType == blockCompressed */
3247 const BYTE* ip = (const BYTE*)src;
3248
3249 /* Decode literals sub-block */
3250 size_t litCSize = ZSTD_decodeLiteralsBlock(dctx, src, srcSize);
3251 if (ZSTD_isError(litCSize)) return litCSize;
3252 ip += litCSize;
3253 srcSize -= litCSize;
3254
3255 return ZSTD_decompressSequences(dctx, dst, maxDstSize, ip, srcSize);
3256}
3257
3258
3259static size_t ZSTD_decompress_usingDict(ZSTD_DCtx* ctx,
3260 void* dst, size_t maxDstSize,
3261 const void* src, size_t srcSize,
3262 const void* dict, size_t dictSize)
3263{
3264 const BYTE* ip = (const BYTE*)src;
3265 const BYTE* iend = ip + srcSize;
3266 BYTE* const ostart = (BYTE* const)dst;
3267 BYTE* op = ostart;
3268 BYTE* const oend = ostart + maxDstSize;
3269 size_t remainingSize = srcSize;
3270 blockProperties_t blockProperties;
3271
3272 /* init */
3273 ZSTD_resetDCtx(ctx);
3274 if (dict)
3275 {
3276 ZSTD_decompress_insertDictionary(ctx, dict, dictSize);
3277 ctx->dictEnd = ctx->previousDstEnd;
3278 ctx->vBase = (const char*)dst - ((const char*)(ctx->previousDstEnd) - (const char*)(ctx->base));
3279 ctx->base = dst;
3280 }
3281 else
3282 {
3283 ctx->vBase = ctx->base = ctx->dictEnd = dst;
3284 }
3285
3286 /* Frame Header */
3287 {
3288 size_t frameHeaderSize;
3289 if (srcSize < ZSTD_frameHeaderSize_min+ZSTD_blockHeaderSize) return ERROR(srcSize_wrong);
3290 frameHeaderSize = ZSTD_decodeFrameHeader_Part1(ctx, src, ZSTD_frameHeaderSize_min);
3291 if (ZSTD_isError(frameHeaderSize)) return frameHeaderSize;
3292 if (srcSize < frameHeaderSize+ZSTD_blockHeaderSize) return ERROR(srcSize_wrong);
3293 ip += frameHeaderSize; remainingSize -= frameHeaderSize;
3294 frameHeaderSize = ZSTD_decodeFrameHeader_Part2(ctx, src, frameHeaderSize);
3295 if (ZSTD_isError(frameHeaderSize)) return frameHeaderSize;
3296 }
3297
3298 /* Loop on each block */
3299 while (1)
3300 {
3301 size_t decodedSize=0;
3302 size_t cBlockSize = ZSTD_getcBlockSize(ip, iend-ip, &blockProperties);
3303 if (ZSTD_isError(cBlockSize)) return cBlockSize;
3304
3305 ip += ZSTD_blockHeaderSize;
3306 remainingSize -= ZSTD_blockHeaderSize;
3307 if (cBlockSize > remainingSize) return ERROR(srcSize_wrong);
3308
3309 switch(blockProperties.blockType)
3310 {
3311 case bt_compressed:
3312 decodedSize = ZSTD_decompressBlock_internal(ctx, op, oend-op, ip, cBlockSize);
3313 break;
3314 case bt_raw :
3315 decodedSize = ZSTD_copyRawBlock(op, oend-op, ip, cBlockSize);
3316 break;
3317 case bt_rle :
3318 return ERROR(GENERIC); /* not yet supported */
3319 break;
3320 case bt_end :
3321 /* end of frame */
3322 if (remainingSize) return ERROR(srcSize_wrong);
3323 break;
3324 default:
3325 return ERROR(GENERIC); /* impossible */
3326 }
3327 if (cBlockSize == 0) break; /* bt_end */
3328
3329 if (ZSTD_isError(decodedSize)) return decodedSize;
3330 op += decodedSize;
3331 ip += cBlockSize;
3332 remainingSize -= cBlockSize;
3333 }
3334
3335 return op-ostart;
3336}
3337
3338
3339/* ******************************
3340* Streaming Decompression API
3341********************************/
3342static size_t ZSTD_nextSrcSizeToDecompress(ZSTD_DCtx* dctx)
3343{
3344 return dctx->expected;
3345}
3346
3347static size_t ZSTD_decompressContinue(ZSTD_DCtx* ctx, void* dst, size_t maxDstSize, const void* src, size_t srcSize)
3348{
3349 /* Sanity check */
3350 if (srcSize != ctx->expected) return ERROR(srcSize_wrong);
3351 ZSTD_checkContinuity(ctx, dst);
3352
3353 /* Decompress : frame header; part 1 */
3354 switch (ctx->stage)
3355 {
3356 case ZSTDds_getFrameHeaderSize :
Yann Collet5e80dd32016-07-13 17:38:39 +02003357 /* get frame header size */
3358 if (srcSize != ZSTD_frameHeaderSize_min) return ERROR(srcSize_wrong); /* impossible */
3359 ctx->headerSize = ZSTD_decodeFrameHeader_Part1(ctx, src, ZSTD_frameHeaderSize_min);
3360 if (ZSTD_isError(ctx->headerSize)) return ctx->headerSize;
3361 memcpy(ctx->headerBuffer, src, ZSTD_frameHeaderSize_min);
3362 if (ctx->headerSize > ZSTD_frameHeaderSize_min) return ERROR(GENERIC); /* impossible */
3363 ctx->expected = 0; /* not necessary to copy more */
3364 /* fallthrough */
Yann Collet464fa992016-02-03 01:09:46 +01003365 case ZSTDds_decodeFrameHeader:
Yann Collet5e80dd32016-07-13 17:38:39 +02003366 /* get frame header */
3367 { size_t const result = ZSTD_decodeFrameHeader_Part2(ctx, ctx->headerBuffer, ctx->headerSize);
Yann Collet464fa992016-02-03 01:09:46 +01003368 if (ZSTD_isError(result)) return result;
3369 ctx->expected = ZSTD_blockHeaderSize;
3370 ctx->stage = ZSTDds_decodeBlockHeader;
3371 return 0;
3372 }
3373 case ZSTDds_decodeBlockHeader:
Yann Collet5e80dd32016-07-13 17:38:39 +02003374 /* Decode block header */
3375 { blockProperties_t bp;
3376 size_t const blockSize = ZSTD_getcBlockSize(src, ZSTD_blockHeaderSize, &bp);
Yann Collet464fa992016-02-03 01:09:46 +01003377 if (ZSTD_isError(blockSize)) return blockSize;
3378 if (bp.blockType == bt_end)
3379 {
3380 ctx->expected = 0;
3381 ctx->stage = ZSTDds_getFrameHeaderSize;
3382 }
3383 else
3384 {
3385 ctx->expected = blockSize;
3386 ctx->bType = bp.blockType;
3387 ctx->stage = ZSTDds_decompressBlock;
3388 }
3389 return 0;
3390 }
3391 case ZSTDds_decompressBlock:
3392 {
3393 /* Decompress : block content */
3394 size_t rSize;
3395 switch(ctx->bType)
3396 {
3397 case bt_compressed:
3398 rSize = ZSTD_decompressBlock_internal(ctx, dst, maxDstSize, src, srcSize);
3399 break;
3400 case bt_raw :
3401 rSize = ZSTD_copyRawBlock(dst, maxDstSize, src, srcSize);
3402 break;
3403 case bt_rle :
3404 return ERROR(GENERIC); /* not yet handled */
3405 break;
3406 case bt_end : /* should never happen (filtered at phase 1) */
3407 rSize = 0;
3408 break;
3409 default:
3410 return ERROR(GENERIC);
3411 }
3412 ctx->stage = ZSTDds_decodeBlockHeader;
3413 ctx->expected = ZSTD_blockHeaderSize;
3414 ctx->previousDstEnd = (char*)dst + rSize;
3415 return rSize;
3416 }
3417 default:
3418 return ERROR(GENERIC); /* impossible */
3419 }
3420}
3421
3422
3423static void ZSTD_decompress_insertDictionary(ZSTD_DCtx* ctx, const void* dict, size_t dictSize)
3424{
3425 ctx->dictEnd = ctx->previousDstEnd;
3426 ctx->vBase = (const char*)dict - ((const char*)(ctx->previousDstEnd) - (const char*)(ctx->base));
3427 ctx->base = dict;
3428 ctx->previousDstEnd = (const char*)dict + dictSize;
3429}
3430
3431
3432
3433/*
3434 Buffered version of Zstd compression library
3435 Copyright (C) 2015, Yann Collet.
3436
3437 BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
3438
3439 Redistribution and use in source and binary forms, with or without
3440 modification, are permitted provided that the following conditions are
3441 met:
3442 * Redistributions of source code must retain the above copyright
3443 notice, this list of conditions and the following disclaimer.
3444 * Redistributions in binary form must reproduce the above
3445 copyright notice, this list of conditions and the following disclaimer
3446 in the documentation and/or other materials provided with the
3447 distribution.
3448 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
3449 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
3450 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
3451 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
3452 OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
3453 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
3454 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
3455 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
3456 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
3457 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
3458 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
3459
3460 You can contact the author at :
3461 - zstd source repository : https://github.com/Cyan4973/zstd
3462 - ztsd public forum : https://groups.google.com/forum/#!forum/lz4c
3463*/
3464
3465/* The objects defined into this file should be considered experimental.
3466 * They are not labelled stable, as their prototype may change in the future.
3467 * You can use them for tests, provide feedback, or if you can endure risk of future changes.
3468 */
3469
3470/* *************************************
3471* Includes
3472***************************************/
3473#include <stdlib.h>
3474
3475
3476/** ************************************************
3477* Streaming decompression
3478*
3479* A ZBUFF_DCtx object is required to track streaming operation.
3480* Use ZBUFF_createDCtx() and ZBUFF_freeDCtx() to create/release resources.
3481* Use ZBUFF_decompressInit() to start a new decompression operation.
3482* ZBUFF_DCtx objects can be reused multiple times.
3483*
3484* Use ZBUFF_decompressContinue() repetitively to consume your input.
3485* *srcSizePtr and *maxDstSizePtr can be any size.
3486* The function will report how many bytes were read or written by modifying *srcSizePtr and *maxDstSizePtr.
3487* Note that it may not consume the entire input, in which case it's up to the caller to call again the function with remaining input.
3488* The content of dst will be overwritten (up to *maxDstSizePtr) at each function call, so save its content if it matters or change dst .
Yann Collet87c18b22016-08-26 01:43:47 +02003489* return : a hint to preferred nb of bytes to use as input for next function call (it's only a hint, to improve latency)
Yann Collet464fa992016-02-03 01:09:46 +01003490* or 0 when a frame is completely decoded
3491* or an error code, which can be tested using ZBUFF_isError().
3492*
3493* Hint : recommended buffer sizes (not compulsory)
3494* output : 128 KB block size is the internal unit, it ensures it's always possible to write a full block when it's decoded.
3495* input : just follow indications from ZBUFF_decompressContinue() to minimize latency. It should always be <= 128 KB + 3 .
3496* **************************************************/
3497
3498typedef enum { ZBUFFds_init, ZBUFFds_readHeader, ZBUFFds_loadHeader, ZBUFFds_decodeHeader,
3499 ZBUFFds_read, ZBUFFds_load, ZBUFFds_flush } ZBUFF_dStage;
3500
3501/* *** Resource management *** */
3502
3503#define ZSTD_frameHeaderSize_max 5 /* too magical, should come from reference */
3504struct ZBUFFv04_DCtx_s {
3505 ZSTD_DCtx* zc;
3506 ZSTD_parameters params;
3507 char* inBuff;
3508 size_t inBuffSize;
3509 size_t inPos;
3510 char* outBuff;
3511 size_t outBuffSize;
3512 size_t outStart;
3513 size_t outEnd;
3514 size_t hPos;
3515 const char* dict;
3516 size_t dictSize;
3517 ZBUFF_dStage stage;
3518 unsigned char headerBuffer[ZSTD_frameHeaderSize_max];
3519}; /* typedef'd to ZBUFF_DCtx within "zstd_buffered.h" */
3520
3521typedef ZBUFFv04_DCtx ZBUFF_DCtx;
3522
3523
3524static ZBUFF_DCtx* ZBUFF_createDCtx(void)
3525{
3526 ZBUFF_DCtx* zbc = (ZBUFF_DCtx*)malloc(sizeof(ZBUFF_DCtx));
3527 if (zbc==NULL) return NULL;
3528 memset(zbc, 0, sizeof(*zbc));
3529 zbc->zc = ZSTD_createDCtx();
3530 zbc->stage = ZBUFFds_init;
3531 return zbc;
3532}
3533
3534static size_t ZBUFF_freeDCtx(ZBUFF_DCtx* zbc)
3535{
3536 if (zbc==NULL) return 0; /* support free on null */
3537 ZSTD_freeDCtx(zbc->zc);
3538 free(zbc->inBuff);
3539 free(zbc->outBuff);
3540 free(zbc);
3541 return 0;
3542}
3543
3544
3545/* *** Initialization *** */
3546
3547static size_t ZBUFF_decompressInit(ZBUFF_DCtx* zbc)
3548{
3549 zbc->stage = ZBUFFds_readHeader;
3550 zbc->hPos = zbc->inPos = zbc->outStart = zbc->outEnd = zbc->dictSize = 0;
3551 return ZSTD_resetDCtx(zbc->zc);
3552}
3553
3554
3555static size_t ZBUFF_decompressWithDictionary(ZBUFF_DCtx* zbc, const void* src, size_t srcSize)
3556{
3557 zbc->dict = (const char*)src;
3558 zbc->dictSize = srcSize;
3559 return 0;
3560}
3561
3562static size_t ZBUFF_limitCopy(void* dst, size_t maxDstSize, const void* src, size_t srcSize)
3563{
3564 size_t length = MIN(maxDstSize, srcSize);
3565 memcpy(dst, src, length);
3566 return length;
3567}
3568
3569/* *** Decompression *** */
3570
3571static size_t ZBUFF_decompressContinue(ZBUFF_DCtx* zbc, void* dst, size_t* maxDstSizePtr, const void* src, size_t* srcSizePtr)
3572{
3573 const char* const istart = (const char*)src;
3574 const char* ip = istart;
3575 const char* const iend = istart + *srcSizePtr;
3576 char* const ostart = (char*)dst;
3577 char* op = ostart;
3578 char* const oend = ostart + *maxDstSizePtr;
3579 U32 notDone = 1;
3580
3581 while (notDone)
3582 {
3583 switch(zbc->stage)
3584 {
3585
3586 case ZBUFFds_init :
3587 return ERROR(init_missing);
3588
3589 case ZBUFFds_readHeader :
3590 /* read header from src */
Yann Collet3c174f42016-07-13 17:19:57 +02003591 { size_t const headerSize = ZSTD_getFrameParams(&(zbc->params), src, *srcSizePtr);
Yann Collet464fa992016-02-03 01:09:46 +01003592 if (ZSTD_isError(headerSize)) return headerSize;
Yann Collet3c174f42016-07-13 17:19:57 +02003593 if (headerSize) {
Yann Collet464fa992016-02-03 01:09:46 +01003594 /* not enough input to decode header : tell how many bytes would be necessary */
3595 memcpy(zbc->headerBuffer+zbc->hPos, src, *srcSizePtr);
3596 zbc->hPos += *srcSizePtr;
3597 *maxDstSizePtr = 0;
3598 zbc->stage = ZBUFFds_loadHeader;
3599 return headerSize - zbc->hPos;
3600 }
3601 zbc->stage = ZBUFFds_decodeHeader;
3602 break;
3603 }
3604
3605 case ZBUFFds_loadHeader:
3606 /* complete header from src */
Yann Collet3c174f42016-07-13 17:19:57 +02003607 { size_t headerSize = ZBUFF_limitCopy(
Yann Collet464fa992016-02-03 01:09:46 +01003608 zbc->headerBuffer + zbc->hPos, ZSTD_frameHeaderSize_max - zbc->hPos,
3609 src, *srcSizePtr);
3610 zbc->hPos += headerSize;
3611 ip += headerSize;
3612 headerSize = ZSTD_getFrameParams(&(zbc->params), zbc->headerBuffer, zbc->hPos);
3613 if (ZSTD_isError(headerSize)) return headerSize;
Yann Collet44886612016-02-11 04:17:50 +01003614 if (headerSize) {
Yann Collet464fa992016-02-03 01:09:46 +01003615 /* not enough input to decode header : tell how many bytes would be necessary */
3616 *maxDstSizePtr = 0;
3617 return headerSize - zbc->hPos;
Yann Collet44886612016-02-11 04:17:50 +01003618 } }
Yann Collet3c174f42016-07-13 17:19:57 +02003619 /* intentional fallthrough */
Yann Collet464fa992016-02-03 01:09:46 +01003620
3621 case ZBUFFds_decodeHeader:
3622 /* apply header to create / resize buffers */
Yann Collet3c174f42016-07-13 17:19:57 +02003623 { size_t const neededOutSize = (size_t)1 << zbc->params.windowLog;
3624 size_t const neededInSize = BLOCKSIZE; /* a block is never > BLOCKSIZE */
Yann Collet44886612016-02-11 04:17:50 +01003625 if (zbc->inBuffSize < neededInSize) {
Yann Collet464fa992016-02-03 01:09:46 +01003626 free(zbc->inBuff);
3627 zbc->inBuffSize = neededInSize;
3628 zbc->inBuff = (char*)malloc(neededInSize);
3629 if (zbc->inBuff == NULL) return ERROR(memory_allocation);
3630 }
Yann Collet44886612016-02-11 04:17:50 +01003631 if (zbc->outBuffSize < neededOutSize) {
Yann Collet464fa992016-02-03 01:09:46 +01003632 free(zbc->outBuff);
3633 zbc->outBuffSize = neededOutSize;
3634 zbc->outBuff = (char*)malloc(neededOutSize);
3635 if (zbc->outBuff == NULL) return ERROR(memory_allocation);
Yann Collet44886612016-02-11 04:17:50 +01003636 } }
Yann Collet464fa992016-02-03 01:09:46 +01003637 if (zbc->dictSize)
3638 ZSTD_decompress_insertDictionary(zbc->zc, zbc->dict, zbc->dictSize);
Yann Collet44886612016-02-11 04:17:50 +01003639 if (zbc->hPos) {
Yann Collet464fa992016-02-03 01:09:46 +01003640 /* some data already loaded into headerBuffer : transfer into inBuff */
3641 memcpy(zbc->inBuff, zbc->headerBuffer, zbc->hPos);
3642 zbc->inPos = zbc->hPos;
3643 zbc->hPos = 0;
3644 zbc->stage = ZBUFFds_load;
3645 break;
3646 }
3647 zbc->stage = ZBUFFds_read;
3648
3649 case ZBUFFds_read:
3650 {
3651 size_t neededInSize = ZSTD_nextSrcSizeToDecompress(zbc->zc);
3652 if (neededInSize==0) /* end of frame */
3653 {
3654 zbc->stage = ZBUFFds_init;
3655 notDone = 0;
3656 break;
3657 }
3658 if ((size_t)(iend-ip) >= neededInSize)
3659 {
3660 /* directly decode from src */
3661 size_t decodedSize = ZSTD_decompressContinue(zbc->zc,
3662 zbc->outBuff + zbc->outStart, zbc->outBuffSize - zbc->outStart,
3663 ip, neededInSize);
3664 if (ZSTD_isError(decodedSize)) return decodedSize;
3665 ip += neededInSize;
3666 if (!decodedSize) break; /* this was just a header */
3667 zbc->outEnd = zbc->outStart + decodedSize;
3668 zbc->stage = ZBUFFds_flush;
3669 break;
3670 }
3671 if (ip==iend) { notDone = 0; break; } /* no more input */
3672 zbc->stage = ZBUFFds_load;
3673 }
3674
3675 case ZBUFFds_load:
3676 {
3677 size_t neededInSize = ZSTD_nextSrcSizeToDecompress(zbc->zc);
3678 size_t toLoad = neededInSize - zbc->inPos; /* should always be <= remaining space within inBuff */
3679 size_t loadedSize;
3680 if (toLoad > zbc->inBuffSize - zbc->inPos) return ERROR(corruption_detected); /* should never happen */
3681 loadedSize = ZBUFF_limitCopy(zbc->inBuff + zbc->inPos, toLoad, ip, iend-ip);
3682 ip += loadedSize;
3683 zbc->inPos += loadedSize;
3684 if (loadedSize < toLoad) { notDone = 0; break; } /* not enough input, wait for more */
3685 {
3686 size_t decodedSize = ZSTD_decompressContinue(zbc->zc,
3687 zbc->outBuff + zbc->outStart, zbc->outBuffSize - zbc->outStart,
3688 zbc->inBuff, neededInSize);
3689 if (ZSTD_isError(decodedSize)) return decodedSize;
3690 zbc->inPos = 0; /* input is consumed */
3691 if (!decodedSize) { zbc->stage = ZBUFFds_read; break; } /* this was just a header */
3692 zbc->outEnd = zbc->outStart + decodedSize;
3693 zbc->stage = ZBUFFds_flush;
3694 // break; /* ZBUFFds_flush follows */
3695 }
3696 }
3697 case ZBUFFds_flush:
3698 {
3699 size_t toFlushSize = zbc->outEnd - zbc->outStart;
3700 size_t flushedSize = ZBUFF_limitCopy(op, oend-op, zbc->outBuff + zbc->outStart, toFlushSize);
3701 op += flushedSize;
3702 zbc->outStart += flushedSize;
3703 if (flushedSize == toFlushSize)
3704 {
3705 zbc->stage = ZBUFFds_read;
3706 if (zbc->outStart + BLOCKSIZE > zbc->outBuffSize)
3707 zbc->outStart = zbc->outEnd = 0;
3708 break;
3709 }
3710 /* cannot flush everything */
3711 notDone = 0;
3712 break;
3713 }
3714 default: return ERROR(GENERIC); /* impossible */
3715 }
3716 }
3717
3718 *srcSizePtr = ip-istart;
3719 *maxDstSizePtr = op-ostart;
3720
3721 {
3722 size_t nextSrcSizeHint = ZSTD_nextSrcSizeToDecompress(zbc->zc);
3723 if (nextSrcSizeHint > 3) nextSrcSizeHint+= 3; /* get the next block header while at it */
3724 nextSrcSizeHint -= zbc->inPos; /* already loaded*/
3725 return nextSrcSizeHint;
3726 }
3727}
3728
3729
3730/* *************************************
3731* Tool functions
3732***************************************/
3733unsigned ZBUFFv04_isError(size_t errorCode) { return ERR_isError(errorCode); }
3734const char* ZBUFFv04_getErrorName(size_t errorCode) { return ERR_getErrorName(errorCode); }
3735
3736size_t ZBUFFv04_recommendedDInSize() { return BLOCKSIZE + 3; }
3737size_t ZBUFFv04_recommendedDOutSize() { return BLOCKSIZE; }
3738
3739
3740
3741/*- ========================================================================= -*/
3742
3743/* final wrapping stage */
3744
3745size_t ZSTDv04_decompressDCtx(ZSTD_DCtx* dctx, void* dst, size_t maxDstSize, const void* src, size_t srcSize)
3746{
3747 return ZSTD_decompress_usingDict(dctx, dst, maxDstSize, src, srcSize, NULL, 0);
3748}
3749
3750size_t ZSTDv04_decompress(void* dst, size_t maxDstSize, const void* src, size_t srcSize)
3751{
3752#if defined(ZSTD_HEAPMODE) && (ZSTD_HEAPMODE==1)
3753 size_t regenSize;
3754 ZSTD_DCtx* dctx = ZSTD_createDCtx();
3755 if (dctx==NULL) return ERROR(memory_allocation);
3756 regenSize = ZSTDv04_decompressDCtx(dctx, dst, maxDstSize, src, srcSize);
3757 ZSTD_freeDCtx(dctx);
3758 return regenSize;
3759#else
3760 ZSTD_DCtx dctx;
Christopher Bergqvist780a9fa2016-07-19 13:25:38 +02003761 return ZSTDv04_decompressDCtx(&dctx, dst, maxDstSize, src, srcSize);
Yann Collet464fa992016-02-03 01:09:46 +01003762#endif
3763}
3764
3765
3766size_t ZSTDv04_resetDCtx(ZSTDv04_Dctx* dctx) { return ZSTD_resetDCtx(dctx); }
3767
3768size_t ZSTDv04_nextSrcSizeToDecompress(ZSTDv04_Dctx* dctx)
3769{
3770 return ZSTD_nextSrcSizeToDecompress(dctx);
3771}
3772
3773size_t ZSTDv04_decompressContinue(ZSTDv04_Dctx* dctx, void* dst, size_t maxDstSize, const void* src, size_t srcSize)
3774{
3775 return ZSTD_decompressContinue(dctx, dst, maxDstSize, src, srcSize);
3776}
3777
3778
3779
3780ZBUFFv04_DCtx* ZBUFFv04_createDCtx(void) { return ZBUFF_createDCtx(); }
3781size_t ZBUFFv04_freeDCtx(ZBUFFv04_DCtx* dctx) { return ZBUFF_freeDCtx(dctx); }
3782
3783size_t ZBUFFv04_decompressInit(ZBUFFv04_DCtx* dctx) { return ZBUFF_decompressInit(dctx); }
3784size_t ZBUFFv04_decompressWithDictionary(ZBUFFv04_DCtx* dctx, const void* src, size_t srcSize)
3785{ return ZBUFF_decompressWithDictionary(dctx, src, srcSize); }
3786
3787size_t ZBUFFv04_decompressContinue(ZBUFFv04_DCtx* dctx, void* dst, size_t* maxDstSizePtr, const void* src, size_t* srcSizePtr)
3788{
3789 return ZBUFF_decompressContinue(dctx, dst, maxDstSizePtr, src, srcSizePtr);
3790}
luben karavelov10f999f2016-07-16 22:18:47 +01003791
3792ZSTD_DCtx* ZSTDv04_createDCtx(void) { return ZSTD_createDCtx(); }
3793size_t ZSTDv04_freeDCtx(ZSTD_DCtx* dctx) { return ZSTD_freeDCtx(dctx); }
3794
3795size_t ZSTDv04_getFrameParams(ZSTD_parameters* params, const void* src, size_t srcSize)
3796{
3797 return ZSTD_getFrameParams(params, src, srcSize);
3798}