Coverage Report

Created: 2026-01-20 07:37

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/libjxl/lib/jxl/modular/encoding/enc_encoding.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 <jxl/memory_manager.h>
7
8
#include <algorithm>
9
#include <array>
10
#include <cstddef>
11
#include <cstdint>
12
#include <cstdlib>
13
#include <limits>
14
#include <queue>
15
#include <utility>
16
#include <vector>
17
18
#include "lib/jxl/base/bits.h"
19
#include "lib/jxl/base/common.h"
20
#include "lib/jxl/base/compiler_specific.h"
21
#include "lib/jxl/base/printf_macros.h"
22
#include "lib/jxl/base/status.h"
23
#include "lib/jxl/enc_ans.h"
24
#include "lib/jxl/enc_ans_params.h"
25
#include "lib/jxl/enc_aux_out.h"
26
#include "lib/jxl/enc_bit_writer.h"
27
#include "lib/jxl/enc_fields.h"
28
#include "lib/jxl/fields.h"
29
#include "lib/jxl/image.h"
30
#include "lib/jxl/image_ops.h"
31
#include "lib/jxl/modular/encoding/context_predict.h"
32
#include "lib/jxl/modular/encoding/dec_ma.h"
33
#include "lib/jxl/modular/encoding/enc_ma.h"
34
#include "lib/jxl/modular/encoding/encoding.h"
35
#include "lib/jxl/modular/encoding/ma_common.h"
36
#include "lib/jxl/modular/modular_image.h"
37
#include "lib/jxl/modular/options.h"
38
#include "lib/jxl/pack_signed.h"
39
40
namespace jxl {
41
42
namespace {
43
// Plot tree (if enabled) and predictor usage map.
44
constexpr bool kWantDebug = true;
45
// constexpr bool kPrintTree = false;
46
47
122M
inline std::array<uint8_t, 3> PredictorColor(Predictor p) {
48
122M
  switch (p) {
49
27.2M
    case Predictor::Zero:
50
27.2M
      return {{0, 0, 0}};
51
9.24M
    case Predictor::Left:
52
9.24M
      return {{255, 0, 0}};
53
0
    case Predictor::Top:
54
0
      return {{0, 255, 0}};
55
0
    case Predictor::Average0:
56
0
      return {{0, 0, 255}};
57
0
    case Predictor::Average4:
58
0
      return {{192, 128, 128}};
59
0
    case Predictor::Select:
60
0
      return {{255, 255, 0}};
61
86.0M
    case Predictor::Gradient:
62
86.0M
      return {{255, 0, 255}};
63
39.4k
    case Predictor::Weighted:
64
39.4k
      return {{0, 255, 255}};
65
      // TODO(jon)
66
0
    default:
67
0
      return {{255, 255, 255}};
68
122M
  };
69
0
}
70
71
// `cutoffs` must be sorted.
72
Tree MakeFixedTree(int property, const std::vector<int32_t> &cutoffs,
73
4.38k
                   Predictor pred, size_t num_pixels, int bitdepth) {
74
4.38k
  size_t log_px = CeilLog2Nonzero(num_pixels);
75
4.38k
  size_t min_gap = 0;
76
  // Reduce fixed tree height when encoding small images.
77
4.38k
  if (log_px < 14) {
78
3.76k
    min_gap = 8 * (14 - log_px);
79
3.76k
  }
80
4.38k
  const int shift = bitdepth > 11 ? std::min(4, bitdepth - 11) : 0;
81
4.38k
  const int mul = 1 << shift;
82
4.38k
  Tree tree;
83
4.38k
  struct NodeInfo {
84
4.38k
    size_t begin, end, pos;
85
4.38k
  };
86
4.38k
  std::queue<NodeInfo> q;
87
  // Leaf IDs will be set by roundtrip decoding the tree.
88
4.38k
  tree.push_back(PropertyDecisionNode::Leaf(pred));
89
4.38k
  q.push(NodeInfo{0, cutoffs.size(), 0});
90
61.2k
  while (!q.empty()) {
91
56.8k
    NodeInfo info = q.front();
92
56.8k
    q.pop();
93
56.8k
    if (info.begin + min_gap >= info.end) continue;
94
26.2k
    uint32_t split = (info.begin + info.end) / 2;
95
26.2k
    int32_t cutoff = cutoffs[split] * mul;
96
26.2k
    tree[info.pos] = PropertyDecisionNode::Split(property, cutoff, tree.size());
97
26.2k
    q.push(NodeInfo{split + 1, info.end, tree.size()});
98
26.2k
    tree.push_back(PropertyDecisionNode::Leaf(pred));
99
26.2k
    q.push(NodeInfo{info.begin, split, tree.size()});
100
26.2k
    tree.push_back(PropertyDecisionNode::Leaf(pred));
101
26.2k
  }
102
4.38k
  return tree;
103
4.38k
}
104
105
Status GatherTreeData(const Image &image, pixel_type chan, size_t group_id,
106
                      const weighted::Header &wp_header,
107
                      const ModularOptions &options, TreeSamples &tree_samples,
108
6.67k
                      size_t *total_pixels) {
109
6.67k
  const Channel &channel = image.channel[chan];
110
6.67k
  JxlMemoryManager *memory_manager = channel.memory_manager();
111
112
6.67k
  JXL_DEBUG_V(7, "Learning %" PRIuS "x%" PRIuS " channel %d", channel.w,
113
6.67k
              channel.h, chan);
114
115
6.67k
  std::array<pixel_type, kNumStaticProperties> static_props = {
116
6.67k
      {chan, static_cast<int>(group_id)}};
117
6.67k
  Properties properties(kNumNonrefProperties +
118
6.67k
                        kExtraPropsPerChannel * options.max_properties);
119
6.67k
  double pixel_fraction = std::min(1.0f, options.nb_repeats);
120
  // a fraction of 0 is used to disable learning entirely.
121
6.67k
  if (pixel_fraction > 0) {
122
6.67k
    pixel_fraction = std::max(pixel_fraction,
123
6.67k
                              std::min(1.0, 1024.0 / (channel.w * channel.h)));
124
6.67k
  }
125
6.67k
  uint64_t threshold =
126
6.67k
      (std::numeric_limits<uint64_t>::max() >> 32) * pixel_fraction;
127
6.67k
  uint64_t s[2] = {static_cast<uint64_t>(0x94D049BB133111EBull),
128
6.67k
                   static_cast<uint64_t>(0xBF58476D1CE4E5B9ull)};
129
  // Xorshift128+ adapted from xorshift128+-inl.h
130
30.5M
  auto use_sample = [&]() {
131
30.5M
    auto s1 = s[0];
132
30.5M
    const auto s0 = s[1];
133
30.5M
    const auto bits = s1 + s0;  // b, c
134
30.5M
    s[0] = s0;
135
30.5M
    s1 ^= s1 << 23;
136
30.5M
    s1 ^= s0 ^ (s1 >> 18) ^ (s0 >> 5);
137
30.5M
    s[1] = s1;
138
30.5M
    return (bits >> 32) <= threshold;
139
30.5M
  };
140
141
6.67k
  const ptrdiff_t onerow = channel.plane.PixelsPerRow();
142
6.67k
  JXL_ASSIGN_OR_RETURN(
143
6.67k
      Channel references,
144
6.67k
      Channel::Create(memory_manager, properties.size() - kNumNonrefProperties,
145
6.67k
                      channel.w));
146
6.67k
  weighted::State wp_state(wp_header, channel.w, channel.h);
147
6.67k
  tree_samples.PrepareForSamples(pixel_fraction * channel.h * channel.w + 64);
148
6.67k
  const bool multiple_predictors = tree_samples.NumPredictors() != 1;
149
1.82M
  auto compute_sample = [&](const pixel_type *p, size_t x, size_t y) {
150
1.82M
    pixel_type_w pred[kNumModularPredictors];
151
1.82M
    if (multiple_predictors) {
152
0
      PredictLearnAll(&properties, channel.w, p + x, onerow, x, y, references,
153
0
                      &wp_state, pred);
154
1.82M
    } else {
155
1.82M
      pred[static_cast<int>(tree_samples.PredictorFromIndex(0))] =
156
1.82M
          PredictLearn(&properties, channel.w, p + x, onerow, x, y,
157
1.82M
                       tree_samples.PredictorFromIndex(0), references,
158
1.82M
                       &wp_state)
159
1.82M
              .guess;
160
1.82M
    }
161
1.82M
    (*total_pixels)++;
162
1.82M
    if (use_sample()) {
163
1.16M
      tree_samples.AddSample(p[x], properties, pred);
164
1.16M
    }
165
1.82M
    wp_state.UpdateErrors(p[x], x, y, channel.w);
166
1.82M
  };
167
168
312k
  for (size_t y = 0; y < channel.h; y++) {
169
305k
    const pixel_type *JXL_RESTRICT p = channel.Row(y);
170
305k
    PrecomputeReferences(channel, y, image, chan, &references);
171
305k
    InitPropsRow(&properties, static_props, y);
172
173
    // TODO(veluca): avoid computing WP if we don't use its property or
174
    // predictions.
175
305k
    if (y > 1 && channel.w > 8 && references.w == 0) {
176
874k
      for (size_t x = 0; x < 2; x++) {
177
583k
        compute_sample(p, x, y);
178
583k
      }
179
28.9M
      for (size_t x = 2; x < channel.w - 2; x++) {
180
28.7M
        pixel_type_w pred[kNumModularPredictors];
181
28.7M
        if (multiple_predictors) {
182
0
          PredictLearnAllNEC(&properties, channel.w, p + x, onerow, x, y,
183
0
                             references, &wp_state, pred);
184
28.7M
        } else {
185
28.7M
          pred[static_cast<int>(tree_samples.PredictorFromIndex(0))] =
186
28.7M
              PredictLearnNEC(&properties, channel.w, p + x, onerow, x, y,
187
28.7M
                              tree_samples.PredictorFromIndex(0), references,
188
28.7M
                              &wp_state)
189
28.7M
                  .guess;
190
28.7M
        }
191
28.7M
        (*total_pixels)++;
192
28.7M
        if (use_sample()) {
193
15.2M
          tree_samples.AddSample(p[x], properties, pred);
194
15.2M
        }
195
28.7M
        wp_state.UpdateErrors(p[x], x, y, channel.w);
196
28.7M
      }
197
874k
      for (size_t x = channel.w - 2; x < channel.w; x++) {
198
583k
        compute_sample(p, x, y);
199
583k
      }
200
291k
    } else {
201
673k
      for (size_t x = 0; x < channel.w; x++) {
202
659k
        compute_sample(p, x, y);
203
659k
      }
204
14.2k
    }
205
305k
  }
206
6.67k
  return true;
207
6.67k
}
208
209
StatusOr<Tree> LearnTree(
210
    TreeSamples &&tree_samples, size_t total_pixels,
211
    const ModularOptions &options,
212
    const std::vector<ModularMultiplierInfo> &multiplier_info = {},
213
2.22k
    StaticPropRange static_prop_range = {}) {
214
2.22k
  Tree tree;
215
6.67k
  for (size_t i = 0; i < kNumStaticProperties; i++) {
216
4.45k
    if (static_prop_range[i][1] == 0) {
217
0
      static_prop_range[i][1] = std::numeric_limits<uint32_t>::max();
218
0
    }
219
4.45k
  }
220
2.22k
  if (!tree_samples.HasSamples()) {
221
0
    tree.emplace_back();
222
0
    tree.back().predictor = tree_samples.PredictorFromIndex(0);
223
0
    tree.back().property = -1;
224
0
    tree.back().predictor_offset = 0;
225
0
    tree.back().multiplier = 1;
226
0
    return tree;
227
0
  }
228
2.22k
  float pixel_fraction = tree_samples.NumSamples() * 1.0f / total_pixels;
229
2.22k
  float required_cost = pixel_fraction * 0.9 + 0.1;
230
2.22k
  tree_samples.AllSamplesDone();
231
2.22k
  JXL_RETURN_IF_ERROR(ComputeBestTree(
232
2.22k
      tree_samples, options.splitting_heuristics_node_threshold * required_cost,
233
2.22k
      multiplier_info, static_prop_range, options.fast_decode_multiplier,
234
2.22k
      &tree));
235
2.22k
  return tree;
236
2.22k
}
237
238
Status EncodeModularChannelMAANS(const Image &image, pixel_type chan,
239
                                 const weighted::Header &wp_header,
240
                                 const Tree &global_tree, Token **tokenpp,
241
37.3k
                                 size_t group_id, bool skip_encoder_fast_path) {
242
37.3k
  const Channel &channel = image.channel[chan];
243
37.3k
  JxlMemoryManager *memory_manager = channel.memory_manager();
244
37.3k
  Token *tokenp = *tokenpp;
245
37.3k
  JXL_ENSURE(channel.w != 0 && channel.h != 0);
246
247
37.3k
  Image3F predictor_img;
248
37.3k
  if (kWantDebug) {
249
37.3k
    JXL_ASSIGN_OR_RETURN(predictor_img,
250
37.3k
                         Image3F::Create(memory_manager, channel.w, channel.h));
251
37.3k
  }
252
253
37.3k
  JXL_DEBUG_V(6,
254
37.3k
              "Encoding %" PRIuS "x%" PRIuS
255
37.3k
              " channel %d, "
256
37.3k
              "(shift=%i,%i)",
257
37.3k
              channel.w, channel.h, chan, channel.hshift, channel.vshift);
258
259
37.3k
  std::array<pixel_type, kNumStaticProperties> static_props = {
260
37.3k
      {chan, static_cast<int>(group_id)}};
261
37.3k
  bool use_wp;
262
37.3k
  bool is_wp_only;
263
37.3k
  bool is_gradient_only;
264
37.3k
  size_t num_props;
265
37.3k
  FlatTree tree = FilterTree(global_tree, static_props, &num_props, &use_wp,
266
37.3k
                             &is_wp_only, &is_gradient_only);
267
37.3k
  MATreeLookup tree_lookup(tree);
268
37.3k
  JXL_DEBUG_V(3, "Encoding using a MA tree with %" PRIuS " nodes", tree.size());
269
270
  // Check if this tree is a WP-only tree with a small enough property value
271
  // range.
272
  // Initialized to avoid clang-tidy complaining.
273
37.3k
  auto tree_lut = jxl::make_unique<TreeLut<uint16_t, false, false>>();
274
37.3k
  if (is_wp_only) {
275
13.1k
    is_wp_only = TreeToLookupTable(tree, *tree_lut);
276
13.1k
  }
277
37.3k
  if (is_gradient_only) {
278
9.02k
    is_gradient_only = TreeToLookupTable(tree, *tree_lut);
279
9.02k
  }
280
281
37.3k
  if (is_wp_only && !skip_encoder_fast_path) {
282
52.6k
    for (size_t c = 0; c < 3; c++) {
283
39.4k
      FillImage(static_cast<float>(PredictorColor(Predictor::Weighted)[c]),
284
39.4k
                &predictor_img.Plane(c));
285
39.4k
    }
286
13.1k
    const ptrdiff_t onerow = channel.plane.PixelsPerRow();
287
13.1k
    weighted::State wp_state(wp_header, channel.w, channel.h);
288
13.1k
    Properties properties(1);
289
487k
    for (size_t y = 0; y < channel.h; y++) {
290
474k
      const pixel_type *JXL_RESTRICT r = channel.Row(y);
291
19.2M
      for (size_t x = 0; x < channel.w; x++) {
292
18.8M
        size_t offset = 0;
293
18.8M
        pixel_type_w left = (x ? r[x - 1] : y ? *(r + x - onerow) : 0);
294
18.8M
        pixel_type_w top = (y ? *(r + x - onerow) : left);
295
18.8M
        pixel_type_w topleft = (x && y ? *(r + x - 1 - onerow) : left);
296
18.8M
        pixel_type_w topright =
297
18.8M
            (x + 1 < channel.w && y ? *(r + x + 1 - onerow) : top);
298
18.8M
        pixel_type_w toptop = (y > 1 ? *(r + x - onerow - onerow) : top);
299
18.8M
        int32_t guess = wp_state.Predict</*compute_properties=*/true>(
300
18.8M
            x, y, channel.w, top, left, topright, topleft, toptop, &properties,
301
18.8M
            offset);
302
18.8M
        uint32_t pos =
303
18.8M
            kPropRangeFast +
304
18.8M
            jxl::Clamp1(properties[0], -kPropRangeFast, kPropRangeFast - 1);
305
18.8M
        uint32_t ctx_id = tree_lut->context_lookup[pos];
306
18.8M
        int32_t residual = r[x] - guess;
307
18.8M
        *tokenp++ = Token(ctx_id, PackSigned(residual));
308
18.8M
        wp_state.UpdateErrors(r[x], x, y, channel.w);
309
18.8M
      }
310
474k
    }
311
24.2k
  } else if (tree.size() == 1 && tree[0].predictor == Predictor::Gradient &&
312
7.04k
             tree[0].multiplier == 1 && tree[0].predictor_offset == 0 &&
313
7.04k
             !skip_encoder_fast_path) {
314
28.1k
    for (size_t c = 0; c < 3; c++) {
315
21.1k
      FillImage(static_cast<float>(PredictorColor(Predictor::Gradient)[c]),
316
21.1k
                &predictor_img.Plane(c));
317
21.1k
    }
318
7.04k
    const ptrdiff_t onerow = channel.plane.PixelsPerRow();
319
65.7k
    for (size_t y = 0; y < channel.h; y++) {
320
58.6k
      const pixel_type *JXL_RESTRICT r = channel.Row(y);
321
865k
      for (size_t x = 0; x < channel.w; x++) {
322
806k
        pixel_type_w left = (x ? r[x - 1] : y ? *(r + x - onerow) : 0);
323
806k
        pixel_type_w top = (y ? *(r + x - onerow) : left);
324
806k
        pixel_type_w topleft = (x && y ? *(r + x - 1 - onerow) : left);
325
806k
        int32_t guess = ClampedGradient(top, left, topleft);
326
806k
        int32_t residual = r[x] - guess;
327
806k
        *tokenp++ = Token(tree[0].childID, PackSigned(residual));
328
806k
      }
329
58.6k
    }
330
17.1k
  } else if (is_gradient_only && !skip_encoder_fast_path) {
331
7.95k
    for (size_t c = 0; c < 3; c++) {
332
5.96k
      FillImage(static_cast<float>(PredictorColor(Predictor::Gradient)[c]),
333
5.96k
                &predictor_img.Plane(c));
334
5.96k
    }
335
1.98k
    const ptrdiff_t onerow = channel.plane.PixelsPerRow();
336
47.1k
    for (size_t y = 0; y < channel.h; y++) {
337
45.2k
      const pixel_type *JXL_RESTRICT r = channel.Row(y);
338
1.31M
      for (size_t x = 0; x < channel.w; x++) {
339
1.27M
        pixel_type_w left = (x ? r[x - 1] : y ? *(r + x - onerow) : 0);
340
1.27M
        pixel_type_w top = (y ? *(r + x - onerow) : left);
341
1.27M
        pixel_type_w topleft = (x && y ? *(r + x - 1 - onerow) : left);
342
1.27M
        int32_t guess = ClampedGradient(top, left, topleft);
343
1.27M
        uint32_t pos =
344
1.27M
            kPropRangeFast +
345
1.27M
            std::min<pixel_type_w>(
346
1.27M
                std::max<pixel_type_w>(-kPropRangeFast, top + left - topleft),
347
1.27M
                kPropRangeFast - 1);
348
1.27M
        uint32_t ctx_id = tree_lut->context_lookup[pos];
349
1.27M
        int32_t residual = r[x] - guess;
350
1.27M
        *tokenp++ = Token(ctx_id, PackSigned(residual));
351
1.27M
      }
352
45.2k
    }
353
15.1k
  } else if (tree.size() == 1 && tree[0].predictor == Predictor::Zero &&
354
0
             tree[0].multiplier == 1 && tree[0].predictor_offset == 0 &&
355
0
             !skip_encoder_fast_path) {
356
0
    for (size_t c = 0; c < 3; c++) {
357
0
      FillImage(static_cast<float>(PredictorColor(Predictor::Zero)[c]),
358
0
                &predictor_img.Plane(c));
359
0
    }
360
0
    for (size_t y = 0; y < channel.h; y++) {
361
0
      const pixel_type *JXL_RESTRICT p = channel.Row(y);
362
0
      for (size_t x = 0; x < channel.w; x++) {
363
0
        *tokenp++ = Token(tree[0].childID, PackSigned(p[x]));
364
0
      }
365
0
    }
366
15.1k
  } else if (tree.size() == 1 && tree[0].predictor != Predictor::Weighted &&
367
6.08k
             (tree[0].multiplier & (tree[0].multiplier - 1)) == 0 &&
368
6.08k
             tree[0].predictor_offset == 0 && !skip_encoder_fast_path) {
369
    // multiplier is a power of 2.
370
24.3k
    for (size_t c = 0; c < 3; c++) {
371
18.2k
      FillImage(static_cast<float>(PredictorColor(tree[0].predictor)[c]),
372
18.2k
                &predictor_img.Plane(c));
373
18.2k
    }
374
6.08k
    uint32_t mul_shift =
375
6.08k
        FloorLog2Nonzero(static_cast<uint32_t>(tree[0].multiplier));
376
6.08k
    const ptrdiff_t onerow = channel.plane.PixelsPerRow();
377
36.4k
    for (size_t y = 0; y < channel.h; y++) {
378
30.4k
      const pixel_type *JXL_RESTRICT r = channel.Row(y);
379
455k
      for (size_t x = 0; x < channel.w; x++) {
380
425k
        PredictionResult pred = PredictNoTreeNoWP(channel.w, r + x, onerow, x,
381
425k
                                                  y, tree[0].predictor);
382
425k
        pixel_type_w residual = r[x] - pred.guess;
383
425k
        JXL_DASSERT((residual >> mul_shift) * tree[0].multiplier == residual);
384
425k
        *tokenp++ = Token(tree[0].childID, PackSigned(residual >> mul_shift));
385
425k
      }
386
30.4k
    }
387
388
9.10k
  } else if (!use_wp && !skip_encoder_fast_path) {
389
7.19k
    const ptrdiff_t onerow = channel.plane.PixelsPerRow();
390
7.19k
    Properties properties(num_props);
391
7.19k
    JXL_ASSIGN_OR_RETURN(
392
7.19k
        Channel references,
393
7.19k
        Channel::Create(memory_manager,
394
7.19k
                        properties.size() - kNumNonrefProperties, channel.w));
395
220k
    for (size_t y = 0; y < channel.h; y++) {
396
213k
      const pixel_type *JXL_RESTRICT p = channel.Row(y);
397
213k
      PrecomputeReferences(channel, y, image, chan, &references);
398
213k
      float *pred_img_row[3];
399
213k
      if (kWantDebug) {
400
854k
        for (size_t c = 0; c < 3; c++) {
401
640k
          pred_img_row[c] = predictor_img.PlaneRow(c, y);
402
640k
        }
403
213k
      }
404
213k
      InitPropsRow(&properties, static_props, y);
405
17.7M
      for (size_t x = 0; x < channel.w; x++) {
406
17.5M
        PredictionResult res =
407
17.5M
            PredictTreeNoWP(&properties, channel.w, p + x, onerow, x, y,
408
17.5M
                            tree_lookup, references);
409
17.5M
        if (kWantDebug) {
410
70.1M
          for (size_t i = 0; i < 3; i++) {
411
52.5M
            pred_img_row[i][x] = PredictorColor(res.predictor)[i];
412
52.5M
          }
413
17.5M
        }
414
17.5M
        pixel_type_w residual = p[x] - res.guess;
415
17.5M
        JXL_DASSERT(residual % res.multiplier == 0);
416
17.5M
        *tokenp++ = Token(res.context, PackSigned(residual / res.multiplier));
417
17.5M
      }
418
213k
    }
419
7.19k
  } else {
420
1.91k
    const ptrdiff_t onerow = channel.plane.PixelsPerRow();
421
1.91k
    Properties properties(num_props);
422
1.91k
    JXL_ASSIGN_OR_RETURN(
423
1.91k
        Channel references,
424
1.91k
        Channel::Create(memory_manager,
425
1.91k
                        properties.size() - kNumNonrefProperties, channel.w));
426
1.91k
    weighted::State wp_state(wp_header, channel.w, channel.h);
427
170k
    for (size_t y = 0; y < channel.h; y++) {
428
168k
      const pixel_type *JXL_RESTRICT p = channel.Row(y);
429
168k
      PrecomputeReferences(channel, y, image, chan, &references);
430
168k
      float *pred_img_row[3];
431
168k
      if (kWantDebug) {
432
673k
        for (size_t c = 0; c < 3; c++) {
433
504k
          pred_img_row[c] = predictor_img.PlaneRow(c, y);
434
504k
        }
435
168k
      }
436
168k
      InitPropsRow(&properties, static_props, y);
437
23.4M
      for (size_t x = 0; x < channel.w; x++) {
438
23.3M
        PredictionResult res =
439
23.3M
            PredictTreeWP(&properties, channel.w, p + x, onerow, x, y,
440
23.3M
                          tree_lookup, references, &wp_state);
441
23.3M
        if (kWantDebug) {
442
93.2M
          for (size_t i = 0; i < 3; i++) {
443
69.9M
            pred_img_row[i][x] = PredictorColor(res.predictor)[i];
444
69.9M
          }
445
23.3M
        }
446
23.3M
        pixel_type_w residual = p[x] - res.guess;
447
23.3M
        JXL_DASSERT(residual % res.multiplier == 0);
448
23.3M
        *tokenp++ = Token(res.context, PackSigned(residual / res.multiplier));
449
23.3M
        wp_state.UpdateErrors(p[x], x, y, channel.w);
450
23.3M
      }
451
168k
    }
452
1.91k
  }
453
  /* TODO(szabadka): Add cparams to the call stack here.
454
  if (kWantDebug && WantDebugOutput(cparams)) {
455
    DumpImage(
456
        cparams,
457
        ("pred_" + ToString(group_id) + "_" + ToString(chan)).c_str(),
458
        predictor_img);
459
  }
460
  */
461
37.3k
  *tokenpp = tokenp;
462
37.3k
  return true;
463
37.3k
}
464
465
}  // namespace
466
467
Tree PredefinedTree(ModularOptions::TreeKind tree_kind, size_t total_pixels,
468
8.77k
                    int bitdepth, int prevprop) {
469
8.77k
  switch (tree_kind) {
470
0
    case ModularOptions::TreeKind::kJpegTranscodeACMeta:
471
      // All the data is 0, so no need for a fancy tree.
472
0
      return {PropertyDecisionNode::Leaf(Predictor::Zero)};
473
0
    case ModularOptions::TreeKind::kTrivialTreeNoPredictor:
474
      // All the data is 0, so no need for a fancy tree.
475
0
      return {PropertyDecisionNode::Leaf(Predictor::Zero)};
476
0
    case ModularOptions::TreeKind::kFalconACMeta:
477
      // All the data is 0 except the quant field. TODO(veluca): make that 0
478
      // too.
479
0
      return {PropertyDecisionNode::Leaf(Predictor::Left)};
480
4.38k
    case ModularOptions::TreeKind::kACMeta: {
481
      // Small image.
482
4.38k
      if (total_pixels < 1024) {
483
1.52k
        return {PropertyDecisionNode::Leaf(Predictor::Left)};
484
1.52k
      }
485
2.86k
      Tree tree;
486
      // 0: c > 1
487
2.86k
      tree.push_back(PropertyDecisionNode::Split(0, 1, 1));
488
      // 1: c > 2
489
2.86k
      tree.push_back(PropertyDecisionNode::Split(0, 2, 3));
490
      // 2: c > 0
491
2.86k
      tree.push_back(PropertyDecisionNode::Split(0, 0, 5));
492
      // 3: EPF control field (all 0 or 4), top > 3
493
2.86k
      tree.push_back(PropertyDecisionNode::Split(6, 3, 21));
494
      // 4: ACS+QF, y > 0
495
2.86k
      tree.push_back(PropertyDecisionNode::Split(2, 0, 7));
496
      // 5: CfL x
497
2.86k
      tree.push_back(PropertyDecisionNode::Leaf(Predictor::Gradient));
498
      // 6: CfL b
499
2.86k
      tree.push_back(PropertyDecisionNode::Leaf(Predictor::Gradient));
500
      // 7: QF: split according to the left quant value.
501
2.86k
      tree.push_back(PropertyDecisionNode::Split(7, 5, 9));
502
      // 8: ACS: split in 4 segments (8x8 from 0 to 3, large square 4-5, large
503
      // rectangular 6-11, 8x8 12+), according to previous ACS value.
504
2.86k
      tree.push_back(PropertyDecisionNode::Split(7, 5, 15));
505
      // QF
506
2.86k
      tree.push_back(PropertyDecisionNode::Split(7, 11, 11));
507
2.86k
      tree.push_back(PropertyDecisionNode::Split(7, 3, 13));
508
2.86k
      tree.push_back(PropertyDecisionNode::Leaf(Predictor::Left));
509
2.86k
      tree.push_back(PropertyDecisionNode::Leaf(Predictor::Left));
510
2.86k
      tree.push_back(PropertyDecisionNode::Leaf(Predictor::Left));
511
2.86k
      tree.push_back(PropertyDecisionNode::Leaf(Predictor::Left));
512
      // ACS
513
2.86k
      tree.push_back(PropertyDecisionNode::Split(7, 11, 17));
514
2.86k
      tree.push_back(PropertyDecisionNode::Split(7, 3, 19));
515
2.86k
      tree.push_back(PropertyDecisionNode::Leaf(Predictor::Zero));
516
2.86k
      tree.push_back(PropertyDecisionNode::Leaf(Predictor::Zero));
517
2.86k
      tree.push_back(PropertyDecisionNode::Leaf(Predictor::Zero));
518
2.86k
      tree.push_back(PropertyDecisionNode::Leaf(Predictor::Zero));
519
      // EPF, left > 3
520
2.86k
      tree.push_back(PropertyDecisionNode::Split(7, 3, 23));
521
2.86k
      tree.push_back(PropertyDecisionNode::Split(7, 3, 25));
522
2.86k
      tree.push_back(PropertyDecisionNode::Leaf(Predictor::Zero));
523
2.86k
      tree.push_back(PropertyDecisionNode::Leaf(Predictor::Zero));
524
2.86k
      tree.push_back(PropertyDecisionNode::Leaf(Predictor::Zero));
525
2.86k
      tree.push_back(PropertyDecisionNode::Leaf(Predictor::Zero));
526
2.86k
      return tree;
527
4.38k
    }
528
4.38k
    case ModularOptions::TreeKind::kWPFixedDC: {
529
4.38k
      std::vector<int32_t> cutoffs = {
530
4.38k
          -500, -392, -255, -191, -127, -95, -63, -47, -31, -23, -15,
531
4.38k
          -11,  -7,   -4,   -3,   -1,   0,   1,   3,   5,   7,   11,
532
4.38k
          15,   23,   31,   47,   63,   95,  127, 191, 255, 392, 500};
533
4.38k
      return MakeFixedTree(kWPProp, cutoffs, Predictor::Weighted, total_pixels,
534
4.38k
                           bitdepth);
535
4.38k
    }
536
0
    case ModularOptions::TreeKind::kGradientFixedDC: {
537
0
      std::vector<int32_t> cutoffs = {
538
0
          -500, -392, -255, -191, -127, -95, -63, -47, -31, -23, -15,
539
0
          -11,  -7,   -4,   -3,   -1,   0,   1,   3,   5,   7,   11,
540
0
          15,   23,   31,   47,   63,   95,  127, 191, 255, 392, 500};
541
0
      return MakeFixedTree(
542
0
          prevprop > 0 ? kNumNonrefProperties + 2 : kGradientProp, cutoffs,
543
0
          Predictor::Gradient, total_pixels, bitdepth);
544
4.38k
    }
545
0
    case ModularOptions::TreeKind::kLearn: {
546
0
      JXL_DEBUG_ABORT("internal: kLearn is not predefined tree");
547
0
      return {};
548
0
    }
549
8.77k
  }
550
0
  JXL_DEBUG_ABORT("internal: unexpected TreeKind: %d",
551
0
                  static_cast<int>(tree_kind));
552
0
  return {};
553
0
}
554
555
StatusOr<Tree> LearnTree(
556
    const Image *images, const ModularOptions *options, const uint32_t start,
557
    const uint32_t stop,
558
2.22k
    const std::vector<ModularMultiplierInfo> &multiplier_info = {}) {
559
2.22k
  TreeSamples tree_samples;
560
2.22k
  JXL_RETURN_IF_ERROR(tree_samples.SetPredictor(options[start].predictor,
561
2.22k
                                                options[start].wp_tree_mode));
562
2.22k
  JXL_RETURN_IF_ERROR(
563
2.22k
      tree_samples.SetProperties(options[start].splitting_heuristics_properties,
564
2.22k
                                 options[start].wp_tree_mode));
565
2.22k
  uint32_t max_c = 0;
566
2.22k
  std::vector<pixel_type> pixel_samples;
567
2.22k
  std::vector<pixel_type> diff_samples;
568
2.22k
  std::vector<uint32_t> group_pixel_count;
569
2.22k
  std::vector<uint32_t> channel_pixel_count;
570
4.45k
  for (uint32_t i = start; i < stop; i++) {
571
2.22k
    max_c = std::max<uint32_t>(images[i].channel.size(), max_c);
572
2.22k
    CollectPixelSamples(images[i], options[i], i, group_pixel_count,
573
2.22k
                        channel_pixel_count, pixel_samples, diff_samples);
574
2.22k
  }
575
2.22k
  StaticPropRange range;
576
2.22k
  range[0] = {{0, max_c}};
577
2.22k
  range[1] = {{start, stop}};
578
579
2.22k
  tree_samples.PreQuantizeProperties(
580
2.22k
      range, multiplier_info, group_pixel_count, channel_pixel_count,
581
2.22k
      pixel_samples, diff_samples, options[start].max_property_values);
582
583
2.22k
  size_t total_pixels = 0;
584
8.90k
  for (size_t i = 0; i < images[start].channel.size(); i++) {
585
6.67k
    if (i >= images[start].nb_meta_channels &&
586
6.67k
        (images[start].channel[i].w > options[start].max_chan_size ||
587
6.67k
         images[start].channel[i].h > options[start].max_chan_size)) {
588
0
      break;
589
0
    }
590
6.67k
    total_pixels += images[start].channel[i].w * images[start].channel[i].h;
591
6.67k
  }
592
2.22k
  total_pixels = std::max<size_t>(total_pixels, 1);
593
594
2.22k
  weighted::Header wp_header;
595
596
4.45k
  for (size_t i = start; i < stop; i++) {
597
2.22k
    size_t nb_channels = images[i].channel.size();
598
599
2.22k
    if (images[i].w == 0 || images[i].h == 0 || nb_channels < 1)
600
0
      continue;  // is there any use for a zero-channel image?
601
2.22k
    if (images[i].error) return JXL_FAILURE("Invalid image");
602
2.22k
    JXL_ENSURE(options[i].tree_kind == ModularOptions::TreeKind::kLearn);
603
604
2.22k
    JXL_DEBUG_V(
605
2.22k
        2, "Encoding %" PRIuS "-channel, %i-bit, %" PRIuS "x%" PRIuS " image.",
606
2.22k
        nb_channels, images[i].bitdepth, images[i].w, images[i].h);
607
608
    // encode transforms
609
2.22k
    Bundle::Init(&wp_header);
610
2.22k
    if (PredictorHasWeighted(options[i].predictor)) {
611
0
      weighted::PredictorMode(options[i].wp_mode, &wp_header);
612
0
    }
613
614
    // Gather tree data
615
8.90k
    for (size_t c = 0; c < nb_channels; c++) {
616
6.67k
      if (c >= images[i].nb_meta_channels &&
617
6.67k
          (images[i].channel[c].w > options[i].max_chan_size ||
618
6.67k
           images[i].channel[c].h > options[i].max_chan_size)) {
619
0
        break;
620
0
      }
621
6.67k
      if (!images[i].channel[c].w || !images[i].channel[c].h) {
622
0
        continue;  // skip empty channels
623
0
      }
624
6.67k
      JXL_RETURN_IF_ERROR(GatherTreeData(images[i], c, i, wp_header, options[i],
625
6.67k
                                         tree_samples, &total_pixels));
626
6.67k
    }
627
2.22k
  }
628
629
  // TODO(veluca): parallelize more.
630
2.22k
  JXL_ASSIGN_OR_RETURN(Tree tree,
631
2.22k
                       LearnTree(std::move(tree_samples), total_pixels,
632
2.22k
                                 options[start], multiplier_info, range));
633
2.22k
  return tree;
634
2.22k
}
635
636
Status ModularCompress(const Image &image, const ModularOptions &options,
637
                       size_t group_id, const Tree &tree, GroupHeader &header,
638
151k
                       std::vector<Token> &tokens, size_t *width) {
639
151k
  size_t nb_channels = image.channel.size();
640
641
151k
  if (image.w == 0 || image.h == 0 || nb_channels < 1)
642
140k
    return true;  // is there any use for a zero-channel image?
643
10.9k
  if (image.error) return JXL_FAILURE("Invalid image");
644
645
10.9k
  JXL_DEBUG_V(
646
10.9k
      2, "Encoding %" PRIuS "-channel, %i-bit, %" PRIuS "x%" PRIuS " image.",
647
10.9k
      nb_channels, image.bitdepth, image.w, image.h);
648
649
  // encode transforms
650
10.9k
  Bundle::Init(&header);
651
10.9k
  if (PredictorHasWeighted(options.predictor)) {
652
4.38k
    weighted::PredictorMode(options.wp_mode, &header.wp_header);
653
4.38k
  }
654
10.9k
  header.transforms = image.transform;
655
10.9k
  header.use_global_tree = true;
656
657
10.9k
  size_t image_width = 0;
658
10.9k
  size_t total_tokens = 0;
659
48.3k
  for (size_t i = 0; i < nb_channels; i++) {
660
37.3k
    if (i >= image.nb_meta_channels &&
661
37.3k
        (image.channel[i].w > options.max_chan_size ||
662
37.3k
         image.channel[i].h > options.max_chan_size)) {
663
0
      break;
664
0
    }
665
37.3k
    if (image.channel[i].w > image_width) image_width = image.channel[i].w;
666
37.3k
    total_tokens += image.channel[i].w * image.channel[i].h;
667
37.3k
  }
668
10.9k
  if (options.zero_tokens) {
669
0
    tokens.resize(tokens.size() + total_tokens, {0, 0});
670
10.9k
  } else {
671
    // Do one big allocation for all the tokens we'll need,
672
    // to avoid reallocs that might require copying.
673
10.9k
    size_t pos = tokens.size();
674
10.9k
    tokens.resize(pos + total_tokens);
675
10.9k
    Token *tokenp = tokens.data() + pos;
676
48.3k
    for (size_t i = 0; i < nb_channels; i++) {
677
37.3k
      if (i >= image.nb_meta_channels &&
678
37.3k
          (image.channel[i].w > options.max_chan_size ||
679
37.3k
           image.channel[i].h > options.max_chan_size)) {
680
0
        break;
681
0
      }
682
37.3k
      if (!image.channel[i].w || !image.channel[i].h) {
683
0
        continue;  // skip empty channels
684
0
      }
685
37.3k
      JXL_RETURN_IF_ERROR(
686
37.3k
          EncodeModularChannelMAANS(image, i, header.wp_header, tree, &tokenp,
687
37.3k
                                    group_id, options.skip_encoder_fast_path));
688
37.3k
    }
689
    // Make sure we actually wrote all tokens
690
10.9k
    JXL_ENSURE(tokenp == tokens.data() + tokens.size());
691
10.9k
  }
692
693
10.9k
  *width = image_width;
694
695
10.9k
  return true;
696
10.9k
}
697
698
Status ModularGenericCompress(const Image &image, const ModularOptions &opts,
699
                              BitWriter &writer, AuxOut *aux_out,
700
0
                              LayerType layer, size_t group_id) {
701
0
  size_t nb_channels = image.channel.size();
702
703
0
  if (image.w == 0 || image.h == 0 || nb_channels < 1)
704
0
    return true;  // is there any use for a zero-channel image?
705
0
  if (image.error) return JXL_FAILURE("Invalid image");
706
707
0
  ModularOptions options = opts;  // Make a copy to modify it.
708
0
  if (options.predictor == kUndefinedPredictor) {
709
0
    options.predictor = Predictor::Gradient;
710
0
  }
711
712
0
  size_t bits = writer.BitsWritten();
713
714
0
  JxlMemoryManager *memory_manager = image.memory_manager();
715
0
  JXL_DEBUG_V(
716
0
      2, "Encoding %" PRIuS "-channel, %i-bit, %" PRIuS "x%" PRIuS " image.",
717
0
      nb_channels, image.bitdepth, image.w, image.h);
718
719
  // encode transforms
720
0
  GroupHeader header;
721
0
  Bundle::Init(&header);
722
0
  if (PredictorHasWeighted(options.predictor)) {
723
0
    weighted::PredictorMode(options.wp_mode, &header.wp_header);
724
0
  }
725
0
  header.transforms = image.transform;
726
727
0
  JXL_RETURN_IF_ERROR(Bundle::Write(header, &writer, layer, aux_out));
728
729
  // Compute tree.
730
0
  Tree tree;
731
0
  if (options.tree_kind == ModularOptions::TreeKind::kLearn) {
732
0
    JXL_ASSIGN_OR_RETURN(tree, LearnTree(&image, &options, 0, 1));
733
0
  } else {
734
0
    size_t total_pixels = 0;
735
0
    for (size_t i = 0; i < nb_channels; i++) {
736
0
      if (i >= image.nb_meta_channels &&
737
0
          (image.channel[i].w > options.max_chan_size ||
738
0
           image.channel[i].h > options.max_chan_size)) {
739
0
        break;
740
0
      }
741
0
      total_pixels += image.channel[i].w * image.channel[i].h;
742
0
    }
743
0
    total_pixels = std::max<size_t>(total_pixels, 1);
744
745
0
    tree = PredefinedTree(options.tree_kind, total_pixels, image.bitdepth,
746
0
                          options.max_properties);
747
0
  }
748
749
0
  Tree decoded_tree;
750
0
  std::vector<std::vector<Token>> tree_tokens(1);
751
0
  JXL_RETURN_IF_ERROR(TokenizeTree(tree, tree_tokens.data(), &decoded_tree));
752
0
  JXL_ENSURE(tree.size() == decoded_tree.size());
753
0
  tree = std::move(decoded_tree);
754
755
  /* TODO(szabadka) Add text output callback
756
  if (kWantDebug && kPrintTree && WantDebugOutput(aux_out)) {
757
    PrintTree(*tree, aux_out->debug_prefix + "/tree_" + ToString(group_id));
758
  } */
759
760
  // Write tree
761
0
  EntropyEncodingData code;
762
0
  JXL_ASSIGN_OR_RETURN(
763
0
      size_t cost,
764
0
      BuildAndEncodeHistograms(memory_manager, options.histogram_params,
765
0
                               kNumTreeContexts, tree_tokens, &code, &writer,
766
0
                               LayerType::ModularTree, aux_out));
767
0
  JXL_RETURN_IF_ERROR(WriteTokens(tree_tokens[0], code, 0, &writer,
768
0
                                  LayerType::ModularTree, aux_out));
769
770
0
  size_t image_width = 0;
771
0
  std::vector<std::vector<Token>> tokens(1);
772
  // it puts `use_global_tree = true` in the header, but this is not used
773
  // further
774
0
  JXL_RETURN_IF_ERROR(ModularCompress(image, options, group_id, tree, header,
775
0
                                      tokens[0], &image_width));
776
777
  // Write data
778
0
  code = {};
779
0
  HistogramParams histo_params = options.histogram_params;
780
0
  histo_params.image_widths.push_back(image_width);
781
0
  JXL_ASSIGN_OR_RETURN(
782
0
      cost, BuildAndEncodeHistograms(memory_manager, histo_params,
783
0
                                     (tree.size() + 1) / 2, tokens, &code,
784
0
                                     &writer, layer, aux_out));
785
0
  (void)cost;
786
0
  JXL_RETURN_IF_ERROR(WriteTokens(tokens[0], code, 0, &writer, layer, aux_out));
787
788
0
  bits = writer.BitsWritten() - bits;
789
0
  JXL_DEBUG_V(4,
790
0
              "Modular-encoded a %" PRIuS "x%" PRIuS
791
0
              " bitdepth=%i nbchans=%" PRIuS " image in %" PRIuS " bytes",
792
0
              image.w, image.h, image.bitdepth, image.channel.size(), bits / 8);
793
0
  (void)bits;
794
795
0
  return true;
796
0
}
797
798
}  // namespace jxl