Coverage Report

Created: 2026-06-14 06:57

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
166k
static inline int GetNextKey(int key, int len) {
19
166k
  int step = 1u << (len - 1);
20
318k
  while (key & step) {
21
152k
    step >>= 1;
22
152k
  }
23
166k
  return (key & (step - 1)) + step;
24
166k
}
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
166k
                                  HuffmanCode code) {
30
837k
  do {
31
837k
    end -= step;
32
837k
    table[end] = code;
33
837k
  } while (end > 0);
34
166k
}
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
6.28k
                                      int root_bits) {
41
6.28k
  size_t left = 1u << (len - root_bits);
42
8.07k
  while (len < PREFIX_MAX_BITS) {
43
7.82k
    if (left <= count[len]) break;
44
1.79k
    left -= count[len];
45
1.79k
    ++len;
46
1.79k
    left <<= 1;
47
1.79k
  }
48
6.28k
  return len - root_bits;
49
6.28k
}
50
51
uint32_t BuildHuffmanTable(HuffmanCode* root_table, int root_bits,
52
                           const uint8_t* const code_lengths,
53
14.3k
                           size_t code_lengths_size, uint16_t* count) {
54
14.3k
  HuffmanCode code;   /* current table entry */
55
14.3k
  HuffmanCode* table; /* next available space in table */
56
14.3k
  size_t len;         /* current code length */
57
14.3k
  size_t symbol;      /* symbol index in original or sorted table */
58
14.3k
  int key;            /* reversed prefix code */
59
14.3k
  int step;           /* step size to replicate values in current table */
60
14.3k
  int low;            /* low bits for current root entry */
61
14.3k
  int mask;           /* mask for low bits */
62
14.3k
  size_t table_bits;  /* key length of current table */
63
14.3k
  int table_size;     /* size of current table */
64
14.3k
  int total_size;     /* sum of root table size and 2nd level table sizes */
65
  /* offsets in sorted table for each length */
66
14.3k
  uint16_t offset[PREFIX_MAX_BITS + 1];
67
14.3k
  size_t max_length = 1;
68
69
14.3k
  if (code_lengths_size > 1u << PREFIX_MAX_BITS) return 0;
70
71
  /* symbols sorted by code length */
72
14.3k
  std::vector<uint16_t> sorted_storage(code_lengths_size);
73
14.3k
  uint16_t* sorted = sorted_storage.data();
74
75
  /* generate offsets into sorted symbol table by code length */
76
14.3k
  {
77
14.3k
    uint16_t sum = 0;
78
229k
    for (len = 1; len <= PREFIX_MAX_BITS; len++) {
79
215k
      offset[len] = sum;
80
215k
      if (count[len]) {
81
55.2k
        sum = static_cast<uint16_t>(sum + count[len]);
82
55.2k
        max_length = len;
83
55.2k
      }
84
215k
    }
85
14.3k
  }
86
87
  /* sort symbols by length, by symbol order within each length */
88
2.41M
  for (symbol = 0; symbol < code_lengths_size; symbol++) {
89
2.39M
    if (code_lengths[symbol] != 0) {
90
166k
      sorted[offset[code_lengths[symbol]]++] = symbol;
91
166k
    }
92
2.39M
  }
93
94
14.3k
  table = root_table;
95
14.3k
  table_bits = root_bits;
96
14.3k
  table_size = 1u << table_bits;
97
14.3k
  total_size = table_size;
98
99
  /* special case code with only one value */
100
14.3k
  if (offset[PREFIX_MAX_BITS] == 1) {
101
8
    code.bits = 0;
102
8
    code.value = static_cast<uint16_t>(sorted[0]);
103
264
    for (key = 0; key < total_size; ++key) {
104
256
      table[key] = code;
105
256
    }
106
8
    return total_size;
107
8
  }
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
14.3k
  if (table_bits > max_length) {
113
11.6k
    table_bits = max_length;
114
11.6k
    table_size = 1u << table_bits;
115
11.6k
  }
116
14.3k
  key = 0;
117
14.3k
  symbol = 0;
118
14.3k
  code.bits = 1;
119
14.3k
  step = 2;
120
63.8k
  do {
121
200k
    for (; count[code.bits] != 0; --count[code.bits]) {
122
136k
      code.value = static_cast<uint16_t>(sorted[symbol++]);
123
136k
      ReplicateValue(&table[key], step, table_size, code);
124
136k
      key = GetNextKey(key, code.bits);
125
136k
    }
126
63.8k
    step <<= 1;
127
63.8k
  } 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
43.6k
  while (total_size != table_size) {
132
29.3k
    memcpy(&table[table_size], &table[0], table_size * sizeof(table[0]));
133
29.3k
    table_size <<= 1;
134
29.3k
  }
135
136
  /* fill in 2nd level tables and add pointers to root table */
137
14.3k
  mask = total_size - 1;
138
14.3k
  low = -1;
139
17.1k
  for (len = root_bits + 1, step = 2; len <= max_length; ++len, step <<= 1) {
140
32.2k
    for (; count[len] != 0; --count[len]) {
141
29.4k
      if ((key & mask) != low) {
142
6.28k
        table += table_size;
143
6.28k
        table_bits = NextTableBitSize(count, len, root_bits);
144
6.28k
        table_size = 1u << table_bits;
145
6.28k
        total_size += table_size;
146
6.28k
        low = key & mask;
147
6.28k
        root_table[low].bits = static_cast<uint8_t>(table_bits + root_bits);
148
6.28k
        root_table[low].value =
149
6.28k
            static_cast<uint16_t>((table - root_table) - low);
150
6.28k
      }
151
29.4k
      code.bits = static_cast<uint8_t>(len - root_bits);
152
29.4k
      code.value = static_cast<uint16_t>(sorted[symbol++]);
153
29.4k
      ReplicateValue(&table[key >> root_bits], step, table_size, code);
154
29.4k
      key = GetNextKey(key, len);
155
29.4k
    }
156
2.83k
  }
157
158
14.3k
  return total_size;
159
14.3k
}
160
161
}  // namespace jxl