Coverage Report

Created: 2026-04-01 07:24

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
4.95k
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
4.95k
  return Max(a, b);
61
4.95k
#endif
62
4.95k
}
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
4.92k
                                    Vec<D>* JXL_RESTRICT gap, size_t x) {
72
4.92k
  const auto tl = LoadU(d, row_top + x - 1);
73
4.92k
  const auto tc = Load(d, row_top + x);
74
4.92k
  const auto tr = LoadU(d, row_top + x + 1);
75
76
4.92k
  const auto ml = LoadU(d, row + x - 1);
77
4.92k
  *mc = Load(d, row + x);
78
4.92k
  const auto mr = LoadU(d, row + x + 1);
79
80
4.92k
  const auto bl = LoadU(d, row_bottom + x - 1);
81
4.92k
  const auto bc = Load(d, row_bottom + x);
82
4.92k
  const auto br = LoadU(d, row_bottom + x + 1);
83
84
4.92k
  const auto w_center = Set(d, w0);
85
4.92k
  const auto w_side = Set(d, w1);
86
4.92k
  const auto w_corner = Set(d, w2);
87
88
4.92k
  const auto corner = Add(Add(tl, tr), Add(bl, br));
89
4.92k
  const auto side = Add(Add(ml, mr), Add(tc, bc));
90
4.92k
  *sm = MulAdd(corner, w_corner, MulAdd(side, w_side, Mul(*mc, w_center)));
91
92
4.92k
  const auto dc_quant = Set(d, dc_factor);
93
4.92k
  *gap = MaxWorkaround(*gap, Abs(Div(Sub(*mc, *sm), dc_quant)));
94
4.92k
}
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
3.67k
    float* JXL_RESTRICT* JXL_RESTRICT out_rows, size_t x) {
103
3.67k
  const D d;
104
3.67k
  auto mc_x = Undefined(d);
105
3.67k
  auto mc_y = Undefined(d);
106
3.67k
  auto mc_b = Undefined(d);
107
3.67k
  auto sm_x = Undefined(d);
108
3.67k
  auto sm_y = Undefined(d);
109
3.67k
  auto sm_b = Undefined(d);
110
3.67k
  auto gap = Set(d, 0.5f);
111
3.67k
  ComputePixelChannel(d, dc_factors[0], rows_top[0], rows[0], rows_bottom[0],
112
3.67k
                      &mc_x, &sm_x, &gap, x);
113
3.67k
  ComputePixelChannel(d, dc_factors[1], rows_top[1], rows[1], rows_bottom[1],
114
3.67k
                      &mc_y, &sm_y, &gap, x);
115
3.67k
  ComputePixelChannel(d, dc_factors[2], rows_top[2], rows[2], rows_bottom[2],
116
3.67k
                      &mc_b, &sm_b, &gap, x);
117
3.67k
  auto factor = MulAdd(Set(d, -4.0f), gap, Set(d, 3.0f));
118
3.67k
  factor = ZeroIfNegative(factor);
119
120
3.67k
  auto out = MulAdd(Sub(sm_x, mc_x), factor, mc_x);
121
3.67k
  Store(out, d, out_rows[0] + x);
122
3.67k
  out = MulAdd(Sub(sm_y, mc_y), factor, mc_y);
123
3.67k
  Store(out, d, out_rows[1] + x);
124
3.67k
  out = MulAdd(Sub(sm_b, mc_b), factor, mc_b);
125
3.67k
  Store(out, d, out_rows[2] + x);
126
3.67k
}
127
128
Status AdaptiveDCSmoothing(JxlMemoryManager* memory_manager,
129
                           const float* dc_factors, Image3F* dc,
130
5.70k
                           ThreadPool* pool) {
131
5.70k
  const size_t xsize = dc->xsize();
132
5.70k
  const size_t ysize = dc->ysize();
133
5.70k
  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
10
  JXL_ENSURE(w1 + w2 < 0.25f);
139
140
20
  JXL_ASSIGN_OR_RETURN(Image3F smoothed,
141
20
                       Image3F::Create(memory_manager, xsize, ysize));
142
  // Fill in borders that the loop below will not. First and last are unused.
143
40
  for (size_t c = 0; c < 3; c++) {
144
60
    for (size_t y : {static_cast<size_t>(0), ysize - 1}) {
145
60
      memcpy(smoothed.PlaneRow(c, y), dc->PlaneRow(c, y),
146
60
             xsize * sizeof(float));
147
60
    }
148
30
  }
149
298
  auto process_row = [&](const uint32_t y, size_t /*thread*/) -> Status {
150
298
    const float* JXL_RESTRICT rows_top[3]{
151
298
        dc->ConstPlaneRow(0, y - 1),
152
298
        dc->ConstPlaneRow(1, y - 1),
153
298
        dc->ConstPlaneRow(2, y - 1),
154
298
    };
155
298
    const float* JXL_RESTRICT rows[3] = {
156
298
        dc->ConstPlaneRow(0, y),
157
298
        dc->ConstPlaneRow(1, y),
158
298
        dc->ConstPlaneRow(2, y),
159
298
    };
160
298
    const float* JXL_RESTRICT rows_bottom[3] = {
161
298
        dc->ConstPlaneRow(0, y + 1),
162
298
        dc->ConstPlaneRow(1, y + 1),
163
298
        dc->ConstPlaneRow(2, y + 1),
164
298
    };
165
298
    float* JXL_RESTRICT rows_out[3] = {
166
298
        smoothed.PlaneRow(0, y),
167
298
        smoothed.PlaneRow(1, y),
168
298
        smoothed.PlaneRow(2, y),
169
298
    };
170
590
    for (size_t x : {static_cast<size_t>(0), xsize - 1}) {
171
2.36k
      for (size_t c = 0; c < 3; c++) {
172
1.77k
        rows_out[c][x] = rows[c][x];
173
1.77k
      }
174
590
    }
175
176
298
    size_t x = 1;
177
    // First pixels
178
298
    const size_t N = Lanes(D());
179
298
    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
3.93k
    for (; x + N <= xsize - 1; x += N) {
185
3.64k
      ComputePixel<D>(dc_factors, rows_top, rows, rows_bottom, rows_out, x);
186
3.64k
    }
187
    // Last pixels.
188
298
    for (; x < xsize - 1; x++) {
189
0
      ComputePixel<DScalar>(dc_factors, rows_top, rows, rows_bottom, rows_out,
190
0
                            x);
191
0
    }
192
298
    return true;
193
298
  };
194
20
  JXL_RETURN_IF_ERROR(RunOnPool(pool, 1, ysize - 1, ThreadPool::NoInit,
195
20
                                process_row, "DCSmoothingRow"));
196
10
  dc->Swap(smoothed);
197
10
  return true;
198
20
}
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
5.75k
               const BlockCtxMap& bctx) {
205
5.75k
  const HWY_FULL(float) df;
206
5.75k
  const Rebind<pixel_type, HWY_FULL(float)> di;  // assumes pixel_type <= float
207
5.75k
  if (chroma_subsampling.Is444()) {
208
5.75k
    const auto fac_x = Set(df, dc_factors[0] * mul);
209
5.75k
    const auto fac_y = Set(df, dc_factors[1] * mul);
210
5.75k
    const auto fac_b = Set(df, dc_factors[2] * mul);
211
5.75k
    const auto cfl_fac_x = Set(df, cfl_factors[0]);
212
5.75k
    const auto cfl_fac_b = Set(df, cfl_factors[2]);
213
17.7k
    for (size_t y = 0; y < r.ysize(); y++) {
214
11.9k
      float* dec_row_x = r.PlaneRow(dc, 0, y);
215
11.9k
      float* dec_row_y = r.PlaneRow(dc, 1, y);
216
11.9k
      float* dec_row_b = r.PlaneRow(dc, 2, y);
217
11.9k
      const int32_t* quant_row_x = in.channel[1].plane.Row(y);
218
11.9k
      const int32_t* quant_row_y = in.channel[0].plane.Row(y);
219
11.9k
      const int32_t* quant_row_b = in.channel[2].plane.Row(y);
220
85.6k
      for (size_t x = 0; x < r.xsize(); x += Lanes(di)) {
221
73.7k
        const auto in_q_x = Load(di, quant_row_x + x);
222
73.7k
        const auto in_q_y = Load(di, quant_row_y + x);
223
73.7k
        const auto in_q_b = Load(di, quant_row_b + x);
224
73.7k
        const auto in_x = Mul(ConvertTo(df, in_q_x), fac_x);
225
73.7k
        const auto in_y = Mul(ConvertTo(df, in_q_y), fac_y);
226
73.7k
        const auto in_b = Mul(ConvertTo(df, in_q_b), fac_b);
227
73.7k
        Store(in_y, df, dec_row_y + x);
228
73.7k
        Store(MulAdd(in_y, cfl_fac_x, in_x), df, dec_row_x + x);
229
73.7k
        Store(MulAdd(in_y, cfl_fac_b, in_b), df, dec_row_b + x);
230
73.7k
      }
231
11.9k
    }
232
5.75k
  } 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
5.75k
  if (bctx.num_dc_ctxs <= 1) {
252
17.6k
    for (size_t y = 0; y < r.ysize(); y++) {
253
11.9k
      uint8_t* qdc_row = r.Row(quant_dc, y);
254
11.9k
      memset(qdc_row, 0, sizeof(*qdc_row) * r.xsize());
255
11.9k
    }
256
5.75k
  } else {
257
2
    JXL_DASSERT(r.ysize() == 0 ||
258
2
                (r.ysize() - 1) >> chroma_subsampling.VShift(0) <
259
2
                    in.channel[1].plane.ysize());
260
2
    JXL_DASSERT(r.ysize() == 0 ||
261
2
                (r.ysize() - 1) >> chroma_subsampling.VShift(1) <
262
2
                    in.channel[0].plane.ysize());
263
2
    JXL_DASSERT(r.ysize() == 0 ||
264
2
                (r.ysize() - 1) >> chroma_subsampling.VShift(2) <
265
2
                    in.channel[2].plane.ysize());
266
4
    for (size_t y = 0; y < r.ysize(); y++) {
267
2
      uint8_t* qdc_row_val = r.Row(quant_dc, y);
268
2
      const int32_t* quant_row_x =
269
2
          in.channel[1].plane.Row(y >> chroma_subsampling.VShift(0));
270
2
      const int32_t* quant_row_y =
271
2
          in.channel[0].plane.Row(y >> chroma_subsampling.VShift(1));
272
2
      const int32_t* quant_row_b =
273
2
          in.channel[2].plane.Row(y >> chroma_subsampling.VShift(2));
274
132
      for (size_t x = 0; x < r.xsize(); x++) {
275
130
        int bucket_x = 0;
276
130
        int bucket_y = 0;
277
130
        int bucket_b = 0;
278
258
        for (int t : bctx.dc_thresholds[0]) {
279
258
          if (quant_row_x[x >> chroma_subsampling.HShift(0)] > t) bucket_x++;
280
258
        }
281
130
        for (int t : bctx.dc_thresholds[1]) {
282
0
          if (quant_row_y[x >> chroma_subsampling.HShift(1)] > t) bucket_y++;
283
0
        }
284
130
        for (int t : bctx.dc_thresholds[2]) {
285
4
          if (quant_row_b[x >> chroma_subsampling.HShift(2)] > t) bucket_b++;
286
4
        }
287
130
        int bucket = bucket_x;
288
130
        bucket *= bctx.dc_thresholds[2].size() + 1;
289
130
        bucket += bucket_b;
290
130
        bucket *= bctx.dc_thresholds[1].size() + 1;
291
130
        bucket += bucket_y;
292
130
        qdc_row_val[x] = bucket;
293
130
      }
294
2
    }
295
2
  }
296
5.75k
}
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
5.70k
                           ThreadPool* pool) {
311
5.70k
  return HWY_DYNAMIC_DISPATCH(AdaptiveDCSmoothing)(memory_manager, dc_factors,
312
5.70k
                                                   dc, pool);
313
5.70k
}
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
5.75k
               const BlockCtxMap& bctx) {
319
5.75k
  HWY_DYNAMIC_DISPATCH(DequantDC)
320
5.75k
  (r, dc, quant_dc, in, dc_factors, mul, cfl_factors, chroma_subsampling, bctx);
321
5.75k
}
322
323
}  // namespace jxl
324
#endif  // HWY_ONCE