Coverage Report

Created: 2026-02-14 06:59

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/libvpx/vp9/encoder/vp9_subexp.c
Line
Count
Source
1
/*
2
 *  Copyright (c) 2013 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
#include "vpx_dsp/bitwriter.h"
11
12
#include "vp9/common/vp9_common.h"
13
#include "vp9/common/vp9_entropy.h"
14
#include "vp9/encoder/vp9_cost.h"
15
#include "vp9/encoder/vp9_subexp.h"
16
17
static const uint8_t update_bits[255] = {
18
  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  6,  6,  6,
19
  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  8,  8,  8,  8,  8,  8,
20
  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
21
  8,  8,  8,  8,  8,  8,  8,  10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
22
  10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
23
  10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
24
  10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 11, 11, 11, 11,
25
  11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
26
  11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
27
  11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
28
  11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
29
  11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
30
  11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
31
  11, 11, 11, 11, 11, 11, 11, 0,
32
};
33
25.4M
#define MIN_DELP_BITS 5
34
35
160M
static int recenter_nonneg(int v, int m) {
36
160M
  if (v > (m << 1))
37
43.1M
    return v;
38
117M
  else if (v >= m)
39
54.8M
    return ((v - m) << 1);
40
62.5M
  else
41
62.5M
    return ((m - v) << 1) - 1;
42
160M
}
43
44
160M
static int remap_prob(int v, int m) {
45
160M
  int i;
46
160M
  static const uint8_t map_table[MAX_PROB - 1] = {
47
    // generated by:
48
    //   map_table[j] = split_index(j, MAX_PROB - 1, MODULUS_PARAM);
49
160M
    20,  21,  22,  23,  24,  25,  0,   26,  27,  28,  29,  30,  31,  32,  33,
50
160M
    34,  35,  36,  37,  1,   38,  39,  40,  41,  42,  43,  44,  45,  46,  47,
51
160M
    48,  49,  2,   50,  51,  52,  53,  54,  55,  56,  57,  58,  59,  60,  61,
52
160M
    3,   62,  63,  64,  65,  66,  67,  68,  69,  70,  71,  72,  73,  4,   74,
53
160M
    75,  76,  77,  78,  79,  80,  81,  82,  83,  84,  85,  5,   86,  87,  88,
54
160M
    89,  90,  91,  92,  93,  94,  95,  96,  97,  6,   98,  99,  100, 101, 102,
55
160M
    103, 104, 105, 106, 107, 108, 109, 7,   110, 111, 112, 113, 114, 115, 116,
56
160M
    117, 118, 119, 120, 121, 8,   122, 123, 124, 125, 126, 127, 128, 129, 130,
57
160M
    131, 132, 133, 9,   134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144,
58
160M
    145, 10,  146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 11,
59
160M
    158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 12,  170, 171,
60
160M
    172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 13,  182, 183, 184, 185,
61
160M
    186, 187, 188, 189, 190, 191, 192, 193, 14,  194, 195, 196, 197, 198, 199,
62
160M
    200, 201, 202, 203, 204, 205, 15,  206, 207, 208, 209, 210, 211, 212, 213,
63
160M
    214, 215, 216, 217, 16,  218, 219, 220, 221, 222, 223, 224, 225, 226, 227,
64
160M
    228, 229, 17,  230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241,
65
160M
    18,  242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 19,
66
160M
  };
67
160M
  v--;
68
160M
  m--;
69
160M
  assert(m >= 0);
70
160M
  if ((m << 1) <= MAX_PROB)
71
90.9M
    i = recenter_nonneg(v, m) - 1;
72
69.6M
  else
73
69.6M
    i = recenter_nonneg(MAX_PROB - 1 - v, MAX_PROB - 1 - m) - 1;
74
75
160M
  assert(i >= 0 && (size_t)i < sizeof(map_table));
76
160M
  i = map_table[i];
77
160M
  return i;
78
160M
}
79
80
160M
static int prob_diff_update_cost(vpx_prob newp, vpx_prob oldp) {
81
160M
  int delp = remap_prob(newp, oldp);
82
160M
  return update_bits[delp] << VP9_PROB_COST_SHIFT;
83
160M
}
84
85
35.5k
static void encode_uniform(vpx_writer *w, int v) {
86
35.5k
  const int l = 8;
87
35.5k
  const int m = (1 << l) - 191;
88
35.5k
  if (v < m) {
89
15.6k
    vpx_write_literal(w, v, l - 1);
90
19.9k
  } else {
91
19.9k
    vpx_write_literal(w, m + ((v - m) >> 1), l - 1);
92
19.9k
    vpx_write_literal(w, (v - m) & 1, 1);
93
19.9k
  }
94
35.5k
}
95
96
640k
static INLINE int write_bit_gte(vpx_writer *w, int word, int test) {
97
640k
  vpx_write_literal(w, word >= test, 1);
98
640k
  return word >= test;
99
640k
}
100
101
435k
static void encode_term_subexp(vpx_writer *w, int word) {
102
435k
  if (!write_bit_gte(w, word, 16)) {
103
292k
    vpx_write_literal(w, word, 4);
104
292k
  } else if (!write_bit_gte(w, word, 32)) {
105
80.2k
    vpx_write_literal(w, word - 16, 4);
106
80.2k
  } else if (!write_bit_gte(w, word, 64)) {
107
26.7k
    vpx_write_literal(w, word - 32, 5);
108
35.5k
  } else {
109
35.5k
    encode_uniform(w, word - 64);
110
35.5k
  }
111
435k
}
112
113
435k
void vp9_write_prob_diff_update(vpx_writer *w, vpx_prob newp, vpx_prob oldp) {
114
435k
  const int delp = remap_prob(newp, oldp);
115
435k
  encode_term_subexp(w, delp);
116
435k
}
117
118
int64_t vp9_prob_diff_update_savings_search(const unsigned int *ct,
119
                                            vpx_prob oldp, vpx_prob *bestp,
120
19.0M
                                            vpx_prob upd) {
121
19.0M
  const int64_t old_b = cost_branch256(ct, oldp);
122
19.0M
  int64_t bestsavings = 0;
123
19.0M
  vpx_prob newp, bestnewp = oldp;
124
19.0M
  const int step = *bestp > oldp ? -1 : 1;
125
19.0M
  const int upd_cost = vp9_cost_one(upd) - vp9_cost_zero(upd);
126
127
19.0M
  if (old_b > upd_cost + (MIN_DELP_BITS << VP9_PROB_COST_SHIFT)) {
128
70.6M
    for (newp = *bestp; newp != oldp; newp += step) {
129
68.9M
      const int64_t new_b = cost_branch256(ct, newp);
130
68.9M
      const int64_t update_b = prob_diff_update_cost(newp, oldp) + upd_cost;
131
68.9M
      const int64_t savings = old_b - new_b - update_b;
132
68.9M
      if (savings > bestsavings) {
133
563k
        bestsavings = savings;
134
563k
        bestnewp = newp;
135
563k
      }
136
68.9M
    }
137
1.72M
  }
138
19.0M
  *bestp = bestnewp;
139
19.0M
  return bestsavings;
140
19.0M
}
141
142
int64_t vp9_prob_diff_update_savings_search_model(const unsigned int *ct,
143
                                                  const vpx_prob oldp,
144
                                                  vpx_prob *bestp, vpx_prob upd,
145
6.43M
                                                  int stepsize) {
146
6.43M
  int64_t i, old_b, new_b, update_b, savings, bestsavings;
147
6.43M
  int64_t newp;
148
6.43M
  const int64_t step_sign = *bestp > oldp ? -1 : 1;
149
6.43M
  const int64_t step = stepsize * step_sign;
150
6.43M
  const int64_t upd_cost = vp9_cost_one(upd) - vp9_cost_zero(upd);
151
6.43M
  const vpx_prob *newplist, *oldplist;
152
6.43M
  vpx_prob bestnewp;
153
6.43M
  oldplist = vp9_pareto8_full[oldp - 1];
154
6.43M
  old_b = cost_branch256(ct + 2 * PIVOT_NODE, oldp);
155
57.8M
  for (i = UNCONSTRAINED_NODES; i < ENTROPY_NODES; ++i)
156
51.4M
    old_b += cost_branch256(ct + 2 * i, oldplist[i - UNCONSTRAINED_NODES]);
157
158
6.43M
  bestsavings = 0;
159
6.43M
  bestnewp = oldp;
160
161
6.43M
  assert(stepsize > 0);
162
163
6.43M
  if (old_b > upd_cost + (MIN_DELP_BITS << VP9_PROB_COST_SHIFT)) {
164
92.9M
    for (newp = *bestp; (newp - oldp) * step_sign < 0; newp += step) {
165
91.2M
      if (newp < 1 || newp > 255) continue;
166
91.2M
      newplist = vp9_pareto8_full[newp - 1];
167
91.2M
      new_b = cost_branch256(ct + 2 * PIVOT_NODE, (vpx_prob)newp);
168
820M
      for (i = UNCONSTRAINED_NODES; i < ENTROPY_NODES; ++i)
169
729M
        new_b += cost_branch256(ct + 2 * i, newplist[i - UNCONSTRAINED_NODES]);
170
91.2M
      update_b = prob_diff_update_cost((vpx_prob)newp, oldp) + upd_cost;
171
91.2M
      savings = old_b - new_b - update_b;
172
91.2M
      if (savings > bestsavings) {
173
2.28M
        bestsavings = savings;
174
2.28M
        bestnewp = (vpx_prob)newp;
175
2.28M
      }
176
91.2M
    }
177
1.75M
  }
178
179
6.43M
  *bestp = bestnewp;
180
6.43M
  return bestsavings;
181
6.43M
}
182
183
void vp9_cond_prob_diff_update(vpx_writer *w, vpx_prob *oldp,
184
6.19M
                               const unsigned int ct[2]) {
185
6.19M
  const vpx_prob upd = DIFF_UPDATE_PROB;
186
6.19M
  vpx_prob newp = get_binary_prob(ct[0], ct[1]);
187
6.19M
  const int64_t savings =
188
6.19M
      vp9_prob_diff_update_savings_search(ct, *oldp, &newp, upd);
189
6.19M
  assert(newp >= 1);
190
6.19M
  if (savings > 0) {
191
22.5k
    vpx_write(w, 1, upd);
192
22.5k
    vp9_write_prob_diff_update(w, newp, *oldp);
193
22.5k
    *oldp = newp;
194
6.17M
  } else {
195
6.17M
    vpx_write(w, 0, upd);
196
6.17M
  }
197
6.19M
}