xref: /openbmc/linux/lib/zstd/decompress/huf_decompress.c (revision 0a8ea235837cc39f27c45689930aa97ae91d5953)
1e0c1b49fSNick Terrell /* ******************************************************************
2e0c1b49fSNick Terrell  * huff0 huffman decoder,
3e0c1b49fSNick Terrell  * part of Finite State Entropy library
4e0c1b49fSNick Terrell  * Copyright (c) Yann Collet, Facebook, Inc.
5e0c1b49fSNick Terrell  *
6e0c1b49fSNick Terrell  *  You can contact the author at :
7e0c1b49fSNick Terrell  *  - FSE+HUF source repository : https://github.com/Cyan4973/FiniteStateEntropy
8e0c1b49fSNick Terrell  *
9e0c1b49fSNick Terrell  * This source code is licensed under both the BSD-style license (found in the
10e0c1b49fSNick Terrell  * LICENSE file in the root directory of this source tree) and the GPLv2 (found
11e0c1b49fSNick Terrell  * in the COPYING file in the root directory of this source tree).
12e0c1b49fSNick Terrell  * You may select, at your option, one of the above-listed licenses.
13e0c1b49fSNick Terrell ****************************************************************** */
14e0c1b49fSNick Terrell 
15e0c1b49fSNick Terrell /* **************************************************************
16e0c1b49fSNick Terrell *  Dependencies
17e0c1b49fSNick Terrell ****************************************************************/
18e0c1b49fSNick Terrell #include "../common/zstd_deps.h"  /* ZSTD_memcpy, ZSTD_memset */
19e0c1b49fSNick Terrell #include "../common/compiler.h"
20e0c1b49fSNick Terrell #include "../common/bitstream.h"  /* BIT_* */
21e0c1b49fSNick Terrell #include "../common/fse.h"        /* to compress headers */
22e0c1b49fSNick Terrell #define HUF_STATIC_LINKING_ONLY
23e0c1b49fSNick Terrell #include "../common/huf.h"
24e0c1b49fSNick Terrell #include "../common/error_private.h"
25e0c1b49fSNick Terrell 
26e0c1b49fSNick Terrell /* **************************************************************
27e0c1b49fSNick Terrell *  Macros
28e0c1b49fSNick Terrell ****************************************************************/
29e0c1b49fSNick Terrell 
30e0c1b49fSNick Terrell /* These two optional macros force the use one way or another of the two
31e0c1b49fSNick Terrell  * Huffman decompression implementations. You can't force in both directions
32e0c1b49fSNick Terrell  * at the same time.
33e0c1b49fSNick Terrell  */
34e0c1b49fSNick Terrell #if defined(HUF_FORCE_DECOMPRESS_X1) && \
35e0c1b49fSNick Terrell     defined(HUF_FORCE_DECOMPRESS_X2)
36e0c1b49fSNick Terrell #error "Cannot force the use of the X1 and X2 decoders at the same time!"
37e0c1b49fSNick Terrell #endif
38e0c1b49fSNick Terrell 
39e0c1b49fSNick Terrell 
40e0c1b49fSNick Terrell /* **************************************************************
41e0c1b49fSNick Terrell *  Error Management
42e0c1b49fSNick Terrell ****************************************************************/
43e0c1b49fSNick Terrell #define HUF_isError ERR_isError
44e0c1b49fSNick Terrell 
45e0c1b49fSNick Terrell 
46e0c1b49fSNick Terrell /* **************************************************************
47e0c1b49fSNick Terrell *  Byte alignment for workSpace management
48e0c1b49fSNick Terrell ****************************************************************/
49e0c1b49fSNick Terrell #define HUF_ALIGN(x, a)         HUF_ALIGN_MASK((x), (a) - 1)
50e0c1b49fSNick Terrell #define HUF_ALIGN_MASK(x, mask) (((x) + (mask)) & ~(mask))
51e0c1b49fSNick Terrell 
52e0c1b49fSNick Terrell 
53e0c1b49fSNick Terrell /* **************************************************************
54e0c1b49fSNick Terrell *  BMI2 Variant Wrappers
55e0c1b49fSNick Terrell ****************************************************************/
56e0c1b49fSNick Terrell #if DYNAMIC_BMI2
57e0c1b49fSNick Terrell 
58e0c1b49fSNick Terrell #define HUF_DGEN(fn)                                                        \
59e0c1b49fSNick Terrell                                                                             \
60e0c1b49fSNick Terrell     static size_t fn##_default(                                             \
61e0c1b49fSNick Terrell                   void* dst,  size_t dstSize,                               \
62e0c1b49fSNick Terrell             const void* cSrc, size_t cSrcSize,                              \
63e0c1b49fSNick Terrell             const HUF_DTable* DTable)                                       \
64e0c1b49fSNick Terrell     {                                                                       \
65e0c1b49fSNick Terrell         return fn##_body(dst, dstSize, cSrc, cSrcSize, DTable);             \
66e0c1b49fSNick Terrell     }                                                                       \
67e0c1b49fSNick Terrell                                                                             \
68e0c1b49fSNick Terrell     static TARGET_ATTRIBUTE("bmi2") size_t fn##_bmi2(                       \
69e0c1b49fSNick Terrell                   void* dst,  size_t dstSize,                               \
70e0c1b49fSNick Terrell             const void* cSrc, size_t cSrcSize,                              \
71e0c1b49fSNick Terrell             const HUF_DTable* DTable)                                       \
72e0c1b49fSNick Terrell     {                                                                       \
73e0c1b49fSNick Terrell         return fn##_body(dst, dstSize, cSrc, cSrcSize, DTable);             \
74e0c1b49fSNick Terrell     }                                                                       \
75e0c1b49fSNick Terrell                                                                             \
76e0c1b49fSNick Terrell     static size_t fn(void* dst, size_t dstSize, void const* cSrc,           \
77e0c1b49fSNick Terrell                      size_t cSrcSize, HUF_DTable const* DTable, int bmi2)   \
78e0c1b49fSNick Terrell     {                                                                       \
79e0c1b49fSNick Terrell         if (bmi2) {                                                         \
80e0c1b49fSNick Terrell             return fn##_bmi2(dst, dstSize, cSrc, cSrcSize, DTable);         \
81e0c1b49fSNick Terrell         }                                                                   \
82e0c1b49fSNick Terrell         return fn##_default(dst, dstSize, cSrc, cSrcSize, DTable);          \
83e0c1b49fSNick Terrell     }
84e0c1b49fSNick Terrell 
85e0c1b49fSNick Terrell #else
86e0c1b49fSNick Terrell 
87e0c1b49fSNick Terrell #define HUF_DGEN(fn)                                                        \
88e0c1b49fSNick Terrell     static size_t fn(void* dst, size_t dstSize, void const* cSrc,           \
89e0c1b49fSNick Terrell                      size_t cSrcSize, HUF_DTable const* DTable, int bmi2)   \
90e0c1b49fSNick Terrell     {                                                                       \
91e0c1b49fSNick Terrell         (void)bmi2;                                                         \
92e0c1b49fSNick Terrell         return fn##_body(dst, dstSize, cSrc, cSrcSize, DTable);             \
93e0c1b49fSNick Terrell     }
94e0c1b49fSNick Terrell 
95e0c1b49fSNick Terrell #endif
96e0c1b49fSNick Terrell 
97e0c1b49fSNick Terrell 
98e0c1b49fSNick Terrell /*-***************************/
99e0c1b49fSNick Terrell /*  generic DTableDesc       */
100e0c1b49fSNick Terrell /*-***************************/
101e0c1b49fSNick Terrell typedef struct { BYTE maxTableLog; BYTE tableType; BYTE tableLog; BYTE reserved; } DTableDesc;
102e0c1b49fSNick Terrell 
103e0c1b49fSNick Terrell static DTableDesc HUF_getDTableDesc(const HUF_DTable* table)
104e0c1b49fSNick Terrell {
105e0c1b49fSNick Terrell     DTableDesc dtd;
106e0c1b49fSNick Terrell     ZSTD_memcpy(&dtd, table, sizeof(dtd));
107e0c1b49fSNick Terrell     return dtd;
108e0c1b49fSNick Terrell }
109e0c1b49fSNick Terrell 
110e0c1b49fSNick Terrell 
111e0c1b49fSNick Terrell #ifndef HUF_FORCE_DECOMPRESS_X2
112e0c1b49fSNick Terrell 
113e0c1b49fSNick Terrell /*-***************************/
114e0c1b49fSNick Terrell /*  single-symbol decoding   */
115e0c1b49fSNick Terrell /*-***************************/
116e0c1b49fSNick Terrell typedef struct { BYTE byte; BYTE nbBits; } HUF_DEltX1;   /* single-symbol decoding */
117e0c1b49fSNick Terrell 
118e0c1b49fSNick Terrell /*
119e0c1b49fSNick Terrell  * Packs 4 HUF_DEltX1 structs into a U64. This is used to lay down 4 entries at
120e0c1b49fSNick Terrell  * a time.
121e0c1b49fSNick Terrell  */
122e0c1b49fSNick Terrell static U64 HUF_DEltX1_set4(BYTE symbol, BYTE nbBits) {
123e0c1b49fSNick Terrell     U64 D4;
124e0c1b49fSNick Terrell     if (MEM_isLittleEndian()) {
125e0c1b49fSNick Terrell         D4 = symbol + (nbBits << 8);
126e0c1b49fSNick Terrell     } else {
127e0c1b49fSNick Terrell         D4 = (symbol << 8) + nbBits;
128e0c1b49fSNick Terrell     }
129e0c1b49fSNick Terrell     D4 *= 0x0001000100010001ULL;
130e0c1b49fSNick Terrell     return D4;
131e0c1b49fSNick Terrell }
132e0c1b49fSNick Terrell 
133e0c1b49fSNick Terrell typedef struct {
134e0c1b49fSNick Terrell         U32 rankVal[HUF_TABLELOG_ABSOLUTEMAX + 1];
135e0c1b49fSNick Terrell         U32 rankStart[HUF_TABLELOG_ABSOLUTEMAX + 1];
136e0c1b49fSNick Terrell         U32 statsWksp[HUF_READ_STATS_WORKSPACE_SIZE_U32];
137e0c1b49fSNick Terrell         BYTE symbols[HUF_SYMBOLVALUE_MAX + 1];
138e0c1b49fSNick Terrell         BYTE huffWeight[HUF_SYMBOLVALUE_MAX + 1];
139e0c1b49fSNick Terrell } HUF_ReadDTableX1_Workspace;
140e0c1b49fSNick Terrell 
141e0c1b49fSNick Terrell 
142e0c1b49fSNick Terrell size_t HUF_readDTableX1_wksp(HUF_DTable* DTable, const void* src, size_t srcSize, void* workSpace, size_t wkspSize)
143e0c1b49fSNick Terrell {
144e0c1b49fSNick Terrell     return HUF_readDTableX1_wksp_bmi2(DTable, src, srcSize, workSpace, wkspSize, /* bmi2 */ 0);
145e0c1b49fSNick Terrell }
146e0c1b49fSNick Terrell 
147e0c1b49fSNick Terrell size_t HUF_readDTableX1_wksp_bmi2(HUF_DTable* DTable, const void* src, size_t srcSize, void* workSpace, size_t wkspSize, int bmi2)
148e0c1b49fSNick Terrell {
149e0c1b49fSNick Terrell     U32 tableLog = 0;
150e0c1b49fSNick Terrell     U32 nbSymbols = 0;
151e0c1b49fSNick Terrell     size_t iSize;
152e0c1b49fSNick Terrell     void* const dtPtr = DTable + 1;
153e0c1b49fSNick Terrell     HUF_DEltX1* const dt = (HUF_DEltX1*)dtPtr;
154e0c1b49fSNick Terrell     HUF_ReadDTableX1_Workspace* wksp = (HUF_ReadDTableX1_Workspace*)workSpace;
155e0c1b49fSNick Terrell 
156e0c1b49fSNick Terrell     DEBUG_STATIC_ASSERT(HUF_DECOMPRESS_WORKSPACE_SIZE >= sizeof(*wksp));
157e0c1b49fSNick Terrell     if (sizeof(*wksp) > wkspSize) return ERROR(tableLog_tooLarge);
158e0c1b49fSNick Terrell 
159e0c1b49fSNick Terrell     DEBUG_STATIC_ASSERT(sizeof(DTableDesc) == sizeof(HUF_DTable));
160e0c1b49fSNick Terrell     /* ZSTD_memset(huffWeight, 0, sizeof(huffWeight)); */   /* is not necessary, even though some analyzer complain ... */
161e0c1b49fSNick Terrell 
162e0c1b49fSNick Terrell     iSize = HUF_readStats_wksp(wksp->huffWeight, HUF_SYMBOLVALUE_MAX + 1, wksp->rankVal, &nbSymbols, &tableLog, src, srcSize, wksp->statsWksp, sizeof(wksp->statsWksp), bmi2);
163e0c1b49fSNick Terrell     if (HUF_isError(iSize)) return iSize;
164e0c1b49fSNick Terrell 
165e0c1b49fSNick Terrell     /* Table header */
166e0c1b49fSNick Terrell     {   DTableDesc dtd = HUF_getDTableDesc(DTable);
167e0c1b49fSNick Terrell         if (tableLog > (U32)(dtd.maxTableLog+1)) return ERROR(tableLog_tooLarge);   /* DTable too small, Huffman tree cannot fit in */
168e0c1b49fSNick Terrell         dtd.tableType = 0;
169e0c1b49fSNick Terrell         dtd.tableLog = (BYTE)tableLog;
170e0c1b49fSNick Terrell         ZSTD_memcpy(DTable, &dtd, sizeof(dtd));
171e0c1b49fSNick Terrell     }
172e0c1b49fSNick Terrell 
173e0c1b49fSNick Terrell     /* Compute symbols and rankStart given rankVal:
174e0c1b49fSNick Terrell      *
175e0c1b49fSNick Terrell      * rankVal already contains the number of values of each weight.
176e0c1b49fSNick Terrell      *
177e0c1b49fSNick Terrell      * symbols contains the symbols ordered by weight. First are the rankVal[0]
178e0c1b49fSNick Terrell      * weight 0 symbols, followed by the rankVal[1] weight 1 symbols, and so on.
179e0c1b49fSNick Terrell      * symbols[0] is filled (but unused) to avoid a branch.
180e0c1b49fSNick Terrell      *
181e0c1b49fSNick Terrell      * rankStart contains the offset where each rank belongs in the DTable.
182e0c1b49fSNick Terrell      * rankStart[0] is not filled because there are no entries in the table for
183e0c1b49fSNick Terrell      * weight 0.
184e0c1b49fSNick Terrell      */
185e0c1b49fSNick Terrell     {
186e0c1b49fSNick Terrell         int n;
187e0c1b49fSNick Terrell         int nextRankStart = 0;
188e0c1b49fSNick Terrell         int const unroll = 4;
189e0c1b49fSNick Terrell         int const nLimit = (int)nbSymbols - unroll + 1;
190e0c1b49fSNick Terrell         for (n=0; n<(int)tableLog+1; n++) {
191e0c1b49fSNick Terrell             U32 const curr = nextRankStart;
192e0c1b49fSNick Terrell             nextRankStart += wksp->rankVal[n];
193e0c1b49fSNick Terrell             wksp->rankStart[n] = curr;
194e0c1b49fSNick Terrell         }
195e0c1b49fSNick Terrell         for (n=0; n < nLimit; n += unroll) {
196e0c1b49fSNick Terrell             int u;
197e0c1b49fSNick Terrell             for (u=0; u < unroll; ++u) {
198e0c1b49fSNick Terrell                 size_t const w = wksp->huffWeight[n+u];
199e0c1b49fSNick Terrell                 wksp->symbols[wksp->rankStart[w]++] = (BYTE)(n+u);
200e0c1b49fSNick Terrell             }
201e0c1b49fSNick Terrell         }
202e0c1b49fSNick Terrell         for (; n < (int)nbSymbols; ++n) {
203e0c1b49fSNick Terrell             size_t const w = wksp->huffWeight[n];
204e0c1b49fSNick Terrell             wksp->symbols[wksp->rankStart[w]++] = (BYTE)n;
205e0c1b49fSNick Terrell         }
206e0c1b49fSNick Terrell     }
207e0c1b49fSNick Terrell 
208e0c1b49fSNick Terrell     /* fill DTable
209e0c1b49fSNick Terrell      * We fill all entries of each weight in order.
210e0c1b49fSNick Terrell      * That way length is a constant for each iteration of the outter loop.
211e0c1b49fSNick Terrell      * We can switch based on the length to a different inner loop which is
212e0c1b49fSNick Terrell      * optimized for that particular case.
213e0c1b49fSNick Terrell      */
214e0c1b49fSNick Terrell     {
215e0c1b49fSNick Terrell         U32 w;
216e0c1b49fSNick Terrell         int symbol=wksp->rankVal[0];
217e0c1b49fSNick Terrell         int rankStart=0;
218e0c1b49fSNick Terrell         for (w=1; w<tableLog+1; ++w) {
219e0c1b49fSNick Terrell             int const symbolCount = wksp->rankVal[w];
220e0c1b49fSNick Terrell             int const length = (1 << w) >> 1;
221e0c1b49fSNick Terrell             int uStart = rankStart;
222e0c1b49fSNick Terrell             BYTE const nbBits = (BYTE)(tableLog + 1 - w);
223e0c1b49fSNick Terrell             int s;
224e0c1b49fSNick Terrell             int u;
225e0c1b49fSNick Terrell             switch (length) {
226e0c1b49fSNick Terrell             case 1:
227e0c1b49fSNick Terrell                 for (s=0; s<symbolCount; ++s) {
228e0c1b49fSNick Terrell                     HUF_DEltX1 D;
229e0c1b49fSNick Terrell                     D.byte = wksp->symbols[symbol + s];
230e0c1b49fSNick Terrell                     D.nbBits = nbBits;
231e0c1b49fSNick Terrell                     dt[uStart] = D;
232e0c1b49fSNick Terrell                     uStart += 1;
233e0c1b49fSNick Terrell                 }
234e0c1b49fSNick Terrell                 break;
235e0c1b49fSNick Terrell             case 2:
236e0c1b49fSNick Terrell                 for (s=0; s<symbolCount; ++s) {
237e0c1b49fSNick Terrell                     HUF_DEltX1 D;
238e0c1b49fSNick Terrell                     D.byte = wksp->symbols[symbol + s];
239e0c1b49fSNick Terrell                     D.nbBits = nbBits;
240e0c1b49fSNick Terrell                     dt[uStart+0] = D;
241e0c1b49fSNick Terrell                     dt[uStart+1] = D;
242e0c1b49fSNick Terrell                     uStart += 2;
243e0c1b49fSNick Terrell                 }
244e0c1b49fSNick Terrell                 break;
245e0c1b49fSNick Terrell             case 4:
246e0c1b49fSNick Terrell                 for (s=0; s<symbolCount; ++s) {
247e0c1b49fSNick Terrell                     U64 const D4 = HUF_DEltX1_set4(wksp->symbols[symbol + s], nbBits);
248e0c1b49fSNick Terrell                     MEM_write64(dt + uStart, D4);
249e0c1b49fSNick Terrell                     uStart += 4;
250e0c1b49fSNick Terrell                 }
251e0c1b49fSNick Terrell                 break;
252e0c1b49fSNick Terrell             case 8:
253e0c1b49fSNick Terrell                 for (s=0; s<symbolCount; ++s) {
254e0c1b49fSNick Terrell                     U64 const D4 = HUF_DEltX1_set4(wksp->symbols[symbol + s], nbBits);
255e0c1b49fSNick Terrell                     MEM_write64(dt + uStart, D4);
256e0c1b49fSNick Terrell                     MEM_write64(dt + uStart + 4, D4);
257e0c1b49fSNick Terrell                     uStart += 8;
258e0c1b49fSNick Terrell                 }
259e0c1b49fSNick Terrell                 break;
260e0c1b49fSNick Terrell             default:
261e0c1b49fSNick Terrell                 for (s=0; s<symbolCount; ++s) {
262e0c1b49fSNick Terrell                     U64 const D4 = HUF_DEltX1_set4(wksp->symbols[symbol + s], nbBits);
263e0c1b49fSNick Terrell                     for (u=0; u < length; u += 16) {
264e0c1b49fSNick Terrell                         MEM_write64(dt + uStart + u + 0, D4);
265e0c1b49fSNick Terrell                         MEM_write64(dt + uStart + u + 4, D4);
266e0c1b49fSNick Terrell                         MEM_write64(dt + uStart + u + 8, D4);
267e0c1b49fSNick Terrell                         MEM_write64(dt + uStart + u + 12, D4);
268e0c1b49fSNick Terrell                     }
269e0c1b49fSNick Terrell                     assert(u == length);
270e0c1b49fSNick Terrell                     uStart += length;
271e0c1b49fSNick Terrell                 }
272e0c1b49fSNick Terrell                 break;
273e0c1b49fSNick Terrell             }
274e0c1b49fSNick Terrell             symbol += symbolCount;
275e0c1b49fSNick Terrell             rankStart += symbolCount * length;
276e0c1b49fSNick Terrell         }
277e0c1b49fSNick Terrell     }
278e0c1b49fSNick Terrell     return iSize;
279e0c1b49fSNick Terrell }
280e0c1b49fSNick Terrell 
281e0c1b49fSNick Terrell FORCE_INLINE_TEMPLATE BYTE
282e0c1b49fSNick Terrell HUF_decodeSymbolX1(BIT_DStream_t* Dstream, const HUF_DEltX1* dt, const U32 dtLog)
283e0c1b49fSNick Terrell {
284e0c1b49fSNick Terrell     size_t const val = BIT_lookBitsFast(Dstream, dtLog); /* note : dtLog >= 1 */
285e0c1b49fSNick Terrell     BYTE const c = dt[val].byte;
286e0c1b49fSNick Terrell     BIT_skipBits(Dstream, dt[val].nbBits);
287e0c1b49fSNick Terrell     return c;
288e0c1b49fSNick Terrell }
289e0c1b49fSNick Terrell 
290e0c1b49fSNick Terrell #define HUF_DECODE_SYMBOLX1_0(ptr, DStreamPtr) \
291e0c1b49fSNick Terrell     *ptr++ = HUF_decodeSymbolX1(DStreamPtr, dt, dtLog)
292e0c1b49fSNick Terrell 
293e0c1b49fSNick Terrell #define HUF_DECODE_SYMBOLX1_1(ptr, DStreamPtr)  \
294e0c1b49fSNick Terrell     if (MEM_64bits() || (HUF_TABLELOG_MAX<=12)) \
295e0c1b49fSNick Terrell         HUF_DECODE_SYMBOLX1_0(ptr, DStreamPtr)
296e0c1b49fSNick Terrell 
297e0c1b49fSNick Terrell #define HUF_DECODE_SYMBOLX1_2(ptr, DStreamPtr) \
298e0c1b49fSNick Terrell     if (MEM_64bits()) \
299e0c1b49fSNick Terrell         HUF_DECODE_SYMBOLX1_0(ptr, DStreamPtr)
300e0c1b49fSNick Terrell 
301e0c1b49fSNick Terrell HINT_INLINE size_t
302e0c1b49fSNick Terrell HUF_decodeStreamX1(BYTE* p, BIT_DStream_t* const bitDPtr, BYTE* const pEnd, const HUF_DEltX1* const dt, const U32 dtLog)
303e0c1b49fSNick Terrell {
304e0c1b49fSNick Terrell     BYTE* const pStart = p;
305e0c1b49fSNick Terrell 
306e0c1b49fSNick Terrell     /* up to 4 symbols at a time */
307e0c1b49fSNick Terrell     while ((BIT_reloadDStream(bitDPtr) == BIT_DStream_unfinished) & (p < pEnd-3)) {
308e0c1b49fSNick Terrell         HUF_DECODE_SYMBOLX1_2(p, bitDPtr);
309e0c1b49fSNick Terrell         HUF_DECODE_SYMBOLX1_1(p, bitDPtr);
310e0c1b49fSNick Terrell         HUF_DECODE_SYMBOLX1_2(p, bitDPtr);
311e0c1b49fSNick Terrell         HUF_DECODE_SYMBOLX1_0(p, bitDPtr);
312e0c1b49fSNick Terrell     }
313e0c1b49fSNick Terrell 
314e0c1b49fSNick Terrell     /* [0-3] symbols remaining */
315e0c1b49fSNick Terrell     if (MEM_32bits())
316e0c1b49fSNick Terrell         while ((BIT_reloadDStream(bitDPtr) == BIT_DStream_unfinished) & (p < pEnd))
317e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_0(p, bitDPtr);
318e0c1b49fSNick Terrell 
319e0c1b49fSNick Terrell     /* no more data to retrieve from bitstream, no need to reload */
320e0c1b49fSNick Terrell     while (p < pEnd)
321e0c1b49fSNick Terrell         HUF_DECODE_SYMBOLX1_0(p, bitDPtr);
322e0c1b49fSNick Terrell 
323e0c1b49fSNick Terrell     return pEnd-pStart;
324e0c1b49fSNick Terrell }
325e0c1b49fSNick Terrell 
326e0c1b49fSNick Terrell FORCE_INLINE_TEMPLATE size_t
327e0c1b49fSNick Terrell HUF_decompress1X1_usingDTable_internal_body(
328e0c1b49fSNick Terrell           void* dst,  size_t dstSize,
329e0c1b49fSNick Terrell     const void* cSrc, size_t cSrcSize,
330e0c1b49fSNick Terrell     const HUF_DTable* DTable)
331e0c1b49fSNick Terrell {
332e0c1b49fSNick Terrell     BYTE* op = (BYTE*)dst;
333e0c1b49fSNick Terrell     BYTE* const oend = op + dstSize;
334e0c1b49fSNick Terrell     const void* dtPtr = DTable + 1;
335e0c1b49fSNick Terrell     const HUF_DEltX1* const dt = (const HUF_DEltX1*)dtPtr;
336e0c1b49fSNick Terrell     BIT_DStream_t bitD;
337e0c1b49fSNick Terrell     DTableDesc const dtd = HUF_getDTableDesc(DTable);
338e0c1b49fSNick Terrell     U32 const dtLog = dtd.tableLog;
339e0c1b49fSNick Terrell 
340e0c1b49fSNick Terrell     CHECK_F( BIT_initDStream(&bitD, cSrc, cSrcSize) );
341e0c1b49fSNick Terrell 
342e0c1b49fSNick Terrell     HUF_decodeStreamX1(op, &bitD, oend, dt, dtLog);
343e0c1b49fSNick Terrell 
344e0c1b49fSNick Terrell     if (!BIT_endOfDStream(&bitD)) return ERROR(corruption_detected);
345e0c1b49fSNick Terrell 
346e0c1b49fSNick Terrell     return dstSize;
347e0c1b49fSNick Terrell }
348e0c1b49fSNick Terrell 
349e0c1b49fSNick Terrell FORCE_INLINE_TEMPLATE size_t
350e0c1b49fSNick Terrell HUF_decompress4X1_usingDTable_internal_body(
351e0c1b49fSNick Terrell           void* dst,  size_t dstSize,
352e0c1b49fSNick Terrell     const void* cSrc, size_t cSrcSize,
353e0c1b49fSNick Terrell     const HUF_DTable* DTable)
354e0c1b49fSNick Terrell {
355e0c1b49fSNick Terrell     /* Check */
356e0c1b49fSNick Terrell     if (cSrcSize < 10) return ERROR(corruption_detected);  /* strict minimum : jump table + 1 byte per stream */
357e0c1b49fSNick Terrell 
358e0c1b49fSNick Terrell     {   const BYTE* const istart = (const BYTE*) cSrc;
359e0c1b49fSNick Terrell         BYTE* const ostart = (BYTE*) dst;
360e0c1b49fSNick Terrell         BYTE* const oend = ostart + dstSize;
361e0c1b49fSNick Terrell         BYTE* const olimit = oend - 3;
362e0c1b49fSNick Terrell         const void* const dtPtr = DTable + 1;
363e0c1b49fSNick Terrell         const HUF_DEltX1* const dt = (const HUF_DEltX1*)dtPtr;
364e0c1b49fSNick Terrell 
365e0c1b49fSNick Terrell         /* Init */
366e0c1b49fSNick Terrell         BIT_DStream_t bitD1;
367e0c1b49fSNick Terrell         BIT_DStream_t bitD2;
368e0c1b49fSNick Terrell         BIT_DStream_t bitD3;
369e0c1b49fSNick Terrell         BIT_DStream_t bitD4;
370e0c1b49fSNick Terrell         size_t const length1 = MEM_readLE16(istart);
371e0c1b49fSNick Terrell         size_t const length2 = MEM_readLE16(istart+2);
372e0c1b49fSNick Terrell         size_t const length3 = MEM_readLE16(istart+4);
373e0c1b49fSNick Terrell         size_t const length4 = cSrcSize - (length1 + length2 + length3 + 6);
374e0c1b49fSNick Terrell         const BYTE* const istart1 = istart + 6;  /* jumpTable */
375e0c1b49fSNick Terrell         const BYTE* const istart2 = istart1 + length1;
376e0c1b49fSNick Terrell         const BYTE* const istart3 = istart2 + length2;
377e0c1b49fSNick Terrell         const BYTE* const istart4 = istart3 + length3;
378e0c1b49fSNick Terrell         const size_t segmentSize = (dstSize+3) / 4;
379e0c1b49fSNick Terrell         BYTE* const opStart2 = ostart + segmentSize;
380e0c1b49fSNick Terrell         BYTE* const opStart3 = opStart2 + segmentSize;
381e0c1b49fSNick Terrell         BYTE* const opStart4 = opStart3 + segmentSize;
382e0c1b49fSNick Terrell         BYTE* op1 = ostart;
383e0c1b49fSNick Terrell         BYTE* op2 = opStart2;
384e0c1b49fSNick Terrell         BYTE* op3 = opStart3;
385e0c1b49fSNick Terrell         BYTE* op4 = opStart4;
386e0c1b49fSNick Terrell         DTableDesc const dtd = HUF_getDTableDesc(DTable);
387e0c1b49fSNick Terrell         U32 const dtLog = dtd.tableLog;
388e0c1b49fSNick Terrell         U32 endSignal = 1;
389e0c1b49fSNick Terrell 
390e0c1b49fSNick Terrell         if (length4 > cSrcSize) return ERROR(corruption_detected);   /* overflow */
391e0c1b49fSNick Terrell         CHECK_F( BIT_initDStream(&bitD1, istart1, length1) );
392e0c1b49fSNick Terrell         CHECK_F( BIT_initDStream(&bitD2, istart2, length2) );
393e0c1b49fSNick Terrell         CHECK_F( BIT_initDStream(&bitD3, istart3, length3) );
394e0c1b49fSNick Terrell         CHECK_F( BIT_initDStream(&bitD4, istart4, length4) );
395e0c1b49fSNick Terrell 
396e0c1b49fSNick Terrell         /* up to 16 symbols per loop (4 symbols per stream) in 64-bit mode */
397e0c1b49fSNick Terrell         for ( ; (endSignal) & (op4 < olimit) ; ) {
398e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_2(op1, &bitD1);
399e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_2(op2, &bitD2);
400e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_2(op3, &bitD3);
401e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_2(op4, &bitD4);
402e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_1(op1, &bitD1);
403e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_1(op2, &bitD2);
404e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_1(op3, &bitD3);
405e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_1(op4, &bitD4);
406e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_2(op1, &bitD1);
407e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_2(op2, &bitD2);
408e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_2(op3, &bitD3);
409e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_2(op4, &bitD4);
410e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_0(op1, &bitD1);
411e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_0(op2, &bitD2);
412e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_0(op3, &bitD3);
413e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX1_0(op4, &bitD4);
414e0c1b49fSNick Terrell             endSignal &= BIT_reloadDStreamFast(&bitD1) == BIT_DStream_unfinished;
415e0c1b49fSNick Terrell             endSignal &= BIT_reloadDStreamFast(&bitD2) == BIT_DStream_unfinished;
416e0c1b49fSNick Terrell             endSignal &= BIT_reloadDStreamFast(&bitD3) == BIT_DStream_unfinished;
417e0c1b49fSNick Terrell             endSignal &= BIT_reloadDStreamFast(&bitD4) == BIT_DStream_unfinished;
418e0c1b49fSNick Terrell         }
419e0c1b49fSNick Terrell 
420e0c1b49fSNick Terrell         /* check corruption */
421e0c1b49fSNick Terrell         /* note : should not be necessary : op# advance in lock step, and we control op4.
422e0c1b49fSNick Terrell          *        but curiously, binary generated by gcc 7.2 & 7.3 with -mbmi2 runs faster when >=1 test is present */
423e0c1b49fSNick Terrell         if (op1 > opStart2) return ERROR(corruption_detected);
424e0c1b49fSNick Terrell         if (op2 > opStart3) return ERROR(corruption_detected);
425e0c1b49fSNick Terrell         if (op3 > opStart4) return ERROR(corruption_detected);
426e0c1b49fSNick Terrell         /* note : op4 supposed already verified within main loop */
427e0c1b49fSNick Terrell 
428e0c1b49fSNick Terrell         /* finish bitStreams one by one */
429e0c1b49fSNick Terrell         HUF_decodeStreamX1(op1, &bitD1, opStart2, dt, dtLog);
430e0c1b49fSNick Terrell         HUF_decodeStreamX1(op2, &bitD2, opStart3, dt, dtLog);
431e0c1b49fSNick Terrell         HUF_decodeStreamX1(op3, &bitD3, opStart4, dt, dtLog);
432e0c1b49fSNick Terrell         HUF_decodeStreamX1(op4, &bitD4, oend,     dt, dtLog);
433e0c1b49fSNick Terrell 
434e0c1b49fSNick Terrell         /* check */
435e0c1b49fSNick Terrell         { U32 const endCheck = BIT_endOfDStream(&bitD1) & BIT_endOfDStream(&bitD2) & BIT_endOfDStream(&bitD3) & BIT_endOfDStream(&bitD4);
436e0c1b49fSNick Terrell           if (!endCheck) return ERROR(corruption_detected); }
437e0c1b49fSNick Terrell 
438e0c1b49fSNick Terrell         /* decoded size */
439e0c1b49fSNick Terrell         return dstSize;
440e0c1b49fSNick Terrell     }
441e0c1b49fSNick Terrell }
442e0c1b49fSNick Terrell 
443e0c1b49fSNick Terrell 
444e0c1b49fSNick Terrell typedef size_t (*HUF_decompress_usingDTable_t)(void *dst, size_t dstSize,
445e0c1b49fSNick Terrell                                                const void *cSrc,
446e0c1b49fSNick Terrell                                                size_t cSrcSize,
447e0c1b49fSNick Terrell                                                const HUF_DTable *DTable);
448e0c1b49fSNick Terrell 
449e0c1b49fSNick Terrell HUF_DGEN(HUF_decompress1X1_usingDTable_internal)
450e0c1b49fSNick Terrell HUF_DGEN(HUF_decompress4X1_usingDTable_internal)
451e0c1b49fSNick Terrell 
452e0c1b49fSNick Terrell 
453e0c1b49fSNick Terrell 
454e0c1b49fSNick Terrell size_t HUF_decompress1X1_usingDTable(
455e0c1b49fSNick Terrell           void* dst,  size_t dstSize,
456e0c1b49fSNick Terrell     const void* cSrc, size_t cSrcSize,
457e0c1b49fSNick Terrell     const HUF_DTable* DTable)
458e0c1b49fSNick Terrell {
459e0c1b49fSNick Terrell     DTableDesc dtd = HUF_getDTableDesc(DTable);
460e0c1b49fSNick Terrell     if (dtd.tableType != 0) return ERROR(GENERIC);
461e0c1b49fSNick Terrell     return HUF_decompress1X1_usingDTable_internal(dst, dstSize, cSrc, cSrcSize, DTable, /* bmi2 */ 0);
462e0c1b49fSNick Terrell }
463e0c1b49fSNick Terrell 
464e0c1b49fSNick Terrell size_t HUF_decompress1X1_DCtx_wksp(HUF_DTable* DCtx, void* dst, size_t dstSize,
465e0c1b49fSNick Terrell                                    const void* cSrc, size_t cSrcSize,
466e0c1b49fSNick Terrell                                    void* workSpace, size_t wkspSize)
467e0c1b49fSNick Terrell {
468e0c1b49fSNick Terrell     const BYTE* ip = (const BYTE*) cSrc;
469e0c1b49fSNick Terrell 
470e0c1b49fSNick Terrell     size_t const hSize = HUF_readDTableX1_wksp(DCtx, cSrc, cSrcSize, workSpace, wkspSize);
471e0c1b49fSNick Terrell     if (HUF_isError(hSize)) return hSize;
472e0c1b49fSNick Terrell     if (hSize >= cSrcSize) return ERROR(srcSize_wrong);
473e0c1b49fSNick Terrell     ip += hSize; cSrcSize -= hSize;
474e0c1b49fSNick Terrell 
475e0c1b49fSNick Terrell     return HUF_decompress1X1_usingDTable_internal(dst, dstSize, ip, cSrcSize, DCtx, /* bmi2 */ 0);
476e0c1b49fSNick Terrell }
477e0c1b49fSNick Terrell 
478e0c1b49fSNick Terrell 
479e0c1b49fSNick Terrell size_t HUF_decompress4X1_usingDTable(
480e0c1b49fSNick Terrell           void* dst,  size_t dstSize,
481e0c1b49fSNick Terrell     const void* cSrc, size_t cSrcSize,
482e0c1b49fSNick Terrell     const HUF_DTable* DTable)
483e0c1b49fSNick Terrell {
484e0c1b49fSNick Terrell     DTableDesc dtd = HUF_getDTableDesc(DTable);
485e0c1b49fSNick Terrell     if (dtd.tableType != 0) return ERROR(GENERIC);
486e0c1b49fSNick Terrell     return HUF_decompress4X1_usingDTable_internal(dst, dstSize, cSrc, cSrcSize, DTable, /* bmi2 */ 0);
487e0c1b49fSNick Terrell }
488e0c1b49fSNick Terrell 
489e0c1b49fSNick Terrell static size_t HUF_decompress4X1_DCtx_wksp_bmi2(HUF_DTable* dctx, void* dst, size_t dstSize,
490e0c1b49fSNick Terrell                                    const void* cSrc, size_t cSrcSize,
491e0c1b49fSNick Terrell                                    void* workSpace, size_t wkspSize, int bmi2)
492e0c1b49fSNick Terrell {
493e0c1b49fSNick Terrell     const BYTE* ip = (const BYTE*) cSrc;
494e0c1b49fSNick Terrell 
495e0c1b49fSNick Terrell     size_t const hSize = HUF_readDTableX1_wksp_bmi2(dctx, cSrc, cSrcSize, workSpace, wkspSize, bmi2);
496e0c1b49fSNick Terrell     if (HUF_isError(hSize)) return hSize;
497e0c1b49fSNick Terrell     if (hSize >= cSrcSize) return ERROR(srcSize_wrong);
498e0c1b49fSNick Terrell     ip += hSize; cSrcSize -= hSize;
499e0c1b49fSNick Terrell 
500e0c1b49fSNick Terrell     return HUF_decompress4X1_usingDTable_internal(dst, dstSize, ip, cSrcSize, dctx, bmi2);
501e0c1b49fSNick Terrell }
502e0c1b49fSNick Terrell 
503e0c1b49fSNick Terrell size_t HUF_decompress4X1_DCtx_wksp(HUF_DTable* dctx, void* dst, size_t dstSize,
504e0c1b49fSNick Terrell                                    const void* cSrc, size_t cSrcSize,
505e0c1b49fSNick Terrell                                    void* workSpace, size_t wkspSize)
506e0c1b49fSNick Terrell {
507e0c1b49fSNick Terrell     return HUF_decompress4X1_DCtx_wksp_bmi2(dctx, dst, dstSize, cSrc, cSrcSize, workSpace, wkspSize, 0);
508e0c1b49fSNick Terrell }
509e0c1b49fSNick Terrell 
510e0c1b49fSNick Terrell 
511e0c1b49fSNick Terrell #endif /* HUF_FORCE_DECOMPRESS_X2 */
512e0c1b49fSNick Terrell 
513e0c1b49fSNick Terrell 
514e0c1b49fSNick Terrell #ifndef HUF_FORCE_DECOMPRESS_X1
515e0c1b49fSNick Terrell 
516e0c1b49fSNick Terrell /* *************************/
517e0c1b49fSNick Terrell /* double-symbols decoding */
518e0c1b49fSNick Terrell /* *************************/
519e0c1b49fSNick Terrell 
520e0c1b49fSNick Terrell typedef struct { U16 sequence; BYTE nbBits; BYTE length; } HUF_DEltX2;  /* double-symbols decoding */
521e0c1b49fSNick Terrell typedef struct { BYTE symbol; BYTE weight; } sortedSymbol_t;
522e0c1b49fSNick Terrell typedef U32 rankValCol_t[HUF_TABLELOG_MAX + 1];
523e0c1b49fSNick Terrell typedef rankValCol_t rankVal_t[HUF_TABLELOG_MAX];
524e0c1b49fSNick Terrell 
525e0c1b49fSNick Terrell 
526e0c1b49fSNick Terrell /* HUF_fillDTableX2Level2() :
527e0c1b49fSNick Terrell  * `rankValOrigin` must be a table of at least (HUF_TABLELOG_MAX + 1) U32 */
528e0c1b49fSNick Terrell static void HUF_fillDTableX2Level2(HUF_DEltX2* DTable, U32 sizeLog, const U32 consumed,
529e0c1b49fSNick Terrell                            const U32* rankValOrigin, const int minWeight,
530e0c1b49fSNick Terrell                            const sortedSymbol_t* sortedSymbols, const U32 sortedListSize,
531e0c1b49fSNick Terrell                            U32 nbBitsBaseline, U16 baseSeq, U32* wksp, size_t wkspSize)
532e0c1b49fSNick Terrell {
533e0c1b49fSNick Terrell     HUF_DEltX2 DElt;
534e0c1b49fSNick Terrell     U32* rankVal = wksp;
535e0c1b49fSNick Terrell 
536e0c1b49fSNick Terrell     assert(wkspSize >= HUF_TABLELOG_MAX + 1);
537e0c1b49fSNick Terrell     (void)wkspSize;
538e0c1b49fSNick Terrell     /* get pre-calculated rankVal */
539e0c1b49fSNick Terrell     ZSTD_memcpy(rankVal, rankValOrigin, sizeof(U32) * (HUF_TABLELOG_MAX + 1));
540e0c1b49fSNick Terrell 
541e0c1b49fSNick Terrell     /* fill skipped values */
542e0c1b49fSNick Terrell     if (minWeight>1) {
543e0c1b49fSNick Terrell         U32 i, skipSize = rankVal[minWeight];
544e0c1b49fSNick Terrell         MEM_writeLE16(&(DElt.sequence), baseSeq);
545e0c1b49fSNick Terrell         DElt.nbBits   = (BYTE)(consumed);
546e0c1b49fSNick Terrell         DElt.length   = 1;
547e0c1b49fSNick Terrell         for (i = 0; i < skipSize; i++)
548e0c1b49fSNick Terrell             DTable[i] = DElt;
549e0c1b49fSNick Terrell     }
550e0c1b49fSNick Terrell 
551e0c1b49fSNick Terrell     /* fill DTable */
552e0c1b49fSNick Terrell     {   U32 s; for (s=0; s<sortedListSize; s++) {   /* note : sortedSymbols already skipped */
553e0c1b49fSNick Terrell             const U32 symbol = sortedSymbols[s].symbol;
554e0c1b49fSNick Terrell             const U32 weight = sortedSymbols[s].weight;
555e0c1b49fSNick Terrell             const U32 nbBits = nbBitsBaseline - weight;
556e0c1b49fSNick Terrell             const U32 length = 1 << (sizeLog-nbBits);
557e0c1b49fSNick Terrell             const U32 start = rankVal[weight];
558e0c1b49fSNick Terrell             U32 i = start;
559e0c1b49fSNick Terrell             const U32 end = start + length;
560e0c1b49fSNick Terrell 
561e0c1b49fSNick Terrell             MEM_writeLE16(&(DElt.sequence), (U16)(baseSeq + (symbol << 8)));
562e0c1b49fSNick Terrell             DElt.nbBits = (BYTE)(nbBits + consumed);
563e0c1b49fSNick Terrell             DElt.length = 2;
564e0c1b49fSNick Terrell             do { DTable[i++] = DElt; } while (i<end);   /* since length >= 1 */
565e0c1b49fSNick Terrell 
566e0c1b49fSNick Terrell             rankVal[weight] += length;
567e0c1b49fSNick Terrell     }   }
568e0c1b49fSNick Terrell }
569e0c1b49fSNick Terrell 
570e0c1b49fSNick Terrell 
571e0c1b49fSNick Terrell static void HUF_fillDTableX2(HUF_DEltX2* DTable, const U32 targetLog,
572e0c1b49fSNick Terrell                            const sortedSymbol_t* sortedList, const U32 sortedListSize,
573e0c1b49fSNick Terrell                            const U32* rankStart, rankVal_t rankValOrigin, const U32 maxWeight,
574e0c1b49fSNick Terrell                            const U32 nbBitsBaseline, U32* wksp, size_t wkspSize)
575e0c1b49fSNick Terrell {
576e0c1b49fSNick Terrell     U32* rankVal = wksp;
577e0c1b49fSNick Terrell     const int scaleLog = nbBitsBaseline - targetLog;   /* note : targetLog >= srcLog, hence scaleLog <= 1 */
578e0c1b49fSNick Terrell     const U32 minBits  = nbBitsBaseline - maxWeight;
579e0c1b49fSNick Terrell     U32 s;
580e0c1b49fSNick Terrell 
581e0c1b49fSNick Terrell     assert(wkspSize >= HUF_TABLELOG_MAX + 1);
582e0c1b49fSNick Terrell     wksp += HUF_TABLELOG_MAX + 1;
583e0c1b49fSNick Terrell     wkspSize -= HUF_TABLELOG_MAX + 1;
584e0c1b49fSNick Terrell 
585e0c1b49fSNick Terrell     ZSTD_memcpy(rankVal, rankValOrigin, sizeof(U32) * (HUF_TABLELOG_MAX + 1));
586e0c1b49fSNick Terrell 
587e0c1b49fSNick Terrell     /* fill DTable */
588e0c1b49fSNick Terrell     for (s=0; s<sortedListSize; s++) {
589e0c1b49fSNick Terrell         const U16 symbol = sortedList[s].symbol;
590e0c1b49fSNick Terrell         const U32 weight = sortedList[s].weight;
591e0c1b49fSNick Terrell         const U32 nbBits = nbBitsBaseline - weight;
592e0c1b49fSNick Terrell         const U32 start = rankVal[weight];
593e0c1b49fSNick Terrell         const U32 length = 1 << (targetLog-nbBits);
594e0c1b49fSNick Terrell 
595e0c1b49fSNick Terrell         if (targetLog-nbBits >= minBits) {   /* enough room for a second symbol */
596e0c1b49fSNick Terrell             U32 sortedRank;
597e0c1b49fSNick Terrell             int minWeight = nbBits + scaleLog;
598e0c1b49fSNick Terrell             if (minWeight < 1) minWeight = 1;
599e0c1b49fSNick Terrell             sortedRank = rankStart[minWeight];
600e0c1b49fSNick Terrell             HUF_fillDTableX2Level2(DTable+start, targetLog-nbBits, nbBits,
601e0c1b49fSNick Terrell                            rankValOrigin[nbBits], minWeight,
602e0c1b49fSNick Terrell                            sortedList+sortedRank, sortedListSize-sortedRank,
603e0c1b49fSNick Terrell                            nbBitsBaseline, symbol, wksp, wkspSize);
604e0c1b49fSNick Terrell         } else {
605e0c1b49fSNick Terrell             HUF_DEltX2 DElt;
606e0c1b49fSNick Terrell             MEM_writeLE16(&(DElt.sequence), symbol);
607e0c1b49fSNick Terrell             DElt.nbBits = (BYTE)(nbBits);
608e0c1b49fSNick Terrell             DElt.length = 1;
609e0c1b49fSNick Terrell             {   U32 const end = start + length;
610e0c1b49fSNick Terrell                 U32 u;
611e0c1b49fSNick Terrell                 for (u = start; u < end; u++) DTable[u] = DElt;
612e0c1b49fSNick Terrell         }   }
613e0c1b49fSNick Terrell         rankVal[weight] += length;
614e0c1b49fSNick Terrell     }
615e0c1b49fSNick Terrell }
616e0c1b49fSNick Terrell 
617e0c1b49fSNick Terrell typedef struct {
618e0c1b49fSNick Terrell     rankValCol_t rankVal[HUF_TABLELOG_MAX];
619e0c1b49fSNick Terrell     U32 rankStats[HUF_TABLELOG_MAX + 1];
620e0c1b49fSNick Terrell     U32 rankStart0[HUF_TABLELOG_MAX + 2];
621e0c1b49fSNick Terrell     sortedSymbol_t sortedSymbol[HUF_SYMBOLVALUE_MAX + 1];
622e0c1b49fSNick Terrell     BYTE weightList[HUF_SYMBOLVALUE_MAX + 1];
623e0c1b49fSNick Terrell     U32 calleeWksp[HUF_READ_STATS_WORKSPACE_SIZE_U32];
624e0c1b49fSNick Terrell } HUF_ReadDTableX2_Workspace;
625e0c1b49fSNick Terrell 
626e0c1b49fSNick Terrell size_t HUF_readDTableX2_wksp(HUF_DTable* DTable,
627e0c1b49fSNick Terrell                        const void* src, size_t srcSize,
628e0c1b49fSNick Terrell                              void* workSpace, size_t wkspSize)
629e0c1b49fSNick Terrell {
630e0c1b49fSNick Terrell     U32 tableLog, maxW, sizeOfSort, nbSymbols;
631e0c1b49fSNick Terrell     DTableDesc dtd = HUF_getDTableDesc(DTable);
632e0c1b49fSNick Terrell     U32 const maxTableLog = dtd.maxTableLog;
633e0c1b49fSNick Terrell     size_t iSize;
634e0c1b49fSNick Terrell     void* dtPtr = DTable+1;   /* force compiler to avoid strict-aliasing */
635e0c1b49fSNick Terrell     HUF_DEltX2* const dt = (HUF_DEltX2*)dtPtr;
636e0c1b49fSNick Terrell     U32 *rankStart;
637e0c1b49fSNick Terrell 
638e0c1b49fSNick Terrell     HUF_ReadDTableX2_Workspace* const wksp = (HUF_ReadDTableX2_Workspace*)workSpace;
639e0c1b49fSNick Terrell 
640e0c1b49fSNick Terrell     if (sizeof(*wksp) > wkspSize) return ERROR(GENERIC);
641e0c1b49fSNick Terrell 
642e0c1b49fSNick Terrell     rankStart = wksp->rankStart0 + 1;
643e0c1b49fSNick Terrell     ZSTD_memset(wksp->rankStats, 0, sizeof(wksp->rankStats));
644e0c1b49fSNick Terrell     ZSTD_memset(wksp->rankStart0, 0, sizeof(wksp->rankStart0));
645e0c1b49fSNick Terrell 
646e0c1b49fSNick Terrell     DEBUG_STATIC_ASSERT(sizeof(HUF_DEltX2) == sizeof(HUF_DTable));   /* if compiler fails here, assertion is wrong */
647e0c1b49fSNick Terrell     if (maxTableLog > HUF_TABLELOG_MAX) return ERROR(tableLog_tooLarge);
648e0c1b49fSNick Terrell     /* ZSTD_memset(weightList, 0, sizeof(weightList)); */  /* is not necessary, even though some analyzer complain ... */
649e0c1b49fSNick Terrell 
650e0c1b49fSNick Terrell     iSize = HUF_readStats_wksp(wksp->weightList, HUF_SYMBOLVALUE_MAX + 1, wksp->rankStats, &nbSymbols, &tableLog, src, srcSize, wksp->calleeWksp, sizeof(wksp->calleeWksp), /* bmi2 */ 0);
651e0c1b49fSNick Terrell     if (HUF_isError(iSize)) return iSize;
652e0c1b49fSNick Terrell 
653e0c1b49fSNick Terrell     /* check result */
654e0c1b49fSNick Terrell     if (tableLog > maxTableLog) return ERROR(tableLog_tooLarge);   /* DTable can't fit code depth */
655e0c1b49fSNick Terrell 
656e0c1b49fSNick Terrell     /* find maxWeight */
657e0c1b49fSNick Terrell     for (maxW = tableLog; wksp->rankStats[maxW]==0; maxW--) {}  /* necessarily finds a solution before 0 */
658e0c1b49fSNick Terrell 
659e0c1b49fSNick Terrell     /* Get start index of each weight */
660e0c1b49fSNick Terrell     {   U32 w, nextRankStart = 0;
661e0c1b49fSNick Terrell         for (w=1; w<maxW+1; w++) {
662e0c1b49fSNick Terrell             U32 curr = nextRankStart;
663e0c1b49fSNick Terrell             nextRankStart += wksp->rankStats[w];
664e0c1b49fSNick Terrell             rankStart[w] = curr;
665e0c1b49fSNick Terrell         }
666e0c1b49fSNick Terrell         rankStart[0] = nextRankStart;   /* put all 0w symbols at the end of sorted list*/
667e0c1b49fSNick Terrell         sizeOfSort = nextRankStart;
668e0c1b49fSNick Terrell     }
669e0c1b49fSNick Terrell 
670e0c1b49fSNick Terrell     /* sort symbols by weight */
671e0c1b49fSNick Terrell     {   U32 s;
672e0c1b49fSNick Terrell         for (s=0; s<nbSymbols; s++) {
673e0c1b49fSNick Terrell             U32 const w = wksp->weightList[s];
674e0c1b49fSNick Terrell             U32 const r = rankStart[w]++;
675e0c1b49fSNick Terrell             wksp->sortedSymbol[r].symbol = (BYTE)s;
676e0c1b49fSNick Terrell             wksp->sortedSymbol[r].weight = (BYTE)w;
677e0c1b49fSNick Terrell         }
678e0c1b49fSNick Terrell         rankStart[0] = 0;   /* forget 0w symbols; this is beginning of weight(1) */
679e0c1b49fSNick Terrell     }
680e0c1b49fSNick Terrell 
681e0c1b49fSNick Terrell     /* Build rankVal */
682e0c1b49fSNick Terrell     {   U32* const rankVal0 = wksp->rankVal[0];
683e0c1b49fSNick Terrell         {   int const rescale = (maxTableLog-tableLog) - 1;   /* tableLog <= maxTableLog */
684e0c1b49fSNick Terrell             U32 nextRankVal = 0;
685e0c1b49fSNick Terrell             U32 w;
686e0c1b49fSNick Terrell             for (w=1; w<maxW+1; w++) {
687e0c1b49fSNick Terrell                 U32 curr = nextRankVal;
688e0c1b49fSNick Terrell                 nextRankVal += wksp->rankStats[w] << (w+rescale);
689e0c1b49fSNick Terrell                 rankVal0[w] = curr;
690e0c1b49fSNick Terrell         }   }
691e0c1b49fSNick Terrell         {   U32 const minBits = tableLog+1 - maxW;
692e0c1b49fSNick Terrell             U32 consumed;
693e0c1b49fSNick Terrell             for (consumed = minBits; consumed < maxTableLog - minBits + 1; consumed++) {
694e0c1b49fSNick Terrell                 U32* const rankValPtr = wksp->rankVal[consumed];
695e0c1b49fSNick Terrell                 U32 w;
696e0c1b49fSNick Terrell                 for (w = 1; w < maxW+1; w++) {
697e0c1b49fSNick Terrell                     rankValPtr[w] = rankVal0[w] >> consumed;
698e0c1b49fSNick Terrell     }   }   }   }
699e0c1b49fSNick Terrell 
700e0c1b49fSNick Terrell     HUF_fillDTableX2(dt, maxTableLog,
701e0c1b49fSNick Terrell                    wksp->sortedSymbol, sizeOfSort,
702e0c1b49fSNick Terrell                    wksp->rankStart0, wksp->rankVal, maxW,
703e0c1b49fSNick Terrell                    tableLog+1,
704e0c1b49fSNick Terrell                    wksp->calleeWksp, sizeof(wksp->calleeWksp) / sizeof(U32));
705e0c1b49fSNick Terrell 
706e0c1b49fSNick Terrell     dtd.tableLog = (BYTE)maxTableLog;
707e0c1b49fSNick Terrell     dtd.tableType = 1;
708e0c1b49fSNick Terrell     ZSTD_memcpy(DTable, &dtd, sizeof(dtd));
709e0c1b49fSNick Terrell     return iSize;
710e0c1b49fSNick Terrell }
711e0c1b49fSNick Terrell 
712e0c1b49fSNick Terrell 
713e0c1b49fSNick Terrell FORCE_INLINE_TEMPLATE U32
714e0c1b49fSNick Terrell HUF_decodeSymbolX2(void* op, BIT_DStream_t* DStream, const HUF_DEltX2* dt, const U32 dtLog)
715e0c1b49fSNick Terrell {
716e0c1b49fSNick Terrell     size_t const val = BIT_lookBitsFast(DStream, dtLog);   /* note : dtLog >= 1 */
717e0c1b49fSNick Terrell     ZSTD_memcpy(op, dt+val, 2);
718e0c1b49fSNick Terrell     BIT_skipBits(DStream, dt[val].nbBits);
719e0c1b49fSNick Terrell     return dt[val].length;
720e0c1b49fSNick Terrell }
721e0c1b49fSNick Terrell 
722e0c1b49fSNick Terrell FORCE_INLINE_TEMPLATE U32
723e0c1b49fSNick Terrell HUF_decodeLastSymbolX2(void* op, BIT_DStream_t* DStream, const HUF_DEltX2* dt, const U32 dtLog)
724e0c1b49fSNick Terrell {
725e0c1b49fSNick Terrell     size_t const val = BIT_lookBitsFast(DStream, dtLog);   /* note : dtLog >= 1 */
726e0c1b49fSNick Terrell     ZSTD_memcpy(op, dt+val, 1);
727e0c1b49fSNick Terrell     if (dt[val].length==1) BIT_skipBits(DStream, dt[val].nbBits);
728e0c1b49fSNick Terrell     else {
729e0c1b49fSNick Terrell         if (DStream->bitsConsumed < (sizeof(DStream->bitContainer)*8)) {
730e0c1b49fSNick Terrell             BIT_skipBits(DStream, dt[val].nbBits);
731e0c1b49fSNick Terrell             if (DStream->bitsConsumed > (sizeof(DStream->bitContainer)*8))
732e0c1b49fSNick Terrell                 /* ugly hack; works only because it's the last symbol. Note : can't easily extract nbBits from just this symbol */
733e0c1b49fSNick Terrell                 DStream->bitsConsumed = (sizeof(DStream->bitContainer)*8);
734e0c1b49fSNick Terrell     }   }
735e0c1b49fSNick Terrell     return 1;
736e0c1b49fSNick Terrell }
737e0c1b49fSNick Terrell 
738e0c1b49fSNick Terrell #define HUF_DECODE_SYMBOLX2_0(ptr, DStreamPtr) \
739e0c1b49fSNick Terrell     ptr += HUF_decodeSymbolX2(ptr, DStreamPtr, dt, dtLog)
740e0c1b49fSNick Terrell 
741e0c1b49fSNick Terrell #define HUF_DECODE_SYMBOLX2_1(ptr, DStreamPtr) \
742e0c1b49fSNick Terrell     if (MEM_64bits() || (HUF_TABLELOG_MAX<=12)) \
743e0c1b49fSNick Terrell         ptr += HUF_decodeSymbolX2(ptr, DStreamPtr, dt, dtLog)
744e0c1b49fSNick Terrell 
745e0c1b49fSNick Terrell #define HUF_DECODE_SYMBOLX2_2(ptr, DStreamPtr) \
746e0c1b49fSNick Terrell     if (MEM_64bits()) \
747e0c1b49fSNick Terrell         ptr += HUF_decodeSymbolX2(ptr, DStreamPtr, dt, dtLog)
748e0c1b49fSNick Terrell 
749e0c1b49fSNick Terrell HINT_INLINE size_t
750e0c1b49fSNick Terrell HUF_decodeStreamX2(BYTE* p, BIT_DStream_t* bitDPtr, BYTE* const pEnd,
751e0c1b49fSNick Terrell                 const HUF_DEltX2* const dt, const U32 dtLog)
752e0c1b49fSNick Terrell {
753e0c1b49fSNick Terrell     BYTE* const pStart = p;
754e0c1b49fSNick Terrell 
755e0c1b49fSNick Terrell     /* up to 8 symbols at a time */
756e0c1b49fSNick Terrell     while ((BIT_reloadDStream(bitDPtr) == BIT_DStream_unfinished) & (p < pEnd-(sizeof(bitDPtr->bitContainer)-1))) {
757e0c1b49fSNick Terrell         HUF_DECODE_SYMBOLX2_2(p, bitDPtr);
758e0c1b49fSNick Terrell         HUF_DECODE_SYMBOLX2_1(p, bitDPtr);
759e0c1b49fSNick Terrell         HUF_DECODE_SYMBOLX2_2(p, bitDPtr);
760e0c1b49fSNick Terrell         HUF_DECODE_SYMBOLX2_0(p, bitDPtr);
761e0c1b49fSNick Terrell     }
762e0c1b49fSNick Terrell 
763e0c1b49fSNick Terrell     /* closer to end : up to 2 symbols at a time */
764e0c1b49fSNick Terrell     while ((BIT_reloadDStream(bitDPtr) == BIT_DStream_unfinished) & (p <= pEnd-2))
765e0c1b49fSNick Terrell         HUF_DECODE_SYMBOLX2_0(p, bitDPtr);
766e0c1b49fSNick Terrell 
767e0c1b49fSNick Terrell     while (p <= pEnd-2)
768e0c1b49fSNick Terrell         HUF_DECODE_SYMBOLX2_0(p, bitDPtr);   /* no need to reload : reached the end of DStream */
769e0c1b49fSNick Terrell 
770e0c1b49fSNick Terrell     if (p < pEnd)
771e0c1b49fSNick Terrell         p += HUF_decodeLastSymbolX2(p, bitDPtr, dt, dtLog);
772e0c1b49fSNick Terrell 
773e0c1b49fSNick Terrell     return p-pStart;
774e0c1b49fSNick Terrell }
775e0c1b49fSNick Terrell 
776e0c1b49fSNick Terrell FORCE_INLINE_TEMPLATE size_t
777e0c1b49fSNick Terrell HUF_decompress1X2_usingDTable_internal_body(
778e0c1b49fSNick Terrell           void* dst,  size_t dstSize,
779e0c1b49fSNick Terrell     const void* cSrc, size_t cSrcSize,
780e0c1b49fSNick Terrell     const HUF_DTable* DTable)
781e0c1b49fSNick Terrell {
782e0c1b49fSNick Terrell     BIT_DStream_t bitD;
783e0c1b49fSNick Terrell 
784e0c1b49fSNick Terrell     /* Init */
785e0c1b49fSNick Terrell     CHECK_F( BIT_initDStream(&bitD, cSrc, cSrcSize) );
786e0c1b49fSNick Terrell 
787e0c1b49fSNick Terrell     /* decode */
788e0c1b49fSNick Terrell     {   BYTE* const ostart = (BYTE*) dst;
789e0c1b49fSNick Terrell         BYTE* const oend = ostart + dstSize;
790e0c1b49fSNick Terrell         const void* const dtPtr = DTable+1;   /* force compiler to not use strict-aliasing */
791e0c1b49fSNick Terrell         const HUF_DEltX2* const dt = (const HUF_DEltX2*)dtPtr;
792e0c1b49fSNick Terrell         DTableDesc const dtd = HUF_getDTableDesc(DTable);
793e0c1b49fSNick Terrell         HUF_decodeStreamX2(ostart, &bitD, oend, dt, dtd.tableLog);
794e0c1b49fSNick Terrell     }
795e0c1b49fSNick Terrell 
796e0c1b49fSNick Terrell     /* check */
797e0c1b49fSNick Terrell     if (!BIT_endOfDStream(&bitD)) return ERROR(corruption_detected);
798e0c1b49fSNick Terrell 
799e0c1b49fSNick Terrell     /* decoded size */
800e0c1b49fSNick Terrell     return dstSize;
801e0c1b49fSNick Terrell }
802e0c1b49fSNick Terrell 
803e0c1b49fSNick Terrell FORCE_INLINE_TEMPLATE size_t
804e0c1b49fSNick Terrell HUF_decompress4X2_usingDTable_internal_body(
805e0c1b49fSNick Terrell           void* dst,  size_t dstSize,
806e0c1b49fSNick Terrell     const void* cSrc, size_t cSrcSize,
807e0c1b49fSNick Terrell     const HUF_DTable* DTable)
808e0c1b49fSNick Terrell {
809e0c1b49fSNick Terrell     if (cSrcSize < 10) return ERROR(corruption_detected);   /* strict minimum : jump table + 1 byte per stream */
810e0c1b49fSNick Terrell 
811e0c1b49fSNick Terrell     {   const BYTE* const istart = (const BYTE*) cSrc;
812e0c1b49fSNick Terrell         BYTE* const ostart = (BYTE*) dst;
813e0c1b49fSNick Terrell         BYTE* const oend = ostart + dstSize;
814e0c1b49fSNick Terrell         BYTE* const olimit = oend - (sizeof(size_t)-1);
815e0c1b49fSNick Terrell         const void* const dtPtr = DTable+1;
816e0c1b49fSNick Terrell         const HUF_DEltX2* const dt = (const HUF_DEltX2*)dtPtr;
817e0c1b49fSNick Terrell 
818e0c1b49fSNick Terrell         /* Init */
819e0c1b49fSNick Terrell         BIT_DStream_t bitD1;
820e0c1b49fSNick Terrell         BIT_DStream_t bitD2;
821e0c1b49fSNick Terrell         BIT_DStream_t bitD3;
822e0c1b49fSNick Terrell         BIT_DStream_t bitD4;
823e0c1b49fSNick Terrell         size_t const length1 = MEM_readLE16(istart);
824e0c1b49fSNick Terrell         size_t const length2 = MEM_readLE16(istart+2);
825e0c1b49fSNick Terrell         size_t const length3 = MEM_readLE16(istart+4);
826e0c1b49fSNick Terrell         size_t const length4 = cSrcSize - (length1 + length2 + length3 + 6);
827e0c1b49fSNick Terrell         const BYTE* const istart1 = istart + 6;  /* jumpTable */
828e0c1b49fSNick Terrell         const BYTE* const istart2 = istart1 + length1;
829e0c1b49fSNick Terrell         const BYTE* const istart3 = istart2 + length2;
830e0c1b49fSNick Terrell         const BYTE* const istart4 = istart3 + length3;
831e0c1b49fSNick Terrell         size_t const segmentSize = (dstSize+3) / 4;
832e0c1b49fSNick Terrell         BYTE* const opStart2 = ostart + segmentSize;
833e0c1b49fSNick Terrell         BYTE* const opStart3 = opStart2 + segmentSize;
834e0c1b49fSNick Terrell         BYTE* const opStart4 = opStart3 + segmentSize;
835e0c1b49fSNick Terrell         BYTE* op1 = ostart;
836e0c1b49fSNick Terrell         BYTE* op2 = opStart2;
837e0c1b49fSNick Terrell         BYTE* op3 = opStart3;
838e0c1b49fSNick Terrell         BYTE* op4 = opStart4;
839e0c1b49fSNick Terrell         U32 endSignal = 1;
840e0c1b49fSNick Terrell         DTableDesc const dtd = HUF_getDTableDesc(DTable);
841e0c1b49fSNick Terrell         U32 const dtLog = dtd.tableLog;
842e0c1b49fSNick Terrell 
843e0c1b49fSNick Terrell         if (length4 > cSrcSize) return ERROR(corruption_detected);   /* overflow */
844e0c1b49fSNick Terrell         CHECK_F( BIT_initDStream(&bitD1, istart1, length1) );
845e0c1b49fSNick Terrell         CHECK_F( BIT_initDStream(&bitD2, istart2, length2) );
846e0c1b49fSNick Terrell         CHECK_F( BIT_initDStream(&bitD3, istart3, length3) );
847e0c1b49fSNick Terrell         CHECK_F( BIT_initDStream(&bitD4, istart4, length4) );
848e0c1b49fSNick Terrell 
849e0c1b49fSNick Terrell         /* 16-32 symbols per loop (4-8 symbols per stream) */
850e0c1b49fSNick Terrell         for ( ; (endSignal) & (op4 < olimit); ) {
851e0c1b49fSNick Terrell #if defined(__clang__) && (defined(__x86_64__) || defined(__i386__))
852e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op1, &bitD1);
853e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_1(op1, &bitD1);
854e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op1, &bitD1);
855e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_0(op1, &bitD1);
856e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op2, &bitD2);
857e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_1(op2, &bitD2);
858e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op2, &bitD2);
859e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_0(op2, &bitD2);
860e0c1b49fSNick Terrell             endSignal &= BIT_reloadDStreamFast(&bitD1) == BIT_DStream_unfinished;
861e0c1b49fSNick Terrell             endSignal &= BIT_reloadDStreamFast(&bitD2) == BIT_DStream_unfinished;
862e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op3, &bitD3);
863e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_1(op3, &bitD3);
864e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op3, &bitD3);
865e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_0(op3, &bitD3);
866e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op4, &bitD4);
867e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_1(op4, &bitD4);
868e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op4, &bitD4);
869e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_0(op4, &bitD4);
870e0c1b49fSNick Terrell             endSignal &= BIT_reloadDStreamFast(&bitD3) == BIT_DStream_unfinished;
871e0c1b49fSNick Terrell             endSignal &= BIT_reloadDStreamFast(&bitD4) == BIT_DStream_unfinished;
872e0c1b49fSNick Terrell #else
873e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op1, &bitD1);
874e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op2, &bitD2);
875e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op3, &bitD3);
876e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op4, &bitD4);
877e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_1(op1, &bitD1);
878e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_1(op2, &bitD2);
879e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_1(op3, &bitD3);
880e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_1(op4, &bitD4);
881e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op1, &bitD1);
882e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op2, &bitD2);
883e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op3, &bitD3);
884e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_2(op4, &bitD4);
885e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_0(op1, &bitD1);
886e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_0(op2, &bitD2);
887e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_0(op3, &bitD3);
888e0c1b49fSNick Terrell             HUF_DECODE_SYMBOLX2_0(op4, &bitD4);
889*0a8ea235SNathan Chancellor             endSignal = (U32)LIKELY((U32)
890e0c1b49fSNick Terrell                         (BIT_reloadDStreamFast(&bitD1) == BIT_DStream_unfinished)
891e0c1b49fSNick Terrell                       & (BIT_reloadDStreamFast(&bitD2) == BIT_DStream_unfinished)
892e0c1b49fSNick Terrell                       & (BIT_reloadDStreamFast(&bitD3) == BIT_DStream_unfinished)
893e0c1b49fSNick Terrell                       & (BIT_reloadDStreamFast(&bitD4) == BIT_DStream_unfinished));
894e0c1b49fSNick Terrell #endif
895e0c1b49fSNick Terrell         }
896e0c1b49fSNick Terrell 
897e0c1b49fSNick Terrell         /* check corruption */
898e0c1b49fSNick Terrell         if (op1 > opStart2) return ERROR(corruption_detected);
899e0c1b49fSNick Terrell         if (op2 > opStart3) return ERROR(corruption_detected);
900e0c1b49fSNick Terrell         if (op3 > opStart4) return ERROR(corruption_detected);
901e0c1b49fSNick Terrell         /* note : op4 already verified within main loop */
902e0c1b49fSNick Terrell 
903e0c1b49fSNick Terrell         /* finish bitStreams one by one */
904e0c1b49fSNick Terrell         HUF_decodeStreamX2(op1, &bitD1, opStart2, dt, dtLog);
905e0c1b49fSNick Terrell         HUF_decodeStreamX2(op2, &bitD2, opStart3, dt, dtLog);
906e0c1b49fSNick Terrell         HUF_decodeStreamX2(op3, &bitD3, opStart4, dt, dtLog);
907e0c1b49fSNick Terrell         HUF_decodeStreamX2(op4, &bitD4, oend,     dt, dtLog);
908e0c1b49fSNick Terrell 
909e0c1b49fSNick Terrell         /* check */
910e0c1b49fSNick Terrell         { U32 const endCheck = BIT_endOfDStream(&bitD1) & BIT_endOfDStream(&bitD2) & BIT_endOfDStream(&bitD3) & BIT_endOfDStream(&bitD4);
911e0c1b49fSNick Terrell           if (!endCheck) return ERROR(corruption_detected); }
912e0c1b49fSNick Terrell 
913e0c1b49fSNick Terrell         /* decoded size */
914e0c1b49fSNick Terrell         return dstSize;
915e0c1b49fSNick Terrell     }
916e0c1b49fSNick Terrell }
917e0c1b49fSNick Terrell 
918e0c1b49fSNick Terrell HUF_DGEN(HUF_decompress1X2_usingDTable_internal)
919e0c1b49fSNick Terrell HUF_DGEN(HUF_decompress4X2_usingDTable_internal)
920e0c1b49fSNick Terrell 
921e0c1b49fSNick Terrell size_t HUF_decompress1X2_usingDTable(
922e0c1b49fSNick Terrell           void* dst,  size_t dstSize,
923e0c1b49fSNick Terrell     const void* cSrc, size_t cSrcSize,
924e0c1b49fSNick Terrell     const HUF_DTable* DTable)
925e0c1b49fSNick Terrell {
926e0c1b49fSNick Terrell     DTableDesc dtd = HUF_getDTableDesc(DTable);
927e0c1b49fSNick Terrell     if (dtd.tableType != 1) return ERROR(GENERIC);
928e0c1b49fSNick Terrell     return HUF_decompress1X2_usingDTable_internal(dst, dstSize, cSrc, cSrcSize, DTable, /* bmi2 */ 0);
929e0c1b49fSNick Terrell }
930e0c1b49fSNick Terrell 
931e0c1b49fSNick Terrell size_t HUF_decompress1X2_DCtx_wksp(HUF_DTable* DCtx, void* dst, size_t dstSize,
932e0c1b49fSNick Terrell                                    const void* cSrc, size_t cSrcSize,
933e0c1b49fSNick Terrell                                    void* workSpace, size_t wkspSize)
934e0c1b49fSNick Terrell {
935e0c1b49fSNick Terrell     const BYTE* ip = (const BYTE*) cSrc;
936e0c1b49fSNick Terrell 
937e0c1b49fSNick Terrell     size_t const hSize = HUF_readDTableX2_wksp(DCtx, cSrc, cSrcSize,
938e0c1b49fSNick Terrell                                                workSpace, wkspSize);
939e0c1b49fSNick Terrell     if (HUF_isError(hSize)) return hSize;
940e0c1b49fSNick Terrell     if (hSize >= cSrcSize) return ERROR(srcSize_wrong);
941e0c1b49fSNick Terrell     ip += hSize; cSrcSize -= hSize;
942e0c1b49fSNick Terrell 
943e0c1b49fSNick Terrell     return HUF_decompress1X2_usingDTable_internal(dst, dstSize, ip, cSrcSize, DCtx, /* bmi2 */ 0);
944e0c1b49fSNick Terrell }
945e0c1b49fSNick Terrell 
946e0c1b49fSNick Terrell 
947e0c1b49fSNick Terrell size_t HUF_decompress4X2_usingDTable(
948e0c1b49fSNick Terrell           void* dst,  size_t dstSize,
949e0c1b49fSNick Terrell     const void* cSrc, size_t cSrcSize,
950e0c1b49fSNick Terrell     const HUF_DTable* DTable)
951e0c1b49fSNick Terrell {
952e0c1b49fSNick Terrell     DTableDesc dtd = HUF_getDTableDesc(DTable);
953e0c1b49fSNick Terrell     if (dtd.tableType != 1) return ERROR(GENERIC);
954e0c1b49fSNick Terrell     return HUF_decompress4X2_usingDTable_internal(dst, dstSize, cSrc, cSrcSize, DTable, /* bmi2 */ 0);
955e0c1b49fSNick Terrell }
956e0c1b49fSNick Terrell 
957e0c1b49fSNick Terrell static size_t HUF_decompress4X2_DCtx_wksp_bmi2(HUF_DTable* dctx, void* dst, size_t dstSize,
958e0c1b49fSNick Terrell                                    const void* cSrc, size_t cSrcSize,
959e0c1b49fSNick Terrell                                    void* workSpace, size_t wkspSize, int bmi2)
960e0c1b49fSNick Terrell {
961e0c1b49fSNick Terrell     const BYTE* ip = (const BYTE*) cSrc;
962e0c1b49fSNick Terrell 
963e0c1b49fSNick Terrell     size_t hSize = HUF_readDTableX2_wksp(dctx, cSrc, cSrcSize,
964e0c1b49fSNick Terrell                                          workSpace, wkspSize);
965e0c1b49fSNick Terrell     if (HUF_isError(hSize)) return hSize;
966e0c1b49fSNick Terrell     if (hSize >= cSrcSize) return ERROR(srcSize_wrong);
967e0c1b49fSNick Terrell     ip += hSize; cSrcSize -= hSize;
968e0c1b49fSNick Terrell 
969e0c1b49fSNick Terrell     return HUF_decompress4X2_usingDTable_internal(dst, dstSize, ip, cSrcSize, dctx, bmi2);
970e0c1b49fSNick Terrell }
971e0c1b49fSNick Terrell 
972e0c1b49fSNick Terrell size_t HUF_decompress4X2_DCtx_wksp(HUF_DTable* dctx, void* dst, size_t dstSize,
973e0c1b49fSNick Terrell                                    const void* cSrc, size_t cSrcSize,
974e0c1b49fSNick Terrell                                    void* workSpace, size_t wkspSize)
975e0c1b49fSNick Terrell {
976e0c1b49fSNick Terrell     return HUF_decompress4X2_DCtx_wksp_bmi2(dctx, dst, dstSize, cSrc, cSrcSize, workSpace, wkspSize, /* bmi2 */ 0);
977e0c1b49fSNick Terrell }
978e0c1b49fSNick Terrell 
979e0c1b49fSNick Terrell 
980e0c1b49fSNick Terrell #endif /* HUF_FORCE_DECOMPRESS_X1 */
981e0c1b49fSNick Terrell 
982e0c1b49fSNick Terrell 
983e0c1b49fSNick Terrell /* ***********************************/
984e0c1b49fSNick Terrell /* Universal decompression selectors */
985e0c1b49fSNick Terrell /* ***********************************/
986e0c1b49fSNick Terrell 
987e0c1b49fSNick Terrell size_t HUF_decompress1X_usingDTable(void* dst, size_t maxDstSize,
988e0c1b49fSNick Terrell                                     const void* cSrc, size_t cSrcSize,
989e0c1b49fSNick Terrell                                     const HUF_DTable* DTable)
990e0c1b49fSNick Terrell {
991e0c1b49fSNick Terrell     DTableDesc const dtd = HUF_getDTableDesc(DTable);
992e0c1b49fSNick Terrell #if defined(HUF_FORCE_DECOMPRESS_X1)
993e0c1b49fSNick Terrell     (void)dtd;
994e0c1b49fSNick Terrell     assert(dtd.tableType == 0);
995e0c1b49fSNick Terrell     return HUF_decompress1X1_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, /* bmi2 */ 0);
996e0c1b49fSNick Terrell #elif defined(HUF_FORCE_DECOMPRESS_X2)
997e0c1b49fSNick Terrell     (void)dtd;
998e0c1b49fSNick Terrell     assert(dtd.tableType == 1);
999e0c1b49fSNick Terrell     return HUF_decompress1X2_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, /* bmi2 */ 0);
1000e0c1b49fSNick Terrell #else
1001e0c1b49fSNick Terrell     return dtd.tableType ? HUF_decompress1X2_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, /* bmi2 */ 0) :
1002e0c1b49fSNick Terrell                            HUF_decompress1X1_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, /* bmi2 */ 0);
1003e0c1b49fSNick Terrell #endif
1004e0c1b49fSNick Terrell }
1005e0c1b49fSNick Terrell 
1006e0c1b49fSNick Terrell size_t HUF_decompress4X_usingDTable(void* dst, size_t maxDstSize,
1007e0c1b49fSNick Terrell                                     const void* cSrc, size_t cSrcSize,
1008e0c1b49fSNick Terrell                                     const HUF_DTable* DTable)
1009e0c1b49fSNick Terrell {
1010e0c1b49fSNick Terrell     DTableDesc const dtd = HUF_getDTableDesc(DTable);
1011e0c1b49fSNick Terrell #if defined(HUF_FORCE_DECOMPRESS_X1)
1012e0c1b49fSNick Terrell     (void)dtd;
1013e0c1b49fSNick Terrell     assert(dtd.tableType == 0);
1014e0c1b49fSNick Terrell     return HUF_decompress4X1_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, /* bmi2 */ 0);
1015e0c1b49fSNick Terrell #elif defined(HUF_FORCE_DECOMPRESS_X2)
1016e0c1b49fSNick Terrell     (void)dtd;
1017e0c1b49fSNick Terrell     assert(dtd.tableType == 1);
1018e0c1b49fSNick Terrell     return HUF_decompress4X2_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, /* bmi2 */ 0);
1019e0c1b49fSNick Terrell #else
1020e0c1b49fSNick Terrell     return dtd.tableType ? HUF_decompress4X2_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, /* bmi2 */ 0) :
1021e0c1b49fSNick Terrell                            HUF_decompress4X1_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, /* bmi2 */ 0);
1022e0c1b49fSNick Terrell #endif
1023e0c1b49fSNick Terrell }
1024e0c1b49fSNick Terrell 
1025e0c1b49fSNick Terrell 
1026e0c1b49fSNick Terrell #if !defined(HUF_FORCE_DECOMPRESS_X1) && !defined(HUF_FORCE_DECOMPRESS_X2)
1027e0c1b49fSNick Terrell typedef struct { U32 tableTime; U32 decode256Time; } algo_time_t;
1028e0c1b49fSNick Terrell static const algo_time_t algoTime[16 /* Quantization */][3 /* single, double, quad */] =
1029e0c1b49fSNick Terrell {
1030e0c1b49fSNick Terrell     /* single, double, quad */
1031e0c1b49fSNick Terrell     {{0,0}, {1,1}, {2,2}},  /* Q==0 : impossible */
1032e0c1b49fSNick Terrell     {{0,0}, {1,1}, {2,2}},  /* Q==1 : impossible */
1033e0c1b49fSNick Terrell     {{  38,130}, {1313, 74}, {2151, 38}},   /* Q == 2 : 12-18% */
1034e0c1b49fSNick Terrell     {{ 448,128}, {1353, 74}, {2238, 41}},   /* Q == 3 : 18-25% */
1035e0c1b49fSNick Terrell     {{ 556,128}, {1353, 74}, {2238, 47}},   /* Q == 4 : 25-32% */
1036e0c1b49fSNick Terrell     {{ 714,128}, {1418, 74}, {2436, 53}},   /* Q == 5 : 32-38% */
1037e0c1b49fSNick Terrell     {{ 883,128}, {1437, 74}, {2464, 61}},   /* Q == 6 : 38-44% */
1038e0c1b49fSNick Terrell     {{ 897,128}, {1515, 75}, {2622, 68}},   /* Q == 7 : 44-50% */
1039e0c1b49fSNick Terrell     {{ 926,128}, {1613, 75}, {2730, 75}},   /* Q == 8 : 50-56% */
1040e0c1b49fSNick Terrell     {{ 947,128}, {1729, 77}, {3359, 77}},   /* Q == 9 : 56-62% */
1041e0c1b49fSNick Terrell     {{1107,128}, {2083, 81}, {4006, 84}},   /* Q ==10 : 62-69% */
1042e0c1b49fSNick Terrell     {{1177,128}, {2379, 87}, {4785, 88}},   /* Q ==11 : 69-75% */
1043e0c1b49fSNick Terrell     {{1242,128}, {2415, 93}, {5155, 84}},   /* Q ==12 : 75-81% */
1044e0c1b49fSNick Terrell     {{1349,128}, {2644,106}, {5260,106}},   /* Q ==13 : 81-87% */
1045e0c1b49fSNick Terrell     {{1455,128}, {2422,124}, {4174,124}},   /* Q ==14 : 87-93% */
1046e0c1b49fSNick Terrell     {{ 722,128}, {1891,145}, {1936,146}},   /* Q ==15 : 93-99% */
1047e0c1b49fSNick Terrell };
1048e0c1b49fSNick Terrell #endif
1049e0c1b49fSNick Terrell 
1050e0c1b49fSNick Terrell /* HUF_selectDecoder() :
1051e0c1b49fSNick Terrell  *  Tells which decoder is likely to decode faster,
1052e0c1b49fSNick Terrell  *  based on a set of pre-computed metrics.
1053e0c1b49fSNick Terrell  * @return : 0==HUF_decompress4X1, 1==HUF_decompress4X2 .
1054e0c1b49fSNick Terrell  *  Assumption : 0 < dstSize <= 128 KB */
1055e0c1b49fSNick Terrell U32 HUF_selectDecoder (size_t dstSize, size_t cSrcSize)
1056e0c1b49fSNick Terrell {
1057e0c1b49fSNick Terrell     assert(dstSize > 0);
1058e0c1b49fSNick Terrell     assert(dstSize <= 128*1024);
1059e0c1b49fSNick Terrell #if defined(HUF_FORCE_DECOMPRESS_X1)
1060e0c1b49fSNick Terrell     (void)dstSize;
1061e0c1b49fSNick Terrell     (void)cSrcSize;
1062e0c1b49fSNick Terrell     return 0;
1063e0c1b49fSNick Terrell #elif defined(HUF_FORCE_DECOMPRESS_X2)
1064e0c1b49fSNick Terrell     (void)dstSize;
1065e0c1b49fSNick Terrell     (void)cSrcSize;
1066e0c1b49fSNick Terrell     return 1;
1067e0c1b49fSNick Terrell #else
1068e0c1b49fSNick Terrell     /* decoder timing evaluation */
1069e0c1b49fSNick Terrell     {   U32 const Q = (cSrcSize >= dstSize) ? 15 : (U32)(cSrcSize * 16 / dstSize);   /* Q < 16 */
1070e0c1b49fSNick Terrell         U32 const D256 = (U32)(dstSize >> 8);
1071e0c1b49fSNick Terrell         U32 const DTime0 = algoTime[Q][0].tableTime + (algoTime[Q][0].decode256Time * D256);
1072e0c1b49fSNick Terrell         U32 DTime1 = algoTime[Q][1].tableTime + (algoTime[Q][1].decode256Time * D256);
1073e0c1b49fSNick Terrell         DTime1 += DTime1 >> 3;  /* advantage to algorithm using less memory, to reduce cache eviction */
1074e0c1b49fSNick Terrell         return DTime1 < DTime0;
1075e0c1b49fSNick Terrell     }
1076e0c1b49fSNick Terrell #endif
1077e0c1b49fSNick Terrell }
1078e0c1b49fSNick Terrell 
1079e0c1b49fSNick Terrell 
1080e0c1b49fSNick Terrell size_t HUF_decompress4X_hufOnly_wksp(HUF_DTable* dctx, void* dst,
1081e0c1b49fSNick Terrell                                      size_t dstSize, const void* cSrc,
1082e0c1b49fSNick Terrell                                      size_t cSrcSize, void* workSpace,
1083e0c1b49fSNick Terrell                                      size_t wkspSize)
1084e0c1b49fSNick Terrell {
1085e0c1b49fSNick Terrell     /* validation checks */
1086e0c1b49fSNick Terrell     if (dstSize == 0) return ERROR(dstSize_tooSmall);
1087e0c1b49fSNick Terrell     if (cSrcSize == 0) return ERROR(corruption_detected);
1088e0c1b49fSNick Terrell 
1089e0c1b49fSNick Terrell     {   U32 const algoNb = HUF_selectDecoder(dstSize, cSrcSize);
1090e0c1b49fSNick Terrell #if defined(HUF_FORCE_DECOMPRESS_X1)
1091e0c1b49fSNick Terrell         (void)algoNb;
1092e0c1b49fSNick Terrell         assert(algoNb == 0);
1093e0c1b49fSNick Terrell         return HUF_decompress4X1_DCtx_wksp(dctx, dst, dstSize, cSrc, cSrcSize, workSpace, wkspSize);
1094e0c1b49fSNick Terrell #elif defined(HUF_FORCE_DECOMPRESS_X2)
1095e0c1b49fSNick Terrell         (void)algoNb;
1096e0c1b49fSNick Terrell         assert(algoNb == 1);
1097e0c1b49fSNick Terrell         return HUF_decompress4X2_DCtx_wksp(dctx, dst, dstSize, cSrc, cSrcSize, workSpace, wkspSize);
1098e0c1b49fSNick Terrell #else
1099e0c1b49fSNick Terrell         return algoNb ? HUF_decompress4X2_DCtx_wksp(dctx, dst, dstSize, cSrc,
1100e0c1b49fSNick Terrell                             cSrcSize, workSpace, wkspSize):
1101e0c1b49fSNick Terrell                         HUF_decompress4X1_DCtx_wksp(dctx, dst, dstSize, cSrc, cSrcSize, workSpace, wkspSize);
1102e0c1b49fSNick Terrell #endif
1103e0c1b49fSNick Terrell     }
1104e0c1b49fSNick Terrell }
1105e0c1b49fSNick Terrell 
1106e0c1b49fSNick Terrell size_t HUF_decompress1X_DCtx_wksp(HUF_DTable* dctx, void* dst, size_t dstSize,
1107e0c1b49fSNick Terrell                                   const void* cSrc, size_t cSrcSize,
1108e0c1b49fSNick Terrell                                   void* workSpace, size_t wkspSize)
1109e0c1b49fSNick Terrell {
1110e0c1b49fSNick Terrell     /* validation checks */
1111e0c1b49fSNick Terrell     if (dstSize == 0) return ERROR(dstSize_tooSmall);
1112e0c1b49fSNick Terrell     if (cSrcSize > dstSize) return ERROR(corruption_detected);   /* invalid */
1113e0c1b49fSNick Terrell     if (cSrcSize == dstSize) { ZSTD_memcpy(dst, cSrc, dstSize); return dstSize; }   /* not compressed */
1114e0c1b49fSNick Terrell     if (cSrcSize == 1) { ZSTD_memset(dst, *(const BYTE*)cSrc, dstSize); return dstSize; }   /* RLE */
1115e0c1b49fSNick Terrell 
1116e0c1b49fSNick Terrell     {   U32 const algoNb = HUF_selectDecoder(dstSize, cSrcSize);
1117e0c1b49fSNick Terrell #if defined(HUF_FORCE_DECOMPRESS_X1)
1118e0c1b49fSNick Terrell         (void)algoNb;
1119e0c1b49fSNick Terrell         assert(algoNb == 0);
1120e0c1b49fSNick Terrell         return HUF_decompress1X1_DCtx_wksp(dctx, dst, dstSize, cSrc,
1121e0c1b49fSNick Terrell                                 cSrcSize, workSpace, wkspSize);
1122e0c1b49fSNick Terrell #elif defined(HUF_FORCE_DECOMPRESS_X2)
1123e0c1b49fSNick Terrell         (void)algoNb;
1124e0c1b49fSNick Terrell         assert(algoNb == 1);
1125e0c1b49fSNick Terrell         return HUF_decompress1X2_DCtx_wksp(dctx, dst, dstSize, cSrc,
1126e0c1b49fSNick Terrell                                 cSrcSize, workSpace, wkspSize);
1127e0c1b49fSNick Terrell #else
1128e0c1b49fSNick Terrell         return algoNb ? HUF_decompress1X2_DCtx_wksp(dctx, dst, dstSize, cSrc,
1129e0c1b49fSNick Terrell                                 cSrcSize, workSpace, wkspSize):
1130e0c1b49fSNick Terrell                         HUF_decompress1X1_DCtx_wksp(dctx, dst, dstSize, cSrc,
1131e0c1b49fSNick Terrell                                 cSrcSize, workSpace, wkspSize);
1132e0c1b49fSNick Terrell #endif
1133e0c1b49fSNick Terrell     }
1134e0c1b49fSNick Terrell }
1135e0c1b49fSNick Terrell 
1136e0c1b49fSNick Terrell 
1137e0c1b49fSNick Terrell size_t HUF_decompress1X_usingDTable_bmi2(void* dst, size_t maxDstSize, const void* cSrc, size_t cSrcSize, const HUF_DTable* DTable, int bmi2)
1138e0c1b49fSNick Terrell {
1139e0c1b49fSNick Terrell     DTableDesc const dtd = HUF_getDTableDesc(DTable);
1140e0c1b49fSNick Terrell #if defined(HUF_FORCE_DECOMPRESS_X1)
1141e0c1b49fSNick Terrell     (void)dtd;
1142e0c1b49fSNick Terrell     assert(dtd.tableType == 0);
1143e0c1b49fSNick Terrell     return HUF_decompress1X1_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, bmi2);
1144e0c1b49fSNick Terrell #elif defined(HUF_FORCE_DECOMPRESS_X2)
1145e0c1b49fSNick Terrell     (void)dtd;
1146e0c1b49fSNick Terrell     assert(dtd.tableType == 1);
1147e0c1b49fSNick Terrell     return HUF_decompress1X2_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, bmi2);
1148e0c1b49fSNick Terrell #else
1149e0c1b49fSNick Terrell     return dtd.tableType ? HUF_decompress1X2_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, bmi2) :
1150e0c1b49fSNick Terrell                            HUF_decompress1X1_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, bmi2);
1151e0c1b49fSNick Terrell #endif
1152e0c1b49fSNick Terrell }
1153e0c1b49fSNick Terrell 
1154e0c1b49fSNick Terrell #ifndef HUF_FORCE_DECOMPRESS_X2
1155e0c1b49fSNick Terrell size_t HUF_decompress1X1_DCtx_wksp_bmi2(HUF_DTable* dctx, void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize, void* workSpace, size_t wkspSize, int bmi2)
1156e0c1b49fSNick Terrell {
1157e0c1b49fSNick Terrell     const BYTE* ip = (const BYTE*) cSrc;
1158e0c1b49fSNick Terrell 
1159e0c1b49fSNick Terrell     size_t const hSize = HUF_readDTableX1_wksp_bmi2(dctx, cSrc, cSrcSize, workSpace, wkspSize, bmi2);
1160e0c1b49fSNick Terrell     if (HUF_isError(hSize)) return hSize;
1161e0c1b49fSNick Terrell     if (hSize >= cSrcSize) return ERROR(srcSize_wrong);
1162e0c1b49fSNick Terrell     ip += hSize; cSrcSize -= hSize;
1163e0c1b49fSNick Terrell 
1164e0c1b49fSNick Terrell     return HUF_decompress1X1_usingDTable_internal(dst, dstSize, ip, cSrcSize, dctx, bmi2);
1165e0c1b49fSNick Terrell }
1166e0c1b49fSNick Terrell #endif
1167e0c1b49fSNick Terrell 
1168e0c1b49fSNick Terrell size_t HUF_decompress4X_usingDTable_bmi2(void* dst, size_t maxDstSize, const void* cSrc, size_t cSrcSize, const HUF_DTable* DTable, int bmi2)
1169e0c1b49fSNick Terrell {
1170e0c1b49fSNick Terrell     DTableDesc const dtd = HUF_getDTableDesc(DTable);
1171e0c1b49fSNick Terrell #if defined(HUF_FORCE_DECOMPRESS_X1)
1172e0c1b49fSNick Terrell     (void)dtd;
1173e0c1b49fSNick Terrell     assert(dtd.tableType == 0);
1174e0c1b49fSNick Terrell     return HUF_decompress4X1_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, bmi2);
1175e0c1b49fSNick Terrell #elif defined(HUF_FORCE_DECOMPRESS_X2)
1176e0c1b49fSNick Terrell     (void)dtd;
1177e0c1b49fSNick Terrell     assert(dtd.tableType == 1);
1178e0c1b49fSNick Terrell     return HUF_decompress4X2_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, bmi2);
1179e0c1b49fSNick Terrell #else
1180e0c1b49fSNick Terrell     return dtd.tableType ? HUF_decompress4X2_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, bmi2) :
1181e0c1b49fSNick Terrell                            HUF_decompress4X1_usingDTable_internal(dst, maxDstSize, cSrc, cSrcSize, DTable, bmi2);
1182e0c1b49fSNick Terrell #endif
1183e0c1b49fSNick Terrell }
1184e0c1b49fSNick Terrell 
1185e0c1b49fSNick Terrell size_t HUF_decompress4X_hufOnly_wksp_bmi2(HUF_DTable* dctx, void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize, void* workSpace, size_t wkspSize, int bmi2)
1186e0c1b49fSNick Terrell {
1187e0c1b49fSNick Terrell     /* validation checks */
1188e0c1b49fSNick Terrell     if (dstSize == 0) return ERROR(dstSize_tooSmall);
1189e0c1b49fSNick Terrell     if (cSrcSize == 0) return ERROR(corruption_detected);
1190e0c1b49fSNick Terrell 
1191e0c1b49fSNick Terrell     {   U32 const algoNb = HUF_selectDecoder(dstSize, cSrcSize);
1192e0c1b49fSNick Terrell #if defined(HUF_FORCE_DECOMPRESS_X1)
1193e0c1b49fSNick Terrell         (void)algoNb;
1194e0c1b49fSNick Terrell         assert(algoNb == 0);
1195e0c1b49fSNick Terrell         return HUF_decompress4X1_DCtx_wksp_bmi2(dctx, dst, dstSize, cSrc, cSrcSize, workSpace, wkspSize, bmi2);
1196e0c1b49fSNick Terrell #elif defined(HUF_FORCE_DECOMPRESS_X2)
1197e0c1b49fSNick Terrell         (void)algoNb;
1198e0c1b49fSNick Terrell         assert(algoNb == 1);
1199e0c1b49fSNick Terrell         return HUF_decompress4X2_DCtx_wksp_bmi2(dctx, dst, dstSize, cSrc, cSrcSize, workSpace, wkspSize, bmi2);
1200e0c1b49fSNick Terrell #else
1201e0c1b49fSNick Terrell         return algoNb ? HUF_decompress4X2_DCtx_wksp_bmi2(dctx, dst, dstSize, cSrc, cSrcSize, workSpace, wkspSize, bmi2) :
1202e0c1b49fSNick Terrell                         HUF_decompress4X1_DCtx_wksp_bmi2(dctx, dst, dstSize, cSrc, cSrcSize, workSpace, wkspSize, bmi2);
1203e0c1b49fSNick Terrell #endif
1204e0c1b49fSNick Terrell     }
1205e0c1b49fSNick Terrell }
1206e0c1b49fSNick Terrell 
1207