1use super::encode::BROTLI_NUM_DISTANCE_SHORT_CODES;
2use super::util::Log2FloorNonZero;
3#[derive(Copy, Clone, Debug)]
4pub struct BrotliDistanceParams {
5 pub distance_postfix_bits: u32,
6 pub num_direct_distance_codes: u32,
7 pub alphabet_size: u32,
8 pub max_distance: usize,
9}
10
11#[derive(Clone, Copy, Debug, Default)]
12pub struct Command {
13 pub insert_len_: u32,
15 pub copy_len_: u32,
16 pub dist_extra_: u32,
18 pub cmd_prefix_: u16,
19 pub dist_prefix_: u16,
21}
22
23impl Command {
24 pub fn copy_len(&self) -> u32 {
25 self.copy_len_ & 0x01ff_ffff
26 }
27
28 pub fn distance_context(&self) -> u32 {
29 let r: u32 = (self.cmd_prefix_ as i32 >> 6) as u32;
30 let c: u32 = (self.cmd_prefix_ as i32 & 7i32) as u32;
31 if (r == 0 || r == 2 || r == 4 || r == 7) && c <= 2 {
32 c
33 } else {
34 3
35 }
36 }
37
38 pub fn init_insert(&mut self, insertlen: usize) {
39 self.insert_len_ = insertlen as u32;
40 self.copy_len_ = (4i32 << 25) as u32;
41 self.dist_extra_ = 0u32;
42 self.dist_prefix_ = (1u16 << 10) | BROTLI_NUM_DISTANCE_SHORT_CODES as u16;
43 get_length_code(insertlen, 4usize, false, &mut self.cmd_prefix_);
44 }
45}
46
47#[inline(always)]
48pub fn ComputeDistanceCode(distance: usize, max_distance: usize, dist_cache: &[i32]) -> usize {
49 if distance <= max_distance {
50 let distance_plus_3: usize = distance.wrapping_add(3);
51 let offset0: usize = distance_plus_3.wrapping_sub(dist_cache[0] as usize);
52 let offset1: usize = distance_plus_3.wrapping_sub(dist_cache[1] as usize);
53 if distance == dist_cache[0] as usize {
54 return 0usize;
55 } else if distance == dist_cache[1] as usize {
56 return 1;
57 } else if offset0 < 7usize {
58 return (0x0975_0468_i32 >> (4usize).wrapping_mul(offset0) & 0xfi32) as usize;
59 } else if offset1 < 7usize {
60 return (0x0fdb_1ace_i32 >> (4usize).wrapping_mul(offset1) & 0xfi32) as usize;
61 } else if distance == dist_cache[2] as usize {
62 return 2usize;
63 } else if distance == dist_cache[3] as usize {
64 return 3usize;
65 }
66 }
67 distance.wrapping_add(16).wrapping_sub(1)
68}
69
70#[inline(always)]
71pub fn GetInsertLengthCode(insertlen: usize) -> u16 {
72 if insertlen < 6usize {
73 insertlen as u16
74 } else if insertlen < 130usize {
75 let nbits: u32 = Log2FloorNonZero(insertlen.wrapping_sub(2) as u64).wrapping_sub(1);
76 ((nbits << 1) as usize)
77 .wrapping_add(insertlen.wrapping_sub(2) >> nbits)
78 .wrapping_add(2) as u16
79 } else if insertlen < 2114usize {
80 Log2FloorNonZero(insertlen.wrapping_sub(66) as u64).wrapping_add(10) as u16
81 } else if insertlen < 6210usize {
82 21u32 as u16
83 } else if insertlen < 22594usize {
84 22u32 as u16
85 } else {
86 23u32 as u16
87 }
88}
89
90#[inline(always)]
91pub fn GetCopyLengthCode(copylen: usize) -> u16 {
92 if copylen < 10usize {
93 copylen.wrapping_sub(2) as u16
94 } else if copylen < 134usize {
95 let nbits: u32 = Log2FloorNonZero(copylen.wrapping_sub(6) as u64).wrapping_sub(1);
96 ((nbits << 1) as usize)
97 .wrapping_add(copylen.wrapping_sub(6) >> nbits)
98 .wrapping_add(4) as u16
99 } else if copylen < 2118usize {
100 Log2FloorNonZero(copylen.wrapping_sub(70) as u64).wrapping_add(12) as u16
101 } else {
102 23u32 as u16
103 }
104}
105
106
107#[inline(always)]
108pub(crate) fn combine_length_codes(inscode: u16, copycode: u16, use_last_distance: bool) -> u16 {
109 let bits64: u16 = (copycode as u32 & 0x7u32 | (inscode as u32 & 0x7u32) << 3) as u16;
110 if use_last_distance && inscode < 8 && copycode < 16 {
111 if (copycode as i32) < 8i32 {
112 bits64
113 } else {
114 let s64: u16 = 64u16;
115 (bits64 as i32 | s64 as i32) as u16
116 }
117 } else {
118 let sub_offset: i32 = 2i32 * ((copycode as i32 >> 3) + 3i32 * (inscode as i32 >> 3));
119 let offset = (sub_offset << 5) + 0x40i32 + (0x520d40i32 >> sub_offset & 0xc0i32);
120 (offset as u16 as i32 | bits64 as i32) as u16
121 }
122}
123
124
125#[inline(always)]
126pub(crate) fn get_length_code(
127 insertlen: usize,
128 copylen: usize,
129 use_last_distance: bool,
130 code: &mut u16,
131) {
132 let inscode: u16 = GetInsertLengthCode(insertlen);
133 let copycode: u16 = GetCopyLengthCode(copylen);
134 *code = combine_length_codes(inscode, copycode, use_last_distance);
135}
136pub fn PrefixEncodeCopyDistance(
137 distance_code: usize,
138 num_direct_codes: usize,
139 postfix_bits: u64,
140 code: &mut u16,
141 extra_bits: &mut u32,
142) {
143 if distance_code < (BROTLI_NUM_DISTANCE_SHORT_CODES as usize).wrapping_add(num_direct_codes) {
144 *code = distance_code as u16;
145 *extra_bits = 0u32;
146 } else {
147 let dist: u64 = (1u64 << postfix_bits.wrapping_add(2u32 as (u64))).wrapping_add(
148 (distance_code as u64)
149 .wrapping_sub(BROTLI_NUM_DISTANCE_SHORT_CODES as u64)
150 .wrapping_sub(num_direct_codes as u64),
151 );
152 let bucket: u64 = Log2FloorNonZero(dist).wrapping_sub(1) as (u64);
153 let postfix_mask: u64 = (1u32 << postfix_bits).wrapping_sub(1) as (u64);
154 let postfix: u64 = dist & postfix_mask;
155 let prefix: u64 = (dist >> bucket) & 1;
156 let offset: u64 = (2u64).wrapping_add(prefix) << bucket;
157 let nbits: u64 = bucket.wrapping_sub(postfix_bits);
158 *code = ((nbits << 10)
159 | ((BROTLI_NUM_DISTANCE_SHORT_CODES as u64)
160 .wrapping_add(num_direct_codes as u64)
161 .wrapping_add(
162 2u64.wrapping_mul(nbits.wrapping_sub(1))
163 .wrapping_add(prefix)
164 << postfix_bits,
165 )
166 .wrapping_add(postfix))) as u16;
167 *extra_bits = (dist.wrapping_sub(offset) >> postfix_bits) as u32;
168 }
175}
176
177impl Command {
178 pub fn restore_distance_code(&self, dist: &BrotliDistanceParams) -> u32 {
179 if (self.dist_prefix_ as i32 & 0x3ff)
180 < BROTLI_NUM_DISTANCE_SHORT_CODES as i32 + dist.num_direct_distance_codes as i32
181 {
182 self.dist_prefix_ as u32 & 0x3ff
183 } else {
184 let dcode = self.dist_prefix_ as u32 & 0x3ff;
185 let nbits: u32 = u32::from(self.dist_prefix_ >> 10);
186 let extra: u32 = self.dist_extra_;
187 let postfix_mask = (1u32 << dist.distance_postfix_bits) - 1;
188 let hcode = dcode
189 .wrapping_sub(dist.num_direct_distance_codes)
190 .wrapping_sub(BROTLI_NUM_DISTANCE_SHORT_CODES)
191 >> dist.distance_postfix_bits;
192 let lcode = dcode
193 .wrapping_sub(dist.num_direct_distance_codes)
194 .wrapping_sub(BROTLI_NUM_DISTANCE_SHORT_CODES)
195 & postfix_mask;
196 let offset = (2u32.wrapping_add((hcode & 1)) << nbits).wrapping_sub(4);
197 (offset.wrapping_add(extra) << dist.distance_postfix_bits)
198 .wrapping_add(lcode)
199 .wrapping_add(dist.num_direct_distance_codes)
200 .wrapping_add(BROTLI_NUM_DISTANCE_SHORT_CODES)
201 }
202 }
203
204 pub fn distance_index_and_offset(&self, dist: &BrotliDistanceParams) -> (usize, isize) {
206 let n_postfix = dist.distance_postfix_bits;
207 let n_direct = dist.num_direct_distance_codes;
208 let dextra = self.dist_extra_;
209 let dprefix = self.dist_prefix_ & 0x3ff;
210 let n_dist_bits = self.dist_prefix_ >> 10;
211 if u32::from(dprefix) < BROTLI_NUM_DISTANCE_SHORT_CODES {
212 let table: [(usize, isize); 16] = [
213 (1, 0),
214 (2, 0),
215 (3, 0),
216 (4, 0),
217 (1, -1),
218 (1, 1),
219 (1, -2),
220 (1, 2),
221 (1, -3),
222 (1, 3),
223 (2, -1),
224 (2, 1),
225 (2, -2),
226 (2, 2),
227 (2, -3),
228 (2, 3),
229 ];
230 return table[dprefix as usize];
232 }
233 if (dprefix as usize) < BROTLI_NUM_DISTANCE_SHORT_CODES as usize + n_direct as usize {
234 let ret = dprefix as isize + 1 - BROTLI_NUM_DISTANCE_SHORT_CODES as isize;
235 return (0, ret);
237 }
238 let postfix_mask = (1 << n_postfix) - 1;
239 let dcode = dprefix as u32 - BROTLI_NUM_DISTANCE_SHORT_CODES - n_direct;
240 let hcode = dcode >> n_postfix;
241 let lcode = dcode & postfix_mask;
242 let offset = ((2 + (hcode & 1)) << n_dist_bits) - 4;
243
244 let ret = (((offset + dextra) << n_postfix) + lcode + n_direct + 1) as isize;
245 (0, ret)
247 }
248}
249
250pub fn RecomputeDistancePrefixes(
251 cmds: &mut [Command],
252 num_commands: usize,
253 num_direct_distance_codes: u32,
254 distance_postfix_bits: u32,
255 dist: &BrotliDistanceParams,
256) {
257 if num_direct_distance_codes == 0u32 && (distance_postfix_bits == 0u32) {
258 return;
259 }
260 for i in 0usize..num_commands {
261 let cmd: &mut Command = &mut cmds[i];
262 if cmd.copy_len() != 0 && cmd.cmd_prefix_ >= 128 {
263 PrefixEncodeCopyDistance(
264 cmd.restore_distance_code(dist) as usize,
265 num_direct_distance_codes as usize,
266 distance_postfix_bits as (u64),
267 &mut cmd.dist_prefix_,
268 &mut cmd.dist_extra_,
269 );
270 }
271 }
272}
273
274impl Command {
275 pub fn init(
276 &mut self,
277 dist: &BrotliDistanceParams,
278 insertlen: usize,
279 copylen: usize,
280 copylen_code: usize,
281 distance_code: usize,
282 ) {
283 self.insert_len_ = insertlen as u32;
284 let copylen_code_delta = (copylen_code as i32 - copylen as i32) as i8;
285 self.copy_len_ = (copylen as u32 | (u32::from(copylen_code_delta as u8) << 25));
286 PrefixEncodeCopyDistance(
287 distance_code,
288 dist.num_direct_distance_codes as usize,
289 u64::from(dist.distance_postfix_bits),
290 &mut self.dist_prefix_,
291 &mut self.dist_extra_,
292 );
293 get_length_code(
294 insertlen,
295 copylen_code,
296 (self.dist_prefix_ & 0x3ff) == 0,
297 &mut self.cmd_prefix_,
298 );
299 }
300
301 pub fn new(
302 dist: &BrotliDistanceParams,
303 insertlen: usize,
304 copylen: usize,
305 copylen_code: usize,
306 distance_code: usize,
307 ) -> Self {
308 let mut cmd = Command {
309 insert_len_: insertlen as u32,
310 copy_len_: (copylen | ((copylen_code ^ copylen) << 25)) as u32,
311 dist_extra_: 0,
312 cmd_prefix_: 0,
313 dist_prefix_: 0,
314 };
315 cmd.init(dist, insertlen, copylen, copylen_code, distance_code);
316 cmd
317 }
318}
319
320#[cfg(test)]
321mod test {
322 pub fn helperCommandDistanceIndexAndOffset(
324 cmd: &super::Command,
325 dist: &super::BrotliDistanceParams,
326 ) -> (usize, isize) {
327 let n_postfix = dist.distance_postfix_bits;
328 let n_direct = dist.num_direct_distance_codes;
329 let dextra = cmd.dist_extra_;
330 let dist_prefix = cmd.dist_prefix_ & 0x3ff;
331 if dist_prefix < 16 {
332 let table: [(usize, isize); 16] = [
333 (1, 0),
334 (2, 0),
335 (3, 0),
336 (4, 0),
337 (1, -1),
338 (1, 1),
339 (1, -2),
340 (1, 2),
341 (1, -3),
342 (1, 3),
343 (2, -1),
344 (2, 1),
345 (2, -2),
346 (2, 2),
347 (2, -3),
348 (2, 3),
349 ];
350 return table[cmd.dist_prefix_ as usize];
351 }
352 if (dist_prefix as usize) < 16 + n_direct as usize {
353 return (0, dist_prefix as isize + 1 - 16);
354 }
355 let postfix_mask = (1 << n_postfix) - 1;
356 let dcode = dist_prefix as u32 - 16 - n_direct;
357 let n_dist_bits = 1 + (dcode >> (n_postfix + 1));
358
359 let hcode = dcode >> n_postfix;
360 let lcode = dcode & postfix_mask;
361 let offset = ((2 + (hcode & 1)) << n_dist_bits) - 4;
362 (
363 0,
364 (((offset + dextra) << n_postfix) + lcode + n_direct + 1) as isize,
365 )
366 }
367 #[test]
368 fn test_command_return_distance_index_offset() {
369 let param = super::BrotliDistanceParams {
370 distance_postfix_bits: 2,
371 num_direct_distance_codes: 16,
372 alphabet_size: 224,
373 max_distance: 268435456,
374 };
375 let mut cmd = super::Command::default();
376 cmd.insert_len_ = 63;
377 cmd.copy_len_ = 3;
378 cmd.dist_extra_ = 3;
379 cmd.cmd_prefix_ = 297;
380 cmd.dist_prefix_ = 2089;
381
382 assert_eq!(cmd.distance_index_and_offset(¶m), (0, 46));
383 assert_eq!(
384 cmd.distance_index_and_offset(¶m),
385 helperCommandDistanceIndexAndOffset(&cmd, ¶m)
386 );
387 cmd = super::Command {
388 insert_len_: 27,
389 copy_len_: 3,
390 dist_extra_: 0,
391 cmd_prefix_: 281,
392 dist_prefix_: 6,
393 };
394 assert_eq!(cmd.distance_index_and_offset(¶m), (1, -2));
395 assert_eq!(
396 cmd.distance_index_and_offset(¶m),
397 helperCommandDistanceIndexAndOffset(&cmd, ¶m)
398 );
399 cmd = super::Command {
400 insert_len_: 1,
401 copy_len_: 3,
402 dist_extra_: 0,
403 cmd_prefix_: 137,
404 dist_prefix_: 27,
405 };
406 assert_eq!(cmd.distance_index_and_offset(¶m), (0, 12));
407 assert_eq!(
408 cmd.distance_index_and_offset(¶m),
409 helperCommandDistanceIndexAndOffset(&cmd, ¶m)
410 );
411 cmd = super::Command {
412 insert_len_: 5,
413 copy_len_: 4,
414 dist_extra_: 297,
415 cmd_prefix_: 170,
416 dist_prefix_: 11377,
417 };
418 assert_eq!(cmd.distance_index_and_offset(¶m), (0, 17574));
419 assert_eq!(
420 cmd.distance_index_and_offset(¶m),
421 helperCommandDistanceIndexAndOffset(&cmd, ¶m)
422 );
423 cmd.init_insert(24);
424 assert_eq!(cmd.distance_index_and_offset(¶m), (0, 1));
425 }
426 }