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