blob: 8965d3d6c3c5591591e7917b1c47b592e69ddf86 [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"
Benjamin Kramerd45b2052015-10-07 15:48:01 +000014#include "clang/Basic/VirtualFileSystem.h"
Alp Toker1d257e12014-06-04 03:28:55 +000015#include "clang/Config/config.h"
Daniel Dunbar1688f1a2009-03-12 07:58:46 +000016#include "clang/Driver/Action.h"
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000017#include "clang/Driver/Compilation.h"
Daniel Dunbarc0b3e952009-03-12 08:55:43 +000018#include "clang/Driver/DriverDiagnostic.h"
Daniel Dunbare75d8342009-03-16 06:56:51 +000019#include "clang/Driver/Job.h"
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000020#include "clang/Driver/Options.h"
Peter Collingbournea4ccff32015-02-20 20:30:56 +000021#include "clang/Driver/SanitizerArgs.h"
Daniel Dunbare75d8342009-03-16 06:56:51 +000022#include "clang/Driver/Tool.h"
23#include "clang/Driver/ToolChain.h"
Chris Lattnerce6c42f2011-03-23 04:04:01 +000024#include "llvm/ADT/ArrayRef.h"
Hans Wennborg6ddc6902013-07-27 00:23:45 +000025#include "llvm/ADT/STLExtras.h"
Hans Wennborg23d26a32014-06-18 17:21:50 +000026#include "llvm/ADT/StringExtras.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000027#include "llvm/ADT/StringSet.h"
Hans Wennborg70850d82013-07-18 20:29:38 +000028#include "llvm/ADT/StringSwitch.h"
Reid Kleckner898229a2013-06-14 17:17:23 +000029#include "llvm/Option/Arg.h"
30#include "llvm/Option/ArgList.h"
Chandler Carruth5553d0d2014-01-07 11:51:46 +000031#include "llvm/Option/OptSpecifier.h"
Reid Kleckner898229a2013-06-14 17:17:23 +000032#include "llvm/Option/OptTable.h"
33#include "llvm/Option/Option.h"
Eric Christopher2ba5fcb2013-02-05 07:29:57 +000034#include "llvm/Support/Debug.h"
David Blaikie79000202011-09-23 05:57:42 +000035#include "llvm/Support/ErrorHandling.h"
Michael J. Spencerf28df4c2010-12-17 21:22:22 +000036#include "llvm/Support/FileSystem.h"
Michael J. Spencer8aaf4992010-11-29 18:12:39 +000037#include "llvm/Support/Path.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000038#include "llvm/Support/PrettyStackTrace.h"
Hans Wennborg23d26a32014-06-18 17:21:50 +000039#include "llvm/Support/Process.h"
Michael J. Spencer8aaf4992010-11-29 18:12:39 +000040#include "llvm/Support/Program.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000041#include "llvm/Support/raw_ostream.h"
Dylan Noblesmith4f4e7452012-02-02 00:40:14 +000042#include <map>
Ahmed Charlesdfca6f92014-03-09 11:36:40 +000043#include <memory>
Dylan Noblesmith86780e92012-02-01 14:25:28 +000044
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000045using namespace clang::driver;
Chris Lattnerada1c912009-03-26 05:56:24 +000046using namespace clang;
Reid Kleckner898229a2013-06-14 17:17:23 +000047using namespace llvm::opt;
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000048
Reid Kleckner68eb60b2015-02-02 22:41:48 +000049Driver::Driver(StringRef ClangExecutable, StringRef DefaultTargetTriple,
Benjamin Kramerd45b2052015-10-07 15:48:01 +000050 DiagnosticsEngine &Diags,
51 IntrusiveRefCntPtr<vfs::FileSystem> VFS)
52 : Opts(createDriverOptTable()), Diags(Diags), VFS(VFS), Mode(GCCMode),
Steven Wu574b0f22016-03-01 01:07:58 +000053 SaveTemps(SaveTempsNone), BitcodeEmbed(EmbedNone), LTOMode(LTOK_None),
Teresa Johnson945bc502015-10-15 20:35:53 +000054 ClangExecutable(ClangExecutable),
Reid Kleckner68eb60b2015-02-02 22:41:48 +000055 SysRoot(DEFAULT_SYSROOT), UseStdLib(true),
56 DefaultTargetTriple(DefaultTargetTriple),
57 DriverTitle("clang LLVM compiler"), CCPrintOptionsFilename(nullptr),
58 CCPrintHeadersFilename(nullptr), CCLogDiagnosticsFilename(nullptr),
59 CCCPrintBindings(false), CCPrintHeaders(false), CCLogDiagnostics(false),
60 CCGenDiagnostics(false), CCCGenericGCCName(""), CheckInputsExist(true),
61 CCCUsePCH(true), SuppressMissingInputWarning(false) {
Daniel Dunbar3f3e2cd2010-01-20 02:35:16 +000062
Benjamin Kramerd45b2052015-10-07 15:48:01 +000063 // Provide a sane fallback if no VFS is specified.
64 if (!this->VFS)
65 this->VFS = vfs::getRealFileSystem();
66
Sumanth Gundapaneni3a1592942015-03-03 20:43:12 +000067 Name = llvm::sys::path::filename(ClangExecutable);
Douglas Katzmana67e50c2015-06-26 15:47:46 +000068 Dir = llvm::sys::path::parent_path(ClangExecutable);
Benjamin Kramerf420dda2015-10-13 15:19:32 +000069 InstalledDir = Dir; // Provide a sensible default installed dir.
Bob Wilsona20a1da2013-03-23 05:17:59 +000070
71 // Compute the path to the resource directory.
72 StringRef ClangResourceDir(CLANG_RESOURCE_DIR);
73 SmallString<128> P(Dir);
Chandler Carruthfd3cc702014-12-29 12:09:08 +000074 if (ClangResourceDir != "") {
Bob Wilsona20a1da2013-03-23 05:17:59 +000075 llvm::sys::path::append(P, ClangResourceDir);
Chandler Carruthfd3cc702014-12-29 12:09:08 +000076 } else {
77 StringRef ClangLibdirSuffix(CLANG_LIBDIR_SUFFIX);
78 llvm::sys::path::append(P, "..", Twine("lib") + ClangLibdirSuffix, "clang",
79 CLANG_VERSION_STRING);
80 }
Bob Wilsona20a1da2013-03-23 05:17:59 +000081 ResourceDir = P.str();
Daniel Dunbar544ecd12009-03-02 19:59:07 +000082}
83
84Driver::~Driver() {
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000085 delete Opts;
Chandler Carruth2ad5de12012-01-25 11:01:57 +000086
Reid Kleckner588c9372014-02-19 23:44:52 +000087 llvm::DeleteContainerSeconds(ToolChains);
Daniel Dunbar544ecd12009-03-02 19:59:07 +000088}
89
Hans Wennborg70850d82013-07-18 20:29:38 +000090void Driver::ParseDriverMode(ArrayRef<const char *> Args) {
91 const std::string OptName =
Douglas Katzmana67e50c2015-06-26 15:47:46 +000092 getOpts().getOption(options::OPT_driver_mode).getPrefixedName();
Hans Wennborg70850d82013-07-18 20:29:38 +000093
Douglas Katzman6bbffc42015-06-25 18:51:37 +000094 for (const char *ArgPtr : Args) {
Reid Kleckneraf5fd6a2014-08-22 19:29:30 +000095 // Ingore nullptrs, they are response file's EOL markers
Douglas Katzman6bbffc42015-06-25 18:51:37 +000096 if (ArgPtr == nullptr)
Reid Kleckneraf5fd6a2014-08-22 19:29:30 +000097 continue;
Douglas Katzman6bbffc42015-06-25 18:51:37 +000098 const StringRef Arg = ArgPtr;
Hans Wennborg70850d82013-07-18 20:29:38 +000099 if (!Arg.startswith(OptName))
100 continue;
101
102 const StringRef Value = Arg.drop_front(OptName.size());
103 const unsigned M = llvm::StringSwitch<unsigned>(Value)
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000104 .Case("gcc", GCCMode)
105 .Case("g++", GXXMode)
106 .Case("cpp", CPPMode)
107 .Case("cl", CLMode)
108 .Default(~0U);
Hans Wennborg70850d82013-07-18 20:29:38 +0000109
110 if (M != ~0U)
111 Mode = static_cast<DriverMode>(M);
112 else
113 Diag(diag::err_drv_unsupported_option_argument) << OptName << Value;
114 }
115}
116
David Blaikie69a1d8c2015-06-22 22:07:27 +0000117InputArgList Driver::ParseArgStrings(ArrayRef<const char *> ArgStrings) {
Daniel Dunbar2608c542009-03-18 01:38:48 +0000118 llvm::PrettyStackTraceString CrashInfo("Command line argument parsing");
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000119
120 unsigned IncludedFlagsBitmask;
121 unsigned ExcludedFlagsBitmask;
Benjamin Kramer867ea1d2014-03-02 13:01:17 +0000122 std::tie(IncludedFlagsBitmask, ExcludedFlagsBitmask) =
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000123 getIncludeExcludeOptionFlagMasks();
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000124
Daniel Dunbar52ed5fe2009-11-19 06:35:06 +0000125 unsigned MissingArgIndex, MissingArgCount;
David Blaikie69a1d8c2015-06-22 22:07:27 +0000126 InputArgList Args =
David Blaikie6d492ad2015-06-21 06:32:36 +0000127 getOpts().ParseArgs(ArgStrings, MissingArgIndex, MissingArgCount,
128 IncludedFlagsBitmask, ExcludedFlagsBitmask);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000129
Daniel Dunbar52ed5fe2009-11-19 06:35:06 +0000130 // Check for missing argument error.
131 if (MissingArgCount)
132 Diag(clang::diag::err_drv_missing_argument)
David Blaikie69a1d8c2015-06-22 22:07:27 +0000133 << Args.getArgString(MissingArgIndex) << MissingArgCount;
Daniel Dunbar65229332009-03-13 11:38:42 +0000134
Daniel Dunbar52ed5fe2009-11-19 06:35:06 +0000135 // Check for unsupported options.
David Blaikie69a1d8c2015-06-22 22:07:27 +0000136 for (const Arg *A : Args) {
Michael J. Spencer66e2b202012-10-19 22:37:06 +0000137 if (A->getOption().hasFlag(options::Unsupported)) {
David Blaikie69a1d8c2015-06-22 22:07:27 +0000138 Diag(clang::diag::err_drv_unsupported_opt) << A->getAsString(Args);
Daniel Dunbard8500f32009-03-22 23:26:43 +0000139 continue;
140 }
Chad Rosierce975d92012-02-22 17:55:22 +0000141
142 // Warn about -mcpu= without an argument.
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000143 if (A->getOption().matches(options::OPT_mcpu_EQ) && A->containsValue("")) {
David Blaikie69a1d8c2015-06-22 22:07:27 +0000144 Diag(clang::diag::warn_drv_empty_joined_argument) << A->getAsString(Args);
Chad Rosierce975d92012-02-22 17:55:22 +0000145 }
Daniel Dunbard02cb1d2009-03-05 06:38:47 +0000146 }
147
David Blaikie69a1d8c2015-06-22 22:07:27 +0000148 for (const Arg *A : Args.filtered(options::OPT_UNKNOWN))
Ehsan Akhgarid8518332016-01-25 21:14:52 +0000149 Diags.Report(IsCLMode() ? diag::warn_drv_unknown_argument_clang_cl :
150 diag::err_drv_unknown_argument)
151 << A->getAsString(Args);
Rafael Espindola8a2d4962013-09-23 23:55:25 +0000152
Daniel Dunbard02cb1d2009-03-05 06:38:47 +0000153 return Args;
154}
155
Chad Rosier7742b5d2011-07-27 23:36:45 +0000156// Determine which compilation mode we are in. We look for options which
157// affect the phase, starting with the earliest phases, and record which
158// option we used to determine the final phase.
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000159phases::ID Driver::getFinalPhase(const DerivedArgList &DAL,
160 Arg **FinalPhaseArg) const {
Craig Topper92fc2df2014-05-17 16:56:41 +0000161 Arg *PhaseArg = nullptr;
Chad Rosier7742b5d2011-07-27 23:36:45 +0000162 phases::ID FinalPhase;
Eric Christopherf901e852011-08-17 22:59:59 +0000163
Hans Wennborge50cec32014-06-13 20:59:54 +0000164 // -{E,EP,P,M,MM} only run the preprocessor.
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000165 if (CCCIsCPP() || (PhaseArg = DAL.getLastArg(options::OPT_E)) ||
Hans Wennborge50cec32014-06-13 20:59:54 +0000166 (PhaseArg = DAL.getLastArg(options::OPT__SLASH_EP)) ||
Hans Wennborge0053472013-12-20 18:40:46 +0000167 (PhaseArg = DAL.getLastArg(options::OPT_M, options::OPT_MM)) ||
168 (PhaseArg = DAL.getLastArg(options::OPT__SLASH_P))) {
Chad Rosier7742b5d2011-07-27 23:36:45 +0000169 FinalPhase = phases::Preprocess;
Eric Christopherf901e852011-08-17 22:59:59 +0000170
Bob Wilson23a55f12014-12-21 07:00:00 +0000171 // -{fsyntax-only,-analyze,emit-ast} only run up to the compiler.
Chad Rosier7742b5d2011-07-27 23:36:45 +0000172 } else if ((PhaseArg = DAL.getLastArg(options::OPT_fsyntax_only)) ||
Douglas Gregorbf7fc9c2013-03-27 16:47:18 +0000173 (PhaseArg = DAL.getLastArg(options::OPT_module_file_info)) ||
Ben Langmuir2cb4a782014-02-05 22:21:15 +0000174 (PhaseArg = DAL.getLastArg(options::OPT_verify_pch)) ||
Chad Rosier7742b5d2011-07-27 23:36:45 +0000175 (PhaseArg = DAL.getLastArg(options::OPT_rewrite_objc)) ||
Fariborz Jahanian73223bb2012-04-02 15:59:19 +0000176 (PhaseArg = DAL.getLastArg(options::OPT_rewrite_legacy_objc)) ||
Ted Kremenekf7639e12012-03-06 20:06:33 +0000177 (PhaseArg = DAL.getLastArg(options::OPT__migrate)) ||
Chad Rosier7742b5d2011-07-27 23:36:45 +0000178 (PhaseArg = DAL.getLastArg(options::OPT__analyze,
Chad Rosier1aeb15a2012-03-06 23:14:35 +0000179 options::OPT__analyze_auto)) ||
Bob Wilson23a55f12014-12-21 07:00:00 +0000180 (PhaseArg = DAL.getLastArg(options::OPT_emit_ast))) {
Chad Rosier7742b5d2011-07-27 23:36:45 +0000181 FinalPhase = phases::Compile;
182
Bob Wilson23a55f12014-12-21 07:00:00 +0000183 // -S only runs up to the backend.
184 } else if ((PhaseArg = DAL.getLastArg(options::OPT_S))) {
185 FinalPhase = phases::Backend;
186
Artem Belevich4242f412015-07-28 21:01:21 +0000187 // -c compilation only runs up to the assembler.
188 } else if ((PhaseArg = DAL.getLastArg(options::OPT_c))) {
Chad Rosier7742b5d2011-07-27 23:36:45 +0000189 FinalPhase = phases::Assemble;
190
191 // Otherwise do everything.
192 } else
193 FinalPhase = phases::Link;
194
195 if (FinalPhaseArg)
196 *FinalPhaseArg = PhaseArg;
197
198 return FinalPhase;
199}
200
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000201static Arg *MakeInputArg(DerivedArgList &Args, OptTable *Opts,
Hans Wennborged1d0722013-08-13 21:32:29 +0000202 StringRef Value) {
203 Arg *A = new Arg(Opts->getOption(options::OPT_INPUT), Value,
204 Args.getBaseArgs().MakeIndex(Value), Value.data());
Hans Wennborg55362852014-05-02 22:55:30 +0000205 Args.AddSynthesizedArg(A);
Hans Wennborged1d0722013-08-13 21:32:29 +0000206 A->claim();
207 return A;
208}
209
Daniel Dunbar775d4062010-06-11 22:00:26 +0000210DerivedArgList *Driver::TranslateInputArgs(const InputArgList &Args) const {
211 DerivedArgList *DAL = new DerivedArgList(Args);
212
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000213 bool HasNostdlib = Args.hasArg(options::OPT_nostdlib);
Nirav Daveb0bb6142015-11-24 16:07:21 +0000214 bool HasNodefaultlib = Args.hasArg(options::OPT_nodefaultlibs);
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000215 for (Arg *A : Args) {
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000216 // Unfortunately, we have to parse some forwarding options (-Xassembler,
217 // -Xlinker, -Xpreprocessor) because we either integrate their functionality
218 // (assembler and preprocessor), or bypass a previous driver ('collect2').
Daniel Dunbar5a9d1832010-06-14 21:37:09 +0000219
220 // Rewrite linker options, to replace --no-demangle with a custom internal
221 // option.
222 if ((A->getOption().matches(options::OPT_Wl_COMMA) ||
223 A->getOption().matches(options::OPT_Xlinker)) &&
224 A->containsValue("--no-demangle")) {
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000225 // Add the rewritten no-demangle argument.
226 DAL->AddFlagArg(A, Opts->getOption(options::OPT_Z_Xlinker__no_demangle));
227
228 // Add the remaining values as Xlinker arguments.
Benjamin Kramer72e64312015-09-24 14:48:49 +0000229 for (StringRef Val : A->getValues())
Douglas Katzmana34b7bf2015-06-30 19:32:57 +0000230 if (Val != "--no-demangle")
231 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_Xlinker), Val);
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000232
233 continue;
234 }
235
Daniel Dunbar5a9d1832010-06-14 21:37:09 +0000236 // Rewrite preprocessor options, to replace -Wp,-MD,FOO which is used by
237 // some build systems. We don't try to be complete here because we don't
238 // care to encourage this usage model.
239 if (A->getOption().matches(options::OPT_Wp_COMMA) &&
Richard Smithbd55daf2012-11-01 04:30:05 +0000240 (A->getValue(0) == StringRef("-MD") ||
241 A->getValue(0) == StringRef("-MMD"))) {
Daniel Dunbar3648ba72010-06-15 20:30:18 +0000242 // Rewrite to -MD/-MMD along with -MF.
Richard Smithbd55daf2012-11-01 04:30:05 +0000243 if (A->getValue(0) == StringRef("-MD"))
Daniel Dunbar3648ba72010-06-15 20:30:18 +0000244 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MD));
245 else
246 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MMD));
Michael J. Spencer70d85be2012-11-07 23:37:14 +0000247 if (A->getNumValues() == 2)
248 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_MF),
249 A->getValue(1));
Daniel Dunbar5a9d1832010-06-14 21:37:09 +0000250 continue;
251 }
252
Shantonu Senafeb03b2010-09-17 18:39:08 +0000253 // Rewrite reserved library names.
254 if (A->getOption().matches(options::OPT_l)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000255 StringRef Value = A->getValue();
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000256
Shantonu Senafeb03b2010-09-17 18:39:08 +0000257 // Rewrite unless -nostdlib is present.
Nirav Daveb0bb6142015-11-24 16:07:21 +0000258 if (!HasNostdlib && !HasNodefaultlib && Value == "stdc++") {
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000259 DAL->AddFlagArg(A, Opts->getOption(options::OPT_Z_reserved_lib_stdcxx));
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000260 continue;
261 }
Shantonu Senafeb03b2010-09-17 18:39:08 +0000262
263 // Rewrite unconditionally.
264 if (Value == "cc_kext") {
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000265 DAL->AddFlagArg(A, Opts->getOption(options::OPT_Z_reserved_lib_cckext));
Shantonu Senafeb03b2010-09-17 18:39:08 +0000266 continue;
267 }
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000268 }
269
Hans Wennborged1d0722013-08-13 21:32:29 +0000270 // Pick up inputs via the -- option.
271 if (A->getOption().matches(options::OPT__DASH_DASH)) {
272 A->claim();
Benjamin Kramer72e64312015-09-24 14:48:49 +0000273 for (StringRef Val : A->getValues())
Douglas Katzmana34b7bf2015-06-30 19:32:57 +0000274 DAL->append(MakeInputArg(*DAL, Opts, Val));
Hans Wennborged1d0722013-08-13 21:32:29 +0000275 continue;
276 }
277
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000278 DAL->append(A);
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000279 }
Daniel Dunbar775d4062010-06-11 22:00:26 +0000280
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000281// Add a default value of -mlinker-version=, if one was given and the user
282// didn't specify one.
Daniel Dunbar628fcf42010-08-12 00:05:12 +0000283#if defined(HOST_LINK_VERSION)
Tim Northover018578c2015-06-12 19:21:35 +0000284 if (!Args.hasArg(options::OPT_mlinker_version_EQ) &&
285 strlen(HOST_LINK_VERSION) > 0) {
Daniel Dunbar628fcf42010-08-12 00:05:12 +0000286 DAL->AddJoinedArg(0, Opts->getOption(options::OPT_mlinker_version_EQ),
287 HOST_LINK_VERSION);
Daniel Dunbarb613ffc2010-08-17 22:32:45 +0000288 DAL->getLastArg(options::OPT_mlinker_version_EQ)->claim();
Daniel Dunbar628fcf42010-08-12 00:05:12 +0000289 }
290#endif
291
Daniel Dunbar775d4062010-06-11 22:00:26 +0000292 return DAL;
293}
294
Artem Belevich959e0542015-07-10 19:47:55 +0000295/// \brief Compute target triple from args.
296///
297/// This routine provides the logic to compute a target triple from various
298/// args passed to the driver and the default triple string.
299static llvm::Triple computeTargetTriple(StringRef DefaultTargetTriple,
300 const ArgList &Args,
301 StringRef DarwinArchName = "") {
302 // FIXME: Already done in Compilation *Driver::BuildCompilation
303 if (const Arg *A = Args.getLastArg(options::OPT_target))
304 DefaultTargetTriple = A->getValue();
305
306 llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple));
307
308 // Handle Apple-specific options available here.
309 if (Target.isOSBinFormatMachO()) {
310 // If an explict Darwin arch name is given, that trumps all.
311 if (!DarwinArchName.empty()) {
312 tools::darwin::setTripleTypeForMachOArchName(Target, DarwinArchName);
313 return Target;
314 }
315
316 // Handle the Darwin '-arch' flag.
317 if (Arg *A = Args.getLastArg(options::OPT_arch)) {
318 StringRef ArchName = A->getValue();
319 tools::darwin::setTripleTypeForMachOArchName(Target, ArchName);
320 }
321 }
322
323 // Handle pseudo-target flags '-mlittle-endian'/'-EL' and
324 // '-mbig-endian'/'-EB'.
325 if (Arg *A = Args.getLastArg(options::OPT_mlittle_endian,
326 options::OPT_mbig_endian)) {
327 if (A->getOption().matches(options::OPT_mlittle_endian)) {
328 llvm::Triple LE = Target.getLittleEndianArchVariant();
329 if (LE.getArch() != llvm::Triple::UnknownArch)
330 Target = std::move(LE);
331 } else {
332 llvm::Triple BE = Target.getBigEndianArchVariant();
333 if (BE.getArch() != llvm::Triple::UnknownArch)
334 Target = std::move(BE);
335 }
336 }
337
338 // Skip further flag support on OSes which don't support '-m32' or '-m64'.
Douglas Katzman15a63ed2015-08-12 18:36:12 +0000339 if (Target.getArch() == llvm::Triple::tce ||
340 Target.getOS() == llvm::Triple::Minix)
Artem Belevich959e0542015-07-10 19:47:55 +0000341 return Target;
342
343 // Handle pseudo-target flags '-m64', '-mx32', '-m32' and '-m16'.
344 if (Arg *A = Args.getLastArg(options::OPT_m64, options::OPT_mx32,
345 options::OPT_m32, options::OPT_m16)) {
346 llvm::Triple::ArchType AT = llvm::Triple::UnknownArch;
347
348 if (A->getOption().matches(options::OPT_m64)) {
349 AT = Target.get64BitArchVariant().getArch();
350 if (Target.getEnvironment() == llvm::Triple::GNUX32)
351 Target.setEnvironment(llvm::Triple::GNU);
352 } else if (A->getOption().matches(options::OPT_mx32) &&
353 Target.get64BitArchVariant().getArch() == llvm::Triple::x86_64) {
354 AT = llvm::Triple::x86_64;
355 Target.setEnvironment(llvm::Triple::GNUX32);
356 } else if (A->getOption().matches(options::OPT_m32)) {
357 AT = Target.get32BitArchVariant().getArch();
358 if (Target.getEnvironment() == llvm::Triple::GNUX32)
359 Target.setEnvironment(llvm::Triple::GNU);
360 } else if (A->getOption().matches(options::OPT_m16) &&
361 Target.get32BitArchVariant().getArch() == llvm::Triple::x86) {
362 AT = llvm::Triple::x86;
363 Target.setEnvironment(llvm::Triple::CODE16);
364 }
365
366 if (AT != llvm::Triple::UnknownArch && AT != Target.getArch())
367 Target.setArch(AT);
368 }
369
370 return Target;
371}
372
Teresa Johnson945bc502015-10-15 20:35:53 +0000373// \brief Parse the LTO options and record the type of LTO compilation
374// based on which -f(no-)?lto(=.*)? option occurs last.
375void Driver::setLTOMode(const llvm::opt::ArgList &Args) {
376 LTOMode = LTOK_None;
377 if (!Args.hasFlag(options::OPT_flto, options::OPT_flto_EQ,
378 options::OPT_fno_lto, false))
379 return;
380
381 StringRef LTOName("full");
382
383 const Arg *A = Args.getLastArg(options::OPT_flto_EQ);
Teresa Johnson6ef80dc2015-11-02 18:03:12 +0000384 if (A)
385 LTOName = A->getValue();
Teresa Johnson945bc502015-10-15 20:35:53 +0000386
387 LTOMode = llvm::StringSwitch<LTOKind>(LTOName)
388 .Case("full", LTOK_Full)
389 .Case("thin", LTOK_Thin)
390 .Default(LTOK_Unknown);
391
392 if (LTOMode == LTOK_Unknown) {
393 assert(A);
394 Diag(diag::err_drv_unsupported_option_argument) << A->getOption().getName()
395 << A->getValue();
396 }
397}
398
Chris Lattner54b16772011-07-23 17:14:25 +0000399Compilation *Driver::BuildCompilation(ArrayRef<const char *> ArgList) {
Daniel Dunbar2608c542009-03-18 01:38:48 +0000400 llvm::PrettyStackTraceString CrashInfo("Compilation construction");
401
Eric Christopherf901e852011-08-17 22:59:59 +0000402 // FIXME: Handle environment options which affect driver behavior, somewhere
Bill Wendlingadbeb9f2012-03-12 21:24:57 +0000403 // (client?). GCC_EXEC_PREFIX, LPATH, CC_PRINT_OPTIONS.
Chad Rosier82301162011-09-14 00:47:55 +0000404
405 if (char *env = ::getenv("COMPILER_PATH")) {
406 StringRef CompilerPath = env;
407 while (!CompilerPath.empty()) {
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000408 std::pair<StringRef, StringRef> Split =
409 CompilerPath.split(llvm::sys::EnvPathSeparator);
Chad Rosier82301162011-09-14 00:47:55 +0000410 PrefixDirs.push_back(Split.first);
411 CompilerPath = Split.second;
412 }
413 }
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000414
Hans Wennborg70850d82013-07-18 20:29:38 +0000415 // We look for the driver mode option early, because the mode can affect
416 // how other options are parsed.
417 ParseDriverMode(ArgList.slice(1));
418
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000419 // FIXME: What are we going to do with -V and -b?
420
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000421 // FIXME: This stuff needs to go into the Compilation, not the driver.
Douglas Katzmanb7e8ef02015-06-25 19:37:41 +0000422 bool CCCPrintPhases;
Daniel Dunbard02cb1d2009-03-05 06:38:47 +0000423
David Blaikie69a1d8c2015-06-22 22:07:27 +0000424 InputArgList Args = ParseArgStrings(ArgList.slice(1));
Daniel Dunbaracd69572009-12-04 21:55:23 +0000425
Filipe Cabecinhas136f35e2015-07-18 06:35:24 +0000426 // Silence driver warnings if requested
427 Diags.setIgnoreAllWarnings(Args.hasArg(options::OPT_w));
428
Rafael Espindola59ae7992009-12-07 18:28:29 +0000429 // -no-canonical-prefixes is used very early in main.
David Blaikie69a1d8c2015-06-22 22:07:27 +0000430 Args.ClaimAllArgs(options::OPT_no_canonical_prefixes);
Rafael Espindola59ae7992009-12-07 18:28:29 +0000431
Daniel Dunbar926f81f2010-08-02 02:38:03 +0000432 // Ignore -pipe.
David Blaikie69a1d8c2015-06-22 22:07:27 +0000433 Args.ClaimAllArgs(options::OPT_pipe);
Daniel Dunbar926f81f2010-08-02 02:38:03 +0000434
Daniel Dunbaracd69572009-12-04 21:55:23 +0000435 // Extract -ccc args.
Daniel Dunbaree66cf22009-03-10 20:52:46 +0000436 //
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000437 // FIXME: We need to figure out where this behavior should live. Most of it
438 // should be outside in the client; the parts that aren't should have proper
439 // options, either by introducing new ones or by overloading gcc ones like -V
440 // or -b.
Douglas Katzmanb7e8ef02015-06-25 19:37:41 +0000441 CCCPrintPhases = Args.hasArg(options::OPT_ccc_print_phases);
David Blaikie69a1d8c2015-06-22 22:07:27 +0000442 CCCPrintBindings = Args.hasArg(options::OPT_ccc_print_bindings);
443 if (const Arg *A = Args.getLastArg(options::OPT_ccc_gcc_name))
Richard Smithbd55daf2012-11-01 04:30:05 +0000444 CCCGenericGCCName = A->getValue();
David Blaikie69a1d8c2015-06-22 22:07:27 +0000445 CCCUsePCH =
446 Args.hasFlag(options::OPT_ccc_pch_is_pch, options::OPT_ccc_pch_is_pth);
Joerg Sonnenberger17d75512012-02-22 19:15:16 +0000447 // FIXME: DefaultTargetTriple is used by the target-prefixed calls to as/ld
448 // and getToolChain is const.
Hans Wennborg2e274592013-08-13 23:38:57 +0000449 if (IsCLMode()) {
Hans Wennborg73609a02014-03-28 01:19:04 +0000450 // clang-cl targets MSVC-style Win32.
Hans Wennborg2e274592013-08-13 23:38:57 +0000451 llvm::Triple T(DefaultTargetTriple);
Hans Wennborg9d9ce7a2014-03-28 20:49:28 +0000452 T.setOS(llvm::Triple::Win32);
Hans Wennborg0f0e8d62015-09-18 17:11:50 +0000453 T.setVendor(llvm::Triple::PC);
Hans Wennborg9d9ce7a2014-03-28 20:49:28 +0000454 T.setEnvironment(llvm::Triple::MSVC);
Hans Wennborg2e274592013-08-13 23:38:57 +0000455 DefaultTargetTriple = T.str();
456 }
David Blaikie69a1d8c2015-06-22 22:07:27 +0000457 if (const Arg *A = Args.getLastArg(options::OPT_target))
Richard Smithbd55daf2012-11-01 04:30:05 +0000458 DefaultTargetTriple = A->getValue();
David Blaikie69a1d8c2015-06-22 22:07:27 +0000459 if (const Arg *A = Args.getLastArg(options::OPT_ccc_install_dir))
Richard Smithbd55daf2012-11-01 04:30:05 +0000460 Dir = InstalledDir = A->getValue();
David Blaikie69a1d8c2015-06-22 22:07:27 +0000461 for (const Arg *A : Args.filtered(options::OPT_B)) {
Benjamin Kramer1a648d12011-02-08 20:31:42 +0000462 A->claim();
Richard Smithbd55daf2012-11-01 04:30:05 +0000463 PrefixDirs.push_back(A->getValue(0));
Benjamin Kramer1a648d12011-02-08 20:31:42 +0000464 }
David Blaikie69a1d8c2015-06-22 22:07:27 +0000465 if (const Arg *A = Args.getLastArg(options::OPT__sysroot_EQ))
Richard Smithbd55daf2012-11-01 04:30:05 +0000466 SysRoot = A->getValue();
David Blaikie69a1d8c2015-06-22 22:07:27 +0000467 if (const Arg *A = Args.getLastArg(options::OPT__dyld_prefix_EQ))
Peter Collingbourne9d9e1fc2013-05-27 21:40:20 +0000468 DyldPrefix = A->getValue();
David Blaikie69a1d8c2015-06-22 22:07:27 +0000469 if (Args.hasArg(options::OPT_nostdlib))
Joerg Sonnenbergerbc923f32011-03-21 13:59:26 +0000470 UseStdLib = false;
Daniel Dunbaree66cf22009-03-10 20:52:46 +0000471
David Blaikie69a1d8c2015-06-22 22:07:27 +0000472 if (const Arg *A = Args.getLastArg(options::OPT_resource_dir))
Bob Wilsona20a1da2013-03-23 05:17:59 +0000473 ResourceDir = A->getValue();
Jim Grosbach061dabf2013-03-12 20:17:58 +0000474
David Blaikie69a1d8c2015-06-22 22:07:27 +0000475 if (const Arg *A = Args.getLastArg(options::OPT_save_temps_EQ)) {
Reid Kleckner68eb60b2015-02-02 22:41:48 +0000476 SaveTemps = llvm::StringSwitch<SaveTempsMode>(A->getValue())
477 .Case("cwd", SaveTempsCwd)
478 .Case("obj", SaveTempsObj)
479 .Default(SaveTempsCwd);
480 }
481
Steven Wu574b0f22016-03-01 01:07:58 +0000482 // Ignore -fembed-bitcode options with LTO
483 // since the output will be bitcode anyway.
484 if (!Args.hasFlag(options::OPT_flto, options::OPT_fno_lto, false)) {
485 if (Args.hasArg(options::OPT_fembed_bitcode))
486 BitcodeEmbed = EmbedBitcode;
487 else if (Args.hasArg(options::OPT_fembed_bitcode_marker))
488 BitcodeEmbed = EmbedMarker;
489 } else {
490 // claim the bitcode option under LTO so no warning is issued.
491 Args.ClaimAllArgs(options::OPT_fembed_bitcode);
492 Args.ClaimAllArgs(options::OPT_fembed_bitcode_marker);
493 }
494
Teresa Johnson945bc502015-10-15 20:35:53 +0000495 setLTOMode(Args);
496
David Blaikie69a1d8c2015-06-22 22:07:27 +0000497 std::unique_ptr<llvm::opt::InputArgList> UArgs =
498 llvm::make_unique<InputArgList>(std::move(Args));
499
Daniel Dunbar775d4062010-06-11 22:00:26 +0000500 // Perform the default argument translations.
David Blaikie69a1d8c2015-06-22 22:07:27 +0000501 DerivedArgList *TranslatedArgs = TranslateInputArgs(*UArgs);
Daniel Dunbar775d4062010-06-11 22:00:26 +0000502
Chandler Carruthcb916192012-01-25 08:49:21 +0000503 // Owned by the host.
Artem Belevich959e0542015-07-10 19:47:55 +0000504 const ToolChain &TC =
505 getToolChain(*UArgs, computeTargetTriple(DefaultTargetTriple, *UArgs));
Chandler Carruthcb916192012-01-25 08:49:21 +0000506
Daniel Dunbar3ce436d2009-03-16 06:42:30 +0000507 // The compilation takes ownership of Args.
David Blaikie69a1d8c2015-06-22 22:07:27 +0000508 Compilation *C = new Compilation(*this, TC, UArgs.release(), TranslatedArgs);
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000509
Artem Belevich5e2a3ec2015-11-17 22:28:40 +0000510 C->setCudaDeviceToolChain(
511 &getToolChain(C->getArgs(), llvm::Triple(TC.getTriple().isArch64Bit()
512 ? "nvptx64-nvidia-cuda"
513 : "nvptx-nvidia-cuda")));
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000514 if (!HandleImmediateArgs(*C))
515 return C;
516
Chad Rosierecdede82011-08-12 22:08:57 +0000517 // Construct the list of inputs.
518 InputList Inputs;
Hans Wennborged1d0722013-08-13 21:32:29 +0000519 BuildInputs(C->getDefaultToolChain(), *TranslatedArgs, Inputs);
Chad Rosierecdede82011-08-12 22:08:57 +0000520
Chandler Carruth7f1417f2012-01-24 10:43:44 +0000521 // Construct the list of abstract actions to perform for this compilation. On
Tim Northover157d9112014-01-16 08:48:16 +0000522 // MachO targets this uses the driver-driver and universal actions.
523 if (TC.getTriple().isOSBinFormatMachO())
Artem Belevich5e2a3ec2015-11-17 22:28:40 +0000524 BuildUniversalActions(*C, C->getDefaultToolChain(), Inputs);
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000525 else
Justin Lebar0f3474c2016-02-11 02:00:50 +0000526 BuildActions(*C, C->getArgs(), Inputs, C->getActions());
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000527
Douglas Katzmanb7e8ef02015-06-25 19:37:41 +0000528 if (CCCPrintPhases) {
Daniel Dunbareb843be2009-03-18 03:13:20 +0000529 PrintActions(*C);
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000530 return C;
531 }
532
533 BuildJobs(*C);
Daniel Dunbaradc91e62009-03-15 01:38:15 +0000534
535 return C;
Daniel Dunbaree66cf22009-03-10 20:52:46 +0000536}
537
Justin Bognered9cbe02015-07-09 06:58:31 +0000538static void printArgList(raw_ostream &OS, const llvm::opt::ArgList &Args) {
539 llvm::opt::ArgStringList ASL;
540 for (const auto *A : Args)
541 A->render(Args, ASL);
542
543 for (auto I = ASL.begin(), E = ASL.end(); I != E; ++I) {
544 if (I != ASL.begin())
545 OS << ' ';
546 Command::printArg(OS, *I, true);
547 }
548 OS << '\n';
549}
550
Eric Christopherf901e852011-08-17 22:59:59 +0000551// When clang crashes, produce diagnostic information including the fully
552// preprocessed source file(s). Request that the developer attach the
Chad Rosierbe10f982011-08-02 17:58:04 +0000553// diagnostic information to a bug report.
554void Driver::generateCompilationDiagnostics(Compilation &C,
Justin Bognere1a33d12014-10-20 21:02:05 +0000555 const Command &FailingCommand) {
Chad Rosier877c0a22012-02-22 00:30:39 +0000556 if (C.getArgs().hasArg(options::OPT_fno_crash_diagnostics))
Chad Rosier62135492012-07-09 17:31:28 +0000557 return;
Chad Rosierbee5a1d2012-03-07 00:30:40 +0000558
Chad Rosierdbf46a12013-02-01 18:30:26 +0000559 // Don't try to generate diagnostics for link or dsymutil jobs.
Justin Bognere1a33d12014-10-20 21:02:05 +0000560 if (FailingCommand.getCreator().isLinkJob() ||
561 FailingCommand.getCreator().isDsymutilJob())
Chad Rosier877c0a22012-02-22 00:30:39 +0000562 return;
563
Chad Rosier8179f112012-06-19 17:51:34 +0000564 // Print the version of the compiler.
565 PrintVersion(C, llvm::errs());
566
Chad Rosierbe10f982011-08-02 17:58:04 +0000567 Diag(clang::diag::note_drv_command_failed_diag_msg)
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000568 << "PLEASE submit a bug report to " BUG_REPORT_URL " and include the "
569 "crash backtrace, preprocessed source, and associated run script.";
Chad Rosierbe10f982011-08-02 17:58:04 +0000570
571 // Suppress driver output and emit preprocessor output to temp file.
Hans Wennborg70850d82013-07-18 20:29:38 +0000572 Mode = CPPMode;
Chad Rosierbe10f982011-08-02 17:58:04 +0000573 CCGenDiagnostics = true;
574
Chad Rosiercdb008d2011-11-02 21:29:05 +0000575 // Save the original job command(s).
Justin Bogner25645152014-10-21 17:24:44 +0000576 Command Cmd = FailingCommand;
Chad Rosiercdb008d2011-11-02 21:29:05 +0000577
Richard Smith5bb4cdf2012-12-20 02:22:15 +0000578 // Keep track of whether we produce any errors while trying to produce
579 // preprocessed sources.
580 DiagnosticErrorTrap Trap(Diags);
581
582 // Suppress tool output.
Chad Rosierbe10f982011-08-02 17:58:04 +0000583 C.initCompilationForDiagnostics();
Chad Rosierecdede82011-08-12 22:08:57 +0000584
585 // Construct the list of inputs.
586 InputList Inputs;
587 BuildInputs(C.getDefaultToolChain(), C.getArgs(), Inputs);
Chad Rosierbe10f982011-08-02 17:58:04 +0000588
Chad Rosier4f81fc22011-08-12 23:30:05 +0000589 for (InputList::iterator it = Inputs.begin(), ie = Inputs.end(); it != ie;) {
Chad Rosierd57133d2011-08-18 00:22:25 +0000590 bool IgnoreInput = false;
591
592 // Ignore input from stdin or any inputs that cannot be preprocessed.
Paul Robinsonf44157d2014-04-28 22:24:44 +0000593 // Check type first as not all linker inputs have a value.
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000594 if (types::getPreprocessedType(it->first) == types::TY_INVALID) {
Paul Robinsonf44157d2014-04-28 22:24:44 +0000595 IgnoreInput = true;
596 } else if (!strcmp(it->second->getValue(), "-")) {
Chad Rosierd57133d2011-08-18 00:22:25 +0000597 Diag(clang::diag::note_drv_command_failed_diag_msg)
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000598 << "Error generating preprocessed source(s) - "
599 "ignoring input from stdin.";
Chad Rosierd57133d2011-08-18 00:22:25 +0000600 IgnoreInput = true;
Chad Rosierd57133d2011-08-18 00:22:25 +0000601 }
602
603 if (IgnoreInput) {
Chad Rosier4f81fc22011-08-12 23:30:05 +0000604 it = Inputs.erase(it);
605 ie = Inputs.end();
Chad Rosier6fdf38b2011-08-17 23:08:45 +0000606 } else {
Chad Rosier4f81fc22011-08-12 23:30:05 +0000607 ++it;
Chad Rosier6fdf38b2011-08-17 23:08:45 +0000608 }
Chad Rosier4f81fc22011-08-12 23:30:05 +0000609 }
Chad Rosierd57133d2011-08-18 00:22:25 +0000610
Chad Rosierc5103c32013-01-29 23:57:10 +0000611 if (Inputs.empty()) {
612 Diag(clang::diag::note_drv_command_failed_diag_msg)
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000613 << "Error generating preprocessed source(s) - "
614 "no preprocessable inputs.";
Chad Rosierc5103c32013-01-29 23:57:10 +0000615 return;
616 }
617
Chad Rosiere75ef402011-09-06 23:52:36 +0000618 // Don't attempt to generate preprocessed files if multiple -arch options are
Chad Rosier636d2832012-02-13 18:16:28 +0000619 // used, unless they're all duplicates.
620 llvm::StringSet<> ArchNames;
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000621 for (const Arg *A : C.getArgs()) {
Chad Rosiere75ef402011-09-06 23:52:36 +0000622 if (A->getOption().matches(options::OPT_arch)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000623 StringRef ArchName = A->getValue();
Chad Rosier636d2832012-02-13 18:16:28 +0000624 ArchNames.insert(ArchName);
Chad Rosiere75ef402011-09-06 23:52:36 +0000625 }
626 }
Chad Rosier636d2832012-02-13 18:16:28 +0000627 if (ArchNames.size() > 1) {
628 Diag(clang::diag::note_drv_command_failed_diag_msg)
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000629 << "Error generating preprocessed source(s) - cannot generate "
630 "preprocessed source with multiple -arch options.";
Chad Rosier636d2832012-02-13 18:16:28 +0000631 return;
632 }
Chad Rosiere75ef402011-09-06 23:52:36 +0000633
Chandler Carruth7f1417f2012-01-24 10:43:44 +0000634 // Construct the list of abstract actions to perform for this compilation. On
635 // Darwin OSes this uses the driver-driver and builds universal actions.
Chandler Carruthcb916192012-01-25 08:49:21 +0000636 const ToolChain &TC = C.getDefaultToolChain();
Tim Northover157d9112014-01-16 08:48:16 +0000637 if (TC.getTriple().isOSBinFormatMachO())
Artem Belevich5e2a3ec2015-11-17 22:28:40 +0000638 BuildUniversalActions(C, TC, Inputs);
Chad Rosierbe10f982011-08-02 17:58:04 +0000639 else
Justin Lebar0f3474c2016-02-11 02:00:50 +0000640 BuildActions(C, C.getArgs(), Inputs, C.getActions());
Chad Rosierbe10f982011-08-02 17:58:04 +0000641
642 BuildJobs(C);
643
644 // If there were errors building the compilation, quit now.
Richard Smith5bb4cdf2012-12-20 02:22:15 +0000645 if (Trap.hasErrorOccurred()) {
Chad Rosierbe10f982011-08-02 17:58:04 +0000646 Diag(clang::diag::note_drv_command_failed_diag_msg)
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000647 << "Error generating preprocessed source(s).";
Chad Rosierbe10f982011-08-02 17:58:04 +0000648 return;
649 }
650
651 // Generate preprocessed output.
Chad Rosierdd60e092013-01-29 20:15:05 +0000652 SmallVector<std::pair<int, const Command *>, 4> FailingCommands;
Justin Bogner0cd92482015-07-02 22:52:08 +0000653 C.ExecuteJobs(C.getJobs(), FailingCommands);
Chad Rosierbe10f982011-08-02 17:58:04 +0000654
Justin Bognerbc89b182014-10-20 21:20:27 +0000655 // If any of the preprocessing commands failed, clean up and exit.
656 if (!FailingCommands.empty()) {
Reid Kleckner68eb60b2015-02-02 22:41:48 +0000657 if (!isSaveTempsEnabled())
Chad Rosierbe10f982011-08-02 17:58:04 +0000658 C.CleanupFileList(C.getTempFiles(), true);
659
660 Diag(clang::diag::note_drv_command_failed_diag_msg)
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000661 << "Error generating preprocessed source(s).";
Justin Bognerbc89b182014-10-20 21:20:27 +0000662 return;
Chad Rosierbe10f982011-08-02 17:58:04 +0000663 }
Justin Bognerbc89b182014-10-20 21:20:27 +0000664
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000665 const ArgStringList &TempFiles = C.getTempFiles();
666 if (TempFiles.empty()) {
667 Diag(clang::diag::note_drv_command_failed_diag_msg)
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000668 << "Error generating preprocessed source(s).";
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000669 return;
670 }
671
Justin Bognerbc89b182014-10-20 21:20:27 +0000672 Diag(clang::diag::note_drv_command_failed_diag_msg)
673 << "\n********************\n\n"
674 "PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:\n"
675 "Preprocessed source(s) and associated run script(s) are located at:";
Justin Bognerbc89b182014-10-20 21:20:27 +0000676
Justin Bogner659ecc32014-10-20 22:47:23 +0000677 SmallString<128> VFS;
678 for (const char *TempFile : TempFiles) {
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000679 Diag(clang::diag::note_drv_command_failed_diag_msg) << TempFile;
Justin Bogner659ecc32014-10-20 22:47:23 +0000680 if (StringRef(TempFile).endswith(".cache")) {
681 // In some cases (modules) we'll dump extra data to help with reproducing
682 // the crash into a directory next to the output.
683 VFS = llvm::sys::path::filename(TempFile);
684 llvm::sys::path::append(VFS, "vfs", "vfs.yaml");
685 }
686 }
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000687
688 // Assume associated files are based off of the first temporary file.
Justin Bogner25645152014-10-21 17:24:44 +0000689 CrashReportInfo CrashInfo(TempFiles[0], VFS);
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000690
Justin Bogner25645152014-10-21 17:24:44 +0000691 std::string Script = CrashInfo.Filename.rsplit('.').first.str() + ".sh";
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000692 std::error_code EC;
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000693 llvm::raw_fd_ostream ScriptOS(Script, EC, llvm::sys::fs::F_Excl);
694 if (EC) {
695 Diag(clang::diag::note_drv_command_failed_diag_msg)
696 << "Error generating run script: " + Script + " " + EC.message();
697 } else {
Justin Bogner42220ed2015-03-12 00:14:35 +0000698 ScriptOS << "# Crash reproducer for " << getClangFullVersion() << "\n"
Justin Bognered9cbe02015-07-09 06:58:31 +0000699 << "# Driver args: ";
700 printArgList(ScriptOS, C.getInputArgs());
701 ScriptOS << "# Original command: ";
Justin Bogner42220ed2015-03-12 00:14:35 +0000702 Cmd.Print(ScriptOS, "\n", /*Quote=*/true);
Justin Bogner33bdbc62014-10-21 18:03:08 +0000703 Cmd.Print(ScriptOS, "\n", /*Quote=*/true, &CrashInfo);
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000704 Diag(clang::diag::note_drv_command_failed_diag_msg) << Script;
Justin Bognerbc89b182014-10-20 21:20:27 +0000705 }
Saleem Abdulrasool3661a822015-01-12 02:33:09 +0000706
707 for (const auto &A : C.getArgs().filtered(options::OPT_frewrite_map_file,
708 options::OPT_frewrite_map_file_EQ))
709 Diag(clang::diag::note_drv_command_failed_diag_msg) << A->getValue();
710
Justin Bognerbc89b182014-10-20 21:20:27 +0000711 Diag(clang::diag::note_drv_command_failed_diag_msg)
712 << "\n\n********************";
Chad Rosierbe10f982011-08-02 17:58:04 +0000713}
714
Justin Bogner0cd92482015-07-02 22:52:08 +0000715void Driver::setUpResponseFiles(Compilation &C, Command &Cmd) {
Oleg Ranevskyycd516372016-01-05 19:54:39 +0000716 // Since commandLineFitsWithinSystemLimits() may underestimate system's capacity
Reid Kleckner0290c9c2014-09-15 17:45:39 +0000717 // if the tool does not support response files, there is a chance/ that things
718 // will just work without a response file, so we silently just skip it.
Justin Bogner0cd92482015-07-02 22:52:08 +0000719 if (Cmd.getCreator().getResponseFilesSupport() == Tool::RF_None ||
Oleg Ranevskyycd516372016-01-05 19:54:39 +0000720 llvm::sys::commandLineFitsWithinSystemLimits(Cmd.getExecutable(), Cmd.getArguments()))
Reid Kleckner0290c9c2014-09-15 17:45:39 +0000721 return;
722
723 std::string TmpName = GetTemporaryPath("response", "txt");
Justin Bogner0cd92482015-07-02 22:52:08 +0000724 Cmd.setResponseFile(
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000725 C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str())));
Reid Kleckner0290c9c2014-09-15 17:45:39 +0000726}
727
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000728int Driver::ExecuteCompilation(
729 Compilation &C,
730 SmallVectorImpl<std::pair<int, const Command *>> &FailingCommands) {
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000731 // Just print if -### was present.
732 if (C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
Hans Wennborgb212b342013-09-12 18:23:34 +0000733 C.getJobs().Print(llvm::errs(), "\n", true);
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000734 return 0;
735 }
736
737 // If there were errors building the compilation, quit now.
Chad Rosierbe10f982011-08-02 17:58:04 +0000738 if (Diags.hasErrorOccurred())
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000739 return 1;
740
Reid Kleckner0290c9c2014-09-15 17:45:39 +0000741 // Set up response file names for each command, if necessary
Justin Bogner0cd92482015-07-02 22:52:08 +0000742 for (auto &Job : C.getJobs())
743 setUpResponseFiles(C, Job);
Reid Kleckner0290c9c2014-09-15 17:45:39 +0000744
Justin Bogner0cd92482015-07-02 22:52:08 +0000745 C.ExecuteJobs(C.getJobs(), FailingCommands);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000746
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000747 // Remove temp files.
748 C.CleanupFileList(C.getTempFiles());
749
Daniel Dunbar07494792010-05-22 00:37:20 +0000750 // If the command succeeded, we are done.
Chad Rosierdd60e092013-01-29 20:15:05 +0000751 if (FailingCommands.empty())
752 return 0;
Daniel Dunbar07494792010-05-22 00:37:20 +0000753
Chad Rosierdd60e092013-01-29 20:15:05 +0000754 // Otherwise, remove result files and print extra information about abnormal
755 // failures.
Douglas Katzman6bbffc42015-06-25 18:51:37 +0000756 for (const auto &CmdPair : FailingCommands) {
757 int Res = CmdPair.first;
758 const Command *FailingCommand = CmdPair.second;
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000759
Chad Rosierdd60e092013-01-29 20:15:05 +0000760 // Remove result files if we're not saving temps.
Reid Kleckner68eb60b2015-02-02 22:41:48 +0000761 if (!isSaveTempsEnabled()) {
Chad Rosierdd60e092013-01-29 20:15:05 +0000762 const JobAction *JA = cast<JobAction>(&FailingCommand->getSource());
763 C.CleanupFileMap(C.getResultFiles(), JA, true);
764
765 // Failure result files are valid unless we crashed.
766 if (Res < 0)
767 C.CleanupFileMap(C.getFailureResultFiles(), JA, true);
768 }
769
770 // Print extra information about abnormal failures, if possible.
771 //
772 // This is ad-hoc, but we don't want to be excessively noisy. If the result
Justin Bogner5aaf2e72014-06-26 20:59:36 +0000773 // status was 1, assume the command failed normally. In particular, if it
Chad Rosierdd60e092013-01-29 20:15:05 +0000774 // was the compiler then assume it gave a reasonable error code. Failures
775 // in other tools are less common, and they generally have worse
776 // diagnostics, so always print the diagnostic there.
777 const Tool &FailingTool = FailingCommand->getCreator();
778
779 if (!FailingCommand->getCreator().hasGoodDiagnostics() || Res != 1) {
780 // FIXME: See FIXME above regarding result code interpretation.
781 if (Res < 0)
782 Diag(clang::diag::err_drv_command_signalled)
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000783 << FailingTool.getShortName();
Chad Rosierdd60e092013-01-29 20:15:05 +0000784 else
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000785 Diag(clang::diag::err_drv_command_failed) << FailingTool.getShortName()
786 << Res;
Chad Rosierdd60e092013-01-29 20:15:05 +0000787 }
Peter Collingbourne119cfaa2011-11-21 00:01:05 +0000788 }
Chad Rosierdd60e092013-01-29 20:15:05 +0000789 return 0;
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000790}
791
Daniel Dunbara7b5e212009-04-15 16:34:29 +0000792void Driver::PrintHelp(bool ShowHidden) const {
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000793 unsigned IncludedFlagsBitmask;
794 unsigned ExcludedFlagsBitmask;
Benjamin Kramer867ea1d2014-03-02 13:01:17 +0000795 std::tie(IncludedFlagsBitmask, ExcludedFlagsBitmask) =
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000796 getIncludeExcludeOptionFlagMasks();
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000797
798 ExcludedFlagsBitmask |= options::NoDriverOption;
799 if (!ShowHidden)
800 ExcludedFlagsBitmask |= HelpHidden;
801
802 getOpts().PrintHelp(llvm::outs(), Name.c_str(), DriverTitle.c_str(),
803 IncludedFlagsBitmask, ExcludedFlagsBitmask);
Daniel Dunbar7c925282009-03-31 21:38:17 +0000804}
805
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000806void Driver::PrintVersion(const Compilation &C, raw_ostream &OS) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000807 // FIXME: The following handlers should use a callback mechanism, we don't
808 // know what the client would like to do.
Ted Kremenek4c0df3d2010-01-23 02:11:34 +0000809 OS << getClangFullVersion() << '\n';
Daniel Dunbarb10248802009-03-26 16:09:13 +0000810 const ToolChain &TC = C.getDefaultToolChain();
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000811 OS << "Target: " << TC.getTripleString() << '\n';
Daniel Dunbar10978e42009-06-16 23:32:58 +0000812
813 // Print the threading model.
Jonathan Roelofsb140a102014-10-03 21:57:44 +0000814 if (Arg *A = C.getArgs().getLastArg(options::OPT_mthread_model)) {
815 // Don't print if the ToolChain would have barfed on it already
816 if (TC.isThreadModelSupported(A->getValue()))
817 OS << "Thread model: " << A->getValue();
818 } else
819 OS << "Thread model: " << TC.getThreadModel();
820 OS << '\n';
Chandler Carruth9ade6a92015-08-05 17:07:33 +0000821
822 // Print out the install directory.
823 OS << "InstalledDir: " << InstalledDir << '\n';
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000824}
825
Chris Lattner86ed5b02010-05-05 05:53:24 +0000826/// PrintDiagnosticCategories - Implement the --print-diagnostic-categories
827/// option.
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000828static void PrintDiagnosticCategories(raw_ostream &OS) {
Argyrios Kyrtzidis0e37afa2011-05-25 05:05:01 +0000829 // Skip the empty category.
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000830 for (unsigned i = 1, max = DiagnosticIDs::getNumberOfCategories(); i != max;
831 ++i)
Argyrios Kyrtzidis0e37afa2011-05-25 05:05:01 +0000832 OS << i << ',' << DiagnosticIDs::getCategoryNameFromID(i) << '\n';
Chris Lattner86ed5b02010-05-05 05:53:24 +0000833}
834
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000835bool Driver::HandleImmediateArgs(const Compilation &C) {
Daniel Dunbar18974bd2010-06-11 22:00:19 +0000836 // The order these options are handled in gcc is all over the place, but we
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000837 // don't expect inconsistencies w.r.t. that to matter in practice.
Daniel Dunbar7c925282009-03-31 21:38:17 +0000838
Daniel Dunbar1b09e042010-09-17 02:47:28 +0000839 if (C.getArgs().hasArg(options::OPT_dumpmachine)) {
840 llvm::outs() << C.getDefaultToolChain().getTripleString() << '\n';
841 return false;
842 }
843
Daniel Dunbara9bbcfa2009-04-04 05:17:38 +0000844 if (C.getArgs().hasArg(options::OPT_dumpversion)) {
Daniel Dunbare26e5002011-01-12 00:43:47 +0000845 // Since -dumpversion is only implemented for pedantic GCC compatibility, we
846 // return an answer which matches our definition of __VERSION__.
847 //
848 // If we want to return a more correct answer some day, then we should
849 // introduce a non-pedantically GCC compatible mode to Clang in which we
850 // provide sensible definitions for -dumpversion, __VERSION__, etc.
851 llvm::outs() << "4.2.1\n";
Daniel Dunbara9bbcfa2009-04-04 05:17:38 +0000852 return false;
853 }
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000854
Chris Lattner86ed5b02010-05-05 05:53:24 +0000855 if (C.getArgs().hasArg(options::OPT__print_diagnostic_categories)) {
856 PrintDiagnosticCategories(llvm::outs());
857 return false;
858 }
Daniel Dunbara9bbcfa2009-04-04 05:17:38 +0000859
James Molloya3c85b82012-05-01 14:57:16 +0000860 if (C.getArgs().hasArg(options::OPT_help) ||
Daniel Dunbara7b5e212009-04-15 16:34:29 +0000861 C.getArgs().hasArg(options::OPT__help_hidden)) {
862 PrintHelp(C.getArgs().hasArg(options::OPT__help_hidden));
Daniel Dunbar7c925282009-03-31 21:38:17 +0000863 return false;
864 }
865
Daniel Dunbarb0006ae2009-04-02 15:05:41 +0000866 if (C.getArgs().hasArg(options::OPT__version)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000867 // Follow gcc behavior and use stdout for --version and stderr for -v.
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000868 PrintVersion(C, llvm::outs());
Daniel Dunbarb0006ae2009-04-02 15:05:41 +0000869 return false;
870 }
871
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000872 if (C.getArgs().hasArg(options::OPT_v) ||
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000873 C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000874 PrintVersion(C, llvm::errs());
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000875 SuppressMissingInputWarning = true;
876 }
877
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000878 const ToolChain &TC = C.getDefaultToolChain();
Chandler Carruth0ae39aa2013-07-30 17:57:09 +0000879
880 if (C.getArgs().hasArg(options::OPT_v))
881 TC.printVerboseInfo(llvm::errs());
882
Daniel Dunbard972e222009-03-20 04:37:21 +0000883 if (C.getArgs().hasArg(options::OPT_print_search_dirs)) {
884 llvm::outs() << "programs: =";
Douglas Katzman51fe7bf2015-06-23 22:43:50 +0000885 bool separator = false;
886 for (const std::string &Path : TC.getProgramPaths()) {
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000887 if (separator)
888 llvm::outs() << ':';
Douglas Katzman51fe7bf2015-06-23 22:43:50 +0000889 llvm::outs() << Path;
890 separator = true;
Daniel Dunbard972e222009-03-20 04:37:21 +0000891 }
892 llvm::outs() << "\n";
Peter Collingbournefa9771f2011-09-06 02:08:31 +0000893 llvm::outs() << "libraries: =" << ResourceDir;
Joerg Sonnenberger9c3e69b2011-07-16 10:50:05 +0000894
Sebastian Pop980920a2012-04-16 04:16:43 +0000895 StringRef sysroot = C.getSysRoot();
Joerg Sonnenberger9c3e69b2011-07-16 10:50:05 +0000896
Douglas Katzman51fe7bf2015-06-23 22:43:50 +0000897 for (const std::string &Path : TC.getFilePaths()) {
898 // Always print a separator. ResourceDir was the first item shown.
Peter Collingbournefa9771f2011-09-06 02:08:31 +0000899 llvm::outs() << ':';
Douglas Katzman51fe7bf2015-06-23 22:43:50 +0000900 // Interpretation of leading '=' is needed only for NetBSD.
901 if (Path[0] == '=')
Douglas Katzman26eabf62015-06-24 15:10:30 +0000902 llvm::outs() << sysroot << Path.substr(1);
Joerg Sonnenberger9c3e69b2011-07-16 10:50:05 +0000903 else
Douglas Katzman51fe7bf2015-06-23 22:43:50 +0000904 llvm::outs() << Path;
Daniel Dunbard972e222009-03-20 04:37:21 +0000905 }
906 llvm::outs() << "\n";
Daniel Dunbar7c925282009-03-31 21:38:17 +0000907 return false;
Daniel Dunbard972e222009-03-20 04:37:21 +0000908 }
909
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000910 // FIXME: The following handlers should use a callback mechanism, we don't
911 // know what the client would like to do.
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000912 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_file_name_EQ)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000913 llvm::outs() << GetFilePath(A->getValue(), TC) << "\n";
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000914 return false;
915 }
916
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000917 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_prog_name_EQ)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000918 llvm::outs() << GetProgramPath(A->getValue(), TC) << "\n";
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000919 return false;
920 }
921
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000922 if (C.getArgs().hasArg(options::OPT_print_libgcc_file_name)) {
Daniel Dunbar1ce81532009-09-09 22:33:00 +0000923 llvm::outs() << GetFilePath("libgcc.a", TC) << "\n";
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000924 return false;
925 }
926
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000927 if (C.getArgs().hasArg(options::OPT_print_multi_lib)) {
Douglas Katzmana34b7bf2015-06-30 19:32:57 +0000928 for (const Multilib &Multilib : TC.getMultilibs())
929 llvm::outs() << Multilib << "\n";
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000930 return false;
931 }
932
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000933 if (C.getArgs().hasArg(options::OPT_print_multi_directory)) {
Douglas Katzmana34b7bf2015-06-30 19:32:57 +0000934 for (const Multilib &Multilib : TC.getMultilibs()) {
Douglas Katzman6bbffc42015-06-25 18:51:37 +0000935 if (Multilib.gccSuffix().empty())
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000936 llvm::outs() << ".\n";
937 else {
Douglas Katzman6bbffc42015-06-25 18:51:37 +0000938 StringRef Suffix(Multilib.gccSuffix());
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000939 assert(Suffix.front() == '/');
940 llvm::outs() << Suffix.substr(1) << "\n";
941 }
Jonathan Roelofs3fa96d82014-02-12 01:36:51 +0000942 }
Jonathan Roelofs0e7ec602014-02-12 01:29:25 +0000943 return false;
944 }
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000945 return true;
946}
947
Douglas Katzmanfd528672015-06-11 15:05:22 +0000948// Display an action graph human-readably. Action A is the "sink" node
949// and latest-occuring action. Traversal is in pre-order, visiting the
950// inputs to each action before printing the action itself.
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000951static unsigned PrintActions1(const Compilation &C, Action *A,
Douglas Katzmana67e50c2015-06-26 15:47:46 +0000952 std::map<Action *, unsigned> &Ids) {
Douglas Katzmanfd528672015-06-11 15:05:22 +0000953 if (Ids.count(A)) // A was already visited.
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000954 return Ids[A];
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000955
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000956 std::string str;
957 llvm::raw_string_ostream os(str);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000958
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000959 os << Action::getClassName(A->getKind()) << ", ";
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000960 if (InputAction *IA = dyn_cast<InputAction>(A)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000961 os << "\"" << IA->getInputArg().getValue() << "\"";
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000962 } else if (BindArchAction *BIA = dyn_cast<BindArchAction>(A)) {
Douglas Katzmanb7e8ef02015-06-25 19:37:41 +0000963 os << '"' << BIA->getArchName() << '"' << ", {"
Nico Weber5a459f82016-02-23 19:30:43 +0000964 << PrintActions1(C, *BIA->input_begin(), Ids) << "}";
Artem Belevich0ff05cd2015-07-13 23:27:56 +0000965 } else if (CudaDeviceAction *CDA = dyn_cast<CudaDeviceAction>(A)) {
Justin Lebar21e5d4f2016-01-14 21:41:27 +0000966 os << '"'
967 << (CDA->getGpuArchName() ? CDA->getGpuArchName() : "(multiple archs)")
Nico Weber5a459f82016-02-23 19:30:43 +0000968 << '"' << ", {" << PrintActions1(C, *CDA->input_begin(), Ids) << "}";
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000969 } else {
Artem Belevich5e2a3ec2015-11-17 22:28:40 +0000970 const ActionList *AL;
Artem Belevich0ff05cd2015-07-13 23:27:56 +0000971 if (CudaHostAction *CHA = dyn_cast<CudaHostAction>(A)) {
Nico Weber5a459f82016-02-23 19:30:43 +0000972 os << "{" << PrintActions1(C, *CHA->input_begin(), Ids) << "}"
Artem Belevich0ff05cd2015-07-13 23:27:56 +0000973 << ", gpu binaries ";
974 AL = &CHA->getDeviceActions();
975 } else
976 AL = &A->getInputs();
977
Artem Belevich23256752015-09-22 17:23:09 +0000978 if (AL->size()) {
979 const char *Prefix = "{";
980 for (Action *PreRequisite : *AL) {
981 os << Prefix << PrintActions1(C, PreRequisite, Ids);
982 Prefix = ", ";
983 }
984 os << "}";
985 } else
986 os << "{}";
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000987 }
988
989 unsigned Id = Ids.size();
990 Ids[A] = Id;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000991 llvm::errs() << Id << ": " << os.str() << ", "
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000992 << types::getTypeName(A->getType()) << "\n";
993
994 return Id;
995}
996
Douglas Katzmanfd528672015-06-11 15:05:22 +0000997// Print the action graphs in a compilation C.
998// For example "clang -c file1.c file2.c" is composed of two subgraphs.
Daniel Dunbareb843be2009-03-18 03:13:20 +0000999void Driver::PrintActions(const Compilation &C) const {
Douglas Katzmanb7e8ef02015-06-25 19:37:41 +00001000 std::map<Action *, unsigned> Ids;
1001 for (Action *A : C.getActions())
1002 PrintActions1(C, A, Ids);
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001003}
1004
Joerg Sonnenberger5fe4a7d2011-05-06 14:05:11 +00001005/// \brief Check whether the given input tree contains any compilation or
1006/// assembly actions.
1007static bool ContainsCompileOrAssembleAction(const Action *A) {
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001008 if (isa<CompileJobAction>(A) || isa<BackendJobAction>(A) ||
Bob Wilson23a55f12014-12-21 07:00:00 +00001009 isa<AssembleJobAction>(A))
Daniel Dunbar00d3d8e2010-06-29 16:38:33 +00001010 return true;
1011
Nico Weber5a459f82016-02-23 19:30:43 +00001012 for (const Action *Input : A->inputs())
Nico Weberfb80f962015-09-19 21:36:51 +00001013 if (ContainsCompileOrAssembleAction(Input))
Daniel Dunbar00d3d8e2010-06-29 16:38:33 +00001014 return true;
1015
1016 return false;
1017}
1018
Artem Belevich5e2a3ec2015-11-17 22:28:40 +00001019void Driver::BuildUniversalActions(Compilation &C, const ToolChain &TC,
1020 const InputList &BAInputs) const {
1021 DerivedArgList &Args = C.getArgs();
1022 ActionList &Actions = C.getActions();
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001023 llvm::PrettyStackTraceString CrashInfo("Building universal build actions");
1024 // Collect the list of architectures. Duplicates are allowed, but should only
1025 // be handled once (in the order seen).
Daniel Dunbare5dc4822009-03-13 20:33:35 +00001026 llvm::StringSet<> ArchNames;
Chris Lattner0e62c1c2011-07-23 10:55:15 +00001027 SmallVector<const char *, 4> Archs;
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001028 for (Arg *A : Args) {
Daniel Dunbar0bfb21e2009-11-19 03:26:40 +00001029 if (A->getOption().matches(options::OPT_arch)) {
Daniel Dunbar9c3f7c42009-09-08 23:37:30 +00001030 // Validate the option here; we don't save the type here because its
1031 // particular spelling may participate in other driver choices.
1032 llvm::Triple::ArchType Arch =
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001033 tools::darwin::getArchTypeForMachOArchName(A->getValue());
Daniel Dunbar9c3f7c42009-09-08 23:37:30 +00001034 if (Arch == llvm::Triple::UnknownArch) {
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001035 Diag(clang::diag::err_drv_invalid_arch_name) << A->getAsString(Args);
Daniel Dunbar9c3f7c42009-09-08 23:37:30 +00001036 continue;
1037 }
1038
Daniel Dunbar2da02722009-03-19 07:55:12 +00001039 A->claim();
David Blaikie61b86d42014-11-19 02:56:13 +00001040 if (ArchNames.insert(A->getValue()).second)
Richard Smithbd55daf2012-11-01 04:30:05 +00001041 Archs.push_back(A->getValue());
Daniel Dunbarf479c122009-03-12 18:40:18 +00001042 }
1043 }
1044
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001045 // When there is no explicit arch for this platform, make sure we still bind
1046 // the architecture (to the default) so that -Xarch_ is handled correctly.
Daniel Dunbareb843be2009-03-18 03:13:20 +00001047 if (!Archs.size())
Daniel Dunbarc3bd9f52012-11-08 03:38:26 +00001048 Archs.push_back(Args.MakeArgString(TC.getDefaultUniversalArchName()));
Daniel Dunbarf479c122009-03-12 18:40:18 +00001049
Daniel Dunbarf479c122009-03-12 18:40:18 +00001050 ActionList SingleActions;
Justin Lebar0f3474c2016-02-11 02:00:50 +00001051 BuildActions(C, Args, BAInputs, SingleActions);
Daniel Dunbarf479c122009-03-12 18:40:18 +00001052
Daniel Dunbar6beaf512010-06-04 18:28:41 +00001053 // Add in arch bindings for every top level action, as well as lipo and
1054 // dsymutil steps if needed.
Nico Weberfb80f962015-09-19 21:36:51 +00001055 for (Action* Act : SingleActions) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001056 // Make sure we can lipo this kind of output. If not (and it is an actual
1057 // output) then we disallow, since we can't create an output file with the
1058 // right name without overwriting it. We could remove this oddity by just
1059 // changing the output names to include the arch, which would also fix
Daniel Dunbarf479c122009-03-12 18:40:18 +00001060 // -save-temps. Compatibility wins for now.
1061
Daniel Dunbare2ca3bd2009-03-13 17:46:02 +00001062 if (Archs.size() > 1 && !types::canLipoType(Act->getType()))
Daniel Dunbarf479c122009-03-12 18:40:18 +00001063 Diag(clang::diag::err_drv_invalid_output_with_multiple_archs)
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001064 << types::getTypeName(Act->getType());
Daniel Dunbarf479c122009-03-12 18:40:18 +00001065
1066 ActionList Inputs;
Justin Lebar41094612016-01-11 23:07:27 +00001067 for (unsigned i = 0, e = Archs.size(); i != e; ++i)
1068 Inputs.push_back(C.MakeAction<BindArchAction>(Act, Archs[i]));
Daniel Dunbarf479c122009-03-12 18:40:18 +00001069
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001070 // Lipo if necessary, we do it this way because we need to set the arch flag
1071 // so that -Xarch_ gets overwritten.
Daniel Dunbarf479c122009-03-12 18:40:18 +00001072 if (Inputs.size() == 1 || Act->getType() == types::TY_Nothing)
1073 Actions.append(Inputs.begin(), Inputs.end());
1074 else
Justin Lebar41094612016-01-11 23:07:27 +00001075 Actions.push_back(C.MakeAction<LipoJobAction>(Inputs, Act->getType()));
Daniel Dunbar6beaf512010-06-04 18:28:41 +00001076
Eric Christopher65c05fa2012-02-06 19:43:51 +00001077 // Handle debug info queries.
1078 Arg *A = Args.getLastArg(options::OPT_g_Group);
David Blaikie6f9f4eb2012-04-15 21:22:10 +00001079 if (A && !A->getOption().matches(options::OPT_g0) &&
1080 !A->getOption().matches(options::OPT_gstabs) &&
1081 ContainsCompileOrAssembleAction(Actions.back())) {
Chad Rosier62135492012-07-09 17:31:28 +00001082
David Blaikie6f9f4eb2012-04-15 21:22:10 +00001083 // Add a 'dsymutil' step if necessary, when debug info is enabled and we
1084 // have a compile input. We need to run 'dsymutil' ourselves in such cases
Eric Christopher776c26f2013-01-28 17:39:03 +00001085 // because the debug info will refer to a temporary object file which
David Blaikie6f9f4eb2012-04-15 21:22:10 +00001086 // will be removed at the end of the compilation process.
1087 if (Act->getType() == types::TY_Image) {
1088 ActionList Inputs;
1089 Inputs.push_back(Actions.back());
1090 Actions.pop_back();
Justin Lebar41094612016-01-11 23:07:27 +00001091 Actions.push_back(
1092 C.MakeAction<DsymutilJobAction>(Inputs, types::TY_dSYM));
Daniel Dunbar6beaf512010-06-04 18:28:41 +00001093 }
David Blaikie6f9f4eb2012-04-15 21:22:10 +00001094
Ben Langmuir9b9a8d32014-02-06 18:53:25 +00001095 // Verify the debug info output.
Alp Tokere9d2bfc2014-01-17 02:06:23 +00001096 if (Args.hasArg(options::OPT_verify_debug_info)) {
Justin Lebar41094612016-01-11 23:07:27 +00001097 Action* LastAction = Actions.back();
David Blaikie6f9f4eb2012-04-15 21:22:10 +00001098 Actions.pop_back();
Justin Lebar41094612016-01-11 23:07:27 +00001099 Actions.push_back(C.MakeAction<VerifyDebugInfoJobAction>(
1100 LastAction, types::TY_Nothing));
David Blaikie6f9f4eb2012-04-15 21:22:10 +00001101 }
1102 }
Daniel Dunbarf479c122009-03-12 18:40:18 +00001103 }
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001104}
1105
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001106/// \brief Check that the file referenced by Value exists. If it doesn't,
1107/// issue a diagnostic and return false.
Alp Toker8c8a8752013-12-03 06:53:35 +00001108static bool DiagnoseInputExistence(const Driver &D, const DerivedArgList &Args,
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001109 StringRef Value) {
1110 if (!D.getCheckInputsExist())
1111 return true;
1112
1113 // stdin always exists.
1114 if (Value == "-")
1115 return true;
1116
1117 SmallString<64> Path(Value);
1118 if (Arg *WorkDir = Args.getLastArg(options::OPT_working_directory)) {
Yaron Keren92e1b622015-03-18 10:17:07 +00001119 if (!llvm::sys::path::is_absolute(Path)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001120 SmallString<64> Directory(WorkDir->getValue());
1121 llvm::sys::path::append(Directory, Value);
1122 Path.assign(Directory);
1123 }
1124 }
1125
1126 if (llvm::sys::fs::exists(Twine(Path)))
1127 return true;
1128
Nico Weber1f0f1652015-04-24 22:16:53 +00001129 if (D.IsCLMode() && !llvm::sys::path::is_absolute(Twine(Path)) &&
1130 llvm::sys::Process::FindInEnvPath("LIB", Value))
Hans Wennborg23d26a32014-06-18 17:21:50 +00001131 return true;
1132
Yaron Keren92e1b622015-03-18 10:17:07 +00001133 D.Diag(clang::diag::err_drv_no_such_file) << Path;
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001134 return false;
1135}
1136
Chad Rosierecdede82011-08-12 22:08:57 +00001137// Construct a the list of inputs and their types.
Hans Wennborg55362852014-05-02 22:55:30 +00001138void Driver::BuildInputs(const ToolChain &TC, DerivedArgList &Args,
Chad Rosierecdede82011-08-12 22:08:57 +00001139 InputList &Inputs) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001140 // Track the current user specified (-x) input. We also explicitly track the
1141 // argument used to set the type; we only want to claim the type when we
1142 // actually use it, so we warn about unused -x arguments.
Daniel Dunbarc5a5ac52009-03-13 17:57:10 +00001143 types::ID InputType = types::TY_Nothing;
Craig Topper92fc2df2014-05-17 16:56:41 +00001144 Arg *InputTypeArg = nullptr;
Daniel Dunbarc5a5ac52009-03-13 17:57:10 +00001145
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001146 // The last /TC or /TP option sets the input type to C or C++ globally.
Ehsan Akhgaric249abb2014-09-12 21:44:24 +00001147 if (Arg *TCTP = Args.getLastArgNoClaim(options::OPT__SLASH_TC,
1148 options::OPT__SLASH_TP)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001149 InputTypeArg = TCTP;
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001150 InputType = TCTP->getOption().matches(options::OPT__SLASH_TC)
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001151 ? types::TY_C
1152 : types::TY_CXX;
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001153
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001154 arg_iterator it =
1155 Args.filtered_begin(options::OPT__SLASH_TC, options::OPT__SLASH_TP);
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001156 const arg_iterator ie = Args.filtered_end();
1157 Arg *Previous = *it++;
1158 bool ShowNote = false;
1159 while (it != ie) {
Hans Wennborgd9ad0682013-09-11 16:38:41 +00001160 Diag(clang::diag::warn_drv_overriding_flag_option)
1161 << Previous->getSpelling() << (*it)->getSpelling();
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001162 Previous = *it++;
1163 ShowNote = true;
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001164 }
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001165 if (ShowNote)
1166 Diag(clang::diag::note_drv_t_option_is_global);
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001167
1168 // No driver mode exposes -x and /TC or /TP; we don't support mixing them.
1169 assert(!Args.hasArg(options::OPT_x) && "-x and /TC or /TP is not allowed");
1170 }
1171
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001172 for (Arg *A : Args) {
Michael J. Spencerad3ccc32012-08-20 21:41:17 +00001173 if (A->getOption().getKind() == Option::InputClass) {
Richard Smithbd55daf2012-11-01 04:30:05 +00001174 const char *Value = A->getValue();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001175 types::ID Ty = types::TY_INVALID;
1176
1177 // Infer the input type if necessary.
Daniel Dunbarc5a5ac52009-03-13 17:57:10 +00001178 if (InputType == types::TY_Nothing) {
1179 // If there was an explicit arg for this, claim it.
1180 if (InputTypeArg)
1181 InputTypeArg->claim();
1182
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001183 // stdin must be handled specially.
1184 if (memcmp(Value, "-", 2) == 0) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001185 // If running with -E, treat as a C input (this changes the builtin
1186 // macros, for example). This may be overridden by -ObjC below.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001187 //
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001188 // Otherwise emit an error but still use a valid type to avoid
1189 // spurious errors (e.g., no inputs).
Hans Wennborg70850d82013-07-18 20:29:38 +00001190 if (!Args.hasArgNoClaim(options::OPT_E) && !CCCIsCPP())
Hans Wennborgcfdd8b52014-01-29 01:04:40 +00001191 Diag(IsCLMode() ? clang::diag::err_drv_unknown_stdin_type_clang_cl
1192 : clang::diag::err_drv_unknown_stdin_type);
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001193 Ty = types::TY_C;
1194 } else {
Joerg Sonnenbergerbdbdf702011-03-16 22:45:02 +00001195 // Otherwise lookup by extension.
1196 // Fallback is C if invoked as C preprocessor or Object otherwise.
1197 // We use a host hook here because Darwin at least has its own
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001198 // idea of what .s is.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001199 if (const char *Ext = strrchr(Value, '.'))
Daniel Dunbarcc7df6c2010-08-02 05:43:56 +00001200 Ty = TC.LookupTypeForExtension(Ext + 1);
Daniel Dunbarea9f0322009-03-20 23:39:23 +00001201
Joerg Sonnenbergerbdbdf702011-03-16 22:45:02 +00001202 if (Ty == types::TY_INVALID) {
Hans Wennborg70850d82013-07-18 20:29:38 +00001203 if (CCCIsCPP())
Joerg Sonnenbergerbdbdf702011-03-16 22:45:02 +00001204 Ty = types::TY_C;
1205 else
1206 Ty = types::TY_Object;
1207 }
Daniel Dunbar0ac94452010-02-17 20:32:58 +00001208
1209 // If the driver is invoked as C++ compiler (like clang++ or c++) it
1210 // should autodetect some input files as C++ for g++ compatibility.
Hans Wennborg70850d82013-07-18 20:29:38 +00001211 if (CCCIsCXX()) {
Daniel Dunbar0ac94452010-02-17 20:32:58 +00001212 types::ID OldTy = Ty;
1213 Ty = types::lookupCXXTypeForCType(Ty);
1214
1215 if (Ty != OldTy)
1216 Diag(clang::diag::warn_drv_treating_input_as_cxx)
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001217 << getTypeName(OldTy) << getTypeName(Ty);
Daniel Dunbar0ac94452010-02-17 20:32:58 +00001218 }
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001219 }
1220
Daniel Dunbar82b22102009-05-18 21:47:54 +00001221 // -ObjC and -ObjC++ override the default language, but only for "source
1222 // files". We just treat everything that isn't a linker input as a
1223 // source file.
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001224 //
Daniel Dunbar82b22102009-05-18 21:47:54 +00001225 // FIXME: Clean this up if we move the phase sequence into the type.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001226 if (Ty != types::TY_Object) {
1227 if (Args.hasArg(options::OPT_ObjC))
1228 Ty = types::TY_ObjC;
1229 else if (Args.hasArg(options::OPT_ObjCXX))
1230 Ty = types::TY_ObjCXX;
1231 }
1232 } else {
1233 assert(InputTypeArg && "InputType set w/o InputTypeArg");
Ehsan Akhgari7e954ea2014-09-12 18:15:10 +00001234 if (!InputTypeArg->getOption().matches(options::OPT_x)) {
1235 // If emulating cl.exe, make sure that /TC and /TP don't affect input
1236 // object files.
1237 const char *Ext = strrchr(Value, '.');
1238 if (Ext && TC.LookupTypeForExtension(Ext + 1) == types::TY_Object)
1239 Ty = types::TY_Object;
1240 }
1241 if (Ty == types::TY_INVALID) {
1242 Ty = InputType;
1243 InputTypeArg->claim();
1244 }
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001245 }
1246
Alp Toker8c8a8752013-12-03 06:53:35 +00001247 if (DiagnoseInputExistence(*this, Args, Value))
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001248 Inputs.push_back(std::make_pair(Ty, A));
1249
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001250 } else if (A->getOption().matches(options::OPT__SLASH_Tc)) {
1251 StringRef Value = A->getValue();
Alp Toker8c8a8752013-12-03 06:53:35 +00001252 if (DiagnoseInputExistence(*this, Args, Value)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001253 Arg *InputArg = MakeInputArg(Args, Opts, A->getValue());
1254 Inputs.push_back(std::make_pair(types::TY_C, InputArg));
1255 }
1256 A->claim();
1257 } else if (A->getOption().matches(options::OPT__SLASH_Tp)) {
1258 StringRef Value = A->getValue();
Alp Toker8c8a8752013-12-03 06:53:35 +00001259 if (DiagnoseInputExistence(*this, Args, Value)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001260 Arg *InputArg = MakeInputArg(Args, Opts, A->getValue());
1261 Inputs.push_back(std::make_pair(types::TY_CXX, InputArg));
1262 }
1263 A->claim();
Michael J. Spencer66e2b202012-10-19 22:37:06 +00001264 } else if (A->getOption().hasFlag(options::LinkerInput)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001265 // Just treat as object type, we could make a special type for this if
1266 // necessary.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001267 Inputs.push_back(std::make_pair(types::TY_Object, A));
1268
Daniel Dunbar0bfb21e2009-11-19 03:26:40 +00001269 } else if (A->getOption().matches(options::OPT_x)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001270 InputTypeArg = A;
Richard Smithbd55daf2012-11-01 04:30:05 +00001271 InputType = types::lookupTypeForTypeSpecifier(A->getValue());
Chad Rosier706c2352012-04-07 00:01:31 +00001272 A->claim();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001273
1274 // Follow gcc behavior and treat as linker input for invalid -x
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001275 // options. Its not clear why we shouldn't just revert to unknown; but
Michael J. Spencer1a4fe8c2010-12-17 21:22:33 +00001276 // this isn't very important, we might as well be bug compatible.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001277 if (!InputType) {
Richard Smithbd55daf2012-11-01 04:30:05 +00001278 Diag(clang::diag::err_drv_unknown_language) << A->getValue();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001279 InputType = types::TY_Object;
1280 }
1281 }
1282 }
Hans Wennborg70850d82013-07-18 20:29:38 +00001283 if (CCCIsCPP() && Inputs.empty()) {
Joerg Sonnenbergerb86f5f42011-03-06 23:31:01 +00001284 // If called as standalone preprocessor, stdin is processed
1285 // if no other input is present.
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001286 Arg *A = MakeInputArg(Args, Opts, "-");
Joerg Sonnenbergerb86f5f42011-03-06 23:31:01 +00001287 Inputs.push_back(std::make_pair(types::TY_C, A));
1288 }
Chad Rosierecdede82011-08-12 22:08:57 +00001289}
1290
Artem Belevichf8144ab2015-08-27 18:10:41 +00001291// For each unique --cuda-gpu-arch= argument creates a TY_CUDA_DEVICE
1292// input action and then wraps each in CudaDeviceAction paired with
1293// appropriate GPU arch name. In case of partial (i.e preprocessing
1294// only) or device-only compilation, each device action is added to /p
1295// Actions and /p Current is released. Otherwise the function creates
1296// and returns a new CudaHostAction which wraps /p Current and device
1297// side actions.
Justin Lebar41094612016-01-11 23:07:27 +00001298static Action *buildCudaActions(Compilation &C, DerivedArgList &Args,
1299 const Arg *InputArg, Action *HostAction,
1300 ActionList &Actions) {
Artem Belevich23256752015-09-22 17:23:09 +00001301 Arg *PartialCompilationArg = Args.getLastArg(options::OPT_cuda_host_only,
1302 options::OPT_cuda_device_only);
1303 // Host-only compilation case.
1304 if (PartialCompilationArg &&
1305 PartialCompilationArg->getOption().matches(options::OPT_cuda_host_only))
Justin Lebar41094612016-01-11 23:07:27 +00001306 return C.MakeAction<CudaHostAction>(HostAction, ActionList());
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001307
1308 // Collect all cuda_gpu_arch parameters, removing duplicates.
1309 SmallVector<const char *, 4> GpuArchList;
1310 llvm::StringSet<> GpuArchNames;
1311 for (Arg *A : Args) {
Justin Lebar23bcef92016-01-08 19:04:11 +00001312 if (!A->getOption().matches(options::OPT_cuda_gpu_arch_EQ))
1313 continue;
1314 A->claim();
Justin Lebar7bf77982016-01-11 23:27:13 +00001315
1316 const auto& Arch = A->getValue();
1317 if (!CudaDeviceAction::IsValidGpuArchName(Arch))
1318 C.getDriver().Diag(clang::diag::err_drv_cuda_bad_gpu_arch) << Arch;
1319 else if (GpuArchNames.insert(Arch).second)
1320 GpuArchList.push_back(Arch);
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001321 }
1322
1323 // Default to sm_20 which is the lowest common denominator for supported GPUs.
1324 // sm_20 code should work correctly, if suboptimally, on all newer GPUs.
1325 if (GpuArchList.empty())
1326 GpuArchList.push_back("sm_20");
1327
1328 // Replicate inputs for each GPU architecture.
1329 Driver::InputList CudaDeviceInputs;
Artem Belevich5bde4e02015-07-20 20:02:54 +00001330 for (unsigned I = 0, E = GpuArchList.size(); I != E; ++I)
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001331 CudaDeviceInputs.push_back(std::make_pair(types::TY_CUDA_DEVICE, InputArg));
1332
1333 // Build actions for all device inputs.
Artem Belevich5e2a3ec2015-11-17 22:28:40 +00001334 assert(C.getCudaDeviceToolChain() &&
1335 "Missing toolchain for device-side compilation.");
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001336 ActionList CudaDeviceActions;
Justin Lebar0f3474c2016-02-11 02:00:50 +00001337 C.getDriver().BuildActions(C, Args, CudaDeviceInputs, CudaDeviceActions);
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001338 assert(GpuArchList.size() == CudaDeviceActions.size() &&
1339 "Failed to create actions for all devices");
1340
1341 // Check whether any of device actions stopped before they could generate PTX.
Justin Lebar23bcef92016-01-08 19:04:11 +00001342 bool PartialCompilation =
1343 llvm::any_of(CudaDeviceActions, [](const Action *a) {
Justin Lebar21e5d4f2016-01-14 21:41:27 +00001344 return a->getKind() != Action::AssembleJobClass;
Justin Lebar23bcef92016-01-08 19:04:11 +00001345 });
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001346
1347 // Figure out what to do with device actions -- pass them as inputs to the
1348 // host action or run each of them independently.
Artem Belevich23256752015-09-22 17:23:09 +00001349 bool DeviceOnlyCompilation = PartialCompilationArg != nullptr;
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001350 if (PartialCompilation || DeviceOnlyCompilation) {
1351 // In case of partial or device-only compilation results of device actions
1352 // are not consumed by the host action device actions have to be added to
1353 // top-level actions list with AtTopLevel=true and run independently.
1354
1355 // -o is ambiguous if we have more than one top-level action.
1356 if (Args.hasArg(options::OPT_o) &&
1357 (!DeviceOnlyCompilation || GpuArchList.size() > 1)) {
Artem Belevich5e2a3ec2015-11-17 22:28:40 +00001358 C.getDriver().Diag(
1359 clang::diag::err_drv_output_argument_with_multiple_files);
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001360 return nullptr;
1361 }
1362
Artem Belevich5bde4e02015-07-20 20:02:54 +00001363 for (unsigned I = 0, E = GpuArchList.size(); I != E; ++I)
Justin Lebar41094612016-01-11 23:07:27 +00001364 Actions.push_back(C.MakeAction<CudaDeviceAction>(CudaDeviceActions[I],
1365 GpuArchList[I],
1366 /* AtTopLevel */ true));
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001367 // Kill host action in case of device-only compilation.
1368 if (DeviceOnlyCompilation)
Justin Lebar41094612016-01-11 23:07:27 +00001369 return nullptr;
Artem Belevichdb35a3e2015-07-20 21:59:31 +00001370 return HostAction;
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001371 }
Artem Belevich5bde4e02015-07-20 20:02:54 +00001372
Justin Lebar21e5d4f2016-01-14 21:41:27 +00001373 // If we're not a partial or device-only compilation, we compile each arch to
1374 // ptx and assemble to cubin, then feed the cubin *and* the ptx into a device
1375 // "link" action, which uses fatbinary to combine these cubins into one
1376 // fatbin. The fatbin is then an input to the host compilation.
Artem Belevich5bde4e02015-07-20 20:02:54 +00001377 ActionList DeviceActions;
Justin Lebar21e5d4f2016-01-14 21:41:27 +00001378 for (unsigned I = 0, E = GpuArchList.size(); I != E; ++I) {
1379 Action* AssembleAction = CudaDeviceActions[I];
1380 assert(AssembleAction->getType() == types::TY_Object);
1381 assert(AssembleAction->getInputs().size() == 1);
1382
1383 Action* BackendAction = AssembleAction->getInputs()[0];
1384 assert(BackendAction->getType() == types::TY_PP_Asm);
1385
1386 for (const auto& A : {AssembleAction, BackendAction}) {
1387 DeviceActions.push_back(C.MakeAction<CudaDeviceAction>(
1388 A, GpuArchList[I], /* AtTopLevel */ false));
1389 }
1390 }
1391 auto FatbinAction = C.MakeAction<CudaDeviceAction>(
1392 C.MakeAction<LinkJobAction>(DeviceActions, types::TY_CUDA_FATBIN),
1393 /* GpuArchName = */ nullptr,
1394 /* AtTopLevel = */ false);
Artem Belevich5bde4e02015-07-20 20:02:54 +00001395 // Return a new host action that incorporates original host action and all
1396 // device actions.
Justin Lebar21e5d4f2016-01-14 21:41:27 +00001397 return C.MakeAction<CudaHostAction>(std::move(HostAction),
1398 ActionList({FatbinAction}));
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001399}
1400
Justin Lebar0f3474c2016-02-11 02:00:50 +00001401void Driver::BuildActions(Compilation &C, DerivedArgList &Args,
1402 const InputList &Inputs, ActionList &Actions) const {
Chad Rosierecdede82011-08-12 22:08:57 +00001403 llvm::PrettyStackTraceString CrashInfo("Building compilation actions");
Joerg Sonnenbergerb86f5f42011-03-06 23:31:01 +00001404
Daniel Dunbar34c41872009-03-13 00:17:48 +00001405 if (!SuppressMissingInputWarning && Inputs.empty()) {
Daniel Dunbarbfeec742009-03-12 23:55:14 +00001406 Diag(clang::diag::err_drv_no_input_files);
1407 return;
1408 }
1409
Chad Rosier7742b5d2011-07-27 23:36:45 +00001410 Arg *FinalPhaseArg;
1411 phases::ID FinalPhase = getFinalPhase(Args, &FinalPhaseArg);
Daniel Dunbarbfeec742009-03-12 23:55:14 +00001412
Rafael Espindolae8025642013-08-25 14:27:09 +00001413 if (FinalPhase == phases::Link && Args.hasArg(options::OPT_emit_llvm)) {
1414 Diag(clang::diag::err_drv_emit_llvm_link);
1415 }
1416
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001417 // Reject -Z* at the top level, these options should never have been exposed
1418 // by gcc.
Daniel Dunbardd765242009-03-26 16:12:09 +00001419 if (Arg *A = Args.getLastArg(options::OPT_Z_Joined))
Daniel Dunbar0e759942009-03-20 06:14:23 +00001420 Diag(clang::diag::err_drv_use_of_Z_option) << A->getAsString(Args);
Daniel Dunbarbfeec742009-03-12 23:55:14 +00001421
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001422 // Diagnose misuse of /Fo.
1423 if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fo)) {
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001424 StringRef V = A->getValue();
Hans Wennborg61647532014-11-17 19:16:36 +00001425 if (Inputs.size() > 1 && !V.empty() &&
1426 !llvm::sys::path::is_separator(V.back())) {
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001427 // Check whether /Fo tries to name an output file for multiple inputs.
Hans Wennborg9c1659b2013-10-18 22:49:04 +00001428 Diag(clang::diag::err_drv_out_file_argument_with_multiple_sources)
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001429 << A->getSpelling() << V;
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001430 Args.eraseArg(options::OPT__SLASH_Fo);
1431 }
1432 }
1433
Hans Wennborg9c1659b2013-10-18 22:49:04 +00001434 // Diagnose misuse of /Fa.
1435 if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fa)) {
1436 StringRef V = A->getValue();
Hans Wennborg61647532014-11-17 19:16:36 +00001437 if (Inputs.size() > 1 && !V.empty() &&
1438 !llvm::sys::path::is_separator(V.back())) {
Hans Wennborg9c1659b2013-10-18 22:49:04 +00001439 // Check whether /Fa tries to name an asm file for multiple inputs.
1440 Diag(clang::diag::err_drv_out_file_argument_with_multiple_sources)
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001441 << A->getSpelling() << V;
Hans Wennborg9c1659b2013-10-18 22:49:04 +00001442 Args.eraseArg(options::OPT__SLASH_Fa);
1443 }
1444 }
1445
Ehsan Akhgari81f36b72014-09-11 18:16:21 +00001446 // Diagnose misuse of /o.
1447 if (Arg *A = Args.getLastArg(options::OPT__SLASH_o)) {
1448 if (A->getValue()[0] == '\0') {
1449 // It has to have a value.
1450 Diag(clang::diag::err_drv_missing_argument) << A->getSpelling() << 1;
1451 Args.eraseArg(options::OPT__SLASH_o);
1452 }
1453 }
1454
Nico Weber2ca4be92016-03-01 23:16:44 +00001455 // Diagnose unsupported forms of /Yc /Yu. Ignore /Yc/Yu for now if:
1456 // * no filename after it
1457 // * both /Yc and /Yu passed but with different filenames
1458 // * corresponding file not also passed as /FI
1459 Arg *YcArg = Args.getLastArg(options::OPT__SLASH_Yc);
1460 Arg *YuArg = Args.getLastArg(options::OPT__SLASH_Yu);
1461 if (YcArg && YcArg->getValue()[0] == '\0') {
1462 Diag(clang::diag::warn_drv_ycyu_no_arg_clang_cl) << YcArg->getSpelling();
1463 Args.eraseArg(options::OPT__SLASH_Yc);
1464 YcArg = nullptr;
1465 }
1466 if (YuArg && YuArg->getValue()[0] == '\0') {
1467 Diag(clang::diag::warn_drv_ycyu_no_arg_clang_cl) << YuArg->getSpelling();
1468 Args.eraseArg(options::OPT__SLASH_Yu);
1469 YuArg = nullptr;
1470 }
1471 if (YcArg && YuArg && strcmp(YcArg->getValue(), YuArg->getValue()) != 0) {
1472 Diag(clang::diag::warn_drv_ycyu_different_arg_clang_cl);
1473 Args.eraseArg(options::OPT__SLASH_Yc);
1474 Args.eraseArg(options::OPT__SLASH_Yu);
1475 YcArg = YuArg = nullptr;
1476 }
1477 if (YcArg || YuArg) {
1478 StringRef Val = YcArg ? YcArg->getValue() : YuArg->getValue();
1479 bool FoundMatchingInclude = false;
1480 for (const Arg *Inc : Args.filtered(options::OPT_include)) {
1481 // FIXME: Do case-insensitive matching and consider / and \ as equal.
1482 if (Inc->getValue() == Val)
1483 FoundMatchingInclude = true;
1484 }
1485 if (!FoundMatchingInclude) {
1486 Diag(clang::diag::warn_drv_ycyu_no_fi_arg_clang_cl)
1487 << (YcArg ? YcArg : YuArg)->getSpelling();
1488 Args.eraseArg(options::OPT__SLASH_Yc);
1489 Args.eraseArg(options::OPT__SLASH_Yu);
1490 YcArg = YuArg = nullptr;
1491 }
1492 }
1493 if (YcArg && Inputs.size() > 1) {
1494 Diag(clang::diag::warn_drv_yc_multiple_inputs_clang_cl);
1495 Args.eraseArg(options::OPT__SLASH_Yc);
1496 YcArg = nullptr;
1497 }
1498 if (Args.hasArg(options::OPT__SLASH_Y_)) {
1499 // /Y- disables all pch handling. Rather than check for it everywhere,
1500 // just remove clang-cl pch-related flags here.
1501 Args.eraseArg(options::OPT__SLASH_Fp);
1502 Args.eraseArg(options::OPT__SLASH_Yc);
1503 Args.eraseArg(options::OPT__SLASH_Yu);
1504 YcArg = YuArg = nullptr;
1505 }
1506 // FIXME: For now, only enable pch support if an internal flag is passed too.
1507 // Remove this once pch support has stabilitzed.
1508 if (!Args.hasArg(options::OPT__SLASH_internal_enable_pch)) {
1509 Args.eraseArg(options::OPT__SLASH_Fp);
1510 Args.eraseArg(options::OPT__SLASH_Yc);
1511 Args.eraseArg(options::OPT__SLASH_Yu);
1512 YcArg = YuArg = nullptr;
1513 }
1514
Daniel Dunbar65229332009-03-13 11:38:42 +00001515 // Construct the actions to perform.
1516 ActionList LinkerInputs;
Alp Toker965f8822013-11-27 05:22:15 +00001517
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001518 llvm::SmallVector<phases::ID, phases::MaxNumberOfPhases> PL;
Artem Belevich5bde4e02015-07-20 20:02:54 +00001519 for (auto &I : Inputs) {
1520 types::ID InputType = I.first;
1521 const Arg *InputArg = I.second;
Daniel Dunbar65229332009-03-13 11:38:42 +00001522
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001523 PL.clear();
1524 types::getCompilationPhases(InputType, PL);
Daniel Dunbar65229332009-03-13 11:38:42 +00001525
Nico Weber2ca4be92016-03-01 23:16:44 +00001526 if (YcArg) {
1527 // Add a separate precompile phase for the compile phase.
1528 if (FinalPhase >= phases::Compile) {
1529 llvm::SmallVector<phases::ID, phases::MaxNumberOfPhases> PCHPL;
1530 types::getCompilationPhases(types::TY_CXXHeader, PCHPL);
1531 Arg *PchInputArg = MakeInputArg(Args, Opts, YcArg->getValue());
1532
1533 // Build the pipeline for the pch file.
1534 Action *ClangClPch = C.MakeAction<InputAction>(*PchInputArg, InputType);
1535 for (phases::ID Phase : PCHPL)
1536 ClangClPch = ConstructPhaseAction(C, Args, Phase, ClangClPch);
1537 assert(ClangClPch);
1538 Actions.push_back(ClangClPch);
1539 // The driver currently exits after the first failed command. This
1540 // relies on that behavior, to make sure if the pch generation fails,
1541 // the main compilation won't run.
1542 }
1543 }
1544
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001545 // If the first step comes after the final phase we are doing as part of
1546 // this compilation, warn the user about it.
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001547 phases::ID InitialPhase = PL[0];
Daniel Dunbar65229332009-03-13 11:38:42 +00001548 if (InitialPhase > FinalPhase) {
Daniel Dunbaradc5c7c2009-03-19 07:57:08 +00001549 // Claim here to avoid the more general unused warning.
1550 InputArg->claim();
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001551
Daniel Dunbar2db3e732011-04-20 15:44:48 +00001552 // Suppress all unused style warnings with -Qunused-arguments
1553 if (Args.hasArg(options::OPT_Qunused_arguments))
1554 continue;
1555
Richard Smith403f76e2012-08-06 04:09:06 +00001556 // Special case when final phase determined by binary name, rather than
1557 // by a command-line argument with a corresponding Arg.
Hans Wennborg70850d82013-07-18 20:29:38 +00001558 if (CCCIsCPP())
Richard Smith403f76e2012-08-06 04:09:06 +00001559 Diag(clang::diag::warn_drv_input_file_unused_by_cpp)
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001560 << InputArg->getAsString(Args) << getPhaseName(InitialPhase);
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001561 // Special case '-E' warning on a previously preprocessed file to make
1562 // more sense.
Richard Smith403f76e2012-08-06 04:09:06 +00001563 else if (InitialPhase == phases::Compile &&
1564 FinalPhase == phases::Preprocess &&
1565 getPreprocessedType(InputType) == types::TY_INVALID)
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001566 Diag(clang::diag::warn_drv_preprocessed_input_file_unused)
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001567 << InputArg->getAsString(Args) << !!FinalPhaseArg
1568 << (FinalPhaseArg ? FinalPhaseArg->getOption().getName() : "");
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001569 else
1570 Diag(clang::diag::warn_drv_input_file_unused)
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001571 << InputArg->getAsString(Args) << getPhaseName(InitialPhase)
1572 << !!FinalPhaseArg
1573 << (FinalPhaseArg ? FinalPhaseArg->getOption().getName() : "");
Daniel Dunbar65229332009-03-13 11:38:42 +00001574 continue;
1575 }
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001576
Justin Lebar23bcef92016-01-08 19:04:11 +00001577 phases::ID CudaInjectionPhase =
1578 (phases::Compile < FinalPhase &&
1579 llvm::find(PL, phases::Compile) != PL.end())
1580 ? phases::Compile
1581 : FinalPhase;
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001582
Daniel Dunbar65229332009-03-13 11:38:42 +00001583 // Build the pipeline for this file.
Justin Lebar41094612016-01-11 23:07:27 +00001584 Action *Current = C.MakeAction<InputAction>(*InputArg, InputType);
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001585 for (SmallVectorImpl<phases::ID>::iterator i = PL.begin(), e = PL.end();
1586 i != e; ++i) {
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001587 phases::ID Phase = *i;
Daniel Dunbar65229332009-03-13 11:38:42 +00001588
1589 // We are done if this step is past what the user requested.
1590 if (Phase > FinalPhase)
1591 break;
1592
1593 // Queue linker inputs.
1594 if (Phase == phases::Link) {
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001595 assert((i + 1) == e && "linking must be final compilation step.");
Justin Lebar41094612016-01-11 23:07:27 +00001596 LinkerInputs.push_back(Current);
1597 Current = nullptr;
Daniel Dunbar65229332009-03-13 11:38:42 +00001598 break;
1599 }
1600
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001601 // Some types skip the assembler phase (e.g., llvm-bc), but we can't
1602 // encode this in the steps because the intermediate type depends on
1603 // arguments. Just special case here.
Daniel Dunbar13864952009-03-24 20:17:30 +00001604 if (Phase == phases::Assemble && Current->getType() != types::TY_PP_Asm)
1605 continue;
1606
Daniel Dunbar65229332009-03-13 11:38:42 +00001607 // Otherwise construct the appropriate action.
Justin Lebar0f3474c2016-02-11 02:00:50 +00001608 Current = ConstructPhaseAction(C, Args, Phase, Current);
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001609
Artem Belevich23256752015-09-22 17:23:09 +00001610 if (InputType == types::TY_CUDA && Phase == CudaInjectionPhase) {
Justin Lebar41094612016-01-11 23:07:27 +00001611 Current = buildCudaActions(C, Args, InputArg, Current, Actions);
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001612 if (!Current)
1613 break;
1614 }
1615
Daniel Dunbar65229332009-03-13 11:38:42 +00001616 if (Current->getType() == types::TY_Nothing)
1617 break;
1618 }
1619
1620 // If we ended with something, add to the output list.
1621 if (Current)
Justin Lebar41094612016-01-11 23:07:27 +00001622 Actions.push_back(Current);
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001623 }
Daniel Dunbar65229332009-03-13 11:38:42 +00001624
1625 // Add a link action if necessary.
1626 if (!LinkerInputs.empty())
Justin Lebar41094612016-01-11 23:07:27 +00001627 Actions.push_back(
1628 C.MakeAction<LinkJobAction>(LinkerInputs, types::TY_Image));
Daniel Dunbarc7a67b72009-12-22 23:19:32 +00001629
1630 // If we are linking, claim any options which are obviously only used for
1631 // compilation.
Hans Wennborga8ef14f2013-09-17 00:03:41 +00001632 if (FinalPhase == phases::Link && PL.size() == 1) {
Daniel Dunbarc7a67b72009-12-22 23:19:32 +00001633 Args.ClaimAllArgs(options::OPT_CompileOnly_Group);
Hans Wennborga8ef14f2013-09-17 00:03:41 +00001634 Args.ClaimAllArgs(options::OPT_cl_compile_Group);
1635 }
1636
1637 // Claim ignored clang-cl options.
1638 Args.ClaimAllArgs(options::OPT_cl_ignored_Group);
Artem Belevichbaae0932015-07-28 21:01:30 +00001639
1640 // Claim --cuda-host-only arg which may be passed to non-CUDA
1641 // compilations and should not trigger warnings there.
1642 Args.ClaimAllArgs(options::OPT_cuda_host_only);
Daniel Dunbar65229332009-03-13 11:38:42 +00001643}
1644
Justin Lebar0f3474c2016-02-11 02:00:50 +00001645Action *Driver::ConstructPhaseAction(Compilation &C, const ArgList &Args,
1646 phases::ID Phase, Action *Input) const {
Daniel Dunbar2608c542009-03-18 01:38:48 +00001647 llvm::PrettyStackTraceString CrashInfo("Constructing phase actions");
Daniel Dunbar65229332009-03-13 11:38:42 +00001648 // Build the appropriate action.
1649 switch (Phase) {
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001650 case phases::Link:
1651 llvm_unreachable("link action invalid here.");
Daniel Dunbar65229332009-03-13 11:38:42 +00001652 case phases::Preprocess: {
Daniel Dunbard67a3222009-03-30 06:36:42 +00001653 types::ID OutputTy;
1654 // -{M, MM} alter the output type.
Daniel Dunbar86aed7d2010-12-08 21:33:40 +00001655 if (Args.hasArg(options::OPT_M, options::OPT_MM)) {
Daniel Dunbard67a3222009-03-30 06:36:42 +00001656 OutputTy = types::TY_Dependencies;
1657 } else {
David Blaikie5d577a22012-06-29 22:03:56 +00001658 OutputTy = Input->getType();
1659 if (!Args.hasFlag(options::OPT_frewrite_includes,
Justin Bognerce8245b2014-06-24 08:01:01 +00001660 options::OPT_fno_rewrite_includes, false) &&
1661 !CCGenDiagnostics)
David Blaikie5d577a22012-06-29 22:03:56 +00001662 OutputTy = types::getPreprocessedType(OutputTy);
Daniel Dunbard67a3222009-03-30 06:36:42 +00001663 assert(OutputTy != types::TY_INVALID &&
1664 "Cannot preprocess this input type!");
1665 }
Justin Lebar41094612016-01-11 23:07:27 +00001666 return C.MakeAction<PreprocessJobAction>(Input, OutputTy);
Daniel Dunbar65229332009-03-13 11:38:42 +00001667 }
Aaron Ballman1f10cc52012-07-31 01:21:00 +00001668 case phases::Precompile: {
1669 types::ID OutputTy = types::TY_PCH;
1670 if (Args.hasArg(options::OPT_fsyntax_only)) {
1671 // Syntax checks should not emit a PCH file
1672 OutputTy = types::TY_Nothing;
1673 }
Justin Lebar41094612016-01-11 23:07:27 +00001674 return C.MakeAction<PrecompileJobAction>(Input, OutputTy);
Aaron Ballman1f10cc52012-07-31 01:21:00 +00001675 }
Daniel Dunbar65229332009-03-13 11:38:42 +00001676 case phases::Compile: {
David Blaikie486f4402014-08-29 07:25:23 +00001677 if (Args.hasArg(options::OPT_fsyntax_only))
Justin Lebar41094612016-01-11 23:07:27 +00001678 return C.MakeAction<CompileJobAction>(Input, types::TY_Nothing);
David Blaikie486f4402014-08-29 07:25:23 +00001679 if (Args.hasArg(options::OPT_rewrite_objc))
Justin Lebar41094612016-01-11 23:07:27 +00001680 return C.MakeAction<CompileJobAction>(Input, types::TY_RewrittenObjC);
David Blaikie486f4402014-08-29 07:25:23 +00001681 if (Args.hasArg(options::OPT_rewrite_legacy_objc))
Justin Lebar41094612016-01-11 23:07:27 +00001682 return C.MakeAction<CompileJobAction>(Input,
1683 types::TY_RewrittenLegacyObjC);
David Blaikie486f4402014-08-29 07:25:23 +00001684 if (Args.hasArg(options::OPT__analyze, options::OPT__analyze_auto))
Justin Lebar41094612016-01-11 23:07:27 +00001685 return C.MakeAction<AnalyzeJobAction>(Input, types::TY_Plist);
David Blaikie486f4402014-08-29 07:25:23 +00001686 if (Args.hasArg(options::OPT__migrate))
Justin Lebar41094612016-01-11 23:07:27 +00001687 return C.MakeAction<MigrateJobAction>(Input, types::TY_Remap);
David Blaikie486f4402014-08-29 07:25:23 +00001688 if (Args.hasArg(options::OPT_emit_ast))
Justin Lebar41094612016-01-11 23:07:27 +00001689 return C.MakeAction<CompileJobAction>(Input, types::TY_AST);
David Blaikie486f4402014-08-29 07:25:23 +00001690 if (Args.hasArg(options::OPT_module_file_info))
Justin Lebar41094612016-01-11 23:07:27 +00001691 return C.MakeAction<CompileJobAction>(Input, types::TY_ModuleFile);
David Blaikie486f4402014-08-29 07:25:23 +00001692 if (Args.hasArg(options::OPT_verify_pch))
Justin Lebar41094612016-01-11 23:07:27 +00001693 return C.MakeAction<VerifyPCHJobAction>(Input, types::TY_Nothing);
1694 return C.MakeAction<CompileJobAction>(Input, types::TY_LLVM_BC);
Bob Wilson23a55f12014-12-21 07:00:00 +00001695 }
1696 case phases::Backend: {
Teresa Johnson945bc502015-10-15 20:35:53 +00001697 if (isUsingLTO()) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001698 types::ID Output =
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001699 Args.hasArg(options::OPT_S) ? types::TY_LTO_IR : types::TY_LTO_BC;
Justin Lebar41094612016-01-11 23:07:27 +00001700 return C.MakeAction<BackendJobAction>(Input, Output);
David Blaikie486f4402014-08-29 07:25:23 +00001701 }
1702 if (Args.hasArg(options::OPT_emit_llvm)) {
Shuxin Yang4b3c7ff2013-08-23 21:34:57 +00001703 types::ID Output =
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001704 Args.hasArg(options::OPT_S) ? types::TY_LLVM_IR : types::TY_LLVM_BC;
Justin Lebar41094612016-01-11 23:07:27 +00001705 return C.MakeAction<BackendJobAction>(Input, Output);
Daniel Dunbar65229332009-03-13 11:38:42 +00001706 }
Justin Lebar41094612016-01-11 23:07:27 +00001707 return C.MakeAction<BackendJobAction>(Input, types::TY_PP_Asm);
Daniel Dunbar65229332009-03-13 11:38:42 +00001708 }
1709 case phases::Assemble:
Justin Lebar21e5d4f2016-01-14 21:41:27 +00001710 return C.MakeAction<AssembleJobAction>(std::move(Input), types::TY_Object);
Daniel Dunbar65229332009-03-13 11:38:42 +00001711 }
1712
David Blaikie83d382b2011-09-23 05:06:16 +00001713 llvm_unreachable("invalid phase in ConstructPhaseAction");
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001714}
1715
Daniel Dunbarf0eddb82009-03-18 02:55:38 +00001716void Driver::BuildJobs(Compilation &C) const {
Daniel Dunbar2608c542009-03-18 01:38:48 +00001717 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
Daniel Dunbare75d8342009-03-16 06:56:51 +00001718
1719 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
1720
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001721 // It is an error to provide a -o option if we are making multiple output
1722 // files.
Daniel Dunbare75d8342009-03-16 06:56:51 +00001723 if (FinalOutput) {
1724 unsigned NumOutputs = 0;
Saleem Abdulrasoolda3f4e52014-12-29 21:02:47 +00001725 for (const Action *A : C.getActions())
1726 if (A->getType() != types::TY_Nothing)
Daniel Dunbare75d8342009-03-16 06:56:51 +00001727 ++NumOutputs;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001728
Daniel Dunbare75d8342009-03-16 06:56:51 +00001729 if (NumOutputs > 1) {
1730 Diag(clang::diag::err_drv_output_argument_with_multiple_files);
Craig Topper92fc2df2014-05-17 16:56:41 +00001731 FinalOutput = nullptr;
Daniel Dunbare75d8342009-03-16 06:56:51 +00001732 }
1733 }
1734
Chad Rosier35767232013-04-30 22:01:21 +00001735 // Collect the list of architectures.
1736 llvm::StringSet<> ArchNames;
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001737 if (C.getDefaultToolChain().getTriple().isOSBinFormatMachO())
1738 for (const Arg *A : C.getArgs())
Chad Rosier35767232013-04-30 22:01:21 +00001739 if (A->getOption().matches(options::OPT_arch))
1740 ArchNames.insert(A->getValue());
Chad Rosier35767232013-04-30 22:01:21 +00001741
Justin Lebarb44f6fe2016-01-14 21:41:21 +00001742 // Set of (Action, canonical ToolChain triple) pairs we've built jobs for.
1743 std::map<std::pair<const Action *, std::string>, InputInfo> CachedResults;
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001744 for (Action *A : C.getActions()) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001745 // If we are linking an image for multiple archs then the linker wants
1746 // -arch_multiple and -final_output <final image name>. Unfortunately, this
1747 // doesn't fit in cleanly because we have to pass this information down.
Daniel Dunbare75d8342009-03-16 06:56:51 +00001748 //
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001749 // FIXME: This is a hack; find a cleaner way to integrate this into the
1750 // process.
Craig Topper92fc2df2014-05-17 16:56:41 +00001751 const char *LinkingOutput = nullptr;
Daniel Dunbardd765242009-03-26 16:12:09 +00001752 if (isa<LipoJobAction>(A)) {
Daniel Dunbare75d8342009-03-16 06:56:51 +00001753 if (FinalOutput)
Richard Smithbd55daf2012-11-01 04:30:05 +00001754 LinkingOutput = FinalOutput->getValue();
Daniel Dunbare75d8342009-03-16 06:56:51 +00001755 else
Hans Wennborga7707222015-01-09 17:38:53 +00001756 LinkingOutput = getDefaultImageName();
Daniel Dunbare75d8342009-03-16 06:56:51 +00001757 }
1758
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001759 BuildJobsForAction(C, A, &C.getDefaultToolChain(),
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001760 /*BoundArch*/ nullptr,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001761 /*AtTopLevel*/ true,
Chad Rosier35767232013-04-30 22:01:21 +00001762 /*MultipleArchs*/ ArchNames.size() > 1,
Justin Lebarb44f6fe2016-01-14 21:41:21 +00001763 /*LinkingOutput*/ LinkingOutput, CachedResults);
Daniel Dunbare75d8342009-03-16 06:56:51 +00001764 }
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001765
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001766 // If the user passed -Qunused-arguments or there were errors, don't warn
1767 // about any unused arguments.
Argyrios Kyrtzidis31448a42010-11-18 21:47:07 +00001768 if (Diags.hasErrorOccurred() ||
Daniel Dunbara3cfbe32009-04-07 19:04:18 +00001769 C.getArgs().hasArg(options::OPT_Qunused_arguments))
Daniel Dunbard175d972009-03-18 18:03:46 +00001770 return;
1771
Daniel Dunbar58399ae2009-03-29 22:24:54 +00001772 // Claim -### here.
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001773 (void)C.getArgs().hasArg(options::OPT__HASH_HASH_HASH);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001774
Hans Wennborg70850d82013-07-18 20:29:38 +00001775 // Claim --driver-mode, it was handled earlier.
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001776 (void)C.getArgs().hasArg(options::OPT_driver_mode);
Hans Wennborg70850d82013-07-18 20:29:38 +00001777
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001778 for (Arg *A : C.getArgs()) {
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001779 // FIXME: It would be nice to be able to send the argument to the
David Blaikie9c902b52011-09-25 23:23:43 +00001780 // DiagnosticsEngine, so that extra values, position, and so on could be
1781 // printed.
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001782 if (!A->isClaimed()) {
Michael J. Spencer66e2b202012-10-19 22:37:06 +00001783 if (A->getOption().hasFlag(options::NoArgumentUnused))
Daniel Dunbara3cfbe32009-04-07 19:04:18 +00001784 continue;
1785
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001786 // Suppress the warning automatically if this is just a flag, and it is an
1787 // instance of an argument we already claimed.
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001788 const Option &Opt = A->getOption();
Michael J. Spencerad3ccc32012-08-20 21:41:17 +00001789 if (Opt.getKind() == Option::FlagClass) {
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001790 bool DuplicateClaimed = false;
1791
Sean Silva14facf32015-06-09 01:57:17 +00001792 for (const Arg *AA : C.getArgs().filtered(&Opt)) {
1793 if (AA->isClaimed()) {
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001794 DuplicateClaimed = true;
1795 break;
1796 }
1797 }
1798
1799 if (DuplicateClaimed)
1800 continue;
1801 }
1802
Ehsan Akhgarid8518332016-01-25 21:14:52 +00001803 // In clang-cl, don't mention unknown arguments here since they have
1804 // already been warned about.
1805 if (!IsCLMode() || !A->getOption().matches(options::OPT_UNKNOWN))
1806 Diag(clang::diag::warn_drv_unused_argument)
1807 << A->getAsString(C.getArgs());
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001808 }
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001809 }
Daniel Dunbar95e6b192009-03-13 22:12:33 +00001810}
1811
Artem Belevichf8144ab2015-08-27 18:10:41 +00001812// Returns a Tool for a given JobAction. In case the action and its
1813// predecessors can be combined, updates Inputs with the inputs of the
1814// first combined action. If one of the collapsed actions is a
1815// CudaHostAction, updates CollapsedCHA with the pointer to it so the
1816// caller can deal with extra handling such action requires.
1817static const Tool *selectToolForJob(Compilation &C, bool SaveTemps,
Steven Wu574b0f22016-03-01 01:07:58 +00001818 bool EmbedBitcode, const ToolChain *TC,
1819 const JobAction *JA,
Artem Belevichf8144ab2015-08-27 18:10:41 +00001820 const ActionList *&Inputs,
1821 const CudaHostAction *&CollapsedCHA) {
Craig Topper92fc2df2014-05-17 16:56:41 +00001822 const Tool *ToolForJob = nullptr;
Artem Belevichf8144ab2015-08-27 18:10:41 +00001823 CollapsedCHA = nullptr;
Daniel Dunbarc4343942010-02-03 03:07:56 +00001824
1825 // See if we should look for a compiler with an integrated assembler. We match
1826 // bottom up, so what we are actually looking for is an assembler job with a
Reid Klecknerda0acc82014-12-18 23:07:04 +00001827 // compiler input.
Daniel Dunbarf9ff3502010-05-14 02:03:00 +00001828
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001829 if (TC->useIntegratedAs() && !SaveTemps &&
David Peixotto3e325d72013-12-06 20:27:33 +00001830 !C.getArgs().hasArg(options::OPT_via_file_asm) &&
Hans Wennborg2c21f742013-10-17 16:16:23 +00001831 !C.getArgs().hasArg(options::OPT__SLASH_FA) &&
1832 !C.getArgs().hasArg(options::OPT__SLASH_Fa) &&
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001833 isa<AssembleJobAction>(JA) && Inputs->size() == 1 &&
1834 isa<BackendJobAction>(*Inputs->begin())) {
Steven Wu574b0f22016-03-01 01:07:58 +00001835 // A BackendJob is always preceded by a CompileJob, and without -save-temps
1836 // or -fembed-bitcode, they will always get combined together, so instead of
1837 // checking the backend tool, check if the tool for the CompileJob has an
1838 // integrated assembler. For -fembed-bitcode, CompileJob is still used to
1839 // look up tools for BackendJob, but they need to match before we can split
1840 // them.
Bob Wilson23a55f12014-12-21 07:00:00 +00001841 const ActionList *BackendInputs = &(*Inputs)[0]->getInputs();
Artem Belevichf8144ab2015-08-27 18:10:41 +00001842 // Compile job may be wrapped in CudaHostAction, extract it if
1843 // that's the case and update CollapsedCHA if we combine phases.
1844 CudaHostAction *CHA = dyn_cast<CudaHostAction>(*BackendInputs->begin());
Nico Weber5a459f82016-02-23 19:30:43 +00001845 JobAction *CompileJA = cast<CompileJobAction>(
1846 CHA ? *CHA->input_begin() : *BackendInputs->begin());
Artem Belevichf8144ab2015-08-27 18:10:41 +00001847 assert(CompileJA && "Backend job is not preceeded by compile job.");
Bob Wilson23a55f12014-12-21 07:00:00 +00001848 const Tool *Compiler = TC->SelectTool(*CompileJA);
Rafael Espindola79764462013-03-24 15:06:53 +00001849 if (!Compiler)
Craig Topper92fc2df2014-05-17 16:56:41 +00001850 return nullptr;
Steven Wu574b0f22016-03-01 01:07:58 +00001851 // When using -fembed-bitcode, it is required to have the same tool (clang)
1852 // for both CompilerJA and BackendJA. Otherwise, combine two stages.
1853 if (EmbedBitcode) {
1854 JobAction *InputJA = cast<JobAction>(*Inputs->begin());
1855 const Tool *BackendTool = TC->SelectTool(*InputJA);
1856 if (BackendTool == Compiler)
1857 CompileJA = InputJA;
1858 }
Rafael Espindola79764462013-03-24 15:06:53 +00001859 if (Compiler->hasIntegratedAssembler()) {
Artem Belevichf8144ab2015-08-27 18:10:41 +00001860 Inputs = &CompileJA->getInputs();
Bob Wilson23a55f12014-12-21 07:00:00 +00001861 ToolForJob = Compiler;
Artem Belevichf8144ab2015-08-27 18:10:41 +00001862 CollapsedCHA = CHA;
Bob Wilson23a55f12014-12-21 07:00:00 +00001863 }
1864 }
1865
1866 // A backend job should always be combined with the preceding compile job
Steven Wu574b0f22016-03-01 01:07:58 +00001867 // unless OPT_save_temps or OPT_fembed_bitcode is enabled and the compiler is
1868 // capable of emitting LLVM IR as an intermediate output.
Bob Wilson23a55f12014-12-21 07:00:00 +00001869 if (isa<BackendJobAction>(JA)) {
1870 // Check if the compiler supports emitting LLVM IR.
1871 assert(Inputs->size() == 1);
Artem Belevichf8144ab2015-08-27 18:10:41 +00001872 // Compile job may be wrapped in CudaHostAction, extract it if
1873 // that's the case and update CollapsedCHA if we combine phases.
1874 CudaHostAction *CHA = dyn_cast<CudaHostAction>(*Inputs->begin());
1875 JobAction *CompileJA =
Nico Weber5a459f82016-02-23 19:30:43 +00001876 cast<CompileJobAction>(CHA ? *CHA->input_begin() : *Inputs->begin());
Artem Belevichf8144ab2015-08-27 18:10:41 +00001877 assert(CompileJA && "Backend job is not preceeded by compile job.");
Bob Wilson23a55f12014-12-21 07:00:00 +00001878 const Tool *Compiler = TC->SelectTool(*CompileJA);
1879 if (!Compiler)
1880 return nullptr;
Steven Wu574b0f22016-03-01 01:07:58 +00001881 if (!Compiler->canEmitIR() ||
1882 (!SaveTemps && !EmbedBitcode)) {
Artem Belevichf8144ab2015-08-27 18:10:41 +00001883 Inputs = &CompileJA->getInputs();
Rafael Espindola79764462013-03-24 15:06:53 +00001884 ToolForJob = Compiler;
Artem Belevichf8144ab2015-08-27 18:10:41 +00001885 CollapsedCHA = CHA;
Daniel Dunbarc4343942010-02-03 03:07:56 +00001886 }
1887 }
1888
1889 // Otherwise use the tool for the current job.
1890 if (!ToolForJob)
Rafael Espindola79764462013-03-24 15:06:53 +00001891 ToolForJob = TC->SelectTool(*JA);
Daniel Dunbarc4343942010-02-03 03:07:56 +00001892
1893 // See if we should use an integrated preprocessor. We do so when we have
1894 // exactly one input, since this is the only use case we care about
1895 // (irrelevant since we don't support combine yet).
1896 if (Inputs->size() == 1 && isa<PreprocessJobAction>(*Inputs->begin()) &&
1897 !C.getArgs().hasArg(options::OPT_no_integrated_cpp) &&
Douglas Katzmana67e50c2015-06-26 15:47:46 +00001898 !C.getArgs().hasArg(options::OPT_traditional_cpp) && !SaveTemps &&
Fariborz Jahanian659bc4a2012-09-28 19:05:17 +00001899 !C.getArgs().hasArg(options::OPT_rewrite_objc) &&
Daniel Dunbarc4343942010-02-03 03:07:56 +00001900 ToolForJob->hasIntegratedCPP())
1901 Inputs = &(*Inputs)[0]->getInputs();
1902
Rafael Espindola79764462013-03-24 15:06:53 +00001903 return ToolForJob;
Daniel Dunbarc4343942010-02-03 03:07:56 +00001904}
1905
Justin Lebarb44f6fe2016-01-14 21:41:21 +00001906InputInfo Driver::BuildJobsForAction(
1907 Compilation &C, const Action *A, const ToolChain *TC, const char *BoundArch,
1908 bool AtTopLevel, bool MultipleArchs, const char *LinkingOutput,
1909 std::map<std::pair<const Action *, std::string>, InputInfo> &CachedResults)
1910 const {
Justin Lebar55c83322016-01-16 03:30:08 +00001911 // The bound arch is not necessarily represented in the toolchain's triple --
1912 // for example, armv7 and armv7s both map to the same triple -- so we need
1913 // both in our map.
1914 std::string TriplePlusArch = TC->getTriple().normalize();
1915 if (BoundArch) {
1916 TriplePlusArch += "-";
1917 TriplePlusArch += BoundArch;
1918 }
1919 std::pair<const Action *, std::string> ActionTC = {A, TriplePlusArch};
Justin Lebarb44f6fe2016-01-14 21:41:21 +00001920 auto CachedResult = CachedResults.find(ActionTC);
1921 if (CachedResult != CachedResults.end()) {
1922 return CachedResult->second;
1923 }
1924 InputInfo Result =
1925 BuildJobsForActionNoCache(C, A, TC, BoundArch, AtTopLevel, MultipleArchs,
1926 LinkingOutput, CachedResults);
1927 CachedResults[ActionTC] = Result;
1928 return Result;
1929}
1930
1931InputInfo Driver::BuildJobsForActionNoCache(
1932 Compilation &C, const Action *A, const ToolChain *TC, const char *BoundArch,
1933 bool AtTopLevel, bool MultipleArchs, const char *LinkingOutput,
1934 std::map<std::pair<const Action *, std::string>, InputInfo> &CachedResults)
1935 const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001936 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
Daniel Dunbarc4acf9d2009-03-18 23:18:19 +00001937
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001938 InputInfoList CudaDeviceInputInfos;
1939 if (const CudaHostAction *CHA = dyn_cast<CudaHostAction>(A)) {
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001940 // Append outputs of device jobs to the input list.
1941 for (const Action *DA : CHA->getDeviceActions()) {
Justin Lebarb44f6fe2016-01-14 21:41:21 +00001942 CudaDeviceInputInfos.push_back(BuildJobsForAction(
1943 C, DA, TC, nullptr, AtTopLevel,
1944 /*MultipleArchs*/ false, LinkingOutput, CachedResults));
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001945 }
1946 // Override current action with a real host compile action and continue
1947 // processing it.
Nico Weber5a459f82016-02-23 19:30:43 +00001948 A = *CHA->input_begin();
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001949 }
1950
Daniel Dunbare75d8342009-03-16 06:56:51 +00001951 if (const InputAction *IA = dyn_cast<InputAction>(A)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001952 // FIXME: It would be nice to not claim this here; maybe the old scheme of
1953 // just using Args was better?
Daniel Dunbar5cdf3e02009-03-19 07:29:38 +00001954 const Arg &Input = IA->getInputArg();
1955 Input.claim();
Daniel Dunbar35cbfeb2010-06-09 22:31:08 +00001956 if (Input.getOption().matches(options::OPT_INPUT)) {
Richard Smithbd55daf2012-11-01 04:30:05 +00001957 const char *Name = Input.getValue();
Justin Lebard98cea82016-01-11 23:15:21 +00001958 return InputInfo(A, Name, /* BaseInput = */ Name);
Douglas Katzman678d0cb2015-06-16 18:01:24 +00001959 }
Justin Lebard98cea82016-01-11 23:15:21 +00001960 return InputInfo(A, &Input, /* BaseInput = */ "");
Daniel Dunbare75d8342009-03-16 06:56:51 +00001961 }
1962
1963 if (const BindArchAction *BAA = dyn_cast<BindArchAction>(A)) {
Chad Rosiera78a6eb2012-04-27 16:50:38 +00001964 const ToolChain *TC;
Chad Rosier631fa102012-04-27 16:48:16 +00001965 const char *ArchName = BAA->getArchName();
Daniel Dunbar1ef3f2a2009-09-08 23:37:19 +00001966
Chad Rosier631fa102012-04-27 16:48:16 +00001967 if (ArchName)
Artem Belevich959e0542015-07-10 19:47:55 +00001968 TC = &getToolChain(
1969 C.getArgs(),
1970 computeTargetTriple(DefaultTargetTriple, C.getArgs(), ArchName));
Chad Rosiera78a6eb2012-04-27 16:50:38 +00001971 else
1972 TC = &C.getDefaultToolChain();
Daniel Dunbar1ef3f2a2009-09-08 23:37:19 +00001973
Nico Weber5a459f82016-02-23 19:30:43 +00001974 return BuildJobsForAction(C, *BAA->input_begin(), TC, ArchName, AtTopLevel,
Justin Lebarb44f6fe2016-01-14 21:41:21 +00001975 MultipleArchs, LinkingOutput, CachedResults);
Daniel Dunbare75d8342009-03-16 06:56:51 +00001976 }
1977
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001978 if (const CudaDeviceAction *CDA = dyn_cast<CudaDeviceAction>(A)) {
Artem Belevich5e2a3ec2015-11-17 22:28:40 +00001979 // Initial processing of CudaDeviceAction carries host params.
1980 // Call BuildJobsForAction() again, now with correct device parameters.
Justin Lebar21e5d4f2016-01-14 21:41:27 +00001981 InputInfo II = BuildJobsForAction(
Nico Weber5a459f82016-02-23 19:30:43 +00001982 C, *CDA->input_begin(), C.getCudaDeviceToolChain(),
1983 CDA->getGpuArchName(), CDA->isAtTopLevel(), /*MultipleArchs=*/true,
1984 LinkingOutput, CachedResults);
1985 // Currently II's Action is *CDA->input_begin(). Set it to CDA instead, so
1986 // that one can retrieve II's GPU arch.
Justin Lebar21e5d4f2016-01-14 21:41:27 +00001987 II.setAction(A);
1988 return II;
Artem Belevich0ff05cd2015-07-13 23:27:56 +00001989 }
1990
Daniel Dunbare75d8342009-03-16 06:56:51 +00001991 const ActionList *Inputs = &A->getInputs();
Daniel Dunbarc4343942010-02-03 03:07:56 +00001992
1993 const JobAction *JA = cast<JobAction>(A);
Artem Belevichf8144ab2015-08-27 18:10:41 +00001994 const CudaHostAction *CollapsedCHA = nullptr;
1995 const Tool *T =
Steven Wu574b0f22016-03-01 01:07:58 +00001996 selectToolForJob(C, isSaveTempsEnabled(), embedBitcodeEnabled(), TC, JA,
1997 Inputs, CollapsedCHA);
Rafael Espindola79764462013-03-24 15:06:53 +00001998 if (!T)
Justin Lebar9eaa4892016-01-11 23:09:32 +00001999 return InputInfo();
Daniel Dunbare75d8342009-03-16 06:56:51 +00002000
Artem Belevichf8144ab2015-08-27 18:10:41 +00002001 // If we've collapsed action list that contained CudaHostAction we
2002 // need to build jobs for device-side inputs it may have held.
2003 if (CollapsedCHA) {
Artem Belevichf8144ab2015-08-27 18:10:41 +00002004 for (const Action *DA : CollapsedCHA->getDeviceActions()) {
Justin Lebarb44f6fe2016-01-14 21:41:21 +00002005 CudaDeviceInputInfos.push_back(BuildJobsForAction(
2006 C, DA, TC, "", AtTopLevel,
2007 /*MultipleArchs*/ false, LinkingOutput, CachedResults));
Artem Belevichf8144ab2015-08-27 18:10:41 +00002008 }
2009 }
2010
Daniel Dunbare75d8342009-03-16 06:56:51 +00002011 // Only use pipes when there is exactly one input.
Daniel Dunbar1a093d22009-03-18 06:00:36 +00002012 InputInfoList InputInfos;
Saleem Abdulrasoolda3f4e52014-12-29 21:02:47 +00002013 for (const Action *Input : *Inputs) {
Eric Christopher14668dd2013-02-18 00:38:25 +00002014 // Treat dsymutil and verify sub-jobs as being at the top-level too, they
2015 // shouldn't get temporary output names.
Daniel Dunbar6beaf512010-06-04 18:28:41 +00002016 // FIXME: Clean this up.
Justin Lebar9eaa4892016-01-11 23:09:32 +00002017 bool SubJobAtTopLevel =
2018 AtTopLevel && (isa<DsymutilJobAction>(A) || isa<VerifyJobAction>(A));
2019 InputInfos.push_back(BuildJobsForAction(C, Input, TC, BoundArch,
2020 SubJobAtTopLevel, MultipleArchs,
Justin Lebarb44f6fe2016-01-14 21:41:21 +00002021 LinkingOutput, CachedResults));
Daniel Dunbare75d8342009-03-16 06:56:51 +00002022 }
2023
Daniel Dunbare75d8342009-03-16 06:56:51 +00002024 // Always use the first input as the base input.
2025 const char *BaseInput = InputInfos[0].getBaseInput();
Daniel Dunbar7a178a42009-03-17 17:53:55 +00002026
Daniel Dunbar6beaf512010-06-04 18:28:41 +00002027 // ... except dsymutil actions, which use their actual input as the base
2028 // input.
2029 if (JA->getType() == types::TY_dSYM)
2030 BaseInput = InputInfos[0].getFilename();
2031
Artem Belevich0ff05cd2015-07-13 23:27:56 +00002032 // Append outputs of cuda device jobs to the input list
2033 if (CudaDeviceInputInfos.size())
2034 InputInfos.append(CudaDeviceInputInfos.begin(), CudaDeviceInputInfos.end());
2035
Daniel Dunbard00272f2010-08-02 02:38:15 +00002036 // Determine the place to write output to, if any.
Justin Lebar9eaa4892016-01-11 23:09:32 +00002037 InputInfo Result;
Eric Christopher2ba5fcb2013-02-05 07:29:57 +00002038 if (JA->getType() == types::TY_Nothing)
Justin Lebard98cea82016-01-11 23:15:21 +00002039 Result = InputInfo(A, BaseInput);
Eric Christopher2ba5fcb2013-02-05 07:29:57 +00002040 else
Justin Lebard98cea82016-01-11 23:15:21 +00002041 Result = InputInfo(A, GetNamedOutputPath(C, *JA, BaseInput, BoundArch,
2042 AtTopLevel, MultipleArchs),
2043 BaseInput);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00002044
Chad Rosierbe10f982011-08-02 17:58:04 +00002045 if (CCCPrintBindings && !CCGenDiagnostics) {
Rafael Espindola79764462013-03-24 15:06:53 +00002046 llvm::errs() << "# \"" << T->getToolChain().getTripleString() << '"'
2047 << " - \"" << T->getName() << "\", inputs: [";
Daniel Dunbarb39cc522009-03-17 22:47:06 +00002048 for (unsigned i = 0, e = InputInfos.size(); i != e; ++i) {
2049 llvm::errs() << InputInfos[i].getAsString();
2050 if (i + 1 != e)
2051 llvm::errs() << ", ";
2052 }
2053 llvm::errs() << "], output: " << Result.getAsString() << "\n";
2054 } else {
Rafael Espindola79764462013-03-24 15:06:53 +00002055 T->ConstructJob(C, *JA, Result, InputInfos,
2056 C.getArgsForToolChain(TC, BoundArch), LinkingOutput);
Daniel Dunbarb39cc522009-03-17 22:47:06 +00002057 }
Justin Lebar9eaa4892016-01-11 23:09:32 +00002058 return Result;
Daniel Dunbare75d8342009-03-16 06:56:51 +00002059}
2060
Hans Wennborga7707222015-01-09 17:38:53 +00002061const char *Driver::getDefaultImageName() const {
2062 llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple));
2063 return Target.isOSWindows() ? "a.exe" : "a.out";
2064}
2065
Hans Wennborg2c21f742013-10-17 16:16:23 +00002066/// \brief Create output filename based on ArgValue, which could either be a
2067/// full filename, filename without extension, or a directory. If ArgValue
2068/// does not provide a filename, then use BaseName, and use the extension
2069/// suitable for FileType.
Hans Wennborg207fcf02013-08-12 21:56:42 +00002070static const char *MakeCLOutputFilename(const ArgList &Args, StringRef ArgValue,
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002071 StringRef BaseName,
2072 types::ID FileType) {
Hans Wennborg207fcf02013-08-12 21:56:42 +00002073 SmallString<128> Filename = ArgValue;
Justin Bogner5aaf2e72014-06-26 20:59:36 +00002074
Hans Wennborgf1a74252013-09-10 20:18:04 +00002075 if (ArgValue.empty()) {
2076 // If the argument is empty, output to BaseName in the current dir.
2077 Filename = BaseName;
2078 } else if (llvm::sys::path::is_separator(Filename.back())) {
Hans Wennborg207fcf02013-08-12 21:56:42 +00002079 // If the argument is a directory, output to BaseName in that dir.
2080 llvm::sys::path::append(Filename, BaseName);
2081 }
2082
2083 if (!llvm::sys::path::has_extension(ArgValue)) {
2084 // If the argument didn't provide an extension, then set it.
2085 const char *Extension = types::getTypeTempSuffix(FileType, true);
Hans Wennborgf1a74252013-09-10 20:18:04 +00002086
2087 if (FileType == types::TY_Image &&
2088 Args.hasArg(options::OPT__SLASH_LD, options::OPT__SLASH_LDd)) {
2089 // The output file is a dll.
2090 Extension = "dll";
2091 }
2092
Hans Wennborg207fcf02013-08-12 21:56:42 +00002093 llvm::sys::path::replace_extension(Filename, Extension);
2094 }
2095
2096 return Args.MakeArgString(Filename.c_str());
2097}
2098
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002099const char *Driver::GetNamedOutputPath(Compilation &C, const JobAction &JA,
Daniel Dunbar7a178a42009-03-17 17:53:55 +00002100 const char *BaseInput,
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002101 const char *BoundArch, bool AtTopLevel,
Chad Rosier35767232013-04-30 22:01:21 +00002102 bool MultipleArchs) const {
Daniel Dunbar2608c542009-03-18 01:38:48 +00002103 llvm::PrettyStackTraceString CrashInfo("Computing output path");
Daniel Dunbar7a178a42009-03-17 17:53:55 +00002104 // Output to a user requested destination?
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002105 if (AtTopLevel && !isa<DsymutilJobAction>(JA) && !isa<VerifyJobAction>(JA)) {
Daniel Dunbar7a178a42009-03-17 17:53:55 +00002106 if (Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o))
Chad Rosier633dcdc2013-01-24 19:14:47 +00002107 return C.addResultFile(FinalOutput->getValue(), &JA);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00002108 }
2109
Hans Wennborge0053472013-12-20 18:40:46 +00002110 // For /P, preprocess to file named after BaseInput.
2111 if (C.getArgs().hasArg(options::OPT__SLASH_P)) {
2112 assert(AtTopLevel && isa<PreprocessJobAction>(JA));
2113 StringRef BaseName = llvm::sys::path::filename(BaseInput);
Hans Wennborg04c764f2014-06-17 00:19:12 +00002114 StringRef NameArg;
Greg Bedwell065f70a2015-06-09 10:24:06 +00002115 if (Arg *A = C.getArgs().getLastArg(options::OPT__SLASH_Fi))
Hans Wennborg04c764f2014-06-17 00:19:12 +00002116 NameArg = A->getValue();
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002117 return C.addResultFile(
2118 MakeCLOutputFilename(C.getArgs(), NameArg, BaseName, types::TY_PP_C),
2119 &JA);
Hans Wennborge0053472013-12-20 18:40:46 +00002120 }
2121
Nick Lewycky6e1ce292010-09-24 00:46:53 +00002122 // Default to writing to stdout?
Douglas Gregorbf7fc9c2013-03-27 16:47:18 +00002123 if (AtTopLevel && !CCGenDiagnostics &&
2124 (isa<PreprocessJobAction>(JA) || JA.getType() == types::TY_ModuleFile))
Nick Lewycky6e1ce292010-09-24 00:46:53 +00002125 return "-";
2126
Hans Wennborg2c21f742013-10-17 16:16:23 +00002127 // Is this the assembly listing for /FA?
2128 if (JA.getType() == types::TY_PP_Asm &&
2129 (C.getArgs().hasArg(options::OPT__SLASH_FA) ||
2130 C.getArgs().hasArg(options::OPT__SLASH_Fa))) {
2131 // Use /Fa and the input filename to determine the asm file name.
2132 StringRef BaseName = llvm::sys::path::filename(BaseInput);
2133 StringRef FaValue = C.getArgs().getLastArgValue(options::OPT__SLASH_Fa);
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002134 return C.addResultFile(
2135 MakeCLOutputFilename(C.getArgs(), FaValue, BaseName, JA.getType()),
2136 &JA);
Hans Wennborg2c21f742013-10-17 16:16:23 +00002137 }
2138
Daniel Dunbar7a178a42009-03-17 17:53:55 +00002139 // Output to a temporary file?
Reid Kleckner68eb60b2015-02-02 22:41:48 +00002140 if ((!AtTopLevel && !isSaveTempsEnabled() &&
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002141 !C.getArgs().hasArg(options::OPT__SLASH_Fo)) ||
Chad Rosierbe10f982011-08-02 17:58:04 +00002142 CCGenDiagnostics) {
Chad Rosier97c37372011-08-26 22:27:02 +00002143 StringRef Name = llvm::sys::path::filename(BaseInput);
2144 std::pair<StringRef, StringRef> Split = Name.split('.');
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002145 std::string TmpName = GetTemporaryPath(
2146 Split.first, types::getTypeTempSuffix(JA.getType(), IsCLMode()));
Daniel Dunbare627c1c2009-03-18 19:34:39 +00002147 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
Daniel Dunbar7a178a42009-03-17 17:53:55 +00002148 }
2149
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +00002150 SmallString<128> BasePath(BaseInput);
Chris Lattner0e62c1c2011-07-23 10:55:15 +00002151 StringRef BaseName;
Daniel Dunbar67fea712011-03-25 18:16:51 +00002152
2153 // Dsymutil actions should use the full path.
Eric Christopher551ef452011-08-23 17:56:55 +00002154 if (isa<DsymutilJobAction>(JA) || isa<VerifyJobAction>(JA))
Daniel Dunbar67fea712011-03-25 18:16:51 +00002155 BaseName = BasePath;
2156 else
2157 BaseName = llvm::sys::path::filename(BasePath);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00002158
2159 // Determine what the derived output name should be.
2160 const char *NamedOutput;
Hans Wennborg2b89a262013-08-06 22:11:28 +00002161
Hans Wennborg8fa96772015-06-13 02:53:50 +00002162 if (JA.getType() == types::TY_Object &&
Ehsan Akhgari81f36b72014-09-11 18:16:21 +00002163 C.getArgs().hasArg(options::OPT__SLASH_Fo, options::OPT__SLASH_o)) {
2164 // The /Fo or /o flag decides the object filename.
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002165 StringRef Val =
2166 C.getArgs()
2167 .getLastArg(options::OPT__SLASH_Fo, options::OPT__SLASH_o)
2168 ->getValue();
2169 NamedOutput =
2170 MakeCLOutputFilename(C.getArgs(), Val, BaseName, types::TY_Object);
Hans Wennborg207fcf02013-08-12 21:56:42 +00002171 } else if (JA.getType() == types::TY_Image &&
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002172 C.getArgs().hasArg(options::OPT__SLASH_Fe,
2173 options::OPT__SLASH_o)) {
Ehsan Akhgari81f36b72014-09-11 18:16:21 +00002174 // The /Fe or /o flag names the linked file.
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002175 StringRef Val =
2176 C.getArgs()
2177 .getLastArg(options::OPT__SLASH_Fe, options::OPT__SLASH_o)
2178 ->getValue();
2179 NamedOutput =
2180 MakeCLOutputFilename(C.getArgs(), Val, BaseName, types::TY_Image);
Hans Wennborgf1a74252013-09-10 20:18:04 +00002181 } else if (JA.getType() == types::TY_Image) {
Hans Wennborg207fcf02013-08-12 21:56:42 +00002182 if (IsCLMode()) {
2183 // clang-cl uses BaseName for the executable name.
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002184 NamedOutput =
2185 MakeCLOutputFilename(C.getArgs(), "", BaseName, types::TY_Image);
Hans Wennborg207fcf02013-08-12 21:56:42 +00002186 } else if (MultipleArchs && BoundArch) {
Hans Wennborga7707222015-01-09 17:38:53 +00002187 SmallString<128> Output(getDefaultImageName());
Chad Rosier35767232013-04-30 22:01:21 +00002188 Output += "-";
2189 Output.append(BoundArch);
2190 NamedOutput = C.getArgs().MakeArgString(Output.c_str());
Nico Weber2ca4be92016-03-01 23:16:44 +00002191 } else {
Hans Wennborga7707222015-01-09 17:38:53 +00002192 NamedOutput = getDefaultImageName();
Nico Weber2ca4be92016-03-01 23:16:44 +00002193 }
2194 } else if (JA.getType() == types::TY_PCH && IsCLMode()) {
2195 NamedOutput = C.getArgs().MakeArgString(GetClPchPath(C, BaseName).c_str());
Daniel Dunbar7a178a42009-03-17 17:53:55 +00002196 } else {
Hans Wennborg0a096a02013-09-05 17:05:56 +00002197 const char *Suffix = types::getTypeTempSuffix(JA.getType(), IsCLMode());
Daniel Dunbar7a178a42009-03-17 17:53:55 +00002198 assert(Suffix && "All types used for output should have a suffix.");
2199
2200 std::string::size_type End = std::string::npos;
2201 if (!types::appendSuffixForType(JA.getType()))
2202 End = BaseName.rfind('.');
Chad Rosier35767232013-04-30 22:01:21 +00002203 SmallString<128> Suffixed(BaseName.substr(0, End));
2204 if (MultipleArchs && BoundArch) {
2205 Suffixed += "-";
2206 Suffixed.append(BoundArch);
2207 }
Bob Wilson23a55f12014-12-21 07:00:00 +00002208 // When using both -save-temps and -emit-llvm, use a ".tmp.bc" suffix for
2209 // the unoptimized bitcode so that it does not get overwritten by the ".bc"
2210 // optimized bitcode output.
2211 if (!AtTopLevel && C.getArgs().hasArg(options::OPT_emit_llvm) &&
2212 JA.getType() == types::TY_LLVM_BC)
2213 Suffixed += ".tmp";
Daniel Dunbar7a178a42009-03-17 17:53:55 +00002214 Suffixed += '.';
2215 Suffixed += Suffix;
2216 NamedOutput = C.getArgs().MakeArgString(Suffixed.c_str());
2217 }
2218
Reid Kleckner68eb60b2015-02-02 22:41:48 +00002219 // Prepend object file path if -save-temps=obj
2220 if (!AtTopLevel && isSaveTempsObj() && C.getArgs().hasArg(options::OPT_o) &&
2221 JA.getType() != types::TY_PCH) {
2222 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
2223 SmallString<128> TempPath(FinalOutput->getValue());
2224 llvm::sys::path::remove_filename(TempPath);
2225 StringRef OutputFileName = llvm::sys::path::filename(NamedOutput);
2226 llvm::sys::path::append(TempPath, OutputFileName);
2227 NamedOutput = C.getArgs().MakeArgString(TempPath.c_str());
2228 }
2229
Chad Rosier62135492012-07-09 17:31:28 +00002230 // If we're saving temps and the temp file conflicts with the input file,
Chad Rosier5b58af02012-04-20 20:05:08 +00002231 // then avoid overwriting input file.
Reid Kleckner68eb60b2015-02-02 22:41:48 +00002232 if (!AtTopLevel && isSaveTempsEnabled() && NamedOutput == BaseName) {
Chad Rosier5b58af02012-04-20 20:05:08 +00002233 bool SameFile = false;
2234 SmallString<256> Result;
2235 llvm::sys::fs::current_path(Result);
2236 llvm::sys::path::append(Result, BaseName);
2237 llvm::sys::fs::equivalent(BaseInput, Result.c_str(), SameFile);
2238 // Must share the same path to conflict.
2239 if (SameFile) {
2240 StringRef Name = llvm::sys::path::filename(BaseInput);
2241 std::pair<StringRef, StringRef> Split = Name.split('.');
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002242 std::string TmpName = GetTemporaryPath(
2243 Split.first, types::getTypeTempSuffix(JA.getType(), IsCLMode()));
Chad Rosier5b58af02012-04-20 20:05:08 +00002244 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
2245 }
Chad Rosierf8412cd2011-07-15 21:54:29 +00002246 }
2247
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002248 // As an annoying special case, PCH generation doesn't strip the pathname.
Daniel Dunbar7a178a42009-03-17 17:53:55 +00002249 if (JA.getType() == types::TY_PCH) {
Michael J. Spencere1696752010-12-18 00:19:12 +00002250 llvm::sys::path::remove_filename(BasePath);
2251 if (BasePath.empty())
Daniel Dunbare6c83192009-03-18 09:58:30 +00002252 BasePath = NamedOutput;
2253 else
Michael J. Spencere1696752010-12-18 00:19:12 +00002254 llvm::sys::path::append(BasePath, NamedOutput);
Chad Rosier633dcdc2013-01-24 19:14:47 +00002255 return C.addResultFile(C.getArgs().MakeArgString(BasePath.c_str()), &JA);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00002256 } else {
Chad Rosier633dcdc2013-01-24 19:14:47 +00002257 return C.addResultFile(NamedOutput, &JA);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00002258 }
2259}
2260
Daniel Dunbar1ce81532009-09-09 22:33:00 +00002261std::string Driver::GetFilePath(const char *Name, const ToolChain &TC) const {
Chandler Carruth84559242010-03-22 01:52:07 +00002262 // Respect a limited subset of the '-Bprefix' functionality in GCC by
Logan Chiencd679fd2012-10-04 08:08:56 +00002263 // attempting to use this prefix when looking for file paths.
Douglas Katzman26eabf62015-06-24 15:10:30 +00002264 for (const std::string &Dir : PrefixDirs) {
Joerg Sonnenberger6165ab12011-03-21 13:51:29 +00002265 if (Dir.empty())
2266 continue;
Douglas Katzman26eabf62015-06-24 15:10:30 +00002267 SmallString<128> P(Dir[0] == '=' ? SysRoot + Dir.substr(1) : Dir);
Rafael Espindola609a6642013-06-24 18:33:43 +00002268 llvm::sys::path::append(P, Name);
2269 if (llvm::sys::fs::exists(Twine(P)))
Chandler Carruth84559242010-03-22 01:52:07 +00002270 return P.str();
2271 }
2272
Rafael Espindola609a6642013-06-24 18:33:43 +00002273 SmallString<128> P(ResourceDir);
2274 llvm::sys::path::append(P, Name);
2275 if (llvm::sys::fs::exists(Twine(P)))
Peter Collingbournefa9771f2011-09-06 02:08:31 +00002276 return P.str();
2277
Douglas Katzman26eabf62015-06-24 15:10:30 +00002278 for (const std::string &Dir : TC.getFilePaths()) {
Joerg Sonnenberger6165ab12011-03-21 13:51:29 +00002279 if (Dir.empty())
2280 continue;
Douglas Katzman26eabf62015-06-24 15:10:30 +00002281 SmallString<128> P(Dir[0] == '=' ? SysRoot + Dir.substr(1) : Dir);
Rafael Espindola609a6642013-06-24 18:33:43 +00002282 llvm::sys::path::append(P, Name);
2283 if (llvm::sys::fs::exists(Twine(P)))
Daniel Dunbar1ce81532009-09-09 22:33:00 +00002284 return P.str();
Daniel Dunbar68b01a02009-03-18 20:26:19 +00002285 }
2286
Daniel Dunbar1ce81532009-09-09 22:33:00 +00002287 return Name;
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +00002288}
2289
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002290void Driver::generatePrefixedToolNames(
2291 const char *Tool, const ToolChain &TC,
2292 SmallVectorImpl<std::string> &Names) const {
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00002293 // FIXME: Needs a better variable than DefaultTargetTriple
Benjamin Kramer3204b152015-05-29 19:42:19 +00002294 Names.emplace_back(DefaultTargetTriple + "-" + Tool);
2295 Names.emplace_back(Tool);
Vasileios Kalintirisc744e122015-11-12 15:26:54 +00002296
2297 // Allow the discovery of tools prefixed with LLVM's default target triple.
2298 std::string LLVMDefaultTargetTriple = llvm::sys::getDefaultTargetTriple();
2299 if (LLVMDefaultTargetTriple != DefaultTargetTriple)
2300 Names.emplace_back(LLVMDefaultTargetTriple + "-" + Tool);
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00002301}
2302
Benjamin Kramer7111b912014-11-04 20:26:01 +00002303static bool ScanDirForExecutable(SmallString<128> &Dir,
2304 ArrayRef<std::string> Names) {
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00002305 for (const auto &Name : Names) {
2306 llvm::sys::path::append(Dir, Name);
2307 if (llvm::sys::fs::can_execute(Twine(Dir)))
2308 return true;
2309 llvm::sys::path::remove_filename(Dir);
2310 }
2311 return false;
2312}
2313
Simon Atanasyanb16488c2012-10-03 19:52:37 +00002314std::string Driver::GetProgramPath(const char *Name,
2315 const ToolChain &TC) const {
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00002316 SmallVector<std::string, 2> TargetSpecificExecutables;
2317 generatePrefixedToolNames(Name, TC, TargetSpecificExecutables);
2318
Chandler Carruth84559242010-03-22 01:52:07 +00002319 // Respect a limited subset of the '-Bprefix' functionality in GCC by
Logan Chiencd679fd2012-10-04 08:08:56 +00002320 // attempting to use this prefix when looking for program paths.
Saleem Abdulrasool23d99b12014-09-16 03:48:32 +00002321 for (const auto &PrefixDir : PrefixDirs) {
2322 if (llvm::sys::fs::is_directory(PrefixDir)) {
2323 SmallString<128> P(PrefixDir);
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00002324 if (ScanDirForExecutable(P, TargetSpecificExecutables))
Rafael Espindola8be5c052013-06-19 13:24:29 +00002325 return P.str();
Simon Atanasyana47ba292012-10-31 14:39:28 +00002326 } else {
Saleem Abdulrasool23d99b12014-09-16 03:48:32 +00002327 SmallString<128> P(PrefixDir + Name);
Rafael Espindola609a6642013-06-24 18:33:43 +00002328 if (llvm::sys::fs::can_execute(Twine(P)))
Rafael Espindola8be5c052013-06-19 13:24:29 +00002329 return P.str();
Simon Atanasyan86bdab72012-10-31 12:01:53 +00002330 }
Chandler Carruth84559242010-03-22 01:52:07 +00002331 }
2332
Daniel Dunbar68b01a02009-03-18 20:26:19 +00002333 const ToolChain::path_list &List = TC.getProgramPaths();
Saleem Abdulrasool23d99b12014-09-16 03:48:32 +00002334 for (const auto &Path : List) {
2335 SmallString<128> P(Path);
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00002336 if (ScanDirForExecutable(P, TargetSpecificExecutables))
Rafael Espindola8be5c052013-06-19 13:24:29 +00002337 return P.str();
Daniel Dunbar68b01a02009-03-18 20:26:19 +00002338 }
2339
Daniel Dunbar76ce7412009-03-23 16:15:50 +00002340 // If all else failed, search the path.
Michael J. Spencerb011d482014-11-07 21:30:32 +00002341 for (const auto &TargetSpecificExecutable : TargetSpecificExecutables)
2342 if (llvm::ErrorOr<std::string> P =
2343 llvm::sys::findProgramByName(TargetSpecificExecutable))
Michael J. Spencer04162ea2014-11-04 01:30:55 +00002344 return *P;
Daniel Dunbar6f668772009-03-18 21:34:08 +00002345
Daniel Dunbar1ce81532009-09-09 22:33:00 +00002346 return Name;
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +00002347}
2348
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002349std::string Driver::GetTemporaryPath(StringRef Prefix,
2350 const char *Suffix) const {
Rafael Espindola37d229d2013-06-25 04:26:55 +00002351 SmallString<128> Path;
Rafael Espindolac0809172014-06-12 14:02:15 +00002352 std::error_code EC = llvm::sys::fs::createTemporaryFile(Prefix, Suffix, Path);
Rafael Espindola37d229d2013-06-25 04:26:55 +00002353 if (EC) {
2354 Diag(clang::diag::err_unable_to_make_temp) << EC.message();
Daniel Dunbare627c1c2009-03-18 19:34:39 +00002355 return "";
2356 }
2357
Rafael Espindola37d229d2013-06-25 04:26:55 +00002358 return Path.str();
Daniel Dunbare627c1c2009-03-18 19:34:39 +00002359}
2360
Nico Weber2ca4be92016-03-01 23:16:44 +00002361std::string Driver::GetClPchPath(Compilation &C, StringRef BaseName) const {
2362 SmallString<128> Output;
2363 if (Arg *FpArg = C.getArgs().getLastArg(options::OPT__SLASH_Fp)) {
2364 // FIXME: If anybody needs it, implement this obscure rule:
2365 // "If you specify a directory without a file name, the default file name
2366 // is VCx0.pch., where x is the major version of Visual C++ in use."
2367 Output = FpArg->getValue();
2368
2369 // "If you do not specify an extension as part of the path name, an
2370 // extension of .pch is assumed. "
2371 if (!llvm::sys::path::has_extension(Output))
2372 Output += ".pch";
2373 } else {
2374 Output = BaseName;
2375 llvm::sys::path::replace_extension(Output, ".pch");
2376 }
2377 return Output.str();
2378}
2379
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002380const ToolChain &Driver::getToolChain(const ArgList &Args,
Artem Belevich959e0542015-07-10 19:47:55 +00002381 const llvm::Triple &Target) const {
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002382
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00002383 ToolChain *&TC = ToolChains[Target.str()];
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002384 if (!TC) {
2385 switch (Target.getOS()) {
Ed Schouten3c3e58c2015-03-26 11:13:44 +00002386 case llvm::Triple::CloudABI:
2387 TC = new toolchains::CloudABI(*this, Target, Args);
2388 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002389 case llvm::Triple::Darwin:
2390 case llvm::Triple::MacOSX:
2391 case llvm::Triple::IOS:
Tim Northover6f3ff222015-10-30 16:30:27 +00002392 case llvm::Triple::TvOS:
2393 case llvm::Triple::WatchOS:
Rafael Espindola14627962013-11-24 23:28:23 +00002394 TC = new toolchains::DarwinClang(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002395 break;
2396 case llvm::Triple::DragonFly:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002397 TC = new toolchains::DragonFly(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002398 break;
2399 case llvm::Triple::OpenBSD:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002400 TC = new toolchains::OpenBSD(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002401 break;
Eli Friedman9fa28852012-08-08 23:57:20 +00002402 case llvm::Triple::Bitrig:
2403 TC = new toolchains::Bitrig(*this, Target, Args);
2404 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002405 case llvm::Triple::NetBSD:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002406 TC = new toolchains::NetBSD(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002407 break;
2408 case llvm::Triple::FreeBSD:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002409 TC = new toolchains::FreeBSD(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002410 break;
2411 case llvm::Triple::Minix:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002412 TC = new toolchains::Minix(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002413 break;
2414 case llvm::Triple::Linux:
Chandler Carruthcf705b22012-01-25 21:03:58 +00002415 if (Target.getArch() == llvm::Triple::hexagon)
Douglas Katzman54366072015-07-27 16:53:08 +00002416 TC = new toolchains::HexagonToolChain(*this, Target, Args);
Vasileios Kalintirisc744e122015-11-12 15:26:54 +00002417 else if ((Target.getVendor() == llvm::Triple::MipsTechnologies) &&
2418 !Target.hasEnvironment())
2419 TC = new toolchains::MipsLLVMToolChain(*this, Target, Args);
Chandler Carruthcf705b22012-01-25 21:03:58 +00002420 else
Rafael Espindola1af7c212012-02-19 01:38:32 +00002421 TC = new toolchains::Linux(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002422 break;
Derek Schuff6ab52fa2015-03-30 20:31:33 +00002423 case llvm::Triple::NaCl:
Douglas Katzman54366072015-07-27 16:53:08 +00002424 TC = new toolchains::NaClToolChain(*this, Target, Args);
Derek Schuff6ab52fa2015-03-30 20:31:33 +00002425 break;
David Chisnallf571cde2012-02-15 13:39:01 +00002426 case llvm::Triple::Solaris:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002427 TC = new toolchains::Solaris(*this, Target, Args);
David Chisnallf571cde2012-02-15 13:39:01 +00002428 break;
Tom Stellard8fa33092015-07-18 01:49:05 +00002429 case llvm::Triple::AMDHSA:
2430 TC = new toolchains::AMDGPUToolChain(*this, Target, Args);
2431 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002432 case llvm::Triple::Win32:
Saleem Abdulrasool377066a2014-03-27 22:50:18 +00002433 switch (Target.getEnvironment()) {
2434 default:
2435 if (Target.isOSBinFormatELF())
2436 TC = new toolchains::Generic_ELF(*this, Target, Args);
2437 else if (Target.isOSBinFormatMachO())
2438 TC = new toolchains::MachO(*this, Target, Args);
2439 else
2440 TC = new toolchains::Generic_GCC(*this, Target, Args);
2441 break;
2442 case llvm::Triple::GNU:
Yaron Keren1c0070c2015-07-02 04:45:27 +00002443 TC = new toolchains::MinGW(*this, Target, Args);
Saleem Abdulrasool377066a2014-03-27 22:50:18 +00002444 break;
Saleem Abdulrasool543a78b2014-10-24 03:13:37 +00002445 case llvm::Triple::Itanium:
2446 TC = new toolchains::CrossWindowsToolChain(*this, Target, Args);
2447 break;
Saleem Abdulrasool377066a2014-03-27 22:50:18 +00002448 case llvm::Triple::MSVC:
2449 case llvm::Triple::UnknownEnvironment:
Saleem Abdulrasool819f3912014-10-22 02:37:29 +00002450 TC = new toolchains::MSVCToolChain(*this, Target, Args);
Saleem Abdulrasool377066a2014-03-27 22:50:18 +00002451 break;
2452 }
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002453 break;
Artem Belevich0ff05cd2015-07-13 23:27:56 +00002454 case llvm::Triple::CUDA:
2455 TC = new toolchains::CudaToolChain(*this, Target, Args);
2456 break;
Filipe Cabecinhasc888e192015-10-14 12:25:43 +00002457 case llvm::Triple::PS4:
2458 TC = new toolchains::PS4CPU(*this, Target, Args);
2459 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002460 default:
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002461 // Of these targets, Hexagon is the only one that might have
2462 // an OS of Linux, in which case it got handled above already.
Douglas Katzman15a63ed2015-08-12 18:36:12 +00002463 switch (Target.getArch()) {
2464 case llvm::Triple::tce:
Rafael Espindola84b588b2013-03-18 18:10:27 +00002465 TC = new toolchains::TCEToolChain(*this, Target, Args);
Douglas Katzman15a63ed2015-08-12 18:36:12 +00002466 break;
2467 case llvm::Triple::hexagon:
Douglas Katzman54366072015-07-27 16:53:08 +00002468 TC = new toolchains::HexagonToolChain(*this, Target, Args);
Douglas Katzman15a63ed2015-08-12 18:36:12 +00002469 break;
2470 case llvm::Triple::xcore:
Douglas Katzman54366072015-07-27 16:53:08 +00002471 TC = new toolchains::XCoreToolChain(*this, Target, Args);
Douglas Katzman15a63ed2015-08-12 18:36:12 +00002472 break;
Dan Gohmanc2853072015-09-03 22:51:53 +00002473 case llvm::Triple::wasm32:
2474 case llvm::Triple::wasm64:
2475 TC = new toolchains::WebAssembly(*this, Target, Args);
2476 break;
Douglas Katzman15a63ed2015-08-12 18:36:12 +00002477 default:
Douglas Katzmand6e597c2015-09-17 19:56:40 +00002478 if (Target.getVendor() == llvm::Triple::Myriad)
2479 TC = new toolchains::MyriadToolChain(*this, Target, Args);
2480 else if (Target.isOSBinFormatELF())
Douglas Katzman15a63ed2015-08-12 18:36:12 +00002481 TC = new toolchains::Generic_ELF(*this, Target, Args);
2482 else if (Target.isOSBinFormatMachO())
2483 TC = new toolchains::MachO(*this, Target, Args);
2484 else
2485 TC = new toolchains::Generic_GCC(*this, Target, Args);
2486 }
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002487 }
2488 }
2489 return *TC;
Daniel Dunbar4dff6a42009-03-10 23:41:59 +00002490}
Daniel Dunbar8fa879d2009-03-24 18:57:02 +00002491
Rafael Espindola2f69d402013-03-18 15:33:26 +00002492bool Driver::ShouldUseClangCompiler(const JobAction &JA) const {
Douglas Katzman00249092015-06-12 15:45:21 +00002493 // Say "no" if there is not exactly one input of a type clang understands.
Nico Weber5a459f82016-02-23 19:30:43 +00002494 if (JA.size() != 1 ||
2495 !types::isAcceptedByClang((*JA.input_begin())->getType()))
Nick Lewycky5cc9ebb2012-11-15 05:36:36 +00002496 return false;
2497
Douglas Katzman00249092015-06-12 15:45:21 +00002498 // And say "no" if this is not a kind of action clang understands.
Nick Lewycky5cc9ebb2012-11-15 05:36:36 +00002499 if (!isa<PreprocessJobAction>(JA) && !isa<PrecompileJobAction>(JA) &&
Bob Wilson23a55f12014-12-21 07:00:00 +00002500 !isa<CompileJobAction>(JA) && !isa<BackendJobAction>(JA))
Nick Lewycky5cc9ebb2012-11-15 05:36:36 +00002501 return false;
2502
2503 return true;
2504}
2505
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002506/// GetReleaseVersion - Parse (([0-9]+)(.([0-9]+)(.([0-9]+)?))?)? and return the
2507/// grouped values as integers. Numbers which are not provided are set to 0.
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002508///
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002509/// \return True if the entire string was parsed (9.2), or all groups were
2510/// parsed (10.3.5extrastuff).
2511bool Driver::GetReleaseVersion(const char *Str, unsigned &Major,
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002512 unsigned &Minor, unsigned &Micro,
2513 bool &HadExtra) {
2514 HadExtra = false;
2515
2516 Major = Minor = Micro = 0;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002517 if (*Str == '\0')
Bob Wilson433cb312015-04-07 01:03:35 +00002518 return false;
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002519
2520 char *End;
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002521 Major = (unsigned)strtol(Str, &End, 10);
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002522 if (*Str != '\0' && *End == '\0')
2523 return true;
2524 if (*End != '.')
2525 return false;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002526
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002527 Str = End + 1;
2528 Minor = (unsigned)strtol(Str, &End, 10);
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002529 if (*Str != '\0' && *End == '\0')
2530 return true;
2531 if (*End != '.')
2532 return false;
2533
Douglas Katzmana67e50c2015-06-26 15:47:46 +00002534 Str = End + 1;
2535 Micro = (unsigned)strtol(Str, &End, 10);
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002536 if (*Str != '\0' && *End == '\0')
2537 return true;
2538 if (Str == End)
2539 return false;
2540 HadExtra = true;
2541 return true;
2542}
Hans Wennborg6ddc6902013-07-27 00:23:45 +00002543
2544std::pair<unsigned, unsigned> Driver::getIncludeExcludeOptionFlagMasks() const {
2545 unsigned IncludedFlagsBitmask = 0;
Rafael Espindolacc707bc2013-09-25 15:54:41 +00002546 unsigned ExcludedFlagsBitmask = options::NoDriverOption;
Hans Wennborg6ddc6902013-07-27 00:23:45 +00002547
2548 if (Mode == CLMode) {
Hans Wennborg19076102013-07-31 20:51:53 +00002549 // Include CL and Core options.
2550 IncludedFlagsBitmask |= options::CLOption;
2551 IncludedFlagsBitmask |= options::CoreOption;
Hans Wennborg6ddc6902013-07-27 00:23:45 +00002552 } else {
2553 ExcludedFlagsBitmask |= options::CLOption;
2554 }
2555
2556 return std::make_pair(IncludedFlagsBitmask, ExcludedFlagsBitmask);
2557}
Benjamin Kramerab88f622014-03-25 18:02:07 +00002558
Douglas Katzmanf08fadf2015-06-04 14:40:44 +00002559bool clang::driver::isOptimizationLevelFast(const ArgList &Args) {
Benjamin Kramerab88f622014-03-25 18:02:07 +00002560 return Args.hasFlag(options::OPT_Ofast, options::OPT_O_Group, false);
2561}