1*09537850SAkhilesh Sanikop // Copyright 2019 The libgav1 Authors
2*09537850SAkhilesh Sanikop //
3*09537850SAkhilesh Sanikop // Licensed under the Apache License, Version 2.0 (the "License");
4*09537850SAkhilesh Sanikop // you may not use this file except in compliance with the License.
5*09537850SAkhilesh Sanikop // You may obtain a copy of the License at
6*09537850SAkhilesh Sanikop //
7*09537850SAkhilesh Sanikop // http://www.apache.org/licenses/LICENSE-2.0
8*09537850SAkhilesh Sanikop //
9*09537850SAkhilesh Sanikop // Unless required by applicable law or agreed to in writing, software
10*09537850SAkhilesh Sanikop // distributed under the License is distributed on an "AS IS" BASIS,
11*09537850SAkhilesh Sanikop // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12*09537850SAkhilesh Sanikop // See the License for the specific language governing permissions and
13*09537850SAkhilesh Sanikop // limitations under the License.
14*09537850SAkhilesh Sanikop
15*09537850SAkhilesh Sanikop #include "src/utils/raw_bit_reader.h"
16*09537850SAkhilesh Sanikop
17*09537850SAkhilesh Sanikop #include <cassert>
18*09537850SAkhilesh Sanikop #include <limits>
19*09537850SAkhilesh Sanikop
20*09537850SAkhilesh Sanikop #include "src/utils/common.h"
21*09537850SAkhilesh Sanikop #include "src/utils/logging.h"
22*09537850SAkhilesh Sanikop
23*09537850SAkhilesh Sanikop // Note <cinttypes> is only needed when logging is enabled (for the PRI*
24*09537850SAkhilesh Sanikop // macros). It depends on the definition of LIBGAV1_ENABLE_LOGGING from
25*09537850SAkhilesh Sanikop // logging.h, thus the non-standard header ordering.
26*09537850SAkhilesh Sanikop #if LIBGAV1_ENABLE_LOGGING
27*09537850SAkhilesh Sanikop #include <cinttypes>
28*09537850SAkhilesh Sanikop #endif
29*09537850SAkhilesh Sanikop
30*09537850SAkhilesh Sanikop namespace libgav1 {
31*09537850SAkhilesh Sanikop namespace {
32*09537850SAkhilesh Sanikop
33*09537850SAkhilesh Sanikop constexpr int kMaximumLeb128Size = 8;
34*09537850SAkhilesh Sanikop constexpr uint8_t kLeb128ValueByteMask = 0x7f;
35*09537850SAkhilesh Sanikop constexpr uint8_t kLeb128TerminationByteMask = 0x80;
36*09537850SAkhilesh Sanikop
Mod8(size_t n)37*09537850SAkhilesh Sanikop uint8_t Mod8(size_t n) {
38*09537850SAkhilesh Sanikop // Last 3 bits are the value of mod 8.
39*09537850SAkhilesh Sanikop return n & 0x07;
40*09537850SAkhilesh Sanikop }
41*09537850SAkhilesh Sanikop
DivideBy8(size_t n,bool ceil)42*09537850SAkhilesh Sanikop size_t DivideBy8(size_t n, bool ceil) { return (n + (ceil ? 7 : 0)) >> 3; }
43*09537850SAkhilesh Sanikop
44*09537850SAkhilesh Sanikop } // namespace
45*09537850SAkhilesh Sanikop
RawBitReader(const uint8_t * data,size_t size)46*09537850SAkhilesh Sanikop RawBitReader::RawBitReader(const uint8_t* data, size_t size)
47*09537850SAkhilesh Sanikop : data_(data), bit_offset_(0), size_(size) {
48*09537850SAkhilesh Sanikop assert(data_ != nullptr || size_ == 0);
49*09537850SAkhilesh Sanikop }
50*09537850SAkhilesh Sanikop
ReadBitImpl()51*09537850SAkhilesh Sanikop int RawBitReader::ReadBitImpl() {
52*09537850SAkhilesh Sanikop const size_t byte_offset = DivideBy8(bit_offset_, false);
53*09537850SAkhilesh Sanikop const uint8_t byte = data_[byte_offset];
54*09537850SAkhilesh Sanikop const uint8_t shift = 7 - Mod8(bit_offset_);
55*09537850SAkhilesh Sanikop ++bit_offset_;
56*09537850SAkhilesh Sanikop return static_cast<int>((byte >> shift) & 0x01);
57*09537850SAkhilesh Sanikop }
58*09537850SAkhilesh Sanikop
ReadBit()59*09537850SAkhilesh Sanikop int RawBitReader::ReadBit() {
60*09537850SAkhilesh Sanikop if (Finished()) return -1;
61*09537850SAkhilesh Sanikop return ReadBitImpl();
62*09537850SAkhilesh Sanikop }
63*09537850SAkhilesh Sanikop
ReadLiteral(int num_bits)64*09537850SAkhilesh Sanikop int64_t RawBitReader::ReadLiteral(int num_bits) {
65*09537850SAkhilesh Sanikop assert(num_bits <= 32);
66*09537850SAkhilesh Sanikop if (!CanReadLiteral(num_bits)) return -1;
67*09537850SAkhilesh Sanikop assert(num_bits > 0);
68*09537850SAkhilesh Sanikop uint32_t literal = 0;
69*09537850SAkhilesh Sanikop int bit = num_bits - 1;
70*09537850SAkhilesh Sanikop do {
71*09537850SAkhilesh Sanikop // ARM can combine a shift operation with a constant number of bits with
72*09537850SAkhilesh Sanikop // some other operations, such as the OR operation.
73*09537850SAkhilesh Sanikop // Here is an ARM disassembly example:
74*09537850SAkhilesh Sanikop // orr w1, w0, w1, lsl #1
75*09537850SAkhilesh Sanikop // which left shifts register w1 by 1 bit and OR the shift result with
76*09537850SAkhilesh Sanikop // register w0.
77*09537850SAkhilesh Sanikop // The next 2 lines are equivalent to:
78*09537850SAkhilesh Sanikop // literal |= static_cast<uint32_t>(ReadBitImpl()) << bit;
79*09537850SAkhilesh Sanikop literal <<= 1;
80*09537850SAkhilesh Sanikop literal |= static_cast<uint32_t>(ReadBitImpl());
81*09537850SAkhilesh Sanikop } while (--bit >= 0);
82*09537850SAkhilesh Sanikop return literal;
83*09537850SAkhilesh Sanikop }
84*09537850SAkhilesh Sanikop
ReadInverseSignedLiteral(int num_bits,int * const value)85*09537850SAkhilesh Sanikop bool RawBitReader::ReadInverseSignedLiteral(int num_bits, int* const value) {
86*09537850SAkhilesh Sanikop assert(num_bits + 1 < 32);
87*09537850SAkhilesh Sanikop *value = static_cast<int>(ReadLiteral(num_bits + 1));
88*09537850SAkhilesh Sanikop if (*value == -1) return false;
89*09537850SAkhilesh Sanikop const int sign_bit = 1 << num_bits;
90*09537850SAkhilesh Sanikop if ((*value & sign_bit) != 0) {
91*09537850SAkhilesh Sanikop *value -= 2 * sign_bit;
92*09537850SAkhilesh Sanikop }
93*09537850SAkhilesh Sanikop return true;
94*09537850SAkhilesh Sanikop }
95*09537850SAkhilesh Sanikop
ReadLittleEndian(int num_bytes,size_t * const value)96*09537850SAkhilesh Sanikop bool RawBitReader::ReadLittleEndian(int num_bytes, size_t* const value) {
97*09537850SAkhilesh Sanikop // We must be at a byte boundary.
98*09537850SAkhilesh Sanikop assert(Mod8(bit_offset_) == 0);
99*09537850SAkhilesh Sanikop assert(num_bytes <= 4);
100*09537850SAkhilesh Sanikop static_assert(sizeof(size_t) >= 4, "");
101*09537850SAkhilesh Sanikop if (value == nullptr) return false;
102*09537850SAkhilesh Sanikop size_t byte_offset = DivideBy8(bit_offset_, false);
103*09537850SAkhilesh Sanikop if (Finished() || byte_offset + num_bytes > size_) {
104*09537850SAkhilesh Sanikop LIBGAV1_DLOG(ERROR, "Not enough bits to read Little Endian value.");
105*09537850SAkhilesh Sanikop return false;
106*09537850SAkhilesh Sanikop }
107*09537850SAkhilesh Sanikop *value = 0;
108*09537850SAkhilesh Sanikop for (int i = 0; i < num_bytes; ++i) {
109*09537850SAkhilesh Sanikop const size_t byte = data_[byte_offset];
110*09537850SAkhilesh Sanikop *value |= (byte << (i * 8));
111*09537850SAkhilesh Sanikop ++byte_offset;
112*09537850SAkhilesh Sanikop }
113*09537850SAkhilesh Sanikop bit_offset_ = byte_offset * 8;
114*09537850SAkhilesh Sanikop return true;
115*09537850SAkhilesh Sanikop }
116*09537850SAkhilesh Sanikop
ReadUnsignedLeb128(size_t * const value)117*09537850SAkhilesh Sanikop bool RawBitReader::ReadUnsignedLeb128(size_t* const value) {
118*09537850SAkhilesh Sanikop // We must be at a byte boundary.
119*09537850SAkhilesh Sanikop assert(Mod8(bit_offset_) == 0);
120*09537850SAkhilesh Sanikop if (value == nullptr) return false;
121*09537850SAkhilesh Sanikop uint64_t value64 = 0;
122*09537850SAkhilesh Sanikop for (int i = 0; i < kMaximumLeb128Size; ++i) {
123*09537850SAkhilesh Sanikop if (Finished()) {
124*09537850SAkhilesh Sanikop LIBGAV1_DLOG(ERROR, "Not enough bits to read LEB128 value.");
125*09537850SAkhilesh Sanikop return false;
126*09537850SAkhilesh Sanikop }
127*09537850SAkhilesh Sanikop const size_t byte_offset = DivideBy8(bit_offset_, false);
128*09537850SAkhilesh Sanikop const uint8_t byte = data_[byte_offset];
129*09537850SAkhilesh Sanikop bit_offset_ += 8;
130*09537850SAkhilesh Sanikop value64 |= static_cast<uint64_t>(byte & kLeb128ValueByteMask) << (i * 7);
131*09537850SAkhilesh Sanikop if ((byte & kLeb128TerminationByteMask) == 0) {
132*09537850SAkhilesh Sanikop if (value64 != static_cast<size_t>(value64) ||
133*09537850SAkhilesh Sanikop value64 > std::numeric_limits<uint32_t>::max()) {
134*09537850SAkhilesh Sanikop LIBGAV1_DLOG(
135*09537850SAkhilesh Sanikop ERROR, "LEB128 value (%" PRIu64 ") exceeded uint32_t maximum (%u).",
136*09537850SAkhilesh Sanikop value64, std::numeric_limits<uint32_t>::max());
137*09537850SAkhilesh Sanikop return false;
138*09537850SAkhilesh Sanikop }
139*09537850SAkhilesh Sanikop *value = static_cast<size_t>(value64);
140*09537850SAkhilesh Sanikop return true;
141*09537850SAkhilesh Sanikop }
142*09537850SAkhilesh Sanikop }
143*09537850SAkhilesh Sanikop LIBGAV1_DLOG(
144*09537850SAkhilesh Sanikop ERROR,
145*09537850SAkhilesh Sanikop "Exceeded kMaximumLeb128Size (%d) when trying to read LEB128 value",
146*09537850SAkhilesh Sanikop kMaximumLeb128Size);
147*09537850SAkhilesh Sanikop return false;
148*09537850SAkhilesh Sanikop }
149*09537850SAkhilesh Sanikop
ReadUvlc(uint32_t * const value)150*09537850SAkhilesh Sanikop bool RawBitReader::ReadUvlc(uint32_t* const value) {
151*09537850SAkhilesh Sanikop if (value == nullptr) return false;
152*09537850SAkhilesh Sanikop int leading_zeros = 0;
153*09537850SAkhilesh Sanikop while (true) {
154*09537850SAkhilesh Sanikop const int bit = ReadBit();
155*09537850SAkhilesh Sanikop if (bit == -1) {
156*09537850SAkhilesh Sanikop LIBGAV1_DLOG(ERROR, "Not enough bits to read uvlc value.");
157*09537850SAkhilesh Sanikop return false;
158*09537850SAkhilesh Sanikop }
159*09537850SAkhilesh Sanikop if (bit == 1) break;
160*09537850SAkhilesh Sanikop ++leading_zeros;
161*09537850SAkhilesh Sanikop if (leading_zeros == 32) {
162*09537850SAkhilesh Sanikop LIBGAV1_DLOG(ERROR,
163*09537850SAkhilesh Sanikop "Exceeded maximum size (32) when trying to read uvlc value");
164*09537850SAkhilesh Sanikop return false;
165*09537850SAkhilesh Sanikop }
166*09537850SAkhilesh Sanikop }
167*09537850SAkhilesh Sanikop int literal;
168*09537850SAkhilesh Sanikop if (leading_zeros != 0) {
169*09537850SAkhilesh Sanikop literal = static_cast<int>(ReadLiteral(leading_zeros));
170*09537850SAkhilesh Sanikop if (literal == -1) {
171*09537850SAkhilesh Sanikop LIBGAV1_DLOG(ERROR, "Not enough bits to read uvlc value.");
172*09537850SAkhilesh Sanikop return false;
173*09537850SAkhilesh Sanikop }
174*09537850SAkhilesh Sanikop literal += (1U << leading_zeros) - 1;
175*09537850SAkhilesh Sanikop } else {
176*09537850SAkhilesh Sanikop literal = 0;
177*09537850SAkhilesh Sanikop }
178*09537850SAkhilesh Sanikop *value = literal;
179*09537850SAkhilesh Sanikop return true;
180*09537850SAkhilesh Sanikop }
181*09537850SAkhilesh Sanikop
AlignToNextByte()182*09537850SAkhilesh Sanikop bool RawBitReader::AlignToNextByte() {
183*09537850SAkhilesh Sanikop while ((bit_offset_ & 7) != 0) {
184*09537850SAkhilesh Sanikop if (ReadBit() != 0) {
185*09537850SAkhilesh Sanikop return false;
186*09537850SAkhilesh Sanikop }
187*09537850SAkhilesh Sanikop }
188*09537850SAkhilesh Sanikop return true;
189*09537850SAkhilesh Sanikop }
190*09537850SAkhilesh Sanikop
VerifyAndSkipTrailingBits(size_t num_bits)191*09537850SAkhilesh Sanikop bool RawBitReader::VerifyAndSkipTrailingBits(size_t num_bits) {
192*09537850SAkhilesh Sanikop if (ReadBit() != 1) return false;
193*09537850SAkhilesh Sanikop for (size_t i = 0; i < num_bits - 1; ++i) {
194*09537850SAkhilesh Sanikop if (ReadBit() != 0) return false;
195*09537850SAkhilesh Sanikop }
196*09537850SAkhilesh Sanikop return true;
197*09537850SAkhilesh Sanikop }
198*09537850SAkhilesh Sanikop
SkipBytes(size_t num_bytes)199*09537850SAkhilesh Sanikop bool RawBitReader::SkipBytes(size_t num_bytes) {
200*09537850SAkhilesh Sanikop // If we are not at a byte boundary, return false.
201*09537850SAkhilesh Sanikop return ((bit_offset_ & 7) != 0) ? false : SkipBits(num_bytes * 8);
202*09537850SAkhilesh Sanikop }
203*09537850SAkhilesh Sanikop
SkipBits(size_t num_bits)204*09537850SAkhilesh Sanikop bool RawBitReader::SkipBits(size_t num_bits) {
205*09537850SAkhilesh Sanikop // If the reader is already finished, return false.
206*09537850SAkhilesh Sanikop if (Finished()) return false;
207*09537850SAkhilesh Sanikop // If skipping |num_bits| runs out of buffer, return false.
208*09537850SAkhilesh Sanikop const size_t bit_offset = bit_offset_ + num_bits - 1;
209*09537850SAkhilesh Sanikop if (DivideBy8(bit_offset, false) >= size_) return false;
210*09537850SAkhilesh Sanikop bit_offset_ += num_bits;
211*09537850SAkhilesh Sanikop return true;
212*09537850SAkhilesh Sanikop }
213*09537850SAkhilesh Sanikop
CanReadLiteral(size_t num_bits) const214*09537850SAkhilesh Sanikop bool RawBitReader::CanReadLiteral(size_t num_bits) const {
215*09537850SAkhilesh Sanikop if (Finished()) return false;
216*09537850SAkhilesh Sanikop const size_t bit_offset = bit_offset_ + num_bits - 1;
217*09537850SAkhilesh Sanikop return DivideBy8(bit_offset, false) < size_;
218*09537850SAkhilesh Sanikop }
219*09537850SAkhilesh Sanikop
Finished() const220*09537850SAkhilesh Sanikop bool RawBitReader::Finished() const {
221*09537850SAkhilesh Sanikop return DivideBy8(bit_offset_, false) >= size_;
222*09537850SAkhilesh Sanikop }
223*09537850SAkhilesh Sanikop
224*09537850SAkhilesh Sanikop } // namespace libgav1
225