vp9_tokenize.c 13.7 KB
Newer Older
John Koleszar's avatar
John Koleszar committed
1
/*
2
 *  Copyright (c) 2010 The WebM project authors. All Rights Reserved.
John Koleszar's avatar
John Koleszar committed
3
 *
4
 *  Use of this source code is governed by a BSD-style license
5
6
 *  that can be found in the LICENSE file in the root of the source
 *  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.
John Koleszar's avatar
John Koleszar committed
9
10
11
12
13
14
15
 */


#include <math.h>
#include <stdio.h>
#include <string.h>
#include <assert.h>
16
17
#include "vp9/encoder/vp9_onyx_int.h"
#include "vp9/encoder/vp9_tokenize.h"
John Koleszar's avatar
John Koleszar committed
18
19
#include "vpx_mem/vpx_mem.h"

20
21
22
#include "vp9/common/vp9_pred_common.h"
#include "vp9/common/vp9_seg_common.h"
#include "vp9/common/vp9_entropy.h"
23

John Koleszar's avatar
John Koleszar committed
24
/* Global event counters used for accumulating statistics across several
25
   compressions, then generating vp9_context.c = initial stats. */
John Koleszar's avatar
John Koleszar committed
26
27

#ifdef ENTROPY_STATS
28
29
vp9_coeff_accum context_counters[TX_SIZE_MAX_SB][BLOCK_TYPES];
extern vp9_coeff_stats tree_update_hist[TX_SIZE_MAX_SB][BLOCK_TYPES];
30
31
#endif  /* ENTROPY_STATS */

32
33
34
DECLARE_ALIGNED(16, extern const uint8_t,
                vp9_pt_energy_class[MAX_ENTROPY_TOKENS]);

John Koleszar's avatar
John Koleszar committed
35
static TOKENVALUE dct_value_tokens[DCT_MAX_VALUE * 2];
36
const TOKENVALUE *vp9_dct_value_tokens_ptr;
John Koleszar's avatar
John Koleszar committed
37
static int dct_value_cost[DCT_MAX_VALUE * 2];
38
const int *vp9_dct_value_cost_ptr;
39

John Koleszar's avatar
John Koleszar committed
40
static void fill_value_tokens() {
John Koleszar's avatar
John Koleszar committed
41

John Koleszar's avatar
John Koleszar committed
42
  TOKENVALUE *const t = dct_value_tokens + DCT_MAX_VALUE;
43
  vp9_extra_bit *const e = vp9_extra_bits;
John Koleszar's avatar
John Koleszar committed
44

John Koleszar's avatar
John Koleszar committed
45
46
  int i = -DCT_MAX_VALUE;
  int sign = 1;
John Koleszar's avatar
John Koleszar committed
47

John Koleszar's avatar
John Koleszar committed
48
49
50
  do {
    if (!i)
      sign = 0;
John Koleszar's avatar
John Koleszar committed
51

John Koleszar's avatar
John Koleszar committed
52
53
54
    {
      const int a = sign ? -i : i;
      int eb = sign;
John Koleszar's avatar
John Koleszar committed
55

John Koleszar's avatar
John Koleszar committed
56
57
      if (a > 4) {
        int j = 4;
John Koleszar's avatar
John Koleszar committed
58

John Koleszar's avatar
John Koleszar committed
59
        while (++j < 11  &&  e[j].base_val <= a) {}
John Koleszar's avatar
John Koleszar committed
60

61
        t[i].token = --j;
John Koleszar's avatar
John Koleszar committed
62
63
        eb |= (a - e[j].base_val) << 1;
      } else
64
        t[i].token = a;
John Koleszar's avatar
John Koleszar committed
65

66
      t[i].extra = eb;
John Koleszar's avatar
John Koleszar committed
67
    }
John Koleszar's avatar
John Koleszar committed
68

John Koleszar's avatar
John Koleszar committed
69
70
71
    // initialize the cost for extra bits for all possible coefficient value.
    {
      int cost = 0;
72
      vp9_extra_bit *p = vp9_extra_bits + t[i].token;
John Koleszar's avatar
John Koleszar committed
73

John Koleszar's avatar
John Koleszar committed
74
      if (p->base_val) {
75
        const int extra = t[i].extra;
76
        const int length = p->len;
John Koleszar's avatar
John Koleszar committed
77

78
79
        if (length)
          cost += treed_cost(p->tree, p->prob, extra >> 1, length);
John Koleszar's avatar
John Koleszar committed
80

81
        cost += vp9_cost_bit(vp9_prob_half, extra & 1); /* sign */
John Koleszar's avatar
John Koleszar committed
82
83
        dct_value_cost[i + DCT_MAX_VALUE] = cost;
      }
John Koleszar's avatar
John Koleszar committed
84
85
86

    }

John Koleszar's avatar
John Koleszar committed
87
88
  } while (++i < DCT_MAX_VALUE);

89
90
  vp9_dct_value_tokens_ptr = dct_value_tokens + DCT_MAX_VALUE;
  vp9_dct_value_cost_ptr   = dct_value_cost + DCT_MAX_VALUE;
John Koleszar's avatar
John Koleszar committed
91
}
92

93
94
95
96
97
98
99
struct tokenize_b_args {
  VP9_COMP *cpi;
  MACROBLOCKD *xd;
  TOKENEXTRA **tp;
  TX_SIZE tx_size;
  int dry_run;
};
100

101
102
103
104
105
106
107
108
109
110
static void tokenize_b(int plane, int block, BLOCK_SIZE_TYPE bsize,
                       int ss_txfrm_size, void *arg) {
  struct tokenize_b_args* const args = arg;
  VP9_COMP *cpi = args->cpi;
  MACROBLOCKD *xd = args->xd;
  TOKENEXTRA **tp = args->tp;
  PLANE_TYPE type = plane ? PLANE_TYPE_UV : PLANE_TYPE_Y_WITH_DC;
  TX_SIZE tx_size = ss_txfrm_size / 2;
  int dry_run = args->dry_run;

111
  MB_MODE_INFO *mbmi = &xd->mode_info_context->mbmi;
Daniel Kang's avatar
Daniel Kang committed
112
  int pt; /* near block/prev token context index */
113
  int c = 0, rc = 0;
Daniel Kang's avatar
Daniel Kang committed
114
  TOKENEXTRA *t = *tp;        /* store tokens starting here */
115
116
  const int eob = xd->plane[plane].eobs[block];
  const int16_t *qcoeff_ptr = BLOCK_OFFSET(xd->plane[plane].qcoeff, block, 16);
117
118
  const BLOCK_SIZE_TYPE sb_type = (mbmi->sb_type < BLOCK_SIZE_SB8X8) ?
                                   BLOCK_SIZE_SB8X8 : mbmi->sb_type;
119
  const int bwl = b_width_log2(sb_type);
120
121
  const int off = block >> (2 * tx_size);
  const int mod = bwl - tx_size - xd->plane[plane].subsampling_x;
122
123
  const int aoff = (off & ((1 << mod) - 1)) << tx_size;
  const int loff = (off >> mod) << tx_size;
124
125
  ENTROPY_CONTEXT *A = xd->plane[plane].above_context + aoff;
  ENTROPY_CONTEXT *L = xd->plane[plane].left_context + loff;
126
  int seg_eob;
127
  const int segment_id = mbmi->segment_id;
128
  const int16_t *scan, *nb;
129
  vp9_coeff_count *counts;
130
  vp9_coeff_probs_model *coef_probs;
Ronald S. Bultje's avatar
Ronald S. Bultje committed
131
  const int ref = mbmi->ref_frame[0] != INTRA_FRAME;
132
  ENTROPY_CONTEXT above_ec, left_ec;
133
  uint8_t token_cache[1024];
Dmitry Kovalev's avatar
Dmitry Kovalev committed
134
  const uint8_t *band_translate;
135
  assert((!type && !plane) || (type && plane));
136

137
138
  counts = cpi->coef_counts[tx_size];
  coef_probs = cpi->common.fc.coef_probs[tx_size];
139
140
  switch (tx_size) {
    default:
141
    case TX_4X4: {
Dmitry Kovalev's avatar
Dmitry Kovalev committed
142
143
      const TX_TYPE tx_type = type == PLANE_TYPE_Y_WITH_DC ?
                                  get_tx_type_4x4(xd, block) : DCT_DCT;
144
145
      above_ec = A[0] != 0;
      left_ec = L[0] != 0;
146
      seg_eob = 16;
147
      scan = get_scan_4x4(tx_type);
Paul Wilkins's avatar
Paul Wilkins committed
148
      band_translate = vp9_coefband_trans_4x4;
149
      break;
150
    }
151
    case TX_8X8: {
Dmitry Kovalev's avatar
Dmitry Kovalev committed
152
153
      const TX_TYPE tx_type = type == PLANE_TYPE_Y_WITH_DC ?
                                  get_tx_type_8x8(xd) : DCT_DCT;
154
155
      above_ec = (A[0] + A[1]) != 0;
      left_ec = (L[0] + L[1]) != 0;
156
      seg_eob = 64;
157
      scan = get_scan_8x8(tx_type);
Paul Wilkins's avatar
Paul Wilkins committed
158
      band_translate = vp9_coefband_trans_8x8plus;
159
      break;
160
161
    }
    case TX_16X16: {
Dmitry Kovalev's avatar
Dmitry Kovalev committed
162
163
      const TX_TYPE tx_type = type == PLANE_TYPE_Y_WITH_DC ?
                                  get_tx_type_16x16(xd) : DCT_DCT;
164
165
      above_ec = (A[0] + A[1] + A[2] + A[3]) != 0;
      left_ec = (L[0] + L[1] + L[2] + L[3]) != 0;
166
      seg_eob = 256;
167
      scan = get_scan_16x16(tx_type);
Paul Wilkins's avatar
Paul Wilkins committed
168
      band_translate = vp9_coefband_trans_8x8plus;
169
      break;
170
    }
171
    case TX_32X32:
172
173
      above_ec = (A[0] + A[1] + A[2] + A[3] + A[4] + A[5] + A[6] + A[7]) != 0;
      left_ec = (L[0] + L[1] + L[2] + L[3] + L[4] + L[5] + L[6] + L[7]) != 0;
174
      seg_eob = 1024;
Paul Wilkins's avatar
Paul Wilkins committed
175
      scan = vp9_default_scan_32x32;
Paul Wilkins's avatar
Paul Wilkins committed
176
      band_translate = vp9_coefband_trans_8x8plus;
177
      break;
John Koleszar's avatar
John Koleszar committed
178
179
  }

180
  pt = combine_entropy_contexts(above_ec, left_ec);
181
  nb = vp9_get_coef_neighbors_handle(scan);
Yaowu Xu's avatar
Yaowu Xu committed
182

183
  if (vp9_segfeature_active(&xd->seg, segment_id, SEG_LVL_SKIP))
Paul Wilkins's avatar
Paul Wilkins committed
184
    seg_eob = 0;
John Koleszar's avatar
John Koleszar committed
185

186
  c = 0;
187
  do {
Paul Wilkins's avatar
Paul Wilkins committed
188
    const int band = get_coef_band(band_translate, c);
189
    int token;
190
    int v = 0;
191
192
    rc = scan[c];
    if (c)
193
      pt = get_coef_context(nb, token_cache, c);
194
    if (c < eob) {
195
      v = qcoeff_ptr[rc];
196
197
      assert(-DCT_MAX_VALUE <= v  &&  v < DCT_MAX_VALUE);

198
199
      t->extra = vp9_dct_value_tokens_ptr[v].extra;
      token    = vp9_dct_value_tokens_ptr[v].token;
200
    } else {
201
      token = DCT_EOB_TOKEN;
202
    }
John Koleszar's avatar
John Koleszar committed
203

204
    t->token = token;
205
    t->context_tree = coef_probs[type][ref][band][pt];
206
    t->skip_eob_node = (c > 0) && (token_cache[scan[c - 1]] == 0);
207
208
209
210
211

#if CONFIG_BALANCED_COEFTREE
    assert(token <= ZERO_TOKEN ||
           vp9_coef_encodings[t->token].len - t->skip_eob_node > 0);
#else
212
    assert(vp9_coef_encodings[t->token].len - t->skip_eob_node > 0);
213
#endif
214

215
    if (!dry_run) {
216
      ++counts[type][ref][band][pt][token];
217
218
219
#if CONFIG_BALANCED_COEFTREE
      if (!t->skip_eob_node && token > ZERO_TOKEN)
#else
220
      if (!t->skip_eob_node)
221
#endif
222
        ++cpi->common.counts.eob_branch[tx_size][type][ref][band][pt];
223
    }
224
    token_cache[scan[c]] = vp9_pt_energy_class[token];
225
    ++t;
226
  } while (c < eob && ++c < seg_eob);
227
228

  *tp = t;
229
230
231
232
233
234
  if (xd->mb_to_right_edge < 0 || xd->mb_to_bottom_edge < 0) {
    set_contexts_on_border(xd, bsize, plane, tx_size, c, aoff, loff, A, L);
  } else {
    for (pt = 0; pt < (1 << tx_size); pt++) {
      A[pt] = L[pt] = c > 0;
    }
Yaowu Xu's avatar
Yaowu Xu committed
235
  }
John Koleszar's avatar
John Koleszar committed
236
237
}

238
239
240
241
242
struct is_skippable_args {
  MACROBLOCKD *xd;
  int *skippable;
};
static void is_skippable(int plane, int block,
243
                         BLOCK_SIZE_TYPE bsize, int ss_txfrm_size, void *argv) {
244
245
  struct is_skippable_args *args = argv;
  args->skippable[0] &= (!args->xd->plane[plane].eobs[block]);
Deb Mukherjee's avatar
Deb Mukherjee committed
246
247
}

248
249
250
int vp9_sb_is_skippable(MACROBLOCKD *xd, BLOCK_SIZE_TYPE bsize) {
  int result = 1;
  struct is_skippable_args args = {xd, &result};
251
  foreach_transformed_block(xd, bsize, is_skippable, &args);
252
  return result;
253
254
}

255
256
257
int vp9_sby_is_skippable(MACROBLOCKD *xd, BLOCK_SIZE_TYPE bsize) {
  int result = 1;
  struct is_skippable_args args = {xd, &result};
Dmitry Kovalev's avatar
Dmitry Kovalev committed
258
  foreach_transformed_block_in_plane(xd, bsize, 0, is_skippable, &args);
259
  return result;
260
261
}

262
263
264
int vp9_sbuv_is_skippable(MACROBLOCKD *xd, BLOCK_SIZE_TYPE bsize) {
  int result = 1;
  struct is_skippable_args args = {xd, &result};
265
  foreach_transformed_block_uv(xd, bsize, is_skippable, &args);
266
  return result;
267
268
}

269
270
271
272
273
void vp9_tokenize_sb(VP9_COMP *cpi, TOKENEXTRA **t, int dry_run,
                     BLOCK_SIZE_TYPE bsize) {
  VP9_COMMON *const cm = &cpi->common;
  MACROBLOCKD *const xd = &cpi->mb.e_mbd;
  MB_MODE_INFO *const mbmi = &xd->mode_info_context->mbmi;
274
  TOKENEXTRA *t_backup = *t;
275
  const int mb_skip_context = vp9_get_pred_context_mbskip(xd);
276
277
  const int skip_inc = !vp9_segfeature_active(&xd->seg, mbmi->segment_id,
                                              SEG_LVL_SKIP);
278
  const TX_SIZE txfm_size = mbmi->txfm_size;
279
  struct tokenize_b_args arg = { cpi, xd, t, txfm_size, dry_run };
280

281
  mbmi->mb_skip_coeff = vp9_sb_is_skippable(xd, bsize);
282
283
  if (mbmi->mb_skip_coeff) {
    if (!dry_run)
284
      cm->counts.mbskip[mb_skip_context][1] += skip_inc;
285
    vp9_reset_sb_tokens_context(xd, bsize);
286
287
288
289
290
291
    if (dry_run)
      *t = t_backup;
    return;
  }

  if (!dry_run)
292
    cm->counts.mbskip[mb_skip_context][0] += skip_inc;
293

294
  foreach_transformed_block(xd, bsize, tokenize_b, &arg);
295

296
297
298
299
  if (dry_run)
    *t = t_backup;
}

John Koleszar's avatar
John Koleszar committed
300
#ifdef ENTROPY_STATS
John Koleszar's avatar
John Koleszar committed
301
302
303
void init_context_counters(void) {
  FILE *f = fopen("context.bin", "rb");
  if (!f) {
304
    vp9_zero(context_counters);
John Koleszar's avatar
John Koleszar committed
305
  } else {
306
    fread(context_counters, sizeof(context_counters), 1, f);
John Koleszar's avatar
John Koleszar committed
307
308
309
310
311
    fclose(f);
  }

  f = fopen("treeupdate.bin", "rb");
  if (!f) {
312
    vpx_memset(tree_update_hist, 0, sizeof(tree_update_hist));
John Koleszar's avatar
John Koleszar committed
313
  } else {
314
    fread(tree_update_hist, sizeof(tree_update_hist), 1, f);
John Koleszar's avatar
John Koleszar committed
315
316
    fclose(f);
  }
John Koleszar's avatar
John Koleszar committed
317
318
}

319
320
static void print_counter(FILE *f, vp9_coeff_accum *context_counters,
                          int block_types, const char *header) {
321
  int type, ref, band, pt, t;
John Koleszar's avatar
John Koleszar committed
322

323
  fprintf(f, "static const vp9_coeff_count %s = {\n", header);
John Koleszar's avatar
John Koleszar committed
324

325
#define Comma(X) (X ? "," : "")
John Koleszar's avatar
John Koleszar committed
326
327
  type = 0;
  do {
328
    ref = 0;
John Koleszar's avatar
John Koleszar committed
329
330
    fprintf(f, "%s\n  { /* block Type %d */", Comma(type), type);
    do {
331
332
      fprintf(f, "%s\n    { /* %s */", Comma(type), ref ? "Inter" : "Intra");
      band = 0;
John Koleszar's avatar
John Koleszar committed
333
      do {
334
335
        fprintf(f, "%s\n      { /* Coeff Band %d */", Comma(band), band);
        pt = 0;
John Koleszar's avatar
John Koleszar committed
336
        do {
337
338
339
340
341
342
343
344
345
          fprintf(f, "%s\n        {", Comma(pt));

          t = 0;
          do {
            const int64_t x = context_counters[type][ref][band][pt][t];
            const int y = (int) x;

            assert(x == (int64_t) y);  /* no overflow handling yet */
            fprintf(f, "%s %d", Comma(t), y);
346
          } while (++t < 1 + MAX_ENTROPY_TOKENS);
347
348
349
350
          fprintf(f, "}");
        } while (++pt < PREV_COEF_CONTEXTS);
        fprintf(f, "\n      }");
      } while (++band < COEF_BANDS);
John Koleszar's avatar
John Koleszar committed
351
      fprintf(f, "\n    }");
352
    } while (++ref < REF_TYPES);
John Koleszar's avatar
John Koleszar committed
353
    fprintf(f, "\n  }");
354
  } while (++type < block_types);
Daniel Kang's avatar
Daniel Kang committed
355
  fprintf(f, "\n};\n");
356
}
357

358
359
static void print_probs(FILE *f, vp9_coeff_accum *context_counters,
                        int block_types, const char *header) {
360
  int type, ref, band, pt, t;
Daniel Kang's avatar
Daniel Kang committed
361

362
  fprintf(f, "static const vp9_coeff_probs %s = {", header);
363

John Koleszar's avatar
John Koleszar committed
364
  type = 0;
365
#define Newline(x, spaces) (x ? " " : "\n" spaces)
John Koleszar's avatar
John Koleszar committed
366
  do {
367
368
    fprintf(f, "%s%s{ /* block Type %d */",
            Comma(type), Newline(type, "  "), type);
369
    ref = 0;
John Koleszar's avatar
John Koleszar committed
370
    do {
371
372
373
      fprintf(f, "%s%s{ /* %s */",
              Comma(band), Newline(band, "    "), ref ? "Inter" : "Intra");
      band = 0;
John Koleszar's avatar
John Koleszar committed
374
      do {
375
376
377
        fprintf(f, "%s%s{ /* Coeff Band %d */",
                Comma(band), Newline(band, "      "), band);
        pt = 0;
John Koleszar's avatar
John Koleszar committed
378
        do {
379
          unsigned int branch_ct[ENTROPY_NODES][2];
380
          unsigned int coef_counts[MAX_ENTROPY_TOKENS + 1];
381
382
          vp9_prob coef_probs[ENTROPY_NODES];

383
384
385
          if (pt >= 3 && band == 0)
            break;
          for (t = 0; t < MAX_ENTROPY_TOKENS + 1; ++t)
386
            coef_counts[t] = context_counters[type][ref][band][pt][t];
387
388
          vp9_tree_probs_from_distribution(vp9_coef_tree, coef_probs,
                                           branch_ct, coef_counts, 0);
389
390
          branch_ct[0][1] = coef_counts[MAX_ENTROPY_TOKENS] - branch_ct[0][0];
          coef_probs[0] = get_binary_prob(branch_ct[0][0], branch_ct[0][1]);
391
392
393
394
395
396
397
398
399
400
401
          fprintf(f, "%s\n      {", Comma(pt));

          t = 0;
          do {
            fprintf(f, "%s %3d", Comma(t), coef_probs[t]);
          } while (++t < ENTROPY_NODES);

          fprintf(f, " }");
        } while (++pt < PREV_COEF_CONTEXTS);
        fprintf(f, "\n      }");
      } while (++band < COEF_BANDS);
John Koleszar's avatar
John Koleszar committed
402
      fprintf(f, "\n    }");
403
    } while (++ref < REF_TYPES);
John Koleszar's avatar
John Koleszar committed
404
    fprintf(f, "\n  }");
405
  } while (++type < block_types);
John Koleszar's avatar
John Koleszar committed
406
  fprintf(f, "\n};\n");
407
}
408

409
410
void print_context_counters() {
  FILE *f = fopen("vp9_context.c", "w");
411

412
413
  fprintf(f, "#include \"vp9_entropy.h\"\n");
  fprintf(f, "\n/* *** GENERATED FILE: DO NOT EDIT *** */\n\n");
John Koleszar's avatar
John Koleszar committed
414

415
  /* print counts */
416
  print_counter(f, context_counters[TX_4X4], BLOCK_TYPES,
417
                "vp9_default_coef_counts_4x4[BLOCK_TYPES]");
418
  print_counter(f, context_counters[TX_8X8], BLOCK_TYPES,
419
                "vp9_default_coef_counts_8x8[BLOCK_TYPES]");
420
  print_counter(f, context_counters[TX_16X16], BLOCK_TYPES,
421
                "vp9_default_coef_counts_16x16[BLOCK_TYPES]");
422
  print_counter(f, context_counters[TX_32X32], BLOCK_TYPES,
423
                "vp9_default_coef_counts_32x32[BLOCK_TYPES]");
Daniel Kang's avatar
Daniel Kang committed
424

425
  /* print coefficient probabilities */
426
  print_probs(f, context_counters[TX_4X4], BLOCK_TYPES,
427
              "default_coef_probs_4x4[BLOCK_TYPES]");
428
  print_probs(f, context_counters[TX_8X8], BLOCK_TYPES,
429
              "default_coef_probs_8x8[BLOCK_TYPES]");
430
  print_probs(f, context_counters[TX_16X16], BLOCK_TYPES,
431
              "default_coef_probs_16x16[BLOCK_TYPES]");
432
  print_probs(f, context_counters[TX_32X32], BLOCK_TYPES,
433
              "default_coef_probs_32x32[BLOCK_TYPES]");
Daniel Kang's avatar
Daniel Kang committed
434

John Koleszar's avatar
John Koleszar committed
435
436
437
  fclose(f);

  f = fopen("context.bin", "wb");
438
  fwrite(context_counters, sizeof(context_counters), 1, f);
John Koleszar's avatar
John Koleszar committed
439
  fclose(f);
John Koleszar's avatar
John Koleszar committed
440
441
442
}
#endif

443
void vp9_tokenize_initialize() {
John Koleszar's avatar
John Koleszar committed
444
  fill_value_tokens();
John Koleszar's avatar
John Koleszar committed
445
}