Coverage Report

Created: 2026-07-25 07:03

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/libjxl/lib/jxl/compressed_dc.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/compressed_dc.h"
7
8
#include <jxl/memory_manager.h>
9
10
#include <algorithm>
11
#include <cstdint>
12
#include <cstdlib>
13
#include <cstring>
14
#include <vector>
15
16
#include "lib/jxl/ac_context.h"
17
#include "lib/jxl/frame_header.h"
18
#include "lib/jxl/modular/modular_image.h"
19
20
#undef HWY_TARGET_INCLUDE
21
#define HWY_TARGET_INCLUDE "lib/jxl/compressed_dc.cc"
22
#include <hwy/foreach_target.h>
23
#include <hwy/highway.h>
24
25
#include "lib/jxl/base/compiler_specific.h"
26
#include "lib/jxl/base/data_parallel.h"
27
#include "lib/jxl/base/rect.h"
28
#include "lib/jxl/base/status.h"
29
#include "lib/jxl/image.h"
30
HWY_BEFORE_NAMESPACE();
31
namespace jxl {
32
namespace HWY_NAMESPACE {
33
34
using D = HWY_FULL(float);
35
using DScalar = HWY_CAPPED(float, 1);
36
37
// These templates are not found via ADL.
38
using hwy::HWY_NAMESPACE::Abs;
39
using hwy::HWY_NAMESPACE::Add;
40
using hwy::HWY_NAMESPACE::Div;
41
using hwy::HWY_NAMESPACE::Max;
42
using hwy::HWY_NAMESPACE::Mul;
43
using hwy::HWY_NAMESPACE::MulAdd;
44
using hwy::HWY_NAMESPACE::Rebind;
45
using hwy::HWY_NAMESPACE::Sub;
46
using hwy::HWY_NAMESPACE::Vec;
47
using hwy::HWY_NAMESPACE::ZeroIfNegative;
48
49
// TODO(veluca): optimize constants.
50
const float w1 = 0.20345139757231578f;
51
const float w2 = 0.0334829185968739f;
52
const float w0 = 1.0f - 4.0f * (w1 + w2);
53
54
template <class V>
55
7.35k
V MaxWorkaround(V a, V b) {
56
#if (HWY_TARGET == HWY_AVX3) && HWY_COMPILER_CLANG <= 800
57
  // Prevents "Do not know how to split the result of this operator" error
58
  return IfThenElse(a > b, a, b);
59
#else
60
7.35k
  return Max(a, b);
61
7.35k
#endif
62
7.35k
}
63
64
template <typename D>
65
JXL_INLINE void ComputePixelChannel(const D d, const float dc_factor,
66
                                    const float* JXL_RESTRICT row_top,
67
                                    const float* JXL_RESTRICT row,
68
                                    const float* JXL_RESTRICT row_bottom,
69
                                    Vec<D>* JXL_RESTRICT mc,
70
                                    Vec<D>* JXL_RESTRICT sm,
71
8.25k
                                    Vec<D>* JXL_RESTRICT gap, size_t x) {
72
8.25k
  const auto tl = LoadU(d, row_top + x - 1);
73
8.25k
  const auto tc = Load(d, row_top + x);
74
8.25k
  const auto tr = LoadU(d, row_top + x + 1);
75
76
8.25k
  const auto ml = LoadU(d, row + x - 1);
77
8.25k
  *mc = Load(d, row + x);
78
8.25k
  const auto mr = LoadU(d, row + x + 1);
79
80
8.25k
  const auto bl = LoadU(d, row_bottom + x - 1);
81
8.25k
  const auto bc = Load(d, row_bottom + x);
82
8.25k
  const auto br = LoadU(d, row_bottom + x + 1);
83
84
8.25k
  const auto w_center = Set(d, w0);
85
8.25k
  const auto w_side = Set(d, w1);
86
8.25k
  const auto w_corner = Set(d, w2);
87
88
8.25k
  const auto corner = Add(Add(tl, tr), Add(bl, br));
89
8.25k
  const auto side = Add(Add(ml, mr), Add(tc, bc));
90
8.25k
  *sm = MulAdd(corner, w_corner, MulAdd(side, w_side, Mul(*mc, w_center)));
91
92
8.25k
  const auto dc_quant = Set(d, dc_factor);
93
8.25k
  *gap = MaxWorkaround(*gap, Abs(Div(Sub(*mc, *sm), dc_quant)));
94
8.25k
}
95
96
template <typename D>
97
JXL_INLINE void ComputePixel(
98
    const float* JXL_RESTRICT dc_factors,
99
    const float* JXL_RESTRICT* JXL_RESTRICT rows_top,
100
    const float* JXL_RESTRICT* JXL_RESTRICT rows,
101
    const float* JXL_RESTRICT* JXL_RESTRICT rows_bottom,
102
5.25k
    float* JXL_RESTRICT* JXL_RESTRICT out_rows, size_t x) {
103
5.25k
  const D d;
104
5.25k
  auto mc_x = Undefined(d);
105
5.25k
  auto mc_y = Undefined(d);
106
5.25k
  auto mc_b = Undefined(d);
107
5.25k
  auto sm_x = Undefined(d);
108
5.25k
  auto sm_y = Undefined(d);
109
5.25k
  auto sm_b = Undefined(d);
110
5.25k
  auto gap = Set(d, 0.5f);
111
5.25k
  ComputePixelChannel(d, dc_factors[0], rows_top[0], rows[0], rows_bottom[0],
112
5.25k
                      &mc_x, &sm_x, &gap, x);
113
5.25k
  ComputePixelChannel(d, dc_factors[1], rows_top[1], rows[1], rows_bottom[1],
114
5.25k
                      &mc_y, &sm_y, &gap, x);
115
5.25k
  ComputePixelChannel(d, dc_factors[2], rows_top[2], rows[2], rows_bottom[2],
116
5.25k
                      &mc_b, &sm_b, &gap, x);
117
5.25k
  auto factor = MulAdd(Set(d, -4.0f), gap, Set(d, 3.0f));
118
5.25k
  factor = ZeroIfNegative(factor);
119
120
5.25k
  auto out = MulAdd(Sub(sm_x, mc_x), factor, mc_x);
121
5.25k
  Store(out, d, out_rows[0] + x);
122
5.25k
  out = MulAdd(Sub(sm_y, mc_y), factor, mc_y);
123
5.25k
  Store(out, d, out_rows[1] + x);
124
5.25k
  out = MulAdd(Sub(sm_b, mc_b), factor, mc_b);
125
5.25k
  Store(out, d, out_rows[2] + x);
126
5.25k
}
127
128
Status AdaptiveDCSmoothing(JxlMemoryManager* memory_manager,
129
                           const float* dc_factors, Image3F* dc,
130
4.69k
                           ThreadPool* pool) {
131
4.69k
  const size_t xsize = dc->xsize();
132
4.69k
  const size_t ysize = dc->ysize();
133
4.69k
  if (ysize <= 2 || xsize <= 2) return true;
134
135
  // TODO(veluca): use tile-based processing?
136
  // TODO(veluca): decide if changes to the y channel should be propagated to
137
  // the x and b channels through color correlation.
138
9
  JXL_ENSURE(w1 + w2 < 0.25f);
139
140
18
  JXL_ASSIGN_OR_RETURN(Image3F smoothed,
141
18
                       Image3F::Create(memory_manager, xsize, ysize));
142
  // Fill in borders that the loop below will not. First and last are unused.
143
36
  for (size_t c = 0; c < 3; c++) {
144
54
    for (size_t y : {static_cast<size_t>(0), ysize - 1}) {
145
54
      memcpy(smoothed.PlaneRow(c, y), dc->PlaneRow(c, y),
146
54
             xsize * sizeof(float));
147
54
    }
148
27
  }
149
270
  auto process_row = [&](const uint32_t y, size_t /*thread*/) -> Status {
150
270
    const float* JXL_RESTRICT rows_top[3]{
151
270
        dc->ConstPlaneRow(0, y - 1),
152
270
        dc->ConstPlaneRow(1, y - 1),
153
270
        dc->ConstPlaneRow(2, y - 1),
154
270
    };
155
270
    const float* JXL_RESTRICT rows[3] = {
156
270
        dc->ConstPlaneRow(0, y),
157
270
        dc->ConstPlaneRow(1, y),
158
270
        dc->ConstPlaneRow(2, y),
159
270
    };
160
270
    const float* JXL_RESTRICT rows_bottom[3] = {
161
270
        dc->ConstPlaneRow(0, y + 1),
162
270
        dc->ConstPlaneRow(1, y + 1),
163
270
        dc->ConstPlaneRow(2, y + 1),
164
270
    };
165
270
    float* JXL_RESTRICT rows_out[3] = {
166
270
        smoothed.PlaneRow(0, y),
167
270
        smoothed.PlaneRow(1, y),
168
270
        smoothed.PlaneRow(2, y),
169
270
    };
170
535
    for (size_t x : {static_cast<size_t>(0), xsize - 1}) {
171
2.13k
      for (size_t c = 0; c < 3; c++) {
172
1.59k
        rows_out[c][x] = rows[c][x];
173
1.59k
      }
174
535
    }
175
176
270
    size_t x = 1;
177
    // First pixels
178
270
    const size_t N = Lanes(D());
179
270
    for (; x < std::min(N, xsize - 1); x++) {
180
0
      ComputePixel<DScalar>(dc_factors, rows_top, rows, rows_bottom, rows_out,
181
0
                            x);
182
0
    }
183
    // Full vectors.
184
5.51k
    for (; x + N <= xsize - 1; x += N) {
185
5.24k
      ComputePixel<D>(dc_factors, rows_top, rows, rows_bottom, rows_out, x);
186
5.24k
    }
187
    // Last pixels.
188
270
    for (; x < xsize - 1; x++) {
189
0
      ComputePixel<DScalar>(dc_factors, rows_top, rows, rows_bottom, rows_out,
190
0
                            x);
191
0
    }
192
270
    return true;
193
270
  };
194
18
  JXL_RETURN_IF_ERROR(RunOnPool(pool, 1, ysize - 1, ThreadPool::NoInit,
195
18
                                process_row, "DCSmoothingRow"));
196
9
  dc->Swap(smoothed);
197
9
  return true;
198
18
}
199
200
// DC dequantization.
201
void DequantDC(const Rect& r, Image3F* dc, ImageB* quant_dc, const Image& in,
202
               const float* dc_factors, float mul, const float* cfl_factors,
203
               const YCbCrChromaSubsampling& chroma_subsampling,
204
4.92k
               const BlockCtxMap& bctx) {
205
4.92k
  const HWY_FULL(float) df;
206
4.92k
  const Rebind<pixel_type, HWY_FULL(float)> di;  // assumes pixel_type <= float
207
4.92k
  if (chroma_subsampling.Is444()) {
208
4.92k
    const auto fac_x = Set(df, dc_factors[0] * mul);
209
4.92k
    const auto fac_y = Set(df, dc_factors[1] * mul);
210
4.92k
    const auto fac_b = Set(df, dc_factors[2] * mul);
211
4.92k
    const auto cfl_fac_x = Set(df, cfl_factors[0]);
212
4.92k
    const auto cfl_fac_b = Set(df, cfl_factors[2]);
213
15.0k
    for (size_t y = 0; y < r.ysize(); y++) {
214
10.1k
      float* dec_row_x = r.PlaneRow(dc, 0, y);
215
10.1k
      float* dec_row_y = r.PlaneRow(dc, 1, y);
216
10.1k
      float* dec_row_b = r.PlaneRow(dc, 2, y);
217
10.1k
      const int32_t* quant_row_x = in.channel[1].plane.Row(y);
218
10.1k
      const int32_t* quant_row_y = in.channel[0].plane.Row(y);
219
10.1k
      const int32_t* quant_row_b = in.channel[2].plane.Row(y);
220
82.4k
      for (size_t x = 0; x < r.xsize(); x += Lanes(di)) {
221
72.2k
        const auto in_q_x = Load(di, quant_row_x + x);
222
72.2k
        const auto in_q_y = Load(di, quant_row_y + x);
223
72.2k
        const auto in_q_b = Load(di, quant_row_b + x);
224
72.2k
        const auto in_x = Mul(ConvertTo(df, in_q_x), fac_x);
225
72.2k
        const auto in_y = Mul(ConvertTo(df, in_q_y), fac_y);
226
72.2k
        const auto in_b = Mul(ConvertTo(df, in_q_b), fac_b);
227
72.2k
        Store(in_y, df, dec_row_y + x);
228
72.2k
        Store(MulAdd(in_y, cfl_fac_x, in_x), df, dec_row_x + x);
229
72.2k
        Store(MulAdd(in_y, cfl_fac_b, in_b), df, dec_row_b + x);
230
72.2k
      }
231
10.1k
    }
232
4.92k
  } else {
233
0
    for (size_t c : {1, 0, 2}) {
234
0
      Rect rect(r.x0() >> chroma_subsampling.HShift(c),
235
0
                r.y0() >> chroma_subsampling.VShift(c),
236
0
                r.xsize() >> chroma_subsampling.HShift(c),
237
0
                r.ysize() >> chroma_subsampling.VShift(c));
238
0
      const auto fac = Set(df, dc_factors[c] * mul);
239
0
      const Channel& ch = in.channel[c < 2 ? c ^ 1 : c];
240
0
      for (size_t y = 0; y < rect.ysize(); y++) {
241
0
        const int32_t* quant_row = ch.plane.Row(y);
242
0
        float* row = rect.PlaneRow(dc, c, y);
243
0
        for (size_t x = 0; x < rect.xsize(); x += Lanes(di)) {
244
0
          const auto in_q = Load(di, quant_row + x);
245
0
          const auto out = Mul(ConvertTo(df, in_q), fac);
246
0
          Store(out, df, row + x);
247
0
        }
248
0
      }
249
0
    }
250
0
  }
251
4.92k
  if (bctx.num_dc_ctxs <= 1) {
252
14.8k
    for (size_t y = 0; y < r.ysize(); y++) {
253
10.0k
      uint8_t* qdc_row = r.Row(quant_dc, y);
254
10.0k
      memset(qdc_row, 0, sizeof(*qdc_row) * r.xsize());
255
10.0k
    }
256
4.80k
  } else {
257
121
    JXL_DASSERT(r.ysize() == 0 ||
258
121
                (r.ysize() - 1) >> chroma_subsampling.VShift(0) <
259
121
                    in.channel[1].plane.ysize());
260
121
    JXL_DASSERT(r.ysize() == 0 ||
261
121
                (r.ysize() - 1) >> chroma_subsampling.VShift(1) <
262
121
                    in.channel[0].plane.ysize());
263
121
    JXL_DASSERT(r.ysize() == 0 ||
264
121
                (r.ysize() - 1) >> chroma_subsampling.VShift(2) <
265
121
                    in.channel[2].plane.ysize());
266
242
    for (size_t y = 0; y < r.ysize(); y++) {
267
121
      uint8_t* qdc_row_val = r.Row(quant_dc, y);
268
121
      const int32_t* quant_row_x =
269
121
          in.channel[1].plane.Row(y >> chroma_subsampling.VShift(0));
270
121
      const int32_t* quant_row_y =
271
121
          in.channel[0].plane.Row(y >> chroma_subsampling.VShift(1));
272
121
      const int32_t* quant_row_b =
273
121
          in.channel[2].plane.Row(y >> chroma_subsampling.VShift(2));
274
467
      for (size_t x = 0; x < r.xsize(); x++) {
275
346
        int bucket_x = 0;
276
346
        int bucket_y = 0;
277
346
        int bucket_b = 0;
278
346
        for (int t : bctx.dc_thresholds[0]) {
279
306
          if (quant_row_x[x >> chroma_subsampling.HShift(0)] > t) bucket_x++;
280
306
        }
281
346
        for (int t : bctx.dc_thresholds[1]) {
282
194
          if (quant_row_y[x >> chroma_subsampling.HShift(1)] > t) bucket_y++;
283
194
        }
284
346
        for (int t : bctx.dc_thresholds[2]) {
285
44
          if (quant_row_b[x >> chroma_subsampling.HShift(2)] > t) bucket_b++;
286
44
        }
287
346
        int bucket = bucket_x;
288
346
        bucket *= bctx.dc_thresholds[2].size() + 1;
289
346
        bucket += bucket_b;
290
346
        bucket *= bctx.dc_thresholds[1].size() + 1;
291
346
        bucket += bucket_y;
292
346
        qdc_row_val[x] = bucket;
293
346
      }
294
121
    }
295
121
  }
296
4.92k
}
297
298
// NOLINTNEXTLINE(google-readability-namespace-comments)
299
}  // namespace HWY_NAMESPACE
300
}  // namespace jxl
301
HWY_AFTER_NAMESPACE();
302
303
#if HWY_ONCE
304
namespace jxl {
305
306
HWY_EXPORT(DequantDC);
307
HWY_EXPORT(AdaptiveDCSmoothing);
308
Status AdaptiveDCSmoothing(JxlMemoryManager* memory_manager,
309
                           const float* dc_factors, Image3F* dc,
310
4.69k
                           ThreadPool* pool) {
311
4.69k
  return HWY_DYNAMIC_DISPATCH(AdaptiveDCSmoothing)(memory_manager, dc_factors,
312
4.69k
                                                   dc, pool);
313
4.69k
}
314
315
void DequantDC(const Rect& r, Image3F* dc, ImageB* quant_dc, const Image& in,
316
               const float* dc_factors, float mul, const float* cfl_factors,
317
               const YCbCrChromaSubsampling& chroma_subsampling,
318
4.92k
               const BlockCtxMap& bctx) {
319
4.92k
  HWY_DYNAMIC_DISPATCH(DequantDC)
320
4.92k
  (r, dc, quant_dc, in, dc_factors, mul, cfl_factors, chroma_subsampling, bctx);
321
4.92k
}
322
323
}  // namespace jxl
324
#endif  // HWY_ONCE