1 //===--- Driver.cpp - Clang GCC Compatible Driver -------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 #include "clang/Driver/Driver.h"
11 #include "InputInfo.h"
12 #include "ToolChains.h"
13 #include "clang/Basic/Version.h"
14 #include "clang/Config/config.h"
15 #include "clang/Driver/Action.h"
16 #include "clang/Driver/Compilation.h"
17 #include "clang/Driver/DriverDiagnostic.h"
18 #include "clang/Driver/Job.h"
19 #include "clang/Driver/Options.h"
20 #include "clang/Driver/SanitizerArgs.h"
21 #include "clang/Driver/Tool.h"
22 #include "clang/Driver/ToolChain.h"
23 #include "llvm/ADT/ArrayRef.h"
24 #include "llvm/ADT/STLExtras.h"
25 #include "llvm/ADT/StringExtras.h"
26 #include "llvm/ADT/StringSet.h"
27 #include "llvm/ADT/StringSwitch.h"
28 #include "llvm/Option/Arg.h"
29 #include "llvm/Option/ArgList.h"
30 #include "llvm/Option/OptSpecifier.h"
31 #include "llvm/Option/OptTable.h"
32 #include "llvm/Option/Option.h"
33 #include "llvm/Support/Debug.h"
34 #include "llvm/Support/ErrorHandling.h"
35 #include "llvm/Support/FileSystem.h"
36 #include "llvm/Support/Path.h"
37 #include "llvm/Support/PrettyStackTrace.h"
38 #include "llvm/Support/Process.h"
39 #include "llvm/Support/Program.h"
40 #include "llvm/Support/raw_ostream.h"
44 using namespace clang::driver;
45 using namespace clang;
46 using namespace llvm::opt;
48 Driver::Driver(StringRef ClangExecutable, StringRef DefaultTargetTriple,
49 DiagnosticsEngine &Diags)
50 : Opts(createDriverOptTable()), Diags(Diags), Mode(GCCMode),
51 SaveTemps(SaveTempsNone), ClangExecutable(ClangExecutable),
52 SysRoot(DEFAULT_SYSROOT), UseStdLib(true),
53 DefaultTargetTriple(DefaultTargetTriple),
54 DriverTitle("clang LLVM compiler"), CCPrintOptionsFilename(nullptr),
55 CCPrintHeadersFilename(nullptr), CCLogDiagnosticsFilename(nullptr),
56 CCCPrintBindings(false), CCPrintHeaders(false), CCLogDiagnostics(false),
57 CCGenDiagnostics(false), CCCGenericGCCName(""), CheckInputsExist(true),
58 CCCUsePCH(true), SuppressMissingInputWarning(false) {
60 Name = llvm::sys::path::filename(ClangExecutable);
61 Dir = llvm::sys::path::parent_path(ClangExecutable);
63 // Compute the path to the resource directory.
64 StringRef ClangResourceDir(CLANG_RESOURCE_DIR);
65 SmallString<128> P(Dir);
66 if (ClangResourceDir != "") {
67 llvm::sys::path::append(P, ClangResourceDir);
69 StringRef ClangLibdirSuffix(CLANG_LIBDIR_SUFFIX);
70 llvm::sys::path::append(P, "..", Twine("lib") + ClangLibdirSuffix, "clang",
71 CLANG_VERSION_STRING);
73 ResourceDir = P.str();
79 llvm::DeleteContainerSeconds(ToolChains);
82 void Driver::ParseDriverMode(ArrayRef<const char *> Args) {
83 const std::string OptName =
84 getOpts().getOption(options::OPT_driver_mode).getPrefixedName();
86 for (size_t I = 0, E = Args.size(); I != E; ++I) {
87 // Ingore nullptrs, they are response file's EOL markers
88 if (Args[I] == nullptr)
90 const StringRef Arg = Args[I];
91 if (!Arg.startswith(OptName))
94 const StringRef Value = Arg.drop_front(OptName.size());
95 const unsigned M = llvm::StringSwitch<unsigned>(Value)
103 Mode = static_cast<DriverMode>(M);
105 Diag(diag::err_drv_unsupported_option_argument) << OptName << Value;
109 InputArgList *Driver::ParseArgStrings(ArrayRef<const char *> ArgStrings) {
110 llvm::PrettyStackTraceString CrashInfo("Command line argument parsing");
112 unsigned IncludedFlagsBitmask;
113 unsigned ExcludedFlagsBitmask;
114 std::tie(IncludedFlagsBitmask, ExcludedFlagsBitmask) =
115 getIncludeExcludeOptionFlagMasks();
117 unsigned MissingArgIndex, MissingArgCount;
118 InputArgList *Args = getOpts().ParseArgs(ArgStrings.begin(), ArgStrings.end(),
119 MissingArgIndex, MissingArgCount,
120 IncludedFlagsBitmask,
121 ExcludedFlagsBitmask);
123 // Check for missing argument error.
125 Diag(clang::diag::err_drv_missing_argument)
126 << Args->getArgString(MissingArgIndex) << MissingArgCount;
128 // Check for unsupported options.
129 for (const Arg *A : *Args) {
130 if (A->getOption().hasFlag(options::Unsupported)) {
131 Diag(clang::diag::err_drv_unsupported_opt) << A->getAsString(*Args);
135 // Warn about -mcpu= without an argument.
136 if (A->getOption().matches(options::OPT_mcpu_EQ) &&
137 A->containsValue("")) {
138 Diag(clang::diag::warn_drv_empty_joined_argument) <<
139 A->getAsString(*Args);
143 for (const Arg *A : Args->filtered(options::OPT_UNKNOWN))
144 Diags.Report(diag::err_drv_unknown_argument) << A->getAsString(*Args);
149 // Determine which compilation mode we are in. We look for options which
150 // affect the phase, starting with the earliest phases, and record which
151 // option we used to determine the final phase.
152 phases::ID Driver::getFinalPhase(const DerivedArgList &DAL, Arg **FinalPhaseArg)
154 Arg *PhaseArg = nullptr;
155 phases::ID FinalPhase;
157 // -{E,EP,P,M,MM} only run the preprocessor.
159 (PhaseArg = DAL.getLastArg(options::OPT_E)) ||
160 (PhaseArg = DAL.getLastArg(options::OPT__SLASH_EP)) ||
161 (PhaseArg = DAL.getLastArg(options::OPT_M, options::OPT_MM)) ||
162 (PhaseArg = DAL.getLastArg(options::OPT__SLASH_P))) {
163 FinalPhase = phases::Preprocess;
165 // -{fsyntax-only,-analyze,emit-ast} only run up to the compiler.
166 } else if ((PhaseArg = DAL.getLastArg(options::OPT_fsyntax_only)) ||
167 (PhaseArg = DAL.getLastArg(options::OPT_module_file_info)) ||
168 (PhaseArg = DAL.getLastArg(options::OPT_verify_pch)) ||
169 (PhaseArg = DAL.getLastArg(options::OPT_rewrite_objc)) ||
170 (PhaseArg = DAL.getLastArg(options::OPT_rewrite_legacy_objc)) ||
171 (PhaseArg = DAL.getLastArg(options::OPT__migrate)) ||
172 (PhaseArg = DAL.getLastArg(options::OPT__analyze,
173 options::OPT__analyze_auto)) ||
174 (PhaseArg = DAL.getLastArg(options::OPT_emit_ast))) {
175 FinalPhase = phases::Compile;
177 // -S only runs up to the backend.
178 } else if ((PhaseArg = DAL.getLastArg(options::OPT_S))) {
179 FinalPhase = phases::Backend;
181 // -c only runs up to the assembler.
182 } else if ((PhaseArg = DAL.getLastArg(options::OPT_c))) {
183 FinalPhase = phases::Assemble;
185 // Otherwise do everything.
187 FinalPhase = phases::Link;
190 *FinalPhaseArg = PhaseArg;
195 static Arg* MakeInputArg(DerivedArgList &Args, OptTable *Opts,
197 Arg *A = new Arg(Opts->getOption(options::OPT_INPUT), Value,
198 Args.getBaseArgs().MakeIndex(Value), Value.data());
199 Args.AddSynthesizedArg(A);
204 DerivedArgList *Driver::TranslateInputArgs(const InputArgList &Args) const {
205 DerivedArgList *DAL = new DerivedArgList(Args);
207 bool HasNostdlib = Args.hasArg(options::OPT_nostdlib);
208 for (Arg *A : Args) {
209 // Unfortunately, we have to parse some forwarding options (-Xassembler,
210 // -Xlinker, -Xpreprocessor) because we either integrate their functionality
211 // (assembler and preprocessor), or bypass a previous driver ('collect2').
213 // Rewrite linker options, to replace --no-demangle with a custom internal
215 if ((A->getOption().matches(options::OPT_Wl_COMMA) ||
216 A->getOption().matches(options::OPT_Xlinker)) &&
217 A->containsValue("--no-demangle")) {
218 // Add the rewritten no-demangle argument.
219 DAL->AddFlagArg(A, Opts->getOption(options::OPT_Z_Xlinker__no_demangle));
221 // Add the remaining values as Xlinker arguments.
222 for (unsigned i = 0, e = A->getNumValues(); i != e; ++i)
223 if (StringRef(A->getValue(i)) != "--no-demangle")
224 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_Xlinker),
230 // Rewrite preprocessor options, to replace -Wp,-MD,FOO which is used by
231 // some build systems. We don't try to be complete here because we don't
232 // care to encourage this usage model.
233 if (A->getOption().matches(options::OPT_Wp_COMMA) &&
234 (A->getValue(0) == StringRef("-MD") ||
235 A->getValue(0) == StringRef("-MMD"))) {
236 // Rewrite to -MD/-MMD along with -MF.
237 if (A->getValue(0) == StringRef("-MD"))
238 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MD));
240 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MMD));
241 if (A->getNumValues() == 2)
242 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_MF),
247 // Rewrite reserved library names.
248 if (A->getOption().matches(options::OPT_l)) {
249 StringRef Value = A->getValue();
251 // Rewrite unless -nostdlib is present.
252 if (!HasNostdlib && Value == "stdc++") {
253 DAL->AddFlagArg(A, Opts->getOption(
254 options::OPT_Z_reserved_lib_stdcxx));
258 // Rewrite unconditionally.
259 if (Value == "cc_kext") {
260 DAL->AddFlagArg(A, Opts->getOption(
261 options::OPT_Z_reserved_lib_cckext));
266 // Pick up inputs via the -- option.
267 if (A->getOption().matches(options::OPT__DASH_DASH)) {
269 for (unsigned i = 0, e = A->getNumValues(); i != e; ++i)
270 DAL->append(MakeInputArg(*DAL, Opts, A->getValue(i)));
277 // Add a default value of -mlinker-version=, if one was given and the user
278 // didn't specify one.
279 #if defined(HOST_LINK_VERSION)
280 if (!Args.hasArg(options::OPT_mlinker_version_EQ) &&
281 strlen(HOST_LINK_VERSION) > 0) {
282 DAL->AddJoinedArg(0, Opts->getOption(options::OPT_mlinker_version_EQ),
284 DAL->getLastArg(options::OPT_mlinker_version_EQ)->claim();
291 Compilation *Driver::BuildCompilation(ArrayRef<const char *> ArgList) {
292 llvm::PrettyStackTraceString CrashInfo("Compilation construction");
294 // FIXME: Handle environment options which affect driver behavior, somewhere
295 // (client?). GCC_EXEC_PREFIX, LPATH, CC_PRINT_OPTIONS.
297 if (char *env = ::getenv("COMPILER_PATH")) {
298 StringRef CompilerPath = env;
299 while (!CompilerPath.empty()) {
300 std::pair<StringRef, StringRef> Split
301 = CompilerPath.split(llvm::sys::EnvPathSeparator);
302 PrefixDirs.push_back(Split.first);
303 CompilerPath = Split.second;
307 // We look for the driver mode option early, because the mode can affect
308 // how other options are parsed.
309 ParseDriverMode(ArgList.slice(1));
311 // FIXME: What are we going to do with -V and -b?
313 // FIXME: This stuff needs to go into the Compilation, not the driver.
314 bool CCCPrintActions;
316 InputArgList *Args = ParseArgStrings(ArgList.slice(1));
318 // -no-canonical-prefixes is used very early in main.
319 Args->ClaimAllArgs(options::OPT_no_canonical_prefixes);
322 Args->ClaimAllArgs(options::OPT_pipe);
324 // Extract -ccc args.
326 // FIXME: We need to figure out where this behavior should live. Most of it
327 // should be outside in the client; the parts that aren't should have proper
328 // options, either by introducing new ones or by overloading gcc ones like -V
330 CCCPrintActions = Args->hasArg(options::OPT_ccc_print_phases);
331 CCCPrintBindings = Args->hasArg(options::OPT_ccc_print_bindings);
332 if (const Arg *A = Args->getLastArg(options::OPT_ccc_gcc_name))
333 CCCGenericGCCName = A->getValue();
334 CCCUsePCH = Args->hasFlag(options::OPT_ccc_pch_is_pch,
335 options::OPT_ccc_pch_is_pth);
336 // FIXME: DefaultTargetTriple is used by the target-prefixed calls to as/ld
337 // and getToolChain is const.
339 // clang-cl targets MSVC-style Win32.
340 llvm::Triple T(DefaultTargetTriple);
341 T.setOS(llvm::Triple::Win32);
342 T.setEnvironment(llvm::Triple::MSVC);
343 DefaultTargetTriple = T.str();
345 if (const Arg *A = Args->getLastArg(options::OPT_target))
346 DefaultTargetTriple = A->getValue();
347 if (const Arg *A = Args->getLastArg(options::OPT_ccc_install_dir))
348 Dir = InstalledDir = A->getValue();
349 for (const Arg *A : Args->filtered(options::OPT_B)) {
351 PrefixDirs.push_back(A->getValue(0));
353 if (const Arg *A = Args->getLastArg(options::OPT__sysroot_EQ))
354 SysRoot = A->getValue();
355 if (const Arg *A = Args->getLastArg(options::OPT__dyld_prefix_EQ))
356 DyldPrefix = A->getValue();
357 if (Args->hasArg(options::OPT_nostdlib))
360 if (const Arg *A = Args->getLastArg(options::OPT_resource_dir))
361 ResourceDir = A->getValue();
363 if (const Arg *A = Args->getLastArg(options::OPT_save_temps_EQ)) {
364 SaveTemps = llvm::StringSwitch<SaveTempsMode>(A->getValue())
365 .Case("cwd", SaveTempsCwd)
366 .Case("obj", SaveTempsObj)
367 .Default(SaveTempsCwd);
370 // Perform the default argument translations.
371 DerivedArgList *TranslatedArgs = TranslateInputArgs(*Args);
373 // Owned by the host.
374 const ToolChain &TC = getToolChain(*Args);
376 // The compilation takes ownership of Args.
377 Compilation *C = new Compilation(*this, TC, Args, TranslatedArgs);
379 if (!HandleImmediateArgs(*C))
382 // Construct the list of inputs.
384 BuildInputs(C->getDefaultToolChain(), *TranslatedArgs, Inputs);
386 // Construct the list of abstract actions to perform for this compilation. On
387 // MachO targets this uses the driver-driver and universal actions.
388 if (TC.getTriple().isOSBinFormatMachO())
389 BuildUniversalActions(C->getDefaultToolChain(), C->getArgs(),
390 Inputs, C->getActions());
392 BuildActions(C->getDefaultToolChain(), C->getArgs(), Inputs,
395 if (CCCPrintActions) {
405 // When clang crashes, produce diagnostic information including the fully
406 // preprocessed source file(s). Request that the developer attach the
407 // diagnostic information to a bug report.
408 void Driver::generateCompilationDiagnostics(Compilation &C,
409 const Command &FailingCommand) {
410 if (C.getArgs().hasArg(options::OPT_fno_crash_diagnostics))
413 // Don't try to generate diagnostics for link or dsymutil jobs.
414 if (FailingCommand.getCreator().isLinkJob() ||
415 FailingCommand.getCreator().isDsymutilJob())
418 // Print the version of the compiler.
419 PrintVersion(C, llvm::errs());
421 Diag(clang::diag::note_drv_command_failed_diag_msg)
422 << "PLEASE submit a bug report to " BUG_REPORT_URL " and include the "
423 "crash backtrace, preprocessed source, and associated run script.";
425 // Suppress driver output and emit preprocessor output to temp file.
427 CCGenDiagnostics = true;
429 // Save the original job command(s).
430 Command Cmd = FailingCommand;
432 // Keep track of whether we produce any errors while trying to produce
433 // preprocessed sources.
434 DiagnosticErrorTrap Trap(Diags);
436 // Suppress tool output.
437 C.initCompilationForDiagnostics();
439 // Construct the list of inputs.
441 BuildInputs(C.getDefaultToolChain(), C.getArgs(), Inputs);
443 for (InputList::iterator it = Inputs.begin(), ie = Inputs.end(); it != ie;) {
444 bool IgnoreInput = false;
446 // Ignore input from stdin or any inputs that cannot be preprocessed.
447 // Check type first as not all linker inputs have a value.
448 if (types::getPreprocessedType(it->first) == types::TY_INVALID) {
450 } else if (!strcmp(it->second->getValue(), "-")) {
451 Diag(clang::diag::note_drv_command_failed_diag_msg)
452 << "Error generating preprocessed source(s) - ignoring input from stdin"
458 it = Inputs.erase(it);
465 if (Inputs.empty()) {
466 Diag(clang::diag::note_drv_command_failed_diag_msg)
467 << "Error generating preprocessed source(s) - no preprocessable inputs.";
471 // Don't attempt to generate preprocessed files if multiple -arch options are
472 // used, unless they're all duplicates.
473 llvm::StringSet<> ArchNames;
474 for (const Arg *A : C.getArgs()) {
475 if (A->getOption().matches(options::OPT_arch)) {
476 StringRef ArchName = A->getValue();
477 ArchNames.insert(ArchName);
480 if (ArchNames.size() > 1) {
481 Diag(clang::diag::note_drv_command_failed_diag_msg)
482 << "Error generating preprocessed source(s) - cannot generate "
483 "preprocessed source with multiple -arch options.";
487 // Construct the list of abstract actions to perform for this compilation. On
488 // Darwin OSes this uses the driver-driver and builds universal actions.
489 const ToolChain &TC = C.getDefaultToolChain();
490 if (TC.getTriple().isOSBinFormatMachO())
491 BuildUniversalActions(TC, C.getArgs(), Inputs, C.getActions());
493 BuildActions(TC, C.getArgs(), Inputs, C.getActions());
497 // If there were errors building the compilation, quit now.
498 if (Trap.hasErrorOccurred()) {
499 Diag(clang::diag::note_drv_command_failed_diag_msg)
500 << "Error generating preprocessed source(s).";
504 // Generate preprocessed output.
505 SmallVector<std::pair<int, const Command *>, 4> FailingCommands;
506 C.ExecuteJob(C.getJobs(), FailingCommands);
508 // If any of the preprocessing commands failed, clean up and exit.
509 if (!FailingCommands.empty()) {
510 if (!isSaveTempsEnabled())
511 C.CleanupFileList(C.getTempFiles(), true);
513 Diag(clang::diag::note_drv_command_failed_diag_msg)
514 << "Error generating preprocessed source(s).";
518 const ArgStringList &TempFiles = C.getTempFiles();
519 if (TempFiles.empty()) {
520 Diag(clang::diag::note_drv_command_failed_diag_msg)
521 << "Error generating preprocessed source(s).";
525 Diag(clang::diag::note_drv_command_failed_diag_msg)
526 << "\n********************\n\n"
527 "PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:\n"
528 "Preprocessed source(s) and associated run script(s) are located at:";
530 SmallString<128> VFS;
531 for (const char *TempFile : TempFiles) {
532 Diag(clang::diag::note_drv_command_failed_diag_msg) << TempFile;
533 if (StringRef(TempFile).endswith(".cache")) {
534 // In some cases (modules) we'll dump extra data to help with reproducing
535 // the crash into a directory next to the output.
536 VFS = llvm::sys::path::filename(TempFile);
537 llvm::sys::path::append(VFS, "vfs", "vfs.yaml");
541 // Assume associated files are based off of the first temporary file.
542 CrashReportInfo CrashInfo(TempFiles[0], VFS);
544 std::string Script = CrashInfo.Filename.rsplit('.').first.str() + ".sh";
546 llvm::raw_fd_ostream ScriptOS(Script, EC, llvm::sys::fs::F_Excl);
548 Diag(clang::diag::note_drv_command_failed_diag_msg)
549 << "Error generating run script: " + Script + " " + EC.message();
551 ScriptOS << "# Crash reproducer for " << getClangFullVersion() << "\n"
552 << "# Original command: ";
553 Cmd.Print(ScriptOS, "\n", /*Quote=*/true);
554 Cmd.Print(ScriptOS, "\n", /*Quote=*/true, &CrashInfo);
555 Diag(clang::diag::note_drv_command_failed_diag_msg) << Script;
558 for (const auto &A : C.getArgs().filtered(options::OPT_frewrite_map_file,
559 options::OPT_frewrite_map_file_EQ))
560 Diag(clang::diag::note_drv_command_failed_diag_msg) << A->getValue();
562 Diag(clang::diag::note_drv_command_failed_diag_msg)
563 << "\n\n********************";
566 void Driver::setUpResponseFiles(Compilation &C, Job &J) {
567 if (JobList *Jobs = dyn_cast<JobList>(&J)) {
568 for (auto &Job : *Jobs)
569 setUpResponseFiles(C, Job);
573 Command *CurCommand = dyn_cast<Command>(&J);
577 // Since argumentsFitWithinSystemLimits() may underestimate system's capacity
578 // if the tool does not support response files, there is a chance/ that things
579 // will just work without a response file, so we silently just skip it.
580 if (CurCommand->getCreator().getResponseFilesSupport() == Tool::RF_None ||
581 llvm::sys::argumentsFitWithinSystemLimits(CurCommand->getArguments()))
584 std::string TmpName = GetTemporaryPath("response", "txt");
585 CurCommand->setResponseFile(C.addTempFile(C.getArgs().MakeArgString(
589 int Driver::ExecuteCompilation(Compilation &C,
590 SmallVectorImpl< std::pair<int, const Command *> > &FailingCommands) {
591 // Just print if -### was present.
592 if (C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
593 C.getJobs().Print(llvm::errs(), "\n", true);
597 // If there were errors building the compilation, quit now.
598 if (Diags.hasErrorOccurred())
601 // Set up response file names for each command, if necessary
602 setUpResponseFiles(C, C.getJobs());
604 C.ExecuteJob(C.getJobs(), FailingCommands);
606 // Remove temp files.
607 C.CleanupFileList(C.getTempFiles());
609 // If the command succeeded, we are done.
610 if (FailingCommands.empty())
613 // Otherwise, remove result files and print extra information about abnormal
615 for (SmallVectorImpl< std::pair<int, const Command *> >::iterator it =
616 FailingCommands.begin(), ie = FailingCommands.end(); it != ie; ++it) {
618 const Command *FailingCommand = it->second;
620 // Remove result files if we're not saving temps.
621 if (!isSaveTempsEnabled()) {
622 const JobAction *JA = cast<JobAction>(&FailingCommand->getSource());
623 C.CleanupFileMap(C.getResultFiles(), JA, true);
625 // Failure result files are valid unless we crashed.
627 C.CleanupFileMap(C.getFailureResultFiles(), JA, true);
630 // Print extra information about abnormal failures, if possible.
632 // This is ad-hoc, but we don't want to be excessively noisy. If the result
633 // status was 1, assume the command failed normally. In particular, if it
634 // was the compiler then assume it gave a reasonable error code. Failures
635 // in other tools are less common, and they generally have worse
636 // diagnostics, so always print the diagnostic there.
637 const Tool &FailingTool = FailingCommand->getCreator();
639 if (!FailingCommand->getCreator().hasGoodDiagnostics() || Res != 1) {
640 // FIXME: See FIXME above regarding result code interpretation.
642 Diag(clang::diag::err_drv_command_signalled)
643 << FailingTool.getShortName();
645 Diag(clang::diag::err_drv_command_failed)
646 << FailingTool.getShortName() << Res;
652 void Driver::PrintHelp(bool ShowHidden) const {
653 unsigned IncludedFlagsBitmask;
654 unsigned ExcludedFlagsBitmask;
655 std::tie(IncludedFlagsBitmask, ExcludedFlagsBitmask) =
656 getIncludeExcludeOptionFlagMasks();
658 ExcludedFlagsBitmask |= options::NoDriverOption;
660 ExcludedFlagsBitmask |= HelpHidden;
662 getOpts().PrintHelp(llvm::outs(), Name.c_str(), DriverTitle.c_str(),
663 IncludedFlagsBitmask, ExcludedFlagsBitmask);
666 void Driver::PrintVersion(const Compilation &C, raw_ostream &OS) const {
667 // FIXME: The following handlers should use a callback mechanism, we don't
668 // know what the client would like to do.
669 OS << getClangFullVersion() << '\n';
670 const ToolChain &TC = C.getDefaultToolChain();
671 OS << "Target: " << TC.getTripleString() << '\n';
673 // Print the threading model.
674 if (Arg *A = C.getArgs().getLastArg(options::OPT_mthread_model)) {
675 // Don't print if the ToolChain would have barfed on it already
676 if (TC.isThreadModelSupported(A->getValue()))
677 OS << "Thread model: " << A->getValue();
679 OS << "Thread model: " << TC.getThreadModel();
683 /// PrintDiagnosticCategories - Implement the --print-diagnostic-categories
685 static void PrintDiagnosticCategories(raw_ostream &OS) {
686 // Skip the empty category.
687 for (unsigned i = 1, max = DiagnosticIDs::getNumberOfCategories();
689 OS << i << ',' << DiagnosticIDs::getCategoryNameFromID(i) << '\n';
692 bool Driver::HandleImmediateArgs(const Compilation &C) {
693 // The order these options are handled in gcc is all over the place, but we
694 // don't expect inconsistencies w.r.t. that to matter in practice.
696 if (C.getArgs().hasArg(options::OPT_dumpmachine)) {
697 llvm::outs() << C.getDefaultToolChain().getTripleString() << '\n';
701 if (C.getArgs().hasArg(options::OPT_dumpversion)) {
702 // Since -dumpversion is only implemented for pedantic GCC compatibility, we
703 // return an answer which matches our definition of __VERSION__.
705 // If we want to return a more correct answer some day, then we should
706 // introduce a non-pedantically GCC compatible mode to Clang in which we
707 // provide sensible definitions for -dumpversion, __VERSION__, etc.
708 llvm::outs() << "4.2.1\n";
712 if (C.getArgs().hasArg(options::OPT__print_diagnostic_categories)) {
713 PrintDiagnosticCategories(llvm::outs());
717 if (C.getArgs().hasArg(options::OPT_help) ||
718 C.getArgs().hasArg(options::OPT__help_hidden)) {
719 PrintHelp(C.getArgs().hasArg(options::OPT__help_hidden));
723 if (C.getArgs().hasArg(options::OPT__version)) {
724 // Follow gcc behavior and use stdout for --version and stderr for -v.
725 PrintVersion(C, llvm::outs());
729 if (C.getArgs().hasArg(options::OPT_v) ||
730 C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
731 PrintVersion(C, llvm::errs());
732 SuppressMissingInputWarning = true;
735 const ToolChain &TC = C.getDefaultToolChain();
737 if (C.getArgs().hasArg(options::OPT_v))
738 TC.printVerboseInfo(llvm::errs());
740 if (C.getArgs().hasArg(options::OPT_print_search_dirs)) {
741 llvm::outs() << "programs: =";
742 for (ToolChain::path_list::const_iterator it = TC.getProgramPaths().begin(),
743 ie = TC.getProgramPaths().end(); it != ie; ++it) {
744 if (it != TC.getProgramPaths().begin())
748 llvm::outs() << "\n";
749 llvm::outs() << "libraries: =" << ResourceDir;
751 StringRef sysroot = C.getSysRoot();
753 for (ToolChain::path_list::const_iterator it = TC.getFilePaths().begin(),
754 ie = TC.getFilePaths().end(); it != ie; ++it) {
756 const char *path = it->c_str();
758 llvm::outs() << sysroot << path + 1;
760 llvm::outs() << path;
762 llvm::outs() << "\n";
766 // FIXME: The following handlers should use a callback mechanism, we don't
767 // know what the client would like to do.
768 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_file_name_EQ)) {
769 llvm::outs() << GetFilePath(A->getValue(), TC) << "\n";
773 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_prog_name_EQ)) {
774 llvm::outs() << GetProgramPath(A->getValue(), TC) << "\n";
778 if (C.getArgs().hasArg(options::OPT_print_libgcc_file_name)) {
779 llvm::outs() << GetFilePath("libgcc.a", TC) << "\n";
783 if (C.getArgs().hasArg(options::OPT_print_multi_lib)) {
784 const MultilibSet &Multilibs = TC.getMultilibs();
786 for (MultilibSet::const_iterator I = Multilibs.begin(), E = Multilibs.end();
788 llvm::outs() << *I << "\n";
793 if (C.getArgs().hasArg(options::OPT_print_multi_directory)) {
794 const MultilibSet &Multilibs = TC.getMultilibs();
795 for (MultilibSet::const_iterator I = Multilibs.begin(), E = Multilibs.end();
797 if (I->gccSuffix().empty())
798 llvm::outs() << ".\n";
800 StringRef Suffix(I->gccSuffix());
801 assert(Suffix.front() == '/');
802 llvm::outs() << Suffix.substr(1) << "\n";
808 if (C.getArgs().hasArg(options::OPT_print_multi_os_directory)) {
809 // FIXME: This should print out "lib/../lib", "lib/../lib64", or
810 // "lib/../lib32" as appropriate for the toolchain. For now, print
811 // nothing because it's not supported yet.
818 // Display an action graph human-readably. Action A is the "sink" node
819 // and latest-occuring action. Traversal is in pre-order, visiting the
820 // inputs to each action before printing the action itself.
821 static unsigned PrintActions1(const Compilation &C, Action *A,
822 std::map<Action*, unsigned> &Ids) {
823 if (Ids.count(A)) // A was already visited.
827 llvm::raw_string_ostream os(str);
829 os << Action::getClassName(A->getKind()) << ", ";
830 if (InputAction *IA = dyn_cast<InputAction>(A)) {
831 os << "\"" << IA->getInputArg().getValue() << "\"";
832 } else if (BindArchAction *BIA = dyn_cast<BindArchAction>(A)) {
833 os << '"' << BIA->getArchName() << '"'
834 << ", {" << PrintActions1(C, *BIA->begin(), Ids) << "}";
837 for (Action::iterator it = A->begin(), ie = A->end(); it != ie;) {
838 os << PrintActions1(C, *it, Ids);
846 unsigned Id = Ids.size();
848 llvm::errs() << Id << ": " << os.str() << ", "
849 << types::getTypeName(A->getType()) << "\n";
854 // Print the action graphs in a compilation C.
855 // For example "clang -c file1.c file2.c" is composed of two subgraphs.
856 void Driver::PrintActions(const Compilation &C) const {
857 std::map<Action*, unsigned> Ids;
858 for (ActionList::const_iterator it = C.getActions().begin(),
859 ie = C.getActions().end(); it != ie; ++it)
860 PrintActions1(C, *it, Ids);
863 /// \brief Check whether the given input tree contains any compilation or
864 /// assembly actions.
865 static bool ContainsCompileOrAssembleAction(const Action *A) {
866 if (isa<CompileJobAction>(A) ||
867 isa<BackendJobAction>(A) ||
868 isa<AssembleJobAction>(A))
871 for (Action::const_iterator it = A->begin(), ie = A->end(); it != ie; ++it)
872 if (ContainsCompileOrAssembleAction(*it))
878 void Driver::BuildUniversalActions(const ToolChain &TC,
879 DerivedArgList &Args,
880 const InputList &BAInputs,
881 ActionList &Actions) const {
882 llvm::PrettyStackTraceString CrashInfo("Building universal build actions");
883 // Collect the list of architectures. Duplicates are allowed, but should only
884 // be handled once (in the order seen).
885 llvm::StringSet<> ArchNames;
886 SmallVector<const char *, 4> Archs;
887 for (Arg *A : Args) {
888 if (A->getOption().matches(options::OPT_arch)) {
889 // Validate the option here; we don't save the type here because its
890 // particular spelling may participate in other driver choices.
891 llvm::Triple::ArchType Arch =
892 tools::darwin::getArchTypeForMachOArchName(A->getValue());
893 if (Arch == llvm::Triple::UnknownArch) {
894 Diag(clang::diag::err_drv_invalid_arch_name)
895 << A->getAsString(Args);
900 if (ArchNames.insert(A->getValue()).second)
901 Archs.push_back(A->getValue());
905 // When there is no explicit arch for this platform, make sure we still bind
906 // the architecture (to the default) so that -Xarch_ is handled correctly.
908 Archs.push_back(Args.MakeArgString(TC.getDefaultUniversalArchName()));
910 ActionList SingleActions;
911 BuildActions(TC, Args, BAInputs, SingleActions);
913 // Add in arch bindings for every top level action, as well as lipo and
914 // dsymutil steps if needed.
915 for (unsigned i = 0, e = SingleActions.size(); i != e; ++i) {
916 Action *Act = SingleActions[i];
918 // Make sure we can lipo this kind of output. If not (and it is an actual
919 // output) then we disallow, since we can't create an output file with the
920 // right name without overwriting it. We could remove this oddity by just
921 // changing the output names to include the arch, which would also fix
922 // -save-temps. Compatibility wins for now.
924 if (Archs.size() > 1 && !types::canLipoType(Act->getType()))
925 Diag(clang::diag::err_drv_invalid_output_with_multiple_archs)
926 << types::getTypeName(Act->getType());
929 for (unsigned i = 0, e = Archs.size(); i != e; ++i) {
931 new BindArchAction(std::unique_ptr<Action>(Act), Archs[i]));
933 Inputs.back()->setOwnsInputs(false);
936 // Lipo if necessary, we do it this way because we need to set the arch flag
937 // so that -Xarch_ gets overwritten.
938 if (Inputs.size() == 1 || Act->getType() == types::TY_Nothing)
939 Actions.append(Inputs.begin(), Inputs.end());
941 Actions.push_back(new LipoJobAction(Inputs, Act->getType()));
943 // Handle debug info queries.
944 Arg *A = Args.getLastArg(options::OPT_g_Group);
945 if (A && !A->getOption().matches(options::OPT_g0) &&
946 !A->getOption().matches(options::OPT_gstabs) &&
947 ContainsCompileOrAssembleAction(Actions.back())) {
949 // Add a 'dsymutil' step if necessary, when debug info is enabled and we
950 // have a compile input. We need to run 'dsymutil' ourselves in such cases
951 // because the debug info will refer to a temporary object file which
952 // will be removed at the end of the compilation process.
953 if (Act->getType() == types::TY_Image) {
955 Inputs.push_back(Actions.back());
957 Actions.push_back(new DsymutilJobAction(Inputs, types::TY_dSYM));
960 // Verify the debug info output.
961 if (Args.hasArg(options::OPT_verify_debug_info)) {
962 std::unique_ptr<Action> VerifyInput(Actions.back());
964 Actions.push_back(new VerifyDebugInfoJobAction(std::move(VerifyInput),
971 /// \brief Check that the file referenced by Value exists. If it doesn't,
972 /// issue a diagnostic and return false.
973 static bool DiagnoseInputExistence(const Driver &D, const DerivedArgList &Args,
975 if (!D.getCheckInputsExist())
978 // stdin always exists.
982 SmallString<64> Path(Value);
983 if (Arg *WorkDir = Args.getLastArg(options::OPT_working_directory)) {
984 if (!llvm::sys::path::is_absolute(Path)) {
985 SmallString<64> Directory(WorkDir->getValue());
986 llvm::sys::path::append(Directory, Value);
987 Path.assign(Directory);
991 if (llvm::sys::fs::exists(Twine(Path)))
994 if (D.IsCLMode() && !llvm::sys::path::is_absolute(Twine(Path)) &&
995 llvm::sys::Process::FindInEnvPath("LIB", Value))
998 D.Diag(clang::diag::err_drv_no_such_file) << Path;
1002 // Construct a the list of inputs and their types.
1003 void Driver::BuildInputs(const ToolChain &TC, DerivedArgList &Args,
1004 InputList &Inputs) const {
1005 // Track the current user specified (-x) input. We also explicitly track the
1006 // argument used to set the type; we only want to claim the type when we
1007 // actually use it, so we warn about unused -x arguments.
1008 types::ID InputType = types::TY_Nothing;
1009 Arg *InputTypeArg = nullptr;
1011 // The last /TC or /TP option sets the input type to C or C++ globally.
1012 if (Arg *TCTP = Args.getLastArgNoClaim(options::OPT__SLASH_TC,
1013 options::OPT__SLASH_TP)) {
1014 InputTypeArg = TCTP;
1015 InputType = TCTP->getOption().matches(options::OPT__SLASH_TC)
1016 ? types::TY_C : types::TY_CXX;
1018 arg_iterator it = Args.filtered_begin(options::OPT__SLASH_TC,
1019 options::OPT__SLASH_TP);
1020 const arg_iterator ie = Args.filtered_end();
1021 Arg *Previous = *it++;
1022 bool ShowNote = false;
1024 Diag(clang::diag::warn_drv_overriding_flag_option)
1025 << Previous->getSpelling() << (*it)->getSpelling();
1030 Diag(clang::diag::note_drv_t_option_is_global);
1032 // No driver mode exposes -x and /TC or /TP; we don't support mixing them.
1033 assert(!Args.hasArg(options::OPT_x) && "-x and /TC or /TP is not allowed");
1036 for (Arg *A : Args) {
1037 if (A->getOption().getKind() == Option::InputClass) {
1038 const char *Value = A->getValue();
1039 types::ID Ty = types::TY_INVALID;
1041 // Infer the input type if necessary.
1042 if (InputType == types::TY_Nothing) {
1043 // If there was an explicit arg for this, claim it.
1045 InputTypeArg->claim();
1047 // stdin must be handled specially.
1048 if (memcmp(Value, "-", 2) == 0) {
1049 // If running with -E, treat as a C input (this changes the builtin
1050 // macros, for example). This may be overridden by -ObjC below.
1052 // Otherwise emit an error but still use a valid type to avoid
1053 // spurious errors (e.g., no inputs).
1054 if (!Args.hasArgNoClaim(options::OPT_E) && !CCCIsCPP())
1055 Diag(IsCLMode() ? clang::diag::err_drv_unknown_stdin_type_clang_cl
1056 : clang::diag::err_drv_unknown_stdin_type);
1059 // Otherwise lookup by extension.
1060 // Fallback is C if invoked as C preprocessor or Object otherwise.
1061 // We use a host hook here because Darwin at least has its own
1062 // idea of what .s is.
1063 if (const char *Ext = strrchr(Value, '.'))
1064 Ty = TC.LookupTypeForExtension(Ext + 1);
1066 if (Ty == types::TY_INVALID) {
1070 Ty = types::TY_Object;
1073 // If the driver is invoked as C++ compiler (like clang++ or c++) it
1074 // should autodetect some input files as C++ for g++ compatibility.
1076 types::ID OldTy = Ty;
1077 Ty = types::lookupCXXTypeForCType(Ty);
1080 Diag(clang::diag::warn_drv_treating_input_as_cxx)
1081 << getTypeName(OldTy) << getTypeName(Ty);
1085 // -ObjC and -ObjC++ override the default language, but only for "source
1086 // files". We just treat everything that isn't a linker input as a
1089 // FIXME: Clean this up if we move the phase sequence into the type.
1090 if (Ty != types::TY_Object) {
1091 if (Args.hasArg(options::OPT_ObjC))
1092 Ty = types::TY_ObjC;
1093 else if (Args.hasArg(options::OPT_ObjCXX))
1094 Ty = types::TY_ObjCXX;
1097 assert(InputTypeArg && "InputType set w/o InputTypeArg");
1098 if (!InputTypeArg->getOption().matches(options::OPT_x)) {
1099 // If emulating cl.exe, make sure that /TC and /TP don't affect input
1101 const char *Ext = strrchr(Value, '.');
1102 if (Ext && TC.LookupTypeForExtension(Ext + 1) == types::TY_Object)
1103 Ty = types::TY_Object;
1105 if (Ty == types::TY_INVALID) {
1107 InputTypeArg->claim();
1111 if (DiagnoseInputExistence(*this, Args, Value))
1112 Inputs.push_back(std::make_pair(Ty, A));
1114 } else if (A->getOption().matches(options::OPT__SLASH_Tc)) {
1115 StringRef Value = A->getValue();
1116 if (DiagnoseInputExistence(*this, Args, Value)) {
1117 Arg *InputArg = MakeInputArg(Args, Opts, A->getValue());
1118 Inputs.push_back(std::make_pair(types::TY_C, InputArg));
1121 } else if (A->getOption().matches(options::OPT__SLASH_Tp)) {
1122 StringRef Value = A->getValue();
1123 if (DiagnoseInputExistence(*this, Args, Value)) {
1124 Arg *InputArg = MakeInputArg(Args, Opts, A->getValue());
1125 Inputs.push_back(std::make_pair(types::TY_CXX, InputArg));
1128 } else if (A->getOption().hasFlag(options::LinkerInput)) {
1129 // Just treat as object type, we could make a special type for this if
1131 Inputs.push_back(std::make_pair(types::TY_Object, A));
1133 } else if (A->getOption().matches(options::OPT_x)) {
1135 InputType = types::lookupTypeForTypeSpecifier(A->getValue());
1138 // Follow gcc behavior and treat as linker input for invalid -x
1139 // options. Its not clear why we shouldn't just revert to unknown; but
1140 // this isn't very important, we might as well be bug compatible.
1142 Diag(clang::diag::err_drv_unknown_language) << A->getValue();
1143 InputType = types::TY_Object;
1147 if (CCCIsCPP() && Inputs.empty()) {
1148 // If called as standalone preprocessor, stdin is processed
1149 // if no other input is present.
1150 Arg *A = MakeInputArg(Args, Opts, "-");
1151 Inputs.push_back(std::make_pair(types::TY_C, A));
1155 void Driver::BuildActions(const ToolChain &TC, DerivedArgList &Args,
1156 const InputList &Inputs, ActionList &Actions) const {
1157 llvm::PrettyStackTraceString CrashInfo("Building compilation actions");
1159 if (!SuppressMissingInputWarning && Inputs.empty()) {
1160 Diag(clang::diag::err_drv_no_input_files);
1165 phases::ID FinalPhase = getFinalPhase(Args, &FinalPhaseArg);
1167 if (FinalPhase == phases::Link && Args.hasArg(options::OPT_emit_llvm)) {
1168 Diag(clang::diag::err_drv_emit_llvm_link);
1171 // Reject -Z* at the top level, these options should never have been exposed
1173 if (Arg *A = Args.getLastArg(options::OPT_Z_Joined))
1174 Diag(clang::diag::err_drv_use_of_Z_option) << A->getAsString(Args);
1176 // Diagnose misuse of /Fo.
1177 if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fo)) {
1178 StringRef V = A->getValue();
1179 if (Inputs.size() > 1 && !V.empty() &&
1180 !llvm::sys::path::is_separator(V.back())) {
1181 // Check whether /Fo tries to name an output file for multiple inputs.
1182 Diag(clang::diag::err_drv_out_file_argument_with_multiple_sources)
1183 << A->getSpelling() << V;
1184 Args.eraseArg(options::OPT__SLASH_Fo);
1188 // Diagnose misuse of /Fa.
1189 if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fa)) {
1190 StringRef V = A->getValue();
1191 if (Inputs.size() > 1 && !V.empty() &&
1192 !llvm::sys::path::is_separator(V.back())) {
1193 // Check whether /Fa tries to name an asm file for multiple inputs.
1194 Diag(clang::diag::err_drv_out_file_argument_with_multiple_sources)
1195 << A->getSpelling() << V;
1196 Args.eraseArg(options::OPT__SLASH_Fa);
1200 // Diagnose misuse of /o.
1201 if (Arg *A = Args.getLastArg(options::OPT__SLASH_o)) {
1202 if (A->getValue()[0] == '\0') {
1203 // It has to have a value.
1204 Diag(clang::diag::err_drv_missing_argument) << A->getSpelling() << 1;
1205 Args.eraseArg(options::OPT__SLASH_o);
1209 // Construct the actions to perform.
1210 ActionList LinkerInputs;
1212 llvm::SmallVector<phases::ID, phases::MaxNumberOfPhases> PL;
1213 for (unsigned i = 0, e = Inputs.size(); i != e; ++i) {
1214 types::ID InputType = Inputs[i].first;
1215 const Arg *InputArg = Inputs[i].second;
1218 types::getCompilationPhases(InputType, PL);
1220 // If the first step comes after the final phase we are doing as part of
1221 // this compilation, warn the user about it.
1222 phases::ID InitialPhase = PL[0];
1223 if (InitialPhase > FinalPhase) {
1224 // Claim here to avoid the more general unused warning.
1227 // Suppress all unused style warnings with -Qunused-arguments
1228 if (Args.hasArg(options::OPT_Qunused_arguments))
1231 // Special case when final phase determined by binary name, rather than
1232 // by a command-line argument with a corresponding Arg.
1234 Diag(clang::diag::warn_drv_input_file_unused_by_cpp)
1235 << InputArg->getAsString(Args)
1236 << getPhaseName(InitialPhase);
1237 // Special case '-E' warning on a previously preprocessed file to make
1239 else if (InitialPhase == phases::Compile &&
1240 FinalPhase == phases::Preprocess &&
1241 getPreprocessedType(InputType) == types::TY_INVALID)
1242 Diag(clang::diag::warn_drv_preprocessed_input_file_unused)
1243 << InputArg->getAsString(Args)
1245 << (FinalPhaseArg ? FinalPhaseArg->getOption().getName() : "");
1247 Diag(clang::diag::warn_drv_input_file_unused)
1248 << InputArg->getAsString(Args)
1249 << getPhaseName(InitialPhase)
1251 << (FinalPhaseArg ? FinalPhaseArg->getOption().getName() : "");
1255 // Build the pipeline for this file.
1256 std::unique_ptr<Action> Current(new InputAction(*InputArg, InputType));
1257 for (SmallVectorImpl<phases::ID>::iterator
1258 i = PL.begin(), e = PL.end(); i != e; ++i) {
1259 phases::ID Phase = *i;
1261 // We are done if this step is past what the user requested.
1262 if (Phase > FinalPhase)
1265 // Queue linker inputs.
1266 if (Phase == phases::Link) {
1267 assert((i + 1) == e && "linking must be final compilation step.");
1268 LinkerInputs.push_back(Current.release());
1272 // Some types skip the assembler phase (e.g., llvm-bc), but we can't
1273 // encode this in the steps because the intermediate type depends on
1274 // arguments. Just special case here.
1275 if (Phase == phases::Assemble && Current->getType() != types::TY_PP_Asm)
1278 // Otherwise construct the appropriate action.
1279 Current = ConstructPhaseAction(TC, Args, Phase, std::move(Current));
1280 if (Current->getType() == types::TY_Nothing)
1284 // If we ended with something, add to the output list.
1286 Actions.push_back(Current.release());
1289 // Add a link action if necessary.
1290 if (!LinkerInputs.empty())
1291 Actions.push_back(new LinkJobAction(LinkerInputs, types::TY_Image));
1293 // If we are linking, claim any options which are obviously only used for
1295 if (FinalPhase == phases::Link && PL.size() == 1) {
1296 Args.ClaimAllArgs(options::OPT_CompileOnly_Group);
1297 Args.ClaimAllArgs(options::OPT_cl_compile_Group);
1300 // Claim ignored clang-cl options.
1301 Args.ClaimAllArgs(options::OPT_cl_ignored_Group);
1304 std::unique_ptr<Action>
1305 Driver::ConstructPhaseAction(const ToolChain &TC, const ArgList &Args,
1307 std::unique_ptr<Action> Input) const {
1308 llvm::PrettyStackTraceString CrashInfo("Constructing phase actions");
1309 // Build the appropriate action.
1311 case phases::Link: llvm_unreachable("link action invalid here.");
1312 case phases::Preprocess: {
1314 // -{M, MM} alter the output type.
1315 if (Args.hasArg(options::OPT_M, options::OPT_MM)) {
1316 OutputTy = types::TY_Dependencies;
1318 OutputTy = Input->getType();
1319 if (!Args.hasFlag(options::OPT_frewrite_includes,
1320 options::OPT_fno_rewrite_includes, false) &&
1322 OutputTy = types::getPreprocessedType(OutputTy);
1323 assert(OutputTy != types::TY_INVALID &&
1324 "Cannot preprocess this input type!");
1326 return llvm::make_unique<PreprocessJobAction>(std::move(Input), OutputTy);
1328 case phases::Precompile: {
1329 types::ID OutputTy = types::TY_PCH;
1330 if (Args.hasArg(options::OPT_fsyntax_only)) {
1331 // Syntax checks should not emit a PCH file
1332 OutputTy = types::TY_Nothing;
1334 return llvm::make_unique<PrecompileJobAction>(std::move(Input), OutputTy);
1336 case phases::Compile: {
1337 if (Args.hasArg(options::OPT_fsyntax_only))
1338 return llvm::make_unique<CompileJobAction>(std::move(Input),
1340 if (Args.hasArg(options::OPT_rewrite_objc))
1341 return llvm::make_unique<CompileJobAction>(std::move(Input),
1342 types::TY_RewrittenObjC);
1343 if (Args.hasArg(options::OPT_rewrite_legacy_objc))
1344 return llvm::make_unique<CompileJobAction>(std::move(Input),
1345 types::TY_RewrittenLegacyObjC);
1346 if (Args.hasArg(options::OPT__analyze, options::OPT__analyze_auto))
1347 return llvm::make_unique<AnalyzeJobAction>(std::move(Input),
1349 if (Args.hasArg(options::OPT__migrate))
1350 return llvm::make_unique<MigrateJobAction>(std::move(Input),
1352 if (Args.hasArg(options::OPT_emit_ast))
1353 return llvm::make_unique<CompileJobAction>(std::move(Input),
1355 if (Args.hasArg(options::OPT_module_file_info))
1356 return llvm::make_unique<CompileJobAction>(std::move(Input),
1357 types::TY_ModuleFile);
1358 if (Args.hasArg(options::OPT_verify_pch))
1359 return llvm::make_unique<VerifyPCHJobAction>(std::move(Input),
1361 return llvm::make_unique<CompileJobAction>(std::move(Input),
1364 case phases::Backend: {
1365 if (IsUsingLTO(TC, Args)) {
1367 Args.hasArg(options::OPT_S) ? types::TY_LTO_IR : types::TY_LTO_BC;
1368 return llvm::make_unique<BackendJobAction>(std::move(Input), Output);
1370 if (Args.hasArg(options::OPT_emit_llvm)) {
1372 Args.hasArg(options::OPT_S) ? types::TY_LLVM_IR : types::TY_LLVM_BC;
1373 return llvm::make_unique<BackendJobAction>(std::move(Input), Output);
1375 return llvm::make_unique<BackendJobAction>(std::move(Input),
1378 case phases::Assemble:
1379 return llvm::make_unique<AssembleJobAction>(std::move(Input),
1383 llvm_unreachable("invalid phase in ConstructPhaseAction");
1386 bool Driver::IsUsingLTO(const ToolChain &TC, const ArgList &Args) const {
1387 if (TC.getSanitizerArgs().needsLTO())
1390 if (Args.hasFlag(options::OPT_flto, options::OPT_fno_lto, false))
1396 void Driver::BuildJobs(Compilation &C) const {
1397 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
1399 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
1401 // It is an error to provide a -o option if we are making multiple output
1404 unsigned NumOutputs = 0;
1405 for (const Action *A : C.getActions())
1406 if (A->getType() != types::TY_Nothing)
1409 if (NumOutputs > 1) {
1410 Diag(clang::diag::err_drv_output_argument_with_multiple_files);
1411 FinalOutput = nullptr;
1415 // Collect the list of architectures.
1416 llvm::StringSet<> ArchNames;
1417 if (C.getDefaultToolChain().getTriple().isOSBinFormatMachO())
1418 for (const Arg *A : C.getArgs())
1419 if (A->getOption().matches(options::OPT_arch))
1420 ArchNames.insert(A->getValue());
1422 for (Action *A : C.getActions()) {
1423 // If we are linking an image for multiple archs then the linker wants
1424 // -arch_multiple and -final_output <final image name>. Unfortunately, this
1425 // doesn't fit in cleanly because we have to pass this information down.
1427 // FIXME: This is a hack; find a cleaner way to integrate this into the
1429 const char *LinkingOutput = nullptr;
1430 if (isa<LipoJobAction>(A)) {
1432 LinkingOutput = FinalOutput->getValue();
1434 LinkingOutput = getDefaultImageName();
1438 BuildJobsForAction(C, A, &C.getDefaultToolChain(),
1439 /*BoundArch*/nullptr,
1440 /*AtTopLevel*/ true,
1441 /*MultipleArchs*/ ArchNames.size() > 1,
1442 /*LinkingOutput*/ LinkingOutput,
1446 // If the user passed -Qunused-arguments or there were errors, don't warn
1447 // about any unused arguments.
1448 if (Diags.hasErrorOccurred() ||
1449 C.getArgs().hasArg(options::OPT_Qunused_arguments))
1453 (void) C.getArgs().hasArg(options::OPT__HASH_HASH_HASH);
1455 // Claim --driver-mode, it was handled earlier.
1456 (void) C.getArgs().hasArg(options::OPT_driver_mode);
1458 for (Arg *A : C.getArgs()) {
1459 // FIXME: It would be nice to be able to send the argument to the
1460 // DiagnosticsEngine, so that extra values, position, and so on could be
1462 if (!A->isClaimed()) {
1463 if (A->getOption().hasFlag(options::NoArgumentUnused))
1466 // Suppress the warning automatically if this is just a flag, and it is an
1467 // instance of an argument we already claimed.
1468 const Option &Opt = A->getOption();
1469 if (Opt.getKind() == Option::FlagClass) {
1470 bool DuplicateClaimed = false;
1472 for (const Arg *AA : C.getArgs().filtered(&Opt)) {
1473 if (AA->isClaimed()) {
1474 DuplicateClaimed = true;
1479 if (DuplicateClaimed)
1483 Diag(clang::diag::warn_drv_unused_argument)
1484 << A->getAsString(C.getArgs());
1489 static const Tool *SelectToolForJob(Compilation &C, bool SaveTemps,
1490 const ToolChain *TC, const JobAction *JA,
1491 const ActionList *&Inputs) {
1492 const Tool *ToolForJob = nullptr;
1494 // See if we should look for a compiler with an integrated assembler. We match
1495 // bottom up, so what we are actually looking for is an assembler job with a
1498 if (TC->useIntegratedAs() &&
1500 !C.getArgs().hasArg(options::OPT_via_file_asm) &&
1501 !C.getArgs().hasArg(options::OPT__SLASH_FA) &&
1502 !C.getArgs().hasArg(options::OPT__SLASH_Fa) &&
1503 isa<AssembleJobAction>(JA) &&
1504 Inputs->size() == 1 && isa<BackendJobAction>(*Inputs->begin())) {
1505 // A BackendJob is always preceded by a CompileJob, and without
1506 // -save-temps they will always get combined together, so instead of
1507 // checking the backend tool, check if the tool for the CompileJob
1508 // has an integrated assembler.
1509 const ActionList *BackendInputs = &(*Inputs)[0]->getInputs();
1510 JobAction *CompileJA = cast<CompileJobAction>(*BackendInputs->begin());
1511 const Tool *Compiler = TC->SelectTool(*CompileJA);
1514 if (Compiler->hasIntegratedAssembler()) {
1515 Inputs = &(*BackendInputs)[0]->getInputs();
1516 ToolForJob = Compiler;
1520 // A backend job should always be combined with the preceding compile job
1521 // unless OPT_save_temps is enabled and the compiler is capable of emitting
1522 // LLVM IR as an intermediate output.
1523 if (isa<BackendJobAction>(JA)) {
1524 // Check if the compiler supports emitting LLVM IR.
1525 assert(Inputs->size() == 1);
1526 JobAction *CompileJA = cast<CompileJobAction>(*Inputs->begin());
1527 const Tool *Compiler = TC->SelectTool(*CompileJA);
1530 if (!Compiler->canEmitIR() || !SaveTemps) {
1531 Inputs = &(*Inputs)[0]->getInputs();
1532 ToolForJob = Compiler;
1536 // Otherwise use the tool for the current job.
1538 ToolForJob = TC->SelectTool(*JA);
1540 // See if we should use an integrated preprocessor. We do so when we have
1541 // exactly one input, since this is the only use case we care about
1542 // (irrelevant since we don't support combine yet).
1543 if (Inputs->size() == 1 && isa<PreprocessJobAction>(*Inputs->begin()) &&
1544 !C.getArgs().hasArg(options::OPT_no_integrated_cpp) &&
1545 !C.getArgs().hasArg(options::OPT_traditional_cpp) &&
1547 !C.getArgs().hasArg(options::OPT_rewrite_objc) &&
1548 ToolForJob->hasIntegratedCPP())
1549 Inputs = &(*Inputs)[0]->getInputs();
1554 void Driver::BuildJobsForAction(Compilation &C,
1556 const ToolChain *TC,
1557 const char *BoundArch,
1560 const char *LinkingOutput,
1561 InputInfo &Result) const {
1562 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
1564 if (const InputAction *IA = dyn_cast<InputAction>(A)) {
1565 // FIXME: It would be nice to not claim this here; maybe the old scheme of
1566 // just using Args was better?
1567 const Arg &Input = IA->getInputArg();
1569 if (Input.getOption().matches(options::OPT_INPUT)) {
1570 const char *Name = Input.getValue();
1571 Result = InputInfo(Name, A->getType(), Name);
1573 Result = InputInfo(&Input, A->getType(), "");
1577 if (const BindArchAction *BAA = dyn_cast<BindArchAction>(A)) {
1578 const ToolChain *TC;
1579 const char *ArchName = BAA->getArchName();
1582 TC = &getToolChain(C.getArgs(), ArchName);
1584 TC = &C.getDefaultToolChain();
1586 BuildJobsForAction(C, *BAA->begin(), TC, BAA->getArchName(),
1587 AtTopLevel, MultipleArchs, LinkingOutput, Result);
1591 const ActionList *Inputs = &A->getInputs();
1593 const JobAction *JA = cast<JobAction>(A);
1594 const Tool *T = SelectToolForJob(C, isSaveTempsEnabled(), TC, JA, Inputs);
1598 // Only use pipes when there is exactly one input.
1599 InputInfoList InputInfos;
1600 for (const Action *Input : *Inputs) {
1601 // Treat dsymutil and verify sub-jobs as being at the top-level too, they
1602 // shouldn't get temporary output names.
1603 // FIXME: Clean this up.
1604 bool SubJobAtTopLevel = false;
1605 if (AtTopLevel && (isa<DsymutilJobAction>(A) || isa<VerifyJobAction>(A)))
1606 SubJobAtTopLevel = true;
1609 BuildJobsForAction(C, Input, TC, BoundArch, SubJobAtTopLevel, MultipleArchs,
1611 InputInfos.push_back(II);
1614 // Always use the first input as the base input.
1615 const char *BaseInput = InputInfos[0].getBaseInput();
1617 // ... except dsymutil actions, which use their actual input as the base
1619 if (JA->getType() == types::TY_dSYM)
1620 BaseInput = InputInfos[0].getFilename();
1622 // Determine the place to write output to, if any.
1623 if (JA->getType() == types::TY_Nothing)
1624 Result = InputInfo(A->getType(), BaseInput);
1626 Result = InputInfo(GetNamedOutputPath(C, *JA, BaseInput, BoundArch,
1627 AtTopLevel, MultipleArchs),
1628 A->getType(), BaseInput);
1630 if (CCCPrintBindings && !CCGenDiagnostics) {
1631 llvm::errs() << "# \"" << T->getToolChain().getTripleString() << '"'
1632 << " - \"" << T->getName() << "\", inputs: [";
1633 for (unsigned i = 0, e = InputInfos.size(); i != e; ++i) {
1634 llvm::errs() << InputInfos[i].getAsString();
1636 llvm::errs() << ", ";
1638 llvm::errs() << "], output: " << Result.getAsString() << "\n";
1640 T->ConstructJob(C, *JA, Result, InputInfos,
1641 C.getArgsForToolChain(TC, BoundArch), LinkingOutput);
1645 const char *Driver::getDefaultImageName() const {
1646 llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple));
1647 return Target.isOSWindows() ? "a.exe" : "a.out";
1650 /// \brief Create output filename based on ArgValue, which could either be a
1651 /// full filename, filename without extension, or a directory. If ArgValue
1652 /// does not provide a filename, then use BaseName, and use the extension
1653 /// suitable for FileType.
1654 static const char *MakeCLOutputFilename(const ArgList &Args, StringRef ArgValue,
1655 StringRef BaseName, types::ID FileType) {
1656 SmallString<128> Filename = ArgValue;
1658 if (ArgValue.empty()) {
1659 // If the argument is empty, output to BaseName in the current dir.
1660 Filename = BaseName;
1661 } else if (llvm::sys::path::is_separator(Filename.back())) {
1662 // If the argument is a directory, output to BaseName in that dir.
1663 llvm::sys::path::append(Filename, BaseName);
1666 if (!llvm::sys::path::has_extension(ArgValue)) {
1667 // If the argument didn't provide an extension, then set it.
1668 const char *Extension = types::getTypeTempSuffix(FileType, true);
1670 if (FileType == types::TY_Image &&
1671 Args.hasArg(options::OPT__SLASH_LD, options::OPT__SLASH_LDd)) {
1672 // The output file is a dll.
1676 llvm::sys::path::replace_extension(Filename, Extension);
1679 return Args.MakeArgString(Filename.c_str());
1682 const char *Driver::GetNamedOutputPath(Compilation &C,
1683 const JobAction &JA,
1684 const char *BaseInput,
1685 const char *BoundArch,
1687 bool MultipleArchs) const {
1688 llvm::PrettyStackTraceString CrashInfo("Computing output path");
1689 // Output to a user requested destination?
1690 if (AtTopLevel && !isa<DsymutilJobAction>(JA) &&
1691 !isa<VerifyJobAction>(JA)) {
1692 if (Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o))
1693 return C.addResultFile(FinalOutput->getValue(), &JA);
1696 // For /P, preprocess to file named after BaseInput.
1697 if (C.getArgs().hasArg(options::OPT__SLASH_P)) {
1698 assert(AtTopLevel && isa<PreprocessJobAction>(JA));
1699 StringRef BaseName = llvm::sys::path::filename(BaseInput);
1701 if (Arg *A = C.getArgs().getLastArg(options::OPT__SLASH_Fi))
1702 NameArg = A->getValue();
1703 return C.addResultFile(MakeCLOutputFilename(C.getArgs(), NameArg, BaseName,
1704 types::TY_PP_C), &JA);
1707 // Default to writing to stdout?
1708 if (AtTopLevel && !CCGenDiagnostics &&
1709 (isa<PreprocessJobAction>(JA) || JA.getType() == types::TY_ModuleFile))
1712 // Is this the assembly listing for /FA?
1713 if (JA.getType() == types::TY_PP_Asm &&
1714 (C.getArgs().hasArg(options::OPT__SLASH_FA) ||
1715 C.getArgs().hasArg(options::OPT__SLASH_Fa))) {
1716 // Use /Fa and the input filename to determine the asm file name.
1717 StringRef BaseName = llvm::sys::path::filename(BaseInput);
1718 StringRef FaValue = C.getArgs().getLastArgValue(options::OPT__SLASH_Fa);
1719 return C.addResultFile(MakeCLOutputFilename(C.getArgs(), FaValue, BaseName,
1720 JA.getType()), &JA);
1723 // Output to a temporary file?
1724 if ((!AtTopLevel && !isSaveTempsEnabled() &&
1725 !C.getArgs().hasArg(options::OPT__SLASH_Fo)) ||
1727 StringRef Name = llvm::sys::path::filename(BaseInput);
1728 std::pair<StringRef, StringRef> Split = Name.split('.');
1729 std::string TmpName =
1730 GetTemporaryPath(Split.first,
1731 types::getTypeTempSuffix(JA.getType(), IsCLMode()));
1732 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
1735 SmallString<128> BasePath(BaseInput);
1738 // Dsymutil actions should use the full path.
1739 if (isa<DsymutilJobAction>(JA) || isa<VerifyJobAction>(JA))
1740 BaseName = BasePath;
1742 BaseName = llvm::sys::path::filename(BasePath);
1744 // Determine what the derived output name should be.
1745 const char *NamedOutput;
1747 if (JA.getType() == types::TY_Object &&
1748 C.getArgs().hasArg(options::OPT__SLASH_Fo, options::OPT__SLASH_o)) {
1749 // The /Fo or /o flag decides the object filename.
1750 StringRef Val = C.getArgs().getLastArg(options::OPT__SLASH_Fo,
1751 options::OPT__SLASH_o)->getValue();
1752 NamedOutput = MakeCLOutputFilename(C.getArgs(), Val, BaseName,
1754 } else if (JA.getType() == types::TY_Image &&
1755 C.getArgs().hasArg(options::OPT__SLASH_Fe, options::OPT__SLASH_o)) {
1756 // The /Fe or /o flag names the linked file.
1757 StringRef Val = C.getArgs().getLastArg(options::OPT__SLASH_Fe,
1758 options::OPT__SLASH_o)->getValue();
1759 NamedOutput = MakeCLOutputFilename(C.getArgs(), Val, BaseName,
1761 } else if (JA.getType() == types::TY_Image) {
1763 // clang-cl uses BaseName for the executable name.
1764 NamedOutput = MakeCLOutputFilename(C.getArgs(), "", BaseName,
1766 } else if (MultipleArchs && BoundArch) {
1767 SmallString<128> Output(getDefaultImageName());
1769 Output.append(BoundArch);
1770 NamedOutput = C.getArgs().MakeArgString(Output.c_str());
1772 NamedOutput = getDefaultImageName();
1774 const char *Suffix = types::getTypeTempSuffix(JA.getType(), IsCLMode());
1775 assert(Suffix && "All types used for output should have a suffix.");
1777 std::string::size_type End = std::string::npos;
1778 if (!types::appendSuffixForType(JA.getType()))
1779 End = BaseName.rfind('.');
1780 SmallString<128> Suffixed(BaseName.substr(0, End));
1781 if (MultipleArchs && BoundArch) {
1783 Suffixed.append(BoundArch);
1785 // When using both -save-temps and -emit-llvm, use a ".tmp.bc" suffix for
1786 // the unoptimized bitcode so that it does not get overwritten by the ".bc"
1787 // optimized bitcode output.
1788 if (!AtTopLevel && C.getArgs().hasArg(options::OPT_emit_llvm) &&
1789 JA.getType() == types::TY_LLVM_BC)
1793 NamedOutput = C.getArgs().MakeArgString(Suffixed.c_str());
1796 // Prepend object file path if -save-temps=obj
1797 if (!AtTopLevel && isSaveTempsObj() && C.getArgs().hasArg(options::OPT_o) &&
1798 JA.getType() != types::TY_PCH) {
1799 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
1800 SmallString<128> TempPath(FinalOutput->getValue());
1801 llvm::sys::path::remove_filename(TempPath);
1802 StringRef OutputFileName = llvm::sys::path::filename(NamedOutput);
1803 llvm::sys::path::append(TempPath, OutputFileName);
1804 NamedOutput = C.getArgs().MakeArgString(TempPath.c_str());
1807 // If we're saving temps and the temp file conflicts with the input file,
1808 // then avoid overwriting input file.
1809 if (!AtTopLevel && isSaveTempsEnabled() && NamedOutput == BaseName) {
1810 bool SameFile = false;
1811 SmallString<256> Result;
1812 llvm::sys::fs::current_path(Result);
1813 llvm::sys::path::append(Result, BaseName);
1814 llvm::sys::fs::equivalent(BaseInput, Result.c_str(), SameFile);
1815 // Must share the same path to conflict.
1817 StringRef Name = llvm::sys::path::filename(BaseInput);
1818 std::pair<StringRef, StringRef> Split = Name.split('.');
1819 std::string TmpName =
1820 GetTemporaryPath(Split.first,
1821 types::getTypeTempSuffix(JA.getType(), IsCLMode()));
1822 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
1826 // As an annoying special case, PCH generation doesn't strip the pathname.
1827 if (JA.getType() == types::TY_PCH) {
1828 llvm::sys::path::remove_filename(BasePath);
1829 if (BasePath.empty())
1830 BasePath = NamedOutput;
1832 llvm::sys::path::append(BasePath, NamedOutput);
1833 return C.addResultFile(C.getArgs().MakeArgString(BasePath.c_str()), &JA);
1835 return C.addResultFile(NamedOutput, &JA);
1839 std::string Driver::GetFilePath(const char *Name, const ToolChain &TC) const {
1840 // Respect a limited subset of the '-Bprefix' functionality in GCC by
1841 // attempting to use this prefix when looking for file paths.
1842 for (Driver::prefix_list::const_iterator it = PrefixDirs.begin(),
1843 ie = PrefixDirs.end(); it != ie; ++it) {
1844 std::string Dir(*it);
1848 Dir = SysRoot + Dir.substr(1);
1849 SmallString<128> P(Dir);
1850 llvm::sys::path::append(P, Name);
1851 if (llvm::sys::fs::exists(Twine(P)))
1855 SmallString<128> P(ResourceDir);
1856 llvm::sys::path::append(P, Name);
1857 if (llvm::sys::fs::exists(Twine(P)))
1860 const ToolChain::path_list &List = TC.getFilePaths();
1861 for (ToolChain::path_list::const_iterator
1862 it = List.begin(), ie = List.end(); it != ie; ++it) {
1863 std::string Dir(*it);
1867 Dir = SysRoot + Dir.substr(1);
1868 SmallString<128> P(Dir);
1869 llvm::sys::path::append(P, Name);
1870 if (llvm::sys::fs::exists(Twine(P)))
1878 Driver::generatePrefixedToolNames(const char *Tool, const ToolChain &TC,
1879 SmallVectorImpl<std::string> &Names) const {
1880 // FIXME: Needs a better variable than DefaultTargetTriple
1881 Names.emplace_back(DefaultTargetTriple + "-" + Tool);
1882 Names.emplace_back(Tool);
1885 static bool ScanDirForExecutable(SmallString<128> &Dir,
1886 ArrayRef<std::string> Names) {
1887 for (const auto &Name : Names) {
1888 llvm::sys::path::append(Dir, Name);
1889 if (llvm::sys::fs::can_execute(Twine(Dir)))
1891 llvm::sys::path::remove_filename(Dir);
1896 std::string Driver::GetProgramPath(const char *Name,
1897 const ToolChain &TC) const {
1898 SmallVector<std::string, 2> TargetSpecificExecutables;
1899 generatePrefixedToolNames(Name, TC, TargetSpecificExecutables);
1901 // Respect a limited subset of the '-Bprefix' functionality in GCC by
1902 // attempting to use this prefix when looking for program paths.
1903 for (const auto &PrefixDir : PrefixDirs) {
1904 if (llvm::sys::fs::is_directory(PrefixDir)) {
1905 SmallString<128> P(PrefixDir);
1906 if (ScanDirForExecutable(P, TargetSpecificExecutables))
1909 SmallString<128> P(PrefixDir + Name);
1910 if (llvm::sys::fs::can_execute(Twine(P)))
1915 const ToolChain::path_list &List = TC.getProgramPaths();
1916 for (const auto &Path : List) {
1917 SmallString<128> P(Path);
1918 if (ScanDirForExecutable(P, TargetSpecificExecutables))
1922 // If all else failed, search the path.
1923 for (const auto &TargetSpecificExecutable : TargetSpecificExecutables)
1924 if (llvm::ErrorOr<std::string> P =
1925 llvm::sys::findProgramByName(TargetSpecificExecutable))
1931 std::string Driver::GetTemporaryPath(StringRef Prefix, const char *Suffix)
1933 SmallString<128> Path;
1934 std::error_code EC = llvm::sys::fs::createTemporaryFile(Prefix, Suffix, Path);
1936 Diag(clang::diag::err_unable_to_make_temp) << EC.message();
1943 /// \brief Compute target triple from args.
1945 /// This routine provides the logic to compute a target triple from various
1946 /// args passed to the driver and the default triple string.
1947 static llvm::Triple computeTargetTriple(StringRef DefaultTargetTriple,
1948 const ArgList &Args,
1949 StringRef DarwinArchName) {
1950 // FIXME: Already done in Compilation *Driver::BuildCompilation
1951 if (const Arg *A = Args.getLastArg(options::OPT_target))
1952 DefaultTargetTriple = A->getValue();
1954 llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple));
1956 // Handle Apple-specific options available here.
1957 if (Target.isOSBinFormatMachO()) {
1958 // If an explict Darwin arch name is given, that trumps all.
1959 if (!DarwinArchName.empty()) {
1960 tools::darwin::setTripleTypeForMachOArchName(Target, DarwinArchName);
1964 // Handle the Darwin '-arch' flag.
1965 if (Arg *A = Args.getLastArg(options::OPT_arch)) {
1966 StringRef ArchName = A->getValue();
1967 tools::darwin::setTripleTypeForMachOArchName(Target, ArchName);
1971 // Handle pseudo-target flags '-mlittle-endian'/'-EL' and
1972 // '-mbig-endian'/'-EB'.
1973 if (Arg *A = Args.getLastArg(options::OPT_mlittle_endian,
1974 options::OPT_mbig_endian)) {
1975 if (A->getOption().matches(options::OPT_mlittle_endian)) {
1976 if (Target.getArch() == llvm::Triple::mips)
1977 Target.setArch(llvm::Triple::mipsel);
1978 else if (Target.getArch() == llvm::Triple::mips64)
1979 Target.setArch(llvm::Triple::mips64el);
1980 else if (Target.getArch() == llvm::Triple::aarch64_be)
1981 Target.setArch(llvm::Triple::aarch64);
1983 if (Target.getArch() == llvm::Triple::mipsel)
1984 Target.setArch(llvm::Triple::mips);
1985 else if (Target.getArch() == llvm::Triple::mips64el)
1986 Target.setArch(llvm::Triple::mips64);
1987 else if (Target.getArch() == llvm::Triple::aarch64)
1988 Target.setArch(llvm::Triple::aarch64_be);
1992 // Skip further flag support on OSes which don't support '-m32' or '-m64'.
1993 if (Target.getArchName() == "tce" || Target.getOS() == llvm::Triple::Minix)
1996 // Handle pseudo-target flags '-m64', '-mx32', '-m32' and '-m16'.
1997 if (Arg *A = Args.getLastArg(options::OPT_m64, options::OPT_mx32,
1998 options::OPT_m32, options::OPT_m16)) {
1999 llvm::Triple::ArchType AT = llvm::Triple::UnknownArch;
2001 if (A->getOption().matches(options::OPT_m64)) {
2002 AT = Target.get64BitArchVariant().getArch();
2003 if (Target.getEnvironment() == llvm::Triple::GNUX32)
2004 Target.setEnvironment(llvm::Triple::GNU);
2005 } else if (A->getOption().matches(options::OPT_mx32) &&
2006 Target.get64BitArchVariant().getArch() == llvm::Triple::x86_64) {
2007 AT = llvm::Triple::x86_64;
2008 Target.setEnvironment(llvm::Triple::GNUX32);
2009 } else if (A->getOption().matches(options::OPT_m32)) {
2010 AT = Target.get32BitArchVariant().getArch();
2011 if (Target.getEnvironment() == llvm::Triple::GNUX32)
2012 Target.setEnvironment(llvm::Triple::GNU);
2013 } else if (A->getOption().matches(options::OPT_m16) &&
2014 Target.get32BitArchVariant().getArch() == llvm::Triple::x86) {
2015 AT = llvm::Triple::x86;
2016 Target.setEnvironment(llvm::Triple::CODE16);
2019 if (AT != llvm::Triple::UnknownArch && AT != Target.getArch())
2026 const ToolChain &Driver::getToolChain(const ArgList &Args,
2027 StringRef DarwinArchName) const {
2028 llvm::Triple Target =
2029 computeTargetTriple(DefaultTargetTriple, Args, DarwinArchName);
2031 ToolChain *&TC = ToolChains[Target.str()];
2033 switch (Target.getOS()) {
2034 case llvm::Triple::CloudABI:
2035 TC = new toolchains::CloudABI(*this, Target, Args);
2037 case llvm::Triple::Darwin:
2038 case llvm::Triple::MacOSX:
2039 case llvm::Triple::IOS:
2040 TC = new toolchains::DarwinClang(*this, Target, Args);
2042 case llvm::Triple::DragonFly:
2043 TC = new toolchains::DragonFly(*this, Target, Args);
2045 case llvm::Triple::OpenBSD:
2046 TC = new toolchains::OpenBSD(*this, Target, Args);
2048 case llvm::Triple::Bitrig:
2049 TC = new toolchains::Bitrig(*this, Target, Args);
2051 case llvm::Triple::NetBSD:
2052 TC = new toolchains::NetBSD(*this, Target, Args);
2054 case llvm::Triple::FreeBSD:
2055 TC = new toolchains::FreeBSD(*this, Target, Args);
2057 case llvm::Triple::Minix:
2058 TC = new toolchains::Minix(*this, Target, Args);
2060 case llvm::Triple::Linux:
2061 if (Target.getArch() == llvm::Triple::hexagon)
2062 TC = new toolchains::Hexagon_TC(*this, Target, Args);
2064 TC = new toolchains::Linux(*this, Target, Args);
2066 case llvm::Triple::NaCl:
2067 TC = new toolchains::NaCl_TC(*this, Target, Args);
2069 case llvm::Triple::Solaris:
2070 TC = new toolchains::Solaris(*this, Target, Args);
2072 case llvm::Triple::Win32:
2073 switch (Target.getEnvironment()) {
2075 if (Target.isOSBinFormatELF())
2076 TC = new toolchains::Generic_ELF(*this, Target, Args);
2077 else if (Target.isOSBinFormatMachO())
2078 TC = new toolchains::MachO(*this, Target, Args);
2080 TC = new toolchains::Generic_GCC(*this, Target, Args);
2082 case llvm::Triple::GNU:
2083 // FIXME: We need a MinGW toolchain. Use the default Generic_GCC
2084 // toolchain for now as the default case would below otherwise.
2085 if (Target.isOSBinFormatELF())
2086 TC = new toolchains::Generic_ELF(*this, Target, Args);
2088 TC = new toolchains::Generic_GCC(*this, Target, Args);
2090 case llvm::Triple::Itanium:
2091 TC = new toolchains::CrossWindowsToolChain(*this, Target, Args);
2093 case llvm::Triple::MSVC:
2094 case llvm::Triple::UnknownEnvironment:
2095 TC = new toolchains::MSVCToolChain(*this, Target, Args);
2100 // Of these targets, Hexagon is the only one that might have
2101 // an OS of Linux, in which case it got handled above already.
2102 if (Target.getArchName() == "tce")
2103 TC = new toolchains::TCEToolChain(*this, Target, Args);
2104 else if (Target.getArch() == llvm::Triple::hexagon)
2105 TC = new toolchains::Hexagon_TC(*this, Target, Args);
2106 else if (Target.getArch() == llvm::Triple::xcore)
2107 TC = new toolchains::XCore(*this, Target, Args);
2108 else if (Target.isOSBinFormatELF())
2109 TC = new toolchains::Generic_ELF(*this, Target, Args);
2110 else if (Target.isOSBinFormatMachO())
2111 TC = new toolchains::MachO(*this, Target, Args);
2113 TC = new toolchains::Generic_GCC(*this, Target, Args);
2120 bool Driver::ShouldUseClangCompiler(const JobAction &JA) const {
2121 // Say "no" if there is not exactly one input of a type clang understands.
2122 if (JA.size() != 1 ||
2123 !types::isAcceptedByClang((*JA.begin())->getType()))
2126 // And say "no" if this is not a kind of action clang understands.
2127 if (!isa<PreprocessJobAction>(JA) && !isa<PrecompileJobAction>(JA) &&
2128 !isa<CompileJobAction>(JA) && !isa<BackendJobAction>(JA))
2134 /// GetReleaseVersion - Parse (([0-9]+)(.([0-9]+)(.([0-9]+)?))?)? and return the
2135 /// grouped values as integers. Numbers which are not provided are set to 0.
2137 /// \return True if the entire string was parsed (9.2), or all groups were
2138 /// parsed (10.3.5extrastuff).
2139 bool Driver::GetReleaseVersion(const char *Str, unsigned &Major,
2140 unsigned &Minor, unsigned &Micro,
2144 Major = Minor = Micro = 0;
2149 Major = (unsigned) strtol(Str, &End, 10);
2150 if (*Str != '\0' && *End == '\0')
2156 Minor = (unsigned) strtol(Str, &End, 10);
2157 if (*Str != '\0' && *End == '\0')
2163 Micro = (unsigned) strtol(Str, &End, 10);
2164 if (*Str != '\0' && *End == '\0')
2172 std::pair<unsigned, unsigned> Driver::getIncludeExcludeOptionFlagMasks() const {
2173 unsigned IncludedFlagsBitmask = 0;
2174 unsigned ExcludedFlagsBitmask = options::NoDriverOption;
2176 if (Mode == CLMode) {
2177 // Include CL and Core options.
2178 IncludedFlagsBitmask |= options::CLOption;
2179 IncludedFlagsBitmask |= options::CoreOption;
2181 ExcludedFlagsBitmask |= options::CLOption;
2184 return std::make_pair(IncludedFlagsBitmask, ExcludedFlagsBitmask);
2187 bool clang::driver::isOptimizationLevelFast(const ArgList &Args) {
2188 return Args.hasFlag(options::OPT_Ofast, options::OPT_O_Group, false);