1 //===-- CommandLine.cpp - Command line parser implementation --------------===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // This class implements a command line argument processor that is useful when
10 // creating a tool. It provides a simple, minimalistic interface that is easily
11 // extensible and supports nonlocal (library) command line options.
13 // Note that rather than trying to figure out what this code does, you could try
14 // reading the library documentation located in docs/CommandLine.html
16 //===----------------------------------------------------------------------===//
18 #include "llvm/Support/CommandLine.h"
19 #include "llvm-c/Support.h"
20 #include "llvm/ADT/ArrayRef.h"
21 #include "llvm/ADT/Optional.h"
22 #include "llvm/ADT/STLExtras.h"
23 #include "llvm/ADT/SmallPtrSet.h"
24 #include "llvm/ADT/SmallString.h"
25 #include "llvm/ADT/StringExtras.h"
26 #include "llvm/ADT/StringMap.h"
27 #include "llvm/ADT/Triple.h"
28 #include "llvm/ADT/Twine.h"
29 #include "llvm/Config/config.h"
30 #include "llvm/Support/ConvertUTF.h"
31 #include "llvm/Support/Debug.h"
32 #include "llvm/Support/ErrorHandling.h"
33 #include "llvm/Support/FileSystem.h"
34 #include "llvm/Support/Host.h"
35 #include "llvm/Support/ManagedStatic.h"
36 #include "llvm/Support/MemoryBuffer.h"
37 #include "llvm/Support/Path.h"
38 #include "llvm/Support/Process.h"
39 #include "llvm/Support/StringSaver.h"
40 #include "llvm/Support/raw_ostream.h"
46 #define DEBUG_TYPE "commandline"
48 //===----------------------------------------------------------------------===//
49 // Template instantiations and anchors.
53 template class basic_parser
<bool>;
54 template class basic_parser
<boolOrDefault
>;
55 template class basic_parser
<int>;
56 template class basic_parser
<unsigned>;
57 template class basic_parser
<unsigned long>;
58 template class basic_parser
<unsigned long long>;
59 template class basic_parser
<double>;
60 template class basic_parser
<float>;
61 template class basic_parser
<std::string
>;
62 template class basic_parser
<char>;
64 template class opt
<unsigned>;
65 template class opt
<int>;
66 template class opt
<std::string
>;
67 template class opt
<char>;
68 template class opt
<bool>;
70 } // end namespace llvm::cl
72 // Pin the vtables to this file.
73 void GenericOptionValue::anchor() {}
74 void OptionValue
<boolOrDefault
>::anchor() {}
75 void OptionValue
<std::string
>::anchor() {}
76 void Option::anchor() {}
77 void basic_parser_impl::anchor() {}
78 void parser
<bool>::anchor() {}
79 void parser
<boolOrDefault
>::anchor() {}
80 void parser
<int>::anchor() {}
81 void parser
<unsigned>::anchor() {}
82 void parser
<unsigned long>::anchor() {}
83 void parser
<unsigned long long>::anchor() {}
84 void parser
<double>::anchor() {}
85 void parser
<float>::anchor() {}
86 void parser
<std::string
>::anchor() {}
87 void parser
<char>::anchor() {}
89 //===----------------------------------------------------------------------===//
91 static StringRef ArgPrefix
= " -";
92 static StringRef ArgPrefixLong
= " --";
93 static StringRef ArgHelpPrefix
= " - ";
95 static size_t argPlusPrefixesSize(StringRef ArgName
) {
96 size_t Len
= ArgName
.size();
98 return Len
+ ArgPrefix
.size() + ArgHelpPrefix
.size();
99 return Len
+ ArgPrefixLong
.size() + ArgHelpPrefix
.size();
102 static StringRef
argPrefix(StringRef ArgName
) {
103 if (ArgName
.size() == 1)
105 return ArgPrefixLong
;
108 // Option predicates...
109 static inline bool isGrouping(const Option
*O
) {
110 return O
->getMiscFlags() & cl::Grouping
;
112 static inline bool isPrefixedOrGrouping(const Option
*O
) {
113 return isGrouping(O
) || O
->getFormattingFlag() == cl::Prefix
||
114 O
->getFormattingFlag() == cl::AlwaysPrefix
;
123 PrintArg(StringRef ArgName
) : ArgName(ArgName
) {}
124 friend raw_ostream
&operator<<(raw_ostream
&OS
, const PrintArg
&);
127 raw_ostream
&operator<<(raw_ostream
&OS
, const PrintArg
& Arg
) {
128 OS
<< argPrefix(Arg
.ArgName
) << Arg
.ArgName
;
132 class CommandLineParser
{
134 // Globals for name and overview of program. Program name is not a string to
135 // avoid static ctor/dtor issues.
136 std::string ProgramName
;
137 StringRef ProgramOverview
;
139 // This collects additional help to be printed.
140 std::vector
<StringRef
> MoreHelp
;
142 // This collects Options added with the cl::DefaultOption flag. Since they can
143 // be overridden, they are not added to the appropriate SubCommands until
144 // ParseCommandLineOptions actually runs.
145 SmallVector
<Option
*, 4> DefaultOptions
;
147 // This collects the different option categories that have been registered.
148 SmallPtrSet
<OptionCategory
*, 16> RegisteredOptionCategories
;
150 // This collects the different subcommands that have been registered.
151 SmallPtrSet
<SubCommand
*, 4> RegisteredSubCommands
;
153 CommandLineParser() : ActiveSubCommand(nullptr) {
154 registerSubCommand(&*TopLevelSubCommand
);
155 registerSubCommand(&*AllSubCommands
);
158 void ResetAllOptionOccurrences();
160 bool ParseCommandLineOptions(int argc
, const char *const *argv
,
161 StringRef Overview
, raw_ostream
*Errs
= nullptr,
162 bool LongOptionsUseDoubleDash
= false);
164 void addLiteralOption(Option
&Opt
, SubCommand
*SC
, StringRef Name
) {
167 if (!SC
->OptionsMap
.insert(std::make_pair(Name
, &Opt
)).second
) {
168 errs() << ProgramName
<< ": CommandLine Error: Option '" << Name
169 << "' registered more than once!\n";
170 report_fatal_error("inconsistency in registered CommandLine options");
173 // If we're adding this to all sub-commands, add it to the ones that have
174 // already been registered.
175 if (SC
== &*AllSubCommands
) {
176 for (const auto &Sub
: RegisteredSubCommands
) {
179 addLiteralOption(Opt
, Sub
, Name
);
184 void addLiteralOption(Option
&Opt
, StringRef Name
) {
185 if (Opt
.Subs
.empty())
186 addLiteralOption(Opt
, &*TopLevelSubCommand
, Name
);
188 for (auto SC
: Opt
.Subs
)
189 addLiteralOption(Opt
, SC
, Name
);
193 void addOption(Option
*O
, SubCommand
*SC
) {
194 bool HadErrors
= false;
195 if (O
->hasArgStr()) {
196 // If it's a DefaultOption, check to make sure it isn't already there.
197 if (O
->isDefaultOption() &&
198 SC
->OptionsMap
.find(O
->ArgStr
) != SC
->OptionsMap
.end())
201 // Add argument to the argument map!
202 if (!SC
->OptionsMap
.insert(std::make_pair(O
->ArgStr
, O
)).second
) {
203 errs() << ProgramName
<< ": CommandLine Error: Option '" << O
->ArgStr
204 << "' registered more than once!\n";
209 // Remember information about positional options.
210 if (O
->getFormattingFlag() == cl::Positional
)
211 SC
->PositionalOpts
.push_back(O
);
212 else if (O
->getMiscFlags() & cl::Sink
) // Remember sink options
213 SC
->SinkOpts
.push_back(O
);
214 else if (O
->getNumOccurrencesFlag() == cl::ConsumeAfter
) {
215 if (SC
->ConsumeAfterOpt
) {
216 O
->error("Cannot specify more than one option with cl::ConsumeAfter!");
219 SC
->ConsumeAfterOpt
= O
;
222 // Fail hard if there were errors. These are strictly unrecoverable and
223 // indicate serious issues such as conflicting option names or an
225 // linked LLVM distribution.
227 report_fatal_error("inconsistency in registered CommandLine options");
229 // If we're adding this to all sub-commands, add it to the ones that have
230 // already been registered.
231 if (SC
== &*AllSubCommands
) {
232 for (const auto &Sub
: RegisteredSubCommands
) {
240 void addOption(Option
*O
, bool ProcessDefaultOption
= false) {
241 if (!ProcessDefaultOption
&& O
->isDefaultOption()) {
242 DefaultOptions
.push_back(O
);
246 if (O
->Subs
.empty()) {
247 addOption(O
, &*TopLevelSubCommand
);
249 for (auto SC
: O
->Subs
)
254 void removeOption(Option
*O
, SubCommand
*SC
) {
255 SmallVector
<StringRef
, 16> OptionNames
;
256 O
->getExtraOptionNames(OptionNames
);
258 OptionNames
.push_back(O
->ArgStr
);
260 SubCommand
&Sub
= *SC
;
261 auto End
= Sub
.OptionsMap
.end();
262 for (auto Name
: OptionNames
) {
263 auto I
= Sub
.OptionsMap
.find(Name
);
264 if (I
!= End
&& I
->getValue() == O
)
265 Sub
.OptionsMap
.erase(I
);
268 if (O
->getFormattingFlag() == cl::Positional
)
269 for (auto Opt
= Sub
.PositionalOpts
.begin();
270 Opt
!= Sub
.PositionalOpts
.end(); ++Opt
) {
272 Sub
.PositionalOpts
.erase(Opt
);
276 else if (O
->getMiscFlags() & cl::Sink
)
277 for (auto Opt
= Sub
.SinkOpts
.begin(); Opt
!= Sub
.SinkOpts
.end(); ++Opt
) {
279 Sub
.SinkOpts
.erase(Opt
);
283 else if (O
== Sub
.ConsumeAfterOpt
)
284 Sub
.ConsumeAfterOpt
= nullptr;
287 void removeOption(Option
*O
) {
289 removeOption(O
, &*TopLevelSubCommand
);
291 if (O
->isInAllSubCommands()) {
292 for (auto SC
: RegisteredSubCommands
)
295 for (auto SC
: O
->Subs
)
301 bool hasOptions(const SubCommand
&Sub
) const {
302 return (!Sub
.OptionsMap
.empty() || !Sub
.PositionalOpts
.empty() ||
303 nullptr != Sub
.ConsumeAfterOpt
);
306 bool hasOptions() const {
307 for (const auto &S
: RegisteredSubCommands
) {
314 SubCommand
*getActiveSubCommand() { return ActiveSubCommand
; }
316 void updateArgStr(Option
*O
, StringRef NewName
, SubCommand
*SC
) {
317 SubCommand
&Sub
= *SC
;
318 if (!Sub
.OptionsMap
.insert(std::make_pair(NewName
, O
)).second
) {
319 errs() << ProgramName
<< ": CommandLine Error: Option '" << O
->ArgStr
320 << "' registered more than once!\n";
321 report_fatal_error("inconsistency in registered CommandLine options");
323 Sub
.OptionsMap
.erase(O
->ArgStr
);
326 void updateArgStr(Option
*O
, StringRef NewName
) {
328 updateArgStr(O
, NewName
, &*TopLevelSubCommand
);
330 if (O
->isInAllSubCommands()) {
331 for (auto SC
: RegisteredSubCommands
)
332 updateArgStr(O
, NewName
, SC
);
334 for (auto SC
: O
->Subs
)
335 updateArgStr(O
, NewName
, SC
);
340 void printOptionValues();
342 void registerCategory(OptionCategory
*cat
) {
343 assert(count_if(RegisteredOptionCategories
,
344 [cat
](const OptionCategory
*Category
) {
345 return cat
->getName() == Category
->getName();
347 "Duplicate option categories");
349 RegisteredOptionCategories
.insert(cat
);
352 void registerSubCommand(SubCommand
*sub
) {
353 assert(count_if(RegisteredSubCommands
,
354 [sub
](const SubCommand
*Sub
) {
355 return (!sub
->getName().empty()) &&
356 (Sub
->getName() == sub
->getName());
358 "Duplicate subcommands");
359 RegisteredSubCommands
.insert(sub
);
361 // For all options that have been registered for all subcommands, add the
362 // option to this subcommand now.
363 if (sub
!= &*AllSubCommands
) {
364 for (auto &E
: AllSubCommands
->OptionsMap
) {
365 Option
*O
= E
.second
;
366 if ((O
->isPositional() || O
->isSink() || O
->isConsumeAfter()) ||
370 addLiteralOption(*O
, sub
, E
.first());
375 void unregisterSubCommand(SubCommand
*sub
) {
376 RegisteredSubCommands
.erase(sub
);
379 iterator_range
<typename SmallPtrSet
<SubCommand
*, 4>::iterator
>
380 getRegisteredSubcommands() {
381 return make_range(RegisteredSubCommands
.begin(),
382 RegisteredSubCommands
.end());
386 ActiveSubCommand
= nullptr;
388 ProgramOverview
= StringRef();
391 RegisteredOptionCategories
.clear();
393 ResetAllOptionOccurrences();
394 RegisteredSubCommands
.clear();
396 TopLevelSubCommand
->reset();
397 AllSubCommands
->reset();
398 registerSubCommand(&*TopLevelSubCommand
);
399 registerSubCommand(&*AllSubCommands
);
401 DefaultOptions
.clear();
405 SubCommand
*ActiveSubCommand
;
407 Option
*LookupOption(SubCommand
&Sub
, StringRef
&Arg
, StringRef
&Value
);
408 Option
*LookupLongOption(SubCommand
&Sub
, StringRef
&Arg
, StringRef
&Value
,
409 bool LongOptionsUseDoubleDash
, bool HaveDoubleDash
) {
410 Option
*Opt
= LookupOption(Sub
, Arg
, Value
);
411 if (Opt
&& LongOptionsUseDoubleDash
&& !HaveDoubleDash
&& !isGrouping(Opt
))
415 SubCommand
*LookupSubCommand(StringRef Name
);
420 static ManagedStatic
<CommandLineParser
> GlobalParser
;
422 void cl::AddLiteralOption(Option
&O
, StringRef Name
) {
423 GlobalParser
->addLiteralOption(O
, Name
);
426 extrahelp::extrahelp(StringRef Help
) : morehelp(Help
) {
427 GlobalParser
->MoreHelp
.push_back(Help
);
430 void Option::addArgument() {
431 GlobalParser
->addOption(this);
432 FullyInitialized
= true;
435 void Option::removeArgument() { GlobalParser
->removeOption(this); }
437 void Option::setArgStr(StringRef S
) {
438 if (FullyInitialized
)
439 GlobalParser
->updateArgStr(this, S
);
440 assert((S
.empty() || S
[0] != '-') && "Option can't start with '-");
442 if (ArgStr
.size() == 1)
443 setMiscFlag(Grouping
);
446 void Option::addCategory(OptionCategory
&C
) {
447 assert(!Categories
.empty() && "Categories cannot be empty.");
448 // Maintain backward compatibility by replacing the default GeneralCategory
449 // if it's still set. Otherwise, just add the new one. The GeneralCategory
450 // must be explicitly added if you want multiple categories that include it.
451 if (&C
!= &GeneralCategory
&& Categories
[0] == &GeneralCategory
)
453 else if (find(Categories
, &C
) == Categories
.end())
454 Categories
.push_back(&C
);
457 void Option::reset() {
460 if (isDefaultOption())
464 // Initialise the general option category.
465 OptionCategory
llvm::cl::GeneralCategory("General options");
467 void OptionCategory::registerCategory() {
468 GlobalParser
->registerCategory(this);
471 // A special subcommand representing no subcommand. It is particularly important
472 // that this ManagedStatic uses constant initailization and not dynamic
473 // initialization because it is referenced from cl::opt constructors, which run
474 // dynamically in an arbitrary order.
475 LLVM_REQUIRE_CONSTANT_INITIALIZATION
476 ManagedStatic
<SubCommand
> llvm::cl::TopLevelSubCommand
;
478 // A special subcommand that can be used to put an option into all subcommands.
479 ManagedStatic
<SubCommand
> llvm::cl::AllSubCommands
;
481 void SubCommand::registerSubCommand() {
482 GlobalParser
->registerSubCommand(this);
485 void SubCommand::unregisterSubCommand() {
486 GlobalParser
->unregisterSubCommand(this);
489 void SubCommand::reset() {
490 PositionalOpts
.clear();
494 ConsumeAfterOpt
= nullptr;
497 SubCommand::operator bool() const {
498 return (GlobalParser
->getActiveSubCommand() == this);
501 //===----------------------------------------------------------------------===//
502 // Basic, shared command line option processing machinery.
505 /// LookupOption - Lookup the option specified by the specified option on the
506 /// command line. If there is a value specified (after an equal sign) return
507 /// that as well. This assumes that leading dashes have already been stripped.
508 Option
*CommandLineParser::LookupOption(SubCommand
&Sub
, StringRef
&Arg
,
510 // Reject all dashes.
513 assert(&Sub
!= &*AllSubCommands
);
515 size_t EqualPos
= Arg
.find('=');
517 // If we have an equals sign, remember the value.
518 if (EqualPos
== StringRef::npos
) {
519 // Look up the option.
520 auto I
= Sub
.OptionsMap
.find(Arg
);
521 if (I
== Sub
.OptionsMap
.end())
524 return I
!= Sub
.OptionsMap
.end() ? I
->second
: nullptr;
527 // If the argument before the = is a valid option name and the option allows
528 // non-prefix form (ie is not AlwaysPrefix), we match. If not, signal match
529 // failure by returning nullptr.
530 auto I
= Sub
.OptionsMap
.find(Arg
.substr(0, EqualPos
));
531 if (I
== Sub
.OptionsMap
.end())
535 if (O
->getFormattingFlag() == cl::AlwaysPrefix
)
538 Value
= Arg
.substr(EqualPos
+ 1);
539 Arg
= Arg
.substr(0, EqualPos
);
543 SubCommand
*CommandLineParser::LookupSubCommand(StringRef Name
) {
545 return &*TopLevelSubCommand
;
546 for (auto S
: RegisteredSubCommands
) {
547 if (S
== &*AllSubCommands
)
549 if (S
->getName().empty())
552 if (StringRef(S
->getName()) == StringRef(Name
))
555 return &*TopLevelSubCommand
;
558 /// LookupNearestOption - Lookup the closest match to the option specified by
559 /// the specified option on the command line. If there is a value specified
560 /// (after an equal sign) return that as well. This assumes that leading dashes
561 /// have already been stripped.
562 static Option
*LookupNearestOption(StringRef Arg
,
563 const StringMap
<Option
*> &OptionsMap
,
564 std::string
&NearestString
) {
565 // Reject all dashes.
569 // Split on any equal sign.
570 std::pair
<StringRef
, StringRef
> SplitArg
= Arg
.split('=');
571 StringRef
&LHS
= SplitArg
.first
; // LHS == Arg when no '=' is present.
572 StringRef
&RHS
= SplitArg
.second
;
574 // Find the closest match.
575 Option
*Best
= nullptr;
576 unsigned BestDistance
= 0;
577 for (StringMap
<Option
*>::const_iterator it
= OptionsMap
.begin(),
578 ie
= OptionsMap
.end();
580 Option
*O
= it
->second
;
581 SmallVector
<StringRef
, 16> OptionNames
;
582 O
->getExtraOptionNames(OptionNames
);
584 OptionNames
.push_back(O
->ArgStr
);
586 bool PermitValue
= O
->getValueExpectedFlag() != cl::ValueDisallowed
;
587 StringRef Flag
= PermitValue
? LHS
: Arg
;
588 for (auto Name
: OptionNames
) {
589 unsigned Distance
= StringRef(Name
).edit_distance(
590 Flag
, /*AllowReplacements=*/true, /*MaxEditDistance=*/BestDistance
);
591 if (!Best
|| Distance
< BestDistance
) {
593 BestDistance
= Distance
;
594 if (RHS
.empty() || !PermitValue
)
595 NearestString
= Name
;
597 NearestString
= (Twine(Name
) + "=" + RHS
).str();
605 /// CommaSeparateAndAddOccurrence - A wrapper around Handler->addOccurrence()
606 /// that does special handling of cl::CommaSeparated options.
607 static bool CommaSeparateAndAddOccurrence(Option
*Handler
, unsigned pos
,
608 StringRef ArgName
, StringRef Value
,
609 bool MultiArg
= false) {
610 // Check to see if this option accepts a comma separated list of values. If
611 // it does, we have to split up the value into multiple values.
612 if (Handler
->getMiscFlags() & CommaSeparated
) {
613 StringRef
Val(Value
);
614 StringRef::size_type Pos
= Val
.find(',');
616 while (Pos
!= StringRef::npos
) {
617 // Process the portion before the comma.
618 if (Handler
->addOccurrence(pos
, ArgName
, Val
.substr(0, Pos
), MultiArg
))
620 // Erase the portion before the comma, AND the comma.
621 Val
= Val
.substr(Pos
+ 1);
622 // Check for another comma.
629 return Handler
->addOccurrence(pos
, ArgName
, Value
, MultiArg
);
632 /// ProvideOption - For Value, this differentiates between an empty value ("")
633 /// and a null value (StringRef()). The later is accepted for arguments that
634 /// don't allow a value (-foo) the former is rejected (-foo=).
635 static inline bool ProvideOption(Option
*Handler
, StringRef ArgName
,
636 StringRef Value
, int argc
,
637 const char *const *argv
, int &i
) {
638 // Is this a multi-argument option?
639 unsigned NumAdditionalVals
= Handler
->getNumAdditionalVals();
641 // Enforce value requirements
642 switch (Handler
->getValueExpectedFlag()) {
644 if (!Value
.data()) { // No value specified?
645 // If no other argument or the option only supports prefix form, we
646 // cannot look at the next argument.
647 if (i
+ 1 >= argc
|| Handler
->getFormattingFlag() == cl::AlwaysPrefix
)
648 return Handler
->error("requires a value!");
649 // Steal the next argument, like for '-o filename'
650 assert(argv
&& "null check");
651 Value
= StringRef(argv
[++i
]);
654 case ValueDisallowed
:
655 if (NumAdditionalVals
> 0)
656 return Handler
->error("multi-valued option specified"
657 " with ValueDisallowed modifier!");
660 return Handler
->error("does not allow a value! '" + Twine(Value
) +
667 // If this isn't a multi-arg option, just run the handler.
668 if (NumAdditionalVals
== 0)
669 return CommaSeparateAndAddOccurrence(Handler
, i
, ArgName
, Value
);
671 // If it is, run the handle several times.
672 bool MultiArg
= false;
675 if (CommaSeparateAndAddOccurrence(Handler
, i
, ArgName
, Value
, MultiArg
))
681 while (NumAdditionalVals
> 0) {
683 return Handler
->error("not enough values!");
684 assert(argv
&& "null check");
685 Value
= StringRef(argv
[++i
]);
687 if (CommaSeparateAndAddOccurrence(Handler
, i
, ArgName
, Value
, MultiArg
))
695 bool llvm::cl::ProvidePositionalOption(Option
*Handler
, StringRef Arg
, int i
) {
697 return ProvideOption(Handler
, Handler
->ArgStr
, Arg
, 0, nullptr, Dummy
);
700 // getOptionPred - Check to see if there are any options that satisfy the
701 // specified predicate with names that are the prefixes in Name. This is
702 // checked by progressively stripping characters off of the name, checking to
703 // see if there options that satisfy the predicate. If we find one, return it,
704 // otherwise return null.
706 static Option
*getOptionPred(StringRef Name
, size_t &Length
,
707 bool (*Pred
)(const Option
*),
708 const StringMap
<Option
*> &OptionsMap
) {
709 StringMap
<Option
*>::const_iterator OMI
= OptionsMap
.find(Name
);
710 if (OMI
!= OptionsMap
.end() && !Pred(OMI
->getValue()))
711 OMI
= OptionsMap
.end();
713 // Loop while we haven't found an option and Name still has at least two
714 // characters in it (so that the next iteration will not be the empty
716 while (OMI
== OptionsMap
.end() && Name
.size() > 1) {
717 Name
= Name
.substr(0, Name
.size() - 1); // Chop off the last character.
718 OMI
= OptionsMap
.find(Name
);
719 if (OMI
!= OptionsMap
.end() && !Pred(OMI
->getValue()))
720 OMI
= OptionsMap
.end();
723 if (OMI
!= OptionsMap
.end() && Pred(OMI
->second
)) {
724 Length
= Name
.size();
725 return OMI
->second
; // Found one!
727 return nullptr; // No option found!
730 /// HandlePrefixedOrGroupedOption - The specified argument string (which started
731 /// with at least one '-') does not fully match an available option. Check to
732 /// see if this is a prefix or grouped option. If so, split arg into output an
733 /// Arg/Value pair and return the Option to parse it with.
735 HandlePrefixedOrGroupedOption(StringRef
&Arg
, StringRef
&Value
,
737 const StringMap
<Option
*> &OptionsMap
) {
743 Option
*PGOpt
= getOptionPred(Arg
, Length
, isPrefixedOrGrouping
, OptionsMap
);
748 StringRef MaybeValue
=
749 (Length
< Arg
.size()) ? Arg
.substr(Length
) : StringRef();
750 Arg
= Arg
.substr(0, Length
);
751 assert(OptionsMap
.count(Arg
) && OptionsMap
.find(Arg
)->second
== PGOpt
);
753 // cl::Prefix options do not preserve '=' when used separately.
754 // The behavior for them with grouped options should be the same.
755 if (MaybeValue
.empty() || PGOpt
->getFormattingFlag() == cl::AlwaysPrefix
||
756 (PGOpt
->getFormattingFlag() == cl::Prefix
&& MaybeValue
[0] != '=')) {
761 if (MaybeValue
[0] == '=') {
762 Value
= MaybeValue
.substr(1);
766 // This must be a grouped option.
767 assert(isGrouping(PGOpt
) && "Broken getOptionPred!");
769 // Grouping options inside a group can't have values.
770 if (PGOpt
->getValueExpectedFlag() == cl::ValueRequired
) {
771 ErrorParsing
|= PGOpt
->error("may not occur within a group!");
775 // Because the value for the option is not required, we don't need to pass
778 ErrorParsing
|= ProvideOption(PGOpt
, Arg
, StringRef(), 0, nullptr, Dummy
);
780 // Get the next grouping option.
782 PGOpt
= getOptionPred(Arg
, Length
, isGrouping
, OptionsMap
);
785 // We could not find a grouping option in the remainder of Arg.
789 static bool RequiresValue(const Option
*O
) {
790 return O
->getNumOccurrencesFlag() == cl::Required
||
791 O
->getNumOccurrencesFlag() == cl::OneOrMore
;
794 static bool EatsUnboundedNumberOfValues(const Option
*O
) {
795 return O
->getNumOccurrencesFlag() == cl::ZeroOrMore
||
796 O
->getNumOccurrencesFlag() == cl::OneOrMore
;
799 static bool isWhitespace(char C
) {
800 return C
== ' ' || C
== '\t' || C
== '\r' || C
== '\n';
803 static bool isWhitespaceOrNull(char C
) {
804 return isWhitespace(C
) || C
== '\0';
807 static bool isQuote(char C
) { return C
== '\"' || C
== '\''; }
809 void cl::TokenizeGNUCommandLine(StringRef Src
, StringSaver
&Saver
,
810 SmallVectorImpl
<const char *> &NewArgv
,
812 SmallString
<128> Token
;
813 for (size_t I
= 0, E
= Src
.size(); I
!= E
; ++I
) {
814 // Consume runs of whitespace.
816 while (I
!= E
&& isWhitespace(Src
[I
])) {
817 // Mark the end of lines in response files
818 if (MarkEOLs
&& Src
[I
] == '\n')
819 NewArgv
.push_back(nullptr);
828 // Backslash escapes the next character.
829 if (I
+ 1 < E
&& C
== '\\') {
830 ++I
; // Skip the escape.
831 Token
.push_back(Src
[I
]);
835 // Consume a quoted string.
838 while (I
!= E
&& Src
[I
] != C
) {
839 // Backslash escapes the next character.
840 if (Src
[I
] == '\\' && I
+ 1 != E
)
842 Token
.push_back(Src
[I
]);
850 // End the token if this is whitespace.
851 if (isWhitespace(C
)) {
853 NewArgv
.push_back(Saver
.save(StringRef(Token
)).data());
858 // This is a normal character. Append it.
862 // Append the last token after hitting EOF with no whitespace.
864 NewArgv
.push_back(Saver
.save(StringRef(Token
)).data());
865 // Mark the end of response files
867 NewArgv
.push_back(nullptr);
870 /// Backslashes are interpreted in a rather complicated way in the Windows-style
871 /// command line, because backslashes are used both to separate path and to
872 /// escape double quote. This method consumes runs of backslashes as well as the
873 /// following double quote if it's escaped.
875 /// * If an even number of backslashes is followed by a double quote, one
876 /// backslash is output for every pair of backslashes, and the last double
877 /// quote remains unconsumed. The double quote will later be interpreted as
878 /// the start or end of a quoted string in the main loop outside of this
881 /// * If an odd number of backslashes is followed by a double quote, one
882 /// backslash is output for every pair of backslashes, and a double quote is
883 /// output for the last pair of backslash-double quote. The double quote is
884 /// consumed in this case.
886 /// * Otherwise, backslashes are interpreted literally.
887 static size_t parseBackslash(StringRef Src
, size_t I
, SmallString
<128> &Token
) {
888 size_t E
= Src
.size();
889 int BackslashCount
= 0;
890 // Skip the backslashes.
894 } while (I
!= E
&& Src
[I
] == '\\');
896 bool FollowedByDoubleQuote
= (I
!= E
&& Src
[I
] == '"');
897 if (FollowedByDoubleQuote
) {
898 Token
.append(BackslashCount
/ 2, '\\');
899 if (BackslashCount
% 2 == 0)
901 Token
.push_back('"');
904 Token
.append(BackslashCount
, '\\');
908 void cl::TokenizeWindowsCommandLine(StringRef Src
, StringSaver
&Saver
,
909 SmallVectorImpl
<const char *> &NewArgv
,
911 SmallString
<128> Token
;
913 // This is a small state machine to consume characters until it reaches the
914 // end of the source string.
915 enum { INIT
, UNQUOTED
, QUOTED
} State
= INIT
;
916 for (size_t I
= 0, E
= Src
.size(); I
!= E
; ++I
) {
919 // INIT state indicates that the current input index is at the start of
920 // the string or between tokens.
922 if (isWhitespaceOrNull(C
)) {
923 // Mark the end of lines in response files
924 if (MarkEOLs
&& C
== '\n')
925 NewArgv
.push_back(nullptr);
933 I
= parseBackslash(Src
, I
, Token
);
942 // UNQUOTED state means that it's reading a token not quoted by double
944 if (State
== UNQUOTED
) {
945 // Whitespace means the end of the token.
946 if (isWhitespaceOrNull(C
)) {
947 NewArgv
.push_back(Saver
.save(StringRef(Token
)).data());
950 // Mark the end of lines in response files
951 if (MarkEOLs
&& C
== '\n')
952 NewArgv
.push_back(nullptr);
960 I
= parseBackslash(Src
, I
, Token
);
967 // QUOTED state means that it's reading a token quoted by double quotes.
968 if (State
== QUOTED
) {
970 if (I
< (E
- 1) && Src
[I
+ 1] == '"') {
971 // Consecutive double-quotes inside a quoted string implies one
973 Token
.push_back('"');
981 I
= parseBackslash(Src
, I
, Token
);
987 // Append the last token after hitting EOF with no whitespace.
989 NewArgv
.push_back(Saver
.save(StringRef(Token
)).data());
990 // Mark the end of response files
992 NewArgv
.push_back(nullptr);
995 void cl::tokenizeConfigFile(StringRef Source
, StringSaver
&Saver
,
996 SmallVectorImpl
<const char *> &NewArgv
,
998 for (const char *Cur
= Source
.begin(); Cur
!= Source
.end();) {
999 SmallString
<128> Line
;
1000 // Check for comment line.
1001 if (isWhitespace(*Cur
)) {
1002 while (Cur
!= Source
.end() && isWhitespace(*Cur
))
1007 while (Cur
!= Source
.end() && *Cur
!= '\n')
1011 // Find end of the current line.
1012 const char *Start
= Cur
;
1013 for (const char *End
= Source
.end(); Cur
!= End
; ++Cur
) {
1015 if (Cur
+ 1 != End
) {
1018 (*Cur
== '\r' && (Cur
+ 1 != End
) && Cur
[1] == '\n')) {
1019 Line
.append(Start
, Cur
- 1);
1025 } else if (*Cur
== '\n')
1029 Line
.append(Start
, Cur
);
1030 cl::TokenizeGNUCommandLine(Line
, Saver
, NewArgv
, MarkEOLs
);
1034 // It is called byte order marker but the UTF-8 BOM is actually not affected
1035 // by the host system's endianness.
1036 static bool hasUTF8ByteOrderMark(ArrayRef
<char> S
) {
1037 return (S
.size() >= 3 && S
[0] == '\xef' && S
[1] == '\xbb' && S
[2] == '\xbf');
1040 static bool ExpandResponseFile(StringRef FName
, StringSaver
&Saver
,
1041 TokenizerCallback Tokenizer
,
1042 SmallVectorImpl
<const char *> &NewArgv
,
1043 bool MarkEOLs
, bool RelativeNames
) {
1044 ErrorOr
<std::unique_ptr
<MemoryBuffer
>> MemBufOrErr
=
1045 MemoryBuffer::getFile(FName
);
1048 MemoryBuffer
&MemBuf
= *MemBufOrErr
.get();
1049 StringRef
Str(MemBuf
.getBufferStart(), MemBuf
.getBufferSize());
1051 // If we have a UTF-16 byte order mark, convert to UTF-8 for parsing.
1052 ArrayRef
<char> BufRef(MemBuf
.getBufferStart(), MemBuf
.getBufferEnd());
1053 std::string UTF8Buf
;
1054 if (hasUTF16ByteOrderMark(BufRef
)) {
1055 if (!convertUTF16ToUTF8String(BufRef
, UTF8Buf
))
1057 Str
= StringRef(UTF8Buf
);
1059 // If we see UTF-8 BOM sequence at the beginning of a file, we shall remove
1060 // these bytes before parsing.
1061 // Reference: http://en.wikipedia.org/wiki/UTF-8#Byte_order_mark
1062 else if (hasUTF8ByteOrderMark(BufRef
))
1063 Str
= StringRef(BufRef
.data() + 3, BufRef
.size() - 3);
1065 // Tokenize the contents into NewArgv.
1066 Tokenizer(Str
, Saver
, NewArgv
, MarkEOLs
);
1068 // If names of nested response files should be resolved relative to including
1069 // file, replace the included response file names with their full paths
1070 // obtained by required resolution.
1072 for (unsigned I
= 0; I
< NewArgv
.size(); ++I
)
1074 StringRef Arg
= NewArgv
[I
];
1075 if (Arg
.front() == '@') {
1076 StringRef FileName
= Arg
.drop_front();
1077 if (llvm::sys::path::is_relative(FileName
)) {
1078 SmallString
<128> ResponseFile
;
1079 ResponseFile
.append(1, '@');
1080 if (llvm::sys::path::is_relative(FName
)) {
1081 SmallString
<128> curr_dir
;
1082 llvm::sys::fs::current_path(curr_dir
);
1083 ResponseFile
.append(curr_dir
.str());
1085 llvm::sys::path::append(
1086 ResponseFile
, llvm::sys::path::parent_path(FName
), FileName
);
1087 NewArgv
[I
] = Saver
.save(ResponseFile
.c_str()).data();
1095 /// Expand response files on a command line recursively using the given
1096 /// StringSaver and tokenization strategy.
1097 bool cl::ExpandResponseFiles(StringSaver
&Saver
, TokenizerCallback Tokenizer
,
1098 SmallVectorImpl
<const char *> &Argv
,
1099 bool MarkEOLs
, bool RelativeNames
) {
1100 bool AllExpanded
= true;
1101 struct ResponseFileRecord
{
1106 // To detect recursive response files, we maintain a stack of files and the
1107 // position of the last argument in the file. This position is updated
1108 // dynamically as we recursively expand files.
1109 SmallVector
<ResponseFileRecord
, 3> FileStack
;
1111 // Push a dummy entry that represents the initial command line, removing
1112 // the need to check for an empty list.
1113 FileStack
.push_back({"", Argv
.size()});
1115 // Don't cache Argv.size() because it can change.
1116 for (unsigned I
= 0; I
!= Argv
.size();) {
1117 while (I
== FileStack
.back().End
) {
1118 // Passing the end of a file's argument list, so we can remove it from the
1120 FileStack
.pop_back();
1123 const char *Arg
= Argv
[I
];
1124 // Check if it is an EOL marker
1125 if (Arg
== nullptr) {
1130 if (Arg
[0] != '@') {
1135 const char *FName
= Arg
+ 1;
1136 auto IsEquivalent
= [FName
](const ResponseFileRecord
&RFile
) {
1137 return sys::fs::equivalent(RFile
.File
, FName
);
1140 // Check for recursive response files.
1141 if (std::any_of(FileStack
.begin() + 1, FileStack
.end(), IsEquivalent
)) {
1142 // This file is recursive, so we leave it in the argument stream and
1144 AllExpanded
= false;
1149 // Replace this response file argument with the tokenization of its
1150 // contents. Nested response files are expanded in subsequent iterations.
1151 SmallVector
<const char *, 0> ExpandedArgv
;
1152 if (!ExpandResponseFile(FName
, Saver
, Tokenizer
, ExpandedArgv
, MarkEOLs
,
1154 // We couldn't read this file, so we leave it in the argument stream and
1156 AllExpanded
= false;
1161 for (ResponseFileRecord
&Record
: FileStack
) {
1162 // Increase the end of all active records by the number of newly expanded
1163 // arguments, minus the response file itself.
1164 Record
.End
+= ExpandedArgv
.size() - 1;
1167 FileStack
.push_back({FName
, I
+ ExpandedArgv
.size()});
1168 Argv
.erase(Argv
.begin() + I
);
1169 Argv
.insert(Argv
.begin() + I
, ExpandedArgv
.begin(), ExpandedArgv
.end());
1172 // If successful, the top of the file stack will mark the end of the Argv
1173 // stream. A failure here indicates a bug in the stack popping logic above.
1174 // Note that FileStack may have more than one element at this point because we
1175 // don't have a chance to pop the stack when encountering recursive files at
1176 // the end of the stream, so seeing that doesn't indicate a bug.
1177 assert(FileStack
.size() > 0 && Argv
.size() == FileStack
.back().End
);
1181 bool cl::readConfigFile(StringRef CfgFile
, StringSaver
&Saver
,
1182 SmallVectorImpl
<const char *> &Argv
) {
1183 if (!ExpandResponseFile(CfgFile
, Saver
, cl::tokenizeConfigFile
, Argv
,
1184 /*MarkEOLs*/ false, /*RelativeNames*/ true))
1186 return ExpandResponseFiles(Saver
, cl::tokenizeConfigFile
, Argv
,
1187 /*MarkEOLs*/ false, /*RelativeNames*/ true);
1190 /// ParseEnvironmentOptions - An alternative entry point to the
1191 /// CommandLine library, which allows you to read the program's name
1192 /// from the caller (as PROGNAME) and its command-line arguments from
1193 /// an environment variable (whose name is given in ENVVAR).
1195 void cl::ParseEnvironmentOptions(const char *progName
, const char *envVar
,
1196 const char *Overview
) {
1198 assert(progName
&& "Program name not specified");
1199 assert(envVar
&& "Environment variable name missing");
1201 // Get the environment variable they want us to parse options out of.
1202 llvm::Optional
<std::string
> envValue
= sys::Process::GetEnv(StringRef(envVar
));
1206 // Get program's "name", which we wouldn't know without the caller
1208 SmallVector
<const char *, 20> newArgv
;
1210 StringSaver
Saver(A
);
1211 newArgv
.push_back(Saver
.save(progName
).data());
1213 // Parse the value of the environment variable into a "command line"
1214 // and hand it off to ParseCommandLineOptions().
1215 TokenizeGNUCommandLine(*envValue
, Saver
, newArgv
);
1216 int newArgc
= static_cast<int>(newArgv
.size());
1217 ParseCommandLineOptions(newArgc
, &newArgv
[0], StringRef(Overview
));
1220 bool cl::ParseCommandLineOptions(int argc
, const char *const *argv
,
1221 StringRef Overview
, raw_ostream
*Errs
,
1223 bool LongOptionsUseDoubleDash
) {
1224 SmallVector
<const char *, 20> NewArgv
;
1226 StringSaver
Saver(A
);
1227 NewArgv
.push_back(argv
[0]);
1229 // Parse options from environment variable.
1231 if (llvm::Optional
<std::string
> EnvValue
=
1232 sys::Process::GetEnv(StringRef(EnvVar
)))
1233 TokenizeGNUCommandLine(*EnvValue
, Saver
, NewArgv
);
1236 // Append options from command line.
1237 for (int I
= 1; I
< argc
; ++I
)
1238 NewArgv
.push_back(argv
[I
]);
1239 int NewArgc
= static_cast<int>(NewArgv
.size());
1241 // Parse all options.
1242 return GlobalParser
->ParseCommandLineOptions(NewArgc
, &NewArgv
[0], Overview
,
1243 Errs
, LongOptionsUseDoubleDash
);
1246 void CommandLineParser::ResetAllOptionOccurrences() {
1247 // So that we can parse different command lines multiple times in succession
1248 // we reset all option values to look like they have never been seen before.
1249 for (auto SC
: RegisteredSubCommands
) {
1250 for (auto &O
: SC
->OptionsMap
)
1255 bool CommandLineParser::ParseCommandLineOptions(int argc
,
1256 const char *const *argv
,
1259 bool LongOptionsUseDoubleDash
) {
1260 assert(hasOptions() && "No options specified!");
1262 // Expand response files.
1263 SmallVector
<const char *, 20> newArgv(argv
, argv
+ argc
);
1265 StringSaver
Saver(A
);
1266 ExpandResponseFiles(Saver
,
1267 Triple(sys::getProcessTriple()).isOSWindows() ?
1268 cl::TokenizeWindowsCommandLine
: cl::TokenizeGNUCommandLine
,
1271 argc
= static_cast<int>(newArgv
.size());
1273 // Copy the program name into ProgName, making sure not to overflow it.
1274 ProgramName
= sys::path::filename(StringRef(argv
[0]));
1276 ProgramOverview
= Overview
;
1277 bool IgnoreErrors
= Errs
;
1280 bool ErrorParsing
= false;
1282 // Check out the positional arguments to collect information about them.
1283 unsigned NumPositionalRequired
= 0;
1285 // Determine whether or not there are an unlimited number of positionals
1286 bool HasUnlimitedPositionals
= false;
1289 SubCommand
*ChosenSubCommand
= &*TopLevelSubCommand
;
1290 if (argc
>= 2 && argv
[FirstArg
][0] != '-') {
1291 // If the first argument specifies a valid subcommand, start processing
1292 // options from the second argument.
1293 ChosenSubCommand
= LookupSubCommand(StringRef(argv
[FirstArg
]));
1294 if (ChosenSubCommand
!= &*TopLevelSubCommand
)
1297 GlobalParser
->ActiveSubCommand
= ChosenSubCommand
;
1299 assert(ChosenSubCommand
);
1300 auto &ConsumeAfterOpt
= ChosenSubCommand
->ConsumeAfterOpt
;
1301 auto &PositionalOpts
= ChosenSubCommand
->PositionalOpts
;
1302 auto &SinkOpts
= ChosenSubCommand
->SinkOpts
;
1303 auto &OptionsMap
= ChosenSubCommand
->OptionsMap
;
1305 for (auto O
: DefaultOptions
) {
1309 if (ConsumeAfterOpt
) {
1310 assert(PositionalOpts
.size() > 0 &&
1311 "Cannot specify cl::ConsumeAfter without a positional argument!");
1313 if (!PositionalOpts
.empty()) {
1315 // Calculate how many positional values are _required_.
1316 bool UnboundedFound
= false;
1317 for (size_t i
= 0, e
= PositionalOpts
.size(); i
!= e
; ++i
) {
1318 Option
*Opt
= PositionalOpts
[i
];
1319 if (RequiresValue(Opt
))
1320 ++NumPositionalRequired
;
1321 else if (ConsumeAfterOpt
) {
1322 // ConsumeAfter cannot be combined with "optional" positional options
1323 // unless there is only one positional argument...
1324 if (PositionalOpts
.size() > 1) {
1326 Opt
->error("error - this positional option will never be matched, "
1327 "because it does not Require a value, and a "
1328 "cl::ConsumeAfter option is active!");
1329 ErrorParsing
= true;
1331 } else if (UnboundedFound
&& !Opt
->hasArgStr()) {
1332 // This option does not "require" a value... Make sure this option is
1333 // not specified after an option that eats all extra arguments, or this
1334 // one will never get any!
1337 Opt
->error("error - option can never match, because "
1338 "another positional argument will match an "
1339 "unbounded number of values, and this option"
1340 " does not require a value!");
1341 *Errs
<< ProgramName
<< ": CommandLine Error: Option '" << Opt
->ArgStr
1342 << "' is all messed up!\n";
1343 *Errs
<< PositionalOpts
.size();
1344 ErrorParsing
= true;
1346 UnboundedFound
|= EatsUnboundedNumberOfValues(Opt
);
1348 HasUnlimitedPositionals
= UnboundedFound
|| ConsumeAfterOpt
;
1351 // PositionalVals - A vector of "positional" arguments we accumulate into
1352 // the process at the end.
1354 SmallVector
<std::pair
<StringRef
, unsigned>, 4> PositionalVals
;
1356 // If the program has named positional arguments, and the name has been run
1357 // across, keep track of which positional argument was named. Otherwise put
1358 // the positional args into the PositionalVals list...
1359 Option
*ActivePositionalArg
= nullptr;
1361 // Loop over all of the arguments... processing them.
1362 bool DashDashFound
= false; // Have we read '--'?
1363 for (int i
= FirstArg
; i
< argc
; ++i
) {
1364 Option
*Handler
= nullptr;
1365 Option
*NearestHandler
= nullptr;
1366 std::string NearestHandlerString
;
1368 StringRef ArgName
= "";
1369 bool HaveDoubleDash
= false;
1371 // Check to see if this is a positional argument. This argument is
1372 // considered to be positional if it doesn't start with '-', if it is "-"
1373 // itself, or if we have seen "--" already.
1375 if (argv
[i
][0] != '-' || argv
[i
][1] == 0 || DashDashFound
) {
1376 // Positional argument!
1377 if (ActivePositionalArg
) {
1378 ProvidePositionalOption(ActivePositionalArg
, StringRef(argv
[i
]), i
);
1379 continue; // We are done!
1382 if (!PositionalOpts
.empty()) {
1383 PositionalVals
.push_back(std::make_pair(StringRef(argv
[i
]), i
));
1385 // All of the positional arguments have been fulfulled, give the rest to
1386 // the consume after option... if it's specified...
1388 if (PositionalVals
.size() >= NumPositionalRequired
&& ConsumeAfterOpt
) {
1389 for (++i
; i
< argc
; ++i
)
1390 PositionalVals
.push_back(std::make_pair(StringRef(argv
[i
]), i
));
1391 break; // Handle outside of the argument processing loop...
1394 // Delay processing positional arguments until the end...
1397 } else if (argv
[i
][0] == '-' && argv
[i
][1] == '-' && argv
[i
][2] == 0 &&
1399 DashDashFound
= true; // This is the mythical "--"?
1400 continue; // Don't try to process it as an argument itself.
1401 } else if (ActivePositionalArg
&&
1402 (ActivePositionalArg
->getMiscFlags() & PositionalEatsArgs
)) {
1403 // If there is a positional argument eating options, check to see if this
1404 // option is another positional argument. If so, treat it as an argument,
1405 // otherwise feed it to the eating positional.
1406 ArgName
= StringRef(argv
[i
] + 1);
1408 if (!ArgName
.empty() && ArgName
[0] == '-') {
1409 HaveDoubleDash
= true;
1410 ArgName
= ArgName
.substr(1);
1413 Handler
= LookupLongOption(*ChosenSubCommand
, ArgName
, Value
,
1414 LongOptionsUseDoubleDash
, HaveDoubleDash
);
1415 if (!Handler
|| Handler
->getFormattingFlag() != cl::Positional
) {
1416 ProvidePositionalOption(ActivePositionalArg
, StringRef(argv
[i
]), i
);
1417 continue; // We are done!
1419 } else { // We start with a '-', must be an argument.
1420 ArgName
= StringRef(argv
[i
] + 1);
1422 if (!ArgName
.empty() && ArgName
[0] == '-') {
1423 HaveDoubleDash
= true;
1424 ArgName
= ArgName
.substr(1);
1427 Handler
= LookupLongOption(*ChosenSubCommand
, ArgName
, Value
,
1428 LongOptionsUseDoubleDash
, HaveDoubleDash
);
1430 // Check to see if this "option" is really a prefixed or grouped argument.
1431 if (!Handler
&& !(LongOptionsUseDoubleDash
&& HaveDoubleDash
))
1432 Handler
= HandlePrefixedOrGroupedOption(ArgName
, Value
, ErrorParsing
,
1435 // Otherwise, look for the closest available option to report to the user
1436 // in the upcoming error.
1437 if (!Handler
&& SinkOpts
.empty())
1439 LookupNearestOption(ArgName
, OptionsMap
, NearestHandlerString
);
1443 if (SinkOpts
.empty()) {
1444 *Errs
<< ProgramName
<< ": Unknown command line argument '" << argv
[i
]
1445 << "'. Try: '" << argv
[0] << " --help'\n";
1447 if (NearestHandler
) {
1448 // If we know a near match, report it as well.
1449 *Errs
<< ProgramName
<< ": Did you mean '"
1450 << PrintArg(NearestHandlerString
) << "'?\n";
1453 ErrorParsing
= true;
1455 for (SmallVectorImpl
<Option
*>::iterator I
= SinkOpts
.begin(),
1458 (*I
)->addOccurrence(i
, "", StringRef(argv
[i
]));
1463 // If this is a named positional argument, just remember that it is the
1465 if (Handler
->getFormattingFlag() == cl::Positional
) {
1466 if ((Handler
->getMiscFlags() & PositionalEatsArgs
) && !Value
.empty()) {
1467 Handler
->error("This argument does not take a value.\n"
1468 "\tInstead, it consumes any positional arguments until "
1469 "the next recognized option.", *Errs
);
1470 ErrorParsing
= true;
1472 ActivePositionalArg
= Handler
;
1475 ErrorParsing
|= ProvideOption(Handler
, ArgName
, Value
, argc
, argv
, i
);
1478 // Check and handle positional arguments now...
1479 if (NumPositionalRequired
> PositionalVals
.size()) {
1480 *Errs
<< ProgramName
1481 << ": Not enough positional command line arguments specified!\n"
1482 << "Must specify at least " << NumPositionalRequired
1483 << " positional argument" << (NumPositionalRequired
> 1 ? "s" : "")
1484 << ": See: " << argv
[0] << " --help\n";
1486 ErrorParsing
= true;
1487 } else if (!HasUnlimitedPositionals
&&
1488 PositionalVals
.size() > PositionalOpts
.size()) {
1489 *Errs
<< ProgramName
<< ": Too many positional arguments specified!\n"
1490 << "Can specify at most " << PositionalOpts
.size()
1491 << " positional arguments: See: " << argv
[0] << " --help\n";
1492 ErrorParsing
= true;
1494 } else if (!ConsumeAfterOpt
) {
1495 // Positional args have already been handled if ConsumeAfter is specified.
1496 unsigned ValNo
= 0, NumVals
= static_cast<unsigned>(PositionalVals
.size());
1497 for (size_t i
= 0, e
= PositionalOpts
.size(); i
!= e
; ++i
) {
1498 if (RequiresValue(PositionalOpts
[i
])) {
1499 ProvidePositionalOption(PositionalOpts
[i
], PositionalVals
[ValNo
].first
,
1500 PositionalVals
[ValNo
].second
);
1502 --NumPositionalRequired
; // We fulfilled our duty...
1505 // If we _can_ give this option more arguments, do so now, as long as we
1506 // do not give it values that others need. 'Done' controls whether the
1507 // option even _WANTS_ any more.
1509 bool Done
= PositionalOpts
[i
]->getNumOccurrencesFlag() == cl::Required
;
1510 while (NumVals
- ValNo
> NumPositionalRequired
&& !Done
) {
1511 switch (PositionalOpts
[i
]->getNumOccurrencesFlag()) {
1513 Done
= true; // Optional arguments want _at most_ one value
1515 case cl::ZeroOrMore
: // Zero or more will take all they can get...
1516 case cl::OneOrMore
: // One or more will take all they can get...
1517 ProvidePositionalOption(PositionalOpts
[i
],
1518 PositionalVals
[ValNo
].first
,
1519 PositionalVals
[ValNo
].second
);
1523 llvm_unreachable("Internal error, unexpected NumOccurrences flag in "
1524 "positional argument processing!");
1529 assert(ConsumeAfterOpt
&& NumPositionalRequired
<= PositionalVals
.size());
1531 for (size_t j
= 1, e
= PositionalOpts
.size(); j
!= e
; ++j
)
1532 if (RequiresValue(PositionalOpts
[j
])) {
1533 ErrorParsing
|= ProvidePositionalOption(PositionalOpts
[j
],
1534 PositionalVals
[ValNo
].first
,
1535 PositionalVals
[ValNo
].second
);
1539 // Handle the case where there is just one positional option, and it's
1540 // optional. In this case, we want to give JUST THE FIRST option to the
1541 // positional option and keep the rest for the consume after. The above
1542 // loop would have assigned no values to positional options in this case.
1544 if (PositionalOpts
.size() == 1 && ValNo
== 0 && !PositionalVals
.empty()) {
1545 ErrorParsing
|= ProvidePositionalOption(PositionalOpts
[0],
1546 PositionalVals
[ValNo
].first
,
1547 PositionalVals
[ValNo
].second
);
1551 // Handle over all of the rest of the arguments to the
1552 // cl::ConsumeAfter command line option...
1553 for (; ValNo
!= PositionalVals
.size(); ++ValNo
)
1555 ProvidePositionalOption(ConsumeAfterOpt
, PositionalVals
[ValNo
].first
,
1556 PositionalVals
[ValNo
].second
);
1559 // Loop over args and make sure all required args are specified!
1560 for (const auto &Opt
: OptionsMap
) {
1561 switch (Opt
.second
->getNumOccurrencesFlag()) {
1564 if (Opt
.second
->getNumOccurrences() == 0) {
1565 Opt
.second
->error("must be specified at least once!");
1566 ErrorParsing
= true;
1574 // Now that we know if -debug is specified, we can use it.
1575 // Note that if ReadResponseFiles == true, this must be done before the
1576 // memory allocated for the expanded command line is free()d below.
1577 LLVM_DEBUG(dbgs() << "Args: ";
1578 for (int i
= 0; i
< argc
; ++i
) dbgs() << argv
[i
] << ' ';
1581 // Free all of the memory allocated to the map. Command line options may only
1582 // be processed once!
1585 // If we had an error processing our arguments, don't let the program execute
1594 //===----------------------------------------------------------------------===//
1595 // Option Base class implementation
1598 bool Option::error(const Twine
&Message
, StringRef ArgName
, raw_ostream
&Errs
) {
1599 if (!ArgName
.data())
1601 if (ArgName
.empty())
1602 Errs
<< HelpStr
; // Be nice for positional arguments
1604 Errs
<< GlobalParser
->ProgramName
<< ": for the " << PrintArg(ArgName
);
1606 Errs
<< " option: " << Message
<< "\n";
1610 bool Option::addOccurrence(unsigned pos
, StringRef ArgName
, StringRef Value
,
1613 NumOccurrences
++; // Increment the number of times we have been seen
1615 switch (getNumOccurrencesFlag()) {
1617 if (NumOccurrences
> 1)
1618 return error("may only occur zero or one times!", ArgName
);
1621 if (NumOccurrences
> 1)
1622 return error("must occur exactly one time!", ArgName
);
1630 return handleOccurrence(pos
, ArgName
, Value
);
1633 // getValueStr - Get the value description string, using "DefaultMsg" if nothing
1634 // has been specified yet.
1636 static StringRef
getValueStr(const Option
&O
, StringRef DefaultMsg
) {
1637 if (O
.ValueStr
.empty())
1642 //===----------------------------------------------------------------------===//
1643 // cl::alias class implementation
1646 // Return the width of the option tag for printing...
1647 size_t alias::getOptionWidth() const {
1648 return argPlusPrefixesSize(ArgStr
);
1651 void Option::printHelpStr(StringRef HelpStr
, size_t Indent
,
1652 size_t FirstLineIndentedBy
) {
1653 assert(Indent
>= FirstLineIndentedBy
);
1654 std::pair
<StringRef
, StringRef
> Split
= HelpStr
.split('\n');
1655 outs().indent(Indent
- FirstLineIndentedBy
)
1656 << ArgHelpPrefix
<< Split
.first
<< "\n";
1657 while (!Split
.second
.empty()) {
1658 Split
= Split
.second
.split('\n');
1659 outs().indent(Indent
) << Split
.first
<< "\n";
1663 // Print out the option for the alias.
1664 void alias::printOptionInfo(size_t GlobalWidth
) const {
1665 outs() << PrintArg(ArgStr
);
1666 printHelpStr(HelpStr
, GlobalWidth
, argPlusPrefixesSize(ArgStr
));
1669 //===----------------------------------------------------------------------===//
1670 // Parser Implementation code...
1673 // basic_parser implementation
1676 // Return the width of the option tag for printing...
1677 size_t basic_parser_impl::getOptionWidth(const Option
&O
) const {
1678 size_t Len
= argPlusPrefixesSize(O
.ArgStr
);
1679 auto ValName
= getValueName();
1680 if (!ValName
.empty()) {
1681 size_t FormattingLen
= 3;
1682 if (O
.getMiscFlags() & PositionalEatsArgs
)
1684 Len
+= getValueStr(O
, ValName
).size() + FormattingLen
;
1690 // printOptionInfo - Print out information about this option. The
1691 // to-be-maintained width is specified.
1693 void basic_parser_impl::printOptionInfo(const Option
&O
,
1694 size_t GlobalWidth
) const {
1695 outs() << PrintArg(O
.ArgStr
);
1697 auto ValName
= getValueName();
1698 if (!ValName
.empty()) {
1699 if (O
.getMiscFlags() & PositionalEatsArgs
) {
1700 outs() << " <" << getValueStr(O
, ValName
) << ">...";
1702 outs() << "=<" << getValueStr(O
, ValName
) << '>';
1706 Option::printHelpStr(O
.HelpStr
, GlobalWidth
, getOptionWidth(O
));
1709 void basic_parser_impl::printOptionName(const Option
&O
,
1710 size_t GlobalWidth
) const {
1711 outs() << PrintArg(O
.ArgStr
);
1712 outs().indent(GlobalWidth
- O
.ArgStr
.size());
1715 // parser<bool> implementation
1717 bool parser
<bool>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1719 if (Arg
== "" || Arg
== "true" || Arg
== "TRUE" || Arg
== "True" ||
1725 if (Arg
== "false" || Arg
== "FALSE" || Arg
== "False" || Arg
== "0") {
1729 return O
.error("'" + Arg
+
1730 "' is invalid value for boolean argument! Try 0 or 1");
1733 // parser<boolOrDefault> implementation
1735 bool parser
<boolOrDefault
>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1736 boolOrDefault
&Value
) {
1737 if (Arg
== "" || Arg
== "true" || Arg
== "TRUE" || Arg
== "True" ||
1742 if (Arg
== "false" || Arg
== "FALSE" || Arg
== "False" || Arg
== "0") {
1747 return O
.error("'" + Arg
+
1748 "' is invalid value for boolean argument! Try 0 or 1");
1751 // parser<int> implementation
1753 bool parser
<int>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1755 if (Arg
.getAsInteger(0, Value
))
1756 return O
.error("'" + Arg
+ "' value invalid for integer argument!");
1760 // parser<unsigned> implementation
1762 bool parser
<unsigned>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1765 if (Arg
.getAsInteger(0, Value
))
1766 return O
.error("'" + Arg
+ "' value invalid for uint argument!");
1770 // parser<unsigned long> implementation
1772 bool parser
<unsigned long>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1773 unsigned long &Value
) {
1775 if (Arg
.getAsInteger(0, Value
))
1776 return O
.error("'" + Arg
+ "' value invalid for ulong argument!");
1780 // parser<unsigned long long> implementation
1782 bool parser
<unsigned long long>::parse(Option
&O
, StringRef ArgName
,
1784 unsigned long long &Value
) {
1786 if (Arg
.getAsInteger(0, Value
))
1787 return O
.error("'" + Arg
+ "' value invalid for ullong argument!");
1791 // parser<double>/parser<float> implementation
1793 static bool parseDouble(Option
&O
, StringRef Arg
, double &Value
) {
1794 if (to_float(Arg
, Value
))
1796 return O
.error("'" + Arg
+ "' value invalid for floating point argument!");
1799 bool parser
<double>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1801 return parseDouble(O
, Arg
, Val
);
1804 bool parser
<float>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1807 if (parseDouble(O
, Arg
, dVal
))
1813 // generic_parser_base implementation
1816 // findOption - Return the option number corresponding to the specified
1817 // argument string. If the option is not found, getNumOptions() is returned.
1819 unsigned generic_parser_base::findOption(StringRef Name
) {
1820 unsigned e
= getNumOptions();
1822 for (unsigned i
= 0; i
!= e
; ++i
) {
1823 if (getOption(i
) == Name
)
1829 static StringRef EqValue
= "=<value>";
1830 static StringRef EmptyOption
= "<empty>";
1831 static StringRef OptionPrefix
= " =";
1832 static size_t OptionPrefixesSize
= OptionPrefix
.size() + ArgHelpPrefix
.size();
1834 static bool shouldPrintOption(StringRef Name
, StringRef Description
,
1836 return O
.getValueExpectedFlag() != ValueOptional
|| !Name
.empty() ||
1837 !Description
.empty();
1840 // Return the width of the option tag for printing...
1841 size_t generic_parser_base::getOptionWidth(const Option
&O
) const {
1842 if (O
.hasArgStr()) {
1844 argPlusPrefixesSize(O
.ArgStr
) + EqValue
.size();
1845 for (unsigned i
= 0, e
= getNumOptions(); i
!= e
; ++i
) {
1846 StringRef Name
= getOption(i
);
1847 if (!shouldPrintOption(Name
, getDescription(i
), O
))
1849 size_t NameSize
= Name
.empty() ? EmptyOption
.size() : Name
.size();
1850 Size
= std::max(Size
, NameSize
+ OptionPrefixesSize
);
1854 size_t BaseSize
= 0;
1855 for (unsigned i
= 0, e
= getNumOptions(); i
!= e
; ++i
)
1856 BaseSize
= std::max(BaseSize
, getOption(i
).size() + 8);
1861 // printOptionInfo - Print out information about this option. The
1862 // to-be-maintained width is specified.
1864 void generic_parser_base::printOptionInfo(const Option
&O
,
1865 size_t GlobalWidth
) const {
1866 if (O
.hasArgStr()) {
1867 // When the value is optional, first print a line just describing the
1868 // option without values.
1869 if (O
.getValueExpectedFlag() == ValueOptional
) {
1870 for (unsigned i
= 0, e
= getNumOptions(); i
!= e
; ++i
) {
1871 if (getOption(i
).empty()) {
1872 outs() << PrintArg(O
.ArgStr
);
1873 Option::printHelpStr(O
.HelpStr
, GlobalWidth
,
1874 argPlusPrefixesSize(O
.ArgStr
));
1880 outs() << PrintArg(O
.ArgStr
) << EqValue
;
1881 Option::printHelpStr(O
.HelpStr
, GlobalWidth
,
1883 argPlusPrefixesSize(O
.ArgStr
));
1884 for (unsigned i
= 0, e
= getNumOptions(); i
!= e
; ++i
) {
1885 StringRef OptionName
= getOption(i
);
1886 StringRef Description
= getDescription(i
);
1887 if (!shouldPrintOption(OptionName
, Description
, O
))
1889 assert(GlobalWidth
>= OptionName
.size() + OptionPrefixesSize
);
1890 size_t NumSpaces
= GlobalWidth
- OptionName
.size() - OptionPrefixesSize
;
1891 outs() << OptionPrefix
<< OptionName
;
1892 if (OptionName
.empty()) {
1893 outs() << EmptyOption
;
1894 assert(NumSpaces
>= EmptyOption
.size());
1895 NumSpaces
-= EmptyOption
.size();
1897 if (!Description
.empty())
1898 outs().indent(NumSpaces
) << ArgHelpPrefix
<< " " << Description
;
1902 if (!O
.HelpStr
.empty())
1903 outs() << " " << O
.HelpStr
<< '\n';
1904 for (unsigned i
= 0, e
= getNumOptions(); i
!= e
; ++i
) {
1905 StringRef Option
= getOption(i
);
1906 outs() << " " << PrintArg(Option
);
1907 Option::printHelpStr(getDescription(i
), GlobalWidth
, Option
.size() + 8);
1912 static const size_t MaxOptWidth
= 8; // arbitrary spacing for printOptionDiff
1914 // printGenericOptionDiff - Print the value of this option and it's default.
1916 // "Generic" options have each value mapped to a name.
1917 void generic_parser_base::printGenericOptionDiff(
1918 const Option
&O
, const GenericOptionValue
&Value
,
1919 const GenericOptionValue
&Default
, size_t GlobalWidth
) const {
1920 outs() << " " << PrintArg(O
.ArgStr
);
1921 outs().indent(GlobalWidth
- O
.ArgStr
.size());
1923 unsigned NumOpts
= getNumOptions();
1924 for (unsigned i
= 0; i
!= NumOpts
; ++i
) {
1925 if (Value
.compare(getOptionValue(i
)))
1928 outs() << "= " << getOption(i
);
1929 size_t L
= getOption(i
).size();
1930 size_t NumSpaces
= MaxOptWidth
> L
? MaxOptWidth
- L
: 0;
1931 outs().indent(NumSpaces
) << " (default: ";
1932 for (unsigned j
= 0; j
!= NumOpts
; ++j
) {
1933 if (Default
.compare(getOptionValue(j
)))
1935 outs() << getOption(j
);
1941 outs() << "= *unknown option value*\n";
1944 // printOptionDiff - Specializations for printing basic value types.
1946 #define PRINT_OPT_DIFF(T) \
1947 void parser<T>::printOptionDiff(const Option &O, T V, OptionValue<T> D, \
1948 size_t GlobalWidth) const { \
1949 printOptionName(O, GlobalWidth); \
1952 raw_string_ostream SS(Str); \
1955 outs() << "= " << Str; \
1956 size_t NumSpaces = \
1957 MaxOptWidth > Str.size() ? MaxOptWidth - Str.size() : 0; \
1958 outs().indent(NumSpaces) << " (default: "; \
1960 outs() << D.getValue(); \
1962 outs() << "*no default*"; \
1966 PRINT_OPT_DIFF(bool)
1967 PRINT_OPT_DIFF(boolOrDefault
)
1969 PRINT_OPT_DIFF(unsigned)
1970 PRINT_OPT_DIFF(unsigned long)
1971 PRINT_OPT_DIFF(unsigned long long)
1972 PRINT_OPT_DIFF(double)
1973 PRINT_OPT_DIFF(float)
1974 PRINT_OPT_DIFF(char)
1976 void parser
<std::string
>::printOptionDiff(const Option
&O
, StringRef V
,
1977 const OptionValue
<std::string
> &D
,
1978 size_t GlobalWidth
) const {
1979 printOptionName(O
, GlobalWidth
);
1980 outs() << "= " << V
;
1981 size_t NumSpaces
= MaxOptWidth
> V
.size() ? MaxOptWidth
- V
.size() : 0;
1982 outs().indent(NumSpaces
) << " (default: ";
1984 outs() << D
.getValue();
1986 outs() << "*no default*";
1990 // Print a placeholder for options that don't yet support printOptionDiff().
1991 void basic_parser_impl::printOptionNoValue(const Option
&O
,
1992 size_t GlobalWidth
) const {
1993 printOptionName(O
, GlobalWidth
);
1994 outs() << "= *cannot print option value*\n";
1997 //===----------------------------------------------------------------------===//
1998 // -help and -help-hidden option implementation
2001 static int OptNameCompare(const std::pair
<const char *, Option
*> *LHS
,
2002 const std::pair
<const char *, Option
*> *RHS
) {
2003 return strcmp(LHS
->first
, RHS
->first
);
2006 static int SubNameCompare(const std::pair
<const char *, SubCommand
*> *LHS
,
2007 const std::pair
<const char *, SubCommand
*> *RHS
) {
2008 return strcmp(LHS
->first
, RHS
->first
);
2011 // Copy Options into a vector so we can sort them as we like.
2012 static void sortOpts(StringMap
<Option
*> &OptMap
,
2013 SmallVectorImpl
<std::pair
<const char *, Option
*>> &Opts
,
2015 SmallPtrSet
<Option
*, 32> OptionSet
; // Duplicate option detection.
2017 for (StringMap
<Option
*>::iterator I
= OptMap
.begin(), E
= OptMap
.end();
2019 // Ignore really-hidden options.
2020 if (I
->second
->getOptionHiddenFlag() == ReallyHidden
)
2023 // Unless showhidden is set, ignore hidden flags.
2024 if (I
->second
->getOptionHiddenFlag() == Hidden
&& !ShowHidden
)
2027 // If we've already seen this option, don't add it to the list again.
2028 if (!OptionSet
.insert(I
->second
).second
)
2032 std::pair
<const char *, Option
*>(I
->getKey().data(), I
->second
));
2035 // Sort the options list alphabetically.
2036 array_pod_sort(Opts
.begin(), Opts
.end(), OptNameCompare
);
2040 sortSubCommands(const SmallPtrSetImpl
<SubCommand
*> &SubMap
,
2041 SmallVectorImpl
<std::pair
<const char *, SubCommand
*>> &Subs
) {
2042 for (const auto &S
: SubMap
) {
2043 if (S
->getName().empty())
2045 Subs
.push_back(std::make_pair(S
->getName().data(), S
));
2047 array_pod_sort(Subs
.begin(), Subs
.end(), SubNameCompare
);
2054 const bool ShowHidden
;
2055 typedef SmallVector
<std::pair
<const char *, Option
*>, 128>
2056 StrOptionPairVector
;
2057 typedef SmallVector
<std::pair
<const char *, SubCommand
*>, 128>
2058 StrSubCommandPairVector
;
2059 // Print the options. Opts is assumed to be alphabetically sorted.
2060 virtual void printOptions(StrOptionPairVector
&Opts
, size_t MaxArgLen
) {
2061 for (size_t i
= 0, e
= Opts
.size(); i
!= e
; ++i
)
2062 Opts
[i
].second
->printOptionInfo(MaxArgLen
);
2065 void printSubCommands(StrSubCommandPairVector
&Subs
, size_t MaxSubLen
) {
2066 for (const auto &S
: Subs
) {
2067 outs() << " " << S
.first
;
2068 if (!S
.second
->getDescription().empty()) {
2069 outs().indent(MaxSubLen
- strlen(S
.first
));
2070 outs() << " - " << S
.second
->getDescription();
2077 explicit HelpPrinter(bool showHidden
) : ShowHidden(showHidden
) {}
2078 virtual ~HelpPrinter() {}
2080 // Invoke the printer.
2081 void operator=(bool Value
) {
2086 // Halt the program since help information was printed
2091 SubCommand
*Sub
= GlobalParser
->getActiveSubCommand();
2092 auto &OptionsMap
= Sub
->OptionsMap
;
2093 auto &PositionalOpts
= Sub
->PositionalOpts
;
2094 auto &ConsumeAfterOpt
= Sub
->ConsumeAfterOpt
;
2096 StrOptionPairVector Opts
;
2097 sortOpts(OptionsMap
, Opts
, ShowHidden
);
2099 StrSubCommandPairVector Subs
;
2100 sortSubCommands(GlobalParser
->RegisteredSubCommands
, Subs
);
2102 if (!GlobalParser
->ProgramOverview
.empty())
2103 outs() << "OVERVIEW: " << GlobalParser
->ProgramOverview
<< "\n";
2105 if (Sub
== &*TopLevelSubCommand
) {
2106 outs() << "USAGE: " << GlobalParser
->ProgramName
;
2107 if (Subs
.size() > 2)
2108 outs() << " [subcommand]";
2109 outs() << " [options]";
2111 if (!Sub
->getDescription().empty()) {
2112 outs() << "SUBCOMMAND '" << Sub
->getName()
2113 << "': " << Sub
->getDescription() << "\n\n";
2115 outs() << "USAGE: " << GlobalParser
->ProgramName
<< " " << Sub
->getName()
2119 for (auto Opt
: PositionalOpts
) {
2120 if (Opt
->hasArgStr())
2121 outs() << " --" << Opt
->ArgStr
;
2122 outs() << " " << Opt
->HelpStr
;
2125 // Print the consume after option info if it exists...
2126 if (ConsumeAfterOpt
)
2127 outs() << " " << ConsumeAfterOpt
->HelpStr
;
2129 if (Sub
== &*TopLevelSubCommand
&& !Subs
.empty()) {
2130 // Compute the maximum subcommand length...
2131 size_t MaxSubLen
= 0;
2132 for (size_t i
= 0, e
= Subs
.size(); i
!= e
; ++i
)
2133 MaxSubLen
= std::max(MaxSubLen
, strlen(Subs
[i
].first
));
2136 outs() << "SUBCOMMANDS:\n\n";
2137 printSubCommands(Subs
, MaxSubLen
);
2139 outs() << " Type \"" << GlobalParser
->ProgramName
2140 << " <subcommand> --help\" to get more help on a specific "
2146 // Compute the maximum argument length...
2147 size_t MaxArgLen
= 0;
2148 for (size_t i
= 0, e
= Opts
.size(); i
!= e
; ++i
)
2149 MaxArgLen
= std::max(MaxArgLen
, Opts
[i
].second
->getOptionWidth());
2151 outs() << "OPTIONS:\n";
2152 printOptions(Opts
, MaxArgLen
);
2154 // Print any extra help the user has declared.
2155 for (auto I
: GlobalParser
->MoreHelp
)
2157 GlobalParser
->MoreHelp
.clear();
2161 class CategorizedHelpPrinter
: public HelpPrinter
{
2163 explicit CategorizedHelpPrinter(bool showHidden
) : HelpPrinter(showHidden
) {}
2165 // Helper function for printOptions().
2166 // It shall return a negative value if A's name should be lexicographically
2167 // ordered before B's name. It returns a value greater than zero if B's name
2168 // should be ordered before A's name, and it returns 0 otherwise.
2169 static int OptionCategoryCompare(OptionCategory
*const *A
,
2170 OptionCategory
*const *B
) {
2171 return (*A
)->getName().compare((*B
)->getName());
2174 // Make sure we inherit our base class's operator=()
2175 using HelpPrinter::operator=;
2178 void printOptions(StrOptionPairVector
&Opts
, size_t MaxArgLen
) override
{
2179 std::vector
<OptionCategory
*> SortedCategories
;
2180 std::map
<OptionCategory
*, std::vector
<Option
*>> CategorizedOptions
;
2182 // Collect registered option categories into vector in preparation for
2184 for (auto I
= GlobalParser
->RegisteredOptionCategories
.begin(),
2185 E
= GlobalParser
->RegisteredOptionCategories
.end();
2187 SortedCategories
.push_back(*I
);
2190 // Sort the different option categories alphabetically.
2191 assert(SortedCategories
.size() > 0 && "No option categories registered!");
2192 array_pod_sort(SortedCategories
.begin(), SortedCategories
.end(),
2193 OptionCategoryCompare
);
2195 // Create map to empty vectors.
2196 for (std::vector
<OptionCategory
*>::const_iterator
2197 I
= SortedCategories
.begin(),
2198 E
= SortedCategories
.end();
2200 CategorizedOptions
[*I
] = std::vector
<Option
*>();
2202 // Walk through pre-sorted options and assign into categories.
2203 // Because the options are already alphabetically sorted the
2204 // options within categories will also be alphabetically sorted.
2205 for (size_t I
= 0, E
= Opts
.size(); I
!= E
; ++I
) {
2206 Option
*Opt
= Opts
[I
].second
;
2207 for (auto &Cat
: Opt
->Categories
) {
2208 assert(CategorizedOptions
.count(Cat
) > 0 &&
2209 "Option has an unregistered category");
2210 CategorizedOptions
[Cat
].push_back(Opt
);
2215 for (std::vector
<OptionCategory
*>::const_iterator
2216 Category
= SortedCategories
.begin(),
2217 E
= SortedCategories
.end();
2218 Category
!= E
; ++Category
) {
2219 // Hide empty categories for --help, but show for --help-hidden.
2220 const auto &CategoryOptions
= CategorizedOptions
[*Category
];
2221 bool IsEmptyCategory
= CategoryOptions
.empty();
2222 if (!ShowHidden
&& IsEmptyCategory
)
2225 // Print category information.
2227 outs() << (*Category
)->getName() << ":\n";
2229 // Check if description is set.
2230 if (!(*Category
)->getDescription().empty())
2231 outs() << (*Category
)->getDescription() << "\n\n";
2235 // When using --help-hidden explicitly state if the category has no
2236 // options associated with it.
2237 if (IsEmptyCategory
) {
2238 outs() << " This option category has no options.\n";
2241 // Loop over the options in the category and print.
2242 for (const Option
*Opt
: CategoryOptions
)
2243 Opt
->printOptionInfo(MaxArgLen
);
2248 // This wraps the Uncategorizing and Categorizing printers and decides
2249 // at run time which should be invoked.
2250 class HelpPrinterWrapper
{
2252 HelpPrinter
&UncategorizedPrinter
;
2253 CategorizedHelpPrinter
&CategorizedPrinter
;
2256 explicit HelpPrinterWrapper(HelpPrinter
&UncategorizedPrinter
,
2257 CategorizedHelpPrinter
&CategorizedPrinter
)
2258 : UncategorizedPrinter(UncategorizedPrinter
),
2259 CategorizedPrinter(CategorizedPrinter
) {}
2261 // Invoke the printer.
2262 void operator=(bool Value
);
2265 } // End anonymous namespace
2267 // Declare the four HelpPrinter instances that are used to print out help, or
2268 // help-hidden as an uncategorized list or in categories.
2269 static HelpPrinter
UncategorizedNormalPrinter(false);
2270 static HelpPrinter
UncategorizedHiddenPrinter(true);
2271 static CategorizedHelpPrinter
CategorizedNormalPrinter(false);
2272 static CategorizedHelpPrinter
CategorizedHiddenPrinter(true);
2274 // Declare HelpPrinter wrappers that will decide whether or not to invoke
2275 // a categorizing help printer
2276 static HelpPrinterWrapper
WrappedNormalPrinter(UncategorizedNormalPrinter
,
2277 CategorizedNormalPrinter
);
2278 static HelpPrinterWrapper
WrappedHiddenPrinter(UncategorizedHiddenPrinter
,
2279 CategorizedHiddenPrinter
);
2281 // Define a category for generic options that all tools should have.
2282 static cl::OptionCategory
GenericCategory("Generic Options");
2284 // Define uncategorized help printers.
2285 // --help-list is hidden by default because if Option categories are being used
2286 // then --help behaves the same as --help-list.
2287 static cl::opt
<HelpPrinter
, true, parser
<bool>> HLOp(
2289 cl::desc("Display list of available options (--help-list-hidden for more)"),
2290 cl::location(UncategorizedNormalPrinter
), cl::Hidden
, cl::ValueDisallowed
,
2291 cl::cat(GenericCategory
), cl::sub(*AllSubCommands
));
2293 static cl::opt
<HelpPrinter
, true, parser
<bool>>
2294 HLHOp("help-list-hidden", cl::desc("Display list of all available options"),
2295 cl::location(UncategorizedHiddenPrinter
), cl::Hidden
,
2296 cl::ValueDisallowed
, cl::cat(GenericCategory
),
2297 cl::sub(*AllSubCommands
));
2299 // Define uncategorized/categorized help printers. These printers change their
2300 // behaviour at runtime depending on whether one or more Option categories have
2302 static cl::opt
<HelpPrinterWrapper
, true, parser
<bool>>
2303 HOp("help", cl::desc("Display available options (--help-hidden for more)"),
2304 cl::location(WrappedNormalPrinter
), cl::ValueDisallowed
,
2305 cl::cat(GenericCategory
), cl::sub(*AllSubCommands
));
2307 static cl::alias
HOpA("h", cl::desc("Alias for --help"), cl::aliasopt(HOp
),
2310 static cl::opt
<HelpPrinterWrapper
, true, parser
<bool>>
2311 HHOp("help-hidden", cl::desc("Display all available options"),
2312 cl::location(WrappedHiddenPrinter
), cl::Hidden
, cl::ValueDisallowed
,
2313 cl::cat(GenericCategory
), cl::sub(*AllSubCommands
));
2315 static cl::opt
<bool> PrintOptions(
2317 cl::desc("Print non-default options after command line parsing"),
2318 cl::Hidden
, cl::init(false), cl::cat(GenericCategory
),
2319 cl::sub(*AllSubCommands
));
2321 static cl::opt
<bool> PrintAllOptions(
2322 "print-all-options",
2323 cl::desc("Print all option values after command line parsing"), cl::Hidden
,
2324 cl::init(false), cl::cat(GenericCategory
), cl::sub(*AllSubCommands
));
2326 void HelpPrinterWrapper::operator=(bool Value
) {
2330 // Decide which printer to invoke. If more than one option category is
2331 // registered then it is useful to show the categorized help instead of
2332 // uncategorized help.
2333 if (GlobalParser
->RegisteredOptionCategories
.size() > 1) {
2334 // unhide --help-list option so user can have uncategorized output if they
2336 HLOp
.setHiddenFlag(NotHidden
);
2338 CategorizedPrinter
= true; // Invoke categorized printer
2340 UncategorizedPrinter
= true; // Invoke uncategorized printer
2343 // Print the value of each option.
2344 void cl::PrintOptionValues() { GlobalParser
->printOptionValues(); }
2346 void CommandLineParser::printOptionValues() {
2347 if (!PrintOptions
&& !PrintAllOptions
)
2350 SmallVector
<std::pair
<const char *, Option
*>, 128> Opts
;
2351 sortOpts(ActiveSubCommand
->OptionsMap
, Opts
, /*ShowHidden*/ true);
2353 // Compute the maximum argument length...
2354 size_t MaxArgLen
= 0;
2355 for (size_t i
= 0, e
= Opts
.size(); i
!= e
; ++i
)
2356 MaxArgLen
= std::max(MaxArgLen
, Opts
[i
].second
->getOptionWidth());
2358 for (size_t i
= 0, e
= Opts
.size(); i
!= e
; ++i
)
2359 Opts
[i
].second
->printOptionValue(MaxArgLen
, PrintAllOptions
);
2362 static VersionPrinterTy OverrideVersionPrinter
= nullptr;
2364 static std::vector
<VersionPrinterTy
> *ExtraVersionPrinters
= nullptr;
2367 class VersionPrinter
{
2370 raw_ostream
&OS
= outs();
2371 #ifdef PACKAGE_VENDOR
2372 OS
<< PACKAGE_VENDOR
<< " ";
2374 OS
<< "LLVM (http://llvm.org/):\n ";
2376 OS
<< PACKAGE_NAME
<< " version " << PACKAGE_VERSION
;
2377 #ifdef LLVM_VERSION_INFO
2378 OS
<< " " << LLVM_VERSION_INFO
;
2381 #ifndef __OPTIMIZE__
2382 OS
<< "DEBUG build";
2384 OS
<< "Optimized build";
2387 OS
<< " with assertions";
2389 #if LLVM_VERSION_PRINTER_SHOW_HOST_TARGET_INFO
2390 std::string CPU
= sys::getHostCPUName();
2391 if (CPU
== "generic")
2394 << " Default target: " << sys::getDefaultTargetTriple() << '\n'
2395 << " Host CPU: " << CPU
;
2399 void operator=(bool OptionWasSpecified
) {
2400 if (!OptionWasSpecified
)
2403 if (OverrideVersionPrinter
!= nullptr) {
2404 OverrideVersionPrinter(outs());
2409 // Iterate over any registered extra printers and call them to add further
2411 if (ExtraVersionPrinters
!= nullptr) {
2413 for (auto I
: *ExtraVersionPrinters
)
2420 } // End anonymous namespace
2422 // Define the --version option that prints out the LLVM version for the tool
2423 static VersionPrinter VersionPrinterInstance
;
2425 static cl::opt
<VersionPrinter
, true, parser
<bool>>
2426 VersOp("version", cl::desc("Display the version of this program"),
2427 cl::location(VersionPrinterInstance
), cl::ValueDisallowed
,
2428 cl::cat(GenericCategory
));
2430 // Utility function for printing the help message.
2431 void cl::PrintHelpMessage(bool Hidden
, bool Categorized
) {
2432 if (!Hidden
&& !Categorized
)
2433 UncategorizedNormalPrinter
.printHelp();
2434 else if (!Hidden
&& Categorized
)
2435 CategorizedNormalPrinter
.printHelp();
2436 else if (Hidden
&& !Categorized
)
2437 UncategorizedHiddenPrinter
.printHelp();
2439 CategorizedHiddenPrinter
.printHelp();
2442 /// Utility function for printing version number.
2443 void cl::PrintVersionMessage() { VersionPrinterInstance
.print(); }
2445 void cl::SetVersionPrinter(VersionPrinterTy func
) { OverrideVersionPrinter
= func
; }
2447 void cl::AddExtraVersionPrinter(VersionPrinterTy func
) {
2448 if (!ExtraVersionPrinters
)
2449 ExtraVersionPrinters
= new std::vector
<VersionPrinterTy
>;
2451 ExtraVersionPrinters
->push_back(func
);
2454 StringMap
<Option
*> &cl::getRegisteredOptions(SubCommand
&Sub
) {
2455 auto &Subs
= GlobalParser
->RegisteredSubCommands
;
2457 assert(is_contained(Subs
, &Sub
));
2458 return Sub
.OptionsMap
;
2461 iterator_range
<typename SmallPtrSet
<SubCommand
*, 4>::iterator
>
2462 cl::getRegisteredSubcommands() {
2463 return GlobalParser
->getRegisteredSubcommands();
2466 void cl::HideUnrelatedOptions(cl::OptionCategory
&Category
, SubCommand
&Sub
) {
2467 for (auto &I
: Sub
.OptionsMap
) {
2468 for (auto &Cat
: I
.second
->Categories
) {
2469 if (Cat
!= &Category
&&
2470 Cat
!= &GenericCategory
)
2471 I
.second
->setHiddenFlag(cl::ReallyHidden
);
2476 void cl::HideUnrelatedOptions(ArrayRef
<const cl::OptionCategory
*> Categories
,
2478 for (auto &I
: Sub
.OptionsMap
) {
2479 for (auto &Cat
: I
.second
->Categories
) {
2480 if (find(Categories
, Cat
) == Categories
.end() && Cat
!= &GenericCategory
)
2481 I
.second
->setHiddenFlag(cl::ReallyHidden
);
2486 void cl::ResetCommandLineParser() { GlobalParser
->reset(); }
2487 void cl::ResetAllOptionOccurrences() {
2488 GlobalParser
->ResetAllOptionOccurrences();
2491 void LLVMParseCommandLineOptions(int argc
, const char *const *argv
,
2492 const char *Overview
) {
2493 llvm::cl::ParseCommandLineOptions(argc
, argv
, StringRef(Overview
),