blob: 24f462f18fc4867d4758ed5cd7e053b9ce8facfb [file] [log] [blame]
Daniel Dunbar3ede8d02009-03-02 19:59:07 +00001//===--- Driver.cpp - Clang GCC Compatible Driver -----------------------*-===//
2//
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 Dunbar3ede8d02009-03-02 19:59:07 +000010#include "clang/Driver/Driver.h"
Daniel Dunbar3ede8d02009-03-02 19:59:07 +000011
Daniel Dunbar53ec5522009-03-12 07:58:46 +000012#include "clang/Driver/Action.h"
Daniel Dunbar1b3bb6e2009-03-04 20:49:20 +000013#include "clang/Driver/Arg.h"
14#include "clang/Driver/ArgList.h"
15#include "clang/Driver/Compilation.h"
Daniel Dunbar4ad4b3e2009-03-12 08:55:43 +000016#include "clang/Driver/DriverDiagnostic.h"
Daniel Dunbardd98e2c2009-03-10 23:41:59 +000017#include "clang/Driver/HostInfo.h"
Daniel Dunbarf353c8c2009-03-16 06:56:51 +000018#include "clang/Driver/Job.h"
Daniel Dunbar06482622009-03-05 06:38:47 +000019#include "clang/Driver/Option.h"
Daniel Dunbar1b3bb6e2009-03-04 20:49:20 +000020#include "clang/Driver/Options.h"
Daniel Dunbarf353c8c2009-03-16 06:56:51 +000021#include "clang/Driver/Tool.h"
22#include "clang/Driver/ToolChain.h"
Daniel Dunbar53ec5522009-03-12 07:58:46 +000023#include "clang/Driver/Types.h"
Daniel Dunbar06482622009-03-05 06:38:47 +000024
Douglas Gregorab41e632009-04-27 22:23:34 +000025#include "clang/Basic/Version.h"
26
Daniel Dunbar13689542009-03-13 20:33:35 +000027#include "llvm/ADT/StringSet.h"
Daniel Dunbar8f25c792009-03-18 01:38:48 +000028#include "llvm/Support/PrettyStackTrace.h"
Daniel Dunbar06482622009-03-05 06:38:47 +000029#include "llvm/Support/raw_ostream.h"
Daniel Dunbar53ec5522009-03-12 07:58:46 +000030#include "llvm/System/Path.h"
Daniel Dunbar632f50e2009-03-18 21:34:08 +000031#include "llvm/System/Program.h"
Daniel Dunbarba102132009-03-13 12:19:02 +000032
Daniel Dunbarf353c8c2009-03-16 06:56:51 +000033#include "InputInfo.h"
34
Daniel Dunbarba102132009-03-13 12:19:02 +000035#include <map>
36
Daniel Dunbar1b3bb6e2009-03-04 20:49:20 +000037using namespace clang::driver;
Chris Lattner92b36992009-03-26 05:56:24 +000038using namespace clang;
Daniel Dunbar1b3bb6e2009-03-04 20:49:20 +000039
Daniel Dunbar4a124082009-08-23 18:42:54 +000040// Used to set values for "production" clang, for releases.
Daniel Dunbar8bde5052009-08-23 19:41:53 +000041// #define USE_PRODUCTION_CLANG
Daniel Dunbar4a124082009-08-23 18:42:54 +000042
Daniel Dunbardd98e2c2009-03-10 23:41:59 +000043Driver::Driver(const char *_Name, const char *_Dir,
Daniel Dunbar4ad4b3e2009-03-12 08:55:43 +000044 const char *_DefaultHostTriple,
Daniel Dunbarf353c8c2009-03-16 06:56:51 +000045 const char *_DefaultImageName,
Daniel Dunbara8231832009-09-08 23:36:43 +000046 Diagnostic &_Diags)
47 : Opts(new OptTable()), Diags(_Diags),
Daniel Dunbardd98e2c2009-03-10 23:41:59 +000048 Name(_Name), Dir(_Dir), DefaultHostTriple(_DefaultHostTriple),
Daniel Dunbarf353c8c2009-03-16 06:56:51 +000049 DefaultImageName(_DefaultImageName),
Daniel Dunbardd98e2c2009-03-10 23:41:59 +000050 Host(0),
Daniel Dunbar5c3c1d72009-03-17 22:47:06 +000051 CCCIsCXX(false), CCCEcho(false), CCCPrintBindings(false),
Daniel Dunbar4a124082009-08-23 18:42:54 +000052 CCCGenericGCCName("gcc"), CCCUseClang(true),
53#ifdef USE_PRODUCTION_CLANG
Daniel Dunbara8231832009-09-08 23:36:43 +000054 CCCUseClangCXX(false),
Daniel Dunbar4a124082009-08-23 18:42:54 +000055#else
Daniel Dunbara8231832009-09-08 23:36:43 +000056 CCCUseClangCXX(true),
Daniel Dunbar4a124082009-08-23 18:42:54 +000057#endif
Douglas Gregor214e8722009-04-28 22:44:02 +000058 CCCUseClangCPP(true), CCCUsePCH(true),
Mike Stump1eb44332009-09-09 15:08:12 +000059 SuppressMissingInputWarning(false) {
Daniel Dunbar4a124082009-08-23 18:42:54 +000060#ifdef USE_PRODUCTION_CLANG
Daniel Dunbara8231832009-09-08 23:36:43 +000061 // In a "production" build, only use clang on architectures we expect to work.
Daniel Dunbara6046be2009-09-08 23:36:55 +000062 CCCClangArchs.insert(llvm::Triple::x86);
63 CCCClangArchs.insert(llvm::Triple::x86_64);
64 CCCClangArchs.insert(llvm::Triple::arm);
Daniel Dunbar4a124082009-08-23 18:42:54 +000065#endif
Daniel Dunbar3ede8d02009-03-02 19:59:07 +000066}
67
68Driver::~Driver() {
Daniel Dunbar1b3bb6e2009-03-04 20:49:20 +000069 delete Opts;
Daniel Dunbar7e4534d2009-03-18 01:09:40 +000070 delete Host;
Daniel Dunbar3ede8d02009-03-02 19:59:07 +000071}
72
Daniel Dunbara8231832009-09-08 23:36:43 +000073InputArgList *Driver::ParseArgStrings(const char **ArgBegin,
Daniel Dunbarf3cad362009-03-25 04:13:45 +000074 const char **ArgEnd) {
Daniel Dunbar8f25c792009-03-18 01:38:48 +000075 llvm::PrettyStackTraceString CrashInfo("Command line argument parsing");
Daniel Dunbarf3cad362009-03-25 04:13:45 +000076 InputArgList *Args = new InputArgList(ArgBegin, ArgEnd);
Daniel Dunbara8231832009-09-08 23:36:43 +000077
Daniel Dunbarad2a9af2009-03-13 11:38:42 +000078 // FIXME: Handle '@' args (or at least error on them).
79
Daniel Dunbar06482622009-03-05 06:38:47 +000080 unsigned Index = 0, End = ArgEnd - ArgBegin;
81 while (Index < End) {
Daniel Dunbara8231832009-09-08 23:36:43 +000082 // gcc's handling of empty arguments doesn't make sense, but this is not a
83 // common use case. :)
Daniel Dunbar41393402009-03-13 01:01:44 +000084 //
Daniel Dunbara8231832009-09-08 23:36:43 +000085 // We just ignore them here (note that other things may still take them as
86 // arguments).
Daniel Dunbar41393402009-03-13 01:01:44 +000087 if (Args->getArgString(Index)[0] == '\0') {
88 ++Index;
89 continue;
90 }
91
Daniel Dunbar06482622009-03-05 06:38:47 +000092 unsigned Prev = Index;
Daniel Dunbarb0c4df52009-03-22 23:26:43 +000093 Arg *A = getOpts().ParseOneArg(*Args, Index);
94 assert(Index > Prev && "Parser failed to consume argument.");
Daniel Dunbar53ec5522009-03-12 07:58:46 +000095
Daniel Dunbarb0c4df52009-03-22 23:26:43 +000096 // Check for missing argument error.
97 if (!A) {
98 assert(Index >= End && "Unexpected parser error.");
99 Diag(clang::diag::err_drv_missing_argument)
100 << Args->getArgString(Prev)
101 << (Index - Prev - 1);
102 break;
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000103 }
Daniel Dunbar06482622009-03-05 06:38:47 +0000104
Daniel Dunbarb0c4df52009-03-22 23:26:43 +0000105 if (A->getOption().isUnsupported()) {
106 Diag(clang::diag::err_drv_unsupported_opt) << A->getAsString(*Args);
107 continue;
108 }
109 Args->append(A);
Daniel Dunbar06482622009-03-05 06:38:47 +0000110 }
111
112 return Args;
113}
114
Daniel Dunbar3ede8d02009-03-02 19:59:07 +0000115Compilation *Driver::BuildCompilation(int argc, const char **argv) {
Daniel Dunbar8f25c792009-03-18 01:38:48 +0000116 llvm::PrettyStackTraceString CrashInfo("Compilation construction");
117
Daniel Dunbara8231832009-09-08 23:36:43 +0000118 // FIXME: Handle environment options which effect driver behavior, somewhere
119 // (client?). GCC_EXEC_PREFIX, COMPILER_PATH, LIBRARY_PATH, LPATH,
120 // CC_PRINT_OPTIONS.
Daniel Dunbarcb881672009-03-13 00:51:18 +0000121
122 // FIXME: What are we going to do with -V and -b?
123
Daniel Dunbara8231832009-09-08 23:36:43 +0000124 // FIXME: This stuff needs to go into the Compilation, not the driver.
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000125 bool CCCPrintOptions = false, CCCPrintActions = false;
Daniel Dunbar06482622009-03-05 06:38:47 +0000126
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000127 const char **Start = argv + 1, **End = argv + argc;
Daniel Dunbardd98e2c2009-03-10 23:41:59 +0000128 const char *HostTriple = DefaultHostTriple.c_str();
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000129
Daniel Dunbara8231832009-09-08 23:36:43 +0000130 // Read -ccc args.
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000131 //
Daniel Dunbara8231832009-09-08 23:36:43 +0000132 // FIXME: We need to figure out where this behavior should live. Most of it
133 // should be outside in the client; the parts that aren't should have proper
134 // options, either by introducing new ones or by overloading gcc ones like -V
135 // or -b.
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000136 for (; Start != End && memcmp(*Start, "-ccc-", 5) == 0; ++Start) {
137 const char *Opt = *Start + 5;
Daniel Dunbara8231832009-09-08 23:36:43 +0000138
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000139 if (!strcmp(Opt, "print-options")) {
140 CCCPrintOptions = true;
141 } else if (!strcmp(Opt, "print-phases")) {
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000142 CCCPrintActions = true;
Daniel Dunbar5c3c1d72009-03-17 22:47:06 +0000143 } else if (!strcmp(Opt, "print-bindings")) {
144 CCCPrintBindings = true;
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000145 } else if (!strcmp(Opt, "cxx")) {
146 CCCIsCXX = true;
147 } else if (!strcmp(Opt, "echo")) {
148 CCCEcho = true;
Daniel Dunbara8231832009-09-08 23:36:43 +0000149
Daniel Dunbar78d8a082009-04-01 23:34:41 +0000150 } else if (!strcmp(Opt, "gcc-name")) {
151 assert(Start+1 < End && "FIXME: -ccc- argument handling.");
152 CCCGenericGCCName = *++Start;
153
Daniel Dunbar0f99d2e2009-03-24 19:02:31 +0000154 } else if (!strcmp(Opt, "clang-cxx")) {
155 CCCUseClangCXX = true;
Daniel Dunbardfaf4b32009-07-23 17:48:59 +0000156 } else if (!strcmp(Opt, "no-clang-cxx")) {
157 CCCUseClangCXX = false;
Douglas Gregordf91ef32009-04-18 00:34:01 +0000158 } else if (!strcmp(Opt, "pch-is-pch")) {
159 CCCUsePCH = true;
160 } else if (!strcmp(Opt, "pch-is-pth")) {
161 CCCUsePCH = false;
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000162 } else if (!strcmp(Opt, "no-clang")) {
Daniel Dunbar0f99d2e2009-03-24 19:02:31 +0000163 CCCUseClang = false;
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000164 } else if (!strcmp(Opt, "no-clang-cpp")) {
Daniel Dunbar0f99d2e2009-03-24 19:02:31 +0000165 CCCUseClangCPP = false;
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000166 } else if (!strcmp(Opt, "clang-archs")) {
167 assert(Start+1 < End && "FIXME: -ccc- argument handling.");
Daniel Dunbara6046be2009-09-08 23:36:55 +0000168 llvm::StringRef Cur = *++Start;
Daniel Dunbara8231832009-09-08 23:36:43 +0000169
Daniel Dunbar0f99d2e2009-03-24 19:02:31 +0000170 CCCClangArchs.clear();
Daniel Dunbara6046be2009-09-08 23:36:55 +0000171 while (!Cur.empty()) {
172 std::pair<llvm::StringRef, llvm::StringRef> Split = Cur.split(',');
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000173
Daniel Dunbara6046be2009-09-08 23:36:55 +0000174 if (!Split.first.empty()) {
175 llvm::Triple::ArchType Arch =
176 llvm::Triple(Split.first, "", "").getArch();
177
178 if (Arch == llvm::Triple::UnknownArch) {
179 // FIXME: Error handling.
180 llvm::errs() << "invalid arch name: " << Split.first << "\n";
181 exit(1);
182 }
183
184 CCCClangArchs.insert(Arch);
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000185 }
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000186
Daniel Dunbara6046be2009-09-08 23:36:55 +0000187 Cur = Split.second;
188 }
Daniel Dunbardd98e2c2009-03-10 23:41:59 +0000189 } else if (!strcmp(Opt, "host-triple")) {
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000190 assert(Start+1 < End && "FIXME: -ccc- argument handling.");
Daniel Dunbardd98e2c2009-03-10 23:41:59 +0000191 HostTriple = *++Start;
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000192
Daniel Dunbarda641412009-09-04 18:35:03 +0000193 } else if (!strcmp(Opt, "install-dir")) {
194 assert(Start+1 < End && "FIXME: -ccc- argument handling.");
195 Dir = *++Start;
196
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000197 } else {
198 // FIXME: Error handling.
199 llvm::errs() << "invalid option: " << *Start << "\n";
200 exit(1);
201 }
202 }
Daniel Dunbardd98e2c2009-03-10 23:41:59 +0000203
Daniel Dunbarf3cad362009-03-25 04:13:45 +0000204 InputArgList *Args = ParseArgStrings(Start, End);
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000205
Daniel Dunbare5049522009-03-17 20:45:45 +0000206 Host = GetHostInfo(HostTriple);
Daniel Dunbarcb881672009-03-13 00:51:18 +0000207
Daniel Dunbar586dc232009-03-16 06:42:30 +0000208 // The compilation takes ownership of Args.
Daniel Dunbard7502d02009-09-08 23:37:19 +0000209 Compilation *C = new Compilation(*this, *Host->CreateToolChain(*Args), Args);
Daniel Dunbar21549232009-03-18 02:55:38 +0000210
211 // FIXME: This behavior shouldn't be here.
212 if (CCCPrintOptions) {
213 PrintOptions(C->getArgs());
214 return C;
215 }
216
217 if (!HandleImmediateArgs(*C))
218 return C;
219
Daniel Dunbara8231832009-09-08 23:36:43 +0000220 // Construct the list of abstract actions to perform for this compilation. We
221 // avoid passing a Compilation here simply to enforce the abstraction that
222 // pipelining is not host or toolchain dependent (other than the driver driver
223 // test).
Daniel Dunbar21549232009-03-18 02:55:38 +0000224 if (Host->useDriverDriver())
225 BuildUniversalActions(C->getArgs(), C->getActions());
226 else
227 BuildActions(C->getArgs(), C->getActions());
228
229 if (CCCPrintActions) {
Daniel Dunbar10ffa9a2009-03-18 03:13:20 +0000230 PrintActions(*C);
Daniel Dunbar21549232009-03-18 02:55:38 +0000231 return C;
232 }
233
234 BuildJobs(*C);
Daniel Dunbar8d2554a2009-03-15 01:38:15 +0000235
236 return C;
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000237}
238
Daniel Dunbarc88a88f2009-07-01 20:03:04 +0000239int Driver::ExecuteCompilation(const Compilation &C) const {
240 // Just print if -### was present.
241 if (C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
242 C.PrintJob(llvm::errs(), C.getJobs(), "\n", true);
243 return 0;
244 }
245
246 // If there were errors building the compilation, quit now.
247 if (getDiags().getNumErrors())
248 return 1;
249
250 const Command *FailingCommand = 0;
251 int Res = C.ExecuteJob(C.getJobs(), FailingCommand);
Daniel Dunbara8231832009-09-08 23:36:43 +0000252
Daniel Dunbarc88a88f2009-07-01 20:03:04 +0000253 // Remove temp files.
254 C.CleanupFileList(C.getTempFiles());
255
256 // If the compilation failed, remove result files as well.
257 if (Res != 0 && !C.getArgs().hasArg(options::OPT_save_temps))
258 C.CleanupFileList(C.getResultFiles(), true);
259
260 // Print extra information about abnormal failures, if possible.
261 if (Res) {
262 // This is ad-hoc, but we don't want to be excessively noisy. If the result
263 // status was 1, assume the command failed normally. In particular, if it
264 // was the compiler then assume it gave a reasonable error code. Failures in
265 // other tools are less common, and they generally have worse diagnostics,
266 // so always print the diagnostic there.
267 const Action &Source = FailingCommand->getSource();
268 bool IsFriendlyTool = (isa<PreprocessJobAction>(Source) ||
269 isa<PrecompileJobAction>(Source) ||
270 isa<AnalyzeJobAction>(Source) ||
271 isa<CompileJobAction>(Source));
272
273 if (!IsFriendlyTool || Res != 1) {
274 // FIXME: See FIXME above regarding result code interpretation.
275 if (Res < 0)
Daniel Dunbara8231832009-09-08 23:36:43 +0000276 Diag(clang::diag::err_drv_command_signalled)
Daniel Dunbarc88a88f2009-07-01 20:03:04 +0000277 << Source.getClassName() << -Res;
278 else
Daniel Dunbara8231832009-09-08 23:36:43 +0000279 Diag(clang::diag::err_drv_command_failed)
Daniel Dunbarc88a88f2009-07-01 20:03:04 +0000280 << Source.getClassName() << Res;
281 }
282 }
283
284 return Res;
285}
286
Daniel Dunbard65bddc2009-03-12 18:24:49 +0000287void Driver::PrintOptions(const ArgList &Args) const {
Daniel Dunbar06482622009-03-05 06:38:47 +0000288 unsigned i = 0;
Daniel Dunbara8231832009-09-08 23:36:43 +0000289 for (ArgList::const_iterator it = Args.begin(), ie = Args.end();
Daniel Dunbar06482622009-03-05 06:38:47 +0000290 it != ie; ++it, ++i) {
291 Arg *A = *it;
292 llvm::errs() << "Option " << i << " - "
293 << "Name: \"" << A->getOption().getName() << "\", "
294 << "Values: {";
295 for (unsigned j = 0; j < A->getNumValues(); ++j) {
296 if (j)
297 llvm::errs() << ", ";
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000298 llvm::errs() << '"' << A->getValue(Args, j) << '"';
Daniel Dunbar06482622009-03-05 06:38:47 +0000299 }
300 llvm::errs() << "}\n";
Daniel Dunbar06482622009-03-05 06:38:47 +0000301 }
Daniel Dunbar3ede8d02009-03-02 19:59:07 +0000302}
Daniel Dunbardd98e2c2009-03-10 23:41:59 +0000303
Daniel Dunbar91e28af2009-03-31 21:38:17 +0000304static std::string getOptionHelpName(const OptTable &Opts, options::ID Id) {
305 std::string Name = Opts.getOptionName(Id);
Daniel Dunbara8231832009-09-08 23:36:43 +0000306
Daniel Dunbar91e28af2009-03-31 21:38:17 +0000307 // Add metavar, if used.
308 switch (Opts.getOptionKind(Id)) {
Daniel Dunbara8231832009-09-08 23:36:43 +0000309 case Option::GroupClass: case Option::InputClass: case Option::UnknownClass:
Daniel Dunbar91e28af2009-03-31 21:38:17 +0000310 assert(0 && "Invalid option with help text.");
311
312 case Option::MultiArgClass: case Option::JoinedAndSeparateClass:
313 assert(0 && "Cannot print metavar for this kind of option.");
314
315 case Option::FlagClass:
316 break;
317
318 case Option::SeparateClass: case Option::JoinedOrSeparateClass:
319 Name += ' ';
320 // FALLTHROUGH
321 case Option::JoinedClass: case Option::CommaJoinedClass:
322 Name += Opts.getOptionMetaVar(Id);
323 break;
324 }
325
326 return Name;
327}
328
Daniel Dunbarc35d71f2009-04-15 16:34:29 +0000329void Driver::PrintHelp(bool ShowHidden) const {
Daniel Dunbar91e28af2009-03-31 21:38:17 +0000330 llvm::raw_ostream &OS = llvm::outs();
331
332 OS << "OVERVIEW: clang \"gcc-compatible\" driver\n";
333 OS << '\n';
334 OS << "USAGE: " << Name << " [options] <input files>\n";
335 OS << '\n';
336 OS << "OPTIONS:\n";
337
338 // Render help text into (option, help) pairs.
339 std::vector< std::pair<std::string, const char*> > OptionHelp;
340
341 for (unsigned i = options::OPT_INPUT, e = options::LastOption; i != e; ++i) {
342 options::ID Id = (options::ID) i;
343 if (const char *Text = getOpts().getOptionHelpText(Id))
344 OptionHelp.push_back(std::make_pair(getOptionHelpName(getOpts(), Id),
345 Text));
346 }
347
Daniel Dunbarc35d71f2009-04-15 16:34:29 +0000348 if (ShowHidden) {
349 OptionHelp.push_back(std::make_pair("\nDRIVER OPTIONS:",""));
350 OptionHelp.push_back(std::make_pair("-ccc-cxx",
351 "Act as a C++ driver"));
352 OptionHelp.push_back(std::make_pair("-ccc-gcc-name",
353 "Name for native GCC compiler"));
354 OptionHelp.push_back(std::make_pair("-ccc-clang-cxx",
Daniel Dunbar5915fbf2009-09-01 16:57:46 +0000355 "Enable the clang compiler for C++"));
356 OptionHelp.push_back(std::make_pair("-ccc-no-clang-cxx",
357 "Disable the clang compiler for C++"));
Daniel Dunbarc35d71f2009-04-15 16:34:29 +0000358 OptionHelp.push_back(std::make_pair("-ccc-no-clang",
Daniel Dunbar5915fbf2009-09-01 16:57:46 +0000359 "Disable the clang compiler"));
Daniel Dunbarc35d71f2009-04-15 16:34:29 +0000360 OptionHelp.push_back(std::make_pair("-ccc-no-clang-cpp",
Daniel Dunbar5915fbf2009-09-01 16:57:46 +0000361 "Disable the clang preprocessor"));
Daniel Dunbarc35d71f2009-04-15 16:34:29 +0000362 OptionHelp.push_back(std::make_pair("-ccc-clang-archs",
363 "Comma separate list of architectures "
364 "to use the clang compiler for"));
Douglas Gregordf91ef32009-04-18 00:34:01 +0000365 OptionHelp.push_back(std::make_pair("-ccc-pch-is-pch",
366 "Use lazy PCH for precompiled headers"));
367 OptionHelp.push_back(std::make_pair("-ccc-pch-is-pth",
368 "Use pretokenized headers for precompiled headers"));
Daniel Dunbarc35d71f2009-04-15 16:34:29 +0000369
370 OptionHelp.push_back(std::make_pair("\nDEBUG/DEVELOPMENT OPTIONS:",""));
371 OptionHelp.push_back(std::make_pair("-ccc-host-triple",
Daniel Dunbarda641412009-09-04 18:35:03 +0000372 "Simulate running on the given target"));
373 OptionHelp.push_back(std::make_pair("-ccc-install-dir",
374 "Simulate installation in the given directory"));
Daniel Dunbarc35d71f2009-04-15 16:34:29 +0000375 OptionHelp.push_back(std::make_pair("-ccc-print-options",
376 "Dump parsed command line arguments"));
377 OptionHelp.push_back(std::make_pair("-ccc-print-phases",
378 "Dump list of actions to perform"));
379 OptionHelp.push_back(std::make_pair("-ccc-print-bindings",
380 "Show bindings of tools to actions"));
381 OptionHelp.push_back(std::make_pair("CCC_ADD_ARGS",
382 "(ENVIRONMENT VARIABLE) Comma separated list of "
383 "arguments to prepend to the command line"));
384 }
385
Daniel Dunbara8231832009-09-08 23:36:43 +0000386 // Find the maximum option length.
Daniel Dunbar91e28af2009-03-31 21:38:17 +0000387 unsigned OptionFieldWidth = 0;
388 for (unsigned i = 0, e = OptionHelp.size(); i != e; ++i) {
Daniel Dunbarc35d71f2009-04-15 16:34:29 +0000389 // Skip titles.
390 if (!OptionHelp[i].second)
391 continue;
392
Daniel Dunbara8231832009-09-08 23:36:43 +0000393 // Limit the amount of padding we are willing to give up for alignment.
Daniel Dunbar91e28af2009-03-31 21:38:17 +0000394 unsigned Length = OptionHelp[i].first.size();
395 if (Length <= 23)
396 OptionFieldWidth = std::max(OptionFieldWidth, Length);
397 }
398
399 for (unsigned i = 0, e = OptionHelp.size(); i != e; ++i) {
400 const std::string &Option = OptionHelp[i].first;
401 OS << " " << Option;
402 for (int j = Option.length(), e = OptionFieldWidth; j < e; ++j)
403 OS << ' ';
404 OS << ' ' << OptionHelp[i].second << '\n';
405 }
406
407 OS.flush();
408}
409
Daniel Dunbar79300722009-07-21 20:06:58 +0000410void Driver::PrintVersion(const Compilation &C, llvm::raw_ostream &OS) const {
Mike Stump5d023c32009-03-18 14:00:02 +0000411 static char buf[] = "$URL$";
412 char *zap = strstr(buf, "/lib/Driver");
413 if (zap)
414 *zap = 0;
415 zap = strstr(buf, "/clang/tools/clang");
416 if (zap)
417 *zap = 0;
Mike Stumpe70295b2009-03-18 15:19:35 +0000418 const char *vers = buf+6;
Mike Stump8944c382009-03-18 18:45:55 +0000419 // FIXME: Add cmake support and remove #ifdef
420#ifdef SVN_REVISION
421 const char *revision = SVN_REVISION;
422#else
423 const char *revision = "";
424#endif
Daniel Dunbara8231832009-09-08 23:36:43 +0000425 // FIXME: The following handlers should use a callback mechanism, we don't
426 // know what the client would like to do.
427 OS << "clang version " CLANG_VERSION_STRING " ("
428 << vers << " " << revision << ")" << '\n';
Daniel Dunbar70c8db12009-03-26 16:09:13 +0000429
430 const ToolChain &TC = C.getDefaultToolChain();
Daniel Dunbar79300722009-07-21 20:06:58 +0000431 OS << "Target: " << TC.getTripleString() << '\n';
Daniel Dunbar3ee96ba2009-06-16 23:32:58 +0000432
433 // Print the threading model.
434 //
435 // FIXME: Implement correctly.
Daniel Dunbar79300722009-07-21 20:06:58 +0000436 OS << "Thread model: " << "posix" << '\n';
Daniel Dunbarcb881672009-03-13 00:51:18 +0000437}
438
Daniel Dunbar21549232009-03-18 02:55:38 +0000439bool Driver::HandleImmediateArgs(const Compilation &C) {
Daniel Dunbara8231832009-09-08 23:36:43 +0000440 // The order these options are handled in in gcc is all over the place, but we
441 // don't expect inconsistencies w.r.t. that to matter in practice.
Daniel Dunbar91e28af2009-03-31 21:38:17 +0000442
Daniel Dunbare06dc212009-04-04 05:17:38 +0000443 if (C.getArgs().hasArg(options::OPT_dumpversion)) {
Douglas Gregorab41e632009-04-27 22:23:34 +0000444 llvm::outs() << CLANG_VERSION_STRING "\n";
Daniel Dunbare06dc212009-04-04 05:17:38 +0000445 return false;
446 }
447
Daniel Dunbara8231832009-09-08 23:36:43 +0000448 if (C.getArgs().hasArg(options::OPT__help) ||
Daniel Dunbarc35d71f2009-04-15 16:34:29 +0000449 C.getArgs().hasArg(options::OPT__help_hidden)) {
450 PrintHelp(C.getArgs().hasArg(options::OPT__help_hidden));
Daniel Dunbar91e28af2009-03-31 21:38:17 +0000451 return false;
452 }
453
Daniel Dunbar6cc73de2009-04-02 15:05:41 +0000454 if (C.getArgs().hasArg(options::OPT__version)) {
Daniel Dunbara8231832009-09-08 23:36:43 +0000455 // Follow gcc behavior and use stdout for --version and stderr for -v.
Daniel Dunbar79300722009-07-21 20:06:58 +0000456 PrintVersion(C, llvm::outs());
Daniel Dunbar6cc73de2009-04-02 15:05:41 +0000457 return false;
458 }
459
Daniel Dunbara8231832009-09-08 23:36:43 +0000460 if (C.getArgs().hasArg(options::OPT_v) ||
Daniel Dunbar21549232009-03-18 02:55:38 +0000461 C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
Daniel Dunbar79300722009-07-21 20:06:58 +0000462 PrintVersion(C, llvm::errs());
Daniel Dunbarcb881672009-03-13 00:51:18 +0000463 SuppressMissingInputWarning = true;
464 }
465
Daniel Dunbar21549232009-03-18 02:55:38 +0000466 const ToolChain &TC = C.getDefaultToolChain();
Daniel Dunbarca3459e2009-03-20 04:37:21 +0000467 if (C.getArgs().hasArg(options::OPT_print_search_dirs)) {
468 llvm::outs() << "programs: =";
469 for (ToolChain::path_list::const_iterator it = TC.getProgramPaths().begin(),
470 ie = TC.getProgramPaths().end(); it != ie; ++it) {
471 if (it != TC.getProgramPaths().begin())
472 llvm::outs() << ':';
473 llvm::outs() << *it;
474 }
475 llvm::outs() << "\n";
476 llvm::outs() << "libraries: =";
Daniel Dunbara8231832009-09-08 23:36:43 +0000477 for (ToolChain::path_list::const_iterator it = TC.getFilePaths().begin(),
Daniel Dunbarca3459e2009-03-20 04:37:21 +0000478 ie = TC.getFilePaths().end(); it != ie; ++it) {
479 if (it != TC.getFilePaths().begin())
480 llvm::outs() << ':';
481 llvm::outs() << *it;
482 }
483 llvm::outs() << "\n";
Daniel Dunbar91e28af2009-03-31 21:38:17 +0000484 return false;
Daniel Dunbarca3459e2009-03-20 04:37:21 +0000485 }
486
Daniel Dunbara8231832009-09-08 23:36:43 +0000487 // FIXME: The following handlers should use a callback mechanism, we don't
488 // know what the client would like to do.
Daniel Dunbar21549232009-03-18 02:55:38 +0000489 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_file_name_EQ)) {
Daniel Dunbara8231832009-09-08 23:36:43 +0000490 llvm::outs() << GetFilePath(A->getValue(C.getArgs()), TC).str()
Daniel Dunbar21549232009-03-18 02:55:38 +0000491 << "\n";
Daniel Dunbarcb881672009-03-13 00:51:18 +0000492 return false;
493 }
494
Daniel Dunbar21549232009-03-18 02:55:38 +0000495 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_prog_name_EQ)) {
Daniel Dunbara8231832009-09-08 23:36:43 +0000496 llvm::outs() << GetProgramPath(A->getValue(C.getArgs()), TC).str()
Daniel Dunbar21549232009-03-18 02:55:38 +0000497 << "\n";
Daniel Dunbarcb881672009-03-13 00:51:18 +0000498 return false;
499 }
500
Daniel Dunbar21549232009-03-18 02:55:38 +0000501 if (C.getArgs().hasArg(options::OPT_print_libgcc_file_name)) {
Chris Lattnerd57a7ef2009-08-23 22:45:33 +0000502 llvm::outs() << GetFilePath("libgcc.a", TC).str() << "\n";
Daniel Dunbarcb881672009-03-13 00:51:18 +0000503 return false;
504 }
505
Daniel Dunbar12cfe032009-06-16 23:25:22 +0000506 if (C.getArgs().hasArg(options::OPT_print_multi_lib)) {
507 // FIXME: We need tool chain support for this.
508 llvm::outs() << ".;\n";
509
510 switch (C.getDefaultToolChain().getTriple().getArch()) {
511 default:
512 break;
Daniel Dunbara8231832009-09-08 23:36:43 +0000513
Daniel Dunbar12cfe032009-06-16 23:25:22 +0000514 case llvm::Triple::x86_64:
515 llvm::outs() << "x86_64;@m64" << "\n";
516 break;
517
518 case llvm::Triple::ppc64:
519 llvm::outs() << "ppc64;@m64" << "\n";
520 break;
521 }
522 return false;
523 }
524
525 // FIXME: What is the difference between print-multi-directory and
526 // print-multi-os-directory?
527 if (C.getArgs().hasArg(options::OPT_print_multi_directory) ||
528 C.getArgs().hasArg(options::OPT_print_multi_os_directory)) {
529 switch (C.getDefaultToolChain().getTriple().getArch()) {
530 default:
531 case llvm::Triple::x86:
532 case llvm::Triple::ppc:
533 llvm::outs() << "." << "\n";
534 break;
Daniel Dunbara8231832009-09-08 23:36:43 +0000535
Daniel Dunbar12cfe032009-06-16 23:25:22 +0000536 case llvm::Triple::x86_64:
537 llvm::outs() << "x86_64" << "\n";
538 break;
539
540 case llvm::Triple::ppc64:
541 llvm::outs() << "ppc64" << "\n";
542 break;
543 }
544 return false;
545 }
546
Daniel Dunbarcb881672009-03-13 00:51:18 +0000547 return true;
548}
549
Daniel Dunbara8231832009-09-08 23:36:43 +0000550static unsigned PrintActions1(const Compilation &C, Action *A,
Daniel Dunbarba102132009-03-13 12:19:02 +0000551 std::map<Action*, unsigned> &Ids) {
552 if (Ids.count(A))
553 return Ids[A];
Daniel Dunbara8231832009-09-08 23:36:43 +0000554
Daniel Dunbarba102132009-03-13 12:19:02 +0000555 std::string str;
556 llvm::raw_string_ostream os(str);
Daniel Dunbara8231832009-09-08 23:36:43 +0000557
Daniel Dunbarba102132009-03-13 12:19:02 +0000558 os << Action::getClassName(A->getKind()) << ", ";
Daniel Dunbara8231832009-09-08 23:36:43 +0000559 if (InputAction *IA = dyn_cast<InputAction>(A)) {
Daniel Dunbar10ffa9a2009-03-18 03:13:20 +0000560 os << "\"" << IA->getInputArg().getValue(C.getArgs()) << "\"";
Daniel Dunbarba102132009-03-13 12:19:02 +0000561 } else if (BindArchAction *BIA = dyn_cast<BindArchAction>(A)) {
Daniel Dunbara8231832009-09-08 23:36:43 +0000562 os << '"' << (BIA->getArchName() ? BIA->getArchName() :
Daniel Dunbar10ffa9a2009-03-18 03:13:20 +0000563 C.getDefaultToolChain().getArchName()) << '"'
564 << ", {" << PrintActions1(C, *BIA->begin(), Ids) << "}";
Daniel Dunbarba102132009-03-13 12:19:02 +0000565 } else {
566 os << "{";
567 for (Action::iterator it = A->begin(), ie = A->end(); it != ie;) {
Daniel Dunbar10ffa9a2009-03-18 03:13:20 +0000568 os << PrintActions1(C, *it, Ids);
Daniel Dunbarba102132009-03-13 12:19:02 +0000569 ++it;
570 if (it != ie)
571 os << ", ";
572 }
573 os << "}";
574 }
575
576 unsigned Id = Ids.size();
577 Ids[A] = Id;
Daniel Dunbara8231832009-09-08 23:36:43 +0000578 llvm::errs() << Id << ": " << os.str() << ", "
Daniel Dunbarba102132009-03-13 12:19:02 +0000579 << types::getTypeName(A->getType()) << "\n";
580
581 return Id;
582}
583
Daniel Dunbar10ffa9a2009-03-18 03:13:20 +0000584void Driver::PrintActions(const Compilation &C) const {
Daniel Dunbarba102132009-03-13 12:19:02 +0000585 std::map<Action*, unsigned> Ids;
Daniel Dunbara8231832009-09-08 23:36:43 +0000586 for (ActionList::const_iterator it = C.getActions().begin(),
Daniel Dunbar10ffa9a2009-03-18 03:13:20 +0000587 ie = C.getActions().end(); it != ie; ++it)
588 PrintActions1(C, *it, Ids);
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000589}
590
Daniel Dunbara8231832009-09-08 23:36:43 +0000591void Driver::BuildUniversalActions(const ArgList &Args,
Daniel Dunbar21549232009-03-18 02:55:38 +0000592 ActionList &Actions) const {
Daniel Dunbara8231832009-09-08 23:36:43 +0000593 llvm::PrettyStackTraceString CrashInfo("Building universal build actions");
594 // Collect the list of architectures. Duplicates are allowed, but should only
595 // be handled once (in the order seen).
Daniel Dunbar13689542009-03-13 20:33:35 +0000596 llvm::StringSet<> ArchNames;
597 llvm::SmallVector<const char *, 4> Archs;
Daniel Dunbara8231832009-09-08 23:36:43 +0000598 for (ArgList::const_iterator it = Args.begin(), ie = Args.end();
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000599 it != ie; ++it) {
600 Arg *A = *it;
601
602 if (A->getOption().getId() == options::OPT_arch) {
Daniel Dunbar36df2902009-09-08 23:37:30 +0000603 // Validate the option here; we don't save the type here because its
604 // particular spelling may participate in other driver choices.
605 llvm::Triple::ArchType Arch =
606 llvm::Triple::getArchTypeForDarwinArchName(A->getValue(Args));
607 if (Arch == llvm::Triple::UnknownArch) {
608 Diag(clang::diag::err_drv_invalid_arch_name)
609 << A->getAsString(Args);
610 continue;
611 }
612
Daniel Dunbar75877192009-03-19 07:55:12 +0000613 A->claim();
Daniel Dunbar3f30ddf2009-09-08 23:37:02 +0000614 if (ArchNames.insert(A->getValue(Args)))
615 Archs.push_back(A->getValue(Args));
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000616 }
617 }
618
Daniel Dunbara8231832009-09-08 23:36:43 +0000619 // When there is no explicit arch for this platform, make sure we still bind
620 // the architecture (to the default) so that -Xarch_ is handled correctly.
Daniel Dunbar10ffa9a2009-03-18 03:13:20 +0000621 if (!Archs.size())
622 Archs.push_back(0);
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000623
Daniel Dunbara8231832009-09-08 23:36:43 +0000624 // FIXME: We killed off some others but these aren't yet detected in a
625 // functional manner. If we added information to jobs about which "auxiliary"
626 // files they wrote then we could detect the conflict these cause downstream.
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000627 if (Archs.size() > 1) {
628 // No recovery needed, the point of this is just to prevent
629 // overwriting the same files.
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000630 if (const Arg *A = Args.getLastArg(options::OPT_save_temps))
Daniel Dunbara8231832009-09-08 23:36:43 +0000631 Diag(clang::diag::err_drv_invalid_opt_with_multiple_archs)
Daniel Dunbar38dd3d52009-03-20 06:14:23 +0000632 << A->getAsString(Args);
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000633 }
634
635 ActionList SingleActions;
636 BuildActions(Args, SingleActions);
637
Daniel Dunbara8231832009-09-08 23:36:43 +0000638 // Add in arch binding and lipo (if necessary) for every top level action.
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000639 for (unsigned i = 0, e = SingleActions.size(); i != e; ++i) {
640 Action *Act = SingleActions[i];
641
Daniel Dunbara8231832009-09-08 23:36:43 +0000642 // Make sure we can lipo this kind of output. If not (and it is an actual
643 // output) then we disallow, since we can't create an output file with the
644 // right name without overwriting it. We could remove this oddity by just
645 // changing the output names to include the arch, which would also fix
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000646 // -save-temps. Compatibility wins for now.
647
Daniel Dunbar3dbd6c52009-03-13 17:46:02 +0000648 if (Archs.size() > 1 && !types::canLipoType(Act->getType()))
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000649 Diag(clang::diag::err_drv_invalid_output_with_multiple_archs)
650 << types::getTypeName(Act->getType());
651
652 ActionList Inputs;
Daniel Dunbar75877192009-03-19 07:55:12 +0000653 for (unsigned i = 0, e = Archs.size(); i != e; ++i)
Daniel Dunbar13689542009-03-13 20:33:35 +0000654 Inputs.push_back(new BindArchAction(Act, Archs[i]));
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000655
Daniel Dunbara8231832009-09-08 23:36:43 +0000656 // Lipo if necessary, we do it this way because we need to set the arch flag
657 // so that -Xarch_ gets overwritten.
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000658 if (Inputs.size() == 1 || Act->getType() == types::TY_Nothing)
659 Actions.append(Inputs.begin(), Inputs.end());
660 else
661 Actions.push_back(new LipoJobAction(Inputs, Act->getType()));
662 }
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000663}
664
Daniel Dunbar21549232009-03-18 02:55:38 +0000665void Driver::BuildActions(const ArgList &Args, ActionList &Actions) const {
Daniel Dunbar8f25c792009-03-18 01:38:48 +0000666 llvm::PrettyStackTraceString CrashInfo("Building compilation actions");
Daniel Dunbaraf61c712009-03-12 23:55:14 +0000667 // Start by constructing the list of inputs and their types.
668
Daniel Dunbara8231832009-09-08 23:36:43 +0000669 // Track the current user specified (-x) input. We also explicitly track the
670 // argument used to set the type; we only want to claim the type when we
671 // actually use it, so we warn about unused -x arguments.
Daniel Dunbar83dd21f2009-03-13 17:57:10 +0000672 types::ID InputType = types::TY_Nothing;
673 Arg *InputTypeArg = 0;
674
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000675 llvm::SmallVector<std::pair<types::ID, const Arg*>, 16> Inputs;
Daniel Dunbara8231832009-09-08 23:36:43 +0000676 for (ArgList::const_iterator it = Args.begin(), ie = Args.end();
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000677 it != ie; ++it) {
678 Arg *A = *it;
679
680 if (isa<InputOption>(A->getOption())) {
681 const char *Value = A->getValue(Args);
682 types::ID Ty = types::TY_INVALID;
683
684 // Infer the input type if necessary.
Daniel Dunbar83dd21f2009-03-13 17:57:10 +0000685 if (InputType == types::TY_Nothing) {
686 // If there was an explicit arg for this, claim it.
687 if (InputTypeArg)
688 InputTypeArg->claim();
689
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000690 // stdin must be handled specially.
691 if (memcmp(Value, "-", 2) == 0) {
Daniel Dunbara8231832009-09-08 23:36:43 +0000692 // If running with -E, treat as a C input (this changes the builtin
693 // macros, for example). This may be overridden by -ObjC below.
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000694 //
Daniel Dunbara8231832009-09-08 23:36:43 +0000695 // Otherwise emit an error but still use a valid type to avoid
696 // spurious errors (e.g., no inputs).
Daniel Dunbar8022fd42009-03-15 00:48:16 +0000697 if (!Args.hasArg(options::OPT_E, false))
Daniel Dunbarb897f5d2009-03-12 09:13:48 +0000698 Diag(clang::diag::err_drv_unknown_stdin_type);
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000699 Ty = types::TY_C;
700 } else {
Daniel Dunbara8231832009-09-08 23:36:43 +0000701 // Otherwise lookup by extension, and fallback to ObjectType if not
702 // found. We use a host hook here because Darwin at least has its own
703 // idea of what .s is.
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000704 if (const char *Ext = strrchr(Value, '.'))
Daniel Dunbare33bea42009-03-20 23:39:23 +0000705 Ty = Host->lookupTypeForExtension(Ext + 1);
706
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000707 if (Ty == types::TY_INVALID)
708 Ty = types::TY_Object;
709 }
710
Daniel Dunbar683ca382009-05-18 21:47:54 +0000711 // -ObjC and -ObjC++ override the default language, but only for "source
712 // files". We just treat everything that isn't a linker input as a
713 // source file.
Daniel Dunbara8231832009-09-08 23:36:43 +0000714 //
Daniel Dunbar683ca382009-05-18 21:47:54 +0000715 // FIXME: Clean this up if we move the phase sequence into the type.
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000716 if (Ty != types::TY_Object) {
717 if (Args.hasArg(options::OPT_ObjC))
718 Ty = types::TY_ObjC;
719 else if (Args.hasArg(options::OPT_ObjCXX))
720 Ty = types::TY_ObjCXX;
721 }
722 } else {
723 assert(InputTypeArg && "InputType set w/o InputTypeArg");
724 InputTypeArg->claim();
725 Ty = InputType;
726 }
727
Daniel Dunbara8231832009-09-08 23:36:43 +0000728 // Check that the file exists. It isn't clear this is worth doing, since
729 // the tool presumably does this anyway, and this just adds an extra stat
730 // to the equation, but this is gcc compatible.
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000731 if (memcmp(Value, "-", 2) != 0 && !llvm::sys::Path(Value).exists())
Daniel Dunbarb897f5d2009-03-12 09:13:48 +0000732 Diag(clang::diag::err_drv_no_such_file) << A->getValue(Args);
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000733 else
734 Inputs.push_back(std::make_pair(Ty, A));
735
736 } else if (A->getOption().isLinkerInput()) {
Daniel Dunbara8231832009-09-08 23:36:43 +0000737 // Just treat as object type, we could make a special type for this if
738 // necessary.
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000739 Inputs.push_back(std::make_pair(types::TY_Object, A));
740
741 } else if (A->getOption().getId() == options::OPT_x) {
Daniel Dunbara8231832009-09-08 23:36:43 +0000742 InputTypeArg = A;
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000743 InputType = types::lookupTypeForTypeSpecifier(A->getValue(Args));
744
745 // Follow gcc behavior and treat as linker input for invalid -x
Daniel Dunbara8231832009-09-08 23:36:43 +0000746 // options. Its not clear why we shouldn't just revert to unknown; but
747 // this isn't very important, we might as well be bug comatible.
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000748 if (!InputType) {
Daniel Dunbarb897f5d2009-03-12 09:13:48 +0000749 Diag(clang::diag::err_drv_unknown_language) << A->getValue(Args);
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000750 InputType = types::TY_Object;
751 }
752 }
753 }
754
Daniel Dunbar8b1604e2009-03-13 00:17:48 +0000755 if (!SuppressMissingInputWarning && Inputs.empty()) {
Daniel Dunbaraf61c712009-03-12 23:55:14 +0000756 Diag(clang::diag::err_drv_no_input_files);
757 return;
758 }
759
Daniel Dunbara8231832009-09-08 23:36:43 +0000760 // Determine which compilation mode we are in. We look for options which
761 // affect the phase, starting with the earliest phases, and record which
762 // option we used to determine the final phase.
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000763 Arg *FinalPhaseArg = 0;
764 phases::ID FinalPhase;
Daniel Dunbaraf61c712009-03-12 23:55:14 +0000765
766 // -{E,M,MM} only run the preprocessor.
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000767 if ((FinalPhaseArg = Args.getLastArg(options::OPT_E)) ||
768 (FinalPhaseArg = Args.getLastArg(options::OPT_M)) ||
769 (FinalPhaseArg = Args.getLastArg(options::OPT_MM))) {
770 FinalPhase = phases::Preprocess;
Daniel Dunbara8231832009-09-08 23:36:43 +0000771
Daniel Dunbar5915fbf2009-09-01 16:57:46 +0000772 // -{fsyntax-only,-analyze,emit-ast,S} only run up to the compiler.
Daniel Dunbar8022fd42009-03-15 00:48:16 +0000773 } else if ((FinalPhaseArg = Args.getLastArg(options::OPT_fsyntax_only)) ||
Daniel Dunbar63be57a2009-05-06 02:12:32 +0000774 (FinalPhaseArg = Args.getLastArg(options::OPT__analyze,
775 options::OPT__analyze_auto)) ||
Daniel Dunbar5915fbf2009-09-01 16:57:46 +0000776 (FinalPhaseArg = Args.getLastArg(options::OPT_emit_ast)) ||
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000777 (FinalPhaseArg = Args.getLastArg(options::OPT_S))) {
778 FinalPhase = phases::Compile;
Daniel Dunbaraf61c712009-03-12 23:55:14 +0000779
780 // -c only runs up to the assembler.
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000781 } else if ((FinalPhaseArg = Args.getLastArg(options::OPT_c))) {
782 FinalPhase = phases::Assemble;
Daniel Dunbara8231832009-09-08 23:36:43 +0000783
Daniel Dunbaraf61c712009-03-12 23:55:14 +0000784 // Otherwise do everything.
785 } else
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000786 FinalPhase = phases::Link;
Daniel Dunbaraf61c712009-03-12 23:55:14 +0000787
Daniel Dunbara8231832009-09-08 23:36:43 +0000788 // Reject -Z* at the top level, these options should never have been exposed
789 // by gcc.
Daniel Dunbard7b88c22009-03-26 16:12:09 +0000790 if (Arg *A = Args.getLastArg(options::OPT_Z_Joined))
Daniel Dunbar38dd3d52009-03-20 06:14:23 +0000791 Diag(clang::diag::err_drv_use_of_Z_option) << A->getAsString(Args);
Daniel Dunbaraf61c712009-03-12 23:55:14 +0000792
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000793 // Construct the actions to perform.
794 ActionList LinkerInputs;
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000795 for (unsigned i = 0, e = Inputs.size(); i != e; ++i) {
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000796 types::ID InputType = Inputs[i].first;
797 const Arg *InputArg = Inputs[i].second;
798
799 unsigned NumSteps = types::getNumCompilationPhases(InputType);
800 assert(NumSteps && "Invalid number of steps!");
801
Daniel Dunbara8231832009-09-08 23:36:43 +0000802 // If the first step comes after the final phase we are doing as part of
803 // this compilation, warn the user about it.
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000804 phases::ID InitialPhase = types::getCompilationPhase(InputType, 0);
805 if (InitialPhase > FinalPhase) {
Daniel Dunbar05494a72009-03-19 07:57:08 +0000806 // Claim here to avoid the more general unused warning.
807 InputArg->claim();
Daniel Dunbara8231832009-09-08 23:36:43 +0000808 Diag(clang::diag::warn_drv_input_file_unused)
Daniel Dunbar38dd3d52009-03-20 06:14:23 +0000809 << InputArg->getAsString(Args)
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000810 << getPhaseName(InitialPhase)
811 << FinalPhaseArg->getOption().getName();
812 continue;
813 }
Daniel Dunbara8231832009-09-08 23:36:43 +0000814
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000815 // Build the pipeline for this file.
816 Action *Current = new InputAction(*InputArg, InputType);
817 for (unsigned i = 0; i != NumSteps; ++i) {
818 phases::ID Phase = types::getCompilationPhase(InputType, i);
819
820 // We are done if this step is past what the user requested.
821 if (Phase > FinalPhase)
822 break;
823
824 // Queue linker inputs.
825 if (Phase == phases::Link) {
826 assert(i + 1 == NumSteps && "linking must be final compilation step.");
827 LinkerInputs.push_back(Current);
828 Current = 0;
829 break;
830 }
831
Daniel Dunbara8231832009-09-08 23:36:43 +0000832 // Some types skip the assembler phase (e.g., llvm-bc), but we can't
833 // encode this in the steps because the intermediate type depends on
834 // arguments. Just special case here.
Daniel Dunbar337a6272009-03-24 20:17:30 +0000835 if (Phase == phases::Assemble && Current->getType() != types::TY_PP_Asm)
836 continue;
837
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000838 // Otherwise construct the appropriate action.
839 Current = ConstructPhaseAction(Args, Phase, Current);
840 if (Current->getType() == types::TY_Nothing)
841 break;
842 }
843
844 // If we ended with something, add to the output list.
845 if (Current)
846 Actions.push_back(Current);
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000847 }
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000848
849 // Add a link action if necessary.
850 if (!LinkerInputs.empty())
851 Actions.push_back(new LinkJobAction(LinkerInputs, types::TY_Image));
852}
853
854Action *Driver::ConstructPhaseAction(const ArgList &Args, phases::ID Phase,
855 Action *Input) const {
Daniel Dunbar8f25c792009-03-18 01:38:48 +0000856 llvm::PrettyStackTraceString CrashInfo("Constructing phase actions");
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000857 // Build the appropriate action.
858 switch (Phase) {
859 case phases::Link: assert(0 && "link action invalid here.");
860 case phases::Preprocess: {
Daniel Dunbarcd8e4c42009-03-30 06:36:42 +0000861 types::ID OutputTy;
862 // -{M, MM} alter the output type.
863 if (Args.hasArg(options::OPT_M) || Args.hasArg(options::OPT_MM)) {
864 OutputTy = types::TY_Dependencies;
865 } else {
866 OutputTy = types::getPreprocessedType(Input->getType());
867 assert(OutputTy != types::TY_INVALID &&
868 "Cannot preprocess this input type!");
869 }
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000870 return new PreprocessJobAction(Input, OutputTy);
871 }
872 case phases::Precompile:
Daniel Dunbara8231832009-09-08 23:36:43 +0000873 return new PrecompileJobAction(Input, types::TY_PCH);
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000874 case phases::Compile: {
875 if (Args.hasArg(options::OPT_fsyntax_only)) {
876 return new CompileJobAction(Input, types::TY_Nothing);
Daniel Dunbar63be57a2009-05-06 02:12:32 +0000877 } else if (Args.hasArg(options::OPT__analyze, options::OPT__analyze_auto)) {
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000878 return new AnalyzeJobAction(Input, types::TY_Plist);
Daniel Dunbar5915fbf2009-09-01 16:57:46 +0000879 } else if (Args.hasArg(options::OPT_emit_ast)) {
880 return new CompileJobAction(Input, types::TY_AST);
Daniel Dunbar337a6272009-03-24 20:17:30 +0000881 } else if (Args.hasArg(options::OPT_emit_llvm) ||
882 Args.hasArg(options::OPT_flto) ||
883 Args.hasArg(options::OPT_O4)) {
Daniel Dunbara8231832009-09-08 23:36:43 +0000884 types::ID Output =
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000885 Args.hasArg(options::OPT_S) ? types::TY_LLVMAsm : types::TY_LLVMBC;
886 return new CompileJobAction(Input, Output);
887 } else {
888 return new CompileJobAction(Input, types::TY_PP_Asm);
889 }
890 }
891 case phases::Assemble:
892 return new AssembleJobAction(Input, types::TY_Object);
893 }
894
895 assert(0 && "invalid phase in ConstructPhaseAction");
896 return 0;
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000897}
898
Daniel Dunbar21549232009-03-18 02:55:38 +0000899void Driver::BuildJobs(Compilation &C) const {
Daniel Dunbar8f25c792009-03-18 01:38:48 +0000900 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
Daniel Dunbarf353c8c2009-03-16 06:56:51 +0000901 bool SaveTemps = C.getArgs().hasArg(options::OPT_save_temps);
902 bool UsePipes = C.getArgs().hasArg(options::OPT_pipe);
Daniel Dunbar60ccc762009-03-18 23:18:19 +0000903
Daniel Dunbara8231832009-09-08 23:36:43 +0000904 // FIXME: Pipes are forcibly disabled until we support executing them.
Daniel Dunbar60ccc762009-03-18 23:18:19 +0000905 if (!CCCPrintBindings)
906 UsePipes = false;
Daniel Dunbara8231832009-09-08 23:36:43 +0000907
Daniel Dunbarf353c8c2009-03-16 06:56:51 +0000908 // -save-temps inhibits pipes.
909 if (SaveTemps && UsePipes) {
910 Diag(clang::diag::warn_drv_pipe_ignored_with_save_temps);
911 UsePipes = true;
912 }
913
914 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
915
Daniel Dunbara8231832009-09-08 23:36:43 +0000916 // It is an error to provide a -o option if we are making multiple output
917 // files.
Daniel Dunbarf353c8c2009-03-16 06:56:51 +0000918 if (FinalOutput) {
919 unsigned NumOutputs = 0;
Daniel Dunbara8231832009-09-08 23:36:43 +0000920 for (ActionList::const_iterator it = C.getActions().begin(),
Daniel Dunbar21549232009-03-18 02:55:38 +0000921 ie = C.getActions().end(); it != ie; ++it)
Daniel Dunbarf353c8c2009-03-16 06:56:51 +0000922 if ((*it)->getType() != types::TY_Nothing)
923 ++NumOutputs;
Daniel Dunbara8231832009-09-08 23:36:43 +0000924
Daniel Dunbarf353c8c2009-03-16 06:56:51 +0000925 if (NumOutputs > 1) {
926 Diag(clang::diag::err_drv_output_argument_with_multiple_files);
927 FinalOutput = 0;
928 }
929 }
930
Daniel Dunbara8231832009-09-08 23:36:43 +0000931 for (ActionList::const_iterator it = C.getActions().begin(),
Daniel Dunbar21549232009-03-18 02:55:38 +0000932 ie = C.getActions().end(); it != ie; ++it) {
Daniel Dunbarf353c8c2009-03-16 06:56:51 +0000933 Action *A = *it;
934
Daniel Dunbara8231832009-09-08 23:36:43 +0000935 // If we are linking an image for multiple archs then the linker wants
936 // -arch_multiple and -final_output <final image name>. Unfortunately, this
937 // doesn't fit in cleanly because we have to pass this information down.
Daniel Dunbarf353c8c2009-03-16 06:56:51 +0000938 //
Daniel Dunbara8231832009-09-08 23:36:43 +0000939 // FIXME: This is a hack; find a cleaner way to integrate this into the
940 // process.
Daniel Dunbarf353c8c2009-03-16 06:56:51 +0000941 const char *LinkingOutput = 0;
Daniel Dunbard7b88c22009-03-26 16:12:09 +0000942 if (isa<LipoJobAction>(A)) {
Daniel Dunbarf353c8c2009-03-16 06:56:51 +0000943 if (FinalOutput)
944 LinkingOutput = FinalOutput->getValue(C.getArgs());
945 else
946 LinkingOutput = DefaultImageName.c_str();
947 }
948
949 InputInfo II;
Daniel Dunbara8231832009-09-08 23:36:43 +0000950 BuildJobsForAction(C, A, &C.getDefaultToolChain(),
Daniel Dunbarf353c8c2009-03-16 06:56:51 +0000951 /*CanAcceptPipe*/ true,
952 /*AtTopLevel*/ true,
953 /*LinkingOutput*/ LinkingOutput,
954 II);
955 }
Daniel Dunbar586dc232009-03-16 06:42:30 +0000956
Daniel Dunbara8231832009-09-08 23:36:43 +0000957 // If the user passed -Qunused-arguments or there were errors, don't warn
958 // about any unused arguments.
959 if (Diags.getNumErrors() ||
Daniel Dunbar1e23f5f2009-04-07 19:04:18 +0000960 C.getArgs().hasArg(options::OPT_Qunused_arguments))
Daniel Dunbaraf2e4ba2009-03-18 18:03:46 +0000961 return;
962
Daniel Dunbara2094e72009-03-29 22:24:54 +0000963 // Claim -### here.
964 (void) C.getArgs().hasArg(options::OPT__HASH_HASH_HASH);
Daniel Dunbara8231832009-09-08 23:36:43 +0000965
Daniel Dunbar586dc232009-03-16 06:42:30 +0000966 for (ArgList::const_iterator it = C.getArgs().begin(), ie = C.getArgs().end();
967 it != ie; ++it) {
968 Arg *A = *it;
Daniel Dunbara8231832009-09-08 23:36:43 +0000969
Daniel Dunbar586dc232009-03-16 06:42:30 +0000970 // FIXME: It would be nice to be able to send the argument to the
Daniel Dunbara8231832009-09-08 23:36:43 +0000971 // Diagnostic, so that extra values, position, and so on could be printed.
Daniel Dunbar4f53b292009-04-04 00:52:26 +0000972 if (!A->isClaimed()) {
Daniel Dunbar1e23f5f2009-04-07 19:04:18 +0000973 if (A->getOption().hasNoArgumentUnused())
974 continue;
975
Daniel Dunbara8231832009-09-08 23:36:43 +0000976 // Suppress the warning automatically if this is just a flag, and it is an
977 // instance of an argument we already claimed.
Daniel Dunbar4f53b292009-04-04 00:52:26 +0000978 const Option &Opt = A->getOption();
979 if (isa<FlagOption>(Opt)) {
980 bool DuplicateClaimed = false;
981
982 // FIXME: Use iterator.
Daniel Dunbara8231832009-09-08 23:36:43 +0000983 for (ArgList::const_iterator it = C.getArgs().begin(),
Daniel Dunbar4f53b292009-04-04 00:52:26 +0000984 ie = C.getArgs().end(); it != ie; ++it) {
985 if ((*it)->isClaimed() && (*it)->getOption().matches(Opt.getId())) {
986 DuplicateClaimed = true;
987 break;
988 }
989 }
990
991 if (DuplicateClaimed)
992 continue;
993 }
994
Daniel Dunbara8231832009-09-08 23:36:43 +0000995 Diag(clang::diag::warn_drv_unused_argument)
Daniel Dunbar38dd3d52009-03-20 06:14:23 +0000996 << A->getAsString(C.getArgs());
Daniel Dunbar4f53b292009-04-04 00:52:26 +0000997 }
Daniel Dunbar586dc232009-03-16 06:42:30 +0000998 }
Daniel Dunbar57b704d2009-03-13 22:12:33 +0000999}
1000
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001001void Driver::BuildJobsForAction(Compilation &C,
1002 const Action *A,
1003 const ToolChain *TC,
1004 bool CanAcceptPipe,
1005 bool AtTopLevel,
1006 const char *LinkingOutput,
1007 InputInfo &Result) const {
Daniel Dunbara8231832009-09-08 23:36:43 +00001008 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
Daniel Dunbar60ccc762009-03-18 23:18:19 +00001009
1010 bool UsePipes = C.getArgs().hasArg(options::OPT_pipe);
Daniel Dunbara8231832009-09-08 23:36:43 +00001011 // FIXME: Pipes are forcibly disabled until we support executing them.
Daniel Dunbar60ccc762009-03-18 23:18:19 +00001012 if (!CCCPrintBindings)
1013 UsePipes = false;
1014
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001015 if (const InputAction *IA = dyn_cast<InputAction>(A)) {
Daniel Dunbara8231832009-09-08 23:36:43 +00001016 // FIXME: It would be nice to not claim this here; maybe the old scheme of
1017 // just using Args was better?
Daniel Dunbar115a7922009-03-19 07:29:38 +00001018 const Arg &Input = IA->getInputArg();
1019 Input.claim();
1020 if (isa<PositionalArg>(Input)) {
1021 const char *Name = Input.getValue(C.getArgs());
1022 Result = InputInfo(Name, A->getType(), Name);
1023 } else
1024 Result = InputInfo(&Input, A->getType(), "");
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001025 return;
1026 }
1027
1028 if (const BindArchAction *BAA = dyn_cast<BindArchAction>(A)) {
Daniel Dunbard7502d02009-09-08 23:37:19 +00001029 const ToolChain *TC = &C.getDefaultToolChain();
1030
Daniel Dunbarcb8ab232009-05-22 02:53:45 +00001031 std::string Arch;
Daniel Dunbard7502d02009-09-08 23:37:19 +00001032 if (BAA->getArchName())
1033 TC = Host->CreateToolChain(C.getArgs(), BAA->getArchName());
1034
1035 BuildJobsForAction(C, *BAA->begin(), TC, CanAcceptPipe, AtTopLevel,
1036 LinkingOutput, Result);
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001037 return;
1038 }
1039
1040 const JobAction *JA = cast<JobAction>(A);
1041 const Tool &T = TC->SelectTool(C, *JA);
Daniel Dunbara8231832009-09-08 23:36:43 +00001042
1043 // See if we should use an integrated preprocessor. We do so when we have
1044 // exactly one input, since this is the only use case we care about
1045 // (irrelevant since we don't support combine yet).
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001046 bool UseIntegratedCPP = false;
1047 const ActionList *Inputs = &A->getInputs();
1048 if (Inputs->size() == 1 && isa<PreprocessJobAction>(*Inputs->begin())) {
1049 if (!C.getArgs().hasArg(options::OPT_no_integrated_cpp) &&
1050 !C.getArgs().hasArg(options::OPT_traditional_cpp) &&
1051 !C.getArgs().hasArg(options::OPT_save_temps) &&
1052 T.hasIntegratedCPP()) {
1053 UseIntegratedCPP = true;
1054 Inputs = &(*Inputs)[0]->getInputs();
1055 }
1056 }
1057
1058 // Only use pipes when there is exactly one input.
1059 bool TryToUsePipeInput = Inputs->size() == 1 && T.acceptsPipedInput();
Daniel Dunbar47ac7d22009-03-18 06:00:36 +00001060 InputInfoList InputInfos;
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001061 for (ActionList::const_iterator it = Inputs->begin(), ie = Inputs->end();
1062 it != ie; ++it) {
1063 InputInfo II;
Daniel Dunbara8231832009-09-08 23:36:43 +00001064 BuildJobsForAction(C, *it, TC, TryToUsePipeInput,
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001065 /*AtTopLevel*/false,
1066 LinkingOutput,
1067 II);
1068 InputInfos.push_back(II);
1069 }
1070
1071 // Determine if we should output to a pipe.
1072 bool OutputToPipe = false;
1073 if (CanAcceptPipe && T.canPipeOutput()) {
Daniel Dunbara8231832009-09-08 23:36:43 +00001074 // Some actions default to writing to a pipe if they are the top level phase
1075 // and there was no user override.
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001076 //
1077 // FIXME: Is there a better way to handle this?
1078 if (AtTopLevel) {
1079 if (isa<PreprocessJobAction>(A) && !C.getArgs().hasArg(options::OPT_o))
1080 OutputToPipe = true;
Daniel Dunbar60ccc762009-03-18 23:18:19 +00001081 } else if (UsePipes)
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001082 OutputToPipe = true;
1083 }
1084
1085 // Figure out where to put the job (pipes).
1086 Job *Dest = &C.getJobs();
1087 if (InputInfos[0].isPipe()) {
Daniel Dunbar441d0602009-03-17 17:53:55 +00001088 assert(TryToUsePipeInput && "Unrequested pipe!");
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001089 assert(InputInfos.size() == 1 && "Unexpected pipe with multiple inputs.");
1090 Dest = &InputInfos[0].getPipe();
1091 }
1092
1093 // Always use the first input as the base input.
1094 const char *BaseInput = InputInfos[0].getBaseInput();
Daniel Dunbar441d0602009-03-17 17:53:55 +00001095
Daniel Dunbara8231832009-09-08 23:36:43 +00001096 // Determine the place to write output to (nothing, pipe, or filename) and
1097 // where to put the new job.
Daniel Dunbar441d0602009-03-17 17:53:55 +00001098 if (JA->getType() == types::TY_Nothing) {
Daniel Dunbar5c3c1d72009-03-17 22:47:06 +00001099 Result = InputInfo(A->getType(), BaseInput);
Daniel Dunbar441d0602009-03-17 17:53:55 +00001100 } else if (OutputToPipe) {
1101 // Append to current piped job or create a new one as appropriate.
Daniel Dunbar5c3c1d72009-03-17 22:47:06 +00001102 PipedJob *PJ = dyn_cast<PipedJob>(Dest);
1103 if (!PJ) {
1104 PJ = new PipedJob();
Daniel Dunbara8231832009-09-08 23:36:43 +00001105 // FIXME: Temporary hack so that -ccc-print-bindings work until we have
1106 // pipe support. Please remove later.
Daniel Dunbarb7b61b22009-03-20 00:11:04 +00001107 if (!CCCPrintBindings)
1108 cast<JobList>(Dest)->addJob(PJ);
Daniel Dunbar871adcf2009-03-18 07:06:02 +00001109 Dest = PJ;
Daniel Dunbar441d0602009-03-17 17:53:55 +00001110 }
Daniel Dunbar5c3c1d72009-03-17 22:47:06 +00001111 Result = InputInfo(PJ, A->getType(), BaseInput);
Daniel Dunbar441d0602009-03-17 17:53:55 +00001112 } else {
Daniel Dunbar5c3c1d72009-03-17 22:47:06 +00001113 Result = InputInfo(GetNamedOutputPath(C, *JA, BaseInput, AtTopLevel),
1114 A->getType(), BaseInput);
Daniel Dunbar441d0602009-03-17 17:53:55 +00001115 }
1116
Daniel Dunbar5c3c1d72009-03-17 22:47:06 +00001117 if (CCCPrintBindings) {
Daniel Dunbarcd8e4c42009-03-30 06:36:42 +00001118 llvm::errs() << "# \"" << T.getToolChain().getTripleString() << '"'
1119 << " - \"" << T.getName() << "\", inputs: [";
Daniel Dunbar5c3c1d72009-03-17 22:47:06 +00001120 for (unsigned i = 0, e = InputInfos.size(); i != e; ++i) {
1121 llvm::errs() << InputInfos[i].getAsString();
1122 if (i + 1 != e)
1123 llvm::errs() << ", ";
1124 }
1125 llvm::errs() << "], output: " << Result.getAsString() << "\n";
1126 } else {
Daniel Dunbara8231832009-09-08 23:36:43 +00001127 T.ConstructJob(C, *JA, *Dest, Result, InputInfos,
Daniel Dunbarf3cad362009-03-25 04:13:45 +00001128 C.getArgsForToolChain(TC), LinkingOutput);
Daniel Dunbar5c3c1d72009-03-17 22:47:06 +00001129 }
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001130}
1131
Daniel Dunbara8231832009-09-08 23:36:43 +00001132const char *Driver::GetNamedOutputPath(Compilation &C,
Daniel Dunbar441d0602009-03-17 17:53:55 +00001133 const JobAction &JA,
1134 const char *BaseInput,
1135 bool AtTopLevel) const {
Daniel Dunbar8f25c792009-03-18 01:38:48 +00001136 llvm::PrettyStackTraceString CrashInfo("Computing output path");
Daniel Dunbar441d0602009-03-17 17:53:55 +00001137 // Output to a user requested destination?
1138 if (AtTopLevel) {
1139 if (Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o))
1140 return C.addResultFile(FinalOutput->getValue(C.getArgs()));
1141 }
1142
1143 // Output to a temporary file?
1144 if (!AtTopLevel && !C.getArgs().hasArg(options::OPT_save_temps)) {
Daniel Dunbara8231832009-09-08 23:36:43 +00001145 std::string TmpName =
Daniel Dunbar214399e2009-03-18 19:34:39 +00001146 GetTemporaryPath(types::getTypeTempSuffix(JA.getType()));
1147 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
Daniel Dunbar441d0602009-03-17 17:53:55 +00001148 }
1149
1150 llvm::sys::Path BasePath(BaseInput);
Daniel Dunbar5796bf42009-03-18 02:00:31 +00001151 std::string BaseName(BasePath.getLast());
Daniel Dunbar441d0602009-03-17 17:53:55 +00001152
1153 // Determine what the derived output name should be.
1154 const char *NamedOutput;
1155 if (JA.getType() == types::TY_Image) {
1156 NamedOutput = DefaultImageName.c_str();
1157 } else {
1158 const char *Suffix = types::getTypeTempSuffix(JA.getType());
1159 assert(Suffix && "All types used for output should have a suffix.");
1160
1161 std::string::size_type End = std::string::npos;
1162 if (!types::appendSuffixForType(JA.getType()))
1163 End = BaseName.rfind('.');
1164 std::string Suffixed(BaseName.substr(0, End));
1165 Suffixed += '.';
1166 Suffixed += Suffix;
1167 NamedOutput = C.getArgs().MakeArgString(Suffixed.c_str());
1168 }
1169
Daniel Dunbara8231832009-09-08 23:36:43 +00001170 // As an annoying special case, PCH generation doesn't strip the pathname.
Daniel Dunbar441d0602009-03-17 17:53:55 +00001171 if (JA.getType() == types::TY_PCH) {
1172 BasePath.eraseComponent();
Daniel Dunbar56c55942009-03-18 09:58:30 +00001173 if (BasePath.isEmpty())
1174 BasePath = NamedOutput;
1175 else
1176 BasePath.appendComponent(NamedOutput);
Daniel Dunbar441d0602009-03-17 17:53:55 +00001177 return C.addResultFile(C.getArgs().MakeArgString(BasePath.c_str()));
1178 } else {
1179 return C.addResultFile(NamedOutput);
1180 }
1181}
1182
Daniel Dunbar2ba38ba2009-03-16 05:25:36 +00001183llvm::sys::Path Driver::GetFilePath(const char *Name,
Daniel Dunbar21549232009-03-18 02:55:38 +00001184 const ToolChain &TC) const {
Daniel Dunbar0edefeb2009-03-18 20:26:19 +00001185 const ToolChain::path_list &List = TC.getFilePaths();
Daniel Dunbara8231832009-09-08 23:36:43 +00001186 for (ToolChain::path_list::const_iterator
Daniel Dunbar0edefeb2009-03-18 20:26:19 +00001187 it = List.begin(), ie = List.end(); it != ie; ++it) {
1188 llvm::sys::Path P(*it);
1189 P.appendComponent(Name);
1190 if (P.exists())
1191 return P;
1192 }
1193
Daniel Dunbarcb881672009-03-13 00:51:18 +00001194 return llvm::sys::Path(Name);
1195}
1196
Daniel Dunbara8231832009-09-08 23:36:43 +00001197llvm::sys::Path Driver::GetProgramPath(const char *Name,
Mike Stump950bedd2009-03-27 00:40:20 +00001198 const ToolChain &TC,
1199 bool WantFile) const {
Daniel Dunbar0edefeb2009-03-18 20:26:19 +00001200 const ToolChain::path_list &List = TC.getProgramPaths();
Daniel Dunbara8231832009-09-08 23:36:43 +00001201 for (ToolChain::path_list::const_iterator
Daniel Dunbar0edefeb2009-03-18 20:26:19 +00001202 it = List.begin(), ie = List.end(); it != ie; ++it) {
1203 llvm::sys::Path P(*it);
1204 P.appendComponent(Name);
Mike Stump950bedd2009-03-27 00:40:20 +00001205 if (WantFile ? P.exists() : P.canExecute())
Daniel Dunbar0edefeb2009-03-18 20:26:19 +00001206 return P;
1207 }
1208
Daniel Dunbarc50b00d2009-03-23 16:15:50 +00001209 // If all else failed, search the path.
1210 llvm::sys::Path P(llvm::sys::Program::FindProgramByName(Name));
Daniel Dunbar632f50e2009-03-18 21:34:08 +00001211 if (!P.empty())
1212 return P;
1213
Daniel Dunbarcb881672009-03-13 00:51:18 +00001214 return llvm::sys::Path(Name);
1215}
1216
Daniel Dunbar214399e2009-03-18 19:34:39 +00001217std::string Driver::GetTemporaryPath(const char *Suffix) const {
Daniel Dunbara8231832009-09-08 23:36:43 +00001218 // FIXME: This is lame; sys::Path should provide this function (in particular,
1219 // it should know how to find the temporary files dir).
Daniel Dunbar214399e2009-03-18 19:34:39 +00001220 std::string Error;
Daniel Dunbarb03417f2009-04-20 20:28:21 +00001221 const char *TmpDir = ::getenv("TMPDIR");
1222 if (!TmpDir)
1223 TmpDir = ::getenv("TEMP");
1224 if (!TmpDir)
Daniel Dunbar3ca7ee92009-04-21 00:25:10 +00001225 TmpDir = ::getenv("TMP");
1226 if (!TmpDir)
Daniel Dunbarb03417f2009-04-20 20:28:21 +00001227 TmpDir = "/tmp";
1228 llvm::sys::Path P(TmpDir);
Daniel Dunbarf60c63a2009-04-20 17:32:49 +00001229 P.appendComponent("cc");
Daniel Dunbar214399e2009-03-18 19:34:39 +00001230 if (P.makeUnique(false, &Error)) {
1231 Diag(clang::diag::err_drv_unable_to_make_temp) << Error;
1232 return "";
1233 }
1234
Daniel Dunbara8231832009-09-08 23:36:43 +00001235 // FIXME: Grumble, makeUnique sometimes leaves the file around!? PR3837.
Daniel Dunbar84603bc2009-03-18 23:08:52 +00001236 P.eraseFromDisk(false, 0);
1237
Daniel Dunbar214399e2009-03-18 19:34:39 +00001238 P.appendSuffix(Suffix);
Chris Lattnerd57a7ef2009-08-23 22:45:33 +00001239 return P.str();
Daniel Dunbar214399e2009-03-18 19:34:39 +00001240}
1241
Daniel Dunbarcb8ab232009-05-22 02:53:45 +00001242const HostInfo *Driver::GetHostInfo(const char *TripleStr) const {
Daniel Dunbar8f25c792009-03-18 01:38:48 +00001243 llvm::PrettyStackTraceString CrashInfo("Constructing host");
Daniel Dunbarcb8ab232009-05-22 02:53:45 +00001244 llvm::Triple Triple(TripleStr);
Daniel Dunbardd98e2c2009-03-10 23:41:59 +00001245
Daniel Dunbarcb8ab232009-05-22 02:53:45 +00001246 switch (Triple.getOS()) {
Edward O'Callaghane7925a02009-08-22 01:06:46 +00001247 case llvm::Triple::AuroraUX:
1248 return createAuroraUXHostInfo(*this, Triple);
Daniel Dunbarcb8ab232009-05-22 02:53:45 +00001249 case llvm::Triple::Darwin:
1250 return createDarwinHostInfo(*this, Triple);
1251 case llvm::Triple::DragonFly:
1252 return createDragonFlyHostInfo(*this, Triple);
Daniel Dunbarf7b8eec2009-06-29 20:52:51 +00001253 case llvm::Triple::OpenBSD:
1254 return createOpenBSDHostInfo(*this, Triple);
Daniel Dunbarcb8ab232009-05-22 02:53:45 +00001255 case llvm::Triple::FreeBSD:
1256 return createFreeBSDHostInfo(*this, Triple);
Eli Friedman6b3454a2009-05-26 07:52:18 +00001257 case llvm::Triple::Linux:
1258 return createLinuxHostInfo(*this, Triple);
Daniel Dunbarcb8ab232009-05-22 02:53:45 +00001259 default:
1260 return createUnknownHostInfo(*this, Triple);
1261 }
Daniel Dunbardd98e2c2009-03-10 23:41:59 +00001262}
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001263
1264bool Driver::ShouldUseClangCompiler(const Compilation &C, const JobAction &JA,
Daniel Dunbara6046be2009-09-08 23:36:55 +00001265 const llvm::Triple &Triple) const {
Daniel Dunbara8231832009-09-08 23:36:43 +00001266 // Check if user requested no clang, or clang doesn't understand this type (we
1267 // only handle single inputs for now).
Daniel Dunbar5915fbf2009-09-01 16:57:46 +00001268 if (!CCCUseClang || JA.size() != 1 ||
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001269 !types::isAcceptedByClang((*JA.begin())->getType()))
1270 return false;
1271
Daniel Dunbar0f99d2e2009-03-24 19:02:31 +00001272 // Otherwise make sure this is an action clang understands.
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001273 if (isa<PreprocessJobAction>(JA)) {
Daniel Dunbar6256d362009-03-24 19:14:56 +00001274 if (!CCCUseClangCPP) {
1275 Diag(clang::diag::warn_drv_not_using_clang_cpp);
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001276 return false;
Daniel Dunbar6256d362009-03-24 19:14:56 +00001277 }
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001278 } else if (!isa<PrecompileJobAction>(JA) && !isa<CompileJobAction>(JA))
1279 return false;
1280
Daniel Dunbar0f99d2e2009-03-24 19:02:31 +00001281 // Use clang for C++?
Daniel Dunbar6256d362009-03-24 19:14:56 +00001282 if (!CCCUseClangCXX && types::isCXX((*JA.begin())->getType())) {
1283 Diag(clang::diag::warn_drv_not_using_clang_cxx);
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001284 return false;
Daniel Dunbar6256d362009-03-24 19:14:56 +00001285 }
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001286
Daniel Dunbara8231832009-09-08 23:36:43 +00001287 // Always use clang for precompiling and AST generation, regardless of archs.
Daniel Dunbar5915fbf2009-09-01 16:57:46 +00001288 if (isa<PrecompileJobAction>(JA) || JA.getType() == types::TY_AST)
Daniel Dunbarfec26bd2009-04-16 23:10:13 +00001289 return true;
1290
Daniel Dunbara8231832009-09-08 23:36:43 +00001291 // Finally, don't use clang if this isn't one of the user specified archs to
1292 // build.
Daniel Dunbara6046be2009-09-08 23:36:55 +00001293 if (!CCCClangArchs.empty() && !CCCClangArchs.count(Triple.getArch())) {
1294 Diag(clang::diag::warn_drv_not_using_clang_arch) << Triple.getArchName();
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001295 return false;
Daniel Dunbar6256d362009-03-24 19:14:56 +00001296 }
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001297
1298 return true;
1299}
Daniel Dunbard73fe9b2009-03-26 15:58:36 +00001300
Daniel Dunbara8231832009-09-08 23:36:43 +00001301/// GetReleaseVersion - Parse (([0-9]+)(.([0-9]+)(.([0-9]+)?))?)? and return the
1302/// grouped values as integers. Numbers which are not provided are set to 0.
Daniel Dunbard73fe9b2009-03-26 15:58:36 +00001303///
Daniel Dunbara8231832009-09-08 23:36:43 +00001304/// \return True if the entire string was parsed (9.2), or all groups were
1305/// parsed (10.3.5extrastuff).
1306bool Driver::GetReleaseVersion(const char *Str, unsigned &Major,
Daniel Dunbard73fe9b2009-03-26 15:58:36 +00001307 unsigned &Minor, unsigned &Micro,
1308 bool &HadExtra) {
1309 HadExtra = false;
1310
1311 Major = Minor = Micro = 0;
Daniel Dunbara8231832009-09-08 23:36:43 +00001312 if (*Str == '\0')
Daniel Dunbard73fe9b2009-03-26 15:58:36 +00001313 return true;
1314
1315 char *End;
1316 Major = (unsigned) strtol(Str, &End, 10);
1317 if (*Str != '\0' && *End == '\0')
1318 return true;
1319 if (*End != '.')
1320 return false;
Daniel Dunbara8231832009-09-08 23:36:43 +00001321
Daniel Dunbard73fe9b2009-03-26 15:58:36 +00001322 Str = End+1;
1323 Minor = (unsigned) strtol(Str, &End, 10);
1324 if (*Str != '\0' && *End == '\0')
1325 return true;
1326 if (*End != '.')
1327 return false;
1328
1329 Str = End+1;
1330 Micro = (unsigned) strtol(Str, &End, 10);
1331 if (*Str != '\0' && *End == '\0')
1332 return true;
1333 if (Str == End)
1334 return false;
1335 HadExtra = true;
1336 return true;
1337}