RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2024-11-26 13:10:34 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

parse intrinsic types

Browse Source 
autogenerate an intrinsic verifier


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@26666 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2006-03-09 22:05:04 +00:00
parent 627fb57e19
commit f97a00e681
3 changed files with 50 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
utils/TableGen/CodeGenIntrinsics.h
View File

@ -26,6 +26,10 @@ namespace llvm {
std::string Name; // The name of the LLVM function "llvm.bswap.i32"
std::string EnumName; // The name of the enum "bswap_i32"
/// ArgTypes - The type primitive enum value for the return value and all
/// of the arguments. These are things like Type::UIntTyID.
std::vector<std::string> ArgTypes;
// Memory mod/ref behavior of this intrinsic.
enum {
NoMem, ReadArgMem, ReadMem, WriteArgMem, WriteMem

47
utils/TableGen/IntrinsicEmitter.cpp
View File

@ -42,6 +42,18 @@ CodeGenIntrinsic::CodeGenIntrinsic(Record *R) {
else
Name += EnumName[i];
}
// Parse the list of argument types.
ListInit *TypeList = R->getValueAsListInit("Types");
for (unsigned i = 0, e = TypeList->getSize(); i != e; ++i) {
DefInit *DI = dynamic_cast<DefInit*>(TypeList->getElement(i));
assert(DI && "Invalid list type!");
Record *TyEl = DI->getDef();
assert(TyEl->isSubClassOf("LLVMType") && "Expected a type!");
ArgTypes.push_back(TyEl->getValueAsString("TypeVal"));
}
if (ArgTypes.size() == 0)
throw "Intrinsic '"+DefName+"' needs at least a type for the ret value!";
}
//===----------------------------------------------------------------------===//
@ -58,6 +70,9 @@ void IntrinsicEmitter::run(std::ostream &OS) {
// Emit the function name recognizer.
EmitFnNameRecognizer(Ints, OS);
// Emit the intrinsic verifier.
EmitVerifier(Ints, OS);
}
void IntrinsicEmitter::EmitEnumInfo(const std::vector<CodeGenIntrinsic> &Ints,
@ -84,8 +99,7 @@ EmitFnNameRecognizer(const std::vector<CodeGenIntrinsic> &Ints,
OS << "// Function name -> enum value recognizer code.\n";
OS << "#ifdef GET_FUNCTION_RECOGNIZER\n";
OS << " switch (Name[5]) {\n";
OS << " // The 'llvm.' namespace is reserved!\n";
OS << " default: assert(0 && \"Unknown LLVM intrinsic function!\");\n";
OS << " default: break;\n";
// Emit the intrinsics in sorted order.
char LastChar = 0;
for (std::map<std::string, std::string>::iterator I = IntMapping.begin(),
@ -102,6 +116,33 @@ EmitFnNameRecognizer(const std::vector<CodeGenIntrinsic> &Ints,
<< I->second << ";\n";
}
OS << " }\n";
OS << "#endif\n";
OS << " // The 'llvm.' namespace is reserved!\n";
OS << " assert(0 && \"Unknown LLVM intrinsic function!\");\n";
OS << "#endif\n\n";
}
void IntrinsicEmitter::EmitVerifier(const std::vector<CodeGenIntrinsic> &Ints,
std::ostream &OS) {
OS << "// Verifier::visitIntrinsicFunctionCall code.\n";
OS << "#ifdef GET_INTRINSIC_VERIFIER\n";
OS << " switch (ID) {\n";
OS << " default: assert(0 && \"Invalid intrinsic!\");\n";
for (unsigned i = 0, e = Ints.size(); i != e; ++i) {
OS << " case Intrinsic::" << Ints[i].EnumName << ":\t\t// "
<< Ints[i].Name << "\n";
OS << " Assert1(FTy->getNumParams() == " << Ints[i].ArgTypes.size()-1
<< ",\n"
<< " \"Illegal # arguments for intrinsic function!\", IF);\n";
OS << " Assert1(FTy->getReturnType()->getTypeID() == "
<< Ints[i].ArgTypes[0] << ",\n"
<< " \"Illegal result type!\", IF);\n";
for (unsigned j = 1; j != Ints[i].ArgTypes.size(); ++j)
OS << " Assert1(FTy->getParamType(" << j-1 << ")->getTypeID() == "
<< Ints[i].ArgTypes[j] << ",\n"
<< " \"Illegal result type!\", IF);\n";
OS << " break;\n";
}
OS << " }\n";
OS << "#endif\n\n";
}

3
utils/TableGen/IntrinsicEmitter.h
View File

@ -31,7 +31,8 @@ namespace llvm {
void EmitFnNameRecognizer(const std::vector<CodeGenIntrinsic> &Ints,
std::ostream &OS);
void EmitVerifier(const std::vector<CodeGenIntrinsic> &Ints,
std::ostream &OS);
};
} // End llvm namespace