1 //===--- Driver.cpp - Clang GCC Compatible Driver -------------------------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
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"
41 #include <map>
42 #include <memory>
43 
44 using namespace clang::driver;
45 using namespace clang;
46 using namespace llvm::opt;
47 
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) {
59 
60   Name = llvm::sys::path::filename(ClangExecutable);
61   Dir  = llvm::sys::path::parent_path(ClangExecutable);
62 
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);
68   } else {
69     StringRef ClangLibdirSuffix(CLANG_LIBDIR_SUFFIX);
70     llvm::sys::path::append(P, "..", Twine("lib") + ClangLibdirSuffix, "clang",
71                             CLANG_VERSION_STRING);
72   }
73   ResourceDir = P.str();
74 }
75 
76 Driver::~Driver() {
77   delete Opts;
78 
79   llvm::DeleteContainerSeconds(ToolChains);
80 }
81 
82 void Driver::ParseDriverMode(ArrayRef<const char *> Args) {
83   const std::string OptName =
84     getOpts().getOption(options::OPT_driver_mode).getPrefixedName();
85 
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)
89       continue;
90     const StringRef Arg = Args[I];
91     if (!Arg.startswith(OptName))
92       continue;
93 
94     const StringRef Value = Arg.drop_front(OptName.size());
95     const unsigned M = llvm::StringSwitch<unsigned>(Value)
96         .Case("gcc", GCCMode)
97         .Case("g++", GXXMode)
98         .Case("cpp", CPPMode)
99         .Case("cl",  CLMode)
100         .Default(~0U);
101 
102     if (M != ~0U)
103       Mode = static_cast<DriverMode>(M);
104     else
105       Diag(diag::err_drv_unsupported_option_argument) << OptName << Value;
106   }
107 }
108 
109 InputArgList *Driver::ParseArgStrings(ArrayRef<const char *> ArgStrings) {
110   llvm::PrettyStackTraceString CrashInfo("Command line argument parsing");
111 
112   unsigned IncludedFlagsBitmask;
113   unsigned ExcludedFlagsBitmask;
114   std::tie(IncludedFlagsBitmask, ExcludedFlagsBitmask) =
115     getIncludeExcludeOptionFlagMasks();
116 
117   unsigned MissingArgIndex, MissingArgCount;
118   InputArgList *Args = getOpts().ParseArgs(ArgStrings.begin(), ArgStrings.end(),
119                                            MissingArgIndex, MissingArgCount,
120                                            IncludedFlagsBitmask,
121                                            ExcludedFlagsBitmask);
122 
123   // Check for missing argument error.
124   if (MissingArgCount)
125     Diag(clang::diag::err_drv_missing_argument)
126       << Args->getArgString(MissingArgIndex) << MissingArgCount;
127 
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);
132       continue;
133     }
134 
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);
140     }
141   }
142 
143   for (const Arg *A : Args->filtered(options::OPT_UNKNOWN))
144     Diags.Report(diag::err_drv_unknown_argument) << A->getAsString(*Args);
145 
146   return Args;
147 }
148 
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)
153 const {
154   Arg *PhaseArg = nullptr;
155   phases::ID FinalPhase;
156 
157   // -{E,EP,P,M,MM} only run the preprocessor.
158   if (CCCIsCPP() ||
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;
164 
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;
176 
177     // -S only runs up to the backend.
178   } else if ((PhaseArg = DAL.getLastArg(options::OPT_S))) {
179     FinalPhase = phases::Backend;
180 
181     // -c only runs up to the assembler.
182   } else if ((PhaseArg = DAL.getLastArg(options::OPT_c))) {
183     FinalPhase = phases::Assemble;
184 
185     // Otherwise do everything.
186   } else
187     FinalPhase = phases::Link;
188 
189   if (FinalPhaseArg)
190     *FinalPhaseArg = PhaseArg;
191 
192   return FinalPhase;
193 }
194 
195 static Arg* MakeInputArg(DerivedArgList &Args, OptTable *Opts,
196                          StringRef Value) {
197   Arg *A = new Arg(Opts->getOption(options::OPT_INPUT), Value,
198                    Args.getBaseArgs().MakeIndex(Value), Value.data());
199   Args.AddSynthesizedArg(A);
200   A->claim();
201   return A;
202 }
203 
204 DerivedArgList *Driver::TranslateInputArgs(const InputArgList &Args) const {
205   DerivedArgList *DAL = new DerivedArgList(Args);
206 
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').
212 
213     // Rewrite linker options, to replace --no-demangle with a custom internal
214     // option.
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));
220 
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),
225                               A->getValue(i));
226 
227       continue;
228     }
229 
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));
239       else
240         DAL->AddFlagArg(A, Opts->getOption(options::OPT_MMD));
241       if (A->getNumValues() == 2)
242         DAL->AddSeparateArg(A, Opts->getOption(options::OPT_MF),
243                             A->getValue(1));
244       continue;
245     }
246 
247     // Rewrite reserved library names.
248     if (A->getOption().matches(options::OPT_l)) {
249       StringRef Value = A->getValue();
250 
251       // Rewrite unless -nostdlib is present.
252       if (!HasNostdlib && Value == "stdc++") {
253         DAL->AddFlagArg(A, Opts->getOption(
254                               options::OPT_Z_reserved_lib_stdcxx));
255         continue;
256       }
257 
258       // Rewrite unconditionally.
259       if (Value == "cc_kext") {
260         DAL->AddFlagArg(A, Opts->getOption(
261                               options::OPT_Z_reserved_lib_cckext));
262         continue;
263       }
264     }
265 
266     // Pick up inputs via the -- option.
267     if (A->getOption().matches(options::OPT__DASH_DASH)) {
268       A->claim();
269       for (unsigned i = 0, e = A->getNumValues(); i != e; ++i)
270         DAL->append(MakeInputArg(*DAL, Opts, A->getValue(i)));
271       continue;
272     }
273 
274     DAL->append(A);
275   }
276 
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     DAL->AddJoinedArg(0, Opts->getOption(options::OPT_mlinker_version_EQ),
282                       HOST_LINK_VERSION);
283     DAL->getLastArg(options::OPT_mlinker_version_EQ)->claim();
284   }
285 #endif
286 
287   return DAL;
288 }
289 
290 Compilation *Driver::BuildCompilation(ArrayRef<const char *> ArgList) {
291   llvm::PrettyStackTraceString CrashInfo("Compilation construction");
292 
293   // FIXME: Handle environment options which affect driver behavior, somewhere
294   // (client?). GCC_EXEC_PREFIX, LPATH, CC_PRINT_OPTIONS.
295 
296   if (char *env = ::getenv("COMPILER_PATH")) {
297     StringRef CompilerPath = env;
298     while (!CompilerPath.empty()) {
299       std::pair<StringRef, StringRef> Split
300         = CompilerPath.split(llvm::sys::EnvPathSeparator);
301       PrefixDirs.push_back(Split.first);
302       CompilerPath = Split.second;
303     }
304   }
305 
306   // We look for the driver mode option early, because the mode can affect
307   // how other options are parsed.
308   ParseDriverMode(ArgList.slice(1));
309 
310   // FIXME: What are we going to do with -V and -b?
311 
312   // FIXME: This stuff needs to go into the Compilation, not the driver.
313   bool CCCPrintActions;
314 
315   InputArgList *Args = ParseArgStrings(ArgList.slice(1));
316 
317   // -no-canonical-prefixes is used very early in main.
318   Args->ClaimAllArgs(options::OPT_no_canonical_prefixes);
319 
320   // Ignore -pipe.
321   Args->ClaimAllArgs(options::OPT_pipe);
322 
323   // Extract -ccc args.
324   //
325   // FIXME: We need to figure out where this behavior should live. Most of it
326   // should be outside in the client; the parts that aren't should have proper
327   // options, either by introducing new ones or by overloading gcc ones like -V
328   // or -b.
329   CCCPrintActions = Args->hasArg(options::OPT_ccc_print_phases);
330   CCCPrintBindings = Args->hasArg(options::OPT_ccc_print_bindings);
331   if (const Arg *A = Args->getLastArg(options::OPT_ccc_gcc_name))
332     CCCGenericGCCName = A->getValue();
333   CCCUsePCH = Args->hasFlag(options::OPT_ccc_pch_is_pch,
334                             options::OPT_ccc_pch_is_pth);
335   // FIXME: DefaultTargetTriple is used by the target-prefixed calls to as/ld
336   // and getToolChain is const.
337   if (IsCLMode()) {
338     // clang-cl targets MSVC-style Win32.
339     llvm::Triple T(DefaultTargetTriple);
340     T.setOS(llvm::Triple::Win32);
341     T.setEnvironment(llvm::Triple::MSVC);
342     DefaultTargetTriple = T.str();
343   }
344   if (const Arg *A = Args->getLastArg(options::OPT_target))
345     DefaultTargetTriple = A->getValue();
346   if (const Arg *A = Args->getLastArg(options::OPT_ccc_install_dir))
347     Dir = InstalledDir = A->getValue();
348   for (const Arg *A : Args->filtered(options::OPT_B)) {
349     A->claim();
350     PrefixDirs.push_back(A->getValue(0));
351   }
352   if (const Arg *A = Args->getLastArg(options::OPT__sysroot_EQ))
353     SysRoot = A->getValue();
354   if (const Arg *A = Args->getLastArg(options::OPT__dyld_prefix_EQ))
355     DyldPrefix = A->getValue();
356   if (Args->hasArg(options::OPT_nostdlib))
357     UseStdLib = false;
358 
359   if (const Arg *A = Args->getLastArg(options::OPT_resource_dir))
360     ResourceDir = A->getValue();
361 
362   if (const Arg *A = Args->getLastArg(options::OPT_save_temps_EQ)) {
363     SaveTemps = llvm::StringSwitch<SaveTempsMode>(A->getValue())
364                     .Case("cwd", SaveTempsCwd)
365                     .Case("obj", SaveTempsObj)
366                     .Default(SaveTempsCwd);
367   }
368 
369   // Perform the default argument translations.
370   DerivedArgList *TranslatedArgs = TranslateInputArgs(*Args);
371 
372   // Owned by the host.
373   const ToolChain &TC = getToolChain(*Args);
374 
375   // The compilation takes ownership of Args.
376   Compilation *C = new Compilation(*this, TC, Args, TranslatedArgs);
377 
378   if (!HandleImmediateArgs(*C))
379     return C;
380 
381   // Construct the list of inputs.
382   InputList Inputs;
383   BuildInputs(C->getDefaultToolChain(), *TranslatedArgs, Inputs);
384 
385   // Construct the list of abstract actions to perform for this compilation. On
386   // MachO targets this uses the driver-driver and universal actions.
387   if (TC.getTriple().isOSBinFormatMachO())
388     BuildUniversalActions(C->getDefaultToolChain(), C->getArgs(),
389                           Inputs, C->getActions());
390   else
391     BuildActions(C->getDefaultToolChain(), C->getArgs(), Inputs,
392                  C->getActions());
393 
394   if (CCCPrintActions) {
395     PrintActions(*C);
396     return C;
397   }
398 
399   BuildJobs(*C);
400 
401   return C;
402 }
403 
404 // When clang crashes, produce diagnostic information including the fully
405 // preprocessed source file(s).  Request that the developer attach the
406 // diagnostic information to a bug report.
407 void Driver::generateCompilationDiagnostics(Compilation &C,
408                                             const Command &FailingCommand) {
409   if (C.getArgs().hasArg(options::OPT_fno_crash_diagnostics))
410     return;
411 
412   // Don't try to generate diagnostics for link or dsymutil jobs.
413   if (FailingCommand.getCreator().isLinkJob() ||
414       FailingCommand.getCreator().isDsymutilJob())
415     return;
416 
417   // Print the version of the compiler.
418   PrintVersion(C, llvm::errs());
419 
420   Diag(clang::diag::note_drv_command_failed_diag_msg)
421     << "PLEASE submit a bug report to " BUG_REPORT_URL " and include the "
422     "crash backtrace, preprocessed source, and associated run script.";
423 
424   // Suppress driver output and emit preprocessor output to temp file.
425   Mode = CPPMode;
426   CCGenDiagnostics = true;
427 
428   // Save the original job command(s).
429   Command Cmd = FailingCommand;
430 
431   // Keep track of whether we produce any errors while trying to produce
432   // preprocessed sources.
433   DiagnosticErrorTrap Trap(Diags);
434 
435   // Suppress tool output.
436   C.initCompilationForDiagnostics();
437 
438   // Construct the list of inputs.
439   InputList Inputs;
440   BuildInputs(C.getDefaultToolChain(), C.getArgs(), Inputs);
441 
442   for (InputList::iterator it = Inputs.begin(), ie = Inputs.end(); it != ie;) {
443     bool IgnoreInput = false;
444 
445     // Ignore input from stdin or any inputs that cannot be preprocessed.
446     // Check type first as not all linker inputs have a value.
447    if (types::getPreprocessedType(it->first) == types::TY_INVALID) {
448       IgnoreInput = true;
449     } else if (!strcmp(it->second->getValue(), "-")) {
450       Diag(clang::diag::note_drv_command_failed_diag_msg)
451         << "Error generating preprocessed source(s) - ignoring input from stdin"
452         ".";
453       IgnoreInput = true;
454     }
455 
456     if (IgnoreInput) {
457       it = Inputs.erase(it);
458       ie = Inputs.end();
459     } else {
460       ++it;
461     }
462   }
463 
464   if (Inputs.empty()) {
465     Diag(clang::diag::note_drv_command_failed_diag_msg)
466       << "Error generating preprocessed source(s) - no preprocessable inputs.";
467     return;
468   }
469 
470   // Don't attempt to generate preprocessed files if multiple -arch options are
471   // used, unless they're all duplicates.
472   llvm::StringSet<> ArchNames;
473   for (const Arg *A : C.getArgs()) {
474     if (A->getOption().matches(options::OPT_arch)) {
475       StringRef ArchName = A->getValue();
476       ArchNames.insert(ArchName);
477     }
478   }
479   if (ArchNames.size() > 1) {
480     Diag(clang::diag::note_drv_command_failed_diag_msg)
481       << "Error generating preprocessed source(s) - cannot generate "
482       "preprocessed source with multiple -arch options.";
483     return;
484   }
485 
486   // Construct the list of abstract actions to perform for this compilation. On
487   // Darwin OSes this uses the driver-driver and builds universal actions.
488   const ToolChain &TC = C.getDefaultToolChain();
489   if (TC.getTriple().isOSBinFormatMachO())
490     BuildUniversalActions(TC, C.getArgs(), Inputs, C.getActions());
491   else
492     BuildActions(TC, C.getArgs(), Inputs, C.getActions());
493 
494   BuildJobs(C);
495 
496   // If there were errors building the compilation, quit now.
497   if (Trap.hasErrorOccurred()) {
498     Diag(clang::diag::note_drv_command_failed_diag_msg)
499       << "Error generating preprocessed source(s).";
500     return;
501   }
502 
503   // Generate preprocessed output.
504   SmallVector<std::pair<int, const Command *>, 4> FailingCommands;
505   C.ExecuteJob(C.getJobs(), FailingCommands);
506 
507   // If any of the preprocessing commands failed, clean up and exit.
508   if (!FailingCommands.empty()) {
509     if (!isSaveTempsEnabled())
510       C.CleanupFileList(C.getTempFiles(), true);
511 
512     Diag(clang::diag::note_drv_command_failed_diag_msg)
513       << "Error generating preprocessed source(s).";
514     return;
515   }
516 
517   const ArgStringList &TempFiles = C.getTempFiles();
518   if (TempFiles.empty()) {
519     Diag(clang::diag::note_drv_command_failed_diag_msg)
520       << "Error generating preprocessed source(s).";
521     return;
522   }
523 
524   Diag(clang::diag::note_drv_command_failed_diag_msg)
525       << "\n********************\n\n"
526          "PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:\n"
527          "Preprocessed source(s) and associated run script(s) are located at:";
528 
529   SmallString<128> VFS;
530   for (const char *TempFile : TempFiles) {
531     Diag(clang::diag::note_drv_command_failed_diag_msg) << TempFile;
532     if (StringRef(TempFile).endswith(".cache")) {
533       // In some cases (modules) we'll dump extra data to help with reproducing
534       // the crash into a directory next to the output.
535       VFS = llvm::sys::path::filename(TempFile);
536       llvm::sys::path::append(VFS, "vfs", "vfs.yaml");
537     }
538   }
539 
540   // Assume associated files are based off of the first temporary file.
541   CrashReportInfo CrashInfo(TempFiles[0], VFS);
542 
543   std::string Script = CrashInfo.Filename.rsplit('.').first.str() + ".sh";
544   std::error_code EC;
545   llvm::raw_fd_ostream ScriptOS(Script, EC, llvm::sys::fs::F_Excl);
546   if (EC) {
547     Diag(clang::diag::note_drv_command_failed_diag_msg)
548         << "Error generating run script: " + Script + " " + EC.message();
549   } else {
550     ScriptOS << "# Crash reproducer for " << getClangFullVersion() << "\n"
551              << "# Original command: ";
552     Cmd.Print(ScriptOS, "\n", /*Quote=*/true);
553     Cmd.Print(ScriptOS, "\n", /*Quote=*/true, &CrashInfo);
554     Diag(clang::diag::note_drv_command_failed_diag_msg) << Script;
555   }
556 
557   for (const auto &A : C.getArgs().filtered(options::OPT_frewrite_map_file,
558                                             options::OPT_frewrite_map_file_EQ))
559     Diag(clang::diag::note_drv_command_failed_diag_msg) << A->getValue();
560 
561   Diag(clang::diag::note_drv_command_failed_diag_msg)
562       << "\n\n********************";
563 }
564 
565 void Driver::setUpResponseFiles(Compilation &C, Job &J) {
566   if (JobList *Jobs = dyn_cast<JobList>(&J)) {
567     for (auto &Job : *Jobs)
568       setUpResponseFiles(C, Job);
569     return;
570   }
571 
572   Command *CurCommand = dyn_cast<Command>(&J);
573   if (!CurCommand)
574     return;
575 
576   // Since argumentsFitWithinSystemLimits() may underestimate system's capacity
577   // if the tool does not support response files, there is a chance/ that things
578   // will just work without a response file, so we silently just skip it.
579   if (CurCommand->getCreator().getResponseFilesSupport() == Tool::RF_None ||
580       llvm::sys::argumentsFitWithinSystemLimits(CurCommand->getArguments()))
581     return;
582 
583   std::string TmpName = GetTemporaryPath("response", "txt");
584   CurCommand->setResponseFile(C.addTempFile(C.getArgs().MakeArgString(
585       TmpName.c_str())));
586 }
587 
588 int Driver::ExecuteCompilation(Compilation &C,
589     SmallVectorImpl< std::pair<int, const Command *> > &FailingCommands) {
590   // Just print if -### was present.
591   if (C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
592     C.getJobs().Print(llvm::errs(), "\n", true);
593     return 0;
594   }
595 
596   // If there were errors building the compilation, quit now.
597   if (Diags.hasErrorOccurred())
598     return 1;
599 
600   // Set up response file names for each command, if necessary
601   setUpResponseFiles(C, C.getJobs());
602 
603   C.ExecuteJob(C.getJobs(), FailingCommands);
604 
605   // Remove temp files.
606   C.CleanupFileList(C.getTempFiles());
607 
608   // If the command succeeded, we are done.
609   if (FailingCommands.empty())
610     return 0;
611 
612   // Otherwise, remove result files and print extra information about abnormal
613   // failures.
614   for (SmallVectorImpl< std::pair<int, const Command *> >::iterator it =
615          FailingCommands.begin(), ie = FailingCommands.end(); it != ie; ++it) {
616     int Res = it->first;
617     const Command *FailingCommand = it->second;
618 
619     // Remove result files if we're not saving temps.
620     if (!isSaveTempsEnabled()) {
621       const JobAction *JA = cast<JobAction>(&FailingCommand->getSource());
622       C.CleanupFileMap(C.getResultFiles(), JA, true);
623 
624       // Failure result files are valid unless we crashed.
625       if (Res < 0)
626         C.CleanupFileMap(C.getFailureResultFiles(), JA, true);
627     }
628 
629     // Print extra information about abnormal failures, if possible.
630     //
631     // This is ad-hoc, but we don't want to be excessively noisy. If the result
632     // status was 1, assume the command failed normally. In particular, if it
633     // was the compiler then assume it gave a reasonable error code. Failures
634     // in other tools are less common, and they generally have worse
635     // diagnostics, so always print the diagnostic there.
636     const Tool &FailingTool = FailingCommand->getCreator();
637 
638     if (!FailingCommand->getCreator().hasGoodDiagnostics() || Res != 1) {
639       // FIXME: See FIXME above regarding result code interpretation.
640       if (Res < 0)
641         Diag(clang::diag::err_drv_command_signalled)
642           << FailingTool.getShortName();
643       else
644         Diag(clang::diag::err_drv_command_failed)
645           << FailingTool.getShortName() << Res;
646     }
647   }
648   return 0;
649 }
650 
651 void Driver::PrintHelp(bool ShowHidden) const {
652   unsigned IncludedFlagsBitmask;
653   unsigned ExcludedFlagsBitmask;
654   std::tie(IncludedFlagsBitmask, ExcludedFlagsBitmask) =
655     getIncludeExcludeOptionFlagMasks();
656 
657   ExcludedFlagsBitmask |= options::NoDriverOption;
658   if (!ShowHidden)
659     ExcludedFlagsBitmask |= HelpHidden;
660 
661   getOpts().PrintHelp(llvm::outs(), Name.c_str(), DriverTitle.c_str(),
662                       IncludedFlagsBitmask, ExcludedFlagsBitmask);
663 }
664 
665 void Driver::PrintVersion(const Compilation &C, raw_ostream &OS) const {
666   // FIXME: The following handlers should use a callback mechanism, we don't
667   // know what the client would like to do.
668   OS << getClangFullVersion() << '\n';
669   const ToolChain &TC = C.getDefaultToolChain();
670   OS << "Target: " << TC.getTripleString() << '\n';
671 
672   // Print the threading model.
673   if (Arg *A = C.getArgs().getLastArg(options::OPT_mthread_model)) {
674     // Don't print if the ToolChain would have barfed on it already
675     if (TC.isThreadModelSupported(A->getValue()))
676       OS << "Thread model: " << A->getValue();
677   } else
678     OS << "Thread model: " << TC.getThreadModel();
679   OS << '\n';
680 }
681 
682 /// PrintDiagnosticCategories - Implement the --print-diagnostic-categories
683 /// option.
684 static void PrintDiagnosticCategories(raw_ostream &OS) {
685   // Skip the empty category.
686   for (unsigned i = 1, max = DiagnosticIDs::getNumberOfCategories();
687        i != max; ++i)
688     OS << i << ',' << DiagnosticIDs::getCategoryNameFromID(i) << '\n';
689 }
690 
691 bool Driver::HandleImmediateArgs(const Compilation &C) {
692   // The order these options are handled in gcc is all over the place, but we
693   // don't expect inconsistencies w.r.t. that to matter in practice.
694 
695   if (C.getArgs().hasArg(options::OPT_dumpmachine)) {
696     llvm::outs() << C.getDefaultToolChain().getTripleString() << '\n';
697     return false;
698   }
699 
700   if (C.getArgs().hasArg(options::OPT_dumpversion)) {
701     // Since -dumpversion is only implemented for pedantic GCC compatibility, we
702     // return an answer which matches our definition of __VERSION__.
703     //
704     // If we want to return a more correct answer some day, then we should
705     // introduce a non-pedantically GCC compatible mode to Clang in which we
706     // provide sensible definitions for -dumpversion, __VERSION__, etc.
707     llvm::outs() << "4.2.1\n";
708     return false;
709   }
710 
711   if (C.getArgs().hasArg(options::OPT__print_diagnostic_categories)) {
712     PrintDiagnosticCategories(llvm::outs());
713     return false;
714   }
715 
716   if (C.getArgs().hasArg(options::OPT_help) ||
717       C.getArgs().hasArg(options::OPT__help_hidden)) {
718     PrintHelp(C.getArgs().hasArg(options::OPT__help_hidden));
719     return false;
720   }
721 
722   if (C.getArgs().hasArg(options::OPT__version)) {
723     // Follow gcc behavior and use stdout for --version and stderr for -v.
724     PrintVersion(C, llvm::outs());
725     return false;
726   }
727 
728   if (C.getArgs().hasArg(options::OPT_v) ||
729       C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
730     PrintVersion(C, llvm::errs());
731     SuppressMissingInputWarning = true;
732   }
733 
734   const ToolChain &TC = C.getDefaultToolChain();
735 
736   if (C.getArgs().hasArg(options::OPT_v))
737     TC.printVerboseInfo(llvm::errs());
738 
739   if (C.getArgs().hasArg(options::OPT_print_search_dirs)) {
740     llvm::outs() << "programs: =";
741     for (ToolChain::path_list::const_iterator it = TC.getProgramPaths().begin(),
742            ie = TC.getProgramPaths().end(); it != ie; ++it) {
743       if (it != TC.getProgramPaths().begin())
744         llvm::outs() << ':';
745       llvm::outs() << *it;
746     }
747     llvm::outs() << "\n";
748     llvm::outs() << "libraries: =" << ResourceDir;
749 
750     StringRef sysroot = C.getSysRoot();
751 
752     for (ToolChain::path_list::const_iterator it = TC.getFilePaths().begin(),
753            ie = TC.getFilePaths().end(); it != ie; ++it) {
754       llvm::outs() << ':';
755       const char *path = it->c_str();
756       if (path[0] == '=')
757         llvm::outs() << sysroot << path + 1;
758       else
759         llvm::outs() << path;
760     }
761     llvm::outs() << "\n";
762     return false;
763   }
764 
765   // FIXME: The following handlers should use a callback mechanism, we don't
766   // know what the client would like to do.
767   if (Arg *A = C.getArgs().getLastArg(options::OPT_print_file_name_EQ)) {
768     llvm::outs() << GetFilePath(A->getValue(), TC) << "\n";
769     return false;
770   }
771 
772   if (Arg *A = C.getArgs().getLastArg(options::OPT_print_prog_name_EQ)) {
773     llvm::outs() << GetProgramPath(A->getValue(), TC) << "\n";
774     return false;
775   }
776 
777   if (C.getArgs().hasArg(options::OPT_print_libgcc_file_name)) {
778     llvm::outs() << GetFilePath("libgcc.a", TC) << "\n";
779     return false;
780   }
781 
782   if (C.getArgs().hasArg(options::OPT_print_multi_lib)) {
783     const MultilibSet &Multilibs = TC.getMultilibs();
784 
785     for (MultilibSet::const_iterator I = Multilibs.begin(), E = Multilibs.end();
786          I != E; ++I) {
787       llvm::outs() << *I << "\n";
788     }
789     return false;
790   }
791 
792   if (C.getArgs().hasArg(options::OPT_print_multi_directory)) {
793     const MultilibSet &Multilibs = TC.getMultilibs();
794     for (MultilibSet::const_iterator I = Multilibs.begin(), E = Multilibs.end();
795          I != E; ++I) {
796       if (I->gccSuffix().empty())
797         llvm::outs() << ".\n";
798       else {
799         StringRef Suffix(I->gccSuffix());
800         assert(Suffix.front() == '/');
801         llvm::outs() << Suffix.substr(1) << "\n";
802       }
803     }
804     return false;
805   }
806 
807   if (C.getArgs().hasArg(options::OPT_print_multi_os_directory)) {
808     // FIXME: This should print out "lib/../lib", "lib/../lib64", or
809     // "lib/../lib32" as appropriate for the toolchain. For now, print
810     // nothing because it's not supported yet.
811     return false;
812   }
813 
814   return true;
815 }
816 
817 // Display an action graph human-readably.  Action A is the "sink" node
818 // and latest-occuring action. Traversal is in pre-order, visiting the
819 // inputs to each action before printing the action itself.
820 static unsigned PrintActions1(const Compilation &C, Action *A,
821                               std::map<Action*, unsigned> &Ids) {
822   if (Ids.count(A)) // A was already visited.
823     return Ids[A];
824 
825   std::string str;
826   llvm::raw_string_ostream os(str);
827 
828   os << Action::getClassName(A->getKind()) << ", ";
829   if (InputAction *IA = dyn_cast<InputAction>(A)) {
830     os << "\"" << IA->getInputArg().getValue() << "\"";
831   } else if (BindArchAction *BIA = dyn_cast<BindArchAction>(A)) {
832     os << '"' << BIA->getArchName() << '"'
833        << ", {" << PrintActions1(C, *BIA->begin(), Ids) << "}";
834   } else {
835     os << "{";
836     for (Action::iterator it = A->begin(), ie = A->end(); it != ie;) {
837       os << PrintActions1(C, *it, Ids);
838       ++it;
839       if (it != ie)
840         os << ", ";
841     }
842     os << "}";
843   }
844 
845   unsigned Id = Ids.size();
846   Ids[A] = Id;
847   llvm::errs() << Id << ": " << os.str() << ", "
848                << types::getTypeName(A->getType()) << "\n";
849 
850   return Id;
851 }
852 
853 // Print the action graphs in a compilation C.
854 // For example "clang -c file1.c file2.c" is composed of two subgraphs.
855 void Driver::PrintActions(const Compilation &C) const {
856   std::map<Action*, unsigned> Ids;
857   for (ActionList::const_iterator it = C.getActions().begin(),
858          ie = C.getActions().end(); it != ie; ++it)
859     PrintActions1(C, *it, Ids);
860 }
861 
862 /// \brief Check whether the given input tree contains any compilation or
863 /// assembly actions.
864 static bool ContainsCompileOrAssembleAction(const Action *A) {
865   if (isa<CompileJobAction>(A) ||
866       isa<BackendJobAction>(A) ||
867       isa<AssembleJobAction>(A))
868     return true;
869 
870   for (Action::const_iterator it = A->begin(), ie = A->end(); it != ie; ++it)
871     if (ContainsCompileOrAssembleAction(*it))
872       return true;
873 
874   return false;
875 }
876 
877 void Driver::BuildUniversalActions(const ToolChain &TC,
878                                    DerivedArgList &Args,
879                                    const InputList &BAInputs,
880                                    ActionList &Actions) const {
881   llvm::PrettyStackTraceString CrashInfo("Building universal build actions");
882   // Collect the list of architectures. Duplicates are allowed, but should only
883   // be handled once (in the order seen).
884   llvm::StringSet<> ArchNames;
885   SmallVector<const char *, 4> Archs;
886   for (Arg *A : Args) {
887     if (A->getOption().matches(options::OPT_arch)) {
888       // Validate the option here; we don't save the type here because its
889       // particular spelling may participate in other driver choices.
890       llvm::Triple::ArchType Arch =
891         tools::darwin::getArchTypeForMachOArchName(A->getValue());
892       if (Arch == llvm::Triple::UnknownArch) {
893         Diag(clang::diag::err_drv_invalid_arch_name)
894           << A->getAsString(Args);
895         continue;
896       }
897 
898       A->claim();
899       if (ArchNames.insert(A->getValue()).second)
900         Archs.push_back(A->getValue());
901     }
902   }
903 
904   // When there is no explicit arch for this platform, make sure we still bind
905   // the architecture (to the default) so that -Xarch_ is handled correctly.
906   if (!Archs.size())
907     Archs.push_back(Args.MakeArgString(TC.getDefaultUniversalArchName()));
908 
909   ActionList SingleActions;
910   BuildActions(TC, Args, BAInputs, SingleActions);
911 
912   // Add in arch bindings for every top level action, as well as lipo and
913   // dsymutil steps if needed.
914   for (unsigned i = 0, e = SingleActions.size(); i != e; ++i) {
915     Action *Act = SingleActions[i];
916 
917     // Make sure we can lipo this kind of output. If not (and it is an actual
918     // output) then we disallow, since we can't create an output file with the
919     // right name without overwriting it. We could remove this oddity by just
920     // changing the output names to include the arch, which would also fix
921     // -save-temps. Compatibility wins for now.
922 
923     if (Archs.size() > 1 && !types::canLipoType(Act->getType()))
924       Diag(clang::diag::err_drv_invalid_output_with_multiple_archs)
925         << types::getTypeName(Act->getType());
926 
927     ActionList Inputs;
928     for (unsigned i = 0, e = Archs.size(); i != e; ++i) {
929       Inputs.push_back(
930           new BindArchAction(std::unique_ptr<Action>(Act), Archs[i]));
931       if (i != 0)
932         Inputs.back()->setOwnsInputs(false);
933     }
934 
935     // Lipo if necessary, we do it this way because we need to set the arch flag
936     // so that -Xarch_ gets overwritten.
937     if (Inputs.size() == 1 || Act->getType() == types::TY_Nothing)
938       Actions.append(Inputs.begin(), Inputs.end());
939     else
940       Actions.push_back(new LipoJobAction(Inputs, Act->getType()));
941 
942     // Handle debug info queries.
943     Arg *A = Args.getLastArg(options::OPT_g_Group);
944     if (A && !A->getOption().matches(options::OPT_g0) &&
945         !A->getOption().matches(options::OPT_gstabs) &&
946         ContainsCompileOrAssembleAction(Actions.back())) {
947 
948       // Add a 'dsymutil' step if necessary, when debug info is enabled and we
949       // have a compile input. We need to run 'dsymutil' ourselves in such cases
950       // because the debug info will refer to a temporary object file which
951       // will be removed at the end of the compilation process.
952       if (Act->getType() == types::TY_Image) {
953         ActionList Inputs;
954         Inputs.push_back(Actions.back());
955         Actions.pop_back();
956         Actions.push_back(new DsymutilJobAction(Inputs, types::TY_dSYM));
957       }
958 
959       // Verify the debug info output.
960       if (Args.hasArg(options::OPT_verify_debug_info)) {
961         std::unique_ptr<Action> VerifyInput(Actions.back());
962         Actions.pop_back();
963         Actions.push_back(new VerifyDebugInfoJobAction(std::move(VerifyInput),
964                                                        types::TY_Nothing));
965       }
966     }
967   }
968 }
969 
970 /// \brief Check that the file referenced by Value exists. If it doesn't,
971 /// issue a diagnostic and return false.
972 static bool DiagnoseInputExistence(const Driver &D, const DerivedArgList &Args,
973                                    StringRef Value) {
974   if (!D.getCheckInputsExist())
975     return true;
976 
977   // stdin always exists.
978   if (Value == "-")
979     return true;
980 
981   SmallString<64> Path(Value);
982   if (Arg *WorkDir = Args.getLastArg(options::OPT_working_directory)) {
983     if (!llvm::sys::path::is_absolute(Path)) {
984       SmallString<64> Directory(WorkDir->getValue());
985       llvm::sys::path::append(Directory, Value);
986       Path.assign(Directory);
987     }
988   }
989 
990   if (llvm::sys::fs::exists(Twine(Path)))
991     return true;
992 
993   if (D.IsCLMode() && !llvm::sys::path::is_absolute(Twine(Path)) &&
994       llvm::sys::Process::FindInEnvPath("LIB", Value))
995     return true;
996 
997   D.Diag(clang::diag::err_drv_no_such_file) << Path;
998   return false;
999 }
1000 
1001 // Construct a the list of inputs and their types.
1002 void Driver::BuildInputs(const ToolChain &TC, DerivedArgList &Args,
1003                          InputList &Inputs) const {
1004   // Track the current user specified (-x) input. We also explicitly track the
1005   // argument used to set the type; we only want to claim the type when we
1006   // actually use it, so we warn about unused -x arguments.
1007   types::ID InputType = types::TY_Nothing;
1008   Arg *InputTypeArg = nullptr;
1009 
1010   // The last /TC or /TP option sets the input type to C or C++ globally.
1011   if (Arg *TCTP = Args.getLastArgNoClaim(options::OPT__SLASH_TC,
1012                                          options::OPT__SLASH_TP)) {
1013     InputTypeArg = TCTP;
1014     InputType = TCTP->getOption().matches(options::OPT__SLASH_TC)
1015         ? types::TY_C : types::TY_CXX;
1016 
1017     arg_iterator it = Args.filtered_begin(options::OPT__SLASH_TC,
1018                                           options::OPT__SLASH_TP);
1019     const arg_iterator ie = Args.filtered_end();
1020     Arg *Previous = *it++;
1021     bool ShowNote = false;
1022     while (it != ie) {
1023       Diag(clang::diag::warn_drv_overriding_flag_option)
1024           << Previous->getSpelling() << (*it)->getSpelling();
1025       Previous = *it++;
1026       ShowNote = true;
1027     }
1028     if (ShowNote)
1029       Diag(clang::diag::note_drv_t_option_is_global);
1030 
1031     // No driver mode exposes -x and /TC or /TP; we don't support mixing them.
1032     assert(!Args.hasArg(options::OPT_x) && "-x and /TC or /TP is not allowed");
1033   }
1034 
1035   for (Arg *A : Args) {
1036     if (A->getOption().getKind() == Option::InputClass) {
1037       const char *Value = A->getValue();
1038       types::ID Ty = types::TY_INVALID;
1039 
1040       // Infer the input type if necessary.
1041       if (InputType == types::TY_Nothing) {
1042         // If there was an explicit arg for this, claim it.
1043         if (InputTypeArg)
1044           InputTypeArg->claim();
1045 
1046         // stdin must be handled specially.
1047         if (memcmp(Value, "-", 2) == 0) {
1048           // If running with -E, treat as a C input (this changes the builtin
1049           // macros, for example). This may be overridden by -ObjC below.
1050           //
1051           // Otherwise emit an error but still use a valid type to avoid
1052           // spurious errors (e.g., no inputs).
1053           if (!Args.hasArgNoClaim(options::OPT_E) && !CCCIsCPP())
1054             Diag(IsCLMode() ? clang::diag::err_drv_unknown_stdin_type_clang_cl
1055                             : clang::diag::err_drv_unknown_stdin_type);
1056           Ty = types::TY_C;
1057         } else {
1058           // Otherwise lookup by extension.
1059           // Fallback is C if invoked as C preprocessor or Object otherwise.
1060           // We use a host hook here because Darwin at least has its own
1061           // idea of what .s is.
1062           if (const char *Ext = strrchr(Value, '.'))
1063             Ty = TC.LookupTypeForExtension(Ext + 1);
1064 
1065           if (Ty == types::TY_INVALID) {
1066             if (CCCIsCPP())
1067               Ty = types::TY_C;
1068             else
1069               Ty = types::TY_Object;
1070           }
1071 
1072           // If the driver is invoked as C++ compiler (like clang++ or c++) it
1073           // should autodetect some input files as C++ for g++ compatibility.
1074           if (CCCIsCXX()) {
1075             types::ID OldTy = Ty;
1076             Ty = types::lookupCXXTypeForCType(Ty);
1077 
1078             if (Ty != OldTy)
1079               Diag(clang::diag::warn_drv_treating_input_as_cxx)
1080                 << getTypeName(OldTy) << getTypeName(Ty);
1081           }
1082         }
1083 
1084         // -ObjC and -ObjC++ override the default language, but only for "source
1085         // files". We just treat everything that isn't a linker input as a
1086         // source file.
1087         //
1088         // FIXME: Clean this up if we move the phase sequence into the type.
1089         if (Ty != types::TY_Object) {
1090           if (Args.hasArg(options::OPT_ObjC))
1091             Ty = types::TY_ObjC;
1092           else if (Args.hasArg(options::OPT_ObjCXX))
1093             Ty = types::TY_ObjCXX;
1094         }
1095       } else {
1096         assert(InputTypeArg && "InputType set w/o InputTypeArg");
1097         if (!InputTypeArg->getOption().matches(options::OPT_x)) {
1098           // If emulating cl.exe, make sure that /TC and /TP don't affect input
1099           // object files.
1100           const char *Ext = strrchr(Value, '.');
1101           if (Ext && TC.LookupTypeForExtension(Ext + 1) == types::TY_Object)
1102             Ty = types::TY_Object;
1103         }
1104         if (Ty == types::TY_INVALID) {
1105           Ty = InputType;
1106           InputTypeArg->claim();
1107         }
1108       }
1109 
1110       if (DiagnoseInputExistence(*this, Args, Value))
1111         Inputs.push_back(std::make_pair(Ty, A));
1112 
1113     } else if (A->getOption().matches(options::OPT__SLASH_Tc)) {
1114       StringRef Value = A->getValue();
1115       if (DiagnoseInputExistence(*this, Args, Value)) {
1116         Arg *InputArg = MakeInputArg(Args, Opts, A->getValue());
1117         Inputs.push_back(std::make_pair(types::TY_C, InputArg));
1118       }
1119       A->claim();
1120     } else if (A->getOption().matches(options::OPT__SLASH_Tp)) {
1121       StringRef Value = A->getValue();
1122       if (DiagnoseInputExistence(*this, Args, Value)) {
1123         Arg *InputArg = MakeInputArg(Args, Opts, A->getValue());
1124         Inputs.push_back(std::make_pair(types::TY_CXX, InputArg));
1125       }
1126       A->claim();
1127     } else if (A->getOption().hasFlag(options::LinkerInput)) {
1128       // Just treat as object type, we could make a special type for this if
1129       // necessary.
1130       Inputs.push_back(std::make_pair(types::TY_Object, A));
1131 
1132     } else if (A->getOption().matches(options::OPT_x)) {
1133       InputTypeArg = A;
1134       InputType = types::lookupTypeForTypeSpecifier(A->getValue());
1135       A->claim();
1136 
1137       // Follow gcc behavior and treat as linker input for invalid -x
1138       // options. Its not clear why we shouldn't just revert to unknown; but
1139       // this isn't very important, we might as well be bug compatible.
1140       if (!InputType) {
1141         Diag(clang::diag::err_drv_unknown_language) << A->getValue();
1142         InputType = types::TY_Object;
1143       }
1144     }
1145   }
1146   if (CCCIsCPP() && Inputs.empty()) {
1147     // If called as standalone preprocessor, stdin is processed
1148     // if no other input is present.
1149     Arg *A = MakeInputArg(Args, Opts, "-");
1150     Inputs.push_back(std::make_pair(types::TY_C, A));
1151   }
1152 }
1153 
1154 void Driver::BuildActions(const ToolChain &TC, DerivedArgList &Args,
1155                           const InputList &Inputs, ActionList &Actions) const {
1156   llvm::PrettyStackTraceString CrashInfo("Building compilation actions");
1157 
1158   if (!SuppressMissingInputWarning && Inputs.empty()) {
1159     Diag(clang::diag::err_drv_no_input_files);
1160     return;
1161   }
1162 
1163   Arg *FinalPhaseArg;
1164   phases::ID FinalPhase = getFinalPhase(Args, &FinalPhaseArg);
1165 
1166   if (FinalPhase == phases::Link && Args.hasArg(options::OPT_emit_llvm)) {
1167     Diag(clang::diag::err_drv_emit_llvm_link);
1168   }
1169 
1170   // Reject -Z* at the top level, these options should never have been exposed
1171   // by gcc.
1172   if (Arg *A = Args.getLastArg(options::OPT_Z_Joined))
1173     Diag(clang::diag::err_drv_use_of_Z_option) << A->getAsString(Args);
1174 
1175   // Diagnose misuse of /Fo.
1176   if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fo)) {
1177     StringRef V = A->getValue();
1178     if (Inputs.size() > 1 && !V.empty() &&
1179         !llvm::sys::path::is_separator(V.back())) {
1180       // Check whether /Fo tries to name an output file for multiple inputs.
1181       Diag(clang::diag::err_drv_out_file_argument_with_multiple_sources)
1182         << A->getSpelling() << V;
1183       Args.eraseArg(options::OPT__SLASH_Fo);
1184     }
1185   }
1186 
1187   // Diagnose misuse of /Fa.
1188   if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fa)) {
1189     StringRef V = A->getValue();
1190     if (Inputs.size() > 1 && !V.empty() &&
1191         !llvm::sys::path::is_separator(V.back())) {
1192       // Check whether /Fa tries to name an asm file for multiple inputs.
1193       Diag(clang::diag::err_drv_out_file_argument_with_multiple_sources)
1194         << A->getSpelling() << V;
1195       Args.eraseArg(options::OPT__SLASH_Fa);
1196     }
1197   }
1198 
1199   // Diagnose misuse of /o.
1200   if (Arg *A = Args.getLastArg(options::OPT__SLASH_o)) {
1201     if (A->getValue()[0] == '\0') {
1202       // It has to have a value.
1203       Diag(clang::diag::err_drv_missing_argument) << A->getSpelling() << 1;
1204       Args.eraseArg(options::OPT__SLASH_o);
1205     }
1206   }
1207 
1208   // Construct the actions to perform.
1209   ActionList LinkerInputs;
1210 
1211   llvm::SmallVector<phases::ID, phases::MaxNumberOfPhases> PL;
1212   for (unsigned i = 0, e = Inputs.size(); i != e; ++i) {
1213     types::ID InputType = Inputs[i].first;
1214     const Arg *InputArg = Inputs[i].second;
1215 
1216     PL.clear();
1217     types::getCompilationPhases(InputType, PL);
1218 
1219     // If the first step comes after the final phase we are doing as part of
1220     // this compilation, warn the user about it.
1221     phases::ID InitialPhase = PL[0];
1222     if (InitialPhase > FinalPhase) {
1223       // Claim here to avoid the more general unused warning.
1224       InputArg->claim();
1225 
1226       // Suppress all unused style warnings with -Qunused-arguments
1227       if (Args.hasArg(options::OPT_Qunused_arguments))
1228         continue;
1229 
1230       // Special case when final phase determined by binary name, rather than
1231       // by a command-line argument with a corresponding Arg.
1232       if (CCCIsCPP())
1233         Diag(clang::diag::warn_drv_input_file_unused_by_cpp)
1234           << InputArg->getAsString(Args)
1235           << getPhaseName(InitialPhase);
1236       // Special case '-E' warning on a previously preprocessed file to make
1237       // more sense.
1238       else if (InitialPhase == phases::Compile &&
1239                FinalPhase == phases::Preprocess &&
1240                getPreprocessedType(InputType) == types::TY_INVALID)
1241         Diag(clang::diag::warn_drv_preprocessed_input_file_unused)
1242           << InputArg->getAsString(Args)
1243           << !!FinalPhaseArg
1244           << (FinalPhaseArg ? FinalPhaseArg->getOption().getName() : "");
1245       else
1246         Diag(clang::diag::warn_drv_input_file_unused)
1247           << InputArg->getAsString(Args)
1248           << getPhaseName(InitialPhase)
1249           << !!FinalPhaseArg
1250           << (FinalPhaseArg ? FinalPhaseArg->getOption().getName() : "");
1251       continue;
1252     }
1253 
1254     // Build the pipeline for this file.
1255     std::unique_ptr<Action> Current(new InputAction(*InputArg, InputType));
1256     for (SmallVectorImpl<phases::ID>::iterator
1257            i = PL.begin(), e = PL.end(); i != e; ++i) {
1258       phases::ID Phase = *i;
1259 
1260       // We are done if this step is past what the user requested.
1261       if (Phase > FinalPhase)
1262         break;
1263 
1264       // Queue linker inputs.
1265       if (Phase == phases::Link) {
1266         assert((i + 1) == e && "linking must be final compilation step.");
1267         LinkerInputs.push_back(Current.release());
1268         break;
1269       }
1270 
1271       // Some types skip the assembler phase (e.g., llvm-bc), but we can't
1272       // encode this in the steps because the intermediate type depends on
1273       // arguments. Just special case here.
1274       if (Phase == phases::Assemble && Current->getType() != types::TY_PP_Asm)
1275         continue;
1276 
1277       // Otherwise construct the appropriate action.
1278       Current = ConstructPhaseAction(TC, Args, Phase, std::move(Current));
1279       if (Current->getType() == types::TY_Nothing)
1280         break;
1281     }
1282 
1283     // If we ended with something, add to the output list.
1284     if (Current)
1285       Actions.push_back(Current.release());
1286   }
1287 
1288   // Add a link action if necessary.
1289   if (!LinkerInputs.empty())
1290     Actions.push_back(new LinkJobAction(LinkerInputs, types::TY_Image));
1291 
1292   // If we are linking, claim any options which are obviously only used for
1293   // compilation.
1294   if (FinalPhase == phases::Link && PL.size() == 1) {
1295     Args.ClaimAllArgs(options::OPT_CompileOnly_Group);
1296     Args.ClaimAllArgs(options::OPT_cl_compile_Group);
1297   }
1298 
1299   // Claim ignored clang-cl options.
1300   Args.ClaimAllArgs(options::OPT_cl_ignored_Group);
1301 }
1302 
1303 std::unique_ptr<Action>
1304 Driver::ConstructPhaseAction(const ToolChain &TC, const ArgList &Args,
1305                              phases::ID Phase,
1306                              std::unique_ptr<Action> Input) const {
1307   llvm::PrettyStackTraceString CrashInfo("Constructing phase actions");
1308   // Build the appropriate action.
1309   switch (Phase) {
1310   case phases::Link: llvm_unreachable("link action invalid here.");
1311   case phases::Preprocess: {
1312     types::ID OutputTy;
1313     // -{M, MM} alter the output type.
1314     if (Args.hasArg(options::OPT_M, options::OPT_MM)) {
1315       OutputTy = types::TY_Dependencies;
1316     } else {
1317       OutputTy = Input->getType();
1318       if (!Args.hasFlag(options::OPT_frewrite_includes,
1319                         options::OPT_fno_rewrite_includes, false) &&
1320           !CCGenDiagnostics)
1321         OutputTy = types::getPreprocessedType(OutputTy);
1322       assert(OutputTy != types::TY_INVALID &&
1323              "Cannot preprocess this input type!");
1324     }
1325     return llvm::make_unique<PreprocessJobAction>(std::move(Input), OutputTy);
1326   }
1327   case phases::Precompile: {
1328     types::ID OutputTy = types::TY_PCH;
1329     if (Args.hasArg(options::OPT_fsyntax_only)) {
1330       // Syntax checks should not emit a PCH file
1331       OutputTy = types::TY_Nothing;
1332     }
1333     return llvm::make_unique<PrecompileJobAction>(std::move(Input), OutputTy);
1334   }
1335   case phases::Compile: {
1336     if (Args.hasArg(options::OPT_fsyntax_only))
1337       return llvm::make_unique<CompileJobAction>(std::move(Input),
1338                                                  types::TY_Nothing);
1339     if (Args.hasArg(options::OPT_rewrite_objc))
1340       return llvm::make_unique<CompileJobAction>(std::move(Input),
1341                                                  types::TY_RewrittenObjC);
1342     if (Args.hasArg(options::OPT_rewrite_legacy_objc))
1343       return llvm::make_unique<CompileJobAction>(std::move(Input),
1344                                                  types::TY_RewrittenLegacyObjC);
1345     if (Args.hasArg(options::OPT__analyze, options::OPT__analyze_auto))
1346       return llvm::make_unique<AnalyzeJobAction>(std::move(Input),
1347                                                  types::TY_Plist);
1348     if (Args.hasArg(options::OPT__migrate))
1349       return llvm::make_unique<MigrateJobAction>(std::move(Input),
1350                                                  types::TY_Remap);
1351     if (Args.hasArg(options::OPT_emit_ast))
1352       return llvm::make_unique<CompileJobAction>(std::move(Input),
1353                                                  types::TY_AST);
1354     if (Args.hasArg(options::OPT_module_file_info))
1355       return llvm::make_unique<CompileJobAction>(std::move(Input),
1356                                                  types::TY_ModuleFile);
1357     if (Args.hasArg(options::OPT_verify_pch))
1358       return llvm::make_unique<VerifyPCHJobAction>(std::move(Input),
1359                                                    types::TY_Nothing);
1360     return llvm::make_unique<CompileJobAction>(std::move(Input),
1361                                                types::TY_LLVM_BC);
1362   }
1363   case phases::Backend: {
1364     if (IsUsingLTO(TC, Args)) {
1365       types::ID Output =
1366         Args.hasArg(options::OPT_S) ? types::TY_LTO_IR : types::TY_LTO_BC;
1367       return llvm::make_unique<BackendJobAction>(std::move(Input), Output);
1368     }
1369     if (Args.hasArg(options::OPT_emit_llvm)) {
1370       types::ID Output =
1371         Args.hasArg(options::OPT_S) ? types::TY_LLVM_IR : types::TY_LLVM_BC;
1372       return llvm::make_unique<BackendJobAction>(std::move(Input), Output);
1373     }
1374     return llvm::make_unique<BackendJobAction>(std::move(Input),
1375                                                types::TY_PP_Asm);
1376   }
1377   case phases::Assemble:
1378     return llvm::make_unique<AssembleJobAction>(std::move(Input),
1379                                                 types::TY_Object);
1380   }
1381 
1382   llvm_unreachable("invalid phase in ConstructPhaseAction");
1383 }
1384 
1385 bool Driver::IsUsingLTO(const ToolChain &TC, const ArgList &Args) const {
1386   if (TC.getSanitizerArgs().needsLTO())
1387     return true;
1388 
1389   if (Args.hasFlag(options::OPT_flto, options::OPT_fno_lto, false))
1390     return true;
1391 
1392   return false;
1393 }
1394 
1395 void Driver::BuildJobs(Compilation &C) const {
1396   llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
1397 
1398   Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
1399 
1400   // It is an error to provide a -o option if we are making multiple output
1401   // files.
1402   if (FinalOutput) {
1403     unsigned NumOutputs = 0;
1404     for (const Action *A : C.getActions())
1405       if (A->getType() != types::TY_Nothing)
1406         ++NumOutputs;
1407 
1408     if (NumOutputs > 1) {
1409       Diag(clang::diag::err_drv_output_argument_with_multiple_files);
1410       FinalOutput = nullptr;
1411     }
1412   }
1413 
1414   // Collect the list of architectures.
1415   llvm::StringSet<> ArchNames;
1416   if (C.getDefaultToolChain().getTriple().isOSBinFormatMachO())
1417     for (const Arg *A : C.getArgs())
1418       if (A->getOption().matches(options::OPT_arch))
1419         ArchNames.insert(A->getValue());
1420 
1421   for (Action *A : C.getActions()) {
1422     // If we are linking an image for multiple archs then the linker wants
1423     // -arch_multiple and -final_output <final image name>. Unfortunately, this
1424     // doesn't fit in cleanly because we have to pass this information down.
1425     //
1426     // FIXME: This is a hack; find a cleaner way to integrate this into the
1427     // process.
1428     const char *LinkingOutput = nullptr;
1429     if (isa<LipoJobAction>(A)) {
1430       if (FinalOutput)
1431         LinkingOutput = FinalOutput->getValue();
1432       else
1433         LinkingOutput = getDefaultImageName();
1434     }
1435 
1436     InputInfo II;
1437     BuildJobsForAction(C, A, &C.getDefaultToolChain(),
1438                        /*BoundArch*/nullptr,
1439                        /*AtTopLevel*/ true,
1440                        /*MultipleArchs*/ ArchNames.size() > 1,
1441                        /*LinkingOutput*/ LinkingOutput,
1442                        II);
1443   }
1444 
1445   // If the user passed -Qunused-arguments or there were errors, don't warn
1446   // about any unused arguments.
1447   if (Diags.hasErrorOccurred() ||
1448       C.getArgs().hasArg(options::OPT_Qunused_arguments))
1449     return;
1450 
1451   // Claim -### here.
1452   (void) C.getArgs().hasArg(options::OPT__HASH_HASH_HASH);
1453 
1454   // Claim --driver-mode, it was handled earlier.
1455   (void) C.getArgs().hasArg(options::OPT_driver_mode);
1456 
1457   for (Arg *A : C.getArgs()) {
1458     // FIXME: It would be nice to be able to send the argument to the
1459     // DiagnosticsEngine, so that extra values, position, and so on could be
1460     // printed.
1461     if (!A->isClaimed()) {
1462       if (A->getOption().hasFlag(options::NoArgumentUnused))
1463         continue;
1464 
1465       // Suppress the warning automatically if this is just a flag, and it is an
1466       // instance of an argument we already claimed.
1467       const Option &Opt = A->getOption();
1468       if (Opt.getKind() == Option::FlagClass) {
1469         bool DuplicateClaimed = false;
1470 
1471         for (const Arg *AA : C.getArgs().filtered(&Opt)) {
1472           if (AA->isClaimed()) {
1473             DuplicateClaimed = true;
1474             break;
1475           }
1476         }
1477 
1478         if (DuplicateClaimed)
1479           continue;
1480       }
1481 
1482       Diag(clang::diag::warn_drv_unused_argument)
1483         << A->getAsString(C.getArgs());
1484     }
1485   }
1486 }
1487 
1488 static const Tool *SelectToolForJob(Compilation &C, bool SaveTemps,
1489                                     const ToolChain *TC, const JobAction *JA,
1490                                     const ActionList *&Inputs) {
1491   const Tool *ToolForJob = nullptr;
1492 
1493   // See if we should look for a compiler with an integrated assembler. We match
1494   // bottom up, so what we are actually looking for is an assembler job with a
1495   // compiler input.
1496 
1497   if (TC->useIntegratedAs() &&
1498       !SaveTemps &&
1499       !C.getArgs().hasArg(options::OPT_via_file_asm) &&
1500       !C.getArgs().hasArg(options::OPT__SLASH_FA) &&
1501       !C.getArgs().hasArg(options::OPT__SLASH_Fa) &&
1502       isa<AssembleJobAction>(JA) &&
1503       Inputs->size() == 1 && isa<BackendJobAction>(*Inputs->begin())) {
1504     // A BackendJob is always preceded by a CompileJob, and without
1505     // -save-temps they will always get combined together, so instead of
1506     // checking the backend tool, check if the tool for the CompileJob
1507     // has an integrated assembler.
1508     const ActionList *BackendInputs = &(*Inputs)[0]->getInputs();
1509     JobAction *CompileJA = cast<CompileJobAction>(*BackendInputs->begin());
1510     const Tool *Compiler = TC->SelectTool(*CompileJA);
1511     if (!Compiler)
1512       return nullptr;
1513     if (Compiler->hasIntegratedAssembler()) {
1514       Inputs = &(*BackendInputs)[0]->getInputs();
1515       ToolForJob = Compiler;
1516     }
1517   }
1518 
1519   // A backend job should always be combined with the preceding compile job
1520   // unless OPT_save_temps is enabled and the compiler is capable of emitting
1521   // LLVM IR as an intermediate output.
1522   if (isa<BackendJobAction>(JA)) {
1523     // Check if the compiler supports emitting LLVM IR.
1524     assert(Inputs->size() == 1);
1525     JobAction *CompileJA = cast<CompileJobAction>(*Inputs->begin());
1526     const Tool *Compiler = TC->SelectTool(*CompileJA);
1527     if (!Compiler)
1528       return nullptr;
1529     if (!Compiler->canEmitIR() || !SaveTemps) {
1530       Inputs = &(*Inputs)[0]->getInputs();
1531       ToolForJob = Compiler;
1532     }
1533   }
1534 
1535   // Otherwise use the tool for the current job.
1536   if (!ToolForJob)
1537     ToolForJob = TC->SelectTool(*JA);
1538 
1539   // See if we should use an integrated preprocessor. We do so when we have
1540   // exactly one input, since this is the only use case we care about
1541   // (irrelevant since we don't support combine yet).
1542   if (Inputs->size() == 1 && isa<PreprocessJobAction>(*Inputs->begin()) &&
1543       !C.getArgs().hasArg(options::OPT_no_integrated_cpp) &&
1544       !C.getArgs().hasArg(options::OPT_traditional_cpp) &&
1545       !SaveTemps &&
1546       !C.getArgs().hasArg(options::OPT_rewrite_objc) &&
1547       ToolForJob->hasIntegratedCPP())
1548     Inputs = &(*Inputs)[0]->getInputs();
1549 
1550   return ToolForJob;
1551 }
1552 
1553 void Driver::BuildJobsForAction(Compilation &C,
1554                                 const Action *A,
1555                                 const ToolChain *TC,
1556                                 const char *BoundArch,
1557                                 bool AtTopLevel,
1558                                 bool MultipleArchs,
1559                                 const char *LinkingOutput,
1560                                 InputInfo &Result) const {
1561   llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
1562 
1563   if (const InputAction *IA = dyn_cast<InputAction>(A)) {
1564     // FIXME: It would be nice to not claim this here; maybe the old scheme of
1565     // just using Args was better?
1566     const Arg &Input = IA->getInputArg();
1567     Input.claim();
1568     if (Input.getOption().matches(options::OPT_INPUT)) {
1569       const char *Name = Input.getValue();
1570       Result = InputInfo(Name, A->getType(), Name);
1571     } else
1572       Result = InputInfo(&Input, A->getType(), "");
1573     return;
1574   }
1575 
1576   if (const BindArchAction *BAA = dyn_cast<BindArchAction>(A)) {
1577     const ToolChain *TC;
1578     const char *ArchName = BAA->getArchName();
1579 
1580     if (ArchName)
1581       TC = &getToolChain(C.getArgs(), ArchName);
1582     else
1583       TC = &C.getDefaultToolChain();
1584 
1585     BuildJobsForAction(C, *BAA->begin(), TC, BAA->getArchName(),
1586                        AtTopLevel, MultipleArchs, LinkingOutput, Result);
1587     return;
1588   }
1589 
1590   const ActionList *Inputs = &A->getInputs();
1591 
1592   const JobAction *JA = cast<JobAction>(A);
1593   const Tool *T = SelectToolForJob(C, isSaveTempsEnabled(), TC, JA, Inputs);
1594   if (!T)
1595     return;
1596 
1597   // Only use pipes when there is exactly one input.
1598   InputInfoList InputInfos;
1599   for (const Action *Input : *Inputs) {
1600     // Treat dsymutil and verify sub-jobs as being at the top-level too, they
1601     // shouldn't get temporary output names.
1602     // FIXME: Clean this up.
1603     bool SubJobAtTopLevel = false;
1604     if (AtTopLevel && (isa<DsymutilJobAction>(A) || isa<VerifyJobAction>(A)))
1605       SubJobAtTopLevel = true;
1606 
1607     InputInfo II;
1608     BuildJobsForAction(C, Input, TC, BoundArch, SubJobAtTopLevel, MultipleArchs,
1609                        LinkingOutput, II);
1610     InputInfos.push_back(II);
1611   }
1612 
1613   // Always use the first input as the base input.
1614   const char *BaseInput = InputInfos[0].getBaseInput();
1615 
1616   // ... except dsymutil actions, which use their actual input as the base
1617   // input.
1618   if (JA->getType() == types::TY_dSYM)
1619     BaseInput = InputInfos[0].getFilename();
1620 
1621   // Determine the place to write output to, if any.
1622   if (JA->getType() == types::TY_Nothing)
1623     Result = InputInfo(A->getType(), BaseInput);
1624   else
1625     Result = InputInfo(GetNamedOutputPath(C, *JA, BaseInput, BoundArch,
1626                                           AtTopLevel, MultipleArchs),
1627                        A->getType(), BaseInput);
1628 
1629   if (CCCPrintBindings && !CCGenDiagnostics) {
1630     llvm::errs() << "# \"" << T->getToolChain().getTripleString() << '"'
1631                  << " - \"" << T->getName() << "\", inputs: [";
1632     for (unsigned i = 0, e = InputInfos.size(); i != e; ++i) {
1633       llvm::errs() << InputInfos[i].getAsString();
1634       if (i + 1 != e)
1635         llvm::errs() << ", ";
1636     }
1637     llvm::errs() << "], output: " << Result.getAsString() << "\n";
1638   } else {
1639     T->ConstructJob(C, *JA, Result, InputInfos,
1640                     C.getArgsForToolChain(TC, BoundArch), LinkingOutput);
1641   }
1642 }
1643 
1644 const char *Driver::getDefaultImageName() const {
1645   llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple));
1646   return Target.isOSWindows() ? "a.exe" : "a.out";
1647 }
1648 
1649 /// \brief Create output filename based on ArgValue, which could either be a
1650 /// full filename, filename without extension, or a directory. If ArgValue
1651 /// does not provide a filename, then use BaseName, and use the extension
1652 /// suitable for FileType.
1653 static const char *MakeCLOutputFilename(const ArgList &Args, StringRef ArgValue,
1654                                         StringRef BaseName, types::ID FileType) {
1655   SmallString<128> Filename = ArgValue;
1656 
1657   if (ArgValue.empty()) {
1658     // If the argument is empty, output to BaseName in the current dir.
1659     Filename = BaseName;
1660   } else if (llvm::sys::path::is_separator(Filename.back())) {
1661     // If the argument is a directory, output to BaseName in that dir.
1662     llvm::sys::path::append(Filename, BaseName);
1663   }
1664 
1665   if (!llvm::sys::path::has_extension(ArgValue)) {
1666     // If the argument didn't provide an extension, then set it.
1667     const char *Extension = types::getTypeTempSuffix(FileType, true);
1668 
1669     if (FileType == types::TY_Image &&
1670         Args.hasArg(options::OPT__SLASH_LD, options::OPT__SLASH_LDd)) {
1671       // The output file is a dll.
1672       Extension = "dll";
1673     }
1674 
1675     llvm::sys::path::replace_extension(Filename, Extension);
1676   }
1677 
1678   return Args.MakeArgString(Filename.c_str());
1679 }
1680 
1681 const char *Driver::GetNamedOutputPath(Compilation &C,
1682                                        const JobAction &JA,
1683                                        const char *BaseInput,
1684                                        const char *BoundArch,
1685                                        bool AtTopLevel,
1686                                        bool MultipleArchs) const {
1687   llvm::PrettyStackTraceString CrashInfo("Computing output path");
1688   // Output to a user requested destination?
1689   if (AtTopLevel && !isa<DsymutilJobAction>(JA) &&
1690       !isa<VerifyJobAction>(JA)) {
1691     if (Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o))
1692       return C.addResultFile(FinalOutput->getValue(), &JA);
1693   }
1694 
1695   // For /P, preprocess to file named after BaseInput.
1696   if (C.getArgs().hasArg(options::OPT__SLASH_P)) {
1697     assert(AtTopLevel && isa<PreprocessJobAction>(JA));
1698     StringRef BaseName = llvm::sys::path::filename(BaseInput);
1699     StringRef NameArg;
1700     if (Arg *A = C.getArgs().getLastArg(options::OPT__SLASH_Fi))
1701       NameArg = A->getValue();
1702     return C.addResultFile(MakeCLOutputFilename(C.getArgs(), NameArg, BaseName,
1703                                                 types::TY_PP_C), &JA);
1704   }
1705 
1706   // Default to writing to stdout?
1707   if (AtTopLevel && !CCGenDiagnostics &&
1708       (isa<PreprocessJobAction>(JA) || JA.getType() == types::TY_ModuleFile))
1709     return "-";
1710 
1711   // Is this the assembly listing for /FA?
1712   if (JA.getType() == types::TY_PP_Asm &&
1713       (C.getArgs().hasArg(options::OPT__SLASH_FA) ||
1714        C.getArgs().hasArg(options::OPT__SLASH_Fa))) {
1715     // Use /Fa and the input filename to determine the asm file name.
1716     StringRef BaseName = llvm::sys::path::filename(BaseInput);
1717     StringRef FaValue = C.getArgs().getLastArgValue(options::OPT__SLASH_Fa);
1718     return C.addResultFile(MakeCLOutputFilename(C.getArgs(), FaValue, BaseName,
1719                                                 JA.getType()), &JA);
1720   }
1721 
1722   // Output to a temporary file?
1723   if ((!AtTopLevel && !isSaveTempsEnabled() &&
1724         !C.getArgs().hasArg(options::OPT__SLASH_Fo)) ||
1725       CCGenDiagnostics) {
1726     StringRef Name = llvm::sys::path::filename(BaseInput);
1727     std::pair<StringRef, StringRef> Split = Name.split('.');
1728     std::string TmpName =
1729       GetTemporaryPath(Split.first,
1730           types::getTypeTempSuffix(JA.getType(), IsCLMode()));
1731     return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
1732   }
1733 
1734   SmallString<128> BasePath(BaseInput);
1735   StringRef BaseName;
1736 
1737   // Dsymutil actions should use the full path.
1738   if (isa<DsymutilJobAction>(JA) || isa<VerifyJobAction>(JA))
1739     BaseName = BasePath;
1740   else
1741     BaseName = llvm::sys::path::filename(BasePath);
1742 
1743   // Determine what the derived output name should be.
1744   const char *NamedOutput;
1745 
1746   if ((JA.getType() == types::TY_Object || JA.getType() == types::TY_LTO_BC) &&
1747       C.getArgs().hasArg(options::OPT__SLASH_Fo, options::OPT__SLASH_o)) {
1748     // The /Fo or /o flag decides the object filename.
1749     StringRef Val = C.getArgs().getLastArg(options::OPT__SLASH_Fo,
1750                                            options::OPT__SLASH_o)->getValue();
1751     NamedOutput = MakeCLOutputFilename(C.getArgs(), Val, BaseName,
1752                                        types::TY_Object);
1753   } else if (JA.getType() == types::TY_Image &&
1754              C.getArgs().hasArg(options::OPT__SLASH_Fe, options::OPT__SLASH_o)) {
1755     // The /Fe or /o flag names the linked file.
1756     StringRef Val = C.getArgs().getLastArg(options::OPT__SLASH_Fe,
1757                                            options::OPT__SLASH_o)->getValue();
1758     NamedOutput = MakeCLOutputFilename(C.getArgs(), Val, BaseName,
1759                                        types::TY_Image);
1760   } else if (JA.getType() == types::TY_Image) {
1761     if (IsCLMode()) {
1762       // clang-cl uses BaseName for the executable name.
1763       NamedOutput = MakeCLOutputFilename(C.getArgs(), "", BaseName,
1764                                          types::TY_Image);
1765     } else if (MultipleArchs && BoundArch) {
1766       SmallString<128> Output(getDefaultImageName());
1767       Output += "-";
1768       Output.append(BoundArch);
1769       NamedOutput = C.getArgs().MakeArgString(Output.c_str());
1770     } else
1771       NamedOutput = getDefaultImageName();
1772   } else {
1773     const char *Suffix = types::getTypeTempSuffix(JA.getType(), IsCLMode());
1774     assert(Suffix && "All types used for output should have a suffix.");
1775 
1776     std::string::size_type End = std::string::npos;
1777     if (!types::appendSuffixForType(JA.getType()))
1778       End = BaseName.rfind('.');
1779     SmallString<128> Suffixed(BaseName.substr(0, End));
1780     if (MultipleArchs && BoundArch) {
1781       Suffixed += "-";
1782       Suffixed.append(BoundArch);
1783     }
1784     // When using both -save-temps and -emit-llvm, use a ".tmp.bc" suffix for
1785     // the unoptimized bitcode so that it does not get overwritten by the ".bc"
1786     // optimized bitcode output.
1787     if (!AtTopLevel && C.getArgs().hasArg(options::OPT_emit_llvm) &&
1788         JA.getType() == types::TY_LLVM_BC)
1789       Suffixed += ".tmp";
1790     Suffixed += '.';
1791     Suffixed += Suffix;
1792     NamedOutput = C.getArgs().MakeArgString(Suffixed.c_str());
1793   }
1794 
1795   // Prepend object file path if -save-temps=obj
1796   if (!AtTopLevel && isSaveTempsObj() && C.getArgs().hasArg(options::OPT_o) &&
1797       JA.getType() != types::TY_PCH) {
1798     Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
1799     SmallString<128> TempPath(FinalOutput->getValue());
1800     llvm::sys::path::remove_filename(TempPath);
1801     StringRef OutputFileName = llvm::sys::path::filename(NamedOutput);
1802     llvm::sys::path::append(TempPath, OutputFileName);
1803     NamedOutput = C.getArgs().MakeArgString(TempPath.c_str());
1804   }
1805 
1806   // If we're saving temps and the temp file conflicts with the input file,
1807   // then avoid overwriting input file.
1808   if (!AtTopLevel && isSaveTempsEnabled() && NamedOutput == BaseName) {
1809     bool SameFile = false;
1810     SmallString<256> Result;
1811     llvm::sys::fs::current_path(Result);
1812     llvm::sys::path::append(Result, BaseName);
1813     llvm::sys::fs::equivalent(BaseInput, Result.c_str(), SameFile);
1814     // Must share the same path to conflict.
1815     if (SameFile) {
1816       StringRef Name = llvm::sys::path::filename(BaseInput);
1817       std::pair<StringRef, StringRef> Split = Name.split('.');
1818       std::string TmpName =
1819         GetTemporaryPath(Split.first,
1820             types::getTypeTempSuffix(JA.getType(), IsCLMode()));
1821       return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
1822     }
1823   }
1824 
1825   // As an annoying special case, PCH generation doesn't strip the pathname.
1826   if (JA.getType() == types::TY_PCH) {
1827     llvm::sys::path::remove_filename(BasePath);
1828     if (BasePath.empty())
1829       BasePath = NamedOutput;
1830     else
1831       llvm::sys::path::append(BasePath, NamedOutput);
1832     return C.addResultFile(C.getArgs().MakeArgString(BasePath.c_str()), &JA);
1833   } else {
1834     return C.addResultFile(NamedOutput, &JA);
1835   }
1836 }
1837 
1838 std::string Driver::GetFilePath(const char *Name, const ToolChain &TC) const {
1839   // Respect a limited subset of the '-Bprefix' functionality in GCC by
1840   // attempting to use this prefix when looking for file paths.
1841   for (Driver::prefix_list::const_iterator it = PrefixDirs.begin(),
1842        ie = PrefixDirs.end(); it != ie; ++it) {
1843     std::string Dir(*it);
1844     if (Dir.empty())
1845       continue;
1846     if (Dir[0] == '=')
1847       Dir = SysRoot + Dir.substr(1);
1848     SmallString<128> P(Dir);
1849     llvm::sys::path::append(P, Name);
1850     if (llvm::sys::fs::exists(Twine(P)))
1851       return P.str();
1852   }
1853 
1854   SmallString<128> P(ResourceDir);
1855   llvm::sys::path::append(P, Name);
1856   if (llvm::sys::fs::exists(Twine(P)))
1857     return P.str();
1858 
1859   const ToolChain::path_list &List = TC.getFilePaths();
1860   for (ToolChain::path_list::const_iterator
1861          it = List.begin(), ie = List.end(); it != ie; ++it) {
1862     std::string Dir(*it);
1863     if (Dir.empty())
1864       continue;
1865     if (Dir[0] == '=')
1866       Dir = SysRoot + Dir.substr(1);
1867     SmallString<128> P(Dir);
1868     llvm::sys::path::append(P, Name);
1869     if (llvm::sys::fs::exists(Twine(P)))
1870       return P.str();
1871   }
1872 
1873   return Name;
1874 }
1875 
1876 void
1877 Driver::generatePrefixedToolNames(const char *Tool, const ToolChain &TC,
1878                                   SmallVectorImpl<std::string> &Names) const {
1879   // FIXME: Needs a better variable than DefaultTargetTriple
1880   Names.emplace_back(DefaultTargetTriple + "-" + Tool);
1881   Names.emplace_back(Tool);
1882 }
1883 
1884 static bool ScanDirForExecutable(SmallString<128> &Dir,
1885                                  ArrayRef<std::string> Names) {
1886   for (const auto &Name : Names) {
1887     llvm::sys::path::append(Dir, Name);
1888     if (llvm::sys::fs::can_execute(Twine(Dir)))
1889       return true;
1890     llvm::sys::path::remove_filename(Dir);
1891   }
1892   return false;
1893 }
1894 
1895 std::string Driver::GetProgramPath(const char *Name,
1896                                    const ToolChain &TC) const {
1897   SmallVector<std::string, 2> TargetSpecificExecutables;
1898   generatePrefixedToolNames(Name, TC, TargetSpecificExecutables);
1899 
1900   // Respect a limited subset of the '-Bprefix' functionality in GCC by
1901   // attempting to use this prefix when looking for program paths.
1902   for (const auto &PrefixDir : PrefixDirs) {
1903     if (llvm::sys::fs::is_directory(PrefixDir)) {
1904       SmallString<128> P(PrefixDir);
1905       if (ScanDirForExecutable(P, TargetSpecificExecutables))
1906         return P.str();
1907     } else {
1908       SmallString<128> P(PrefixDir + Name);
1909       if (llvm::sys::fs::can_execute(Twine(P)))
1910         return P.str();
1911     }
1912   }
1913 
1914   const ToolChain::path_list &List = TC.getProgramPaths();
1915   for (const auto &Path : List) {
1916     SmallString<128> P(Path);
1917     if (ScanDirForExecutable(P, TargetSpecificExecutables))
1918       return P.str();
1919   }
1920 
1921   // If all else failed, search the path.
1922   for (const auto &TargetSpecificExecutable : TargetSpecificExecutables)
1923     if (llvm::ErrorOr<std::string> P =
1924             llvm::sys::findProgramByName(TargetSpecificExecutable))
1925       return *P;
1926 
1927   return Name;
1928 }
1929 
1930 std::string Driver::GetTemporaryPath(StringRef Prefix, const char *Suffix)
1931   const {
1932   SmallString<128> Path;
1933   std::error_code EC = llvm::sys::fs::createTemporaryFile(Prefix, Suffix, Path);
1934   if (EC) {
1935     Diag(clang::diag::err_unable_to_make_temp) << EC.message();
1936     return "";
1937   }
1938 
1939   return Path.str();
1940 }
1941 
1942 /// \brief Compute target triple from args.
1943 ///
1944 /// This routine provides the logic to compute a target triple from various
1945 /// args passed to the driver and the default triple string.
1946 static llvm::Triple computeTargetTriple(StringRef DefaultTargetTriple,
1947                                         const ArgList &Args,
1948                                         StringRef DarwinArchName) {
1949   // FIXME: Already done in Compilation *Driver::BuildCompilation
1950   if (const Arg *A = Args.getLastArg(options::OPT_target))
1951     DefaultTargetTriple = A->getValue();
1952 
1953   llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple));
1954 
1955   // Handle Apple-specific options available here.
1956   if (Target.isOSBinFormatMachO()) {
1957     // If an explict Darwin arch name is given, that trumps all.
1958     if (!DarwinArchName.empty()) {
1959       tools::darwin::setTripleTypeForMachOArchName(Target, DarwinArchName);
1960       return Target;
1961     }
1962 
1963     // Handle the Darwin '-arch' flag.
1964     if (Arg *A = Args.getLastArg(options::OPT_arch)) {
1965       StringRef ArchName = A->getValue();
1966       tools::darwin::setTripleTypeForMachOArchName(Target, ArchName);
1967     }
1968   }
1969 
1970   // Handle pseudo-target flags '-mlittle-endian'/'-EL' and
1971   // '-mbig-endian'/'-EB'.
1972   if (Arg *A = Args.getLastArg(options::OPT_mlittle_endian,
1973                                options::OPT_mbig_endian)) {
1974     if (A->getOption().matches(options::OPT_mlittle_endian)) {
1975       if (Target.getArch() == llvm::Triple::mips)
1976         Target.setArch(llvm::Triple::mipsel);
1977       else if (Target.getArch() == llvm::Triple::mips64)
1978         Target.setArch(llvm::Triple::mips64el);
1979       else if (Target.getArch() == llvm::Triple::aarch64_be)
1980         Target.setArch(llvm::Triple::aarch64);
1981     } else {
1982       if (Target.getArch() == llvm::Triple::mipsel)
1983         Target.setArch(llvm::Triple::mips);
1984       else if (Target.getArch() == llvm::Triple::mips64el)
1985         Target.setArch(llvm::Triple::mips64);
1986       else if (Target.getArch() == llvm::Triple::aarch64)
1987         Target.setArch(llvm::Triple::aarch64_be);
1988     }
1989   }
1990 
1991   // Skip further flag support on OSes which don't support '-m32' or '-m64'.
1992   if (Target.getArchName() == "tce" || Target.getOS() == llvm::Triple::Minix)
1993     return Target;
1994 
1995   // Handle pseudo-target flags '-m64', '-mx32', '-m32' and '-m16'.
1996   if (Arg *A = Args.getLastArg(options::OPT_m64, options::OPT_mx32,
1997                                options::OPT_m32, options::OPT_m16)) {
1998     llvm::Triple::ArchType AT = llvm::Triple::UnknownArch;
1999 
2000     if (A->getOption().matches(options::OPT_m64)) {
2001       AT = Target.get64BitArchVariant().getArch();
2002       if (Target.getEnvironment() == llvm::Triple::GNUX32)
2003         Target.setEnvironment(llvm::Triple::GNU);
2004     } else if (A->getOption().matches(options::OPT_mx32) &&
2005              Target.get64BitArchVariant().getArch() == llvm::Triple::x86_64) {
2006       AT = llvm::Triple::x86_64;
2007       Target.setEnvironment(llvm::Triple::GNUX32);
2008     } else if (A->getOption().matches(options::OPT_m32)) {
2009       AT = Target.get32BitArchVariant().getArch();
2010       if (Target.getEnvironment() == llvm::Triple::GNUX32)
2011         Target.setEnvironment(llvm::Triple::GNU);
2012     } else if (A->getOption().matches(options::OPT_m16) &&
2013              Target.get32BitArchVariant().getArch() == llvm::Triple::x86) {
2014       AT = llvm::Triple::x86;
2015       Target.setEnvironment(llvm::Triple::CODE16);
2016     }
2017 
2018     if (AT != llvm::Triple::UnknownArch && AT != Target.getArch())
2019       Target.setArch(AT);
2020   }
2021 
2022   return Target;
2023 }
2024 
2025 const ToolChain &Driver::getToolChain(const ArgList &Args,
2026                                       StringRef DarwinArchName) const {
2027   llvm::Triple Target =
2028       computeTargetTriple(DefaultTargetTriple, Args, DarwinArchName);
2029 
2030   ToolChain *&TC = ToolChains[Target.str()];
2031   if (!TC) {
2032     switch (Target.getOS()) {
2033     case llvm::Triple::CloudABI:
2034       TC = new toolchains::CloudABI(*this, Target, Args);
2035       break;
2036     case llvm::Triple::Darwin:
2037     case llvm::Triple::MacOSX:
2038     case llvm::Triple::IOS:
2039       TC = new toolchains::DarwinClang(*this, Target, Args);
2040       break;
2041     case llvm::Triple::DragonFly:
2042       TC = new toolchains::DragonFly(*this, Target, Args);
2043       break;
2044     case llvm::Triple::OpenBSD:
2045       TC = new toolchains::OpenBSD(*this, Target, Args);
2046       break;
2047     case llvm::Triple::Bitrig:
2048       TC = new toolchains::Bitrig(*this, Target, Args);
2049       break;
2050     case llvm::Triple::NetBSD:
2051       TC = new toolchains::NetBSD(*this, Target, Args);
2052       break;
2053     case llvm::Triple::FreeBSD:
2054       TC = new toolchains::FreeBSD(*this, Target, Args);
2055       break;
2056     case llvm::Triple::Minix:
2057       TC = new toolchains::Minix(*this, Target, Args);
2058       break;
2059     case llvm::Triple::Linux:
2060       if (Target.getArch() == llvm::Triple::hexagon)
2061         TC = new toolchains::Hexagon_TC(*this, Target, Args);
2062       else
2063         TC = new toolchains::Linux(*this, Target, Args);
2064       break;
2065     case llvm::Triple::NaCl:
2066       TC = new toolchains::NaCl_TC(*this, Target, Args);
2067       break;
2068     case llvm::Triple::Solaris:
2069       TC = new toolchains::Solaris(*this, Target, Args);
2070       break;
2071     case llvm::Triple::Win32:
2072       switch (Target.getEnvironment()) {
2073       default:
2074         if (Target.isOSBinFormatELF())
2075           TC = new toolchains::Generic_ELF(*this, Target, Args);
2076         else if (Target.isOSBinFormatMachO())
2077           TC = new toolchains::MachO(*this, Target, Args);
2078         else
2079           TC = new toolchains::Generic_GCC(*this, Target, Args);
2080         break;
2081       case llvm::Triple::GNU:
2082         // FIXME: We need a MinGW toolchain.  Use the default Generic_GCC
2083         // toolchain for now as the default case would below otherwise.
2084         if (Target.isOSBinFormatELF())
2085           TC = new toolchains::Generic_ELF(*this, Target, Args);
2086         else
2087           TC = new toolchains::Generic_GCC(*this, Target, Args);
2088         break;
2089       case llvm::Triple::Itanium:
2090         TC = new toolchains::CrossWindowsToolChain(*this, Target, Args);
2091         break;
2092       case llvm::Triple::MSVC:
2093       case llvm::Triple::UnknownEnvironment:
2094         TC = new toolchains::MSVCToolChain(*this, Target, Args);
2095         break;
2096       }
2097       break;
2098     default:
2099       // Of these targets, Hexagon is the only one that might have
2100       // an OS of Linux, in which case it got handled above already.
2101       if (Target.getArchName() == "tce")
2102         TC = new toolchains::TCEToolChain(*this, Target, Args);
2103       else if (Target.getArch() == llvm::Triple::hexagon)
2104         TC = new toolchains::Hexagon_TC(*this, Target, Args);
2105       else if (Target.getArch() == llvm::Triple::xcore)
2106         TC = new toolchains::XCore(*this, Target, Args);
2107       else if (Target.isOSBinFormatELF())
2108         TC = new toolchains::Generic_ELF(*this, Target, Args);
2109       else if (Target.isOSBinFormatMachO())
2110         TC = new toolchains::MachO(*this, Target, Args);
2111       else
2112         TC = new toolchains::Generic_GCC(*this, Target, Args);
2113       break;
2114     }
2115   }
2116   return *TC;
2117 }
2118 
2119 bool Driver::ShouldUseClangCompiler(const JobAction &JA) const {
2120   // Say "no" if there is not exactly one input of a type clang understands.
2121   if (JA.size() != 1 ||
2122       !types::isAcceptedByClang((*JA.begin())->getType()))
2123     return false;
2124 
2125   // And say "no" if this is not a kind of action clang understands.
2126   if (!isa<PreprocessJobAction>(JA) && !isa<PrecompileJobAction>(JA) &&
2127       !isa<CompileJobAction>(JA) && !isa<BackendJobAction>(JA))
2128     return false;
2129 
2130   return true;
2131 }
2132 
2133 /// GetReleaseVersion - Parse (([0-9]+)(.([0-9]+)(.([0-9]+)?))?)? and return the
2134 /// grouped values as integers. Numbers which are not provided are set to 0.
2135 ///
2136 /// \return True if the entire string was parsed (9.2), or all groups were
2137 /// parsed (10.3.5extrastuff).
2138 bool Driver::GetReleaseVersion(const char *Str, unsigned &Major,
2139                                unsigned &Minor, unsigned &Micro,
2140                                bool &HadExtra) {
2141   HadExtra = false;
2142 
2143   Major = Minor = Micro = 0;
2144   if (*Str == '\0')
2145     return false;
2146 
2147   char *End;
2148   Major = (unsigned) strtol(Str, &End, 10);
2149   if (*Str != '\0' && *End == '\0')
2150     return true;
2151   if (*End != '.')
2152     return false;
2153 
2154   Str = End+1;
2155   Minor = (unsigned) strtol(Str, &End, 10);
2156   if (*Str != '\0' && *End == '\0')
2157     return true;
2158   if (*End != '.')
2159     return false;
2160 
2161   Str = End+1;
2162   Micro = (unsigned) strtol(Str, &End, 10);
2163   if (*Str != '\0' && *End == '\0')
2164     return true;
2165   if (Str == End)
2166     return false;
2167   HadExtra = true;
2168   return true;
2169 }
2170 
2171 std::pair<unsigned, unsigned> Driver::getIncludeExcludeOptionFlagMasks() const {
2172   unsigned IncludedFlagsBitmask = 0;
2173   unsigned ExcludedFlagsBitmask = options::NoDriverOption;
2174 
2175   if (Mode == CLMode) {
2176     // Include CL and Core options.
2177     IncludedFlagsBitmask |= options::CLOption;
2178     IncludedFlagsBitmask |= options::CoreOption;
2179   } else {
2180     ExcludedFlagsBitmask |= options::CLOption;
2181   }
2182 
2183   return std::make_pair(IncludedFlagsBitmask, ExcludedFlagsBitmask);
2184 }
2185 
2186 bool clang::driver::isOptimizationLevelFast(const ArgList &Args) {
2187   return Args.hasFlag(options::OPT_Ofast, options::OPT_O_Group, false);
2188 }
2189