/* Copyright 2015 Google Inc. All Rights Reserved. | |
Distributed under MIT license. | |
See file LICENSE for detail or copy at https://opensource.org/licenses/MIT | |
*/ | |
namespace Org.Brotli.Dec | |
{ | |
/// <summary>Utilities for building Huffman decoding tables.</summary> | |
internal sealed class Huffman | |
{ | |
/// <summary> | |
/// Maximum possible Huffman table size for an alphabet size of 704, max code length 15 and root | |
/// table bits 8. | |
/// </summary> | |
internal const int HuffmanMaxTableSize = 1080; | |
private const int MaxLength = 15; | |
/// <summary>Returns reverse(reverse(key, len) + 1, len).</summary> | |
/// <remarks> | |
/// Returns reverse(reverse(key, len) + 1, len). | |
/// <p> reverse(key, len) is the bit-wise reversal of the len least significant bits of key. | |
/// </remarks> | |
private static int GetNextKey(int key, int len) | |
{ | |
int step = 1 << (len - 1); | |
while ((key & step) != 0) | |
{ | |
step >>= 1; | |
} | |
return (key & (step - 1)) + step; | |
} | |
/// <summary> | |
/// Stores | |
/// <paramref name="item"/> | |
/// in | |
/// <c>table[0], table[step], table[2 * step] .., table[end]</c> | |
/// . | |
/// <p> Assumes that end is an integer multiple of step. | |
/// </summary> | |
private static void ReplicateValue(int[] table, int offset, int step, int end, int item) | |
{ | |
do | |
{ | |
end -= step; | |
table[offset + end] = item; | |
} | |
while (end > 0); | |
} | |
/// <param name="count">histogram of bit lengths for the remaining symbols,</param> | |
/// <param name="len">code length of the next processed symbol.</param> | |
/// <returns>table width of the next 2nd level table.</returns> | |
private static int NextTableBitSize(int[] count, int len, int rootBits) | |
{ | |
int left = 1 << (len - rootBits); | |
while (len < MaxLength) | |
{ | |
left -= count[len]; | |
if (left <= 0) | |
{ | |
break; | |
} | |
len++; | |
left <<= 1; | |
} | |
return len - rootBits; | |
} | |
/// <summary>Builds Huffman lookup table assuming code lengths are in symbol order.</summary> | |
internal static void BuildHuffmanTable(int[] rootTable, int tableOffset, int rootBits, int[] codeLengths, int codeLengthsSize) | |
{ | |
int key; | |
// Reversed prefix code. | |
int[] sorted = new int[codeLengthsSize]; | |
// Symbols sorted by code length. | |
// TODO: fill with zeroes? | |
int[] count = new int[MaxLength + 1]; | |
// Number of codes of each length. | |
int[] offset = new int[MaxLength + 1]; | |
// Offsets in sorted table for each length. | |
int symbol; | |
// Build histogram of code lengths. | |
for (symbol = 0; symbol < codeLengthsSize; symbol++) | |
{ | |
count[codeLengths[symbol]]++; | |
} | |
// Generate offsets into sorted symbol table by code length. | |
offset[1] = 0; | |
for (int len = 1; len < MaxLength; len++) | |
{ | |
offset[len + 1] = offset[len] + count[len]; | |
} | |
// Sort symbols by length, by symbol order within each length. | |
for (symbol = 0; symbol < codeLengthsSize; symbol++) | |
{ | |
if (codeLengths[symbol] != 0) | |
{ | |
sorted[offset[codeLengths[symbol]]++] = symbol; | |
} | |
} | |
int tableBits = rootBits; | |
int tableSize = 1 << tableBits; | |
int totalSize = tableSize; | |
// Special case code with only one value. | |
if (offset[MaxLength] == 1) | |
{ | |
for (key = 0; key < totalSize; key++) | |
{ | |
rootTable[tableOffset + key] = sorted[0]; | |
} | |
return; | |
} | |
// Fill in root table. | |
key = 0; | |
symbol = 0; | |
for (int len = 1, step = 2; len <= rootBits; len++, step <<= 1) | |
{ | |
for (; count[len] > 0; count[len]--) | |
{ | |
ReplicateValue(rootTable, tableOffset + key, step, tableSize, len << 16 | sorted[symbol++]); | |
key = GetNextKey(key, len); | |
} | |
} | |
// Fill in 2nd level tables and add pointers to root table. | |
int mask = totalSize - 1; | |
int low = -1; | |
int currentOffset = tableOffset; | |
for (int len = rootBits + 1, step = 2; len <= MaxLength; len++, step <<= 1) | |
{ | |
for (; count[len] > 0; count[len]--) | |
{ | |
if ((key & mask) != low) | |
{ | |
currentOffset += tableSize; | |
tableBits = NextTableBitSize(count, len, rootBits); | |
tableSize = 1 << tableBits; | |
totalSize += tableSize; | |
low = key & mask; | |
rootTable[tableOffset + low] = (tableBits + rootBits) << 16 | (currentOffset - tableOffset - low); | |
} | |
ReplicateValue(rootTable, currentOffset + (key >> rootBits), step, tableSize, (len - rootBits) << 16 | sorted[symbol++]); | |
key = GetNextKey(key, len); | |
} | |
} | |
} | |
} | |
} |