1f22ef01cSRoman Divacky //===-- CommandLine.cpp - Command line parser implementation --------------===//
2f22ef01cSRoman Divacky //
3f22ef01cSRoman Divacky // The LLVM Compiler Infrastructure
4f22ef01cSRoman Divacky //
5f22ef01cSRoman Divacky // This file is distributed under the University of Illinois Open Source
6f22ef01cSRoman Divacky // License. See LICENSE.TXT for details.
7f22ef01cSRoman Divacky //
8f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
9f22ef01cSRoman Divacky //
10f22ef01cSRoman Divacky // This class implements a command line argument processor that is useful when
11f22ef01cSRoman Divacky // creating a tool. It provides a simple, minimalistic interface that is easily
12f22ef01cSRoman Divacky // extensible and supports nonlocal (library) command line options.
13f22ef01cSRoman Divacky //
14f22ef01cSRoman Divacky // Note that rather than trying to figure out what this code does, you could try
15f22ef01cSRoman Divacky // reading the library documentation located in docs/CommandLine.html
16f22ef01cSRoman Divacky //
17f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
18f22ef01cSRoman Divacky
19f22ef01cSRoman Divacky #include "llvm/Support/CommandLine.h"
2039d628a0SDimitry Andric #include "llvm-c/Support.h"
21f785676fSDimitry Andric #include "llvm/ADT/ArrayRef.h"
22d88c1a5aSDimitry Andric #include "llvm/ADT/Optional.h"
23ff0cc061SDimitry Andric #include "llvm/ADT/STLExtras.h"
24f22ef01cSRoman Divacky #include "llvm/ADT/SmallPtrSet.h"
25f22ef01cSRoman Divacky #include "llvm/ADT/SmallString.h"
26edd7eaddSDimitry Andric #include "llvm/ADT/StringExtras.h"
27f22ef01cSRoman Divacky #include "llvm/ADT/StringMap.h"
284ba319b5SDimitry Andric #include "llvm/ADT/Triple.h"
29f22ef01cSRoman Divacky #include "llvm/ADT/Twine.h"
30f22ef01cSRoman Divacky #include "llvm/Config/config.h"
31f785676fSDimitry Andric #include "llvm/Support/ConvertUTF.h"
32139f7f9bSDimitry Andric #include "llvm/Support/Debug.h"
33139f7f9bSDimitry Andric #include "llvm/Support/ErrorHandling.h"
34d88c1a5aSDimitry Andric #include "llvm/Support/FileSystem.h"
35139f7f9bSDimitry Andric #include "llvm/Support/Host.h"
36139f7f9bSDimitry Andric #include "llvm/Support/ManagedStatic.h"
37139f7f9bSDimitry Andric #include "llvm/Support/MemoryBuffer.h"
38139f7f9bSDimitry Andric #include "llvm/Support/Path.h"
39d88c1a5aSDimitry Andric #include "llvm/Support/Process.h"
408f0fd8f6SDimitry Andric #include "llvm/Support/StringSaver.h"
41139f7f9bSDimitry Andric #include "llvm/Support/raw_ostream.h"
42f22ef01cSRoman Divacky #include <cstdlib>
43284c1978SDimitry Andric #include <map>
44f22ef01cSRoman Divacky using namespace llvm;
45f22ef01cSRoman Divacky using namespace cl;
46f22ef01cSRoman Divacky
4791bc56edSDimitry Andric #define DEBUG_TYPE "commandline"
4891bc56edSDimitry Andric
49f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
50f22ef01cSRoman Divacky // Template instantiations and anchors.
51f22ef01cSRoman Divacky //
5239d628a0SDimitry Andric namespace llvm {
5339d628a0SDimitry Andric namespace cl {
54875ed548SDimitry Andric template class basic_parser<bool>;
55875ed548SDimitry Andric template class basic_parser<boolOrDefault>;
56875ed548SDimitry Andric template class basic_parser<int>;
57875ed548SDimitry Andric template class basic_parser<unsigned>;
58875ed548SDimitry Andric template class basic_parser<unsigned long long>;
59875ed548SDimitry Andric template class basic_parser<double>;
60875ed548SDimitry Andric template class basic_parser<float>;
61875ed548SDimitry Andric template class basic_parser<std::string>;
62875ed548SDimitry Andric template class basic_parser<char>;
63f22ef01cSRoman Divacky
64875ed548SDimitry Andric template class opt<unsigned>;
65875ed548SDimitry Andric template class opt<int>;
66875ed548SDimitry Andric template class opt<std::string>;
67875ed548SDimitry Andric template class opt<char>;
68875ed548SDimitry Andric template class opt<bool>;
693dac3a9bSDimitry Andric }
703dac3a9bSDimitry Andric } // end namespace llvm::cl
71f22ef01cSRoman Divacky
72f785676fSDimitry Andric // Pin the vtables to this file.
anchor()73dff0c46cSDimitry Andric void GenericOptionValue::anchor() {}
anchor()74dff0c46cSDimitry Andric void OptionValue<boolOrDefault>::anchor() {}
anchor()75dff0c46cSDimitry Andric void OptionValue<std::string>::anchor() {}
anchor()76f22ef01cSRoman Divacky void Option::anchor() {}
anchor()77f22ef01cSRoman Divacky void basic_parser_impl::anchor() {}
anchor()78f22ef01cSRoman Divacky void parser<bool>::anchor() {}
anchor()79f22ef01cSRoman Divacky void parser<boolOrDefault>::anchor() {}
anchor()80f22ef01cSRoman Divacky void parser<int>::anchor() {}
anchor()81f22ef01cSRoman Divacky void parser<unsigned>::anchor() {}
anchor()826122f3e6SDimitry Andric void parser<unsigned long long>::anchor() {}
anchor()83f22ef01cSRoman Divacky void parser<double>::anchor() {}
anchor()84f22ef01cSRoman Divacky void parser<float>::anchor() {}
anchor()85f22ef01cSRoman Divacky void parser<std::string>::anchor() {}
anchor()86f22ef01cSRoman Divacky void parser<char>::anchor() {}
87f22ef01cSRoman Divacky
88f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
89f22ef01cSRoman Divacky
90ff0cc061SDimitry Andric namespace {
91ff0cc061SDimitry Andric
92ff0cc061SDimitry Andric class CommandLineParser {
93ff0cc061SDimitry Andric public:
94f22ef01cSRoman Divacky // Globals for name and overview of program. Program name is not a string to
95f22ef01cSRoman Divacky // avoid static ctor/dtor issues.
96ff0cc061SDimitry Andric std::string ProgramName;
97d88c1a5aSDimitry Andric StringRef ProgramOverview;
98f22ef01cSRoman Divacky
99f22ef01cSRoman Divacky // This collects additional help to be printed.
100d88c1a5aSDimitry Andric std::vector<StringRef> MoreHelp;
101f22ef01cSRoman Divacky
102284c1978SDimitry Andric // This collects the different option categories that have been registered.
103ff0cc061SDimitry Andric SmallPtrSet<OptionCategory *, 16> RegisteredOptionCategories;
104284c1978SDimitry Andric
1053ca95b02SDimitry Andric // This collects the different subcommands that have been registered.
1063ca95b02SDimitry Andric SmallPtrSet<SubCommand *, 4> RegisteredSubCommands;
107284c1978SDimitry Andric
CommandLineParser()108d88c1a5aSDimitry Andric CommandLineParser() : ActiveSubCommand(nullptr) {
1093ca95b02SDimitry Andric registerSubCommand(&*TopLevelSubCommand);
1103ca95b02SDimitry Andric registerSubCommand(&*AllSubCommands);
1113ca95b02SDimitry Andric }
11291bc56edSDimitry Andric
1133ca95b02SDimitry Andric void ResetAllOptionOccurrences();
1143ca95b02SDimitry Andric
1153ca95b02SDimitry Andric bool ParseCommandLineOptions(int argc, const char *const *argv,
1167a7e6055SDimitry Andric StringRef Overview, raw_ostream *Errs = nullptr);
1173ca95b02SDimitry Andric
addLiteralOption(Option & Opt,SubCommand * SC,StringRef Name)118d88c1a5aSDimitry Andric void addLiteralOption(Option &Opt, SubCommand *SC, StringRef Name) {
1193ca95b02SDimitry Andric if (Opt.hasArgStr())
1203ca95b02SDimitry Andric return;
1213ca95b02SDimitry Andric if (!SC->OptionsMap.insert(std::make_pair(Name, &Opt)).second) {
122ff0cc061SDimitry Andric errs() << ProgramName << ": CommandLine Error: Option '" << Name
123ff0cc061SDimitry Andric << "' registered more than once!\n";
124ff0cc061SDimitry Andric report_fatal_error("inconsistency in registered CommandLine options");
125ff0cc061SDimitry Andric }
1263ca95b02SDimitry Andric
1273ca95b02SDimitry Andric // If we're adding this to all sub-commands, add it to the ones that have
1283ca95b02SDimitry Andric // already been registered.
1293ca95b02SDimitry Andric if (SC == &*AllSubCommands) {
1303ca95b02SDimitry Andric for (const auto &Sub : RegisteredSubCommands) {
1313ca95b02SDimitry Andric if (SC == Sub)
1323ca95b02SDimitry Andric continue;
1333ca95b02SDimitry Andric addLiteralOption(Opt, Sub, Name);
1343ca95b02SDimitry Andric }
135ff0cc061SDimitry Andric }
136284c1978SDimitry Andric }
137f22ef01cSRoman Divacky
addLiteralOption(Option & Opt,StringRef Name)138d88c1a5aSDimitry Andric void addLiteralOption(Option &Opt, StringRef Name) {
1393ca95b02SDimitry Andric if (Opt.Subs.empty())
1403ca95b02SDimitry Andric addLiteralOption(Opt, &*TopLevelSubCommand, Name);
1413ca95b02SDimitry Andric else {
1423ca95b02SDimitry Andric for (auto SC : Opt.Subs)
1433ca95b02SDimitry Andric addLiteralOption(Opt, SC, Name);
1443ca95b02SDimitry Andric }
1453ca95b02SDimitry Andric }
1463ca95b02SDimitry Andric
addOption(Option * O,SubCommand * SC)1473ca95b02SDimitry Andric void addOption(Option *O, SubCommand *SC) {
14891bc56edSDimitry Andric bool HadErrors = false;
1497d523365SDimitry Andric if (O->hasArgStr()) {
150f22ef01cSRoman Divacky // Add argument to the argument map!
1513ca95b02SDimitry Andric if (!SC->OptionsMap.insert(std::make_pair(O->ArgStr, O)).second) {
152ff0cc061SDimitry Andric errs() << ProgramName << ": CommandLine Error: Option '" << O->ArgStr
153ff0cc061SDimitry Andric << "' registered more than once!\n";
15491bc56edSDimitry Andric HadErrors = true;
155f22ef01cSRoman Divacky }
156f22ef01cSRoman Divacky }
157f22ef01cSRoman Divacky
158f22ef01cSRoman Divacky // Remember information about positional options.
159f22ef01cSRoman Divacky if (O->getFormattingFlag() == cl::Positional)
1603ca95b02SDimitry Andric SC->PositionalOpts.push_back(O);
161f22ef01cSRoman Divacky else if (O->getMiscFlags() & cl::Sink) // Remember sink options
1623ca95b02SDimitry Andric SC->SinkOpts.push_back(O);
163f22ef01cSRoman Divacky else if (O->getNumOccurrencesFlag() == cl::ConsumeAfter) {
1643ca95b02SDimitry Andric if (SC->ConsumeAfterOpt) {
165f22ef01cSRoman Divacky O->error("Cannot specify more than one option with cl::ConsumeAfter!");
16691bc56edSDimitry Andric HadErrors = true;
16791bc56edSDimitry Andric }
1683ca95b02SDimitry Andric SC->ConsumeAfterOpt = O;
169f22ef01cSRoman Divacky }
17091bc56edSDimitry Andric
17191bc56edSDimitry Andric // Fail hard if there were errors. These are strictly unrecoverable and
172ff0cc061SDimitry Andric // indicate serious issues such as conflicting option names or an
173ff0cc061SDimitry Andric // incorrectly
17491bc56edSDimitry Andric // linked LLVM distribution.
17591bc56edSDimitry Andric if (HadErrors)
17691bc56edSDimitry Andric report_fatal_error("inconsistency in registered CommandLine options");
1773ca95b02SDimitry Andric
1783ca95b02SDimitry Andric // If we're adding this to all sub-commands, add it to the ones that have
1793ca95b02SDimitry Andric // already been registered.
1803ca95b02SDimitry Andric if (SC == &*AllSubCommands) {
1813ca95b02SDimitry Andric for (const auto &Sub : RegisteredSubCommands) {
1823ca95b02SDimitry Andric if (SC == Sub)
1833ca95b02SDimitry Andric continue;
1843ca95b02SDimitry Andric addOption(O, Sub);
1853ca95b02SDimitry Andric }
1863ca95b02SDimitry Andric }
187f22ef01cSRoman Divacky }
188f22ef01cSRoman Divacky
addOption(Option * O)1893ca95b02SDimitry Andric void addOption(Option *O) {
1903ca95b02SDimitry Andric if (O->Subs.empty()) {
1913ca95b02SDimitry Andric addOption(O, &*TopLevelSubCommand);
1923ca95b02SDimitry Andric } else {
1933ca95b02SDimitry Andric for (auto SC : O->Subs)
1943ca95b02SDimitry Andric addOption(O, SC);
1953ca95b02SDimitry Andric }
1963ca95b02SDimitry Andric }
1973ca95b02SDimitry Andric
removeOption(Option * O,SubCommand * SC)1983ca95b02SDimitry Andric void removeOption(Option *O, SubCommand *SC) {
1997d523365SDimitry Andric SmallVector<StringRef, 16> OptionNames;
200ff0cc061SDimitry Andric O->getExtraOptionNames(OptionNames);
2017d523365SDimitry Andric if (O->hasArgStr())
202ff0cc061SDimitry Andric OptionNames.push_back(O->ArgStr);
2033ca95b02SDimitry Andric
2043ca95b02SDimitry Andric SubCommand &Sub = *SC;
205ff0cc061SDimitry Andric for (auto Name : OptionNames)
2063ca95b02SDimitry Andric Sub.OptionsMap.erase(Name);
207ff0cc061SDimitry Andric
208ff0cc061SDimitry Andric if (O->getFormattingFlag() == cl::Positional)
2093ca95b02SDimitry Andric for (auto Opt = Sub.PositionalOpts.begin();
2103ca95b02SDimitry Andric Opt != Sub.PositionalOpts.end(); ++Opt) {
211ff0cc061SDimitry Andric if (*Opt == O) {
2123ca95b02SDimitry Andric Sub.PositionalOpts.erase(Opt);
213ff0cc061SDimitry Andric break;
214ff0cc061SDimitry Andric }
215ff0cc061SDimitry Andric }
216ff0cc061SDimitry Andric else if (O->getMiscFlags() & cl::Sink)
2173ca95b02SDimitry Andric for (auto Opt = Sub.SinkOpts.begin(); Opt != Sub.SinkOpts.end(); ++Opt) {
218ff0cc061SDimitry Andric if (*Opt == O) {
2193ca95b02SDimitry Andric Sub.SinkOpts.erase(Opt);
220ff0cc061SDimitry Andric break;
221ff0cc061SDimitry Andric }
222ff0cc061SDimitry Andric }
2233ca95b02SDimitry Andric else if (O == Sub.ConsumeAfterOpt)
2243ca95b02SDimitry Andric Sub.ConsumeAfterOpt = nullptr;
225ff0cc061SDimitry Andric }
226ff0cc061SDimitry Andric
removeOption(Option * O)2273ca95b02SDimitry Andric void removeOption(Option *O) {
2283ca95b02SDimitry Andric if (O->Subs.empty())
2293ca95b02SDimitry Andric removeOption(O, &*TopLevelSubCommand);
2303ca95b02SDimitry Andric else {
2313ca95b02SDimitry Andric if (O->isInAllSubCommands()) {
2323ca95b02SDimitry Andric for (auto SC : RegisteredSubCommands)
2333ca95b02SDimitry Andric removeOption(O, SC);
2343ca95b02SDimitry Andric } else {
2353ca95b02SDimitry Andric for (auto SC : O->Subs)
2363ca95b02SDimitry Andric removeOption(O, SC);
2373ca95b02SDimitry Andric }
2383ca95b02SDimitry Andric }
239ff0cc061SDimitry Andric }
240ff0cc061SDimitry Andric
hasOptions(const SubCommand & Sub) const2413ca95b02SDimitry Andric bool hasOptions(const SubCommand &Sub) const {
2423ca95b02SDimitry Andric return (!Sub.OptionsMap.empty() || !Sub.PositionalOpts.empty() ||
2433ca95b02SDimitry Andric nullptr != Sub.ConsumeAfterOpt);
2443ca95b02SDimitry Andric }
2453ca95b02SDimitry Andric
hasOptions() const2463ca95b02SDimitry Andric bool hasOptions() const {
2473ca95b02SDimitry Andric for (const auto &S : RegisteredSubCommands) {
2483ca95b02SDimitry Andric if (hasOptions(*S))
2493ca95b02SDimitry Andric return true;
2503ca95b02SDimitry Andric }
2513ca95b02SDimitry Andric return false;
2523ca95b02SDimitry Andric }
2533ca95b02SDimitry Andric
getActiveSubCommand()2543ca95b02SDimitry Andric SubCommand *getActiveSubCommand() { return ActiveSubCommand; }
2553ca95b02SDimitry Andric
updateArgStr(Option * O,StringRef NewName,SubCommand * SC)2563ca95b02SDimitry Andric void updateArgStr(Option *O, StringRef NewName, SubCommand *SC) {
2573ca95b02SDimitry Andric SubCommand &Sub = *SC;
2583ca95b02SDimitry Andric if (!Sub.OptionsMap.insert(std::make_pair(NewName, O)).second) {
259ff0cc061SDimitry Andric errs() << ProgramName << ": CommandLine Error: Option '" << O->ArgStr
260ff0cc061SDimitry Andric << "' registered more than once!\n";
261ff0cc061SDimitry Andric report_fatal_error("inconsistency in registered CommandLine options");
262ff0cc061SDimitry Andric }
2633ca95b02SDimitry Andric Sub.OptionsMap.erase(O->ArgStr);
2643ca95b02SDimitry Andric }
2653ca95b02SDimitry Andric
updateArgStr(Option * O,StringRef NewName)2663ca95b02SDimitry Andric void updateArgStr(Option *O, StringRef NewName) {
2673ca95b02SDimitry Andric if (O->Subs.empty())
2683ca95b02SDimitry Andric updateArgStr(O, NewName, &*TopLevelSubCommand);
2693ca95b02SDimitry Andric else {
2703ca95b02SDimitry Andric for (auto SC : O->Subs)
2713ca95b02SDimitry Andric updateArgStr(O, NewName, SC);
2723ca95b02SDimitry Andric }
273ff0cc061SDimitry Andric }
274ff0cc061SDimitry Andric
275ff0cc061SDimitry Andric void printOptionValues();
276ff0cc061SDimitry Andric
registerCategory(OptionCategory * cat)277ff0cc061SDimitry Andric void registerCategory(OptionCategory *cat) {
2783ca95b02SDimitry Andric assert(count_if(RegisteredOptionCategories,
279ff0cc061SDimitry Andric [cat](const OptionCategory *Category) {
280ff0cc061SDimitry Andric return cat->getName() == Category->getName();
281ff0cc061SDimitry Andric }) == 0 &&
282ff0cc061SDimitry Andric "Duplicate option categories");
283ff0cc061SDimitry Andric
284ff0cc061SDimitry Andric RegisteredOptionCategories.insert(cat);
285ff0cc061SDimitry Andric }
286ff0cc061SDimitry Andric
registerSubCommand(SubCommand * sub)2873ca95b02SDimitry Andric void registerSubCommand(SubCommand *sub) {
2883ca95b02SDimitry Andric assert(count_if(RegisteredSubCommands,
2893ca95b02SDimitry Andric [sub](const SubCommand *Sub) {
290d88c1a5aSDimitry Andric return (!sub->getName().empty()) &&
2913ca95b02SDimitry Andric (Sub->getName() == sub->getName());
2923ca95b02SDimitry Andric }) == 0 &&
2933ca95b02SDimitry Andric "Duplicate subcommands");
2943ca95b02SDimitry Andric RegisteredSubCommands.insert(sub);
2953ca95b02SDimitry Andric
2963ca95b02SDimitry Andric // For all options that have been registered for all subcommands, add the
2973ca95b02SDimitry Andric // option to this subcommand now.
2983ca95b02SDimitry Andric if (sub != &*AllSubCommands) {
2993ca95b02SDimitry Andric for (auto &E : AllSubCommands->OptionsMap) {
3003ca95b02SDimitry Andric Option *O = E.second;
3013ca95b02SDimitry Andric if ((O->isPositional() || O->isSink() || O->isConsumeAfter()) ||
3023ca95b02SDimitry Andric O->hasArgStr())
3033ca95b02SDimitry Andric addOption(O, sub);
3043ca95b02SDimitry Andric else
305d88c1a5aSDimitry Andric addLiteralOption(*O, sub, E.first());
3063ca95b02SDimitry Andric }
3073ca95b02SDimitry Andric }
3083ca95b02SDimitry Andric }
3093ca95b02SDimitry Andric
unregisterSubCommand(SubCommand * sub)3103ca95b02SDimitry Andric void unregisterSubCommand(SubCommand *sub) {
3113ca95b02SDimitry Andric RegisteredSubCommands.erase(sub);
3123ca95b02SDimitry Andric }
3133ca95b02SDimitry Andric
314d88c1a5aSDimitry Andric iterator_range<typename SmallPtrSet<SubCommand *, 4>::iterator>
getRegisteredSubcommands()315d88c1a5aSDimitry Andric getRegisteredSubcommands() {
316d88c1a5aSDimitry Andric return make_range(RegisteredSubCommands.begin(),
317d88c1a5aSDimitry Andric RegisteredSubCommands.end());
318d88c1a5aSDimitry Andric }
319d88c1a5aSDimitry Andric
reset()3203ca95b02SDimitry Andric void reset() {
3213ca95b02SDimitry Andric ActiveSubCommand = nullptr;
3223ca95b02SDimitry Andric ProgramName.clear();
323d88c1a5aSDimitry Andric ProgramOverview = StringRef();
3243ca95b02SDimitry Andric
3253ca95b02SDimitry Andric MoreHelp.clear();
3263ca95b02SDimitry Andric RegisteredOptionCategories.clear();
3273ca95b02SDimitry Andric
3283ca95b02SDimitry Andric ResetAllOptionOccurrences();
3293ca95b02SDimitry Andric RegisteredSubCommands.clear();
3303ca95b02SDimitry Andric
3313ca95b02SDimitry Andric TopLevelSubCommand->reset();
3323ca95b02SDimitry Andric AllSubCommands->reset();
3333ca95b02SDimitry Andric registerSubCommand(&*TopLevelSubCommand);
3343ca95b02SDimitry Andric registerSubCommand(&*AllSubCommands);
3353ca95b02SDimitry Andric }
3363ca95b02SDimitry Andric
337ff0cc061SDimitry Andric private:
3383ca95b02SDimitry Andric SubCommand *ActiveSubCommand;
3393ca95b02SDimitry Andric
3403ca95b02SDimitry Andric Option *LookupOption(SubCommand &Sub, StringRef &Arg, StringRef &Value);
341d88c1a5aSDimitry Andric SubCommand *LookupSubCommand(StringRef Name);
342ff0cc061SDimitry Andric };
343ff0cc061SDimitry Andric
344ff0cc061SDimitry Andric } // namespace
345ff0cc061SDimitry Andric
346ff0cc061SDimitry Andric static ManagedStatic<CommandLineParser> GlobalParser;
347ff0cc061SDimitry Andric
AddLiteralOption(Option & O,StringRef Name)348d88c1a5aSDimitry Andric void cl::AddLiteralOption(Option &O, StringRef Name) {
349ff0cc061SDimitry Andric GlobalParser->addLiteralOption(O, Name);
350ff0cc061SDimitry Andric }
351ff0cc061SDimitry Andric
extrahelp(StringRef Help)352d88c1a5aSDimitry Andric extrahelp::extrahelp(StringRef Help) : morehelp(Help) {
353ff0cc061SDimitry Andric GlobalParser->MoreHelp.push_back(Help);
354ff0cc061SDimitry Andric }
355ff0cc061SDimitry Andric
addArgument()356ff0cc061SDimitry Andric void Option::addArgument() {
357ff0cc061SDimitry Andric GlobalParser->addOption(this);
358ff0cc061SDimitry Andric FullyInitialized = true;
359ff0cc061SDimitry Andric }
360ff0cc061SDimitry Andric
removeArgument()361ff0cc061SDimitry Andric void Option::removeArgument() { GlobalParser->removeOption(this); }
362ff0cc061SDimitry Andric
setArgStr(StringRef S)3637d523365SDimitry Andric void Option::setArgStr(StringRef S) {
364ff0cc061SDimitry Andric if (FullyInitialized)
365ff0cc061SDimitry Andric GlobalParser->updateArgStr(this, S);
36624e2fe98SDimitry Andric assert((S.empty() || S[0] != '-') && "Option can't start with '-");
367ff0cc061SDimitry Andric ArgStr = S;
368ff0cc061SDimitry Andric }
369ff0cc061SDimitry Andric
370ff0cc061SDimitry Andric // Initialise the general option category.
371ff0cc061SDimitry Andric OptionCategory llvm::cl::GeneralCategory("General options");
372ff0cc061SDimitry Andric
registerCategory()373ff0cc061SDimitry Andric void OptionCategory::registerCategory() {
374ff0cc061SDimitry Andric GlobalParser->registerCategory(this);
375ff0cc061SDimitry Andric }
376ff0cc061SDimitry Andric
3773ca95b02SDimitry Andric // A special subcommand representing no subcommand
3783ca95b02SDimitry Andric ManagedStatic<SubCommand> llvm::cl::TopLevelSubCommand;
3793ca95b02SDimitry Andric
3803ca95b02SDimitry Andric // A special subcommand that can be used to put an option into all subcommands.
3813ca95b02SDimitry Andric ManagedStatic<SubCommand> llvm::cl::AllSubCommands;
3823ca95b02SDimitry Andric
registerSubCommand()3833ca95b02SDimitry Andric void SubCommand::registerSubCommand() {
3843ca95b02SDimitry Andric GlobalParser->registerSubCommand(this);
3853ca95b02SDimitry Andric }
3863ca95b02SDimitry Andric
unregisterSubCommand()3873ca95b02SDimitry Andric void SubCommand::unregisterSubCommand() {
3883ca95b02SDimitry Andric GlobalParser->unregisterSubCommand(this);
3893ca95b02SDimitry Andric }
3903ca95b02SDimitry Andric
reset()3913ca95b02SDimitry Andric void SubCommand::reset() {
3923ca95b02SDimitry Andric PositionalOpts.clear();
3933ca95b02SDimitry Andric SinkOpts.clear();
3943ca95b02SDimitry Andric OptionsMap.clear();
3953ca95b02SDimitry Andric
3963ca95b02SDimitry Andric ConsumeAfterOpt = nullptr;
3973ca95b02SDimitry Andric }
3983ca95b02SDimitry Andric
operator bool() const3993ca95b02SDimitry Andric SubCommand::operator bool() const {
4003ca95b02SDimitry Andric return (GlobalParser->getActiveSubCommand() == this);
4013ca95b02SDimitry Andric }
4023ca95b02SDimitry Andric
403ff0cc061SDimitry Andric //===----------------------------------------------------------------------===//
404ff0cc061SDimitry Andric // Basic, shared command line option processing machinery.
405ff0cc061SDimitry Andric //
406ff0cc061SDimitry Andric
407f22ef01cSRoman Divacky /// LookupOption - Lookup the option specified by the specified option on the
408f22ef01cSRoman Divacky /// command line. If there is a value specified (after an equal sign) return
409f22ef01cSRoman Divacky /// that as well. This assumes that leading dashes have already been stripped.
LookupOption(SubCommand & Sub,StringRef & Arg,StringRef & Value)4103ca95b02SDimitry Andric Option *CommandLineParser::LookupOption(SubCommand &Sub, StringRef &Arg,
4113ca95b02SDimitry Andric StringRef &Value) {
412f22ef01cSRoman Divacky // Reject all dashes.
41339d628a0SDimitry Andric if (Arg.empty())
41439d628a0SDimitry Andric return nullptr;
4153ca95b02SDimitry Andric assert(&Sub != &*AllSubCommands);
416f22ef01cSRoman Divacky
417f22ef01cSRoman Divacky size_t EqualPos = Arg.find('=');
418f22ef01cSRoman Divacky
419f22ef01cSRoman Divacky // If we have an equals sign, remember the value.
420f22ef01cSRoman Divacky if (EqualPos == StringRef::npos) {
421f22ef01cSRoman Divacky // Look up the option.
4223ca95b02SDimitry Andric auto I = Sub.OptionsMap.find(Arg);
4233ca95b02SDimitry Andric if (I == Sub.OptionsMap.end())
4243ca95b02SDimitry Andric return nullptr;
4253ca95b02SDimitry Andric
4263ca95b02SDimitry Andric return I != Sub.OptionsMap.end() ? I->second : nullptr;
427f22ef01cSRoman Divacky }
428f22ef01cSRoman Divacky
429*b5893f02SDimitry Andric // If the argument before the = is a valid option name and the option allows
430*b5893f02SDimitry Andric // non-prefix form (ie is not AlwaysPrefix), we match. If not, signal match
431*b5893f02SDimitry Andric // failure by returning nullptr.
4323ca95b02SDimitry Andric auto I = Sub.OptionsMap.find(Arg.substr(0, EqualPos));
4333ca95b02SDimitry Andric if (I == Sub.OptionsMap.end())
43439d628a0SDimitry Andric return nullptr;
435f22ef01cSRoman Divacky
436*b5893f02SDimitry Andric auto O = I->second;
437*b5893f02SDimitry Andric if (O->getFormattingFlag() == cl::AlwaysPrefix)
438*b5893f02SDimitry Andric return nullptr;
439*b5893f02SDimitry Andric
440f22ef01cSRoman Divacky Value = Arg.substr(EqualPos + 1);
441f22ef01cSRoman Divacky Arg = Arg.substr(0, EqualPos);
442f22ef01cSRoman Divacky return I->second;
443f22ef01cSRoman Divacky }
444f22ef01cSRoman Divacky
LookupSubCommand(StringRef Name)445d88c1a5aSDimitry Andric SubCommand *CommandLineParser::LookupSubCommand(StringRef Name) {
446d88c1a5aSDimitry Andric if (Name.empty())
4473ca95b02SDimitry Andric return &*TopLevelSubCommand;
4483ca95b02SDimitry Andric for (auto S : RegisteredSubCommands) {
4493ca95b02SDimitry Andric if (S == &*AllSubCommands)
4503ca95b02SDimitry Andric continue;
451d88c1a5aSDimitry Andric if (S->getName().empty())
4523ca95b02SDimitry Andric continue;
4533ca95b02SDimitry Andric
4543ca95b02SDimitry Andric if (StringRef(S->getName()) == StringRef(Name))
4553ca95b02SDimitry Andric return S;
4563ca95b02SDimitry Andric }
4573ca95b02SDimitry Andric return &*TopLevelSubCommand;
4583ca95b02SDimitry Andric }
4593ca95b02SDimitry Andric
4602754fe60SDimitry Andric /// LookupNearestOption - Lookup the closest match to the option specified by
4612754fe60SDimitry Andric /// the specified option on the command line. If there is a value specified
4622754fe60SDimitry Andric /// (after an equal sign) return that as well. This assumes that leading dashes
4632754fe60SDimitry Andric /// have already been stripped.
LookupNearestOption(StringRef Arg,const StringMap<Option * > & OptionsMap,std::string & NearestString)4642754fe60SDimitry Andric static Option *LookupNearestOption(StringRef Arg,
4652754fe60SDimitry Andric const StringMap<Option *> &OptionsMap,
4663b0f4066SDimitry Andric std::string &NearestString) {
4672754fe60SDimitry Andric // Reject all dashes.
46839d628a0SDimitry Andric if (Arg.empty())
46939d628a0SDimitry Andric return nullptr;
4702754fe60SDimitry Andric
4712754fe60SDimitry Andric // Split on any equal sign.
4723b0f4066SDimitry Andric std::pair<StringRef, StringRef> SplitArg = Arg.split('=');
4733b0f4066SDimitry Andric StringRef &LHS = SplitArg.first; // LHS == Arg when no '=' is present.
4743b0f4066SDimitry Andric StringRef &RHS = SplitArg.second;
4752754fe60SDimitry Andric
4762754fe60SDimitry Andric // Find the closest match.
47791bc56edSDimitry Andric Option *Best = nullptr;
4782754fe60SDimitry Andric unsigned BestDistance = 0;
4792754fe60SDimitry Andric for (StringMap<Option *>::const_iterator it = OptionsMap.begin(),
48039d628a0SDimitry Andric ie = OptionsMap.end();
48139d628a0SDimitry Andric it != ie; ++it) {
4822754fe60SDimitry Andric Option *O = it->second;
4837d523365SDimitry Andric SmallVector<StringRef, 16> OptionNames;
4842754fe60SDimitry Andric O->getExtraOptionNames(OptionNames);
4857d523365SDimitry Andric if (O->hasArgStr())
4862754fe60SDimitry Andric OptionNames.push_back(O->ArgStr);
4872754fe60SDimitry Andric
4883b0f4066SDimitry Andric bool PermitValue = O->getValueExpectedFlag() != cl::ValueDisallowed;
4893b0f4066SDimitry Andric StringRef Flag = PermitValue ? LHS : Arg;
4907d523365SDimitry Andric for (auto Name : OptionNames) {
4912754fe60SDimitry Andric unsigned Distance = StringRef(Name).edit_distance(
4923b0f4066SDimitry Andric Flag, /*AllowReplacements=*/true, /*MaxEditDistance=*/BestDistance);
4932754fe60SDimitry Andric if (!Best || Distance < BestDistance) {
4942754fe60SDimitry Andric Best = O;
4952754fe60SDimitry Andric BestDistance = Distance;
4963b0f4066SDimitry Andric if (RHS.empty() || !PermitValue)
4977d523365SDimitry Andric NearestString = Name;
4983b0f4066SDimitry Andric else
4997d523365SDimitry Andric NearestString = (Twine(Name) + "=" + RHS).str();
5002754fe60SDimitry Andric }
5012754fe60SDimitry Andric }
5022754fe60SDimitry Andric }
5032754fe60SDimitry Andric
5042754fe60SDimitry Andric return Best;
5052754fe60SDimitry Andric }
5062754fe60SDimitry Andric
50791bc56edSDimitry Andric /// CommaSeparateAndAddOccurrence - A wrapper around Handler->addOccurrence()
50891bc56edSDimitry Andric /// that does special handling of cl::CommaSeparated options.
CommaSeparateAndAddOccurrence(Option * Handler,unsigned pos,StringRef ArgName,StringRef Value,bool MultiArg=false)50991bc56edSDimitry Andric static bool CommaSeparateAndAddOccurrence(Option *Handler, unsigned pos,
51091bc56edSDimitry Andric StringRef ArgName, StringRef Value,
51191bc56edSDimitry Andric bool MultiArg = false) {
512f22ef01cSRoman Divacky // Check to see if this option accepts a comma separated list of values. If
513f22ef01cSRoman Divacky // it does, we have to split up the value into multiple values.
514f22ef01cSRoman Divacky if (Handler->getMiscFlags() & CommaSeparated) {
515f22ef01cSRoman Divacky StringRef Val(Value);
516f22ef01cSRoman Divacky StringRef::size_type Pos = Val.find(',');
517f22ef01cSRoman Divacky
518f22ef01cSRoman Divacky while (Pos != StringRef::npos) {
519f22ef01cSRoman Divacky // Process the portion before the comma.
520f22ef01cSRoman Divacky if (Handler->addOccurrence(pos, ArgName, Val.substr(0, Pos), MultiArg))
521f22ef01cSRoman Divacky return true;
522f22ef01cSRoman Divacky // Erase the portion before the comma, AND the comma.
523f22ef01cSRoman Divacky Val = Val.substr(Pos + 1);
524f22ef01cSRoman Divacky // Check for another comma.
525f22ef01cSRoman Divacky Pos = Val.find(',');
526f22ef01cSRoman Divacky }
527f22ef01cSRoman Divacky
528f22ef01cSRoman Divacky Value = Val;
529f22ef01cSRoman Divacky }
530f22ef01cSRoman Divacky
5317d523365SDimitry Andric return Handler->addOccurrence(pos, ArgName, Value, MultiArg);
532f22ef01cSRoman Divacky }
533f22ef01cSRoman Divacky
534f22ef01cSRoman Divacky /// ProvideOption - For Value, this differentiates between an empty value ("")
535f22ef01cSRoman Divacky /// and a null value (StringRef()). The later is accepted for arguments that
536f22ef01cSRoman Divacky /// don't allow a value (-foo) the former is rejected (-foo=).
ProvideOption(Option * Handler,StringRef ArgName,StringRef Value,int argc,const char * const * argv,int & i)537f22ef01cSRoman Divacky static inline bool ProvideOption(Option *Handler, StringRef ArgName,
538dff0c46cSDimitry Andric StringRef Value, int argc,
539dff0c46cSDimitry Andric const char *const *argv, int &i) {
540f22ef01cSRoman Divacky // Is this a multi-argument option?
541f22ef01cSRoman Divacky unsigned NumAdditionalVals = Handler->getNumAdditionalVals();
542f22ef01cSRoman Divacky
543f22ef01cSRoman Divacky // Enforce value requirements
544f22ef01cSRoman Divacky switch (Handler->getValueExpectedFlag()) {
545f22ef01cSRoman Divacky case ValueRequired:
54691bc56edSDimitry Andric if (!Value.data()) { // No value specified?
547*b5893f02SDimitry Andric // If no other argument or the option only supports prefix form, we
548*b5893f02SDimitry Andric // cannot look at the next argument.
549*b5893f02SDimitry Andric if (i + 1 >= argc || Handler->getFormattingFlag() == cl::AlwaysPrefix)
550f22ef01cSRoman Divacky return Handler->error("requires a value!");
551f22ef01cSRoman Divacky // Steal the next argument, like for '-o filename'
55239d628a0SDimitry Andric assert(argv && "null check");
553d88c1a5aSDimitry Andric Value = StringRef(argv[++i]);
554f22ef01cSRoman Divacky }
555f22ef01cSRoman Divacky break;
556f22ef01cSRoman Divacky case ValueDisallowed:
557f22ef01cSRoman Divacky if (NumAdditionalVals > 0)
558f22ef01cSRoman Divacky return Handler->error("multi-valued option specified"
559f22ef01cSRoman Divacky " with ValueDisallowed modifier!");
560f22ef01cSRoman Divacky
561f22ef01cSRoman Divacky if (Value.data())
56239d628a0SDimitry Andric return Handler->error("does not allow a value! '" + Twine(Value) +
56339d628a0SDimitry Andric "' specified.");
564f22ef01cSRoman Divacky break;
565f22ef01cSRoman Divacky case ValueOptional:
566f22ef01cSRoman Divacky break;
567f22ef01cSRoman Divacky }
568f22ef01cSRoman Divacky
569f22ef01cSRoman Divacky // If this isn't a multi-arg option, just run the handler.
570f22ef01cSRoman Divacky if (NumAdditionalVals == 0)
57191bc56edSDimitry Andric return CommaSeparateAndAddOccurrence(Handler, i, ArgName, Value);
572f22ef01cSRoman Divacky
573f22ef01cSRoman Divacky // If it is, run the handle several times.
574f22ef01cSRoman Divacky bool MultiArg = false;
575f22ef01cSRoman Divacky
576f22ef01cSRoman Divacky if (Value.data()) {
57791bc56edSDimitry Andric if (CommaSeparateAndAddOccurrence(Handler, i, ArgName, Value, MultiArg))
578f22ef01cSRoman Divacky return true;
579f22ef01cSRoman Divacky --NumAdditionalVals;
580f22ef01cSRoman Divacky MultiArg = true;
581f22ef01cSRoman Divacky }
582f22ef01cSRoman Divacky
583f22ef01cSRoman Divacky while (NumAdditionalVals > 0) {
584f22ef01cSRoman Divacky if (i + 1 >= argc)
585f22ef01cSRoman Divacky return Handler->error("not enough values!");
58639d628a0SDimitry Andric assert(argv && "null check");
587d88c1a5aSDimitry Andric Value = StringRef(argv[++i]);
588f22ef01cSRoman Divacky
58991bc56edSDimitry Andric if (CommaSeparateAndAddOccurrence(Handler, i, ArgName, Value, MultiArg))
590f22ef01cSRoman Divacky return true;
591f22ef01cSRoman Divacky MultiArg = true;
592f22ef01cSRoman Divacky --NumAdditionalVals;
593f22ef01cSRoman Divacky }
594f22ef01cSRoman Divacky return false;
595f22ef01cSRoman Divacky }
596f22ef01cSRoman Divacky
ProvidePositionalOption(Option * Handler,StringRef Arg,int i)597f22ef01cSRoman Divacky static bool ProvidePositionalOption(Option *Handler, StringRef Arg, int i) {
598f22ef01cSRoman Divacky int Dummy = i;
59991bc56edSDimitry Andric return ProvideOption(Handler, Handler->ArgStr, Arg, 0, nullptr, Dummy);
600f22ef01cSRoman Divacky }
601f22ef01cSRoman Divacky
602f22ef01cSRoman Divacky // Option predicates...
isGrouping(const Option * O)603f22ef01cSRoman Divacky static inline bool isGrouping(const Option *O) {
604f22ef01cSRoman Divacky return O->getFormattingFlag() == cl::Grouping;
605f22ef01cSRoman Divacky }
isPrefixedOrGrouping(const Option * O)606f22ef01cSRoman Divacky static inline bool isPrefixedOrGrouping(const Option *O) {
607*b5893f02SDimitry Andric return isGrouping(O) || O->getFormattingFlag() == cl::Prefix ||
608*b5893f02SDimitry Andric O->getFormattingFlag() == cl::AlwaysPrefix;
609f22ef01cSRoman Divacky }
610f22ef01cSRoman Divacky
611f22ef01cSRoman Divacky // getOptionPred - Check to see if there are any options that satisfy the
612f22ef01cSRoman Divacky // specified predicate with names that are the prefixes in Name. This is
613f22ef01cSRoman Divacky // checked by progressively stripping characters off of the name, checking to
614f22ef01cSRoman Divacky // see if there options that satisfy the predicate. If we find one, return it,
615f22ef01cSRoman Divacky // otherwise return null.
616f22ef01cSRoman Divacky //
getOptionPred(StringRef Name,size_t & Length,bool (* Pred)(const Option *),const StringMap<Option * > & OptionsMap)617f22ef01cSRoman Divacky static Option *getOptionPred(StringRef Name, size_t &Length,
618f22ef01cSRoman Divacky bool (*Pred)(const Option *),
619f22ef01cSRoman Divacky const StringMap<Option *> &OptionsMap) {
620f22ef01cSRoman Divacky
621f22ef01cSRoman Divacky StringMap<Option *>::const_iterator OMI = OptionsMap.find(Name);
622f22ef01cSRoman Divacky
623f22ef01cSRoman Divacky // Loop while we haven't found an option and Name still has at least two
624f22ef01cSRoman Divacky // characters in it (so that the next iteration will not be the empty
625f22ef01cSRoman Divacky // string.
626f22ef01cSRoman Divacky while (OMI == OptionsMap.end() && Name.size() > 1) {
627f22ef01cSRoman Divacky Name = Name.substr(0, Name.size() - 1); // Chop off the last character.
628f22ef01cSRoman Divacky OMI = OptionsMap.find(Name);
629f22ef01cSRoman Divacky }
630f22ef01cSRoman Divacky
631f22ef01cSRoman Divacky if (OMI != OptionsMap.end() && Pred(OMI->second)) {
632f22ef01cSRoman Divacky Length = Name.size();
633f22ef01cSRoman Divacky return OMI->second; // Found one!
634f22ef01cSRoman Divacky }
63591bc56edSDimitry Andric return nullptr; // No option found!
636f22ef01cSRoman Divacky }
637f22ef01cSRoman Divacky
638f22ef01cSRoman Divacky /// HandlePrefixedOrGroupedOption - The specified argument string (which started
639f22ef01cSRoman Divacky /// with at least one '-') does not fully match an available option. Check to
640f22ef01cSRoman Divacky /// see if this is a prefix or grouped option. If so, split arg into output an
641f22ef01cSRoman Divacky /// Arg/Value pair and return the Option to parse it with.
64239d628a0SDimitry Andric static Option *
HandlePrefixedOrGroupedOption(StringRef & Arg,StringRef & Value,bool & ErrorParsing,const StringMap<Option * > & OptionsMap)64339d628a0SDimitry Andric HandlePrefixedOrGroupedOption(StringRef &Arg, StringRef &Value,
644f22ef01cSRoman Divacky bool &ErrorParsing,
645f22ef01cSRoman Divacky const StringMap<Option *> &OptionsMap) {
64639d628a0SDimitry Andric if (Arg.size() == 1)
64739d628a0SDimitry Andric return nullptr;
648f22ef01cSRoman Divacky
649f22ef01cSRoman Divacky // Do the lookup!
650f22ef01cSRoman Divacky size_t Length = 0;
651f22ef01cSRoman Divacky Option *PGOpt = getOptionPred(Arg, Length, isPrefixedOrGrouping, OptionsMap);
65239d628a0SDimitry Andric if (!PGOpt)
65339d628a0SDimitry Andric return nullptr;
654f22ef01cSRoman Divacky
655f22ef01cSRoman Divacky // If the option is a prefixed option, then the value is simply the
656f22ef01cSRoman Divacky // rest of the name... so fall through to later processing, by
657f22ef01cSRoman Divacky // setting up the argument name flags and value fields.
658*b5893f02SDimitry Andric if (PGOpt->getFormattingFlag() == cl::Prefix ||
659*b5893f02SDimitry Andric PGOpt->getFormattingFlag() == cl::AlwaysPrefix) {
660f22ef01cSRoman Divacky Value = Arg.substr(Length);
661f22ef01cSRoman Divacky Arg = Arg.substr(0, Length);
662f22ef01cSRoman Divacky assert(OptionsMap.count(Arg) && OptionsMap.find(Arg)->second == PGOpt);
663f22ef01cSRoman Divacky return PGOpt;
664f22ef01cSRoman Divacky }
665f22ef01cSRoman Divacky
666f22ef01cSRoman Divacky // This must be a grouped option... handle them now. Grouping options can't
667f22ef01cSRoman Divacky // have values.
668f22ef01cSRoman Divacky assert(isGrouping(PGOpt) && "Broken getOptionPred!");
669f22ef01cSRoman Divacky
670f22ef01cSRoman Divacky do {
671f22ef01cSRoman Divacky // Move current arg name out of Arg into OneArgName.
672f22ef01cSRoman Divacky StringRef OneArgName = Arg.substr(0, Length);
673f22ef01cSRoman Divacky Arg = Arg.substr(Length);
674f22ef01cSRoman Divacky
675f22ef01cSRoman Divacky // Because ValueRequired is an invalid flag for grouped arguments,
676f22ef01cSRoman Divacky // we don't need to pass argc/argv in.
677f22ef01cSRoman Divacky assert(PGOpt->getValueExpectedFlag() != cl::ValueRequired &&
678f22ef01cSRoman Divacky "Option can not be cl::Grouping AND cl::ValueRequired!");
679f22ef01cSRoman Divacky int Dummy = 0;
68039d628a0SDimitry Andric ErrorParsing |=
68139d628a0SDimitry Andric ProvideOption(PGOpt, OneArgName, StringRef(), 0, nullptr, Dummy);
682f22ef01cSRoman Divacky
683f22ef01cSRoman Divacky // Get the next grouping option.
684f22ef01cSRoman Divacky PGOpt = getOptionPred(Arg, Length, isGrouping, OptionsMap);
685f22ef01cSRoman Divacky } while (PGOpt && Length != Arg.size());
686f22ef01cSRoman Divacky
687f22ef01cSRoman Divacky // Return the last option with Arg cut down to just the last one.
688f22ef01cSRoman Divacky return PGOpt;
689f22ef01cSRoman Divacky }
690f22ef01cSRoman Divacky
RequiresValue(const Option * O)691f22ef01cSRoman Divacky static bool RequiresValue(const Option *O) {
692f22ef01cSRoman Divacky return O->getNumOccurrencesFlag() == cl::Required ||
693f22ef01cSRoman Divacky O->getNumOccurrencesFlag() == cl::OneOrMore;
694f22ef01cSRoman Divacky }
695f22ef01cSRoman Divacky
EatsUnboundedNumberOfValues(const Option * O)696f22ef01cSRoman Divacky static bool EatsUnboundedNumberOfValues(const Option *O) {
697f22ef01cSRoman Divacky return O->getNumOccurrencesFlag() == cl::ZeroOrMore ||
698f22ef01cSRoman Divacky O->getNumOccurrencesFlag() == cl::OneOrMore;
699f22ef01cSRoman Divacky }
700f22ef01cSRoman Divacky
isWhitespace(char C)701fe4fed2eSDimitry Andric static bool isWhitespace(char C) {
702fe4fed2eSDimitry Andric return C == ' ' || C == '\t' || C == '\r' || C == '\n';
703fe4fed2eSDimitry Andric }
704f22ef01cSRoman Divacky
isWhitespaceOrNull(char C)705*b5893f02SDimitry Andric static bool isWhitespaceOrNull(char C) {
706*b5893f02SDimitry Andric return isWhitespace(C) || C == '\0';
707*b5893f02SDimitry Andric }
708*b5893f02SDimitry Andric
isQuote(char C)70939d628a0SDimitry Andric static bool isQuote(char C) { return C == '\"' || C == '\''; }
710f785676fSDimitry Andric
TokenizeGNUCommandLine(StringRef Src,StringSaver & Saver,SmallVectorImpl<const char * > & NewArgv,bool MarkEOLs)711f785676fSDimitry Andric void cl::TokenizeGNUCommandLine(StringRef Src, StringSaver &Saver,
71239d628a0SDimitry Andric SmallVectorImpl<const char *> &NewArgv,
71339d628a0SDimitry Andric bool MarkEOLs) {
714f785676fSDimitry Andric SmallString<128> Token;
715f785676fSDimitry Andric for (size_t I = 0, E = Src.size(); I != E; ++I) {
716f785676fSDimitry Andric // Consume runs of whitespace.
717f785676fSDimitry Andric if (Token.empty()) {
71839d628a0SDimitry Andric while (I != E && isWhitespace(Src[I])) {
71939d628a0SDimitry Andric // Mark the end of lines in response files
72039d628a0SDimitry Andric if (MarkEOLs && Src[I] == '\n')
72139d628a0SDimitry Andric NewArgv.push_back(nullptr);
722f785676fSDimitry Andric ++I;
72339d628a0SDimitry Andric }
72439d628a0SDimitry Andric if (I == E)
72539d628a0SDimitry Andric break;
726f785676fSDimitry Andric }
727f785676fSDimitry Andric
728fe4fed2eSDimitry Andric char C = Src[I];
729fe4fed2eSDimitry Andric
7303ca95b02SDimitry Andric // Backslash escapes the next character.
731fe4fed2eSDimitry Andric if (I + 1 < E && C == '\\') {
732f785676fSDimitry Andric ++I; // Skip the escape.
733f785676fSDimitry Andric Token.push_back(Src[I]);
734f22ef01cSRoman Divacky continue;
735f22ef01cSRoman Divacky }
736f22ef01cSRoman Divacky
737f785676fSDimitry Andric // Consume a quoted string.
738fe4fed2eSDimitry Andric if (isQuote(C)) {
739fe4fed2eSDimitry Andric ++I;
740fe4fed2eSDimitry Andric while (I != E && Src[I] != C) {
7413ca95b02SDimitry Andric // Backslash escapes the next character.
7423ca95b02SDimitry Andric if (Src[I] == '\\' && I + 1 != E)
743f785676fSDimitry Andric ++I;
744f785676fSDimitry Andric Token.push_back(Src[I]);
745f785676fSDimitry Andric ++I;
746f22ef01cSRoman Divacky }
74739d628a0SDimitry Andric if (I == E)
74839d628a0SDimitry Andric break;
749f785676fSDimitry Andric continue;
750f785676fSDimitry Andric }
751f785676fSDimitry Andric
752f785676fSDimitry Andric // End the token if this is whitespace.
753fe4fed2eSDimitry Andric if (isWhitespace(C)) {
754f785676fSDimitry Andric if (!Token.empty())
755d88c1a5aSDimitry Andric NewArgv.push_back(Saver.save(StringRef(Token)).data());
756f785676fSDimitry Andric Token.clear();
757f785676fSDimitry Andric continue;
758f785676fSDimitry Andric }
759f785676fSDimitry Andric
760f785676fSDimitry Andric // This is a normal character. Append it.
761fe4fed2eSDimitry Andric Token.push_back(C);
762f785676fSDimitry Andric }
763f785676fSDimitry Andric
764f785676fSDimitry Andric // Append the last token after hitting EOF with no whitespace.
765f785676fSDimitry Andric if (!Token.empty())
766d88c1a5aSDimitry Andric NewArgv.push_back(Saver.save(StringRef(Token)).data());
76739d628a0SDimitry Andric // Mark the end of response files
76839d628a0SDimitry Andric if (MarkEOLs)
76939d628a0SDimitry Andric NewArgv.push_back(nullptr);
770f785676fSDimitry Andric }
771f785676fSDimitry Andric
772f785676fSDimitry Andric /// Backslashes are interpreted in a rather complicated way in the Windows-style
773f785676fSDimitry Andric /// command line, because backslashes are used both to separate path and to
774f785676fSDimitry Andric /// escape double quote. This method consumes runs of backslashes as well as the
775f785676fSDimitry Andric /// following double quote if it's escaped.
776f785676fSDimitry Andric ///
777f785676fSDimitry Andric /// * If an even number of backslashes is followed by a double quote, one
778f785676fSDimitry Andric /// backslash is output for every pair of backslashes, and the last double
779f785676fSDimitry Andric /// quote remains unconsumed. The double quote will later be interpreted as
780f785676fSDimitry Andric /// the start or end of a quoted string in the main loop outside of this
781f785676fSDimitry Andric /// function.
782f785676fSDimitry Andric ///
783f785676fSDimitry Andric /// * If an odd number of backslashes is followed by a double quote, one
784f785676fSDimitry Andric /// backslash is output for every pair of backslashes, and a double quote is
785f785676fSDimitry Andric /// output for the last pair of backslash-double quote. The double quote is
786f785676fSDimitry Andric /// consumed in this case.
787f785676fSDimitry Andric ///
788f785676fSDimitry Andric /// * Otherwise, backslashes are interpreted literally.
parseBackslash(StringRef Src,size_t I,SmallString<128> & Token)789f785676fSDimitry Andric static size_t parseBackslash(StringRef Src, size_t I, SmallString<128> &Token) {
790f785676fSDimitry Andric size_t E = Src.size();
791f785676fSDimitry Andric int BackslashCount = 0;
792f785676fSDimitry Andric // Skip the backslashes.
793f785676fSDimitry Andric do {
794f785676fSDimitry Andric ++I;
795f785676fSDimitry Andric ++BackslashCount;
796f785676fSDimitry Andric } while (I != E && Src[I] == '\\');
797f785676fSDimitry Andric
798f785676fSDimitry Andric bool FollowedByDoubleQuote = (I != E && Src[I] == '"');
799f785676fSDimitry Andric if (FollowedByDoubleQuote) {
800f785676fSDimitry Andric Token.append(BackslashCount / 2, '\\');
801f785676fSDimitry Andric if (BackslashCount % 2 == 0)
802f785676fSDimitry Andric return I - 1;
803f785676fSDimitry Andric Token.push_back('"');
804f785676fSDimitry Andric return I;
805f785676fSDimitry Andric }
806f785676fSDimitry Andric Token.append(BackslashCount, '\\');
807f785676fSDimitry Andric return I - 1;
808f785676fSDimitry Andric }
809f785676fSDimitry Andric
TokenizeWindowsCommandLine(StringRef Src,StringSaver & Saver,SmallVectorImpl<const char * > & NewArgv,bool MarkEOLs)810f785676fSDimitry Andric void cl::TokenizeWindowsCommandLine(StringRef Src, StringSaver &Saver,
81139d628a0SDimitry Andric SmallVectorImpl<const char *> &NewArgv,
81239d628a0SDimitry Andric bool MarkEOLs) {
813f785676fSDimitry Andric SmallString<128> Token;
814f785676fSDimitry Andric
815f785676fSDimitry Andric // This is a small state machine to consume characters until it reaches the
816f785676fSDimitry Andric // end of the source string.
817f785676fSDimitry Andric enum { INIT, UNQUOTED, QUOTED } State = INIT;
818f785676fSDimitry Andric for (size_t I = 0, E = Src.size(); I != E; ++I) {
819fe4fed2eSDimitry Andric char C = Src[I];
820fe4fed2eSDimitry Andric
821f785676fSDimitry Andric // INIT state indicates that the current input index is at the start of
822f785676fSDimitry Andric // the string or between tokens.
823f785676fSDimitry Andric if (State == INIT) {
824*b5893f02SDimitry Andric if (isWhitespaceOrNull(C)) {
82539d628a0SDimitry Andric // Mark the end of lines in response files
826fe4fed2eSDimitry Andric if (MarkEOLs && C == '\n')
82739d628a0SDimitry Andric NewArgv.push_back(nullptr);
828f785676fSDimitry Andric continue;
82939d628a0SDimitry Andric }
830fe4fed2eSDimitry Andric if (C == '"') {
831f785676fSDimitry Andric State = QUOTED;
832f785676fSDimitry Andric continue;
833f785676fSDimitry Andric }
834fe4fed2eSDimitry Andric if (C == '\\') {
835f785676fSDimitry Andric I = parseBackslash(Src, I, Token);
836f785676fSDimitry Andric State = UNQUOTED;
837f785676fSDimitry Andric continue;
838f785676fSDimitry Andric }
839fe4fed2eSDimitry Andric Token.push_back(C);
840f785676fSDimitry Andric State = UNQUOTED;
841f785676fSDimitry Andric continue;
842f785676fSDimitry Andric }
843f785676fSDimitry Andric
844f785676fSDimitry Andric // UNQUOTED state means that it's reading a token not quoted by double
845f785676fSDimitry Andric // quotes.
846f785676fSDimitry Andric if (State == UNQUOTED) {
847f785676fSDimitry Andric // Whitespace means the end of the token.
848*b5893f02SDimitry Andric if (isWhitespaceOrNull(C)) {
849d88c1a5aSDimitry Andric NewArgv.push_back(Saver.save(StringRef(Token)).data());
850f785676fSDimitry Andric Token.clear();
851f785676fSDimitry Andric State = INIT;
85239d628a0SDimitry Andric // Mark the end of lines in response files
853fe4fed2eSDimitry Andric if (MarkEOLs && C == '\n')
85439d628a0SDimitry Andric NewArgv.push_back(nullptr);
855f785676fSDimitry Andric continue;
856f785676fSDimitry Andric }
857fe4fed2eSDimitry Andric if (C == '"') {
858f785676fSDimitry Andric State = QUOTED;
859f785676fSDimitry Andric continue;
860f785676fSDimitry Andric }
861fe4fed2eSDimitry Andric if (C == '\\') {
862f785676fSDimitry Andric I = parseBackslash(Src, I, Token);
863f785676fSDimitry Andric continue;
864f785676fSDimitry Andric }
865fe4fed2eSDimitry Andric Token.push_back(C);
866f785676fSDimitry Andric continue;
867f785676fSDimitry Andric }
868f785676fSDimitry Andric
869f785676fSDimitry Andric // QUOTED state means that it's reading a token quoted by double quotes.
870f785676fSDimitry Andric if (State == QUOTED) {
871fe4fed2eSDimitry Andric if (C == '"') {
872f785676fSDimitry Andric State = UNQUOTED;
873f785676fSDimitry Andric continue;
874f785676fSDimitry Andric }
875fe4fed2eSDimitry Andric if (C == '\\') {
876f785676fSDimitry Andric I = parseBackslash(Src, I, Token);
877f785676fSDimitry Andric continue;
878f785676fSDimitry Andric }
879fe4fed2eSDimitry Andric Token.push_back(C);
880f785676fSDimitry Andric }
881f785676fSDimitry Andric }
882f785676fSDimitry Andric // Append the last token after hitting EOF with no whitespace.
883f785676fSDimitry Andric if (!Token.empty())
884d88c1a5aSDimitry Andric NewArgv.push_back(Saver.save(StringRef(Token)).data());
88539d628a0SDimitry Andric // Mark the end of response files
88639d628a0SDimitry Andric if (MarkEOLs)
88739d628a0SDimitry Andric NewArgv.push_back(nullptr);
888f785676fSDimitry Andric }
889f785676fSDimitry Andric
tokenizeConfigFile(StringRef Source,StringSaver & Saver,SmallVectorImpl<const char * > & NewArgv,bool MarkEOLs)89030785c0eSDimitry Andric void cl::tokenizeConfigFile(StringRef Source, StringSaver &Saver,
89130785c0eSDimitry Andric SmallVectorImpl<const char *> &NewArgv,
89230785c0eSDimitry Andric bool MarkEOLs) {
89330785c0eSDimitry Andric for (const char *Cur = Source.begin(); Cur != Source.end();) {
89430785c0eSDimitry Andric SmallString<128> Line;
89530785c0eSDimitry Andric // Check for comment line.
89630785c0eSDimitry Andric if (isWhitespace(*Cur)) {
89730785c0eSDimitry Andric while (Cur != Source.end() && isWhitespace(*Cur))
89830785c0eSDimitry Andric ++Cur;
89930785c0eSDimitry Andric continue;
90030785c0eSDimitry Andric }
90130785c0eSDimitry Andric if (*Cur == '#') {
90230785c0eSDimitry Andric while (Cur != Source.end() && *Cur != '\n')
90330785c0eSDimitry Andric ++Cur;
90430785c0eSDimitry Andric continue;
90530785c0eSDimitry Andric }
90630785c0eSDimitry Andric // Find end of the current line.
90730785c0eSDimitry Andric const char *Start = Cur;
90830785c0eSDimitry Andric for (const char *End = Source.end(); Cur != End; ++Cur) {
90930785c0eSDimitry Andric if (*Cur == '\\') {
91030785c0eSDimitry Andric if (Cur + 1 != End) {
91130785c0eSDimitry Andric ++Cur;
91230785c0eSDimitry Andric if (*Cur == '\n' ||
91330785c0eSDimitry Andric (*Cur == '\r' && (Cur + 1 != End) && Cur[1] == '\n')) {
91430785c0eSDimitry Andric Line.append(Start, Cur - 1);
91530785c0eSDimitry Andric if (*Cur == '\r')
91630785c0eSDimitry Andric ++Cur;
91730785c0eSDimitry Andric Start = Cur + 1;
91830785c0eSDimitry Andric }
91930785c0eSDimitry Andric }
92030785c0eSDimitry Andric } else if (*Cur == '\n')
92130785c0eSDimitry Andric break;
92230785c0eSDimitry Andric }
92330785c0eSDimitry Andric // Tokenize line.
92430785c0eSDimitry Andric Line.append(Start, Cur);
92530785c0eSDimitry Andric cl::TokenizeGNUCommandLine(Line, Saver, NewArgv, MarkEOLs);
92630785c0eSDimitry Andric }
92730785c0eSDimitry Andric }
92830785c0eSDimitry Andric
929ff0cc061SDimitry Andric // It is called byte order marker but the UTF-8 BOM is actually not affected
930ff0cc061SDimitry Andric // by the host system's endianness.
hasUTF8ByteOrderMark(ArrayRef<char> S)931ff0cc061SDimitry Andric static bool hasUTF8ByteOrderMark(ArrayRef<char> S) {
932ff0cc061SDimitry Andric return (S.size() >= 3 && S[0] == '\xef' && S[1] == '\xbb' && S[2] == '\xbf');
933ff0cc061SDimitry Andric }
934ff0cc061SDimitry Andric
ExpandResponseFile(StringRef FName,StringSaver & Saver,TokenizerCallback Tokenizer,SmallVectorImpl<const char * > & NewArgv,bool MarkEOLs,bool RelativeNames)935d88c1a5aSDimitry Andric static bool ExpandResponseFile(StringRef FName, StringSaver &Saver,
936f785676fSDimitry Andric TokenizerCallback Tokenizer,
93739d628a0SDimitry Andric SmallVectorImpl<const char *> &NewArgv,
938d88c1a5aSDimitry Andric bool MarkEOLs, bool RelativeNames) {
93991bc56edSDimitry Andric ErrorOr<std::unique_ptr<MemoryBuffer>> MemBufOrErr =
94091bc56edSDimitry Andric MemoryBuffer::getFile(FName);
94191bc56edSDimitry Andric if (!MemBufOrErr)
942f785676fSDimitry Andric return false;
94339d628a0SDimitry Andric MemoryBuffer &MemBuf = *MemBufOrErr.get();
94439d628a0SDimitry Andric StringRef Str(MemBuf.getBufferStart(), MemBuf.getBufferSize());
945f785676fSDimitry Andric
946f785676fSDimitry Andric // If we have a UTF-16 byte order mark, convert to UTF-8 for parsing.
94739d628a0SDimitry Andric ArrayRef<char> BufRef(MemBuf.getBufferStart(), MemBuf.getBufferEnd());
948f785676fSDimitry Andric std::string UTF8Buf;
949f785676fSDimitry Andric if (hasUTF16ByteOrderMark(BufRef)) {
950f785676fSDimitry Andric if (!convertUTF16ToUTF8String(BufRef, UTF8Buf))
951f785676fSDimitry Andric return false;
952f785676fSDimitry Andric Str = StringRef(UTF8Buf);
953f785676fSDimitry Andric }
954ff0cc061SDimitry Andric // If we see UTF-8 BOM sequence at the beginning of a file, we shall remove
955ff0cc061SDimitry Andric // these bytes before parsing.
956ff0cc061SDimitry Andric // Reference: http://en.wikipedia.org/wiki/UTF-8#Byte_order_mark
957ff0cc061SDimitry Andric else if (hasUTF8ByteOrderMark(BufRef))
958ff0cc061SDimitry Andric Str = StringRef(BufRef.data() + 3, BufRef.size() - 3);
959f785676fSDimitry Andric
960f785676fSDimitry Andric // Tokenize the contents into NewArgv.
96139d628a0SDimitry Andric Tokenizer(Str, Saver, NewArgv, MarkEOLs);
962f785676fSDimitry Andric
963d88c1a5aSDimitry Andric // If names of nested response files should be resolved relative to including
964d88c1a5aSDimitry Andric // file, replace the included response file names with their full paths
965d88c1a5aSDimitry Andric // obtained by required resolution.
966d88c1a5aSDimitry Andric if (RelativeNames)
967d88c1a5aSDimitry Andric for (unsigned I = 0; I < NewArgv.size(); ++I)
968d88c1a5aSDimitry Andric if (NewArgv[I]) {
969d88c1a5aSDimitry Andric StringRef Arg = NewArgv[I];
970d88c1a5aSDimitry Andric if (Arg.front() == '@') {
971d88c1a5aSDimitry Andric StringRef FileName = Arg.drop_front();
972d88c1a5aSDimitry Andric if (llvm::sys::path::is_relative(FileName)) {
973d88c1a5aSDimitry Andric SmallString<128> ResponseFile;
974d88c1a5aSDimitry Andric ResponseFile.append(1, '@');
975d88c1a5aSDimitry Andric if (llvm::sys::path::is_relative(FName)) {
976d88c1a5aSDimitry Andric SmallString<128> curr_dir;
977d88c1a5aSDimitry Andric llvm::sys::fs::current_path(curr_dir);
978d88c1a5aSDimitry Andric ResponseFile.append(curr_dir.str());
979d88c1a5aSDimitry Andric }
980d88c1a5aSDimitry Andric llvm::sys::path::append(
981d88c1a5aSDimitry Andric ResponseFile, llvm::sys::path::parent_path(FName), FileName);
982d88c1a5aSDimitry Andric NewArgv[I] = Saver.save(ResponseFile.c_str()).data();
983d88c1a5aSDimitry Andric }
984d88c1a5aSDimitry Andric }
985d88c1a5aSDimitry Andric }
986d88c1a5aSDimitry Andric
987f785676fSDimitry Andric return true;
988f785676fSDimitry Andric }
989f785676fSDimitry Andric
9904ba319b5SDimitry Andric /// Expand response files on a command line recursively using the given
991f785676fSDimitry Andric /// StringSaver and tokenization strategy.
ExpandResponseFiles(StringSaver & Saver,TokenizerCallback Tokenizer,SmallVectorImpl<const char * > & Argv,bool MarkEOLs,bool RelativeNames)992f785676fSDimitry Andric bool cl::ExpandResponseFiles(StringSaver &Saver, TokenizerCallback Tokenizer,
99339d628a0SDimitry Andric SmallVectorImpl<const char *> &Argv,
994d88c1a5aSDimitry Andric bool MarkEOLs, bool RelativeNames) {
995f785676fSDimitry Andric unsigned RspFiles = 0;
99691bc56edSDimitry Andric bool AllExpanded = true;
997f785676fSDimitry Andric
998f785676fSDimitry Andric // Don't cache Argv.size() because it can change.
999f785676fSDimitry Andric for (unsigned I = 0; I != Argv.size();) {
1000f785676fSDimitry Andric const char *Arg = Argv[I];
100139d628a0SDimitry Andric // Check if it is an EOL marker
100239d628a0SDimitry Andric if (Arg == nullptr) {
100339d628a0SDimitry Andric ++I;
100439d628a0SDimitry Andric continue;
100539d628a0SDimitry Andric }
1006f785676fSDimitry Andric if (Arg[0] != '@') {
1007f785676fSDimitry Andric ++I;
1008f785676fSDimitry Andric continue;
1009f785676fSDimitry Andric }
1010f785676fSDimitry Andric
1011f785676fSDimitry Andric // If we have too many response files, leave some unexpanded. This avoids
1012f785676fSDimitry Andric // crashing on self-referential response files.
1013f785676fSDimitry Andric if (RspFiles++ > 20)
1014f785676fSDimitry Andric return false;
1015f785676fSDimitry Andric
1016f785676fSDimitry Andric // Replace this response file argument with the tokenization of its
1017f785676fSDimitry Andric // contents. Nested response files are expanded in subsequent iterations.
1018f785676fSDimitry Andric SmallVector<const char *, 0> ExpandedArgv;
101939d628a0SDimitry Andric if (!ExpandResponseFile(Arg + 1, Saver, Tokenizer, ExpandedArgv,
1020d88c1a5aSDimitry Andric MarkEOLs, RelativeNames)) {
102191bc56edSDimitry Andric // We couldn't read this file, so we leave it in the argument stream and
102291bc56edSDimitry Andric // move on.
1023f785676fSDimitry Andric AllExpanded = false;
102491bc56edSDimitry Andric ++I;
1025f785676fSDimitry Andric continue;
1026f785676fSDimitry Andric }
1027f785676fSDimitry Andric Argv.erase(Argv.begin() + I);
1028f785676fSDimitry Andric Argv.insert(Argv.begin() + I, ExpandedArgv.begin(), ExpandedArgv.end());
1029f785676fSDimitry Andric }
1030f785676fSDimitry Andric return AllExpanded;
1031f785676fSDimitry Andric }
1032f785676fSDimitry Andric
readConfigFile(StringRef CfgFile,StringSaver & Saver,SmallVectorImpl<const char * > & Argv)103330785c0eSDimitry Andric bool cl::readConfigFile(StringRef CfgFile, StringSaver &Saver,
103430785c0eSDimitry Andric SmallVectorImpl<const char *> &Argv) {
103530785c0eSDimitry Andric if (!ExpandResponseFile(CfgFile, Saver, cl::tokenizeConfigFile, Argv,
103630785c0eSDimitry Andric /*MarkEOLs*/ false, /*RelativeNames*/ true))
103730785c0eSDimitry Andric return false;
103830785c0eSDimitry Andric return ExpandResponseFiles(Saver, cl::tokenizeConfigFile, Argv,
103930785c0eSDimitry Andric /*MarkEOLs*/ false, /*RelativeNames*/ true);
104030785c0eSDimitry Andric }
104130785c0eSDimitry Andric
1042f22ef01cSRoman Divacky /// ParseEnvironmentOptions - An alternative entry point to the
1043f22ef01cSRoman Divacky /// CommandLine library, which allows you to read the program's name
1044f22ef01cSRoman Divacky /// from the caller (as PROGNAME) and its command-line arguments from
1045f22ef01cSRoman Divacky /// an environment variable (whose name is given in ENVVAR).
1046f22ef01cSRoman Divacky ///
ParseEnvironmentOptions(const char * progName,const char * envVar,const char * Overview)1047f22ef01cSRoman Divacky void cl::ParseEnvironmentOptions(const char *progName, const char *envVar,
10483861d79fSDimitry Andric const char *Overview) {
1049f22ef01cSRoman Divacky // Check args.
1050f22ef01cSRoman Divacky assert(progName && "Program name not specified");
1051f22ef01cSRoman Divacky assert(envVar && "Environment variable name missing");
1052f22ef01cSRoman Divacky
1053f22ef01cSRoman Divacky // Get the environment variable they want us to parse options out of.
1054d88c1a5aSDimitry Andric llvm::Optional<std::string> envValue = sys::Process::GetEnv(StringRef(envVar));
1055f22ef01cSRoman Divacky if (!envValue)
1056f22ef01cSRoman Divacky return;
1057f22ef01cSRoman Divacky
1058f22ef01cSRoman Divacky // Get program's "name", which we wouldn't know without the caller
1059f22ef01cSRoman Divacky // telling us.
1060f785676fSDimitry Andric SmallVector<const char *, 20> newArgv;
10618f0fd8f6SDimitry Andric BumpPtrAllocator A;
10627d523365SDimitry Andric StringSaver Saver(A);
1063d88c1a5aSDimitry Andric newArgv.push_back(Saver.save(progName).data());
1064f22ef01cSRoman Divacky
1065f22ef01cSRoman Divacky // Parse the value of the environment variable into a "command line"
1066f22ef01cSRoman Divacky // and hand it off to ParseCommandLineOptions().
1067d88c1a5aSDimitry Andric TokenizeGNUCommandLine(*envValue, Saver, newArgv);
1068f22ef01cSRoman Divacky int newArgc = static_cast<int>(newArgv.size());
1069d88c1a5aSDimitry Andric ParseCommandLineOptions(newArgc, &newArgv[0], StringRef(Overview));
1070f22ef01cSRoman Divacky }
1071f22ef01cSRoman Divacky
ParseCommandLineOptions(int argc,const char * const * argv,StringRef Overview,raw_ostream * Errs,const char * EnvVar)10723ca95b02SDimitry Andric bool cl::ParseCommandLineOptions(int argc, const char *const *argv,
1073*b5893f02SDimitry Andric StringRef Overview, raw_ostream *Errs,
1074*b5893f02SDimitry Andric const char *EnvVar) {
1075*b5893f02SDimitry Andric SmallVector<const char *, 20> NewArgv;
1076*b5893f02SDimitry Andric BumpPtrAllocator A;
1077*b5893f02SDimitry Andric StringSaver Saver(A);
1078*b5893f02SDimitry Andric NewArgv.push_back(argv[0]);
1079*b5893f02SDimitry Andric
1080*b5893f02SDimitry Andric // Parse options from environment variable.
1081*b5893f02SDimitry Andric if (EnvVar) {
1082*b5893f02SDimitry Andric if (llvm::Optional<std::string> EnvValue =
1083*b5893f02SDimitry Andric sys::Process::GetEnv(StringRef(EnvVar)))
1084*b5893f02SDimitry Andric TokenizeGNUCommandLine(*EnvValue, Saver, NewArgv);
1085*b5893f02SDimitry Andric }
1086*b5893f02SDimitry Andric
1087*b5893f02SDimitry Andric // Append options from command line.
1088*b5893f02SDimitry Andric for (int I = 1; I < argc; ++I)
1089*b5893f02SDimitry Andric NewArgv.push_back(argv[I]);
1090*b5893f02SDimitry Andric int NewArgc = static_cast<int>(NewArgv.size());
1091*b5893f02SDimitry Andric
1092*b5893f02SDimitry Andric // Parse all options.
1093*b5893f02SDimitry Andric return GlobalParser->ParseCommandLineOptions(NewArgc, &NewArgv[0], Overview,
10947a7e6055SDimitry Andric Errs);
1095ff0cc061SDimitry Andric }
1096f22ef01cSRoman Divacky
ResetAllOptionOccurrences()10973ca95b02SDimitry Andric void CommandLineParser::ResetAllOptionOccurrences() {
10983ca95b02SDimitry Andric // So that we can parse different command lines multiple times in succession
10993ca95b02SDimitry Andric // we reset all option values to look like they have never been seen before.
11003ca95b02SDimitry Andric for (auto SC : RegisteredSubCommands) {
11013ca95b02SDimitry Andric for (auto &O : SC->OptionsMap)
11023ca95b02SDimitry Andric O.second->reset();
11033ca95b02SDimitry Andric }
11043ca95b02SDimitry Andric }
11053ca95b02SDimitry Andric
ParseCommandLineOptions(int argc,const char * const * argv,StringRef Overview,raw_ostream * Errs)11063ca95b02SDimitry Andric bool CommandLineParser::ParseCommandLineOptions(int argc,
1107ff0cc061SDimitry Andric const char *const *argv,
1108d88c1a5aSDimitry Andric StringRef Overview,
11097a7e6055SDimitry Andric raw_ostream *Errs) {
1110ff0cc061SDimitry Andric assert(hasOptions() && "No options specified!");
1111f22ef01cSRoman Divacky
1112f22ef01cSRoman Divacky // Expand response files.
1113ff0cc061SDimitry Andric SmallVector<const char *, 20> newArgv(argv, argv + argc);
11148f0fd8f6SDimitry Andric BumpPtrAllocator A;
11157d523365SDimitry Andric StringSaver Saver(A);
11164ba319b5SDimitry Andric ExpandResponseFiles(Saver,
11174ba319b5SDimitry Andric Triple(sys::getProcessTriple()).isOSWindows() ?
11184ba319b5SDimitry Andric cl::TokenizeWindowsCommandLine : cl::TokenizeGNUCommandLine,
11194ba319b5SDimitry Andric newArgv);
1120f22ef01cSRoman Divacky argv = &newArgv[0];
1121f22ef01cSRoman Divacky argc = static_cast<int>(newArgv.size());
1122f22ef01cSRoman Divacky
1123f22ef01cSRoman Divacky // Copy the program name into ProgName, making sure not to overflow it.
1124d88c1a5aSDimitry Andric ProgramName = sys::path::filename(StringRef(argv[0]));
1125f22ef01cSRoman Divacky
1126f22ef01cSRoman Divacky ProgramOverview = Overview;
11277a7e6055SDimitry Andric bool IgnoreErrors = Errs;
11287a7e6055SDimitry Andric if (!Errs)
11297a7e6055SDimitry Andric Errs = &errs();
1130f22ef01cSRoman Divacky bool ErrorParsing = false;
1131f22ef01cSRoman Divacky
1132f22ef01cSRoman Divacky // Check out the positional arguments to collect information about them.
1133f22ef01cSRoman Divacky unsigned NumPositionalRequired = 0;
1134f22ef01cSRoman Divacky
1135f22ef01cSRoman Divacky // Determine whether or not there are an unlimited number of positionals
1136f22ef01cSRoman Divacky bool HasUnlimitedPositionals = false;
1137f22ef01cSRoman Divacky
11383ca95b02SDimitry Andric int FirstArg = 1;
11393ca95b02SDimitry Andric SubCommand *ChosenSubCommand = &*TopLevelSubCommand;
11403ca95b02SDimitry Andric if (argc >= 2 && argv[FirstArg][0] != '-') {
11413ca95b02SDimitry Andric // If the first argument specifies a valid subcommand, start processing
11423ca95b02SDimitry Andric // options from the second argument.
1143d88c1a5aSDimitry Andric ChosenSubCommand = LookupSubCommand(StringRef(argv[FirstArg]));
11443ca95b02SDimitry Andric if (ChosenSubCommand != &*TopLevelSubCommand)
11453ca95b02SDimitry Andric FirstArg = 2;
11463ca95b02SDimitry Andric }
11473ca95b02SDimitry Andric GlobalParser->ActiveSubCommand = ChosenSubCommand;
11483ca95b02SDimitry Andric
11493ca95b02SDimitry Andric assert(ChosenSubCommand);
11503ca95b02SDimitry Andric auto &ConsumeAfterOpt = ChosenSubCommand->ConsumeAfterOpt;
11513ca95b02SDimitry Andric auto &PositionalOpts = ChosenSubCommand->PositionalOpts;
11523ca95b02SDimitry Andric auto &SinkOpts = ChosenSubCommand->SinkOpts;
11533ca95b02SDimitry Andric auto &OptionsMap = ChosenSubCommand->OptionsMap;
11543ca95b02SDimitry Andric
1155ff0cc061SDimitry Andric if (ConsumeAfterOpt) {
1156ff0cc061SDimitry Andric assert(PositionalOpts.size() > 0 &&
1157f22ef01cSRoman Divacky "Cannot specify cl::ConsumeAfter without a positional argument!");
1158f22ef01cSRoman Divacky }
1159ff0cc061SDimitry Andric if (!PositionalOpts.empty()) {
1160f22ef01cSRoman Divacky
1161f22ef01cSRoman Divacky // Calculate how many positional values are _required_.
1162f22ef01cSRoman Divacky bool UnboundedFound = false;
1163ff0cc061SDimitry Andric for (size_t i = 0, e = PositionalOpts.size(); i != e; ++i) {
1164f22ef01cSRoman Divacky Option *Opt = PositionalOpts[i];
1165f22ef01cSRoman Divacky if (RequiresValue(Opt))
1166f22ef01cSRoman Divacky ++NumPositionalRequired;
1167f22ef01cSRoman Divacky else if (ConsumeAfterOpt) {
1168f22ef01cSRoman Divacky // ConsumeAfter cannot be combined with "optional" positional options
1169f22ef01cSRoman Divacky // unless there is only one positional argument...
11703ca95b02SDimitry Andric if (PositionalOpts.size() > 1) {
11713ca95b02SDimitry Andric if (!IgnoreErrors)
11723ca95b02SDimitry Andric Opt->error("error - this positional option will never be matched, "
1173f22ef01cSRoman Divacky "because it does not Require a value, and a "
1174f22ef01cSRoman Divacky "cl::ConsumeAfter option is active!");
11753ca95b02SDimitry Andric ErrorParsing = true;
11763ca95b02SDimitry Andric }
11777d523365SDimitry Andric } else if (UnboundedFound && !Opt->hasArgStr()) {
1178f22ef01cSRoman Divacky // This option does not "require" a value... Make sure this option is
1179f22ef01cSRoman Divacky // not specified after an option that eats all extra arguments, or this
1180f22ef01cSRoman Divacky // one will never get any!
1181f22ef01cSRoman Divacky //
11827a7e6055SDimitry Andric if (!IgnoreErrors)
11833ca95b02SDimitry Andric Opt->error("error - option can never match, because "
1184f22ef01cSRoman Divacky "another positional argument will match an "
1185f22ef01cSRoman Divacky "unbounded number of values, and this option"
1186f22ef01cSRoman Divacky " does not require a value!");
11877a7e6055SDimitry Andric *Errs << ProgramName << ": CommandLine Error: Option '" << Opt->ArgStr
11887a7e6055SDimitry Andric << "' is all messed up!\n";
11897a7e6055SDimitry Andric *Errs << PositionalOpts.size();
11903ca95b02SDimitry Andric ErrorParsing = true;
11913ca95b02SDimitry Andric }
1192f22ef01cSRoman Divacky UnboundedFound |= EatsUnboundedNumberOfValues(Opt);
1193f22ef01cSRoman Divacky }
1194f22ef01cSRoman Divacky HasUnlimitedPositionals = UnboundedFound || ConsumeAfterOpt;
1195f22ef01cSRoman Divacky }
1196f22ef01cSRoman Divacky
1197f22ef01cSRoman Divacky // PositionalVals - A vector of "positional" arguments we accumulate into
1198f22ef01cSRoman Divacky // the process at the end.
1199f22ef01cSRoman Divacky //
1200f22ef01cSRoman Divacky SmallVector<std::pair<StringRef, unsigned>, 4> PositionalVals;
1201f22ef01cSRoman Divacky
1202f22ef01cSRoman Divacky // If the program has named positional arguments, and the name has been run
1203f22ef01cSRoman Divacky // across, keep track of which positional argument was named. Otherwise put
1204f22ef01cSRoman Divacky // the positional args into the PositionalVals list...
120591bc56edSDimitry Andric Option *ActivePositionalArg = nullptr;
1206f22ef01cSRoman Divacky
1207f22ef01cSRoman Divacky // Loop over all of the arguments... processing them.
1208f22ef01cSRoman Divacky bool DashDashFound = false; // Have we read '--'?
12093ca95b02SDimitry Andric for (int i = FirstArg; i < argc; ++i) {
121091bc56edSDimitry Andric Option *Handler = nullptr;
121191bc56edSDimitry Andric Option *NearestHandler = nullptr;
12123b0f4066SDimitry Andric std::string NearestHandlerString;
1213f22ef01cSRoman Divacky StringRef Value;
1214f22ef01cSRoman Divacky StringRef ArgName = "";
1215f22ef01cSRoman Divacky
1216f22ef01cSRoman Divacky // Check to see if this is a positional argument. This argument is
1217f22ef01cSRoman Divacky // considered to be positional if it doesn't start with '-', if it is "-"
1218f22ef01cSRoman Divacky // itself, or if we have seen "--" already.
1219f22ef01cSRoman Divacky //
1220f22ef01cSRoman Divacky if (argv[i][0] != '-' || argv[i][1] == 0 || DashDashFound) {
1221f22ef01cSRoman Divacky // Positional argument!
1222f22ef01cSRoman Divacky if (ActivePositionalArg) {
1223d88c1a5aSDimitry Andric ProvidePositionalOption(ActivePositionalArg, StringRef(argv[i]), i);
1224f22ef01cSRoman Divacky continue; // We are done!
1225f22ef01cSRoman Divacky }
1226f22ef01cSRoman Divacky
1227f22ef01cSRoman Divacky if (!PositionalOpts.empty()) {
1228d88c1a5aSDimitry Andric PositionalVals.push_back(std::make_pair(StringRef(argv[i]), i));
1229f22ef01cSRoman Divacky
1230f22ef01cSRoman Divacky // All of the positional arguments have been fulfulled, give the rest to
1231f22ef01cSRoman Divacky // the consume after option... if it's specified...
1232f22ef01cSRoman Divacky //
123391bc56edSDimitry Andric if (PositionalVals.size() >= NumPositionalRequired && ConsumeAfterOpt) {
1234f22ef01cSRoman Divacky for (++i; i < argc; ++i)
1235d88c1a5aSDimitry Andric PositionalVals.push_back(std::make_pair(StringRef(argv[i]), i));
1236f22ef01cSRoman Divacky break; // Handle outside of the argument processing loop...
1237f22ef01cSRoman Divacky }
1238f22ef01cSRoman Divacky
1239f22ef01cSRoman Divacky // Delay processing positional arguments until the end...
1240f22ef01cSRoman Divacky continue;
1241f22ef01cSRoman Divacky }
1242f22ef01cSRoman Divacky } else if (argv[i][0] == '-' && argv[i][1] == '-' && argv[i][2] == 0 &&
1243f22ef01cSRoman Divacky !DashDashFound) {
1244f22ef01cSRoman Divacky DashDashFound = true; // This is the mythical "--"?
1245f22ef01cSRoman Divacky continue; // Don't try to process it as an argument itself.
1246f22ef01cSRoman Divacky } else if (ActivePositionalArg &&
1247f22ef01cSRoman Divacky (ActivePositionalArg->getMiscFlags() & PositionalEatsArgs)) {
1248f22ef01cSRoman Divacky // If there is a positional argument eating options, check to see if this
1249f22ef01cSRoman Divacky // option is another positional argument. If so, treat it as an argument,
1250f22ef01cSRoman Divacky // otherwise feed it to the eating positional.
1251d88c1a5aSDimitry Andric ArgName = StringRef(argv[i] + 1);
1252f22ef01cSRoman Divacky // Eat leading dashes.
1253f22ef01cSRoman Divacky while (!ArgName.empty() && ArgName[0] == '-')
1254f22ef01cSRoman Divacky ArgName = ArgName.substr(1);
1255f22ef01cSRoman Divacky
12563ca95b02SDimitry Andric Handler = LookupOption(*ChosenSubCommand, ArgName, Value);
1257f22ef01cSRoman Divacky if (!Handler || Handler->getFormattingFlag() != cl::Positional) {
1258d88c1a5aSDimitry Andric ProvidePositionalOption(ActivePositionalArg, StringRef(argv[i]), i);
1259f22ef01cSRoman Divacky continue; // We are done!
1260f22ef01cSRoman Divacky }
1261f22ef01cSRoman Divacky
1262f22ef01cSRoman Divacky } else { // We start with a '-', must be an argument.
1263d88c1a5aSDimitry Andric ArgName = StringRef(argv[i] + 1);
1264f22ef01cSRoman Divacky // Eat leading dashes.
1265f22ef01cSRoman Divacky while (!ArgName.empty() && ArgName[0] == '-')
1266f22ef01cSRoman Divacky ArgName = ArgName.substr(1);
1267f22ef01cSRoman Divacky
12683ca95b02SDimitry Andric Handler = LookupOption(*ChosenSubCommand, ArgName, Value);
1269f22ef01cSRoman Divacky
1270f22ef01cSRoman Divacky // Check to see if this "option" is really a prefixed or grouped argument.
127191bc56edSDimitry Andric if (!Handler)
1272ff0cc061SDimitry Andric Handler = HandlePrefixedOrGroupedOption(ArgName, Value, ErrorParsing,
1273ff0cc061SDimitry Andric OptionsMap);
12742754fe60SDimitry Andric
12752754fe60SDimitry Andric // Otherwise, look for the closest available option to report to the user
12762754fe60SDimitry Andric // in the upcoming error.
127791bc56edSDimitry Andric if (!Handler && SinkOpts.empty())
127839d628a0SDimitry Andric NearestHandler =
1279ff0cc061SDimitry Andric LookupNearestOption(ArgName, OptionsMap, NearestHandlerString);
1280f22ef01cSRoman Divacky }
1281f22ef01cSRoman Divacky
128291bc56edSDimitry Andric if (!Handler) {
1283f22ef01cSRoman Divacky if (SinkOpts.empty()) {
12847a7e6055SDimitry Andric *Errs << ProgramName << ": Unknown command line argument '" << argv[i]
12857a7e6055SDimitry Andric << "'. Try: '" << argv[0] << " -help'\n";
12862754fe60SDimitry Andric
12872754fe60SDimitry Andric if (NearestHandler) {
12882754fe60SDimitry Andric // If we know a near match, report it as well.
12897a7e6055SDimitry Andric *Errs << ProgramName << ": Did you mean '-" << NearestHandlerString
129039d628a0SDimitry Andric << "'?\n";
12912754fe60SDimitry Andric }
12922754fe60SDimitry Andric
1293f22ef01cSRoman Divacky ErrorParsing = true;
1294f22ef01cSRoman Divacky } else {
1295f22ef01cSRoman Divacky for (SmallVectorImpl<Option *>::iterator I = SinkOpts.begin(),
129639d628a0SDimitry Andric E = SinkOpts.end();
129739d628a0SDimitry Andric I != E; ++I)
1298d88c1a5aSDimitry Andric (*I)->addOccurrence(i, "", StringRef(argv[i]));
1299f22ef01cSRoman Divacky }
1300f22ef01cSRoman Divacky continue;
1301f22ef01cSRoman Divacky }
1302f22ef01cSRoman Divacky
1303f22ef01cSRoman Divacky // If this is a named positional argument, just remember that it is the
1304f22ef01cSRoman Divacky // active one...
13054ba319b5SDimitry Andric if (Handler->getFormattingFlag() == cl::Positional) {
13064ba319b5SDimitry Andric if ((Handler->getMiscFlags() & PositionalEatsArgs) && !Value.empty()) {
13074ba319b5SDimitry Andric Handler->error("This argument does not take a value.\n"
13084ba319b5SDimitry Andric "\tInstead, it consumes any positional arguments until "
13094ba319b5SDimitry Andric "the next recognized option.", *Errs);
13104ba319b5SDimitry Andric ErrorParsing = true;
13114ba319b5SDimitry Andric }
1312f22ef01cSRoman Divacky ActivePositionalArg = Handler;
13134ba319b5SDimitry Andric }
1314f22ef01cSRoman Divacky else
1315f22ef01cSRoman Divacky ErrorParsing |= ProvideOption(Handler, ArgName, Value, argc, argv, i);
1316f22ef01cSRoman Divacky }
1317f22ef01cSRoman Divacky
1318f22ef01cSRoman Divacky // Check and handle positional arguments now...
1319f22ef01cSRoman Divacky if (NumPositionalRequired > PositionalVals.size()) {
13207a7e6055SDimitry Andric *Errs << ProgramName
1321f22ef01cSRoman Divacky << ": Not enough positional command line arguments specified!\n"
1322f22ef01cSRoman Divacky << "Must specify at least " << NumPositionalRequired
1323d88c1a5aSDimitry Andric << " positional argument" << (NumPositionalRequired > 1 ? "s" : "")
1324d88c1a5aSDimitry Andric << ": See: " << argv[0] << " -help\n";
1325f22ef01cSRoman Divacky
1326f22ef01cSRoman Divacky ErrorParsing = true;
1327f22ef01cSRoman Divacky } else if (!HasUnlimitedPositionals &&
1328f22ef01cSRoman Divacky PositionalVals.size() > PositionalOpts.size()) {
13297a7e6055SDimitry Andric *Errs << ProgramName << ": Too many positional arguments specified!\n"
1330f22ef01cSRoman Divacky << "Can specify at most " << PositionalOpts.size()
1331f22ef01cSRoman Divacky << " positional arguments: See: " << argv[0] << " -help\n";
1332f22ef01cSRoman Divacky ErrorParsing = true;
1333f22ef01cSRoman Divacky
133491bc56edSDimitry Andric } else if (!ConsumeAfterOpt) {
1335f22ef01cSRoman Divacky // Positional args have already been handled if ConsumeAfter is specified.
1336f22ef01cSRoman Divacky unsigned ValNo = 0, NumVals = static_cast<unsigned>(PositionalVals.size());
1337f22ef01cSRoman Divacky for (size_t i = 0, e = PositionalOpts.size(); i != e; ++i) {
1338f22ef01cSRoman Divacky if (RequiresValue(PositionalOpts[i])) {
1339f22ef01cSRoman Divacky ProvidePositionalOption(PositionalOpts[i], PositionalVals[ValNo].first,
1340f22ef01cSRoman Divacky PositionalVals[ValNo].second);
1341f22ef01cSRoman Divacky ValNo++;
1342f22ef01cSRoman Divacky --NumPositionalRequired; // We fulfilled our duty...
1343f22ef01cSRoman Divacky }
1344f22ef01cSRoman Divacky
1345f22ef01cSRoman Divacky // If we _can_ give this option more arguments, do so now, as long as we
1346f22ef01cSRoman Divacky // do not give it values that others need. 'Done' controls whether the
1347f22ef01cSRoman Divacky // option even _WANTS_ any more.
1348f22ef01cSRoman Divacky //
1349f22ef01cSRoman Divacky bool Done = PositionalOpts[i]->getNumOccurrencesFlag() == cl::Required;
1350f22ef01cSRoman Divacky while (NumVals - ValNo > NumPositionalRequired && !Done) {
1351f22ef01cSRoman Divacky switch (PositionalOpts[i]->getNumOccurrencesFlag()) {
1352f22ef01cSRoman Divacky case cl::Optional:
1353f22ef01cSRoman Divacky Done = true; // Optional arguments want _at most_ one value
1354d88c1a5aSDimitry Andric LLVM_FALLTHROUGH;
1355f22ef01cSRoman Divacky case cl::ZeroOrMore: // Zero or more will take all they can get...
1356f22ef01cSRoman Divacky case cl::OneOrMore: // One or more will take all they can get...
1357f22ef01cSRoman Divacky ProvidePositionalOption(PositionalOpts[i],
1358f22ef01cSRoman Divacky PositionalVals[ValNo].first,
1359f22ef01cSRoman Divacky PositionalVals[ValNo].second);
1360f22ef01cSRoman Divacky ValNo++;
1361f22ef01cSRoman Divacky break;
1362f22ef01cSRoman Divacky default:
1363f22ef01cSRoman Divacky llvm_unreachable("Internal error, unexpected NumOccurrences flag in "
1364f22ef01cSRoman Divacky "positional argument processing!");
1365f22ef01cSRoman Divacky }
1366f22ef01cSRoman Divacky }
1367f22ef01cSRoman Divacky }
1368f22ef01cSRoman Divacky } else {
1369f22ef01cSRoman Divacky assert(ConsumeAfterOpt && NumPositionalRequired <= PositionalVals.size());
1370f22ef01cSRoman Divacky unsigned ValNo = 0;
1371f22ef01cSRoman Divacky for (size_t j = 1, e = PositionalOpts.size(); j != e; ++j)
1372f22ef01cSRoman Divacky if (RequiresValue(PositionalOpts[j])) {
1373f22ef01cSRoman Divacky ErrorParsing |= ProvidePositionalOption(PositionalOpts[j],
1374f22ef01cSRoman Divacky PositionalVals[ValNo].first,
1375f22ef01cSRoman Divacky PositionalVals[ValNo].second);
1376f22ef01cSRoman Divacky ValNo++;
1377f22ef01cSRoman Divacky }
1378f22ef01cSRoman Divacky
1379f22ef01cSRoman Divacky // Handle the case where there is just one positional option, and it's
1380f22ef01cSRoman Divacky // optional. In this case, we want to give JUST THE FIRST option to the
1381f22ef01cSRoman Divacky // positional option and keep the rest for the consume after. The above
1382f22ef01cSRoman Divacky // loop would have assigned no values to positional options in this case.
1383f22ef01cSRoman Divacky //
1384ff0cc061SDimitry Andric if (PositionalOpts.size() == 1 && ValNo == 0 && !PositionalVals.empty()) {
1385ff0cc061SDimitry Andric ErrorParsing |= ProvidePositionalOption(PositionalOpts[0],
1386f22ef01cSRoman Divacky PositionalVals[ValNo].first,
1387f22ef01cSRoman Divacky PositionalVals[ValNo].second);
1388f22ef01cSRoman Divacky ValNo++;
1389f22ef01cSRoman Divacky }
1390f22ef01cSRoman Divacky
1391f22ef01cSRoman Divacky // Handle over all of the rest of the arguments to the
1392f22ef01cSRoman Divacky // cl::ConsumeAfter command line option...
1393f22ef01cSRoman Divacky for (; ValNo != PositionalVals.size(); ++ValNo)
139439d628a0SDimitry Andric ErrorParsing |=
139539d628a0SDimitry Andric ProvidePositionalOption(ConsumeAfterOpt, PositionalVals[ValNo].first,
1396f22ef01cSRoman Divacky PositionalVals[ValNo].second);
1397f22ef01cSRoman Divacky }
1398f22ef01cSRoman Divacky
1399f22ef01cSRoman Divacky // Loop over args and make sure all required args are specified!
1400ff0cc061SDimitry Andric for (const auto &Opt : OptionsMap) {
140191bc56edSDimitry Andric switch (Opt.second->getNumOccurrencesFlag()) {
1402f22ef01cSRoman Divacky case Required:
1403f22ef01cSRoman Divacky case OneOrMore:
140491bc56edSDimitry Andric if (Opt.second->getNumOccurrences() == 0) {
140591bc56edSDimitry Andric Opt.second->error("must be specified at least once!");
1406f22ef01cSRoman Divacky ErrorParsing = true;
1407f22ef01cSRoman Divacky }
1408d88c1a5aSDimitry Andric LLVM_FALLTHROUGH;
1409f22ef01cSRoman Divacky default:
1410f22ef01cSRoman Divacky break;
1411f22ef01cSRoman Divacky }
1412f22ef01cSRoman Divacky }
1413f22ef01cSRoman Divacky
14142754fe60SDimitry Andric // Now that we know if -debug is specified, we can use it.
14152754fe60SDimitry Andric // Note that if ReadResponseFiles == true, this must be done before the
14162754fe60SDimitry Andric // memory allocated for the expanded command line is free()d below.
14174ba319b5SDimitry Andric LLVM_DEBUG(dbgs() << "Args: ";
141839d628a0SDimitry Andric for (int i = 0; i < argc; ++i) dbgs() << argv[i] << ' ';
141939d628a0SDimitry Andric dbgs() << '\n';);
14202754fe60SDimitry Andric
1421f22ef01cSRoman Divacky // Free all of the memory allocated to the map. Command line options may only
1422f22ef01cSRoman Divacky // be processed once!
1423ff0cc061SDimitry Andric MoreHelp.clear();
1424f22ef01cSRoman Divacky
1425f22ef01cSRoman Divacky // If we had an error processing our arguments, don't let the program execute
14263ca95b02SDimitry Andric if (ErrorParsing) {
14273ca95b02SDimitry Andric if (!IgnoreErrors)
142839d628a0SDimitry Andric exit(1);
14293ca95b02SDimitry Andric return false;
14303ca95b02SDimitry Andric }
14313ca95b02SDimitry Andric return true;
1432f22ef01cSRoman Divacky }
1433f22ef01cSRoman Divacky
1434f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
1435f22ef01cSRoman Divacky // Option Base class implementation
1436f22ef01cSRoman Divacky //
1437f22ef01cSRoman Divacky
error(const Twine & Message,StringRef ArgName,raw_ostream & Errs)14384ba319b5SDimitry Andric bool Option::error(const Twine &Message, StringRef ArgName, raw_ostream &Errs) {
143939d628a0SDimitry Andric if (!ArgName.data())
144039d628a0SDimitry Andric ArgName = ArgStr;
1441f22ef01cSRoman Divacky if (ArgName.empty())
14424ba319b5SDimitry Andric Errs << HelpStr; // Be nice for positional arguments
1443f22ef01cSRoman Divacky else
14444ba319b5SDimitry Andric Errs << GlobalParser->ProgramName << ": for the -" << ArgName;
1445f22ef01cSRoman Divacky
14464ba319b5SDimitry Andric Errs << " option: " << Message << "\n";
1447f22ef01cSRoman Divacky return true;
1448f22ef01cSRoman Divacky }
1449f22ef01cSRoman Divacky
addOccurrence(unsigned pos,StringRef ArgName,StringRef Value,bool MultiArg)145039d628a0SDimitry Andric bool Option::addOccurrence(unsigned pos, StringRef ArgName, StringRef Value,
145139d628a0SDimitry Andric bool MultiArg) {
1452f22ef01cSRoman Divacky if (!MultiArg)
1453f22ef01cSRoman Divacky NumOccurrences++; // Increment the number of times we have been seen
1454f22ef01cSRoman Divacky
1455f22ef01cSRoman Divacky switch (getNumOccurrencesFlag()) {
1456f22ef01cSRoman Divacky case Optional:
1457f22ef01cSRoman Divacky if (NumOccurrences > 1)
1458f22ef01cSRoman Divacky return error("may only occur zero or one times!", ArgName);
1459f22ef01cSRoman Divacky break;
1460f22ef01cSRoman Divacky case Required:
1461f22ef01cSRoman Divacky if (NumOccurrences > 1)
1462f22ef01cSRoman Divacky return error("must occur exactly one time!", ArgName);
1463d88c1a5aSDimitry Andric LLVM_FALLTHROUGH;
1464f22ef01cSRoman Divacky case OneOrMore:
1465f22ef01cSRoman Divacky case ZeroOrMore:
146639d628a0SDimitry Andric case ConsumeAfter:
146739d628a0SDimitry Andric break;
1468f22ef01cSRoman Divacky }
1469f22ef01cSRoman Divacky
1470f22ef01cSRoman Divacky return handleOccurrence(pos, ArgName, Value);
1471f22ef01cSRoman Divacky }
1472f22ef01cSRoman Divacky
1473f22ef01cSRoman Divacky // getValueStr - Get the value description string, using "DefaultMsg" if nothing
1474f22ef01cSRoman Divacky // has been specified yet.
1475f22ef01cSRoman Divacky //
getValueStr(const Option & O,StringRef DefaultMsg)14767d523365SDimitry Andric static StringRef getValueStr(const Option &O, StringRef DefaultMsg) {
14777d523365SDimitry Andric if (O.ValueStr.empty())
147839d628a0SDimitry Andric return DefaultMsg;
1479f22ef01cSRoman Divacky return O.ValueStr;
1480f22ef01cSRoman Divacky }
1481f22ef01cSRoman Divacky
1482f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
1483f22ef01cSRoman Divacky // cl::alias class implementation
1484f22ef01cSRoman Divacky //
1485f22ef01cSRoman Divacky
1486f22ef01cSRoman Divacky // Return the width of the option tag for printing...
getOptionWidth() const14877d523365SDimitry Andric size_t alias::getOptionWidth() const { return ArgStr.size() + 6; }
1488f22ef01cSRoman Divacky
printHelpStr(StringRef HelpStr,size_t Indent,size_t FirstLineIndentedBy)14897a7e6055SDimitry Andric void Option::printHelpStr(StringRef HelpStr, size_t Indent,
1490f785676fSDimitry Andric size_t FirstLineIndentedBy) {
1491f785676fSDimitry Andric std::pair<StringRef, StringRef> Split = HelpStr.split('\n');
1492f785676fSDimitry Andric outs().indent(Indent - FirstLineIndentedBy) << " - " << Split.first << "\n";
1493f785676fSDimitry Andric while (!Split.second.empty()) {
1494f785676fSDimitry Andric Split = Split.second.split('\n');
1495f785676fSDimitry Andric outs().indent(Indent) << Split.first << "\n";
1496f785676fSDimitry Andric }
1497f785676fSDimitry Andric }
1498f785676fSDimitry Andric
1499f22ef01cSRoman Divacky // Print out the option for the alias.
printOptionInfo(size_t GlobalWidth) const1500f22ef01cSRoman Divacky void alias::printOptionInfo(size_t GlobalWidth) const {
150117a519f9SDimitry Andric outs() << " -" << ArgStr;
15027d523365SDimitry Andric printHelpStr(HelpStr, GlobalWidth, ArgStr.size() + 6);
1503f22ef01cSRoman Divacky }
1504f22ef01cSRoman Divacky
1505f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
1506f22ef01cSRoman Divacky // Parser Implementation code...
1507f22ef01cSRoman Divacky //
1508f22ef01cSRoman Divacky
1509f22ef01cSRoman Divacky // basic_parser implementation
1510f22ef01cSRoman Divacky //
1511f22ef01cSRoman Divacky
1512f22ef01cSRoman Divacky // Return the width of the option tag for printing...
getOptionWidth(const Option & O) const1513f22ef01cSRoman Divacky size_t basic_parser_impl::getOptionWidth(const Option &O) const {
15147d523365SDimitry Andric size_t Len = O.ArgStr.size();
1515d88c1a5aSDimitry Andric auto ValName = getValueName();
15164ba319b5SDimitry Andric if (!ValName.empty()) {
15174ba319b5SDimitry Andric size_t FormattingLen = 3;
15184ba319b5SDimitry Andric if (O.getMiscFlags() & PositionalEatsArgs)
15194ba319b5SDimitry Andric FormattingLen = 6;
15204ba319b5SDimitry Andric Len += getValueStr(O, ValName).size() + FormattingLen;
15214ba319b5SDimitry Andric }
1522f22ef01cSRoman Divacky
1523f22ef01cSRoman Divacky return Len + 6;
1524f22ef01cSRoman Divacky }
1525f22ef01cSRoman Divacky
1526f22ef01cSRoman Divacky // printOptionInfo - Print out information about this option. The
1527f22ef01cSRoman Divacky // to-be-maintained width is specified.
1528f22ef01cSRoman Divacky //
printOptionInfo(const Option & O,size_t GlobalWidth) const1529f22ef01cSRoman Divacky void basic_parser_impl::printOptionInfo(const Option &O,
1530f22ef01cSRoman Divacky size_t GlobalWidth) const {
1531f22ef01cSRoman Divacky outs() << " -" << O.ArgStr;
1532f22ef01cSRoman Divacky
1533d88c1a5aSDimitry Andric auto ValName = getValueName();
15344ba319b5SDimitry Andric if (!ValName.empty()) {
15354ba319b5SDimitry Andric if (O.getMiscFlags() & PositionalEatsArgs) {
15364ba319b5SDimitry Andric outs() << " <" << getValueStr(O, ValName) << ">...";
15374ba319b5SDimitry Andric } else {
1538f22ef01cSRoman Divacky outs() << "=<" << getValueStr(O, ValName) << '>';
15394ba319b5SDimitry Andric }
15404ba319b5SDimitry Andric }
1541f22ef01cSRoman Divacky
15427a7e6055SDimitry Andric Option::printHelpStr(O.HelpStr, GlobalWidth, getOptionWidth(O));
1543f22ef01cSRoman Divacky }
1544f22ef01cSRoman Divacky
printOptionName(const Option & O,size_t GlobalWidth) const15453b0f4066SDimitry Andric void basic_parser_impl::printOptionName(const Option &O,
15463b0f4066SDimitry Andric size_t GlobalWidth) const {
15473b0f4066SDimitry Andric outs() << " -" << O.ArgStr;
15487d523365SDimitry Andric outs().indent(GlobalWidth - O.ArgStr.size());
15493b0f4066SDimitry Andric }
1550f22ef01cSRoman Divacky
1551f22ef01cSRoman Divacky // parser<bool> implementation
1552f22ef01cSRoman Divacky //
parse(Option & O,StringRef ArgName,StringRef Arg,bool & Value)155339d628a0SDimitry Andric bool parser<bool>::parse(Option &O, StringRef ArgName, StringRef Arg,
155439d628a0SDimitry Andric bool &Value) {
1555f22ef01cSRoman Divacky if (Arg == "" || Arg == "true" || Arg == "TRUE" || Arg == "True" ||
1556f22ef01cSRoman Divacky Arg == "1") {
1557f22ef01cSRoman Divacky Value = true;
1558f22ef01cSRoman Divacky return false;
1559f22ef01cSRoman Divacky }
1560f22ef01cSRoman Divacky
1561f22ef01cSRoman Divacky if (Arg == "false" || Arg == "FALSE" || Arg == "False" || Arg == "0") {
1562f22ef01cSRoman Divacky Value = false;
1563f22ef01cSRoman Divacky return false;
1564f22ef01cSRoman Divacky }
1565f22ef01cSRoman Divacky return O.error("'" + Arg +
1566f22ef01cSRoman Divacky "' is invalid value for boolean argument! Try 0 or 1");
1567f22ef01cSRoman Divacky }
1568f22ef01cSRoman Divacky
1569f22ef01cSRoman Divacky // parser<boolOrDefault> implementation
1570f22ef01cSRoman Divacky //
parse(Option & O,StringRef ArgName,StringRef Arg,boolOrDefault & Value)157139d628a0SDimitry Andric bool parser<boolOrDefault>::parse(Option &O, StringRef ArgName, StringRef Arg,
157239d628a0SDimitry Andric boolOrDefault &Value) {
1573f22ef01cSRoman Divacky if (Arg == "" || Arg == "true" || Arg == "TRUE" || Arg == "True" ||
1574f22ef01cSRoman Divacky Arg == "1") {
1575f22ef01cSRoman Divacky Value = BOU_TRUE;
1576f22ef01cSRoman Divacky return false;
1577f22ef01cSRoman Divacky }
1578f22ef01cSRoman Divacky if (Arg == "false" || Arg == "FALSE" || Arg == "False" || Arg == "0") {
1579f22ef01cSRoman Divacky Value = BOU_FALSE;
1580f22ef01cSRoman Divacky return false;
1581f22ef01cSRoman Divacky }
1582f22ef01cSRoman Divacky
1583f22ef01cSRoman Divacky return O.error("'" + Arg +
1584f22ef01cSRoman Divacky "' is invalid value for boolean argument! Try 0 or 1");
1585f22ef01cSRoman Divacky }
1586f22ef01cSRoman Divacky
1587f22ef01cSRoman Divacky // parser<int> implementation
1588f22ef01cSRoman Divacky //
parse(Option & O,StringRef ArgName,StringRef Arg,int & Value)158939d628a0SDimitry Andric bool parser<int>::parse(Option &O, StringRef ArgName, StringRef Arg,
159039d628a0SDimitry Andric int &Value) {
1591f22ef01cSRoman Divacky if (Arg.getAsInteger(0, Value))
1592f22ef01cSRoman Divacky return O.error("'" + Arg + "' value invalid for integer argument!");
1593f22ef01cSRoman Divacky return false;
1594f22ef01cSRoman Divacky }
1595f22ef01cSRoman Divacky
1596f22ef01cSRoman Divacky // parser<unsigned> implementation
1597f22ef01cSRoman Divacky //
parse(Option & O,StringRef ArgName,StringRef Arg,unsigned & Value)159839d628a0SDimitry Andric bool parser<unsigned>::parse(Option &O, StringRef ArgName, StringRef Arg,
159939d628a0SDimitry Andric unsigned &Value) {
1600f22ef01cSRoman Divacky
1601f22ef01cSRoman Divacky if (Arg.getAsInteger(0, Value))
1602f22ef01cSRoman Divacky return O.error("'" + Arg + "' value invalid for uint argument!");
1603f22ef01cSRoman Divacky return false;
1604f22ef01cSRoman Divacky }
1605f22ef01cSRoman Divacky
16066122f3e6SDimitry Andric // parser<unsigned long long> implementation
16076122f3e6SDimitry Andric //
parse(Option & O,StringRef ArgName,StringRef Arg,unsigned long long & Value)16086122f3e6SDimitry Andric bool parser<unsigned long long>::parse(Option &O, StringRef ArgName,
160939d628a0SDimitry Andric StringRef Arg,
161039d628a0SDimitry Andric unsigned long long &Value) {
16116122f3e6SDimitry Andric
16126122f3e6SDimitry Andric if (Arg.getAsInteger(0, Value))
16136122f3e6SDimitry Andric return O.error("'" + Arg + "' value invalid for uint argument!");
16146122f3e6SDimitry Andric return false;
16156122f3e6SDimitry Andric }
16166122f3e6SDimitry Andric
1617f22ef01cSRoman Divacky // parser<double>/parser<float> implementation
1618f22ef01cSRoman Divacky //
parseDouble(Option & O,StringRef Arg,double & Value)1619f22ef01cSRoman Divacky static bool parseDouble(Option &O, StringRef Arg, double &Value) {
1620edd7eaddSDimitry Andric if (to_float(Arg, Value))
1621f22ef01cSRoman Divacky return false;
1622edd7eaddSDimitry Andric return O.error("'" + Arg + "' value invalid for floating point argument!");
1623f22ef01cSRoman Divacky }
1624f22ef01cSRoman Divacky
parse(Option & O,StringRef ArgName,StringRef Arg,double & Val)162539d628a0SDimitry Andric bool parser<double>::parse(Option &O, StringRef ArgName, StringRef Arg,
162639d628a0SDimitry Andric double &Val) {
1627f22ef01cSRoman Divacky return parseDouble(O, Arg, Val);
1628f22ef01cSRoman Divacky }
1629f22ef01cSRoman Divacky
parse(Option & O,StringRef ArgName,StringRef Arg,float & Val)163039d628a0SDimitry Andric bool parser<float>::parse(Option &O, StringRef ArgName, StringRef Arg,
163139d628a0SDimitry Andric float &Val) {
1632f22ef01cSRoman Divacky double dVal;
1633f22ef01cSRoman Divacky if (parseDouble(O, Arg, dVal))
1634f22ef01cSRoman Divacky return true;
1635f22ef01cSRoman Divacky Val = (float)dVal;
1636f22ef01cSRoman Divacky return false;
1637f22ef01cSRoman Divacky }
1638f22ef01cSRoman Divacky
1639f22ef01cSRoman Divacky // generic_parser_base implementation
1640f22ef01cSRoman Divacky //
1641f22ef01cSRoman Divacky
1642f22ef01cSRoman Divacky // findOption - Return the option number corresponding to the specified
1643f22ef01cSRoman Divacky // argument string. If the option is not found, getNumOptions() is returned.
1644f22ef01cSRoman Divacky //
findOption(StringRef Name)1645d88c1a5aSDimitry Andric unsigned generic_parser_base::findOption(StringRef Name) {
1646f22ef01cSRoman Divacky unsigned e = getNumOptions();
1647f22ef01cSRoman Divacky
1648f22ef01cSRoman Divacky for (unsigned i = 0; i != e; ++i) {
1649d88c1a5aSDimitry Andric if (getOption(i) == Name)
1650f22ef01cSRoman Divacky return i;
1651f22ef01cSRoman Divacky }
1652f22ef01cSRoman Divacky return e;
1653f22ef01cSRoman Divacky }
1654f22ef01cSRoman Divacky
1655f22ef01cSRoman Divacky // Return the width of the option tag for printing...
getOptionWidth(const Option & O) const1656f22ef01cSRoman Divacky size_t generic_parser_base::getOptionWidth(const Option &O) const {
1657f22ef01cSRoman Divacky if (O.hasArgStr()) {
16587d523365SDimitry Andric size_t Size = O.ArgStr.size() + 6;
1659f22ef01cSRoman Divacky for (unsigned i = 0, e = getNumOptions(); i != e; ++i)
1660d88c1a5aSDimitry Andric Size = std::max(Size, getOption(i).size() + 8);
1661f22ef01cSRoman Divacky return Size;
1662f22ef01cSRoman Divacky } else {
1663f22ef01cSRoman Divacky size_t BaseSize = 0;
1664f22ef01cSRoman Divacky for (unsigned i = 0, e = getNumOptions(); i != e; ++i)
1665d88c1a5aSDimitry Andric BaseSize = std::max(BaseSize, getOption(i).size() + 8);
1666f22ef01cSRoman Divacky return BaseSize;
1667f22ef01cSRoman Divacky }
1668f22ef01cSRoman Divacky }
1669f22ef01cSRoman Divacky
1670f22ef01cSRoman Divacky // printOptionInfo - Print out information about this option. The
1671f22ef01cSRoman Divacky // to-be-maintained width is specified.
1672f22ef01cSRoman Divacky //
printOptionInfo(const Option & O,size_t GlobalWidth) const1673f22ef01cSRoman Divacky void generic_parser_base::printOptionInfo(const Option &O,
1674f22ef01cSRoman Divacky size_t GlobalWidth) const {
1675f22ef01cSRoman Divacky if (O.hasArgStr()) {
1676f22ef01cSRoman Divacky outs() << " -" << O.ArgStr;
16777a7e6055SDimitry Andric Option::printHelpStr(O.HelpStr, GlobalWidth, O.ArgStr.size() + 6);
1678f22ef01cSRoman Divacky
1679f22ef01cSRoman Divacky for (unsigned i = 0, e = getNumOptions(); i != e; ++i) {
1680d88c1a5aSDimitry Andric size_t NumSpaces = GlobalWidth - getOption(i).size() - 8;
1681f22ef01cSRoman Divacky outs() << " =" << getOption(i);
1682f22ef01cSRoman Divacky outs().indent(NumSpaces) << " - " << getDescription(i) << '\n';
1683f22ef01cSRoman Divacky }
1684f22ef01cSRoman Divacky } else {
16857d523365SDimitry Andric if (!O.HelpStr.empty())
1686f22ef01cSRoman Divacky outs() << " " << O.HelpStr << '\n';
1687f22ef01cSRoman Divacky for (unsigned i = 0, e = getNumOptions(); i != e; ++i) {
1688d88c1a5aSDimitry Andric auto Option = getOption(i);
1689f785676fSDimitry Andric outs() << " -" << Option;
16907a7e6055SDimitry Andric Option::printHelpStr(getDescription(i), GlobalWidth, Option.size() + 8);
1691f22ef01cSRoman Divacky }
1692f22ef01cSRoman Divacky }
1693f22ef01cSRoman Divacky }
1694f22ef01cSRoman Divacky
16953b0f4066SDimitry Andric static const size_t MaxOptWidth = 8; // arbitrary spacing for printOptionDiff
16963b0f4066SDimitry Andric
16973b0f4066SDimitry Andric // printGenericOptionDiff - Print the value of this option and it's default.
16983b0f4066SDimitry Andric //
16993b0f4066SDimitry Andric // "Generic" options have each value mapped to a name.
printGenericOptionDiff(const Option & O,const GenericOptionValue & Value,const GenericOptionValue & Default,size_t GlobalWidth) const170039d628a0SDimitry Andric void generic_parser_base::printGenericOptionDiff(
170139d628a0SDimitry Andric const Option &O, const GenericOptionValue &Value,
170239d628a0SDimitry Andric const GenericOptionValue &Default, size_t GlobalWidth) const {
17033b0f4066SDimitry Andric outs() << " -" << O.ArgStr;
17047d523365SDimitry Andric outs().indent(GlobalWidth - O.ArgStr.size());
17053b0f4066SDimitry Andric
17063b0f4066SDimitry Andric unsigned NumOpts = getNumOptions();
17073b0f4066SDimitry Andric for (unsigned i = 0; i != NumOpts; ++i) {
17083b0f4066SDimitry Andric if (Value.compare(getOptionValue(i)))
17093b0f4066SDimitry Andric continue;
17103b0f4066SDimitry Andric
17113b0f4066SDimitry Andric outs() << "= " << getOption(i);
1712d88c1a5aSDimitry Andric size_t L = getOption(i).size();
17133b0f4066SDimitry Andric size_t NumSpaces = MaxOptWidth > L ? MaxOptWidth - L : 0;
17143b0f4066SDimitry Andric outs().indent(NumSpaces) << " (default: ";
17153b0f4066SDimitry Andric for (unsigned j = 0; j != NumOpts; ++j) {
17163b0f4066SDimitry Andric if (Default.compare(getOptionValue(j)))
17173b0f4066SDimitry Andric continue;
17183b0f4066SDimitry Andric outs() << getOption(j);
17193b0f4066SDimitry Andric break;
17203b0f4066SDimitry Andric }
17213b0f4066SDimitry Andric outs() << ")\n";
17223b0f4066SDimitry Andric return;
17233b0f4066SDimitry Andric }
17243b0f4066SDimitry Andric outs() << "= *unknown option value*\n";
17253b0f4066SDimitry Andric }
17263b0f4066SDimitry Andric
17273b0f4066SDimitry Andric // printOptionDiff - Specializations for printing basic value types.
17283b0f4066SDimitry Andric //
17293b0f4066SDimitry Andric #define PRINT_OPT_DIFF(T) \
173039d628a0SDimitry Andric void parser<T>::printOptionDiff(const Option &O, T V, OptionValue<T> D, \
17313b0f4066SDimitry Andric size_t GlobalWidth) const { \
17323b0f4066SDimitry Andric printOptionName(O, GlobalWidth); \
17333b0f4066SDimitry Andric std::string Str; \
17343b0f4066SDimitry Andric { \
17353b0f4066SDimitry Andric raw_string_ostream SS(Str); \
17363b0f4066SDimitry Andric SS << V; \
17373b0f4066SDimitry Andric } \
17383b0f4066SDimitry Andric outs() << "= " << Str; \
173939d628a0SDimitry Andric size_t NumSpaces = \
174039d628a0SDimitry Andric MaxOptWidth > Str.size() ? MaxOptWidth - Str.size() : 0; \
17413b0f4066SDimitry Andric outs().indent(NumSpaces) << " (default: "; \
17423b0f4066SDimitry Andric if (D.hasValue()) \
17433b0f4066SDimitry Andric outs() << D.getValue(); \
17443b0f4066SDimitry Andric else \
17453b0f4066SDimitry Andric outs() << "*no default*"; \
17463b0f4066SDimitry Andric outs() << ")\n"; \
174739d628a0SDimitry Andric }
17483b0f4066SDimitry Andric
17493b0f4066SDimitry Andric PRINT_OPT_DIFF(bool)
PRINT_OPT_DIFF(boolOrDefault)17503b0f4066SDimitry Andric PRINT_OPT_DIFF(boolOrDefault)
17513b0f4066SDimitry Andric PRINT_OPT_DIFF(int)
17523b0f4066SDimitry Andric PRINT_OPT_DIFF(unsigned)
17536122f3e6SDimitry Andric PRINT_OPT_DIFF(unsigned long long)
17543b0f4066SDimitry Andric PRINT_OPT_DIFF(double)
17553b0f4066SDimitry Andric PRINT_OPT_DIFF(float)
17563b0f4066SDimitry Andric PRINT_OPT_DIFF(char)
17573b0f4066SDimitry Andric
175839d628a0SDimitry Andric void parser<std::string>::printOptionDiff(const Option &O, StringRef V,
17593ca95b02SDimitry Andric const OptionValue<std::string> &D,
17603b0f4066SDimitry Andric size_t GlobalWidth) const {
17613b0f4066SDimitry Andric printOptionName(O, GlobalWidth);
17623b0f4066SDimitry Andric outs() << "= " << V;
17633b0f4066SDimitry Andric size_t NumSpaces = MaxOptWidth > V.size() ? MaxOptWidth - V.size() : 0;
17643b0f4066SDimitry Andric outs().indent(NumSpaces) << " (default: ";
17653b0f4066SDimitry Andric if (D.hasValue())
17663b0f4066SDimitry Andric outs() << D.getValue();
17673b0f4066SDimitry Andric else
17683b0f4066SDimitry Andric outs() << "*no default*";
17693b0f4066SDimitry Andric outs() << ")\n";
17703b0f4066SDimitry Andric }
17713b0f4066SDimitry Andric
17723b0f4066SDimitry Andric // Print a placeholder for options that don't yet support printOptionDiff().
printOptionNoValue(const Option & O,size_t GlobalWidth) const177339d628a0SDimitry Andric void basic_parser_impl::printOptionNoValue(const Option &O,
177439d628a0SDimitry Andric size_t GlobalWidth) const {
17753b0f4066SDimitry Andric printOptionName(O, GlobalWidth);
17763b0f4066SDimitry Andric outs() << "= *cannot print option value*\n";
17773b0f4066SDimitry Andric }
1778f22ef01cSRoman Divacky
1779f22ef01cSRoman Divacky //===----------------------------------------------------------------------===//
1780f22ef01cSRoman Divacky // -help and -help-hidden option implementation
1781f22ef01cSRoman Divacky //
1782f22ef01cSRoman Divacky
OptNameCompare(const std::pair<const char *,Option * > * LHS,const std::pair<const char *,Option * > * RHS)1783ff0cc061SDimitry Andric static int OptNameCompare(const std::pair<const char *, Option *> *LHS,
1784ff0cc061SDimitry Andric const std::pair<const char *, Option *> *RHS) {
1785ff0cc061SDimitry Andric return strcmp(LHS->first, RHS->first);
1786f22ef01cSRoman Divacky }
1787f22ef01cSRoman Divacky
SubNameCompare(const std::pair<const char *,SubCommand * > * LHS,const std::pair<const char *,SubCommand * > * RHS)17883ca95b02SDimitry Andric static int SubNameCompare(const std::pair<const char *, SubCommand *> *LHS,
17893ca95b02SDimitry Andric const std::pair<const char *, SubCommand *> *RHS) {
17903ca95b02SDimitry Andric return strcmp(LHS->first, RHS->first);
17913ca95b02SDimitry Andric }
17923ca95b02SDimitry Andric
17933b0f4066SDimitry Andric // Copy Options into a vector so we can sort them as we like.
sortOpts(StringMap<Option * > & OptMap,SmallVectorImpl<std::pair<const char *,Option * >> & Opts,bool ShowHidden)179439d628a0SDimitry Andric static void sortOpts(StringMap<Option *> &OptMap,
17953b0f4066SDimitry Andric SmallVectorImpl<std::pair<const char *, Option *>> &Opts,
17963b0f4066SDimitry Andric bool ShowHidden) {
17973ca95b02SDimitry Andric SmallPtrSet<Option *, 32> OptionSet; // Duplicate option detection.
17983b0f4066SDimitry Andric
17993b0f4066SDimitry Andric for (StringMap<Option *>::iterator I = OptMap.begin(), E = OptMap.end();
18003b0f4066SDimitry Andric I != E; ++I) {
18013b0f4066SDimitry Andric // Ignore really-hidden options.
18023b0f4066SDimitry Andric if (I->second->getOptionHiddenFlag() == ReallyHidden)
18033b0f4066SDimitry Andric continue;
18043b0f4066SDimitry Andric
18053b0f4066SDimitry Andric // Unless showhidden is set, ignore hidden flags.
18063b0f4066SDimitry Andric if (I->second->getOptionHiddenFlag() == Hidden && !ShowHidden)
18073b0f4066SDimitry Andric continue;
18083b0f4066SDimitry Andric
18093b0f4066SDimitry Andric // If we've already seen this option, don't add it to the list again.
181039d628a0SDimitry Andric if (!OptionSet.insert(I->second).second)
18113b0f4066SDimitry Andric continue;
18123b0f4066SDimitry Andric
181339d628a0SDimitry Andric Opts.push_back(
181439d628a0SDimitry Andric std::pair<const char *, Option *>(I->getKey().data(), I->second));
18153b0f4066SDimitry Andric }
18163b0f4066SDimitry Andric
18173b0f4066SDimitry Andric // Sort the options list alphabetically.
1818ff0cc061SDimitry Andric array_pod_sort(Opts.begin(), Opts.end(), OptNameCompare);
18193b0f4066SDimitry Andric }
18203b0f4066SDimitry Andric
18213ca95b02SDimitry Andric static void
sortSubCommands(const SmallPtrSetImpl<SubCommand * > & SubMap,SmallVectorImpl<std::pair<const char *,SubCommand * >> & Subs)18223ca95b02SDimitry Andric sortSubCommands(const SmallPtrSetImpl<SubCommand *> &SubMap,
18233ca95b02SDimitry Andric SmallVectorImpl<std::pair<const char *, SubCommand *>> &Subs) {
18243ca95b02SDimitry Andric for (const auto &S : SubMap) {
1825d88c1a5aSDimitry Andric if (S->getName().empty())
18263ca95b02SDimitry Andric continue;
1827d88c1a5aSDimitry Andric Subs.push_back(std::make_pair(S->getName().data(), S));
18283ca95b02SDimitry Andric }
18293ca95b02SDimitry Andric array_pod_sort(Subs.begin(), Subs.end(), SubNameCompare);
18303ca95b02SDimitry Andric }
18313ca95b02SDimitry Andric
1832f22ef01cSRoman Divacky namespace {
1833f22ef01cSRoman Divacky
1834f22ef01cSRoman Divacky class HelpPrinter {
1835284c1978SDimitry Andric protected:
1836f22ef01cSRoman Divacky const bool ShowHidden;
183739d628a0SDimitry Andric typedef SmallVector<std::pair<const char *, Option *>, 128>
183839d628a0SDimitry Andric StrOptionPairVector;
18393ca95b02SDimitry Andric typedef SmallVector<std::pair<const char *, SubCommand *>, 128>
18403ca95b02SDimitry Andric StrSubCommandPairVector;
1841284c1978SDimitry Andric // Print the options. Opts is assumed to be alphabetically sorted.
printOptions(StrOptionPairVector & Opts,size_t MaxArgLen)1842284c1978SDimitry Andric virtual void printOptions(StrOptionPairVector &Opts, size_t MaxArgLen) {
1843284c1978SDimitry Andric for (size_t i = 0, e = Opts.size(); i != e; ++i)
1844284c1978SDimitry Andric Opts[i].second->printOptionInfo(MaxArgLen);
1845284c1978SDimitry Andric }
1846f22ef01cSRoman Divacky
printSubCommands(StrSubCommandPairVector & Subs,size_t MaxSubLen)18473ca95b02SDimitry Andric void printSubCommands(StrSubCommandPairVector &Subs, size_t MaxSubLen) {
18483ca95b02SDimitry Andric for (const auto &S : Subs) {
18493ca95b02SDimitry Andric outs() << " " << S.first;
1850d88c1a5aSDimitry Andric if (!S.second->getDescription().empty()) {
18513ca95b02SDimitry Andric outs().indent(MaxSubLen - strlen(S.first));
18523ca95b02SDimitry Andric outs() << " - " << S.second->getDescription();
18533ca95b02SDimitry Andric }
18543ca95b02SDimitry Andric outs() << "\n";
18553ca95b02SDimitry Andric }
18563ca95b02SDimitry Andric }
18573ca95b02SDimitry Andric
1858f22ef01cSRoman Divacky public:
HelpPrinter(bool showHidden)1859139f7f9bSDimitry Andric explicit HelpPrinter(bool showHidden) : ShowHidden(showHidden) {}
~HelpPrinter()1860284c1978SDimitry Andric virtual ~HelpPrinter() {}
1861f22ef01cSRoman Divacky
1862284c1978SDimitry Andric // Invoke the printer.
operator =(bool Value)1863f22ef01cSRoman Divacky void operator=(bool Value) {
1864ff0cc061SDimitry Andric if (!Value)
186539d628a0SDimitry Andric return;
18662cab237bSDimitry Andric printHelp();
1867f22ef01cSRoman Divacky
18682cab237bSDimitry Andric // Halt the program since help information was printed
18692cab237bSDimitry Andric exit(0);
18702cab237bSDimitry Andric }
18712cab237bSDimitry Andric
printHelp()18722cab237bSDimitry Andric void printHelp() {
18733ca95b02SDimitry Andric SubCommand *Sub = GlobalParser->getActiveSubCommand();
18743ca95b02SDimitry Andric auto &OptionsMap = Sub->OptionsMap;
18753ca95b02SDimitry Andric auto &PositionalOpts = Sub->PositionalOpts;
18763ca95b02SDimitry Andric auto &ConsumeAfterOpt = Sub->ConsumeAfterOpt;
18773ca95b02SDimitry Andric
1878284c1978SDimitry Andric StrOptionPairVector Opts;
18793ca95b02SDimitry Andric sortOpts(OptionsMap, Opts, ShowHidden);
18803ca95b02SDimitry Andric
18813ca95b02SDimitry Andric StrSubCommandPairVector Subs;
18823ca95b02SDimitry Andric sortSubCommands(GlobalParser->RegisteredSubCommands, Subs);
1883f22ef01cSRoman Divacky
1884d88c1a5aSDimitry Andric if (!GlobalParser->ProgramOverview.empty())
1885ff0cc061SDimitry Andric outs() << "OVERVIEW: " << GlobalParser->ProgramOverview << "\n";
1886f22ef01cSRoman Divacky
1887d88c1a5aSDimitry Andric if (Sub == &*TopLevelSubCommand) {
1888d88c1a5aSDimitry Andric outs() << "USAGE: " << GlobalParser->ProgramName;
1889d88c1a5aSDimitry Andric if (Subs.size() > 2)
1890d88c1a5aSDimitry Andric outs() << " [subcommand]";
1891d88c1a5aSDimitry Andric outs() << " [options]";
1892d88c1a5aSDimitry Andric } else {
1893d88c1a5aSDimitry Andric if (!Sub->getDescription().empty()) {
18943ca95b02SDimitry Andric outs() << "SUBCOMMAND '" << Sub->getName()
18953ca95b02SDimitry Andric << "': " << Sub->getDescription() << "\n\n";
18963ca95b02SDimitry Andric }
18973ca95b02SDimitry Andric outs() << "USAGE: " << GlobalParser->ProgramName << " " << Sub->getName()
18983ca95b02SDimitry Andric << " [options]";
18993ca95b02SDimitry Andric }
1900f22ef01cSRoman Divacky
19013ca95b02SDimitry Andric for (auto Opt : PositionalOpts) {
19027d523365SDimitry Andric if (Opt->hasArgStr())
1903ff0cc061SDimitry Andric outs() << " --" << Opt->ArgStr;
1904ff0cc061SDimitry Andric outs() << " " << Opt->HelpStr;
1905f22ef01cSRoman Divacky }
1906f22ef01cSRoman Divacky
1907f22ef01cSRoman Divacky // Print the consume after option info if it exists...
19083ca95b02SDimitry Andric if (ConsumeAfterOpt)
19093ca95b02SDimitry Andric outs() << " " << ConsumeAfterOpt->HelpStr;
19103ca95b02SDimitry Andric
1911d88c1a5aSDimitry Andric if (Sub == &*TopLevelSubCommand && !Subs.empty()) {
19123ca95b02SDimitry Andric // Compute the maximum subcommand length...
19133ca95b02SDimitry Andric size_t MaxSubLen = 0;
19143ca95b02SDimitry Andric for (size_t i = 0, e = Subs.size(); i != e; ++i)
19153ca95b02SDimitry Andric MaxSubLen = std::max(MaxSubLen, strlen(Subs[i].first));
19163ca95b02SDimitry Andric
19173ca95b02SDimitry Andric outs() << "\n\n";
19183ca95b02SDimitry Andric outs() << "SUBCOMMANDS:\n\n";
19193ca95b02SDimitry Andric printSubCommands(Subs, MaxSubLen);
19203ca95b02SDimitry Andric outs() << "\n";
19213ca95b02SDimitry Andric outs() << " Type \"" << GlobalParser->ProgramName
19223ca95b02SDimitry Andric << " <subcommand> -help\" to get more help on a specific "
19233ca95b02SDimitry Andric "subcommand";
19243ca95b02SDimitry Andric }
1925f22ef01cSRoman Divacky
1926f22ef01cSRoman Divacky outs() << "\n\n";
1927f22ef01cSRoman Divacky
1928f22ef01cSRoman Divacky // Compute the maximum argument length...
1929139f7f9bSDimitry Andric size_t MaxArgLen = 0;
1930f22ef01cSRoman Divacky for (size_t i = 0, e = Opts.size(); i != e; ++i)
1931f22ef01cSRoman Divacky MaxArgLen = std::max(MaxArgLen, Opts[i].second->getOptionWidth());
1932f22ef01cSRoman Divacky
1933f22ef01cSRoman Divacky outs() << "OPTIONS:\n";
1934284c1978SDimitry Andric printOptions(Opts, MaxArgLen);
1935f22ef01cSRoman Divacky
1936f22ef01cSRoman Divacky // Print any extra help the user has declared.
1937ff0cc061SDimitry Andric for (auto I : GlobalParser->MoreHelp)
1938ff0cc061SDimitry Andric outs() << I;
1939ff0cc061SDimitry Andric GlobalParser->MoreHelp.clear();
1940f22ef01cSRoman Divacky }
1941f22ef01cSRoman Divacky };
1942284c1978SDimitry Andric
1943284c1978SDimitry Andric class CategorizedHelpPrinter : public HelpPrinter {
1944284c1978SDimitry Andric public:
CategorizedHelpPrinter(bool showHidden)1945284c1978SDimitry Andric explicit CategorizedHelpPrinter(bool showHidden) : HelpPrinter(showHidden) {}
1946284c1978SDimitry Andric
1947284c1978SDimitry Andric // Helper function for printOptions().
1948ff0cc061SDimitry Andric // It shall return a negative value if A's name should be lexicographically
19497a7e6055SDimitry Andric // ordered before B's name. It returns a value greater than zero if B's name
19507a7e6055SDimitry Andric // should be ordered before A's name, and it returns 0 otherwise.
OptionCategoryCompare(OptionCategory * const * A,OptionCategory * const * B)1951ff0cc061SDimitry Andric static int OptionCategoryCompare(OptionCategory *const *A,
1952ff0cc061SDimitry Andric OptionCategory *const *B) {
19537a7e6055SDimitry Andric return (*A)->getName().compare((*B)->getName());
1954284c1978SDimitry Andric }
1955284c1978SDimitry Andric
1956284c1978SDimitry Andric // Make sure we inherit our base class's operator=()
1957284c1978SDimitry Andric using HelpPrinter::operator=;
1958284c1978SDimitry Andric
1959284c1978SDimitry Andric protected:
printOptions(StrOptionPairVector & Opts,size_t MaxArgLen)196091bc56edSDimitry Andric void printOptions(StrOptionPairVector &Opts, size_t MaxArgLen) override {
1961284c1978SDimitry Andric std::vector<OptionCategory *> SortedCategories;
1962284c1978SDimitry Andric std::map<OptionCategory *, std::vector<Option *>> CategorizedOptions;
1963284c1978SDimitry Andric
196491bc56edSDimitry Andric // Collect registered option categories into vector in preparation for
1965284c1978SDimitry Andric // sorting.
1966ff0cc061SDimitry Andric for (auto I = GlobalParser->RegisteredOptionCategories.begin(),
1967ff0cc061SDimitry Andric E = GlobalParser->RegisteredOptionCategories.end();
196891bc56edSDimitry Andric I != E; ++I) {
1969284c1978SDimitry Andric SortedCategories.push_back(*I);
197091bc56edSDimitry Andric }
1971284c1978SDimitry Andric
1972284c1978SDimitry Andric // Sort the different option categories alphabetically.
1973284c1978SDimitry Andric assert(SortedCategories.size() > 0 && "No option categories registered!");
1974ff0cc061SDimitry Andric array_pod_sort(SortedCategories.begin(), SortedCategories.end(),
1975284c1978SDimitry Andric OptionCategoryCompare);
1976284c1978SDimitry Andric
1977284c1978SDimitry Andric // Create map to empty vectors.
1978284c1978SDimitry Andric for (std::vector<OptionCategory *>::const_iterator
1979284c1978SDimitry Andric I = SortedCategories.begin(),
1980284c1978SDimitry Andric E = SortedCategories.end();
1981284c1978SDimitry Andric I != E; ++I)
1982284c1978SDimitry Andric CategorizedOptions[*I] = std::vector<Option *>();
1983284c1978SDimitry Andric
1984284c1978SDimitry Andric // Walk through pre-sorted options and assign into categories.
1985284c1978SDimitry Andric // Because the options are already alphabetically sorted the
1986284c1978SDimitry Andric // options within categories will also be alphabetically sorted.
1987284c1978SDimitry Andric for (size_t I = 0, E = Opts.size(); I != E; ++I) {
1988284c1978SDimitry Andric Option *Opt = Opts[I].second;
1989284c1978SDimitry Andric assert(CategorizedOptions.count(Opt->Category) > 0 &&
1990284c1978SDimitry Andric "Option has an unregistered category");
1991284c1978SDimitry Andric CategorizedOptions[Opt->Category].push_back(Opt);
1992284c1978SDimitry Andric }
1993284c1978SDimitry Andric
1994284c1978SDimitry Andric // Now do printing.
1995284c1978SDimitry Andric for (std::vector<OptionCategory *>::const_iterator
1996284c1978SDimitry Andric Category = SortedCategories.begin(),
1997284c1978SDimitry Andric E = SortedCategories.end();
1998284c1978SDimitry Andric Category != E; ++Category) {
1999284c1978SDimitry Andric // Hide empty categories for -help, but show for -help-hidden.
20003ca95b02SDimitry Andric const auto &CategoryOptions = CategorizedOptions[*Category];
20013ca95b02SDimitry Andric bool IsEmptyCategory = CategoryOptions.empty();
2002284c1978SDimitry Andric if (!ShowHidden && IsEmptyCategory)
2003284c1978SDimitry Andric continue;
2004284c1978SDimitry Andric
2005284c1978SDimitry Andric // Print category information.
2006284c1978SDimitry Andric outs() << "\n";
2007284c1978SDimitry Andric outs() << (*Category)->getName() << ":\n";
2008284c1978SDimitry Andric
2009284c1978SDimitry Andric // Check if description is set.
2010d88c1a5aSDimitry Andric if (!(*Category)->getDescription().empty())
2011284c1978SDimitry Andric outs() << (*Category)->getDescription() << "\n\n";
2012284c1978SDimitry Andric else
2013284c1978SDimitry Andric outs() << "\n";
2014284c1978SDimitry Andric
2015284c1978SDimitry Andric // When using -help-hidden explicitly state if the category has no
2016284c1978SDimitry Andric // options associated with it.
2017284c1978SDimitry Andric if (IsEmptyCategory) {
2018284c1978SDimitry Andric outs() << " This option category has no options.\n";
2019284c1978SDimitry Andric continue;
2020284c1978SDimitry Andric }
2021284c1978SDimitry Andric // Loop over the options in the category and print.
20223ca95b02SDimitry Andric for (const Option *Opt : CategoryOptions)
20233ca95b02SDimitry Andric Opt->printOptionInfo(MaxArgLen);
2024284c1978SDimitry Andric }
2025284c1978SDimitry Andric }
2026284c1978SDimitry Andric };
2027284c1978SDimitry Andric
2028284c1978SDimitry Andric // This wraps the Uncategorizing and Categorizing printers and decides
2029284c1978SDimitry Andric // at run time which should be invoked.
2030284c1978SDimitry Andric class HelpPrinterWrapper {
2031284c1978SDimitry Andric private:
2032284c1978SDimitry Andric HelpPrinter &UncategorizedPrinter;
2033284c1978SDimitry Andric CategorizedHelpPrinter &CategorizedPrinter;
2034284c1978SDimitry Andric
2035284c1978SDimitry Andric public:
HelpPrinterWrapper(HelpPrinter & UncategorizedPrinter,CategorizedHelpPrinter & CategorizedPrinter)2036284c1978SDimitry Andric explicit HelpPrinterWrapper(HelpPrinter &UncategorizedPrinter,
203739d628a0SDimitry Andric CategorizedHelpPrinter &CategorizedPrinter)
203839d628a0SDimitry Andric : UncategorizedPrinter(UncategorizedPrinter),
2039284c1978SDimitry Andric CategorizedPrinter(CategorizedPrinter) {}
2040284c1978SDimitry Andric
2041284c1978SDimitry Andric // Invoke the printer.
2042284c1978SDimitry Andric void operator=(bool Value);
2043284c1978SDimitry Andric };
2044284c1978SDimitry Andric
2045f22ef01cSRoman Divacky } // End anonymous namespace
2046f22ef01cSRoman Divacky
2047284c1978SDimitry Andric // Declare the four HelpPrinter instances that are used to print out help, or
2048284c1978SDimitry Andric // help-hidden as an uncategorized list or in categories.
2049284c1978SDimitry Andric static HelpPrinter UncategorizedNormalPrinter(false);
2050284c1978SDimitry Andric static HelpPrinter UncategorizedHiddenPrinter(true);
2051284c1978SDimitry Andric static CategorizedHelpPrinter CategorizedNormalPrinter(false);
2052284c1978SDimitry Andric static CategorizedHelpPrinter CategorizedHiddenPrinter(true);
2053284c1978SDimitry Andric
2054284c1978SDimitry Andric // Declare HelpPrinter wrappers that will decide whether or not to invoke
2055284c1978SDimitry Andric // a categorizing help printer
2056284c1978SDimitry Andric static HelpPrinterWrapper WrappedNormalPrinter(UncategorizedNormalPrinter,
2057284c1978SDimitry Andric CategorizedNormalPrinter);
2058284c1978SDimitry Andric static HelpPrinterWrapper WrappedHiddenPrinter(UncategorizedHiddenPrinter,
2059284c1978SDimitry Andric CategorizedHiddenPrinter);
2060284c1978SDimitry Andric
2061ff0cc061SDimitry Andric // Define a category for generic options that all tools should have.
2062ff0cc061SDimitry Andric static cl::OptionCategory GenericCategory("Generic Options");
2063ff0cc061SDimitry Andric
2064284c1978SDimitry Andric // Define uncategorized help printers.
2065284c1978SDimitry Andric // -help-list is hidden by default because if Option categories are being used
2066284c1978SDimitry Andric // then -help behaves the same as -help-list.
206739d628a0SDimitry Andric static cl::opt<HelpPrinter, true, parser<bool>> HLOp(
206839d628a0SDimitry Andric "help-list",
2069284c1978SDimitry Andric cl::desc("Display list of available options (-help-list-hidden for more)"),
2070ff0cc061SDimitry Andric cl::location(UncategorizedNormalPrinter), cl::Hidden, cl::ValueDisallowed,
20713ca95b02SDimitry Andric cl::cat(GenericCategory), cl::sub(*AllSubCommands));
2072f22ef01cSRoman Divacky
2073f22ef01cSRoman Divacky static cl::opt<HelpPrinter, true, parser<bool>>
207439d628a0SDimitry Andric HLHOp("help-list-hidden", cl::desc("Display list of all available options"),
207539d628a0SDimitry Andric cl::location(UncategorizedHiddenPrinter), cl::Hidden,
20763ca95b02SDimitry Andric cl::ValueDisallowed, cl::cat(GenericCategory),
20773ca95b02SDimitry Andric cl::sub(*AllSubCommands));
2078284c1978SDimitry Andric
2079284c1978SDimitry Andric // Define uncategorized/categorized help printers. These printers change their
2080284c1978SDimitry Andric // behaviour at runtime depending on whether one or more Option categories have
2081284c1978SDimitry Andric // been declared.
2082284c1978SDimitry Andric static cl::opt<HelpPrinterWrapper, true, parser<bool>>
2083f22ef01cSRoman Divacky HOp("help", cl::desc("Display available options (-help-hidden for more)"),
2084ff0cc061SDimitry Andric cl::location(WrappedNormalPrinter), cl::ValueDisallowed,
20853ca95b02SDimitry Andric cl::cat(GenericCategory), cl::sub(*AllSubCommands));
2086f22ef01cSRoman Divacky
2087284c1978SDimitry Andric static cl::opt<HelpPrinterWrapper, true, parser<bool>>
2088f22ef01cSRoman Divacky HHOp("help-hidden", cl::desc("Display all available options"),
2089ff0cc061SDimitry Andric cl::location(WrappedHiddenPrinter), cl::Hidden, cl::ValueDisallowed,
20903ca95b02SDimitry Andric cl::cat(GenericCategory), cl::sub(*AllSubCommands));
2091284c1978SDimitry Andric
209239d628a0SDimitry Andric static cl::opt<bool> PrintOptions(
209339d628a0SDimitry Andric "print-options",
20943b0f4066SDimitry Andric cl::desc("Print non-default options after command line parsing"),
20953ca95b02SDimitry Andric cl::Hidden, cl::init(false), cl::cat(GenericCategory),
20963ca95b02SDimitry Andric cl::sub(*AllSubCommands));
20973b0f4066SDimitry Andric
209839d628a0SDimitry Andric static cl::opt<bool> PrintAllOptions(
209939d628a0SDimitry Andric "print-all-options",
210039d628a0SDimitry Andric cl::desc("Print all option values after command line parsing"), cl::Hidden,
21013ca95b02SDimitry Andric cl::init(false), cl::cat(GenericCategory), cl::sub(*AllSubCommands));
21023b0f4066SDimitry Andric
operator =(bool Value)2103284c1978SDimitry Andric void HelpPrinterWrapper::operator=(bool Value) {
2104ff0cc061SDimitry Andric if (!Value)
2105284c1978SDimitry Andric return;
2106284c1978SDimitry Andric
2107284c1978SDimitry Andric // Decide which printer to invoke. If more than one option category is
2108284c1978SDimitry Andric // registered then it is useful to show the categorized help instead of
2109284c1978SDimitry Andric // uncategorized help.
2110ff0cc061SDimitry Andric if (GlobalParser->RegisteredOptionCategories.size() > 1) {
2111284c1978SDimitry Andric // unhide -help-list option so user can have uncategorized output if they
2112284c1978SDimitry Andric // want it.
2113284c1978SDimitry Andric HLOp.setHiddenFlag(NotHidden);
2114284c1978SDimitry Andric
2115284c1978SDimitry Andric CategorizedPrinter = true; // Invoke categorized printer
211639d628a0SDimitry Andric } else
2117284c1978SDimitry Andric UncategorizedPrinter = true; // Invoke uncategorized printer
2118284c1978SDimitry Andric }
2119284c1978SDimitry Andric
21203b0f4066SDimitry Andric // Print the value of each option.
PrintOptionValues()2121ff0cc061SDimitry Andric void cl::PrintOptionValues() { GlobalParser->printOptionValues(); }
2122ff0cc061SDimitry Andric
printOptionValues()2123ff0cc061SDimitry Andric void CommandLineParser::printOptionValues() {
212439d628a0SDimitry Andric if (!PrintOptions && !PrintAllOptions)
212539d628a0SDimitry Andric return;
21263b0f4066SDimitry Andric
21273b0f4066SDimitry Andric SmallVector<std::pair<const char *, Option *>, 128> Opts;
21283ca95b02SDimitry Andric sortOpts(ActiveSubCommand->OptionsMap, Opts, /*ShowHidden*/ true);
21293b0f4066SDimitry Andric
21303b0f4066SDimitry Andric // Compute the maximum argument length...
21313b0f4066SDimitry Andric size_t MaxArgLen = 0;
21323b0f4066SDimitry Andric for (size_t i = 0, e = Opts.size(); i != e; ++i)
21333b0f4066SDimitry Andric MaxArgLen = std::max(MaxArgLen, Opts[i].second->getOptionWidth());
21343b0f4066SDimitry Andric
21353b0f4066SDimitry Andric for (size_t i = 0, e = Opts.size(); i != e; ++i)
21363b0f4066SDimitry Andric Opts[i].second->printOptionValue(MaxArgLen, PrintAllOptions);
21373b0f4066SDimitry Andric }
21383b0f4066SDimitry Andric
21392cab237bSDimitry Andric static VersionPrinterTy OverrideVersionPrinter = nullptr;
2140f22ef01cSRoman Divacky
21412cab237bSDimitry Andric static std::vector<VersionPrinterTy> *ExtraVersionPrinters = nullptr;
2142f22ef01cSRoman Divacky
2143f22ef01cSRoman Divacky namespace {
2144f22ef01cSRoman Divacky class VersionPrinter {
2145f22ef01cSRoman Divacky public:
print()2146f22ef01cSRoman Divacky void print() {
2147f22ef01cSRoman Divacky raw_ostream &OS = outs();
21483ca95b02SDimitry Andric #ifdef PACKAGE_VENDOR
21493ca95b02SDimitry Andric OS << PACKAGE_VENDOR << " ";
21503ca95b02SDimitry Andric #else
21513ca95b02SDimitry Andric OS << "LLVM (http://llvm.org/):\n ";
21523ca95b02SDimitry Andric #endif
21533ca95b02SDimitry Andric OS << PACKAGE_NAME << " version " << PACKAGE_VERSION;
2154f22ef01cSRoman Divacky #ifdef LLVM_VERSION_INFO
215591bc56edSDimitry Andric OS << " " << LLVM_VERSION_INFO;
2156f22ef01cSRoman Divacky #endif
2157f22ef01cSRoman Divacky OS << "\n ";
2158f22ef01cSRoman Divacky #ifndef __OPTIMIZE__
2159f22ef01cSRoman Divacky OS << "DEBUG build";
2160f22ef01cSRoman Divacky #else
2161f22ef01cSRoman Divacky OS << "Optimized build";
2162f22ef01cSRoman Divacky #endif
2163f22ef01cSRoman Divacky #ifndef NDEBUG
2164f22ef01cSRoman Divacky OS << " with assertions";
2165f22ef01cSRoman Divacky #endif
21666bc11b14SDimitry Andric #if LLVM_VERSION_PRINTER_SHOW_HOST_TARGET_INFO
2167f22ef01cSRoman Divacky std::string CPU = sys::getHostCPUName();
216839d628a0SDimitry Andric if (CPU == "generic")
216939d628a0SDimitry Andric CPU = "(unknown)";
2170f22ef01cSRoman Divacky OS << ".\n"
2171dff0c46cSDimitry Andric << " Default target: " << sys::getDefaultTargetTriple() << '\n'
21726bc11b14SDimitry Andric << " Host CPU: " << CPU;
21736bc11b14SDimitry Andric #endif
21746bc11b14SDimitry Andric OS << '\n';
2175f22ef01cSRoman Divacky }
operator =(bool OptionWasSpecified)2176f22ef01cSRoman Divacky void operator=(bool OptionWasSpecified) {
217739d628a0SDimitry Andric if (!OptionWasSpecified)
217839d628a0SDimitry Andric return;
2179f22ef01cSRoman Divacky
218091bc56edSDimitry Andric if (OverrideVersionPrinter != nullptr) {
21812cab237bSDimitry Andric OverrideVersionPrinter(outs());
218291bc56edSDimitry Andric exit(0);
2183f22ef01cSRoman Divacky }
21846122f3e6SDimitry Andric print();
21856122f3e6SDimitry Andric
21866122f3e6SDimitry Andric // Iterate over any registered extra printers and call them to add further
21876122f3e6SDimitry Andric // information.
218891bc56edSDimitry Andric if (ExtraVersionPrinters != nullptr) {
21896122f3e6SDimitry Andric outs() << '\n';
21902cab237bSDimitry Andric for (auto I : *ExtraVersionPrinters)
21912cab237bSDimitry Andric I(outs());
21926122f3e6SDimitry Andric }
21936122f3e6SDimitry Andric
219491bc56edSDimitry Andric exit(0);
2195f22ef01cSRoman Divacky }
2196f22ef01cSRoman Divacky };
2197f22ef01cSRoman Divacky } // End anonymous namespace
2198f22ef01cSRoman Divacky
2199f22ef01cSRoman Divacky // Define the --version option that prints out the LLVM version for the tool
2200f22ef01cSRoman Divacky static VersionPrinter VersionPrinterInstance;
2201f22ef01cSRoman Divacky
2202f22ef01cSRoman Divacky static cl::opt<VersionPrinter, true, parser<bool>>
2203f22ef01cSRoman Divacky VersOp("version", cl::desc("Display the version of this program"),
2204ff0cc061SDimitry Andric cl::location(VersionPrinterInstance), cl::ValueDisallowed,
2205ff0cc061SDimitry Andric cl::cat(GenericCategory));
2206f22ef01cSRoman Divacky
2207f22ef01cSRoman Divacky // Utility function for printing the help message.
PrintHelpMessage(bool Hidden,bool Categorized)2208284c1978SDimitry Andric void cl::PrintHelpMessage(bool Hidden, bool Categorized) {
2209284c1978SDimitry Andric if (!Hidden && !Categorized)
22102cab237bSDimitry Andric UncategorizedNormalPrinter.printHelp();
2211284c1978SDimitry Andric else if (!Hidden && Categorized)
22122cab237bSDimitry Andric CategorizedNormalPrinter.printHelp();
2213284c1978SDimitry Andric else if (Hidden && !Categorized)
22142cab237bSDimitry Andric UncategorizedHiddenPrinter.printHelp();
2215284c1978SDimitry Andric else
22162cab237bSDimitry Andric CategorizedHiddenPrinter.printHelp();
2217f22ef01cSRoman Divacky }
2218f22ef01cSRoman Divacky
2219f22ef01cSRoman Divacky /// Utility function for printing version number.
PrintVersionMessage()222039d628a0SDimitry Andric void cl::PrintVersionMessage() { VersionPrinterInstance.print(); }
2221f22ef01cSRoman Divacky
SetVersionPrinter(VersionPrinterTy func)22222cab237bSDimitry Andric void cl::SetVersionPrinter(VersionPrinterTy func) { OverrideVersionPrinter = func; }
22236122f3e6SDimitry Andric
AddExtraVersionPrinter(VersionPrinterTy func)22242cab237bSDimitry Andric void cl::AddExtraVersionPrinter(VersionPrinterTy func) {
222591bc56edSDimitry Andric if (!ExtraVersionPrinters)
22262cab237bSDimitry Andric ExtraVersionPrinters = new std::vector<VersionPrinterTy>;
22276122f3e6SDimitry Andric
22286122f3e6SDimitry Andric ExtraVersionPrinters->push_back(func);
22296122f3e6SDimitry Andric }
2230284c1978SDimitry Andric
getRegisteredOptions(SubCommand & Sub)22313ca95b02SDimitry Andric StringMap<Option *> &cl::getRegisteredOptions(SubCommand &Sub) {
22323ca95b02SDimitry Andric auto &Subs = GlobalParser->RegisteredSubCommands;
22333ca95b02SDimitry Andric (void)Subs;
2234d88c1a5aSDimitry Andric assert(is_contained(Subs, &Sub));
22353ca95b02SDimitry Andric return Sub.OptionsMap;
2236ff0cc061SDimitry Andric }
2237ff0cc061SDimitry Andric
2238d88c1a5aSDimitry Andric iterator_range<typename SmallPtrSet<SubCommand *, 4>::iterator>
getRegisteredSubcommands()2239d88c1a5aSDimitry Andric cl::getRegisteredSubcommands() {
2240d88c1a5aSDimitry Andric return GlobalParser->getRegisteredSubcommands();
2241d88c1a5aSDimitry Andric }
2242d88c1a5aSDimitry Andric
HideUnrelatedOptions(cl::OptionCategory & Category,SubCommand & Sub)22433ca95b02SDimitry Andric void cl::HideUnrelatedOptions(cl::OptionCategory &Category, SubCommand &Sub) {
22443ca95b02SDimitry Andric for (auto &I : Sub.OptionsMap) {
2245ff0cc061SDimitry Andric if (I.second->Category != &Category &&
2246ff0cc061SDimitry Andric I.second->Category != &GenericCategory)
2247ff0cc061SDimitry Andric I.second->setHiddenFlag(cl::ReallyHidden);
2248ff0cc061SDimitry Andric }
2249ff0cc061SDimitry Andric }
2250ff0cc061SDimitry Andric
HideUnrelatedOptions(ArrayRef<const cl::OptionCategory * > Categories,SubCommand & Sub)22513ca95b02SDimitry Andric void cl::HideUnrelatedOptions(ArrayRef<const cl::OptionCategory *> Categories,
22523ca95b02SDimitry Andric SubCommand &Sub) {
2253ff0cc061SDimitry Andric auto CategoriesBegin = Categories.begin();
2254ff0cc061SDimitry Andric auto CategoriesEnd = Categories.end();
22553ca95b02SDimitry Andric for (auto &I : Sub.OptionsMap) {
2256ff0cc061SDimitry Andric if (std::find(CategoriesBegin, CategoriesEnd, I.second->Category) ==
2257ff0cc061SDimitry Andric CategoriesEnd &&
2258ff0cc061SDimitry Andric I.second->Category != &GenericCategory)
2259ff0cc061SDimitry Andric I.second->setHiddenFlag(cl::ReallyHidden);
2260ff0cc061SDimitry Andric }
2261284c1978SDimitry Andric }
226239d628a0SDimitry Andric
ResetCommandLineParser()22633ca95b02SDimitry Andric void cl::ResetCommandLineParser() { GlobalParser->reset(); }
ResetAllOptionOccurrences()22643ca95b02SDimitry Andric void cl::ResetAllOptionOccurrences() {
22653ca95b02SDimitry Andric GlobalParser->ResetAllOptionOccurrences();
22663ca95b02SDimitry Andric }
22673ca95b02SDimitry Andric
LLVMParseCommandLineOptions(int argc,const char * const * argv,const char * Overview)226839d628a0SDimitry Andric void LLVMParseCommandLineOptions(int argc, const char *const *argv,
226939d628a0SDimitry Andric const char *Overview) {
22707a7e6055SDimitry Andric llvm::cl::ParseCommandLineOptions(argc, argv, StringRef(Overview),
22717a7e6055SDimitry Andric &llvm::nulls());
227239d628a0SDimitry Andric }
2273