//
// The LLVM Compiler Infrastructure
//
-// This file was developed by Chris Lattner and is distributed under
-// the University of Illinois Open Source License. See LICENSE.TXT for details.
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
OS << "#endif\n\n";
}
-static void EmitTypeForValueType(std::ostream &OS, MVT::ValueType VT) {
- if (MVT::isInteger(VT)) {
- unsigned BitWidth = MVT::getSizeInBits(VT);
+static void EmitTypeForValueType(std::ostream &OS, MVT::SimpleValueType VT) {
+ if (MVT(VT).isInteger()) {
+ unsigned BitWidth = MVT(VT).getSizeInBits();
OS << "IntegerType::get(" << BitWidth << ")";
} else if (VT == MVT::Other) {
// MVT::OtherVT is used to mean the empty struct type here.
static void EmitTypeGenerate(std::ostream &OS, Record *ArgType,
unsigned &ArgNo) {
- MVT::ValueType VT = getValueType(ArgType->getValueAsDef("VT"));
+ MVT::SimpleValueType VT = getValueType(ArgType->getValueAsDef("VT"));
if (ArgType->isSubClassOf("LLVMMatchType")) {
unsigned Number = ArgType->getValueAsInt("Number");
// increment it when we actually hit an overloaded type. Getting this wrong
// leads to very subtle bugs!
OS << "Tys[" << ArgNo++ << "]";
- } else if (MVT::isVector(VT)) {
+ } else if (MVT(VT).isVector()) {
+ MVT VVT = VT;
OS << "VectorType::get(";
- EmitTypeForValueType(OS, MVT::getVectorElementType(VT));
- OS << ", " << MVT::getVectorNumElements(VT) << ")";
+ EmitTypeForValueType(OS, VVT.getVectorElementType().getSimpleVT());
+ OS << ", " << VVT.getVectorNumElements() << ")";
} else if (VT == MVT::iPTR) {
- OS << "PointerType::get(";
+ OS << "PointerType::getUnqual(";
EmitTypeGenerate(OS, ArgType->getValueAsDef("ElTy"), ArgNo);
OS << ")";
+ } else if (VT == MVT::iPTRAny) {
+ // Make sure the user has passed us an argument type to overload. If not,
+ // treat it as an ordinary (not overloaded) intrinsic.
+ OS << "(" << ArgNo << " < numTys) ? Tys[" << ArgNo
+ << "] : PointerType::getUnqual(";
+ EmitTypeGenerate(OS, ArgType->getValueAsDef("ElTy"), ArgNo);
+ OS << ")";
+ ++ArgNo;
} else if (VT == MVT::isVoid) {
if (ArgNo == 0)
OS << "Type::VoidTy";
assert(Number < j && "Invalid matching number!");
OS << "~" << Number;
} else {
- MVT::ValueType VT = getValueType(ArgType->getValueAsDef("VT"));
+ MVT::SimpleValueType VT = getValueType(ArgType->getValueAsDef("VT"));
OS << getEnumName(VT);
if (VT == MVT::isVoid && j != 0 && j != ArgTypes.size()-1)
throw "Var arg type not last argument";
OS << "#endif\n\n";
}
+/// EmitBuiltinComparisons - Emit comparisons to determine whether the specified
+/// sorted range of builtin names is equal to the current builtin. This breaks
+/// it down into a simple tree.
+///
+/// At this point, we know that all the builtins in the range have the same name
+/// for the first 'CharStart' characters. Only the end of the name needs to be
+/// discriminated.
+typedef std::map<std::string, std::string>::const_iterator StrMapIterator;
+static void EmitBuiltinComparisons(StrMapIterator Start, StrMapIterator End,
+ unsigned CharStart, unsigned Indent,
+ std::ostream &OS) {
+ if (Start == End) return; // empty range.
+
+ // Determine what, if anything, is the same about all these strings.
+ std::string CommonString = Start->first;
+ unsigned NumInRange = 0;
+ for (StrMapIterator I = Start; I != End; ++I, ++NumInRange) {
+ // Find the first character that doesn't match.
+ const std::string &ThisStr = I->first;
+ unsigned NonMatchChar = CharStart;
+ while (NonMatchChar < CommonString.size() &&
+ NonMatchChar < ThisStr.size() &&
+ CommonString[NonMatchChar] == ThisStr[NonMatchChar])
+ ++NonMatchChar;
+ // Truncate off pieces that don't match.
+ CommonString.resize(NonMatchChar);
+ }
+
+ // Just compare the rest of the string.
+ if (NumInRange == 1) {
+ if (CharStart != CommonString.size()) {
+ OS << std::string(Indent*2, ' ') << "if (!memcmp(BuiltinName";
+ if (CharStart) OS << "+" << CharStart;
+ OS << ", \"" << (CommonString.c_str()+CharStart) << "\", ";
+ OS << CommonString.size() - CharStart << "))\n";
+ ++Indent;
+ }
+ OS << std::string(Indent*2, ' ') << "IntrinsicID = Intrinsic::";
+ OS << Start->second << ";\n";
+ return;
+ }
+
+ // At this point, we potentially have a common prefix for these builtins, emit
+ // a check for this common prefix.
+ if (CommonString.size() != CharStart) {
+ OS << std::string(Indent*2, ' ') << "if (!memcmp(BuiltinName";
+ if (CharStart) OS << "+" << CharStart;
+ OS << ", \"" << (CommonString.c_str()+CharStart) << "\", ";
+ OS << CommonString.size()-CharStart << ")) {\n";
+
+ EmitBuiltinComparisons(Start, End, CommonString.size(), Indent+1, OS);
+ OS << std::string(Indent*2, ' ') << "}\n";
+ return;
+ }
+
+ // Output a switch on the character that differs across the set.
+ OS << std::string(Indent*2, ' ') << "switch (BuiltinName[" << CharStart
+ << "]) {";
+ if (CharStart)
+ OS << " // \"" << std::string(Start->first.begin(),
+ Start->first.begin()+CharStart) << "\"";
+ OS << "\n";
+
+ for (StrMapIterator I = Start; I != End; ) {
+ char ThisChar = I->first[CharStart];
+ OS << std::string(Indent*2, ' ') << "case '" << ThisChar << "':\n";
+ // Figure out the range that has this common character.
+ StrMapIterator NextChar = I;
+ for (++NextChar; NextChar != End && NextChar->first[CharStart] == ThisChar;
+ ++NextChar)
+ /*empty*/;
+ EmitBuiltinComparisons(I, NextChar, CharStart+1, Indent+1, OS);
+ OS << std::string(Indent*2, ' ') << " break;\n";
+ I = NextChar;
+ }
+ OS << std::string(Indent*2, ' ') << "}\n";
+}
+
+/// EmitTargetBuiltins - All of the builtins in the specified map are for the
+/// same target, and we already checked it.
+static void EmitTargetBuiltins(const std::map<std::string, std::string> &BIM,
+ std::ostream &OS) {
+ // Rearrange the builtins by length.
+ std::vector<std::map<std::string, std::string> > BuiltinsByLen;
+ BuiltinsByLen.reserve(100);
+
+ for (StrMapIterator I = BIM.begin(), E = BIM.end(); I != E; ++I) {
+ if (I->first.size() >= BuiltinsByLen.size())
+ BuiltinsByLen.resize(I->first.size()+1);
+ BuiltinsByLen[I->first.size()].insert(*I);
+ }
+
+ // Now that we have all the builtins by their length, emit a switch stmt.
+ OS << " switch (strlen(BuiltinName)) {\n";
+ OS << " default: break;\n";
+ for (unsigned i = 0, e = BuiltinsByLen.size(); i != e; ++i) {
+ if (BuiltinsByLen[i].empty()) continue;
+ OS << " case " << i << ":\n";
+ EmitBuiltinComparisons(BuiltinsByLen[i].begin(), BuiltinsByLen[i].end(),
+ 0, 3, OS);
+ OS << " break;\n";
+ }
+ OS << " }\n";
+}
+
+
void IntrinsicEmitter::
EmitIntrinsicToGCCBuiltinMap(const std::vector<CodeGenIntrinsic> &Ints,
std::ostream &OS) {
- typedef std::map<std::pair<std::string, std::string>, std::string> BIMTy;
+ typedef std::map<std::string, std::map<std::string, std::string> > BIMTy;
BIMTy BuiltinMap;
for (unsigned i = 0, e = Ints.size(); i != e; ++i) {
if (!Ints[i].GCCBuiltinName.empty()) {
- std::pair<std::string, std::string> Key(Ints[i].GCCBuiltinName,
- Ints[i].TargetPrefix);
- if (!BuiltinMap.insert(std::make_pair(Key, Ints[i].EnumName)).second)
+ // Get the map for this target prefix.
+ std::map<std::string, std::string> &BIM =BuiltinMap[Ints[i].TargetPrefix];
+
+ if (!BIM.insert(std::make_pair(Ints[i].GCCBuiltinName,
+ Ints[i].EnumName)).second)
throw "Intrinsic '" + Ints[i].TheDef->getName() +
"': duplicate GCC builtin name!";
}
OS << "// in as BuiltinName, and a target prefix (e.g. 'ppc') is passed\n";
OS << "// in as TargetPrefix. The result is assigned to 'IntrinsicID'.\n";
OS << "#ifdef GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN\n";
- OS << " if (0);\n";
+ OS << " IntrinsicID = Intrinsic::not_intrinsic;\n";
+
// Note: this could emit significantly better code if we cared.
for (BIMTy::iterator I = BuiltinMap.begin(), E = BuiltinMap.end();I != E;++I){
- OS << " else if (";
- if (!I->first.second.empty()) {
- // Emit this as a strcmp, so it can be constant folded by the FE.
- OS << "!strcmp(TargetPrefix, \"" << I->first.second << "\") &&\n"
- << " ";
- }
- OS << "!strcmp(BuiltinName, \"" << I->first.first << "\"))\n";
- OS << " IntrinsicID = Intrinsic::" << I->second << ";\n";
+ OS << " ";
+ if (!I->first.empty())
+ OS << "if (!strcmp(TargetPrefix, \"" << I->first << "\")) ";
+ else
+ OS << "/* Target Independent Builtins */ ";
+ OS << "{\n";
+
+ // Emit the comparisons for this target prefix.
+ EmitTargetBuiltins(I->second, OS);
+ OS << " }\n";
}
- OS << " else\n";
- OS << " IntrinsicID = Intrinsic::not_intrinsic;\n";
OS << "#endif\n\n";
}
projects / oota-llvm.git / blobdiff