1 //===- OptParserEmitter.cpp - Table Driven Command Line Parsing -----------===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9
10 #include "llvm/TableGen/Error.h"
11 #include "llvm/ADT/STLExtras.h"
12 #include "llvm/ADT/SmallString.h"
13 #include "llvm/ADT/Twine.h"
14 #include "llvm/TableGen/Record.h"
15 #include "llvm/TableGen/TableGenBackend.h"
16 #include <cctype>
17 #include <cstring>
18 #include <map>
19
20 using namespace llvm;
21
22 // Ordering on Info. The logic should match with the consumer-side function in
23 // llvm/Option/OptTable.h.
StrCmpOptionName(const char * A,const char * B)24 static int StrCmpOptionName(const char *A, const char *B) {
25 const char *X = A, *Y = B;
26 char a = tolower(*A), b = tolower(*B);
27 while (a == b) {
28 if (a == '\0')
29 return strcmp(A, B);
30
31 a = tolower(*++X);
32 b = tolower(*++Y);
33 }
34
35 if (a == '\0') // A is a prefix of B.
36 return 1;
37 if (b == '\0') // B is a prefix of A.
38 return -1;
39
40 // Otherwise lexicographic.
41 return (a < b) ? -1 : 1;
42 }
43
CompareOptionRecords(Record * const * Av,Record * const * Bv)44 static int CompareOptionRecords(Record *const *Av, Record *const *Bv) {
45 const Record *A = *Av;
46 const Record *B = *Bv;
47
48 // Sentinel options precede all others and are only ordered by precedence.
49 bool ASent = A->getValueAsDef("Kind")->getValueAsBit("Sentinel");
50 bool BSent = B->getValueAsDef("Kind")->getValueAsBit("Sentinel");
51 if (ASent != BSent)
52 return ASent ? -1 : 1;
53
54 // Compare options by name, unless they are sentinels.
55 if (!ASent)
56 if (int Cmp = StrCmpOptionName(A->getValueAsString("Name").c_str(),
57 B->getValueAsString("Name").c_str()))
58 return Cmp;
59
60 if (!ASent) {
61 std::vector<std::string> APrefixes = A->getValueAsListOfStrings("Prefixes");
62 std::vector<std::string> BPrefixes = B->getValueAsListOfStrings("Prefixes");
63
64 for (std::vector<std::string>::const_iterator APre = APrefixes.begin(),
65 AEPre = APrefixes.end(),
66 BPre = BPrefixes.begin(),
67 BEPre = BPrefixes.end();
68 APre != AEPre &&
69 BPre != BEPre;
70 ++APre, ++BPre) {
71 if (int Cmp = StrCmpOptionName(APre->c_str(), BPre->c_str()))
72 return Cmp;
73 }
74 }
75
76 // Then by the kind precedence;
77 int APrec = A->getValueAsDef("Kind")->getValueAsInt("Precedence");
78 int BPrec = B->getValueAsDef("Kind")->getValueAsInt("Precedence");
79 if (APrec == BPrec &&
80 A->getValueAsListOfStrings("Prefixes") ==
81 B->getValueAsListOfStrings("Prefixes")) {
82 PrintError(A->getLoc(), Twine("Option is equivalent to"));
83 PrintError(B->getLoc(), Twine("Other defined here"));
84 PrintFatalError("Equivalent Options found.");
85 }
86 return APrec < BPrec ? -1 : 1;
87 }
88
getOptionName(const Record & R)89 static const std::string getOptionName(const Record &R) {
90 // Use the record name unless EnumName is defined.
91 if (isa<UnsetInit>(R.getValueInit("EnumName")))
92 return R.getName();
93
94 return R.getValueAsString("EnumName");
95 }
96
write_cstring(raw_ostream & OS,llvm::StringRef Str)97 static raw_ostream &write_cstring(raw_ostream &OS, llvm::StringRef Str) {
98 OS << '"';
99 OS.write_escaped(Str);
100 OS << '"';
101 return OS;
102 }
103
104 /// OptParserEmitter - This tablegen backend takes an input .td file
105 /// describing a list of options and emits a data structure for parsing and
106 /// working with those options when given an input command line.
107 namespace llvm {
EmitOptParser(RecordKeeper & Records,raw_ostream & OS)108 void EmitOptParser(RecordKeeper &Records, raw_ostream &OS) {
109 // Get the option groups and options.
110 const std::vector<Record*> &Groups =
111 Records.getAllDerivedDefinitions("OptionGroup");
112 std::vector<Record*> Opts = Records.getAllDerivedDefinitions("Option");
113
114 emitSourceFileHeader("Option Parsing Definitions", OS);
115
116 array_pod_sort(Opts.begin(), Opts.end(), CompareOptionRecords);
117 // Generate prefix groups.
118 typedef SmallVector<SmallString<2>, 2> PrefixKeyT;
119 typedef std::map<PrefixKeyT, std::string> PrefixesT;
120 PrefixesT Prefixes;
121 Prefixes.insert(std::make_pair(PrefixKeyT(), "prefix_0"));
122 unsigned CurPrefix = 0;
123 for (unsigned i = 0, e = Opts.size(); i != e; ++i) {
124 const Record &R = *Opts[i];
125 std::vector<std::string> prf = R.getValueAsListOfStrings("Prefixes");
126 PrefixKeyT prfkey(prf.begin(), prf.end());
127 unsigned NewPrefix = CurPrefix + 1;
128 if (Prefixes.insert(std::make_pair(prfkey, (Twine("prefix_") +
129 Twine(NewPrefix)).str())).second)
130 CurPrefix = NewPrefix;
131 }
132
133 // Dump prefixes.
134
135 OS << "/////////\n";
136 OS << "// Prefixes\n\n";
137 OS << "#ifdef PREFIX\n";
138 OS << "#define COMMA ,\n";
139 for (PrefixesT::const_iterator I = Prefixes.begin(), E = Prefixes.end();
140 I != E; ++I) {
141 OS << "PREFIX(";
142
143 // Prefix name.
144 OS << I->second;
145
146 // Prefix values.
147 OS << ", {";
148 for (PrefixKeyT::const_iterator PI = I->first.begin(),
149 PE = I->first.end(); PI != PE; ++PI) {
150 OS << "\"" << *PI << "\" COMMA ";
151 }
152 OS << "0})\n";
153 }
154 OS << "#undef COMMA\n";
155 OS << "#endif\n\n";
156
157 OS << "/////////\n";
158 OS << "// Groups\n\n";
159 OS << "#ifdef OPTION\n";
160 for (unsigned i = 0, e = Groups.size(); i != e; ++i) {
161 const Record &R = *Groups[i];
162
163 // Start a single option entry.
164 OS << "OPTION(";
165
166 // The option prefix;
167 OS << "0";
168
169 // The option string.
170 OS << ", \"" << R.getValueAsString("Name") << '"';
171
172 // The option identifier name.
173 OS << ", "<< getOptionName(R);
174
175 // The option kind.
176 OS << ", Group";
177
178 // The containing option group (if any).
179 OS << ", ";
180 if (const DefInit *DI = dyn_cast<DefInit>(R.getValueInit("Group")))
181 OS << getOptionName(*DI->getDef());
182 else
183 OS << "INVALID";
184
185 // The other option arguments (unused for groups).
186 OS << ", INVALID, 0, 0, 0";
187
188 // The option help text.
189 if (!isa<UnsetInit>(R.getValueInit("HelpText"))) {
190 OS << ",\n";
191 OS << " ";
192 write_cstring(OS, R.getValueAsString("HelpText"));
193 } else
194 OS << ", 0";
195
196 // The option meta-variable name (unused).
197 OS << ", 0)\n";
198 }
199 OS << "\n";
200
201 OS << "//////////\n";
202 OS << "// Options\n\n";
203 for (unsigned i = 0, e = Opts.size(); i != e; ++i) {
204 const Record &R = *Opts[i];
205
206 // Start a single option entry.
207 OS << "OPTION(";
208
209 // The option prefix;
210 std::vector<std::string> prf = R.getValueAsListOfStrings("Prefixes");
211 OS << Prefixes[PrefixKeyT(prf.begin(), prf.end())] << ", ";
212
213 // The option string.
214 write_cstring(OS, R.getValueAsString("Name"));
215
216 // The option identifier name.
217 OS << ", "<< getOptionName(R);
218
219 // The option kind.
220 OS << ", " << R.getValueAsDef("Kind")->getValueAsString("Name");
221
222 // The containing option group (if any).
223 OS << ", ";
224 const ListInit *GroupFlags = nullptr;
225 if (const DefInit *DI = dyn_cast<DefInit>(R.getValueInit("Group"))) {
226 GroupFlags = DI->getDef()->getValueAsListInit("Flags");
227 OS << getOptionName(*DI->getDef());
228 } else
229 OS << "INVALID";
230
231 // The option alias (if any).
232 OS << ", ";
233 if (const DefInit *DI = dyn_cast<DefInit>(R.getValueInit("Alias")))
234 OS << getOptionName(*DI->getDef());
235 else
236 OS << "INVALID";
237
238 // The option alias arguments (if any).
239 // Emitted as a \0 separated list in a string, e.g. ["foo", "bar"]
240 // would become "foo\0bar\0". Note that the compiler adds an implicit
241 // terminating \0 at the end.
242 OS << ", ";
243 std::vector<std::string> AliasArgs = R.getValueAsListOfStrings("AliasArgs");
244 if (AliasArgs.size() == 0) {
245 OS << "0";
246 } else {
247 OS << "\"";
248 for (size_t i = 0, e = AliasArgs.size(); i != e; ++i)
249 OS << AliasArgs[i] << "\\0";
250 OS << "\"";
251 }
252
253 // The option flags.
254 OS << ", ";
255 int NumFlags = 0;
256 const ListInit *LI = R.getValueAsListInit("Flags");
257 for (Init *I : *LI)
258 OS << (NumFlags++ ? " | " : "")
259 << cast<DefInit>(I)->getDef()->getName();
260 if (GroupFlags) {
261 for (Init *I : *GroupFlags)
262 OS << (NumFlags++ ? " | " : "")
263 << cast<DefInit>(I)->getDef()->getName();
264 }
265 if (NumFlags == 0)
266 OS << '0';
267
268 // The option parameter field.
269 OS << ", " << R.getValueAsInt("NumArgs");
270
271 // The option help text.
272 if (!isa<UnsetInit>(R.getValueInit("HelpText"))) {
273 OS << ",\n";
274 OS << " ";
275 write_cstring(OS, R.getValueAsString("HelpText"));
276 } else
277 OS << ", 0";
278
279 // The option meta-variable name.
280 OS << ", ";
281 if (!isa<UnsetInit>(R.getValueInit("MetaVarName")))
282 write_cstring(OS, R.getValueAsString("MetaVarName"));
283 else
284 OS << "0";
285
286 OS << ")\n";
287 }
288 OS << "#endif\n";
289 }
290 } // end namespace llvm
291