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" |
Yves Gerey | 3e70781 | 2018-11-28 16:47:49 +0100 | [diff] [blame] | 12 | |
| 13 | #include <limits> |
| 14 | |
Mirko Bonadei | 92ea95e | 2017-09-15 06:47:31 +0200 | [diff] [blame] | 15 | #include "rtc_base/arraysize.h" |
Steve Anton | 10542f2 | 2019-01-11 09:11:00 -0800 | [diff] [blame] | 16 | #include "rtc_base/byte_buffer.h" |
Danil Chapovalov | a2b30d8 | 2019-07-03 14:41:50 +0200 | [diff] [blame] | 17 | #include "test/gmock.h" |
Yves Gerey | 3e70781 | 2018-11-28 16:47:49 +0100 | [diff] [blame] | 18 | #include "test/gtest.h" |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 19 | |
| 20 | namespace rtc { |
| 21 | |
Danil Chapovalov | a2b30d8 | 2019-07-03 14:41:50 +0200 | [diff] [blame] | 22 | using ::testing::ElementsAre; |
| 23 | |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 24 | TEST(BitBufferTest, ConsumeBits) { |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 25 | const uint8_t bytes[64] = {0}; |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 26 | BitBuffer buffer(bytes, 32); |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 27 | uint64_t total_bits = 32 * 8; |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 28 | EXPECT_EQ(total_bits, buffer.RemainingBitCount()); |
| 29 | EXPECT_TRUE(buffer.ConsumeBits(3)); |
| 30 | total_bits -= 3; |
| 31 | EXPECT_EQ(total_bits, buffer.RemainingBitCount()); |
| 32 | EXPECT_TRUE(buffer.ConsumeBits(3)); |
| 33 | total_bits -= 3; |
| 34 | EXPECT_EQ(total_bits, buffer.RemainingBitCount()); |
| 35 | EXPECT_TRUE(buffer.ConsumeBits(15)); |
| 36 | total_bits -= 15; |
| 37 | EXPECT_EQ(total_bits, buffer.RemainingBitCount()); |
| 38 | EXPECT_TRUE(buffer.ConsumeBits(37)); |
| 39 | total_bits -= 37; |
| 40 | EXPECT_EQ(total_bits, buffer.RemainingBitCount()); |
| 41 | |
| 42 | EXPECT_FALSE(buffer.ConsumeBits(32 * 8)); |
| 43 | EXPECT_EQ(total_bits, buffer.RemainingBitCount()); |
| 44 | } |
| 45 | |
| 46 | TEST(BitBufferTest, ReadBytesAligned) { |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 47 | const uint8_t bytes[] = {0x0A, 0xBC, 0xDE, 0xF1, 0x23, 0x45, 0x67, 0x89}; |
| 48 | uint8_t val8; |
| 49 | uint16_t val16; |
| 50 | uint32_t val32; |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 51 | BitBuffer buffer(bytes, 8); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 52 | EXPECT_TRUE(buffer.ReadUInt8(val8)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 53 | EXPECT_EQ(0x0Au, val8); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 54 | EXPECT_TRUE(buffer.ReadUInt8(val8)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 55 | EXPECT_EQ(0xBCu, val8); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 56 | EXPECT_TRUE(buffer.ReadUInt16(val16)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 57 | EXPECT_EQ(0xDEF1u, val16); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 58 | EXPECT_TRUE(buffer.ReadUInt32(val32)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 59 | EXPECT_EQ(0x23456789u, val32); |
| 60 | } |
| 61 | |
| 62 | TEST(BitBufferTest, ReadBytesOffset4) { |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 63 | const uint8_t bytes[] = {0x0A, 0xBC, 0xDE, 0xF1, 0x23, |
| 64 | 0x45, 0x67, 0x89, 0x0A}; |
| 65 | uint8_t val8; |
| 66 | uint16_t val16; |
| 67 | uint32_t val32; |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 68 | BitBuffer buffer(bytes, 9); |
| 69 | EXPECT_TRUE(buffer.ConsumeBits(4)); |
| 70 | |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 71 | EXPECT_TRUE(buffer.ReadUInt8(val8)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 72 | EXPECT_EQ(0xABu, val8); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 73 | EXPECT_TRUE(buffer.ReadUInt8(val8)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 74 | EXPECT_EQ(0xCDu, val8); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 75 | EXPECT_TRUE(buffer.ReadUInt16(val16)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 76 | EXPECT_EQ(0xEF12u, val16); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 77 | EXPECT_TRUE(buffer.ReadUInt32(val32)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 78 | EXPECT_EQ(0x34567890u, val32); |
| 79 | } |
| 80 | |
| 81 | TEST(BitBufferTest, ReadBytesOffset3) { |
| 82 | // The pattern we'll check against is counting down from 0b1111. It looks |
| 83 | // weird here because it's all offset by 3. |
| 84 | // Byte pattern is: |
| 85 | // 56701234 |
| 86 | // 0b00011111, |
| 87 | // 0b11011011, |
| 88 | // 0b10010111, |
| 89 | // 0b01010011, |
| 90 | // 0b00001110, |
| 91 | // 0b11001010, |
| 92 | // 0b10000110, |
| 93 | // 0b01000010 |
| 94 | // xxxxx <-- last 5 bits unused. |
| 95 | |
| 96 | // The bytes. It almost looks like counting down by two at a time, except the |
| 97 | // jump at 5->3->0, since that's when the high bit is turned off. |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 98 | const uint8_t bytes[] = {0x1F, 0xDB, 0x97, 0x53, 0x0E, 0xCA, 0x86, 0x42}; |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 99 | |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 100 | uint8_t val8; |
| 101 | uint16_t val16; |
| 102 | uint32_t val32; |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 103 | BitBuffer buffer(bytes, 8); |
| 104 | EXPECT_TRUE(buffer.ConsumeBits(3)); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 105 | EXPECT_TRUE(buffer.ReadUInt8(val8)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 106 | EXPECT_EQ(0xFEu, val8); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 107 | EXPECT_TRUE(buffer.ReadUInt16(val16)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 108 | EXPECT_EQ(0xDCBAu, val16); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 109 | EXPECT_TRUE(buffer.ReadUInt32(val32)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 110 | EXPECT_EQ(0x98765432u, val32); |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 111 | // 5 bits left unread. Not enough to read a uint8_t. |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 112 | EXPECT_EQ(5u, buffer.RemainingBitCount()); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 113 | EXPECT_FALSE(buffer.ReadUInt8(val8)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 114 | } |
| 115 | |
| 116 | TEST(BitBufferTest, ReadBits) { |
| 117 | // Bit values are: |
| 118 | // 0b01001101, |
| 119 | // 0b00110010 |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 120 | const uint8_t bytes[] = {0x4D, 0x32}; |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 121 | uint32_t val; |
| 122 | BitBuffer buffer(bytes, 2); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 123 | EXPECT_TRUE(buffer.ReadBits(3, val)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 124 | // 0b010 |
| 125 | EXPECT_EQ(0x2u, val); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 126 | EXPECT_TRUE(buffer.ReadBits(2, val)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 127 | // 0b01 |
| 128 | EXPECT_EQ(0x1u, val); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 129 | EXPECT_TRUE(buffer.ReadBits(7, val)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 130 | // 0b1010011 |
| 131 | EXPECT_EQ(0x53u, val); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 132 | EXPECT_TRUE(buffer.ReadBits(2, val)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 133 | // 0b00 |
| 134 | EXPECT_EQ(0x0u, val); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 135 | EXPECT_TRUE(buffer.ReadBits(1, val)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 136 | // 0b1 |
| 137 | EXPECT_EQ(0x1u, val); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 138 | EXPECT_TRUE(buffer.ReadBits(1, val)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 139 | // 0b0 |
| 140 | EXPECT_EQ(0x0u, val); |
| 141 | |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 142 | EXPECT_FALSE(buffer.ReadBits(1, val)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 143 | } |
| 144 | |
Björn Terelius | 3928436 | 2021-05-11 15:30:12 +0200 | [diff] [blame] | 145 | TEST(BitBufferTest, ReadBits64) { |
| 146 | const uint8_t bytes[] = {0x4D, 0x32, 0xAB, 0x54, 0x00, 0xFF, 0xFE, 0x01, |
| 147 | 0xAB, 0xCD, 0xEF, 0x01, 0x23, 0x45, 0x67, 0x89}; |
| 148 | BitBuffer buffer(bytes, 16); |
| 149 | uint64_t val; |
| 150 | |
| 151 | // Peek and read first 33 bits. |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 152 | EXPECT_TRUE(buffer.PeekBits(33, val)); |
Björn Terelius | 3928436 | 2021-05-11 15:30:12 +0200 | [diff] [blame] | 153 | EXPECT_EQ(0x4D32AB5400FFFE01ull >> (64 - 33), val); |
| 154 | val = 0; |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 155 | EXPECT_TRUE(buffer.ReadBits(33, val)); |
Björn Terelius | 3928436 | 2021-05-11 15:30:12 +0200 | [diff] [blame] | 156 | EXPECT_EQ(0x4D32AB5400FFFE01ull >> (64 - 33), val); |
| 157 | |
| 158 | // Peek and read next 31 bits. |
| 159 | constexpr uint64_t kMask31Bits = (1ull << 32) - 1; |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 160 | EXPECT_TRUE(buffer.PeekBits(31, val)); |
Björn Terelius | 3928436 | 2021-05-11 15:30:12 +0200 | [diff] [blame] | 161 | EXPECT_EQ(0x4D32AB5400FFFE01ull & kMask31Bits, val); |
| 162 | val = 0; |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 163 | EXPECT_TRUE(buffer.ReadBits(31, val)); |
Björn Terelius | 3928436 | 2021-05-11 15:30:12 +0200 | [diff] [blame] | 164 | EXPECT_EQ(0x4D32AB5400FFFE01ull & kMask31Bits, val); |
| 165 | |
| 166 | // Peek and read remaining 64 bits. |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 167 | EXPECT_TRUE(buffer.PeekBits(64, val)); |
Björn Terelius | 3928436 | 2021-05-11 15:30:12 +0200 | [diff] [blame] | 168 | EXPECT_EQ(0xABCDEF0123456789ull, val); |
| 169 | val = 0; |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 170 | EXPECT_TRUE(buffer.ReadBits(64, val)); |
Björn Terelius | 3928436 | 2021-05-11 15:30:12 +0200 | [diff] [blame] | 171 | EXPECT_EQ(0xABCDEF0123456789ull, val); |
| 172 | |
| 173 | // Nothing more to read. |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 174 | EXPECT_FALSE(buffer.ReadBits(1, val)); |
Björn Terelius | 3928436 | 2021-05-11 15:30:12 +0200 | [diff] [blame] | 175 | } |
| 176 | |
Tommi | a5e07cc | 2020-05-26 21:40:37 +0200 | [diff] [blame] | 177 | TEST(BitBufferDeathTest, SetOffsetValues) { |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 178 | uint8_t bytes[4] = {0}; |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 179 | BitBufferWriter buffer(bytes, 4); |
| 180 | |
| 181 | size_t byte_offset, bit_offset; |
| 182 | // Bit offsets are [0,7]. |
| 183 | EXPECT_TRUE(buffer.Seek(0, 0)); |
| 184 | EXPECT_TRUE(buffer.Seek(0, 7)); |
| 185 | buffer.GetCurrentOffset(&byte_offset, &bit_offset); |
| 186 | EXPECT_EQ(0u, byte_offset); |
| 187 | EXPECT_EQ(7u, bit_offset); |
| 188 | EXPECT_FALSE(buffer.Seek(0, 8)); |
| 189 | buffer.GetCurrentOffset(&byte_offset, &bit_offset); |
| 190 | EXPECT_EQ(0u, byte_offset); |
| 191 | EXPECT_EQ(7u, bit_offset); |
| 192 | // Byte offsets are [0,length]. At byte offset length, the bit offset must be |
| 193 | // 0. |
| 194 | EXPECT_TRUE(buffer.Seek(0, 0)); |
| 195 | EXPECT_TRUE(buffer.Seek(2, 4)); |
| 196 | buffer.GetCurrentOffset(&byte_offset, &bit_offset); |
| 197 | EXPECT_EQ(2u, byte_offset); |
| 198 | EXPECT_EQ(4u, bit_offset); |
| 199 | EXPECT_TRUE(buffer.Seek(4, 0)); |
| 200 | EXPECT_FALSE(buffer.Seek(5, 0)); |
| 201 | buffer.GetCurrentOffset(&byte_offset, &bit_offset); |
| 202 | EXPECT_EQ(4u, byte_offset); |
| 203 | EXPECT_EQ(0u, bit_offset); |
| 204 | EXPECT_FALSE(buffer.Seek(4, 1)); |
| 205 | |
Yves Gerey | 665174f | 2018-06-19 15:03:05 +0200 | [diff] [blame] | 206 | // Disable death test on Android because it relies on fork() and doesn't play |
| 207 | // nicely. |
kwiberg | 77eab70 | 2016-09-28 17:42:01 -0700 | [diff] [blame] | 208 | #if GTEST_HAS_DEATH_TEST |
Donald E Curtis | 97bce58 | 2015-05-19 13:18:00 -0700 | [diff] [blame] | 209 | #if !defined(WEBRTC_ANDROID) |
deadbeef | 37f5ecf | 2017-02-27 14:06:41 -0800 | [diff] [blame] | 210 | // Passing a null out parameter is death. |
| 211 | EXPECT_DEATH(buffer.GetCurrentOffset(&byte_offset, nullptr), ""); |
Donald E Curtis | 97bce58 | 2015-05-19 13:18:00 -0700 | [diff] [blame] | 212 | #endif |
Zeke Chin | 2d3b7e2 | 2015-07-14 12:55:44 -0700 | [diff] [blame] | 213 | #endif |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 214 | } |
| 215 | |
Danil Chapovalov | a2b30d8 | 2019-07-03 14:41:50 +0200 | [diff] [blame] | 216 | TEST(BitBufferTest, ReadNonSymmetricSameNumberOfBitsWhenNumValuesPowerOf2) { |
| 217 | const uint8_t bytes[2] = {0xf3, 0xa0}; |
| 218 | BitBuffer reader(bytes, 2); |
| 219 | |
| 220 | uint32_t values[4]; |
| 221 | ASSERT_EQ(reader.RemainingBitCount(), 16u); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 222 | EXPECT_TRUE(reader.ReadNonSymmetric(/*num_values=*/1 << 4, values[0])); |
| 223 | EXPECT_TRUE(reader.ReadNonSymmetric(/*num_values=*/1 << 4, values[1])); |
| 224 | EXPECT_TRUE(reader.ReadNonSymmetric(/*num_values=*/1 << 4, values[2])); |
| 225 | EXPECT_TRUE(reader.ReadNonSymmetric(/*num_values=*/1 << 4, values[3])); |
Danil Chapovalov | a2b30d8 | 2019-07-03 14:41:50 +0200 | [diff] [blame] | 226 | ASSERT_EQ(reader.RemainingBitCount(), 0u); |
| 227 | |
| 228 | EXPECT_THAT(values, ElementsAre(0xf, 0x3, 0xa, 0x0)); |
| 229 | } |
| 230 | |
| 231 | TEST(BitBufferWriterTest, |
| 232 | WriteNonSymmetricSameNumberOfBitsWhenNumValuesPowerOf2) { |
| 233 | uint8_t bytes[2] = {}; |
| 234 | BitBufferWriter writer(bytes, 2); |
| 235 | |
| 236 | ASSERT_EQ(writer.RemainingBitCount(), 16u); |
| 237 | EXPECT_TRUE(writer.WriteNonSymmetric(0xf, /*num_values=*/1 << 4)); |
| 238 | ASSERT_EQ(writer.RemainingBitCount(), 12u); |
| 239 | EXPECT_TRUE(writer.WriteNonSymmetric(0x3, /*num_values=*/1 << 4)); |
| 240 | ASSERT_EQ(writer.RemainingBitCount(), 8u); |
| 241 | EXPECT_TRUE(writer.WriteNonSymmetric(0xa, /*num_values=*/1 << 4)); |
| 242 | ASSERT_EQ(writer.RemainingBitCount(), 4u); |
| 243 | EXPECT_TRUE(writer.WriteNonSymmetric(0x0, /*num_values=*/1 << 4)); |
| 244 | ASSERT_EQ(writer.RemainingBitCount(), 0u); |
| 245 | |
| 246 | EXPECT_THAT(bytes, ElementsAre(0xf3, 0xa0)); |
| 247 | } |
| 248 | |
| 249 | TEST(BitBufferWriterTest, NonSymmetricReadsMatchesWrites) { |
| 250 | uint8_t bytes[2] = {}; |
| 251 | BitBufferWriter writer(bytes, 2); |
| 252 | |
| 253 | EXPECT_EQ(BitBufferWriter::SizeNonSymmetricBits(/*val=*/1, /*num_values=*/6), |
| 254 | 2u); |
| 255 | EXPECT_EQ(BitBufferWriter::SizeNonSymmetricBits(/*val=*/2, /*num_values=*/6), |
| 256 | 3u); |
| 257 | // Values [0, 1] can fit into two bit. |
| 258 | ASSERT_EQ(writer.RemainingBitCount(), 16u); |
| 259 | EXPECT_TRUE(writer.WriteNonSymmetric(/*val=*/0, /*num_values=*/6)); |
| 260 | ASSERT_EQ(writer.RemainingBitCount(), 14u); |
| 261 | EXPECT_TRUE(writer.WriteNonSymmetric(/*val=*/1, /*num_values=*/6)); |
| 262 | ASSERT_EQ(writer.RemainingBitCount(), 12u); |
| 263 | // Values [2, 5] require 3 bits. |
| 264 | EXPECT_TRUE(writer.WriteNonSymmetric(/*val=*/2, /*num_values=*/6)); |
| 265 | ASSERT_EQ(writer.RemainingBitCount(), 9u); |
| 266 | EXPECT_TRUE(writer.WriteNonSymmetric(/*val=*/3, /*num_values=*/6)); |
| 267 | ASSERT_EQ(writer.RemainingBitCount(), 6u); |
| 268 | EXPECT_TRUE(writer.WriteNonSymmetric(/*val=*/4, /*num_values=*/6)); |
| 269 | ASSERT_EQ(writer.RemainingBitCount(), 3u); |
| 270 | EXPECT_TRUE(writer.WriteNonSymmetric(/*val=*/5, /*num_values=*/6)); |
| 271 | ASSERT_EQ(writer.RemainingBitCount(), 0u); |
| 272 | |
| 273 | // Bit values are |
| 274 | // 00.01.100.101.110.111 = 00011001|01110111 = 0x19|77 |
| 275 | EXPECT_THAT(bytes, ElementsAre(0x19, 0x77)); |
| 276 | |
| 277 | rtc::BitBuffer reader(bytes, 2); |
| 278 | uint32_t values[6]; |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 279 | EXPECT_TRUE(reader.ReadNonSymmetric(/*num_values=*/6, values[0])); |
| 280 | EXPECT_TRUE(reader.ReadNonSymmetric(/*num_values=*/6, values[1])); |
| 281 | EXPECT_TRUE(reader.ReadNonSymmetric(/*num_values=*/6, values[2])); |
| 282 | EXPECT_TRUE(reader.ReadNonSymmetric(/*num_values=*/6, values[3])); |
| 283 | EXPECT_TRUE(reader.ReadNonSymmetric(/*num_values=*/6, values[4])); |
| 284 | EXPECT_TRUE(reader.ReadNonSymmetric(/*num_values=*/6, values[5])); |
Danil Chapovalov | a2b30d8 | 2019-07-03 14:41:50 +0200 | [diff] [blame] | 285 | |
| 286 | EXPECT_THAT(values, ElementsAre(0, 1, 2, 3, 4, 5)); |
| 287 | } |
| 288 | |
Danil Chapovalov | a9e1b49 | 2020-07-08 11:24:19 +0200 | [diff] [blame] | 289 | TEST(BitBufferTest, ReadNonSymmetricOnlyValueConsumesNoBits) { |
| 290 | const uint8_t bytes[2] = {}; |
| 291 | BitBuffer reader(bytes, 2); |
| 292 | uint32_t value = 0xFFFFFFFF; |
| 293 | ASSERT_EQ(reader.RemainingBitCount(), 16u); |
| 294 | |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 295 | EXPECT_TRUE(reader.ReadNonSymmetric(/*num_values=*/1, value)); |
Danil Chapovalov | a9e1b49 | 2020-07-08 11:24:19 +0200 | [diff] [blame] | 296 | |
| 297 | EXPECT_EQ(value, 0u); |
| 298 | EXPECT_EQ(reader.RemainingBitCount(), 16u); |
| 299 | } |
| 300 | |
| 301 | TEST(BitBufferWriterTest, WriteNonSymmetricOnlyValueConsumesNoBits) { |
| 302 | uint8_t bytes[2] = {}; |
| 303 | BitBufferWriter writer(bytes, 2); |
| 304 | ASSERT_EQ(writer.RemainingBitCount(), 16u); |
| 305 | |
| 306 | EXPECT_TRUE(writer.WriteNonSymmetric(0, /*num_values=*/1)); |
| 307 | |
| 308 | EXPECT_EQ(writer.RemainingBitCount(), 16u); |
| 309 | } |
| 310 | |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 311 | uint64_t GolombEncoded(uint32_t val) { |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 312 | val++; |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 313 | uint32_t bit_counter = val; |
| 314 | uint64_t bit_count = 0; |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 315 | while (bit_counter > 0) { |
| 316 | bit_count++; |
| 317 | bit_counter >>= 1; |
| 318 | } |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 319 | return static_cast<uint64_t>(val) << (64 - (bit_count * 2 - 1)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 320 | } |
| 321 | |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 322 | TEST(BitBufferTest, GolombUint32Values) { |
jbauch | f1f8720 | 2016-03-30 06:43:37 -0700 | [diff] [blame] | 323 | ByteBufferWriter byteBuffer; |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 324 | byteBuffer.Resize(16); |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 325 | BitBuffer buffer(reinterpret_cast<const uint8_t*>(byteBuffer.Data()), |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 326 | byteBuffer.Capacity()); |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 327 | // Test over the uint32_t range with a large enough step that the test doesn't |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 328 | // take forever. Around 20,000 iterations should do. |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 329 | const int kStep = std::numeric_limits<uint32_t>::max() / 20000; |
| 330 | for (uint32_t i = 0; i < std::numeric_limits<uint32_t>::max() - kStep; |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 331 | i += kStep) { |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 332 | uint64_t encoded_val = GolombEncoded(i); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 333 | byteBuffer.Clear(); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 334 | byteBuffer.WriteUInt64(encoded_val); |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 335 | uint32_t decoded_val; |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 336 | EXPECT_TRUE(buffer.Seek(0, 0)); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 337 | EXPECT_TRUE(buffer.ReadExponentialGolomb(decoded_val)); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 338 | EXPECT_EQ(i, decoded_val); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 339 | } |
| 340 | } |
| 341 | |
Peter Boström | 8c266e6 | 2015-09-24 15:06:50 +0200 | [diff] [blame] | 342 | TEST(BitBufferTest, SignedGolombValues) { |
| 343 | uint8_t golomb_bits[] = { |
| 344 | 0x80, // 1 |
| 345 | 0x40, // 010 |
| 346 | 0x60, // 011 |
| 347 | 0x20, // 00100 |
| 348 | 0x38, // 00111 |
| 349 | }; |
| 350 | int32_t expected[] = {0, 1, -1, 2, -3}; |
| 351 | for (size_t i = 0; i < sizeof(golomb_bits); ++i) { |
| 352 | BitBuffer buffer(&golomb_bits[i], 1); |
| 353 | int32_t decoded_val; |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 354 | ASSERT_TRUE(buffer.ReadSignedExponentialGolomb(decoded_val)); |
Peter Boström | 8c266e6 | 2015-09-24 15:06:50 +0200 | [diff] [blame] | 355 | EXPECT_EQ(expected[i], decoded_val) |
| 356 | << "Mismatch in expected/decoded value for golomb_bits[" << i |
| 357 | << "]: " << static_cast<int>(golomb_bits[i]); |
| 358 | } |
| 359 | } |
| 360 | |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 361 | TEST(BitBufferTest, NoGolombOverread) { |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 362 | const uint8_t bytes[] = {0x00, 0xFF, 0xFF}; |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 363 | // Make sure the bit buffer correctly enforces byte length on golomb reads. |
| 364 | // If it didn't, the above buffer would be valid at 3 bytes. |
| 365 | BitBuffer buffer(bytes, 1); |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 366 | uint32_t decoded_val; |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 367 | EXPECT_FALSE(buffer.ReadExponentialGolomb(decoded_val)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 368 | |
| 369 | BitBuffer longer_buffer(bytes, 2); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 370 | EXPECT_FALSE(longer_buffer.ReadExponentialGolomb(decoded_val)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 371 | |
| 372 | BitBuffer longest_buffer(bytes, 3); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 373 | EXPECT_TRUE(longest_buffer.ReadExponentialGolomb(decoded_val)); |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 374 | // Golomb should have read 9 bits, so 0x01FF, and since it is golomb, the |
| 375 | // result is 0x01FF - 1 = 0x01FE. |
| 376 | EXPECT_EQ(0x01FEu, decoded_val); |
| 377 | } |
| 378 | |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 379 | TEST(BitBufferWriterTest, SymmetricReadWrite) { |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 380 | uint8_t bytes[16] = {0}; |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 381 | BitBufferWriter buffer(bytes, 4); |
| 382 | |
| 383 | // Write some bit data at various sizes. |
| 384 | EXPECT_TRUE(buffer.WriteBits(0x2u, 3)); |
| 385 | EXPECT_TRUE(buffer.WriteBits(0x1u, 2)); |
| 386 | EXPECT_TRUE(buffer.WriteBits(0x53u, 7)); |
| 387 | EXPECT_TRUE(buffer.WriteBits(0x0u, 2)); |
| 388 | EXPECT_TRUE(buffer.WriteBits(0x1u, 1)); |
| 389 | EXPECT_TRUE(buffer.WriteBits(0x1ABCDu, 17)); |
| 390 | // That should be all that fits in the buffer. |
| 391 | EXPECT_FALSE(buffer.WriteBits(1, 1)); |
| 392 | |
| 393 | EXPECT_TRUE(buffer.Seek(0, 0)); |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 394 | uint32_t val; |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 395 | EXPECT_TRUE(buffer.ReadBits(3, val)); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 396 | EXPECT_EQ(0x2u, val); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 397 | EXPECT_TRUE(buffer.ReadBits(2, val)); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 398 | EXPECT_EQ(0x1u, val); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 399 | EXPECT_TRUE(buffer.ReadBits(7, val)); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 400 | EXPECT_EQ(0x53u, val); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 401 | EXPECT_TRUE(buffer.ReadBits(2, val)); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 402 | EXPECT_EQ(0x0u, val); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 403 | EXPECT_TRUE(buffer.ReadBits(1, val)); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 404 | EXPECT_EQ(0x1u, val); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 405 | EXPECT_TRUE(buffer.ReadBits(17, val)); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 406 | EXPECT_EQ(0x1ABCDu, val); |
| 407 | // And there should be nothing left. |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 408 | EXPECT_FALSE(buffer.ReadBits(1, val)); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 409 | } |
| 410 | |
| 411 | TEST(BitBufferWriterTest, SymmetricBytesMisaligned) { |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 412 | uint8_t bytes[16] = {0}; |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 413 | BitBufferWriter buffer(bytes, 16); |
| 414 | |
| 415 | // Offset 3, to get things misaligned. |
| 416 | EXPECT_TRUE(buffer.ConsumeBits(3)); |
| 417 | EXPECT_TRUE(buffer.WriteUInt8(0x12u)); |
| 418 | EXPECT_TRUE(buffer.WriteUInt16(0x3456u)); |
| 419 | EXPECT_TRUE(buffer.WriteUInt32(0x789ABCDEu)); |
| 420 | |
| 421 | buffer.Seek(0, 3); |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 422 | uint8_t val8; |
| 423 | uint16_t val16; |
| 424 | uint32_t val32; |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 425 | EXPECT_TRUE(buffer.ReadUInt8(val8)); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 426 | EXPECT_EQ(0x12u, val8); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 427 | EXPECT_TRUE(buffer.ReadUInt16(val16)); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 428 | EXPECT_EQ(0x3456u, val16); |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 429 | EXPECT_TRUE(buffer.ReadUInt32(val32)); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 430 | EXPECT_EQ(0x789ABCDEu, val32); |
| 431 | } |
| 432 | |
| 433 | TEST(BitBufferWriterTest, SymmetricGolomb) { |
| 434 | char test_string[] = "my precious"; |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 435 | uint8_t bytes[64] = {0}; |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 436 | BitBufferWriter buffer(bytes, 64); |
tfarina | 5237aaf | 2015-11-10 23:44:30 -0800 | [diff] [blame] | 437 | for (size_t i = 0; i < arraysize(test_string); ++i) { |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 438 | EXPECT_TRUE(buffer.WriteExponentialGolomb(test_string[i])); |
| 439 | } |
| 440 | buffer.Seek(0, 0); |
tfarina | 5237aaf | 2015-11-10 23:44:30 -0800 | [diff] [blame] | 441 | for (size_t i = 0; i < arraysize(test_string); ++i) { |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 442 | uint32_t val; |
Björn Terelius | a77e16c | 2021-05-17 17:20:53 +0200 | [diff] [blame] | 443 | EXPECT_TRUE(buffer.ReadExponentialGolomb(val)); |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 444 | EXPECT_LE(val, std::numeric_limits<uint8_t>::max()); |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 445 | EXPECT_EQ(test_string[i], static_cast<char>(val)); |
| 446 | } |
| 447 | } |
| 448 | |
| 449 | TEST(BitBufferWriterTest, WriteClearsBits) { |
Peter Boström | 0c4e06b | 2015-10-07 12:23:21 +0200 | [diff] [blame] | 450 | uint8_t bytes[] = {0xFF, 0xFF}; |
Noah Richards | 86153c2 | 2015-04-28 15:13:44 -0700 | [diff] [blame] | 451 | BitBufferWriter buffer(bytes, 2); |
| 452 | EXPECT_TRUE(buffer.ConsumeBits(3)); |
| 453 | EXPECT_TRUE(buffer.WriteBits(0, 1)); |
| 454 | EXPECT_EQ(0xEFu, bytes[0]); |
| 455 | EXPECT_TRUE(buffer.WriteBits(0, 3)); |
| 456 | EXPECT_EQ(0xE1u, bytes[0]); |
| 457 | EXPECT_TRUE(buffer.WriteBits(0, 2)); |
| 458 | EXPECT_EQ(0xE0u, bytes[0]); |
| 459 | EXPECT_EQ(0x7F, bytes[1]); |
| 460 | } |
| 461 | |
Noah Richards | bbf7c86 | 2015-04-21 16:30:13 -0700 | [diff] [blame] | 462 | } // namespace rtc |