2007-04-22 08:22:05 +02:00
|
|
|
//===- BitstreamReader.h - Low-level bitstream reader interface -*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 20:59:42 +01:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2007-04-22 08:22:05 +02:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// 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"
|
2009-04-01 20:45:54 +02:00
|
|
|
#include <climits>
|
2009-08-27 08:41:46 +02:00
|
|
|
#include <string>
|
2007-04-29 10:05:07 +02:00
|
|
|
#include <vector>
|
2007-04-22 08:22:05 +02:00
|
|
|
|
|
|
|
namespace llvm {
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-11-10 03:00:38 +01:00
|
|
|
class Deserializer;
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
class BitstreamReader {
|
2009-04-26 22:59:02 +02:00
|
|
|
public:
|
|
|
|
/// BlockInfo - This contains information emitted to BLOCKINFO_BLOCK blocks.
|
|
|
|
/// These describe abbreviations that all blocks of the specified ID inherit.
|
|
|
|
struct BlockInfo {
|
|
|
|
unsigned BlockID;
|
|
|
|
std::vector<BitCodeAbbrev*> Abbrevs;
|
2009-04-27 00:21:57 +02:00
|
|
|
std::string Name;
|
|
|
|
|
|
|
|
std::vector<std::pair<unsigned, std::string> > RecordNames;
|
2009-04-26 22:59:02 +02:00
|
|
|
};
|
|
|
|
private:
|
|
|
|
/// FirstChar/LastChar - This remembers the first and last bytes of the
|
|
|
|
/// stream.
|
|
|
|
const unsigned char *FirstChar, *LastChar;
|
|
|
|
|
|
|
|
std::vector<BlockInfo> BlockInfoRecords;
|
|
|
|
|
2009-04-27 22:04:08 +02:00
|
|
|
/// IgnoreBlockInfoNames - This is set to true if we don't care about the
|
|
|
|
/// block/record name information in the BlockInfo block. Only llvm-bcanalyzer
|
|
|
|
/// uses this.
|
|
|
|
bool IgnoreBlockInfoNames;
|
|
|
|
|
|
|
|
BitstreamReader(const BitstreamReader&); // NOT IMPLEMENTED
|
|
|
|
void operator=(const BitstreamReader&); // NOT IMPLEMENTED
|
2009-04-26 22:59:02 +02:00
|
|
|
public:
|
2009-04-27 22:04:08 +02:00
|
|
|
BitstreamReader() : FirstChar(0), LastChar(0), IgnoreBlockInfoNames(true) {
|
2009-04-26 22:59:02 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
BitstreamReader(const unsigned char *Start, const unsigned char *End) {
|
2009-04-27 22:04:08 +02:00
|
|
|
IgnoreBlockInfoNames = true;
|
2009-04-26 22:59:02 +02:00
|
|
|
init(Start, End);
|
|
|
|
}
|
|
|
|
|
|
|
|
void init(const unsigned char *Start, const unsigned char *End) {
|
|
|
|
FirstChar = Start;
|
|
|
|
LastChar = End;
|
|
|
|
assert(((End-Start) & 3) == 0 &&"Bitcode stream not a multiple of 4 bytes");
|
|
|
|
}
|
|
|
|
|
|
|
|
~BitstreamReader() {
|
|
|
|
// Free the BlockInfoRecords.
|
|
|
|
while (!BlockInfoRecords.empty()) {
|
|
|
|
BlockInfo &Info = BlockInfoRecords.back();
|
|
|
|
// Free blockinfo abbrev info.
|
|
|
|
for (unsigned i = 0, e = static_cast<unsigned>(Info.Abbrevs.size());
|
|
|
|
i != e; ++i)
|
|
|
|
Info.Abbrevs[i]->dropRef();
|
|
|
|
BlockInfoRecords.pop_back();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
const unsigned char *getFirstChar() const { return FirstChar; }
|
|
|
|
const unsigned char *getLastChar() const { return LastChar; }
|
|
|
|
|
2009-04-27 22:04:08 +02:00
|
|
|
/// CollectBlockInfoNames - This is called by clients that want block/record
|
|
|
|
/// name information.
|
|
|
|
void CollectBlockInfoNames() { IgnoreBlockInfoNames = false; }
|
|
|
|
bool isIgnoringBlockInfoNames() { return IgnoreBlockInfoNames; }
|
|
|
|
|
2009-04-26 22:59:02 +02:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
// Block Manipulation
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
|
2009-04-26 23:07:02 +02:00
|
|
|
/// hasBlockInfoRecords - Return true if we've already read and processed the
|
|
|
|
/// block info block for this Bitstream. We only process it for the first
|
|
|
|
/// cursor that walks over it.
|
|
|
|
bool hasBlockInfoRecords() const { return !BlockInfoRecords.empty(); }
|
|
|
|
|
2009-04-26 22:59:02 +02:00
|
|
|
/// getBlockInfo - If there is block info for the specified ID, return it,
|
|
|
|
/// otherwise return null.
|
2009-04-27 00:21:57 +02:00
|
|
|
const BlockInfo *getBlockInfo(unsigned BlockID) const {
|
2009-04-26 22:59:02 +02:00
|
|
|
// Common case, the most recent entry matches BlockID.
|
|
|
|
if (!BlockInfoRecords.empty() && BlockInfoRecords.back().BlockID == BlockID)
|
|
|
|
return &BlockInfoRecords.back();
|
|
|
|
|
|
|
|
for (unsigned i = 0, e = static_cast<unsigned>(BlockInfoRecords.size());
|
|
|
|
i != e; ++i)
|
|
|
|
if (BlockInfoRecords[i].BlockID == BlockID)
|
|
|
|
return &BlockInfoRecords[i];
|
|
|
|
return 0;
|
|
|
|
}
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2009-04-26 22:59:02 +02:00
|
|
|
BlockInfo &getOrCreateBlockInfo(unsigned BlockID) {
|
2009-04-27 00:21:57 +02:00
|
|
|
if (const BlockInfo *BI = getBlockInfo(BlockID))
|
|
|
|
return *const_cast<BlockInfo*>(BI);
|
2009-04-26 22:59:02 +02:00
|
|
|
|
|
|
|
// Otherwise, add a new record.
|
|
|
|
BlockInfoRecords.push_back(BlockInfo());
|
|
|
|
BlockInfoRecords.back().BlockID = BlockID;
|
|
|
|
return BlockInfoRecords.back();
|
|
|
|
}
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
class BitstreamCursor {
|
|
|
|
friend class Deserializer;
|
|
|
|
BitstreamReader *BitStream;
|
|
|
|
const unsigned char *NextChar;
|
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
/// CurWord - This is the current data we have pulled from the stream but have
|
|
|
|
/// not returned to the client.
|
|
|
|
uint32_t CurWord;
|
2009-04-26 22:59:02 +02:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
/// BitsInCurWord - This is the number of bits in CurWord that are valid. This
|
|
|
|
/// is always from [0...31] inclusive.
|
|
|
|
unsigned BitsInCurWord;
|
2009-04-26 22:59:02 +02:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
// CurCodeSize - This is the declared size of code values used for the current
|
|
|
|
// block, in bits.
|
|
|
|
unsigned CurCodeSize;
|
2009-04-26 22:59:02 +02:00
|
|
|
|
2007-04-23 20:57:58 +02:00
|
|
|
/// CurAbbrevs - Abbrevs installed at in this block.
|
|
|
|
std::vector<BitCodeAbbrev*> CurAbbrevs;
|
2009-04-26 22:59:02 +02:00
|
|
|
|
2007-04-23 20:57:58 +02:00
|
|
|
struct Block {
|
|
|
|
unsigned PrevCodeSize;
|
|
|
|
std::vector<BitCodeAbbrev*> PrevAbbrevs;
|
|
|
|
explicit Block(unsigned PCS) : PrevCodeSize(PCS) {}
|
|
|
|
};
|
2009-04-26 22:59:02 +02:00
|
|
|
|
2007-04-23 20:57:58 +02:00
|
|
|
/// BlockScope - This tracks the codesize of parent blocks.
|
|
|
|
SmallVector<Block, 8> BlockScope;
|
2009-04-26 22:59:02 +02:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
public:
|
2009-04-26 22:59:02 +02:00
|
|
|
BitstreamCursor() : BitStream(0), NextChar(0) {
|
|
|
|
}
|
2009-04-26 23:07:02 +02:00
|
|
|
BitstreamCursor(const BitstreamCursor &RHS) : BitStream(0), NextChar(0) {
|
|
|
|
operator=(RHS);
|
|
|
|
}
|
|
|
|
|
2009-04-26 22:59:02 +02:00
|
|
|
explicit BitstreamCursor(BitstreamReader &R) : BitStream(&R) {
|
|
|
|
NextChar = R.getFirstChar();
|
|
|
|
assert(NextChar && "Bitstream not initialized yet");
|
2007-05-01 06:59:06 +02:00
|
|
|
CurWord = 0;
|
|
|
|
BitsInCurWord = 0;
|
2009-04-26 22:59:02 +02:00
|
|
|
CurCodeSize = 2;
|
2007-05-01 06:59:06 +02:00
|
|
|
}
|
2009-04-26 22:59:02 +02:00
|
|
|
|
|
|
|
void init(BitstreamReader &R) {
|
|
|
|
freeState();
|
|
|
|
|
|
|
|
BitStream = &R;
|
|
|
|
NextChar = R.getFirstChar();
|
|
|
|
assert(NextChar && "Bitstream not initialized yet");
|
2007-04-22 08:22:05 +02:00
|
|
|
CurWord = 0;
|
|
|
|
BitsInCurWord = 0;
|
|
|
|
CurCodeSize = 2;
|
|
|
|
}
|
2009-04-26 22:59:02 +02:00
|
|
|
|
|
|
|
~BitstreamCursor() {
|
|
|
|
freeState();
|
|
|
|
}
|
|
|
|
|
2009-04-26 23:07:02 +02:00
|
|
|
void operator=(const BitstreamCursor &RHS) {
|
|
|
|
freeState();
|
|
|
|
|
|
|
|
BitStream = RHS.BitStream;
|
|
|
|
NextChar = RHS.NextChar;
|
|
|
|
CurWord = RHS.CurWord;
|
|
|
|
BitsInCurWord = RHS.BitsInCurWord;
|
|
|
|
CurCodeSize = RHS.CurCodeSize;
|
|
|
|
|
|
|
|
// Copy abbreviations, and bump ref counts.
|
|
|
|
CurAbbrevs = RHS.CurAbbrevs;
|
|
|
|
for (unsigned i = 0, e = static_cast<unsigned>(CurAbbrevs.size());
|
|
|
|
i != e; ++i)
|
|
|
|
CurAbbrevs[i]->addRef();
|
|
|
|
|
|
|
|
// Copy block scope and bump ref counts.
|
|
|
|
for (unsigned S = 0, e = static_cast<unsigned>(BlockScope.size());
|
|
|
|
S != e; ++S) {
|
|
|
|
std::vector<BitCodeAbbrev*> &Abbrevs = BlockScope[S].PrevAbbrevs;
|
|
|
|
for (unsigned i = 0, e = static_cast<unsigned>(Abbrevs.size());
|
|
|
|
i != e; ++i)
|
|
|
|
Abbrevs[i]->addRef();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2009-04-26 22:59:02 +02:00
|
|
|
void freeState() {
|
|
|
|
// Free all the Abbrevs.
|
2008-05-05 20:30:58 +02:00
|
|
|
for (unsigned i = 0, e = static_cast<unsigned>(CurAbbrevs.size());
|
|
|
|
i != e; ++i)
|
2007-05-04 19:35:19 +02:00
|
|
|
CurAbbrevs[i]->dropRef();
|
2009-04-26 22:59:02 +02:00
|
|
|
CurAbbrevs.clear();
|
|
|
|
|
|
|
|
// Free all the Abbrevs in the block scope.
|
2008-05-05 20:30:58 +02:00
|
|
|
for (unsigned S = 0, e = static_cast<unsigned>(BlockScope.size());
|
|
|
|
S != e; ++S) {
|
2007-04-23 20:57:58 +02:00
|
|
|
std::vector<BitCodeAbbrev*> &Abbrevs = BlockScope[S].PrevAbbrevs;
|
2008-05-05 20:30:58 +02:00
|
|
|
for (unsigned i = 0, e = static_cast<unsigned>(Abbrevs.size());
|
|
|
|
i != e; ++i)
|
2007-05-04 19:35:19 +02:00
|
|
|
Abbrevs[i]->dropRef();
|
2007-04-23 20:57:58 +02:00
|
|
|
}
|
2009-04-26 22:59:02 +02:00
|
|
|
BlockScope.clear();
|
2007-04-23 20:57:58 +02:00
|
|
|
}
|
2009-04-26 22:59:02 +02:00
|
|
|
|
|
|
|
/// GetAbbrevIDWidth - Return the number of bits used to encode an abbrev #.
|
|
|
|
unsigned GetAbbrevIDWidth() const { return CurCodeSize; }
|
|
|
|
|
2007-05-06 10:12:09 +02:00
|
|
|
bool AtEndOfStream() const {
|
2009-04-26 22:59:02 +02:00
|
|
|
return NextChar == BitStream->getLastChar() && BitsInCurWord == 0;
|
2007-05-06 10:12:09 +02:00
|
|
|
}
|
2009-04-26 22:59:02 +02:00
|
|
|
|
2007-04-29 21:17:32 +02:00
|
|
|
/// GetCurrentBitNo - Return the bit # of the bit we are reading.
|
|
|
|
uint64_t GetCurrentBitNo() const {
|
2009-04-26 22:59:02 +02:00
|
|
|
return (NextChar-BitStream->getFirstChar())*CHAR_BIT - BitsInCurWord;
|
2007-04-29 21:17:32 +02:00
|
|
|
}
|
2009-04-26 22:59:02 +02:00
|
|
|
|
2009-04-27 00:21:57 +02:00
|
|
|
BitstreamReader *getBitStreamReader() {
|
|
|
|
return BitStream;
|
|
|
|
}
|
|
|
|
const BitstreamReader *getBitStreamReader() const {
|
|
|
|
return BitStream;
|
|
|
|
}
|
|
|
|
|
2009-04-26 22:59:02 +02:00
|
|
|
|
2007-05-01 06:59:06 +02:00
|
|
|
/// JumpToBit - Reset the stream to the specified bit number.
|
|
|
|
void JumpToBit(uint64_t BitNo) {
|
2007-05-06 05:24:19 +02:00
|
|
|
uintptr_t ByteNo = uintptr_t(BitNo/8) & ~3;
|
|
|
|
uintptr_t WordBitNo = uintptr_t(BitNo) & 31;
|
2009-04-26 22:59:02 +02:00
|
|
|
assert(ByteNo <= (uintptr_t)(BitStream->getLastChar()-
|
|
|
|
BitStream->getFirstChar()) &&
|
|
|
|
"Invalid location");
|
|
|
|
|
2007-05-01 06:59:06 +02:00
|
|
|
// Move the cursor to the right word.
|
2009-04-26 22:59:02 +02:00
|
|
|
NextChar = BitStream->getFirstChar()+ByteNo;
|
2007-05-01 06:59:06 +02:00
|
|
|
BitsInCurWord = 0;
|
2007-11-30 23:39:46 +01:00
|
|
|
CurWord = 0;
|
2009-04-26 22:59:02 +02:00
|
|
|
|
2007-05-01 06:59:06 +02:00
|
|
|
// Skip over any bits that are already consumed.
|
2009-04-26 22:59:02 +02:00
|
|
|
if (WordBitNo)
|
2008-05-05 20:30:58 +02:00
|
|
|
Read(static_cast<unsigned>(WordBitNo));
|
2007-05-01 06:59:06 +02:00
|
|
|
}
|
2009-04-26 22:59:02 +02:00
|
|
|
|
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
uint32_t Read(unsigned NumBits) {
|
2009-07-07 20:39:49 +02:00
|
|
|
assert(NumBits <= 32 && "Cannot return more than 32 bits!");
|
2007-04-22 08:22:05 +02:00
|
|
|
// 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.
|
2009-04-26 22:59:02 +02:00
|
|
|
if (NextChar == BitStream->getLastChar()) {
|
2007-04-22 08:22:05 +02:00
|
|
|
CurWord = 0;
|
|
|
|
BitsInCurWord = 0;
|
|
|
|
return 0;
|
|
|
|
}
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
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;
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
// Extract NumBits-BitsInCurWord from what we just read.
|
|
|
|
unsigned BitsLeft = NumBits-BitsInCurWord;
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
// Be careful here, BitsLeft is in the range [1..32] inclusive.
|
|
|
|
R |= (CurWord & (~0U >> (32-BitsLeft))) << BitsInCurWord;
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
// BitsLeft bits have just been used up from CurWord.
|
|
|
|
if (BitsLeft != 32)
|
|
|
|
CurWord >>= BitsLeft;
|
|
|
|
else
|
|
|
|
CurWord = 0;
|
|
|
|
BitsInCurWord = 32-BitsLeft;
|
|
|
|
return R;
|
|
|
|
}
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-23 20:57:58 +02:00
|
|
|
uint64_t Read64(unsigned NumBits) {
|
|
|
|
if (NumBits <= 32) return Read(NumBits);
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-23 20:57:58 +02:00
|
|
|
uint64_t V = Read(32);
|
|
|
|
return V | (uint64_t)Read(NumBits-32) << 32;
|
|
|
|
}
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
uint32_t ReadVBR(unsigned NumBits) {
|
|
|
|
uint32_t Piece = Read(NumBits);
|
2007-04-22 17:00:52 +02:00
|
|
|
if ((Piece & (1U << (NumBits-1))) == 0)
|
2007-04-22 08:22:05 +02:00
|
|
|
return Piece;
|
|
|
|
|
|
|
|
uint32_t Result = 0;
|
|
|
|
unsigned NextBit = 0;
|
|
|
|
while (1) {
|
|
|
|
Result |= (Piece & ((1U << (NumBits-1))-1)) << NextBit;
|
|
|
|
|
2007-04-22 17:00:52 +02:00
|
|
|
if ((Piece & (1U << (NumBits-1))) == 0)
|
2007-04-22 08:22:05 +02:00
|
|
|
return Result;
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
NextBit += NumBits-1;
|
|
|
|
Piece = Read(NumBits);
|
|
|
|
}
|
|
|
|
}
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2009-07-07 20:39:49 +02:00
|
|
|
// ReadVBR64 - Read a VBR that may have a value up to 64-bits in size. The
|
|
|
|
// chunk size of the VBR must still be <= 32 bits though.
|
2007-04-22 08:22:05 +02:00
|
|
|
uint64_t ReadVBR64(unsigned NumBits) {
|
2009-07-07 20:39:49 +02:00
|
|
|
uint32_t Piece = Read(NumBits);
|
|
|
|
if ((Piece & (1U << (NumBits-1))) == 0)
|
|
|
|
return uint64_t(Piece);
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
uint64_t Result = 0;
|
|
|
|
unsigned NextBit = 0;
|
|
|
|
while (1) {
|
2009-07-07 20:39:49 +02:00
|
|
|
Result |= uint64_t(Piece & ((1U << (NumBits-1))-1)) << NextBit;
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2009-07-07 20:39:49 +02:00
|
|
|
if ((Piece & (1U << (NumBits-1))) == 0)
|
2007-04-22 08:22:05 +02:00
|
|
|
return Result;
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
NextBit += NumBits-1;
|
|
|
|
Piece = Read(NumBits);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void SkipToWord() {
|
|
|
|
BitsInCurWord = 0;
|
|
|
|
CurWord = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
unsigned ReadCode() {
|
|
|
|
return Read(CurCodeSize);
|
|
|
|
}
|
|
|
|
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
// 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);
|
|
|
|
}
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
/// 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);
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
// Check that the block wasn't partially defined, and that the offset isn't
|
|
|
|
// bogus.
|
2009-04-26 22:59:02 +02:00
|
|
|
if (AtEndOfStream() || NextChar+NumWords*4 > BitStream->getLastChar())
|
2007-04-22 08:22:05 +02:00
|
|
|
return true;
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
NextChar += NumWords*4;
|
|
|
|
return false;
|
|
|
|
}
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-11-10 03:00:38 +01:00
|
|
|
/// EnterSubBlock - Having read the ENTER_SUBBLOCK abbrevid, enter
|
|
|
|
/// the block, and return true if the block is valid.
|
2007-05-05 02:17:00 +02:00
|
|
|
bool EnterSubBlock(unsigned BlockID, unsigned *NumWordsP = 0) {
|
|
|
|
// Save the current block's state on BlockScope.
|
2007-04-23 20:57:58 +02:00
|
|
|
BlockScope.push_back(Block(CurCodeSize));
|
|
|
|
BlockScope.back().PrevAbbrevs.swap(CurAbbrevs);
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-05-05 02:17:00 +02:00
|
|
|
// Add the abbrevs specific to this block to the CurAbbrevs list.
|
2009-04-27 00:21:57 +02:00
|
|
|
if (const BitstreamReader::BlockInfo *Info =
|
|
|
|
BitStream->getBlockInfo(BlockID)) {
|
2008-05-05 20:30:58 +02:00
|
|
|
for (unsigned i = 0, e = static_cast<unsigned>(Info->Abbrevs.size());
|
|
|
|
i != e; ++i) {
|
2007-05-05 02:17:00 +02:00
|
|
|
CurAbbrevs.push_back(Info->Abbrevs[i]);
|
|
|
|
CurAbbrevs.back()->addRef();
|
|
|
|
}
|
|
|
|
}
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
// Get the codesize of this block.
|
|
|
|
CurCodeSize = ReadVBR(bitc::CodeLenWidth);
|
|
|
|
SkipToWord();
|
|
|
|
unsigned NumWords = Read(bitc::BlockSizeWidth);
|
2007-04-29 23:49:05 +02:00
|
|
|
if (NumWordsP) *NumWordsP = NumWords;
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
// Validate that this block is sane.
|
2009-04-26 22:59:02 +02:00
|
|
|
if (CurCodeSize == 0 || AtEndOfStream() ||
|
|
|
|
NextChar+NumWords*4 > BitStream->getLastChar())
|
2007-04-22 08:22:05 +02:00
|
|
|
return true;
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
return false;
|
|
|
|
}
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
bool ReadBlockEnd() {
|
|
|
|
if (BlockScope.empty()) return true;
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
// Block tail:
|
|
|
|
// [END_BLOCK, <align4bytes>]
|
|
|
|
SkipToWord();
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-11-10 03:00:38 +01:00
|
|
|
PopBlockScope();
|
|
|
|
return false;
|
|
|
|
}
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-11-10 03:00:38 +01:00
|
|
|
private:
|
|
|
|
void PopBlockScope() {
|
2007-04-23 20:57:58 +02:00
|
|
|
CurCodeSize = BlockScope.back().PrevCodeSize;
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-23 20:57:58 +02:00
|
|
|
// Delete abbrevs from popped scope.
|
2008-05-05 20:30:58 +02:00
|
|
|
for (unsigned i = 0, e = static_cast<unsigned>(CurAbbrevs.size());
|
|
|
|
i != e; ++i)
|
2007-05-04 19:35:19 +02:00
|
|
|
CurAbbrevs[i]->dropRef();
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-23 20:57:58 +02:00
|
|
|
BlockScope.back().PrevAbbrevs.swap(CurAbbrevs);
|
2007-04-22 08:22:05 +02:00
|
|
|
BlockScope.pop_back();
|
2009-02-21 00:04:06 +01:00
|
|
|
}
|
|
|
|
|
2009-04-26 22:59:02 +02:00
|
|
|
//===--------------------------------------------------------------------===//
|
2007-04-22 08:22:05 +02:00
|
|
|
// Record Processing
|
|
|
|
//===--------------------------------------------------------------------===//
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-05-04 22:33:47 +02:00
|
|
|
private:
|
2009-04-06 23:37:10 +02:00
|
|
|
void ReadAbbreviatedLiteral(const BitCodeAbbrevOp &Op,
|
|
|
|
SmallVectorImpl<uint64_t> &Vals) {
|
|
|
|
assert(Op.isLiteral() && "Not a literal");
|
|
|
|
// If the abbrev specifies the literal value to use, use it.
|
|
|
|
Vals.push_back(Op.getLiteralValue());
|
|
|
|
}
|
|
|
|
|
2009-02-21 00:04:06 +01:00
|
|
|
void ReadAbbreviatedField(const BitCodeAbbrevOp &Op,
|
2007-05-04 22:33:47 +02:00
|
|
|
SmallVectorImpl<uint64_t> &Vals) {
|
2009-04-06 23:37:10 +02:00
|
|
|
assert(!Op.isLiteral() && "Use ReadAbbreviatedLiteral for literals!");
|
|
|
|
|
2009-04-06 23:34:58 +02:00
|
|
|
// Decode the value as we are commanded.
|
|
|
|
switch (Op.getEncoding()) {
|
|
|
|
default: assert(0 && "Unknown encoding!");
|
|
|
|
case BitCodeAbbrevOp::Fixed:
|
|
|
|
Vals.push_back(Read((unsigned)Op.getEncodingData()));
|
|
|
|
break;
|
|
|
|
case BitCodeAbbrevOp::VBR:
|
|
|
|
Vals.push_back(ReadVBR64((unsigned)Op.getEncodingData()));
|
|
|
|
break;
|
|
|
|
case BitCodeAbbrevOp::Char6:
|
|
|
|
Vals.push_back(BitCodeAbbrevOp::DecodeChar6(Read(6)));
|
|
|
|
break;
|
2007-05-04 22:33:47 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
public:
|
2009-04-07 00:43:46 +02:00
|
|
|
|
|
|
|
/// getAbbrev - Return the abbreviation for the specified AbbrevId.
|
|
|
|
const BitCodeAbbrev *getAbbrev(unsigned AbbrevID) {
|
|
|
|
unsigned AbbrevNo = AbbrevID-bitc::FIRST_APPLICATION_ABBREV;
|
|
|
|
assert(AbbrevNo < CurAbbrevs.size() && "Invalid abbrev #!");
|
|
|
|
return CurAbbrevs[AbbrevNo];
|
|
|
|
}
|
|
|
|
|
2009-04-07 04:56:46 +02:00
|
|
|
unsigned ReadRecord(unsigned AbbrevID, SmallVectorImpl<uint64_t> &Vals,
|
|
|
|
const char **BlobStart = 0, unsigned *BlobLen = 0) {
|
2007-04-22 08:22:05 +02:00
|
|
|
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;
|
|
|
|
}
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2009-04-07 00:43:46 +02:00
|
|
|
const BitCodeAbbrev *Abbv = getAbbrev(AbbrevID);
|
2007-04-23 20:57:58 +02:00
|
|
|
|
|
|
|
for (unsigned i = 0, e = Abbv->getNumOperandInfos(); i != e; ++i) {
|
|
|
|
const BitCodeAbbrevOp &Op = Abbv->getOperandInfo(i);
|
2009-04-06 23:37:10 +02:00
|
|
|
if (Op.isLiteral()) {
|
|
|
|
ReadAbbreviatedLiteral(Op, Vals);
|
2009-04-06 23:50:39 +02:00
|
|
|
} else if (Op.getEncoding() == BitCodeAbbrevOp::Array) {
|
2007-05-04 22:33:47 +02: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);
|
2009-04-06 23:50:39 +02:00
|
|
|
} else if (Op.getEncoding() == BitCodeAbbrevOp::Blob) {
|
|
|
|
// Blob case. Read the number of bytes as a vbr6.
|
|
|
|
unsigned NumElts = ReadVBR(6);
|
|
|
|
SkipToWord(); // 32-bit alignment
|
|
|
|
|
|
|
|
// Figure out where the end of this blob will be including tail padding.
|
|
|
|
const unsigned char *NewEnd = NextChar+((NumElts+3)&~3);
|
|
|
|
|
|
|
|
// If this would read off the end of the bitcode file, just set the
|
|
|
|
// record to empty and return.
|
2009-04-26 22:59:02 +02:00
|
|
|
if (NewEnd > BitStream->getLastChar()) {
|
2009-04-06 23:50:39 +02:00
|
|
|
Vals.append(NumElts, 0);
|
2009-04-26 22:59:02 +02:00
|
|
|
NextChar = BitStream->getLastChar();
|
2009-04-06 23:50:39 +02:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2009-04-07 04:56:46 +02:00
|
|
|
// Otherwise, read the number of bytes. If we can return a reference to
|
|
|
|
// the data, do so to avoid copying it.
|
|
|
|
if (BlobStart) {
|
|
|
|
*BlobStart = (const char*)NextChar;
|
|
|
|
*BlobLen = NumElts;
|
|
|
|
} else {
|
|
|
|
for (; NumElts; ++NextChar, --NumElts)
|
|
|
|
Vals.push_back(*NextChar);
|
|
|
|
}
|
2009-04-06 23:50:39 +02:00
|
|
|
// Skip over tail padding.
|
|
|
|
NextChar = NewEnd;
|
|
|
|
} else {
|
|
|
|
ReadAbbreviatedField(Op, Vals);
|
2007-04-23 20:57:58 +02:00
|
|
|
}
|
|
|
|
}
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-05-06 05:12:47 +02:00
|
|
|
unsigned Code = (unsigned)Vals[0];
|
2007-04-23 20:57:58 +02:00
|
|
|
Vals.erase(Vals.begin());
|
|
|
|
return Code;
|
2007-04-22 08:22:05 +02:00
|
|
|
}
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2009-04-07 04:56:46 +02:00
|
|
|
unsigned ReadRecord(unsigned AbbrevID, SmallVectorImpl<uint64_t> &Vals,
|
|
|
|
const char *&BlobStart, unsigned &BlobLen) {
|
|
|
|
return ReadRecord(AbbrevID, Vals, &BlobStart, &BlobLen);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2007-04-23 20:57:58 +02:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
// Abbrev Processing
|
|
|
|
//===--------------------------------------------------------------------===//
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-04-23 20:57:58 +02:00
|
|
|
void ReadAbbrevRecord() {
|
|
|
|
BitCodeAbbrev *Abbv = new BitCodeAbbrev();
|
|
|
|
unsigned NumOpInfo = ReadVBR(5);
|
|
|
|
for (unsigned i = 0; i != NumOpInfo; ++i) {
|
2007-10-24 02:06:31 +02:00
|
|
|
bool IsLiteral = Read(1) ? true : false;
|
2007-04-23 20:57:58 +02:00
|
|
|
if (IsLiteral) {
|
|
|
|
Abbv->Add(BitCodeAbbrevOp(ReadVBR64(8)));
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
BitCodeAbbrevOp::Encoding E = (BitCodeAbbrevOp::Encoding)Read(3);
|
2007-05-04 22:33:47 +02:00
|
|
|
if (BitCodeAbbrevOp::hasEncodingData(E))
|
2007-04-23 20:57:58 +02:00
|
|
|
Abbv->Add(BitCodeAbbrevOp(E, ReadVBR64(5)));
|
2007-05-04 22:33:47 +02:00
|
|
|
else
|
|
|
|
Abbv->Add(BitCodeAbbrevOp(E));
|
2007-04-23 20:57:58 +02:00
|
|
|
}
|
|
|
|
CurAbbrevs.push_back(Abbv);
|
|
|
|
}
|
2009-04-26 22:59:02 +02:00
|
|
|
|
2007-05-05 02:17:00 +02:00
|
|
|
public:
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-05-05 02:17:00 +02:00
|
|
|
bool ReadBlockInfoBlock() {
|
2009-04-26 23:07:02 +02:00
|
|
|
// If this is the second stream to get to the block info block, skip it.
|
|
|
|
if (BitStream->hasBlockInfoRecords())
|
|
|
|
return SkipBlock();
|
|
|
|
|
2007-05-05 02:17:00 +02:00
|
|
|
if (EnterSubBlock(bitc::BLOCKINFO_BLOCK_ID)) return true;
|
|
|
|
|
|
|
|
SmallVector<uint64_t, 64> Record;
|
2009-04-26 22:59:02 +02:00
|
|
|
BitstreamReader::BlockInfo *CurBlockInfo = 0;
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-05-05 02:17:00 +02:00
|
|
|
// Read all the records for this module.
|
|
|
|
while (1) {
|
|
|
|
unsigned Code = ReadCode();
|
|
|
|
if (Code == bitc::END_BLOCK)
|
|
|
|
return ReadBlockEnd();
|
|
|
|
if (Code == bitc::ENTER_SUBBLOCK) {
|
|
|
|
ReadSubBlockID();
|
|
|
|
if (SkipBlock()) return true;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Read abbrev records, associate them with CurBID.
|
|
|
|
if (Code == bitc::DEFINE_ABBREV) {
|
|
|
|
if (!CurBlockInfo) return true;
|
|
|
|
ReadAbbrevRecord();
|
2009-02-21 00:04:06 +01:00
|
|
|
|
2007-05-05 02:17:00 +02:00
|
|
|
// ReadAbbrevRecord installs the abbrev in CurAbbrevs. Move it to the
|
|
|
|
// appropriate BlockInfo.
|
|
|
|
BitCodeAbbrev *Abbv = CurAbbrevs.back();
|
|
|
|
CurAbbrevs.pop_back();
|
|
|
|
CurBlockInfo->Abbrevs.push_back(Abbv);
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Read a record.
|
2007-05-05 09:20:34 +02:00
|
|
|
Record.clear();
|
2007-05-05 02:17:00 +02:00
|
|
|
switch (ReadRecord(Code, Record)) {
|
|
|
|
default: break; // Default behavior, ignore unknown content.
|
|
|
|
case bitc::BLOCKINFO_CODE_SETBID:
|
|
|
|
if (Record.size() < 1) return true;
|
2009-04-26 22:59:02 +02:00
|
|
|
CurBlockInfo = &BitStream->getOrCreateBlockInfo((unsigned)Record[0]);
|
2007-05-05 02:17:00 +02:00
|
|
|
break;
|
2009-04-27 00:21:57 +02:00
|
|
|
case bitc::BLOCKINFO_CODE_BLOCKNAME: {
|
|
|
|
if (!CurBlockInfo) return true;
|
2009-04-27 22:04:08 +02:00
|
|
|
if (BitStream->isIgnoringBlockInfoNames()) break; // Ignore name.
|
2009-04-27 00:21:57 +02:00
|
|
|
std::string Name;
|
|
|
|
for (unsigned i = 0, e = Record.size(); i != e; ++i)
|
|
|
|
Name += (char)Record[i];
|
|
|
|
CurBlockInfo->Name = Name;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case bitc::BLOCKINFO_CODE_SETRECORDNAME: {
|
|
|
|
if (!CurBlockInfo) return true;
|
2009-04-27 22:04:08 +02:00
|
|
|
if (BitStream->isIgnoringBlockInfoNames()) break; // Ignore name.
|
2009-04-27 00:21:57 +02:00
|
|
|
std::string Name;
|
|
|
|
for (unsigned i = 1, e = Record.size(); i != e; ++i)
|
|
|
|
Name += (char)Record[i];
|
|
|
|
CurBlockInfo->RecordNames.push_back(std::make_pair((unsigned)Record[0],
|
|
|
|
Name));
|
|
|
|
break;
|
|
|
|
}
|
2007-05-05 02:17:00 +02:00
|
|
|
}
|
2009-02-21 00:04:06 +01:00
|
|
|
}
|
2007-05-05 02:17:00 +02:00
|
|
|
}
|
2007-04-22 08:22:05 +02:00
|
|
|
};
|
2009-04-26 22:59:02 +02:00
|
|
|
|
2007-04-22 08:22:05 +02:00
|
|
|
} // End llvm namespace
|
|
|
|
|
|
|
|
#endif
|