| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | /* | ||
| 2 | * Range coder | ||
| 3 | * Copyright (c) 2004 Michael Niedermayer <michaelni@gmx.at> | ||
| 4 | * | ||
| 5 | * This file is part of FFmpeg. | ||
| 6 | * | ||
| 7 | * FFmpeg is free software; you can redistribute it and/or | ||
| 8 | * modify it under the terms of the GNU Lesser General Public | ||
| 9 | * License as published by the Free Software Foundation; either | ||
| 10 | * version 2.1 of the License, or (at your option) any later version. | ||
| 11 | * | ||
| 12 | * FFmpeg is distributed in the hope that it will be useful, | ||
| 13 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | ||
| 14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | ||
| 15 | * Lesser General Public License for more details. | ||
| 16 | * | ||
| 17 | * You should have received a copy of the GNU Lesser General Public | ||
| 18 | * License along with FFmpeg; if not, write to the Free Software | ||
| 19 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA | ||
| 20 | */ | ||
| 21 | |||
| 22 | /** | ||
| 23 | * @file | ||
| 24 | * Range coder. | ||
| 25 | * based upon | ||
| 26 | * "Range encoding: an algorithm for removing redundancy from a digitised | ||
| 27 | * message. | ||
| 28 | * G. N. N. Martin Presented in March 1979 to the Video & | ||
| 29 | * Data Recording Conference, | ||
| 30 | * IBM UK Scientific Center held in Southampton July 24-27 1979." | ||
| 31 | */ | ||
| 32 | |||
| 33 | #include <string.h> | ||
| 34 | |||
| 35 | #include "libavutil/attributes.h" | ||
| 36 | #include "libavutil/avassert.h" | ||
| 37 | #include "libavutil/bswap.h" | ||
| 38 | #include "libavutil/intreadwrite.h" | ||
| 39 | |||
| 40 | #include "rangecoder.h" | ||
| 41 | |||
| 42 | 24532 | av_cold void ff_init_range_encoder(RangeCoder *c, uint8_t *buf, int buf_size) | |
| 43 | { | ||
| 44 | 24532 | c->bytestream_start = | |
| 45 | 24532 | c->bytestream = buf; | |
| 46 | 24532 | c->bytestream_end = buf + buf_size; | |
| 47 | 24532 | c->low = 0; | |
| 48 | 24532 | c->range = 0xFF00; | |
| 49 | 24532 | c->outstanding_count = 0; | |
| 50 | 24532 | c->outstanding_byte = -1; | |
| 51 | 24532 | } | |
| 52 | |||
| 53 | 12530 | av_cold void ff_init_range_decoder(RangeCoder *c, const uint8_t *buf, | |
| 54 | int buf_size) | ||
| 55 | { | ||
| 56 | /* cast to avoid compiler warning */ | ||
| 57 | 12530 | ff_init_range_encoder(c, (uint8_t *)buf, buf_size); | |
| 58 | |||
| 59 | 12530 | c->low = AV_RB16(c->bytestream); | |
| 60 | 12530 | c->bytestream += 2; | |
| 61 | 12530 | c->overread = 0; | |
| 62 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 12530 times.
|
12530 | if (c->low >= 0xFF00) { |
| 63 | ✗ | c->low = 0xFF00; | |
| 64 | ✗ | c->bytestream_end = c->bytestream; | |
| 65 | } | ||
| 66 | 12530 | } | |
| 67 | |||
| 68 | 15951 | void ff_build_rac_states(RangeCoder *c, int factor, int max_p) | |
| 69 | { | ||
| 70 | 15951 | const int64_t one = 1LL << 32; | |
| 71 | int64_t p; | ||
| 72 | int last_p8, p8, i; | ||
| 73 | |||
| 74 | 15951 | memset(c->zero_state, 0, sizeof(c->zero_state)); | |
| 75 | 15951 | memset(c->one_state, 0, sizeof(c->one_state)); | |
| 76 | |||
| 77 | 15951 | last_p8 = 0; | |
| 78 | 15951 | p = one / 2; | |
| 79 |
2/2✓ Branch 0 taken 2041728 times.
✓ Branch 1 taken 15951 times.
|
2057679 | for (i = 0; i < 128; i++) { |
| 80 | 2041728 | p8 = (256 * p + one / 2) >> 32; // FIXME: try without the one | |
| 81 |
2/2✓ Branch 0 taken 1387737 times.
✓ Branch 1 taken 653991 times.
|
2041728 | if (p8 <= last_p8) |
| 82 | 1387737 | p8 = last_p8 + 1; | |
| 83 |
6/6✓ Branch 0 taken 2025777 times.
✓ Branch 1 taken 15951 times.
✓ Branch 2 taken 893256 times.
✓ Branch 3 taken 1132521 times.
✓ Branch 4 taken 749264 times.
✓ Branch 5 taken 143992 times.
|
2041728 | if (last_p8 && last_p8 < 256 && p8 <= max_p) |
| 84 | 749264 | c->one_state[last_p8] = p8; | |
| 85 | |||
| 86 | 2041728 | p += ((one - p) * factor + one / 2) >> 32; | |
| 87 | 2041728 | last_p8 = p8; | |
| 88 | } | ||
| 89 | |||
| 90 |
2/2✓ Branch 0 taken 3811423 times.
✓ Branch 1 taken 15951 times.
|
3827374 | for (i = 256 - max_p; i <= max_p; i++) { |
| 91 |
2/2✓ Branch 0 taken 749264 times.
✓ Branch 1 taken 3062159 times.
|
3811423 | if (c->one_state[i]) |
| 92 | 749264 | continue; | |
| 93 | |||
| 94 | 3062159 | p = (i * one + 128) >> 8; | |
| 95 | 3062159 | p += ((one - p) * factor + one / 2) >> 32; | |
| 96 | 3062159 | p8 = (256 * p + one / 2) >> 32; // FIXME: try without the one | |
| 97 |
2/2✓ Branch 0 taken 13903 times.
✓ Branch 1 taken 3048256 times.
|
3062159 | if (p8 <= i) |
| 98 | 13903 | p8 = i + 1; | |
| 99 |
2/2✓ Branch 0 taken 15951 times.
✓ Branch 1 taken 3046208 times.
|
3062159 | if (p8 > max_p) |
| 100 | 15951 | p8 = max_p; | |
| 101 | 3062159 | c->one_state[i] = p8; | |
| 102 | } | ||
| 103 | |||
| 104 |
2/2✓ Branch 0 taken 4051554 times.
✓ Branch 1 taken 15951 times.
|
4067505 | for (i = 1; i < 255; i++) |
| 105 | 4051554 | c->zero_state[i] = 256 - c->one_state[256 - i]; | |
| 106 | 15951 | } | |
| 107 | |||
| 108 | /* Return the number of bytes written. */ | ||
| 109 | 11394 | int ff_rac_terminate(RangeCoder *c, int version) | |
| 110 | { | ||
| 111 |
2/2✓ Branch 0 taken 9369 times.
✓ Branch 1 taken 2025 times.
|
11394 | if (version == 1) |
| 112 | 9369 | put_rac(c, (uint8_t[]) { 129 }, 0); | |
| 113 | 11394 | c->range = 0xFF; | |
| 114 | 11394 | c->low += 0xFF; | |
| 115 | 11394 | renorm_encoder(c); | |
| 116 | 11394 | c->range = 0xFF; | |
| 117 | 11394 | renorm_encoder(c); | |
| 118 | |||
| 119 | av_assert1(c->low == 0); | ||
| 120 | av_assert1(c->range >= 0x100); | ||
| 121 | |||
| 122 | 11394 | return c->bytestream - c->bytestream_start; | |
| 123 | } | ||
| 124 |