10b57cec5SDimitry Andric //===-- CommandLine.cpp - Command line parser implementation --------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This class implements a command line argument processor that is useful when
100b57cec5SDimitry Andric // creating a tool. It provides a simple, minimalistic interface that is easily
110b57cec5SDimitry Andric // extensible and supports nonlocal (library) command line options.
120b57cec5SDimitry Andric //
130b57cec5SDimitry Andric // Note that rather than trying to figure out what this code does, you could try
140b57cec5SDimitry Andric // reading the library documentation located in docs/CommandLine.html
150b57cec5SDimitry Andric //
160b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
170b57cec5SDimitry Andric
180b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h"
19*5f7ddb14SDimitry Andric
20*5f7ddb14SDimitry Andric #include "DebugOptions.h"
21*5f7ddb14SDimitry Andric
220b57cec5SDimitry Andric #include "llvm-c/Support.h"
230b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h"
240b57cec5SDimitry Andric #include "llvm/ADT/Optional.h"
250b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h"
260b57cec5SDimitry Andric #include "llvm/ADT/SmallPtrSet.h"
270b57cec5SDimitry Andric #include "llvm/ADT/SmallString.h"
280b57cec5SDimitry Andric #include "llvm/ADT/StringExtras.h"
290b57cec5SDimitry Andric #include "llvm/ADT/StringMap.h"
30480093f4SDimitry Andric #include "llvm/ADT/StringRef.h"
310b57cec5SDimitry Andric #include "llvm/ADT/Triple.h"
320b57cec5SDimitry Andric #include "llvm/ADT/Twine.h"
330b57cec5SDimitry Andric #include "llvm/Config/config.h"
340b57cec5SDimitry Andric #include "llvm/Support/ConvertUTF.h"
350b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
36480093f4SDimitry Andric #include "llvm/Support/Error.h"
370b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
380b57cec5SDimitry Andric #include "llvm/Support/FileSystem.h"
390b57cec5SDimitry Andric #include "llvm/Support/Host.h"
400b57cec5SDimitry Andric #include "llvm/Support/ManagedStatic.h"
410b57cec5SDimitry Andric #include "llvm/Support/MemoryBuffer.h"
420b57cec5SDimitry Andric #include "llvm/Support/Path.h"
430b57cec5SDimitry Andric #include "llvm/Support/Process.h"
440b57cec5SDimitry Andric #include "llvm/Support/StringSaver.h"
45480093f4SDimitry Andric #include "llvm/Support/VirtualFileSystem.h"
460b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
470b57cec5SDimitry Andric #include <cstdlib>
480b57cec5SDimitry Andric #include <map>
49480093f4SDimitry Andric #include <string>
500b57cec5SDimitry Andric using namespace llvm;
510b57cec5SDimitry Andric using namespace cl;
520b57cec5SDimitry Andric
530b57cec5SDimitry Andric #define DEBUG_TYPE "commandline"
540b57cec5SDimitry Andric
550b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
560b57cec5SDimitry Andric // Template instantiations and anchors.
570b57cec5SDimitry Andric //
580b57cec5SDimitry Andric namespace llvm {
590b57cec5SDimitry Andric namespace cl {
600b57cec5SDimitry Andric template class basic_parser<bool>;
610b57cec5SDimitry Andric template class basic_parser<boolOrDefault>;
620b57cec5SDimitry Andric template class basic_parser<int>;
63480093f4SDimitry Andric template class basic_parser<long>;
64480093f4SDimitry Andric template class basic_parser<long long>;
650b57cec5SDimitry Andric template class basic_parser<unsigned>;
660b57cec5SDimitry Andric template class basic_parser<unsigned long>;
670b57cec5SDimitry Andric template class basic_parser<unsigned long long>;
680b57cec5SDimitry Andric template class basic_parser<double>;
690b57cec5SDimitry Andric template class basic_parser<float>;
700b57cec5SDimitry Andric template class basic_parser<std::string>;
710b57cec5SDimitry Andric template class basic_parser<char>;
720b57cec5SDimitry Andric
730b57cec5SDimitry Andric template class opt<unsigned>;
740b57cec5SDimitry Andric template class opt<int>;
750b57cec5SDimitry Andric template class opt<std::string>;
760b57cec5SDimitry Andric template class opt<char>;
770b57cec5SDimitry Andric template class opt<bool>;
78*5f7ddb14SDimitry Andric } // namespace cl
79*5f7ddb14SDimitry Andric } // namespace llvm
800b57cec5SDimitry Andric
810b57cec5SDimitry Andric // Pin the vtables to this file.
anchor()820b57cec5SDimitry Andric void GenericOptionValue::anchor() {}
anchor()830b57cec5SDimitry Andric void OptionValue<boolOrDefault>::anchor() {}
anchor()840b57cec5SDimitry Andric void OptionValue<std::string>::anchor() {}
anchor()850b57cec5SDimitry Andric void Option::anchor() {}
anchor()860b57cec5SDimitry Andric void basic_parser_impl::anchor() {}
anchor()870b57cec5SDimitry Andric void parser<bool>::anchor() {}
anchor()880b57cec5SDimitry Andric void parser<boolOrDefault>::anchor() {}
anchor()890b57cec5SDimitry Andric void parser<int>::anchor() {}
anchor()90480093f4SDimitry Andric void parser<long>::anchor() {}
anchor()91480093f4SDimitry Andric void parser<long long>::anchor() {}
anchor()920b57cec5SDimitry Andric void parser<unsigned>::anchor() {}
anchor()930b57cec5SDimitry Andric void parser<unsigned long>::anchor() {}
anchor()940b57cec5SDimitry Andric void parser<unsigned long long>::anchor() {}
anchor()950b57cec5SDimitry Andric void parser<double>::anchor() {}
anchor()960b57cec5SDimitry Andric void parser<float>::anchor() {}
anchor()970b57cec5SDimitry Andric void parser<std::string>::anchor() {}
anchor()980b57cec5SDimitry Andric void parser<char>::anchor() {}
990b57cec5SDimitry Andric
1000b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
1010b57cec5SDimitry Andric
102480093f4SDimitry Andric const static size_t DefaultPad = 2;
103480093f4SDimitry Andric
1040b57cec5SDimitry Andric static StringRef ArgPrefix = "-";
1050b57cec5SDimitry Andric static StringRef ArgPrefixLong = "--";
1060b57cec5SDimitry Andric static StringRef ArgHelpPrefix = " - ";
1070b57cec5SDimitry Andric
argPlusPrefixesSize(StringRef ArgName,size_t Pad=DefaultPad)108480093f4SDimitry Andric static size_t argPlusPrefixesSize(StringRef ArgName, size_t Pad = DefaultPad) {
1090b57cec5SDimitry Andric size_t Len = ArgName.size();
1100b57cec5SDimitry Andric if (Len == 1)
111480093f4SDimitry Andric return Len + Pad + ArgPrefix.size() + ArgHelpPrefix.size();
112480093f4SDimitry Andric return Len + Pad + ArgPrefixLong.size() + ArgHelpPrefix.size();
1130b57cec5SDimitry Andric }
1140b57cec5SDimitry Andric
argPrefix(StringRef ArgName,size_t Pad=DefaultPad)115480093f4SDimitry Andric static SmallString<8> argPrefix(StringRef ArgName, size_t Pad = DefaultPad) {
116480093f4SDimitry Andric SmallString<8> Prefix;
117480093f4SDimitry Andric for (size_t I = 0; I < Pad; ++I) {
118480093f4SDimitry Andric Prefix.push_back(' ');
119480093f4SDimitry Andric }
120480093f4SDimitry Andric Prefix.append(ArgName.size() > 1 ? ArgPrefixLong : ArgPrefix);
121480093f4SDimitry Andric return Prefix;
1220b57cec5SDimitry Andric }
1230b57cec5SDimitry Andric
1240b57cec5SDimitry Andric // Option predicates...
isGrouping(const Option * O)1250b57cec5SDimitry Andric static inline bool isGrouping(const Option *O) {
1260b57cec5SDimitry Andric return O->getMiscFlags() & cl::Grouping;
1270b57cec5SDimitry Andric }
isPrefixedOrGrouping(const Option * O)1280b57cec5SDimitry Andric static inline bool isPrefixedOrGrouping(const Option *O) {
1290b57cec5SDimitry Andric return isGrouping(O) || O->getFormattingFlag() == cl::Prefix ||
1300b57cec5SDimitry Andric O->getFormattingFlag() == cl::AlwaysPrefix;
1310b57cec5SDimitry Andric }
1320b57cec5SDimitry Andric
1330b57cec5SDimitry Andric
1340b57cec5SDimitry Andric namespace {
1350b57cec5SDimitry Andric
1360b57cec5SDimitry Andric class PrintArg {
1370b57cec5SDimitry Andric StringRef ArgName;
138480093f4SDimitry Andric size_t Pad;
1390b57cec5SDimitry Andric public:
PrintArg(StringRef ArgName,size_t Pad=DefaultPad)140480093f4SDimitry Andric PrintArg(StringRef ArgName, size_t Pad = DefaultPad) : ArgName(ArgName), Pad(Pad) {}
1410b57cec5SDimitry Andric friend raw_ostream &operator<<(raw_ostream &OS, const PrintArg &);
1420b57cec5SDimitry Andric };
1430b57cec5SDimitry Andric
operator <<(raw_ostream & OS,const PrintArg & Arg)1440b57cec5SDimitry Andric raw_ostream &operator<<(raw_ostream &OS, const PrintArg& Arg) {
145480093f4SDimitry Andric OS << argPrefix(Arg.ArgName, Arg.Pad) << Arg.ArgName;
1460b57cec5SDimitry Andric return OS;
1470b57cec5SDimitry Andric }
1480b57cec5SDimitry Andric
1490b57cec5SDimitry Andric class CommandLineParser {
1500b57cec5SDimitry Andric public:
1510b57cec5SDimitry Andric // Globals for name and overview of program. Program name is not a string to
1520b57cec5SDimitry Andric // avoid static ctor/dtor issues.
1530b57cec5SDimitry Andric std::string ProgramName;
1540b57cec5SDimitry Andric StringRef ProgramOverview;
1550b57cec5SDimitry Andric
1560b57cec5SDimitry Andric // This collects additional help to be printed.
1570b57cec5SDimitry Andric std::vector<StringRef> MoreHelp;
1580b57cec5SDimitry Andric
1590b57cec5SDimitry Andric // This collects Options added with the cl::DefaultOption flag. Since they can
1600b57cec5SDimitry Andric // be overridden, they are not added to the appropriate SubCommands until
1610b57cec5SDimitry Andric // ParseCommandLineOptions actually runs.
1620b57cec5SDimitry Andric SmallVector<Option*, 4> DefaultOptions;
1630b57cec5SDimitry Andric
1640b57cec5SDimitry Andric // This collects the different option categories that have been registered.
1650b57cec5SDimitry Andric SmallPtrSet<OptionCategory *, 16> RegisteredOptionCategories;
1660b57cec5SDimitry Andric
1670b57cec5SDimitry Andric // This collects the different subcommands that have been registered.
1680b57cec5SDimitry Andric SmallPtrSet<SubCommand *, 4> RegisteredSubCommands;
1690b57cec5SDimitry Andric
CommandLineParser()1700b57cec5SDimitry Andric CommandLineParser() : ActiveSubCommand(nullptr) {
1710b57cec5SDimitry Andric registerSubCommand(&*TopLevelSubCommand);
1720b57cec5SDimitry Andric registerSubCommand(&*AllSubCommands);
1730b57cec5SDimitry Andric }
1740b57cec5SDimitry Andric
1750b57cec5SDimitry Andric void ResetAllOptionOccurrences();
1760b57cec5SDimitry Andric
1770b57cec5SDimitry Andric bool ParseCommandLineOptions(int argc, const char *const *argv,
1780b57cec5SDimitry Andric StringRef Overview, raw_ostream *Errs = nullptr,
1790b57cec5SDimitry Andric bool LongOptionsUseDoubleDash = false);
1800b57cec5SDimitry Andric
addLiteralOption(Option & Opt,SubCommand * SC,StringRef Name)1810b57cec5SDimitry Andric void addLiteralOption(Option &Opt, SubCommand *SC, StringRef Name) {
1820b57cec5SDimitry Andric if (Opt.hasArgStr())
1830b57cec5SDimitry Andric return;
1840b57cec5SDimitry Andric if (!SC->OptionsMap.insert(std::make_pair(Name, &Opt)).second) {
1850b57cec5SDimitry Andric errs() << ProgramName << ": CommandLine Error: Option '" << Name
1860b57cec5SDimitry Andric << "' registered more than once!\n";
1870b57cec5SDimitry Andric report_fatal_error("inconsistency in registered CommandLine options");
1880b57cec5SDimitry Andric }
1890b57cec5SDimitry Andric
1900b57cec5SDimitry Andric // If we're adding this to all sub-commands, add it to the ones that have
1910b57cec5SDimitry Andric // already been registered.
1920b57cec5SDimitry Andric if (SC == &*AllSubCommands) {
193480093f4SDimitry Andric for (auto *Sub : RegisteredSubCommands) {
1940b57cec5SDimitry Andric if (SC == Sub)
1950b57cec5SDimitry Andric continue;
1960b57cec5SDimitry Andric addLiteralOption(Opt, Sub, Name);
1970b57cec5SDimitry Andric }
1980b57cec5SDimitry Andric }
1990b57cec5SDimitry Andric }
2000b57cec5SDimitry Andric
addLiteralOption(Option & Opt,StringRef Name)2010b57cec5SDimitry Andric void addLiteralOption(Option &Opt, StringRef Name) {
2020b57cec5SDimitry Andric if (Opt.Subs.empty())
2030b57cec5SDimitry Andric addLiteralOption(Opt, &*TopLevelSubCommand, Name);
2040b57cec5SDimitry Andric else {
205*5f7ddb14SDimitry Andric for (auto *SC : Opt.Subs)
2060b57cec5SDimitry Andric addLiteralOption(Opt, SC, Name);
2070b57cec5SDimitry Andric }
2080b57cec5SDimitry Andric }
2090b57cec5SDimitry Andric
addOption(Option * O,SubCommand * SC)2100b57cec5SDimitry Andric void addOption(Option *O, SubCommand *SC) {
2110b57cec5SDimitry Andric bool HadErrors = false;
2120b57cec5SDimitry Andric if (O->hasArgStr()) {
2130b57cec5SDimitry Andric // If it's a DefaultOption, check to make sure it isn't already there.
2140b57cec5SDimitry Andric if (O->isDefaultOption() &&
2150b57cec5SDimitry Andric SC->OptionsMap.find(O->ArgStr) != SC->OptionsMap.end())
2160b57cec5SDimitry Andric return;
2170b57cec5SDimitry Andric
2180b57cec5SDimitry Andric // Add argument to the argument map!
2190b57cec5SDimitry Andric if (!SC->OptionsMap.insert(std::make_pair(O->ArgStr, O)).second) {
2200b57cec5SDimitry Andric errs() << ProgramName << ": CommandLine Error: Option '" << O->ArgStr
2210b57cec5SDimitry Andric << "' registered more than once!\n";
2220b57cec5SDimitry Andric HadErrors = true;
2230b57cec5SDimitry Andric }
2240b57cec5SDimitry Andric }
2250b57cec5SDimitry Andric
2260b57cec5SDimitry Andric // Remember information about positional options.
2270b57cec5SDimitry Andric if (O->getFormattingFlag() == cl::Positional)
2280b57cec5SDimitry Andric SC->PositionalOpts.push_back(O);
2290b57cec5SDimitry Andric else if (O->getMiscFlags() & cl::Sink) // Remember sink options
2300b57cec5SDimitry Andric SC->SinkOpts.push_back(O);
2310b57cec5SDimitry Andric else if (O->getNumOccurrencesFlag() == cl::ConsumeAfter) {
2320b57cec5SDimitry Andric if (SC->ConsumeAfterOpt) {
2330b57cec5SDimitry Andric O->error("Cannot specify more than one option with cl::ConsumeAfter!");
2340b57cec5SDimitry Andric HadErrors = true;
2350b57cec5SDimitry Andric }
2360b57cec5SDimitry Andric SC->ConsumeAfterOpt = O;
2370b57cec5SDimitry Andric }
2380b57cec5SDimitry Andric
2390b57cec5SDimitry Andric // Fail hard if there were errors. These are strictly unrecoverable and
2400b57cec5SDimitry Andric // indicate serious issues such as conflicting option names or an
2410b57cec5SDimitry Andric // incorrectly
2420b57cec5SDimitry Andric // linked LLVM distribution.
2430b57cec5SDimitry Andric if (HadErrors)
2440b57cec5SDimitry Andric report_fatal_error("inconsistency in registered CommandLine options");
2450b57cec5SDimitry Andric
2460b57cec5SDimitry Andric // If we're adding this to all sub-commands, add it to the ones that have
2470b57cec5SDimitry Andric // already been registered.
2480b57cec5SDimitry Andric if (SC == &*AllSubCommands) {
249480093f4SDimitry Andric for (auto *Sub : RegisteredSubCommands) {
2500b57cec5SDimitry Andric if (SC == Sub)
2510b57cec5SDimitry Andric continue;
2520b57cec5SDimitry Andric addOption(O, Sub);
2530b57cec5SDimitry Andric }
2540b57cec5SDimitry Andric }
2550b57cec5SDimitry Andric }
2560b57cec5SDimitry Andric
addOption(Option * O,bool ProcessDefaultOption=false)2570b57cec5SDimitry Andric void addOption(Option *O, bool ProcessDefaultOption = false) {
2580b57cec5SDimitry Andric if (!ProcessDefaultOption && O->isDefaultOption()) {
2590b57cec5SDimitry Andric DefaultOptions.push_back(O);
2600b57cec5SDimitry Andric return;
2610b57cec5SDimitry Andric }
2620b57cec5SDimitry Andric
2630b57cec5SDimitry Andric if (O->Subs.empty()) {
2640b57cec5SDimitry Andric addOption(O, &*TopLevelSubCommand);
2650b57cec5SDimitry Andric } else {
266*5f7ddb14SDimitry Andric for (auto *SC : O->Subs)
2670b57cec5SDimitry Andric addOption(O, SC);
2680b57cec5SDimitry Andric }
2690b57cec5SDimitry Andric }
2700b57cec5SDimitry Andric
removeOption(Option * O,SubCommand * SC)2710b57cec5SDimitry Andric void removeOption(Option *O, SubCommand *SC) {
2720b57cec5SDimitry Andric SmallVector<StringRef, 16> OptionNames;
2730b57cec5SDimitry Andric O->getExtraOptionNames(OptionNames);
2740b57cec5SDimitry Andric if (O->hasArgStr())
2750b57cec5SDimitry Andric OptionNames.push_back(O->ArgStr);
2760b57cec5SDimitry Andric
2770b57cec5SDimitry Andric SubCommand &Sub = *SC;
2780b57cec5SDimitry Andric auto End = Sub.OptionsMap.end();
2790b57cec5SDimitry Andric for (auto Name : OptionNames) {
2800b57cec5SDimitry Andric auto I = Sub.OptionsMap.find(Name);
2810b57cec5SDimitry Andric if (I != End && I->getValue() == O)
2820b57cec5SDimitry Andric Sub.OptionsMap.erase(I);
2830b57cec5SDimitry Andric }
2840b57cec5SDimitry Andric
2850b57cec5SDimitry Andric if (O->getFormattingFlag() == cl::Positional)
286*5f7ddb14SDimitry Andric for (auto *Opt = Sub.PositionalOpts.begin();
2870b57cec5SDimitry Andric Opt != Sub.PositionalOpts.end(); ++Opt) {
2880b57cec5SDimitry Andric if (*Opt == O) {
2890b57cec5SDimitry Andric Sub.PositionalOpts.erase(Opt);
2900b57cec5SDimitry Andric break;
2910b57cec5SDimitry Andric }
2920b57cec5SDimitry Andric }
2930b57cec5SDimitry Andric else if (O->getMiscFlags() & cl::Sink)
294*5f7ddb14SDimitry Andric for (auto *Opt = Sub.SinkOpts.begin(); Opt != Sub.SinkOpts.end(); ++Opt) {
2950b57cec5SDimitry Andric if (*Opt == O) {
2960b57cec5SDimitry Andric Sub.SinkOpts.erase(Opt);
2970b57cec5SDimitry Andric break;
2980b57cec5SDimitry Andric }
2990b57cec5SDimitry Andric }
3000b57cec5SDimitry Andric else if (O == Sub.ConsumeAfterOpt)
3010b57cec5SDimitry Andric Sub.ConsumeAfterOpt = nullptr;
3020b57cec5SDimitry Andric }
3030b57cec5SDimitry Andric
removeOption(Option * O)3040b57cec5SDimitry Andric void removeOption(Option *O) {
3050b57cec5SDimitry Andric if (O->Subs.empty())
3060b57cec5SDimitry Andric removeOption(O, &*TopLevelSubCommand);
3070b57cec5SDimitry Andric else {
3080b57cec5SDimitry Andric if (O->isInAllSubCommands()) {
309*5f7ddb14SDimitry Andric for (auto *SC : RegisteredSubCommands)
3100b57cec5SDimitry Andric removeOption(O, SC);
3110b57cec5SDimitry Andric } else {
312*5f7ddb14SDimitry Andric for (auto *SC : O->Subs)
3130b57cec5SDimitry Andric removeOption(O, SC);
3140b57cec5SDimitry Andric }
3150b57cec5SDimitry Andric }
3160b57cec5SDimitry Andric }
3170b57cec5SDimitry Andric
hasOptions(const SubCommand & Sub) const3180b57cec5SDimitry Andric bool hasOptions(const SubCommand &Sub) const {
3190b57cec5SDimitry Andric return (!Sub.OptionsMap.empty() || !Sub.PositionalOpts.empty() ||
3200b57cec5SDimitry Andric nullptr != Sub.ConsumeAfterOpt);
3210b57cec5SDimitry Andric }
3220b57cec5SDimitry Andric
hasOptions() const3230b57cec5SDimitry Andric bool hasOptions() const {
324480093f4SDimitry Andric for (const auto *S : RegisteredSubCommands) {
3250b57cec5SDimitry Andric if (hasOptions(*S))
3260b57cec5SDimitry Andric return true;
3270b57cec5SDimitry Andric }
3280b57cec5SDimitry Andric return false;
3290b57cec5SDimitry Andric }
3300b57cec5SDimitry Andric
getActiveSubCommand()3310b57cec5SDimitry Andric SubCommand *getActiveSubCommand() { return ActiveSubCommand; }
3320b57cec5SDimitry Andric
updateArgStr(Option * O,StringRef NewName,SubCommand * SC)3330b57cec5SDimitry Andric void updateArgStr(Option *O, StringRef NewName, SubCommand *SC) {
3340b57cec5SDimitry Andric SubCommand &Sub = *SC;
3350b57cec5SDimitry Andric if (!Sub.OptionsMap.insert(std::make_pair(NewName, O)).second) {
3360b57cec5SDimitry Andric errs() << ProgramName << ": CommandLine Error: Option '" << O->ArgStr
3370b57cec5SDimitry Andric << "' registered more than once!\n";
3380b57cec5SDimitry Andric report_fatal_error("inconsistency in registered CommandLine options");
3390b57cec5SDimitry Andric }
3400b57cec5SDimitry Andric Sub.OptionsMap.erase(O->ArgStr);
3410b57cec5SDimitry Andric }
3420b57cec5SDimitry Andric
updateArgStr(Option * O,StringRef NewName)3430b57cec5SDimitry Andric void updateArgStr(Option *O, StringRef NewName) {
3440b57cec5SDimitry Andric if (O->Subs.empty())
3450b57cec5SDimitry Andric updateArgStr(O, NewName, &*TopLevelSubCommand);
3460b57cec5SDimitry Andric else {
3470b57cec5SDimitry Andric if (O->isInAllSubCommands()) {
348*5f7ddb14SDimitry Andric for (auto *SC : RegisteredSubCommands)
3490b57cec5SDimitry Andric updateArgStr(O, NewName, SC);
3500b57cec5SDimitry Andric } else {
351*5f7ddb14SDimitry Andric for (auto *SC : O->Subs)
3520b57cec5SDimitry Andric updateArgStr(O, NewName, SC);
3530b57cec5SDimitry Andric }
3540b57cec5SDimitry Andric }
3550b57cec5SDimitry Andric }
3560b57cec5SDimitry Andric
3570b57cec5SDimitry Andric void printOptionValues();
3580b57cec5SDimitry Andric
registerCategory(OptionCategory * cat)3590b57cec5SDimitry Andric void registerCategory(OptionCategory *cat) {
3600b57cec5SDimitry Andric assert(count_if(RegisteredOptionCategories,
3610b57cec5SDimitry Andric [cat](const OptionCategory *Category) {
3620b57cec5SDimitry Andric return cat->getName() == Category->getName();
3630b57cec5SDimitry Andric }) == 0 &&
3640b57cec5SDimitry Andric "Duplicate option categories");
3650b57cec5SDimitry Andric
3660b57cec5SDimitry Andric RegisteredOptionCategories.insert(cat);
3670b57cec5SDimitry Andric }
3680b57cec5SDimitry Andric
registerSubCommand(SubCommand * sub)3690b57cec5SDimitry Andric void registerSubCommand(SubCommand *sub) {
3700b57cec5SDimitry Andric assert(count_if(RegisteredSubCommands,
3710b57cec5SDimitry Andric [sub](const SubCommand *Sub) {
3720b57cec5SDimitry Andric return (!sub->getName().empty()) &&
3730b57cec5SDimitry Andric (Sub->getName() == sub->getName());
3740b57cec5SDimitry Andric }) == 0 &&
3750b57cec5SDimitry Andric "Duplicate subcommands");
3760b57cec5SDimitry Andric RegisteredSubCommands.insert(sub);
3770b57cec5SDimitry Andric
3780b57cec5SDimitry Andric // For all options that have been registered for all subcommands, add the
3790b57cec5SDimitry Andric // option to this subcommand now.
3800b57cec5SDimitry Andric if (sub != &*AllSubCommands) {
3810b57cec5SDimitry Andric for (auto &E : AllSubCommands->OptionsMap) {
3820b57cec5SDimitry Andric Option *O = E.second;
3830b57cec5SDimitry Andric if ((O->isPositional() || O->isSink() || O->isConsumeAfter()) ||
3840b57cec5SDimitry Andric O->hasArgStr())
3850b57cec5SDimitry Andric addOption(O, sub);
3860b57cec5SDimitry Andric else
3870b57cec5SDimitry Andric addLiteralOption(*O, sub, E.first());
3880b57cec5SDimitry Andric }
3890b57cec5SDimitry Andric }
3900b57cec5SDimitry Andric }
3910b57cec5SDimitry Andric
unregisterSubCommand(SubCommand * sub)3920b57cec5SDimitry Andric void unregisterSubCommand(SubCommand *sub) {
3930b57cec5SDimitry Andric RegisteredSubCommands.erase(sub);
3940b57cec5SDimitry Andric }
3950b57cec5SDimitry Andric
3960b57cec5SDimitry Andric iterator_range<typename SmallPtrSet<SubCommand *, 4>::iterator>
getRegisteredSubcommands()3970b57cec5SDimitry Andric getRegisteredSubcommands() {
3980b57cec5SDimitry Andric return make_range(RegisteredSubCommands.begin(),
3990b57cec5SDimitry Andric RegisteredSubCommands.end());
4000b57cec5SDimitry Andric }
4010b57cec5SDimitry Andric
reset()4020b57cec5SDimitry Andric void reset() {
4030b57cec5SDimitry Andric ActiveSubCommand = nullptr;
4040b57cec5SDimitry Andric ProgramName.clear();
4050b57cec5SDimitry Andric ProgramOverview = StringRef();
4060b57cec5SDimitry Andric
4070b57cec5SDimitry Andric MoreHelp.clear();
4080b57cec5SDimitry Andric RegisteredOptionCategories.clear();
4090b57cec5SDimitry Andric
4100b57cec5SDimitry Andric ResetAllOptionOccurrences();
4110b57cec5SDimitry Andric RegisteredSubCommands.clear();
4120b57cec5SDimitry Andric
4130b57cec5SDimitry Andric TopLevelSubCommand->reset();
4140b57cec5SDimitry Andric AllSubCommands->reset();
4150b57cec5SDimitry Andric registerSubCommand(&*TopLevelSubCommand);
4160b57cec5SDimitry Andric registerSubCommand(&*AllSubCommands);
4170b57cec5SDimitry Andric
4180b57cec5SDimitry Andric DefaultOptions.clear();
4190b57cec5SDimitry Andric }
4200b57cec5SDimitry Andric
4210b57cec5SDimitry Andric private:
4220b57cec5SDimitry Andric SubCommand *ActiveSubCommand;
4230b57cec5SDimitry Andric
4240b57cec5SDimitry Andric Option *LookupOption(SubCommand &Sub, StringRef &Arg, StringRef &Value);
LookupLongOption(SubCommand & Sub,StringRef & Arg,StringRef & Value,bool LongOptionsUseDoubleDash,bool HaveDoubleDash)4250b57cec5SDimitry Andric Option *LookupLongOption(SubCommand &Sub, StringRef &Arg, StringRef &Value,
4260b57cec5SDimitry Andric bool LongOptionsUseDoubleDash, bool HaveDoubleDash) {
4270b57cec5SDimitry Andric Option *Opt = LookupOption(Sub, Arg, Value);
4280b57cec5SDimitry Andric if (Opt && LongOptionsUseDoubleDash && !HaveDoubleDash && !isGrouping(Opt))
4290b57cec5SDimitry Andric return nullptr;
4300b57cec5SDimitry Andric return Opt;
4310b57cec5SDimitry Andric }
4320b57cec5SDimitry Andric SubCommand *LookupSubCommand(StringRef Name);
4330b57cec5SDimitry Andric };
4340b57cec5SDimitry Andric
4350b57cec5SDimitry Andric } // namespace
4360b57cec5SDimitry Andric
4370b57cec5SDimitry Andric static ManagedStatic<CommandLineParser> GlobalParser;
4380b57cec5SDimitry Andric
AddLiteralOption(Option & O,StringRef Name)4390b57cec5SDimitry Andric void cl::AddLiteralOption(Option &O, StringRef Name) {
4400b57cec5SDimitry Andric GlobalParser->addLiteralOption(O, Name);
4410b57cec5SDimitry Andric }
4420b57cec5SDimitry Andric
extrahelp(StringRef Help)4430b57cec5SDimitry Andric extrahelp::extrahelp(StringRef Help) : morehelp(Help) {
4440b57cec5SDimitry Andric GlobalParser->MoreHelp.push_back(Help);
4450b57cec5SDimitry Andric }
4460b57cec5SDimitry Andric
addArgument()4470b57cec5SDimitry Andric void Option::addArgument() {
4480b57cec5SDimitry Andric GlobalParser->addOption(this);
4490b57cec5SDimitry Andric FullyInitialized = true;
4500b57cec5SDimitry Andric }
4510b57cec5SDimitry Andric
removeArgument()4520b57cec5SDimitry Andric void Option::removeArgument() { GlobalParser->removeOption(this); }
4530b57cec5SDimitry Andric
setArgStr(StringRef S)4540b57cec5SDimitry Andric void Option::setArgStr(StringRef S) {
4550b57cec5SDimitry Andric if (FullyInitialized)
4560b57cec5SDimitry Andric GlobalParser->updateArgStr(this, S);
4570b57cec5SDimitry Andric assert((S.empty() || S[0] != '-') && "Option can't start with '-");
4580b57cec5SDimitry Andric ArgStr = S;
4590b57cec5SDimitry Andric if (ArgStr.size() == 1)
4600b57cec5SDimitry Andric setMiscFlag(Grouping);
4610b57cec5SDimitry Andric }
4620b57cec5SDimitry Andric
addCategory(OptionCategory & C)4630b57cec5SDimitry Andric void Option::addCategory(OptionCategory &C) {
4640b57cec5SDimitry Andric assert(!Categories.empty() && "Categories cannot be empty.");
4650b57cec5SDimitry Andric // Maintain backward compatibility by replacing the default GeneralCategory
4660b57cec5SDimitry Andric // if it's still set. Otherwise, just add the new one. The GeneralCategory
4670b57cec5SDimitry Andric // must be explicitly added if you want multiple categories that include it.
468*5f7ddb14SDimitry Andric if (&C != &getGeneralCategory() && Categories[0] == &getGeneralCategory())
4690b57cec5SDimitry Andric Categories[0] = &C;
470af732203SDimitry Andric else if (!is_contained(Categories, &C))
4710b57cec5SDimitry Andric Categories.push_back(&C);
4720b57cec5SDimitry Andric }
4730b57cec5SDimitry Andric
reset()4740b57cec5SDimitry Andric void Option::reset() {
4750b57cec5SDimitry Andric NumOccurrences = 0;
4760b57cec5SDimitry Andric setDefault();
4770b57cec5SDimitry Andric if (isDefaultOption())
4780b57cec5SDimitry Andric removeArgument();
4790b57cec5SDimitry Andric }
4800b57cec5SDimitry Andric
registerCategory()4810b57cec5SDimitry Andric void OptionCategory::registerCategory() {
4820b57cec5SDimitry Andric GlobalParser->registerCategory(this);
4830b57cec5SDimitry Andric }
4840b57cec5SDimitry Andric
4850b57cec5SDimitry Andric // A special subcommand representing no subcommand. It is particularly important
4860b57cec5SDimitry Andric // that this ManagedStatic uses constant initailization and not dynamic
4870b57cec5SDimitry Andric // initialization because it is referenced from cl::opt constructors, which run
4880b57cec5SDimitry Andric // dynamically in an arbitrary order.
4890b57cec5SDimitry Andric LLVM_REQUIRE_CONSTANT_INITIALIZATION
4900b57cec5SDimitry Andric ManagedStatic<SubCommand> llvm::cl::TopLevelSubCommand;
4910b57cec5SDimitry Andric
4920b57cec5SDimitry Andric // A special subcommand that can be used to put an option into all subcommands.
4930b57cec5SDimitry Andric ManagedStatic<SubCommand> llvm::cl::AllSubCommands;
4940b57cec5SDimitry Andric
registerSubCommand()4950b57cec5SDimitry Andric void SubCommand::registerSubCommand() {
4960b57cec5SDimitry Andric GlobalParser->registerSubCommand(this);
4970b57cec5SDimitry Andric }
4980b57cec5SDimitry Andric
unregisterSubCommand()4990b57cec5SDimitry Andric void SubCommand::unregisterSubCommand() {
5000b57cec5SDimitry Andric GlobalParser->unregisterSubCommand(this);
5010b57cec5SDimitry Andric }
5020b57cec5SDimitry Andric
reset()5030b57cec5SDimitry Andric void SubCommand::reset() {
5040b57cec5SDimitry Andric PositionalOpts.clear();
5050b57cec5SDimitry Andric SinkOpts.clear();
5060b57cec5SDimitry Andric OptionsMap.clear();
5070b57cec5SDimitry Andric
5080b57cec5SDimitry Andric ConsumeAfterOpt = nullptr;
5090b57cec5SDimitry Andric }
5100b57cec5SDimitry Andric
operator bool() const5110b57cec5SDimitry Andric SubCommand::operator bool() const {
5120b57cec5SDimitry Andric return (GlobalParser->getActiveSubCommand() == this);
5130b57cec5SDimitry Andric }
5140b57cec5SDimitry Andric
5150b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
5160b57cec5SDimitry Andric // Basic, shared command line option processing machinery.
5170b57cec5SDimitry Andric //
5180b57cec5SDimitry Andric
5190b57cec5SDimitry Andric /// LookupOption - Lookup the option specified by the specified option on the
5200b57cec5SDimitry Andric /// command line. If there is a value specified (after an equal sign) return
5210b57cec5SDimitry Andric /// that as well. This assumes that leading dashes have already been stripped.
LookupOption(SubCommand & Sub,StringRef & Arg,StringRef & Value)5220b57cec5SDimitry Andric Option *CommandLineParser::LookupOption(SubCommand &Sub, StringRef &Arg,
5230b57cec5SDimitry Andric StringRef &Value) {
5240b57cec5SDimitry Andric // Reject all dashes.
5250b57cec5SDimitry Andric if (Arg.empty())
5260b57cec5SDimitry Andric return nullptr;
5270b57cec5SDimitry Andric assert(&Sub != &*AllSubCommands);
5280b57cec5SDimitry Andric
5290b57cec5SDimitry Andric size_t EqualPos = Arg.find('=');
5300b57cec5SDimitry Andric
5310b57cec5SDimitry Andric // If we have an equals sign, remember the value.
5320b57cec5SDimitry Andric if (EqualPos == StringRef::npos) {
5330b57cec5SDimitry Andric // Look up the option.
534af732203SDimitry Andric return Sub.OptionsMap.lookup(Arg);
5350b57cec5SDimitry Andric }
5360b57cec5SDimitry Andric
5370b57cec5SDimitry Andric // If the argument before the = is a valid option name and the option allows
5380b57cec5SDimitry Andric // non-prefix form (ie is not AlwaysPrefix), we match. If not, signal match
5390b57cec5SDimitry Andric // failure by returning nullptr.
5400b57cec5SDimitry Andric auto I = Sub.OptionsMap.find(Arg.substr(0, EqualPos));
5410b57cec5SDimitry Andric if (I == Sub.OptionsMap.end())
5420b57cec5SDimitry Andric return nullptr;
5430b57cec5SDimitry Andric
544*5f7ddb14SDimitry Andric auto *O = I->second;
5450b57cec5SDimitry Andric if (O->getFormattingFlag() == cl::AlwaysPrefix)
5460b57cec5SDimitry Andric return nullptr;
5470b57cec5SDimitry Andric
5480b57cec5SDimitry Andric Value = Arg.substr(EqualPos + 1);
5490b57cec5SDimitry Andric Arg = Arg.substr(0, EqualPos);
5500b57cec5SDimitry Andric return I->second;
5510b57cec5SDimitry Andric }
5520b57cec5SDimitry Andric
LookupSubCommand(StringRef Name)5530b57cec5SDimitry Andric SubCommand *CommandLineParser::LookupSubCommand(StringRef Name) {
5540b57cec5SDimitry Andric if (Name.empty())
5550b57cec5SDimitry Andric return &*TopLevelSubCommand;
556*5f7ddb14SDimitry Andric for (auto *S : RegisteredSubCommands) {
5570b57cec5SDimitry Andric if (S == &*AllSubCommands)
5580b57cec5SDimitry Andric continue;
5590b57cec5SDimitry Andric if (S->getName().empty())
5600b57cec5SDimitry Andric continue;
5610b57cec5SDimitry Andric
5620b57cec5SDimitry Andric if (StringRef(S->getName()) == StringRef(Name))
5630b57cec5SDimitry Andric return S;
5640b57cec5SDimitry Andric }
5650b57cec5SDimitry Andric return &*TopLevelSubCommand;
5660b57cec5SDimitry Andric }
5670b57cec5SDimitry Andric
5680b57cec5SDimitry Andric /// LookupNearestOption - Lookup the closest match to the option specified by
5690b57cec5SDimitry Andric /// the specified option on the command line. If there is a value specified
5700b57cec5SDimitry Andric /// (after an equal sign) return that as well. This assumes that leading dashes
5710b57cec5SDimitry Andric /// have already been stripped.
LookupNearestOption(StringRef Arg,const StringMap<Option * > & OptionsMap,std::string & NearestString)5720b57cec5SDimitry Andric static Option *LookupNearestOption(StringRef Arg,
5730b57cec5SDimitry Andric const StringMap<Option *> &OptionsMap,
5740b57cec5SDimitry Andric std::string &NearestString) {
5750b57cec5SDimitry Andric // Reject all dashes.
5760b57cec5SDimitry Andric if (Arg.empty())
5770b57cec5SDimitry Andric return nullptr;
5780b57cec5SDimitry Andric
5790b57cec5SDimitry Andric // Split on any equal sign.
5800b57cec5SDimitry Andric std::pair<StringRef, StringRef> SplitArg = Arg.split('=');
5810b57cec5SDimitry Andric StringRef &LHS = SplitArg.first; // LHS == Arg when no '=' is present.
5820b57cec5SDimitry Andric StringRef &RHS = SplitArg.second;
5830b57cec5SDimitry Andric
5840b57cec5SDimitry Andric // Find the closest match.
5850b57cec5SDimitry Andric Option *Best = nullptr;
5860b57cec5SDimitry Andric unsigned BestDistance = 0;
5870b57cec5SDimitry Andric for (StringMap<Option *>::const_iterator it = OptionsMap.begin(),
5880b57cec5SDimitry Andric ie = OptionsMap.end();
5890b57cec5SDimitry Andric it != ie; ++it) {
5900b57cec5SDimitry Andric Option *O = it->second;
5915ffd83dbSDimitry Andric // Do not suggest really hidden options (not shown in any help).
5925ffd83dbSDimitry Andric if (O->getOptionHiddenFlag() == ReallyHidden)
5935ffd83dbSDimitry Andric continue;
5945ffd83dbSDimitry Andric
5950b57cec5SDimitry Andric SmallVector<StringRef, 16> OptionNames;
5960b57cec5SDimitry Andric O->getExtraOptionNames(OptionNames);
5970b57cec5SDimitry Andric if (O->hasArgStr())
5980b57cec5SDimitry Andric OptionNames.push_back(O->ArgStr);
5990b57cec5SDimitry Andric
6000b57cec5SDimitry Andric bool PermitValue = O->getValueExpectedFlag() != cl::ValueDisallowed;
6010b57cec5SDimitry Andric StringRef Flag = PermitValue ? LHS : Arg;
602*5f7ddb14SDimitry Andric for (const auto &Name : OptionNames) {
6030b57cec5SDimitry Andric unsigned Distance = StringRef(Name).edit_distance(
6040b57cec5SDimitry Andric Flag, /*AllowReplacements=*/true, /*MaxEditDistance=*/BestDistance);
6050b57cec5SDimitry Andric if (!Best || Distance < BestDistance) {
6060b57cec5SDimitry Andric Best = O;
6070b57cec5SDimitry Andric BestDistance = Distance;
6080b57cec5SDimitry Andric if (RHS.empty() || !PermitValue)
6095ffd83dbSDimitry Andric NearestString = std::string(Name);
6100b57cec5SDimitry Andric else
6110b57cec5SDimitry Andric NearestString = (Twine(Name) + "=" + RHS).str();
6120b57cec5SDimitry Andric }
6130b57cec5SDimitry Andric }
6140b57cec5SDimitry Andric }
6150b57cec5SDimitry Andric
6160b57cec5SDimitry Andric return Best;
6170b57cec5SDimitry Andric }
6180b57cec5SDimitry Andric
6190b57cec5SDimitry Andric /// CommaSeparateAndAddOccurrence - A wrapper around Handler->addOccurrence()
6200b57cec5SDimitry Andric /// that does special handling of cl::CommaSeparated options.
CommaSeparateAndAddOccurrence(Option * Handler,unsigned pos,StringRef ArgName,StringRef Value,bool MultiArg=false)6210b57cec5SDimitry Andric static bool CommaSeparateAndAddOccurrence(Option *Handler, unsigned pos,
6220b57cec5SDimitry Andric StringRef ArgName, StringRef Value,
6230b57cec5SDimitry Andric bool MultiArg = false) {
6240b57cec5SDimitry Andric // Check to see if this option accepts a comma separated list of values. If
6250b57cec5SDimitry Andric // it does, we have to split up the value into multiple values.
6260b57cec5SDimitry Andric if (Handler->getMiscFlags() & CommaSeparated) {
6270b57cec5SDimitry Andric StringRef Val(Value);
6280b57cec5SDimitry Andric StringRef::size_type Pos = Val.find(',');
6290b57cec5SDimitry Andric
6300b57cec5SDimitry Andric while (Pos != StringRef::npos) {
6310b57cec5SDimitry Andric // Process the portion before the comma.
6320b57cec5SDimitry Andric if (Handler->addOccurrence(pos, ArgName, Val.substr(0, Pos), MultiArg))
6330b57cec5SDimitry Andric return true;
6340b57cec5SDimitry Andric // Erase the portion before the comma, AND the comma.
6350b57cec5SDimitry Andric Val = Val.substr(Pos + 1);
6360b57cec5SDimitry Andric // Check for another comma.
6370b57cec5SDimitry Andric Pos = Val.find(',');
6380b57cec5SDimitry Andric }
6390b57cec5SDimitry Andric
6400b57cec5SDimitry Andric Value = Val;
6410b57cec5SDimitry Andric }
6420b57cec5SDimitry Andric
6430b57cec5SDimitry Andric return Handler->addOccurrence(pos, ArgName, Value, MultiArg);
6440b57cec5SDimitry Andric }
6450b57cec5SDimitry Andric
6460b57cec5SDimitry Andric /// ProvideOption - For Value, this differentiates between an empty value ("")
6470b57cec5SDimitry Andric /// and a null value (StringRef()). The later is accepted for arguments that
6480b57cec5SDimitry Andric /// 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)6490b57cec5SDimitry Andric static inline bool ProvideOption(Option *Handler, StringRef ArgName,
6500b57cec5SDimitry Andric StringRef Value, int argc,
6510b57cec5SDimitry Andric const char *const *argv, int &i) {
6520b57cec5SDimitry Andric // Is this a multi-argument option?
6530b57cec5SDimitry Andric unsigned NumAdditionalVals = Handler->getNumAdditionalVals();
6540b57cec5SDimitry Andric
6550b57cec5SDimitry Andric // Enforce value requirements
6560b57cec5SDimitry Andric switch (Handler->getValueExpectedFlag()) {
6570b57cec5SDimitry Andric case ValueRequired:
6580b57cec5SDimitry Andric if (!Value.data()) { // No value specified?
6590b57cec5SDimitry Andric // If no other argument or the option only supports prefix form, we
6600b57cec5SDimitry Andric // cannot look at the next argument.
6610b57cec5SDimitry Andric if (i + 1 >= argc || Handler->getFormattingFlag() == cl::AlwaysPrefix)
6620b57cec5SDimitry Andric return Handler->error("requires a value!");
6630b57cec5SDimitry Andric // Steal the next argument, like for '-o filename'
6640b57cec5SDimitry Andric assert(argv && "null check");
6650b57cec5SDimitry Andric Value = StringRef(argv[++i]);
6660b57cec5SDimitry Andric }
6670b57cec5SDimitry Andric break;
6680b57cec5SDimitry Andric case ValueDisallowed:
6690b57cec5SDimitry Andric if (NumAdditionalVals > 0)
6700b57cec5SDimitry Andric return Handler->error("multi-valued option specified"
6710b57cec5SDimitry Andric " with ValueDisallowed modifier!");
6720b57cec5SDimitry Andric
6730b57cec5SDimitry Andric if (Value.data())
6740b57cec5SDimitry Andric return Handler->error("does not allow a value! '" + Twine(Value) +
6750b57cec5SDimitry Andric "' specified.");
6760b57cec5SDimitry Andric break;
6770b57cec5SDimitry Andric case ValueOptional:
6780b57cec5SDimitry Andric break;
6790b57cec5SDimitry Andric }
6800b57cec5SDimitry Andric
6810b57cec5SDimitry Andric // If this isn't a multi-arg option, just run the handler.
6820b57cec5SDimitry Andric if (NumAdditionalVals == 0)
6830b57cec5SDimitry Andric return CommaSeparateAndAddOccurrence(Handler, i, ArgName, Value);
6840b57cec5SDimitry Andric
6850b57cec5SDimitry Andric // If it is, run the handle several times.
6860b57cec5SDimitry Andric bool MultiArg = false;
6870b57cec5SDimitry Andric
6880b57cec5SDimitry Andric if (Value.data()) {
6890b57cec5SDimitry Andric if (CommaSeparateAndAddOccurrence(Handler, i, ArgName, Value, MultiArg))
6900b57cec5SDimitry Andric return true;
6910b57cec5SDimitry Andric --NumAdditionalVals;
6920b57cec5SDimitry Andric MultiArg = true;
6930b57cec5SDimitry Andric }
6940b57cec5SDimitry Andric
6950b57cec5SDimitry Andric while (NumAdditionalVals > 0) {
6960b57cec5SDimitry Andric if (i + 1 >= argc)
6970b57cec5SDimitry Andric return Handler->error("not enough values!");
6980b57cec5SDimitry Andric assert(argv && "null check");
6990b57cec5SDimitry Andric Value = StringRef(argv[++i]);
7000b57cec5SDimitry Andric
7010b57cec5SDimitry Andric if (CommaSeparateAndAddOccurrence(Handler, i, ArgName, Value, MultiArg))
7020b57cec5SDimitry Andric return true;
7030b57cec5SDimitry Andric MultiArg = true;
7040b57cec5SDimitry Andric --NumAdditionalVals;
7050b57cec5SDimitry Andric }
7060b57cec5SDimitry Andric return false;
7070b57cec5SDimitry Andric }
7080b57cec5SDimitry Andric
ProvidePositionalOption(Option * Handler,StringRef Arg,int i)7098bcb0991SDimitry Andric bool llvm::cl::ProvidePositionalOption(Option *Handler, StringRef Arg, int i) {
7100b57cec5SDimitry Andric int Dummy = i;
7110b57cec5SDimitry Andric return ProvideOption(Handler, Handler->ArgStr, Arg, 0, nullptr, Dummy);
7120b57cec5SDimitry Andric }
7130b57cec5SDimitry Andric
7140b57cec5SDimitry Andric // getOptionPred - Check to see if there are any options that satisfy the
7150b57cec5SDimitry Andric // specified predicate with names that are the prefixes in Name. This is
7160b57cec5SDimitry Andric // checked by progressively stripping characters off of the name, checking to
7170b57cec5SDimitry Andric // see if there options that satisfy the predicate. If we find one, return it,
7180b57cec5SDimitry Andric // otherwise return null.
7190b57cec5SDimitry Andric //
getOptionPred(StringRef Name,size_t & Length,bool (* Pred)(const Option *),const StringMap<Option * > & OptionsMap)7200b57cec5SDimitry Andric static Option *getOptionPred(StringRef Name, size_t &Length,
7210b57cec5SDimitry Andric bool (*Pred)(const Option *),
7220b57cec5SDimitry Andric const StringMap<Option *> &OptionsMap) {
7230b57cec5SDimitry Andric StringMap<Option *>::const_iterator OMI = OptionsMap.find(Name);
7240b57cec5SDimitry Andric if (OMI != OptionsMap.end() && !Pred(OMI->getValue()))
7250b57cec5SDimitry Andric OMI = OptionsMap.end();
7260b57cec5SDimitry Andric
7270b57cec5SDimitry Andric // Loop while we haven't found an option and Name still has at least two
7280b57cec5SDimitry Andric // characters in it (so that the next iteration will not be the empty
7290b57cec5SDimitry Andric // string.
7300b57cec5SDimitry Andric while (OMI == OptionsMap.end() && Name.size() > 1) {
7310b57cec5SDimitry Andric Name = Name.substr(0, Name.size() - 1); // Chop off the last character.
7320b57cec5SDimitry Andric OMI = OptionsMap.find(Name);
7330b57cec5SDimitry Andric if (OMI != OptionsMap.end() && !Pred(OMI->getValue()))
7340b57cec5SDimitry Andric OMI = OptionsMap.end();
7350b57cec5SDimitry Andric }
7360b57cec5SDimitry Andric
7370b57cec5SDimitry Andric if (OMI != OptionsMap.end() && Pred(OMI->second)) {
7380b57cec5SDimitry Andric Length = Name.size();
7390b57cec5SDimitry Andric return OMI->second; // Found one!
7400b57cec5SDimitry Andric }
7410b57cec5SDimitry Andric return nullptr; // No option found!
7420b57cec5SDimitry Andric }
7430b57cec5SDimitry Andric
7440b57cec5SDimitry Andric /// HandlePrefixedOrGroupedOption - The specified argument string (which started
7450b57cec5SDimitry Andric /// with at least one '-') does not fully match an available option. Check to
7460b57cec5SDimitry Andric /// see if this is a prefix or grouped option. If so, split arg into output an
7470b57cec5SDimitry Andric /// Arg/Value pair and return the Option to parse it with.
7480b57cec5SDimitry Andric static Option *
HandlePrefixedOrGroupedOption(StringRef & Arg,StringRef & Value,bool & ErrorParsing,const StringMap<Option * > & OptionsMap)7490b57cec5SDimitry Andric HandlePrefixedOrGroupedOption(StringRef &Arg, StringRef &Value,
7500b57cec5SDimitry Andric bool &ErrorParsing,
7510b57cec5SDimitry Andric const StringMap<Option *> &OptionsMap) {
7520b57cec5SDimitry Andric if (Arg.size() == 1)
7530b57cec5SDimitry Andric return nullptr;
7540b57cec5SDimitry Andric
7550b57cec5SDimitry Andric // Do the lookup!
7560b57cec5SDimitry Andric size_t Length = 0;
7570b57cec5SDimitry Andric Option *PGOpt = getOptionPred(Arg, Length, isPrefixedOrGrouping, OptionsMap);
7580b57cec5SDimitry Andric if (!PGOpt)
7590b57cec5SDimitry Andric return nullptr;
7600b57cec5SDimitry Andric
7610b57cec5SDimitry Andric do {
7620b57cec5SDimitry Andric StringRef MaybeValue =
7630b57cec5SDimitry Andric (Length < Arg.size()) ? Arg.substr(Length) : StringRef();
7640b57cec5SDimitry Andric Arg = Arg.substr(0, Length);
7650b57cec5SDimitry Andric assert(OptionsMap.count(Arg) && OptionsMap.find(Arg)->second == PGOpt);
7660b57cec5SDimitry Andric
7670b57cec5SDimitry Andric // cl::Prefix options do not preserve '=' when used separately.
7680b57cec5SDimitry Andric // The behavior for them with grouped options should be the same.
7690b57cec5SDimitry Andric if (MaybeValue.empty() || PGOpt->getFormattingFlag() == cl::AlwaysPrefix ||
7700b57cec5SDimitry Andric (PGOpt->getFormattingFlag() == cl::Prefix && MaybeValue[0] != '=')) {
7710b57cec5SDimitry Andric Value = MaybeValue;
7720b57cec5SDimitry Andric return PGOpt;
7730b57cec5SDimitry Andric }
7740b57cec5SDimitry Andric
7750b57cec5SDimitry Andric if (MaybeValue[0] == '=') {
7760b57cec5SDimitry Andric Value = MaybeValue.substr(1);
7770b57cec5SDimitry Andric return PGOpt;
7780b57cec5SDimitry Andric }
7790b57cec5SDimitry Andric
7800b57cec5SDimitry Andric // This must be a grouped option.
7810b57cec5SDimitry Andric assert(isGrouping(PGOpt) && "Broken getOptionPred!");
7820b57cec5SDimitry Andric
7830b57cec5SDimitry Andric // Grouping options inside a group can't have values.
7840b57cec5SDimitry Andric if (PGOpt->getValueExpectedFlag() == cl::ValueRequired) {
7850b57cec5SDimitry Andric ErrorParsing |= PGOpt->error("may not occur within a group!");
7860b57cec5SDimitry Andric return nullptr;
7870b57cec5SDimitry Andric }
7880b57cec5SDimitry Andric
7890b57cec5SDimitry Andric // Because the value for the option is not required, we don't need to pass
7900b57cec5SDimitry Andric // argc/argv in.
7910b57cec5SDimitry Andric int Dummy = 0;
7920b57cec5SDimitry Andric ErrorParsing |= ProvideOption(PGOpt, Arg, StringRef(), 0, nullptr, Dummy);
7930b57cec5SDimitry Andric
7940b57cec5SDimitry Andric // Get the next grouping option.
7950b57cec5SDimitry Andric Arg = MaybeValue;
7960b57cec5SDimitry Andric PGOpt = getOptionPred(Arg, Length, isGrouping, OptionsMap);
7970b57cec5SDimitry Andric } while (PGOpt);
7980b57cec5SDimitry Andric
7990b57cec5SDimitry Andric // We could not find a grouping option in the remainder of Arg.
8000b57cec5SDimitry Andric return nullptr;
8010b57cec5SDimitry Andric }
8020b57cec5SDimitry Andric
RequiresValue(const Option * O)8030b57cec5SDimitry Andric static bool RequiresValue(const Option *O) {
8040b57cec5SDimitry Andric return O->getNumOccurrencesFlag() == cl::Required ||
8050b57cec5SDimitry Andric O->getNumOccurrencesFlag() == cl::OneOrMore;
8060b57cec5SDimitry Andric }
8070b57cec5SDimitry Andric
EatsUnboundedNumberOfValues(const Option * O)8080b57cec5SDimitry Andric static bool EatsUnboundedNumberOfValues(const Option *O) {
8090b57cec5SDimitry Andric return O->getNumOccurrencesFlag() == cl::ZeroOrMore ||
8100b57cec5SDimitry Andric O->getNumOccurrencesFlag() == cl::OneOrMore;
8110b57cec5SDimitry Andric }
8120b57cec5SDimitry Andric
isWhitespace(char C)8130b57cec5SDimitry Andric static bool isWhitespace(char C) {
8140b57cec5SDimitry Andric return C == ' ' || C == '\t' || C == '\r' || C == '\n';
8150b57cec5SDimitry Andric }
8160b57cec5SDimitry Andric
isWhitespaceOrNull(char C)8170b57cec5SDimitry Andric static bool isWhitespaceOrNull(char C) {
8180b57cec5SDimitry Andric return isWhitespace(C) || C == '\0';
8190b57cec5SDimitry Andric }
8200b57cec5SDimitry Andric
isQuote(char C)8210b57cec5SDimitry Andric static bool isQuote(char C) { return C == '\"' || C == '\''; }
8220b57cec5SDimitry Andric
TokenizeGNUCommandLine(StringRef Src,StringSaver & Saver,SmallVectorImpl<const char * > & NewArgv,bool MarkEOLs)8230b57cec5SDimitry Andric void cl::TokenizeGNUCommandLine(StringRef Src, StringSaver &Saver,
8240b57cec5SDimitry Andric SmallVectorImpl<const char *> &NewArgv,
8250b57cec5SDimitry Andric bool MarkEOLs) {
8260b57cec5SDimitry Andric SmallString<128> Token;
8270b57cec5SDimitry Andric for (size_t I = 0, E = Src.size(); I != E; ++I) {
8280b57cec5SDimitry Andric // Consume runs of whitespace.
8290b57cec5SDimitry Andric if (Token.empty()) {
8300b57cec5SDimitry Andric while (I != E && isWhitespace(Src[I])) {
831af732203SDimitry Andric // Mark the end of lines in response files.
8320b57cec5SDimitry Andric if (MarkEOLs && Src[I] == '\n')
8330b57cec5SDimitry Andric NewArgv.push_back(nullptr);
8340b57cec5SDimitry Andric ++I;
8350b57cec5SDimitry Andric }
8360b57cec5SDimitry Andric if (I == E)
8370b57cec5SDimitry Andric break;
8380b57cec5SDimitry Andric }
8390b57cec5SDimitry Andric
8400b57cec5SDimitry Andric char C = Src[I];
8410b57cec5SDimitry Andric
8420b57cec5SDimitry Andric // Backslash escapes the next character.
8430b57cec5SDimitry Andric if (I + 1 < E && C == '\\') {
8440b57cec5SDimitry Andric ++I; // Skip the escape.
8450b57cec5SDimitry Andric Token.push_back(Src[I]);
8460b57cec5SDimitry Andric continue;
8470b57cec5SDimitry Andric }
8480b57cec5SDimitry Andric
8490b57cec5SDimitry Andric // Consume a quoted string.
8500b57cec5SDimitry Andric if (isQuote(C)) {
8510b57cec5SDimitry Andric ++I;
8520b57cec5SDimitry Andric while (I != E && Src[I] != C) {
8530b57cec5SDimitry Andric // Backslash escapes the next character.
8540b57cec5SDimitry Andric if (Src[I] == '\\' && I + 1 != E)
8550b57cec5SDimitry Andric ++I;
8560b57cec5SDimitry Andric Token.push_back(Src[I]);
8570b57cec5SDimitry Andric ++I;
8580b57cec5SDimitry Andric }
8590b57cec5SDimitry Andric if (I == E)
8600b57cec5SDimitry Andric break;
8610b57cec5SDimitry Andric continue;
8620b57cec5SDimitry Andric }
8630b57cec5SDimitry Andric
8640b57cec5SDimitry Andric // End the token if this is whitespace.
8650b57cec5SDimitry Andric if (isWhitespace(C)) {
8660b57cec5SDimitry Andric if (!Token.empty())
867*5f7ddb14SDimitry Andric NewArgv.push_back(Saver.save(Token.str()).data());
868af732203SDimitry Andric // Mark the end of lines in response files.
869af732203SDimitry Andric if (MarkEOLs && C == '\n')
870af732203SDimitry Andric NewArgv.push_back(nullptr);
8710b57cec5SDimitry Andric Token.clear();
8720b57cec5SDimitry Andric continue;
8730b57cec5SDimitry Andric }
8740b57cec5SDimitry Andric
8750b57cec5SDimitry Andric // This is a normal character. Append it.
8760b57cec5SDimitry Andric Token.push_back(C);
8770b57cec5SDimitry Andric }
8780b57cec5SDimitry Andric
8790b57cec5SDimitry Andric // Append the last token after hitting EOF with no whitespace.
8800b57cec5SDimitry Andric if (!Token.empty())
881*5f7ddb14SDimitry Andric NewArgv.push_back(Saver.save(Token.str()).data());
8820b57cec5SDimitry Andric }
8830b57cec5SDimitry Andric
8840b57cec5SDimitry Andric /// Backslashes are interpreted in a rather complicated way in the Windows-style
8850b57cec5SDimitry Andric /// command line, because backslashes are used both to separate path and to
8860b57cec5SDimitry Andric /// escape double quote. This method consumes runs of backslashes as well as the
8870b57cec5SDimitry Andric /// following double quote if it's escaped.
8880b57cec5SDimitry Andric ///
8890b57cec5SDimitry Andric /// * If an even number of backslashes is followed by a double quote, one
8900b57cec5SDimitry Andric /// backslash is output for every pair of backslashes, and the last double
8910b57cec5SDimitry Andric /// quote remains unconsumed. The double quote will later be interpreted as
8920b57cec5SDimitry Andric /// the start or end of a quoted string in the main loop outside of this
8930b57cec5SDimitry Andric /// function.
8940b57cec5SDimitry Andric ///
8950b57cec5SDimitry Andric /// * If an odd number of backslashes is followed by a double quote, one
8960b57cec5SDimitry Andric /// backslash is output for every pair of backslashes, and a double quote is
8970b57cec5SDimitry Andric /// output for the last pair of backslash-double quote. The double quote is
8980b57cec5SDimitry Andric /// consumed in this case.
8990b57cec5SDimitry Andric ///
9000b57cec5SDimitry Andric /// * Otherwise, backslashes are interpreted literally.
parseBackslash(StringRef Src,size_t I,SmallString<128> & Token)9010b57cec5SDimitry Andric static size_t parseBackslash(StringRef Src, size_t I, SmallString<128> &Token) {
9020b57cec5SDimitry Andric size_t E = Src.size();
9030b57cec5SDimitry Andric int BackslashCount = 0;
9040b57cec5SDimitry Andric // Skip the backslashes.
9050b57cec5SDimitry Andric do {
9060b57cec5SDimitry Andric ++I;
9070b57cec5SDimitry Andric ++BackslashCount;
9080b57cec5SDimitry Andric } while (I != E && Src[I] == '\\');
9090b57cec5SDimitry Andric
9100b57cec5SDimitry Andric bool FollowedByDoubleQuote = (I != E && Src[I] == '"');
9110b57cec5SDimitry Andric if (FollowedByDoubleQuote) {
9120b57cec5SDimitry Andric Token.append(BackslashCount / 2, '\\');
9130b57cec5SDimitry Andric if (BackslashCount % 2 == 0)
9140b57cec5SDimitry Andric return I - 1;
9150b57cec5SDimitry Andric Token.push_back('"');
9160b57cec5SDimitry Andric return I;
9170b57cec5SDimitry Andric }
9180b57cec5SDimitry Andric Token.append(BackslashCount, '\\');
9190b57cec5SDimitry Andric return I - 1;
9200b57cec5SDimitry Andric }
9210b57cec5SDimitry Andric
9225ffd83dbSDimitry Andric // Windows treats whitespace, double quotes, and backslashes specially.
isWindowsSpecialChar(char C)9235ffd83dbSDimitry Andric static bool isWindowsSpecialChar(char C) {
9245ffd83dbSDimitry Andric return isWhitespaceOrNull(C) || C == '\\' || C == '\"';
9255ffd83dbSDimitry Andric }
9265ffd83dbSDimitry Andric
9275ffd83dbSDimitry Andric // Windows tokenization implementation. The implementation is designed to be
9285ffd83dbSDimitry Andric // inlined and specialized for the two user entry points.
9295ffd83dbSDimitry Andric static inline void
tokenizeWindowsCommandLineImpl(StringRef Src,StringSaver & Saver,function_ref<void (StringRef)> AddToken,bool AlwaysCopy,function_ref<void ()> MarkEOL)9305ffd83dbSDimitry Andric tokenizeWindowsCommandLineImpl(StringRef Src, StringSaver &Saver,
9315ffd83dbSDimitry Andric function_ref<void(StringRef)> AddToken,
9325ffd83dbSDimitry Andric bool AlwaysCopy, function_ref<void()> MarkEOL) {
9330b57cec5SDimitry Andric SmallString<128> Token;
9340b57cec5SDimitry Andric
9355ffd83dbSDimitry Andric // Try to do as much work inside the state machine as possible.
9360b57cec5SDimitry Andric enum { INIT, UNQUOTED, QUOTED } State = INIT;
9375ffd83dbSDimitry Andric for (size_t I = 0, E = Src.size(); I < E; ++I) {
9385ffd83dbSDimitry Andric switch (State) {
9395ffd83dbSDimitry Andric case INIT: {
9405ffd83dbSDimitry Andric assert(Token.empty() && "token should be empty in initial state");
9415ffd83dbSDimitry Andric // Eat whitespace before a token.
9425ffd83dbSDimitry Andric while (I < E && isWhitespaceOrNull(Src[I])) {
9435ffd83dbSDimitry Andric if (Src[I] == '\n')
9445ffd83dbSDimitry Andric MarkEOL();
9455ffd83dbSDimitry Andric ++I;
9460b57cec5SDimitry Andric }
9475ffd83dbSDimitry Andric // Stop if this was trailing whitespace.
9485ffd83dbSDimitry Andric if (I >= E)
9495ffd83dbSDimitry Andric break;
9505ffd83dbSDimitry Andric size_t Start = I;
9515ffd83dbSDimitry Andric while (I < E && !isWindowsSpecialChar(Src[I]))
9525ffd83dbSDimitry Andric ++I;
9535ffd83dbSDimitry Andric StringRef NormalChars = Src.slice(Start, I);
9545ffd83dbSDimitry Andric if (I >= E || isWhitespaceOrNull(Src[I])) {
9555ffd83dbSDimitry Andric // No special characters: slice out the substring and start the next
9565ffd83dbSDimitry Andric // token. Copy the string if the caller asks us to.
9575ffd83dbSDimitry Andric AddToken(AlwaysCopy ? Saver.save(NormalChars) : NormalChars);
958af732203SDimitry Andric if (I < E && Src[I] == '\n')
959af732203SDimitry Andric MarkEOL();
9605ffd83dbSDimitry Andric } else if (Src[I] == '\"') {
9615ffd83dbSDimitry Andric Token += NormalChars;
9620b57cec5SDimitry Andric State = QUOTED;
9635ffd83dbSDimitry Andric } else if (Src[I] == '\\') {
9645ffd83dbSDimitry Andric Token += NormalChars;
9650b57cec5SDimitry Andric I = parseBackslash(Src, I, Token);
9660b57cec5SDimitry Andric State = UNQUOTED;
9675ffd83dbSDimitry Andric } else {
9685ffd83dbSDimitry Andric llvm_unreachable("unexpected special character");
9690b57cec5SDimitry Andric }
9705ffd83dbSDimitry Andric break;
9710b57cec5SDimitry Andric }
9720b57cec5SDimitry Andric
9735ffd83dbSDimitry Andric case UNQUOTED:
9745ffd83dbSDimitry Andric if (isWhitespaceOrNull(Src[I])) {
9755ffd83dbSDimitry Andric // Whitespace means the end of the token. If we are in this state, the
9765ffd83dbSDimitry Andric // token must have contained a special character, so we must copy the
9775ffd83dbSDimitry Andric // token.
9785ffd83dbSDimitry Andric AddToken(Saver.save(Token.str()));
9790b57cec5SDimitry Andric Token.clear();
9805ffd83dbSDimitry Andric if (Src[I] == '\n')
9815ffd83dbSDimitry Andric MarkEOL();
9820b57cec5SDimitry Andric State = INIT;
9835ffd83dbSDimitry Andric } else if (Src[I] == '\"') {
9840b57cec5SDimitry Andric State = QUOTED;
9855ffd83dbSDimitry Andric } else if (Src[I] == '\\') {
9860b57cec5SDimitry Andric I = parseBackslash(Src, I, Token);
9875ffd83dbSDimitry Andric } else {
9885ffd83dbSDimitry Andric Token.push_back(Src[I]);
9890b57cec5SDimitry Andric }
9905ffd83dbSDimitry Andric break;
9910b57cec5SDimitry Andric
9925ffd83dbSDimitry Andric case QUOTED:
9935ffd83dbSDimitry Andric if (Src[I] == '\"') {
9940b57cec5SDimitry Andric if (I < (E - 1) && Src[I + 1] == '"') {
9950b57cec5SDimitry Andric // Consecutive double-quotes inside a quoted string implies one
9960b57cec5SDimitry Andric // double-quote.
9970b57cec5SDimitry Andric Token.push_back('"');
9985ffd83dbSDimitry Andric ++I;
9995ffd83dbSDimitry Andric } else {
10005ffd83dbSDimitry Andric // Otherwise, end the quoted portion and return to the unquoted state.
10010b57cec5SDimitry Andric State = UNQUOTED;
10020b57cec5SDimitry Andric }
10035ffd83dbSDimitry Andric } else if (Src[I] == '\\') {
10040b57cec5SDimitry Andric I = parseBackslash(Src, I, Token);
10055ffd83dbSDimitry Andric } else {
10065ffd83dbSDimitry Andric Token.push_back(Src[I]);
10070b57cec5SDimitry Andric }
10085ffd83dbSDimitry Andric break;
10090b57cec5SDimitry Andric }
10100b57cec5SDimitry Andric }
10115ffd83dbSDimitry Andric
10125ffd83dbSDimitry Andric if (State == UNQUOTED)
10135ffd83dbSDimitry Andric AddToken(Saver.save(Token.str()));
10145ffd83dbSDimitry Andric }
10155ffd83dbSDimitry Andric
TokenizeWindowsCommandLine(StringRef Src,StringSaver & Saver,SmallVectorImpl<const char * > & NewArgv,bool MarkEOLs)10165ffd83dbSDimitry Andric void cl::TokenizeWindowsCommandLine(StringRef Src, StringSaver &Saver,
10175ffd83dbSDimitry Andric SmallVectorImpl<const char *> &NewArgv,
10185ffd83dbSDimitry Andric bool MarkEOLs) {
10195ffd83dbSDimitry Andric auto AddToken = [&](StringRef Tok) { NewArgv.push_back(Tok.data()); };
10205ffd83dbSDimitry Andric auto OnEOL = [&]() {
10210b57cec5SDimitry Andric if (MarkEOLs)
10220b57cec5SDimitry Andric NewArgv.push_back(nullptr);
10235ffd83dbSDimitry Andric };
10245ffd83dbSDimitry Andric tokenizeWindowsCommandLineImpl(Src, Saver, AddToken,
10255ffd83dbSDimitry Andric /*AlwaysCopy=*/true, OnEOL);
10265ffd83dbSDimitry Andric }
10275ffd83dbSDimitry Andric
TokenizeWindowsCommandLineNoCopy(StringRef Src,StringSaver & Saver,SmallVectorImpl<StringRef> & NewArgv)10285ffd83dbSDimitry Andric void cl::TokenizeWindowsCommandLineNoCopy(StringRef Src, StringSaver &Saver,
10295ffd83dbSDimitry Andric SmallVectorImpl<StringRef> &NewArgv) {
10305ffd83dbSDimitry Andric auto AddToken = [&](StringRef Tok) { NewArgv.push_back(Tok); };
10315ffd83dbSDimitry Andric auto OnEOL = []() {};
10325ffd83dbSDimitry Andric tokenizeWindowsCommandLineImpl(Src, Saver, AddToken, /*AlwaysCopy=*/false,
10335ffd83dbSDimitry Andric OnEOL);
10340b57cec5SDimitry Andric }
10350b57cec5SDimitry Andric
tokenizeConfigFile(StringRef Source,StringSaver & Saver,SmallVectorImpl<const char * > & NewArgv,bool MarkEOLs)10360b57cec5SDimitry Andric void cl::tokenizeConfigFile(StringRef Source, StringSaver &Saver,
10370b57cec5SDimitry Andric SmallVectorImpl<const char *> &NewArgv,
10380b57cec5SDimitry Andric bool MarkEOLs) {
10390b57cec5SDimitry Andric for (const char *Cur = Source.begin(); Cur != Source.end();) {
10400b57cec5SDimitry Andric SmallString<128> Line;
10410b57cec5SDimitry Andric // Check for comment line.
10420b57cec5SDimitry Andric if (isWhitespace(*Cur)) {
10430b57cec5SDimitry Andric while (Cur != Source.end() && isWhitespace(*Cur))
10440b57cec5SDimitry Andric ++Cur;
10450b57cec5SDimitry Andric continue;
10460b57cec5SDimitry Andric }
10470b57cec5SDimitry Andric if (*Cur == '#') {
10480b57cec5SDimitry Andric while (Cur != Source.end() && *Cur != '\n')
10490b57cec5SDimitry Andric ++Cur;
10500b57cec5SDimitry Andric continue;
10510b57cec5SDimitry Andric }
10520b57cec5SDimitry Andric // Find end of the current line.
10530b57cec5SDimitry Andric const char *Start = Cur;
10540b57cec5SDimitry Andric for (const char *End = Source.end(); Cur != End; ++Cur) {
10550b57cec5SDimitry Andric if (*Cur == '\\') {
10560b57cec5SDimitry Andric if (Cur + 1 != End) {
10570b57cec5SDimitry Andric ++Cur;
10580b57cec5SDimitry Andric if (*Cur == '\n' ||
10590b57cec5SDimitry Andric (*Cur == '\r' && (Cur + 1 != End) && Cur[1] == '\n')) {
10600b57cec5SDimitry Andric Line.append(Start, Cur - 1);
10610b57cec5SDimitry Andric if (*Cur == '\r')
10620b57cec5SDimitry Andric ++Cur;
10630b57cec5SDimitry Andric Start = Cur + 1;
10640b57cec5SDimitry Andric }
10650b57cec5SDimitry Andric }
10660b57cec5SDimitry Andric } else if (*Cur == '\n')
10670b57cec5SDimitry Andric break;
10680b57cec5SDimitry Andric }
10690b57cec5SDimitry Andric // Tokenize line.
10700b57cec5SDimitry Andric Line.append(Start, Cur);
10710b57cec5SDimitry Andric cl::TokenizeGNUCommandLine(Line, Saver, NewArgv, MarkEOLs);
10720b57cec5SDimitry Andric }
10730b57cec5SDimitry Andric }
10740b57cec5SDimitry Andric
10750b57cec5SDimitry Andric // It is called byte order marker but the UTF-8 BOM is actually not affected
10760b57cec5SDimitry Andric // by the host system's endianness.
hasUTF8ByteOrderMark(ArrayRef<char> S)10770b57cec5SDimitry Andric static bool hasUTF8ByteOrderMark(ArrayRef<char> S) {
10780b57cec5SDimitry Andric return (S.size() >= 3 && S[0] == '\xef' && S[1] == '\xbb' && S[2] == '\xbf');
10790b57cec5SDimitry Andric }
10800b57cec5SDimitry Andric
1081480093f4SDimitry Andric // FName must be an absolute path.
ExpandResponseFile(StringRef FName,StringSaver & Saver,TokenizerCallback Tokenizer,SmallVectorImpl<const char * > & NewArgv,bool MarkEOLs,bool RelativeNames,llvm::vfs::FileSystem & FS)1082480093f4SDimitry Andric static llvm::Error ExpandResponseFile(
1083480093f4SDimitry Andric StringRef FName, StringSaver &Saver, TokenizerCallback Tokenizer,
1084480093f4SDimitry Andric SmallVectorImpl<const char *> &NewArgv, bool MarkEOLs, bool RelativeNames,
1085480093f4SDimitry Andric llvm::vfs::FileSystem &FS) {
1086480093f4SDimitry Andric assert(sys::path::is_absolute(FName));
1087480093f4SDimitry Andric llvm::ErrorOr<std::unique_ptr<MemoryBuffer>> MemBufOrErr =
1088480093f4SDimitry Andric FS.getBufferForFile(FName);
10890b57cec5SDimitry Andric if (!MemBufOrErr)
1090480093f4SDimitry Andric return llvm::errorCodeToError(MemBufOrErr.getError());
10910b57cec5SDimitry Andric MemoryBuffer &MemBuf = *MemBufOrErr.get();
10920b57cec5SDimitry Andric StringRef Str(MemBuf.getBufferStart(), MemBuf.getBufferSize());
10930b57cec5SDimitry Andric
10940b57cec5SDimitry Andric // If we have a UTF-16 byte order mark, convert to UTF-8 for parsing.
10950b57cec5SDimitry Andric ArrayRef<char> BufRef(MemBuf.getBufferStart(), MemBuf.getBufferEnd());
10960b57cec5SDimitry Andric std::string UTF8Buf;
10970b57cec5SDimitry Andric if (hasUTF16ByteOrderMark(BufRef)) {
10980b57cec5SDimitry Andric if (!convertUTF16ToUTF8String(BufRef, UTF8Buf))
1099480093f4SDimitry Andric return llvm::createStringError(std::errc::illegal_byte_sequence,
1100480093f4SDimitry Andric "Could not convert UTF16 to UTF8");
11010b57cec5SDimitry Andric Str = StringRef(UTF8Buf);
11020b57cec5SDimitry Andric }
11030b57cec5SDimitry Andric // If we see UTF-8 BOM sequence at the beginning of a file, we shall remove
11040b57cec5SDimitry Andric // these bytes before parsing.
11050b57cec5SDimitry Andric // Reference: http://en.wikipedia.org/wiki/UTF-8#Byte_order_mark
11060b57cec5SDimitry Andric else if (hasUTF8ByteOrderMark(BufRef))
11070b57cec5SDimitry Andric Str = StringRef(BufRef.data() + 3, BufRef.size() - 3);
11080b57cec5SDimitry Andric
11090b57cec5SDimitry Andric // Tokenize the contents into NewArgv.
11100b57cec5SDimitry Andric Tokenizer(Str, Saver, NewArgv, MarkEOLs);
11110b57cec5SDimitry Andric
1112480093f4SDimitry Andric if (!RelativeNames)
1113480093f4SDimitry Andric return Error::success();
1114480093f4SDimitry Andric llvm::StringRef BasePath = llvm::sys::path::parent_path(FName);
11150b57cec5SDimitry Andric // If names of nested response files should be resolved relative to including
11160b57cec5SDimitry Andric // file, replace the included response file names with their full paths
11170b57cec5SDimitry Andric // obtained by required resolution.
1118480093f4SDimitry Andric for (auto &Arg : NewArgv) {
1119480093f4SDimitry Andric // Skip non-rsp file arguments.
1120480093f4SDimitry Andric if (!Arg || Arg[0] != '@')
1121480093f4SDimitry Andric continue;
11220b57cec5SDimitry Andric
1123480093f4SDimitry Andric StringRef FileName(Arg + 1);
1124480093f4SDimitry Andric // Skip if non-relative.
1125480093f4SDimitry Andric if (!llvm::sys::path::is_relative(FileName))
1126480093f4SDimitry Andric continue;
1127480093f4SDimitry Andric
1128480093f4SDimitry Andric SmallString<128> ResponseFile;
1129480093f4SDimitry Andric ResponseFile.push_back('@');
1130480093f4SDimitry Andric ResponseFile.append(BasePath);
1131480093f4SDimitry Andric llvm::sys::path::append(ResponseFile, FileName);
1132480093f4SDimitry Andric Arg = Saver.save(ResponseFile.c_str()).data();
1133480093f4SDimitry Andric }
1134480093f4SDimitry Andric return Error::success();
11350b57cec5SDimitry Andric }
11360b57cec5SDimitry Andric
11370b57cec5SDimitry Andric /// Expand response files on a command line recursively using the given
11380b57cec5SDimitry Andric /// StringSaver and tokenization strategy.
ExpandResponseFiles(StringSaver & Saver,TokenizerCallback Tokenizer,SmallVectorImpl<const char * > & Argv,bool MarkEOLs,bool RelativeNames,llvm::Optional<llvm::StringRef> CurrentDir,llvm::vfs::FileSystem & FS)11390b57cec5SDimitry Andric bool cl::ExpandResponseFiles(StringSaver &Saver, TokenizerCallback Tokenizer,
1140480093f4SDimitry Andric SmallVectorImpl<const char *> &Argv, bool MarkEOLs,
1141*5f7ddb14SDimitry Andric bool RelativeNames,
1142*5f7ddb14SDimitry Andric llvm::Optional<llvm::StringRef> CurrentDir,
1143*5f7ddb14SDimitry Andric llvm::vfs::FileSystem &FS) {
11440b57cec5SDimitry Andric bool AllExpanded = true;
11450b57cec5SDimitry Andric struct ResponseFileRecord {
1146480093f4SDimitry Andric std::string File;
11470b57cec5SDimitry Andric size_t End;
11480b57cec5SDimitry Andric };
11490b57cec5SDimitry Andric
11500b57cec5SDimitry Andric // To detect recursive response files, we maintain a stack of files and the
11510b57cec5SDimitry Andric // position of the last argument in the file. This position is updated
11520b57cec5SDimitry Andric // dynamically as we recursively expand files.
11530b57cec5SDimitry Andric SmallVector<ResponseFileRecord, 3> FileStack;
11540b57cec5SDimitry Andric
11550b57cec5SDimitry Andric // Push a dummy entry that represents the initial command line, removing
11560b57cec5SDimitry Andric // the need to check for an empty list.
11570b57cec5SDimitry Andric FileStack.push_back({"", Argv.size()});
11580b57cec5SDimitry Andric
11590b57cec5SDimitry Andric // Don't cache Argv.size() because it can change.
11600b57cec5SDimitry Andric for (unsigned I = 0; I != Argv.size();) {
11610b57cec5SDimitry Andric while (I == FileStack.back().End) {
11620b57cec5SDimitry Andric // Passing the end of a file's argument list, so we can remove it from the
11630b57cec5SDimitry Andric // stack.
11640b57cec5SDimitry Andric FileStack.pop_back();
11650b57cec5SDimitry Andric }
11660b57cec5SDimitry Andric
11670b57cec5SDimitry Andric const char *Arg = Argv[I];
11680b57cec5SDimitry Andric // Check if it is an EOL marker
11690b57cec5SDimitry Andric if (Arg == nullptr) {
11700b57cec5SDimitry Andric ++I;
11710b57cec5SDimitry Andric continue;
11720b57cec5SDimitry Andric }
11730b57cec5SDimitry Andric
11740b57cec5SDimitry Andric if (Arg[0] != '@') {
11750b57cec5SDimitry Andric ++I;
11760b57cec5SDimitry Andric continue;
11770b57cec5SDimitry Andric }
11780b57cec5SDimitry Andric
11790b57cec5SDimitry Andric const char *FName = Arg + 1;
1180480093f4SDimitry Andric // Note that CurrentDir is only used for top-level rsp files, the rest will
1181480093f4SDimitry Andric // always have an absolute path deduced from the containing file.
1182480093f4SDimitry Andric SmallString<128> CurrDir;
1183480093f4SDimitry Andric if (llvm::sys::path::is_relative(FName)) {
1184480093f4SDimitry Andric if (!CurrentDir)
1185480093f4SDimitry Andric llvm::sys::fs::current_path(CurrDir);
1186480093f4SDimitry Andric else
1187480093f4SDimitry Andric CurrDir = *CurrentDir;
1188480093f4SDimitry Andric llvm::sys::path::append(CurrDir, FName);
1189480093f4SDimitry Andric FName = CurrDir.c_str();
1190480093f4SDimitry Andric }
1191480093f4SDimitry Andric auto IsEquivalent = [FName, &FS](const ResponseFileRecord &RFile) {
1192480093f4SDimitry Andric llvm::ErrorOr<llvm::vfs::Status> LHS = FS.status(FName);
1193480093f4SDimitry Andric if (!LHS) {
1194480093f4SDimitry Andric // TODO: The error should be propagated up the stack.
1195480093f4SDimitry Andric llvm::consumeError(llvm::errorCodeToError(LHS.getError()));
1196480093f4SDimitry Andric return false;
1197480093f4SDimitry Andric }
1198480093f4SDimitry Andric llvm::ErrorOr<llvm::vfs::Status> RHS = FS.status(RFile.File);
1199480093f4SDimitry Andric if (!RHS) {
1200480093f4SDimitry Andric // TODO: The error should be propagated up the stack.
1201480093f4SDimitry Andric llvm::consumeError(llvm::errorCodeToError(RHS.getError()));
1202480093f4SDimitry Andric return false;
1203480093f4SDimitry Andric }
1204480093f4SDimitry Andric return LHS->equivalent(*RHS);
12050b57cec5SDimitry Andric };
12060b57cec5SDimitry Andric
12070b57cec5SDimitry Andric // Check for recursive response files.
1208af732203SDimitry Andric if (any_of(drop_begin(FileStack), IsEquivalent)) {
12090b57cec5SDimitry Andric // This file is recursive, so we leave it in the argument stream and
12100b57cec5SDimitry Andric // move on.
12110b57cec5SDimitry Andric AllExpanded = false;
12120b57cec5SDimitry Andric ++I;
12130b57cec5SDimitry Andric continue;
12140b57cec5SDimitry Andric }
12150b57cec5SDimitry Andric
12160b57cec5SDimitry Andric // Replace this response file argument with the tokenization of its
12170b57cec5SDimitry Andric // contents. Nested response files are expanded in subsequent iterations.
12180b57cec5SDimitry Andric SmallVector<const char *, 0> ExpandedArgv;
1219480093f4SDimitry Andric if (llvm::Error Err =
1220480093f4SDimitry Andric ExpandResponseFile(FName, Saver, Tokenizer, ExpandedArgv, MarkEOLs,
1221480093f4SDimitry Andric RelativeNames, FS)) {
12220b57cec5SDimitry Andric // We couldn't read this file, so we leave it in the argument stream and
12230b57cec5SDimitry Andric // move on.
1224480093f4SDimitry Andric // TODO: The error should be propagated up the stack.
1225480093f4SDimitry Andric llvm::consumeError(std::move(Err));
12260b57cec5SDimitry Andric AllExpanded = false;
12270b57cec5SDimitry Andric ++I;
12280b57cec5SDimitry Andric continue;
12290b57cec5SDimitry Andric }
12300b57cec5SDimitry Andric
12310b57cec5SDimitry Andric for (ResponseFileRecord &Record : FileStack) {
12320b57cec5SDimitry Andric // Increase the end of all active records by the number of newly expanded
12330b57cec5SDimitry Andric // arguments, minus the response file itself.
12340b57cec5SDimitry Andric Record.End += ExpandedArgv.size() - 1;
12350b57cec5SDimitry Andric }
12360b57cec5SDimitry Andric
12370b57cec5SDimitry Andric FileStack.push_back({FName, I + ExpandedArgv.size()});
12380b57cec5SDimitry Andric Argv.erase(Argv.begin() + I);
12390b57cec5SDimitry Andric Argv.insert(Argv.begin() + I, ExpandedArgv.begin(), ExpandedArgv.end());
12400b57cec5SDimitry Andric }
12410b57cec5SDimitry Andric
12420b57cec5SDimitry Andric // If successful, the top of the file stack will mark the end of the Argv
12430b57cec5SDimitry Andric // stream. A failure here indicates a bug in the stack popping logic above.
12440b57cec5SDimitry Andric // Note that FileStack may have more than one element at this point because we
12450b57cec5SDimitry Andric // don't have a chance to pop the stack when encountering recursive files at
12460b57cec5SDimitry Andric // the end of the stream, so seeing that doesn't indicate a bug.
12470b57cec5SDimitry Andric assert(FileStack.size() > 0 && Argv.size() == FileStack.back().End);
12480b57cec5SDimitry Andric return AllExpanded;
12490b57cec5SDimitry Andric }
12500b57cec5SDimitry Andric
ExpandResponseFiles(StringSaver & Saver,TokenizerCallback Tokenizer,SmallVectorImpl<const char * > & Argv,bool MarkEOLs,bool RelativeNames,llvm::Optional<StringRef> CurrentDir)1251*5f7ddb14SDimitry Andric bool cl::ExpandResponseFiles(StringSaver &Saver, TokenizerCallback Tokenizer,
1252*5f7ddb14SDimitry Andric SmallVectorImpl<const char *> &Argv, bool MarkEOLs,
1253*5f7ddb14SDimitry Andric bool RelativeNames,
1254*5f7ddb14SDimitry Andric llvm::Optional<StringRef> CurrentDir) {
1255*5f7ddb14SDimitry Andric return ExpandResponseFiles(Saver, std::move(Tokenizer), Argv, MarkEOLs,
1256*5f7ddb14SDimitry Andric RelativeNames, std::move(CurrentDir),
1257*5f7ddb14SDimitry Andric *vfs::getRealFileSystem());
1258*5f7ddb14SDimitry Andric }
1259*5f7ddb14SDimitry Andric
expandResponseFiles(int Argc,const char * const * Argv,const char * EnvVar,StringSaver & Saver,SmallVectorImpl<const char * > & NewArgv)1260af732203SDimitry Andric bool cl::expandResponseFiles(int Argc, const char *const *Argv,
1261af732203SDimitry Andric const char *EnvVar, StringSaver &Saver,
1262af732203SDimitry Andric SmallVectorImpl<const char *> &NewArgv) {
1263af732203SDimitry Andric auto Tokenize = Triple(sys::getProcessTriple()).isOSWindows()
1264af732203SDimitry Andric ? cl::TokenizeWindowsCommandLine
1265af732203SDimitry Andric : cl::TokenizeGNUCommandLine;
1266af732203SDimitry Andric // The environment variable specifies initial options.
1267af732203SDimitry Andric if (EnvVar)
1268af732203SDimitry Andric if (llvm::Optional<std::string> EnvValue = sys::Process::GetEnv(EnvVar))
1269af732203SDimitry Andric Tokenize(*EnvValue, Saver, NewArgv, /*MarkEOLs=*/false);
1270af732203SDimitry Andric
1271af732203SDimitry Andric // Command line options can override the environment variable.
1272af732203SDimitry Andric NewArgv.append(Argv + 1, Argv + Argc);
1273af732203SDimitry Andric return ExpandResponseFiles(Saver, Tokenize, NewArgv);
1274af732203SDimitry Andric }
1275af732203SDimitry Andric
readConfigFile(StringRef CfgFile,StringSaver & Saver,SmallVectorImpl<const char * > & Argv)12760b57cec5SDimitry Andric bool cl::readConfigFile(StringRef CfgFile, StringSaver &Saver,
12770b57cec5SDimitry Andric SmallVectorImpl<const char *> &Argv) {
1278480093f4SDimitry Andric SmallString<128> AbsPath;
1279480093f4SDimitry Andric if (sys::path::is_relative(CfgFile)) {
1280480093f4SDimitry Andric llvm::sys::fs::current_path(AbsPath);
1281480093f4SDimitry Andric llvm::sys::path::append(AbsPath, CfgFile);
1282480093f4SDimitry Andric CfgFile = AbsPath.str();
1283480093f4SDimitry Andric }
1284480093f4SDimitry Andric if (llvm::Error Err =
1285480093f4SDimitry Andric ExpandResponseFile(CfgFile, Saver, cl::tokenizeConfigFile, Argv,
1286*5f7ddb14SDimitry Andric /*MarkEOLs=*/false, /*RelativeNames=*/true,
1287480093f4SDimitry Andric *llvm::vfs::getRealFileSystem())) {
1288480093f4SDimitry Andric // TODO: The error should be propagated up the stack.
1289480093f4SDimitry Andric llvm::consumeError(std::move(Err));
12900b57cec5SDimitry Andric return false;
1291480093f4SDimitry Andric }
12920b57cec5SDimitry Andric return ExpandResponseFiles(Saver, cl::tokenizeConfigFile, Argv,
1293*5f7ddb14SDimitry Andric /*MarkEOLs=*/false, /*RelativeNames=*/true);
12940b57cec5SDimitry Andric }
12950b57cec5SDimitry Andric
1296*5f7ddb14SDimitry Andric static void initCommonOptions();
ParseCommandLineOptions(int argc,const char * const * argv,StringRef Overview,raw_ostream * Errs,const char * EnvVar,bool LongOptionsUseDoubleDash)12970b57cec5SDimitry Andric bool cl::ParseCommandLineOptions(int argc, const char *const *argv,
12980b57cec5SDimitry Andric StringRef Overview, raw_ostream *Errs,
12990b57cec5SDimitry Andric const char *EnvVar,
13000b57cec5SDimitry Andric bool LongOptionsUseDoubleDash) {
1301*5f7ddb14SDimitry Andric initCommonOptions();
13020b57cec5SDimitry Andric SmallVector<const char *, 20> NewArgv;
13030b57cec5SDimitry Andric BumpPtrAllocator A;
13040b57cec5SDimitry Andric StringSaver Saver(A);
13050b57cec5SDimitry Andric NewArgv.push_back(argv[0]);
13060b57cec5SDimitry Andric
13070b57cec5SDimitry Andric // Parse options from environment variable.
13080b57cec5SDimitry Andric if (EnvVar) {
13090b57cec5SDimitry Andric if (llvm::Optional<std::string> EnvValue =
13100b57cec5SDimitry Andric sys::Process::GetEnv(StringRef(EnvVar)))
13110b57cec5SDimitry Andric TokenizeGNUCommandLine(*EnvValue, Saver, NewArgv);
13120b57cec5SDimitry Andric }
13130b57cec5SDimitry Andric
13140b57cec5SDimitry Andric // Append options from command line.
13150b57cec5SDimitry Andric for (int I = 1; I < argc; ++I)
13160b57cec5SDimitry Andric NewArgv.push_back(argv[I]);
13170b57cec5SDimitry Andric int NewArgc = static_cast<int>(NewArgv.size());
13180b57cec5SDimitry Andric
13190b57cec5SDimitry Andric // Parse all options.
13200b57cec5SDimitry Andric return GlobalParser->ParseCommandLineOptions(NewArgc, &NewArgv[0], Overview,
13210b57cec5SDimitry Andric Errs, LongOptionsUseDoubleDash);
13220b57cec5SDimitry Andric }
13230b57cec5SDimitry Andric
ResetAllOptionOccurrences()13240b57cec5SDimitry Andric void CommandLineParser::ResetAllOptionOccurrences() {
13250b57cec5SDimitry Andric // So that we can parse different command lines multiple times in succession
13260b57cec5SDimitry Andric // we reset all option values to look like they have never been seen before.
1327*5f7ddb14SDimitry Andric for (auto *SC : RegisteredSubCommands) {
13280b57cec5SDimitry Andric for (auto &O : SC->OptionsMap)
13290b57cec5SDimitry Andric O.second->reset();
13300b57cec5SDimitry Andric }
13310b57cec5SDimitry Andric }
13320b57cec5SDimitry Andric
ParseCommandLineOptions(int argc,const char * const * argv,StringRef Overview,raw_ostream * Errs,bool LongOptionsUseDoubleDash)13330b57cec5SDimitry Andric bool CommandLineParser::ParseCommandLineOptions(int argc,
13340b57cec5SDimitry Andric const char *const *argv,
13350b57cec5SDimitry Andric StringRef Overview,
13360b57cec5SDimitry Andric raw_ostream *Errs,
13370b57cec5SDimitry Andric bool LongOptionsUseDoubleDash) {
13380b57cec5SDimitry Andric assert(hasOptions() && "No options specified!");
13390b57cec5SDimitry Andric
13400b57cec5SDimitry Andric // Expand response files.
13410b57cec5SDimitry Andric SmallVector<const char *, 20> newArgv(argv, argv + argc);
13420b57cec5SDimitry Andric BumpPtrAllocator A;
13430b57cec5SDimitry Andric StringSaver Saver(A);
13440b57cec5SDimitry Andric ExpandResponseFiles(Saver,
13450b57cec5SDimitry Andric Triple(sys::getProcessTriple()).isOSWindows() ?
13460b57cec5SDimitry Andric cl::TokenizeWindowsCommandLine : cl::TokenizeGNUCommandLine,
13470b57cec5SDimitry Andric newArgv);
13480b57cec5SDimitry Andric argv = &newArgv[0];
13490b57cec5SDimitry Andric argc = static_cast<int>(newArgv.size());
13500b57cec5SDimitry Andric
13510b57cec5SDimitry Andric // Copy the program name into ProgName, making sure not to overflow it.
13525ffd83dbSDimitry Andric ProgramName = std::string(sys::path::filename(StringRef(argv[0])));
13530b57cec5SDimitry Andric
13540b57cec5SDimitry Andric ProgramOverview = Overview;
13550b57cec5SDimitry Andric bool IgnoreErrors = Errs;
13560b57cec5SDimitry Andric if (!Errs)
13570b57cec5SDimitry Andric Errs = &errs();
13580b57cec5SDimitry Andric bool ErrorParsing = false;
13590b57cec5SDimitry Andric
13600b57cec5SDimitry Andric // Check out the positional arguments to collect information about them.
13610b57cec5SDimitry Andric unsigned NumPositionalRequired = 0;
13620b57cec5SDimitry Andric
13630b57cec5SDimitry Andric // Determine whether or not there are an unlimited number of positionals
13640b57cec5SDimitry Andric bool HasUnlimitedPositionals = false;
13650b57cec5SDimitry Andric
13660b57cec5SDimitry Andric int FirstArg = 1;
13670b57cec5SDimitry Andric SubCommand *ChosenSubCommand = &*TopLevelSubCommand;
13680b57cec5SDimitry Andric if (argc >= 2 && argv[FirstArg][0] != '-') {
13690b57cec5SDimitry Andric // If the first argument specifies a valid subcommand, start processing
13700b57cec5SDimitry Andric // options from the second argument.
13710b57cec5SDimitry Andric ChosenSubCommand = LookupSubCommand(StringRef(argv[FirstArg]));
13720b57cec5SDimitry Andric if (ChosenSubCommand != &*TopLevelSubCommand)
13730b57cec5SDimitry Andric FirstArg = 2;
13740b57cec5SDimitry Andric }
13750b57cec5SDimitry Andric GlobalParser->ActiveSubCommand = ChosenSubCommand;
13760b57cec5SDimitry Andric
13770b57cec5SDimitry Andric assert(ChosenSubCommand);
13780b57cec5SDimitry Andric auto &ConsumeAfterOpt = ChosenSubCommand->ConsumeAfterOpt;
13790b57cec5SDimitry Andric auto &PositionalOpts = ChosenSubCommand->PositionalOpts;
13800b57cec5SDimitry Andric auto &SinkOpts = ChosenSubCommand->SinkOpts;
13810b57cec5SDimitry Andric auto &OptionsMap = ChosenSubCommand->OptionsMap;
13820b57cec5SDimitry Andric
1383*5f7ddb14SDimitry Andric for (auto *O: DefaultOptions) {
13840b57cec5SDimitry Andric addOption(O, true);
13850b57cec5SDimitry Andric }
13860b57cec5SDimitry Andric
13870b57cec5SDimitry Andric if (ConsumeAfterOpt) {
13880b57cec5SDimitry Andric assert(PositionalOpts.size() > 0 &&
13890b57cec5SDimitry Andric "Cannot specify cl::ConsumeAfter without a positional argument!");
13900b57cec5SDimitry Andric }
13910b57cec5SDimitry Andric if (!PositionalOpts.empty()) {
13920b57cec5SDimitry Andric
13930b57cec5SDimitry Andric // Calculate how many positional values are _required_.
13940b57cec5SDimitry Andric bool UnboundedFound = false;
13950b57cec5SDimitry Andric for (size_t i = 0, e = PositionalOpts.size(); i != e; ++i) {
13960b57cec5SDimitry Andric Option *Opt = PositionalOpts[i];
13970b57cec5SDimitry Andric if (RequiresValue(Opt))
13980b57cec5SDimitry Andric ++NumPositionalRequired;
13990b57cec5SDimitry Andric else if (ConsumeAfterOpt) {
14000b57cec5SDimitry Andric // ConsumeAfter cannot be combined with "optional" positional options
14010b57cec5SDimitry Andric // unless there is only one positional argument...
14020b57cec5SDimitry Andric if (PositionalOpts.size() > 1) {
14030b57cec5SDimitry Andric if (!IgnoreErrors)
14040b57cec5SDimitry Andric Opt->error("error - this positional option will never be matched, "
14050b57cec5SDimitry Andric "because it does not Require a value, and a "
14060b57cec5SDimitry Andric "cl::ConsumeAfter option is active!");
14070b57cec5SDimitry Andric ErrorParsing = true;
14080b57cec5SDimitry Andric }
14090b57cec5SDimitry Andric } else if (UnboundedFound && !Opt->hasArgStr()) {
14100b57cec5SDimitry Andric // This option does not "require" a value... Make sure this option is
14110b57cec5SDimitry Andric // not specified after an option that eats all extra arguments, or this
14120b57cec5SDimitry Andric // one will never get any!
14130b57cec5SDimitry Andric //
14140b57cec5SDimitry Andric if (!IgnoreErrors)
14150b57cec5SDimitry Andric Opt->error("error - option can never match, because "
14160b57cec5SDimitry Andric "another positional argument will match an "
14170b57cec5SDimitry Andric "unbounded number of values, and this option"
14180b57cec5SDimitry Andric " does not require a value!");
14190b57cec5SDimitry Andric *Errs << ProgramName << ": CommandLine Error: Option '" << Opt->ArgStr
14200b57cec5SDimitry Andric << "' is all messed up!\n";
14210b57cec5SDimitry Andric *Errs << PositionalOpts.size();
14220b57cec5SDimitry Andric ErrorParsing = true;
14230b57cec5SDimitry Andric }
14240b57cec5SDimitry Andric UnboundedFound |= EatsUnboundedNumberOfValues(Opt);
14250b57cec5SDimitry Andric }
14260b57cec5SDimitry Andric HasUnlimitedPositionals = UnboundedFound || ConsumeAfterOpt;
14270b57cec5SDimitry Andric }
14280b57cec5SDimitry Andric
14290b57cec5SDimitry Andric // PositionalVals - A vector of "positional" arguments we accumulate into
14300b57cec5SDimitry Andric // the process at the end.
14310b57cec5SDimitry Andric //
14320b57cec5SDimitry Andric SmallVector<std::pair<StringRef, unsigned>, 4> PositionalVals;
14330b57cec5SDimitry Andric
14340b57cec5SDimitry Andric // If the program has named positional arguments, and the name has been run
14350b57cec5SDimitry Andric // across, keep track of which positional argument was named. Otherwise put
14360b57cec5SDimitry Andric // the positional args into the PositionalVals list...
14370b57cec5SDimitry Andric Option *ActivePositionalArg = nullptr;
14380b57cec5SDimitry Andric
14390b57cec5SDimitry Andric // Loop over all of the arguments... processing them.
14400b57cec5SDimitry Andric bool DashDashFound = false; // Have we read '--'?
14410b57cec5SDimitry Andric for (int i = FirstArg; i < argc; ++i) {
14420b57cec5SDimitry Andric Option *Handler = nullptr;
14430b57cec5SDimitry Andric Option *NearestHandler = nullptr;
14440b57cec5SDimitry Andric std::string NearestHandlerString;
14450b57cec5SDimitry Andric StringRef Value;
14460b57cec5SDimitry Andric StringRef ArgName = "";
14470b57cec5SDimitry Andric bool HaveDoubleDash = false;
14480b57cec5SDimitry Andric
14490b57cec5SDimitry Andric // Check to see if this is a positional argument. This argument is
14500b57cec5SDimitry Andric // considered to be positional if it doesn't start with '-', if it is "-"
14510b57cec5SDimitry Andric // itself, or if we have seen "--" already.
14520b57cec5SDimitry Andric //
14530b57cec5SDimitry Andric if (argv[i][0] != '-' || argv[i][1] == 0 || DashDashFound) {
14540b57cec5SDimitry Andric // Positional argument!
14550b57cec5SDimitry Andric if (ActivePositionalArg) {
14560b57cec5SDimitry Andric ProvidePositionalOption(ActivePositionalArg, StringRef(argv[i]), i);
14570b57cec5SDimitry Andric continue; // We are done!
14580b57cec5SDimitry Andric }
14590b57cec5SDimitry Andric
14600b57cec5SDimitry Andric if (!PositionalOpts.empty()) {
14610b57cec5SDimitry Andric PositionalVals.push_back(std::make_pair(StringRef(argv[i]), i));
14620b57cec5SDimitry Andric
14630b57cec5SDimitry Andric // All of the positional arguments have been fulfulled, give the rest to
14640b57cec5SDimitry Andric // the consume after option... if it's specified...
14650b57cec5SDimitry Andric //
14660b57cec5SDimitry Andric if (PositionalVals.size() >= NumPositionalRequired && ConsumeAfterOpt) {
14670b57cec5SDimitry Andric for (++i; i < argc; ++i)
14680b57cec5SDimitry Andric PositionalVals.push_back(std::make_pair(StringRef(argv[i]), i));
14690b57cec5SDimitry Andric break; // Handle outside of the argument processing loop...
14700b57cec5SDimitry Andric }
14710b57cec5SDimitry Andric
14720b57cec5SDimitry Andric // Delay processing positional arguments until the end...
14730b57cec5SDimitry Andric continue;
14740b57cec5SDimitry Andric }
14750b57cec5SDimitry Andric } else if (argv[i][0] == '-' && argv[i][1] == '-' && argv[i][2] == 0 &&
14760b57cec5SDimitry Andric !DashDashFound) {
14770b57cec5SDimitry Andric DashDashFound = true; // This is the mythical "--"?
14780b57cec5SDimitry Andric continue; // Don't try to process it as an argument itself.
14790b57cec5SDimitry Andric } else if (ActivePositionalArg &&
14800b57cec5SDimitry Andric (ActivePositionalArg->getMiscFlags() & PositionalEatsArgs)) {
14810b57cec5SDimitry Andric // If there is a positional argument eating options, check to see if this
14820b57cec5SDimitry Andric // option is another positional argument. If so, treat it as an argument,
14830b57cec5SDimitry Andric // otherwise feed it to the eating positional.
14840b57cec5SDimitry Andric ArgName = StringRef(argv[i] + 1);
14850b57cec5SDimitry Andric // Eat second dash.
14860b57cec5SDimitry Andric if (!ArgName.empty() && ArgName[0] == '-') {
14870b57cec5SDimitry Andric HaveDoubleDash = true;
14880b57cec5SDimitry Andric ArgName = ArgName.substr(1);
14890b57cec5SDimitry Andric }
14900b57cec5SDimitry Andric
14910b57cec5SDimitry Andric Handler = LookupLongOption(*ChosenSubCommand, ArgName, Value,
14920b57cec5SDimitry Andric LongOptionsUseDoubleDash, HaveDoubleDash);
14930b57cec5SDimitry Andric if (!Handler || Handler->getFormattingFlag() != cl::Positional) {
14940b57cec5SDimitry Andric ProvidePositionalOption(ActivePositionalArg, StringRef(argv[i]), i);
14950b57cec5SDimitry Andric continue; // We are done!
14960b57cec5SDimitry Andric }
14970b57cec5SDimitry Andric } else { // We start with a '-', must be an argument.
14980b57cec5SDimitry Andric ArgName = StringRef(argv[i] + 1);
14990b57cec5SDimitry Andric // Eat second dash.
15000b57cec5SDimitry Andric if (!ArgName.empty() && ArgName[0] == '-') {
15010b57cec5SDimitry Andric HaveDoubleDash = true;
15020b57cec5SDimitry Andric ArgName = ArgName.substr(1);
15030b57cec5SDimitry Andric }
15040b57cec5SDimitry Andric
15050b57cec5SDimitry Andric Handler = LookupLongOption(*ChosenSubCommand, ArgName, Value,
15060b57cec5SDimitry Andric LongOptionsUseDoubleDash, HaveDoubleDash);
15070b57cec5SDimitry Andric
15080b57cec5SDimitry Andric // Check to see if this "option" is really a prefixed or grouped argument.
15090b57cec5SDimitry Andric if (!Handler && !(LongOptionsUseDoubleDash && HaveDoubleDash))
15100b57cec5SDimitry Andric Handler = HandlePrefixedOrGroupedOption(ArgName, Value, ErrorParsing,
15110b57cec5SDimitry Andric OptionsMap);
15120b57cec5SDimitry Andric
15130b57cec5SDimitry Andric // Otherwise, look for the closest available option to report to the user
15140b57cec5SDimitry Andric // in the upcoming error.
15150b57cec5SDimitry Andric if (!Handler && SinkOpts.empty())
15160b57cec5SDimitry Andric NearestHandler =
15170b57cec5SDimitry Andric LookupNearestOption(ArgName, OptionsMap, NearestHandlerString);
15180b57cec5SDimitry Andric }
15190b57cec5SDimitry Andric
15200b57cec5SDimitry Andric if (!Handler) {
15210b57cec5SDimitry Andric if (SinkOpts.empty()) {
15220b57cec5SDimitry Andric *Errs << ProgramName << ": Unknown command line argument '" << argv[i]
15230b57cec5SDimitry Andric << "'. Try: '" << argv[0] << " --help'\n";
15240b57cec5SDimitry Andric
15250b57cec5SDimitry Andric if (NearestHandler) {
15260b57cec5SDimitry Andric // If we know a near match, report it as well.
15270b57cec5SDimitry Andric *Errs << ProgramName << ": Did you mean '"
1528480093f4SDimitry Andric << PrintArg(NearestHandlerString, 0) << "'?\n";
15290b57cec5SDimitry Andric }
15300b57cec5SDimitry Andric
15310b57cec5SDimitry Andric ErrorParsing = true;
15320b57cec5SDimitry Andric } else {
15330b57cec5SDimitry Andric for (SmallVectorImpl<Option *>::iterator I = SinkOpts.begin(),
15340b57cec5SDimitry Andric E = SinkOpts.end();
15350b57cec5SDimitry Andric I != E; ++I)
15360b57cec5SDimitry Andric (*I)->addOccurrence(i, "", StringRef(argv[i]));
15370b57cec5SDimitry Andric }
15380b57cec5SDimitry Andric continue;
15390b57cec5SDimitry Andric }
15400b57cec5SDimitry Andric
15410b57cec5SDimitry Andric // If this is a named positional argument, just remember that it is the
15420b57cec5SDimitry Andric // active one...
15430b57cec5SDimitry Andric if (Handler->getFormattingFlag() == cl::Positional) {
15440b57cec5SDimitry Andric if ((Handler->getMiscFlags() & PositionalEatsArgs) && !Value.empty()) {
15450b57cec5SDimitry Andric Handler->error("This argument does not take a value.\n"
15460b57cec5SDimitry Andric "\tInstead, it consumes any positional arguments until "
15470b57cec5SDimitry Andric "the next recognized option.", *Errs);
15480b57cec5SDimitry Andric ErrorParsing = true;
15490b57cec5SDimitry Andric }
15500b57cec5SDimitry Andric ActivePositionalArg = Handler;
15510b57cec5SDimitry Andric }
15520b57cec5SDimitry Andric else
15530b57cec5SDimitry Andric ErrorParsing |= ProvideOption(Handler, ArgName, Value, argc, argv, i);
15540b57cec5SDimitry Andric }
15550b57cec5SDimitry Andric
15560b57cec5SDimitry Andric // Check and handle positional arguments now...
15570b57cec5SDimitry Andric if (NumPositionalRequired > PositionalVals.size()) {
15580b57cec5SDimitry Andric *Errs << ProgramName
15590b57cec5SDimitry Andric << ": Not enough positional command line arguments specified!\n"
15600b57cec5SDimitry Andric << "Must specify at least " << NumPositionalRequired
15610b57cec5SDimitry Andric << " positional argument" << (NumPositionalRequired > 1 ? "s" : "")
15620b57cec5SDimitry Andric << ": See: " << argv[0] << " --help\n";
15630b57cec5SDimitry Andric
15640b57cec5SDimitry Andric ErrorParsing = true;
15650b57cec5SDimitry Andric } else if (!HasUnlimitedPositionals &&
15660b57cec5SDimitry Andric PositionalVals.size() > PositionalOpts.size()) {
15670b57cec5SDimitry Andric *Errs << ProgramName << ": Too many positional arguments specified!\n"
15680b57cec5SDimitry Andric << "Can specify at most " << PositionalOpts.size()
15690b57cec5SDimitry Andric << " positional arguments: See: " << argv[0] << " --help\n";
15700b57cec5SDimitry Andric ErrorParsing = true;
15710b57cec5SDimitry Andric
15720b57cec5SDimitry Andric } else if (!ConsumeAfterOpt) {
15730b57cec5SDimitry Andric // Positional args have already been handled if ConsumeAfter is specified.
15740b57cec5SDimitry Andric unsigned ValNo = 0, NumVals = static_cast<unsigned>(PositionalVals.size());
15750b57cec5SDimitry Andric for (size_t i = 0, e = PositionalOpts.size(); i != e; ++i) {
15760b57cec5SDimitry Andric if (RequiresValue(PositionalOpts[i])) {
15770b57cec5SDimitry Andric ProvidePositionalOption(PositionalOpts[i], PositionalVals[ValNo].first,
15780b57cec5SDimitry Andric PositionalVals[ValNo].second);
15790b57cec5SDimitry Andric ValNo++;
15800b57cec5SDimitry Andric --NumPositionalRequired; // We fulfilled our duty...
15810b57cec5SDimitry Andric }
15820b57cec5SDimitry Andric
15830b57cec5SDimitry Andric // If we _can_ give this option more arguments, do so now, as long as we
15840b57cec5SDimitry Andric // do not give it values that others need. 'Done' controls whether the
15850b57cec5SDimitry Andric // option even _WANTS_ any more.
15860b57cec5SDimitry Andric //
15870b57cec5SDimitry Andric bool Done = PositionalOpts[i]->getNumOccurrencesFlag() == cl::Required;
15880b57cec5SDimitry Andric while (NumVals - ValNo > NumPositionalRequired && !Done) {
15890b57cec5SDimitry Andric switch (PositionalOpts[i]->getNumOccurrencesFlag()) {
15900b57cec5SDimitry Andric case cl::Optional:
15910b57cec5SDimitry Andric Done = true; // Optional arguments want _at most_ one value
15920b57cec5SDimitry Andric LLVM_FALLTHROUGH;
15930b57cec5SDimitry Andric case cl::ZeroOrMore: // Zero or more will take all they can get...
15940b57cec5SDimitry Andric case cl::OneOrMore: // One or more will take all they can get...
15950b57cec5SDimitry Andric ProvidePositionalOption(PositionalOpts[i],
15960b57cec5SDimitry Andric PositionalVals[ValNo].first,
15970b57cec5SDimitry Andric PositionalVals[ValNo].second);
15980b57cec5SDimitry Andric ValNo++;
15990b57cec5SDimitry Andric break;
16000b57cec5SDimitry Andric default:
16010b57cec5SDimitry Andric llvm_unreachable("Internal error, unexpected NumOccurrences flag in "
16020b57cec5SDimitry Andric "positional argument processing!");
16030b57cec5SDimitry Andric }
16040b57cec5SDimitry Andric }
16050b57cec5SDimitry Andric }
16060b57cec5SDimitry Andric } else {
16070b57cec5SDimitry Andric assert(ConsumeAfterOpt && NumPositionalRequired <= PositionalVals.size());
16080b57cec5SDimitry Andric unsigned ValNo = 0;
16095ffd83dbSDimitry Andric for (size_t J = 0, E = PositionalOpts.size(); J != E; ++J)
16105ffd83dbSDimitry Andric if (RequiresValue(PositionalOpts[J])) {
16115ffd83dbSDimitry Andric ErrorParsing |= ProvidePositionalOption(PositionalOpts[J],
16120b57cec5SDimitry Andric PositionalVals[ValNo].first,
16130b57cec5SDimitry Andric PositionalVals[ValNo].second);
16140b57cec5SDimitry Andric ValNo++;
16150b57cec5SDimitry Andric }
16160b57cec5SDimitry Andric
16170b57cec5SDimitry Andric // Handle the case where there is just one positional option, and it's
16180b57cec5SDimitry Andric // optional. In this case, we want to give JUST THE FIRST option to the
16190b57cec5SDimitry Andric // positional option and keep the rest for the consume after. The above
16200b57cec5SDimitry Andric // loop would have assigned no values to positional options in this case.
16210b57cec5SDimitry Andric //
16220b57cec5SDimitry Andric if (PositionalOpts.size() == 1 && ValNo == 0 && !PositionalVals.empty()) {
16230b57cec5SDimitry Andric ErrorParsing |= ProvidePositionalOption(PositionalOpts[0],
16240b57cec5SDimitry Andric PositionalVals[ValNo].first,
16250b57cec5SDimitry Andric PositionalVals[ValNo].second);
16260b57cec5SDimitry Andric ValNo++;
16270b57cec5SDimitry Andric }
16280b57cec5SDimitry Andric
16290b57cec5SDimitry Andric // Handle over all of the rest of the arguments to the
16300b57cec5SDimitry Andric // cl::ConsumeAfter command line option...
16310b57cec5SDimitry Andric for (; ValNo != PositionalVals.size(); ++ValNo)
16320b57cec5SDimitry Andric ErrorParsing |=
16330b57cec5SDimitry Andric ProvidePositionalOption(ConsumeAfterOpt, PositionalVals[ValNo].first,
16340b57cec5SDimitry Andric PositionalVals[ValNo].second);
16350b57cec5SDimitry Andric }
16360b57cec5SDimitry Andric
16370b57cec5SDimitry Andric // Loop over args and make sure all required args are specified!
16380b57cec5SDimitry Andric for (const auto &Opt : OptionsMap) {
16390b57cec5SDimitry Andric switch (Opt.second->getNumOccurrencesFlag()) {
16400b57cec5SDimitry Andric case Required:
16410b57cec5SDimitry Andric case OneOrMore:
16420b57cec5SDimitry Andric if (Opt.second->getNumOccurrences() == 0) {
16430b57cec5SDimitry Andric Opt.second->error("must be specified at least once!");
16440b57cec5SDimitry Andric ErrorParsing = true;
16450b57cec5SDimitry Andric }
16460b57cec5SDimitry Andric LLVM_FALLTHROUGH;
16470b57cec5SDimitry Andric default:
16480b57cec5SDimitry Andric break;
16490b57cec5SDimitry Andric }
16500b57cec5SDimitry Andric }
16510b57cec5SDimitry Andric
16520b57cec5SDimitry Andric // Now that we know if -debug is specified, we can use it.
16530b57cec5SDimitry Andric // Note that if ReadResponseFiles == true, this must be done before the
16540b57cec5SDimitry Andric // memory allocated for the expanded command line is free()d below.
16550b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Args: ";
16560b57cec5SDimitry Andric for (int i = 0; i < argc; ++i) dbgs() << argv[i] << ' ';
16570b57cec5SDimitry Andric dbgs() << '\n';);
16580b57cec5SDimitry Andric
16590b57cec5SDimitry Andric // Free all of the memory allocated to the map. Command line options may only
16600b57cec5SDimitry Andric // be processed once!
16610b57cec5SDimitry Andric MoreHelp.clear();
16620b57cec5SDimitry Andric
16630b57cec5SDimitry Andric // If we had an error processing our arguments, don't let the program execute
16640b57cec5SDimitry Andric if (ErrorParsing) {
16650b57cec5SDimitry Andric if (!IgnoreErrors)
16660b57cec5SDimitry Andric exit(1);
16670b57cec5SDimitry Andric return false;
16680b57cec5SDimitry Andric }
16690b57cec5SDimitry Andric return true;
16700b57cec5SDimitry Andric }
16710b57cec5SDimitry Andric
16720b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
16730b57cec5SDimitry Andric // Option Base class implementation
16740b57cec5SDimitry Andric //
16750b57cec5SDimitry Andric
error(const Twine & Message,StringRef ArgName,raw_ostream & Errs)16760b57cec5SDimitry Andric bool Option::error(const Twine &Message, StringRef ArgName, raw_ostream &Errs) {
16770b57cec5SDimitry Andric if (!ArgName.data())
16780b57cec5SDimitry Andric ArgName = ArgStr;
16790b57cec5SDimitry Andric if (ArgName.empty())
16800b57cec5SDimitry Andric Errs << HelpStr; // Be nice for positional arguments
16810b57cec5SDimitry Andric else
1682480093f4SDimitry Andric Errs << GlobalParser->ProgramName << ": for the " << PrintArg(ArgName, 0);
16830b57cec5SDimitry Andric
16840b57cec5SDimitry Andric Errs << " option: " << Message << "\n";
16850b57cec5SDimitry Andric return true;
16860b57cec5SDimitry Andric }
16870b57cec5SDimitry Andric
addOccurrence(unsigned pos,StringRef ArgName,StringRef Value,bool MultiArg)16880b57cec5SDimitry Andric bool Option::addOccurrence(unsigned pos, StringRef ArgName, StringRef Value,
16890b57cec5SDimitry Andric bool MultiArg) {
16900b57cec5SDimitry Andric if (!MultiArg)
16910b57cec5SDimitry Andric NumOccurrences++; // Increment the number of times we have been seen
16920b57cec5SDimitry Andric
16930b57cec5SDimitry Andric switch (getNumOccurrencesFlag()) {
16940b57cec5SDimitry Andric case Optional:
16950b57cec5SDimitry Andric if (NumOccurrences > 1)
16960b57cec5SDimitry Andric return error("may only occur zero or one times!", ArgName);
16970b57cec5SDimitry Andric break;
16980b57cec5SDimitry Andric case Required:
16990b57cec5SDimitry Andric if (NumOccurrences > 1)
17000b57cec5SDimitry Andric return error("must occur exactly one time!", ArgName);
17010b57cec5SDimitry Andric LLVM_FALLTHROUGH;
17020b57cec5SDimitry Andric case OneOrMore:
17030b57cec5SDimitry Andric case ZeroOrMore:
17040b57cec5SDimitry Andric case ConsumeAfter:
17050b57cec5SDimitry Andric break;
17060b57cec5SDimitry Andric }
17070b57cec5SDimitry Andric
17080b57cec5SDimitry Andric return handleOccurrence(pos, ArgName, Value);
17090b57cec5SDimitry Andric }
17100b57cec5SDimitry Andric
17110b57cec5SDimitry Andric // getValueStr - Get the value description string, using "DefaultMsg" if nothing
17120b57cec5SDimitry Andric // has been specified yet.
17130b57cec5SDimitry Andric //
getValueStr(const Option & O,StringRef DefaultMsg)17140b57cec5SDimitry Andric static StringRef getValueStr(const Option &O, StringRef DefaultMsg) {
17150b57cec5SDimitry Andric if (O.ValueStr.empty())
17160b57cec5SDimitry Andric return DefaultMsg;
17170b57cec5SDimitry Andric return O.ValueStr;
17180b57cec5SDimitry Andric }
17190b57cec5SDimitry Andric
17200b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
17210b57cec5SDimitry Andric // cl::alias class implementation
17220b57cec5SDimitry Andric //
17230b57cec5SDimitry Andric
17240b57cec5SDimitry Andric // Return the width of the option tag for printing...
getOptionWidth() const17250b57cec5SDimitry Andric size_t alias::getOptionWidth() const {
17260b57cec5SDimitry Andric return argPlusPrefixesSize(ArgStr);
17270b57cec5SDimitry Andric }
17280b57cec5SDimitry Andric
printHelpStr(StringRef HelpStr,size_t Indent,size_t FirstLineIndentedBy)17290b57cec5SDimitry Andric void Option::printHelpStr(StringRef HelpStr, size_t Indent,
17300b57cec5SDimitry Andric size_t FirstLineIndentedBy) {
17310b57cec5SDimitry Andric assert(Indent >= FirstLineIndentedBy);
17320b57cec5SDimitry Andric std::pair<StringRef, StringRef> Split = HelpStr.split('\n');
17330b57cec5SDimitry Andric outs().indent(Indent - FirstLineIndentedBy)
17340b57cec5SDimitry Andric << ArgHelpPrefix << Split.first << "\n";
17350b57cec5SDimitry Andric while (!Split.second.empty()) {
17360b57cec5SDimitry Andric Split = Split.second.split('\n');
17370b57cec5SDimitry Andric outs().indent(Indent) << Split.first << "\n";
17380b57cec5SDimitry Andric }
17390b57cec5SDimitry Andric }
17400b57cec5SDimitry Andric
printEnumValHelpStr(StringRef HelpStr,size_t BaseIndent,size_t FirstLineIndentedBy)1741af732203SDimitry Andric void Option::printEnumValHelpStr(StringRef HelpStr, size_t BaseIndent,
1742af732203SDimitry Andric size_t FirstLineIndentedBy) {
1743af732203SDimitry Andric const StringRef ValHelpPrefix = " ";
1744af732203SDimitry Andric assert(BaseIndent >= FirstLineIndentedBy);
1745af732203SDimitry Andric std::pair<StringRef, StringRef> Split = HelpStr.split('\n');
1746af732203SDimitry Andric outs().indent(BaseIndent - FirstLineIndentedBy)
1747af732203SDimitry Andric << ArgHelpPrefix << ValHelpPrefix << Split.first << "\n";
1748af732203SDimitry Andric while (!Split.second.empty()) {
1749af732203SDimitry Andric Split = Split.second.split('\n');
1750af732203SDimitry Andric outs().indent(BaseIndent + ValHelpPrefix.size()) << Split.first << "\n";
1751af732203SDimitry Andric }
1752af732203SDimitry Andric }
1753af732203SDimitry Andric
17540b57cec5SDimitry Andric // Print out the option for the alias.
printOptionInfo(size_t GlobalWidth) const17550b57cec5SDimitry Andric void alias::printOptionInfo(size_t GlobalWidth) const {
17560b57cec5SDimitry Andric outs() << PrintArg(ArgStr);
17570b57cec5SDimitry Andric printHelpStr(HelpStr, GlobalWidth, argPlusPrefixesSize(ArgStr));
17580b57cec5SDimitry Andric }
17590b57cec5SDimitry Andric
17600b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
17610b57cec5SDimitry Andric // Parser Implementation code...
17620b57cec5SDimitry Andric //
17630b57cec5SDimitry Andric
17640b57cec5SDimitry Andric // basic_parser implementation
17650b57cec5SDimitry Andric //
17660b57cec5SDimitry Andric
17670b57cec5SDimitry Andric // Return the width of the option tag for printing...
getOptionWidth(const Option & O) const17680b57cec5SDimitry Andric size_t basic_parser_impl::getOptionWidth(const Option &O) const {
17690b57cec5SDimitry Andric size_t Len = argPlusPrefixesSize(O.ArgStr);
17700b57cec5SDimitry Andric auto ValName = getValueName();
17710b57cec5SDimitry Andric if (!ValName.empty()) {
17720b57cec5SDimitry Andric size_t FormattingLen = 3;
17730b57cec5SDimitry Andric if (O.getMiscFlags() & PositionalEatsArgs)
17740b57cec5SDimitry Andric FormattingLen = 6;
17750b57cec5SDimitry Andric Len += getValueStr(O, ValName).size() + FormattingLen;
17760b57cec5SDimitry Andric }
17770b57cec5SDimitry Andric
17780b57cec5SDimitry Andric return Len;
17790b57cec5SDimitry Andric }
17800b57cec5SDimitry Andric
17810b57cec5SDimitry Andric // printOptionInfo - Print out information about this option. The
17820b57cec5SDimitry Andric // to-be-maintained width is specified.
17830b57cec5SDimitry Andric //
printOptionInfo(const Option & O,size_t GlobalWidth) const17840b57cec5SDimitry Andric void basic_parser_impl::printOptionInfo(const Option &O,
17850b57cec5SDimitry Andric size_t GlobalWidth) const {
17860b57cec5SDimitry Andric outs() << PrintArg(O.ArgStr);
17870b57cec5SDimitry Andric
17880b57cec5SDimitry Andric auto ValName = getValueName();
17890b57cec5SDimitry Andric if (!ValName.empty()) {
17900b57cec5SDimitry Andric if (O.getMiscFlags() & PositionalEatsArgs) {
17910b57cec5SDimitry Andric outs() << " <" << getValueStr(O, ValName) << ">...";
17925ffd83dbSDimitry Andric } else if (O.getValueExpectedFlag() == ValueOptional)
17935ffd83dbSDimitry Andric outs() << "[=<" << getValueStr(O, ValName) << ">]";
17945ffd83dbSDimitry Andric else
17950b57cec5SDimitry Andric outs() << "=<" << getValueStr(O, ValName) << '>';
17960b57cec5SDimitry Andric }
17970b57cec5SDimitry Andric
17980b57cec5SDimitry Andric Option::printHelpStr(O.HelpStr, GlobalWidth, getOptionWidth(O));
17990b57cec5SDimitry Andric }
18000b57cec5SDimitry Andric
printOptionName(const Option & O,size_t GlobalWidth) const18010b57cec5SDimitry Andric void basic_parser_impl::printOptionName(const Option &O,
18020b57cec5SDimitry Andric size_t GlobalWidth) const {
18030b57cec5SDimitry Andric outs() << PrintArg(O.ArgStr);
18040b57cec5SDimitry Andric outs().indent(GlobalWidth - O.ArgStr.size());
18050b57cec5SDimitry Andric }
18060b57cec5SDimitry Andric
18070b57cec5SDimitry Andric // parser<bool> implementation
18080b57cec5SDimitry Andric //
parse(Option & O,StringRef ArgName,StringRef Arg,bool & Value)18090b57cec5SDimitry Andric bool parser<bool>::parse(Option &O, StringRef ArgName, StringRef Arg,
18100b57cec5SDimitry Andric bool &Value) {
18110b57cec5SDimitry Andric if (Arg == "" || Arg == "true" || Arg == "TRUE" || Arg == "True" ||
18120b57cec5SDimitry Andric Arg == "1") {
18130b57cec5SDimitry Andric Value = true;
18140b57cec5SDimitry Andric return false;
18150b57cec5SDimitry Andric }
18160b57cec5SDimitry Andric
18170b57cec5SDimitry Andric if (Arg == "false" || Arg == "FALSE" || Arg == "False" || Arg == "0") {
18180b57cec5SDimitry Andric Value = false;
18190b57cec5SDimitry Andric return false;
18200b57cec5SDimitry Andric }
18210b57cec5SDimitry Andric return O.error("'" + Arg +
18220b57cec5SDimitry Andric "' is invalid value for boolean argument! Try 0 or 1");
18230b57cec5SDimitry Andric }
18240b57cec5SDimitry Andric
18250b57cec5SDimitry Andric // parser<boolOrDefault> implementation
18260b57cec5SDimitry Andric //
parse(Option & O,StringRef ArgName,StringRef Arg,boolOrDefault & Value)18270b57cec5SDimitry Andric bool parser<boolOrDefault>::parse(Option &O, StringRef ArgName, StringRef Arg,
18280b57cec5SDimitry Andric boolOrDefault &Value) {
18290b57cec5SDimitry Andric if (Arg == "" || Arg == "true" || Arg == "TRUE" || Arg == "True" ||
18300b57cec5SDimitry Andric Arg == "1") {
18310b57cec5SDimitry Andric Value = BOU_TRUE;
18320b57cec5SDimitry Andric return false;
18330b57cec5SDimitry Andric }
18340b57cec5SDimitry Andric if (Arg == "false" || Arg == "FALSE" || Arg == "False" || Arg == "0") {
18350b57cec5SDimitry Andric Value = BOU_FALSE;
18360b57cec5SDimitry Andric return false;
18370b57cec5SDimitry Andric }
18380b57cec5SDimitry Andric
18390b57cec5SDimitry Andric return O.error("'" + Arg +
18400b57cec5SDimitry Andric "' is invalid value for boolean argument! Try 0 or 1");
18410b57cec5SDimitry Andric }
18420b57cec5SDimitry Andric
18430b57cec5SDimitry Andric // parser<int> implementation
18440b57cec5SDimitry Andric //
parse(Option & O,StringRef ArgName,StringRef Arg,int & Value)18450b57cec5SDimitry Andric bool parser<int>::parse(Option &O, StringRef ArgName, StringRef Arg,
18460b57cec5SDimitry Andric int &Value) {
18470b57cec5SDimitry Andric if (Arg.getAsInteger(0, Value))
18480b57cec5SDimitry Andric return O.error("'" + Arg + "' value invalid for integer argument!");
18490b57cec5SDimitry Andric return false;
18500b57cec5SDimitry Andric }
18510b57cec5SDimitry Andric
1852480093f4SDimitry Andric // parser<long> implementation
1853480093f4SDimitry Andric //
parse(Option & O,StringRef ArgName,StringRef Arg,long & Value)1854480093f4SDimitry Andric bool parser<long>::parse(Option &O, StringRef ArgName, StringRef Arg,
1855480093f4SDimitry Andric long &Value) {
1856480093f4SDimitry Andric if (Arg.getAsInteger(0, Value))
1857480093f4SDimitry Andric return O.error("'" + Arg + "' value invalid for long argument!");
1858480093f4SDimitry Andric return false;
1859480093f4SDimitry Andric }
1860480093f4SDimitry Andric
1861480093f4SDimitry Andric // parser<long long> implementation
1862480093f4SDimitry Andric //
parse(Option & O,StringRef ArgName,StringRef Arg,long long & Value)1863480093f4SDimitry Andric bool parser<long long>::parse(Option &O, StringRef ArgName, StringRef Arg,
1864480093f4SDimitry Andric long long &Value) {
1865480093f4SDimitry Andric if (Arg.getAsInteger(0, Value))
1866480093f4SDimitry Andric return O.error("'" + Arg + "' value invalid for llong argument!");
1867480093f4SDimitry Andric return false;
1868480093f4SDimitry Andric }
1869480093f4SDimitry Andric
18700b57cec5SDimitry Andric // parser<unsigned> implementation
18710b57cec5SDimitry Andric //
parse(Option & O,StringRef ArgName,StringRef Arg,unsigned & Value)18720b57cec5SDimitry Andric bool parser<unsigned>::parse(Option &O, StringRef ArgName, StringRef Arg,
18730b57cec5SDimitry Andric unsigned &Value) {
18740b57cec5SDimitry Andric
18750b57cec5SDimitry Andric if (Arg.getAsInteger(0, Value))
18760b57cec5SDimitry Andric return O.error("'" + Arg + "' value invalid for uint argument!");
18770b57cec5SDimitry Andric return false;
18780b57cec5SDimitry Andric }
18790b57cec5SDimitry Andric
18800b57cec5SDimitry Andric // parser<unsigned long> implementation
18810b57cec5SDimitry Andric //
parse(Option & O,StringRef ArgName,StringRef Arg,unsigned long & Value)18820b57cec5SDimitry Andric bool parser<unsigned long>::parse(Option &O, StringRef ArgName, StringRef Arg,
18830b57cec5SDimitry Andric unsigned long &Value) {
18840b57cec5SDimitry Andric
18850b57cec5SDimitry Andric if (Arg.getAsInteger(0, Value))
18860b57cec5SDimitry Andric return O.error("'" + Arg + "' value invalid for ulong argument!");
18870b57cec5SDimitry Andric return false;
18880b57cec5SDimitry Andric }
18890b57cec5SDimitry Andric
18900b57cec5SDimitry Andric // parser<unsigned long long> implementation
18910b57cec5SDimitry Andric //
parse(Option & O,StringRef ArgName,StringRef Arg,unsigned long long & Value)18920b57cec5SDimitry Andric bool parser<unsigned long long>::parse(Option &O, StringRef ArgName,
18930b57cec5SDimitry Andric StringRef Arg,
18940b57cec5SDimitry Andric unsigned long long &Value) {
18950b57cec5SDimitry Andric
18960b57cec5SDimitry Andric if (Arg.getAsInteger(0, Value))
18970b57cec5SDimitry Andric return O.error("'" + Arg + "' value invalid for ullong argument!");
18980b57cec5SDimitry Andric return false;
18990b57cec5SDimitry Andric }
19000b57cec5SDimitry Andric
19010b57cec5SDimitry Andric // parser<double>/parser<float> implementation
19020b57cec5SDimitry Andric //
parseDouble(Option & O,StringRef Arg,double & Value)19030b57cec5SDimitry Andric static bool parseDouble(Option &O, StringRef Arg, double &Value) {
19040b57cec5SDimitry Andric if (to_float(Arg, Value))
19050b57cec5SDimitry Andric return false;
19060b57cec5SDimitry Andric return O.error("'" + Arg + "' value invalid for floating point argument!");
19070b57cec5SDimitry Andric }
19080b57cec5SDimitry Andric
parse(Option & O,StringRef ArgName,StringRef Arg,double & Val)19090b57cec5SDimitry Andric bool parser<double>::parse(Option &O, StringRef ArgName, StringRef Arg,
19100b57cec5SDimitry Andric double &Val) {
19110b57cec5SDimitry Andric return parseDouble(O, Arg, Val);
19120b57cec5SDimitry Andric }
19130b57cec5SDimitry Andric
parse(Option & O,StringRef ArgName,StringRef Arg,float & Val)19140b57cec5SDimitry Andric bool parser<float>::parse(Option &O, StringRef ArgName, StringRef Arg,
19150b57cec5SDimitry Andric float &Val) {
19160b57cec5SDimitry Andric double dVal;
19170b57cec5SDimitry Andric if (parseDouble(O, Arg, dVal))
19180b57cec5SDimitry Andric return true;
19190b57cec5SDimitry Andric Val = (float)dVal;
19200b57cec5SDimitry Andric return false;
19210b57cec5SDimitry Andric }
19220b57cec5SDimitry Andric
19230b57cec5SDimitry Andric // generic_parser_base implementation
19240b57cec5SDimitry Andric //
19250b57cec5SDimitry Andric
19260b57cec5SDimitry Andric // findOption - Return the option number corresponding to the specified
19270b57cec5SDimitry Andric // argument string. If the option is not found, getNumOptions() is returned.
19280b57cec5SDimitry Andric //
findOption(StringRef Name)19290b57cec5SDimitry Andric unsigned generic_parser_base::findOption(StringRef Name) {
19300b57cec5SDimitry Andric unsigned e = getNumOptions();
19310b57cec5SDimitry Andric
19320b57cec5SDimitry Andric for (unsigned i = 0; i != e; ++i) {
19330b57cec5SDimitry Andric if (getOption(i) == Name)
19340b57cec5SDimitry Andric return i;
19350b57cec5SDimitry Andric }
19360b57cec5SDimitry Andric return e;
19370b57cec5SDimitry Andric }
19380b57cec5SDimitry Andric
19390b57cec5SDimitry Andric static StringRef EqValue = "=<value>";
19400b57cec5SDimitry Andric static StringRef EmptyOption = "<empty>";
19410b57cec5SDimitry Andric static StringRef OptionPrefix = " =";
getOptionPrefixesSize()1942*5f7ddb14SDimitry Andric static size_t getOptionPrefixesSize() {
1943*5f7ddb14SDimitry Andric return OptionPrefix.size() + ArgHelpPrefix.size();
1944*5f7ddb14SDimitry Andric }
19450b57cec5SDimitry Andric
shouldPrintOption(StringRef Name,StringRef Description,const Option & O)19460b57cec5SDimitry Andric static bool shouldPrintOption(StringRef Name, StringRef Description,
19470b57cec5SDimitry Andric const Option &O) {
19480b57cec5SDimitry Andric return O.getValueExpectedFlag() != ValueOptional || !Name.empty() ||
19490b57cec5SDimitry Andric !Description.empty();
19500b57cec5SDimitry Andric }
19510b57cec5SDimitry Andric
19520b57cec5SDimitry Andric // Return the width of the option tag for printing...
getOptionWidth(const Option & O) const19530b57cec5SDimitry Andric size_t generic_parser_base::getOptionWidth(const Option &O) const {
19540b57cec5SDimitry Andric if (O.hasArgStr()) {
19550b57cec5SDimitry Andric size_t Size =
19560b57cec5SDimitry Andric argPlusPrefixesSize(O.ArgStr) + EqValue.size();
19570b57cec5SDimitry Andric for (unsigned i = 0, e = getNumOptions(); i != e; ++i) {
19580b57cec5SDimitry Andric StringRef Name = getOption(i);
19590b57cec5SDimitry Andric if (!shouldPrintOption(Name, getDescription(i), O))
19600b57cec5SDimitry Andric continue;
19610b57cec5SDimitry Andric size_t NameSize = Name.empty() ? EmptyOption.size() : Name.size();
1962*5f7ddb14SDimitry Andric Size = std::max(Size, NameSize + getOptionPrefixesSize());
19630b57cec5SDimitry Andric }
19640b57cec5SDimitry Andric return Size;
19650b57cec5SDimitry Andric } else {
19660b57cec5SDimitry Andric size_t BaseSize = 0;
19670b57cec5SDimitry Andric for (unsigned i = 0, e = getNumOptions(); i != e; ++i)
19680b57cec5SDimitry Andric BaseSize = std::max(BaseSize, getOption(i).size() + 8);
19690b57cec5SDimitry Andric return BaseSize;
19700b57cec5SDimitry Andric }
19710b57cec5SDimitry Andric }
19720b57cec5SDimitry Andric
19730b57cec5SDimitry Andric // printOptionInfo - Print out information about this option. The
19740b57cec5SDimitry Andric // to-be-maintained width is specified.
19750b57cec5SDimitry Andric //
printOptionInfo(const Option & O,size_t GlobalWidth) const19760b57cec5SDimitry Andric void generic_parser_base::printOptionInfo(const Option &O,
19770b57cec5SDimitry Andric size_t GlobalWidth) const {
19780b57cec5SDimitry Andric if (O.hasArgStr()) {
19790b57cec5SDimitry Andric // When the value is optional, first print a line just describing the
19800b57cec5SDimitry Andric // option without values.
19810b57cec5SDimitry Andric if (O.getValueExpectedFlag() == ValueOptional) {
19820b57cec5SDimitry Andric for (unsigned i = 0, e = getNumOptions(); i != e; ++i) {
19830b57cec5SDimitry Andric if (getOption(i).empty()) {
19840b57cec5SDimitry Andric outs() << PrintArg(O.ArgStr);
19850b57cec5SDimitry Andric Option::printHelpStr(O.HelpStr, GlobalWidth,
19860b57cec5SDimitry Andric argPlusPrefixesSize(O.ArgStr));
19870b57cec5SDimitry Andric break;
19880b57cec5SDimitry Andric }
19890b57cec5SDimitry Andric }
19900b57cec5SDimitry Andric }
19910b57cec5SDimitry Andric
19920b57cec5SDimitry Andric outs() << PrintArg(O.ArgStr) << EqValue;
19930b57cec5SDimitry Andric Option::printHelpStr(O.HelpStr, GlobalWidth,
19940b57cec5SDimitry Andric EqValue.size() +
19950b57cec5SDimitry Andric argPlusPrefixesSize(O.ArgStr));
19960b57cec5SDimitry Andric for (unsigned i = 0, e = getNumOptions(); i != e; ++i) {
19970b57cec5SDimitry Andric StringRef OptionName = getOption(i);
19980b57cec5SDimitry Andric StringRef Description = getDescription(i);
19990b57cec5SDimitry Andric if (!shouldPrintOption(OptionName, Description, O))
20000b57cec5SDimitry Andric continue;
2001*5f7ddb14SDimitry Andric size_t FirstLineIndent = OptionName.size() + getOptionPrefixesSize();
20020b57cec5SDimitry Andric outs() << OptionPrefix << OptionName;
20030b57cec5SDimitry Andric if (OptionName.empty()) {
20040b57cec5SDimitry Andric outs() << EmptyOption;
2005af732203SDimitry Andric assert(FirstLineIndent >= EmptyOption.size());
2006af732203SDimitry Andric FirstLineIndent += EmptyOption.size();
20070b57cec5SDimitry Andric }
20080b57cec5SDimitry Andric if (!Description.empty())
2009af732203SDimitry Andric Option::printEnumValHelpStr(Description, GlobalWidth, FirstLineIndent);
2010af732203SDimitry Andric else
20110b57cec5SDimitry Andric outs() << '\n';
20120b57cec5SDimitry Andric }
20130b57cec5SDimitry Andric } else {
20140b57cec5SDimitry Andric if (!O.HelpStr.empty())
20150b57cec5SDimitry Andric outs() << " " << O.HelpStr << '\n';
20160b57cec5SDimitry Andric for (unsigned i = 0, e = getNumOptions(); i != e; ++i) {
20170b57cec5SDimitry Andric StringRef Option = getOption(i);
20180b57cec5SDimitry Andric outs() << " " << PrintArg(Option);
20190b57cec5SDimitry Andric Option::printHelpStr(getDescription(i), GlobalWidth, Option.size() + 8);
20200b57cec5SDimitry Andric }
20210b57cec5SDimitry Andric }
20220b57cec5SDimitry Andric }
20230b57cec5SDimitry Andric
20240b57cec5SDimitry Andric static const size_t MaxOptWidth = 8; // arbitrary spacing for printOptionDiff
20250b57cec5SDimitry Andric
20260b57cec5SDimitry Andric // printGenericOptionDiff - Print the value of this option and it's default.
20270b57cec5SDimitry Andric //
20280b57cec5SDimitry Andric // "Generic" options have each value mapped to a name.
printGenericOptionDiff(const Option & O,const GenericOptionValue & Value,const GenericOptionValue & Default,size_t GlobalWidth) const20290b57cec5SDimitry Andric void generic_parser_base::printGenericOptionDiff(
20300b57cec5SDimitry Andric const Option &O, const GenericOptionValue &Value,
20310b57cec5SDimitry Andric const GenericOptionValue &Default, size_t GlobalWidth) const {
20320b57cec5SDimitry Andric outs() << " " << PrintArg(O.ArgStr);
20330b57cec5SDimitry Andric outs().indent(GlobalWidth - O.ArgStr.size());
20340b57cec5SDimitry Andric
20350b57cec5SDimitry Andric unsigned NumOpts = getNumOptions();
20360b57cec5SDimitry Andric for (unsigned i = 0; i != NumOpts; ++i) {
20370b57cec5SDimitry Andric if (Value.compare(getOptionValue(i)))
20380b57cec5SDimitry Andric continue;
20390b57cec5SDimitry Andric
20400b57cec5SDimitry Andric outs() << "= " << getOption(i);
20410b57cec5SDimitry Andric size_t L = getOption(i).size();
20420b57cec5SDimitry Andric size_t NumSpaces = MaxOptWidth > L ? MaxOptWidth - L : 0;
20430b57cec5SDimitry Andric outs().indent(NumSpaces) << " (default: ";
20440b57cec5SDimitry Andric for (unsigned j = 0; j != NumOpts; ++j) {
20450b57cec5SDimitry Andric if (Default.compare(getOptionValue(j)))
20460b57cec5SDimitry Andric continue;
20470b57cec5SDimitry Andric outs() << getOption(j);
20480b57cec5SDimitry Andric break;
20490b57cec5SDimitry Andric }
20500b57cec5SDimitry Andric outs() << ")\n";
20510b57cec5SDimitry Andric return;
20520b57cec5SDimitry Andric }
20530b57cec5SDimitry Andric outs() << "= *unknown option value*\n";
20540b57cec5SDimitry Andric }
20550b57cec5SDimitry Andric
20560b57cec5SDimitry Andric // printOptionDiff - Specializations for printing basic value types.
20570b57cec5SDimitry Andric //
20580b57cec5SDimitry Andric #define PRINT_OPT_DIFF(T) \
20590b57cec5SDimitry Andric void parser<T>::printOptionDiff(const Option &O, T V, OptionValue<T> D, \
20600b57cec5SDimitry Andric size_t GlobalWidth) const { \
20610b57cec5SDimitry Andric printOptionName(O, GlobalWidth); \
20620b57cec5SDimitry Andric std::string Str; \
20630b57cec5SDimitry Andric { \
20640b57cec5SDimitry Andric raw_string_ostream SS(Str); \
20650b57cec5SDimitry Andric SS << V; \
20660b57cec5SDimitry Andric } \
20670b57cec5SDimitry Andric outs() << "= " << Str; \
20680b57cec5SDimitry Andric size_t NumSpaces = \
20690b57cec5SDimitry Andric MaxOptWidth > Str.size() ? MaxOptWidth - Str.size() : 0; \
20700b57cec5SDimitry Andric outs().indent(NumSpaces) << " (default: "; \
20710b57cec5SDimitry Andric if (D.hasValue()) \
20720b57cec5SDimitry Andric outs() << D.getValue(); \
20730b57cec5SDimitry Andric else \
20740b57cec5SDimitry Andric outs() << "*no default*"; \
20750b57cec5SDimitry Andric outs() << ")\n"; \
20760b57cec5SDimitry Andric }
20770b57cec5SDimitry Andric
20780b57cec5SDimitry Andric PRINT_OPT_DIFF(bool)
PRINT_OPT_DIFF(boolOrDefault)20790b57cec5SDimitry Andric PRINT_OPT_DIFF(boolOrDefault)
20800b57cec5SDimitry Andric PRINT_OPT_DIFF(int)
2081480093f4SDimitry Andric PRINT_OPT_DIFF(long)
2082480093f4SDimitry Andric PRINT_OPT_DIFF(long long)
20830b57cec5SDimitry Andric PRINT_OPT_DIFF(unsigned)
20840b57cec5SDimitry Andric PRINT_OPT_DIFF(unsigned long)
20850b57cec5SDimitry Andric PRINT_OPT_DIFF(unsigned long long)
20860b57cec5SDimitry Andric PRINT_OPT_DIFF(double)
20870b57cec5SDimitry Andric PRINT_OPT_DIFF(float)
20880b57cec5SDimitry Andric PRINT_OPT_DIFF(char)
20890b57cec5SDimitry Andric
20900b57cec5SDimitry Andric void parser<std::string>::printOptionDiff(const Option &O, StringRef V,
20910b57cec5SDimitry Andric const OptionValue<std::string> &D,
20920b57cec5SDimitry Andric size_t GlobalWidth) const {
20930b57cec5SDimitry Andric printOptionName(O, GlobalWidth);
20940b57cec5SDimitry Andric outs() << "= " << V;
20950b57cec5SDimitry Andric size_t NumSpaces = MaxOptWidth > V.size() ? MaxOptWidth - V.size() : 0;
20960b57cec5SDimitry Andric outs().indent(NumSpaces) << " (default: ";
20970b57cec5SDimitry Andric if (D.hasValue())
20980b57cec5SDimitry Andric outs() << D.getValue();
20990b57cec5SDimitry Andric else
21000b57cec5SDimitry Andric outs() << "*no default*";
21010b57cec5SDimitry Andric outs() << ")\n";
21020b57cec5SDimitry Andric }
21030b57cec5SDimitry Andric
21040b57cec5SDimitry Andric // Print a placeholder for options that don't yet support printOptionDiff().
printOptionNoValue(const Option & O,size_t GlobalWidth) const21050b57cec5SDimitry Andric void basic_parser_impl::printOptionNoValue(const Option &O,
21060b57cec5SDimitry Andric size_t GlobalWidth) const {
21070b57cec5SDimitry Andric printOptionName(O, GlobalWidth);
21080b57cec5SDimitry Andric outs() << "= *cannot print option value*\n";
21090b57cec5SDimitry Andric }
21100b57cec5SDimitry Andric
21110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
21120b57cec5SDimitry Andric // -help and -help-hidden option implementation
21130b57cec5SDimitry Andric //
21140b57cec5SDimitry Andric
OptNameCompare(const std::pair<const char *,Option * > * LHS,const std::pair<const char *,Option * > * RHS)21150b57cec5SDimitry Andric static int OptNameCompare(const std::pair<const char *, Option *> *LHS,
21160b57cec5SDimitry Andric const std::pair<const char *, Option *> *RHS) {
21170b57cec5SDimitry Andric return strcmp(LHS->first, RHS->first);
21180b57cec5SDimitry Andric }
21190b57cec5SDimitry Andric
SubNameCompare(const std::pair<const char *,SubCommand * > * LHS,const std::pair<const char *,SubCommand * > * RHS)21200b57cec5SDimitry Andric static int SubNameCompare(const std::pair<const char *, SubCommand *> *LHS,
21210b57cec5SDimitry Andric const std::pair<const char *, SubCommand *> *RHS) {
21220b57cec5SDimitry Andric return strcmp(LHS->first, RHS->first);
21230b57cec5SDimitry Andric }
21240b57cec5SDimitry Andric
21250b57cec5SDimitry 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)21260b57cec5SDimitry Andric static void sortOpts(StringMap<Option *> &OptMap,
21270b57cec5SDimitry Andric SmallVectorImpl<std::pair<const char *, Option *>> &Opts,
21280b57cec5SDimitry Andric bool ShowHidden) {
21290b57cec5SDimitry Andric SmallPtrSet<Option *, 32> OptionSet; // Duplicate option detection.
21300b57cec5SDimitry Andric
21310b57cec5SDimitry Andric for (StringMap<Option *>::iterator I = OptMap.begin(), E = OptMap.end();
21320b57cec5SDimitry Andric I != E; ++I) {
21330b57cec5SDimitry Andric // Ignore really-hidden options.
21340b57cec5SDimitry Andric if (I->second->getOptionHiddenFlag() == ReallyHidden)
21350b57cec5SDimitry Andric continue;
21360b57cec5SDimitry Andric
21370b57cec5SDimitry Andric // Unless showhidden is set, ignore hidden flags.
21380b57cec5SDimitry Andric if (I->second->getOptionHiddenFlag() == Hidden && !ShowHidden)
21390b57cec5SDimitry Andric continue;
21400b57cec5SDimitry Andric
21410b57cec5SDimitry Andric // If we've already seen this option, don't add it to the list again.
21420b57cec5SDimitry Andric if (!OptionSet.insert(I->second).second)
21430b57cec5SDimitry Andric continue;
21440b57cec5SDimitry Andric
21450b57cec5SDimitry Andric Opts.push_back(
21460b57cec5SDimitry Andric std::pair<const char *, Option *>(I->getKey().data(), I->second));
21470b57cec5SDimitry Andric }
21480b57cec5SDimitry Andric
21490b57cec5SDimitry Andric // Sort the options list alphabetically.
21500b57cec5SDimitry Andric array_pod_sort(Opts.begin(), Opts.end(), OptNameCompare);
21510b57cec5SDimitry Andric }
21520b57cec5SDimitry Andric
21530b57cec5SDimitry Andric static void
sortSubCommands(const SmallPtrSetImpl<SubCommand * > & SubMap,SmallVectorImpl<std::pair<const char *,SubCommand * >> & Subs)21540b57cec5SDimitry Andric sortSubCommands(const SmallPtrSetImpl<SubCommand *> &SubMap,
21550b57cec5SDimitry Andric SmallVectorImpl<std::pair<const char *, SubCommand *>> &Subs) {
2156480093f4SDimitry Andric for (auto *S : SubMap) {
21570b57cec5SDimitry Andric if (S->getName().empty())
21580b57cec5SDimitry Andric continue;
21590b57cec5SDimitry Andric Subs.push_back(std::make_pair(S->getName().data(), S));
21600b57cec5SDimitry Andric }
21610b57cec5SDimitry Andric array_pod_sort(Subs.begin(), Subs.end(), SubNameCompare);
21620b57cec5SDimitry Andric }
21630b57cec5SDimitry Andric
21640b57cec5SDimitry Andric namespace {
21650b57cec5SDimitry Andric
21660b57cec5SDimitry Andric class HelpPrinter {
21670b57cec5SDimitry Andric protected:
21680b57cec5SDimitry Andric const bool ShowHidden;
21690b57cec5SDimitry Andric typedef SmallVector<std::pair<const char *, Option *>, 128>
21700b57cec5SDimitry Andric StrOptionPairVector;
21710b57cec5SDimitry Andric typedef SmallVector<std::pair<const char *, SubCommand *>, 128>
21720b57cec5SDimitry Andric StrSubCommandPairVector;
21730b57cec5SDimitry Andric // Print the options. Opts is assumed to be alphabetically sorted.
printOptions(StrOptionPairVector & Opts,size_t MaxArgLen)21740b57cec5SDimitry Andric virtual void printOptions(StrOptionPairVector &Opts, size_t MaxArgLen) {
21750b57cec5SDimitry Andric for (size_t i = 0, e = Opts.size(); i != e; ++i)
21760b57cec5SDimitry Andric Opts[i].second->printOptionInfo(MaxArgLen);
21770b57cec5SDimitry Andric }
21780b57cec5SDimitry Andric
printSubCommands(StrSubCommandPairVector & Subs,size_t MaxSubLen)21790b57cec5SDimitry Andric void printSubCommands(StrSubCommandPairVector &Subs, size_t MaxSubLen) {
21800b57cec5SDimitry Andric for (const auto &S : Subs) {
21810b57cec5SDimitry Andric outs() << " " << S.first;
21820b57cec5SDimitry Andric if (!S.second->getDescription().empty()) {
21830b57cec5SDimitry Andric outs().indent(MaxSubLen - strlen(S.first));
21840b57cec5SDimitry Andric outs() << " - " << S.second->getDescription();
21850b57cec5SDimitry Andric }
21860b57cec5SDimitry Andric outs() << "\n";
21870b57cec5SDimitry Andric }
21880b57cec5SDimitry Andric }
21890b57cec5SDimitry Andric
21900b57cec5SDimitry Andric public:
HelpPrinter(bool showHidden)21910b57cec5SDimitry Andric explicit HelpPrinter(bool showHidden) : ShowHidden(showHidden) {}
~HelpPrinter()21920b57cec5SDimitry Andric virtual ~HelpPrinter() {}
21930b57cec5SDimitry Andric
21940b57cec5SDimitry Andric // Invoke the printer.
operator =(bool Value)21950b57cec5SDimitry Andric void operator=(bool Value) {
21960b57cec5SDimitry Andric if (!Value)
21970b57cec5SDimitry Andric return;
21980b57cec5SDimitry Andric printHelp();
21990b57cec5SDimitry Andric
22000b57cec5SDimitry Andric // Halt the program since help information was printed
22010b57cec5SDimitry Andric exit(0);
22020b57cec5SDimitry Andric }
22030b57cec5SDimitry Andric
printHelp()22040b57cec5SDimitry Andric void printHelp() {
22050b57cec5SDimitry Andric SubCommand *Sub = GlobalParser->getActiveSubCommand();
22060b57cec5SDimitry Andric auto &OptionsMap = Sub->OptionsMap;
22070b57cec5SDimitry Andric auto &PositionalOpts = Sub->PositionalOpts;
22080b57cec5SDimitry Andric auto &ConsumeAfterOpt = Sub->ConsumeAfterOpt;
22090b57cec5SDimitry Andric
22100b57cec5SDimitry Andric StrOptionPairVector Opts;
22110b57cec5SDimitry Andric sortOpts(OptionsMap, Opts, ShowHidden);
22120b57cec5SDimitry Andric
22130b57cec5SDimitry Andric StrSubCommandPairVector Subs;
22140b57cec5SDimitry Andric sortSubCommands(GlobalParser->RegisteredSubCommands, Subs);
22150b57cec5SDimitry Andric
22160b57cec5SDimitry Andric if (!GlobalParser->ProgramOverview.empty())
22170b57cec5SDimitry Andric outs() << "OVERVIEW: " << GlobalParser->ProgramOverview << "\n";
22180b57cec5SDimitry Andric
22190b57cec5SDimitry Andric if (Sub == &*TopLevelSubCommand) {
22200b57cec5SDimitry Andric outs() << "USAGE: " << GlobalParser->ProgramName;
22210b57cec5SDimitry Andric if (Subs.size() > 2)
22220b57cec5SDimitry Andric outs() << " [subcommand]";
22230b57cec5SDimitry Andric outs() << " [options]";
22240b57cec5SDimitry Andric } else {
22250b57cec5SDimitry Andric if (!Sub->getDescription().empty()) {
22260b57cec5SDimitry Andric outs() << "SUBCOMMAND '" << Sub->getName()
22270b57cec5SDimitry Andric << "': " << Sub->getDescription() << "\n\n";
22280b57cec5SDimitry Andric }
22290b57cec5SDimitry Andric outs() << "USAGE: " << GlobalParser->ProgramName << " " << Sub->getName()
22300b57cec5SDimitry Andric << " [options]";
22310b57cec5SDimitry Andric }
22320b57cec5SDimitry Andric
2233*5f7ddb14SDimitry Andric for (auto *Opt : PositionalOpts) {
22340b57cec5SDimitry Andric if (Opt->hasArgStr())
22350b57cec5SDimitry Andric outs() << " --" << Opt->ArgStr;
22360b57cec5SDimitry Andric outs() << " " << Opt->HelpStr;
22370b57cec5SDimitry Andric }
22380b57cec5SDimitry Andric
22390b57cec5SDimitry Andric // Print the consume after option info if it exists...
22400b57cec5SDimitry Andric if (ConsumeAfterOpt)
22410b57cec5SDimitry Andric outs() << " " << ConsumeAfterOpt->HelpStr;
22420b57cec5SDimitry Andric
22430b57cec5SDimitry Andric if (Sub == &*TopLevelSubCommand && !Subs.empty()) {
22440b57cec5SDimitry Andric // Compute the maximum subcommand length...
22450b57cec5SDimitry Andric size_t MaxSubLen = 0;
22460b57cec5SDimitry Andric for (size_t i = 0, e = Subs.size(); i != e; ++i)
22470b57cec5SDimitry Andric MaxSubLen = std::max(MaxSubLen, strlen(Subs[i].first));
22480b57cec5SDimitry Andric
22490b57cec5SDimitry Andric outs() << "\n\n";
22500b57cec5SDimitry Andric outs() << "SUBCOMMANDS:\n\n";
22510b57cec5SDimitry Andric printSubCommands(Subs, MaxSubLen);
22520b57cec5SDimitry Andric outs() << "\n";
22530b57cec5SDimitry Andric outs() << " Type \"" << GlobalParser->ProgramName
22540b57cec5SDimitry Andric << " <subcommand> --help\" to get more help on a specific "
22550b57cec5SDimitry Andric "subcommand";
22560b57cec5SDimitry Andric }
22570b57cec5SDimitry Andric
22580b57cec5SDimitry Andric outs() << "\n\n";
22590b57cec5SDimitry Andric
22600b57cec5SDimitry Andric // Compute the maximum argument length...
22610b57cec5SDimitry Andric size_t MaxArgLen = 0;
22620b57cec5SDimitry Andric for (size_t i = 0, e = Opts.size(); i != e; ++i)
22630b57cec5SDimitry Andric MaxArgLen = std::max(MaxArgLen, Opts[i].second->getOptionWidth());
22640b57cec5SDimitry Andric
22650b57cec5SDimitry Andric outs() << "OPTIONS:\n";
22660b57cec5SDimitry Andric printOptions(Opts, MaxArgLen);
22670b57cec5SDimitry Andric
22680b57cec5SDimitry Andric // Print any extra help the user has declared.
2269*5f7ddb14SDimitry Andric for (const auto &I : GlobalParser->MoreHelp)
22700b57cec5SDimitry Andric outs() << I;
22710b57cec5SDimitry Andric GlobalParser->MoreHelp.clear();
22720b57cec5SDimitry Andric }
22730b57cec5SDimitry Andric };
22740b57cec5SDimitry Andric
22750b57cec5SDimitry Andric class CategorizedHelpPrinter : public HelpPrinter {
22760b57cec5SDimitry Andric public:
CategorizedHelpPrinter(bool showHidden)22770b57cec5SDimitry Andric explicit CategorizedHelpPrinter(bool showHidden) : HelpPrinter(showHidden) {}
22780b57cec5SDimitry Andric
22790b57cec5SDimitry Andric // Helper function for printOptions().
22800b57cec5SDimitry Andric // It shall return a negative value if A's name should be lexicographically
22810b57cec5SDimitry Andric // ordered before B's name. It returns a value greater than zero if B's name
22820b57cec5SDimitry Andric // should be ordered before A's name, and it returns 0 otherwise.
OptionCategoryCompare(OptionCategory * const * A,OptionCategory * const * B)22830b57cec5SDimitry Andric static int OptionCategoryCompare(OptionCategory *const *A,
22840b57cec5SDimitry Andric OptionCategory *const *B) {
22850b57cec5SDimitry Andric return (*A)->getName().compare((*B)->getName());
22860b57cec5SDimitry Andric }
22870b57cec5SDimitry Andric
22880b57cec5SDimitry Andric // Make sure we inherit our base class's operator=()
22890b57cec5SDimitry Andric using HelpPrinter::operator=;
22900b57cec5SDimitry Andric
22910b57cec5SDimitry Andric protected:
printOptions(StrOptionPairVector & Opts,size_t MaxArgLen)22920b57cec5SDimitry Andric void printOptions(StrOptionPairVector &Opts, size_t MaxArgLen) override {
22930b57cec5SDimitry Andric std::vector<OptionCategory *> SortedCategories;
22940b57cec5SDimitry Andric std::map<OptionCategory *, std::vector<Option *>> CategorizedOptions;
22950b57cec5SDimitry Andric
22960b57cec5SDimitry Andric // Collect registered option categories into vector in preparation for
22970b57cec5SDimitry Andric // sorting.
22980b57cec5SDimitry Andric for (auto I = GlobalParser->RegisteredOptionCategories.begin(),
22990b57cec5SDimitry Andric E = GlobalParser->RegisteredOptionCategories.end();
23000b57cec5SDimitry Andric I != E; ++I) {
23010b57cec5SDimitry Andric SortedCategories.push_back(*I);
23020b57cec5SDimitry Andric }
23030b57cec5SDimitry Andric
23040b57cec5SDimitry Andric // Sort the different option categories alphabetically.
23050b57cec5SDimitry Andric assert(SortedCategories.size() > 0 && "No option categories registered!");
23060b57cec5SDimitry Andric array_pod_sort(SortedCategories.begin(), SortedCategories.end(),
23070b57cec5SDimitry Andric OptionCategoryCompare);
23080b57cec5SDimitry Andric
23090b57cec5SDimitry Andric // Create map to empty vectors.
23100b57cec5SDimitry Andric for (std::vector<OptionCategory *>::const_iterator
23110b57cec5SDimitry Andric I = SortedCategories.begin(),
23120b57cec5SDimitry Andric E = SortedCategories.end();
23130b57cec5SDimitry Andric I != E; ++I)
23140b57cec5SDimitry Andric CategorizedOptions[*I] = std::vector<Option *>();
23150b57cec5SDimitry Andric
23160b57cec5SDimitry Andric // Walk through pre-sorted options and assign into categories.
23170b57cec5SDimitry Andric // Because the options are already alphabetically sorted the
23180b57cec5SDimitry Andric // options within categories will also be alphabetically sorted.
23190b57cec5SDimitry Andric for (size_t I = 0, E = Opts.size(); I != E; ++I) {
23200b57cec5SDimitry Andric Option *Opt = Opts[I].second;
23210b57cec5SDimitry Andric for (auto &Cat : Opt->Categories) {
23220b57cec5SDimitry Andric assert(CategorizedOptions.count(Cat) > 0 &&
23230b57cec5SDimitry Andric "Option has an unregistered category");
23240b57cec5SDimitry Andric CategorizedOptions[Cat].push_back(Opt);
23250b57cec5SDimitry Andric }
23260b57cec5SDimitry Andric }
23270b57cec5SDimitry Andric
23280b57cec5SDimitry Andric // Now do printing.
23290b57cec5SDimitry Andric for (std::vector<OptionCategory *>::const_iterator
23300b57cec5SDimitry Andric Category = SortedCategories.begin(),
23310b57cec5SDimitry Andric E = SortedCategories.end();
23320b57cec5SDimitry Andric Category != E; ++Category) {
23330b57cec5SDimitry Andric // Hide empty categories for --help, but show for --help-hidden.
23340b57cec5SDimitry Andric const auto &CategoryOptions = CategorizedOptions[*Category];
23350b57cec5SDimitry Andric bool IsEmptyCategory = CategoryOptions.empty();
23360b57cec5SDimitry Andric if (!ShowHidden && IsEmptyCategory)
23370b57cec5SDimitry Andric continue;
23380b57cec5SDimitry Andric
23390b57cec5SDimitry Andric // Print category information.
23400b57cec5SDimitry Andric outs() << "\n";
23410b57cec5SDimitry Andric outs() << (*Category)->getName() << ":\n";
23420b57cec5SDimitry Andric
23430b57cec5SDimitry Andric // Check if description is set.
23440b57cec5SDimitry Andric if (!(*Category)->getDescription().empty())
23450b57cec5SDimitry Andric outs() << (*Category)->getDescription() << "\n\n";
23460b57cec5SDimitry Andric else
23470b57cec5SDimitry Andric outs() << "\n";
23480b57cec5SDimitry Andric
23490b57cec5SDimitry Andric // When using --help-hidden explicitly state if the category has no
23500b57cec5SDimitry Andric // options associated with it.
23510b57cec5SDimitry Andric if (IsEmptyCategory) {
23520b57cec5SDimitry Andric outs() << " This option category has no options.\n";
23530b57cec5SDimitry Andric continue;
23540b57cec5SDimitry Andric }
23550b57cec5SDimitry Andric // Loop over the options in the category and print.
23560b57cec5SDimitry Andric for (const Option *Opt : CategoryOptions)
23570b57cec5SDimitry Andric Opt->printOptionInfo(MaxArgLen);
23580b57cec5SDimitry Andric }
23590b57cec5SDimitry Andric }
23600b57cec5SDimitry Andric };
23610b57cec5SDimitry Andric
23620b57cec5SDimitry Andric // This wraps the Uncategorizing and Categorizing printers and decides
23630b57cec5SDimitry Andric // at run time which should be invoked.
23640b57cec5SDimitry Andric class HelpPrinterWrapper {
23650b57cec5SDimitry Andric private:
23660b57cec5SDimitry Andric HelpPrinter &UncategorizedPrinter;
23670b57cec5SDimitry Andric CategorizedHelpPrinter &CategorizedPrinter;
23680b57cec5SDimitry Andric
23690b57cec5SDimitry Andric public:
HelpPrinterWrapper(HelpPrinter & UncategorizedPrinter,CategorizedHelpPrinter & CategorizedPrinter)23700b57cec5SDimitry Andric explicit HelpPrinterWrapper(HelpPrinter &UncategorizedPrinter,
23710b57cec5SDimitry Andric CategorizedHelpPrinter &CategorizedPrinter)
23720b57cec5SDimitry Andric : UncategorizedPrinter(UncategorizedPrinter),
23730b57cec5SDimitry Andric CategorizedPrinter(CategorizedPrinter) {}
23740b57cec5SDimitry Andric
23750b57cec5SDimitry Andric // Invoke the printer.
23760b57cec5SDimitry Andric void operator=(bool Value);
23770b57cec5SDimitry Andric };
23780b57cec5SDimitry Andric
23790b57cec5SDimitry Andric } // End anonymous namespace
23800b57cec5SDimitry Andric
2381480093f4SDimitry Andric #if defined(__GNUC__)
2382480093f4SDimitry Andric // GCC and GCC-compatible compilers define __OPTIMIZE__ when optimizations are
2383480093f4SDimitry Andric // enabled.
2384480093f4SDimitry Andric # if defined(__OPTIMIZE__)
2385480093f4SDimitry Andric # define LLVM_IS_DEBUG_BUILD 0
2386480093f4SDimitry Andric # else
2387480093f4SDimitry Andric # define LLVM_IS_DEBUG_BUILD 1
2388480093f4SDimitry Andric # endif
2389480093f4SDimitry Andric #elif defined(_MSC_VER)
2390480093f4SDimitry Andric // MSVC doesn't have a predefined macro indicating if optimizations are enabled.
2391480093f4SDimitry Andric // Use _DEBUG instead. This macro actually corresponds to the choice between
2392480093f4SDimitry Andric // debug and release CRTs, but it is a reasonable proxy.
2393480093f4SDimitry Andric # if defined(_DEBUG)
2394480093f4SDimitry Andric # define LLVM_IS_DEBUG_BUILD 1
2395480093f4SDimitry Andric # else
2396480093f4SDimitry Andric # define LLVM_IS_DEBUG_BUILD 0
2397480093f4SDimitry Andric # endif
2398480093f4SDimitry Andric #else
2399480093f4SDimitry Andric // Otherwise, for an unknown compiler, assume this is an optimized build.
2400480093f4SDimitry Andric # define LLVM_IS_DEBUG_BUILD 0
2401480093f4SDimitry Andric #endif
2402480093f4SDimitry Andric
24030b57cec5SDimitry Andric namespace {
24040b57cec5SDimitry Andric class VersionPrinter {
24050b57cec5SDimitry Andric public:
print()24060b57cec5SDimitry Andric void print() {
24070b57cec5SDimitry Andric raw_ostream &OS = outs();
24080b57cec5SDimitry Andric #ifdef PACKAGE_VENDOR
24090b57cec5SDimitry Andric OS << PACKAGE_VENDOR << " ";
24100b57cec5SDimitry Andric #else
24110b57cec5SDimitry Andric OS << "LLVM (http://llvm.org/):\n ";
24120b57cec5SDimitry Andric #endif
24130b57cec5SDimitry Andric OS << PACKAGE_NAME << " version " << PACKAGE_VERSION;
24140b57cec5SDimitry Andric #ifdef LLVM_VERSION_INFO
24150b57cec5SDimitry Andric OS << " " << LLVM_VERSION_INFO;
24160b57cec5SDimitry Andric #endif
24170b57cec5SDimitry Andric OS << "\n ";
2418480093f4SDimitry Andric #if LLVM_IS_DEBUG_BUILD
24190b57cec5SDimitry Andric OS << "DEBUG build";
24200b57cec5SDimitry Andric #else
24210b57cec5SDimitry Andric OS << "Optimized build";
24220b57cec5SDimitry Andric #endif
24230b57cec5SDimitry Andric #ifndef NDEBUG
24240b57cec5SDimitry Andric OS << " with assertions";
24250b57cec5SDimitry Andric #endif
24260b57cec5SDimitry Andric #if LLVM_VERSION_PRINTER_SHOW_HOST_TARGET_INFO
24275ffd83dbSDimitry Andric std::string CPU = std::string(sys::getHostCPUName());
24280b57cec5SDimitry Andric if (CPU == "generic")
24290b57cec5SDimitry Andric CPU = "(unknown)";
24300b57cec5SDimitry Andric OS << ".\n"
24310b57cec5SDimitry Andric << " Default target: " << sys::getDefaultTargetTriple() << '\n'
24320b57cec5SDimitry Andric << " Host CPU: " << CPU;
24330b57cec5SDimitry Andric #endif
24340b57cec5SDimitry Andric OS << '\n';
24350b57cec5SDimitry Andric }
2436*5f7ddb14SDimitry Andric void operator=(bool OptionWasSpecified);
2437*5f7ddb14SDimitry Andric };
2438*5f7ddb14SDimitry Andric
2439*5f7ddb14SDimitry Andric struct CommandLineCommonOptions {
2440*5f7ddb14SDimitry Andric // Declare the four HelpPrinter instances that are used to print out help, or
2441*5f7ddb14SDimitry Andric // help-hidden as an uncategorized list or in categories.
2442*5f7ddb14SDimitry Andric HelpPrinter UncategorizedNormalPrinter{false};
2443*5f7ddb14SDimitry Andric HelpPrinter UncategorizedHiddenPrinter{true};
2444*5f7ddb14SDimitry Andric CategorizedHelpPrinter CategorizedNormalPrinter{false};
2445*5f7ddb14SDimitry Andric CategorizedHelpPrinter CategorizedHiddenPrinter{true};
2446*5f7ddb14SDimitry Andric // Declare HelpPrinter wrappers that will decide whether or not to invoke
2447*5f7ddb14SDimitry Andric // a categorizing help printer
2448*5f7ddb14SDimitry Andric HelpPrinterWrapper WrappedNormalPrinter{UncategorizedNormalPrinter,
2449*5f7ddb14SDimitry Andric CategorizedNormalPrinter};
2450*5f7ddb14SDimitry Andric HelpPrinterWrapper WrappedHiddenPrinter{UncategorizedHiddenPrinter,
2451*5f7ddb14SDimitry Andric CategorizedHiddenPrinter};
2452*5f7ddb14SDimitry Andric // Define a category for generic options that all tools should have.
2453*5f7ddb14SDimitry Andric cl::OptionCategory GenericCategory{"Generic Options"};
2454*5f7ddb14SDimitry Andric
2455*5f7ddb14SDimitry Andric // Define uncategorized help printers.
2456*5f7ddb14SDimitry Andric // --help-list is hidden by default because if Option categories are being
2457*5f7ddb14SDimitry Andric // used then --help behaves the same as --help-list.
2458*5f7ddb14SDimitry Andric cl::opt<HelpPrinter, true, parser<bool>> HLOp{
2459*5f7ddb14SDimitry Andric "help-list",
2460*5f7ddb14SDimitry Andric cl::desc(
2461*5f7ddb14SDimitry Andric "Display list of available options (--help-list-hidden for more)"),
2462*5f7ddb14SDimitry Andric cl::location(UncategorizedNormalPrinter),
2463*5f7ddb14SDimitry Andric cl::Hidden,
2464*5f7ddb14SDimitry Andric cl::ValueDisallowed,
2465*5f7ddb14SDimitry Andric cl::cat(GenericCategory),
2466*5f7ddb14SDimitry Andric cl::sub(*AllSubCommands)};
2467*5f7ddb14SDimitry Andric
2468*5f7ddb14SDimitry Andric cl::opt<HelpPrinter, true, parser<bool>> HLHOp{
2469*5f7ddb14SDimitry Andric "help-list-hidden",
2470*5f7ddb14SDimitry Andric cl::desc("Display list of all available options"),
2471*5f7ddb14SDimitry Andric cl::location(UncategorizedHiddenPrinter),
2472*5f7ddb14SDimitry Andric cl::Hidden,
2473*5f7ddb14SDimitry Andric cl::ValueDisallowed,
2474*5f7ddb14SDimitry Andric cl::cat(GenericCategory),
2475*5f7ddb14SDimitry Andric cl::sub(*AllSubCommands)};
2476*5f7ddb14SDimitry Andric
2477*5f7ddb14SDimitry Andric // Define uncategorized/categorized help printers. These printers change their
2478*5f7ddb14SDimitry Andric // behaviour at runtime depending on whether one or more Option categories
2479*5f7ddb14SDimitry Andric // have been declared.
2480*5f7ddb14SDimitry Andric cl::opt<HelpPrinterWrapper, true, parser<bool>> HOp{
2481*5f7ddb14SDimitry Andric "help",
2482*5f7ddb14SDimitry Andric cl::desc("Display available options (--help-hidden for more)"),
2483*5f7ddb14SDimitry Andric cl::location(WrappedNormalPrinter),
2484*5f7ddb14SDimitry Andric cl::ValueDisallowed,
2485*5f7ddb14SDimitry Andric cl::cat(GenericCategory),
2486*5f7ddb14SDimitry Andric cl::sub(*AllSubCommands)};
2487*5f7ddb14SDimitry Andric
2488*5f7ddb14SDimitry Andric cl::alias HOpA{"h", cl::desc("Alias for --help"), cl::aliasopt(HOp),
2489*5f7ddb14SDimitry Andric cl::DefaultOption};
2490*5f7ddb14SDimitry Andric
2491*5f7ddb14SDimitry Andric cl::opt<HelpPrinterWrapper, true, parser<bool>> HHOp{
2492*5f7ddb14SDimitry Andric "help-hidden",
2493*5f7ddb14SDimitry Andric cl::desc("Display all available options"),
2494*5f7ddb14SDimitry Andric cl::location(WrappedHiddenPrinter),
2495*5f7ddb14SDimitry Andric cl::Hidden,
2496*5f7ddb14SDimitry Andric cl::ValueDisallowed,
2497*5f7ddb14SDimitry Andric cl::cat(GenericCategory),
2498*5f7ddb14SDimitry Andric cl::sub(*AllSubCommands)};
2499*5f7ddb14SDimitry Andric
2500*5f7ddb14SDimitry Andric cl::opt<bool> PrintOptions{
2501*5f7ddb14SDimitry Andric "print-options",
2502*5f7ddb14SDimitry Andric cl::desc("Print non-default options after command line parsing"),
2503*5f7ddb14SDimitry Andric cl::Hidden,
2504*5f7ddb14SDimitry Andric cl::init(false),
2505*5f7ddb14SDimitry Andric cl::cat(GenericCategory),
2506*5f7ddb14SDimitry Andric cl::sub(*AllSubCommands)};
2507*5f7ddb14SDimitry Andric
2508*5f7ddb14SDimitry Andric cl::opt<bool> PrintAllOptions{
2509*5f7ddb14SDimitry Andric "print-all-options",
2510*5f7ddb14SDimitry Andric cl::desc("Print all option values after command line parsing"),
2511*5f7ddb14SDimitry Andric cl::Hidden,
2512*5f7ddb14SDimitry Andric cl::init(false),
2513*5f7ddb14SDimitry Andric cl::cat(GenericCategory),
2514*5f7ddb14SDimitry Andric cl::sub(*AllSubCommands)};
2515*5f7ddb14SDimitry Andric
2516*5f7ddb14SDimitry Andric VersionPrinterTy OverrideVersionPrinter = nullptr;
2517*5f7ddb14SDimitry Andric
2518*5f7ddb14SDimitry Andric std::vector<VersionPrinterTy> ExtraVersionPrinters;
2519*5f7ddb14SDimitry Andric
2520*5f7ddb14SDimitry Andric // Define the --version option that prints out the LLVM version for the tool
2521*5f7ddb14SDimitry Andric VersionPrinter VersionPrinterInstance;
2522*5f7ddb14SDimitry Andric
2523*5f7ddb14SDimitry Andric cl::opt<VersionPrinter, true, parser<bool>> VersOp{
2524*5f7ddb14SDimitry Andric "version", cl::desc("Display the version of this program"),
2525*5f7ddb14SDimitry Andric cl::location(VersionPrinterInstance), cl::ValueDisallowed,
2526*5f7ddb14SDimitry Andric cl::cat(GenericCategory)};
2527*5f7ddb14SDimitry Andric };
2528*5f7ddb14SDimitry Andric } // End anonymous namespace
2529*5f7ddb14SDimitry Andric
2530*5f7ddb14SDimitry Andric // Lazy-initialized global instance of options controlling the command-line
2531*5f7ddb14SDimitry Andric // parser and general handling.
2532*5f7ddb14SDimitry Andric static ManagedStatic<CommandLineCommonOptions> CommonOptions;
2533*5f7ddb14SDimitry Andric
initCommonOptions()2534*5f7ddb14SDimitry Andric static void initCommonOptions() {
2535*5f7ddb14SDimitry Andric *CommonOptions;
2536*5f7ddb14SDimitry Andric initDebugCounterOptions();
2537*5f7ddb14SDimitry Andric initGraphWriterOptions();
2538*5f7ddb14SDimitry Andric initSignalsOptions();
2539*5f7ddb14SDimitry Andric initStatisticOptions();
2540*5f7ddb14SDimitry Andric initTimerOptions();
2541*5f7ddb14SDimitry Andric initTypeSizeOptions();
2542*5f7ddb14SDimitry Andric initWithColorOptions();
2543*5f7ddb14SDimitry Andric initDebugOptions();
2544*5f7ddb14SDimitry Andric initRandomSeedOptions();
2545*5f7ddb14SDimitry Andric }
2546*5f7ddb14SDimitry Andric
getGeneralCategory()2547*5f7ddb14SDimitry Andric OptionCategory &cl::getGeneralCategory() {
2548*5f7ddb14SDimitry Andric // Initialise the general option category.
2549*5f7ddb14SDimitry Andric static OptionCategory GeneralCategory{"General options"};
2550*5f7ddb14SDimitry Andric return GeneralCategory;
2551*5f7ddb14SDimitry Andric }
2552*5f7ddb14SDimitry Andric
operator =(bool OptionWasSpecified)2553*5f7ddb14SDimitry Andric void VersionPrinter::operator=(bool OptionWasSpecified) {
25540b57cec5SDimitry Andric if (!OptionWasSpecified)
25550b57cec5SDimitry Andric return;
25560b57cec5SDimitry Andric
2557*5f7ddb14SDimitry Andric if (CommonOptions->OverrideVersionPrinter != nullptr) {
2558*5f7ddb14SDimitry Andric CommonOptions->OverrideVersionPrinter(outs());
25590b57cec5SDimitry Andric exit(0);
25600b57cec5SDimitry Andric }
25610b57cec5SDimitry Andric print();
25620b57cec5SDimitry Andric
25630b57cec5SDimitry Andric // Iterate over any registered extra printers and call them to add further
25640b57cec5SDimitry Andric // information.
2565*5f7ddb14SDimitry Andric if (!CommonOptions->ExtraVersionPrinters.empty()) {
25660b57cec5SDimitry Andric outs() << '\n';
2567*5f7ddb14SDimitry Andric for (const auto &I : CommonOptions->ExtraVersionPrinters)
25680b57cec5SDimitry Andric I(outs());
25690b57cec5SDimitry Andric }
25700b57cec5SDimitry Andric
25710b57cec5SDimitry Andric exit(0);
25720b57cec5SDimitry Andric }
25730b57cec5SDimitry Andric
operator =(bool Value)2574*5f7ddb14SDimitry Andric void HelpPrinterWrapper::operator=(bool Value) {
2575*5f7ddb14SDimitry Andric if (!Value)
2576*5f7ddb14SDimitry Andric return;
25770b57cec5SDimitry Andric
2578*5f7ddb14SDimitry Andric // Decide which printer to invoke. If more than one option category is
2579*5f7ddb14SDimitry Andric // registered then it is useful to show the categorized help instead of
2580*5f7ddb14SDimitry Andric // uncategorized help.
2581*5f7ddb14SDimitry Andric if (GlobalParser->RegisteredOptionCategories.size() > 1) {
2582*5f7ddb14SDimitry Andric // unhide --help-list option so user can have uncategorized output if they
2583*5f7ddb14SDimitry Andric // want it.
2584*5f7ddb14SDimitry Andric CommonOptions->HLOp.setHiddenFlag(NotHidden);
2585*5f7ddb14SDimitry Andric
2586*5f7ddb14SDimitry Andric CategorizedPrinter = true; // Invoke categorized printer
2587*5f7ddb14SDimitry Andric } else
2588*5f7ddb14SDimitry Andric UncategorizedPrinter = true; // Invoke uncategorized printer
2589*5f7ddb14SDimitry Andric }
2590*5f7ddb14SDimitry Andric
2591*5f7ddb14SDimitry Andric // Print the value of each option.
PrintOptionValues()2592*5f7ddb14SDimitry Andric void cl::PrintOptionValues() { GlobalParser->printOptionValues(); }
2593*5f7ddb14SDimitry Andric
printOptionValues()2594*5f7ddb14SDimitry Andric void CommandLineParser::printOptionValues() {
2595*5f7ddb14SDimitry Andric if (!CommonOptions->PrintOptions && !CommonOptions->PrintAllOptions)
2596*5f7ddb14SDimitry Andric return;
2597*5f7ddb14SDimitry Andric
2598*5f7ddb14SDimitry Andric SmallVector<std::pair<const char *, Option *>, 128> Opts;
2599*5f7ddb14SDimitry Andric sortOpts(ActiveSubCommand->OptionsMap, Opts, /*ShowHidden*/ true);
2600*5f7ddb14SDimitry Andric
2601*5f7ddb14SDimitry Andric // Compute the maximum argument length...
2602*5f7ddb14SDimitry Andric size_t MaxArgLen = 0;
2603*5f7ddb14SDimitry Andric for (size_t i = 0, e = Opts.size(); i != e; ++i)
2604*5f7ddb14SDimitry Andric MaxArgLen = std::max(MaxArgLen, Opts[i].second->getOptionWidth());
2605*5f7ddb14SDimitry Andric
2606*5f7ddb14SDimitry Andric for (size_t i = 0, e = Opts.size(); i != e; ++i)
2607*5f7ddb14SDimitry Andric Opts[i].second->printOptionValue(MaxArgLen, CommonOptions->PrintAllOptions);
2608*5f7ddb14SDimitry Andric }
26090b57cec5SDimitry Andric
26100b57cec5SDimitry Andric // Utility function for printing the help message.
PrintHelpMessage(bool Hidden,bool Categorized)26110b57cec5SDimitry Andric void cl::PrintHelpMessage(bool Hidden, bool Categorized) {
26120b57cec5SDimitry Andric if (!Hidden && !Categorized)
2613*5f7ddb14SDimitry Andric CommonOptions->UncategorizedNormalPrinter.printHelp();
26140b57cec5SDimitry Andric else if (!Hidden && Categorized)
2615*5f7ddb14SDimitry Andric CommonOptions->CategorizedNormalPrinter.printHelp();
26160b57cec5SDimitry Andric else if (Hidden && !Categorized)
2617*5f7ddb14SDimitry Andric CommonOptions->UncategorizedHiddenPrinter.printHelp();
26180b57cec5SDimitry Andric else
2619*5f7ddb14SDimitry Andric CommonOptions->CategorizedHiddenPrinter.printHelp();
26200b57cec5SDimitry Andric }
26210b57cec5SDimitry Andric
26220b57cec5SDimitry Andric /// Utility function for printing version number.
PrintVersionMessage()2623*5f7ddb14SDimitry Andric void cl::PrintVersionMessage() {
2624*5f7ddb14SDimitry Andric CommonOptions->VersionPrinterInstance.print();
2625*5f7ddb14SDimitry Andric }
26260b57cec5SDimitry Andric
SetVersionPrinter(VersionPrinterTy func)2627*5f7ddb14SDimitry Andric void cl::SetVersionPrinter(VersionPrinterTy func) {
2628*5f7ddb14SDimitry Andric CommonOptions->OverrideVersionPrinter = func;
2629*5f7ddb14SDimitry Andric }
26300b57cec5SDimitry Andric
AddExtraVersionPrinter(VersionPrinterTy func)26310b57cec5SDimitry Andric void cl::AddExtraVersionPrinter(VersionPrinterTy func) {
2632*5f7ddb14SDimitry Andric CommonOptions->ExtraVersionPrinters.push_back(func);
26330b57cec5SDimitry Andric }
26340b57cec5SDimitry Andric
getRegisteredOptions(SubCommand & Sub)26350b57cec5SDimitry Andric StringMap<Option *> &cl::getRegisteredOptions(SubCommand &Sub) {
26360b57cec5SDimitry Andric auto &Subs = GlobalParser->RegisteredSubCommands;
26370b57cec5SDimitry Andric (void)Subs;
26380b57cec5SDimitry Andric assert(is_contained(Subs, &Sub));
26390b57cec5SDimitry Andric return Sub.OptionsMap;
26400b57cec5SDimitry Andric }
26410b57cec5SDimitry Andric
26420b57cec5SDimitry Andric iterator_range<typename SmallPtrSet<SubCommand *, 4>::iterator>
getRegisteredSubcommands()26430b57cec5SDimitry Andric cl::getRegisteredSubcommands() {
26440b57cec5SDimitry Andric return GlobalParser->getRegisteredSubcommands();
26450b57cec5SDimitry Andric }
26460b57cec5SDimitry Andric
HideUnrelatedOptions(cl::OptionCategory & Category,SubCommand & Sub)26470b57cec5SDimitry Andric void cl::HideUnrelatedOptions(cl::OptionCategory &Category, SubCommand &Sub) {
2648*5f7ddb14SDimitry Andric initCommonOptions();
26490b57cec5SDimitry Andric for (auto &I : Sub.OptionsMap) {
26500b57cec5SDimitry Andric for (auto &Cat : I.second->Categories) {
2651*5f7ddb14SDimitry Andric if (Cat != &Category && Cat != &CommonOptions->GenericCategory)
26520b57cec5SDimitry Andric I.second->setHiddenFlag(cl::ReallyHidden);
26530b57cec5SDimitry Andric }
26540b57cec5SDimitry Andric }
26550b57cec5SDimitry Andric }
26560b57cec5SDimitry Andric
HideUnrelatedOptions(ArrayRef<const cl::OptionCategory * > Categories,SubCommand & Sub)26570b57cec5SDimitry Andric void cl::HideUnrelatedOptions(ArrayRef<const cl::OptionCategory *> Categories,
26580b57cec5SDimitry Andric SubCommand &Sub) {
2659*5f7ddb14SDimitry Andric initCommonOptions();
26600b57cec5SDimitry Andric for (auto &I : Sub.OptionsMap) {
26610b57cec5SDimitry Andric for (auto &Cat : I.second->Categories) {
2662*5f7ddb14SDimitry Andric if (!is_contained(Categories, Cat) &&
2663*5f7ddb14SDimitry Andric Cat != &CommonOptions->GenericCategory)
26640b57cec5SDimitry Andric I.second->setHiddenFlag(cl::ReallyHidden);
26650b57cec5SDimitry Andric }
26660b57cec5SDimitry Andric }
26670b57cec5SDimitry Andric }
26680b57cec5SDimitry Andric
ResetCommandLineParser()26690b57cec5SDimitry Andric void cl::ResetCommandLineParser() { GlobalParser->reset(); }
ResetAllOptionOccurrences()26700b57cec5SDimitry Andric void cl::ResetAllOptionOccurrences() {
26710b57cec5SDimitry Andric GlobalParser->ResetAllOptionOccurrences();
26720b57cec5SDimitry Andric }
26730b57cec5SDimitry Andric
LLVMParseCommandLineOptions(int argc,const char * const * argv,const char * Overview)26740b57cec5SDimitry Andric void LLVMParseCommandLineOptions(int argc, const char *const *argv,
26750b57cec5SDimitry Andric const char *Overview) {
26760b57cec5SDimitry Andric llvm::cl::ParseCommandLineOptions(argc, argv, StringRef(Overview),
26770b57cec5SDimitry Andric &llvm::nulls());
26780b57cec5SDimitry Andric }
2679