Chris Lattner | 9e493cf | 2006-03-03 02:32:46 +0000 | [diff] [blame] | 1 | //===- IntrinsicEmitter.cpp - Generate intrinsic information --------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 3060910 | 2007-12-29 20:37:13 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Chris Lattner | 9e493cf | 2006-03-03 02:32:46 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This tablegen backend emits information about intrinsic functions. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Chandler Carruth | 6994040 | 2007-08-04 01:51:18 +0000 | [diff] [blame] | 14 | #include "CodeGenTarget.h" |
Chris Lattner | 9e493cf | 2006-03-03 02:32:46 +0000 | [diff] [blame] | 15 | #include "IntrinsicEmitter.h" |
Peter Collingbourne | 7c78888 | 2011-10-01 16:41:13 +0000 | [diff] [blame] | 16 | #include "llvm/TableGen/Record.h" |
Douglas Gregor | f657da2 | 2012-05-02 17:32:48 +0000 | [diff] [blame] | 17 | #include "llvm/TableGen/StringMatcher.h" |
Chris Lattner | 18faf5d | 2006-03-13 22:38:57 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/StringExtras.h" |
Jeff Cohen | 71c3bc3 | 2006-03-15 02:51:05 +0000 | [diff] [blame] | 19 | #include <algorithm> |
Chris Lattner | 9e493cf | 2006-03-03 02:32:46 +0000 | [diff] [blame] | 20 | using namespace llvm; |
| 21 | |
| 22 | //===----------------------------------------------------------------------===// |
Chris Lattner | 9e493cf | 2006-03-03 02:32:46 +0000 | [diff] [blame] | 23 | // IntrinsicEmitter Implementation |
| 24 | //===----------------------------------------------------------------------===// |
| 25 | |
Daniel Dunbar | 1a55180 | 2009-07-03 00:10:29 +0000 | [diff] [blame] | 26 | void IntrinsicEmitter::run(raw_ostream &OS) { |
Chris Lattner | 9e493cf | 2006-03-03 02:32:46 +0000 | [diff] [blame] | 27 | EmitSourceFileHeader("Intrinsic Function Source Fragment", OS); |
| 28 | |
Dale Johannesen | 49de982 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 29 | std::vector<CodeGenIntrinsic> Ints = LoadIntrinsics(Records, TargetOnly); |
| 30 | |
| 31 | if (TargetOnly && !Ints.empty()) |
| 32 | TargetPrefix = Ints[0].TargetPrefix; |
Chris Lattner | 9e493cf | 2006-03-03 02:32:46 +0000 | [diff] [blame] | 33 | |
Douglas Gregor | 7d9663c | 2010-05-11 06:17:44 +0000 | [diff] [blame] | 34 | EmitPrefix(OS); |
| 35 | |
Chris Lattner | 9e493cf | 2006-03-03 02:32:46 +0000 | [diff] [blame] | 36 | // Emit the enum information. |
| 37 | EmitEnumInfo(Ints, OS); |
Chris Lattner | fda6aff | 2006-03-15 01:55:21 +0000 | [diff] [blame] | 38 | |
| 39 | // Emit the intrinsic ID -> name table. |
| 40 | EmitIntrinsicToNameTable(Ints, OS); |
Mon P Wang | 0d52ff1 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 41 | |
| 42 | // Emit the intrinsic ID -> overload table. |
| 43 | EmitIntrinsicToOverloadTable(Ints, OS); |
| 44 | |
Chris Lattner | 9b843b2 | 2006-03-09 20:34:19 +0000 | [diff] [blame] | 45 | // Emit the function name recognizer. |
| 46 | EmitFnNameRecognizer(Ints, OS); |
Chris Lattner | fda6aff | 2006-03-15 01:55:21 +0000 | [diff] [blame] | 47 | |
Chris Lattner | f97a00e | 2006-03-09 22:05:04 +0000 | [diff] [blame] | 48 | // Emit the intrinsic verifier. |
| 49 | EmitVerifier(Ints, OS); |
Chris Lattner | 6448ee4 | 2006-03-09 22:30:49 +0000 | [diff] [blame] | 50 | |
Jim Laskey | 95af592 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 51 | // Emit the intrinsic declaration generator. |
| 52 | EmitGenerator(Ints, OS); |
| 53 | |
Duncan Sands | a3355ff | 2007-12-03 20:06:50 +0000 | [diff] [blame] | 54 | // Emit the intrinsic parameter attributes. |
| 55 | EmitAttributes(Ints, OS); |
Chris Lattner | 022f64f | 2006-03-13 23:08:44 +0000 | [diff] [blame] | 56 | |
Duncan Sands | d869b38 | 2009-02-14 10:56:35 +0000 | [diff] [blame] | 57 | // Emit intrinsic alias analysis mod/ref behavior. |
| 58 | EmitModRefBehavior(Ints, OS); |
| 59 | |
Chris Lattner | 3f8b891 | 2006-03-15 01:33:26 +0000 | [diff] [blame] | 60 | // Emit code to translate GCC builtins into LLVM intrinsics. |
| 61 | EmitIntrinsicToGCCBuiltinMap(Ints, OS); |
Douglas Gregor | 7d9663c | 2010-05-11 06:17:44 +0000 | [diff] [blame] | 62 | |
| 63 | EmitSuffix(OS); |
| 64 | } |
| 65 | |
| 66 | void IntrinsicEmitter::EmitPrefix(raw_ostream &OS) { |
| 67 | OS << "// VisualStudio defines setjmp as _setjmp\n" |
Michael J. Spencer | 1f40960 | 2010-09-24 19:48:47 +0000 | [diff] [blame] | 68 | "#if defined(_MSC_VER) && defined(setjmp) && \\\n" |
| 69 | " !defined(setjmp_undefined_for_msvc)\n" |
Michael J. Spencer | 08047f6 | 2010-09-14 04:27:38 +0000 | [diff] [blame] | 70 | "# pragma push_macro(\"setjmp\")\n" |
| 71 | "# undef setjmp\n" |
Michael J. Spencer | 1f40960 | 2010-09-24 19:48:47 +0000 | [diff] [blame] | 72 | "# define setjmp_undefined_for_msvc\n" |
Douglas Gregor | 7d9663c | 2010-05-11 06:17:44 +0000 | [diff] [blame] | 73 | "#endif\n\n"; |
| 74 | } |
| 75 | |
| 76 | void IntrinsicEmitter::EmitSuffix(raw_ostream &OS) { |
Michael J. Spencer | 1f40960 | 2010-09-24 19:48:47 +0000 | [diff] [blame] | 77 | OS << "#if defined(_MSC_VER) && defined(setjmp_undefined_for_msvc)\n" |
Douglas Gregor | 7d9663c | 2010-05-11 06:17:44 +0000 | [diff] [blame] | 78 | "// let's return it to _setjmp state\n" |
Michael J. Spencer | 08047f6 | 2010-09-14 04:27:38 +0000 | [diff] [blame] | 79 | "# pragma pop_macro(\"setjmp\")\n" |
Michael J. Spencer | 1f40960 | 2010-09-24 19:48:47 +0000 | [diff] [blame] | 80 | "# undef setjmp_undefined_for_msvc\n" |
Douglas Gregor | 7d9663c | 2010-05-11 06:17:44 +0000 | [diff] [blame] | 81 | "#endif\n\n"; |
Chris Lattner | 9e493cf | 2006-03-03 02:32:46 +0000 | [diff] [blame] | 82 | } |
| 83 | |
| 84 | void IntrinsicEmitter::EmitEnumInfo(const std::vector<CodeGenIntrinsic> &Ints, |
Daniel Dunbar | 1a55180 | 2009-07-03 00:10:29 +0000 | [diff] [blame] | 85 | raw_ostream &OS) { |
Chris Lattner | 9b843b2 | 2006-03-09 20:34:19 +0000 | [diff] [blame] | 86 | OS << "// Enum values for Intrinsics.h\n"; |
Chris Lattner | 9e493cf | 2006-03-03 02:32:46 +0000 | [diff] [blame] | 87 | OS << "#ifdef GET_INTRINSIC_ENUM_VALUES\n"; |
| 88 | for (unsigned i = 0, e = Ints.size(); i != e; ++i) { |
| 89 | OS << " " << Ints[i].EnumName; |
| 90 | OS << ((i != e-1) ? ", " : " "); |
| 91 | OS << std::string(40-Ints[i].EnumName.size(), ' ') |
| 92 | << "// " << Ints[i].Name << "\n"; |
| 93 | } |
| 94 | OS << "#endif\n\n"; |
| 95 | } |
Chris Lattner | 9b843b2 | 2006-03-09 20:34:19 +0000 | [diff] [blame] | 96 | |
| 97 | void IntrinsicEmitter:: |
| 98 | EmitFnNameRecognizer(const std::vector<CodeGenIntrinsic> &Ints, |
Daniel Dunbar | 1a55180 | 2009-07-03 00:10:29 +0000 | [diff] [blame] | 99 | raw_ostream &OS) { |
Chris Lattner | cc67c75 | 2010-09-06 03:58:45 +0000 | [diff] [blame] | 100 | // Build a 'first character of function name' -> intrinsic # mapping. |
| 101 | std::map<char, std::vector<unsigned> > IntMapping; |
Chris Lattner | 9b843b2 | 2006-03-09 20:34:19 +0000 | [diff] [blame] | 102 | for (unsigned i = 0, e = Ints.size(); i != e; ++i) |
Chris Lattner | cc67c75 | 2010-09-06 03:58:45 +0000 | [diff] [blame] | 103 | IntMapping[Ints[i].Name[5]].push_back(i); |
| 104 | |
Chris Lattner | 9b843b2 | 2006-03-09 20:34:19 +0000 | [diff] [blame] | 105 | OS << "// Function name -> enum value recognizer code.\n"; |
| 106 | OS << "#ifdef GET_FUNCTION_RECOGNIZER\n"; |
Chris Lattner | cc67c75 | 2010-09-06 03:58:45 +0000 | [diff] [blame] | 107 | OS << " StringRef NameR(Name+6, Len-6); // Skip over 'llvm.'\n"; |
| 108 | OS << " switch (Name[5]) { // Dispatch on first letter.\n"; |
| 109 | OS << " default: break;\n"; |
| 110 | // Emit the intrinsic matching stuff by first letter. |
| 111 | for (std::map<char, std::vector<unsigned> >::iterator I = IntMapping.begin(), |
Chris Lattner | 9b843b2 | 2006-03-09 20:34:19 +0000 | [diff] [blame] | 112 | E = IntMapping.end(); I != E; ++I) { |
Chris Lattner | cc67c75 | 2010-09-06 03:58:45 +0000 | [diff] [blame] | 113 | OS << " case '" << I->first << "':\n"; |
| 114 | std::vector<unsigned> &IntList = I->second; |
| 115 | |
| 116 | // Emit all the overloaded intrinsics first, build a table of the |
| 117 | // non-overloaded ones. |
| 118 | std::vector<StringMatcher::StringPair> MatchTable; |
| 119 | |
| 120 | for (unsigned i = 0, e = IntList.size(); i != e; ++i) { |
| 121 | unsigned IntNo = IntList[i]; |
| 122 | std::string Result = "return " + TargetPrefix + "Intrinsic::" + |
| 123 | Ints[IntNo].EnumName + ";"; |
| 124 | |
| 125 | if (!Ints[IntNo].isOverloaded) { |
| 126 | MatchTable.push_back(std::make_pair(Ints[IntNo].Name.substr(6),Result)); |
| 127 | continue; |
| 128 | } |
| 129 | |
| 130 | // For overloaded intrinsics, only the prefix needs to match |
| 131 | std::string TheStr = Ints[IntNo].Name.substr(6); |
| 132 | TheStr += '.'; // Require "bswap." instead of bswap. |
| 133 | OS << " if (NameR.startswith(\"" << TheStr << "\")) " |
| 134 | << Result << '\n'; |
Chris Lattner | 9b843b2 | 2006-03-09 20:34:19 +0000 | [diff] [blame] | 135 | } |
| 136 | |
Chris Lattner | cc67c75 | 2010-09-06 03:58:45 +0000 | [diff] [blame] | 137 | // Emit the matcher logic for the fixed length strings. |
| 138 | StringMatcher("NameR", MatchTable, OS).Emit(1); |
| 139 | OS << " break; // end of '" << I->first << "' case.\n"; |
Chris Lattner | 9b843b2 | 2006-03-09 20:34:19 +0000 | [diff] [blame] | 140 | } |
Chris Lattner | cc67c75 | 2010-09-06 03:58:45 +0000 | [diff] [blame] | 141 | |
Chris Lattner | 9b843b2 | 2006-03-09 20:34:19 +0000 | [diff] [blame] | 142 | OS << " }\n"; |
Chris Lattner | f97a00e | 2006-03-09 22:05:04 +0000 | [diff] [blame] | 143 | OS << "#endif\n\n"; |
| 144 | } |
| 145 | |
Chris Lattner | fda6aff | 2006-03-15 01:55:21 +0000 | [diff] [blame] | 146 | void IntrinsicEmitter:: |
| 147 | EmitIntrinsicToNameTable(const std::vector<CodeGenIntrinsic> &Ints, |
Daniel Dunbar | 1a55180 | 2009-07-03 00:10:29 +0000 | [diff] [blame] | 148 | raw_ostream &OS) { |
Chris Lattner | fda6aff | 2006-03-15 01:55:21 +0000 | [diff] [blame] | 149 | OS << "// Intrinsic ID to name table\n"; |
| 150 | OS << "#ifdef GET_INTRINSIC_NAME_TABLE\n"; |
| 151 | OS << " // Note that entry #0 is the invalid intrinsic!\n"; |
Evan Cheng | f065a6f | 2006-03-28 22:25:56 +0000 | [diff] [blame] | 152 | for (unsigned i = 0, e = Ints.size(); i != e; ++i) |
| 153 | OS << " \"" << Ints[i].Name << "\",\n"; |
Chris Lattner | fda6aff | 2006-03-15 01:55:21 +0000 | [diff] [blame] | 154 | OS << "#endif\n\n"; |
| 155 | } |
| 156 | |
Mon P Wang | 0d52ff1 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 157 | void IntrinsicEmitter:: |
| 158 | EmitIntrinsicToOverloadTable(const std::vector<CodeGenIntrinsic> &Ints, |
Daniel Dunbar | 1a55180 | 2009-07-03 00:10:29 +0000 | [diff] [blame] | 159 | raw_ostream &OS) { |
Benjamin Kramer | 36a2138 | 2012-03-01 02:16:57 +0000 | [diff] [blame] | 160 | OS << "// Intrinsic ID to overload bitset\n"; |
Mon P Wang | 0d52ff1 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 161 | OS << "#ifdef GET_INTRINSIC_OVERLOAD_TABLE\n"; |
Benjamin Kramer | 36a2138 | 2012-03-01 02:16:57 +0000 | [diff] [blame] | 162 | OS << "static const uint8_t OTable[] = {\n"; |
| 163 | OS << " 0"; |
Mon P Wang | 0d52ff1 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 164 | for (unsigned i = 0, e = Ints.size(); i != e; ++i) { |
Benjamin Kramer | 36a2138 | 2012-03-01 02:16:57 +0000 | [diff] [blame] | 165 | // Add one to the index so we emit a null bit for the invalid #0 intrinsic. |
| 166 | if ((i+1)%8 == 0) |
| 167 | OS << ",\n 0"; |
Mon P Wang | 0d52ff1 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 168 | if (Ints[i].isOverloaded) |
Benjamin Kramer | 36a2138 | 2012-03-01 02:16:57 +0000 | [diff] [blame] | 169 | OS << " | (1<<" << (i+1)%8 << ')'; |
Mon P Wang | 0d52ff1 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 170 | } |
Benjamin Kramer | 36a2138 | 2012-03-01 02:16:57 +0000 | [diff] [blame] | 171 | OS << "\n};\n\n"; |
| 172 | // OTable contains a true bit at the position if the intrinsic is overloaded. |
| 173 | OS << "return (OTable[id/8] & (1 << (id%8))) != 0;\n"; |
Mon P Wang | 0d52ff1 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 174 | OS << "#endif\n\n"; |
| 175 | } |
| 176 | |
Jim Grosbach | da4231f | 2009-03-26 16:17:51 +0000 | [diff] [blame] | 177 | /// RecordListComparator - Provide a deterministic comparator for lists of |
Chris Lattner | c4d9b24 | 2006-03-31 04:24:58 +0000 | [diff] [blame] | 178 | /// records. |
| 179 | namespace { |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 180 | typedef std::pair<std::vector<Record*>, std::vector<Record*> > RecPair; |
Chris Lattner | c4d9b24 | 2006-03-31 04:24:58 +0000 | [diff] [blame] | 181 | struct RecordListComparator { |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 182 | bool operator()(const RecPair &LHS, |
| 183 | const RecPair &RHS) const { |
Chris Lattner | c4d9b24 | 2006-03-31 04:24:58 +0000 | [diff] [blame] | 184 | unsigned i = 0; |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 185 | const std::vector<Record*> *LHSVec = &LHS.first; |
| 186 | const std::vector<Record*> *RHSVec = &RHS.first; |
| 187 | unsigned RHSSize = RHSVec->size(); |
| 188 | unsigned LHSSize = LHSVec->size(); |
| 189 | |
Chris Lattner | 93dc92e | 2010-03-22 20:56:36 +0000 | [diff] [blame] | 190 | for (; i != LHSSize; ++i) { |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 191 | if (i == RHSSize) return false; // RHS is shorter than LHS. |
| 192 | if ((*LHSVec)[i] != (*RHSVec)[i]) |
| 193 | return (*LHSVec)[i]->getName() < (*RHSVec)[i]->getName(); |
Chris Lattner | 93dc92e | 2010-03-22 20:56:36 +0000 | [diff] [blame] | 194 | } |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 195 | |
Bill Wendling | 023422a | 2008-11-13 12:03:00 +0000 | [diff] [blame] | 196 | if (i != RHSSize) return true; |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 197 | |
| 198 | i = 0; |
| 199 | LHSVec = &LHS.second; |
| 200 | RHSVec = &RHS.second; |
| 201 | RHSSize = RHSVec->size(); |
| 202 | LHSSize = LHSVec->size(); |
| 203 | |
| 204 | for (i = 0; i != LHSSize; ++i) { |
| 205 | if (i == RHSSize) return false; // RHS is shorter than LHS. |
| 206 | if ((*LHSVec)[i] != (*RHSVec)[i]) |
| 207 | return (*LHSVec)[i]->getName() < (*RHSVec)[i]->getName(); |
| 208 | } |
| 209 | |
| 210 | return i != RHSSize; |
Chris Lattner | c4d9b24 | 2006-03-31 04:24:58 +0000 | [diff] [blame] | 211 | } |
| 212 | }; |
| 213 | } |
| 214 | |
Chris Lattner | f97a00e | 2006-03-09 22:05:04 +0000 | [diff] [blame] | 215 | void IntrinsicEmitter::EmitVerifier(const std::vector<CodeGenIntrinsic> &Ints, |
Daniel Dunbar | 1a55180 | 2009-07-03 00:10:29 +0000 | [diff] [blame] | 216 | raw_ostream &OS) { |
Chris Lattner | f97a00e | 2006-03-09 22:05:04 +0000 | [diff] [blame] | 217 | OS << "// Verifier::visitIntrinsicFunctionCall code.\n"; |
| 218 | OS << "#ifdef GET_INTRINSIC_VERIFIER\n"; |
| 219 | OS << " switch (ID) {\n"; |
Craig Topper | 655b8de | 2012-02-05 07:21:30 +0000 | [diff] [blame] | 220 | OS << " default: llvm_unreachable(\"Invalid intrinsic!\");\n"; |
Chris Lattner | c4d9b24 | 2006-03-31 04:24:58 +0000 | [diff] [blame] | 221 | |
| 222 | // This checking can emit a lot of very common code. To reduce the amount of |
| 223 | // code that we emit, batch up cases that have identical types. This avoids |
| 224 | // problems where GCC can run out of memory compiling Verifier.cpp. |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 225 | typedef std::map<RecPair, std::vector<unsigned>, RecordListComparator> MapTy; |
Chris Lattner | c4d9b24 | 2006-03-31 04:24:58 +0000 | [diff] [blame] | 226 | MapTy UniqueArgInfos; |
| 227 | |
| 228 | // Compute the unique argument type info. |
| 229 | for (unsigned i = 0, e = Ints.size(); i != e; ++i) |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 230 | UniqueArgInfos[make_pair(Ints[i].IS.RetTypeDefs, |
| 231 | Ints[i].IS.ParamTypeDefs)].push_back(i); |
Chris Lattner | c4d9b24 | 2006-03-31 04:24:58 +0000 | [diff] [blame] | 232 | |
| 233 | // Loop through the array, emitting one comparison for each batch. |
| 234 | for (MapTy::iterator I = UniqueArgInfos.begin(), |
| 235 | E = UniqueArgInfos.end(); I != E; ++I) { |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 236 | for (unsigned i = 0, e = I->second.size(); i != e; ++i) |
Chris Lattner | c4d9b24 | 2006-03-31 04:24:58 +0000 | [diff] [blame] | 237 | OS << " case Intrinsic::" << Ints[I->second[i]].EnumName << ":\t\t// " |
| 238 | << Ints[I->second[i]].Name << "\n"; |
Chris Lattner | f124b46 | 2006-03-31 04:48:26 +0000 | [diff] [blame] | 239 | |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 240 | const RecPair &ArgTypes = I->first; |
| 241 | const std::vector<Record*> &RetTys = ArgTypes.first; |
| 242 | const std::vector<Record*> &ParamTys = ArgTypes.second; |
Bob Wilson | 09b1366 | 2009-07-29 16:35:59 +0000 | [diff] [blame] | 243 | std::vector<unsigned> OverloadedTypeIndices; |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 244 | |
| 245 | OS << " VerifyIntrinsicPrototype(ID, IF, " << RetTys.size() << ", " |
| 246 | << ParamTys.size(); |
| 247 | |
| 248 | // Emit return types. |
| 249 | for (unsigned j = 0, je = RetTys.size(); j != je; ++j) { |
| 250 | Record *ArgType = RetTys[j]; |
| 251 | OS << ", "; |
| 252 | |
Chandler Carruth | 6994040 | 2007-08-04 01:51:18 +0000 | [diff] [blame] | 253 | if (ArgType->isSubClassOf("LLVMMatchType")) { |
| 254 | unsigned Number = ArgType->getValueAsInt("Number"); |
Bob Wilson | 09b1366 | 2009-07-29 16:35:59 +0000 | [diff] [blame] | 255 | assert(Number < OverloadedTypeIndices.size() && |
| 256 | "Invalid matching number!"); |
| 257 | Number = OverloadedTypeIndices[Number]; |
Bob Wilson | bc03979 | 2009-01-07 00:09:01 +0000 | [diff] [blame] | 258 | if (ArgType->isSubClassOf("LLVMExtendedElementVectorType")) |
| 259 | OS << "~(ExtendedElementVectorType | " << Number << ")"; |
| 260 | else if (ArgType->isSubClassOf("LLVMTruncatedElementVectorType")) |
| 261 | OS << "~(TruncatedElementVectorType | " << Number << ")"; |
| 262 | else |
| 263 | OS << "~" << Number; |
Chandler Carruth | 6994040 | 2007-08-04 01:51:18 +0000 | [diff] [blame] | 264 | } else { |
Owen Anderson | 825b72b | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 265 | MVT::SimpleValueType VT = getValueType(ArgType->getValueAsDef("VT")); |
Chandler Carruth | 6994040 | 2007-08-04 01:51:18 +0000 | [diff] [blame] | 266 | OS << getEnumName(VT); |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 267 | |
Bob Wilson | 61fc4cf | 2009-08-11 01:14:02 +0000 | [diff] [blame] | 268 | if (EVT(VT).isOverloaded()) |
Bob Wilson | 09b1366 | 2009-07-29 16:35:59 +0000 | [diff] [blame] | 269 | OverloadedTypeIndices.push_back(j); |
| 270 | |
Owen Anderson | 825b72b | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 271 | if (VT == MVT::isVoid && j != 0 && j != je - 1) |
Jim Laskey | 95d97b9 | 2007-02-06 18:30:58 +0000 | [diff] [blame] | 272 | throw "Var arg type not last argument"; |
Jim Laskey | 95d97b9 | 2007-02-06 18:30:58 +0000 | [diff] [blame] | 273 | } |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 274 | } |
| 275 | |
| 276 | // Emit the parameter types. |
| 277 | for (unsigned j = 0, je = ParamTys.size(); j != je; ++j) { |
| 278 | Record *ArgType = ParamTys[j]; |
| 279 | OS << ", "; |
| 280 | |
| 281 | if (ArgType->isSubClassOf("LLVMMatchType")) { |
| 282 | unsigned Number = ArgType->getValueAsInt("Number"); |
Bob Wilson | 09b1366 | 2009-07-29 16:35:59 +0000 | [diff] [blame] | 283 | assert(Number < OverloadedTypeIndices.size() && |
| 284 | "Invalid matching number!"); |
| 285 | Number = OverloadedTypeIndices[Number]; |
Bob Wilson | bc03979 | 2009-01-07 00:09:01 +0000 | [diff] [blame] | 286 | if (ArgType->isSubClassOf("LLVMExtendedElementVectorType")) |
| 287 | OS << "~(ExtendedElementVectorType | " << Number << ")"; |
| 288 | else if (ArgType->isSubClassOf("LLVMTruncatedElementVectorType")) |
| 289 | OS << "~(TruncatedElementVectorType | " << Number << ")"; |
| 290 | else |
| 291 | OS << "~" << Number; |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 292 | } else { |
Owen Anderson | 825b72b | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 293 | MVT::SimpleValueType VT = getValueType(ArgType->getValueAsDef("VT")); |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 294 | OS << getEnumName(VT); |
| 295 | |
Bob Wilson | 61fc4cf | 2009-08-11 01:14:02 +0000 | [diff] [blame] | 296 | if (EVT(VT).isOverloaded()) |
Bob Wilson | 09b1366 | 2009-07-29 16:35:59 +0000 | [diff] [blame] | 297 | OverloadedTypeIndices.push_back(j + RetTys.size()); |
| 298 | |
Owen Anderson | 825b72b | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 299 | if (VT == MVT::isVoid && j != 0 && j != je - 1) |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 300 | throw "Var arg type not last argument"; |
| 301 | } |
Jim Laskey | 95d97b9 | 2007-02-06 18:30:58 +0000 | [diff] [blame] | 302 | } |
| 303 | |
Chandler Carruth | 6994040 | 2007-08-04 01:51:18 +0000 | [diff] [blame] | 304 | OS << ");\n"; |
Chris Lattner | f97a00e | 2006-03-09 22:05:04 +0000 | [diff] [blame] | 305 | OS << " break;\n"; |
| 306 | } |
| 307 | OS << " }\n"; |
| 308 | OS << "#endif\n\n"; |
Chris Lattner | 9b843b2 | 2006-03-09 20:34:19 +0000 | [diff] [blame] | 309 | } |
| 310 | |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 311 | static void EmitTypeForValueType(raw_ostream &OS, MVT::SimpleValueType VT) { |
| 312 | if (EVT(VT).isInteger()) { |
| 313 | unsigned BitWidth = EVT(VT).getSizeInBits(); |
| 314 | OS << "IntegerType::get(Context, " << BitWidth << ")"; |
| 315 | } else if (VT == MVT::Other) { |
| 316 | // MVT::OtherVT is used to mean the empty struct type here. |
| 317 | OS << "StructType::get(Context)"; |
| 318 | } else if (VT == MVT::f16) { |
| 319 | OS << "Type::getHalfTy(Context)"; |
| 320 | } else if (VT == MVT::f32) { |
| 321 | OS << "Type::getFloatTy(Context)"; |
| 322 | } else if (VT == MVT::f64) { |
| 323 | OS << "Type::getDoubleTy(Context)"; |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 324 | } else if (VT == MVT::f128) { |
| 325 | OS << "Type::getFP128Ty(Context)"; |
| 326 | } else if (VT == MVT::ppcf128) { |
| 327 | OS << "Type::getPPC_FP128Ty(Context)"; |
| 328 | } else if (VT == MVT::isVoid) { |
| 329 | OS << "Type::getVoidTy(Context)"; |
| 330 | } else if (VT == MVT::Metadata) { |
| 331 | OS << "Type::getMetadataTy(Context)"; |
| 332 | } else if (VT == MVT::x86mmx) { |
| 333 | OS << "Type::getX86_MMXTy(Context)"; |
| 334 | } else { |
| 335 | assert(false && "Unsupported ValueType!"); |
| 336 | } |
| 337 | } |
| 338 | |
| 339 | static void EmitTypeGenerate(raw_ostream &OS, const Record *ArgType, |
| 340 | unsigned &ArgNo); |
| 341 | |
| 342 | static void EmitTypeGenerate(raw_ostream &OS, |
| 343 | const std::vector<Record*> &ArgTypes, |
| 344 | unsigned &ArgNo) { |
| 345 | if (ArgTypes.empty()) |
| 346 | return EmitTypeForValueType(OS, MVT::isVoid); |
| 347 | |
| 348 | if (ArgTypes.size() == 1) |
| 349 | return EmitTypeGenerate(OS, ArgTypes.front(), ArgNo); |
| 350 | |
| 351 | OS << "StructType::get("; |
| 352 | |
| 353 | for (std::vector<Record*>::const_iterator |
| 354 | I = ArgTypes.begin(), E = ArgTypes.end(); I != E; ++I) { |
| 355 | EmitTypeGenerate(OS, *I, ArgNo); |
| 356 | OS << ", "; |
| 357 | } |
| 358 | |
| 359 | OS << " NULL)"; |
| 360 | } |
| 361 | |
| 362 | static void EmitTypeGenerate(raw_ostream &OS, const Record *ArgType, |
| 363 | unsigned &ArgNo) { |
| 364 | MVT::SimpleValueType VT = getValueType(ArgType->getValueAsDef("VT")); |
| 365 | |
| 366 | if (ArgType->isSubClassOf("LLVMMatchType")) { |
| 367 | unsigned Number = ArgType->getValueAsInt("Number"); |
| 368 | assert(Number < ArgNo && "Invalid matching number!"); |
| 369 | if (ArgType->isSubClassOf("LLVMExtendedElementVectorType")) |
| 370 | OS << "VectorType::getExtendedElementVectorType" |
| 371 | << "(cast<VectorType>(Tys[" << Number << "]))"; |
| 372 | else if (ArgType->isSubClassOf("LLVMTruncatedElementVectorType")) |
| 373 | OS << "VectorType::getTruncatedElementVectorType" |
| 374 | << "(cast<VectorType>(Tys[" << Number << "]))"; |
| 375 | else |
| 376 | OS << "Tys[" << Number << "]"; |
Chris Lattner | 15706cb | 2012-05-17 04:07:48 +0000 | [diff] [blame] | 377 | } else if (VT == MVT::iAny || VT == MVT::fAny || VT == MVT::vAny || |
| 378 | VT == MVT::iPTRAny) { |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 379 | // NOTE: The ArgNo variable here is not the absolute argument number, it is |
| 380 | // the index of the "arbitrary" type in the Tys array passed to the |
| 381 | // Intrinsic::getDeclaration function. Consequently, we only want to |
| 382 | // increment it when we actually hit an overloaded type. Getting this wrong |
| 383 | // leads to very subtle bugs! |
| 384 | OS << "Tys[" << ArgNo++ << "]"; |
| 385 | } else if (EVT(VT).isVector()) { |
| 386 | EVT VVT = VT; |
| 387 | OS << "VectorType::get("; |
| 388 | EmitTypeForValueType(OS, VVT.getVectorElementType().getSimpleVT().SimpleTy); |
| 389 | OS << ", " << VVT.getVectorNumElements() << ")"; |
| 390 | } else if (VT == MVT::iPTR) { |
| 391 | OS << "PointerType::getUnqual("; |
| 392 | EmitTypeGenerate(OS, ArgType->getValueAsDef("ElTy"), ArgNo); |
| 393 | OS << ")"; |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 394 | } else if (VT == MVT::isVoid) { |
| 395 | assert(ArgNo == 0); |
| 396 | OS << "Type::getVoidTy(Context)"; |
| 397 | } else { |
| 398 | EmitTypeForValueType(OS, VT); |
| 399 | } |
| 400 | } |
| 401 | |
| 402 | |
| 403 | // NOTE: This must be kept in synch with the version emitted to the .gen file! |
| 404 | enum IIT_Info { |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 405 | // Common values should be encoded with 0-15. |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 406 | IIT_Done = 0, |
| 407 | IIT_I1 = 1, |
| 408 | IIT_I8 = 2, |
| 409 | IIT_I16 = 3, |
| 410 | IIT_I32 = 4, |
| 411 | IIT_I64 = 5, |
| 412 | IIT_F32 = 6, |
| 413 | IIT_F64 = 7, |
| 414 | IIT_V2 = 8, |
| 415 | IIT_V4 = 9, |
| 416 | IIT_V8 = 10, |
| 417 | IIT_V16 = 11, |
Chris Lattner | d7cf5eb | 2012-05-17 05:03:24 +0000 | [diff] [blame^] | 418 | IIT_V32 = 12, |
| 419 | IIT_MMX = 13, |
| 420 | IIT_PTR = 14, |
| 421 | IIT_ARG = 15, |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 422 | |
| 423 | // Values from 16+ are only encodable with the inefficient encoding. |
Chris Lattner | d7cf5eb | 2012-05-17 05:03:24 +0000 | [diff] [blame^] | 424 | IIT_METADATA = 16, |
| 425 | IIT_EMPTYSTRUCT = 17, |
| 426 | IIT_STRUCT2 = 18, |
| 427 | IIT_STRUCT3 = 19, |
| 428 | IIT_STRUCT4 = 20, |
| 429 | IIT_STRUCT5 = 21, |
| 430 | IIT_EXTEND_VEC_ARG = 22, |
| 431 | IIT_TRUNC_VEC_ARG = 23 |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 432 | }; |
| 433 | |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 434 | |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 435 | static void EncodeFixedValueType(MVT::SimpleValueType VT, |
| 436 | SmallVectorImpl<unsigned> &Sig) { |
| 437 | if (EVT(VT).isInteger()) { |
| 438 | unsigned BitWidth = EVT(VT).getSizeInBits(); |
| 439 | switch (BitWidth) { |
Chris Lattner | d7cf5eb | 2012-05-17 05:03:24 +0000 | [diff] [blame^] | 440 | default: throw "unhandled integer type width in intrinsic!"; |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 441 | case 1: return Sig.push_back(IIT_I1); |
| 442 | case 8: return Sig.push_back(IIT_I8); |
| 443 | case 16: return Sig.push_back(IIT_I16); |
| 444 | case 32: return Sig.push_back(IIT_I32); |
| 445 | case 64: return Sig.push_back(IIT_I64); |
| 446 | } |
| 447 | } |
| 448 | |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 449 | switch (VT) { |
Chris Lattner | d7cf5eb | 2012-05-17 05:03:24 +0000 | [diff] [blame^] | 450 | default: throw "unhandled MVT in intrinsic!"; |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 451 | case MVT::f32: return Sig.push_back(IIT_F32); |
| 452 | case MVT::f64: return Sig.push_back(IIT_F64); |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 453 | case MVT::Metadata: return Sig.push_back(IIT_METADATA); |
| 454 | case MVT::x86mmx: return Sig.push_back(IIT_MMX); |
| 455 | // MVT::OtherVT is used to mean the empty struct type here. |
| 456 | case MVT::Other: return Sig.push_back(IIT_EMPTYSTRUCT); |
| 457 | } |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 458 | } |
| 459 | |
Francois Pichet | e4807c1 | 2012-05-17 04:00:03 +0000 | [diff] [blame] | 460 | #ifdef _MSC_VER |
Francois Pichet | 3aca879 | 2012-05-17 03:38:19 +0000 | [diff] [blame] | 461 | #pragma optimize("",off) // MSVC 2010 optimizer can't deal with this function. |
Francois Pichet | e4807c1 | 2012-05-17 04:00:03 +0000 | [diff] [blame] | 462 | #endif |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 463 | |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 464 | static void EncodeFixedType(Record *R, unsigned &NextArgNo, |
| 465 | SmallVectorImpl<unsigned> &Sig) { |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 466 | |
| 467 | if (R->isSubClassOf("LLVMMatchType")) { |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 468 | unsigned Number = R->getValueAsInt("Number"); |
| 469 | assert(Number < NextArgNo && "Invalid matching number!"); |
| 470 | if (R->isSubClassOf("LLVMExtendedElementVectorType")) |
Chris Lattner | d7cf5eb | 2012-05-17 05:03:24 +0000 | [diff] [blame^] | 471 | Sig.push_back(IIT_EXTEND_VEC_ARG); |
| 472 | else if (R->isSubClassOf("LLVMTruncatedElementVectorType")) |
| 473 | Sig.push_back(IIT_TRUNC_VEC_ARG); |
| 474 | else |
| 475 | Sig.push_back(IIT_ARG); |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 476 | return Sig.push_back(Number); |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 477 | } |
| 478 | |
| 479 | MVT::SimpleValueType VT = getValueType(R->getValueAsDef("VT")); |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 480 | |
| 481 | // If this is an "any" valuetype, then the type is the type of the next |
| 482 | // type in the list specified to getIntrinsic(). |
| 483 | if (VT == MVT::iAny || VT == MVT::fAny || VT == MVT::vAny || |
Chris Lattner | 15706cb | 2012-05-17 04:07:48 +0000 | [diff] [blame] | 484 | VT == MVT::iPTRAny) { |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 485 | Sig.push_back(IIT_ARG); |
| 486 | return Sig.push_back(NextArgNo++); |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 487 | } |
| 488 | |
| 489 | if (EVT(VT).isVector()) { |
| 490 | EVT VVT = VT; |
| 491 | switch (VVT.getVectorNumElements()) { |
Chris Lattner | d7cf5eb | 2012-05-17 05:03:24 +0000 | [diff] [blame^] | 492 | default: throw "unhandled vector type width in intrinsic!"; |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 493 | case 2: Sig.push_back(IIT_V2); break; |
| 494 | case 4: Sig.push_back(IIT_V4); break; |
| 495 | case 8: Sig.push_back(IIT_V8); break; |
| 496 | case 16: Sig.push_back(IIT_V16); break; |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 497 | case 32: Sig.push_back(IIT_V32); break; |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 498 | } |
| 499 | |
| 500 | return EncodeFixedValueType(VVT.getVectorElementType(). |
| 501 | getSimpleVT().SimpleTy, Sig); |
| 502 | } |
| 503 | |
| 504 | if (VT == MVT::iPTR) { |
| 505 | Sig.push_back(IIT_PTR); |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 506 | return EncodeFixedType(R->getValueAsDef("ElTy"), NextArgNo, Sig); |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 507 | } |
| 508 | |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 509 | EncodeFixedValueType(VT, Sig); |
| 510 | } |
Francois Pichet | e4807c1 | 2012-05-17 04:00:03 +0000 | [diff] [blame] | 511 | |
| 512 | #ifdef _MSC_VER |
Francois Pichet | 3aca879 | 2012-05-17 03:38:19 +0000 | [diff] [blame] | 513 | #pragma optimize("",on) |
Francois Pichet | e4807c1 | 2012-05-17 04:00:03 +0000 | [diff] [blame] | 514 | #endif |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 515 | |
| 516 | /// ComputeFixedEncoding - If we can encode the type signature for this |
| 517 | /// intrinsic into 32 bits, return it. If not, return ~0U. |
| 518 | static unsigned ComputeFixedEncoding(const CodeGenIntrinsic &Int) { |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 519 | unsigned NextArgNo = 0; |
| 520 | |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 521 | SmallVector<unsigned, 8> TypeSig; |
| 522 | if (Int.IS.RetVTs.empty()) |
| 523 | TypeSig.push_back(IIT_Done); |
| 524 | else if (Int.IS.RetVTs.size() == 1 && |
| 525 | Int.IS.RetVTs[0] == MVT::isVoid) |
| 526 | TypeSig.push_back(IIT_Done); |
Chris Lattner | d7cf5eb | 2012-05-17 05:03:24 +0000 | [diff] [blame^] | 527 | else { |
| 528 | switch (Int.IS.RetVTs.size()) { |
| 529 | case 1: break; |
| 530 | case 2: TypeSig.push_back(IIT_STRUCT2); break; |
| 531 | case 3: TypeSig.push_back(IIT_STRUCT3); break; |
| 532 | case 4: TypeSig.push_back(IIT_STRUCT4); break; |
| 533 | case 5: TypeSig.push_back(IIT_STRUCT5); break; |
| 534 | default: assert(0 && "Unhandled case in struct"); |
| 535 | } |
| 536 | |
| 537 | for (unsigned i = 0, e = Int.IS.RetVTs.size(); i != e; ++i) |
| 538 | EncodeFixedType(Int.IS.RetTypeDefs[i], NextArgNo, TypeSig); |
| 539 | } |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 540 | |
| 541 | for (unsigned i = 0, e = Int.IS.ParamTypeDefs.size(); i != e; ++i) |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 542 | EncodeFixedType(Int.IS.ParamTypeDefs[i], NextArgNo, TypeSig); |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 543 | |
| 544 | // Can only encode 8 nibbles into a 32-bit word. |
| 545 | if (TypeSig.size() > 8) return ~0U; |
| 546 | |
| 547 | unsigned Result = 0; |
| 548 | for (unsigned i = 0, e = TypeSig.size(); i != e; ++i) { |
| 549 | // If we had an unencodable argument, bail out. |
Chris Lattner | 46aaf69 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 550 | if (TypeSig[i] > 15) |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 551 | return ~0U; |
| 552 | Result = (Result << 4) | TypeSig[e-i-1]; |
| 553 | } |
| 554 | |
| 555 | return Result; |
| 556 | } |
| 557 | |
Jim Laskey | 95af592 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 558 | void IntrinsicEmitter::EmitGenerator(const std::vector<CodeGenIntrinsic> &Ints, |
Daniel Dunbar | 1a55180 | 2009-07-03 00:10:29 +0000 | [diff] [blame] | 559 | raw_ostream &OS) { |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 560 | OS << "// Global intrinsic function declaration type table.\n"; |
| 561 | OS << "#ifdef GET_INTRINSTIC_GENERATOR_GLOBAL\n"; |
| 562 | // NOTE: These enums must be kept in sync with the ones above! |
| 563 | OS << "enum IIT_Info {\n"; |
| 564 | OS << " IIT_Done = 0,\n"; |
| 565 | OS << " IIT_I1 = 1,\n"; |
| 566 | OS << " IIT_I8 = 2,\n"; |
| 567 | OS << " IIT_I16 = 3,\n"; |
| 568 | OS << " IIT_I32 = 4,\n"; |
| 569 | OS << " IIT_I64 = 5,\n"; |
| 570 | OS << " IIT_F32 = 6,\n"; |
| 571 | OS << " IIT_F64 = 7,\n"; |
| 572 | OS << " IIT_V2 = 8,\n"; |
| 573 | OS << " IIT_V4 = 9,\n"; |
| 574 | OS << " IIT_V8 = 10,\n"; |
| 575 | OS << " IIT_V16 = 11,\n"; |
Chris Lattner | d7cf5eb | 2012-05-17 05:03:24 +0000 | [diff] [blame^] | 576 | OS << " IIT_V32 = 12,\n"; |
| 577 | OS << " IIT_MMX = 13,\n"; |
| 578 | OS << " IIT_PTR = 14,\n"; |
| 579 | OS << " IIT_ARG = 15,\n"; |
| 580 | OS << " IIT_METADATA = 16,\n"; |
| 581 | OS << " IIT_EMPTYSTRUCT = 17,\n"; |
| 582 | OS << " IIT_STRUCT2 = 18,\n"; |
| 583 | OS << " IIT_STRUCT3 = 19,\n"; |
| 584 | OS << " IIT_STRUCT4 = 20,\n"; |
| 585 | OS << " IIT_STRUCT5 = 21,\n"; |
| 586 | OS << " IIT_EXTEND_VEC_ARG = 22,\n"; |
| 587 | OS << " IIT_TRUNC_VEC_ARG = 23\n"; |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 588 | OS << "};\n\n"; |
| 589 | |
Jim Laskey | 95af592 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 590 | |
| 591 | // Similar to GET_INTRINSIC_VERIFIER, batch up cases that have identical |
| 592 | // types. |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 593 | typedef std::map<RecPair, std::vector<unsigned>, RecordListComparator> MapTy; |
Jim Laskey | 95af592 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 594 | MapTy UniqueArgInfos; |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 595 | |
| 596 | // If we can compute a 32-bit fixed encoding for this intrinsic, do so and |
| 597 | // capture it in this vector, otherwise store a ~0U. |
| 598 | std::vector<unsigned> FixedEncodings; |
Jim Laskey | 95af592 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 599 | |
| 600 | // Compute the unique argument type info. |
Chris Lattner | a98aa6a | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 601 | for (unsigned i = 0, e = Ints.size(); i != e; ++i) { |
| 602 | FixedEncodings.push_back(ComputeFixedEncoding(Ints[i])); |
| 603 | |
| 604 | // If we didn't compute a compact encoding, emit a long-form variant. |
| 605 | if (FixedEncodings.back() == ~0U) |
| 606 | UniqueArgInfos[make_pair(Ints[i].IS.RetTypeDefs, |
| 607 | Ints[i].IS.ParamTypeDefs)].push_back(i); |
| 608 | } |
| 609 | |
| 610 | OS << "static const unsigned IIT_Table[] = {\n "; |
| 611 | |
| 612 | for (unsigned i = 0, e = FixedEncodings.size(); i != e; ++i) { |
| 613 | if ((i & 7) == 7) |
| 614 | OS << "\n "; |
| 615 | if (FixedEncodings[i] == ~0U) |
| 616 | OS << "~0U, "; |
| 617 | else |
| 618 | OS << "0x" << utohexstr(FixedEncodings[i]) << ", "; |
| 619 | } |
| 620 | |
| 621 | OS << "0\n};\n\n#endif\n\n"; // End of GET_INTRINSTIC_GENERATOR_GLOBAL |
| 622 | |
| 623 | OS << "// Code for generating Intrinsic function declarations.\n"; |
| 624 | OS << "#ifdef GET_INTRINSIC_GENERATOR\n"; |
| 625 | OS << " switch (id) {\n"; |
| 626 | OS << " default: llvm_unreachable(\"Invalid intrinsic!\");\n"; |
Jim Laskey | 95af592 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 627 | |
| 628 | // Loop through the array, emitting one generator for each batch. |
Dale Johannesen | 49de982 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 629 | std::string IntrinsicStr = TargetPrefix + "Intrinsic::"; |
| 630 | |
Jim Laskey | 95af592 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 631 | for (MapTy::iterator I = UniqueArgInfos.begin(), |
| 632 | E = UniqueArgInfos.end(); I != E; ++I) { |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 633 | for (unsigned i = 0, e = I->second.size(); i != e; ++i) |
Dale Johannesen | 49de982 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 634 | OS << " case " << IntrinsicStr << Ints[I->second[i]].EnumName |
| 635 | << ":\t\t// " << Ints[I->second[i]].Name << "\n"; |
Jim Laskey | 95af592 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 636 | |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 637 | const RecPair &ArgTypes = I->first; |
| 638 | const std::vector<Record*> &RetTys = ArgTypes.first; |
| 639 | const std::vector<Record*> &ParamTys = ArgTypes.second; |
| 640 | |
| 641 | unsigned N = ParamTys.size(); |
Reid Spencer | 84c614d | 2007-05-22 19:30:31 +0000 | [diff] [blame] | 642 | unsigned ArgNo = 0; |
Jim Laskey | 95af592 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 643 | OS << " ResultTy = "; |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 644 | EmitTypeGenerate(OS, RetTys, ArgNo); |
Jim Laskey | 95af592 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 645 | OS << ";\n"; |
| 646 | |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 647 | for (unsigned j = 0; j != N; ++j) { |
Jim Laskey | 95af592 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 648 | OS << " ArgTys.push_back("; |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 649 | EmitTypeGenerate(OS, ParamTys[j], ArgNo); |
Jim Laskey | 95af592 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 650 | OS << ");\n"; |
| 651 | } |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 652 | |
Jim Laskey | 95af592 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 653 | OS << " break;\n"; |
| 654 | } |
Bill Wendling | cdcc3e6 | 2008-11-13 09:08:33 +0000 | [diff] [blame] | 655 | |
Jim Laskey | 95af592 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 656 | OS << " }\n"; |
| 657 | OS << "#endif\n\n"; |
| 658 | } |
| 659 | |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 660 | namespace { |
| 661 | enum ModRefKind { |
| 662 | MRK_none, |
| 663 | MRK_readonly, |
| 664 | MRK_readnone |
| 665 | }; |
| 666 | |
| 667 | ModRefKind getModRefKind(const CodeGenIntrinsic &intrinsic) { |
| 668 | switch (intrinsic.ModRef) { |
| 669 | case CodeGenIntrinsic::NoMem: |
| 670 | return MRK_readnone; |
| 671 | case CodeGenIntrinsic::ReadArgMem: |
| 672 | case CodeGenIntrinsic::ReadMem: |
| 673 | return MRK_readonly; |
| 674 | case CodeGenIntrinsic::ReadWriteArgMem: |
| 675 | case CodeGenIntrinsic::ReadWriteMem: |
| 676 | return MRK_none; |
| 677 | } |
Craig Topper | 655b8de | 2012-02-05 07:21:30 +0000 | [diff] [blame] | 678 | llvm_unreachable("bad mod-ref kind"); |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 679 | } |
| 680 | |
| 681 | struct AttributeComparator { |
| 682 | bool operator()(const CodeGenIntrinsic *L, const CodeGenIntrinsic *R) const { |
| 683 | // Sort throwing intrinsics after non-throwing intrinsics. |
| 684 | if (L->canThrow != R->canThrow) |
| 685 | return R->canThrow; |
| 686 | |
| 687 | // Try to order by readonly/readnone attribute. |
| 688 | ModRefKind LK = getModRefKind(*L); |
| 689 | ModRefKind RK = getModRefKind(*R); |
| 690 | if (LK != RK) return (LK > RK); |
| 691 | |
| 692 | // Order by argument attributes. |
| 693 | // This is reliable because each side is already sorted internally. |
| 694 | return (L->ArgumentAttributes < R->ArgumentAttributes); |
| 695 | } |
| 696 | }; |
| 697 | } |
| 698 | |
Chris Lattner | 048ffb2 | 2009-01-12 01:18:58 +0000 | [diff] [blame] | 699 | /// EmitAttributes - This emits the Intrinsic::getAttributes method. |
Chris Lattner | 4e5f359 | 2006-03-09 22:37:52 +0000 | [diff] [blame] | 700 | void IntrinsicEmitter:: |
Daniel Dunbar | 1a55180 | 2009-07-03 00:10:29 +0000 | [diff] [blame] | 701 | EmitAttributes(const std::vector<CodeGenIntrinsic> &Ints, raw_ostream &OS) { |
Duncan Sands | a3355ff | 2007-12-03 20:06:50 +0000 | [diff] [blame] | 702 | OS << "// Add parameter attributes that are not common to all intrinsics.\n"; |
| 703 | OS << "#ifdef GET_INTRINSIC_ATTRIBUTES\n"; |
Dale Johannesen | 49de982 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 704 | if (TargetOnly) |
| 705 | OS << "static AttrListPtr getAttributes(" << TargetPrefix |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 706 | << "Intrinsic::ID id) {\n"; |
Dale Johannesen | 49de982 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 707 | else |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 708 | OS << "AttrListPtr Intrinsic::getAttributes(ID id) {\n"; |
| 709 | |
Craig Topper | 1f59523 | 2012-02-28 06:32:00 +0000 | [diff] [blame] | 710 | // Compute the maximum number of attribute arguments and the map |
| 711 | typedef std::map<const CodeGenIntrinsic*, unsigned, |
| 712 | AttributeComparator> UniqAttrMapTy; |
| 713 | UniqAttrMapTy UniqAttributes; |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 714 | unsigned maxArgAttrs = 0; |
Craig Topper | 1f59523 | 2012-02-28 06:32:00 +0000 | [diff] [blame] | 715 | unsigned AttrNum = 0; |
Chris Lattner | 7056de3 | 2006-03-24 01:13:55 +0000 | [diff] [blame] | 716 | for (unsigned i = 0, e = Ints.size(); i != e; ++i) { |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 717 | const CodeGenIntrinsic &intrinsic = Ints[i]; |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 718 | maxArgAttrs = |
| 719 | std::max(maxArgAttrs, unsigned(intrinsic.ArgumentAttributes.size())); |
Craig Topper | 1f59523 | 2012-02-28 06:32:00 +0000 | [diff] [blame] | 720 | unsigned &N = UniqAttributes[&intrinsic]; |
| 721 | if (N) continue; |
| 722 | assert(AttrNum < 256 && "Too many unique attributes for table!"); |
| 723 | N = ++AttrNum; |
Chris Lattner | 7056de3 | 2006-03-24 01:13:55 +0000 | [diff] [blame] | 724 | } |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 725 | |
| 726 | // Emit an array of AttributeWithIndex. Most intrinsics will have |
| 727 | // at least one entry, for the function itself (index ~1), which is |
| 728 | // usually nounwind. |
Craig Topper | 1f59523 | 2012-02-28 06:32:00 +0000 | [diff] [blame] | 729 | OS << " static const uint8_t IntrinsicsToAttributesMap[] = {\n"; |
Craig Topper | 1f59523 | 2012-02-28 06:32:00 +0000 | [diff] [blame] | 730 | |
| 731 | for (unsigned i = 0, e = Ints.size(); i != e; ++i) { |
| 732 | const CodeGenIntrinsic &intrinsic = Ints[i]; |
| 733 | |
| 734 | OS << " " << UniqAttributes[&intrinsic] << ", // " |
| 735 | << intrinsic.Name << "\n"; |
| 736 | } |
| 737 | OS << " };\n\n"; |
| 738 | |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 739 | OS << " AttributeWithIndex AWI[" << maxArgAttrs+1 << "];\n"; |
Chris Lattner | d4a2700 | 2009-01-12 02:41:37 +0000 | [diff] [blame] | 740 | OS << " unsigned NumAttrs = 0;\n"; |
Craig Topper | b57b170 | 2012-04-13 06:14:57 +0000 | [diff] [blame] | 741 | OS << " if (id != 0) {\n"; |
| 742 | OS << " switch(IntrinsicsToAttributesMap[id - "; |
| 743 | if (TargetOnly) |
| 744 | OS << "Intrinsic::num_intrinsics"; |
| 745 | else |
| 746 | OS << "1"; |
| 747 | OS << "]) {\n"; |
| 748 | OS << " default: llvm_unreachable(\"Invalid attribute number\");\n"; |
Craig Topper | 1f59523 | 2012-02-28 06:32:00 +0000 | [diff] [blame] | 749 | for (UniqAttrMapTy::const_iterator I = UniqAttributes.begin(), |
| 750 | E = UniqAttributes.end(); I != E; ++I) { |
Craig Topper | b57b170 | 2012-04-13 06:14:57 +0000 | [diff] [blame] | 751 | OS << " case " << I->second << ":\n"; |
Chris Lattner | 10dae94 | 2009-01-12 01:27:55 +0000 | [diff] [blame] | 752 | |
Craig Topper | 1f59523 | 2012-02-28 06:32:00 +0000 | [diff] [blame] | 753 | const CodeGenIntrinsic &intrinsic = *(I->first); |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 754 | |
| 755 | // Keep track of the number of attributes we're writing out. |
| 756 | unsigned numAttrs = 0; |
| 757 | |
| 758 | // The argument attributes are alreadys sorted by argument index. |
| 759 | for (unsigned ai = 0, ae = intrinsic.ArgumentAttributes.size(); ai != ae;) { |
| 760 | unsigned argNo = intrinsic.ArgumentAttributes[ai].first; |
Craig Topper | 1f59523 | 2012-02-28 06:32:00 +0000 | [diff] [blame] | 761 | |
Craig Topper | b57b170 | 2012-04-13 06:14:57 +0000 | [diff] [blame] | 762 | OS << " AWI[" << numAttrs++ << "] = AttributeWithIndex::get(" |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 763 | << argNo+1 << ", "; |
Chris Lattner | d4a2700 | 2009-01-12 02:41:37 +0000 | [diff] [blame] | 764 | |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 765 | bool moreThanOne = false; |
| 766 | |
| 767 | do { |
| 768 | if (moreThanOne) OS << '|'; |
| 769 | |
| 770 | switch (intrinsic.ArgumentAttributes[ai].second) { |
Chris Lattner | d4a2700 | 2009-01-12 02:41:37 +0000 | [diff] [blame] | 771 | case CodeGenIntrinsic::NoCapture: |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 772 | OS << "Attribute::NoCapture"; |
Chris Lattner | d4a2700 | 2009-01-12 02:41:37 +0000 | [diff] [blame] | 773 | break; |
| 774 | } |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 775 | |
| 776 | ++ai; |
| 777 | moreThanOne = true; |
| 778 | } while (ai != ae && intrinsic.ArgumentAttributes[ai].first == argNo); |
| 779 | |
| 780 | OS << ");\n"; |
| 781 | } |
| 782 | |
| 783 | ModRefKind modRef = getModRefKind(intrinsic); |
| 784 | |
| 785 | if (!intrinsic.canThrow || modRef) { |
Craig Topper | b57b170 | 2012-04-13 06:14:57 +0000 | [diff] [blame] | 786 | OS << " AWI[" << numAttrs++ << "] = AttributeWithIndex::get(~0, "; |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 787 | if (!intrinsic.canThrow) { |
| 788 | OS << "Attribute::NoUnwind"; |
| 789 | if (modRef) OS << '|'; |
| 790 | } |
| 791 | switch (modRef) { |
| 792 | case MRK_none: break; |
| 793 | case MRK_readonly: OS << "Attribute::ReadOnly"; break; |
| 794 | case MRK_readnone: OS << "Attribute::ReadNone"; break; |
Chris Lattner | d4a2700 | 2009-01-12 02:41:37 +0000 | [diff] [blame] | 795 | } |
| 796 | OS << ");\n"; |
| 797 | } |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 798 | |
| 799 | if (numAttrs) { |
Craig Topper | b57b170 | 2012-04-13 06:14:57 +0000 | [diff] [blame] | 800 | OS << " NumAttrs = " << numAttrs << ";\n"; |
| 801 | OS << " break;\n"; |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 802 | } else { |
Craig Topper | b57b170 | 2012-04-13 06:14:57 +0000 | [diff] [blame] | 803 | OS << " return AttrListPtr();\n"; |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 804 | } |
Chris Lattner | 10dae94 | 2009-01-12 01:27:55 +0000 | [diff] [blame] | 805 | } |
| 806 | |
Craig Topper | b57b170 | 2012-04-13 06:14:57 +0000 | [diff] [blame] | 807 | OS << " }\n"; |
Chris Lattner | 10dae94 | 2009-01-12 01:27:55 +0000 | [diff] [blame] | 808 | OS << " }\n"; |
John McCall | bd0fa4c | 2011-05-28 06:31:34 +0000 | [diff] [blame] | 809 | OS << " return AttrListPtr::get(AWI, NumAttrs);\n"; |
Chris Lattner | 048ffb2 | 2009-01-12 01:18:58 +0000 | [diff] [blame] | 810 | OS << "}\n"; |
Chris Lattner | d4a2700 | 2009-01-12 02:41:37 +0000 | [diff] [blame] | 811 | OS << "#endif // GET_INTRINSIC_ATTRIBUTES\n\n"; |
Chris Lattner | 4e5f359 | 2006-03-09 22:37:52 +0000 | [diff] [blame] | 812 | } |
Chris Lattner | 022f64f | 2006-03-13 23:08:44 +0000 | [diff] [blame] | 813 | |
Duncan Sands | d869b38 | 2009-02-14 10:56:35 +0000 | [diff] [blame] | 814 | /// EmitModRefBehavior - Determine intrinsic alias analysis mod/ref behavior. |
| 815 | void IntrinsicEmitter:: |
Daniel Dunbar | 1a55180 | 2009-07-03 00:10:29 +0000 | [diff] [blame] | 816 | EmitModRefBehavior(const std::vector<CodeGenIntrinsic> &Ints, raw_ostream &OS){ |
Benjamin Kramer | b519a0f | 2012-03-01 01:18:32 +0000 | [diff] [blame] | 817 | OS << "// Determine intrinsic alias analysis mod/ref behavior.\n" |
| 818 | << "#ifdef GET_INTRINSIC_MODREF_BEHAVIOR\n" |
| 819 | << "assert(iid <= Intrinsic::" << Ints.back().EnumName << " && " |
| 820 | << "\"Unknown intrinsic.\");\n\n"; |
| 821 | |
| 822 | OS << "static const uint8_t IntrinsicModRefBehavior[] = {\n" |
| 823 | << " /* invalid */ UnknownModRefBehavior,\n"; |
Duncan Sands | d869b38 | 2009-02-14 10:56:35 +0000 | [diff] [blame] | 824 | for (unsigned i = 0, e = Ints.size(); i != e; ++i) { |
Benjamin Kramer | b519a0f | 2012-03-01 01:18:32 +0000 | [diff] [blame] | 825 | OS << " /* " << TargetPrefix << Ints[i].EnumName << " */ "; |
Duncan Sands | d869b38 | 2009-02-14 10:56:35 +0000 | [diff] [blame] | 826 | switch (Ints[i].ModRef) { |
Duncan Sands | d869b38 | 2009-02-14 10:56:35 +0000 | [diff] [blame] | 827 | case CodeGenIntrinsic::NoMem: |
Benjamin Kramer | b519a0f | 2012-03-01 01:18:32 +0000 | [diff] [blame] | 828 | OS << "DoesNotAccessMemory,\n"; |
Duncan Sands | d869b38 | 2009-02-14 10:56:35 +0000 | [diff] [blame] | 829 | break; |
| 830 | case CodeGenIntrinsic::ReadArgMem: |
Benjamin Kramer | b519a0f | 2012-03-01 01:18:32 +0000 | [diff] [blame] | 831 | OS << "OnlyReadsArgumentPointees,\n"; |
Dan Gohman | 9423f63 | 2010-11-09 20:07:20 +0000 | [diff] [blame] | 832 | break; |
Duncan Sands | d869b38 | 2009-02-14 10:56:35 +0000 | [diff] [blame] | 833 | case CodeGenIntrinsic::ReadMem: |
Benjamin Kramer | b519a0f | 2012-03-01 01:18:32 +0000 | [diff] [blame] | 834 | OS << "OnlyReadsMemory,\n"; |
Duncan Sands | d869b38 | 2009-02-14 10:56:35 +0000 | [diff] [blame] | 835 | break; |
Dan Gohman | 7365c09 | 2010-08-05 23:36:21 +0000 | [diff] [blame] | 836 | case CodeGenIntrinsic::ReadWriteArgMem: |
Benjamin Kramer | b519a0f | 2012-03-01 01:18:32 +0000 | [diff] [blame] | 837 | OS << "OnlyAccessesArgumentPointees,\n"; |
| 838 | break; |
| 839 | case CodeGenIntrinsic::ReadWriteMem: |
| 840 | OS << "UnknownModRefBehavior,\n"; |
Duncan Sands | d869b38 | 2009-02-14 10:56:35 +0000 | [diff] [blame] | 841 | break; |
| 842 | } |
| 843 | } |
Benjamin Kramer | b519a0f | 2012-03-01 01:18:32 +0000 | [diff] [blame] | 844 | OS << "};\n\n" |
| 845 | << "return static_cast<ModRefBehavior>(IntrinsicModRefBehavior[iid]);\n" |
| 846 | << "#endif // GET_INTRINSIC_MODREF_BEHAVIOR\n\n"; |
Duncan Sands | d869b38 | 2009-02-14 10:56:35 +0000 | [diff] [blame] | 847 | } |
| 848 | |
Chris Lattner | 331bf92 | 2008-01-04 04:38:35 +0000 | [diff] [blame] | 849 | /// EmitTargetBuiltins - All of the builtins in the specified map are for the |
| 850 | /// same target, and we already checked it. |
| 851 | static void EmitTargetBuiltins(const std::map<std::string, std::string> &BIM, |
Dale Johannesen | 49de982 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 852 | const std::string &TargetPrefix, |
Daniel Dunbar | 1a55180 | 2009-07-03 00:10:29 +0000 | [diff] [blame] | 853 | raw_ostream &OS) { |
Chris Lattner | 331bf92 | 2008-01-04 04:38:35 +0000 | [diff] [blame] | 854 | |
Chris Lattner | 298b176 | 2010-09-06 03:14:45 +0000 | [diff] [blame] | 855 | std::vector<StringMatcher::StringPair> Results; |
Chris Lattner | 331bf92 | 2008-01-04 04:38:35 +0000 | [diff] [blame] | 856 | |
Chris Lattner | 298b176 | 2010-09-06 03:14:45 +0000 | [diff] [blame] | 857 | for (std::map<std::string, std::string>::const_iterator I = BIM.begin(), |
| 858 | E = BIM.end(); I != E; ++I) { |
| 859 | std::string ResultCode = |
| 860 | "return " + TargetPrefix + "Intrinsic::" + I->second + ";"; |
| 861 | Results.push_back(StringMatcher::StringPair(I->first, ResultCode)); |
Chris Lattner | 331bf92 | 2008-01-04 04:38:35 +0000 | [diff] [blame] | 862 | } |
Chris Lattner | 298b176 | 2010-09-06 03:14:45 +0000 | [diff] [blame] | 863 | |
| 864 | StringMatcher("BuiltinName", Results, OS).Emit(); |
Chris Lattner | 331bf92 | 2008-01-04 04:38:35 +0000 | [diff] [blame] | 865 | } |
| 866 | |
| 867 | |
Chris Lattner | 3f8b891 | 2006-03-15 01:33:26 +0000 | [diff] [blame] | 868 | void IntrinsicEmitter:: |
| 869 | EmitIntrinsicToGCCBuiltinMap(const std::vector<CodeGenIntrinsic> &Ints, |
Daniel Dunbar | 1a55180 | 2009-07-03 00:10:29 +0000 | [diff] [blame] | 870 | raw_ostream &OS) { |
Chris Lattner | fa0fba1 | 2008-01-02 21:24:22 +0000 | [diff] [blame] | 871 | typedef std::map<std::string, std::map<std::string, std::string> > BIMTy; |
Chris Lattner | 3f8b891 | 2006-03-15 01:33:26 +0000 | [diff] [blame] | 872 | BIMTy BuiltinMap; |
| 873 | for (unsigned i = 0, e = Ints.size(); i != e; ++i) { |
| 874 | if (!Ints[i].GCCBuiltinName.empty()) { |
Chris Lattner | fa0fba1 | 2008-01-02 21:24:22 +0000 | [diff] [blame] | 875 | // Get the map for this target prefix. |
| 876 | std::map<std::string, std::string> &BIM =BuiltinMap[Ints[i].TargetPrefix]; |
| 877 | |
| 878 | if (!BIM.insert(std::make_pair(Ints[i].GCCBuiltinName, |
| 879 | Ints[i].EnumName)).second) |
Chris Lattner | 3f8b891 | 2006-03-15 01:33:26 +0000 | [diff] [blame] | 880 | throw "Intrinsic '" + Ints[i].TheDef->getName() + |
| 881 | "': duplicate GCC builtin name!"; |
| 882 | } |
| 883 | } |
| 884 | |
| 885 | OS << "// Get the LLVM intrinsic that corresponds to a GCC builtin.\n"; |
| 886 | OS << "// This is used by the C front-end. The GCC builtin name is passed\n"; |
| 887 | OS << "// in as BuiltinName, and a target prefix (e.g. 'ppc') is passed\n"; |
| 888 | OS << "// in as TargetPrefix. The result is assigned to 'IntrinsicID'.\n"; |
| 889 | OS << "#ifdef GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN\n"; |
Dale Johannesen | 49de982 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 890 | |
| 891 | if (TargetOnly) { |
| 892 | OS << "static " << TargetPrefix << "Intrinsic::ID " |
| 893 | << "getIntrinsicForGCCBuiltin(const char " |
Chris Lattner | 298b176 | 2010-09-06 03:14:45 +0000 | [diff] [blame] | 894 | << "*TargetPrefixStr, const char *BuiltinNameStr) {\n"; |
Dale Johannesen | 49de982 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 895 | } else { |
| 896 | OS << "Intrinsic::ID Intrinsic::getIntrinsicForGCCBuiltin(const char " |
Chris Lattner | 298b176 | 2010-09-06 03:14:45 +0000 | [diff] [blame] | 897 | << "*TargetPrefixStr, const char *BuiltinNameStr) {\n"; |
Dale Johannesen | 49de982 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 898 | } |
| 899 | |
Chris Lattner | 298b176 | 2010-09-06 03:14:45 +0000 | [diff] [blame] | 900 | OS << " StringRef BuiltinName(BuiltinNameStr);\n"; |
| 901 | OS << " StringRef TargetPrefix(TargetPrefixStr);\n\n"; |
Chris Lattner | 331bf92 | 2008-01-04 04:38:35 +0000 | [diff] [blame] | 902 | |
Chris Lattner | 3f8b891 | 2006-03-15 01:33:26 +0000 | [diff] [blame] | 903 | // Note: this could emit significantly better code if we cared. |
| 904 | for (BIMTy::iterator I = BuiltinMap.begin(), E = BuiltinMap.end();I != E;++I){ |
Chris Lattner | fa0fba1 | 2008-01-02 21:24:22 +0000 | [diff] [blame] | 905 | OS << " "; |
| 906 | if (!I->first.empty()) |
Chris Lattner | 298b176 | 2010-09-06 03:14:45 +0000 | [diff] [blame] | 907 | OS << "if (TargetPrefix == \"" << I->first << "\") "; |
Chris Lattner | fa0fba1 | 2008-01-02 21:24:22 +0000 | [diff] [blame] | 908 | else |
| 909 | OS << "/* Target Independent Builtins */ "; |
| 910 | OS << "{\n"; |
| 911 | |
Chris Lattner | fa0fba1 | 2008-01-02 21:24:22 +0000 | [diff] [blame] | 912 | // Emit the comparisons for this target prefix. |
Dale Johannesen | 49de982 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 913 | EmitTargetBuiltins(I->second, TargetPrefix, OS); |
Chris Lattner | fa0fba1 | 2008-01-02 21:24:22 +0000 | [diff] [blame] | 914 | OS << " }\n"; |
Chris Lattner | 3f8b891 | 2006-03-15 01:33:26 +0000 | [diff] [blame] | 915 | } |
Chris Lattner | 298b176 | 2010-09-06 03:14:45 +0000 | [diff] [blame] | 916 | OS << " return "; |
| 917 | if (!TargetPrefix.empty()) |
| 918 | OS << "(" << TargetPrefix << "Intrinsic::ID)"; |
| 919 | OS << "Intrinsic::not_intrinsic;\n"; |
Dale Johannesen | 49de982 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 920 | OS << "}\n"; |
Chris Lattner | 3f8b891 | 2006-03-15 01:33:26 +0000 | [diff] [blame] | 921 | OS << "#endif\n\n"; |
| 922 | } |