xref: /aosp_15_r20/external/libgav1/src/utils/raw_bit_reader.cc (revision 095378508e87ed692bf8dfeb34008b65b3735891)
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