1af615896SEugene Zelenko //===- ArgList.cpp - Argument List Management -----------------------------===//
241ee041dSMichael J. Spencer //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
641ee041dSMichael J. Spencer //
741ee041dSMichael J. Spencer //===----------------------------------------------------------------------===//
841ee041dSMichael J. Spencer
9af615896SEugene Zelenko #include "llvm/ADT/ArrayRef.h"
10af615896SEugene Zelenko #include "llvm/ADT/None.h"
11af615896SEugene Zelenko #include "llvm/ADT/SmallVector.h"
12f70b21a4SDavid Blaikie #include "llvm/ADT/STLExtras.h"
13af615896SEugene Zelenko #include "llvm/ADT/StringRef.h"
1441ee041dSMichael J. Spencer #include "llvm/ADT/Twine.h"
15432a3883SNico Weber #include "llvm/Config/llvm-config.h"
1641ee041dSMichael J. Spencer #include "llvm/Option/Arg.h"
17af615896SEugene Zelenko #include "llvm/Option/ArgList.h"
1841ee041dSMichael J. Spencer #include "llvm/Option/Option.h"
19af615896SEugene Zelenko #include "llvm/Option/OptSpecifier.h"
20af615896SEugene Zelenko #include "llvm/Support/Compiler.h"
219a8b5e7eSEric Christopher #include "llvm/Support/Debug.h"
2241ee041dSMichael J. Spencer #include "llvm/Support/raw_ostream.h"
23af615896SEugene Zelenko #include <algorithm>
24af615896SEugene Zelenko #include <cassert>
25af615896SEugene Zelenko #include <memory>
26af615896SEugene Zelenko #include <string>
27af615896SEugene Zelenko #include <utility>
28af615896SEugene Zelenko #include <vector>
2941ee041dSMichael J. Spencer
3041ee041dSMichael J. Spencer using namespace llvm;
3141ee041dSMichael J. Spencer using namespace llvm::opt;
3241ee041dSMichael J. Spencer
append(Arg * A)3341ee041dSMichael J. Spencer void ArgList::append(Arg *A) {
3441ee041dSMichael J. Spencer Args.push_back(A);
354e1ec636SRichard Smith
364e1ec636SRichard Smith // Update ranges for the option and all of its groups.
374e1ec636SRichard Smith for (Option O = A->getOption().getUnaliasedOption(); O.isValid();
384e1ec636SRichard Smith O = O.getGroup()) {
394e1ec636SRichard Smith auto &R =
404e1ec636SRichard Smith OptRanges.insert(std::make_pair(O.getID(), emptyRange())).first->second;
414e1ec636SRichard Smith R.first = std::min<unsigned>(R.first, Args.size() - 1);
424e1ec636SRichard Smith R.second = Args.size();
434e1ec636SRichard Smith }
4441ee041dSMichael J. Spencer }
4541ee041dSMichael J. Spencer
eraseArg(OptSpecifier Id)4641ee041dSMichael J. Spencer void ArgList::eraseArg(OptSpecifier Id) {
474e1ec636SRichard Smith // Zero out the removed entries but keep them around so that we don't
484e1ec636SRichard Smith // need to invalidate OptRanges.
494e1ec636SRichard Smith for (Arg *const &A : filtered(Id)) {
504e1ec636SRichard Smith // Avoid the need for a non-const filtered iterator variant.
514e1ec636SRichard Smith Arg **ArgsBegin = Args.data();
524e1ec636SRichard Smith ArgsBegin[&A - ArgsBegin] = nullptr;
534e1ec636SRichard Smith }
544e1ec636SRichard Smith OptRanges.erase(Id.getID());
5541ee041dSMichael J. Spencer }
5641ee041dSMichael J. Spencer
574e1ec636SRichard Smith ArgList::OptRange
getRange(std::initializer_list<OptSpecifier> Ids) const584e1ec636SRichard Smith ArgList::getRange(std::initializer_list<OptSpecifier> Ids) const {
594e1ec636SRichard Smith OptRange R = emptyRange();
604e1ec636SRichard Smith for (auto Id : Ids) {
614e1ec636SRichard Smith auto I = OptRanges.find(Id.getID());
624e1ec636SRichard Smith if (I != OptRanges.end()) {
634e1ec636SRichard Smith R.first = std::min(R.first, I->second.first);
644e1ec636SRichard Smith R.second = std::max(R.second, I->second.second);
6541ee041dSMichael J. Spencer }
6641ee041dSMichael J. Spencer }
674e1ec636SRichard Smith // Map an empty {-1, 0} range to {0, 0} so it can be used to form iterators.
684e1ec636SRichard Smith if (R.first == -1u)
694e1ec636SRichard Smith R.first = 0;
704e1ec636SRichard Smith return R;
7141ee041dSMichael J. Spencer }
7241ee041dSMichael J. Spencer
hasFlag(OptSpecifier Pos,OptSpecifier Neg,bool Default) const7341ee041dSMichael J. Spencer bool ArgList::hasFlag(OptSpecifier Pos, OptSpecifier Neg, bool Default) const {
7441ee041dSMichael J. Spencer if (Arg *A = getLastArg(Pos, Neg))
7541ee041dSMichael J. Spencer return A->getOption().matches(Pos);
7641ee041dSMichael J. Spencer return Default;
7741ee041dSMichael J. Spencer }
7841ee041dSMichael J. Spencer
hasFlag(OptSpecifier Pos,OptSpecifier PosAlias,OptSpecifier Neg,bool Default) const7912e0332bSReid Kleckner bool ArgList::hasFlag(OptSpecifier Pos, OptSpecifier PosAlias, OptSpecifier Neg,
8012e0332bSReid Kleckner bool Default) const {
8112e0332bSReid Kleckner if (Arg *A = getLastArg(Pos, PosAlias, Neg))
8212e0332bSReid Kleckner return A->getOption().matches(Pos) || A->getOption().matches(PosAlias);
8312e0332bSReid Kleckner return Default;
8412e0332bSReid Kleckner }
8512e0332bSReid Kleckner
getLastArgValue(OptSpecifier Id,StringRef Default) const864e1ec636SRichard Smith StringRef ArgList::getLastArgValue(OptSpecifier Id, StringRef Default) const {
8741ee041dSMichael J. Spencer if (Arg *A = getLastArg(Id))
8841ee041dSMichael J. Spencer return A->getValue();
8941ee041dSMichael J. Spencer return Default;
9041ee041dSMichael J. Spencer }
9141ee041dSMichael J. Spencer
getAllArgValues(OptSpecifier Id) const9241ee041dSMichael J. Spencer std::vector<std::string> ArgList::getAllArgValues(OptSpecifier Id) const {
9341ee041dSMichael J. Spencer SmallVector<const char *, 16> Values;
9441ee041dSMichael J. Spencer AddAllArgValues(Values, Id);
9541ee041dSMichael J. Spencer return std::vector<std::string>(Values.begin(), Values.end());
9641ee041dSMichael J. Spencer }
9741ee041dSMichael J. Spencer
addOptInFlag(ArgStringList & Output,OptSpecifier Pos,OptSpecifier Neg) const98*aefa4b60SFangrui Song void ArgList::addOptInFlag(ArgStringList &Output, OptSpecifier Pos,
99*aefa4b60SFangrui Song OptSpecifier Neg) const {
100*aefa4b60SFangrui Song if (Arg *A = getLastArg(Pos, Neg))
101*aefa4b60SFangrui Song if (A->getOption().matches(Pos))
102*aefa4b60SFangrui Song A->render(*this, Output);
103*aefa4b60SFangrui Song }
104*aefa4b60SFangrui Song
AddAllArgsExcept(ArgStringList & Output,ArrayRef<OptSpecifier> Ids,ArrayRef<OptSpecifier> ExcludeIds) const10593a9a839SDouglas Katzman void ArgList::AddAllArgsExcept(ArgStringList &Output,
10693a9a839SDouglas Katzman ArrayRef<OptSpecifier> Ids,
10793a9a839SDouglas Katzman ArrayRef<OptSpecifier> ExcludeIds) const {
1084e1ec636SRichard Smith for (const Arg *Arg : *this) {
10993a9a839SDouglas Katzman bool Excluded = false;
11093a9a839SDouglas Katzman for (OptSpecifier Id : ExcludeIds) {
11193a9a839SDouglas Katzman if (Arg->getOption().matches(Id)) {
11293a9a839SDouglas Katzman Excluded = true;
11393a9a839SDouglas Katzman break;
11493a9a839SDouglas Katzman }
11593a9a839SDouglas Katzman }
11693a9a839SDouglas Katzman if (!Excluded) {
117f2b96088SDouglas Katzman for (OptSpecifier Id : Ids) {
118f2b96088SDouglas Katzman if (Arg->getOption().matches(Id)) {
119f2b96088SDouglas Katzman Arg->claim();
120f2b96088SDouglas Katzman Arg->render(*this, Output);
121f2b96088SDouglas Katzman break;
122f2b96088SDouglas Katzman }
123f2b96088SDouglas Katzman }
124f2b96088SDouglas Katzman }
125f2b96088SDouglas Katzman }
12693a9a839SDouglas Katzman }
12793a9a839SDouglas Katzman
12893a9a839SDouglas Katzman /// This is a nicer interface when you don't have a list of Ids to exclude.
AddAllArgs(ArgStringList & Output,ArrayRef<OptSpecifier> Ids) const12993a9a839SDouglas Katzman void ArgList::AddAllArgs(ArgStringList &Output,
13093a9a839SDouglas Katzman ArrayRef<OptSpecifier> Ids) const {
13193a9a839SDouglas Katzman ArrayRef<OptSpecifier> Exclude = None;
13293a9a839SDouglas Katzman AddAllArgsExcept(Output, Ids, Exclude);
13393a9a839SDouglas Katzman }
134f2b96088SDouglas Katzman
135f2b96088SDouglas Katzman /// This 3-opt variant of AddAllArgs could be eliminated in favor of one
136f2b96088SDouglas Katzman /// that accepts a single specifier, given the above which accepts any number.
AddAllArgs(ArgStringList & Output,OptSpecifier Id0,OptSpecifier Id1,OptSpecifier Id2) const13741ee041dSMichael J. Spencer void ArgList::AddAllArgs(ArgStringList &Output, OptSpecifier Id0,
13841ee041dSMichael J. Spencer OptSpecifier Id1, OptSpecifier Id2) const {
139ac002d3eSTim Northover for (auto Arg: filtered(Id0, Id1, Id2)) {
140ac002d3eSTim Northover Arg->claim();
141ac002d3eSTim Northover Arg->render(*this, Output);
14241ee041dSMichael J. Spencer }
14341ee041dSMichael J. Spencer }
14441ee041dSMichael J. Spencer
AddAllArgValues(ArgStringList & Output,OptSpecifier Id0,OptSpecifier Id1,OptSpecifier Id2) const14541ee041dSMichael J. Spencer void ArgList::AddAllArgValues(ArgStringList &Output, OptSpecifier Id0,
14641ee041dSMichael J. Spencer OptSpecifier Id1, OptSpecifier Id2) const {
147ac002d3eSTim Northover for (auto Arg : filtered(Id0, Id1, Id2)) {
148ac002d3eSTim Northover Arg->claim();
1496cd780ffSBenjamin Kramer const auto &Values = Arg->getValues();
1506cd780ffSBenjamin Kramer Output.append(Values.begin(), Values.end());
15141ee041dSMichael J. Spencer }
15241ee041dSMichael J. Spencer }
15341ee041dSMichael J. Spencer
AddAllArgsTranslated(ArgStringList & Output,OptSpecifier Id0,const char * Translation,bool Joined) const15441ee041dSMichael J. Spencer void ArgList::AddAllArgsTranslated(ArgStringList &Output, OptSpecifier Id0,
15541ee041dSMichael J. Spencer const char *Translation,
15641ee041dSMichael J. Spencer bool Joined) const {
157ac002d3eSTim Northover for (auto Arg: filtered(Id0)) {
158ac002d3eSTim Northover Arg->claim();
15941ee041dSMichael J. Spencer
16041ee041dSMichael J. Spencer if (Joined) {
16141ee041dSMichael J. Spencer Output.push_back(MakeArgString(StringRef(Translation) +
162ac002d3eSTim Northover Arg->getValue(0)));
16341ee041dSMichael J. Spencer } else {
16441ee041dSMichael J. Spencer Output.push_back(Translation);
165ac002d3eSTim Northover Output.push_back(Arg->getValue(0));
16641ee041dSMichael J. Spencer }
16741ee041dSMichael J. Spencer }
16841ee041dSMichael J. Spencer }
16941ee041dSMichael J. Spencer
ClaimAllArgs(OptSpecifier Id0) const17041ee041dSMichael J. Spencer void ArgList::ClaimAllArgs(OptSpecifier Id0) const {
1714e1ec636SRichard Smith for (auto *Arg : filtered(Id0))
172ac002d3eSTim Northover Arg->claim();
17341ee041dSMichael J. Spencer }
17441ee041dSMichael J. Spencer
ClaimAllArgs() const17541ee041dSMichael J. Spencer void ArgList::ClaimAllArgs() const {
1764e1ec636SRichard Smith for (auto *Arg : *this)
1774e1ec636SRichard Smith if (!Arg->isClaimed())
1784e1ec636SRichard Smith Arg->claim();
17941ee041dSMichael J. Spencer }
18041ee041dSMichael J. Spencer
GetOrMakeJoinedArgString(unsigned Index,StringRef LHS,StringRef RHS) const18141ee041dSMichael J. Spencer const char *ArgList::GetOrMakeJoinedArgString(unsigned Index,
18241ee041dSMichael J. Spencer StringRef LHS,
18341ee041dSMichael J. Spencer StringRef RHS) const {
18441ee041dSMichael J. Spencer StringRef Cur = getArgString(Index);
18541ee041dSMichael J. Spencer if (Cur.size() == LHS.size() + RHS.size() &&
18641ee041dSMichael J. Spencer Cur.startswith(LHS) && Cur.endswith(RHS))
18741ee041dSMichael J. Spencer return Cur.data();
18841ee041dSMichael J. Spencer
18941ee041dSMichael J. Spencer return MakeArgString(LHS + RHS);
19041ee041dSMichael J. Spencer }
19141ee041dSMichael J. Spencer
print(raw_ostream & O) const1929a8b5e7eSEric Christopher void ArgList::print(raw_ostream &O) const {
19342b56eefSEric Christopher for (Arg *A : *this) {
1949a8b5e7eSEric Christopher O << "* ";
1959a8b5e7eSEric Christopher A->print(O);
19642b56eefSEric Christopher }
19742b56eefSEric Christopher }
19842b56eefSEric Christopher
199615eb470SAaron Ballman #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
dump() const2009a8b5e7eSEric Christopher LLVM_DUMP_METHOD void ArgList::dump() const { print(dbgs()); }
2018c209aa8SMatthias Braun #endif
2029a8b5e7eSEric Christopher
releaseMemory()20349381beeSBenjamin Kramer void InputArgList::releaseMemory() {
20449381beeSBenjamin Kramer // An InputArgList always owns its arguments.
20549381beeSBenjamin Kramer for (Arg *A : *this)
20649381beeSBenjamin Kramer delete A;
20749381beeSBenjamin Kramer }
20849381beeSBenjamin Kramer
InputArgList(const char * const * ArgBegin,const char * const * ArgEnd)20941ee041dSMichael J. Spencer InputArgList::InputArgList(const char* const *ArgBegin,
21041ee041dSMichael J. Spencer const char* const *ArgEnd)
21141ee041dSMichael J. Spencer : NumInputArgStrings(ArgEnd - ArgBegin) {
21241ee041dSMichael J. Spencer ArgStrings.append(ArgBegin, ArgEnd);
21341ee041dSMichael J. Spencer }
21441ee041dSMichael J. Spencer
MakeIndex(StringRef String0) const21541ee041dSMichael J. Spencer unsigned InputArgList::MakeIndex(StringRef String0) const {
21641ee041dSMichael J. Spencer unsigned Index = ArgStrings.size();
21741ee041dSMichael J. Spencer
21841ee041dSMichael J. Spencer // Tuck away so we have a reliable const char *.
219adcd0268SBenjamin Kramer SynthesizedStrings.push_back(std::string(String0));
220a75eba9cSReid Kleckner ArgStrings.push_back(SynthesizedStrings.back().c_str());
22141ee041dSMichael J. Spencer
22241ee041dSMichael J. Spencer return Index;
22341ee041dSMichael J. Spencer }
22441ee041dSMichael J. Spencer
MakeIndex(StringRef String0,StringRef String1) const22541ee041dSMichael J. Spencer unsigned InputArgList::MakeIndex(StringRef String0,
22641ee041dSMichael J. Spencer StringRef String1) const {
22741ee041dSMichael J. Spencer unsigned Index0 = MakeIndex(String0);
22841ee041dSMichael J. Spencer unsigned Index1 = MakeIndex(String1);
22941ee041dSMichael J. Spencer assert(Index0 + 1 == Index1 && "Unexpected non-consecutive indices!");
23041ee041dSMichael J. Spencer (void) Index1;
23141ee041dSMichael J. Spencer return Index0;
23241ee041dSMichael J. Spencer }
23341ee041dSMichael J. Spencer
MakeArgStringRef(StringRef Str) const2341ee89fc4SYaron Keren const char *InputArgList::MakeArgStringRef(StringRef Str) const {
23541ee041dSMichael J. Spencer return getArgString(MakeIndex(Str));
23641ee041dSMichael J. Spencer }
23741ee041dSMichael J. Spencer
DerivedArgList(const InputArgList & BaseArgs)2389f380a3cSDavid Blaikie DerivedArgList::DerivedArgList(const InputArgList &BaseArgs)
2399f380a3cSDavid Blaikie : BaseArgs(BaseArgs) {}
24041ee041dSMichael J. Spencer
MakeArgStringRef(StringRef Str) const2411ee89fc4SYaron Keren const char *DerivedArgList::MakeArgStringRef(StringRef Str) const {
24241ee041dSMichael J. Spencer return BaseArgs.MakeArgString(Str);
24341ee041dSMichael J. Spencer }
24441ee041dSMichael J. Spencer
AddSynthesizedArg(Arg * A)245f70b21a4SDavid Blaikie void DerivedArgList::AddSynthesizedArg(Arg *A) {
246f70b21a4SDavid Blaikie SynthesizedArgs.push_back(std::unique_ptr<Arg>(A));
247f70b21a4SDavid Blaikie }
248f70b21a4SDavid Blaikie
MakeFlagArg(const Arg * BaseArg,const Option Opt) const24941ee041dSMichael J. Spencer Arg *DerivedArgList::MakeFlagArg(const Arg *BaseArg, const Option Opt) const {
2506f070468SJustin Bogner SynthesizedArgs.push_back(
2510eaee545SJonas Devlieghere std::make_unique<Arg>(Opt, MakeArgString(Opt.getPrefix() + Opt.getName()),
252f70b21a4SDavid Blaikie BaseArgs.MakeIndex(Opt.getName()), BaseArg));
253f70b21a4SDavid Blaikie return SynthesizedArgs.back().get();
25441ee041dSMichael J. Spencer }
25541ee041dSMichael J. Spencer
MakePositionalArg(const Arg * BaseArg,const Option Opt,StringRef Value) const25641ee041dSMichael J. Spencer Arg *DerivedArgList::MakePositionalArg(const Arg *BaseArg, const Option Opt,
25741ee041dSMichael J. Spencer StringRef Value) const {
25841ee041dSMichael J. Spencer unsigned Index = BaseArgs.MakeIndex(Value);
2596f070468SJustin Bogner SynthesizedArgs.push_back(
2600eaee545SJonas Devlieghere std::make_unique<Arg>(Opt, MakeArgString(Opt.getPrefix() + Opt.getName()),
261f70b21a4SDavid Blaikie Index, BaseArgs.getArgString(Index), BaseArg));
262f70b21a4SDavid Blaikie return SynthesizedArgs.back().get();
26341ee041dSMichael J. Spencer }
26441ee041dSMichael J. Spencer
MakeSeparateArg(const Arg * BaseArg,const Option Opt,StringRef Value) const26541ee041dSMichael J. Spencer Arg *DerivedArgList::MakeSeparateArg(const Arg *BaseArg, const Option Opt,
26641ee041dSMichael J. Spencer StringRef Value) const {
26741ee041dSMichael J. Spencer unsigned Index = BaseArgs.MakeIndex(Opt.getName(), Value);
2686f070468SJustin Bogner SynthesizedArgs.push_back(
2690eaee545SJonas Devlieghere std::make_unique<Arg>(Opt, MakeArgString(Opt.getPrefix() + Opt.getName()),
270f70b21a4SDavid Blaikie Index, BaseArgs.getArgString(Index + 1), BaseArg));
271f70b21a4SDavid Blaikie return SynthesizedArgs.back().get();
27241ee041dSMichael J. Spencer }
27341ee041dSMichael J. Spencer
MakeJoinedArg(const Arg * BaseArg,const Option Opt,StringRef Value) const27441ee041dSMichael J. Spencer Arg *DerivedArgList::MakeJoinedArg(const Arg *BaseArg, const Option Opt,
27541ee041dSMichael J. Spencer StringRef Value) const {
276075759aaSYaron Keren unsigned Index = BaseArgs.MakeIndex((Opt.getName() + Value).str());
2770eaee545SJonas Devlieghere SynthesizedArgs.push_back(std::make_unique<Arg>(
2786f070468SJustin Bogner Opt, MakeArgString(Opt.getPrefix() + Opt.getName()), Index,
2796f070468SJustin Bogner BaseArgs.getArgString(Index) + Opt.getName().size(), BaseArg));
280f70b21a4SDavid Blaikie return SynthesizedArgs.back().get();
28141ee041dSMichael J. Spencer }
282