Coverage Report

Created: 2026-06-09 06:26

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/libvpx/vp8/decoder/detokenize.c
Line
Count
Source
1
/*
2
 *  Copyright (c) 2010 The WebM project authors. All Rights Reserved.
3
 *
4
 *  Use of this source code is governed by a BSD-style license
5
 *  that can be found in the LICENSE file in the root of the source
6
 *  tree. An additional intellectual property rights grant can be found
7
 *  in the file PATENTS.  All contributing project authors may
8
 *  be found in the AUTHORS file in the root of the source tree.
9
 */
10
11
#include "vp8/common/blockd.h"
12
#include "onyxd_int.h"
13
#include "vpx_mem/vpx_mem.h"
14
#include "vpx_ports/compiler_attributes.h"
15
#include "vpx_ports/mem.h"
16
#include "detokenize.h"
17
18
19.4M
void vp8_reset_mb_tokens_context(MACROBLOCKD *x) {
19
19.4M
  ENTROPY_CONTEXT *a_ctx = ((ENTROPY_CONTEXT *)x->above_context);
20
19.4M
  ENTROPY_CONTEXT *l_ctx = ((ENTROPY_CONTEXT *)x->left_context);
21
22
19.4M
  memset(a_ctx, 0, sizeof(ENTROPY_CONTEXT_PLANES) - 1);
23
19.4M
  memset(l_ctx, 0, sizeof(ENTROPY_CONTEXT_PLANES) - 1);
24
25
  /* Clear entropy contexts for Y2 blocks */
26
19.4M
  if (!x->mode_info_context->mbmi.is_4x4) {
27
15.5M
    a_ctx[8] = l_ctx[8] = 0;
28
15.5M
  }
29
19.4M
}
30
31
/*
32
    ------------------------------------------------------------------------------
33
    Residual decoding (Paragraph 13.2 / 13.3)
34
*/
35
static const uint8_t kBands[16 + 1] = {
36
  0, 1, 2, 3, 6, 4, 5, 6, 6,
37
  6, 6, 6, 6, 6, 6, 7, 0 /* extra entry as sentinel */
38
};
39
40
static const uint8_t kCat3[] = { 173, 148, 140, 0 };
41
static const uint8_t kCat4[] = { 176, 155, 140, 135, 0 };
42
static const uint8_t kCat5[] = { 180, 157, 141, 134, 130, 0 };
43
static const uint8_t kCat6[] = { 254, 254, 243, 230, 196, 177,
44
                                 153, 140, 133, 130, 129, 0 };
45
static const uint8_t *const kCat3456[] = { kCat3, kCat4, kCat5, kCat6 };
46
static const uint8_t kZigzag[16] = { 0, 1,  4,  8,  5, 2,  3,  6,
47
                                     9, 12, 13, 10, 7, 11, 14, 15 };
48
49
238M
#define VP8GetBit vp8dx_decode_bool
50
#define NUM_PROBAS 11
51
#define NUM_CTX 3
52
53
/* for const-casting */
54
typedef const uint8_t (*ProbaArray)[NUM_CTX][NUM_PROBAS];
55
56
// With corrupt / fuzzed streams the calculation of br->value may overflow. See
57
// b/148271109.
58
static VPX_NO_UNSIGNED_OVERFLOW_CHECK int GetSigned(BOOL_DECODER *br,
59
26.1M
                                                    int value_to_sign) {
60
26.1M
  int split = (br->range + 1) >> 1;
61
26.1M
  VP8_BD_VALUE bigsplit = (VP8_BD_VALUE)split << (VP8_BD_VALUE_SIZE - 8);
62
26.1M
  int v;
63
64
26.1M
  if (br->count < 0) vp8dx_bool_decoder_fill(br);
65
66
26.1M
  if (br->value < bigsplit) {
67
12.9M
    br->range = split;
68
12.9M
    v = value_to_sign;
69
13.1M
  } else {
70
13.1M
    br->range = br->range - split;
71
13.1M
    br->value = br->value - bigsplit;
72
13.1M
    v = -value_to_sign;
73
13.1M
  }
74
26.1M
  br->range += br->range;
75
26.1M
  br->value += br->value;
76
26.1M
  br->count--;
77
78
26.1M
  return v;
79
26.1M
}
80
/*
81
   Returns the position of the last non-zero coeff plus one
82
   (and 0 if there's no coeff at all)
83
*/
84
static int GetCoeffs(BOOL_DECODER *br, ProbaArray prob, int ctx, int n,
85
113M
                     int16_t *out) {
86
113M
  const uint8_t *p = prob[n][ctx];
87
113M
  if (!VP8GetBit(br, p[0])) { /* first EOB is more a 'CBP' bit. */
88
101M
    return 0;
89
101M
  }
90
42.5M
  while (1) {
91
42.5M
    ++n;
92
42.5M
    if (!VP8GetBit(br, p[1])) {
93
16.5M
      p = prob[kBands[n]][0];
94
26.0M
    } else { /* non zero coeff */
95
26.0M
      int v, j;
96
26.0M
      if (!VP8GetBit(br, p[2])) {
97
18.3M
        p = prob[kBands[n]][1];
98
18.3M
        v = 1;
99
18.3M
      } else {
100
7.70M
        if (!VP8GetBit(br, p[3])) {
101
5.15M
          if (!VP8GetBit(br, p[4])) {
102
3.24M
            v = 2;
103
3.24M
          } else {
104
1.90M
            v = 3 + VP8GetBit(br, p[5]);
105
1.90M
          }
106
5.15M
        } else {
107
2.55M
          if (!VP8GetBit(br, p[6])) {
108
1.52M
            if (!VP8GetBit(br, p[7])) {
109
866k
              v = 5 + VP8GetBit(br, 159);
110
866k
            } else {
111
659k
              v = 7 + 2 * VP8GetBit(br, 165);
112
659k
              v += VP8GetBit(br, 145);
113
659k
            }
114
1.52M
          } else {
115
1.02M
            const uint8_t *tab;
116
1.02M
            const int bit1 = VP8GetBit(br, p[8]);
117
1.02M
            const int bit0 = VP8GetBit(br, p[9 + bit1]);
118
1.02M
            const int cat = 2 * bit1 + bit0;
119
1.02M
            v = 0;
120
8.81M
            for (tab = kCat3456[cat]; *tab; ++tab) {
121
7.78M
              v += v + VP8GetBit(br, *tab);
122
7.78M
            }
123
1.02M
            v += 3 + (8 << cat);
124
1.02M
          }
125
2.55M
        }
126
7.70M
        p = prob[kBands[n]][2];
127
7.70M
      }
128
26.0M
      j = kZigzag[n - 1];
129
130
26.0M
      out[j] = GetSigned(br, v);
131
132
26.0M
      if (n == 16 || !VP8GetBit(br, p[0])) { /* EOB */
133
11.8M
        return n;
134
11.8M
      }
135
26.0M
    }
136
30.6M
    if (n == 16) {
137
83.1k
      return 16;
138
83.1k
    }
139
30.6M
  }
140
11.8M
}
141
142
4.64M
int vp8_decode_mb_tokens(VP8D_COMP *dx, MACROBLOCKD *x) {
143
4.64M
  BOOL_DECODER *bc = x->current_bc;
144
4.64M
  const FRAME_CONTEXT *const fc = &dx->common.fc;
145
4.64M
  char *eobs = x->eobs;
146
147
4.64M
  int i;
148
4.64M
  int nonzeros;
149
4.64M
  int eobtotal = 0;
150
151
4.64M
  short *qcoeff_ptr;
152
4.64M
  ProbaArray coef_probs;
153
4.64M
  ENTROPY_CONTEXT *a_ctx = ((ENTROPY_CONTEXT *)x->above_context);
154
4.64M
  ENTROPY_CONTEXT *l_ctx = ((ENTROPY_CONTEXT *)x->left_context);
155
4.64M
  ENTROPY_CONTEXT *a;
156
4.64M
  ENTROPY_CONTEXT *l;
157
4.64M
  int skip_dc = 0;
158
159
4.64M
  qcoeff_ptr = &x->qcoeff[0];
160
161
4.64M
  if (!x->mode_info_context->mbmi.is_4x4) {
162
2.65M
    a = a_ctx + 8;
163
2.65M
    l = l_ctx + 8;
164
165
2.65M
    coef_probs = fc->coef_probs[1];
166
167
2.65M
    nonzeros = GetCoeffs(bc, coef_probs, (*a + *l), 0, qcoeff_ptr + 24 * 16);
168
2.65M
    *a = *l = (nonzeros > 0);
169
170
2.65M
    eobs[24] = nonzeros;
171
2.65M
    eobtotal += nonzeros - 16;
172
173
2.65M
    coef_probs = fc->coef_probs[0];
174
2.65M
    skip_dc = 1;
175
2.65M
  } else {
176
1.99M
    coef_probs = fc->coef_probs[3];
177
1.99M
    skip_dc = 0;
178
1.99M
  }
179
180
78.4M
  for (i = 0; i < 16; ++i) {
181
73.8M
    a = a_ctx + (i & 3);
182
73.8M
    l = l_ctx + ((i & 0xc) >> 2);
183
184
73.8M
    nonzeros = GetCoeffs(bc, coef_probs, (*a + *l), skip_dc, qcoeff_ptr);
185
73.8M
    *a = *l = (nonzeros > 0);
186
187
73.8M
    nonzeros += skip_dc;
188
73.8M
    eobs[i] = nonzeros;
189
73.8M
    eobtotal += nonzeros;
190
73.8M
    qcoeff_ptr += 16;
191
73.8M
  }
192
193
4.64M
  coef_probs = fc->coef_probs[2];
194
195
4.64M
  a_ctx += 4;
196
4.64M
  l_ctx += 4;
197
41.6M
  for (i = 16; i < 24; ++i) {
198
37.0M
    a = a_ctx + ((i > 19) << 1) + (i & 1);
199
37.0M
    l = l_ctx + ((i > 19) << 1) + ((i & 3) > 1);
200
201
37.0M
    nonzeros = GetCoeffs(bc, coef_probs, (*a + *l), 0, qcoeff_ptr);
202
37.0M
    *a = *l = (nonzeros > 0);
203
204
37.0M
    eobs[i] = nonzeros;
205
37.0M
    eobtotal += nonzeros;
206
37.0M
    qcoeff_ptr += 16;
207
37.0M
  }
208
209
4.64M
  return eobtotal;
210
4.64M
}