2015-11-11 12:43:58 +00:00
|
|
|
/*
|
|
|
|
zstd - standard compression library
|
2016-02-03 01:46:46 +00:00
|
|
|
Copyright (C) 2014-2016, Yann Collet.
|
2015-11-11 12:43:58 +00:00
|
|
|
|
|
|
|
BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
|
|
|
|
|
|
|
|
Redistribution and use in source and binary forms, with or without
|
|
|
|
modification, are permitted provided that the following conditions are
|
|
|
|
met:
|
|
|
|
* Redistributions of source code must retain the above copyright
|
|
|
|
notice, this list of conditions and the following disclaimer.
|
|
|
|
* Redistributions in binary form must reproduce the above
|
|
|
|
copyright notice, this list of conditions and the following disclaimer
|
|
|
|
in the documentation and/or other materials provided with the
|
|
|
|
distribution.
|
|
|
|
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
|
|
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
|
|
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
|
|
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
|
|
OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
|
|
SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
|
|
LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
|
|
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
|
|
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
|
|
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
|
|
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
|
|
|
|
You can contact the author at :
|
2016-03-19 13:14:31 +00:00
|
|
|
- zstd homepage : http://www.zstd.net
|
2015-11-11 12:43:58 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
/* ***************************************************************
|
|
|
|
* Tuning parameters
|
|
|
|
*****************************************************************/
|
|
|
|
/*!
|
|
|
|
* HEAPMODE :
|
2016-01-11 11:56:11 +00:00
|
|
|
* Select how default decompression function ZSTD_decompress() will allocate memory,
|
|
|
|
* in memory stack (0), or in memory heap (1, requires malloc())
|
2015-11-11 12:43:58 +00:00
|
|
|
*/
|
|
|
|
#ifndef ZSTD_HEAPMODE
|
|
|
|
# define ZSTD_HEAPMODE 1
|
2016-01-11 11:56:11 +00:00
|
|
|
#endif
|
2015-11-11 12:43:58 +00:00
|
|
|
|
|
|
|
/*!
|
|
|
|
* LEGACY_SUPPORT :
|
2016-02-03 01:46:46 +00:00
|
|
|
* if set to 1, ZSTD_decompress() can decode older formats (v0.1+)
|
2015-11-11 12:43:58 +00:00
|
|
|
*/
|
|
|
|
#ifndef ZSTD_LEGACY_SUPPORT
|
2016-01-18 11:03:27 +00:00
|
|
|
# define ZSTD_LEGACY_SUPPORT 0
|
2015-11-11 12:43:58 +00:00
|
|
|
#endif
|
|
|
|
|
|
|
|
|
2016-01-27 23:18:06 +00:00
|
|
|
/*-*******************************************************
|
2016-02-04 14:28:14 +00:00
|
|
|
* Dependencies
|
2015-11-11 12:43:58 +00:00
|
|
|
*********************************************************/
|
|
|
|
#include <stdlib.h> /* calloc */
|
|
|
|
#include <string.h> /* memcpy, memmove */
|
2016-02-04 14:28:14 +00:00
|
|
|
#include <stdio.h> /* debug only : printf */
|
2015-11-11 12:43:58 +00:00
|
|
|
#include "mem.h" /* low level memory routines */
|
|
|
|
#include "zstd_internal.h"
|
|
|
|
#include "fse_static.h"
|
2016-01-25 03:10:46 +00:00
|
|
|
#include "huff0_static.h"
|
2015-11-11 12:43:58 +00:00
|
|
|
|
|
|
|
#if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT==1)
|
|
|
|
# include "zstd_legacy.h"
|
|
|
|
#endif
|
|
|
|
|
2016-01-27 23:18:06 +00:00
|
|
|
|
|
|
|
/*-*******************************************************
|
2015-11-11 12:43:58 +00:00
|
|
|
* Compiler specifics
|
|
|
|
*********************************************************/
|
|
|
|
#ifdef _MSC_VER /* Visual Studio */
|
|
|
|
# define FORCE_INLINE static __forceinline
|
|
|
|
# include <intrin.h> /* For Visual 2005 */
|
|
|
|
# pragma warning(disable : 4127) /* disable: C4127: conditional expression is constant */
|
|
|
|
# pragma warning(disable : 4324) /* disable: C4324: padded structure */
|
|
|
|
#else
|
|
|
|
# ifdef __GNUC__
|
|
|
|
# define FORCE_INLINE static inline __attribute__((always_inline))
|
|
|
|
# else
|
|
|
|
# define FORCE_INLINE static inline
|
|
|
|
# endif
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
2016-03-12 00:25:40 +00:00
|
|
|
/*_*******************************************************
|
2015-11-11 12:43:58 +00:00
|
|
|
* Memory operations
|
|
|
|
**********************************************************/
|
|
|
|
static void ZSTD_copy4(void* dst, const void* src) { memcpy(dst, src, 4); }
|
|
|
|
|
|
|
|
|
2016-03-12 00:25:40 +00:00
|
|
|
/*-*************************************
|
2015-11-11 12:43:58 +00:00
|
|
|
* Error Management
|
|
|
|
***************************************/
|
2015-11-11 20:38:21 +00:00
|
|
|
unsigned ZSTD_versionNumber (void) { return ZSTD_VERSION_NUMBER; }
|
|
|
|
|
2016-02-04 14:28:14 +00:00
|
|
|
/*! ZSTD_isError() :
|
2015-11-11 12:43:58 +00:00
|
|
|
* tells if a return value is an error code */
|
|
|
|
unsigned ZSTD_isError(size_t code) { return ERR_isError(code); }
|
|
|
|
|
2016-02-04 14:28:14 +00:00
|
|
|
/*! ZSTD_getError() :
|
2016-02-03 11:06:24 +00:00
|
|
|
* convert a `size_t` function result into a proper ZSTD_errorCode enum */
|
2016-02-05 01:33:10 +00:00
|
|
|
ZSTD_ErrorCode ZSTD_getError(size_t code) { return ERR_getError(code); }
|
2016-02-03 11:06:24 +00:00
|
|
|
|
2016-02-04 14:28:14 +00:00
|
|
|
/*! ZSTD_getErrorName() :
|
2015-11-11 12:43:58 +00:00
|
|
|
* provides error code string (useful for debugging) */
|
|
|
|
const char* ZSTD_getErrorName(size_t code) { return ERR_getErrorName(code); }
|
|
|
|
|
|
|
|
|
2016-03-12 00:25:40 +00:00
|
|
|
/*-*************************************************************
|
2015-11-12 14:36:05 +00:00
|
|
|
* Context management
|
2015-11-11 12:43:58 +00:00
|
|
|
***************************************************************/
|
2015-11-25 20:09:17 +00:00
|
|
|
typedef enum { ZSTDds_getFrameHeaderSize, ZSTDds_decodeFrameHeader,
|
2015-11-25 13:42:45 +00:00
|
|
|
ZSTDds_decodeBlockHeader, ZSTDds_decompressBlock } ZSTD_dStage;
|
|
|
|
|
2015-11-11 12:43:58 +00:00
|
|
|
struct ZSTD_DCtx_s
|
|
|
|
{
|
2016-01-27 23:18:06 +00:00
|
|
|
FSE_DTable LLTable[FSE_DTABLE_SIZE_U32(LLFSELog)];
|
|
|
|
FSE_DTable OffTable[FSE_DTABLE_SIZE_U32(OffFSELog)];
|
|
|
|
FSE_DTable MLTable[FSE_DTABLE_SIZE_U32(MLFSELog)];
|
|
|
|
unsigned hufTableX4[HUF_DTABLE_SIZE(HufLog)];
|
2015-12-04 16:16:37 +00:00
|
|
|
const void* previousDstEnd;
|
|
|
|
const void* base;
|
|
|
|
const void* vBase;
|
|
|
|
const void* dictEnd;
|
2015-11-11 12:43:58 +00:00
|
|
|
size_t expected;
|
2015-11-25 13:42:45 +00:00
|
|
|
size_t headerSize;
|
2016-03-11 20:58:04 +00:00
|
|
|
ZSTD_frameParams fParams;
|
2016-01-27 23:18:06 +00:00
|
|
|
blockType_t bType; /* used in ZSTD_decompressContinue(), to transfer blockType between header decoding and block decoding stages */
|
2015-11-25 13:42:45 +00:00
|
|
|
ZSTD_dStage stage;
|
2016-01-27 23:18:06 +00:00
|
|
|
U32 flagStaticTables;
|
2015-11-11 12:43:58 +00:00
|
|
|
const BYTE* litPtr;
|
|
|
|
size_t litBufSize;
|
|
|
|
size_t litSize;
|
2016-03-16 14:26:51 +00:00
|
|
|
BYTE litBuffer[ZSTD_BLOCKSIZE_MAX + WILDCOPY_OVERLENGTH];
|
2016-03-11 20:58:04 +00:00
|
|
|
BYTE headerBuffer[ZSTD_FRAMEHEADERSIZE_MAX];
|
2015-12-04 16:16:37 +00:00
|
|
|
}; /* typedef'd to ZSTD_DCtx within "zstd_static.h" */
|
2015-11-11 12:43:58 +00:00
|
|
|
|
2016-01-27 23:18:06 +00:00
|
|
|
size_t sizeofDCtx (void) { return sizeof(ZSTD_DCtx); }
|
|
|
|
|
2016-01-26 14:58:49 +00:00
|
|
|
size_t ZSTD_decompressBegin(ZSTD_DCtx* dctx)
|
2015-11-12 14:36:05 +00:00
|
|
|
{
|
2015-11-25 13:42:45 +00:00
|
|
|
dctx->expected = ZSTD_frameHeaderSize_min;
|
|
|
|
dctx->stage = ZSTDds_getFrameHeaderSize;
|
2015-11-12 14:36:05 +00:00
|
|
|
dctx->previousDstEnd = NULL;
|
|
|
|
dctx->base = NULL;
|
|
|
|
dctx->vBase = NULL;
|
|
|
|
dctx->dictEnd = NULL;
|
2016-01-26 02:14:20 +00:00
|
|
|
dctx->hufTableX4[0] = HufLog;
|
2016-01-27 23:18:06 +00:00
|
|
|
dctx->flagStaticTables = 0;
|
2016-03-11 20:58:04 +00:00
|
|
|
dctx->fParams.mml = MINMATCH; /* overwritten by frame but forces ZSTD_btopt to MINMATCH in block mode */
|
2016-03-01 13:14:35 +00:00
|
|
|
ZSTD_LOG_BLOCK("%p: ZSTD_decompressBegin searchLength=%d\n", dctx->base, dctx->params.searchLength);
|
2015-11-12 14:36:05 +00:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
ZSTD_DCtx* ZSTD_createDCtx(void)
|
|
|
|
{
|
|
|
|
ZSTD_DCtx* dctx = (ZSTD_DCtx*)malloc(sizeof(ZSTD_DCtx));
|
|
|
|
if (dctx==NULL) return NULL;
|
2016-01-26 14:58:49 +00:00
|
|
|
ZSTD_decompressBegin(dctx);
|
2015-11-12 14:36:05 +00:00
|
|
|
return dctx;
|
|
|
|
}
|
|
|
|
|
|
|
|
size_t ZSTD_freeDCtx(ZSTD_DCtx* dctx)
|
|
|
|
{
|
|
|
|
free(dctx);
|
2016-02-05 01:33:10 +00:00
|
|
|
return 0; /* reserved as a potential error code in the future */
|
2015-11-12 14:36:05 +00:00
|
|
|
}
|
|
|
|
|
2016-01-26 14:58:49 +00:00
|
|
|
void ZSTD_copyDCtx(ZSTD_DCtx* dstDCtx, const ZSTD_DCtx* srcDCtx)
|
|
|
|
{
|
|
|
|
memcpy(dstDCtx, srcDCtx,
|
2016-03-16 14:26:51 +00:00
|
|
|
sizeof(ZSTD_DCtx) - (ZSTD_BLOCKSIZE_MAX+WILDCOPY_OVERLENGTH + ZSTD_frameHeaderSize_max)); /* no need to copy workspace */
|
2016-01-26 14:58:49 +00:00
|
|
|
}
|
|
|
|
|
2015-11-12 14:36:05 +00:00
|
|
|
|
2016-03-12 00:25:40 +00:00
|
|
|
/*-*************************************************************
|
2015-11-12 14:36:05 +00:00
|
|
|
* Decompression section
|
|
|
|
***************************************************************/
|
2016-01-23 18:28:41 +00:00
|
|
|
|
|
|
|
/* Frame format description
|
|
|
|
Frame Header - [ Block Header - Block ] - Frame End
|
|
|
|
1) Frame Header
|
2016-03-12 00:25:40 +00:00
|
|
|
- 4 bytes - Magic Number : ZSTD_MAGICNUMBER (defined within zstd_static.h)
|
|
|
|
- 1 byte - Frame Descriptor
|
2016-01-23 18:28:41 +00:00
|
|
|
2) Block Header
|
|
|
|
- 3 bytes, starting with a 2-bits descriptor
|
|
|
|
Uncompressed, Compressed, Frame End, unused
|
|
|
|
3) Block
|
|
|
|
See Block Format Description
|
|
|
|
4) Frame End
|
|
|
|
- 3 bytes, compatible with Block Header
|
|
|
|
*/
|
|
|
|
|
2016-03-12 00:25:40 +00:00
|
|
|
|
|
|
|
/* Frame descriptor
|
|
|
|
|
|
|
|
1 byte, using :
|
|
|
|
bit 0-3 : windowLog - ZSTD_WINDOWLOG_ABSOLUTEMIN (see zstd_internal.h)
|
|
|
|
bit 4 : minmatch 4(0) or 3(1)
|
|
|
|
bit 5 : reserved (must be zero)
|
|
|
|
bit 6-7 : Frame content size : unknown, 1 byte, 2 bytes, 8 bytes
|
2016-03-13 10:08:40 +00:00
|
|
|
|
|
|
|
Optional : content size (0, 1, 2 or 8 bytes)
|
|
|
|
0 : unknown
|
|
|
|
1 : 0-255 bytes
|
|
|
|
2 : 256 - 65535+256
|
|
|
|
8 : up to 16 exa
|
2016-03-12 00:25:40 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
|
|
/* Compressed Block, format description
|
2016-01-27 23:18:06 +00:00
|
|
|
|
|
|
|
Block = Literal Section - Sequences Section
|
|
|
|
Prerequisite : size of (compressed) block, maximum size of regenerated data
|
|
|
|
|
2016-01-23 18:28:41 +00:00
|
|
|
1) Literal Section
|
2016-01-27 23:18:06 +00:00
|
|
|
|
|
|
|
1.1) Header : 1-5 bytes
|
|
|
|
flags: 2 bits
|
2016-01-23 18:28:41 +00:00
|
|
|
00 compressed by Huff0
|
2016-01-27 23:18:06 +00:00
|
|
|
01 unused
|
|
|
|
10 is Raw (uncompressed)
|
|
|
|
11 is Rle
|
|
|
|
Note : using 01 => Huff0 with precomputed table ?
|
2016-01-23 18:28:41 +00:00
|
|
|
Note : delta map ? => compressed ?
|
2016-01-27 23:18:06 +00:00
|
|
|
|
|
|
|
1.1.1) Huff0-compressed literal block : 3-5 bytes
|
|
|
|
srcSize < 1 KB => 3 bytes (2-2-10-10) => single stream
|
|
|
|
srcSize < 1 KB => 3 bytes (2-2-10-10)
|
|
|
|
srcSize < 16KB => 4 bytes (2-2-14-14)
|
|
|
|
else => 5 bytes (2-2-18-18)
|
|
|
|
big endian convention
|
|
|
|
|
|
|
|
1.1.2) Raw (uncompressed) literal block header : 1-3 bytes
|
|
|
|
size : 5 bits: (IS_RAW<<6) + (0<<4) + size
|
|
|
|
12 bits: (IS_RAW<<6) + (2<<4) + (size>>8)
|
|
|
|
size&255
|
|
|
|
20 bits: (IS_RAW<<6) + (3<<4) + (size>>16)
|
|
|
|
size>>8&255
|
|
|
|
size&255
|
|
|
|
|
|
|
|
1.1.3) Rle (repeated single byte) literal block header : 1-3 bytes
|
|
|
|
size : 5 bits: (IS_RLE<<6) + (0<<4) + size
|
|
|
|
12 bits: (IS_RLE<<6) + (2<<4) + (size>>8)
|
|
|
|
size&255
|
|
|
|
20 bits: (IS_RLE<<6) + (3<<4) + (size>>16)
|
|
|
|
size>>8&255
|
|
|
|
size&255
|
|
|
|
|
|
|
|
1.1.4) Huff0-compressed literal block, using precomputed CTables : 3-5 bytes
|
|
|
|
srcSize < 1 KB => 3 bytes (2-2-10-10) => single stream
|
|
|
|
srcSize < 1 KB => 3 bytes (2-2-10-10)
|
|
|
|
srcSize < 16KB => 4 bytes (2-2-14-14)
|
|
|
|
else => 5 bytes (2-2-18-18)
|
|
|
|
big endian convention
|
|
|
|
|
|
|
|
1- CTable available (stored into workspace ?)
|
|
|
|
2- Small input (fast heuristic ? Full comparison ? depend on clevel ?)
|
|
|
|
|
|
|
|
|
|
|
|
1.2) Literal block content
|
2016-01-23 18:28:41 +00:00
|
|
|
|
|
|
|
1.2.1) Huff0 block, using sizes from header
|
|
|
|
See Huff0 format
|
|
|
|
|
2016-01-27 23:18:06 +00:00
|
|
|
1.2.2) Huff0 block, using prepared table
|
|
|
|
|
|
|
|
1.2.3) Raw content
|
|
|
|
|
|
|
|
1.2.4) single byte
|
2016-01-23 18:28:41 +00:00
|
|
|
|
|
|
|
|
|
|
|
2) Sequences section
|
|
|
|
TO DO
|
|
|
|
*/
|
|
|
|
|
2016-03-12 00:25:40 +00:00
|
|
|
/** ZSTD_frameHeaderSize() :
|
|
|
|
* srcSize must be >= ZSTD_frameHeaderSize_min.
|
|
|
|
* @return : size of the Frame Header */
|
|
|
|
static size_t ZSTD_frameHeaderSize(const void* src, size_t srcSize)
|
2015-11-25 13:42:45 +00:00
|
|
|
{
|
2016-03-12 00:25:40 +00:00
|
|
|
U32 fcsId;
|
|
|
|
if (srcSize < ZSTD_frameHeaderSize_min) return ERROR(srcSize_wrong);
|
|
|
|
fcsId = (((const BYTE*)src)[4]) >> 6;
|
|
|
|
return ZSTD_frameHeaderSize_min + ZSTD_fcs_fieldSize[fcsId];
|
2015-11-25 13:42:45 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-03-12 00:25:40 +00:00
|
|
|
/** ZSTD_getFrameParams() :
|
|
|
|
* decode Frame Header, or provide expected `srcSize`.
|
|
|
|
* @return : 0, `fparamsPtr` is correctly filled,
|
2016-03-15 00:33:36 +00:00
|
|
|
* >0, `srcSize` is too small, result is expected `srcSize`,
|
2016-03-12 00:25:40 +00:00
|
|
|
* or an error code, which can be tested using ZSTD_isError() */
|
2016-03-15 11:56:03 +00:00
|
|
|
size_t ZSTD_getFrameParams(ZSTD_frameParams* fparamsPtr, const void* src, size_t srcSize)
|
2015-11-25 13:42:45 +00:00
|
|
|
{
|
2016-03-12 00:25:40 +00:00
|
|
|
const BYTE* ip = (const BYTE*)src;
|
|
|
|
|
|
|
|
if (srcSize < ZSTD_frameHeaderSize_min) return ZSTD_frameHeaderSize_min;
|
2016-03-15 00:24:33 +00:00
|
|
|
if (MEM_readLE32(src) != ZSTD_MAGICNUMBER) return ERROR(prefix_unknown);
|
2016-03-12 00:25:40 +00:00
|
|
|
|
2016-03-15 00:33:36 +00:00
|
|
|
/* ensure there is enough `srcSize` to fully read/decode frame header */
|
2016-03-15 00:24:33 +00:00
|
|
|
{ size_t const fhsize = ZSTD_frameHeaderSize(src, srcSize);
|
2016-03-12 00:25:40 +00:00
|
|
|
if (srcSize < fhsize) return fhsize; }
|
|
|
|
|
2016-03-11 20:58:04 +00:00
|
|
|
memset(fparamsPtr, 0, sizeof(*fparamsPtr));
|
2016-03-15 00:33:36 +00:00
|
|
|
{ BYTE const frameDesc = ip[4];
|
|
|
|
fparamsPtr->windowLog = (frameDesc & 0xF) + ZSTD_WINDOWLOG_ABSOLUTEMIN;
|
|
|
|
fparamsPtr->mml = (frameDesc & 0x10) ? MINMATCH-1 : MINMATCH;
|
|
|
|
if ((frameDesc & 0x20) != 0) return ERROR(frameParameter_unsupported); /* reserved 1 bit */
|
|
|
|
switch(frameDesc >> 6) /* fcsId */
|
|
|
|
{
|
|
|
|
default: /* impossible */
|
|
|
|
case 0 : fparamsPtr->frameContentSize = 0; break;
|
|
|
|
case 1 : fparamsPtr->frameContentSize = ip[5]; break;
|
|
|
|
case 2 : fparamsPtr->frameContentSize = MEM_readLE16(ip+5)+256; break;
|
|
|
|
case 3 : fparamsPtr->frameContentSize = MEM_readLE64(ip+5); break;
|
|
|
|
} }
|
2015-11-25 13:42:45 +00:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2016-03-12 00:25:40 +00:00
|
|
|
|
|
|
|
/** ZSTD_decodeFrameHeader() :
|
2016-03-15 00:33:36 +00:00
|
|
|
* `srcSize` must be the size provided by ZSTD_frameHeaderSize().
|
2016-03-19 13:14:31 +00:00
|
|
|
* @return : 0 if success, or an error code, which can be tested using ZSTD_isError() */
|
2016-03-12 00:25:40 +00:00
|
|
|
static size_t ZSTD_decodeFrameHeader(ZSTD_DCtx* zc, const void* src, size_t srcSize)
|
2015-11-26 11:43:28 +00:00
|
|
|
{
|
2016-03-20 23:39:19 +00:00
|
|
|
size_t const result = ZSTD_getFrameParams(&(zc->fParams), src, srcSize);
|
2016-03-11 20:58:04 +00:00
|
|
|
if ((MEM_32bits()) && (zc->fParams.windowLog > 25)) return ERROR(frameParameter_unsupportedBy32bits);
|
2015-11-28 15:03:22 +00:00
|
|
|
return result;
|
2015-11-26 11:43:28 +00:00
|
|
|
}
|
|
|
|
|
2015-11-11 12:43:58 +00:00
|
|
|
|
2016-03-19 13:14:31 +00:00
|
|
|
typedef struct
|
|
|
|
{
|
|
|
|
blockType_t blockType;
|
|
|
|
U32 origSize;
|
|
|
|
} blockProperties_t;
|
|
|
|
|
|
|
|
/*! ZSTD_getcBlockSize() :
|
|
|
|
* Provides the size of compressed block from block header `src` */
|
2015-11-11 12:43:58 +00:00
|
|
|
size_t ZSTD_getcBlockSize(const void* src, size_t srcSize, blockProperties_t* bpPtr)
|
|
|
|
{
|
|
|
|
const BYTE* const in = (const BYTE* const)src;
|
2016-03-19 14:18:42 +00:00
|
|
|
U32 cSize;
|
2015-11-11 12:43:58 +00:00
|
|
|
|
2016-03-19 13:14:31 +00:00
|
|
|
if (srcSize < ZSTD_blockHeaderSize) return ERROR(srcSize_wrong);
|
2015-11-11 12:43:58 +00:00
|
|
|
|
2016-03-19 13:14:31 +00:00
|
|
|
bpPtr->blockType = (blockType_t)((*in) >> 6);
|
2015-11-11 12:43:58 +00:00
|
|
|
cSize = in[2] + (in[1]<<8) + ((in[0] & 7)<<16);
|
|
|
|
bpPtr->origSize = (bpPtr->blockType == bt_rle) ? cSize : 0;
|
|
|
|
|
|
|
|
if (bpPtr->blockType == bt_end) return 0;
|
|
|
|
if (bpPtr->blockType == bt_rle) return 1;
|
|
|
|
return cSize;
|
|
|
|
}
|
|
|
|
|
2016-01-23 18:28:41 +00:00
|
|
|
|
2016-03-19 13:14:31 +00:00
|
|
|
static size_t ZSTD_copyRawBlock(void* dst, size_t dstCapacity, const void* src, size_t srcSize)
|
2015-11-11 12:43:58 +00:00
|
|
|
{
|
2016-03-19 13:14:31 +00:00
|
|
|
if (srcSize > dstCapacity) return ERROR(dstSize_tooSmall);
|
2015-11-11 12:43:58 +00:00
|
|
|
memcpy(dst, src, srcSize);
|
|
|
|
return srcSize;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-02-04 14:28:14 +00:00
|
|
|
/*! ZSTD_decodeLiteralsBlock() :
|
2015-11-11 20:38:21 +00:00
|
|
|
@return : nb of bytes read from src (< srcSize ) */
|
2015-11-12 14:36:05 +00:00
|
|
|
size_t ZSTD_decodeLiteralsBlock(ZSTD_DCtx* dctx,
|
2015-11-11 12:43:58 +00:00
|
|
|
const void* src, size_t srcSize) /* note : srcSize < BLOCKSIZE */
|
|
|
|
{
|
|
|
|
const BYTE* const istart = (const BYTE*) src;
|
|
|
|
|
|
|
|
/* any compressed block with literals segment must be at least this size */
|
|
|
|
if (srcSize < MIN_CBLOCK_SIZE) return ERROR(corruption_detected);
|
|
|
|
|
2016-01-23 18:28:41 +00:00
|
|
|
switch(istart[0]>> 6)
|
2015-11-11 12:43:58 +00:00
|
|
|
{
|
2016-01-23 18:28:41 +00:00
|
|
|
case IS_HUF:
|
2015-11-11 12:43:58 +00:00
|
|
|
{
|
2016-01-25 03:10:46 +00:00
|
|
|
size_t litSize, litCSize, singleStream=0;
|
2016-01-23 18:28:41 +00:00
|
|
|
U32 lhSize = ((istart[0]) >> 4) & 3;
|
|
|
|
switch(lhSize)
|
|
|
|
{
|
|
|
|
case 0: case 1: default: /* note : default is impossible, since lhSize into [0..3] */
|
|
|
|
/* 2 - 2 - 10 - 10 */
|
|
|
|
lhSize=3;
|
2016-01-25 03:10:46 +00:00
|
|
|
singleStream = istart[0] & 16;
|
2016-01-23 18:28:41 +00:00
|
|
|
litSize = ((istart[0] & 15) << 6) + (istart[1] >> 2);
|
|
|
|
litCSize = ((istart[1] & 3) << 8) + istart[2];
|
|
|
|
break;
|
|
|
|
case 2:
|
|
|
|
/* 2 - 2 - 14 - 14 */
|
|
|
|
lhSize=4;
|
|
|
|
litSize = ((istart[0] & 15) << 10) + (istart[1] << 2) + (istart[2] >> 6);
|
|
|
|
litCSize = ((istart[2] & 63) << 8) + istart[3];
|
|
|
|
break;
|
|
|
|
case 3:
|
|
|
|
/* 2 - 2 - 18 - 18 */
|
|
|
|
lhSize=5;
|
|
|
|
litSize = ((istart[0] & 15) << 14) + (istart[1] << 6) + (istart[2] >> 2);
|
|
|
|
litCSize = ((istart[2] & 3) << 16) + (istart[3] << 8) + istart[4];
|
|
|
|
break;
|
|
|
|
}
|
2016-03-16 14:26:51 +00:00
|
|
|
if (litSize > ZSTD_BLOCKSIZE_MAX) return ERROR(corruption_detected);
|
2016-01-23 18:28:41 +00:00
|
|
|
|
2016-01-25 03:10:46 +00:00
|
|
|
if (HUF_isError(singleStream ?
|
|
|
|
HUF_decompress1X2(dctx->litBuffer, litSize, istart+lhSize, litCSize) :
|
|
|
|
HUF_decompress (dctx->litBuffer, litSize, istart+lhSize, litCSize) ))
|
2016-01-23 18:28:41 +00:00
|
|
|
return ERROR(corruption_detected);
|
|
|
|
|
2015-11-11 12:43:58 +00:00
|
|
|
dctx->litPtr = dctx->litBuffer;
|
2016-03-16 14:26:51 +00:00
|
|
|
dctx->litBufSize = ZSTD_BLOCKSIZE_MAX+8;
|
2015-11-11 12:43:58 +00:00
|
|
|
dctx->litSize = litSize;
|
2016-01-23 18:28:41 +00:00
|
|
|
return litCSize + lhSize;
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
2016-01-26 02:14:20 +00:00
|
|
|
case IS_PCH:
|
|
|
|
{
|
|
|
|
size_t errorCode;
|
|
|
|
size_t litSize, litCSize;
|
|
|
|
U32 lhSize = ((istart[0]) >> 4) & 3;
|
|
|
|
if (lhSize != 1) /* only case supported for now : small litSize, single stream */
|
|
|
|
return ERROR(corruption_detected);
|
2016-01-27 23:18:06 +00:00
|
|
|
if (!dctx->flagStaticTables)
|
2016-01-26 14:58:49 +00:00
|
|
|
return ERROR(dictionary_corrupted);
|
2016-01-26 02:14:20 +00:00
|
|
|
|
|
|
|
/* 2 - 2 - 10 - 10 */
|
|
|
|
lhSize=3;
|
|
|
|
litSize = ((istart[0] & 15) << 6) + (istart[1] >> 2);
|
|
|
|
litCSize = ((istart[1] & 3) << 8) + istart[2];
|
|
|
|
|
|
|
|
errorCode = HUF_decompress1X4_usingDTable(dctx->litBuffer, litSize, istart+lhSize, litCSize, dctx->hufTableX4);
|
|
|
|
if (HUF_isError(errorCode)) return ERROR(corruption_detected);
|
|
|
|
|
|
|
|
dctx->litPtr = dctx->litBuffer;
|
2016-03-16 14:26:51 +00:00
|
|
|
dctx->litBufSize = ZSTD_BLOCKSIZE_MAX+WILDCOPY_OVERLENGTH;
|
2016-01-26 02:14:20 +00:00
|
|
|
dctx->litSize = litSize;
|
|
|
|
return litCSize + lhSize;
|
|
|
|
}
|
2015-11-11 12:43:58 +00:00
|
|
|
case IS_RAW:
|
|
|
|
{
|
2016-01-23 18:28:41 +00:00
|
|
|
size_t litSize;
|
|
|
|
U32 lhSize = ((istart[0]) >> 4) & 3;
|
|
|
|
switch(lhSize)
|
2015-11-11 12:43:58 +00:00
|
|
|
{
|
2016-01-23 18:28:41 +00:00
|
|
|
case 0: case 1: default: /* note : default is impossible, since lhSize into [0..3] */
|
|
|
|
lhSize=1;
|
|
|
|
litSize = istart[0] & 31;
|
|
|
|
break;
|
|
|
|
case 2:
|
|
|
|
litSize = ((istart[0] & 15) << 8) + istart[1];
|
|
|
|
break;
|
|
|
|
case 3:
|
|
|
|
litSize = ((istart[0] & 15) << 16) + (istart[1] << 8) + istart[2];
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2016-01-31 01:04:15 +00:00
|
|
|
if (lhSize+litSize+WILDCOPY_OVERLENGTH > srcSize) { /* risk reading beyond src buffer with wildcopy */
|
2016-02-03 11:39:34 +00:00
|
|
|
if (litSize+lhSize > srcSize) return ERROR(corruption_detected);
|
2016-01-23 18:28:41 +00:00
|
|
|
memcpy(dctx->litBuffer, istart+lhSize, litSize);
|
2015-11-11 12:43:58 +00:00
|
|
|
dctx->litPtr = dctx->litBuffer;
|
2016-03-16 14:26:51 +00:00
|
|
|
dctx->litBufSize = ZSTD_BLOCKSIZE_MAX+8;
|
2015-11-11 12:43:58 +00:00
|
|
|
dctx->litSize = litSize;
|
2016-01-25 16:26:01 +00:00
|
|
|
return lhSize+litSize;
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
|
|
|
/* direct reference into compressed stream */
|
2016-01-23 18:28:41 +00:00
|
|
|
dctx->litPtr = istart+lhSize;
|
|
|
|
dctx->litBufSize = srcSize-lhSize;
|
2015-11-11 12:43:58 +00:00
|
|
|
dctx->litSize = litSize;
|
2016-01-23 18:28:41 +00:00
|
|
|
return lhSize+litSize;
|
|
|
|
}
|
2015-11-11 12:43:58 +00:00
|
|
|
case IS_RLE:
|
|
|
|
{
|
2016-01-23 18:28:41 +00:00
|
|
|
size_t litSize;
|
|
|
|
U32 lhSize = ((istart[0]) >> 4) & 3;
|
|
|
|
switch(lhSize)
|
|
|
|
{
|
|
|
|
case 0: case 1: default: /* note : default is impossible, since lhSize into [0..3] */
|
|
|
|
lhSize = 1;
|
|
|
|
litSize = istart[0] & 31;
|
|
|
|
break;
|
|
|
|
case 2:
|
|
|
|
litSize = ((istart[0] & 15) << 8) + istart[1];
|
|
|
|
break;
|
|
|
|
case 3:
|
|
|
|
litSize = ((istart[0] & 15) << 16) + (istart[1] << 8) + istart[2];
|
|
|
|
break;
|
|
|
|
}
|
2016-03-16 14:26:51 +00:00
|
|
|
if (litSize > ZSTD_BLOCKSIZE_MAX) return ERROR(corruption_detected);
|
2016-01-23 18:28:41 +00:00
|
|
|
memset(dctx->litBuffer, istart[lhSize], litSize);
|
2015-11-11 12:43:58 +00:00
|
|
|
dctx->litPtr = dctx->litBuffer;
|
2016-03-16 14:26:51 +00:00
|
|
|
dctx->litBufSize = ZSTD_BLOCKSIZE_MAX+WILDCOPY_OVERLENGTH;
|
2015-11-11 12:43:58 +00:00
|
|
|
dctx->litSize = litSize;
|
2016-01-23 18:28:41 +00:00
|
|
|
return lhSize+1;
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
2016-01-26 02:14:20 +00:00
|
|
|
default:
|
|
|
|
return ERROR(corruption_detected); /* impossible */
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-03-18 21:23:49 +00:00
|
|
|
/*! ZSTD_buildSeqTable() :
|
|
|
|
@return : nb bytes read from src,
|
|
|
|
or an error code if it fails, testable with ZSTD_isError()
|
|
|
|
*/
|
2016-03-19 13:47:31 +00:00
|
|
|
FORCE_INLINE size_t ZSTD_buildSeqTable(FSE_DTable* DTable, U32 type, U32 rawBits, U32 maxLog,
|
2016-03-18 21:23:49 +00:00
|
|
|
const void* src, size_t srcSize)
|
|
|
|
{
|
2016-03-19 11:12:07 +00:00
|
|
|
U32 max = (1<<rawBits)-1;
|
2016-03-18 21:23:49 +00:00
|
|
|
switch(type)
|
|
|
|
{
|
|
|
|
case FSE_ENCODING_RLE :
|
|
|
|
if (!srcSize) return ERROR(srcSize_wrong);
|
2016-03-19 11:12:07 +00:00
|
|
|
FSE_buildDTable_rle(DTable, (*(const BYTE*)src) & max); /* if *src > max, data is corrupted */
|
2016-03-18 21:23:49 +00:00
|
|
|
return 1;
|
|
|
|
case FSE_ENCODING_RAW :
|
|
|
|
FSE_buildDTable_raw(DTable, rawBits);
|
|
|
|
return 0;
|
|
|
|
case FSE_ENCODING_STATIC:
|
|
|
|
return 0;
|
|
|
|
default : /* impossible */
|
|
|
|
case FSE_ENCODING_DYNAMIC :
|
2016-03-19 11:12:07 +00:00
|
|
|
{ U32 tableLog;
|
2016-03-18 21:23:49 +00:00
|
|
|
S16 norm[MaxSeq+1];
|
|
|
|
size_t const headerSize = FSE_readNCount(norm, &max, &tableLog, src, srcSize);
|
2016-03-19 13:47:31 +00:00
|
|
|
if (FSE_isError(headerSize)) return ERROR(corruption_detected);
|
2016-03-18 21:23:49 +00:00
|
|
|
if (tableLog > maxLog) return ERROR(corruption_detected);
|
|
|
|
FSE_buildDTable(DTable, norm, max, tableLog);
|
|
|
|
return headerSize;
|
|
|
|
} }
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2015-11-11 12:43:58 +00:00
|
|
|
size_t ZSTD_decodeSeqHeaders(int* nbSeq, const BYTE** dumpsPtr, size_t* dumpsLengthPtr,
|
|
|
|
FSE_DTable* DTableLL, FSE_DTable* DTableML, FSE_DTable* DTableOffb,
|
|
|
|
const void* src, size_t srcSize)
|
|
|
|
{
|
|
|
|
const BYTE* const istart = (const BYTE* const)src;
|
|
|
|
const BYTE* ip = istart;
|
|
|
|
const BYTE* const iend = istart + srcSize;
|
|
|
|
U32 LLtype, Offtype, MLtype;
|
|
|
|
|
|
|
|
/* check */
|
2016-03-18 21:23:49 +00:00
|
|
|
if (srcSize < MIN_SEQUENCES_SIZE) return ERROR(srcSize_wrong);
|
2015-11-11 12:43:58 +00:00
|
|
|
|
|
|
|
/* SeqHead */
|
2016-01-31 01:04:15 +00:00
|
|
|
*nbSeq = *ip++;
|
|
|
|
if (*nbSeq==0) return 1;
|
2016-03-04 13:45:31 +00:00
|
|
|
if (*nbSeq >= 0x7F) {
|
|
|
|
if (*nbSeq == 0xFF)
|
|
|
|
*nbSeq = MEM_readLE16(ip) + LONGNBSEQ, ip+=2;
|
|
|
|
else
|
|
|
|
*nbSeq = ((nbSeq[0]-0x80)<<8) + *ip++;
|
|
|
|
}
|
2016-01-30 23:58:06 +00:00
|
|
|
|
2016-03-04 13:45:31 +00:00
|
|
|
/* FSE table descriptors */
|
2015-11-11 12:43:58 +00:00
|
|
|
LLtype = *ip >> 6;
|
|
|
|
Offtype = (*ip >> 4) & 3;
|
|
|
|
MLtype = (*ip >> 2) & 3;
|
2016-03-18 21:23:49 +00:00
|
|
|
{ size_t dumpsLength;
|
|
|
|
if (*ip & 2) {
|
|
|
|
dumpsLength = ip[2];
|
|
|
|
dumpsLength += ip[1] << 8;
|
|
|
|
ip += 3;
|
|
|
|
} else {
|
|
|
|
dumpsLength = ip[1];
|
|
|
|
dumpsLength += (ip[0] & 1) << 8;
|
|
|
|
ip += 2;
|
|
|
|
}
|
|
|
|
*dumpsPtr = ip;
|
|
|
|
ip += dumpsLength;
|
|
|
|
*dumpsLengthPtr = dumpsLength;
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* check */
|
|
|
|
if (ip > iend-3) return ERROR(srcSize_wrong); /* min : all 3 are "raw", hence no header, but at least xxLog bits per type */
|
|
|
|
|
2016-03-18 20:40:56 +00:00
|
|
|
/* Build DTables */
|
2016-03-18 21:23:49 +00:00
|
|
|
{ size_t const bhSize = ZSTD_buildSeqTable(DTableLL, LLtype, LLbits, LLFSELog, ip, iend-ip);
|
|
|
|
if (ZSTD_isError(bhSize)) return ERROR(corruption_detected);
|
|
|
|
ip += bhSize;
|
|
|
|
}
|
|
|
|
{ size_t const bhSize = ZSTD_buildSeqTable(DTableOffb, Offtype, Offbits, OffFSELog, ip, iend-ip);
|
|
|
|
if (ZSTD_isError(bhSize)) return ERROR(corruption_detected);
|
|
|
|
ip += bhSize;
|
|
|
|
}
|
|
|
|
{ size_t const bhSize = ZSTD_buildSeqTable(DTableML, MLtype, MLbits, MLFSELog, ip, iend-ip);
|
|
|
|
if (ZSTD_isError(bhSize)) return ERROR(corruption_detected);
|
|
|
|
ip += bhSize;
|
|
|
|
}
|
2015-11-11 12:43:58 +00:00
|
|
|
|
|
|
|
return ip-istart;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
typedef struct {
|
|
|
|
size_t litLength;
|
|
|
|
size_t matchLength;
|
2016-01-30 23:58:06 +00:00
|
|
|
size_t offset;
|
2015-11-11 12:43:58 +00:00
|
|
|
} seq_t;
|
|
|
|
|
|
|
|
typedef struct {
|
|
|
|
BIT_DStream_t DStream;
|
|
|
|
FSE_DState_t stateLL;
|
|
|
|
FSE_DState_t stateOffb;
|
|
|
|
FSE_DState_t stateML;
|
|
|
|
size_t prevOffset;
|
|
|
|
const BYTE* dumps;
|
|
|
|
const BYTE* dumpsEnd;
|
|
|
|
} seqState_t;
|
|
|
|
|
2016-02-03 11:53:07 +00:00
|
|
|
|
2016-02-22 14:53:42 +00:00
|
|
|
static void ZSTD_decodeSequence(seq_t* seq, seqState_t* seqState, const U32 mls)
|
2015-11-11 12:43:58 +00:00
|
|
|
{
|
|
|
|
const BYTE* dumps = seqState->dumps;
|
|
|
|
const BYTE* const de = seqState->dumpsEnd;
|
2016-03-17 11:56:46 +00:00
|
|
|
size_t litLength, offset;
|
2015-11-11 12:43:58 +00:00
|
|
|
|
|
|
|
/* Literal length */
|
2016-01-30 23:58:06 +00:00
|
|
|
litLength = FSE_peakSymbol(&(seqState->stateLL));
|
2016-01-27 23:18:06 +00:00
|
|
|
if (litLength == MaxLL) {
|
2016-03-17 11:56:46 +00:00
|
|
|
const U32 add = *dumps++;
|
2015-11-11 12:43:58 +00:00
|
|
|
if (add < 255) litLength += add;
|
2016-01-27 23:18:06 +00:00
|
|
|
else {
|
2016-02-02 16:30:37 +00:00
|
|
|
litLength = MEM_readLE32(dumps) & 0xFFFFFF; /* no risk : dumps is always followed by seq tables > 1 byte */
|
|
|
|
if (litLength&1) litLength>>=1, dumps += 3;
|
|
|
|
else litLength = (U16)(litLength)>>1, dumps += 2;
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
|
|
|
if (dumps >= de) dumps = de-1; /* late correction, to avoid read overflow (data is now corrupted anyway) */
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Offset */
|
2016-03-19 11:12:07 +00:00
|
|
|
{ static const U32 offsetPrefix[MaxOff+1] = {
|
|
|
|
1 /*fake*/, 1, 2, 4, 8, 0x10, 0x20, 0x40,
|
|
|
|
0x80, 0x100, 0x200, 0x400, 0x800, 0x1000, 0x2000, 0x4000,
|
|
|
|
0x8000, 0x10000, 0x20000, 0x40000, 0x80000, 0x100000, 0x200000, 0x400000,
|
|
|
|
0x800000, 0x1000000, 0x2000000, 0x4000000, /*fake*/ 1, 1, 1, 1 };
|
|
|
|
U32 const offsetCode = FSE_peakSymbol(&(seqState->stateOffb)); /* <= maxOff, by table construction */
|
|
|
|
U32 const nbBits = offsetCode ? offsetCode-1 : 0;
|
2015-11-11 12:43:58 +00:00
|
|
|
offset = offsetPrefix[offsetCode] + BIT_readBits(&(seqState->DStream), nbBits);
|
|
|
|
if (MEM_32bits()) BIT_reloadDStream(&(seqState->DStream));
|
2016-03-17 11:11:16 +00:00
|
|
|
if (offsetCode==0) offset = litLength ? seq->offset : seqState->prevOffset;
|
2015-11-20 11:04:52 +00:00
|
|
|
if (offsetCode | !litLength) seqState->prevOffset = seq->offset; /* cmove */
|
2016-01-30 23:58:06 +00:00
|
|
|
FSE_decodeSymbol(&(seqState->stateOffb), &(seqState->DStream)); /* update */
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
|
|
|
|
2016-01-30 23:58:06 +00:00
|
|
|
/* Literal length update */
|
|
|
|
FSE_decodeSymbol(&(seqState->stateLL), &(seqState->DStream)); /* update */
|
|
|
|
if (MEM_32bits()) BIT_reloadDStream(&(seqState->DStream));
|
|
|
|
|
2015-11-11 12:43:58 +00:00
|
|
|
/* MatchLength */
|
2016-03-19 13:14:31 +00:00
|
|
|
{ size_t matchLength = FSE_decodeSymbol(&(seqState->stateML), &(seqState->DStream));
|
2016-03-17 11:56:46 +00:00
|
|
|
if (matchLength == MaxML) {
|
|
|
|
const U32 add = *dumps++;
|
|
|
|
if (add < 255) matchLength += add;
|
|
|
|
else {
|
|
|
|
matchLength = MEM_readLE32(dumps) & 0xFFFFFF; /* no pb : dumps is always followed by seq tables > 1 byte */
|
|
|
|
if (matchLength&1) matchLength>>=1, dumps += 3;
|
|
|
|
else matchLength = (U16)(matchLength)>>1, dumps += 2;
|
|
|
|
}
|
|
|
|
if (dumps >= de) dumps = de-1; /* late correction, to avoid read overflow (data is now corrupted anyway) */
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
2016-03-17 11:56:46 +00:00
|
|
|
matchLength += mls;
|
|
|
|
seq->matchLength = matchLength;
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* save result */
|
|
|
|
seq->litLength = litLength;
|
|
|
|
seq->offset = offset;
|
|
|
|
seqState->dumps = dumps;
|
2016-01-27 23:18:06 +00:00
|
|
|
|
2016-02-02 16:30:37 +00:00
|
|
|
#if 0 /* debug */
|
2016-01-27 23:18:06 +00:00
|
|
|
{
|
|
|
|
static U64 totalDecoded = 0;
|
|
|
|
printf("pos %6u : %3u literals & match %3u bytes at distance %6u \n",
|
|
|
|
(U32)(totalDecoded), (U32)litLength, (U32)matchLength, (U32)offset);
|
|
|
|
totalDecoded += litLength + matchLength;
|
|
|
|
}
|
|
|
|
#endif
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2015-11-12 14:36:05 +00:00
|
|
|
FORCE_INLINE size_t ZSTD_execSequence(BYTE* op,
|
2015-11-19 16:13:19 +00:00
|
|
|
BYTE* const oend, seq_t sequence,
|
2015-11-11 12:43:58 +00:00
|
|
|
const BYTE** litPtr, const BYTE* const litLimit_8,
|
2015-12-04 16:16:37 +00:00
|
|
|
const BYTE* const base, const BYTE* const vBase, const BYTE* const dictEnd)
|
2015-11-11 12:43:58 +00:00
|
|
|
{
|
2015-11-19 16:13:19 +00:00
|
|
|
static const int dec32table[] = { 0, 1, 2, 1, 4, 4, 4, 4 }; /* added */
|
|
|
|
static const int dec64table[] = { 8, 8, 8, 7, 8, 9,10,11 }; /* substracted */
|
2015-11-11 12:43:58 +00:00
|
|
|
BYTE* const oLitEnd = op + sequence.litLength;
|
2015-11-19 16:13:19 +00:00
|
|
|
const size_t sequenceLength = sequence.litLength + sequence.matchLength;
|
|
|
|
BYTE* const oMatchEnd = op + sequenceLength; /* risk : address space overflow (32-bits) */
|
2015-11-11 12:43:58 +00:00
|
|
|
BYTE* const oend_8 = oend-8;
|
|
|
|
const BYTE* const litEnd = *litPtr + sequence.litLength;
|
2015-11-19 16:13:19 +00:00
|
|
|
const BYTE* match = oLitEnd - sequence.offset;
|
2015-11-11 12:43:58 +00:00
|
|
|
|
|
|
|
/* check */
|
|
|
|
if (oLitEnd > oend_8) return ERROR(dstSize_tooSmall); /* last match must start at a minimum distance of 8 from oend */
|
|
|
|
if (oMatchEnd > oend) return ERROR(dstSize_tooSmall); /* overwrite beyond dst buffer */
|
|
|
|
if (litEnd > litLimit_8) return ERROR(corruption_detected); /* risk read beyond lit buffer */
|
|
|
|
|
|
|
|
/* copy Literals */
|
|
|
|
ZSTD_wildcopy(op, *litPtr, sequence.litLength); /* note : oLitEnd <= oend-8 : no risk of overwrite beyond oend */
|
|
|
|
op = oLitEnd;
|
|
|
|
*litPtr = litEnd; /* update for next sequence */
|
|
|
|
|
|
|
|
/* copy Match */
|
2016-01-26 14:58:49 +00:00
|
|
|
if (sequence.offset > (size_t)(oLitEnd - base)) {
|
2015-11-30 22:13:56 +00:00
|
|
|
/* offset beyond prefix */
|
2015-12-10 23:27:41 +00:00
|
|
|
if (sequence.offset > (size_t)(oLitEnd - vBase))
|
|
|
|
return ERROR(corruption_detected);
|
2015-11-30 22:13:56 +00:00
|
|
|
match = dictEnd - (base-match);
|
2016-01-26 14:58:49 +00:00
|
|
|
if (match + sequence.matchLength <= dictEnd) {
|
2015-12-06 12:18:37 +00:00
|
|
|
memmove(oLitEnd, match, sequence.matchLength);
|
2015-11-30 22:13:56 +00:00
|
|
|
return sequenceLength;
|
|
|
|
}
|
|
|
|
/* span extDict & currentPrefixSegment */
|
2016-03-19 11:12:07 +00:00
|
|
|
{ size_t const length1 = dictEnd - match;
|
2015-12-06 12:18:37 +00:00
|
|
|
memmove(oLitEnd, match, length1);
|
2015-11-30 22:13:56 +00:00
|
|
|
op = oLitEnd + length1;
|
|
|
|
sequence.matchLength -= length1;
|
|
|
|
match = base;
|
2016-01-27 23:18:06 +00:00
|
|
|
} }
|
2015-11-30 22:13:56 +00:00
|
|
|
|
|
|
|
/* match within prefix */
|
2016-01-26 14:58:49 +00:00
|
|
|
if (sequence.offset < 8) {
|
2015-11-30 22:13:56 +00:00
|
|
|
/* close range match, overlap */
|
|
|
|
const int sub2 = dec64table[sequence.offset];
|
|
|
|
op[0] = match[0];
|
|
|
|
op[1] = match[1];
|
|
|
|
op[2] = match[2];
|
|
|
|
op[3] = match[3];
|
|
|
|
match += dec32table[sequence.offset];
|
|
|
|
ZSTD_copy4(op+4, match);
|
|
|
|
match -= sub2;
|
2016-01-27 23:18:06 +00:00
|
|
|
} else {
|
2015-11-30 22:13:56 +00:00
|
|
|
ZSTD_copy8(op, match);
|
|
|
|
}
|
|
|
|
op += 8; match += 8;
|
|
|
|
|
2016-03-01 13:14:35 +00:00
|
|
|
if (oMatchEnd > oend-(16-3)) { // 3 = MINMATCH
|
2016-01-26 14:58:49 +00:00
|
|
|
if (op < oend_8) {
|
2015-11-30 22:13:56 +00:00
|
|
|
ZSTD_wildcopy(op, match, oend_8 - op);
|
|
|
|
match += oend_8 - op;
|
|
|
|
op = oend_8;
|
|
|
|
}
|
2016-03-19 13:14:31 +00:00
|
|
|
while (op < oMatchEnd) *op++ = *match++;
|
2016-01-27 23:18:06 +00:00
|
|
|
} else {
|
2015-11-30 22:13:56 +00:00
|
|
|
ZSTD_wildcopy(op, match, sequence.matchLength-8); /* works even if matchLength < 8 */
|
|
|
|
}
|
|
|
|
return sequenceLength;
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
|
|
|
|
2015-11-19 16:13:19 +00:00
|
|
|
|
2015-11-11 12:43:58 +00:00
|
|
|
static size_t ZSTD_decompressSequences(
|
2015-11-12 14:36:05 +00:00
|
|
|
ZSTD_DCtx* dctx,
|
2015-11-11 12:43:58 +00:00
|
|
|
void* dst, size_t maxDstSize,
|
|
|
|
const void* seqStart, size_t seqSize)
|
|
|
|
{
|
|
|
|
const BYTE* ip = (const BYTE*)seqStart;
|
|
|
|
const BYTE* const iend = ip + seqSize;
|
|
|
|
BYTE* const ostart = (BYTE* const)dst;
|
|
|
|
BYTE* op = ostart;
|
|
|
|
BYTE* const oend = ostart + maxDstSize;
|
|
|
|
size_t errorCode, dumpsLength;
|
|
|
|
const BYTE* litPtr = dctx->litPtr;
|
|
|
|
const BYTE* const litLimit_8 = litPtr + dctx->litBufSize - 8;
|
|
|
|
const BYTE* const litEnd = litPtr + dctx->litSize;
|
|
|
|
int nbSeq;
|
|
|
|
const BYTE* dumps;
|
|
|
|
U32* DTableLL = dctx->LLTable;
|
|
|
|
U32* DTableML = dctx->MLTable;
|
|
|
|
U32* DTableOffb = dctx->OffTable;
|
2015-12-04 16:16:37 +00:00
|
|
|
const BYTE* const base = (const BYTE*) (dctx->base);
|
|
|
|
const BYTE* const vBase = (const BYTE*) (dctx->vBase);
|
|
|
|
const BYTE* const dictEnd = (const BYTE*) (dctx->dictEnd);
|
2016-03-11 20:58:04 +00:00
|
|
|
const U32 mls = dctx->fParams.mml;
|
2015-11-11 12:43:58 +00:00
|
|
|
|
|
|
|
/* Build Decoding Tables */
|
|
|
|
errorCode = ZSTD_decodeSeqHeaders(&nbSeq, &dumps, &dumpsLength,
|
|
|
|
DTableLL, DTableML, DTableOffb,
|
2016-01-27 23:18:06 +00:00
|
|
|
ip, seqSize);
|
2015-11-11 12:43:58 +00:00
|
|
|
if (ZSTD_isError(errorCode)) return errorCode;
|
|
|
|
ip += errorCode;
|
|
|
|
|
|
|
|
/* Regen sequences */
|
2016-01-30 23:58:06 +00:00
|
|
|
if (nbSeq) {
|
2015-11-11 12:43:58 +00:00
|
|
|
seq_t sequence;
|
|
|
|
seqState_t seqState;
|
|
|
|
|
|
|
|
memset(&sequence, 0, sizeof(sequence));
|
2016-01-31 01:04:15 +00:00
|
|
|
sequence.offset = REPCODE_STARTVALUE;
|
2015-11-11 12:43:58 +00:00
|
|
|
seqState.dumps = dumps;
|
|
|
|
seqState.dumpsEnd = dumps + dumpsLength;
|
2016-01-31 01:04:15 +00:00
|
|
|
seqState.prevOffset = REPCODE_STARTVALUE;
|
2015-11-11 12:43:58 +00:00
|
|
|
errorCode = BIT_initDStream(&(seqState.DStream), ip, iend-ip);
|
|
|
|
if (ERR_isError(errorCode)) return ERROR(corruption_detected);
|
|
|
|
FSE_initDState(&(seqState.stateLL), &(seqState.DStream), DTableLL);
|
|
|
|
FSE_initDState(&(seqState.stateOffb), &(seqState.DStream), DTableOffb);
|
|
|
|
FSE_initDState(&(seqState.stateML), &(seqState.DStream), DTableML);
|
|
|
|
|
2016-01-26 14:58:49 +00:00
|
|
|
for ( ; (BIT_reloadDStream(&(seqState.DStream)) <= BIT_DStream_completed) && nbSeq ; ) {
|
2015-11-19 16:13:19 +00:00
|
|
|
size_t oneSeqSize;
|
|
|
|
nbSeq--;
|
2016-02-22 14:53:42 +00:00
|
|
|
ZSTD_decodeSequence(&sequence, &seqState, mls);
|
2015-11-19 16:13:19 +00:00
|
|
|
oneSeqSize = ZSTD_execSequence(op, oend, sequence, &litPtr, litLimit_8, base, vBase, dictEnd);
|
2016-03-07 23:03:59 +00:00
|
|
|
if (ZSTD_isError(oneSeqSize))
|
|
|
|
return oneSeqSize;
|
2015-11-19 16:13:19 +00:00
|
|
|
op += oneSeqSize;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* check if reached exact end */
|
2016-01-31 01:51:03 +00:00
|
|
|
if (nbSeq) return ERROR(corruption_detected);
|
2016-01-30 23:58:06 +00:00
|
|
|
}
|
2015-11-19 16:13:19 +00:00
|
|
|
|
2016-01-30 23:58:06 +00:00
|
|
|
/* last literal segment */
|
2016-03-19 13:14:31 +00:00
|
|
|
{ size_t const lastLLSize = litEnd - litPtr;
|
2016-01-30 23:58:06 +00:00
|
|
|
if (litPtr > litEnd) return ERROR(corruption_detected); /* too many literals already used */
|
|
|
|
if (op+lastLLSize > oend) return ERROR(dstSize_tooSmall);
|
|
|
|
memcpy(op, litPtr, lastLLSize);
|
|
|
|
op += lastLLSize;
|
|
|
|
}
|
2015-11-11 12:43:58 +00:00
|
|
|
|
|
|
|
return op-ostart;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-01-09 01:00:10 +00:00
|
|
|
static void ZSTD_checkContinuity(ZSTD_DCtx* dctx, const void* dst)
|
|
|
|
{
|
2016-01-26 14:58:49 +00:00
|
|
|
if (dst != dctx->previousDstEnd) { /* not contiguous */
|
2016-01-09 01:00:10 +00:00
|
|
|
dctx->dictEnd = dctx->previousDstEnd;
|
|
|
|
dctx->vBase = (const char*)dst - ((const char*)(dctx->previousDstEnd) - (const char*)(dctx->base));
|
|
|
|
dctx->base = dst;
|
|
|
|
dctx->previousDstEnd = dst;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static size_t ZSTD_decompressBlock_internal(ZSTD_DCtx* dctx,
|
2016-02-03 11:39:34 +00:00
|
|
|
void* dst, size_t dstCapacity,
|
2015-11-11 12:43:58 +00:00
|
|
|
const void* src, size_t srcSize)
|
2016-02-03 11:39:34 +00:00
|
|
|
{ /* blockType == blockCompressed */
|
2015-11-11 12:43:58 +00:00
|
|
|
const BYTE* ip = (const BYTE*)src;
|
2016-02-03 11:39:34 +00:00
|
|
|
size_t litCSize;
|
|
|
|
|
2016-03-16 14:26:51 +00:00
|
|
|
if (srcSize >= ZSTD_BLOCKSIZE_MAX) return ERROR(srcSize_wrong);
|
2015-11-11 12:43:58 +00:00
|
|
|
|
2016-03-01 13:14:35 +00:00
|
|
|
ZSTD_LOG_BLOCK("%p: ZSTD_decompressBlock_internal searchLength=%d\n", dctx->base, dctx->params.searchLength);
|
|
|
|
|
2015-11-11 12:43:58 +00:00
|
|
|
/* Decode literals sub-block */
|
2016-02-03 11:39:34 +00:00
|
|
|
litCSize = ZSTD_decodeLiteralsBlock(dctx, src, srcSize);
|
2015-11-11 12:43:58 +00:00
|
|
|
if (ZSTD_isError(litCSize)) return litCSize;
|
|
|
|
ip += litCSize;
|
|
|
|
srcSize -= litCSize;
|
|
|
|
|
2016-02-03 11:39:34 +00:00
|
|
|
return ZSTD_decompressSequences(dctx, dst, dstCapacity, ip, srcSize);
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-01-09 01:00:10 +00:00
|
|
|
size_t ZSTD_decompressBlock(ZSTD_DCtx* dctx,
|
2016-02-03 11:39:34 +00:00
|
|
|
void* dst, size_t dstCapacity,
|
2016-01-09 01:00:10 +00:00
|
|
|
const void* src, size_t srcSize)
|
|
|
|
{
|
|
|
|
ZSTD_checkContinuity(dctx, dst);
|
2016-02-03 11:39:34 +00:00
|
|
|
return ZSTD_decompressBlock_internal(dctx, dst, dstCapacity, src, srcSize);
|
2016-01-09 01:00:10 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-03-11 20:58:04 +00:00
|
|
|
/*! ZSTD_decompress_continueDCtx() :
|
|
|
|
* `dctx` must have been properly initialized */
|
|
|
|
static size_t ZSTD_decompressFrame(ZSTD_DCtx* dctx,
|
2016-03-19 13:14:31 +00:00
|
|
|
void* dst, size_t dstCapacity,
|
2016-01-26 14:58:49 +00:00
|
|
|
const void* src, size_t srcSize)
|
2015-11-11 12:43:58 +00:00
|
|
|
{
|
|
|
|
const BYTE* ip = (const BYTE*)src;
|
|
|
|
const BYTE* iend = ip + srcSize;
|
|
|
|
BYTE* const ostart = (BYTE* const)dst;
|
|
|
|
BYTE* op = ostart;
|
2016-03-19 13:14:31 +00:00
|
|
|
BYTE* const oend = ostart + dstCapacity;
|
2015-11-11 12:43:58 +00:00
|
|
|
size_t remainingSize = srcSize;
|
|
|
|
blockProperties_t blockProperties;
|
|
|
|
|
2016-03-19 13:14:31 +00:00
|
|
|
/* check */
|
|
|
|
if (srcSize < ZSTD_frameHeaderSize_min+ZSTD_blockHeaderSize) return ERROR(srcSize_wrong);
|
2015-11-11 12:43:58 +00:00
|
|
|
#if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT==1)
|
2016-03-19 13:14:31 +00:00
|
|
|
{ const U32 magicNumber = MEM_readLE32(src);
|
|
|
|
if (ZSTD_isLegacy(magicNumber))
|
|
|
|
return ZSTD_decompressLegacy(dst, dstCapacity, src, srcSize, magicNumber);
|
|
|
|
}
|
2015-11-11 12:43:58 +00:00
|
|
|
#endif
|
2016-03-19 13:14:31 +00:00
|
|
|
|
|
|
|
/* Frame Header */
|
|
|
|
{ size_t const frameHeaderSize = ZSTD_frameHeaderSize(src, ZSTD_frameHeaderSize_min);
|
2015-11-25 13:42:45 +00:00
|
|
|
if (ZSTD_isError(frameHeaderSize)) return frameHeaderSize;
|
|
|
|
if (srcSize < frameHeaderSize+ZSTD_blockHeaderSize) return ERROR(srcSize_wrong);
|
2016-03-19 13:14:31 +00:00
|
|
|
if (ZSTD_decodeFrameHeader(dctx, src, frameHeaderSize)) return ERROR(corruption_detected);
|
2015-11-25 13:42:45 +00:00
|
|
|
ip += frameHeaderSize; remainingSize -= frameHeaderSize;
|
|
|
|
}
|
2015-11-11 12:43:58 +00:00
|
|
|
|
|
|
|
/* Loop on each block */
|
2016-03-19 13:14:31 +00:00
|
|
|
while (1) {
|
2015-11-11 12:43:58 +00:00
|
|
|
size_t decodedSize=0;
|
|
|
|
size_t cBlockSize = ZSTD_getcBlockSize(ip, iend-ip, &blockProperties);
|
|
|
|
if (ZSTD_isError(cBlockSize)) return cBlockSize;
|
|
|
|
|
|
|
|
ip += ZSTD_blockHeaderSize;
|
|
|
|
remainingSize -= ZSTD_blockHeaderSize;
|
|
|
|
if (cBlockSize > remainingSize) return ERROR(srcSize_wrong);
|
|
|
|
|
|
|
|
switch(blockProperties.blockType)
|
|
|
|
{
|
|
|
|
case bt_compressed:
|
2016-01-25 15:54:05 +00:00
|
|
|
decodedSize = ZSTD_decompressBlock_internal(dctx, op, oend-op, ip, cBlockSize);
|
2015-11-11 12:43:58 +00:00
|
|
|
break;
|
|
|
|
case bt_raw :
|
2015-11-12 15:19:30 +00:00
|
|
|
decodedSize = ZSTD_copyRawBlock(op, oend-op, ip, cBlockSize);
|
2015-11-11 12:43:58 +00:00
|
|
|
break;
|
|
|
|
case bt_rle :
|
|
|
|
return ERROR(GENERIC); /* not yet supported */
|
|
|
|
break;
|
|
|
|
case bt_end :
|
|
|
|
/* end of frame */
|
|
|
|
if (remainingSize) return ERROR(srcSize_wrong);
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
return ERROR(GENERIC); /* impossible */
|
|
|
|
}
|
|
|
|
if (cBlockSize == 0) break; /* bt_end */
|
|
|
|
|
|
|
|
if (ZSTD_isError(decodedSize)) return decodedSize;
|
|
|
|
op += decodedSize;
|
|
|
|
ip += cBlockSize;
|
|
|
|
remainingSize -= cBlockSize;
|
|
|
|
}
|
|
|
|
|
|
|
|
return op-ostart;
|
|
|
|
}
|
|
|
|
|
2015-12-18 00:26:48 +00:00
|
|
|
|
2016-01-26 14:58:49 +00:00
|
|
|
size_t ZSTD_decompress_usingPreparedDCtx(ZSTD_DCtx* dctx, const ZSTD_DCtx* refDCtx,
|
2016-03-19 13:14:31 +00:00
|
|
|
void* dst, size_t dstCapacity,
|
2016-01-26 14:58:49 +00:00
|
|
|
const void* src, size_t srcSize)
|
|
|
|
{
|
|
|
|
ZSTD_copyDCtx(dctx, refDCtx);
|
|
|
|
ZSTD_checkContinuity(dctx, dst);
|
2016-03-19 13:14:31 +00:00
|
|
|
return ZSTD_decompressFrame(dctx, dst, dstCapacity, src, srcSize);
|
2016-01-26 14:58:49 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
size_t ZSTD_decompress_usingDict(ZSTD_DCtx* dctx,
|
2016-03-19 13:14:31 +00:00
|
|
|
void* dst, size_t dstCapacity,
|
2016-01-26 14:58:49 +00:00
|
|
|
const void* src, size_t srcSize,
|
|
|
|
const void* dict, size_t dictSize)
|
|
|
|
{
|
|
|
|
ZSTD_decompressBegin_usingDict(dctx, dict, dictSize);
|
2016-03-01 13:14:35 +00:00
|
|
|
ZSTD_LOG_BLOCK("%p: ZSTD_decompressBegin_usingDict searchLength=%d\n", dctx->base, dctx->params.searchLength);
|
2016-01-26 14:58:49 +00:00
|
|
|
ZSTD_checkContinuity(dctx, dst);
|
2016-03-19 13:14:31 +00:00
|
|
|
return ZSTD_decompressFrame(dctx, dst, dstCapacity, src, srcSize);
|
2016-01-26 14:58:49 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-03-19 13:14:31 +00:00
|
|
|
size_t ZSTD_decompressDCtx(ZSTD_DCtx* dctx, void* dst, size_t dstCapacity, const void* src, size_t srcSize)
|
2015-12-18 00:26:48 +00:00
|
|
|
{
|
2016-03-19 13:14:31 +00:00
|
|
|
return ZSTD_decompress_usingDict(dctx, dst, dstCapacity, src, srcSize, NULL, 0);
|
2015-12-18 00:26:48 +00:00
|
|
|
}
|
|
|
|
|
2016-03-11 20:58:04 +00:00
|
|
|
|
2016-03-19 13:14:31 +00:00
|
|
|
size_t ZSTD_decompress(void* dst, size_t dstCapacity, const void* src, size_t srcSize)
|
2015-11-11 12:43:58 +00:00
|
|
|
{
|
2016-01-11 11:56:11 +00:00
|
|
|
#if defined(ZSTD_HEAPMODE) && (ZSTD_HEAPMODE==1)
|
|
|
|
size_t regenSize;
|
|
|
|
ZSTD_DCtx* dctx = ZSTD_createDCtx();
|
|
|
|
if (dctx==NULL) return ERROR(memory_allocation);
|
2016-03-19 13:14:31 +00:00
|
|
|
regenSize = ZSTD_decompressDCtx(dctx, dst, dstCapacity, src, srcSize);
|
2016-01-11 11:56:11 +00:00
|
|
|
ZSTD_freeDCtx(dctx);
|
|
|
|
return regenSize;
|
|
|
|
#else
|
2015-12-18 00:26:48 +00:00
|
|
|
ZSTD_DCtx dctx;
|
2016-03-19 13:14:31 +00:00
|
|
|
return ZSTD_decompressDCtx(&dctx, dst, dstCapacity, src, srcSize);
|
2016-01-21 15:04:35 +00:00
|
|
|
#endif
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-03-15 14:24:52 +00:00
|
|
|
/*_******************************
|
2015-11-11 12:43:58 +00:00
|
|
|
* Streaming Decompression API
|
|
|
|
********************************/
|
|
|
|
size_t ZSTD_nextSrcSizeToDecompress(ZSTD_DCtx* dctx)
|
|
|
|
{
|
|
|
|
return dctx->expected;
|
|
|
|
}
|
|
|
|
|
2016-01-25 15:54:05 +00:00
|
|
|
size_t ZSTD_decompressContinue(ZSTD_DCtx* dctx, void* dst, size_t maxDstSize, const void* src, size_t srcSize)
|
2015-11-11 12:43:58 +00:00
|
|
|
{
|
|
|
|
/* Sanity check */
|
2016-01-25 15:54:05 +00:00
|
|
|
if (srcSize != dctx->expected) return ERROR(srcSize_wrong);
|
|
|
|
ZSTD_checkContinuity(dctx, dst);
|
2015-11-11 12:43:58 +00:00
|
|
|
|
2015-11-25 13:42:45 +00:00
|
|
|
/* Decompress : frame header; part 1 */
|
2016-01-25 15:54:05 +00:00
|
|
|
switch (dctx->stage)
|
2015-11-11 12:43:58 +00:00
|
|
|
{
|
2015-11-25 13:42:45 +00:00
|
|
|
case ZSTDds_getFrameHeaderSize :
|
2015-11-11 12:43:58 +00:00
|
|
|
{
|
2015-11-25 13:42:45 +00:00
|
|
|
/* get frame header size */
|
|
|
|
if (srcSize != ZSTD_frameHeaderSize_min) return ERROR(srcSize_wrong); /* impossible */
|
2016-03-12 00:25:40 +00:00
|
|
|
dctx->headerSize = ZSTD_frameHeaderSize(src, ZSTD_frameHeaderSize_min);
|
2016-01-25 15:54:05 +00:00
|
|
|
if (ZSTD_isError(dctx->headerSize)) return dctx->headerSize;
|
|
|
|
memcpy(dctx->headerBuffer, src, ZSTD_frameHeaderSize_min);
|
2016-01-26 14:58:49 +00:00
|
|
|
if (dctx->headerSize > ZSTD_frameHeaderSize_min) {
|
2016-01-25 15:54:05 +00:00
|
|
|
dctx->expected = dctx->headerSize - ZSTD_frameHeaderSize_min;
|
|
|
|
dctx->stage = ZSTDds_decodeFrameHeader;
|
2015-11-25 13:42:45 +00:00
|
|
|
return 0;
|
|
|
|
}
|
2016-01-25 15:54:05 +00:00
|
|
|
dctx->expected = 0; /* not necessary to copy more */
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
2015-11-25 13:42:45 +00:00
|
|
|
case ZSTDds_decodeFrameHeader:
|
2015-11-11 12:43:58 +00:00
|
|
|
{
|
2015-11-25 13:42:45 +00:00
|
|
|
/* get frame header */
|
|
|
|
size_t result;
|
2016-01-25 15:54:05 +00:00
|
|
|
memcpy(dctx->headerBuffer + ZSTD_frameHeaderSize_min, src, dctx->expected);
|
2016-03-12 00:25:40 +00:00
|
|
|
result = ZSTD_decodeFrameHeader(dctx, dctx->headerBuffer, dctx->headerSize);
|
2015-11-25 13:42:45 +00:00
|
|
|
if (ZSTD_isError(result)) return result;
|
2016-01-25 15:54:05 +00:00
|
|
|
dctx->expected = ZSTD_blockHeaderSize;
|
|
|
|
dctx->stage = ZSTDds_decodeBlockHeader;
|
2015-11-25 13:42:45 +00:00
|
|
|
return 0;
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
2015-11-25 13:42:45 +00:00
|
|
|
case ZSTDds_decodeBlockHeader:
|
|
|
|
{
|
|
|
|
/* Decode block header */
|
|
|
|
blockProperties_t bp;
|
|
|
|
size_t blockSize = ZSTD_getcBlockSize(src, ZSTD_blockHeaderSize, &bp);
|
|
|
|
if (ZSTD_isError(blockSize)) return blockSize;
|
2016-01-26 14:58:49 +00:00
|
|
|
if (bp.blockType == bt_end) {
|
2016-01-25 15:54:05 +00:00
|
|
|
dctx->expected = 0;
|
|
|
|
dctx->stage = ZSTDds_getFrameHeaderSize;
|
2015-11-25 13:42:45 +00:00
|
|
|
}
|
2016-01-26 14:58:49 +00:00
|
|
|
else {
|
2016-01-25 15:54:05 +00:00
|
|
|
dctx->expected = blockSize;
|
|
|
|
dctx->bType = bp.blockType;
|
|
|
|
dctx->stage = ZSTDds_decompressBlock;
|
2015-11-25 13:42:45 +00:00
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
2015-12-04 16:16:37 +00:00
|
|
|
case ZSTDds_decompressBlock:
|
2015-11-11 12:43:58 +00:00
|
|
|
{
|
2015-11-25 13:42:45 +00:00
|
|
|
/* Decompress : block content */
|
|
|
|
size_t rSize;
|
2016-01-25 15:54:05 +00:00
|
|
|
switch(dctx->bType)
|
2015-11-25 13:42:45 +00:00
|
|
|
{
|
|
|
|
case bt_compressed:
|
2016-01-25 15:54:05 +00:00
|
|
|
rSize = ZSTD_decompressBlock_internal(dctx, dst, maxDstSize, src, srcSize);
|
2015-11-25 13:42:45 +00:00
|
|
|
break;
|
|
|
|
case bt_raw :
|
|
|
|
rSize = ZSTD_copyRawBlock(dst, maxDstSize, src, srcSize);
|
|
|
|
break;
|
|
|
|
case bt_rle :
|
|
|
|
return ERROR(GENERIC); /* not yet handled */
|
|
|
|
break;
|
|
|
|
case bt_end : /* should never happen (filtered at phase 1) */
|
|
|
|
rSize = 0;
|
|
|
|
break;
|
|
|
|
default:
|
2016-01-26 14:58:49 +00:00
|
|
|
return ERROR(GENERIC); /* impossible */
|
2015-11-25 13:42:45 +00:00
|
|
|
}
|
2016-01-25 15:54:05 +00:00
|
|
|
dctx->stage = ZSTDds_decodeBlockHeader;
|
|
|
|
dctx->expected = ZSTD_blockHeaderSize;
|
|
|
|
dctx->previousDstEnd = (char*)dst + rSize;
|
2015-11-25 13:42:45 +00:00
|
|
|
return rSize;
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
2015-11-25 13:42:45 +00:00
|
|
|
default:
|
|
|
|
return ERROR(GENERIC); /* impossible */
|
2015-11-11 12:43:58 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-01-26 02:14:20 +00:00
|
|
|
static void ZSTD_refDictContent(ZSTD_DCtx* dctx, const void* dict, size_t dictSize)
|
2015-12-04 16:16:37 +00:00
|
|
|
{
|
2016-01-25 15:54:05 +00:00
|
|
|
dctx->dictEnd = dctx->previousDstEnd;
|
|
|
|
dctx->vBase = (const char*)dict - ((const char*)(dctx->previousDstEnd) - (const char*)(dctx->base));
|
|
|
|
dctx->base = dict;
|
|
|
|
dctx->previousDstEnd = (const char*)dict + dictSize;
|
2015-12-04 16:16:37 +00:00
|
|
|
}
|
2016-01-26 02:14:20 +00:00
|
|
|
|
|
|
|
static size_t ZSTD_loadEntropy(ZSTD_DCtx* dctx, const void* dict, size_t dictSize)
|
|
|
|
{
|
2016-01-27 23:18:06 +00:00
|
|
|
size_t hSize, offcodeHeaderSize, matchlengthHeaderSize, errorCode, litlengthHeaderSize;
|
|
|
|
short offcodeNCount[MaxOff+1];
|
|
|
|
U32 offcodeMaxValue=MaxOff, offcodeLog=OffFSELog;
|
|
|
|
short matchlengthNCount[MaxML+1];
|
|
|
|
unsigned matchlengthMaxValue = MaxML, matchlengthLog = MLFSELog;
|
|
|
|
short litlengthNCount[MaxLL+1];
|
|
|
|
unsigned litlengthMaxValue = MaxLL, litlengthLog = LLFSELog;
|
|
|
|
|
|
|
|
hSize = HUF_readDTableX4(dctx->hufTableX4, dict, dictSize);
|
2016-01-26 02:14:20 +00:00
|
|
|
if (HUF_isError(hSize)) return ERROR(dictionary_corrupted);
|
2016-01-27 23:18:06 +00:00
|
|
|
dict = (const char*)dict + hSize;
|
|
|
|
dictSize -= hSize;
|
|
|
|
|
|
|
|
offcodeHeaderSize = FSE_readNCount(offcodeNCount, &offcodeMaxValue, &offcodeLog, dict, dictSize);
|
|
|
|
if (FSE_isError(offcodeHeaderSize)) return ERROR(dictionary_corrupted);
|
|
|
|
errorCode = FSE_buildDTable(dctx->OffTable, offcodeNCount, offcodeMaxValue, offcodeLog);
|
|
|
|
if (FSE_isError(errorCode)) return ERROR(dictionary_corrupted);
|
|
|
|
dict = (const char*)dict + offcodeHeaderSize;
|
|
|
|
dictSize -= offcodeHeaderSize;
|
|
|
|
|
|
|
|
matchlengthHeaderSize = FSE_readNCount(matchlengthNCount, &matchlengthMaxValue, &matchlengthLog, dict, dictSize);
|
|
|
|
if (FSE_isError(matchlengthHeaderSize)) return ERROR(dictionary_corrupted);
|
|
|
|
errorCode = FSE_buildDTable(dctx->MLTable, matchlengthNCount, matchlengthMaxValue, matchlengthLog);
|
|
|
|
if (FSE_isError(errorCode)) return ERROR(dictionary_corrupted);
|
|
|
|
dict = (const char*)dict + matchlengthHeaderSize;
|
|
|
|
dictSize -= matchlengthHeaderSize;
|
|
|
|
|
|
|
|
litlengthHeaderSize = FSE_readNCount(litlengthNCount, &litlengthMaxValue, &litlengthLog, dict, dictSize);
|
|
|
|
if (FSE_isError(litlengthHeaderSize)) return ERROR(dictionary_corrupted);
|
|
|
|
errorCode = FSE_buildDTable(dctx->LLTable, litlengthNCount, litlengthMaxValue, litlengthLog);
|
|
|
|
if (FSE_isError(errorCode)) return ERROR(dictionary_corrupted);
|
|
|
|
|
|
|
|
dctx->flagStaticTables = 1;
|
|
|
|
return hSize + offcodeHeaderSize + matchlengthHeaderSize + litlengthHeaderSize;
|
2016-01-26 02:14:20 +00:00
|
|
|
}
|
|
|
|
|
2016-01-26 14:58:49 +00:00
|
|
|
static size_t ZSTD_decompress_insertDictionary(ZSTD_DCtx* dctx, const void* dict, size_t dictSize)
|
2016-01-26 02:14:20 +00:00
|
|
|
{
|
|
|
|
size_t eSize;
|
|
|
|
U32 magic = MEM_readLE32(dict);
|
|
|
|
if (magic != ZSTD_DICT_MAGIC) {
|
|
|
|
/* pure content mode */
|
|
|
|
ZSTD_refDictContent(dctx, dict, dictSize);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
/* load entropy tables */
|
|
|
|
dict = (const char*)dict + 4;
|
|
|
|
dictSize -= 4;
|
|
|
|
eSize = ZSTD_loadEntropy(dctx, dict, dictSize);
|
|
|
|
if (ZSTD_isError(eSize)) return ERROR(dictionary_corrupted);
|
|
|
|
|
|
|
|
/* reference dictionary content */
|
|
|
|
dict = (const char*)dict + eSize;
|
|
|
|
dictSize -= eSize;
|
|
|
|
ZSTD_refDictContent(dctx, dict, dictSize);
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2016-01-26 14:58:49 +00:00
|
|
|
|
|
|
|
size_t ZSTD_decompressBegin_usingDict(ZSTD_DCtx* dctx, const void* dict, size_t dictSize)
|
|
|
|
{
|
|
|
|
size_t errorCode;
|
|
|
|
errorCode = ZSTD_decompressBegin(dctx);
|
|
|
|
if (ZSTD_isError(errorCode)) return errorCode;
|
|
|
|
|
|
|
|
if (dict && dictSize) {
|
|
|
|
errorCode = ZSTD_decompress_insertDictionary(dctx, dict, dictSize);
|
|
|
|
if (ZSTD_isError(errorCode)) return ERROR(dictionary_corrupted);
|
|
|
|
}
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|