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