Coverage Report

Created: 2026-04-01 07:24

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