blob: ebf05aab764b5d51b972453a6cc574c8610a038c [file] [log] [blame]
Michael J. Spencer41ee0412012-12-05 00:29:32 +00001//===--- Option.cpp - Abstract Driver Options -----------------------------===//
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/Option/Option.h"
Michael J. Spencer41ee0412012-12-05 00:29:32 +000011#include "llvm/ADT/Twine.h"
12#include "llvm/Option/Arg.h"
13#include "llvm/Option/ArgList.h"
Eric Christopher9a8b5e72015-12-18 18:55:26 +000014#include "llvm/Support/Debug.h"
Michael J. Spencer41ee0412012-12-05 00:29:32 +000015#include "llvm/Support/ErrorHandling.h"
Chandler Carruthbe810232013-01-02 10:22:59 +000016#include "llvm/Support/raw_ostream.h"
Michael J. Spencer41ee0412012-12-05 00:29:32 +000017#include <algorithm>
18#include <cassert>
19
20using namespace llvm;
21using namespace llvm::opt;
22
23Option::Option(const OptTable::Info *info, const OptTable *owner)
24 : Info(info), Owner(owner) {
25
Hans Wennborg31d6fd82013-07-22 16:18:13 +000026 // Multi-level aliases are not supported. This just simplifies option
27 // tracking, it is not an inherent limitation.
Richard Trieu46978d42013-07-22 21:29:28 +000028 assert((!Info || !getAlias().isValid() || !getAlias().getAlias().isValid()) &&
Hans Wennborg31d6fd82013-07-22 16:18:13 +000029 "Multi-level aliases are not supported.");
Hans Wennborg5fdcf862013-07-31 22:44:41 +000030
31 if (Info && getAliasArgs()) {
32 assert(getAlias().isValid() && "Only alias options can have alias args.");
33 assert(getKind() == FlagClass && "Only Flag aliases can have alias args.");
34 assert(getAlias().getKind() != FlagClass &&
35 "Cannot provide alias args to a flag option.");
36 }
Michael J. Spencer41ee0412012-12-05 00:29:32 +000037}
38
Eric Christopher9a8b5e72015-12-18 18:55:26 +000039void Option::print(raw_ostream &O) const {
40 O << "<";
Michael J. Spencer41ee0412012-12-05 00:29:32 +000041 switch (getKind()) {
Eric Christopher9a8b5e72015-12-18 18:55:26 +000042#define P(N) case N: O << #N; break
Michael J. Spencer41ee0412012-12-05 00:29:32 +000043 P(GroupClass);
44 P(InputClass);
45 P(UnknownClass);
46 P(FlagClass);
47 P(JoinedClass);
48 P(SeparateClass);
49 P(CommaJoinedClass);
50 P(MultiArgClass);
51 P(JoinedOrSeparateClass);
52 P(JoinedAndSeparateClass);
Hans Wennborgd505fbf2013-08-13 21:09:50 +000053 P(RemainingArgsClass);
Michael J. Spencer41ee0412012-12-05 00:29:32 +000054#undef P
55 }
56
Reid Kleckner7b78d352013-06-26 22:43:37 +000057 if (Info->Prefixes) {
Eric Christopher9a8b5e72015-12-18 18:55:26 +000058 O << " Prefixes:[";
59 for (const char *const *Pre = Info->Prefixes; *Pre != nullptr; ++Pre) {
60 O << '"' << *Pre << (*(Pre + 1) == nullptr ? "\"" : "\", ");
Reid Kleckner7b78d352013-06-26 22:43:37 +000061 }
Eric Christopher9a8b5e72015-12-18 18:55:26 +000062 O << ']';
Michael J. Spencer41ee0412012-12-05 00:29:32 +000063 }
Michael J. Spencer41ee0412012-12-05 00:29:32 +000064
Eric Christopher9a8b5e72015-12-18 18:55:26 +000065 O << " Name:\"" << getName() << '"';
Michael J. Spencer41ee0412012-12-05 00:29:32 +000066
67 const Option Group = getGroup();
68 if (Group.isValid()) {
Eric Christopher9a8b5e72015-12-18 18:55:26 +000069 O << " Group:";
70 Group.print(O);
Michael J. Spencer41ee0412012-12-05 00:29:32 +000071 }
72
73 const Option Alias = getAlias();
74 if (Alias.isValid()) {
Eric Christopher9a8b5e72015-12-18 18:55:26 +000075 O << " Alias:";
76 Alias.print(O);
Michael J. Spencer41ee0412012-12-05 00:29:32 +000077 }
78
79 if (getKind() == MultiArgClass)
Eric Christopher9a8b5e72015-12-18 18:55:26 +000080 O << " NumArgs:" << getNumArgs();
Michael J. Spencer41ee0412012-12-05 00:29:32 +000081
Eric Christopher9a8b5e72015-12-18 18:55:26 +000082 O << ">\n";
Michael J. Spencer41ee0412012-12-05 00:29:32 +000083}
84
Eric Christopher9a8b5e72015-12-18 18:55:26 +000085void Option::dump() const { print(dbgs()); }
86
Michael J. Spencer41ee0412012-12-05 00:29:32 +000087bool Option::matches(OptSpecifier Opt) const {
88 // Aliases are never considered in matching, look through them.
89 const Option Alias = getAlias();
90 if (Alias.isValid())
91 return Alias.matches(Opt);
92
93 // Check exact match.
94 if (getID() == Opt.getID())
95 return true;
96
97 const Option Group = getGroup();
98 if (Group.isValid())
99 return Group.matches(Opt);
100 return false;
101}
102
103Arg *Option::accept(const ArgList &Args,
104 unsigned &Index,
105 unsigned ArgSize) const {
106 const Option &UnaliasedOption = getUnaliasedOption();
107 StringRef Spelling;
108 // If the option was an alias, get the spelling from the unaliased one.
109 if (getID() == UnaliasedOption.getID()) {
110 Spelling = StringRef(Args.getArgString(Index), ArgSize);
111 } else {
112 Spelling = Args.MakeArgString(Twine(UnaliasedOption.getPrefix()) +
113 Twine(UnaliasedOption.getName()));
114 }
115
116 switch (getKind()) {
Hans Wennborg5fdcf862013-07-31 22:44:41 +0000117 case FlagClass: {
Michael J. Spencer41ee0412012-12-05 00:29:32 +0000118 if (ArgSize != strlen(Args.getArgString(Index)))
Craig Topper2617dcc2014-04-15 06:32:26 +0000119 return nullptr;
Michael J. Spencer41ee0412012-12-05 00:29:32 +0000120
Hans Wennborg5fdcf862013-07-31 22:44:41 +0000121 Arg *A = new Arg(UnaliasedOption, Spelling, Index++);
122 if (getAliasArgs()) {
123 const char *Val = getAliasArgs();
124 while (*Val != '\0') {
125 A->getValues().push_back(Val);
126
127 // Move past the '\0' to the next argument.
128 Val += strlen(Val) + 1;
129 }
130 }
Hans Wennborg8d8146f2015-05-04 18:00:13 +0000131
132 if (UnaliasedOption.getKind() == JoinedClass && !getAliasArgs())
133 // A Flag alias for a Joined option must provide an argument.
134 A->getValues().push_back("");
135
Hans Wennborg5fdcf862013-07-31 22:44:41 +0000136 return A;
137 }
Michael J. Spencer41ee0412012-12-05 00:29:32 +0000138 case JoinedClass: {
139 const char *Value = Args.getArgString(Index) + ArgSize;
140 return new Arg(UnaliasedOption, Spelling, Index++, Value);
141 }
142 case CommaJoinedClass: {
143 // Always matches.
144 const char *Str = Args.getArgString(Index) + ArgSize;
145 Arg *A = new Arg(UnaliasedOption, Spelling, Index++);
146
147 // Parse out the comma separated values.
148 const char *Prev = Str;
149 for (;; ++Str) {
150 char c = *Str;
151
152 if (!c || c == ',') {
153 if (Prev != Str) {
154 char *Value = new char[Str - Prev + 1];
155 memcpy(Value, Prev, Str - Prev);
156 Value[Str - Prev] = '\0';
157 A->getValues().push_back(Value);
158 }
159
160 if (!c)
161 break;
162
163 Prev = Str + 1;
164 }
165 }
166 A->setOwnsValues(true);
167
168 return A;
169 }
170 case SeparateClass:
171 // Matches iff this is an exact match.
172 // FIXME: Avoid strlen.
173 if (ArgSize != strlen(Args.getArgString(Index)))
Craig Topper2617dcc2014-04-15 06:32:26 +0000174 return nullptr;
Michael J. Spencer41ee0412012-12-05 00:29:32 +0000175
176 Index += 2;
Reid Klecknere3f146d2014-08-22 19:29:17 +0000177 if (Index > Args.getNumInputArgStrings() ||
178 Args.getArgString(Index - 1) == nullptr)
Craig Topper2617dcc2014-04-15 06:32:26 +0000179 return nullptr;
Michael J. Spencer41ee0412012-12-05 00:29:32 +0000180
181 return new Arg(UnaliasedOption, Spelling,
182 Index - 2, Args.getArgString(Index - 1));
183 case MultiArgClass: {
184 // Matches iff this is an exact match.
185 // FIXME: Avoid strlen.
186 if (ArgSize != strlen(Args.getArgString(Index)))
Craig Topper2617dcc2014-04-15 06:32:26 +0000187 return nullptr;
Michael J. Spencer41ee0412012-12-05 00:29:32 +0000188
189 Index += 1 + getNumArgs();
190 if (Index > Args.getNumInputArgStrings())
Craig Topper2617dcc2014-04-15 06:32:26 +0000191 return nullptr;
Michael J. Spencer41ee0412012-12-05 00:29:32 +0000192
193 Arg *A = new Arg(UnaliasedOption, Spelling, Index - 1 - getNumArgs(),
194 Args.getArgString(Index - getNumArgs()));
195 for (unsigned i = 1; i != getNumArgs(); ++i)
196 A->getValues().push_back(Args.getArgString(Index - getNumArgs() + i));
197 return A;
198 }
199 case JoinedOrSeparateClass: {
200 // If this is not an exact match, it is a joined arg.
201 // FIXME: Avoid strlen.
202 if (ArgSize != strlen(Args.getArgString(Index))) {
203 const char *Value = Args.getArgString(Index) + ArgSize;
204 return new Arg(*this, Spelling, Index++, Value);
205 }
206
207 // Otherwise it must be separate.
208 Index += 2;
Reid Klecknere3f146d2014-08-22 19:29:17 +0000209 if (Index > Args.getNumInputArgStrings() ||
210 Args.getArgString(Index - 1) == nullptr)
Craig Topper2617dcc2014-04-15 06:32:26 +0000211 return nullptr;
Michael J. Spencer41ee0412012-12-05 00:29:32 +0000212
213 return new Arg(UnaliasedOption, Spelling,
214 Index - 2, Args.getArgString(Index - 1));
215 }
216 case JoinedAndSeparateClass:
217 // Always matches.
218 Index += 2;
Reid Klecknere3f146d2014-08-22 19:29:17 +0000219 if (Index > Args.getNumInputArgStrings() ||
220 Args.getArgString(Index - 1) == nullptr)
Craig Topper2617dcc2014-04-15 06:32:26 +0000221 return nullptr;
Michael J. Spencer41ee0412012-12-05 00:29:32 +0000222
223 return new Arg(UnaliasedOption, Spelling, Index - 2,
224 Args.getArgString(Index - 2) + ArgSize,
225 Args.getArgString(Index - 1));
Hans Wennborgd505fbf2013-08-13 21:09:50 +0000226 case RemainingArgsClass: {
227 // Matches iff this is an exact match.
228 // FIXME: Avoid strlen.
229 if (ArgSize != strlen(Args.getArgString(Index)))
Craig Topper2617dcc2014-04-15 06:32:26 +0000230 return nullptr;
Hans Wennborgd505fbf2013-08-13 21:09:50 +0000231 Arg *A = new Arg(UnaliasedOption, Spelling, Index++);
Reid Klecknere3f146d2014-08-22 19:29:17 +0000232 while (Index < Args.getNumInputArgStrings() &&
233 Args.getArgString(Index) != nullptr)
Hans Wennborgd505fbf2013-08-13 21:09:50 +0000234 A->getValues().push_back(Args.getArgString(Index++));
235 return A;
236 }
Michael J. Spencer41ee0412012-12-05 00:29:32 +0000237 default:
238 llvm_unreachable("Invalid option kind!");
239 }
240}