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