blob: a2b436e9a3f366d3d08533e169c2086a4c21a298 [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
Douglas Katzman6bbffc42015-06-25 18:51:37 +000086 for (const char *ArgPtr : Args) {
Reid Kleckneraf5fd6a2014-08-22 19:29:30 +000087 // Ingore nullptrs, they are response file's EOL markers
Douglas Katzman6bbffc42015-06-25 18:51:37 +000088 if (ArgPtr == nullptr)
Reid Kleckneraf5fd6a2014-08-22 19:29:30 +000089 continue;
Douglas Katzman6bbffc42015-06-25 18:51:37 +000090 const StringRef Arg = ArgPtr;
Hans Wennborg70850d82013-07-18 20:29:38 +000091 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
David Blaikie69a1d8c2015-06-22 22:07:27 +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;
David Blaikie69a1d8c2015-06-22 22:07:27 +0000118 InputArgList Args =
David Blaikie6d492ad2015-06-21 06:32:36 +0000119 getOpts().ParseArgs(ArgStrings, MissingArgIndex, MissingArgCount,
120 IncludedFlagsBitmask, ExcludedFlagsBitmask);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000121
Daniel Dunbar52ed5fe2009-11-19 06:35:06 +0000122 // Check for missing argument error.
123 if (MissingArgCount)
124 Diag(clang::diag::err_drv_missing_argument)
David Blaikie69a1d8c2015-06-22 22:07:27 +0000125 << Args.getArgString(MissingArgIndex) << MissingArgCount;
Daniel Dunbar65229332009-03-13 11:38:42 +0000126
Daniel Dunbar52ed5fe2009-11-19 06:35:06 +0000127 // Check for unsupported options.
David Blaikie69a1d8c2015-06-22 22:07:27 +0000128 for (const Arg *A : Args) {
Michael J. Spencer66e2b202012-10-19 22:37:06 +0000129 if (A->getOption().hasFlag(options::Unsupported)) {
David Blaikie69a1d8c2015-06-22 22:07:27 +0000130 Diag(clang::diag::err_drv_unsupported_opt) << A->getAsString(Args);
Daniel Dunbard8500f32009-03-22 23:26:43 +0000131 continue;
132 }
Chad Rosierce975d92012-02-22 17:55:22 +0000133
134 // Warn about -mcpu= without an argument.
Chad Rosier62135492012-07-09 17:31:28 +0000135 if (A->getOption().matches(options::OPT_mcpu_EQ) &&
Chad Rosierce975d92012-02-22 17:55:22 +0000136 A->containsValue("")) {
David Blaikie69a1d8c2015-06-22 22:07:27 +0000137 Diag(clang::diag::warn_drv_empty_joined_argument) << A->getAsString(Args);
Chad Rosierce975d92012-02-22 17:55:22 +0000138 }
Daniel Dunbard02cb1d2009-03-05 06:38:47 +0000139 }
140
David Blaikie69a1d8c2015-06-22 22:07:27 +0000141 for (const Arg *A : Args.filtered(options::OPT_UNKNOWN))
142 Diags.Report(diag::err_drv_unknown_argument) << A->getAsString(Args);
Rafael Espindola8a2d4962013-09-23 23:55:25 +0000143
Daniel Dunbard02cb1d2009-03-05 06:38:47 +0000144 return Args;
145}
146
Chad Rosier7742b5d2011-07-27 23:36:45 +0000147// Determine which compilation mode we are in. We look for options which
148// affect the phase, starting with the earliest phases, and record which
149// option we used to determine the final phase.
150phases::ID Driver::getFinalPhase(const DerivedArgList &DAL, Arg **FinalPhaseArg)
151const {
Craig Topper92fc2df2014-05-17 16:56:41 +0000152 Arg *PhaseArg = nullptr;
Chad Rosier7742b5d2011-07-27 23:36:45 +0000153 phases::ID FinalPhase;
Eric Christopherf901e852011-08-17 22:59:59 +0000154
Hans Wennborge50cec32014-06-13 20:59:54 +0000155 // -{E,EP,P,M,MM} only run the preprocessor.
Hans Wennborg70850d82013-07-18 20:29:38 +0000156 if (CCCIsCPP() ||
Chad Rosier7742b5d2011-07-27 23:36:45 +0000157 (PhaseArg = DAL.getLastArg(options::OPT_E)) ||
Hans Wennborge50cec32014-06-13 20:59:54 +0000158 (PhaseArg = DAL.getLastArg(options::OPT__SLASH_EP)) ||
Hans Wennborge0053472013-12-20 18:40:46 +0000159 (PhaseArg = DAL.getLastArg(options::OPT_M, options::OPT_MM)) ||
160 (PhaseArg = DAL.getLastArg(options::OPT__SLASH_P))) {
Chad Rosier7742b5d2011-07-27 23:36:45 +0000161 FinalPhase = phases::Preprocess;
Eric Christopherf901e852011-08-17 22:59:59 +0000162
Bob Wilson23a55f12014-12-21 07:00:00 +0000163 // -{fsyntax-only,-analyze,emit-ast} only run up to the compiler.
Chad Rosier7742b5d2011-07-27 23:36:45 +0000164 } else if ((PhaseArg = DAL.getLastArg(options::OPT_fsyntax_only)) ||
Douglas Gregorbf7fc9c2013-03-27 16:47:18 +0000165 (PhaseArg = DAL.getLastArg(options::OPT_module_file_info)) ||
Ben Langmuir2cb4a782014-02-05 22:21:15 +0000166 (PhaseArg = DAL.getLastArg(options::OPT_verify_pch)) ||
Chad Rosier7742b5d2011-07-27 23:36:45 +0000167 (PhaseArg = DAL.getLastArg(options::OPT_rewrite_objc)) ||
Fariborz Jahanian73223bb2012-04-02 15:59:19 +0000168 (PhaseArg = DAL.getLastArg(options::OPT_rewrite_legacy_objc)) ||
Ted Kremenekf7639e12012-03-06 20:06:33 +0000169 (PhaseArg = DAL.getLastArg(options::OPT__migrate)) ||
Chad Rosier7742b5d2011-07-27 23:36:45 +0000170 (PhaseArg = DAL.getLastArg(options::OPT__analyze,
Chad Rosier1aeb15a2012-03-06 23:14:35 +0000171 options::OPT__analyze_auto)) ||
Bob Wilson23a55f12014-12-21 07:00:00 +0000172 (PhaseArg = DAL.getLastArg(options::OPT_emit_ast))) {
Chad Rosier7742b5d2011-07-27 23:36:45 +0000173 FinalPhase = phases::Compile;
174
Bob Wilson23a55f12014-12-21 07:00:00 +0000175 // -S only runs up to the backend.
176 } else if ((PhaseArg = DAL.getLastArg(options::OPT_S))) {
177 FinalPhase = phases::Backend;
178
Chad Rosier7742b5d2011-07-27 23:36:45 +0000179 // -c only runs up to the assembler.
180 } else if ((PhaseArg = DAL.getLastArg(options::OPT_c))) {
181 FinalPhase = phases::Assemble;
182
183 // Otherwise do everything.
184 } else
185 FinalPhase = phases::Link;
186
187 if (FinalPhaseArg)
188 *FinalPhaseArg = PhaseArg;
189
190 return FinalPhase;
191}
192
Hans Wennborg55362852014-05-02 22:55:30 +0000193static Arg* MakeInputArg(DerivedArgList &Args, OptTable *Opts,
Hans Wennborged1d0722013-08-13 21:32:29 +0000194 StringRef Value) {
195 Arg *A = new Arg(Opts->getOption(options::OPT_INPUT), Value,
196 Args.getBaseArgs().MakeIndex(Value), Value.data());
Hans Wennborg55362852014-05-02 22:55:30 +0000197 Args.AddSynthesizedArg(A);
Hans Wennborged1d0722013-08-13 21:32:29 +0000198 A->claim();
199 return A;
200}
201
Daniel Dunbar775d4062010-06-11 22:00:26 +0000202DerivedArgList *Driver::TranslateInputArgs(const InputArgList &Args) const {
203 DerivedArgList *DAL = new DerivedArgList(Args);
204
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000205 bool HasNostdlib = Args.hasArg(options::OPT_nostdlib);
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000206 for (Arg *A : Args) {
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000207 // Unfortunately, we have to parse some forwarding options (-Xassembler,
208 // -Xlinker, -Xpreprocessor) because we either integrate their functionality
209 // (assembler and preprocessor), or bypass a previous driver ('collect2').
Daniel Dunbar5a9d1832010-06-14 21:37:09 +0000210
211 // Rewrite linker options, to replace --no-demangle with a custom internal
212 // option.
213 if ((A->getOption().matches(options::OPT_Wl_COMMA) ||
214 A->getOption().matches(options::OPT_Xlinker)) &&
215 A->containsValue("--no-demangle")) {
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000216 // Add the rewritten no-demangle argument.
217 DAL->AddFlagArg(A, Opts->getOption(options::OPT_Z_Xlinker__no_demangle));
218
219 // Add the remaining values as Xlinker arguments.
220 for (unsigned i = 0, e = A->getNumValues(); i != e; ++i)
Richard Smithbd55daf2012-11-01 04:30:05 +0000221 if (StringRef(A->getValue(i)) != "--no-demangle")
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000222 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_Xlinker),
Richard Smithbd55daf2012-11-01 04:30:05 +0000223 A->getValue(i));
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000224
225 continue;
226 }
227
Daniel Dunbar5a9d1832010-06-14 21:37:09 +0000228 // Rewrite preprocessor options, to replace -Wp,-MD,FOO which is used by
229 // some build systems. We don't try to be complete here because we don't
230 // care to encourage this usage model.
231 if (A->getOption().matches(options::OPT_Wp_COMMA) &&
Richard Smithbd55daf2012-11-01 04:30:05 +0000232 (A->getValue(0) == StringRef("-MD") ||
233 A->getValue(0) == StringRef("-MMD"))) {
Daniel Dunbar3648ba72010-06-15 20:30:18 +0000234 // Rewrite to -MD/-MMD along with -MF.
Richard Smithbd55daf2012-11-01 04:30:05 +0000235 if (A->getValue(0) == StringRef("-MD"))
Daniel Dunbar3648ba72010-06-15 20:30:18 +0000236 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MD));
237 else
238 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MMD));
Michael J. Spencer70d85be2012-11-07 23:37:14 +0000239 if (A->getNumValues() == 2)
240 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_MF),
241 A->getValue(1));
Daniel Dunbar5a9d1832010-06-14 21:37:09 +0000242 continue;
243 }
244
Shantonu Senafeb03b2010-09-17 18:39:08 +0000245 // Rewrite reserved library names.
246 if (A->getOption().matches(options::OPT_l)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000247 StringRef Value = A->getValue();
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000248
Shantonu Senafeb03b2010-09-17 18:39:08 +0000249 // Rewrite unless -nostdlib is present.
250 if (!HasNostdlib && Value == "stdc++") {
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000251 DAL->AddFlagArg(A, Opts->getOption(
252 options::OPT_Z_reserved_lib_stdcxx));
253 continue;
254 }
Shantonu Senafeb03b2010-09-17 18:39:08 +0000255
256 // Rewrite unconditionally.
257 if (Value == "cc_kext") {
258 DAL->AddFlagArg(A, Opts->getOption(
259 options::OPT_Z_reserved_lib_cckext));
260 continue;
261 }
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000262 }
263
Hans Wennborged1d0722013-08-13 21:32:29 +0000264 // Pick up inputs via the -- option.
265 if (A->getOption().matches(options::OPT__DASH_DASH)) {
266 A->claim();
267 for (unsigned i = 0, e = A->getNumValues(); i != e; ++i)
268 DAL->append(MakeInputArg(*DAL, Opts, A->getValue(i)));
269 continue;
270 }
271
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000272 DAL->append(A);
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000273 }
Daniel Dunbar775d4062010-06-11 22:00:26 +0000274
Daniel Dunbar628fcf42010-08-12 00:05:12 +0000275 // Add a default value of -mlinker-version=, if one was given and the user
276 // didn't specify one.
277#if defined(HOST_LINK_VERSION)
Tim Northover018578c2015-06-12 19:21:35 +0000278 if (!Args.hasArg(options::OPT_mlinker_version_EQ) &&
279 strlen(HOST_LINK_VERSION) > 0) {
Daniel Dunbar628fcf42010-08-12 00:05:12 +0000280 DAL->AddJoinedArg(0, Opts->getOption(options::OPT_mlinker_version_EQ),
281 HOST_LINK_VERSION);
Daniel Dunbarb613ffc2010-08-17 22:32:45 +0000282 DAL->getLastArg(options::OPT_mlinker_version_EQ)->claim();
Daniel Dunbar628fcf42010-08-12 00:05:12 +0000283 }
284#endif
285
Daniel Dunbar775d4062010-06-11 22:00:26 +0000286 return DAL;
287}
288
Chris Lattner54b16772011-07-23 17:14:25 +0000289Compilation *Driver::BuildCompilation(ArrayRef<const char *> ArgList) {
Daniel Dunbar2608c542009-03-18 01:38:48 +0000290 llvm::PrettyStackTraceString CrashInfo("Compilation construction");
291
Eric Christopherf901e852011-08-17 22:59:59 +0000292 // FIXME: Handle environment options which affect driver behavior, somewhere
Bill Wendlingadbeb9f2012-03-12 21:24:57 +0000293 // (client?). GCC_EXEC_PREFIX, LPATH, CC_PRINT_OPTIONS.
Chad Rosier82301162011-09-14 00:47:55 +0000294
295 if (char *env = ::getenv("COMPILER_PATH")) {
296 StringRef CompilerPath = env;
297 while (!CompilerPath.empty()) {
NAKAMURA Takumiad80c5e2012-12-12 06:22:22 +0000298 std::pair<StringRef, StringRef> Split
Rafael Espindolae3d0c4a2013-06-25 01:11:59 +0000299 = CompilerPath.split(llvm::sys::EnvPathSeparator);
Chad Rosier82301162011-09-14 00:47:55 +0000300 PrefixDirs.push_back(Split.first);
301 CompilerPath = Split.second;
302 }
303 }
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000304
Hans Wennborg70850d82013-07-18 20:29:38 +0000305 // We look for the driver mode option early, because the mode can affect
306 // how other options are parsed.
307 ParseDriverMode(ArgList.slice(1));
308
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000309 // FIXME: What are we going to do with -V and -b?
310
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000311 // FIXME: This stuff needs to go into the Compilation, not the driver.
Douglas Katzmanb7e8ef02015-06-25 19:37:41 +0000312 bool CCCPrintPhases;
Daniel Dunbard02cb1d2009-03-05 06:38:47 +0000313
David Blaikie69a1d8c2015-06-22 22:07:27 +0000314 InputArgList Args = ParseArgStrings(ArgList.slice(1));
Daniel Dunbaracd69572009-12-04 21:55:23 +0000315
Rafael Espindola59ae7992009-12-07 18:28:29 +0000316 // -no-canonical-prefixes is used very early in main.
David Blaikie69a1d8c2015-06-22 22:07:27 +0000317 Args.ClaimAllArgs(options::OPT_no_canonical_prefixes);
Rafael Espindola59ae7992009-12-07 18:28:29 +0000318
Daniel Dunbar926f81f2010-08-02 02:38:03 +0000319 // Ignore -pipe.
David Blaikie69a1d8c2015-06-22 22:07:27 +0000320 Args.ClaimAllArgs(options::OPT_pipe);
Daniel Dunbar926f81f2010-08-02 02:38:03 +0000321
Daniel Dunbaracd69572009-12-04 21:55:23 +0000322 // Extract -ccc args.
Daniel Dunbaree66cf22009-03-10 20:52:46 +0000323 //
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000324 // FIXME: We need to figure out where this behavior should live. Most of it
325 // should be outside in the client; the parts that aren't should have proper
326 // options, either by introducing new ones or by overloading gcc ones like -V
327 // or -b.
Douglas Katzmanb7e8ef02015-06-25 19:37:41 +0000328 CCCPrintPhases = Args.hasArg(options::OPT_ccc_print_phases);
David Blaikie69a1d8c2015-06-22 22:07:27 +0000329 CCCPrintBindings = Args.hasArg(options::OPT_ccc_print_bindings);
330 if (const Arg *A = Args.getLastArg(options::OPT_ccc_gcc_name))
Richard Smithbd55daf2012-11-01 04:30:05 +0000331 CCCGenericGCCName = A->getValue();
David Blaikie69a1d8c2015-06-22 22:07:27 +0000332 CCCUsePCH =
333 Args.hasFlag(options::OPT_ccc_pch_is_pch, options::OPT_ccc_pch_is_pth);
Joerg Sonnenberger17d75512012-02-22 19:15:16 +0000334 // FIXME: DefaultTargetTriple is used by the target-prefixed calls to as/ld
335 // and getToolChain is const.
Hans Wennborg2e274592013-08-13 23:38:57 +0000336 if (IsCLMode()) {
Hans Wennborg73609a02014-03-28 01:19:04 +0000337 // clang-cl targets MSVC-style Win32.
Hans Wennborg2e274592013-08-13 23:38:57 +0000338 llvm::Triple T(DefaultTargetTriple);
Hans Wennborg9d9ce7a2014-03-28 20:49:28 +0000339 T.setOS(llvm::Triple::Win32);
340 T.setEnvironment(llvm::Triple::MSVC);
Hans Wennborg2e274592013-08-13 23:38:57 +0000341 DefaultTargetTriple = T.str();
342 }
David Blaikie69a1d8c2015-06-22 22:07:27 +0000343 if (const Arg *A = Args.getLastArg(options::OPT_target))
Richard Smithbd55daf2012-11-01 04:30:05 +0000344 DefaultTargetTriple = A->getValue();
David Blaikie69a1d8c2015-06-22 22:07:27 +0000345 if (const Arg *A = Args.getLastArg(options::OPT_ccc_install_dir))
Richard Smithbd55daf2012-11-01 04:30:05 +0000346 Dir = InstalledDir = A->getValue();
David Blaikie69a1d8c2015-06-22 22:07:27 +0000347 for (const Arg *A : Args.filtered(options::OPT_B)) {
Benjamin Kramer1a648d12011-02-08 20:31:42 +0000348 A->claim();
Richard Smithbd55daf2012-11-01 04:30:05 +0000349 PrefixDirs.push_back(A->getValue(0));
Benjamin Kramer1a648d12011-02-08 20:31:42 +0000350 }
David Blaikie69a1d8c2015-06-22 22:07:27 +0000351 if (const Arg *A = Args.getLastArg(options::OPT__sysroot_EQ))
Richard Smithbd55daf2012-11-01 04:30:05 +0000352 SysRoot = A->getValue();
David Blaikie69a1d8c2015-06-22 22:07:27 +0000353 if (const Arg *A = Args.getLastArg(options::OPT__dyld_prefix_EQ))
Peter Collingbourne9d9e1fc2013-05-27 21:40:20 +0000354 DyldPrefix = A->getValue();
David Blaikie69a1d8c2015-06-22 22:07:27 +0000355 if (Args.hasArg(options::OPT_nostdlib))
Joerg Sonnenbergerbc923f32011-03-21 13:59:26 +0000356 UseStdLib = false;
Daniel Dunbaree66cf22009-03-10 20:52:46 +0000357
David Blaikie69a1d8c2015-06-22 22:07:27 +0000358 if (const Arg *A = Args.getLastArg(options::OPT_resource_dir))
Bob Wilsona20a1da2013-03-23 05:17:59 +0000359 ResourceDir = A->getValue();
Jim Grosbach061dabf2013-03-12 20:17:58 +0000360
David Blaikie69a1d8c2015-06-22 22:07:27 +0000361 if (const Arg *A = Args.getLastArg(options::OPT_save_temps_EQ)) {
Reid Kleckner68eb60b2015-02-02 22:41:48 +0000362 SaveTemps = llvm::StringSwitch<SaveTempsMode>(A->getValue())
363 .Case("cwd", SaveTempsCwd)
364 .Case("obj", SaveTempsObj)
365 .Default(SaveTempsCwd);
366 }
367
David Blaikie69a1d8c2015-06-22 22:07:27 +0000368 std::unique_ptr<llvm::opt::InputArgList> UArgs =
369 llvm::make_unique<InputArgList>(std::move(Args));
370
Daniel Dunbar775d4062010-06-11 22:00:26 +0000371 // Perform the default argument translations.
David Blaikie69a1d8c2015-06-22 22:07:27 +0000372 DerivedArgList *TranslatedArgs = TranslateInputArgs(*UArgs);
Daniel Dunbar775d4062010-06-11 22:00:26 +0000373
Chandler Carruthcb916192012-01-25 08:49:21 +0000374 // Owned by the host.
David Blaikie69a1d8c2015-06-22 22:07:27 +0000375 const ToolChain &TC = getToolChain(*UArgs);
Chandler Carruthcb916192012-01-25 08:49:21 +0000376
Daniel Dunbar3ce436d2009-03-16 06:42:30 +0000377 // The compilation takes ownership of Args.
David Blaikie69a1d8c2015-06-22 22:07:27 +0000378 Compilation *C = new Compilation(*this, TC, UArgs.release(), TranslatedArgs);
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000379
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000380 if (!HandleImmediateArgs(*C))
381 return C;
382
Chad Rosierecdede82011-08-12 22:08:57 +0000383 // Construct the list of inputs.
384 InputList Inputs;
Hans Wennborged1d0722013-08-13 21:32:29 +0000385 BuildInputs(C->getDefaultToolChain(), *TranslatedArgs, Inputs);
Chad Rosierecdede82011-08-12 22:08:57 +0000386
Chandler Carruth7f1417f2012-01-24 10:43:44 +0000387 // Construct the list of abstract actions to perform for this compilation. On
Tim Northover157d9112014-01-16 08:48:16 +0000388 // MachO targets this uses the driver-driver and universal actions.
389 if (TC.getTriple().isOSBinFormatMachO())
Joerg Sonnenbergerf4961642011-03-07 01:15:29 +0000390 BuildUniversalActions(C->getDefaultToolChain(), C->getArgs(),
Chad Rosierecdede82011-08-12 22:08:57 +0000391 Inputs, C->getActions());
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000392 else
Chad Rosierecdede82011-08-12 22:08:57 +0000393 BuildActions(C->getDefaultToolChain(), C->getArgs(), Inputs,
394 C->getActions());
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000395
Douglas Katzmanb7e8ef02015-06-25 19:37:41 +0000396 if (CCCPrintPhases) {
Daniel Dunbareb843be2009-03-18 03:13:20 +0000397 PrintActions(*C);
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000398 return C;
399 }
400
401 BuildJobs(*C);
Daniel Dunbaradc91e62009-03-15 01:38:15 +0000402
403 return C;
Daniel Dunbaree66cf22009-03-10 20:52:46 +0000404}
405
Eric Christopherf901e852011-08-17 22:59:59 +0000406// When clang crashes, produce diagnostic information including the fully
407// preprocessed source file(s). Request that the developer attach the
Chad Rosierbe10f982011-08-02 17:58:04 +0000408// diagnostic information to a bug report.
409void Driver::generateCompilationDiagnostics(Compilation &C,
Justin Bognere1a33d12014-10-20 21:02:05 +0000410 const Command &FailingCommand) {
Chad Rosier877c0a22012-02-22 00:30:39 +0000411 if (C.getArgs().hasArg(options::OPT_fno_crash_diagnostics))
Chad Rosier62135492012-07-09 17:31:28 +0000412 return;
Chad Rosierbee5a1d2012-03-07 00:30:40 +0000413
Chad Rosierdbf46a12013-02-01 18:30:26 +0000414 // Don't try to generate diagnostics for link or dsymutil jobs.
Justin Bognere1a33d12014-10-20 21:02:05 +0000415 if (FailingCommand.getCreator().isLinkJob() ||
416 FailingCommand.getCreator().isDsymutilJob())
Chad Rosier877c0a22012-02-22 00:30:39 +0000417 return;
418
Chad Rosier8179f112012-06-19 17:51:34 +0000419 // Print the version of the compiler.
420 PrintVersion(C, llvm::errs());
421
Chad Rosierbe10f982011-08-02 17:58:04 +0000422 Diag(clang::diag::note_drv_command_failed_diag_msg)
Chad Rosier103e2c92012-06-19 18:39:21 +0000423 << "PLEASE submit a bug report to " BUG_REPORT_URL " and include the "
424 "crash backtrace, preprocessed source, and associated run script.";
Chad Rosierbe10f982011-08-02 17:58:04 +0000425
426 // Suppress driver output and emit preprocessor output to temp file.
Hans Wennborg70850d82013-07-18 20:29:38 +0000427 Mode = CPPMode;
Chad Rosierbe10f982011-08-02 17:58:04 +0000428 CCGenDiagnostics = true;
429
Chad Rosiercdb008d2011-11-02 21:29:05 +0000430 // Save the original job command(s).
Justin Bogner25645152014-10-21 17:24:44 +0000431 Command Cmd = FailingCommand;
Chad Rosiercdb008d2011-11-02 21:29:05 +0000432
Richard Smith5bb4cdf2012-12-20 02:22:15 +0000433 // Keep track of whether we produce any errors while trying to produce
434 // preprocessed sources.
435 DiagnosticErrorTrap Trap(Diags);
436
437 // Suppress tool output.
Chad Rosierbe10f982011-08-02 17:58:04 +0000438 C.initCompilationForDiagnostics();
Chad Rosierecdede82011-08-12 22:08:57 +0000439
440 // Construct the list of inputs.
441 InputList Inputs;
442 BuildInputs(C.getDefaultToolChain(), C.getArgs(), Inputs);
Chad Rosierbe10f982011-08-02 17:58:04 +0000443
Chad Rosier4f81fc22011-08-12 23:30:05 +0000444 for (InputList::iterator it = Inputs.begin(), ie = Inputs.end(); it != ie;) {
Chad Rosierd57133d2011-08-18 00:22:25 +0000445 bool IgnoreInput = false;
446
447 // Ignore input from stdin or any inputs that cannot be preprocessed.
Paul Robinsonf44157d2014-04-28 22:24:44 +0000448 // Check type first as not all linker inputs have a value.
449 if (types::getPreprocessedType(it->first) == types::TY_INVALID) {
450 IgnoreInput = true;
451 } else if (!strcmp(it->second->getValue(), "-")) {
Chad Rosierd57133d2011-08-18 00:22:25 +0000452 Diag(clang::diag::note_drv_command_failed_diag_msg)
453 << "Error generating preprocessed source(s) - ignoring input from stdin"
454 ".";
455 IgnoreInput = true;
Chad Rosierd57133d2011-08-18 00:22:25 +0000456 }
457
458 if (IgnoreInput) {
Chad Rosier4f81fc22011-08-12 23:30:05 +0000459 it = Inputs.erase(it);
460 ie = Inputs.end();
Chad Rosier6fdf38b2011-08-17 23:08:45 +0000461 } else {
Chad Rosier4f81fc22011-08-12 23:30:05 +0000462 ++it;
Chad Rosier6fdf38b2011-08-17 23:08:45 +0000463 }
Chad Rosier4f81fc22011-08-12 23:30:05 +0000464 }
Chad Rosierd57133d2011-08-18 00:22:25 +0000465
Chad Rosierc5103c32013-01-29 23:57:10 +0000466 if (Inputs.empty()) {
467 Diag(clang::diag::note_drv_command_failed_diag_msg)
468 << "Error generating preprocessed source(s) - no preprocessable inputs.";
469 return;
470 }
471
Chad Rosiere75ef402011-09-06 23:52:36 +0000472 // Don't attempt to generate preprocessed files if multiple -arch options are
Chad Rosier636d2832012-02-13 18:16:28 +0000473 // used, unless they're all duplicates.
474 llvm::StringSet<> ArchNames;
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000475 for (const Arg *A : C.getArgs()) {
Chad Rosiere75ef402011-09-06 23:52:36 +0000476 if (A->getOption().matches(options::OPT_arch)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000477 StringRef ArchName = A->getValue();
Chad Rosier636d2832012-02-13 18:16:28 +0000478 ArchNames.insert(ArchName);
Chad Rosiere75ef402011-09-06 23:52:36 +0000479 }
480 }
Chad Rosier636d2832012-02-13 18:16:28 +0000481 if (ArchNames.size() > 1) {
482 Diag(clang::diag::note_drv_command_failed_diag_msg)
483 << "Error generating preprocessed source(s) - cannot generate "
484 "preprocessed source with multiple -arch options.";
485 return;
486 }
Chad Rosiere75ef402011-09-06 23:52:36 +0000487
Chandler Carruth7f1417f2012-01-24 10:43:44 +0000488 // Construct the list of abstract actions to perform for this compilation. On
489 // Darwin OSes this uses the driver-driver and builds universal actions.
Chandler Carruthcb916192012-01-25 08:49:21 +0000490 const ToolChain &TC = C.getDefaultToolChain();
Tim Northover157d9112014-01-16 08:48:16 +0000491 if (TC.getTriple().isOSBinFormatMachO())
Chandler Carruthcb916192012-01-25 08:49:21 +0000492 BuildUniversalActions(TC, C.getArgs(), Inputs, C.getActions());
Chad Rosierbe10f982011-08-02 17:58:04 +0000493 else
Chandler Carruthcb916192012-01-25 08:49:21 +0000494 BuildActions(TC, C.getArgs(), Inputs, C.getActions());
Chad Rosierbe10f982011-08-02 17:58:04 +0000495
496 BuildJobs(C);
497
498 // If there were errors building the compilation, quit now.
Richard Smith5bb4cdf2012-12-20 02:22:15 +0000499 if (Trap.hasErrorOccurred()) {
Chad Rosierbe10f982011-08-02 17:58:04 +0000500 Diag(clang::diag::note_drv_command_failed_diag_msg)
501 << "Error generating preprocessed source(s).";
502 return;
503 }
504
505 // Generate preprocessed output.
Chad Rosierdd60e092013-01-29 20:15:05 +0000506 SmallVector<std::pair<int, const Command *>, 4> FailingCommands;
507 C.ExecuteJob(C.getJobs(), FailingCommands);
Chad Rosierbe10f982011-08-02 17:58:04 +0000508
Justin Bognerbc89b182014-10-20 21:20:27 +0000509 // If any of the preprocessing commands failed, clean up and exit.
510 if (!FailingCommands.empty()) {
Reid Kleckner68eb60b2015-02-02 22:41:48 +0000511 if (!isSaveTempsEnabled())
Chad Rosierbe10f982011-08-02 17:58:04 +0000512 C.CleanupFileList(C.getTempFiles(), true);
513
514 Diag(clang::diag::note_drv_command_failed_diag_msg)
515 << "Error generating preprocessed source(s).";
Justin Bognerbc89b182014-10-20 21:20:27 +0000516 return;
Chad Rosierbe10f982011-08-02 17:58:04 +0000517 }
Justin Bognerbc89b182014-10-20 21:20:27 +0000518
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000519 const ArgStringList &TempFiles = C.getTempFiles();
520 if (TempFiles.empty()) {
521 Diag(clang::diag::note_drv_command_failed_diag_msg)
522 << "Error generating preprocessed source(s).";
523 return;
524 }
525
Justin Bognerbc89b182014-10-20 21:20:27 +0000526 Diag(clang::diag::note_drv_command_failed_diag_msg)
527 << "\n********************\n\n"
528 "PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:\n"
529 "Preprocessed source(s) and associated run script(s) are located at:";
Justin Bognerbc89b182014-10-20 21:20:27 +0000530
Justin Bogner659ecc32014-10-20 22:47:23 +0000531 SmallString<128> VFS;
532 for (const char *TempFile : TempFiles) {
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000533 Diag(clang::diag::note_drv_command_failed_diag_msg) << TempFile;
Justin Bogner659ecc32014-10-20 22:47:23 +0000534 if (StringRef(TempFile).endswith(".cache")) {
535 // In some cases (modules) we'll dump extra data to help with reproducing
536 // the crash into a directory next to the output.
537 VFS = llvm::sys::path::filename(TempFile);
538 llvm::sys::path::append(VFS, "vfs", "vfs.yaml");
539 }
540 }
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000541
542 // Assume associated files are based off of the first temporary file.
Justin Bogner25645152014-10-21 17:24:44 +0000543 CrashReportInfo CrashInfo(TempFiles[0], VFS);
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000544
Justin Bogner25645152014-10-21 17:24:44 +0000545 std::string Script = CrashInfo.Filename.rsplit('.').first.str() + ".sh";
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000546 std::error_code EC;
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000547 llvm::raw_fd_ostream ScriptOS(Script, EC, llvm::sys::fs::F_Excl);
548 if (EC) {
549 Diag(clang::diag::note_drv_command_failed_diag_msg)
550 << "Error generating run script: " + Script + " " + EC.message();
551 } else {
Justin Bogner42220ed2015-03-12 00:14:35 +0000552 ScriptOS << "# Crash reproducer for " << getClangFullVersion() << "\n"
553 << "# Original command: ";
554 Cmd.Print(ScriptOS, "\n", /*Quote=*/true);
Justin Bogner33bdbc62014-10-21 18:03:08 +0000555 Cmd.Print(ScriptOS, "\n", /*Quote=*/true, &CrashInfo);
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000556 Diag(clang::diag::note_drv_command_failed_diag_msg) << Script;
Justin Bognerbc89b182014-10-20 21:20:27 +0000557 }
Saleem Abdulrasool3661a822015-01-12 02:33:09 +0000558
559 for (const auto &A : C.getArgs().filtered(options::OPT_frewrite_map_file,
560 options::OPT_frewrite_map_file_EQ))
561 Diag(clang::diag::note_drv_command_failed_diag_msg) << A->getValue();
562
Justin Bognerbc89b182014-10-20 21:20:27 +0000563 Diag(clang::diag::note_drv_command_failed_diag_msg)
564 << "\n\n********************";
Chad Rosierbe10f982011-08-02 17:58:04 +0000565}
566
Reid Kleckner0290c9c2014-09-15 17:45:39 +0000567void Driver::setUpResponseFiles(Compilation &C, Job &J) {
568 if (JobList *Jobs = dyn_cast<JobList>(&J)) {
Justin Bogneraab97922014-10-03 01:04:53 +0000569 for (auto &Job : *Jobs)
570 setUpResponseFiles(C, Job);
Reid Kleckner0290c9c2014-09-15 17:45:39 +0000571 return;
572 }
573
574 Command *CurCommand = dyn_cast<Command>(&J);
575 if (!CurCommand)
576 return;
577
578 // Since argumentsFitWithinSystemLimits() may underestimate system's capacity
579 // if the tool does not support response files, there is a chance/ that things
580 // will just work without a response file, so we silently just skip it.
581 if (CurCommand->getCreator().getResponseFilesSupport() == Tool::RF_None ||
582 llvm::sys::argumentsFitWithinSystemLimits(CurCommand->getArguments()))
583 return;
584
585 std::string TmpName = GetTemporaryPath("response", "txt");
586 CurCommand->setResponseFile(C.addTempFile(C.getArgs().MakeArgString(
587 TmpName.c_str())));
588}
589
590int Driver::ExecuteCompilation(Compilation &C,
591 SmallVectorImpl< std::pair<int, const Command *> > &FailingCommands) {
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000592 // Just print if -### was present.
593 if (C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
Hans Wennborgb212b342013-09-12 18:23:34 +0000594 C.getJobs().Print(llvm::errs(), "\n", true);
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000595 return 0;
596 }
597
598 // If there were errors building the compilation, quit now.
Chad Rosierbe10f982011-08-02 17:58:04 +0000599 if (Diags.hasErrorOccurred())
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000600 return 1;
601
Reid Kleckner0290c9c2014-09-15 17:45:39 +0000602 // Set up response file names for each command, if necessary
603 setUpResponseFiles(C, C.getJobs());
604
Chad Rosierdd60e092013-01-29 20:15:05 +0000605 C.ExecuteJob(C.getJobs(), FailingCommands);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000606
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000607 // Remove temp files.
608 C.CleanupFileList(C.getTempFiles());
609
Daniel Dunbar07494792010-05-22 00:37:20 +0000610 // If the command succeeded, we are done.
Chad Rosierdd60e092013-01-29 20:15:05 +0000611 if (FailingCommands.empty())
612 return 0;
Daniel Dunbar07494792010-05-22 00:37:20 +0000613
Chad Rosierdd60e092013-01-29 20:15:05 +0000614 // Otherwise, remove result files and print extra information about abnormal
615 // failures.
Douglas Katzman6bbffc42015-06-25 18:51:37 +0000616 for (const auto &CmdPair : FailingCommands) {
617 int Res = CmdPair.first;
618 const Command *FailingCommand = CmdPair.second;
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000619
Chad Rosierdd60e092013-01-29 20:15:05 +0000620 // Remove result files if we're not saving temps.
Reid Kleckner68eb60b2015-02-02 22:41:48 +0000621 if (!isSaveTempsEnabled()) {
Chad Rosierdd60e092013-01-29 20:15:05 +0000622 const JobAction *JA = cast<JobAction>(&FailingCommand->getSource());
623 C.CleanupFileMap(C.getResultFiles(), JA, true);
624
625 // Failure result files are valid unless we crashed.
626 if (Res < 0)
627 C.CleanupFileMap(C.getFailureResultFiles(), JA, true);
628 }
629
630 // Print extra information about abnormal failures, if possible.
631 //
632 // This is ad-hoc, but we don't want to be excessively noisy. If the result
Justin Bogner5aaf2e72014-06-26 20:59:36 +0000633 // status was 1, assume the command failed normally. In particular, if it
Chad Rosierdd60e092013-01-29 20:15:05 +0000634 // was the compiler then assume it gave a reasonable error code. Failures
635 // in other tools are less common, and they generally have worse
636 // diagnostics, so always print the diagnostic there.
637 const Tool &FailingTool = FailingCommand->getCreator();
638
639 if (!FailingCommand->getCreator().hasGoodDiagnostics() || Res != 1) {
640 // FIXME: See FIXME above regarding result code interpretation.
641 if (Res < 0)
642 Diag(clang::diag::err_drv_command_signalled)
643 << FailingTool.getShortName();
644 else
645 Diag(clang::diag::err_drv_command_failed)
646 << FailingTool.getShortName() << Res;
647 }
Peter Collingbourne119cfaa2011-11-21 00:01:05 +0000648 }
Chad Rosierdd60e092013-01-29 20:15:05 +0000649 return 0;
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000650}
651
Daniel Dunbara7b5e212009-04-15 16:34:29 +0000652void Driver::PrintHelp(bool ShowHidden) const {
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000653 unsigned IncludedFlagsBitmask;
654 unsigned ExcludedFlagsBitmask;
Benjamin Kramer867ea1d2014-03-02 13:01:17 +0000655 std::tie(IncludedFlagsBitmask, ExcludedFlagsBitmask) =
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000656 getIncludeExcludeOptionFlagMasks();
657
658 ExcludedFlagsBitmask |= options::NoDriverOption;
659 if (!ShowHidden)
660 ExcludedFlagsBitmask |= HelpHidden;
661
662 getOpts().PrintHelp(llvm::outs(), Name.c_str(), DriverTitle.c_str(),
663 IncludedFlagsBitmask, ExcludedFlagsBitmask);
Daniel Dunbar7c925282009-03-31 21:38:17 +0000664}
665
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000666void Driver::PrintVersion(const Compilation &C, raw_ostream &OS) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000667 // FIXME: The following handlers should use a callback mechanism, we don't
668 // know what the client would like to do.
Ted Kremenek4c0df3d2010-01-23 02:11:34 +0000669 OS << getClangFullVersion() << '\n';
Daniel Dunbarb10248802009-03-26 16:09:13 +0000670 const ToolChain &TC = C.getDefaultToolChain();
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000671 OS << "Target: " << TC.getTripleString() << '\n';
Daniel Dunbar10978e42009-06-16 23:32:58 +0000672
673 // Print the threading model.
Jonathan Roelofsb140a102014-10-03 21:57:44 +0000674 if (Arg *A = C.getArgs().getLastArg(options::OPT_mthread_model)) {
675 // Don't print if the ToolChain would have barfed on it already
676 if (TC.isThreadModelSupported(A->getValue()))
677 OS << "Thread model: " << A->getValue();
678 } else
679 OS << "Thread model: " << TC.getThreadModel();
680 OS << '\n';
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000681}
682
Chris Lattner86ed5b02010-05-05 05:53:24 +0000683/// PrintDiagnosticCategories - Implement the --print-diagnostic-categories
684/// option.
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000685static void PrintDiagnosticCategories(raw_ostream &OS) {
Argyrios Kyrtzidis0e37afa2011-05-25 05:05:01 +0000686 // Skip the empty category.
687 for (unsigned i = 1, max = DiagnosticIDs::getNumberOfCategories();
688 i != max; ++i)
689 OS << i << ',' << DiagnosticIDs::getCategoryNameFromID(i) << '\n';
Chris Lattner86ed5b02010-05-05 05:53:24 +0000690}
691
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000692bool Driver::HandleImmediateArgs(const Compilation &C) {
Daniel Dunbar18974bd2010-06-11 22:00:19 +0000693 // The order these options are handled in gcc is all over the place, but we
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000694 // don't expect inconsistencies w.r.t. that to matter in practice.
Daniel Dunbar7c925282009-03-31 21:38:17 +0000695
Daniel Dunbar1b09e042010-09-17 02:47:28 +0000696 if (C.getArgs().hasArg(options::OPT_dumpmachine)) {
697 llvm::outs() << C.getDefaultToolChain().getTripleString() << '\n';
698 return false;
699 }
700
Daniel Dunbara9bbcfa2009-04-04 05:17:38 +0000701 if (C.getArgs().hasArg(options::OPT_dumpversion)) {
Daniel Dunbare26e5002011-01-12 00:43:47 +0000702 // Since -dumpversion is only implemented for pedantic GCC compatibility, we
703 // return an answer which matches our definition of __VERSION__.
704 //
705 // If we want to return a more correct answer some day, then we should
706 // introduce a non-pedantically GCC compatible mode to Clang in which we
707 // provide sensible definitions for -dumpversion, __VERSION__, etc.
708 llvm::outs() << "4.2.1\n";
Daniel Dunbara9bbcfa2009-04-04 05:17:38 +0000709 return false;
710 }
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000711
Chris Lattner86ed5b02010-05-05 05:53:24 +0000712 if (C.getArgs().hasArg(options::OPT__print_diagnostic_categories)) {
713 PrintDiagnosticCategories(llvm::outs());
714 return false;
715 }
Daniel Dunbara9bbcfa2009-04-04 05:17:38 +0000716
James Molloya3c85b82012-05-01 14:57:16 +0000717 if (C.getArgs().hasArg(options::OPT_help) ||
Daniel Dunbara7b5e212009-04-15 16:34:29 +0000718 C.getArgs().hasArg(options::OPT__help_hidden)) {
719 PrintHelp(C.getArgs().hasArg(options::OPT__help_hidden));
Daniel Dunbar7c925282009-03-31 21:38:17 +0000720 return false;
721 }
722
Daniel Dunbarb0006ae2009-04-02 15:05:41 +0000723 if (C.getArgs().hasArg(options::OPT__version)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000724 // Follow gcc behavior and use stdout for --version and stderr for -v.
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000725 PrintVersion(C, llvm::outs());
Daniel Dunbarb0006ae2009-04-02 15:05:41 +0000726 return false;
727 }
728
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000729 if (C.getArgs().hasArg(options::OPT_v) ||
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000730 C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000731 PrintVersion(C, llvm::errs());
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000732 SuppressMissingInputWarning = true;
733 }
734
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000735 const ToolChain &TC = C.getDefaultToolChain();
Chandler Carruth0ae39aa2013-07-30 17:57:09 +0000736
737 if (C.getArgs().hasArg(options::OPT_v))
738 TC.printVerboseInfo(llvm::errs());
739
Daniel Dunbard972e222009-03-20 04:37:21 +0000740 if (C.getArgs().hasArg(options::OPT_print_search_dirs)) {
741 llvm::outs() << "programs: =";
Douglas Katzman51fe7bf2015-06-23 22:43:50 +0000742 bool separator = false;
743 for (const std::string &Path : TC.getProgramPaths()) {
744 if (separator) llvm::outs() << ':';
745 llvm::outs() << Path;
746 separator = true;
Daniel Dunbard972e222009-03-20 04:37:21 +0000747 }
748 llvm::outs() << "\n";
Peter Collingbournefa9771f2011-09-06 02:08:31 +0000749 llvm::outs() << "libraries: =" << ResourceDir;
Joerg Sonnenberger9c3e69b2011-07-16 10:50:05 +0000750
Sebastian Pop980920a2012-04-16 04:16:43 +0000751 StringRef sysroot = C.getSysRoot();
Joerg Sonnenberger9c3e69b2011-07-16 10:50:05 +0000752
Douglas Katzman51fe7bf2015-06-23 22:43:50 +0000753 for (const std::string &Path : TC.getFilePaths()) {
754 // Always print a separator. ResourceDir was the first item shown.
Peter Collingbournefa9771f2011-09-06 02:08:31 +0000755 llvm::outs() << ':';
Douglas Katzman51fe7bf2015-06-23 22:43:50 +0000756 // Interpretation of leading '=' is needed only for NetBSD.
757 if (Path[0] == '=')
Douglas Katzman26eabf62015-06-24 15:10:30 +0000758 llvm::outs() << sysroot << Path.substr(1);
Joerg Sonnenberger9c3e69b2011-07-16 10:50:05 +0000759 else
Douglas Katzman51fe7bf2015-06-23 22:43:50 +0000760 llvm::outs() << Path;
Daniel Dunbard972e222009-03-20 04:37:21 +0000761 }
762 llvm::outs() << "\n";
Daniel Dunbar7c925282009-03-31 21:38:17 +0000763 return false;
Daniel Dunbard972e222009-03-20 04:37:21 +0000764 }
765
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000766 // FIXME: The following handlers should use a callback mechanism, we don't
767 // know what the client would like to do.
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000768 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_file_name_EQ)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000769 llvm::outs() << GetFilePath(A->getValue(), TC) << "\n";
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000770 return false;
771 }
772
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000773 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_prog_name_EQ)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000774 llvm::outs() << GetProgramPath(A->getValue(), TC) << "\n";
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000775 return false;
776 }
777
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000778 if (C.getArgs().hasArg(options::OPT_print_libgcc_file_name)) {
Daniel Dunbar1ce81532009-09-09 22:33:00 +0000779 llvm::outs() << GetFilePath("libgcc.a", TC) << "\n";
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000780 return false;
781 }
782
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000783 if (C.getArgs().hasArg(options::OPT_print_multi_lib)) {
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000784 const MultilibSet &Multilibs = TC.getMultilibs();
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000785
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000786 for (MultilibSet::const_iterator I = Multilibs.begin(), E = Multilibs.end();
787 I != E; ++I) {
788 llvm::outs() << *I << "\n";
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000789 }
790 return false;
791 }
792
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000793 if (C.getArgs().hasArg(options::OPT_print_multi_directory)) {
Douglas Katzman6bbffc42015-06-25 18:51:37 +0000794 for (const auto &Multilib : TC.getMultilibs()) {
795 if (Multilib.gccSuffix().empty())
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000796 llvm::outs() << ".\n";
797 else {
Douglas Katzman6bbffc42015-06-25 18:51:37 +0000798 StringRef Suffix(Multilib.gccSuffix());
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000799 assert(Suffix.front() == '/');
800 llvm::outs() << Suffix.substr(1) << "\n";
801 }
Jonathan Roelofs3fa96d82014-02-12 01:36:51 +0000802 }
Jonathan Roelofs0e7ec602014-02-12 01:29:25 +0000803 return false;
804 }
805
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000806 if (C.getArgs().hasArg(options::OPT_print_multi_os_directory)) {
807 // FIXME: This should print out "lib/../lib", "lib/../lib64", or
808 // "lib/../lib32" as appropriate for the toolchain. For now, print
809 // nothing because it's not supported yet.
810 return false;
811 }
812
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000813 return true;
814}
815
Douglas Katzmanfd528672015-06-11 15:05:22 +0000816// Display an action graph human-readably. Action A is the "sink" node
817// and latest-occuring action. Traversal is in pre-order, visiting the
818// inputs to each action before printing the action itself.
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000819static unsigned PrintActions1(const Compilation &C, Action *A,
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000820 std::map<Action*, unsigned> &Ids) {
Douglas Katzmanfd528672015-06-11 15:05:22 +0000821 if (Ids.count(A)) // A was already visited.
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000822 return Ids[A];
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000823
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000824 std::string str;
825 llvm::raw_string_ostream os(str);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000826
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000827 os << Action::getClassName(A->getKind()) << ", ";
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000828 if (InputAction *IA = dyn_cast<InputAction>(A)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000829 os << "\"" << IA->getInputArg().getValue() << "\"";
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000830 } else if (BindArchAction *BIA = dyn_cast<BindArchAction>(A)) {
Douglas Katzmanb7e8ef02015-06-25 19:37:41 +0000831 os << '"' << BIA->getArchName() << '"' << ", {"
832 << PrintActions1(C, *BIA->begin(), Ids) << "}";
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000833 } else {
Douglas Katzmanb7e8ef02015-06-25 19:37:41 +0000834 const char *Prefix = "{";
835 for (Action *PreRequisite : *A) {
836 os << Prefix << PrintActions1(C, PreRequisite, Ids);
837 Prefix = ", ";
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000838 }
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
Douglas Katzmanfd528672015-06-11 15:05:22 +0000850// Print the action graphs in a compilation C.
851// For example "clang -c file1.c file2.c" is composed of two subgraphs.
Daniel Dunbareb843be2009-03-18 03:13:20 +0000852void Driver::PrintActions(const Compilation &C) const {
Douglas Katzmanb7e8ef02015-06-25 19:37:41 +0000853 std::map<Action *, unsigned> Ids;
854 for (Action *A : C.getActions())
855 PrintActions1(C, A, Ids);
Daniel Dunbar1688f1a2009-03-12 07:58:46 +0000856}
857
Joerg Sonnenberger5fe4a7d2011-05-06 14:05:11 +0000858/// \brief Check whether the given input tree contains any compilation or
859/// assembly actions.
860static bool ContainsCompileOrAssembleAction(const Action *A) {
Bob Wilson23a55f12014-12-21 07:00:00 +0000861 if (isa<CompileJobAction>(A) ||
862 isa<BackendJobAction>(A) ||
863 isa<AssembleJobAction>(A))
Daniel Dunbar00d3d8e2010-06-29 16:38:33 +0000864 return true;
865
866 for (Action::const_iterator it = A->begin(), ie = A->end(); it != ie; ++it)
Joerg Sonnenberger5fe4a7d2011-05-06 14:05:11 +0000867 if (ContainsCompileOrAssembleAction(*it))
Daniel Dunbar00d3d8e2010-06-29 16:38:33 +0000868 return true;
869
870 return false;
871}
872
Daniel Dunbara36c2b32010-08-02 05:43:51 +0000873void Driver::BuildUniversalActions(const ToolChain &TC,
Hans Wennborg13b7fe72013-08-12 23:26:25 +0000874 DerivedArgList &Args,
Chad Rosierecdede82011-08-12 22:08:57 +0000875 const InputList &BAInputs,
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000876 ActionList &Actions) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000877 llvm::PrettyStackTraceString CrashInfo("Building universal build actions");
878 // Collect the list of architectures. Duplicates are allowed, but should only
879 // be handled once (in the order seen).
Daniel Dunbare5dc4822009-03-13 20:33:35 +0000880 llvm::StringSet<> ArchNames;
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000881 SmallVector<const char *, 4> Archs;
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000882 for (Arg *A : Args) {
Daniel Dunbar0bfb21e2009-11-19 03:26:40 +0000883 if (A->getOption().matches(options::OPT_arch)) {
Daniel Dunbar9c3f7c42009-09-08 23:37:30 +0000884 // Validate the option here; we don't save the type here because its
885 // particular spelling may participate in other driver choices.
886 llvm::Triple::ArchType Arch =
Tim Northover157d9112014-01-16 08:48:16 +0000887 tools::darwin::getArchTypeForMachOArchName(A->getValue());
Daniel Dunbar9c3f7c42009-09-08 23:37:30 +0000888 if (Arch == llvm::Triple::UnknownArch) {
889 Diag(clang::diag::err_drv_invalid_arch_name)
890 << A->getAsString(Args);
891 continue;
892 }
893
Daniel Dunbar2da02722009-03-19 07:55:12 +0000894 A->claim();
David Blaikie61b86d42014-11-19 02:56:13 +0000895 if (ArchNames.insert(A->getValue()).second)
Richard Smithbd55daf2012-11-01 04:30:05 +0000896 Archs.push_back(A->getValue());
Daniel Dunbarf479c122009-03-12 18:40:18 +0000897 }
898 }
899
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000900 // When there is no explicit arch for this platform, make sure we still bind
901 // the architecture (to the default) so that -Xarch_ is handled correctly.
Daniel Dunbareb843be2009-03-18 03:13:20 +0000902 if (!Archs.size())
Daniel Dunbarc3bd9f52012-11-08 03:38:26 +0000903 Archs.push_back(Args.MakeArgString(TC.getDefaultUniversalArchName()));
Daniel Dunbarf479c122009-03-12 18:40:18 +0000904
Daniel Dunbarf479c122009-03-12 18:40:18 +0000905 ActionList SingleActions;
Chad Rosierecdede82011-08-12 22:08:57 +0000906 BuildActions(TC, Args, BAInputs, SingleActions);
Daniel Dunbarf479c122009-03-12 18:40:18 +0000907
Daniel Dunbar6beaf512010-06-04 18:28:41 +0000908 // Add in arch bindings for every top level action, as well as lipo and
909 // dsymutil steps if needed.
Daniel Dunbarf479c122009-03-12 18:40:18 +0000910 for (unsigned i = 0, e = SingleActions.size(); i != e; ++i) {
911 Action *Act = SingleActions[i];
912
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000913 // Make sure we can lipo this kind of output. If not (and it is an actual
914 // output) then we disallow, since we can't create an output file with the
915 // right name without overwriting it. We could remove this oddity by just
916 // changing the output names to include the arch, which would also fix
Daniel Dunbarf479c122009-03-12 18:40:18 +0000917 // -save-temps. Compatibility wins for now.
918
Daniel Dunbare2ca3bd2009-03-13 17:46:02 +0000919 if (Archs.size() > 1 && !types::canLipoType(Act->getType()))
Daniel Dunbarf479c122009-03-12 18:40:18 +0000920 Diag(clang::diag::err_drv_invalid_output_with_multiple_archs)
921 << types::getTypeName(Act->getType());
922
923 ActionList Inputs;
Daniel Dunbar66187b32010-03-11 18:04:58 +0000924 for (unsigned i = 0, e = Archs.size(); i != e; ++i) {
David Blaikie486f4402014-08-29 07:25:23 +0000925 Inputs.push_back(
926 new BindArchAction(std::unique_ptr<Action>(Act), Archs[i]));
Daniel Dunbar66187b32010-03-11 18:04:58 +0000927 if (i != 0)
928 Inputs.back()->setOwnsInputs(false);
929 }
Daniel Dunbarf479c122009-03-12 18:40:18 +0000930
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000931 // Lipo if necessary, we do it this way because we need to set the arch flag
932 // so that -Xarch_ gets overwritten.
Daniel Dunbarf479c122009-03-12 18:40:18 +0000933 if (Inputs.size() == 1 || Act->getType() == types::TY_Nothing)
934 Actions.append(Inputs.begin(), Inputs.end());
935 else
936 Actions.push_back(new LipoJobAction(Inputs, Act->getType()));
Daniel Dunbar6beaf512010-06-04 18:28:41 +0000937
Eric Christopher65c05fa2012-02-06 19:43:51 +0000938 // Handle debug info queries.
939 Arg *A = Args.getLastArg(options::OPT_g_Group);
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000940 if (A && !A->getOption().matches(options::OPT_g0) &&
941 !A->getOption().matches(options::OPT_gstabs) &&
942 ContainsCompileOrAssembleAction(Actions.back())) {
Chad Rosier62135492012-07-09 17:31:28 +0000943
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000944 // Add a 'dsymutil' step if necessary, when debug info is enabled and we
945 // have a compile input. We need to run 'dsymutil' ourselves in such cases
Eric Christopher776c26f2013-01-28 17:39:03 +0000946 // because the debug info will refer to a temporary object file which
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000947 // will be removed at the end of the compilation process.
948 if (Act->getType() == types::TY_Image) {
949 ActionList Inputs;
950 Inputs.push_back(Actions.back());
951 Actions.pop_back();
952 Actions.push_back(new DsymutilJobAction(Inputs, types::TY_dSYM));
Daniel Dunbar6beaf512010-06-04 18:28:41 +0000953 }
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000954
Ben Langmuir9b9a8d32014-02-06 18:53:25 +0000955 // Verify the debug info output.
Alp Tokere9d2bfc2014-01-17 02:06:23 +0000956 if (Args.hasArg(options::OPT_verify_debug_info)) {
David Blaikie486f4402014-08-29 07:25:23 +0000957 std::unique_ptr<Action> VerifyInput(Actions.back());
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000958 Actions.pop_back();
David Blaikie486f4402014-08-29 07:25:23 +0000959 Actions.push_back(new VerifyDebugInfoJobAction(std::move(VerifyInput),
Ben Langmuir9b9a8d32014-02-06 18:53:25 +0000960 types::TY_Nothing));
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000961 }
962 }
Daniel Dunbarf479c122009-03-12 18:40:18 +0000963 }
Daniel Dunbar1688f1a2009-03-12 07:58:46 +0000964}
965
Hans Wennborg6ee64d52013-08-06 00:20:31 +0000966/// \brief Check that the file referenced by Value exists. If it doesn't,
967/// issue a diagnostic and return false.
Alp Toker8c8a8752013-12-03 06:53:35 +0000968static bool DiagnoseInputExistence(const Driver &D, const DerivedArgList &Args,
Hans Wennborg6ee64d52013-08-06 00:20:31 +0000969 StringRef Value) {
970 if (!D.getCheckInputsExist())
971 return true;
972
973 // stdin always exists.
974 if (Value == "-")
975 return true;
976
977 SmallString<64> Path(Value);
978 if (Arg *WorkDir = Args.getLastArg(options::OPT_working_directory)) {
Yaron Keren92e1b622015-03-18 10:17:07 +0000979 if (!llvm::sys::path::is_absolute(Path)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +0000980 SmallString<64> Directory(WorkDir->getValue());
981 llvm::sys::path::append(Directory, Value);
982 Path.assign(Directory);
983 }
984 }
985
986 if (llvm::sys::fs::exists(Twine(Path)))
987 return true;
988
Nico Weber1f0f1652015-04-24 22:16:53 +0000989 if (D.IsCLMode() && !llvm::sys::path::is_absolute(Twine(Path)) &&
990 llvm::sys::Process::FindInEnvPath("LIB", Value))
Hans Wennborg23d26a32014-06-18 17:21:50 +0000991 return true;
992
Yaron Keren92e1b622015-03-18 10:17:07 +0000993 D.Diag(clang::diag::err_drv_no_such_file) << Path;
Hans Wennborg6ee64d52013-08-06 00:20:31 +0000994 return false;
995}
996
Chad Rosierecdede82011-08-12 22:08:57 +0000997// Construct a the list of inputs and their types.
Hans Wennborg55362852014-05-02 22:55:30 +0000998void Driver::BuildInputs(const ToolChain &TC, DerivedArgList &Args,
Chad Rosierecdede82011-08-12 22:08:57 +0000999 InputList &Inputs) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001000 // Track the current user specified (-x) input. We also explicitly track the
1001 // argument used to set the type; we only want to claim the type when we
1002 // actually use it, so we warn about unused -x arguments.
Daniel Dunbarc5a5ac52009-03-13 17:57:10 +00001003 types::ID InputType = types::TY_Nothing;
Craig Topper92fc2df2014-05-17 16:56:41 +00001004 Arg *InputTypeArg = nullptr;
Daniel Dunbarc5a5ac52009-03-13 17:57:10 +00001005
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001006 // The last /TC or /TP option sets the input type to C or C++ globally.
Ehsan Akhgaric249abb2014-09-12 21:44:24 +00001007 if (Arg *TCTP = Args.getLastArgNoClaim(options::OPT__SLASH_TC,
1008 options::OPT__SLASH_TP)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001009 InputTypeArg = TCTP;
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001010 InputType = TCTP->getOption().matches(options::OPT__SLASH_TC)
1011 ? types::TY_C : types::TY_CXX;
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001012
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001013 arg_iterator it = Args.filtered_begin(options::OPT__SLASH_TC,
1014 options::OPT__SLASH_TP);
1015 const arg_iterator ie = Args.filtered_end();
1016 Arg *Previous = *it++;
1017 bool ShowNote = false;
1018 while (it != ie) {
Hans Wennborgd9ad0682013-09-11 16:38:41 +00001019 Diag(clang::diag::warn_drv_overriding_flag_option)
1020 << Previous->getSpelling() << (*it)->getSpelling();
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001021 Previous = *it++;
1022 ShowNote = true;
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001023 }
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001024 if (ShowNote)
1025 Diag(clang::diag::note_drv_t_option_is_global);
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001026
1027 // No driver mode exposes -x and /TC or /TP; we don't support mixing them.
1028 assert(!Args.hasArg(options::OPT_x) && "-x and /TC or /TP is not allowed");
1029 }
1030
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001031 for (Arg *A : Args) {
Michael J. Spencerad3ccc32012-08-20 21:41:17 +00001032 if (A->getOption().getKind() == Option::InputClass) {
Richard Smithbd55daf2012-11-01 04:30:05 +00001033 const char *Value = A->getValue();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001034 types::ID Ty = types::TY_INVALID;
1035
1036 // Infer the input type if necessary.
Daniel Dunbarc5a5ac52009-03-13 17:57:10 +00001037 if (InputType == types::TY_Nothing) {
1038 // If there was an explicit arg for this, claim it.
1039 if (InputTypeArg)
1040 InputTypeArg->claim();
1041
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001042 // stdin must be handled specially.
1043 if (memcmp(Value, "-", 2) == 0) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001044 // If running with -E, treat as a C input (this changes the builtin
1045 // macros, for example). This may be overridden by -ObjC below.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001046 //
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001047 // Otherwise emit an error but still use a valid type to avoid
1048 // spurious errors (e.g., no inputs).
Hans Wennborg70850d82013-07-18 20:29:38 +00001049 if (!Args.hasArgNoClaim(options::OPT_E) && !CCCIsCPP())
Hans Wennborgcfdd8b52014-01-29 01:04:40 +00001050 Diag(IsCLMode() ? clang::diag::err_drv_unknown_stdin_type_clang_cl
1051 : clang::diag::err_drv_unknown_stdin_type);
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001052 Ty = types::TY_C;
1053 } else {
Joerg Sonnenbergerbdbdf702011-03-16 22:45:02 +00001054 // Otherwise lookup by extension.
1055 // Fallback is C if invoked as C preprocessor or Object otherwise.
1056 // We use a host hook here because Darwin at least has its own
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001057 // idea of what .s is.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001058 if (const char *Ext = strrchr(Value, '.'))
Daniel Dunbarcc7df6c2010-08-02 05:43:56 +00001059 Ty = TC.LookupTypeForExtension(Ext + 1);
Daniel Dunbarea9f0322009-03-20 23:39:23 +00001060
Joerg Sonnenbergerbdbdf702011-03-16 22:45:02 +00001061 if (Ty == types::TY_INVALID) {
Hans Wennborg70850d82013-07-18 20:29:38 +00001062 if (CCCIsCPP())
Joerg Sonnenbergerbdbdf702011-03-16 22:45:02 +00001063 Ty = types::TY_C;
1064 else
1065 Ty = types::TY_Object;
1066 }
Daniel Dunbar0ac94452010-02-17 20:32:58 +00001067
1068 // If the driver is invoked as C++ compiler (like clang++ or c++) it
1069 // should autodetect some input files as C++ for g++ compatibility.
Hans Wennborg70850d82013-07-18 20:29:38 +00001070 if (CCCIsCXX()) {
Daniel Dunbar0ac94452010-02-17 20:32:58 +00001071 types::ID OldTy = Ty;
1072 Ty = types::lookupCXXTypeForCType(Ty);
1073
1074 if (Ty != OldTy)
1075 Diag(clang::diag::warn_drv_treating_input_as_cxx)
1076 << getTypeName(OldTy) << getTypeName(Ty);
1077 }
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001078 }
1079
Daniel Dunbar82b22102009-05-18 21:47:54 +00001080 // -ObjC and -ObjC++ override the default language, but only for "source
1081 // files". We just treat everything that isn't a linker input as a
1082 // source file.
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001083 //
Daniel Dunbar82b22102009-05-18 21:47:54 +00001084 // FIXME: Clean this up if we move the phase sequence into the type.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001085 if (Ty != types::TY_Object) {
1086 if (Args.hasArg(options::OPT_ObjC))
1087 Ty = types::TY_ObjC;
1088 else if (Args.hasArg(options::OPT_ObjCXX))
1089 Ty = types::TY_ObjCXX;
1090 }
1091 } else {
1092 assert(InputTypeArg && "InputType set w/o InputTypeArg");
Ehsan Akhgari7e954ea2014-09-12 18:15:10 +00001093 if (!InputTypeArg->getOption().matches(options::OPT_x)) {
1094 // If emulating cl.exe, make sure that /TC and /TP don't affect input
1095 // object files.
1096 const char *Ext = strrchr(Value, '.');
1097 if (Ext && TC.LookupTypeForExtension(Ext + 1) == types::TY_Object)
1098 Ty = types::TY_Object;
1099 }
1100 if (Ty == types::TY_INVALID) {
1101 Ty = InputType;
1102 InputTypeArg->claim();
1103 }
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001104 }
1105
Alp Toker8c8a8752013-12-03 06:53:35 +00001106 if (DiagnoseInputExistence(*this, Args, Value))
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001107 Inputs.push_back(std::make_pair(Ty, A));
1108
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001109 } else if (A->getOption().matches(options::OPT__SLASH_Tc)) {
1110 StringRef Value = A->getValue();
Alp Toker8c8a8752013-12-03 06:53:35 +00001111 if (DiagnoseInputExistence(*this, Args, Value)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001112 Arg *InputArg = MakeInputArg(Args, Opts, A->getValue());
1113 Inputs.push_back(std::make_pair(types::TY_C, InputArg));
1114 }
1115 A->claim();
1116 } else if (A->getOption().matches(options::OPT__SLASH_Tp)) {
1117 StringRef Value = A->getValue();
Alp Toker8c8a8752013-12-03 06:53:35 +00001118 if (DiagnoseInputExistence(*this, Args, Value)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001119 Arg *InputArg = MakeInputArg(Args, Opts, A->getValue());
1120 Inputs.push_back(std::make_pair(types::TY_CXX, InputArg));
1121 }
1122 A->claim();
Michael J. Spencer66e2b202012-10-19 22:37:06 +00001123 } else if (A->getOption().hasFlag(options::LinkerInput)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001124 // Just treat as object type, we could make a special type for this if
1125 // necessary.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001126 Inputs.push_back(std::make_pair(types::TY_Object, A));
1127
Daniel Dunbar0bfb21e2009-11-19 03:26:40 +00001128 } else if (A->getOption().matches(options::OPT_x)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001129 InputTypeArg = A;
Richard Smithbd55daf2012-11-01 04:30:05 +00001130 InputType = types::lookupTypeForTypeSpecifier(A->getValue());
Chad Rosier706c2352012-04-07 00:01:31 +00001131 A->claim();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001132
1133 // Follow gcc behavior and treat as linker input for invalid -x
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001134 // options. Its not clear why we shouldn't just revert to unknown; but
Michael J. Spencer1a4fe8c2010-12-17 21:22:33 +00001135 // this isn't very important, we might as well be bug compatible.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001136 if (!InputType) {
Richard Smithbd55daf2012-11-01 04:30:05 +00001137 Diag(clang::diag::err_drv_unknown_language) << A->getValue();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001138 InputType = types::TY_Object;
1139 }
1140 }
1141 }
Hans Wennborg70850d82013-07-18 20:29:38 +00001142 if (CCCIsCPP() && Inputs.empty()) {
Joerg Sonnenbergerb86f5f42011-03-06 23:31:01 +00001143 // If called as standalone preprocessor, stdin is processed
1144 // if no other input is present.
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001145 Arg *A = MakeInputArg(Args, Opts, "-");
Joerg Sonnenbergerb86f5f42011-03-06 23:31:01 +00001146 Inputs.push_back(std::make_pair(types::TY_C, A));
1147 }
Chad Rosierecdede82011-08-12 22:08:57 +00001148}
1149
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001150void Driver::BuildActions(const ToolChain &TC, DerivedArgList &Args,
Chad Rosierecdede82011-08-12 22:08:57 +00001151 const InputList &Inputs, ActionList &Actions) const {
1152 llvm::PrettyStackTraceString CrashInfo("Building compilation actions");
Joerg Sonnenbergerb86f5f42011-03-06 23:31:01 +00001153
Daniel Dunbar34c41872009-03-13 00:17:48 +00001154 if (!SuppressMissingInputWarning && Inputs.empty()) {
Daniel Dunbarbfeec742009-03-12 23:55:14 +00001155 Diag(clang::diag::err_drv_no_input_files);
1156 return;
1157 }
1158
Chad Rosier7742b5d2011-07-27 23:36:45 +00001159 Arg *FinalPhaseArg;
1160 phases::ID FinalPhase = getFinalPhase(Args, &FinalPhaseArg);
Daniel Dunbarbfeec742009-03-12 23:55:14 +00001161
Rafael Espindolae8025642013-08-25 14:27:09 +00001162 if (FinalPhase == phases::Link && Args.hasArg(options::OPT_emit_llvm)) {
1163 Diag(clang::diag::err_drv_emit_llvm_link);
1164 }
1165
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001166 // Reject -Z* at the top level, these options should never have been exposed
1167 // by gcc.
Daniel Dunbardd765242009-03-26 16:12:09 +00001168 if (Arg *A = Args.getLastArg(options::OPT_Z_Joined))
Daniel Dunbar0e759942009-03-20 06:14:23 +00001169 Diag(clang::diag::err_drv_use_of_Z_option) << A->getAsString(Args);
Daniel Dunbarbfeec742009-03-12 23:55:14 +00001170
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001171 // Diagnose misuse of /Fo.
1172 if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fo)) {
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001173 StringRef V = A->getValue();
Hans Wennborg61647532014-11-17 19:16:36 +00001174 if (Inputs.size() > 1 && !V.empty() &&
1175 !llvm::sys::path::is_separator(V.back())) {
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001176 // Check whether /Fo tries to name an output file for multiple inputs.
Hans Wennborg9c1659b2013-10-18 22:49:04 +00001177 Diag(clang::diag::err_drv_out_file_argument_with_multiple_sources)
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001178 << A->getSpelling() << V;
1179 Args.eraseArg(options::OPT__SLASH_Fo);
1180 }
1181 }
1182
Hans Wennborg9c1659b2013-10-18 22:49:04 +00001183 // Diagnose misuse of /Fa.
1184 if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fa)) {
1185 StringRef V = A->getValue();
Hans Wennborg61647532014-11-17 19:16:36 +00001186 if (Inputs.size() > 1 && !V.empty() &&
1187 !llvm::sys::path::is_separator(V.back())) {
Hans Wennborg9c1659b2013-10-18 22:49:04 +00001188 // Check whether /Fa tries to name an asm file for multiple inputs.
1189 Diag(clang::diag::err_drv_out_file_argument_with_multiple_sources)
1190 << A->getSpelling() << V;
1191 Args.eraseArg(options::OPT__SLASH_Fa);
1192 }
1193 }
1194
Ehsan Akhgari81f36b72014-09-11 18:16:21 +00001195 // Diagnose misuse of /o.
1196 if (Arg *A = Args.getLastArg(options::OPT__SLASH_o)) {
1197 if (A->getValue()[0] == '\0') {
1198 // It has to have a value.
1199 Diag(clang::diag::err_drv_missing_argument) << A->getSpelling() << 1;
1200 Args.eraseArg(options::OPT__SLASH_o);
1201 }
1202 }
1203
Daniel Dunbar65229332009-03-13 11:38:42 +00001204 // Construct the actions to perform.
1205 ActionList LinkerInputs;
Alp Toker965f8822013-11-27 05:22:15 +00001206
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001207 llvm::SmallVector<phases::ID, phases::MaxNumberOfPhases> PL;
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001208 for (unsigned i = 0, e = Inputs.size(); i != e; ++i) {
Daniel Dunbar65229332009-03-13 11:38:42 +00001209 types::ID InputType = Inputs[i].first;
1210 const Arg *InputArg = Inputs[i].second;
1211
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001212 PL.clear();
1213 types::getCompilationPhases(InputType, PL);
Daniel Dunbar65229332009-03-13 11:38:42 +00001214
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001215 // If the first step comes after the final phase we are doing as part of
1216 // this compilation, warn the user about it.
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001217 phases::ID InitialPhase = PL[0];
Daniel Dunbar65229332009-03-13 11:38:42 +00001218 if (InitialPhase > FinalPhase) {
Daniel Dunbaradc5c7c2009-03-19 07:57:08 +00001219 // Claim here to avoid the more general unused warning.
1220 InputArg->claim();
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001221
Daniel Dunbar2db3e732011-04-20 15:44:48 +00001222 // Suppress all unused style warnings with -Qunused-arguments
1223 if (Args.hasArg(options::OPT_Qunused_arguments))
1224 continue;
1225
Richard Smith403f76e2012-08-06 04:09:06 +00001226 // Special case when final phase determined by binary name, rather than
1227 // by a command-line argument with a corresponding Arg.
Hans Wennborg70850d82013-07-18 20:29:38 +00001228 if (CCCIsCPP())
Richard Smith403f76e2012-08-06 04:09:06 +00001229 Diag(clang::diag::warn_drv_input_file_unused_by_cpp)
1230 << InputArg->getAsString(Args)
1231 << getPhaseName(InitialPhase);
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001232 // Special case '-E' warning on a previously preprocessed file to make
1233 // more sense.
Richard Smith403f76e2012-08-06 04:09:06 +00001234 else if (InitialPhase == phases::Compile &&
1235 FinalPhase == phases::Preprocess &&
1236 getPreprocessedType(InputType) == types::TY_INVALID)
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001237 Diag(clang::diag::warn_drv_preprocessed_input_file_unused)
1238 << InputArg->getAsString(Args)
Richard Smith403f76e2012-08-06 04:09:06 +00001239 << !!FinalPhaseArg
Richard Smith5b5d21e2014-03-12 23:36:42 +00001240 << (FinalPhaseArg ? FinalPhaseArg->getOption().getName() : "");
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001241 else
1242 Diag(clang::diag::warn_drv_input_file_unused)
1243 << InputArg->getAsString(Args)
1244 << getPhaseName(InitialPhase)
Richard Smith403f76e2012-08-06 04:09:06 +00001245 << !!FinalPhaseArg
Richard Smith5b5d21e2014-03-12 23:36:42 +00001246 << (FinalPhaseArg ? FinalPhaseArg->getOption().getName() : "");
Daniel Dunbar65229332009-03-13 11:38:42 +00001247 continue;
1248 }
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001249
Daniel Dunbar65229332009-03-13 11:38:42 +00001250 // Build the pipeline for this file.
Ahmed Charlesb8984322014-03-07 20:03:18 +00001251 std::unique_ptr<Action> Current(new InputAction(*InputArg, InputType));
Craig Topper2341c0d2013-07-04 03:08:24 +00001252 for (SmallVectorImpl<phases::ID>::iterator
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001253 i = PL.begin(), e = PL.end(); i != e; ++i) {
1254 phases::ID Phase = *i;
Daniel Dunbar65229332009-03-13 11:38:42 +00001255
1256 // We are done if this step is past what the user requested.
1257 if (Phase > FinalPhase)
1258 break;
1259
1260 // Queue linker inputs.
1261 if (Phase == phases::Link) {
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001262 assert((i + 1) == e && "linking must be final compilation step.");
Ahmed Charles9a16beb2014-03-07 19:33:25 +00001263 LinkerInputs.push_back(Current.release());
Daniel Dunbar65229332009-03-13 11:38:42 +00001264 break;
1265 }
1266
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001267 // Some types skip the assembler phase (e.g., llvm-bc), but we can't
1268 // encode this in the steps because the intermediate type depends on
1269 // arguments. Just special case here.
Daniel Dunbar13864952009-03-24 20:17:30 +00001270 if (Phase == phases::Assemble && Current->getType() != types::TY_PP_Asm)
1271 continue;
1272
Daniel Dunbar65229332009-03-13 11:38:42 +00001273 // Otherwise construct the appropriate action.
Peter Collingbournea4ccff32015-02-20 20:30:56 +00001274 Current = ConstructPhaseAction(TC, Args, Phase, std::move(Current));
Daniel Dunbar65229332009-03-13 11:38:42 +00001275 if (Current->getType() == types::TY_Nothing)
1276 break;
1277 }
1278
1279 // If we ended with something, add to the output list.
1280 if (Current)
Ahmed Charles9a16beb2014-03-07 19:33:25 +00001281 Actions.push_back(Current.release());
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001282 }
Daniel Dunbar65229332009-03-13 11:38:42 +00001283
1284 // Add a link action if necessary.
1285 if (!LinkerInputs.empty())
1286 Actions.push_back(new LinkJobAction(LinkerInputs, types::TY_Image));
Daniel Dunbarc7a67b72009-12-22 23:19:32 +00001287
1288 // If we are linking, claim any options which are obviously only used for
1289 // compilation.
Hans Wennborga8ef14f2013-09-17 00:03:41 +00001290 if (FinalPhase == phases::Link && PL.size() == 1) {
Daniel Dunbarc7a67b72009-12-22 23:19:32 +00001291 Args.ClaimAllArgs(options::OPT_CompileOnly_Group);
Hans Wennborga8ef14f2013-09-17 00:03:41 +00001292 Args.ClaimAllArgs(options::OPT_cl_compile_Group);
1293 }
1294
1295 // Claim ignored clang-cl options.
1296 Args.ClaimAllArgs(options::OPT_cl_ignored_Group);
Daniel Dunbar65229332009-03-13 11:38:42 +00001297}
1298
David Blaikie486f4402014-08-29 07:25:23 +00001299std::unique_ptr<Action>
Peter Collingbournea4ccff32015-02-20 20:30:56 +00001300Driver::ConstructPhaseAction(const ToolChain &TC, const ArgList &Args,
1301 phases::ID Phase,
David Blaikie486f4402014-08-29 07:25:23 +00001302 std::unique_ptr<Action> Input) const {
Daniel Dunbar2608c542009-03-18 01:38:48 +00001303 llvm::PrettyStackTraceString CrashInfo("Constructing phase actions");
Daniel Dunbar65229332009-03-13 11:38:42 +00001304 // Build the appropriate action.
1305 switch (Phase) {
David Blaikie83d382b2011-09-23 05:06:16 +00001306 case phases::Link: llvm_unreachable("link action invalid here.");
Daniel Dunbar65229332009-03-13 11:38:42 +00001307 case phases::Preprocess: {
Daniel Dunbard67a3222009-03-30 06:36:42 +00001308 types::ID OutputTy;
1309 // -{M, MM} alter the output type.
Daniel Dunbar86aed7d2010-12-08 21:33:40 +00001310 if (Args.hasArg(options::OPT_M, options::OPT_MM)) {
Daniel Dunbard67a3222009-03-30 06:36:42 +00001311 OutputTy = types::TY_Dependencies;
1312 } else {
David Blaikie5d577a22012-06-29 22:03:56 +00001313 OutputTy = Input->getType();
1314 if (!Args.hasFlag(options::OPT_frewrite_includes,
Justin Bognerce8245b2014-06-24 08:01:01 +00001315 options::OPT_fno_rewrite_includes, false) &&
1316 !CCGenDiagnostics)
David Blaikie5d577a22012-06-29 22:03:56 +00001317 OutputTy = types::getPreprocessedType(OutputTy);
Daniel Dunbard67a3222009-03-30 06:36:42 +00001318 assert(OutputTy != types::TY_INVALID &&
1319 "Cannot preprocess this input type!");
1320 }
David Blaikie486f4402014-08-29 07:25:23 +00001321 return llvm::make_unique<PreprocessJobAction>(std::move(Input), OutputTy);
Daniel Dunbar65229332009-03-13 11:38:42 +00001322 }
Aaron Ballman1f10cc52012-07-31 01:21:00 +00001323 case phases::Precompile: {
1324 types::ID OutputTy = types::TY_PCH;
1325 if (Args.hasArg(options::OPT_fsyntax_only)) {
1326 // Syntax checks should not emit a PCH file
1327 OutputTy = types::TY_Nothing;
1328 }
David Blaikie486f4402014-08-29 07:25:23 +00001329 return llvm::make_unique<PrecompileJobAction>(std::move(Input), OutputTy);
Aaron Ballman1f10cc52012-07-31 01:21:00 +00001330 }
Daniel Dunbar65229332009-03-13 11:38:42 +00001331 case phases::Compile: {
David Blaikie486f4402014-08-29 07:25:23 +00001332 if (Args.hasArg(options::OPT_fsyntax_only))
1333 return llvm::make_unique<CompileJobAction>(std::move(Input),
1334 types::TY_Nothing);
1335 if (Args.hasArg(options::OPT_rewrite_objc))
1336 return llvm::make_unique<CompileJobAction>(std::move(Input),
1337 types::TY_RewrittenObjC);
1338 if (Args.hasArg(options::OPT_rewrite_legacy_objc))
1339 return llvm::make_unique<CompileJobAction>(std::move(Input),
1340 types::TY_RewrittenLegacyObjC);
1341 if (Args.hasArg(options::OPT__analyze, options::OPT__analyze_auto))
1342 return llvm::make_unique<AnalyzeJobAction>(std::move(Input),
1343 types::TY_Plist);
1344 if (Args.hasArg(options::OPT__migrate))
1345 return llvm::make_unique<MigrateJobAction>(std::move(Input),
1346 types::TY_Remap);
1347 if (Args.hasArg(options::OPT_emit_ast))
1348 return llvm::make_unique<CompileJobAction>(std::move(Input),
1349 types::TY_AST);
1350 if (Args.hasArg(options::OPT_module_file_info))
1351 return llvm::make_unique<CompileJobAction>(std::move(Input),
1352 types::TY_ModuleFile);
1353 if (Args.hasArg(options::OPT_verify_pch))
1354 return llvm::make_unique<VerifyPCHJobAction>(std::move(Input),
1355 types::TY_Nothing);
Bob Wilson23a55f12014-12-21 07:00:00 +00001356 return llvm::make_unique<CompileJobAction>(std::move(Input),
1357 types::TY_LLVM_BC);
1358 }
1359 case phases::Backend: {
Alexey Samsonov907880e2015-06-19 19:57:46 +00001360 if (IsUsingLTO(Args)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001361 types::ID Output =
Daniel Dunbar24e52992010-06-07 23:28:45 +00001362 Args.hasArg(options::OPT_S) ? types::TY_LTO_IR : types::TY_LTO_BC;
Bob Wilson23a55f12014-12-21 07:00:00 +00001363 return llvm::make_unique<BackendJobAction>(std::move(Input), Output);
David Blaikie486f4402014-08-29 07:25:23 +00001364 }
1365 if (Args.hasArg(options::OPT_emit_llvm)) {
Shuxin Yang4b3c7ff2013-08-23 21:34:57 +00001366 types::ID Output =
1367 Args.hasArg(options::OPT_S) ? types::TY_LLVM_IR : types::TY_LLVM_BC;
Bob Wilson23a55f12014-12-21 07:00:00 +00001368 return llvm::make_unique<BackendJobAction>(std::move(Input), Output);
Daniel Dunbar65229332009-03-13 11:38:42 +00001369 }
Bob Wilson23a55f12014-12-21 07:00:00 +00001370 return llvm::make_unique<BackendJobAction>(std::move(Input),
David Blaikie486f4402014-08-29 07:25:23 +00001371 types::TY_PP_Asm);
Daniel Dunbar65229332009-03-13 11:38:42 +00001372 }
1373 case phases::Assemble:
David Blaikie486f4402014-08-29 07:25:23 +00001374 return llvm::make_unique<AssembleJobAction>(std::move(Input),
1375 types::TY_Object);
Daniel Dunbar65229332009-03-13 11:38:42 +00001376 }
1377
David Blaikie83d382b2011-09-23 05:06:16 +00001378 llvm_unreachable("invalid phase in ConstructPhaseAction");
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001379}
1380
Alexey Samsonov907880e2015-06-19 19:57:46 +00001381bool Driver::IsUsingLTO(const ArgList &Args) const {
1382 return Args.hasFlag(options::OPT_flto, options::OPT_fno_lto, false);
Daniel Dunbar8f1fe5b2011-06-21 20:55:08 +00001383}
1384
Daniel Dunbarf0eddb82009-03-18 02:55:38 +00001385void Driver::BuildJobs(Compilation &C) const {
Daniel Dunbar2608c542009-03-18 01:38:48 +00001386 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
Daniel Dunbare75d8342009-03-16 06:56:51 +00001387
1388 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
1389
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001390 // It is an error to provide a -o option if we are making multiple output
1391 // files.
Daniel Dunbare75d8342009-03-16 06:56:51 +00001392 if (FinalOutput) {
1393 unsigned NumOutputs = 0;
Saleem Abdulrasoolda3f4e52014-12-29 21:02:47 +00001394 for (const Action *A : C.getActions())
1395 if (A->getType() != types::TY_Nothing)
Daniel Dunbare75d8342009-03-16 06:56:51 +00001396 ++NumOutputs;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001397
Daniel Dunbare75d8342009-03-16 06:56:51 +00001398 if (NumOutputs > 1) {
1399 Diag(clang::diag::err_drv_output_argument_with_multiple_files);
Craig Topper92fc2df2014-05-17 16:56:41 +00001400 FinalOutput = nullptr;
Daniel Dunbare75d8342009-03-16 06:56:51 +00001401 }
1402 }
1403
Chad Rosier35767232013-04-30 22:01:21 +00001404 // Collect the list of architectures.
1405 llvm::StringSet<> ArchNames;
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001406 if (C.getDefaultToolChain().getTriple().isOSBinFormatMachO())
1407 for (const Arg *A : C.getArgs())
Chad Rosier35767232013-04-30 22:01:21 +00001408 if (A->getOption().matches(options::OPT_arch))
1409 ArchNames.insert(A->getValue());
Chad Rosier35767232013-04-30 22:01:21 +00001410
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001411 for (Action *A : C.getActions()) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001412 // If we are linking an image for multiple archs then the linker wants
1413 // -arch_multiple and -final_output <final image name>. Unfortunately, this
1414 // doesn't fit in cleanly because we have to pass this information down.
Daniel Dunbare75d8342009-03-16 06:56:51 +00001415 //
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001416 // FIXME: This is a hack; find a cleaner way to integrate this into the
1417 // process.
Craig Topper92fc2df2014-05-17 16:56:41 +00001418 const char *LinkingOutput = nullptr;
Daniel Dunbardd765242009-03-26 16:12:09 +00001419 if (isa<LipoJobAction>(A)) {
Daniel Dunbare75d8342009-03-16 06:56:51 +00001420 if (FinalOutput)
Richard Smithbd55daf2012-11-01 04:30:05 +00001421 LinkingOutput = FinalOutput->getValue();
Daniel Dunbare75d8342009-03-16 06:56:51 +00001422 else
Hans Wennborga7707222015-01-09 17:38:53 +00001423 LinkingOutput = getDefaultImageName();
Daniel Dunbare75d8342009-03-16 06:56:51 +00001424 }
1425
1426 InputInfo II;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001427 BuildJobsForAction(C, A, &C.getDefaultToolChain(),
Craig Topper92fc2df2014-05-17 16:56:41 +00001428 /*BoundArch*/nullptr,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001429 /*AtTopLevel*/ true,
Chad Rosier35767232013-04-30 22:01:21 +00001430 /*MultipleArchs*/ ArchNames.size() > 1,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001431 /*LinkingOutput*/ LinkingOutput,
1432 II);
1433 }
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001434
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001435 // If the user passed -Qunused-arguments or there were errors, don't warn
1436 // about any unused arguments.
Argyrios Kyrtzidis31448a42010-11-18 21:47:07 +00001437 if (Diags.hasErrorOccurred() ||
Daniel Dunbara3cfbe32009-04-07 19:04:18 +00001438 C.getArgs().hasArg(options::OPT_Qunused_arguments))
Daniel Dunbard175d972009-03-18 18:03:46 +00001439 return;
1440
Daniel Dunbar58399ae2009-03-29 22:24:54 +00001441 // Claim -### here.
1442 (void) C.getArgs().hasArg(options::OPT__HASH_HASH_HASH);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001443
Hans Wennborg70850d82013-07-18 20:29:38 +00001444 // Claim --driver-mode, it was handled earlier.
1445 (void) C.getArgs().hasArg(options::OPT_driver_mode);
1446
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001447 for (Arg *A : C.getArgs()) {
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001448 // FIXME: It would be nice to be able to send the argument to the
David Blaikie9c902b52011-09-25 23:23:43 +00001449 // DiagnosticsEngine, so that extra values, position, and so on could be
1450 // printed.
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001451 if (!A->isClaimed()) {
Michael J. Spencer66e2b202012-10-19 22:37:06 +00001452 if (A->getOption().hasFlag(options::NoArgumentUnused))
Daniel Dunbara3cfbe32009-04-07 19:04:18 +00001453 continue;
1454
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001455 // Suppress the warning automatically if this is just a flag, and it is an
1456 // instance of an argument we already claimed.
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001457 const Option &Opt = A->getOption();
Michael J. Spencerad3ccc32012-08-20 21:41:17 +00001458 if (Opt.getKind() == Option::FlagClass) {
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001459 bool DuplicateClaimed = false;
1460
Sean Silva14facf32015-06-09 01:57:17 +00001461 for (const Arg *AA : C.getArgs().filtered(&Opt)) {
1462 if (AA->isClaimed()) {
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001463 DuplicateClaimed = true;
1464 break;
1465 }
1466 }
1467
1468 if (DuplicateClaimed)
1469 continue;
1470 }
1471
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001472 Diag(clang::diag::warn_drv_unused_argument)
Daniel Dunbar0e759942009-03-20 06:14:23 +00001473 << A->getAsString(C.getArgs());
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001474 }
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001475 }
Daniel Dunbar95e6b192009-03-13 22:12:33 +00001476}
1477
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001478static const Tool *SelectToolForJob(Compilation &C, bool SaveTemps,
1479 const ToolChain *TC, const JobAction *JA,
Daniel Dunbarc4343942010-02-03 03:07:56 +00001480 const ActionList *&Inputs) {
Craig Topper92fc2df2014-05-17 16:56:41 +00001481 const Tool *ToolForJob = nullptr;
Daniel Dunbarc4343942010-02-03 03:07:56 +00001482
1483 // See if we should look for a compiler with an integrated assembler. We match
1484 // bottom up, so what we are actually looking for is an assembler job with a
Reid Klecknerda0acc82014-12-18 23:07:04 +00001485 // compiler input.
Daniel Dunbarf9ff3502010-05-14 02:03:00 +00001486
Rafael Espindola84b588b2013-03-18 18:10:27 +00001487 if (TC->useIntegratedAs() &&
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001488 !SaveTemps &&
David Peixotto3e325d72013-12-06 20:27:33 +00001489 !C.getArgs().hasArg(options::OPT_via_file_asm) &&
Hans Wennborg2c21f742013-10-17 16:16:23 +00001490 !C.getArgs().hasArg(options::OPT__SLASH_FA) &&
1491 !C.getArgs().hasArg(options::OPT__SLASH_Fa) &&
Daniel Dunbarc4343942010-02-03 03:07:56 +00001492 isa<AssembleJobAction>(JA) &&
Bob Wilson23a55f12014-12-21 07:00:00 +00001493 Inputs->size() == 1 && isa<BackendJobAction>(*Inputs->begin())) {
1494 // A BackendJob is always preceded by a CompileJob, and without
1495 // -save-temps they will always get combined together, so instead of
1496 // checking the backend tool, check if the tool for the CompileJob
1497 // has an integrated assembler.
1498 const ActionList *BackendInputs = &(*Inputs)[0]->getInputs();
1499 JobAction *CompileJA = cast<CompileJobAction>(*BackendInputs->begin());
1500 const Tool *Compiler = TC->SelectTool(*CompileJA);
Rafael Espindola79764462013-03-24 15:06:53 +00001501 if (!Compiler)
Craig Topper92fc2df2014-05-17 16:56:41 +00001502 return nullptr;
Rafael Espindola79764462013-03-24 15:06:53 +00001503 if (Compiler->hasIntegratedAssembler()) {
Bob Wilson23a55f12014-12-21 07:00:00 +00001504 Inputs = &(*BackendInputs)[0]->getInputs();
1505 ToolForJob = Compiler;
1506 }
1507 }
1508
1509 // A backend job should always be combined with the preceding compile job
1510 // unless OPT_save_temps is enabled and the compiler is capable of emitting
1511 // LLVM IR as an intermediate output.
1512 if (isa<BackendJobAction>(JA)) {
1513 // Check if the compiler supports emitting LLVM IR.
1514 assert(Inputs->size() == 1);
1515 JobAction *CompileJA = cast<CompileJobAction>(*Inputs->begin());
1516 const Tool *Compiler = TC->SelectTool(*CompileJA);
1517 if (!Compiler)
1518 return nullptr;
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001519 if (!Compiler->canEmitIR() || !SaveTemps) {
Daniel Dunbarc4343942010-02-03 03:07:56 +00001520 Inputs = &(*Inputs)[0]->getInputs();
Rafael Espindola79764462013-03-24 15:06:53 +00001521 ToolForJob = Compiler;
Daniel Dunbarc4343942010-02-03 03:07:56 +00001522 }
1523 }
1524
1525 // Otherwise use the tool for the current job.
1526 if (!ToolForJob)
Rafael Espindola79764462013-03-24 15:06:53 +00001527 ToolForJob = TC->SelectTool(*JA);
Daniel Dunbarc4343942010-02-03 03:07:56 +00001528
1529 // See if we should use an integrated preprocessor. We do so when we have
1530 // exactly one input, since this is the only use case we care about
1531 // (irrelevant since we don't support combine yet).
1532 if (Inputs->size() == 1 && isa<PreprocessJobAction>(*Inputs->begin()) &&
1533 !C.getArgs().hasArg(options::OPT_no_integrated_cpp) &&
1534 !C.getArgs().hasArg(options::OPT_traditional_cpp) &&
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001535 !SaveTemps &&
Fariborz Jahanian659bc4a2012-09-28 19:05:17 +00001536 !C.getArgs().hasArg(options::OPT_rewrite_objc) &&
Daniel Dunbarc4343942010-02-03 03:07:56 +00001537 ToolForJob->hasIntegratedCPP())
1538 Inputs = &(*Inputs)[0]->getInputs();
1539
Rafael Espindola79764462013-03-24 15:06:53 +00001540 return ToolForJob;
Daniel Dunbarc4343942010-02-03 03:07:56 +00001541}
1542
Daniel Dunbare75d8342009-03-16 06:56:51 +00001543void Driver::BuildJobsForAction(Compilation &C,
1544 const Action *A,
1545 const ToolChain *TC,
Daniel Dunbarb5d86bb2009-09-09 18:36:01 +00001546 const char *BoundArch,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001547 bool AtTopLevel,
Chad Rosier35767232013-04-30 22:01:21 +00001548 bool MultipleArchs,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001549 const char *LinkingOutput,
1550 InputInfo &Result) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001551 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
Daniel Dunbarc4acf9d2009-03-18 23:18:19 +00001552
Daniel Dunbare75d8342009-03-16 06:56:51 +00001553 if (const InputAction *IA = dyn_cast<InputAction>(A)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001554 // FIXME: It would be nice to not claim this here; maybe the old scheme of
1555 // just using Args was better?
Daniel Dunbar5cdf3e02009-03-19 07:29:38 +00001556 const Arg &Input = IA->getInputArg();
1557 Input.claim();
Daniel Dunbar35cbfeb2010-06-09 22:31:08 +00001558 if (Input.getOption().matches(options::OPT_INPUT)) {
Richard Smithbd55daf2012-11-01 04:30:05 +00001559 const char *Name = Input.getValue();
Daniel Dunbar5cdf3e02009-03-19 07:29:38 +00001560 Result = InputInfo(Name, A->getType(), Name);
Douglas Katzman678d0cb2015-06-16 18:01:24 +00001561 } else {
Daniel Dunbar5cdf3e02009-03-19 07:29:38 +00001562 Result = InputInfo(&Input, A->getType(), "");
Douglas Katzman678d0cb2015-06-16 18:01:24 +00001563 }
Daniel Dunbare75d8342009-03-16 06:56:51 +00001564 return;
1565 }
1566
1567 if (const BindArchAction *BAA = dyn_cast<BindArchAction>(A)) {
Chad Rosiera78a6eb2012-04-27 16:50:38 +00001568 const ToolChain *TC;
Chad Rosier631fa102012-04-27 16:48:16 +00001569 const char *ArchName = BAA->getArchName();
Daniel Dunbar1ef3f2a2009-09-08 23:37:19 +00001570
Chad Rosier631fa102012-04-27 16:48:16 +00001571 if (ArchName)
1572 TC = &getToolChain(C.getArgs(), ArchName);
Chad Rosiera78a6eb2012-04-27 16:50:38 +00001573 else
1574 TC = &C.getDefaultToolChain();
Daniel Dunbar1ef3f2a2009-09-08 23:37:19 +00001575
Daniel Dunbarb5d86bb2009-09-09 18:36:01 +00001576 BuildJobsForAction(C, *BAA->begin(), TC, BAA->getArchName(),
Chad Rosier35767232013-04-30 22:01:21 +00001577 AtTopLevel, MultipleArchs, LinkingOutput, Result);
Daniel Dunbare75d8342009-03-16 06:56:51 +00001578 return;
1579 }
1580
Daniel Dunbare75d8342009-03-16 06:56:51 +00001581 const ActionList *Inputs = &A->getInputs();
Daniel Dunbarc4343942010-02-03 03:07:56 +00001582
1583 const JobAction *JA = cast<JobAction>(A);
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001584 const Tool *T = SelectToolForJob(C, isSaveTempsEnabled(), TC, JA, Inputs);
Rafael Espindola79764462013-03-24 15:06:53 +00001585 if (!T)
1586 return;
Daniel Dunbare75d8342009-03-16 06:56:51 +00001587
1588 // Only use pipes when there is exactly one input.
Daniel Dunbar1a093d22009-03-18 06:00:36 +00001589 InputInfoList InputInfos;
Saleem Abdulrasoolda3f4e52014-12-29 21:02:47 +00001590 for (const Action *Input : *Inputs) {
Eric Christopher14668dd2013-02-18 00:38:25 +00001591 // Treat dsymutil and verify sub-jobs as being at the top-level too, they
1592 // shouldn't get temporary output names.
Daniel Dunbar6beaf512010-06-04 18:28:41 +00001593 // FIXME: Clean this up.
1594 bool SubJobAtTopLevel = false;
Eric Christopher14668dd2013-02-18 00:38:25 +00001595 if (AtTopLevel && (isa<DsymutilJobAction>(A) || isa<VerifyJobAction>(A)))
Eric Christopher551ef452011-08-23 17:56:55 +00001596 SubJobAtTopLevel = true;
1597
Daniel Dunbare75d8342009-03-16 06:56:51 +00001598 InputInfo II;
Saleem Abdulrasoolda3f4e52014-12-29 21:02:47 +00001599 BuildJobsForAction(C, Input, TC, BoundArch, SubJobAtTopLevel, MultipleArchs,
Chad Rosier35767232013-04-30 22:01:21 +00001600 LinkingOutput, II);
Daniel Dunbare75d8342009-03-16 06:56:51 +00001601 InputInfos.push_back(II);
1602 }
1603
Daniel Dunbare75d8342009-03-16 06:56:51 +00001604 // Always use the first input as the base input.
1605 const char *BaseInput = InputInfos[0].getBaseInput();
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001606
Daniel Dunbar6beaf512010-06-04 18:28:41 +00001607 // ... except dsymutil actions, which use their actual input as the base
1608 // input.
1609 if (JA->getType() == types::TY_dSYM)
1610 BaseInput = InputInfos[0].getFilename();
1611
Daniel Dunbard00272f2010-08-02 02:38:15 +00001612 // Determine the place to write output to, if any.
Eric Christopher2ba5fcb2013-02-05 07:29:57 +00001613 if (JA->getType() == types::TY_Nothing)
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001614 Result = InputInfo(A->getType(), BaseInput);
Eric Christopher2ba5fcb2013-02-05 07:29:57 +00001615 else
Chad Rosier35767232013-04-30 22:01:21 +00001616 Result = InputInfo(GetNamedOutputPath(C, *JA, BaseInput, BoundArch,
1617 AtTopLevel, MultipleArchs),
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001618 A->getType(), BaseInput);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001619
Chad Rosierbe10f982011-08-02 17:58:04 +00001620 if (CCCPrintBindings && !CCGenDiagnostics) {
Rafael Espindola79764462013-03-24 15:06:53 +00001621 llvm::errs() << "# \"" << T->getToolChain().getTripleString() << '"'
1622 << " - \"" << T->getName() << "\", inputs: [";
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001623 for (unsigned i = 0, e = InputInfos.size(); i != e; ++i) {
1624 llvm::errs() << InputInfos[i].getAsString();
1625 if (i + 1 != e)
1626 llvm::errs() << ", ";
1627 }
1628 llvm::errs() << "], output: " << Result.getAsString() << "\n";
1629 } else {
Rafael Espindola79764462013-03-24 15:06:53 +00001630 T->ConstructJob(C, *JA, Result, InputInfos,
1631 C.getArgsForToolChain(TC, BoundArch), LinkingOutput);
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001632 }
Daniel Dunbare75d8342009-03-16 06:56:51 +00001633}
1634
Hans Wennborga7707222015-01-09 17:38:53 +00001635const char *Driver::getDefaultImageName() const {
1636 llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple));
1637 return Target.isOSWindows() ? "a.exe" : "a.out";
1638}
1639
Hans Wennborg2c21f742013-10-17 16:16:23 +00001640/// \brief Create output filename based on ArgValue, which could either be a
1641/// full filename, filename without extension, or a directory. If ArgValue
1642/// does not provide a filename, then use BaseName, and use the extension
1643/// suitable for FileType.
Hans Wennborg207fcf02013-08-12 21:56:42 +00001644static const char *MakeCLOutputFilename(const ArgList &Args, StringRef ArgValue,
1645 StringRef BaseName, types::ID FileType) {
1646 SmallString<128> Filename = ArgValue;
Justin Bogner5aaf2e72014-06-26 20:59:36 +00001647
Hans Wennborgf1a74252013-09-10 20:18:04 +00001648 if (ArgValue.empty()) {
1649 // If the argument is empty, output to BaseName in the current dir.
1650 Filename = BaseName;
1651 } else if (llvm::sys::path::is_separator(Filename.back())) {
Hans Wennborg207fcf02013-08-12 21:56:42 +00001652 // If the argument is a directory, output to BaseName in that dir.
1653 llvm::sys::path::append(Filename, BaseName);
1654 }
1655
1656 if (!llvm::sys::path::has_extension(ArgValue)) {
1657 // If the argument didn't provide an extension, then set it.
1658 const char *Extension = types::getTypeTempSuffix(FileType, true);
Hans Wennborgf1a74252013-09-10 20:18:04 +00001659
1660 if (FileType == types::TY_Image &&
1661 Args.hasArg(options::OPT__SLASH_LD, options::OPT__SLASH_LDd)) {
1662 // The output file is a dll.
1663 Extension = "dll";
1664 }
1665
Hans Wennborg207fcf02013-08-12 21:56:42 +00001666 llvm::sys::path::replace_extension(Filename, Extension);
1667 }
1668
1669 return Args.MakeArgString(Filename.c_str());
1670}
1671
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001672const char *Driver::GetNamedOutputPath(Compilation &C,
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001673 const JobAction &JA,
1674 const char *BaseInput,
Chad Rosier35767232013-04-30 22:01:21 +00001675 const char *BoundArch,
1676 bool AtTopLevel,
1677 bool MultipleArchs) const {
Daniel Dunbar2608c542009-03-18 01:38:48 +00001678 llvm::PrettyStackTraceString CrashInfo("Computing output path");
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001679 // Output to a user requested destination?
Eric Christopher551ef452011-08-23 17:56:55 +00001680 if (AtTopLevel && !isa<DsymutilJobAction>(JA) &&
1681 !isa<VerifyJobAction>(JA)) {
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001682 if (Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o))
Chad Rosier633dcdc2013-01-24 19:14:47 +00001683 return C.addResultFile(FinalOutput->getValue(), &JA);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001684 }
1685
Hans Wennborge0053472013-12-20 18:40:46 +00001686 // For /P, preprocess to file named after BaseInput.
1687 if (C.getArgs().hasArg(options::OPT__SLASH_P)) {
1688 assert(AtTopLevel && isa<PreprocessJobAction>(JA));
1689 StringRef BaseName = llvm::sys::path::filename(BaseInput);
Hans Wennborg04c764f2014-06-17 00:19:12 +00001690 StringRef NameArg;
Greg Bedwell065f70a2015-06-09 10:24:06 +00001691 if (Arg *A = C.getArgs().getLastArg(options::OPT__SLASH_Fi))
Hans Wennborg04c764f2014-06-17 00:19:12 +00001692 NameArg = A->getValue();
1693 return C.addResultFile(MakeCLOutputFilename(C.getArgs(), NameArg, BaseName,
Hans Wennborge0053472013-12-20 18:40:46 +00001694 types::TY_PP_C), &JA);
1695 }
1696
Nick Lewycky6e1ce292010-09-24 00:46:53 +00001697 // Default to writing to stdout?
Douglas Gregorbf7fc9c2013-03-27 16:47:18 +00001698 if (AtTopLevel && !CCGenDiagnostics &&
1699 (isa<PreprocessJobAction>(JA) || JA.getType() == types::TY_ModuleFile))
Nick Lewycky6e1ce292010-09-24 00:46:53 +00001700 return "-";
1701
Hans Wennborg2c21f742013-10-17 16:16:23 +00001702 // Is this the assembly listing for /FA?
1703 if (JA.getType() == types::TY_PP_Asm &&
1704 (C.getArgs().hasArg(options::OPT__SLASH_FA) ||
1705 C.getArgs().hasArg(options::OPT__SLASH_Fa))) {
1706 // Use /Fa and the input filename to determine the asm file name.
1707 StringRef BaseName = llvm::sys::path::filename(BaseInput);
1708 StringRef FaValue = C.getArgs().getLastArgValue(options::OPT__SLASH_Fa);
1709 return C.addResultFile(MakeCLOutputFilename(C.getArgs(), FaValue, BaseName,
1710 JA.getType()), &JA);
1711 }
1712
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001713 // Output to a temporary file?
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001714 if ((!AtTopLevel && !isSaveTempsEnabled() &&
Hans Wennborg2b89a262013-08-06 22:11:28 +00001715 !C.getArgs().hasArg(options::OPT__SLASH_Fo)) ||
Chad Rosierbe10f982011-08-02 17:58:04 +00001716 CCGenDiagnostics) {
Chad Rosier97c37372011-08-26 22:27:02 +00001717 StringRef Name = llvm::sys::path::filename(BaseInput);
1718 std::pair<StringRef, StringRef> Split = Name.split('.');
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001719 std::string TmpName =
Hans Wennborg0a0faa92013-08-07 00:32:15 +00001720 GetTemporaryPath(Split.first,
1721 types::getTypeTempSuffix(JA.getType(), IsCLMode()));
Daniel Dunbare627c1c2009-03-18 19:34:39 +00001722 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001723 }
1724
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +00001725 SmallString<128> BasePath(BaseInput);
Chris Lattner0e62c1c2011-07-23 10:55:15 +00001726 StringRef BaseName;
Daniel Dunbar67fea712011-03-25 18:16:51 +00001727
1728 // Dsymutil actions should use the full path.
Eric Christopher551ef452011-08-23 17:56:55 +00001729 if (isa<DsymutilJobAction>(JA) || isa<VerifyJobAction>(JA))
Daniel Dunbar67fea712011-03-25 18:16:51 +00001730 BaseName = BasePath;
1731 else
1732 BaseName = llvm::sys::path::filename(BasePath);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001733
1734 // Determine what the derived output name should be.
1735 const char *NamedOutput;
Hans Wennborg2b89a262013-08-06 22:11:28 +00001736
Hans Wennborg8fa96772015-06-13 02:53:50 +00001737 if (JA.getType() == types::TY_Object &&
Ehsan Akhgari81f36b72014-09-11 18:16:21 +00001738 C.getArgs().hasArg(options::OPT__SLASH_Fo, options::OPT__SLASH_o)) {
1739 // The /Fo or /o flag decides the object filename.
1740 StringRef Val = C.getArgs().getLastArg(options::OPT__SLASH_Fo,
1741 options::OPT__SLASH_o)->getValue();
Hans Wennborg207fcf02013-08-12 21:56:42 +00001742 NamedOutput = MakeCLOutputFilename(C.getArgs(), Val, BaseName,
1743 types::TY_Object);
1744 } else if (JA.getType() == types::TY_Image &&
Ehsan Akhgari81f36b72014-09-11 18:16:21 +00001745 C.getArgs().hasArg(options::OPT__SLASH_Fe, options::OPT__SLASH_o)) {
1746 // The /Fe or /o flag names the linked file.
1747 StringRef Val = C.getArgs().getLastArg(options::OPT__SLASH_Fe,
1748 options::OPT__SLASH_o)->getValue();
Hans Wennborg207fcf02013-08-12 21:56:42 +00001749 NamedOutput = MakeCLOutputFilename(C.getArgs(), Val, BaseName,
1750 types::TY_Image);
Hans Wennborgf1a74252013-09-10 20:18:04 +00001751 } else if (JA.getType() == types::TY_Image) {
Hans Wennborg207fcf02013-08-12 21:56:42 +00001752 if (IsCLMode()) {
1753 // clang-cl uses BaseName for the executable name.
Hans Wennborgf1a74252013-09-10 20:18:04 +00001754 NamedOutput = MakeCLOutputFilename(C.getArgs(), "", BaseName,
1755 types::TY_Image);
Hans Wennborg207fcf02013-08-12 21:56:42 +00001756 } else if (MultipleArchs && BoundArch) {
Hans Wennborga7707222015-01-09 17:38:53 +00001757 SmallString<128> Output(getDefaultImageName());
Chad Rosier35767232013-04-30 22:01:21 +00001758 Output += "-";
1759 Output.append(BoundArch);
1760 NamedOutput = C.getArgs().MakeArgString(Output.c_str());
1761 } else
Hans Wennborga7707222015-01-09 17:38:53 +00001762 NamedOutput = getDefaultImageName();
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001763 } else {
Hans Wennborg0a096a02013-09-05 17:05:56 +00001764 const char *Suffix = types::getTypeTempSuffix(JA.getType(), IsCLMode());
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001765 assert(Suffix && "All types used for output should have a suffix.");
1766
1767 std::string::size_type End = std::string::npos;
1768 if (!types::appendSuffixForType(JA.getType()))
1769 End = BaseName.rfind('.');
Chad Rosier35767232013-04-30 22:01:21 +00001770 SmallString<128> Suffixed(BaseName.substr(0, End));
1771 if (MultipleArchs && BoundArch) {
1772 Suffixed += "-";
1773 Suffixed.append(BoundArch);
1774 }
Bob Wilson23a55f12014-12-21 07:00:00 +00001775 // When using both -save-temps and -emit-llvm, use a ".tmp.bc" suffix for
1776 // the unoptimized bitcode so that it does not get overwritten by the ".bc"
1777 // optimized bitcode output.
1778 if (!AtTopLevel && C.getArgs().hasArg(options::OPT_emit_llvm) &&
1779 JA.getType() == types::TY_LLVM_BC)
1780 Suffixed += ".tmp";
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001781 Suffixed += '.';
1782 Suffixed += Suffix;
1783 NamedOutput = C.getArgs().MakeArgString(Suffixed.c_str());
1784 }
1785
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001786 // Prepend object file path if -save-temps=obj
1787 if (!AtTopLevel && isSaveTempsObj() && C.getArgs().hasArg(options::OPT_o) &&
1788 JA.getType() != types::TY_PCH) {
1789 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
1790 SmallString<128> TempPath(FinalOutput->getValue());
1791 llvm::sys::path::remove_filename(TempPath);
1792 StringRef OutputFileName = llvm::sys::path::filename(NamedOutput);
1793 llvm::sys::path::append(TempPath, OutputFileName);
1794 NamedOutput = C.getArgs().MakeArgString(TempPath.c_str());
1795 }
1796
Chad Rosier62135492012-07-09 17:31:28 +00001797 // If we're saving temps and the temp file conflicts with the input file,
Chad Rosier5b58af02012-04-20 20:05:08 +00001798 // then avoid overwriting input file.
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001799 if (!AtTopLevel && isSaveTempsEnabled() && NamedOutput == BaseName) {
Chad Rosier5b58af02012-04-20 20:05:08 +00001800 bool SameFile = false;
1801 SmallString<256> Result;
1802 llvm::sys::fs::current_path(Result);
1803 llvm::sys::path::append(Result, BaseName);
1804 llvm::sys::fs::equivalent(BaseInput, Result.c_str(), SameFile);
1805 // Must share the same path to conflict.
1806 if (SameFile) {
1807 StringRef Name = llvm::sys::path::filename(BaseInput);
1808 std::pair<StringRef, StringRef> Split = Name.split('.');
1809 std::string TmpName =
Hans Wennborg0a0faa92013-08-07 00:32:15 +00001810 GetTemporaryPath(Split.first,
1811 types::getTypeTempSuffix(JA.getType(), IsCLMode()));
Chad Rosier5b58af02012-04-20 20:05:08 +00001812 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
1813 }
Chad Rosierf8412cd2011-07-15 21:54:29 +00001814 }
1815
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001816 // As an annoying special case, PCH generation doesn't strip the pathname.
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001817 if (JA.getType() == types::TY_PCH) {
Michael J. Spencere1696752010-12-18 00:19:12 +00001818 llvm::sys::path::remove_filename(BasePath);
1819 if (BasePath.empty())
Daniel Dunbare6c83192009-03-18 09:58:30 +00001820 BasePath = NamedOutput;
1821 else
Michael J. Spencere1696752010-12-18 00:19:12 +00001822 llvm::sys::path::append(BasePath, NamedOutput);
Chad Rosier633dcdc2013-01-24 19:14:47 +00001823 return C.addResultFile(C.getArgs().MakeArgString(BasePath.c_str()), &JA);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001824 } else {
Chad Rosier633dcdc2013-01-24 19:14:47 +00001825 return C.addResultFile(NamedOutput, &JA);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001826 }
1827}
1828
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001829std::string Driver::GetFilePath(const char *Name, const ToolChain &TC) const {
Chandler Carruth84559242010-03-22 01:52:07 +00001830 // Respect a limited subset of the '-Bprefix' functionality in GCC by
Logan Chiencd679fd2012-10-04 08:08:56 +00001831 // attempting to use this prefix when looking for file paths.
Douglas Katzman26eabf62015-06-24 15:10:30 +00001832 for (const std::string &Dir : PrefixDirs) {
Joerg Sonnenberger6165ab12011-03-21 13:51:29 +00001833 if (Dir.empty())
1834 continue;
Douglas Katzman26eabf62015-06-24 15:10:30 +00001835 SmallString<128> P(Dir[0] == '=' ? SysRoot + Dir.substr(1) : Dir);
Rafael Espindola609a6642013-06-24 18:33:43 +00001836 llvm::sys::path::append(P, Name);
1837 if (llvm::sys::fs::exists(Twine(P)))
Chandler Carruth84559242010-03-22 01:52:07 +00001838 return P.str();
1839 }
1840
Rafael Espindola609a6642013-06-24 18:33:43 +00001841 SmallString<128> P(ResourceDir);
1842 llvm::sys::path::append(P, Name);
1843 if (llvm::sys::fs::exists(Twine(P)))
Peter Collingbournefa9771f2011-09-06 02:08:31 +00001844 return P.str();
1845
Douglas Katzman26eabf62015-06-24 15:10:30 +00001846 for (const std::string &Dir : TC.getFilePaths()) {
Joerg Sonnenberger6165ab12011-03-21 13:51:29 +00001847 if (Dir.empty())
1848 continue;
Douglas Katzman26eabf62015-06-24 15:10:30 +00001849 SmallString<128> P(Dir[0] == '=' ? SysRoot + Dir.substr(1) : Dir);
Rafael Espindola609a6642013-06-24 18:33:43 +00001850 llvm::sys::path::append(P, Name);
1851 if (llvm::sys::fs::exists(Twine(P)))
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001852 return P.str();
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001853 }
1854
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001855 return Name;
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +00001856}
1857
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001858void
1859Driver::generatePrefixedToolNames(const char *Tool, const ToolChain &TC,
1860 SmallVectorImpl<std::string> &Names) const {
1861 // FIXME: Needs a better variable than DefaultTargetTriple
Benjamin Kramer3204b152015-05-29 19:42:19 +00001862 Names.emplace_back(DefaultTargetTriple + "-" + Tool);
1863 Names.emplace_back(Tool);
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001864}
1865
Benjamin Kramer7111b912014-11-04 20:26:01 +00001866static bool ScanDirForExecutable(SmallString<128> &Dir,
1867 ArrayRef<std::string> Names) {
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001868 for (const auto &Name : Names) {
1869 llvm::sys::path::append(Dir, Name);
1870 if (llvm::sys::fs::can_execute(Twine(Dir)))
1871 return true;
1872 llvm::sys::path::remove_filename(Dir);
1873 }
1874 return false;
1875}
1876
Simon Atanasyanb16488c2012-10-03 19:52:37 +00001877std::string Driver::GetProgramPath(const char *Name,
1878 const ToolChain &TC) const {
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001879 SmallVector<std::string, 2> TargetSpecificExecutables;
1880 generatePrefixedToolNames(Name, TC, TargetSpecificExecutables);
1881
Chandler Carruth84559242010-03-22 01:52:07 +00001882 // Respect a limited subset of the '-Bprefix' functionality in GCC by
Logan Chiencd679fd2012-10-04 08:08:56 +00001883 // attempting to use this prefix when looking for program paths.
Saleem Abdulrasool23d99b12014-09-16 03:48:32 +00001884 for (const auto &PrefixDir : PrefixDirs) {
1885 if (llvm::sys::fs::is_directory(PrefixDir)) {
1886 SmallString<128> P(PrefixDir);
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001887 if (ScanDirForExecutable(P, TargetSpecificExecutables))
Rafael Espindola8be5c052013-06-19 13:24:29 +00001888 return P.str();
Simon Atanasyana47ba292012-10-31 14:39:28 +00001889 } else {
Saleem Abdulrasool23d99b12014-09-16 03:48:32 +00001890 SmallString<128> P(PrefixDir + Name);
Rafael Espindola609a6642013-06-24 18:33:43 +00001891 if (llvm::sys::fs::can_execute(Twine(P)))
Rafael Espindola8be5c052013-06-19 13:24:29 +00001892 return P.str();
Simon Atanasyan86bdab72012-10-31 12:01:53 +00001893 }
Chandler Carruth84559242010-03-22 01:52:07 +00001894 }
1895
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001896 const ToolChain::path_list &List = TC.getProgramPaths();
Saleem Abdulrasool23d99b12014-09-16 03:48:32 +00001897 for (const auto &Path : List) {
1898 SmallString<128> P(Path);
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001899 if (ScanDirForExecutable(P, TargetSpecificExecutables))
Rafael Espindola8be5c052013-06-19 13:24:29 +00001900 return P.str();
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001901 }
1902
Daniel Dunbar76ce7412009-03-23 16:15:50 +00001903 // If all else failed, search the path.
Michael J. Spencerb011d482014-11-07 21:30:32 +00001904 for (const auto &TargetSpecificExecutable : TargetSpecificExecutables)
1905 if (llvm::ErrorOr<std::string> P =
1906 llvm::sys::findProgramByName(TargetSpecificExecutable))
Michael J. Spencer04162ea2014-11-04 01:30:55 +00001907 return *P;
Daniel Dunbar6f668772009-03-18 21:34:08 +00001908
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001909 return Name;
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +00001910}
1911
Chad Rosier62135492012-07-09 17:31:28 +00001912std::string Driver::GetTemporaryPath(StringRef Prefix, const char *Suffix)
Chad Rosier39ab7432011-08-26 21:28:44 +00001913 const {
Rafael Espindola37d229d2013-06-25 04:26:55 +00001914 SmallString<128> Path;
Rafael Espindolac0809172014-06-12 14:02:15 +00001915 std::error_code EC = llvm::sys::fs::createTemporaryFile(Prefix, Suffix, Path);
Rafael Espindola37d229d2013-06-25 04:26:55 +00001916 if (EC) {
1917 Diag(clang::diag::err_unable_to_make_temp) << EC.message();
Daniel Dunbare627c1c2009-03-18 19:34:39 +00001918 return "";
1919 }
1920
Rafael Espindola37d229d2013-06-25 04:26:55 +00001921 return Path.str();
Daniel Dunbare627c1c2009-03-18 19:34:39 +00001922}
1923
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001924/// \brief Compute target triple from args.
1925///
1926/// This routine provides the logic to compute a target triple from various
1927/// args passed to the driver and the default triple string.
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00001928static llvm::Triple computeTargetTriple(StringRef DefaultTargetTriple,
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001929 const ArgList &Args,
1930 StringRef DarwinArchName) {
Joerg Sonnenberger17d75512012-02-22 19:15:16 +00001931 // FIXME: Already done in Compilation *Driver::BuildCompilation
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00001932 if (const Arg *A = Args.getLastArg(options::OPT_target))
Richard Smithbd55daf2012-11-01 04:30:05 +00001933 DefaultTargetTriple = A->getValue();
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00001934
1935 llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple));
Chris Lattner09797542010-03-04 21:07:38 +00001936
Tim Northover157d9112014-01-16 08:48:16 +00001937 // Handle Apple-specific options available here.
1938 if (Target.isOSBinFormatMachO()) {
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001939 // If an explict Darwin arch name is given, that trumps all.
1940 if (!DarwinArchName.empty()) {
Tim Northover157d9112014-01-16 08:48:16 +00001941 tools::darwin::setTripleTypeForMachOArchName(Target, DarwinArchName);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001942 return Target;
1943 }
1944
1945 // Handle the Darwin '-arch' flag.
1946 if (Arg *A = Args.getLastArg(options::OPT_arch)) {
Tim Northover157d9112014-01-16 08:48:16 +00001947 StringRef ArchName = A->getValue();
1948 tools::darwin::setTripleTypeForMachOArchName(Target, ArchName);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001949 }
Daniel Dunbar51c7f972009-05-22 02:53:45 +00001950 }
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001951
Christian Pirker02c2e252014-04-10 13:55:51 +00001952 // Handle pseudo-target flags '-mlittle-endian'/'-EL' and
1953 // '-mbig-endian'/'-EB'.
1954 if (Arg *A = Args.getLastArg(options::OPT_mlittle_endian,
1955 options::OPT_mbig_endian)) {
1956 if (A->getOption().matches(options::OPT_mlittle_endian)) {
Simon Atanasyan66ceaa42013-03-28 11:36:22 +00001957 if (Target.getArch() == llvm::Triple::mips)
1958 Target.setArch(llvm::Triple::mipsel);
1959 else if (Target.getArch() == llvm::Triple::mips64)
1960 Target.setArch(llvm::Triple::mips64el);
Christian Pirker02c2e252014-04-10 13:55:51 +00001961 else if (Target.getArch() == llvm::Triple::aarch64_be)
1962 Target.setArch(llvm::Triple::aarch64);
Simon Atanasyan66ceaa42013-03-28 11:36:22 +00001963 } else {
1964 if (Target.getArch() == llvm::Triple::mipsel)
1965 Target.setArch(llvm::Triple::mips);
1966 else if (Target.getArch() == llvm::Triple::mips64el)
1967 Target.setArch(llvm::Triple::mips64);
Christian Pirker02c2e252014-04-10 13:55:51 +00001968 else if (Target.getArch() == llvm::Triple::aarch64)
1969 Target.setArch(llvm::Triple::aarch64_be);
Simon Atanasyan66ceaa42013-03-28 11:36:22 +00001970 }
1971 }
1972
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001973 // Skip further flag support on OSes which don't support '-m32' or '-m64'.
Rafael Espindola76483742014-08-14 15:14:51 +00001974 if (Target.getArchName() == "tce" || Target.getOS() == llvm::Triple::Minix)
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001975 return Target;
1976
Zinovy Nis3d163872014-07-11 14:28:45 +00001977 // Handle pseudo-target flags '-m64', '-mx32', '-m32' and '-m16'.
1978 if (Arg *A = Args.getLastArg(options::OPT_m64, options::OPT_mx32,
1979 options::OPT_m32, options::OPT_m16)) {
Alp Toker3e2aa332014-01-21 18:01:01 +00001980 llvm::Triple::ArchType AT = llvm::Triple::UnknownArch;
1981
Pavel Chupin4a294682014-08-18 15:38:38 +00001982 if (A->getOption().matches(options::OPT_m64)) {
Jakob Stoklund Olesen0e38aad2014-01-10 15:25:23 +00001983 AT = Target.get64BitArchVariant().getArch();
Pavel Chupin4a294682014-08-18 15:38:38 +00001984 if (Target.getEnvironment() == llvm::Triple::GNUX32)
1985 Target.setEnvironment(llvm::Triple::GNU);
1986 } else if (A->getOption().matches(options::OPT_mx32) &&
Zinovy Nis3d163872014-07-11 14:28:45 +00001987 Target.get64BitArchVariant().getArch() == llvm::Triple::x86_64) {
1988 AT = llvm::Triple::x86_64;
1989 Target.setEnvironment(llvm::Triple::GNUX32);
Pavel Chupin4a294682014-08-18 15:38:38 +00001990 } else if (A->getOption().matches(options::OPT_m32)) {
David Woodhouse6996f6b2014-01-21 17:19:44 +00001991 AT = Target.get32BitArchVariant().getArch();
Pavel Chupin4a294682014-08-18 15:38:38 +00001992 if (Target.getEnvironment() == llvm::Triple::GNUX32)
1993 Target.setEnvironment(llvm::Triple::GNU);
1994 } else if (A->getOption().matches(options::OPT_m16) &&
Alp Toker3e2aa332014-01-21 18:01:01 +00001995 Target.get32BitArchVariant().getArch() == llvm::Triple::x86) {
1996 AT = llvm::Triple::x86;
1997 Target.setEnvironment(llvm::Triple::CODE16);
David Woodhouse6996f6b2014-01-21 17:19:44 +00001998 }
1999
Joerg Sonnenbergerb7e0ac62014-09-10 21:25:37 +00002000 if (AT != llvm::Triple::UnknownArch && AT != Target.getArch())
Jakob Stoklund Olesen0e38aad2014-01-10 15:25:23 +00002001 Target.setArch(AT);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002002 }
2003
2004 return Target;
2005}
2006
2007const ToolChain &Driver::getToolChain(const ArgList &Args,
2008 StringRef DarwinArchName) const {
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002009 llvm::Triple Target =
2010 computeTargetTriple(DefaultTargetTriple, Args, DarwinArchName);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002011
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00002012 ToolChain *&TC = ToolChains[Target.str()];
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002013 if (!TC) {
2014 switch (Target.getOS()) {
Ed Schouten3c3e58c2015-03-26 11:13:44 +00002015 case llvm::Triple::CloudABI:
2016 TC = new toolchains::CloudABI(*this, Target, Args);
2017 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002018 case llvm::Triple::Darwin:
2019 case llvm::Triple::MacOSX:
2020 case llvm::Triple::IOS:
Rafael Espindola14627962013-11-24 23:28:23 +00002021 TC = new toolchains::DarwinClang(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002022 break;
2023 case llvm::Triple::DragonFly:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002024 TC = new toolchains::DragonFly(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002025 break;
2026 case llvm::Triple::OpenBSD:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002027 TC = new toolchains::OpenBSD(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002028 break;
Eli Friedman9fa28852012-08-08 23:57:20 +00002029 case llvm::Triple::Bitrig:
2030 TC = new toolchains::Bitrig(*this, Target, Args);
2031 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002032 case llvm::Triple::NetBSD:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002033 TC = new toolchains::NetBSD(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002034 break;
2035 case llvm::Triple::FreeBSD:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002036 TC = new toolchains::FreeBSD(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002037 break;
2038 case llvm::Triple::Minix:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002039 TC = new toolchains::Minix(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002040 break;
2041 case llvm::Triple::Linux:
Chandler Carruthcf705b22012-01-25 21:03:58 +00002042 if (Target.getArch() == llvm::Triple::hexagon)
Matthew Curtis22dd8da2012-12-06 12:43:18 +00002043 TC = new toolchains::Hexagon_TC(*this, Target, Args);
Chandler Carruthcf705b22012-01-25 21:03:58 +00002044 else
Rafael Espindola1af7c212012-02-19 01:38:32 +00002045 TC = new toolchains::Linux(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002046 break;
Derek Schuff6ab52fa2015-03-30 20:31:33 +00002047 case llvm::Triple::NaCl:
2048 TC = new toolchains::NaCl_TC(*this, Target, Args);
2049 break;
David Chisnallf571cde2012-02-15 13:39:01 +00002050 case llvm::Triple::Solaris:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002051 TC = new toolchains::Solaris(*this, Target, Args);
David Chisnallf571cde2012-02-15 13:39:01 +00002052 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002053 case llvm::Triple::Win32:
Saleem Abdulrasool377066a2014-03-27 22:50:18 +00002054 switch (Target.getEnvironment()) {
2055 default:
2056 if (Target.isOSBinFormatELF())
2057 TC = new toolchains::Generic_ELF(*this, Target, Args);
2058 else if (Target.isOSBinFormatMachO())
2059 TC = new toolchains::MachO(*this, Target, Args);
2060 else
2061 TC = new toolchains::Generic_GCC(*this, Target, Args);
2062 break;
2063 case llvm::Triple::GNU:
2064 // FIXME: We need a MinGW toolchain. Use the default Generic_GCC
2065 // toolchain for now as the default case would below otherwise.
2066 if (Target.isOSBinFormatELF())
2067 TC = new toolchains::Generic_ELF(*this, Target, Args);
2068 else
2069 TC = new toolchains::Generic_GCC(*this, Target, Args);
2070 break;
Saleem Abdulrasool543a78b2014-10-24 03:13:37 +00002071 case llvm::Triple::Itanium:
2072 TC = new toolchains::CrossWindowsToolChain(*this, Target, Args);
2073 break;
Saleem Abdulrasool377066a2014-03-27 22:50:18 +00002074 case llvm::Triple::MSVC:
2075 case llvm::Triple::UnknownEnvironment:
Saleem Abdulrasool819f3912014-10-22 02:37:29 +00002076 TC = new toolchains::MSVCToolChain(*this, Target, Args);
Saleem Abdulrasool377066a2014-03-27 22:50:18 +00002077 break;
2078 }
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002079 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002080 default:
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002081 // Of these targets, Hexagon is the only one that might have
2082 // an OS of Linux, in which case it got handled above already.
2083 if (Target.getArchName() == "tce")
Rafael Espindola84b588b2013-03-18 18:10:27 +00002084 TC = new toolchains::TCEToolChain(*this, Target, Args);
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002085 else if (Target.getArch() == llvm::Triple::hexagon)
Jyotsna Verma3abdf1c2013-03-29 19:09:20 +00002086 TC = new toolchains::Hexagon_TC(*this, Target, Args);
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002087 else if (Target.getArch() == llvm::Triple::xcore)
Robert Lyttoncf1dd692013-10-11 10:29:40 +00002088 TC = new toolchains::XCore(*this, Target, Args);
Douglas Katzman84a75642015-06-19 14:55:19 +00002089 else if (Target.getArch() == llvm::Triple::shave)
2090 TC = new toolchains::SHAVEToolChain(*this, Target, Args);
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002091 else if (Target.isOSBinFormatELF())
Kristof Beylsfb387292014-01-10 13:44:34 +00002092 TC = new toolchains::Generic_ELF(*this, Target, Args);
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002093 else if (Target.isOSBinFormatMachO())
Tim Northover157d9112014-01-16 08:48:16 +00002094 TC = new toolchains::MachO(*this, Target, Args);
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002095 else
2096 TC = new toolchains::Generic_GCC(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002097 break;
2098 }
2099 }
2100 return *TC;
Daniel Dunbar4dff6a42009-03-10 23:41:59 +00002101}
Daniel Dunbar8fa879d2009-03-24 18:57:02 +00002102
Rafael Espindola2f69d402013-03-18 15:33:26 +00002103bool Driver::ShouldUseClangCompiler(const JobAction &JA) const {
Douglas Katzman00249092015-06-12 15:45:21 +00002104 // Say "no" if there is not exactly one input of a type clang understands.
Nick Lewycky5cc9ebb2012-11-15 05:36:36 +00002105 if (JA.size() != 1 ||
2106 !types::isAcceptedByClang((*JA.begin())->getType()))
2107 return false;
2108
Douglas Katzman00249092015-06-12 15:45:21 +00002109 // And say "no" if this is not a kind of action clang understands.
Nick Lewycky5cc9ebb2012-11-15 05:36:36 +00002110 if (!isa<PreprocessJobAction>(JA) && !isa<PrecompileJobAction>(JA) &&
Bob Wilson23a55f12014-12-21 07:00:00 +00002111 !isa<CompileJobAction>(JA) && !isa<BackendJobAction>(JA))
Nick Lewycky5cc9ebb2012-11-15 05:36:36 +00002112 return false;
2113
2114 return true;
2115}
2116
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002117/// GetReleaseVersion - Parse (([0-9]+)(.([0-9]+)(.([0-9]+)?))?)? and return the
2118/// grouped values as integers. Numbers which are not provided are set to 0.
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002119///
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002120/// \return True if the entire string was parsed (9.2), or all groups were
2121/// parsed (10.3.5extrastuff).
2122bool Driver::GetReleaseVersion(const char *Str, unsigned &Major,
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002123 unsigned &Minor, unsigned &Micro,
2124 bool &HadExtra) {
2125 HadExtra = false;
2126
2127 Major = Minor = Micro = 0;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002128 if (*Str == '\0')
Bob Wilson433cb312015-04-07 01:03:35 +00002129 return false;
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002130
2131 char *End;
2132 Major = (unsigned) strtol(Str, &End, 10);
2133 if (*Str != '\0' && *End == '\0')
2134 return true;
2135 if (*End != '.')
2136 return false;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002137
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002138 Str = End+1;
2139 Minor = (unsigned) strtol(Str, &End, 10);
2140 if (*Str != '\0' && *End == '\0')
2141 return true;
2142 if (*End != '.')
2143 return false;
2144
2145 Str = End+1;
2146 Micro = (unsigned) strtol(Str, &End, 10);
2147 if (*Str != '\0' && *End == '\0')
2148 return true;
2149 if (Str == End)
2150 return false;
2151 HadExtra = true;
2152 return true;
2153}
Hans Wennborg6ddc6902013-07-27 00:23:45 +00002154
2155std::pair<unsigned, unsigned> Driver::getIncludeExcludeOptionFlagMasks() const {
2156 unsigned IncludedFlagsBitmask = 0;
Rafael Espindolacc707bc2013-09-25 15:54:41 +00002157 unsigned ExcludedFlagsBitmask = options::NoDriverOption;
Hans Wennborg6ddc6902013-07-27 00:23:45 +00002158
2159 if (Mode == CLMode) {
Hans Wennborg19076102013-07-31 20:51:53 +00002160 // Include CL and Core options.
2161 IncludedFlagsBitmask |= options::CLOption;
2162 IncludedFlagsBitmask |= options::CoreOption;
Hans Wennborg6ddc6902013-07-27 00:23:45 +00002163 } else {
2164 ExcludedFlagsBitmask |= options::CLOption;
2165 }
2166
2167 return std::make_pair(IncludedFlagsBitmask, ExcludedFlagsBitmask);
2168}
Benjamin Kramerab88f622014-03-25 18:02:07 +00002169
Douglas Katzmanf08fadf2015-06-04 14:40:44 +00002170bool clang::driver::isOptimizationLevelFast(const ArgList &Args) {
Benjamin Kramerab88f622014-03-25 18:02:07 +00002171 return Args.hasFlag(options::OPT_Ofast, options::OPT_O_Group, false);
2172}