2007-04-22 06:22:05 +00:00
|
|
|
//===- BitstreamReader.h - Low-level bitstream reader interface -*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 19:59:42 +00:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2007-04-22 06:22:05 +00:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This header defines the BitstreamReader class. This class can be used to
|
|
|
|
// read an arbitrary bitstream, regardless of its contents.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2013-01-10 00:45:19 +00:00
|
|
|
#ifndef LLVM_BITCODE_BITSTREAMREADER_H
|
|
|
|
#define LLVM_BITCODE_BITSTREAMREADER_H
|
2007-04-22 06:22:05 +00:00
|
|
|
|
|
|
|
#include "llvm/Bitcode/BitCodes.h"
|
2012-02-07 10:53:19 +00:00
|
|
|
#include "llvm/Support/Endian.h"
|
2012-02-06 22:36:39 +00:00
|
|
|
#include "llvm/Support/StreamableMemoryObject.h"
|
2009-04-01 18:45:54 +00:00
|
|
|
#include <climits>
|
2009-08-27 06:41:46 +00:00
|
|
|
#include <string>
|
2007-04-29 08:05:07 +00:00
|
|
|
#include <vector>
|
2007-04-22 06:22:05 +00:00
|
|
|
|
|
|
|
namespace llvm {
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2007-11-10 02:00:38 +00:00
|
|
|
class Deserializer;
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2013-01-19 21:35:24 +00:00
|
|
|
/// BitstreamReader - This class is used to read from an LLVM bitcode stream,
|
|
|
|
/// maintaining information that is global to decoding the entire file. While
|
|
|
|
/// a file is being read, multiple cursors can be independently advanced or
|
|
|
|
/// skipped around within the file. These are represented by the
|
|
|
|
/// BitstreamCursor class.
|
2007-04-22 06:22:05 +00:00
|
|
|
class BitstreamReader {
|
2009-04-26 20:59:02 +00: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-26 22:21:57 +00:00
|
|
|
std::string Name;
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2009-04-26 22:21:57 +00:00
|
|
|
std::vector<std::pair<unsigned, std::string> > RecordNames;
|
2009-04-26 20:59:02 +00:00
|
|
|
};
|
|
|
|
private:
|
2014-03-06 05:51:42 +00:00
|
|
|
std::unique_ptr<StreamableMemoryObject> BitcodeBytes;
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2009-04-26 20:59:02 +00:00
|
|
|
std::vector<BlockInfo> BlockInfoRecords;
|
|
|
|
|
2009-04-27 20:04:08 +00: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;
|
2012-09-17 07:16:40 +00:00
|
|
|
|
|
|
|
BitstreamReader(const BitstreamReader&) LLVM_DELETED_FUNCTION;
|
|
|
|
void operator=(const BitstreamReader&) LLVM_DELETED_FUNCTION;
|
2009-04-26 20:59:02 +00:00
|
|
|
public:
|
2012-02-06 22:30:29 +00:00
|
|
|
BitstreamReader() : IgnoreBlockInfoNames(true) {
|
2009-04-26 20:59:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
BitstreamReader(const unsigned char *Start, const unsigned char *End) {
|
2009-04-27 20:04:08 +00:00
|
|
|
IgnoreBlockInfoNames = true;
|
2009-04-26 20:59:02 +00:00
|
|
|
init(Start, End);
|
|
|
|
}
|
|
|
|
|
2012-02-06 22:30:29 +00:00
|
|
|
BitstreamReader(StreamableMemoryObject *bytes) {
|
|
|
|
BitcodeBytes.reset(bytes);
|
|
|
|
}
|
|
|
|
|
2009-04-26 20:59:02 +00:00
|
|
|
void init(const unsigned char *Start, const unsigned char *End) {
|
|
|
|
assert(((End-Start) & 3) == 0 &&"Bitcode stream not a multiple of 4 bytes");
|
2012-02-06 22:30:29 +00:00
|
|
|
BitcodeBytes.reset(getNonStreamedMemoryObject(Start, End));
|
2009-04-26 20:59:02 +00:00
|
|
|
}
|
|
|
|
|
2012-02-06 22:30:29 +00:00
|
|
|
StreamableMemoryObject &getBitcodeBytes() { return *BitcodeBytes; }
|
|
|
|
|
2009-04-26 20:59:02 +00:00
|
|
|
~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();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2009-04-27 20:04:08 +00:00
|
|
|
/// CollectBlockInfoNames - This is called by clients that want block/record
|
|
|
|
/// name information.
|
|
|
|
void CollectBlockInfoNames() { IgnoreBlockInfoNames = false; }
|
|
|
|
bool isIgnoringBlockInfoNames() { return IgnoreBlockInfoNames; }
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2009-04-26 20:59:02 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
// Block Manipulation
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
|
2009-04-26 21:07:02 +00: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(); }
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2009-04-26 20:59:02 +00:00
|
|
|
/// getBlockInfo - If there is block info for the specified ID, return it,
|
|
|
|
/// otherwise return null.
|
2009-04-26 22:21:57 +00:00
|
|
|
const BlockInfo *getBlockInfo(unsigned BlockID) const {
|
2009-04-26 20:59:02 +00: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-20 23:04:06 +00:00
|
|
|
|
2009-04-26 20:59:02 +00:00
|
|
|
BlockInfo &getOrCreateBlockInfo(unsigned BlockID) {
|
2009-04-26 22:21:57 +00:00
|
|
|
if (const BlockInfo *BI = getBlockInfo(BlockID))
|
|
|
|
return *const_cast<BlockInfo*>(BI);
|
2009-04-26 20:59:02 +00:00
|
|
|
|
|
|
|
// Otherwise, add a new record.
|
|
|
|
BlockInfoRecords.push_back(BlockInfo());
|
|
|
|
BlockInfoRecords.back().BlockID = BlockID;
|
|
|
|
return BlockInfoRecords.back();
|
|
|
|
}
|
2013-01-19 21:35:24 +00:00
|
|
|
};
|
|
|
|
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2013-01-19 21:35:24 +00:00
|
|
|
/// BitstreamEntry - When advancing through a bitstream cursor, each advance can
|
|
|
|
/// discover a few different kinds of entries:
|
|
|
|
/// Error - Malformed bitcode was found.
|
|
|
|
/// EndBlock - We've reached the end of the current block, (or the end of the
|
|
|
|
/// file, which is treated like a series of EndBlock records.
|
|
|
|
/// SubBlock - This is the start of a new subblock of a specific ID.
|
|
|
|
/// Record - This is a record with a specific AbbrevID.
|
|
|
|
///
|
|
|
|
struct BitstreamEntry {
|
|
|
|
enum {
|
|
|
|
Error,
|
|
|
|
EndBlock,
|
|
|
|
SubBlock,
|
|
|
|
Record
|
|
|
|
} Kind;
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2013-01-19 21:35:24 +00:00
|
|
|
unsigned ID;
|
2009-04-26 20:59:02 +00:00
|
|
|
|
2013-01-19 21:35:24 +00:00
|
|
|
static BitstreamEntry getError() {
|
|
|
|
BitstreamEntry E; E.Kind = Error; return E;
|
|
|
|
}
|
|
|
|
static BitstreamEntry getEndBlock() {
|
|
|
|
BitstreamEntry E; E.Kind = EndBlock; return E;
|
|
|
|
}
|
|
|
|
static BitstreamEntry getSubBlock(unsigned ID) {
|
|
|
|
BitstreamEntry E; E.Kind = SubBlock; E.ID = ID; return E;
|
|
|
|
}
|
|
|
|
static BitstreamEntry getRecord(unsigned AbbrevID) {
|
|
|
|
BitstreamEntry E; E.Kind = Record; E.ID = AbbrevID; return E;
|
|
|
|
}
|
2009-04-26 20:59:02 +00:00
|
|
|
};
|
|
|
|
|
2013-01-19 21:35:24 +00:00
|
|
|
/// BitstreamCursor - This represents a position within a bitcode file. There
|
|
|
|
/// may be multiple independent cursors reading within one bitstream, each
|
|
|
|
/// maintaining their own local state.
|
|
|
|
///
|
|
|
|
/// Unlike iterators, BitstreamCursors are heavy-weight objects that should not
|
|
|
|
/// be passed by value.
|
2009-04-26 20:59:02 +00:00
|
|
|
class BitstreamCursor {
|
|
|
|
friend class Deserializer;
|
|
|
|
BitstreamReader *BitStream;
|
2012-02-06 22:30:29 +00:00
|
|
|
size_t NextChar;
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2013-02-09 06:52:14 +00:00
|
|
|
/// CurWord/word_t - This is the current data we have pulled from the stream
|
|
|
|
/// but have not returned to the client. This is specifically and
|
|
|
|
/// intentionally defined to follow the word size of the host machine for
|
|
|
|
/// efficiency. We use word_t in places that are aware of this to make it
|
|
|
|
/// perfectly explicit what is going on.
|
|
|
|
typedef uint32_t word_t;
|
|
|
|
word_t CurWord;
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
/// BitsInCurWord - This is the number of bits in CurWord that are valid. This
|
2013-02-09 06:52:14 +00:00
|
|
|
/// is always from [0...31/63] inclusive (depending on word size).
|
2007-04-22 06:22:05 +00:00
|
|
|
unsigned BitsInCurWord;
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
// CurCodeSize - This is the declared size of code values used for the current
|
|
|
|
// block, in bits.
|
|
|
|
unsigned CurCodeSize;
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2007-04-23 18:57:58 +00:00
|
|
|
/// CurAbbrevs - Abbrevs installed at in this block.
|
|
|
|
std::vector<BitCodeAbbrev*> CurAbbrevs;
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2007-04-23 18:57:58 +00:00
|
|
|
struct Block {
|
|
|
|
unsigned PrevCodeSize;
|
|
|
|
std::vector<BitCodeAbbrev*> PrevAbbrevs;
|
|
|
|
explicit Block(unsigned PCS) : PrevCodeSize(PCS) {}
|
|
|
|
};
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2007-04-23 18:57:58 +00:00
|
|
|
/// BlockScope - This tracks the codesize of parent blocks.
|
|
|
|
SmallVector<Block, 8> BlockScope;
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
public:
|
2009-04-26 20:59:02 +00:00
|
|
|
BitstreamCursor() : BitStream(0), NextChar(0) {
|
|
|
|
}
|
2009-04-26 21:07:02 +00:00
|
|
|
BitstreamCursor(const BitstreamCursor &RHS) : BitStream(0), NextChar(0) {
|
|
|
|
operator=(RHS);
|
|
|
|
}
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2009-04-26 20:59:02 +00:00
|
|
|
explicit BitstreamCursor(BitstreamReader &R) : BitStream(&R) {
|
2012-02-06 22:30:29 +00:00
|
|
|
NextChar = 0;
|
2007-05-01 04:59:06 +00:00
|
|
|
CurWord = 0;
|
|
|
|
BitsInCurWord = 0;
|
2009-04-26 20:59:02 +00:00
|
|
|
CurCodeSize = 2;
|
2007-05-01 04:59:06 +00:00
|
|
|
}
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2009-04-26 20:59:02 +00:00
|
|
|
void init(BitstreamReader &R) {
|
|
|
|
freeState();
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2009-04-26 20:59:02 +00:00
|
|
|
BitStream = &R;
|
2012-02-06 22:30:29 +00:00
|
|
|
NextChar = 0;
|
2007-04-22 06:22:05 +00:00
|
|
|
CurWord = 0;
|
|
|
|
BitsInCurWord = 0;
|
|
|
|
CurCodeSize = 2;
|
|
|
|
}
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2009-04-26 20:59:02 +00:00
|
|
|
~BitstreamCursor() {
|
|
|
|
freeState();
|
|
|
|
}
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2013-01-19 18:19:39 +00:00
|
|
|
void operator=(const BitstreamCursor &RHS);
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2013-01-19 18:19:39 +00:00
|
|
|
void freeState();
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2012-02-06 22:30:29 +00:00
|
|
|
bool isEndPos(size_t pos) {
|
|
|
|
return BitStream->getBitcodeBytes().isObjectEnd(static_cast<uint64_t>(pos));
|
|
|
|
}
|
|
|
|
|
|
|
|
bool canSkipToPos(size_t pos) const {
|
|
|
|
// pos can be skipped to if it is a valid address or one byte past the end.
|
|
|
|
return pos == 0 || BitStream->getBitcodeBytes().isValidAddress(
|
|
|
|
static_cast<uint64_t>(pos - 1));
|
|
|
|
}
|
|
|
|
|
|
|
|
uint32_t getWord(size_t pos) {
|
2013-01-19 18:19:39 +00:00
|
|
|
uint8_t buf[4] = { 0xFF, 0xFF, 0xFF, 0xFF };
|
2013-05-24 10:54:58 +00:00
|
|
|
BitStream->getBitcodeBytes().readBytes(pos, sizeof(buf), buf);
|
2012-02-07 10:53:19 +00:00
|
|
|
return *reinterpret_cast<support::ulittle32_t *>(buf);
|
2012-02-06 22:30:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
bool AtEndOfStream() {
|
2013-01-20 02:54:05 +00:00
|
|
|
return BitsInCurWord == 0 && isEndPos(NextChar);
|
2007-05-06 08:12:09 +00:00
|
|
|
}
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2013-01-19 21:35:24 +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
|
|
|
/// GetCurrentBitNo - Return the bit # of the bit we are reading.
|
|
|
|
uint64_t GetCurrentBitNo() const {
|
2012-02-06 22:30:29 +00:00
|
|
|
return NextChar*CHAR_BIT - BitsInCurWord;
|
2007-04-29 19:17:32 +00:00
|
|
|
}
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2009-04-26 22:21:57 +00:00
|
|
|
BitstreamReader *getBitStreamReader() {
|
|
|
|
return BitStream;
|
|
|
|
}
|
|
|
|
const BitstreamReader *getBitStreamReader() const {
|
|
|
|
return BitStream;
|
|
|
|
}
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2013-01-19 23:31:15 +00:00
|
|
|
/// Flags that modify the behavior of advance().
|
|
|
|
enum {
|
2013-01-20 02:12:39 +00:00
|
|
|
/// AF_DontPopBlockAtEnd - If this flag is used, the advance() method does
|
|
|
|
/// not automatically pop the block scope when the end of a block is
|
|
|
|
/// reached.
|
|
|
|
AF_DontPopBlockAtEnd = 1,
|
|
|
|
|
|
|
|
/// AF_DontAutoprocessAbbrevs - If this flag is used, abbrev entries are
|
|
|
|
/// returned just like normal records.
|
|
|
|
AF_DontAutoprocessAbbrevs = 2
|
2013-01-19 23:31:15 +00:00
|
|
|
};
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2013-01-19 21:35:24 +00:00
|
|
|
/// advance - Advance the current bitstream, returning the next entry in the
|
|
|
|
/// stream.
|
2013-01-19 23:31:15 +00:00
|
|
|
BitstreamEntry advance(unsigned Flags = 0) {
|
2013-01-19 21:35:24 +00:00
|
|
|
while (1) {
|
|
|
|
unsigned Code = ReadCode();
|
|
|
|
if (Code == bitc::END_BLOCK) {
|
2013-01-19 23:31:15 +00:00
|
|
|
// Pop the end of the block unless Flags tells us not to.
|
|
|
|
if (!(Flags & AF_DontPopBlockAtEnd) && ReadBlockEnd())
|
2013-01-19 21:35:24 +00:00
|
|
|
return BitstreamEntry::getError();
|
|
|
|
return BitstreamEntry::getEndBlock();
|
|
|
|
}
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2013-01-19 21:35:24 +00:00
|
|
|
if (Code == bitc::ENTER_SUBBLOCK)
|
|
|
|
return BitstreamEntry::getSubBlock(ReadSubBlockID());
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2013-01-20 02:12:39 +00:00
|
|
|
if (Code == bitc::DEFINE_ABBREV &&
|
|
|
|
!(Flags & AF_DontAutoprocessAbbrevs)) {
|
2013-01-19 21:35:24 +00:00
|
|
|
// We read and accumulate abbrev's, the client can't do anything with
|
|
|
|
// them anyway.
|
|
|
|
ReadAbbrevRecord();
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
return BitstreamEntry::getRecord(Code);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// advanceSkippingSubblocks - This is a convenience function for clients that
|
|
|
|
/// don't expect any subblocks. This just skips over them automatically.
|
2013-01-19 23:31:15 +00:00
|
|
|
BitstreamEntry advanceSkippingSubblocks(unsigned Flags = 0) {
|
2013-01-19 21:35:24 +00:00
|
|
|
while (1) {
|
|
|
|
// If we found a normal entry, return it.
|
2013-01-19 23:31:15 +00:00
|
|
|
BitstreamEntry Entry = advance(Flags);
|
2013-01-19 21:35:24 +00:00
|
|
|
if (Entry.Kind != BitstreamEntry::SubBlock)
|
|
|
|
return Entry;
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2013-01-19 21:35:24 +00:00
|
|
|
// If we found a sub-block, just skip over it and check the next entry.
|
|
|
|
if (SkipBlock())
|
|
|
|
return BitstreamEntry::getError();
|
|
|
|
}
|
|
|
|
}
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2007-05-01 04:59:06 +00:00
|
|
|
/// JumpToBit - Reset the stream to the specified bit number.
|
|
|
|
void JumpToBit(uint64_t BitNo) {
|
2013-02-09 06:52:14 +00:00
|
|
|
uintptr_t ByteNo = uintptr_t(BitNo/8) & ~(sizeof(word_t)-1);
|
|
|
|
unsigned WordBitNo = unsigned(BitNo & (sizeof(word_t)*8-1));
|
2012-02-06 22:30:29 +00:00
|
|
|
assert(canSkipToPos(ByteNo) && "Invalid location");
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2007-05-01 04:59:06 +00:00
|
|
|
// Move the cursor to the right word.
|
2012-02-06 22:30:29 +00:00
|
|
|
NextChar = ByteNo;
|
2007-05-01 04:59:06 +00:00
|
|
|
BitsInCurWord = 0;
|
2007-11-30 22:39:46 +00:00
|
|
|
CurWord = 0;
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2007-05-01 04:59:06 +00:00
|
|
|
// Skip over any bits that are already consumed.
|
2013-02-09 06:52:14 +00:00
|
|
|
if (WordBitNo) {
|
2013-02-09 07:37:59 +00:00
|
|
|
if (sizeof(word_t) > 4)
|
2013-02-09 06:52:14 +00:00
|
|
|
Read64(WordBitNo);
|
|
|
|
else
|
|
|
|
Read(WordBitNo);
|
|
|
|
}
|
2007-05-01 04:59:06 +00:00
|
|
|
}
|
2012-11-25 15:23:39 +00:00
|
|
|
|
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
uint32_t Read(unsigned NumBits) {
|
2013-02-09 07:07:29 +00:00
|
|
|
assert(NumBits && NumBits <= 32 &&
|
|
|
|
"Cannot return zero or more than 32 bits!");
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
// If the field is fully contained by CurWord, return it quickly.
|
|
|
|
if (BitsInCurWord >= NumBits) {
|
2013-02-09 06:52:14 +00:00
|
|
|
uint32_t R = uint32_t(CurWord) & (~0U >> (32-NumBits));
|
2007-04-22 06:22:05 +00:00
|
|
|
CurWord >>= NumBits;
|
|
|
|
BitsInCurWord -= NumBits;
|
|
|
|
return R;
|
|
|
|
}
|
|
|
|
|
|
|
|
// If we run out of data, stop at the end of the stream.
|
2012-02-06 22:30:29 +00:00
|
|
|
if (isEndPos(NextChar)) {
|
2007-04-22 06:22:05 +00:00
|
|
|
CurWord = 0;
|
|
|
|
BitsInCurWord = 0;
|
|
|
|
return 0;
|
|
|
|
}
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2013-02-09 06:52:14 +00:00
|
|
|
uint32_t R = uint32_t(CurWord);
|
2007-04-22 06:22:05 +00:00
|
|
|
|
|
|
|
// Read the next word from the stream.
|
2013-02-13 04:53:40 +00:00
|
|
|
uint8_t Array[sizeof(word_t)] = {0};
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2013-05-24 10:54:58 +00:00
|
|
|
BitStream->getBitcodeBytes().readBytes(NextChar, sizeof(Array), Array);
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2013-02-10 06:36:29 +00:00
|
|
|
// Handle big-endian byte-swapping if necessary.
|
2013-02-13 04:53:40 +00:00
|
|
|
support::detail::packed_endian_specific_integral
|
|
|
|
<word_t, support::little, support::unaligned> EndianValue;
|
|
|
|
memcpy(&EndianValue, Array, sizeof(Array));
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2013-02-13 04:53:40 +00:00
|
|
|
CurWord = EndianValue;
|
2013-02-09 06:52:14 +00:00
|
|
|
|
|
|
|
NextChar += sizeof(word_t);
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
// Extract NumBits-BitsInCurWord from what we just read.
|
|
|
|
unsigned BitsLeft = NumBits-BitsInCurWord;
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2013-02-09 06:52:14 +00:00
|
|
|
// Be careful here, BitsLeft is in the range [1..32]/[1..64] inclusive.
|
|
|
|
R |= uint32_t((CurWord & (word_t(~0ULL) >> (sizeof(word_t)*8-BitsLeft)))
|
|
|
|
<< BitsInCurWord);
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2013-02-09 06:52:14 +00:00
|
|
|
// BitsLeft bits have just been used up from CurWord. BitsLeft is in the
|
|
|
|
// range [1..32]/[1..64] so be careful how we shift.
|
|
|
|
if (BitsLeft != sizeof(word_t)*8)
|
2007-04-22 06:22:05 +00:00
|
|
|
CurWord >>= BitsLeft;
|
|
|
|
else
|
|
|
|
CurWord = 0;
|
2013-02-09 06:52:14 +00:00
|
|
|
BitsInCurWord = sizeof(word_t)*8-BitsLeft;
|
2007-04-22 06:22:05 +00:00
|
|
|
return R;
|
|
|
|
}
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2007-04-23 18:57:58 +00:00
|
|
|
uint64_t Read64(unsigned NumBits) {
|
|
|
|
if (NumBits <= 32) return Read(NumBits);
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2007-04-23 18:57:58 +00:00
|
|
|
uint64_t V = Read(32);
|
|
|
|
return V | (uint64_t)Read(NumBits-32) << 32;
|
|
|
|
}
|
2009-02-20 23:04:06 +00:00
|
|
|
|
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;
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
NextBit += NumBits-1;
|
|
|
|
Piece = Read(NumBits);
|
|
|
|
}
|
|
|
|
}
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2009-07-07 18:39:49 +00: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 06:22:05 +00:00
|
|
|
uint64_t ReadVBR64(unsigned NumBits) {
|
2009-07-07 18:39:49 +00:00
|
|
|
uint32_t Piece = Read(NumBits);
|
|
|
|
if ((Piece & (1U << (NumBits-1))) == 0)
|
|
|
|
return uint64_t(Piece);
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
uint64_t Result = 0;
|
|
|
|
unsigned NextBit = 0;
|
|
|
|
while (1) {
|
2009-07-07 18:39:49 +00:00
|
|
|
Result |= uint64_t(Piece & ((1U << (NumBits-1))-1)) << NextBit;
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2009-07-07 18:39:49 +00:00
|
|
|
if ((Piece & (1U << (NumBits-1))) == 0)
|
2007-04-22 06:22:05 +00:00
|
|
|
return Result;
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
NextBit += NumBits-1;
|
|
|
|
Piece = Read(NumBits);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-09 06:52:14 +00:00
|
|
|
private:
|
2013-01-21 18:04:19 +00:00
|
|
|
void SkipToFourByteBoundary() {
|
2013-02-09 06:52:14 +00:00
|
|
|
// If word_t is 64-bits and if we've read less than 32 bits, just dump
|
|
|
|
// the bits we have up to the next 32-bit boundary.
|
|
|
|
if (sizeof(word_t) > 4 &&
|
2013-02-09 07:37:59 +00:00
|
|
|
BitsInCurWord >= 32) {
|
2013-02-09 06:52:14 +00:00
|
|
|
CurWord >>= BitsInCurWord-32;
|
|
|
|
BitsInCurWord = 32;
|
|
|
|
return;
|
|
|
|
}
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
BitsInCurWord = 0;
|
|
|
|
CurWord = 0;
|
|
|
|
}
|
2013-02-09 06:52:14 +00:00
|
|
|
public:
|
2007-04-22 06:22:05 +00:00
|
|
|
|
|
|
|
unsigned ReadCode() {
|
|
|
|
return Read(CurCodeSize);
|
|
|
|
}
|
|
|
|
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2007-04-22 06:22:05 +00: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-20 23:04:06 +00:00
|
|
|
|
2007-04-22 06:22:05 +00: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);
|
2013-01-21 18:04:19 +00:00
|
|
|
SkipToFourByteBoundary();
|
2013-02-09 06:52:14 +00:00
|
|
|
unsigned NumFourBytes = Read(bitc::BlockSizeWidth);
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
// Check that the block wasn't partially defined, and that the offset isn't
|
|
|
|
// bogus.
|
2013-02-09 06:52:14 +00:00
|
|
|
size_t SkipTo = GetCurrentBitNo() + NumFourBytes*4*8;
|
|
|
|
if (AtEndOfStream() || !canSkipToPos(SkipTo/8))
|
2007-04-22 06:22:05 +00:00
|
|
|
return true;
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2013-02-09 06:52:14 +00:00
|
|
|
JumpToBit(SkipTo);
|
2007-04-22 06:22:05 +00:00
|
|
|
return false;
|
|
|
|
}
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2007-11-10 02:00:38 +00:00
|
|
|
/// EnterSubBlock - Having read the ENTER_SUBBLOCK abbrevid, enter
|
Change encoding of instruction operands in bitcode binaries to be relative
to the instruction position. The old encoding would give an absolute
ID which counts up within a function, and only resets at the next function.
I.e., Instead of having:
... = icmp eq i32 n-1, n-2
br i1 ..., label %bb1, label %bb2
it will now be roughly:
... = icmp eq i32 1, 2
br i1 1, label %bb1, label %bb2
This makes it so that ids remain relatively small and can be encoded
in fewer bits.
With this encoding, forward reference operands will be given
negative-valued IDs. Use signed VBRs for the most common case
of forward references, which is phi instructions.
To retain backward compatibility we bump the bitcode version
from 0 to 1 to distinguish between the different encodings.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@165739 91177308-0d34-0410-b5e6-96231b3b80d8
2012-10-11 20:20:40 +00:00
|
|
|
/// the block, and return true if the block has an error.
|
2013-01-19 18:19:39 +00:00
|
|
|
bool EnterSubBlock(unsigned BlockID, unsigned *NumWordsP = 0);
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
bool ReadBlockEnd() {
|
|
|
|
if (BlockScope.empty()) return true;
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
// Block tail:
|
|
|
|
// [END_BLOCK, <align4bytes>]
|
2013-01-21 18:04:19 +00:00
|
|
|
SkipToFourByteBoundary();
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2013-01-19 21:35:24 +00:00
|
|
|
popBlockScope();
|
2007-11-10 02:00:38 +00:00
|
|
|
return false;
|
|
|
|
}
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2007-11-10 02:00:38 +00:00
|
|
|
private:
|
2013-01-19 21:35:24 +00:00
|
|
|
|
|
|
|
void popBlockScope() {
|
2007-04-23 18:57:58 +00:00
|
|
|
CurCodeSize = BlockScope.back().PrevCodeSize;
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2007-04-23 18:57:58 +00:00
|
|
|
// Delete abbrevs from popped scope.
|
2008-05-05 18:30:58 +00:00
|
|
|
for (unsigned i = 0, e = static_cast<unsigned>(CurAbbrevs.size());
|
|
|
|
i != e; ++i)
|
2007-05-04 17:35:19 +00:00
|
|
|
CurAbbrevs[i]->dropRef();
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2007-04-23 18:57:58 +00:00
|
|
|
BlockScope.back().PrevAbbrevs.swap(CurAbbrevs);
|
2007-04-22 06:22:05 +00:00
|
|
|
BlockScope.pop_back();
|
2009-02-20 23:04:06 +00:00
|
|
|
}
|
|
|
|
|
2013-01-20 02:12:39 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
2007-04-22 06:22:05 +00:00
|
|
|
// Record Processing
|
|
|
|
//===--------------------------------------------------------------------===//
|
2009-02-20 23:04:06 +00:00
|
|
|
|
2007-05-04 20:33:47 +00:00
|
|
|
private:
|
2013-01-20 00:00:00 +00:00
|
|
|
void readAbbreviatedLiteral(const BitCodeAbbrevOp &Op,
|
|
|
|
SmallVectorImpl<uint64_t> &Vals);
|
|
|
|
void readAbbreviatedField(const BitCodeAbbrevOp &Op,
|
|
|
|
SmallVectorImpl<uint64_t> &Vals);
|
|
|
|
void skipAbbreviatedField(const BitCodeAbbrevOp &Op);
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2007-05-04 20:33:47 +00:00
|
|
|
public:
|
2009-04-06 22:43:46 +00:00
|
|
|
|
2012-11-25 15:23:39 +00:00
|
|
|
/// getAbbrev - Return the abbreviation for the specified AbbrevId.
|
2009-04-06 22:43:46 +00:00
|
|
|
const BitCodeAbbrev *getAbbrev(unsigned AbbrevID) {
|
|
|
|
unsigned AbbrevNo = AbbrevID-bitc::FIRST_APPLICATION_ABBREV;
|
|
|
|
assert(AbbrevNo < CurAbbrevs.size() && "Invalid abbrev #!");
|
|
|
|
return CurAbbrevs[AbbrevNo];
|
|
|
|
}
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2013-01-20 00:00:00 +00:00
|
|
|
/// skipRecord - Read the current record and discard it.
|
|
|
|
void skipRecord(unsigned AbbrevID);
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2013-01-20 01:06:48 +00:00
|
|
|
unsigned readRecord(unsigned AbbrevID, SmallVectorImpl<uint64_t> &Vals,
|
|
|
|
StringRef *Blob = 0);
|
|
|
|
|
2007-04-23 18:57:58 +00:00
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
// Abbrev Processing
|
|
|
|
//===--------------------------------------------------------------------===//
|
2013-01-19 18:19:39 +00:00
|
|
|
void ReadAbbrevRecord();
|
2013-04-01 02:28:07 +00:00
|
|
|
|
2013-01-19 18:19:39 +00:00
|
|
|
bool ReadBlockInfoBlock();
|
2007-04-22 06:22:05 +00:00
|
|
|
};
|
2012-11-25 15:23:39 +00:00
|
|
|
|
2007-04-22 06:22:05 +00:00
|
|
|
} // End llvm namespace
|
|
|
|
|
|
|
|
#endif
|