annotate cabac.h @ 1287:9211fbd31353 libavcodec

CABAC note, this is just the CABAC (de)coder not complete h264-cabac support
author michaelni
date Wed, 28 May 2003 18:44:52 +0000
parents
children dae280b939ca
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1287
michaelni
parents:
diff changeset
1 /*
michaelni
parents:
diff changeset
2 * H.26L/H.264/AVC/JVT/14496-10/... encoder/decoder
michaelni
parents:
diff changeset
3 * Copyright (c) 2003 Michael Niedermayer <michaelni@gmx.at>
michaelni
parents:
diff changeset
4 *
michaelni
parents:
diff changeset
5 * This library is free software; you can redistribute it and/or
michaelni
parents:
diff changeset
6 * modify it under the terms of the GNU Lesser General Public
michaelni
parents:
diff changeset
7 * License as published by the Free Software Foundation; either
michaelni
parents:
diff changeset
8 * version 2 of the License, or (at your option) any later version.
michaelni
parents:
diff changeset
9 *
michaelni
parents:
diff changeset
10 * This library is distributed in the hope that it will be useful,
michaelni
parents:
diff changeset
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
michaelni
parents:
diff changeset
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
michaelni
parents:
diff changeset
13 * Lesser General Public License for more details.
michaelni
parents:
diff changeset
14 *
michaelni
parents:
diff changeset
15 * You should have received a copy of the GNU Lesser General Public
michaelni
parents:
diff changeset
16 * License along with this library; if not, write to the Free Software
michaelni
parents:
diff changeset
17 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
michaelni
parents:
diff changeset
18 *
michaelni
parents:
diff changeset
19 */
michaelni
parents:
diff changeset
20
michaelni
parents:
diff changeset
21 /**
michaelni
parents:
diff changeset
22 * @file cabac.h
michaelni
parents:
diff changeset
23 * Context Adaptive Binary Arithmetic Coder.
michaelni
parents:
diff changeset
24 */
michaelni
parents:
diff changeset
25
michaelni
parents:
diff changeset
26
michaelni
parents:
diff changeset
27 #undef NDEBUG
michaelni
parents:
diff changeset
28 #include <assert.h>
michaelni
parents:
diff changeset
29
michaelni
parents:
diff changeset
30 typedef struct CABACContext{
michaelni
parents:
diff changeset
31 int low;
michaelni
parents:
diff changeset
32 int range;
michaelni
parents:
diff changeset
33 int outstanding_count;
michaelni
parents:
diff changeset
34 #ifdef STRICT_LIMITS
michaelni
parents:
diff changeset
35 int symCount;
michaelni
parents:
diff changeset
36 #endif
michaelni
parents:
diff changeset
37 uint8_t lps_range[2*64][4]; ///< rangeTabLPS
michaelni
parents:
diff changeset
38 uint8_t lps_state[2*64]; ///< transIdxLPS
michaelni
parents:
diff changeset
39 uint8_t mps_state[2*64]; ///< transIdxMPS
michaelni
parents:
diff changeset
40 uint8_t *bytestream;
michaelni
parents:
diff changeset
41 int bits_left; ///<
michaelni
parents:
diff changeset
42 PutBitContext pb;
michaelni
parents:
diff changeset
43 }CABACContext;
michaelni
parents:
diff changeset
44
michaelni
parents:
diff changeset
45 const uint8_t ff_h264_lps_range[64][4];
michaelni
parents:
diff changeset
46 const uint8_t ff_h264_mps_state[64];
michaelni
parents:
diff changeset
47 const uint8_t ff_h264_lps_state[64];
michaelni
parents:
diff changeset
48
michaelni
parents:
diff changeset
49 void ff_init_cabac_encoder(CABACContext *c, uint8_t *buf, int buf_size);
michaelni
parents:
diff changeset
50 void ff_init_cabac_decoder(CABACContext *c, uint8_t *buf, int buf_size);
michaelni
parents:
diff changeset
51 void ff_init_cabac_states(CABACContext *c, uint8_t const (*lps_range)[4],
michaelni
parents:
diff changeset
52 uint8_t const *mps_state, uint8_t const *lps_state, int state_count);
michaelni
parents:
diff changeset
53
michaelni
parents:
diff changeset
54
michaelni
parents:
diff changeset
55 static inline void put_cabac_bit(CABACContext *c, int b){
michaelni
parents:
diff changeset
56 put_bits(&c->pb, 1, b);
michaelni
parents:
diff changeset
57 for(;c->outstanding_count; c->outstanding_count--){
michaelni
parents:
diff changeset
58 put_bits(&c->pb, 1, 1-b);
michaelni
parents:
diff changeset
59 }
michaelni
parents:
diff changeset
60 }
michaelni
parents:
diff changeset
61
michaelni
parents:
diff changeset
62 static inline void renorm_cabac_encoder(CABACContext *c){
michaelni
parents:
diff changeset
63 while(c->range < 0x100){
michaelni
parents:
diff changeset
64 //FIXME optimize
michaelni
parents:
diff changeset
65 if(c->low<0x100){
michaelni
parents:
diff changeset
66 put_cabac_bit(c, 0);
michaelni
parents:
diff changeset
67 }else if(c->low<0x200){
michaelni
parents:
diff changeset
68 c->outstanding_count++;
michaelni
parents:
diff changeset
69 c->low -= 0x100;
michaelni
parents:
diff changeset
70 }else{
michaelni
parents:
diff changeset
71 put_cabac_bit(c, 1);
michaelni
parents:
diff changeset
72 c->low -= 0x200;
michaelni
parents:
diff changeset
73 }
michaelni
parents:
diff changeset
74
michaelni
parents:
diff changeset
75 c->range+= c->range;
michaelni
parents:
diff changeset
76 c->low += c->low;
michaelni
parents:
diff changeset
77 }
michaelni
parents:
diff changeset
78 }
michaelni
parents:
diff changeset
79
michaelni
parents:
diff changeset
80 static inline void put_cabac(CABACContext *c, uint8_t * const state, int bit){
michaelni
parents:
diff changeset
81 int RangeLPS= c->lps_range[*state][((c->range)>>6)&3];
michaelni
parents:
diff changeset
82
michaelni
parents:
diff changeset
83 if(bit == ((*state)&1)){
michaelni
parents:
diff changeset
84 c->range -= RangeLPS;
michaelni
parents:
diff changeset
85 *state= c->mps_state[*state];
michaelni
parents:
diff changeset
86 }else{
michaelni
parents:
diff changeset
87 c->low += c->range - RangeLPS;
michaelni
parents:
diff changeset
88 c->range = RangeLPS;
michaelni
parents:
diff changeset
89 *state= c->lps_state[*state];
michaelni
parents:
diff changeset
90 }
michaelni
parents:
diff changeset
91
michaelni
parents:
diff changeset
92 renorm_cabac_encoder(c);
michaelni
parents:
diff changeset
93
michaelni
parents:
diff changeset
94 #ifdef STRICT_LIMITS
michaelni
parents:
diff changeset
95 c->symCount++;
michaelni
parents:
diff changeset
96 #endif
michaelni
parents:
diff changeset
97 }
michaelni
parents:
diff changeset
98
michaelni
parents:
diff changeset
99 static inline void put_cabac_static(CABACContext *c, int RangeLPS, int bit){
michaelni
parents:
diff changeset
100 assert(c->range > RangeLPS);
michaelni
parents:
diff changeset
101
michaelni
parents:
diff changeset
102 if(!bit){
michaelni
parents:
diff changeset
103 c->range -= RangeLPS;
michaelni
parents:
diff changeset
104 }else{
michaelni
parents:
diff changeset
105 c->low += c->range - RangeLPS;
michaelni
parents:
diff changeset
106 c->range = RangeLPS;
michaelni
parents:
diff changeset
107 }
michaelni
parents:
diff changeset
108
michaelni
parents:
diff changeset
109 renorm_cabac_encoder(c);
michaelni
parents:
diff changeset
110
michaelni
parents:
diff changeset
111 #ifdef STRICT_LIMITS
michaelni
parents:
diff changeset
112 c->symCount++;
michaelni
parents:
diff changeset
113 #endif
michaelni
parents:
diff changeset
114 }
michaelni
parents:
diff changeset
115
michaelni
parents:
diff changeset
116 static inline void put_cabac_bypass(CABACContext *c, int bit){
michaelni
parents:
diff changeset
117 c->low += c->low;
michaelni
parents:
diff changeset
118
michaelni
parents:
diff changeset
119 if(bit){
michaelni
parents:
diff changeset
120 c->low += c->range;
michaelni
parents:
diff changeset
121 }
michaelni
parents:
diff changeset
122 //FIXME optimize
michaelni
parents:
diff changeset
123 if(c->low<0x200){
michaelni
parents:
diff changeset
124 put_cabac_bit(c, 0);
michaelni
parents:
diff changeset
125 }else if(c->low<0x400){
michaelni
parents:
diff changeset
126 c->outstanding_count++;
michaelni
parents:
diff changeset
127 c->low -= 0x200;
michaelni
parents:
diff changeset
128 }else{
michaelni
parents:
diff changeset
129 put_cabac_bit(c, 1);
michaelni
parents:
diff changeset
130 c->low -= 0x400;
michaelni
parents:
diff changeset
131 }
michaelni
parents:
diff changeset
132
michaelni
parents:
diff changeset
133 #ifdef STRICT_LIMITS
michaelni
parents:
diff changeset
134 c->symCount++;
michaelni
parents:
diff changeset
135 #endif
michaelni
parents:
diff changeset
136 }
michaelni
parents:
diff changeset
137
michaelni
parents:
diff changeset
138 static inline void put_cabac_terminate(CABACContext *c, int bit){
michaelni
parents:
diff changeset
139 c->range -= 2;
michaelni
parents:
diff changeset
140
michaelni
parents:
diff changeset
141 if(!bit){
michaelni
parents:
diff changeset
142 renorm_cabac_encoder(c);
michaelni
parents:
diff changeset
143 }else{
michaelni
parents:
diff changeset
144 c->low += c->range;
michaelni
parents:
diff changeset
145 c->range= 2;
michaelni
parents:
diff changeset
146
michaelni
parents:
diff changeset
147 renorm_cabac_encoder(c);
michaelni
parents:
diff changeset
148
michaelni
parents:
diff changeset
149 assert(c->low <= 0x1FF);
michaelni
parents:
diff changeset
150 put_cabac_bit(c, c->low>>9);
michaelni
parents:
diff changeset
151 put_bits(&c->pb, 2, ((c->low>>7)&3)|1);
michaelni
parents:
diff changeset
152
michaelni
parents:
diff changeset
153 flush_put_bits(&c->pb); //FIXME FIXME FIXME XXX wrong
michaelni
parents:
diff changeset
154 }
michaelni
parents:
diff changeset
155
michaelni
parents:
diff changeset
156 #ifdef STRICT_LIMITS
michaelni
parents:
diff changeset
157 c->symCount++;
michaelni
parents:
diff changeset
158 #endif
michaelni
parents:
diff changeset
159 }
michaelni
parents:
diff changeset
160
michaelni
parents:
diff changeset
161 static inline void renorm_cabac_decoder(CABACContext *c){
michaelni
parents:
diff changeset
162 while(c->range < 0x10000){
michaelni
parents:
diff changeset
163 c->range+= c->range;
michaelni
parents:
diff changeset
164 c->low+= c->low;
michaelni
parents:
diff changeset
165 if(--c->bits_left == 0){
michaelni
parents:
diff changeset
166 c->low+= *c->bytestream++;
michaelni
parents:
diff changeset
167 c->bits_left= 8;
michaelni
parents:
diff changeset
168 }
michaelni
parents:
diff changeset
169 }
michaelni
parents:
diff changeset
170 }
michaelni
parents:
diff changeset
171
michaelni
parents:
diff changeset
172 static inline int get_cabac(CABACContext *c, uint8_t * const state){
michaelni
parents:
diff changeset
173 int RangeLPS= c->lps_range[*state][((c->range)>>14)&3]<<8;
michaelni
parents:
diff changeset
174 int bit;
michaelni
parents:
diff changeset
175
michaelni
parents:
diff changeset
176 c->range -= RangeLPS;
michaelni
parents:
diff changeset
177 if(c->low < c->range){
michaelni
parents:
diff changeset
178 bit= (*state)&1;
michaelni
parents:
diff changeset
179 *state= c->mps_state[*state];
michaelni
parents:
diff changeset
180 }else{
michaelni
parents:
diff changeset
181 bit= ((*state)&1)^1;
michaelni
parents:
diff changeset
182 c->low -= c->range;
michaelni
parents:
diff changeset
183 c->range = RangeLPS;
michaelni
parents:
diff changeset
184 *state= c->lps_state[*state];
michaelni
parents:
diff changeset
185 }
michaelni
parents:
diff changeset
186 renorm_cabac_decoder(c);
michaelni
parents:
diff changeset
187
michaelni
parents:
diff changeset
188 return bit;
michaelni
parents:
diff changeset
189 }
michaelni
parents:
diff changeset
190
michaelni
parents:
diff changeset
191 static inline int get_cabac_static(CABACContext *c, int RangeLPS){
michaelni
parents:
diff changeset
192 int bit;
michaelni
parents:
diff changeset
193
michaelni
parents:
diff changeset
194 c->range -= RangeLPS;
michaelni
parents:
diff changeset
195 if(c->low < c->range){
michaelni
parents:
diff changeset
196 bit= 0;
michaelni
parents:
diff changeset
197 }else{
michaelni
parents:
diff changeset
198 bit= 1;
michaelni
parents:
diff changeset
199 c->low -= c->range;
michaelni
parents:
diff changeset
200 c->range = RangeLPS;
michaelni
parents:
diff changeset
201 }
michaelni
parents:
diff changeset
202 renorm_cabac_decoder(c);
michaelni
parents:
diff changeset
203
michaelni
parents:
diff changeset
204 return bit;
michaelni
parents:
diff changeset
205 }
michaelni
parents:
diff changeset
206
michaelni
parents:
diff changeset
207 static inline int get_cabac_bypass(CABACContext *c){
michaelni
parents:
diff changeset
208 c->low += c->low;
michaelni
parents:
diff changeset
209
michaelni
parents:
diff changeset
210 if(--c->bits_left == 0){
michaelni
parents:
diff changeset
211 c->low+= *c->bytestream++;
michaelni
parents:
diff changeset
212 c->bits_left= 8;
michaelni
parents:
diff changeset
213 }
michaelni
parents:
diff changeset
214
michaelni
parents:
diff changeset
215 if(c->low < c->range){
michaelni
parents:
diff changeset
216 return 0;
michaelni
parents:
diff changeset
217 }else{
michaelni
parents:
diff changeset
218 c->low -= c->range;
michaelni
parents:
diff changeset
219 return 1;
michaelni
parents:
diff changeset
220 }
michaelni
parents:
diff changeset
221 }
michaelni
parents:
diff changeset
222
michaelni
parents:
diff changeset
223 static inline int get_cabac_terminate(CABACContext *c){
michaelni
parents:
diff changeset
224 c->range -= 2<<8;
michaelni
parents:
diff changeset
225 if(c->low < c->range){
michaelni
parents:
diff changeset
226 renorm_cabac_decoder(c);
michaelni
parents:
diff changeset
227 return 0;
michaelni
parents:
diff changeset
228 }else{
michaelni
parents:
diff changeset
229 return 1;
michaelni
parents:
diff changeset
230 }
michaelni
parents:
diff changeset
231 }
michaelni
parents:
diff changeset
232