Coverage Report

Created: 2026-02-14 07:11

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/libjxl/lib/jxl/huffman_table.cc
Line
Count
Source
1
// Copyright (c) the JPEG XL Project Authors. All rights reserved.
2
//
3
// Use of this source code is governed by a BSD-style
4
// license that can be found in the LICENSE file.
5
6
#include "lib/jxl/huffman_table.h"
7
8
#include <cstdint>
9
#include <cstring> /* for memcpy */
10
#include <vector>
11
12
#include "lib/jxl/ans_params.h"
13
14
namespace jxl {
15
16
/* Returns reverse(reverse(key, len) + 1, len), where reverse(key, len) is the
17
   bit-wise reversal of the len least significant bits of key. */
18
2.81M
static inline int GetNextKey(int key, int len) {
19
2.81M
  int step = 1u << (len - 1);
20
5.62M
  while (key & step) {
21
2.80M
    step >>= 1;
22
2.80M
  }
23
2.81M
  return (key & (step - 1)) + step;
24
2.81M
}
25
26
/* Stores code in table[0], table[step], table[2*step], ..., table[end] */
27
/* Assumes that end is an integer multiple of step */
28
static inline void ReplicateValue(HuffmanCode* table, int step, int end,
29
2.81M
                                  HuffmanCode code) {
30
2.90M
  do {
31
2.90M
    end -= step;
32
2.90M
    table[end] = code;
33
2.90M
  } while (end > 0);
34
2.81M
}
35
36
/* Returns the table width of the next 2nd level table. count is the histogram
37
   of bit lengths for the remaining symbols, len is the code length of the next
38
   processed symbol */
39
static inline size_t NextTableBitSize(const uint16_t* const count, size_t len,
40
88.4k
                                      int root_bits) {
41
88.4k
  size_t left = 1u << (len - root_bits);
42
90.1k
  while (len < PREFIX_MAX_BITS) {
43
85.3k
    if (left <= count[len]) break;
44
1.74k
    left -= count[len];
45
1.74k
    ++len;
46
1.74k
    left <<= 1;
47
1.74k
  }
48
88.4k
  return len - root_bits;
49
88.4k
}
50
51
uint32_t BuildHuffmanTable(HuffmanCode* root_table, int root_bits,
52
                           const uint8_t* const code_lengths,
53
7.09k
                           size_t code_lengths_size, uint16_t* count) {
54
7.09k
  HuffmanCode code;   /* current table entry */
55
7.09k
  HuffmanCode* table; /* next available space in table */
56
7.09k
  size_t len;         /* current code length */
57
7.09k
  size_t symbol;      /* symbol index in original or sorted table */
58
7.09k
  int key;            /* reversed prefix code */
59
7.09k
  int step;           /* step size to replicate values in current table */
60
7.09k
  int low;            /* low bits for current root entry */
61
7.09k
  int mask;           /* mask for low bits */
62
7.09k
  size_t table_bits;  /* key length of current table */
63
7.09k
  int table_size;     /* size of current table */
64
7.09k
  int total_size;     /* sum of root table size and 2nd level table sizes */
65
  /* offsets in sorted table for each length */
66
7.09k
  uint16_t offset[PREFIX_MAX_BITS + 1];
67
7.09k
  size_t max_length = 1;
68
69
7.09k
  if (code_lengths_size > 1u << PREFIX_MAX_BITS) return 0;
70
71
  /* symbols sorted by code length */
72
7.09k
  std::vector<uint16_t> sorted_storage(code_lengths_size);
73
7.09k
  uint16_t* sorted = sorted_storage.data();
74
75
  /* generate offsets into sorted symbol table by code length */
76
7.09k
  {
77
7.09k
    uint16_t sum = 0;
78
113k
    for (len = 1; len <= PREFIX_MAX_BITS; len++) {
79
106k
      offset[len] = sum;
80
106k
      if (count[len]) {
81
16.5k
        sum = static_cast<uint16_t>(sum + count[len]);
82
16.5k
        max_length = len;
83
16.5k
      }
84
106k
    }
85
7.09k
  }
86
87
  /* sort symbols by length, by symbol order within each length */
88
22.1M
  for (symbol = 0; symbol < code_lengths_size; symbol++) {
89
22.1M
    if (code_lengths[symbol] != 0) {
90
2.81M
      sorted[offset[code_lengths[symbol]]++] = symbol;
91
2.81M
    }
92
22.1M
  }
93
94
7.09k
  table = root_table;
95
7.09k
  table_bits = root_bits;
96
7.09k
  table_size = 1u << table_bits;
97
7.09k
  total_size = table_size;
98
99
  /* special case code with only one value */
100
7.09k
  if (offset[PREFIX_MAX_BITS] == 1) {
101
1.02k
    code.bits = 0;
102
1.02k
    code.value = static_cast<uint16_t>(sorted[0]);
103
33.7k
    for (key = 0; key < total_size; ++key) {
104
32.7k
      table[key] = code;
105
32.7k
    }
106
1.02k
    return total_size;
107
1.02k
  }
108
109
  /* fill in root table */
110
  /* let's reduce the table size to a smaller size if possible, and */
111
  /* create the repetitions by memcpy if possible in the coming loop */
112
6.07k
  if (table_bits > max_length) {
113
5.07k
    table_bits = max_length;
114
5.07k
    table_size = 1u << table_bits;
115
5.07k
  }
116
6.07k
  key = 0;
117
6.07k
  symbol = 0;
118
6.07k
  code.bits = 1;
119
6.07k
  step = 2;
120
25.2k
  do {
121
170k
    for (; count[code.bits] != 0; --count[code.bits]) {
122
144k
      code.value = static_cast<uint16_t>(sorted[symbol++]);
123
144k
      ReplicateValue(&table[key], step, table_size, code);
124
144k
      key = GetNextKey(key, code.bits);
125
144k
    }
126
25.2k
    step <<= 1;
127
25.2k
  } while (++code.bits <= table_bits);
128
129
  /* if root_bits != table_bits we only created one fraction of the */
130
  /* table, and we need to replicate it now. */
131
20.8k
  while (total_size != table_size) {
132
14.7k
    memcpy(&table[table_size], &table[0], table_size * sizeof(table[0]));
133
14.7k
    table_size <<= 1;
134
14.7k
  }
135
136
  /* fill in 2nd level tables and add pointers to root table */
137
6.07k
  mask = total_size - 1;
138
6.07k
  low = -1;
139
8.76k
  for (len = root_bits + 1, step = 2; len <= max_length; ++len, step <<= 1) {
140
2.67M
    for (; count[len] != 0; --count[len]) {
141
2.67M
      if ((key & mask) != low) {
142
88.4k
        table += table_size;
143
88.4k
        table_bits = NextTableBitSize(count, len, root_bits);
144
88.4k
        table_size = 1u << table_bits;
145
88.4k
        total_size += table_size;
146
88.4k
        low = key & mask;
147
88.4k
        root_table[low].bits = static_cast<uint8_t>(table_bits + root_bits);
148
88.4k
        root_table[low].value =
149
88.4k
            static_cast<uint16_t>((table - root_table) - low);
150
88.4k
      }
151
2.67M
      code.bits = static_cast<uint8_t>(len - root_bits);
152
2.67M
      code.value = static_cast<uint16_t>(sorted[symbol++]);
153
2.67M
      ReplicateValue(&table[key >> root_bits], step, table_size, code);
154
2.67M
      key = GetNextKey(key, len);
155
2.67M
    }
156
2.68k
  }
157
158
6.07k
  return total_size;
159
7.09k
}
160
161
}  // namespace jxl