Daniel Dunbar | 6ac1e22 | 2009-03-04 17:10:42 +0000 | [diff] [blame] | 1 | //===--- ArgList.cpp - Argument List Management -------------------------*-===// |
| 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 "clang/Driver/ArgList.h" |
| 11 | #include "clang/Driver/Arg.h" |
Daniel Dunbar | 03e8ab2 | 2010-05-20 16:54:55 +0000 | [diff] [blame] | 12 | #include "clang/Driver/DriverDiagnostic.h" |
Daniel Dunbar | 9358dc8 | 2009-03-04 22:40:08 +0000 | [diff] [blame] | 13 | #include "clang/Driver/Option.h" |
Daniel Dunbar | 6ac1e22 | 2009-03-04 17:10:42 +0000 | [diff] [blame] | 14 | |
Daniel Dunbar | 16484af | 2009-09-09 22:32:26 +0000 | [diff] [blame] | 15 | #include "llvm/ADT/SmallString.h" |
| 16 | #include "llvm/ADT/Twine.h" |
| 17 | #include "llvm/Support/raw_ostream.h" |
| 18 | |
Benjamin Kramer | a5ddbca | 2010-05-21 19:58:44 +0000 | [diff] [blame] | 19 | using namespace clang; |
Daniel Dunbar | 6ac1e22 | 2009-03-04 17:10:42 +0000 | [diff] [blame] | 20 | using namespace clang::driver; |
| 21 | |
Daniel Dunbar | 3b84f5b | 2009-11-25 11:33:30 +0000 | [diff] [blame] | 22 | void arg_iterator::SkipToNextArg() { |
| 23 | for (; Current != Args.end(); ++Current) { |
| 24 | // Done if there are no filters. |
| 25 | if (!Id0.isValid()) |
| 26 | break; |
| 27 | |
| 28 | // Otherwise require a match. |
| 29 | const Option &O = (*Current)->getOption(); |
| 30 | if (O.matches(Id0) || |
| 31 | (Id1.isValid() && O.matches(Id1)) || |
| 32 | (Id2.isValid() && O.matches(Id2))) |
| 33 | break; |
| 34 | } |
| 35 | } |
| 36 | |
| 37 | // |
| 38 | |
Daniel Dunbar | f3cad36 | 2009-03-25 04:13:45 +0000 | [diff] [blame] | 39 | ArgList::ArgList(arglist_type &_Args) : Args(_Args) { |
Daniel Dunbar | 6ac1e22 | 2009-03-04 17:10:42 +0000 | [diff] [blame] | 40 | } |
| 41 | |
| 42 | ArgList::~ArgList() { |
Daniel Dunbar | 6ac1e22 | 2009-03-04 17:10:42 +0000 | [diff] [blame] | 43 | } |
Daniel Dunbar | 9358dc8 | 2009-03-04 22:40:08 +0000 | [diff] [blame] | 44 | |
| 45 | void ArgList::append(Arg *A) { |
Daniel Dunbar | 9358dc8 | 2009-03-04 22:40:08 +0000 | [diff] [blame] | 46 | Args.push_back(A); |
| 47 | } |
Daniel Dunbar | d8cadd4 | 2009-03-12 01:36:44 +0000 | [diff] [blame] | 48 | |
Daniel Dunbar | 9e1f982 | 2009-11-19 04:14:53 +0000 | [diff] [blame] | 49 | Arg *ArgList::getLastArgNoClaim(OptSpecifier Id) const { |
Daniel Dunbar | d8cadd4 | 2009-03-12 01:36:44 +0000 | [diff] [blame] | 50 | // FIXME: Make search efficient? |
Daniel Dunbar | e4bdae7 | 2009-11-19 04:00:53 +0000 | [diff] [blame] | 51 | for (const_reverse_iterator it = rbegin(), ie = rend(); it != ie; ++it) |
| 52 | if ((*it)->getOption().matches(Id)) |
Daniel Dunbar | 0c562a2 | 2009-03-12 16:03:38 +0000 | [diff] [blame] | 53 | return *it; |
Daniel Dunbar | 0c562a2 | 2009-03-12 16:03:38 +0000 | [diff] [blame] | 54 | return 0; |
Daniel Dunbar | d8cadd4 | 2009-03-12 01:36:44 +0000 | [diff] [blame] | 55 | } |
Daniel Dunbar | bca58cb | 2009-03-12 18:20:18 +0000 | [diff] [blame] | 56 | |
Daniel Dunbar | 9e1f982 | 2009-11-19 04:14:53 +0000 | [diff] [blame] | 57 | Arg *ArgList::getLastArg(OptSpecifier Id) const { |
Daniel Dunbar | e4bdae7 | 2009-11-19 04:00:53 +0000 | [diff] [blame] | 58 | Arg *A = getLastArgNoClaim(Id); |
| 59 | if (A) |
| 60 | A->claim(); |
| 61 | return A; |
| 62 | } |
| 63 | |
Daniel Dunbar | 9e1f982 | 2009-11-19 04:14:53 +0000 | [diff] [blame] | 64 | Arg *ArgList::getLastArg(OptSpecifier Id0, OptSpecifier Id1) const { |
Daniel Dunbar | e4bdae7 | 2009-11-19 04:00:53 +0000 | [diff] [blame] | 65 | Arg *Res, *A0 = getLastArgNoClaim(Id0), *A1 = getLastArgNoClaim(Id1); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 66 | |
Daniel Dunbar | cd4e186 | 2009-03-17 18:51:42 +0000 | [diff] [blame] | 67 | if (A0 && A1) |
| 68 | Res = A0->getIndex() > A1->getIndex() ? A0 : A1; |
| 69 | else |
| 70 | Res = A0 ? A0 : A1; |
| 71 | |
Daniel Dunbar | e4bdae7 | 2009-11-19 04:00:53 +0000 | [diff] [blame] | 72 | if (Res) |
Daniel Dunbar | cd4e186 | 2009-03-17 18:51:42 +0000 | [diff] [blame] | 73 | Res->claim(); |
| 74 | |
| 75 | return Res; |
| 76 | } |
| 77 | |
Daniel Dunbar | 9e1f982 | 2009-11-19 04:14:53 +0000 | [diff] [blame] | 78 | Arg *ArgList::getLastArg(OptSpecifier Id0, OptSpecifier Id1, |
| 79 | OptSpecifier Id2) const { |
Bill Wendling | 45483f7 | 2009-06-28 07:36:13 +0000 | [diff] [blame] | 80 | Arg *Res = 0; |
Daniel Dunbar | e4bdae7 | 2009-11-19 04:00:53 +0000 | [diff] [blame] | 81 | Arg *A0 = getLastArgNoClaim(Id0); |
| 82 | Arg *A1 = getLastArgNoClaim(Id1); |
| 83 | Arg *A2 = getLastArgNoClaim(Id2); |
Bill Wendling | 45483f7 | 2009-06-28 07:36:13 +0000 | [diff] [blame] | 84 | |
Ted Kremenek | cbc6a63 | 2010-03-10 19:09:31 +0000 | [diff] [blame] | 85 | int A0Idx = A0 ? (int) A0->getIndex() : -1; |
| 86 | int A1Idx = A1 ? (int) A1->getIndex() : -1; |
| 87 | int A2Idx = A2 ? (int) A2->getIndex() : -1; |
Bill Wendling | 45483f7 | 2009-06-28 07:36:13 +0000 | [diff] [blame] | 88 | |
| 89 | if (A0Idx > A1Idx) { |
| 90 | if (A0Idx > A2Idx) |
| 91 | Res = A0; |
| 92 | else if (A2Idx != -1) |
| 93 | Res = A2; |
| 94 | } else { |
| 95 | if (A1Idx > A2Idx) |
| 96 | Res = A1; |
| 97 | else if (A2Idx != -1) |
| 98 | Res = A2; |
| 99 | } |
| 100 | |
Daniel Dunbar | e4bdae7 | 2009-11-19 04:00:53 +0000 | [diff] [blame] | 101 | if (Res) |
Bill Wendling | 45483f7 | 2009-06-28 07:36:13 +0000 | [diff] [blame] | 102 | Res->claim(); |
| 103 | |
| 104 | return Res; |
| 105 | } |
| 106 | |
Daniel Dunbar | 9e1f982 | 2009-11-19 04:14:53 +0000 | [diff] [blame] | 107 | bool ArgList::hasFlag(OptSpecifier Pos, OptSpecifier Neg, bool Default) const { |
Daniel Dunbar | 9af6668 | 2009-04-07 21:08:57 +0000 | [diff] [blame] | 108 | if (Arg *A = getLastArg(Pos, Neg)) |
| 109 | return A->getOption().matches(Pos); |
Daniel Dunbar | 18a7f33 | 2009-03-18 09:29:36 +0000 | [diff] [blame] | 110 | return Default; |
| 111 | } |
| 112 | |
Daniel Dunbar | 03e8ab2 | 2010-05-20 16:54:55 +0000 | [diff] [blame] | 113 | llvm::StringRef ArgList::getLastArgValue(OptSpecifier Id, |
| 114 | llvm::StringRef Default) const { |
| 115 | if (Arg *A = getLastArg(Id)) |
| 116 | return A->getValue(*this); |
| 117 | return Default; |
| 118 | } |
| 119 | |
| 120 | int ArgList::getLastArgIntValue(OptSpecifier Id, int Default, |
Daniel Dunbar | 5e30b8b | 2010-05-22 05:05:12 +0000 | [diff] [blame^] | 121 | clang::Diagnostic &Diags) const { |
Daniel Dunbar | 03e8ab2 | 2010-05-20 16:54:55 +0000 | [diff] [blame] | 122 | int Res = Default; |
| 123 | |
| 124 | if (Arg *A = getLastArg(Id)) { |
| 125 | if (llvm::StringRef(A->getValue(*this)).getAsInteger(10, Res)) |
| 126 | Diags.Report(diag::err_drv_invalid_int_value) |
| 127 | << A->getAsString(*this) << A->getValue(*this); |
| 128 | } |
| 129 | |
| 130 | return Res; |
| 131 | } |
| 132 | |
| 133 | std::vector<std::string> ArgList::getAllArgValues(OptSpecifier Id) const { |
| 134 | llvm::SmallVector<const char *, 16> Values; |
| 135 | AddAllArgValues(Values, Id); |
| 136 | return std::vector<std::string>(Values.begin(), Values.end()); |
| 137 | } |
| 138 | |
Daniel Dunbar | 9e1f982 | 2009-11-19 04:14:53 +0000 | [diff] [blame] | 139 | void ArgList::AddLastArg(ArgStringList &Output, OptSpecifier Id) const { |
Daniel Dunbar | 18a7f33 | 2009-03-18 09:29:36 +0000 | [diff] [blame] | 140 | if (Arg *A = getLastArg(Id)) { |
| 141 | A->claim(); |
| 142 | A->render(*this, Output); |
| 143 | } |
| 144 | } |
| 145 | |
Daniel Dunbar | 9e1f982 | 2009-11-19 04:14:53 +0000 | [diff] [blame] | 146 | void ArgList::AddAllArgs(ArgStringList &Output, OptSpecifier Id0, |
| 147 | OptSpecifier Id1, OptSpecifier Id2) const { |
Daniel Dunbar | 3b84f5b | 2009-11-25 11:33:30 +0000 | [diff] [blame] | 148 | for (arg_iterator it = filtered_begin(Id0, Id1, Id2), |
| 149 | ie = filtered_end(); it != ie; ++it) { |
| 150 | it->claim(); |
| 151 | it->render(*this, Output); |
Daniel Dunbar | 18a7f33 | 2009-03-18 09:29:36 +0000 | [diff] [blame] | 152 | } |
| 153 | } |
Daniel Dunbar | ee51031 | 2009-03-20 15:59:01 +0000 | [diff] [blame] | 154 | |
Daniel Dunbar | 9e1f982 | 2009-11-19 04:14:53 +0000 | [diff] [blame] | 155 | void ArgList::AddAllArgValues(ArgStringList &Output, OptSpecifier Id0, |
Daniel Dunbar | 3b84f5b | 2009-11-25 11:33:30 +0000 | [diff] [blame] | 156 | OptSpecifier Id1, OptSpecifier Id2) const { |
| 157 | for (arg_iterator it = filtered_begin(Id0, Id1, Id2), |
| 158 | ie = filtered_end(); it != ie; ++it) { |
| 159 | it->claim(); |
| 160 | for (unsigned i = 0, e = it->getNumValues(); i != e; ++i) |
| 161 | Output.push_back(it->getValue(*this, i)); |
Daniel Dunbar | ee51031 | 2009-03-20 15:59:01 +0000 | [diff] [blame] | 162 | } |
| 163 | } |
Daniel Dunbar | f3cad36 | 2009-03-25 04:13:45 +0000 | [diff] [blame] | 164 | |
Daniel Dunbar | 9e1f982 | 2009-11-19 04:14:53 +0000 | [diff] [blame] | 165 | void ArgList::AddAllArgsTranslated(ArgStringList &Output, OptSpecifier Id0, |
Daniel Dunbar | 4df9a66 | 2009-04-26 01:07:52 +0000 | [diff] [blame] | 166 | const char *Translation, |
| 167 | bool Joined) const { |
Daniel Dunbar | 3b84f5b | 2009-11-25 11:33:30 +0000 | [diff] [blame] | 168 | for (arg_iterator it = filtered_begin(Id0), |
| 169 | ie = filtered_end(); it != ie; ++it) { |
| 170 | it->claim(); |
Daniel Dunbar | 4df9a66 | 2009-04-26 01:07:52 +0000 | [diff] [blame] | 171 | |
Daniel Dunbar | 3b84f5b | 2009-11-25 11:33:30 +0000 | [diff] [blame] | 172 | if (Joined) { |
| 173 | Output.push_back(MakeArgString(llvm::StringRef(Translation) + |
| 174 | it->getValue(*this, 0))); |
| 175 | } else { |
| 176 | Output.push_back(Translation); |
| 177 | Output.push_back(it->getValue(*this, 0)); |
Daniel Dunbar | 524b9fb | 2009-03-26 15:39:22 +0000 | [diff] [blame] | 178 | } |
| 179 | } |
| 180 | } |
| 181 | |
Daniel Dunbar | 9e1f982 | 2009-11-19 04:14:53 +0000 | [diff] [blame] | 182 | void ArgList::ClaimAllArgs(OptSpecifier Id0) const { |
Daniel Dunbar | 3b84f5b | 2009-11-25 11:33:30 +0000 | [diff] [blame] | 183 | for (arg_iterator it = filtered_begin(Id0), |
| 184 | ie = filtered_end(); it != ie; ++it) |
| 185 | it->claim(); |
Daniel Dunbar | 68fb469 | 2009-04-03 20:51:31 +0000 | [diff] [blame] | 186 | } |
| 187 | |
Daniel Dunbar | 16484af | 2009-09-09 22:32:26 +0000 | [diff] [blame] | 188 | const char *ArgList::MakeArgString(const llvm::Twine &T) const { |
| 189 | llvm::SmallString<256> Str; |
| 190 | T.toVector(Str); |
| 191 | return MakeArgString(Str.str()); |
| 192 | } |
| 193 | |
Daniel Dunbar | f3cad36 | 2009-03-25 04:13:45 +0000 | [diff] [blame] | 194 | // |
| 195 | |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 196 | InputArgList::InputArgList(const char **ArgBegin, const char **ArgEnd) |
| 197 | : ArgList(ActualArgs), NumInputArgStrings(ArgEnd - ArgBegin) { |
Daniel Dunbar | f3cad36 | 2009-03-25 04:13:45 +0000 | [diff] [blame] | 198 | ArgStrings.append(ArgBegin, ArgEnd); |
| 199 | } |
| 200 | |
| 201 | InputArgList::~InputArgList() { |
| 202 | // An InputArgList always owns its arguments. |
| 203 | for (iterator it = begin(), ie = end(); it != ie; ++it) |
| 204 | delete *it; |
| 205 | } |
| 206 | |
Daniel Dunbar | 16484af | 2009-09-09 22:32:26 +0000 | [diff] [blame] | 207 | unsigned InputArgList::MakeIndex(llvm::StringRef String0) const { |
Daniel Dunbar | f3cad36 | 2009-03-25 04:13:45 +0000 | [diff] [blame] | 208 | unsigned Index = ArgStrings.size(); |
| 209 | |
| 210 | // Tuck away so we have a reliable const char *. |
| 211 | SynthesizedStrings.push_back(String0); |
| 212 | ArgStrings.push_back(SynthesizedStrings.back().c_str()); |
| 213 | |
| 214 | return Index; |
| 215 | } |
| 216 | |
Daniel Dunbar | 16484af | 2009-09-09 22:32:26 +0000 | [diff] [blame] | 217 | unsigned InputArgList::MakeIndex(llvm::StringRef String0, |
| 218 | llvm::StringRef String1) const { |
Daniel Dunbar | f3cad36 | 2009-03-25 04:13:45 +0000 | [diff] [blame] | 219 | unsigned Index0 = MakeIndex(String0); |
| 220 | unsigned Index1 = MakeIndex(String1); |
| 221 | assert(Index0 + 1 == Index1 && "Unexpected non-consecutive indices!"); |
| 222 | (void) Index1; |
| 223 | return Index0; |
| 224 | } |
| 225 | |
Daniel Dunbar | 16484af | 2009-09-09 22:32:26 +0000 | [diff] [blame] | 226 | const char *InputArgList::MakeArgString(llvm::StringRef Str) const { |
Daniel Dunbar | f3cad36 | 2009-03-25 04:13:45 +0000 | [diff] [blame] | 227 | return getArgString(MakeIndex(Str)); |
| 228 | } |
| 229 | |
| 230 | // |
| 231 | |
| 232 | DerivedArgList::DerivedArgList(InputArgList &_BaseArgs, bool _OnlyProxy) |
| 233 | : ArgList(_OnlyProxy ? _BaseArgs.getArgs() : ActualArgs), |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 234 | BaseArgs(_BaseArgs), OnlyProxy(_OnlyProxy) { |
Daniel Dunbar | f3cad36 | 2009-03-25 04:13:45 +0000 | [diff] [blame] | 235 | } |
| 236 | |
| 237 | DerivedArgList::~DerivedArgList() { |
| 238 | // We only own the arguments we explicitly synthesized. |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 239 | for (iterator it = SynthesizedArgs.begin(), ie = SynthesizedArgs.end(); |
Daniel Dunbar | f3cad36 | 2009-03-25 04:13:45 +0000 | [diff] [blame] | 240 | it != ie; ++it) |
| 241 | delete *it; |
| 242 | } |
| 243 | |
Daniel Dunbar | 16484af | 2009-09-09 22:32:26 +0000 | [diff] [blame] | 244 | const char *DerivedArgList::MakeArgString(llvm::StringRef Str) const { |
Daniel Dunbar | f3cad36 | 2009-03-25 04:13:45 +0000 | [diff] [blame] | 245 | return BaseArgs.MakeArgString(Str); |
| 246 | } |
| 247 | |
Daniel Dunbar | 478edc2 | 2009-03-29 22:29:05 +0000 | [diff] [blame] | 248 | Arg *DerivedArgList::MakeFlagArg(const Arg *BaseArg, const Option *Opt) const { |
Daniel Dunbar | fd48cb3 | 2010-03-11 18:04:53 +0000 | [diff] [blame] | 249 | Arg *A = new FlagArg(Opt, BaseArgs.MakeIndex(Opt->getName()), BaseArg); |
| 250 | SynthesizedArgs.push_back(A); |
| 251 | return A; |
Daniel Dunbar | f3cad36 | 2009-03-25 04:13:45 +0000 | [diff] [blame] | 252 | } |
| 253 | |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 254 | Arg *DerivedArgList::MakePositionalArg(const Arg *BaseArg, const Option *Opt, |
Daniel Dunbar | 16484af | 2009-09-09 22:32:26 +0000 | [diff] [blame] | 255 | llvm::StringRef Value) const { |
Daniel Dunbar | fd48cb3 | 2010-03-11 18:04:53 +0000 | [diff] [blame] | 256 | Arg *A = new PositionalArg(Opt, BaseArgs.MakeIndex(Value), BaseArg); |
| 257 | SynthesizedArgs.push_back(A); |
| 258 | return A; |
Daniel Dunbar | f3cad36 | 2009-03-25 04:13:45 +0000 | [diff] [blame] | 259 | } |
| 260 | |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 261 | Arg *DerivedArgList::MakeSeparateArg(const Arg *BaseArg, const Option *Opt, |
Daniel Dunbar | 16484af | 2009-09-09 22:32:26 +0000 | [diff] [blame] | 262 | llvm::StringRef Value) const { |
Daniel Dunbar | fd48cb3 | 2010-03-11 18:04:53 +0000 | [diff] [blame] | 263 | Arg *A = new SeparateArg(Opt, BaseArgs.MakeIndex(Opt->getName(), Value), 1, |
| 264 | BaseArg); |
| 265 | SynthesizedArgs.push_back(A); |
| 266 | return A; |
Daniel Dunbar | f3cad36 | 2009-03-25 04:13:45 +0000 | [diff] [blame] | 267 | } |
| 268 | |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 269 | Arg *DerivedArgList::MakeJoinedArg(const Arg *BaseArg, const Option *Opt, |
Daniel Dunbar | 16484af | 2009-09-09 22:32:26 +0000 | [diff] [blame] | 270 | llvm::StringRef Value) const { |
Daniel Dunbar | fd48cb3 | 2010-03-11 18:04:53 +0000 | [diff] [blame] | 271 | Arg *A = new JoinedArg(Opt, BaseArgs.MakeIndex(Opt->getName() + Value.str()), |
| 272 | BaseArg); |
| 273 | SynthesizedArgs.push_back(A); |
| 274 | return A; |
Daniel Dunbar | f3cad36 | 2009-03-25 04:13:45 +0000 | [diff] [blame] | 275 | } |