brotli/enc/
command.rs

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    // stores copy_len in low 25 bits and copy_code - copy_len in high 7 bit
14    pub insert_len_: u32,
15    pub copy_len_: u32,
16    //stores distance_extra bits
17    pub dist_extra_: u32,
18    pub cmd_prefix_: u16,
19    // stores distance code in low 10 bits and num extra bits in high 6 bits
20    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        /*(16u64)
169        .wrapping_add(num_direct_codes as u64)
170        .wrapping_add((2u64).wrapping_mul(nbits.wrapping_sub(1)).wrapping_add(prefix) <<
171                      postfix_bits)
172        .wrapping_add(postfix) as u16;*/
173        //*extra_bits = (nbits << 24 | dist.wrapping_sub(offset) >> postfix_bits) as u32;
174    }
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    // returns which distance code to use ( 0 means none, 1 means last, 2 means penultimate, 3 means the prior to penultimate
205    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            //eprint!("AA {:?} {:?} -> {:?}\n",*self, *dist, table[dprefix as usize]);
231            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            //eprint!("BB {:?} {:?} -> {:?}\n",*self, *dist, ret);
236            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        //assert!(ret != 0);
246        (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    // returns which distance code to use ( 0 means none, 1 means last, 2 means penultimate, 3 means the prior to penultimate
323    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(&param), (0, 46));
383        assert_eq!(
384            cmd.distance_index_and_offset(&param),
385            helperCommandDistanceIndexAndOffset(&cmd, &param)
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(&param), (1, -2));
395        assert_eq!(
396            cmd.distance_index_and_offset(&param),
397            helperCommandDistanceIndexAndOffset(&cmd, &param)
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(&param), (0, 12));
407        assert_eq!(
408            cmd.distance_index_and_offset(&param),
409            helperCommandDistanceIndexAndOffset(&cmd, &param)
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(&param), (0, 17574));
419        assert_eq!(
420            cmd.distance_index_and_offset(&param),
421            helperCommandDistanceIndexAndOffset(&cmd, &param)
422        );
423        cmd.init_insert(24);
424        assert_eq!(cmd.distance_index_and_offset(&param), (0, 1));
425    }
426    /*
427    #[test]
428    fn test_restore_distance_code() {
429        for dist_code in 0..50000 {
430            let mut cmd = super::Command::default();
431            let param =super::BrotliDistanceParams{
432                distance_postfix_bits:2,
433                num_direct_distance_codes:16,
434                alphabet_size:224,
435                max_distance:268435456,
436            };
437            super::InitCommand(&mut cmd, &param, 4, 4, 4, dist_code);
438            let exp_dist_code = super::CommandRestoreDistanceCode(&cmd, &param);
439            assert_eq!(exp_dist_code as u32, dist_code as u32);
440        }
441    }*/
442}