Coverage Report

Created: 2026-10-14 06:45

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/libjxl/lib/jxl/dec_frame.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/dec_frame.h"
7
8
#include <jxl/decode.h>
9
#include <jxl/memory_manager.h>
10
#include <jxl/types.h>
11
12
#include <algorithm>
13
#include <cstddef>
14
#include <cstdint>
15
#include <cstdlib>
16
#include <memory>
17
#include <utility>
18
#include <vector>
19
20
#include "lib/jxl/ac_context.h"
21
#include "lib/jxl/ac_strategy.h"
22
#include "lib/jxl/base/bits.h"
23
#include "lib/jxl/base/common.h"
24
#include "lib/jxl/base/compiler_specific.h"
25
#include "lib/jxl/base/data_parallel.h"
26
#include "lib/jxl/base/printf_macros.h"
27
#include "lib/jxl/base/rect.h"
28
#include "lib/jxl/base/span.h"
29
#include "lib/jxl/base/status.h"
30
#include "lib/jxl/chroma_from_luma.h"
31
#include "lib/jxl/coeff_order.h"
32
#include "lib/jxl/coeff_order_fwd.h"
33
#include "lib/jxl/common.h"  // kMaxNumPasses
34
#include "lib/jxl/compressed_dc.h"
35
#include "lib/jxl/dct_util.h"
36
#include "lib/jxl/dec_ans.h"
37
#include "lib/jxl/dec_bit_reader.h"
38
#include "lib/jxl/dec_cache.h"
39
#include "lib/jxl/dec_group.h"
40
#include "lib/jxl/dec_modular.h"
41
#include "lib/jxl/dec_noise.h"
42
#include "lib/jxl/dec_patch_dictionary.h"
43
#include "lib/jxl/entropy_coder.h"
44
#include "lib/jxl/epf.h"
45
#include "lib/jxl/fields.h"
46
#include "lib/jxl/frame_dimensions.h"
47
#include "lib/jxl/frame_header.h"
48
#include "lib/jxl/image_bundle.h"
49
#include "lib/jxl/image_metadata.h"
50
#include "lib/jxl/image_ops.h"
51
#include "lib/jxl/jpeg/jpeg_data.h"
52
#include "lib/jxl/loop_filter.h"
53
#include "lib/jxl/passes_state.h"
54
#include "lib/jxl/quant_weights.h"
55
#include "lib/jxl/quantizer.h"
56
#include "lib/jxl/render_pipeline/render_pipeline.h"
57
#include "lib/jxl/splines.h"
58
#include "lib/jxl/toc.h"
59
60
namespace jxl {
61
62
namespace {
63
Status DecodeGlobalDCInfo(BitReader* reader, bool is_jpeg,
64
7.12k
                          PassesDecoderState* state, ThreadPool* pool) {
65
7.12k
  JXL_RETURN_IF_ERROR(state->shared_storage.quantizer.Decode(reader));
66
67
7.12k
  JXL_RETURN_IF_ERROR(DecodeBlockCtxMap(state->memory_manager(), reader,
68
7.12k
                                        &state->shared_storage.block_ctx_map));
69
70
7.12k
  JXL_RETURN_IF_ERROR(state->shared_storage.cmap.DecodeDC(reader));
71
72
  // Pre-compute info for decoding a group.
73
7.12k
  if (is_jpeg) {
74
0
    state->shared_storage.quantizer.ClearDCMul();  // Don't dequant DC
75
0
  }
76
77
7.12k
  state->shared_storage.ac_strategy.FillInvalid();
78
7.12k
  return true;
79
7.12k
}
80
}  // namespace
81
82
Status DecodeFrame(PassesDecoderState* dec_state, ThreadPool* JXL_RESTRICT pool,
83
                   const uint8_t* next_in, size_t avail_in,
84
                   FrameHeader* frame_header, ImageBundle* decoded,
85
                   const CodecMetadata& metadata,
86
0
                   bool use_slow_rendering_pipeline) {
87
0
  FrameDecoder frame_decoder(dec_state, metadata, pool,
88
0
                             use_slow_rendering_pipeline);
89
90
0
  BitReader reader(Bytes(next_in, avail_in));
91
0
  JXL_RETURN_IF_ERROR(frame_decoder.InitFrame(&reader, decoded,
92
0
                                              /*is_preview=*/false));
93
0
  JXL_RETURN_IF_ERROR(frame_decoder.InitFrameOutput());
94
0
  if (frame_header) {
95
0
    *frame_header = frame_decoder.GetFrameHeader();
96
0
  }
97
98
0
  JXL_RETURN_IF_ERROR(reader.AllReadsWithinBounds());
99
0
  size_t header_bytes = reader.TotalBitsConsumed() / kBitsPerByte;
100
0
  JXL_RETURN_IF_ERROR(reader.Close());
101
102
0
  size_t processed_bytes = header_bytes;
103
0
  Status close_ok = true;
104
0
  std::vector<std::unique_ptr<BitReader>> section_readers;
105
0
  {
106
0
    std::vector<std::unique_ptr<BitReaderScopedCloser>> section_closers;
107
0
    std::vector<FrameDecoder::SectionInfo> section_info;
108
0
    std::vector<FrameDecoder::SectionStatus> section_status;
109
0
    size_t pos = header_bytes;
110
0
    size_t index = 0;
111
0
    for (auto toc_entry : frame_decoder.Toc()) {
112
0
      JXL_RETURN_IF_ERROR(pos + toc_entry.size <= avail_in);
113
0
      auto br = make_unique<BitReader>(Bytes(next_in + pos, toc_entry.size));
114
0
      section_info.emplace_back(
115
0
          FrameDecoder::SectionInfo{br.get(), toc_entry.id, index++});
116
0
      section_closers.emplace_back(
117
0
          make_unique<BitReaderScopedCloser>(*br, close_ok));
118
0
      section_readers.emplace_back(std::move(br));
119
0
      pos += toc_entry.size;
120
0
    }
121
0
    section_status.resize(section_info.size());
122
0
    JXL_RETURN_IF_ERROR(frame_decoder.ProcessSections(
123
0
        section_info.data(), section_info.size(), section_status.data()));
124
0
    for (size_t i = 0; i < section_status.size(); i++) {
125
0
      JXL_RETURN_IF_ERROR(section_status[i] == FrameDecoder::kDone);
126
0
      processed_bytes += frame_decoder.Toc()[i].size;
127
0
    }
128
0
  }
129
0
  JXL_RETURN_IF_ERROR(close_ok);
130
0
  JXL_RETURN_IF_ERROR(frame_decoder.FinalizeFrame());
131
0
  decoded->SetDecodedBytes(processed_bytes);
132
0
  return true;
133
0
}
134
135
Status FrameDecoder::InitFrame(BitReader* JXL_RESTRICT br, ImageBundle* decoded,
136
267k
                               bool is_preview) {
137
267k
  decoded_ = decoded;
138
267k
  JXL_ENSURE(is_finalized_);
139
267k
  JxlMemoryManager* memory_manager = decoded_->memory_manager();
140
141
  // Reset the dequantization matrices to their default values.
142
267k
  dec_state_->shared_storage.matrices = DequantMatrices();
143
144
267k
  frame_header_.nonserialized_is_preview = is_preview;
145
267k
  JXL_ENSURE(frame_header_.nonserialized_metadata != nullptr);
146
267k
  JXL_RETURN_IF_ERROR(ReadFrameHeader(br, &frame_header_));
147
267k
  frame_dim_ = frame_header_.ToFrameDimensions();
148
267k
  JXL_DEBUG_V(2, "FrameHeader: %s", frame_header_.DebugString().c_str());
149
150
267k
  const size_t num_passes = frame_header_.passes.num_passes;
151
267k
  const size_t num_groups = frame_dim_.num_groups;
152
153
  // If the previous frame was not a kRegularFrame, `decoded` may have different
154
  // dimensions; must reset to avoid errors.
155
267k
  decoded->RemoveColor();
156
267k
  decoded->ClearExtraChannels();
157
158
267k
  decoded->duration = frame_header_.animation_frame.duration;
159
160
267k
  if (!frame_header_.nonserialized_is_preview &&
161
267k
      (frame_header_.is_last || frame_header_.animation_frame.duration > 0) &&
162
4.33k
      (frame_header_.frame_type == kRegularFrame ||
163
4.33k
       frame_header_.frame_type == kSkipProgressive)) {
164
4.33k
    ++dec_state_->visible_frame_index;
165
4.33k
    dec_state_->nonvisible_frame_index = 0;
166
263k
  } else {
167
263k
    ++dec_state_->nonvisible_frame_index;
168
263k
  }
169
170
  // Read TOC.
171
267k
  const size_t toc_entries =
172
267k
      NumTocEntries(num_groups, frame_dim_.num_dc_groups, num_passes);
173
267k
  std::vector<uint32_t> sizes;
174
267k
  std::vector<coeff_order_t> permutation;
175
267k
  JXL_RETURN_IF_ERROR(
176
267k
      ReadToc(memory_manager, toc_entries, br, &sizes, &permutation));
177
267k
  bool have_permutation = !permutation.empty();
178
267k
  toc_.resize(toc_entries);
179
267k
  section_sizes_sum_ = 0;
180
1.04M
  for (size_t i = 0; i < toc_entries; ++i) {
181
776k
    toc_[i].size = sizes[i];
182
776k
    size_t index = have_permutation ? permutation[i] : i;
183
776k
    toc_[index].id = i;
184
776k
    if (section_sizes_sum_ + toc_[i].size < section_sizes_sum_) {
185
0
      return JXL_FAILURE("group offset overflow");
186
0
    }
187
776k
    section_sizes_sum_ += toc_[i].size;
188
776k
  }
189
190
267k
  if (JXL_DEBUG_V_LEVEL >= 3) {
191
0
    for (size_t i = 0; i < toc_entries; ++i) {
192
0
      JXL_DEBUG_V(3, "TOC entry %" PRIuS " size %" PRIuS " id %" PRIuS "", i,
193
0
                  toc_[i].size, toc_[i].id);
194
0
    }
195
0
  }
196
197
267k
  JXL_ENSURE((br->TotalBitsConsumed() % kBitsPerByte) == 0);
198
267k
  const size_t group_codes_begin = br->TotalBitsConsumed() / kBitsPerByte;
199
267k
  JXL_ENSURE(!toc_.empty());
200
201
  // Overflow check.
202
267k
  if (group_codes_begin + section_sizes_sum_ < group_codes_begin) {
203
0
    return JXL_FAILURE("Invalid group codes");
204
0
  }
205
267k
  return true;
206
267k
}
207
208
17.4k
Status FrameDecoder::InitFrameOutput() {
209
17.4k
  JXL_RETURN_IF_ERROR(
210
17.4k
      InitializePassesSharedState(frame_header_, &dec_state_->shared_storage));
211
17.4k
  JXL_RETURN_IF_ERROR(dec_state_->Init(frame_header_));
212
17.4k
  modular_frame_decoder_.Init(frame_dim_);
213
214
17.4k
  if (decoded_->IsJPEG()) {
215
0
    if (frame_header_.encoding == FrameEncoding::kModular) {
216
0
      return JXL_FAILURE("Cannot output JPEG from Modular");
217
0
    }
218
0
    jpeg::JPEGData* jpeg_data = decoded_->jpeg_data.get();
219
0
    size_t num_components = jpeg_data->components.size();
220
0
    if (num_components != 1 && num_components != 3) {
221
0
      return JXL_FAILURE("Invalid number of components");
222
0
    }
223
0
    if (frame_header_.nonserialized_metadata->m.xyb_encoded) {
224
0
      return JXL_FAILURE("Cannot decode to JPEG an XYB image");
225
0
    }
226
0
    auto jpeg_c_map = JpegOrder(ColorTransform::kYCbCr, num_components == 1);
227
0
    decoded_->jpeg_data->width = frame_dim_.xsize;
228
0
    decoded_->jpeg_data->height = frame_dim_.ysize;
229
0
    for (size_t c = 0; c < num_components; c++) {
230
0
      auto& component = jpeg_data->components[jpeg_c_map[c]];
231
0
      component.width_in_blocks =
232
0
          frame_dim_.xsize_blocks >> frame_header_.chroma_subsampling.HShift(c);
233
0
      component.height_in_blocks =
234
0
          frame_dim_.ysize_blocks >> frame_header_.chroma_subsampling.VShift(c);
235
0
      component.h_samp_factor =
236
0
          1 << frame_header_.chroma_subsampling.RawHShift(c);
237
0
      component.v_samp_factor =
238
0
          1 << frame_header_.chroma_subsampling.RawVShift(c);
239
0
      size_t num_blocks = static_cast<size_t>(component.width_in_blocks) *
240
0
                          component.height_in_blocks;
241
0
      component.coeffs.resize(num_blocks * jxl::kDCTBlockSize);
242
0
    }
243
0
  }
244
245
  // Clear the state.
246
17.4k
  decoded_dc_global_ = false;
247
17.4k
  decoded_ac_global_ = false;
248
17.4k
  is_finalized_ = false;
249
17.4k
  finalized_dc_ = false;
250
17.4k
  num_sections_done_ = 0;
251
17.4k
  decoded_dc_groups_.clear();
252
17.4k
  decoded_dc_groups_.resize(frame_dim_.num_dc_groups);
253
17.4k
  decoded_passes_per_ac_group_.clear();
254
17.4k
  decoded_passes_per_ac_group_.resize(frame_dim_.num_groups, 0);
255
17.4k
  processed_section_.clear();
256
17.4k
  processed_section_.resize(toc_.size());
257
17.4k
  allocated_ = false;
258
17.4k
  return true;
259
17.4k
}
260
261
17.4k
Status FrameDecoder::ProcessDCGlobal(BitReader* br) {
262
17.4k
  PassesSharedState& shared = dec_state_->shared_storage;
263
17.4k
  JxlMemoryManager* memory_manager = shared.memory_manager;
264
17.4k
  if (frame_header_.flags & FrameHeader::kPatches) {
265
1.37k
    bool uses_extra_channels;
266
1.37k
    JXL_RETURN_IF_ERROR(shared.image_features.patches.Decode(
267
1.37k
        memory_manager, br, frame_dim_.xsize_padded, frame_dim_.ysize_padded,
268
1.37k
        shared.metadata->m.num_extra_channels, &uses_extra_channels));
269
1.36k
    if (frame_header_.upsampling != 1) {
270
958
      for (size_t ecups : frame_header_.extra_channel_upsampling) {
271
0
        if (ecups != frame_header_.upsampling) {
272
0
          return JXL_FAILURE(
273
0
              "Cannot use extra channels in patches if color channels are "
274
0
              "subsampled differently from extra channels");
275
0
        }
276
0
      }
277
958
    }
278
16.0k
  } else {
279
16.0k
    shared.image_features.patches.Clear();
280
16.0k
  }
281
17.3k
  shared.image_features.splines.Clear();
282
17.3k
  if (frame_header_.flags & FrameHeader::kSplines) {
283
1.00k
    JXL_RETURN_IF_ERROR(shared.image_features.splines.Decode(
284
1.00k
        br, frame_dim_.xsize * frame_dim_.ysize));
285
1.00k
  }
286
17.3k
  if (frame_header_.flags & FrameHeader::kNoise) {
287
4.86k
    JXL_RETURN_IF_ERROR(DecodeNoise(br, &shared.image_features.noise_params));
288
4.86k
  }
289
17.3k
  JXL_RETURN_IF_ERROR(dec_state_->shared_storage.matrices.DecodeDC(br));
290
291
17.3k
  if (frame_header_.encoding == FrameEncoding::kVarDCT) {
292
7.12k
    JXL_RETURN_IF_ERROR(
293
7.12k
        jxl::DecodeGlobalDCInfo(br, decoded_->IsJPEG(), dec_state_, pool_));
294
7.12k
  }
295
  // Splines' draw cache uses the color correlation map.
296
17.3k
  if (frame_header_.flags & FrameHeader::kSplines) {
297
1.00k
    JXL_RETURN_IF_ERROR(shared.image_features.splines.InitializeDrawCache(
298
1.00k
        frame_dim_.xsize_upsampled, frame_dim_.ysize_upsampled,
299
1.00k
        dec_state_->shared->cmap.base()));
300
1.00k
  }
301
17.3k
  Status dec_status = modular_frame_decoder_.DecodeGlobalInfo(
302
17.3k
      br, frame_header_, /*allow_truncated_group=*/false);
303
17.3k
  if (dec_status.IsFatalError()) return dec_status;
304
17.3k
  if (dec_status) {
305
17.3k
    decoded_dc_global_ = true;
306
17.3k
  }
307
17.3k
  return dec_status;
308
17.3k
}
309
310
19.2k
Status FrameDecoder::ProcessDCGroup(size_t dc_group_id, BitReader* br) {
311
19.2k
  const size_t gx = dc_group_id % frame_dim_.xsize_dc_groups;
312
19.2k
  const size_t gy = dc_group_id / frame_dim_.xsize_dc_groups;
313
19.2k
  const LoopFilter& lf = frame_header_.loop_filter;
314
19.2k
  if (frame_header_.encoding == FrameEncoding::kVarDCT &&
315
7.33k
      !(frame_header_.flags & FrameHeader::kUseDcFrame)) {
316
7.33k
    JXL_RETURN_IF_ERROR(modular_frame_decoder_.DecodeVarDCTDC(
317
7.33k
        frame_header_, dc_group_id, br, dec_state_));
318
7.33k
  }
319
19.2k
  const Rect mrect(gx * frame_dim_.dc_group_dim, gy * frame_dim_.dc_group_dim,
320
19.2k
                   frame_dim_.dc_group_dim, frame_dim_.dc_group_dim);
321
19.2k
  JXL_RETURN_IF_ERROR(modular_frame_decoder_.DecodeGroup(
322
19.2k
      frame_header_, mrect, br, 3, 1000,
323
19.2k
      ModularStreamId::ModularDC(dc_group_id),
324
19.2k
      /*zerofill=*/false, nullptr, nullptr,
325
19.2k
      /*allow_truncated=*/false));
326
19.2k
  if (frame_header_.encoding == FrameEncoding::kVarDCT) {
327
7.30k
    JXL_RETURN_IF_ERROR(modular_frame_decoder_.DecodeAcMetadata(
328
7.30k
        frame_header_, dc_group_id, br, dec_state_));
329
11.9k
  } else if (lf.epf_iters > 0) {
330
2.20k
    FillImage(kInvSigmaNum / lf.epf_sigma_for_modular, &dec_state_->sigma);
331
2.20k
  }
332
19.2k
  decoded_dc_groups_[dc_group_id] = JXL_TRUE;
333
19.2k
  return true;
334
19.2k
}
335
336
17.2k
Status FrameDecoder::FinalizeDC() {
337
  // Do Adaptive DC smoothing if enabled. This *must* happen between all the
338
  // ProcessDCGroup and ProcessACGroup.
339
17.2k
  JxlMemoryManager* memory_manager = dec_state_->memory_manager();
340
17.2k
  if (frame_header_.encoding == FrameEncoding::kVarDCT &&
341
7.08k
      !(frame_header_.flags & FrameHeader::kSkipAdaptiveDCSmoothing) &&
342
6.43k
      !(frame_header_.flags & FrameHeader::kUseDcFrame) &&
343
      // Skip smoothing when reconstructing to JPEG.
344
6.43k
      !decoded_->IsJPEG()) {
345
6.43k
    JXL_RETURN_IF_ERROR(AdaptiveDCSmoothing(
346
6.43k
        memory_manager, dec_state_->shared->quantizer.MulDC(),
347
6.43k
        &dec_state_->shared_storage.dc_storage, pool_));
348
6.43k
  }
349
350
17.2k
  finalized_dc_ = true;
351
17.2k
  return true;
352
17.2k
}
353
354
17.2k
Status FrameDecoder::AllocateOutput() {
355
17.2k
  if (allocated_) return true;
356
17.2k
  modular_frame_decoder_.MaybeDropFullImage();
357
17.2k
  decoded_->origin = frame_header_.frame_origin;
358
17.2k
  JXL_RETURN_IF_ERROR(
359
17.2k
      dec_state_->InitForAC(frame_header_.passes.num_passes, nullptr));
360
17.2k
  allocated_ = true;
361
17.2k
  return true;
362
17.2k
}
363
364
17.2k
Status FrameDecoder::ProcessACGlobal(BitReader* br) {
365
17.2k
  JXL_ENSURE(finalized_dc_);
366
17.2k
  JxlMemoryManager* memory_manager = dec_state_->memory_manager();
367
368
  // Decode AC group.
369
17.2k
  if (frame_header_.encoding == FrameEncoding::kVarDCT) {
370
7.08k
    JXL_RETURN_IF_ERROR(dec_state_->shared_storage.matrices.Decode(
371
7.08k
        memory_manager, br, &modular_frame_decoder_));
372
7.08k
    JXL_RETURN_IF_ERROR(dec_state_->shared_storage.matrices.EnsureComputed(
373
7.08k
        memory_manager, dec_state_->used_acs));
374
375
7.08k
    size_t num_histo_bits =
376
7.08k
        CeilLog2Nonzero(dec_state_->shared->frame_dim.num_groups);
377
7.08k
    dec_state_->shared_storage.num_histograms =
378
7.08k
        1 + br->ReadBits(num_histo_bits);
379
380
7.08k
    JXL_DEBUG_V(3,
381
7.08k
                "Processing AC global with %d passes and %" PRIuS
382
7.08k
                " sets of histograms",
383
7.08k
                frame_header_.passes.num_passes,
384
7.08k
                dec_state_->shared_storage.num_histograms);
385
386
7.08k
    dec_state_->code.resize(kMaxNumPasses);
387
7.08k
    dec_state_->context_map.resize(kMaxNumPasses);
388
    // Read coefficient orders and histograms.
389
7.08k
    size_t max_num_bits_ac = 0;
390
14.1k
    for (size_t i = 0; i < frame_header_.passes.num_passes; i++) {
391
7.12k
      uint16_t used_orders = U32Coder::Read(kOrderEnc, br);
392
7.12k
      JXL_RETURN_IF_ERROR(DecodeCoeffOrders(
393
7.12k
          memory_manager, used_orders, dec_state_->used_acs,
394
7.12k
          &dec_state_->shared_storage
395
7.12k
               .coeff_orders[i * dec_state_->shared_storage.coeff_order_size],
396
7.12k
          br));
397
7.12k
      size_t num_contexts =
398
7.12k
          dec_state_->shared->num_histograms *
399
7.12k
          dec_state_->shared_storage.block_ctx_map.NumACContexts();
400
7.12k
      JXL_RETURN_IF_ERROR(DecodeHistograms(memory_manager, br, num_contexts,
401
7.12k
                                           &dec_state_->code[i],
402
7.12k
                                           &dec_state_->context_map[i]));
403
      // Add extra values to enable the cheat in hot loop of DecodeACVarBlock.
404
7.11k
      dec_state_->context_map[i].resize(
405
7.11k
          num_contexts + kZeroDensityContextLimit - kZeroDensityContextCount);
406
7.11k
      max_num_bits_ac =
407
7.11k
          std::max(max_num_bits_ac, dec_state_->code[i].max_num_bits);
408
7.11k
    }
409
7.07k
    max_num_bits_ac += CeilLog2Nonzero(frame_header_.passes.num_passes);
410
    // 16-bit buffer for decoding to JPEG are not implemented.
411
    // TODO(veluca): figure out the exact limit - 16 should still work with
412
    // 16-bit buffers, but we are excluding it for safety.
413
7.07k
    bool use_16_bit = max_num_bits_ac < 16 && !decoded_->IsJPEG();
414
7.07k
    bool store = frame_header_.passes.num_passes > 1;
415
7.07k
    size_t xs = store ? kGroupDim * kGroupDim : 0;
416
7.07k
    size_t ys = store ? frame_dim_.num_groups : 0;
417
7.07k
    if (use_16_bit) {
418
5.67k
      JXL_ASSIGN_OR_RETURN(dec_state_->coefficients,
419
5.67k
                           ACImageT<int16_t>::Make(memory_manager, xs, ys));
420
5.67k
    } else {
421
1.40k
      JXL_ASSIGN_OR_RETURN(dec_state_->coefficients,
422
1.40k
                           ACImageT<int32_t>::Make(memory_manager, xs, ys));
423
1.40k
    }
424
7.07k
    if (store) {
425
4
      dec_state_->coefficients->ZeroFill();
426
4
    }
427
7.07k
  }
428
429
  // Set JPEG decoding data.
430
17.2k
  if (decoded_->IsJPEG()) {
431
0
    decoded_->color_transform = frame_header_.color_transform;
432
0
    decoded_->chroma_subsampling = frame_header_.chroma_subsampling;
433
0
    const std::vector<QuantEncoding>& qe =
434
0
        dec_state_->shared_storage.matrices.encodings();
435
0
    if (qe.empty() || qe[0].mode != QuantEncoding::Mode::kQuantModeRAW ||
436
0
        std::abs(qe[0].qraw.qtable_den - 1.f / (8 * 255)) > 1e-8f) {
437
0
      return JXL_FAILURE(
438
0
          "Quantization table is not a JPEG quantization table.");
439
0
    }
440
0
    jpeg::JPEGData* jpeg_data = decoded_->jpeg_data.get();
441
0
    size_t num_components = jpeg_data->components.size();
442
0
    bool is_gray = (num_components == 1);
443
0
    JXL_ENSURE(frame_header_.color_transform != ColorTransform::kXYB);
444
0
    auto jpeg_c_map = JpegOrder(frame_header_.color_transform, is_gray);
445
0
    size_t qt_set = 0;
446
0
    JXL_ENSURE(num_components <= 3);
447
0
    JXL_ENSURE(qe[0].qraw.qtable->size() == 3 * 8 * 8);
448
0
    int* qtable = qe[0].qraw.qtable->data();
449
0
    for (size_t c = 0; c < num_components; c++) {
450
      // TODO(eustas): why 1-st quant table for gray?
451
0
      size_t quant_c = is_gray ? 1 : c;
452
0
      size_t qpos = jpeg_data->components[jpeg_c_map[c]].quant_idx;
453
0
      JXL_ENSURE(qpos != jpeg_data->quant.size());
454
0
      qt_set |= 1 << qpos;
455
0
      for (size_t x = 0; x < 8; x++) {
456
0
        for (size_t y = 0; y < 8; y++) {
457
0
          jpeg_data->quant[qpos].values[x * 8 + y] =
458
0
              qtable[quant_c * 64 + y * 8 + x];
459
0
        }
460
0
      }
461
0
    }
462
0
    for (size_t i = 0; i < jpeg_data->quant.size(); i++) {
463
0
      if (qt_set & (1 << i)) continue;
464
0
      if (i == 0) return JXL_FAILURE("First quant table unused.");
465
      // Unused quant table is set to copy of previous quant table
466
0
      for (size_t j = 0; j < 64; j++) {
467
0
        jpeg_data->quant[i].values[j] = jpeg_data->quant[i - 1].values[j];
468
0
      }
469
0
    }
470
0
  }
471
17.2k
  decoded_ac_global_ = true;
472
17.2k
  return true;
473
17.2k
}
474
475
Status FrameDecoder::ProcessACGroup(size_t ac_group_id, PassesReaders& br,
476
                                    size_t num_passes, size_t thread,
477
26.9k
                                    bool force_draw, bool dc_only) {
478
26.9k
  size_t group_dim = frame_dim_.group_dim;
479
26.9k
  const size_t gx = ac_group_id % frame_dim_.xsize_groups;
480
26.9k
  const size_t gy = ac_group_id / frame_dim_.xsize_groups;
481
26.9k
  const size_t x = gx * group_dim;
482
26.9k
  const size_t y = gy * group_dim;
483
26.9k
  JxlMemoryManager* memory_manager = dec_state_->memory_manager();
484
26.9k
  JXL_DEBUG_V(3,
485
26.9k
              "Processing AC group %" PRIuS "(%" PRIuS ",%" PRIuS
486
26.9k
              ") group_dim: %" PRIuS " decoded passes: %u new passes: %" PRIuS,
487
26.9k
              ac_group_id, gx, gy, group_dim,
488
26.9k
              decoded_passes_per_ac_group_[ac_group_id], num_passes);
489
490
26.9k
  RenderPipelineInput render_pipeline_input =
491
26.9k
      dec_state_->render_pipeline->GetInputBuffers(ac_group_id, thread);
492
493
26.9k
  bool should_run_pipeline = true;
494
495
26.9k
  if (frame_header_.encoding == FrameEncoding::kVarDCT) {
496
11.1k
    JXL_RETURN_IF_ERROR(group_dec_caches_[thread].InitOnce(
497
11.1k
        memory_manager, frame_header_.passes.num_passes, dec_state_->used_acs));
498
11.1k
    JXL_RETURN_IF_ERROR(DecodeGroup(
499
11.1k
        frame_header_, br.data(), num_passes, ac_group_id, dec_state_,
500
11.1k
        &group_dec_caches_[thread], thread, render_pipeline_input,
501
11.1k
        decoded_->jpeg_data.get(), decoded_passes_per_ac_group_[ac_group_id],
502
11.1k
        force_draw, dc_only, &should_run_pipeline));
503
11.1k
  }
504
505
  // don't limit to image dimensions here (is done in DecodeGroup)
506
26.8k
  const Rect mrect(x, y, group_dim, group_dim);
507
26.8k
  bool modular_ready = false;
508
26.8k
  size_t pass0 = decoded_passes_per_ac_group_[ac_group_id];
509
26.8k
  size_t pass1 =
510
26.8k
      force_draw ? frame_header_.passes.num_passes : pass0 + num_passes;
511
53.6k
  for (size_t i = pass0; i < pass1; ++i) {
512
26.8k
    int minShift;
513
26.8k
    int maxShift;
514
26.8k
    frame_header_.passes.GetDownsamplingBracket(i, minShift, maxShift);
515
26.8k
    bool modular_pass_ready = true;
516
26.8k
    JXL_DEBUG_V(2, "Decoding modular in group %d pass %d",
517
26.8k
                static_cast<int>(ac_group_id), static_cast<int>(i));
518
26.8k
    if (i < pass0 + num_passes) {  // i.e. i - pass0 < num_passes
519
26.8k
      BitReader* r = br[i - pass0];
520
26.8k
      JXL_ENSURE(r);
521
26.8k
      JXL_DEBUG_V(2, "Bit reader position: %" PRIuS " / %" PRIuS,
522
26.8k
                  r->TotalBitsConsumed(), r->TotalBytes() * kBitsPerByte);
523
26.8k
      JXL_RETURN_IF_ERROR(modular_frame_decoder_.DecodeGroup(
524
26.8k
          frame_header_, mrect, r, minShift, maxShift,
525
26.8k
          ModularStreamId::ModularAC(ac_group_id, i),
526
26.8k
          /*zerofill=*/false, dec_state_, &render_pipeline_input,
527
26.8k
          /*allow_truncated=*/false, &modular_pass_ready));
528
18.4E
    } else {
529
18.4E
      JXL_RETURN_IF_ERROR(modular_frame_decoder_.DecodeGroup(
530
18.4E
          frame_header_, mrect, nullptr, minShift, maxShift,
531
18.4E
          ModularStreamId::ModularAC(ac_group_id, i), /*zerofill=*/true,
532
18.4E
          dec_state_, &render_pipeline_input,
533
18.4E
          /*allow_truncated=*/false, &modular_pass_ready));
534
18.4E
    }
535
26.7k
    if (modular_pass_ready) modular_ready = true;
536
26.7k
  }
537
26.7k
  decoded_passes_per_ac_group_[ac_group_id] += num_passes;
538
539
26.7k
  if ((frame_header_.flags & FrameHeader::kNoise) != 0) {
540
6.08k
    PrepareNoiseInput(*dec_state_, frame_dim_, frame_header_, ac_group_id,
541
6.08k
                      thread);
542
6.08k
  }
543
544
26.7k
  if (!modular_frame_decoder_.UsesFullImage() && !decoded_->IsJPEG()) {
545
15.7k
    if (should_run_pipeline && modular_ready) {
546
15.5k
      JXL_RETURN_IF_ERROR(render_pipeline_input.Done());
547
15.5k
    } else if (force_draw) {
548
0
      return JXL_FAILURE("Modular group decoding failed.");
549
0
    }
550
15.7k
  }
551
26.7k
  return true;
552
26.7k
}
553
554
void FrameDecoder::MarkSections(const SectionInfo* sections, size_t num,
555
17.2k
                                const SectionStatus* section_status) {
556
17.2k
  num_sections_done_ += num;
557
101k
  for (size_t i = 0; i < num; i++) {
558
84.0k
    if (section_status[i] != SectionStatus::kDone) {
559
52.5k
      processed_section_[sections[i].id] = JXL_FALSE;
560
52.5k
      num_sections_done_--;
561
52.5k
    }
562
84.0k
  }
563
17.2k
}
564
565
Status FrameDecoder::ProcessSections(const SectionInfo* sections, size_t num,
566
17.4k
                                     SectionStatus* section_status) {
567
17.4k
  if (num == 0) return true;  // Nothing to process
568
17.4k
  std::fill(section_status, section_status + num, SectionStatus::kSkipped);
569
17.4k
  size_t dc_global_sec = num;
570
17.4k
  size_t ac_global_sec = num;
571
17.4k
  std::vector<size_t> dc_group_sec(frame_dim_.num_dc_groups, num);
572
17.4k
  std::vector<std::vector<size_t>> ac_group_sec(
573
17.4k
      frame_dim_.num_groups,
574
17.4k
      std::vector<size_t>(frame_header_.passes.num_passes, num));
575
  // This keeps track of the number of ac passes we want to process during this
576
  // call of ProcessSections.
577
17.4k
  std::vector<size_t> desired_num_ac_passes(frame_dim_.num_groups);
578
17.4k
  bool single_section =
579
17.4k
      frame_dim_.num_groups == 1 && frame_header_.passes.num_passes == 1;
580
17.4k
  if (single_section) {
581
15.7k
    JXL_ENSURE(num == 1);
582
15.7k
    JXL_ENSURE(sections[0].id == 0);
583
15.7k
    if (processed_section_[0] == JXL_FALSE) {
584
15.7k
      processed_section_[0] = JXL_TRUE;
585
15.7k
      ac_group_sec[0].resize(1);
586
15.7k
      dc_global_sec = ac_global_sec = dc_group_sec[0] = ac_group_sec[0][0] = 0;
587
15.7k
      desired_num_ac_passes[0] = 1;
588
15.7k
    } else {
589
0
      section_status[0] = SectionStatus::kDuplicate;
590
0
    }
591
15.7k
  } else {
592
1.70k
    size_t ac_global_index = frame_dim_.num_dc_groups + 1;
593
108k
    for (size_t i = 0; i < num; i++) {
594
107k
      JXL_ENSURE(sections[i].id < processed_section_.size());
595
107k
      if (processed_section_[sections[i].id]) {
596
0
        section_status[i] = SectionStatus::kDuplicate;
597
0
        continue;
598
0
      }
599
107k
      if (sections[i].id == 0) {
600
1.70k
        dc_global_sec = i;
601
105k
      } else if (sections[i].id < ac_global_index) {
602
10.6k
        dc_group_sec[sections[i].id - 1] = i;
603
94.8k
      } else if (sections[i].id == ac_global_index) {
604
1.66k
        ac_global_sec = i;
605
93.2k
      } else {
606
93.2k
        size_t ac_idx = sections[i].id - ac_global_index - 1;
607
93.2k
        size_t acg = ac_idx % frame_dim_.num_groups;
608
93.2k
        size_t acp = ac_idx / frame_dim_.num_groups;
609
93.2k
        if (acp >= frame_header_.passes.num_passes) {
610
0
          return JXL_FAILURE("Invalid section ID");
611
0
        }
612
93.2k
        ac_group_sec[acg][acp] = i;
613
93.2k
      }
614
107k
      processed_section_[sections[i].id] = JXL_TRUE;
615
107k
    }
616
    // Count number of new passes per group.
617
259k
    for (size_t g = 0; g < ac_group_sec.size(); g++) {
618
258k
      size_t j = 0;
619
351k
      for (; j + decoded_passes_per_ac_group_[g] <
620
351k
             frame_header_.passes.num_passes;
621
261k
           j++) {
622
261k
        if (ac_group_sec[g][j + decoded_passes_per_ac_group_[g]] == num) {
623
168k
          break;
624
168k
        }
625
261k
      }
626
258k
      desired_num_ac_passes[g] = j;
627
258k
    }
628
1.70k
  }
629
17.4k
  if (dc_global_sec != num) {
630
17.4k
    Status dc_global_status = ProcessDCGlobal(sections[dc_global_sec].br);
631
17.4k
    if (dc_global_status.IsFatalError()) return dc_global_status;
632
17.3k
    if (dc_global_status) {
633
17.3k
      section_status[dc_global_sec] = SectionStatus::kDone;
634
17.3k
    } else {
635
4
      section_status[dc_global_sec] = SectionStatus::kPartial;
636
4
    }
637
17.3k
  }
638
639
17.3k
  if (decoded_dc_global_) {
640
17.3k
    const auto process_section = [this, &dc_group_sec, &num, &sections,
641
17.3k
                                  &section_status](size_t i,
642
23.2k
                                                   size_t thread) -> Status {
643
23.2k
      if (dc_group_sec[i] != num) {
644
19.2k
        JXL_RETURN_IF_ERROR(ProcessDCGroup(i, sections[dc_group_sec[i]].br));
645
19.2k
        section_status[dc_group_sec[i]] = SectionStatus::kDone;
646
19.2k
      }
647
23.2k
      return true;
648
23.2k
    };
649
17.3k
    JXL_RETURN_IF_ERROR(RunOnPool(pool_, 0, dc_group_sec.size(),
650
17.3k
                                  ThreadPool::NoInit, process_section,
651
17.3k
                                  "DecodeDCGroup"));
652
17.3k
  }
653
654
17.2k
  if (!HasDcGroupToDecode() && !finalized_dc_) {
655
17.2k
    PassesDecoderState::PipelineOptions pipeline_options;
656
17.2k
    pipeline_options.use_slow_render_pipeline = use_slow_rendering_pipeline_;
657
17.2k
    pipeline_options.coalescing = coalescing_;
658
17.2k
    pipeline_options.render_spotcolors = render_spotcolors_;
659
17.2k
    pipeline_options.render_noise = true;
660
17.2k
    JXL_RETURN_IF_ERROR(dec_state_->PreparePipeline(
661
17.2k
        frame_header_, &frame_header_.nonserialized_metadata->m, decoded_,
662
17.2k
        pipeline_options));
663
17.2k
    JXL_RETURN_IF_ERROR(FinalizeDC());
664
17.2k
    JXL_RETURN_IF_ERROR(AllocateOutput());
665
17.2k
    if (progressive_detail_ >= JxlProgressiveDetail::kDC) {
666
0
      MarkSections(sections, num, section_status);
667
0
      return true;
668
0
    }
669
17.2k
  }
670
671
17.2k
  if (finalized_dc_ && ac_global_sec != num && !decoded_ac_global_) {
672
17.2k
    JXL_RETURN_IF_ERROR(ProcessACGlobal(sections[ac_global_sec].br));
673
17.2k
    section_status[ac_global_sec] = SectionStatus::kDone;
674
17.2k
  }
675
676
17.2k
  if (progressive_detail_ >= JxlProgressiveDetail::kLastPasses) {
677
    // Mark that we only want the next progression pass.
678
0
    size_t target_complete_passes = NextNumPassesToPause();
679
0
    for (size_t i = 0; i < ac_group_sec.size(); i++) {
680
0
      desired_num_ac_passes[i] =
681
0
          std::min(desired_num_ac_passes[i],
682
0
                   target_complete_passes - decoded_passes_per_ac_group_[i]);
683
0
    }
684
0
  }
685
686
17.2k
  if (decoded_ac_global_) {
687
    // Mark all the AC groups that we received as not complete yet.
688
55.0k
    for (size_t i = 0; i < ac_group_sec.size(); i++) {
689
37.7k
      if (desired_num_ac_passes[i] != 0) {
690
27.2k
        dec_state_->render_pipeline->ClearDone(i);
691
27.2k
      }
692
37.7k
    }
693
694
17.2k
    const auto prepare_storage = [this](size_t num_threads) -> Status {
695
17.2k
      JXL_RETURN_IF_ERROR(
696
17.2k
          PrepareStorage(num_threads, decoded_passes_per_ac_group_.size()));
697
17.2k
      return true;
698
17.2k
    };
699
17.2k
    const auto process_group = [this, &ac_group_sec, &desired_num_ac_passes,
700
17.2k
                                &num, &sections, &section_status](
701
36.8k
                                   size_t g, size_t thread) -> Status {
702
36.8k
      if (desired_num_ac_passes[g] == 0) {
703
        // no new AC pass, nothing to do
704
9.90k
        return true;
705
9.90k
      }
706
26.9k
      size_t first_pass = decoded_passes_per_ac_group_[g];
707
26.9k
      PassesReaders readers = {};
708
53.8k
      for (size_t i = 0; i < desired_num_ac_passes[g]; i++) {
709
26.9k
        JXL_ENSURE(ac_group_sec[g][first_pass + i] != num);
710
26.9k
        readers[i] = sections[ac_group_sec[g][first_pass + i]].br;
711
26.9k
      }
712
26.9k
      JXL_RETURN_IF_ERROR(ProcessACGroup(
713
26.9k
          g, readers, desired_num_ac_passes[g], GetStorageLocation(thread, g),
714
26.9k
          /*force_draw=*/false, /*dc_only=*/false));
715
53.5k
      for (size_t i = 0; i < desired_num_ac_passes[g]; i++) {
716
26.7k
        section_status[ac_group_sec[g][first_pass + i]] = SectionStatus::kDone;
717
26.7k
      }
718
26.7k
      return true;
719
26.9k
    };
720
17.2k
    JXL_RETURN_IF_ERROR(RunOnPool(pool_, 0, ac_group_sec.size(),
721
17.2k
                                  prepare_storage, process_group,
722
17.2k
                                  "DecodeGroup"));
723
17.2k
  }
724
725
17.2k
  MarkSections(sections, num, section_status);
726
17.2k
  return true;
727
17.2k
}
728
729
0
Status FrameDecoder::Flush() {
730
0
  bool has_blending = frame_header_.blending_info.mode != BlendMode::kReplace ||
731
0
                      frame_header_.custom_size_or_origin;
732
0
  for (const auto& blending_info_ec :
733
0
       frame_header_.extra_channel_blending_info) {
734
0
    if (blending_info_ec.mode != BlendMode::kReplace) has_blending = true;
735
0
  }
736
  // No early Flush() if blending is enabled.
737
0
  if (has_blending && !is_finalized_) {
738
0
    return false;
739
0
  }
740
  // No early Flush() - nothing to do - if the frame is a kSkipProgressive
741
  // frame.
742
0
  if (frame_header_.frame_type == FrameType::kSkipProgressive &&
743
0
      !is_finalized_) {
744
0
    return true;
745
0
  }
746
0
  if (decoded_->IsJPEG()) {
747
    // Nothing to do.
748
0
    return true;
749
0
  }
750
0
  JXL_RETURN_IF_ERROR(AllocateOutput());
751
752
0
  uint32_t completely_decoded_ac_pass = *std::min_element(
753
0
      decoded_passes_per_ac_group_.begin(), decoded_passes_per_ac_group_.end());
754
0
  if (completely_decoded_ac_pass < frame_header_.passes.num_passes) {
755
    // We don't have all AC yet: force a draw of all the missing areas.
756
    // Mark all sections as not complete.
757
0
    for (size_t i = 0; i < decoded_passes_per_ac_group_.size(); i++) {
758
0
      if (decoded_passes_per_ac_group_[i] < frame_header_.passes.num_passes) {
759
0
        dec_state_->render_pipeline->ClearDone(i);
760
0
      }
761
0
    }
762
0
    const auto prepare_storage = [this](const size_t num_threads) -> Status {
763
0
      JXL_RETURN_IF_ERROR(
764
0
          PrepareStorage(num_threads, decoded_passes_per_ac_group_.size()));
765
0
      return true;
766
0
    };
767
0
    const auto process_group = [this](const uint32_t g,
768
0
                                      size_t thread) -> Status {
769
0
      if (decoded_passes_per_ac_group_[g] == frame_header_.passes.num_passes) {
770
        // This group was drawn already, nothing to do.
771
0
        return true;
772
0
      }
773
0
      PassesReaders readers = {};
774
0
      JXL_RETURN_IF_ERROR(ProcessACGroup(
775
0
          g, readers, /*num_passes=*/0, GetStorageLocation(thread, g),
776
0
          /*force_draw=*/true, /*dc_only=*/!decoded_ac_global_));
777
0
      return true;
778
0
    };
779
0
    JXL_RETURN_IF_ERROR(RunOnPool(pool_, 0, decoded_passes_per_ac_group_.size(),
780
0
                                  prepare_storage, process_group,
781
0
                                  "ForceDrawGroup"));
782
0
  }
783
784
  // undo global modular transforms and copy int pixel buffers to float ones
785
0
  JXL_RETURN_IF_ERROR(modular_frame_decoder_.FinalizeDecoding(
786
0
      frame_header_, dec_state_, pool_, is_finalized_));
787
788
0
  return true;
789
0
}
790
791
267k
int FrameDecoder::SavedAs(const FrameHeader& header) {
792
267k
  if (header.frame_type == FrameType::kDCFrame) {
793
    // bits 16, 32, 64, 128 for DC level
794
3.33k
    return 16 << (header.dc_level - 1);
795
264k
  } else if (header.CanBeReferenced()) {
796
    // bits 1, 2, 4 and 8 for the references
797
260k
    return 1 << header.save_as_reference;
798
260k
  }
799
800
3.94k
  return 0;
801
267k
}
802
803
17.1k
bool FrameDecoder::HasEverything() const {
804
17.1k
  if (!decoded_dc_global_) return false;
805
17.1k
  if (!decoded_ac_global_) return false;
806
17.1k
  if (HasDcGroupToDecode()) return false;
807
22.4k
  for (const auto& nb_passes : decoded_passes_per_ac_group_) {
808
22.4k
    if (nb_passes < frame_header_.passes.num_passes) return false;
809
22.4k
  }
810
17.1k
  return true;
811
17.1k
}
812
813
17.1k
int FrameDecoder::References() const {
814
17.1k
  if (is_finalized_) {
815
0
    return 0;
816
0
  }
817
17.1k
  if (!HasEverything()) return 0;
818
819
17.1k
  int result = 0;
820
821
  // Blending
822
17.1k
  if (frame_header_.frame_type == FrameType::kRegularFrame ||
823
13.6k
      frame_header_.frame_type == FrameType::kSkipProgressive) {
824
13.6k
    bool cropped = frame_header_.custom_size_or_origin;
825
13.6k
    if (cropped || frame_header_.blending_info.mode != BlendMode::kReplace) {
826
3.12k
      result |= (1 << frame_header_.blending_info.source);
827
3.12k
    }
828
13.6k
    const auto& extra = frame_header_.extra_channel_blending_info;
829
13.6k
    for (const auto& ecbi : extra) {
830
2.12k
      if (cropped || ecbi.mode != BlendMode::kReplace) {
831
553
        result |= (1 << ecbi.source);
832
553
      }
833
2.12k
    }
834
13.6k
  }
835
836
  // Patches
837
17.1k
  if (frame_header_.flags & FrameHeader::kPatches) {
838
1.33k
    result |= dec_state_->shared->image_features.patches.GetReferences();
839
1.33k
  }
840
841
  // DC Level
842
17.1k
  if (frame_header_.flags & FrameHeader::kUseDcFrame) {
843
    // Reads from the next dc level
844
0
    int dc_level = frame_header_.dc_level + 1;
845
    // bits 16, 32, 64, 128 for DC level
846
0
    result |= (16 << (dc_level - 1));
847
0
  }
848
849
17.1k
  return result;
850
17.1k
}
851
852
17.1k
Status FrameDecoder::FinalizeFrame() {
853
17.1k
  if (is_finalized_) {
854
0
    return JXL_FAILURE("FinalizeFrame called multiple times");
855
0
  }
856
17.1k
  is_finalized_ = true;
857
17.1k
  if (decoded_->IsJPEG()) {
858
    // Nothing to do.
859
0
    return true;
860
0
  }
861
862
  // undo global modular transforms and copy int pixel buffers to float ones
863
17.1k
  JXL_RETURN_IF_ERROR(
864
17.1k
      modular_frame_decoder_.FinalizeDecoding(frame_header_, dec_state_, pool_,
865
17.1k
                                              /*inplace=*/true));
866
867
17.1k
  if (frame_header_.CanBeReferenced()) {
868
12.3k
    auto& info = dec_state_->shared_storage
869
12.3k
                     .reference_frames[frame_header_.save_as_reference];
870
12.3k
    *info.frame = std::move(dec_state_->frame_storage_for_referencing);
871
12.3k
    info.ib_is_in_xyb = frame_header_.save_before_color_transform;
872
12.3k
  }
873
17.1k
  return true;
874
17.1k
}
875
876
}  // namespace jxl