blob: 60dd45cd53d39232e1aee6ac84596332d003e1aa [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 Dunbar06482622009-03-05 06:38:47 +000018#include "clang/Driver/Option.h"
Daniel Dunbar1b3bb6e2009-03-04 20:49:20 +000019#include "clang/Driver/Options.h"
Daniel Dunbar53ec5522009-03-12 07:58:46 +000020#include "clang/Driver/Types.h"
Daniel Dunbar06482622009-03-05 06:38:47 +000021
Daniel Dunbar13689542009-03-13 20:33:35 +000022#include "llvm/ADT/StringSet.h"
Daniel Dunbar06482622009-03-05 06:38:47 +000023#include "llvm/Support/raw_ostream.h"
Daniel Dunbar53ec5522009-03-12 07:58:46 +000024#include "llvm/System/Path.h"
Daniel Dunbarba102132009-03-13 12:19:02 +000025
26#include <map>
27
Daniel Dunbar1b3bb6e2009-03-04 20:49:20 +000028using namespace clang::driver;
29
Daniel Dunbardd98e2c2009-03-10 23:41:59 +000030Driver::Driver(const char *_Name, const char *_Dir,
Daniel Dunbar4ad4b3e2009-03-12 08:55:43 +000031 const char *_DefaultHostTriple,
32 Diagnostic &_Diags)
33 : Opts(new OptTable()), Diags(_Diags),
Daniel Dunbardd98e2c2009-03-10 23:41:59 +000034 Name(_Name), Dir(_Dir), DefaultHostTriple(_DefaultHostTriple),
35 Host(0),
Daniel Dunbar365c02f2009-03-10 20:52:46 +000036 CCCIsCXX(false), CCCEcho(false),
Daniel Dunbar8b1604e2009-03-13 00:17:48 +000037 CCCNoClang(false), CCCNoClangCXX(false), CCCNoClangCPP(false),
38 SuppressMissingInputWarning(false)
Daniel Dunbar365c02f2009-03-10 20:52:46 +000039{
Daniel Dunbar3ede8d02009-03-02 19:59:07 +000040}
41
42Driver::~Driver() {
Daniel Dunbar1b3bb6e2009-03-04 20:49:20 +000043 delete Opts;
Daniel Dunbar3ede8d02009-03-02 19:59:07 +000044}
45
Daniel Dunbar06482622009-03-05 06:38:47 +000046ArgList *Driver::ParseArgStrings(const char **ArgBegin, const char **ArgEnd) {
47 ArgList *Args = new ArgList(ArgBegin, ArgEnd);
48
Daniel Dunbarad2a9af2009-03-13 11:38:42 +000049 // FIXME: Handle '@' args (or at least error on them).
50
Daniel Dunbar06482622009-03-05 06:38:47 +000051 unsigned Index = 0, End = ArgEnd - ArgBegin;
52 while (Index < End) {
Daniel Dunbar41393402009-03-13 01:01:44 +000053 // gcc's handling of empty arguments doesn't make
54 // sense, but this is not a common use case. :)
55 //
56 // We just ignore them here (note that other things may
57 // still take them as arguments).
58 if (Args->getArgString(Index)[0] == '\0') {
59 ++Index;
60 continue;
61 }
62
Daniel Dunbar06482622009-03-05 06:38:47 +000063 unsigned Prev = Index;
64 Arg *A = getOpts().ParseOneArg(*Args, Index, End);
Daniel Dunbar53ec5522009-03-12 07:58:46 +000065 if (A) {
66 if (A->getOption().isUnsupported()) {
Daniel Dunbarb897f5d2009-03-12 09:13:48 +000067 Diag(clang::diag::err_drv_unsupported_opt) << A->getOption().getName();
Daniel Dunbar53ec5522009-03-12 07:58:46 +000068 continue;
69 }
70
Daniel Dunbar06482622009-03-05 06:38:47 +000071 Args->append(A);
Daniel Dunbar53ec5522009-03-12 07:58:46 +000072 }
Daniel Dunbar06482622009-03-05 06:38:47 +000073
74 assert(Index > Prev && "Parser failed to consume argument.");
75 }
76
77 return Args;
78}
79
Daniel Dunbar3ede8d02009-03-02 19:59:07 +000080Compilation *Driver::BuildCompilation(int argc, const char **argv) {
Daniel Dunbarcb881672009-03-13 00:51:18 +000081 // FIXME: Handle environment options which effect driver behavior,
82 // somewhere (client?). GCC_EXEC_PREFIX, COMPILER_PATH,
83 // LIBRARY_PATH, LPATH, CC_PRINT_OPTIONS, QA_OVERRIDE_GCC3_OPTIONS.
84
85 // FIXME: What are we going to do with -V and -b?
86
87 // FIXME: Handle CCC_ADD_ARGS.
88
Daniel Dunbar365c02f2009-03-10 20:52:46 +000089 // FIXME: This stuff needs to go into the Compilation, not the
90 // driver.
Daniel Dunbar53ec5522009-03-12 07:58:46 +000091 bool CCCPrintOptions = false, CCCPrintActions = false;
Daniel Dunbar06482622009-03-05 06:38:47 +000092
Daniel Dunbar365c02f2009-03-10 20:52:46 +000093 const char **Start = argv + 1, **End = argv + argc;
Daniel Dunbardd98e2c2009-03-10 23:41:59 +000094 const char *HostTriple = DefaultHostTriple.c_str();
Daniel Dunbar365c02f2009-03-10 20:52:46 +000095
96 // Read -ccc args.
97 //
98 // FIXME: We need to figure out where this behavior should
99 // live. Most of it should be outside in the client; the parts that
100 // aren't should have proper options, either by introducing new ones
101 // or by overloading gcc ones like -V or -b.
102 for (; Start != End && memcmp(*Start, "-ccc-", 5) == 0; ++Start) {
103 const char *Opt = *Start + 5;
104
105 if (!strcmp(Opt, "print-options")) {
106 CCCPrintOptions = true;
107 } else if (!strcmp(Opt, "print-phases")) {
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000108 CCCPrintActions = true;
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000109 } else if (!strcmp(Opt, "cxx")) {
110 CCCIsCXX = true;
111 } else if (!strcmp(Opt, "echo")) {
112 CCCEcho = true;
113
114 } else if (!strcmp(Opt, "no-clang")) {
115 CCCNoClang = true;
116 } else if (!strcmp(Opt, "no-clang-cxx")) {
117 CCCNoClangCXX = true;
118 } else if (!strcmp(Opt, "no-clang-cpp")) {
119 CCCNoClangCPP = true;
120 } else if (!strcmp(Opt, "clang-archs")) {
121 assert(Start+1 < End && "FIXME: -ccc- argument handling.");
122 const char *Cur = *++Start;
123
124 for (;;) {
125 const char *Next = strchr(Cur, ',');
126
127 if (Next) {
128 CCCClangArchs.insert(std::string(Cur, Next));
129 Cur = Next + 1;
130 } else {
131 CCCClangArchs.insert(std::string(Cur));
132 break;
133 }
134 }
135
Daniel Dunbardd98e2c2009-03-10 23:41:59 +0000136 } else if (!strcmp(Opt, "host-triple")) {
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000137 assert(Start+1 < End && "FIXME: -ccc- argument handling.");
Daniel Dunbardd98e2c2009-03-10 23:41:59 +0000138 HostTriple = *++Start;
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000139
140 } else {
141 // FIXME: Error handling.
142 llvm::errs() << "invalid option: " << *Start << "\n";
143 exit(1);
144 }
145 }
Daniel Dunbardd98e2c2009-03-10 23:41:59 +0000146
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000147 ArgList *Args = ParseArgStrings(Start, End);
148
Daniel Dunbarcb881672009-03-13 00:51:18 +0000149 Host = Driver::GetHostInfo(HostTriple);
150 DefaultToolChain = Host->getToolChain(*Args);
151
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000152 // FIXME: This behavior shouldn't be here.
153 if (CCCPrintOptions) {
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000154 PrintOptions(*Args);
Daniel Dunbarab835432009-03-13 17:24:34 +0000155 return 0;
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000156 }
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000157
Daniel Dunbarcb881672009-03-13 00:51:18 +0000158 if (!HandleImmediateArgs(*Args))
159 return 0;
160
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000161 // Construct the list of abstract actions to perform for this
162 // compilation.
Daniel Dunbard65bddc2009-03-12 18:24:49 +0000163 ActionList Actions;
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000164 if (Host->useDriverDriver())
165 BuildUniversalActions(*Args, Actions);
166 else
167 BuildActions(*Args, Actions);
168
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000169 if (CCCPrintActions) {
Daniel Dunbarba102132009-03-13 12:19:02 +0000170 PrintActions(*Args, Actions);
Daniel Dunbarab835432009-03-13 17:24:34 +0000171 return 0;
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000172 }
Daniel Dunbarab835432009-03-13 17:24:34 +0000173
Daniel Dunbar8d2554a2009-03-15 01:38:15 +0000174 Compilation *C = BuildJobs(*Args, Actions);
175
176 // If there were no errors, warn about any unused arguments.
177 for (ArgList::iterator it = Args->begin(), ie = Args->end(); it != ie; ++it) {
178 Arg *A = *it;
179
180 // FIXME: It would be nice to be able to send the argument to the
181 // Diagnostic, so that extra values, position, and so on could be
182 // printed.
183 if (!A->isClaimed())
184 Diag(clang::diag::warn_drv_unused_argument)
185 << A->getOption().getName();
186 }
187
188 return C;
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000189}
190
Daniel Dunbard65bddc2009-03-12 18:24:49 +0000191void Driver::PrintOptions(const ArgList &Args) const {
Daniel Dunbar06482622009-03-05 06:38:47 +0000192 unsigned i = 0;
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000193 for (ArgList::const_iterator it = Args.begin(), ie = Args.end();
Daniel Dunbar06482622009-03-05 06:38:47 +0000194 it != ie; ++it, ++i) {
195 Arg *A = *it;
196 llvm::errs() << "Option " << i << " - "
197 << "Name: \"" << A->getOption().getName() << "\", "
198 << "Values: {";
199 for (unsigned j = 0; j < A->getNumValues(); ++j) {
200 if (j)
201 llvm::errs() << ", ";
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000202 llvm::errs() << '"' << A->getValue(Args, j) << '"';
Daniel Dunbar06482622009-03-05 06:38:47 +0000203 }
204 llvm::errs() << "}\n";
Daniel Dunbar06482622009-03-05 06:38:47 +0000205 }
Daniel Dunbar3ede8d02009-03-02 19:59:07 +0000206}
Daniel Dunbardd98e2c2009-03-10 23:41:59 +0000207
Daniel Dunbarcb881672009-03-13 00:51:18 +0000208void Driver::PrintVersion() const {
209 // FIXME: Get a reasonable version number.
210
211 // FIXME: The following handlers should use a callback mechanism, we
212 // don't know what the client would like to do.
213 llvm::outs() << "ccc version 1.0" << "\n";
214}
215
216bool Driver::HandleImmediateArgs(const ArgList &Args) {
217 // The order these options are handled in in gcc is all over the
218 // place, but we don't expect inconsistencies w.r.t. that to matter
219 // in practice.
220 if (Args.hasArg(options::OPT_v) ||
221 Args.hasArg(options::OPT__HASH_HASH_HASH)) {
222 PrintVersion();
223 SuppressMissingInputWarning = true;
224 }
225
226 // FIXME: The following handlers should use a callback mechanism, we
227 // don't know what the client would like to do.
228 if (Arg *A = Args.getLastArg(options::OPT_print_file_name_EQ)) {
229 llvm::outs() << GetFilePath(A->getValue(Args)).toString() << "\n";
230 return false;
231 }
232
233 if (Arg *A = Args.getLastArg(options::OPT_print_prog_name_EQ)) {
234 llvm::outs() << GetProgramPath(A->getValue(Args)).toString() << "\n";
235 return false;
236 }
237
Daniel Dunbar41393402009-03-13 01:01:44 +0000238 if (Args.hasArg(options::OPT_print_libgcc_file_name)) {
Daniel Dunbarcb881672009-03-13 00:51:18 +0000239 llvm::outs() << GetProgramPath("libgcc.a").toString() << "\n";
240 return false;
241 }
242
243 return true;
244}
245
Daniel Dunbarba102132009-03-13 12:19:02 +0000246static unsigned PrintActions1(const ArgList &Args,
247 Action *A,
248 std::map<Action*, unsigned> &Ids) {
249 if (Ids.count(A))
250 return Ids[A];
251
252 std::string str;
253 llvm::raw_string_ostream os(str);
254
255 os << Action::getClassName(A->getKind()) << ", ";
256 if (InputAction *IA = dyn_cast<InputAction>(A)) {
Daniel Dunbar3dbd6c52009-03-13 17:46:02 +0000257 os << "\"" << IA->getInputArg().getValue(Args) << "\"";
Daniel Dunbarba102132009-03-13 12:19:02 +0000258 } else if (BindArchAction *BIA = dyn_cast<BindArchAction>(A)) {
259 os << "\"" << BIA->getArchName() << "\", "
260 << "{" << PrintActions1(Args, *BIA->begin(), Ids) << "}";
261 } else {
262 os << "{";
263 for (Action::iterator it = A->begin(), ie = A->end(); it != ie;) {
264 os << PrintActions1(Args, *it, Ids);
265 ++it;
266 if (it != ie)
267 os << ", ";
268 }
269 os << "}";
270 }
271
272 unsigned Id = Ids.size();
273 Ids[A] = Id;
Daniel Dunbarb269c322009-03-13 17:20:20 +0000274 llvm::errs() << Id << ": " << os.str() << ", "
Daniel Dunbarba102132009-03-13 12:19:02 +0000275 << types::getTypeName(A->getType()) << "\n";
276
277 return Id;
278}
279
280void Driver::PrintActions(const ArgList &Args,
281 const ActionList &Actions) const {
282 std::map<Action*, unsigned> Ids;
283 for (ActionList::const_iterator it = Actions.begin(), ie = Actions.end();
Daniel Dunbarb269c322009-03-13 17:20:20 +0000284 it != ie; ++it)
Daniel Dunbarba102132009-03-13 12:19:02 +0000285 PrintActions1(Args, *it, Ids);
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000286}
287
Daniel Dunbar57b704d2009-03-13 22:12:33 +0000288void Driver::BuildUniversalActions(ArgList &Args, ActionList &Actions) const {
Daniel Dunbar13689542009-03-13 20:33:35 +0000289 // Collect the list of architectures. Duplicates are allowed, but
290 // should only be handled once (in the order seen).
291 llvm::StringSet<> ArchNames;
292 llvm::SmallVector<const char *, 4> Archs;
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000293 for (ArgList::const_iterator it = Args.begin(), ie = Args.end();
294 it != ie; ++it) {
295 Arg *A = *it;
296
297 if (A->getOption().getId() == options::OPT_arch) {
Daniel Dunbar13689542009-03-13 20:33:35 +0000298 const char *Name = A->getValue(Args);
299
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000300 // FIXME: We need to handle canonicalization of the specified
301 // arch?
302
Daniel Dunbar13689542009-03-13 20:33:35 +0000303 if (ArchNames.insert(Name))
304 Archs.push_back(Name);
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000305 }
306 }
307
308 // When there is no explicit arch for this platform, get one from
309 // the host so that -Xarch_ is handled correctly.
310 if (!Archs.size()) {
311 const char *Arch = Host->getArchName().c_str();
Daniel Dunbar13689542009-03-13 20:33:35 +0000312 Archs.push_back(Arch);
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000313 }
314
315 // FIXME: We killed off some others but these aren't yet detected in
316 // a functional manner. If we added information to jobs about which
317 // "auxiliary" files they wrote then we could detect the conflict
318 // these cause downstream.
319 if (Archs.size() > 1) {
320 // No recovery needed, the point of this is just to prevent
321 // overwriting the same files.
322 if (const Arg *A = Args.getLastArg(options::OPT_M_Group))
323 Diag(clang::diag::err_drv_invalid_opt_with_multiple_archs)
324 << A->getOption().getName();
325 if (const Arg *A = Args.getLastArg(options::OPT_save_temps))
326 Diag(clang::diag::err_drv_invalid_opt_with_multiple_archs)
327 << A->getOption().getName();
328 }
329
330 ActionList SingleActions;
331 BuildActions(Args, SingleActions);
332
333 // Add in arch binding and lipo (if necessary) for every top level
334 // action.
335 for (unsigned i = 0, e = SingleActions.size(); i != e; ++i) {
336 Action *Act = SingleActions[i];
337
338 // Make sure we can lipo this kind of output. If not (and it is an
339 // actual output) then we disallow, since we can't create an
340 // output file with the right name without overwriting it. We
341 // could remove this oddity by just changing the output names to
342 // include the arch, which would also fix
343 // -save-temps. Compatibility wins for now.
344
Daniel Dunbar3dbd6c52009-03-13 17:46:02 +0000345 if (Archs.size() > 1 && !types::canLipoType(Act->getType()))
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000346 Diag(clang::diag::err_drv_invalid_output_with_multiple_archs)
347 << types::getTypeName(Act->getType());
348
349 ActionList Inputs;
Daniel Dunbar13689542009-03-13 20:33:35 +0000350 for (unsigned i = 0, e = Archs.size(); i != e; ++i )
351 Inputs.push_back(new BindArchAction(Act, Archs[i]));
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000352
353 // Lipo if necessary, We do it this way because we need to set the
354 // arch flag so that -Xarch_ gets overwritten.
355 if (Inputs.size() == 1 || Act->getType() == types::TY_Nothing)
356 Actions.append(Inputs.begin(), Inputs.end());
357 else
358 Actions.push_back(new LipoJobAction(Inputs, Act->getType()));
359 }
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000360}
361
Daniel Dunbar57b704d2009-03-13 22:12:33 +0000362void Driver::BuildActions(ArgList &Args, ActionList &Actions) const {
Daniel Dunbaraf61c712009-03-12 23:55:14 +0000363 // Start by constructing the list of inputs and their types.
364
Daniel Dunbar83dd21f2009-03-13 17:57:10 +0000365 // Track the current user specified (-x) input. We also explicitly
366 // track the argument used to set the type; we only want to claim
367 // the type when we actually use it, so we warn about unused -x
368 // arguments.
369 types::ID InputType = types::TY_Nothing;
370 Arg *InputTypeArg = 0;
371
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000372 llvm::SmallVector<std::pair<types::ID, const Arg*>, 16> Inputs;
373 for (ArgList::const_iterator it = Args.begin(), ie = Args.end();
374 it != ie; ++it) {
375 Arg *A = *it;
376
377 if (isa<InputOption>(A->getOption())) {
378 const char *Value = A->getValue(Args);
379 types::ID Ty = types::TY_INVALID;
380
381 // Infer the input type if necessary.
Daniel Dunbar83dd21f2009-03-13 17:57:10 +0000382 if (InputType == types::TY_Nothing) {
383 // If there was an explicit arg for this, claim it.
384 if (InputTypeArg)
385 InputTypeArg->claim();
386
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000387 // stdin must be handled specially.
388 if (memcmp(Value, "-", 2) == 0) {
389 // If running with -E, treat as a C input (this changes the
390 // builtin macros, for example). This may be overridden by
391 // -ObjC below.
392 //
393 // Otherwise emit an error but still use a valid type to
394 // avoid spurious errors (e.g., no inputs).
Daniel Dunbar8022fd42009-03-15 00:48:16 +0000395 if (!Args.hasArg(options::OPT_E, false))
Daniel Dunbarb897f5d2009-03-12 09:13:48 +0000396 Diag(clang::diag::err_drv_unknown_stdin_type);
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000397 Ty = types::TY_C;
398 } else {
399 // Otherwise lookup by extension, and fallback to ObjectType
400 // if not found.
401 if (const char *Ext = strrchr(Value, '.'))
402 Ty = types::lookupTypeForExtension(Ext + 1);
403 if (Ty == types::TY_INVALID)
404 Ty = types::TY_Object;
405 }
406
407 // -ObjC and -ObjC++ override the default language, but only
408 // -for "source files". We just treat everything that isn't a
409 // -linker input as a source file.
410 //
411 // FIXME: Clean this up if we move the phase sequence into the
412 // type.
413 if (Ty != types::TY_Object) {
414 if (Args.hasArg(options::OPT_ObjC))
415 Ty = types::TY_ObjC;
416 else if (Args.hasArg(options::OPT_ObjCXX))
417 Ty = types::TY_ObjCXX;
418 }
419 } else {
420 assert(InputTypeArg && "InputType set w/o InputTypeArg");
421 InputTypeArg->claim();
422 Ty = InputType;
423 }
424
425 // Check that the file exists. It isn't clear this is worth
426 // doing, since the tool presumably does this anyway, and this
427 // just adds an extra stat to the equation, but this is gcc
428 // compatible.
Daniel Dunbar411f2e42009-03-15 01:40:22 +0000429 A->claim();
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000430 if (memcmp(Value, "-", 2) != 0 && !llvm::sys::Path(Value).exists())
Daniel Dunbarb897f5d2009-03-12 09:13:48 +0000431 Diag(clang::diag::err_drv_no_such_file) << A->getValue(Args);
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000432 else
433 Inputs.push_back(std::make_pair(Ty, A));
434
435 } else if (A->getOption().isLinkerInput()) {
436 // Just treat as object type, we could make a special type for
437 // this if necessary.
Daniel Dunbar411f2e42009-03-15 01:40:22 +0000438 A->claim();
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000439 Inputs.push_back(std::make_pair(types::TY_Object, A));
440
441 } else if (A->getOption().getId() == options::OPT_x) {
442 InputTypeArg = A;
443 InputType = types::lookupTypeForTypeSpecifier(A->getValue(Args));
444
445 // Follow gcc behavior and treat as linker input for invalid -x
446 // options. Its not clear why we shouldn't just revert to
447 // unknown; but this isn't very important, we might as well be
448 // bug comatible.
449 if (!InputType) {
Daniel Dunbarb897f5d2009-03-12 09:13:48 +0000450 Diag(clang::diag::err_drv_unknown_language) << A->getValue(Args);
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000451 InputType = types::TY_Object;
452 }
453 }
454 }
455
Daniel Dunbar8b1604e2009-03-13 00:17:48 +0000456 if (!SuppressMissingInputWarning && Inputs.empty()) {
Daniel Dunbaraf61c712009-03-12 23:55:14 +0000457 Diag(clang::diag::err_drv_no_input_files);
458 return;
459 }
460
461 // Determine which compilation mode we are in. We look for options
462 // which affect the phase, starting with the earliest phases, and
463 // record which option we used to determine the final phase.
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000464 Arg *FinalPhaseArg = 0;
465 phases::ID FinalPhase;
Daniel Dunbaraf61c712009-03-12 23:55:14 +0000466
467 // -{E,M,MM} only run the preprocessor.
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000468 if ((FinalPhaseArg = Args.getLastArg(options::OPT_E)) ||
469 (FinalPhaseArg = Args.getLastArg(options::OPT_M)) ||
470 (FinalPhaseArg = Args.getLastArg(options::OPT_MM))) {
471 FinalPhase = phases::Preprocess;
Daniel Dunbaraf61c712009-03-12 23:55:14 +0000472
Daniel Dunbar8022fd42009-03-15 00:48:16 +0000473 // -{fsyntax-only,-analyze,emit-llvm,S} only run up to the compiler.
474 } else if ((FinalPhaseArg = Args.getLastArg(options::OPT_fsyntax_only)) ||
475 (FinalPhaseArg = Args.getLastArg(options::OPT__analyze)) ||
476 (FinalPhaseArg = Args.getLastArg(options::OPT_emit_llvm)) ||
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000477 (FinalPhaseArg = Args.getLastArg(options::OPT_S))) {
478 FinalPhase = phases::Compile;
Daniel Dunbaraf61c712009-03-12 23:55:14 +0000479
480 // -c only runs up to the assembler.
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000481 } else if ((FinalPhaseArg = Args.getLastArg(options::OPT_c))) {
482 FinalPhase = phases::Assemble;
Daniel Dunbaraf61c712009-03-12 23:55:14 +0000483
484 // Otherwise do everything.
485 } else
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000486 FinalPhase = phases::Link;
Daniel Dunbaraf61c712009-03-12 23:55:14 +0000487
Daniel Dunbaraf61c712009-03-12 23:55:14 +0000488 // Reject -Z* at the top level, these options should never have been
489 // exposed by gcc.
490 if (Arg *A = Args.getLastArg(options::OPT_Z))
491 Diag(clang::diag::err_drv_use_of_Z_option) << A->getValue(Args);
492
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000493 // Construct the actions to perform.
494 ActionList LinkerInputs;
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000495 for (unsigned i = 0, e = Inputs.size(); i != e; ++i) {
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000496 types::ID InputType = Inputs[i].first;
497 const Arg *InputArg = Inputs[i].second;
498
499 unsigned NumSteps = types::getNumCompilationPhases(InputType);
500 assert(NumSteps && "Invalid number of steps!");
501
502 // If the first step comes after the final phase we are doing as
503 // part of this compilation, warn the user about it.
504 phases::ID InitialPhase = types::getCompilationPhase(InputType, 0);
505 if (InitialPhase > FinalPhase) {
506 Diag(clang::diag::warn_drv_input_file_unused)
507 << InputArg->getValue(Args)
508 << getPhaseName(InitialPhase)
509 << FinalPhaseArg->getOption().getName();
510 continue;
511 }
512
513 // Build the pipeline for this file.
514 Action *Current = new InputAction(*InputArg, InputType);
515 for (unsigned i = 0; i != NumSteps; ++i) {
516 phases::ID Phase = types::getCompilationPhase(InputType, i);
517
518 // We are done if this step is past what the user requested.
519 if (Phase > FinalPhase)
520 break;
521
522 // Queue linker inputs.
523 if (Phase == phases::Link) {
524 assert(i + 1 == NumSteps && "linking must be final compilation step.");
525 LinkerInputs.push_back(Current);
526 Current = 0;
527 break;
528 }
529
530 // Otherwise construct the appropriate action.
531 Current = ConstructPhaseAction(Args, Phase, Current);
532 if (Current->getType() == types::TY_Nothing)
533 break;
534 }
535
536 // If we ended with something, add to the output list.
537 if (Current)
538 Actions.push_back(Current);
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000539 }
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000540
541 // Add a link action if necessary.
542 if (!LinkerInputs.empty())
543 Actions.push_back(new LinkJobAction(LinkerInputs, types::TY_Image));
544}
545
546Action *Driver::ConstructPhaseAction(const ArgList &Args, phases::ID Phase,
547 Action *Input) const {
548 // Build the appropriate action.
549 switch (Phase) {
550 case phases::Link: assert(0 && "link action invalid here.");
551 case phases::Preprocess: {
552 types::ID OutputTy = types::getPreprocessedType(Input->getType());
553 assert(OutputTy != types::TY_INVALID &&
554 "Cannot preprocess this input type!");
555 return new PreprocessJobAction(Input, OutputTy);
556 }
557 case phases::Precompile:
558 return new PrecompileJobAction(Input, types::TY_PCH);
559 case phases::Compile: {
560 if (Args.hasArg(options::OPT_fsyntax_only)) {
561 return new CompileJobAction(Input, types::TY_Nothing);
562 } else if (Args.hasArg(options::OPT__analyze)) {
563 return new AnalyzeJobAction(Input, types::TY_Plist);
564 } else if (Args.hasArg(options::OPT_emit_llvm)) {
565 types::ID Output =
566 Args.hasArg(options::OPT_S) ? types::TY_LLVMAsm : types::TY_LLVMBC;
567 return new CompileJobAction(Input, Output);
568 } else {
569 return new CompileJobAction(Input, types::TY_PP_Asm);
570 }
571 }
572 case phases::Assemble:
573 return new AssembleJobAction(Input, types::TY_Object);
574 }
575
576 assert(0 && "invalid phase in ConstructPhaseAction");
577 return 0;
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000578}
579
Daniel Dunbar57b704d2009-03-13 22:12:33 +0000580Compilation *Driver::BuildJobs(const ArgList &Args,
581 const ActionList &Actions) const {
Daniel Dunbar57b704d2009-03-13 22:12:33 +0000582 return 0;
583}
584
Daniel Dunbar2ba38ba2009-03-16 05:25:36 +0000585llvm::sys::Path Driver::GetFilePath(const char *Name,
586 const ToolChain *TC) const {
Daniel Dunbarcb881672009-03-13 00:51:18 +0000587 // FIXME: Implement.
Daniel Dunbar2ba38ba2009-03-16 05:25:36 +0000588 if (!TC) TC = DefaultToolChain;
589
Daniel Dunbarcb881672009-03-13 00:51:18 +0000590 return llvm::sys::Path(Name);
591}
592
Daniel Dunbar2ba38ba2009-03-16 05:25:36 +0000593llvm::sys::Path Driver::GetProgramPath(const char *Name,
594 const ToolChain *TC) const {
Daniel Dunbarcb881672009-03-13 00:51:18 +0000595 // FIXME: Implement.
Daniel Dunbar2ba38ba2009-03-16 05:25:36 +0000596 if (!TC) TC = DefaultToolChain;
597
Daniel Dunbarcb881672009-03-13 00:51:18 +0000598 return llvm::sys::Path(Name);
599}
600
Daniel Dunbardd98e2c2009-03-10 23:41:59 +0000601HostInfo *Driver::GetHostInfo(const char *Triple) {
602 // Dice into arch, platform, and OS. This matches
603 // arch,platform,os = '(.*?)-(.*?)-(.*?)'
604 // and missing fields are left empty.
605 std::string Arch, Platform, OS;
606
607 if (const char *ArchEnd = strchr(Triple, '-')) {
608 Arch = std::string(Triple, ArchEnd);
609
610 if (const char *PlatformEnd = strchr(ArchEnd+1, '-')) {
611 Platform = std::string(ArchEnd+1, PlatformEnd);
612 OS = PlatformEnd+1;
613 } else
614 Platform = ArchEnd+1;
615 } else
616 Arch = Triple;
617
Daniel Dunbara88162c2009-03-13 12:23:29 +0000618 if (memcmp(&OS[0], "darwin", 6) == 0)
Daniel Dunbardd98e2c2009-03-10 23:41:59 +0000619 return new DarwinHostInfo(Arch.c_str(), Platform.c_str(), OS.c_str());
620
621 return new UnknownHostInfo(Arch.c_str(), Platform.c_str(), OS.c_str());
622}