Coverage Report

Created: 2026-09-14 07:15

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