Files
llvm/lib/Bytecode/Reader/ConstantReader.cpp
T

363 lines
14 KiB
C++
Raw Normal View History

//===- ConstantReader.cpp - Code to constants and types ====---------------===//
//
// The LLVM Compiler Infrastructure
//
// This file was developed by the LLVM research group and is distributed under
// the University of Illinois Open Source License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
2001-06-06 20:29:01 +00:00
//
// This file implements functionality to deserialize constants and types from
// bytecode files.
2001-06-06 20:29:01 +00:00
//
2001-12-03 22:26:30 +00:00
//===----------------------------------------------------------------------===//
2001-06-06 20:29:01 +00:00
#include "ReaderInternals.h"
2001-06-06 20:29:01 +00:00
#include "llvm/Module.h"
2002-08-17 22:02:41 +00:00
#include "llvm/Constants.h"
#include "llvm/Support/GetElementPtrTypeIterator.h"
2001-09-07 16:37:43 +00:00
#include <algorithm>
using namespace llvm;
const Type *BytecodeParser::parseTypeConstant(const unsigned char *&Buf,
const unsigned char *EndBuf) {
unsigned PrimType = read_vbr_uint(Buf, EndBuf);
2001-06-06 20:29:01 +00:00
2001-09-07 16:37:43 +00:00
const Type *Val = 0;
if ((Val = Type::getPrimitiveType((Type::TypeID)PrimType)))
2001-09-07 16:37:43 +00:00
return Val;
2001-06-06 20:29:01 +00:00
switch (PrimType) {
2002-03-29 03:51:11 +00:00
case Type::FunctionTyID: {
const Type *RetType = getType(read_vbr_uint(Buf, EndBuf));
2001-06-06 20:29:01 +00:00
unsigned NumParams = read_vbr_uint(Buf, EndBuf);
2001-06-06 20:29:01 +00:00
2002-01-20 22:54:45 +00:00
std::vector<const Type*> Params;
while (NumParams--)
Params.push_back(getType(read_vbr_uint(Buf, EndBuf)));
2001-06-06 20:29:01 +00:00
bool isVarArg = Params.size() && Params.back() == Type::VoidTy;
if (isVarArg) Params.pop_back();
2002-03-29 03:51:11 +00:00
return FunctionType::get(RetType, Params, isVarArg);
2001-06-06 20:29:01 +00:00
}
case Type::ArrayTyID: {
unsigned ElTyp = read_vbr_uint(Buf, EndBuf);
2001-06-06 20:29:01 +00:00
const Type *ElementType = getType(ElTyp);
unsigned NumElements = read_vbr_uint(Buf, EndBuf);
2001-10-24 06:21:22 +00:00
BCR_TRACE(5, "Array Type Constant #" << ElTyp << " size="
2002-01-20 22:54:45 +00:00
<< NumElements << "\n");
2001-10-24 06:21:22 +00:00
return ArrayType::get(ElementType, NumElements);
2001-06-06 20:29:01 +00:00
}
case Type::StructTyID: {
2002-01-20 22:54:45 +00:00
std::vector<const Type*> Elements;
unsigned Typ = read_vbr_uint(Buf, EndBuf);
2001-06-06 20:29:01 +00:00
while (Typ) { // List is terminated by void/0 typeid
Elements.push_back(getType(Typ));
Typ = read_vbr_uint(Buf, EndBuf);
2001-06-06 20:29:01 +00:00
}
2001-10-24 06:21:22 +00:00
return StructType::get(Elements);
2001-06-06 20:29:01 +00:00
}
case Type::PointerTyID: {
unsigned ElTyp = read_vbr_uint(Buf, EndBuf);
2003-09-03 20:25:27 +00:00
BCR_TRACE(5, "Pointer Type Constant #" << ElTyp << "\n");
return PointerType::get(getType(ElTyp));
2001-06-06 20:29:01 +00:00
}
case Type::OpaqueTyID: {
2001-10-24 06:21:22 +00:00
return OpaqueType::get();
}
2001-06-06 20:29:01 +00:00
default:
std::cerr << __FILE__ << ":" << __LINE__
2002-06-30 16:04:37 +00:00
<< ": Don't know how to deserialize"
<< " primitive Type " << PrimType << "\n";
return Val;
2001-06-06 20:29:01 +00:00
}
2001-09-07 16:37:43 +00:00
}
2003-09-11 22:34:13 +00:00
// parseTypeConstants - We have to use this weird code to handle recursive
2001-09-07 16:37:43 +00:00
// types. We know that recursive types will only reference the current slab of
// values in the type plane, but they can forward reference types before they
// have been read. For example, Type #0 might be '{ Ty#1 }' and Type #1 might
// be 'Ty#0*'. When reading Type #0, type number one doesn't exist. To fix
2003-09-11 22:34:13 +00:00
// this ugly problem, we pessimistically insert an opaque type for each type we
2001-09-07 16:37:43 +00:00
// are about to read. This means that forward references will resolve to
// something and when we reread the type later, we can replace the opaque type
// with a new resolved concrete type.
//
2003-09-22 23:38:23 +00:00
void BytecodeParser::parseTypeConstants(const unsigned char *&Buf,
const unsigned char *EndBuf,
2001-09-07 16:37:43 +00:00
TypeValuesListTy &Tab,
unsigned NumEntries) {
assert(Tab.size() == 0 && "should not have read type constants in before!");
2001-09-07 16:37:43 +00:00
// Insert a bunch of opaque types to be resolved later...
Tab.reserve(NumEntries);
2003-12-26 06:16:00 +00:00
for (unsigned i = 0; i != NumEntries; ++i)
Tab.push_back(OpaqueType::get());
2001-09-07 16:37:43 +00:00
// Loop through reading all of the types. Forward types will make use of the
// opaque types just inserted.
//
2003-12-26 06:16:00 +00:00
for (unsigned i = 0; i != NumEntries; ++i) {
const Type *NewTy = parseTypeConstant(Buf, EndBuf), *OldTy = Tab[i].get();
2003-12-26 06:16:00 +00:00
if (NewTy == 0) throw std::string("Couldn't parse type!");
2001-10-24 06:21:22 +00:00
BCR_TRACE(4, "#" << i << ": Read Type Constant: '" << NewTy <<
"' Replacing: " << OldTy << "\n");
2001-09-07 16:37:43 +00:00
// Don't insertValue the new type... instead we want to replace the opaque
// type with the new concrete value...
//
// Refine the abstract type to the new type. This causes all uses of the
2003-12-26 06:16:00 +00:00
// abstract type to use NewTy. This also will cause the opaque type to be
// deleted...
2001-09-07 16:37:43 +00:00
//
2003-12-26 06:16:00 +00:00
cast<DerivedType>(const_cast<Type*>(OldTy))->refineAbstractTypeTo(NewTy);
2001-09-07 16:37:43 +00:00
// This should have replace the old opaque type with the new type in the
// value table... or with a preexisting type that was already in the system
assert(Tab[i] != OldTy && "refineAbstractType didn't work!");
2001-09-07 16:37:43 +00:00
}
BCR_TRACE(5, "Resulting types:\n");
2001-10-24 06:21:22 +00:00
for (unsigned i = 0; i < NumEntries; ++i) {
BCR_TRACE(5, (void*)Tab[i].get() << " - " << Tab[i].get() << "\n");
2001-09-07 16:37:43 +00:00
}
2001-06-06 20:29:01 +00:00
}
2001-09-07 16:37:43 +00:00
Constant *BytecodeParser::parseConstantValue(const unsigned char *&Buf,
const unsigned char *EndBuf,
unsigned TypeID) {
2002-07-14 23:05:09 +00:00
// We must check for a ConstantExpr before switching by type because
// a ConstantExpr can be of any type, and has no explicit value.
//
// 0 if not expr; numArgs if is expr
unsigned isExprNumArgs = read_vbr_uint(Buf, EndBuf);
2002-07-14 23:05:09 +00:00
if (isExprNumArgs) {
2002-07-30 18:54:22 +00:00
// FIXME: Encoding of constant exprs could be much more compact!
std::vector<Constant*> ArgVec;
ArgVec.reserve(isExprNumArgs);
unsigned Opcode = read_vbr_uint(Buf, EndBuf);
2002-07-14 23:05:09 +00:00
// Read the slot number and types of each of the arguments
2002-07-30 18:54:22 +00:00
for (unsigned i = 0; i != isExprNumArgs; ++i) {
unsigned ArgValSlot = read_vbr_uint(Buf, EndBuf);
unsigned ArgTypeSlot = read_vbr_uint(Buf, EndBuf);
BCR_TRACE(4, "CE Arg " << i << ": Type: '" << *getType(ArgTypeSlot)
<< "' slot: " << ArgValSlot << "\n");
2002-07-14 23:05:09 +00:00
// Get the arg value from its slot if it exists, otherwise a placeholder
ArgVec.push_back(getConstantValue(ArgTypeSlot, ArgValSlot));
2002-07-14 23:05:09 +00:00
}
// Construct a ConstantExpr of the appropriate kind
if (isExprNumArgs == 1) { // All one-operand expressions
assert(Opcode == Instruction::Cast);
return ConstantExpr::getCast(ArgVec[0], getType(TypeID));
2002-07-30 18:54:22 +00:00
} else if (Opcode == Instruction::GetElementPtr) { // GetElementPtr
std::vector<Constant*> IdxList(ArgVec.begin()+1, ArgVec.end());
if (hasRestrictedGEPTypes) {
const Type *BaseTy = ArgVec[0]->getType();
generic_gep_type_iterator<std::vector<Constant*>::iterator>
GTI = gep_type_begin(BaseTy, IdxList.begin(), IdxList.end()),
E = gep_type_end(BaseTy, IdxList.begin(), IdxList.end());
for (unsigned i = 0; GTI != E; ++GTI, ++i)
if (isa<StructType>(*GTI)) {
if (IdxList[i]->getType() != Type::UByteTy)
throw std::string("Invalid index for getelementptr!");
IdxList[i] = ConstantExpr::getCast(IdxList[i], Type::UIntTy);
}
}
return ConstantExpr::getGetElementPtr(ArgVec[0], IdxList);
} else if (Opcode == Instruction::Select) {
assert(ArgVec.size() == 3);
return ConstantExpr::getSelect(ArgVec[0], ArgVec[1], ArgVec[2]);
2002-07-14 23:05:09 +00:00
} else { // All other 2-operand expressions
return ConstantExpr::get(Opcode, ArgVec[0], ArgVec[1]);
2002-07-14 23:05:09 +00:00
}
}
// Ok, not an ConstantExpr. We now know how to read the given type...
const Type *Ty = getType(TypeID);
switch (Ty->getTypeID()) {
2001-06-06 20:29:01 +00:00
case Type::BoolTyID: {
unsigned Val = read_vbr_uint(Buf, EndBuf);
2003-09-22 23:38:23 +00:00
if (Val != 0 && Val != 1) throw std::string("Invalid boolean value read.");
return ConstantBool::get(Val == 1);
2001-06-06 20:29:01 +00:00
}
case Type::UByteTyID: // Unsigned integer types...
case Type::UShortTyID:
case Type::UIntTyID: {
unsigned Val = read_vbr_uint(Buf, EndBuf);
2003-09-22 23:38:23 +00:00
if (!ConstantUInt::isValueValidForType(Ty, Val))
throw std::string("Invalid unsigned byte/short/int read.");
return ConstantUInt::get(Ty, Val);
2001-06-06 20:29:01 +00:00
}
case Type::ULongTyID: {
return ConstantUInt::get(Ty, read_vbr_uint64(Buf, EndBuf));
2001-06-06 20:29:01 +00:00
}
case Type::SByteTyID: // Signed integer types...
2001-06-06 20:29:01 +00:00
case Type::ShortTyID:
case Type::IntTyID: {
case Type::LongTyID:
int64_t Val = read_vbr_int64(Buf, EndBuf);
2003-09-22 23:38:23 +00:00
if (!ConstantSInt::isValueValidForType(Ty, Val))
throw std::string("Invalid signed byte/short/int/long read.");
return ConstantSInt::get(Ty, Val);
2001-06-06 20:29:01 +00:00
}
case Type::FloatTyID: {
float F;
input_data(Buf, EndBuf, &F, &F+1);
return ConstantFP::get(Ty, F);
}
case Type::DoubleTyID: {
double Val;
input_data(Buf, EndBuf, &Val, &Val+1);
return ConstantFP::get(Ty, Val);
}
2001-06-06 20:29:01 +00:00
case Type::TypeTyID:
throw std::string("Type constants shouldn't live in constant table!");
2001-06-06 20:29:01 +00:00
case Type::ArrayTyID: {
const ArrayType *AT = cast<ArrayType>(Ty);
2001-12-14 16:30:51 +00:00
unsigned NumElements = AT->getNumElements();
unsigned TypeSlot = getTypeSlot(AT->getElementType());
2002-01-20 22:54:45 +00:00
std::vector<Constant*> Elements;
Elements.reserve(NumElements);
while (NumElements--) // Read all of the elements of the constant.
Elements.push_back(getConstantValue(TypeSlot,
read_vbr_uint(Buf, EndBuf)));
return ConstantArray::get(AT, Elements);
2001-06-06 20:29:01 +00:00
}
case Type::StructTyID: {
2001-10-02 03:41:24 +00:00
const StructType *ST = cast<StructType>(Ty);
2001-06-06 20:29:01 +00:00
2002-01-20 22:54:45 +00:00
std::vector<Constant *> Elements;
Elements.reserve(ST->getNumElements());
for (unsigned i = 0; i != ST->getNumElements(); ++i)
Elements.push_back(getConstantValue(ST->getElementType(i),
read_vbr_uint(Buf, EndBuf)));
2001-06-06 20:29:01 +00:00
return ConstantStruct::get(ST, Elements);
2001-06-06 20:29:01 +00:00
}
case Type::PointerTyID: { // ConstantPointerRef value...
const PointerType *PT = cast<PointerType>(Ty);
unsigned Slot = read_vbr_uint(Buf, EndBuf);
BCR_TRACE(4, "CPR: Type: '" << Ty << "' slot: " << Slot << "\n");
// Check to see if we have already read this global variable...
Value *Val = getValue(TypeID, Slot, false);
GlobalValue *GV;
if (Val) {
if (!(GV = dyn_cast<GlobalValue>(Val)))
throw std::string("Value of ConstantPointerRef not in ValueTable!");
BCR_TRACE(5, "Value Found in ValueTable!\n");
} else {
throw std::string("Forward references are not allowed here.");
}
2002-07-14 23:05:09 +00:00
return ConstantPointerRef::get(GV);
}
2001-06-06 20:29:01 +00:00
default:
2003-09-22 23:38:23 +00:00
throw std::string("Don't know how to deserialize constant value of type '"+
Ty->getDescription());
2001-06-06 20:29:01 +00:00
}
}
2003-09-22 23:38:23 +00:00
void BytecodeParser::ParseGlobalTypes(const unsigned char *&Buf,
const unsigned char *EndBuf) {
2003-03-19 20:54:26 +00:00
ValueTable T;
2003-09-22 23:38:23 +00:00
ParseConstantPool(Buf, EndBuf, T, ModuleTypeValues);
2003-03-19 20:54:26 +00:00
}
void BytecodeParser::parseStringConstants(const unsigned char *&Buf,
const unsigned char *EndBuf,
unsigned NumEntries, ValueTable &Tab){
for (; NumEntries; --NumEntries) {
unsigned Typ = read_vbr_uint(Buf, EndBuf);
const Type *Ty = getType(Typ);
if (!isa<ArrayType>(Ty))
throw std::string("String constant data invalid!");
const ArrayType *ATy = cast<ArrayType>(Ty);
if (ATy->getElementType() != Type::SByteTy &&
ATy->getElementType() != Type::UByteTy)
throw std::string("String constant data invalid!");
// Read character data. The type tells us how long the string is.
char Data[ATy->getNumElements()];
input_data(Buf, EndBuf, Data, Data+ATy->getNumElements());
std::vector<Constant*> Elements(ATy->getNumElements());
if (ATy->getElementType() == Type::SByteTy)
for (unsigned i = 0, e = ATy->getNumElements(); i != e; ++i)
2004-01-15 18:39:06 +00:00
Elements[i] = ConstantSInt::get(Type::SByteTy, (signed char)Data[i]);
else
for (unsigned i = 0, e = ATy->getNumElements(); i != e; ++i)
2004-01-15 18:39:06 +00:00
Elements[i] = ConstantUInt::get(Type::UByteTy, (unsigned char)Data[i]);
// Create the constant, inserting it as needed.
Constant *C = ConstantArray::get(ATy, Elements);
unsigned Slot = insertValue(C, Typ, Tab);
ResolveReferencesToConstant(C, Slot);
}
}
2003-09-22 23:38:23 +00:00
void BytecodeParser::ParseConstantPool(const unsigned char *&Buf,
const unsigned char *EndBuf,
2003-09-22 23:38:23 +00:00
ValueTable &Tab,
TypeValuesListTy &TypeTab) {
2001-06-06 20:29:01 +00:00
while (Buf < EndBuf) {
unsigned NumEntries = read_vbr_uint(Buf, EndBuf);
unsigned Typ = read_vbr_uint(Buf, EndBuf);
2001-09-07 16:37:43 +00:00
if (Typ == Type::TypeTyID) {
BCR_TRACE(3, "Type: 'type' NumEntries: " << NumEntries << "\n");
2003-09-22 23:38:23 +00:00
parseTypeConstants(Buf, EndBuf, TypeTab, NumEntries);
} else if (Typ == Type::VoidTyID) {
assert(&Tab == &ModuleValues && "Cannot read strings in functions!");
parseStringConstants(Buf, EndBuf, NumEntries, Tab);
2001-09-07 16:37:43 +00:00
} else {
BCR_TRACE(3, "Type: '" << *getType(Typ) << "' NumEntries: "
<< NumEntries << "\n");
2001-10-24 06:21:22 +00:00
for (unsigned i = 0; i < NumEntries; ++i) {
Constant *C = parseConstantValue(Buf, EndBuf, Typ);
2003-03-19 20:54:26 +00:00
assert(C && "parseConstantValue returned NULL!");
2003-09-22 23:38:23 +00:00
BCR_TRACE(4, "Read Constant: '" << *C << "'\n");
2003-10-13 14:34:59 +00:00
unsigned Slot = insertValue(C, Typ, Tab);
// If we are reading a function constant table, make sure that we adjust
// the slot number to be the real global constant number.
//
2003-11-19 17:20:42 +00:00
if (&Tab != &ModuleValues && Typ < ModuleValues.size() &&
ModuleValues[Typ])
2003-03-19 20:54:26 +00:00
Slot += ModuleValues[Typ]->size();
ResolveReferencesToConstant(C, Slot);
2001-09-07 16:37:43 +00:00
}
2001-06-06 20:29:01 +00:00
}
}
2003-09-22 23:38:23 +00:00
if (Buf > EndBuf) throw std::string("Read past end of buffer.");
2001-06-06 20:29:01 +00:00
}