cabac.c 8.82 KB
Newer Older
Michael Niedermayer's avatar
Michael Niedermayer committed
1 2 3 4
/*
 * H.26L/H.264/AVC/JVT/14496-10/... encoder/decoder
 * Copyright (c) 2003 Michael Niedermayer <michaelni@gmx.at>
 *
5 6 7
 * This file is part of FFmpeg.
 *
 * FFmpeg is free software; you can redistribute it and/or
Michael Niedermayer's avatar
Michael Niedermayer committed
8 9
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
10
 * version 2.1 of the License, or (at your option) any later version.
Michael Niedermayer's avatar
Michael Niedermayer committed
11
 *
12
 * FFmpeg is distributed in the hope that it will be useful,
Michael Niedermayer's avatar
Michael Niedermayer committed
13 14 15 16 17
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
18
 * License along with FFmpeg; if not, write to the Free Software
19
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
Michael Niedermayer's avatar
Michael Niedermayer committed
20 21 22
 */

/**
23
 * @file
Michael Niedermayer's avatar
Michael Niedermayer committed
24 25 26 27 28
 * Context Adaptive Binary Arithmetic Coder.
 */

#include <string.h>

29
#include "libavutil/common.h"
30
#include "get_bits.h"
Michael Niedermayer's avatar
Michael Niedermayer committed
31
#include "cabac.h"
32
#include "cabac_functions.h"
Michael Niedermayer's avatar
Michael Niedermayer committed
33

34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56
uint8_t ff_h264_cabac_tables[512 + 4*2*64 + 4*64 + 63] = {
 9,8,7,7,6,6,6,6,5,5,5,5,5,5,5,5,
 4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,
 3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,
 3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,
 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,
 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,
 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,
 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,
 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
};

57
static const uint8_t lps_range[64][4]= {
Michael Niedermayer's avatar
Michael Niedermayer committed
58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75
{128,176,208,240}, {128,167,197,227}, {128,158,187,216}, {123,150,178,205},
{116,142,169,195}, {111,135,160,185}, {105,128,152,175}, {100,122,144,166},
{ 95,116,137,158}, { 90,110,130,150}, { 85,104,123,142}, { 81, 99,117,135},
{ 77, 94,111,128}, { 73, 89,105,122}, { 69, 85,100,116}, { 66, 80, 95,110},
{ 62, 76, 90,104}, { 59, 72, 86, 99}, { 56, 69, 81, 94}, { 53, 65, 77, 89},
{ 51, 62, 73, 85}, { 48, 59, 69, 80}, { 46, 56, 66, 76}, { 43, 53, 63, 72},
{ 41, 50, 59, 69}, { 39, 48, 56, 65}, { 37, 45, 54, 62}, { 35, 43, 51, 59},
{ 33, 41, 48, 56}, { 32, 39, 46, 53}, { 30, 37, 43, 50}, { 29, 35, 41, 48},
{ 27, 33, 39, 45}, { 26, 31, 37, 43}, { 24, 30, 35, 41}, { 23, 28, 33, 39},
{ 22, 27, 32, 37}, { 21, 26, 30, 35}, { 20, 24, 29, 33}, { 19, 23, 27, 31},
{ 18, 22, 26, 30}, { 17, 21, 25, 28}, { 16, 20, 23, 27}, { 15, 19, 22, 25},
{ 14, 18, 21, 24}, { 14, 17, 20, 23}, { 13, 16, 19, 22}, { 12, 15, 18, 21},
{ 12, 14, 17, 20}, { 11, 14, 16, 19}, { 11, 13, 15, 18}, { 10, 12, 15, 17},
{ 10, 12, 14, 16}, {  9, 11, 13, 15}, {  9, 11, 12, 14}, {  8, 10, 12, 14},
{  8,  9, 11, 13}, {  7,  9, 11, 12}, {  7,  9, 10, 12}, {  7,  8, 10, 11},
{  6,  8,  9, 11}, {  6,  7,  9, 10}, {  6,  7,  8,  9}, {  2,  2,  2,  2},
};

76
static const uint8_t mps_state[64]= {
Michael Niedermayer's avatar
Michael Niedermayer committed
77 78 79 80 81 82 83 84 85 86
  1, 2, 3, 4, 5, 6, 7, 8,
  9,10,11,12,13,14,15,16,
 17,18,19,20,21,22,23,24,
 25,26,27,28,29,30,31,32,
 33,34,35,36,37,38,39,40,
 41,42,43,44,45,46,47,48,
 49,50,51,52,53,54,55,56,
 57,58,59,60,61,62,62,63,
};

87
static const uint8_t lps_state[64]= {
Michael Niedermayer's avatar
Michael Niedermayer committed
88 89 90 91 92 93 94 95 96
  0, 0, 1, 2, 2, 4, 4, 5,
  6, 7, 8, 9, 9,11,11,12,
 13,13,15,15,16,16,18,18,
 19,19,21,21,22,22,23,24,
 24,25,26,26,27,27,28,29,
 29,30,30,30,31,32,32,33,
 33,33,34,34,35,35,35,36,
 36,36,37,37,37,38,38,63,
};
97

98 99 100 101 102
static const uint8_t last_coeff_flag_offset_8x8[63] = {
 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4,
 5, 5, 5, 5, 6, 6, 6, 6, 7, 7, 7, 7, 8, 8, 8
103
};
Michael Niedermayer's avatar
Michael Niedermayer committed
104

Michael Niedermayer's avatar
Michael Niedermayer committed
105 106 107 108 109
/**
 *
 * @param buf_size size of buf in bits
 */
void ff_init_cabac_encoder(CABACContext *c, uint8_t *buf, int buf_size){
110
    init_put_bits(&c->pb, buf, buf_size);
Michael Niedermayer's avatar
Michael Niedermayer committed
111 112 113 114 115 116 117 118 119 120 121

    c->low= 0;
    c->range= 0x1FE;
    c->outstanding_count= 0;
    c->pb.bit_left++; //avoids firstBitFlag
}

/**
 *
 * @param buf_size size of buf in bits
 */
122
void ff_init_cabac_decoder(CABACContext *c, const uint8_t *buf, int buf_size){
123
    c->bytestream_start=
Michael Niedermayer's avatar
Michael Niedermayer committed
124
    c->bytestream= buf;
Michael Niedermayer's avatar
Michael Niedermayer committed
125
    c->bytestream_end= buf + buf_size;
Michael Niedermayer's avatar
Michael Niedermayer committed
126

Michael Niedermayer's avatar
Michael Niedermayer committed
127 128 129 130 131 132 133
#if CABAC_BITS == 16
    c->low =  (*c->bytestream++)<<18;
    c->low+=  (*c->bytestream++)<<10;
#else
    c->low =  (*c->bytestream++)<<10;
#endif
    c->low+= ((*c->bytestream++)<<2) + 2;
134
    c->range= 0x1FE;
Michael Niedermayer's avatar
Michael Niedermayer committed
135 136
}

137 138
void ff_init_cabac_states(void)
{
Michael Niedermayer's avatar
Michael Niedermayer committed
139
    int i, j;
140 141 142 143
    static int initialized = 0;

    if (initialized)
        return;
144

145
    for(i=0; i<64; i++){
Michael Niedermayer's avatar
Michael Niedermayer committed
146
        for(j=0; j<4; j++){ //FIXME check if this is worth the 1 shift we save
147 148
            ff_h264_lps_range[j*2*64+2*i+0]=
            ff_h264_lps_range[j*2*64+2*i+1]= lps_range[i][j];
Michael Niedermayer's avatar
Michael Niedermayer committed
149
        }
150 151
        ff_h264_mlps_state[128 + 2 * i + 0] = 2 * mps_state[i] + 0;
        ff_h264_mlps_state[128 + 2 * i + 1] = 2 * mps_state[i] + 1;
Michael Niedermayer's avatar
Michael Niedermayer committed
152

153
        if( i ){
154 155
            ff_h264_mlps_state[128-2*i-1]= 2*lps_state[i]+0;
            ff_h264_mlps_state[128-2*i-2]= 2*lps_state[i]+1;
156
        }else{
157 158
            ff_h264_mlps_state[128-2*i-1]= 1;
            ff_h264_mlps_state[128-2*i-2]= 0;
Michael Niedermayer's avatar
Michael Niedermayer committed
159 160
        }
    }
161 162 163
    for(i=0; i< 63; i++){
      ff_h264_last_coeff_flag_offset_8x8[i] = last_coeff_flag_offset_8x8[i];
    }
164 165

    initialized = 1;
Michael Niedermayer's avatar
Michael Niedermayer committed
166 167
}

168
#ifdef TEST
Michael Niedermayer's avatar
Michael Niedermayer committed
169
#define SIZE 10240
Michael Niedermayer's avatar
Michael Niedermayer committed
170

171
#include "libavutil/lfg.h"
Michael Niedermayer's avatar
Michael Niedermayer committed
172 173
#include "avcodec.h"

174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198
static inline void put_cabac_bit(CABACContext *c, int b){
    put_bits(&c->pb, 1, b);
    for(;c->outstanding_count; c->outstanding_count--){
        put_bits(&c->pb, 1, 1-b);
    }
}

static inline void renorm_cabac_encoder(CABACContext *c){
    while(c->range < 0x100){
        //FIXME optimize
        if(c->low<0x100){
            put_cabac_bit(c, 0);
        }else if(c->low<0x200){
            c->outstanding_count++;
            c->low -= 0x100;
        }else{
            put_cabac_bit(c, 1);
            c->low -= 0x200;
        }

        c->range+= c->range;
        c->low += c->low;
    }
}

199 200 201 202 203
static void put_cabac(CABACContext *c, uint8_t * const state, int bit){
    int RangeLPS= ff_h264_lps_range[2*(c->range&0xC0) + *state];

    if(bit == ((*state)&1)){
        c->range -= RangeLPS;
204
        *state    = ff_h264_mlps_state[128 + *state];
205 206 207
    }else{
        c->low += c->range - RangeLPS;
        c->range = RangeLPS;
208
        *state= ff_h264_mlps_state[127 - *state];
209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249
    }

    renorm_cabac_encoder(c);
}

/**
 * @param bit 0 -> write zero bit, !=0 write one bit
 */
static void put_cabac_bypass(CABACContext *c, int bit){
    c->low += c->low;

    if(bit){
        c->low += c->range;
    }
//FIXME optimize
    if(c->low<0x200){
        put_cabac_bit(c, 0);
    }else if(c->low<0x400){
        c->outstanding_count++;
        c->low -= 0x200;
    }else{
        put_cabac_bit(c, 1);
        c->low -= 0x400;
    }
}

/**
 *
 * @return the number of bytes written
 */
static int put_cabac_terminate(CABACContext *c, int bit){
    c->range -= 2;

    if(!bit){
        renorm_cabac_encoder(c);
    }else{
        c->low += c->range;
        c->range= 2;

        renorm_cabac_encoder(c);

250
        av_assert0(c->low <= 0x1FF);
251 252 253 254 255 256 257 258 259
        put_cabac_bit(c, c->low>>9);
        put_bits(&c->pb, 2, ((c->low>>7)&3)|1);

        flush_put_bits(&c->pb); //FIXME FIXME FIXME XXX wrong
    }

    return (put_bits_count(&c->pb)+7)>>3;
}

Diego Biurrun's avatar
Diego Biurrun committed
260
int main(void){
Michael Niedermayer's avatar
Michael Niedermayer committed
261 262
    CABACContext c;
    uint8_t b[9*SIZE];
263
    uint8_t r[9*SIZE];
Michael Niedermayer's avatar
Michael Niedermayer committed
264
    int i;
265
    uint8_t state[10]= {0};
266
    AVLFG prng;
267

268
    av_lfg_init(&prng, 1);
Michael Niedermayer's avatar
Michael Niedermayer committed
269
    ff_init_cabac_encoder(&c, b, SIZE);
270
    ff_init_cabac_states();
271

Michael Niedermayer's avatar
Michael Niedermayer committed
272
    for(i=0; i<SIZE; i++){
273 274
        if(2*i<SIZE) r[i] = av_lfg_get(&prng) % 7;
        else         r[i] = (i>>8)&1;
Michael Niedermayer's avatar
Michael Niedermayer committed
275
    }
276

Michael Niedermayer's avatar
Michael Niedermayer committed
277 278
    for(i=0; i<SIZE; i++){
START_TIMER
279
        put_cabac_bypass(&c, r[i]&1);
Michael Niedermayer's avatar
Michael Niedermayer committed
280 281
STOP_TIMER("put_cabac_bypass")
    }
282

Michael Niedermayer's avatar
Michael Niedermayer committed
283 284
    for(i=0; i<SIZE; i++){
START_TIMER
285
        put_cabac(&c, state, r[i]&1);
Michael Niedermayer's avatar
Michael Niedermayer committed
286 287 288 289
STOP_TIMER("put_cabac")
    }

    put_cabac_terminate(&c, 1);
290

Michael Niedermayer's avatar
Michael Niedermayer committed
291
    ff_init_cabac_decoder(&c, b, SIZE);
292

293
    memset(state, 0, sizeof(state));
294

Michael Niedermayer's avatar
Michael Niedermayer committed
295 296
    for(i=0; i<SIZE; i++){
START_TIMER
297
        if( (r[i]&1) != get_cabac_bypass(&c) )
Michael Niedermayer's avatar
Michael Niedermayer committed
298
            av_log(NULL, AV_LOG_ERROR, "CABAC bypass failure at %d\n", i);
Michael Niedermayer's avatar
Michael Niedermayer committed
299 300
STOP_TIMER("get_cabac_bypass")
    }
301

Michael Niedermayer's avatar
Michael Niedermayer committed
302 303
    for(i=0; i<SIZE; i++){
START_TIMER
304
        if( (r[i]&1) != get_cabac_noinline(&c, state) )
Michael Niedermayer's avatar
Michael Niedermayer committed
305
            av_log(NULL, AV_LOG_ERROR, "CABAC failure at %d\n", i);
Michael Niedermayer's avatar
Michael Niedermayer committed
306 307 308
STOP_TIMER("get_cabac")
    }
    if(!get_cabac_terminate(&c))
Michael Niedermayer's avatar
Michael Niedermayer committed
309
        av_log(NULL, AV_LOG_ERROR, "where's the Terminator?\n");
310

Michael Niedermayer's avatar
Michael Niedermayer committed
311 312 313
    return 0;
}

314
#endif /* TEST */