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"
20 #include "DebugOptions.h"
22 #include "llvm-c/Support.h"
23 #include "llvm/ADT/ArrayRef.h"
24 #include "llvm/ADT/Optional.h"
25 #include "llvm/ADT/STLExtras.h"
26 #include "llvm/ADT/SmallPtrSet.h"
27 #include "llvm/ADT/SmallString.h"
28 #include "llvm/ADT/StringExtras.h"
29 #include "llvm/ADT/StringMap.h"
30 #include "llvm/ADT/StringRef.h"
31 #include "llvm/ADT/Triple.h"
32 #include "llvm/ADT/Twine.h"
33 #include "llvm/Config/config.h"
34 #include "llvm/Support/ConvertUTF.h"
35 #include "llvm/Support/Debug.h"
36 #include "llvm/Support/Error.h"
37 #include "llvm/Support/ErrorHandling.h"
38 #include "llvm/Support/FileSystem.h"
39 #include "llvm/Support/Host.h"
40 #include "llvm/Support/ManagedStatic.h"
41 #include "llvm/Support/MemoryBuffer.h"
42 #include "llvm/Support/Path.h"
43 #include "llvm/Support/Process.h"
44 #include "llvm/Support/StringSaver.h"
45 #include "llvm/Support/VirtualFileSystem.h"
46 #include "llvm/Support/raw_ostream.h"
53 #define DEBUG_TYPE "commandline"
55 //===----------------------------------------------------------------------===//
56 // Template instantiations and anchors.
60 template class basic_parser
<bool>;
61 template class basic_parser
<boolOrDefault
>;
62 template class basic_parser
<int>;
63 template class basic_parser
<long>;
64 template class basic_parser
<long long>;
65 template class basic_parser
<unsigned>;
66 template class basic_parser
<unsigned long>;
67 template class basic_parser
<unsigned long long>;
68 template class basic_parser
<double>;
69 template class basic_parser
<float>;
70 template class basic_parser
<std::string
>;
71 template class basic_parser
<char>;
73 template class opt
<unsigned>;
74 template class opt
<int>;
75 template class opt
<std::string
>;
76 template class opt
<char>;
77 template class opt
<bool>;
81 // Pin the vtables to this file.
82 void GenericOptionValue::anchor() {}
83 void OptionValue
<boolOrDefault
>::anchor() {}
84 void OptionValue
<std::string
>::anchor() {}
85 void Option::anchor() {}
86 void basic_parser_impl::anchor() {}
87 void parser
<bool>::anchor() {}
88 void parser
<boolOrDefault
>::anchor() {}
89 void parser
<int>::anchor() {}
90 void parser
<long>::anchor() {}
91 void parser
<long long>::anchor() {}
92 void parser
<unsigned>::anchor() {}
93 void parser
<unsigned long>::anchor() {}
94 void parser
<unsigned long long>::anchor() {}
95 void parser
<double>::anchor() {}
96 void parser
<float>::anchor() {}
97 void parser
<std::string
>::anchor() {}
98 void parser
<char>::anchor() {}
100 //===----------------------------------------------------------------------===//
102 const static size_t DefaultPad
= 2;
104 static StringRef ArgPrefix
= "-";
105 static StringRef ArgPrefixLong
= "--";
106 static StringRef ArgHelpPrefix
= " - ";
108 static size_t argPlusPrefixesSize(StringRef ArgName
, size_t Pad
= DefaultPad
) {
109 size_t Len
= ArgName
.size();
111 return Len
+ Pad
+ ArgPrefix
.size() + ArgHelpPrefix
.size();
112 return Len
+ Pad
+ ArgPrefixLong
.size() + ArgHelpPrefix
.size();
115 static SmallString
<8> argPrefix(StringRef ArgName
, size_t Pad
= DefaultPad
) {
116 SmallString
<8> Prefix
;
117 for (size_t I
= 0; I
< Pad
; ++I
) {
118 Prefix
.push_back(' ');
120 Prefix
.append(ArgName
.size() > 1 ? ArgPrefixLong
: ArgPrefix
);
124 // Option predicates...
125 static inline bool isGrouping(const Option
*O
) {
126 return O
->getMiscFlags() & cl::Grouping
;
128 static inline bool isPrefixedOrGrouping(const Option
*O
) {
129 return isGrouping(O
) || O
->getFormattingFlag() == cl::Prefix
||
130 O
->getFormattingFlag() == cl::AlwaysPrefix
;
140 PrintArg(StringRef ArgName
, size_t Pad
= DefaultPad
) : ArgName(ArgName
), Pad(Pad
) {}
141 friend raw_ostream
&operator<<(raw_ostream
&OS
, const PrintArg
&);
144 raw_ostream
&operator<<(raw_ostream
&OS
, const PrintArg
& Arg
) {
145 OS
<< argPrefix(Arg
.ArgName
, Arg
.Pad
) << Arg
.ArgName
;
149 class CommandLineParser
{
151 // Globals for name and overview of program. Program name is not a string to
152 // avoid static ctor/dtor issues.
153 std::string ProgramName
;
154 StringRef ProgramOverview
;
156 // This collects additional help to be printed.
157 std::vector
<StringRef
> MoreHelp
;
159 // This collects Options added with the cl::DefaultOption flag. Since they can
160 // be overridden, they are not added to the appropriate SubCommands until
161 // ParseCommandLineOptions actually runs.
162 SmallVector
<Option
*, 4> DefaultOptions
;
164 // This collects the different option categories that have been registered.
165 SmallPtrSet
<OptionCategory
*, 16> RegisteredOptionCategories
;
167 // This collects the different subcommands that have been registered.
168 SmallPtrSet
<SubCommand
*, 4> RegisteredSubCommands
;
170 CommandLineParser() : ActiveSubCommand(nullptr) {
171 registerSubCommand(&*TopLevelSubCommand
);
172 registerSubCommand(&*AllSubCommands
);
175 void ResetAllOptionOccurrences();
177 bool ParseCommandLineOptions(int argc
, const char *const *argv
,
178 StringRef Overview
, raw_ostream
*Errs
= nullptr,
179 bool LongOptionsUseDoubleDash
= false);
181 void addLiteralOption(Option
&Opt
, SubCommand
*SC
, StringRef Name
) {
184 if (!SC
->OptionsMap
.insert(std::make_pair(Name
, &Opt
)).second
) {
185 errs() << ProgramName
<< ": CommandLine Error: Option '" << Name
186 << "' registered more than once!\n";
187 report_fatal_error("inconsistency in registered CommandLine options");
190 // If we're adding this to all sub-commands, add it to the ones that have
191 // already been registered.
192 if (SC
== &*AllSubCommands
) {
193 for (auto *Sub
: RegisteredSubCommands
) {
196 addLiteralOption(Opt
, Sub
, Name
);
201 void addLiteralOption(Option
&Opt
, StringRef Name
) {
202 if (Opt
.Subs
.empty())
203 addLiteralOption(Opt
, &*TopLevelSubCommand
, Name
);
205 for (auto *SC
: Opt
.Subs
)
206 addLiteralOption(Opt
, SC
, Name
);
210 void addOption(Option
*O
, SubCommand
*SC
) {
211 bool HadErrors
= false;
212 if (O
->hasArgStr()) {
213 // If it's a DefaultOption, check to make sure it isn't already there.
214 if (O
->isDefaultOption() &&
215 SC
->OptionsMap
.find(O
->ArgStr
) != SC
->OptionsMap
.end())
218 // Add argument to the argument map!
219 if (!SC
->OptionsMap
.insert(std::make_pair(O
->ArgStr
, O
)).second
) {
220 errs() << ProgramName
<< ": CommandLine Error: Option '" << O
->ArgStr
221 << "' registered more than once!\n";
226 // Remember information about positional options.
227 if (O
->getFormattingFlag() == cl::Positional
)
228 SC
->PositionalOpts
.push_back(O
);
229 else if (O
->getMiscFlags() & cl::Sink
) // Remember sink options
230 SC
->SinkOpts
.push_back(O
);
231 else if (O
->getNumOccurrencesFlag() == cl::ConsumeAfter
) {
232 if (SC
->ConsumeAfterOpt
) {
233 O
->error("Cannot specify more than one option with cl::ConsumeAfter!");
236 SC
->ConsumeAfterOpt
= O
;
239 // Fail hard if there were errors. These are strictly unrecoverable and
240 // indicate serious issues such as conflicting option names or an
242 // linked LLVM distribution.
244 report_fatal_error("inconsistency in registered CommandLine options");
246 // If we're adding this to all sub-commands, add it to the ones that have
247 // already been registered.
248 if (SC
== &*AllSubCommands
) {
249 for (auto *Sub
: RegisteredSubCommands
) {
257 void addOption(Option
*O
, bool ProcessDefaultOption
= false) {
258 if (!ProcessDefaultOption
&& O
->isDefaultOption()) {
259 DefaultOptions
.push_back(O
);
263 if (O
->Subs
.empty()) {
264 addOption(O
, &*TopLevelSubCommand
);
266 for (auto *SC
: O
->Subs
)
271 void removeOption(Option
*O
, SubCommand
*SC
) {
272 SmallVector
<StringRef
, 16> OptionNames
;
273 O
->getExtraOptionNames(OptionNames
);
275 OptionNames
.push_back(O
->ArgStr
);
277 SubCommand
&Sub
= *SC
;
278 auto End
= Sub
.OptionsMap
.end();
279 for (auto Name
: OptionNames
) {
280 auto I
= Sub
.OptionsMap
.find(Name
);
281 if (I
!= End
&& I
->getValue() == O
)
282 Sub
.OptionsMap
.erase(I
);
285 if (O
->getFormattingFlag() == cl::Positional
)
286 for (auto *Opt
= Sub
.PositionalOpts
.begin();
287 Opt
!= Sub
.PositionalOpts
.end(); ++Opt
) {
289 Sub
.PositionalOpts
.erase(Opt
);
293 else if (O
->getMiscFlags() & cl::Sink
)
294 for (auto *Opt
= Sub
.SinkOpts
.begin(); Opt
!= Sub
.SinkOpts
.end(); ++Opt
) {
296 Sub
.SinkOpts
.erase(Opt
);
300 else if (O
== Sub
.ConsumeAfterOpt
)
301 Sub
.ConsumeAfterOpt
= nullptr;
304 void removeOption(Option
*O
) {
306 removeOption(O
, &*TopLevelSubCommand
);
308 if (O
->isInAllSubCommands()) {
309 for (auto *SC
: RegisteredSubCommands
)
312 for (auto *SC
: O
->Subs
)
318 bool hasOptions(const SubCommand
&Sub
) const {
319 return (!Sub
.OptionsMap
.empty() || !Sub
.PositionalOpts
.empty() ||
320 nullptr != Sub
.ConsumeAfterOpt
);
323 bool hasOptions() const {
324 for (const auto *S
: RegisteredSubCommands
) {
331 SubCommand
*getActiveSubCommand() { return ActiveSubCommand
; }
333 void updateArgStr(Option
*O
, StringRef NewName
, SubCommand
*SC
) {
334 SubCommand
&Sub
= *SC
;
335 if (!Sub
.OptionsMap
.insert(std::make_pair(NewName
, O
)).second
) {
336 errs() << ProgramName
<< ": CommandLine Error: Option '" << O
->ArgStr
337 << "' registered more than once!\n";
338 report_fatal_error("inconsistency in registered CommandLine options");
340 Sub
.OptionsMap
.erase(O
->ArgStr
);
343 void updateArgStr(Option
*O
, StringRef NewName
) {
345 updateArgStr(O
, NewName
, &*TopLevelSubCommand
);
347 if (O
->isInAllSubCommands()) {
348 for (auto *SC
: RegisteredSubCommands
)
349 updateArgStr(O
, NewName
, SC
);
351 for (auto *SC
: O
->Subs
)
352 updateArgStr(O
, NewName
, SC
);
357 void printOptionValues();
359 void registerCategory(OptionCategory
*cat
) {
360 assert(count_if(RegisteredOptionCategories
,
361 [cat
](const OptionCategory
*Category
) {
362 return cat
->getName() == Category
->getName();
364 "Duplicate option categories");
366 RegisteredOptionCategories
.insert(cat
);
369 void registerSubCommand(SubCommand
*sub
) {
370 assert(count_if(RegisteredSubCommands
,
371 [sub
](const SubCommand
*Sub
) {
372 return (!sub
->getName().empty()) &&
373 (Sub
->getName() == sub
->getName());
375 "Duplicate subcommands");
376 RegisteredSubCommands
.insert(sub
);
378 // For all options that have been registered for all subcommands, add the
379 // option to this subcommand now.
380 if (sub
!= &*AllSubCommands
) {
381 for (auto &E
: AllSubCommands
->OptionsMap
) {
382 Option
*O
= E
.second
;
383 if ((O
->isPositional() || O
->isSink() || O
->isConsumeAfter()) ||
387 addLiteralOption(*O
, sub
, E
.first());
392 void unregisterSubCommand(SubCommand
*sub
) {
393 RegisteredSubCommands
.erase(sub
);
396 iterator_range
<typename SmallPtrSet
<SubCommand
*, 4>::iterator
>
397 getRegisteredSubcommands() {
398 return make_range(RegisteredSubCommands
.begin(),
399 RegisteredSubCommands
.end());
403 ActiveSubCommand
= nullptr;
405 ProgramOverview
= StringRef();
408 RegisteredOptionCategories
.clear();
410 ResetAllOptionOccurrences();
411 RegisteredSubCommands
.clear();
413 TopLevelSubCommand
->reset();
414 AllSubCommands
->reset();
415 registerSubCommand(&*TopLevelSubCommand
);
416 registerSubCommand(&*AllSubCommands
);
418 DefaultOptions
.clear();
422 SubCommand
*ActiveSubCommand
;
424 Option
*LookupOption(SubCommand
&Sub
, StringRef
&Arg
, StringRef
&Value
);
425 Option
*LookupLongOption(SubCommand
&Sub
, StringRef
&Arg
, StringRef
&Value
,
426 bool LongOptionsUseDoubleDash
, bool HaveDoubleDash
) {
427 Option
*Opt
= LookupOption(Sub
, Arg
, Value
);
428 if (Opt
&& LongOptionsUseDoubleDash
&& !HaveDoubleDash
&& !isGrouping(Opt
))
432 SubCommand
*LookupSubCommand(StringRef Name
);
437 static ManagedStatic
<CommandLineParser
> GlobalParser
;
439 void cl::AddLiteralOption(Option
&O
, StringRef Name
) {
440 GlobalParser
->addLiteralOption(O
, Name
);
443 extrahelp::extrahelp(StringRef Help
) : morehelp(Help
) {
444 GlobalParser
->MoreHelp
.push_back(Help
);
447 void Option::addArgument() {
448 GlobalParser
->addOption(this);
449 FullyInitialized
= true;
452 void Option::removeArgument() { GlobalParser
->removeOption(this); }
454 void Option::setArgStr(StringRef S
) {
455 if (FullyInitialized
)
456 GlobalParser
->updateArgStr(this, S
);
457 assert((S
.empty() || S
[0] != '-') && "Option can't start with '-");
459 if (ArgStr
.size() == 1)
460 setMiscFlag(Grouping
);
463 void Option::addCategory(OptionCategory
&C
) {
464 assert(!Categories
.empty() && "Categories cannot be empty.");
465 // Maintain backward compatibility by replacing the default GeneralCategory
466 // if it's still set. Otherwise, just add the new one. The GeneralCategory
467 // must be explicitly added if you want multiple categories that include it.
468 if (&C
!= &getGeneralCategory() && Categories
[0] == &getGeneralCategory())
470 else if (!is_contained(Categories
, &C
))
471 Categories
.push_back(&C
);
474 void Option::reset() {
477 if (isDefaultOption())
481 void OptionCategory::registerCategory() {
482 GlobalParser
->registerCategory(this);
485 // A special subcommand representing no subcommand. It is particularly important
486 // that this ManagedStatic uses constant initailization and not dynamic
487 // initialization because it is referenced from cl::opt constructors, which run
488 // dynamically in an arbitrary order.
489 LLVM_REQUIRE_CONSTANT_INITIALIZATION
490 ManagedStatic
<SubCommand
> llvm::cl::TopLevelSubCommand
;
492 // A special subcommand that can be used to put an option into all subcommands.
493 ManagedStatic
<SubCommand
> llvm::cl::AllSubCommands
;
495 void SubCommand::registerSubCommand() {
496 GlobalParser
->registerSubCommand(this);
499 void SubCommand::unregisterSubCommand() {
500 GlobalParser
->unregisterSubCommand(this);
503 void SubCommand::reset() {
504 PositionalOpts
.clear();
508 ConsumeAfterOpt
= nullptr;
511 SubCommand::operator bool() const {
512 return (GlobalParser
->getActiveSubCommand() == this);
515 //===----------------------------------------------------------------------===//
516 // Basic, shared command line option processing machinery.
519 /// LookupOption - Lookup the option specified by the specified option on the
520 /// command line. If there is a value specified (after an equal sign) return
521 /// that as well. This assumes that leading dashes have already been stripped.
522 Option
*CommandLineParser::LookupOption(SubCommand
&Sub
, StringRef
&Arg
,
524 // Reject all dashes.
527 assert(&Sub
!= &*AllSubCommands
);
529 size_t EqualPos
= Arg
.find('=');
531 // If we have an equals sign, remember the value.
532 if (EqualPos
== StringRef::npos
) {
533 // Look up the option.
534 return Sub
.OptionsMap
.lookup(Arg
);
537 // If the argument before the = is a valid option name and the option allows
538 // non-prefix form (ie is not AlwaysPrefix), we match. If not, signal match
539 // failure by returning nullptr.
540 auto I
= Sub
.OptionsMap
.find(Arg
.substr(0, EqualPos
));
541 if (I
== Sub
.OptionsMap
.end())
545 if (O
->getFormattingFlag() == cl::AlwaysPrefix
)
548 Value
= Arg
.substr(EqualPos
+ 1);
549 Arg
= Arg
.substr(0, EqualPos
);
553 SubCommand
*CommandLineParser::LookupSubCommand(StringRef Name
) {
555 return &*TopLevelSubCommand
;
556 for (auto *S
: RegisteredSubCommands
) {
557 if (S
== &*AllSubCommands
)
559 if (S
->getName().empty())
562 if (StringRef(S
->getName()) == StringRef(Name
))
565 return &*TopLevelSubCommand
;
568 /// LookupNearestOption - Lookup the closest match to the option specified by
569 /// the specified option on the command line. If there is a value specified
570 /// (after an equal sign) return that as well. This assumes that leading dashes
571 /// have already been stripped.
572 static Option
*LookupNearestOption(StringRef Arg
,
573 const StringMap
<Option
*> &OptionsMap
,
574 std::string
&NearestString
) {
575 // Reject all dashes.
579 // Split on any equal sign.
580 std::pair
<StringRef
, StringRef
> SplitArg
= Arg
.split('=');
581 StringRef
&LHS
= SplitArg
.first
; // LHS == Arg when no '=' is present.
582 StringRef
&RHS
= SplitArg
.second
;
584 // Find the closest match.
585 Option
*Best
= nullptr;
586 unsigned BestDistance
= 0;
587 for (StringMap
<Option
*>::const_iterator it
= OptionsMap
.begin(),
588 ie
= OptionsMap
.end();
590 Option
*O
= it
->second
;
591 // Do not suggest really hidden options (not shown in any help).
592 if (O
->getOptionHiddenFlag() == ReallyHidden
)
595 SmallVector
<StringRef
, 16> OptionNames
;
596 O
->getExtraOptionNames(OptionNames
);
598 OptionNames
.push_back(O
->ArgStr
);
600 bool PermitValue
= O
->getValueExpectedFlag() != cl::ValueDisallowed
;
601 StringRef Flag
= PermitValue
? LHS
: Arg
;
602 for (const auto &Name
: OptionNames
) {
603 unsigned Distance
= StringRef(Name
).edit_distance(
604 Flag
, /*AllowReplacements=*/true, /*MaxEditDistance=*/BestDistance
);
605 if (!Best
|| Distance
< BestDistance
) {
607 BestDistance
= Distance
;
608 if (RHS
.empty() || !PermitValue
)
609 NearestString
= std::string(Name
);
611 NearestString
= (Twine(Name
) + "=" + RHS
).str();
619 /// CommaSeparateAndAddOccurrence - A wrapper around Handler->addOccurrence()
620 /// that does special handling of cl::CommaSeparated options.
621 static bool CommaSeparateAndAddOccurrence(Option
*Handler
, unsigned pos
,
622 StringRef ArgName
, StringRef Value
,
623 bool MultiArg
= false) {
624 // Check to see if this option accepts a comma separated list of values. If
625 // it does, we have to split up the value into multiple values.
626 if (Handler
->getMiscFlags() & CommaSeparated
) {
627 StringRef
Val(Value
);
628 StringRef::size_type Pos
= Val
.find(',');
630 while (Pos
!= StringRef::npos
) {
631 // Process the portion before the comma.
632 if (Handler
->addOccurrence(pos
, ArgName
, Val
.substr(0, Pos
), MultiArg
))
634 // Erase the portion before the comma, AND the comma.
635 Val
= Val
.substr(Pos
+ 1);
636 // Check for another comma.
643 return Handler
->addOccurrence(pos
, ArgName
, Value
, MultiArg
);
646 /// ProvideOption - For Value, this differentiates between an empty value ("")
647 /// and a null value (StringRef()). The later is accepted for arguments that
648 /// don't allow a value (-foo) the former is rejected (-foo=).
649 static inline bool ProvideOption(Option
*Handler
, StringRef ArgName
,
650 StringRef Value
, int argc
,
651 const char *const *argv
, int &i
) {
652 // Is this a multi-argument option?
653 unsigned NumAdditionalVals
= Handler
->getNumAdditionalVals();
655 // Enforce value requirements
656 switch (Handler
->getValueExpectedFlag()) {
658 if (!Value
.data()) { // No value specified?
659 // If no other argument or the option only supports prefix form, we
660 // cannot look at the next argument.
661 if (i
+ 1 >= argc
|| Handler
->getFormattingFlag() == cl::AlwaysPrefix
)
662 return Handler
->error("requires a value!");
663 // Steal the next argument, like for '-o filename'
664 assert(argv
&& "null check");
665 Value
= StringRef(argv
[++i
]);
668 case ValueDisallowed
:
669 if (NumAdditionalVals
> 0)
670 return Handler
->error("multi-valued option specified"
671 " with ValueDisallowed modifier!");
674 return Handler
->error("does not allow a value! '" + Twine(Value
) +
681 // If this isn't a multi-arg option, just run the handler.
682 if (NumAdditionalVals
== 0)
683 return CommaSeparateAndAddOccurrence(Handler
, i
, ArgName
, Value
);
685 // If it is, run the handle several times.
686 bool MultiArg
= false;
689 if (CommaSeparateAndAddOccurrence(Handler
, i
, ArgName
, Value
, MultiArg
))
695 while (NumAdditionalVals
> 0) {
697 return Handler
->error("not enough values!");
698 assert(argv
&& "null check");
699 Value
= StringRef(argv
[++i
]);
701 if (CommaSeparateAndAddOccurrence(Handler
, i
, ArgName
, Value
, MultiArg
))
709 bool llvm::cl::ProvidePositionalOption(Option
*Handler
, StringRef Arg
, int i
) {
711 return ProvideOption(Handler
, Handler
->ArgStr
, Arg
, 0, nullptr, Dummy
);
714 // getOptionPred - Check to see if there are any options that satisfy the
715 // specified predicate with names that are the prefixes in Name. This is
716 // checked by progressively stripping characters off of the name, checking to
717 // see if there options that satisfy the predicate. If we find one, return it,
718 // otherwise return null.
720 static Option
*getOptionPred(StringRef Name
, size_t &Length
,
721 bool (*Pred
)(const Option
*),
722 const StringMap
<Option
*> &OptionsMap
) {
723 StringMap
<Option
*>::const_iterator OMI
= OptionsMap
.find(Name
);
724 if (OMI
!= OptionsMap
.end() && !Pred(OMI
->getValue()))
725 OMI
= OptionsMap
.end();
727 // Loop while we haven't found an option and Name still has at least two
728 // characters in it (so that the next iteration will not be the empty
730 while (OMI
== OptionsMap
.end() && Name
.size() > 1) {
731 Name
= Name
.substr(0, Name
.size() - 1); // Chop off the last character.
732 OMI
= OptionsMap
.find(Name
);
733 if (OMI
!= OptionsMap
.end() && !Pred(OMI
->getValue()))
734 OMI
= OptionsMap
.end();
737 if (OMI
!= OptionsMap
.end() && Pred(OMI
->second
)) {
738 Length
= Name
.size();
739 return OMI
->second
; // Found one!
741 return nullptr; // No option found!
744 /// HandlePrefixedOrGroupedOption - The specified argument string (which started
745 /// with at least one '-') does not fully match an available option. Check to
746 /// see if this is a prefix or grouped option. If so, split arg into output an
747 /// Arg/Value pair and return the Option to parse it with.
749 HandlePrefixedOrGroupedOption(StringRef
&Arg
, StringRef
&Value
,
751 const StringMap
<Option
*> &OptionsMap
) {
757 Option
*PGOpt
= getOptionPred(Arg
, Length
, isPrefixedOrGrouping
, OptionsMap
);
762 StringRef MaybeValue
=
763 (Length
< Arg
.size()) ? Arg
.substr(Length
) : StringRef();
764 Arg
= Arg
.substr(0, Length
);
765 assert(OptionsMap
.count(Arg
) && OptionsMap
.find(Arg
)->second
== PGOpt
);
767 // cl::Prefix options do not preserve '=' when used separately.
768 // The behavior for them with grouped options should be the same.
769 if (MaybeValue
.empty() || PGOpt
->getFormattingFlag() == cl::AlwaysPrefix
||
770 (PGOpt
->getFormattingFlag() == cl::Prefix
&& MaybeValue
[0] != '=')) {
775 if (MaybeValue
[0] == '=') {
776 Value
= MaybeValue
.substr(1);
780 // This must be a grouped option.
781 assert(isGrouping(PGOpt
) && "Broken getOptionPred!");
783 // Grouping options inside a group can't have values.
784 if (PGOpt
->getValueExpectedFlag() == cl::ValueRequired
) {
785 ErrorParsing
|= PGOpt
->error("may not occur within a group!");
789 // Because the value for the option is not required, we don't need to pass
792 ErrorParsing
|= ProvideOption(PGOpt
, Arg
, StringRef(), 0, nullptr, Dummy
);
794 // Get the next grouping option.
796 PGOpt
= getOptionPred(Arg
, Length
, isGrouping
, OptionsMap
);
799 // We could not find a grouping option in the remainder of Arg.
803 static bool RequiresValue(const Option
*O
) {
804 return O
->getNumOccurrencesFlag() == cl::Required
||
805 O
->getNumOccurrencesFlag() == cl::OneOrMore
;
808 static bool EatsUnboundedNumberOfValues(const Option
*O
) {
809 return O
->getNumOccurrencesFlag() == cl::ZeroOrMore
||
810 O
->getNumOccurrencesFlag() == cl::OneOrMore
;
813 static bool isWhitespace(char C
) {
814 return C
== ' ' || C
== '\t' || C
== '\r' || C
== '\n';
817 static bool isWhitespaceOrNull(char C
) {
818 return isWhitespace(C
) || C
== '\0';
821 static bool isQuote(char C
) { return C
== '\"' || C
== '\''; }
823 void cl::TokenizeGNUCommandLine(StringRef Src
, StringSaver
&Saver
,
824 SmallVectorImpl
<const char *> &NewArgv
,
826 SmallString
<128> Token
;
827 for (size_t I
= 0, E
= Src
.size(); I
!= E
; ++I
) {
828 // Consume runs of whitespace.
830 while (I
!= E
&& isWhitespace(Src
[I
])) {
831 // Mark the end of lines in response files.
832 if (MarkEOLs
&& Src
[I
] == '\n')
833 NewArgv
.push_back(nullptr);
842 // Backslash escapes the next character.
843 if (I
+ 1 < E
&& C
== '\\') {
844 ++I
; // Skip the escape.
845 Token
.push_back(Src
[I
]);
849 // Consume a quoted string.
852 while (I
!= E
&& Src
[I
] != C
) {
853 // Backslash escapes the next character.
854 if (Src
[I
] == '\\' && I
+ 1 != E
)
856 Token
.push_back(Src
[I
]);
864 // End the token if this is whitespace.
865 if (isWhitespace(C
)) {
867 NewArgv
.push_back(Saver
.save(Token
.str()).data());
868 // Mark the end of lines in response files.
869 if (MarkEOLs
&& C
== '\n')
870 NewArgv
.push_back(nullptr);
875 // This is a normal character. Append it.
879 // Append the last token after hitting EOF with no whitespace.
881 NewArgv
.push_back(Saver
.save(Token
.str()).data());
884 /// Backslashes are interpreted in a rather complicated way in the Windows-style
885 /// command line, because backslashes are used both to separate path and to
886 /// escape double quote. This method consumes runs of backslashes as well as the
887 /// following double quote if it's escaped.
889 /// * If an even number of backslashes is followed by a double quote, one
890 /// backslash is output for every pair of backslashes, and the last double
891 /// quote remains unconsumed. The double quote will later be interpreted as
892 /// the start or end of a quoted string in the main loop outside of this
895 /// * If an odd number of backslashes is followed by a double quote, one
896 /// backslash is output for every pair of backslashes, and a double quote is
897 /// output for the last pair of backslash-double quote. The double quote is
898 /// consumed in this case.
900 /// * Otherwise, backslashes are interpreted literally.
901 static size_t parseBackslash(StringRef Src
, size_t I
, SmallString
<128> &Token
) {
902 size_t E
= Src
.size();
903 int BackslashCount
= 0;
904 // Skip the backslashes.
908 } while (I
!= E
&& Src
[I
] == '\\');
910 bool FollowedByDoubleQuote
= (I
!= E
&& Src
[I
] == '"');
911 if (FollowedByDoubleQuote
) {
912 Token
.append(BackslashCount
/ 2, '\\');
913 if (BackslashCount
% 2 == 0)
915 Token
.push_back('"');
918 Token
.append(BackslashCount
, '\\');
922 // Windows treats whitespace, double quotes, and backslashes specially.
923 static bool isWindowsSpecialChar(char C
) {
924 return isWhitespaceOrNull(C
) || C
== '\\' || C
== '\"';
927 // Windows tokenization implementation. The implementation is designed to be
928 // inlined and specialized for the two user entry points.
930 tokenizeWindowsCommandLineImpl(StringRef Src
, StringSaver
&Saver
,
931 function_ref
<void(StringRef
)> AddToken
,
932 bool AlwaysCopy
, function_ref
<void()> MarkEOL
) {
933 SmallString
<128> Token
;
935 // Try to do as much work inside the state machine as possible.
936 enum { INIT
, UNQUOTED
, QUOTED
} State
= INIT
;
937 for (size_t I
= 0, E
= Src
.size(); I
< E
; ++I
) {
940 assert(Token
.empty() && "token should be empty in initial state");
941 // Eat whitespace before a token.
942 while (I
< E
&& isWhitespaceOrNull(Src
[I
])) {
947 // Stop if this was trailing whitespace.
951 while (I
< E
&& !isWindowsSpecialChar(Src
[I
]))
953 StringRef NormalChars
= Src
.slice(Start
, I
);
954 if (I
>= E
|| isWhitespaceOrNull(Src
[I
])) {
955 // No special characters: slice out the substring and start the next
956 // token. Copy the string if the caller asks us to.
957 AddToken(AlwaysCopy
? Saver
.save(NormalChars
) : NormalChars
);
958 if (I
< E
&& Src
[I
] == '\n')
960 } else if (Src
[I
] == '\"') {
961 Token
+= NormalChars
;
963 } else if (Src
[I
] == '\\') {
964 Token
+= NormalChars
;
965 I
= parseBackslash(Src
, I
, Token
);
968 llvm_unreachable("unexpected special character");
974 if (isWhitespaceOrNull(Src
[I
])) {
975 // Whitespace means the end of the token. If we are in this state, the
976 // token must have contained a special character, so we must copy the
978 AddToken(Saver
.save(Token
.str()));
983 } else if (Src
[I
] == '\"') {
985 } else if (Src
[I
] == '\\') {
986 I
= parseBackslash(Src
, I
, Token
);
988 Token
.push_back(Src
[I
]);
993 if (Src
[I
] == '\"') {
994 if (I
< (E
- 1) && Src
[I
+ 1] == '"') {
995 // Consecutive double-quotes inside a quoted string implies one
997 Token
.push_back('"');
1000 // Otherwise, end the quoted portion and return to the unquoted state.
1003 } else if (Src
[I
] == '\\') {
1004 I
= parseBackslash(Src
, I
, Token
);
1006 Token
.push_back(Src
[I
]);
1012 if (State
== UNQUOTED
)
1013 AddToken(Saver
.save(Token
.str()));
1016 void cl::TokenizeWindowsCommandLine(StringRef Src
, StringSaver
&Saver
,
1017 SmallVectorImpl
<const char *> &NewArgv
,
1019 auto AddToken
= [&](StringRef Tok
) { NewArgv
.push_back(Tok
.data()); };
1020 auto OnEOL
= [&]() {
1022 NewArgv
.push_back(nullptr);
1024 tokenizeWindowsCommandLineImpl(Src
, Saver
, AddToken
,
1025 /*AlwaysCopy=*/true, OnEOL
);
1028 void cl::TokenizeWindowsCommandLineNoCopy(StringRef Src
, StringSaver
&Saver
,
1029 SmallVectorImpl
<StringRef
> &NewArgv
) {
1030 auto AddToken
= [&](StringRef Tok
) { NewArgv
.push_back(Tok
); };
1031 auto OnEOL
= []() {};
1032 tokenizeWindowsCommandLineImpl(Src
, Saver
, AddToken
, /*AlwaysCopy=*/false,
1036 void cl::tokenizeConfigFile(StringRef Source
, StringSaver
&Saver
,
1037 SmallVectorImpl
<const char *> &NewArgv
,
1039 for (const char *Cur
= Source
.begin(); Cur
!= Source
.end();) {
1040 SmallString
<128> Line
;
1041 // Check for comment line.
1042 if (isWhitespace(*Cur
)) {
1043 while (Cur
!= Source
.end() && isWhitespace(*Cur
))
1048 while (Cur
!= Source
.end() && *Cur
!= '\n')
1052 // Find end of the current line.
1053 const char *Start
= Cur
;
1054 for (const char *End
= Source
.end(); Cur
!= End
; ++Cur
) {
1056 if (Cur
+ 1 != End
) {
1059 (*Cur
== '\r' && (Cur
+ 1 != End
) && Cur
[1] == '\n')) {
1060 Line
.append(Start
, Cur
- 1);
1066 } else if (*Cur
== '\n')
1070 Line
.append(Start
, Cur
);
1071 cl::TokenizeGNUCommandLine(Line
, Saver
, NewArgv
, MarkEOLs
);
1075 // It is called byte order marker but the UTF-8 BOM is actually not affected
1076 // by the host system's endianness.
1077 static bool hasUTF8ByteOrderMark(ArrayRef
<char> S
) {
1078 return (S
.size() >= 3 && S
[0] == '\xef' && S
[1] == '\xbb' && S
[2] == '\xbf');
1081 // FName must be an absolute path.
1082 static llvm::Error
ExpandResponseFile(
1083 StringRef FName
, StringSaver
&Saver
, TokenizerCallback Tokenizer
,
1084 SmallVectorImpl
<const char *> &NewArgv
, bool MarkEOLs
, bool RelativeNames
,
1085 llvm::vfs::FileSystem
&FS
) {
1086 assert(sys::path::is_absolute(FName
));
1087 llvm::ErrorOr
<std::unique_ptr
<MemoryBuffer
>> MemBufOrErr
=
1088 FS
.getBufferForFile(FName
);
1090 return llvm::errorCodeToError(MemBufOrErr
.getError());
1091 MemoryBuffer
&MemBuf
= *MemBufOrErr
.get();
1092 StringRef
Str(MemBuf
.getBufferStart(), MemBuf
.getBufferSize());
1094 // If we have a UTF-16 byte order mark, convert to UTF-8 for parsing.
1095 ArrayRef
<char> BufRef(MemBuf
.getBufferStart(), MemBuf
.getBufferEnd());
1096 std::string UTF8Buf
;
1097 if (hasUTF16ByteOrderMark(BufRef
)) {
1098 if (!convertUTF16ToUTF8String(BufRef
, UTF8Buf
))
1099 return llvm::createStringError(std::errc::illegal_byte_sequence
,
1100 "Could not convert UTF16 to UTF8");
1101 Str
= StringRef(UTF8Buf
);
1103 // If we see UTF-8 BOM sequence at the beginning of a file, we shall remove
1104 // these bytes before parsing.
1105 // Reference: http://en.wikipedia.org/wiki/UTF-8#Byte_order_mark
1106 else if (hasUTF8ByteOrderMark(BufRef
))
1107 Str
= StringRef(BufRef
.data() + 3, BufRef
.size() - 3);
1109 // Tokenize the contents into NewArgv.
1110 Tokenizer(Str
, Saver
, NewArgv
, MarkEOLs
);
1113 return Error::success();
1114 llvm::StringRef BasePath
= llvm::sys::path::parent_path(FName
);
1115 // If names of nested response files should be resolved relative to including
1116 // file, replace the included response file names with their full paths
1117 // obtained by required resolution.
1118 for (auto &Arg
: NewArgv
) {
1119 // Skip non-rsp file arguments.
1120 if (!Arg
|| Arg
[0] != '@')
1123 StringRef
FileName(Arg
+ 1);
1124 // Skip if non-relative.
1125 if (!llvm::sys::path::is_relative(FileName
))
1128 SmallString
<128> ResponseFile
;
1129 ResponseFile
.push_back('@');
1130 ResponseFile
.append(BasePath
);
1131 llvm::sys::path::append(ResponseFile
, FileName
);
1132 Arg
= Saver
.save(ResponseFile
.c_str()).data();
1134 return Error::success();
1137 /// Expand response files on a command line recursively using the given
1138 /// StringSaver and tokenization strategy.
1139 bool cl::ExpandResponseFiles(StringSaver
&Saver
, TokenizerCallback Tokenizer
,
1140 SmallVectorImpl
<const char *> &Argv
, bool MarkEOLs
,
1142 llvm::Optional
<llvm::StringRef
> CurrentDir
,
1143 llvm::vfs::FileSystem
&FS
) {
1144 bool AllExpanded
= true;
1145 struct ResponseFileRecord
{
1150 // To detect recursive response files, we maintain a stack of files and the
1151 // position of the last argument in the file. This position is updated
1152 // dynamically as we recursively expand files.
1153 SmallVector
<ResponseFileRecord
, 3> FileStack
;
1155 // Push a dummy entry that represents the initial command line, removing
1156 // the need to check for an empty list.
1157 FileStack
.push_back({"", Argv
.size()});
1159 // Don't cache Argv.size() because it can change.
1160 for (unsigned I
= 0; I
!= Argv
.size();) {
1161 while (I
== FileStack
.back().End
) {
1162 // Passing the end of a file's argument list, so we can remove it from the
1164 FileStack
.pop_back();
1167 const char *Arg
= Argv
[I
];
1168 // Check if it is an EOL marker
1169 if (Arg
== nullptr) {
1174 if (Arg
[0] != '@') {
1179 const char *FName
= Arg
+ 1;
1180 // Note that CurrentDir is only used for top-level rsp files, the rest will
1181 // always have an absolute path deduced from the containing file.
1182 SmallString
<128> CurrDir
;
1183 if (llvm::sys::path::is_relative(FName
)) {
1185 llvm::sys::fs::current_path(CurrDir
);
1187 CurrDir
= *CurrentDir
;
1188 llvm::sys::path::append(CurrDir
, FName
);
1189 FName
= CurrDir
.c_str();
1191 auto IsEquivalent
= [FName
, &FS
](const ResponseFileRecord
&RFile
) {
1192 llvm::ErrorOr
<llvm::vfs::Status
> LHS
= FS
.status(FName
);
1194 // TODO: The error should be propagated up the stack.
1195 llvm::consumeError(llvm::errorCodeToError(LHS
.getError()));
1198 llvm::ErrorOr
<llvm::vfs::Status
> RHS
= FS
.status(RFile
.File
);
1200 // TODO: The error should be propagated up the stack.
1201 llvm::consumeError(llvm::errorCodeToError(RHS
.getError()));
1204 return LHS
->equivalent(*RHS
);
1207 // Check for recursive response files.
1208 if (any_of(drop_begin(FileStack
), IsEquivalent
)) {
1209 // This file is recursive, so we leave it in the argument stream and
1211 AllExpanded
= false;
1216 // Replace this response file argument with the tokenization of its
1217 // contents. Nested response files are expanded in subsequent iterations.
1218 SmallVector
<const char *, 0> ExpandedArgv
;
1219 if (llvm::Error Err
=
1220 ExpandResponseFile(FName
, Saver
, Tokenizer
, ExpandedArgv
, MarkEOLs
,
1221 RelativeNames
, FS
)) {
1222 // We couldn't read this file, so we leave it in the argument stream and
1224 // TODO: The error should be propagated up the stack.
1225 llvm::consumeError(std::move(Err
));
1226 AllExpanded
= false;
1231 for (ResponseFileRecord
&Record
: FileStack
) {
1232 // Increase the end of all active records by the number of newly expanded
1233 // arguments, minus the response file itself.
1234 Record
.End
+= ExpandedArgv
.size() - 1;
1237 FileStack
.push_back({FName
, I
+ ExpandedArgv
.size()});
1238 Argv
.erase(Argv
.begin() + I
);
1239 Argv
.insert(Argv
.begin() + I
, ExpandedArgv
.begin(), ExpandedArgv
.end());
1242 // If successful, the top of the file stack will mark the end of the Argv
1243 // stream. A failure here indicates a bug in the stack popping logic above.
1244 // Note that FileStack may have more than one element at this point because we
1245 // don't have a chance to pop the stack when encountering recursive files at
1246 // the end of the stream, so seeing that doesn't indicate a bug.
1247 assert(FileStack
.size() > 0 && Argv
.size() == FileStack
.back().End
);
1251 bool cl::ExpandResponseFiles(StringSaver
&Saver
, TokenizerCallback Tokenizer
,
1252 SmallVectorImpl
<const char *> &Argv
, bool MarkEOLs
,
1254 llvm::Optional
<StringRef
> CurrentDir
) {
1255 return ExpandResponseFiles(Saver
, std::move(Tokenizer
), Argv
, MarkEOLs
,
1256 RelativeNames
, std::move(CurrentDir
),
1257 *vfs::getRealFileSystem());
1260 bool cl::expandResponseFiles(int Argc
, const char *const *Argv
,
1261 const char *EnvVar
, StringSaver
&Saver
,
1262 SmallVectorImpl
<const char *> &NewArgv
) {
1263 auto Tokenize
= Triple(sys::getProcessTriple()).isOSWindows()
1264 ? cl::TokenizeWindowsCommandLine
1265 : cl::TokenizeGNUCommandLine
;
1266 // The environment variable specifies initial options.
1268 if (llvm::Optional
<std::string
> EnvValue
= sys::Process::GetEnv(EnvVar
))
1269 Tokenize(*EnvValue
, Saver
, NewArgv
, /*MarkEOLs=*/false);
1271 // Command line options can override the environment variable.
1272 NewArgv
.append(Argv
+ 1, Argv
+ Argc
);
1273 return ExpandResponseFiles(Saver
, Tokenize
, NewArgv
);
1276 bool cl::readConfigFile(StringRef CfgFile
, StringSaver
&Saver
,
1277 SmallVectorImpl
<const char *> &Argv
) {
1278 SmallString
<128> AbsPath
;
1279 if (sys::path::is_relative(CfgFile
)) {
1280 llvm::sys::fs::current_path(AbsPath
);
1281 llvm::sys::path::append(AbsPath
, CfgFile
);
1282 CfgFile
= AbsPath
.str();
1284 if (llvm::Error Err
=
1285 ExpandResponseFile(CfgFile
, Saver
, cl::tokenizeConfigFile
, Argv
,
1286 /*MarkEOLs=*/false, /*RelativeNames=*/true,
1287 *llvm::vfs::getRealFileSystem())) {
1288 // TODO: The error should be propagated up the stack.
1289 llvm::consumeError(std::move(Err
));
1292 return ExpandResponseFiles(Saver
, cl::tokenizeConfigFile
, Argv
,
1293 /*MarkEOLs=*/false, /*RelativeNames=*/true);
1296 static void initCommonOptions();
1297 bool cl::ParseCommandLineOptions(int argc
, const char *const *argv
,
1298 StringRef Overview
, raw_ostream
*Errs
,
1300 bool LongOptionsUseDoubleDash
) {
1301 initCommonOptions();
1302 SmallVector
<const char *, 20> NewArgv
;
1304 StringSaver
Saver(A
);
1305 NewArgv
.push_back(argv
[0]);
1307 // Parse options from environment variable.
1309 if (llvm::Optional
<std::string
> EnvValue
=
1310 sys::Process::GetEnv(StringRef(EnvVar
)))
1311 TokenizeGNUCommandLine(*EnvValue
, Saver
, NewArgv
);
1314 // Append options from command line.
1315 for (int I
= 1; I
< argc
; ++I
)
1316 NewArgv
.push_back(argv
[I
]);
1317 int NewArgc
= static_cast<int>(NewArgv
.size());
1319 // Parse all options.
1320 return GlobalParser
->ParseCommandLineOptions(NewArgc
, &NewArgv
[0], Overview
,
1321 Errs
, LongOptionsUseDoubleDash
);
1324 /// Reset all options at least once, so that we can parse different options.
1325 void CommandLineParser::ResetAllOptionOccurrences() {
1326 // Reset all option values to look like they have never been seen before.
1327 // Options might be reset twice (they can be reference in both OptionsMap
1328 // and one of the other members), but that does not harm.
1329 for (auto *SC
: RegisteredSubCommands
) {
1330 for (auto &O
: SC
->OptionsMap
)
1332 for (Option
*O
: SC
->PositionalOpts
)
1334 for (Option
*O
: SC
->SinkOpts
)
1336 if (SC
->ConsumeAfterOpt
)
1337 SC
->ConsumeAfterOpt
->reset();
1341 bool CommandLineParser::ParseCommandLineOptions(int argc
,
1342 const char *const *argv
,
1345 bool LongOptionsUseDoubleDash
) {
1346 assert(hasOptions() && "No options specified!");
1348 // Expand response files.
1349 SmallVector
<const char *, 20> newArgv(argv
, argv
+ argc
);
1351 StringSaver
Saver(A
);
1352 ExpandResponseFiles(Saver
,
1353 Triple(sys::getProcessTriple()).isOSWindows() ?
1354 cl::TokenizeWindowsCommandLine
: cl::TokenizeGNUCommandLine
,
1357 argc
= static_cast<int>(newArgv
.size());
1359 // Copy the program name into ProgName, making sure not to overflow it.
1360 ProgramName
= std::string(sys::path::filename(StringRef(argv
[0])));
1362 ProgramOverview
= Overview
;
1363 bool IgnoreErrors
= Errs
;
1366 bool ErrorParsing
= false;
1368 // Check out the positional arguments to collect information about them.
1369 unsigned NumPositionalRequired
= 0;
1371 // Determine whether or not there are an unlimited number of positionals
1372 bool HasUnlimitedPositionals
= false;
1375 SubCommand
*ChosenSubCommand
= &*TopLevelSubCommand
;
1376 if (argc
>= 2 && argv
[FirstArg
][0] != '-') {
1377 // If the first argument specifies a valid subcommand, start processing
1378 // options from the second argument.
1379 ChosenSubCommand
= LookupSubCommand(StringRef(argv
[FirstArg
]));
1380 if (ChosenSubCommand
!= &*TopLevelSubCommand
)
1383 GlobalParser
->ActiveSubCommand
= ChosenSubCommand
;
1385 assert(ChosenSubCommand
);
1386 auto &ConsumeAfterOpt
= ChosenSubCommand
->ConsumeAfterOpt
;
1387 auto &PositionalOpts
= ChosenSubCommand
->PositionalOpts
;
1388 auto &SinkOpts
= ChosenSubCommand
->SinkOpts
;
1389 auto &OptionsMap
= ChosenSubCommand
->OptionsMap
;
1391 for (auto *O
: DefaultOptions
) {
1395 if (ConsumeAfterOpt
) {
1396 assert(PositionalOpts
.size() > 0 &&
1397 "Cannot specify cl::ConsumeAfter without a positional argument!");
1399 if (!PositionalOpts
.empty()) {
1401 // Calculate how many positional values are _required_.
1402 bool UnboundedFound
= false;
1403 for (size_t i
= 0, e
= PositionalOpts
.size(); i
!= e
; ++i
) {
1404 Option
*Opt
= PositionalOpts
[i
];
1405 if (RequiresValue(Opt
))
1406 ++NumPositionalRequired
;
1407 else if (ConsumeAfterOpt
) {
1408 // ConsumeAfter cannot be combined with "optional" positional options
1409 // unless there is only one positional argument...
1410 if (PositionalOpts
.size() > 1) {
1412 Opt
->error("error - this positional option will never be matched, "
1413 "because it does not Require a value, and a "
1414 "cl::ConsumeAfter option is active!");
1415 ErrorParsing
= true;
1417 } else if (UnboundedFound
&& !Opt
->hasArgStr()) {
1418 // This option does not "require" a value... Make sure this option is
1419 // not specified after an option that eats all extra arguments, or this
1420 // one will never get any!
1423 Opt
->error("error - option can never match, because "
1424 "another positional argument will match an "
1425 "unbounded number of values, and this option"
1426 " does not require a value!");
1427 *Errs
<< ProgramName
<< ": CommandLine Error: Option '" << Opt
->ArgStr
1428 << "' is all messed up!\n";
1429 *Errs
<< PositionalOpts
.size();
1430 ErrorParsing
= true;
1432 UnboundedFound
|= EatsUnboundedNumberOfValues(Opt
);
1434 HasUnlimitedPositionals
= UnboundedFound
|| ConsumeAfterOpt
;
1437 // PositionalVals - A vector of "positional" arguments we accumulate into
1438 // the process at the end.
1440 SmallVector
<std::pair
<StringRef
, unsigned>, 4> PositionalVals
;
1442 // If the program has named positional arguments, and the name has been run
1443 // across, keep track of which positional argument was named. Otherwise put
1444 // the positional args into the PositionalVals list...
1445 Option
*ActivePositionalArg
= nullptr;
1447 // Loop over all of the arguments... processing them.
1448 bool DashDashFound
= false; // Have we read '--'?
1449 for (int i
= FirstArg
; i
< argc
; ++i
) {
1450 Option
*Handler
= nullptr;
1451 Option
*NearestHandler
= nullptr;
1452 std::string NearestHandlerString
;
1454 StringRef ArgName
= "";
1455 bool HaveDoubleDash
= false;
1457 // Check to see if this is a positional argument. This argument is
1458 // considered to be positional if it doesn't start with '-', if it is "-"
1459 // itself, or if we have seen "--" already.
1461 if (argv
[i
][0] != '-' || argv
[i
][1] == 0 || DashDashFound
) {
1462 // Positional argument!
1463 if (ActivePositionalArg
) {
1464 ProvidePositionalOption(ActivePositionalArg
, StringRef(argv
[i
]), i
);
1465 continue; // We are done!
1468 if (!PositionalOpts
.empty()) {
1469 PositionalVals
.push_back(std::make_pair(StringRef(argv
[i
]), i
));
1471 // All of the positional arguments have been fulfulled, give the rest to
1472 // the consume after option... if it's specified...
1474 if (PositionalVals
.size() >= NumPositionalRequired
&& ConsumeAfterOpt
) {
1475 for (++i
; i
< argc
; ++i
)
1476 PositionalVals
.push_back(std::make_pair(StringRef(argv
[i
]), i
));
1477 break; // Handle outside of the argument processing loop...
1480 // Delay processing positional arguments until the end...
1483 } else if (argv
[i
][0] == '-' && argv
[i
][1] == '-' && argv
[i
][2] == 0 &&
1485 DashDashFound
= true; // This is the mythical "--"?
1486 continue; // Don't try to process it as an argument itself.
1487 } else if (ActivePositionalArg
&&
1488 (ActivePositionalArg
->getMiscFlags() & PositionalEatsArgs
)) {
1489 // If there is a positional argument eating options, check to see if this
1490 // option is another positional argument. If so, treat it as an argument,
1491 // otherwise feed it to the eating positional.
1492 ArgName
= StringRef(argv
[i
] + 1);
1494 if (!ArgName
.empty() && ArgName
[0] == '-') {
1495 HaveDoubleDash
= true;
1496 ArgName
= ArgName
.substr(1);
1499 Handler
= LookupLongOption(*ChosenSubCommand
, ArgName
, Value
,
1500 LongOptionsUseDoubleDash
, HaveDoubleDash
);
1501 if (!Handler
|| Handler
->getFormattingFlag() != cl::Positional
) {
1502 ProvidePositionalOption(ActivePositionalArg
, StringRef(argv
[i
]), i
);
1503 continue; // We are done!
1505 } else { // We start with a '-', must be an argument.
1506 ArgName
= StringRef(argv
[i
] + 1);
1508 if (!ArgName
.empty() && ArgName
[0] == '-') {
1509 HaveDoubleDash
= true;
1510 ArgName
= ArgName
.substr(1);
1513 Handler
= LookupLongOption(*ChosenSubCommand
, ArgName
, Value
,
1514 LongOptionsUseDoubleDash
, HaveDoubleDash
);
1516 // Check to see if this "option" is really a prefixed or grouped argument.
1517 if (!Handler
&& !(LongOptionsUseDoubleDash
&& HaveDoubleDash
))
1518 Handler
= HandlePrefixedOrGroupedOption(ArgName
, Value
, ErrorParsing
,
1521 // Otherwise, look for the closest available option to report to the user
1522 // in the upcoming error.
1523 if (!Handler
&& SinkOpts
.empty())
1525 LookupNearestOption(ArgName
, OptionsMap
, NearestHandlerString
);
1529 if (SinkOpts
.empty()) {
1530 *Errs
<< ProgramName
<< ": Unknown command line argument '" << argv
[i
]
1531 << "'. Try: '" << argv
[0] << " --help'\n";
1533 if (NearestHandler
) {
1534 // If we know a near match, report it as well.
1535 *Errs
<< ProgramName
<< ": Did you mean '"
1536 << PrintArg(NearestHandlerString
, 0) << "'?\n";
1539 ErrorParsing
= true;
1541 for (SmallVectorImpl
<Option
*>::iterator I
= SinkOpts
.begin(),
1544 (*I
)->addOccurrence(i
, "", StringRef(argv
[i
]));
1549 // If this is a named positional argument, just remember that it is the
1551 if (Handler
->getFormattingFlag() == cl::Positional
) {
1552 if ((Handler
->getMiscFlags() & PositionalEatsArgs
) && !Value
.empty()) {
1553 Handler
->error("This argument does not take a value.\n"
1554 "\tInstead, it consumes any positional arguments until "
1555 "the next recognized option.", *Errs
);
1556 ErrorParsing
= true;
1558 ActivePositionalArg
= Handler
;
1561 ErrorParsing
|= ProvideOption(Handler
, ArgName
, Value
, argc
, argv
, i
);
1564 // Check and handle positional arguments now...
1565 if (NumPositionalRequired
> PositionalVals
.size()) {
1566 *Errs
<< ProgramName
1567 << ": Not enough positional command line arguments specified!\n"
1568 << "Must specify at least " << NumPositionalRequired
1569 << " positional argument" << (NumPositionalRequired
> 1 ? "s" : "")
1570 << ": See: " << argv
[0] << " --help\n";
1572 ErrorParsing
= true;
1573 } else if (!HasUnlimitedPositionals
&&
1574 PositionalVals
.size() > PositionalOpts
.size()) {
1575 *Errs
<< ProgramName
<< ": Too many positional arguments specified!\n"
1576 << "Can specify at most " << PositionalOpts
.size()
1577 << " positional arguments: See: " << argv
[0] << " --help\n";
1578 ErrorParsing
= true;
1580 } else if (!ConsumeAfterOpt
) {
1581 // Positional args have already been handled if ConsumeAfter is specified.
1582 unsigned ValNo
= 0, NumVals
= static_cast<unsigned>(PositionalVals
.size());
1583 for (size_t i
= 0, e
= PositionalOpts
.size(); i
!= e
; ++i
) {
1584 if (RequiresValue(PositionalOpts
[i
])) {
1585 ProvidePositionalOption(PositionalOpts
[i
], PositionalVals
[ValNo
].first
,
1586 PositionalVals
[ValNo
].second
);
1588 --NumPositionalRequired
; // We fulfilled our duty...
1591 // If we _can_ give this option more arguments, do so now, as long as we
1592 // do not give it values that others need. 'Done' controls whether the
1593 // option even _WANTS_ any more.
1595 bool Done
= PositionalOpts
[i
]->getNumOccurrencesFlag() == cl::Required
;
1596 while (NumVals
- ValNo
> NumPositionalRequired
&& !Done
) {
1597 switch (PositionalOpts
[i
]->getNumOccurrencesFlag()) {
1599 Done
= true; // Optional arguments want _at most_ one value
1601 case cl::ZeroOrMore
: // Zero or more will take all they can get...
1602 case cl::OneOrMore
: // One or more will take all they can get...
1603 ProvidePositionalOption(PositionalOpts
[i
],
1604 PositionalVals
[ValNo
].first
,
1605 PositionalVals
[ValNo
].second
);
1609 llvm_unreachable("Internal error, unexpected NumOccurrences flag in "
1610 "positional argument processing!");
1615 assert(ConsumeAfterOpt
&& NumPositionalRequired
<= PositionalVals
.size());
1617 for (size_t J
= 0, E
= PositionalOpts
.size(); J
!= E
; ++J
)
1618 if (RequiresValue(PositionalOpts
[J
])) {
1619 ErrorParsing
|= ProvidePositionalOption(PositionalOpts
[J
],
1620 PositionalVals
[ValNo
].first
,
1621 PositionalVals
[ValNo
].second
);
1625 // Handle the case where there is just one positional option, and it's
1626 // optional. In this case, we want to give JUST THE FIRST option to the
1627 // positional option and keep the rest for the consume after. The above
1628 // loop would have assigned no values to positional options in this case.
1630 if (PositionalOpts
.size() == 1 && ValNo
== 0 && !PositionalVals
.empty()) {
1631 ErrorParsing
|= ProvidePositionalOption(PositionalOpts
[0],
1632 PositionalVals
[ValNo
].first
,
1633 PositionalVals
[ValNo
].second
);
1637 // Handle over all of the rest of the arguments to the
1638 // cl::ConsumeAfter command line option...
1639 for (; ValNo
!= PositionalVals
.size(); ++ValNo
)
1641 ProvidePositionalOption(ConsumeAfterOpt
, PositionalVals
[ValNo
].first
,
1642 PositionalVals
[ValNo
].second
);
1645 // Loop over args and make sure all required args are specified!
1646 for (const auto &Opt
: OptionsMap
) {
1647 switch (Opt
.second
->getNumOccurrencesFlag()) {
1650 if (Opt
.second
->getNumOccurrences() == 0) {
1651 Opt
.second
->error("must be specified at least once!");
1652 ErrorParsing
= true;
1660 // Now that we know if -debug is specified, we can use it.
1661 // Note that if ReadResponseFiles == true, this must be done before the
1662 // memory allocated for the expanded command line is free()d below.
1663 LLVM_DEBUG(dbgs() << "Args: ";
1664 for (int i
= 0; i
< argc
; ++i
) dbgs() << argv
[i
] << ' ';
1667 // Free all of the memory allocated to the map. Command line options may only
1668 // be processed once!
1671 // If we had an error processing our arguments, don't let the program execute
1680 //===----------------------------------------------------------------------===//
1681 // Option Base class implementation
1684 bool Option::error(const Twine
&Message
, StringRef ArgName
, raw_ostream
&Errs
) {
1685 if (!ArgName
.data())
1687 if (ArgName
.empty())
1688 Errs
<< HelpStr
; // Be nice for positional arguments
1690 Errs
<< GlobalParser
->ProgramName
<< ": for the " << PrintArg(ArgName
, 0);
1692 Errs
<< " option: " << Message
<< "\n";
1696 bool Option::addOccurrence(unsigned pos
, StringRef ArgName
, StringRef Value
,
1699 NumOccurrences
++; // Increment the number of times we have been seen
1701 switch (getNumOccurrencesFlag()) {
1703 if (NumOccurrences
> 1)
1704 return error("may only occur zero or one times!", ArgName
);
1707 if (NumOccurrences
> 1)
1708 return error("must occur exactly one time!", ArgName
);
1716 return handleOccurrence(pos
, ArgName
, Value
);
1719 // getValueStr - Get the value description string, using "DefaultMsg" if nothing
1720 // has been specified yet.
1722 static StringRef
getValueStr(const Option
&O
, StringRef DefaultMsg
) {
1723 if (O
.ValueStr
.empty())
1728 //===----------------------------------------------------------------------===//
1729 // cl::alias class implementation
1732 // Return the width of the option tag for printing...
1733 size_t alias::getOptionWidth() const {
1734 return argPlusPrefixesSize(ArgStr
);
1737 void Option::printHelpStr(StringRef HelpStr
, size_t Indent
,
1738 size_t FirstLineIndentedBy
) {
1739 assert(Indent
>= FirstLineIndentedBy
);
1740 std::pair
<StringRef
, StringRef
> Split
= HelpStr
.split('\n');
1741 outs().indent(Indent
- FirstLineIndentedBy
)
1742 << ArgHelpPrefix
<< Split
.first
<< "\n";
1743 while (!Split
.second
.empty()) {
1744 Split
= Split
.second
.split('\n');
1745 outs().indent(Indent
) << Split
.first
<< "\n";
1749 void Option::printEnumValHelpStr(StringRef HelpStr
, size_t BaseIndent
,
1750 size_t FirstLineIndentedBy
) {
1751 const StringRef ValHelpPrefix
= " ";
1752 assert(BaseIndent
>= FirstLineIndentedBy
);
1753 std::pair
<StringRef
, StringRef
> Split
= HelpStr
.split('\n');
1754 outs().indent(BaseIndent
- FirstLineIndentedBy
)
1755 << ArgHelpPrefix
<< ValHelpPrefix
<< Split
.first
<< "\n";
1756 while (!Split
.second
.empty()) {
1757 Split
= Split
.second
.split('\n');
1758 outs().indent(BaseIndent
+ ValHelpPrefix
.size()) << Split
.first
<< "\n";
1762 // Print out the option for the alias.
1763 void alias::printOptionInfo(size_t GlobalWidth
) const {
1764 outs() << PrintArg(ArgStr
);
1765 printHelpStr(HelpStr
, GlobalWidth
, argPlusPrefixesSize(ArgStr
));
1768 //===----------------------------------------------------------------------===//
1769 // Parser Implementation code...
1772 // basic_parser implementation
1775 // Return the width of the option tag for printing...
1776 size_t basic_parser_impl::getOptionWidth(const Option
&O
) const {
1777 size_t Len
= argPlusPrefixesSize(O
.ArgStr
);
1778 auto ValName
= getValueName();
1779 if (!ValName
.empty()) {
1780 size_t FormattingLen
= 3;
1781 if (O
.getMiscFlags() & PositionalEatsArgs
)
1783 Len
+= getValueStr(O
, ValName
).size() + FormattingLen
;
1789 // printOptionInfo - Print out information about this option. The
1790 // to-be-maintained width is specified.
1792 void basic_parser_impl::printOptionInfo(const Option
&O
,
1793 size_t GlobalWidth
) const {
1794 outs() << PrintArg(O
.ArgStr
);
1796 auto ValName
= getValueName();
1797 if (!ValName
.empty()) {
1798 if (O
.getMiscFlags() & PositionalEatsArgs
) {
1799 outs() << " <" << getValueStr(O
, ValName
) << ">...";
1800 } else if (O
.getValueExpectedFlag() == ValueOptional
)
1801 outs() << "[=<" << getValueStr(O
, ValName
) << ">]";
1803 outs() << "=<" << getValueStr(O
, ValName
) << '>';
1806 Option::printHelpStr(O
.HelpStr
, GlobalWidth
, getOptionWidth(O
));
1809 void basic_parser_impl::printOptionName(const Option
&O
,
1810 size_t GlobalWidth
) const {
1811 outs() << PrintArg(O
.ArgStr
);
1812 outs().indent(GlobalWidth
- O
.ArgStr
.size());
1815 // parser<bool> implementation
1817 bool parser
<bool>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1819 if (Arg
== "" || Arg
== "true" || Arg
== "TRUE" || Arg
== "True" ||
1825 if (Arg
== "false" || Arg
== "FALSE" || Arg
== "False" || Arg
== "0") {
1829 return O
.error("'" + Arg
+
1830 "' is invalid value for boolean argument! Try 0 or 1");
1833 // parser<boolOrDefault> implementation
1835 bool parser
<boolOrDefault
>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1836 boolOrDefault
&Value
) {
1837 if (Arg
== "" || Arg
== "true" || Arg
== "TRUE" || Arg
== "True" ||
1842 if (Arg
== "false" || Arg
== "FALSE" || Arg
== "False" || Arg
== "0") {
1847 return O
.error("'" + Arg
+
1848 "' is invalid value for boolean argument! Try 0 or 1");
1851 // parser<int> implementation
1853 bool parser
<int>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1855 if (Arg
.getAsInteger(0, Value
))
1856 return O
.error("'" + Arg
+ "' value invalid for integer argument!");
1860 // parser<long> implementation
1862 bool parser
<long>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1864 if (Arg
.getAsInteger(0, Value
))
1865 return O
.error("'" + Arg
+ "' value invalid for long argument!");
1869 // parser<long long> implementation
1871 bool parser
<long long>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1873 if (Arg
.getAsInteger(0, Value
))
1874 return O
.error("'" + Arg
+ "' value invalid for llong argument!");
1878 // parser<unsigned> implementation
1880 bool parser
<unsigned>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1883 if (Arg
.getAsInteger(0, Value
))
1884 return O
.error("'" + Arg
+ "' value invalid for uint argument!");
1888 // parser<unsigned long> implementation
1890 bool parser
<unsigned long>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1891 unsigned long &Value
) {
1893 if (Arg
.getAsInteger(0, Value
))
1894 return O
.error("'" + Arg
+ "' value invalid for ulong argument!");
1898 // parser<unsigned long long> implementation
1900 bool parser
<unsigned long long>::parse(Option
&O
, StringRef ArgName
,
1902 unsigned long long &Value
) {
1904 if (Arg
.getAsInteger(0, Value
))
1905 return O
.error("'" + Arg
+ "' value invalid for ullong argument!");
1909 // parser<double>/parser<float> implementation
1911 static bool parseDouble(Option
&O
, StringRef Arg
, double &Value
) {
1912 if (to_float(Arg
, Value
))
1914 return O
.error("'" + Arg
+ "' value invalid for floating point argument!");
1917 bool parser
<double>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1919 return parseDouble(O
, Arg
, Val
);
1922 bool parser
<float>::parse(Option
&O
, StringRef ArgName
, StringRef Arg
,
1925 if (parseDouble(O
, Arg
, dVal
))
1931 // generic_parser_base implementation
1934 // findOption - Return the option number corresponding to the specified
1935 // argument string. If the option is not found, getNumOptions() is returned.
1937 unsigned generic_parser_base::findOption(StringRef Name
) {
1938 unsigned e
= getNumOptions();
1940 for (unsigned i
= 0; i
!= e
; ++i
) {
1941 if (getOption(i
) == Name
)
1947 static StringRef EqValue
= "=<value>";
1948 static StringRef EmptyOption
= "<empty>";
1949 static StringRef OptionPrefix
= " =";
1950 static size_t getOptionPrefixesSize() {
1951 return OptionPrefix
.size() + ArgHelpPrefix
.size();
1954 static bool shouldPrintOption(StringRef Name
, StringRef Description
,
1956 return O
.getValueExpectedFlag() != ValueOptional
|| !Name
.empty() ||
1957 !Description
.empty();
1960 // Return the width of the option tag for printing...
1961 size_t generic_parser_base::getOptionWidth(const Option
&O
) const {
1962 if (O
.hasArgStr()) {
1964 argPlusPrefixesSize(O
.ArgStr
) + EqValue
.size();
1965 for (unsigned i
= 0, e
= getNumOptions(); i
!= e
; ++i
) {
1966 StringRef Name
= getOption(i
);
1967 if (!shouldPrintOption(Name
, getDescription(i
), O
))
1969 size_t NameSize
= Name
.empty() ? EmptyOption
.size() : Name
.size();
1970 Size
= std::max(Size
, NameSize
+ getOptionPrefixesSize());
1974 size_t BaseSize
= 0;
1975 for (unsigned i
= 0, e
= getNumOptions(); i
!= e
; ++i
)
1976 BaseSize
= std::max(BaseSize
, getOption(i
).size() + 8);
1981 // printOptionInfo - Print out information about this option. The
1982 // to-be-maintained width is specified.
1984 void generic_parser_base::printOptionInfo(const Option
&O
,
1985 size_t GlobalWidth
) const {
1986 if (O
.hasArgStr()) {
1987 // When the value is optional, first print a line just describing the
1988 // option without values.
1989 if (O
.getValueExpectedFlag() == ValueOptional
) {
1990 for (unsigned i
= 0, e
= getNumOptions(); i
!= e
; ++i
) {
1991 if (getOption(i
).empty()) {
1992 outs() << PrintArg(O
.ArgStr
);
1993 Option::printHelpStr(O
.HelpStr
, GlobalWidth
,
1994 argPlusPrefixesSize(O
.ArgStr
));
2000 outs() << PrintArg(O
.ArgStr
) << EqValue
;
2001 Option::printHelpStr(O
.HelpStr
, GlobalWidth
,
2003 argPlusPrefixesSize(O
.ArgStr
));
2004 for (unsigned i
= 0, e
= getNumOptions(); i
!= e
; ++i
) {
2005 StringRef OptionName
= getOption(i
);
2006 StringRef Description
= getDescription(i
);
2007 if (!shouldPrintOption(OptionName
, Description
, O
))
2009 size_t FirstLineIndent
= OptionName
.size() + getOptionPrefixesSize();
2010 outs() << OptionPrefix
<< OptionName
;
2011 if (OptionName
.empty()) {
2012 outs() << EmptyOption
;
2013 assert(FirstLineIndent
>= EmptyOption
.size());
2014 FirstLineIndent
+= EmptyOption
.size();
2016 if (!Description
.empty())
2017 Option::printEnumValHelpStr(Description
, GlobalWidth
, FirstLineIndent
);
2022 if (!O
.HelpStr
.empty())
2023 outs() << " " << O
.HelpStr
<< '\n';
2024 for (unsigned i
= 0, e
= getNumOptions(); i
!= e
; ++i
) {
2025 StringRef Option
= getOption(i
);
2026 outs() << " " << PrintArg(Option
);
2027 Option::printHelpStr(getDescription(i
), GlobalWidth
, Option
.size() + 8);
2032 static const size_t MaxOptWidth
= 8; // arbitrary spacing for printOptionDiff
2034 // printGenericOptionDiff - Print the value of this option and it's default.
2036 // "Generic" options have each value mapped to a name.
2037 void generic_parser_base::printGenericOptionDiff(
2038 const Option
&O
, const GenericOptionValue
&Value
,
2039 const GenericOptionValue
&Default
, size_t GlobalWidth
) const {
2040 outs() << " " << PrintArg(O
.ArgStr
);
2041 outs().indent(GlobalWidth
- O
.ArgStr
.size());
2043 unsigned NumOpts
= getNumOptions();
2044 for (unsigned i
= 0; i
!= NumOpts
; ++i
) {
2045 if (Value
.compare(getOptionValue(i
)))
2048 outs() << "= " << getOption(i
);
2049 size_t L
= getOption(i
).size();
2050 size_t NumSpaces
= MaxOptWidth
> L
? MaxOptWidth
- L
: 0;
2051 outs().indent(NumSpaces
) << " (default: ";
2052 for (unsigned j
= 0; j
!= NumOpts
; ++j
) {
2053 if (Default
.compare(getOptionValue(j
)))
2055 outs() << getOption(j
);
2061 outs() << "= *unknown option value*\n";
2064 // printOptionDiff - Specializations for printing basic value types.
2066 #define PRINT_OPT_DIFF(T) \
2067 void parser<T>::printOptionDiff(const Option &O, T V, OptionValue<T> D, \
2068 size_t GlobalWidth) const { \
2069 printOptionName(O, GlobalWidth); \
2072 raw_string_ostream SS(Str); \
2075 outs() << "= " << Str; \
2076 size_t NumSpaces = \
2077 MaxOptWidth > Str.size() ? MaxOptWidth - Str.size() : 0; \
2078 outs().indent(NumSpaces) << " (default: "; \
2080 outs() << D.getValue(); \
2082 outs() << "*no default*"; \
2086 PRINT_OPT_DIFF(bool)
2087 PRINT_OPT_DIFF(boolOrDefault
)
2089 PRINT_OPT_DIFF(long)
2090 PRINT_OPT_DIFF(long long)
2091 PRINT_OPT_DIFF(unsigned)
2092 PRINT_OPT_DIFF(unsigned long)
2093 PRINT_OPT_DIFF(unsigned long long)
2094 PRINT_OPT_DIFF(double)
2095 PRINT_OPT_DIFF(float)
2096 PRINT_OPT_DIFF(char)
2098 void parser
<std::string
>::printOptionDiff(const Option
&O
, StringRef V
,
2099 const OptionValue
<std::string
> &D
,
2100 size_t GlobalWidth
) const {
2101 printOptionName(O
, GlobalWidth
);
2102 outs() << "= " << V
;
2103 size_t NumSpaces
= MaxOptWidth
> V
.size() ? MaxOptWidth
- V
.size() : 0;
2104 outs().indent(NumSpaces
) << " (default: ";
2106 outs() << D
.getValue();
2108 outs() << "*no default*";
2112 // Print a placeholder for options that don't yet support printOptionDiff().
2113 void basic_parser_impl::printOptionNoValue(const Option
&O
,
2114 size_t GlobalWidth
) const {
2115 printOptionName(O
, GlobalWidth
);
2116 outs() << "= *cannot print option value*\n";
2119 //===----------------------------------------------------------------------===//
2120 // -help and -help-hidden option implementation
2123 static int OptNameCompare(const std::pair
<const char *, Option
*> *LHS
,
2124 const std::pair
<const char *, Option
*> *RHS
) {
2125 return strcmp(LHS
->first
, RHS
->first
);
2128 static int SubNameCompare(const std::pair
<const char *, SubCommand
*> *LHS
,
2129 const std::pair
<const char *, SubCommand
*> *RHS
) {
2130 return strcmp(LHS
->first
, RHS
->first
);
2133 // Copy Options into a vector so we can sort them as we like.
2134 static void sortOpts(StringMap
<Option
*> &OptMap
,
2135 SmallVectorImpl
<std::pair
<const char *, Option
*>> &Opts
,
2137 SmallPtrSet
<Option
*, 32> OptionSet
; // Duplicate option detection.
2139 for (StringMap
<Option
*>::iterator I
= OptMap
.begin(), E
= OptMap
.end();
2141 // Ignore really-hidden options.
2142 if (I
->second
->getOptionHiddenFlag() == ReallyHidden
)
2145 // Unless showhidden is set, ignore hidden flags.
2146 if (I
->second
->getOptionHiddenFlag() == Hidden
&& !ShowHidden
)
2149 // If we've already seen this option, don't add it to the list again.
2150 if (!OptionSet
.insert(I
->second
).second
)
2154 std::pair
<const char *, Option
*>(I
->getKey().data(), I
->second
));
2157 // Sort the options list alphabetically.
2158 array_pod_sort(Opts
.begin(), Opts
.end(), OptNameCompare
);
2162 sortSubCommands(const SmallPtrSetImpl
<SubCommand
*> &SubMap
,
2163 SmallVectorImpl
<std::pair
<const char *, SubCommand
*>> &Subs
) {
2164 for (auto *S
: SubMap
) {
2165 if (S
->getName().empty())
2167 Subs
.push_back(std::make_pair(S
->getName().data(), S
));
2169 array_pod_sort(Subs
.begin(), Subs
.end(), SubNameCompare
);
2176 const bool ShowHidden
;
2177 typedef SmallVector
<std::pair
<const char *, Option
*>, 128>
2178 StrOptionPairVector
;
2179 typedef SmallVector
<std::pair
<const char *, SubCommand
*>, 128>
2180 StrSubCommandPairVector
;
2181 // Print the options. Opts is assumed to be alphabetically sorted.
2182 virtual void printOptions(StrOptionPairVector
&Opts
, size_t MaxArgLen
) {
2183 for (size_t i
= 0, e
= Opts
.size(); i
!= e
; ++i
)
2184 Opts
[i
].second
->printOptionInfo(MaxArgLen
);
2187 void printSubCommands(StrSubCommandPairVector
&Subs
, size_t MaxSubLen
) {
2188 for (const auto &S
: Subs
) {
2189 outs() << " " << S
.first
;
2190 if (!S
.second
->getDescription().empty()) {
2191 outs().indent(MaxSubLen
- strlen(S
.first
));
2192 outs() << " - " << S
.second
->getDescription();
2199 explicit HelpPrinter(bool showHidden
) : ShowHidden(showHidden
) {}
2200 virtual ~HelpPrinter() {}
2202 // Invoke the printer.
2203 void operator=(bool Value
) {
2208 // Halt the program since help information was printed
2213 SubCommand
*Sub
= GlobalParser
->getActiveSubCommand();
2214 auto &OptionsMap
= Sub
->OptionsMap
;
2215 auto &PositionalOpts
= Sub
->PositionalOpts
;
2216 auto &ConsumeAfterOpt
= Sub
->ConsumeAfterOpt
;
2218 StrOptionPairVector Opts
;
2219 sortOpts(OptionsMap
, Opts
, ShowHidden
);
2221 StrSubCommandPairVector Subs
;
2222 sortSubCommands(GlobalParser
->RegisteredSubCommands
, Subs
);
2224 if (!GlobalParser
->ProgramOverview
.empty())
2225 outs() << "OVERVIEW: " << GlobalParser
->ProgramOverview
<< "\n";
2227 if (Sub
== &*TopLevelSubCommand
) {
2228 outs() << "USAGE: " << GlobalParser
->ProgramName
;
2229 if (Subs
.size() > 2)
2230 outs() << " [subcommand]";
2231 outs() << " [options]";
2233 if (!Sub
->getDescription().empty()) {
2234 outs() << "SUBCOMMAND '" << Sub
->getName()
2235 << "': " << Sub
->getDescription() << "\n\n";
2237 outs() << "USAGE: " << GlobalParser
->ProgramName
<< " " << Sub
->getName()
2241 for (auto *Opt
: PositionalOpts
) {
2242 if (Opt
->hasArgStr())
2243 outs() << " --" << Opt
->ArgStr
;
2244 outs() << " " << Opt
->HelpStr
;
2247 // Print the consume after option info if it exists...
2248 if (ConsumeAfterOpt
)
2249 outs() << " " << ConsumeAfterOpt
->HelpStr
;
2251 if (Sub
== &*TopLevelSubCommand
&& !Subs
.empty()) {
2252 // Compute the maximum subcommand length...
2253 size_t MaxSubLen
= 0;
2254 for (size_t i
= 0, e
= Subs
.size(); i
!= e
; ++i
)
2255 MaxSubLen
= std::max(MaxSubLen
, strlen(Subs
[i
].first
));
2258 outs() << "SUBCOMMANDS:\n\n";
2259 printSubCommands(Subs
, MaxSubLen
);
2261 outs() << " Type \"" << GlobalParser
->ProgramName
2262 << " <subcommand> --help\" to get more help on a specific "
2268 // Compute the maximum argument length...
2269 size_t MaxArgLen
= 0;
2270 for (size_t i
= 0, e
= Opts
.size(); i
!= e
; ++i
)
2271 MaxArgLen
= std::max(MaxArgLen
, Opts
[i
].second
->getOptionWidth());
2273 outs() << "OPTIONS:\n";
2274 printOptions(Opts
, MaxArgLen
);
2276 // Print any extra help the user has declared.
2277 for (const auto &I
: GlobalParser
->MoreHelp
)
2279 GlobalParser
->MoreHelp
.clear();
2283 class CategorizedHelpPrinter
: public HelpPrinter
{
2285 explicit CategorizedHelpPrinter(bool showHidden
) : HelpPrinter(showHidden
) {}
2287 // Helper function for printOptions().
2288 // It shall return a negative value if A's name should be lexicographically
2289 // ordered before B's name. It returns a value greater than zero if B's name
2290 // should be ordered before A's name, and it returns 0 otherwise.
2291 static int OptionCategoryCompare(OptionCategory
*const *A
,
2292 OptionCategory
*const *B
) {
2293 return (*A
)->getName().compare((*B
)->getName());
2296 // Make sure we inherit our base class's operator=()
2297 using HelpPrinter::operator=;
2300 void printOptions(StrOptionPairVector
&Opts
, size_t MaxArgLen
) override
{
2301 std::vector
<OptionCategory
*> SortedCategories
;
2302 std::map
<OptionCategory
*, std::vector
<Option
*>> CategorizedOptions
;
2304 // Collect registered option categories into vector in preparation for
2306 for (auto I
= GlobalParser
->RegisteredOptionCategories
.begin(),
2307 E
= GlobalParser
->RegisteredOptionCategories
.end();
2309 SortedCategories
.push_back(*I
);
2312 // Sort the different option categories alphabetically.
2313 assert(SortedCategories
.size() > 0 && "No option categories registered!");
2314 array_pod_sort(SortedCategories
.begin(), SortedCategories
.end(),
2315 OptionCategoryCompare
);
2317 // Create map to empty vectors.
2318 for (std::vector
<OptionCategory
*>::const_iterator
2319 I
= SortedCategories
.begin(),
2320 E
= SortedCategories
.end();
2322 CategorizedOptions
[*I
] = std::vector
<Option
*>();
2324 // Walk through pre-sorted options and assign into categories.
2325 // Because the options are already alphabetically sorted the
2326 // options within categories will also be alphabetically sorted.
2327 for (size_t I
= 0, E
= Opts
.size(); I
!= E
; ++I
) {
2328 Option
*Opt
= Opts
[I
].second
;
2329 for (auto &Cat
: Opt
->Categories
) {
2330 assert(CategorizedOptions
.count(Cat
) > 0 &&
2331 "Option has an unregistered category");
2332 CategorizedOptions
[Cat
].push_back(Opt
);
2337 for (std::vector
<OptionCategory
*>::const_iterator
2338 Category
= SortedCategories
.begin(),
2339 E
= SortedCategories
.end();
2340 Category
!= E
; ++Category
) {
2341 // Hide empty categories for --help, but show for --help-hidden.
2342 const auto &CategoryOptions
= CategorizedOptions
[*Category
];
2343 bool IsEmptyCategory
= CategoryOptions
.empty();
2344 if (!ShowHidden
&& IsEmptyCategory
)
2347 // Print category information.
2349 outs() << (*Category
)->getName() << ":\n";
2351 // Check if description is set.
2352 if (!(*Category
)->getDescription().empty())
2353 outs() << (*Category
)->getDescription() << "\n\n";
2357 // When using --help-hidden explicitly state if the category has no
2358 // options associated with it.
2359 if (IsEmptyCategory
) {
2360 outs() << " This option category has no options.\n";
2363 // Loop over the options in the category and print.
2364 for (const Option
*Opt
: CategoryOptions
)
2365 Opt
->printOptionInfo(MaxArgLen
);
2370 // This wraps the Uncategorizing and Categorizing printers and decides
2371 // at run time which should be invoked.
2372 class HelpPrinterWrapper
{
2374 HelpPrinter
&UncategorizedPrinter
;
2375 CategorizedHelpPrinter
&CategorizedPrinter
;
2378 explicit HelpPrinterWrapper(HelpPrinter
&UncategorizedPrinter
,
2379 CategorizedHelpPrinter
&CategorizedPrinter
)
2380 : UncategorizedPrinter(UncategorizedPrinter
),
2381 CategorizedPrinter(CategorizedPrinter
) {}
2383 // Invoke the printer.
2384 void operator=(bool Value
);
2387 } // End anonymous namespace
2389 #if defined(__GNUC__)
2390 // GCC and GCC-compatible compilers define __OPTIMIZE__ when optimizations are
2392 # if defined(__OPTIMIZE__)
2393 # define LLVM_IS_DEBUG_BUILD 0
2395 # define LLVM_IS_DEBUG_BUILD 1
2397 #elif defined(_MSC_VER)
2398 // MSVC doesn't have a predefined macro indicating if optimizations are enabled.
2399 // Use _DEBUG instead. This macro actually corresponds to the choice between
2400 // debug and release CRTs, but it is a reasonable proxy.
2401 # if defined(_DEBUG)
2402 # define LLVM_IS_DEBUG_BUILD 1
2404 # define LLVM_IS_DEBUG_BUILD 0
2407 // Otherwise, for an unknown compiler, assume this is an optimized build.
2408 # define LLVM_IS_DEBUG_BUILD 0
2412 class VersionPrinter
{
2415 raw_ostream
&OS
= outs();
2416 #ifdef PACKAGE_VENDOR
2417 OS
<< PACKAGE_VENDOR
<< " ";
2419 OS
<< "LLVM (http://llvm.org/):\n ";
2421 OS
<< PACKAGE_NAME
<< " version " << PACKAGE_VERSION
;
2422 #ifdef LLVM_VERSION_INFO
2423 OS
<< " " << LLVM_VERSION_INFO
;
2426 #if LLVM_IS_DEBUG_BUILD
2427 OS
<< "DEBUG build";
2429 OS
<< "Optimized build";
2432 OS
<< " with assertions";
2434 #if LLVM_VERSION_PRINTER_SHOW_HOST_TARGET_INFO
2435 std::string CPU
= std::string(sys::getHostCPUName());
2436 if (CPU
== "generic")
2439 << " Default target: " << sys::getDefaultTargetTriple() << '\n'
2440 << " Host CPU: " << CPU
;
2444 void operator=(bool OptionWasSpecified
);
2447 struct CommandLineCommonOptions
{
2448 // Declare the four HelpPrinter instances that are used to print out help, or
2449 // help-hidden as an uncategorized list or in categories.
2450 HelpPrinter UncategorizedNormalPrinter
{false};
2451 HelpPrinter UncategorizedHiddenPrinter
{true};
2452 CategorizedHelpPrinter CategorizedNormalPrinter
{false};
2453 CategorizedHelpPrinter CategorizedHiddenPrinter
{true};
2454 // Declare HelpPrinter wrappers that will decide whether or not to invoke
2455 // a categorizing help printer
2456 HelpPrinterWrapper WrappedNormalPrinter
{UncategorizedNormalPrinter
,
2457 CategorizedNormalPrinter
};
2458 HelpPrinterWrapper WrappedHiddenPrinter
{UncategorizedHiddenPrinter
,
2459 CategorizedHiddenPrinter
};
2460 // Define a category for generic options that all tools should have.
2461 cl::OptionCategory GenericCategory
{"Generic Options"};
2463 // Define uncategorized help printers.
2464 // --help-list is hidden by default because if Option categories are being
2465 // used then --help behaves the same as --help-list.
2466 cl::opt
<HelpPrinter
, true, parser
<bool>> HLOp
{
2469 "Display list of available options (--help-list-hidden for more)"),
2470 cl::location(UncategorizedNormalPrinter
),
2472 cl::ValueDisallowed
,
2473 cl::cat(GenericCategory
),
2474 cl::sub(*AllSubCommands
)};
2476 cl::opt
<HelpPrinter
, true, parser
<bool>> HLHOp
{
2478 cl::desc("Display list of all available options"),
2479 cl::location(UncategorizedHiddenPrinter
),
2481 cl::ValueDisallowed
,
2482 cl::cat(GenericCategory
),
2483 cl::sub(*AllSubCommands
)};
2485 // Define uncategorized/categorized help printers. These printers change their
2486 // behaviour at runtime depending on whether one or more Option categories
2487 // have been declared.
2488 cl::opt
<HelpPrinterWrapper
, true, parser
<bool>> HOp
{
2490 cl::desc("Display available options (--help-hidden for more)"),
2491 cl::location(WrappedNormalPrinter
),
2492 cl::ValueDisallowed
,
2493 cl::cat(GenericCategory
),
2494 cl::sub(*AllSubCommands
)};
2496 cl::alias HOpA
{"h", cl::desc("Alias for --help"), cl::aliasopt(HOp
),
2499 cl::opt
<HelpPrinterWrapper
, true, parser
<bool>> HHOp
{
2501 cl::desc("Display all available options"),
2502 cl::location(WrappedHiddenPrinter
),
2504 cl::ValueDisallowed
,
2505 cl::cat(GenericCategory
),
2506 cl::sub(*AllSubCommands
)};
2508 cl::opt
<bool> PrintOptions
{
2510 cl::desc("Print non-default options after command line parsing"),
2513 cl::cat(GenericCategory
),
2514 cl::sub(*AllSubCommands
)};
2516 cl::opt
<bool> PrintAllOptions
{
2517 "print-all-options",
2518 cl::desc("Print all option values after command line parsing"),
2521 cl::cat(GenericCategory
),
2522 cl::sub(*AllSubCommands
)};
2524 VersionPrinterTy OverrideVersionPrinter
= nullptr;
2526 std::vector
<VersionPrinterTy
> ExtraVersionPrinters
;
2528 // Define the --version option that prints out the LLVM version for the tool
2529 VersionPrinter VersionPrinterInstance
;
2531 cl::opt
<VersionPrinter
, true, parser
<bool>> VersOp
{
2532 "version", cl::desc("Display the version of this program"),
2533 cl::location(VersionPrinterInstance
), cl::ValueDisallowed
,
2534 cl::cat(GenericCategory
)};
2536 } // End anonymous namespace
2538 // Lazy-initialized global instance of options controlling the command-line
2539 // parser and general handling.
2540 static ManagedStatic
<CommandLineCommonOptions
> CommonOptions
;
2542 static void initCommonOptions() {
2544 initDebugCounterOptions();
2545 initGraphWriterOptions();
2546 initSignalsOptions();
2547 initStatisticOptions();
2549 initTypeSizeOptions();
2550 initWithColorOptions();
2552 initRandomSeedOptions();
2555 OptionCategory
&cl::getGeneralCategory() {
2556 // Initialise the general option category.
2557 static OptionCategory GeneralCategory
{"General options"};
2558 return GeneralCategory
;
2561 void VersionPrinter::operator=(bool OptionWasSpecified
) {
2562 if (!OptionWasSpecified
)
2565 if (CommonOptions
->OverrideVersionPrinter
!= nullptr) {
2566 CommonOptions
->OverrideVersionPrinter(outs());
2571 // Iterate over any registered extra printers and call them to add further
2573 if (!CommonOptions
->ExtraVersionPrinters
.empty()) {
2575 for (const auto &I
: CommonOptions
->ExtraVersionPrinters
)
2582 void HelpPrinterWrapper::operator=(bool Value
) {
2586 // Decide which printer to invoke. If more than one option category is
2587 // registered then it is useful to show the categorized help instead of
2588 // uncategorized help.
2589 if (GlobalParser
->RegisteredOptionCategories
.size() > 1) {
2590 // unhide --help-list option so user can have uncategorized output if they
2592 CommonOptions
->HLOp
.setHiddenFlag(NotHidden
);
2594 CategorizedPrinter
= true; // Invoke categorized printer
2596 UncategorizedPrinter
= true; // Invoke uncategorized printer
2599 // Print the value of each option.
2600 void cl::PrintOptionValues() { GlobalParser
->printOptionValues(); }
2602 void CommandLineParser::printOptionValues() {
2603 if (!CommonOptions
->PrintOptions
&& !CommonOptions
->PrintAllOptions
)
2606 SmallVector
<std::pair
<const char *, Option
*>, 128> Opts
;
2607 sortOpts(ActiveSubCommand
->OptionsMap
, Opts
, /*ShowHidden*/ true);
2609 // Compute the maximum argument length...
2610 size_t MaxArgLen
= 0;
2611 for (size_t i
= 0, e
= Opts
.size(); i
!= e
; ++i
)
2612 MaxArgLen
= std::max(MaxArgLen
, Opts
[i
].second
->getOptionWidth());
2614 for (size_t i
= 0, e
= Opts
.size(); i
!= e
; ++i
)
2615 Opts
[i
].second
->printOptionValue(MaxArgLen
, CommonOptions
->PrintAllOptions
);
2618 // Utility function for printing the help message.
2619 void cl::PrintHelpMessage(bool Hidden
, bool Categorized
) {
2620 if (!Hidden
&& !Categorized
)
2621 CommonOptions
->UncategorizedNormalPrinter
.printHelp();
2622 else if (!Hidden
&& Categorized
)
2623 CommonOptions
->CategorizedNormalPrinter
.printHelp();
2624 else if (Hidden
&& !Categorized
)
2625 CommonOptions
->UncategorizedHiddenPrinter
.printHelp();
2627 CommonOptions
->CategorizedHiddenPrinter
.printHelp();
2630 /// Utility function for printing version number.
2631 void cl::PrintVersionMessage() {
2632 CommonOptions
->VersionPrinterInstance
.print();
2635 void cl::SetVersionPrinter(VersionPrinterTy func
) {
2636 CommonOptions
->OverrideVersionPrinter
= func
;
2639 void cl::AddExtraVersionPrinter(VersionPrinterTy func
) {
2640 CommonOptions
->ExtraVersionPrinters
.push_back(func
);
2643 StringMap
<Option
*> &cl::getRegisteredOptions(SubCommand
&Sub
) {
2644 initCommonOptions();
2645 auto &Subs
= GlobalParser
->RegisteredSubCommands
;
2647 assert(is_contained(Subs
, &Sub
));
2648 return Sub
.OptionsMap
;
2651 iterator_range
<typename SmallPtrSet
<SubCommand
*, 4>::iterator
>
2652 cl::getRegisteredSubcommands() {
2653 return GlobalParser
->getRegisteredSubcommands();
2656 void cl::HideUnrelatedOptions(cl::OptionCategory
&Category
, SubCommand
&Sub
) {
2657 initCommonOptions();
2658 for (auto &I
: Sub
.OptionsMap
) {
2659 for (auto &Cat
: I
.second
->Categories
) {
2660 if (Cat
!= &Category
&& Cat
!= &CommonOptions
->GenericCategory
)
2661 I
.second
->setHiddenFlag(cl::ReallyHidden
);
2666 void cl::HideUnrelatedOptions(ArrayRef
<const cl::OptionCategory
*> Categories
,
2668 initCommonOptions();
2669 for (auto &I
: Sub
.OptionsMap
) {
2670 for (auto &Cat
: I
.second
->Categories
) {
2671 if (!is_contained(Categories
, Cat
) &&
2672 Cat
!= &CommonOptions
->GenericCategory
)
2673 I
.second
->setHiddenFlag(cl::ReallyHidden
);
2678 void cl::ResetCommandLineParser() { GlobalParser
->reset(); }
2679 void cl::ResetAllOptionOccurrences() {
2680 GlobalParser
->ResetAllOptionOccurrences();
2683 void LLVMParseCommandLineOptions(int argc
, const char *const *argv
,
2684 const char *Overview
) {
2685 llvm::cl::ParseCommandLineOptions(argc
, argv
, StringRef(Overview
),