1*3117ece4Schristos /* 2*3117ece4Schristos * Copyright (c) Yann Collet, Meta Platforms, Inc. and affiliates. 3*3117ece4Schristos * All rights reserved. 4*3117ece4Schristos * 5*3117ece4Schristos * This source code is licensed under both the BSD-style license (found in the 6*3117ece4Schristos * LICENSE file in the root directory of this source tree) and the GPLv2 (found 7*3117ece4Schristos * in the COPYING file in the root directory of this source tree). 8*3117ece4Schristos * You may select, at your option, one of the above-listed licenses. 9*3117ece4Schristos */ 10*3117ece4Schristos 11*3117ece4Schristos 12*3117ece4Schristos #include <stddef.h> /* size_t, ptrdiff_t */ 13*3117ece4Schristos #include "zstd_v02.h" 14*3117ece4Schristos #include "../common/compiler.h" 15*3117ece4Schristos #include "../common/error_private.h" 16*3117ece4Schristos 17*3117ece4Schristos 18*3117ece4Schristos /****************************************** 19*3117ece4Schristos * Compiler-specific 20*3117ece4Schristos ******************************************/ 21*3117ece4Schristos #if defined(_MSC_VER) /* Visual Studio */ 22*3117ece4Schristos # include <stdlib.h> /* _byteswap_ulong */ 23*3117ece4Schristos # include <intrin.h> /* _byteswap_* */ 24*3117ece4Schristos #endif 25*3117ece4Schristos 26*3117ece4Schristos 27*3117ece4Schristos /* ****************************************************************** 28*3117ece4Schristos mem.h 29*3117ece4Schristos low-level memory access routines 30*3117ece4Schristos Copyright (C) 2013-2015, Yann Collet. 31*3117ece4Schristos 32*3117ece4Schristos BSD 2-Clause License (https://opensource.org/licenses/bsd-license.php) 33*3117ece4Schristos 34*3117ece4Schristos Redistribution and use in source and binary forms, with or without 35*3117ece4Schristos modification, are permitted provided that the following conditions are 36*3117ece4Schristos met: 37*3117ece4Schristos 38*3117ece4Schristos * Redistributions of source code must retain the above copyright 39*3117ece4Schristos notice, this list of conditions and the following disclaimer. 40*3117ece4Schristos * Redistributions in binary form must reproduce the above 41*3117ece4Schristos copyright notice, this list of conditions and the following disclaimer 42*3117ece4Schristos in the documentation and/or other materials provided with the 43*3117ece4Schristos distribution. 44*3117ece4Schristos 45*3117ece4Schristos THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 46*3117ece4Schristos "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 47*3117ece4Schristos LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 48*3117ece4Schristos A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 49*3117ece4Schristos OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 50*3117ece4Schristos SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 51*3117ece4Schristos LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 52*3117ece4Schristos DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 53*3117ece4Schristos THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 54*3117ece4Schristos (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 55*3117ece4Schristos OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 56*3117ece4Schristos 57*3117ece4Schristos You can contact the author at : 58*3117ece4Schristos - FSE source repository : https://github.com/Cyan4973/FiniteStateEntropy 59*3117ece4Schristos - Public forum : https://groups.google.com/forum/#!forum/lz4c 60*3117ece4Schristos ****************************************************************** */ 61*3117ece4Schristos #ifndef MEM_H_MODULE 62*3117ece4Schristos #define MEM_H_MODULE 63*3117ece4Schristos 64*3117ece4Schristos #if defined (__cplusplus) 65*3117ece4Schristos extern "C" { 66*3117ece4Schristos #endif 67*3117ece4Schristos 68*3117ece4Schristos /****************************************** 69*3117ece4Schristos * Includes 70*3117ece4Schristos ******************************************/ 71*3117ece4Schristos #include <stddef.h> /* size_t, ptrdiff_t */ 72*3117ece4Schristos #include <string.h> /* memcpy */ 73*3117ece4Schristos 74*3117ece4Schristos 75*3117ece4Schristos /**************************************************************** 76*3117ece4Schristos * Basic Types 77*3117ece4Schristos *****************************************************************/ 78*3117ece4Schristos #if defined (__cplusplus) || (defined (__STDC_VERSION__) && (__STDC_VERSION__ >= 199901L) /* C99 */) 79*3117ece4Schristos # if defined(_AIX) 80*3117ece4Schristos # include <inttypes.h> 81*3117ece4Schristos # else 82*3117ece4Schristos # include <stdint.h> /* intptr_t */ 83*3117ece4Schristos # endif 84*3117ece4Schristos typedef uint8_t BYTE; 85*3117ece4Schristos typedef uint16_t U16; 86*3117ece4Schristos typedef int16_t S16; 87*3117ece4Schristos typedef uint32_t U32; 88*3117ece4Schristos typedef int32_t S32; 89*3117ece4Schristos typedef uint64_t U64; 90*3117ece4Schristos typedef int64_t S64; 91*3117ece4Schristos #else 92*3117ece4Schristos typedef unsigned char BYTE; 93*3117ece4Schristos typedef unsigned short U16; 94*3117ece4Schristos typedef signed short S16; 95*3117ece4Schristos typedef unsigned int U32; 96*3117ece4Schristos typedef signed int S32; 97*3117ece4Schristos typedef unsigned long long U64; 98*3117ece4Schristos typedef signed long long S64; 99*3117ece4Schristos #endif 100*3117ece4Schristos 101*3117ece4Schristos 102*3117ece4Schristos /**************************************************************** 103*3117ece4Schristos * Memory I/O 104*3117ece4Schristos *****************************************************************/ 105*3117ece4Schristos 106*3117ece4Schristos MEM_STATIC unsigned MEM_32bits(void) { return sizeof(void*)==4; } 107*3117ece4Schristos MEM_STATIC unsigned MEM_64bits(void) { return sizeof(void*)==8; } 108*3117ece4Schristos 109*3117ece4Schristos MEM_STATIC unsigned MEM_isLittleEndian(void) 110*3117ece4Schristos { 111*3117ece4Schristos const union { U32 u; BYTE c[4]; } one = { 1 }; /* don't use static : performance detrimental */ 112*3117ece4Schristos return one.c[0]; 113*3117ece4Schristos } 114*3117ece4Schristos 115*3117ece4Schristos MEM_STATIC U16 MEM_read16(const void* memPtr) 116*3117ece4Schristos { 117*3117ece4Schristos U16 val; memcpy(&val, memPtr, sizeof(val)); return val; 118*3117ece4Schristos } 119*3117ece4Schristos 120*3117ece4Schristos MEM_STATIC U32 MEM_read32(const void* memPtr) 121*3117ece4Schristos { 122*3117ece4Schristos U32 val; memcpy(&val, memPtr, sizeof(val)); return val; 123*3117ece4Schristos } 124*3117ece4Schristos 125*3117ece4Schristos MEM_STATIC U64 MEM_read64(const void* memPtr) 126*3117ece4Schristos { 127*3117ece4Schristos U64 val; memcpy(&val, memPtr, sizeof(val)); return val; 128*3117ece4Schristos } 129*3117ece4Schristos 130*3117ece4Schristos MEM_STATIC void MEM_write16(void* memPtr, U16 value) 131*3117ece4Schristos { 132*3117ece4Schristos memcpy(memPtr, &value, sizeof(value)); 133*3117ece4Schristos } 134*3117ece4Schristos 135*3117ece4Schristos MEM_STATIC U16 MEM_readLE16(const void* memPtr) 136*3117ece4Schristos { 137*3117ece4Schristos if (MEM_isLittleEndian()) 138*3117ece4Schristos return MEM_read16(memPtr); 139*3117ece4Schristos else 140*3117ece4Schristos { 141*3117ece4Schristos const BYTE* p = (const BYTE*)memPtr; 142*3117ece4Schristos return (U16)(p[0] + (p[1]<<8)); 143*3117ece4Schristos } 144*3117ece4Schristos } 145*3117ece4Schristos 146*3117ece4Schristos MEM_STATIC void MEM_writeLE16(void* memPtr, U16 val) 147*3117ece4Schristos { 148*3117ece4Schristos if (MEM_isLittleEndian()) 149*3117ece4Schristos { 150*3117ece4Schristos MEM_write16(memPtr, val); 151*3117ece4Schristos } 152*3117ece4Schristos else 153*3117ece4Schristos { 154*3117ece4Schristos BYTE* p = (BYTE*)memPtr; 155*3117ece4Schristos p[0] = (BYTE)val; 156*3117ece4Schristos p[1] = (BYTE)(val>>8); 157*3117ece4Schristos } 158*3117ece4Schristos } 159*3117ece4Schristos 160*3117ece4Schristos MEM_STATIC U32 MEM_readLE24(const void* memPtr) 161*3117ece4Schristos { 162*3117ece4Schristos return MEM_readLE16(memPtr) + (((const BYTE*)memPtr)[2] << 16); 163*3117ece4Schristos } 164*3117ece4Schristos 165*3117ece4Schristos MEM_STATIC U32 MEM_readLE32(const void* memPtr) 166*3117ece4Schristos { 167*3117ece4Schristos if (MEM_isLittleEndian()) 168*3117ece4Schristos return MEM_read32(memPtr); 169*3117ece4Schristos else 170*3117ece4Schristos { 171*3117ece4Schristos const BYTE* p = (const BYTE*)memPtr; 172*3117ece4Schristos return (U32)((U32)p[0] + ((U32)p[1]<<8) + ((U32)p[2]<<16) + ((U32)p[3]<<24)); 173*3117ece4Schristos } 174*3117ece4Schristos } 175*3117ece4Schristos 176*3117ece4Schristos 177*3117ece4Schristos MEM_STATIC U64 MEM_readLE64(const void* memPtr) 178*3117ece4Schristos { 179*3117ece4Schristos if (MEM_isLittleEndian()) 180*3117ece4Schristos return MEM_read64(memPtr); 181*3117ece4Schristos else 182*3117ece4Schristos { 183*3117ece4Schristos const BYTE* p = (const BYTE*)memPtr; 184*3117ece4Schristos return (U64)((U64)p[0] + ((U64)p[1]<<8) + ((U64)p[2]<<16) + ((U64)p[3]<<24) 185*3117ece4Schristos + ((U64)p[4]<<32) + ((U64)p[5]<<40) + ((U64)p[6]<<48) + ((U64)p[7]<<56)); 186*3117ece4Schristos } 187*3117ece4Schristos } 188*3117ece4Schristos 189*3117ece4Schristos 190*3117ece4Schristos MEM_STATIC size_t MEM_readLEST(const void* memPtr) 191*3117ece4Schristos { 192*3117ece4Schristos if (MEM_32bits()) 193*3117ece4Schristos return (size_t)MEM_readLE32(memPtr); 194*3117ece4Schristos else 195*3117ece4Schristos return (size_t)MEM_readLE64(memPtr); 196*3117ece4Schristos } 197*3117ece4Schristos 198*3117ece4Schristos #if defined (__cplusplus) 199*3117ece4Schristos } 200*3117ece4Schristos #endif 201*3117ece4Schristos 202*3117ece4Schristos #endif /* MEM_H_MODULE */ 203*3117ece4Schristos 204*3117ece4Schristos 205*3117ece4Schristos /* ****************************************************************** 206*3117ece4Schristos bitstream 207*3117ece4Schristos Part of NewGen Entropy library 208*3117ece4Schristos header file (to include) 209*3117ece4Schristos Copyright (C) 2013-2015, Yann Collet. 210*3117ece4Schristos 211*3117ece4Schristos BSD 2-Clause License (https://opensource.org/licenses/bsd-license.php) 212*3117ece4Schristos 213*3117ece4Schristos Redistribution and use in source and binary forms, with or without 214*3117ece4Schristos modification, are permitted provided that the following conditions are 215*3117ece4Schristos met: 216*3117ece4Schristos 217*3117ece4Schristos * Redistributions of source code must retain the above copyright 218*3117ece4Schristos notice, this list of conditions and the following disclaimer. 219*3117ece4Schristos * Redistributions in binary form must reproduce the above 220*3117ece4Schristos copyright notice, this list of conditions and the following disclaimer 221*3117ece4Schristos in the documentation and/or other materials provided with the 222*3117ece4Schristos distribution. 223*3117ece4Schristos 224*3117ece4Schristos THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 225*3117ece4Schristos "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 226*3117ece4Schristos LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 227*3117ece4Schristos A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 228*3117ece4Schristos OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 229*3117ece4Schristos SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 230*3117ece4Schristos LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 231*3117ece4Schristos DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 232*3117ece4Schristos THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 233*3117ece4Schristos (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 234*3117ece4Schristos OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 235*3117ece4Schristos 236*3117ece4Schristos You can contact the author at : 237*3117ece4Schristos - Source repository : https://github.com/Cyan4973/FiniteStateEntropy 238*3117ece4Schristos - Public forum : https://groups.google.com/forum/#!forum/lz4c 239*3117ece4Schristos ****************************************************************** */ 240*3117ece4Schristos #ifndef BITSTREAM_H_MODULE 241*3117ece4Schristos #define BITSTREAM_H_MODULE 242*3117ece4Schristos 243*3117ece4Schristos #if defined (__cplusplus) 244*3117ece4Schristos extern "C" { 245*3117ece4Schristos #endif 246*3117ece4Schristos 247*3117ece4Schristos 248*3117ece4Schristos /* 249*3117ece4Schristos * This API consists of small unitary functions, which highly benefit from being inlined. 250*3117ece4Schristos * Since link-time-optimization is not available for all compilers, 251*3117ece4Schristos * these functions are defined into a .h to be included. 252*3117ece4Schristos */ 253*3117ece4Schristos 254*3117ece4Schristos 255*3117ece4Schristos /********************************************** 256*3117ece4Schristos * bitStream decompression API (read backward) 257*3117ece4Schristos **********************************************/ 258*3117ece4Schristos typedef struct 259*3117ece4Schristos { 260*3117ece4Schristos size_t bitContainer; 261*3117ece4Schristos unsigned bitsConsumed; 262*3117ece4Schristos const char* ptr; 263*3117ece4Schristos const char* start; 264*3117ece4Schristos } BIT_DStream_t; 265*3117ece4Schristos 266*3117ece4Schristos typedef enum { BIT_DStream_unfinished = 0, 267*3117ece4Schristos BIT_DStream_endOfBuffer = 1, 268*3117ece4Schristos BIT_DStream_completed = 2, 269*3117ece4Schristos BIT_DStream_overflow = 3 } BIT_DStream_status; /* result of BIT_reloadDStream() */ 270*3117ece4Schristos /* 1,2,4,8 would be better for bitmap combinations, but slows down performance a bit ... :( */ 271*3117ece4Schristos 272*3117ece4Schristos MEM_STATIC size_t BIT_initDStream(BIT_DStream_t* bitD, const void* srcBuffer, size_t srcSize); 273*3117ece4Schristos MEM_STATIC size_t BIT_readBits(BIT_DStream_t* bitD, unsigned nbBits); 274*3117ece4Schristos MEM_STATIC BIT_DStream_status BIT_reloadDStream(BIT_DStream_t* bitD); 275*3117ece4Schristos MEM_STATIC unsigned BIT_endOfDStream(const BIT_DStream_t* bitD); 276*3117ece4Schristos 277*3117ece4Schristos 278*3117ece4Schristos /****************************************** 279*3117ece4Schristos * unsafe API 280*3117ece4Schristos ******************************************/ 281*3117ece4Schristos MEM_STATIC size_t BIT_readBitsFast(BIT_DStream_t* bitD, unsigned nbBits); 282*3117ece4Schristos /* faster, but works only if nbBits >= 1 */ 283*3117ece4Schristos 284*3117ece4Schristos 285*3117ece4Schristos 286*3117ece4Schristos /**************************************************************** 287*3117ece4Schristos * Helper functions 288*3117ece4Schristos ****************************************************************/ 289*3117ece4Schristos MEM_STATIC unsigned BIT_highbit32 (U32 val) 290*3117ece4Schristos { 291*3117ece4Schristos # if defined(_MSC_VER) /* Visual */ 292*3117ece4Schristos unsigned long r; 293*3117ece4Schristos return _BitScanReverse(&r, val) ? (unsigned)r : 0; 294*3117ece4Schristos # elif defined(__GNUC__) && (__GNUC__ >= 3) /* Use GCC Intrinsic */ 295*3117ece4Schristos return __builtin_clz (val) ^ 31; 296*3117ece4Schristos # else /* Software version */ 297*3117ece4Schristos static const unsigned DeBruijnClz[32] = { 0, 9, 1, 10, 13, 21, 2, 29, 11, 14, 16, 18, 22, 25, 3, 30, 8, 12, 20, 28, 15, 17, 24, 7, 19, 27, 23, 6, 26, 5, 4, 31 }; 298*3117ece4Schristos U32 v = val; 299*3117ece4Schristos unsigned r; 300*3117ece4Schristos v |= v >> 1; 301*3117ece4Schristos v |= v >> 2; 302*3117ece4Schristos v |= v >> 4; 303*3117ece4Schristos v |= v >> 8; 304*3117ece4Schristos v |= v >> 16; 305*3117ece4Schristos r = DeBruijnClz[ (U32) (v * 0x07C4ACDDU) >> 27]; 306*3117ece4Schristos return r; 307*3117ece4Schristos # endif 308*3117ece4Schristos } 309*3117ece4Schristos 310*3117ece4Schristos 311*3117ece4Schristos 312*3117ece4Schristos /********************************************************** 313*3117ece4Schristos * bitStream decoding 314*3117ece4Schristos **********************************************************/ 315*3117ece4Schristos 316*3117ece4Schristos /*!BIT_initDStream 317*3117ece4Schristos * Initialize a BIT_DStream_t. 318*3117ece4Schristos * @bitD : a pointer to an already allocated BIT_DStream_t structure 319*3117ece4Schristos * @srcBuffer must point at the beginning of a bitStream 320*3117ece4Schristos * @srcSize must be the exact size of the bitStream 321*3117ece4Schristos * @result : size of stream (== srcSize) or an errorCode if a problem is detected 322*3117ece4Schristos */ 323*3117ece4Schristos MEM_STATIC size_t BIT_initDStream(BIT_DStream_t* bitD, const void* srcBuffer, size_t srcSize) 324*3117ece4Schristos { 325*3117ece4Schristos if (srcSize < 1) { memset(bitD, 0, sizeof(*bitD)); return ERROR(srcSize_wrong); } 326*3117ece4Schristos 327*3117ece4Schristos if (srcSize >= sizeof(size_t)) /* normal case */ 328*3117ece4Schristos { 329*3117ece4Schristos U32 contain32; 330*3117ece4Schristos bitD->start = (const char*)srcBuffer; 331*3117ece4Schristos bitD->ptr = (const char*)srcBuffer + srcSize - sizeof(size_t); 332*3117ece4Schristos bitD->bitContainer = MEM_readLEST(bitD->ptr); 333*3117ece4Schristos contain32 = ((const BYTE*)srcBuffer)[srcSize-1]; 334*3117ece4Schristos if (contain32 == 0) return ERROR(GENERIC); /* endMark not present */ 335*3117ece4Schristos bitD->bitsConsumed = 8 - BIT_highbit32(contain32); 336*3117ece4Schristos } 337*3117ece4Schristos else 338*3117ece4Schristos { 339*3117ece4Schristos U32 contain32; 340*3117ece4Schristos bitD->start = (const char*)srcBuffer; 341*3117ece4Schristos bitD->ptr = bitD->start; 342*3117ece4Schristos bitD->bitContainer = *(const BYTE*)(bitD->start); 343*3117ece4Schristos switch(srcSize) 344*3117ece4Schristos { 345*3117ece4Schristos case 7: bitD->bitContainer += (size_t)(((const BYTE*)(bitD->start))[6]) << (sizeof(size_t)*8 - 16); 346*3117ece4Schristos /* fallthrough */ 347*3117ece4Schristos case 6: bitD->bitContainer += (size_t)(((const BYTE*)(bitD->start))[5]) << (sizeof(size_t)*8 - 24); 348*3117ece4Schristos /* fallthrough */ 349*3117ece4Schristos case 5: bitD->bitContainer += (size_t)(((const BYTE*)(bitD->start))[4]) << (sizeof(size_t)*8 - 32); 350*3117ece4Schristos /* fallthrough */ 351*3117ece4Schristos case 4: bitD->bitContainer += (size_t)(((const BYTE*)(bitD->start))[3]) << 24; 352*3117ece4Schristos /* fallthrough */ 353*3117ece4Schristos case 3: bitD->bitContainer += (size_t)(((const BYTE*)(bitD->start))[2]) << 16; 354*3117ece4Schristos /* fallthrough */ 355*3117ece4Schristos case 2: bitD->bitContainer += (size_t)(((const BYTE*)(bitD->start))[1]) << 8; 356*3117ece4Schristos /* fallthrough */ 357*3117ece4Schristos default:; 358*3117ece4Schristos } 359*3117ece4Schristos contain32 = ((const BYTE*)srcBuffer)[srcSize-1]; 360*3117ece4Schristos if (contain32 == 0) return ERROR(GENERIC); /* endMark not present */ 361*3117ece4Schristos bitD->bitsConsumed = 8 - BIT_highbit32(contain32); 362*3117ece4Schristos bitD->bitsConsumed += (U32)(sizeof(size_t) - srcSize)*8; 363*3117ece4Schristos } 364*3117ece4Schristos 365*3117ece4Schristos return srcSize; 366*3117ece4Schristos } 367*3117ece4Schristos 368*3117ece4Schristos MEM_STATIC size_t BIT_lookBits(BIT_DStream_t* bitD, U32 nbBits) 369*3117ece4Schristos { 370*3117ece4Schristos const U32 bitMask = sizeof(bitD->bitContainer)*8 - 1; 371*3117ece4Schristos return ((bitD->bitContainer << (bitD->bitsConsumed & bitMask)) >> 1) >> ((bitMask-nbBits) & bitMask); 372*3117ece4Schristos } 373*3117ece4Schristos 374*3117ece4Schristos /*! BIT_lookBitsFast : 375*3117ece4Schristos * unsafe version; only works if nbBits >= 1 */ 376*3117ece4Schristos MEM_STATIC size_t BIT_lookBitsFast(BIT_DStream_t* bitD, U32 nbBits) 377*3117ece4Schristos { 378*3117ece4Schristos const U32 bitMask = sizeof(bitD->bitContainer)*8 - 1; 379*3117ece4Schristos return (bitD->bitContainer << (bitD->bitsConsumed & bitMask)) >> (((bitMask+1)-nbBits) & bitMask); 380*3117ece4Schristos } 381*3117ece4Schristos 382*3117ece4Schristos MEM_STATIC void BIT_skipBits(BIT_DStream_t* bitD, U32 nbBits) 383*3117ece4Schristos { 384*3117ece4Schristos bitD->bitsConsumed += nbBits; 385*3117ece4Schristos } 386*3117ece4Schristos 387*3117ece4Schristos MEM_STATIC size_t BIT_readBits(BIT_DStream_t* bitD, U32 nbBits) 388*3117ece4Schristos { 389*3117ece4Schristos size_t value = BIT_lookBits(bitD, nbBits); 390*3117ece4Schristos BIT_skipBits(bitD, nbBits); 391*3117ece4Schristos return value; 392*3117ece4Schristos } 393*3117ece4Schristos 394*3117ece4Schristos /*!BIT_readBitsFast : 395*3117ece4Schristos * unsafe version; only works if nbBits >= 1 */ 396*3117ece4Schristos MEM_STATIC size_t BIT_readBitsFast(BIT_DStream_t* bitD, U32 nbBits) 397*3117ece4Schristos { 398*3117ece4Schristos size_t value = BIT_lookBitsFast(bitD, nbBits); 399*3117ece4Schristos BIT_skipBits(bitD, nbBits); 400*3117ece4Schristos return value; 401*3117ece4Schristos } 402*3117ece4Schristos 403*3117ece4Schristos MEM_STATIC BIT_DStream_status BIT_reloadDStream(BIT_DStream_t* bitD) 404*3117ece4Schristos { 405*3117ece4Schristos if (bitD->bitsConsumed > (sizeof(bitD->bitContainer)*8)) /* should never happen */ 406*3117ece4Schristos return BIT_DStream_overflow; 407*3117ece4Schristos 408*3117ece4Schristos if (bitD->ptr >= bitD->start + sizeof(bitD->bitContainer)) 409*3117ece4Schristos { 410*3117ece4Schristos bitD->ptr -= bitD->bitsConsumed >> 3; 411*3117ece4Schristos bitD->bitsConsumed &= 7; 412*3117ece4Schristos bitD->bitContainer = MEM_readLEST(bitD->ptr); 413*3117ece4Schristos return BIT_DStream_unfinished; 414*3117ece4Schristos } 415*3117ece4Schristos if (bitD->ptr == bitD->start) 416*3117ece4Schristos { 417*3117ece4Schristos if (bitD->bitsConsumed < sizeof(bitD->bitContainer)*8) return BIT_DStream_endOfBuffer; 418*3117ece4Schristos return BIT_DStream_completed; 419*3117ece4Schristos } 420*3117ece4Schristos { 421*3117ece4Schristos U32 nbBytes = bitD->bitsConsumed >> 3; 422*3117ece4Schristos BIT_DStream_status result = BIT_DStream_unfinished; 423*3117ece4Schristos if (bitD->ptr - nbBytes < bitD->start) 424*3117ece4Schristos { 425*3117ece4Schristos nbBytes = (U32)(bitD->ptr - bitD->start); /* ptr > start */ 426*3117ece4Schristos result = BIT_DStream_endOfBuffer; 427*3117ece4Schristos } 428*3117ece4Schristos bitD->ptr -= nbBytes; 429*3117ece4Schristos bitD->bitsConsumed -= nbBytes*8; 430*3117ece4Schristos bitD->bitContainer = MEM_readLEST(bitD->ptr); /* reminder : srcSize > sizeof(bitD) */ 431*3117ece4Schristos return result; 432*3117ece4Schristos } 433*3117ece4Schristos } 434*3117ece4Schristos 435*3117ece4Schristos /*! BIT_endOfDStream 436*3117ece4Schristos * @return Tells if DStream has reached its exact end 437*3117ece4Schristos */ 438*3117ece4Schristos MEM_STATIC unsigned BIT_endOfDStream(const BIT_DStream_t* DStream) 439*3117ece4Schristos { 440*3117ece4Schristos return ((DStream->ptr == DStream->start) && (DStream->bitsConsumed == sizeof(DStream->bitContainer)*8)); 441*3117ece4Schristos } 442*3117ece4Schristos 443*3117ece4Schristos #if defined (__cplusplus) 444*3117ece4Schristos } 445*3117ece4Schristos #endif 446*3117ece4Schristos 447*3117ece4Schristos #endif /* BITSTREAM_H_MODULE */ 448*3117ece4Schristos /* ****************************************************************** 449*3117ece4Schristos Error codes and messages 450*3117ece4Schristos Copyright (C) 2013-2015, Yann Collet 451*3117ece4Schristos 452*3117ece4Schristos BSD 2-Clause License (https://opensource.org/licenses/bsd-license.php) 453*3117ece4Schristos 454*3117ece4Schristos Redistribution and use in source and binary forms, with or without 455*3117ece4Schristos modification, are permitted provided that the following conditions are 456*3117ece4Schristos met: 457*3117ece4Schristos 458*3117ece4Schristos * Redistributions of source code must retain the above copyright 459*3117ece4Schristos notice, this list of conditions and the following disclaimer. 460*3117ece4Schristos * Redistributions in binary form must reproduce the above 461*3117ece4Schristos copyright notice, this list of conditions and the following disclaimer 462*3117ece4Schristos in the documentation and/or other materials provided with the 463*3117ece4Schristos distribution. 464*3117ece4Schristos 465*3117ece4Schristos THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 466*3117ece4Schristos "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 467*3117ece4Schristos LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 468*3117ece4Schristos A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 469*3117ece4Schristos OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 470*3117ece4Schristos SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 471*3117ece4Schristos LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 472*3117ece4Schristos DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 473*3117ece4Schristos THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 474*3117ece4Schristos (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 475*3117ece4Schristos OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 476*3117ece4Schristos 477*3117ece4Schristos You can contact the author at : 478*3117ece4Schristos - Source repository : https://github.com/Cyan4973/FiniteStateEntropy 479*3117ece4Schristos - Public forum : https://groups.google.com/forum/#!forum/lz4c 480*3117ece4Schristos ****************************************************************** */ 481*3117ece4Schristos #ifndef ERROR_H_MODULE 482*3117ece4Schristos #define ERROR_H_MODULE 483*3117ece4Schristos 484*3117ece4Schristos #if defined (__cplusplus) 485*3117ece4Schristos extern "C" { 486*3117ece4Schristos #endif 487*3117ece4Schristos 488*3117ece4Schristos 489*3117ece4Schristos /****************************************** 490*3117ece4Schristos * Compiler-specific 491*3117ece4Schristos ******************************************/ 492*3117ece4Schristos #if defined (__cplusplus) || (defined (__STDC_VERSION__) && (__STDC_VERSION__ >= 199901L) /* C99 */) 493*3117ece4Schristos # define ERR_STATIC static inline 494*3117ece4Schristos #elif defined(_MSC_VER) 495*3117ece4Schristos # define ERR_STATIC static __inline 496*3117ece4Schristos #elif defined(__GNUC__) 497*3117ece4Schristos # define ERR_STATIC static __attribute__((unused)) 498*3117ece4Schristos #else 499*3117ece4Schristos # define ERR_STATIC static /* this version may generate warnings for unused static functions; disable the relevant warning */ 500*3117ece4Schristos #endif 501*3117ece4Schristos 502*3117ece4Schristos 503*3117ece4Schristos /****************************************** 504*3117ece4Schristos * Error Management 505*3117ece4Schristos ******************************************/ 506*3117ece4Schristos #define PREFIX(name) ZSTD_error_##name 507*3117ece4Schristos 508*3117ece4Schristos #define ERROR(name) (size_t)-PREFIX(name) 509*3117ece4Schristos 510*3117ece4Schristos #define ERROR_LIST(ITEM) \ 511*3117ece4Schristos ITEM(PREFIX(No_Error)) ITEM(PREFIX(GENERIC)) \ 512*3117ece4Schristos ITEM(PREFIX(dstSize_tooSmall)) ITEM(PREFIX(srcSize_wrong)) \ 513*3117ece4Schristos ITEM(PREFIX(prefix_unknown)) ITEM(PREFIX(corruption_detected)) \ 514*3117ece4Schristos ITEM(PREFIX(tableLog_tooLarge)) ITEM(PREFIX(maxSymbolValue_tooLarge)) ITEM(PREFIX(maxSymbolValue_tooSmall)) \ 515*3117ece4Schristos ITEM(PREFIX(maxCode)) 516*3117ece4Schristos 517*3117ece4Schristos #define ERROR_GENERATE_ENUM(ENUM) ENUM, 518*3117ece4Schristos typedef enum { ERROR_LIST(ERROR_GENERATE_ENUM) } ERR_codes; /* enum is exposed, to detect & handle specific errors; compare function result to -enum value */ 519*3117ece4Schristos 520*3117ece4Schristos #define ERROR_CONVERTTOSTRING(STRING) #STRING, 521*3117ece4Schristos #define ERROR_GENERATE_STRING(EXPR) ERROR_CONVERTTOSTRING(EXPR) 522*3117ece4Schristos static const char* ERR_strings[] = { ERROR_LIST(ERROR_GENERATE_STRING) }; 523*3117ece4Schristos 524*3117ece4Schristos ERR_STATIC unsigned ERR_isError(size_t code) { return (code > ERROR(maxCode)); } 525*3117ece4Schristos 526*3117ece4Schristos ERR_STATIC const char* ERR_getErrorName(size_t code) 527*3117ece4Schristos { 528*3117ece4Schristos static const char* codeError = "Unspecified error code"; 529*3117ece4Schristos if (ERR_isError(code)) return ERR_strings[-(int)(code)]; 530*3117ece4Schristos return codeError; 531*3117ece4Schristos } 532*3117ece4Schristos 533*3117ece4Schristos 534*3117ece4Schristos #if defined (__cplusplus) 535*3117ece4Schristos } 536*3117ece4Schristos #endif 537*3117ece4Schristos 538*3117ece4Schristos #endif /* ERROR_H_MODULE */ 539*3117ece4Schristos /* 540*3117ece4Schristos Constructor and Destructor of type FSE_CTable 541*3117ece4Schristos Note that its size depends on 'tableLog' and 'maxSymbolValue' */ 542*3117ece4Schristos typedef unsigned FSE_CTable; /* don't allocate that. It's just a way to be more restrictive than void* */ 543*3117ece4Schristos typedef unsigned FSE_DTable; /* don't allocate that. It's just a way to be more restrictive than void* */ 544*3117ece4Schristos 545*3117ece4Schristos 546*3117ece4Schristos /* ****************************************************************** 547*3117ece4Schristos FSE : Finite State Entropy coder 548*3117ece4Schristos header file for static linking (only) 549*3117ece4Schristos Copyright (C) 2013-2015, Yann Collet 550*3117ece4Schristos 551*3117ece4Schristos BSD 2-Clause License (https://opensource.org/licenses/bsd-license.php) 552*3117ece4Schristos 553*3117ece4Schristos Redistribution and use in source and binary forms, with or without 554*3117ece4Schristos modification, are permitted provided that the following conditions are 555*3117ece4Schristos met: 556*3117ece4Schristos 557*3117ece4Schristos * Redistributions of source code must retain the above copyright 558*3117ece4Schristos notice, this list of conditions and the following disclaimer. 559*3117ece4Schristos * Redistributions in binary form must reproduce the above 560*3117ece4Schristos copyright notice, this list of conditions and the following disclaimer 561*3117ece4Schristos in the documentation and/or other materials provided with the 562*3117ece4Schristos distribution. 563*3117ece4Schristos 564*3117ece4Schristos THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 565*3117ece4Schristos "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 566*3117ece4Schristos LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 567*3117ece4Schristos A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 568*3117ece4Schristos OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 569*3117ece4Schristos SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 570*3117ece4Schristos LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 571*3117ece4Schristos DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 572*3117ece4Schristos THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 573*3117ece4Schristos (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 574*3117ece4Schristos OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 575*3117ece4Schristos 576*3117ece4Schristos You can contact the author at : 577*3117ece4Schristos - Source repository : https://github.com/Cyan4973/FiniteStateEntropy 578*3117ece4Schristos - Public forum : https://groups.google.com/forum/#!forum/lz4c 579*3117ece4Schristos ****************************************************************** */ 580*3117ece4Schristos #if defined (__cplusplus) 581*3117ece4Schristos extern "C" { 582*3117ece4Schristos #endif 583*3117ece4Schristos 584*3117ece4Schristos 585*3117ece4Schristos /****************************************** 586*3117ece4Schristos * Static allocation 587*3117ece4Schristos ******************************************/ 588*3117ece4Schristos /* FSE buffer bounds */ 589*3117ece4Schristos #define FSE_NCOUNTBOUND 512 590*3117ece4Schristos #define FSE_BLOCKBOUND(size) (size + (size>>7)) 591*3117ece4Schristos #define FSE_COMPRESSBOUND(size) (FSE_NCOUNTBOUND + FSE_BLOCKBOUND(size)) /* Macro version, useful for static allocation */ 592*3117ece4Schristos 593*3117ece4Schristos /* You can statically allocate FSE CTable/DTable as a table of unsigned using below macro */ 594*3117ece4Schristos #define FSE_CTABLE_SIZE_U32(maxTableLog, maxSymbolValue) (1 + (1<<(maxTableLog-1)) + ((maxSymbolValue+1)*2)) 595*3117ece4Schristos #define FSE_DTABLE_SIZE_U32(maxTableLog) (1 + (1<<maxTableLog)) 596*3117ece4Schristos 597*3117ece4Schristos 598*3117ece4Schristos /****************************************** 599*3117ece4Schristos * FSE advanced API 600*3117ece4Schristos ******************************************/ 601*3117ece4Schristos static size_t FSE_buildDTable_raw (FSE_DTable* dt, unsigned nbBits); 602*3117ece4Schristos /* build a fake FSE_DTable, designed to read an uncompressed bitstream where each symbol uses nbBits */ 603*3117ece4Schristos 604*3117ece4Schristos static size_t FSE_buildDTable_rle (FSE_DTable* dt, unsigned char symbolValue); 605*3117ece4Schristos /* build a fake FSE_DTable, designed to always generate the same symbolValue */ 606*3117ece4Schristos 607*3117ece4Schristos 608*3117ece4Schristos /****************************************** 609*3117ece4Schristos * FSE symbol decompression API 610*3117ece4Schristos ******************************************/ 611*3117ece4Schristos typedef struct 612*3117ece4Schristos { 613*3117ece4Schristos size_t state; 614*3117ece4Schristos const void* table; /* precise table may vary, depending on U16 */ 615*3117ece4Schristos } FSE_DState_t; 616*3117ece4Schristos 617*3117ece4Schristos 618*3117ece4Schristos static void FSE_initDState(FSE_DState_t* DStatePtr, BIT_DStream_t* bitD, const FSE_DTable* dt); 619*3117ece4Schristos 620*3117ece4Schristos static unsigned char FSE_decodeSymbol(FSE_DState_t* DStatePtr, BIT_DStream_t* bitD); 621*3117ece4Schristos 622*3117ece4Schristos static unsigned FSE_endOfDState(const FSE_DState_t* DStatePtr); 623*3117ece4Schristos 624*3117ece4Schristos 625*3117ece4Schristos /****************************************** 626*3117ece4Schristos * FSE unsafe API 627*3117ece4Schristos ******************************************/ 628*3117ece4Schristos static unsigned char FSE_decodeSymbolFast(FSE_DState_t* DStatePtr, BIT_DStream_t* bitD); 629*3117ece4Schristos /* faster, but works only if nbBits is always >= 1 (otherwise, result will be corrupted) */ 630*3117ece4Schristos 631*3117ece4Schristos 632*3117ece4Schristos /****************************************** 633*3117ece4Schristos * Implementation of inline functions 634*3117ece4Schristos ******************************************/ 635*3117ece4Schristos 636*3117ece4Schristos /* decompression */ 637*3117ece4Schristos 638*3117ece4Schristos typedef struct { 639*3117ece4Schristos U16 tableLog; 640*3117ece4Schristos U16 fastMode; 641*3117ece4Schristos } FSE_DTableHeader; /* sizeof U32 */ 642*3117ece4Schristos 643*3117ece4Schristos typedef struct 644*3117ece4Schristos { 645*3117ece4Schristos unsigned short newState; 646*3117ece4Schristos unsigned char symbol; 647*3117ece4Schristos unsigned char nbBits; 648*3117ece4Schristos } FSE_decode_t; /* size == U32 */ 649*3117ece4Schristos 650*3117ece4Schristos MEM_STATIC void FSE_initDState(FSE_DState_t* DStatePtr, BIT_DStream_t* bitD, const FSE_DTable* dt) 651*3117ece4Schristos { 652*3117ece4Schristos FSE_DTableHeader DTableH; 653*3117ece4Schristos memcpy(&DTableH, dt, sizeof(DTableH)); 654*3117ece4Schristos DStatePtr->state = BIT_readBits(bitD, DTableH.tableLog); 655*3117ece4Schristos BIT_reloadDStream(bitD); 656*3117ece4Schristos DStatePtr->table = dt + 1; 657*3117ece4Schristos } 658*3117ece4Schristos 659*3117ece4Schristos MEM_STATIC BYTE FSE_decodeSymbol(FSE_DState_t* DStatePtr, BIT_DStream_t* bitD) 660*3117ece4Schristos { 661*3117ece4Schristos const FSE_decode_t DInfo = ((const FSE_decode_t*)(DStatePtr->table))[DStatePtr->state]; 662*3117ece4Schristos const U32 nbBits = DInfo.nbBits; 663*3117ece4Schristos BYTE symbol = DInfo.symbol; 664*3117ece4Schristos size_t lowBits = BIT_readBits(bitD, nbBits); 665*3117ece4Schristos 666*3117ece4Schristos DStatePtr->state = DInfo.newState + lowBits; 667*3117ece4Schristos return symbol; 668*3117ece4Schristos } 669*3117ece4Schristos 670*3117ece4Schristos MEM_STATIC BYTE FSE_decodeSymbolFast(FSE_DState_t* DStatePtr, BIT_DStream_t* bitD) 671*3117ece4Schristos { 672*3117ece4Schristos const FSE_decode_t DInfo = ((const FSE_decode_t*)(DStatePtr->table))[DStatePtr->state]; 673*3117ece4Schristos const U32 nbBits = DInfo.nbBits; 674*3117ece4Schristos BYTE symbol = DInfo.symbol; 675*3117ece4Schristos size_t lowBits = BIT_readBitsFast(bitD, nbBits); 676*3117ece4Schristos 677*3117ece4Schristos DStatePtr->state = DInfo.newState + lowBits; 678*3117ece4Schristos return symbol; 679*3117ece4Schristos } 680*3117ece4Schristos 681*3117ece4Schristos MEM_STATIC unsigned FSE_endOfDState(const FSE_DState_t* DStatePtr) 682*3117ece4Schristos { 683*3117ece4Schristos return DStatePtr->state == 0; 684*3117ece4Schristos } 685*3117ece4Schristos 686*3117ece4Schristos 687*3117ece4Schristos #if defined (__cplusplus) 688*3117ece4Schristos } 689*3117ece4Schristos #endif 690*3117ece4Schristos /* ****************************************************************** 691*3117ece4Schristos Huff0 : Huffman coder, part of New Generation Entropy library 692*3117ece4Schristos header file for static linking (only) 693*3117ece4Schristos Copyright (C) 2013-2015, Yann Collet 694*3117ece4Schristos 695*3117ece4Schristos BSD 2-Clause License (https://opensource.org/licenses/bsd-license.php) 696*3117ece4Schristos 697*3117ece4Schristos Redistribution and use in source and binary forms, with or without 698*3117ece4Schristos modification, are permitted provided that the following conditions are 699*3117ece4Schristos met: 700*3117ece4Schristos 701*3117ece4Schristos * Redistributions of source code must retain the above copyright 702*3117ece4Schristos notice, this list of conditions and the following disclaimer. 703*3117ece4Schristos * Redistributions in binary form must reproduce the above 704*3117ece4Schristos copyright notice, this list of conditions and the following disclaimer 705*3117ece4Schristos in the documentation and/or other materials provided with the 706*3117ece4Schristos distribution. 707*3117ece4Schristos 708*3117ece4Schristos THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 709*3117ece4Schristos "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 710*3117ece4Schristos LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 711*3117ece4Schristos A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 712*3117ece4Schristos OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 713*3117ece4Schristos SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 714*3117ece4Schristos LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 715*3117ece4Schristos DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 716*3117ece4Schristos THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 717*3117ece4Schristos (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 718*3117ece4Schristos OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 719*3117ece4Schristos 720*3117ece4Schristos You can contact the author at : 721*3117ece4Schristos - Source repository : https://github.com/Cyan4973/FiniteStateEntropy 722*3117ece4Schristos - Public forum : https://groups.google.com/forum/#!forum/lz4c 723*3117ece4Schristos ****************************************************************** */ 724*3117ece4Schristos 725*3117ece4Schristos #if defined (__cplusplus) 726*3117ece4Schristos extern "C" { 727*3117ece4Schristos #endif 728*3117ece4Schristos 729*3117ece4Schristos /****************************************** 730*3117ece4Schristos * Static allocation macros 731*3117ece4Schristos ******************************************/ 732*3117ece4Schristos /* Huff0 buffer bounds */ 733*3117ece4Schristos #define HUF_CTABLEBOUND 129 734*3117ece4Schristos #define HUF_BLOCKBOUND(size) (size + (size>>8) + 8) /* only true if incompressible pre-filtered with fast heuristic */ 735*3117ece4Schristos #define HUF_COMPRESSBOUND(size) (HUF_CTABLEBOUND + HUF_BLOCKBOUND(size)) /* Macro version, useful for static allocation */ 736*3117ece4Schristos 737*3117ece4Schristos /* static allocation of Huff0's DTable */ 738*3117ece4Schristos #define HUF_DTABLE_SIZE(maxTableLog) (1 + (1<<maxTableLog)) /* nb Cells; use unsigned short for X2, unsigned int for X4 */ 739*3117ece4Schristos #define HUF_CREATE_STATIC_DTABLEX2(DTable, maxTableLog) \ 740*3117ece4Schristos unsigned short DTable[HUF_DTABLE_SIZE(maxTableLog)] = { maxTableLog } 741*3117ece4Schristos #define HUF_CREATE_STATIC_DTABLEX4(DTable, maxTableLog) \ 742*3117ece4Schristos unsigned int DTable[HUF_DTABLE_SIZE(maxTableLog)] = { maxTableLog } 743*3117ece4Schristos #define HUF_CREATE_STATIC_DTABLEX6(DTable, maxTableLog) \ 744*3117ece4Schristos unsigned int DTable[HUF_DTABLE_SIZE(maxTableLog) * 3 / 2] = { maxTableLog } 745*3117ece4Schristos 746*3117ece4Schristos 747*3117ece4Schristos /****************************************** 748*3117ece4Schristos * Advanced functions 749*3117ece4Schristos ******************************************/ 750*3117ece4Schristos static size_t HUF_decompress4X2 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize); /* single-symbol decoder */ 751*3117ece4Schristos static size_t HUF_decompress4X4 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize); /* double-symbols decoder */ 752*3117ece4Schristos static size_t HUF_decompress4X6 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize); /* quad-symbols decoder */ 753*3117ece4Schristos 754*3117ece4Schristos 755*3117ece4Schristos #if defined (__cplusplus) 756*3117ece4Schristos } 757*3117ece4Schristos #endif 758*3117ece4Schristos 759*3117ece4Schristos /* 760*3117ece4Schristos zstd - standard compression library 761*3117ece4Schristos Header File 762*3117ece4Schristos Copyright (C) 2014-2015, Yann Collet. 763*3117ece4Schristos 764*3117ece4Schristos BSD 2-Clause License (https://opensource.org/licenses/bsd-license.php) 765*3117ece4Schristos 766*3117ece4Schristos Redistribution and use in source and binary forms, with or without 767*3117ece4Schristos modification, are permitted provided that the following conditions are 768*3117ece4Schristos met: 769*3117ece4Schristos * Redistributions of source code must retain the above copyright 770*3117ece4Schristos notice, this list of conditions and the following disclaimer. 771*3117ece4Schristos * Redistributions in binary form must reproduce the above 772*3117ece4Schristos copyright notice, this list of conditions and the following disclaimer 773*3117ece4Schristos in the documentation and/or other materials provided with the 774*3117ece4Schristos distribution. 775*3117ece4Schristos THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 776*3117ece4Schristos "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 777*3117ece4Schristos LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 778*3117ece4Schristos A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 779*3117ece4Schristos OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 780*3117ece4Schristos SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 781*3117ece4Schristos LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 782*3117ece4Schristos DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 783*3117ece4Schristos THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 784*3117ece4Schristos (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 785*3117ece4Schristos OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 786*3117ece4Schristos 787*3117ece4Schristos You can contact the author at : 788*3117ece4Schristos - zstd source repository : https://github.com/Cyan4973/zstd 789*3117ece4Schristos - ztsd public forum : https://groups.google.com/forum/#!forum/lz4c 790*3117ece4Schristos */ 791*3117ece4Schristos 792*3117ece4Schristos #if defined (__cplusplus) 793*3117ece4Schristos extern "C" { 794*3117ece4Schristos #endif 795*3117ece4Schristos 796*3117ece4Schristos /* ************************************* 797*3117ece4Schristos * Includes 798*3117ece4Schristos ***************************************/ 799*3117ece4Schristos #include <stddef.h> /* size_t */ 800*3117ece4Schristos 801*3117ece4Schristos 802*3117ece4Schristos /* ************************************* 803*3117ece4Schristos * Version 804*3117ece4Schristos ***************************************/ 805*3117ece4Schristos #define ZSTD_VERSION_MAJOR 0 /* for breaking interface changes */ 806*3117ece4Schristos #define ZSTD_VERSION_MINOR 2 /* for new (non-breaking) interface capabilities */ 807*3117ece4Schristos #define ZSTD_VERSION_RELEASE 2 /* for tweaks, bug-fixes, or development */ 808*3117ece4Schristos #define ZSTD_VERSION_NUMBER (ZSTD_VERSION_MAJOR *100*100 + ZSTD_VERSION_MINOR *100 + ZSTD_VERSION_RELEASE) 809*3117ece4Schristos 810*3117ece4Schristos 811*3117ece4Schristos /* ************************************* 812*3117ece4Schristos * Advanced functions 813*3117ece4Schristos ***************************************/ 814*3117ece4Schristos typedef struct ZSTD_CCtx_s ZSTD_CCtx; /* incomplete type */ 815*3117ece4Schristos 816*3117ece4Schristos #if defined (__cplusplus) 817*3117ece4Schristos } 818*3117ece4Schristos #endif 819*3117ece4Schristos /* 820*3117ece4Schristos zstd - standard compression library 821*3117ece4Schristos Header File for static linking only 822*3117ece4Schristos Copyright (C) 2014-2015, Yann Collet. 823*3117ece4Schristos 824*3117ece4Schristos BSD 2-Clause License (https://opensource.org/licenses/bsd-license.php) 825*3117ece4Schristos 826*3117ece4Schristos Redistribution and use in source and binary forms, with or without 827*3117ece4Schristos modification, are permitted provided that the following conditions are 828*3117ece4Schristos met: 829*3117ece4Schristos * Redistributions of source code must retain the above copyright 830*3117ece4Schristos notice, this list of conditions and the following disclaimer. 831*3117ece4Schristos * Redistributions in binary form must reproduce the above 832*3117ece4Schristos copyright notice, this list of conditions and the following disclaimer 833*3117ece4Schristos in the documentation and/or other materials provided with the 834*3117ece4Schristos distribution. 835*3117ece4Schristos THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 836*3117ece4Schristos "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 837*3117ece4Schristos LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 838*3117ece4Schristos A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 839*3117ece4Schristos OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 840*3117ece4Schristos SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 841*3117ece4Schristos LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 842*3117ece4Schristos DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 843*3117ece4Schristos THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 844*3117ece4Schristos (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 845*3117ece4Schristos OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 846*3117ece4Schristos 847*3117ece4Schristos You can contact the author at : 848*3117ece4Schristos - zstd source repository : https://github.com/Cyan4973/zstd 849*3117ece4Schristos - ztsd public forum : https://groups.google.com/forum/#!forum/lz4c 850*3117ece4Schristos */ 851*3117ece4Schristos 852*3117ece4Schristos /* The objects defined into this file should be considered experimental. 853*3117ece4Schristos * They are not labelled stable, as their prototype may change in the future. 854*3117ece4Schristos * You can use them for tests, provide feedback, or if you can endure risk of future changes. 855*3117ece4Schristos */ 856*3117ece4Schristos 857*3117ece4Schristos #if defined (__cplusplus) 858*3117ece4Schristos extern "C" { 859*3117ece4Schristos #endif 860*3117ece4Schristos 861*3117ece4Schristos /* ************************************* 862*3117ece4Schristos * Streaming functions 863*3117ece4Schristos ***************************************/ 864*3117ece4Schristos 865*3117ece4Schristos typedef struct ZSTDv02_Dctx_s ZSTD_DCtx; 866*3117ece4Schristos 867*3117ece4Schristos /* 868*3117ece4Schristos Use above functions alternatively. 869*3117ece4Schristos ZSTD_nextSrcSizeToDecompress() tells how much bytes to provide as 'srcSize' to ZSTD_decompressContinue(). 870*3117ece4Schristos ZSTD_decompressContinue() will use previous data blocks to improve compression if they are located prior to current block. 871*3117ece4Schristos Result is the number of bytes regenerated within 'dst'. 872*3117ece4Schristos It can be zero, which is not an error; it just means ZSTD_decompressContinue() has decoded some header. 873*3117ece4Schristos */ 874*3117ece4Schristos 875*3117ece4Schristos /* ************************************* 876*3117ece4Schristos * Prefix - version detection 877*3117ece4Schristos ***************************************/ 878*3117ece4Schristos #define ZSTD_magicNumber 0xFD2FB522 /* v0.2 (current)*/ 879*3117ece4Schristos 880*3117ece4Schristos 881*3117ece4Schristos #if defined (__cplusplus) 882*3117ece4Schristos } 883*3117ece4Schristos #endif 884*3117ece4Schristos /* ****************************************************************** 885*3117ece4Schristos FSE : Finite State Entropy coder 886*3117ece4Schristos Copyright (C) 2013-2015, Yann Collet. 887*3117ece4Schristos 888*3117ece4Schristos BSD 2-Clause License (https://opensource.org/licenses/bsd-license.php) 889*3117ece4Schristos 890*3117ece4Schristos Redistribution and use in source and binary forms, with or without 891*3117ece4Schristos modification, are permitted provided that the following conditions are 892*3117ece4Schristos met: 893*3117ece4Schristos 894*3117ece4Schristos * Redistributions of source code must retain the above copyright 895*3117ece4Schristos notice, this list of conditions and the following disclaimer. 896*3117ece4Schristos * Redistributions in binary form must reproduce the above 897*3117ece4Schristos copyright notice, this list of conditions and the following disclaimer 898*3117ece4Schristos in the documentation and/or other materials provided with the 899*3117ece4Schristos distribution. 900*3117ece4Schristos 901*3117ece4Schristos THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 902*3117ece4Schristos "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 903*3117ece4Schristos LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 904*3117ece4Schristos A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 905*3117ece4Schristos OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 906*3117ece4Schristos SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 907*3117ece4Schristos LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 908*3117ece4Schristos DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 909*3117ece4Schristos THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 910*3117ece4Schristos (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 911*3117ece4Schristos OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 912*3117ece4Schristos 913*3117ece4Schristos You can contact the author at : 914*3117ece4Schristos - FSE source repository : https://github.com/Cyan4973/FiniteStateEntropy 915*3117ece4Schristos - Public forum : https://groups.google.com/forum/#!forum/lz4c 916*3117ece4Schristos ****************************************************************** */ 917*3117ece4Schristos 918*3117ece4Schristos #ifndef FSE_COMMONDEFS_ONLY 919*3117ece4Schristos 920*3117ece4Schristos /**************************************************************** 921*3117ece4Schristos * Tuning parameters 922*3117ece4Schristos ****************************************************************/ 923*3117ece4Schristos /* MEMORY_USAGE : 924*3117ece4Schristos * Memory usage formula : N->2^N Bytes (examples : 10 -> 1KB; 12 -> 4KB ; 16 -> 64KB; 20 -> 1MB; etc.) 925*3117ece4Schristos * Increasing memory usage improves compression ratio 926*3117ece4Schristos * Reduced memory usage can improve speed, due to cache effect 927*3117ece4Schristos * Recommended max value is 14, for 16KB, which nicely fits into Intel x86 L1 cache */ 928*3117ece4Schristos #define FSE_MAX_MEMORY_USAGE 14 929*3117ece4Schristos #define FSE_DEFAULT_MEMORY_USAGE 13 930*3117ece4Schristos 931*3117ece4Schristos /* FSE_MAX_SYMBOL_VALUE : 932*3117ece4Schristos * Maximum symbol value authorized. 933*3117ece4Schristos * Required for proper stack allocation */ 934*3117ece4Schristos #define FSE_MAX_SYMBOL_VALUE 255 935*3117ece4Schristos 936*3117ece4Schristos 937*3117ece4Schristos /**************************************************************** 938*3117ece4Schristos * template functions type & suffix 939*3117ece4Schristos ****************************************************************/ 940*3117ece4Schristos #define FSE_FUNCTION_TYPE BYTE 941*3117ece4Schristos #define FSE_FUNCTION_EXTENSION 942*3117ece4Schristos 943*3117ece4Schristos 944*3117ece4Schristos /**************************************************************** 945*3117ece4Schristos * Byte symbol type 946*3117ece4Schristos ****************************************************************/ 947*3117ece4Schristos #endif /* !FSE_COMMONDEFS_ONLY */ 948*3117ece4Schristos 949*3117ece4Schristos 950*3117ece4Schristos /**************************************************************** 951*3117ece4Schristos * Compiler specifics 952*3117ece4Schristos ****************************************************************/ 953*3117ece4Schristos #ifdef _MSC_VER /* Visual Studio */ 954*3117ece4Schristos # define FORCE_INLINE static __forceinline 955*3117ece4Schristos # include <intrin.h> /* For Visual 2005 */ 956*3117ece4Schristos # pragma warning(disable : 4127) /* disable: C4127: conditional expression is constant */ 957*3117ece4Schristos # pragma warning(disable : 4214) /* disable: C4214: non-int bitfields */ 958*3117ece4Schristos #else 959*3117ece4Schristos # if defined (__cplusplus) || defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L /* C99 */ 960*3117ece4Schristos # ifdef __GNUC__ 961*3117ece4Schristos # define FORCE_INLINE static inline __attribute__((always_inline)) 962*3117ece4Schristos # else 963*3117ece4Schristos # define FORCE_INLINE static inline 964*3117ece4Schristos # endif 965*3117ece4Schristos # else 966*3117ece4Schristos # define FORCE_INLINE static 967*3117ece4Schristos # endif /* __STDC_VERSION__ */ 968*3117ece4Schristos #endif 969*3117ece4Schristos 970*3117ece4Schristos 971*3117ece4Schristos /**************************************************************** 972*3117ece4Schristos * Includes 973*3117ece4Schristos ****************************************************************/ 974*3117ece4Schristos #include <stdlib.h> /* malloc, free, qsort */ 975*3117ece4Schristos #include <string.h> /* memcpy, memset */ 976*3117ece4Schristos #include <stdio.h> /* printf (debug) */ 977*3117ece4Schristos 978*3117ece4Schristos /**************************************************************** 979*3117ece4Schristos * Constants 980*3117ece4Schristos *****************************************************************/ 981*3117ece4Schristos #define FSE_MAX_TABLELOG (FSE_MAX_MEMORY_USAGE-2) 982*3117ece4Schristos #define FSE_MAX_TABLESIZE (1U<<FSE_MAX_TABLELOG) 983*3117ece4Schristos #define FSE_MAXTABLESIZE_MASK (FSE_MAX_TABLESIZE-1) 984*3117ece4Schristos #define FSE_DEFAULT_TABLELOG (FSE_DEFAULT_MEMORY_USAGE-2) 985*3117ece4Schristos #define FSE_MIN_TABLELOG 5 986*3117ece4Schristos 987*3117ece4Schristos #define FSE_TABLELOG_ABSOLUTE_MAX 15 988*3117ece4Schristos #if FSE_MAX_TABLELOG > FSE_TABLELOG_ABSOLUTE_MAX 989*3117ece4Schristos #error "FSE_MAX_TABLELOG > FSE_TABLELOG_ABSOLUTE_MAX is not supported" 990*3117ece4Schristos #endif 991*3117ece4Schristos 992*3117ece4Schristos 993*3117ece4Schristos /**************************************************************** 994*3117ece4Schristos * Error Management 995*3117ece4Schristos ****************************************************************/ 996*3117ece4Schristos #define FSE_STATIC_ASSERT(c) { enum { FSE_static_assert = 1/(int)(!!(c)) }; } /* use only *after* variable declarations */ 997*3117ece4Schristos 998*3117ece4Schristos 999*3117ece4Schristos /**************************************************************** 1000*3117ece4Schristos * Complex types 1001*3117ece4Schristos ****************************************************************/ 1002*3117ece4Schristos typedef U32 DTable_max_t[FSE_DTABLE_SIZE_U32(FSE_MAX_TABLELOG)]; 1003*3117ece4Schristos 1004*3117ece4Schristos 1005*3117ece4Schristos /**************************************************************** 1006*3117ece4Schristos * Templates 1007*3117ece4Schristos ****************************************************************/ 1008*3117ece4Schristos /* 1009*3117ece4Schristos designed to be included 1010*3117ece4Schristos for type-specific functions (template emulation in C) 1011*3117ece4Schristos Objective is to write these functions only once, for improved maintenance 1012*3117ece4Schristos */ 1013*3117ece4Schristos 1014*3117ece4Schristos /* safety checks */ 1015*3117ece4Schristos #ifndef FSE_FUNCTION_EXTENSION 1016*3117ece4Schristos # error "FSE_FUNCTION_EXTENSION must be defined" 1017*3117ece4Schristos #endif 1018*3117ece4Schristos #ifndef FSE_FUNCTION_TYPE 1019*3117ece4Schristos # error "FSE_FUNCTION_TYPE must be defined" 1020*3117ece4Schristos #endif 1021*3117ece4Schristos 1022*3117ece4Schristos /* Function names */ 1023*3117ece4Schristos #define FSE_CAT(X,Y) X##Y 1024*3117ece4Schristos #define FSE_FUNCTION_NAME(X,Y) FSE_CAT(X,Y) 1025*3117ece4Schristos #define FSE_TYPE_NAME(X,Y) FSE_CAT(X,Y) 1026*3117ece4Schristos 1027*3117ece4Schristos 1028*3117ece4Schristos /* Function templates */ 1029*3117ece4Schristos 1030*3117ece4Schristos #define FSE_DECODE_TYPE FSE_decode_t 1031*3117ece4Schristos 1032*3117ece4Schristos static U32 FSE_tableStep(U32 tableSize) { return (tableSize>>1) + (tableSize>>3) + 3; } 1033*3117ece4Schristos 1034*3117ece4Schristos static size_t FSE_buildDTable 1035*3117ece4Schristos (FSE_DTable* dt, const short* normalizedCounter, unsigned maxSymbolValue, unsigned tableLog) 1036*3117ece4Schristos { 1037*3117ece4Schristos void* ptr = dt+1; 1038*3117ece4Schristos FSE_DECODE_TYPE* const tableDecode = (FSE_DECODE_TYPE*)ptr; 1039*3117ece4Schristos FSE_DTableHeader DTableH; 1040*3117ece4Schristos const U32 tableSize = 1 << tableLog; 1041*3117ece4Schristos const U32 tableMask = tableSize-1; 1042*3117ece4Schristos const U32 step = FSE_tableStep(tableSize); 1043*3117ece4Schristos U16 symbolNext[FSE_MAX_SYMBOL_VALUE+1]; 1044*3117ece4Schristos U32 position = 0; 1045*3117ece4Schristos U32 highThreshold = tableSize-1; 1046*3117ece4Schristos const S16 largeLimit= (S16)(1 << (tableLog-1)); 1047*3117ece4Schristos U32 noLarge = 1; 1048*3117ece4Schristos U32 s; 1049*3117ece4Schristos 1050*3117ece4Schristos /* Sanity Checks */ 1051*3117ece4Schristos if (maxSymbolValue > FSE_MAX_SYMBOL_VALUE) return ERROR(maxSymbolValue_tooLarge); 1052*3117ece4Schristos if (tableLog > FSE_MAX_TABLELOG) return ERROR(tableLog_tooLarge); 1053*3117ece4Schristos 1054*3117ece4Schristos /* Init, lay down lowprob symbols */ 1055*3117ece4Schristos DTableH.tableLog = (U16)tableLog; 1056*3117ece4Schristos for (s=0; s<=maxSymbolValue; s++) 1057*3117ece4Schristos { 1058*3117ece4Schristos if (normalizedCounter[s]==-1) 1059*3117ece4Schristos { 1060*3117ece4Schristos tableDecode[highThreshold--].symbol = (FSE_FUNCTION_TYPE)s; 1061*3117ece4Schristos symbolNext[s] = 1; 1062*3117ece4Schristos } 1063*3117ece4Schristos else 1064*3117ece4Schristos { 1065*3117ece4Schristos if (normalizedCounter[s] >= largeLimit) noLarge=0; 1066*3117ece4Schristos symbolNext[s] = normalizedCounter[s]; 1067*3117ece4Schristos } 1068*3117ece4Schristos } 1069*3117ece4Schristos 1070*3117ece4Schristos /* Spread symbols */ 1071*3117ece4Schristos for (s=0; s<=maxSymbolValue; s++) 1072*3117ece4Schristos { 1073*3117ece4Schristos int i; 1074*3117ece4Schristos for (i=0; i<normalizedCounter[s]; i++) 1075*3117ece4Schristos { 1076*3117ece4Schristos tableDecode[position].symbol = (FSE_FUNCTION_TYPE)s; 1077*3117ece4Schristos position = (position + step) & tableMask; 1078*3117ece4Schristos while (position > highThreshold) position = (position + step) & tableMask; /* lowprob area */ 1079*3117ece4Schristos } 1080*3117ece4Schristos } 1081*3117ece4Schristos 1082*3117ece4Schristos if (position!=0) return ERROR(GENERIC); /* position must reach all cells once, otherwise normalizedCounter is incorrect */ 1083*3117ece4Schristos 1084*3117ece4Schristos /* Build Decoding table */ 1085*3117ece4Schristos { 1086*3117ece4Schristos U32 i; 1087*3117ece4Schristos for (i=0; i<tableSize; i++) 1088*3117ece4Schristos { 1089*3117ece4Schristos FSE_FUNCTION_TYPE symbol = (FSE_FUNCTION_TYPE)(tableDecode[i].symbol); 1090*3117ece4Schristos U16 nextState = symbolNext[symbol]++; 1091*3117ece4Schristos tableDecode[i].nbBits = (BYTE) (tableLog - BIT_highbit32 ((U32)nextState) ); 1092*3117ece4Schristos tableDecode[i].newState = (U16) ( (nextState << tableDecode[i].nbBits) - tableSize); 1093*3117ece4Schristos } 1094*3117ece4Schristos } 1095*3117ece4Schristos 1096*3117ece4Schristos DTableH.fastMode = (U16)noLarge; 1097*3117ece4Schristos memcpy(dt, &DTableH, sizeof(DTableH)); /* memcpy(), to avoid strict aliasing warnings */ 1098*3117ece4Schristos return 0; 1099*3117ece4Schristos } 1100*3117ece4Schristos 1101*3117ece4Schristos 1102*3117ece4Schristos #ifndef FSE_COMMONDEFS_ONLY 1103*3117ece4Schristos /****************************************** 1104*3117ece4Schristos * FSE helper functions 1105*3117ece4Schristos ******************************************/ 1106*3117ece4Schristos static unsigned FSE_isError(size_t code) { return ERR_isError(code); } 1107*3117ece4Schristos 1108*3117ece4Schristos 1109*3117ece4Schristos /**************************************************************** 1110*3117ece4Schristos * FSE NCount encoding-decoding 1111*3117ece4Schristos ****************************************************************/ 1112*3117ece4Schristos static short FSE_abs(short a) 1113*3117ece4Schristos { 1114*3117ece4Schristos return (short)(a<0 ? -a : a); 1115*3117ece4Schristos } 1116*3117ece4Schristos 1117*3117ece4Schristos static size_t FSE_readNCount (short* normalizedCounter, unsigned* maxSVPtr, unsigned* tableLogPtr, 1118*3117ece4Schristos const void* headerBuffer, size_t hbSize) 1119*3117ece4Schristos { 1120*3117ece4Schristos const BYTE* const istart = (const BYTE*) headerBuffer; 1121*3117ece4Schristos const BYTE* const iend = istart + hbSize; 1122*3117ece4Schristos const BYTE* ip = istart; 1123*3117ece4Schristos int nbBits; 1124*3117ece4Schristos int remaining; 1125*3117ece4Schristos int threshold; 1126*3117ece4Schristos U32 bitStream; 1127*3117ece4Schristos int bitCount; 1128*3117ece4Schristos unsigned charnum = 0; 1129*3117ece4Schristos int previous0 = 0; 1130*3117ece4Schristos 1131*3117ece4Schristos if (hbSize < 4) return ERROR(srcSize_wrong); 1132*3117ece4Schristos bitStream = MEM_readLE32(ip); 1133*3117ece4Schristos nbBits = (bitStream & 0xF) + FSE_MIN_TABLELOG; /* extract tableLog */ 1134*3117ece4Schristos if (nbBits > FSE_TABLELOG_ABSOLUTE_MAX) return ERROR(tableLog_tooLarge); 1135*3117ece4Schristos bitStream >>= 4; 1136*3117ece4Schristos bitCount = 4; 1137*3117ece4Schristos *tableLogPtr = nbBits; 1138*3117ece4Schristos remaining = (1<<nbBits)+1; 1139*3117ece4Schristos threshold = 1<<nbBits; 1140*3117ece4Schristos nbBits++; 1141*3117ece4Schristos 1142*3117ece4Schristos while ((remaining>1) && (charnum<=*maxSVPtr)) 1143*3117ece4Schristos { 1144*3117ece4Schristos if (previous0) 1145*3117ece4Schristos { 1146*3117ece4Schristos unsigned n0 = charnum; 1147*3117ece4Schristos while ((bitStream & 0xFFFF) == 0xFFFF) 1148*3117ece4Schristos { 1149*3117ece4Schristos n0+=24; 1150*3117ece4Schristos if (ip < iend-5) 1151*3117ece4Schristos { 1152*3117ece4Schristos ip+=2; 1153*3117ece4Schristos bitStream = MEM_readLE32(ip) >> bitCount; 1154*3117ece4Schristos } 1155*3117ece4Schristos else 1156*3117ece4Schristos { 1157*3117ece4Schristos bitStream >>= 16; 1158*3117ece4Schristos bitCount+=16; 1159*3117ece4Schristos } 1160*3117ece4Schristos } 1161*3117ece4Schristos while ((bitStream & 3) == 3) 1162*3117ece4Schristos { 1163*3117ece4Schristos n0+=3; 1164*3117ece4Schristos bitStream>>=2; 1165*3117ece4Schristos bitCount+=2; 1166*3117ece4Schristos } 1167*3117ece4Schristos n0 += bitStream & 3; 1168*3117ece4Schristos bitCount += 2; 1169*3117ece4Schristos if (n0 > *maxSVPtr) return ERROR(maxSymbolValue_tooSmall); 1170*3117ece4Schristos while (charnum < n0) normalizedCounter[charnum++] = 0; 1171*3117ece4Schristos if ((ip <= iend-7) || (ip + (bitCount>>3) <= iend-4)) 1172*3117ece4Schristos { 1173*3117ece4Schristos ip += bitCount>>3; 1174*3117ece4Schristos bitCount &= 7; 1175*3117ece4Schristos bitStream = MEM_readLE32(ip) >> bitCount; 1176*3117ece4Schristos } 1177*3117ece4Schristos else 1178*3117ece4Schristos bitStream >>= 2; 1179*3117ece4Schristos } 1180*3117ece4Schristos { 1181*3117ece4Schristos const short max = (short)((2*threshold-1)-remaining); 1182*3117ece4Schristos short count; 1183*3117ece4Schristos 1184*3117ece4Schristos if ((bitStream & (threshold-1)) < (U32)max) 1185*3117ece4Schristos { 1186*3117ece4Schristos count = (short)(bitStream & (threshold-1)); 1187*3117ece4Schristos bitCount += nbBits-1; 1188*3117ece4Schristos } 1189*3117ece4Schristos else 1190*3117ece4Schristos { 1191*3117ece4Schristos count = (short)(bitStream & (2*threshold-1)); 1192*3117ece4Schristos if (count >= threshold) count -= max; 1193*3117ece4Schristos bitCount += nbBits; 1194*3117ece4Schristos } 1195*3117ece4Schristos 1196*3117ece4Schristos count--; /* extra accuracy */ 1197*3117ece4Schristos remaining -= FSE_abs(count); 1198*3117ece4Schristos normalizedCounter[charnum++] = count; 1199*3117ece4Schristos previous0 = !count; 1200*3117ece4Schristos while (remaining < threshold) 1201*3117ece4Schristos { 1202*3117ece4Schristos nbBits--; 1203*3117ece4Schristos threshold >>= 1; 1204*3117ece4Schristos } 1205*3117ece4Schristos 1206*3117ece4Schristos { 1207*3117ece4Schristos if ((ip <= iend-7) || (ip + (bitCount>>3) <= iend-4)) 1208*3117ece4Schristos { 1209*3117ece4Schristos ip += bitCount>>3; 1210*3117ece4Schristos bitCount &= 7; 1211*3117ece4Schristos } 1212*3117ece4Schristos else 1213*3117ece4Schristos { 1214*3117ece4Schristos bitCount -= (int)(8 * (iend - 4 - ip)); 1215*3117ece4Schristos ip = iend - 4; 1216*3117ece4Schristos } 1217*3117ece4Schristos bitStream = MEM_readLE32(ip) >> (bitCount & 31); 1218*3117ece4Schristos } 1219*3117ece4Schristos } 1220*3117ece4Schristos } 1221*3117ece4Schristos if (remaining != 1) return ERROR(GENERIC); 1222*3117ece4Schristos *maxSVPtr = charnum-1; 1223*3117ece4Schristos 1224*3117ece4Schristos ip += (bitCount+7)>>3; 1225*3117ece4Schristos if ((size_t)(ip-istart) > hbSize) return ERROR(srcSize_wrong); 1226*3117ece4Schristos return ip-istart; 1227*3117ece4Schristos } 1228*3117ece4Schristos 1229*3117ece4Schristos 1230*3117ece4Schristos /********************************************************* 1231*3117ece4Schristos * Decompression (Byte symbols) 1232*3117ece4Schristos *********************************************************/ 1233*3117ece4Schristos static size_t FSE_buildDTable_rle (FSE_DTable* dt, BYTE symbolValue) 1234*3117ece4Schristos { 1235*3117ece4Schristos void* ptr = dt; 1236*3117ece4Schristos FSE_DTableHeader* const DTableH = (FSE_DTableHeader*)ptr; 1237*3117ece4Schristos FSE_decode_t* const cell = (FSE_decode_t*)(ptr) + 1; /* because dt is unsigned */ 1238*3117ece4Schristos 1239*3117ece4Schristos DTableH->tableLog = 0; 1240*3117ece4Schristos DTableH->fastMode = 0; 1241*3117ece4Schristos 1242*3117ece4Schristos cell->newState = 0; 1243*3117ece4Schristos cell->symbol = symbolValue; 1244*3117ece4Schristos cell->nbBits = 0; 1245*3117ece4Schristos 1246*3117ece4Schristos return 0; 1247*3117ece4Schristos } 1248*3117ece4Schristos 1249*3117ece4Schristos 1250*3117ece4Schristos static size_t FSE_buildDTable_raw (FSE_DTable* dt, unsigned nbBits) 1251*3117ece4Schristos { 1252*3117ece4Schristos void* ptr = dt; 1253*3117ece4Schristos FSE_DTableHeader* const DTableH = (FSE_DTableHeader*)ptr; 1254*3117ece4Schristos FSE_decode_t* const dinfo = (FSE_decode_t*)(ptr) + 1; /* because dt is unsigned */ 1255*3117ece4Schristos const unsigned tableSize = 1 << nbBits; 1256*3117ece4Schristos const unsigned tableMask = tableSize - 1; 1257*3117ece4Schristos const unsigned maxSymbolValue = tableMask; 1258*3117ece4Schristos unsigned s; 1259*3117ece4Schristos 1260*3117ece4Schristos /* Sanity checks */ 1261*3117ece4Schristos if (nbBits < 1) return ERROR(GENERIC); /* min size */ 1262*3117ece4Schristos 1263*3117ece4Schristos /* Build Decoding Table */ 1264*3117ece4Schristos DTableH->tableLog = (U16)nbBits; 1265*3117ece4Schristos DTableH->fastMode = 1; 1266*3117ece4Schristos for (s=0; s<=maxSymbolValue; s++) 1267*3117ece4Schristos { 1268*3117ece4Schristos dinfo[s].newState = 0; 1269*3117ece4Schristos dinfo[s].symbol = (BYTE)s; 1270*3117ece4Schristos dinfo[s].nbBits = (BYTE)nbBits; 1271*3117ece4Schristos } 1272*3117ece4Schristos 1273*3117ece4Schristos return 0; 1274*3117ece4Schristos } 1275*3117ece4Schristos 1276*3117ece4Schristos FORCE_INLINE size_t FSE_decompress_usingDTable_generic( 1277*3117ece4Schristos void* dst, size_t maxDstSize, 1278*3117ece4Schristos const void* cSrc, size_t cSrcSize, 1279*3117ece4Schristos const FSE_DTable* dt, const unsigned fast) 1280*3117ece4Schristos { 1281*3117ece4Schristos BYTE* const ostart = (BYTE*) dst; 1282*3117ece4Schristos BYTE* op = ostart; 1283*3117ece4Schristos BYTE* const omax = op + maxDstSize; 1284*3117ece4Schristos BYTE* const olimit = omax-3; 1285*3117ece4Schristos 1286*3117ece4Schristos BIT_DStream_t bitD; 1287*3117ece4Schristos FSE_DState_t state1; 1288*3117ece4Schristos FSE_DState_t state2; 1289*3117ece4Schristos size_t errorCode; 1290*3117ece4Schristos 1291*3117ece4Schristos /* Init */ 1292*3117ece4Schristos errorCode = BIT_initDStream(&bitD, cSrc, cSrcSize); /* replaced last arg by maxCompressed Size */ 1293*3117ece4Schristos if (FSE_isError(errorCode)) return errorCode; 1294*3117ece4Schristos 1295*3117ece4Schristos FSE_initDState(&state1, &bitD, dt); 1296*3117ece4Schristos FSE_initDState(&state2, &bitD, dt); 1297*3117ece4Schristos 1298*3117ece4Schristos #define FSE_GETSYMBOL(statePtr) fast ? FSE_decodeSymbolFast(statePtr, &bitD) : FSE_decodeSymbol(statePtr, &bitD) 1299*3117ece4Schristos 1300*3117ece4Schristos /* 4 symbols per loop */ 1301*3117ece4Schristos for ( ; (BIT_reloadDStream(&bitD)==BIT_DStream_unfinished) && (op<olimit) ; op+=4) 1302*3117ece4Schristos { 1303*3117ece4Schristos op[0] = FSE_GETSYMBOL(&state1); 1304*3117ece4Schristos 1305*3117ece4Schristos if (FSE_MAX_TABLELOG*2+7 > sizeof(bitD.bitContainer)*8) /* This test must be static */ 1306*3117ece4Schristos BIT_reloadDStream(&bitD); 1307*3117ece4Schristos 1308*3117ece4Schristos op[1] = FSE_GETSYMBOL(&state2); 1309*3117ece4Schristos 1310*3117ece4Schristos if (FSE_MAX_TABLELOG*4+7 > sizeof(bitD.bitContainer)*8) /* This test must be static */ 1311*3117ece4Schristos { if (BIT_reloadDStream(&bitD) > BIT_DStream_unfinished) { op+=2; break; } } 1312*3117ece4Schristos 1313*3117ece4Schristos op[2] = FSE_GETSYMBOL(&state1); 1314*3117ece4Schristos 1315*3117ece4Schristos if (FSE_MAX_TABLELOG*2+7 > sizeof(bitD.bitContainer)*8) /* This test must be static */ 1316*3117ece4Schristos BIT_reloadDStream(&bitD); 1317*3117ece4Schristos 1318*3117ece4Schristos op[3] = FSE_GETSYMBOL(&state2); 1319*3117ece4Schristos } 1320*3117ece4Schristos 1321*3117ece4Schristos /* tail */ 1322*3117ece4Schristos /* note : BIT_reloadDStream(&bitD) >= FSE_DStream_partiallyFilled; Ends at exactly BIT_DStream_completed */ 1323*3117ece4Schristos while (1) 1324*3117ece4Schristos { 1325*3117ece4Schristos if ( (BIT_reloadDStream(&bitD)>BIT_DStream_completed) || (op==omax) || (BIT_endOfDStream(&bitD) && (fast || FSE_endOfDState(&state1))) ) 1326*3117ece4Schristos break; 1327*3117ece4Schristos 1328*3117ece4Schristos *op++ = FSE_GETSYMBOL(&state1); 1329*3117ece4Schristos 1330*3117ece4Schristos if ( (BIT_reloadDStream(&bitD)>BIT_DStream_completed) || (op==omax) || (BIT_endOfDStream(&bitD) && (fast || FSE_endOfDState(&state2))) ) 1331*3117ece4Schristos break; 1332*3117ece4Schristos 1333*3117ece4Schristos *op++ = FSE_GETSYMBOL(&state2); 1334*3117ece4Schristos } 1335*3117ece4Schristos 1336*3117ece4Schristos /* end ? */ 1337*3117ece4Schristos if (BIT_endOfDStream(&bitD) && FSE_endOfDState(&state1) && FSE_endOfDState(&state2)) 1338*3117ece4Schristos return op-ostart; 1339*3117ece4Schristos 1340*3117ece4Schristos if (op==omax) return ERROR(dstSize_tooSmall); /* dst buffer is full, but cSrc unfinished */ 1341*3117ece4Schristos 1342*3117ece4Schristos return ERROR(corruption_detected); 1343*3117ece4Schristos } 1344*3117ece4Schristos 1345*3117ece4Schristos 1346*3117ece4Schristos static size_t FSE_decompress_usingDTable(void* dst, size_t originalSize, 1347*3117ece4Schristos const void* cSrc, size_t cSrcSize, 1348*3117ece4Schristos const FSE_DTable* dt) 1349*3117ece4Schristos { 1350*3117ece4Schristos FSE_DTableHeader DTableH; 1351*3117ece4Schristos memcpy(&DTableH, dt, sizeof(DTableH)); 1352*3117ece4Schristos 1353*3117ece4Schristos /* select fast mode (static) */ 1354*3117ece4Schristos if (DTableH.fastMode) return FSE_decompress_usingDTable_generic(dst, originalSize, cSrc, cSrcSize, dt, 1); 1355*3117ece4Schristos return FSE_decompress_usingDTable_generic(dst, originalSize, cSrc, cSrcSize, dt, 0); 1356*3117ece4Schristos } 1357*3117ece4Schristos 1358*3117ece4Schristos 1359*3117ece4Schristos static size_t FSE_decompress(void* dst, size_t maxDstSize, const void* cSrc, size_t cSrcSize) 1360*3117ece4Schristos { 1361*3117ece4Schristos const BYTE* const istart = (const BYTE*)cSrc; 1362*3117ece4Schristos const BYTE* ip = istart; 1363*3117ece4Schristos short counting[FSE_MAX_SYMBOL_VALUE+1]; 1364*3117ece4Schristos DTable_max_t dt; /* Static analyzer seems unable to understand this table will be properly initialized later */ 1365*3117ece4Schristos unsigned tableLog; 1366*3117ece4Schristos unsigned maxSymbolValue = FSE_MAX_SYMBOL_VALUE; 1367*3117ece4Schristos size_t errorCode; 1368*3117ece4Schristos 1369*3117ece4Schristos if (cSrcSize<2) return ERROR(srcSize_wrong); /* too small input size */ 1370*3117ece4Schristos 1371*3117ece4Schristos /* normal FSE decoding mode */ 1372*3117ece4Schristos errorCode = FSE_readNCount (counting, &maxSymbolValue, &tableLog, istart, cSrcSize); 1373*3117ece4Schristos if (FSE_isError(errorCode)) return errorCode; 1374*3117ece4Schristos if (errorCode >= cSrcSize) return ERROR(srcSize_wrong); /* too small input size */ 1375*3117ece4Schristos ip += errorCode; 1376*3117ece4Schristos cSrcSize -= errorCode; 1377*3117ece4Schristos 1378*3117ece4Schristos errorCode = FSE_buildDTable (dt, counting, maxSymbolValue, tableLog); 1379*3117ece4Schristos if (FSE_isError(errorCode)) return errorCode; 1380*3117ece4Schristos 1381*3117ece4Schristos /* always return, even if it is an error code */ 1382*3117ece4Schristos return FSE_decompress_usingDTable (dst, maxDstSize, ip, cSrcSize, dt); 1383*3117ece4Schristos } 1384*3117ece4Schristos 1385*3117ece4Schristos 1386*3117ece4Schristos 1387*3117ece4Schristos #endif /* FSE_COMMONDEFS_ONLY */ 1388*3117ece4Schristos /* ****************************************************************** 1389*3117ece4Schristos Huff0 : Huffman coder, part of New Generation Entropy library 1390*3117ece4Schristos Copyright (C) 2013-2015, Yann Collet. 1391*3117ece4Schristos 1392*3117ece4Schristos BSD 2-Clause License (https://opensource.org/licenses/bsd-license.php) 1393*3117ece4Schristos 1394*3117ece4Schristos Redistribution and use in source and binary forms, with or without 1395*3117ece4Schristos modification, are permitted provided that the following conditions are 1396*3117ece4Schristos met: 1397*3117ece4Schristos 1398*3117ece4Schristos * Redistributions of source code must retain the above copyright 1399*3117ece4Schristos notice, this list of conditions and the following disclaimer. 1400*3117ece4Schristos * Redistributions in binary form must reproduce the above 1401*3117ece4Schristos copyright notice, this list of conditions and the following disclaimer 1402*3117ece4Schristos in the documentation and/or other materials provided with the 1403*3117ece4Schristos distribution. 1404*3117ece4Schristos 1405*3117ece4Schristos THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 1406*3117ece4Schristos "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 1407*3117ece4Schristos LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 1408*3117ece4Schristos A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 1409*3117ece4Schristos OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 1410*3117ece4Schristos SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 1411*3117ece4Schristos LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 1412*3117ece4Schristos DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 1413*3117ece4Schristos THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 1414*3117ece4Schristos (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 1415*3117ece4Schristos OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 1416*3117ece4Schristos 1417*3117ece4Schristos You can contact the author at : 1418*3117ece4Schristos - FSE+Huff0 source repository : https://github.com/Cyan4973/FiniteStateEntropy 1419*3117ece4Schristos - Public forum : https://groups.google.com/forum/#!forum/lz4c 1420*3117ece4Schristos ****************************************************************** */ 1421*3117ece4Schristos 1422*3117ece4Schristos /**************************************************************** 1423*3117ece4Schristos * Compiler specifics 1424*3117ece4Schristos ****************************************************************/ 1425*3117ece4Schristos #if defined (__cplusplus) || (defined (__STDC_VERSION__) && (__STDC_VERSION__ >= 199901L) /* C99 */) 1426*3117ece4Schristos /* inline is defined */ 1427*3117ece4Schristos #elif defined(_MSC_VER) 1428*3117ece4Schristos # define inline __inline 1429*3117ece4Schristos #else 1430*3117ece4Schristos # define inline /* disable inline */ 1431*3117ece4Schristos #endif 1432*3117ece4Schristos 1433*3117ece4Schristos 1434*3117ece4Schristos #ifdef _MSC_VER /* Visual Studio */ 1435*3117ece4Schristos # pragma warning(disable : 4127) /* disable: C4127: conditional expression is constant */ 1436*3117ece4Schristos #endif 1437*3117ece4Schristos 1438*3117ece4Schristos 1439*3117ece4Schristos /**************************************************************** 1440*3117ece4Schristos * Includes 1441*3117ece4Schristos ****************************************************************/ 1442*3117ece4Schristos #include <stdlib.h> /* malloc, free, qsort */ 1443*3117ece4Schristos #include <string.h> /* memcpy, memset */ 1444*3117ece4Schristos #include <stdio.h> /* printf (debug) */ 1445*3117ece4Schristos 1446*3117ece4Schristos /**************************************************************** 1447*3117ece4Schristos * Error Management 1448*3117ece4Schristos ****************************************************************/ 1449*3117ece4Schristos #define HUF_STATIC_ASSERT(c) { enum { HUF_static_assert = 1/(int)(!!(c)) }; } /* use only *after* variable declarations */ 1450*3117ece4Schristos 1451*3117ece4Schristos 1452*3117ece4Schristos /****************************************** 1453*3117ece4Schristos * Helper functions 1454*3117ece4Schristos ******************************************/ 1455*3117ece4Schristos static unsigned HUF_isError(size_t code) { return ERR_isError(code); } 1456*3117ece4Schristos 1457*3117ece4Schristos #define HUF_ABSOLUTEMAX_TABLELOG 16 /* absolute limit of HUF_MAX_TABLELOG. Beyond that value, code does not work */ 1458*3117ece4Schristos #define HUF_MAX_TABLELOG 12 /* max configured tableLog (for static allocation); can be modified up to HUF_ABSOLUTEMAX_TABLELOG */ 1459*3117ece4Schristos #define HUF_DEFAULT_TABLELOG HUF_MAX_TABLELOG /* tableLog by default, when not specified */ 1460*3117ece4Schristos #define HUF_MAX_SYMBOL_VALUE 255 1461*3117ece4Schristos #if (HUF_MAX_TABLELOG > HUF_ABSOLUTEMAX_TABLELOG) 1462*3117ece4Schristos # error "HUF_MAX_TABLELOG is too large !" 1463*3117ece4Schristos #endif 1464*3117ece4Schristos 1465*3117ece4Schristos 1466*3117ece4Schristos 1467*3117ece4Schristos /********************************************************* 1468*3117ece4Schristos * Huff0 : Huffman block decompression 1469*3117ece4Schristos *********************************************************/ 1470*3117ece4Schristos typedef struct { BYTE byte; BYTE nbBits; } HUF_DEltX2; /* single-symbol decoding */ 1471*3117ece4Schristos 1472*3117ece4Schristos typedef struct { U16 sequence; BYTE nbBits; BYTE length; } HUF_DEltX4; /* double-symbols decoding */ 1473*3117ece4Schristos 1474*3117ece4Schristos typedef struct { BYTE symbol; BYTE weight; } sortedSymbol_t; 1475*3117ece4Schristos 1476*3117ece4Schristos /*! HUF_readStats 1477*3117ece4Schristos Read compact Huffman tree, saved by HUF_writeCTable 1478*3117ece4Schristos @huffWeight : destination buffer 1479*3117ece4Schristos @return : size read from `src` 1480*3117ece4Schristos */ 1481*3117ece4Schristos static size_t HUF_readStats(BYTE* huffWeight, size_t hwSize, U32* rankStats, 1482*3117ece4Schristos U32* nbSymbolsPtr, U32* tableLogPtr, 1483*3117ece4Schristos const void* src, size_t srcSize) 1484*3117ece4Schristos { 1485*3117ece4Schristos U32 weightTotal; 1486*3117ece4Schristos U32 tableLog; 1487*3117ece4Schristos const BYTE* ip = (const BYTE*) src; 1488*3117ece4Schristos size_t iSize; 1489*3117ece4Schristos size_t oSize; 1490*3117ece4Schristos U32 n; 1491*3117ece4Schristos 1492*3117ece4Schristos if (!srcSize) return ERROR(srcSize_wrong); 1493*3117ece4Schristos iSize = ip[0]; 1494*3117ece4Schristos //memset(huffWeight, 0, hwSize); /* is not necessary, even though some analyzer complain ... */ 1495*3117ece4Schristos 1496*3117ece4Schristos if (iSize >= 128) /* special header */ 1497*3117ece4Schristos { 1498*3117ece4Schristos if (iSize >= (242)) /* RLE */ 1499*3117ece4Schristos { 1500*3117ece4Schristos static int l[14] = { 1, 2, 3, 4, 7, 8, 15, 16, 31, 32, 63, 64, 127, 128 }; 1501*3117ece4Schristos oSize = l[iSize-242]; 1502*3117ece4Schristos memset(huffWeight, 1, hwSize); 1503*3117ece4Schristos iSize = 0; 1504*3117ece4Schristos } 1505*3117ece4Schristos else /* Incompressible */ 1506*3117ece4Schristos { 1507*3117ece4Schristos oSize = iSize - 127; 1508*3117ece4Schristos iSize = ((oSize+1)/2); 1509*3117ece4Schristos if (iSize+1 > srcSize) return ERROR(srcSize_wrong); 1510*3117ece4Schristos if (oSize >= hwSize) return ERROR(corruption_detected); 1511*3117ece4Schristos ip += 1; 1512*3117ece4Schristos for (n=0; n<oSize; n+=2) 1513*3117ece4Schristos { 1514*3117ece4Schristos huffWeight[n] = ip[n/2] >> 4; 1515*3117ece4Schristos huffWeight[n+1] = ip[n/2] & 15; 1516*3117ece4Schristos } 1517*3117ece4Schristos } 1518*3117ece4Schristos } 1519*3117ece4Schristos else /* header compressed with FSE (normal case) */ 1520*3117ece4Schristos { 1521*3117ece4Schristos if (iSize+1 > srcSize) return ERROR(srcSize_wrong); 1522*3117ece4Schristos oSize = FSE_decompress(huffWeight, hwSize-1, ip+1, iSize); /* max (hwSize-1) values decoded, as last one is implied */ 1523*3117ece4Schristos if (FSE_isError(oSize)) return oSize; 1524*3117ece4Schristos } 1525*3117ece4Schristos 1526*3117ece4Schristos /* collect weight stats */ 1527*3117ece4Schristos memset(rankStats, 0, (HUF_ABSOLUTEMAX_TABLELOG + 1) * sizeof(U32)); 1528*3117ece4Schristos weightTotal = 0; 1529*3117ece4Schristos for (n=0; n<oSize; n++) 1530*3117ece4Schristos { 1531*3117ece4Schristos if (huffWeight[n] >= HUF_ABSOLUTEMAX_TABLELOG) return ERROR(corruption_detected); 1532*3117ece4Schristos rankStats[huffWeight[n]]++; 1533*3117ece4Schristos weightTotal += (1 << huffWeight[n]) >> 1; 1534*3117ece4Schristos } 1535*3117ece4Schristos if (weightTotal == 0) return ERROR(corruption_detected); 1536*3117ece4Schristos 1537*3117ece4Schristos /* get last non-null symbol weight (implied, total must be 2^n) */ 1538*3117ece4Schristos tableLog = BIT_highbit32(weightTotal) + 1; 1539*3117ece4Schristos if (tableLog > HUF_ABSOLUTEMAX_TABLELOG) return ERROR(corruption_detected); 1540*3117ece4Schristos { 1541*3117ece4Schristos U32 total = 1 << tableLog; 1542*3117ece4Schristos U32 rest = total - weightTotal; 1543*3117ece4Schristos U32 verif = 1 << BIT_highbit32(rest); 1544*3117ece4Schristos U32 lastWeight = BIT_highbit32(rest) + 1; 1545*3117ece4Schristos if (verif != rest) return ERROR(corruption_detected); /* last value must be a clean power of 2 */ 1546*3117ece4Schristos huffWeight[oSize] = (BYTE)lastWeight; 1547*3117ece4Schristos rankStats[lastWeight]++; 1548*3117ece4Schristos } 1549*3117ece4Schristos 1550*3117ece4Schristos /* check tree construction validity */ 1551*3117ece4Schristos if ((rankStats[1] < 2) || (rankStats[1] & 1)) return ERROR(corruption_detected); /* by construction : at least 2 elts of rank 1, must be even */ 1552*3117ece4Schristos 1553*3117ece4Schristos /* results */ 1554*3117ece4Schristos *nbSymbolsPtr = (U32)(oSize+1); 1555*3117ece4Schristos *tableLogPtr = tableLog; 1556*3117ece4Schristos return iSize+1; 1557*3117ece4Schristos } 1558*3117ece4Schristos 1559*3117ece4Schristos 1560*3117ece4Schristos /**************************/ 1561*3117ece4Schristos /* single-symbol decoding */ 1562*3117ece4Schristos /**************************/ 1563*3117ece4Schristos 1564*3117ece4Schristos static size_t HUF_readDTableX2 (U16* DTable, const void* src, size_t srcSize) 1565*3117ece4Schristos { 1566*3117ece4Schristos BYTE huffWeight[HUF_MAX_SYMBOL_VALUE + 1]; 1567*3117ece4Schristos U32 rankVal[HUF_ABSOLUTEMAX_TABLELOG + 1]; /* large enough for values from 0 to 16 */ 1568*3117ece4Schristos U32 tableLog = 0; 1569*3117ece4Schristos const BYTE* ip = (const BYTE*) src; 1570*3117ece4Schristos size_t iSize = ip[0]; 1571*3117ece4Schristos U32 nbSymbols = 0; 1572*3117ece4Schristos U32 n; 1573*3117ece4Schristos U32 nextRankStart; 1574*3117ece4Schristos void* ptr = DTable+1; 1575*3117ece4Schristos HUF_DEltX2* const dt = (HUF_DEltX2*)ptr; 1576*3117ece4Schristos 1577*3117ece4Schristos HUF_STATIC_ASSERT(sizeof(HUF_DEltX2) == sizeof(U16)); /* if compilation fails here, assertion is false */ 1578*3117ece4Schristos //memset(huffWeight, 0, sizeof(huffWeight)); /* is not necessary, even though some analyzer complain ... */ 1579*3117ece4Schristos 1580*3117ece4Schristos iSize = HUF_readStats(huffWeight, HUF_MAX_SYMBOL_VALUE + 1, rankVal, &nbSymbols, &tableLog, src, srcSize); 1581*3117ece4Schristos if (HUF_isError(iSize)) return iSize; 1582*3117ece4Schristos 1583*3117ece4Schristos /* check result */ 1584*3117ece4Schristos if (tableLog > DTable[0]) return ERROR(tableLog_tooLarge); /* DTable is too small */ 1585*3117ece4Schristos DTable[0] = (U16)tableLog; /* maybe should separate sizeof DTable, as allocated, from used size of DTable, in case of DTable re-use */ 1586*3117ece4Schristos 1587*3117ece4Schristos /* Prepare ranks */ 1588*3117ece4Schristos nextRankStart = 0; 1589*3117ece4Schristos for (n=1; n<=tableLog; n++) 1590*3117ece4Schristos { 1591*3117ece4Schristos U32 current = nextRankStart; 1592*3117ece4Schristos nextRankStart += (rankVal[n] << (n-1)); 1593*3117ece4Schristos rankVal[n] = current; 1594*3117ece4Schristos } 1595*3117ece4Schristos 1596*3117ece4Schristos /* fill DTable */ 1597*3117ece4Schristos for (n=0; n<nbSymbols; n++) 1598*3117ece4Schristos { 1599*3117ece4Schristos const U32 w = huffWeight[n]; 1600*3117ece4Schristos const U32 length = (1 << w) >> 1; 1601*3117ece4Schristos U32 i; 1602*3117ece4Schristos HUF_DEltX2 D; 1603*3117ece4Schristos D.byte = (BYTE)n; D.nbBits = (BYTE)(tableLog + 1 - w); 1604*3117ece4Schristos for (i = rankVal[w]; i < rankVal[w] + length; i++) 1605*3117ece4Schristos dt[i] = D; 1606*3117ece4Schristos rankVal[w] += length; 1607*3117ece4Schristos } 1608*3117ece4Schristos 1609*3117ece4Schristos return iSize; 1610*3117ece4Schristos } 1611*3117ece4Schristos 1612*3117ece4Schristos static BYTE HUF_decodeSymbolX2(BIT_DStream_t* Dstream, const HUF_DEltX2* dt, const U32 dtLog) 1613*3117ece4Schristos { 1614*3117ece4Schristos const size_t val = BIT_lookBitsFast(Dstream, dtLog); /* note : dtLog >= 1 */ 1615*3117ece4Schristos const BYTE c = dt[val].byte; 1616*3117ece4Schristos BIT_skipBits(Dstream, dt[val].nbBits); 1617*3117ece4Schristos return c; 1618*3117ece4Schristos } 1619*3117ece4Schristos 1620*3117ece4Schristos #define HUF_DECODE_SYMBOLX2_0(ptr, DStreamPtr) \ 1621*3117ece4Schristos *ptr++ = HUF_decodeSymbolX2(DStreamPtr, dt, dtLog) 1622*3117ece4Schristos 1623*3117ece4Schristos #define HUF_DECODE_SYMBOLX2_1(ptr, DStreamPtr) \ 1624*3117ece4Schristos if (MEM_64bits() || (HUF_MAX_TABLELOG<=12)) \ 1625*3117ece4Schristos HUF_DECODE_SYMBOLX2_0(ptr, DStreamPtr) 1626*3117ece4Schristos 1627*3117ece4Schristos #define HUF_DECODE_SYMBOLX2_2(ptr, DStreamPtr) \ 1628*3117ece4Schristos if (MEM_64bits()) \ 1629*3117ece4Schristos HUF_DECODE_SYMBOLX2_0(ptr, DStreamPtr) 1630*3117ece4Schristos 1631*3117ece4Schristos static inline size_t HUF_decodeStreamX2(BYTE* p, BIT_DStream_t* const bitDPtr, BYTE* const pEnd, const HUF_DEltX2* const dt, const U32 dtLog) 1632*3117ece4Schristos { 1633*3117ece4Schristos BYTE* const pStart = p; 1634*3117ece4Schristos 1635*3117ece4Schristos /* up to 4 symbols at a time */ 1636*3117ece4Schristos while ((BIT_reloadDStream(bitDPtr) == BIT_DStream_unfinished) && (p <= pEnd-4)) 1637*3117ece4Schristos { 1638*3117ece4Schristos HUF_DECODE_SYMBOLX2_2(p, bitDPtr); 1639*3117ece4Schristos HUF_DECODE_SYMBOLX2_1(p, bitDPtr); 1640*3117ece4Schristos HUF_DECODE_SYMBOLX2_2(p, bitDPtr); 1641*3117ece4Schristos HUF_DECODE_SYMBOLX2_0(p, bitDPtr); 1642*3117ece4Schristos } 1643*3117ece4Schristos 1644*3117ece4Schristos /* closer to the end */ 1645*3117ece4Schristos while ((BIT_reloadDStream(bitDPtr) == BIT_DStream_unfinished) && (p < pEnd)) 1646*3117ece4Schristos HUF_DECODE_SYMBOLX2_0(p, bitDPtr); 1647*3117ece4Schristos 1648*3117ece4Schristos /* no more data to retrieve from bitstream, hence no need to reload */ 1649*3117ece4Schristos while (p < pEnd) 1650*3117ece4Schristos HUF_DECODE_SYMBOLX2_0(p, bitDPtr); 1651*3117ece4Schristos 1652*3117ece4Schristos return pEnd-pStart; 1653*3117ece4Schristos } 1654*3117ece4Schristos 1655*3117ece4Schristos 1656*3117ece4Schristos static size_t HUF_decompress4X2_usingDTable( 1657*3117ece4Schristos void* dst, size_t dstSize, 1658*3117ece4Schristos const void* cSrc, size_t cSrcSize, 1659*3117ece4Schristos const U16* DTable) 1660*3117ece4Schristos { 1661*3117ece4Schristos if (cSrcSize < 10) return ERROR(corruption_detected); /* strict minimum : jump table + 1 byte per stream */ 1662*3117ece4Schristos 1663*3117ece4Schristos { 1664*3117ece4Schristos const BYTE* const istart = (const BYTE*) cSrc; 1665*3117ece4Schristos BYTE* const ostart = (BYTE*) dst; 1666*3117ece4Schristos BYTE* const oend = ostart + dstSize; 1667*3117ece4Schristos 1668*3117ece4Schristos const void* ptr = DTable; 1669*3117ece4Schristos const HUF_DEltX2* const dt = ((const HUF_DEltX2*)ptr) +1; 1670*3117ece4Schristos const U32 dtLog = DTable[0]; 1671*3117ece4Schristos size_t errorCode; 1672*3117ece4Schristos 1673*3117ece4Schristos /* Init */ 1674*3117ece4Schristos BIT_DStream_t bitD1; 1675*3117ece4Schristos BIT_DStream_t bitD2; 1676*3117ece4Schristos BIT_DStream_t bitD3; 1677*3117ece4Schristos BIT_DStream_t bitD4; 1678*3117ece4Schristos const size_t length1 = MEM_readLE16(istart); 1679*3117ece4Schristos const size_t length2 = MEM_readLE16(istart+2); 1680*3117ece4Schristos const size_t length3 = MEM_readLE16(istart+4); 1681*3117ece4Schristos size_t length4; 1682*3117ece4Schristos const BYTE* const istart1 = istart + 6; /* jumpTable */ 1683*3117ece4Schristos const BYTE* const istart2 = istart1 + length1; 1684*3117ece4Schristos const BYTE* const istart3 = istart2 + length2; 1685*3117ece4Schristos const BYTE* const istart4 = istart3 + length3; 1686*3117ece4Schristos const size_t segmentSize = (dstSize+3) / 4; 1687*3117ece4Schristos BYTE* const opStart2 = ostart + segmentSize; 1688*3117ece4Schristos BYTE* const opStart3 = opStart2 + segmentSize; 1689*3117ece4Schristos BYTE* const opStart4 = opStart3 + segmentSize; 1690*3117ece4Schristos BYTE* op1 = ostart; 1691*3117ece4Schristos BYTE* op2 = opStart2; 1692*3117ece4Schristos BYTE* op3 = opStart3; 1693*3117ece4Schristos BYTE* op4 = opStart4; 1694*3117ece4Schristos U32 endSignal; 1695*3117ece4Schristos 1696*3117ece4Schristos length4 = cSrcSize - (length1 + length2 + length3 + 6); 1697*3117ece4Schristos if (length4 > cSrcSize) return ERROR(corruption_detected); /* overflow */ 1698*3117ece4Schristos errorCode = BIT_initDStream(&bitD1, istart1, length1); 1699*3117ece4Schristos if (HUF_isError(errorCode)) return errorCode; 1700*3117ece4Schristos errorCode = BIT_initDStream(&bitD2, istart2, length2); 1701*3117ece4Schristos if (HUF_isError(errorCode)) return errorCode; 1702*3117ece4Schristos errorCode = BIT_initDStream(&bitD3, istart3, length3); 1703*3117ece4Schristos if (HUF_isError(errorCode)) return errorCode; 1704*3117ece4Schristos errorCode = BIT_initDStream(&bitD4, istart4, length4); 1705*3117ece4Schristos if (HUF_isError(errorCode)) return errorCode; 1706*3117ece4Schristos 1707*3117ece4Schristos /* 16-32 symbols per loop (4-8 symbols per stream) */ 1708*3117ece4Schristos endSignal = BIT_reloadDStream(&bitD1) | BIT_reloadDStream(&bitD2) | BIT_reloadDStream(&bitD3) | BIT_reloadDStream(&bitD4); 1709*3117ece4Schristos for ( ; (endSignal==BIT_DStream_unfinished) && (op4<(oend-7)) ; ) 1710*3117ece4Schristos { 1711*3117ece4Schristos HUF_DECODE_SYMBOLX2_2(op1, &bitD1); 1712*3117ece4Schristos HUF_DECODE_SYMBOLX2_2(op2, &bitD2); 1713*3117ece4Schristos HUF_DECODE_SYMBOLX2_2(op3, &bitD3); 1714*3117ece4Schristos HUF_DECODE_SYMBOLX2_2(op4, &bitD4); 1715*3117ece4Schristos HUF_DECODE_SYMBOLX2_1(op1, &bitD1); 1716*3117ece4Schristos HUF_DECODE_SYMBOLX2_1(op2, &bitD2); 1717*3117ece4Schristos HUF_DECODE_SYMBOLX2_1(op3, &bitD3); 1718*3117ece4Schristos HUF_DECODE_SYMBOLX2_1(op4, &bitD4); 1719*3117ece4Schristos HUF_DECODE_SYMBOLX2_2(op1, &bitD1); 1720*3117ece4Schristos HUF_DECODE_SYMBOLX2_2(op2, &bitD2); 1721*3117ece4Schristos HUF_DECODE_SYMBOLX2_2(op3, &bitD3); 1722*3117ece4Schristos HUF_DECODE_SYMBOLX2_2(op4, &bitD4); 1723*3117ece4Schristos HUF_DECODE_SYMBOLX2_0(op1, &bitD1); 1724*3117ece4Schristos HUF_DECODE_SYMBOLX2_0(op2, &bitD2); 1725*3117ece4Schristos HUF_DECODE_SYMBOLX2_0(op3, &bitD3); 1726*3117ece4Schristos HUF_DECODE_SYMBOLX2_0(op4, &bitD4); 1727*3117ece4Schristos 1728*3117ece4Schristos endSignal = BIT_reloadDStream(&bitD1) | BIT_reloadDStream(&bitD2) | BIT_reloadDStream(&bitD3) | BIT_reloadDStream(&bitD4); 1729*3117ece4Schristos } 1730*3117ece4Schristos 1731*3117ece4Schristos /* check corruption */ 1732*3117ece4Schristos if (op1 > opStart2) return ERROR(corruption_detected); 1733*3117ece4Schristos if (op2 > opStart3) return ERROR(corruption_detected); 1734*3117ece4Schristos if (op3 > opStart4) return ERROR(corruption_detected); 1735*3117ece4Schristos /* note : op4 supposed already verified within main loop */ 1736*3117ece4Schristos 1737*3117ece4Schristos /* finish bitStreams one by one */ 1738*3117ece4Schristos HUF_decodeStreamX2(op1, &bitD1, opStart2, dt, dtLog); 1739*3117ece4Schristos HUF_decodeStreamX2(op2, &bitD2, opStart3, dt, dtLog); 1740*3117ece4Schristos HUF_decodeStreamX2(op3, &bitD3, opStart4, dt, dtLog); 1741*3117ece4Schristos HUF_decodeStreamX2(op4, &bitD4, oend, dt, dtLog); 1742*3117ece4Schristos 1743*3117ece4Schristos /* check */ 1744*3117ece4Schristos endSignal = BIT_endOfDStream(&bitD1) & BIT_endOfDStream(&bitD2) & BIT_endOfDStream(&bitD3) & BIT_endOfDStream(&bitD4); 1745*3117ece4Schristos if (!endSignal) return ERROR(corruption_detected); 1746*3117ece4Schristos 1747*3117ece4Schristos /* decoded size */ 1748*3117ece4Schristos return dstSize; 1749*3117ece4Schristos } 1750*3117ece4Schristos } 1751*3117ece4Schristos 1752*3117ece4Schristos 1753*3117ece4Schristos static size_t HUF_decompress4X2 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize) 1754*3117ece4Schristos { 1755*3117ece4Schristos HUF_CREATE_STATIC_DTABLEX2(DTable, HUF_MAX_TABLELOG); 1756*3117ece4Schristos const BYTE* ip = (const BYTE*) cSrc; 1757*3117ece4Schristos size_t errorCode; 1758*3117ece4Schristos 1759*3117ece4Schristos errorCode = HUF_readDTableX2 (DTable, cSrc, cSrcSize); 1760*3117ece4Schristos if (HUF_isError(errorCode)) return errorCode; 1761*3117ece4Schristos if (errorCode >= cSrcSize) return ERROR(srcSize_wrong); 1762*3117ece4Schristos ip += errorCode; 1763*3117ece4Schristos cSrcSize -= errorCode; 1764*3117ece4Schristos 1765*3117ece4Schristos return HUF_decompress4X2_usingDTable (dst, dstSize, ip, cSrcSize, DTable); 1766*3117ece4Schristos } 1767*3117ece4Schristos 1768*3117ece4Schristos 1769*3117ece4Schristos /***************************/ 1770*3117ece4Schristos /* double-symbols decoding */ 1771*3117ece4Schristos /***************************/ 1772*3117ece4Schristos 1773*3117ece4Schristos static void HUF_fillDTableX4Level2(HUF_DEltX4* DTable, U32 sizeLog, const U32 consumed, 1774*3117ece4Schristos const U32* rankValOrigin, const int minWeight, 1775*3117ece4Schristos const sortedSymbol_t* sortedSymbols, const U32 sortedListSize, 1776*3117ece4Schristos U32 nbBitsBaseline, U16 baseSeq) 1777*3117ece4Schristos { 1778*3117ece4Schristos HUF_DEltX4 DElt; 1779*3117ece4Schristos U32 rankVal[HUF_ABSOLUTEMAX_TABLELOG + 1]; 1780*3117ece4Schristos U32 s; 1781*3117ece4Schristos 1782*3117ece4Schristos /* get pre-calculated rankVal */ 1783*3117ece4Schristos memcpy(rankVal, rankValOrigin, sizeof(rankVal)); 1784*3117ece4Schristos 1785*3117ece4Schristos /* fill skipped values */ 1786*3117ece4Schristos if (minWeight>1) 1787*3117ece4Schristos { 1788*3117ece4Schristos U32 i, skipSize = rankVal[minWeight]; 1789*3117ece4Schristos MEM_writeLE16(&(DElt.sequence), baseSeq); 1790*3117ece4Schristos DElt.nbBits = (BYTE)(consumed); 1791*3117ece4Schristos DElt.length = 1; 1792*3117ece4Schristos for (i = 0; i < skipSize; i++) 1793*3117ece4Schristos DTable[i] = DElt; 1794*3117ece4Schristos } 1795*3117ece4Schristos 1796*3117ece4Schristos /* fill DTable */ 1797*3117ece4Schristos for (s=0; s<sortedListSize; s++) /* note : sortedSymbols already skipped */ 1798*3117ece4Schristos { 1799*3117ece4Schristos const U32 symbol = sortedSymbols[s].symbol; 1800*3117ece4Schristos const U32 weight = sortedSymbols[s].weight; 1801*3117ece4Schristos const U32 nbBits = nbBitsBaseline - weight; 1802*3117ece4Schristos const U32 length = 1 << (sizeLog-nbBits); 1803*3117ece4Schristos const U32 start = rankVal[weight]; 1804*3117ece4Schristos U32 i = start; 1805*3117ece4Schristos const U32 end = start + length; 1806*3117ece4Schristos 1807*3117ece4Schristos MEM_writeLE16(&(DElt.sequence), (U16)(baseSeq + (symbol << 8))); 1808*3117ece4Schristos DElt.nbBits = (BYTE)(nbBits + consumed); 1809*3117ece4Schristos DElt.length = 2; 1810*3117ece4Schristos do { DTable[i++] = DElt; } while (i<end); /* since length >= 1 */ 1811*3117ece4Schristos 1812*3117ece4Schristos rankVal[weight] += length; 1813*3117ece4Schristos } 1814*3117ece4Schristos } 1815*3117ece4Schristos 1816*3117ece4Schristos typedef U32 rankVal_t[HUF_ABSOLUTEMAX_TABLELOG][HUF_ABSOLUTEMAX_TABLELOG + 1]; 1817*3117ece4Schristos 1818*3117ece4Schristos static void HUF_fillDTableX4(HUF_DEltX4* DTable, const U32 targetLog, 1819*3117ece4Schristos const sortedSymbol_t* sortedList, const U32 sortedListSize, 1820*3117ece4Schristos const U32* rankStart, rankVal_t rankValOrigin, const U32 maxWeight, 1821*3117ece4Schristos const U32 nbBitsBaseline) 1822*3117ece4Schristos { 1823*3117ece4Schristos U32 rankVal[HUF_ABSOLUTEMAX_TABLELOG + 1]; 1824*3117ece4Schristos const int scaleLog = nbBitsBaseline - targetLog; /* note : targetLog >= srcLog, hence scaleLog <= 1 */ 1825*3117ece4Schristos const U32 minBits = nbBitsBaseline - maxWeight; 1826*3117ece4Schristos U32 s; 1827*3117ece4Schristos 1828*3117ece4Schristos memcpy(rankVal, rankValOrigin, sizeof(rankVal)); 1829*3117ece4Schristos 1830*3117ece4Schristos /* fill DTable */ 1831*3117ece4Schristos for (s=0; s<sortedListSize; s++) 1832*3117ece4Schristos { 1833*3117ece4Schristos const U16 symbol = sortedList[s].symbol; 1834*3117ece4Schristos const U32 weight = sortedList[s].weight; 1835*3117ece4Schristos const U32 nbBits = nbBitsBaseline - weight; 1836*3117ece4Schristos const U32 start = rankVal[weight]; 1837*3117ece4Schristos const U32 length = 1 << (targetLog-nbBits); 1838*3117ece4Schristos 1839*3117ece4Schristos if (targetLog-nbBits >= minBits) /* enough room for a second symbol */ 1840*3117ece4Schristos { 1841*3117ece4Schristos U32 sortedRank; 1842*3117ece4Schristos int minWeight = nbBits + scaleLog; 1843*3117ece4Schristos if (minWeight < 1) minWeight = 1; 1844*3117ece4Schristos sortedRank = rankStart[minWeight]; 1845*3117ece4Schristos HUF_fillDTableX4Level2(DTable+start, targetLog-nbBits, nbBits, 1846*3117ece4Schristos rankValOrigin[nbBits], minWeight, 1847*3117ece4Schristos sortedList+sortedRank, sortedListSize-sortedRank, 1848*3117ece4Schristos nbBitsBaseline, symbol); 1849*3117ece4Schristos } 1850*3117ece4Schristos else 1851*3117ece4Schristos { 1852*3117ece4Schristos U32 i; 1853*3117ece4Schristos const U32 end = start + length; 1854*3117ece4Schristos HUF_DEltX4 DElt; 1855*3117ece4Schristos 1856*3117ece4Schristos MEM_writeLE16(&(DElt.sequence), symbol); 1857*3117ece4Schristos DElt.nbBits = (BYTE)(nbBits); 1858*3117ece4Schristos DElt.length = 1; 1859*3117ece4Schristos for (i = start; i < end; i++) 1860*3117ece4Schristos DTable[i] = DElt; 1861*3117ece4Schristos } 1862*3117ece4Schristos rankVal[weight] += length; 1863*3117ece4Schristos } 1864*3117ece4Schristos } 1865*3117ece4Schristos 1866*3117ece4Schristos static size_t HUF_readDTableX4 (U32* DTable, const void* src, size_t srcSize) 1867*3117ece4Schristos { 1868*3117ece4Schristos BYTE weightList[HUF_MAX_SYMBOL_VALUE + 1]; 1869*3117ece4Schristos sortedSymbol_t sortedSymbol[HUF_MAX_SYMBOL_VALUE + 1]; 1870*3117ece4Schristos U32 rankStats[HUF_ABSOLUTEMAX_TABLELOG + 1] = { 0 }; 1871*3117ece4Schristos U32 rankStart0[HUF_ABSOLUTEMAX_TABLELOG + 2] = { 0 }; 1872*3117ece4Schristos U32* const rankStart = rankStart0+1; 1873*3117ece4Schristos rankVal_t rankVal; 1874*3117ece4Schristos U32 tableLog, maxW, sizeOfSort, nbSymbols; 1875*3117ece4Schristos const U32 memLog = DTable[0]; 1876*3117ece4Schristos const BYTE* ip = (const BYTE*) src; 1877*3117ece4Schristos size_t iSize = ip[0]; 1878*3117ece4Schristos void* ptr = DTable; 1879*3117ece4Schristos HUF_DEltX4* const dt = ((HUF_DEltX4*)ptr) + 1; 1880*3117ece4Schristos 1881*3117ece4Schristos HUF_STATIC_ASSERT(sizeof(HUF_DEltX4) == sizeof(U32)); /* if compilation fails here, assertion is false */ 1882*3117ece4Schristos if (memLog > HUF_ABSOLUTEMAX_TABLELOG) return ERROR(tableLog_tooLarge); 1883*3117ece4Schristos //memset(weightList, 0, sizeof(weightList)); /* is not necessary, even though some analyzer complain ... */ 1884*3117ece4Schristos 1885*3117ece4Schristos iSize = HUF_readStats(weightList, HUF_MAX_SYMBOL_VALUE + 1, rankStats, &nbSymbols, &tableLog, src, srcSize); 1886*3117ece4Schristos if (HUF_isError(iSize)) return iSize; 1887*3117ece4Schristos 1888*3117ece4Schristos /* check result */ 1889*3117ece4Schristos if (tableLog > memLog) return ERROR(tableLog_tooLarge); /* DTable can't fit code depth */ 1890*3117ece4Schristos 1891*3117ece4Schristos /* find maxWeight */ 1892*3117ece4Schristos for (maxW = tableLog; rankStats[maxW]==0; maxW--) 1893*3117ece4Schristos {if (!maxW) return ERROR(GENERIC); } /* necessarily finds a solution before maxW==0 */ 1894*3117ece4Schristos 1895*3117ece4Schristos /* Get start index of each weight */ 1896*3117ece4Schristos { 1897*3117ece4Schristos U32 w, nextRankStart = 0; 1898*3117ece4Schristos for (w=1; w<=maxW; w++) 1899*3117ece4Schristos { 1900*3117ece4Schristos U32 current = nextRankStart; 1901*3117ece4Schristos nextRankStart += rankStats[w]; 1902*3117ece4Schristos rankStart[w] = current; 1903*3117ece4Schristos } 1904*3117ece4Schristos rankStart[0] = nextRankStart; /* put all 0w symbols at the end of sorted list*/ 1905*3117ece4Schristos sizeOfSort = nextRankStart; 1906*3117ece4Schristos } 1907*3117ece4Schristos 1908*3117ece4Schristos /* sort symbols by weight */ 1909*3117ece4Schristos { 1910*3117ece4Schristos U32 s; 1911*3117ece4Schristos for (s=0; s<nbSymbols; s++) 1912*3117ece4Schristos { 1913*3117ece4Schristos U32 w = weightList[s]; 1914*3117ece4Schristos U32 r = rankStart[w]++; 1915*3117ece4Schristos sortedSymbol[r].symbol = (BYTE)s; 1916*3117ece4Schristos sortedSymbol[r].weight = (BYTE)w; 1917*3117ece4Schristos } 1918*3117ece4Schristos rankStart[0] = 0; /* forget 0w symbols; this is beginning of weight(1) */ 1919*3117ece4Schristos } 1920*3117ece4Schristos 1921*3117ece4Schristos /* Build rankVal */ 1922*3117ece4Schristos { 1923*3117ece4Schristos const U32 minBits = tableLog+1 - maxW; 1924*3117ece4Schristos U32 nextRankVal = 0; 1925*3117ece4Schristos U32 w, consumed; 1926*3117ece4Schristos const int rescale = (memLog-tableLog) - 1; /* tableLog <= memLog */ 1927*3117ece4Schristos U32* rankVal0 = rankVal[0]; 1928*3117ece4Schristos for (w=1; w<=maxW; w++) 1929*3117ece4Schristos { 1930*3117ece4Schristos U32 current = nextRankVal; 1931*3117ece4Schristos nextRankVal += rankStats[w] << (w+rescale); 1932*3117ece4Schristos rankVal0[w] = current; 1933*3117ece4Schristos } 1934*3117ece4Schristos for (consumed = minBits; consumed <= memLog - minBits; consumed++) 1935*3117ece4Schristos { 1936*3117ece4Schristos U32* rankValPtr = rankVal[consumed]; 1937*3117ece4Schristos for (w = 1; w <= maxW; w++) 1938*3117ece4Schristos { 1939*3117ece4Schristos rankValPtr[w] = rankVal0[w] >> consumed; 1940*3117ece4Schristos } 1941*3117ece4Schristos } 1942*3117ece4Schristos } 1943*3117ece4Schristos 1944*3117ece4Schristos HUF_fillDTableX4(dt, memLog, 1945*3117ece4Schristos sortedSymbol, sizeOfSort, 1946*3117ece4Schristos rankStart0, rankVal, maxW, 1947*3117ece4Schristos tableLog+1); 1948*3117ece4Schristos 1949*3117ece4Schristos return iSize; 1950*3117ece4Schristos } 1951*3117ece4Schristos 1952*3117ece4Schristos 1953*3117ece4Schristos static U32 HUF_decodeSymbolX4(void* op, BIT_DStream_t* DStream, const HUF_DEltX4* dt, const U32 dtLog) 1954*3117ece4Schristos { 1955*3117ece4Schristos const size_t val = BIT_lookBitsFast(DStream, dtLog); /* note : dtLog >= 1 */ 1956*3117ece4Schristos memcpy(op, dt+val, 2); 1957*3117ece4Schristos BIT_skipBits(DStream, dt[val].nbBits); 1958*3117ece4Schristos return dt[val].length; 1959*3117ece4Schristos } 1960*3117ece4Schristos 1961*3117ece4Schristos static U32 HUF_decodeLastSymbolX4(void* op, BIT_DStream_t* DStream, const HUF_DEltX4* dt, const U32 dtLog) 1962*3117ece4Schristos { 1963*3117ece4Schristos const size_t val = BIT_lookBitsFast(DStream, dtLog); /* note : dtLog >= 1 */ 1964*3117ece4Schristos memcpy(op, dt+val, 1); 1965*3117ece4Schristos if (dt[val].length==1) BIT_skipBits(DStream, dt[val].nbBits); 1966*3117ece4Schristos else 1967*3117ece4Schristos { 1968*3117ece4Schristos if (DStream->bitsConsumed < (sizeof(DStream->bitContainer)*8)) 1969*3117ece4Schristos { 1970*3117ece4Schristos BIT_skipBits(DStream, dt[val].nbBits); 1971*3117ece4Schristos if (DStream->bitsConsumed > (sizeof(DStream->bitContainer)*8)) 1972*3117ece4Schristos DStream->bitsConsumed = (sizeof(DStream->bitContainer)*8); /* ugly hack; works only because it's the last symbol. Note : can't easily extract nbBits from just this symbol */ 1973*3117ece4Schristos } 1974*3117ece4Schristos } 1975*3117ece4Schristos return 1; 1976*3117ece4Schristos } 1977*3117ece4Schristos 1978*3117ece4Schristos 1979*3117ece4Schristos #define HUF_DECODE_SYMBOLX4_0(ptr, DStreamPtr) \ 1980*3117ece4Schristos ptr += HUF_decodeSymbolX4(ptr, DStreamPtr, dt, dtLog) 1981*3117ece4Schristos 1982*3117ece4Schristos #define HUF_DECODE_SYMBOLX4_1(ptr, DStreamPtr) \ 1983*3117ece4Schristos if (MEM_64bits() || (HUF_MAX_TABLELOG<=12)) \ 1984*3117ece4Schristos ptr += HUF_decodeSymbolX4(ptr, DStreamPtr, dt, dtLog) 1985*3117ece4Schristos 1986*3117ece4Schristos #define HUF_DECODE_SYMBOLX4_2(ptr, DStreamPtr) \ 1987*3117ece4Schristos if (MEM_64bits()) \ 1988*3117ece4Schristos ptr += HUF_decodeSymbolX4(ptr, DStreamPtr, dt, dtLog) 1989*3117ece4Schristos 1990*3117ece4Schristos static inline size_t HUF_decodeStreamX4(BYTE* p, BIT_DStream_t* bitDPtr, BYTE* const pEnd, const HUF_DEltX4* const dt, const U32 dtLog) 1991*3117ece4Schristos { 1992*3117ece4Schristos BYTE* const pStart = p; 1993*3117ece4Schristos 1994*3117ece4Schristos /* up to 8 symbols at a time */ 1995*3117ece4Schristos while ((BIT_reloadDStream(bitDPtr) == BIT_DStream_unfinished) && (p < pEnd-7)) 1996*3117ece4Schristos { 1997*3117ece4Schristos HUF_DECODE_SYMBOLX4_2(p, bitDPtr); 1998*3117ece4Schristos HUF_DECODE_SYMBOLX4_1(p, bitDPtr); 1999*3117ece4Schristos HUF_DECODE_SYMBOLX4_2(p, bitDPtr); 2000*3117ece4Schristos HUF_DECODE_SYMBOLX4_0(p, bitDPtr); 2001*3117ece4Schristos } 2002*3117ece4Schristos 2003*3117ece4Schristos /* closer to the end */ 2004*3117ece4Schristos while ((BIT_reloadDStream(bitDPtr) == BIT_DStream_unfinished) && (p <= pEnd-2)) 2005*3117ece4Schristos HUF_DECODE_SYMBOLX4_0(p, bitDPtr); 2006*3117ece4Schristos 2007*3117ece4Schristos while (p <= pEnd-2) 2008*3117ece4Schristos HUF_DECODE_SYMBOLX4_0(p, bitDPtr); /* no need to reload : reached the end of DStream */ 2009*3117ece4Schristos 2010*3117ece4Schristos if (p < pEnd) 2011*3117ece4Schristos p += HUF_decodeLastSymbolX4(p, bitDPtr, dt, dtLog); 2012*3117ece4Schristos 2013*3117ece4Schristos return p-pStart; 2014*3117ece4Schristos } 2015*3117ece4Schristos 2016*3117ece4Schristos 2017*3117ece4Schristos 2018*3117ece4Schristos static size_t HUF_decompress4X4_usingDTable( 2019*3117ece4Schristos void* dst, size_t dstSize, 2020*3117ece4Schristos const void* cSrc, size_t cSrcSize, 2021*3117ece4Schristos const U32* DTable) 2022*3117ece4Schristos { 2023*3117ece4Schristos if (cSrcSize < 10) return ERROR(corruption_detected); /* strict minimum : jump table + 1 byte per stream */ 2024*3117ece4Schristos 2025*3117ece4Schristos { 2026*3117ece4Schristos const BYTE* const istart = (const BYTE*) cSrc; 2027*3117ece4Schristos BYTE* const ostart = (BYTE*) dst; 2028*3117ece4Schristos BYTE* const oend = ostart + dstSize; 2029*3117ece4Schristos 2030*3117ece4Schristos const void* ptr = DTable; 2031*3117ece4Schristos const HUF_DEltX4* const dt = ((const HUF_DEltX4*)ptr) +1; 2032*3117ece4Schristos const U32 dtLog = DTable[0]; 2033*3117ece4Schristos size_t errorCode; 2034*3117ece4Schristos 2035*3117ece4Schristos /* Init */ 2036*3117ece4Schristos BIT_DStream_t bitD1; 2037*3117ece4Schristos BIT_DStream_t bitD2; 2038*3117ece4Schristos BIT_DStream_t bitD3; 2039*3117ece4Schristos BIT_DStream_t bitD4; 2040*3117ece4Schristos const size_t length1 = MEM_readLE16(istart); 2041*3117ece4Schristos const size_t length2 = MEM_readLE16(istart+2); 2042*3117ece4Schristos const size_t length3 = MEM_readLE16(istart+4); 2043*3117ece4Schristos size_t length4; 2044*3117ece4Schristos const BYTE* const istart1 = istart + 6; /* jumpTable */ 2045*3117ece4Schristos const BYTE* const istart2 = istart1 + length1; 2046*3117ece4Schristos const BYTE* const istart3 = istart2 + length2; 2047*3117ece4Schristos const BYTE* const istart4 = istart3 + length3; 2048*3117ece4Schristos const size_t segmentSize = (dstSize+3) / 4; 2049*3117ece4Schristos BYTE* const opStart2 = ostart + segmentSize; 2050*3117ece4Schristos BYTE* const opStart3 = opStart2 + segmentSize; 2051*3117ece4Schristos BYTE* const opStart4 = opStart3 + segmentSize; 2052*3117ece4Schristos BYTE* op1 = ostart; 2053*3117ece4Schristos BYTE* op2 = opStart2; 2054*3117ece4Schristos BYTE* op3 = opStart3; 2055*3117ece4Schristos BYTE* op4 = opStart4; 2056*3117ece4Schristos U32 endSignal; 2057*3117ece4Schristos 2058*3117ece4Schristos length4 = cSrcSize - (length1 + length2 + length3 + 6); 2059*3117ece4Schristos if (length4 > cSrcSize) return ERROR(corruption_detected); /* overflow */ 2060*3117ece4Schristos errorCode = BIT_initDStream(&bitD1, istart1, length1); 2061*3117ece4Schristos if (HUF_isError(errorCode)) return errorCode; 2062*3117ece4Schristos errorCode = BIT_initDStream(&bitD2, istart2, length2); 2063*3117ece4Schristos if (HUF_isError(errorCode)) return errorCode; 2064*3117ece4Schristos errorCode = BIT_initDStream(&bitD3, istart3, length3); 2065*3117ece4Schristos if (HUF_isError(errorCode)) return errorCode; 2066*3117ece4Schristos errorCode = BIT_initDStream(&bitD4, istart4, length4); 2067*3117ece4Schristos if (HUF_isError(errorCode)) return errorCode; 2068*3117ece4Schristos 2069*3117ece4Schristos /* 16-32 symbols per loop (4-8 symbols per stream) */ 2070*3117ece4Schristos endSignal = BIT_reloadDStream(&bitD1) | BIT_reloadDStream(&bitD2) | BIT_reloadDStream(&bitD3) | BIT_reloadDStream(&bitD4); 2071*3117ece4Schristos for ( ; (endSignal==BIT_DStream_unfinished) && (op4<(oend-7)) ; ) 2072*3117ece4Schristos { 2073*3117ece4Schristos HUF_DECODE_SYMBOLX4_2(op1, &bitD1); 2074*3117ece4Schristos HUF_DECODE_SYMBOLX4_2(op2, &bitD2); 2075*3117ece4Schristos HUF_DECODE_SYMBOLX4_2(op3, &bitD3); 2076*3117ece4Schristos HUF_DECODE_SYMBOLX4_2(op4, &bitD4); 2077*3117ece4Schristos HUF_DECODE_SYMBOLX4_1(op1, &bitD1); 2078*3117ece4Schristos HUF_DECODE_SYMBOLX4_1(op2, &bitD2); 2079*3117ece4Schristos HUF_DECODE_SYMBOLX4_1(op3, &bitD3); 2080*3117ece4Schristos HUF_DECODE_SYMBOLX4_1(op4, &bitD4); 2081*3117ece4Schristos HUF_DECODE_SYMBOLX4_2(op1, &bitD1); 2082*3117ece4Schristos HUF_DECODE_SYMBOLX4_2(op2, &bitD2); 2083*3117ece4Schristos HUF_DECODE_SYMBOLX4_2(op3, &bitD3); 2084*3117ece4Schristos HUF_DECODE_SYMBOLX4_2(op4, &bitD4); 2085*3117ece4Schristos HUF_DECODE_SYMBOLX4_0(op1, &bitD1); 2086*3117ece4Schristos HUF_DECODE_SYMBOLX4_0(op2, &bitD2); 2087*3117ece4Schristos HUF_DECODE_SYMBOLX4_0(op3, &bitD3); 2088*3117ece4Schristos HUF_DECODE_SYMBOLX4_0(op4, &bitD4); 2089*3117ece4Schristos 2090*3117ece4Schristos endSignal = BIT_reloadDStream(&bitD1) | BIT_reloadDStream(&bitD2) | BIT_reloadDStream(&bitD3) | BIT_reloadDStream(&bitD4); 2091*3117ece4Schristos } 2092*3117ece4Schristos 2093*3117ece4Schristos /* check corruption */ 2094*3117ece4Schristos if (op1 > opStart2) return ERROR(corruption_detected); 2095*3117ece4Schristos if (op2 > opStart3) return ERROR(corruption_detected); 2096*3117ece4Schristos if (op3 > opStart4) return ERROR(corruption_detected); 2097*3117ece4Schristos /* note : op4 supposed already verified within main loop */ 2098*3117ece4Schristos 2099*3117ece4Schristos /* finish bitStreams one by one */ 2100*3117ece4Schristos HUF_decodeStreamX4(op1, &bitD1, opStart2, dt, dtLog); 2101*3117ece4Schristos HUF_decodeStreamX4(op2, &bitD2, opStart3, dt, dtLog); 2102*3117ece4Schristos HUF_decodeStreamX4(op3, &bitD3, opStart4, dt, dtLog); 2103*3117ece4Schristos HUF_decodeStreamX4(op4, &bitD4, oend, dt, dtLog); 2104*3117ece4Schristos 2105*3117ece4Schristos /* check */ 2106*3117ece4Schristos endSignal = BIT_endOfDStream(&bitD1) & BIT_endOfDStream(&bitD2) & BIT_endOfDStream(&bitD3) & BIT_endOfDStream(&bitD4); 2107*3117ece4Schristos if (!endSignal) return ERROR(corruption_detected); 2108*3117ece4Schristos 2109*3117ece4Schristos /* decoded size */ 2110*3117ece4Schristos return dstSize; 2111*3117ece4Schristos } 2112*3117ece4Schristos } 2113*3117ece4Schristos 2114*3117ece4Schristos 2115*3117ece4Schristos static size_t HUF_decompress4X4 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize) 2116*3117ece4Schristos { 2117*3117ece4Schristos HUF_CREATE_STATIC_DTABLEX4(DTable, HUF_MAX_TABLELOG); 2118*3117ece4Schristos const BYTE* ip = (const BYTE*) cSrc; 2119*3117ece4Schristos 2120*3117ece4Schristos size_t hSize = HUF_readDTableX4 (DTable, cSrc, cSrcSize); 2121*3117ece4Schristos if (HUF_isError(hSize)) return hSize; 2122*3117ece4Schristos if (hSize >= cSrcSize) return ERROR(srcSize_wrong); 2123*3117ece4Schristos ip += hSize; 2124*3117ece4Schristos cSrcSize -= hSize; 2125*3117ece4Schristos 2126*3117ece4Schristos return HUF_decompress4X4_usingDTable (dst, dstSize, ip, cSrcSize, DTable); 2127*3117ece4Schristos } 2128*3117ece4Schristos 2129*3117ece4Schristos 2130*3117ece4Schristos /**********************************/ 2131*3117ece4Schristos /* quad-symbol decoding */ 2132*3117ece4Schristos /**********************************/ 2133*3117ece4Schristos typedef struct { BYTE nbBits; BYTE nbBytes; } HUF_DDescX6; 2134*3117ece4Schristos typedef union { BYTE byte[4]; U32 sequence; } HUF_DSeqX6; 2135*3117ece4Schristos 2136*3117ece4Schristos /* recursive, up to level 3; may benefit from <template>-like strategy to nest each level inline */ 2137*3117ece4Schristos static void HUF_fillDTableX6LevelN(HUF_DDescX6* DDescription, HUF_DSeqX6* DSequence, int sizeLog, 2138*3117ece4Schristos const rankVal_t rankValOrigin, const U32 consumed, const int minWeight, const U32 maxWeight, 2139*3117ece4Schristos const sortedSymbol_t* sortedSymbols, const U32 sortedListSize, const U32* rankStart, 2140*3117ece4Schristos const U32 nbBitsBaseline, HUF_DSeqX6 baseSeq, HUF_DDescX6 DDesc) 2141*3117ece4Schristos { 2142*3117ece4Schristos const int scaleLog = nbBitsBaseline - sizeLog; /* note : targetLog >= (nbBitsBaseline-1), hence scaleLog <= 1 */ 2143*3117ece4Schristos const int minBits = nbBitsBaseline - maxWeight; 2144*3117ece4Schristos const U32 level = DDesc.nbBytes; 2145*3117ece4Schristos U32 rankVal[HUF_ABSOLUTEMAX_TABLELOG + 1]; 2146*3117ece4Schristos U32 symbolStartPos, s; 2147*3117ece4Schristos 2148*3117ece4Schristos /* local rankVal, will be modified */ 2149*3117ece4Schristos memcpy(rankVal, rankValOrigin[consumed], sizeof(rankVal)); 2150*3117ece4Schristos 2151*3117ece4Schristos /* fill skipped values */ 2152*3117ece4Schristos if (minWeight>1) 2153*3117ece4Schristos { 2154*3117ece4Schristos U32 i; 2155*3117ece4Schristos const U32 skipSize = rankVal[minWeight]; 2156*3117ece4Schristos for (i = 0; i < skipSize; i++) 2157*3117ece4Schristos { 2158*3117ece4Schristos DSequence[i] = baseSeq; 2159*3117ece4Schristos DDescription[i] = DDesc; 2160*3117ece4Schristos } 2161*3117ece4Schristos } 2162*3117ece4Schristos 2163*3117ece4Schristos /* fill DTable */ 2164*3117ece4Schristos DDesc.nbBytes++; 2165*3117ece4Schristos symbolStartPos = rankStart[minWeight]; 2166*3117ece4Schristos for (s=symbolStartPos; s<sortedListSize; s++) 2167*3117ece4Schristos { 2168*3117ece4Schristos const BYTE symbol = sortedSymbols[s].symbol; 2169*3117ece4Schristos const U32 weight = sortedSymbols[s].weight; /* >= 1 (sorted) */ 2170*3117ece4Schristos const int nbBits = nbBitsBaseline - weight; /* >= 1 (by construction) */ 2171*3117ece4Schristos const int totalBits = consumed+nbBits; 2172*3117ece4Schristos const U32 start = rankVal[weight]; 2173*3117ece4Schristos const U32 length = 1 << (sizeLog-nbBits); 2174*3117ece4Schristos baseSeq.byte[level] = symbol; 2175*3117ece4Schristos DDesc.nbBits = (BYTE)totalBits; 2176*3117ece4Schristos 2177*3117ece4Schristos if ((level<3) && (sizeLog-totalBits >= minBits)) /* enough room for another symbol */ 2178*3117ece4Schristos { 2179*3117ece4Schristos int nextMinWeight = totalBits + scaleLog; 2180*3117ece4Schristos if (nextMinWeight < 1) nextMinWeight = 1; 2181*3117ece4Schristos HUF_fillDTableX6LevelN(DDescription+start, DSequence+start, sizeLog-nbBits, 2182*3117ece4Schristos rankValOrigin, totalBits, nextMinWeight, maxWeight, 2183*3117ece4Schristos sortedSymbols, sortedListSize, rankStart, 2184*3117ece4Schristos nbBitsBaseline, baseSeq, DDesc); /* recursive (max : level 3) */ 2185*3117ece4Schristos } 2186*3117ece4Schristos else 2187*3117ece4Schristos { 2188*3117ece4Schristos U32 i; 2189*3117ece4Schristos const U32 end = start + length; 2190*3117ece4Schristos for (i = start; i < end; i++) 2191*3117ece4Schristos { 2192*3117ece4Schristos DDescription[i] = DDesc; 2193*3117ece4Schristos DSequence[i] = baseSeq; 2194*3117ece4Schristos } 2195*3117ece4Schristos } 2196*3117ece4Schristos rankVal[weight] += length; 2197*3117ece4Schristos } 2198*3117ece4Schristos } 2199*3117ece4Schristos 2200*3117ece4Schristos 2201*3117ece4Schristos /* note : same preparation as X4 */ 2202*3117ece4Schristos static size_t HUF_readDTableX6 (U32* DTable, const void* src, size_t srcSize) 2203*3117ece4Schristos { 2204*3117ece4Schristos BYTE weightList[HUF_MAX_SYMBOL_VALUE + 1]; 2205*3117ece4Schristos sortedSymbol_t sortedSymbol[HUF_MAX_SYMBOL_VALUE + 1]; 2206*3117ece4Schristos U32 rankStats[HUF_ABSOLUTEMAX_TABLELOG + 1] = { 0 }; 2207*3117ece4Schristos U32 rankStart0[HUF_ABSOLUTEMAX_TABLELOG + 2] = { 0 }; 2208*3117ece4Schristos U32* const rankStart = rankStart0+1; 2209*3117ece4Schristos U32 tableLog, maxW, sizeOfSort, nbSymbols; 2210*3117ece4Schristos rankVal_t rankVal; 2211*3117ece4Schristos const U32 memLog = DTable[0]; 2212*3117ece4Schristos const BYTE* ip = (const BYTE*) src; 2213*3117ece4Schristos size_t iSize = ip[0]; 2214*3117ece4Schristos 2215*3117ece4Schristos if (memLog > HUF_ABSOLUTEMAX_TABLELOG) return ERROR(tableLog_tooLarge); 2216*3117ece4Schristos //memset(weightList, 0, sizeof(weightList)); /* is not necessary, even though some analyzer complain ... */ 2217*3117ece4Schristos 2218*3117ece4Schristos iSize = HUF_readStats(weightList, HUF_MAX_SYMBOL_VALUE + 1, rankStats, &nbSymbols, &tableLog, src, srcSize); 2219*3117ece4Schristos if (HUF_isError(iSize)) return iSize; 2220*3117ece4Schristos 2221*3117ece4Schristos /* check result */ 2222*3117ece4Schristos if (tableLog > memLog) return ERROR(tableLog_tooLarge); /* DTable is too small */ 2223*3117ece4Schristos 2224*3117ece4Schristos /* find maxWeight */ 2225*3117ece4Schristos for (maxW = tableLog; rankStats[maxW]==0; maxW--) 2226*3117ece4Schristos { if (!maxW) return ERROR(GENERIC); } /* necessarily finds a solution before maxW==0 */ 2227*3117ece4Schristos 2228*3117ece4Schristos 2229*3117ece4Schristos /* Get start index of each weight */ 2230*3117ece4Schristos { 2231*3117ece4Schristos U32 w, nextRankStart = 0; 2232*3117ece4Schristos for (w=1; w<=maxW; w++) 2233*3117ece4Schristos { 2234*3117ece4Schristos U32 current = nextRankStart; 2235*3117ece4Schristos nextRankStart += rankStats[w]; 2236*3117ece4Schristos rankStart[w] = current; 2237*3117ece4Schristos } 2238*3117ece4Schristos rankStart[0] = nextRankStart; /* put all 0w symbols at the end of sorted list*/ 2239*3117ece4Schristos sizeOfSort = nextRankStart; 2240*3117ece4Schristos } 2241*3117ece4Schristos 2242*3117ece4Schristos /* sort symbols by weight */ 2243*3117ece4Schristos { 2244*3117ece4Schristos U32 s; 2245*3117ece4Schristos for (s=0; s<nbSymbols; s++) 2246*3117ece4Schristos { 2247*3117ece4Schristos U32 w = weightList[s]; 2248*3117ece4Schristos U32 r = rankStart[w]++; 2249*3117ece4Schristos sortedSymbol[r].symbol = (BYTE)s; 2250*3117ece4Schristos sortedSymbol[r].weight = (BYTE)w; 2251*3117ece4Schristos } 2252*3117ece4Schristos rankStart[0] = 0; /* forget 0w symbols; this is beginning of weight(1) */ 2253*3117ece4Schristos } 2254*3117ece4Schristos 2255*3117ece4Schristos /* Build rankVal */ 2256*3117ece4Schristos { 2257*3117ece4Schristos const U32 minBits = tableLog+1 - maxW; 2258*3117ece4Schristos U32 nextRankVal = 0; 2259*3117ece4Schristos U32 w, consumed; 2260*3117ece4Schristos const int rescale = (memLog-tableLog) - 1; /* tableLog <= memLog */ 2261*3117ece4Schristos U32* rankVal0 = rankVal[0]; 2262*3117ece4Schristos for (w=1; w<=maxW; w++) 2263*3117ece4Schristos { 2264*3117ece4Schristos U32 current = nextRankVal; 2265*3117ece4Schristos nextRankVal += rankStats[w] << (w+rescale); 2266*3117ece4Schristos rankVal0[w] = current; 2267*3117ece4Schristos } 2268*3117ece4Schristos for (consumed = minBits; consumed <= memLog - minBits; consumed++) 2269*3117ece4Schristos { 2270*3117ece4Schristos U32* rankValPtr = rankVal[consumed]; 2271*3117ece4Schristos for (w = 1; w <= maxW; w++) 2272*3117ece4Schristos { 2273*3117ece4Schristos rankValPtr[w] = rankVal0[w] >> consumed; 2274*3117ece4Schristos } 2275*3117ece4Schristos } 2276*3117ece4Schristos } 2277*3117ece4Schristos 2278*3117ece4Schristos 2279*3117ece4Schristos /* fill tables */ 2280*3117ece4Schristos { 2281*3117ece4Schristos void* ptr = DTable+1; 2282*3117ece4Schristos HUF_DDescX6* DDescription = (HUF_DDescX6*)(ptr); 2283*3117ece4Schristos void* dSeqStart = DTable + 1 + ((size_t)1<<(memLog-1)); 2284*3117ece4Schristos HUF_DSeqX6* DSequence = (HUF_DSeqX6*)(dSeqStart); 2285*3117ece4Schristos HUF_DSeqX6 DSeq; 2286*3117ece4Schristos HUF_DDescX6 DDesc; 2287*3117ece4Schristos DSeq.sequence = 0; 2288*3117ece4Schristos DDesc.nbBits = 0; 2289*3117ece4Schristos DDesc.nbBytes = 0; 2290*3117ece4Schristos HUF_fillDTableX6LevelN(DDescription, DSequence, memLog, 2291*3117ece4Schristos (const U32 (*)[HUF_ABSOLUTEMAX_TABLELOG + 1])rankVal, 0, 1, maxW, 2292*3117ece4Schristos sortedSymbol, sizeOfSort, rankStart0, 2293*3117ece4Schristos tableLog+1, DSeq, DDesc); 2294*3117ece4Schristos } 2295*3117ece4Schristos 2296*3117ece4Schristos return iSize; 2297*3117ece4Schristos } 2298*3117ece4Schristos 2299*3117ece4Schristos 2300*3117ece4Schristos static U32 HUF_decodeSymbolX6(void* op, BIT_DStream_t* DStream, const HUF_DDescX6* dd, const HUF_DSeqX6* ds, const U32 dtLog) 2301*3117ece4Schristos { 2302*3117ece4Schristos const size_t val = BIT_lookBitsFast(DStream, dtLog); /* note : dtLog >= 1 */ 2303*3117ece4Schristos memcpy(op, ds+val, sizeof(HUF_DSeqX6)); 2304*3117ece4Schristos BIT_skipBits(DStream, dd[val].nbBits); 2305*3117ece4Schristos return dd[val].nbBytes; 2306*3117ece4Schristos } 2307*3117ece4Schristos 2308*3117ece4Schristos static U32 HUF_decodeLastSymbolsX6(void* op, const U32 maxL, BIT_DStream_t* DStream, 2309*3117ece4Schristos const HUF_DDescX6* dd, const HUF_DSeqX6* ds, const U32 dtLog) 2310*3117ece4Schristos { 2311*3117ece4Schristos const size_t val = BIT_lookBitsFast(DStream, dtLog); /* note : dtLog >= 1 */ 2312*3117ece4Schristos U32 length = dd[val].nbBytes; 2313*3117ece4Schristos if (length <= maxL) 2314*3117ece4Schristos { 2315*3117ece4Schristos memcpy(op, ds+val, length); 2316*3117ece4Schristos BIT_skipBits(DStream, dd[val].nbBits); 2317*3117ece4Schristos return length; 2318*3117ece4Schristos } 2319*3117ece4Schristos memcpy(op, ds+val, maxL); 2320*3117ece4Schristos if (DStream->bitsConsumed < (sizeof(DStream->bitContainer)*8)) 2321*3117ece4Schristos { 2322*3117ece4Schristos BIT_skipBits(DStream, dd[val].nbBits); 2323*3117ece4Schristos if (DStream->bitsConsumed > (sizeof(DStream->bitContainer)*8)) 2324*3117ece4Schristos DStream->bitsConsumed = (sizeof(DStream->bitContainer)*8); /* ugly hack; works only because it's the last symbol. Note : can't easily extract nbBits from just this symbol */ 2325*3117ece4Schristos } 2326*3117ece4Schristos return maxL; 2327*3117ece4Schristos } 2328*3117ece4Schristos 2329*3117ece4Schristos 2330*3117ece4Schristos #define HUF_DECODE_SYMBOLX6_0(ptr, DStreamPtr) \ 2331*3117ece4Schristos ptr += HUF_decodeSymbolX6(ptr, DStreamPtr, dd, ds, dtLog) 2332*3117ece4Schristos 2333*3117ece4Schristos #define HUF_DECODE_SYMBOLX6_1(ptr, DStreamPtr) \ 2334*3117ece4Schristos if (MEM_64bits() || (HUF_MAX_TABLELOG<=12)) \ 2335*3117ece4Schristos HUF_DECODE_SYMBOLX6_0(ptr, DStreamPtr) 2336*3117ece4Schristos 2337*3117ece4Schristos #define HUF_DECODE_SYMBOLX6_2(ptr, DStreamPtr) \ 2338*3117ece4Schristos if (MEM_64bits()) \ 2339*3117ece4Schristos HUF_DECODE_SYMBOLX6_0(ptr, DStreamPtr) 2340*3117ece4Schristos 2341*3117ece4Schristos static inline size_t HUF_decodeStreamX6(BYTE* p, BIT_DStream_t* bitDPtr, BYTE* const pEnd, const U32* DTable, const U32 dtLog) 2342*3117ece4Schristos { 2343*3117ece4Schristos const void* ddPtr = DTable+1; 2344*3117ece4Schristos const HUF_DDescX6* dd = (const HUF_DDescX6*)(ddPtr); 2345*3117ece4Schristos const void* dsPtr = DTable + 1 + ((size_t)1<<(dtLog-1)); 2346*3117ece4Schristos const HUF_DSeqX6* ds = (const HUF_DSeqX6*)(dsPtr); 2347*3117ece4Schristos BYTE* const pStart = p; 2348*3117ece4Schristos 2349*3117ece4Schristos /* up to 16 symbols at a time */ 2350*3117ece4Schristos while ((BIT_reloadDStream(bitDPtr) == BIT_DStream_unfinished) && (p <= pEnd-16)) 2351*3117ece4Schristos { 2352*3117ece4Schristos HUF_DECODE_SYMBOLX6_2(p, bitDPtr); 2353*3117ece4Schristos HUF_DECODE_SYMBOLX6_1(p, bitDPtr); 2354*3117ece4Schristos HUF_DECODE_SYMBOLX6_2(p, bitDPtr); 2355*3117ece4Schristos HUF_DECODE_SYMBOLX6_0(p, bitDPtr); 2356*3117ece4Schristos } 2357*3117ece4Schristos 2358*3117ece4Schristos /* closer to the end, up to 4 symbols at a time */ 2359*3117ece4Schristos while ((BIT_reloadDStream(bitDPtr) == BIT_DStream_unfinished) && (p <= pEnd-4)) 2360*3117ece4Schristos HUF_DECODE_SYMBOLX6_0(p, bitDPtr); 2361*3117ece4Schristos 2362*3117ece4Schristos while (p <= pEnd-4) 2363*3117ece4Schristos HUF_DECODE_SYMBOLX6_0(p, bitDPtr); /* no need to reload : reached the end of DStream */ 2364*3117ece4Schristos 2365*3117ece4Schristos while (p < pEnd) 2366*3117ece4Schristos p += HUF_decodeLastSymbolsX6(p, (U32)(pEnd-p), bitDPtr, dd, ds, dtLog); 2367*3117ece4Schristos 2368*3117ece4Schristos return p-pStart; 2369*3117ece4Schristos } 2370*3117ece4Schristos 2371*3117ece4Schristos 2372*3117ece4Schristos 2373*3117ece4Schristos static size_t HUF_decompress4X6_usingDTable( 2374*3117ece4Schristos void* dst, size_t dstSize, 2375*3117ece4Schristos const void* cSrc, size_t cSrcSize, 2376*3117ece4Schristos const U32* DTable) 2377*3117ece4Schristos { 2378*3117ece4Schristos if (cSrcSize < 10) return ERROR(corruption_detected); /* strict minimum : jump table + 1 byte per stream */ 2379*3117ece4Schristos 2380*3117ece4Schristos { 2381*3117ece4Schristos const BYTE* const istart = (const BYTE*) cSrc; 2382*3117ece4Schristos BYTE* const ostart = (BYTE*) dst; 2383*3117ece4Schristos BYTE* const oend = ostart + dstSize; 2384*3117ece4Schristos 2385*3117ece4Schristos const U32 dtLog = DTable[0]; 2386*3117ece4Schristos const void* ddPtr = DTable+1; 2387*3117ece4Schristos const HUF_DDescX6* dd = (const HUF_DDescX6*)(ddPtr); 2388*3117ece4Schristos const void* dsPtr = DTable + 1 + ((size_t)1<<(dtLog-1)); 2389*3117ece4Schristos const HUF_DSeqX6* ds = (const HUF_DSeqX6*)(dsPtr); 2390*3117ece4Schristos size_t errorCode; 2391*3117ece4Schristos 2392*3117ece4Schristos /* Init */ 2393*3117ece4Schristos BIT_DStream_t bitD1; 2394*3117ece4Schristos BIT_DStream_t bitD2; 2395*3117ece4Schristos BIT_DStream_t bitD3; 2396*3117ece4Schristos BIT_DStream_t bitD4; 2397*3117ece4Schristos const size_t length1 = MEM_readLE16(istart); 2398*3117ece4Schristos const size_t length2 = MEM_readLE16(istart+2); 2399*3117ece4Schristos const size_t length3 = MEM_readLE16(istart+4); 2400*3117ece4Schristos size_t length4; 2401*3117ece4Schristos const BYTE* const istart1 = istart + 6; /* jumpTable */ 2402*3117ece4Schristos const BYTE* const istart2 = istart1 + length1; 2403*3117ece4Schristos const BYTE* const istart3 = istart2 + length2; 2404*3117ece4Schristos const BYTE* const istart4 = istart3 + length3; 2405*3117ece4Schristos const size_t segmentSize = (dstSize+3) / 4; 2406*3117ece4Schristos BYTE* const opStart2 = ostart + segmentSize; 2407*3117ece4Schristos BYTE* const opStart3 = opStart2 + segmentSize; 2408*3117ece4Schristos BYTE* const opStart4 = opStart3 + segmentSize; 2409*3117ece4Schristos BYTE* op1 = ostart; 2410*3117ece4Schristos BYTE* op2 = opStart2; 2411*3117ece4Schristos BYTE* op3 = opStart3; 2412*3117ece4Schristos BYTE* op4 = opStart4; 2413*3117ece4Schristos U32 endSignal; 2414*3117ece4Schristos 2415*3117ece4Schristos length4 = cSrcSize - (length1 + length2 + length3 + 6); 2416*3117ece4Schristos if (length4 > cSrcSize) return ERROR(corruption_detected); /* overflow */ 2417*3117ece4Schristos errorCode = BIT_initDStream(&bitD1, istart1, length1); 2418*3117ece4Schristos if (HUF_isError(errorCode)) return errorCode; 2419*3117ece4Schristos errorCode = BIT_initDStream(&bitD2, istart2, length2); 2420*3117ece4Schristos if (HUF_isError(errorCode)) return errorCode; 2421*3117ece4Schristos errorCode = BIT_initDStream(&bitD3, istart3, length3); 2422*3117ece4Schristos if (HUF_isError(errorCode)) return errorCode; 2423*3117ece4Schristos errorCode = BIT_initDStream(&bitD4, istart4, length4); 2424*3117ece4Schristos if (HUF_isError(errorCode)) return errorCode; 2425*3117ece4Schristos 2426*3117ece4Schristos /* 16-64 symbols per loop (4-16 symbols per stream) */ 2427*3117ece4Schristos endSignal = BIT_reloadDStream(&bitD1) | BIT_reloadDStream(&bitD2) | BIT_reloadDStream(&bitD3) | BIT_reloadDStream(&bitD4); 2428*3117ece4Schristos for ( ; (op3 <= opStart4) && (endSignal==BIT_DStream_unfinished) && (op4<=(oend-16)) ; ) 2429*3117ece4Schristos { 2430*3117ece4Schristos HUF_DECODE_SYMBOLX6_2(op1, &bitD1); 2431*3117ece4Schristos HUF_DECODE_SYMBOLX6_2(op2, &bitD2); 2432*3117ece4Schristos HUF_DECODE_SYMBOLX6_2(op3, &bitD3); 2433*3117ece4Schristos HUF_DECODE_SYMBOLX6_2(op4, &bitD4); 2434*3117ece4Schristos HUF_DECODE_SYMBOLX6_1(op1, &bitD1); 2435*3117ece4Schristos HUF_DECODE_SYMBOLX6_1(op2, &bitD2); 2436*3117ece4Schristos HUF_DECODE_SYMBOLX6_1(op3, &bitD3); 2437*3117ece4Schristos HUF_DECODE_SYMBOLX6_1(op4, &bitD4); 2438*3117ece4Schristos HUF_DECODE_SYMBOLX6_2(op1, &bitD1); 2439*3117ece4Schristos HUF_DECODE_SYMBOLX6_2(op2, &bitD2); 2440*3117ece4Schristos HUF_DECODE_SYMBOLX6_2(op3, &bitD3); 2441*3117ece4Schristos HUF_DECODE_SYMBOLX6_2(op4, &bitD4); 2442*3117ece4Schristos HUF_DECODE_SYMBOLX6_0(op1, &bitD1); 2443*3117ece4Schristos HUF_DECODE_SYMBOLX6_0(op2, &bitD2); 2444*3117ece4Schristos HUF_DECODE_SYMBOLX6_0(op3, &bitD3); 2445*3117ece4Schristos HUF_DECODE_SYMBOLX6_0(op4, &bitD4); 2446*3117ece4Schristos 2447*3117ece4Schristos endSignal = BIT_reloadDStream(&bitD1) | BIT_reloadDStream(&bitD2) | BIT_reloadDStream(&bitD3) | BIT_reloadDStream(&bitD4); 2448*3117ece4Schristos } 2449*3117ece4Schristos 2450*3117ece4Schristos /* check corruption */ 2451*3117ece4Schristos if (op1 > opStart2) return ERROR(corruption_detected); 2452*3117ece4Schristos if (op2 > opStart3) return ERROR(corruption_detected); 2453*3117ece4Schristos if (op3 > opStart4) return ERROR(corruption_detected); 2454*3117ece4Schristos /* note : op4 supposed already verified within main loop */ 2455*3117ece4Schristos 2456*3117ece4Schristos /* finish bitStreams one by one */ 2457*3117ece4Schristos HUF_decodeStreamX6(op1, &bitD1, opStart2, DTable, dtLog); 2458*3117ece4Schristos HUF_decodeStreamX6(op2, &bitD2, opStart3, DTable, dtLog); 2459*3117ece4Schristos HUF_decodeStreamX6(op3, &bitD3, opStart4, DTable, dtLog); 2460*3117ece4Schristos HUF_decodeStreamX6(op4, &bitD4, oend, DTable, dtLog); 2461*3117ece4Schristos 2462*3117ece4Schristos /* check */ 2463*3117ece4Schristos endSignal = BIT_endOfDStream(&bitD1) & BIT_endOfDStream(&bitD2) & BIT_endOfDStream(&bitD3) & BIT_endOfDStream(&bitD4); 2464*3117ece4Schristos if (!endSignal) return ERROR(corruption_detected); 2465*3117ece4Schristos 2466*3117ece4Schristos /* decoded size */ 2467*3117ece4Schristos return dstSize; 2468*3117ece4Schristos } 2469*3117ece4Schristos } 2470*3117ece4Schristos 2471*3117ece4Schristos 2472*3117ece4Schristos static size_t HUF_decompress4X6 (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize) 2473*3117ece4Schristos { 2474*3117ece4Schristos HUF_CREATE_STATIC_DTABLEX6(DTable, HUF_MAX_TABLELOG); 2475*3117ece4Schristos const BYTE* ip = (const BYTE*) cSrc; 2476*3117ece4Schristos 2477*3117ece4Schristos size_t hSize = HUF_readDTableX6 (DTable, cSrc, cSrcSize); 2478*3117ece4Schristos if (HUF_isError(hSize)) return hSize; 2479*3117ece4Schristos if (hSize >= cSrcSize) return ERROR(srcSize_wrong); 2480*3117ece4Schristos ip += hSize; 2481*3117ece4Schristos cSrcSize -= hSize; 2482*3117ece4Schristos 2483*3117ece4Schristos return HUF_decompress4X6_usingDTable (dst, dstSize, ip, cSrcSize, DTable); 2484*3117ece4Schristos } 2485*3117ece4Schristos 2486*3117ece4Schristos 2487*3117ece4Schristos /**********************************/ 2488*3117ece4Schristos /* Generic decompression selector */ 2489*3117ece4Schristos /**********************************/ 2490*3117ece4Schristos 2491*3117ece4Schristos typedef struct { U32 tableTime; U32 decode256Time; } algo_time_t; 2492*3117ece4Schristos static const algo_time_t algoTime[16 /* Quantization */][3 /* single, double, quad */] = 2493*3117ece4Schristos { 2494*3117ece4Schristos /* single, double, quad */ 2495*3117ece4Schristos {{0,0}, {1,1}, {2,2}}, /* Q==0 : impossible */ 2496*3117ece4Schristos {{0,0}, {1,1}, {2,2}}, /* Q==1 : impossible */ 2497*3117ece4Schristos {{ 38,130}, {1313, 74}, {2151, 38}}, /* Q == 2 : 12-18% */ 2498*3117ece4Schristos {{ 448,128}, {1353, 74}, {2238, 41}}, /* Q == 3 : 18-25% */ 2499*3117ece4Schristos {{ 556,128}, {1353, 74}, {2238, 47}}, /* Q == 4 : 25-32% */ 2500*3117ece4Schristos {{ 714,128}, {1418, 74}, {2436, 53}}, /* Q == 5 : 32-38% */ 2501*3117ece4Schristos {{ 883,128}, {1437, 74}, {2464, 61}}, /* Q == 6 : 38-44% */ 2502*3117ece4Schristos {{ 897,128}, {1515, 75}, {2622, 68}}, /* Q == 7 : 44-50% */ 2503*3117ece4Schristos {{ 926,128}, {1613, 75}, {2730, 75}}, /* Q == 8 : 50-56% */ 2504*3117ece4Schristos {{ 947,128}, {1729, 77}, {3359, 77}}, /* Q == 9 : 56-62% */ 2505*3117ece4Schristos {{1107,128}, {2083, 81}, {4006, 84}}, /* Q ==10 : 62-69% */ 2506*3117ece4Schristos {{1177,128}, {2379, 87}, {4785, 88}}, /* Q ==11 : 69-75% */ 2507*3117ece4Schristos {{1242,128}, {2415, 93}, {5155, 84}}, /* Q ==12 : 75-81% */ 2508*3117ece4Schristos {{1349,128}, {2644,106}, {5260,106}}, /* Q ==13 : 81-87% */ 2509*3117ece4Schristos {{1455,128}, {2422,124}, {4174,124}}, /* Q ==14 : 87-93% */ 2510*3117ece4Schristos {{ 722,128}, {1891,145}, {1936,146}}, /* Q ==15 : 93-99% */ 2511*3117ece4Schristos }; 2512*3117ece4Schristos 2513*3117ece4Schristos typedef size_t (*decompressionAlgo)(void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize); 2514*3117ece4Schristos 2515*3117ece4Schristos static size_t HUF_decompress (void* dst, size_t dstSize, const void* cSrc, size_t cSrcSize) 2516*3117ece4Schristos { 2517*3117ece4Schristos static const decompressionAlgo decompress[3] = { HUF_decompress4X2, HUF_decompress4X4, HUF_decompress4X6 }; 2518*3117ece4Schristos /* estimate decompression time */ 2519*3117ece4Schristos U32 Q; 2520*3117ece4Schristos const U32 D256 = (U32)(dstSize >> 8); 2521*3117ece4Schristos U32 Dtime[3]; 2522*3117ece4Schristos U32 algoNb = 0; 2523*3117ece4Schristos int n; 2524*3117ece4Schristos 2525*3117ece4Schristos /* validation checks */ 2526*3117ece4Schristos if (dstSize == 0) return ERROR(dstSize_tooSmall); 2527*3117ece4Schristos if (cSrcSize > dstSize) return ERROR(corruption_detected); /* invalid */ 2528*3117ece4Schristos if (cSrcSize == dstSize) { memcpy(dst, cSrc, dstSize); return dstSize; } /* not compressed */ 2529*3117ece4Schristos if (cSrcSize == 1) { memset(dst, *(const BYTE*)cSrc, dstSize); return dstSize; } /* RLE */ 2530*3117ece4Schristos 2531*3117ece4Schristos /* decoder timing evaluation */ 2532*3117ece4Schristos Q = (U32)(cSrcSize * 16 / dstSize); /* Q < 16 since dstSize > cSrcSize */ 2533*3117ece4Schristos for (n=0; n<3; n++) 2534*3117ece4Schristos Dtime[n] = algoTime[Q][n].tableTime + (algoTime[Q][n].decode256Time * D256); 2535*3117ece4Schristos 2536*3117ece4Schristos Dtime[1] += Dtime[1] >> 4; Dtime[2] += Dtime[2] >> 3; /* advantage to algorithms using less memory, for cache eviction */ 2537*3117ece4Schristos 2538*3117ece4Schristos if (Dtime[1] < Dtime[0]) algoNb = 1; 2539*3117ece4Schristos if (Dtime[2] < Dtime[algoNb]) algoNb = 2; 2540*3117ece4Schristos 2541*3117ece4Schristos return decompress[algoNb](dst, dstSize, cSrc, cSrcSize); 2542*3117ece4Schristos 2543*3117ece4Schristos //return HUF_decompress4X2(dst, dstSize, cSrc, cSrcSize); /* multi-streams single-symbol decoding */ 2544*3117ece4Schristos //return HUF_decompress4X4(dst, dstSize, cSrc, cSrcSize); /* multi-streams double-symbols decoding */ 2545*3117ece4Schristos //return HUF_decompress4X6(dst, dstSize, cSrc, cSrcSize); /* multi-streams quad-symbols decoding */ 2546*3117ece4Schristos } 2547*3117ece4Schristos /* 2548*3117ece4Schristos zstd - standard compression library 2549*3117ece4Schristos Copyright (C) 2014-2015, Yann Collet. 2550*3117ece4Schristos 2551*3117ece4Schristos BSD 2-Clause License (https://opensource.org/licenses/bsd-license.php) 2552*3117ece4Schristos 2553*3117ece4Schristos Redistribution and use in source and binary forms, with or without 2554*3117ece4Schristos modification, are permitted provided that the following conditions are 2555*3117ece4Schristos met: 2556*3117ece4Schristos * Redistributions of source code must retain the above copyright 2557*3117ece4Schristos notice, this list of conditions and the following disclaimer. 2558*3117ece4Schristos * Redistributions in binary form must reproduce the above 2559*3117ece4Schristos copyright notice, this list of conditions and the following disclaimer 2560*3117ece4Schristos in the documentation and/or other materials provided with the 2561*3117ece4Schristos distribution. 2562*3117ece4Schristos THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 2563*3117ece4Schristos "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 2564*3117ece4Schristos LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 2565*3117ece4Schristos A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 2566*3117ece4Schristos OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 2567*3117ece4Schristos SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 2568*3117ece4Schristos LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 2569*3117ece4Schristos DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 2570*3117ece4Schristos THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 2571*3117ece4Schristos (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 2572*3117ece4Schristos OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 2573*3117ece4Schristos 2574*3117ece4Schristos You can contact the author at : 2575*3117ece4Schristos - zstd source repository : https://github.com/Cyan4973/zstd 2576*3117ece4Schristos - ztsd public forum : https://groups.google.com/forum/#!forum/lz4c 2577*3117ece4Schristos */ 2578*3117ece4Schristos 2579*3117ece4Schristos /* *************************************************************** 2580*3117ece4Schristos * Tuning parameters 2581*3117ece4Schristos *****************************************************************/ 2582*3117ece4Schristos /*! 2583*3117ece4Schristos * MEMORY_USAGE : 2584*3117ece4Schristos * Memory usage formula : N->2^N Bytes (examples : 10 -> 1KB; 12 -> 4KB ; 16 -> 64KB; 20 -> 1MB; etc.) 2585*3117ece4Schristos * Increasing memory usage improves compression ratio 2586*3117ece4Schristos * Reduced memory usage can improve speed, due to cache effect 2587*3117ece4Schristos */ 2588*3117ece4Schristos #define ZSTD_MEMORY_USAGE 17 2589*3117ece4Schristos 2590*3117ece4Schristos /*! 2591*3117ece4Schristos * HEAPMODE : 2592*3117ece4Schristos * Select how default compression functions will allocate memory for their hash table, 2593*3117ece4Schristos * in memory stack (0, fastest), or in memory heap (1, requires malloc()) 2594*3117ece4Schristos * Note that compression context is fairly large, as a consequence heap memory is recommended. 2595*3117ece4Schristos */ 2596*3117ece4Schristos #ifndef ZSTD_HEAPMODE 2597*3117ece4Schristos # define ZSTD_HEAPMODE 1 2598*3117ece4Schristos #endif /* ZSTD_HEAPMODE */ 2599*3117ece4Schristos 2600*3117ece4Schristos /*! 2601*3117ece4Schristos * LEGACY_SUPPORT : 2602*3117ece4Schristos * decompressor can decode older formats (starting from Zstd 0.1+) 2603*3117ece4Schristos */ 2604*3117ece4Schristos #ifndef ZSTD_LEGACY_SUPPORT 2605*3117ece4Schristos # define ZSTD_LEGACY_SUPPORT 1 2606*3117ece4Schristos #endif 2607*3117ece4Schristos 2608*3117ece4Schristos 2609*3117ece4Schristos /* ******************************************************* 2610*3117ece4Schristos * Includes 2611*3117ece4Schristos *********************************************************/ 2612*3117ece4Schristos #include <stdlib.h> /* calloc */ 2613*3117ece4Schristos #include <string.h> /* memcpy, memmove */ 2614*3117ece4Schristos #include <stdio.h> /* debug : printf */ 2615*3117ece4Schristos 2616*3117ece4Schristos 2617*3117ece4Schristos /* ******************************************************* 2618*3117ece4Schristos * Compiler specifics 2619*3117ece4Schristos *********************************************************/ 2620*3117ece4Schristos #ifdef __AVX2__ 2621*3117ece4Schristos # include <immintrin.h> /* AVX2 intrinsics */ 2622*3117ece4Schristos #endif 2623*3117ece4Schristos 2624*3117ece4Schristos #ifdef _MSC_VER /* Visual Studio */ 2625*3117ece4Schristos # include <intrin.h> /* For Visual 2005 */ 2626*3117ece4Schristos # pragma warning(disable : 4127) /* disable: C4127: conditional expression is constant */ 2627*3117ece4Schristos # pragma warning(disable : 4324) /* disable: C4324: padded structure */ 2628*3117ece4Schristos #endif 2629*3117ece4Schristos 2630*3117ece4Schristos 2631*3117ece4Schristos /* ******************************************************* 2632*3117ece4Schristos * Constants 2633*3117ece4Schristos *********************************************************/ 2634*3117ece4Schristos #define HASH_LOG (ZSTD_MEMORY_USAGE - 2) 2635*3117ece4Schristos #define HASH_TABLESIZE (1 << HASH_LOG) 2636*3117ece4Schristos #define HASH_MASK (HASH_TABLESIZE - 1) 2637*3117ece4Schristos 2638*3117ece4Schristos #define KNUTH 2654435761 2639*3117ece4Schristos 2640*3117ece4Schristos #define BIT7 128 2641*3117ece4Schristos #define BIT6 64 2642*3117ece4Schristos #define BIT5 32 2643*3117ece4Schristos #define BIT4 16 2644*3117ece4Schristos #define BIT1 2 2645*3117ece4Schristos #define BIT0 1 2646*3117ece4Schristos 2647*3117ece4Schristos #define KB *(1 <<10) 2648*3117ece4Schristos #define MB *(1 <<20) 2649*3117ece4Schristos #define GB *(1U<<30) 2650*3117ece4Schristos 2651*3117ece4Schristos #define BLOCKSIZE (128 KB) /* define, for static allocation */ 2652*3117ece4Schristos #define MIN_SEQUENCES_SIZE (2 /*seqNb*/ + 2 /*dumps*/ + 3 /*seqTables*/ + 1 /*bitStream*/) 2653*3117ece4Schristos #define MIN_CBLOCK_SIZE (3 /*litCSize*/ + MIN_SEQUENCES_SIZE) 2654*3117ece4Schristos #define IS_RAW BIT0 2655*3117ece4Schristos #define IS_RLE BIT1 2656*3117ece4Schristos 2657*3117ece4Schristos #define WORKPLACESIZE (BLOCKSIZE*3) 2658*3117ece4Schristos #define MINMATCH 4 2659*3117ece4Schristos #define MLbits 7 2660*3117ece4Schristos #define LLbits 6 2661*3117ece4Schristos #define Offbits 5 2662*3117ece4Schristos #define MaxML ((1<<MLbits )-1) 2663*3117ece4Schristos #define MaxLL ((1<<LLbits )-1) 2664*3117ece4Schristos #define MaxOff 31 2665*3117ece4Schristos #define LitFSELog 11 2666*3117ece4Schristos #define MLFSELog 10 2667*3117ece4Schristos #define LLFSELog 10 2668*3117ece4Schristos #define OffFSELog 9 2669*3117ece4Schristos #define MAX(a,b) ((a)<(b)?(b):(a)) 2670*3117ece4Schristos #define MaxSeq MAX(MaxLL, MaxML) 2671*3117ece4Schristos 2672*3117ece4Schristos #define LITERAL_NOENTROPY 63 2673*3117ece4Schristos #define COMMAND_NOENTROPY 7 /* to remove */ 2674*3117ece4Schristos 2675*3117ece4Schristos #define ZSTD_CONTENTSIZE_ERROR (0ULL - 2) 2676*3117ece4Schristos 2677*3117ece4Schristos static const size_t ZSTD_blockHeaderSize = 3; 2678*3117ece4Schristos static const size_t ZSTD_frameHeaderSize = 4; 2679*3117ece4Schristos 2680*3117ece4Schristos 2681*3117ece4Schristos /* ******************************************************* 2682*3117ece4Schristos * Memory operations 2683*3117ece4Schristos **********************************************************/ 2684*3117ece4Schristos static void ZSTD_copy4(void* dst, const void* src) { memcpy(dst, src, 4); } 2685*3117ece4Schristos 2686*3117ece4Schristos static void ZSTD_copy8(void* dst, const void* src) { memcpy(dst, src, 8); } 2687*3117ece4Schristos 2688*3117ece4Schristos #define COPY8(d,s) { ZSTD_copy8(d,s); d+=8; s+=8; } 2689*3117ece4Schristos 2690*3117ece4Schristos /*! ZSTD_wildcopy : custom version of memcpy(), can copy up to 7-8 bytes too many */ 2691*3117ece4Schristos static void ZSTD_wildcopy(void* dst, const void* src, ptrdiff_t length) 2692*3117ece4Schristos { 2693*3117ece4Schristos const BYTE* ip = (const BYTE*)src; 2694*3117ece4Schristos BYTE* op = (BYTE*)dst; 2695*3117ece4Schristos BYTE* const oend = op + length; 2696*3117ece4Schristos do COPY8(op, ip) while (op < oend); 2697*3117ece4Schristos } 2698*3117ece4Schristos 2699*3117ece4Schristos 2700*3117ece4Schristos /* ************************************** 2701*3117ece4Schristos * Local structures 2702*3117ece4Schristos ****************************************/ 2703*3117ece4Schristos typedef enum { bt_compressed, bt_raw, bt_rle, bt_end } blockType_t; 2704*3117ece4Schristos 2705*3117ece4Schristos typedef struct 2706*3117ece4Schristos { 2707*3117ece4Schristos blockType_t blockType; 2708*3117ece4Schristos U32 origSize; 2709*3117ece4Schristos } blockProperties_t; 2710*3117ece4Schristos 2711*3117ece4Schristos typedef struct { 2712*3117ece4Schristos void* buffer; 2713*3117ece4Schristos U32* offsetStart; 2714*3117ece4Schristos U32* offset; 2715*3117ece4Schristos BYTE* offCodeStart; 2716*3117ece4Schristos BYTE* offCode; 2717*3117ece4Schristos BYTE* litStart; 2718*3117ece4Schristos BYTE* lit; 2719*3117ece4Schristos BYTE* litLengthStart; 2720*3117ece4Schristos BYTE* litLength; 2721*3117ece4Schristos BYTE* matchLengthStart; 2722*3117ece4Schristos BYTE* matchLength; 2723*3117ece4Schristos BYTE* dumpsStart; 2724*3117ece4Schristos BYTE* dumps; 2725*3117ece4Schristos } seqStore_t; 2726*3117ece4Schristos 2727*3117ece4Schristos 2728*3117ece4Schristos /* ************************************* 2729*3117ece4Schristos * Error Management 2730*3117ece4Schristos ***************************************/ 2731*3117ece4Schristos /*! ZSTD_isError 2732*3117ece4Schristos * tells if a return value is an error code */ 2733*3117ece4Schristos static unsigned ZSTD_isError(size_t code) { return ERR_isError(code); } 2734*3117ece4Schristos 2735*3117ece4Schristos 2736*3117ece4Schristos 2737*3117ece4Schristos /* ************************************************************* 2738*3117ece4Schristos * Decompression section 2739*3117ece4Schristos ***************************************************************/ 2740*3117ece4Schristos struct ZSTDv02_Dctx_s 2741*3117ece4Schristos { 2742*3117ece4Schristos U32 LLTable[FSE_DTABLE_SIZE_U32(LLFSELog)]; 2743*3117ece4Schristos U32 OffTable[FSE_DTABLE_SIZE_U32(OffFSELog)]; 2744*3117ece4Schristos U32 MLTable[FSE_DTABLE_SIZE_U32(MLFSELog)]; 2745*3117ece4Schristos void* previousDstEnd; 2746*3117ece4Schristos void* base; 2747*3117ece4Schristos size_t expected; 2748*3117ece4Schristos blockType_t bType; 2749*3117ece4Schristos U32 phase; 2750*3117ece4Schristos const BYTE* litPtr; 2751*3117ece4Schristos size_t litSize; 2752*3117ece4Schristos BYTE litBuffer[BLOCKSIZE + 8 /* margin for wildcopy */]; 2753*3117ece4Schristos }; /* typedef'd to ZSTD_Dctx within "zstd_static.h" */ 2754*3117ece4Schristos 2755*3117ece4Schristos 2756*3117ece4Schristos static size_t ZSTD_getcBlockSize(const void* src, size_t srcSize, blockProperties_t* bpPtr) 2757*3117ece4Schristos { 2758*3117ece4Schristos const BYTE* const in = (const BYTE* const)src; 2759*3117ece4Schristos BYTE headerFlags; 2760*3117ece4Schristos U32 cSize; 2761*3117ece4Schristos 2762*3117ece4Schristos if (srcSize < 3) return ERROR(srcSize_wrong); 2763*3117ece4Schristos 2764*3117ece4Schristos headerFlags = *in; 2765*3117ece4Schristos cSize = in[2] + (in[1]<<8) + ((in[0] & 7)<<16); 2766*3117ece4Schristos 2767*3117ece4Schristos bpPtr->blockType = (blockType_t)(headerFlags >> 6); 2768*3117ece4Schristos bpPtr->origSize = (bpPtr->blockType == bt_rle) ? cSize : 0; 2769*3117ece4Schristos 2770*3117ece4Schristos if (bpPtr->blockType == bt_end) return 0; 2771*3117ece4Schristos if (bpPtr->blockType == bt_rle) return 1; 2772*3117ece4Schristos return cSize; 2773*3117ece4Schristos } 2774*3117ece4Schristos 2775*3117ece4Schristos static size_t ZSTD_copyUncompressedBlock(void* dst, size_t maxDstSize, const void* src, size_t srcSize) 2776*3117ece4Schristos { 2777*3117ece4Schristos if (srcSize > maxDstSize) return ERROR(dstSize_tooSmall); 2778*3117ece4Schristos if (srcSize > 0) { 2779*3117ece4Schristos memcpy(dst, src, srcSize); 2780*3117ece4Schristos } 2781*3117ece4Schristos return srcSize; 2782*3117ece4Schristos } 2783*3117ece4Schristos 2784*3117ece4Schristos 2785*3117ece4Schristos /** ZSTD_decompressLiterals 2786*3117ece4Schristos @return : nb of bytes read from src, or an error code*/ 2787*3117ece4Schristos static size_t ZSTD_decompressLiterals(void* dst, size_t* maxDstSizePtr, 2788*3117ece4Schristos const void* src, size_t srcSize) 2789*3117ece4Schristos { 2790*3117ece4Schristos const BYTE* ip = (const BYTE*)src; 2791*3117ece4Schristos 2792*3117ece4Schristos const size_t litSize = (MEM_readLE32(src) & 0x1FFFFF) >> 2; /* no buffer issue : srcSize >= MIN_CBLOCK_SIZE */ 2793*3117ece4Schristos const size_t litCSize = (MEM_readLE32(ip+2) & 0xFFFFFF) >> 5; /* no buffer issue : srcSize >= MIN_CBLOCK_SIZE */ 2794*3117ece4Schristos 2795*3117ece4Schristos if (litSize > *maxDstSizePtr) return ERROR(corruption_detected); 2796*3117ece4Schristos if (litCSize + 5 > srcSize) return ERROR(corruption_detected); 2797*3117ece4Schristos 2798*3117ece4Schristos if (HUF_isError(HUF_decompress(dst, litSize, ip+5, litCSize))) return ERROR(corruption_detected); 2799*3117ece4Schristos 2800*3117ece4Schristos *maxDstSizePtr = litSize; 2801*3117ece4Schristos return litCSize + 5; 2802*3117ece4Schristos } 2803*3117ece4Schristos 2804*3117ece4Schristos 2805*3117ece4Schristos /** ZSTD_decodeLiteralsBlock 2806*3117ece4Schristos @return : nb of bytes read from src (< srcSize )*/ 2807*3117ece4Schristos static size_t ZSTD_decodeLiteralsBlock(void* ctx, 2808*3117ece4Schristos const void* src, size_t srcSize) 2809*3117ece4Schristos { 2810*3117ece4Schristos ZSTD_DCtx* dctx = (ZSTD_DCtx*)ctx; 2811*3117ece4Schristos const BYTE* const istart = (const BYTE* const)src; 2812*3117ece4Schristos 2813*3117ece4Schristos /* any compressed block with literals segment must be at least this size */ 2814*3117ece4Schristos if (srcSize < MIN_CBLOCK_SIZE) return ERROR(corruption_detected); 2815*3117ece4Schristos 2816*3117ece4Schristos switch(*istart & 3) 2817*3117ece4Schristos { 2818*3117ece4Schristos default: 2819*3117ece4Schristos case 0: 2820*3117ece4Schristos { 2821*3117ece4Schristos size_t litSize = BLOCKSIZE; 2822*3117ece4Schristos const size_t readSize = ZSTD_decompressLiterals(dctx->litBuffer, &litSize, src, srcSize); 2823*3117ece4Schristos dctx->litPtr = dctx->litBuffer; 2824*3117ece4Schristos dctx->litSize = litSize; 2825*3117ece4Schristos memset(dctx->litBuffer + dctx->litSize, 0, 8); 2826*3117ece4Schristos return readSize; /* works if it's an error too */ 2827*3117ece4Schristos } 2828*3117ece4Schristos case IS_RAW: 2829*3117ece4Schristos { 2830*3117ece4Schristos const size_t litSize = (MEM_readLE32(istart) & 0xFFFFFF) >> 2; /* no buffer issue : srcSize >= MIN_CBLOCK_SIZE */ 2831*3117ece4Schristos if (litSize > srcSize-11) /* risk of reading too far with wildcopy */ 2832*3117ece4Schristos { 2833*3117ece4Schristos if (litSize > BLOCKSIZE) return ERROR(corruption_detected); 2834*3117ece4Schristos if (litSize > srcSize-3) return ERROR(corruption_detected); 2835*3117ece4Schristos memcpy(dctx->litBuffer, istart, litSize); 2836*3117ece4Schristos dctx->litPtr = dctx->litBuffer; 2837*3117ece4Schristos dctx->litSize = litSize; 2838*3117ece4Schristos memset(dctx->litBuffer + dctx->litSize, 0, 8); 2839*3117ece4Schristos return litSize+3; 2840*3117ece4Schristos } 2841*3117ece4Schristos /* direct reference into compressed stream */ 2842*3117ece4Schristos dctx->litPtr = istart+3; 2843*3117ece4Schristos dctx->litSize = litSize; 2844*3117ece4Schristos return litSize+3; 2845*3117ece4Schristos } 2846*3117ece4Schristos case IS_RLE: 2847*3117ece4Schristos { 2848*3117ece4Schristos const size_t litSize = (MEM_readLE32(istart) & 0xFFFFFF) >> 2; /* no buffer issue : srcSize >= MIN_CBLOCK_SIZE */ 2849*3117ece4Schristos if (litSize > BLOCKSIZE) return ERROR(corruption_detected); 2850*3117ece4Schristos memset(dctx->litBuffer, istart[3], litSize + 8); 2851*3117ece4Schristos dctx->litPtr = dctx->litBuffer; 2852*3117ece4Schristos dctx->litSize = litSize; 2853*3117ece4Schristos return 4; 2854*3117ece4Schristos } 2855*3117ece4Schristos } 2856*3117ece4Schristos } 2857*3117ece4Schristos 2858*3117ece4Schristos 2859*3117ece4Schristos static size_t ZSTD_decodeSeqHeaders(int* nbSeq, const BYTE** dumpsPtr, size_t* dumpsLengthPtr, 2860*3117ece4Schristos FSE_DTable* DTableLL, FSE_DTable* DTableML, FSE_DTable* DTableOffb, 2861*3117ece4Schristos const void* src, size_t srcSize) 2862*3117ece4Schristos { 2863*3117ece4Schristos const BYTE* const istart = (const BYTE* const)src; 2864*3117ece4Schristos const BYTE* ip = istart; 2865*3117ece4Schristos const BYTE* const iend = istart + srcSize; 2866*3117ece4Schristos U32 LLtype, Offtype, MLtype; 2867*3117ece4Schristos U32 LLlog, Offlog, MLlog; 2868*3117ece4Schristos size_t dumpsLength; 2869*3117ece4Schristos 2870*3117ece4Schristos /* check */ 2871*3117ece4Schristos if (srcSize < 5) return ERROR(srcSize_wrong); 2872*3117ece4Schristos 2873*3117ece4Schristos /* SeqHead */ 2874*3117ece4Schristos *nbSeq = MEM_readLE16(ip); ip+=2; 2875*3117ece4Schristos LLtype = *ip >> 6; 2876*3117ece4Schristos Offtype = (*ip >> 4) & 3; 2877*3117ece4Schristos MLtype = (*ip >> 2) & 3; 2878*3117ece4Schristos if (*ip & 2) 2879*3117ece4Schristos { 2880*3117ece4Schristos dumpsLength = ip[2]; 2881*3117ece4Schristos dumpsLength += ip[1] << 8; 2882*3117ece4Schristos ip += 3; 2883*3117ece4Schristos } 2884*3117ece4Schristos else 2885*3117ece4Schristos { 2886*3117ece4Schristos dumpsLength = ip[1]; 2887*3117ece4Schristos dumpsLength += (ip[0] & 1) << 8; 2888*3117ece4Schristos ip += 2; 2889*3117ece4Schristos } 2890*3117ece4Schristos *dumpsPtr = ip; 2891*3117ece4Schristos ip += dumpsLength; 2892*3117ece4Schristos *dumpsLengthPtr = dumpsLength; 2893*3117ece4Schristos 2894*3117ece4Schristos /* check */ 2895*3117ece4Schristos if (ip > iend-3) return ERROR(srcSize_wrong); /* min : all 3 are "raw", hence no header, but at least xxLog bits per type */ 2896*3117ece4Schristos 2897*3117ece4Schristos /* sequences */ 2898*3117ece4Schristos { 2899*3117ece4Schristos S16 norm[MaxML+1]; /* assumption : MaxML >= MaxLL and MaxOff */ 2900*3117ece4Schristos size_t headerSize; 2901*3117ece4Schristos 2902*3117ece4Schristos /* Build DTables */ 2903*3117ece4Schristos switch(LLtype) 2904*3117ece4Schristos { 2905*3117ece4Schristos case bt_rle : 2906*3117ece4Schristos LLlog = 0; 2907*3117ece4Schristos FSE_buildDTable_rle(DTableLL, *ip++); break; 2908*3117ece4Schristos case bt_raw : 2909*3117ece4Schristos LLlog = LLbits; 2910*3117ece4Schristos FSE_buildDTable_raw(DTableLL, LLbits); break; 2911*3117ece4Schristos default : 2912*3117ece4Schristos { U32 max = MaxLL; 2913*3117ece4Schristos headerSize = FSE_readNCount(norm, &max, &LLlog, ip, iend-ip); 2914*3117ece4Schristos if (FSE_isError(headerSize)) return ERROR(GENERIC); 2915*3117ece4Schristos if (LLlog > LLFSELog) return ERROR(corruption_detected); 2916*3117ece4Schristos ip += headerSize; 2917*3117ece4Schristos FSE_buildDTable(DTableLL, norm, max, LLlog); 2918*3117ece4Schristos } } 2919*3117ece4Schristos 2920*3117ece4Schristos switch(Offtype) 2921*3117ece4Schristos { 2922*3117ece4Schristos case bt_rle : 2923*3117ece4Schristos Offlog = 0; 2924*3117ece4Schristos if (ip > iend-2) return ERROR(srcSize_wrong); /* min : "raw", hence no header, but at least xxLog bits */ 2925*3117ece4Schristos FSE_buildDTable_rle(DTableOffb, *ip++ & MaxOff); /* if *ip > MaxOff, data is corrupted */ 2926*3117ece4Schristos break; 2927*3117ece4Schristos case bt_raw : 2928*3117ece4Schristos Offlog = Offbits; 2929*3117ece4Schristos FSE_buildDTable_raw(DTableOffb, Offbits); break; 2930*3117ece4Schristos default : 2931*3117ece4Schristos { U32 max = MaxOff; 2932*3117ece4Schristos headerSize = FSE_readNCount(norm, &max, &Offlog, ip, iend-ip); 2933*3117ece4Schristos if (FSE_isError(headerSize)) return ERROR(GENERIC); 2934*3117ece4Schristos if (Offlog > OffFSELog) return ERROR(corruption_detected); 2935*3117ece4Schristos ip += headerSize; 2936*3117ece4Schristos FSE_buildDTable(DTableOffb, norm, max, Offlog); 2937*3117ece4Schristos } } 2938*3117ece4Schristos 2939*3117ece4Schristos switch(MLtype) 2940*3117ece4Schristos { 2941*3117ece4Schristos case bt_rle : 2942*3117ece4Schristos MLlog = 0; 2943*3117ece4Schristos if (ip > iend-2) return ERROR(srcSize_wrong); /* min : "raw", hence no header, but at least xxLog bits */ 2944*3117ece4Schristos FSE_buildDTable_rle(DTableML, *ip++); break; 2945*3117ece4Schristos case bt_raw : 2946*3117ece4Schristos MLlog = MLbits; 2947*3117ece4Schristos FSE_buildDTable_raw(DTableML, MLbits); break; 2948*3117ece4Schristos default : 2949*3117ece4Schristos { U32 max = MaxML; 2950*3117ece4Schristos headerSize = FSE_readNCount(norm, &max, &MLlog, ip, iend-ip); 2951*3117ece4Schristos if (FSE_isError(headerSize)) return ERROR(GENERIC); 2952*3117ece4Schristos if (MLlog > MLFSELog) return ERROR(corruption_detected); 2953*3117ece4Schristos ip += headerSize; 2954*3117ece4Schristos FSE_buildDTable(DTableML, norm, max, MLlog); 2955*3117ece4Schristos } } } 2956*3117ece4Schristos 2957*3117ece4Schristos return ip-istart; 2958*3117ece4Schristos } 2959*3117ece4Schristos 2960*3117ece4Schristos 2961*3117ece4Schristos typedef struct { 2962*3117ece4Schristos size_t litLength; 2963*3117ece4Schristos size_t offset; 2964*3117ece4Schristos size_t matchLength; 2965*3117ece4Schristos } seq_t; 2966*3117ece4Schristos 2967*3117ece4Schristos typedef struct { 2968*3117ece4Schristos BIT_DStream_t DStream; 2969*3117ece4Schristos FSE_DState_t stateLL; 2970*3117ece4Schristos FSE_DState_t stateOffb; 2971*3117ece4Schristos FSE_DState_t stateML; 2972*3117ece4Schristos size_t prevOffset; 2973*3117ece4Schristos const BYTE* dumps; 2974*3117ece4Schristos const BYTE* dumpsEnd; 2975*3117ece4Schristos } seqState_t; 2976*3117ece4Schristos 2977*3117ece4Schristos 2978*3117ece4Schristos static void ZSTD_decodeSequence(seq_t* seq, seqState_t* seqState) 2979*3117ece4Schristos { 2980*3117ece4Schristos size_t litLength; 2981*3117ece4Schristos size_t prevOffset; 2982*3117ece4Schristos size_t offset; 2983*3117ece4Schristos size_t matchLength; 2984*3117ece4Schristos const BYTE* dumps = seqState->dumps; 2985*3117ece4Schristos const BYTE* const de = seqState->dumpsEnd; 2986*3117ece4Schristos 2987*3117ece4Schristos /* Literal length */ 2988*3117ece4Schristos litLength = FSE_decodeSymbol(&(seqState->stateLL), &(seqState->DStream)); 2989*3117ece4Schristos prevOffset = litLength ? seq->offset : seqState->prevOffset; 2990*3117ece4Schristos seqState->prevOffset = seq->offset; 2991*3117ece4Schristos if (litLength == MaxLL) 2992*3117ece4Schristos { 2993*3117ece4Schristos const U32 add = dumps<de ? *dumps++ : 0; 2994*3117ece4Schristos if (add < 255) litLength += add; 2995*3117ece4Schristos else if (dumps + 3 <= de) 2996*3117ece4Schristos { 2997*3117ece4Schristos litLength = MEM_readLE24(dumps); 2998*3117ece4Schristos dumps += 3; 2999*3117ece4Schristos } 3000*3117ece4Schristos if (dumps >= de) dumps = de-1; /* late correction, to avoid read overflow (data is now corrupted anyway) */ 3001*3117ece4Schristos } 3002*3117ece4Schristos 3003*3117ece4Schristos /* Offset */ 3004*3117ece4Schristos { 3005*3117ece4Schristos static const size_t offsetPrefix[MaxOff+1] = { /* note : size_t faster than U32 */ 3006*3117ece4Schristos 1 /*fake*/, 1, 2, 4, 8, 16, 32, 64, 128, 256, 3007*3117ece4Schristos 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 262144, 3008*3117ece4Schristos 524288, 1048576, 2097152, 4194304, 8388608, 16777216, 33554432, /*fake*/ 1, 1, 1, 1, 1 }; 3009*3117ece4Schristos U32 offsetCode, nbBits; 3010*3117ece4Schristos offsetCode = FSE_decodeSymbol(&(seqState->stateOffb), &(seqState->DStream)); /* <= maxOff, by table construction */ 3011*3117ece4Schristos if (MEM_32bits()) BIT_reloadDStream(&(seqState->DStream)); 3012*3117ece4Schristos nbBits = offsetCode - 1; 3013*3117ece4Schristos if (offsetCode==0) nbBits = 0; /* cmove */ 3014*3117ece4Schristos offset = offsetPrefix[offsetCode] + BIT_readBits(&(seqState->DStream), nbBits); 3015*3117ece4Schristos if (MEM_32bits()) BIT_reloadDStream(&(seqState->DStream)); 3016*3117ece4Schristos if (offsetCode==0) offset = prevOffset; /* cmove */ 3017*3117ece4Schristos } 3018*3117ece4Schristos 3019*3117ece4Schristos /* MatchLength */ 3020*3117ece4Schristos matchLength = FSE_decodeSymbol(&(seqState->stateML), &(seqState->DStream)); 3021*3117ece4Schristos if (matchLength == MaxML) 3022*3117ece4Schristos { 3023*3117ece4Schristos const U32 add = dumps<de ? *dumps++ : 0; 3024*3117ece4Schristos if (add < 255) matchLength += add; 3025*3117ece4Schristos else if (dumps + 3 <= de) 3026*3117ece4Schristos { 3027*3117ece4Schristos matchLength = MEM_readLE24(dumps); 3028*3117ece4Schristos dumps += 3; 3029*3117ece4Schristos } 3030*3117ece4Schristos if (dumps >= de) dumps = de-1; /* late correction, to avoid read overflow (data is now corrupted anyway) */ 3031*3117ece4Schristos } 3032*3117ece4Schristos matchLength += MINMATCH; 3033*3117ece4Schristos 3034*3117ece4Schristos /* save result */ 3035*3117ece4Schristos seq->litLength = litLength; 3036*3117ece4Schristos seq->offset = offset; 3037*3117ece4Schristos seq->matchLength = matchLength; 3038*3117ece4Schristos seqState->dumps = dumps; 3039*3117ece4Schristos } 3040*3117ece4Schristos 3041*3117ece4Schristos 3042*3117ece4Schristos static size_t ZSTD_execSequence(BYTE* op, 3043*3117ece4Schristos seq_t sequence, 3044*3117ece4Schristos const BYTE** litPtr, const BYTE* const litLimit, 3045*3117ece4Schristos BYTE* const base, BYTE* const oend) 3046*3117ece4Schristos { 3047*3117ece4Schristos static const int dec32table[] = {0, 1, 2, 1, 4, 4, 4, 4}; /* added */ 3048*3117ece4Schristos static const int dec64table[] = {8, 8, 8, 7, 8, 9,10,11}; /* subtracted */ 3049*3117ece4Schristos const BYTE* const ostart = op; 3050*3117ece4Schristos BYTE* const oLitEnd = op + sequence.litLength; 3051*3117ece4Schristos BYTE* const oMatchEnd = op + sequence.litLength + sequence.matchLength; /* risk : address space overflow (32-bits) */ 3052*3117ece4Schristos BYTE* const oend_8 = oend-8; 3053*3117ece4Schristos const BYTE* const litEnd = *litPtr + sequence.litLength; 3054*3117ece4Schristos 3055*3117ece4Schristos /* checks */ 3056*3117ece4Schristos size_t const seqLength = sequence.litLength + sequence.matchLength; 3057*3117ece4Schristos 3058*3117ece4Schristos if (seqLength > (size_t)(oend - op)) return ERROR(dstSize_tooSmall); 3059*3117ece4Schristos if (sequence.litLength > (size_t)(litLimit - *litPtr)) return ERROR(corruption_detected); 3060*3117ece4Schristos /* Now we know there are no overflow in literal nor match lengths, can use the pointer check */ 3061*3117ece4Schristos if (oLitEnd > oend_8) return ERROR(dstSize_tooSmall); 3062*3117ece4Schristos if (sequence.offset > (U32)(oLitEnd - base)) return ERROR(corruption_detected); 3063*3117ece4Schristos 3064*3117ece4Schristos if (oMatchEnd > oend) return ERROR(dstSize_tooSmall); /* overwrite beyond dst buffer */ 3065*3117ece4Schristos if (litEnd > litLimit) return ERROR(corruption_detected); /* overRead beyond lit buffer */ 3066*3117ece4Schristos 3067*3117ece4Schristos /* copy Literals */ 3068*3117ece4Schristos ZSTD_wildcopy(op, *litPtr, (ptrdiff_t)sequence.litLength); /* note : oLitEnd <= oend-8 : no risk of overwrite beyond oend */ 3069*3117ece4Schristos op = oLitEnd; 3070*3117ece4Schristos *litPtr = litEnd; /* update for next sequence */ 3071*3117ece4Schristos 3072*3117ece4Schristos /* copy Match */ 3073*3117ece4Schristos { 3074*3117ece4Schristos const BYTE* match = op - sequence.offset; 3075*3117ece4Schristos 3076*3117ece4Schristos /* check */ 3077*3117ece4Schristos if (sequence.offset > (size_t)op) return ERROR(corruption_detected); /* address space overflow test (this test seems kept by clang optimizer) */ 3078*3117ece4Schristos //if (match > op) return ERROR(corruption_detected); /* address space overflow test (is clang optimizer removing this test ?) */ 3079*3117ece4Schristos if (match < base) return ERROR(corruption_detected); 3080*3117ece4Schristos 3081*3117ece4Schristos /* close range match, overlap */ 3082*3117ece4Schristos if (sequence.offset < 8) 3083*3117ece4Schristos { 3084*3117ece4Schristos const int dec64 = dec64table[sequence.offset]; 3085*3117ece4Schristos op[0] = match[0]; 3086*3117ece4Schristos op[1] = match[1]; 3087*3117ece4Schristos op[2] = match[2]; 3088*3117ece4Schristos op[3] = match[3]; 3089*3117ece4Schristos match += dec32table[sequence.offset]; 3090*3117ece4Schristos ZSTD_copy4(op+4, match); 3091*3117ece4Schristos match -= dec64; 3092*3117ece4Schristos } 3093*3117ece4Schristos else 3094*3117ece4Schristos { 3095*3117ece4Schristos ZSTD_copy8(op, match); 3096*3117ece4Schristos } 3097*3117ece4Schristos op += 8; match += 8; 3098*3117ece4Schristos 3099*3117ece4Schristos if (oMatchEnd > oend-(16-MINMATCH)) 3100*3117ece4Schristos { 3101*3117ece4Schristos if (op < oend_8) 3102*3117ece4Schristos { 3103*3117ece4Schristos ZSTD_wildcopy(op, match, oend_8 - op); 3104*3117ece4Schristos match += oend_8 - op; 3105*3117ece4Schristos op = oend_8; 3106*3117ece4Schristos } 3107*3117ece4Schristos while (op < oMatchEnd) *op++ = *match++; 3108*3117ece4Schristos } 3109*3117ece4Schristos else 3110*3117ece4Schristos { 3111*3117ece4Schristos ZSTD_wildcopy(op, match, (ptrdiff_t)sequence.matchLength-8); /* works even if matchLength < 8 */ 3112*3117ece4Schristos } 3113*3117ece4Schristos } 3114*3117ece4Schristos 3115*3117ece4Schristos return oMatchEnd - ostart; 3116*3117ece4Schristos } 3117*3117ece4Schristos 3118*3117ece4Schristos static size_t ZSTD_decompressSequences( 3119*3117ece4Schristos void* ctx, 3120*3117ece4Schristos void* dst, size_t maxDstSize, 3121*3117ece4Schristos const void* seqStart, size_t seqSize) 3122*3117ece4Schristos { 3123*3117ece4Schristos ZSTD_DCtx* dctx = (ZSTD_DCtx*)ctx; 3124*3117ece4Schristos const BYTE* ip = (const BYTE*)seqStart; 3125*3117ece4Schristos const BYTE* const iend = ip + seqSize; 3126*3117ece4Schristos BYTE* const ostart = (BYTE* const)dst; 3127*3117ece4Schristos BYTE* op = ostart; 3128*3117ece4Schristos BYTE* const oend = ostart + maxDstSize; 3129*3117ece4Schristos size_t errorCode, dumpsLength; 3130*3117ece4Schristos const BYTE* litPtr = dctx->litPtr; 3131*3117ece4Schristos const BYTE* const litEnd = litPtr + dctx->litSize; 3132*3117ece4Schristos int nbSeq; 3133*3117ece4Schristos const BYTE* dumps; 3134*3117ece4Schristos U32* DTableLL = dctx->LLTable; 3135*3117ece4Schristos U32* DTableML = dctx->MLTable; 3136*3117ece4Schristos U32* DTableOffb = dctx->OffTable; 3137*3117ece4Schristos BYTE* const base = (BYTE*) (dctx->base); 3138*3117ece4Schristos 3139*3117ece4Schristos /* Build Decoding Tables */ 3140*3117ece4Schristos errorCode = ZSTD_decodeSeqHeaders(&nbSeq, &dumps, &dumpsLength, 3141*3117ece4Schristos DTableLL, DTableML, DTableOffb, 3142*3117ece4Schristos ip, iend-ip); 3143*3117ece4Schristos if (ZSTD_isError(errorCode)) return errorCode; 3144*3117ece4Schristos ip += errorCode; 3145*3117ece4Schristos 3146*3117ece4Schristos /* Regen sequences */ 3147*3117ece4Schristos { 3148*3117ece4Schristos seq_t sequence; 3149*3117ece4Schristos seqState_t seqState; 3150*3117ece4Schristos 3151*3117ece4Schristos memset(&sequence, 0, sizeof(sequence)); 3152*3117ece4Schristos seqState.dumps = dumps; 3153*3117ece4Schristos seqState.dumpsEnd = dumps + dumpsLength; 3154*3117ece4Schristos seqState.prevOffset = 1; 3155*3117ece4Schristos errorCode = BIT_initDStream(&(seqState.DStream), ip, iend-ip); 3156*3117ece4Schristos if (ERR_isError(errorCode)) return ERROR(corruption_detected); 3157*3117ece4Schristos FSE_initDState(&(seqState.stateLL), &(seqState.DStream), DTableLL); 3158*3117ece4Schristos FSE_initDState(&(seqState.stateOffb), &(seqState.DStream), DTableOffb); 3159*3117ece4Schristos FSE_initDState(&(seqState.stateML), &(seqState.DStream), DTableML); 3160*3117ece4Schristos 3161*3117ece4Schristos for ( ; (BIT_reloadDStream(&(seqState.DStream)) <= BIT_DStream_completed) && (nbSeq>0) ; ) 3162*3117ece4Schristos { 3163*3117ece4Schristos size_t oneSeqSize; 3164*3117ece4Schristos nbSeq--; 3165*3117ece4Schristos ZSTD_decodeSequence(&sequence, &seqState); 3166*3117ece4Schristos oneSeqSize = ZSTD_execSequence(op, sequence, &litPtr, litEnd, base, oend); 3167*3117ece4Schristos if (ZSTD_isError(oneSeqSize)) return oneSeqSize; 3168*3117ece4Schristos op += oneSeqSize; 3169*3117ece4Schristos } 3170*3117ece4Schristos 3171*3117ece4Schristos /* check if reached exact end */ 3172*3117ece4Schristos if ( !BIT_endOfDStream(&(seqState.DStream)) ) return ERROR(corruption_detected); /* requested too much : data is corrupted */ 3173*3117ece4Schristos if (nbSeq<0) return ERROR(corruption_detected); /* requested too many sequences : data is corrupted */ 3174*3117ece4Schristos 3175*3117ece4Schristos /* last literal segment */ 3176*3117ece4Schristos { 3177*3117ece4Schristos size_t lastLLSize = litEnd - litPtr; 3178*3117ece4Schristos if (litPtr > litEnd) return ERROR(corruption_detected); 3179*3117ece4Schristos if (op+lastLLSize > oend) return ERROR(dstSize_tooSmall); 3180*3117ece4Schristos if (lastLLSize > 0) { 3181*3117ece4Schristos if (op != litPtr) memmove(op, litPtr, lastLLSize); 3182*3117ece4Schristos op += lastLLSize; 3183*3117ece4Schristos } 3184*3117ece4Schristos } 3185*3117ece4Schristos } 3186*3117ece4Schristos 3187*3117ece4Schristos return op-ostart; 3188*3117ece4Schristos } 3189*3117ece4Schristos 3190*3117ece4Schristos 3191*3117ece4Schristos static size_t ZSTD_decompressBlock( 3192*3117ece4Schristos void* ctx, 3193*3117ece4Schristos void* dst, size_t maxDstSize, 3194*3117ece4Schristos const void* src, size_t srcSize) 3195*3117ece4Schristos { 3196*3117ece4Schristos /* blockType == blockCompressed */ 3197*3117ece4Schristos const BYTE* ip = (const BYTE*)src; 3198*3117ece4Schristos 3199*3117ece4Schristos /* Decode literals sub-block */ 3200*3117ece4Schristos size_t litCSize = ZSTD_decodeLiteralsBlock(ctx, src, srcSize); 3201*3117ece4Schristos if (ZSTD_isError(litCSize)) return litCSize; 3202*3117ece4Schristos ip += litCSize; 3203*3117ece4Schristos srcSize -= litCSize; 3204*3117ece4Schristos 3205*3117ece4Schristos return ZSTD_decompressSequences(ctx, dst, maxDstSize, ip, srcSize); 3206*3117ece4Schristos } 3207*3117ece4Schristos 3208*3117ece4Schristos 3209*3117ece4Schristos static size_t ZSTD_decompressDCtx(void* ctx, void* dst, size_t maxDstSize, const void* src, size_t srcSize) 3210*3117ece4Schristos { 3211*3117ece4Schristos const BYTE* ip = (const BYTE*)src; 3212*3117ece4Schristos const BYTE* iend = ip + srcSize; 3213*3117ece4Schristos BYTE* const ostart = (BYTE* const)dst; 3214*3117ece4Schristos BYTE* op = ostart; 3215*3117ece4Schristos BYTE* const oend = ostart + maxDstSize; 3216*3117ece4Schristos size_t remainingSize = srcSize; 3217*3117ece4Schristos U32 magicNumber; 3218*3117ece4Schristos blockProperties_t blockProperties; 3219*3117ece4Schristos 3220*3117ece4Schristos /* Frame Header */ 3221*3117ece4Schristos if (srcSize < ZSTD_frameHeaderSize+ZSTD_blockHeaderSize) return ERROR(srcSize_wrong); 3222*3117ece4Schristos magicNumber = MEM_readLE32(src); 3223*3117ece4Schristos if (magicNumber != ZSTD_magicNumber) return ERROR(prefix_unknown); 3224*3117ece4Schristos ip += ZSTD_frameHeaderSize; remainingSize -= ZSTD_frameHeaderSize; 3225*3117ece4Schristos 3226*3117ece4Schristos /* Loop on each block */ 3227*3117ece4Schristos while (1) 3228*3117ece4Schristos { 3229*3117ece4Schristos size_t decodedSize=0; 3230*3117ece4Schristos size_t cBlockSize = ZSTD_getcBlockSize(ip, iend-ip, &blockProperties); 3231*3117ece4Schristos if (ZSTD_isError(cBlockSize)) return cBlockSize; 3232*3117ece4Schristos 3233*3117ece4Schristos ip += ZSTD_blockHeaderSize; 3234*3117ece4Schristos remainingSize -= ZSTD_blockHeaderSize; 3235*3117ece4Schristos if (cBlockSize > remainingSize) return ERROR(srcSize_wrong); 3236*3117ece4Schristos 3237*3117ece4Schristos switch(blockProperties.blockType) 3238*3117ece4Schristos { 3239*3117ece4Schristos case bt_compressed: 3240*3117ece4Schristos decodedSize = ZSTD_decompressBlock(ctx, op, oend-op, ip, cBlockSize); 3241*3117ece4Schristos break; 3242*3117ece4Schristos case bt_raw : 3243*3117ece4Schristos decodedSize = ZSTD_copyUncompressedBlock(op, oend-op, ip, cBlockSize); 3244*3117ece4Schristos break; 3245*3117ece4Schristos case bt_rle : 3246*3117ece4Schristos return ERROR(GENERIC); /* not yet supported */ 3247*3117ece4Schristos break; 3248*3117ece4Schristos case bt_end : 3249*3117ece4Schristos /* end of frame */ 3250*3117ece4Schristos if (remainingSize) return ERROR(srcSize_wrong); 3251*3117ece4Schristos break; 3252*3117ece4Schristos default: 3253*3117ece4Schristos return ERROR(GENERIC); /* impossible */ 3254*3117ece4Schristos } 3255*3117ece4Schristos if (cBlockSize == 0) break; /* bt_end */ 3256*3117ece4Schristos 3257*3117ece4Schristos if (ZSTD_isError(decodedSize)) return decodedSize; 3258*3117ece4Schristos op += decodedSize; 3259*3117ece4Schristos ip += cBlockSize; 3260*3117ece4Schristos remainingSize -= cBlockSize; 3261*3117ece4Schristos } 3262*3117ece4Schristos 3263*3117ece4Schristos return op-ostart; 3264*3117ece4Schristos } 3265*3117ece4Schristos 3266*3117ece4Schristos static size_t ZSTD_decompress(void* dst, size_t maxDstSize, const void* src, size_t srcSize) 3267*3117ece4Schristos { 3268*3117ece4Schristos ZSTD_DCtx ctx; 3269*3117ece4Schristos ctx.base = dst; 3270*3117ece4Schristos return ZSTD_decompressDCtx(&ctx, dst, maxDstSize, src, srcSize); 3271*3117ece4Schristos } 3272*3117ece4Schristos 3273*3117ece4Schristos /* ZSTD_errorFrameSizeInfoLegacy() : 3274*3117ece4Schristos assumes `cSize` and `dBound` are _not_ NULL */ 3275*3117ece4Schristos static void ZSTD_errorFrameSizeInfoLegacy(size_t* cSize, unsigned long long* dBound, size_t ret) 3276*3117ece4Schristos { 3277*3117ece4Schristos *cSize = ret; 3278*3117ece4Schristos *dBound = ZSTD_CONTENTSIZE_ERROR; 3279*3117ece4Schristos } 3280*3117ece4Schristos 3281*3117ece4Schristos void ZSTDv02_findFrameSizeInfoLegacy(const void *src, size_t srcSize, size_t* cSize, unsigned long long* dBound) 3282*3117ece4Schristos { 3283*3117ece4Schristos const BYTE* ip = (const BYTE*)src; 3284*3117ece4Schristos size_t remainingSize = srcSize; 3285*3117ece4Schristos size_t nbBlocks = 0; 3286*3117ece4Schristos U32 magicNumber; 3287*3117ece4Schristos blockProperties_t blockProperties; 3288*3117ece4Schristos 3289*3117ece4Schristos /* Frame Header */ 3290*3117ece4Schristos if (srcSize < ZSTD_frameHeaderSize+ZSTD_blockHeaderSize) { 3291*3117ece4Schristos ZSTD_errorFrameSizeInfoLegacy(cSize, dBound, ERROR(srcSize_wrong)); 3292*3117ece4Schristos return; 3293*3117ece4Schristos } 3294*3117ece4Schristos magicNumber = MEM_readLE32(src); 3295*3117ece4Schristos if (magicNumber != ZSTD_magicNumber) { 3296*3117ece4Schristos ZSTD_errorFrameSizeInfoLegacy(cSize, dBound, ERROR(prefix_unknown)); 3297*3117ece4Schristos return; 3298*3117ece4Schristos } 3299*3117ece4Schristos ip += ZSTD_frameHeaderSize; remainingSize -= ZSTD_frameHeaderSize; 3300*3117ece4Schristos 3301*3117ece4Schristos /* Loop on each block */ 3302*3117ece4Schristos while (1) 3303*3117ece4Schristos { 3304*3117ece4Schristos size_t cBlockSize = ZSTD_getcBlockSize(ip, remainingSize, &blockProperties); 3305*3117ece4Schristos if (ZSTD_isError(cBlockSize)) { 3306*3117ece4Schristos ZSTD_errorFrameSizeInfoLegacy(cSize, dBound, cBlockSize); 3307*3117ece4Schristos return; 3308*3117ece4Schristos } 3309*3117ece4Schristos 3310*3117ece4Schristos ip += ZSTD_blockHeaderSize; 3311*3117ece4Schristos remainingSize -= ZSTD_blockHeaderSize; 3312*3117ece4Schristos if (cBlockSize > remainingSize) { 3313*3117ece4Schristos ZSTD_errorFrameSizeInfoLegacy(cSize, dBound, ERROR(srcSize_wrong)); 3314*3117ece4Schristos return; 3315*3117ece4Schristos } 3316*3117ece4Schristos 3317*3117ece4Schristos if (cBlockSize == 0) break; /* bt_end */ 3318*3117ece4Schristos 3319*3117ece4Schristos ip += cBlockSize; 3320*3117ece4Schristos remainingSize -= cBlockSize; 3321*3117ece4Schristos nbBlocks++; 3322*3117ece4Schristos } 3323*3117ece4Schristos 3324*3117ece4Schristos *cSize = ip - (const BYTE*)src; 3325*3117ece4Schristos *dBound = nbBlocks * BLOCKSIZE; 3326*3117ece4Schristos } 3327*3117ece4Schristos 3328*3117ece4Schristos /******************************* 3329*3117ece4Schristos * Streaming Decompression API 3330*3117ece4Schristos *******************************/ 3331*3117ece4Schristos 3332*3117ece4Schristos static size_t ZSTD_resetDCtx(ZSTD_DCtx* dctx) 3333*3117ece4Schristos { 3334*3117ece4Schristos dctx->expected = ZSTD_frameHeaderSize; 3335*3117ece4Schristos dctx->phase = 0; 3336*3117ece4Schristos dctx->previousDstEnd = NULL; 3337*3117ece4Schristos dctx->base = NULL; 3338*3117ece4Schristos return 0; 3339*3117ece4Schristos } 3340*3117ece4Schristos 3341*3117ece4Schristos static ZSTD_DCtx* ZSTD_createDCtx(void) 3342*3117ece4Schristos { 3343*3117ece4Schristos ZSTD_DCtx* dctx = (ZSTD_DCtx*)malloc(sizeof(ZSTD_DCtx)); 3344*3117ece4Schristos if (dctx==NULL) return NULL; 3345*3117ece4Schristos ZSTD_resetDCtx(dctx); 3346*3117ece4Schristos return dctx; 3347*3117ece4Schristos } 3348*3117ece4Schristos 3349*3117ece4Schristos static size_t ZSTD_freeDCtx(ZSTD_DCtx* dctx) 3350*3117ece4Schristos { 3351*3117ece4Schristos free(dctx); 3352*3117ece4Schristos return 0; 3353*3117ece4Schristos } 3354*3117ece4Schristos 3355*3117ece4Schristos static size_t ZSTD_nextSrcSizeToDecompress(ZSTD_DCtx* dctx) 3356*3117ece4Schristos { 3357*3117ece4Schristos return dctx->expected; 3358*3117ece4Schristos } 3359*3117ece4Schristos 3360*3117ece4Schristos static size_t ZSTD_decompressContinue(ZSTD_DCtx* ctx, void* dst, size_t maxDstSize, const void* src, size_t srcSize) 3361*3117ece4Schristos { 3362*3117ece4Schristos /* Sanity check */ 3363*3117ece4Schristos if (srcSize != ctx->expected) return ERROR(srcSize_wrong); 3364*3117ece4Schristos if (dst != ctx->previousDstEnd) /* not contiguous */ 3365*3117ece4Schristos ctx->base = dst; 3366*3117ece4Schristos 3367*3117ece4Schristos /* Decompress : frame header */ 3368*3117ece4Schristos if (ctx->phase == 0) 3369*3117ece4Schristos { 3370*3117ece4Schristos /* Check frame magic header */ 3371*3117ece4Schristos U32 magicNumber = MEM_readLE32(src); 3372*3117ece4Schristos if (magicNumber != ZSTD_magicNumber) return ERROR(prefix_unknown); 3373*3117ece4Schristos ctx->phase = 1; 3374*3117ece4Schristos ctx->expected = ZSTD_blockHeaderSize; 3375*3117ece4Schristos return 0; 3376*3117ece4Schristos } 3377*3117ece4Schristos 3378*3117ece4Schristos /* Decompress : block header */ 3379*3117ece4Schristos if (ctx->phase == 1) 3380*3117ece4Schristos { 3381*3117ece4Schristos blockProperties_t bp; 3382*3117ece4Schristos size_t blockSize = ZSTD_getcBlockSize(src, ZSTD_blockHeaderSize, &bp); 3383*3117ece4Schristos if (ZSTD_isError(blockSize)) return blockSize; 3384*3117ece4Schristos if (bp.blockType == bt_end) 3385*3117ece4Schristos { 3386*3117ece4Schristos ctx->expected = 0; 3387*3117ece4Schristos ctx->phase = 0; 3388*3117ece4Schristos } 3389*3117ece4Schristos else 3390*3117ece4Schristos { 3391*3117ece4Schristos ctx->expected = blockSize; 3392*3117ece4Schristos ctx->bType = bp.blockType; 3393*3117ece4Schristos ctx->phase = 2; 3394*3117ece4Schristos } 3395*3117ece4Schristos 3396*3117ece4Schristos return 0; 3397*3117ece4Schristos } 3398*3117ece4Schristos 3399*3117ece4Schristos /* Decompress : block content */ 3400*3117ece4Schristos { 3401*3117ece4Schristos size_t rSize; 3402*3117ece4Schristos switch(ctx->bType) 3403*3117ece4Schristos { 3404*3117ece4Schristos case bt_compressed: 3405*3117ece4Schristos rSize = ZSTD_decompressBlock(ctx, dst, maxDstSize, src, srcSize); 3406*3117ece4Schristos break; 3407*3117ece4Schristos case bt_raw : 3408*3117ece4Schristos rSize = ZSTD_copyUncompressedBlock(dst, maxDstSize, src, srcSize); 3409*3117ece4Schristos break; 3410*3117ece4Schristos case bt_rle : 3411*3117ece4Schristos return ERROR(GENERIC); /* not yet handled */ 3412*3117ece4Schristos break; 3413*3117ece4Schristos case bt_end : /* should never happen (filtered at phase 1) */ 3414*3117ece4Schristos rSize = 0; 3415*3117ece4Schristos break; 3416*3117ece4Schristos default: 3417*3117ece4Schristos return ERROR(GENERIC); 3418*3117ece4Schristos } 3419*3117ece4Schristos ctx->phase = 1; 3420*3117ece4Schristos ctx->expected = ZSTD_blockHeaderSize; 3421*3117ece4Schristos if (ZSTD_isError(rSize)) return rSize; 3422*3117ece4Schristos ctx->previousDstEnd = (void*)( ((char*)dst) + rSize); 3423*3117ece4Schristos return rSize; 3424*3117ece4Schristos } 3425*3117ece4Schristos 3426*3117ece4Schristos } 3427*3117ece4Schristos 3428*3117ece4Schristos 3429*3117ece4Schristos /* wrapper layer */ 3430*3117ece4Schristos 3431*3117ece4Schristos unsigned ZSTDv02_isError(size_t code) 3432*3117ece4Schristos { 3433*3117ece4Schristos return ZSTD_isError(code); 3434*3117ece4Schristos } 3435*3117ece4Schristos 3436*3117ece4Schristos size_t ZSTDv02_decompress( void* dst, size_t maxOriginalSize, 3437*3117ece4Schristos const void* src, size_t compressedSize) 3438*3117ece4Schristos { 3439*3117ece4Schristos return ZSTD_decompress(dst, maxOriginalSize, src, compressedSize); 3440*3117ece4Schristos } 3441*3117ece4Schristos 3442*3117ece4Schristos ZSTDv02_Dctx* ZSTDv02_createDCtx(void) 3443*3117ece4Schristos { 3444*3117ece4Schristos return (ZSTDv02_Dctx*)ZSTD_createDCtx(); 3445*3117ece4Schristos } 3446*3117ece4Schristos 3447*3117ece4Schristos size_t ZSTDv02_freeDCtx(ZSTDv02_Dctx* dctx) 3448*3117ece4Schristos { 3449*3117ece4Schristos return ZSTD_freeDCtx((ZSTD_DCtx*)dctx); 3450*3117ece4Schristos } 3451*3117ece4Schristos 3452*3117ece4Schristos size_t ZSTDv02_resetDCtx(ZSTDv02_Dctx* dctx) 3453*3117ece4Schristos { 3454*3117ece4Schristos return ZSTD_resetDCtx((ZSTD_DCtx*)dctx); 3455*3117ece4Schristos } 3456*3117ece4Schristos 3457*3117ece4Schristos size_t ZSTDv02_nextSrcSizeToDecompress(ZSTDv02_Dctx* dctx) 3458*3117ece4Schristos { 3459*3117ece4Schristos return ZSTD_nextSrcSizeToDecompress((ZSTD_DCtx*)dctx); 3460*3117ece4Schristos } 3461*3117ece4Schristos 3462*3117ece4Schristos size_t ZSTDv02_decompressContinue(ZSTDv02_Dctx* dctx, void* dst, size_t maxDstSize, const void* src, size_t srcSize) 3463*3117ece4Schristos { 3464*3117ece4Schristos return ZSTD_decompressContinue((ZSTD_DCtx*)dctx, dst, maxDstSize, src, srcSize); 3465*3117ece4Schristos } 3466