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