Driver.cpp revision 210299
1//===--- Driver.cpp - Clang GCC Compatible Driver -----------------------*-===// 2// 3// The LLVM Compiler Infrastructure 4// 5// This file is distributed under the University of Illinois Open Source 6// License. See LICENSE.TXT for details. 7// 8//===----------------------------------------------------------------------===// 9 10#include "clang/Driver/Driver.h" 11 12#include "clang/Driver/Action.h" 13#include "clang/Driver/Arg.h" 14#include "clang/Driver/ArgList.h" 15#include "clang/Driver/Compilation.h" 16#include "clang/Driver/DriverDiagnostic.h" 17#include "clang/Driver/HostInfo.h" 18#include "clang/Driver/Job.h" 19#include "clang/Driver/OptTable.h" 20#include "clang/Driver/Option.h" 21#include "clang/Driver/Options.h" 22#include "clang/Driver/Tool.h" 23#include "clang/Driver/ToolChain.h" 24#include "clang/Driver/Types.h" 25 26#include "clang/Basic/Version.h" 27 28#include "llvm/ADT/StringSet.h" 29#include "llvm/ADT/OwningPtr.h" 30#include "llvm/Support/PrettyStackTrace.h" 31#include "llvm/Support/raw_ostream.h" 32#include "llvm/System/Path.h" 33#include "llvm/System/Program.h" 34 35#include "InputInfo.h" 36 37#include <map> 38 39using namespace clang::driver; 40using namespace clang; 41 42Driver::Driver(llvm::StringRef _Name, llvm::StringRef _Dir, 43 llvm::StringRef _DefaultHostTriple, 44 llvm::StringRef _DefaultImageName, 45 bool IsProduction, bool CXXIsProduction, 46 Diagnostic &_Diags) 47 : Opts(createDriverOptTable()), Diags(_Diags), 48 Name(_Name), Dir(_Dir), DefaultHostTriple(_DefaultHostTriple), 49 DefaultImageName(_DefaultImageName), 50 DriverTitle("clang \"gcc-compatible\" driver"), 51 Host(0), 52 CCCGenericGCCName("gcc"), CCPrintOptionsFilename(0), CCCIsCXX(false), 53 CCCEcho(false), CCCPrintBindings(false), CCPrintOptions(false), 54 CheckInputsExist(true), CCCUseClang(true), CCCUseClangCXX(true), 55 CCCUseClangCPP(true), CCCUsePCH(true), SuppressMissingInputWarning(false) { 56 if (IsProduction) { 57 // In a "production" build, only use clang on architectures we expect to 58 // work, and don't use clang C++. 59 // 60 // During development its more convenient to always have the driver use 61 // clang, but we don't want users to be confused when things don't work, or 62 // to file bugs for things we don't support. 63 CCCClangArchs.insert(llvm::Triple::x86); 64 CCCClangArchs.insert(llvm::Triple::x86_64); 65 CCCClangArchs.insert(llvm::Triple::arm); 66 67 if (!CXXIsProduction) 68 CCCUseClangCXX = false; 69 } 70 71 // Compute the path to the resource directory. 72 llvm::sys::Path P(Dir); 73 P.eraseComponent(); // Remove /bin from foo/bin 74 P.appendComponent("lib"); 75 P.appendComponent("clang"); 76 P.appendComponent(CLANG_VERSION_STRING); 77 ResourceDir = P.str(); 78 79 // Save the original clang executable path. 80 P = Dir; 81 P.appendComponent(Name); 82 ClangExecutable = P.str(); 83} 84 85Driver::~Driver() { 86 delete Opts; 87 delete Host; 88} 89 90InputArgList *Driver::ParseArgStrings(const char **ArgBegin, 91 const char **ArgEnd) { 92 llvm::PrettyStackTraceString CrashInfo("Command line argument parsing"); 93 unsigned MissingArgIndex, MissingArgCount; 94 InputArgList *Args = getOpts().ParseArgs(ArgBegin, ArgEnd, 95 MissingArgIndex, MissingArgCount); 96 97 // Check for missing argument error. 98 if (MissingArgCount) 99 Diag(clang::diag::err_drv_missing_argument) 100 << Args->getArgString(MissingArgIndex) << MissingArgCount; 101 102 // Check for unsupported options. 103 for (ArgList::const_iterator it = Args->begin(), ie = Args->end(); 104 it != ie; ++it) { 105 Arg *A = *it; 106 if (A->getOption().isUnsupported()) { 107 Diag(clang::diag::err_drv_unsupported_opt) << A->getAsString(*Args); 108 continue; 109 } 110 } 111 112 return Args; 113} 114 115DerivedArgList *Driver::TranslateInputArgs(const InputArgList &Args) const { 116 DerivedArgList *DAL = new DerivedArgList(Args); 117 118 for (ArgList::const_iterator it = Args.begin(), 119 ie = Args.end(); it != ie; ++it) { 120 const Arg *A = *it; 121 122 // Unfortunately, we have to parse some forwarding options (-Xassembler, 123 // -Xlinker, -Xpreprocessor) because we either integrate their functionality 124 // (assembler and preprocessor), or bypass a previous driver ('collect2'). 125 126 // Rewrite linker options, to replace --no-demangle with a custom internal 127 // option. 128 if ((A->getOption().matches(options::OPT_Wl_COMMA) || 129 A->getOption().matches(options::OPT_Xlinker)) && 130 A->containsValue("--no-demangle")) { 131 // Add the rewritten no-demangle argument. 132 DAL->AddFlagArg(A, Opts->getOption(options::OPT_Z_Xlinker__no_demangle)); 133 134 // Add the remaining values as Xlinker arguments. 135 for (unsigned i = 0, e = A->getNumValues(); i != e; ++i) 136 if (llvm::StringRef(A->getValue(Args, i)) != "--no-demangle") 137 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_Xlinker), 138 A->getValue(Args, i)); 139 140 continue; 141 } 142 143 // Rewrite preprocessor options, to replace -Wp,-MD,FOO which is used by 144 // some build systems. We don't try to be complete here because we don't 145 // care to encourage this usage model. 146 if (A->getOption().matches(options::OPT_Wp_COMMA) && 147 A->getNumValues() == 2 && 148 (A->getValue(Args, 0) == llvm::StringRef("-MD") || 149 A->getValue(Args, 0) == llvm::StringRef("-MMD"))) { 150 // Rewrite to -MD/-MMD along with -MF. 151 if (A->getValue(Args, 0) == llvm::StringRef("-MD")) 152 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MD)); 153 else 154 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MMD)); 155 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_MF), 156 A->getValue(Args, 1)); 157 continue; 158 } 159 160 DAL->append(*it); 161 } 162 163 return DAL; 164} 165 166Compilation *Driver::BuildCompilation(int argc, const char **argv) { 167 llvm::PrettyStackTraceString CrashInfo("Compilation construction"); 168 169 // FIXME: Handle environment options which effect driver behavior, somewhere 170 // (client?). GCC_EXEC_PREFIX, COMPILER_PATH, LIBRARY_PATH, LPATH, 171 // CC_PRINT_OPTIONS. 172 173 // FIXME: What are we going to do with -V and -b? 174 175 // FIXME: This stuff needs to go into the Compilation, not the driver. 176 bool CCCPrintOptions = false, CCCPrintActions = false; 177 178 const char **Start = argv + 1, **End = argv + argc; 179 const char *HostTriple = DefaultHostTriple.c_str(); 180 181 InputArgList *Args = ParseArgStrings(Start, End); 182 183 // -no-canonical-prefixes is used very early in main. 184 Args->ClaimAllArgs(options::OPT_no_canonical_prefixes); 185 186 // Extract -ccc args. 187 // 188 // FIXME: We need to figure out where this behavior should live. Most of it 189 // should be outside in the client; the parts that aren't should have proper 190 // options, either by introducing new ones or by overloading gcc ones like -V 191 // or -b. 192 CCCPrintOptions = Args->hasArg(options::OPT_ccc_print_options); 193 CCCPrintActions = Args->hasArg(options::OPT_ccc_print_phases); 194 CCCPrintBindings = Args->hasArg(options::OPT_ccc_print_bindings); 195 CCCIsCXX = Args->hasArg(options::OPT_ccc_cxx) || CCCIsCXX; 196 CCCEcho = Args->hasArg(options::OPT_ccc_echo); 197 if (const Arg *A = Args->getLastArg(options::OPT_ccc_gcc_name)) 198 CCCGenericGCCName = A->getValue(*Args); 199 CCCUseClangCXX = Args->hasFlag(options::OPT_ccc_clang_cxx, 200 options::OPT_ccc_no_clang_cxx, 201 CCCUseClangCXX); 202 CCCUsePCH = Args->hasFlag(options::OPT_ccc_pch_is_pch, 203 options::OPT_ccc_pch_is_pth); 204 CCCUseClang = !Args->hasArg(options::OPT_ccc_no_clang); 205 CCCUseClangCPP = !Args->hasArg(options::OPT_ccc_no_clang_cpp); 206 if (const Arg *A = Args->getLastArg(options::OPT_ccc_clang_archs)) { 207 llvm::StringRef Cur = A->getValue(*Args); 208 209 CCCClangArchs.clear(); 210 while (!Cur.empty()) { 211 std::pair<llvm::StringRef, llvm::StringRef> Split = Cur.split(','); 212 213 if (!Split.first.empty()) { 214 llvm::Triple::ArchType Arch = 215 llvm::Triple(Split.first, "", "").getArch(); 216 217 if (Arch == llvm::Triple::UnknownArch) 218 Diag(clang::diag::err_drv_invalid_arch_name) << Split.first; 219 220 CCCClangArchs.insert(Arch); 221 } 222 223 Cur = Split.second; 224 } 225 } 226 if (const Arg *A = Args->getLastArg(options::OPT_ccc_host_triple)) 227 HostTriple = A->getValue(*Args); 228 if (const Arg *A = Args->getLastArg(options::OPT_ccc_install_dir)) 229 Dir = A->getValue(*Args); 230 if (const Arg *A = Args->getLastArg(options::OPT_B)) 231 PrefixDir = A->getValue(*Args); 232 233 Host = GetHostInfo(HostTriple); 234 235 // Perform the default argument translations. 236 DerivedArgList *TranslatedArgs = TranslateInputArgs(*Args); 237 238 // The compilation takes ownership of Args. 239 Compilation *C = new Compilation(*this, *Host->CreateToolChain(*Args), Args, 240 TranslatedArgs); 241 242 // FIXME: This behavior shouldn't be here. 243 if (CCCPrintOptions) { 244 PrintOptions(C->getInputArgs()); 245 return C; 246 } 247 248 if (!HandleImmediateArgs(*C)) 249 return C; 250 251 // Construct the list of abstract actions to perform for this compilation. We 252 // avoid passing a Compilation here simply to enforce the abstraction that 253 // pipelining is not host or toolchain dependent (other than the driver driver 254 // test). 255 if (Host->useDriverDriver()) 256 BuildUniversalActions(C->getArgs(), C->getActions()); 257 else 258 BuildActions(C->getArgs(), C->getActions()); 259 260 if (CCCPrintActions) { 261 PrintActions(*C); 262 return C; 263 } 264 265 BuildJobs(*C); 266 267 return C; 268} 269 270int Driver::ExecuteCompilation(const Compilation &C) const { 271 // Just print if -### was present. 272 if (C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) { 273 C.PrintJob(llvm::errs(), C.getJobs(), "\n", true); 274 return 0; 275 } 276 277 // If there were errors building the compilation, quit now. 278 if (getDiags().getNumErrors()) 279 return 1; 280 281 const Command *FailingCommand = 0; 282 int Res = C.ExecuteJob(C.getJobs(), FailingCommand); 283 284 // Remove temp files. 285 C.CleanupFileList(C.getTempFiles()); 286 287 // If the command succeeded, we are done. 288 if (Res == 0) 289 return Res; 290 291 // Otherwise, remove result files as well. 292 if (!C.getArgs().hasArg(options::OPT_save_temps)) 293 C.CleanupFileList(C.getResultFiles(), true); 294 295 // Print extra information about abnormal failures, if possible. 296 // 297 // This is ad-hoc, but we don't want to be excessively noisy. If the result 298 // status was 1, assume the command failed normally. In particular, if it was 299 // the compiler then assume it gave a reasonable error code. Failures in other 300 // tools are less common, and they generally have worse diagnostics, so always 301 // print the diagnostic there. 302 const Tool &FailingTool = FailingCommand->getCreator(); 303 304 if (!FailingCommand->getCreator().hasGoodDiagnostics() || Res != 1) { 305 // FIXME: See FIXME above regarding result code interpretation. 306 if (Res < 0) 307 Diag(clang::diag::err_drv_command_signalled) 308 << FailingTool.getShortName() << -Res; 309 else 310 Diag(clang::diag::err_drv_command_failed) 311 << FailingTool.getShortName() << Res; 312 } 313 314 return Res; 315} 316 317void Driver::PrintOptions(const ArgList &Args) const { 318 unsigned i = 0; 319 for (ArgList::const_iterator it = Args.begin(), ie = Args.end(); 320 it != ie; ++it, ++i) { 321 Arg *A = *it; 322 llvm::errs() << "Option " << i << " - " 323 << "Name: \"" << A->getOption().getName() << "\", " 324 << "Values: {"; 325 for (unsigned j = 0; j < A->getNumValues(); ++j) { 326 if (j) 327 llvm::errs() << ", "; 328 llvm::errs() << '"' << A->getValue(Args, j) << '"'; 329 } 330 llvm::errs() << "}\n"; 331 } 332} 333 334void Driver::PrintHelp(bool ShowHidden) const { 335 getOpts().PrintHelp(llvm::outs(), Name.c_str(), DriverTitle.c_str(), 336 ShowHidden); 337} 338 339void Driver::PrintVersion(const Compilation &C, llvm::raw_ostream &OS) const { 340 // FIXME: The following handlers should use a callback mechanism, we don't 341 // know what the client would like to do. 342 OS << getClangFullVersion() << '\n'; 343 const ToolChain &TC = C.getDefaultToolChain(); 344 OS << "Target: " << TC.getTripleString() << '\n'; 345 346 // Print the threading model. 347 // 348 // FIXME: Implement correctly. 349 OS << "Thread model: " << "posix" << '\n'; 350} 351 352/// PrintDiagnosticCategories - Implement the --print-diagnostic-categories 353/// option. 354static void PrintDiagnosticCategories(llvm::raw_ostream &OS) { 355 for (unsigned i = 1; // Skip the empty category. 356 const char *CategoryName = Diagnostic::getCategoryNameFromID(i); ++i) 357 OS << i << ',' << CategoryName << '\n'; 358} 359 360bool Driver::HandleImmediateArgs(const Compilation &C) { 361 // The order these options are handled in gcc is all over the place, but we 362 // don't expect inconsistencies w.r.t. that to matter in practice. 363 364 if (C.getArgs().hasArg(options::OPT_dumpversion)) { 365 llvm::outs() << CLANG_VERSION_STRING "\n"; 366 return false; 367 } 368 369 if (C.getArgs().hasArg(options::OPT__print_diagnostic_categories)) { 370 PrintDiagnosticCategories(llvm::outs()); 371 return false; 372 } 373 374 if (C.getArgs().hasArg(options::OPT__help) || 375 C.getArgs().hasArg(options::OPT__help_hidden)) { 376 PrintHelp(C.getArgs().hasArg(options::OPT__help_hidden)); 377 return false; 378 } 379 380 if (C.getArgs().hasArg(options::OPT__version)) { 381 // Follow gcc behavior and use stdout for --version and stderr for -v. 382 PrintVersion(C, llvm::outs()); 383 return false; 384 } 385 386 if (C.getArgs().hasArg(options::OPT_v) || 387 C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) { 388 PrintVersion(C, llvm::errs()); 389 SuppressMissingInputWarning = true; 390 } 391 392 const ToolChain &TC = C.getDefaultToolChain(); 393 if (C.getArgs().hasArg(options::OPT_print_search_dirs)) { 394 llvm::outs() << "programs: ="; 395 for (ToolChain::path_list::const_iterator it = TC.getProgramPaths().begin(), 396 ie = TC.getProgramPaths().end(); it != ie; ++it) { 397 if (it != TC.getProgramPaths().begin()) 398 llvm::outs() << ':'; 399 llvm::outs() << *it; 400 } 401 llvm::outs() << "\n"; 402 llvm::outs() << "libraries: ="; 403 for (ToolChain::path_list::const_iterator it = TC.getFilePaths().begin(), 404 ie = TC.getFilePaths().end(); it != ie; ++it) { 405 if (it != TC.getFilePaths().begin()) 406 llvm::outs() << ':'; 407 llvm::outs() << *it; 408 } 409 llvm::outs() << "\n"; 410 return false; 411 } 412 413 // FIXME: The following handlers should use a callback mechanism, we don't 414 // know what the client would like to do. 415 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_file_name_EQ)) { 416 llvm::outs() << GetFilePath(A->getValue(C.getArgs()), TC) << "\n"; 417 return false; 418 } 419 420 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_prog_name_EQ)) { 421 llvm::outs() << GetProgramPath(A->getValue(C.getArgs()), TC) << "\n"; 422 return false; 423 } 424 425 if (C.getArgs().hasArg(options::OPT_print_libgcc_file_name)) { 426 llvm::outs() << GetFilePath("libgcc.a", TC) << "\n"; 427 return false; 428 } 429 430 if (C.getArgs().hasArg(options::OPT_print_multi_lib)) { 431 // FIXME: We need tool chain support for this. 432 llvm::outs() << ".;\n"; 433 434 switch (C.getDefaultToolChain().getTriple().getArch()) { 435 default: 436 break; 437 438 case llvm::Triple::x86_64: 439 llvm::outs() << "x86_64;@m64" << "\n"; 440 break; 441 442 case llvm::Triple::ppc64: 443 llvm::outs() << "ppc64;@m64" << "\n"; 444 break; 445 } 446 return false; 447 } 448 449 // FIXME: What is the difference between print-multi-directory and 450 // print-multi-os-directory? 451 if (C.getArgs().hasArg(options::OPT_print_multi_directory) || 452 C.getArgs().hasArg(options::OPT_print_multi_os_directory)) { 453 switch (C.getDefaultToolChain().getTriple().getArch()) { 454 default: 455 case llvm::Triple::x86: 456 case llvm::Triple::ppc: 457 llvm::outs() << "." << "\n"; 458 break; 459 460 case llvm::Triple::x86_64: 461 llvm::outs() << "x86_64" << "\n"; 462 break; 463 464 case llvm::Triple::ppc64: 465 llvm::outs() << "ppc64" << "\n"; 466 break; 467 } 468 return false; 469 } 470 471 return true; 472} 473 474static unsigned PrintActions1(const Compilation &C, Action *A, 475 std::map<Action*, unsigned> &Ids) { 476 if (Ids.count(A)) 477 return Ids[A]; 478 479 std::string str; 480 llvm::raw_string_ostream os(str); 481 482 os << Action::getClassName(A->getKind()) << ", "; 483 if (InputAction *IA = dyn_cast<InputAction>(A)) { 484 os << "\"" << IA->getInputArg().getValue(C.getArgs()) << "\""; 485 } else if (BindArchAction *BIA = dyn_cast<BindArchAction>(A)) { 486 os << '"' << (BIA->getArchName() ? BIA->getArchName() : 487 C.getDefaultToolChain().getArchName()) << '"' 488 << ", {" << PrintActions1(C, *BIA->begin(), Ids) << "}"; 489 } else { 490 os << "{"; 491 for (Action::iterator it = A->begin(), ie = A->end(); it != ie;) { 492 os << PrintActions1(C, *it, Ids); 493 ++it; 494 if (it != ie) 495 os << ", "; 496 } 497 os << "}"; 498 } 499 500 unsigned Id = Ids.size(); 501 Ids[A] = Id; 502 llvm::errs() << Id << ": " << os.str() << ", " 503 << types::getTypeName(A->getType()) << "\n"; 504 505 return Id; 506} 507 508void Driver::PrintActions(const Compilation &C) const { 509 std::map<Action*, unsigned> Ids; 510 for (ActionList::const_iterator it = C.getActions().begin(), 511 ie = C.getActions().end(); it != ie; ++it) 512 PrintActions1(C, *it, Ids); 513} 514 515/// \brief Check whether the given input tree contains any compilation (or 516/// assembly) actions. 517static bool ContainsCompileAction(const Action *A) { 518 if (isa<CompileJobAction>(A) || isa<AssembleJobAction>(A)) 519 return true; 520 521 for (Action::const_iterator it = A->begin(), ie = A->end(); it != ie; ++it) 522 if (ContainsCompileAction(*it)) 523 return true; 524 525 return false; 526} 527 528void Driver::BuildUniversalActions(const ArgList &Args, 529 ActionList &Actions) const { 530 llvm::PrettyStackTraceString CrashInfo("Building universal build actions"); 531 // Collect the list of architectures. Duplicates are allowed, but should only 532 // be handled once (in the order seen). 533 llvm::StringSet<> ArchNames; 534 llvm::SmallVector<const char *, 4> Archs; 535 for (ArgList::const_iterator it = Args.begin(), ie = Args.end(); 536 it != ie; ++it) { 537 Arg *A = *it; 538 539 if (A->getOption().matches(options::OPT_arch)) { 540 // Validate the option here; we don't save the type here because its 541 // particular spelling may participate in other driver choices. 542 llvm::Triple::ArchType Arch = 543 llvm::Triple::getArchTypeForDarwinArchName(A->getValue(Args)); 544 if (Arch == llvm::Triple::UnknownArch) { 545 Diag(clang::diag::err_drv_invalid_arch_name) 546 << A->getAsString(Args); 547 continue; 548 } 549 550 A->claim(); 551 if (ArchNames.insert(A->getValue(Args))) 552 Archs.push_back(A->getValue(Args)); 553 } 554 } 555 556 // When there is no explicit arch for this platform, make sure we still bind 557 // the architecture (to the default) so that -Xarch_ is handled correctly. 558 if (!Archs.size()) 559 Archs.push_back(0); 560 561 // FIXME: We killed off some others but these aren't yet detected in a 562 // functional manner. If we added information to jobs about which "auxiliary" 563 // files they wrote then we could detect the conflict these cause downstream. 564 if (Archs.size() > 1) { 565 // No recovery needed, the point of this is just to prevent 566 // overwriting the same files. 567 if (const Arg *A = Args.getLastArg(options::OPT_save_temps)) 568 Diag(clang::diag::err_drv_invalid_opt_with_multiple_archs) 569 << A->getAsString(Args); 570 } 571 572 ActionList SingleActions; 573 BuildActions(Args, SingleActions); 574 575 // Add in arch bindings for every top level action, as well as lipo and 576 // dsymutil steps if needed. 577 for (unsigned i = 0, e = SingleActions.size(); i != e; ++i) { 578 Action *Act = SingleActions[i]; 579 580 // Make sure we can lipo this kind of output. If not (and it is an actual 581 // output) then we disallow, since we can't create an output file with the 582 // right name without overwriting it. We could remove this oddity by just 583 // changing the output names to include the arch, which would also fix 584 // -save-temps. Compatibility wins for now. 585 586 if (Archs.size() > 1 && !types::canLipoType(Act->getType())) 587 Diag(clang::diag::err_drv_invalid_output_with_multiple_archs) 588 << types::getTypeName(Act->getType()); 589 590 ActionList Inputs; 591 for (unsigned i = 0, e = Archs.size(); i != e; ++i) { 592 Inputs.push_back(new BindArchAction(Act, Archs[i])); 593 if (i != 0) 594 Inputs.back()->setOwnsInputs(false); 595 } 596 597 // Lipo if necessary, we do it this way because we need to set the arch flag 598 // so that -Xarch_ gets overwritten. 599 if (Inputs.size() == 1 || Act->getType() == types::TY_Nothing) 600 Actions.append(Inputs.begin(), Inputs.end()); 601 else 602 Actions.push_back(new LipoJobAction(Inputs, Act->getType())); 603 604 // Add a 'dsymutil' step if necessary, when debug info is enabled and we 605 // have a compile input. We need to run 'dsymutil' ourselves in such cases 606 // because the debug info will refer to a temporary object file which is 607 // will be removed at the end of the compilation process. 608 if (Act->getType() == types::TY_Image) { 609 Arg *A = Args.getLastArg(options::OPT_g_Group); 610 if (A && !A->getOption().matches(options::OPT_g0) && 611 !A->getOption().matches(options::OPT_gstabs) && 612 ContainsCompileAction(Actions.back())) { 613 ActionList Inputs; 614 Inputs.push_back(Actions.back()); 615 Actions.pop_back(); 616 617 Actions.push_back(new DsymutilJobAction(Inputs, types::TY_dSYM)); 618 } 619 } 620 } 621} 622 623void Driver::BuildActions(const ArgList &Args, ActionList &Actions) const { 624 llvm::PrettyStackTraceString CrashInfo("Building compilation actions"); 625 // Start by constructing the list of inputs and their types. 626 627 // Track the current user specified (-x) input. We also explicitly track the 628 // argument used to set the type; we only want to claim the type when we 629 // actually use it, so we warn about unused -x arguments. 630 types::ID InputType = types::TY_Nothing; 631 Arg *InputTypeArg = 0; 632 633 llvm::SmallVector<std::pair<types::ID, const Arg*>, 16> Inputs; 634 for (ArgList::const_iterator it = Args.begin(), ie = Args.end(); 635 it != ie; ++it) { 636 Arg *A = *it; 637 638 if (isa<InputOption>(A->getOption())) { 639 const char *Value = A->getValue(Args); 640 types::ID Ty = types::TY_INVALID; 641 642 // Infer the input type if necessary. 643 if (InputType == types::TY_Nothing) { 644 // If there was an explicit arg for this, claim it. 645 if (InputTypeArg) 646 InputTypeArg->claim(); 647 648 // stdin must be handled specially. 649 if (memcmp(Value, "-", 2) == 0) { 650 // If running with -E, treat as a C input (this changes the builtin 651 // macros, for example). This may be overridden by -ObjC below. 652 // 653 // Otherwise emit an error but still use a valid type to avoid 654 // spurious errors (e.g., no inputs). 655 if (!Args.hasArgNoClaim(options::OPT_E)) 656 Diag(clang::diag::err_drv_unknown_stdin_type); 657 Ty = types::TY_C; 658 } else { 659 // Otherwise lookup by extension, and fallback to ObjectType if not 660 // found. We use a host hook here because Darwin at least has its own 661 // idea of what .s is. 662 if (const char *Ext = strrchr(Value, '.')) 663 Ty = Host->lookupTypeForExtension(Ext + 1); 664 665 if (Ty == types::TY_INVALID) 666 Ty = types::TY_Object; 667 668 // If the driver is invoked as C++ compiler (like clang++ or c++) it 669 // should autodetect some input files as C++ for g++ compatibility. 670 if (CCCIsCXX) { 671 types::ID OldTy = Ty; 672 Ty = types::lookupCXXTypeForCType(Ty); 673 674 if (Ty != OldTy) 675 Diag(clang::diag::warn_drv_treating_input_as_cxx) 676 << getTypeName(OldTy) << getTypeName(Ty); 677 } 678 } 679 680 // -ObjC and -ObjC++ override the default language, but only for "source 681 // files". We just treat everything that isn't a linker input as a 682 // source file. 683 // 684 // FIXME: Clean this up if we move the phase sequence into the type. 685 if (Ty != types::TY_Object) { 686 if (Args.hasArg(options::OPT_ObjC)) 687 Ty = types::TY_ObjC; 688 else if (Args.hasArg(options::OPT_ObjCXX)) 689 Ty = types::TY_ObjCXX; 690 } 691 } else { 692 assert(InputTypeArg && "InputType set w/o InputTypeArg"); 693 InputTypeArg->claim(); 694 Ty = InputType; 695 } 696 697 // Check that the file exists, if enabled. 698 if (CheckInputsExist && memcmp(Value, "-", 2) != 0 && 699 !llvm::sys::Path(Value).exists()) 700 Diag(clang::diag::err_drv_no_such_file) << A->getValue(Args); 701 else 702 Inputs.push_back(std::make_pair(Ty, A)); 703 704 } else if (A->getOption().isLinkerInput()) { 705 // Just treat as object type, we could make a special type for this if 706 // necessary. 707 Inputs.push_back(std::make_pair(types::TY_Object, A)); 708 709 } else if (A->getOption().matches(options::OPT_x)) { 710 InputTypeArg = A; 711 InputType = types::lookupTypeForTypeSpecifier(A->getValue(Args)); 712 713 // Follow gcc behavior and treat as linker input for invalid -x 714 // options. Its not clear why we shouldn't just revert to unknown; but 715 // this isn't very important, we might as well be bug comatible. 716 if (!InputType) { 717 Diag(clang::diag::err_drv_unknown_language) << A->getValue(Args); 718 InputType = types::TY_Object; 719 } 720 } 721 } 722 723 if (!SuppressMissingInputWarning && Inputs.empty()) { 724 Diag(clang::diag::err_drv_no_input_files); 725 return; 726 } 727 728 // Determine which compilation mode we are in. We look for options which 729 // affect the phase, starting with the earliest phases, and record which 730 // option we used to determine the final phase. 731 Arg *FinalPhaseArg = 0; 732 phases::ID FinalPhase; 733 734 // -{E,M,MM} only run the preprocessor. 735 if ((FinalPhaseArg = Args.getLastArg(options::OPT_E)) || 736 (FinalPhaseArg = Args.getLastArg(options::OPT_M)) || 737 (FinalPhaseArg = Args.getLastArg(options::OPT_MM))) { 738 FinalPhase = phases::Preprocess; 739 740 // -{fsyntax-only,-analyze,emit-ast,S} only run up to the compiler. 741 } else if ((FinalPhaseArg = Args.getLastArg(options::OPT_fsyntax_only)) || 742 (FinalPhaseArg = Args.getLastArg(options::OPT_rewrite_objc)) || 743 (FinalPhaseArg = Args.getLastArg(options::OPT__analyze, 744 options::OPT__analyze_auto)) || 745 (FinalPhaseArg = Args.getLastArg(options::OPT_emit_ast)) || 746 (FinalPhaseArg = Args.getLastArg(options::OPT_S))) { 747 FinalPhase = phases::Compile; 748 749 // -c only runs up to the assembler. 750 } else if ((FinalPhaseArg = Args.getLastArg(options::OPT_c))) { 751 FinalPhase = phases::Assemble; 752 753 // Otherwise do everything. 754 } else 755 FinalPhase = phases::Link; 756 757 // Reject -Z* at the top level, these options should never have been exposed 758 // by gcc. 759 if (Arg *A = Args.getLastArg(options::OPT_Z_Joined)) 760 Diag(clang::diag::err_drv_use_of_Z_option) << A->getAsString(Args); 761 762 // Construct the actions to perform. 763 ActionList LinkerInputs; 764 for (unsigned i = 0, e = Inputs.size(); i != e; ++i) { 765 types::ID InputType = Inputs[i].first; 766 const Arg *InputArg = Inputs[i].second; 767 768 unsigned NumSteps = types::getNumCompilationPhases(InputType); 769 assert(NumSteps && "Invalid number of steps!"); 770 771 // If the first step comes after the final phase we are doing as part of 772 // this compilation, warn the user about it. 773 phases::ID InitialPhase = types::getCompilationPhase(InputType, 0); 774 if (InitialPhase > FinalPhase) { 775 // Claim here to avoid the more general unused warning. 776 InputArg->claim(); 777 778 // Special case '-E' warning on a previously preprocessed file to make 779 // more sense. 780 if (InitialPhase == phases::Compile && FinalPhase == phases::Preprocess && 781 getPreprocessedType(InputType) == types::TY_INVALID) 782 Diag(clang::diag::warn_drv_preprocessed_input_file_unused) 783 << InputArg->getAsString(Args) 784 << FinalPhaseArg->getOption().getName(); 785 else 786 Diag(clang::diag::warn_drv_input_file_unused) 787 << InputArg->getAsString(Args) 788 << getPhaseName(InitialPhase) 789 << FinalPhaseArg->getOption().getName(); 790 continue; 791 } 792 793 // Build the pipeline for this file. 794 llvm::OwningPtr<Action> Current(new InputAction(*InputArg, InputType)); 795 for (unsigned i = 0; i != NumSteps; ++i) { 796 phases::ID Phase = types::getCompilationPhase(InputType, i); 797 798 // We are done if this step is past what the user requested. 799 if (Phase > FinalPhase) 800 break; 801 802 // Queue linker inputs. 803 if (Phase == phases::Link) { 804 assert(i + 1 == NumSteps && "linking must be final compilation step."); 805 LinkerInputs.push_back(Current.take()); 806 break; 807 } 808 809 // Some types skip the assembler phase (e.g., llvm-bc), but we can't 810 // encode this in the steps because the intermediate type depends on 811 // arguments. Just special case here. 812 if (Phase == phases::Assemble && Current->getType() != types::TY_PP_Asm) 813 continue; 814 815 // Otherwise construct the appropriate action. 816 Current.reset(ConstructPhaseAction(Args, Phase, Current.take())); 817 if (Current->getType() == types::TY_Nothing) 818 break; 819 } 820 821 // If we ended with something, add to the output list. 822 if (Current) 823 Actions.push_back(Current.take()); 824 } 825 826 // Add a link action if necessary. 827 if (!LinkerInputs.empty()) 828 Actions.push_back(new LinkJobAction(LinkerInputs, types::TY_Image)); 829 830 // If we are linking, claim any options which are obviously only used for 831 // compilation. 832 if (FinalPhase == phases::Link) 833 Args.ClaimAllArgs(options::OPT_CompileOnly_Group); 834} 835 836Action *Driver::ConstructPhaseAction(const ArgList &Args, phases::ID Phase, 837 Action *Input) const { 838 llvm::PrettyStackTraceString CrashInfo("Constructing phase actions"); 839 // Build the appropriate action. 840 switch (Phase) { 841 case phases::Link: assert(0 && "link action invalid here."); 842 case phases::Preprocess: { 843 types::ID OutputTy; 844 // -{M, MM} alter the output type. 845 if (Args.hasArg(options::OPT_M) || Args.hasArg(options::OPT_MM)) { 846 OutputTy = types::TY_Dependencies; 847 } else { 848 OutputTy = types::getPreprocessedType(Input->getType()); 849 assert(OutputTy != types::TY_INVALID && 850 "Cannot preprocess this input type!"); 851 } 852 return new PreprocessJobAction(Input, OutputTy); 853 } 854 case phases::Precompile: 855 return new PrecompileJobAction(Input, types::TY_PCH); 856 case phases::Compile: { 857 bool HasO4 = false; 858 if (const Arg *A = Args.getLastArg(options::OPT_O_Group)) 859 HasO4 = A->getOption().matches(options::OPT_O4); 860 861 if (Args.hasArg(options::OPT_fsyntax_only)) { 862 return new CompileJobAction(Input, types::TY_Nothing); 863 } else if (Args.hasArg(options::OPT_rewrite_objc)) { 864 return new CompileJobAction(Input, types::TY_RewrittenObjC); 865 } else if (Args.hasArg(options::OPT__analyze, options::OPT__analyze_auto)) { 866 return new AnalyzeJobAction(Input, types::TY_Plist); 867 } else if (Args.hasArg(options::OPT_emit_ast)) { 868 return new CompileJobAction(Input, types::TY_AST); 869 } else if (Args.hasArg(options::OPT_emit_llvm) || 870 Args.hasArg(options::OPT_flto) || HasO4) { 871 types::ID Output = 872 Args.hasArg(options::OPT_S) ? types::TY_LTO_IR : types::TY_LTO_BC; 873 return new CompileJobAction(Input, Output); 874 } else { 875 return new CompileJobAction(Input, types::TY_PP_Asm); 876 } 877 } 878 case phases::Assemble: 879 return new AssembleJobAction(Input, types::TY_Object); 880 } 881 882 assert(0 && "invalid phase in ConstructPhaseAction"); 883 return 0; 884} 885 886void Driver::BuildJobs(Compilation &C) const { 887 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs"); 888 bool SaveTemps = C.getArgs().hasArg(options::OPT_save_temps); 889 bool UsePipes = C.getArgs().hasArg(options::OPT_pipe); 890 891 // FIXME: Pipes are forcibly disabled until we support executing them. 892 if (!CCCPrintBindings) 893 UsePipes = false; 894 895 // -save-temps inhibits pipes. 896 if (SaveTemps && UsePipes) 897 Diag(clang::diag::warn_drv_pipe_ignored_with_save_temps); 898 899 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o); 900 901 // It is an error to provide a -o option if we are making multiple output 902 // files. 903 if (FinalOutput) { 904 unsigned NumOutputs = 0; 905 for (ActionList::const_iterator it = C.getActions().begin(), 906 ie = C.getActions().end(); it != ie; ++it) 907 if ((*it)->getType() != types::TY_Nothing) 908 ++NumOutputs; 909 910 if (NumOutputs > 1) { 911 Diag(clang::diag::err_drv_output_argument_with_multiple_files); 912 FinalOutput = 0; 913 } 914 } 915 916 for (ActionList::const_iterator it = C.getActions().begin(), 917 ie = C.getActions().end(); it != ie; ++it) { 918 Action *A = *it; 919 920 // If we are linking an image for multiple archs then the linker wants 921 // -arch_multiple and -final_output <final image name>. Unfortunately, this 922 // doesn't fit in cleanly because we have to pass this information down. 923 // 924 // FIXME: This is a hack; find a cleaner way to integrate this into the 925 // process. 926 const char *LinkingOutput = 0; 927 if (isa<LipoJobAction>(A)) { 928 if (FinalOutput) 929 LinkingOutput = FinalOutput->getValue(C.getArgs()); 930 else 931 LinkingOutput = DefaultImageName.c_str(); 932 } 933 934 InputInfo II; 935 BuildJobsForAction(C, A, &C.getDefaultToolChain(), 936 /*BoundArch*/0, 937 /*CanAcceptPipe*/ true, 938 /*AtTopLevel*/ true, 939 /*LinkingOutput*/ LinkingOutput, 940 II); 941 } 942 943 // If the user passed -Qunused-arguments or there were errors, don't warn 944 // about any unused arguments. 945 if (Diags.getNumErrors() || 946 C.getArgs().hasArg(options::OPT_Qunused_arguments)) 947 return; 948 949 // Claim -### here. 950 (void) C.getArgs().hasArg(options::OPT__HASH_HASH_HASH); 951 952 for (ArgList::const_iterator it = C.getArgs().begin(), ie = C.getArgs().end(); 953 it != ie; ++it) { 954 Arg *A = *it; 955 956 // FIXME: It would be nice to be able to send the argument to the 957 // Diagnostic, so that extra values, position, and so on could be printed. 958 if (!A->isClaimed()) { 959 if (A->getOption().hasNoArgumentUnused()) 960 continue; 961 962 // Suppress the warning automatically if this is just a flag, and it is an 963 // instance of an argument we already claimed. 964 const Option &Opt = A->getOption(); 965 if (isa<FlagOption>(Opt)) { 966 bool DuplicateClaimed = false; 967 968 for (arg_iterator it = C.getArgs().filtered_begin(&Opt), 969 ie = C.getArgs().filtered_end(); it != ie; ++it) { 970 if ((*it)->isClaimed()) { 971 DuplicateClaimed = true; 972 break; 973 } 974 } 975 976 if (DuplicateClaimed) 977 continue; 978 } 979 980 Diag(clang::diag::warn_drv_unused_argument) 981 << A->getAsString(C.getArgs()); 982 } 983 } 984} 985 986static const Tool &SelectToolForJob(Compilation &C, const ToolChain *TC, 987 const JobAction *JA, 988 const ActionList *&Inputs) { 989 const Tool *ToolForJob = 0; 990 991 // See if we should look for a compiler with an integrated assembler. We match 992 // bottom up, so what we are actually looking for is an assembler job with a 993 // compiler input. 994 995 // FIXME: This doesn't belong here, but ideally we will support static soon 996 // anyway. 997 bool HasStatic = (C.getArgs().hasArg(options::OPT_mkernel) || 998 C.getArgs().hasArg(options::OPT_static) || 999 C.getArgs().hasArg(options::OPT_fapple_kext)); 1000 bool IsIADefault = (TC->IsIntegratedAssemblerDefault() && !HasStatic); 1001 if (C.getArgs().hasFlag(options::OPT_integrated_as, 1002 options::OPT_no_integrated_as, 1003 IsIADefault) && 1004 !C.getArgs().hasArg(options::OPT_save_temps) && 1005 isa<AssembleJobAction>(JA) && 1006 Inputs->size() == 1 && isa<CompileJobAction>(*Inputs->begin())) { 1007 const Tool &Compiler = TC->SelectTool(C,cast<JobAction>(**Inputs->begin())); 1008 if (Compiler.hasIntegratedAssembler()) { 1009 Inputs = &(*Inputs)[0]->getInputs(); 1010 ToolForJob = &Compiler; 1011 } 1012 } 1013 1014 // Otherwise use the tool for the current job. 1015 if (!ToolForJob) 1016 ToolForJob = &TC->SelectTool(C, *JA); 1017 1018 // See if we should use an integrated preprocessor. We do so when we have 1019 // exactly one input, since this is the only use case we care about 1020 // (irrelevant since we don't support combine yet). 1021 if (Inputs->size() == 1 && isa<PreprocessJobAction>(*Inputs->begin()) && 1022 !C.getArgs().hasArg(options::OPT_no_integrated_cpp) && 1023 !C.getArgs().hasArg(options::OPT_traditional_cpp) && 1024 !C.getArgs().hasArg(options::OPT_save_temps) && 1025 ToolForJob->hasIntegratedCPP()) 1026 Inputs = &(*Inputs)[0]->getInputs(); 1027 1028 return *ToolForJob; 1029} 1030 1031void Driver::BuildJobsForAction(Compilation &C, 1032 const Action *A, 1033 const ToolChain *TC, 1034 const char *BoundArch, 1035 bool CanAcceptPipe, 1036 bool AtTopLevel, 1037 const char *LinkingOutput, 1038 InputInfo &Result) const { 1039 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs"); 1040 1041 bool UsePipes = C.getArgs().hasArg(options::OPT_pipe); 1042 // FIXME: Pipes are forcibly disabled until we support executing them. 1043 if (!CCCPrintBindings) 1044 UsePipes = false; 1045 1046 if (const InputAction *IA = dyn_cast<InputAction>(A)) { 1047 // FIXME: It would be nice to not claim this here; maybe the old scheme of 1048 // just using Args was better? 1049 const Arg &Input = IA->getInputArg(); 1050 Input.claim(); 1051 if (Input.getOption().matches(options::OPT_INPUT)) { 1052 const char *Name = Input.getValue(C.getArgs()); 1053 Result = InputInfo(Name, A->getType(), Name); 1054 } else 1055 Result = InputInfo(&Input, A->getType(), ""); 1056 return; 1057 } 1058 1059 if (const BindArchAction *BAA = dyn_cast<BindArchAction>(A)) { 1060 const ToolChain *TC = &C.getDefaultToolChain(); 1061 1062 std::string Arch; 1063 if (BAA->getArchName()) 1064 TC = Host->CreateToolChain(C.getArgs(), BAA->getArchName()); 1065 1066 BuildJobsForAction(C, *BAA->begin(), TC, BAA->getArchName(), 1067 CanAcceptPipe, AtTopLevel, LinkingOutput, Result); 1068 return; 1069 } 1070 1071 const ActionList *Inputs = &A->getInputs(); 1072 1073 const JobAction *JA = cast<JobAction>(A); 1074 const Tool &T = SelectToolForJob(C, TC, JA, Inputs); 1075 1076 // Only use pipes when there is exactly one input. 1077 bool TryToUsePipeInput = Inputs->size() == 1 && T.acceptsPipedInput(); 1078 InputInfoList InputInfos; 1079 for (ActionList::const_iterator it = Inputs->begin(), ie = Inputs->end(); 1080 it != ie; ++it) { 1081 // Treat dsymutil sub-jobs as being at the top-level too, they shouldn't get 1082 // temporary output names. 1083 // 1084 // FIXME: Clean this up. 1085 bool SubJobAtTopLevel = false; 1086 if (AtTopLevel && isa<DsymutilJobAction>(A)) 1087 SubJobAtTopLevel = true; 1088 1089 InputInfo II; 1090 BuildJobsForAction(C, *it, TC, BoundArch, TryToUsePipeInput, 1091 SubJobAtTopLevel, LinkingOutput, II); 1092 InputInfos.push_back(II); 1093 } 1094 1095 // Determine if we should output to a pipe. 1096 bool OutputToPipe = false; 1097 if (CanAcceptPipe && T.canPipeOutput()) { 1098 // Some actions default to writing to a pipe if they are the top level phase 1099 // and there was no user override. 1100 // 1101 // FIXME: Is there a better way to handle this? 1102 if (AtTopLevel) { 1103 if (isa<PreprocessJobAction>(A) && !C.getArgs().hasArg(options::OPT_o)) 1104 OutputToPipe = true; 1105 } else if (UsePipes) 1106 OutputToPipe = true; 1107 } 1108 1109 // Figure out where to put the job (pipes). 1110 Job *Dest = &C.getJobs(); 1111 if (InputInfos[0].isPipe()) { 1112 assert(TryToUsePipeInput && "Unrequested pipe!"); 1113 assert(InputInfos.size() == 1 && "Unexpected pipe with multiple inputs."); 1114 Dest = &InputInfos[0].getPipe(); 1115 } 1116 1117 // Always use the first input as the base input. 1118 const char *BaseInput = InputInfos[0].getBaseInput(); 1119 1120 // ... except dsymutil actions, which use their actual input as the base 1121 // input. 1122 if (JA->getType() == types::TY_dSYM) 1123 BaseInput = InputInfos[0].getFilename(); 1124 1125 // Determine the place to write output to (nothing, pipe, or filename) and 1126 // where to put the new job. 1127 if (JA->getType() == types::TY_Nothing) { 1128 Result = InputInfo(A->getType(), BaseInput); 1129 } else if (OutputToPipe) { 1130 // Append to current piped job or create a new one as appropriate. 1131 PipedJob *PJ = dyn_cast<PipedJob>(Dest); 1132 if (!PJ) { 1133 PJ = new PipedJob(); 1134 // FIXME: Temporary hack so that -ccc-print-bindings work until we have 1135 // pipe support. Please remove later. 1136 if (!CCCPrintBindings) 1137 cast<JobList>(Dest)->addJob(PJ); 1138 Dest = PJ; 1139 } 1140 Result = InputInfo(PJ, A->getType(), BaseInput); 1141 } else { 1142 Result = InputInfo(GetNamedOutputPath(C, *JA, BaseInput, AtTopLevel), 1143 A->getType(), BaseInput); 1144 } 1145 1146 if (CCCPrintBindings) { 1147 llvm::errs() << "# \"" << T.getToolChain().getTripleString() << '"' 1148 << " - \"" << T.getName() << "\", inputs: ["; 1149 for (unsigned i = 0, e = InputInfos.size(); i != e; ++i) { 1150 llvm::errs() << InputInfos[i].getAsString(); 1151 if (i + 1 != e) 1152 llvm::errs() << ", "; 1153 } 1154 llvm::errs() << "], output: " << Result.getAsString() << "\n"; 1155 } else { 1156 T.ConstructJob(C, *JA, *Dest, Result, InputInfos, 1157 C.getArgsForToolChain(TC, BoundArch), LinkingOutput); 1158 } 1159} 1160 1161const char *Driver::GetNamedOutputPath(Compilation &C, 1162 const JobAction &JA, 1163 const char *BaseInput, 1164 bool AtTopLevel) const { 1165 llvm::PrettyStackTraceString CrashInfo("Computing output path"); 1166 // Output to a user requested destination? 1167 if (AtTopLevel && !isa<DsymutilJobAction>(JA)) { 1168 if (Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o)) 1169 return C.addResultFile(FinalOutput->getValue(C.getArgs())); 1170 } 1171 1172 // Output to a temporary file? 1173 if (!AtTopLevel && !C.getArgs().hasArg(options::OPT_save_temps)) { 1174 std::string TmpName = 1175 GetTemporaryPath(types::getTypeTempSuffix(JA.getType())); 1176 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str())); 1177 } 1178 1179 llvm::sys::Path BasePath(BaseInput); 1180 std::string BaseName(BasePath.getLast()); 1181 1182 // Determine what the derived output name should be. 1183 const char *NamedOutput; 1184 if (JA.getType() == types::TY_Image) { 1185 NamedOutput = DefaultImageName.c_str(); 1186 } else { 1187 const char *Suffix = types::getTypeTempSuffix(JA.getType()); 1188 assert(Suffix && "All types used for output should have a suffix."); 1189 1190 std::string::size_type End = std::string::npos; 1191 if (!types::appendSuffixForType(JA.getType())) 1192 End = BaseName.rfind('.'); 1193 std::string Suffixed(BaseName.substr(0, End)); 1194 Suffixed += '.'; 1195 Suffixed += Suffix; 1196 NamedOutput = C.getArgs().MakeArgString(Suffixed.c_str()); 1197 } 1198 1199 // As an annoying special case, PCH generation doesn't strip the pathname. 1200 if (JA.getType() == types::TY_PCH) { 1201 BasePath.eraseComponent(); 1202 if (BasePath.isEmpty()) 1203 BasePath = NamedOutput; 1204 else 1205 BasePath.appendComponent(NamedOutput); 1206 return C.addResultFile(C.getArgs().MakeArgString(BasePath.c_str())); 1207 } else { 1208 return C.addResultFile(NamedOutput); 1209 } 1210} 1211 1212std::string Driver::GetFilePath(const char *Name, const ToolChain &TC) const { 1213 // Respect a limited subset of the '-Bprefix' functionality in GCC by 1214 // attempting to use this prefix when lokup up program paths. 1215 if (!PrefixDir.empty()) { 1216 llvm::sys::Path P(PrefixDir); 1217 P.appendComponent(Name); 1218 if (P.exists()) 1219 return P.str(); 1220 } 1221 1222 const ToolChain::path_list &List = TC.getFilePaths(); 1223 for (ToolChain::path_list::const_iterator 1224 it = List.begin(), ie = List.end(); it != ie; ++it) { 1225 llvm::sys::Path P(*it); 1226 P.appendComponent(Name); 1227 if (P.exists()) 1228 return P.str(); 1229 } 1230 1231 return Name; 1232} 1233 1234std::string Driver::GetProgramPath(const char *Name, const ToolChain &TC, 1235 bool WantFile) const { 1236 // Respect a limited subset of the '-Bprefix' functionality in GCC by 1237 // attempting to use this prefix when lokup up program paths. 1238 if (!PrefixDir.empty()) { 1239 llvm::sys::Path P(PrefixDir); 1240 P.appendComponent(Name); 1241 if (WantFile ? P.exists() : P.canExecute()) 1242 return P.str(); 1243 } 1244 1245 const ToolChain::path_list &List = TC.getProgramPaths(); 1246 for (ToolChain::path_list::const_iterator 1247 it = List.begin(), ie = List.end(); it != ie; ++it) { 1248 llvm::sys::Path P(*it); 1249 P.appendComponent(Name); 1250 if (WantFile ? P.exists() : P.canExecute()) 1251 return P.str(); 1252 } 1253 1254 // If all else failed, search the path. 1255 llvm::sys::Path P(llvm::sys::Program::FindProgramByName(Name)); 1256 if (!P.empty()) 1257 return P.str(); 1258 1259 return Name; 1260} 1261 1262std::string Driver::GetTemporaryPath(const char *Suffix) const { 1263 // FIXME: This is lame; sys::Path should provide this function (in particular, 1264 // it should know how to find the temporary files dir). 1265 std::string Error; 1266 const char *TmpDir = ::getenv("TMPDIR"); 1267 if (!TmpDir) 1268 TmpDir = ::getenv("TEMP"); 1269 if (!TmpDir) 1270 TmpDir = ::getenv("TMP"); 1271 if (!TmpDir) 1272 TmpDir = "/tmp"; 1273 llvm::sys::Path P(TmpDir); 1274 P.appendComponent("cc"); 1275 if (P.makeUnique(false, &Error)) { 1276 Diag(clang::diag::err_drv_unable_to_make_temp) << Error; 1277 return ""; 1278 } 1279 1280 // FIXME: Grumble, makeUnique sometimes leaves the file around!? PR3837. 1281 P.eraseFromDisk(false, 0); 1282 1283 P.appendSuffix(Suffix); 1284 return P.str(); 1285} 1286 1287const HostInfo *Driver::GetHostInfo(const char *TripleStr) const { 1288 llvm::PrettyStackTraceString CrashInfo("Constructing host"); 1289 llvm::Triple Triple(TripleStr); 1290 1291 // TCE is an osless target 1292 if (Triple.getArchName() == "tce") 1293 return createTCEHostInfo(*this, Triple); 1294 1295 switch (Triple.getOS()) { 1296 case llvm::Triple::AuroraUX: 1297 return createAuroraUXHostInfo(*this, Triple); 1298 case llvm::Triple::Darwin: 1299 return createDarwinHostInfo(*this, Triple); 1300 case llvm::Triple::DragonFly: 1301 return createDragonFlyHostInfo(*this, Triple); 1302 case llvm::Triple::OpenBSD: 1303 return createOpenBSDHostInfo(*this, Triple); 1304 case llvm::Triple::FreeBSD: 1305 return createFreeBSDHostInfo(*this, Triple); 1306 case llvm::Triple::Minix: 1307 return createMinixHostInfo(*this, Triple); 1308 case llvm::Triple::Linux: 1309 return createLinuxHostInfo(*this, Triple); 1310 default: 1311 return createUnknownHostInfo(*this, Triple); 1312 } 1313} 1314 1315bool Driver::ShouldUseClangCompiler(const Compilation &C, const JobAction &JA, 1316 const llvm::Triple &Triple) const { 1317 // Check if user requested no clang, or clang doesn't understand this type (we 1318 // only handle single inputs for now). 1319 if (!CCCUseClang || JA.size() != 1 || 1320 !types::isAcceptedByClang((*JA.begin())->getType())) 1321 return false; 1322 1323 // Otherwise make sure this is an action clang understands. 1324 if (isa<PreprocessJobAction>(JA)) { 1325 if (!CCCUseClangCPP) { 1326 Diag(clang::diag::warn_drv_not_using_clang_cpp); 1327 return false; 1328 } 1329 } else if (!isa<PrecompileJobAction>(JA) && !isa<CompileJobAction>(JA)) 1330 return false; 1331 1332 // Use clang for C++? 1333 if (!CCCUseClangCXX && types::isCXX((*JA.begin())->getType())) { 1334 Diag(clang::diag::warn_drv_not_using_clang_cxx); 1335 return false; 1336 } 1337 1338 // Always use clang for precompiling, AST generation, and rewriting, 1339 // regardless of archs. 1340 if (isa<PrecompileJobAction>(JA) || 1341 types::isOnlyAcceptedByClang(JA.getType())) 1342 return true; 1343 1344 // Finally, don't use clang if this isn't one of the user specified archs to 1345 // build. 1346 if (!CCCClangArchs.empty() && !CCCClangArchs.count(Triple.getArch())) { 1347 Diag(clang::diag::warn_drv_not_using_clang_arch) << Triple.getArchName(); 1348 return false; 1349 } 1350 1351 return true; 1352} 1353 1354/// GetReleaseVersion - Parse (([0-9]+)(.([0-9]+)(.([0-9]+)?))?)? and return the 1355/// grouped values as integers. Numbers which are not provided are set to 0. 1356/// 1357/// \return True if the entire string was parsed (9.2), or all groups were 1358/// parsed (10.3.5extrastuff). 1359bool Driver::GetReleaseVersion(const char *Str, unsigned &Major, 1360 unsigned &Minor, unsigned &Micro, 1361 bool &HadExtra) { 1362 HadExtra = false; 1363 1364 Major = Minor = Micro = 0; 1365 if (*Str == '\0') 1366 return true; 1367 1368 char *End; 1369 Major = (unsigned) strtol(Str, &End, 10); 1370 if (*Str != '\0' && *End == '\0') 1371 return true; 1372 if (*End != '.') 1373 return false; 1374 1375 Str = End+1; 1376 Minor = (unsigned) strtol(Str, &End, 10); 1377 if (*Str != '\0' && *End == '\0') 1378 return true; 1379 if (*End != '.') 1380 return false; 1381 1382 Str = End+1; 1383 Micro = (unsigned) strtol(Str, &End, 10); 1384 if (*Str != '\0' && *End == '\0') 1385 return true; 1386 if (Str == End) 1387 return false; 1388 HadExtra = true; 1389 return true; 1390} 1391