2007-04-22 06:22:05 +00:00
|
|
|
//===- BitstreamReader.h - Low-level bitstream reader interface -*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file was developed by Chris Lattner and is distributed under
|
|
|
|
// the University of Illinois Open Source License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This header defines the BitstreamReader class. This class can be used to
|
|
|
|
// read an arbitrary bitstream, regardless of its contents.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef BITSTREAM_READER_H
|
|
|
|
#define BITSTREAM_READER_H
|
|
|
|
|
|
|
|
#include "llvm/Bitcode/BitCodes.h"
|
2007-04-29 08:05:07 +00:00
|
|
|
#include <vector>
|
2007-04-22 06:22:05 +00:00
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
|
|
|
|
class BitstreamReader {
|
|
|
|
const unsigned char *NextChar;
|
|
|
|
const unsigned char *LastChar;
|
|
|
|
|
|
|
|
/// CurWord - This is the current data we have pulled from the stream but have
|
|
|
|
/// not returned to the client.
|
|
|
|
uint32_t CurWord;
|
|
|
|
|
|
|
|
/// BitsInCurWord - This is the number of bits in CurWord that are valid. This
|
|
|
|
/// is always from [0...31] inclusive.
|
|
|
|
unsigned BitsInCurWord;
|
|
|
|
|
|
|
|
// CurCodeSize - This is the declared size of code values used for the current
|
|
|
|
// block, in bits.
|
|
|
|
unsigned CurCodeSize;
|
2007-04-23 18:57:58 +00:00
|
|
|
|
|
|
|
/// CurAbbrevs - Abbrevs installed at in this block.
|
|
|
|
std::vector<BitCodeAbbrev*> CurAbbrevs;
|
2007-04-22 06:22:05 +00:00
|
|
|
|
2007-04-23 18:57:58 +00:00
|
|
|
struct Block {
|
|
|
|
unsigned PrevCodeSize;
|
|
|
|
std::vector<BitCodeAbbrev*> PrevAbbrevs;
|
|
|
|
explicit Block(unsigned PCS) : PrevCodeSize(PCS) {}
|
|
|
|
};
|
2007-04-22 06:22:05 +00:00
|
|
|
|
2007-04-23 18:57:58 +00:00
|
|
|
/// BlockScope - This tracks the codesize of parent blocks.
|
|
|
|
SmallVector<Block, 8> BlockScope;
|
|
|
|
|
2007-04-29 19:49:58 +00:00
|
|
|
/// FirstChar - This remembers the first byte of the stream.
|
|
|
|
const unsigned char *FirstChar;
|
2007-04-22 06:22:05 +00:00
|
|
|
public:
|
2007-05-01 04:59:06 +00:00
|
|
|
BitstreamReader() {
|
|
|
|
NextChar = FirstChar = LastChar = 0;
|
|
|
|
CurWord = 0;
|
|
|
|
BitsInCurWord = 0;
|
|
|
|
CurCodeSize = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
BitstreamReader(const unsigned char *Start, const unsigned char *End) {
|
|
|
|
init(Start, End);
|
|
|
|
}
|
|
|
|
|
|
|
|
void init(const unsigned char *Start, const unsigned char *End) {
|
|
|
|
NextChar = FirstChar = Start;
|
|
|
|
LastChar = End;
|
2007-04-22 06:22:05 +00:00
|
|
|
assert(((End-Start) & 3) == 0 &&"Bitcode stream not a multiple of 4 bytes");
|
|
|
|
CurWord = 0;
|
|
|
|
BitsInCurWord = 0;
|
|
|
|
CurCodeSize = 2;
|
|
|
|
}
|
|
|
|
|
2007-04-23 18:57:58 +00:00
|
|
|
~BitstreamReader() {
|
|
|
|
// Abbrevs could still exist if the stream was broken. If so, don't leak
|
|
|
|
// them.
|
|
|
|
for (unsigned i = 0, e = CurAbbrevs.size(); i != e; ++i)
|
2007-05-04 17:35:19 +00:00
|
|
|
CurAbbrevs[i]->dropRef();
|
2007-04-23 18:57:58 +00:00
|
|
|
|
|
|
|
for (unsigned S = 0, e = BlockScope.size(); S != e; ++S) {
|
|
|
|
std::vector<BitCodeAbbrev*> &Abbrevs = BlockScope[S].PrevAbbrevs;
|
|
|
|
for (unsigned i = 0, e = Abbrevs.size(); i != e; ++i)
|
2007-05-04 17:35:19 +00:00
|
|
|
Abbrevs[i]->dropRef();
|
2007-04-23 18:57:58 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
bool AtEndOfStream() const { return NextChar == LastChar; }
|
|
|
|
|
2007-04-29 19:17:32 +00:00
|
|
|
/// GetCurrentBitNo - Return the bit # of the bit we are reading.
|
|
|
|
uint64_t GetCurrentBitNo() const {
|
2007-04-29 19:49:58 +00:00
|
|
|
return (NextChar-FirstChar)*8 + (32-BitsInCurWord);
|
2007-04-29 19:17:32 +00:00
|
|
|
}
|
|
|
|
|
2007-05-01 04:59:06 +00:00
|
|
|
/// JumpToBit - Reset the stream to the specified bit number.
|
|
|
|
void JumpToBit(uint64_t BitNo) {
|
2007-05-01 05:51:32 +00:00
|
|
|
unsigned ByteNo = (BitNo/8) & ~3;
|
2007-05-01 04:59:06 +00:00
|
|
|
unsigned WordBitNo = BitNo & 31;
|
2007-05-01 05:51:32 +00:00
|
|
|
assert(ByteNo < (unsigned)(LastChar-FirstChar) && "Invalid location");
|
2007-05-01 04:59:06 +00:00
|
|
|
|
|
|
|
// Move the cursor to the right word.
|
2007-05-01 05:51:32 +00:00
|
|
|
NextChar = FirstChar+ByteNo;
|
2007-05-01 04:59:06 +00:00
|
|
|
BitsInCurWord = 0;
|
|
|
|
|
|
|
|
// Skip over any bits that are already consumed.
|
2007-05-01 05:51:32 +00:00
|
|
|
if (WordBitNo) {
|
|
|
|
NextChar -= 4;
|
|
|
|
Read(WordBitNo);
|
|
|
|
}
|
2007-05-01 04:59:06 +00:00
|
|
|
}
|
|
|
|
|
2007-04-29 21:49:05 +00:00
|
|
|
/// GetAbbrevIDWidth - Return the number of bits used to encode an abbrev #.
|
|
|
|
unsigned GetAbbrevIDWidth() const { return CurCodeSize; }
|
2007-04-29 19:17:32 +00:00
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
uint32_t Read(unsigned NumBits) {
|
|
|
|
// If the field is fully contained by CurWord, return it quickly.
|
|
|
|
if (BitsInCurWord >= NumBits) {
|
|
|
|
uint32_t R = CurWord & ((1U << NumBits)-1);
|
|
|
|
CurWord >>= NumBits;
|
|
|
|
BitsInCurWord -= NumBits;
|
|
|
|
return R;
|
|
|
|
}
|
|
|
|
|
|
|
|
// If we run out of data, stop at the end of the stream.
|
|
|
|
if (LastChar == NextChar) {
|
|
|
|
CurWord = 0;
|
|
|
|
BitsInCurWord = 0;
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
unsigned R = CurWord;
|
|
|
|
|
|
|
|
// Read the next word from the stream.
|
|
|
|
CurWord = (NextChar[0] << 0) | (NextChar[1] << 8) |
|
|
|
|
(NextChar[2] << 16) | (NextChar[3] << 24);
|
|
|
|
NextChar += 4;
|
|
|
|
|
|
|
|
// Extract NumBits-BitsInCurWord from what we just read.
|
|
|
|
unsigned BitsLeft = NumBits-BitsInCurWord;
|
|
|
|
|
|
|
|
// Be careful here, BitsLeft is in the range [1..32] inclusive.
|
|
|
|
R |= (CurWord & (~0U >> (32-BitsLeft))) << BitsInCurWord;
|
|
|
|
|
|
|
|
// BitsLeft bits have just been used up from CurWord.
|
|
|
|
if (BitsLeft != 32)
|
|
|
|
CurWord >>= BitsLeft;
|
|
|
|
else
|
|
|
|
CurWord = 0;
|
|
|
|
BitsInCurWord = 32-BitsLeft;
|
|
|
|
return R;
|
|
|
|
}
|
|
|
|
|
2007-04-23 18:57:58 +00:00
|
|
|
uint64_t Read64(unsigned NumBits) {
|
|
|
|
if (NumBits <= 32) return Read(NumBits);
|
|
|
|
|
|
|
|
uint64_t V = Read(32);
|
|
|
|
return V | (uint64_t)Read(NumBits-32) << 32;
|
|
|
|
}
|
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
uint32_t ReadVBR(unsigned NumBits) {
|
|
|
|
uint32_t Piece = Read(NumBits);
|
2007-04-22 15:00:52 +00:00
|
|
|
if ((Piece & (1U << (NumBits-1))) == 0)
|
2007-04-22 06:22:05 +00:00
|
|
|
return Piece;
|
|
|
|
|
|
|
|
uint32_t Result = 0;
|
|
|
|
unsigned NextBit = 0;
|
|
|
|
while (1) {
|
|
|
|
Result |= (Piece & ((1U << (NumBits-1))-1)) << NextBit;
|
|
|
|
|
2007-04-22 15:00:52 +00:00
|
|
|
if ((Piece & (1U << (NumBits-1))) == 0)
|
2007-04-22 06:22:05 +00:00
|
|
|
return Result;
|
|
|
|
|
|
|
|
NextBit += NumBits-1;
|
|
|
|
Piece = Read(NumBits);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
uint64_t ReadVBR64(unsigned NumBits) {
|
|
|
|
uint64_t Piece = Read(NumBits);
|
2007-04-22 15:00:52 +00:00
|
|
|
if ((Piece & (1U << (NumBits-1))) == 0)
|
2007-04-22 06:22:05 +00:00
|
|
|
return Piece;
|
|
|
|
|
|
|
|
uint64_t Result = 0;
|
|
|
|
unsigned NextBit = 0;
|
|
|
|
while (1) {
|
|
|
|
Result |= (Piece & ((1U << (NumBits-1))-1)) << NextBit;
|
|
|
|
|
2007-04-22 15:00:52 +00:00
|
|
|
if ((Piece & (1U << (NumBits-1))) == 0)
|
2007-04-22 06:22:05 +00:00
|
|
|
return Result;
|
|
|
|
|
|
|
|
NextBit += NumBits-1;
|
|
|
|
Piece = Read(NumBits);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void SkipToWord() {
|
|
|
|
BitsInCurWord = 0;
|
|
|
|
CurWord = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
unsigned ReadCode() {
|
|
|
|
return Read(CurCodeSize);
|
|
|
|
}
|
|
|
|
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
// Block Manipulation
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
// Block header:
|
|
|
|
// [ENTER_SUBBLOCK, blockid, newcodelen, <align4bytes>, blocklen]
|
|
|
|
|
|
|
|
/// ReadSubBlockID - Having read the ENTER_SUBBLOCK code, read the BlockID for
|
|
|
|
/// the block.
|
|
|
|
unsigned ReadSubBlockID() {
|
|
|
|
return ReadVBR(bitc::BlockIDWidth);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// SkipBlock - Having read the ENTER_SUBBLOCK abbrevid and a BlockID, skip
|
|
|
|
/// over the body of this block. If the block record is malformed, return
|
|
|
|
/// true.
|
|
|
|
bool SkipBlock() {
|
|
|
|
// Read and ignore the codelen value. Since we are skipping this block, we
|
|
|
|
// don't care what code widths are used inside of it.
|
|
|
|
ReadVBR(bitc::CodeLenWidth);
|
|
|
|
SkipToWord();
|
|
|
|
unsigned NumWords = Read(bitc::BlockSizeWidth);
|
|
|
|
|
|
|
|
// Check that the block wasn't partially defined, and that the offset isn't
|
|
|
|
// bogus.
|
|
|
|
if (AtEndOfStream() || NextChar+NumWords*4 > LastChar)
|
|
|
|
return true;
|
|
|
|
|
|
|
|
NextChar += NumWords*4;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// EnterSubBlock - Having read the ENTER_SUBBLOCK abbrevid, read and enter
|
|
|
|
/// the block, returning the BlockID of the block we just entered.
|
2007-04-29 21:49:05 +00:00
|
|
|
bool EnterSubBlock(unsigned *NumWordsP = 0) {
|
2007-04-23 18:57:58 +00:00
|
|
|
BlockScope.push_back(Block(CurCodeSize));
|
|
|
|
BlockScope.back().PrevAbbrevs.swap(CurAbbrevs);
|
2007-04-22 06:22:05 +00:00
|
|
|
|
|
|
|
// Get the codesize of this block.
|
|
|
|
CurCodeSize = ReadVBR(bitc::CodeLenWidth);
|
|
|
|
SkipToWord();
|
|
|
|
unsigned NumWords = Read(bitc::BlockSizeWidth);
|
2007-04-29 21:49:05 +00:00
|
|
|
if (NumWordsP) *NumWordsP = NumWords;
|
2007-04-22 06:22:05 +00:00
|
|
|
|
|
|
|
// Validate that this block is sane.
|
|
|
|
if (CurCodeSize == 0 || AtEndOfStream() || NextChar+NumWords*4 > LastChar)
|
|
|
|
return true;
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool ReadBlockEnd() {
|
|
|
|
if (BlockScope.empty()) return true;
|
|
|
|
|
|
|
|
// Block tail:
|
|
|
|
// [END_BLOCK, <align4bytes>]
|
|
|
|
SkipToWord();
|
2007-04-23 18:57:58 +00:00
|
|
|
CurCodeSize = BlockScope.back().PrevCodeSize;
|
|
|
|
|
|
|
|
// Delete abbrevs from popped scope.
|
|
|
|
for (unsigned i = 0, e = CurAbbrevs.size(); i != e; ++i)
|
2007-05-04 17:35:19 +00:00
|
|
|
CurAbbrevs[i]->dropRef();
|
2007-04-23 18:57:58 +00:00
|
|
|
|
|
|
|
BlockScope.back().PrevAbbrevs.swap(CurAbbrevs);
|
2007-04-22 06:22:05 +00:00
|
|
|
BlockScope.pop_back();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
// Record Processing
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
|
2007-05-04 20:33:47 +00:00
|
|
|
private:
|
|
|
|
void ReadAbbreviatedField(const BitCodeAbbrevOp &Op,
|
|
|
|
SmallVectorImpl<uint64_t> &Vals) {
|
|
|
|
if (Op.isLiteral()) {
|
|
|
|
// If the abbrev specifies the literal value to use, use it.
|
|
|
|
Vals.push_back(Op.getLiteralValue());
|
|
|
|
} else {
|
|
|
|
// Decode the value as we are commanded.
|
|
|
|
switch (Op.getEncoding()) {
|
|
|
|
default: assert(0 && "Unknown encoding!");
|
|
|
|
case BitCodeAbbrevOp::Fixed:
|
|
|
|
Vals.push_back(Read(Op.getEncodingData()));
|
|
|
|
break;
|
|
|
|
case BitCodeAbbrevOp::VBR:
|
|
|
|
Vals.push_back(ReadVBR64(Op.getEncodingData()));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
public:
|
2007-04-22 06:22:05 +00:00
|
|
|
unsigned ReadRecord(unsigned AbbrevID, SmallVectorImpl<uint64_t> &Vals) {
|
|
|
|
if (AbbrevID == bitc::UNABBREV_RECORD) {
|
|
|
|
unsigned Code = ReadVBR(6);
|
|
|
|
unsigned NumElts = ReadVBR(6);
|
|
|
|
for (unsigned i = 0; i != NumElts; ++i)
|
|
|
|
Vals.push_back(ReadVBR64(6));
|
|
|
|
return Code;
|
|
|
|
}
|
|
|
|
|
2007-05-04 18:25:49 +00:00
|
|
|
unsigned AbbrevNo = AbbrevID-bitc::FIRST_APPLICATION_ABBREV;
|
2007-04-23 18:57:58 +00:00
|
|
|
assert(AbbrevNo < CurAbbrevs.size() && "Invalid abbrev #!");
|
|
|
|
BitCodeAbbrev *Abbv = CurAbbrevs[AbbrevNo];
|
|
|
|
|
|
|
|
for (unsigned i = 0, e = Abbv->getNumOperandInfos(); i != e; ++i) {
|
|
|
|
const BitCodeAbbrevOp &Op = Abbv->getOperandInfo(i);
|
2007-05-04 20:33:47 +00:00
|
|
|
if (Op.isLiteral() || Op.getEncoding() != BitCodeAbbrevOp::Array) {
|
|
|
|
ReadAbbreviatedField(Op, Vals);
|
2007-04-23 18:57:58 +00:00
|
|
|
} else {
|
2007-05-04 20:33:47 +00:00
|
|
|
// Array case. Read the number of elements as a vbr6.
|
|
|
|
unsigned NumElts = ReadVBR(6);
|
|
|
|
|
|
|
|
// Get the element encoding.
|
|
|
|
assert(i+2 == e && "array op not second to last?");
|
|
|
|
const BitCodeAbbrevOp &EltEnc = Abbv->getOperandInfo(++i);
|
|
|
|
|
|
|
|
// Read all the elements.
|
|
|
|
for (; NumElts; --NumElts)
|
|
|
|
ReadAbbreviatedField(EltEnc, Vals);
|
2007-04-23 18:57:58 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
unsigned Code = Vals[0];
|
|
|
|
Vals.erase(Vals.begin());
|
|
|
|
return Code;
|
2007-04-22 06:22:05 +00:00
|
|
|
}
|
|
|
|
|
2007-04-23 18:57:58 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
// Abbrev Processing
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
void ReadAbbrevRecord() {
|
|
|
|
BitCodeAbbrev *Abbv = new BitCodeAbbrev();
|
|
|
|
unsigned NumOpInfo = ReadVBR(5);
|
|
|
|
for (unsigned i = 0; i != NumOpInfo; ++i) {
|
|
|
|
bool IsLiteral = Read(1);
|
|
|
|
if (IsLiteral) {
|
|
|
|
Abbv->Add(BitCodeAbbrevOp(ReadVBR64(8)));
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
BitCodeAbbrevOp::Encoding E = (BitCodeAbbrevOp::Encoding)Read(3);
|
2007-05-04 20:33:47 +00:00
|
|
|
if (BitCodeAbbrevOp::hasEncodingData(E))
|
2007-04-23 18:57:58 +00:00
|
|
|
Abbv->Add(BitCodeAbbrevOp(E, ReadVBR64(5)));
|
2007-05-04 20:33:47 +00:00
|
|
|
else
|
|
|
|
Abbv->Add(BitCodeAbbrevOp(E));
|
2007-04-23 18:57:58 +00:00
|
|
|
}
|
|
|
|
CurAbbrevs.push_back(Abbv);
|
|
|
|
}
|
2007-04-22 06:22:05 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
} // End llvm namespace
|
|
|
|
|
|
|
|
#endif
|