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