Coverage Report

Created: 2025-11-14 07:32

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