annotate rangecoder.c @ 2718:158dc437c783 libavcodec

read Huffman tables from Theora header (patch courtesy of Matthieu Castet <castet.matthieu at free.fr>)
author melanson
date Thu, 19 May 2005 23:59:10 +0000
parents e25782262d7d
children 95bac7109ff0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2334
25448d0bc924 range coder
michael
parents:
diff changeset
1 /*
25448d0bc924 range coder
michael
parents:
diff changeset
2 * Range coder
25448d0bc924 range coder
michael
parents:
diff changeset
3 * Copyright (c) 2004 Michael Niedermayer <michaelni@gmx.at>
25448d0bc924 range coder
michael
parents:
diff changeset
4 *
25448d0bc924 range coder
michael
parents:
diff changeset
5 * This library is free software; you can redistribute it and/or
25448d0bc924 range coder
michael
parents:
diff changeset
6 * modify it under the terms of the GNU Lesser General Public
25448d0bc924 range coder
michael
parents:
diff changeset
7 * License as published by the Free Software Foundation; either
25448d0bc924 range coder
michael
parents:
diff changeset
8 * version 2 of the License, or (at your option) any later version.
25448d0bc924 range coder
michael
parents:
diff changeset
9 *
25448d0bc924 range coder
michael
parents:
diff changeset
10 * This library is distributed in the hope that it will be useful,
25448d0bc924 range coder
michael
parents:
diff changeset
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
25448d0bc924 range coder
michael
parents:
diff changeset
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
25448d0bc924 range coder
michael
parents:
diff changeset
13 * Lesser General Public License for more details.
25448d0bc924 range coder
michael
parents:
diff changeset
14 *
25448d0bc924 range coder
michael
parents:
diff changeset
15 * You should have received a copy of the GNU Lesser General Public
25448d0bc924 range coder
michael
parents:
diff changeset
16 * License along with this library; if not, write to the Free Software
25448d0bc924 range coder
michael
parents:
diff changeset
17 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
25448d0bc924 range coder
michael
parents:
diff changeset
18 *
25448d0bc924 range coder
michael
parents:
diff changeset
19 */
25448d0bc924 range coder
michael
parents:
diff changeset
20
25448d0bc924 range coder
michael
parents:
diff changeset
21 /**
25448d0bc924 range coder
michael
parents:
diff changeset
22 * @file rangecoder.c
25448d0bc924 range coder
michael
parents:
diff changeset
23 * Range coder.
25448d0bc924 range coder
michael
parents:
diff changeset
24 * based upon
25448d0bc924 range coder
michael
parents:
diff changeset
25 * "Range encoding: an algorithm for removing redundancy from a digitised
25448d0bc924 range coder
michael
parents:
diff changeset
26 * message.
25448d0bc924 range coder
michael
parents:
diff changeset
27 * G. N. N. Martin Presented in March 1979 to the Video &
25448d0bc924 range coder
michael
parents:
diff changeset
28 * Data Recording Conference,
25448d0bc924 range coder
michael
parents:
diff changeset
29 * IBM UK Scientific Center held in Southampton July 24-27 1979."
25448d0bc924 range coder
michael
parents:
diff changeset
30 *
25448d0bc924 range coder
michael
parents:
diff changeset
31 */
25448d0bc924 range coder
michael
parents:
diff changeset
32
25448d0bc924 range coder
michael
parents:
diff changeset
33 #include <string.h>
25448d0bc924 range coder
michael
parents:
diff changeset
34
25448d0bc924 range coder
michael
parents:
diff changeset
35 #include "avcodec.h"
25448d0bc924 range coder
michael
parents:
diff changeset
36 #include "common.h"
25448d0bc924 range coder
michael
parents:
diff changeset
37 #include "rangecoder.h"
25448d0bc924 range coder
michael
parents:
diff changeset
38
25448d0bc924 range coder
michael
parents:
diff changeset
39
25448d0bc924 range coder
michael
parents:
diff changeset
40 void ff_init_range_encoder(RangeCoder *c, uint8_t *buf, int buf_size){
25448d0bc924 range coder
michael
parents:
diff changeset
41 c->bytestream_start=
25448d0bc924 range coder
michael
parents:
diff changeset
42 c->bytestream= buf;
25448d0bc924 range coder
michael
parents:
diff changeset
43 c->bytestream_end= buf + buf_size;
25448d0bc924 range coder
michael
parents:
diff changeset
44
25448d0bc924 range coder
michael
parents:
diff changeset
45 c->low= 0;
25448d0bc924 range coder
michael
parents:
diff changeset
46 c->range= 0xFF00;
25448d0bc924 range coder
michael
parents:
diff changeset
47 c->outstanding_count= 0;
25448d0bc924 range coder
michael
parents:
diff changeset
48 c->outstanding_byte= -1;
25448d0bc924 range coder
michael
parents:
diff changeset
49 }
25448d0bc924 range coder
michael
parents:
diff changeset
50
25448d0bc924 range coder
michael
parents:
diff changeset
51 void ff_init_range_decoder(RangeCoder *c, const uint8_t *buf, int buf_size){
25448d0bc924 range coder
michael
parents:
diff changeset
52 ff_init_range_encoder(c, buf, buf_size);
25448d0bc924 range coder
michael
parents:
diff changeset
53
25448d0bc924 range coder
michael
parents:
diff changeset
54 c->low =(*c->bytestream++)<<8;
25448d0bc924 range coder
michael
parents:
diff changeset
55 c->low+= *c->bytestream++;
25448d0bc924 range coder
michael
parents:
diff changeset
56 }
25448d0bc924 range coder
michael
parents:
diff changeset
57
25448d0bc924 range coder
michael
parents:
diff changeset
58 void ff_build_rac_states(RangeCoder *c, int factor, int max_p){
25448d0bc924 range coder
michael
parents:
diff changeset
59 const int64_t one= 1LL<<32;
25448d0bc924 range coder
michael
parents:
diff changeset
60 int64_t p;
2522
e25782262d7d kill warnings patch by (Mns Rullgrd <mru inprovide com>)
michael
parents: 2334
diff changeset
61 int last_p8, p8, i;
2334
25448d0bc924 range coder
michael
parents:
diff changeset
62
25448d0bc924 range coder
michael
parents:
diff changeset
63 memset(c->zero_state, 0, sizeof(c->zero_state));
25448d0bc924 range coder
michael
parents:
diff changeset
64 memset(c-> one_state, 0, sizeof(c-> one_state));
25448d0bc924 range coder
michael
parents:
diff changeset
65
25448d0bc924 range coder
michael
parents:
diff changeset
66 #if 0
25448d0bc924 range coder
michael
parents:
diff changeset
67 for(i=1; i<256; i++){
25448d0bc924 range coder
michael
parents:
diff changeset
68 if(c->one_state[i])
25448d0bc924 range coder
michael
parents:
diff changeset
69 continue;
25448d0bc924 range coder
michael
parents:
diff changeset
70
25448d0bc924 range coder
michael
parents:
diff changeset
71 p= (i*one + 128) >> 8;
25448d0bc924 range coder
michael
parents:
diff changeset
72 last_p8= i;
25448d0bc924 range coder
michael
parents:
diff changeset
73 for(;;){
25448d0bc924 range coder
michael
parents:
diff changeset
74 p+= ((one-p)*factor + one/2) >> 32;
25448d0bc924 range coder
michael
parents:
diff changeset
75 p8= (256*p + one/2) >> 32; //FIXME try without the one
25448d0bc924 range coder
michael
parents:
diff changeset
76 if(p8 <= last_p8) p8= last_p8+1;
25448d0bc924 range coder
michael
parents:
diff changeset
77 if(p8 > max_p) p8= max_p;
25448d0bc924 range coder
michael
parents:
diff changeset
78 if(p8 < last_p8)
25448d0bc924 range coder
michael
parents:
diff changeset
79 break;
25448d0bc924 range coder
michael
parents:
diff changeset
80 c->one_state[last_p8]= p8;
25448d0bc924 range coder
michael
parents:
diff changeset
81 if(p8 == last_p8)
25448d0bc924 range coder
michael
parents:
diff changeset
82 break;
25448d0bc924 range coder
michael
parents:
diff changeset
83 last_p8= p8;
25448d0bc924 range coder
michael
parents:
diff changeset
84 }
25448d0bc924 range coder
michael
parents:
diff changeset
85 }
25448d0bc924 range coder
michael
parents:
diff changeset
86 #endif
25448d0bc924 range coder
michael
parents:
diff changeset
87 #if 1
25448d0bc924 range coder
michael
parents:
diff changeset
88 last_p8= 0;
25448d0bc924 range coder
michael
parents:
diff changeset
89 p= one/2;
25448d0bc924 range coder
michael
parents:
diff changeset
90 for(i=0; i<128; i++){
25448d0bc924 range coder
michael
parents:
diff changeset
91 p8= (256*p + one/2) >> 32; //FIXME try without the one
25448d0bc924 range coder
michael
parents:
diff changeset
92 if(p8 <= last_p8) p8= last_p8+1;
25448d0bc924 range coder
michael
parents:
diff changeset
93 if(last_p8 && last_p8<256 && p8<=max_p)
25448d0bc924 range coder
michael
parents:
diff changeset
94 c->one_state[last_p8]= p8;
25448d0bc924 range coder
michael
parents:
diff changeset
95
25448d0bc924 range coder
michael
parents:
diff changeset
96 p+= ((one-p)*factor + one/2) >> 32;
25448d0bc924 range coder
michael
parents:
diff changeset
97 last_p8= p8;
25448d0bc924 range coder
michael
parents:
diff changeset
98 }
25448d0bc924 range coder
michael
parents:
diff changeset
99 #endif
25448d0bc924 range coder
michael
parents:
diff changeset
100 for(i=256-max_p; i<=max_p; i++){
25448d0bc924 range coder
michael
parents:
diff changeset
101 if(c->one_state[i])
25448d0bc924 range coder
michael
parents:
diff changeset
102 continue;
25448d0bc924 range coder
michael
parents:
diff changeset
103
25448d0bc924 range coder
michael
parents:
diff changeset
104 p= (i*one + 128) >> 8;
25448d0bc924 range coder
michael
parents:
diff changeset
105 p+= ((one-p)*factor + one/2) >> 32;
25448d0bc924 range coder
michael
parents:
diff changeset
106 p8= (256*p + one/2) >> 32; //FIXME try without the one
25448d0bc924 range coder
michael
parents:
diff changeset
107 if(p8 <= i) p8= i+1;
25448d0bc924 range coder
michael
parents:
diff changeset
108 if(p8 > max_p) p8= max_p;
25448d0bc924 range coder
michael
parents:
diff changeset
109 c->one_state[ i]= p8;
25448d0bc924 range coder
michael
parents:
diff changeset
110 }
25448d0bc924 range coder
michael
parents:
diff changeset
111
25448d0bc924 range coder
michael
parents:
diff changeset
112 for(i=0; i<256; i++)
25448d0bc924 range coder
michael
parents:
diff changeset
113 c->zero_state[i]= 256-c->one_state[256-i];
25448d0bc924 range coder
michael
parents:
diff changeset
114 #if 0
25448d0bc924 range coder
michael
parents:
diff changeset
115 for(i=0; i<256; i++)
25448d0bc924 range coder
michael
parents:
diff changeset
116 av_log(NULL, AV_LOG_DEBUG, "%3d %3d\n", i, c->one_state[i]);
25448d0bc924 range coder
michael
parents:
diff changeset
117 #endif
25448d0bc924 range coder
michael
parents:
diff changeset
118 }
25448d0bc924 range coder
michael
parents:
diff changeset
119
25448d0bc924 range coder
michael
parents:
diff changeset
120 /**
25448d0bc924 range coder
michael
parents:
diff changeset
121 *
25448d0bc924 range coder
michael
parents:
diff changeset
122 * @return the number of bytes written
25448d0bc924 range coder
michael
parents:
diff changeset
123 */
25448d0bc924 range coder
michael
parents:
diff changeset
124 int ff_rac_terminate(RangeCoder *c){
25448d0bc924 range coder
michael
parents:
diff changeset
125 c->range=0xFF;
25448d0bc924 range coder
michael
parents:
diff changeset
126 c->low +=0xFF;
25448d0bc924 range coder
michael
parents:
diff changeset
127 renorm_encoder(c);
25448d0bc924 range coder
michael
parents:
diff changeset
128 c->range=0xFF;
25448d0bc924 range coder
michael
parents:
diff changeset
129 renorm_encoder(c);
25448d0bc924 range coder
michael
parents:
diff changeset
130
25448d0bc924 range coder
michael
parents:
diff changeset
131 assert(c->low == 0);
25448d0bc924 range coder
michael
parents:
diff changeset
132 assert(c->range >= 0x100);
25448d0bc924 range coder
michael
parents:
diff changeset
133
25448d0bc924 range coder
michael
parents:
diff changeset
134 return c->bytestream - c->bytestream_start;
25448d0bc924 range coder
michael
parents:
diff changeset
135 }
25448d0bc924 range coder
michael
parents:
diff changeset
136
25448d0bc924 range coder
michael
parents:
diff changeset
137 #if 0 //selftest
25448d0bc924 range coder
michael
parents:
diff changeset
138 #define SIZE 10240
25448d0bc924 range coder
michael
parents:
diff changeset
139 int main(){
25448d0bc924 range coder
michael
parents:
diff changeset
140 RangeCoder c;
25448d0bc924 range coder
michael
parents:
diff changeset
141 uint8_t b[9*SIZE];
25448d0bc924 range coder
michael
parents:
diff changeset
142 uint8_t r[9*SIZE];
25448d0bc924 range coder
michael
parents:
diff changeset
143 int i;
25448d0bc924 range coder
michael
parents:
diff changeset
144 uint8_t state[10]= {0};
25448d0bc924 range coder
michael
parents:
diff changeset
145
25448d0bc924 range coder
michael
parents:
diff changeset
146 ff_init_range_encoder(&c, b, SIZE);
25448d0bc924 range coder
michael
parents:
diff changeset
147 ff_build_rac_states(&c, 0.05*(1LL<<32), 128+64+32+16);
25448d0bc924 range coder
michael
parents:
diff changeset
148
25448d0bc924 range coder
michael
parents:
diff changeset
149 memset(state, 128, sizeof(state));
25448d0bc924 range coder
michael
parents:
diff changeset
150
25448d0bc924 range coder
michael
parents:
diff changeset
151 for(i=0; i<SIZE; i++){
25448d0bc924 range coder
michael
parents:
diff changeset
152 r[i]= random()%7;
25448d0bc924 range coder
michael
parents:
diff changeset
153 }
25448d0bc924 range coder
michael
parents:
diff changeset
154
25448d0bc924 range coder
michael
parents:
diff changeset
155
25448d0bc924 range coder
michael
parents:
diff changeset
156 for(i=0; i<SIZE; i++){
25448d0bc924 range coder
michael
parents:
diff changeset
157 START_TIMER
25448d0bc924 range coder
michael
parents:
diff changeset
158 put_rac(&c, state, r[i]&1);
25448d0bc924 range coder
michael
parents:
diff changeset
159 STOP_TIMER("put_rac")
25448d0bc924 range coder
michael
parents:
diff changeset
160 }
25448d0bc924 range coder
michael
parents:
diff changeset
161
25448d0bc924 range coder
michael
parents:
diff changeset
162 ff_put_rac_terminate(&c);
25448d0bc924 range coder
michael
parents:
diff changeset
163
25448d0bc924 range coder
michael
parents:
diff changeset
164 ff_init_range_decoder(&c, b, SIZE);
25448d0bc924 range coder
michael
parents:
diff changeset
165
25448d0bc924 range coder
michael
parents:
diff changeset
166 memset(state, 128, sizeof(state));
25448d0bc924 range coder
michael
parents:
diff changeset
167
25448d0bc924 range coder
michael
parents:
diff changeset
168 for(i=0; i<SIZE; i++){
25448d0bc924 range coder
michael
parents:
diff changeset
169 START_TIMER
25448d0bc924 range coder
michael
parents:
diff changeset
170 if( (r[i]&1) != get_rac(&c, state) )
25448d0bc924 range coder
michael
parents:
diff changeset
171 av_log(NULL, AV_LOG_DEBUG, "rac failure at %d\n", i);
25448d0bc924 range coder
michael
parents:
diff changeset
172 STOP_TIMER("get_rac")
25448d0bc924 range coder
michael
parents:
diff changeset
173 }
25448d0bc924 range coder
michael
parents:
diff changeset
174
25448d0bc924 range coder
michael
parents:
diff changeset
175 return 0;
25448d0bc924 range coder
michael
parents:
diff changeset
176 }
25448d0bc924 range coder
michael
parents:
diff changeset
177
25448d0bc924 range coder
michael
parents:
diff changeset
178 #endif