xref: /freebsd/sys/contrib/openzfs/module/zstd/lib/decompress/zstd_decompress.c (revision 61145dc2b94f12f6a47344fb9aac702321880e43)
1*61145dc2SMartin Matuska // SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0-only
2c03c5b1cSMartin Matuska /*
3c03c5b1cSMartin Matuska  * Copyright (c) 2016-2020, Yann Collet, Facebook, Inc.
4c03c5b1cSMartin Matuska  * All rights reserved.
5c03c5b1cSMartin Matuska  *
6c03c5b1cSMartin Matuska  * This source code is licensed under both the BSD-style license (found in the
7c03c5b1cSMartin Matuska  * LICENSE file in the root directory of this source tree) and the GPLv2 (found
8c03c5b1cSMartin Matuska  * in the COPYING file in the root directory of this source tree).
9c03c5b1cSMartin Matuska  * You may select, at your option, one of the above-listed licenses.
10c03c5b1cSMartin Matuska  */
11c03c5b1cSMartin Matuska 
12c03c5b1cSMartin Matuska 
13c03c5b1cSMartin Matuska /* ***************************************************************
14c03c5b1cSMartin Matuska *  Tuning parameters
15c03c5b1cSMartin Matuska *****************************************************************/
16c03c5b1cSMartin Matuska /*!
17c03c5b1cSMartin Matuska  * HEAPMODE :
18c03c5b1cSMartin Matuska  * Select how default decompression function ZSTD_decompress() allocates its context,
19c03c5b1cSMartin Matuska  * on stack (0), or into heap (1, default; requires malloc()).
20c03c5b1cSMartin Matuska  * Note that functions with explicit context such as ZSTD_decompressDCtx() are unaffected.
21c03c5b1cSMartin Matuska  */
22c03c5b1cSMartin Matuska #ifndef ZSTD_HEAPMODE
23c03c5b1cSMartin Matuska #  define ZSTD_HEAPMODE 1
24c03c5b1cSMartin Matuska #endif
25c03c5b1cSMartin Matuska 
26c03c5b1cSMartin Matuska /*!
27c03c5b1cSMartin Matuska *  LEGACY_SUPPORT :
28c03c5b1cSMartin Matuska *  if set to 1+, ZSTD_decompress() can decode older formats (v0.1+)
29c03c5b1cSMartin Matuska */
30c03c5b1cSMartin Matuska #ifndef ZSTD_LEGACY_SUPPORT
31c03c5b1cSMartin Matuska #  define ZSTD_LEGACY_SUPPORT 0
32c03c5b1cSMartin Matuska #endif
33c03c5b1cSMartin Matuska 
34c03c5b1cSMartin Matuska /*!
35c03c5b1cSMartin Matuska  *  MAXWINDOWSIZE_DEFAULT :
36c03c5b1cSMartin Matuska  *  maximum window size accepted by DStream __by default__.
37c03c5b1cSMartin Matuska  *  Frames requiring more memory will be rejected.
38c03c5b1cSMartin Matuska  *  It's possible to set a different limit using ZSTD_DCtx_setMaxWindowSize().
39c03c5b1cSMartin Matuska  */
40c03c5b1cSMartin Matuska #ifndef ZSTD_MAXWINDOWSIZE_DEFAULT
41c03c5b1cSMartin Matuska #  define ZSTD_MAXWINDOWSIZE_DEFAULT (((U32)1 << ZSTD_WINDOWLOG_LIMIT_DEFAULT) + 1)
42c03c5b1cSMartin Matuska #endif
43c03c5b1cSMartin Matuska 
44c03c5b1cSMartin Matuska /*!
45c03c5b1cSMartin Matuska  *  NO_FORWARD_PROGRESS_MAX :
46c03c5b1cSMartin Matuska  *  maximum allowed nb of calls to ZSTD_decompressStream()
47c03c5b1cSMartin Matuska  *  without any forward progress
48c03c5b1cSMartin Matuska  *  (defined as: no byte read from input, and no byte flushed to output)
49c03c5b1cSMartin Matuska  *  before triggering an error.
50c03c5b1cSMartin Matuska  */
51c03c5b1cSMartin Matuska #ifndef ZSTD_NO_FORWARD_PROGRESS_MAX
52c03c5b1cSMartin Matuska #  define ZSTD_NO_FORWARD_PROGRESS_MAX 16
53c03c5b1cSMartin Matuska #endif
54c03c5b1cSMartin Matuska 
55c03c5b1cSMartin Matuska 
56c03c5b1cSMartin Matuska /*-*******************************************************
57c03c5b1cSMartin Matuska *  Dependencies
58c03c5b1cSMartin Matuska *********************************************************/
59c03c5b1cSMartin Matuska #include <string.h>      /* memcpy, memmove, memset */
60c03c5b1cSMartin Matuska #include "../common/cpu.h"         /* bmi2 */
61c03c5b1cSMartin Matuska #include "../common/mem.h"         /* low level memory routines */
62c03c5b1cSMartin Matuska #define FSE_STATIC_LINKING_ONLY
63c03c5b1cSMartin Matuska #include "../common/fse.h"
64c03c5b1cSMartin Matuska #define HUF_STATIC_LINKING_ONLY
65c03c5b1cSMartin Matuska #include "../common/huf.h"
66c03c5b1cSMartin Matuska #include "../common/zstd_internal.h"  /* blockProperties_t */
67c03c5b1cSMartin Matuska #include "zstd_decompress_internal.h"   /* ZSTD_DCtx */
68c03c5b1cSMartin Matuska #include "zstd_ddict.h"  /* ZSTD_DDictDictContent */
69c03c5b1cSMartin Matuska #include "zstd_decompress_block.h"   /* ZSTD_decompressBlock_internal */
70c03c5b1cSMartin Matuska 
71c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT>=1)
72c03c5b1cSMartin Matuska #  include "../legacy/zstd_legacy.h"
73c03c5b1cSMartin Matuska #endif
74c03c5b1cSMartin Matuska 
75c03c5b1cSMartin Matuska 
76c03c5b1cSMartin Matuska /*-*************************************************************
77c03c5b1cSMartin Matuska *   Context management
78c03c5b1cSMartin Matuska ***************************************************************/
ZSTD_sizeof_DCtx(const ZSTD_DCtx * dctx)79c03c5b1cSMartin Matuska size_t ZSTD_sizeof_DCtx (const ZSTD_DCtx* dctx)
80c03c5b1cSMartin Matuska {
81c03c5b1cSMartin Matuska     if (dctx==NULL) return 0;   /* support sizeof NULL */
82c03c5b1cSMartin Matuska     return sizeof(*dctx)
83c03c5b1cSMartin Matuska            + ZSTD_sizeof_DDict(dctx->ddictLocal)
84c03c5b1cSMartin Matuska            + dctx->inBuffSize + dctx->outBuffSize;
85c03c5b1cSMartin Matuska }
86c03c5b1cSMartin Matuska 
ZSTD_estimateDCtxSize(void)87c03c5b1cSMartin Matuska size_t ZSTD_estimateDCtxSize(void) { return sizeof(ZSTD_DCtx); }
88c03c5b1cSMartin Matuska 
89c03c5b1cSMartin Matuska 
ZSTD_startingInputLength(ZSTD_format_e format)90c03c5b1cSMartin Matuska static size_t ZSTD_startingInputLength(ZSTD_format_e format)
91c03c5b1cSMartin Matuska {
92c03c5b1cSMartin Matuska     size_t const startingInputLength = ZSTD_FRAMEHEADERSIZE_PREFIX(format);
93c03c5b1cSMartin Matuska     /* only supports formats ZSTD_f_zstd1 and ZSTD_f_zstd1_magicless */
94c03c5b1cSMartin Matuska     assert( (format == ZSTD_f_zstd1) || (format == ZSTD_f_zstd1_magicless) );
95c03c5b1cSMartin Matuska     return startingInputLength;
96c03c5b1cSMartin Matuska }
97c03c5b1cSMartin Matuska 
ZSTD_initDCtx_internal(ZSTD_DCtx * dctx)98c03c5b1cSMartin Matuska static void ZSTD_initDCtx_internal(ZSTD_DCtx* dctx)
99c03c5b1cSMartin Matuska {
100c03c5b1cSMartin Matuska     dctx->format = ZSTD_f_zstd1;  /* ZSTD_decompressBegin() invokes ZSTD_startingInputLength() with argument dctx->format */
101c03c5b1cSMartin Matuska     dctx->staticSize  = 0;
102c03c5b1cSMartin Matuska     dctx->maxWindowSize = ZSTD_MAXWINDOWSIZE_DEFAULT;
103c03c5b1cSMartin Matuska     dctx->ddict       = NULL;
104c03c5b1cSMartin Matuska     dctx->ddictLocal  = NULL;
105c03c5b1cSMartin Matuska     dctx->dictEnd     = NULL;
106c03c5b1cSMartin Matuska     dctx->ddictIsCold = 0;
107c03c5b1cSMartin Matuska     dctx->dictUses = ZSTD_dont_use;
108c03c5b1cSMartin Matuska     dctx->inBuff      = NULL;
109c03c5b1cSMartin Matuska     dctx->inBuffSize  = 0;
110c03c5b1cSMartin Matuska     dctx->outBuffSize = 0;
111c03c5b1cSMartin Matuska     dctx->streamStage = zdss_init;
112c03c5b1cSMartin Matuska     dctx->legacyContext = NULL;
113c03c5b1cSMartin Matuska     dctx->previousLegacyVersion = 0;
114c03c5b1cSMartin Matuska     dctx->noForwardProgress = 0;
115c03c5b1cSMartin Matuska     dctx->oversizedDuration = 0;
116c03c5b1cSMartin Matuska     dctx->bmi2 = ZSTD_cpuid_bmi2(ZSTD_cpuid());
117c03c5b1cSMartin Matuska     dctx->outBufferMode = ZSTD_obm_buffered;
118c03c5b1cSMartin Matuska #ifdef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
119c03c5b1cSMartin Matuska     dctx->dictContentEndForFuzzing = NULL;
120c03c5b1cSMartin Matuska #endif
121c03c5b1cSMartin Matuska }
122c03c5b1cSMartin Matuska 
ZSTD_initStaticDCtx(void * workspace,size_t workspaceSize)123c03c5b1cSMartin Matuska ZSTD_DCtx* ZSTD_initStaticDCtx(void *workspace, size_t workspaceSize)
124c03c5b1cSMartin Matuska {
125c03c5b1cSMartin Matuska     ZSTD_DCtx* const dctx = (ZSTD_DCtx*) workspace;
126c03c5b1cSMartin Matuska 
127c03c5b1cSMartin Matuska     if ((size_t)workspace & 7) return NULL;  /* 8-aligned */
128c03c5b1cSMartin Matuska     if (workspaceSize < sizeof(ZSTD_DCtx)) return NULL;  /* minimum size */
129c03c5b1cSMartin Matuska 
130c03c5b1cSMartin Matuska     ZSTD_initDCtx_internal(dctx);
131c03c5b1cSMartin Matuska     dctx->staticSize = workspaceSize;
132c03c5b1cSMartin Matuska     dctx->inBuff = (char*)(dctx+1);
133c03c5b1cSMartin Matuska     return dctx;
134c03c5b1cSMartin Matuska }
135c03c5b1cSMartin Matuska 
ZSTD_createDCtx_advanced(ZSTD_customMem customMem)136c03c5b1cSMartin Matuska ZSTD_DCtx* ZSTD_createDCtx_advanced(ZSTD_customMem customMem)
137c03c5b1cSMartin Matuska {
138c03c5b1cSMartin Matuska     if (!customMem.customAlloc ^ !customMem.customFree) return NULL;
139c03c5b1cSMartin Matuska 
140c03c5b1cSMartin Matuska     {   ZSTD_DCtx* const dctx = (ZSTD_DCtx*)ZSTD_malloc(sizeof(*dctx), customMem);
141c03c5b1cSMartin Matuska         if (!dctx) return NULL;
142c03c5b1cSMartin Matuska         dctx->customMem = customMem;
143c03c5b1cSMartin Matuska         ZSTD_initDCtx_internal(dctx);
144c03c5b1cSMartin Matuska         return dctx;
145c03c5b1cSMartin Matuska     }
146c03c5b1cSMartin Matuska }
147c03c5b1cSMartin Matuska 
ZSTD_createDCtx(void)148c03c5b1cSMartin Matuska ZSTD_DCtx* ZSTD_createDCtx(void)
149c03c5b1cSMartin Matuska {
150c03c5b1cSMartin Matuska     DEBUGLOG(3, "ZSTD_createDCtx");
151c03c5b1cSMartin Matuska     return ZSTD_createDCtx_advanced(ZSTD_defaultCMem);
152c03c5b1cSMartin Matuska }
153c03c5b1cSMartin Matuska 
ZSTD_clearDict(ZSTD_DCtx * dctx)154c03c5b1cSMartin Matuska static void ZSTD_clearDict(ZSTD_DCtx* dctx)
155c03c5b1cSMartin Matuska {
156c03c5b1cSMartin Matuska     ZSTD_freeDDict(dctx->ddictLocal);
157c03c5b1cSMartin Matuska     dctx->ddictLocal = NULL;
158c03c5b1cSMartin Matuska     dctx->ddict = NULL;
159c03c5b1cSMartin Matuska     dctx->dictUses = ZSTD_dont_use;
160c03c5b1cSMartin Matuska }
161c03c5b1cSMartin Matuska 
ZSTD_freeDCtx(ZSTD_DCtx * dctx)162c03c5b1cSMartin Matuska size_t ZSTD_freeDCtx(ZSTD_DCtx* dctx)
163c03c5b1cSMartin Matuska {
164c03c5b1cSMartin Matuska     if (dctx==NULL) return 0;   /* support free on NULL */
165c03c5b1cSMartin Matuska     RETURN_ERROR_IF(dctx->staticSize, memory_allocation, "not compatible with static DCtx");
166c03c5b1cSMartin Matuska     {   ZSTD_customMem const cMem = dctx->customMem;
167c03c5b1cSMartin Matuska         ZSTD_clearDict(dctx);
168c03c5b1cSMartin Matuska         ZSTD_free(dctx->inBuff, cMem);
169c03c5b1cSMartin Matuska         dctx->inBuff = NULL;
170c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT >= 1)
171c03c5b1cSMartin Matuska         if (dctx->legacyContext)
172c03c5b1cSMartin Matuska             ZSTD_freeLegacyStreamContext(dctx->legacyContext, dctx->previousLegacyVersion);
173c03c5b1cSMartin Matuska #endif
174c03c5b1cSMartin Matuska         ZSTD_free(dctx, cMem);
175c03c5b1cSMartin Matuska         return 0;
176c03c5b1cSMartin Matuska     }
177c03c5b1cSMartin Matuska }
178c03c5b1cSMartin Matuska 
179c03c5b1cSMartin Matuska /* no longer useful */
ZSTD_copyDCtx(ZSTD_DCtx * dstDCtx,const ZSTD_DCtx * srcDCtx)180c03c5b1cSMartin Matuska void ZSTD_copyDCtx(ZSTD_DCtx* dstDCtx, const ZSTD_DCtx* srcDCtx)
181c03c5b1cSMartin Matuska {
182c03c5b1cSMartin Matuska     size_t const toCopy = (size_t)((char*)(&dstDCtx->inBuff) - (char*)dstDCtx);
183c03c5b1cSMartin Matuska     memcpy(dstDCtx, srcDCtx, toCopy);  /* no need to copy workspace */
184c03c5b1cSMartin Matuska }
185c03c5b1cSMartin Matuska 
186c03c5b1cSMartin Matuska 
187c03c5b1cSMartin Matuska /*-*************************************************************
188c03c5b1cSMartin Matuska  *   Frame header decoding
189c03c5b1cSMartin Matuska  ***************************************************************/
190c03c5b1cSMartin Matuska 
191c03c5b1cSMartin Matuska /*! ZSTD_isFrame() :
192c03c5b1cSMartin Matuska  *  Tells if the content of `buffer` starts with a valid Frame Identifier.
193c03c5b1cSMartin Matuska  *  Note : Frame Identifier is 4 bytes. If `size < 4`, @return will always be 0.
194c03c5b1cSMartin Matuska  *  Note 2 : Legacy Frame Identifiers are considered valid only if Legacy Support is enabled.
195c03c5b1cSMartin Matuska  *  Note 3 : Skippable Frame Identifiers are considered valid. */
ZSTD_isFrame(const void * buffer,size_t size)196c03c5b1cSMartin Matuska unsigned ZSTD_isFrame(const void* buffer, size_t size)
197c03c5b1cSMartin Matuska {
198c03c5b1cSMartin Matuska     if (size < ZSTD_FRAMEIDSIZE) return 0;
199c03c5b1cSMartin Matuska     {   U32 const magic = MEM_readLE32(buffer);
200c03c5b1cSMartin Matuska         if (magic == ZSTD_MAGICNUMBER) return 1;
201c03c5b1cSMartin Matuska         if ((magic & ZSTD_MAGIC_SKIPPABLE_MASK) == ZSTD_MAGIC_SKIPPABLE_START) return 1;
202c03c5b1cSMartin Matuska     }
203c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT >= 1)
204c03c5b1cSMartin Matuska     if (ZSTD_isLegacy(buffer, size)) return 1;
205c03c5b1cSMartin Matuska #endif
206c03c5b1cSMartin Matuska     return 0;
207c03c5b1cSMartin Matuska }
208c03c5b1cSMartin Matuska 
209c03c5b1cSMartin Matuska /** ZSTD_frameHeaderSize_internal() :
210c03c5b1cSMartin Matuska  *  srcSize must be large enough to reach header size fields.
211c03c5b1cSMartin Matuska  *  note : only works for formats ZSTD_f_zstd1 and ZSTD_f_zstd1_magicless.
212c03c5b1cSMartin Matuska  * @return : size of the Frame Header
213c03c5b1cSMartin Matuska  *           or an error code, which can be tested with ZSTD_isError() */
ZSTD_frameHeaderSize_internal(const void * src,size_t srcSize,ZSTD_format_e format)214c03c5b1cSMartin Matuska static size_t ZSTD_frameHeaderSize_internal(const void* src, size_t srcSize, ZSTD_format_e format)
215c03c5b1cSMartin Matuska {
216c03c5b1cSMartin Matuska     size_t const minInputSize = ZSTD_startingInputLength(format);
217c03c5b1cSMartin Matuska     RETURN_ERROR_IF(srcSize < minInputSize, srcSize_wrong, "");
218c03c5b1cSMartin Matuska 
219c03c5b1cSMartin Matuska     {   BYTE const fhd = ((const BYTE*)src)[minInputSize-1];
220c03c5b1cSMartin Matuska         U32 const dictID= fhd & 3;
221c03c5b1cSMartin Matuska         U32 const singleSegment = (fhd >> 5) & 1;
222c03c5b1cSMartin Matuska         U32 const fcsId = fhd >> 6;
223c03c5b1cSMartin Matuska         return minInputSize + !singleSegment
224c03c5b1cSMartin Matuska              + ZSTD_did_fieldSize[dictID] + ZSTD_fcs_fieldSize[fcsId]
225c03c5b1cSMartin Matuska              + (singleSegment && !fcsId);
226c03c5b1cSMartin Matuska     }
227c03c5b1cSMartin Matuska }
228c03c5b1cSMartin Matuska 
229c03c5b1cSMartin Matuska /** ZSTD_frameHeaderSize() :
230c03c5b1cSMartin Matuska  *  srcSize must be >= ZSTD_frameHeaderSize_prefix.
231c03c5b1cSMartin Matuska  * @return : size of the Frame Header,
232c03c5b1cSMartin Matuska  *           or an error code (if srcSize is too small) */
ZSTD_frameHeaderSize(const void * src,size_t srcSize)233c03c5b1cSMartin Matuska size_t ZSTD_frameHeaderSize(const void* src, size_t srcSize)
234c03c5b1cSMartin Matuska {
235c03c5b1cSMartin Matuska     return ZSTD_frameHeaderSize_internal(src, srcSize, ZSTD_f_zstd1);
236c03c5b1cSMartin Matuska }
237c03c5b1cSMartin Matuska 
238c03c5b1cSMartin Matuska 
239c03c5b1cSMartin Matuska /** ZSTD_getFrameHeader_advanced() :
240c03c5b1cSMartin Matuska  *  decode Frame Header, or require larger `srcSize`.
241c03c5b1cSMartin Matuska  *  note : only works for formats ZSTD_f_zstd1 and ZSTD_f_zstd1_magicless
242c03c5b1cSMartin Matuska  * @return : 0, `zfhPtr` is correctly filled,
243c03c5b1cSMartin Matuska  *          >0, `srcSize` is too small, value is wanted `srcSize` amount,
244c03c5b1cSMartin Matuska  *           or an error code, which can be tested using ZSTD_isError() */
ZSTD_getFrameHeader_advanced(ZSTD_frameHeader * zfhPtr,const void * src,size_t srcSize,ZSTD_format_e format)245c03c5b1cSMartin Matuska size_t ZSTD_getFrameHeader_advanced(ZSTD_frameHeader* zfhPtr, const void* src, size_t srcSize, ZSTD_format_e format)
246c03c5b1cSMartin Matuska {
247c03c5b1cSMartin Matuska     const BYTE* ip = (const BYTE*)src;
248c03c5b1cSMartin Matuska     size_t const minInputSize = ZSTD_startingInputLength(format);
249c03c5b1cSMartin Matuska 
250c03c5b1cSMartin Matuska     memset(zfhPtr, 0, sizeof(*zfhPtr));   /* not strictly necessary, but static analyzer do not understand that zfhPtr is only going to be read only if return value is zero, since they are 2 different signals */
251c03c5b1cSMartin Matuska     if (srcSize < minInputSize) return minInputSize;
252c03c5b1cSMartin Matuska     RETURN_ERROR_IF(src==NULL, GENERIC, "invalid parameter");
253c03c5b1cSMartin Matuska 
254c03c5b1cSMartin Matuska     if ( (format != ZSTD_f_zstd1_magicless)
255c03c5b1cSMartin Matuska       && (MEM_readLE32(src) != ZSTD_MAGICNUMBER) ) {
256c03c5b1cSMartin Matuska         if ((MEM_readLE32(src) & ZSTD_MAGIC_SKIPPABLE_MASK) == ZSTD_MAGIC_SKIPPABLE_START) {
257c03c5b1cSMartin Matuska             /* skippable frame */
258c03c5b1cSMartin Matuska             if (srcSize < ZSTD_SKIPPABLEHEADERSIZE)
259c03c5b1cSMartin Matuska                 return ZSTD_SKIPPABLEHEADERSIZE; /* magic number + frame length */
260c03c5b1cSMartin Matuska             memset(zfhPtr, 0, sizeof(*zfhPtr));
261c03c5b1cSMartin Matuska             zfhPtr->frameContentSize = MEM_readLE32((const char *)src + ZSTD_FRAMEIDSIZE);
262c03c5b1cSMartin Matuska             zfhPtr->frameType = ZSTD_skippableFrame;
263c03c5b1cSMartin Matuska             return 0;
264c03c5b1cSMartin Matuska         }
265c03c5b1cSMartin Matuska         RETURN_ERROR(prefix_unknown, "");
266c03c5b1cSMartin Matuska     }
267c03c5b1cSMartin Matuska 
268c03c5b1cSMartin Matuska     /* ensure there is enough `srcSize` to fully read/decode frame header */
269c03c5b1cSMartin Matuska     {   size_t const fhsize = ZSTD_frameHeaderSize_internal(src, srcSize, format);
270c03c5b1cSMartin Matuska         if (srcSize < fhsize) return fhsize;
271c03c5b1cSMartin Matuska         zfhPtr->headerSize = (U32)fhsize;
272c03c5b1cSMartin Matuska     }
273c03c5b1cSMartin Matuska 
274c03c5b1cSMartin Matuska     {   BYTE const fhdByte = ip[minInputSize-1];
275c03c5b1cSMartin Matuska         size_t pos = minInputSize;
276c03c5b1cSMartin Matuska         U32 const dictIDSizeCode = fhdByte&3;
277c03c5b1cSMartin Matuska         U32 const checksumFlag = (fhdByte>>2)&1;
278c03c5b1cSMartin Matuska         U32 const singleSegment = (fhdByte>>5)&1;
279c03c5b1cSMartin Matuska         U32 const fcsID = fhdByte>>6;
280c03c5b1cSMartin Matuska         U64 windowSize = 0;
281c03c5b1cSMartin Matuska         U32 dictID = 0;
282c03c5b1cSMartin Matuska         U64 frameContentSize = ZSTD_CONTENTSIZE_UNKNOWN;
283c03c5b1cSMartin Matuska         RETURN_ERROR_IF((fhdByte & 0x08) != 0, frameParameter_unsupported,
284c03c5b1cSMartin Matuska                         "reserved bits, must be zero");
285c03c5b1cSMartin Matuska 
286c03c5b1cSMartin Matuska         if (!singleSegment) {
287c03c5b1cSMartin Matuska             BYTE const wlByte = ip[pos++];
288c03c5b1cSMartin Matuska             U32 const windowLog = (wlByte >> 3) + ZSTD_WINDOWLOG_ABSOLUTEMIN;
289c03c5b1cSMartin Matuska             RETURN_ERROR_IF(windowLog > ZSTD_WINDOWLOG_MAX, frameParameter_windowTooLarge, "");
290c03c5b1cSMartin Matuska             windowSize = (1ULL << windowLog);
291c03c5b1cSMartin Matuska             windowSize += (windowSize >> 3) * (wlByte&7);
292c03c5b1cSMartin Matuska         }
293c03c5b1cSMartin Matuska         switch(dictIDSizeCode)
294c03c5b1cSMartin Matuska         {
295c03c5b1cSMartin Matuska             default: assert(0);  /* impossible */
296c03c5b1cSMartin Matuska             case 0 : break;
297c03c5b1cSMartin Matuska             case 1 : dictID = ip[pos]; pos++; break;
298c03c5b1cSMartin Matuska             case 2 : dictID = MEM_readLE16(ip+pos); pos+=2; break;
299c03c5b1cSMartin Matuska             case 3 : dictID = MEM_readLE32(ip+pos); pos+=4; break;
300c03c5b1cSMartin Matuska         }
301c03c5b1cSMartin Matuska         switch(fcsID)
302c03c5b1cSMartin Matuska         {
303c03c5b1cSMartin Matuska             default: assert(0);  /* impossible */
304c03c5b1cSMartin Matuska             case 0 : if (singleSegment) frameContentSize = ip[pos]; break;
305c03c5b1cSMartin Matuska             case 1 : frameContentSize = MEM_readLE16(ip+pos)+256; break;
306c03c5b1cSMartin Matuska             case 2 : frameContentSize = MEM_readLE32(ip+pos); break;
307c03c5b1cSMartin Matuska             case 3 : frameContentSize = MEM_readLE64(ip+pos); break;
308c03c5b1cSMartin Matuska         }
309c03c5b1cSMartin Matuska         if (singleSegment) windowSize = frameContentSize;
310c03c5b1cSMartin Matuska 
311c03c5b1cSMartin Matuska         zfhPtr->frameType = ZSTD_frame;
312c03c5b1cSMartin Matuska         zfhPtr->frameContentSize = frameContentSize;
313c03c5b1cSMartin Matuska         zfhPtr->windowSize = windowSize;
314c03c5b1cSMartin Matuska         zfhPtr->blockSizeMax = (unsigned) MIN(windowSize, ZSTD_BLOCKSIZE_MAX);
315c03c5b1cSMartin Matuska         zfhPtr->dictID = dictID;
316c03c5b1cSMartin Matuska         zfhPtr->checksumFlag = checksumFlag;
317c03c5b1cSMartin Matuska     }
318c03c5b1cSMartin Matuska     return 0;
319c03c5b1cSMartin Matuska }
320c03c5b1cSMartin Matuska 
321c03c5b1cSMartin Matuska /** ZSTD_getFrameHeader() :
322c03c5b1cSMartin Matuska  *  decode Frame Header, or require larger `srcSize`.
323c03c5b1cSMartin Matuska  *  note : this function does not consume input, it only reads it.
324c03c5b1cSMartin Matuska  * @return : 0, `zfhPtr` is correctly filled,
325c03c5b1cSMartin Matuska  *          >0, `srcSize` is too small, value is wanted `srcSize` amount,
326c03c5b1cSMartin Matuska  *           or an error code, which can be tested using ZSTD_isError() */
ZSTD_getFrameHeader(ZSTD_frameHeader * zfhPtr,const void * src,size_t srcSize)327c03c5b1cSMartin Matuska size_t ZSTD_getFrameHeader(ZSTD_frameHeader* zfhPtr, const void* src, size_t srcSize)
328c03c5b1cSMartin Matuska {
329c03c5b1cSMartin Matuska     return ZSTD_getFrameHeader_advanced(zfhPtr, src, srcSize, ZSTD_f_zstd1);
330c03c5b1cSMartin Matuska }
331c03c5b1cSMartin Matuska 
332c03c5b1cSMartin Matuska 
333c03c5b1cSMartin Matuska /** ZSTD_getFrameContentSize() :
334c03c5b1cSMartin Matuska  *  compatible with legacy mode
335c03c5b1cSMartin Matuska  * @return : decompressed size of the single frame pointed to be `src` if known, otherwise
336c03c5b1cSMartin Matuska  *         - ZSTD_CONTENTSIZE_UNKNOWN if the size cannot be determined
337c03c5b1cSMartin Matuska  *         - ZSTD_CONTENTSIZE_ERROR if an error occurred (e.g. invalid magic number, srcSize too small) */
ZSTD_getFrameContentSize(const void * src,size_t srcSize)338c03c5b1cSMartin Matuska unsigned long long ZSTD_getFrameContentSize(const void *src, size_t srcSize)
339c03c5b1cSMartin Matuska {
340c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT >= 1)
341c03c5b1cSMartin Matuska     if (ZSTD_isLegacy(src, srcSize)) {
342c03c5b1cSMartin Matuska         unsigned long long const ret = ZSTD_getDecompressedSize_legacy(src, srcSize);
343c03c5b1cSMartin Matuska         return ret == 0 ? ZSTD_CONTENTSIZE_UNKNOWN : ret;
344c03c5b1cSMartin Matuska     }
345c03c5b1cSMartin Matuska #endif
346c03c5b1cSMartin Matuska     {   ZSTD_frameHeader zfh;
347c03c5b1cSMartin Matuska         if (ZSTD_getFrameHeader(&zfh, src, srcSize) != 0)
348c03c5b1cSMartin Matuska             return ZSTD_CONTENTSIZE_ERROR;
349c03c5b1cSMartin Matuska         if (zfh.frameType == ZSTD_skippableFrame) {
350c03c5b1cSMartin Matuska             return 0;
351c03c5b1cSMartin Matuska         } else {
352c03c5b1cSMartin Matuska             return zfh.frameContentSize;
353c03c5b1cSMartin Matuska     }   }
354c03c5b1cSMartin Matuska }
355c03c5b1cSMartin Matuska 
readSkippableFrameSize(void const * src,size_t srcSize)356c03c5b1cSMartin Matuska static size_t readSkippableFrameSize(void const* src, size_t srcSize)
357c03c5b1cSMartin Matuska {
358c03c5b1cSMartin Matuska     size_t const skippableHeaderSize = ZSTD_SKIPPABLEHEADERSIZE;
359c03c5b1cSMartin Matuska     U32 sizeU32;
360c03c5b1cSMartin Matuska 
361c03c5b1cSMartin Matuska     RETURN_ERROR_IF(srcSize < ZSTD_SKIPPABLEHEADERSIZE, srcSize_wrong, "");
362c03c5b1cSMartin Matuska 
363c03c5b1cSMartin Matuska     sizeU32 = MEM_readLE32((BYTE const*)src + ZSTD_FRAMEIDSIZE);
364c03c5b1cSMartin Matuska     RETURN_ERROR_IF((U32)(sizeU32 + ZSTD_SKIPPABLEHEADERSIZE) < sizeU32,
365c03c5b1cSMartin Matuska                     frameParameter_unsupported, "");
366c03c5b1cSMartin Matuska     {
367c03c5b1cSMartin Matuska         size_t const skippableSize = skippableHeaderSize + sizeU32;
368c03c5b1cSMartin Matuska         RETURN_ERROR_IF(skippableSize > srcSize, srcSize_wrong, "");
369c03c5b1cSMartin Matuska         return skippableSize;
370c03c5b1cSMartin Matuska     }
371c03c5b1cSMartin Matuska }
372c03c5b1cSMartin Matuska 
373c03c5b1cSMartin Matuska /** ZSTD_findDecompressedSize() :
374c03c5b1cSMartin Matuska  *  compatible with legacy mode
375c03c5b1cSMartin Matuska  *  `srcSize` must be the exact length of some number of ZSTD compressed and/or
376c03c5b1cSMartin Matuska  *      skippable frames
377c03c5b1cSMartin Matuska  *  @return : decompressed size of the frames contained */
ZSTD_findDecompressedSize(const void * src,size_t srcSize)378c03c5b1cSMartin Matuska unsigned long long ZSTD_findDecompressedSize(const void* src, size_t srcSize)
379c03c5b1cSMartin Matuska {
380c03c5b1cSMartin Matuska     unsigned long long totalDstSize = 0;
381c03c5b1cSMartin Matuska 
382c03c5b1cSMartin Matuska     while (srcSize >= ZSTD_startingInputLength(ZSTD_f_zstd1)) {
383c03c5b1cSMartin Matuska         U32 const magicNumber = MEM_readLE32(src);
384c03c5b1cSMartin Matuska 
385c03c5b1cSMartin Matuska         if ((magicNumber & ZSTD_MAGIC_SKIPPABLE_MASK) == ZSTD_MAGIC_SKIPPABLE_START) {
386c03c5b1cSMartin Matuska             size_t const skippableSize = readSkippableFrameSize(src, srcSize);
387c03c5b1cSMartin Matuska             if (ZSTD_isError(skippableSize)) {
388c03c5b1cSMartin Matuska                 return ZSTD_CONTENTSIZE_ERROR;
389c03c5b1cSMartin Matuska             }
390c03c5b1cSMartin Matuska             assert(skippableSize <= srcSize);
391c03c5b1cSMartin Matuska 
392c03c5b1cSMartin Matuska             src = (const BYTE *)src + skippableSize;
393c03c5b1cSMartin Matuska             srcSize -= skippableSize;
394c03c5b1cSMartin Matuska             continue;
395c03c5b1cSMartin Matuska         }
396c03c5b1cSMartin Matuska 
397c03c5b1cSMartin Matuska         {   unsigned long long const ret = ZSTD_getFrameContentSize(src, srcSize);
398c03c5b1cSMartin Matuska             if (ret >= ZSTD_CONTENTSIZE_ERROR) return ret;
399c03c5b1cSMartin Matuska 
400c03c5b1cSMartin Matuska             /* check for overflow */
401c03c5b1cSMartin Matuska             if (totalDstSize + ret < totalDstSize) return ZSTD_CONTENTSIZE_ERROR;
402c03c5b1cSMartin Matuska             totalDstSize += ret;
403c03c5b1cSMartin Matuska         }
404c03c5b1cSMartin Matuska         {   size_t const frameSrcSize = ZSTD_findFrameCompressedSize(src, srcSize);
405c03c5b1cSMartin Matuska             if (ZSTD_isError(frameSrcSize)) {
406c03c5b1cSMartin Matuska                 return ZSTD_CONTENTSIZE_ERROR;
407c03c5b1cSMartin Matuska             }
408c03c5b1cSMartin Matuska 
409c03c5b1cSMartin Matuska             src = (const BYTE *)src + frameSrcSize;
410c03c5b1cSMartin Matuska             srcSize -= frameSrcSize;
411c03c5b1cSMartin Matuska         }
412c03c5b1cSMartin Matuska     }  /* while (srcSize >= ZSTD_frameHeaderSize_prefix) */
413c03c5b1cSMartin Matuska 
414c03c5b1cSMartin Matuska     if (srcSize) return ZSTD_CONTENTSIZE_ERROR;
415c03c5b1cSMartin Matuska 
416c03c5b1cSMartin Matuska     return totalDstSize;
417c03c5b1cSMartin Matuska }
418c03c5b1cSMartin Matuska 
419c03c5b1cSMartin Matuska /** ZSTD_getDecompressedSize() :
420c03c5b1cSMartin Matuska  *  compatible with legacy mode
421c03c5b1cSMartin Matuska  * @return : decompressed size if known, 0 otherwise
422c03c5b1cSMartin Matuska              note : 0 can mean any of the following :
423c03c5b1cSMartin Matuska                    - frame content is empty
424c03c5b1cSMartin Matuska                    - decompressed size field is not present in frame header
425c03c5b1cSMartin Matuska                    - frame header unknown / not supported
426c03c5b1cSMartin Matuska                    - frame header not complete (`srcSize` too small) */
ZSTD_getDecompressedSize(const void * src,size_t srcSize)427c03c5b1cSMartin Matuska unsigned long long ZSTD_getDecompressedSize(const void* src, size_t srcSize)
428c03c5b1cSMartin Matuska {
429c03c5b1cSMartin Matuska     unsigned long long const ret = ZSTD_getFrameContentSize(src, srcSize);
430c03c5b1cSMartin Matuska     ZSTD_STATIC_ASSERT(ZSTD_CONTENTSIZE_ERROR < ZSTD_CONTENTSIZE_UNKNOWN);
431c03c5b1cSMartin Matuska     return (ret >= ZSTD_CONTENTSIZE_ERROR) ? 0 : ret;
432c03c5b1cSMartin Matuska }
433c03c5b1cSMartin Matuska 
434c03c5b1cSMartin Matuska 
435c03c5b1cSMartin Matuska /** ZSTD_decodeFrameHeader() :
436c03c5b1cSMartin Matuska  * `headerSize` must be the size provided by ZSTD_frameHeaderSize().
437c03c5b1cSMartin Matuska  * @return : 0 if success, or an error code, which can be tested using ZSTD_isError() */
ZSTD_decodeFrameHeader(ZSTD_DCtx * dctx,const void * src,size_t headerSize)438c03c5b1cSMartin Matuska static size_t ZSTD_decodeFrameHeader(ZSTD_DCtx* dctx, const void* src, size_t headerSize)
439c03c5b1cSMartin Matuska {
440c03c5b1cSMartin Matuska     size_t const result = ZSTD_getFrameHeader_advanced(&(dctx->fParams), src, headerSize, dctx->format);
441c03c5b1cSMartin Matuska     if (ZSTD_isError(result)) return result;    /* invalid header */
442c03c5b1cSMartin Matuska     RETURN_ERROR_IF(result>0, srcSize_wrong, "headerSize too small");
443c03c5b1cSMartin Matuska #ifndef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
444c03c5b1cSMartin Matuska     /* Skip the dictID check in fuzzing mode, because it makes the search
445c03c5b1cSMartin Matuska      * harder.
446c03c5b1cSMartin Matuska      */
447c03c5b1cSMartin Matuska     RETURN_ERROR_IF(dctx->fParams.dictID && (dctx->dictID != dctx->fParams.dictID),
448c03c5b1cSMartin Matuska                     dictionary_wrong, "");
449c03c5b1cSMartin Matuska #endif
450c03c5b1cSMartin Matuska     if (dctx->fParams.checksumFlag) XXH64_reset(&dctx->xxhState, 0);
451c03c5b1cSMartin Matuska     return 0;
452c03c5b1cSMartin Matuska }
453c03c5b1cSMartin Matuska 
ZSTD_errorFrameSizeInfo(size_t ret)454c03c5b1cSMartin Matuska static ZSTD_frameSizeInfo ZSTD_errorFrameSizeInfo(size_t ret)
455c03c5b1cSMartin Matuska {
456c03c5b1cSMartin Matuska     ZSTD_frameSizeInfo frameSizeInfo;
457c03c5b1cSMartin Matuska     frameSizeInfo.compressedSize = ret;
458c03c5b1cSMartin Matuska     frameSizeInfo.decompressedBound = ZSTD_CONTENTSIZE_ERROR;
459c03c5b1cSMartin Matuska     return frameSizeInfo;
460c03c5b1cSMartin Matuska }
461c03c5b1cSMartin Matuska 
ZSTD_findFrameSizeInfo(const void * src,size_t srcSize)462c03c5b1cSMartin Matuska static ZSTD_frameSizeInfo ZSTD_findFrameSizeInfo(const void* src, size_t srcSize)
463c03c5b1cSMartin Matuska {
464c03c5b1cSMartin Matuska     ZSTD_frameSizeInfo frameSizeInfo;
465c03c5b1cSMartin Matuska     memset(&frameSizeInfo, 0, sizeof(ZSTD_frameSizeInfo));
466c03c5b1cSMartin Matuska 
467c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT >= 1)
468c03c5b1cSMartin Matuska     if (ZSTD_isLegacy(src, srcSize))
469c03c5b1cSMartin Matuska         return ZSTD_findFrameSizeInfoLegacy(src, srcSize);
470c03c5b1cSMartin Matuska #endif
471c03c5b1cSMartin Matuska 
472c03c5b1cSMartin Matuska     if ((srcSize >= ZSTD_SKIPPABLEHEADERSIZE)
473c03c5b1cSMartin Matuska         && (MEM_readLE32(src) & ZSTD_MAGIC_SKIPPABLE_MASK) == ZSTD_MAGIC_SKIPPABLE_START) {
474c03c5b1cSMartin Matuska         frameSizeInfo.compressedSize = readSkippableFrameSize(src, srcSize);
475c03c5b1cSMartin Matuska         assert(ZSTD_isError(frameSizeInfo.compressedSize) ||
476c03c5b1cSMartin Matuska                frameSizeInfo.compressedSize <= srcSize);
477c03c5b1cSMartin Matuska         return frameSizeInfo;
478c03c5b1cSMartin Matuska     } else {
479c03c5b1cSMartin Matuska         const BYTE* ip = (const BYTE*)src;
480c03c5b1cSMartin Matuska         const BYTE* const ipstart = ip;
481c03c5b1cSMartin Matuska         size_t remainingSize = srcSize;
482c03c5b1cSMartin Matuska         size_t nbBlocks = 0;
483c03c5b1cSMartin Matuska         ZSTD_frameHeader zfh;
484c03c5b1cSMartin Matuska 
485c03c5b1cSMartin Matuska         /* Extract Frame Header */
486c03c5b1cSMartin Matuska         {   size_t const ret = ZSTD_getFrameHeader(&zfh, src, srcSize);
487c03c5b1cSMartin Matuska             if (ZSTD_isError(ret))
488c03c5b1cSMartin Matuska                 return ZSTD_errorFrameSizeInfo(ret);
489c03c5b1cSMartin Matuska             if (ret > 0)
490c03c5b1cSMartin Matuska                 return ZSTD_errorFrameSizeInfo(ERROR(srcSize_wrong));
491c03c5b1cSMartin Matuska         }
492c03c5b1cSMartin Matuska 
493c03c5b1cSMartin Matuska         ip += zfh.headerSize;
494c03c5b1cSMartin Matuska         remainingSize -= zfh.headerSize;
495c03c5b1cSMartin Matuska 
496c03c5b1cSMartin Matuska         /* Iterate over each block */
497c03c5b1cSMartin Matuska         while (1) {
498c03c5b1cSMartin Matuska             blockProperties_t blockProperties;
499c03c5b1cSMartin Matuska             size_t const cBlockSize = ZSTD_getcBlockSize(ip, remainingSize, &blockProperties);
500c03c5b1cSMartin Matuska             if (ZSTD_isError(cBlockSize))
501c03c5b1cSMartin Matuska                 return ZSTD_errorFrameSizeInfo(cBlockSize);
502c03c5b1cSMartin Matuska 
503c03c5b1cSMartin Matuska             if (ZSTD_blockHeaderSize + cBlockSize > remainingSize)
504c03c5b1cSMartin Matuska                 return ZSTD_errorFrameSizeInfo(ERROR(srcSize_wrong));
505c03c5b1cSMartin Matuska 
506c03c5b1cSMartin Matuska             ip += ZSTD_blockHeaderSize + cBlockSize;
507c03c5b1cSMartin Matuska             remainingSize -= ZSTD_blockHeaderSize + cBlockSize;
508c03c5b1cSMartin Matuska             nbBlocks++;
509c03c5b1cSMartin Matuska 
510c03c5b1cSMartin Matuska             if (blockProperties.lastBlock) break;
511c03c5b1cSMartin Matuska         }
512c03c5b1cSMartin Matuska 
513c03c5b1cSMartin Matuska         /* Final frame content checksum */
514c03c5b1cSMartin Matuska         if (zfh.checksumFlag) {
515c03c5b1cSMartin Matuska             if (remainingSize < 4)
516c03c5b1cSMartin Matuska                 return ZSTD_errorFrameSizeInfo(ERROR(srcSize_wrong));
517c03c5b1cSMartin Matuska             ip += 4;
518c03c5b1cSMartin Matuska         }
519c03c5b1cSMartin Matuska 
520c03c5b1cSMartin Matuska         frameSizeInfo.compressedSize = ip - ipstart;
521c03c5b1cSMartin Matuska         frameSizeInfo.decompressedBound = (zfh.frameContentSize != ZSTD_CONTENTSIZE_UNKNOWN)
522c03c5b1cSMartin Matuska                                         ? zfh.frameContentSize
523c03c5b1cSMartin Matuska                                         : nbBlocks * zfh.blockSizeMax;
524c03c5b1cSMartin Matuska         return frameSizeInfo;
525c03c5b1cSMartin Matuska     }
526c03c5b1cSMartin Matuska }
527c03c5b1cSMartin Matuska 
528c03c5b1cSMartin Matuska /** ZSTD_findFrameCompressedSize() :
529c03c5b1cSMartin Matuska  *  compatible with legacy mode
530c03c5b1cSMartin Matuska  *  `src` must point to the start of a ZSTD frame, ZSTD legacy frame, or skippable frame
531c03c5b1cSMartin Matuska  *  `srcSize` must be at least as large as the frame contained
532c03c5b1cSMartin Matuska  *  @return : the compressed size of the frame starting at `src` */
ZSTD_findFrameCompressedSize(const void * src,size_t srcSize)533c03c5b1cSMartin Matuska size_t ZSTD_findFrameCompressedSize(const void *src, size_t srcSize)
534c03c5b1cSMartin Matuska {
535c03c5b1cSMartin Matuska     ZSTD_frameSizeInfo const frameSizeInfo = ZSTD_findFrameSizeInfo(src, srcSize);
536c03c5b1cSMartin Matuska     return frameSizeInfo.compressedSize;
537c03c5b1cSMartin Matuska }
538c03c5b1cSMartin Matuska 
539c03c5b1cSMartin Matuska /** ZSTD_decompressBound() :
540c03c5b1cSMartin Matuska  *  compatible with legacy mode
541c03c5b1cSMartin Matuska  *  `src` must point to the start of a ZSTD frame or a skippeable frame
542c03c5b1cSMartin Matuska  *  `srcSize` must be at least as large as the frame contained
543c03c5b1cSMartin Matuska  *  @return : the maximum decompressed size of the compressed source
544c03c5b1cSMartin Matuska  */
ZSTD_decompressBound(const void * src,size_t srcSize)545c03c5b1cSMartin Matuska unsigned long long ZSTD_decompressBound(const void* src, size_t srcSize)
546c03c5b1cSMartin Matuska {
547c03c5b1cSMartin Matuska     unsigned long long bound = 0;
548c03c5b1cSMartin Matuska     /* Iterate over each frame */
549c03c5b1cSMartin Matuska     while (srcSize > 0) {
550c03c5b1cSMartin Matuska         ZSTD_frameSizeInfo const frameSizeInfo = ZSTD_findFrameSizeInfo(src, srcSize);
551c03c5b1cSMartin Matuska         size_t const compressedSize = frameSizeInfo.compressedSize;
552c03c5b1cSMartin Matuska         unsigned long long const decompressedBound = frameSizeInfo.decompressedBound;
553c03c5b1cSMartin Matuska         if (ZSTD_isError(compressedSize) || decompressedBound == ZSTD_CONTENTSIZE_ERROR)
554c03c5b1cSMartin Matuska             return ZSTD_CONTENTSIZE_ERROR;
555c03c5b1cSMartin Matuska         assert(srcSize >= compressedSize);
556c03c5b1cSMartin Matuska         src = (const BYTE*)src + compressedSize;
557c03c5b1cSMartin Matuska         srcSize -= compressedSize;
558c03c5b1cSMartin Matuska         bound += decompressedBound;
559c03c5b1cSMartin Matuska     }
560c03c5b1cSMartin Matuska     return bound;
561c03c5b1cSMartin Matuska }
562c03c5b1cSMartin Matuska 
563c03c5b1cSMartin Matuska 
564c03c5b1cSMartin Matuska /*-*************************************************************
565c03c5b1cSMartin Matuska  *   Frame decoding
566c03c5b1cSMartin Matuska  ***************************************************************/
567c03c5b1cSMartin Matuska 
568c03c5b1cSMartin Matuska /** ZSTD_insertBlock() :
569c03c5b1cSMartin Matuska  *  insert `src` block into `dctx` history. Useful to track uncompressed blocks. */
ZSTD_insertBlock(ZSTD_DCtx * dctx,const void * blockStart,size_t blockSize)570c03c5b1cSMartin Matuska size_t ZSTD_insertBlock(ZSTD_DCtx* dctx, const void* blockStart, size_t blockSize)
571c03c5b1cSMartin Matuska {
572c03c5b1cSMartin Matuska     DEBUGLOG(5, "ZSTD_insertBlock: %u bytes", (unsigned)blockSize);
573c03c5b1cSMartin Matuska     ZSTD_checkContinuity(dctx, blockStart);
574c03c5b1cSMartin Matuska     dctx->previousDstEnd = (const char*)blockStart + blockSize;
575c03c5b1cSMartin Matuska     return blockSize;
576c03c5b1cSMartin Matuska }
577c03c5b1cSMartin Matuska 
578c03c5b1cSMartin Matuska 
ZSTD_copyRawBlock(void * dst,size_t dstCapacity,const void * src,size_t srcSize)579c03c5b1cSMartin Matuska static size_t ZSTD_copyRawBlock(void* dst, size_t dstCapacity,
580c03c5b1cSMartin Matuska                           const void* src, size_t srcSize)
581c03c5b1cSMartin Matuska {
582c03c5b1cSMartin Matuska     DEBUGLOG(5, "ZSTD_copyRawBlock");
583c03c5b1cSMartin Matuska     if (dst == NULL) {
584c03c5b1cSMartin Matuska         if (srcSize == 0) return 0;
585c03c5b1cSMartin Matuska         RETURN_ERROR(dstBuffer_null, "");
586c03c5b1cSMartin Matuska     }
587c03c5b1cSMartin Matuska     RETURN_ERROR_IF(srcSize > dstCapacity, dstSize_tooSmall, "");
588c03c5b1cSMartin Matuska     memcpy(dst, src, srcSize);
589c03c5b1cSMartin Matuska     return srcSize;
590c03c5b1cSMartin Matuska }
591c03c5b1cSMartin Matuska 
ZSTD_setRleBlock(void * dst,size_t dstCapacity,BYTE b,size_t regenSize)592c03c5b1cSMartin Matuska static size_t ZSTD_setRleBlock(void* dst, size_t dstCapacity,
593c03c5b1cSMartin Matuska                                BYTE b,
594c03c5b1cSMartin Matuska                                size_t regenSize)
595c03c5b1cSMartin Matuska {
596c03c5b1cSMartin Matuska     if (dst == NULL) {
597c03c5b1cSMartin Matuska         if (regenSize == 0) return 0;
598c03c5b1cSMartin Matuska         RETURN_ERROR(dstBuffer_null, "");
599c03c5b1cSMartin Matuska     }
600c03c5b1cSMartin Matuska     RETURN_ERROR_IF(regenSize > dstCapacity, dstSize_tooSmall, "");
601c03c5b1cSMartin Matuska     memset(dst, b, regenSize);
602c03c5b1cSMartin Matuska     return regenSize;
603c03c5b1cSMartin Matuska }
604c03c5b1cSMartin Matuska 
605c03c5b1cSMartin Matuska 
606c03c5b1cSMartin Matuska /*! ZSTD_decompressFrame() :
607c03c5b1cSMartin Matuska  * @dctx must be properly initialized
608c03c5b1cSMartin Matuska  *  will update *srcPtr and *srcSizePtr,
609c03c5b1cSMartin Matuska  *  to make *srcPtr progress by one frame. */
ZSTD_decompressFrame(ZSTD_DCtx * dctx,void * dst,size_t dstCapacity,const void ** srcPtr,size_t * srcSizePtr)610c03c5b1cSMartin Matuska static size_t ZSTD_decompressFrame(ZSTD_DCtx* dctx,
611c03c5b1cSMartin Matuska                                    void* dst, size_t dstCapacity,
612c03c5b1cSMartin Matuska                              const void** srcPtr, size_t *srcSizePtr)
613c03c5b1cSMartin Matuska {
614c03c5b1cSMartin Matuska     const BYTE* ip = (const BYTE*)(*srcPtr);
615c03c5b1cSMartin Matuska     BYTE* const ostart = (BYTE* const)dst;
616c03c5b1cSMartin Matuska     BYTE* const oend = dstCapacity != 0 ? ostart + dstCapacity : ostart;
617c03c5b1cSMartin Matuska     BYTE* op = ostart;
618c03c5b1cSMartin Matuska     size_t remainingSrcSize = *srcSizePtr;
619c03c5b1cSMartin Matuska 
620c03c5b1cSMartin Matuska     DEBUGLOG(4, "ZSTD_decompressFrame (srcSize:%i)", (int)*srcSizePtr);
621c03c5b1cSMartin Matuska 
622c03c5b1cSMartin Matuska     /* check */
623c03c5b1cSMartin Matuska     RETURN_ERROR_IF(
624c03c5b1cSMartin Matuska         remainingSrcSize < ZSTD_FRAMEHEADERSIZE_MIN(dctx->format)+ZSTD_blockHeaderSize,
625c03c5b1cSMartin Matuska         srcSize_wrong, "");
626c03c5b1cSMartin Matuska 
627c03c5b1cSMartin Matuska     /* Frame Header */
628c03c5b1cSMartin Matuska     {   size_t const frameHeaderSize = ZSTD_frameHeaderSize_internal(
629c03c5b1cSMartin Matuska                 ip, ZSTD_FRAMEHEADERSIZE_PREFIX(dctx->format), dctx->format);
630c03c5b1cSMartin Matuska         if (ZSTD_isError(frameHeaderSize)) return frameHeaderSize;
631c03c5b1cSMartin Matuska         RETURN_ERROR_IF(remainingSrcSize < frameHeaderSize+ZSTD_blockHeaderSize,
632c03c5b1cSMartin Matuska                         srcSize_wrong, "");
633c03c5b1cSMartin Matuska         FORWARD_IF_ERROR( ZSTD_decodeFrameHeader(dctx, ip, frameHeaderSize) , "");
634c03c5b1cSMartin Matuska         ip += frameHeaderSize; remainingSrcSize -= frameHeaderSize;
635c03c5b1cSMartin Matuska     }
636c03c5b1cSMartin Matuska 
637c03c5b1cSMartin Matuska     /* Loop on each block */
638c03c5b1cSMartin Matuska     while (1) {
639c03c5b1cSMartin Matuska         size_t decodedSize;
640c03c5b1cSMartin Matuska         blockProperties_t blockProperties;
641c03c5b1cSMartin Matuska         size_t const cBlockSize = ZSTD_getcBlockSize(ip, remainingSrcSize, &blockProperties);
642c03c5b1cSMartin Matuska         if (ZSTD_isError(cBlockSize)) return cBlockSize;
643c03c5b1cSMartin Matuska 
644c03c5b1cSMartin Matuska         ip += ZSTD_blockHeaderSize;
645c03c5b1cSMartin Matuska         remainingSrcSize -= ZSTD_blockHeaderSize;
646c03c5b1cSMartin Matuska         RETURN_ERROR_IF(cBlockSize > remainingSrcSize, srcSize_wrong, "");
647c03c5b1cSMartin Matuska 
648c03c5b1cSMartin Matuska         switch(blockProperties.blockType)
649c03c5b1cSMartin Matuska         {
650c03c5b1cSMartin Matuska         case bt_compressed:
651c03c5b1cSMartin Matuska             decodedSize = ZSTD_decompressBlock_internal(dctx, op, oend-op, ip, cBlockSize, /* frame */ 1);
652c03c5b1cSMartin Matuska             break;
653c03c5b1cSMartin Matuska         case bt_raw :
654c03c5b1cSMartin Matuska             decodedSize = ZSTD_copyRawBlock(op, oend-op, ip, cBlockSize);
655c03c5b1cSMartin Matuska             break;
656c03c5b1cSMartin Matuska         case bt_rle :
657c03c5b1cSMartin Matuska             decodedSize = ZSTD_setRleBlock(op, oend-op, *ip, blockProperties.origSize);
658c03c5b1cSMartin Matuska             break;
659c03c5b1cSMartin Matuska         case bt_reserved :
660c03c5b1cSMartin Matuska         default:
661c03c5b1cSMartin Matuska             RETURN_ERROR(corruption_detected, "invalid block type");
662c03c5b1cSMartin Matuska         }
663c03c5b1cSMartin Matuska 
664c03c5b1cSMartin Matuska         if (ZSTD_isError(decodedSize)) return decodedSize;
665c03c5b1cSMartin Matuska         if (dctx->fParams.checksumFlag)
666c03c5b1cSMartin Matuska             XXH64_update(&dctx->xxhState, op, decodedSize);
667c03c5b1cSMartin Matuska         if (decodedSize != 0)
668c03c5b1cSMartin Matuska             op += decodedSize;
669c03c5b1cSMartin Matuska         assert(ip != NULL);
670c03c5b1cSMartin Matuska         ip += cBlockSize;
671c03c5b1cSMartin Matuska         remainingSrcSize -= cBlockSize;
672c03c5b1cSMartin Matuska         if (blockProperties.lastBlock) break;
673c03c5b1cSMartin Matuska     }
674c03c5b1cSMartin Matuska 
675c03c5b1cSMartin Matuska     if (dctx->fParams.frameContentSize != ZSTD_CONTENTSIZE_UNKNOWN) {
676c03c5b1cSMartin Matuska         RETURN_ERROR_IF((U64)(op-ostart) != dctx->fParams.frameContentSize,
677c03c5b1cSMartin Matuska                         corruption_detected, "");
678c03c5b1cSMartin Matuska     }
679c03c5b1cSMartin Matuska     if (dctx->fParams.checksumFlag) { /* Frame content checksum verification */
680c03c5b1cSMartin Matuska         U32 const checkCalc = (U32)XXH64_digest(&dctx->xxhState);
681c03c5b1cSMartin Matuska         U32 checkRead;
682c03c5b1cSMartin Matuska         RETURN_ERROR_IF(remainingSrcSize<4, checksum_wrong, "");
683c03c5b1cSMartin Matuska         checkRead = MEM_readLE32(ip);
684c03c5b1cSMartin Matuska         RETURN_ERROR_IF(checkRead != checkCalc, checksum_wrong, "");
685c03c5b1cSMartin Matuska         ip += 4;
686c03c5b1cSMartin Matuska         remainingSrcSize -= 4;
687c03c5b1cSMartin Matuska     }
688c03c5b1cSMartin Matuska 
689c03c5b1cSMartin Matuska     /* Allow caller to get size read */
690c03c5b1cSMartin Matuska     *srcPtr = ip;
691c03c5b1cSMartin Matuska     *srcSizePtr = remainingSrcSize;
692c03c5b1cSMartin Matuska     return op-ostart;
693c03c5b1cSMartin Matuska }
694c03c5b1cSMartin Matuska 
ZSTD_decompressMultiFrame(ZSTD_DCtx * dctx,void * dst,size_t dstCapacity,const void * src,size_t srcSize,const void * dict,size_t dictSize,const ZSTD_DDict * ddict)695c03c5b1cSMartin Matuska static size_t ZSTD_decompressMultiFrame(ZSTD_DCtx* dctx,
696c03c5b1cSMartin Matuska                                         void* dst, size_t dstCapacity,
697c03c5b1cSMartin Matuska                                   const void* src, size_t srcSize,
698c03c5b1cSMartin Matuska                                   const void* dict, size_t dictSize,
699c03c5b1cSMartin Matuska                                   const ZSTD_DDict* ddict)
700c03c5b1cSMartin Matuska {
701c03c5b1cSMartin Matuska     void* const dststart = dst;
702c03c5b1cSMartin Matuska     int moreThan1Frame = 0;
703c03c5b1cSMartin Matuska 
704c03c5b1cSMartin Matuska     DEBUGLOG(5, "ZSTD_decompressMultiFrame");
705c03c5b1cSMartin Matuska     assert(dict==NULL || ddict==NULL);  /* either dict or ddict set, not both */
706c03c5b1cSMartin Matuska 
707c03c5b1cSMartin Matuska     if (ddict) {
708c03c5b1cSMartin Matuska         dict = ZSTD_DDict_dictContent(ddict);
709c03c5b1cSMartin Matuska         dictSize = ZSTD_DDict_dictSize(ddict);
710c03c5b1cSMartin Matuska     }
711c03c5b1cSMartin Matuska 
712c03c5b1cSMartin Matuska     while (srcSize >= ZSTD_startingInputLength(dctx->format)) {
713c03c5b1cSMartin Matuska 
714c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT >= 1)
715c03c5b1cSMartin Matuska         if (ZSTD_isLegacy(src, srcSize)) {
716c03c5b1cSMartin Matuska             size_t decodedSize;
717c03c5b1cSMartin Matuska             size_t const frameSize = ZSTD_findFrameCompressedSizeLegacy(src, srcSize);
718c03c5b1cSMartin Matuska             if (ZSTD_isError(frameSize)) return frameSize;
719c03c5b1cSMartin Matuska             RETURN_ERROR_IF(dctx->staticSize, memory_allocation,
720c03c5b1cSMartin Matuska                 "legacy support is not compatible with static dctx");
721c03c5b1cSMartin Matuska 
722c03c5b1cSMartin Matuska             decodedSize = ZSTD_decompressLegacy(dst, dstCapacity, src, frameSize, dict, dictSize);
723c03c5b1cSMartin Matuska             if (ZSTD_isError(decodedSize)) return decodedSize;
724c03c5b1cSMartin Matuska 
725c03c5b1cSMartin Matuska             assert(decodedSize <=- dstCapacity);
726c03c5b1cSMartin Matuska             dst = (BYTE*)dst + decodedSize;
727c03c5b1cSMartin Matuska             dstCapacity -= decodedSize;
728c03c5b1cSMartin Matuska 
729c03c5b1cSMartin Matuska             src = (const BYTE*)src + frameSize;
730c03c5b1cSMartin Matuska             srcSize -= frameSize;
731c03c5b1cSMartin Matuska 
732c03c5b1cSMartin Matuska             continue;
733c03c5b1cSMartin Matuska         }
734c03c5b1cSMartin Matuska #endif
735c03c5b1cSMartin Matuska 
736c03c5b1cSMartin Matuska         {   U32 const magicNumber = MEM_readLE32(src);
737c03c5b1cSMartin Matuska             DEBUGLOG(4, "reading magic number %08X (expecting %08X)",
738c03c5b1cSMartin Matuska                         (unsigned)magicNumber, ZSTD_MAGICNUMBER);
739c03c5b1cSMartin Matuska             if ((magicNumber & ZSTD_MAGIC_SKIPPABLE_MASK) == ZSTD_MAGIC_SKIPPABLE_START) {
740c03c5b1cSMartin Matuska                 size_t const skippableSize = readSkippableFrameSize(src, srcSize);
741c03c5b1cSMartin Matuska                 FORWARD_IF_ERROR(skippableSize, "readSkippableFrameSize failed");
742c03c5b1cSMartin Matuska                 assert(skippableSize <= srcSize);
743c03c5b1cSMartin Matuska 
744c03c5b1cSMartin Matuska                 src = (const BYTE *)src + skippableSize;
745c03c5b1cSMartin Matuska                 srcSize -= skippableSize;
746c03c5b1cSMartin Matuska                 continue;
747c03c5b1cSMartin Matuska         }   }
748c03c5b1cSMartin Matuska 
749c03c5b1cSMartin Matuska         if (ddict) {
750c03c5b1cSMartin Matuska             /* we were called from ZSTD_decompress_usingDDict */
751c03c5b1cSMartin Matuska             FORWARD_IF_ERROR(ZSTD_decompressBegin_usingDDict(dctx, ddict), "");
752c03c5b1cSMartin Matuska         } else {
753c03c5b1cSMartin Matuska             /* this will initialize correctly with no dict if dict == NULL, so
754c03c5b1cSMartin Matuska              * use this in all cases but ddict */
755c03c5b1cSMartin Matuska             FORWARD_IF_ERROR(ZSTD_decompressBegin_usingDict(dctx, dict, dictSize), "");
756c03c5b1cSMartin Matuska         }
757c03c5b1cSMartin Matuska         ZSTD_checkContinuity(dctx, dst);
758c03c5b1cSMartin Matuska 
759c03c5b1cSMartin Matuska         {   const size_t res = ZSTD_decompressFrame(dctx, dst, dstCapacity,
760c03c5b1cSMartin Matuska                                                     &src, &srcSize);
761c03c5b1cSMartin Matuska             RETURN_ERROR_IF(
762c03c5b1cSMartin Matuska                 (ZSTD_getErrorCode(res) == ZSTD_error_prefix_unknown)
763c03c5b1cSMartin Matuska              && (moreThan1Frame==1),
764c03c5b1cSMartin Matuska                 srcSize_wrong,
765c03c5b1cSMartin Matuska                 "at least one frame successfully completed, but following "
766c03c5b1cSMartin Matuska                 "bytes are garbage: it's more likely to be a srcSize error, "
767c03c5b1cSMartin Matuska                 "specifying more bytes than compressed size of frame(s). This "
768c03c5b1cSMartin Matuska                 "error message replaces ERROR(prefix_unknown), which would be "
769c03c5b1cSMartin Matuska                 "confusing, as the first header is actually correct. Note that "
770c03c5b1cSMartin Matuska                 "one could be unlucky, it might be a corruption error instead, "
771c03c5b1cSMartin Matuska                 "happening right at the place where we expect zstd magic "
772c03c5b1cSMartin Matuska                 "bytes. But this is _much_ less likely than a srcSize field "
773c03c5b1cSMartin Matuska                 "error.");
774c03c5b1cSMartin Matuska             if (ZSTD_isError(res)) return res;
775c03c5b1cSMartin Matuska             assert(res <= dstCapacity);
776c03c5b1cSMartin Matuska             if (res != 0)
777c03c5b1cSMartin Matuska                 dst = (BYTE*)dst + res;
778c03c5b1cSMartin Matuska             dstCapacity -= res;
779c03c5b1cSMartin Matuska         }
780c03c5b1cSMartin Matuska         moreThan1Frame = 1;
781c03c5b1cSMartin Matuska     }  /* while (srcSize >= ZSTD_frameHeaderSize_prefix) */
782c03c5b1cSMartin Matuska 
783c03c5b1cSMartin Matuska     RETURN_ERROR_IF(srcSize, srcSize_wrong, "input not entirely consumed");
784c03c5b1cSMartin Matuska 
785c03c5b1cSMartin Matuska     return (BYTE*)dst - (BYTE*)dststart;
786c03c5b1cSMartin Matuska }
787c03c5b1cSMartin Matuska 
ZSTD_decompress_usingDict(ZSTD_DCtx * dctx,void * dst,size_t dstCapacity,const void * src,size_t srcSize,const void * dict,size_t dictSize)788c03c5b1cSMartin Matuska size_t ZSTD_decompress_usingDict(ZSTD_DCtx* dctx,
789c03c5b1cSMartin Matuska                                  void* dst, size_t dstCapacity,
790c03c5b1cSMartin Matuska                            const void* src, size_t srcSize,
791c03c5b1cSMartin Matuska                            const void* dict, size_t dictSize)
792c03c5b1cSMartin Matuska {
793c03c5b1cSMartin Matuska     return ZSTD_decompressMultiFrame(dctx, dst, dstCapacity, src, srcSize, dict, dictSize, NULL);
794c03c5b1cSMartin Matuska }
795c03c5b1cSMartin Matuska 
796c03c5b1cSMartin Matuska 
ZSTD_getDDict(ZSTD_DCtx * dctx)797c03c5b1cSMartin Matuska static ZSTD_DDict const* ZSTD_getDDict(ZSTD_DCtx* dctx)
798c03c5b1cSMartin Matuska {
799c03c5b1cSMartin Matuska     switch (dctx->dictUses) {
800c03c5b1cSMartin Matuska     default:
801c03c5b1cSMartin Matuska         assert(0 /* Impossible */);
802c03c5b1cSMartin Matuska         /* fall-through */
803c03c5b1cSMartin Matuska     case ZSTD_dont_use:
804c03c5b1cSMartin Matuska         ZSTD_clearDict(dctx);
805c03c5b1cSMartin Matuska         return NULL;
806c03c5b1cSMartin Matuska     case ZSTD_use_indefinitely:
807c03c5b1cSMartin Matuska         return dctx->ddict;
808c03c5b1cSMartin Matuska     case ZSTD_use_once:
809c03c5b1cSMartin Matuska         dctx->dictUses = ZSTD_dont_use;
810c03c5b1cSMartin Matuska         return dctx->ddict;
811c03c5b1cSMartin Matuska     }
812c03c5b1cSMartin Matuska }
813c03c5b1cSMartin Matuska 
ZSTD_decompressDCtx(ZSTD_DCtx * dctx,void * dst,size_t dstCapacity,const void * src,size_t srcSize)814c03c5b1cSMartin Matuska size_t ZSTD_decompressDCtx(ZSTD_DCtx* dctx, void* dst, size_t dstCapacity, const void* src, size_t srcSize)
815c03c5b1cSMartin Matuska {
816c03c5b1cSMartin Matuska     return ZSTD_decompress_usingDDict(dctx, dst, dstCapacity, src, srcSize, ZSTD_getDDict(dctx));
817c03c5b1cSMartin Matuska }
818c03c5b1cSMartin Matuska 
819c03c5b1cSMartin Matuska 
ZSTD_decompress(void * dst,size_t dstCapacity,const void * src,size_t srcSize)820c03c5b1cSMartin Matuska size_t ZSTD_decompress(void* dst, size_t dstCapacity, const void* src, size_t srcSize)
821c03c5b1cSMartin Matuska {
822c03c5b1cSMartin Matuska #if defined(ZSTD_HEAPMODE) && (ZSTD_HEAPMODE>=1)
823c03c5b1cSMartin Matuska     size_t regenSize;
824c03c5b1cSMartin Matuska     ZSTD_DCtx* const dctx = ZSTD_createDCtx();
825c03c5b1cSMartin Matuska     RETURN_ERROR_IF(dctx==NULL, memory_allocation, "NULL pointer!");
826c03c5b1cSMartin Matuska     regenSize = ZSTD_decompressDCtx(dctx, dst, dstCapacity, src, srcSize);
827c03c5b1cSMartin Matuska     ZSTD_freeDCtx(dctx);
828c03c5b1cSMartin Matuska     return regenSize;
829c03c5b1cSMartin Matuska #else   /* stack mode */
830c03c5b1cSMartin Matuska     ZSTD_DCtx dctx;
831c03c5b1cSMartin Matuska     ZSTD_initDCtx_internal(&dctx);
832c03c5b1cSMartin Matuska     return ZSTD_decompressDCtx(&dctx, dst, dstCapacity, src, srcSize);
833c03c5b1cSMartin Matuska #endif
834c03c5b1cSMartin Matuska }
835c03c5b1cSMartin Matuska 
836c03c5b1cSMartin Matuska 
837c03c5b1cSMartin Matuska /*-**************************************
838c03c5b1cSMartin Matuska *   Advanced Streaming Decompression API
839c03c5b1cSMartin Matuska *   Bufferless and synchronous
840c03c5b1cSMartin Matuska ****************************************/
ZSTD_nextSrcSizeToDecompress(ZSTD_DCtx * dctx)841c03c5b1cSMartin Matuska size_t ZSTD_nextSrcSizeToDecompress(ZSTD_DCtx* dctx) { return dctx->expected; }
842c03c5b1cSMartin Matuska 
843c03c5b1cSMartin Matuska /**
844c03c5b1cSMartin Matuska  * Similar to ZSTD_nextSrcSizeToDecompress(), but when when a block input can be streamed,
845c03c5b1cSMartin Matuska  * we allow taking a partial block as the input. Currently only raw uncompressed blocks can
846c03c5b1cSMartin Matuska  * be streamed.
847c03c5b1cSMartin Matuska  *
848c03c5b1cSMartin Matuska  * For blocks that can be streamed, this allows us to reduce the latency until we produce
849c03c5b1cSMartin Matuska  * output, and avoid copying the input.
850c03c5b1cSMartin Matuska  *
851c03c5b1cSMartin Matuska  * @param inputSize - The total amount of input that the caller currently has.
852c03c5b1cSMartin Matuska  */
ZSTD_nextSrcSizeToDecompressWithInputSize(ZSTD_DCtx * dctx,size_t inputSize)853c03c5b1cSMartin Matuska static size_t ZSTD_nextSrcSizeToDecompressWithInputSize(ZSTD_DCtx* dctx, size_t inputSize) {
854c03c5b1cSMartin Matuska     if (!(dctx->stage == ZSTDds_decompressBlock || dctx->stage == ZSTDds_decompressLastBlock))
855c03c5b1cSMartin Matuska         return dctx->expected;
856c03c5b1cSMartin Matuska     if (dctx->bType != bt_raw)
857c03c5b1cSMartin Matuska         return dctx->expected;
858c03c5b1cSMartin Matuska     return MIN(MAX(inputSize, 1), dctx->expected);
859c03c5b1cSMartin Matuska }
860c03c5b1cSMartin Matuska 
ZSTD_nextInputType(ZSTD_DCtx * dctx)861c03c5b1cSMartin Matuska ZSTD_nextInputType_e ZSTD_nextInputType(ZSTD_DCtx* dctx) {
862c03c5b1cSMartin Matuska     switch(dctx->stage)
863c03c5b1cSMartin Matuska     {
864c03c5b1cSMartin Matuska     default:   /* should not happen */
865c03c5b1cSMartin Matuska         assert(0);
866c03c5b1cSMartin Matuska     case ZSTDds_getFrameHeaderSize:
867c03c5b1cSMartin Matuska     case ZSTDds_decodeFrameHeader:
868c03c5b1cSMartin Matuska         return ZSTDnit_frameHeader;
869c03c5b1cSMartin Matuska     case ZSTDds_decodeBlockHeader:
870c03c5b1cSMartin Matuska         return ZSTDnit_blockHeader;
871c03c5b1cSMartin Matuska     case ZSTDds_decompressBlock:
872c03c5b1cSMartin Matuska         return ZSTDnit_block;
873c03c5b1cSMartin Matuska     case ZSTDds_decompressLastBlock:
874c03c5b1cSMartin Matuska         return ZSTDnit_lastBlock;
875c03c5b1cSMartin Matuska     case ZSTDds_checkChecksum:
876c03c5b1cSMartin Matuska         return ZSTDnit_checksum;
877c03c5b1cSMartin Matuska     case ZSTDds_decodeSkippableHeader:
878c03c5b1cSMartin Matuska     case ZSTDds_skipFrame:
879c03c5b1cSMartin Matuska         return ZSTDnit_skippableFrame;
880c03c5b1cSMartin Matuska     }
881c03c5b1cSMartin Matuska }
882c03c5b1cSMartin Matuska 
ZSTD_isSkipFrame(ZSTD_DCtx * dctx)883c03c5b1cSMartin Matuska static int ZSTD_isSkipFrame(ZSTD_DCtx* dctx) { return dctx->stage == ZSTDds_skipFrame; }
884c03c5b1cSMartin Matuska 
885c03c5b1cSMartin Matuska /** ZSTD_decompressContinue() :
886c03c5b1cSMartin Matuska  *  srcSize : must be the exact nb of bytes expected (see ZSTD_nextSrcSizeToDecompress())
887c03c5b1cSMartin Matuska  *  @return : nb of bytes generated into `dst` (necessarily <= `dstCapacity)
888c03c5b1cSMartin Matuska  *            or an error code, which can be tested using ZSTD_isError() */
ZSTD_decompressContinue(ZSTD_DCtx * dctx,void * dst,size_t dstCapacity,const void * src,size_t srcSize)889c03c5b1cSMartin Matuska size_t ZSTD_decompressContinue(ZSTD_DCtx* dctx, void* dst, size_t dstCapacity, const void* src, size_t srcSize)
890c03c5b1cSMartin Matuska {
891c03c5b1cSMartin Matuska     DEBUGLOG(5, "ZSTD_decompressContinue (srcSize:%u)", (unsigned)srcSize);
892c03c5b1cSMartin Matuska     /* Sanity check */
893c03c5b1cSMartin Matuska     RETURN_ERROR_IF(srcSize != ZSTD_nextSrcSizeToDecompressWithInputSize(dctx, srcSize), srcSize_wrong, "not allowed");
894c03c5b1cSMartin Matuska     if (dstCapacity) ZSTD_checkContinuity(dctx, dst);
895c03c5b1cSMartin Matuska 
896c03c5b1cSMartin Matuska     switch (dctx->stage)
897c03c5b1cSMartin Matuska     {
898c03c5b1cSMartin Matuska     case ZSTDds_getFrameHeaderSize :
899c03c5b1cSMartin Matuska         assert(src != NULL);
900c03c5b1cSMartin Matuska         if (dctx->format == ZSTD_f_zstd1) {  /* allows header */
901c03c5b1cSMartin Matuska             assert(srcSize >= ZSTD_FRAMEIDSIZE);  /* to read skippable magic number */
902c03c5b1cSMartin Matuska             if ((MEM_readLE32(src) & ZSTD_MAGIC_SKIPPABLE_MASK) == ZSTD_MAGIC_SKIPPABLE_START) {        /* skippable frame */
903c03c5b1cSMartin Matuska                 memcpy(dctx->headerBuffer, src, srcSize);
904c03c5b1cSMartin Matuska                 dctx->expected = ZSTD_SKIPPABLEHEADERSIZE - srcSize;  /* remaining to load to get full skippable frame header */
905c03c5b1cSMartin Matuska                 dctx->stage = ZSTDds_decodeSkippableHeader;
906c03c5b1cSMartin Matuska                 return 0;
907c03c5b1cSMartin Matuska         }   }
908c03c5b1cSMartin Matuska         dctx->headerSize = ZSTD_frameHeaderSize_internal(src, srcSize, dctx->format);
909c03c5b1cSMartin Matuska         if (ZSTD_isError(dctx->headerSize)) return dctx->headerSize;
910c03c5b1cSMartin Matuska         memcpy(dctx->headerBuffer, src, srcSize);
911c03c5b1cSMartin Matuska         dctx->expected = dctx->headerSize - srcSize;
912c03c5b1cSMartin Matuska         dctx->stage = ZSTDds_decodeFrameHeader;
913c03c5b1cSMartin Matuska         return 0;
914c03c5b1cSMartin Matuska 
915c03c5b1cSMartin Matuska     case ZSTDds_decodeFrameHeader:
916c03c5b1cSMartin Matuska         assert(src != NULL);
917c03c5b1cSMartin Matuska         memcpy(dctx->headerBuffer + (dctx->headerSize - srcSize), src, srcSize);
918c03c5b1cSMartin Matuska         FORWARD_IF_ERROR(ZSTD_decodeFrameHeader(dctx, dctx->headerBuffer, dctx->headerSize), "");
919c03c5b1cSMartin Matuska         dctx->expected = ZSTD_blockHeaderSize;
920c03c5b1cSMartin Matuska         dctx->stage = ZSTDds_decodeBlockHeader;
921c03c5b1cSMartin Matuska         return 0;
922c03c5b1cSMartin Matuska 
923c03c5b1cSMartin Matuska     case ZSTDds_decodeBlockHeader:
924c03c5b1cSMartin Matuska         {   blockProperties_t bp;
925c03c5b1cSMartin Matuska             size_t const cBlockSize = ZSTD_getcBlockSize(src, ZSTD_blockHeaderSize, &bp);
926c03c5b1cSMartin Matuska             if (ZSTD_isError(cBlockSize)) return cBlockSize;
927c03c5b1cSMartin Matuska             RETURN_ERROR_IF(cBlockSize > dctx->fParams.blockSizeMax, corruption_detected, "Block Size Exceeds Maximum");
928c03c5b1cSMartin Matuska             dctx->expected = cBlockSize;
929c03c5b1cSMartin Matuska             dctx->bType = bp.blockType;
930c03c5b1cSMartin Matuska             dctx->rleSize = bp.origSize;
931c03c5b1cSMartin Matuska             if (cBlockSize) {
932c03c5b1cSMartin Matuska                 dctx->stage = bp.lastBlock ? ZSTDds_decompressLastBlock : ZSTDds_decompressBlock;
933c03c5b1cSMartin Matuska                 return 0;
934c03c5b1cSMartin Matuska             }
935c03c5b1cSMartin Matuska             /* empty block */
936c03c5b1cSMartin Matuska             if (bp.lastBlock) {
937c03c5b1cSMartin Matuska                 if (dctx->fParams.checksumFlag) {
938c03c5b1cSMartin Matuska                     dctx->expected = 4;
939c03c5b1cSMartin Matuska                     dctx->stage = ZSTDds_checkChecksum;
940c03c5b1cSMartin Matuska                 } else {
941c03c5b1cSMartin Matuska                     dctx->expected = 0; /* end of frame */
942c03c5b1cSMartin Matuska                     dctx->stage = ZSTDds_getFrameHeaderSize;
943c03c5b1cSMartin Matuska                 }
944c03c5b1cSMartin Matuska             } else {
945c03c5b1cSMartin Matuska                 dctx->expected = ZSTD_blockHeaderSize;  /* jump to next header */
946c03c5b1cSMartin Matuska                 dctx->stage = ZSTDds_decodeBlockHeader;
947c03c5b1cSMartin Matuska             }
948c03c5b1cSMartin Matuska             return 0;
949c03c5b1cSMartin Matuska         }
950c03c5b1cSMartin Matuska 
951c03c5b1cSMartin Matuska     case ZSTDds_decompressLastBlock:
952c03c5b1cSMartin Matuska     case ZSTDds_decompressBlock:
953c03c5b1cSMartin Matuska         DEBUGLOG(5, "ZSTD_decompressContinue: case ZSTDds_decompressBlock");
954c03c5b1cSMartin Matuska         {   size_t rSize;
955c03c5b1cSMartin Matuska             switch(dctx->bType)
956c03c5b1cSMartin Matuska             {
957c03c5b1cSMartin Matuska             case bt_compressed:
958c03c5b1cSMartin Matuska                 DEBUGLOG(5, "ZSTD_decompressContinue: case bt_compressed");
959c03c5b1cSMartin Matuska                 rSize = ZSTD_decompressBlock_internal(dctx, dst, dstCapacity, src, srcSize, /* frame */ 1);
960c03c5b1cSMartin Matuska                 dctx->expected = 0;  /* Streaming not supported */
961c03c5b1cSMartin Matuska                 break;
962c03c5b1cSMartin Matuska             case bt_raw :
963c03c5b1cSMartin Matuska                 assert(srcSize <= dctx->expected);
964c03c5b1cSMartin Matuska                 rSize = ZSTD_copyRawBlock(dst, dstCapacity, src, srcSize);
965c03c5b1cSMartin Matuska                 FORWARD_IF_ERROR(rSize, "ZSTD_copyRawBlock failed");
966c03c5b1cSMartin Matuska                 assert(rSize == srcSize);
967c03c5b1cSMartin Matuska                 dctx->expected -= rSize;
968c03c5b1cSMartin Matuska                 break;
969c03c5b1cSMartin Matuska             case bt_rle :
970c03c5b1cSMartin Matuska                 rSize = ZSTD_setRleBlock(dst, dstCapacity, *(const BYTE*)src, dctx->rleSize);
971c03c5b1cSMartin Matuska                 dctx->expected = 0;  /* Streaming not supported */
972c03c5b1cSMartin Matuska                 break;
973c03c5b1cSMartin Matuska             case bt_reserved :   /* should never happen */
974c03c5b1cSMartin Matuska             default:
975c03c5b1cSMartin Matuska                 RETURN_ERROR(corruption_detected, "invalid block type");
976c03c5b1cSMartin Matuska             }
977c03c5b1cSMartin Matuska             FORWARD_IF_ERROR(rSize, "");
978c03c5b1cSMartin Matuska             RETURN_ERROR_IF(rSize > dctx->fParams.blockSizeMax, corruption_detected, "Decompressed Block Size Exceeds Maximum");
979c03c5b1cSMartin Matuska             DEBUGLOG(5, "ZSTD_decompressContinue: decoded size from block : %u", (unsigned)rSize);
980c03c5b1cSMartin Matuska             dctx->decodedSize += rSize;
981c03c5b1cSMartin Matuska             if (dctx->fParams.checksumFlag) XXH64_update(&dctx->xxhState, dst, rSize);
982c03c5b1cSMartin Matuska             dctx->previousDstEnd = (char*)dst + rSize;
983c03c5b1cSMartin Matuska 
984c03c5b1cSMartin Matuska             /* Stay on the same stage until we are finished streaming the block. */
985c03c5b1cSMartin Matuska             if (dctx->expected > 0) {
986c03c5b1cSMartin Matuska                 return rSize;
987c03c5b1cSMartin Matuska             }
988c03c5b1cSMartin Matuska 
989c03c5b1cSMartin Matuska             if (dctx->stage == ZSTDds_decompressLastBlock) {   /* end of frame */
990c03c5b1cSMartin Matuska                 DEBUGLOG(4, "ZSTD_decompressContinue: decoded size from frame : %u", (unsigned)dctx->decodedSize);
991c03c5b1cSMartin Matuska                 RETURN_ERROR_IF(
992c03c5b1cSMartin Matuska                     dctx->fParams.frameContentSize != ZSTD_CONTENTSIZE_UNKNOWN
993c03c5b1cSMartin Matuska                  && dctx->decodedSize != dctx->fParams.frameContentSize,
994c03c5b1cSMartin Matuska                     corruption_detected, "");
995c03c5b1cSMartin Matuska                 if (dctx->fParams.checksumFlag) {  /* another round for frame checksum */
996c03c5b1cSMartin Matuska                     dctx->expected = 4;
997c03c5b1cSMartin Matuska                     dctx->stage = ZSTDds_checkChecksum;
998c03c5b1cSMartin Matuska                 } else {
999c03c5b1cSMartin Matuska                     dctx->expected = 0;   /* ends here */
1000c03c5b1cSMartin Matuska                     dctx->stage = ZSTDds_getFrameHeaderSize;
1001c03c5b1cSMartin Matuska                 }
1002c03c5b1cSMartin Matuska             } else {
1003c03c5b1cSMartin Matuska                 dctx->stage = ZSTDds_decodeBlockHeader;
1004c03c5b1cSMartin Matuska                 dctx->expected = ZSTD_blockHeaderSize;
1005c03c5b1cSMartin Matuska             }
1006c03c5b1cSMartin Matuska             return rSize;
1007c03c5b1cSMartin Matuska         }
1008c03c5b1cSMartin Matuska 
1009c03c5b1cSMartin Matuska     case ZSTDds_checkChecksum:
1010c03c5b1cSMartin Matuska         assert(srcSize == 4);  /* guaranteed by dctx->expected */
1011c03c5b1cSMartin Matuska         {   U32 const h32 = (U32)XXH64_digest(&dctx->xxhState);
1012c03c5b1cSMartin Matuska             U32 const check32 = MEM_readLE32(src);
1013c03c5b1cSMartin Matuska             DEBUGLOG(4, "ZSTD_decompressContinue: checksum : calculated %08X :: %08X read", (unsigned)h32, (unsigned)check32);
1014c03c5b1cSMartin Matuska             RETURN_ERROR_IF(check32 != h32, checksum_wrong, "");
1015c03c5b1cSMartin Matuska             dctx->expected = 0;
1016c03c5b1cSMartin Matuska             dctx->stage = ZSTDds_getFrameHeaderSize;
1017c03c5b1cSMartin Matuska             return 0;
1018c03c5b1cSMartin Matuska         }
1019c03c5b1cSMartin Matuska 
1020c03c5b1cSMartin Matuska     case ZSTDds_decodeSkippableHeader:
1021c03c5b1cSMartin Matuska         assert(src != NULL);
1022c03c5b1cSMartin Matuska         assert(srcSize <= ZSTD_SKIPPABLEHEADERSIZE);
1023c03c5b1cSMartin Matuska         memcpy(dctx->headerBuffer + (ZSTD_SKIPPABLEHEADERSIZE - srcSize), src, srcSize);   /* complete skippable header */
1024c03c5b1cSMartin Matuska         dctx->expected = MEM_readLE32(dctx->headerBuffer + ZSTD_FRAMEIDSIZE);   /* note : dctx->expected can grow seriously large, beyond local buffer size */
1025c03c5b1cSMartin Matuska         dctx->stage = ZSTDds_skipFrame;
1026c03c5b1cSMartin Matuska         return 0;
1027c03c5b1cSMartin Matuska 
1028c03c5b1cSMartin Matuska     case ZSTDds_skipFrame:
1029c03c5b1cSMartin Matuska         dctx->expected = 0;
1030c03c5b1cSMartin Matuska         dctx->stage = ZSTDds_getFrameHeaderSize;
1031c03c5b1cSMartin Matuska         return 0;
1032c03c5b1cSMartin Matuska 
1033c03c5b1cSMartin Matuska     default:
1034c03c5b1cSMartin Matuska         assert(0);   /* impossible */
1035c03c5b1cSMartin Matuska         RETURN_ERROR(GENERIC, "impossible to reach");   /* some compiler require default to do something */
1036c03c5b1cSMartin Matuska     }
1037c03c5b1cSMartin Matuska }
1038c03c5b1cSMartin Matuska 
1039c03c5b1cSMartin Matuska 
ZSTD_refDictContent(ZSTD_DCtx * dctx,const void * dict,size_t dictSize)1040c03c5b1cSMartin Matuska static size_t ZSTD_refDictContent(ZSTD_DCtx* dctx, const void* dict, size_t dictSize)
1041c03c5b1cSMartin Matuska {
1042c03c5b1cSMartin Matuska     dctx->dictEnd = dctx->previousDstEnd;
1043c03c5b1cSMartin Matuska     dctx->virtualStart = (const char*)dict - ((const char*)(dctx->previousDstEnd) - (const char*)(dctx->prefixStart));
1044c03c5b1cSMartin Matuska     dctx->prefixStart = dict;
1045c03c5b1cSMartin Matuska     dctx->previousDstEnd = (const char*)dict + dictSize;
1046c03c5b1cSMartin Matuska #ifdef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
1047c03c5b1cSMartin Matuska     dctx->dictContentBeginForFuzzing = dctx->prefixStart;
1048c03c5b1cSMartin Matuska     dctx->dictContentEndForFuzzing = dctx->previousDstEnd;
1049c03c5b1cSMartin Matuska #endif
1050c03c5b1cSMartin Matuska     return 0;
1051c03c5b1cSMartin Matuska }
1052c03c5b1cSMartin Matuska 
1053c03c5b1cSMartin Matuska /*! ZSTD_loadDEntropy() :
1054c03c5b1cSMartin Matuska  *  dict : must point at beginning of a valid zstd dictionary.
1055c03c5b1cSMartin Matuska  * @return : size of entropy tables read */
1056c03c5b1cSMartin Matuska size_t
ZSTD_loadDEntropy(ZSTD_entropyDTables_t * entropy,const void * const dict,size_t const dictSize)1057c03c5b1cSMartin Matuska ZSTD_loadDEntropy(ZSTD_entropyDTables_t* entropy,
1058c03c5b1cSMartin Matuska                   const void* const dict, size_t const dictSize)
1059c03c5b1cSMartin Matuska {
1060c03c5b1cSMartin Matuska     const BYTE* dictPtr = (const BYTE*)dict;
1061c03c5b1cSMartin Matuska     const BYTE* const dictEnd = dictPtr + dictSize;
1062c03c5b1cSMartin Matuska 
1063c03c5b1cSMartin Matuska     RETURN_ERROR_IF(dictSize <= 8, dictionary_corrupted, "dict is too small");
1064c03c5b1cSMartin Matuska     assert(MEM_readLE32(dict) == ZSTD_MAGIC_DICTIONARY);   /* dict must be valid */
1065c03c5b1cSMartin Matuska     dictPtr += 8;   /* skip header = magic + dictID */
1066c03c5b1cSMartin Matuska 
1067c03c5b1cSMartin Matuska     ZSTD_STATIC_ASSERT(offsetof(ZSTD_entropyDTables_t, OFTable) == offsetof(ZSTD_entropyDTables_t, LLTable) + sizeof(entropy->LLTable));
1068c03c5b1cSMartin Matuska     ZSTD_STATIC_ASSERT(offsetof(ZSTD_entropyDTables_t, MLTable) == offsetof(ZSTD_entropyDTables_t, OFTable) + sizeof(entropy->OFTable));
1069c03c5b1cSMartin Matuska     ZSTD_STATIC_ASSERT(sizeof(entropy->LLTable) + sizeof(entropy->OFTable) + sizeof(entropy->MLTable) >= HUF_DECOMPRESS_WORKSPACE_SIZE);
1070c03c5b1cSMartin Matuska     {   void* const workspace = &entropy->LLTable;   /* use fse tables as temporary workspace; implies fse tables are grouped together */
1071c03c5b1cSMartin Matuska         size_t const workspaceSize = sizeof(entropy->LLTable) + sizeof(entropy->OFTable) + sizeof(entropy->MLTable);
1072c03c5b1cSMartin Matuska #ifdef HUF_FORCE_DECOMPRESS_X1
1073c03c5b1cSMartin Matuska         /* in minimal huffman, we always use X1 variants */
1074c03c5b1cSMartin Matuska         size_t const hSize = HUF_readDTableX1_wksp(entropy->hufTable,
1075c03c5b1cSMartin Matuska                                                 dictPtr, dictEnd - dictPtr,
1076c03c5b1cSMartin Matuska                                                 workspace, workspaceSize);
1077c03c5b1cSMartin Matuska #else
1078c03c5b1cSMartin Matuska         size_t const hSize = HUF_readDTableX2_wksp(entropy->hufTable,
1079c03c5b1cSMartin Matuska                                                 dictPtr, dictEnd - dictPtr,
1080c03c5b1cSMartin Matuska                                                 workspace, workspaceSize);
1081c03c5b1cSMartin Matuska #endif
1082c03c5b1cSMartin Matuska         RETURN_ERROR_IF(HUF_isError(hSize), dictionary_corrupted, "");
1083c03c5b1cSMartin Matuska         dictPtr += hSize;
1084c03c5b1cSMartin Matuska     }
1085c03c5b1cSMartin Matuska 
1086c03c5b1cSMartin Matuska     {   short offcodeNCount[MaxOff+1];
1087c03c5b1cSMartin Matuska         unsigned offcodeMaxValue = MaxOff, offcodeLog;
1088c03c5b1cSMartin Matuska         size_t const offcodeHeaderSize = FSE_readNCount(offcodeNCount, &offcodeMaxValue, &offcodeLog, dictPtr, dictEnd-dictPtr);
1089c03c5b1cSMartin Matuska         RETURN_ERROR_IF(FSE_isError(offcodeHeaderSize), dictionary_corrupted, "");
1090c03c5b1cSMartin Matuska         RETURN_ERROR_IF(offcodeMaxValue > MaxOff, dictionary_corrupted, "");
1091c03c5b1cSMartin Matuska         RETURN_ERROR_IF(offcodeLog > OffFSELog, dictionary_corrupted, "");
1092c03c5b1cSMartin Matuska         ZSTD_buildFSETable( entropy->OFTable,
1093c03c5b1cSMartin Matuska                             offcodeNCount, offcodeMaxValue,
1094c03c5b1cSMartin Matuska                             OF_base, OF_bits,
1095c03c5b1cSMartin Matuska                             offcodeLog);
1096c03c5b1cSMartin Matuska         dictPtr += offcodeHeaderSize;
1097c03c5b1cSMartin Matuska     }
1098c03c5b1cSMartin Matuska 
1099c03c5b1cSMartin Matuska     {   short matchlengthNCount[MaxML+1];
1100c03c5b1cSMartin Matuska         unsigned matchlengthMaxValue = MaxML, matchlengthLog;
1101c03c5b1cSMartin Matuska         size_t const matchlengthHeaderSize = FSE_readNCount(matchlengthNCount, &matchlengthMaxValue, &matchlengthLog, dictPtr, dictEnd-dictPtr);
1102c03c5b1cSMartin Matuska         RETURN_ERROR_IF(FSE_isError(matchlengthHeaderSize), dictionary_corrupted, "");
1103c03c5b1cSMartin Matuska         RETURN_ERROR_IF(matchlengthMaxValue > MaxML, dictionary_corrupted, "");
1104c03c5b1cSMartin Matuska         RETURN_ERROR_IF(matchlengthLog > MLFSELog, dictionary_corrupted, "");
1105c03c5b1cSMartin Matuska         ZSTD_buildFSETable( entropy->MLTable,
1106c03c5b1cSMartin Matuska                             matchlengthNCount, matchlengthMaxValue,
1107c03c5b1cSMartin Matuska                             ML_base, ML_bits,
1108c03c5b1cSMartin Matuska                             matchlengthLog);
1109c03c5b1cSMartin Matuska         dictPtr += matchlengthHeaderSize;
1110c03c5b1cSMartin Matuska     }
1111c03c5b1cSMartin Matuska 
1112c03c5b1cSMartin Matuska     {   short litlengthNCount[MaxLL+1];
1113c03c5b1cSMartin Matuska         unsigned litlengthMaxValue = MaxLL, litlengthLog;
1114c03c5b1cSMartin Matuska         size_t const litlengthHeaderSize = FSE_readNCount(litlengthNCount, &litlengthMaxValue, &litlengthLog, dictPtr, dictEnd-dictPtr);
1115c03c5b1cSMartin Matuska         RETURN_ERROR_IF(FSE_isError(litlengthHeaderSize), dictionary_corrupted, "");
1116c03c5b1cSMartin Matuska         RETURN_ERROR_IF(litlengthMaxValue > MaxLL, dictionary_corrupted, "");
1117c03c5b1cSMartin Matuska         RETURN_ERROR_IF(litlengthLog > LLFSELog, dictionary_corrupted, "");
1118c03c5b1cSMartin Matuska         ZSTD_buildFSETable( entropy->LLTable,
1119c03c5b1cSMartin Matuska                             litlengthNCount, litlengthMaxValue,
1120c03c5b1cSMartin Matuska                             LL_base, LL_bits,
1121c03c5b1cSMartin Matuska                             litlengthLog);
1122c03c5b1cSMartin Matuska         dictPtr += litlengthHeaderSize;
1123c03c5b1cSMartin Matuska     }
1124c03c5b1cSMartin Matuska 
1125c03c5b1cSMartin Matuska     RETURN_ERROR_IF(dictPtr+12 > dictEnd, dictionary_corrupted, "");
1126c03c5b1cSMartin Matuska     {   int i;
1127c03c5b1cSMartin Matuska         size_t const dictContentSize = (size_t)(dictEnd - (dictPtr+12));
1128c03c5b1cSMartin Matuska         for (i=0; i<3; i++) {
1129c03c5b1cSMartin Matuska             U32 const rep = MEM_readLE32(dictPtr); dictPtr += 4;
1130c03c5b1cSMartin Matuska             RETURN_ERROR_IF(rep==0 || rep > dictContentSize,
1131c03c5b1cSMartin Matuska                             dictionary_corrupted, "");
1132c03c5b1cSMartin Matuska             entropy->rep[i] = rep;
1133c03c5b1cSMartin Matuska     }   }
1134c03c5b1cSMartin Matuska 
1135c03c5b1cSMartin Matuska     return dictPtr - (const BYTE*)dict;
1136c03c5b1cSMartin Matuska }
1137c03c5b1cSMartin Matuska 
ZSTD_decompress_insertDictionary(ZSTD_DCtx * dctx,const void * dict,size_t dictSize)1138c03c5b1cSMartin Matuska static size_t ZSTD_decompress_insertDictionary(ZSTD_DCtx* dctx, const void* dict, size_t dictSize)
1139c03c5b1cSMartin Matuska {
1140c03c5b1cSMartin Matuska     if (dictSize < 8) return ZSTD_refDictContent(dctx, dict, dictSize);
1141c03c5b1cSMartin Matuska     {   U32 const magic = MEM_readLE32(dict);
1142c03c5b1cSMartin Matuska         if (magic != ZSTD_MAGIC_DICTIONARY) {
1143c03c5b1cSMartin Matuska             return ZSTD_refDictContent(dctx, dict, dictSize);   /* pure content mode */
1144c03c5b1cSMartin Matuska     }   }
1145c03c5b1cSMartin Matuska     dctx->dictID = MEM_readLE32((const char*)dict + ZSTD_FRAMEIDSIZE);
1146c03c5b1cSMartin Matuska 
1147c03c5b1cSMartin Matuska     /* load entropy tables */
1148c03c5b1cSMartin Matuska     {   size_t const eSize = ZSTD_loadDEntropy(&dctx->entropy, dict, dictSize);
1149c03c5b1cSMartin Matuska         RETURN_ERROR_IF(ZSTD_isError(eSize), dictionary_corrupted, "");
1150c03c5b1cSMartin Matuska         dict = (const char*)dict + eSize;
1151c03c5b1cSMartin Matuska         dictSize -= eSize;
1152c03c5b1cSMartin Matuska     }
1153c03c5b1cSMartin Matuska     dctx->litEntropy = dctx->fseEntropy = 1;
1154c03c5b1cSMartin Matuska 
1155c03c5b1cSMartin Matuska     /* reference dictionary content */
1156c03c5b1cSMartin Matuska     return ZSTD_refDictContent(dctx, dict, dictSize);
1157c03c5b1cSMartin Matuska }
1158c03c5b1cSMartin Matuska 
ZSTD_decompressBegin(ZSTD_DCtx * dctx)1159c03c5b1cSMartin Matuska size_t ZSTD_decompressBegin(ZSTD_DCtx* dctx)
1160c03c5b1cSMartin Matuska {
1161c03c5b1cSMartin Matuska     assert(dctx != NULL);
1162c03c5b1cSMartin Matuska     dctx->expected = ZSTD_startingInputLength(dctx->format);  /* dctx->format must be properly set */
1163c03c5b1cSMartin Matuska     dctx->stage = ZSTDds_getFrameHeaderSize;
1164c03c5b1cSMartin Matuska     dctx->decodedSize = 0;
1165c03c5b1cSMartin Matuska     dctx->previousDstEnd = NULL;
1166c03c5b1cSMartin Matuska     dctx->prefixStart = NULL;
1167c03c5b1cSMartin Matuska     dctx->virtualStart = NULL;
1168c03c5b1cSMartin Matuska     dctx->dictEnd = NULL;
1169c03c5b1cSMartin Matuska     dctx->entropy.hufTable[0] = (HUF_DTable)((HufLog)*0x1000001);  /* cover both little and big endian */
1170c03c5b1cSMartin Matuska     dctx->litEntropy = dctx->fseEntropy = 0;
1171c03c5b1cSMartin Matuska     dctx->dictID = 0;
1172c03c5b1cSMartin Matuska     dctx->bType = bt_reserved;
1173c03c5b1cSMartin Matuska     ZSTD_STATIC_ASSERT(sizeof(dctx->entropy.rep) == sizeof(repStartValue));
1174c03c5b1cSMartin Matuska     memcpy(dctx->entropy.rep, repStartValue, sizeof(repStartValue));  /* initial repcodes */
1175c03c5b1cSMartin Matuska     dctx->LLTptr = dctx->entropy.LLTable;
1176c03c5b1cSMartin Matuska     dctx->MLTptr = dctx->entropy.MLTable;
1177c03c5b1cSMartin Matuska     dctx->OFTptr = dctx->entropy.OFTable;
1178c03c5b1cSMartin Matuska     dctx->HUFptr = dctx->entropy.hufTable;
1179c03c5b1cSMartin Matuska     return 0;
1180c03c5b1cSMartin Matuska }
1181c03c5b1cSMartin Matuska 
ZSTD_decompressBegin_usingDict(ZSTD_DCtx * dctx,const void * dict,size_t dictSize)1182c03c5b1cSMartin Matuska size_t ZSTD_decompressBegin_usingDict(ZSTD_DCtx* dctx, const void* dict, size_t dictSize)
1183c03c5b1cSMartin Matuska {
1184c03c5b1cSMartin Matuska     FORWARD_IF_ERROR( ZSTD_decompressBegin(dctx) , "");
1185c03c5b1cSMartin Matuska     if (dict && dictSize)
1186c03c5b1cSMartin Matuska         RETURN_ERROR_IF(
1187c03c5b1cSMartin Matuska             ZSTD_isError(ZSTD_decompress_insertDictionary(dctx, dict, dictSize)),
1188c03c5b1cSMartin Matuska             dictionary_corrupted, "");
1189c03c5b1cSMartin Matuska     return 0;
1190c03c5b1cSMartin Matuska }
1191c03c5b1cSMartin Matuska 
1192c03c5b1cSMartin Matuska 
1193c03c5b1cSMartin Matuska /* ======   ZSTD_DDict   ====== */
1194c03c5b1cSMartin Matuska 
ZSTD_decompressBegin_usingDDict(ZSTD_DCtx * dctx,const ZSTD_DDict * ddict)1195c03c5b1cSMartin Matuska size_t ZSTD_decompressBegin_usingDDict(ZSTD_DCtx* dctx, const ZSTD_DDict* ddict)
1196c03c5b1cSMartin Matuska {
1197c03c5b1cSMartin Matuska     DEBUGLOG(4, "ZSTD_decompressBegin_usingDDict");
1198c03c5b1cSMartin Matuska     assert(dctx != NULL);
1199c03c5b1cSMartin Matuska     if (ddict) {
1200c03c5b1cSMartin Matuska         const char* const dictStart = (const char*)ZSTD_DDict_dictContent(ddict);
1201c03c5b1cSMartin Matuska         size_t const dictSize = ZSTD_DDict_dictSize(ddict);
1202c03c5b1cSMartin Matuska         const void* const dictEnd = dictStart + dictSize;
1203c03c5b1cSMartin Matuska         dctx->ddictIsCold = (dctx->dictEnd != dictEnd);
1204c03c5b1cSMartin Matuska         DEBUGLOG(4, "DDict is %s",
1205c03c5b1cSMartin Matuska                     dctx->ddictIsCold ? "~cold~" : "hot!");
1206c03c5b1cSMartin Matuska     }
1207c03c5b1cSMartin Matuska     FORWARD_IF_ERROR( ZSTD_decompressBegin(dctx) , "");
1208c03c5b1cSMartin Matuska     if (ddict) {   /* NULL ddict is equivalent to no dictionary */
1209c03c5b1cSMartin Matuska         ZSTD_copyDDictParameters(dctx, ddict);
1210c03c5b1cSMartin Matuska     }
1211c03c5b1cSMartin Matuska     return 0;
1212c03c5b1cSMartin Matuska }
1213c03c5b1cSMartin Matuska 
1214c03c5b1cSMartin Matuska /*! ZSTD_getDictID_fromDict() :
1215c03c5b1cSMartin Matuska  *  Provides the dictID stored within dictionary.
1216c03c5b1cSMartin Matuska  *  if @return == 0, the dictionary is not conformant with Zstandard specification.
1217c03c5b1cSMartin Matuska  *  It can still be loaded, but as a content-only dictionary. */
ZSTD_getDictID_fromDict(const void * dict,size_t dictSize)1218c03c5b1cSMartin Matuska unsigned ZSTD_getDictID_fromDict(const void* dict, size_t dictSize)
1219c03c5b1cSMartin Matuska {
1220c03c5b1cSMartin Matuska     if (dictSize < 8) return 0;
1221c03c5b1cSMartin Matuska     if (MEM_readLE32(dict) != ZSTD_MAGIC_DICTIONARY) return 0;
1222c03c5b1cSMartin Matuska     return MEM_readLE32((const char*)dict + ZSTD_FRAMEIDSIZE);
1223c03c5b1cSMartin Matuska }
1224c03c5b1cSMartin Matuska 
1225c03c5b1cSMartin Matuska /*! ZSTD_getDictID_fromFrame() :
1226c03c5b1cSMartin Matuska  *  Provides the dictID required to decompress frame stored within `src`.
1227c03c5b1cSMartin Matuska  *  If @return == 0, the dictID could not be decoded.
1228c03c5b1cSMartin Matuska  *  This could for one of the following reasons :
1229c03c5b1cSMartin Matuska  *  - The frame does not require a dictionary (most common case).
1230c03c5b1cSMartin Matuska  *  - The frame was built with dictID intentionally removed.
1231c03c5b1cSMartin Matuska  *    Needed dictionary is a hidden information.
1232c03c5b1cSMartin Matuska  *    Note : this use case also happens when using a non-conformant dictionary.
1233c03c5b1cSMartin Matuska  *  - `srcSize` is too small, and as a result, frame header could not be decoded.
1234c03c5b1cSMartin Matuska  *    Note : possible if `srcSize < ZSTD_FRAMEHEADERSIZE_MAX`.
1235c03c5b1cSMartin Matuska  *  - This is not a Zstandard frame.
1236c03c5b1cSMartin Matuska  *  When identifying the exact failure cause, it's possible to use
1237c03c5b1cSMartin Matuska  *  ZSTD_getFrameHeader(), which will provide a more precise error code. */
ZSTD_getDictID_fromFrame(const void * src,size_t srcSize)1238c03c5b1cSMartin Matuska unsigned ZSTD_getDictID_fromFrame(const void* src, size_t srcSize)
1239c03c5b1cSMartin Matuska {
1240c03c5b1cSMartin Matuska     ZSTD_frameHeader zfp = { 0, 0, 0, ZSTD_frame, 0, 0, 0 };
1241c03c5b1cSMartin Matuska     size_t const hError = ZSTD_getFrameHeader(&zfp, src, srcSize);
1242c03c5b1cSMartin Matuska     if (ZSTD_isError(hError)) return 0;
1243c03c5b1cSMartin Matuska     return zfp.dictID;
1244c03c5b1cSMartin Matuska }
1245c03c5b1cSMartin Matuska 
1246c03c5b1cSMartin Matuska 
1247c03c5b1cSMartin Matuska /*! ZSTD_decompress_usingDDict() :
1248c03c5b1cSMartin Matuska *   Decompression using a pre-digested Dictionary
1249c03c5b1cSMartin Matuska *   Use dictionary without significant overhead. */
ZSTD_decompress_usingDDict(ZSTD_DCtx * dctx,void * dst,size_t dstCapacity,const void * src,size_t srcSize,const ZSTD_DDict * ddict)1250c03c5b1cSMartin Matuska size_t ZSTD_decompress_usingDDict(ZSTD_DCtx* dctx,
1251c03c5b1cSMartin Matuska                                   void* dst, size_t dstCapacity,
1252c03c5b1cSMartin Matuska                             const void* src, size_t srcSize,
1253c03c5b1cSMartin Matuska                             const ZSTD_DDict* ddict)
1254c03c5b1cSMartin Matuska {
1255c03c5b1cSMartin Matuska     /* pass content and size in case legacy frames are encountered */
1256c03c5b1cSMartin Matuska     return ZSTD_decompressMultiFrame(dctx, dst, dstCapacity, src, srcSize,
1257c03c5b1cSMartin Matuska                                      NULL, 0,
1258c03c5b1cSMartin Matuska                                      ddict);
1259c03c5b1cSMartin Matuska }
1260c03c5b1cSMartin Matuska 
1261c03c5b1cSMartin Matuska 
1262c03c5b1cSMartin Matuska /*=====================================
1263c03c5b1cSMartin Matuska *   Streaming decompression
1264c03c5b1cSMartin Matuska *====================================*/
1265c03c5b1cSMartin Matuska 
ZSTD_createDStream(void)1266c03c5b1cSMartin Matuska ZSTD_DStream* ZSTD_createDStream(void)
1267c03c5b1cSMartin Matuska {
1268c03c5b1cSMartin Matuska     DEBUGLOG(3, "ZSTD_createDStream");
1269c03c5b1cSMartin Matuska     return ZSTD_createDStream_advanced(ZSTD_defaultCMem);
1270c03c5b1cSMartin Matuska }
1271c03c5b1cSMartin Matuska 
ZSTD_initStaticDStream(void * workspace,size_t workspaceSize)1272c03c5b1cSMartin Matuska ZSTD_DStream* ZSTD_initStaticDStream(void *workspace, size_t workspaceSize)
1273c03c5b1cSMartin Matuska {
1274c03c5b1cSMartin Matuska     return ZSTD_initStaticDCtx(workspace, workspaceSize);
1275c03c5b1cSMartin Matuska }
1276c03c5b1cSMartin Matuska 
ZSTD_createDStream_advanced(ZSTD_customMem customMem)1277c03c5b1cSMartin Matuska ZSTD_DStream* ZSTD_createDStream_advanced(ZSTD_customMem customMem)
1278c03c5b1cSMartin Matuska {
1279c03c5b1cSMartin Matuska     return ZSTD_createDCtx_advanced(customMem);
1280c03c5b1cSMartin Matuska }
1281c03c5b1cSMartin Matuska 
ZSTD_freeDStream(ZSTD_DStream * zds)1282c03c5b1cSMartin Matuska size_t ZSTD_freeDStream(ZSTD_DStream* zds)
1283c03c5b1cSMartin Matuska {
1284c03c5b1cSMartin Matuska     return ZSTD_freeDCtx(zds);
1285c03c5b1cSMartin Matuska }
1286c03c5b1cSMartin Matuska 
1287c03c5b1cSMartin Matuska 
1288c03c5b1cSMartin Matuska /* ***  Initialization  *** */
1289c03c5b1cSMartin Matuska 
ZSTD_DStreamInSize(void)1290c03c5b1cSMartin Matuska size_t ZSTD_DStreamInSize(void)  { return ZSTD_BLOCKSIZE_MAX + ZSTD_blockHeaderSize; }
ZSTD_DStreamOutSize(void)1291c03c5b1cSMartin Matuska size_t ZSTD_DStreamOutSize(void) { return ZSTD_BLOCKSIZE_MAX; }
1292c03c5b1cSMartin Matuska 
ZSTD_DCtx_loadDictionary_advanced(ZSTD_DCtx * dctx,const void * dict,size_t dictSize,ZSTD_dictLoadMethod_e dictLoadMethod,ZSTD_dictContentType_e dictContentType)1293c03c5b1cSMartin Matuska size_t ZSTD_DCtx_loadDictionary_advanced(ZSTD_DCtx* dctx,
1294c03c5b1cSMartin Matuska                                    const void* dict, size_t dictSize,
1295c03c5b1cSMartin Matuska                                          ZSTD_dictLoadMethod_e dictLoadMethod,
1296c03c5b1cSMartin Matuska                                          ZSTD_dictContentType_e dictContentType)
1297c03c5b1cSMartin Matuska {
1298c03c5b1cSMartin Matuska     RETURN_ERROR_IF(dctx->streamStage != zdss_init, stage_wrong, "");
1299c03c5b1cSMartin Matuska     ZSTD_clearDict(dctx);
1300c03c5b1cSMartin Matuska     if (dict && dictSize != 0) {
1301c03c5b1cSMartin Matuska         dctx->ddictLocal = ZSTD_createDDict_advanced(dict, dictSize, dictLoadMethod, dictContentType, dctx->customMem);
1302c03c5b1cSMartin Matuska         RETURN_ERROR_IF(dctx->ddictLocal == NULL, memory_allocation, "NULL pointer!");
1303c03c5b1cSMartin Matuska         dctx->ddict = dctx->ddictLocal;
1304c03c5b1cSMartin Matuska         dctx->dictUses = ZSTD_use_indefinitely;
1305c03c5b1cSMartin Matuska     }
1306c03c5b1cSMartin Matuska     return 0;
1307c03c5b1cSMartin Matuska }
1308c03c5b1cSMartin Matuska 
ZSTD_DCtx_loadDictionary_byReference(ZSTD_DCtx * dctx,const void * dict,size_t dictSize)1309c03c5b1cSMartin Matuska size_t ZSTD_DCtx_loadDictionary_byReference(ZSTD_DCtx* dctx, const void* dict, size_t dictSize)
1310c03c5b1cSMartin Matuska {
1311c03c5b1cSMartin Matuska     return ZSTD_DCtx_loadDictionary_advanced(dctx, dict, dictSize, ZSTD_dlm_byRef, ZSTD_dct_auto);
1312c03c5b1cSMartin Matuska }
1313c03c5b1cSMartin Matuska 
ZSTD_DCtx_loadDictionary(ZSTD_DCtx * dctx,const void * dict,size_t dictSize)1314c03c5b1cSMartin Matuska size_t ZSTD_DCtx_loadDictionary(ZSTD_DCtx* dctx, const void* dict, size_t dictSize)
1315c03c5b1cSMartin Matuska {
1316c03c5b1cSMartin Matuska     return ZSTD_DCtx_loadDictionary_advanced(dctx, dict, dictSize, ZSTD_dlm_byCopy, ZSTD_dct_auto);
1317c03c5b1cSMartin Matuska }
1318c03c5b1cSMartin Matuska 
ZSTD_DCtx_refPrefix_advanced(ZSTD_DCtx * dctx,const void * prefix,size_t prefixSize,ZSTD_dictContentType_e dictContentType)1319c03c5b1cSMartin Matuska size_t ZSTD_DCtx_refPrefix_advanced(ZSTD_DCtx* dctx, const void* prefix, size_t prefixSize, ZSTD_dictContentType_e dictContentType)
1320c03c5b1cSMartin Matuska {
1321c03c5b1cSMartin Matuska     FORWARD_IF_ERROR(ZSTD_DCtx_loadDictionary_advanced(dctx, prefix, prefixSize, ZSTD_dlm_byRef, dictContentType), "");
1322c03c5b1cSMartin Matuska     dctx->dictUses = ZSTD_use_once;
1323c03c5b1cSMartin Matuska     return 0;
1324c03c5b1cSMartin Matuska }
1325c03c5b1cSMartin Matuska 
ZSTD_DCtx_refPrefix(ZSTD_DCtx * dctx,const void * prefix,size_t prefixSize)1326c03c5b1cSMartin Matuska size_t ZSTD_DCtx_refPrefix(ZSTD_DCtx* dctx, const void* prefix, size_t prefixSize)
1327c03c5b1cSMartin Matuska {
1328c03c5b1cSMartin Matuska     return ZSTD_DCtx_refPrefix_advanced(dctx, prefix, prefixSize, ZSTD_dct_rawContent);
1329c03c5b1cSMartin Matuska }
1330c03c5b1cSMartin Matuska 
1331c03c5b1cSMartin Matuska 
1332c03c5b1cSMartin Matuska /* ZSTD_initDStream_usingDict() :
1333c03c5b1cSMartin Matuska  * return : expected size, aka ZSTD_startingInputLength().
1334c03c5b1cSMartin Matuska  * this function cannot fail */
ZSTD_initDStream_usingDict(ZSTD_DStream * zds,const void * dict,size_t dictSize)1335c03c5b1cSMartin Matuska size_t ZSTD_initDStream_usingDict(ZSTD_DStream* zds, const void* dict, size_t dictSize)
1336c03c5b1cSMartin Matuska {
1337c03c5b1cSMartin Matuska     DEBUGLOG(4, "ZSTD_initDStream_usingDict");
1338c03c5b1cSMartin Matuska     FORWARD_IF_ERROR( ZSTD_DCtx_reset(zds, ZSTD_reset_session_only) , "");
1339c03c5b1cSMartin Matuska     FORWARD_IF_ERROR( ZSTD_DCtx_loadDictionary(zds, dict, dictSize) , "");
1340c03c5b1cSMartin Matuska     return ZSTD_startingInputLength(zds->format);
1341c03c5b1cSMartin Matuska }
1342c03c5b1cSMartin Matuska 
1343c03c5b1cSMartin Matuska /* note : this variant can't fail */
ZSTD_initDStream(ZSTD_DStream * zds)1344c03c5b1cSMartin Matuska size_t ZSTD_initDStream(ZSTD_DStream* zds)
1345c03c5b1cSMartin Matuska {
1346c03c5b1cSMartin Matuska     DEBUGLOG(4, "ZSTD_initDStream");
1347c03c5b1cSMartin Matuska     return ZSTD_initDStream_usingDDict(zds, NULL);
1348c03c5b1cSMartin Matuska }
1349c03c5b1cSMartin Matuska 
1350c03c5b1cSMartin Matuska /* ZSTD_initDStream_usingDDict() :
1351c03c5b1cSMartin Matuska  * ddict will just be referenced, and must outlive decompression session
1352c03c5b1cSMartin Matuska  * this function cannot fail */
ZSTD_initDStream_usingDDict(ZSTD_DStream * dctx,const ZSTD_DDict * ddict)1353c03c5b1cSMartin Matuska size_t ZSTD_initDStream_usingDDict(ZSTD_DStream* dctx, const ZSTD_DDict* ddict)
1354c03c5b1cSMartin Matuska {
1355c03c5b1cSMartin Matuska     FORWARD_IF_ERROR( ZSTD_DCtx_reset(dctx, ZSTD_reset_session_only) , "");
1356c03c5b1cSMartin Matuska     FORWARD_IF_ERROR( ZSTD_DCtx_refDDict(dctx, ddict) , "");
1357c03c5b1cSMartin Matuska     return ZSTD_startingInputLength(dctx->format);
1358c03c5b1cSMartin Matuska }
1359c03c5b1cSMartin Matuska 
1360c03c5b1cSMartin Matuska /* ZSTD_resetDStream() :
1361c03c5b1cSMartin Matuska  * return : expected size, aka ZSTD_startingInputLength().
1362c03c5b1cSMartin Matuska  * this function cannot fail */
ZSTD_resetDStream(ZSTD_DStream * dctx)1363c03c5b1cSMartin Matuska size_t ZSTD_resetDStream(ZSTD_DStream* dctx)
1364c03c5b1cSMartin Matuska {
1365c03c5b1cSMartin Matuska     FORWARD_IF_ERROR(ZSTD_DCtx_reset(dctx, ZSTD_reset_session_only), "");
1366c03c5b1cSMartin Matuska     return ZSTD_startingInputLength(dctx->format);
1367c03c5b1cSMartin Matuska }
1368c03c5b1cSMartin Matuska 
1369c03c5b1cSMartin Matuska 
ZSTD_DCtx_refDDict(ZSTD_DCtx * dctx,const ZSTD_DDict * ddict)1370c03c5b1cSMartin Matuska size_t ZSTD_DCtx_refDDict(ZSTD_DCtx* dctx, const ZSTD_DDict* ddict)
1371c03c5b1cSMartin Matuska {
1372c03c5b1cSMartin Matuska     RETURN_ERROR_IF(dctx->streamStage != zdss_init, stage_wrong, "");
1373c03c5b1cSMartin Matuska     ZSTD_clearDict(dctx);
1374c03c5b1cSMartin Matuska     if (ddict) {
1375c03c5b1cSMartin Matuska         dctx->ddict = ddict;
1376c03c5b1cSMartin Matuska         dctx->dictUses = ZSTD_use_indefinitely;
1377c03c5b1cSMartin Matuska     }
1378c03c5b1cSMartin Matuska     return 0;
1379c03c5b1cSMartin Matuska }
1380c03c5b1cSMartin Matuska 
1381c03c5b1cSMartin Matuska /* ZSTD_DCtx_setMaxWindowSize() :
1382c03c5b1cSMartin Matuska  * note : no direct equivalence in ZSTD_DCtx_setParameter,
1383c03c5b1cSMartin Matuska  * since this version sets windowSize, and the other sets windowLog */
ZSTD_DCtx_setMaxWindowSize(ZSTD_DCtx * dctx,size_t maxWindowSize)1384c03c5b1cSMartin Matuska size_t ZSTD_DCtx_setMaxWindowSize(ZSTD_DCtx* dctx, size_t maxWindowSize)
1385c03c5b1cSMartin Matuska {
1386c03c5b1cSMartin Matuska     ZSTD_bounds const bounds = ZSTD_dParam_getBounds(ZSTD_d_windowLogMax);
1387c03c5b1cSMartin Matuska     size_t const min = (size_t)1 << bounds.lowerBound;
1388c03c5b1cSMartin Matuska     size_t const max = (size_t)1 << bounds.upperBound;
1389c03c5b1cSMartin Matuska     RETURN_ERROR_IF(dctx->streamStage != zdss_init, stage_wrong, "");
1390c03c5b1cSMartin Matuska     RETURN_ERROR_IF(maxWindowSize < min, parameter_outOfBound, "");
1391c03c5b1cSMartin Matuska     RETURN_ERROR_IF(maxWindowSize > max, parameter_outOfBound, "");
1392c03c5b1cSMartin Matuska     dctx->maxWindowSize = maxWindowSize;
1393c03c5b1cSMartin Matuska     return 0;
1394c03c5b1cSMartin Matuska }
1395c03c5b1cSMartin Matuska 
ZSTD_DCtx_setFormat(ZSTD_DCtx * dctx,ZSTD_format_e format)1396c03c5b1cSMartin Matuska size_t ZSTD_DCtx_setFormat(ZSTD_DCtx* dctx, ZSTD_format_e format)
1397c03c5b1cSMartin Matuska {
1398c03c5b1cSMartin Matuska     return ZSTD_DCtx_setParameter(dctx, ZSTD_d_format, format);
1399c03c5b1cSMartin Matuska }
1400c03c5b1cSMartin Matuska 
ZSTD_dParam_getBounds(ZSTD_dParameter dParam)1401c03c5b1cSMartin Matuska ZSTD_bounds ZSTD_dParam_getBounds(ZSTD_dParameter dParam)
1402c03c5b1cSMartin Matuska {
1403c03c5b1cSMartin Matuska     ZSTD_bounds bounds = { 0, 0, 0 };
1404c03c5b1cSMartin Matuska     switch(dParam) {
1405c03c5b1cSMartin Matuska         case ZSTD_d_windowLogMax:
1406c03c5b1cSMartin Matuska             bounds.lowerBound = ZSTD_WINDOWLOG_ABSOLUTEMIN;
1407c03c5b1cSMartin Matuska             bounds.upperBound = ZSTD_WINDOWLOG_MAX;
1408c03c5b1cSMartin Matuska             return bounds;
1409c03c5b1cSMartin Matuska         case ZSTD_d_format:
1410c03c5b1cSMartin Matuska             bounds.lowerBound = (int)ZSTD_f_zstd1;
1411c03c5b1cSMartin Matuska             bounds.upperBound = (int)ZSTD_f_zstd1_magicless;
1412c03c5b1cSMartin Matuska             ZSTD_STATIC_ASSERT(ZSTD_f_zstd1 < ZSTD_f_zstd1_magicless);
1413c03c5b1cSMartin Matuska             return bounds;
1414c03c5b1cSMartin Matuska         case ZSTD_d_stableOutBuffer:
1415c03c5b1cSMartin Matuska             bounds.lowerBound = (int)ZSTD_obm_buffered;
1416c03c5b1cSMartin Matuska             bounds.upperBound = (int)ZSTD_obm_stable;
1417c03c5b1cSMartin Matuska             return bounds;
1418c03c5b1cSMartin Matuska         default:;
1419c03c5b1cSMartin Matuska     }
1420c03c5b1cSMartin Matuska     bounds.error = ERROR(parameter_unsupported);
1421c03c5b1cSMartin Matuska     return bounds;
1422c03c5b1cSMartin Matuska }
1423c03c5b1cSMartin Matuska 
1424c03c5b1cSMartin Matuska /* ZSTD_dParam_withinBounds:
1425c03c5b1cSMartin Matuska  * @return 1 if value is within dParam bounds,
1426c03c5b1cSMartin Matuska  * 0 otherwise */
ZSTD_dParam_withinBounds(ZSTD_dParameter dParam,int value)1427c03c5b1cSMartin Matuska static int ZSTD_dParam_withinBounds(ZSTD_dParameter dParam, int value)
1428c03c5b1cSMartin Matuska {
1429c03c5b1cSMartin Matuska     ZSTD_bounds const bounds = ZSTD_dParam_getBounds(dParam);
1430c03c5b1cSMartin Matuska     if (ZSTD_isError(bounds.error)) return 0;
1431c03c5b1cSMartin Matuska     if (value < bounds.lowerBound) return 0;
1432c03c5b1cSMartin Matuska     if (value > bounds.upperBound) return 0;
1433c03c5b1cSMartin Matuska     return 1;
1434c03c5b1cSMartin Matuska }
1435c03c5b1cSMartin Matuska 
1436c03c5b1cSMartin Matuska #define CHECK_DBOUNDS(p,v) {                \
1437c03c5b1cSMartin Matuska     RETURN_ERROR_IF(!ZSTD_dParam_withinBounds(p, v), parameter_outOfBound, ""); \
1438c03c5b1cSMartin Matuska }
1439c03c5b1cSMartin Matuska 
ZSTD_DCtx_setParameter(ZSTD_DCtx * dctx,ZSTD_dParameter dParam,int value)1440c03c5b1cSMartin Matuska size_t ZSTD_DCtx_setParameter(ZSTD_DCtx* dctx, ZSTD_dParameter dParam, int value)
1441c03c5b1cSMartin Matuska {
1442c03c5b1cSMartin Matuska     RETURN_ERROR_IF(dctx->streamStage != zdss_init, stage_wrong, "");
1443c03c5b1cSMartin Matuska     switch(dParam) {
1444c03c5b1cSMartin Matuska         case ZSTD_d_windowLogMax:
1445c03c5b1cSMartin Matuska             if (value == 0) value = ZSTD_WINDOWLOG_LIMIT_DEFAULT;
1446c03c5b1cSMartin Matuska             CHECK_DBOUNDS(ZSTD_d_windowLogMax, value);
1447c03c5b1cSMartin Matuska             dctx->maxWindowSize = ((size_t)1) << value;
1448c03c5b1cSMartin Matuska             return 0;
1449c03c5b1cSMartin Matuska         case ZSTD_d_format:
1450c03c5b1cSMartin Matuska             CHECK_DBOUNDS(ZSTD_d_format, value);
1451c03c5b1cSMartin Matuska             dctx->format = (ZSTD_format_e)value;
1452c03c5b1cSMartin Matuska             return 0;
1453c03c5b1cSMartin Matuska         case ZSTD_d_stableOutBuffer:
1454c03c5b1cSMartin Matuska             CHECK_DBOUNDS(ZSTD_d_stableOutBuffer, value);
1455c03c5b1cSMartin Matuska             dctx->outBufferMode = (ZSTD_outBufferMode_e)value;
1456c03c5b1cSMartin Matuska             return 0;
1457c03c5b1cSMartin Matuska         default:;
1458c03c5b1cSMartin Matuska     }
1459c03c5b1cSMartin Matuska     RETURN_ERROR(parameter_unsupported, "");
1460c03c5b1cSMartin Matuska }
1461c03c5b1cSMartin Matuska 
ZSTD_DCtx_reset(ZSTD_DCtx * dctx,ZSTD_ResetDirective reset)1462c03c5b1cSMartin Matuska size_t ZSTD_DCtx_reset(ZSTD_DCtx* dctx, ZSTD_ResetDirective reset)
1463c03c5b1cSMartin Matuska {
1464c03c5b1cSMartin Matuska     if ( (reset == ZSTD_reset_session_only)
1465c03c5b1cSMartin Matuska       || (reset == ZSTD_reset_session_and_parameters) ) {
1466c03c5b1cSMartin Matuska         dctx->streamStage = zdss_init;
1467c03c5b1cSMartin Matuska         dctx->noForwardProgress = 0;
1468c03c5b1cSMartin Matuska     }
1469c03c5b1cSMartin Matuska     if ( (reset == ZSTD_reset_parameters)
1470c03c5b1cSMartin Matuska       || (reset == ZSTD_reset_session_and_parameters) ) {
1471c03c5b1cSMartin Matuska         RETURN_ERROR_IF(dctx->streamStage != zdss_init, stage_wrong, "");
1472c03c5b1cSMartin Matuska         ZSTD_clearDict(dctx);
1473c03c5b1cSMartin Matuska         dctx->format = ZSTD_f_zstd1;
1474c03c5b1cSMartin Matuska         dctx->maxWindowSize = ZSTD_MAXWINDOWSIZE_DEFAULT;
1475c03c5b1cSMartin Matuska     }
1476c03c5b1cSMartin Matuska     return 0;
1477c03c5b1cSMartin Matuska }
1478c03c5b1cSMartin Matuska 
1479c03c5b1cSMartin Matuska 
ZSTD_sizeof_DStream(const ZSTD_DStream * dctx)1480c03c5b1cSMartin Matuska size_t ZSTD_sizeof_DStream(const ZSTD_DStream* dctx)
1481c03c5b1cSMartin Matuska {
1482c03c5b1cSMartin Matuska     return ZSTD_sizeof_DCtx(dctx);
1483c03c5b1cSMartin Matuska }
1484c03c5b1cSMartin Matuska 
ZSTD_decodingBufferSize_min(unsigned long long windowSize,unsigned long long frameContentSize)1485c03c5b1cSMartin Matuska size_t ZSTD_decodingBufferSize_min(unsigned long long windowSize, unsigned long long frameContentSize)
1486c03c5b1cSMartin Matuska {
1487c03c5b1cSMartin Matuska     size_t const blockSize = (size_t) MIN(windowSize, ZSTD_BLOCKSIZE_MAX);
1488c03c5b1cSMartin Matuska     unsigned long long const neededRBSize = windowSize + blockSize + (WILDCOPY_OVERLENGTH * 2);
1489c03c5b1cSMartin Matuska     unsigned long long const neededSize = MIN(frameContentSize, neededRBSize);
1490c03c5b1cSMartin Matuska     size_t const minRBSize = (size_t) neededSize;
1491c03c5b1cSMartin Matuska     RETURN_ERROR_IF((unsigned long long)minRBSize != neededSize,
1492c03c5b1cSMartin Matuska                     frameParameter_windowTooLarge, "");
1493c03c5b1cSMartin Matuska     return minRBSize;
1494c03c5b1cSMartin Matuska }
1495c03c5b1cSMartin Matuska 
ZSTD_estimateDStreamSize(size_t windowSize)1496c03c5b1cSMartin Matuska size_t ZSTD_estimateDStreamSize(size_t windowSize)
1497c03c5b1cSMartin Matuska {
1498c03c5b1cSMartin Matuska     size_t const blockSize = MIN(windowSize, ZSTD_BLOCKSIZE_MAX);
1499c03c5b1cSMartin Matuska     size_t const inBuffSize = blockSize;  /* no block can be larger */
1500c03c5b1cSMartin Matuska     size_t const outBuffSize = ZSTD_decodingBufferSize_min(windowSize, ZSTD_CONTENTSIZE_UNKNOWN);
1501c03c5b1cSMartin Matuska     return ZSTD_estimateDCtxSize() + inBuffSize + outBuffSize;
1502c03c5b1cSMartin Matuska }
1503c03c5b1cSMartin Matuska 
ZSTD_estimateDStreamSize_fromFrame(const void * src,size_t srcSize)1504c03c5b1cSMartin Matuska size_t ZSTD_estimateDStreamSize_fromFrame(const void* src, size_t srcSize)
1505c03c5b1cSMartin Matuska {
1506c03c5b1cSMartin Matuska     U32 const windowSizeMax = 1U << ZSTD_WINDOWLOG_MAX;   /* note : should be user-selectable, but requires an additional parameter (or a dctx) */
1507c03c5b1cSMartin Matuska     ZSTD_frameHeader zfh;
1508c03c5b1cSMartin Matuska     size_t const err = ZSTD_getFrameHeader(&zfh, src, srcSize);
1509c03c5b1cSMartin Matuska     if (ZSTD_isError(err)) return err;
1510c03c5b1cSMartin Matuska     RETURN_ERROR_IF(err>0, srcSize_wrong, "");
1511c03c5b1cSMartin Matuska     RETURN_ERROR_IF(zfh.windowSize > windowSizeMax,
1512c03c5b1cSMartin Matuska                     frameParameter_windowTooLarge, "");
1513c03c5b1cSMartin Matuska     return ZSTD_estimateDStreamSize((size_t)zfh.windowSize);
1514c03c5b1cSMartin Matuska }
1515c03c5b1cSMartin Matuska 
1516c03c5b1cSMartin Matuska 
1517c03c5b1cSMartin Matuska /* *****   Decompression   ***** */
1518c03c5b1cSMartin Matuska 
ZSTD_DCtx_isOverflow(ZSTD_DStream * zds,size_t const neededInBuffSize,size_t const neededOutBuffSize)1519c03c5b1cSMartin Matuska static int ZSTD_DCtx_isOverflow(ZSTD_DStream* zds, size_t const neededInBuffSize, size_t const neededOutBuffSize)
1520c03c5b1cSMartin Matuska {
1521c03c5b1cSMartin Matuska     return (zds->inBuffSize + zds->outBuffSize) >= (neededInBuffSize + neededOutBuffSize) * ZSTD_WORKSPACETOOLARGE_FACTOR;
1522c03c5b1cSMartin Matuska }
1523c03c5b1cSMartin Matuska 
ZSTD_DCtx_updateOversizedDuration(ZSTD_DStream * zds,size_t const neededInBuffSize,size_t const neededOutBuffSize)1524c03c5b1cSMartin Matuska static void ZSTD_DCtx_updateOversizedDuration(ZSTD_DStream* zds, size_t const neededInBuffSize, size_t const neededOutBuffSize)
1525c03c5b1cSMartin Matuska {
1526c03c5b1cSMartin Matuska     if (ZSTD_DCtx_isOverflow(zds, neededInBuffSize, neededOutBuffSize))
1527c03c5b1cSMartin Matuska         zds->oversizedDuration++;
1528c03c5b1cSMartin Matuska     else
1529c03c5b1cSMartin Matuska         zds->oversizedDuration = 0;
1530c03c5b1cSMartin Matuska }
1531c03c5b1cSMartin Matuska 
ZSTD_DCtx_isOversizedTooLong(ZSTD_DStream * zds)1532c03c5b1cSMartin Matuska static int ZSTD_DCtx_isOversizedTooLong(ZSTD_DStream* zds)
1533c03c5b1cSMartin Matuska {
1534c03c5b1cSMartin Matuska     return zds->oversizedDuration >= ZSTD_WORKSPACETOOLARGE_MAXDURATION;
1535c03c5b1cSMartin Matuska }
1536c03c5b1cSMartin Matuska 
1537c03c5b1cSMartin Matuska /* Checks that the output buffer hasn't changed if ZSTD_obm_stable is used. */
ZSTD_checkOutBuffer(ZSTD_DStream const * zds,ZSTD_outBuffer const * output)1538c03c5b1cSMartin Matuska static size_t ZSTD_checkOutBuffer(ZSTD_DStream const* zds, ZSTD_outBuffer const* output)
1539c03c5b1cSMartin Matuska {
1540c03c5b1cSMartin Matuska     ZSTD_outBuffer const expect = zds->expectedOutBuffer;
1541c03c5b1cSMartin Matuska     /* No requirement when ZSTD_obm_stable is not enabled. */
1542c03c5b1cSMartin Matuska     if (zds->outBufferMode != ZSTD_obm_stable)
1543c03c5b1cSMartin Matuska         return 0;
1544c03c5b1cSMartin Matuska     /* Any buffer is allowed in zdss_init, this must be the same for every other call until
1545c03c5b1cSMartin Matuska      * the context is reset.
1546c03c5b1cSMartin Matuska      */
1547c03c5b1cSMartin Matuska     if (zds->streamStage == zdss_init)
1548c03c5b1cSMartin Matuska         return 0;
1549c03c5b1cSMartin Matuska     /* The buffer must match our expectation exactly. */
1550c03c5b1cSMartin Matuska     if (expect.dst == output->dst && expect.pos == output->pos && expect.size == output->size)
1551c03c5b1cSMartin Matuska         return 0;
1552c03c5b1cSMartin Matuska     RETURN_ERROR(dstBuffer_wrong, "ZSTD_obm_stable enabled but output differs!");
1553c03c5b1cSMartin Matuska }
1554c03c5b1cSMartin Matuska 
1555c03c5b1cSMartin Matuska /* Calls ZSTD_decompressContinue() with the right parameters for ZSTD_decompressStream()
1556c03c5b1cSMartin Matuska  * and updates the stage and the output buffer state. This call is extracted so it can be
1557c03c5b1cSMartin Matuska  * used both when reading directly from the ZSTD_inBuffer, and in buffered input mode.
1558c03c5b1cSMartin Matuska  * NOTE: You must break after calling this function since the streamStage is modified.
1559c03c5b1cSMartin Matuska  */
ZSTD_decompressContinueStream(ZSTD_DStream * zds,char ** op,char * oend,void const * src,size_t srcSize)1560c03c5b1cSMartin Matuska static size_t ZSTD_decompressContinueStream(
1561c03c5b1cSMartin Matuska             ZSTD_DStream* zds, char** op, char* oend,
1562c03c5b1cSMartin Matuska             void const* src, size_t srcSize) {
1563c03c5b1cSMartin Matuska     int const isSkipFrame = ZSTD_isSkipFrame(zds);
1564c03c5b1cSMartin Matuska     if (zds->outBufferMode == ZSTD_obm_buffered) {
1565c03c5b1cSMartin Matuska         size_t const dstSize = isSkipFrame ? 0 : zds->outBuffSize - zds->outStart;
1566c03c5b1cSMartin Matuska         size_t const decodedSize = ZSTD_decompressContinue(zds,
1567c03c5b1cSMartin Matuska                 zds->outBuff + zds->outStart, dstSize, src, srcSize);
1568c03c5b1cSMartin Matuska         FORWARD_IF_ERROR(decodedSize, "");
1569c03c5b1cSMartin Matuska         if (!decodedSize && !isSkipFrame) {
1570c03c5b1cSMartin Matuska             zds->streamStage = zdss_read;
1571c03c5b1cSMartin Matuska         } else {
1572c03c5b1cSMartin Matuska             zds->outEnd = zds->outStart + decodedSize;
1573c03c5b1cSMartin Matuska             zds->streamStage = zdss_flush;
1574c03c5b1cSMartin Matuska         }
1575c03c5b1cSMartin Matuska     } else {
1576c03c5b1cSMartin Matuska         /* Write directly into the output buffer */
1577c03c5b1cSMartin Matuska         size_t const dstSize = isSkipFrame ? 0 : oend - *op;
1578c03c5b1cSMartin Matuska         size_t const decodedSize = ZSTD_decompressContinue(zds, *op, dstSize, src, srcSize);
1579c03c5b1cSMartin Matuska         FORWARD_IF_ERROR(decodedSize, "");
1580c03c5b1cSMartin Matuska         *op += decodedSize;
1581c03c5b1cSMartin Matuska         /* Flushing is not needed. */
1582c03c5b1cSMartin Matuska         zds->streamStage = zdss_read;
1583c03c5b1cSMartin Matuska         assert(*op <= oend);
1584c03c5b1cSMartin Matuska         assert(zds->outBufferMode == ZSTD_obm_stable);
1585c03c5b1cSMartin Matuska     }
1586c03c5b1cSMartin Matuska     return 0;
1587c03c5b1cSMartin Matuska }
1588c03c5b1cSMartin Matuska 
ZSTD_decompressStream(ZSTD_DStream * zds,ZSTD_outBuffer * output,ZSTD_inBuffer * input)1589c03c5b1cSMartin Matuska size_t ZSTD_decompressStream(ZSTD_DStream* zds, ZSTD_outBuffer* output, ZSTD_inBuffer* input)
1590c03c5b1cSMartin Matuska {
1591c03c5b1cSMartin Matuska     const char* const src = (const char*)input->src;
1592c03c5b1cSMartin Matuska     const char* const istart = input->pos != 0 ? src + input->pos : src;
1593c03c5b1cSMartin Matuska     const char* const iend = input->size != 0 ? src + input->size : src;
1594c03c5b1cSMartin Matuska     const char* ip = istart;
1595c03c5b1cSMartin Matuska     char* const dst = (char*)output->dst;
1596c03c5b1cSMartin Matuska     char* const ostart = output->pos != 0 ? dst + output->pos : dst;
1597c03c5b1cSMartin Matuska     char* const oend = output->size != 0 ? dst + output->size : dst;
1598c03c5b1cSMartin Matuska     char* op = ostart;
1599c03c5b1cSMartin Matuska     U32 someMoreWork = 1;
1600c03c5b1cSMartin Matuska 
1601c03c5b1cSMartin Matuska     DEBUGLOG(5, "ZSTD_decompressStream");
1602c03c5b1cSMartin Matuska     RETURN_ERROR_IF(
1603c03c5b1cSMartin Matuska         input->pos > input->size,
1604c03c5b1cSMartin Matuska         srcSize_wrong,
1605c03c5b1cSMartin Matuska         "forbidden. in: pos: %u   vs size: %u",
1606c03c5b1cSMartin Matuska         (U32)input->pos, (U32)input->size);
1607c03c5b1cSMartin Matuska     RETURN_ERROR_IF(
1608c03c5b1cSMartin Matuska         output->pos > output->size,
1609c03c5b1cSMartin Matuska         dstSize_tooSmall,
1610c03c5b1cSMartin Matuska         "forbidden. out: pos: %u   vs size: %u",
1611c03c5b1cSMartin Matuska         (U32)output->pos, (U32)output->size);
1612c03c5b1cSMartin Matuska     DEBUGLOG(5, "input size : %u", (U32)(input->size - input->pos));
1613c03c5b1cSMartin Matuska     FORWARD_IF_ERROR(ZSTD_checkOutBuffer(zds, output), "");
1614c03c5b1cSMartin Matuska 
1615c03c5b1cSMartin Matuska     while (someMoreWork) {
1616c03c5b1cSMartin Matuska         switch(zds->streamStage)
1617c03c5b1cSMartin Matuska         {
1618c03c5b1cSMartin Matuska         case zdss_init :
1619c03c5b1cSMartin Matuska             DEBUGLOG(5, "stage zdss_init => transparent reset ");
1620c03c5b1cSMartin Matuska             zds->streamStage = zdss_loadHeader;
1621c03c5b1cSMartin Matuska             zds->lhSize = zds->inPos = zds->outStart = zds->outEnd = 0;
1622c03c5b1cSMartin Matuska             zds->legacyVersion = 0;
1623c03c5b1cSMartin Matuska             zds->hostageByte = 0;
1624c03c5b1cSMartin Matuska             zds->expectedOutBuffer = *output;
1625c03c5b1cSMartin Matuska             /* fall-through */
1626c03c5b1cSMartin Matuska 
1627c03c5b1cSMartin Matuska         case zdss_loadHeader :
1628c03c5b1cSMartin Matuska             DEBUGLOG(5, "stage zdss_loadHeader (srcSize : %u)", (U32)(iend - ip));
1629c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT>=1)
1630c03c5b1cSMartin Matuska             if (zds->legacyVersion) {
1631c03c5b1cSMartin Matuska                 RETURN_ERROR_IF(zds->staticSize, memory_allocation,
1632c03c5b1cSMartin Matuska                     "legacy support is incompatible with static dctx");
1633c03c5b1cSMartin Matuska                 {   size_t const hint = ZSTD_decompressLegacyStream(zds->legacyContext, zds->legacyVersion, output, input);
1634c03c5b1cSMartin Matuska                     if (hint==0) zds->streamStage = zdss_init;
1635c03c5b1cSMartin Matuska                     return hint;
1636c03c5b1cSMartin Matuska             }   }
1637c03c5b1cSMartin Matuska #endif
1638c03c5b1cSMartin Matuska             {   size_t const hSize = ZSTD_getFrameHeader_advanced(&zds->fParams, zds->headerBuffer, zds->lhSize, zds->format);
1639c03c5b1cSMartin Matuska                 DEBUGLOG(5, "header size : %u", (U32)hSize);
1640c03c5b1cSMartin Matuska                 if (ZSTD_isError(hSize)) {
1641c03c5b1cSMartin Matuska #if defined(ZSTD_LEGACY_SUPPORT) && (ZSTD_LEGACY_SUPPORT>=1)
1642c03c5b1cSMartin Matuska                     U32 const legacyVersion = ZSTD_isLegacy(istart, iend-istart);
1643c03c5b1cSMartin Matuska                     if (legacyVersion) {
1644c03c5b1cSMartin Matuska                         ZSTD_DDict const* const ddict = ZSTD_getDDict(zds);
1645c03c5b1cSMartin Matuska                         const void* const dict = ddict ? ZSTD_DDict_dictContent(ddict) : NULL;
1646c03c5b1cSMartin Matuska                         size_t const dictSize = ddict ? ZSTD_DDict_dictSize(ddict) : 0;
1647c03c5b1cSMartin Matuska                         DEBUGLOG(5, "ZSTD_decompressStream: detected legacy version v0.%u", legacyVersion);
1648c03c5b1cSMartin Matuska                         RETURN_ERROR_IF(zds->staticSize, memory_allocation,
1649c03c5b1cSMartin Matuska                             "legacy support is incompatible with static dctx");
1650c03c5b1cSMartin Matuska                         FORWARD_IF_ERROR(ZSTD_initLegacyStream(&zds->legacyContext,
1651c03c5b1cSMartin Matuska                                     zds->previousLegacyVersion, legacyVersion,
1652c03c5b1cSMartin Matuska                                     dict, dictSize), "");
1653c03c5b1cSMartin Matuska                         zds->legacyVersion = zds->previousLegacyVersion = legacyVersion;
1654c03c5b1cSMartin Matuska                         {   size_t const hint = ZSTD_decompressLegacyStream(zds->legacyContext, legacyVersion, output, input);
1655c03c5b1cSMartin Matuska                             if (hint==0) zds->streamStage = zdss_init;   /* or stay in stage zdss_loadHeader */
1656c03c5b1cSMartin Matuska                             return hint;
1657c03c5b1cSMartin Matuska                     }   }
1658c03c5b1cSMartin Matuska #endif
1659c03c5b1cSMartin Matuska                     return hSize;   /* error */
1660c03c5b1cSMartin Matuska                 }
1661c03c5b1cSMartin Matuska                 if (hSize != 0) {   /* need more input */
1662c03c5b1cSMartin Matuska                     size_t const toLoad = hSize - zds->lhSize;   /* if hSize!=0, hSize > zds->lhSize */
1663c03c5b1cSMartin Matuska                     size_t const remainingInput = (size_t)(iend-ip);
1664c03c5b1cSMartin Matuska                     assert(iend >= ip);
1665c03c5b1cSMartin Matuska                     if (toLoad > remainingInput) {   /* not enough input to load full header */
1666c03c5b1cSMartin Matuska                         if (remainingInput > 0) {
1667c03c5b1cSMartin Matuska                             memcpy(zds->headerBuffer + zds->lhSize, ip, remainingInput);
1668c03c5b1cSMartin Matuska                             zds->lhSize += remainingInput;
1669c03c5b1cSMartin Matuska                         }
1670c03c5b1cSMartin Matuska                         input->pos = input->size;
1671c03c5b1cSMartin Matuska                         return (MAX((size_t)ZSTD_FRAMEHEADERSIZE_MIN(zds->format), hSize) - zds->lhSize) + ZSTD_blockHeaderSize;   /* remaining header bytes + next block header */
1672c03c5b1cSMartin Matuska                     }
1673c03c5b1cSMartin Matuska                     assert(ip != NULL);
1674c03c5b1cSMartin Matuska                     memcpy(zds->headerBuffer + zds->lhSize, ip, toLoad); zds->lhSize = hSize; ip += toLoad;
1675c03c5b1cSMartin Matuska                     break;
1676c03c5b1cSMartin Matuska             }   }
1677c03c5b1cSMartin Matuska 
1678c03c5b1cSMartin Matuska             /* check for single-pass mode opportunity */
1679c03c5b1cSMartin Matuska             if (zds->fParams.frameContentSize != ZSTD_CONTENTSIZE_UNKNOWN
1680c03c5b1cSMartin Matuska                 && zds->fParams.frameType != ZSTD_skippableFrame
1681c03c5b1cSMartin Matuska                 && (U64)(size_t)(oend-op) >= zds->fParams.frameContentSize) {
1682c03c5b1cSMartin Matuska                 size_t const cSize = ZSTD_findFrameCompressedSize(istart, iend-istart);
1683c03c5b1cSMartin Matuska                 if (cSize <= (size_t)(iend-istart)) {
1684c03c5b1cSMartin Matuska                     /* shortcut : using single-pass mode */
1685c03c5b1cSMartin Matuska                     size_t const decompressedSize = ZSTD_decompress_usingDDict(zds, op, oend-op, istart, cSize, ZSTD_getDDict(zds));
1686c03c5b1cSMartin Matuska                     if (ZSTD_isError(decompressedSize)) return decompressedSize;
1687c03c5b1cSMartin Matuska                     DEBUGLOG(4, "shortcut to single-pass ZSTD_decompress_usingDDict()")
1688c03c5b1cSMartin Matuska                     ip = istart + cSize;
1689c03c5b1cSMartin Matuska                     op += decompressedSize;
1690c03c5b1cSMartin Matuska                     zds->expected = 0;
1691c03c5b1cSMartin Matuska                     zds->streamStage = zdss_init;
1692c03c5b1cSMartin Matuska                     someMoreWork = 0;
1693c03c5b1cSMartin Matuska                     break;
1694c03c5b1cSMartin Matuska             }   }
1695c03c5b1cSMartin Matuska 
1696c03c5b1cSMartin Matuska             /* Check output buffer is large enough for ZSTD_odm_stable. */
1697c03c5b1cSMartin Matuska             if (zds->outBufferMode == ZSTD_obm_stable
1698c03c5b1cSMartin Matuska                 && zds->fParams.frameType != ZSTD_skippableFrame
1699c03c5b1cSMartin Matuska                 && zds->fParams.frameContentSize != ZSTD_CONTENTSIZE_UNKNOWN
1700c03c5b1cSMartin Matuska                 && (U64)(size_t)(oend-op) < zds->fParams.frameContentSize) {
1701c03c5b1cSMartin Matuska                 RETURN_ERROR(dstSize_tooSmall, "ZSTD_obm_stable passed but ZSTD_outBuffer is too small");
1702c03c5b1cSMartin Matuska             }
1703c03c5b1cSMartin Matuska 
1704c03c5b1cSMartin Matuska             /* Consume header (see ZSTDds_decodeFrameHeader) */
1705c03c5b1cSMartin Matuska             DEBUGLOG(4, "Consume header");
1706c03c5b1cSMartin Matuska             FORWARD_IF_ERROR(ZSTD_decompressBegin_usingDDict(zds, ZSTD_getDDict(zds)), "");
1707c03c5b1cSMartin Matuska 
1708c03c5b1cSMartin Matuska             if ((MEM_readLE32(zds->headerBuffer) & ZSTD_MAGIC_SKIPPABLE_MASK) == ZSTD_MAGIC_SKIPPABLE_START) {  /* skippable frame */
1709c03c5b1cSMartin Matuska                 zds->expected = MEM_readLE32(zds->headerBuffer + ZSTD_FRAMEIDSIZE);
1710c03c5b1cSMartin Matuska                 zds->stage = ZSTDds_skipFrame;
1711c03c5b1cSMartin Matuska             } else {
1712c03c5b1cSMartin Matuska                 FORWARD_IF_ERROR(ZSTD_decodeFrameHeader(zds, zds->headerBuffer, zds->lhSize), "");
1713c03c5b1cSMartin Matuska                 zds->expected = ZSTD_blockHeaderSize;
1714c03c5b1cSMartin Matuska                 zds->stage = ZSTDds_decodeBlockHeader;
1715c03c5b1cSMartin Matuska             }
1716c03c5b1cSMartin Matuska 
1717c03c5b1cSMartin Matuska             /* control buffer memory usage */
1718c03c5b1cSMartin Matuska             DEBUGLOG(4, "Control max memory usage (%u KB <= max %u KB)",
1719c03c5b1cSMartin Matuska                         (U32)(zds->fParams.windowSize >>10),
1720c03c5b1cSMartin Matuska                         (U32)(zds->maxWindowSize >> 10) );
1721c03c5b1cSMartin Matuska             zds->fParams.windowSize = MAX(zds->fParams.windowSize, 1U << ZSTD_WINDOWLOG_ABSOLUTEMIN);
1722c03c5b1cSMartin Matuska             RETURN_ERROR_IF(zds->fParams.windowSize > zds->maxWindowSize,
1723c03c5b1cSMartin Matuska                             frameParameter_windowTooLarge, "");
1724c03c5b1cSMartin Matuska 
1725c03c5b1cSMartin Matuska             /* Adapt buffer sizes to frame header instructions */
1726c03c5b1cSMartin Matuska             {   size_t const neededInBuffSize = MAX(zds->fParams.blockSizeMax, 4 /* frame checksum */);
1727c03c5b1cSMartin Matuska                 size_t const neededOutBuffSize = zds->outBufferMode == ZSTD_obm_buffered
1728c03c5b1cSMartin Matuska                         ? ZSTD_decodingBufferSize_min(zds->fParams.windowSize, zds->fParams.frameContentSize)
1729c03c5b1cSMartin Matuska                         : 0;
1730c03c5b1cSMartin Matuska 
1731c03c5b1cSMartin Matuska                 ZSTD_DCtx_updateOversizedDuration(zds, neededInBuffSize, neededOutBuffSize);
1732c03c5b1cSMartin Matuska 
1733c03c5b1cSMartin Matuska                 {   int const tooSmall = (zds->inBuffSize < neededInBuffSize) || (zds->outBuffSize < neededOutBuffSize);
1734c03c5b1cSMartin Matuska                     int const tooLarge = ZSTD_DCtx_isOversizedTooLong(zds);
1735c03c5b1cSMartin Matuska 
1736c03c5b1cSMartin Matuska                     if (tooSmall || tooLarge) {
1737c03c5b1cSMartin Matuska                         size_t const bufferSize = neededInBuffSize + neededOutBuffSize;
1738c03c5b1cSMartin Matuska                         DEBUGLOG(4, "inBuff  : from %u to %u",
1739c03c5b1cSMartin Matuska                                     (U32)zds->inBuffSize, (U32)neededInBuffSize);
1740c03c5b1cSMartin Matuska                         DEBUGLOG(4, "outBuff : from %u to %u",
1741c03c5b1cSMartin Matuska                                     (U32)zds->outBuffSize, (U32)neededOutBuffSize);
1742c03c5b1cSMartin Matuska                         if (zds->staticSize) {  /* static DCtx */
1743c03c5b1cSMartin Matuska                             DEBUGLOG(4, "staticSize : %u", (U32)zds->staticSize);
1744c03c5b1cSMartin Matuska                             assert(zds->staticSize >= sizeof(ZSTD_DCtx));  /* controlled at init */
1745c03c5b1cSMartin Matuska                             RETURN_ERROR_IF(
1746c03c5b1cSMartin Matuska                                 bufferSize > zds->staticSize - sizeof(ZSTD_DCtx),
1747c03c5b1cSMartin Matuska                                 memory_allocation, "");
1748c03c5b1cSMartin Matuska                         } else {
1749c03c5b1cSMartin Matuska                             ZSTD_free(zds->inBuff, zds->customMem);
1750c03c5b1cSMartin Matuska                             zds->inBuffSize = 0;
1751c03c5b1cSMartin Matuska                             zds->outBuffSize = 0;
1752c03c5b1cSMartin Matuska                             zds->inBuff = (char*)ZSTD_malloc(bufferSize, zds->customMem);
1753c03c5b1cSMartin Matuska                             RETURN_ERROR_IF(zds->inBuff == NULL, memory_allocation, "");
1754c03c5b1cSMartin Matuska                         }
1755c03c5b1cSMartin Matuska                         zds->inBuffSize = neededInBuffSize;
1756c03c5b1cSMartin Matuska                         zds->outBuff = zds->inBuff + zds->inBuffSize;
1757c03c5b1cSMartin Matuska                         zds->outBuffSize = neededOutBuffSize;
1758c03c5b1cSMartin Matuska             }   }   }
1759c03c5b1cSMartin Matuska             zds->streamStage = zdss_read;
1760c03c5b1cSMartin Matuska             /* fall-through */
1761c03c5b1cSMartin Matuska 
1762c03c5b1cSMartin Matuska         case zdss_read:
1763c03c5b1cSMartin Matuska             DEBUGLOG(5, "stage zdss_read");
1764c03c5b1cSMartin Matuska             {   size_t const neededInSize = ZSTD_nextSrcSizeToDecompressWithInputSize(zds, iend - ip);
1765c03c5b1cSMartin Matuska                 DEBUGLOG(5, "neededInSize = %u", (U32)neededInSize);
1766c03c5b1cSMartin Matuska                 if (neededInSize==0) {  /* end of frame */
1767c03c5b1cSMartin Matuska                     zds->streamStage = zdss_init;
1768c03c5b1cSMartin Matuska                     someMoreWork = 0;
1769c03c5b1cSMartin Matuska                     break;
1770c03c5b1cSMartin Matuska                 }
1771c03c5b1cSMartin Matuska                 if ((size_t)(iend-ip) >= neededInSize) {  /* decode directly from src */
1772c03c5b1cSMartin Matuska                     FORWARD_IF_ERROR(ZSTD_decompressContinueStream(zds, &op, oend, ip, neededInSize), "");
1773c03c5b1cSMartin Matuska                     ip += neededInSize;
1774c03c5b1cSMartin Matuska                     /* Function modifies the stage so we must break */
1775c03c5b1cSMartin Matuska                     break;
1776c03c5b1cSMartin Matuska             }   }
1777c03c5b1cSMartin Matuska             if (ip==iend) { someMoreWork = 0; break; }   /* no more input */
1778c03c5b1cSMartin Matuska             zds->streamStage = zdss_load;
1779c03c5b1cSMartin Matuska             /* fall-through */
1780c03c5b1cSMartin Matuska 
1781c03c5b1cSMartin Matuska         case zdss_load:
1782c03c5b1cSMartin Matuska             {   size_t const neededInSize = ZSTD_nextSrcSizeToDecompress(zds);
1783c03c5b1cSMartin Matuska                 size_t const toLoad = neededInSize - zds->inPos;
1784c03c5b1cSMartin Matuska                 int const isSkipFrame = ZSTD_isSkipFrame(zds);
1785c03c5b1cSMartin Matuska                 size_t loadedSize;
1786c03c5b1cSMartin Matuska                 /* At this point we shouldn't be decompressing a block that we can stream. */
1787c03c5b1cSMartin Matuska                 assert(neededInSize == ZSTD_nextSrcSizeToDecompressWithInputSize(zds, iend - ip));
1788c03c5b1cSMartin Matuska                 if (isSkipFrame) {
1789c03c5b1cSMartin Matuska                     loadedSize = MIN(toLoad, (size_t)(iend-ip));
1790c03c5b1cSMartin Matuska                 } else {
1791c03c5b1cSMartin Matuska                     RETURN_ERROR_IF(toLoad > zds->inBuffSize - zds->inPos,
1792c03c5b1cSMartin Matuska                                     corruption_detected,
1793c03c5b1cSMartin Matuska                                     "should never happen");
1794c03c5b1cSMartin Matuska                     loadedSize = ZSTD_limitCopy(zds->inBuff + zds->inPos, toLoad, ip, iend-ip);
1795c03c5b1cSMartin Matuska                 }
1796c03c5b1cSMartin Matuska                 ip += loadedSize;
1797c03c5b1cSMartin Matuska                 zds->inPos += loadedSize;
1798c03c5b1cSMartin Matuska                 if (loadedSize < toLoad) { someMoreWork = 0; break; }   /* not enough input, wait for more */
1799c03c5b1cSMartin Matuska 
1800c03c5b1cSMartin Matuska                 /* decode loaded input */
1801c03c5b1cSMartin Matuska                 zds->inPos = 0;   /* input is consumed */
1802c03c5b1cSMartin Matuska                 FORWARD_IF_ERROR(ZSTD_decompressContinueStream(zds, &op, oend, zds->inBuff, neededInSize), "");
1803c03c5b1cSMartin Matuska                 /* Function modifies the stage so we must break */
1804c03c5b1cSMartin Matuska                 break;
1805c03c5b1cSMartin Matuska             }
1806c03c5b1cSMartin Matuska         case zdss_flush:
1807c03c5b1cSMartin Matuska             {   size_t const toFlushSize = zds->outEnd - zds->outStart;
1808c03c5b1cSMartin Matuska                 size_t const flushedSize = ZSTD_limitCopy(op, oend-op, zds->outBuff + zds->outStart, toFlushSize);
1809c03c5b1cSMartin Matuska                 op += flushedSize;
1810c03c5b1cSMartin Matuska                 zds->outStart += flushedSize;
1811c03c5b1cSMartin Matuska                 if (flushedSize == toFlushSize) {  /* flush completed */
1812c03c5b1cSMartin Matuska                     zds->streamStage = zdss_read;
1813c03c5b1cSMartin Matuska                     if ( (zds->outBuffSize < zds->fParams.frameContentSize)
1814c03c5b1cSMartin Matuska                       && (zds->outStart + zds->fParams.blockSizeMax > zds->outBuffSize) ) {
1815c03c5b1cSMartin Matuska                         DEBUGLOG(5, "restart filling outBuff from beginning (left:%i, needed:%u)",
1816c03c5b1cSMartin Matuska                                 (int)(zds->outBuffSize - zds->outStart),
1817c03c5b1cSMartin Matuska                                 (U32)zds->fParams.blockSizeMax);
1818c03c5b1cSMartin Matuska                         zds->outStart = zds->outEnd = 0;
1819c03c5b1cSMartin Matuska                     }
1820c03c5b1cSMartin Matuska                     break;
1821c03c5b1cSMartin Matuska             }   }
1822c03c5b1cSMartin Matuska             /* cannot complete flush */
1823c03c5b1cSMartin Matuska             someMoreWork = 0;
1824c03c5b1cSMartin Matuska             break;
1825c03c5b1cSMartin Matuska 
1826c03c5b1cSMartin Matuska         default:
1827c03c5b1cSMartin Matuska             assert(0);    /* impossible */
1828c03c5b1cSMartin Matuska             RETURN_ERROR(GENERIC, "impossible to reach");   /* some compiler require default to do something */
1829c03c5b1cSMartin Matuska     }   }
1830c03c5b1cSMartin Matuska 
1831c03c5b1cSMartin Matuska     /* result */
1832c03c5b1cSMartin Matuska     input->pos = (size_t)(ip - (const char*)(input->src));
1833c03c5b1cSMartin Matuska     output->pos = (size_t)(op - (char*)(output->dst));
1834c03c5b1cSMartin Matuska 
1835c03c5b1cSMartin Matuska     /* Update the expected output buffer for ZSTD_obm_stable. */
1836c03c5b1cSMartin Matuska     zds->expectedOutBuffer = *output;
1837c03c5b1cSMartin Matuska 
1838c03c5b1cSMartin Matuska     if ((ip==istart) && (op==ostart)) {  /* no forward progress */
1839c03c5b1cSMartin Matuska         zds->noForwardProgress ++;
1840c03c5b1cSMartin Matuska         if (zds->noForwardProgress >= ZSTD_NO_FORWARD_PROGRESS_MAX) {
1841c03c5b1cSMartin Matuska             RETURN_ERROR_IF(op==oend, dstSize_tooSmall, "");
1842c03c5b1cSMartin Matuska             RETURN_ERROR_IF(ip==iend, srcSize_wrong, "");
1843c03c5b1cSMartin Matuska             assert(0);
1844c03c5b1cSMartin Matuska         }
1845c03c5b1cSMartin Matuska     } else {
1846c03c5b1cSMartin Matuska         zds->noForwardProgress = 0;
1847c03c5b1cSMartin Matuska     }
1848c03c5b1cSMartin Matuska     {   size_t nextSrcSizeHint = ZSTD_nextSrcSizeToDecompress(zds);
1849c03c5b1cSMartin Matuska         if (!nextSrcSizeHint) {   /* frame fully decoded */
1850c03c5b1cSMartin Matuska             if (zds->outEnd == zds->outStart) {  /* output fully flushed */
1851c03c5b1cSMartin Matuska                 if (zds->hostageByte) {
1852c03c5b1cSMartin Matuska                     if (input->pos >= input->size) {
1853c03c5b1cSMartin Matuska                         /* can't release hostage (not present) */
1854c03c5b1cSMartin Matuska                         zds->streamStage = zdss_read;
1855c03c5b1cSMartin Matuska                         return 1;
1856c03c5b1cSMartin Matuska                     }
1857c03c5b1cSMartin Matuska                     input->pos++;  /* release hostage */
1858c03c5b1cSMartin Matuska                 }   /* zds->hostageByte */
1859c03c5b1cSMartin Matuska                 return 0;
1860c03c5b1cSMartin Matuska             }  /* zds->outEnd == zds->outStart */
1861c03c5b1cSMartin Matuska             if (!zds->hostageByte) { /* output not fully flushed; keep last byte as hostage; will be released when all output is flushed */
1862c03c5b1cSMartin Matuska                 input->pos--;   /* note : pos > 0, otherwise, impossible to finish reading last block */
1863c03c5b1cSMartin Matuska                 zds->hostageByte=1;
1864c03c5b1cSMartin Matuska             }
1865c03c5b1cSMartin Matuska             return 1;
1866c03c5b1cSMartin Matuska         }  /* nextSrcSizeHint==0 */
1867c03c5b1cSMartin Matuska         nextSrcSizeHint += ZSTD_blockHeaderSize * (ZSTD_nextInputType(zds) == ZSTDnit_block);   /* preload header of next block */
1868c03c5b1cSMartin Matuska         assert(zds->inPos <= nextSrcSizeHint);
1869c03c5b1cSMartin Matuska         nextSrcSizeHint -= zds->inPos;   /* part already loaded*/
1870c03c5b1cSMartin Matuska         return nextSrcSizeHint;
1871c03c5b1cSMartin Matuska     }
1872c03c5b1cSMartin Matuska }
1873c03c5b1cSMartin Matuska 
ZSTD_decompressStream_simpleArgs(ZSTD_DCtx * dctx,void * dst,size_t dstCapacity,size_t * dstPos,const void * src,size_t srcSize,size_t * srcPos)1874c03c5b1cSMartin Matuska size_t ZSTD_decompressStream_simpleArgs (
1875c03c5b1cSMartin Matuska                             ZSTD_DCtx* dctx,
1876c03c5b1cSMartin Matuska                             void* dst, size_t dstCapacity, size_t* dstPos,
1877c03c5b1cSMartin Matuska                       const void* src, size_t srcSize, size_t* srcPos)
1878c03c5b1cSMartin Matuska {
1879c03c5b1cSMartin Matuska     ZSTD_outBuffer output = { dst, dstCapacity, *dstPos };
1880c03c5b1cSMartin Matuska     ZSTD_inBuffer  input  = { src, srcSize, *srcPos };
1881c03c5b1cSMartin Matuska     /* ZSTD_compress_generic() will check validity of dstPos and srcPos */
1882c03c5b1cSMartin Matuska     size_t const cErr = ZSTD_decompressStream(dctx, &output, &input);
1883c03c5b1cSMartin Matuska     *dstPos = output.pos;
1884c03c5b1cSMartin Matuska     *srcPos = input.pos;
1885c03c5b1cSMartin Matuska     return cErr;
1886c03c5b1cSMartin Matuska }
1887