blob: 059f424f75d13acddc565f4ed73af23620e75006 [file] [log] [blame]
Nick Lewyckye47c2452010-09-23 23:48:20 +00001//===--- Driver.cpp - Clang GCC Compatible Driver -------------------------===//
Daniel Dunbar544ecd12009-03-02 19:59:07 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Daniel Dunbar544ecd12009-03-02 19:59:07 +000010#include "clang/Driver/Driver.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000011#include "InputInfo.h"
12#include "ToolChains.h"
13#include "clang/Basic/Version.h"
Alp Toker1d257e12014-06-04 03:28:55 +000014#include "clang/Config/config.h"
Daniel Dunbar1688f1a2009-03-12 07:58:46 +000015#include "clang/Driver/Action.h"
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000016#include "clang/Driver/Compilation.h"
Daniel Dunbarc0b3e952009-03-12 08:55:43 +000017#include "clang/Driver/DriverDiagnostic.h"
Daniel Dunbare75d8342009-03-16 06:56:51 +000018#include "clang/Driver/Job.h"
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000019#include "clang/Driver/Options.h"
Peter Collingbournea4ccff32015-02-20 20:30:56 +000020#include "clang/Driver/SanitizerArgs.h"
Daniel Dunbare75d8342009-03-16 06:56:51 +000021#include "clang/Driver/Tool.h"
22#include "clang/Driver/ToolChain.h"
Chris Lattnerce6c42f2011-03-23 04:04:01 +000023#include "llvm/ADT/ArrayRef.h"
Hans Wennborg6ddc6902013-07-27 00:23:45 +000024#include "llvm/ADT/STLExtras.h"
Hans Wennborg23d26a32014-06-18 17:21:50 +000025#include "llvm/ADT/StringExtras.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000026#include "llvm/ADT/StringSet.h"
Hans Wennborg70850d82013-07-18 20:29:38 +000027#include "llvm/ADT/StringSwitch.h"
Reid Kleckner898229a2013-06-14 17:17:23 +000028#include "llvm/Option/Arg.h"
29#include "llvm/Option/ArgList.h"
Chandler Carruth5553d0d2014-01-07 11:51:46 +000030#include "llvm/Option/OptSpecifier.h"
Reid Kleckner898229a2013-06-14 17:17:23 +000031#include "llvm/Option/OptTable.h"
32#include "llvm/Option/Option.h"
Eric Christopher2ba5fcb2013-02-05 07:29:57 +000033#include "llvm/Support/Debug.h"
David Blaikie79000202011-09-23 05:57:42 +000034#include "llvm/Support/ErrorHandling.h"
Michael J. Spencerf28df4c2010-12-17 21:22:22 +000035#include "llvm/Support/FileSystem.h"
Michael J. Spencer8aaf4992010-11-29 18:12:39 +000036#include "llvm/Support/Path.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000037#include "llvm/Support/PrettyStackTrace.h"
Hans Wennborg23d26a32014-06-18 17:21:50 +000038#include "llvm/Support/Process.h"
Michael J. Spencer8aaf4992010-11-29 18:12:39 +000039#include "llvm/Support/Program.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000040#include "llvm/Support/raw_ostream.h"
Dylan Noblesmith4f4e7452012-02-02 00:40:14 +000041#include <map>
Ahmed Charlesdfca6f92014-03-09 11:36:40 +000042#include <memory>
Dylan Noblesmith86780e92012-02-01 14:25:28 +000043
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000044using namespace clang::driver;
Chris Lattnerada1c912009-03-26 05:56:24 +000045using namespace clang;
Reid Kleckner898229a2013-06-14 17:17:23 +000046using namespace llvm::opt;
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000047
Reid Kleckner68eb60b2015-02-02 22:41:48 +000048Driver::Driver(StringRef ClangExecutable, StringRef DefaultTargetTriple,
David Blaikie9c902b52011-09-25 23:23:43 +000049 DiagnosticsEngine &Diags)
Reid Kleckner68eb60b2015-02-02 22:41:48 +000050 : Opts(createDriverOptTable()), Diags(Diags), Mode(GCCMode),
51 SaveTemps(SaveTempsNone), ClangExecutable(ClangExecutable),
52 SysRoot(DEFAULT_SYSROOT), UseStdLib(true),
53 DefaultTargetTriple(DefaultTargetTriple),
54 DriverTitle("clang LLVM compiler"), CCPrintOptionsFilename(nullptr),
55 CCPrintHeadersFilename(nullptr), CCLogDiagnosticsFilename(nullptr),
56 CCCPrintBindings(false), CCPrintHeaders(false), CCLogDiagnostics(false),
57 CCGenDiagnostics(false), CCCGenericGCCName(""), CheckInputsExist(true),
58 CCCUsePCH(true), SuppressMissingInputWarning(false) {
Daniel Dunbar3f3e2cd2010-01-20 02:35:16 +000059
Sumanth Gundapaneni3a1592942015-03-03 20:43:12 +000060 Name = llvm::sys::path::filename(ClangExecutable);
Michael J. Spencere47230f2010-12-18 04:13:32 +000061 Dir = llvm::sys::path::parent_path(ClangExecutable);
Bob Wilsona20a1da2013-03-23 05:17:59 +000062
63 // Compute the path to the resource directory.
64 StringRef ClangResourceDir(CLANG_RESOURCE_DIR);
65 SmallString<128> P(Dir);
Chandler Carruthfd3cc702014-12-29 12:09:08 +000066 if (ClangResourceDir != "") {
Bob Wilsona20a1da2013-03-23 05:17:59 +000067 llvm::sys::path::append(P, ClangResourceDir);
Chandler Carruthfd3cc702014-12-29 12:09:08 +000068 } else {
69 StringRef ClangLibdirSuffix(CLANG_LIBDIR_SUFFIX);
70 llvm::sys::path::append(P, "..", Twine("lib") + ClangLibdirSuffix, "clang",
71 CLANG_VERSION_STRING);
72 }
Bob Wilsona20a1da2013-03-23 05:17:59 +000073 ResourceDir = P.str();
Daniel Dunbar544ecd12009-03-02 19:59:07 +000074}
75
76Driver::~Driver() {
Daniel Dunbarb2cd66b2009-03-04 20:49:20 +000077 delete Opts;
Chandler Carruth2ad5de12012-01-25 11:01:57 +000078
Reid Kleckner588c9372014-02-19 23:44:52 +000079 llvm::DeleteContainerSeconds(ToolChains);
Daniel Dunbar544ecd12009-03-02 19:59:07 +000080}
81
Hans Wennborg70850d82013-07-18 20:29:38 +000082void Driver::ParseDriverMode(ArrayRef<const char *> Args) {
83 const std::string OptName =
84 getOpts().getOption(options::OPT_driver_mode).getPrefixedName();
85
86 for (size_t I = 0, E = Args.size(); I != E; ++I) {
Reid Kleckneraf5fd6a2014-08-22 19:29:30 +000087 // Ingore nullptrs, they are response file's EOL markers
88 if (Args[I] == nullptr)
89 continue;
Hans Wennborg70850d82013-07-18 20:29:38 +000090 const StringRef Arg = Args[I];
91 if (!Arg.startswith(OptName))
92 continue;
93
94 const StringRef Value = Arg.drop_front(OptName.size());
95 const unsigned M = llvm::StringSwitch<unsigned>(Value)
96 .Case("gcc", GCCMode)
97 .Case("g++", GXXMode)
98 .Case("cpp", CPPMode)
Hans Wennborge4b031c2013-07-19 20:33:20 +000099 .Case("cl", CLMode)
Hans Wennborg70850d82013-07-18 20:29:38 +0000100 .Default(~0U);
101
102 if (M != ~0U)
103 Mode = static_cast<DriverMode>(M);
104 else
105 Diag(diag::err_drv_unsupported_option_argument) << OptName << Value;
106 }
107}
108
Reid Kleckneraf5fd6a2014-08-22 19:29:30 +0000109InputArgList *Driver::ParseArgStrings(ArrayRef<const char *> ArgStrings) {
Daniel Dunbar2608c542009-03-18 01:38:48 +0000110 llvm::PrettyStackTraceString CrashInfo("Command line argument parsing");
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000111
112 unsigned IncludedFlagsBitmask;
113 unsigned ExcludedFlagsBitmask;
Benjamin Kramer867ea1d2014-03-02 13:01:17 +0000114 std::tie(IncludedFlagsBitmask, ExcludedFlagsBitmask) =
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000115 getIncludeExcludeOptionFlagMasks();
116
Daniel Dunbar52ed5fe2009-11-19 06:35:06 +0000117 unsigned MissingArgIndex, MissingArgCount;
Reid Kleckneraf5fd6a2014-08-22 19:29:30 +0000118 InputArgList *Args = getOpts().ParseArgs(ArgStrings.begin(), ArgStrings.end(),
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000119 MissingArgIndex, MissingArgCount,
120 IncludedFlagsBitmask,
121 ExcludedFlagsBitmask);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000122
Daniel Dunbar52ed5fe2009-11-19 06:35:06 +0000123 // Check for missing argument error.
124 if (MissingArgCount)
125 Diag(clang::diag::err_drv_missing_argument)
126 << Args->getArgString(MissingArgIndex) << MissingArgCount;
Daniel Dunbar65229332009-03-13 11:38:42 +0000127
Daniel Dunbar52ed5fe2009-11-19 06:35:06 +0000128 // Check for unsupported options.
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000129 for (const Arg *A : *Args) {
Michael J. Spencer66e2b202012-10-19 22:37:06 +0000130 if (A->getOption().hasFlag(options::Unsupported)) {
Daniel Dunbard8500f32009-03-22 23:26:43 +0000131 Diag(clang::diag::err_drv_unsupported_opt) << A->getAsString(*Args);
132 continue;
133 }
Chad Rosierce975d92012-02-22 17:55:22 +0000134
135 // Warn about -mcpu= without an argument.
Chad Rosier62135492012-07-09 17:31:28 +0000136 if (A->getOption().matches(options::OPT_mcpu_EQ) &&
Chad Rosierce975d92012-02-22 17:55:22 +0000137 A->containsValue("")) {
Chad Rosier62135492012-07-09 17:31:28 +0000138 Diag(clang::diag::warn_drv_empty_joined_argument) <<
139 A->getAsString(*Args);
Chad Rosierce975d92012-02-22 17:55:22 +0000140 }
Daniel Dunbard02cb1d2009-03-05 06:38:47 +0000141 }
142
Rafael Espindola8a2d4962013-09-23 23:55:25 +0000143 for (arg_iterator it = Args->filtered_begin(options::OPT_UNKNOWN),
144 ie = Args->filtered_end(); it != ie; ++it) {
145 Diags.Report(diag::err_drv_unknown_argument) << (*it) ->getAsString(*Args);
146 }
147
Daniel Dunbard02cb1d2009-03-05 06:38:47 +0000148 return Args;
149}
150
Chad Rosier7742b5d2011-07-27 23:36:45 +0000151// Determine which compilation mode we are in. We look for options which
152// affect the phase, starting with the earliest phases, and record which
153// option we used to determine the final phase.
154phases::ID Driver::getFinalPhase(const DerivedArgList &DAL, Arg **FinalPhaseArg)
155const {
Craig Topper92fc2df2014-05-17 16:56:41 +0000156 Arg *PhaseArg = nullptr;
Chad Rosier7742b5d2011-07-27 23:36:45 +0000157 phases::ID FinalPhase;
Eric Christopherf901e852011-08-17 22:59:59 +0000158
Hans Wennborge50cec32014-06-13 20:59:54 +0000159 // -{E,EP,P,M,MM} only run the preprocessor.
Hans Wennborg70850d82013-07-18 20:29:38 +0000160 if (CCCIsCPP() ||
Chad Rosier7742b5d2011-07-27 23:36:45 +0000161 (PhaseArg = DAL.getLastArg(options::OPT_E)) ||
Hans Wennborge50cec32014-06-13 20:59:54 +0000162 (PhaseArg = DAL.getLastArg(options::OPT__SLASH_EP)) ||
Hans Wennborge0053472013-12-20 18:40:46 +0000163 (PhaseArg = DAL.getLastArg(options::OPT_M, options::OPT_MM)) ||
164 (PhaseArg = DAL.getLastArg(options::OPT__SLASH_P))) {
Chad Rosier7742b5d2011-07-27 23:36:45 +0000165 FinalPhase = phases::Preprocess;
Eric Christopherf901e852011-08-17 22:59:59 +0000166
Bob Wilson23a55f12014-12-21 07:00:00 +0000167 // -{fsyntax-only,-analyze,emit-ast} only run up to the compiler.
Chad Rosier7742b5d2011-07-27 23:36:45 +0000168 } else if ((PhaseArg = DAL.getLastArg(options::OPT_fsyntax_only)) ||
Douglas Gregorbf7fc9c2013-03-27 16:47:18 +0000169 (PhaseArg = DAL.getLastArg(options::OPT_module_file_info)) ||
Ben Langmuir2cb4a782014-02-05 22:21:15 +0000170 (PhaseArg = DAL.getLastArg(options::OPT_verify_pch)) ||
Chad Rosier7742b5d2011-07-27 23:36:45 +0000171 (PhaseArg = DAL.getLastArg(options::OPT_rewrite_objc)) ||
Fariborz Jahanian73223bb2012-04-02 15:59:19 +0000172 (PhaseArg = DAL.getLastArg(options::OPT_rewrite_legacy_objc)) ||
Ted Kremenekf7639e12012-03-06 20:06:33 +0000173 (PhaseArg = DAL.getLastArg(options::OPT__migrate)) ||
Chad Rosier7742b5d2011-07-27 23:36:45 +0000174 (PhaseArg = DAL.getLastArg(options::OPT__analyze,
Chad Rosier1aeb15a2012-03-06 23:14:35 +0000175 options::OPT__analyze_auto)) ||
Bob Wilson23a55f12014-12-21 07:00:00 +0000176 (PhaseArg = DAL.getLastArg(options::OPT_emit_ast))) {
Chad Rosier7742b5d2011-07-27 23:36:45 +0000177 FinalPhase = phases::Compile;
178
Bob Wilson23a55f12014-12-21 07:00:00 +0000179 // -S only runs up to the backend.
180 } else if ((PhaseArg = DAL.getLastArg(options::OPT_S))) {
181 FinalPhase = phases::Backend;
182
Chad Rosier7742b5d2011-07-27 23:36:45 +0000183 // -c only runs up to the assembler.
184 } else if ((PhaseArg = DAL.getLastArg(options::OPT_c))) {
185 FinalPhase = phases::Assemble;
186
187 // Otherwise do everything.
188 } else
189 FinalPhase = phases::Link;
190
191 if (FinalPhaseArg)
192 *FinalPhaseArg = PhaseArg;
193
194 return FinalPhase;
195}
196
Hans Wennborg55362852014-05-02 22:55:30 +0000197static Arg* MakeInputArg(DerivedArgList &Args, OptTable *Opts,
Hans Wennborged1d0722013-08-13 21:32:29 +0000198 StringRef Value) {
199 Arg *A = new Arg(Opts->getOption(options::OPT_INPUT), Value,
200 Args.getBaseArgs().MakeIndex(Value), Value.data());
Hans Wennborg55362852014-05-02 22:55:30 +0000201 Args.AddSynthesizedArg(A);
Hans Wennborged1d0722013-08-13 21:32:29 +0000202 A->claim();
203 return A;
204}
205
Daniel Dunbar775d4062010-06-11 22:00:26 +0000206DerivedArgList *Driver::TranslateInputArgs(const InputArgList &Args) const {
207 DerivedArgList *DAL = new DerivedArgList(Args);
208
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000209 bool HasNostdlib = Args.hasArg(options::OPT_nostdlib);
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000210 for (Arg *A : Args) {
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000211 // Unfortunately, we have to parse some forwarding options (-Xassembler,
212 // -Xlinker, -Xpreprocessor) because we either integrate their functionality
213 // (assembler and preprocessor), or bypass a previous driver ('collect2').
Daniel Dunbar5a9d1832010-06-14 21:37:09 +0000214
215 // Rewrite linker options, to replace --no-demangle with a custom internal
216 // option.
217 if ((A->getOption().matches(options::OPT_Wl_COMMA) ||
218 A->getOption().matches(options::OPT_Xlinker)) &&
219 A->containsValue("--no-demangle")) {
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000220 // Add the rewritten no-demangle argument.
221 DAL->AddFlagArg(A, Opts->getOption(options::OPT_Z_Xlinker__no_demangle));
222
223 // Add the remaining values as Xlinker arguments.
224 for (unsigned i = 0, e = A->getNumValues(); i != e; ++i)
Richard Smithbd55daf2012-11-01 04:30:05 +0000225 if (StringRef(A->getValue(i)) != "--no-demangle")
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000226 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_Xlinker),
Richard Smithbd55daf2012-11-01 04:30:05 +0000227 A->getValue(i));
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000228
229 continue;
230 }
231
Daniel Dunbar5a9d1832010-06-14 21:37:09 +0000232 // Rewrite preprocessor options, to replace -Wp,-MD,FOO which is used by
233 // some build systems. We don't try to be complete here because we don't
234 // care to encourage this usage model.
235 if (A->getOption().matches(options::OPT_Wp_COMMA) &&
Richard Smithbd55daf2012-11-01 04:30:05 +0000236 (A->getValue(0) == StringRef("-MD") ||
237 A->getValue(0) == StringRef("-MMD"))) {
Daniel Dunbar3648ba72010-06-15 20:30:18 +0000238 // Rewrite to -MD/-MMD along with -MF.
Richard Smithbd55daf2012-11-01 04:30:05 +0000239 if (A->getValue(0) == StringRef("-MD"))
Daniel Dunbar3648ba72010-06-15 20:30:18 +0000240 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MD));
241 else
242 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MMD));
Michael J. Spencer70d85be2012-11-07 23:37:14 +0000243 if (A->getNumValues() == 2)
244 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_MF),
245 A->getValue(1));
Daniel Dunbar5a9d1832010-06-14 21:37:09 +0000246 continue;
247 }
248
Shantonu Senafeb03b2010-09-17 18:39:08 +0000249 // Rewrite reserved library names.
250 if (A->getOption().matches(options::OPT_l)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000251 StringRef Value = A->getValue();
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000252
Shantonu Senafeb03b2010-09-17 18:39:08 +0000253 // Rewrite unless -nostdlib is present.
254 if (!HasNostdlib && Value == "stdc++") {
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000255 DAL->AddFlagArg(A, Opts->getOption(
256 options::OPT_Z_reserved_lib_stdcxx));
257 continue;
258 }
Shantonu Senafeb03b2010-09-17 18:39:08 +0000259
260 // Rewrite unconditionally.
261 if (Value == "cc_kext") {
262 DAL->AddFlagArg(A, Opts->getOption(
263 options::OPT_Z_reserved_lib_cckext));
264 continue;
265 }
Daniel Dunbar2cc3f172010-09-17 00:45:02 +0000266 }
267
Hans Wennborged1d0722013-08-13 21:32:29 +0000268 // Pick up inputs via the -- option.
269 if (A->getOption().matches(options::OPT__DASH_DASH)) {
270 A->claim();
271 for (unsigned i = 0, e = A->getNumValues(); i != e; ++i)
272 DAL->append(MakeInputArg(*DAL, Opts, A->getValue(i)));
273 continue;
274 }
275
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000276 DAL->append(A);
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000277 }
Daniel Dunbar775d4062010-06-11 22:00:26 +0000278
Daniel Dunbar628fcf42010-08-12 00:05:12 +0000279 // Add a default value of -mlinker-version=, if one was given and the user
280 // didn't specify one.
281#if defined(HOST_LINK_VERSION)
282 if (!Args.hasArg(options::OPT_mlinker_version_EQ)) {
283 DAL->AddJoinedArg(0, Opts->getOption(options::OPT_mlinker_version_EQ),
284 HOST_LINK_VERSION);
Daniel Dunbarb613ffc2010-08-17 22:32:45 +0000285 DAL->getLastArg(options::OPT_mlinker_version_EQ)->claim();
Daniel Dunbar628fcf42010-08-12 00:05:12 +0000286 }
287#endif
288
Daniel Dunbar775d4062010-06-11 22:00:26 +0000289 return DAL;
290}
291
Chris Lattner54b16772011-07-23 17:14:25 +0000292Compilation *Driver::BuildCompilation(ArrayRef<const char *> ArgList) {
Daniel Dunbar2608c542009-03-18 01:38:48 +0000293 llvm::PrettyStackTraceString CrashInfo("Compilation construction");
294
Eric Christopherf901e852011-08-17 22:59:59 +0000295 // FIXME: Handle environment options which affect driver behavior, somewhere
Bill Wendlingadbeb9f2012-03-12 21:24:57 +0000296 // (client?). GCC_EXEC_PREFIX, LPATH, CC_PRINT_OPTIONS.
Chad Rosier82301162011-09-14 00:47:55 +0000297
298 if (char *env = ::getenv("COMPILER_PATH")) {
299 StringRef CompilerPath = env;
300 while (!CompilerPath.empty()) {
NAKAMURA Takumiad80c5e2012-12-12 06:22:22 +0000301 std::pair<StringRef, StringRef> Split
Rafael Espindolae3d0c4a2013-06-25 01:11:59 +0000302 = CompilerPath.split(llvm::sys::EnvPathSeparator);
Chad Rosier82301162011-09-14 00:47:55 +0000303 PrefixDirs.push_back(Split.first);
304 CompilerPath = Split.second;
305 }
306 }
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000307
Hans Wennborg70850d82013-07-18 20:29:38 +0000308 // We look for the driver mode option early, because the mode can affect
309 // how other options are parsed.
310 ParseDriverMode(ArgList.slice(1));
311
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000312 // FIXME: What are we going to do with -V and -b?
313
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000314 // FIXME: This stuff needs to go into the Compilation, not the driver.
Rafael Espindola0c9fa3f2013-09-03 13:26:49 +0000315 bool CCCPrintActions;
Daniel Dunbard02cb1d2009-03-05 06:38:47 +0000316
Chris Lattnerce6c42f2011-03-23 04:04:01 +0000317 InputArgList *Args = ParseArgStrings(ArgList.slice(1));
Daniel Dunbaracd69572009-12-04 21:55:23 +0000318
Rafael Espindola59ae7992009-12-07 18:28:29 +0000319 // -no-canonical-prefixes is used very early in main.
320 Args->ClaimAllArgs(options::OPT_no_canonical_prefixes);
321
Daniel Dunbar926f81f2010-08-02 02:38:03 +0000322 // Ignore -pipe.
323 Args->ClaimAllArgs(options::OPT_pipe);
324
Daniel Dunbaracd69572009-12-04 21:55:23 +0000325 // Extract -ccc args.
Daniel Dunbaree66cf22009-03-10 20:52:46 +0000326 //
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000327 // FIXME: We need to figure out where this behavior should live. Most of it
328 // should be outside in the client; the parts that aren't should have proper
329 // options, either by introducing new ones or by overloading gcc ones like -V
330 // or -b.
Daniel Dunbaracd69572009-12-04 21:55:23 +0000331 CCCPrintActions = Args->hasArg(options::OPT_ccc_print_phases);
332 CCCPrintBindings = Args->hasArg(options::OPT_ccc_print_bindings);
Daniel Dunbaracd69572009-12-04 21:55:23 +0000333 if (const Arg *A = Args->getLastArg(options::OPT_ccc_gcc_name))
Richard Smithbd55daf2012-11-01 04:30:05 +0000334 CCCGenericGCCName = A->getValue();
Daniel Dunbaracd69572009-12-04 21:55:23 +0000335 CCCUsePCH = Args->hasFlag(options::OPT_ccc_pch_is_pch,
336 options::OPT_ccc_pch_is_pth);
Joerg Sonnenberger17d75512012-02-22 19:15:16 +0000337 // FIXME: DefaultTargetTriple is used by the target-prefixed calls to as/ld
338 // and getToolChain is const.
Hans Wennborg2e274592013-08-13 23:38:57 +0000339 if (IsCLMode()) {
Hans Wennborg73609a02014-03-28 01:19:04 +0000340 // clang-cl targets MSVC-style Win32.
Hans Wennborg2e274592013-08-13 23:38:57 +0000341 llvm::Triple T(DefaultTargetTriple);
Hans Wennborg9d9ce7a2014-03-28 20:49:28 +0000342 T.setOS(llvm::Triple::Win32);
343 T.setEnvironment(llvm::Triple::MSVC);
Hans Wennborg2e274592013-08-13 23:38:57 +0000344 DefaultTargetTriple = T.str();
345 }
Joerg Sonnenberger17d75512012-02-22 19:15:16 +0000346 if (const Arg *A = Args->getLastArg(options::OPT_target))
Richard Smithbd55daf2012-11-01 04:30:05 +0000347 DefaultTargetTriple = A->getValue();
Daniel Dunbaracd69572009-12-04 21:55:23 +0000348 if (const Arg *A = Args->getLastArg(options::OPT_ccc_install_dir))
Richard Smithbd55daf2012-11-01 04:30:05 +0000349 Dir = InstalledDir = A->getValue();
Benjamin Kramer1a648d12011-02-08 20:31:42 +0000350 for (arg_iterator it = Args->filtered_begin(options::OPT_B),
351 ie = Args->filtered_end(); it != ie; ++it) {
352 const Arg *A = *it;
353 A->claim();
Richard Smithbd55daf2012-11-01 04:30:05 +0000354 PrefixDirs.push_back(A->getValue(0));
Benjamin Kramer1a648d12011-02-08 20:31:42 +0000355 }
Joerg Sonnenberger6165ab12011-03-21 13:51:29 +0000356 if (const Arg *A = Args->getLastArg(options::OPT__sysroot_EQ))
Richard Smithbd55daf2012-11-01 04:30:05 +0000357 SysRoot = A->getValue();
Peter Collingbourne9d9e1fc2013-05-27 21:40:20 +0000358 if (const Arg *A = Args->getLastArg(options::OPT__dyld_prefix_EQ))
359 DyldPrefix = A->getValue();
Joerg Sonnenbergerbc923f32011-03-21 13:59:26 +0000360 if (Args->hasArg(options::OPT_nostdlib))
361 UseStdLib = false;
Daniel Dunbaree66cf22009-03-10 20:52:46 +0000362
Richard Smithf3e624c2013-03-23 00:30:08 +0000363 if (const Arg *A = Args->getLastArg(options::OPT_resource_dir))
Bob Wilsona20a1da2013-03-23 05:17:59 +0000364 ResourceDir = A->getValue();
Jim Grosbach061dabf2013-03-12 20:17:58 +0000365
Reid Kleckner68eb60b2015-02-02 22:41:48 +0000366 if (const Arg *A = Args->getLastArg(options::OPT_save_temps_EQ)) {
367 SaveTemps = llvm::StringSwitch<SaveTempsMode>(A->getValue())
368 .Case("cwd", SaveTempsCwd)
369 .Case("obj", SaveTempsObj)
370 .Default(SaveTempsCwd);
371 }
372
Daniel Dunbar775d4062010-06-11 22:00:26 +0000373 // Perform the default argument translations.
374 DerivedArgList *TranslatedArgs = TranslateInputArgs(*Args);
375
Chandler Carruthcb916192012-01-25 08:49:21 +0000376 // Owned by the host.
Chandler Carruth2ad5de12012-01-25 11:01:57 +0000377 const ToolChain &TC = getToolChain(*Args);
Chandler Carruthcb916192012-01-25 08:49:21 +0000378
Daniel Dunbar3ce436d2009-03-16 06:42:30 +0000379 // The compilation takes ownership of Args.
Chandler Carruthcb916192012-01-25 08:49:21 +0000380 Compilation *C = new Compilation(*this, TC, Args, TranslatedArgs);
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000381
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000382 if (!HandleImmediateArgs(*C))
383 return C;
384
Chad Rosierecdede82011-08-12 22:08:57 +0000385 // Construct the list of inputs.
386 InputList Inputs;
Hans Wennborged1d0722013-08-13 21:32:29 +0000387 BuildInputs(C->getDefaultToolChain(), *TranslatedArgs, Inputs);
Chad Rosierecdede82011-08-12 22:08:57 +0000388
Chandler Carruth7f1417f2012-01-24 10:43:44 +0000389 // Construct the list of abstract actions to perform for this compilation. On
Tim Northover157d9112014-01-16 08:48:16 +0000390 // MachO targets this uses the driver-driver and universal actions.
391 if (TC.getTriple().isOSBinFormatMachO())
Joerg Sonnenbergerf4961642011-03-07 01:15:29 +0000392 BuildUniversalActions(C->getDefaultToolChain(), C->getArgs(),
Chad Rosierecdede82011-08-12 22:08:57 +0000393 Inputs, C->getActions());
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000394 else
Chad Rosierecdede82011-08-12 22:08:57 +0000395 BuildActions(C->getDefaultToolChain(), C->getArgs(), Inputs,
396 C->getActions());
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000397
398 if (CCCPrintActions) {
Daniel Dunbareb843be2009-03-18 03:13:20 +0000399 PrintActions(*C);
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000400 return C;
401 }
402
403 BuildJobs(*C);
Daniel Dunbaradc91e62009-03-15 01:38:15 +0000404
405 return C;
Daniel Dunbaree66cf22009-03-10 20:52:46 +0000406}
407
Eric Christopherf901e852011-08-17 22:59:59 +0000408// When clang crashes, produce diagnostic information including the fully
409// preprocessed source file(s). Request that the developer attach the
Chad Rosierbe10f982011-08-02 17:58:04 +0000410// diagnostic information to a bug report.
411void Driver::generateCompilationDiagnostics(Compilation &C,
Justin Bognere1a33d12014-10-20 21:02:05 +0000412 const Command &FailingCommand) {
Chad Rosier877c0a22012-02-22 00:30:39 +0000413 if (C.getArgs().hasArg(options::OPT_fno_crash_diagnostics))
Chad Rosier62135492012-07-09 17:31:28 +0000414 return;
Chad Rosierbee5a1d2012-03-07 00:30:40 +0000415
Chad Rosierdbf46a12013-02-01 18:30:26 +0000416 // Don't try to generate diagnostics for link or dsymutil jobs.
Justin Bognere1a33d12014-10-20 21:02:05 +0000417 if (FailingCommand.getCreator().isLinkJob() ||
418 FailingCommand.getCreator().isDsymutilJob())
Chad Rosier877c0a22012-02-22 00:30:39 +0000419 return;
420
Chad Rosier8179f112012-06-19 17:51:34 +0000421 // Print the version of the compiler.
422 PrintVersion(C, llvm::errs());
423
Chad Rosierbe10f982011-08-02 17:58:04 +0000424 Diag(clang::diag::note_drv_command_failed_diag_msg)
Chad Rosier103e2c92012-06-19 18:39:21 +0000425 << "PLEASE submit a bug report to " BUG_REPORT_URL " and include the "
426 "crash backtrace, preprocessed source, and associated run script.";
Chad Rosierbe10f982011-08-02 17:58:04 +0000427
428 // Suppress driver output and emit preprocessor output to temp file.
Hans Wennborg70850d82013-07-18 20:29:38 +0000429 Mode = CPPMode;
Chad Rosierbe10f982011-08-02 17:58:04 +0000430 CCGenDiagnostics = true;
431
Chad Rosiercdb008d2011-11-02 21:29:05 +0000432 // Save the original job command(s).
Justin Bogner25645152014-10-21 17:24:44 +0000433 Command Cmd = FailingCommand;
Chad Rosiercdb008d2011-11-02 21:29:05 +0000434
Richard Smith5bb4cdf2012-12-20 02:22:15 +0000435 // Keep track of whether we produce any errors while trying to produce
436 // preprocessed sources.
437 DiagnosticErrorTrap Trap(Diags);
438
439 // Suppress tool output.
Chad Rosierbe10f982011-08-02 17:58:04 +0000440 C.initCompilationForDiagnostics();
Chad Rosierecdede82011-08-12 22:08:57 +0000441
442 // Construct the list of inputs.
443 InputList Inputs;
444 BuildInputs(C.getDefaultToolChain(), C.getArgs(), Inputs);
Chad Rosierbe10f982011-08-02 17:58:04 +0000445
Chad Rosier4f81fc22011-08-12 23:30:05 +0000446 for (InputList::iterator it = Inputs.begin(), ie = Inputs.end(); it != ie;) {
Chad Rosierd57133d2011-08-18 00:22:25 +0000447 bool IgnoreInput = false;
448
449 // Ignore input from stdin or any inputs that cannot be preprocessed.
Paul Robinsonf44157d2014-04-28 22:24:44 +0000450 // Check type first as not all linker inputs have a value.
451 if (types::getPreprocessedType(it->first) == types::TY_INVALID) {
452 IgnoreInput = true;
453 } else if (!strcmp(it->second->getValue(), "-")) {
Chad Rosierd57133d2011-08-18 00:22:25 +0000454 Diag(clang::diag::note_drv_command_failed_diag_msg)
455 << "Error generating preprocessed source(s) - ignoring input from stdin"
456 ".";
457 IgnoreInput = true;
Chad Rosierd57133d2011-08-18 00:22:25 +0000458 }
459
460 if (IgnoreInput) {
Chad Rosier4f81fc22011-08-12 23:30:05 +0000461 it = Inputs.erase(it);
462 ie = Inputs.end();
Chad Rosier6fdf38b2011-08-17 23:08:45 +0000463 } else {
Chad Rosier4f81fc22011-08-12 23:30:05 +0000464 ++it;
Chad Rosier6fdf38b2011-08-17 23:08:45 +0000465 }
Chad Rosier4f81fc22011-08-12 23:30:05 +0000466 }
Chad Rosierd57133d2011-08-18 00:22:25 +0000467
Chad Rosierc5103c32013-01-29 23:57:10 +0000468 if (Inputs.empty()) {
469 Diag(clang::diag::note_drv_command_failed_diag_msg)
470 << "Error generating preprocessed source(s) - no preprocessable inputs.";
471 return;
472 }
473
Chad Rosiere75ef402011-09-06 23:52:36 +0000474 // Don't attempt to generate preprocessed files if multiple -arch options are
Chad Rosier636d2832012-02-13 18:16:28 +0000475 // used, unless they're all duplicates.
476 llvm::StringSet<> ArchNames;
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000477 for (const Arg *A : C.getArgs()) {
Chad Rosiere75ef402011-09-06 23:52:36 +0000478 if (A->getOption().matches(options::OPT_arch)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000479 StringRef ArchName = A->getValue();
Chad Rosier636d2832012-02-13 18:16:28 +0000480 ArchNames.insert(ArchName);
Chad Rosiere75ef402011-09-06 23:52:36 +0000481 }
482 }
Chad Rosier636d2832012-02-13 18:16:28 +0000483 if (ArchNames.size() > 1) {
484 Diag(clang::diag::note_drv_command_failed_diag_msg)
485 << "Error generating preprocessed source(s) - cannot generate "
486 "preprocessed source with multiple -arch options.";
487 return;
488 }
Chad Rosiere75ef402011-09-06 23:52:36 +0000489
Chandler Carruth7f1417f2012-01-24 10:43:44 +0000490 // Construct the list of abstract actions to perform for this compilation. On
491 // Darwin OSes this uses the driver-driver and builds universal actions.
Chandler Carruthcb916192012-01-25 08:49:21 +0000492 const ToolChain &TC = C.getDefaultToolChain();
Tim Northover157d9112014-01-16 08:48:16 +0000493 if (TC.getTriple().isOSBinFormatMachO())
Chandler Carruthcb916192012-01-25 08:49:21 +0000494 BuildUniversalActions(TC, C.getArgs(), Inputs, C.getActions());
Chad Rosierbe10f982011-08-02 17:58:04 +0000495 else
Chandler Carruthcb916192012-01-25 08:49:21 +0000496 BuildActions(TC, C.getArgs(), Inputs, C.getActions());
Chad Rosierbe10f982011-08-02 17:58:04 +0000497
498 BuildJobs(C);
499
500 // If there were errors building the compilation, quit now.
Richard Smith5bb4cdf2012-12-20 02:22:15 +0000501 if (Trap.hasErrorOccurred()) {
Chad Rosierbe10f982011-08-02 17:58:04 +0000502 Diag(clang::diag::note_drv_command_failed_diag_msg)
503 << "Error generating preprocessed source(s).";
504 return;
505 }
506
507 // Generate preprocessed output.
Chad Rosierdd60e092013-01-29 20:15:05 +0000508 SmallVector<std::pair<int, const Command *>, 4> FailingCommands;
509 C.ExecuteJob(C.getJobs(), FailingCommands);
Chad Rosierbe10f982011-08-02 17:58:04 +0000510
Justin Bognerbc89b182014-10-20 21:20:27 +0000511 // If any of the preprocessing commands failed, clean up and exit.
512 if (!FailingCommands.empty()) {
Reid Kleckner68eb60b2015-02-02 22:41:48 +0000513 if (!isSaveTempsEnabled())
Chad Rosierbe10f982011-08-02 17:58:04 +0000514 C.CleanupFileList(C.getTempFiles(), true);
515
516 Diag(clang::diag::note_drv_command_failed_diag_msg)
517 << "Error generating preprocessed source(s).";
Justin Bognerbc89b182014-10-20 21:20:27 +0000518 return;
Chad Rosierbe10f982011-08-02 17:58:04 +0000519 }
Justin Bognerbc89b182014-10-20 21:20:27 +0000520
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000521 const ArgStringList &TempFiles = C.getTempFiles();
522 if (TempFiles.empty()) {
523 Diag(clang::diag::note_drv_command_failed_diag_msg)
524 << "Error generating preprocessed source(s).";
525 return;
526 }
527
Justin Bognerbc89b182014-10-20 21:20:27 +0000528 Diag(clang::diag::note_drv_command_failed_diag_msg)
529 << "\n********************\n\n"
530 "PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:\n"
531 "Preprocessed source(s) and associated run script(s) are located at:";
Justin Bognerbc89b182014-10-20 21:20:27 +0000532
Justin Bogner659ecc32014-10-20 22:47:23 +0000533 SmallString<128> VFS;
534 for (const char *TempFile : TempFiles) {
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000535 Diag(clang::diag::note_drv_command_failed_diag_msg) << TempFile;
Justin Bogner659ecc32014-10-20 22:47:23 +0000536 if (StringRef(TempFile).endswith(".cache")) {
537 // In some cases (modules) we'll dump extra data to help with reproducing
538 // the crash into a directory next to the output.
539 VFS = llvm::sys::path::filename(TempFile);
540 llvm::sys::path::append(VFS, "vfs", "vfs.yaml");
541 }
542 }
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000543
544 // Assume associated files are based off of the first temporary file.
Justin Bogner25645152014-10-21 17:24:44 +0000545 CrashReportInfo CrashInfo(TempFiles[0], VFS);
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000546
Justin Bogner25645152014-10-21 17:24:44 +0000547 std::string Script = CrashInfo.Filename.rsplit('.').first.str() + ".sh";
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000548 std::error_code EC;
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000549 llvm::raw_fd_ostream ScriptOS(Script, EC, llvm::sys::fs::F_Excl);
550 if (EC) {
551 Diag(clang::diag::note_drv_command_failed_diag_msg)
552 << "Error generating run script: " + Script + " " + EC.message();
553 } else {
Justin Bogner42220ed2015-03-12 00:14:35 +0000554 ScriptOS << "# Crash reproducer for " << getClangFullVersion() << "\n"
555 << "# Original command: ";
556 Cmd.Print(ScriptOS, "\n", /*Quote=*/true);
Justin Bogner33bdbc62014-10-21 18:03:08 +0000557 Cmd.Print(ScriptOS, "\n", /*Quote=*/true, &CrashInfo);
Justin Bognerc1fdf7f2014-10-20 21:47:56 +0000558 Diag(clang::diag::note_drv_command_failed_diag_msg) << Script;
Justin Bognerbc89b182014-10-20 21:20:27 +0000559 }
Saleem Abdulrasool3661a822015-01-12 02:33:09 +0000560
561 for (const auto &A : C.getArgs().filtered(options::OPT_frewrite_map_file,
562 options::OPT_frewrite_map_file_EQ))
563 Diag(clang::diag::note_drv_command_failed_diag_msg) << A->getValue();
564
Justin Bognerbc89b182014-10-20 21:20:27 +0000565 Diag(clang::diag::note_drv_command_failed_diag_msg)
566 << "\n\n********************";
Chad Rosierbe10f982011-08-02 17:58:04 +0000567}
568
Reid Kleckner0290c9c2014-09-15 17:45:39 +0000569void Driver::setUpResponseFiles(Compilation &C, Job &J) {
570 if (JobList *Jobs = dyn_cast<JobList>(&J)) {
Justin Bogneraab97922014-10-03 01:04:53 +0000571 for (auto &Job : *Jobs)
572 setUpResponseFiles(C, Job);
Reid Kleckner0290c9c2014-09-15 17:45:39 +0000573 return;
574 }
575
576 Command *CurCommand = dyn_cast<Command>(&J);
577 if (!CurCommand)
578 return;
579
580 // Since argumentsFitWithinSystemLimits() may underestimate system's capacity
581 // if the tool does not support response files, there is a chance/ that things
582 // will just work without a response file, so we silently just skip it.
583 if (CurCommand->getCreator().getResponseFilesSupport() == Tool::RF_None ||
584 llvm::sys::argumentsFitWithinSystemLimits(CurCommand->getArguments()))
585 return;
586
587 std::string TmpName = GetTemporaryPath("response", "txt");
588 CurCommand->setResponseFile(C.addTempFile(C.getArgs().MakeArgString(
589 TmpName.c_str())));
590}
591
592int Driver::ExecuteCompilation(Compilation &C,
593 SmallVectorImpl< std::pair<int, const Command *> > &FailingCommands) {
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000594 // Just print if -### was present.
595 if (C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
Hans Wennborgb212b342013-09-12 18:23:34 +0000596 C.getJobs().Print(llvm::errs(), "\n", true);
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000597 return 0;
598 }
599
600 // If there were errors building the compilation, quit now.
Chad Rosierbe10f982011-08-02 17:58:04 +0000601 if (Diags.hasErrorOccurred())
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000602 return 1;
603
Reid Kleckner0290c9c2014-09-15 17:45:39 +0000604 // Set up response file names for each command, if necessary
605 setUpResponseFiles(C, C.getJobs());
606
Chad Rosierdd60e092013-01-29 20:15:05 +0000607 C.ExecuteJob(C.getJobs(), FailingCommands);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000608
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000609 // Remove temp files.
610 C.CleanupFileList(C.getTempFiles());
611
Daniel Dunbar07494792010-05-22 00:37:20 +0000612 // If the command succeeded, we are done.
Chad Rosierdd60e092013-01-29 20:15:05 +0000613 if (FailingCommands.empty())
614 return 0;
Daniel Dunbar07494792010-05-22 00:37:20 +0000615
Chad Rosierdd60e092013-01-29 20:15:05 +0000616 // Otherwise, remove result files and print extra information about abnormal
617 // failures.
618 for (SmallVectorImpl< std::pair<int, const Command *> >::iterator it =
619 FailingCommands.begin(), ie = FailingCommands.end(); it != ie; ++it) {
620 int Res = it->first;
621 const Command *FailingCommand = it->second;
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000622
Chad Rosierdd60e092013-01-29 20:15:05 +0000623 // Remove result files if we're not saving temps.
Reid Kleckner68eb60b2015-02-02 22:41:48 +0000624 if (!isSaveTempsEnabled()) {
Chad Rosierdd60e092013-01-29 20:15:05 +0000625 const JobAction *JA = cast<JobAction>(&FailingCommand->getSource());
626 C.CleanupFileMap(C.getResultFiles(), JA, true);
627
628 // Failure result files are valid unless we crashed.
629 if (Res < 0)
630 C.CleanupFileMap(C.getFailureResultFiles(), JA, true);
631 }
632
633 // Print extra information about abnormal failures, if possible.
634 //
635 // This is ad-hoc, but we don't want to be excessively noisy. If the result
Justin Bogner5aaf2e72014-06-26 20:59:36 +0000636 // status was 1, assume the command failed normally. In particular, if it
Chad Rosierdd60e092013-01-29 20:15:05 +0000637 // was the compiler then assume it gave a reasonable error code. Failures
638 // in other tools are less common, and they generally have worse
639 // diagnostics, so always print the diagnostic there.
640 const Tool &FailingTool = FailingCommand->getCreator();
641
642 if (!FailingCommand->getCreator().hasGoodDiagnostics() || Res != 1) {
643 // FIXME: See FIXME above regarding result code interpretation.
644 if (Res < 0)
645 Diag(clang::diag::err_drv_command_signalled)
646 << FailingTool.getShortName();
647 else
648 Diag(clang::diag::err_drv_command_failed)
649 << FailingTool.getShortName() << Res;
650 }
Peter Collingbourne119cfaa2011-11-21 00:01:05 +0000651 }
Chad Rosierdd60e092013-01-29 20:15:05 +0000652 return 0;
Daniel Dunbar38bfda62009-07-01 20:03:04 +0000653}
654
Daniel Dunbara7b5e212009-04-15 16:34:29 +0000655void Driver::PrintHelp(bool ShowHidden) const {
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000656 unsigned IncludedFlagsBitmask;
657 unsigned ExcludedFlagsBitmask;
Benjamin Kramer867ea1d2014-03-02 13:01:17 +0000658 std::tie(IncludedFlagsBitmask, ExcludedFlagsBitmask) =
Hans Wennborg6ddc6902013-07-27 00:23:45 +0000659 getIncludeExcludeOptionFlagMasks();
660
661 ExcludedFlagsBitmask |= options::NoDriverOption;
662 if (!ShowHidden)
663 ExcludedFlagsBitmask |= HelpHidden;
664
665 getOpts().PrintHelp(llvm::outs(), Name.c_str(), DriverTitle.c_str(),
666 IncludedFlagsBitmask, ExcludedFlagsBitmask);
Daniel Dunbar7c925282009-03-31 21:38:17 +0000667}
668
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000669void Driver::PrintVersion(const Compilation &C, raw_ostream &OS) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000670 // FIXME: The following handlers should use a callback mechanism, we don't
671 // know what the client would like to do.
Ted Kremenek4c0df3d2010-01-23 02:11:34 +0000672 OS << getClangFullVersion() << '\n';
Daniel Dunbarb10248802009-03-26 16:09:13 +0000673 const ToolChain &TC = C.getDefaultToolChain();
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000674 OS << "Target: " << TC.getTripleString() << '\n';
Daniel Dunbar10978e42009-06-16 23:32:58 +0000675
676 // Print the threading model.
Jonathan Roelofsb140a102014-10-03 21:57:44 +0000677 if (Arg *A = C.getArgs().getLastArg(options::OPT_mthread_model)) {
678 // Don't print if the ToolChain would have barfed on it already
679 if (TC.isThreadModelSupported(A->getValue()))
680 OS << "Thread model: " << A->getValue();
681 } else
682 OS << "Thread model: " << TC.getThreadModel();
683 OS << '\n';
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000684}
685
Chris Lattner86ed5b02010-05-05 05:53:24 +0000686/// PrintDiagnosticCategories - Implement the --print-diagnostic-categories
687/// option.
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000688static void PrintDiagnosticCategories(raw_ostream &OS) {
Argyrios Kyrtzidis0e37afa2011-05-25 05:05:01 +0000689 // Skip the empty category.
690 for (unsigned i = 1, max = DiagnosticIDs::getNumberOfCategories();
691 i != max; ++i)
692 OS << i << ',' << DiagnosticIDs::getCategoryNameFromID(i) << '\n';
Chris Lattner86ed5b02010-05-05 05:53:24 +0000693}
694
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000695bool Driver::HandleImmediateArgs(const Compilation &C) {
Daniel Dunbar18974bd2010-06-11 22:00:19 +0000696 // The order these options are handled in gcc is all over the place, but we
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000697 // don't expect inconsistencies w.r.t. that to matter in practice.
Daniel Dunbar7c925282009-03-31 21:38:17 +0000698
Daniel Dunbar1b09e042010-09-17 02:47:28 +0000699 if (C.getArgs().hasArg(options::OPT_dumpmachine)) {
700 llvm::outs() << C.getDefaultToolChain().getTripleString() << '\n';
701 return false;
702 }
703
Daniel Dunbara9bbcfa2009-04-04 05:17:38 +0000704 if (C.getArgs().hasArg(options::OPT_dumpversion)) {
Daniel Dunbare26e5002011-01-12 00:43:47 +0000705 // Since -dumpversion is only implemented for pedantic GCC compatibility, we
706 // return an answer which matches our definition of __VERSION__.
707 //
708 // If we want to return a more correct answer some day, then we should
709 // introduce a non-pedantically GCC compatible mode to Clang in which we
710 // provide sensible definitions for -dumpversion, __VERSION__, etc.
711 llvm::outs() << "4.2.1\n";
Daniel Dunbara9bbcfa2009-04-04 05:17:38 +0000712 return false;
713 }
Daniel Dunbarfb3d7472010-06-14 21:23:12 +0000714
Chris Lattner86ed5b02010-05-05 05:53:24 +0000715 if (C.getArgs().hasArg(options::OPT__print_diagnostic_categories)) {
716 PrintDiagnosticCategories(llvm::outs());
717 return false;
718 }
Daniel Dunbara9bbcfa2009-04-04 05:17:38 +0000719
James Molloya3c85b82012-05-01 14:57:16 +0000720 if (C.getArgs().hasArg(options::OPT_help) ||
Daniel Dunbara7b5e212009-04-15 16:34:29 +0000721 C.getArgs().hasArg(options::OPT__help_hidden)) {
722 PrintHelp(C.getArgs().hasArg(options::OPT__help_hidden));
Daniel Dunbar7c925282009-03-31 21:38:17 +0000723 return false;
724 }
725
Daniel Dunbarb0006ae2009-04-02 15:05:41 +0000726 if (C.getArgs().hasArg(options::OPT__version)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000727 // Follow gcc behavior and use stdout for --version and stderr for -v.
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000728 PrintVersion(C, llvm::outs());
Daniel Dunbarb0006ae2009-04-02 15:05:41 +0000729 return false;
730 }
731
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000732 if (C.getArgs().hasArg(options::OPT_v) ||
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000733 C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
Daniel Dunbar08e41d62009-07-21 20:06:58 +0000734 PrintVersion(C, llvm::errs());
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000735 SuppressMissingInputWarning = true;
736 }
737
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000738 const ToolChain &TC = C.getDefaultToolChain();
Chandler Carruth0ae39aa2013-07-30 17:57:09 +0000739
740 if (C.getArgs().hasArg(options::OPT_v))
741 TC.printVerboseInfo(llvm::errs());
742
Daniel Dunbard972e222009-03-20 04:37:21 +0000743 if (C.getArgs().hasArg(options::OPT_print_search_dirs)) {
744 llvm::outs() << "programs: =";
745 for (ToolChain::path_list::const_iterator it = TC.getProgramPaths().begin(),
746 ie = TC.getProgramPaths().end(); it != ie; ++it) {
747 if (it != TC.getProgramPaths().begin())
748 llvm::outs() << ':';
749 llvm::outs() << *it;
750 }
751 llvm::outs() << "\n";
Peter Collingbournefa9771f2011-09-06 02:08:31 +0000752 llvm::outs() << "libraries: =" << ResourceDir;
Joerg Sonnenberger9c3e69b2011-07-16 10:50:05 +0000753
Sebastian Pop980920a2012-04-16 04:16:43 +0000754 StringRef sysroot = C.getSysRoot();
Joerg Sonnenberger9c3e69b2011-07-16 10:50:05 +0000755
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000756 for (ToolChain::path_list::const_iterator it = TC.getFilePaths().begin(),
Daniel Dunbard972e222009-03-20 04:37:21 +0000757 ie = TC.getFilePaths().end(); it != ie; ++it) {
Peter Collingbournefa9771f2011-09-06 02:08:31 +0000758 llvm::outs() << ':';
Joerg Sonnenberger9c3e69b2011-07-16 10:50:05 +0000759 const char *path = it->c_str();
760 if (path[0] == '=')
761 llvm::outs() << sysroot << path + 1;
762 else
763 llvm::outs() << path;
Daniel Dunbard972e222009-03-20 04:37:21 +0000764 }
765 llvm::outs() << "\n";
Daniel Dunbar7c925282009-03-31 21:38:17 +0000766 return false;
Daniel Dunbard972e222009-03-20 04:37:21 +0000767 }
768
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000769 // FIXME: The following handlers should use a callback mechanism, we don't
770 // know what the client would like to do.
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000771 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_file_name_EQ)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000772 llvm::outs() << GetFilePath(A->getValue(), TC) << "\n";
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000773 return false;
774 }
775
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000776 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_prog_name_EQ)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000777 llvm::outs() << GetProgramPath(A->getValue(), TC) << "\n";
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000778 return false;
779 }
780
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000781 if (C.getArgs().hasArg(options::OPT_print_libgcc_file_name)) {
Daniel Dunbar1ce81532009-09-09 22:33:00 +0000782 llvm::outs() << GetFilePath("libgcc.a", TC) << "\n";
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000783 return false;
784 }
785
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000786 if (C.getArgs().hasArg(options::OPT_print_multi_lib)) {
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000787 const MultilibSet &Multilibs = TC.getMultilibs();
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000788
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000789 for (MultilibSet::const_iterator I = Multilibs.begin(), E = Multilibs.end();
790 I != E; ++I) {
791 llvm::outs() << *I << "\n";
Daniel Dunbar1b3ec3a2009-06-16 23:25:22 +0000792 }
793 return false;
794 }
795
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000796 if (C.getArgs().hasArg(options::OPT_print_multi_directory)) {
797 const MultilibSet &Multilibs = TC.getMultilibs();
798 for (MultilibSet::const_iterator I = Multilibs.begin(), E = Multilibs.end();
799 I != E; ++I) {
800 if (I->gccSuffix().empty())
801 llvm::outs() << ".\n";
802 else {
803 StringRef Suffix(I->gccSuffix());
804 assert(Suffix.front() == '/');
805 llvm::outs() << Suffix.substr(1) << "\n";
806 }
Jonathan Roelofs3fa96d82014-02-12 01:36:51 +0000807 }
Jonathan Roelofs0e7ec602014-02-12 01:29:25 +0000808 return false;
809 }
810
Jonathan Roelofs2cea1be2014-02-12 03:21:20 +0000811 if (C.getArgs().hasArg(options::OPT_print_multi_os_directory)) {
812 // FIXME: This should print out "lib/../lib", "lib/../lib64", or
813 // "lib/../lib32" as appropriate for the toolchain. For now, print
814 // nothing because it's not supported yet.
815 return false;
816 }
817
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +0000818 return true;
819}
820
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000821static unsigned PrintActions1(const Compilation &C, Action *A,
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000822 std::map<Action*, unsigned> &Ids) {
823 if (Ids.count(A))
824 return Ids[A];
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000825
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000826 std::string str;
827 llvm::raw_string_ostream os(str);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000828
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000829 os << Action::getClassName(A->getKind()) << ", ";
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000830 if (InputAction *IA = dyn_cast<InputAction>(A)) {
Richard Smithbd55daf2012-11-01 04:30:05 +0000831 os << "\"" << IA->getInputArg().getValue() << "\"";
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000832 } else if (BindArchAction *BIA = dyn_cast<BindArchAction>(A)) {
Chad Rosier98ab91c2012-04-27 19:51:11 +0000833 os << '"' << BIA->getArchName() << '"'
Daniel Dunbareb843be2009-03-18 03:13:20 +0000834 << ", {" << PrintActions1(C, *BIA->begin(), Ids) << "}";
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000835 } else {
836 os << "{";
837 for (Action::iterator it = A->begin(), ie = A->end(); it != ie;) {
Daniel Dunbareb843be2009-03-18 03:13:20 +0000838 os << PrintActions1(C, *it, Ids);
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000839 ++it;
840 if (it != ie)
841 os << ", ";
842 }
843 os << "}";
844 }
845
846 unsigned Id = Ids.size();
847 Ids[A] = Id;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000848 llvm::errs() << Id << ": " << os.str() << ", "
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000849 << types::getTypeName(A->getType()) << "\n";
850
851 return Id;
852}
853
Daniel Dunbareb843be2009-03-18 03:13:20 +0000854void Driver::PrintActions(const Compilation &C) const {
Daniel Dunbaraaf1ea62009-03-13 12:19:02 +0000855 std::map<Action*, unsigned> Ids;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000856 for (ActionList::const_iterator it = C.getActions().begin(),
Daniel Dunbareb843be2009-03-18 03:13:20 +0000857 ie = C.getActions().end(); it != ie; ++it)
858 PrintActions1(C, *it, Ids);
Daniel Dunbar1688f1a2009-03-12 07:58:46 +0000859}
860
Joerg Sonnenberger5fe4a7d2011-05-06 14:05:11 +0000861/// \brief Check whether the given input tree contains any compilation or
862/// assembly actions.
863static bool ContainsCompileOrAssembleAction(const Action *A) {
Bob Wilson23a55f12014-12-21 07:00:00 +0000864 if (isa<CompileJobAction>(A) ||
865 isa<BackendJobAction>(A) ||
866 isa<AssembleJobAction>(A))
Daniel Dunbar00d3d8e2010-06-29 16:38:33 +0000867 return true;
868
869 for (Action::const_iterator it = A->begin(), ie = A->end(); it != ie; ++it)
Joerg Sonnenberger5fe4a7d2011-05-06 14:05:11 +0000870 if (ContainsCompileOrAssembleAction(*it))
Daniel Dunbar00d3d8e2010-06-29 16:38:33 +0000871 return true;
872
873 return false;
874}
875
Daniel Dunbara36c2b32010-08-02 05:43:51 +0000876void Driver::BuildUniversalActions(const ToolChain &TC,
Hans Wennborg13b7fe72013-08-12 23:26:25 +0000877 DerivedArgList &Args,
Chad Rosierecdede82011-08-12 22:08:57 +0000878 const InputList &BAInputs,
Daniel Dunbarf0eddb82009-03-18 02:55:38 +0000879 ActionList &Actions) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000880 llvm::PrettyStackTraceString CrashInfo("Building universal build actions");
881 // Collect the list of architectures. Duplicates are allowed, but should only
882 // be handled once (in the order seen).
Daniel Dunbare5dc4822009-03-13 20:33:35 +0000883 llvm::StringSet<> ArchNames;
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000884 SmallVector<const char *, 4> Archs;
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +0000885 for (Arg *A : Args) {
Daniel Dunbar0bfb21e2009-11-19 03:26:40 +0000886 if (A->getOption().matches(options::OPT_arch)) {
Daniel Dunbar9c3f7c42009-09-08 23:37:30 +0000887 // Validate the option here; we don't save the type here because its
888 // particular spelling may participate in other driver choices.
889 llvm::Triple::ArchType Arch =
Tim Northover157d9112014-01-16 08:48:16 +0000890 tools::darwin::getArchTypeForMachOArchName(A->getValue());
Daniel Dunbar9c3f7c42009-09-08 23:37:30 +0000891 if (Arch == llvm::Triple::UnknownArch) {
892 Diag(clang::diag::err_drv_invalid_arch_name)
893 << A->getAsString(Args);
894 continue;
895 }
896
Daniel Dunbar2da02722009-03-19 07:55:12 +0000897 A->claim();
David Blaikie61b86d42014-11-19 02:56:13 +0000898 if (ArchNames.insert(A->getValue()).second)
Richard Smithbd55daf2012-11-01 04:30:05 +0000899 Archs.push_back(A->getValue());
Daniel Dunbarf479c122009-03-12 18:40:18 +0000900 }
901 }
902
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000903 // When there is no explicit arch for this platform, make sure we still bind
904 // the architecture (to the default) so that -Xarch_ is handled correctly.
Daniel Dunbareb843be2009-03-18 03:13:20 +0000905 if (!Archs.size())
Daniel Dunbarc3bd9f52012-11-08 03:38:26 +0000906 Archs.push_back(Args.MakeArgString(TC.getDefaultUniversalArchName()));
Daniel Dunbarf479c122009-03-12 18:40:18 +0000907
Daniel Dunbarf479c122009-03-12 18:40:18 +0000908 ActionList SingleActions;
Chad Rosierecdede82011-08-12 22:08:57 +0000909 BuildActions(TC, Args, BAInputs, SingleActions);
Daniel Dunbarf479c122009-03-12 18:40:18 +0000910
Daniel Dunbar6beaf512010-06-04 18:28:41 +0000911 // Add in arch bindings for every top level action, as well as lipo and
912 // dsymutil steps if needed.
Daniel Dunbarf479c122009-03-12 18:40:18 +0000913 for (unsigned i = 0, e = SingleActions.size(); i != e; ++i) {
914 Action *Act = SingleActions[i];
915
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000916 // Make sure we can lipo this kind of output. If not (and it is an actual
917 // output) then we disallow, since we can't create an output file with the
918 // right name without overwriting it. We could remove this oddity by just
919 // changing the output names to include the arch, which would also fix
Daniel Dunbarf479c122009-03-12 18:40:18 +0000920 // -save-temps. Compatibility wins for now.
921
Daniel Dunbare2ca3bd2009-03-13 17:46:02 +0000922 if (Archs.size() > 1 && !types::canLipoType(Act->getType()))
Daniel Dunbarf479c122009-03-12 18:40:18 +0000923 Diag(clang::diag::err_drv_invalid_output_with_multiple_archs)
924 << types::getTypeName(Act->getType());
925
926 ActionList Inputs;
Daniel Dunbar66187b32010-03-11 18:04:58 +0000927 for (unsigned i = 0, e = Archs.size(); i != e; ++i) {
David Blaikie486f4402014-08-29 07:25:23 +0000928 Inputs.push_back(
929 new BindArchAction(std::unique_ptr<Action>(Act), Archs[i]));
Daniel Dunbar66187b32010-03-11 18:04:58 +0000930 if (i != 0)
931 Inputs.back()->setOwnsInputs(false);
932 }
Daniel Dunbarf479c122009-03-12 18:40:18 +0000933
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +0000934 // Lipo if necessary, we do it this way because we need to set the arch flag
935 // so that -Xarch_ gets overwritten.
Daniel Dunbarf479c122009-03-12 18:40:18 +0000936 if (Inputs.size() == 1 || Act->getType() == types::TY_Nothing)
937 Actions.append(Inputs.begin(), Inputs.end());
938 else
939 Actions.push_back(new LipoJobAction(Inputs, Act->getType()));
Daniel Dunbar6beaf512010-06-04 18:28:41 +0000940
Eric Christopher65c05fa2012-02-06 19:43:51 +0000941 // Handle debug info queries.
942 Arg *A = Args.getLastArg(options::OPT_g_Group);
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000943 if (A && !A->getOption().matches(options::OPT_g0) &&
944 !A->getOption().matches(options::OPT_gstabs) &&
945 ContainsCompileOrAssembleAction(Actions.back())) {
Chad Rosier62135492012-07-09 17:31:28 +0000946
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000947 // Add a 'dsymutil' step if necessary, when debug info is enabled and we
948 // have a compile input. We need to run 'dsymutil' ourselves in such cases
Eric Christopher776c26f2013-01-28 17:39:03 +0000949 // because the debug info will refer to a temporary object file which
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000950 // will be removed at the end of the compilation process.
951 if (Act->getType() == types::TY_Image) {
952 ActionList Inputs;
953 Inputs.push_back(Actions.back());
954 Actions.pop_back();
955 Actions.push_back(new DsymutilJobAction(Inputs, types::TY_dSYM));
Daniel Dunbar6beaf512010-06-04 18:28:41 +0000956 }
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000957
Ben Langmuir9b9a8d32014-02-06 18:53:25 +0000958 // Verify the debug info output.
Alp Tokere9d2bfc2014-01-17 02:06:23 +0000959 if (Args.hasArg(options::OPT_verify_debug_info)) {
David Blaikie486f4402014-08-29 07:25:23 +0000960 std::unique_ptr<Action> VerifyInput(Actions.back());
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000961 Actions.pop_back();
David Blaikie486f4402014-08-29 07:25:23 +0000962 Actions.push_back(new VerifyDebugInfoJobAction(std::move(VerifyInput),
Ben Langmuir9b9a8d32014-02-06 18:53:25 +0000963 types::TY_Nothing));
David Blaikie6f9f4eb2012-04-15 21:22:10 +0000964 }
965 }
Daniel Dunbarf479c122009-03-12 18:40:18 +0000966 }
Daniel Dunbar1688f1a2009-03-12 07:58:46 +0000967}
968
Hans Wennborg6ee64d52013-08-06 00:20:31 +0000969/// \brief Check that the file referenced by Value exists. If it doesn't,
970/// issue a diagnostic and return false.
Alp Toker8c8a8752013-12-03 06:53:35 +0000971static bool DiagnoseInputExistence(const Driver &D, const DerivedArgList &Args,
Hans Wennborg6ee64d52013-08-06 00:20:31 +0000972 StringRef Value) {
973 if (!D.getCheckInputsExist())
974 return true;
975
976 // stdin always exists.
977 if (Value == "-")
978 return true;
979
980 SmallString<64> Path(Value);
981 if (Arg *WorkDir = Args.getLastArg(options::OPT_working_directory)) {
Yaron Keren92e1b622015-03-18 10:17:07 +0000982 if (!llvm::sys::path::is_absolute(Path)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +0000983 SmallString<64> Directory(WorkDir->getValue());
984 llvm::sys::path::append(Directory, Value);
985 Path.assign(Directory);
986 }
987 }
988
989 if (llvm::sys::fs::exists(Twine(Path)))
990 return true;
991
Nico Weber1f0f1652015-04-24 22:16:53 +0000992 if (D.IsCLMode() && !llvm::sys::path::is_absolute(Twine(Path)) &&
993 llvm::sys::Process::FindInEnvPath("LIB", Value))
Hans Wennborg23d26a32014-06-18 17:21:50 +0000994 return true;
995
Yaron Keren92e1b622015-03-18 10:17:07 +0000996 D.Diag(clang::diag::err_drv_no_such_file) << Path;
Hans Wennborg6ee64d52013-08-06 00:20:31 +0000997 return false;
998}
999
Chad Rosierecdede82011-08-12 22:08:57 +00001000// Construct a the list of inputs and their types.
Hans Wennborg55362852014-05-02 22:55:30 +00001001void Driver::BuildInputs(const ToolChain &TC, DerivedArgList &Args,
Chad Rosierecdede82011-08-12 22:08:57 +00001002 InputList &Inputs) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001003 // Track the current user specified (-x) input. We also explicitly track the
1004 // argument used to set the type; we only want to claim the type when we
1005 // actually use it, so we warn about unused -x arguments.
Daniel Dunbarc5a5ac52009-03-13 17:57:10 +00001006 types::ID InputType = types::TY_Nothing;
Craig Topper92fc2df2014-05-17 16:56:41 +00001007 Arg *InputTypeArg = nullptr;
Daniel Dunbarc5a5ac52009-03-13 17:57:10 +00001008
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001009 // The last /TC or /TP option sets the input type to C or C++ globally.
Ehsan Akhgaric249abb2014-09-12 21:44:24 +00001010 if (Arg *TCTP = Args.getLastArgNoClaim(options::OPT__SLASH_TC,
1011 options::OPT__SLASH_TP)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001012 InputTypeArg = TCTP;
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001013 InputType = TCTP->getOption().matches(options::OPT__SLASH_TC)
1014 ? types::TY_C : types::TY_CXX;
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001015
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001016 arg_iterator it = Args.filtered_begin(options::OPT__SLASH_TC,
1017 options::OPT__SLASH_TP);
1018 const arg_iterator ie = Args.filtered_end();
1019 Arg *Previous = *it++;
1020 bool ShowNote = false;
1021 while (it != ie) {
Hans Wennborgd9ad0682013-09-11 16:38:41 +00001022 Diag(clang::diag::warn_drv_overriding_flag_option)
1023 << Previous->getSpelling() << (*it)->getSpelling();
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001024 Previous = *it++;
1025 ShowNote = true;
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001026 }
Hans Wennborg0d0b19c2013-08-12 18:34:17 +00001027 if (ShowNote)
1028 Diag(clang::diag::note_drv_t_option_is_global);
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001029
1030 // No driver mode exposes -x and /TC or /TP; we don't support mixing them.
1031 assert(!Args.hasArg(options::OPT_x) && "-x and /TC or /TP is not allowed");
1032 }
1033
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001034 for (Arg *A : Args) {
Michael J. Spencerad3ccc32012-08-20 21:41:17 +00001035 if (A->getOption().getKind() == Option::InputClass) {
Richard Smithbd55daf2012-11-01 04:30:05 +00001036 const char *Value = A->getValue();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001037 types::ID Ty = types::TY_INVALID;
1038
1039 // Infer the input type if necessary.
Daniel Dunbarc5a5ac52009-03-13 17:57:10 +00001040 if (InputType == types::TY_Nothing) {
1041 // If there was an explicit arg for this, claim it.
1042 if (InputTypeArg)
1043 InputTypeArg->claim();
1044
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001045 // stdin must be handled specially.
1046 if (memcmp(Value, "-", 2) == 0) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001047 // If running with -E, treat as a C input (this changes the builtin
1048 // macros, for example). This may be overridden by -ObjC below.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001049 //
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001050 // Otherwise emit an error but still use a valid type to avoid
1051 // spurious errors (e.g., no inputs).
Hans Wennborg70850d82013-07-18 20:29:38 +00001052 if (!Args.hasArgNoClaim(options::OPT_E) && !CCCIsCPP())
Hans Wennborgcfdd8b52014-01-29 01:04:40 +00001053 Diag(IsCLMode() ? clang::diag::err_drv_unknown_stdin_type_clang_cl
1054 : clang::diag::err_drv_unknown_stdin_type);
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001055 Ty = types::TY_C;
1056 } else {
Joerg Sonnenbergerbdbdf702011-03-16 22:45:02 +00001057 // Otherwise lookup by extension.
1058 // Fallback is C if invoked as C preprocessor or Object otherwise.
1059 // We use a host hook here because Darwin at least has its own
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001060 // idea of what .s is.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001061 if (const char *Ext = strrchr(Value, '.'))
Daniel Dunbarcc7df6c2010-08-02 05:43:56 +00001062 Ty = TC.LookupTypeForExtension(Ext + 1);
Daniel Dunbarea9f0322009-03-20 23:39:23 +00001063
Joerg Sonnenbergerbdbdf702011-03-16 22:45:02 +00001064 if (Ty == types::TY_INVALID) {
Hans Wennborg70850d82013-07-18 20:29:38 +00001065 if (CCCIsCPP())
Joerg Sonnenbergerbdbdf702011-03-16 22:45:02 +00001066 Ty = types::TY_C;
1067 else
1068 Ty = types::TY_Object;
1069 }
Daniel Dunbar0ac94452010-02-17 20:32:58 +00001070
1071 // If the driver is invoked as C++ compiler (like clang++ or c++) it
1072 // should autodetect some input files as C++ for g++ compatibility.
Hans Wennborg70850d82013-07-18 20:29:38 +00001073 if (CCCIsCXX()) {
Daniel Dunbar0ac94452010-02-17 20:32:58 +00001074 types::ID OldTy = Ty;
1075 Ty = types::lookupCXXTypeForCType(Ty);
1076
1077 if (Ty != OldTy)
1078 Diag(clang::diag::warn_drv_treating_input_as_cxx)
1079 << getTypeName(OldTy) << getTypeName(Ty);
1080 }
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001081 }
1082
Daniel Dunbar82b22102009-05-18 21:47:54 +00001083 // -ObjC and -ObjC++ override the default language, but only for "source
1084 // files". We just treat everything that isn't a linker input as a
1085 // source file.
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001086 //
Daniel Dunbar82b22102009-05-18 21:47:54 +00001087 // FIXME: Clean this up if we move the phase sequence into the type.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001088 if (Ty != types::TY_Object) {
1089 if (Args.hasArg(options::OPT_ObjC))
1090 Ty = types::TY_ObjC;
1091 else if (Args.hasArg(options::OPT_ObjCXX))
1092 Ty = types::TY_ObjCXX;
1093 }
1094 } else {
1095 assert(InputTypeArg && "InputType set w/o InputTypeArg");
Ehsan Akhgari7e954ea2014-09-12 18:15:10 +00001096 if (!InputTypeArg->getOption().matches(options::OPT_x)) {
1097 // If emulating cl.exe, make sure that /TC and /TP don't affect input
1098 // object files.
1099 const char *Ext = strrchr(Value, '.');
1100 if (Ext && TC.LookupTypeForExtension(Ext + 1) == types::TY_Object)
1101 Ty = types::TY_Object;
1102 }
1103 if (Ty == types::TY_INVALID) {
1104 Ty = InputType;
1105 InputTypeArg->claim();
1106 }
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001107 }
1108
Alp Toker8c8a8752013-12-03 06:53:35 +00001109 if (DiagnoseInputExistence(*this, Args, Value))
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001110 Inputs.push_back(std::make_pair(Ty, A));
1111
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001112 } else if (A->getOption().matches(options::OPT__SLASH_Tc)) {
1113 StringRef Value = A->getValue();
Alp Toker8c8a8752013-12-03 06:53:35 +00001114 if (DiagnoseInputExistence(*this, Args, Value)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001115 Arg *InputArg = MakeInputArg(Args, Opts, A->getValue());
1116 Inputs.push_back(std::make_pair(types::TY_C, InputArg));
1117 }
1118 A->claim();
1119 } else if (A->getOption().matches(options::OPT__SLASH_Tp)) {
1120 StringRef Value = A->getValue();
Alp Toker8c8a8752013-12-03 06:53:35 +00001121 if (DiagnoseInputExistence(*this, Args, Value)) {
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001122 Arg *InputArg = MakeInputArg(Args, Opts, A->getValue());
1123 Inputs.push_back(std::make_pair(types::TY_CXX, InputArg));
1124 }
1125 A->claim();
Michael J. Spencer66e2b202012-10-19 22:37:06 +00001126 } else if (A->getOption().hasFlag(options::LinkerInput)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001127 // Just treat as object type, we could make a special type for this if
1128 // necessary.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001129 Inputs.push_back(std::make_pair(types::TY_Object, A));
1130
Daniel Dunbar0bfb21e2009-11-19 03:26:40 +00001131 } else if (A->getOption().matches(options::OPT_x)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001132 InputTypeArg = A;
Richard Smithbd55daf2012-11-01 04:30:05 +00001133 InputType = types::lookupTypeForTypeSpecifier(A->getValue());
Chad Rosier706c2352012-04-07 00:01:31 +00001134 A->claim();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001135
1136 // Follow gcc behavior and treat as linker input for invalid -x
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001137 // options. Its not clear why we shouldn't just revert to unknown; but
Michael J. Spencer1a4fe8c2010-12-17 21:22:33 +00001138 // this isn't very important, we might as well be bug compatible.
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001139 if (!InputType) {
Richard Smithbd55daf2012-11-01 04:30:05 +00001140 Diag(clang::diag::err_drv_unknown_language) << A->getValue();
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001141 InputType = types::TY_Object;
1142 }
1143 }
1144 }
Hans Wennborg70850d82013-07-18 20:29:38 +00001145 if (CCCIsCPP() && Inputs.empty()) {
Joerg Sonnenbergerb86f5f42011-03-06 23:31:01 +00001146 // If called as standalone preprocessor, stdin is processed
1147 // if no other input is present.
Hans Wennborg6ee64d52013-08-06 00:20:31 +00001148 Arg *A = MakeInputArg(Args, Opts, "-");
Joerg Sonnenbergerb86f5f42011-03-06 23:31:01 +00001149 Inputs.push_back(std::make_pair(types::TY_C, A));
1150 }
Chad Rosierecdede82011-08-12 22:08:57 +00001151}
1152
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001153void Driver::BuildActions(const ToolChain &TC, DerivedArgList &Args,
Chad Rosierecdede82011-08-12 22:08:57 +00001154 const InputList &Inputs, ActionList &Actions) const {
1155 llvm::PrettyStackTraceString CrashInfo("Building compilation actions");
Joerg Sonnenbergerb86f5f42011-03-06 23:31:01 +00001156
Daniel Dunbar34c41872009-03-13 00:17:48 +00001157 if (!SuppressMissingInputWarning && Inputs.empty()) {
Daniel Dunbarbfeec742009-03-12 23:55:14 +00001158 Diag(clang::diag::err_drv_no_input_files);
1159 return;
1160 }
1161
Chad Rosier7742b5d2011-07-27 23:36:45 +00001162 Arg *FinalPhaseArg;
1163 phases::ID FinalPhase = getFinalPhase(Args, &FinalPhaseArg);
Daniel Dunbarbfeec742009-03-12 23:55:14 +00001164
Rafael Espindolae8025642013-08-25 14:27:09 +00001165 if (FinalPhase == phases::Link && Args.hasArg(options::OPT_emit_llvm)) {
1166 Diag(clang::diag::err_drv_emit_llvm_link);
1167 }
1168
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001169 // Reject -Z* at the top level, these options should never have been exposed
1170 // by gcc.
Daniel Dunbardd765242009-03-26 16:12:09 +00001171 if (Arg *A = Args.getLastArg(options::OPT_Z_Joined))
Daniel Dunbar0e759942009-03-20 06:14:23 +00001172 Diag(clang::diag::err_drv_use_of_Z_option) << A->getAsString(Args);
Daniel Dunbarbfeec742009-03-12 23:55:14 +00001173
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001174 // Diagnose misuse of /Fo.
1175 if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fo)) {
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001176 StringRef V = A->getValue();
Hans Wennborg61647532014-11-17 19:16:36 +00001177 if (Inputs.size() > 1 && !V.empty() &&
1178 !llvm::sys::path::is_separator(V.back())) {
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001179 // Check whether /Fo tries to name an output file for multiple inputs.
Hans Wennborg9c1659b2013-10-18 22:49:04 +00001180 Diag(clang::diag::err_drv_out_file_argument_with_multiple_sources)
Hans Wennborg13b7fe72013-08-12 23:26:25 +00001181 << A->getSpelling() << V;
1182 Args.eraseArg(options::OPT__SLASH_Fo);
1183 }
1184 }
1185
Hans Wennborg9c1659b2013-10-18 22:49:04 +00001186 // Diagnose misuse of /Fa.
1187 if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fa)) {
1188 StringRef V = A->getValue();
Hans Wennborg61647532014-11-17 19:16:36 +00001189 if (Inputs.size() > 1 && !V.empty() &&
1190 !llvm::sys::path::is_separator(V.back())) {
Hans Wennborg9c1659b2013-10-18 22:49:04 +00001191 // Check whether /Fa tries to name an asm file for multiple inputs.
1192 Diag(clang::diag::err_drv_out_file_argument_with_multiple_sources)
1193 << A->getSpelling() << V;
1194 Args.eraseArg(options::OPT__SLASH_Fa);
1195 }
1196 }
1197
Ehsan Akhgari81f36b72014-09-11 18:16:21 +00001198 // Diagnose misuse of /o.
1199 if (Arg *A = Args.getLastArg(options::OPT__SLASH_o)) {
1200 if (A->getValue()[0] == '\0') {
1201 // It has to have a value.
1202 Diag(clang::diag::err_drv_missing_argument) << A->getSpelling() << 1;
1203 Args.eraseArg(options::OPT__SLASH_o);
1204 }
1205 }
1206
Daniel Dunbar65229332009-03-13 11:38:42 +00001207 // Construct the actions to perform.
1208 ActionList LinkerInputs;
Alp Toker965f8822013-11-27 05:22:15 +00001209
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001210 llvm::SmallVector<phases::ID, phases::MaxNumberOfPhases> PL;
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001211 for (unsigned i = 0, e = Inputs.size(); i != e; ++i) {
Daniel Dunbar65229332009-03-13 11:38:42 +00001212 types::ID InputType = Inputs[i].first;
1213 const Arg *InputArg = Inputs[i].second;
1214
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001215 PL.clear();
1216 types::getCompilationPhases(InputType, PL);
Daniel Dunbar65229332009-03-13 11:38:42 +00001217
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001218 // If the first step comes after the final phase we are doing as part of
1219 // this compilation, warn the user about it.
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001220 phases::ID InitialPhase = PL[0];
Daniel Dunbar65229332009-03-13 11:38:42 +00001221 if (InitialPhase > FinalPhase) {
Daniel Dunbaradc5c7c2009-03-19 07:57:08 +00001222 // Claim here to avoid the more general unused warning.
1223 InputArg->claim();
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001224
Daniel Dunbar2db3e732011-04-20 15:44:48 +00001225 // Suppress all unused style warnings with -Qunused-arguments
1226 if (Args.hasArg(options::OPT_Qunused_arguments))
1227 continue;
1228
Richard Smith403f76e2012-08-06 04:09:06 +00001229 // Special case when final phase determined by binary name, rather than
1230 // by a command-line argument with a corresponding Arg.
Hans Wennborg70850d82013-07-18 20:29:38 +00001231 if (CCCIsCPP())
Richard Smith403f76e2012-08-06 04:09:06 +00001232 Diag(clang::diag::warn_drv_input_file_unused_by_cpp)
1233 << InputArg->getAsString(Args)
1234 << getPhaseName(InitialPhase);
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001235 // Special case '-E' warning on a previously preprocessed file to make
1236 // more sense.
Richard Smith403f76e2012-08-06 04:09:06 +00001237 else if (InitialPhase == phases::Compile &&
1238 FinalPhase == phases::Preprocess &&
1239 getPreprocessedType(InputType) == types::TY_INVALID)
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001240 Diag(clang::diag::warn_drv_preprocessed_input_file_unused)
1241 << InputArg->getAsString(Args)
Richard Smith403f76e2012-08-06 04:09:06 +00001242 << !!FinalPhaseArg
Richard Smith5b5d21e2014-03-12 23:36:42 +00001243 << (FinalPhaseArg ? FinalPhaseArg->getOption().getName() : "");
Daniel Dunbar07806ca2009-09-17 04:13:26 +00001244 else
1245 Diag(clang::diag::warn_drv_input_file_unused)
1246 << InputArg->getAsString(Args)
1247 << getPhaseName(InitialPhase)
Richard Smith403f76e2012-08-06 04:09:06 +00001248 << !!FinalPhaseArg
Richard Smith5b5d21e2014-03-12 23:36:42 +00001249 << (FinalPhaseArg ? FinalPhaseArg->getOption().getName() : "");
Daniel Dunbar65229332009-03-13 11:38:42 +00001250 continue;
1251 }
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001252
Daniel Dunbar65229332009-03-13 11:38:42 +00001253 // Build the pipeline for this file.
Ahmed Charlesb8984322014-03-07 20:03:18 +00001254 std::unique_ptr<Action> Current(new InputAction(*InputArg, InputType));
Craig Topper2341c0d2013-07-04 03:08:24 +00001255 for (SmallVectorImpl<phases::ID>::iterator
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001256 i = PL.begin(), e = PL.end(); i != e; ++i) {
1257 phases::ID Phase = *i;
Daniel Dunbar65229332009-03-13 11:38:42 +00001258
1259 // We are done if this step is past what the user requested.
1260 if (Phase > FinalPhase)
1261 break;
1262
1263 // Queue linker inputs.
1264 if (Phase == phases::Link) {
Matthew Curtis7ab8b2b2013-03-07 12:32:26 +00001265 assert((i + 1) == e && "linking must be final compilation step.");
Ahmed Charles9a16beb2014-03-07 19:33:25 +00001266 LinkerInputs.push_back(Current.release());
Daniel Dunbar65229332009-03-13 11:38:42 +00001267 break;
1268 }
1269
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001270 // Some types skip the assembler phase (e.g., llvm-bc), but we can't
1271 // encode this in the steps because the intermediate type depends on
1272 // arguments. Just special case here.
Daniel Dunbar13864952009-03-24 20:17:30 +00001273 if (Phase == phases::Assemble && Current->getType() != types::TY_PP_Asm)
1274 continue;
1275
Daniel Dunbar65229332009-03-13 11:38:42 +00001276 // Otherwise construct the appropriate action.
Peter Collingbournea4ccff32015-02-20 20:30:56 +00001277 Current = ConstructPhaseAction(TC, Args, Phase, std::move(Current));
Daniel Dunbar65229332009-03-13 11:38:42 +00001278 if (Current->getType() == types::TY_Nothing)
1279 break;
1280 }
1281
1282 // If we ended with something, add to the output list.
1283 if (Current)
Ahmed Charles9a16beb2014-03-07 19:33:25 +00001284 Actions.push_back(Current.release());
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001285 }
Daniel Dunbar65229332009-03-13 11:38:42 +00001286
1287 // Add a link action if necessary.
1288 if (!LinkerInputs.empty())
1289 Actions.push_back(new LinkJobAction(LinkerInputs, types::TY_Image));
Daniel Dunbarc7a67b72009-12-22 23:19:32 +00001290
1291 // If we are linking, claim any options which are obviously only used for
1292 // compilation.
Hans Wennborga8ef14f2013-09-17 00:03:41 +00001293 if (FinalPhase == phases::Link && PL.size() == 1) {
Daniel Dunbarc7a67b72009-12-22 23:19:32 +00001294 Args.ClaimAllArgs(options::OPT_CompileOnly_Group);
Hans Wennborga8ef14f2013-09-17 00:03:41 +00001295 Args.ClaimAllArgs(options::OPT_cl_compile_Group);
1296 }
1297
1298 // Claim ignored clang-cl options.
1299 Args.ClaimAllArgs(options::OPT_cl_ignored_Group);
Daniel Dunbar65229332009-03-13 11:38:42 +00001300}
1301
David Blaikie486f4402014-08-29 07:25:23 +00001302std::unique_ptr<Action>
Peter Collingbournea4ccff32015-02-20 20:30:56 +00001303Driver::ConstructPhaseAction(const ToolChain &TC, const ArgList &Args,
1304 phases::ID Phase,
David Blaikie486f4402014-08-29 07:25:23 +00001305 std::unique_ptr<Action> Input) const {
Daniel Dunbar2608c542009-03-18 01:38:48 +00001306 llvm::PrettyStackTraceString CrashInfo("Constructing phase actions");
Daniel Dunbar65229332009-03-13 11:38:42 +00001307 // Build the appropriate action.
1308 switch (Phase) {
David Blaikie83d382b2011-09-23 05:06:16 +00001309 case phases::Link: llvm_unreachable("link action invalid here.");
Daniel Dunbar65229332009-03-13 11:38:42 +00001310 case phases::Preprocess: {
Daniel Dunbard67a3222009-03-30 06:36:42 +00001311 types::ID OutputTy;
1312 // -{M, MM} alter the output type.
Daniel Dunbar86aed7d2010-12-08 21:33:40 +00001313 if (Args.hasArg(options::OPT_M, options::OPT_MM)) {
Daniel Dunbard67a3222009-03-30 06:36:42 +00001314 OutputTy = types::TY_Dependencies;
1315 } else {
David Blaikie5d577a22012-06-29 22:03:56 +00001316 OutputTy = Input->getType();
1317 if (!Args.hasFlag(options::OPT_frewrite_includes,
Justin Bognerce8245b2014-06-24 08:01:01 +00001318 options::OPT_fno_rewrite_includes, false) &&
1319 !CCGenDiagnostics)
David Blaikie5d577a22012-06-29 22:03:56 +00001320 OutputTy = types::getPreprocessedType(OutputTy);
Daniel Dunbard67a3222009-03-30 06:36:42 +00001321 assert(OutputTy != types::TY_INVALID &&
1322 "Cannot preprocess this input type!");
1323 }
David Blaikie486f4402014-08-29 07:25:23 +00001324 return llvm::make_unique<PreprocessJobAction>(std::move(Input), OutputTy);
Daniel Dunbar65229332009-03-13 11:38:42 +00001325 }
Aaron Ballman1f10cc52012-07-31 01:21:00 +00001326 case phases::Precompile: {
1327 types::ID OutputTy = types::TY_PCH;
1328 if (Args.hasArg(options::OPT_fsyntax_only)) {
1329 // Syntax checks should not emit a PCH file
1330 OutputTy = types::TY_Nothing;
1331 }
David Blaikie486f4402014-08-29 07:25:23 +00001332 return llvm::make_unique<PrecompileJobAction>(std::move(Input), OutputTy);
Aaron Ballman1f10cc52012-07-31 01:21:00 +00001333 }
Daniel Dunbar65229332009-03-13 11:38:42 +00001334 case phases::Compile: {
David Blaikie486f4402014-08-29 07:25:23 +00001335 if (Args.hasArg(options::OPT_fsyntax_only))
1336 return llvm::make_unique<CompileJobAction>(std::move(Input),
1337 types::TY_Nothing);
1338 if (Args.hasArg(options::OPT_rewrite_objc))
1339 return llvm::make_unique<CompileJobAction>(std::move(Input),
1340 types::TY_RewrittenObjC);
1341 if (Args.hasArg(options::OPT_rewrite_legacy_objc))
1342 return llvm::make_unique<CompileJobAction>(std::move(Input),
1343 types::TY_RewrittenLegacyObjC);
1344 if (Args.hasArg(options::OPT__analyze, options::OPT__analyze_auto))
1345 return llvm::make_unique<AnalyzeJobAction>(std::move(Input),
1346 types::TY_Plist);
1347 if (Args.hasArg(options::OPT__migrate))
1348 return llvm::make_unique<MigrateJobAction>(std::move(Input),
1349 types::TY_Remap);
1350 if (Args.hasArg(options::OPT_emit_ast))
1351 return llvm::make_unique<CompileJobAction>(std::move(Input),
1352 types::TY_AST);
1353 if (Args.hasArg(options::OPT_module_file_info))
1354 return llvm::make_unique<CompileJobAction>(std::move(Input),
1355 types::TY_ModuleFile);
1356 if (Args.hasArg(options::OPT_verify_pch))
1357 return llvm::make_unique<VerifyPCHJobAction>(std::move(Input),
1358 types::TY_Nothing);
Bob Wilson23a55f12014-12-21 07:00:00 +00001359 return llvm::make_unique<CompileJobAction>(std::move(Input),
1360 types::TY_LLVM_BC);
1361 }
1362 case phases::Backend: {
Peter Collingbournea4ccff32015-02-20 20:30:56 +00001363 if (IsUsingLTO(TC, Args)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001364 types::ID Output =
Daniel Dunbar24e52992010-06-07 23:28:45 +00001365 Args.hasArg(options::OPT_S) ? types::TY_LTO_IR : types::TY_LTO_BC;
Bob Wilson23a55f12014-12-21 07:00:00 +00001366 return llvm::make_unique<BackendJobAction>(std::move(Input), Output);
David Blaikie486f4402014-08-29 07:25:23 +00001367 }
1368 if (Args.hasArg(options::OPT_emit_llvm)) {
Shuxin Yang4b3c7ff2013-08-23 21:34:57 +00001369 types::ID Output =
1370 Args.hasArg(options::OPT_S) ? types::TY_LLVM_IR : types::TY_LLVM_BC;
Bob Wilson23a55f12014-12-21 07:00:00 +00001371 return llvm::make_unique<BackendJobAction>(std::move(Input), Output);
Daniel Dunbar65229332009-03-13 11:38:42 +00001372 }
Bob Wilson23a55f12014-12-21 07:00:00 +00001373 return llvm::make_unique<BackendJobAction>(std::move(Input),
David Blaikie486f4402014-08-29 07:25:23 +00001374 types::TY_PP_Asm);
Daniel Dunbar65229332009-03-13 11:38:42 +00001375 }
1376 case phases::Assemble:
David Blaikie486f4402014-08-29 07:25:23 +00001377 return llvm::make_unique<AssembleJobAction>(std::move(Input),
1378 types::TY_Object);
Daniel Dunbar65229332009-03-13 11:38:42 +00001379 }
1380
David Blaikie83d382b2011-09-23 05:06:16 +00001381 llvm_unreachable("invalid phase in ConstructPhaseAction");
Daniel Dunbar1688f1a2009-03-12 07:58:46 +00001382}
1383
Peter Collingbournea4ccff32015-02-20 20:30:56 +00001384bool Driver::IsUsingLTO(const ToolChain &TC, const ArgList &Args) const {
1385 if (TC.getSanitizerArgs().needsLTO())
1386 return true;
1387
Shuxin Yang4b3c7ff2013-08-23 21:34:57 +00001388 if (Args.hasFlag(options::OPT_flto, options::OPT_fno_lto, false))
Daniel Dunbar8f1fe5b2011-06-21 20:55:08 +00001389 return true;
1390
Daniel Dunbar8f1fe5b2011-06-21 20:55:08 +00001391 return false;
1392}
1393
Daniel Dunbarf0eddb82009-03-18 02:55:38 +00001394void Driver::BuildJobs(Compilation &C) const {
Daniel Dunbar2608c542009-03-18 01:38:48 +00001395 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
Daniel Dunbare75d8342009-03-16 06:56:51 +00001396
1397 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
1398
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001399 // It is an error to provide a -o option if we are making multiple output
1400 // files.
Daniel Dunbare75d8342009-03-16 06:56:51 +00001401 if (FinalOutput) {
1402 unsigned NumOutputs = 0;
Saleem Abdulrasoolda3f4e52014-12-29 21:02:47 +00001403 for (const Action *A : C.getActions())
1404 if (A->getType() != types::TY_Nothing)
Daniel Dunbare75d8342009-03-16 06:56:51 +00001405 ++NumOutputs;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001406
Daniel Dunbare75d8342009-03-16 06:56:51 +00001407 if (NumOutputs > 1) {
1408 Diag(clang::diag::err_drv_output_argument_with_multiple_files);
Craig Topper92fc2df2014-05-17 16:56:41 +00001409 FinalOutput = nullptr;
Daniel Dunbare75d8342009-03-16 06:56:51 +00001410 }
1411 }
1412
Chad Rosier35767232013-04-30 22:01:21 +00001413 // Collect the list of architectures.
1414 llvm::StringSet<> ArchNames;
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001415 if (C.getDefaultToolChain().getTriple().isOSBinFormatMachO())
1416 for (const Arg *A : C.getArgs())
Chad Rosier35767232013-04-30 22:01:21 +00001417 if (A->getOption().matches(options::OPT_arch))
1418 ArchNames.insert(A->getValue());
Chad Rosier35767232013-04-30 22:01:21 +00001419
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001420 for (Action *A : C.getActions()) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001421 // If we are linking an image for multiple archs then the linker wants
1422 // -arch_multiple and -final_output <final image name>. Unfortunately, this
1423 // doesn't fit in cleanly because we have to pass this information down.
Daniel Dunbare75d8342009-03-16 06:56:51 +00001424 //
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001425 // FIXME: This is a hack; find a cleaner way to integrate this into the
1426 // process.
Craig Topper92fc2df2014-05-17 16:56:41 +00001427 const char *LinkingOutput = nullptr;
Daniel Dunbardd765242009-03-26 16:12:09 +00001428 if (isa<LipoJobAction>(A)) {
Daniel Dunbare75d8342009-03-16 06:56:51 +00001429 if (FinalOutput)
Richard Smithbd55daf2012-11-01 04:30:05 +00001430 LinkingOutput = FinalOutput->getValue();
Daniel Dunbare75d8342009-03-16 06:56:51 +00001431 else
Hans Wennborga7707222015-01-09 17:38:53 +00001432 LinkingOutput = getDefaultImageName();
Daniel Dunbare75d8342009-03-16 06:56:51 +00001433 }
1434
1435 InputInfo II;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001436 BuildJobsForAction(C, A, &C.getDefaultToolChain(),
Craig Topper92fc2df2014-05-17 16:56:41 +00001437 /*BoundArch*/nullptr,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001438 /*AtTopLevel*/ true,
Chad Rosier35767232013-04-30 22:01:21 +00001439 /*MultipleArchs*/ ArchNames.size() > 1,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001440 /*LinkingOutput*/ LinkingOutput,
1441 II);
1442 }
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001443
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001444 // If the user passed -Qunused-arguments or there were errors, don't warn
1445 // about any unused arguments.
Argyrios Kyrtzidis31448a42010-11-18 21:47:07 +00001446 if (Diags.hasErrorOccurred() ||
Daniel Dunbara3cfbe32009-04-07 19:04:18 +00001447 C.getArgs().hasArg(options::OPT_Qunused_arguments))
Daniel Dunbard175d972009-03-18 18:03:46 +00001448 return;
1449
Daniel Dunbar58399ae2009-03-29 22:24:54 +00001450 // Claim -### here.
1451 (void) C.getArgs().hasArg(options::OPT__HASH_HASH_HASH);
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001452
Hans Wennborg70850d82013-07-18 20:29:38 +00001453 // Claim --driver-mode, it was handled earlier.
1454 (void) C.getArgs().hasArg(options::OPT_driver_mode);
1455
Saleem Abdulrasool688b6bc2014-12-29 19:01:36 +00001456 for (Arg *A : C.getArgs()) {
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001457 // FIXME: It would be nice to be able to send the argument to the
David Blaikie9c902b52011-09-25 23:23:43 +00001458 // DiagnosticsEngine, so that extra values, position, and so on could be
1459 // printed.
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001460 if (!A->isClaimed()) {
Michael J. Spencer66e2b202012-10-19 22:37:06 +00001461 if (A->getOption().hasFlag(options::NoArgumentUnused))
Daniel Dunbara3cfbe32009-04-07 19:04:18 +00001462 continue;
1463
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001464 // Suppress the warning automatically if this is just a flag, and it is an
1465 // instance of an argument we already claimed.
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001466 const Option &Opt = A->getOption();
Michael J. Spencerad3ccc32012-08-20 21:41:17 +00001467 if (Opt.getKind() == Option::FlagClass) {
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001468 bool DuplicateClaimed = false;
1469
Daniel Dunbar44b36ee2009-11-25 11:53:23 +00001470 for (arg_iterator it = C.getArgs().filtered_begin(&Opt),
1471 ie = C.getArgs().filtered_end(); it != ie; ++it) {
1472 if ((*it)->isClaimed()) {
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001473 DuplicateClaimed = true;
1474 break;
1475 }
1476 }
1477
1478 if (DuplicateClaimed)
1479 continue;
1480 }
1481
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001482 Diag(clang::diag::warn_drv_unused_argument)
Daniel Dunbar0e759942009-03-20 06:14:23 +00001483 << A->getAsString(C.getArgs());
Daniel Dunbar90dd6f42009-04-04 00:52:26 +00001484 }
Daniel Dunbar3ce436d2009-03-16 06:42:30 +00001485 }
Daniel Dunbar95e6b192009-03-13 22:12:33 +00001486}
1487
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001488static const Tool *SelectToolForJob(Compilation &C, bool SaveTemps,
1489 const ToolChain *TC, const JobAction *JA,
Daniel Dunbarc4343942010-02-03 03:07:56 +00001490 const ActionList *&Inputs) {
Craig Topper92fc2df2014-05-17 16:56:41 +00001491 const Tool *ToolForJob = nullptr;
Daniel Dunbarc4343942010-02-03 03:07:56 +00001492
1493 // See if we should look for a compiler with an integrated assembler. We match
1494 // bottom up, so what we are actually looking for is an assembler job with a
Reid Klecknerda0acc82014-12-18 23:07:04 +00001495 // compiler input.
Daniel Dunbarf9ff3502010-05-14 02:03:00 +00001496
Rafael Espindola84b588b2013-03-18 18:10:27 +00001497 if (TC->useIntegratedAs() &&
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001498 !SaveTemps &&
David Peixotto3e325d72013-12-06 20:27:33 +00001499 !C.getArgs().hasArg(options::OPT_via_file_asm) &&
Hans Wennborg2c21f742013-10-17 16:16:23 +00001500 !C.getArgs().hasArg(options::OPT__SLASH_FA) &&
1501 !C.getArgs().hasArg(options::OPT__SLASH_Fa) &&
Daniel Dunbarc4343942010-02-03 03:07:56 +00001502 isa<AssembleJobAction>(JA) &&
Bob Wilson23a55f12014-12-21 07:00:00 +00001503 Inputs->size() == 1 && isa<BackendJobAction>(*Inputs->begin())) {
1504 // A BackendJob is always preceded by a CompileJob, and without
1505 // -save-temps they will always get combined together, so instead of
1506 // checking the backend tool, check if the tool for the CompileJob
1507 // has an integrated assembler.
1508 const ActionList *BackendInputs = &(*Inputs)[0]->getInputs();
1509 JobAction *CompileJA = cast<CompileJobAction>(*BackendInputs->begin());
1510 const Tool *Compiler = TC->SelectTool(*CompileJA);
Rafael Espindola79764462013-03-24 15:06:53 +00001511 if (!Compiler)
Craig Topper92fc2df2014-05-17 16:56:41 +00001512 return nullptr;
Rafael Espindola79764462013-03-24 15:06:53 +00001513 if (Compiler->hasIntegratedAssembler()) {
Bob Wilson23a55f12014-12-21 07:00:00 +00001514 Inputs = &(*BackendInputs)[0]->getInputs();
1515 ToolForJob = Compiler;
1516 }
1517 }
1518
1519 // A backend job should always be combined with the preceding compile job
1520 // unless OPT_save_temps is enabled and the compiler is capable of emitting
1521 // LLVM IR as an intermediate output.
1522 if (isa<BackendJobAction>(JA)) {
1523 // Check if the compiler supports emitting LLVM IR.
1524 assert(Inputs->size() == 1);
1525 JobAction *CompileJA = cast<CompileJobAction>(*Inputs->begin());
1526 const Tool *Compiler = TC->SelectTool(*CompileJA);
1527 if (!Compiler)
1528 return nullptr;
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001529 if (!Compiler->canEmitIR() || !SaveTemps) {
Daniel Dunbarc4343942010-02-03 03:07:56 +00001530 Inputs = &(*Inputs)[0]->getInputs();
Rafael Espindola79764462013-03-24 15:06:53 +00001531 ToolForJob = Compiler;
Daniel Dunbarc4343942010-02-03 03:07:56 +00001532 }
1533 }
1534
1535 // Otherwise use the tool for the current job.
1536 if (!ToolForJob)
Rafael Espindola79764462013-03-24 15:06:53 +00001537 ToolForJob = TC->SelectTool(*JA);
Daniel Dunbarc4343942010-02-03 03:07:56 +00001538
1539 // See if we should use an integrated preprocessor. We do so when we have
1540 // exactly one input, since this is the only use case we care about
1541 // (irrelevant since we don't support combine yet).
1542 if (Inputs->size() == 1 && isa<PreprocessJobAction>(*Inputs->begin()) &&
1543 !C.getArgs().hasArg(options::OPT_no_integrated_cpp) &&
1544 !C.getArgs().hasArg(options::OPT_traditional_cpp) &&
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001545 !SaveTemps &&
Fariborz Jahanian659bc4a2012-09-28 19:05:17 +00001546 !C.getArgs().hasArg(options::OPT_rewrite_objc) &&
Daniel Dunbarc4343942010-02-03 03:07:56 +00001547 ToolForJob->hasIntegratedCPP())
1548 Inputs = &(*Inputs)[0]->getInputs();
1549
Rafael Espindola79764462013-03-24 15:06:53 +00001550 return ToolForJob;
Daniel Dunbarc4343942010-02-03 03:07:56 +00001551}
1552
Daniel Dunbare75d8342009-03-16 06:56:51 +00001553void Driver::BuildJobsForAction(Compilation &C,
1554 const Action *A,
1555 const ToolChain *TC,
Daniel Dunbarb5d86bb2009-09-09 18:36:01 +00001556 const char *BoundArch,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001557 bool AtTopLevel,
Chad Rosier35767232013-04-30 22:01:21 +00001558 bool MultipleArchs,
Daniel Dunbare75d8342009-03-16 06:56:51 +00001559 const char *LinkingOutput,
1560 InputInfo &Result) const {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001561 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
Daniel Dunbarc4acf9d2009-03-18 23:18:19 +00001562
Daniel Dunbare75d8342009-03-16 06:56:51 +00001563 if (const InputAction *IA = dyn_cast<InputAction>(A)) {
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001564 // FIXME: It would be nice to not claim this here; maybe the old scheme of
1565 // just using Args was better?
Daniel Dunbar5cdf3e02009-03-19 07:29:38 +00001566 const Arg &Input = IA->getInputArg();
1567 Input.claim();
Daniel Dunbar35cbfeb2010-06-09 22:31:08 +00001568 if (Input.getOption().matches(options::OPT_INPUT)) {
Richard Smithbd55daf2012-11-01 04:30:05 +00001569 const char *Name = Input.getValue();
Daniel Dunbar5cdf3e02009-03-19 07:29:38 +00001570 Result = InputInfo(Name, A->getType(), Name);
1571 } else
1572 Result = InputInfo(&Input, A->getType(), "");
Daniel Dunbare75d8342009-03-16 06:56:51 +00001573 return;
1574 }
1575
1576 if (const BindArchAction *BAA = dyn_cast<BindArchAction>(A)) {
Chad Rosiera78a6eb2012-04-27 16:50:38 +00001577 const ToolChain *TC;
Chad Rosier631fa102012-04-27 16:48:16 +00001578 const char *ArchName = BAA->getArchName();
Daniel Dunbar1ef3f2a2009-09-08 23:37:19 +00001579
Chad Rosier631fa102012-04-27 16:48:16 +00001580 if (ArchName)
1581 TC = &getToolChain(C.getArgs(), ArchName);
Chad Rosiera78a6eb2012-04-27 16:50:38 +00001582 else
1583 TC = &C.getDefaultToolChain();
Daniel Dunbar1ef3f2a2009-09-08 23:37:19 +00001584
Daniel Dunbarb5d86bb2009-09-09 18:36:01 +00001585 BuildJobsForAction(C, *BAA->begin(), TC, BAA->getArchName(),
Chad Rosier35767232013-04-30 22:01:21 +00001586 AtTopLevel, MultipleArchs, LinkingOutput, Result);
Daniel Dunbare75d8342009-03-16 06:56:51 +00001587 return;
1588 }
1589
Daniel Dunbare75d8342009-03-16 06:56:51 +00001590 const ActionList *Inputs = &A->getInputs();
Daniel Dunbarc4343942010-02-03 03:07:56 +00001591
1592 const JobAction *JA = cast<JobAction>(A);
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001593 const Tool *T = SelectToolForJob(C, isSaveTempsEnabled(), TC, JA, Inputs);
Rafael Espindola79764462013-03-24 15:06:53 +00001594 if (!T)
1595 return;
Daniel Dunbare75d8342009-03-16 06:56:51 +00001596
1597 // Only use pipes when there is exactly one input.
Daniel Dunbar1a093d22009-03-18 06:00:36 +00001598 InputInfoList InputInfos;
Saleem Abdulrasoolda3f4e52014-12-29 21:02:47 +00001599 for (const Action *Input : *Inputs) {
Eric Christopher14668dd2013-02-18 00:38:25 +00001600 // Treat dsymutil and verify sub-jobs as being at the top-level too, they
1601 // shouldn't get temporary output names.
Daniel Dunbar6beaf512010-06-04 18:28:41 +00001602 // FIXME: Clean this up.
1603 bool SubJobAtTopLevel = false;
Eric Christopher14668dd2013-02-18 00:38:25 +00001604 if (AtTopLevel && (isa<DsymutilJobAction>(A) || isa<VerifyJobAction>(A)))
Eric Christopher551ef452011-08-23 17:56:55 +00001605 SubJobAtTopLevel = true;
1606
Daniel Dunbare75d8342009-03-16 06:56:51 +00001607 InputInfo II;
Saleem Abdulrasoolda3f4e52014-12-29 21:02:47 +00001608 BuildJobsForAction(C, Input, TC, BoundArch, SubJobAtTopLevel, MultipleArchs,
Chad Rosier35767232013-04-30 22:01:21 +00001609 LinkingOutput, II);
Daniel Dunbare75d8342009-03-16 06:56:51 +00001610 InputInfos.push_back(II);
1611 }
1612
Daniel Dunbare75d8342009-03-16 06:56:51 +00001613 // Always use the first input as the base input.
1614 const char *BaseInput = InputInfos[0].getBaseInput();
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001615
Daniel Dunbar6beaf512010-06-04 18:28:41 +00001616 // ... except dsymutil actions, which use their actual input as the base
1617 // input.
1618 if (JA->getType() == types::TY_dSYM)
1619 BaseInput = InputInfos[0].getFilename();
1620
Daniel Dunbard00272f2010-08-02 02:38:15 +00001621 // Determine the place to write output to, if any.
Eric Christopher2ba5fcb2013-02-05 07:29:57 +00001622 if (JA->getType() == types::TY_Nothing)
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001623 Result = InputInfo(A->getType(), BaseInput);
Eric Christopher2ba5fcb2013-02-05 07:29:57 +00001624 else
Chad Rosier35767232013-04-30 22:01:21 +00001625 Result = InputInfo(GetNamedOutputPath(C, *JA, BaseInput, BoundArch,
1626 AtTopLevel, MultipleArchs),
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001627 A->getType(), BaseInput);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001628
Chad Rosierbe10f982011-08-02 17:58:04 +00001629 if (CCCPrintBindings && !CCGenDiagnostics) {
Rafael Espindola79764462013-03-24 15:06:53 +00001630 llvm::errs() << "# \"" << T->getToolChain().getTripleString() << '"'
1631 << " - \"" << T->getName() << "\", inputs: [";
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001632 for (unsigned i = 0, e = InputInfos.size(); i != e; ++i) {
1633 llvm::errs() << InputInfos[i].getAsString();
1634 if (i + 1 != e)
1635 llvm::errs() << ", ";
1636 }
1637 llvm::errs() << "], output: " << Result.getAsString() << "\n";
1638 } else {
Rafael Espindola79764462013-03-24 15:06:53 +00001639 T->ConstructJob(C, *JA, Result, InputInfos,
1640 C.getArgsForToolChain(TC, BoundArch), LinkingOutput);
Daniel Dunbarb39cc522009-03-17 22:47:06 +00001641 }
Daniel Dunbare75d8342009-03-16 06:56:51 +00001642}
1643
Hans Wennborga7707222015-01-09 17:38:53 +00001644const char *Driver::getDefaultImageName() const {
1645 llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple));
1646 return Target.isOSWindows() ? "a.exe" : "a.out";
1647}
1648
Hans Wennborg2c21f742013-10-17 16:16:23 +00001649/// \brief Create output filename based on ArgValue, which could either be a
1650/// full filename, filename without extension, or a directory. If ArgValue
1651/// does not provide a filename, then use BaseName, and use the extension
1652/// suitable for FileType.
Hans Wennborg207fcf02013-08-12 21:56:42 +00001653static const char *MakeCLOutputFilename(const ArgList &Args, StringRef ArgValue,
1654 StringRef BaseName, types::ID FileType) {
1655 SmallString<128> Filename = ArgValue;
Justin Bogner5aaf2e72014-06-26 20:59:36 +00001656
Hans Wennborgf1a74252013-09-10 20:18:04 +00001657 if (ArgValue.empty()) {
1658 // If the argument is empty, output to BaseName in the current dir.
1659 Filename = BaseName;
1660 } else if (llvm::sys::path::is_separator(Filename.back())) {
Hans Wennborg207fcf02013-08-12 21:56:42 +00001661 // If the argument is a directory, output to BaseName in that dir.
1662 llvm::sys::path::append(Filename, BaseName);
1663 }
1664
1665 if (!llvm::sys::path::has_extension(ArgValue)) {
1666 // If the argument didn't provide an extension, then set it.
1667 const char *Extension = types::getTypeTempSuffix(FileType, true);
Hans Wennborgf1a74252013-09-10 20:18:04 +00001668
1669 if (FileType == types::TY_Image &&
1670 Args.hasArg(options::OPT__SLASH_LD, options::OPT__SLASH_LDd)) {
1671 // The output file is a dll.
1672 Extension = "dll";
1673 }
1674
Hans Wennborg207fcf02013-08-12 21:56:42 +00001675 llvm::sys::path::replace_extension(Filename, Extension);
1676 }
1677
1678 return Args.MakeArgString(Filename.c_str());
1679}
1680
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001681const char *Driver::GetNamedOutputPath(Compilation &C,
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001682 const JobAction &JA,
1683 const char *BaseInput,
Chad Rosier35767232013-04-30 22:01:21 +00001684 const char *BoundArch,
1685 bool AtTopLevel,
1686 bool MultipleArchs) const {
Daniel Dunbar2608c542009-03-18 01:38:48 +00001687 llvm::PrettyStackTraceString CrashInfo("Computing output path");
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001688 // Output to a user requested destination?
Eric Christopher551ef452011-08-23 17:56:55 +00001689 if (AtTopLevel && !isa<DsymutilJobAction>(JA) &&
1690 !isa<VerifyJobAction>(JA)) {
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001691 if (Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o))
Chad Rosier633dcdc2013-01-24 19:14:47 +00001692 return C.addResultFile(FinalOutput->getValue(), &JA);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001693 }
1694
Hans Wennborge0053472013-12-20 18:40:46 +00001695 // For /P, preprocess to file named after BaseInput.
1696 if (C.getArgs().hasArg(options::OPT__SLASH_P)) {
1697 assert(AtTopLevel && isa<PreprocessJobAction>(JA));
1698 StringRef BaseName = llvm::sys::path::filename(BaseInput);
Hans Wennborg04c764f2014-06-17 00:19:12 +00001699 StringRef NameArg;
Ehsan Akhgari81f36b72014-09-11 18:16:21 +00001700 if (Arg *A = C.getArgs().getLastArg(options::OPT__SLASH_Fi,
1701 options::OPT__SLASH_o))
Hans Wennborg04c764f2014-06-17 00:19:12 +00001702 NameArg = A->getValue();
1703 return C.addResultFile(MakeCLOutputFilename(C.getArgs(), NameArg, BaseName,
Hans Wennborge0053472013-12-20 18:40:46 +00001704 types::TY_PP_C), &JA);
1705 }
1706
Nick Lewycky6e1ce292010-09-24 00:46:53 +00001707 // Default to writing to stdout?
Douglas Gregorbf7fc9c2013-03-27 16:47:18 +00001708 if (AtTopLevel && !CCGenDiagnostics &&
1709 (isa<PreprocessJobAction>(JA) || JA.getType() == types::TY_ModuleFile))
Nick Lewycky6e1ce292010-09-24 00:46:53 +00001710 return "-";
1711
Hans Wennborg2c21f742013-10-17 16:16:23 +00001712 // Is this the assembly listing for /FA?
1713 if (JA.getType() == types::TY_PP_Asm &&
1714 (C.getArgs().hasArg(options::OPT__SLASH_FA) ||
1715 C.getArgs().hasArg(options::OPT__SLASH_Fa))) {
1716 // Use /Fa and the input filename to determine the asm file name.
1717 StringRef BaseName = llvm::sys::path::filename(BaseInput);
1718 StringRef FaValue = C.getArgs().getLastArgValue(options::OPT__SLASH_Fa);
1719 return C.addResultFile(MakeCLOutputFilename(C.getArgs(), FaValue, BaseName,
1720 JA.getType()), &JA);
1721 }
1722
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001723 // Output to a temporary file?
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001724 if ((!AtTopLevel && !isSaveTempsEnabled() &&
Hans Wennborg2b89a262013-08-06 22:11:28 +00001725 !C.getArgs().hasArg(options::OPT__SLASH_Fo)) ||
Chad Rosierbe10f982011-08-02 17:58:04 +00001726 CCGenDiagnostics) {
Chad Rosier97c37372011-08-26 22:27:02 +00001727 StringRef Name = llvm::sys::path::filename(BaseInput);
1728 std::pair<StringRef, StringRef> Split = Name.split('.');
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001729 std::string TmpName =
Hans Wennborg0a0faa92013-08-07 00:32:15 +00001730 GetTemporaryPath(Split.first,
1731 types::getTypeTempSuffix(JA.getType(), IsCLMode()));
Daniel Dunbare627c1c2009-03-18 19:34:39 +00001732 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001733 }
1734
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +00001735 SmallString<128> BasePath(BaseInput);
Chris Lattner0e62c1c2011-07-23 10:55:15 +00001736 StringRef BaseName;
Daniel Dunbar67fea712011-03-25 18:16:51 +00001737
1738 // Dsymutil actions should use the full path.
Eric Christopher551ef452011-08-23 17:56:55 +00001739 if (isa<DsymutilJobAction>(JA) || isa<VerifyJobAction>(JA))
Daniel Dunbar67fea712011-03-25 18:16:51 +00001740 BaseName = BasePath;
1741 else
1742 BaseName = llvm::sys::path::filename(BasePath);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001743
1744 // Determine what the derived output name should be.
1745 const char *NamedOutput;
Hans Wennborg2b89a262013-08-06 22:11:28 +00001746
1747 if (JA.getType() == types::TY_Object &&
Ehsan Akhgari81f36b72014-09-11 18:16:21 +00001748 C.getArgs().hasArg(options::OPT__SLASH_Fo, options::OPT__SLASH_o)) {
1749 // The /Fo or /o flag decides the object filename.
1750 StringRef Val = C.getArgs().getLastArg(options::OPT__SLASH_Fo,
1751 options::OPT__SLASH_o)->getValue();
Hans Wennborg207fcf02013-08-12 21:56:42 +00001752 NamedOutput = MakeCLOutputFilename(C.getArgs(), Val, BaseName,
1753 types::TY_Object);
1754 } else if (JA.getType() == types::TY_Image &&
Ehsan Akhgari81f36b72014-09-11 18:16:21 +00001755 C.getArgs().hasArg(options::OPT__SLASH_Fe, options::OPT__SLASH_o)) {
1756 // The /Fe or /o flag names the linked file.
1757 StringRef Val = C.getArgs().getLastArg(options::OPT__SLASH_Fe,
1758 options::OPT__SLASH_o)->getValue();
Hans Wennborg207fcf02013-08-12 21:56:42 +00001759 NamedOutput = MakeCLOutputFilename(C.getArgs(), Val, BaseName,
1760 types::TY_Image);
Hans Wennborgf1a74252013-09-10 20:18:04 +00001761 } else if (JA.getType() == types::TY_Image) {
Hans Wennborg207fcf02013-08-12 21:56:42 +00001762 if (IsCLMode()) {
1763 // clang-cl uses BaseName for the executable name.
Hans Wennborgf1a74252013-09-10 20:18:04 +00001764 NamedOutput = MakeCLOutputFilename(C.getArgs(), "", BaseName,
1765 types::TY_Image);
Hans Wennborg207fcf02013-08-12 21:56:42 +00001766 } else if (MultipleArchs && BoundArch) {
Hans Wennborga7707222015-01-09 17:38:53 +00001767 SmallString<128> Output(getDefaultImageName());
Chad Rosier35767232013-04-30 22:01:21 +00001768 Output += "-";
1769 Output.append(BoundArch);
1770 NamedOutput = C.getArgs().MakeArgString(Output.c_str());
1771 } else
Hans Wennborga7707222015-01-09 17:38:53 +00001772 NamedOutput = getDefaultImageName();
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001773 } else {
Hans Wennborg0a096a02013-09-05 17:05:56 +00001774 const char *Suffix = types::getTypeTempSuffix(JA.getType(), IsCLMode());
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001775 assert(Suffix && "All types used for output should have a suffix.");
1776
1777 std::string::size_type End = std::string::npos;
1778 if (!types::appendSuffixForType(JA.getType()))
1779 End = BaseName.rfind('.');
Chad Rosier35767232013-04-30 22:01:21 +00001780 SmallString<128> Suffixed(BaseName.substr(0, End));
1781 if (MultipleArchs && BoundArch) {
1782 Suffixed += "-";
1783 Suffixed.append(BoundArch);
1784 }
Bob Wilson23a55f12014-12-21 07:00:00 +00001785 // When using both -save-temps and -emit-llvm, use a ".tmp.bc" suffix for
1786 // the unoptimized bitcode so that it does not get overwritten by the ".bc"
1787 // optimized bitcode output.
1788 if (!AtTopLevel && C.getArgs().hasArg(options::OPT_emit_llvm) &&
1789 JA.getType() == types::TY_LLVM_BC)
1790 Suffixed += ".tmp";
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001791 Suffixed += '.';
1792 Suffixed += Suffix;
1793 NamedOutput = C.getArgs().MakeArgString(Suffixed.c_str());
1794 }
1795
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001796 // Prepend object file path if -save-temps=obj
1797 if (!AtTopLevel && isSaveTempsObj() && C.getArgs().hasArg(options::OPT_o) &&
1798 JA.getType() != types::TY_PCH) {
1799 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
1800 SmallString<128> TempPath(FinalOutput->getValue());
1801 llvm::sys::path::remove_filename(TempPath);
1802 StringRef OutputFileName = llvm::sys::path::filename(NamedOutput);
1803 llvm::sys::path::append(TempPath, OutputFileName);
1804 NamedOutput = C.getArgs().MakeArgString(TempPath.c_str());
1805 }
1806
Chad Rosier62135492012-07-09 17:31:28 +00001807 // If we're saving temps and the temp file conflicts with the input file,
Chad Rosier5b58af02012-04-20 20:05:08 +00001808 // then avoid overwriting input file.
Reid Kleckner68eb60b2015-02-02 22:41:48 +00001809 if (!AtTopLevel && isSaveTempsEnabled() && NamedOutput == BaseName) {
Chad Rosier5b58af02012-04-20 20:05:08 +00001810 bool SameFile = false;
1811 SmallString<256> Result;
1812 llvm::sys::fs::current_path(Result);
1813 llvm::sys::path::append(Result, BaseName);
1814 llvm::sys::fs::equivalent(BaseInput, Result.c_str(), SameFile);
1815 // Must share the same path to conflict.
1816 if (SameFile) {
1817 StringRef Name = llvm::sys::path::filename(BaseInput);
1818 std::pair<StringRef, StringRef> Split = Name.split('.');
1819 std::string TmpName =
Hans Wennborg0a0faa92013-08-07 00:32:15 +00001820 GetTemporaryPath(Split.first,
1821 types::getTypeTempSuffix(JA.getType(), IsCLMode()));
Chad Rosier5b58af02012-04-20 20:05:08 +00001822 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
1823 }
Chad Rosierf8412cd2011-07-15 21:54:29 +00001824 }
1825
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001826 // As an annoying special case, PCH generation doesn't strip the pathname.
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001827 if (JA.getType() == types::TY_PCH) {
Michael J. Spencere1696752010-12-18 00:19:12 +00001828 llvm::sys::path::remove_filename(BasePath);
1829 if (BasePath.empty())
Daniel Dunbare6c83192009-03-18 09:58:30 +00001830 BasePath = NamedOutput;
1831 else
Michael J. Spencere1696752010-12-18 00:19:12 +00001832 llvm::sys::path::append(BasePath, NamedOutput);
Chad Rosier633dcdc2013-01-24 19:14:47 +00001833 return C.addResultFile(C.getArgs().MakeArgString(BasePath.c_str()), &JA);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001834 } else {
Chad Rosier633dcdc2013-01-24 19:14:47 +00001835 return C.addResultFile(NamedOutput, &JA);
Daniel Dunbar7a178a42009-03-17 17:53:55 +00001836 }
1837}
1838
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001839std::string Driver::GetFilePath(const char *Name, const ToolChain &TC) const {
Chandler Carruth84559242010-03-22 01:52:07 +00001840 // Respect a limited subset of the '-Bprefix' functionality in GCC by
Logan Chiencd679fd2012-10-04 08:08:56 +00001841 // attempting to use this prefix when looking for file paths.
Benjamin Kramer1a648d12011-02-08 20:31:42 +00001842 for (Driver::prefix_list::const_iterator it = PrefixDirs.begin(),
1843 ie = PrefixDirs.end(); it != ie; ++it) {
Joerg Sonnenberger6165ab12011-03-21 13:51:29 +00001844 std::string Dir(*it);
1845 if (Dir.empty())
1846 continue;
1847 if (Dir[0] == '=')
1848 Dir = SysRoot + Dir.substr(1);
Rafael Espindola609a6642013-06-24 18:33:43 +00001849 SmallString<128> P(Dir);
1850 llvm::sys::path::append(P, Name);
1851 if (llvm::sys::fs::exists(Twine(P)))
Chandler Carruth84559242010-03-22 01:52:07 +00001852 return P.str();
1853 }
1854
Rafael Espindola609a6642013-06-24 18:33:43 +00001855 SmallString<128> P(ResourceDir);
1856 llvm::sys::path::append(P, Name);
1857 if (llvm::sys::fs::exists(Twine(P)))
Peter Collingbournefa9771f2011-09-06 02:08:31 +00001858 return P.str();
1859
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001860 const ToolChain::path_list &List = TC.getFilePaths();
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00001861 for (ToolChain::path_list::const_iterator
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001862 it = List.begin(), ie = List.end(); it != ie; ++it) {
Joerg Sonnenberger6165ab12011-03-21 13:51:29 +00001863 std::string Dir(*it);
1864 if (Dir.empty())
1865 continue;
1866 if (Dir[0] == '=')
1867 Dir = SysRoot + Dir.substr(1);
Rafael Espindola609a6642013-06-24 18:33:43 +00001868 SmallString<128> P(Dir);
1869 llvm::sys::path::append(P, Name);
1870 if (llvm::sys::fs::exists(Twine(P)))
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001871 return P.str();
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001872 }
1873
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001874 return Name;
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +00001875}
1876
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001877void
1878Driver::generatePrefixedToolNames(const char *Tool, const ToolChain &TC,
1879 SmallVectorImpl<std::string> &Names) const {
1880 // FIXME: Needs a better variable than DefaultTargetTriple
Benjamin Kramer3204b152015-05-29 19:42:19 +00001881 Names.emplace_back(DefaultTargetTriple + "-" + Tool);
1882 Names.emplace_back(Tool);
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001883}
1884
Benjamin Kramer7111b912014-11-04 20:26:01 +00001885static bool ScanDirForExecutable(SmallString<128> &Dir,
1886 ArrayRef<std::string> Names) {
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001887 for (const auto &Name : Names) {
1888 llvm::sys::path::append(Dir, Name);
1889 if (llvm::sys::fs::can_execute(Twine(Dir)))
1890 return true;
1891 llvm::sys::path::remove_filename(Dir);
1892 }
1893 return false;
1894}
1895
Simon Atanasyanb16488c2012-10-03 19:52:37 +00001896std::string Driver::GetProgramPath(const char *Name,
1897 const ToolChain &TC) const {
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001898 SmallVector<std::string, 2> TargetSpecificExecutables;
1899 generatePrefixedToolNames(Name, TC, TargetSpecificExecutables);
1900
Chandler Carruth84559242010-03-22 01:52:07 +00001901 // Respect a limited subset of the '-Bprefix' functionality in GCC by
Logan Chiencd679fd2012-10-04 08:08:56 +00001902 // attempting to use this prefix when looking for program paths.
Saleem Abdulrasool23d99b12014-09-16 03:48:32 +00001903 for (const auto &PrefixDir : PrefixDirs) {
1904 if (llvm::sys::fs::is_directory(PrefixDir)) {
1905 SmallString<128> P(PrefixDir);
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001906 if (ScanDirForExecutable(P, TargetSpecificExecutables))
Rafael Espindola8be5c052013-06-19 13:24:29 +00001907 return P.str();
Simon Atanasyana47ba292012-10-31 14:39:28 +00001908 } else {
Saleem Abdulrasool23d99b12014-09-16 03:48:32 +00001909 SmallString<128> P(PrefixDir + Name);
Rafael Espindola609a6642013-06-24 18:33:43 +00001910 if (llvm::sys::fs::can_execute(Twine(P)))
Rafael Espindola8be5c052013-06-19 13:24:29 +00001911 return P.str();
Simon Atanasyan86bdab72012-10-31 12:01:53 +00001912 }
Chandler Carruth84559242010-03-22 01:52:07 +00001913 }
1914
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001915 const ToolChain::path_list &List = TC.getProgramPaths();
Saleem Abdulrasool23d99b12014-09-16 03:48:32 +00001916 for (const auto &Path : List) {
1917 SmallString<128> P(Path);
Saleem Abdulrasoolf0ba6ce2014-10-25 23:33:21 +00001918 if (ScanDirForExecutable(P, TargetSpecificExecutables))
Rafael Espindola8be5c052013-06-19 13:24:29 +00001919 return P.str();
Daniel Dunbar68b01a02009-03-18 20:26:19 +00001920 }
1921
Daniel Dunbar76ce7412009-03-23 16:15:50 +00001922 // If all else failed, search the path.
Michael J. Spencerb011d482014-11-07 21:30:32 +00001923 for (const auto &TargetSpecificExecutable : TargetSpecificExecutables)
1924 if (llvm::ErrorOr<std::string> P =
1925 llvm::sys::findProgramByName(TargetSpecificExecutable))
Michael J. Spencer04162ea2014-11-04 01:30:55 +00001926 return *P;
Daniel Dunbar6f668772009-03-18 21:34:08 +00001927
Daniel Dunbar1ce81532009-09-09 22:33:00 +00001928 return Name;
Daniel Dunbar5e0f6af2009-03-13 00:51:18 +00001929}
1930
Chad Rosier62135492012-07-09 17:31:28 +00001931std::string Driver::GetTemporaryPath(StringRef Prefix, const char *Suffix)
Chad Rosier39ab7432011-08-26 21:28:44 +00001932 const {
Rafael Espindola37d229d2013-06-25 04:26:55 +00001933 SmallString<128> Path;
Rafael Espindolac0809172014-06-12 14:02:15 +00001934 std::error_code EC = llvm::sys::fs::createTemporaryFile(Prefix, Suffix, Path);
Rafael Espindola37d229d2013-06-25 04:26:55 +00001935 if (EC) {
1936 Diag(clang::diag::err_unable_to_make_temp) << EC.message();
Daniel Dunbare627c1c2009-03-18 19:34:39 +00001937 return "";
1938 }
1939
Rafael Espindola37d229d2013-06-25 04:26:55 +00001940 return Path.str();
Daniel Dunbare627c1c2009-03-18 19:34:39 +00001941}
1942
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001943/// \brief Compute target triple from args.
1944///
1945/// This routine provides the logic to compute a target triple from various
1946/// args passed to the driver and the default triple string.
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00001947static llvm::Triple computeTargetTriple(StringRef DefaultTargetTriple,
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001948 const ArgList &Args,
1949 StringRef DarwinArchName) {
Joerg Sonnenberger17d75512012-02-22 19:15:16 +00001950 // FIXME: Already done in Compilation *Driver::BuildCompilation
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00001951 if (const Arg *A = Args.getLastArg(options::OPT_target))
Richard Smithbd55daf2012-11-01 04:30:05 +00001952 DefaultTargetTriple = A->getValue();
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00001953
1954 llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple));
Chris Lattner09797542010-03-04 21:07:38 +00001955
Tim Northover157d9112014-01-16 08:48:16 +00001956 // Handle Apple-specific options available here.
1957 if (Target.isOSBinFormatMachO()) {
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001958 // If an explict Darwin arch name is given, that trumps all.
1959 if (!DarwinArchName.empty()) {
Tim Northover157d9112014-01-16 08:48:16 +00001960 tools::darwin::setTripleTypeForMachOArchName(Target, DarwinArchName);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001961 return Target;
1962 }
1963
1964 // Handle the Darwin '-arch' flag.
1965 if (Arg *A = Args.getLastArg(options::OPT_arch)) {
Tim Northover157d9112014-01-16 08:48:16 +00001966 StringRef ArchName = A->getValue();
1967 tools::darwin::setTripleTypeForMachOArchName(Target, ArchName);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001968 }
Daniel Dunbar51c7f972009-05-22 02:53:45 +00001969 }
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001970
Christian Pirker02c2e252014-04-10 13:55:51 +00001971 // Handle pseudo-target flags '-mlittle-endian'/'-EL' and
1972 // '-mbig-endian'/'-EB'.
1973 if (Arg *A = Args.getLastArg(options::OPT_mlittle_endian,
1974 options::OPT_mbig_endian)) {
1975 if (A->getOption().matches(options::OPT_mlittle_endian)) {
Simon Atanasyan66ceaa42013-03-28 11:36:22 +00001976 if (Target.getArch() == llvm::Triple::mips)
1977 Target.setArch(llvm::Triple::mipsel);
1978 else if (Target.getArch() == llvm::Triple::mips64)
1979 Target.setArch(llvm::Triple::mips64el);
Christian Pirker02c2e252014-04-10 13:55:51 +00001980 else if (Target.getArch() == llvm::Triple::aarch64_be)
1981 Target.setArch(llvm::Triple::aarch64);
Simon Atanasyan66ceaa42013-03-28 11:36:22 +00001982 } else {
1983 if (Target.getArch() == llvm::Triple::mipsel)
1984 Target.setArch(llvm::Triple::mips);
1985 else if (Target.getArch() == llvm::Triple::mips64el)
1986 Target.setArch(llvm::Triple::mips64);
Christian Pirker02c2e252014-04-10 13:55:51 +00001987 else if (Target.getArch() == llvm::Triple::aarch64)
1988 Target.setArch(llvm::Triple::aarch64_be);
Simon Atanasyan66ceaa42013-03-28 11:36:22 +00001989 }
1990 }
1991
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001992 // Skip further flag support on OSes which don't support '-m32' or '-m64'.
Rafael Espindola76483742014-08-14 15:14:51 +00001993 if (Target.getArchName() == "tce" || Target.getOS() == llvm::Triple::Minix)
Chandler Carruth2ad5de12012-01-25 11:01:57 +00001994 return Target;
1995
Zinovy Nis3d163872014-07-11 14:28:45 +00001996 // Handle pseudo-target flags '-m64', '-mx32', '-m32' and '-m16'.
1997 if (Arg *A = Args.getLastArg(options::OPT_m64, options::OPT_mx32,
1998 options::OPT_m32, options::OPT_m16)) {
Alp Toker3e2aa332014-01-21 18:01:01 +00001999 llvm::Triple::ArchType AT = llvm::Triple::UnknownArch;
2000
Pavel Chupin4a294682014-08-18 15:38:38 +00002001 if (A->getOption().matches(options::OPT_m64)) {
Jakob Stoklund Olesen0e38aad2014-01-10 15:25:23 +00002002 AT = Target.get64BitArchVariant().getArch();
Pavel Chupin4a294682014-08-18 15:38:38 +00002003 if (Target.getEnvironment() == llvm::Triple::GNUX32)
2004 Target.setEnvironment(llvm::Triple::GNU);
2005 } else if (A->getOption().matches(options::OPT_mx32) &&
Zinovy Nis3d163872014-07-11 14:28:45 +00002006 Target.get64BitArchVariant().getArch() == llvm::Triple::x86_64) {
2007 AT = llvm::Triple::x86_64;
2008 Target.setEnvironment(llvm::Triple::GNUX32);
Pavel Chupin4a294682014-08-18 15:38:38 +00002009 } else if (A->getOption().matches(options::OPT_m32)) {
David Woodhouse6996f6b2014-01-21 17:19:44 +00002010 AT = Target.get32BitArchVariant().getArch();
Pavel Chupin4a294682014-08-18 15:38:38 +00002011 if (Target.getEnvironment() == llvm::Triple::GNUX32)
2012 Target.setEnvironment(llvm::Triple::GNU);
2013 } else if (A->getOption().matches(options::OPT_m16) &&
Alp Toker3e2aa332014-01-21 18:01:01 +00002014 Target.get32BitArchVariant().getArch() == llvm::Triple::x86) {
2015 AT = llvm::Triple::x86;
2016 Target.setEnvironment(llvm::Triple::CODE16);
David Woodhouse6996f6b2014-01-21 17:19:44 +00002017 }
2018
Joerg Sonnenbergerb7e0ac62014-09-10 21:25:37 +00002019 if (AT != llvm::Triple::UnknownArch && AT != Target.getArch())
Jakob Stoklund Olesen0e38aad2014-01-10 15:25:23 +00002020 Target.setArch(AT);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002021 }
2022
2023 return Target;
2024}
2025
2026const ToolChain &Driver::getToolChain(const ArgList &Args,
2027 StringRef DarwinArchName) const {
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002028 llvm::Triple Target =
2029 computeTargetTriple(DefaultTargetTriple, Args, DarwinArchName);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002030
Chandler Carruthd7fa2e02012-01-31 02:21:20 +00002031 ToolChain *&TC = ToolChains[Target.str()];
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002032 if (!TC) {
2033 switch (Target.getOS()) {
Ed Schouten3c3e58c2015-03-26 11:13:44 +00002034 case llvm::Triple::CloudABI:
2035 TC = new toolchains::CloudABI(*this, Target, Args);
2036 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002037 case llvm::Triple::Darwin:
2038 case llvm::Triple::MacOSX:
2039 case llvm::Triple::IOS:
Rafael Espindola14627962013-11-24 23:28:23 +00002040 TC = new toolchains::DarwinClang(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002041 break;
2042 case llvm::Triple::DragonFly:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002043 TC = new toolchains::DragonFly(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002044 break;
2045 case llvm::Triple::OpenBSD:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002046 TC = new toolchains::OpenBSD(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002047 break;
Eli Friedman9fa28852012-08-08 23:57:20 +00002048 case llvm::Triple::Bitrig:
2049 TC = new toolchains::Bitrig(*this, Target, Args);
2050 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002051 case llvm::Triple::NetBSD:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002052 TC = new toolchains::NetBSD(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002053 break;
2054 case llvm::Triple::FreeBSD:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002055 TC = new toolchains::FreeBSD(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002056 break;
2057 case llvm::Triple::Minix:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002058 TC = new toolchains::Minix(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002059 break;
2060 case llvm::Triple::Linux:
Chandler Carruthcf705b22012-01-25 21:03:58 +00002061 if (Target.getArch() == llvm::Triple::hexagon)
Matthew Curtis22dd8da2012-12-06 12:43:18 +00002062 TC = new toolchains::Hexagon_TC(*this, Target, Args);
Chandler Carruthcf705b22012-01-25 21:03:58 +00002063 else
Rafael Espindola1af7c212012-02-19 01:38:32 +00002064 TC = new toolchains::Linux(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002065 break;
Derek Schuff6ab52fa2015-03-30 20:31:33 +00002066 case llvm::Triple::NaCl:
2067 TC = new toolchains::NaCl_TC(*this, Target, Args);
2068 break;
David Chisnallf571cde2012-02-15 13:39:01 +00002069 case llvm::Triple::Solaris:
Rafael Espindola1af7c212012-02-19 01:38:32 +00002070 TC = new toolchains::Solaris(*this, Target, Args);
David Chisnallf571cde2012-02-15 13:39:01 +00002071 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002072 case llvm::Triple::Win32:
Saleem Abdulrasool377066a2014-03-27 22:50:18 +00002073 switch (Target.getEnvironment()) {
2074 default:
2075 if (Target.isOSBinFormatELF())
2076 TC = new toolchains::Generic_ELF(*this, Target, Args);
2077 else if (Target.isOSBinFormatMachO())
2078 TC = new toolchains::MachO(*this, Target, Args);
2079 else
2080 TC = new toolchains::Generic_GCC(*this, Target, Args);
2081 break;
2082 case llvm::Triple::GNU:
2083 // FIXME: We need a MinGW toolchain. Use the default Generic_GCC
2084 // toolchain for now as the default case would below otherwise.
2085 if (Target.isOSBinFormatELF())
2086 TC = new toolchains::Generic_ELF(*this, Target, Args);
2087 else
2088 TC = new toolchains::Generic_GCC(*this, Target, Args);
2089 break;
Saleem Abdulrasool543a78b2014-10-24 03:13:37 +00002090 case llvm::Triple::Itanium:
2091 TC = new toolchains::CrossWindowsToolChain(*this, Target, Args);
2092 break;
Saleem Abdulrasool377066a2014-03-27 22:50:18 +00002093 case llvm::Triple::MSVC:
2094 case llvm::Triple::UnknownEnvironment:
Saleem Abdulrasool819f3912014-10-22 02:37:29 +00002095 TC = new toolchains::MSVCToolChain(*this, Target, Args);
Saleem Abdulrasool377066a2014-03-27 22:50:18 +00002096 break;
2097 }
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002098 break;
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002099 default:
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002100 // Of these targets, Hexagon is the only one that might have
2101 // an OS of Linux, in which case it got handled above already.
2102 if (Target.getArchName() == "tce")
Rafael Espindola84b588b2013-03-18 18:10:27 +00002103 TC = new toolchains::TCEToolChain(*this, Target, Args);
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002104 else if (Target.getArch() == llvm::Triple::hexagon)
Jyotsna Verma3abdf1c2013-03-29 19:09:20 +00002105 TC = new toolchains::Hexagon_TC(*this, Target, Args);
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002106 else if (Target.getArch() == llvm::Triple::xcore)
Robert Lyttoncf1dd692013-10-11 10:29:40 +00002107 TC = new toolchains::XCore(*this, Target, Args);
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002108 else if (Target.isOSBinFormatELF())
Kristof Beylsfb387292014-01-10 13:44:34 +00002109 TC = new toolchains::Generic_ELF(*this, Target, Args);
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002110 else if (Target.isOSBinFormatMachO())
Tim Northover157d9112014-01-16 08:48:16 +00002111 TC = new toolchains::MachO(*this, Target, Args);
Douglas Katzman9f5e70e2015-05-26 18:01:33 +00002112 else
2113 TC = new toolchains::Generic_GCC(*this, Target, Args);
Chandler Carruth2ad5de12012-01-25 11:01:57 +00002114 break;
2115 }
2116 }
2117 return *TC;
Daniel Dunbar4dff6a42009-03-10 23:41:59 +00002118}
Daniel Dunbar8fa879d2009-03-24 18:57:02 +00002119
Rafael Espindola2f69d402013-03-18 15:33:26 +00002120bool Driver::ShouldUseClangCompiler(const JobAction &JA) const {
Nick Lewycky5cc9ebb2012-11-15 05:36:36 +00002121 // Check if user requested no clang, or clang doesn't understand this type (we
2122 // only handle single inputs for now).
2123 if (JA.size() != 1 ||
2124 !types::isAcceptedByClang((*JA.begin())->getType()))
2125 return false;
2126
2127 // Otherwise make sure this is an action clang understands.
2128 if (!isa<PreprocessJobAction>(JA) && !isa<PrecompileJobAction>(JA) &&
Bob Wilson23a55f12014-12-21 07:00:00 +00002129 !isa<CompileJobAction>(JA) && !isa<BackendJobAction>(JA))
Nick Lewycky5cc9ebb2012-11-15 05:36:36 +00002130 return false;
2131
2132 return true;
2133}
2134
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002135/// GetReleaseVersion - Parse (([0-9]+)(.([0-9]+)(.([0-9]+)?))?)? and return the
2136/// grouped values as integers. Numbers which are not provided are set to 0.
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002137///
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002138/// \return True if the entire string was parsed (9.2), or all groups were
2139/// parsed (10.3.5extrastuff).
2140bool Driver::GetReleaseVersion(const char *Str, unsigned &Major,
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002141 unsigned &Minor, unsigned &Micro,
2142 bool &HadExtra) {
2143 HadExtra = false;
2144
2145 Major = Minor = Micro = 0;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002146 if (*Str == '\0')
Bob Wilson433cb312015-04-07 01:03:35 +00002147 return false;
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002148
2149 char *End;
2150 Major = (unsigned) strtol(Str, &End, 10);
2151 if (*Str != '\0' && *End == '\0')
2152 return true;
2153 if (*End != '.')
2154 return false;
Daniel Dunbarf26a7ab2009-09-08 23:36:43 +00002155
Daniel Dunbarc7fd57a2009-03-26 15:58:36 +00002156 Str = End+1;
2157 Minor = (unsigned) strtol(Str, &End, 10);
2158 if (*Str != '\0' && *End == '\0')
2159 return true;
2160 if (*End != '.')
2161 return false;
2162
2163 Str = End+1;
2164 Micro = (unsigned) strtol(Str, &End, 10);
2165 if (*Str != '\0' && *End == '\0')
2166 return true;
2167 if (Str == End)
2168 return false;
2169 HadExtra = true;
2170 return true;
2171}
Hans Wennborg6ddc6902013-07-27 00:23:45 +00002172
2173std::pair<unsigned, unsigned> Driver::getIncludeExcludeOptionFlagMasks() const {
2174 unsigned IncludedFlagsBitmask = 0;
Rafael Espindolacc707bc2013-09-25 15:54:41 +00002175 unsigned ExcludedFlagsBitmask = options::NoDriverOption;
Hans Wennborg6ddc6902013-07-27 00:23:45 +00002176
2177 if (Mode == CLMode) {
Hans Wennborg19076102013-07-31 20:51:53 +00002178 // Include CL and Core options.
2179 IncludedFlagsBitmask |= options::CLOption;
2180 IncludedFlagsBitmask |= options::CoreOption;
Hans Wennborg6ddc6902013-07-27 00:23:45 +00002181 } else {
2182 ExcludedFlagsBitmask |= options::CLOption;
2183 }
2184
2185 return std::make_pair(IncludedFlagsBitmask, ExcludedFlagsBitmask);
2186}
Benjamin Kramerab88f622014-03-25 18:02:07 +00002187
Douglas Katzmanf08fadf2015-06-04 14:40:44 +00002188bool clang::driver::isOptimizationLevelFast(const ArgList &Args) {
Benjamin Kramerab88f622014-03-25 18:02:07 +00002189 return Args.hasFlag(options::OPT_Ofast, options::OPT_O_Group, false);
2190}