vp9_tokenize.c 14 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_SIZES][BLOCK_TYPES];
extern vp9_coeff_stats tree_update_hist[TX_SIZES][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
  const 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
      const 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
struct tokenize_b_args {
  VP9_COMP *cpi;
  MACROBLOCKD *xd;
  TOKENEXTRA **tp;
  TX_SIZE tx_size;
};
99

100 101 102 103 104 105 106 107 108 109 110 111 112
static void set_entropy_context_b(int plane, int block, BLOCK_SIZE_TYPE bsize,
                                  int ss_txfrm_size, void *arg) {
  struct tokenize_b_args* const args = arg;
  TX_SIZE tx_size = ss_txfrm_size >> 1;
  MACROBLOCKD *xd = args->xd;
  const int bwl = b_width_log2(bsize);
  const int off = block >> (2 * tx_size);
  const int mod = bwl - tx_size - xd->plane[plane].subsampling_x;
  const int aoff = (off & ((1 << mod) - 1)) << tx_size;
  const int loff = (off >> mod) << tx_size;
  ENTROPY_CONTEXT *A = xd->plane[plane].above_context + aoff;
  ENTROPY_CONTEXT *L = xd->plane[plane].left_context + loff;
  const int eob = xd->plane[plane].eobs[block];
113
  const int tx_size_in_blocks = 1 << tx_size;
114 115

  if (xd->mb_to_right_edge < 0 || xd->mb_to_bottom_edge < 0) {
116 117
    set_contexts_on_border(xd, bsize, plane, tx_size_in_blocks, eob, aoff, loff,
                           A, L);
118
  } else {
119 120
    vpx_memset(A, eob > 0, sizeof(ENTROPY_CONTEXT) * tx_size_in_blocks);
    vpx_memset(L, eob > 0, sizeof(ENTROPY_CONTEXT) * tx_size_in_blocks);
121 122 123
  }
}

124 125 126 127 128 129
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;
130 131
  const TX_SIZE tx_size = ss_txfrm_size >> 1;
  const int tx_size_in_blocks = 1 << tx_size;
132
  MB_MODE_INFO *mbmi = &xd->mode_info_context->mbmi;
Daniel Kang's avatar
Daniel Kang committed
133
  int pt; /* near block/prev token context index */
134
  int c = 0, rc = 0;
Daniel Kang's avatar
Daniel Kang committed
135
  TOKENEXTRA *t = *tp;        /* store tokens starting here */
136
  const int eob = xd->plane[plane].eobs[block];
137
  const PLANE_TYPE type = xd->plane[plane].plane_type;
138
  const int16_t *qcoeff_ptr = BLOCK_OFFSET(xd->plane[plane].qcoeff, block);
139
  const int bwl = b_width_log2(bsize);
140 141
  const int off = block >> (2 * tx_size);
  const int mod = bwl - tx_size - xd->plane[plane].subsampling_x;
142 143
  const int aoff = (off & ((1 << mod) - 1)) << tx_size;
  const int loff = (off >> mod) << tx_size;
144 145
  ENTROPY_CONTEXT *A = xd->plane[plane].above_context + aoff;
  ENTROPY_CONTEXT *L = xd->plane[plane].left_context + loff;
146
  int seg_eob;
147
  const int segment_id = mbmi->segment_id;
148
  const int16_t *scan, *nb;
149
  vp9_coeff_count *counts;
150
  vp9_coeff_probs_model *coef_probs;
151
  const int ref = is_inter_block(mbmi);
152
  ENTROPY_CONTEXT above_ec, left_ec;
153
  uint8_t token_cache[1024];
Dmitry Kovalev's avatar
Dmitry Kovalev committed
154
  const uint8_t *band_translate;
155
  assert((!type && !plane) || (type && plane));
156

157 158
  counts = cpi->coef_counts[tx_size];
  coef_probs = cpi->common.fc.coef_probs[tx_size];
159 160
  switch (tx_size) {
    default:
161
    case TX_4X4:
162 163
      above_ec = A[0] != 0;
      left_ec = L[0] != 0;
164
      seg_eob = 16;
165
      scan = get_scan_4x4(get_tx_type_4x4(type, xd, block));
Paul Wilkins's avatar
Paul Wilkins committed
166
      band_translate = vp9_coefband_trans_4x4;
167
      break;
168
    case TX_8X8:
169 170
      above_ec = !!*(uint16_t *)A;
      left_ec  = !!*(uint16_t *)L;
171
      seg_eob = 64;
172
      scan = get_scan_8x8(get_tx_type_8x8(type, xd));
Paul Wilkins's avatar
Paul Wilkins committed
173
      band_translate = vp9_coefband_trans_8x8plus;
174
      break;
175
    case TX_16X16:
176 177
      above_ec = !!*(uint32_t *)A;
      left_ec  = !!*(uint32_t *)L;
178
      seg_eob = 256;
179
      scan = get_scan_16x16(get_tx_type_16x16(type, xd));
Paul Wilkins's avatar
Paul Wilkins committed
180
      band_translate = vp9_coefband_trans_8x8plus;
181 182
      break;
    case TX_32X32:
183 184
      above_ec = !!*(uint64_t *)A;
      left_ec  = !!*(uint64_t *)L;
185
      seg_eob = 1024;
Paul Wilkins's avatar
Paul Wilkins committed
186
      scan = vp9_default_scan_32x32;
Paul Wilkins's avatar
Paul Wilkins committed
187
      band_translate = vp9_coefband_trans_8x8plus;
188
      break;
John Koleszar's avatar
John Koleszar committed
189 190
  }

191
  pt = combine_entropy_contexts(above_ec, left_ec);
192
  nb = vp9_get_coef_neighbors_handle(scan);
Yaowu Xu's avatar
Yaowu Xu committed
193

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

197
  c = 0;
198
  do {
Paul Wilkins's avatar
Paul Wilkins committed
199
    const int band = get_coef_band(band_translate, c);
200
    int token;
201
    int v = 0;
202 203
    rc = scan[c];
    if (c)
204
      pt = get_coef_context(nb, token_cache, c);
205
    if (c < eob) {
206
      v = qcoeff_ptr[rc];
207 208
      assert(-DCT_MAX_VALUE <= v  &&  v < DCT_MAX_VALUE);

209 210
      t->extra = vp9_dct_value_tokens_ptr[v].extra;
      token    = vp9_dct_value_tokens_ptr[v].token;
211
    } else {
212
      token = DCT_EOB_TOKEN;
213
    }
John Koleszar's avatar
John Koleszar committed
214

215
    t->token = token;
216
    t->context_tree = coef_probs[type][ref][band][pt];
217
    t->skip_eob_node = (c > 0) && (token_cache[scan[c - 1]] == 0);
218

219
    assert(vp9_coef_encodings[t->token].len - t->skip_eob_node > 0);
220

221 222 223 224
    ++counts[type][ref][band][pt][token];
    if (!t->skip_eob_node)
      ++cpi->common.counts.eob_branch[tx_size][type][ref][band][pt];

225
    token_cache[rc] = vp9_pt_energy_class[token];
226
    ++t;
227
  } while (c < eob && ++c < seg_eob);
228 229

  *tp = t;
230
  if (xd->mb_to_right_edge < 0 || xd->mb_to_bottom_edge < 0) {
231 232
    set_contexts_on_border(xd, bsize, plane, tx_size_in_blocks, c, aoff, loff,
                           A, L);
233
  } else {
234 235
    vpx_memset(A, c > 0, sizeof(ENTROPY_CONTEXT) * tx_size_in_blocks);
    vpx_memset(L, c > 0, sizeof(ENTROPY_CONTEXT) * tx_size_in_blocks);
Yaowu Xu's avatar
Yaowu Xu committed
236
  }
John Koleszar's avatar
John Koleszar committed
237 238
}

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

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

256 257 258
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
259
  foreach_transformed_block_in_plane(xd, bsize, 0, is_skippable, &args);
260
  return result;
261 262
}

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

270 271 272 273 274
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;
275
  TOKENEXTRA *t_backup = *t;
276
  const int mb_skip_context = vp9_get_pred_context_mbskip(xd);
277 278
  const int skip_inc = !vp9_segfeature_active(&xd->seg, mbmi->segment_id,
                                              SEG_LVL_SKIP);
279
  struct tokenize_b_args arg = {cpi, xd, t, mbmi->txfm_size};
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
    reset_skip_context(xd, bsize);
286 287 288 289 290
    if (dry_run)
      *t = t_backup;
    return;
  }

291
  if (!dry_run) {
292
    cm->counts.mbskip[mb_skip_context][0] += skip_inc;
293 294 295
    foreach_transformed_block(xd, bsize, tokenize_b, &arg);
  } else {
    foreach_transformed_block(xd, bsize, set_entropy_context_b, &arg);
296
    *t = t_backup;
297
  }
298 299
}

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
}