Introduce MetadataBase, a base class for MDString and MDNode.

Derive MDString directly from MetadataBase. 
Introduce new bitcode block to hold metadata.




git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76759 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Devang Patel 2009-07-22 17:43:22 +00:00
parent dbe77cfa0b
commit e54abc90fe
16 changed files with 231 additions and 130 deletions

View File

@ -33,7 +33,8 @@ namespace bitc {
CONSTANTS_BLOCK_ID, CONSTANTS_BLOCK_ID,
FUNCTION_BLOCK_ID, FUNCTION_BLOCK_ID,
TYPE_SYMTAB_BLOCK_ID, TYPE_SYMTAB_BLOCK_ID,
VALUE_SYMTAB_BLOCK_ID VALUE_SYMTAB_BLOCK_ID,
METADATA_BLOCK_ID
}; };
@ -106,6 +107,9 @@ namespace bitc {
VST_CODE_BBENTRY = 2 // VST_BBENTRY: [bbid, namechar x N] VST_CODE_BBENTRY = 2 // VST_BBENTRY: [bbid, namechar x N]
}; };
enum MetadataCodes {
METADATA_STRING = 1 // MDString: [values]
};
// The constants block (CONSTANTS_BLOCK_ID) describes emission for each // The constants block (CONSTANTS_BLOCK_ID) describes emission for each
// constant and maintains an implicit current type value. // constant and maintains an implicit current type value.
enum ConstantsCodes { enum ConstantsCodes {
@ -128,7 +132,6 @@ namespace bitc {
CST_CODE_CE_CMP = 17, // CE_CMP: [opty, opval, opval, pred] CST_CODE_CE_CMP = 17, // CE_CMP: [opty, opval, opval, pred]
CST_CODE_INLINEASM = 18, // INLINEASM: [sideeffect,asmstr,conststr] CST_CODE_INLINEASM = 18, // INLINEASM: [sideeffect,asmstr,conststr]
CST_CODE_CE_SHUFVEC_EX = 19, // SHUFVEC_EX: [opty, opval, opval, opval] CST_CODE_CE_SHUFVEC_EX = 19, // SHUFVEC_EX: [opty, opval, opval, opval]
CST_CODE_MDSTRING = 20, // MDSTRING: [values]
CST_CODE_MDNODE = 21 // MDNODE: [n x (type num, value num)] CST_CODE_MDNODE = 21 // MDNODE: [n x (type num, value num)]
}; };

View File

@ -715,58 +715,6 @@ public:
return V->getValueID() == UndefValueVal; return V->getValueID() == UndefValueVal;
} }
}; };
//===----------------------------------------------------------------------===//
/// MDString - a single uniqued string.
/// These are used to efficiently contain a byte sequence for metadata.
///
class MDString : public Constant {
MDString(const MDString &); // DO NOT IMPLEMENT
void *operator new(size_t, unsigned); // DO NOT IMPLEMENT
MDString(const char *begin, const char *end);
const char *StrBegin, *StrEnd;
friend class LLVMContextImpl;
protected:
// allocate space for exactly zero operands
void *operator new(size_t s) {
return User::operator new(s, 0);
}
public:
/// size() - The length of this string.
///
intptr_t size() const { return StrEnd - StrBegin; }
/// begin() - Pointer to the first byte of the string.
///
const char *begin() const { return StrBegin; }
/// end() - Pointer to one byte past the end of the string.
///
const char *end() const { return StrEnd; }
/// getType() specialization - Type is always MetadataTy.
///
inline const Type *getType() const {
return Type::MetadataTy;
}
/// isNullValue - Return true if this is the value that would be returned by
/// getNullValue. This always returns false because getNullValue will never
/// produce metadata.
virtual bool isNullValue() const {
return false;
}
virtual void destroyConstant();
/// Methods for support type inquiry through isa, cast, and dyn_cast:
static inline bool classof(const MDString *) { return true; }
static bool classof(const Value *V) {
return V->getValueID() == MDStringVal;
}
};
} // End llvm namespace } // End llvm namespace
#endif #endif

View File

@ -30,6 +30,65 @@
namespace llvm { namespace llvm {
//===----------------------------------------------------------------------===//
// MetadataBase - A base class for MDNode and MDString.
class MetadataBase : public Value {
public:
MetadataBase(const Type *Ty, unsigned scid)
: Value(Ty, scid) {}
/// getType() specialization - Type is always MetadataTy.
///
inline const Type *getType() const {
return Type::MetadataTy;
}
/// isNullValue - Return true if this is the value that would be returned by
/// getNullValue. This always returns false because getNullValue will never
/// produce metadata.
virtual bool isNullValue() const {
return false;
}
/// Methods for support type inquiry through isa, cast, and dyn_cast:
static inline bool classof(const MDString *) { return true; }
static bool classof(const Value *V) {
return V->getValueID() == MDStringVal;
}
};
//===----------------------------------------------------------------------===//
/// MDString - a single uniqued string.
/// These are used to efficiently contain a byte sequence for metadata.
///
class MDString : public MetadataBase {
MDString(const MDString &); // DO NOT IMPLEMENT
const char *StrBegin, *StrEnd;
friend class LLVMContextImpl;
public:
MDString(const char *begin, const char *end)
: MetadataBase(Type::MetadataTy, Value::MDStringVal),
StrBegin(begin), StrEnd(end) {}
intptr_t size() const { return StrEnd - StrBegin; }
/// begin() - Pointer to the first byte of the string.
///
const char *begin() const { return StrBegin; }
/// end() - Pointer to one byte past the end of the string.
///
const char *end() const { return StrEnd; }
/// Methods for support type inquiry through isa, cast, and dyn_cast:
static inline bool classof(const MDString *) { return true; }
static bool classof(const Value *V) {
return V->getValueID() == MDStringVal;
}
};
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
/// MDNode - a tuple of other values. /// MDNode - a tuple of other values.
/// These contain a list of the Constants that represent the metadata. The /// These contain a list of the Constants that represent the metadata. The

View File

@ -219,8 +219,8 @@ public:
ConstantStructVal, // This is an instance of ConstantStruct ConstantStructVal, // This is an instance of ConstantStruct
ConstantVectorVal, // This is an instance of ConstantVector ConstantVectorVal, // This is an instance of ConstantVector
ConstantPointerNullVal, // This is an instance of ConstantPointerNull ConstantPointerNullVal, // This is an instance of ConstantPointerNull
MDStringVal, // This is an instance of MDString
MDNodeVal, // This is an instance of MDNode MDNodeVal, // This is an instance of MDNode
MDStringVal, // This is an instance of MDString
InlineAsmVal, // This is an instance of InlineAsm InlineAsmVal, // This is an instance of InlineAsm
PseudoSourceValueVal, // This is an instance of PseudoSourceValue PseudoSourceValueVal, // This is an instance of PseudoSourceValue
InstructionVal, // This is an instance of Instruction InstructionVal, // This is an instance of Instruction

View File

@ -42,7 +42,8 @@ namespace llvm {
t_Null, t_Undef, t_Zero, // No value. t_Null, t_Undef, t_Zero, // No value.
t_EmptyArray, // No value: [] t_EmptyArray, // No value: []
t_Constant, // Value in ConstantVal. t_Constant, // Value in ConstantVal.
t_InlineAsm // Value in StrVal/StrVal2/UIntVal. t_InlineAsm, // Value in StrVal/StrVal2/UIntVal.
t_Metadata // Value in MetadataVal.
} Kind; } Kind;
LLParser::LocTy Loc; LLParser::LocTy Loc;
@ -51,6 +52,7 @@ namespace llvm {
APSInt APSIntVal; APSInt APSIntVal;
APFloat APFloatVal; APFloat APFloatVal;
Constant *ConstantVal; Constant *ConstantVal;
MetadataBase *MetadataVal;
ValID() : APFloatVal(0.0) {} ValID() : APFloatVal(0.0) {}
}; };
} }
@ -368,7 +370,7 @@ bool LLParser::ParseNamedGlobal() {
// MDString: // MDString:
// ::= '!' STRINGCONSTANT // ::= '!' STRINGCONSTANT
bool LLParser::ParseMDString(Constant *&MDS) { bool LLParser::ParseMDString(MetadataBase *&MDS) {
std::string Str; std::string Str;
if (ParseStringConstant(Str)) return true; if (ParseStringConstant(Str)) return true;
MDS = Context.getMDString(Str.data(), Str.data() + Str.size()); MDS = Context.getMDString(Str.data(), Str.data() + Str.size());
@ -1694,7 +1696,8 @@ bool LLParser::ParseValID(ValID &ID) {
// MDString: // MDString:
// ::= '!' STRINGCONSTANT // ::= '!' STRINGCONSTANT
if (ParseMDString(ID.ConstantVal)) return true; if (ParseMDString(ID.MetadataVal)) return true;
ID.Kind = ValID::t_Metadata;
return false; return false;
} }
case lltok::APSInt: case lltok::APSInt:
@ -2108,6 +2111,8 @@ bool LLParser::ConvertGlobalValIDToValue(const Type *Ty, ValID &ID,
switch (ID.Kind) { switch (ID.Kind) {
default: llvm_unreachable("Unknown ValID!"); default: llvm_unreachable("Unknown ValID!");
case ValID::t_Metadata:
return Error(ID.Loc, "invalid use of metadata");
case ValID::t_LocalID: case ValID::t_LocalID:
case ValID::t_LocalName: case ValID::t_LocalName:
return Error(ID.Loc, "invalid use of function-local name"); return Error(ID.Loc, "invalid use of function-local name");
@ -2224,6 +2229,8 @@ bool LLParser::ConvertValIDToValue(const Type *Ty, ValID &ID, Value *&V,
return Error(ID.Loc, "invalid type for inline asm constraint string"); return Error(ID.Loc, "invalid type for inline asm constraint string");
V = InlineAsm::get(FTy, ID.StrVal, ID.StrVal2, ID.UIntVal); V = InlineAsm::get(FTy, ID.StrVal, ID.StrVal2, ID.UIntVal);
return false; return false;
} else if (ID.Kind == ValID::t_Metadata) {
V = ID.MetadataVal;
} else { } else {
Constant *C; Constant *C;
if (ConvertGlobalValIDToValue(Ty, ID, C)) return true; if (ConvertGlobalValIDToValue(Ty, ID, C)) return true;
@ -3450,11 +3457,25 @@ bool LLParser::ParseMDNodeVector(SmallVectorImpl<Value*> &Elts) {
if (Lex.getKind() == lltok::kw_null) { if (Lex.getKind() == lltok::kw_null) {
Lex.Lex(); Lex.Lex();
V = 0; V = 0;
} else {
PATypeHolder Ty(Type::VoidTy);
if (ParseType(Ty)) return true;
if (Lex.getKind() == lltok::Metadata) {
Lex.Lex();
Constant *Node = 0;
if (!ParseMDNode(Node))
V = Node;
else {
MetadataBase *MDS = 0;
if (ParseMDString(MDS)) return true;
V = MDS;
}
} else { } else {
Constant *C; Constant *C;
if (ParseGlobalTypeAndValue(C)) return true; if (ParseGlobalValue(Ty, C)) return true;
V = C; V = C;
} }
}
Elts.push_back(V); Elts.push_back(V);
} while (EatIfPresent(lltok::comma)); } while (EatIfPresent(lltok::comma));

View File

@ -28,6 +28,7 @@ namespace llvm {
class Instruction; class Instruction;
class Constant; class Constant;
class GlobalValue; class GlobalValue;
class MetadataBase;
class MDString; class MDString;
class MDNode; class MDNode;
struct ValID; struct ValID;
@ -147,7 +148,7 @@ namespace llvm {
bool HasLinkage, unsigned Visibility); bool HasLinkage, unsigned Visibility);
bool ParseAlias(const std::string &Name, LocTy Loc, unsigned Visibility); bool ParseAlias(const std::string &Name, LocTy Loc, unsigned Visibility);
bool ParseStandaloneMetadata(); bool ParseStandaloneMetadata();
bool ParseMDString(Constant *&S); bool ParseMDString(MetadataBase *&S);
bool ParseMDNode(Constant *&N); bool ParseMDNode(Constant *&N);
// Type Parsing. // Type Parsing.

View File

@ -699,6 +699,56 @@ bool BitcodeReader::ParseValueSymbolTable() {
} }
} }
bool BitcodeReader::ParseMetadata() {
unsigned NextValueNo = ValueList.size();
if (Stream.EnterSubBlock(bitc::METADATA_BLOCK_ID))
return Error("Malformed block record");
SmallVector<uint64_t, 64> Record;
// Read all the records.
while (1) {
unsigned Code = Stream.ReadCode();
if (Code == bitc::END_BLOCK) {
if (Stream.ReadBlockEnd())
return Error("Error at end of PARAMATTR block");
return false;
}
if (Code == bitc::ENTER_SUBBLOCK) {
// No known subblocks, always skip them.
Stream.ReadSubBlockID();
if (Stream.SkipBlock())
return Error("Malformed block record");
continue;
}
if (Code == bitc::DEFINE_ABBREV) {
Stream.ReadAbbrevRecord();
continue;
}
// Read a record.
Record.clear();
switch (Stream.ReadRecord(Code, Record)) {
default: // Default behavior: ignore.
break;
case bitc::METADATA_STRING: {
unsigned MDStringLength = Record.size();
SmallString<8> String;
String.resize(MDStringLength);
for (unsigned i = 0; i != MDStringLength; ++i)
String[i] = Record[i];
Value *V =
Context.getMDString(String.c_str(), String.c_str() + MDStringLength);
ValueList.AssignValue(V, NextValueNo++);
break;
}
}
}
}
/// DecodeSignRotatedValue - Decode a signed value stored with the sign bit in /// DecodeSignRotatedValue - Decode a signed value stored with the sign bit in
/// the LSB for dense VBR encoding. /// the LSB for dense VBR encoding.
static uint64_t DecodeSignRotatedValue(uint64_t V) { static uint64_t DecodeSignRotatedValue(uint64_t V) {
@ -1028,15 +1078,6 @@ bool BitcodeReader::ParseConstants() {
AsmStr, ConstrStr, HasSideEffects); AsmStr, ConstrStr, HasSideEffects);
break; break;
} }
case bitc::CST_CODE_MDSTRING: {
unsigned MDStringLength = Record.size();
SmallString<8> String;
String.resize(MDStringLength);
for (unsigned i = 0; i != MDStringLength; ++i)
String[i] = Record[i];
V = Context.getMDString(String.c_str(), String.c_str() + MDStringLength);
break;
}
case bitc::CST_CODE_MDNODE: { case bitc::CST_CODE_MDNODE: {
if (Record.empty() || Record.size() % 2 == 1) if (Record.empty() || Record.size() % 2 == 1)
return Error("Invalid CST_MDNODE record"); return Error("Invalid CST_MDNODE record");
@ -1171,6 +1212,10 @@ bool BitcodeReader::ParseModule(const std::string &ModuleID) {
if (ParseConstants() || ResolveGlobalAndAliasInits()) if (ParseConstants() || ResolveGlobalAndAliasInits())
return true; return true;
break; break;
case bitc::METADATA_BLOCK_ID:
if (ParseMetadata())
return true;
break;
case bitc::FUNCTION_BLOCK_ID: case bitc::FUNCTION_BLOCK_ID:
// If this is the first function body we've seen, reverse the // If this is the first function body we've seen, reverse the
// FunctionsWithBodies list. // FunctionsWithBodies list.

View File

@ -210,6 +210,7 @@ private:
bool RememberAndSkipFunctionBody(); bool RememberAndSkipFunctionBody();
bool ParseFunctionBody(Function *F); bool ParseFunctionBody(Function *F);
bool ResolveGlobalAndAliasInits(); bool ResolveGlobalAndAliasInits();
bool ParseMetadata();
}; };
} // End llvm namespace } // End llvm namespace

View File

@ -473,6 +473,42 @@ static uint64_t GetOptimizationFlags(const Value *V) {
return Flags; return Flags;
} }
static void WriteModuleMetadata(const ValueEnumerator &VE,
BitstreamWriter &Stream) {
const ValueEnumerator::ValueList &Vals = VE.getValues();
bool StartedMetadataBlock = false;
unsigned MDSAbbrev = 0;
for (unsigned i = 0, e = Vals.size(); i != e; ++i) {
if (const MDString *MDS = dyn_cast<MDString>(Vals[i].first)) {
if (!StartedMetadataBlock) {
Stream.EnterSubblock(bitc::METADATA_BLOCK_ID, 3);
// Abbrev for CST_CODE_STRING.
BitCodeAbbrev *Abbv = new BitCodeAbbrev();
Abbv->Add(BitCodeAbbrevOp(bitc::METADATA_STRING));
Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 8));
MDSAbbrev = Stream.EmitAbbrev(Abbv);
StartedMetadataBlock = true;
}
SmallVector<unsigned, 64> StrVals;
StrVals.clear();
// Code: [strchar x N]
const char *StrBegin = MDS->begin();
for (unsigned i = 0, e = MDS->size(); i != e; ++i)
StrVals.push_back(StrBegin[i]);
// Emit the finished record.
Stream.EmitRecord(bitc::METADATA_STRING, StrVals, MDSAbbrev);
}
}
if (StartedMetadataBlock)
Stream.ExitBlock();
}
static void WriteConstants(unsigned FirstVal, unsigned LastVal, static void WriteConstants(unsigned FirstVal, unsigned LastVal,
const ValueEnumerator &VE, const ValueEnumerator &VE,
BitstreamWriter &Stream, bool isGlobal) { BitstreamWriter &Stream, bool isGlobal) {
@ -484,8 +520,6 @@ static void WriteConstants(unsigned FirstVal, unsigned LastVal,
unsigned String8Abbrev = 0; unsigned String8Abbrev = 0;
unsigned CString7Abbrev = 0; unsigned CString7Abbrev = 0;
unsigned CString6Abbrev = 0; unsigned CString6Abbrev = 0;
unsigned MDString8Abbrev = 0;
unsigned MDString6Abbrev = 0;
// If this is a constant pool for the module, emit module-specific abbrevs. // If this is a constant pool for the module, emit module-specific abbrevs.
if (isGlobal) { if (isGlobal) {
// Abbrev for CST_CODE_AGGREGATE. // Abbrev for CST_CODE_AGGREGATE.
@ -513,19 +547,6 @@ static void WriteConstants(unsigned FirstVal, unsigned LastVal,
Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array)); Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Char6)); Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Char6));
CString6Abbrev = Stream.EmitAbbrev(Abbv); CString6Abbrev = Stream.EmitAbbrev(Abbv);
// Abbrev for CST_CODE_MDSTRING.
Abbv = new BitCodeAbbrev();
Abbv->Add(BitCodeAbbrevOp(bitc::CST_CODE_MDSTRING));
Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Fixed, 8));
MDString8Abbrev = Stream.EmitAbbrev(Abbv);
// Abbrev for CST_CODE_MDSTRING.
Abbv = new BitCodeAbbrev();
Abbv->Add(BitCodeAbbrevOp(bitc::CST_CODE_MDSTRING));
Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Array));
Abbv->Add(BitCodeAbbrevOp(BitCodeAbbrevOp::Char6));
MDString6Abbrev = Stream.EmitAbbrev(Abbv);
} }
SmallVector<uint64_t, 64> Record; SmallVector<uint64_t, 64> Record;
@ -534,6 +555,8 @@ static void WriteConstants(unsigned FirstVal, unsigned LastVal,
const Type *LastTy = 0; const Type *LastTy = 0;
for (unsigned i = FirstVal; i != LastVal; ++i) { for (unsigned i = FirstVal; i != LastVal; ++i) {
const Value *V = Vals[i].first; const Value *V = Vals[i].first;
if (isa<MDString>(V))
continue;
// If we need to switch types, do so now. // If we need to switch types, do so now.
if (V->getType() != LastTy) { if (V->getType() != LastTy) {
LastTy = V->getType(); LastTy = V->getType();
@ -713,16 +736,6 @@ static void WriteConstants(unsigned FirstVal, unsigned LastVal,
Record.push_back(CE->getPredicate()); Record.push_back(CE->getPredicate());
break; break;
} }
} else if (const MDString *S = dyn_cast<MDString>(C)) {
Code = bitc::CST_CODE_MDSTRING;
AbbrevToUse = MDString6Abbrev;
for (unsigned i = 0, e = S->size(); i != e; ++i) {
char V = S->begin()[i];
Record.push_back(V);
if (!BitCodeAbbrevOp::isChar6(V))
AbbrevToUse = MDString8Abbrev;
}
} else if (const MDNode *N = dyn_cast<MDNode>(C)) { } else if (const MDNode *N = dyn_cast<MDNode>(C)) {
Code = bitc::CST_CODE_MDNODE; Code = bitc::CST_CODE_MDNODE;
for (unsigned i = 0, e = N->getNumElements(); i != e; ++i) { for (unsigned i = 0, e = N->getNumElements(); i != e; ++i) {
@ -1329,6 +1342,9 @@ static void WriteModule(const Module *M, BitstreamWriter &Stream) {
// descriptors for global variables, and function prototype info. // descriptors for global variables, and function prototype info.
WriteModuleInfo(M, VE, Stream); WriteModuleInfo(M, VE, Stream);
// Emit metadata.
WriteModuleMetadata(VE, Stream);
// Emit constants. // Emit constants.
WriteModuleConstants(VE, Stream); WriteModuleConstants(VE, Stream);

View File

@ -259,10 +259,14 @@ void ValueEnumerator::EnumerateOperandType(const Value *V) {
EnumerateOperandType(C->getOperand(i)); EnumerateOperandType(C->getOperand(i));
if (const MDNode *N = dyn_cast<MDNode>(V)) { if (const MDNode *N = dyn_cast<MDNode>(V)) {
for (unsigned i = 0, e = N->getNumElements(); i != e; ++i) for (unsigned i = 0, e = N->getNumElements(); i != e; ++i) {
EnumerateOperandType(N->getElement(i)); Value *Elem = N->getElement(i);
if (Elem)
EnumerateOperandType(Elem);
} }
} }
} else if (const MDString *MDS = dyn_cast<MDString>(V))
EnumerateValue(V);
} }
void ValueEnumerator::EnumerateAttributes(const AttrListPtr &PAL) { void ValueEnumerator::EnumerateAttributes(const AttrListPtr &PAL) {

View File

@ -1063,13 +1063,6 @@ static void WriteConstantInt(raw_ostream &Out, const Constant *CV,
return; return;
} }
if (const MDString *S = dyn_cast<MDString>(CV)) {
Out << "!\"";
PrintEscapedString(S->begin(), S->size(), Out);
Out << '"';
return;
}
if (const MDNode *Node = dyn_cast<MDNode>(CV)) { if (const MDNode *Node = dyn_cast<MDNode>(CV)) {
Out << "!" << Machine->getMetadataSlot(Node); Out << "!" << Machine->getMetadataSlot(Node);
return; return;
@ -1139,6 +1132,15 @@ static void WriteAsOperandInternal(raw_ostream &Out, const Value *V,
return; return;
} }
if (const MDString *MDS = dyn_cast<MDString>(V)) {
TypePrinter.print(MDS->getType(), Out);
Out << ' ';
Out << "!\"";
PrintEscapedString(MDS->begin(), MDS->size(), Out);
Out << '"';
return;
}
char Prefix = '%'; char Prefix = '%';
int Slot; int Slot;
if (Machine) { if (Machine) {
@ -1973,6 +1975,13 @@ void Value::print(raw_ostream &OS, AssemblyAnnotationWriter *AAW) const {
SlotTracker SlotTable(GV->getParent()); SlotTracker SlotTable(GV->getParent());
AssemblyWriter W(OS, SlotTable, GV->getParent(), AAW); AssemblyWriter W(OS, SlotTable, GV->getParent(), AAW);
W.write(GV); W.write(GV);
} else if (const MDString *MDS = dyn_cast<MDString>(this)) {
TypePrinting TypePrinter;
TypePrinter.print(MDS->getType(), OS);
OS << ' ';
OS << "!\"";
PrintEscapedString(MDS->begin(), MDS->size(), OS);
OS << '"';
} else if (const MDNode *N = dyn_cast<MDNode>(this)) { } else if (const MDNode *N = dyn_cast<MDNode>(this)) {
SlotTracker SlotTable(N); SlotTracker SlotTable(N);
TypePrinting TypePrinter; TypePrinting TypePrinter;

View File

@ -1323,18 +1323,6 @@ void UndefValue::destroyConstant() {
destroyConstantImpl(); destroyConstantImpl();
} }
//---- MDString::get() implementation
//
MDString::MDString(const char *begin, const char *end)
: Constant(Type::MetadataTy, MDStringVal, 0, 0),
StrBegin(begin), StrEnd(end) {}
void MDString::destroyConstant() {
getType()->getContext().erase(this);
destroyConstantImpl();
}
//---- MDNode::get() implementation //---- MDNode::get() implementation
// //

View File

@ -18,6 +18,7 @@
#include "llvm/Instructions.h" #include "llvm/Instructions.h"
#include "llvm/Operator.h" #include "llvm/Operator.h"
#include "llvm/Module.h" #include "llvm/Module.h"
#include "llvm/MDNode.h"
#include "llvm/ValueSymbolTable.h" #include "llvm/ValueSymbolTable.h"
#include "llvm/Support/Debug.h" #include "llvm/Support/Debug.h"
#include "llvm/Support/ErrorHandling.h" #include "llvm/Support/ErrorHandling.h"
@ -140,7 +141,9 @@ static bool getSymTab(Value *V, ValueSymbolTable *&ST) {
} else if (Argument *A = dyn_cast<Argument>(V)) { } else if (Argument *A = dyn_cast<Argument>(V)) {
if (Function *P = A->getParent()) if (Function *P = A->getParent())
ST = &P->getValueSymbolTable(); ST = &P->getValueSymbolTable();
} else { } else if (isa<MDString>(V))
return true;
else {
assert(isa<Constant>(V) && "Unknown value type!"); assert(isa<Constant>(V) && "Unknown value type!");
return true; // no name is setable for this. return true; // no name is setable for this.
} }

View File

@ -1,11 +1,13 @@
; RUN: llvm-as < %s | llvm-dis | not grep undef ; RUN: llvm-as < %s | llvm-dis | not grep undef
declare i8 @llvm.something(metadata %a) declare i8 @llvm.something(metadata %a, i32 %b, metadata %c)
@llvm.foo = internal constant metadata !{i17 123, null, metadata !"foobar"} ;; Simple MDNode
!21 = metadata !{i17 123, null, metadata !"foobar"}
define void @foo() { define void @foo() {
%x = call i8 @llvm.something(metadata !{metadata !"f\00oa", i42 123}) ;; Intrinsic using MDNode and MDString
%x = call i8 @llvm.something(metadata !21, i32 42, metadata !"bar")
ret void ret void
} }

View File

@ -1,4 +0,0 @@
; RUN: llvm-as < %s | llc -f -o /dev/null
@llvm.foo = constant metadata !{i17 123, null, metadata !"foobar"}
@llvm.bar = constant metadata !"barbar"

View File

@ -98,6 +98,7 @@ static const char *GetBlockName(unsigned BlockID,
case bitc::FUNCTION_BLOCK_ID: return "FUNCTION_BLOCK"; case bitc::FUNCTION_BLOCK_ID: return "FUNCTION_BLOCK";
case bitc::TYPE_SYMTAB_BLOCK_ID: return "TYPE_SYMTAB"; case bitc::TYPE_SYMTAB_BLOCK_ID: return "TYPE_SYMTAB";
case bitc::VALUE_SYMTAB_BLOCK_ID: return "VALUE_SYMTAB"; case bitc::VALUE_SYMTAB_BLOCK_ID: return "VALUE_SYMTAB";
case bitc::METADATA_BLOCK_ID: return "METADATA_BLOCK";
} }
} }
@ -194,7 +195,6 @@ static const char *GetCodeName(unsigned CodeID, unsigned BlockID,
case bitc::CST_CODE_CE_CMP: return "CE_CMP"; case bitc::CST_CODE_CE_CMP: return "CE_CMP";
case bitc::CST_CODE_INLINEASM: return "INLINEASM"; case bitc::CST_CODE_INLINEASM: return "INLINEASM";
case bitc::CST_CODE_CE_SHUFVEC_EX: return "CE_SHUFVEC_EX"; case bitc::CST_CODE_CE_SHUFVEC_EX: return "CE_SHUFVEC_EX";
case bitc::CST_CODE_MDSTRING: return "MDSTRING";
case bitc::CST_CODE_MDNODE: return "MDNODE"; case bitc::CST_CODE_MDNODE: return "MDNODE";
} }
case bitc::FUNCTION_BLOCK_ID: case bitc::FUNCTION_BLOCK_ID:
@ -244,6 +244,11 @@ static const char *GetCodeName(unsigned CodeID, unsigned BlockID,
case bitc::VST_CODE_ENTRY: return "ENTRY"; case bitc::VST_CODE_ENTRY: return "ENTRY";
case bitc::VST_CODE_BBENTRY: return "BBENTRY"; case bitc::VST_CODE_BBENTRY: return "BBENTRY";
} }
case bitc::METADATA_BLOCK_ID:
switch(CodeID) {
default:return 0;
case bitc::METADATA_STRING: return "MDSTRING";
}
} }
} }