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