1 //===- ArgList.cpp - Argument List Management -----------------------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #include "llvm/ADT/ArrayRef.h" 10 #include "llvm/ADT/None.h" 11 #include "llvm/ADT/SmallVector.h" 12 #include "llvm/ADT/STLExtras.h" 13 #include "llvm/ADT/StringRef.h" 14 #include "llvm/ADT/Twine.h" 15 #include "llvm/Config/llvm-config.h" 16 #include "llvm/Option/Arg.h" 17 #include "llvm/Option/ArgList.h" 18 #include "llvm/Option/Option.h" 19 #include "llvm/Option/OptSpecifier.h" 20 #include "llvm/Support/Compiler.h" 21 #include "llvm/Support/Debug.h" 22 #include "llvm/Support/raw_ostream.h" 23 #include <algorithm> 24 #include <cassert> 25 #include <memory> 26 #include <string> 27 #include <utility> 28 #include <vector> 29 30 using namespace llvm; 31 using namespace llvm::opt; 32 33 void ArgList::append(Arg *A) { 34 Args.push_back(A); 35 36 // Update ranges for the option and all of its groups. 37 for (Option O = A->getOption().getUnaliasedOption(); O.isValid(); 38 O = O.getGroup()) { 39 auto &R = 40 OptRanges.insert(std::make_pair(O.getID(), emptyRange())).first->second; 41 R.first = std::min<unsigned>(R.first, Args.size() - 1); 42 R.second = Args.size(); 43 } 44 } 45 46 void ArgList::eraseArg(OptSpecifier Id) { 47 // Zero out the removed entries but keep them around so that we don't 48 // need to invalidate OptRanges. 49 for (Arg *const &A : filtered(Id)) { 50 // Avoid the need for a non-const filtered iterator variant. 51 Arg **ArgsBegin = Args.data(); 52 ArgsBegin[&A - ArgsBegin] = nullptr; 53 } 54 OptRanges.erase(Id.getID()); 55 } 56 57 ArgList::OptRange 58 ArgList::getRange(std::initializer_list<OptSpecifier> Ids) const { 59 OptRange R = emptyRange(); 60 for (auto Id : Ids) { 61 auto I = OptRanges.find(Id.getID()); 62 if (I != OptRanges.end()) { 63 R.first = std::min(R.first, I->second.first); 64 R.second = std::max(R.second, I->second.second); 65 } 66 } 67 // Map an empty {-1, 0} range to {0, 0} so it can be used to form iterators. 68 if (R.first == -1u) 69 R.first = 0; 70 return R; 71 } 72 73 bool ArgList::hasFlag(OptSpecifier Pos, OptSpecifier Neg, bool Default) const { 74 if (Arg *A = getLastArg(Pos, Neg)) 75 return A->getOption().matches(Pos); 76 return Default; 77 } 78 79 bool ArgList::hasFlag(OptSpecifier Pos, OptSpecifier PosAlias, OptSpecifier Neg, 80 bool Default) const { 81 if (Arg *A = getLastArg(Pos, PosAlias, Neg)) 82 return A->getOption().matches(Pos) || A->getOption().matches(PosAlias); 83 return Default; 84 } 85 86 StringRef ArgList::getLastArgValue(OptSpecifier Id, StringRef Default) const { 87 if (Arg *A = getLastArg(Id)) 88 return A->getValue(); 89 return Default; 90 } 91 92 std::vector<std::string> ArgList::getAllArgValues(OptSpecifier Id) const { 93 SmallVector<const char *, 16> Values; 94 AddAllArgValues(Values, Id); 95 return std::vector<std::string>(Values.begin(), Values.end()); 96 } 97 98 void ArgList::AddAllArgsExcept(ArgStringList &Output, 99 ArrayRef<OptSpecifier> Ids, 100 ArrayRef<OptSpecifier> ExcludeIds) const { 101 for (const Arg *Arg : *this) { 102 bool Excluded = false; 103 for (OptSpecifier Id : ExcludeIds) { 104 if (Arg->getOption().matches(Id)) { 105 Excluded = true; 106 break; 107 } 108 } 109 if (!Excluded) { 110 for (OptSpecifier Id : Ids) { 111 if (Arg->getOption().matches(Id)) { 112 Arg->claim(); 113 Arg->render(*this, Output); 114 break; 115 } 116 } 117 } 118 } 119 } 120 121 /// This is a nicer interface when you don't have a list of Ids to exclude. 122 void ArgList::AddAllArgs(ArgStringList &Output, 123 ArrayRef<OptSpecifier> Ids) const { 124 ArrayRef<OptSpecifier> Exclude = None; 125 AddAllArgsExcept(Output, Ids, Exclude); 126 } 127 128 /// This 3-opt variant of AddAllArgs could be eliminated in favor of one 129 /// that accepts a single specifier, given the above which accepts any number. 130 void ArgList::AddAllArgs(ArgStringList &Output, OptSpecifier Id0, 131 OptSpecifier Id1, OptSpecifier Id2) const { 132 for (auto Arg: filtered(Id0, Id1, Id2)) { 133 Arg->claim(); 134 Arg->render(*this, Output); 135 } 136 } 137 138 void ArgList::AddAllArgValues(ArgStringList &Output, OptSpecifier Id0, 139 OptSpecifier Id1, OptSpecifier Id2) const { 140 for (auto Arg : filtered(Id0, Id1, Id2)) { 141 Arg->claim(); 142 const auto &Values = Arg->getValues(); 143 Output.append(Values.begin(), Values.end()); 144 } 145 } 146 147 void ArgList::AddAllArgsTranslated(ArgStringList &Output, OptSpecifier Id0, 148 const char *Translation, 149 bool Joined) const { 150 for (auto Arg: filtered(Id0)) { 151 Arg->claim(); 152 153 if (Joined) { 154 Output.push_back(MakeArgString(StringRef(Translation) + 155 Arg->getValue(0))); 156 } else { 157 Output.push_back(Translation); 158 Output.push_back(Arg->getValue(0)); 159 } 160 } 161 } 162 163 void ArgList::ClaimAllArgs(OptSpecifier Id0) const { 164 for (auto *Arg : filtered(Id0)) 165 Arg->claim(); 166 } 167 168 void ArgList::ClaimAllArgs() const { 169 for (auto *Arg : *this) 170 if (!Arg->isClaimed()) 171 Arg->claim(); 172 } 173 174 const char *ArgList::GetOrMakeJoinedArgString(unsigned Index, 175 StringRef LHS, 176 StringRef RHS) const { 177 StringRef Cur = getArgString(Index); 178 if (Cur.size() == LHS.size() + RHS.size() && 179 Cur.startswith(LHS) && Cur.endswith(RHS)) 180 return Cur.data(); 181 182 return MakeArgString(LHS + RHS); 183 } 184 185 void ArgList::print(raw_ostream &O) const { 186 for (Arg *A : *this) { 187 O << "* "; 188 A->print(O); 189 } 190 } 191 192 #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 193 LLVM_DUMP_METHOD void ArgList::dump() const { print(dbgs()); } 194 #endif 195 196 void InputArgList::releaseMemory() { 197 // An InputArgList always owns its arguments. 198 for (Arg *A : *this) 199 delete A; 200 } 201 202 InputArgList::InputArgList(const char* const *ArgBegin, 203 const char* const *ArgEnd) 204 : NumInputArgStrings(ArgEnd - ArgBegin) { 205 ArgStrings.append(ArgBegin, ArgEnd); 206 } 207 208 unsigned InputArgList::MakeIndex(StringRef String0) const { 209 unsigned Index = ArgStrings.size(); 210 211 // Tuck away so we have a reliable const char *. 212 SynthesizedStrings.push_back(std::string(String0)); 213 ArgStrings.push_back(SynthesizedStrings.back().c_str()); 214 215 return Index; 216 } 217 218 unsigned InputArgList::MakeIndex(StringRef String0, 219 StringRef String1) const { 220 unsigned Index0 = MakeIndex(String0); 221 unsigned Index1 = MakeIndex(String1); 222 assert(Index0 + 1 == Index1 && "Unexpected non-consecutive indices!"); 223 (void) Index1; 224 return Index0; 225 } 226 227 const char *InputArgList::MakeArgStringRef(StringRef Str) const { 228 return getArgString(MakeIndex(Str)); 229 } 230 231 DerivedArgList::DerivedArgList(const InputArgList &BaseArgs) 232 : BaseArgs(BaseArgs) {} 233 234 const char *DerivedArgList::MakeArgStringRef(StringRef Str) const { 235 return BaseArgs.MakeArgString(Str); 236 } 237 238 void DerivedArgList::AddSynthesizedArg(Arg *A) { 239 SynthesizedArgs.push_back(std::unique_ptr<Arg>(A)); 240 } 241 242 Arg *DerivedArgList::MakeFlagArg(const Arg *BaseArg, const Option Opt) const { 243 SynthesizedArgs.push_back( 244 std::make_unique<Arg>(Opt, MakeArgString(Opt.getPrefix() + Opt.getName()), 245 BaseArgs.MakeIndex(Opt.getName()), BaseArg)); 246 return SynthesizedArgs.back().get(); 247 } 248 249 Arg *DerivedArgList::MakePositionalArg(const Arg *BaseArg, const Option Opt, 250 StringRef Value) const { 251 unsigned Index = BaseArgs.MakeIndex(Value); 252 SynthesizedArgs.push_back( 253 std::make_unique<Arg>(Opt, MakeArgString(Opt.getPrefix() + Opt.getName()), 254 Index, BaseArgs.getArgString(Index), BaseArg)); 255 return SynthesizedArgs.back().get(); 256 } 257 258 Arg *DerivedArgList::MakeSeparateArg(const Arg *BaseArg, const Option Opt, 259 StringRef Value) const { 260 unsigned Index = BaseArgs.MakeIndex(Opt.getName(), Value); 261 SynthesizedArgs.push_back( 262 std::make_unique<Arg>(Opt, MakeArgString(Opt.getPrefix() + Opt.getName()), 263 Index, BaseArgs.getArgString(Index + 1), BaseArg)); 264 return SynthesizedArgs.back().get(); 265 } 266 267 Arg *DerivedArgList::MakeJoinedArg(const Arg *BaseArg, const Option Opt, 268 StringRef Value) const { 269 unsigned Index = BaseArgs.MakeIndex((Opt.getName() + Value).str()); 270 SynthesizedArgs.push_back(std::make_unique<Arg>( 271 Opt, MakeArgString(Opt.getPrefix() + Opt.getName()), Index, 272 BaseArgs.getArgString(Index) + Opt.getName().size(), BaseArg)); 273 return SynthesizedArgs.back().get(); 274 } 275