blob: 8cca1de0fb2b337f1b72e264ebf7710e2afdcb07 [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"
Alp Toker1d257e12014-06-04 03:28:55 +000014#include "clang/Config/config.h"
Daniel Dunbar1688f1a2009-03-12 07:58:46 +000015#include "clang/Driver/Action.h"
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000016#include "clang/Driver/Compilation.h"
Daniel Dunbarc0b3e952009-03-12 08:55:43 +000017#include "clang/Driver/DriverDiagnostic.h"
Daniel Dunbare75d8342009-03-16 06:56:51 +000018#include "clang/Driver/Job.h"
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000019#include "clang/Driver/Options.h"
Peter Collingbournea4ccff32015-02-20 20:30:56 +000020#include "clang/Driver/SanitizerArgs.h"
Daniel Dunbare75d8342009-03-16 06:56:51 +000021#include "clang/Driver/Tool.h"
22#include "clang/Driver/ToolChain.h"
Chris Lattnerce6c42f2011-03-23 04:04:01 +000023#include "llvm/ADT/ArrayRef.h"
Hans Wennborg6ddc6902013-07-27 00:23:45 +000024#include "llvm/ADT/STLExtras.h"
Hans Wennborg23d26a32014-06-18 17:21:50 +000025#include "llvm/ADT/StringExtras.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000026#include "llvm/ADT/StringSet.h"
Hans Wennborg70850d82013-07-18 20:29:38 +000027#include "llvm/ADT/StringSwitch.h"
Reid Kleckner898229a2013-06-14 17:17:23 +000028#include "llvm/Option/Arg.h"
29#include "llvm/Option/ArgList.h"
Chandler Carruth5553d0d2014-01-07 11:51:46 +000030#include "llvm/Option/OptSpecifier.h"
Reid Kleckner898229a2013-06-14 17:17:23 +000031#include "llvm/Option/OptTable.h"
32#include "llvm/Option/Option.h"
Eric Christopher2ba5fcb2013-02-05 07:29:57 +000033#include "llvm/Support/Debug.h"
David Blaikie79000202011-09-23 05:57:42 +000034#include "llvm/Support/ErrorHandling.h"
Michael J. Spencerf28df4c2010-12-17 21:22:22 +000035#include "llvm/Support/FileSystem.h"
Michael J. Spencer8aaf4992010-11-29 18:12:39 +000036#include "llvm/Support/Path.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000037#include "llvm/Support/PrettyStackTrace.h"
Hans Wennborg23d26a32014-06-18 17:21:50 +000038#include "llvm/Support/Process.h"
Michael J. Spencer8aaf4992010-11-29 18:12:39 +000039#include "llvm/Support/Program.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000040#include "llvm/Support/raw_ostream.h"
Dylan Noblesmith4f4e7452012-02-02 00:40:14 +000041#include <map>
Ahmed Charlesdfca6f92014-03-09 11:36:40 +000042#include <memory>
Dylan Noblesmith86780e92012-02-01 14:25:28 +000043
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000044using namespace clang::driver;
Chris Lattnerada1c912009-03-26 05:56:24 +000045using namespace clang;
Reid Kleckner898229a2013-06-14 17:17:23 +000046using namespace llvm::opt;
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000047
Reid Kleckner68eb60b2015-02-02 22:41:48 +000048Driver::Driver(StringRef ClangExecutable, StringRef DefaultTargetTriple,
David Blaikie9c902b52011-09-25 23:23:43 +000049 DiagnosticsEngine &Diags)
Reid Kleckner68eb60b2015-02-02 22:41:48 +000050 : Opts(createDriverOptTable()), Diags(Diags), Mode(GCCMode),
51 SaveTemps(SaveTempsNone), ClangExecutable(ClangExecutable),
52 SysRoot(DEFAULT_SYSROOT), UseStdLib(true),
53 DefaultTargetTriple(DefaultTargetTriple),
54 DriverTitle("clang LLVM compiler"), CCPrintOptionsFilename(nullptr),
55 CCPrintHeadersFilename(nullptr), CCLogDiagnosticsFilename(nullptr),
56 CCCPrintBindings(false), CCPrintHeaders(false), CCLogDiagnostics(false),
57 CCGenDiagnostics(false), CCCGenericGCCName(""), CheckInputsExist(true),
58 CCCUsePCH(true), SuppressMissingInputWarning(false) {
Daniel Dunbar3f3e2cd2010-01-20 02:35:16 +000059
Sumanth Gundapaneni3a1592942015-03-03 20:43:12 +000060 Name = llvm::sys::path::filename(ClangExecutable);
Michael J. Spencere47230f2010-12-18 04:13:32 +000061 Dir = llvm::sys::path::parent_path(ClangExecutable);
Bob Wilsona20a1da2013-03-23 05:17:59 +000062
63 // Compute the path to the resource directory.
64 StringRef ClangResourceDir(CLANG_RESOURCE_DIR);
65 SmallString<128> P(Dir);
Chandler Carruthfd3cc702014-12-29 12:09:08 +000066 if (ClangResourceDir != "") {
Bob Wilsona20a1da2013-03-23 05:17:59 +000067 llvm::sys::path::append(P, ClangResourceDir);
Chandler Carruthfd3cc702014-12-29 12:09:08 +000068 } else {
69 StringRef ClangLibdirSuffix(CLANG_LIBDIR_SUFFIX);
70 llvm::sys::path::append(P, "..", Twine("lib") + ClangLibdirSuffix, "clang",
71 CLANG_VERSION_STRING);
72 }
Bob Wilsona20a1da2013-03-23 05:17:59 +000073 ResourceDir = P.str();
Daniel Dunbar544ecd12009-03-02 19:59:07 +000074}
75
76Driver::~Driver() {
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000077 delete Opts;
Chandler Carruth2ad5de12012-01-25 11:01:57 +000078
Reid Kleckner588c9372014-02-19 23:44:52 +000079 llvm::DeleteContainerSeconds(ToolChains);
Daniel Dunbar544ecd12009-03-02 19:59:07 +000080}
81
Hans Wennborg70850d82013-07-18 20:29:38 +000082void Driver::ParseDriverMode(ArrayRef<const char *> Args) {
83 const std::string OptName =
84 getOpts().getOption(options::OPT_driver_mode).getPrefixedName();
85
86 for (size_t I = 0, E = Args.size(); I != E; ++I) {
Reid Kleckneraf5fd6a2014-08-22 19:29:30 +000087 // Ingore nullptrs, they are response file's EOL markers
88 if (Args[I] == nullptr)
89 continue;
Hans Wennborg70850d82013-07-18 20:29:38 +000090 const StringRef Arg = Args[I];
91 if (!Arg.startswith(OptName))
92 continue;
93
94 const StringRef Value = Arg.drop_front(OptName.size());
95 const unsigned M = llvm::StringSwitch<unsigned>(Value)
96 .Case("gcc", GCCMode)
97 .Case("g++", GXXMode)
98 .Case("cpp", CPPMode)
Hans Wennborge4b031c2013-07-19 20:33:20 +000099 .Case("cl", CLMode)
Hans Wennborg70850d82013-07-18 20:29:38 +0000100 .Default(~0U);
101
102 if (M != ~0U)
103 Mode = static_cast<DriverMode>(M);
104 else
105 Diag(diag::err_drv_unsupported_option_argument) << OptName << Value;
106 }
107}
108
Reid Kleckneraf5fd6a2014-08-22 19:29:30 +0000109InputArgList *Driver::ParseArgStrings(ArrayRef<const char *> ArgStrings) {
Daniel Dunbar2608c542009-03-18 01:38:48 +0000110 llvm::PrettyStackTraceString CrashInfo("Command line argument parsing");
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000111
112 unsigned IncludedFlagsBitmask;
113 unsigned ExcludedFlagsBitmask;
Benjamin Kramer867ea1d2014-03-02 13:01:17 +0000114 std::tie(IncludedFlagsBitmask, ExcludedFlagsBitmask) =
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000115 getIncludeExcludeOptionFlagMasks();
116
Daniel Dunbar52ed5fe2009-11-19 06:35:06 +0000117 unsigned MissingArgIndex, MissingArgCount;
Reid Kleckneraf5fd6a2014-08-22 19:29:30 +0000118 InputArgList *Args = getOpts().ParseArgs(ArgStrings.begin(), ArgStrings.end(),
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000119 MissingArgIndex, MissingArgCount,
120 IncludedFlagsBitmask,
121 ExcludedFlagsBitmask);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000122
Daniel Dunbar52ed5fe2009-11-19 06:35:06 +0000123 // Check for missing argument error.
124 if (MissingArgCount)
125 Diag(clang::diag::err_drv_missing_argument)
126 << Args->getArgString(MissingArgIndex) << MissingArgCount;
Daniel Dunbar65229332009-03-13 11:38:42 +0000127
Daniel Dunbar52ed5fe2009-11-19 06:35:06 +0000128 // Check for unsupported options.
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000129 for (const Arg *A : *Args) {
Michael J. Spencer66e2b202012-10-19 22:37:06 +0000130 if (A->getOption().hasFlag(options::Unsupported)) {
Daniel Dunbard8500f32009-03-22 23:26:43 +0000131 Diag(clang::diag::err_drv_unsupported_opt) << A->getAsString(*Args);
132 continue;
133 }
Chad Rosierce975d92012-02-22 17:55:22 +0000134
135 // Warn about -mcpu= without an argument.
Chad Rosier62135492012-07-09 17:31:28 +0000136 if (A->getOption().matches(options::OPT_mcpu_EQ) &&
Chad Rosierce975d92012-02-22 17:55:22 +0000137 A->containsValue("")) {
Chad Rosier62135492012-07-09 17:31:28 +0000138 Diag(clang::diag::warn_drv_empty_joined_argument) <<
139 A->getAsString(*Args);
Chad Rosierce975d92012-02-22 17:55:22 +0000140 }
Daniel Dunbard02cb1d2009-03-05 06:38:47 +0000141 }
142
Sean Silva14facf32015-06-09 01:57:17 +0000143 for (const Arg *A : Args->filtered(options::OPT_UNKNOWN))
144 Diags.Report(diag::err_drv_unknown_argument) << A->getAsString(*Args);
Rafael Espindola8a2d4962013-09-23 23:55:25 +0000145
Daniel Dunbard02cb1d2009-03-05 06:38:47 +0000146 return Args;
147}
148
Chad Rosier7742b5d2011-07-27 23:36:45 +0000149// Determine which compilation mode we are in. We look for options which
150// affect the phase, starting with the earliest phases, and record which
151// option we used to determine the final phase.
152phases::ID Driver::getFinalPhase(const DerivedArgList &DAL, Arg **FinalPhaseArg)
153const {
Craig Topper92fc2df2014-05-17 16:56:41 +0000154 Arg *PhaseArg = nullptr;
Chad Rosier7742b5d2011-07-27 23:36:45 +0000155 phases::ID FinalPhase;
Eric Christopherf901e852011-08-17 22:59:59 +0000156
Hans Wennborge50cec32014-06-13 20:59:54 +0000157 // -{E,EP,P,M,MM} only run the preprocessor.
Hans Wennborg70850d82013-07-18 20:29:38 +0000158 if (CCCIsCPP() ||
Chad Rosier7742b5d2011-07-27 23:36:45 +0000159 (PhaseArg = DAL.getLastArg(options::OPT_E)) ||
Hans Wennborge50cec32014-06-13 20:59:54 +0000160 (PhaseArg = DAL.getLastArg(options::OPT__SLASH_EP)) ||
Hans Wennborge0053472013-12-20 18:40:46 +0000161 (PhaseArg = DAL.getLastArg(options::OPT_M, options::OPT_MM)) ||
162 (PhaseArg = DAL.getLastArg(options::OPT__SLASH_P))) {
Chad Rosier7742b5d2011-07-27 23:36:45 +0000163 FinalPhase = phases::Preprocess;
Eric Christopherf901e852011-08-17 22:59:59 +0000164
Bob Wilson23a55f12014-12-21 07:00:00 +0000165 // -{fsyntax-only,-analyze,emit-ast} only run up to the compiler.
Chad Rosier7742b5d2011-07-27 23:36:45 +0000166 } else if ((PhaseArg = DAL.getLastArg(options::OPT_fsyntax_only)) ||
Douglas Gregorbf7fc9c2013-03-27 16:47:18 +0000167 (PhaseArg = DAL.getLastArg(options::OPT_module_file_info)) ||
Ben Langmuir2cb4a782014-02-05 22:21:15 +0000168 (PhaseArg = DAL.getLastArg(options::OPT_verify_pch)) ||
Chad Rosier7742b5d2011-07-27 23:36:45 +0000169 (PhaseArg = DAL.getLastArg(options::OPT_rewrite_objc)) ||
Fariborz Jahanian73223bb2012-04-02 15:59:19 +0000170 (PhaseArg = DAL.getLastArg(options::OPT_rewrite_legacy_objc)) ||
Ted Kremenekf7639e12012-03-06 20:06:33 +0000171 (PhaseArg = DAL.getLastArg(options::OPT__migrate)) ||
Chad Rosier7742b5d2011-07-27 23:36:45 +0000172 (PhaseArg = DAL.getLastArg(options::OPT__analyze,
Chad Rosier1aeb15a2012-03-06 23:14:35 +0000173 options::OPT__analyze_auto)) ||
Bob Wilson23a55f12014-12-21 07:00:00 +0000174 (PhaseArg = DAL.getLastArg(options::OPT_emit_ast))) {
Chad Rosier7742b5d2011-07-27 23:36:45 +0000175 FinalPhase = phases::Compile;
176
Bob Wilson23a55f12014-12-21 07:00:00 +0000177 // -S only runs up to the backend.
178 } else if ((PhaseArg = DAL.getLastArg(options::OPT_S))) {
179 FinalPhase = phases::Backend;
180
Chad Rosier7742b5d2011-07-27 23:36:45 +0000181 // -c only runs up to the assembler.
182 } else if ((PhaseArg = DAL.getLastArg(options::OPT_c))) {
183 FinalPhase = phases::Assemble;
184
185 // Otherwise do everything.
186 } else
187 FinalPhase = phases::Link;
188
189 if (FinalPhaseArg)
190 *FinalPhaseArg = PhaseArg;
191
192 return FinalPhase;
193}
194
Hans Wennborg55362852014-05-02 22:55:30 +0000195static Arg* MakeInputArg(DerivedArgList &Args, OptTable *Opts,
Hans Wennborged1d0722013-08-13 21:32:29 +0000196 StringRef Value) {
197 Arg *A = new Arg(Opts->getOption(options::OPT_INPUT), Value,
198 Args.getBaseArgs().MakeIndex(Value), Value.data());
Hans Wennborg55362852014-05-02 22:55:30 +0000199 Args.AddSynthesizedArg(A);
Hans Wennborged1d0722013-08-13 21:32:29 +0000200 A->claim();
201 return A;
202}
203
Daniel Dunbar775d4062010-06-11 22:00:26 +0000204DerivedArgList *Driver::TranslateInputArgs(const InputArgList &Args) const {
205 DerivedArgList *DAL = new DerivedArgList(Args);
206
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000207 bool HasNostdlib = Args.hasArg(options::OPT_nostdlib);
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000208 for (Arg *A : Args) {
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000209 // Unfortunately, we have to parse some forwarding options (-Xassembler,
210 // -Xlinker, -Xpreprocessor) because we either integrate their functionality
211 // (assembler and preprocessor), or bypass a previous driver ('collect2').
Daniel Dunbar5a9d1832010-06-14 21:37:09 +0000212
213 // Rewrite linker options, to replace --no-demangle with a custom internal
214 // option.
215 if ((A->getOption().matches(options::OPT_Wl_COMMA) ||
216 A->getOption().matches(options::OPT_Xlinker)) &&
217 A->containsValue("--no-demangle")) {
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000218 // Add the rewritten no-demangle argument.
219 DAL->AddFlagArg(A, Opts->getOption(options::OPT_Z_Xlinker__no_demangle));
220
221 // Add the remaining values as Xlinker arguments.
222 for (unsigned i = 0, e = A->getNumValues(); i != e; ++i)
Richard Smithbd55daf2012-11-01 04:30:05 +0000223 if (StringRef(A->getValue(i)) != "--no-demangle")
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000224 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_Xlinker),
Richard Smithbd55daf2012-11-01 04:30:05 +0000225 A->getValue(i));
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000226
227 continue;
228 }
229
Daniel Dunbar5a9d1832010-06-14 21:37:09 +0000230 // Rewrite preprocessor options, to replace -Wp,-MD,FOO which is used by
231 // some build systems. We don't try to be complete here because we don't
232 // care to encourage this usage model.
233 if (A->getOption().matches(options::OPT_Wp_COMMA) &&
Richard Smithbd55daf2012-11-01 04:30:05 +0000234 (A->getValue(0) == StringRef("-MD") ||
235 A->getValue(0) == StringRef("-MMD"))) {
Daniel Dunbar3648ba72010-06-15 20:30:18 +0000236 // Rewrite to -MD/-MMD along with -MF.
Richard Smithbd55daf2012-11-01 04:30:05 +0000237 if (A->getValue(0) == StringRef("-MD"))
Daniel Dunbar3648ba72010-06-15 20:30:18 +0000238 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MD));
239 else
240 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MMD));
Michael J. Spencer70d85be2012-11-07 23:37:14 +0000241 if (A->getNumValues() == 2)
242 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_MF),
243 A->getValue(1));
Daniel Dunbar5a9d1832010-06-14 21:37:09 +0000244 continue;
245 }
246
Shantonu Senafeb03b2010-09-17 18:39:08 +0000247 // Rewrite reserved library names.
248 if (A->getOption().matches(options::OPT_l)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000249 StringRef Value = A->getValue();
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000250
Shantonu Senafeb03b2010-09-17 18:39:08 +0000251 // Rewrite unless -nostdlib is present.
252 if (!HasNostdlib && Value == "stdc++") {
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000253 DAL->AddFlagArg(A, Opts->getOption(
254 options::OPT_Z_reserved_lib_stdcxx));
255 continue;
256 }
Shantonu Senafeb03b2010-09-17 18:39:08 +0000257
258 // Rewrite unconditionally.
259 if (Value == "cc_kext") {
260 DAL->AddFlagArg(A, Opts->getOption(
261 options::OPT_Z_reserved_lib_cckext));
262 continue;
263 }
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000264 }
265
Hans Wennborged1d0722013-08-13 21:32:29 +0000266 // Pick up inputs via the -- option.
267 if (A->getOption().matches(options::OPT__DASH_DASH)) {
268 A->claim();
269 for (unsigned i = 0, e = A->getNumValues(); i != e; ++i)
270 DAL->append(MakeInputArg(*DAL, Opts, A->getValue(i)));
271 continue;
272 }
273
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000274 DAL->append(A);
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000275 }
Daniel Dunbar775d4062010-06-11 22:00:26 +0000276
Daniel Dunbar628fcf42010-08-12 00:05:12 +0000277 // Add a default value of -mlinker-version=, if one was given and the user
278 // didn't specify one.
279#if defined(HOST_LINK_VERSION)
280 if (!Args.hasArg(options::OPT_mlinker_version_EQ)) {
281 DAL->AddJoinedArg(0, Opts->getOption(options::OPT_mlinker_version_EQ),
282 HOST_LINK_VERSION);
Daniel Dunbarb613ffc2010-08-17 22:32:45 +0000283 DAL->getLastArg(options::OPT_mlinker_version_EQ)->claim();
Daniel Dunbar628fcf42010-08-12 00:05:12 +0000284 }
285#endif
286
Daniel Dunbar775d4062010-06-11 22:00:26 +0000287 return DAL;
288}
289
Chris Lattner54b16772011-07-23 17:14:25 +0000290Compilation *Driver::BuildCompilation(ArrayRef<const char *> ArgList) {
Daniel Dunbar2608c542009-03-18 01:38:48 +0000291 llvm::PrettyStackTraceString CrashInfo("Compilation construction");
292
Eric Christopherf901e852011-08-17 22:59:59 +0000293 // FIXME: Handle environment options which affect driver behavior, somewhere
Bill Wendlingadbeb9f2012-03-12 21:24:57 +0000294 // (client?). GCC_EXEC_PREFIX, LPATH, CC_PRINT_OPTIONS.
Chad Rosier82301162011-09-14 00:47:55 +0000295
296 if (char *env = ::getenv("COMPILER_PATH")) {
297 StringRef CompilerPath = env;
298 while (!CompilerPath.empty()) {
NAKAMURA Takumiad80c5e2012-12-12 06:22:22 +0000299 std::pair<StringRef, StringRef> Split
Rafael Espindolae3d0c4a2013-06-25 01:11:59 +0000300 = CompilerPath.split(llvm::sys::EnvPathSeparator);
Chad Rosier82301162011-09-14 00:47:55 +0000301 PrefixDirs.push_back(Split.first);
302 CompilerPath = Split.second;
303 }
304 }
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000305
Hans Wennborg70850d82013-07-18 20:29:38 +0000306 // We look for the driver mode option early, because the mode can affect
307 // how other options are parsed.
308 ParseDriverMode(ArgList.slice(1));
309
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000310 // FIXME: What are we going to do with -V and -b?
311
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000312 // FIXME: This stuff needs to go into the Compilation, not the driver.
Rafael Espindola0c9fa3f2013-09-03 13:26:49 +0000313 bool CCCPrintActions;
Daniel Dunbard02cb1d2009-03-05 06:38:47 +0000314
Chris Lattnerce6c42f2011-03-23 04:04:01 +0000315 InputArgList *Args = ParseArgStrings(ArgList.slice(1));
Daniel Dunbaracd69572009-12-04 21:55:23 +0000316
Rafael Espindola59ae7992009-12-07 18:28:29 +0000317 // -no-canonical-prefixes is used very early in main.
318 Args->ClaimAllArgs(options::OPT_no_canonical_prefixes);
319
Daniel Dunbar926f81f2010-08-02 02:38:03 +0000320 // Ignore -pipe.
321 Args->ClaimAllArgs(options::OPT_pipe);
322
Daniel Dunbaracd69572009-12-04 21:55:23 +0000323 // Extract -ccc args.
Daniel Dunbaree66cf22009-03-10 20:52:46 +0000324 //
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000325 // FIXME: We need to figure out where this behavior should live. Most of it
326 // should be outside in the client; the parts that aren't should have proper
327 // options, either by introducing new ones or by overloading gcc ones like -V
328 // or -b.
Daniel Dunbaracd69572009-12-04 21:55:23 +0000329 CCCPrintActions = Args->hasArg(options::OPT_ccc_print_phases);
330 CCCPrintBindings = Args->hasArg(options::OPT_ccc_print_bindings);
Daniel Dunbaracd69572009-12-04 21:55:23 +0000331 if (const Arg *A = Args->getLastArg(options::OPT_ccc_gcc_name))
Richard Smithbd55daf2012-11-01 04:30:05 +0000332 CCCGenericGCCName = A->getValue();
Daniel Dunbaracd69572009-12-04 21:55:23 +0000333 CCCUsePCH = Args->hasFlag(options::OPT_ccc_pch_is_pch,
334 options::OPT_ccc_pch_is_pth);
Joerg Sonnenberger17d75512012-02-22 19:15:16 +0000335 // FIXME: DefaultTargetTriple is used by the target-prefixed calls to as/ld
336 // and getToolChain is const.
Hans Wennborg2e274592013-08-13 23:38:57 +0000337 if (IsCLMode()) {
Hans Wennborg73609a02014-03-28 01:19:04 +0000338 // clang-cl targets MSVC-style Win32.
Hans Wennborg2e274592013-08-13 23:38:57 +0000339 llvm::Triple T(DefaultTargetTriple);
Hans Wennborg9d9ce7a2014-03-28 20:49:28 +0000340 T.setOS(llvm::Triple::Win32);
341 T.setEnvironment(llvm::Triple::MSVC);
Hans Wennborg2e274592013-08-13 23:38:57 +0000342 DefaultTargetTriple = T.str();
343 }
Joerg Sonnenberger17d75512012-02-22 19:15:16 +0000344 if (const Arg *A = Args->getLastArg(options::OPT_target))
Richard Smithbd55daf2012-11-01 04:30:05 +0000345 DefaultTargetTriple = A->getValue();
Daniel Dunbaracd69572009-12-04 21:55:23 +0000346 if (const Arg *A = Args->getLastArg(options::OPT_ccc_install_dir))
Richard Smithbd55daf2012-11-01 04:30:05 +0000347 Dir = InstalledDir = A->getValue();
Sean Silva14facf32015-06-09 01:57:17 +0000348 for (const Arg *A : Args->filtered(options::OPT_B)) {
Benjamin Kramer1a648d12011-02-08 20:31:42 +0000349 A->claim();
Richard Smithbd55daf2012-11-01 04:30:05 +0000350 PrefixDirs.push_back(A->getValue(0));
Benjamin Kramer1a648d12011-02-08 20:31:42 +0000351 }
Joerg Sonnenberger6165ab12011-03-21 13:51:29 +0000352 if (const Arg *A = Args->getLastArg(options::OPT__sysroot_EQ))
Richard Smithbd55daf2012-11-01 04:30:05 +0000353 SysRoot = A->getValue();
Peter Collingbourne9d9e1fc2013-05-27 21:40:20 +0000354 if (const Arg *A = Args->getLastArg(options::OPT__dyld_prefix_EQ))
355 DyldPrefix = A->getValue();
Joerg Sonnenbergerbc923f32011-03-21 13:59:26 +0000356 if (Args->hasArg(options::OPT_nostdlib))
357 UseStdLib = false;
Daniel Dunbaree66cf22009-03-10 20:52:46 +0000358
Richard Smithf3e624c2013-03-23 00:30:08 +0000359 if (const Arg *A = Args->getLastArg(options::OPT_resource_dir))
Bob Wilsona20a1da2013-03-23 05:17:59 +0000360 ResourceDir = A->getValue();
Jim Grosbach061dabf2013-03-12 20:17:58 +0000361
Reid Kleckner68eb60b2015-02-02 22:41:48 +0000362 if (const Arg *A = Args->getLastArg(options::OPT_save_temps_EQ)) {
363 SaveTemps = llvm::StringSwitch<SaveTempsMode>(A->getValue())
364 .Case("cwd", SaveTempsCwd)
365 .Case("obj", SaveTempsObj)
366 .Default(SaveTempsCwd);
367 }
368
Daniel Dunbar775d4062010-06-11 22:00:26 +0000369 // Perform the default argument translations.
370 DerivedArgList *TranslatedArgs = TranslateInputArgs(*Args);
371
Chandler Carruthcb916192012-01-25 08:49:21 +0000372 // Owned by the host.
Chandler Carruth2ad5de12012-01-25 11:01:57 +0000373 const ToolChain &TC = getToolChain(*Args);
Chandler Carruthcb916192012-01-25 08:49:21 +0000374
Daniel Dunbar3ce436d2009-03-16 06:42:30 +0000375 // The compilation takes ownership of Args.
Chandler Carruthcb916192012-01-25 08:49:21 +0000376 Compilation *C = new Compilation(*this, TC, Args, TranslatedArgs);
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000377
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000378 if (!HandleImmediateArgs(*C))
379 return C;
380
Chad Rosierecdede82011-08-12 22:08:57 +0000381 // Construct the list of inputs.
382 InputList Inputs;
Hans Wennborged1d0722013-08-13 21:32:29 +0000383 BuildInputs(C->getDefaultToolChain(), *TranslatedArgs, Inputs);
Chad Rosierecdede82011-08-12 22:08:57 +0000384
Chandler Carruth7f1417f2012-01-24 10:43:44 +0000385 // Construct the list of abstract actions to perform for this compilation. On
Tim Northover157d9112014-01-16 08:48:16 +0000386 // MachO targets this uses the driver-driver and universal actions.
387 if (TC.getTriple().isOSBinFormatMachO())
Joerg Sonnenbergerf4961642011-03-07 01:15:29 +0000388 BuildUniversalActions(C->getDefaultToolChain(), C->getArgs(),
Chad Rosierecdede82011-08-12 22:08:57 +0000389 Inputs, C->getActions());
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000390 else
Chad Rosierecdede82011-08-12 22:08:57 +0000391 BuildActions(C->getDefaultToolChain(), C->getArgs(), Inputs,
392 C->getActions());
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000393
394 if (CCCPrintActions) {
Daniel Dunbareb843be2009-03-18 03:13:20 +0000395 PrintActions(*C);
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000396 return C;
397 }
398
399 BuildJobs(*C);
Daniel Dunbaradc91e62009-03-15 01:38:15 +0000400
401 return C;
Daniel Dunbaree66cf22009-03-10 20:52:46 +0000402}
403
Eric Christopherf901e852011-08-17 22:59:59 +0000404// When clang crashes, produce diagnostic information including the fully
405// preprocessed source file(s). Request that the developer attach the
Chad Rosierbe10f982011-08-02 17:58:04 +0000406// diagnostic information to a bug report.
407void Driver::generateCompilationDiagnostics(Compilation &C,
Justin Bognere1a33d12014-10-20 21:02:05 +0000408 const Command &FailingCommand) {
Chad Rosier877c0a22012-02-22 00:30:39 +0000409 if (C.getArgs().hasArg(options::OPT_fno_crash_diagnostics))
Chad Rosier62135492012-07-09 17:31:28 +0000410 return;
Chad Rosierbee5a1d2012-03-07 00:30:40 +0000411
Chad Rosierdbf46a12013-02-01 18:30:26 +0000412 // Don't try to generate diagnostics for link or dsymutil jobs.
Justin Bognere1a33d12014-10-20 21:02:05 +0000413 if (FailingCommand.getCreator().isLinkJob() ||
414 FailingCommand.getCreator().isDsymutilJob())
Chad Rosier877c0a22012-02-22 00:30:39 +0000415 return;
416
Chad Rosier8179f112012-06-19 17:51:34 +0000417 // Print the version of the compiler.
418 PrintVersion(C, llvm::errs());
419
Chad Rosierbe10f982011-08-02 17:58:04 +0000420 Diag(clang::diag::note_drv_command_failed_diag_msg)
Chad Rosier103e2c92012-06-19 18:39:21 +0000421 << "PLEASE submit a bug report to " BUG_REPORT_URL " and include the "
422 "crash backtrace, preprocessed source, and associated run script.";
Chad Rosierbe10f982011-08-02 17:58:04 +0000423
424 // Suppress driver output and emit preprocessor output to temp file.
Hans Wennborg70850d82013-07-18 20:29:38 +0000425 Mode = CPPMode;
Chad Rosierbe10f982011-08-02 17:58:04 +0000426 CCGenDiagnostics = true;
427
Chad Rosiercdb008d2011-11-02 21:29:05 +0000428 // Save the original job command(s).
Justin Bogner25645152014-10-21 17:24:44 +0000429 Command Cmd = FailingCommand;
Chad Rosiercdb008d2011-11-02 21:29:05 +0000430
Richard Smith5bb4cdf2012-12-20 02:22:15 +0000431 // Keep track of whether we produce any errors while trying to produce
432 // preprocessed sources.
433 DiagnosticErrorTrap Trap(Diags);
434
435 // Suppress tool output.
Chad Rosierbe10f982011-08-02 17:58:04 +0000436 C.initCompilationForDiagnostics();
Chad Rosierecdede82011-08-12 22:08:57 +0000437
438 // Construct the list of inputs.
439 InputList Inputs;
440 BuildInputs(C.getDefaultToolChain(), C.getArgs(), Inputs);
Chad Rosierbe10f982011-08-02 17:58:04 +0000441
Chad Rosier4f81fc22011-08-12 23:30:05 +0000442 for (InputList::iterator it = Inputs.begin(), ie = Inputs.end(); it != ie;) {
Chad Rosierd57133d2011-08-18 00:22:25 +0000443 bool IgnoreInput = false;
444
445 // Ignore input from stdin or any inputs that cannot be preprocessed.
Paul Robinsonf44157d2014-04-28 22:24:44 +0000446 // Check type first as not all linker inputs have a value.
447 if (types::getPreprocessedType(it->first) == types::TY_INVALID) {
448 IgnoreInput = true;
449 } else if (!strcmp(it->second->getValue(), "-")) {
Chad Rosierd57133d2011-08-18 00:22:25 +0000450 Diag(clang::diag::note_drv_command_failed_diag_msg)
451 << "Error generating preprocessed source(s) - ignoring input from stdin"
452 ".";
453 IgnoreInput = true;
Chad Rosierd57133d2011-08-18 00:22:25 +0000454 }
455
456 if (IgnoreInput) {
Chad Rosier4f81fc22011-08-12 23:30:05 +0000457 it = Inputs.erase(it);
458 ie = Inputs.end();
Chad Rosier6fdf38b2011-08-17 23:08:45 +0000459 } else {
Chad Rosier4f81fc22011-08-12 23:30:05 +0000460 ++it;
Chad Rosier6fdf38b2011-08-17 23:08:45 +0000461 }
Chad Rosier4f81fc22011-08-12 23:30:05 +0000462 }
Chad Rosierd57133d2011-08-18 00:22:25 +0000463
Chad Rosierc5103c32013-01-29 23:57:10 +0000464 if (Inputs.empty()) {
465 Diag(clang::diag::note_drv_command_failed_diag_msg)
466 << "Error generating preprocessed source(s) - no preprocessable inputs.";
467 return;
468 }
469
Chad Rosiere75ef402011-09-06 23:52:36 +0000470 // Don't attempt to generate preprocessed files if multiple -arch options are
Chad Rosier636d2832012-02-13 18:16:28 +0000471 // used, unless they're all duplicates.
472 llvm::StringSet<> ArchNames;
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000473 for (const Arg *A : C.getArgs()) {
Chad Rosiere75ef402011-09-06 23:52:36 +0000474 if (A->getOption().matches(options::OPT_arch)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000475 StringRef ArchName = A->getValue();
Chad Rosier636d2832012-02-13 18:16:28 +0000476 ArchNames.insert(ArchName);
Chad Rosiere75ef402011-09-06 23:52:36 +0000477 }
478 }
Chad Rosier636d2832012-02-13 18:16:28 +0000479 if (ArchNames.size() > 1) {
480 Diag(clang::diag::note_drv_command_failed_diag_msg)
481 << "Error generating preprocessed source(s) - cannot generate "
482 "preprocessed source with multiple -arch options.";
483 return;
484 }
Chad Rosiere75ef402011-09-06 23:52:36 +0000485
Chandler Carruth7f1417f2012-01-24 10:43:44 +0000486 // Construct the list of abstract actions to perform for this compilation. On
487 // Darwin OSes this uses the driver-driver and builds universal actions.
Chandler Carruthcb916192012-01-25 08:49:21 +0000488 const ToolChain &TC = C.getDefaultToolChain();
Tim Northover157d9112014-01-16 08:48:16 +0000489 if (TC.getTriple().isOSBinFormatMachO())
Chandler Carruthcb916192012-01-25 08:49:21 +0000490 BuildUniversalActions(TC, C.getArgs(), Inputs, C.getActions());
Chad Rosierbe10f982011-08-02 17:58:04 +0000491 else
Chandler Carruthcb916192012-01-25 08:49:21 +0000492 BuildActions(TC, C.getArgs(), Inputs, C.getActions());
Chad Rosierbe10f982011-08-02 17:58:04 +0000493
494 BuildJobs(C);
495
496 // If there were errors building the compilation, quit now.
Richard Smith5bb4cdf2012-12-20 02:22:15 +0000497 if (Trap.hasErrorOccurred()) {
Chad Rosierbe10f982011-08-02 17:58:04 +0000498 Diag(clang::diag::note_drv_command_failed_diag_msg)
499 << "Error generating preprocessed source(s).";
500 return;
501 }
502
503 // Generate preprocessed output.
Chad Rosierdd60e092013-01-29 20:15:05 +0000504 SmallVector<std::pair<int, const Command *>, 4> FailingCommands;
505 C.ExecuteJob(C.getJobs(), FailingCommands);
Chad Rosierbe10f982011-08-02 17:58:04 +0000506
Justin Bognerbc89b182014-10-20 21:20:27 +0000507 // If any of the preprocessing commands failed, clean up and exit.
508 if (!FailingCommands.empty()) {
Reid Kleckner68eb60b2015-02-02 22:41:48 +0000509 if (!isSaveTempsEnabled())
Chad Rosierbe10f982011-08-02 17:58:04 +0000510 C.CleanupFileList(C.getTempFiles(), true);
511
512 Diag(clang::diag::note_drv_command_failed_diag_msg)
513 << "Error generating preprocessed source(s).";
Justin Bognerbc89b182014-10-20 21:20:27 +0000514 return;
Chad Rosierbe10f982011-08-02 17:58:04 +0000515 }
Justin Bognerbc89b182014-10-20 21:20:27 +0000516
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000517 const ArgStringList &TempFiles = C.getTempFiles();
518 if (TempFiles.empty()) {
519 Diag(clang::diag::note_drv_command_failed_diag_msg)
520 << "Error generating preprocessed source(s).";
521 return;
522 }
523
Justin Bognerbc89b182014-10-20 21:20:27 +0000524 Diag(clang::diag::note_drv_command_failed_diag_msg)
525 << "\n********************\n\n"
526 "PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:\n"
527 "Preprocessed source(s) and associated run script(s) are located at:";
Justin Bognerbc89b182014-10-20 21:20:27 +0000528
Justin Bogner659ecc32014-10-20 22:47:23 +0000529 SmallString<128> VFS;
530 for (const char *TempFile : TempFiles) {
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000531 Diag(clang::diag::note_drv_command_failed_diag_msg) << TempFile;
Justin Bogner659ecc32014-10-20 22:47:23 +0000532 if (StringRef(TempFile).endswith(".cache")) {
533 // In some cases (modules) we'll dump extra data to help with reproducing
534 // the crash into a directory next to the output.
535 VFS = llvm::sys::path::filename(TempFile);
536 llvm::sys::path::append(VFS, "vfs", "vfs.yaml");
537 }
538 }
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000539
540 // Assume associated files are based off of the first temporary file.
Justin Bogner25645152014-10-21 17:24:44 +0000541 CrashReportInfo CrashInfo(TempFiles[0], VFS);
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000542
Justin Bogner25645152014-10-21 17:24:44 +0000543 std::string Script = CrashInfo.Filename.rsplit('.').first.str() + ".sh";
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000544 std::error_code EC;
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000545 llvm::raw_fd_ostream ScriptOS(Script, EC, llvm::sys::fs::F_Excl);
546 if (EC) {
547 Diag(clang::diag::note_drv_command_failed_diag_msg)
548 << "Error generating run script: " + Script + " " + EC.message();
549 } else {
Justin Bogner42220ed2015-03-12 00:14:35 +0000550 ScriptOS << "# Crash reproducer for " << getClangFullVersion() << "\n"
551 << "# Original command: ";
552 Cmd.Print(ScriptOS, "\n", /*Quote=*/true);
Justin Bogner33bdbc62014-10-21 18:03:08 +0000553 Cmd.Print(ScriptOS, "\n", /*Quote=*/true, &CrashInfo);
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000554 Diag(clang::diag::note_drv_command_failed_diag_msg) << Script;
Justin Bognerbc89b182014-10-20 21:20:27 +0000555 }
Saleem Abdulrasool3661a822015-01-12 02:33:09 +0000556
557 for (const auto &A : C.getArgs().filtered(options::OPT_frewrite_map_file,
558 options::OPT_frewrite_map_file_EQ))
559 Diag(clang::diag::note_drv_command_failed_diag_msg) << A->getValue();
560
Justin Bognerbc89b182014-10-20 21:20:27 +0000561 Diag(clang::diag::note_drv_command_failed_diag_msg)
562 << "\n\n********************";
Chad Rosierbe10f982011-08-02 17:58:04 +0000563}
564
Reid Kleckner0290c9c2014-09-15 17:45:39 +0000565void Driver::setUpResponseFiles(Compilation &C, Job &J) {
566 if (JobList *Jobs = dyn_cast<JobList>(&J)) {
Justin Bogneraab97922014-10-03 01:04:53 +0000567 for (auto &Job : *Jobs)
568 setUpResponseFiles(C, Job);
Reid Kleckner0290c9c2014-09-15 17:45:39 +0000569 return;
570 }
571
572 Command *CurCommand = dyn_cast<Command>(&J);
573 if (!CurCommand)
574 return;
575
576 // Since argumentsFitWithinSystemLimits() may underestimate system's capacity
577 // if the tool does not support response files, there is a chance/ that things
578 // will just work without a response file, so we silently just skip it.
579 if (CurCommand->getCreator().getResponseFilesSupport() == Tool::RF_None ||
580 llvm::sys::argumentsFitWithinSystemLimits(CurCommand->getArguments()))
581 return;
582
583 std::string TmpName = GetTemporaryPath("response", "txt");
584 CurCommand->setResponseFile(C.addTempFile(C.getArgs().MakeArgString(
585 TmpName.c_str())));
586}
587
588int Driver::ExecuteCompilation(Compilation &C,
589 SmallVectorImpl< std::pair<int, const Command *> > &FailingCommands) {
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000590 // Just print if -### was present.
591 if (C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
Hans Wennborgb212b342013-09-12 18:23:34 +0000592 C.getJobs().Print(llvm::errs(), "\n", true);
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000593 return 0;
594 }
595
596 // If there were errors building the compilation, quit now.
Chad Rosierbe10f982011-08-02 17:58:04 +0000597 if (Diags.hasErrorOccurred())
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000598 return 1;
599
Reid Kleckner0290c9c2014-09-15 17:45:39 +0000600 // Set up response file names for each command, if necessary
601 setUpResponseFiles(C, C.getJobs());
602
Chad Rosierdd60e092013-01-29 20:15:05 +0000603 C.ExecuteJob(C.getJobs(), FailingCommands);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000604
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000605 // Remove temp files.
606 C.CleanupFileList(C.getTempFiles());
607
Daniel Dunbar07494792010-05-22 00:37:20 +0000608 // If the command succeeded, we are done.
Chad Rosierdd60e092013-01-29 20:15:05 +0000609 if (FailingCommands.empty())
610 return 0;
Daniel Dunbar07494792010-05-22 00:37:20 +0000611
Chad Rosierdd60e092013-01-29 20:15:05 +0000612 // Otherwise, remove result files and print extra information about abnormal
613 // failures.
614 for (SmallVectorImpl< std::pair<int, const Command *> >::iterator it =
615 FailingCommands.begin(), ie = FailingCommands.end(); it != ie; ++it) {
616 int Res = it->first;
617 const Command *FailingCommand = it->second;
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000618
Chad Rosierdd60e092013-01-29 20:15:05 +0000619 // Remove result files if we're not saving temps.
Reid Kleckner68eb60b2015-02-02 22:41:48 +0000620 if (!isSaveTempsEnabled()) {
Chad Rosierdd60e092013-01-29 20:15:05 +0000621 const JobAction *JA = cast<JobAction>(&FailingCommand->getSource());
622 C.CleanupFileMap(C.getResultFiles(), JA, true);
623
624 // Failure result files are valid unless we crashed.
625 if (Res < 0)
626 C.CleanupFileMap(C.getFailureResultFiles(), JA, true);
627 }
628
629 // Print extra information about abnormal failures, if possible.
630 //
631 // This is ad-hoc, but we don't want to be excessively noisy. If the result
Justin Bogner5aaf2e72014-06-26 20:59:36 +0000632 // status was 1, assume the command failed normally. In particular, if it
Chad Rosierdd60e092013-01-29 20:15:05 +0000633 // was the compiler then assume it gave a reasonable error code. Failures
634 // in other tools are less common, and they generally have worse
635 // diagnostics, so always print the diagnostic there.
636 const Tool &FailingTool = FailingCommand->getCreator();
637
638 if (!FailingCommand->getCreator().hasGoodDiagnostics() || Res != 1) {
639 // FIXME: See FIXME above regarding result code interpretation.
640 if (Res < 0)
641 Diag(clang::diag::err_drv_command_signalled)
642 << FailingTool.getShortName();
643 else
644 Diag(clang::diag::err_drv_command_failed)
645 << FailingTool.getShortName() << Res;
646 }
Peter Collingbourne119cfaa2011-11-21 00:01:05 +0000647 }
Chad Rosierdd60e092013-01-29 20:15:05 +0000648 return 0;
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000649}
650
Daniel Dunbara7b5e212009-04-15 16:34:29 +0000651void Driver::PrintHelp(bool ShowHidden) const {
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000652 unsigned IncludedFlagsBitmask;
653 unsigned ExcludedFlagsBitmask;
Benjamin Kramer867ea1d2014-03-02 13:01:17 +0000654 std::tie(IncludedFlagsBitmask, ExcludedFlagsBitmask) =
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000655 getIncludeExcludeOptionFlagMasks();
656
657 ExcludedFlagsBitmask |= options::NoDriverOption;
658 if (!ShowHidden)
659 ExcludedFlagsBitmask |= HelpHidden;
660
661 getOpts().PrintHelp(llvm::outs(), Name.c_str(), DriverTitle.c_str(),
662 IncludedFlagsBitmask, ExcludedFlagsBitmask);
Daniel Dunbar7c925282009-03-31 21:38:17 +0000663}
664
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000665void Driver::PrintVersion(const Compilation &C, raw_ostream &OS) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000666 // FIXME: The following handlers should use a callback mechanism, we don't
667 // know what the client would like to do.
Ted Kremenek4c0df3d2010-01-23 02:11:34 +0000668 OS << getClangFullVersion() << '\n';
Daniel Dunbarb10248802009-03-26 16:09:13 +0000669 const ToolChain &TC = C.getDefaultToolChain();
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000670 OS << "Target: " << TC.getTripleString() << '\n';
Daniel Dunbar10978e42009-06-16 23:32:58 +0000671
672 // Print the threading model.
Jonathan Roelofsb140a102014-10-03 21:57:44 +0000673 if (Arg *A = C.getArgs().getLastArg(options::OPT_mthread_model)) {
674 // Don't print if the ToolChain would have barfed on it already
675 if (TC.isThreadModelSupported(A->getValue()))
676 OS << "Thread model: " << A->getValue();
677 } else
678 OS << "Thread model: " << TC.getThreadModel();
679 OS << '\n';
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000680}
681
Chris Lattner86ed5b02010-05-05 05:53:24 +0000682/// PrintDiagnosticCategories - Implement the --print-diagnostic-categories
683/// option.
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000684static void PrintDiagnosticCategories(raw_ostream &OS) {
Argyrios Kyrtzidis0e37afa2011-05-25 05:05:01 +0000685 // Skip the empty category.
686 for (unsigned i = 1, max = DiagnosticIDs::getNumberOfCategories();
687 i != max; ++i)
688 OS << i << ',' << DiagnosticIDs::getCategoryNameFromID(i) << '\n';
Chris Lattner86ed5b02010-05-05 05:53:24 +0000689}
690
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000691bool Driver::HandleImmediateArgs(const Compilation &C) {
Daniel Dunbar18974bd2010-06-11 22:00:19 +0000692 // The order these options are handled in gcc is all over the place, but we
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000693 // don't expect inconsistencies w.r.t. that to matter in practice.
Daniel Dunbar7c925282009-03-31 21:38:17 +0000694
Daniel Dunbar1b09e042010-09-17 02:47:28 +0000695 if (C.getArgs().hasArg(options::OPT_dumpmachine)) {
696 llvm::outs() << C.getDefaultToolChain().getTripleString() << '\n';
697 return false;
698 }
699
Daniel Dunbara9bbcfa2009-04-04 05:17:38 +0000700 if (C.getArgs().hasArg(options::OPT_dumpversion)) {
Daniel Dunbare26e5002011-01-12 00:43:47 +0000701 // Since -dumpversion is only implemented for pedantic GCC compatibility, we
702 // return an answer which matches our definition of __VERSION__.
703 //
704 // If we want to return a more correct answer some day, then we should
705 // introduce a non-pedantically GCC compatible mode to Clang in which we
706 // provide sensible definitions for -dumpversion, __VERSION__, etc.
707 llvm::outs() << "4.2.1\n";
Daniel Dunbara9bbcfa2009-04-04 05:17:38 +0000708 return false;
709 }
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000710
Chris Lattner86ed5b02010-05-05 05:53:24 +0000711 if (C.getArgs().hasArg(options::OPT__print_diagnostic_categories)) {
712 PrintDiagnosticCategories(llvm::outs());
713 return false;
714 }
Daniel Dunbara9bbcfa2009-04-04 05:17:38 +0000715
James Molloya3c85b82012-05-01 14:57:16 +0000716 if (C.getArgs().hasArg(options::OPT_help) ||
Daniel Dunbara7b5e212009-04-15 16:34:29 +0000717 C.getArgs().hasArg(options::OPT__help_hidden)) {
718 PrintHelp(C.getArgs().hasArg(options::OPT__help_hidden));
Daniel Dunbar7c925282009-03-31 21:38:17 +0000719 return false;
720 }
721
Daniel Dunbarb0006ae2009-04-02 15:05:41 +0000722 if (C.getArgs().hasArg(options::OPT__version)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000723 // Follow gcc behavior and use stdout for --version and stderr for -v.
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000724 PrintVersion(C, llvm::outs());
Daniel Dunbarb0006ae2009-04-02 15:05:41 +0000725 return false;
726 }
727
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000728 if (C.getArgs().hasArg(options::OPT_v) ||
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000729 C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000730 PrintVersion(C, llvm::errs());
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000731 SuppressMissingInputWarning = true;
732 }
733
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000734 const ToolChain &TC = C.getDefaultToolChain();
Chandler Carruth0ae39aa2013-07-30 17:57:09 +0000735
736 if (C.getArgs().hasArg(options::OPT_v))
737 TC.printVerboseInfo(llvm::errs());
738
Daniel Dunbard972e222009-03-20 04:37:21 +0000739 if (C.getArgs().hasArg(options::OPT_print_search_dirs)) {
740 llvm::outs() << "programs: =";
741 for (ToolChain::path_list::const_iterator it = TC.getProgramPaths().begin(),
742 ie = TC.getProgramPaths().end(); it != ie; ++it) {
743 if (it != TC.getProgramPaths().begin())
744 llvm::outs() << ':';
745 llvm::outs() << *it;
746 }
747 llvm::outs() << "\n";
Peter Collingbournefa9771f2011-09-06 02:08:31 +0000748 llvm::outs() << "libraries: =" << ResourceDir;
Joerg Sonnenberger9c3e69b2011-07-16 10:50:05 +0000749
Sebastian Pop980920a2012-04-16 04:16:43 +0000750 StringRef sysroot = C.getSysRoot();
Joerg Sonnenberger9c3e69b2011-07-16 10:50:05 +0000751
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000752 for (ToolChain::path_list::const_iterator it = TC.getFilePaths().begin(),
Daniel Dunbard972e222009-03-20 04:37:21 +0000753 ie = TC.getFilePaths().end(); it != ie; ++it) {
Peter Collingbournefa9771f2011-09-06 02:08:31 +0000754 llvm::outs() << ':';
Joerg Sonnenberger9c3e69b2011-07-16 10:50:05 +0000755 const char *path = it->c_str();
756 if (path[0] == '=')
757 llvm::outs() << sysroot << path + 1;
758 else
759 llvm::outs() << path;
Daniel Dunbard972e222009-03-20 04:37:21 +0000760 }
761 llvm::outs() << "\n";
Daniel Dunbar7c925282009-03-31 21:38:17 +0000762 return false;
Daniel Dunbard972e222009-03-20 04:37:21 +0000763 }
764
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000765 // FIXME: The following handlers should use a callback mechanism, we don't
766 // know what the client would like to do.
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000767 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_file_name_EQ)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000768 llvm::outs() << GetFilePath(A->getValue(), TC) << "\n";
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000769 return false;
770 }
771
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000772 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_prog_name_EQ)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000773 llvm::outs() << GetProgramPath(A->getValue(), TC) << "\n";
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000774 return false;
775 }
776
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000777 if (C.getArgs().hasArg(options::OPT_print_libgcc_file_name)) {
Daniel Dunbar1ce81532009-09-09 22:33:00 +0000778 llvm::outs() << GetFilePath("libgcc.a", TC) << "\n";
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000779 return false;
780 }
781
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000782 if (C.getArgs().hasArg(options::OPT_print_multi_lib)) {
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000783 const MultilibSet &Multilibs = TC.getMultilibs();
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000784
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000785 for (MultilibSet::const_iterator I = Multilibs.begin(), E = Multilibs.end();
786 I != E; ++I) {
787 llvm::outs() << *I << "\n";
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000788 }
789 return false;
790 }
791
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000792 if (C.getArgs().hasArg(options::OPT_print_multi_directory)) {
793 const MultilibSet &Multilibs = TC.getMultilibs();
794 for (MultilibSet::const_iterator I = Multilibs.begin(), E = Multilibs.end();
795 I != E; ++I) {
796 if (I->gccSuffix().empty())
797 llvm::outs() << ".\n";
798 else {
799 StringRef Suffix(I->gccSuffix());
800 assert(Suffix.front() == '/');
801 llvm::outs() << Suffix.substr(1) << "\n";
802 }
Jonathan Roelofs3fa96d82014-02-12 01:36:51 +0000803 }
Jonathan Roelofs0e7ec602014-02-12 01:29:25 +0000804 return false;
805 }
806
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000807 if (C.getArgs().hasArg(options::OPT_print_multi_os_directory)) {
808 // FIXME: This should print out "lib/../lib", "lib/../lib64", or
809 // "lib/../lib32" as appropriate for the toolchain. For now, print
810 // nothing because it's not supported yet.
811 return false;
812 }
813
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000814 return true;
815}
816
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000817static unsigned PrintActions1(const Compilation &C, Action *A,
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000818 std::map<Action*, unsigned> &Ids) {
819 if (Ids.count(A))
820 return Ids[A];
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000821
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000822 std::string str;
823 llvm::raw_string_ostream os(str);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000824
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000825 os << Action::getClassName(A->getKind()) << ", ";
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000826 if (InputAction *IA = dyn_cast<InputAction>(A)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000827 os << "\"" << IA->getInputArg().getValue() << "\"";
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000828 } else if (BindArchAction *BIA = dyn_cast<BindArchAction>(A)) {
Chad Rosier98ab91c2012-04-27 19:51:11 +0000829 os << '"' << BIA->getArchName() << '"'
Daniel Dunbareb843be2009-03-18 03:13:20 +0000830 << ", {" << PrintActions1(C, *BIA->begin(), Ids) << "}";
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000831 } else {
832 os << "{";
833 for (Action::iterator it = A->begin(), ie = A->end(); it != ie;) {
Daniel Dunbareb843be2009-03-18 03:13:20 +0000834 os << PrintActions1(C, *it, Ids);
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000835 ++it;
836 if (it != ie)
837 os << ", ";
838 }
839 os << "}";
840 }
841
842 unsigned Id = Ids.size();
843 Ids[A] = Id;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000844 llvm::errs() << Id << ": " << os.str() << ", "
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000845 << types::getTypeName(A->getType()) << "\n";
846
847 return Id;
848}
849
Daniel Dunbareb843be2009-03-18 03:13:20 +0000850void Driver::PrintActions(const Compilation &C) const {
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000851 std::map<Action*, unsigned> Ids;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000852 for (ActionList::const_iterator it = C.getActions().begin(),
Daniel Dunbareb843be2009-03-18 03:13:20 +0000853 ie = C.getActions().end(); it != ie; ++it)
854 PrintActions1(C, *it, Ids);
Daniel Dunbar1688f1a2009-03-12 07:58:46 +0000855}
856
Joerg Sonnenberger5fe4a7d2011-05-06 14:05:11 +0000857/// \brief Check whether the given input tree contains any compilation or
858/// assembly actions.
859static bool ContainsCompileOrAssembleAction(const Action *A) {
Bob Wilson23a55f12014-12-21 07:00:00 +0000860 if (isa<CompileJobAction>(A) ||
861 isa<BackendJobAction>(A) ||
862 isa<AssembleJobAction>(A))
Daniel Dunbar00d3d8e2010-06-29 16:38:33 +0000863 return true;
864
865 for (Action::const_iterator it = A->begin(), ie = A->end(); it != ie; ++it)
Joerg Sonnenberger5fe4a7d2011-05-06 14:05:11 +0000866 if (ContainsCompileOrAssembleAction(*it))
Daniel Dunbar00d3d8e2010-06-29 16:38:33 +0000867 return true;
868
869 return false;
870}
871
Daniel Dunbara36c2b32010-08-02 05:43:51 +0000872void Driver::BuildUniversalActions(const ToolChain &TC,
Hans Wennborg13b7fe72013-08-12 23:26:25 +0000873 DerivedArgList &Args,
Chad Rosierecdede82011-08-12 22:08:57 +0000874 const InputList &BAInputs,
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000875 ActionList &Actions) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000876 llvm::PrettyStackTraceString CrashInfo("Building universal build actions");
877 // Collect the list of architectures. Duplicates are allowed, but should only
878 // be handled once (in the order seen).
Daniel Dunbare5dc4822009-03-13 20:33:35 +0000879 llvm::StringSet<> ArchNames;
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000880 SmallVector<const char *, 4> Archs;
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000881 for (Arg *A : Args) {
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 =
Tim Northover157d9112014-01-16 08:48:16 +0000886 tools::darwin::getArchTypeForMachOArchName(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();
David Blaikie61b86d42014-11-19 02:56:13 +0000894 if (ArchNames.insert(A->getValue()).second)
Richard Smithbd55daf2012-11-01 04:30:05 +0000895 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) {
David Blaikie486f4402014-08-29 07:25:23 +0000924 Inputs.push_back(
925 new BindArchAction(std::unique_ptr<Action>(Act), Archs[i]));
Daniel Dunbar66187b32010-03-11 18:04:58 +0000926 if (i != 0)
927 Inputs.back()->setOwnsInputs(false);
928 }
Daniel Dunbarf479c122009-03-12 18:40:18 +0000929
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000930 // Lipo if necessary, we do it this way because we need to set the arch flag
931 // so that -Xarch_ gets overwritten.
Daniel Dunbarf479c122009-03-12 18:40:18 +0000932 if (Inputs.size() == 1 || Act->getType() == types::TY_Nothing)
933 Actions.append(Inputs.begin(), Inputs.end());
934 else
935 Actions.push_back(new LipoJobAction(Inputs, Act->getType()));
Daniel Dunbar6beaf512010-06-04 18:28:41 +0000936
Eric Christopher65c05fa2012-02-06 19:43:51 +0000937 // Handle debug info queries.
938 Arg *A = Args.getLastArg(options::OPT_g_Group);
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000939 if (A && !A->getOption().matches(options::OPT_g0) &&
940 !A->getOption().matches(options::OPT_gstabs) &&
941 ContainsCompileOrAssembleAction(Actions.back())) {
Chad Rosier62135492012-07-09 17:31:28 +0000942
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000943 // Add a 'dsymutil' step if necessary, when debug info is enabled and we
944 // have a compile input. We need to run 'dsymutil' ourselves in such cases
Eric Christopher776c26f2013-01-28 17:39:03 +0000945 // because the debug info will refer to a temporary object file which
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000946 // will be removed at the end of the compilation process.
947 if (Act->getType() == types::TY_Image) {
948 ActionList Inputs;
949 Inputs.push_back(Actions.back());
950 Actions.pop_back();
951 Actions.push_back(new DsymutilJobAction(Inputs, types::TY_dSYM));
Daniel Dunbar6beaf512010-06-04 18:28:41 +0000952 }
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000953
Ben Langmuir9b9a8d32014-02-06 18:53:25 +0000954 // Verify the debug info output.
Alp Tokere9d2bfc2014-01-17 02:06:23 +0000955 if (Args.hasArg(options::OPT_verify_debug_info)) {
David Blaikie486f4402014-08-29 07:25:23 +0000956 std::unique_ptr<Action> VerifyInput(Actions.back());
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000957 Actions.pop_back();
David Blaikie486f4402014-08-29 07:25:23 +0000958 Actions.push_back(new VerifyDebugInfoJobAction(std::move(VerifyInput),
Ben Langmuir9b9a8d32014-02-06 18:53:25 +0000959 types::TY_Nothing));
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000960 }
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.
Alp Toker8c8a8752013-12-03 06:53:35 +0000967static bool DiagnoseInputExistence(const Driver &D, const DerivedArgList &Args,
Hans Wennborg6ee64d52013-08-06 00:20:31 +0000968 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)) {
Yaron Keren92e1b622015-03-18 10:17:07 +0000978 if (!llvm::sys::path::is_absolute(Path)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +0000979 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
Nico Weber1f0f1652015-04-24 22:16:53 +0000988 if (D.IsCLMode() && !llvm::sys::path::is_absolute(Twine(Path)) &&
989 llvm::sys::Process::FindInEnvPath("LIB", Value))
Hans Wennborg23d26a32014-06-18 17:21:50 +0000990 return true;
991
Yaron Keren92e1b622015-03-18 10:17:07 +0000992 D.Diag(clang::diag::err_drv_no_such_file) << Path;
Hans Wennborg6ee64d52013-08-06 00:20:31 +0000993 return false;
994}
995
Chad Rosierecdede82011-08-12 22:08:57 +0000996// Construct a the list of inputs and their types.
Hans Wennborg55362852014-05-02 22:55:30 +0000997void Driver::BuildInputs(const ToolChain &TC, DerivedArgList &Args,
Chad Rosierecdede82011-08-12 22:08:57 +0000998 InputList &Inputs) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000999 // Track the current user specified (-x) input. We also explicitly track the
1000 // argument used to set the type; we only want to claim the type when we
1001 // actually use it, so we warn about unused -x arguments.
Daniel Dunbarc5a5ac52009-03-13 17:57:10 +00001002 types::ID InputType = types::TY_Nothing;
Craig Topper92fc2df2014-05-17 16:56:41 +00001003 Arg *InputTypeArg = nullptr;
Daniel Dunbarc5a5ac52009-03-13 17:57:10 +00001004
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001005 // The last /TC or /TP option sets the input type to C or C++ globally.
Ehsan Akhgaric249abb2014-09-12 21:44:24 +00001006 if (Arg *TCTP = Args.getLastArgNoClaim(options::OPT__SLASH_TC,
1007 options::OPT__SLASH_TP)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001008 InputTypeArg = TCTP;
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001009 InputType = TCTP->getOption().matches(options::OPT__SLASH_TC)
1010 ? types::TY_C : types::TY_CXX;
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001011
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001012 arg_iterator it = Args.filtered_begin(options::OPT__SLASH_TC,
1013 options::OPT__SLASH_TP);
1014 const arg_iterator ie = Args.filtered_end();
1015 Arg *Previous = *it++;
1016 bool ShowNote = false;
1017 while (it != ie) {
Hans Wennborgd9ad0682013-09-11 16:38:41 +00001018 Diag(clang::diag::warn_drv_overriding_flag_option)
1019 << Previous->getSpelling() << (*it)->getSpelling();
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001020 Previous = *it++;
1021 ShowNote = true;
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001022 }
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001023 if (ShowNote)
1024 Diag(clang::diag::note_drv_t_option_is_global);
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001025
1026 // No driver mode exposes -x and /TC or /TP; we don't support mixing them.
1027 assert(!Args.hasArg(options::OPT_x) && "-x and /TC or /TP is not allowed");
1028 }
1029
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001030 for (Arg *A : Args) {
Michael J. Spencerad3ccc32012-08-20 21:41:17 +00001031 if (A->getOption().getKind() == Option::InputClass) {
Richard Smithbd55daf2012-11-01 04:30:05 +00001032 const char *Value = A->getValue();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001033 types::ID Ty = types::TY_INVALID;
1034
1035 // Infer the input type if necessary.
Daniel Dunbarc5a5ac52009-03-13 17:57:10 +00001036 if (InputType == types::TY_Nothing) {
1037 // If there was an explicit arg for this, claim it.
1038 if (InputTypeArg)
1039 InputTypeArg->claim();
1040
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001041 // stdin must be handled specially.
1042 if (memcmp(Value, "-", 2) == 0) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001043 // If running with -E, treat as a C input (this changes the builtin
1044 // macros, for example). This may be overridden by -ObjC below.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001045 //
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001046 // Otherwise emit an error but still use a valid type to avoid
1047 // spurious errors (e.g., no inputs).
Hans Wennborg70850d82013-07-18 20:29:38 +00001048 if (!Args.hasArgNoClaim(options::OPT_E) && !CCCIsCPP())
Hans Wennborgcfdd8b52014-01-29 01:04:40 +00001049 Diag(IsCLMode() ? clang::diag::err_drv_unknown_stdin_type_clang_cl
1050 : clang::diag::err_drv_unknown_stdin_type);
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001051 Ty = types::TY_C;
1052 } else {
Joerg Sonnenbergerbdbdf702011-03-16 22:45:02 +00001053 // Otherwise lookup by extension.
1054 // Fallback is C if invoked as C preprocessor or Object otherwise.
1055 // We use a host hook here because Darwin at least has its own
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001056 // idea of what .s is.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001057 if (const char *Ext = strrchr(Value, '.'))
Daniel Dunbarcc7df6c2010-08-02 05:43:56 +00001058 Ty = TC.LookupTypeForExtension(Ext + 1);
Daniel Dunbarea9f0322009-03-20 23:39:23 +00001059
Joerg Sonnenbergerbdbdf702011-03-16 22:45:02 +00001060 if (Ty == types::TY_INVALID) {
Hans Wennborg70850d82013-07-18 20:29:38 +00001061 if (CCCIsCPP())
Joerg Sonnenbergerbdbdf702011-03-16 22:45:02 +00001062 Ty = types::TY_C;
1063 else
1064 Ty = types::TY_Object;
1065 }
Daniel Dunbar0ac94452010-02-17 20:32:58 +00001066
1067 // If the driver is invoked as C++ compiler (like clang++ or c++) it
1068 // should autodetect some input files as C++ for g++ compatibility.
Hans Wennborg70850d82013-07-18 20:29:38 +00001069 if (CCCIsCXX()) {
Daniel Dunbar0ac94452010-02-17 20:32:58 +00001070 types::ID OldTy = Ty;
1071 Ty = types::lookupCXXTypeForCType(Ty);
1072
1073 if (Ty != OldTy)
1074 Diag(clang::diag::warn_drv_treating_input_as_cxx)
1075 << getTypeName(OldTy) << getTypeName(Ty);
1076 }
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001077 }
1078
Daniel Dunbar82b22102009-05-18 21:47:54 +00001079 // -ObjC and -ObjC++ override the default language, but only for "source
1080 // files". We just treat everything that isn't a linker input as a
1081 // source file.
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001082 //
Daniel Dunbar82b22102009-05-18 21:47:54 +00001083 // FIXME: Clean this up if we move the phase sequence into the type.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001084 if (Ty != types::TY_Object) {
1085 if (Args.hasArg(options::OPT_ObjC))
1086 Ty = types::TY_ObjC;
1087 else if (Args.hasArg(options::OPT_ObjCXX))
1088 Ty = types::TY_ObjCXX;
1089 }
1090 } else {
1091 assert(InputTypeArg && "InputType set w/o InputTypeArg");
Ehsan Akhgari7e954ea2014-09-12 18:15:10 +00001092 if (!InputTypeArg->getOption().matches(options::OPT_x)) {
1093 // If emulating cl.exe, make sure that /TC and /TP don't affect input
1094 // object files.
1095 const char *Ext = strrchr(Value, '.');
1096 if (Ext && TC.LookupTypeForExtension(Ext + 1) == types::TY_Object)
1097 Ty = types::TY_Object;
1098 }
1099 if (Ty == types::TY_INVALID) {
1100 Ty = InputType;
1101 InputTypeArg->claim();
1102 }
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001103 }
1104
Alp Toker8c8a8752013-12-03 06:53:35 +00001105 if (DiagnoseInputExistence(*this, Args, Value))
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001106 Inputs.push_back(std::make_pair(Ty, A));
1107
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001108 } else if (A->getOption().matches(options::OPT__SLASH_Tc)) {
1109 StringRef Value = A->getValue();
Alp Toker8c8a8752013-12-03 06:53:35 +00001110 if (DiagnoseInputExistence(*this, Args, Value)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001111 Arg *InputArg = MakeInputArg(Args, Opts, A->getValue());
1112 Inputs.push_back(std::make_pair(types::TY_C, InputArg));
1113 }
1114 A->claim();
1115 } else if (A->getOption().matches(options::OPT__SLASH_Tp)) {
1116 StringRef Value = A->getValue();
Alp Toker8c8a8752013-12-03 06:53:35 +00001117 if (DiagnoseInputExistence(*this, Args, Value)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001118 Arg *InputArg = MakeInputArg(Args, Opts, A->getValue());
1119 Inputs.push_back(std::make_pair(types::TY_CXX, InputArg));
1120 }
1121 A->claim();
Michael J. Spencer66e2b202012-10-19 22:37:06 +00001122 } else if (A->getOption().hasFlag(options::LinkerInput)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001123 // Just treat as object type, we could make a special type for this if
1124 // necessary.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001125 Inputs.push_back(std::make_pair(types::TY_Object, A));
1126
Daniel Dunbar0bfb21e2009-11-19 03:26:40 +00001127 } else if (A->getOption().matches(options::OPT_x)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001128 InputTypeArg = A;
Richard Smithbd55daf2012-11-01 04:30:05 +00001129 InputType = types::lookupTypeForTypeSpecifier(A->getValue());
Chad Rosier706c2352012-04-07 00:01:31 +00001130 A->claim();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001131
1132 // Follow gcc behavior and treat as linker input for invalid -x
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001133 // options. Its not clear why we shouldn't just revert to unknown; but
Michael J. Spencer1a4fe8c2010-12-17 21:22:33 +00001134 // this isn't very important, we might as well be bug compatible.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001135 if (!InputType) {
Richard Smithbd55daf2012-11-01 04:30:05 +00001136 Diag(clang::diag::err_drv_unknown_language) << A->getValue();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001137 InputType = types::TY_Object;
1138 }
1139 }
1140 }
Hans Wennborg70850d82013-07-18 20:29:38 +00001141 if (CCCIsCPP() && Inputs.empty()) {
Joerg Sonnenbergerb86f5f42011-03-06 23:31:01 +00001142 // If called as standalone preprocessor, stdin is processed
1143 // if no other input is present.
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001144 Arg *A = MakeInputArg(Args, Opts, "-");
Joerg Sonnenbergerb86f5f42011-03-06 23:31:01 +00001145 Inputs.push_back(std::make_pair(types::TY_C, A));
1146 }
Chad Rosierecdede82011-08-12 22:08:57 +00001147}
1148
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001149void Driver::BuildActions(const ToolChain &TC, DerivedArgList &Args,
Chad Rosierecdede82011-08-12 22:08:57 +00001150 const InputList &Inputs, ActionList &Actions) const {
1151 llvm::PrettyStackTraceString CrashInfo("Building compilation actions");
Joerg Sonnenbergerb86f5f42011-03-06 23:31:01 +00001152
Daniel Dunbar34c41872009-03-13 00:17:48 +00001153 if (!SuppressMissingInputWarning && Inputs.empty()) {
Daniel Dunbarbfeec742009-03-12 23:55:14 +00001154 Diag(clang::diag::err_drv_no_input_files);
1155 return;
1156 }
1157
Chad Rosier7742b5d2011-07-27 23:36:45 +00001158 Arg *FinalPhaseArg;
1159 phases::ID FinalPhase = getFinalPhase(Args, &FinalPhaseArg);
Daniel Dunbarbfeec742009-03-12 23:55:14 +00001160
Rafael Espindolae8025642013-08-25 14:27:09 +00001161 if (FinalPhase == phases::Link && Args.hasArg(options::OPT_emit_llvm)) {
1162 Diag(clang::diag::err_drv_emit_llvm_link);
1163 }
1164
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001165 // Reject -Z* at the top level, these options should never have been exposed
1166 // by gcc.
Daniel Dunbardd765242009-03-26 16:12:09 +00001167 if (Arg *A = Args.getLastArg(options::OPT_Z_Joined))
Daniel Dunbar0e759942009-03-20 06:14:23 +00001168 Diag(clang::diag::err_drv_use_of_Z_option) << A->getAsString(Args);
Daniel Dunbarbfeec742009-03-12 23:55:14 +00001169
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001170 // Diagnose misuse of /Fo.
1171 if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fo)) {
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001172 StringRef V = A->getValue();
Hans Wennborg61647532014-11-17 19:16:36 +00001173 if (Inputs.size() > 1 && !V.empty() &&
1174 !llvm::sys::path::is_separator(V.back())) {
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001175 // Check whether /Fo tries to name an output file for multiple inputs.
Hans Wennborg9c1659b2013-10-18 22:49:04 +00001176 Diag(clang::diag::err_drv_out_file_argument_with_multiple_sources)
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001177 << A->getSpelling() << V;
1178 Args.eraseArg(options::OPT__SLASH_Fo);
1179 }
1180 }
1181
Hans Wennborg9c1659b2013-10-18 22:49:04 +00001182 // Diagnose misuse of /Fa.
1183 if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fa)) {
1184 StringRef V = A->getValue();
Hans Wennborg61647532014-11-17 19:16:36 +00001185 if (Inputs.size() > 1 && !V.empty() &&
1186 !llvm::sys::path::is_separator(V.back())) {
Hans Wennborg9c1659b2013-10-18 22:49:04 +00001187 // Check whether /Fa tries to name an asm file for multiple inputs.
1188 Diag(clang::diag::err_drv_out_file_argument_with_multiple_sources)
1189 << A->getSpelling() << V;
1190 Args.eraseArg(options::OPT__SLASH_Fa);
1191 }
1192 }
1193
Ehsan Akhgari81f36b72014-09-11 18:16:21 +00001194 // Diagnose misuse of /o.
1195 if (Arg *A = Args.getLastArg(options::OPT__SLASH_o)) {
1196 if (A->getValue()[0] == '\0') {
1197 // It has to have a value.
1198 Diag(clang::diag::err_drv_missing_argument) << A->getSpelling() << 1;
1199 Args.eraseArg(options::OPT__SLASH_o);
1200 }
1201 }
1202
Daniel Dunbar65229332009-03-13 11:38:42 +00001203 // Construct the actions to perform.
1204 ActionList LinkerInputs;
Alp Toker965f8822013-11-27 05:22:15 +00001205
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001206 llvm::SmallVector<phases::ID, phases::MaxNumberOfPhases> PL;
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001207 for (unsigned i = 0, e = Inputs.size(); i != e; ++i) {
Daniel Dunbar65229332009-03-13 11:38:42 +00001208 types::ID InputType = Inputs[i].first;
1209 const Arg *InputArg = Inputs[i].second;
1210
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001211 PL.clear();
1212 types::getCompilationPhases(InputType, PL);
Daniel Dunbar65229332009-03-13 11:38:42 +00001213
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001214 // If the first step comes after the final phase we are doing as part of
1215 // this compilation, warn the user about it.
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001216 phases::ID InitialPhase = PL[0];
Daniel Dunbar65229332009-03-13 11:38:42 +00001217 if (InitialPhase > FinalPhase) {
Daniel Dunbaradc5c7c2009-03-19 07:57:08 +00001218 // Claim here to avoid the more general unused warning.
1219 InputArg->claim();
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001220
Daniel Dunbar2db3e732011-04-20 15:44:48 +00001221 // Suppress all unused style warnings with -Qunused-arguments
1222 if (Args.hasArg(options::OPT_Qunused_arguments))
1223 continue;
1224
Richard Smith403f76e2012-08-06 04:09:06 +00001225 // Special case when final phase determined by binary name, rather than
1226 // by a command-line argument with a corresponding Arg.
Hans Wennborg70850d82013-07-18 20:29:38 +00001227 if (CCCIsCPP())
Richard Smith403f76e2012-08-06 04:09:06 +00001228 Diag(clang::diag::warn_drv_input_file_unused_by_cpp)
1229 << InputArg->getAsString(Args)
1230 << getPhaseName(InitialPhase);
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001231 // Special case '-E' warning on a previously preprocessed file to make
1232 // more sense.
Richard Smith403f76e2012-08-06 04:09:06 +00001233 else if (InitialPhase == phases::Compile &&
1234 FinalPhase == phases::Preprocess &&
1235 getPreprocessedType(InputType) == types::TY_INVALID)
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001236 Diag(clang::diag::warn_drv_preprocessed_input_file_unused)
1237 << InputArg->getAsString(Args)
Richard Smith403f76e2012-08-06 04:09:06 +00001238 << !!FinalPhaseArg
Richard Smith5b5d21e2014-03-12 23:36:42 +00001239 << (FinalPhaseArg ? FinalPhaseArg->getOption().getName() : "");
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001240 else
1241 Diag(clang::diag::warn_drv_input_file_unused)
1242 << InputArg->getAsString(Args)
1243 << getPhaseName(InitialPhase)
Richard Smith403f76e2012-08-06 04:09:06 +00001244 << !!FinalPhaseArg
Richard Smith5b5d21e2014-03-12 23:36:42 +00001245 << (FinalPhaseArg ? FinalPhaseArg->getOption().getName() : "");
Daniel Dunbar65229332009-03-13 11:38:42 +00001246 continue;
1247 }
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001248
Daniel Dunbar65229332009-03-13 11:38:42 +00001249 // Build the pipeline for this file.
Ahmed Charlesb8984322014-03-07 20:03:18 +00001250 std::unique_ptr<Action> Current(new InputAction(*InputArg, InputType));
Craig Topper2341c0d2013-07-04 03:08:24 +00001251 for (SmallVectorImpl<phases::ID>::iterator
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001252 i = PL.begin(), e = PL.end(); i != e; ++i) {
1253 phases::ID Phase = *i;
Daniel Dunbar65229332009-03-13 11:38:42 +00001254
1255 // We are done if this step is past what the user requested.
1256 if (Phase > FinalPhase)
1257 break;
1258
1259 // Queue linker inputs.
1260 if (Phase == phases::Link) {
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001261 assert((i + 1) == e && "linking must be final compilation step.");
Ahmed Charles9a16beb2014-03-07 19:33:25 +00001262 LinkerInputs.push_back(Current.release());
Daniel Dunbar65229332009-03-13 11:38:42 +00001263 break;
1264 }
1265
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001266 // Some types skip the assembler phase (e.g., llvm-bc), but we can't
1267 // encode this in the steps because the intermediate type depends on
1268 // arguments. Just special case here.
Daniel Dunbar13864952009-03-24 20:17:30 +00001269 if (Phase == phases::Assemble && Current->getType() != types::TY_PP_Asm)
1270 continue;
1271
Daniel Dunbar65229332009-03-13 11:38:42 +00001272 // Otherwise construct the appropriate action.
Peter Collingbournea4ccff32015-02-20 20:30:56 +00001273 Current = ConstructPhaseAction(TC, Args, Phase, std::move(Current));
Daniel Dunbar65229332009-03-13 11:38:42 +00001274 if (Current->getType() == types::TY_Nothing)
1275 break;
1276 }
1277
1278 // If we ended with something, add to the output list.
1279 if (Current)
Ahmed Charles9a16beb2014-03-07 19:33:25 +00001280 Actions.push_back(Current.release());
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001281 }
Daniel Dunbar65229332009-03-13 11:38:42 +00001282
1283 // Add a link action if necessary.
1284 if (!LinkerInputs.empty())
1285 Actions.push_back(new LinkJobAction(LinkerInputs, types::TY_Image));
Daniel Dunbarc7a67b72009-12-22 23:19:32 +00001286
1287 // If we are linking, claim any options which are obviously only used for
1288 // compilation.
Hans Wennborga8ef14f2013-09-17 00:03:41 +00001289 if (FinalPhase == phases::Link && PL.size() == 1) {
Daniel Dunbarc7a67b72009-12-22 23:19:32 +00001290 Args.ClaimAllArgs(options::OPT_CompileOnly_Group);
Hans Wennborga8ef14f2013-09-17 00:03:41 +00001291 Args.ClaimAllArgs(options::OPT_cl_compile_Group);
1292 }
1293
1294 // Claim ignored clang-cl options.
1295 Args.ClaimAllArgs(options::OPT_cl_ignored_Group);
Daniel Dunbar65229332009-03-13 11:38:42 +00001296}
1297
David Blaikie486f4402014-08-29 07:25:23 +00001298std::unique_ptr<Action>
Peter Collingbournea4ccff32015-02-20 20:30:56 +00001299Driver::ConstructPhaseAction(const ToolChain &TC, const ArgList &Args,
1300 phases::ID Phase,
David Blaikie486f4402014-08-29 07:25:23 +00001301 std::unique_ptr<Action> Input) const {
Daniel Dunbar2608c542009-03-18 01:38:48 +00001302 llvm::PrettyStackTraceString CrashInfo("Constructing phase actions");
Daniel Dunbar65229332009-03-13 11:38:42 +00001303 // Build the appropriate action.
1304 switch (Phase) {
David Blaikie83d382b2011-09-23 05:06:16 +00001305 case phases::Link: llvm_unreachable("link action invalid here.");
Daniel Dunbar65229332009-03-13 11:38:42 +00001306 case phases::Preprocess: {
Daniel Dunbard67a3222009-03-30 06:36:42 +00001307 types::ID OutputTy;
1308 // -{M, MM} alter the output type.
Daniel Dunbar86aed7d2010-12-08 21:33:40 +00001309 if (Args.hasArg(options::OPT_M, options::OPT_MM)) {
Daniel Dunbard67a3222009-03-30 06:36:42 +00001310 OutputTy = types::TY_Dependencies;
1311 } else {
David Blaikie5d577a22012-06-29 22:03:56 +00001312 OutputTy = Input->getType();
1313 if (!Args.hasFlag(options::OPT_frewrite_includes,
Justin Bognerce8245b2014-06-24 08:01:01 +00001314 options::OPT_fno_rewrite_includes, false) &&
1315 !CCGenDiagnostics)
David Blaikie5d577a22012-06-29 22:03:56 +00001316 OutputTy = types::getPreprocessedType(OutputTy);
Daniel Dunbard67a3222009-03-30 06:36:42 +00001317 assert(OutputTy != types::TY_INVALID &&
1318 "Cannot preprocess this input type!");
1319 }
David Blaikie486f4402014-08-29 07:25:23 +00001320 return llvm::make_unique<PreprocessJobAction>(std::move(Input), OutputTy);
Daniel Dunbar65229332009-03-13 11:38:42 +00001321 }
Aaron Ballman1f10cc52012-07-31 01:21:00 +00001322 case phases::Precompile: {
1323 types::ID OutputTy = types::TY_PCH;
1324 if (Args.hasArg(options::OPT_fsyntax_only)) {
1325 // Syntax checks should not emit a PCH file
1326 OutputTy = types::TY_Nothing;
1327 }
David Blaikie486f4402014-08-29 07:25:23 +00001328 return llvm::make_unique<PrecompileJobAction>(std::move(Input), OutputTy);
Aaron Ballman1f10cc52012-07-31 01:21:00 +00001329 }
Daniel Dunbar65229332009-03-13 11:38:42 +00001330 case phases::Compile: {
David Blaikie486f4402014-08-29 07:25:23 +00001331 if (Args.hasArg(options::OPT_fsyntax_only))
1332 return llvm::make_unique<CompileJobAction>(std::move(Input),
1333 types::TY_Nothing);
1334 if (Args.hasArg(options::OPT_rewrite_objc))
1335 return llvm::make_unique<CompileJobAction>(std::move(Input),
1336 types::TY_RewrittenObjC);
1337 if (Args.hasArg(options::OPT_rewrite_legacy_objc))
1338 return llvm::make_unique<CompileJobAction>(std::move(Input),
1339 types::TY_RewrittenLegacyObjC);
1340 if (Args.hasArg(options::OPT__analyze, options::OPT__analyze_auto))
1341 return llvm::make_unique<AnalyzeJobAction>(std::move(Input),
1342 types::TY_Plist);
1343 if (Args.hasArg(options::OPT__migrate))
1344 return llvm::make_unique<MigrateJobAction>(std::move(Input),
1345 types::TY_Remap);
1346 if (Args.hasArg(options::OPT_emit_ast))
1347 return llvm::make_unique<CompileJobAction>(std::move(Input),
1348 types::TY_AST);
1349 if (Args.hasArg(options::OPT_module_file_info))
1350 return llvm::make_unique<CompileJobAction>(std::move(Input),
1351 types::TY_ModuleFile);
1352 if (Args.hasArg(options::OPT_verify_pch))
1353 return llvm::make_unique<VerifyPCHJobAction>(std::move(Input),
1354 types::TY_Nothing);
Bob Wilson23a55f12014-12-21 07:00:00 +00001355 return llvm::make_unique<CompileJobAction>(std::move(Input),
1356 types::TY_LLVM_BC);
1357 }
1358 case phases::Backend: {
Peter Collingbournea4ccff32015-02-20 20:30:56 +00001359 if (IsUsingLTO(TC, Args)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001360 types::ID Output =
Daniel Dunbar24e52992010-06-07 23:28:45 +00001361 Args.hasArg(options::OPT_S) ? types::TY_LTO_IR : types::TY_LTO_BC;
Bob Wilson23a55f12014-12-21 07:00:00 +00001362 return llvm::make_unique<BackendJobAction>(std::move(Input), Output);
David Blaikie486f4402014-08-29 07:25:23 +00001363 }
1364 if (Args.hasArg(options::OPT_emit_llvm)) {
Shuxin Yang4b3c7ff2013-08-23 21:34:57 +00001365 types::ID Output =
1366 Args.hasArg(options::OPT_S) ? types::TY_LLVM_IR : types::TY_LLVM_BC;
Bob Wilson23a55f12014-12-21 07:00:00 +00001367 return llvm::make_unique<BackendJobAction>(std::move(Input), Output);
Daniel Dunbar65229332009-03-13 11:38:42 +00001368 }
Bob Wilson23a55f12014-12-21 07:00:00 +00001369 return llvm::make_unique<BackendJobAction>(std::move(Input),
David Blaikie486f4402014-08-29 07:25:23 +00001370 types::TY_PP_Asm);
Daniel Dunbar65229332009-03-13 11:38:42 +00001371 }
1372 case phases::Assemble:
David Blaikie486f4402014-08-29 07:25:23 +00001373 return llvm::make_unique<AssembleJobAction>(std::move(Input),
1374 types::TY_Object);
Daniel Dunbar65229332009-03-13 11:38:42 +00001375 }
1376
David Blaikie83d382b2011-09-23 05:06:16 +00001377 llvm_unreachable("invalid phase in ConstructPhaseAction");
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001378}
1379
Peter Collingbournea4ccff32015-02-20 20:30:56 +00001380bool Driver::IsUsingLTO(const ToolChain &TC, const ArgList &Args) const {
1381 if (TC.getSanitizerArgs().needsLTO())
1382 return true;
1383
Shuxin Yang4b3c7ff2013-08-23 21:34:57 +00001384 if (Args.hasFlag(options::OPT_flto, options::OPT_fno_lto, false))
Daniel Dunbar8f1fe5b2011-06-21 20:55:08 +00001385 return true;
1386
Daniel Dunbar8f1fe5b2011-06-21 20:55:08 +00001387 return false;
1388}
1389
Daniel Dunbarf0eddb82009-03-18 02:55:38 +00001390void Driver::BuildJobs(Compilation &C) const {
Daniel Dunbar2608c542009-03-18 01:38:48 +00001391 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
Daniel Dunbare75d8342009-03-16 06:56:51 +00001392
1393 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
1394
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001395 // It is an error to provide a -o option if we are making multiple output
1396 // files.
Daniel Dunbare75d8342009-03-16 06:56:51 +00001397 if (FinalOutput) {
1398 unsigned NumOutputs = 0;
Saleem Abdulrasoolda3f4e52014-12-29 21:02:47 +00001399 for (const Action *A : C.getActions())
1400 if (A->getType() != types::TY_Nothing)
Daniel Dunbare75d8342009-03-16 06:56:51 +00001401 ++NumOutputs;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001402
Daniel Dunbare75d8342009-03-16 06:56:51 +00001403 if (NumOutputs > 1) {
1404 Diag(clang::diag::err_drv_output_argument_with_multiple_files);
Craig Topper92fc2df2014-05-17 16:56:41 +00001405 FinalOutput = nullptr;
Daniel Dunbare75d8342009-03-16 06:56:51 +00001406 }
1407 }
1408
Chad Rosier35767232013-04-30 22:01:21 +00001409 // Collect the list of architectures.
1410 llvm::StringSet<> ArchNames;
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001411 if (C.getDefaultToolChain().getTriple().isOSBinFormatMachO())
1412 for (const Arg *A : C.getArgs())
Chad Rosier35767232013-04-30 22:01:21 +00001413 if (A->getOption().matches(options::OPT_arch))
1414 ArchNames.insert(A->getValue());
Chad Rosier35767232013-04-30 22:01:21 +00001415
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001416 for (Action *A : C.getActions()) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001417 // If we are linking an image for multiple archs then the linker wants
1418 // -arch_multiple and -final_output <final image name>. Unfortunately, this
1419 // doesn't fit in cleanly because we have to pass this information down.
Daniel Dunbare75d8342009-03-16 06:56:51 +00001420 //
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001421 // FIXME: This is a hack; find a cleaner way to integrate this into the
1422 // process.
Craig Topper92fc2df2014-05-17 16:56:41 +00001423 const char *LinkingOutput = nullptr;
Daniel Dunbardd765242009-03-26 16:12:09 +00001424 if (isa<LipoJobAction>(A)) {
Daniel Dunbare75d8342009-03-16 06:56:51 +00001425 if (FinalOutput)
Richard Smithbd55daf2012-11-01 04:30:05 +00001426 LinkingOutput = FinalOutput->getValue();
Daniel Dunbare75d8342009-03-16 06:56:51 +00001427 else
Hans Wennborga7707222015-01-09 17:38:53 +00001428 LinkingOutput = getDefaultImageName();
Daniel Dunbare75d8342009-03-16 06:56:51 +00001429 }
1430
1431 InputInfo II;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001432 BuildJobsForAction(C, A, &C.getDefaultToolChain(),
Craig Topper92fc2df2014-05-17 16:56:41 +00001433 /*BoundArch*/nullptr,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001434 /*AtTopLevel*/ true,
Chad Rosier35767232013-04-30 22:01:21 +00001435 /*MultipleArchs*/ ArchNames.size() > 1,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001436 /*LinkingOutput*/ LinkingOutput,
1437 II);
1438 }
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001439
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001440 // If the user passed -Qunused-arguments or there were errors, don't warn
1441 // about any unused arguments.
Argyrios Kyrtzidis31448a42010-11-18 21:47:07 +00001442 if (Diags.hasErrorOccurred() ||
Daniel Dunbara3cfbe32009-04-07 19:04:18 +00001443 C.getArgs().hasArg(options::OPT_Qunused_arguments))
Daniel Dunbard175d972009-03-18 18:03:46 +00001444 return;
1445
Daniel Dunbar58399ae2009-03-29 22:24:54 +00001446 // Claim -### here.
1447 (void) C.getArgs().hasArg(options::OPT__HASH_HASH_HASH);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001448
Hans Wennborg70850d82013-07-18 20:29:38 +00001449 // Claim --driver-mode, it was handled earlier.
1450 (void) C.getArgs().hasArg(options::OPT_driver_mode);
1451
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001452 for (Arg *A : C.getArgs()) {
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001453 // FIXME: It would be nice to be able to send the argument to the
David Blaikie9c902b52011-09-25 23:23:43 +00001454 // DiagnosticsEngine, so that extra values, position, and so on could be
1455 // printed.
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001456 if (!A->isClaimed()) {
Michael J. Spencer66e2b202012-10-19 22:37:06 +00001457 if (A->getOption().hasFlag(options::NoArgumentUnused))
Daniel Dunbara3cfbe32009-04-07 19:04:18 +00001458 continue;
1459
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001460 // Suppress the warning automatically if this is just a flag, and it is an
1461 // instance of an argument we already claimed.
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001462 const Option &Opt = A->getOption();
Michael J. Spencerad3ccc32012-08-20 21:41:17 +00001463 if (Opt.getKind() == Option::FlagClass) {
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001464 bool DuplicateClaimed = false;
1465
Sean Silva14facf32015-06-09 01:57:17 +00001466 for (const Arg *AA : C.getArgs().filtered(&Opt)) {
1467 if (AA->isClaimed()) {
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001468 DuplicateClaimed = true;
1469 break;
1470 }
1471 }
1472
1473 if (DuplicateClaimed)
1474 continue;
1475 }
1476
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001477 Diag(clang::diag::warn_drv_unused_argument)
Daniel Dunbar0e759942009-03-20 06:14:23 +00001478 << A->getAsString(C.getArgs());
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001479 }
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001480 }
Daniel Dunbar95e6b192009-03-13 22:12:33 +00001481}
1482
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001483static const Tool *SelectToolForJob(Compilation &C, bool SaveTemps,
1484 const ToolChain *TC, const JobAction *JA,
Daniel Dunbarc4343942010-02-03 03:07:56 +00001485 const ActionList *&Inputs) {
Craig Topper92fc2df2014-05-17 16:56:41 +00001486 const Tool *ToolForJob = nullptr;
Daniel Dunbarc4343942010-02-03 03:07:56 +00001487
1488 // See if we should look for a compiler with an integrated assembler. We match
1489 // bottom up, so what we are actually looking for is an assembler job with a
Reid Klecknerda0acc82014-12-18 23:07:04 +00001490 // compiler input.
Daniel Dunbarf9ff3502010-05-14 02:03:00 +00001491
Rafael Espindola84b588b2013-03-18 18:10:27 +00001492 if (TC->useIntegratedAs() &&
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001493 !SaveTemps &&
David Peixotto3e325d72013-12-06 20:27:33 +00001494 !C.getArgs().hasArg(options::OPT_via_file_asm) &&
Hans Wennborg2c21f742013-10-17 16:16:23 +00001495 !C.getArgs().hasArg(options::OPT__SLASH_FA) &&
1496 !C.getArgs().hasArg(options::OPT__SLASH_Fa) &&
Daniel Dunbarc4343942010-02-03 03:07:56 +00001497 isa<AssembleJobAction>(JA) &&
Bob Wilson23a55f12014-12-21 07:00:00 +00001498 Inputs->size() == 1 && isa<BackendJobAction>(*Inputs->begin())) {
1499 // A BackendJob is always preceded by a CompileJob, and without
1500 // -save-temps they will always get combined together, so instead of
1501 // checking the backend tool, check if the tool for the CompileJob
1502 // has an integrated assembler.
1503 const ActionList *BackendInputs = &(*Inputs)[0]->getInputs();
1504 JobAction *CompileJA = cast<CompileJobAction>(*BackendInputs->begin());
1505 const Tool *Compiler = TC->SelectTool(*CompileJA);
Rafael Espindola79764462013-03-24 15:06:53 +00001506 if (!Compiler)
Craig Topper92fc2df2014-05-17 16:56:41 +00001507 return nullptr;
Rafael Espindola79764462013-03-24 15:06:53 +00001508 if (Compiler->hasIntegratedAssembler()) {
Bob Wilson23a55f12014-12-21 07:00:00 +00001509 Inputs = &(*BackendInputs)[0]->getInputs();
1510 ToolForJob = Compiler;
1511 }
1512 }
1513
1514 // A backend job should always be combined with the preceding compile job
1515 // unless OPT_save_temps is enabled and the compiler is capable of emitting
1516 // LLVM IR as an intermediate output.
1517 if (isa<BackendJobAction>(JA)) {
1518 // Check if the compiler supports emitting LLVM IR.
1519 assert(Inputs->size() == 1);
1520 JobAction *CompileJA = cast<CompileJobAction>(*Inputs->begin());
1521 const Tool *Compiler = TC->SelectTool(*CompileJA);
1522 if (!Compiler)
1523 return nullptr;
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001524 if (!Compiler->canEmitIR() || !SaveTemps) {
Daniel Dunbarc4343942010-02-03 03:07:56 +00001525 Inputs = &(*Inputs)[0]->getInputs();
Rafael Espindola79764462013-03-24 15:06:53 +00001526 ToolForJob = Compiler;
Daniel Dunbarc4343942010-02-03 03:07:56 +00001527 }
1528 }
1529
1530 // Otherwise use the tool for the current job.
1531 if (!ToolForJob)
Rafael Espindola79764462013-03-24 15:06:53 +00001532 ToolForJob = TC->SelectTool(*JA);
Daniel Dunbarc4343942010-02-03 03:07:56 +00001533
1534 // See if we should use an integrated preprocessor. We do so when we have
1535 // exactly one input, since this is the only use case we care about
1536 // (irrelevant since we don't support combine yet).
1537 if (Inputs->size() == 1 && isa<PreprocessJobAction>(*Inputs->begin()) &&
1538 !C.getArgs().hasArg(options::OPT_no_integrated_cpp) &&
1539 !C.getArgs().hasArg(options::OPT_traditional_cpp) &&
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001540 !SaveTemps &&
Fariborz Jahanian659bc4a2012-09-28 19:05:17 +00001541 !C.getArgs().hasArg(options::OPT_rewrite_objc) &&
Daniel Dunbarc4343942010-02-03 03:07:56 +00001542 ToolForJob->hasIntegratedCPP())
1543 Inputs = &(*Inputs)[0]->getInputs();
1544
Rafael Espindola79764462013-03-24 15:06:53 +00001545 return ToolForJob;
Daniel Dunbarc4343942010-02-03 03:07:56 +00001546}
1547
Daniel Dunbare75d8342009-03-16 06:56:51 +00001548void Driver::BuildJobsForAction(Compilation &C,
1549 const Action *A,
1550 const ToolChain *TC,
Daniel Dunbarb5d86bb2009-09-09 18:36:01 +00001551 const char *BoundArch,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001552 bool AtTopLevel,
Chad Rosier35767232013-04-30 22:01:21 +00001553 bool MultipleArchs,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001554 const char *LinkingOutput,
1555 InputInfo &Result) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001556 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
Daniel Dunbarc4acf9d2009-03-18 23:18:19 +00001557
Daniel Dunbare75d8342009-03-16 06:56:51 +00001558 if (const InputAction *IA = dyn_cast<InputAction>(A)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001559 // FIXME: It would be nice to not claim this here; maybe the old scheme of
1560 // just using Args was better?
Daniel Dunbar5cdf3e02009-03-19 07:29:38 +00001561 const Arg &Input = IA->getInputArg();
1562 Input.claim();
Daniel Dunbar35cbfeb2010-06-09 22:31:08 +00001563 if (Input.getOption().matches(options::OPT_INPUT)) {
Richard Smithbd55daf2012-11-01 04:30:05 +00001564 const char *Name = Input.getValue();
Daniel Dunbar5cdf3e02009-03-19 07:29:38 +00001565 Result = InputInfo(Name, A->getType(), Name);
1566 } else
1567 Result = InputInfo(&Input, A->getType(), "");
Daniel Dunbare75d8342009-03-16 06:56:51 +00001568 return;
1569 }
1570
1571 if (const BindArchAction *BAA = dyn_cast<BindArchAction>(A)) {
Chad Rosiera78a6eb2012-04-27 16:50:38 +00001572 const ToolChain *TC;
Chad Rosier631fa102012-04-27 16:48:16 +00001573 const char *ArchName = BAA->getArchName();
Daniel Dunbar1ef3f2a2009-09-08 23:37:19 +00001574
Chad Rosier631fa102012-04-27 16:48:16 +00001575 if (ArchName)
1576 TC = &getToolChain(C.getArgs(), ArchName);
Chad Rosiera78a6eb2012-04-27 16:50:38 +00001577 else
1578 TC = &C.getDefaultToolChain();
Daniel Dunbar1ef3f2a2009-09-08 23:37:19 +00001579
Daniel Dunbarb5d86bb2009-09-09 18:36:01 +00001580 BuildJobsForAction(C, *BAA->begin(), TC, BAA->getArchName(),
Chad Rosier35767232013-04-30 22:01:21 +00001581 AtTopLevel, MultipleArchs, LinkingOutput, Result);
Daniel Dunbare75d8342009-03-16 06:56:51 +00001582 return;
1583 }
1584
Daniel Dunbare75d8342009-03-16 06:56:51 +00001585 const ActionList *Inputs = &A->getInputs();
Daniel Dunbarc4343942010-02-03 03:07:56 +00001586
1587 const JobAction *JA = cast<JobAction>(A);
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001588 const Tool *T = SelectToolForJob(C, isSaveTempsEnabled(), TC, JA, Inputs);
Rafael Espindola79764462013-03-24 15:06:53 +00001589 if (!T)
1590 return;
Daniel Dunbare75d8342009-03-16 06:56:51 +00001591
1592 // Only use pipes when there is exactly one input.
Daniel Dunbar1a093d22009-03-18 06:00:36 +00001593 InputInfoList InputInfos;
Saleem Abdulrasoolda3f4e52014-12-29 21:02:47 +00001594 for (const Action *Input : *Inputs) {
Eric Christopher14668dd2013-02-18 00:38:25 +00001595 // Treat dsymutil and verify sub-jobs as being at the top-level too, they
1596 // shouldn't get temporary output names.
Daniel Dunbar6beaf512010-06-04 18:28:41 +00001597 // FIXME: Clean this up.
1598 bool SubJobAtTopLevel = false;
Eric Christopher14668dd2013-02-18 00:38:25 +00001599 if (AtTopLevel && (isa<DsymutilJobAction>(A) || isa<VerifyJobAction>(A)))
Eric Christopher551ef452011-08-23 17:56:55 +00001600 SubJobAtTopLevel = true;
1601
Daniel Dunbare75d8342009-03-16 06:56:51 +00001602 InputInfo II;
Saleem Abdulrasoolda3f4e52014-12-29 21:02:47 +00001603 BuildJobsForAction(C, Input, TC, BoundArch, SubJobAtTopLevel, MultipleArchs,
Chad Rosier35767232013-04-30 22:01:21 +00001604 LinkingOutput, II);
Daniel Dunbare75d8342009-03-16 06:56:51 +00001605 InputInfos.push_back(II);
1606 }
1607
Daniel Dunbare75d8342009-03-16 06:56:51 +00001608 // Always use the first input as the base input.
1609 const char *BaseInput = InputInfos[0].getBaseInput();
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001610
Daniel Dunbar6beaf512010-06-04 18:28:41 +00001611 // ... except dsymutil actions, which use their actual input as the base
1612 // input.
1613 if (JA->getType() == types::TY_dSYM)
1614 BaseInput = InputInfos[0].getFilename();
1615
Daniel Dunbard00272f2010-08-02 02:38:15 +00001616 // Determine the place to write output to, if any.
Eric Christopher2ba5fcb2013-02-05 07:29:57 +00001617 if (JA->getType() == types::TY_Nothing)
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001618 Result = InputInfo(A->getType(), BaseInput);
Eric Christopher2ba5fcb2013-02-05 07:29:57 +00001619 else
Chad Rosier35767232013-04-30 22:01:21 +00001620 Result = InputInfo(GetNamedOutputPath(C, *JA, BaseInput, BoundArch,
1621 AtTopLevel, MultipleArchs),
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001622 A->getType(), BaseInput);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001623
Chad Rosierbe10f982011-08-02 17:58:04 +00001624 if (CCCPrintBindings && !CCGenDiagnostics) {
Rafael Espindola79764462013-03-24 15:06:53 +00001625 llvm::errs() << "# \"" << T->getToolChain().getTripleString() << '"'
1626 << " - \"" << T->getName() << "\", inputs: [";
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001627 for (unsigned i = 0, e = InputInfos.size(); i != e; ++i) {
1628 llvm::errs() << InputInfos[i].getAsString();
1629 if (i + 1 != e)
1630 llvm::errs() << ", ";
1631 }
1632 llvm::errs() << "], output: " << Result.getAsString() << "\n";
1633 } else {
Rafael Espindola79764462013-03-24 15:06:53 +00001634 T->ConstructJob(C, *JA, Result, InputInfos,
1635 C.getArgsForToolChain(TC, BoundArch), LinkingOutput);
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001636 }
Daniel Dunbare75d8342009-03-16 06:56:51 +00001637}
1638
Hans Wennborga7707222015-01-09 17:38:53 +00001639const char *Driver::getDefaultImageName() const {
1640 llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple));
1641 return Target.isOSWindows() ? "a.exe" : "a.out";
1642}
1643
Hans Wennborg2c21f742013-10-17 16:16:23 +00001644/// \brief Create output filename based on ArgValue, which could either be a
1645/// full filename, filename without extension, or a directory. If ArgValue
1646/// does not provide a filename, then use BaseName, and use the extension
1647/// suitable for FileType.
Hans Wennborg207fcf02013-08-12 21:56:42 +00001648static const char *MakeCLOutputFilename(const ArgList &Args, StringRef ArgValue,
1649 StringRef BaseName, types::ID FileType) {
1650 SmallString<128> Filename = ArgValue;
Justin Bogner5aaf2e72014-06-26 20:59:36 +00001651
Hans Wennborgf1a74252013-09-10 20:18:04 +00001652 if (ArgValue.empty()) {
1653 // If the argument is empty, output to BaseName in the current dir.
1654 Filename = BaseName;
1655 } else if (llvm::sys::path::is_separator(Filename.back())) {
Hans Wennborg207fcf02013-08-12 21:56:42 +00001656 // If the argument is a directory, output to BaseName in that dir.
1657 llvm::sys::path::append(Filename, BaseName);
1658 }
1659
1660 if (!llvm::sys::path::has_extension(ArgValue)) {
1661 // If the argument didn't provide an extension, then set it.
1662 const char *Extension = types::getTypeTempSuffix(FileType, true);
Hans Wennborgf1a74252013-09-10 20:18:04 +00001663
1664 if (FileType == types::TY_Image &&
1665 Args.hasArg(options::OPT__SLASH_LD, options::OPT__SLASH_LDd)) {
1666 // The output file is a dll.
1667 Extension = "dll";
1668 }
1669
Hans Wennborg207fcf02013-08-12 21:56:42 +00001670 llvm::sys::path::replace_extension(Filename, Extension);
1671 }
1672
1673 return Args.MakeArgString(Filename.c_str());
1674}
1675
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001676const char *Driver::GetNamedOutputPath(Compilation &C,
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001677 const JobAction &JA,
1678 const char *BaseInput,
Chad Rosier35767232013-04-30 22:01:21 +00001679 const char *BoundArch,
1680 bool AtTopLevel,
1681 bool MultipleArchs) const {
Daniel Dunbar2608c542009-03-18 01:38:48 +00001682 llvm::PrettyStackTraceString CrashInfo("Computing output path");
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001683 // Output to a user requested destination?
Eric Christopher551ef452011-08-23 17:56:55 +00001684 if (AtTopLevel && !isa<DsymutilJobAction>(JA) &&
1685 !isa<VerifyJobAction>(JA)) {
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001686 if (Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o))
Chad Rosier633dcdc2013-01-24 19:14:47 +00001687 return C.addResultFile(FinalOutput->getValue(), &JA);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001688 }
1689
Hans Wennborge0053472013-12-20 18:40:46 +00001690 // For /P, preprocess to file named after BaseInput.
1691 if (C.getArgs().hasArg(options::OPT__SLASH_P)) {
1692 assert(AtTopLevel && isa<PreprocessJobAction>(JA));
1693 StringRef BaseName = llvm::sys::path::filename(BaseInput);
Hans Wennborg04c764f2014-06-17 00:19:12 +00001694 StringRef NameArg;
Greg Bedwell065f70a2015-06-09 10:24:06 +00001695 if (Arg *A = C.getArgs().getLastArg(options::OPT__SLASH_Fi))
Hans Wennborg04c764f2014-06-17 00:19:12 +00001696 NameArg = A->getValue();
1697 return C.addResultFile(MakeCLOutputFilename(C.getArgs(), NameArg, BaseName,
Hans Wennborge0053472013-12-20 18:40:46 +00001698 types::TY_PP_C), &JA);
1699 }
1700
Nick Lewycky6e1ce292010-09-24 00:46:53 +00001701 // Default to writing to stdout?
Douglas Gregorbf7fc9c2013-03-27 16:47:18 +00001702 if (AtTopLevel && !CCGenDiagnostics &&
1703 (isa<PreprocessJobAction>(JA) || JA.getType() == types::TY_ModuleFile))
Nick Lewycky6e1ce292010-09-24 00:46:53 +00001704 return "-";
1705
Hans Wennborg2c21f742013-10-17 16:16:23 +00001706 // Is this the assembly listing for /FA?
1707 if (JA.getType() == types::TY_PP_Asm &&
1708 (C.getArgs().hasArg(options::OPT__SLASH_FA) ||
1709 C.getArgs().hasArg(options::OPT__SLASH_Fa))) {
1710 // Use /Fa and the input filename to determine the asm file name.
1711 StringRef BaseName = llvm::sys::path::filename(BaseInput);
1712 StringRef FaValue = C.getArgs().getLastArgValue(options::OPT__SLASH_Fa);
1713 return C.addResultFile(MakeCLOutputFilename(C.getArgs(), FaValue, BaseName,
1714 JA.getType()), &JA);
1715 }
1716
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001717 // Output to a temporary file?
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001718 if ((!AtTopLevel && !isSaveTempsEnabled() &&
Hans Wennborg2b89a262013-08-06 22:11:28 +00001719 !C.getArgs().hasArg(options::OPT__SLASH_Fo)) ||
Chad Rosierbe10f982011-08-02 17:58:04 +00001720 CCGenDiagnostics) {
Chad Rosier97c37372011-08-26 22:27:02 +00001721 StringRef Name = llvm::sys::path::filename(BaseInput);
1722 std::pair<StringRef, StringRef> Split = Name.split('.');
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001723 std::string TmpName =
Hans Wennborg0a0faa92013-08-07 00:32:15 +00001724 GetTemporaryPath(Split.first,
1725 types::getTypeTempSuffix(JA.getType(), IsCLMode()));
Daniel Dunbare627c1c2009-03-18 19:34:39 +00001726 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001727 }
1728
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +00001729 SmallString<128> BasePath(BaseInput);
Chris Lattner0e62c1c2011-07-23 10:55:15 +00001730 StringRef BaseName;
Daniel Dunbar67fea712011-03-25 18:16:51 +00001731
1732 // Dsymutil actions should use the full path.
Eric Christopher551ef452011-08-23 17:56:55 +00001733 if (isa<DsymutilJobAction>(JA) || isa<VerifyJobAction>(JA))
Daniel Dunbar67fea712011-03-25 18:16:51 +00001734 BaseName = BasePath;
1735 else
1736 BaseName = llvm::sys::path::filename(BasePath);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001737
1738 // Determine what the derived output name should be.
1739 const char *NamedOutput;
Hans Wennborg2b89a262013-08-06 22:11:28 +00001740
Peter Collingbourne8a484c32015-06-06 02:09:34 +00001741 if ((JA.getType() == types::TY_Object || JA.getType() == types::TY_LTO_BC) &&
Ehsan Akhgari81f36b72014-09-11 18:16:21 +00001742 C.getArgs().hasArg(options::OPT__SLASH_Fo, options::OPT__SLASH_o)) {
1743 // The /Fo or /o flag decides the object filename.
1744 StringRef Val = C.getArgs().getLastArg(options::OPT__SLASH_Fo,
1745 options::OPT__SLASH_o)->getValue();
Hans Wennborg207fcf02013-08-12 21:56:42 +00001746 NamedOutput = MakeCLOutputFilename(C.getArgs(), Val, BaseName,
1747 types::TY_Object);
1748 } else if (JA.getType() == types::TY_Image &&
Ehsan Akhgari81f36b72014-09-11 18:16:21 +00001749 C.getArgs().hasArg(options::OPT__SLASH_Fe, options::OPT__SLASH_o)) {
1750 // The /Fe or /o flag names the linked file.
1751 StringRef Val = C.getArgs().getLastArg(options::OPT__SLASH_Fe,
1752 options::OPT__SLASH_o)->getValue();
Hans Wennborg207fcf02013-08-12 21:56:42 +00001753 NamedOutput = MakeCLOutputFilename(C.getArgs(), Val, BaseName,
1754 types::TY_Image);
Hans Wennborgf1a74252013-09-10 20:18:04 +00001755 } else if (JA.getType() == types::TY_Image) {
Hans Wennborg207fcf02013-08-12 21:56:42 +00001756 if (IsCLMode()) {
1757 // clang-cl uses BaseName for the executable name.
Hans Wennborgf1a74252013-09-10 20:18:04 +00001758 NamedOutput = MakeCLOutputFilename(C.getArgs(), "", BaseName,
1759 types::TY_Image);
Hans Wennborg207fcf02013-08-12 21:56:42 +00001760 } else if (MultipleArchs && BoundArch) {
Hans Wennborga7707222015-01-09 17:38:53 +00001761 SmallString<128> Output(getDefaultImageName());
Chad Rosier35767232013-04-30 22:01:21 +00001762 Output += "-";
1763 Output.append(BoundArch);
1764 NamedOutput = C.getArgs().MakeArgString(Output.c_str());
1765 } else
Hans Wennborga7707222015-01-09 17:38:53 +00001766 NamedOutput = getDefaultImageName();
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001767 } else {
Hans Wennborg0a096a02013-09-05 17:05:56 +00001768 const char *Suffix = types::getTypeTempSuffix(JA.getType(), IsCLMode());
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001769 assert(Suffix && "All types used for output should have a suffix.");
1770
1771 std::string::size_type End = std::string::npos;
1772 if (!types::appendSuffixForType(JA.getType()))
1773 End = BaseName.rfind('.');
Chad Rosier35767232013-04-30 22:01:21 +00001774 SmallString<128> Suffixed(BaseName.substr(0, End));
1775 if (MultipleArchs && BoundArch) {
1776 Suffixed += "-";
1777 Suffixed.append(BoundArch);
1778 }
Bob Wilson23a55f12014-12-21 07:00:00 +00001779 // When using both -save-temps and -emit-llvm, use a ".tmp.bc" suffix for
1780 // the unoptimized bitcode so that it does not get overwritten by the ".bc"
1781 // optimized bitcode output.
1782 if (!AtTopLevel && C.getArgs().hasArg(options::OPT_emit_llvm) &&
1783 JA.getType() == types::TY_LLVM_BC)
1784 Suffixed += ".tmp";
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001785 Suffixed += '.';
1786 Suffixed += Suffix;
1787 NamedOutput = C.getArgs().MakeArgString(Suffixed.c_str());
1788 }
1789
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001790 // Prepend object file path if -save-temps=obj
1791 if (!AtTopLevel && isSaveTempsObj() && C.getArgs().hasArg(options::OPT_o) &&
1792 JA.getType() != types::TY_PCH) {
1793 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
1794 SmallString<128> TempPath(FinalOutput->getValue());
1795 llvm::sys::path::remove_filename(TempPath);
1796 StringRef OutputFileName = llvm::sys::path::filename(NamedOutput);
1797 llvm::sys::path::append(TempPath, OutputFileName);
1798 NamedOutput = C.getArgs().MakeArgString(TempPath.c_str());
1799 }
1800
Chad Rosier62135492012-07-09 17:31:28 +00001801 // If we're saving temps and the temp file conflicts with the input file,
Chad Rosier5b58af02012-04-20 20:05:08 +00001802 // then avoid overwriting input file.
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001803 if (!AtTopLevel && isSaveTempsEnabled() && NamedOutput == BaseName) {
Chad Rosier5b58af02012-04-20 20:05:08 +00001804 bool SameFile = false;
1805 SmallString<256> Result;
1806 llvm::sys::fs::current_path(Result);
1807 llvm::sys::path::append(Result, BaseName);
1808 llvm::sys::fs::equivalent(BaseInput, Result.c_str(), SameFile);
1809 // Must share the same path to conflict.
1810 if (SameFile) {
1811 StringRef Name = llvm::sys::path::filename(BaseInput);
1812 std::pair<StringRef, StringRef> Split = Name.split('.');
1813 std::string TmpName =
Hans Wennborg0a0faa92013-08-07 00:32:15 +00001814 GetTemporaryPath(Split.first,
1815 types::getTypeTempSuffix(JA.getType(), IsCLMode()));
Chad Rosier5b58af02012-04-20 20:05:08 +00001816 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
1817 }
Chad Rosierf8412cd2011-07-15 21:54:29 +00001818 }
1819
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001820 // As an annoying special case, PCH generation doesn't strip the pathname.
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001821 if (JA.getType() == types::TY_PCH) {
Michael J. Spencere1696752010-12-18 00:19:12 +00001822 llvm::sys::path::remove_filename(BasePath);
1823 if (BasePath.empty())
Daniel Dunbare6c83192009-03-18 09:58:30 +00001824 BasePath = NamedOutput;
1825 else
Michael J. Spencere1696752010-12-18 00:19:12 +00001826 llvm::sys::path::append(BasePath, NamedOutput);
Chad Rosier633dcdc2013-01-24 19:14:47 +00001827 return C.addResultFile(C.getArgs().MakeArgString(BasePath.c_str()), &JA);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001828 } else {
Chad Rosier633dcdc2013-01-24 19:14:47 +00001829 return C.addResultFile(NamedOutput, &JA);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001830 }
1831}
1832
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001833std::string Driver::GetFilePath(const char *Name, const ToolChain &TC) const {
Chandler Carruth84559242010-03-22 01:52:07 +00001834 // Respect a limited subset of the '-Bprefix' functionality in GCC by
Logan Chiencd679fd2012-10-04 08:08:56 +00001835 // attempting to use this prefix when looking for file paths.
Benjamin Kramer1a648d12011-02-08 20:31:42 +00001836 for (Driver::prefix_list::const_iterator it = PrefixDirs.begin(),
1837 ie = PrefixDirs.end(); it != ie; ++it) {
Joerg Sonnenberger6165ab12011-03-21 13:51:29 +00001838 std::string Dir(*it);
1839 if (Dir.empty())
1840 continue;
1841 if (Dir[0] == '=')
1842 Dir = SysRoot + Dir.substr(1);
Rafael Espindola609a6642013-06-24 18:33:43 +00001843 SmallString<128> P(Dir);
1844 llvm::sys::path::append(P, Name);
1845 if (llvm::sys::fs::exists(Twine(P)))
Chandler Carruth84559242010-03-22 01:52:07 +00001846 return P.str();
1847 }
1848
Rafael Espindola609a6642013-06-24 18:33:43 +00001849 SmallString<128> P(ResourceDir);
1850 llvm::sys::path::append(P, Name);
1851 if (llvm::sys::fs::exists(Twine(P)))
Peter Collingbournefa9771f2011-09-06 02:08:31 +00001852 return P.str();
1853
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001854 const ToolChain::path_list &List = TC.getFilePaths();
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001855 for (ToolChain::path_list::const_iterator
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001856 it = List.begin(), ie = List.end(); it != ie; ++it) {
Joerg Sonnenberger6165ab12011-03-21 13:51:29 +00001857 std::string Dir(*it);
1858 if (Dir.empty())
1859 continue;
1860 if (Dir[0] == '=')
1861 Dir = SysRoot + Dir.substr(1);
Rafael Espindola609a6642013-06-24 18:33:43 +00001862 SmallString<128> P(Dir);
1863 llvm::sys::path::append(P, Name);
1864 if (llvm::sys::fs::exists(Twine(P)))
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001865 return P.str();
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001866 }
1867
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001868 return Name;
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +00001869}
1870
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001871void
1872Driver::generatePrefixedToolNames(const char *Tool, const ToolChain &TC,
1873 SmallVectorImpl<std::string> &Names) const {
1874 // FIXME: Needs a better variable than DefaultTargetTriple
Benjamin Kramer3204b152015-05-29 19:42:19 +00001875 Names.emplace_back(DefaultTargetTriple + "-" + Tool);
1876 Names.emplace_back(Tool);
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001877}
1878
Benjamin Kramer7111b912014-11-04 20:26:01 +00001879static bool ScanDirForExecutable(SmallString<128> &Dir,
1880 ArrayRef<std::string> Names) {
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001881 for (const auto &Name : Names) {
1882 llvm::sys::path::append(Dir, Name);
1883 if (llvm::sys::fs::can_execute(Twine(Dir)))
1884 return true;
1885 llvm::sys::path::remove_filename(Dir);
1886 }
1887 return false;
1888}
1889
Simon Atanasyanb16488c2012-10-03 19:52:37 +00001890std::string Driver::GetProgramPath(const char *Name,
1891 const ToolChain &TC) const {
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001892 SmallVector<std::string, 2> TargetSpecificExecutables;
1893 generatePrefixedToolNames(Name, TC, TargetSpecificExecutables);
1894
Chandler Carruth84559242010-03-22 01:52:07 +00001895 // Respect a limited subset of the '-Bprefix' functionality in GCC by
Logan Chiencd679fd2012-10-04 08:08:56 +00001896 // attempting to use this prefix when looking for program paths.
Saleem Abdulrasool23d99b12014-09-16 03:48:32 +00001897 for (const auto &PrefixDir : PrefixDirs) {
1898 if (llvm::sys::fs::is_directory(PrefixDir)) {
1899 SmallString<128> P(PrefixDir);
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001900 if (ScanDirForExecutable(P, TargetSpecificExecutables))
Rafael Espindola8be5c052013-06-19 13:24:29 +00001901 return P.str();
Simon Atanasyana47ba292012-10-31 14:39:28 +00001902 } else {
Saleem Abdulrasool23d99b12014-09-16 03:48:32 +00001903 SmallString<128> P(PrefixDir + Name);
Rafael Espindola609a6642013-06-24 18:33:43 +00001904 if (llvm::sys::fs::can_execute(Twine(P)))
Rafael Espindola8be5c052013-06-19 13:24:29 +00001905 return P.str();
Simon Atanasyan86bdab72012-10-31 12:01:53 +00001906 }
Chandler Carruth84559242010-03-22 01:52:07 +00001907 }
1908
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001909 const ToolChain::path_list &List = TC.getProgramPaths();
Saleem Abdulrasool23d99b12014-09-16 03:48:32 +00001910 for (const auto &Path : List) {
1911 SmallString<128> P(Path);
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001912 if (ScanDirForExecutable(P, TargetSpecificExecutables))
Rafael Espindola8be5c052013-06-19 13:24:29 +00001913 return P.str();
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001914 }
1915
Daniel Dunbar76ce7412009-03-23 16:15:50 +00001916 // If all else failed, search the path.
Michael J. Spencerb011d482014-11-07 21:30:32 +00001917 for (const auto &TargetSpecificExecutable : TargetSpecificExecutables)
1918 if (llvm::ErrorOr<std::string> P =
1919 llvm::sys::findProgramByName(TargetSpecificExecutable))
Michael J. Spencer04162ea2014-11-04 01:30:55 +00001920 return *P;
Daniel Dunbar6f668772009-03-18 21:34:08 +00001921
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001922 return Name;
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +00001923}
1924
Chad Rosier62135492012-07-09 17:31:28 +00001925std::string Driver::GetTemporaryPath(StringRef Prefix, const char *Suffix)
Chad Rosier39ab7432011-08-26 21:28:44 +00001926 const {
Rafael Espindola37d229d2013-06-25 04:26:55 +00001927 SmallString<128> Path;
Rafael Espindolac0809172014-06-12 14:02:15 +00001928 std::error_code EC = llvm::sys::fs::createTemporaryFile(Prefix, Suffix, Path);
Rafael Espindola37d229d2013-06-25 04:26:55 +00001929 if (EC) {
1930 Diag(clang::diag::err_unable_to_make_temp) << EC.message();
Daniel Dunbare627c1c2009-03-18 19:34:39 +00001931 return "";
1932 }
1933
Rafael Espindola37d229d2013-06-25 04:26:55 +00001934 return Path.str();
Daniel Dunbare627c1c2009-03-18 19:34:39 +00001935}
1936
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001937/// \brief Compute target triple from args.
1938///
1939/// This routine provides the logic to compute a target triple from various
1940/// args passed to the driver and the default triple string.
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00001941static llvm::Triple computeTargetTriple(StringRef DefaultTargetTriple,
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001942 const ArgList &Args,
1943 StringRef DarwinArchName) {
Joerg Sonnenberger17d75512012-02-22 19:15:16 +00001944 // FIXME: Already done in Compilation *Driver::BuildCompilation
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00001945 if (const Arg *A = Args.getLastArg(options::OPT_target))
Richard Smithbd55daf2012-11-01 04:30:05 +00001946 DefaultTargetTriple = A->getValue();
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00001947
1948 llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple));
Chris Lattner09797542010-03-04 21:07:38 +00001949
Tim Northover157d9112014-01-16 08:48:16 +00001950 // Handle Apple-specific options available here.
1951 if (Target.isOSBinFormatMachO()) {
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001952 // If an explict Darwin arch name is given, that trumps all.
1953 if (!DarwinArchName.empty()) {
Tim Northover157d9112014-01-16 08:48:16 +00001954 tools::darwin::setTripleTypeForMachOArchName(Target, DarwinArchName);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001955 return Target;
1956 }
1957
1958 // Handle the Darwin '-arch' flag.
1959 if (Arg *A = Args.getLastArg(options::OPT_arch)) {
Tim Northover157d9112014-01-16 08:48:16 +00001960 StringRef ArchName = A->getValue();
1961 tools::darwin::setTripleTypeForMachOArchName(Target, ArchName);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001962 }
Daniel Dunbar51c7f972009-05-22 02:53:45 +00001963 }
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001964
Christian Pirker02c2e252014-04-10 13:55:51 +00001965 // Handle pseudo-target flags '-mlittle-endian'/'-EL' and
1966 // '-mbig-endian'/'-EB'.
1967 if (Arg *A = Args.getLastArg(options::OPT_mlittle_endian,
1968 options::OPT_mbig_endian)) {
1969 if (A->getOption().matches(options::OPT_mlittle_endian)) {
Simon Atanasyan66ceaa42013-03-28 11:36:22 +00001970 if (Target.getArch() == llvm::Triple::mips)
1971 Target.setArch(llvm::Triple::mipsel);
1972 else if (Target.getArch() == llvm::Triple::mips64)
1973 Target.setArch(llvm::Triple::mips64el);
Christian Pirker02c2e252014-04-10 13:55:51 +00001974 else if (Target.getArch() == llvm::Triple::aarch64_be)
1975 Target.setArch(llvm::Triple::aarch64);
Simon Atanasyan66ceaa42013-03-28 11:36:22 +00001976 } else {
1977 if (Target.getArch() == llvm::Triple::mipsel)
1978 Target.setArch(llvm::Triple::mips);
1979 else if (Target.getArch() == llvm::Triple::mips64el)
1980 Target.setArch(llvm::Triple::mips64);
Christian Pirker02c2e252014-04-10 13:55:51 +00001981 else if (Target.getArch() == llvm::Triple::aarch64)
1982 Target.setArch(llvm::Triple::aarch64_be);
Simon Atanasyan66ceaa42013-03-28 11:36:22 +00001983 }
1984 }
1985
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001986 // Skip further flag support on OSes which don't support '-m32' or '-m64'.
Rafael Espindola76483742014-08-14 15:14:51 +00001987 if (Target.getArchName() == "tce" || Target.getOS() == llvm::Triple::Minix)
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001988 return Target;
1989
Zinovy Nis3d163872014-07-11 14:28:45 +00001990 // Handle pseudo-target flags '-m64', '-mx32', '-m32' and '-m16'.
1991 if (Arg *A = Args.getLastArg(options::OPT_m64, options::OPT_mx32,
1992 options::OPT_m32, options::OPT_m16)) {
Alp Toker3e2aa332014-01-21 18:01:01 +00001993 llvm::Triple::ArchType AT = llvm::Triple::UnknownArch;
1994
Pavel Chupin4a294682014-08-18 15:38:38 +00001995 if (A->getOption().matches(options::OPT_m64)) {
Jakob Stoklund Olesen0e38aad2014-01-10 15:25:23 +00001996 AT = Target.get64BitArchVariant().getArch();
Pavel Chupin4a294682014-08-18 15:38:38 +00001997 if (Target.getEnvironment() == llvm::Triple::GNUX32)
1998 Target.setEnvironment(llvm::Triple::GNU);
1999 } else if (A->getOption().matches(options::OPT_mx32) &&
Zinovy Nis3d163872014-07-11 14:28:45 +00002000 Target.get64BitArchVariant().getArch() == llvm::Triple::x86_64) {
2001 AT = llvm::Triple::x86_64;
2002 Target.setEnvironment(llvm::Triple::GNUX32);
Pavel Chupin4a294682014-08-18 15:38:38 +00002003 } else if (A->getOption().matches(options::OPT_m32)) {
David Woodhouse6996f6b2014-01-21 17:19:44 +00002004 AT = Target.get32BitArchVariant().getArch();
Pavel Chupin4a294682014-08-18 15:38:38 +00002005 if (Target.getEnvironment() == llvm::Triple::GNUX32)
2006 Target.setEnvironment(llvm::Triple::GNU);
2007 } else if (A->getOption().matches(options::OPT_m16) &&
Alp Toker3e2aa332014-01-21 18:01:01 +00002008 Target.get32BitArchVariant().getArch() == llvm::Triple::x86) {
2009 AT = llvm::Triple::x86;
2010 Target.setEnvironment(llvm::Triple::CODE16);
David Woodhouse6996f6b2014-01-21 17:19:44 +00002011 }
2012
Joerg Sonnenbergerb7e0ac62014-09-10 21:25:37 +00002013 if (AT != llvm::Triple::UnknownArch && AT != Target.getArch())
Jakob Stoklund Olesen0e38aad2014-01-10 15:25:23 +00002014 Target.setArch(AT);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002015 }
2016
2017 return Target;
2018}
2019
2020const ToolChain &Driver::getToolChain(const ArgList &Args,
2021 StringRef DarwinArchName) const {
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002022 llvm::Triple Target =
2023 computeTargetTriple(DefaultTargetTriple, Args, DarwinArchName);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002024
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00002025 ToolChain *&TC = ToolChains[Target.str()];
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002026 if (!TC) {
2027 switch (Target.getOS()) {
Ed Schouten3c3e58c2015-03-26 11:13:44 +00002028 case llvm::Triple::CloudABI:
2029 TC = new toolchains::CloudABI(*this, Target, Args);
2030 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002031 case llvm::Triple::Darwin:
2032 case llvm::Triple::MacOSX:
2033 case llvm::Triple::IOS:
Rafael Espindola14627962013-11-24 23:28:23 +00002034 TC = new toolchains::DarwinClang(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002035 break;
2036 case llvm::Triple::DragonFly:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002037 TC = new toolchains::DragonFly(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002038 break;
2039 case llvm::Triple::OpenBSD:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002040 TC = new toolchains::OpenBSD(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002041 break;
Eli Friedman9fa28852012-08-08 23:57:20 +00002042 case llvm::Triple::Bitrig:
2043 TC = new toolchains::Bitrig(*this, Target, Args);
2044 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002045 case llvm::Triple::NetBSD:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002046 TC = new toolchains::NetBSD(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002047 break;
2048 case llvm::Triple::FreeBSD:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002049 TC = new toolchains::FreeBSD(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002050 break;
2051 case llvm::Triple::Minix:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002052 TC = new toolchains::Minix(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002053 break;
2054 case llvm::Triple::Linux:
Chandler Carruthcf705b22012-01-25 21:03:58 +00002055 if (Target.getArch() == llvm::Triple::hexagon)
Matthew Curtis22dd8da2012-12-06 12:43:18 +00002056 TC = new toolchains::Hexagon_TC(*this, Target, Args);
Chandler Carruthcf705b22012-01-25 21:03:58 +00002057 else
Rafael Espindola1af7c212012-02-19 01:38:32 +00002058 TC = new toolchains::Linux(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002059 break;
Derek Schuff6ab52fa2015-03-30 20:31:33 +00002060 case llvm::Triple::NaCl:
2061 TC = new toolchains::NaCl_TC(*this, Target, Args);
2062 break;
David Chisnallf571cde2012-02-15 13:39:01 +00002063 case llvm::Triple::Solaris:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002064 TC = new toolchains::Solaris(*this, Target, Args);
David Chisnallf571cde2012-02-15 13:39:01 +00002065 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002066 case llvm::Triple::Win32:
Saleem Abdulrasool377066a2014-03-27 22:50:18 +00002067 switch (Target.getEnvironment()) {
2068 default:
2069 if (Target.isOSBinFormatELF())
2070 TC = new toolchains::Generic_ELF(*this, Target, Args);
2071 else if (Target.isOSBinFormatMachO())
2072 TC = new toolchains::MachO(*this, Target, Args);
2073 else
2074 TC = new toolchains::Generic_GCC(*this, Target, Args);
2075 break;
2076 case llvm::Triple::GNU:
2077 // FIXME: We need a MinGW toolchain. Use the default Generic_GCC
2078 // toolchain for now as the default case would below otherwise.
2079 if (Target.isOSBinFormatELF())
2080 TC = new toolchains::Generic_ELF(*this, Target, Args);
2081 else
2082 TC = new toolchains::Generic_GCC(*this, Target, Args);
2083 break;
Saleem Abdulrasool543a78b2014-10-24 03:13:37 +00002084 case llvm::Triple::Itanium:
2085 TC = new toolchains::CrossWindowsToolChain(*this, Target, Args);
2086 break;
Saleem Abdulrasool377066a2014-03-27 22:50:18 +00002087 case llvm::Triple::MSVC:
2088 case llvm::Triple::UnknownEnvironment:
Saleem Abdulrasool819f3912014-10-22 02:37:29 +00002089 TC = new toolchains::MSVCToolChain(*this, Target, Args);
Saleem Abdulrasool377066a2014-03-27 22:50:18 +00002090 break;
2091 }
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002092 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002093 default:
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002094 // Of these targets, Hexagon is the only one that might have
2095 // an OS of Linux, in which case it got handled above already.
2096 if (Target.getArchName() == "tce")
Rafael Espindola84b588b2013-03-18 18:10:27 +00002097 TC = new toolchains::TCEToolChain(*this, Target, Args);
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002098 else if (Target.getArch() == llvm::Triple::hexagon)
Jyotsna Verma3abdf1c2013-03-29 19:09:20 +00002099 TC = new toolchains::Hexagon_TC(*this, Target, Args);
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002100 else if (Target.getArch() == llvm::Triple::xcore)
Robert Lyttoncf1dd692013-10-11 10:29:40 +00002101 TC = new toolchains::XCore(*this, Target, Args);
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002102 else if (Target.isOSBinFormatELF())
Kristof Beylsfb387292014-01-10 13:44:34 +00002103 TC = new toolchains::Generic_ELF(*this, Target, Args);
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002104 else if (Target.isOSBinFormatMachO())
Tim Northover157d9112014-01-16 08:48:16 +00002105 TC = new toolchains::MachO(*this, Target, Args);
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002106 else
2107 TC = new toolchains::Generic_GCC(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002108 break;
2109 }
2110 }
2111 return *TC;
Daniel Dunbar4dff6a42009-03-10 23:41:59 +00002112}
Daniel Dunbar8fa879d2009-03-24 18:57:02 +00002113
Rafael Espindola2f69d402013-03-18 15:33:26 +00002114bool Driver::ShouldUseClangCompiler(const JobAction &JA) const {
Nick Lewycky5cc9ebb2012-11-15 05:36:36 +00002115 // Check if user requested no clang, or clang doesn't understand this type (we
2116 // only handle single inputs for now).
2117 if (JA.size() != 1 ||
2118 !types::isAcceptedByClang((*JA.begin())->getType()))
2119 return false;
2120
2121 // Otherwise make sure this is an action clang understands.
2122 if (!isa<PreprocessJobAction>(JA) && !isa<PrecompileJobAction>(JA) &&
Bob Wilson23a55f12014-12-21 07:00:00 +00002123 !isa<CompileJobAction>(JA) && !isa<BackendJobAction>(JA))
Nick Lewycky5cc9ebb2012-11-15 05:36:36 +00002124 return false;
2125
2126 return true;
2127}
2128
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002129/// GetReleaseVersion - Parse (([0-9]+)(.([0-9]+)(.([0-9]+)?))?)? and return the
2130/// grouped values as integers. Numbers which are not provided are set to 0.
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002131///
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002132/// \return True if the entire string was parsed (9.2), or all groups were
2133/// parsed (10.3.5extrastuff).
2134bool Driver::GetReleaseVersion(const char *Str, unsigned &Major,
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002135 unsigned &Minor, unsigned &Micro,
2136 bool &HadExtra) {
2137 HadExtra = false;
2138
2139 Major = Minor = Micro = 0;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002140 if (*Str == '\0')
Bob Wilson433cb312015-04-07 01:03:35 +00002141 return false;
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002142
2143 char *End;
2144 Major = (unsigned) strtol(Str, &End, 10);
2145 if (*Str != '\0' && *End == '\0')
2146 return true;
2147 if (*End != '.')
2148 return false;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002149
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002150 Str = End+1;
2151 Minor = (unsigned) strtol(Str, &End, 10);
2152 if (*Str != '\0' && *End == '\0')
2153 return true;
2154 if (*End != '.')
2155 return false;
2156
2157 Str = End+1;
2158 Micro = (unsigned) strtol(Str, &End, 10);
2159 if (*Str != '\0' && *End == '\0')
2160 return true;
2161 if (Str == End)
2162 return false;
2163 HadExtra = true;
2164 return true;
2165}
Hans Wennborg6ddc6902013-07-27 00:23:45 +00002166
2167std::pair<unsigned, unsigned> Driver::getIncludeExcludeOptionFlagMasks() const {
2168 unsigned IncludedFlagsBitmask = 0;
Rafael Espindolacc707bc2013-09-25 15:54:41 +00002169 unsigned ExcludedFlagsBitmask = options::NoDriverOption;
Hans Wennborg6ddc6902013-07-27 00:23:45 +00002170
2171 if (Mode == CLMode) {
Hans Wennborg19076102013-07-31 20:51:53 +00002172 // Include CL and Core options.
2173 IncludedFlagsBitmask |= options::CLOption;
2174 IncludedFlagsBitmask |= options::CoreOption;
Hans Wennborg6ddc6902013-07-27 00:23:45 +00002175 } else {
2176 ExcludedFlagsBitmask |= options::CLOption;
2177 }
2178
2179 return std::make_pair(IncludedFlagsBitmask, ExcludedFlagsBitmask);
2180}
Benjamin Kramerab88f622014-03-25 18:02:07 +00002181
Douglas Katzmanf08fadf2015-06-04 14:40:44 +00002182bool clang::driver::isOptimizationLevelFast(const ArgList &Args) {
Benjamin Kramerab88f622014-03-25 18:02:07 +00002183 return Args.hasFlag(options::OPT_Ofast, options::OPT_O_Group, false);
2184}