Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright 2015 The WebRTC Project Authors. All rights reserved. |
| 3 | * |
| 4 | * Use of this source code is governed by a BSD-style license |
| 5 | * that can be found in the LICENSE file in the root of the source |
| 6 | * tree. An additional intellectual property rights grant can be found |
| 7 | * in the file PATENTS. All contributing project authors may |
| 8 | * be found in the AUTHORS file in the root of the source tree. |
| 9 | */ |
| 10 | |
Steve Anton | 10542f2 | 2019-01-11 09:11:00 -0800 | [diff] [blame] | 11 | #include "rtc_base/bit_buffer.h" |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 12 | |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 13 | #include <algorithm> |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 14 | #include <limits> |
| 15 | |
Mirko Bonadei | 92ea95e | 2017-09-15 06:47:31 +0200 | [diff] [blame] | 16 | #include "rtc_base/checks.h" |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 17 | |
| 18 | namespace { |
| 19 | |
| 20 | // Returns the lowest (right-most) |bit_count| bits in |byte|. |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 21 | uint8_t LowestBits(uint8_t byte, size_t bit_count) { |
kwiberg | af476c7 | 2016-11-28 15:21:39 -0800 | [diff] [blame] | 22 | RTC_DCHECK_LE(bit_count, 8); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 23 | return byte & ((1 << bit_count) - 1); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 24 | } |
| 25 | |
| 26 | // Returns the highest (left-most) |bit_count| bits in |byte|, shifted to the |
| 27 | // lowest bits (to the right). |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 28 | uint8_t HighestBits(uint8_t byte, size_t bit_count) { |
kwiberg | af476c7 | 2016-11-28 15:21:39 -0800 | [diff] [blame] | 29 | RTC_DCHECK_LE(bit_count, 8); |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 30 | uint8_t shift = 8 - static_cast<uint8_t>(bit_count); |
| 31 | uint8_t mask = 0xFF << shift; |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 32 | return (byte & mask) >> shift; |
| 33 | } |
| 34 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 35 | // Returns the highest byte of |val| in a uint8_t. |
| 36 | uint8_t HighestByte(uint64_t val) { |
| 37 | return static_cast<uint8_t>(val >> 56); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 38 | } |
| 39 | |
| 40 | // Returns the result of writing partial data from |source|, of |
| 41 | // |source_bit_count| size in the highest bits, to |target| at |
| 42 | // |target_bit_offset| from the highest bit. |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 43 | uint8_t WritePartialByte(uint8_t source, |
| 44 | size_t source_bit_count, |
| 45 | uint8_t target, |
| 46 | size_t target_bit_offset) { |
henrikg | 91d6ede | 2015-09-17 00:24:34 -0700 | [diff] [blame] | 47 | RTC_DCHECK(target_bit_offset < 8); |
| 48 | RTC_DCHECK(source_bit_count < 9); |
| 49 | RTC_DCHECK(source_bit_count <= (8 - target_bit_offset)); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 50 | // Generate a mask for just the bits we're going to overwrite, so: |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 51 | uint8_t mask = |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 52 | // The number of bits we want, in the most significant bits... |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 53 | static_cast<uint8_t>(0xFF << (8 - source_bit_count)) |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 54 | // ...shifted over to the target offset from the most signficant bit. |
| 55 | >> target_bit_offset; |
| 56 | |
| 57 | // We want the target, with the bits we'll overwrite masked off, or'ed with |
| 58 | // the bits from the source we want. |
| 59 | return (target & ~mask) | (source >> target_bit_offset); |
| 60 | } |
| 61 | |
| 62 | // Counts the number of bits used in the binary representation of val. |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 63 | size_t CountBits(uint64_t val) { |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 64 | size_t bit_count = 0; |
| 65 | while (val != 0) { |
| 66 | bit_count++; |
| 67 | val >>= 1; |
| 68 | } |
| 69 | return bit_count; |
| 70 | } |
| 71 | |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 72 | } // namespace |
| 73 | |
| 74 | namespace rtc { |
| 75 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 76 | BitBuffer::BitBuffer(const uint8_t* bytes, size_t byte_count) |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 77 | : bytes_(bytes), byte_count_(byte_count), byte_offset_(), bit_offset_() { |
henrikg | 91d6ede | 2015-09-17 00:24:34 -0700 | [diff] [blame] | 78 | RTC_DCHECK(static_cast<uint64_t>(byte_count_) <= |
| 79 | std::numeric_limits<uint32_t>::max()); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 80 | } |
| 81 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 82 | uint64_t BitBuffer::RemainingBitCount() const { |
| 83 | return (static_cast<uint64_t>(byte_count_) - byte_offset_) * 8 - bit_offset_; |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 84 | } |
| 85 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 86 | bool BitBuffer::ReadUInt8(uint8_t* val) { |
| 87 | uint32_t bit_val; |
| 88 | if (!ReadBits(&bit_val, sizeof(uint8_t) * 8)) { |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 89 | return false; |
| 90 | } |
henrikg | 91d6ede | 2015-09-17 00:24:34 -0700 | [diff] [blame] | 91 | RTC_DCHECK(bit_val <= std::numeric_limits<uint8_t>::max()); |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 92 | *val = static_cast<uint8_t>(bit_val); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 93 | return true; |
| 94 | } |
| 95 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 96 | bool BitBuffer::ReadUInt16(uint16_t* val) { |
| 97 | uint32_t bit_val; |
| 98 | if (!ReadBits(&bit_val, sizeof(uint16_t) * 8)) { |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 99 | return false; |
| 100 | } |
henrikg | 91d6ede | 2015-09-17 00:24:34 -0700 | [diff] [blame] | 101 | RTC_DCHECK(bit_val <= std::numeric_limits<uint16_t>::max()); |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 102 | *val = static_cast<uint16_t>(bit_val); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 103 | return true; |
| 104 | } |
| 105 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 106 | bool BitBuffer::ReadUInt32(uint32_t* val) { |
| 107 | return ReadBits(val, sizeof(uint32_t) * 8); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 108 | } |
| 109 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 110 | bool BitBuffer::PeekBits(uint32_t* val, size_t bit_count) { |
Niels Möller | 827cf3c | 2018-09-27 11:02:08 +0200 | [diff] [blame] | 111 | // TODO(nisse): Could allow bit_count == 0 and always return success. But |
| 112 | // current code reads one byte beyond end of buffer in the case that |
| 113 | // RemainingBitCount() == 0 and bit_count == 0. |
| 114 | RTC_DCHECK(bit_count > 0); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 115 | if (!val || bit_count > RemainingBitCount() || bit_count > 32) { |
| 116 | return false; |
| 117 | } |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 118 | const uint8_t* bytes = bytes_ + byte_offset_; |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 119 | size_t remaining_bits_in_current_byte = 8 - bit_offset_; |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 120 | uint32_t bits = LowestBits(*bytes++, remaining_bits_in_current_byte); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 121 | // If we're reading fewer bits than what's left in the current byte, just |
| 122 | // return the portion of this byte that we need. |
| 123 | if (bit_count < remaining_bits_in_current_byte) { |
| 124 | *val = HighestBits(bits, bit_offset_ + bit_count); |
| 125 | return true; |
| 126 | } |
| 127 | // Otherwise, subtract what we've read from the bit count and read as many |
| 128 | // full bytes as we can into bits. |
| 129 | bit_count -= remaining_bits_in_current_byte; |
| 130 | while (bit_count >= 8) { |
| 131 | bits = (bits << 8) | *bytes++; |
| 132 | bit_count -= 8; |
| 133 | } |
| 134 | // Whatever we have left is smaller than a byte, so grab just the bits we need |
| 135 | // and shift them into the lowest bits. |
| 136 | if (bit_count > 0) { |
| 137 | bits <<= bit_count; |
| 138 | bits |= HighestBits(*bytes, bit_count); |
| 139 | } |
| 140 | *val = bits; |
| 141 | return true; |
| 142 | } |
| 143 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 144 | bool BitBuffer::ReadBits(uint32_t* val, size_t bit_count) { |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 145 | return PeekBits(val, bit_count) && ConsumeBits(bit_count); |
| 146 | } |
| 147 | |
| 148 | bool BitBuffer::ConsumeBytes(size_t byte_count) { |
| 149 | return ConsumeBits(byte_count * 8); |
| 150 | } |
| 151 | |
| 152 | bool BitBuffer::ConsumeBits(size_t bit_count) { |
| 153 | if (bit_count > RemainingBitCount()) { |
| 154 | return false; |
| 155 | } |
| 156 | |
| 157 | byte_offset_ += (bit_offset_ + bit_count) / 8; |
| 158 | bit_offset_ = (bit_offset_ + bit_count) % 8; |
| 159 | return true; |
| 160 | } |
| 161 | |
Danil Chapovalov | a2b30d8 | 2019-07-03 14:41:50 +0200 | [diff] [blame] | 162 | bool BitBuffer::ReadNonSymmetric(uint32_t* val, uint32_t num_values) { |
| 163 | RTC_DCHECK_GT(num_values, 0); |
| 164 | RTC_DCHECK_LE(num_values, uint32_t{1} << 31); |
| 165 | size_t count_bits = CountBits(num_values); |
| 166 | uint32_t num_min_bits_values = (uint32_t{1} << count_bits) - num_values; |
| 167 | |
| 168 | if (!ReadBits(val, count_bits - 1)) { |
| 169 | return false; |
| 170 | } |
| 171 | |
| 172 | if (*val < num_min_bits_values) { |
| 173 | return true; |
| 174 | } |
| 175 | |
| 176 | uint32_t extra_bit; |
| 177 | if (!ReadBits(&extra_bit, /*bit_count=*/1)) { |
| 178 | return false; |
| 179 | } |
| 180 | |
| 181 | *val = (*val << 1) + extra_bit - num_min_bits_values; |
| 182 | return true; |
| 183 | } |
| 184 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 185 | bool BitBuffer::ReadExponentialGolomb(uint32_t* val) { |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 186 | if (!val) { |
| 187 | return false; |
| 188 | } |
| 189 | // Store off the current byte/bit offset, in case we want to restore them due |
| 190 | // to a failed parse. |
| 191 | size_t original_byte_offset = byte_offset_; |
| 192 | size_t original_bit_offset = bit_offset_; |
| 193 | |
| 194 | // Count the number of leading 0 bits by peeking/consuming them one at a time. |
| 195 | size_t zero_bit_count = 0; |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 196 | uint32_t peeked_bit; |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 197 | while (PeekBits(&peeked_bit, 1) && peeked_bit == 0) { |
| 198 | zero_bit_count++; |
| 199 | ConsumeBits(1); |
| 200 | } |
| 201 | |
| 202 | // We should either be at the end of the stream, or the next bit should be 1. |
henrikg | 91d6ede | 2015-09-17 00:24:34 -0700 | [diff] [blame] | 203 | RTC_DCHECK(!PeekBits(&peeked_bit, 1) || peeked_bit == 1); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 204 | |
| 205 | // The bit count of the value is the number of zeros + 1. Make sure that many |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 206 | // bits fits in a uint32_t and that we have enough bits left for it, and then |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 207 | // read the value. |
| 208 | size_t value_bit_count = zero_bit_count + 1; |
| 209 | if (value_bit_count > 32 || !ReadBits(val, value_bit_count)) { |
henrikg | 91d6ede | 2015-09-17 00:24:34 -0700 | [diff] [blame] | 210 | RTC_CHECK(Seek(original_byte_offset, original_bit_offset)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 211 | return false; |
| 212 | } |
| 213 | *val -= 1; |
| 214 | return true; |
| 215 | } |
| 216 | |
Peter Boström | 8c266e6 | 2015-09-24 15:06:50 +0200 | [diff] [blame] | 217 | bool BitBuffer::ReadSignedExponentialGolomb(int32_t* val) { |
| 218 | uint32_t unsigned_val; |
| 219 | if (!ReadExponentialGolomb(&unsigned_val)) { |
| 220 | return false; |
| 221 | } |
| 222 | if ((unsigned_val & 1) == 0) { |
| 223 | *val = -static_cast<int32_t>(unsigned_val / 2); |
| 224 | } else { |
| 225 | *val = (unsigned_val + 1) / 2; |
| 226 | } |
| 227 | return true; |
| 228 | } |
| 229 | |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 230 | void BitBuffer::GetCurrentOffset(size_t* out_byte_offset, |
| 231 | size_t* out_bit_offset) { |
deadbeef | 37f5ecf | 2017-02-27 14:06:41 -0800 | [diff] [blame] | 232 | RTC_CHECK(out_byte_offset != nullptr); |
| 233 | RTC_CHECK(out_bit_offset != nullptr); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 234 | *out_byte_offset = byte_offset_; |
| 235 | *out_bit_offset = bit_offset_; |
| 236 | } |
| 237 | |
| 238 | bool BitBuffer::Seek(size_t byte_offset, size_t bit_offset) { |
| 239 | if (byte_offset > byte_count_ || bit_offset > 7 || |
| 240 | (byte_offset == byte_count_ && bit_offset > 0)) { |
| 241 | return false; |
| 242 | } |
| 243 | byte_offset_ = byte_offset; |
| 244 | bit_offset_ = bit_offset; |
| 245 | return true; |
| 246 | } |
| 247 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 248 | BitBufferWriter::BitBufferWriter(uint8_t* bytes, size_t byte_count) |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 249 | : BitBuffer(bytes, byte_count), writable_bytes_(bytes) {} |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 250 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 251 | bool BitBufferWriter::WriteUInt8(uint8_t val) { |
| 252 | return WriteBits(val, sizeof(uint8_t) * 8); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 253 | } |
| 254 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 255 | bool BitBufferWriter::WriteUInt16(uint16_t val) { |
| 256 | return WriteBits(val, sizeof(uint16_t) * 8); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 257 | } |
| 258 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 259 | bool BitBufferWriter::WriteUInt32(uint32_t val) { |
| 260 | return WriteBits(val, sizeof(uint32_t) * 8); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 261 | } |
| 262 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 263 | bool BitBufferWriter::WriteBits(uint64_t val, size_t bit_count) { |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 264 | if (bit_count > RemainingBitCount()) { |
| 265 | return false; |
| 266 | } |
| 267 | size_t total_bits = bit_count; |
| 268 | |
| 269 | // For simplicity, push the bits we want to read from val to the highest bits. |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 270 | val <<= (sizeof(uint64_t) * 8 - bit_count); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 271 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 272 | uint8_t* bytes = writable_bytes_ + byte_offset_; |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 273 | |
| 274 | // The first byte is relatively special; the bit offset to write to may put us |
| 275 | // in the middle of the byte, and the total bit count to write may require we |
| 276 | // save the bits at the end of the byte. |
| 277 | size_t remaining_bits_in_current_byte = 8 - bit_offset_; |
| 278 | size_t bits_in_first_byte = |
| 279 | std::min(bit_count, remaining_bits_in_current_byte); |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 280 | *bytes = WritePartialByte(HighestByte(val), bits_in_first_byte, *bytes, |
| 281 | bit_offset_); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 282 | if (bit_count <= remaining_bits_in_current_byte) { |
| 283 | // Nothing left to write, so quit early. |
| 284 | return ConsumeBits(total_bits); |
| 285 | } |
| 286 | |
| 287 | // Subtract what we've written from the bit count, shift it off the value, and |
| 288 | // write the remaining full bytes. |
| 289 | val <<= bits_in_first_byte; |
| 290 | bytes++; |
| 291 | bit_count -= bits_in_first_byte; |
| 292 | while (bit_count >= 8) { |
| 293 | *bytes++ = HighestByte(val); |
| 294 | val <<= 8; |
| 295 | bit_count -= 8; |
| 296 | } |
| 297 | |
| 298 | // Last byte may also be partial, so write the remaining bits from the top of |
| 299 | // val. |
| 300 | if (bit_count > 0) { |
| 301 | *bytes = WritePartialByte(HighestByte(val), bit_count, *bytes, 0); |
| 302 | } |
| 303 | |
| 304 | // All done! Consume the bits we've written. |
| 305 | return ConsumeBits(total_bits); |
| 306 | } |
| 307 | |
Danil Chapovalov | a2b30d8 | 2019-07-03 14:41:50 +0200 | [diff] [blame] | 308 | bool BitBufferWriter::WriteNonSymmetric(uint32_t val, uint32_t num_values) { |
| 309 | RTC_DCHECK_LT(val, num_values); |
| 310 | RTC_DCHECK_LE(num_values, uint32_t{1} << 31); |
| 311 | size_t count_bits = CountBits(num_values); |
| 312 | uint32_t num_min_bits_values = (uint32_t{1} << count_bits) - num_values; |
| 313 | |
| 314 | return val < num_min_bits_values |
| 315 | ? WriteBits(val, count_bits - 1) |
| 316 | : WriteBits(val + num_min_bits_values, count_bits); |
| 317 | } |
| 318 | |
| 319 | size_t BitBufferWriter::SizeNonSymmetricBits(uint32_t val, |
| 320 | uint32_t num_values) { |
| 321 | RTC_DCHECK_LT(val, num_values); |
| 322 | RTC_DCHECK_LE(num_values, uint32_t{1} << 31); |
| 323 | size_t count_bits = CountBits(num_values); |
| 324 | uint32_t num_min_bits_values = (uint32_t{1} << count_bits) - num_values; |
| 325 | |
| 326 | return val < num_min_bits_values ? (count_bits - 1) : count_bits; |
| 327 | } |
| 328 | |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 329 | bool BitBufferWriter::WriteExponentialGolomb(uint32_t val) { |
| 330 | // We don't support reading UINT32_MAX, because it doesn't fit in a uint32_t |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 331 | // when encoded, so don't support writing it either. |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 332 | if (val == std::numeric_limits<uint32_t>::max()) { |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 333 | return false; |
| 334 | } |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 335 | uint64_t val_to_encode = static_cast<uint64_t>(val) + 1; |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 336 | |
| 337 | // We need to write CountBits(val+1) 0s and then val+1. Since val (as a |
Noah Richards | 9b9f1c4 | 2015-05-12 12:20:47 -0700 | [diff] [blame] | 338 | // uint64_t) has leading zeros, we can just write the total golomb encoded |
| 339 | // size worth of bits, knowing the value will appear last. |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 340 | return WriteBits(val_to_encode, CountBits(val_to_encode) * 2 - 1); |
| 341 | } |
| 342 | |
sprang | 52033d6 | 2016-06-02 02:43:32 -0700 | [diff] [blame] | 343 | bool BitBufferWriter::WriteSignedExponentialGolomb(int32_t val) { |
| 344 | if (val == 0) { |
| 345 | return WriteExponentialGolomb(0); |
| 346 | } else if (val > 0) { |
| 347 | uint32_t signed_val = val; |
| 348 | return WriteExponentialGolomb((signed_val * 2) - 1); |
| 349 | } else { |
| 350 | if (val == std::numeric_limits<int32_t>::min()) |
| 351 | return false; // Not supported, would cause overflow. |
| 352 | uint32_t signed_val = -val; |
| 353 | return WriteExponentialGolomb(signed_val * 2); |
| 354 | } |
| 355 | } |
| 356 | |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 357 | } // namespace rtc |