libavcodec/cabac.c
d592f67f
 /*
  * H.26L/H.264/AVC/JVT/14496-10/... encoder/decoder
  * Copyright (c) 2003 Michael Niedermayer <michaelni@gmx.at>
  *
b78e7197
  * This file is part of FFmpeg.
  *
  * FFmpeg is free software; you can redistribute it and/or
d592f67f
  * modify it under the terms of the GNU Lesser General Public
  * License as published by the Free Software Foundation; either
b78e7197
  * version 2.1 of the License, or (at your option) any later version.
d592f67f
  *
b78e7197
  * FFmpeg is distributed in the hope that it will be useful,
d592f67f
  * 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
b78e7197
  * License along with FFmpeg; if not, write to the Free Software
5509bffa
  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
d592f67f
  */
 
 /**
ba87f080
  * @file
d592f67f
  * Context Adaptive Binary Arithmetic Coder.
  */
 
 #include <string.h>
 
245976da
 #include "libavutil/common.h"
9106a698
 #include "get_bits.h"
d592f67f
 #include "cabac.h"
 
0fa352c7
 static const uint8_t lps_range[64][4]= {
d592f67f
 {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},
 };
 
68a205ed
 uint8_t ff_h264_mlps_state[4*64];
a0f2c6ba
 uint8_t ff_h264_lps_range[4*2*64];
d61c4e73
 uint8_t ff_h264_lps_state[2*64];
 uint8_t ff_h264_mps_state[2*64];
0fa352c7
 
d61c4e73
 static const uint8_t mps_state[64]= {
d592f67f
   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,
 };
 
d61c4e73
 static const uint8_t lps_state[64]= {
d592f67f
   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,
 };
f24a5159
 #if 0
 const uint8_t ff_h264_norm_shift_old[128]= {
c010d69a
  7,6,5,5,4,4,4,4,3,3,3,3,3,3,3,3,
260ceb63
  2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,
ec7eb896
  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,
c010d69a
  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,
ec7eb896
 };
f24a5159
 #endif
 const uint8_t ff_h264_norm_shift[512]= {
  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,
 };
ec7eb896
 
d592f67f
 /**
  *
  * @param buf_size size of buf in bits
  */
 void ff_init_cabac_encoder(CABACContext *c, uint8_t *buf, int buf_size){
ed7debda
     init_put_bits(&c->pb, buf, buf_size);
d592f67f
 
     c->low= 0;
     c->range= 0x1FE;
     c->outstanding_count= 0;
 #ifdef STRICT_LIMITS
     c->sym_count =0;
 #endif
115329f1
 
d592f67f
     c->pb.bit_left++; //avoids firstBitFlag
 }
 
 /**
  *
  * @param buf_size size of buf in bits
  */
e96682e6
 void ff_init_cabac_decoder(CABACContext *c, const uint8_t *buf, int buf_size){
115329f1
     c->bytestream_start=
d592f67f
     c->bytestream= buf;
bba83349
     c->bytestream_end= buf + buf_size;
d592f67f
 
ec7eb896
 #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;
f24a5159
     c->range= 0x1FE;
d592f67f
 }
 
d61c4e73
 void ff_init_cabac_states(CABACContext *c){
d592f67f
     int i, j;
115329f1
 
d61c4e73
     for(i=0; i<64; i++){
d592f67f
         for(j=0; j<4; j++){ //FIXME check if this is worth the 1 shift we save
a0f2c6ba
             ff_h264_lps_range[j*2*64+2*i+0]=
             ff_h264_lps_range[j*2*64+2*i+1]= lps_range[i][j];
d592f67f
         }
 
68a205ed
         ff_h264_mlps_state[128+2*i+0]=
d61c4e73
         ff_h264_mps_state[2*i+0]= 2*mps_state[i]+0;
68a205ed
         ff_h264_mlps_state[128+2*i+1]=
d61c4e73
         ff_h264_mps_state[2*i+1]= 2*mps_state[i]+1;
d592f67f
 
e5017ab8
         if( i ){
db93a5a0
             ff_h264_lps_state[2*i+0]=
68a205ed
             ff_h264_mlps_state[128-2*i-1]= 2*lps_state[i]+0;
db93a5a0
             ff_h264_lps_state[2*i+1]=
68a205ed
             ff_h264_mlps_state[128-2*i-2]= 2*lps_state[i]+1;
2e1aee80
         }else{
db93a5a0
             ff_h264_lps_state[2*i+0]=
68a205ed
             ff_h264_mlps_state[128-2*i-1]= 1;
db93a5a0
             ff_h264_lps_state[2*i+1]=
68a205ed
             ff_h264_mlps_state[128-2*i-2]= 0;
d592f67f
         }
     }
 }
 
07e4e3ea
 #ifdef TEST
d592f67f
 #define SIZE 10240
6041c217
 
294eaa26
 #include "libavutil/lfg.h"
6041c217
 #include "avcodec.h"
07ad12ec
 #include "cabac.h"
6041c217
 
f8a80fd6
 int main(void){
d592f67f
     CABACContext c;
     uint8_t b[9*SIZE];
61ccfcc0
     uint8_t r[9*SIZE];
d592f67f
     int i;
61ccfcc0
     uint8_t state[10]= {0};
64bde197
     AVLFG prng;
115329f1
 
64bde197
     av_lfg_init(&prng, 1);
d592f67f
     ff_init_cabac_encoder(&c, b, SIZE);
07ad12ec
     ff_init_cabac_states(&c);
115329f1
 
d592f67f
     for(i=0; i<SIZE; i++){
b2af83a9
         if(2*i<SIZE) r[i] = av_lfg_get(&prng) % 7;
         else         r[i] = (i>>8)&1;
d592f67f
     }
115329f1
 
d592f67f
     for(i=0; i<SIZE; i++){
 START_TIMER
61ccfcc0
         put_cabac_bypass(&c, r[i]&1);
d592f67f
 STOP_TIMER("put_cabac_bypass")
     }
115329f1
 
d592f67f
     for(i=0; i<SIZE; i++){
 START_TIMER
61ccfcc0
         put_cabac(&c, state, r[i]&1);
d592f67f
 STOP_TIMER("put_cabac")
     }
 
f38b2a6b
 #if 0
61ccfcc0
     for(i=0; i<SIZE; i++){
 START_TIMER
         put_cabac_u(&c, state, r[i], 6, 3, i&1);
 STOP_TIMER("put_cabac_u")
115329f1
     }
61ccfcc0
 
     for(i=0; i<SIZE; i++){
 START_TIMER
8f8c0800
         put_cabac_ueg(&c, state, r[i], 3, 0, 1, 2);
61ccfcc0
 STOP_TIMER("put_cabac_ueg")
115329f1
     }
f38b2a6b
 #endif
d592f67f
     put_cabac_terminate(&c, 1);
115329f1
 
d592f67f
     ff_init_cabac_decoder(&c, b, SIZE);
115329f1
 
61ccfcc0
     memset(state, 0, sizeof(state));
115329f1
 
d592f67f
     for(i=0; i<SIZE; i++){
 START_TIMER
61ccfcc0
         if( (r[i]&1) != get_cabac_bypass(&c) )
6041c217
             av_log(NULL, AV_LOG_ERROR, "CABAC bypass failure at %d\n", i);
d592f67f
 STOP_TIMER("get_cabac_bypass")
     }
115329f1
 
d592f67f
     for(i=0; i<SIZE; i++){
 START_TIMER
61ccfcc0
         if( (r[i]&1) != get_cabac(&c, state) )
6041c217
             av_log(NULL, AV_LOG_ERROR, "CABAC failure at %d\n", i);
d592f67f
 STOP_TIMER("get_cabac")
     }
6041c217
 #if 0
61ccfcc0
     for(i=0; i<SIZE; i++){
 START_TIMER
         if( r[i] != get_cabac_u(&c, state, (i&1) ? 6 : 7, 3, i&1) )
6041c217
             av_log(NULL, AV_LOG_ERROR, "CABAC unary (truncated) binarization failure at %d\n", i);
61ccfcc0
 STOP_TIMER("get_cabac_u")
     }
 
     for(i=0; i<SIZE; i++){
 START_TIMER
         if( r[i] != get_cabac_ueg(&c, state, 3, 0, 1, 2))
6041c217
             av_log(NULL, AV_LOG_ERROR, "CABAC unary (truncated) binarization failure at %d\n", i);
61ccfcc0
 STOP_TIMER("get_cabac_ueg")
     }
6041c217
 #endif
d592f67f
     if(!get_cabac_terminate(&c))
6041c217
         av_log(NULL, AV_LOG_ERROR, "where's the Terminator?\n");
115329f1
 
d592f67f
     return 0;
 }
 
07e4e3ea
 #endif /* TEST */