Coverage Report

Created: 2026-11-12 07:35

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/libjxl/lib/jxl/coeff_order.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/coeff_order.h"
7
8
#include <jxl/memory_manager.h>
9
10
#include <algorithm>
11
#include <cstddef>
12
#include <cstdint>
13
#include <cstring>
14
#include <vector>
15
16
#include "lib/jxl/ac_strategy.h"
17
#include "lib/jxl/base/status.h"
18
#include "lib/jxl/coeff_order_fwd.h"
19
#include "lib/jxl/dec_ans.h"
20
#include "lib/jxl/dec_bit_reader.h"
21
#include "lib/jxl/frame_dimensions.h"
22
#include "lib/jxl/lehmer_code.h"
23
#include "lib/jxl/modular/encoding/encoding.h"
24
25
namespace jxl {
26
27
static_assert(AcStrategy::kNumValidStrategies == kStrategyOrder.size(),
28
              "Update this array when adding or removing AC strategies.");
29
30
530k
uint32_t CoeffOrderContext(uint32_t val) {
31
530k
  uint32_t token, nbits, bits;
32
530k
  HybridUintConfig(0, 0, 0).Encode(val, &token, &nbits, &bits);
33
530k
  return std::min(token, kPermutationContexts - 1);
34
530k
}
35
36
namespace {
37
Status ReadPermutation(size_t skip, size_t size, coeff_order_t* order,
38
                       BitReader* br, ANSSymbolReader* reader,
39
29.8k
                       const std::vector<uint8_t>& context_map) {
40
29.8k
  std::vector<LehmerT> lehmer(size);
41
  // temp space needs to be as large as the next power of 2, so doubling the
42
  // allocated size is enough.
43
29.8k
  std::vector<uint32_t> temp(size * 2);
44
29.8k
  uint32_t end =
45
29.8k
      reader->ReadHybridUint(CoeffOrderContext(size), br, context_map) + skip;
46
29.8k
  if (end > size) {
47
251
    return JXL_FAILURE("Invalid permutation size");
48
251
  }
49
29.5k
  uint32_t last = 0;
50
41.9k
  for (size_t i = skip; i < end; ++i) {
51
12.4k
    lehmer[i] =
52
12.4k
        reader->ReadHybridUint(CoeffOrderContext(last), br, context_map);
53
12.4k
    last = lehmer[i];
54
12.4k
    if (lehmer[i] >= size - i) {
55
94
      return JXL_FAILURE("Invalid lehmer code");
56
94
    }
57
12.4k
  }
58
29.4k
  if (order == nullptr) return true;
59
9.36k
  JXL_RETURN_IF_ERROR(
60
9.36k
      DecodeLehmerCode(lehmer.data(), temp.data(), size, order));
61
9.36k
  return true;
62
9.36k
}
63
64
}  // namespace
65
66
Status DecodePermutation(JxlMemoryManager* memory_manager, size_t skip,
67
7.73k
                         size_t size, coeff_order_t* order, BitReader* br) {
68
7.73k
  std::vector<uint8_t> context_map;
69
7.73k
  ANSCode code;
70
7.73k
  JXL_RETURN_IF_ERROR(DecodeHistograms(memory_manager, br, kPermutationContexts,
71
7.73k
                                       &code, &context_map));
72
11.1k
  JXL_ASSIGN_OR_RETURN(ANSSymbolReader reader,
73
11.1k
                       ANSSymbolReader::Create(&code, br));
74
11.1k
  JXL_RETURN_IF_ERROR(
75
11.1k
      ReadPermutation(skip, size, order, br, &reader, context_map));
76
5.25k
  if (!reader.CheckANSFinalState()) {
77
0
    return JXL_FAILURE("Invalid ANS stream");
78
0
  }
79
5.25k
  return true;
80
5.25k
}
81
82
namespace {
83
84
Status DecodeCoeffOrder(AcStrategy acs, coeff_order_t* order, BitReader* br,
85
                        ANSSymbolReader* reader,
86
                        std::vector<coeff_order_t>& natural_order,
87
24.2k
                        const std::vector<uint8_t>& context_map) {
88
24.2k
  const size_t llf = acs.covered_blocks_x() * acs.covered_blocks_y();
89
24.2k
  const size_t size = kDCTBlockSize * llf;
90
91
24.2k
  JXL_RETURN_IF_ERROR(
92
24.2k
      ReadPermutation(llf, size, order, br, reader, context_map));
93
24.2k
  if (order == nullptr) return true;
94
284k
  for (size_t k = 0; k < size; ++k) {
95
280k
    order[k] = natural_order[order[k]];
96
280k
  }
97
4.11k
  return true;
98
24.2k
}
99
100
}  // namespace
101
102
Status DecodeCoeffOrders(JxlMemoryManager* memory_manager, uint16_t used_orders,
103
                         uint32_t used_acs, coeff_order_t* order,
104
5.32k
                         BitReader* br) {
105
5.32k
  uint16_t computed = 0;
106
5.32k
  std::vector<uint8_t> context_map;
107
5.32k
  ANSCode code;
108
5.32k
  ANSSymbolReader reader;
109
5.32k
  std::vector<coeff_order_t> natural_order;
110
  // Bitstream does not have histograms if no coefficient order is used.
111
5.32k
  if (used_orders != 0) {
112
1.41k
    JXL_RETURN_IF_ERROR(DecodeHistograms(
113
1.41k
        memory_manager, br, kPermutationContexts, &code, &context_map));
114
2.71k
    JXL_ASSIGN_OR_RETURN(reader, ANSSymbolReader::Create(&code, br));
115
2.71k
  }
116
5.26k
  uint32_t acs_mask = 0;
117
147k
  for (uint8_t o = 0; o < AcStrategy::kNumValidStrategies; ++o) {
118
142k
    if ((used_acs & (1 << o)) == 0) continue;
119
7.51k
    acs_mask |= 1 << kStrategyOrder[o];
120
7.51k
  }
121
146k
  for (uint8_t o = 0; o < AcStrategy::kNumValidStrategies; ++o) {
122
141k
    uint8_t ord = kStrategyOrder[o];
123
141k
    if (computed & (1 << ord)) continue;
124
68.1k
    computed |= 1 << ord;
125
68.1k
    AcStrategy acs = AcStrategy::FromRawStrategy(o);
126
68.1k
    bool used = (acs_mask & (1 << ord)) != 0;
127
128
68.1k
    const size_t llf = acs.covered_blocks_x() * acs.covered_blocks_y();
129
68.1k
    const size_t size = kDCTBlockSize * llf;
130
131
68.1k
    if (used || (used_orders & (1 << ord))) {
132
13.9k
      if (natural_order.size() < size) natural_order.resize(size);
133
13.9k
      acs.ComputeNaturalCoeffOrder(natural_order.data());
134
13.9k
    }
135
136
68.1k
    if ((used_orders & (1 << ord)) == 0) {
137
      // No need to set the default order if no ACS uses this order.
138
60.0k
      if (used) {
139
23.5k
        for (size_t c = 0; c < 3; c++) {
140
17.6k
          memcpy(&order[CoeffOrderOffset(ord, c)], natural_order.data(),
141
17.6k
                 size * sizeof(*order));
142
17.6k
        }
143
5.87k
      }
144
60.0k
    } else {
145
32.3k
      for (size_t c = 0; c < 3; c++) {
146
24.2k
        coeff_order_t* dest = used ? &order[CoeffOrderOffset(ord, c)] : nullptr;
147
24.2k
        JXL_RETURN_IF_ERROR(DecodeCoeffOrder(acs, dest, br, &reader,
148
24.2k
                                             natural_order, context_map));
149
24.2k
      }
150
8.09k
    }
151
68.1k
  }
152
5.23k
  if (used_orders && !reader.CheckANSFinalState()) {
153
0
    return JXL_FAILURE("Invalid ANS stream");
154
0
  }
155
5.23k
  return true;
156
5.23k
}
157
158
}  // namespace jxl