blob: 06953170d72c4c27aca0ec3bab554fffa834a62f [file] [log] [blame]
Nick Lewyckye3365aa2010-09-23 23:48:20 +00001//===--- Driver.cpp - Clang GCC Compatible Driver -------------------------===//
Daniel Dunbar3ede8d02009-03-02 19:59:07 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Daniel 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 Dunbarf353c8c2009-03-16 06:56:51 +000017#include "clang/Driver/Job.h"
Daniel Dunbar27e738d2009-11-19 00:15:11 +000018#include "clang/Driver/OptTable.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 Dunbar06482622009-03-05 06:38:47 +000023
Douglas Gregorab41e632009-04-27 22:23:34 +000024#include "clang/Basic/Version.h"
25
Chris Lattner7f9fc3f2011-03-23 04:04:01 +000026#include "llvm/ADT/ArrayRef.h"
Daniel Dunbar13689542009-03-13 20:33:35 +000027#include "llvm/ADT/StringSet.h"
Ted Kremenek4d7b1472010-01-19 01:29:05 +000028#include "llvm/ADT/OwningPtr.h"
David Blaikie548f6c82011-09-23 05:57:42 +000029#include "llvm/Support/ErrorHandling.h"
Daniel Dunbar8f25c792009-03-18 01:38:48 +000030#include "llvm/Support/PrettyStackTrace.h"
Daniel Dunbar06482622009-03-05 06:38:47 +000031#include "llvm/Support/raw_ostream.h"
Michael J. Spencer256053b2010-12-17 21:22:22 +000032#include "llvm/Support/FileSystem.h"
Michael J. Spencer03013fa2010-11-29 18:12:39 +000033#include "llvm/Support/Path.h"
34#include "llvm/Support/Program.h"
Daniel Dunbarba102132009-03-13 12:19:02 +000035
Daniel Dunbarf353c8c2009-03-16 06:56:51 +000036#include "InputInfo.h"
Chandler Carruth18d7f3a2012-01-25 11:01:57 +000037#include "ToolChains.h"
Daniel Dunbarf353c8c2009-03-16 06:56:51 +000038
Dylan Noblesmithf2462be2012-02-02 00:40:14 +000039#include <map>
Dylan Noblesmith69d3b4f2012-02-01 14:25:28 +000040
Dylan Noblesmithcc8a9452012-02-14 15:54:49 +000041#include "clang/Config/config.h"
42
Daniel Dunbar1b3bb6e2009-03-04 20:49:20 +000043using namespace clang::driver;
Chris Lattner92b36992009-03-26 05:56:24 +000044using namespace clang;
Daniel Dunbar1b3bb6e2009-03-04 20:49:20 +000045
Chris Lattner5f9e2722011-07-23 10:55:15 +000046Driver::Driver(StringRef ClangExecutable,
Sebastian Pop9606a572012-01-13 20:36:46 +000047 StringRef DefaultTargetTriple,
Chris Lattner5f9e2722011-07-23 10:55:15 +000048 StringRef DefaultImageName,
Bob Wilson10a82cd2011-10-04 05:34:14 +000049 bool IsProduction,
David Blaikied6471f72011-09-25 23:23:43 +000050 DiagnosticsEngine &Diags)
Nick Lewycky7e46d0b2011-06-04 05:19:42 +000051 : Opts(createDriverOptTable()), Diags(Diags),
52 ClangExecutable(ClangExecutable), UseStdLib(true),
Chad Rosierabac4412012-01-14 00:30:11 +000053 DefaultTargetTriple(DefaultTargetTriple),
54 DefaultImageName(DefaultImageName),
Daniel Dunbar43302d42010-02-25 03:31:53 +000055 DriverTitle("clang \"gcc-compatible\" driver"),
Daniel Dunbarc8a22b02011-04-07 18:01:20 +000056 CCPrintOptionsFilename(0), CCPrintHeadersFilename(0),
57 CCLogDiagnosticsFilename(0), CCCIsCXX(false),
Joerg Sonnenberger951c5702011-03-07 00:09:32 +000058 CCCIsCPP(false),CCCEcho(false), CCCPrintBindings(false),
Daniel Dunbarc8a22b02011-04-07 18:01:20 +000059 CCPrintOptions(false), CCPrintHeaders(false), CCLogDiagnostics(false),
Chad Rosier2b819102011-08-02 17:58:04 +000060 CCGenDiagnostics(false), CCCGenericGCCName(""), CheckInputsExist(true),
61 CCCUseClang(true), CCCUseClangCXX(true), CCCUseClangCPP(true),
62 CCCUsePCH(true), SuppressMissingInputWarning(false) {
Daniel Dunbarf44c5852009-09-22 22:31:13 +000063 if (IsProduction) {
64 // In a "production" build, only use clang on architectures we expect to
David Blaikieb9da5572012-02-09 03:57:02 +000065 // work.
Daniel Dunbarf44c5852009-09-22 22:31:13 +000066 //
67 // During development its more convenient to always have the driver use
68 // clang, but we don't want users to be confused when things don't work, or
69 // to file bugs for things we don't support.
70 CCCClangArchs.insert(llvm::Triple::x86);
71 CCCClangArchs.insert(llvm::Triple::x86_64);
72 CCCClangArchs.insert(llvm::Triple::arm);
Daniel Dunbarf44c5852009-09-22 22:31:13 +000073 }
Daniel Dunbar225c4172010-01-20 02:35:16 +000074
Michael J. Spencerd5b08be2010-12-18 04:13:32 +000075 Name = llvm::sys::path::stem(ClangExecutable);
76 Dir = llvm::sys::path::parent_path(ClangExecutable);
Daniel Dunbar0bbad512010-07-19 00:44:04 +000077
Daniel Dunbar225c4172010-01-20 02:35:16 +000078 // Compute the path to the resource directory.
Chris Lattner5f9e2722011-07-23 10:55:15 +000079 StringRef ClangResourceDir(CLANG_RESOURCE_DIR);
Dylan Noblesmithf7ccbad2012-02-05 02:13:05 +000080 SmallString<128> P(Dir);
Michael J. Spencerd5b08be2010-12-18 04:13:32 +000081 if (ClangResourceDir != "")
82 llvm::sys::path::append(P, ClangResourceDir);
83 else
84 llvm::sys::path::append(P, "..", "lib", "clang", CLANG_VERSION_STRING);
Daniel Dunbar225c4172010-01-20 02:35:16 +000085 ResourceDir = P.str();
Daniel Dunbar3ede8d02009-03-02 19:59:07 +000086}
87
88Driver::~Driver() {
Daniel Dunbar1b3bb6e2009-03-04 20:49:20 +000089 delete Opts;
Chandler Carruth18d7f3a2012-01-25 11:01:57 +000090
91 for (llvm::StringMap<ToolChain *>::iterator I = ToolChains.begin(),
92 E = ToolChains.end();
93 I != E; ++I)
94 delete I->second;
Daniel Dunbar3ede8d02009-03-02 19:59:07 +000095}
96
Chris Lattner2d3ba4f2011-07-23 17:14:25 +000097InputArgList *Driver::ParseArgStrings(ArrayRef<const char *> ArgList) {
Daniel Dunbar8f25c792009-03-18 01:38:48 +000098 llvm::PrettyStackTraceString CrashInfo("Command line argument parsing");
Daniel Dunbar847abaa2009-11-19 06:35:06 +000099 unsigned MissingArgIndex, MissingArgCount;
Chris Lattner7f9fc3f2011-03-23 04:04:01 +0000100 InputArgList *Args = getOpts().ParseArgs(ArgList.begin(), ArgList.end(),
Daniel Dunbar847abaa2009-11-19 06:35:06 +0000101 MissingArgIndex, MissingArgCount);
Daniel Dunbara8231832009-09-08 23:36:43 +0000102
Daniel Dunbar847abaa2009-11-19 06:35:06 +0000103 // Check for missing argument error.
104 if (MissingArgCount)
105 Diag(clang::diag::err_drv_missing_argument)
106 << Args->getArgString(MissingArgIndex) << MissingArgCount;
Daniel Dunbarad2a9af2009-03-13 11:38:42 +0000107
Daniel Dunbar847abaa2009-11-19 06:35:06 +0000108 // Check for unsupported options.
109 for (ArgList::const_iterator it = Args->begin(), ie = Args->end();
110 it != ie; ++it) {
111 Arg *A = *it;
Daniel Dunbarb0c4df52009-03-22 23:26:43 +0000112 if (A->getOption().isUnsupported()) {
113 Diag(clang::diag::err_drv_unsupported_opt) << A->getAsString(*Args);
114 continue;
115 }
Chad Rosier2dd17a12012-02-22 17:55:22 +0000116
117 // Warn about -mcpu= without an argument.
118 if (A->getOption().matches(options::OPT_mcpu_EQ) &&
119 A->containsValue("")) {
120 Diag(clang::diag::warn_drv_empty_joined_argument) << A->getAsString(*Args);
121 }
Daniel Dunbar06482622009-03-05 06:38:47 +0000122 }
123
124 return Args;
125}
126
Chad Rosier1fc1de42011-07-27 23:36:45 +0000127// Determine which compilation mode we are in. We look for options which
128// affect the phase, starting with the earliest phases, and record which
129// option we used to determine the final phase.
130phases::ID Driver::getFinalPhase(const DerivedArgList &DAL, Arg **FinalPhaseArg)
131const {
132 Arg *PhaseArg = 0;
133 phases::ID FinalPhase;
Eric Christopher59f9b262011-08-17 22:59:59 +0000134
Chad Rosier1fc1de42011-07-27 23:36:45 +0000135 // -{E,M,MM} only run the preprocessor.
136 if (CCCIsCPP ||
137 (PhaseArg = DAL.getLastArg(options::OPT_E)) ||
138 (PhaseArg = DAL.getLastArg(options::OPT_M, options::OPT_MM))) {
139 FinalPhase = phases::Preprocess;
Eric Christopher59f9b262011-08-17 22:59:59 +0000140
Chad Rosier1fc1de42011-07-27 23:36:45 +0000141 // -{fsyntax-only,-analyze,emit-ast,S} only run up to the compiler.
142 } else if ((PhaseArg = DAL.getLastArg(options::OPT_fsyntax_only)) ||
143 (PhaseArg = DAL.getLastArg(options::OPT_rewrite_objc)) ||
144 (PhaseArg = DAL.getLastArg(options::OPT__analyze,
145 options::OPT__analyze_auto)) ||
146 (PhaseArg = DAL.getLastArg(options::OPT_emit_ast)) ||
147 (PhaseArg = DAL.getLastArg(options::OPT_S))) {
148 FinalPhase = phases::Compile;
149
150 // -c only runs up to the assembler.
151 } else if ((PhaseArg = DAL.getLastArg(options::OPT_c))) {
152 FinalPhase = phases::Assemble;
153
154 // Otherwise do everything.
155 } else
156 FinalPhase = phases::Link;
157
158 if (FinalPhaseArg)
159 *FinalPhaseArg = PhaseArg;
160
161 return FinalPhase;
162}
163
Daniel Dunbar279c1db2010-06-11 22:00:26 +0000164DerivedArgList *Driver::TranslateInputArgs(const InputArgList &Args) const {
165 DerivedArgList *DAL = new DerivedArgList(Args);
166
Daniel Dunbare5a37f42010-09-17 00:45:02 +0000167 bool HasNostdlib = Args.hasArg(options::OPT_nostdlib);
Daniel Dunbar279c1db2010-06-11 22:00:26 +0000168 for (ArgList::const_iterator it = Args.begin(),
Daniel Dunbarf78925f2010-06-14 21:23:12 +0000169 ie = Args.end(); it != ie; ++it) {
170 const Arg *A = *it;
171
172 // Unfortunately, we have to parse some forwarding options (-Xassembler,
173 // -Xlinker, -Xpreprocessor) because we either integrate their functionality
174 // (assembler and preprocessor), or bypass a previous driver ('collect2').
Daniel Dunbareda3f702010-06-14 21:37:09 +0000175
176 // Rewrite linker options, to replace --no-demangle with a custom internal
177 // option.
178 if ((A->getOption().matches(options::OPT_Wl_COMMA) ||
179 A->getOption().matches(options::OPT_Xlinker)) &&
180 A->containsValue("--no-demangle")) {
Daniel Dunbarf78925f2010-06-14 21:23:12 +0000181 // Add the rewritten no-demangle argument.
182 DAL->AddFlagArg(A, Opts->getOption(options::OPT_Z_Xlinker__no_demangle));
183
184 // Add the remaining values as Xlinker arguments.
185 for (unsigned i = 0, e = A->getNumValues(); i != e; ++i)
Chris Lattner5f9e2722011-07-23 10:55:15 +0000186 if (StringRef(A->getValue(Args, i)) != "--no-demangle")
Daniel Dunbarf78925f2010-06-14 21:23:12 +0000187 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_Xlinker),
188 A->getValue(Args, i));
189
190 continue;
191 }
192
Daniel Dunbareda3f702010-06-14 21:37:09 +0000193 // Rewrite preprocessor options, to replace -Wp,-MD,FOO which is used by
194 // some build systems. We don't try to be complete here because we don't
195 // care to encourage this usage model.
196 if (A->getOption().matches(options::OPT_Wp_COMMA) &&
197 A->getNumValues() == 2 &&
Chris Lattner5f9e2722011-07-23 10:55:15 +0000198 (A->getValue(Args, 0) == StringRef("-MD") ||
199 A->getValue(Args, 0) == StringRef("-MMD"))) {
Daniel Dunbar212df322010-06-15 20:30:18 +0000200 // Rewrite to -MD/-MMD along with -MF.
Chris Lattner5f9e2722011-07-23 10:55:15 +0000201 if (A->getValue(Args, 0) == StringRef("-MD"))
Daniel Dunbar212df322010-06-15 20:30:18 +0000202 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MD));
203 else
204 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MMD));
Daniel Dunbareda3f702010-06-14 21:37:09 +0000205 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_MF),
206 A->getValue(Args, 1));
207 continue;
208 }
209
Shantonu Sen7433fed2010-09-17 18:39:08 +0000210 // Rewrite reserved library names.
211 if (A->getOption().matches(options::OPT_l)) {
Chris Lattner5f9e2722011-07-23 10:55:15 +0000212 StringRef Value = A->getValue(Args);
Daniel Dunbare5a37f42010-09-17 00:45:02 +0000213
Shantonu Sen7433fed2010-09-17 18:39:08 +0000214 // Rewrite unless -nostdlib is present.
215 if (!HasNostdlib && Value == "stdc++") {
Daniel Dunbare5a37f42010-09-17 00:45:02 +0000216 DAL->AddFlagArg(A, Opts->getOption(
217 options::OPT_Z_reserved_lib_stdcxx));
218 continue;
219 }
Shantonu Sen7433fed2010-09-17 18:39:08 +0000220
221 // Rewrite unconditionally.
222 if (Value == "cc_kext") {
223 DAL->AddFlagArg(A, Opts->getOption(
224 options::OPT_Z_reserved_lib_cckext));
225 continue;
226 }
Daniel Dunbare5a37f42010-09-17 00:45:02 +0000227 }
228
Daniel Dunbar279c1db2010-06-11 22:00:26 +0000229 DAL->append(*it);
Daniel Dunbarf78925f2010-06-14 21:23:12 +0000230 }
Daniel Dunbar279c1db2010-06-11 22:00:26 +0000231
Daniel Dunbara77a7232010-08-12 00:05:12 +0000232 // Add a default value of -mlinker-version=, if one was given and the user
233 // didn't specify one.
234#if defined(HOST_LINK_VERSION)
235 if (!Args.hasArg(options::OPT_mlinker_version_EQ)) {
236 DAL->AddJoinedArg(0, Opts->getOption(options::OPT_mlinker_version_EQ),
237 HOST_LINK_VERSION);
Daniel Dunbarc326b642010-08-17 22:32:45 +0000238 DAL->getLastArg(options::OPT_mlinker_version_EQ)->claim();
Daniel Dunbara77a7232010-08-12 00:05:12 +0000239 }
240#endif
241
Daniel Dunbar279c1db2010-06-11 22:00:26 +0000242 return DAL;
243}
244
Chris Lattner2d3ba4f2011-07-23 17:14:25 +0000245Compilation *Driver::BuildCompilation(ArrayRef<const char *> ArgList) {
Daniel Dunbar8f25c792009-03-18 01:38:48 +0000246 llvm::PrettyStackTraceString CrashInfo("Compilation construction");
247
Eric Christopher59f9b262011-08-17 22:59:59 +0000248 // FIXME: Handle environment options which affect driver behavior, somewhere
Chad Rosier815eb6b2011-09-14 00:47:55 +0000249 // (client?). GCC_EXEC_PREFIX, LIBRARY_PATH, LPATH, CC_PRINT_OPTIONS.
250
251 if (char *env = ::getenv("COMPILER_PATH")) {
252 StringRef CompilerPath = env;
253 while (!CompilerPath.empty()) {
254 std::pair<StringRef, StringRef> Split = CompilerPath.split(':');
255 PrefixDirs.push_back(Split.first);
256 CompilerPath = Split.second;
257 }
258 }
Daniel Dunbarcb881672009-03-13 00:51:18 +0000259
260 // FIXME: What are we going to do with -V and -b?
261
Daniel Dunbara8231832009-09-08 23:36:43 +0000262 // FIXME: This stuff needs to go into the Compilation, not the driver.
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000263 bool CCCPrintOptions = false, CCCPrintActions = false;
Daniel Dunbar06482622009-03-05 06:38:47 +0000264
Chris Lattner7f9fc3f2011-03-23 04:04:01 +0000265 InputArgList *Args = ParseArgStrings(ArgList.slice(1));
Daniel Dunbar8477ee92009-12-04 21:55:23 +0000266
Rafael Espindola7ca79872009-12-07 18:28:29 +0000267 // -no-canonical-prefixes is used very early in main.
268 Args->ClaimAllArgs(options::OPT_no_canonical_prefixes);
269
Daniel Dunbarc19a12d2010-08-02 02:38:03 +0000270 // Ignore -pipe.
271 Args->ClaimAllArgs(options::OPT_pipe);
272
Daniel Dunbar8477ee92009-12-04 21:55:23 +0000273 // Extract -ccc args.
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000274 //
Daniel Dunbara8231832009-09-08 23:36:43 +0000275 // FIXME: We need to figure out where this behavior should live. Most of it
276 // should be outside in the client; the parts that aren't should have proper
277 // options, either by introducing new ones or by overloading gcc ones like -V
278 // or -b.
Daniel Dunbar8477ee92009-12-04 21:55:23 +0000279 CCCPrintOptions = Args->hasArg(options::OPT_ccc_print_options);
280 CCCPrintActions = Args->hasArg(options::OPT_ccc_print_phases);
281 CCCPrintBindings = Args->hasArg(options::OPT_ccc_print_bindings);
Daniel Dunbarf5431e32009-12-05 00:13:59 +0000282 CCCIsCXX = Args->hasArg(options::OPT_ccc_cxx) || CCCIsCXX;
Daniel Dunbar8477ee92009-12-04 21:55:23 +0000283 CCCEcho = Args->hasArg(options::OPT_ccc_echo);
284 if (const Arg *A = Args->getLastArg(options::OPT_ccc_gcc_name))
285 CCCGenericGCCName = A->getValue(*Args);
286 CCCUseClangCXX = Args->hasFlag(options::OPT_ccc_clang_cxx,
Daniel Dunbarf5431e32009-12-05 00:13:59 +0000287 options::OPT_ccc_no_clang_cxx,
288 CCCUseClangCXX);
Daniel Dunbar8477ee92009-12-04 21:55:23 +0000289 CCCUsePCH = Args->hasFlag(options::OPT_ccc_pch_is_pch,
290 options::OPT_ccc_pch_is_pth);
291 CCCUseClang = !Args->hasArg(options::OPT_ccc_no_clang);
292 CCCUseClangCPP = !Args->hasArg(options::OPT_ccc_no_clang_cpp);
293 if (const Arg *A = Args->getLastArg(options::OPT_ccc_clang_archs)) {
Chris Lattner5f9e2722011-07-23 10:55:15 +0000294 StringRef Cur = A->getValue(*Args);
Daniel Dunbara8231832009-09-08 23:36:43 +0000295
Daniel Dunbar8477ee92009-12-04 21:55:23 +0000296 CCCClangArchs.clear();
297 while (!Cur.empty()) {
Chris Lattner5f9e2722011-07-23 10:55:15 +0000298 std::pair<StringRef, StringRef> Split = Cur.split(',');
Daniel Dunbara8231832009-09-08 23:36:43 +0000299
Daniel Dunbar8477ee92009-12-04 21:55:23 +0000300 if (!Split.first.empty()) {
301 llvm::Triple::ArchType Arch =
302 llvm::Triple(Split.first, "", "").getArch();
Daniel Dunbar78d8a082009-04-01 23:34:41 +0000303
Daniel Dunbare9c7b9e2010-02-11 03:16:07 +0000304 if (Arch == llvm::Triple::UnknownArch)
305 Diag(clang::diag::err_drv_invalid_arch_name) << Split.first;
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000306
Daniel Dunbar8477ee92009-12-04 21:55:23 +0000307 CCCClangArchs.insert(Arch);
Daniel Dunbara6046be2009-09-08 23:36:55 +0000308 }
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000309
Daniel Dunbar8477ee92009-12-04 21:55:23 +0000310 Cur = Split.second;
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000311 }
312 }
Daniel Dunbar8477ee92009-12-04 21:55:23 +0000313 if (const Arg *A = Args->getLastArg(options::OPT_ccc_install_dir))
Daniel Dunbarc4ab3492010-08-23 20:58:50 +0000314 Dir = InstalledDir = A->getValue(*Args);
Benjamin Kramer09982ce2011-02-08 20:31:42 +0000315 for (arg_iterator it = Args->filtered_begin(options::OPT_B),
316 ie = Args->filtered_end(); it != ie; ++it) {
317 const Arg *A = *it;
318 A->claim();
319 PrefixDirs.push_back(A->getValue(*Args, 0));
320 }
Joerg Sonnenberger8ab2bdc2011-03-21 13:51:29 +0000321 if (const Arg *A = Args->getLastArg(options::OPT__sysroot_EQ))
322 SysRoot = A->getValue(*Args);
Joerg Sonnenberger05e59302011-03-21 13:59:26 +0000323 if (Args->hasArg(options::OPT_nostdlib))
324 UseStdLib = false;
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000325
Daniel Dunbar279c1db2010-06-11 22:00:26 +0000326 // Perform the default argument translations.
327 DerivedArgList *TranslatedArgs = TranslateInputArgs(*Args);
328
Chandler Carruth08386a92012-01-25 08:49:21 +0000329 // Owned by the host.
Chandler Carruth18d7f3a2012-01-25 11:01:57 +0000330 const ToolChain &TC = getToolChain(*Args);
Chandler Carruth08386a92012-01-25 08:49:21 +0000331
Daniel Dunbar586dc232009-03-16 06:42:30 +0000332 // The compilation takes ownership of Args.
Chandler Carruth08386a92012-01-25 08:49:21 +0000333 Compilation *C = new Compilation(*this, TC, Args, TranslatedArgs);
Daniel Dunbar21549232009-03-18 02:55:38 +0000334
335 // FIXME: This behavior shouldn't be here.
336 if (CCCPrintOptions) {
Daniel Dunbarbe21cd02010-06-11 22:43:38 +0000337 PrintOptions(C->getInputArgs());
Daniel Dunbar21549232009-03-18 02:55:38 +0000338 return C;
339 }
340
341 if (!HandleImmediateArgs(*C))
342 return C;
343
Chad Rosierbe69f602011-08-12 22:08:57 +0000344 // Construct the list of inputs.
345 InputList Inputs;
346 BuildInputs(C->getDefaultToolChain(), C->getArgs(), Inputs);
347
Chandler Carruth4a04d0b2012-01-24 10:43:44 +0000348 // Construct the list of abstract actions to perform for this compilation. On
349 // Darwin target OSes this uses the driver-driver and universal actions.
Chandler Carruth08386a92012-01-25 08:49:21 +0000350 if (TC.getTriple().isOSDarwin())
Joerg Sonnenberger65f71652011-03-07 01:15:29 +0000351 BuildUniversalActions(C->getDefaultToolChain(), C->getArgs(),
Chad Rosierbe69f602011-08-12 22:08:57 +0000352 Inputs, C->getActions());
Daniel Dunbar21549232009-03-18 02:55:38 +0000353 else
Chad Rosierbe69f602011-08-12 22:08:57 +0000354 BuildActions(C->getDefaultToolChain(), C->getArgs(), Inputs,
355 C->getActions());
Daniel Dunbar21549232009-03-18 02:55:38 +0000356
357 if (CCCPrintActions) {
Daniel Dunbar10ffa9a2009-03-18 03:13:20 +0000358 PrintActions(*C);
Daniel Dunbar21549232009-03-18 02:55:38 +0000359 return C;
360 }
361
362 BuildJobs(*C);
Daniel Dunbar8d2554a2009-03-15 01:38:15 +0000363
364 return C;
Daniel Dunbar365c02f2009-03-10 20:52:46 +0000365}
366
Eric Christopher59f9b262011-08-17 22:59:59 +0000367// When clang crashes, produce diagnostic information including the fully
368// preprocessed source file(s). Request that the developer attach the
Chad Rosier2b819102011-08-02 17:58:04 +0000369// diagnostic information to a bug report.
370void Driver::generateCompilationDiagnostics(Compilation &C,
371 const Command *FailingCommand) {
Chad Rosier2639ac62012-02-22 00:30:39 +0000372 if (C.getArgs().hasArg(options::OPT_fno_crash_diagnostics))
373 return;
374
Chad Rosier2b819102011-08-02 17:58:04 +0000375 Diag(clang::diag::note_drv_command_failed_diag_msg)
Chad Rosierfc614272011-08-02 20:44:34 +0000376 << "Please submit a bug report to " BUG_REPORT_URL " and include command"
377 " line arguments and all diagnostic information.";
Chad Rosier2b819102011-08-02 17:58:04 +0000378
379 // Suppress driver output and emit preprocessor output to temp file.
380 CCCIsCPP = true;
381 CCGenDiagnostics = true;
382
Chad Rosierce50c552011-11-02 21:29:05 +0000383 // Save the original job command(s).
384 std::string Cmd;
385 llvm::raw_string_ostream OS(Cmd);
386 C.PrintJob(OS, C.getJobs(), "\n", false);
387 OS.flush();
388
Chad Rosier2b819102011-08-02 17:58:04 +0000389 // Clear stale state and suppress tool output.
390 C.initCompilationForDiagnostics();
Chad Rosierbe69f602011-08-12 22:08:57 +0000391 Diags.Reset();
392
393 // Construct the list of inputs.
394 InputList Inputs;
395 BuildInputs(C.getDefaultToolChain(), C.getArgs(), Inputs);
Chad Rosier2b819102011-08-02 17:58:04 +0000396
Chad Rosier137a20b2011-08-12 23:30:05 +0000397 for (InputList::iterator it = Inputs.begin(), ie = Inputs.end(); it != ie;) {
Chad Rosier90c88022011-08-18 00:22:25 +0000398 bool IgnoreInput = false;
399
400 // Ignore input from stdin or any inputs that cannot be preprocessed.
401 if (!strcmp(it->second->getValue(C.getArgs()), "-")) {
402 Diag(clang::diag::note_drv_command_failed_diag_msg)
403 << "Error generating preprocessed source(s) - ignoring input from stdin"
404 ".";
405 IgnoreInput = true;
406 } else if (types::getPreprocessedType(it->first) == types::TY_INVALID) {
407 IgnoreInput = true;
408 }
409
410 if (IgnoreInput) {
Chad Rosier137a20b2011-08-12 23:30:05 +0000411 it = Inputs.erase(it);
412 ie = Inputs.end();
Chad Rosier30601782011-08-17 23:08:45 +0000413 } else {
Chad Rosier137a20b2011-08-12 23:30:05 +0000414 ++it;
Chad Rosier30601782011-08-17 23:08:45 +0000415 }
Chad Rosier137a20b2011-08-12 23:30:05 +0000416 }
Chad Rosier90c88022011-08-18 00:22:25 +0000417
Chad Rosier46e39082011-09-06 23:52:36 +0000418 // Don't attempt to generate preprocessed files if multiple -arch options are
Chad Rosierc5638912012-02-13 18:16:28 +0000419 // used, unless they're all duplicates.
420 llvm::StringSet<> ArchNames;
Chad Rosier46e39082011-09-06 23:52:36 +0000421 for (ArgList::const_iterator it = C.getArgs().begin(), ie = C.getArgs().end();
422 it != ie; ++it) {
423 Arg *A = *it;
424 if (A->getOption().matches(options::OPT_arch)) {
Chad Rosierc5638912012-02-13 18:16:28 +0000425 StringRef ArchName = A->getValue(C.getArgs());
426 ArchNames.insert(ArchName);
Chad Rosier46e39082011-09-06 23:52:36 +0000427 }
428 }
Chad Rosierc5638912012-02-13 18:16:28 +0000429 if (ArchNames.size() > 1) {
430 Diag(clang::diag::note_drv_command_failed_diag_msg)
431 << "Error generating preprocessed source(s) - cannot generate "
432 "preprocessed source with multiple -arch options.";
433 return;
434 }
Chad Rosier46e39082011-09-06 23:52:36 +0000435
Chad Rosier137a20b2011-08-12 23:30:05 +0000436 if (Inputs.empty()) {
437 Diag(clang::diag::note_drv_command_failed_diag_msg)
438 << "Error generating preprocessed source(s) - no preprocessable inputs.";
439 return;
440 }
441
Chandler Carruth4a04d0b2012-01-24 10:43:44 +0000442 // Construct the list of abstract actions to perform for this compilation. On
443 // Darwin OSes this uses the driver-driver and builds universal actions.
Chandler Carruth08386a92012-01-25 08:49:21 +0000444 const ToolChain &TC = C.getDefaultToolChain();
445 if (TC.getTriple().isOSDarwin())
446 BuildUniversalActions(TC, C.getArgs(), Inputs, C.getActions());
Chad Rosier2b819102011-08-02 17:58:04 +0000447 else
Chandler Carruth08386a92012-01-25 08:49:21 +0000448 BuildActions(TC, C.getArgs(), Inputs, C.getActions());
Chad Rosier2b819102011-08-02 17:58:04 +0000449
450 BuildJobs(C);
451
452 // If there were errors building the compilation, quit now.
453 if (Diags.hasErrorOccurred()) {
454 Diag(clang::diag::note_drv_command_failed_diag_msg)
455 << "Error generating preprocessed source(s).";
456 return;
457 }
458
459 // Generate preprocessed output.
460 FailingCommand = 0;
461 int Res = C.ExecuteJob(C.getJobs(), FailingCommand);
462
463 // If the command succeeded, we are done.
464 if (Res == 0) {
465 Diag(clang::diag::note_drv_command_failed_diag_msg)
Chad Rosierce50c552011-11-02 21:29:05 +0000466 << "Preprocessed source(s) and associated run script(s) are located at:";
Chad Rosier2b819102011-08-02 17:58:04 +0000467 ArgStringList Files = C.getTempFiles();
Eric Christopher59f9b262011-08-17 22:59:59 +0000468 for (ArgStringList::const_iterator it = Files.begin(), ie = Files.end();
Chad Rosierce50c552011-11-02 21:29:05 +0000469 it != ie; ++it) {
Chad Rosier2b819102011-08-02 17:58:04 +0000470 Diag(clang::diag::note_drv_command_failed_diag_msg) << *it;
Chad Rosierce50c552011-11-02 21:29:05 +0000471
472 std::string Err;
473 std::string Script = StringRef(*it).rsplit('.').first;
474 Script += ".sh";
475 llvm::raw_fd_ostream ScriptOS(Script.c_str(), Err,
476 llvm::raw_fd_ostream::F_Excl |
477 llvm::raw_fd_ostream::F_Binary);
478 if (!Err.empty()) {
479 Diag(clang::diag::note_drv_command_failed_diag_msg)
480 << "Error generating run script: " + Script + " " + Err;
481 } else {
482 ScriptOS << Cmd;
483 Diag(clang::diag::note_drv_command_failed_diag_msg) << Script;
484 }
485 }
Chad Rosier2b819102011-08-02 17:58:04 +0000486 } else {
487 // Failure, remove preprocessed files.
488 if (!C.getArgs().hasArg(options::OPT_save_temps))
489 C.CleanupFileList(C.getTempFiles(), true);
490
491 Diag(clang::diag::note_drv_command_failed_diag_msg)
492 << "Error generating preprocessed source(s).";
493 }
494}
495
496int Driver::ExecuteCompilation(const Compilation &C,
497 const Command *&FailingCommand) const {
Daniel Dunbarc88a88f2009-07-01 20:03:04 +0000498 // Just print if -### was present.
499 if (C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
500 C.PrintJob(llvm::errs(), C.getJobs(), "\n", true);
501 return 0;
502 }
503
504 // If there were errors building the compilation, quit now.
Chad Rosier2b819102011-08-02 17:58:04 +0000505 if (Diags.hasErrorOccurred())
Daniel Dunbarc88a88f2009-07-01 20:03:04 +0000506 return 1;
507
Daniel Dunbarc88a88f2009-07-01 20:03:04 +0000508 int Res = C.ExecuteJob(C.getJobs(), FailingCommand);
Daniel Dunbara8231832009-09-08 23:36:43 +0000509
Daniel Dunbarc88a88f2009-07-01 20:03:04 +0000510 // Remove temp files.
511 C.CleanupFileList(C.getTempFiles());
512
Daniel Dunbar9fcbc052010-05-22 00:37:20 +0000513 // If the command succeeded, we are done.
514 if (Res == 0)
515 return Res;
516
517 // Otherwise, remove result files as well.
Peter Collingbourne5d4d9802011-11-21 00:01:05 +0000518 if (!C.getArgs().hasArg(options::OPT_save_temps)) {
Daniel Dunbarc88a88f2009-07-01 20:03:04 +0000519 C.CleanupFileList(C.getResultFiles(), true);
520
Peter Collingbourne5d4d9802011-11-21 00:01:05 +0000521 // Failure result files are valid unless we crashed.
NAKAMURA Takumi573ea962011-11-29 07:47:04 +0000522 if (Res < 0) {
Peter Collingbourne5d4d9802011-11-21 00:01:05 +0000523 C.CleanupFileList(C.getFailureResultFiles(), true);
NAKAMURA Takumi573ea962011-11-29 07:47:04 +0000524#ifdef _WIN32
525 // Exit status should not be negative on Win32,
526 // unless abnormal termination.
527 Res = 1;
528#endif
529 }
Peter Collingbourne5d4d9802011-11-21 00:01:05 +0000530 }
531
Daniel Dunbarc88a88f2009-07-01 20:03:04 +0000532 // Print extra information about abnormal failures, if possible.
Daniel Dunbar9fcbc052010-05-22 00:37:20 +0000533 //
534 // This is ad-hoc, but we don't want to be excessively noisy. If the result
535 // status was 1, assume the command failed normally. In particular, if it was
536 // the compiler then assume it gave a reasonable error code. Failures in other
537 // tools are less common, and they generally have worse diagnostics, so always
538 // print the diagnostic there.
539 const Tool &FailingTool = FailingCommand->getCreator();
Daniel Dunbarc88a88f2009-07-01 20:03:04 +0000540
Daniel Dunbar9fcbc052010-05-22 00:37:20 +0000541 if (!FailingCommand->getCreator().hasGoodDiagnostics() || Res != 1) {
542 // FIXME: See FIXME above regarding result code interpretation.
543 if (Res < 0)
544 Diag(clang::diag::err_drv_command_signalled)
Benjamin Kramerecff7c82011-11-19 10:24:49 +0000545 << FailingTool.getShortName();
Daniel Dunbar9fcbc052010-05-22 00:37:20 +0000546 else
547 Diag(clang::diag::err_drv_command_failed)
548 << FailingTool.getShortName() << Res;
Daniel Dunbarc88a88f2009-07-01 20:03:04 +0000549 }
550
551 return Res;
552}
553
Daniel Dunbard65bddc2009-03-12 18:24:49 +0000554void Driver::PrintOptions(const ArgList &Args) const {
Daniel Dunbar06482622009-03-05 06:38:47 +0000555 unsigned i = 0;
Daniel Dunbara8231832009-09-08 23:36:43 +0000556 for (ArgList::const_iterator it = Args.begin(), ie = Args.end();
Daniel Dunbar06482622009-03-05 06:38:47 +0000557 it != ie; ++it, ++i) {
558 Arg *A = *it;
559 llvm::errs() << "Option " << i << " - "
560 << "Name: \"" << A->getOption().getName() << "\", "
561 << "Values: {";
562 for (unsigned j = 0; j < A->getNumValues(); ++j) {
563 if (j)
564 llvm::errs() << ", ";
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000565 llvm::errs() << '"' << A->getValue(Args, j) << '"';
Daniel Dunbar06482622009-03-05 06:38:47 +0000566 }
567 llvm::errs() << "}\n";
Daniel Dunbar06482622009-03-05 06:38:47 +0000568 }
Daniel Dunbar3ede8d02009-03-02 19:59:07 +0000569}
Daniel Dunbardd98e2c2009-03-10 23:41:59 +0000570
Daniel Dunbarc35d71f2009-04-15 16:34:29 +0000571void Driver::PrintHelp(bool ShowHidden) const {
Daniel Dunbar43302d42010-02-25 03:31:53 +0000572 getOpts().PrintHelp(llvm::outs(), Name.c_str(), DriverTitle.c_str(),
573 ShowHidden);
Daniel Dunbar91e28af2009-03-31 21:38:17 +0000574}
575
Chris Lattner5f9e2722011-07-23 10:55:15 +0000576void Driver::PrintVersion(const Compilation &C, raw_ostream &OS) const {
Daniel Dunbara8231832009-09-08 23:36:43 +0000577 // FIXME: The following handlers should use a callback mechanism, we don't
578 // know what the client would like to do.
Ted Kremeneka18f1b82010-01-23 02:11:34 +0000579 OS << getClangFullVersion() << '\n';
Daniel Dunbar70c8db12009-03-26 16:09:13 +0000580 const ToolChain &TC = C.getDefaultToolChain();
Daniel Dunbar79300722009-07-21 20:06:58 +0000581 OS << "Target: " << TC.getTripleString() << '\n';
Daniel Dunbar3ee96ba2009-06-16 23:32:58 +0000582
583 // Print the threading model.
584 //
585 // FIXME: Implement correctly.
Daniel Dunbar79300722009-07-21 20:06:58 +0000586 OS << "Thread model: " << "posix" << '\n';
Daniel Dunbarcb881672009-03-13 00:51:18 +0000587}
588
Chris Lattnerc3d26cc2010-05-05 05:53:24 +0000589/// PrintDiagnosticCategories - Implement the --print-diagnostic-categories
590/// option.
Chris Lattner5f9e2722011-07-23 10:55:15 +0000591static void PrintDiagnosticCategories(raw_ostream &OS) {
Argyrios Kyrtzidis477aab62011-05-25 05:05:01 +0000592 // Skip the empty category.
593 for (unsigned i = 1, max = DiagnosticIDs::getNumberOfCategories();
594 i != max; ++i)
595 OS << i << ',' << DiagnosticIDs::getCategoryNameFromID(i) << '\n';
Chris Lattnerc3d26cc2010-05-05 05:53:24 +0000596}
597
Daniel Dunbar21549232009-03-18 02:55:38 +0000598bool Driver::HandleImmediateArgs(const Compilation &C) {
Daniel Dunbare82ec0b2010-06-11 22:00:19 +0000599 // The order these options are handled in gcc is all over the place, but we
Daniel Dunbara8231832009-09-08 23:36:43 +0000600 // don't expect inconsistencies w.r.t. that to matter in practice.
Daniel Dunbar91e28af2009-03-31 21:38:17 +0000601
Daniel Dunbard8299502010-09-17 02:47:28 +0000602 if (C.getArgs().hasArg(options::OPT_dumpmachine)) {
603 llvm::outs() << C.getDefaultToolChain().getTripleString() << '\n';
604 return false;
605 }
606
Daniel Dunbare06dc212009-04-04 05:17:38 +0000607 if (C.getArgs().hasArg(options::OPT_dumpversion)) {
Daniel Dunbar95a907f2011-01-12 00:43:47 +0000608 // Since -dumpversion is only implemented for pedantic GCC compatibility, we
609 // return an answer which matches our definition of __VERSION__.
610 //
611 // If we want to return a more correct answer some day, then we should
612 // introduce a non-pedantically GCC compatible mode to Clang in which we
613 // provide sensible definitions for -dumpversion, __VERSION__, etc.
614 llvm::outs() << "4.2.1\n";
Daniel Dunbare06dc212009-04-04 05:17:38 +0000615 return false;
616 }
Daniel Dunbarf78925f2010-06-14 21:23:12 +0000617
Chris Lattnerc3d26cc2010-05-05 05:53:24 +0000618 if (C.getArgs().hasArg(options::OPT__print_diagnostic_categories)) {
619 PrintDiagnosticCategories(llvm::outs());
620 return false;
621 }
Daniel Dunbare06dc212009-04-04 05:17:38 +0000622
Daniel Dunbara8231832009-09-08 23:36:43 +0000623 if (C.getArgs().hasArg(options::OPT__help) ||
Daniel Dunbarc35d71f2009-04-15 16:34:29 +0000624 C.getArgs().hasArg(options::OPT__help_hidden)) {
625 PrintHelp(C.getArgs().hasArg(options::OPT__help_hidden));
Daniel Dunbar91e28af2009-03-31 21:38:17 +0000626 return false;
627 }
628
Daniel Dunbar6cc73de2009-04-02 15:05:41 +0000629 if (C.getArgs().hasArg(options::OPT__version)) {
Daniel Dunbara8231832009-09-08 23:36:43 +0000630 // Follow gcc behavior and use stdout for --version and stderr for -v.
Daniel Dunbar79300722009-07-21 20:06:58 +0000631 PrintVersion(C, llvm::outs());
Daniel Dunbar6cc73de2009-04-02 15:05:41 +0000632 return false;
633 }
634
Daniel Dunbara8231832009-09-08 23:36:43 +0000635 if (C.getArgs().hasArg(options::OPT_v) ||
Daniel Dunbar21549232009-03-18 02:55:38 +0000636 C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) {
Daniel Dunbar79300722009-07-21 20:06:58 +0000637 PrintVersion(C, llvm::errs());
Daniel Dunbarcb881672009-03-13 00:51:18 +0000638 SuppressMissingInputWarning = true;
639 }
640
Daniel Dunbar21549232009-03-18 02:55:38 +0000641 const ToolChain &TC = C.getDefaultToolChain();
Daniel Dunbarca3459e2009-03-20 04:37:21 +0000642 if (C.getArgs().hasArg(options::OPT_print_search_dirs)) {
643 llvm::outs() << "programs: =";
644 for (ToolChain::path_list::const_iterator it = TC.getProgramPaths().begin(),
645 ie = TC.getProgramPaths().end(); it != ie; ++it) {
646 if (it != TC.getProgramPaths().begin())
647 llvm::outs() << ':';
648 llvm::outs() << *it;
649 }
650 llvm::outs() << "\n";
Peter Collingbourne41ee7a32011-09-06 02:08:31 +0000651 llvm::outs() << "libraries: =" << ResourceDir;
Joerg Sonnenberger59c84572011-07-16 10:50:05 +0000652
653 std::string sysroot;
654 if (Arg *A = C.getArgs().getLastArg(options::OPT__sysroot_EQ))
655 sysroot = A->getValue(C.getArgs());
656
Daniel Dunbara8231832009-09-08 23:36:43 +0000657 for (ToolChain::path_list::const_iterator it = TC.getFilePaths().begin(),
Daniel Dunbarca3459e2009-03-20 04:37:21 +0000658 ie = TC.getFilePaths().end(); it != ie; ++it) {
Peter Collingbourne41ee7a32011-09-06 02:08:31 +0000659 llvm::outs() << ':';
Joerg Sonnenberger59c84572011-07-16 10:50:05 +0000660 const char *path = it->c_str();
661 if (path[0] == '=')
662 llvm::outs() << sysroot << path + 1;
663 else
664 llvm::outs() << path;
Daniel Dunbarca3459e2009-03-20 04:37:21 +0000665 }
666 llvm::outs() << "\n";
Daniel Dunbar91e28af2009-03-31 21:38:17 +0000667 return false;
Daniel Dunbarca3459e2009-03-20 04:37:21 +0000668 }
669
Daniel Dunbara8231832009-09-08 23:36:43 +0000670 // FIXME: The following handlers should use a callback mechanism, we don't
671 // know what the client would like to do.
Daniel Dunbar21549232009-03-18 02:55:38 +0000672 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_file_name_EQ)) {
Daniel Dunbar5ed34f42009-09-09 22:33:00 +0000673 llvm::outs() << GetFilePath(A->getValue(C.getArgs()), TC) << "\n";
Daniel Dunbarcb881672009-03-13 00:51:18 +0000674 return false;
675 }
676
Daniel Dunbar21549232009-03-18 02:55:38 +0000677 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_prog_name_EQ)) {
Daniel Dunbar5ed34f42009-09-09 22:33:00 +0000678 llvm::outs() << GetProgramPath(A->getValue(C.getArgs()), TC) << "\n";
Daniel Dunbarcb881672009-03-13 00:51:18 +0000679 return false;
680 }
681
Daniel Dunbar21549232009-03-18 02:55:38 +0000682 if (C.getArgs().hasArg(options::OPT_print_libgcc_file_name)) {
Daniel Dunbar5ed34f42009-09-09 22:33:00 +0000683 llvm::outs() << GetFilePath("libgcc.a", TC) << "\n";
Daniel Dunbarcb881672009-03-13 00:51:18 +0000684 return false;
685 }
686
Daniel Dunbar12cfe032009-06-16 23:25:22 +0000687 if (C.getArgs().hasArg(options::OPT_print_multi_lib)) {
688 // FIXME: We need tool chain support for this.
689 llvm::outs() << ".;\n";
690
691 switch (C.getDefaultToolChain().getTriple().getArch()) {
692 default:
693 break;
Daniel Dunbara8231832009-09-08 23:36:43 +0000694
Daniel Dunbar12cfe032009-06-16 23:25:22 +0000695 case llvm::Triple::x86_64:
696 llvm::outs() << "x86_64;@m64" << "\n";
697 break;
698
699 case llvm::Triple::ppc64:
700 llvm::outs() << "ppc64;@m64" << "\n";
701 break;
702 }
703 return false;
704 }
705
706 // FIXME: What is the difference between print-multi-directory and
707 // print-multi-os-directory?
708 if (C.getArgs().hasArg(options::OPT_print_multi_directory) ||
709 C.getArgs().hasArg(options::OPT_print_multi_os_directory)) {
710 switch (C.getDefaultToolChain().getTriple().getArch()) {
711 default:
712 case llvm::Triple::x86:
713 case llvm::Triple::ppc:
714 llvm::outs() << "." << "\n";
715 break;
Daniel Dunbara8231832009-09-08 23:36:43 +0000716
Daniel Dunbar12cfe032009-06-16 23:25:22 +0000717 case llvm::Triple::x86_64:
718 llvm::outs() << "x86_64" << "\n";
719 break;
720
721 case llvm::Triple::ppc64:
722 llvm::outs() << "ppc64" << "\n";
723 break;
724 }
725 return false;
726 }
727
Daniel Dunbarcb881672009-03-13 00:51:18 +0000728 return true;
729}
730
Daniel Dunbara8231832009-09-08 23:36:43 +0000731static unsigned PrintActions1(const Compilation &C, Action *A,
Daniel Dunbarba102132009-03-13 12:19:02 +0000732 std::map<Action*, unsigned> &Ids) {
733 if (Ids.count(A))
734 return Ids[A];
Daniel Dunbara8231832009-09-08 23:36:43 +0000735
Daniel Dunbarba102132009-03-13 12:19:02 +0000736 std::string str;
737 llvm::raw_string_ostream os(str);
Daniel Dunbara8231832009-09-08 23:36:43 +0000738
Daniel Dunbarba102132009-03-13 12:19:02 +0000739 os << Action::getClassName(A->getKind()) << ", ";
Daniel Dunbara8231832009-09-08 23:36:43 +0000740 if (InputAction *IA = dyn_cast<InputAction>(A)) {
Daniel Dunbar10ffa9a2009-03-18 03:13:20 +0000741 os << "\"" << IA->getInputArg().getValue(C.getArgs()) << "\"";
Daniel Dunbarba102132009-03-13 12:19:02 +0000742 } else if (BindArchAction *BIA = dyn_cast<BindArchAction>(A)) {
Daniel Dunbara8231832009-09-08 23:36:43 +0000743 os << '"' << (BIA->getArchName() ? BIA->getArchName() :
Daniel Dunbar10ffa9a2009-03-18 03:13:20 +0000744 C.getDefaultToolChain().getArchName()) << '"'
745 << ", {" << PrintActions1(C, *BIA->begin(), Ids) << "}";
Daniel Dunbarba102132009-03-13 12:19:02 +0000746 } else {
747 os << "{";
748 for (Action::iterator it = A->begin(), ie = A->end(); it != ie;) {
Daniel Dunbar10ffa9a2009-03-18 03:13:20 +0000749 os << PrintActions1(C, *it, Ids);
Daniel Dunbarba102132009-03-13 12:19:02 +0000750 ++it;
751 if (it != ie)
752 os << ", ";
753 }
754 os << "}";
755 }
756
757 unsigned Id = Ids.size();
758 Ids[A] = Id;
Daniel Dunbara8231832009-09-08 23:36:43 +0000759 llvm::errs() << Id << ": " << os.str() << ", "
Daniel Dunbarba102132009-03-13 12:19:02 +0000760 << types::getTypeName(A->getType()) << "\n";
761
762 return Id;
763}
764
Daniel Dunbar10ffa9a2009-03-18 03:13:20 +0000765void Driver::PrintActions(const Compilation &C) const {
Daniel Dunbarba102132009-03-13 12:19:02 +0000766 std::map<Action*, unsigned> Ids;
Daniel Dunbara8231832009-09-08 23:36:43 +0000767 for (ActionList::const_iterator it = C.getActions().begin(),
Daniel Dunbar10ffa9a2009-03-18 03:13:20 +0000768 ie = C.getActions().end(); it != ie; ++it)
769 PrintActions1(C, *it, Ids);
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000770}
771
Joerg Sonnenberger9d0fbea2011-05-06 14:05:11 +0000772/// \brief Check whether the given input tree contains any compilation or
773/// assembly actions.
774static bool ContainsCompileOrAssembleAction(const Action *A) {
Daniel Dunbarb5e2f692010-06-29 16:38:33 +0000775 if (isa<CompileJobAction>(A) || isa<AssembleJobAction>(A))
776 return true;
777
778 for (Action::const_iterator it = A->begin(), ie = A->end(); it != ie; ++it)
Joerg Sonnenberger9d0fbea2011-05-06 14:05:11 +0000779 if (ContainsCompileOrAssembleAction(*it))
Daniel Dunbarb5e2f692010-06-29 16:38:33 +0000780 return true;
781
782 return false;
783}
784
Daniel Dunbar74edcea2010-08-02 05:43:51 +0000785void Driver::BuildUniversalActions(const ToolChain &TC,
Joerg Sonnenberger65f71652011-03-07 01:15:29 +0000786 const DerivedArgList &Args,
Chad Rosierbe69f602011-08-12 22:08:57 +0000787 const InputList &BAInputs,
Daniel Dunbar21549232009-03-18 02:55:38 +0000788 ActionList &Actions) const {
Daniel Dunbara8231832009-09-08 23:36:43 +0000789 llvm::PrettyStackTraceString CrashInfo("Building universal build actions");
790 // Collect the list of architectures. Duplicates are allowed, but should only
791 // be handled once (in the order seen).
Daniel Dunbar13689542009-03-13 20:33:35 +0000792 llvm::StringSet<> ArchNames;
Chris Lattner5f9e2722011-07-23 10:55:15 +0000793 SmallVector<const char *, 4> Archs;
Daniel Dunbara8231832009-09-08 23:36:43 +0000794 for (ArgList::const_iterator it = Args.begin(), ie = Args.end();
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000795 it != ie; ++it) {
796 Arg *A = *it;
797
Daniel Dunbarb827a052009-11-19 03:26:40 +0000798 if (A->getOption().matches(options::OPT_arch)) {
Daniel Dunbar36df2902009-09-08 23:37:30 +0000799 // Validate the option here; we don't save the type here because its
800 // particular spelling may participate in other driver choices.
801 llvm::Triple::ArchType Arch =
802 llvm::Triple::getArchTypeForDarwinArchName(A->getValue(Args));
803 if (Arch == llvm::Triple::UnknownArch) {
804 Diag(clang::diag::err_drv_invalid_arch_name)
805 << A->getAsString(Args);
806 continue;
807 }
808
Daniel Dunbar75877192009-03-19 07:55:12 +0000809 A->claim();
Daniel Dunbar3f30ddf2009-09-08 23:37:02 +0000810 if (ArchNames.insert(A->getValue(Args)))
811 Archs.push_back(A->getValue(Args));
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000812 }
813 }
814
Daniel Dunbara8231832009-09-08 23:36:43 +0000815 // When there is no explicit arch for this platform, make sure we still bind
816 // the architecture (to the default) so that -Xarch_ is handled correctly.
Daniel Dunbar10ffa9a2009-03-18 03:13:20 +0000817 if (!Archs.size())
818 Archs.push_back(0);
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000819
Daniel Dunbara8231832009-09-08 23:36:43 +0000820 // FIXME: We killed off some others but these aren't yet detected in a
821 // functional manner. If we added information to jobs about which "auxiliary"
822 // files they wrote then we could detect the conflict these cause downstream.
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000823 if (Archs.size() > 1) {
824 // No recovery needed, the point of this is just to prevent
825 // overwriting the same files.
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000826 if (const Arg *A = Args.getLastArg(options::OPT_save_temps))
Daniel Dunbara8231832009-09-08 23:36:43 +0000827 Diag(clang::diag::err_drv_invalid_opt_with_multiple_archs)
Daniel Dunbar38dd3d52009-03-20 06:14:23 +0000828 << A->getAsString(Args);
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000829 }
830
831 ActionList SingleActions;
Chad Rosierbe69f602011-08-12 22:08:57 +0000832 BuildActions(TC, Args, BAInputs, SingleActions);
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000833
Daniel Dunbarbe1cc3e2010-06-04 18:28:41 +0000834 // Add in arch bindings for every top level action, as well as lipo and
835 // dsymutil steps if needed.
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000836 for (unsigned i = 0, e = SingleActions.size(); i != e; ++i) {
837 Action *Act = SingleActions[i];
838
Daniel Dunbara8231832009-09-08 23:36:43 +0000839 // Make sure we can lipo this kind of output. If not (and it is an actual
840 // output) then we disallow, since we can't create an output file with the
841 // right name without overwriting it. We could remove this oddity by just
842 // changing the output names to include the arch, which would also fix
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000843 // -save-temps. Compatibility wins for now.
844
Daniel Dunbar3dbd6c52009-03-13 17:46:02 +0000845 if (Archs.size() > 1 && !types::canLipoType(Act->getType()))
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000846 Diag(clang::diag::err_drv_invalid_output_with_multiple_archs)
847 << types::getTypeName(Act->getType());
848
849 ActionList Inputs;
Daniel Dunbar32c1a2a2010-03-11 18:04:58 +0000850 for (unsigned i = 0, e = Archs.size(); i != e; ++i) {
Daniel Dunbar13689542009-03-13 20:33:35 +0000851 Inputs.push_back(new BindArchAction(Act, Archs[i]));
Daniel Dunbar32c1a2a2010-03-11 18:04:58 +0000852 if (i != 0)
853 Inputs.back()->setOwnsInputs(false);
854 }
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000855
Daniel Dunbara8231832009-09-08 23:36:43 +0000856 // Lipo if necessary, we do it this way because we need to set the arch flag
857 // so that -Xarch_ gets overwritten.
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000858 if (Inputs.size() == 1 || Act->getType() == types::TY_Nothing)
859 Actions.append(Inputs.begin(), Inputs.end());
860 else
861 Actions.push_back(new LipoJobAction(Inputs, Act->getType()));
Daniel Dunbarbe1cc3e2010-06-04 18:28:41 +0000862
Eric Christopherb822f722012-02-06 19:43:51 +0000863 // Handle debug info queries.
864 Arg *A = Args.getLastArg(options::OPT_g_Group);
Daniel Dunbarbe1cc3e2010-06-04 18:28:41 +0000865 if (A && !A->getOption().matches(options::OPT_g0) &&
Daniel Dunbarb5e2f692010-06-29 16:38:33 +0000866 !A->getOption().matches(options::OPT_gstabs) &&
Joerg Sonnenberger9d0fbea2011-05-06 14:05:11 +0000867 ContainsCompileOrAssembleAction(Actions.back())) {
Eric Christopherb822f722012-02-06 19:43:51 +0000868
869 // Add a 'dsymutil' step if necessary, when debug info is enabled and we
870 // have a compile input. We need to run 'dsymutil' ourselves in such cases
871 // because the debug info will refer to a temporary object file which is
872 // will be removed at the end of the compilation process.
873 if (Act->getType() == types::TY_Image) {
874 ActionList Inputs;
875 Inputs.push_back(Actions.back());
876 Actions.pop_back();
877 Actions.push_back(new DsymutilJobAction(Inputs, types::TY_dSYM));
878 }
Daniel Dunbarbe1cc3e2010-06-04 18:28:41 +0000879
Eric Christopherb822f722012-02-06 19:43:51 +0000880 // Verify the output (debug information only) if we passed '-verify'.
881 if (Args.hasArg(options::OPT_verify)) {
882 ActionList VerifyInputs;
Eric Christopherf8571862011-08-23 17:56:55 +0000883 VerifyInputs.push_back(Actions.back());
884 Actions.pop_back();
885 Actions.push_back(new VerifyJobAction(VerifyInputs,
886 types::TY_Nothing));
887 }
Daniel Dunbarbe1cc3e2010-06-04 18:28:41 +0000888 }
Daniel Dunbar2fe63e62009-03-12 18:40:18 +0000889 }
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000890}
891
Chad Rosierbe69f602011-08-12 22:08:57 +0000892// Construct a the list of inputs and their types.
893void Driver::BuildInputs(const ToolChain &TC, const DerivedArgList &Args,
894 InputList &Inputs) const {
Daniel Dunbara8231832009-09-08 23:36:43 +0000895 // Track the current user specified (-x) input. We also explicitly track the
896 // argument used to set the type; we only want to claim the type when we
897 // actually use it, so we warn about unused -x arguments.
Daniel Dunbar83dd21f2009-03-13 17:57:10 +0000898 types::ID InputType = types::TY_Nothing;
899 Arg *InputTypeArg = 0;
900
Daniel Dunbara8231832009-09-08 23:36:43 +0000901 for (ArgList::const_iterator it = Args.begin(), ie = Args.end();
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000902 it != ie; ++it) {
903 Arg *A = *it;
904
905 if (isa<InputOption>(A->getOption())) {
906 const char *Value = A->getValue(Args);
907 types::ID Ty = types::TY_INVALID;
908
909 // Infer the input type if necessary.
Daniel Dunbar83dd21f2009-03-13 17:57:10 +0000910 if (InputType == types::TY_Nothing) {
911 // If there was an explicit arg for this, claim it.
912 if (InputTypeArg)
913 InputTypeArg->claim();
914
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000915 // stdin must be handled specially.
916 if (memcmp(Value, "-", 2) == 0) {
Daniel Dunbara8231832009-09-08 23:36:43 +0000917 // If running with -E, treat as a C input (this changes the builtin
918 // macros, for example). This may be overridden by -ObjC below.
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000919 //
Daniel Dunbara8231832009-09-08 23:36:43 +0000920 // Otherwise emit an error but still use a valid type to avoid
921 // spurious errors (e.g., no inputs).
Joerg Sonnenberger9ade4ae2011-03-06 23:31:01 +0000922 if (!Args.hasArgNoClaim(options::OPT_E) && !CCCIsCPP)
Daniel Dunbarb897f5d2009-03-12 09:13:48 +0000923 Diag(clang::diag::err_drv_unknown_stdin_type);
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000924 Ty = types::TY_C;
925 } else {
Joerg Sonnenberger9a2927c2011-03-16 22:45:02 +0000926 // Otherwise lookup by extension.
927 // Fallback is C if invoked as C preprocessor or Object otherwise.
928 // We use a host hook here because Darwin at least has its own
Daniel Dunbara8231832009-09-08 23:36:43 +0000929 // idea of what .s is.
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000930 if (const char *Ext = strrchr(Value, '.'))
Daniel Dunbar41800112010-08-02 05:43:56 +0000931 Ty = TC.LookupTypeForExtension(Ext + 1);
Daniel Dunbare33bea42009-03-20 23:39:23 +0000932
Joerg Sonnenberger9a2927c2011-03-16 22:45:02 +0000933 if (Ty == types::TY_INVALID) {
934 if (CCCIsCPP)
935 Ty = types::TY_C;
936 else
937 Ty = types::TY_Object;
938 }
Daniel Dunbar51679c52010-02-17 20:32:58 +0000939
940 // If the driver is invoked as C++ compiler (like clang++ or c++) it
941 // should autodetect some input files as C++ for g++ compatibility.
942 if (CCCIsCXX) {
943 types::ID OldTy = Ty;
944 Ty = types::lookupCXXTypeForCType(Ty);
945
946 if (Ty != OldTy)
947 Diag(clang::diag::warn_drv_treating_input_as_cxx)
948 << getTypeName(OldTy) << getTypeName(Ty);
949 }
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000950 }
951
Daniel Dunbar683ca382009-05-18 21:47:54 +0000952 // -ObjC and -ObjC++ override the default language, but only for "source
953 // files". We just treat everything that isn't a linker input as a
954 // source file.
Daniel Dunbara8231832009-09-08 23:36:43 +0000955 //
Daniel Dunbar683ca382009-05-18 21:47:54 +0000956 // FIXME: Clean this up if we move the phase sequence into the type.
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000957 if (Ty != types::TY_Object) {
958 if (Args.hasArg(options::OPT_ObjC))
959 Ty = types::TY_ObjC;
960 else if (Args.hasArg(options::OPT_ObjCXX))
961 Ty = types::TY_ObjCXX;
962 }
963 } else {
964 assert(InputTypeArg && "InputType set w/o InputTypeArg");
965 InputTypeArg->claim();
966 Ty = InputType;
967 }
968
Daniel Dunbar3bd54cc2010-01-25 00:44:02 +0000969 // Check that the file exists, if enabled.
Argyrios Kyrtzidis389db162010-11-03 22:45:23 +0000970 if (CheckInputsExist && memcmp(Value, "-", 2) != 0) {
Dylan Noblesmithf7ccbad2012-02-05 02:13:05 +0000971 SmallString<64> Path(Value);
Aaron Ballman1367c9b2012-02-20 14:13:25 +0000972 if (Arg *WorkDir = Args.getLastArg(options::OPT_working_directory)) {
973 SmallString<64> Directory(WorkDir->getValue(Args));
974 if (llvm::sys::path::is_absolute(Directory.str())) {
975 llvm::sys::path::append(Directory, Value);
976 Path.assign(Directory);
Argyrios Kyrtzidis389db162010-11-03 22:45:23 +0000977 }
Aaron Ballman1367c9b2012-02-20 14:13:25 +0000978 }
Argyrios Kyrtzidis389db162010-11-03 22:45:23 +0000979
Michael J. Spencer256053b2010-12-17 21:22:22 +0000980 bool exists = false;
Aaron Ballman1367c9b2012-02-20 14:13:25 +0000981 if (llvm::sys::fs::exists(Path.c_str(), exists) || !exists)
Argyrios Kyrtzidis389db162010-11-03 22:45:23 +0000982 Diag(clang::diag::err_drv_no_such_file) << Path.str();
983 else
984 Inputs.push_back(std::make_pair(Ty, A));
985 } else
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000986 Inputs.push_back(std::make_pair(Ty, A));
987
988 } else if (A->getOption().isLinkerInput()) {
Daniel Dunbara8231832009-09-08 23:36:43 +0000989 // Just treat as object type, we could make a special type for this if
990 // necessary.
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000991 Inputs.push_back(std::make_pair(types::TY_Object, A));
992
Daniel Dunbarb827a052009-11-19 03:26:40 +0000993 } else if (A->getOption().matches(options::OPT_x)) {
Daniel Dunbara8231832009-09-08 23:36:43 +0000994 InputTypeArg = A;
Daniel Dunbar53ec5522009-03-12 07:58:46 +0000995 InputType = types::lookupTypeForTypeSpecifier(A->getValue(Args));
996
997 // Follow gcc behavior and treat as linker input for invalid -x
Daniel Dunbara8231832009-09-08 23:36:43 +0000998 // options. Its not clear why we shouldn't just revert to unknown; but
Michael J. Spencer74cae0c2010-12-17 21:22:33 +0000999 // this isn't very important, we might as well be bug compatible.
Daniel Dunbar53ec5522009-03-12 07:58:46 +00001000 if (!InputType) {
Daniel Dunbarb897f5d2009-03-12 09:13:48 +00001001 Diag(clang::diag::err_drv_unknown_language) << A->getValue(Args);
Daniel Dunbar53ec5522009-03-12 07:58:46 +00001002 InputType = types::TY_Object;
1003 }
1004 }
1005 }
Joerg Sonnenberger9ade4ae2011-03-06 23:31:01 +00001006 if (CCCIsCPP && Inputs.empty()) {
1007 // If called as standalone preprocessor, stdin is processed
1008 // if no other input is present.
Joerg Sonnenberger65f71652011-03-07 01:15:29 +00001009 unsigned Index = Args.getBaseArgs().MakeIndex("-");
Joerg Sonnenberger9ade4ae2011-03-06 23:31:01 +00001010 Arg *A = Opts->ParseOneArg(Args, Index);
1011 A->claim();
1012 Inputs.push_back(std::make_pair(types::TY_C, A));
1013 }
Chad Rosierbe69f602011-08-12 22:08:57 +00001014}
1015
1016void Driver::BuildActions(const ToolChain &TC, const DerivedArgList &Args,
1017 const InputList &Inputs, ActionList &Actions) const {
1018 llvm::PrettyStackTraceString CrashInfo("Building compilation actions");
Joerg Sonnenberger9ade4ae2011-03-06 23:31:01 +00001019
Daniel Dunbar8b1604e2009-03-13 00:17:48 +00001020 if (!SuppressMissingInputWarning && Inputs.empty()) {
Daniel Dunbaraf61c712009-03-12 23:55:14 +00001021 Diag(clang::diag::err_drv_no_input_files);
1022 return;
1023 }
1024
Chad Rosier1fc1de42011-07-27 23:36:45 +00001025 Arg *FinalPhaseArg;
1026 phases::ID FinalPhase = getFinalPhase(Args, &FinalPhaseArg);
Daniel Dunbaraf61c712009-03-12 23:55:14 +00001027
Daniel Dunbara8231832009-09-08 23:36:43 +00001028 // Reject -Z* at the top level, these options should never have been exposed
1029 // by gcc.
Daniel Dunbard7b88c22009-03-26 16:12:09 +00001030 if (Arg *A = Args.getLastArg(options::OPT_Z_Joined))
Daniel Dunbar38dd3d52009-03-20 06:14:23 +00001031 Diag(clang::diag::err_drv_use_of_Z_option) << A->getAsString(Args);
Daniel Dunbaraf61c712009-03-12 23:55:14 +00001032
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001033 // Construct the actions to perform.
1034 ActionList LinkerInputs;
Chad Rosier5183b3d2011-11-05 15:56:33 +00001035 unsigned NumSteps = 0;
Daniel Dunbar53ec5522009-03-12 07:58:46 +00001036 for (unsigned i = 0, e = Inputs.size(); i != e; ++i) {
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001037 types::ID InputType = Inputs[i].first;
1038 const Arg *InputArg = Inputs[i].second;
1039
Chad Rosier5183b3d2011-11-05 15:56:33 +00001040 NumSteps = types::getNumCompilationPhases(InputType);
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001041 assert(NumSteps && "Invalid number of steps!");
1042
Daniel Dunbara8231832009-09-08 23:36:43 +00001043 // If the first step comes after the final phase we are doing as part of
1044 // this compilation, warn the user about it.
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001045 phases::ID InitialPhase = types::getCompilationPhase(InputType, 0);
1046 if (InitialPhase > FinalPhase) {
Daniel Dunbar05494a72009-03-19 07:57:08 +00001047 // Claim here to avoid the more general unused warning.
1048 InputArg->claim();
Daniel Dunbar634b2452009-09-17 04:13:26 +00001049
Daniel Dunbar32c8cb62011-04-20 15:44:48 +00001050 // Suppress all unused style warnings with -Qunused-arguments
1051 if (Args.hasArg(options::OPT_Qunused_arguments))
1052 continue;
1053
Daniel Dunbar634b2452009-09-17 04:13:26 +00001054 // Special case '-E' warning on a previously preprocessed file to make
1055 // more sense.
1056 if (InitialPhase == phases::Compile && FinalPhase == phases::Preprocess &&
1057 getPreprocessedType(InputType) == types::TY_INVALID)
1058 Diag(clang::diag::warn_drv_preprocessed_input_file_unused)
1059 << InputArg->getAsString(Args)
1060 << FinalPhaseArg->getOption().getName();
1061 else
1062 Diag(clang::diag::warn_drv_input_file_unused)
1063 << InputArg->getAsString(Args)
1064 << getPhaseName(InitialPhase)
1065 << FinalPhaseArg->getOption().getName();
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001066 continue;
1067 }
Daniel Dunbara8231832009-09-08 23:36:43 +00001068
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001069 // Build the pipeline for this file.
Dylan Noblesmith6f42b622012-02-05 02:12:40 +00001070 OwningPtr<Action> Current(new InputAction(*InputArg, InputType));
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001071 for (unsigned i = 0; i != NumSteps; ++i) {
1072 phases::ID Phase = types::getCompilationPhase(InputType, i);
1073
1074 // We are done if this step is past what the user requested.
1075 if (Phase > FinalPhase)
1076 break;
1077
1078 // Queue linker inputs.
1079 if (Phase == phases::Link) {
1080 assert(i + 1 == NumSteps && "linking must be final compilation step.");
Ted Kremenek4d7b1472010-01-19 01:29:05 +00001081 LinkerInputs.push_back(Current.take());
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001082 break;
1083 }
1084
Daniel Dunbara8231832009-09-08 23:36:43 +00001085 // Some types skip the assembler phase (e.g., llvm-bc), but we can't
1086 // encode this in the steps because the intermediate type depends on
1087 // arguments. Just special case here.
Daniel Dunbar337a6272009-03-24 20:17:30 +00001088 if (Phase == phases::Assemble && Current->getType() != types::TY_PP_Asm)
1089 continue;
1090
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001091 // Otherwise construct the appropriate action.
Ted Kremenek4d7b1472010-01-19 01:29:05 +00001092 Current.reset(ConstructPhaseAction(Args, Phase, Current.take()));
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001093 if (Current->getType() == types::TY_Nothing)
1094 break;
1095 }
1096
1097 // If we ended with something, add to the output list.
1098 if (Current)
Ted Kremenek4d7b1472010-01-19 01:29:05 +00001099 Actions.push_back(Current.take());
Daniel Dunbar53ec5522009-03-12 07:58:46 +00001100 }
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001101
1102 // Add a link action if necessary.
1103 if (!LinkerInputs.empty())
1104 Actions.push_back(new LinkJobAction(LinkerInputs, types::TY_Image));
Daniel Dunbarf3601382009-12-22 23:19:32 +00001105
1106 // If we are linking, claim any options which are obviously only used for
1107 // compilation.
Chad Rosier5183b3d2011-11-05 15:56:33 +00001108 if (FinalPhase == phases::Link && (NumSteps == 1))
Daniel Dunbarf3601382009-12-22 23:19:32 +00001109 Args.ClaimAllArgs(options::OPT_CompileOnly_Group);
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001110}
1111
1112Action *Driver::ConstructPhaseAction(const ArgList &Args, phases::ID Phase,
1113 Action *Input) const {
Daniel Dunbar8f25c792009-03-18 01:38:48 +00001114 llvm::PrettyStackTraceString CrashInfo("Constructing phase actions");
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001115 // Build the appropriate action.
1116 switch (Phase) {
David Blaikieb219cfc2011-09-23 05:06:16 +00001117 case phases::Link: llvm_unreachable("link action invalid here.");
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001118 case phases::Preprocess: {
Daniel Dunbarcd8e4c42009-03-30 06:36:42 +00001119 types::ID OutputTy;
1120 // -{M, MM} alter the output type.
Daniel Dunbar9eb93b02010-12-08 21:33:40 +00001121 if (Args.hasArg(options::OPT_M, options::OPT_MM)) {
Daniel Dunbarcd8e4c42009-03-30 06:36:42 +00001122 OutputTy = types::TY_Dependencies;
1123 } else {
1124 OutputTy = types::getPreprocessedType(Input->getType());
1125 assert(OutputTy != types::TY_INVALID &&
1126 "Cannot preprocess this input type!");
1127 }
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001128 return new PreprocessJobAction(Input, OutputTy);
1129 }
1130 case phases::Precompile:
Daniel Dunbara8231832009-09-08 23:36:43 +00001131 return new PrecompileJobAction(Input, types::TY_PCH);
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001132 case phases::Compile: {
1133 if (Args.hasArg(options::OPT_fsyntax_only)) {
1134 return new CompileJobAction(Input, types::TY_Nothing);
Daniel Dunbar64952502010-02-11 03:16:21 +00001135 } else if (Args.hasArg(options::OPT_rewrite_objc)) {
1136 return new CompileJobAction(Input, types::TY_RewrittenObjC);
Daniel Dunbar63be57a2009-05-06 02:12:32 +00001137 } else if (Args.hasArg(options::OPT__analyze, options::OPT__analyze_auto)) {
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001138 return new AnalyzeJobAction(Input, types::TY_Plist);
Daniel Dunbar5915fbf2009-09-01 16:57:46 +00001139 } else if (Args.hasArg(options::OPT_emit_ast)) {
1140 return new CompileJobAction(Input, types::TY_AST);
Daniel Dunbared798952011-06-21 20:55:08 +00001141 } else if (IsUsingLTO(Args)) {
Daniel Dunbara8231832009-09-08 23:36:43 +00001142 types::ID Output =
Daniel Dunbar6c6424b2010-06-07 23:28:45 +00001143 Args.hasArg(options::OPT_S) ? types::TY_LTO_IR : types::TY_LTO_BC;
Daniel Dunbarad2a9af2009-03-13 11:38:42 +00001144 return new CompileJobAction(Input, Output);
1145 } else {
1146 return new CompileJobAction(Input, types::TY_PP_Asm);
1147 }
1148 }
1149 case phases::Assemble:
1150 return new AssembleJobAction(Input, types::TY_Object);
1151 }
1152
David Blaikieb219cfc2011-09-23 05:06:16 +00001153 llvm_unreachable("invalid phase in ConstructPhaseAction");
Daniel Dunbar53ec5522009-03-12 07:58:46 +00001154}
1155
Daniel Dunbared798952011-06-21 20:55:08 +00001156bool Driver::IsUsingLTO(const ArgList &Args) const {
1157 // Check for -emit-llvm or -flto.
1158 if (Args.hasArg(options::OPT_emit_llvm) ||
1159 Args.hasFlag(options::OPT_flto, options::OPT_fno_lto, false))
1160 return true;
1161
1162 // Check for -O4.
1163 if (const Arg *A = Args.getLastArg(options::OPT_O_Group))
1164 return A->getOption().matches(options::OPT_O4);
1165
1166 return false;
1167}
1168
Daniel Dunbar21549232009-03-18 02:55:38 +00001169void Driver::BuildJobs(Compilation &C) const {
Daniel Dunbar8f25c792009-03-18 01:38:48 +00001170 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001171
1172 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o);
1173
Daniel Dunbara8231832009-09-08 23:36:43 +00001174 // It is an error to provide a -o option if we are making multiple output
1175 // files.
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001176 if (FinalOutput) {
1177 unsigned NumOutputs = 0;
Daniel Dunbara8231832009-09-08 23:36:43 +00001178 for (ActionList::const_iterator it = C.getActions().begin(),
Daniel Dunbar21549232009-03-18 02:55:38 +00001179 ie = C.getActions().end(); it != ie; ++it)
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001180 if ((*it)->getType() != types::TY_Nothing)
1181 ++NumOutputs;
Daniel Dunbara8231832009-09-08 23:36:43 +00001182
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001183 if (NumOutputs > 1) {
1184 Diag(clang::diag::err_drv_output_argument_with_multiple_files);
1185 FinalOutput = 0;
1186 }
1187 }
1188
Daniel Dunbara8231832009-09-08 23:36:43 +00001189 for (ActionList::const_iterator it = C.getActions().begin(),
Daniel Dunbar21549232009-03-18 02:55:38 +00001190 ie = C.getActions().end(); it != ie; ++it) {
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001191 Action *A = *it;
1192
Daniel Dunbara8231832009-09-08 23:36:43 +00001193 // If we are linking an image for multiple archs then the linker wants
1194 // -arch_multiple and -final_output <final image name>. Unfortunately, this
1195 // doesn't fit in cleanly because we have to pass this information down.
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001196 //
Daniel Dunbara8231832009-09-08 23:36:43 +00001197 // FIXME: This is a hack; find a cleaner way to integrate this into the
1198 // process.
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001199 const char *LinkingOutput = 0;
Daniel Dunbard7b88c22009-03-26 16:12:09 +00001200 if (isa<LipoJobAction>(A)) {
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001201 if (FinalOutput)
1202 LinkingOutput = FinalOutput->getValue(C.getArgs());
1203 else
1204 LinkingOutput = DefaultImageName.c_str();
1205 }
1206
1207 InputInfo II;
Daniel Dunbara8231832009-09-08 23:36:43 +00001208 BuildJobsForAction(C, A, &C.getDefaultToolChain(),
Daniel Dunbar49540182009-09-09 18:36:01 +00001209 /*BoundArch*/0,
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001210 /*AtTopLevel*/ true,
1211 /*LinkingOutput*/ LinkingOutput,
1212 II);
1213 }
Daniel Dunbar586dc232009-03-16 06:42:30 +00001214
Daniel Dunbara8231832009-09-08 23:36:43 +00001215 // If the user passed -Qunused-arguments or there were errors, don't warn
1216 // about any unused arguments.
Argyrios Kyrtzidisbe3aab62010-11-18 21:47:07 +00001217 if (Diags.hasErrorOccurred() ||
Daniel Dunbar1e23f5f2009-04-07 19:04:18 +00001218 C.getArgs().hasArg(options::OPT_Qunused_arguments))
Daniel Dunbaraf2e4ba2009-03-18 18:03:46 +00001219 return;
1220
Daniel Dunbara2094e72009-03-29 22:24:54 +00001221 // Claim -### here.
1222 (void) C.getArgs().hasArg(options::OPT__HASH_HASH_HASH);
Daniel Dunbara8231832009-09-08 23:36:43 +00001223
Daniel Dunbar586dc232009-03-16 06:42:30 +00001224 for (ArgList::const_iterator it = C.getArgs().begin(), ie = C.getArgs().end();
1225 it != ie; ++it) {
1226 Arg *A = *it;
Daniel Dunbara8231832009-09-08 23:36:43 +00001227
Daniel Dunbar586dc232009-03-16 06:42:30 +00001228 // FIXME: It would be nice to be able to send the argument to the
David Blaikied6471f72011-09-25 23:23:43 +00001229 // DiagnosticsEngine, so that extra values, position, and so on could be
1230 // printed.
Daniel Dunbar4f53b292009-04-04 00:52:26 +00001231 if (!A->isClaimed()) {
Daniel Dunbar1e23f5f2009-04-07 19:04:18 +00001232 if (A->getOption().hasNoArgumentUnused())
1233 continue;
1234
Daniel Dunbara8231832009-09-08 23:36:43 +00001235 // Suppress the warning automatically if this is just a flag, and it is an
1236 // instance of an argument we already claimed.
Daniel Dunbar4f53b292009-04-04 00:52:26 +00001237 const Option &Opt = A->getOption();
1238 if (isa<FlagOption>(Opt)) {
1239 bool DuplicateClaimed = false;
1240
Daniel Dunbarcdd96862009-11-25 11:53:23 +00001241 for (arg_iterator it = C.getArgs().filtered_begin(&Opt),
1242 ie = C.getArgs().filtered_end(); it != ie; ++it) {
1243 if ((*it)->isClaimed()) {
Daniel Dunbar4f53b292009-04-04 00:52:26 +00001244 DuplicateClaimed = true;
1245 break;
1246 }
1247 }
1248
1249 if (DuplicateClaimed)
1250 continue;
1251 }
1252
Daniel Dunbara8231832009-09-08 23:36:43 +00001253 Diag(clang::diag::warn_drv_unused_argument)
Daniel Dunbar38dd3d52009-03-20 06:14:23 +00001254 << A->getAsString(C.getArgs());
Daniel Dunbar4f53b292009-04-04 00:52:26 +00001255 }
Daniel Dunbar586dc232009-03-16 06:42:30 +00001256 }
Daniel Dunbar57b704d2009-03-13 22:12:33 +00001257}
1258
Daniel Dunbar8767cbc2010-02-03 03:07:56 +00001259static const Tool &SelectToolForJob(Compilation &C, const ToolChain *TC,
1260 const JobAction *JA,
1261 const ActionList *&Inputs) {
1262 const Tool *ToolForJob = 0;
1263
1264 // See if we should look for a compiler with an integrated assembler. We match
1265 // bottom up, so what we are actually looking for is an assembler job with a
1266 // compiler input.
Daniel Dunbareb840bd2010-05-14 02:03:00 +00001267
Daniel Dunbareb840bd2010-05-14 02:03:00 +00001268 if (C.getArgs().hasFlag(options::OPT_integrated_as,
Bob Wilson1a1764b2011-10-30 00:20:28 +00001269 options::OPT_no_integrated_as,
1270 TC->IsIntegratedAssemblerDefault()) &&
Daniel Dunbar8767cbc2010-02-03 03:07:56 +00001271 !C.getArgs().hasArg(options::OPT_save_temps) &&
1272 isa<AssembleJobAction>(JA) &&
1273 Inputs->size() == 1 && isa<CompileJobAction>(*Inputs->begin())) {
Daniel Dunbarac0659a2011-03-18 20:14:00 +00001274 const Tool &Compiler = TC->SelectTool(
1275 C, cast<JobAction>(**Inputs->begin()), (*Inputs)[0]->getInputs());
Daniel Dunbar8767cbc2010-02-03 03:07:56 +00001276 if (Compiler.hasIntegratedAssembler()) {
1277 Inputs = &(*Inputs)[0]->getInputs();
1278 ToolForJob = &Compiler;
1279 }
1280 }
1281
1282 // Otherwise use the tool for the current job.
1283 if (!ToolForJob)
Daniel Dunbarac0659a2011-03-18 20:14:00 +00001284 ToolForJob = &TC->SelectTool(C, *JA, *Inputs);
Daniel Dunbar8767cbc2010-02-03 03:07:56 +00001285
1286 // See if we should use an integrated preprocessor. We do so when we have
1287 // exactly one input, since this is the only use case we care about
1288 // (irrelevant since we don't support combine yet).
1289 if (Inputs->size() == 1 && isa<PreprocessJobAction>(*Inputs->begin()) &&
1290 !C.getArgs().hasArg(options::OPT_no_integrated_cpp) &&
1291 !C.getArgs().hasArg(options::OPT_traditional_cpp) &&
1292 !C.getArgs().hasArg(options::OPT_save_temps) &&
1293 ToolForJob->hasIntegratedCPP())
1294 Inputs = &(*Inputs)[0]->getInputs();
1295
1296 return *ToolForJob;
1297}
1298
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001299void Driver::BuildJobsForAction(Compilation &C,
1300 const Action *A,
1301 const ToolChain *TC,
Daniel Dunbar49540182009-09-09 18:36:01 +00001302 const char *BoundArch,
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001303 bool AtTopLevel,
1304 const char *LinkingOutput,
1305 InputInfo &Result) const {
Daniel Dunbara8231832009-09-08 23:36:43 +00001306 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs");
Daniel Dunbar60ccc762009-03-18 23:18:19 +00001307
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001308 if (const InputAction *IA = dyn_cast<InputAction>(A)) {
Daniel Dunbara8231832009-09-08 23:36:43 +00001309 // FIXME: It would be nice to not claim this here; maybe the old scheme of
1310 // just using Args was better?
Daniel Dunbar115a7922009-03-19 07:29:38 +00001311 const Arg &Input = IA->getInputArg();
1312 Input.claim();
Daniel Dunbar532c1ec2010-06-09 22:31:08 +00001313 if (Input.getOption().matches(options::OPT_INPUT)) {
Daniel Dunbar115a7922009-03-19 07:29:38 +00001314 const char *Name = Input.getValue(C.getArgs());
1315 Result = InputInfo(Name, A->getType(), Name);
1316 } else
1317 Result = InputInfo(&Input, A->getType(), "");
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001318 return;
1319 }
1320
1321 if (const BindArchAction *BAA = dyn_cast<BindArchAction>(A)) {
Daniel Dunbard7502d02009-09-08 23:37:19 +00001322 const ToolChain *TC = &C.getDefaultToolChain();
1323
Daniel Dunbard7502d02009-09-08 23:37:19 +00001324 if (BAA->getArchName())
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001325 TC = &getToolChain(C.getArgs(), BAA->getArchName());
Daniel Dunbard7502d02009-09-08 23:37:19 +00001326
Daniel Dunbar49540182009-09-09 18:36:01 +00001327 BuildJobsForAction(C, *BAA->begin(), TC, BAA->getArchName(),
Daniel Dunbare4341252010-08-02 02:38:12 +00001328 AtTopLevel, LinkingOutput, Result);
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001329 return;
1330 }
1331
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001332 const ActionList *Inputs = &A->getInputs();
Daniel Dunbar8767cbc2010-02-03 03:07:56 +00001333
1334 const JobAction *JA = cast<JobAction>(A);
1335 const Tool &T = SelectToolForJob(C, TC, JA, Inputs);
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001336
1337 // Only use pipes when there is exactly one input.
Daniel Dunbar47ac7d22009-03-18 06:00:36 +00001338 InputInfoList InputInfos;
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001339 for (ActionList::const_iterator it = Inputs->begin(), ie = Inputs->end();
1340 it != ie; ++it) {
Daniel Dunbarbe1cc3e2010-06-04 18:28:41 +00001341 // Treat dsymutil sub-jobs as being at the top-level too, they shouldn't get
1342 // temporary output names.
1343 //
1344 // FIXME: Clean this up.
1345 bool SubJobAtTopLevel = false;
1346 if (AtTopLevel && isa<DsymutilJobAction>(A))
1347 SubJobAtTopLevel = true;
1348
Eric Christopherf8571862011-08-23 17:56:55 +00001349 // Also treat verify sub-jobs as being at the top-level. They don't
1350 // produce any output and so don't need temporary output names.
1351 if (AtTopLevel && isa<VerifyJobAction>(A))
1352 SubJobAtTopLevel = true;
1353
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001354 InputInfo II;
Daniel Dunbare4341252010-08-02 02:38:12 +00001355 BuildJobsForAction(C, *it, TC, BoundArch,
Daniel Dunbarbe1cc3e2010-06-04 18:28:41 +00001356 SubJobAtTopLevel, LinkingOutput, II);
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001357 InputInfos.push_back(II);
1358 }
1359
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001360 // Always use the first input as the base input.
1361 const char *BaseInput = InputInfos[0].getBaseInput();
Daniel Dunbar441d0602009-03-17 17:53:55 +00001362
Daniel Dunbarbe1cc3e2010-06-04 18:28:41 +00001363 // ... except dsymutil actions, which use their actual input as the base
1364 // input.
1365 if (JA->getType() == types::TY_dSYM)
1366 BaseInput = InputInfos[0].getFilename();
1367
Daniel Dunbar9b18cca2010-08-02 02:38:15 +00001368 // Determine the place to write output to, if any.
Daniel Dunbar441d0602009-03-17 17:53:55 +00001369 if (JA->getType() == types::TY_Nothing) {
Daniel Dunbar5c3c1d72009-03-17 22:47:06 +00001370 Result = InputInfo(A->getType(), BaseInput);
Daniel Dunbar441d0602009-03-17 17:53:55 +00001371 } else {
Daniel Dunbar5c3c1d72009-03-17 22:47:06 +00001372 Result = InputInfo(GetNamedOutputPath(C, *JA, BaseInput, AtTopLevel),
1373 A->getType(), BaseInput);
Daniel Dunbar441d0602009-03-17 17:53:55 +00001374 }
1375
Chad Rosier2b819102011-08-02 17:58:04 +00001376 if (CCCPrintBindings && !CCGenDiagnostics) {
Daniel Dunbarcd8e4c42009-03-30 06:36:42 +00001377 llvm::errs() << "# \"" << T.getToolChain().getTripleString() << '"'
1378 << " - \"" << T.getName() << "\", inputs: [";
Daniel Dunbar5c3c1d72009-03-17 22:47:06 +00001379 for (unsigned i = 0, e = InputInfos.size(); i != e; ++i) {
1380 llvm::errs() << InputInfos[i].getAsString();
1381 if (i + 1 != e)
1382 llvm::errs() << ", ";
1383 }
1384 llvm::errs() << "], output: " << Result.getAsString() << "\n";
1385 } else {
Daniel Dunbar2fe238e2010-08-02 02:38:28 +00001386 T.ConstructJob(C, *JA, Result, InputInfos,
Daniel Dunbar49540182009-09-09 18:36:01 +00001387 C.getArgsForToolChain(TC, BoundArch), LinkingOutput);
Daniel Dunbar5c3c1d72009-03-17 22:47:06 +00001388 }
Daniel Dunbarf353c8c2009-03-16 06:56:51 +00001389}
1390
Daniel Dunbara8231832009-09-08 23:36:43 +00001391const char *Driver::GetNamedOutputPath(Compilation &C,
Daniel Dunbar441d0602009-03-17 17:53:55 +00001392 const JobAction &JA,
1393 const char *BaseInput,
1394 bool AtTopLevel) const {
Daniel Dunbar8f25c792009-03-18 01:38:48 +00001395 llvm::PrettyStackTraceString CrashInfo("Computing output path");
Daniel Dunbar441d0602009-03-17 17:53:55 +00001396 // Output to a user requested destination?
Eric Christopherf8571862011-08-23 17:56:55 +00001397 if (AtTopLevel && !isa<DsymutilJobAction>(JA) &&
1398 !isa<VerifyJobAction>(JA)) {
Daniel Dunbar441d0602009-03-17 17:53:55 +00001399 if (Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o))
1400 return C.addResultFile(FinalOutput->getValue(C.getArgs()));
1401 }
1402
Nick Lewyckybfd21242010-09-24 00:46:53 +00001403 // Default to writing to stdout?
Chad Rosier2b819102011-08-02 17:58:04 +00001404 if (AtTopLevel && isa<PreprocessJobAction>(JA) && !CCGenDiagnostics)
Nick Lewyckybfd21242010-09-24 00:46:53 +00001405 return "-";
1406
Daniel Dunbar441d0602009-03-17 17:53:55 +00001407 // Output to a temporary file?
Chad Rosier2b819102011-08-02 17:58:04 +00001408 if ((!AtTopLevel && !C.getArgs().hasArg(options::OPT_save_temps)) ||
1409 CCGenDiagnostics) {
Chad Rosierf43b5e82011-08-26 22:27:02 +00001410 StringRef Name = llvm::sys::path::filename(BaseInput);
1411 std::pair<StringRef, StringRef> Split = Name.split('.');
Daniel Dunbara8231832009-09-08 23:36:43 +00001412 std::string TmpName =
Chad Rosierf43b5e82011-08-26 22:27:02 +00001413 GetTemporaryPath(Split.first, types::getTypeTempSuffix(JA.getType()));
Daniel Dunbar214399e2009-03-18 19:34:39 +00001414 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
Daniel Dunbar441d0602009-03-17 17:53:55 +00001415 }
1416
Dylan Noblesmithf7ccbad2012-02-05 02:13:05 +00001417 SmallString<128> BasePath(BaseInput);
Chris Lattner5f9e2722011-07-23 10:55:15 +00001418 StringRef BaseName;
Daniel Dunbar59f90462011-03-25 18:16:51 +00001419
1420 // Dsymutil actions should use the full path.
Eric Christopherf8571862011-08-23 17:56:55 +00001421 if (isa<DsymutilJobAction>(JA) || isa<VerifyJobAction>(JA))
Daniel Dunbar59f90462011-03-25 18:16:51 +00001422 BaseName = BasePath;
1423 else
1424 BaseName = llvm::sys::path::filename(BasePath);
Daniel Dunbar441d0602009-03-17 17:53:55 +00001425
1426 // Determine what the derived output name should be.
1427 const char *NamedOutput;
1428 if (JA.getType() == types::TY_Image) {
1429 NamedOutput = DefaultImageName.c_str();
1430 } else {
1431 const char *Suffix = types::getTypeTempSuffix(JA.getType());
1432 assert(Suffix && "All types used for output should have a suffix.");
1433
1434 std::string::size_type End = std::string::npos;
1435 if (!types::appendSuffixForType(JA.getType()))
1436 End = BaseName.rfind('.');
1437 std::string Suffixed(BaseName.substr(0, End));
1438 Suffixed += '.';
1439 Suffixed += Suffix;
1440 NamedOutput = C.getArgs().MakeArgString(Suffixed.c_str());
1441 }
1442
Eric Christopher59f9b262011-08-17 22:59:59 +00001443 // If we're saving temps and the temp filename conflicts with the input
Chad Rosier3e4d1092011-07-15 21:54:29 +00001444 // filename, then avoid overwriting input file.
1445 if (!AtTopLevel && C.getArgs().hasArg(options::OPT_save_temps) &&
Chad Rosierfe87fc72011-08-26 21:28:44 +00001446 NamedOutput == BaseName) {
Chad Rosierf43b5e82011-08-26 22:27:02 +00001447 StringRef Name = llvm::sys::path::filename(BaseInput);
1448 std::pair<StringRef, StringRef> Split = Name.split('.');
Chad Rosier3e4d1092011-07-15 21:54:29 +00001449 std::string TmpName =
Chad Rosierf43b5e82011-08-26 22:27:02 +00001450 GetTemporaryPath(Split.first, types::getTypeTempSuffix(JA.getType()));
Chad Rosier3e4d1092011-07-15 21:54:29 +00001451 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()));
1452 }
1453
Daniel Dunbara8231832009-09-08 23:36:43 +00001454 // As an annoying special case, PCH generation doesn't strip the pathname.
Daniel Dunbar441d0602009-03-17 17:53:55 +00001455 if (JA.getType() == types::TY_PCH) {
Michael J. Spencer472ccff2010-12-18 00:19:12 +00001456 llvm::sys::path::remove_filename(BasePath);
1457 if (BasePath.empty())
Daniel Dunbar56c55942009-03-18 09:58:30 +00001458 BasePath = NamedOutput;
1459 else
Michael J. Spencer472ccff2010-12-18 00:19:12 +00001460 llvm::sys::path::append(BasePath, NamedOutput);
Daniel Dunbar441d0602009-03-17 17:53:55 +00001461 return C.addResultFile(C.getArgs().MakeArgString(BasePath.c_str()));
1462 } else {
1463 return C.addResultFile(NamedOutput);
1464 }
1465}
1466
Daniel Dunbar5ed34f42009-09-09 22:33:00 +00001467std::string Driver::GetFilePath(const char *Name, const ToolChain &TC) const {
Chandler Carruth48ad6092010-03-22 01:52:07 +00001468 // Respect a limited subset of the '-Bprefix' functionality in GCC by
1469 // attempting to use this prefix when lokup up program paths.
Benjamin Kramer09982ce2011-02-08 20:31:42 +00001470 for (Driver::prefix_list::const_iterator it = PrefixDirs.begin(),
1471 ie = PrefixDirs.end(); it != ie; ++it) {
Joerg Sonnenberger8ab2bdc2011-03-21 13:51:29 +00001472 std::string Dir(*it);
1473 if (Dir.empty())
1474 continue;
1475 if (Dir[0] == '=')
1476 Dir = SysRoot + Dir.substr(1);
1477 llvm::sys::Path P(Dir);
Chandler Carruth48ad6092010-03-22 01:52:07 +00001478 P.appendComponent(Name);
Michael J. Spencer32bef4e2011-01-10 02:34:13 +00001479 bool Exists;
1480 if (!llvm::sys::fs::exists(P.str(), Exists) && Exists)
Chandler Carruth48ad6092010-03-22 01:52:07 +00001481 return P.str();
1482 }
1483
Peter Collingbourne41ee7a32011-09-06 02:08:31 +00001484 llvm::sys::Path P(ResourceDir);
1485 P.appendComponent(Name);
1486 bool Exists;
1487 if (!llvm::sys::fs::exists(P.str(), Exists) && Exists)
1488 return P.str();
1489
Daniel Dunbar0edefeb2009-03-18 20:26:19 +00001490 const ToolChain::path_list &List = TC.getFilePaths();
Daniel Dunbara8231832009-09-08 23:36:43 +00001491 for (ToolChain::path_list::const_iterator
Daniel Dunbar0edefeb2009-03-18 20:26:19 +00001492 it = List.begin(), ie = List.end(); it != ie; ++it) {
Joerg Sonnenberger8ab2bdc2011-03-21 13:51:29 +00001493 std::string Dir(*it);
1494 if (Dir.empty())
1495 continue;
1496 if (Dir[0] == '=')
1497 Dir = SysRoot + Dir.substr(1);
1498 llvm::sys::Path P(Dir);
Daniel Dunbar0edefeb2009-03-18 20:26:19 +00001499 P.appendComponent(Name);
Michael J. Spencer32bef4e2011-01-10 02:34:13 +00001500 bool Exists;
1501 if (!llvm::sys::fs::exists(P.str(), Exists) && Exists)
Daniel Dunbar5ed34f42009-09-09 22:33:00 +00001502 return P.str();
Daniel Dunbar0edefeb2009-03-18 20:26:19 +00001503 }
1504
Daniel Dunbar5ed34f42009-09-09 22:33:00 +00001505 return Name;
Daniel Dunbarcb881672009-03-13 00:51:18 +00001506}
1507
David Chisnall5adcec12011-09-27 22:03:18 +00001508static bool isPathExecutable(llvm::sys::Path &P, bool WantFile) {
1509 bool Exists;
1510 return (WantFile ? !llvm::sys::fs::exists(P.str(), Exists) && Exists
1511 : P.canExecute());
1512}
1513
Daniel Dunbar5ed34f42009-09-09 22:33:00 +00001514std::string Driver::GetProgramPath(const char *Name, const ToolChain &TC,
1515 bool WantFile) const {
Chandler Carruth1d16f0f2012-01-31 02:21:20 +00001516 std::string TargetSpecificExecutable(DefaultTargetTriple + "-" + Name);
Chandler Carruth48ad6092010-03-22 01:52:07 +00001517 // Respect a limited subset of the '-Bprefix' functionality in GCC by
1518 // attempting to use this prefix when lokup up program paths.
Benjamin Kramer09982ce2011-02-08 20:31:42 +00001519 for (Driver::prefix_list::const_iterator it = PrefixDirs.begin(),
1520 ie = PrefixDirs.end(); it != ie; ++it) {
1521 llvm::sys::Path P(*it);
David Chisnall5adcec12011-09-27 22:03:18 +00001522 P.appendComponent(TargetSpecificExecutable);
1523 if (isPathExecutable(P, WantFile)) return P.str();
1524 P.eraseComponent();
Chandler Carruth48ad6092010-03-22 01:52:07 +00001525 P.appendComponent(Name);
David Chisnall5adcec12011-09-27 22:03:18 +00001526 if (isPathExecutable(P, WantFile)) return P.str();
Chandler Carruth48ad6092010-03-22 01:52:07 +00001527 }
1528
Daniel Dunbar0edefeb2009-03-18 20:26:19 +00001529 const ToolChain::path_list &List = TC.getProgramPaths();
Daniel Dunbara8231832009-09-08 23:36:43 +00001530 for (ToolChain::path_list::const_iterator
Daniel Dunbar0edefeb2009-03-18 20:26:19 +00001531 it = List.begin(), ie = List.end(); it != ie; ++it) {
1532 llvm::sys::Path P(*it);
David Chisnall5adcec12011-09-27 22:03:18 +00001533 P.appendComponent(TargetSpecificExecutable);
1534 if (isPathExecutable(P, WantFile)) return P.str();
1535 P.eraseComponent();
Daniel Dunbar0edefeb2009-03-18 20:26:19 +00001536 P.appendComponent(Name);
David Chisnall5adcec12011-09-27 22:03:18 +00001537 if (isPathExecutable(P, WantFile)) return P.str();
Daniel Dunbar0edefeb2009-03-18 20:26:19 +00001538 }
1539
Daniel Dunbarc50b00d2009-03-23 16:15:50 +00001540 // If all else failed, search the path.
David Chisnall5adcec12011-09-27 22:03:18 +00001541 llvm::sys::Path
1542 P(llvm::sys::Program::FindProgramByName(TargetSpecificExecutable));
1543 if (!P.empty())
1544 return P.str();
1545
Benjamin Kramer7ca26842011-09-28 05:33:02 +00001546 P = llvm::sys::Path(llvm::sys::Program::FindProgramByName(Name));
Daniel Dunbar632f50e2009-03-18 21:34:08 +00001547 if (!P.empty())
Daniel Dunbar5ed34f42009-09-09 22:33:00 +00001548 return P.str();
Daniel Dunbar632f50e2009-03-18 21:34:08 +00001549
Daniel Dunbar5ed34f42009-09-09 22:33:00 +00001550 return Name;
Daniel Dunbarcb881672009-03-13 00:51:18 +00001551}
1552
Chad Rosierf43b5e82011-08-26 22:27:02 +00001553std::string Driver::GetTemporaryPath(StringRef Prefix, const char *Suffix)
Chad Rosierfe87fc72011-08-26 21:28:44 +00001554 const {
Daniel Dunbara8231832009-09-08 23:36:43 +00001555 // FIXME: This is lame; sys::Path should provide this function (in particular,
1556 // it should know how to find the temporary files dir).
Daniel Dunbar214399e2009-03-18 19:34:39 +00001557 std::string Error;
Daniel Dunbarb03417f2009-04-20 20:28:21 +00001558 const char *TmpDir = ::getenv("TMPDIR");
1559 if (!TmpDir)
1560 TmpDir = ::getenv("TEMP");
1561 if (!TmpDir)
Daniel Dunbar3ca7ee92009-04-21 00:25:10 +00001562 TmpDir = ::getenv("TMP");
1563 if (!TmpDir)
Daniel Dunbarb03417f2009-04-20 20:28:21 +00001564 TmpDir = "/tmp";
1565 llvm::sys::Path P(TmpDir);
Chad Rosierfe87fc72011-08-26 21:28:44 +00001566 P.appendComponent(Prefix);
Daniel Dunbar214399e2009-03-18 19:34:39 +00001567 if (P.makeUnique(false, &Error)) {
1568 Diag(clang::diag::err_drv_unable_to_make_temp) << Error;
1569 return "";
1570 }
1571
Daniel Dunbara8231832009-09-08 23:36:43 +00001572 // FIXME: Grumble, makeUnique sometimes leaves the file around!? PR3837.
Daniel Dunbar84603bc2009-03-18 23:08:52 +00001573 P.eraseFromDisk(false, 0);
1574
Daniel Dunbar214399e2009-03-18 19:34:39 +00001575 P.appendSuffix(Suffix);
Chris Lattnerd57a7ef2009-08-23 22:45:33 +00001576 return P.str();
Daniel Dunbar214399e2009-03-18 19:34:39 +00001577}
1578
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001579/// \brief Compute target triple from args.
1580///
1581/// This routine provides the logic to compute a target triple from various
1582/// args passed to the driver and the default triple string.
Chandler Carruth1d16f0f2012-01-31 02:21:20 +00001583static llvm::Triple computeTargetTriple(StringRef DefaultTargetTriple,
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001584 const ArgList &Args,
1585 StringRef DarwinArchName) {
Chandler Carruth1d16f0f2012-01-31 02:21:20 +00001586 if (const Arg *A = Args.getLastArg(options::OPT_target))
1587 DefaultTargetTriple = A->getValue(Args);
1588
1589 llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple));
Chris Lattner3a47c4e2010-03-04 21:07:38 +00001590
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001591 // Handle Darwin-specific options available here.
1592 if (Target.isOSDarwin()) {
1593 // If an explict Darwin arch name is given, that trumps all.
1594 if (!DarwinArchName.empty()) {
1595 Target.setArch(
1596 llvm::Triple::getArchTypeForDarwinArchName(DarwinArchName));
1597 return Target;
1598 }
1599
1600 // Handle the Darwin '-arch' flag.
1601 if (Arg *A = Args.getLastArg(options::OPT_arch)) {
1602 llvm::Triple::ArchType DarwinArch
1603 = llvm::Triple::getArchTypeForDarwinArchName(A->getValue(Args));
1604 if (DarwinArch != llvm::Triple::UnknownArch)
1605 Target.setArch(DarwinArch);
1606 }
Daniel Dunbarcb8ab232009-05-22 02:53:45 +00001607 }
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001608
1609 // Skip further flag support on OSes which don't support '-m32' or '-m64'.
1610 if (Target.getArchName() == "tce" ||
1611 Target.getOS() == llvm::Triple::AuroraUX ||
1612 Target.getOS() == llvm::Triple::Minix)
1613 return Target;
1614
1615 // Handle pseudo-target flags '-m32' and '-m64'.
1616 // FIXME: Should this information be in llvm::Triple?
1617 if (Arg *A = Args.getLastArg(options::OPT_m32, options::OPT_m64)) {
1618 if (A->getOption().matches(options::OPT_m32)) {
1619 if (Target.getArch() == llvm::Triple::x86_64)
1620 Target.setArch(llvm::Triple::x86);
1621 if (Target.getArch() == llvm::Triple::ppc64)
1622 Target.setArch(llvm::Triple::ppc);
1623 } else {
1624 if (Target.getArch() == llvm::Triple::x86)
1625 Target.setArch(llvm::Triple::x86_64);
1626 if (Target.getArch() == llvm::Triple::ppc)
1627 Target.setArch(llvm::Triple::ppc64);
1628 }
1629 }
1630
1631 return Target;
1632}
1633
1634const ToolChain &Driver::getToolChain(const ArgList &Args,
1635 StringRef DarwinArchName) const {
Chandler Carruth1d16f0f2012-01-31 02:21:20 +00001636 llvm::Triple Target = computeTargetTriple(DefaultTargetTriple, Args,
1637 DarwinArchName);
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001638
Chandler Carruth1d16f0f2012-01-31 02:21:20 +00001639 ToolChain *&TC = ToolChains[Target.str()];
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001640 if (!TC) {
1641 switch (Target.getOS()) {
1642 case llvm::Triple::AuroraUX:
Rafael Espindola0e659592012-02-19 01:38:32 +00001643 TC = new toolchains::AuroraUX(*this, Target, Args);
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001644 break;
1645 case llvm::Triple::Darwin:
1646 case llvm::Triple::MacOSX:
1647 case llvm::Triple::IOS:
1648 if (Target.getArch() == llvm::Triple::x86 ||
1649 Target.getArch() == llvm::Triple::x86_64 ||
1650 Target.getArch() == llvm::Triple::arm ||
1651 Target.getArch() == llvm::Triple::thumb)
Chandler Carruth1d16f0f2012-01-31 02:21:20 +00001652 TC = new toolchains::DarwinClang(*this, Target);
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001653 else
Rafael Espindola0e659592012-02-19 01:38:32 +00001654 TC = new toolchains::Darwin_Generic_GCC(*this, Target, Args);
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001655 break;
1656 case llvm::Triple::DragonFly:
Rafael Espindola0e659592012-02-19 01:38:32 +00001657 TC = new toolchains::DragonFly(*this, Target, Args);
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001658 break;
1659 case llvm::Triple::OpenBSD:
Rafael Espindola0e659592012-02-19 01:38:32 +00001660 TC = new toolchains::OpenBSD(*this, Target, Args);
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001661 break;
1662 case llvm::Triple::NetBSD:
Rafael Espindola0e659592012-02-19 01:38:32 +00001663 TC = new toolchains::NetBSD(*this, Target, Args);
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001664 break;
1665 case llvm::Triple::FreeBSD:
Rafael Espindola0e659592012-02-19 01:38:32 +00001666 TC = new toolchains::FreeBSD(*this, Target, Args);
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001667 break;
1668 case llvm::Triple::Minix:
Rafael Espindola0e659592012-02-19 01:38:32 +00001669 TC = new toolchains::Minix(*this, Target, Args);
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001670 break;
1671 case llvm::Triple::Linux:
Chandler Carruth1621e752012-01-25 21:03:58 +00001672 if (Target.getArch() == llvm::Triple::hexagon)
Chandler Carruth1d16f0f2012-01-31 02:21:20 +00001673 TC = new toolchains::Hexagon_TC(*this, Target);
Chandler Carruth1621e752012-01-25 21:03:58 +00001674 else
Rafael Espindola0e659592012-02-19 01:38:32 +00001675 TC = new toolchains::Linux(*this, Target, Args);
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001676 break;
David Chisnall31c46902012-02-15 13:39:01 +00001677 case llvm::Triple::Solaris:
Rafael Espindola0e659592012-02-19 01:38:32 +00001678 TC = new toolchains::Solaris(*this, Target, Args);
David Chisnall31c46902012-02-15 13:39:01 +00001679 break;
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001680 case llvm::Triple::Win32:
Chandler Carruth1d16f0f2012-01-31 02:21:20 +00001681 TC = new toolchains::Windows(*this, Target);
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001682 break;
1683 case llvm::Triple::MinGW32:
1684 // FIXME: We need a MinGW toolchain. Fallthrough for now.
1685 default:
1686 // TCE is an OSless target
1687 if (Target.getArchName() == "tce") {
Chandler Carruth1d16f0f2012-01-31 02:21:20 +00001688 TC = new toolchains::TCEToolChain(*this, Target);
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001689 break;
1690 }
1691
Rafael Espindola0e659592012-02-19 01:38:32 +00001692 TC = new toolchains::Generic_GCC(*this, Target, Args);
Chandler Carruth18d7f3a2012-01-25 11:01:57 +00001693 break;
1694 }
1695 }
1696 return *TC;
Daniel Dunbardd98e2c2009-03-10 23:41:59 +00001697}
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001698
1699bool Driver::ShouldUseClangCompiler(const Compilation &C, const JobAction &JA,
Daniel Dunbara6046be2009-09-08 23:36:55 +00001700 const llvm::Triple &Triple) const {
Daniel Dunbara8231832009-09-08 23:36:43 +00001701 // Check if user requested no clang, or clang doesn't understand this type (we
1702 // only handle single inputs for now).
Daniel Dunbar5915fbf2009-09-01 16:57:46 +00001703 if (!CCCUseClang || JA.size() != 1 ||
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001704 !types::isAcceptedByClang((*JA.begin())->getType()))
1705 return false;
1706
Daniel Dunbar0f99d2e2009-03-24 19:02:31 +00001707 // Otherwise make sure this is an action clang understands.
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001708 if (isa<PreprocessJobAction>(JA)) {
Daniel Dunbar6256d362009-03-24 19:14:56 +00001709 if (!CCCUseClangCPP) {
1710 Diag(clang::diag::warn_drv_not_using_clang_cpp);
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001711 return false;
Daniel Dunbar6256d362009-03-24 19:14:56 +00001712 }
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001713 } else if (!isa<PrecompileJobAction>(JA) && !isa<CompileJobAction>(JA))
1714 return false;
1715
Daniel Dunbar0f99d2e2009-03-24 19:02:31 +00001716 // Use clang for C++?
Daniel Dunbar6256d362009-03-24 19:14:56 +00001717 if (!CCCUseClangCXX && types::isCXX((*JA.begin())->getType())) {
1718 Diag(clang::diag::warn_drv_not_using_clang_cxx);
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001719 return false;
Daniel Dunbar6256d362009-03-24 19:14:56 +00001720 }
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001721
Daniel Dunbar64952502010-02-11 03:16:21 +00001722 // Always use clang for precompiling, AST generation, and rewriting,
1723 // regardless of archs.
Daniel Dunbar6c6424b2010-06-07 23:28:45 +00001724 if (isa<PrecompileJobAction>(JA) ||
1725 types::isOnlyAcceptedByClang(JA.getType()))
Daniel Dunbarfec26bd2009-04-16 23:10:13 +00001726 return true;
1727
Daniel Dunbara8231832009-09-08 23:36:43 +00001728 // Finally, don't use clang if this isn't one of the user specified archs to
1729 // build.
Daniel Dunbara6046be2009-09-08 23:36:55 +00001730 if (!CCCClangArchs.empty() && !CCCClangArchs.count(Triple.getArch())) {
1731 Diag(clang::diag::warn_drv_not_using_clang_arch) << Triple.getArchName();
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001732 return false;
Daniel Dunbar6256d362009-03-24 19:14:56 +00001733 }
Daniel Dunbaraf80e1f2009-03-24 18:57:02 +00001734
1735 return true;
1736}
Daniel Dunbard73fe9b2009-03-26 15:58:36 +00001737
Daniel Dunbara8231832009-09-08 23:36:43 +00001738/// GetReleaseVersion - Parse (([0-9]+)(.([0-9]+)(.([0-9]+)?))?)? and return the
1739/// grouped values as integers. Numbers which are not provided are set to 0.
Daniel Dunbard73fe9b2009-03-26 15:58:36 +00001740///
Daniel Dunbara8231832009-09-08 23:36:43 +00001741/// \return True if the entire string was parsed (9.2), or all groups were
1742/// parsed (10.3.5extrastuff).
1743bool Driver::GetReleaseVersion(const char *Str, unsigned &Major,
Daniel Dunbard73fe9b2009-03-26 15:58:36 +00001744 unsigned &Minor, unsigned &Micro,
1745 bool &HadExtra) {
1746 HadExtra = false;
1747
1748 Major = Minor = Micro = 0;
Daniel Dunbara8231832009-09-08 23:36:43 +00001749 if (*Str == '\0')
Daniel Dunbard73fe9b2009-03-26 15:58:36 +00001750 return true;
1751
1752 char *End;
1753 Major = (unsigned) strtol(Str, &End, 10);
1754 if (*Str != '\0' && *End == '\0')
1755 return true;
1756 if (*End != '.')
1757 return false;
Daniel Dunbara8231832009-09-08 23:36:43 +00001758
Daniel Dunbard73fe9b2009-03-26 15:58:36 +00001759 Str = End+1;
1760 Minor = (unsigned) strtol(Str, &End, 10);
1761 if (*Str != '\0' && *End == '\0')
1762 return true;
1763 if (*End != '.')
1764 return false;
1765
1766 Str = End+1;
1767 Micro = (unsigned) strtol(Str, &End, 10);
1768 if (*Str != '\0' && *End == '\0')
1769 return true;
1770 if (Str == End)
1771 return false;
1772 HadExtra = true;
1773 return true;
1774}