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