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_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
static void set_entropy_context_b(int plane, int block, BLOCK_SIZE_TYPE bsize,
101
                                  TX_SIZE tx_size, void *arg) {
102
  struct tokenize_b_args* const args = arg;
103
  MACROBLOCKD *const xd = args->xd;
104 105 106 107 108 109 110 111
  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];
112
  const int tx_size_in_blocks = 1 << tx_size;
113 114

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

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

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

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

192
  if (vp9_segfeature_active(&cpi->common.seg, segment_id, SEG_LVL_SKIP))
Paul Wilkins's avatar
Paul Wilkins committed
193
    seg_eob = 0;
John Koleszar's avatar
John Koleszar committed
194

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

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

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

217
    assert(vp9_coef_encodings[t->token].len - t->skip_eob_node > 0);
218

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

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

  *tp = t;
228
  if (xd->mb_to_right_edge < 0 || xd->mb_to_bottom_edge < 0) {
229 230
    set_contexts_on_border(xd, bsize, plane, tx_size_in_blocks, c, aoff, loff,
                           A, L);
231
  } else {
232 233
    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
234
  }
John Koleszar's avatar
John Koleszar committed
235 236
}

237 238 239 240
struct is_skippable_args {
  MACROBLOCKD *xd;
  int *skippable;
};
241

242
static void is_skippable(int plane, int block,
243
                         BLOCK_SIZE_TYPE bsize, TX_SIZE tx_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
int vp9_is_skippable_in_plane(MACROBLOCKD *xd, BLOCK_SIZE_TYPE bsize,
                              int plane) {
257 258
  int result = 1;
  struct is_skippable_args args = {xd, &result};
259
  foreach_transformed_block_in_plane(xd, bsize, plane, is_skippable, &args);
260
  return result;
261 262
}

263 264 265 266 267
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;
268
  TOKENEXTRA *t_backup = *t;
269
  const int mb_skip_context = vp9_get_pred_context_mbskip(xd);
270
  const int skip_inc = !vp9_segfeature_active(&cm->seg, mbmi->segment_id,
271
                                              SEG_LVL_SKIP);
272
  struct tokenize_b_args arg = {cpi, xd, t, mbmi->txfm_size};
273

Paul Wilkins's avatar
Paul Wilkins committed
274 275
  mbmi->skip_coeff = vp9_sb_is_skippable(xd, bsize);
  if (mbmi->skip_coeff) {
276
    if (!dry_run)
277
      cm->counts.mbskip[mb_skip_context][1] += skip_inc;
278
    reset_skip_context(xd, bsize);
279 280 281 282 283
    if (dry_run)
      *t = t_backup;
    return;
  }

284
  if (!dry_run) {
285
    cm->counts.mbskip[mb_skip_context][0] += skip_inc;
286 287 288
    foreach_transformed_block(xd, bsize, tokenize_b, &arg);
  } else {
    foreach_transformed_block(xd, bsize, set_entropy_context_b, &arg);
289
    *t = t_backup;
290
  }
291 292
}

John Koleszar's avatar
John Koleszar committed
293
#ifdef ENTROPY_STATS
John Koleszar's avatar
John Koleszar committed
294 295 296
void init_context_counters(void) {
  FILE *f = fopen("context.bin", "rb");
  if (!f) {
297
    vp9_zero(context_counters);
John Koleszar's avatar
John Koleszar committed
298
  } else {
299
    fread(context_counters, sizeof(context_counters), 1, f);
John Koleszar's avatar
John Koleszar committed
300 301 302 303 304
    fclose(f);
  }

  f = fopen("treeupdate.bin", "rb");
  if (!f) {
305
    vpx_memset(tree_update_hist, 0, sizeof(tree_update_hist));
John Koleszar's avatar
John Koleszar committed
306
  } else {
307
    fread(tree_update_hist, sizeof(tree_update_hist), 1, f);
John Koleszar's avatar
John Koleszar committed
308 309
    fclose(f);
  }
John Koleszar's avatar
John Koleszar committed
310 311
}

312 313
static void print_counter(FILE *f, vp9_coeff_accum *context_counters,
                          int block_types, const char *header) {
314
  int type, ref, band, pt, t;
John Koleszar's avatar
John Koleszar committed
315

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

318
#define Comma(X) (X ? "," : "")
John Koleszar's avatar
John Koleszar committed
319 320
  type = 0;
  do {
321
    ref = 0;
John Koleszar's avatar
John Koleszar committed
322 323
    fprintf(f, "%s\n  { /* block Type %d */", Comma(type), type);
    do {
324 325
      fprintf(f, "%s\n    { /* %s */", Comma(type), ref ? "Inter" : "Intra");
      band = 0;
John Koleszar's avatar
John Koleszar committed
326
      do {
327 328
        fprintf(f, "%s\n      { /* Coeff Band %d */", Comma(band), band);
        pt = 0;
John Koleszar's avatar
John Koleszar committed
329
        do {
330 331 332 333 334 335 336 337 338
          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);
339
          } while (++t < 1 + MAX_ENTROPY_TOKENS);
340 341 342 343
          fprintf(f, "}");
        } while (++pt < PREV_COEF_CONTEXTS);
        fprintf(f, "\n      }");
      } while (++band < COEF_BANDS);
John Koleszar's avatar
John Koleszar committed
344
      fprintf(f, "\n    }");
345
    } while (++ref < REF_TYPES);
John Koleszar's avatar
John Koleszar committed
346
    fprintf(f, "\n  }");
347
  } while (++type < block_types);
Daniel Kang's avatar
Daniel Kang committed
348
  fprintf(f, "\n};\n");
349
}
350

351 352
static void print_probs(FILE *f, vp9_coeff_accum *context_counters,
                        int block_types, const char *header) {
353
  int type, ref, band, pt, t;
Daniel Kang's avatar
Daniel Kang committed
354

355
  fprintf(f, "static const vp9_coeff_probs %s = {", header);
356

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

376 377 378
          if (pt >= 3 && band == 0)
            break;
          for (t = 0; t < MAX_ENTROPY_TOKENS + 1; ++t)
379
            coef_counts[t] = context_counters[type][ref][band][pt][t];
380 381
          vp9_tree_probs_from_distribution(vp9_coef_tree, coef_probs,
                                           branch_ct, coef_counts, 0);
382 383
          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]);
384 385 386 387 388 389 390 391 392 393 394
          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
395
      fprintf(f, "\n    }");
396
    } while (++ref < REF_TYPES);
John Koleszar's avatar
John Koleszar committed
397
    fprintf(f, "\n  }");
398
  } while (++type < block_types);
John Koleszar's avatar
John Koleszar committed
399
  fprintf(f, "\n};\n");
400
}
401

402 403
void print_context_counters() {
  FILE *f = fopen("vp9_context.c", "w");
404

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

408
  /* print counts */
409
  print_counter(f, context_counters[TX_4X4], BLOCK_TYPES,
410
                "vp9_default_coef_counts_4x4[BLOCK_TYPES]");
411
  print_counter(f, context_counters[TX_8X8], BLOCK_TYPES,
412
                "vp9_default_coef_counts_8x8[BLOCK_TYPES]");
413
  print_counter(f, context_counters[TX_16X16], BLOCK_TYPES,
414
                "vp9_default_coef_counts_16x16[BLOCK_TYPES]");
415
  print_counter(f, context_counters[TX_32X32], BLOCK_TYPES,
416
                "vp9_default_coef_counts_32x32[BLOCK_TYPES]");
Daniel Kang's avatar
Daniel Kang committed
417

418
  /* print coefficient probabilities */
419
  print_probs(f, context_counters[TX_4X4], BLOCK_TYPES,
420
              "default_coef_probs_4x4[BLOCK_TYPES]");
421
  print_probs(f, context_counters[TX_8X8], BLOCK_TYPES,
422
              "default_coef_probs_8x8[BLOCK_TYPES]");
423
  print_probs(f, context_counters[TX_16X16], BLOCK_TYPES,
424
              "default_coef_probs_16x16[BLOCK_TYPES]");
425
  print_probs(f, context_counters[TX_32X32], BLOCK_TYPES,
426
              "default_coef_probs_32x32[BLOCK_TYPES]");
Daniel Kang's avatar
Daniel Kang committed
427

John Koleszar's avatar
John Koleszar committed
428 429 430
  fclose(f);

  f = fopen("context.bin", "wb");
431
  fwrite(context_counters, sizeof(context_counters), 1, f);
John Koleszar's avatar
John Koleszar committed
432
  fclose(f);
John Koleszar's avatar
John Koleszar committed
433 434 435
}
#endif

436
void vp9_tokenize_initialize() {
John Koleszar's avatar
John Koleszar committed
437
  fill_value_tokens();
John Koleszar's avatar
John Koleszar committed
438
}