blob: b1d5e6196379ea1fa639e27e16710ec6953430e6 [file] [log] [blame]
Nick Lewyckye47c2452010-09-23 23:48:20 +00001//===--- Driver.cpp - Clang GCC Compatible Driver -------------------------===//
Daniel Dunbar544ecd12009-03-02 19:59:07 +00002//
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
Daniel Dunbar544ecd12009-03-02 19:59:07 +000010#include "clang/Driver/Driver.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000011#include "InputInfo.h"
12#include "ToolChains.h"
13#include "clang/Basic/Version.h"
Daniel Dunbar1688f1a2009-03-12 07:58:46 +000014#include "clang/Driver/Action.h"
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000015#include "clang/Driver/Compilation.h"
Daniel Dunbarc0b3e952009-03-12 08:55:43 +000016#include "clang/Driver/DriverDiagnostic.h"
Daniel Dunbare75d8342009-03-16 06:56:51 +000017#include "clang/Driver/Job.h"
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000018#include "clang/Driver/Options.h"
Alexey Samsonov609213f92013-08-19 09:14:21 +000019#include "clang/Driver/SanitizerArgs.h"
Daniel Dunbare75d8342009-03-16 06:56:51 +000020#include "clang/Driver/Tool.h"
21#include "clang/Driver/ToolChain.h"
Chris Lattnerce6c42f2011-03-23 04:04:01 +000022#include "llvm/ADT/ArrayRef.h"
Ted Kremenekbb1110a2010-01-19 01:29:05 +000023#include "llvm/ADT/OwningPtr.h"
Hans Wennborg6ddc6902013-07-27 00:23:45 +000024#include "llvm/ADT/STLExtras.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000025#include "llvm/ADT/StringSet.h"
Hans Wennborg70850d82013-07-18 20:29:38 +000026#include "llvm/ADT/StringSwitch.h"
Reid Kleckner898229a2013-06-14 17:17:23 +000027#include "llvm/Option/Arg.h"
28#include "llvm/Option/ArgList.h"
29#include "llvm/Option/OptTable.h"
30#include "llvm/Option/Option.h"
31#include "llvm/Option/OptSpecifier.h"
Eric Christopher2ba5fcb2013-02-05 07:29:57 +000032#include "llvm/Support/Debug.h"
David Blaikie79000202011-09-23 05:57:42 +000033#include "llvm/Support/ErrorHandling.h"
Michael J. Spencerf28df4c2010-12-17 21:22:22 +000034#include "llvm/Support/FileSystem.h"
Michael J. Spencer8aaf4992010-11-29 18:12:39 +000035#include "llvm/Support/Path.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000036#include "llvm/Support/PrettyStackTrace.h"
Michael J. Spencer8aaf4992010-11-29 18:12:39 +000037#include "llvm/Support/Program.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000038#include "llvm/Support/raw_ostream.h"
Dylan Noblesmith4f4e7452012-02-02 00:40:14 +000039#include <map>
Dylan Noblesmith86780e92012-02-01 14:25:28 +000040
Eric Christopherc32fb592013-02-18 04:38:06 +000041// FIXME: It would prevent us from including llvm-config.h
42// if config.h were included before system_error.h.
NAKAMURA Takumieaceff92012-12-05 04:56:27 +000043#include "clang/Config/config.h"
44
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000045using namespace clang::driver;
Chris Lattnerada1c912009-03-26 05:56:24 +000046using namespace clang;
Reid Kleckner898229a2013-06-14 17:17:23 +000047using namespace llvm::opt;
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000048
Chris Lattner0e62c1c2011-07-23 10:55:15 +000049Driver::Driver(StringRef ClangExecutable,
Sebastian Pop9d66d9e2012-01-13 20:36:46 +000050 StringRef DefaultTargetTriple,
Chris Lattner0e62c1c2011-07-23 10:55:15 +000051 StringRef DefaultImageName,
David Blaikie9c902b52011-09-25 23:23:43 +000052 DiagnosticsEngine &Diags)
Hans Wennborg5937ec72013-07-18 21:45:42 +000053 : Opts(createDriverOptTable()), Diags(Diags), Mode(GCCMode),
Sebastian Pop980920a2012-04-16 04:16:43 +000054 ClangExecutable(ClangExecutable), SysRoot(DEFAULT_SYSROOT),
55 UseStdLib(true), DefaultTargetTriple(DefaultTargetTriple),
Chad Rosier1b9c5f12012-01-14 00:30:11 +000056 DefaultImageName(DefaultImageName),
Bob Wilson1ec4a5e2012-09-14 03:35:42 +000057 DriverTitle("clang LLVM compiler"),
Daniel Dunbar529c03b2011-04-07 18:01:20 +000058 CCPrintOptionsFilename(0), CCPrintHeadersFilename(0),
Hans Wennborg5937ec72013-07-18 21:45:42 +000059 CCLogDiagnosticsFilename(0),
Rafael Espindola8c424542013-07-23 17:58:53 +000060 CCCPrintBindings(false),
Rafael Espindola0c9fa3f2013-09-03 13:26:49 +000061 CCPrintHeaders(false), CCLogDiagnostics(false),
Chad Rosierbe10f982011-08-02 17:58:04 +000062 CCGenDiagnostics(false), CCCGenericGCCName(""), CheckInputsExist(true),
Bob Wilsond0de8ce2012-11-08 01:03:29 +000063 CCCUsePCH(true), SuppressMissingInputWarning(false) {
Daniel Dunbar3f3e2cd2010-01-20 02:35:16 +000064
Michael J. Spencere47230f2010-12-18 04:13:32 +000065 Name = llvm::sys::path::stem(ClangExecutable);
66 Dir = llvm::sys::path::parent_path(ClangExecutable);
Bob Wilsona20a1da2013-03-23 05:17:59 +000067
68 // Compute the path to the resource directory.
69 StringRef ClangResourceDir(CLANG_RESOURCE_DIR);
70 SmallString<128> P(Dir);
71 if (ClangResourceDir != "")
72 llvm::sys::path::append(P, ClangResourceDir);
73 else
74 llvm::sys::path::append(P, "..", "lib", "clang", CLANG_VERSION_STRING);
75 ResourceDir = P.str();
Daniel Dunbar544ecd12009-03-02 19:59:07 +000076}
77
78Driver::~Driver() {
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000079 delete Opts;
Chandler Carruth2ad5de12012-01-25 11:01:57 +000080
81 for (llvm::StringMap<ToolChain *>::iterator I = ToolChains.begin(),
82 E = ToolChains.end();
83 I != E; ++I)
84 delete I->second;
Daniel Dunbar544ecd12009-03-02 19:59:07 +000085}
86
Hans Wennborg70850d82013-07-18 20:29:38 +000087void Driver::ParseDriverMode(ArrayRef<const char *> Args) {
88 const std::string OptName =
89 getOpts().getOption(options::OPT_driver_mode).getPrefixedName();
90
91 for (size_t I = 0, E = Args.size(); I != E; ++I) {
92 const StringRef Arg = Args[I];
93 if (!Arg.startswith(OptName))
94 continue;
95
96 const StringRef Value = Arg.drop_front(OptName.size());
97 const unsigned M = llvm::StringSwitch<unsigned>(Value)
98 .Case("gcc", GCCMode)
99 .Case("g++", GXXMode)
100 .Case("cpp", CPPMode)
Hans Wennborge4b031c2013-07-19 20:33:20 +0000101 .Case("cl", CLMode)
Hans Wennborg70850d82013-07-18 20:29:38 +0000102 .Default(~0U);
103
104 if (M != ~0U)
105 Mode = static_cast<DriverMode>(M);
106 else
107 Diag(diag::err_drv_unsupported_option_argument) << OptName << Value;
108 }
109}
110
Chris Lattner54b16772011-07-23 17:14:25 +0000111InputArgList *Driver::ParseArgStrings(ArrayRef<const char *> ArgList) {
Daniel Dunbar2608c542009-03-18 01:38:48 +0000112 llvm::PrettyStackTraceString CrashInfo("Command line argument parsing");
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000113
114 unsigned IncludedFlagsBitmask;
115 unsigned ExcludedFlagsBitmask;
116 llvm::tie(IncludedFlagsBitmask, ExcludedFlagsBitmask) =
117 getIncludeExcludeOptionFlagMasks();
118
Daniel Dunbar52ed5fe2009-11-19 06:35:06 +0000119 unsigned MissingArgIndex, MissingArgCount;
Chris Lattnerce6c42f2011-03-23 04:04:01 +0000120 InputArgList *Args = getOpts().ParseArgs(ArgList.begin(), ArgList.end(),
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000121 MissingArgIndex, MissingArgCount,
122 IncludedFlagsBitmask,
123 ExcludedFlagsBitmask);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000124
Daniel Dunbar52ed5fe2009-11-19 06:35:06 +0000125 // Check for missing argument error.
126 if (MissingArgCount)
127 Diag(clang::diag::err_drv_missing_argument)
128 << Args->getArgString(MissingArgIndex) << MissingArgCount;
Daniel Dunbar65229332009-03-13 11:38:42 +0000129
Daniel Dunbar52ed5fe2009-11-19 06:35:06 +0000130 // Check for unsupported options.
131 for (ArgList::const_iterator it = Args->begin(), ie = Args->end();
132 it != ie; ++it) {
133 Arg *A = *it;
Michael J. Spencer66e2b202012-10-19 22:37:06 +0000134 if (A->getOption().hasFlag(options::Unsupported)) {
Daniel Dunbard8500f32009-03-22 23:26:43 +0000135 Diag(clang::diag::err_drv_unsupported_opt) << A->getAsString(*Args);
136 continue;
137 }
Chad Rosierce975d92012-02-22 17:55:22 +0000138
139 // Warn about -mcpu= without an argument.
Chad Rosier62135492012-07-09 17:31:28 +0000140 if (A->getOption().matches(options::OPT_mcpu_EQ) &&
Chad Rosierce975d92012-02-22 17:55:22 +0000141 A->containsValue("")) {
Chad Rosier62135492012-07-09 17:31:28 +0000142 Diag(clang::diag::warn_drv_empty_joined_argument) <<
143 A->getAsString(*Args);
Chad Rosierce975d92012-02-22 17:55:22 +0000144 }
Daniel Dunbard02cb1d2009-03-05 06:38:47 +0000145 }
146
147 return Args;
148}
149
Chad Rosier7742b5d2011-07-27 23:36:45 +0000150// Determine which compilation mode we are in. We look for options which
151// affect the phase, starting with the earliest phases, and record which
152// option we used to determine the final phase.
153phases::ID Driver::getFinalPhase(const DerivedArgList &DAL, Arg **FinalPhaseArg)
154const {
155 Arg *PhaseArg = 0;
156 phases::ID FinalPhase;
Eric Christopherf901e852011-08-17 22:59:59 +0000157
Chad Rosier7742b5d2011-07-27 23:36:45 +0000158 // -{E,M,MM} only run the preprocessor.
Hans Wennborg70850d82013-07-18 20:29:38 +0000159 if (CCCIsCPP() ||
Chad Rosier7742b5d2011-07-27 23:36:45 +0000160 (PhaseArg = DAL.getLastArg(options::OPT_E)) ||
161 (PhaseArg = DAL.getLastArg(options::OPT_M, options::OPT_MM))) {
162 FinalPhase = phases::Preprocess;
Eric Christopherf901e852011-08-17 22:59:59 +0000163
Chad Rosier7742b5d2011-07-27 23:36:45 +0000164 // -{fsyntax-only,-analyze,emit-ast,S} only run up to the compiler.
165 } else if ((PhaseArg = DAL.getLastArg(options::OPT_fsyntax_only)) ||
Douglas Gregorbf7fc9c2013-03-27 16:47:18 +0000166 (PhaseArg = DAL.getLastArg(options::OPT_module_file_info)) ||
Chad Rosier7742b5d2011-07-27 23:36:45 +0000167 (PhaseArg = DAL.getLastArg(options::OPT_rewrite_objc)) ||
Fariborz Jahanian73223bb2012-04-02 15:59:19 +0000168 (PhaseArg = DAL.getLastArg(options::OPT_rewrite_legacy_objc)) ||
Ted Kremenekf7639e12012-03-06 20:06:33 +0000169 (PhaseArg = DAL.getLastArg(options::OPT__migrate)) ||
Chad Rosier7742b5d2011-07-27 23:36:45 +0000170 (PhaseArg = DAL.getLastArg(options::OPT__analyze,
Chad Rosier1aeb15a2012-03-06 23:14:35 +0000171 options::OPT__analyze_auto)) ||
Chad Rosier7742b5d2011-07-27 23:36:45 +0000172 (PhaseArg = DAL.getLastArg(options::OPT_emit_ast)) ||
173 (PhaseArg = DAL.getLastArg(options::OPT_S))) {
174 FinalPhase = phases::Compile;
175
176 // -c only runs up to the assembler.
177 } else if ((PhaseArg = DAL.getLastArg(options::OPT_c))) {
178 FinalPhase = phases::Assemble;
179
180 // Otherwise do everything.
181 } else
182 FinalPhase = phases::Link;
183
184 if (FinalPhaseArg)
185 *FinalPhaseArg = PhaseArg;
186
187 return FinalPhase;
188}
189
Hans Wennborged1d0722013-08-13 21:32:29 +0000190static Arg* MakeInputArg(const DerivedArgList &Args, OptTable *Opts,
191 StringRef Value) {
192 Arg *A = new Arg(Opts->getOption(options::OPT_INPUT), Value,
193 Args.getBaseArgs().MakeIndex(Value), Value.data());
194 A->claim();
195 return A;
196}
197
Daniel Dunbar775d4062010-06-11 22:00:26 +0000198DerivedArgList *Driver::TranslateInputArgs(const InputArgList &Args) const {
199 DerivedArgList *DAL = new DerivedArgList(Args);
200
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000201 bool HasNostdlib = Args.hasArg(options::OPT_nostdlib);
Daniel Dunbar775d4062010-06-11 22:00:26 +0000202 for (ArgList::const_iterator it = Args.begin(),
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000203 ie = Args.end(); it != ie; ++it) {
204 const Arg *A = *it;
205
206 // Unfortunately, we have to parse some forwarding options (-Xassembler,
207 // -Xlinker, -Xpreprocessor) because we either integrate their functionality
208 // (assembler and preprocessor), or bypass a previous driver ('collect2').
Daniel Dunbar5a9d1832010-06-14 21:37:09 +0000209
210 // Rewrite linker options, to replace --no-demangle with a custom internal
211 // option.
212 if ((A->getOption().matches(options::OPT_Wl_COMMA) ||
213 A->getOption().matches(options::OPT_Xlinker)) &&
214 A->containsValue("--no-demangle")) {
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000215 // Add the rewritten no-demangle argument.
216 DAL->AddFlagArg(A, Opts->getOption(options::OPT_Z_Xlinker__no_demangle));
217
218 // Add the remaining values as Xlinker arguments.
219 for (unsigned i = 0, e = A->getNumValues(); i != e; ++i)
Richard Smithbd55daf2012-11-01 04:30:05 +0000220 if (StringRef(A->getValue(i)) != "--no-demangle")
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000221 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_Xlinker),
Richard Smithbd55daf2012-11-01 04:30:05 +0000222 A->getValue(i));
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000223
224 continue;
225 }
226
Daniel Dunbar5a9d1832010-06-14 21:37:09 +0000227 // Rewrite preprocessor options, to replace -Wp,-MD,FOO which is used by
228 // some build systems. We don't try to be complete here because we don't
229 // care to encourage this usage model.
230 if (A->getOption().matches(options::OPT_Wp_COMMA) &&
Richard Smithbd55daf2012-11-01 04:30:05 +0000231 (A->getValue(0) == StringRef("-MD") ||
232 A->getValue(0) == StringRef("-MMD"))) {
Daniel Dunbar3648ba72010-06-15 20:30:18 +0000233 // Rewrite to -MD/-MMD along with -MF.
Richard Smithbd55daf2012-11-01 04:30:05 +0000234 if (A->getValue(0) == StringRef("-MD"))
Daniel Dunbar3648ba72010-06-15 20:30:18 +0000235 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MD));
236 else
237 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MMD));
Michael J. Spencer70d85be2012-11-07 23:37:14 +0000238 if (A->getNumValues() == 2)
239 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_MF),
240 A->getValue(1));
Daniel Dunbar5a9d1832010-06-14 21:37:09 +0000241 continue;
242 }
243
Shantonu Senafeb03b2010-09-17 18:39:08 +0000244 // Rewrite reserved library names.
245 if (A->getOption().matches(options::OPT_l)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000246 StringRef Value = A->getValue();
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000247
Shantonu Senafeb03b2010-09-17 18:39:08 +0000248 // Rewrite unless -nostdlib is present.
249 if (!HasNostdlib && Value == "stdc++") {
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000250 DAL->AddFlagArg(A, Opts->getOption(
251 options::OPT_Z_reserved_lib_stdcxx));
252 continue;
253 }
Shantonu Senafeb03b2010-09-17 18:39:08 +0000254
255 // Rewrite unconditionally.
256 if (Value == "cc_kext") {
257 DAL->AddFlagArg(A, Opts->getOption(
258 options::OPT_Z_reserved_lib_cckext));
259 continue;
260 }
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000261 }
262
Hans Wennborged1d0722013-08-13 21:32:29 +0000263 // Pick up inputs via the -- option.
264 if (A->getOption().matches(options::OPT__DASH_DASH)) {
265 A->claim();
266 for (unsigned i = 0, e = A->getNumValues(); i != e; ++i)
267 DAL->append(MakeInputArg(*DAL, Opts, A->getValue(i)));
268 continue;
269 }
270
Daniel Dunbar775d4062010-06-11 22:00:26 +0000271 DAL->append(*it);
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000272 }
Daniel Dunbar775d4062010-06-11 22:00:26 +0000273
Daniel Dunbar628fcf42010-08-12 00:05:12 +0000274 // Add a default value of -mlinker-version=, if one was given and the user
275 // didn't specify one.
276#if defined(HOST_LINK_VERSION)
277 if (!Args.hasArg(options::OPT_mlinker_version_EQ)) {
278 DAL->AddJoinedArg(0, Opts->getOption(options::OPT_mlinker_version_EQ),
279 HOST_LINK_VERSION);
Daniel Dunbarb613ffc2010-08-17 22:32:45 +0000280 DAL->getLastArg(options::OPT_mlinker_version_EQ)->claim();
Daniel Dunbar628fcf42010-08-12 00:05:12 +0000281 }
282#endif
283
Daniel Dunbar775d4062010-06-11 22:00:26 +0000284 return DAL;
285}
286
Hans Wennborg207fcf02013-08-12 21:56:42 +0000287/// \brief Check whether there are multiple instances of OptionID in Args, and
288/// if so, issue a diagnostics about it.
289static void DiagnoseOptionOverride(const Driver &D, const DerivedArgList &Args,
290 unsigned OptionID) {
291 assert(Args.hasArg(OptionID));
292
293 arg_iterator it = Args.filtered_begin(OptionID);
294 arg_iterator ie = Args.filtered_end();
295 Arg *Previous = *it;
296 ++it;
297
298 while (it != ie) {
299 D.Diag(clang::diag::warn_drv_overriding_joined_option)
300 << Previous->getSpelling() << Previous->getValue()
301 << (*it)->getSpelling() << (*it)->getValue();
302 Previous = *it;
303 ++it;
304 }
305}
306
Chris Lattner54b16772011-07-23 17:14:25 +0000307Compilation *Driver::BuildCompilation(ArrayRef<const char *> ArgList) {
Daniel Dunbar2608c542009-03-18 01:38:48 +0000308 llvm::PrettyStackTraceString CrashInfo("Compilation construction");
309
Eric Christopherf901e852011-08-17 22:59:59 +0000310 // FIXME: Handle environment options which affect driver behavior, somewhere
Bill Wendlingadbeb9f2012-03-12 21:24:57 +0000311 // (client?). GCC_EXEC_PREFIX, LPATH, CC_PRINT_OPTIONS.
Chad Rosier82301162011-09-14 00:47:55 +0000312
313 if (char *env = ::getenv("COMPILER_PATH")) {
314 StringRef CompilerPath = env;
315 while (!CompilerPath.empty()) {
NAKAMURA Takumiad80c5e2012-12-12 06:22:22 +0000316 std::pair<StringRef, StringRef> Split
Rafael Espindolae3d0c4a2013-06-25 01:11:59 +0000317 = CompilerPath.split(llvm::sys::EnvPathSeparator);
Chad Rosier82301162011-09-14 00:47:55 +0000318 PrefixDirs.push_back(Split.first);
319 CompilerPath = Split.second;
320 }
321 }
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000322
Hans Wennborg70850d82013-07-18 20:29:38 +0000323 // We look for the driver mode option early, because the mode can affect
324 // how other options are parsed.
325 ParseDriverMode(ArgList.slice(1));
326
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000327 // FIXME: What are we going to do with -V and -b?
328
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000329 // FIXME: This stuff needs to go into the Compilation, not the driver.
Rafael Espindola0c9fa3f2013-09-03 13:26:49 +0000330 bool CCCPrintActions;
Daniel Dunbard02cb1d2009-03-05 06:38:47 +0000331
Chris Lattnerce6c42f2011-03-23 04:04:01 +0000332 InputArgList *Args = ParseArgStrings(ArgList.slice(1));
Daniel Dunbaracd69572009-12-04 21:55:23 +0000333
Rafael Espindola59ae7992009-12-07 18:28:29 +0000334 // -no-canonical-prefixes is used very early in main.
335 Args->ClaimAllArgs(options::OPT_no_canonical_prefixes);
336
Daniel Dunbar926f81f2010-08-02 02:38:03 +0000337 // Ignore -pipe.
338 Args->ClaimAllArgs(options::OPT_pipe);
339
Daniel Dunbaracd69572009-12-04 21:55:23 +0000340 // Extract -ccc args.
Daniel Dunbaree66cf22009-03-10 20:52:46 +0000341 //
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000342 // FIXME: We need to figure out where this behavior should live. Most of it
343 // should be outside in the client; the parts that aren't should have proper
344 // options, either by introducing new ones or by overloading gcc ones like -V
345 // or -b.
Daniel Dunbaracd69572009-12-04 21:55:23 +0000346 CCCPrintActions = Args->hasArg(options::OPT_ccc_print_phases);
347 CCCPrintBindings = Args->hasArg(options::OPT_ccc_print_bindings);
Daniel Dunbaracd69572009-12-04 21:55:23 +0000348 if (const Arg *A = Args->getLastArg(options::OPT_ccc_gcc_name))
Richard Smithbd55daf2012-11-01 04:30:05 +0000349 CCCGenericGCCName = A->getValue();
Daniel Dunbaracd69572009-12-04 21:55:23 +0000350 CCCUsePCH = Args->hasFlag(options::OPT_ccc_pch_is_pch,
351 options::OPT_ccc_pch_is_pth);
Joerg Sonnenberger17d75512012-02-22 19:15:16 +0000352 // FIXME: DefaultTargetTriple is used by the target-prefixed calls to as/ld
353 // and getToolChain is const.
Hans Wennborg2e274592013-08-13 23:38:57 +0000354 if (IsCLMode()) {
355 // clang-cl targets Win32.
356 llvm::Triple T(DefaultTargetTriple);
357 T.setOSName(llvm::Triple::getOSTypeName(llvm::Triple::Win32));
358 DefaultTargetTriple = T.str();
359 }
Joerg Sonnenberger17d75512012-02-22 19:15:16 +0000360 if (const Arg *A = Args->getLastArg(options::OPT_target))
Richard Smithbd55daf2012-11-01 04:30:05 +0000361 DefaultTargetTriple = A->getValue();
Daniel Dunbaracd69572009-12-04 21:55:23 +0000362 if (const Arg *A = Args->getLastArg(options::OPT_ccc_install_dir))
Richard Smithbd55daf2012-11-01 04:30:05 +0000363 Dir = InstalledDir = A->getValue();
Benjamin Kramer1a648d12011-02-08 20:31:42 +0000364 for (arg_iterator it = Args->filtered_begin(options::OPT_B),
365 ie = Args->filtered_end(); it != ie; ++it) {
366 const Arg *A = *it;
367 A->claim();
Richard Smithbd55daf2012-11-01 04:30:05 +0000368 PrefixDirs.push_back(A->getValue(0));
Benjamin Kramer1a648d12011-02-08 20:31:42 +0000369 }
Joerg Sonnenberger6165ab12011-03-21 13:51:29 +0000370 if (const Arg *A = Args->getLastArg(options::OPT__sysroot_EQ))
Richard Smithbd55daf2012-11-01 04:30:05 +0000371 SysRoot = A->getValue();
Peter Collingbourne9d9e1fc2013-05-27 21:40:20 +0000372 if (const Arg *A = Args->getLastArg(options::OPT__dyld_prefix_EQ))
373 DyldPrefix = A->getValue();
Joerg Sonnenbergerbc923f32011-03-21 13:59:26 +0000374 if (Args->hasArg(options::OPT_nostdlib))
375 UseStdLib = false;
Daniel Dunbaree66cf22009-03-10 20:52:46 +0000376
Richard Smithf3e624c2013-03-23 00:30:08 +0000377 if (const Arg *A = Args->getLastArg(options::OPT_resource_dir))
Bob Wilsona20a1da2013-03-23 05:17:59 +0000378 ResourceDir = A->getValue();
Jim Grosbach061dabf2013-03-12 20:17:58 +0000379
Daniel Dunbar775d4062010-06-11 22:00:26 +0000380 // Perform the default argument translations.
381 DerivedArgList *TranslatedArgs = TranslateInputArgs(*Args);
382
Chandler Carruthcb916192012-01-25 08:49:21 +0000383 // Owned by the host.
Chandler Carruth2ad5de12012-01-25 11:01:57 +0000384 const ToolChain &TC = getToolChain(*Args);
Chandler Carruthcb916192012-01-25 08:49:21 +0000385
Daniel Dunbar3ce436d2009-03-16 06:42:30 +0000386 // The compilation takes ownership of Args.
Chandler Carruthcb916192012-01-25 08:49:21 +0000387 Compilation *C = new Compilation(*this, TC, Args, TranslatedArgs);
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000388
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000389 if (!HandleImmediateArgs(*C))
390 return C;
391
Chad Rosierecdede82011-08-12 22:08:57 +0000392 // Construct the list of inputs.
393 InputList Inputs;
Hans Wennborged1d0722013-08-13 21:32:29 +0000394 BuildInputs(C->getDefaultToolChain(), *TranslatedArgs, Inputs);
Chad Rosierecdede82011-08-12 22:08:57 +0000395
Chandler Carruth7f1417f2012-01-24 10:43:44 +0000396 // Construct the list of abstract actions to perform for this compilation. On
397 // Darwin target OSes this uses the driver-driver and universal actions.
Chandler Carruthcb916192012-01-25 08:49:21 +0000398 if (TC.getTriple().isOSDarwin())
Joerg Sonnenbergerf4961642011-03-07 01:15:29 +0000399 BuildUniversalActions(C->getDefaultToolChain(), C->getArgs(),
Chad Rosierecdede82011-08-12 22:08:57 +0000400 Inputs, C->getActions());
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000401 else
Chad Rosierecdede82011-08-12 22:08:57 +0000402 BuildActions(C->getDefaultToolChain(), C->getArgs(), Inputs,
403 C->getActions());
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000404
405 if (CCCPrintActions) {
Daniel Dunbareb843be2009-03-18 03:13:20 +0000406 PrintActions(*C);
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000407 return C;
408 }
409
410 BuildJobs(*C);
Daniel Dunbaradc91e62009-03-15 01:38:15 +0000411
412 return C;
Daniel Dunbaree66cf22009-03-10 20:52:46 +0000413}
414
Eric Christopherf901e852011-08-17 22:59:59 +0000415// When clang crashes, produce diagnostic information including the fully
416// preprocessed source file(s). Request that the developer attach the
Chad Rosierbe10f982011-08-02 17:58:04 +0000417// diagnostic information to a bug report.
418void Driver::generateCompilationDiagnostics(Compilation &C,
419 const Command *FailingCommand) {
Chad Rosier877c0a22012-02-22 00:30:39 +0000420 if (C.getArgs().hasArg(options::OPT_fno_crash_diagnostics))
Chad Rosier62135492012-07-09 17:31:28 +0000421 return;
Chad Rosierbee5a1d2012-03-07 00:30:40 +0000422
Chad Rosierdbf46a12013-02-01 18:30:26 +0000423 // Don't try to generate diagnostics for link or dsymutil jobs.
424 if (FailingCommand && (FailingCommand->getCreator().isLinkJob() ||
425 FailingCommand->getCreator().isDsymutilJob()))
Chad Rosier877c0a22012-02-22 00:30:39 +0000426 return;
427
Chad Rosier8179f112012-06-19 17:51:34 +0000428 // Print the version of the compiler.
429 PrintVersion(C, llvm::errs());
430
Chad Rosierbe10f982011-08-02 17:58:04 +0000431 Diag(clang::diag::note_drv_command_failed_diag_msg)
Chad Rosier103e2c92012-06-19 18:39:21 +0000432 << "PLEASE submit a bug report to " BUG_REPORT_URL " and include the "
433 "crash backtrace, preprocessed source, and associated run script.";
Chad Rosierbe10f982011-08-02 17:58:04 +0000434
435 // Suppress driver output and emit preprocessor output to temp file.
Hans Wennborg70850d82013-07-18 20:29:38 +0000436 Mode = CPPMode;
Chad Rosierbe10f982011-08-02 17:58:04 +0000437 CCGenDiagnostics = true;
David Blaikie5d577a22012-06-29 22:03:56 +0000438 C.getArgs().AddFlagArg(0, Opts->getOption(options::OPT_frewrite_includes));
Chad Rosierbe10f982011-08-02 17:58:04 +0000439
Chad Rosiercdb008d2011-11-02 21:29:05 +0000440 // Save the original job command(s).
441 std::string Cmd;
442 llvm::raw_string_ostream OS(Cmd);
Chad Rosier1c5add62012-05-03 20:17:15 +0000443 if (FailingCommand)
Hans Wennborgb212b342013-09-12 18:23:34 +0000444 FailingCommand->Print(OS, "\n", /*Quote*/ false, /*CrashReport*/ true);
Chad Rosier1c5add62012-05-03 20:17:15 +0000445 else
Chad Rosier62135492012-07-09 17:31:28 +0000446 // Crash triggered by FORCE_CLANG_DIAGNOSTICS_CRASH, which doesn't have an
Chad Rosier1c5add62012-05-03 20:17:15 +0000447 // associated FailingCommand, so just pass all jobs.
Hans Wennborgb212b342013-09-12 18:23:34 +0000448 C.getJobs().Print(OS, "\n", /*Quote*/ false, /*CrashReport*/ true);
Chad Rosiercdb008d2011-11-02 21:29:05 +0000449 OS.flush();
450
Richard Smith5bb4cdf2012-12-20 02:22:15 +0000451 // Keep track of whether we produce any errors while trying to produce
452 // preprocessed sources.
453 DiagnosticErrorTrap Trap(Diags);
454
455 // Suppress tool output.
Chad Rosierbe10f982011-08-02 17:58:04 +0000456 C.initCompilationForDiagnostics();
Chad Rosierecdede82011-08-12 22:08:57 +0000457
458 // Construct the list of inputs.
459 InputList Inputs;
460 BuildInputs(C.getDefaultToolChain(), C.getArgs(), Inputs);
Chad Rosierbe10f982011-08-02 17:58:04 +0000461
Chad Rosier4f81fc22011-08-12 23:30:05 +0000462 for (InputList::iterator it = Inputs.begin(), ie = Inputs.end(); it != ie;) {
Chad Rosierd57133d2011-08-18 00:22:25 +0000463 bool IgnoreInput = false;
464
465 // Ignore input from stdin or any inputs that cannot be preprocessed.
Richard Smithbd55daf2012-11-01 04:30:05 +0000466 if (!strcmp(it->second->getValue(), "-")) {
Chad Rosierd57133d2011-08-18 00:22:25 +0000467 Diag(clang::diag::note_drv_command_failed_diag_msg)
468 << "Error generating preprocessed source(s) - ignoring input from stdin"
469 ".";
470 IgnoreInput = true;
471 } else if (types::getPreprocessedType(it->first) == types::TY_INVALID) {
472 IgnoreInput = true;
473 }
474
475 if (IgnoreInput) {
Chad Rosier4f81fc22011-08-12 23:30:05 +0000476 it = Inputs.erase(it);
477 ie = Inputs.end();
Chad Rosier6fdf38b2011-08-17 23:08:45 +0000478 } else {
Chad Rosier4f81fc22011-08-12 23:30:05 +0000479 ++it;
Chad Rosier6fdf38b2011-08-17 23:08:45 +0000480 }
Chad Rosier4f81fc22011-08-12 23:30:05 +0000481 }
Chad Rosierd57133d2011-08-18 00:22:25 +0000482
Chad Rosierc5103c32013-01-29 23:57:10 +0000483 if (Inputs.empty()) {
484 Diag(clang::diag::note_drv_command_failed_diag_msg)
485 << "Error generating preprocessed source(s) - no preprocessable inputs.";
486 return;
487 }
488
Chad Rosiere75ef402011-09-06 23:52:36 +0000489 // Don't attempt to generate preprocessed files if multiple -arch options are
Chad Rosier636d2832012-02-13 18:16:28 +0000490 // used, unless they're all duplicates.
491 llvm::StringSet<> ArchNames;
Chad Rosiere75ef402011-09-06 23:52:36 +0000492 for (ArgList::const_iterator it = C.getArgs().begin(), ie = C.getArgs().end();
493 it != ie; ++it) {
494 Arg *A = *it;
495 if (A->getOption().matches(options::OPT_arch)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000496 StringRef ArchName = A->getValue();
Chad Rosier636d2832012-02-13 18:16:28 +0000497 ArchNames.insert(ArchName);
Chad Rosiere75ef402011-09-06 23:52:36 +0000498 }
499 }
Chad Rosier636d2832012-02-13 18:16:28 +0000500 if (ArchNames.size() > 1) {
501 Diag(clang::diag::note_drv_command_failed_diag_msg)
502 << "Error generating preprocessed source(s) - cannot generate "
503 "preprocessed source with multiple -arch options.";
504 return;
505 }
Chad Rosiere75ef402011-09-06 23:52:36 +0000506
Chandler Carruth7f1417f2012-01-24 10:43:44 +0000507 // Construct the list of abstract actions to perform for this compilation. On
508 // Darwin OSes this uses the driver-driver and builds universal actions.
Chandler Carruthcb916192012-01-25 08:49:21 +0000509 const ToolChain &TC = C.getDefaultToolChain();
510 if (TC.getTriple().isOSDarwin())
511 BuildUniversalActions(TC, C.getArgs(), Inputs, C.getActions());
Chad Rosierbe10f982011-08-02 17:58:04 +0000512 else
Chandler Carruthcb916192012-01-25 08:49:21 +0000513 BuildActions(TC, C.getArgs(), Inputs, C.getActions());
Chad Rosierbe10f982011-08-02 17:58:04 +0000514
515 BuildJobs(C);
516
517 // If there were errors building the compilation, quit now.
Richard Smith5bb4cdf2012-12-20 02:22:15 +0000518 if (Trap.hasErrorOccurred()) {
Chad Rosierbe10f982011-08-02 17:58:04 +0000519 Diag(clang::diag::note_drv_command_failed_diag_msg)
520 << "Error generating preprocessed source(s).";
521 return;
522 }
523
524 // Generate preprocessed output.
Chad Rosierdd60e092013-01-29 20:15:05 +0000525 SmallVector<std::pair<int, const Command *>, 4> FailingCommands;
526 C.ExecuteJob(C.getJobs(), FailingCommands);
Chad Rosierbe10f982011-08-02 17:58:04 +0000527
528 // If the command succeeded, we are done.
Chad Rosierdd60e092013-01-29 20:15:05 +0000529 if (FailingCommands.empty()) {
Chad Rosierbe10f982011-08-02 17:58:04 +0000530 Diag(clang::diag::note_drv_command_failed_diag_msg)
Chad Rosier103e2c92012-06-19 18:39:21 +0000531 << "\n********************\n\n"
532 "PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:\n"
533 "Preprocessed source(s) and associated run script(s) are located at:";
Chad Rosierbe10f982011-08-02 17:58:04 +0000534 ArgStringList Files = C.getTempFiles();
Eric Christopherf901e852011-08-17 22:59:59 +0000535 for (ArgStringList::const_iterator it = Files.begin(), ie = Files.end();
Chad Rosiercdb008d2011-11-02 21:29:05 +0000536 it != ie; ++it) {
Chad Rosierbe10f982011-08-02 17:58:04 +0000537 Diag(clang::diag::note_drv_command_failed_diag_msg) << *it;
Chad Rosiercdb008d2011-11-02 21:29:05 +0000538
539 std::string Err;
540 std::string Script = StringRef(*it).rsplit('.').first;
541 Script += ".sh";
Rafael Espindola16125fb2013-07-16 19:44:23 +0000542 llvm::raw_fd_ostream ScriptOS(
543 Script.c_str(), Err, llvm::sys::fs::F_Excl | llvm::sys::fs::F_Binary);
Chad Rosiercdb008d2011-11-02 21:29:05 +0000544 if (!Err.empty()) {
545 Diag(clang::diag::note_drv_command_failed_diag_msg)
546 << "Error generating run script: " + Script + " " + Err;
547 } else {
Chad Rosierdcef5622012-05-03 22:38:00 +0000548 // Append the new filename with correct preprocessed suffix.
549 size_t I, E;
550 I = Cmd.find("-main-file-name ");
551 assert (I != std::string::npos && "Expected to find -main-file-name");
552 I += 16;
553 E = Cmd.find(" ", I);
554 assert (E != std::string::npos && "-main-file-name missing argument?");
Chad Rosieraaec1332012-05-04 15:32:05 +0000555 StringRef OldFilename = StringRef(Cmd).slice(I, E);
556 StringRef NewFilename = llvm::sys::path::filename(*it);
557 I = StringRef(Cmd).rfind(OldFilename);
558 E = I + OldFilename.size();
559 I = Cmd.rfind(" ", I) + 1;
560 Cmd.replace(I, E - I, NewFilename.data(), NewFilename.size());
Chad Rosiercdb008d2011-11-02 21:29:05 +0000561 ScriptOS << Cmd;
562 Diag(clang::diag::note_drv_command_failed_diag_msg) << Script;
563 }
564 }
Chad Rosier103e2c92012-06-19 18:39:21 +0000565 Diag(clang::diag::note_drv_command_failed_diag_msg)
566 << "\n\n********************";
Chad Rosierbe10f982011-08-02 17:58:04 +0000567 } else {
568 // Failure, remove preprocessed files.
Chad Rosier35767232013-04-30 22:01:21 +0000569 if (!C.getArgs().hasArg(options::OPT_save_temps))
Chad Rosierbe10f982011-08-02 17:58:04 +0000570 C.CleanupFileList(C.getTempFiles(), true);
571
572 Diag(clang::diag::note_drv_command_failed_diag_msg)
573 << "Error generating preprocessed source(s).";
574 }
575}
576
577int Driver::ExecuteCompilation(const Compilation &C,
Chad Rosierdd60e092013-01-29 20:15:05 +0000578 SmallVectorImpl< std::pair<int, const Command *> > &FailingCommands) const {
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000579 // Just print if -### was present.
580 if (C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
Hans Wennborgb212b342013-09-12 18:23:34 +0000581 C.getJobs().Print(llvm::errs(), "\n", true);
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000582 return 0;
583 }
584
585 // If there were errors building the compilation, quit now.
Chad Rosierbe10f982011-08-02 17:58:04 +0000586 if (Diags.hasErrorOccurred())
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000587 return 1;
588
Chad Rosierdd60e092013-01-29 20:15:05 +0000589 C.ExecuteJob(C.getJobs(), FailingCommands);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000590
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000591 // Remove temp files.
592 C.CleanupFileList(C.getTempFiles());
593
Daniel Dunbar07494792010-05-22 00:37:20 +0000594 // If the command succeeded, we are done.
Chad Rosierdd60e092013-01-29 20:15:05 +0000595 if (FailingCommands.empty())
596 return 0;
Daniel Dunbar07494792010-05-22 00:37:20 +0000597
Chad Rosierdd60e092013-01-29 20:15:05 +0000598 // Otherwise, remove result files and print extra information about abnormal
599 // failures.
600 for (SmallVectorImpl< std::pair<int, const Command *> >::iterator it =
601 FailingCommands.begin(), ie = FailingCommands.end(); it != ie; ++it) {
602 int Res = it->first;
603 const Command *FailingCommand = it->second;
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000604
Chad Rosierdd60e092013-01-29 20:15:05 +0000605 // Remove result files if we're not saving temps.
606 if (!C.getArgs().hasArg(options::OPT_save_temps)) {
607 const JobAction *JA = cast<JobAction>(&FailingCommand->getSource());
608 C.CleanupFileMap(C.getResultFiles(), JA, true);
609
610 // Failure result files are valid unless we crashed.
611 if (Res < 0)
612 C.CleanupFileMap(C.getFailureResultFiles(), JA, true);
613 }
614
615 // Print extra information about abnormal failures, if possible.
616 //
617 // This is ad-hoc, but we don't want to be excessively noisy. If the result
618 // status was 1, assume the command failed normally. In particular, if it
619 // was the compiler then assume it gave a reasonable error code. Failures
620 // in other tools are less common, and they generally have worse
621 // diagnostics, so always print the diagnostic there.
622 const Tool &FailingTool = FailingCommand->getCreator();
623
624 if (!FailingCommand->getCreator().hasGoodDiagnostics() || Res != 1) {
625 // FIXME: See FIXME above regarding result code interpretation.
626 if (Res < 0)
627 Diag(clang::diag::err_drv_command_signalled)
628 << FailingTool.getShortName();
629 else
630 Diag(clang::diag::err_drv_command_failed)
631 << FailingTool.getShortName() << Res;
632 }
Peter Collingbourne119cfaa2011-11-21 00:01:05 +0000633 }
Chad Rosierdd60e092013-01-29 20:15:05 +0000634 return 0;
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000635}
636
Daniel Dunbara7b5e212009-04-15 16:34:29 +0000637void Driver::PrintHelp(bool ShowHidden) const {
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000638 unsigned IncludedFlagsBitmask;
639 unsigned ExcludedFlagsBitmask;
640 llvm::tie(IncludedFlagsBitmask, ExcludedFlagsBitmask) =
641 getIncludeExcludeOptionFlagMasks();
642
643 ExcludedFlagsBitmask |= options::NoDriverOption;
644 if (!ShowHidden)
645 ExcludedFlagsBitmask |= HelpHidden;
646
647 getOpts().PrintHelp(llvm::outs(), Name.c_str(), DriverTitle.c_str(),
648 IncludedFlagsBitmask, ExcludedFlagsBitmask);
Daniel Dunbar7c925282009-03-31 21:38:17 +0000649}
650
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000651void Driver::PrintVersion(const Compilation &C, raw_ostream &OS) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000652 // FIXME: The following handlers should use a callback mechanism, we don't
653 // know what the client would like to do.
Ted Kremenek4c0df3d2010-01-23 02:11:34 +0000654 OS << getClangFullVersion() << '\n';
Daniel Dunbarb10248802009-03-26 16:09:13 +0000655 const ToolChain &TC = C.getDefaultToolChain();
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000656 OS << "Target: " << TC.getTripleString() << '\n';
Daniel Dunbar10978e42009-06-16 23:32:58 +0000657
658 // Print the threading model.
659 //
660 // FIXME: Implement correctly.
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000661 OS << "Thread model: " << "posix" << '\n';
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000662}
663
Chris Lattner86ed5b02010-05-05 05:53:24 +0000664/// PrintDiagnosticCategories - Implement the --print-diagnostic-categories
665/// option.
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000666static void PrintDiagnosticCategories(raw_ostream &OS) {
Argyrios Kyrtzidis0e37afa2011-05-25 05:05:01 +0000667 // Skip the empty category.
668 for (unsigned i = 1, max = DiagnosticIDs::getNumberOfCategories();
669 i != max; ++i)
670 OS << i << ',' << DiagnosticIDs::getCategoryNameFromID(i) << '\n';
Chris Lattner86ed5b02010-05-05 05:53:24 +0000671}
672
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000673bool Driver::HandleImmediateArgs(const Compilation &C) {
Daniel Dunbar18974bd2010-06-11 22:00:19 +0000674 // The order these options are handled in gcc is all over the place, but we
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000675 // don't expect inconsistencies w.r.t. that to matter in practice.
Daniel Dunbar7c925282009-03-31 21:38:17 +0000676
Daniel Dunbar1b09e042010-09-17 02:47:28 +0000677 if (C.getArgs().hasArg(options::OPT_dumpmachine)) {
678 llvm::outs() << C.getDefaultToolChain().getTripleString() << '\n';
679 return false;
680 }
681
Daniel Dunbara9bbcfa2009-04-04 05:17:38 +0000682 if (C.getArgs().hasArg(options::OPT_dumpversion)) {
Daniel Dunbare26e5002011-01-12 00:43:47 +0000683 // Since -dumpversion is only implemented for pedantic GCC compatibility, we
684 // return an answer which matches our definition of __VERSION__.
685 //
686 // If we want to return a more correct answer some day, then we should
687 // introduce a non-pedantically GCC compatible mode to Clang in which we
688 // provide sensible definitions for -dumpversion, __VERSION__, etc.
689 llvm::outs() << "4.2.1\n";
Daniel Dunbara9bbcfa2009-04-04 05:17:38 +0000690 return false;
691 }
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000692
Chris Lattner86ed5b02010-05-05 05:53:24 +0000693 if (C.getArgs().hasArg(options::OPT__print_diagnostic_categories)) {
694 PrintDiagnosticCategories(llvm::outs());
695 return false;
696 }
Daniel Dunbara9bbcfa2009-04-04 05:17:38 +0000697
James Molloya3c85b82012-05-01 14:57:16 +0000698 if (C.getArgs().hasArg(options::OPT_help) ||
Daniel Dunbara7b5e212009-04-15 16:34:29 +0000699 C.getArgs().hasArg(options::OPT__help_hidden)) {
700 PrintHelp(C.getArgs().hasArg(options::OPT__help_hidden));
Daniel Dunbar7c925282009-03-31 21:38:17 +0000701 return false;
702 }
703
Daniel Dunbarb0006ae2009-04-02 15:05:41 +0000704 if (C.getArgs().hasArg(options::OPT__version)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000705 // Follow gcc behavior and use stdout for --version and stderr for -v.
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000706 PrintVersion(C, llvm::outs());
Daniel Dunbarb0006ae2009-04-02 15:05:41 +0000707 return false;
708 }
709
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000710 if (C.getArgs().hasArg(options::OPT_v) ||
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000711 C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000712 PrintVersion(C, llvm::errs());
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000713 SuppressMissingInputWarning = true;
714 }
715
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000716 const ToolChain &TC = C.getDefaultToolChain();
Chandler Carruth0ae39aa2013-07-30 17:57:09 +0000717
718 if (C.getArgs().hasArg(options::OPT_v))
719 TC.printVerboseInfo(llvm::errs());
720
Daniel Dunbard972e222009-03-20 04:37:21 +0000721 if (C.getArgs().hasArg(options::OPT_print_search_dirs)) {
722 llvm::outs() << "programs: =";
723 for (ToolChain::path_list::const_iterator it = TC.getProgramPaths().begin(),
724 ie = TC.getProgramPaths().end(); it != ie; ++it) {
725 if (it != TC.getProgramPaths().begin())
726 llvm::outs() << ':';
727 llvm::outs() << *it;
728 }
729 llvm::outs() << "\n";
Peter Collingbournefa9771f2011-09-06 02:08:31 +0000730 llvm::outs() << "libraries: =" << ResourceDir;
Joerg Sonnenberger9c3e69b2011-07-16 10:50:05 +0000731
Sebastian Pop980920a2012-04-16 04:16:43 +0000732 StringRef sysroot = C.getSysRoot();
Joerg Sonnenberger9c3e69b2011-07-16 10:50:05 +0000733
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000734 for (ToolChain::path_list::const_iterator it = TC.getFilePaths().begin(),
Daniel Dunbard972e222009-03-20 04:37:21 +0000735 ie = TC.getFilePaths().end(); it != ie; ++it) {
Peter Collingbournefa9771f2011-09-06 02:08:31 +0000736 llvm::outs() << ':';
Joerg Sonnenberger9c3e69b2011-07-16 10:50:05 +0000737 const char *path = it->c_str();
738 if (path[0] == '=')
739 llvm::outs() << sysroot << path + 1;
740 else
741 llvm::outs() << path;
Daniel Dunbard972e222009-03-20 04:37:21 +0000742 }
743 llvm::outs() << "\n";
Daniel Dunbar7c925282009-03-31 21:38:17 +0000744 return false;
Daniel Dunbard972e222009-03-20 04:37:21 +0000745 }
746
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000747 // FIXME: The following handlers should use a callback mechanism, we don't
748 // know what the client would like to do.
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000749 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_file_name_EQ)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000750 llvm::outs() << GetFilePath(A->getValue(), TC) << "\n";
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000751 return false;
752 }
753
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000754 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_prog_name_EQ)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000755 llvm::outs() << GetProgramPath(A->getValue(), TC) << "\n";
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000756 return false;
757 }
758
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000759 if (C.getArgs().hasArg(options::OPT_print_libgcc_file_name)) {
Daniel Dunbar1ce81532009-09-09 22:33:00 +0000760 llvm::outs() << GetFilePath("libgcc.a", TC) << "\n";
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000761 return false;
762 }
763
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000764 if (C.getArgs().hasArg(options::OPT_print_multi_lib)) {
765 // FIXME: We need tool chain support for this.
766 llvm::outs() << ".;\n";
767
768 switch (C.getDefaultToolChain().getTriple().getArch()) {
769 default:
770 break;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000771
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000772 case llvm::Triple::x86_64:
773 llvm::outs() << "x86_64;@m64" << "\n";
774 break;
775
776 case llvm::Triple::ppc64:
777 llvm::outs() << "ppc64;@m64" << "\n";
778 break;
Bill Schmidt778d3872013-07-26 01:36:11 +0000779
780 case llvm::Triple::ppc64le:
781 llvm::outs() << "ppc64le;@m64" << "\n";
782 break;
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000783 }
784 return false;
785 }
786
787 // FIXME: What is the difference between print-multi-directory and
788 // print-multi-os-directory?
789 if (C.getArgs().hasArg(options::OPT_print_multi_directory) ||
790 C.getArgs().hasArg(options::OPT_print_multi_os_directory)) {
791 switch (C.getDefaultToolChain().getTriple().getArch()) {
792 default:
793 case llvm::Triple::x86:
794 case llvm::Triple::ppc:
795 llvm::outs() << "." << "\n";
796 break;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000797
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000798 case llvm::Triple::x86_64:
799 llvm::outs() << "x86_64" << "\n";
800 break;
801
802 case llvm::Triple::ppc64:
803 llvm::outs() << "ppc64" << "\n";
804 break;
Bill Schmidt778d3872013-07-26 01:36:11 +0000805
806 case llvm::Triple::ppc64le:
807 llvm::outs() << "ppc64le" << "\n";
808 break;
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000809 }
810 return false;
811 }
812
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000813 return true;
814}
815
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000816static unsigned PrintActions1(const Compilation &C, Action *A,
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000817 std::map<Action*, unsigned> &Ids) {
818 if (Ids.count(A))
819 return Ids[A];
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000820
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000821 std::string str;
822 llvm::raw_string_ostream os(str);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000823
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000824 os << Action::getClassName(A->getKind()) << ", ";
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000825 if (InputAction *IA = dyn_cast<InputAction>(A)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000826 os << "\"" << IA->getInputArg().getValue() << "\"";
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000827 } else if (BindArchAction *BIA = dyn_cast<BindArchAction>(A)) {
Chad Rosier98ab91c2012-04-27 19:51:11 +0000828 os << '"' << BIA->getArchName() << '"'
Daniel Dunbareb843be2009-03-18 03:13:20 +0000829 << ", {" << PrintActions1(C, *BIA->begin(), Ids) << "}";
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000830 } else {
831 os << "{";
832 for (Action::iterator it = A->begin(), ie = A->end(); it != ie;) {
Daniel Dunbareb843be2009-03-18 03:13:20 +0000833 os << PrintActions1(C, *it, Ids);
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000834 ++it;
835 if (it != ie)
836 os << ", ";
837 }
838 os << "}";
839 }
840
841 unsigned Id = Ids.size();
842 Ids[A] = Id;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000843 llvm::errs() << Id << ": " << os.str() << ", "
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000844 << types::getTypeName(A->getType()) << "\n";
845
846 return Id;
847}
848
Daniel Dunbareb843be2009-03-18 03:13:20 +0000849void Driver::PrintActions(const Compilation &C) const {
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000850 std::map<Action*, unsigned> Ids;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000851 for (ActionList::const_iterator it = C.getActions().begin(),
Daniel Dunbareb843be2009-03-18 03:13:20 +0000852 ie = C.getActions().end(); it != ie; ++it)
853 PrintActions1(C, *it, Ids);
Daniel Dunbar1688f1a2009-03-12 07:58:46 +0000854}
855
Joerg Sonnenberger5fe4a7d2011-05-06 14:05:11 +0000856/// \brief Check whether the given input tree contains any compilation or
857/// assembly actions.
858static bool ContainsCompileOrAssembleAction(const Action *A) {
Daniel Dunbar00d3d8e2010-06-29 16:38:33 +0000859 if (isa<CompileJobAction>(A) || isa<AssembleJobAction>(A))
860 return true;
861
862 for (Action::const_iterator it = A->begin(), ie = A->end(); it != ie; ++it)
Joerg Sonnenberger5fe4a7d2011-05-06 14:05:11 +0000863 if (ContainsCompileOrAssembleAction(*it))
Daniel Dunbar00d3d8e2010-06-29 16:38:33 +0000864 return true;
865
866 return false;
867}
868
Daniel Dunbara36c2b32010-08-02 05:43:51 +0000869void Driver::BuildUniversalActions(const ToolChain &TC,
Hans Wennborg13b7fe72013-08-12 23:26:25 +0000870 DerivedArgList &Args,
Chad Rosierecdede82011-08-12 22:08:57 +0000871 const InputList &BAInputs,
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000872 ActionList &Actions) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000873 llvm::PrettyStackTraceString CrashInfo("Building universal build actions");
874 // Collect the list of architectures. Duplicates are allowed, but should only
875 // be handled once (in the order seen).
Daniel Dunbare5dc4822009-03-13 20:33:35 +0000876 llvm::StringSet<> ArchNames;
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000877 SmallVector<const char *, 4> Archs;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000878 for (ArgList::const_iterator it = Args.begin(), ie = Args.end();
Daniel Dunbarf479c122009-03-12 18:40:18 +0000879 it != ie; ++it) {
880 Arg *A = *it;
881
Daniel Dunbar0bfb21e2009-11-19 03:26:40 +0000882 if (A->getOption().matches(options::OPT_arch)) {
Daniel Dunbar9c3f7c42009-09-08 23:37:30 +0000883 // Validate the option here; we don't save the type here because its
884 // particular spelling may participate in other driver choices.
885 llvm::Triple::ArchType Arch =
Richard Smithbd55daf2012-11-01 04:30:05 +0000886 tools::darwin::getArchTypeForDarwinArchName(A->getValue());
Daniel Dunbar9c3f7c42009-09-08 23:37:30 +0000887 if (Arch == llvm::Triple::UnknownArch) {
888 Diag(clang::diag::err_drv_invalid_arch_name)
889 << A->getAsString(Args);
890 continue;
891 }
892
Daniel Dunbar2da02722009-03-19 07:55:12 +0000893 A->claim();
Richard Smithbd55daf2012-11-01 04:30:05 +0000894 if (ArchNames.insert(A->getValue()))
895 Archs.push_back(A->getValue());
Daniel Dunbarf479c122009-03-12 18:40:18 +0000896 }
897 }
898
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000899 // When there is no explicit arch for this platform, make sure we still bind
900 // the architecture (to the default) so that -Xarch_ is handled correctly.
Daniel Dunbareb843be2009-03-18 03:13:20 +0000901 if (!Archs.size())
Daniel Dunbarc3bd9f52012-11-08 03:38:26 +0000902 Archs.push_back(Args.MakeArgString(TC.getDefaultUniversalArchName()));
Daniel Dunbarf479c122009-03-12 18:40:18 +0000903
Daniel Dunbarf479c122009-03-12 18:40:18 +0000904 ActionList SingleActions;
Chad Rosierecdede82011-08-12 22:08:57 +0000905 BuildActions(TC, Args, BAInputs, SingleActions);
Daniel Dunbarf479c122009-03-12 18:40:18 +0000906
Daniel Dunbar6beaf512010-06-04 18:28:41 +0000907 // Add in arch bindings for every top level action, as well as lipo and
908 // dsymutil steps if needed.
Daniel Dunbarf479c122009-03-12 18:40:18 +0000909 for (unsigned i = 0, e = SingleActions.size(); i != e; ++i) {
910 Action *Act = SingleActions[i];
911
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000912 // Make sure we can lipo this kind of output. If not (and it is an actual
913 // output) then we disallow, since we can't create an output file with the
914 // right name without overwriting it. We could remove this oddity by just
915 // changing the output names to include the arch, which would also fix
Daniel Dunbarf479c122009-03-12 18:40:18 +0000916 // -save-temps. Compatibility wins for now.
917
Daniel Dunbare2ca3bd2009-03-13 17:46:02 +0000918 if (Archs.size() > 1 && !types::canLipoType(Act->getType()))
Daniel Dunbarf479c122009-03-12 18:40:18 +0000919 Diag(clang::diag::err_drv_invalid_output_with_multiple_archs)
920 << types::getTypeName(Act->getType());
921
922 ActionList Inputs;
Daniel Dunbar66187b32010-03-11 18:04:58 +0000923 for (unsigned i = 0, e = Archs.size(); i != e; ++i) {
Daniel Dunbare5dc4822009-03-13 20:33:35 +0000924 Inputs.push_back(new BindArchAction(Act, Archs[i]));
Daniel Dunbar66187b32010-03-11 18:04:58 +0000925 if (i != 0)
926 Inputs.back()->setOwnsInputs(false);
927 }
Daniel Dunbarf479c122009-03-12 18:40:18 +0000928
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000929 // Lipo if necessary, we do it this way because we need to set the arch flag
930 // so that -Xarch_ gets overwritten.
Daniel Dunbarf479c122009-03-12 18:40:18 +0000931 if (Inputs.size() == 1 || Act->getType() == types::TY_Nothing)
932 Actions.append(Inputs.begin(), Inputs.end());
933 else
934 Actions.push_back(new LipoJobAction(Inputs, Act->getType()));
Daniel Dunbar6beaf512010-06-04 18:28:41 +0000935
Eric Christopher65c05fa2012-02-06 19:43:51 +0000936 // Handle debug info queries.
937 Arg *A = Args.getLastArg(options::OPT_g_Group);
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000938 if (A && !A->getOption().matches(options::OPT_g0) &&
939 !A->getOption().matches(options::OPT_gstabs) &&
940 ContainsCompileOrAssembleAction(Actions.back())) {
Chad Rosier62135492012-07-09 17:31:28 +0000941
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000942 // Add a 'dsymutil' step if necessary, when debug info is enabled and we
943 // have a compile input. We need to run 'dsymutil' ourselves in such cases
Eric Christopher776c26f2013-01-28 17:39:03 +0000944 // because the debug info will refer to a temporary object file which
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000945 // will be removed at the end of the compilation process.
946 if (Act->getType() == types::TY_Image) {
947 ActionList Inputs;
948 Inputs.push_back(Actions.back());
949 Actions.pop_back();
950 Actions.push_back(new DsymutilJobAction(Inputs, types::TY_dSYM));
Daniel Dunbar6beaf512010-06-04 18:28:41 +0000951 }
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000952
953 // Verify the output (debug information only) if we passed '-verify'.
954 if (Args.hasArg(options::OPT_verify)) {
955 ActionList VerifyInputs;
956 VerifyInputs.push_back(Actions.back());
957 Actions.pop_back();
958 Actions.push_back(new VerifyJobAction(VerifyInputs,
959 types::TY_Nothing));
960 }
961 }
Daniel Dunbarf479c122009-03-12 18:40:18 +0000962 }
Daniel Dunbar1688f1a2009-03-12 07:58:46 +0000963}
964
Hans Wennborg6ee64d52013-08-06 00:20:31 +0000965/// \brief Check that the file referenced by Value exists. If it doesn't,
966/// issue a diagnostic and return false.
967static bool DiagnoseInputExistance(const Driver &D, const DerivedArgList &Args,
968 StringRef Value) {
969 if (!D.getCheckInputsExist())
970 return true;
971
972 // stdin always exists.
973 if (Value == "-")
974 return true;
975
976 SmallString<64> Path(Value);
977 if (Arg *WorkDir = Args.getLastArg(options::OPT_working_directory)) {
978 if (!llvm::sys::path::is_absolute(Path.str())) {
979 SmallString<64> Directory(WorkDir->getValue());
980 llvm::sys::path::append(Directory, Value);
981 Path.assign(Directory);
982 }
983 }
984
985 if (llvm::sys::fs::exists(Twine(Path)))
986 return true;
987
988 D.Diag(clang::diag::err_drv_no_such_file) << Path.str();
989 return false;
990}
991
Chad Rosierecdede82011-08-12 22:08:57 +0000992// Construct a the list of inputs and their types.
993void Driver::BuildInputs(const ToolChain &TC, const DerivedArgList &Args,
994 InputList &Inputs) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000995 // Track the current user specified (-x) input. We also explicitly track the
996 // argument used to set the type; we only want to claim the type when we
997 // actually use it, so we warn about unused -x arguments.
Daniel Dunbarc5a5ac52009-03-13 17:57:10 +0000998 types::ID InputType = types::TY_Nothing;
999 Arg *InputTypeArg = 0;
1000
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001001 // The last /TC or /TP option sets the input type to C or C++ globally.
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001002 if (Arg *TCTP = Args.getLastArg(options::OPT__SLASH_TC,
1003 options::OPT__SLASH_TP)) {
1004 InputTypeArg = TCTP;
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001005 InputType = TCTP->getOption().matches(options::OPT__SLASH_TC)
1006 ? types::TY_C : types::TY_CXX;
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001007
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001008 arg_iterator it = Args.filtered_begin(options::OPT__SLASH_TC,
1009 options::OPT__SLASH_TP);
1010 const arg_iterator ie = Args.filtered_end();
1011 Arg *Previous = *it++;
1012 bool ShowNote = false;
1013 while (it != ie) {
Hans Wennborgd9ad0682013-09-11 16:38:41 +00001014 Diag(clang::diag::warn_drv_overriding_flag_option)
1015 << Previous->getSpelling() << (*it)->getSpelling();
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001016 Previous = *it++;
1017 ShowNote = true;
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001018 }
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001019 if (ShowNote)
1020 Diag(clang::diag::note_drv_t_option_is_global);
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001021
1022 // No driver mode exposes -x and /TC or /TP; we don't support mixing them.
1023 assert(!Args.hasArg(options::OPT_x) && "-x and /TC or /TP is not allowed");
1024 }
1025
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001026 for (ArgList::const_iterator it = Args.begin(), ie = Args.end();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001027 it != ie; ++it) {
1028 Arg *A = *it;
1029
Michael J. Spencerad3ccc32012-08-20 21:41:17 +00001030 if (A->getOption().getKind() == Option::InputClass) {
Richard Smithbd55daf2012-11-01 04:30:05 +00001031 const char *Value = A->getValue();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001032 types::ID Ty = types::TY_INVALID;
1033
1034 // Infer the input type if necessary.
Daniel Dunbarc5a5ac52009-03-13 17:57:10 +00001035 if (InputType == types::TY_Nothing) {
1036 // If there was an explicit arg for this, claim it.
1037 if (InputTypeArg)
1038 InputTypeArg->claim();
1039
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001040 // stdin must be handled specially.
1041 if (memcmp(Value, "-", 2) == 0) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001042 // If running with -E, treat as a C input (this changes the builtin
1043 // macros, for example). This may be overridden by -ObjC below.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001044 //
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001045 // Otherwise emit an error but still use a valid type to avoid
1046 // spurious errors (e.g., no inputs).
Hans Wennborg70850d82013-07-18 20:29:38 +00001047 if (!Args.hasArgNoClaim(options::OPT_E) && !CCCIsCPP())
Daniel Dunbar5cd1e412009-03-12 09:13:48 +00001048 Diag(clang::diag::err_drv_unknown_stdin_type);
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001049 Ty = types::TY_C;
1050 } else {
Joerg Sonnenbergerbdbdf702011-03-16 22:45:02 +00001051 // Otherwise lookup by extension.
1052 // Fallback is C if invoked as C preprocessor or Object otherwise.
1053 // We use a host hook here because Darwin at least has its own
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001054 // idea of what .s is.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001055 if (const char *Ext = strrchr(Value, '.'))
Daniel Dunbarcc7df6c2010-08-02 05:43:56 +00001056 Ty = TC.LookupTypeForExtension(Ext + 1);
Daniel Dunbarea9f0322009-03-20 23:39:23 +00001057
Joerg Sonnenbergerbdbdf702011-03-16 22:45:02 +00001058 if (Ty == types::TY_INVALID) {
Hans Wennborg70850d82013-07-18 20:29:38 +00001059 if (CCCIsCPP())
Joerg Sonnenbergerbdbdf702011-03-16 22:45:02 +00001060 Ty = types::TY_C;
1061 else
1062 Ty = types::TY_Object;
1063 }
Daniel Dunbar0ac94452010-02-17 20:32:58 +00001064
1065 // If the driver is invoked as C++ compiler (like clang++ or c++) it
1066 // should autodetect some input files as C++ for g++ compatibility.
Hans Wennborg70850d82013-07-18 20:29:38 +00001067 if (CCCIsCXX()) {
Daniel Dunbar0ac94452010-02-17 20:32:58 +00001068 types::ID OldTy = Ty;
1069 Ty = types::lookupCXXTypeForCType(Ty);
1070
1071 if (Ty != OldTy)
1072 Diag(clang::diag::warn_drv_treating_input_as_cxx)
1073 << getTypeName(OldTy) << getTypeName(Ty);
1074 }
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001075 }
1076
Daniel Dunbar82b22102009-05-18 21:47:54 +00001077 // -ObjC and -ObjC++ override the default language, but only for "source
1078 // files". We just treat everything that isn't a linker input as a
1079 // source file.
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001080 //
Daniel Dunbar82b22102009-05-18 21:47:54 +00001081 // FIXME: Clean this up if we move the phase sequence into the type.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001082 if (Ty != types::TY_Object) {
1083 if (Args.hasArg(options::OPT_ObjC))
1084 Ty = types::TY_ObjC;
1085 else if (Args.hasArg(options::OPT_ObjCXX))
1086 Ty = types::TY_ObjCXX;
1087 }
1088 } else {
1089 assert(InputTypeArg && "InputType set w/o InputTypeArg");
1090 InputTypeArg->claim();
1091 Ty = InputType;
1092 }
1093
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001094 if (DiagnoseInputExistance(*this, Args, Value))
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001095 Inputs.push_back(std::make_pair(Ty, A));
1096
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001097 } else if (A->getOption().matches(options::OPT__SLASH_Tc)) {
1098 StringRef Value = A->getValue();
1099 if (DiagnoseInputExistance(*this, Args, Value)) {
1100 Arg *InputArg = MakeInputArg(Args, Opts, A->getValue());
1101 Inputs.push_back(std::make_pair(types::TY_C, InputArg));
1102 }
1103 A->claim();
1104 } else if (A->getOption().matches(options::OPT__SLASH_Tp)) {
1105 StringRef Value = A->getValue();
1106 if (DiagnoseInputExistance(*this, Args, Value)) {
1107 Arg *InputArg = MakeInputArg(Args, Opts, A->getValue());
1108 Inputs.push_back(std::make_pair(types::TY_CXX, InputArg));
1109 }
1110 A->claim();
Michael J. Spencer66e2b202012-10-19 22:37:06 +00001111 } else if (A->getOption().hasFlag(options::LinkerInput)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001112 // Just treat as object type, we could make a special type for this if
1113 // necessary.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001114 Inputs.push_back(std::make_pair(types::TY_Object, A));
1115
Daniel Dunbar0bfb21e2009-11-19 03:26:40 +00001116 } else if (A->getOption().matches(options::OPT_x)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001117 InputTypeArg = A;
Richard Smithbd55daf2012-11-01 04:30:05 +00001118 InputType = types::lookupTypeForTypeSpecifier(A->getValue());
Chad Rosier706c2352012-04-07 00:01:31 +00001119 A->claim();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001120
1121 // Follow gcc behavior and treat as linker input for invalid -x
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001122 // options. Its not clear why we shouldn't just revert to unknown; but
Michael J. Spencer1a4fe8c2010-12-17 21:22:33 +00001123 // this isn't very important, we might as well be bug compatible.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001124 if (!InputType) {
Richard Smithbd55daf2012-11-01 04:30:05 +00001125 Diag(clang::diag::err_drv_unknown_language) << A->getValue();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001126 InputType = types::TY_Object;
1127 }
1128 }
1129 }
Hans Wennborg70850d82013-07-18 20:29:38 +00001130 if (CCCIsCPP() && Inputs.empty()) {
Joerg Sonnenbergerb86f5f42011-03-06 23:31:01 +00001131 // If called as standalone preprocessor, stdin is processed
1132 // if no other input is present.
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001133 Arg *A = MakeInputArg(Args, Opts, "-");
Joerg Sonnenbergerb86f5f42011-03-06 23:31:01 +00001134 Inputs.push_back(std::make_pair(types::TY_C, A));
1135 }
Chad Rosierecdede82011-08-12 22:08:57 +00001136}
1137
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001138void Driver::BuildActions(const ToolChain &TC, DerivedArgList &Args,
Chad Rosierecdede82011-08-12 22:08:57 +00001139 const InputList &Inputs, ActionList &Actions) const {
1140 llvm::PrettyStackTraceString CrashInfo("Building compilation actions");
Joerg Sonnenbergerb86f5f42011-03-06 23:31:01 +00001141
Daniel Dunbar34c41872009-03-13 00:17:48 +00001142 if (!SuppressMissingInputWarning && Inputs.empty()) {
Daniel Dunbarbfeec742009-03-12 23:55:14 +00001143 Diag(clang::diag::err_drv_no_input_files);
1144 return;
1145 }
1146
Chad Rosier7742b5d2011-07-27 23:36:45 +00001147 Arg *FinalPhaseArg;
1148 phases::ID FinalPhase = getFinalPhase(Args, &FinalPhaseArg);
Daniel Dunbarbfeec742009-03-12 23:55:14 +00001149
Rafael Espindolae8025642013-08-25 14:27:09 +00001150 if (FinalPhase == phases::Link && Args.hasArg(options::OPT_emit_llvm)) {
1151 Diag(clang::diag::err_drv_emit_llvm_link);
1152 }
1153
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001154 // Reject -Z* at the top level, these options should never have been exposed
1155 // by gcc.
Daniel Dunbardd765242009-03-26 16:12:09 +00001156 if (Arg *A = Args.getLastArg(options::OPT_Z_Joined))
Daniel Dunbar0e759942009-03-20 06:14:23 +00001157 Diag(clang::diag::err_drv_use_of_Z_option) << A->getAsString(Args);
Daniel Dunbarbfeec742009-03-12 23:55:14 +00001158
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001159 // Diagnose misuse of /Fo.
1160 if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fo)) {
1161 DiagnoseOptionOverride(*this, Args, options::OPT__SLASH_Fo);
1162 StringRef V = A->getValue();
1163 if (V.empty()) {
1164 // It has to have a value.
1165 Diag(clang::diag::err_drv_missing_argument) << A->getSpelling() << 1;
1166 Args.eraseArg(options::OPT__SLASH_Fo);
1167 } else if (Inputs.size() > 1 && !llvm::sys::path::is_separator(V.back())) {
1168 // Check whether /Fo tries to name an output file for multiple inputs.
1169 Diag(clang::diag::err_drv_obj_file_argument_with_multiple_sources)
1170 << A->getSpelling() << V;
1171 Args.eraseArg(options::OPT__SLASH_Fo);
1172 }
1173 }
1174
1175 // Diagnose misuse of /Fe.
1176 if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fe)) {
1177 DiagnoseOptionOverride(*this, Args, options::OPT__SLASH_Fe);
1178 if (A->getValue()[0] == '\0') {
1179 // It has to have a value.
1180 Diag(clang::diag::err_drv_missing_argument) << A->getSpelling() << 1;
1181 Args.eraseArg(options::OPT__SLASH_Fe);
1182 }
1183 }
1184
Daniel Dunbar65229332009-03-13 11:38:42 +00001185 // Construct the actions to perform.
1186 ActionList LinkerInputs;
Eric Christopher2ba5fcb2013-02-05 07:29:57 +00001187 ActionList SplitInputs;
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001188 llvm::SmallVector<phases::ID, phases::MaxNumberOfPhases> PL;
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001189 for (unsigned i = 0, e = Inputs.size(); i != e; ++i) {
Daniel Dunbar65229332009-03-13 11:38:42 +00001190 types::ID InputType = Inputs[i].first;
1191 const Arg *InputArg = Inputs[i].second;
1192
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001193 PL.clear();
1194 types::getCompilationPhases(InputType, PL);
Daniel Dunbar65229332009-03-13 11:38:42 +00001195
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001196 // If the first step comes after the final phase we are doing as part of
1197 // this compilation, warn the user about it.
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001198 phases::ID InitialPhase = PL[0];
Daniel Dunbar65229332009-03-13 11:38:42 +00001199 if (InitialPhase > FinalPhase) {
Daniel Dunbaradc5c7c2009-03-19 07:57:08 +00001200 // Claim here to avoid the more general unused warning.
1201 InputArg->claim();
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001202
Daniel Dunbar2db3e732011-04-20 15:44:48 +00001203 // Suppress all unused style warnings with -Qunused-arguments
1204 if (Args.hasArg(options::OPT_Qunused_arguments))
1205 continue;
1206
Richard Smith403f76e2012-08-06 04:09:06 +00001207 // Special case when final phase determined by binary name, rather than
1208 // by a command-line argument with a corresponding Arg.
Hans Wennborg70850d82013-07-18 20:29:38 +00001209 if (CCCIsCPP())
Richard Smith403f76e2012-08-06 04:09:06 +00001210 Diag(clang::diag::warn_drv_input_file_unused_by_cpp)
1211 << InputArg->getAsString(Args)
1212 << getPhaseName(InitialPhase);
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001213 // Special case '-E' warning on a previously preprocessed file to make
1214 // more sense.
Richard Smith403f76e2012-08-06 04:09:06 +00001215 else if (InitialPhase == phases::Compile &&
1216 FinalPhase == phases::Preprocess &&
1217 getPreprocessedType(InputType) == types::TY_INVALID)
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001218 Diag(clang::diag::warn_drv_preprocessed_input_file_unused)
1219 << InputArg->getAsString(Args)
Richard Smith403f76e2012-08-06 04:09:06 +00001220 << !!FinalPhaseArg
1221 << FinalPhaseArg ? FinalPhaseArg->getOption().getName() : "";
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001222 else
1223 Diag(clang::diag::warn_drv_input_file_unused)
1224 << InputArg->getAsString(Args)
1225 << getPhaseName(InitialPhase)
Richard Smith403f76e2012-08-06 04:09:06 +00001226 << !!FinalPhaseArg
1227 << FinalPhaseArg ? FinalPhaseArg->getOption().getName() : "";
Daniel Dunbar65229332009-03-13 11:38:42 +00001228 continue;
1229 }
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001230
Daniel Dunbar65229332009-03-13 11:38:42 +00001231 // Build the pipeline for this file.
Dylan Noblesmithe2778992012-02-05 02:12:40 +00001232 OwningPtr<Action> Current(new InputAction(*InputArg, InputType));
Craig Topper2341c0d2013-07-04 03:08:24 +00001233 for (SmallVectorImpl<phases::ID>::iterator
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001234 i = PL.begin(), e = PL.end(); i != e; ++i) {
1235 phases::ID Phase = *i;
Daniel Dunbar65229332009-03-13 11:38:42 +00001236
1237 // We are done if this step is past what the user requested.
1238 if (Phase > FinalPhase)
1239 break;
1240
1241 // Queue linker inputs.
1242 if (Phase == phases::Link) {
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001243 assert((i + 1) == e && "linking must be final compilation step.");
Ted Kremenekbb1110a2010-01-19 01:29:05 +00001244 LinkerInputs.push_back(Current.take());
Daniel Dunbar65229332009-03-13 11:38:42 +00001245 break;
1246 }
1247
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001248 // Some types skip the assembler phase (e.g., llvm-bc), but we can't
1249 // encode this in the steps because the intermediate type depends on
1250 // arguments. Just special case here.
Daniel Dunbar13864952009-03-24 20:17:30 +00001251 if (Phase == phases::Assemble && Current->getType() != types::TY_PP_Asm)
1252 continue;
1253
Daniel Dunbar65229332009-03-13 11:38:42 +00001254 // Otherwise construct the appropriate action.
Ted Kremenekbb1110a2010-01-19 01:29:05 +00001255 Current.reset(ConstructPhaseAction(Args, Phase, Current.take()));
Daniel Dunbar65229332009-03-13 11:38:42 +00001256 if (Current->getType() == types::TY_Nothing)
1257 break;
1258 }
1259
1260 // If we ended with something, add to the output list.
1261 if (Current)
Ted Kremenekbb1110a2010-01-19 01:29:05 +00001262 Actions.push_back(Current.take());
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001263 }
Daniel Dunbar65229332009-03-13 11:38:42 +00001264
1265 // Add a link action if necessary.
1266 if (!LinkerInputs.empty())
1267 Actions.push_back(new LinkJobAction(LinkerInputs, types::TY_Image));
Daniel Dunbarc7a67b72009-12-22 23:19:32 +00001268
1269 // If we are linking, claim any options which are obviously only used for
1270 // compilation.
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001271 if (FinalPhase == phases::Link && PL.size() == 1)
Daniel Dunbarc7a67b72009-12-22 23:19:32 +00001272 Args.ClaimAllArgs(options::OPT_CompileOnly_Group);
Daniel Dunbar65229332009-03-13 11:38:42 +00001273}
1274
1275Action *Driver::ConstructPhaseAction(const ArgList &Args, phases::ID Phase,
1276 Action *Input) const {
Daniel Dunbar2608c542009-03-18 01:38:48 +00001277 llvm::PrettyStackTraceString CrashInfo("Constructing phase actions");
Daniel Dunbar65229332009-03-13 11:38:42 +00001278 // Build the appropriate action.
1279 switch (Phase) {
David Blaikie83d382b2011-09-23 05:06:16 +00001280 case phases::Link: llvm_unreachable("link action invalid here.");
Daniel Dunbar65229332009-03-13 11:38:42 +00001281 case phases::Preprocess: {
Daniel Dunbard67a3222009-03-30 06:36:42 +00001282 types::ID OutputTy;
1283 // -{M, MM} alter the output type.
Daniel Dunbar86aed7d2010-12-08 21:33:40 +00001284 if (Args.hasArg(options::OPT_M, options::OPT_MM)) {
Daniel Dunbard67a3222009-03-30 06:36:42 +00001285 OutputTy = types::TY_Dependencies;
1286 } else {
David Blaikie5d577a22012-06-29 22:03:56 +00001287 OutputTy = Input->getType();
1288 if (!Args.hasFlag(options::OPT_frewrite_includes,
1289 options::OPT_fno_rewrite_includes, false))
1290 OutputTy = types::getPreprocessedType(OutputTy);
Daniel Dunbard67a3222009-03-30 06:36:42 +00001291 assert(OutputTy != types::TY_INVALID &&
1292 "Cannot preprocess this input type!");
1293 }
Daniel Dunbar65229332009-03-13 11:38:42 +00001294 return new PreprocessJobAction(Input, OutputTy);
1295 }
Aaron Ballman1f10cc52012-07-31 01:21:00 +00001296 case phases::Precompile: {
1297 types::ID OutputTy = types::TY_PCH;
1298 if (Args.hasArg(options::OPT_fsyntax_only)) {
1299 // Syntax checks should not emit a PCH file
1300 OutputTy = types::TY_Nothing;
1301 }
1302 return new PrecompileJobAction(Input, OutputTy);
1303 }
Daniel Dunbar65229332009-03-13 11:38:42 +00001304 case phases::Compile: {
1305 if (Args.hasArg(options::OPT_fsyntax_only)) {
1306 return new CompileJobAction(Input, types::TY_Nothing);
Daniel Dunbaraeea8ac2010-02-11 03:16:21 +00001307 } else if (Args.hasArg(options::OPT_rewrite_objc)) {
1308 return new CompileJobAction(Input, types::TY_RewrittenObjC);
Fariborz Jahanian73223bb2012-04-02 15:59:19 +00001309 } else if (Args.hasArg(options::OPT_rewrite_legacy_objc)) {
1310 return new CompileJobAction(Input, types::TY_RewrittenLegacyObjC);
Daniel Dunbar5e051f92009-05-06 02:12:32 +00001311 } else if (Args.hasArg(options::OPT__analyze, options::OPT__analyze_auto)) {
Daniel Dunbar65229332009-03-13 11:38:42 +00001312 return new AnalyzeJobAction(Input, types::TY_Plist);
Ted Kremenekf7639e12012-03-06 20:06:33 +00001313 } else if (Args.hasArg(options::OPT__migrate)) {
1314 return new MigrateJobAction(Input, types::TY_Remap);
Daniel Dunbar6cdf83c2009-09-01 16:57:46 +00001315 } else if (Args.hasArg(options::OPT_emit_ast)) {
1316 return new CompileJobAction(Input, types::TY_AST);
Douglas Gregorbf7fc9c2013-03-27 16:47:18 +00001317 } else if (Args.hasArg(options::OPT_module_file_info)) {
1318 return new CompileJobAction(Input, types::TY_ModuleFile);
Daniel Dunbar8f1fe5b2011-06-21 20:55:08 +00001319 } else if (IsUsingLTO(Args)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001320 types::ID Output =
Daniel Dunbar24e52992010-06-07 23:28:45 +00001321 Args.hasArg(options::OPT_S) ? types::TY_LTO_IR : types::TY_LTO_BC;
Daniel Dunbar65229332009-03-13 11:38:42 +00001322 return new CompileJobAction(Input, Output);
Shuxin Yang4b3c7ff2013-08-23 21:34:57 +00001323 } else if (Args.hasArg(options::OPT_emit_llvm)) {
1324 types::ID Output =
1325 Args.hasArg(options::OPT_S) ? types::TY_LLVM_IR : types::TY_LLVM_BC;
1326 return new CompileJobAction(Input, Output);
Daniel Dunbar65229332009-03-13 11:38:42 +00001327 } else {
1328 return new CompileJobAction(Input, types::TY_PP_Asm);
1329 }
1330 }
1331 case phases::Assemble:
1332 return new AssembleJobAction(Input, types::TY_Object);
1333 }
1334
David Blaikie83d382b2011-09-23 05:06:16 +00001335 llvm_unreachable("invalid phase in ConstructPhaseAction");
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001336}
1337
Daniel Dunbar8f1fe5b2011-06-21 20:55:08 +00001338bool Driver::IsUsingLTO(const ArgList &Args) const {
Shuxin Yang4b3c7ff2013-08-23 21:34:57 +00001339 if (Args.hasFlag(options::OPT_flto, options::OPT_fno_lto, false))
Daniel Dunbar8f1fe5b2011-06-21 20:55:08 +00001340 return true;
1341
Daniel Dunbar8f1fe5b2011-06-21 20:55:08 +00001342 return false;
1343}
1344
Daniel Dunbarf0eddb82009-03-18 02:55:38 +00001345void Driver::BuildJobs(Compilation &C) const {
Daniel Dunbar2608c542009-03-18 01:38:48 +00001346 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
Daniel Dunbare75d8342009-03-16 06:56:51 +00001347
1348 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
1349
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001350 // It is an error to provide a -o option if we are making multiple output
1351 // files.
Daniel Dunbare75d8342009-03-16 06:56:51 +00001352 if (FinalOutput) {
1353 unsigned NumOutputs = 0;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001354 for (ActionList::const_iterator it = C.getActions().begin(),
Daniel Dunbarf0eddb82009-03-18 02:55:38 +00001355 ie = C.getActions().end(); it != ie; ++it)
Daniel Dunbare75d8342009-03-16 06:56:51 +00001356 if ((*it)->getType() != types::TY_Nothing)
1357 ++NumOutputs;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001358
Daniel Dunbare75d8342009-03-16 06:56:51 +00001359 if (NumOutputs > 1) {
1360 Diag(clang::diag::err_drv_output_argument_with_multiple_files);
1361 FinalOutput = 0;
1362 }
1363 }
1364
Chad Rosier35767232013-04-30 22:01:21 +00001365 // Collect the list of architectures.
1366 llvm::StringSet<> ArchNames;
1367 if (C.getDefaultToolChain().getTriple().isOSDarwin()) {
1368 for (ArgList::const_iterator it = C.getArgs().begin(), ie = C.getArgs().end();
1369 it != ie; ++it) {
1370 Arg *A = *it;
1371 if (A->getOption().matches(options::OPT_arch))
1372 ArchNames.insert(A->getValue());
1373 }
1374 }
1375
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001376 for (ActionList::const_iterator it = C.getActions().begin(),
Daniel Dunbarf0eddb82009-03-18 02:55:38 +00001377 ie = C.getActions().end(); it != ie; ++it) {
Daniel Dunbare75d8342009-03-16 06:56:51 +00001378 Action *A = *it;
1379
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001380 // If we are linking an image for multiple archs then the linker wants
1381 // -arch_multiple and -final_output <final image name>. Unfortunately, this
1382 // doesn't fit in cleanly because we have to pass this information down.
Daniel Dunbare75d8342009-03-16 06:56:51 +00001383 //
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001384 // FIXME: This is a hack; find a cleaner way to integrate this into the
1385 // process.
Daniel Dunbare75d8342009-03-16 06:56:51 +00001386 const char *LinkingOutput = 0;
Daniel Dunbardd765242009-03-26 16:12:09 +00001387 if (isa<LipoJobAction>(A)) {
Daniel Dunbare75d8342009-03-16 06:56:51 +00001388 if (FinalOutput)
Richard Smithbd55daf2012-11-01 04:30:05 +00001389 LinkingOutput = FinalOutput->getValue();
Daniel Dunbare75d8342009-03-16 06:56:51 +00001390 else
1391 LinkingOutput = DefaultImageName.c_str();
1392 }
1393
1394 InputInfo II;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001395 BuildJobsForAction(C, A, &C.getDefaultToolChain(),
Daniel Dunbarb5d86bb2009-09-09 18:36:01 +00001396 /*BoundArch*/0,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001397 /*AtTopLevel*/ true,
Chad Rosier35767232013-04-30 22:01:21 +00001398 /*MultipleArchs*/ ArchNames.size() > 1,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001399 /*LinkingOutput*/ LinkingOutput,
1400 II);
1401 }
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001402
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001403 // If the user passed -Qunused-arguments or there were errors, don't warn
1404 // about any unused arguments.
Argyrios Kyrtzidis31448a42010-11-18 21:47:07 +00001405 if (Diags.hasErrorOccurred() ||
Daniel Dunbara3cfbe32009-04-07 19:04:18 +00001406 C.getArgs().hasArg(options::OPT_Qunused_arguments))
Daniel Dunbard175d972009-03-18 18:03:46 +00001407 return;
1408
Daniel Dunbar58399ae2009-03-29 22:24:54 +00001409 // Claim -### here.
1410 (void) C.getArgs().hasArg(options::OPT__HASH_HASH_HASH);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001411
Hans Wennborg70850d82013-07-18 20:29:38 +00001412 // Claim --driver-mode, it was handled earlier.
1413 (void) C.getArgs().hasArg(options::OPT_driver_mode);
1414
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001415 for (ArgList::const_iterator it = C.getArgs().begin(), ie = C.getArgs().end();
1416 it != ie; ++it) {
1417 Arg *A = *it;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001418
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001419 // FIXME: It would be nice to be able to send the argument to the
David Blaikie9c902b52011-09-25 23:23:43 +00001420 // DiagnosticsEngine, so that extra values, position, and so on could be
1421 // printed.
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001422 if (!A->isClaimed()) {
Michael J. Spencer66e2b202012-10-19 22:37:06 +00001423 if (A->getOption().hasFlag(options::NoArgumentUnused))
Daniel Dunbara3cfbe32009-04-07 19:04:18 +00001424 continue;
1425
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001426 // Suppress the warning automatically if this is just a flag, and it is an
1427 // instance of an argument we already claimed.
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001428 const Option &Opt = A->getOption();
Michael J. Spencerad3ccc32012-08-20 21:41:17 +00001429 if (Opt.getKind() == Option::FlagClass) {
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001430 bool DuplicateClaimed = false;
1431
Daniel Dunbar44b36ee2009-11-25 11:53:23 +00001432 for (arg_iterator it = C.getArgs().filtered_begin(&Opt),
1433 ie = C.getArgs().filtered_end(); it != ie; ++it) {
1434 if ((*it)->isClaimed()) {
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001435 DuplicateClaimed = true;
1436 break;
1437 }
1438 }
1439
1440 if (DuplicateClaimed)
1441 continue;
1442 }
1443
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001444 Diag(clang::diag::warn_drv_unused_argument)
Daniel Dunbar0e759942009-03-20 06:14:23 +00001445 << A->getAsString(C.getArgs());
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001446 }
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001447 }
Daniel Dunbar95e6b192009-03-13 22:12:33 +00001448}
1449
Rafael Espindola79764462013-03-24 15:06:53 +00001450static const Tool *SelectToolForJob(Compilation &C, const ToolChain *TC,
Daniel Dunbarc4343942010-02-03 03:07:56 +00001451 const JobAction *JA,
1452 const ActionList *&Inputs) {
1453 const Tool *ToolForJob = 0;
1454
1455 // See if we should look for a compiler with an integrated assembler. We match
1456 // bottom up, so what we are actually looking for is an assembler job with a
1457 // compiler input.
Daniel Dunbarf9ff3502010-05-14 02:03:00 +00001458
Rafael Espindola84b588b2013-03-18 18:10:27 +00001459 if (TC->useIntegratedAs() &&
Daniel Dunbarc4343942010-02-03 03:07:56 +00001460 !C.getArgs().hasArg(options::OPT_save_temps) &&
1461 isa<AssembleJobAction>(JA) &&
1462 Inputs->size() == 1 && isa<CompileJobAction>(*Inputs->begin())) {
Rafael Espindola79764462013-03-24 15:06:53 +00001463 const Tool *Compiler =
Rafael Espindola30212ab2013-03-18 18:19:46 +00001464 TC->SelectTool(cast<JobAction>(**Inputs->begin()));
Rafael Espindola79764462013-03-24 15:06:53 +00001465 if (!Compiler)
1466 return NULL;
1467 if (Compiler->hasIntegratedAssembler()) {
Daniel Dunbarc4343942010-02-03 03:07:56 +00001468 Inputs = &(*Inputs)[0]->getInputs();
Rafael Espindola79764462013-03-24 15:06:53 +00001469 ToolForJob = Compiler;
Daniel Dunbarc4343942010-02-03 03:07:56 +00001470 }
1471 }
1472
1473 // Otherwise use the tool for the current job.
1474 if (!ToolForJob)
Rafael Espindola79764462013-03-24 15:06:53 +00001475 ToolForJob = TC->SelectTool(*JA);
Daniel Dunbarc4343942010-02-03 03:07:56 +00001476
1477 // See if we should use an integrated preprocessor. We do so when we have
1478 // exactly one input, since this is the only use case we care about
1479 // (irrelevant since we don't support combine yet).
1480 if (Inputs->size() == 1 && isa<PreprocessJobAction>(*Inputs->begin()) &&
1481 !C.getArgs().hasArg(options::OPT_no_integrated_cpp) &&
1482 !C.getArgs().hasArg(options::OPT_traditional_cpp) &&
1483 !C.getArgs().hasArg(options::OPT_save_temps) &&
Fariborz Jahanian659bc4a2012-09-28 19:05:17 +00001484 !C.getArgs().hasArg(options::OPT_rewrite_objc) &&
Daniel Dunbarc4343942010-02-03 03:07:56 +00001485 ToolForJob->hasIntegratedCPP())
1486 Inputs = &(*Inputs)[0]->getInputs();
1487
Rafael Espindola79764462013-03-24 15:06:53 +00001488 return ToolForJob;
Daniel Dunbarc4343942010-02-03 03:07:56 +00001489}
1490
Daniel Dunbare75d8342009-03-16 06:56:51 +00001491void Driver::BuildJobsForAction(Compilation &C,
1492 const Action *A,
1493 const ToolChain *TC,
Daniel Dunbarb5d86bb2009-09-09 18:36:01 +00001494 const char *BoundArch,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001495 bool AtTopLevel,
Chad Rosier35767232013-04-30 22:01:21 +00001496 bool MultipleArchs,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001497 const char *LinkingOutput,
1498 InputInfo &Result) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001499 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
Daniel Dunbarc4acf9d2009-03-18 23:18:19 +00001500
Daniel Dunbare75d8342009-03-16 06:56:51 +00001501 if (const InputAction *IA = dyn_cast<InputAction>(A)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001502 // FIXME: It would be nice to not claim this here; maybe the old scheme of
1503 // just using Args was better?
Daniel Dunbar5cdf3e02009-03-19 07:29:38 +00001504 const Arg &Input = IA->getInputArg();
1505 Input.claim();
Daniel Dunbar35cbfeb2010-06-09 22:31:08 +00001506 if (Input.getOption().matches(options::OPT_INPUT)) {
Richard Smithbd55daf2012-11-01 04:30:05 +00001507 const char *Name = Input.getValue();
Daniel Dunbar5cdf3e02009-03-19 07:29:38 +00001508 Result = InputInfo(Name, A->getType(), Name);
1509 } else
1510 Result = InputInfo(&Input, A->getType(), "");
Daniel Dunbare75d8342009-03-16 06:56:51 +00001511 return;
1512 }
1513
1514 if (const BindArchAction *BAA = dyn_cast<BindArchAction>(A)) {
Chad Rosiera78a6eb2012-04-27 16:50:38 +00001515 const ToolChain *TC;
Chad Rosier631fa102012-04-27 16:48:16 +00001516 const char *ArchName = BAA->getArchName();
Daniel Dunbar1ef3f2a2009-09-08 23:37:19 +00001517
Chad Rosier631fa102012-04-27 16:48:16 +00001518 if (ArchName)
1519 TC = &getToolChain(C.getArgs(), ArchName);
Chad Rosiera78a6eb2012-04-27 16:50:38 +00001520 else
1521 TC = &C.getDefaultToolChain();
Daniel Dunbar1ef3f2a2009-09-08 23:37:19 +00001522
Daniel Dunbarb5d86bb2009-09-09 18:36:01 +00001523 BuildJobsForAction(C, *BAA->begin(), TC, BAA->getArchName(),
Chad Rosier35767232013-04-30 22:01:21 +00001524 AtTopLevel, MultipleArchs, LinkingOutput, Result);
Daniel Dunbare75d8342009-03-16 06:56:51 +00001525 return;
1526 }
1527
Daniel Dunbare75d8342009-03-16 06:56:51 +00001528 const ActionList *Inputs = &A->getInputs();
Daniel Dunbarc4343942010-02-03 03:07:56 +00001529
1530 const JobAction *JA = cast<JobAction>(A);
Rafael Espindola79764462013-03-24 15:06:53 +00001531 const Tool *T = SelectToolForJob(C, TC, JA, Inputs);
1532 if (!T)
1533 return;
Daniel Dunbare75d8342009-03-16 06:56:51 +00001534
1535 // Only use pipes when there is exactly one input.
Daniel Dunbar1a093d22009-03-18 06:00:36 +00001536 InputInfoList InputInfos;
Daniel Dunbare75d8342009-03-16 06:56:51 +00001537 for (ActionList::const_iterator it = Inputs->begin(), ie = Inputs->end();
1538 it != ie; ++it) {
Eric Christopher14668dd2013-02-18 00:38:25 +00001539 // Treat dsymutil and verify sub-jobs as being at the top-level too, they
1540 // shouldn't get temporary output names.
Daniel Dunbar6beaf512010-06-04 18:28:41 +00001541 // FIXME: Clean this up.
1542 bool SubJobAtTopLevel = false;
Eric Christopher14668dd2013-02-18 00:38:25 +00001543 if (AtTopLevel && (isa<DsymutilJobAction>(A) || isa<VerifyJobAction>(A)))
Eric Christopher551ef452011-08-23 17:56:55 +00001544 SubJobAtTopLevel = true;
1545
Daniel Dunbare75d8342009-03-16 06:56:51 +00001546 InputInfo II;
Chad Rosier35767232013-04-30 22:01:21 +00001547 BuildJobsForAction(C, *it, TC, BoundArch, SubJobAtTopLevel, MultipleArchs,
1548 LinkingOutput, II);
Daniel Dunbare75d8342009-03-16 06:56:51 +00001549 InputInfos.push_back(II);
1550 }
1551
Daniel Dunbare75d8342009-03-16 06:56:51 +00001552 // Always use the first input as the base input.
1553 const char *BaseInput = InputInfos[0].getBaseInput();
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001554
Daniel Dunbar6beaf512010-06-04 18:28:41 +00001555 // ... except dsymutil actions, which use their actual input as the base
1556 // input.
1557 if (JA->getType() == types::TY_dSYM)
1558 BaseInput = InputInfos[0].getFilename();
1559
Daniel Dunbard00272f2010-08-02 02:38:15 +00001560 // Determine the place to write output to, if any.
Eric Christopher2ba5fcb2013-02-05 07:29:57 +00001561 if (JA->getType() == types::TY_Nothing)
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001562 Result = InputInfo(A->getType(), BaseInput);
Eric Christopher2ba5fcb2013-02-05 07:29:57 +00001563 else
Chad Rosier35767232013-04-30 22:01:21 +00001564 Result = InputInfo(GetNamedOutputPath(C, *JA, BaseInput, BoundArch,
1565 AtTopLevel, MultipleArchs),
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001566 A->getType(), BaseInput);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001567
Chad Rosierbe10f982011-08-02 17:58:04 +00001568 if (CCCPrintBindings && !CCGenDiagnostics) {
Rafael Espindola79764462013-03-24 15:06:53 +00001569 llvm::errs() << "# \"" << T->getToolChain().getTripleString() << '"'
1570 << " - \"" << T->getName() << "\", inputs: [";
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001571 for (unsigned i = 0, e = InputInfos.size(); i != e; ++i) {
1572 llvm::errs() << InputInfos[i].getAsString();
1573 if (i + 1 != e)
1574 llvm::errs() << ", ";
1575 }
1576 llvm::errs() << "], output: " << Result.getAsString() << "\n";
1577 } else {
Rafael Espindola79764462013-03-24 15:06:53 +00001578 T->ConstructJob(C, *JA, Result, InputInfos,
1579 C.getArgsForToolChain(TC, BoundArch), LinkingOutput);
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001580 }
Daniel Dunbare75d8342009-03-16 06:56:51 +00001581}
1582
Hans Wennborg207fcf02013-08-12 21:56:42 +00001583/// \brief Create output filename based on ArgValue, which could either be a
1584/// full filename, filename without extension, or a directory.
1585static const char *MakeCLOutputFilename(const ArgList &Args, StringRef ArgValue,
1586 StringRef BaseName, types::ID FileType) {
1587 SmallString<128> Filename = ArgValue;
Hans Wennborg207fcf02013-08-12 21:56:42 +00001588
Hans Wennborgf1a74252013-09-10 20:18:04 +00001589 if (ArgValue.empty()) {
1590 // If the argument is empty, output to BaseName in the current dir.
1591 Filename = BaseName;
1592 } else if (llvm::sys::path::is_separator(Filename.back())) {
Hans Wennborg207fcf02013-08-12 21:56:42 +00001593 // If the argument is a directory, output to BaseName in that dir.
1594 llvm::sys::path::append(Filename, BaseName);
1595 }
1596
1597 if (!llvm::sys::path::has_extension(ArgValue)) {
1598 // If the argument didn't provide an extension, then set it.
1599 const char *Extension = types::getTypeTempSuffix(FileType, true);
Hans Wennborgf1a74252013-09-10 20:18:04 +00001600
1601 if (FileType == types::TY_Image &&
1602 Args.hasArg(options::OPT__SLASH_LD, options::OPT__SLASH_LDd)) {
1603 // The output file is a dll.
1604 Extension = "dll";
1605 }
1606
Hans Wennborg207fcf02013-08-12 21:56:42 +00001607 llvm::sys::path::replace_extension(Filename, Extension);
1608 }
1609
1610 return Args.MakeArgString(Filename.c_str());
1611}
1612
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001613const char *Driver::GetNamedOutputPath(Compilation &C,
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001614 const JobAction &JA,
1615 const char *BaseInput,
Chad Rosier35767232013-04-30 22:01:21 +00001616 const char *BoundArch,
1617 bool AtTopLevel,
1618 bool MultipleArchs) const {
Daniel Dunbar2608c542009-03-18 01:38:48 +00001619 llvm::PrettyStackTraceString CrashInfo("Computing output path");
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001620 // Output to a user requested destination?
Eric Christopher551ef452011-08-23 17:56:55 +00001621 if (AtTopLevel && !isa<DsymutilJobAction>(JA) &&
1622 !isa<VerifyJobAction>(JA)) {
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001623 if (Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o))
Chad Rosier633dcdc2013-01-24 19:14:47 +00001624 return C.addResultFile(FinalOutput->getValue(), &JA);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001625 }
1626
Nick Lewycky6e1ce292010-09-24 00:46:53 +00001627 // Default to writing to stdout?
Douglas Gregorbf7fc9c2013-03-27 16:47:18 +00001628 if (AtTopLevel && !CCGenDiagnostics &&
1629 (isa<PreprocessJobAction>(JA) || JA.getType() == types::TY_ModuleFile))
Nick Lewycky6e1ce292010-09-24 00:46:53 +00001630 return "-";
1631
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001632 // Output to a temporary file?
Hans Wennborg2b89a262013-08-06 22:11:28 +00001633 if ((!AtTopLevel && !C.getArgs().hasArg(options::OPT_save_temps) &&
1634 !C.getArgs().hasArg(options::OPT__SLASH_Fo)) ||
Chad Rosierbe10f982011-08-02 17:58:04 +00001635 CCGenDiagnostics) {
Chad Rosier97c37372011-08-26 22:27:02 +00001636 StringRef Name = llvm::sys::path::filename(BaseInput);
1637 std::pair<StringRef, StringRef> Split = Name.split('.');
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001638 std::string TmpName =
Hans Wennborg0a0faa92013-08-07 00:32:15 +00001639 GetTemporaryPath(Split.first,
1640 types::getTypeTempSuffix(JA.getType(), IsCLMode()));
Daniel Dunbare627c1c2009-03-18 19:34:39 +00001641 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001642 }
1643
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +00001644 SmallString<128> BasePath(BaseInput);
Chris Lattner0e62c1c2011-07-23 10:55:15 +00001645 StringRef BaseName;
Daniel Dunbar67fea712011-03-25 18:16:51 +00001646
1647 // Dsymutil actions should use the full path.
Eric Christopher551ef452011-08-23 17:56:55 +00001648 if (isa<DsymutilJobAction>(JA) || isa<VerifyJobAction>(JA))
Daniel Dunbar67fea712011-03-25 18:16:51 +00001649 BaseName = BasePath;
1650 else
1651 BaseName = llvm::sys::path::filename(BasePath);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001652
1653 // Determine what the derived output name should be.
1654 const char *NamedOutput;
Hans Wennborg2b89a262013-08-06 22:11:28 +00001655
1656 if (JA.getType() == types::TY_Object &&
1657 C.getArgs().hasArg(options::OPT__SLASH_Fo)) {
1658 // The /Fo flag decides the object filename.
1659 StringRef Val = C.getArgs().getLastArg(options::OPT__SLASH_Fo)->getValue();
Hans Wennborg207fcf02013-08-12 21:56:42 +00001660 NamedOutput = MakeCLOutputFilename(C.getArgs(), Val, BaseName,
1661 types::TY_Object);
1662 } else if (JA.getType() == types::TY_Image &&
1663 C.getArgs().hasArg(options::OPT__SLASH_Fe)) {
1664 // The /Fe flag names the linked file.
1665 StringRef Val = C.getArgs().getLastArg(options::OPT__SLASH_Fe)->getValue();
1666 NamedOutput = MakeCLOutputFilename(C.getArgs(), Val, BaseName,
1667 types::TY_Image);
Hans Wennborgf1a74252013-09-10 20:18:04 +00001668 } else if (JA.getType() == types::TY_Image) {
Hans Wennborg207fcf02013-08-12 21:56:42 +00001669 if (IsCLMode()) {
1670 // clang-cl uses BaseName for the executable name.
Hans Wennborgf1a74252013-09-10 20:18:04 +00001671 NamedOutput = MakeCLOutputFilename(C.getArgs(), "", BaseName,
1672 types::TY_Image);
Hans Wennborg207fcf02013-08-12 21:56:42 +00001673 } else if (MultipleArchs && BoundArch) {
Chad Rosier35767232013-04-30 22:01:21 +00001674 SmallString<128> Output(DefaultImageName.c_str());
1675 Output += "-";
1676 Output.append(BoundArch);
1677 NamedOutput = C.getArgs().MakeArgString(Output.c_str());
1678 } else
1679 NamedOutput = DefaultImageName.c_str();
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001680 } else {
Hans Wennborg0a096a02013-09-05 17:05:56 +00001681 const char *Suffix = types::getTypeTempSuffix(JA.getType(), IsCLMode());
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001682 assert(Suffix && "All types used for output should have a suffix.");
1683
1684 std::string::size_type End = std::string::npos;
1685 if (!types::appendSuffixForType(JA.getType()))
1686 End = BaseName.rfind('.');
Chad Rosier35767232013-04-30 22:01:21 +00001687 SmallString<128> Suffixed(BaseName.substr(0, End));
1688 if (MultipleArchs && BoundArch) {
1689 Suffixed += "-";
1690 Suffixed.append(BoundArch);
1691 }
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001692 Suffixed += '.';
1693 Suffixed += Suffix;
1694 NamedOutput = C.getArgs().MakeArgString(Suffixed.c_str());
1695 }
1696
Chad Rosier62135492012-07-09 17:31:28 +00001697 // If we're saving temps and the temp file conflicts with the input file,
Chad Rosier5b58af02012-04-20 20:05:08 +00001698 // then avoid overwriting input file.
Chad Rosierf8412cd2011-07-15 21:54:29 +00001699 if (!AtTopLevel && C.getArgs().hasArg(options::OPT_save_temps) &&
Chad Rosier39ab7432011-08-26 21:28:44 +00001700 NamedOutput == BaseName) {
Chad Rosier5b58af02012-04-20 20:05:08 +00001701
1702 bool SameFile = false;
1703 SmallString<256> Result;
1704 llvm::sys::fs::current_path(Result);
1705 llvm::sys::path::append(Result, BaseName);
1706 llvm::sys::fs::equivalent(BaseInput, Result.c_str(), SameFile);
1707 // Must share the same path to conflict.
1708 if (SameFile) {
1709 StringRef Name = llvm::sys::path::filename(BaseInput);
1710 std::pair<StringRef, StringRef> Split = Name.split('.');
1711 std::string TmpName =
Hans Wennborg0a0faa92013-08-07 00:32:15 +00001712 GetTemporaryPath(Split.first,
1713 types::getTypeTempSuffix(JA.getType(), IsCLMode()));
Chad Rosier5b58af02012-04-20 20:05:08 +00001714 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
1715 }
Chad Rosierf8412cd2011-07-15 21:54:29 +00001716 }
1717
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001718 // As an annoying special case, PCH generation doesn't strip the pathname.
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001719 if (JA.getType() == types::TY_PCH) {
Michael J. Spencere1696752010-12-18 00:19:12 +00001720 llvm::sys::path::remove_filename(BasePath);
1721 if (BasePath.empty())
Daniel Dunbare6c83192009-03-18 09:58:30 +00001722 BasePath = NamedOutput;
1723 else
Michael J. Spencere1696752010-12-18 00:19:12 +00001724 llvm::sys::path::append(BasePath, NamedOutput);
Chad Rosier633dcdc2013-01-24 19:14:47 +00001725 return C.addResultFile(C.getArgs().MakeArgString(BasePath.c_str()), &JA);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001726 } else {
Chad Rosier633dcdc2013-01-24 19:14:47 +00001727 return C.addResultFile(NamedOutput, &JA);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001728 }
1729}
1730
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001731std::string Driver::GetFilePath(const char *Name, const ToolChain &TC) const {
Chandler Carruth84559242010-03-22 01:52:07 +00001732 // Respect a limited subset of the '-Bprefix' functionality in GCC by
Logan Chiencd679fd2012-10-04 08:08:56 +00001733 // attempting to use this prefix when looking for file paths.
Benjamin Kramer1a648d12011-02-08 20:31:42 +00001734 for (Driver::prefix_list::const_iterator it = PrefixDirs.begin(),
1735 ie = PrefixDirs.end(); it != ie; ++it) {
Joerg Sonnenberger6165ab12011-03-21 13:51:29 +00001736 std::string Dir(*it);
1737 if (Dir.empty())
1738 continue;
1739 if (Dir[0] == '=')
1740 Dir = SysRoot + Dir.substr(1);
Rafael Espindola609a6642013-06-24 18:33:43 +00001741 SmallString<128> P(Dir);
1742 llvm::sys::path::append(P, Name);
1743 if (llvm::sys::fs::exists(Twine(P)))
Chandler Carruth84559242010-03-22 01:52:07 +00001744 return P.str();
1745 }
1746
Rafael Espindola609a6642013-06-24 18:33:43 +00001747 SmallString<128> P(ResourceDir);
1748 llvm::sys::path::append(P, Name);
1749 if (llvm::sys::fs::exists(Twine(P)))
Peter Collingbournefa9771f2011-09-06 02:08:31 +00001750 return P.str();
1751
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001752 const ToolChain::path_list &List = TC.getFilePaths();
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001753 for (ToolChain::path_list::const_iterator
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001754 it = List.begin(), ie = List.end(); it != ie; ++it) {
Joerg Sonnenberger6165ab12011-03-21 13:51:29 +00001755 std::string Dir(*it);
1756 if (Dir.empty())
1757 continue;
1758 if (Dir[0] == '=')
1759 Dir = SysRoot + Dir.substr(1);
Rafael Espindola609a6642013-06-24 18:33:43 +00001760 SmallString<128> P(Dir);
1761 llvm::sys::path::append(P, Name);
1762 if (llvm::sys::fs::exists(Twine(P)))
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001763 return P.str();
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001764 }
1765
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001766 return Name;
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +00001767}
1768
Simon Atanasyanb16488c2012-10-03 19:52:37 +00001769std::string Driver::GetProgramPath(const char *Name,
1770 const ToolChain &TC) const {
Joerg Sonnenberger17d75512012-02-22 19:15:16 +00001771 // FIXME: Needs a better variable than DefaultTargetTriple
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00001772 std::string TargetSpecificExecutable(DefaultTargetTriple + "-" + Name);
Chandler Carruth84559242010-03-22 01:52:07 +00001773 // Respect a limited subset of the '-Bprefix' functionality in GCC by
Logan Chiencd679fd2012-10-04 08:08:56 +00001774 // attempting to use this prefix when looking for program paths.
Benjamin Kramer1a648d12011-02-08 20:31:42 +00001775 for (Driver::prefix_list::const_iterator it = PrefixDirs.begin(),
1776 ie = PrefixDirs.end(); it != ie; ++it) {
Rafael Espindolaa07f7202013-07-17 04:23:07 +00001777 if (llvm::sys::fs::is_directory(*it)) {
Rafael Espindola609a6642013-06-24 18:33:43 +00001778 SmallString<128> P(*it);
1779 llvm::sys::path::append(P, TargetSpecificExecutable);
1780 if (llvm::sys::fs::can_execute(Twine(P)))
Rafael Espindola8be5c052013-06-19 13:24:29 +00001781 return P.str();
Rafael Espindola609a6642013-06-24 18:33:43 +00001782 llvm::sys::path::remove_filename(P);
1783 llvm::sys::path::append(P, Name);
1784 if (llvm::sys::fs::can_execute(Twine(P)))
Rafael Espindola8be5c052013-06-19 13:24:29 +00001785 return P.str();
Simon Atanasyana47ba292012-10-31 14:39:28 +00001786 } else {
Rafael Espindola609a6642013-06-24 18:33:43 +00001787 SmallString<128> P(*it + Name);
1788 if (llvm::sys::fs::can_execute(Twine(P)))
Rafael Espindola8be5c052013-06-19 13:24:29 +00001789 return P.str();
Simon Atanasyan86bdab72012-10-31 12:01:53 +00001790 }
Chandler Carruth84559242010-03-22 01:52:07 +00001791 }
1792
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001793 const ToolChain::path_list &List = TC.getProgramPaths();
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001794 for (ToolChain::path_list::const_iterator
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001795 it = List.begin(), ie = List.end(); it != ie; ++it) {
Rafael Espindola609a6642013-06-24 18:33:43 +00001796 SmallString<128> P(*it);
1797 llvm::sys::path::append(P, TargetSpecificExecutable);
1798 if (llvm::sys::fs::can_execute(Twine(P)))
Rafael Espindola8be5c052013-06-19 13:24:29 +00001799 return P.str();
Rafael Espindola609a6642013-06-24 18:33:43 +00001800 llvm::sys::path::remove_filename(P);
1801 llvm::sys::path::append(P, Name);
1802 if (llvm::sys::fs::can_execute(Twine(P)))
Rafael Espindola8be5c052013-06-19 13:24:29 +00001803 return P.str();
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001804 }
1805
Daniel Dunbar76ce7412009-03-23 16:15:50 +00001806 // If all else failed, search the path.
Rafael Espindola609a6642013-06-24 18:33:43 +00001807 std::string P(llvm::sys::FindProgramByName(TargetSpecificExecutable));
David Chisnallddbd68f2011-09-27 22:03:18 +00001808 if (!P.empty())
Rafael Espindola609a6642013-06-24 18:33:43 +00001809 return P;
David Chisnallddbd68f2011-09-27 22:03:18 +00001810
Rafael Espindola609a6642013-06-24 18:33:43 +00001811 P = llvm::sys::FindProgramByName(Name);
Daniel Dunbar6f668772009-03-18 21:34:08 +00001812 if (!P.empty())
Rafael Espindola609a6642013-06-24 18:33:43 +00001813 return P;
Daniel Dunbar6f668772009-03-18 21:34:08 +00001814
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001815 return Name;
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +00001816}
1817
Chad Rosier62135492012-07-09 17:31:28 +00001818std::string Driver::GetTemporaryPath(StringRef Prefix, const char *Suffix)
Chad Rosier39ab7432011-08-26 21:28:44 +00001819 const {
Rafael Espindola37d229d2013-06-25 04:26:55 +00001820 SmallString<128> Path;
1821 llvm::error_code EC =
Rafael Espindolaa36e78e2013-07-05 20:00:06 +00001822 llvm::sys::fs::createTemporaryFile(Prefix, Suffix, Path);
Rafael Espindola37d229d2013-06-25 04:26:55 +00001823 if (EC) {
1824 Diag(clang::diag::err_unable_to_make_temp) << EC.message();
Daniel Dunbare627c1c2009-03-18 19:34:39 +00001825 return "";
1826 }
1827
Rafael Espindola37d229d2013-06-25 04:26:55 +00001828 return Path.str();
Daniel Dunbare627c1c2009-03-18 19:34:39 +00001829}
1830
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001831/// \brief Compute target triple from args.
1832///
1833/// This routine provides the logic to compute a target triple from various
1834/// args passed to the driver and the default triple string.
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00001835static llvm::Triple computeTargetTriple(StringRef DefaultTargetTriple,
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001836 const ArgList &Args,
1837 StringRef DarwinArchName) {
Joerg Sonnenberger17d75512012-02-22 19:15:16 +00001838 // FIXME: Already done in Compilation *Driver::BuildCompilation
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00001839 if (const Arg *A = Args.getLastArg(options::OPT_target))
Richard Smithbd55daf2012-11-01 04:30:05 +00001840 DefaultTargetTriple = A->getValue();
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00001841
1842 llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple));
Chris Lattner09797542010-03-04 21:07:38 +00001843
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001844 // Handle Darwin-specific options available here.
1845 if (Target.isOSDarwin()) {
1846 // If an explict Darwin arch name is given, that trumps all.
1847 if (!DarwinArchName.empty()) {
1848 Target.setArch(
Rafael Espindoladcbf6982012-10-31 18:51:07 +00001849 tools::darwin::getArchTypeForDarwinArchName(DarwinArchName));
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001850 return Target;
1851 }
1852
1853 // Handle the Darwin '-arch' flag.
1854 if (Arg *A = Args.getLastArg(options::OPT_arch)) {
1855 llvm::Triple::ArchType DarwinArch
Richard Smithbd55daf2012-11-01 04:30:05 +00001856 = tools::darwin::getArchTypeForDarwinArchName(A->getValue());
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001857 if (DarwinArch != llvm::Triple::UnknownArch)
1858 Target.setArch(DarwinArch);
1859 }
Daniel Dunbar51c7f972009-05-22 02:53:45 +00001860 }
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001861
Simon Atanasyan66ceaa42013-03-28 11:36:22 +00001862 // Handle pseudo-target flags '-EL' and '-EB'.
1863 if (Arg *A = Args.getLastArg(options::OPT_EL, options::OPT_EB)) {
1864 if (A->getOption().matches(options::OPT_EL)) {
1865 if (Target.getArch() == llvm::Triple::mips)
1866 Target.setArch(llvm::Triple::mipsel);
1867 else if (Target.getArch() == llvm::Triple::mips64)
1868 Target.setArch(llvm::Triple::mips64el);
1869 } else {
1870 if (Target.getArch() == llvm::Triple::mipsel)
1871 Target.setArch(llvm::Triple::mips);
1872 else if (Target.getArch() == llvm::Triple::mips64el)
1873 Target.setArch(llvm::Triple::mips64);
1874 }
1875 }
1876
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001877 // Skip further flag support on OSes which don't support '-m32' or '-m64'.
1878 if (Target.getArchName() == "tce" ||
1879 Target.getOS() == llvm::Triple::AuroraUX ||
1880 Target.getOS() == llvm::Triple::Minix)
1881 return Target;
1882
1883 // Handle pseudo-target flags '-m32' and '-m64'.
1884 // FIXME: Should this information be in llvm::Triple?
1885 if (Arg *A = Args.getLastArg(options::OPT_m32, options::OPT_m64)) {
1886 if (A->getOption().matches(options::OPT_m32)) {
1887 if (Target.getArch() == llvm::Triple::x86_64)
1888 Target.setArch(llvm::Triple::x86);
1889 if (Target.getArch() == llvm::Triple::ppc64)
1890 Target.setArch(llvm::Triple::ppc);
1891 } else {
1892 if (Target.getArch() == llvm::Triple::x86)
1893 Target.setArch(llvm::Triple::x86_64);
1894 if (Target.getArch() == llvm::Triple::ppc)
1895 Target.setArch(llvm::Triple::ppc64);
1896 }
1897 }
1898
1899 return Target;
1900}
1901
1902const ToolChain &Driver::getToolChain(const ArgList &Args,
1903 StringRef DarwinArchName) const {
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00001904 llvm::Triple Target = computeTargetTriple(DefaultTargetTriple, Args,
1905 DarwinArchName);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001906
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00001907 ToolChain *&TC = ToolChains[Target.str()];
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001908 if (!TC) {
1909 switch (Target.getOS()) {
1910 case llvm::Triple::AuroraUX:
Rafael Espindola1af7c212012-02-19 01:38:32 +00001911 TC = new toolchains::AuroraUX(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001912 break;
1913 case llvm::Triple::Darwin:
1914 case llvm::Triple::MacOSX:
1915 case llvm::Triple::IOS:
1916 if (Target.getArch() == llvm::Triple::x86 ||
1917 Target.getArch() == llvm::Triple::x86_64 ||
1918 Target.getArch() == llvm::Triple::arm ||
1919 Target.getArch() == llvm::Triple::thumb)
Rafael Espindola84b588b2013-03-18 18:10:27 +00001920 TC = new toolchains::DarwinClang(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001921 else
Rafael Espindola1af7c212012-02-19 01:38:32 +00001922 TC = new toolchains::Darwin_Generic_GCC(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001923 break;
1924 case llvm::Triple::DragonFly:
Rafael Espindola1af7c212012-02-19 01:38:32 +00001925 TC = new toolchains::DragonFly(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001926 break;
1927 case llvm::Triple::OpenBSD:
Rafael Espindola1af7c212012-02-19 01:38:32 +00001928 TC = new toolchains::OpenBSD(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001929 break;
Eli Friedman9fa28852012-08-08 23:57:20 +00001930 case llvm::Triple::Bitrig:
1931 TC = new toolchains::Bitrig(*this, Target, Args);
1932 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001933 case llvm::Triple::NetBSD:
Rafael Espindola1af7c212012-02-19 01:38:32 +00001934 TC = new toolchains::NetBSD(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001935 break;
1936 case llvm::Triple::FreeBSD:
Rafael Espindola1af7c212012-02-19 01:38:32 +00001937 TC = new toolchains::FreeBSD(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001938 break;
1939 case llvm::Triple::Minix:
Rafael Espindola1af7c212012-02-19 01:38:32 +00001940 TC = new toolchains::Minix(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001941 break;
1942 case llvm::Triple::Linux:
Chandler Carruthcf705b22012-01-25 21:03:58 +00001943 if (Target.getArch() == llvm::Triple::hexagon)
Matthew Curtis22dd8da2012-12-06 12:43:18 +00001944 TC = new toolchains::Hexagon_TC(*this, Target, Args);
Chandler Carruthcf705b22012-01-25 21:03:58 +00001945 else
Rafael Espindola1af7c212012-02-19 01:38:32 +00001946 TC = new toolchains::Linux(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001947 break;
David Chisnallf571cde2012-02-15 13:39:01 +00001948 case llvm::Triple::Solaris:
Rafael Espindola1af7c212012-02-19 01:38:32 +00001949 TC = new toolchains::Solaris(*this, Target, Args);
David Chisnallf571cde2012-02-15 13:39:01 +00001950 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001951 case llvm::Triple::Win32:
Rafael Espindola84b588b2013-03-18 18:10:27 +00001952 TC = new toolchains::Windows(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001953 break;
1954 case llvm::Triple::MinGW32:
1955 // FIXME: We need a MinGW toolchain. Fallthrough for now.
1956 default:
1957 // TCE is an OSless target
1958 if (Target.getArchName() == "tce") {
Rafael Espindola84b588b2013-03-18 18:10:27 +00001959 TC = new toolchains::TCEToolChain(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001960 break;
1961 }
Jyotsna Verma3abdf1c2013-03-29 19:09:20 +00001962 // If Hexagon is configured as an OSless target
1963 if (Target.getArch() == llvm::Triple::hexagon) {
1964 TC = new toolchains::Hexagon_TC(*this, Target, Args);
1965 break;
1966 }
Rafael Espindola1af7c212012-02-19 01:38:32 +00001967 TC = new toolchains::Generic_GCC(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001968 break;
1969 }
1970 }
1971 return *TC;
Daniel Dunbar4dff6a42009-03-10 23:41:59 +00001972}
Daniel Dunbar8fa879d2009-03-24 18:57:02 +00001973
Rafael Espindola2f69d402013-03-18 15:33:26 +00001974bool Driver::ShouldUseClangCompiler(const JobAction &JA) const {
Nick Lewycky5cc9ebb2012-11-15 05:36:36 +00001975 // Check if user requested no clang, or clang doesn't understand this type (we
1976 // only handle single inputs for now).
1977 if (JA.size() != 1 ||
1978 !types::isAcceptedByClang((*JA.begin())->getType()))
1979 return false;
1980
1981 // Otherwise make sure this is an action clang understands.
1982 if (!isa<PreprocessJobAction>(JA) && !isa<PrecompileJobAction>(JA) &&
1983 !isa<CompileJobAction>(JA))
1984 return false;
1985
1986 return true;
1987}
1988
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001989/// GetReleaseVersion - Parse (([0-9]+)(.([0-9]+)(.([0-9]+)?))?)? and return the
1990/// grouped values as integers. Numbers which are not provided are set to 0.
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00001991///
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001992/// \return True if the entire string was parsed (9.2), or all groups were
1993/// parsed (10.3.5extrastuff).
1994bool Driver::GetReleaseVersion(const char *Str, unsigned &Major,
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00001995 unsigned &Minor, unsigned &Micro,
1996 bool &HadExtra) {
1997 HadExtra = false;
1998
1999 Major = Minor = Micro = 0;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002000 if (*Str == '\0')
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002001 return true;
2002
2003 char *End;
2004 Major = (unsigned) strtol(Str, &End, 10);
2005 if (*Str != '\0' && *End == '\0')
2006 return true;
2007 if (*End != '.')
2008 return false;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002009
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002010 Str = End+1;
2011 Minor = (unsigned) strtol(Str, &End, 10);
2012 if (*Str != '\0' && *End == '\0')
2013 return true;
2014 if (*End != '.')
2015 return false;
2016
2017 Str = End+1;
2018 Micro = (unsigned) strtol(Str, &End, 10);
2019 if (*Str != '\0' && *End == '\0')
2020 return true;
2021 if (Str == End)
2022 return false;
2023 HadExtra = true;
2024 return true;
2025}
Hans Wennborg6ddc6902013-07-27 00:23:45 +00002026
2027std::pair<unsigned, unsigned> Driver::getIncludeExcludeOptionFlagMasks() const {
2028 unsigned IncludedFlagsBitmask = 0;
2029 unsigned ExcludedFlagsBitmask = 0;
2030
2031 if (Mode == CLMode) {
Hans Wennborg19076102013-07-31 20:51:53 +00002032 // Include CL and Core options.
2033 IncludedFlagsBitmask |= options::CLOption;
2034 IncludedFlagsBitmask |= options::CoreOption;
Hans Wennborg6ddc6902013-07-27 00:23:45 +00002035 } else {
2036 ExcludedFlagsBitmask |= options::CLOption;
2037 }
2038
2039 return std::make_pair(IncludedFlagsBitmask, ExcludedFlagsBitmask);
2040}
Alexey Samsonov609213f92013-08-19 09:14:21 +00002041
2042const SanitizerArgs &
2043Driver::getOrParseSanitizerArgs(const ArgList &Args) const {
2044 if (!SanitizerArguments.get())
2045 SanitizerArguments.reset(new SanitizerArgs(*this, Args));
2046 return *SanitizerArguments.get();
2047}