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 #include "InputInfo.h" 12 #include "ToolChains.h" 13 #include "clang/Basic/Version.h" 14 #include "clang/Basic/VirtualFileSystem.h" 15 #include "clang/Config/config.h" 16 #include "clang/Driver/Action.h" 17 #include "clang/Driver/Compilation.h" 18 #include "clang/Driver/DriverDiagnostic.h" 19 #include "clang/Driver/Job.h" 20 #include "clang/Driver/Options.h" 21 #include "clang/Driver/SanitizerArgs.h" 22 #include "clang/Driver/Tool.h" 23 #include "clang/Driver/ToolChain.h" 24 #include "llvm/ADT/ArrayRef.h" 25 #include "llvm/ADT/STLExtras.h" 26 #include "llvm/ADT/StringExtras.h" 27 #include "llvm/ADT/StringSet.h" 28 #include "llvm/ADT/StringSwitch.h" 29 #include "llvm/Option/Arg.h" 30 #include "llvm/Option/ArgList.h" 31 #include "llvm/Option/OptSpecifier.h" 32 #include "llvm/Option/OptTable.h" 33 #include "llvm/Option/Option.h" 34 #include "llvm/Support/Debug.h" 35 #include "llvm/Support/ErrorHandling.h" 36 #include "llvm/Support/FileSystem.h" 37 #include "llvm/Support/Path.h" 38 #include "llvm/Support/PrettyStackTrace.h" 39 #include "llvm/Support/Process.h" 40 #include "llvm/Support/Program.h" 41 #include "llvm/Support/raw_ostream.h" 42 #include <map> 43 #include <memory> 44 45 using namespace clang::driver; 46 using namespace clang; 47 using namespace llvm::opt; 48 49 Driver::Driver(StringRef ClangExecutable, StringRef DefaultTargetTriple, 50 DiagnosticsEngine &Diags, 51 IntrusiveRefCntPtr<vfs::FileSystem> VFS) 52 : Opts(createDriverOptTable()), Diags(Diags), VFS(VFS), Mode(GCCMode), 53 SaveTemps(SaveTempsNone), BitcodeEmbed(EmbedNone), LTOMode(LTOK_None), 54 ClangExecutable(ClangExecutable), 55 SysRoot(DEFAULT_SYSROOT), UseStdLib(true), 56 DefaultTargetTriple(DefaultTargetTriple), 57 DriverTitle("clang LLVM compiler"), CCPrintOptionsFilename(nullptr), 58 CCPrintHeadersFilename(nullptr), CCLogDiagnosticsFilename(nullptr), 59 CCCPrintBindings(false), CCPrintHeaders(false), CCLogDiagnostics(false), 60 CCGenDiagnostics(false), CCCGenericGCCName(""), CheckInputsExist(true), 61 CCCUsePCH(true), SuppressMissingInputWarning(false) { 62 63 // Provide a sane fallback if no VFS is specified. 64 if (!this->VFS) 65 this->VFS = vfs::getRealFileSystem(); 66 67 Name = llvm::sys::path::filename(ClangExecutable); 68 Dir = llvm::sys::path::parent_path(ClangExecutable); 69 InstalledDir = Dir; // Provide a sensible default installed dir. 70 71 // Compute the path to the resource directory. 72 StringRef ClangResourceDir(CLANG_RESOURCE_DIR); 73 SmallString<128> P(Dir); 74 if (ClangResourceDir != "") { 75 llvm::sys::path::append(P, ClangResourceDir); 76 } else { 77 StringRef ClangLibdirSuffix(CLANG_LIBDIR_SUFFIX); 78 llvm::sys::path::append(P, "..", Twine("lib") + ClangLibdirSuffix, "clang", 79 CLANG_VERSION_STRING); 80 } 81 ResourceDir = P.str(); 82 } 83 84 Driver::~Driver() { 85 delete Opts; 86 87 llvm::DeleteContainerSeconds(ToolChains); 88 } 89 90 void Driver::ParseDriverMode(ArrayRef<const char *> Args) { 91 const std::string OptName = 92 getOpts().getOption(options::OPT_driver_mode).getPrefixedName(); 93 94 for (const char *ArgPtr : Args) { 95 // Ingore nullptrs, they are response file's EOL markers 96 if (ArgPtr == nullptr) 97 continue; 98 const StringRef Arg = ArgPtr; 99 if (!Arg.startswith(OptName)) 100 continue; 101 102 const StringRef Value = Arg.drop_front(OptName.size()); 103 const unsigned M = llvm::StringSwitch<unsigned>(Value) 104 .Case("gcc", GCCMode) 105 .Case("g++", GXXMode) 106 .Case("cpp", CPPMode) 107 .Case("cl", CLMode) 108 .Default(~0U); 109 110 if (M != ~0U) 111 Mode = static_cast<DriverMode>(M); 112 else 113 Diag(diag::err_drv_unsupported_option_argument) << OptName << Value; 114 } 115 } 116 117 InputArgList Driver::ParseArgStrings(ArrayRef<const char *> ArgStrings) { 118 llvm::PrettyStackTraceString CrashInfo("Command line argument parsing"); 119 120 unsigned IncludedFlagsBitmask; 121 unsigned ExcludedFlagsBitmask; 122 std::tie(IncludedFlagsBitmask, ExcludedFlagsBitmask) = 123 getIncludeExcludeOptionFlagMasks(); 124 125 unsigned MissingArgIndex, MissingArgCount; 126 InputArgList Args = 127 getOpts().ParseArgs(ArgStrings, MissingArgIndex, MissingArgCount, 128 IncludedFlagsBitmask, ExcludedFlagsBitmask); 129 130 // Check for missing argument error. 131 if (MissingArgCount) 132 Diag(clang::diag::err_drv_missing_argument) 133 << Args.getArgString(MissingArgIndex) << MissingArgCount; 134 135 // Check for unsupported options. 136 for (const Arg *A : Args) { 137 if (A->getOption().hasFlag(options::Unsupported)) { 138 Diag(clang::diag::err_drv_unsupported_opt) << A->getAsString(Args); 139 continue; 140 } 141 142 // Warn about -mcpu= without an argument. 143 if (A->getOption().matches(options::OPT_mcpu_EQ) && A->containsValue("")) { 144 Diag(clang::diag::warn_drv_empty_joined_argument) << A->getAsString(Args); 145 } 146 } 147 148 for (const Arg *A : Args.filtered(options::OPT_UNKNOWN)) 149 Diags.Report(IsCLMode() ? diag::warn_drv_unknown_argument_clang_cl : 150 diag::err_drv_unknown_argument) 151 << A->getAsString(Args); 152 153 return Args; 154 } 155 156 // Determine which compilation mode we are in. We look for options which 157 // affect the phase, starting with the earliest phases, and record which 158 // option we used to determine the final phase. 159 phases::ID Driver::getFinalPhase(const DerivedArgList &DAL, 160 Arg **FinalPhaseArg) const { 161 Arg *PhaseArg = nullptr; 162 phases::ID FinalPhase; 163 164 // -{E,EP,P,M,MM} only run the preprocessor. 165 if (CCCIsCPP() || (PhaseArg = DAL.getLastArg(options::OPT_E)) || 166 (PhaseArg = DAL.getLastArg(options::OPT__SLASH_EP)) || 167 (PhaseArg = DAL.getLastArg(options::OPT_M, options::OPT_MM)) || 168 (PhaseArg = DAL.getLastArg(options::OPT__SLASH_P))) { 169 FinalPhase = phases::Preprocess; 170 171 // -{fsyntax-only,-analyze,emit-ast} only run up to the compiler. 172 } else if ((PhaseArg = DAL.getLastArg(options::OPT_fsyntax_only)) || 173 (PhaseArg = DAL.getLastArg(options::OPT_module_file_info)) || 174 (PhaseArg = DAL.getLastArg(options::OPT_verify_pch)) || 175 (PhaseArg = DAL.getLastArg(options::OPT_rewrite_objc)) || 176 (PhaseArg = DAL.getLastArg(options::OPT_rewrite_legacy_objc)) || 177 (PhaseArg = DAL.getLastArg(options::OPT__migrate)) || 178 (PhaseArg = DAL.getLastArg(options::OPT__analyze, 179 options::OPT__analyze_auto)) || 180 (PhaseArg = DAL.getLastArg(options::OPT_emit_ast))) { 181 FinalPhase = phases::Compile; 182 183 // -S only runs up to the backend. 184 } else if ((PhaseArg = DAL.getLastArg(options::OPT_S))) { 185 FinalPhase = phases::Backend; 186 187 // -c compilation only runs up to the assembler. 188 } else if ((PhaseArg = DAL.getLastArg(options::OPT_c))) { 189 FinalPhase = phases::Assemble; 190 191 // Otherwise do everything. 192 } else 193 FinalPhase = phases::Link; 194 195 if (FinalPhaseArg) 196 *FinalPhaseArg = PhaseArg; 197 198 return FinalPhase; 199 } 200 201 static Arg *MakeInputArg(DerivedArgList &Args, OptTable *Opts, 202 StringRef Value) { 203 Arg *A = new Arg(Opts->getOption(options::OPT_INPUT), Value, 204 Args.getBaseArgs().MakeIndex(Value), Value.data()); 205 Args.AddSynthesizedArg(A); 206 A->claim(); 207 return A; 208 } 209 210 DerivedArgList *Driver::TranslateInputArgs(const InputArgList &Args) const { 211 DerivedArgList *DAL = new DerivedArgList(Args); 212 213 bool HasNostdlib = Args.hasArg(options::OPT_nostdlib); 214 bool HasNodefaultlib = Args.hasArg(options::OPT_nodefaultlibs); 215 for (Arg *A : Args) { 216 // Unfortunately, we have to parse some forwarding options (-Xassembler, 217 // -Xlinker, -Xpreprocessor) because we either integrate their functionality 218 // (assembler and preprocessor), or bypass a previous driver ('collect2'). 219 220 // Rewrite linker options, to replace --no-demangle with a custom internal 221 // option. 222 if ((A->getOption().matches(options::OPT_Wl_COMMA) || 223 A->getOption().matches(options::OPT_Xlinker)) && 224 A->containsValue("--no-demangle")) { 225 // Add the rewritten no-demangle argument. 226 DAL->AddFlagArg(A, Opts->getOption(options::OPT_Z_Xlinker__no_demangle)); 227 228 // Add the remaining values as Xlinker arguments. 229 for (StringRef Val : A->getValues()) 230 if (Val != "--no-demangle") 231 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_Xlinker), Val); 232 233 continue; 234 } 235 236 // Rewrite preprocessor options, to replace -Wp,-MD,FOO which is used by 237 // some build systems. We don't try to be complete here because we don't 238 // care to encourage this usage model. 239 if (A->getOption().matches(options::OPT_Wp_COMMA) && 240 (A->getValue(0) == StringRef("-MD") || 241 A->getValue(0) == StringRef("-MMD"))) { 242 // Rewrite to -MD/-MMD along with -MF. 243 if (A->getValue(0) == StringRef("-MD")) 244 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MD)); 245 else 246 DAL->AddFlagArg(A, Opts->getOption(options::OPT_MMD)); 247 if (A->getNumValues() == 2) 248 DAL->AddSeparateArg(A, Opts->getOption(options::OPT_MF), 249 A->getValue(1)); 250 continue; 251 } 252 253 // Rewrite reserved library names. 254 if (A->getOption().matches(options::OPT_l)) { 255 StringRef Value = A->getValue(); 256 257 // Rewrite unless -nostdlib is present. 258 if (!HasNostdlib && !HasNodefaultlib && Value == "stdc++") { 259 DAL->AddFlagArg(A, Opts->getOption(options::OPT_Z_reserved_lib_stdcxx)); 260 continue; 261 } 262 263 // Rewrite unconditionally. 264 if (Value == "cc_kext") { 265 DAL->AddFlagArg(A, Opts->getOption(options::OPT_Z_reserved_lib_cckext)); 266 continue; 267 } 268 } 269 270 // Pick up inputs via the -- option. 271 if (A->getOption().matches(options::OPT__DASH_DASH)) { 272 A->claim(); 273 for (StringRef Val : A->getValues()) 274 DAL->append(MakeInputArg(*DAL, Opts, Val)); 275 continue; 276 } 277 278 DAL->append(A); 279 } 280 281 // Add a default value of -mlinker-version=, if one was given and the user 282 // didn't specify one. 283 #if defined(HOST_LINK_VERSION) 284 if (!Args.hasArg(options::OPT_mlinker_version_EQ) && 285 strlen(HOST_LINK_VERSION) > 0) { 286 DAL->AddJoinedArg(0, Opts->getOption(options::OPT_mlinker_version_EQ), 287 HOST_LINK_VERSION); 288 DAL->getLastArg(options::OPT_mlinker_version_EQ)->claim(); 289 } 290 #endif 291 292 return DAL; 293 } 294 295 /// \brief Compute target triple from args. 296 /// 297 /// This routine provides the logic to compute a target triple from various 298 /// args passed to the driver and the default triple string. 299 static llvm::Triple computeTargetTriple(StringRef DefaultTargetTriple, 300 const ArgList &Args, 301 StringRef DarwinArchName = "") { 302 // FIXME: Already done in Compilation *Driver::BuildCompilation 303 if (const Arg *A = Args.getLastArg(options::OPT_target)) 304 DefaultTargetTriple = A->getValue(); 305 306 llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple)); 307 308 // Handle Apple-specific options available here. 309 if (Target.isOSBinFormatMachO()) { 310 // If an explict Darwin arch name is given, that trumps all. 311 if (!DarwinArchName.empty()) { 312 tools::darwin::setTripleTypeForMachOArchName(Target, DarwinArchName); 313 return Target; 314 } 315 316 // Handle the Darwin '-arch' flag. 317 if (Arg *A = Args.getLastArg(options::OPT_arch)) { 318 StringRef ArchName = A->getValue(); 319 tools::darwin::setTripleTypeForMachOArchName(Target, ArchName); 320 } 321 } 322 323 // Handle pseudo-target flags '-mlittle-endian'/'-EL' and 324 // '-mbig-endian'/'-EB'. 325 if (Arg *A = Args.getLastArg(options::OPT_mlittle_endian, 326 options::OPT_mbig_endian)) { 327 if (A->getOption().matches(options::OPT_mlittle_endian)) { 328 llvm::Triple LE = Target.getLittleEndianArchVariant(); 329 if (LE.getArch() != llvm::Triple::UnknownArch) 330 Target = std::move(LE); 331 } else { 332 llvm::Triple BE = Target.getBigEndianArchVariant(); 333 if (BE.getArch() != llvm::Triple::UnknownArch) 334 Target = std::move(BE); 335 } 336 } 337 338 // Skip further flag support on OSes which don't support '-m32' or '-m64'. 339 if (Target.getArch() == llvm::Triple::tce || 340 Target.getOS() == llvm::Triple::Minix) 341 return Target; 342 343 // Handle pseudo-target flags '-m64', '-mx32', '-m32' and '-m16'. 344 if (Arg *A = Args.getLastArg(options::OPT_m64, options::OPT_mx32, 345 options::OPT_m32, options::OPT_m16)) { 346 llvm::Triple::ArchType AT = llvm::Triple::UnknownArch; 347 348 if (A->getOption().matches(options::OPT_m64)) { 349 AT = Target.get64BitArchVariant().getArch(); 350 if (Target.getEnvironment() == llvm::Triple::GNUX32) 351 Target.setEnvironment(llvm::Triple::GNU); 352 } else if (A->getOption().matches(options::OPT_mx32) && 353 Target.get64BitArchVariant().getArch() == llvm::Triple::x86_64) { 354 AT = llvm::Triple::x86_64; 355 Target.setEnvironment(llvm::Triple::GNUX32); 356 } else if (A->getOption().matches(options::OPT_m32)) { 357 AT = Target.get32BitArchVariant().getArch(); 358 if (Target.getEnvironment() == llvm::Triple::GNUX32) 359 Target.setEnvironment(llvm::Triple::GNU); 360 } else if (A->getOption().matches(options::OPT_m16) && 361 Target.get32BitArchVariant().getArch() == llvm::Triple::x86) { 362 AT = llvm::Triple::x86; 363 Target.setEnvironment(llvm::Triple::CODE16); 364 } 365 366 if (AT != llvm::Triple::UnknownArch && AT != Target.getArch()) 367 Target.setArch(AT); 368 } 369 370 return Target; 371 } 372 373 // \brief Parse the LTO options and record the type of LTO compilation 374 // based on which -f(no-)?lto(=.*)? option occurs last. 375 void Driver::setLTOMode(const llvm::opt::ArgList &Args) { 376 LTOMode = LTOK_None; 377 if (!Args.hasFlag(options::OPT_flto, options::OPT_flto_EQ, 378 options::OPT_fno_lto, false)) 379 return; 380 381 StringRef LTOName("full"); 382 383 const Arg *A = Args.getLastArg(options::OPT_flto_EQ); 384 if (A) 385 LTOName = A->getValue(); 386 387 LTOMode = llvm::StringSwitch<LTOKind>(LTOName) 388 .Case("full", LTOK_Full) 389 .Case("thin", LTOK_Thin) 390 .Default(LTOK_Unknown); 391 392 if (LTOMode == LTOK_Unknown) { 393 assert(A); 394 Diag(diag::err_drv_unsupported_option_argument) << A->getOption().getName() 395 << A->getValue(); 396 } 397 } 398 399 Compilation *Driver::BuildCompilation(ArrayRef<const char *> ArgList) { 400 llvm::PrettyStackTraceString CrashInfo("Compilation construction"); 401 402 // FIXME: Handle environment options which affect driver behavior, somewhere 403 // (client?). GCC_EXEC_PREFIX, LPATH, CC_PRINT_OPTIONS. 404 405 if (char *env = ::getenv("COMPILER_PATH")) { 406 StringRef CompilerPath = env; 407 while (!CompilerPath.empty()) { 408 std::pair<StringRef, StringRef> Split = 409 CompilerPath.split(llvm::sys::EnvPathSeparator); 410 PrefixDirs.push_back(Split.first); 411 CompilerPath = Split.second; 412 } 413 } 414 415 // We look for the driver mode option early, because the mode can affect 416 // how other options are parsed. 417 ParseDriverMode(ArgList.slice(1)); 418 419 // FIXME: What are we going to do with -V and -b? 420 421 // FIXME: This stuff needs to go into the Compilation, not the driver. 422 bool CCCPrintPhases; 423 424 InputArgList Args = ParseArgStrings(ArgList.slice(1)); 425 426 // Silence driver warnings if requested 427 Diags.setIgnoreAllWarnings(Args.hasArg(options::OPT_w)); 428 429 // -no-canonical-prefixes is used very early in main. 430 Args.ClaimAllArgs(options::OPT_no_canonical_prefixes); 431 432 // Ignore -pipe. 433 Args.ClaimAllArgs(options::OPT_pipe); 434 435 // Extract -ccc args. 436 // 437 // FIXME: We need to figure out where this behavior should live. Most of it 438 // should be outside in the client; the parts that aren't should have proper 439 // options, either by introducing new ones or by overloading gcc ones like -V 440 // or -b. 441 CCCPrintPhases = Args.hasArg(options::OPT_ccc_print_phases); 442 CCCPrintBindings = Args.hasArg(options::OPT_ccc_print_bindings); 443 if (const Arg *A = Args.getLastArg(options::OPT_ccc_gcc_name)) 444 CCCGenericGCCName = A->getValue(); 445 CCCUsePCH = 446 Args.hasFlag(options::OPT_ccc_pch_is_pch, options::OPT_ccc_pch_is_pth); 447 // FIXME: DefaultTargetTriple is used by the target-prefixed calls to as/ld 448 // and getToolChain is const. 449 if (IsCLMode()) { 450 // clang-cl targets MSVC-style Win32. 451 llvm::Triple T(DefaultTargetTriple); 452 T.setOS(llvm::Triple::Win32); 453 T.setVendor(llvm::Triple::PC); 454 T.setEnvironment(llvm::Triple::MSVC); 455 DefaultTargetTriple = T.str(); 456 } 457 if (const Arg *A = Args.getLastArg(options::OPT_target)) 458 DefaultTargetTriple = A->getValue(); 459 if (const Arg *A = Args.getLastArg(options::OPT_ccc_install_dir)) 460 Dir = InstalledDir = A->getValue(); 461 for (const Arg *A : Args.filtered(options::OPT_B)) { 462 A->claim(); 463 PrefixDirs.push_back(A->getValue(0)); 464 } 465 if (const Arg *A = Args.getLastArg(options::OPT__sysroot_EQ)) 466 SysRoot = A->getValue(); 467 if (const Arg *A = Args.getLastArg(options::OPT__dyld_prefix_EQ)) 468 DyldPrefix = A->getValue(); 469 if (Args.hasArg(options::OPT_nostdlib)) 470 UseStdLib = false; 471 472 if (const Arg *A = Args.getLastArg(options::OPT_resource_dir)) 473 ResourceDir = A->getValue(); 474 475 if (const Arg *A = Args.getLastArg(options::OPT_save_temps_EQ)) { 476 SaveTemps = llvm::StringSwitch<SaveTempsMode>(A->getValue()) 477 .Case("cwd", SaveTempsCwd) 478 .Case("obj", SaveTempsObj) 479 .Default(SaveTempsCwd); 480 } 481 482 // Ignore -fembed-bitcode options with LTO 483 // since the output will be bitcode anyway. 484 if (!Args.hasFlag(options::OPT_flto, options::OPT_fno_lto, false)) { 485 if (Args.hasArg(options::OPT_fembed_bitcode)) 486 BitcodeEmbed = EmbedBitcode; 487 else if (Args.hasArg(options::OPT_fembed_bitcode_marker)) 488 BitcodeEmbed = EmbedMarker; 489 } else { 490 // claim the bitcode option under LTO so no warning is issued. 491 Args.ClaimAllArgs(options::OPT_fembed_bitcode); 492 Args.ClaimAllArgs(options::OPT_fembed_bitcode_marker); 493 } 494 495 setLTOMode(Args); 496 497 std::unique_ptr<llvm::opt::InputArgList> UArgs = 498 llvm::make_unique<InputArgList>(std::move(Args)); 499 500 // Perform the default argument translations. 501 DerivedArgList *TranslatedArgs = TranslateInputArgs(*UArgs); 502 503 // Owned by the host. 504 const ToolChain &TC = 505 getToolChain(*UArgs, computeTargetTriple(DefaultTargetTriple, *UArgs)); 506 507 // The compilation takes ownership of Args. 508 Compilation *C = new Compilation(*this, TC, UArgs.release(), TranslatedArgs); 509 510 C->setCudaDeviceToolChain( 511 &getToolChain(C->getArgs(), llvm::Triple(TC.getTriple().isArch64Bit() 512 ? "nvptx64-nvidia-cuda" 513 : "nvptx-nvidia-cuda"))); 514 if (!HandleImmediateArgs(*C)) 515 return C; 516 517 // Construct the list of inputs. 518 InputList Inputs; 519 BuildInputs(C->getDefaultToolChain(), *TranslatedArgs, Inputs); 520 521 // Construct the list of abstract actions to perform for this compilation. On 522 // MachO targets this uses the driver-driver and universal actions. 523 if (TC.getTriple().isOSBinFormatMachO()) 524 BuildUniversalActions(*C, C->getDefaultToolChain(), Inputs); 525 else 526 BuildActions(*C, C->getArgs(), Inputs, C->getActions()); 527 528 if (CCCPrintPhases) { 529 PrintActions(*C); 530 return C; 531 } 532 533 BuildJobs(*C); 534 535 return C; 536 } 537 538 static void printArgList(raw_ostream &OS, const llvm::opt::ArgList &Args) { 539 llvm::opt::ArgStringList ASL; 540 for (const auto *A : Args) 541 A->render(Args, ASL); 542 543 for (auto I = ASL.begin(), E = ASL.end(); I != E; ++I) { 544 if (I != ASL.begin()) 545 OS << ' '; 546 Command::printArg(OS, *I, true); 547 } 548 OS << '\n'; 549 } 550 551 // When clang crashes, produce diagnostic information including the fully 552 // preprocessed source file(s). Request that the developer attach the 553 // diagnostic information to a bug report. 554 void Driver::generateCompilationDiagnostics(Compilation &C, 555 const Command &FailingCommand) { 556 if (C.getArgs().hasArg(options::OPT_fno_crash_diagnostics)) 557 return; 558 559 // Don't try to generate diagnostics for link or dsymutil jobs. 560 if (FailingCommand.getCreator().isLinkJob() || 561 FailingCommand.getCreator().isDsymutilJob()) 562 return; 563 564 // Print the version of the compiler. 565 PrintVersion(C, llvm::errs()); 566 567 Diag(clang::diag::note_drv_command_failed_diag_msg) 568 << "PLEASE submit a bug report to " BUG_REPORT_URL " and include the " 569 "crash backtrace, preprocessed source, and associated run script."; 570 571 // Suppress driver output and emit preprocessor output to temp file. 572 Mode = CPPMode; 573 CCGenDiagnostics = true; 574 575 // Save the original job command(s). 576 Command Cmd = FailingCommand; 577 578 // Keep track of whether we produce any errors while trying to produce 579 // preprocessed sources. 580 DiagnosticErrorTrap Trap(Diags); 581 582 // Suppress tool output. 583 C.initCompilationForDiagnostics(); 584 585 // Construct the list of inputs. 586 InputList Inputs; 587 BuildInputs(C.getDefaultToolChain(), C.getArgs(), Inputs); 588 589 for (InputList::iterator it = Inputs.begin(), ie = Inputs.end(); it != ie;) { 590 bool IgnoreInput = false; 591 592 // Ignore input from stdin or any inputs that cannot be preprocessed. 593 // Check type first as not all linker inputs have a value. 594 if (types::getPreprocessedType(it->first) == types::TY_INVALID) { 595 IgnoreInput = true; 596 } else if (!strcmp(it->second->getValue(), "-")) { 597 Diag(clang::diag::note_drv_command_failed_diag_msg) 598 << "Error generating preprocessed source(s) - " 599 "ignoring input from stdin."; 600 IgnoreInput = true; 601 } 602 603 if (IgnoreInput) { 604 it = Inputs.erase(it); 605 ie = Inputs.end(); 606 } else { 607 ++it; 608 } 609 } 610 611 if (Inputs.empty()) { 612 Diag(clang::diag::note_drv_command_failed_diag_msg) 613 << "Error generating preprocessed source(s) - " 614 "no preprocessable inputs."; 615 return; 616 } 617 618 // Don't attempt to generate preprocessed files if multiple -arch options are 619 // used, unless they're all duplicates. 620 llvm::StringSet<> ArchNames; 621 for (const Arg *A : C.getArgs()) { 622 if (A->getOption().matches(options::OPT_arch)) { 623 StringRef ArchName = A->getValue(); 624 ArchNames.insert(ArchName); 625 } 626 } 627 if (ArchNames.size() > 1) { 628 Diag(clang::diag::note_drv_command_failed_diag_msg) 629 << "Error generating preprocessed source(s) - cannot generate " 630 "preprocessed source with multiple -arch options."; 631 return; 632 } 633 634 // Construct the list of abstract actions to perform for this compilation. On 635 // Darwin OSes this uses the driver-driver and builds universal actions. 636 const ToolChain &TC = C.getDefaultToolChain(); 637 if (TC.getTriple().isOSBinFormatMachO()) 638 BuildUniversalActions(C, TC, Inputs); 639 else 640 BuildActions(C, C.getArgs(), Inputs, C.getActions()); 641 642 BuildJobs(C); 643 644 // If there were errors building the compilation, quit now. 645 if (Trap.hasErrorOccurred()) { 646 Diag(clang::diag::note_drv_command_failed_diag_msg) 647 << "Error generating preprocessed source(s)."; 648 return; 649 } 650 651 // Generate preprocessed output. 652 SmallVector<std::pair<int, const Command *>, 4> FailingCommands; 653 C.ExecuteJobs(C.getJobs(), FailingCommands); 654 655 // If any of the preprocessing commands failed, clean up and exit. 656 if (!FailingCommands.empty()) { 657 if (!isSaveTempsEnabled()) 658 C.CleanupFileList(C.getTempFiles(), true); 659 660 Diag(clang::diag::note_drv_command_failed_diag_msg) 661 << "Error generating preprocessed source(s)."; 662 return; 663 } 664 665 const ArgStringList &TempFiles = C.getTempFiles(); 666 if (TempFiles.empty()) { 667 Diag(clang::diag::note_drv_command_failed_diag_msg) 668 << "Error generating preprocessed source(s)."; 669 return; 670 } 671 672 Diag(clang::diag::note_drv_command_failed_diag_msg) 673 << "\n********************\n\n" 674 "PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:\n" 675 "Preprocessed source(s) and associated run script(s) are located at:"; 676 677 SmallString<128> VFS; 678 for (const char *TempFile : TempFiles) { 679 Diag(clang::diag::note_drv_command_failed_diag_msg) << TempFile; 680 if (StringRef(TempFile).endswith(".cache")) { 681 // In some cases (modules) we'll dump extra data to help with reproducing 682 // the crash into a directory next to the output. 683 VFS = llvm::sys::path::filename(TempFile); 684 llvm::sys::path::append(VFS, "vfs", "vfs.yaml"); 685 } 686 } 687 688 // Assume associated files are based off of the first temporary file. 689 CrashReportInfo CrashInfo(TempFiles[0], VFS); 690 691 std::string Script = CrashInfo.Filename.rsplit('.').first.str() + ".sh"; 692 std::error_code EC; 693 llvm::raw_fd_ostream ScriptOS(Script, EC, llvm::sys::fs::F_Excl); 694 if (EC) { 695 Diag(clang::diag::note_drv_command_failed_diag_msg) 696 << "Error generating run script: " + Script + " " + EC.message(); 697 } else { 698 ScriptOS << "# Crash reproducer for " << getClangFullVersion() << "\n" 699 << "# Driver args: "; 700 printArgList(ScriptOS, C.getInputArgs()); 701 ScriptOS << "# Original command: "; 702 Cmd.Print(ScriptOS, "\n", /*Quote=*/true); 703 Cmd.Print(ScriptOS, "\n", /*Quote=*/true, &CrashInfo); 704 Diag(clang::diag::note_drv_command_failed_diag_msg) << Script; 705 } 706 707 for (const auto &A : C.getArgs().filtered(options::OPT_frewrite_map_file, 708 options::OPT_frewrite_map_file_EQ)) 709 Diag(clang::diag::note_drv_command_failed_diag_msg) << A->getValue(); 710 711 Diag(clang::diag::note_drv_command_failed_diag_msg) 712 << "\n\n********************"; 713 } 714 715 void Driver::setUpResponseFiles(Compilation &C, Command &Cmd) { 716 // Since commandLineFitsWithinSystemLimits() may underestimate system's capacity 717 // if the tool does not support response files, there is a chance/ that things 718 // will just work without a response file, so we silently just skip it. 719 if (Cmd.getCreator().getResponseFilesSupport() == Tool::RF_None || 720 llvm::sys::commandLineFitsWithinSystemLimits(Cmd.getExecutable(), Cmd.getArguments())) 721 return; 722 723 std::string TmpName = GetTemporaryPath("response", "txt"); 724 Cmd.setResponseFile( 725 C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str()))); 726 } 727 728 int Driver::ExecuteCompilation( 729 Compilation &C, 730 SmallVectorImpl<std::pair<int, const Command *>> &FailingCommands) { 731 // Just print if -### was present. 732 if (C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) { 733 C.getJobs().Print(llvm::errs(), "\n", true); 734 return 0; 735 } 736 737 // If there were errors building the compilation, quit now. 738 if (Diags.hasErrorOccurred()) 739 return 1; 740 741 // Set up response file names for each command, if necessary 742 for (auto &Job : C.getJobs()) 743 setUpResponseFiles(C, Job); 744 745 C.ExecuteJobs(C.getJobs(), FailingCommands); 746 747 // Remove temp files. 748 C.CleanupFileList(C.getTempFiles()); 749 750 // If the command succeeded, we are done. 751 if (FailingCommands.empty()) 752 return 0; 753 754 // Otherwise, remove result files and print extra information about abnormal 755 // failures. 756 for (const auto &CmdPair : FailingCommands) { 757 int Res = CmdPair.first; 758 const Command *FailingCommand = CmdPair.second; 759 760 // Remove result files if we're not saving temps. 761 if (!isSaveTempsEnabled()) { 762 const JobAction *JA = cast<JobAction>(&FailingCommand->getSource()); 763 C.CleanupFileMap(C.getResultFiles(), JA, true); 764 765 // Failure result files are valid unless we crashed. 766 if (Res < 0) 767 C.CleanupFileMap(C.getFailureResultFiles(), JA, true); 768 } 769 770 // Print extra information about abnormal failures, if possible. 771 // 772 // This is ad-hoc, but we don't want to be excessively noisy. If the result 773 // status was 1, assume the command failed normally. In particular, if it 774 // was the compiler then assume it gave a reasonable error code. Failures 775 // in other tools are less common, and they generally have worse 776 // diagnostics, so always print the diagnostic there. 777 const Tool &FailingTool = FailingCommand->getCreator(); 778 779 if (!FailingCommand->getCreator().hasGoodDiagnostics() || Res != 1) { 780 // FIXME: See FIXME above regarding result code interpretation. 781 if (Res < 0) 782 Diag(clang::diag::err_drv_command_signalled) 783 << FailingTool.getShortName(); 784 else 785 Diag(clang::diag::err_drv_command_failed) << FailingTool.getShortName() 786 << Res; 787 } 788 } 789 return 0; 790 } 791 792 void Driver::PrintHelp(bool ShowHidden) const { 793 unsigned IncludedFlagsBitmask; 794 unsigned ExcludedFlagsBitmask; 795 std::tie(IncludedFlagsBitmask, ExcludedFlagsBitmask) = 796 getIncludeExcludeOptionFlagMasks(); 797 798 ExcludedFlagsBitmask |= options::NoDriverOption; 799 if (!ShowHidden) 800 ExcludedFlagsBitmask |= HelpHidden; 801 802 getOpts().PrintHelp(llvm::outs(), Name.c_str(), DriverTitle.c_str(), 803 IncludedFlagsBitmask, ExcludedFlagsBitmask); 804 } 805 806 void Driver::PrintVersion(const Compilation &C, raw_ostream &OS) const { 807 // FIXME: The following handlers should use a callback mechanism, we don't 808 // know what the client would like to do. 809 OS << getClangFullVersion() << '\n'; 810 const ToolChain &TC = C.getDefaultToolChain(); 811 OS << "Target: " << TC.getTripleString() << '\n'; 812 813 // Print the threading model. 814 if (Arg *A = C.getArgs().getLastArg(options::OPT_mthread_model)) { 815 // Don't print if the ToolChain would have barfed on it already 816 if (TC.isThreadModelSupported(A->getValue())) 817 OS << "Thread model: " << A->getValue(); 818 } else 819 OS << "Thread model: " << TC.getThreadModel(); 820 OS << '\n'; 821 822 // Print out the install directory. 823 OS << "InstalledDir: " << InstalledDir << '\n'; 824 } 825 826 /// PrintDiagnosticCategories - Implement the --print-diagnostic-categories 827 /// option. 828 static void PrintDiagnosticCategories(raw_ostream &OS) { 829 // Skip the empty category. 830 for (unsigned i = 1, max = DiagnosticIDs::getNumberOfCategories(); i != max; 831 ++i) 832 OS << i << ',' << DiagnosticIDs::getCategoryNameFromID(i) << '\n'; 833 } 834 835 bool Driver::HandleImmediateArgs(const Compilation &C) { 836 // The order these options are handled in gcc is all over the place, but we 837 // don't expect inconsistencies w.r.t. that to matter in practice. 838 839 if (C.getArgs().hasArg(options::OPT_dumpmachine)) { 840 llvm::outs() << C.getDefaultToolChain().getTripleString() << '\n'; 841 return false; 842 } 843 844 if (C.getArgs().hasArg(options::OPT_dumpversion)) { 845 // Since -dumpversion is only implemented for pedantic GCC compatibility, we 846 // return an answer which matches our definition of __VERSION__. 847 // 848 // If we want to return a more correct answer some day, then we should 849 // introduce a non-pedantically GCC compatible mode to Clang in which we 850 // provide sensible definitions for -dumpversion, __VERSION__, etc. 851 llvm::outs() << "4.2.1\n"; 852 return false; 853 } 854 855 if (C.getArgs().hasArg(options::OPT__print_diagnostic_categories)) { 856 PrintDiagnosticCategories(llvm::outs()); 857 return false; 858 } 859 860 if (C.getArgs().hasArg(options::OPT_help) || 861 C.getArgs().hasArg(options::OPT__help_hidden)) { 862 PrintHelp(C.getArgs().hasArg(options::OPT__help_hidden)); 863 return false; 864 } 865 866 if (C.getArgs().hasArg(options::OPT__version)) { 867 // Follow gcc behavior and use stdout for --version and stderr for -v. 868 PrintVersion(C, llvm::outs()); 869 return false; 870 } 871 872 if (C.getArgs().hasArg(options::OPT_v) || 873 C.getArgs().hasArg(options::OPT__HASH_HASH_HASH)) { 874 PrintVersion(C, llvm::errs()); 875 SuppressMissingInputWarning = true; 876 } 877 878 const ToolChain &TC = C.getDefaultToolChain(); 879 880 if (C.getArgs().hasArg(options::OPT_v)) 881 TC.printVerboseInfo(llvm::errs()); 882 883 if (C.getArgs().hasArg(options::OPT_print_search_dirs)) { 884 llvm::outs() << "programs: ="; 885 bool separator = false; 886 for (const std::string &Path : TC.getProgramPaths()) { 887 if (separator) 888 llvm::outs() << ':'; 889 llvm::outs() << Path; 890 separator = true; 891 } 892 llvm::outs() << "\n"; 893 llvm::outs() << "libraries: =" << ResourceDir; 894 895 StringRef sysroot = C.getSysRoot(); 896 897 for (const std::string &Path : TC.getFilePaths()) { 898 // Always print a separator. ResourceDir was the first item shown. 899 llvm::outs() << ':'; 900 // Interpretation of leading '=' is needed only for NetBSD. 901 if (Path[0] == '=') 902 llvm::outs() << sysroot << Path.substr(1); 903 else 904 llvm::outs() << Path; 905 } 906 llvm::outs() << "\n"; 907 return false; 908 } 909 910 // FIXME: The following handlers should use a callback mechanism, we don't 911 // know what the client would like to do. 912 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_file_name_EQ)) { 913 llvm::outs() << GetFilePath(A->getValue(), TC) << "\n"; 914 return false; 915 } 916 917 if (Arg *A = C.getArgs().getLastArg(options::OPT_print_prog_name_EQ)) { 918 llvm::outs() << GetProgramPath(A->getValue(), TC) << "\n"; 919 return false; 920 } 921 922 if (C.getArgs().hasArg(options::OPT_print_libgcc_file_name)) { 923 llvm::outs() << GetFilePath("libgcc.a", TC) << "\n"; 924 return false; 925 } 926 927 if (C.getArgs().hasArg(options::OPT_print_multi_lib)) { 928 for (const Multilib &Multilib : TC.getMultilibs()) 929 llvm::outs() << Multilib << "\n"; 930 return false; 931 } 932 933 if (C.getArgs().hasArg(options::OPT_print_multi_directory)) { 934 for (const Multilib &Multilib : TC.getMultilibs()) { 935 if (Multilib.gccSuffix().empty()) 936 llvm::outs() << ".\n"; 937 else { 938 StringRef Suffix(Multilib.gccSuffix()); 939 assert(Suffix.front() == '/'); 940 llvm::outs() << Suffix.substr(1) << "\n"; 941 } 942 } 943 return false; 944 } 945 return true; 946 } 947 948 // Display an action graph human-readably. Action A is the "sink" node 949 // and latest-occuring action. Traversal is in pre-order, visiting the 950 // inputs to each action before printing the action itself. 951 static unsigned PrintActions1(const Compilation &C, Action *A, 952 std::map<Action *, unsigned> &Ids) { 953 if (Ids.count(A)) // A was already visited. 954 return Ids[A]; 955 956 std::string str; 957 llvm::raw_string_ostream os(str); 958 959 os << Action::getClassName(A->getKind()) << ", "; 960 if (InputAction *IA = dyn_cast<InputAction>(A)) { 961 os << "\"" << IA->getInputArg().getValue() << "\""; 962 } else if (BindArchAction *BIA = dyn_cast<BindArchAction>(A)) { 963 os << '"' << BIA->getArchName() << '"' << ", {" 964 << PrintActions1(C, *BIA->input_begin(), Ids) << "}"; 965 } else if (CudaDeviceAction *CDA = dyn_cast<CudaDeviceAction>(A)) { 966 os << '"' 967 << (CDA->getGpuArchName() ? CDA->getGpuArchName() : "(multiple archs)") 968 << '"' << ", {" << PrintActions1(C, *CDA->input_begin(), Ids) << "}"; 969 } else { 970 const ActionList *AL; 971 if (CudaHostAction *CHA = dyn_cast<CudaHostAction>(A)) { 972 os << "{" << PrintActions1(C, *CHA->input_begin(), Ids) << "}" 973 << ", gpu binaries "; 974 AL = &CHA->getDeviceActions(); 975 } else 976 AL = &A->getInputs(); 977 978 if (AL->size()) { 979 const char *Prefix = "{"; 980 for (Action *PreRequisite : *AL) { 981 os << Prefix << PrintActions1(C, PreRequisite, Ids); 982 Prefix = ", "; 983 } 984 os << "}"; 985 } else 986 os << "{}"; 987 } 988 989 unsigned Id = Ids.size(); 990 Ids[A] = Id; 991 llvm::errs() << Id << ": " << os.str() << ", " 992 << types::getTypeName(A->getType()) << "\n"; 993 994 return Id; 995 } 996 997 // Print the action graphs in a compilation C. 998 // For example "clang -c file1.c file2.c" is composed of two subgraphs. 999 void Driver::PrintActions(const Compilation &C) const { 1000 std::map<Action *, unsigned> Ids; 1001 for (Action *A : C.getActions()) 1002 PrintActions1(C, A, Ids); 1003 } 1004 1005 /// \brief Check whether the given input tree contains any compilation or 1006 /// assembly actions. 1007 static bool ContainsCompileOrAssembleAction(const Action *A) { 1008 if (isa<CompileJobAction>(A) || isa<BackendJobAction>(A) || 1009 isa<AssembleJobAction>(A)) 1010 return true; 1011 1012 for (const Action *Input : A->inputs()) 1013 if (ContainsCompileOrAssembleAction(Input)) 1014 return true; 1015 1016 return false; 1017 } 1018 1019 void Driver::BuildUniversalActions(Compilation &C, const ToolChain &TC, 1020 const InputList &BAInputs) const { 1021 DerivedArgList &Args = C.getArgs(); 1022 ActionList &Actions = C.getActions(); 1023 llvm::PrettyStackTraceString CrashInfo("Building universal build actions"); 1024 // Collect the list of architectures. Duplicates are allowed, but should only 1025 // be handled once (in the order seen). 1026 llvm::StringSet<> ArchNames; 1027 SmallVector<const char *, 4> Archs; 1028 for (Arg *A : Args) { 1029 if (A->getOption().matches(options::OPT_arch)) { 1030 // Validate the option here; we don't save the type here because its 1031 // particular spelling may participate in other driver choices. 1032 llvm::Triple::ArchType Arch = 1033 tools::darwin::getArchTypeForMachOArchName(A->getValue()); 1034 if (Arch == llvm::Triple::UnknownArch) { 1035 Diag(clang::diag::err_drv_invalid_arch_name) << A->getAsString(Args); 1036 continue; 1037 } 1038 1039 A->claim(); 1040 if (ArchNames.insert(A->getValue()).second) 1041 Archs.push_back(A->getValue()); 1042 } 1043 } 1044 1045 // When there is no explicit arch for this platform, make sure we still bind 1046 // the architecture (to the default) so that -Xarch_ is handled correctly. 1047 if (!Archs.size()) 1048 Archs.push_back(Args.MakeArgString(TC.getDefaultUniversalArchName())); 1049 1050 ActionList SingleActions; 1051 BuildActions(C, Args, BAInputs, SingleActions); 1052 1053 // Add in arch bindings for every top level action, as well as lipo and 1054 // dsymutil steps if needed. 1055 for (Action* Act : SingleActions) { 1056 // Make sure we can lipo this kind of output. If not (and it is an actual 1057 // output) then we disallow, since we can't create an output file with the 1058 // right name without overwriting it. We could remove this oddity by just 1059 // changing the output names to include the arch, which would also fix 1060 // -save-temps. Compatibility wins for now. 1061 1062 if (Archs.size() > 1 && !types::canLipoType(Act->getType())) 1063 Diag(clang::diag::err_drv_invalid_output_with_multiple_archs) 1064 << types::getTypeName(Act->getType()); 1065 1066 ActionList Inputs; 1067 for (unsigned i = 0, e = Archs.size(); i != e; ++i) 1068 Inputs.push_back(C.MakeAction<BindArchAction>(Act, Archs[i])); 1069 1070 // Lipo if necessary, we do it this way because we need to set the arch flag 1071 // so that -Xarch_ gets overwritten. 1072 if (Inputs.size() == 1 || Act->getType() == types::TY_Nothing) 1073 Actions.append(Inputs.begin(), Inputs.end()); 1074 else 1075 Actions.push_back(C.MakeAction<LipoJobAction>(Inputs, Act->getType())); 1076 1077 // Handle debug info queries. 1078 Arg *A = Args.getLastArg(options::OPT_g_Group); 1079 if (A && !A->getOption().matches(options::OPT_g0) && 1080 !A->getOption().matches(options::OPT_gstabs) && 1081 ContainsCompileOrAssembleAction(Actions.back())) { 1082 1083 // Add a 'dsymutil' step if necessary, when debug info is enabled and we 1084 // have a compile input. We need to run 'dsymutil' ourselves in such cases 1085 // because the debug info will refer to a temporary object file which 1086 // will be removed at the end of the compilation process. 1087 if (Act->getType() == types::TY_Image) { 1088 ActionList Inputs; 1089 Inputs.push_back(Actions.back()); 1090 Actions.pop_back(); 1091 Actions.push_back( 1092 C.MakeAction<DsymutilJobAction>(Inputs, types::TY_dSYM)); 1093 } 1094 1095 // Verify the debug info output. 1096 if (Args.hasArg(options::OPT_verify_debug_info)) { 1097 Action* LastAction = Actions.back(); 1098 Actions.pop_back(); 1099 Actions.push_back(C.MakeAction<VerifyDebugInfoJobAction>( 1100 LastAction, types::TY_Nothing)); 1101 } 1102 } 1103 } 1104 } 1105 1106 /// \brief Check that the file referenced by Value exists. If it doesn't, 1107 /// issue a diagnostic and return false. 1108 static bool DiagnoseInputExistence(const Driver &D, const DerivedArgList &Args, 1109 StringRef Value) { 1110 if (!D.getCheckInputsExist()) 1111 return true; 1112 1113 // stdin always exists. 1114 if (Value == "-") 1115 return true; 1116 1117 SmallString<64> Path(Value); 1118 if (Arg *WorkDir = Args.getLastArg(options::OPT_working_directory)) { 1119 if (!llvm::sys::path::is_absolute(Path)) { 1120 SmallString<64> Directory(WorkDir->getValue()); 1121 llvm::sys::path::append(Directory, Value); 1122 Path.assign(Directory); 1123 } 1124 } 1125 1126 if (llvm::sys::fs::exists(Twine(Path))) 1127 return true; 1128 1129 if (D.IsCLMode() && !llvm::sys::path::is_absolute(Twine(Path)) && 1130 llvm::sys::Process::FindInEnvPath("LIB", Value)) 1131 return true; 1132 1133 D.Diag(clang::diag::err_drv_no_such_file) << Path; 1134 return false; 1135 } 1136 1137 // Construct a the list of inputs and their types. 1138 void Driver::BuildInputs(const ToolChain &TC, DerivedArgList &Args, 1139 InputList &Inputs) const { 1140 // Track the current user specified (-x) input. We also explicitly track the 1141 // argument used to set the type; we only want to claim the type when we 1142 // actually use it, so we warn about unused -x arguments. 1143 types::ID InputType = types::TY_Nothing; 1144 Arg *InputTypeArg = nullptr; 1145 1146 // The last /TC or /TP option sets the input type to C or C++ globally. 1147 if (Arg *TCTP = Args.getLastArgNoClaim(options::OPT__SLASH_TC, 1148 options::OPT__SLASH_TP)) { 1149 InputTypeArg = TCTP; 1150 InputType = TCTP->getOption().matches(options::OPT__SLASH_TC) 1151 ? types::TY_C 1152 : types::TY_CXX; 1153 1154 arg_iterator it = 1155 Args.filtered_begin(options::OPT__SLASH_TC, options::OPT__SLASH_TP); 1156 const arg_iterator ie = Args.filtered_end(); 1157 Arg *Previous = *it++; 1158 bool ShowNote = false; 1159 while (it != ie) { 1160 Diag(clang::diag::warn_drv_overriding_flag_option) 1161 << Previous->getSpelling() << (*it)->getSpelling(); 1162 Previous = *it++; 1163 ShowNote = true; 1164 } 1165 if (ShowNote) 1166 Diag(clang::diag::note_drv_t_option_is_global); 1167 1168 // No driver mode exposes -x and /TC or /TP; we don't support mixing them. 1169 assert(!Args.hasArg(options::OPT_x) && "-x and /TC or /TP is not allowed"); 1170 } 1171 1172 for (Arg *A : Args) { 1173 if (A->getOption().getKind() == Option::InputClass) { 1174 const char *Value = A->getValue(); 1175 types::ID Ty = types::TY_INVALID; 1176 1177 // Infer the input type if necessary. 1178 if (InputType == types::TY_Nothing) { 1179 // If there was an explicit arg for this, claim it. 1180 if (InputTypeArg) 1181 InputTypeArg->claim(); 1182 1183 // stdin must be handled specially. 1184 if (memcmp(Value, "-", 2) == 0) { 1185 // If running with -E, treat as a C input (this changes the builtin 1186 // macros, for example). This may be overridden by -ObjC below. 1187 // 1188 // Otherwise emit an error but still use a valid type to avoid 1189 // spurious errors (e.g., no inputs). 1190 if (!Args.hasArgNoClaim(options::OPT_E) && !CCCIsCPP()) 1191 Diag(IsCLMode() ? clang::diag::err_drv_unknown_stdin_type_clang_cl 1192 : clang::diag::err_drv_unknown_stdin_type); 1193 Ty = types::TY_C; 1194 } else { 1195 // Otherwise lookup by extension. 1196 // Fallback is C if invoked as C preprocessor or Object otherwise. 1197 // We use a host hook here because Darwin at least has its own 1198 // idea of what .s is. 1199 if (const char *Ext = strrchr(Value, '.')) 1200 Ty = TC.LookupTypeForExtension(Ext + 1); 1201 1202 if (Ty == types::TY_INVALID) { 1203 if (CCCIsCPP()) 1204 Ty = types::TY_C; 1205 else 1206 Ty = types::TY_Object; 1207 } 1208 1209 // If the driver is invoked as C++ compiler (like clang++ or c++) it 1210 // should autodetect some input files as C++ for g++ compatibility. 1211 if (CCCIsCXX()) { 1212 types::ID OldTy = Ty; 1213 Ty = types::lookupCXXTypeForCType(Ty); 1214 1215 if (Ty != OldTy) 1216 Diag(clang::diag::warn_drv_treating_input_as_cxx) 1217 << getTypeName(OldTy) << getTypeName(Ty); 1218 } 1219 } 1220 1221 // -ObjC and -ObjC++ override the default language, but only for "source 1222 // files". We just treat everything that isn't a linker input as a 1223 // source file. 1224 // 1225 // FIXME: Clean this up if we move the phase sequence into the type. 1226 if (Ty != types::TY_Object) { 1227 if (Args.hasArg(options::OPT_ObjC)) 1228 Ty = types::TY_ObjC; 1229 else if (Args.hasArg(options::OPT_ObjCXX)) 1230 Ty = types::TY_ObjCXX; 1231 } 1232 } else { 1233 assert(InputTypeArg && "InputType set w/o InputTypeArg"); 1234 if (!InputTypeArg->getOption().matches(options::OPT_x)) { 1235 // If emulating cl.exe, make sure that /TC and /TP don't affect input 1236 // object files. 1237 const char *Ext = strrchr(Value, '.'); 1238 if (Ext && TC.LookupTypeForExtension(Ext + 1) == types::TY_Object) 1239 Ty = types::TY_Object; 1240 } 1241 if (Ty == types::TY_INVALID) { 1242 Ty = InputType; 1243 InputTypeArg->claim(); 1244 } 1245 } 1246 1247 if (DiagnoseInputExistence(*this, Args, Value)) 1248 Inputs.push_back(std::make_pair(Ty, A)); 1249 1250 } else if (A->getOption().matches(options::OPT__SLASH_Tc)) { 1251 StringRef Value = A->getValue(); 1252 if (DiagnoseInputExistence(*this, Args, Value)) { 1253 Arg *InputArg = MakeInputArg(Args, Opts, A->getValue()); 1254 Inputs.push_back(std::make_pair(types::TY_C, InputArg)); 1255 } 1256 A->claim(); 1257 } else if (A->getOption().matches(options::OPT__SLASH_Tp)) { 1258 StringRef Value = A->getValue(); 1259 if (DiagnoseInputExistence(*this, Args, Value)) { 1260 Arg *InputArg = MakeInputArg(Args, Opts, A->getValue()); 1261 Inputs.push_back(std::make_pair(types::TY_CXX, InputArg)); 1262 } 1263 A->claim(); 1264 } else if (A->getOption().hasFlag(options::LinkerInput)) { 1265 // Just treat as object type, we could make a special type for this if 1266 // necessary. 1267 Inputs.push_back(std::make_pair(types::TY_Object, A)); 1268 1269 } else if (A->getOption().matches(options::OPT_x)) { 1270 InputTypeArg = A; 1271 InputType = types::lookupTypeForTypeSpecifier(A->getValue()); 1272 A->claim(); 1273 1274 // Follow gcc behavior and treat as linker input for invalid -x 1275 // options. Its not clear why we shouldn't just revert to unknown; but 1276 // this isn't very important, we might as well be bug compatible. 1277 if (!InputType) { 1278 Diag(clang::diag::err_drv_unknown_language) << A->getValue(); 1279 InputType = types::TY_Object; 1280 } 1281 } 1282 } 1283 if (CCCIsCPP() && Inputs.empty()) { 1284 // If called as standalone preprocessor, stdin is processed 1285 // if no other input is present. 1286 Arg *A = MakeInputArg(Args, Opts, "-"); 1287 Inputs.push_back(std::make_pair(types::TY_C, A)); 1288 } 1289 } 1290 1291 // For each unique --cuda-gpu-arch= argument creates a TY_CUDA_DEVICE 1292 // input action and then wraps each in CudaDeviceAction paired with 1293 // appropriate GPU arch name. In case of partial (i.e preprocessing 1294 // only) or device-only compilation, each device action is added to /p 1295 // Actions and /p Current is released. Otherwise the function creates 1296 // and returns a new CudaHostAction which wraps /p Current and device 1297 // side actions. 1298 static Action *buildCudaActions(Compilation &C, DerivedArgList &Args, 1299 const Arg *InputArg, Action *HostAction, 1300 ActionList &Actions) { 1301 Arg *PartialCompilationArg = Args.getLastArg(options::OPT_cuda_host_only, 1302 options::OPT_cuda_device_only); 1303 // Host-only compilation case. 1304 if (PartialCompilationArg && 1305 PartialCompilationArg->getOption().matches(options::OPT_cuda_host_only)) 1306 return C.MakeAction<CudaHostAction>(HostAction, ActionList()); 1307 1308 // Collect all cuda_gpu_arch parameters, removing duplicates. 1309 SmallVector<const char *, 4> GpuArchList; 1310 llvm::StringSet<> GpuArchNames; 1311 for (Arg *A : Args) { 1312 if (!A->getOption().matches(options::OPT_cuda_gpu_arch_EQ)) 1313 continue; 1314 A->claim(); 1315 1316 const auto& Arch = A->getValue(); 1317 if (!CudaDeviceAction::IsValidGpuArchName(Arch)) 1318 C.getDriver().Diag(clang::diag::err_drv_cuda_bad_gpu_arch) << Arch; 1319 else if (GpuArchNames.insert(Arch).second) 1320 GpuArchList.push_back(Arch); 1321 } 1322 1323 // Default to sm_20 which is the lowest common denominator for supported GPUs. 1324 // sm_20 code should work correctly, if suboptimally, on all newer GPUs. 1325 if (GpuArchList.empty()) 1326 GpuArchList.push_back("sm_20"); 1327 1328 // Replicate inputs for each GPU architecture. 1329 Driver::InputList CudaDeviceInputs; 1330 for (unsigned I = 0, E = GpuArchList.size(); I != E; ++I) 1331 CudaDeviceInputs.push_back(std::make_pair(types::TY_CUDA_DEVICE, InputArg)); 1332 1333 // Build actions for all device inputs. 1334 assert(C.getCudaDeviceToolChain() && 1335 "Missing toolchain for device-side compilation."); 1336 ActionList CudaDeviceActions; 1337 C.getDriver().BuildActions(C, Args, CudaDeviceInputs, CudaDeviceActions); 1338 assert(GpuArchList.size() == CudaDeviceActions.size() && 1339 "Failed to create actions for all devices"); 1340 1341 // Check whether any of device actions stopped before they could generate PTX. 1342 bool PartialCompilation = 1343 llvm::any_of(CudaDeviceActions, [](const Action *a) { 1344 return a->getKind() != Action::AssembleJobClass; 1345 }); 1346 1347 // Figure out what to do with device actions -- pass them as inputs to the 1348 // host action or run each of them independently. 1349 bool DeviceOnlyCompilation = PartialCompilationArg != nullptr; 1350 if (PartialCompilation || DeviceOnlyCompilation) { 1351 // In case of partial or device-only compilation results of device actions 1352 // are not consumed by the host action device actions have to be added to 1353 // top-level actions list with AtTopLevel=true and run independently. 1354 1355 // -o is ambiguous if we have more than one top-level action. 1356 if (Args.hasArg(options::OPT_o) && 1357 (!DeviceOnlyCompilation || GpuArchList.size() > 1)) { 1358 C.getDriver().Diag( 1359 clang::diag::err_drv_output_argument_with_multiple_files); 1360 return nullptr; 1361 } 1362 1363 for (unsigned I = 0, E = GpuArchList.size(); I != E; ++I) 1364 Actions.push_back(C.MakeAction<CudaDeviceAction>(CudaDeviceActions[I], 1365 GpuArchList[I], 1366 /* AtTopLevel */ true)); 1367 // Kill host action in case of device-only compilation. 1368 if (DeviceOnlyCompilation) 1369 return nullptr; 1370 return HostAction; 1371 } 1372 1373 // If we're not a partial or device-only compilation, we compile each arch to 1374 // ptx and assemble to cubin, then feed the cubin *and* the ptx into a device 1375 // "link" action, which uses fatbinary to combine these cubins into one 1376 // fatbin. The fatbin is then an input to the host compilation. 1377 ActionList DeviceActions; 1378 for (unsigned I = 0, E = GpuArchList.size(); I != E; ++I) { 1379 Action* AssembleAction = CudaDeviceActions[I]; 1380 assert(AssembleAction->getType() == types::TY_Object); 1381 assert(AssembleAction->getInputs().size() == 1); 1382 1383 Action* BackendAction = AssembleAction->getInputs()[0]; 1384 assert(BackendAction->getType() == types::TY_PP_Asm); 1385 1386 for (const auto& A : {AssembleAction, BackendAction}) { 1387 DeviceActions.push_back(C.MakeAction<CudaDeviceAction>( 1388 A, GpuArchList[I], /* AtTopLevel */ false)); 1389 } 1390 } 1391 auto FatbinAction = C.MakeAction<CudaDeviceAction>( 1392 C.MakeAction<LinkJobAction>(DeviceActions, types::TY_CUDA_FATBIN), 1393 /* GpuArchName = */ nullptr, 1394 /* AtTopLevel = */ false); 1395 // Return a new host action that incorporates original host action and all 1396 // device actions. 1397 return C.MakeAction<CudaHostAction>(std::move(HostAction), 1398 ActionList({FatbinAction})); 1399 } 1400 1401 void Driver::BuildActions(Compilation &C, DerivedArgList &Args, 1402 const InputList &Inputs, ActionList &Actions) const { 1403 llvm::PrettyStackTraceString CrashInfo("Building compilation actions"); 1404 1405 if (!SuppressMissingInputWarning && Inputs.empty()) { 1406 Diag(clang::diag::err_drv_no_input_files); 1407 return; 1408 } 1409 1410 Arg *FinalPhaseArg; 1411 phases::ID FinalPhase = getFinalPhase(Args, &FinalPhaseArg); 1412 1413 if (FinalPhase == phases::Link && Args.hasArg(options::OPT_emit_llvm)) { 1414 Diag(clang::diag::err_drv_emit_llvm_link); 1415 } 1416 1417 // Reject -Z* at the top level, these options should never have been exposed 1418 // by gcc. 1419 if (Arg *A = Args.getLastArg(options::OPT_Z_Joined)) 1420 Diag(clang::diag::err_drv_use_of_Z_option) << A->getAsString(Args); 1421 1422 // Diagnose misuse of /Fo. 1423 if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fo)) { 1424 StringRef V = A->getValue(); 1425 if (Inputs.size() > 1 && !V.empty() && 1426 !llvm::sys::path::is_separator(V.back())) { 1427 // Check whether /Fo tries to name an output file for multiple inputs. 1428 Diag(clang::diag::err_drv_out_file_argument_with_multiple_sources) 1429 << A->getSpelling() << V; 1430 Args.eraseArg(options::OPT__SLASH_Fo); 1431 } 1432 } 1433 1434 // Diagnose misuse of /Fa. 1435 if (Arg *A = Args.getLastArg(options::OPT__SLASH_Fa)) { 1436 StringRef V = A->getValue(); 1437 if (Inputs.size() > 1 && !V.empty() && 1438 !llvm::sys::path::is_separator(V.back())) { 1439 // Check whether /Fa tries to name an asm file for multiple inputs. 1440 Diag(clang::diag::err_drv_out_file_argument_with_multiple_sources) 1441 << A->getSpelling() << V; 1442 Args.eraseArg(options::OPT__SLASH_Fa); 1443 } 1444 } 1445 1446 // Diagnose misuse of /o. 1447 if (Arg *A = Args.getLastArg(options::OPT__SLASH_o)) { 1448 if (A->getValue()[0] == '\0') { 1449 // It has to have a value. 1450 Diag(clang::diag::err_drv_missing_argument) << A->getSpelling() << 1; 1451 Args.eraseArg(options::OPT__SLASH_o); 1452 } 1453 } 1454 1455 // Diagnose unsupported forms of /Yc /Yu. Ignore /Yc/Yu for now if: 1456 // * no filename after it 1457 // * both /Yc and /Yu passed but with different filenames 1458 // * corresponding file not also passed as /FI 1459 Arg *YcArg = Args.getLastArg(options::OPT__SLASH_Yc); 1460 Arg *YuArg = Args.getLastArg(options::OPT__SLASH_Yu); 1461 if (YcArg && YcArg->getValue()[0] == '\0') { 1462 Diag(clang::diag::warn_drv_ycyu_no_arg_clang_cl) << YcArg->getSpelling(); 1463 Args.eraseArg(options::OPT__SLASH_Yc); 1464 YcArg = nullptr; 1465 } 1466 if (YuArg && YuArg->getValue()[0] == '\0') { 1467 Diag(clang::diag::warn_drv_ycyu_no_arg_clang_cl) << YuArg->getSpelling(); 1468 Args.eraseArg(options::OPT__SLASH_Yu); 1469 YuArg = nullptr; 1470 } 1471 if (YcArg && YuArg && strcmp(YcArg->getValue(), YuArg->getValue()) != 0) { 1472 Diag(clang::diag::warn_drv_ycyu_different_arg_clang_cl); 1473 Args.eraseArg(options::OPT__SLASH_Yc); 1474 Args.eraseArg(options::OPT__SLASH_Yu); 1475 YcArg = YuArg = nullptr; 1476 } 1477 if (YcArg || YuArg) { 1478 StringRef Val = YcArg ? YcArg->getValue() : YuArg->getValue(); 1479 bool FoundMatchingInclude = false; 1480 for (const Arg *Inc : Args.filtered(options::OPT_include)) { 1481 // FIXME: Do case-insensitive matching and consider / and \ as equal. 1482 if (Inc->getValue() == Val) 1483 FoundMatchingInclude = true; 1484 } 1485 if (!FoundMatchingInclude) { 1486 Diag(clang::diag::warn_drv_ycyu_no_fi_arg_clang_cl) 1487 << (YcArg ? YcArg : YuArg)->getSpelling(); 1488 Args.eraseArg(options::OPT__SLASH_Yc); 1489 Args.eraseArg(options::OPT__SLASH_Yu); 1490 YcArg = YuArg = nullptr; 1491 } 1492 } 1493 if (YcArg && Inputs.size() > 1) { 1494 Diag(clang::diag::warn_drv_yc_multiple_inputs_clang_cl); 1495 Args.eraseArg(options::OPT__SLASH_Yc); 1496 YcArg = nullptr; 1497 } 1498 if (Args.hasArg(options::OPT__SLASH_Y_)) { 1499 // /Y- disables all pch handling. Rather than check for it everywhere, 1500 // just remove clang-cl pch-related flags here. 1501 Args.eraseArg(options::OPT__SLASH_Fp); 1502 Args.eraseArg(options::OPT__SLASH_Yc); 1503 Args.eraseArg(options::OPT__SLASH_Yu); 1504 YcArg = YuArg = nullptr; 1505 } 1506 // FIXME: For now, only enable pch support if an internal flag is passed too. 1507 // Remove this once pch support has stabilitzed. 1508 if (!Args.hasArg(options::OPT__SLASH_internal_enable_pch)) { 1509 Args.eraseArg(options::OPT__SLASH_Fp); 1510 Args.eraseArg(options::OPT__SLASH_Yc); 1511 Args.eraseArg(options::OPT__SLASH_Yu); 1512 YcArg = YuArg = nullptr; 1513 } 1514 1515 // Construct the actions to perform. 1516 ActionList LinkerInputs; 1517 1518 llvm::SmallVector<phases::ID, phases::MaxNumberOfPhases> PL; 1519 for (auto &I : Inputs) { 1520 types::ID InputType = I.first; 1521 const Arg *InputArg = I.second; 1522 1523 PL.clear(); 1524 types::getCompilationPhases(InputType, PL); 1525 1526 if (YcArg) { 1527 // Add a separate precompile phase for the compile phase. 1528 if (FinalPhase >= phases::Compile) { 1529 llvm::SmallVector<phases::ID, phases::MaxNumberOfPhases> PCHPL; 1530 types::getCompilationPhases(types::TY_CXXHeader, PCHPL); 1531 Arg *PchInputArg = MakeInputArg(Args, Opts, YcArg->getValue()); 1532 1533 // Build the pipeline for the pch file. 1534 Action *ClangClPch = C.MakeAction<InputAction>(*PchInputArg, InputType); 1535 for (phases::ID Phase : PCHPL) 1536 ClangClPch = ConstructPhaseAction(C, Args, Phase, ClangClPch); 1537 assert(ClangClPch); 1538 Actions.push_back(ClangClPch); 1539 // The driver currently exits after the first failed command. This 1540 // relies on that behavior, to make sure if the pch generation fails, 1541 // the main compilation won't run. 1542 } 1543 } 1544 1545 // If the first step comes after the final phase we are doing as part of 1546 // this compilation, warn the user about it. 1547 phases::ID InitialPhase = PL[0]; 1548 if (InitialPhase > FinalPhase) { 1549 // Claim here to avoid the more general unused warning. 1550 InputArg->claim(); 1551 1552 // Suppress all unused style warnings with -Qunused-arguments 1553 if (Args.hasArg(options::OPT_Qunused_arguments)) 1554 continue; 1555 1556 // Special case when final phase determined by binary name, rather than 1557 // by a command-line argument with a corresponding Arg. 1558 if (CCCIsCPP()) 1559 Diag(clang::diag::warn_drv_input_file_unused_by_cpp) 1560 << InputArg->getAsString(Args) << getPhaseName(InitialPhase); 1561 // Special case '-E' warning on a previously preprocessed file to make 1562 // more sense. 1563 else if (InitialPhase == phases::Compile && 1564 FinalPhase == phases::Preprocess && 1565 getPreprocessedType(InputType) == types::TY_INVALID) 1566 Diag(clang::diag::warn_drv_preprocessed_input_file_unused) 1567 << InputArg->getAsString(Args) << !!FinalPhaseArg 1568 << (FinalPhaseArg ? FinalPhaseArg->getOption().getName() : ""); 1569 else 1570 Diag(clang::diag::warn_drv_input_file_unused) 1571 << InputArg->getAsString(Args) << getPhaseName(InitialPhase) 1572 << !!FinalPhaseArg 1573 << (FinalPhaseArg ? FinalPhaseArg->getOption().getName() : ""); 1574 continue; 1575 } 1576 1577 phases::ID CudaInjectionPhase = 1578 (phases::Compile < FinalPhase && 1579 llvm::find(PL, phases::Compile) != PL.end()) 1580 ? phases::Compile 1581 : FinalPhase; 1582 1583 // Build the pipeline for this file. 1584 Action *Current = C.MakeAction<InputAction>(*InputArg, InputType); 1585 for (SmallVectorImpl<phases::ID>::iterator i = PL.begin(), e = PL.end(); 1586 i != e; ++i) { 1587 phases::ID Phase = *i; 1588 1589 // We are done if this step is past what the user requested. 1590 if (Phase > FinalPhase) 1591 break; 1592 1593 // Queue linker inputs. 1594 if (Phase == phases::Link) { 1595 assert((i + 1) == e && "linking must be final compilation step."); 1596 LinkerInputs.push_back(Current); 1597 Current = nullptr; 1598 break; 1599 } 1600 1601 // Some types skip the assembler phase (e.g., llvm-bc), but we can't 1602 // encode this in the steps because the intermediate type depends on 1603 // arguments. Just special case here. 1604 if (Phase == phases::Assemble && Current->getType() != types::TY_PP_Asm) 1605 continue; 1606 1607 // Otherwise construct the appropriate action. 1608 Current = ConstructPhaseAction(C, Args, Phase, Current); 1609 1610 if (InputType == types::TY_CUDA && Phase == CudaInjectionPhase) { 1611 Current = buildCudaActions(C, Args, InputArg, Current, Actions); 1612 if (!Current) 1613 break; 1614 } 1615 1616 if (Current->getType() == types::TY_Nothing) 1617 break; 1618 } 1619 1620 // If we ended with something, add to the output list. 1621 if (Current) 1622 Actions.push_back(Current); 1623 } 1624 1625 // Add a link action if necessary. 1626 if (!LinkerInputs.empty()) 1627 Actions.push_back( 1628 C.MakeAction<LinkJobAction>(LinkerInputs, types::TY_Image)); 1629 1630 // If we are linking, claim any options which are obviously only used for 1631 // compilation. 1632 if (FinalPhase == phases::Link && PL.size() == 1) { 1633 Args.ClaimAllArgs(options::OPT_CompileOnly_Group); 1634 Args.ClaimAllArgs(options::OPT_cl_compile_Group); 1635 } 1636 1637 // Claim ignored clang-cl options. 1638 Args.ClaimAllArgs(options::OPT_cl_ignored_Group); 1639 1640 // Claim --cuda-host-only arg which may be passed to non-CUDA 1641 // compilations and should not trigger warnings there. 1642 Args.ClaimAllArgs(options::OPT_cuda_host_only); 1643 } 1644 1645 Action *Driver::ConstructPhaseAction(Compilation &C, const ArgList &Args, 1646 phases::ID Phase, Action *Input) const { 1647 llvm::PrettyStackTraceString CrashInfo("Constructing phase actions"); 1648 // Build the appropriate action. 1649 switch (Phase) { 1650 case phases::Link: 1651 llvm_unreachable("link action invalid here."); 1652 case phases::Preprocess: { 1653 types::ID OutputTy; 1654 // -{M, MM} alter the output type. 1655 if (Args.hasArg(options::OPT_M, options::OPT_MM)) { 1656 OutputTy = types::TY_Dependencies; 1657 } else { 1658 OutputTy = Input->getType(); 1659 if (!Args.hasFlag(options::OPT_frewrite_includes, 1660 options::OPT_fno_rewrite_includes, false) && 1661 !CCGenDiagnostics) 1662 OutputTy = types::getPreprocessedType(OutputTy); 1663 assert(OutputTy != types::TY_INVALID && 1664 "Cannot preprocess this input type!"); 1665 } 1666 return C.MakeAction<PreprocessJobAction>(Input, OutputTy); 1667 } 1668 case phases::Precompile: { 1669 types::ID OutputTy = types::TY_PCH; 1670 if (Args.hasArg(options::OPT_fsyntax_only)) { 1671 // Syntax checks should not emit a PCH file 1672 OutputTy = types::TY_Nothing; 1673 } 1674 return C.MakeAction<PrecompileJobAction>(Input, OutputTy); 1675 } 1676 case phases::Compile: { 1677 if (Args.hasArg(options::OPT_fsyntax_only)) 1678 return C.MakeAction<CompileJobAction>(Input, types::TY_Nothing); 1679 if (Args.hasArg(options::OPT_rewrite_objc)) 1680 return C.MakeAction<CompileJobAction>(Input, types::TY_RewrittenObjC); 1681 if (Args.hasArg(options::OPT_rewrite_legacy_objc)) 1682 return C.MakeAction<CompileJobAction>(Input, 1683 types::TY_RewrittenLegacyObjC); 1684 if (Args.hasArg(options::OPT__analyze, options::OPT__analyze_auto)) 1685 return C.MakeAction<AnalyzeJobAction>(Input, types::TY_Plist); 1686 if (Args.hasArg(options::OPT__migrate)) 1687 return C.MakeAction<MigrateJobAction>(Input, types::TY_Remap); 1688 if (Args.hasArg(options::OPT_emit_ast)) 1689 return C.MakeAction<CompileJobAction>(Input, types::TY_AST); 1690 if (Args.hasArg(options::OPT_module_file_info)) 1691 return C.MakeAction<CompileJobAction>(Input, types::TY_ModuleFile); 1692 if (Args.hasArg(options::OPT_verify_pch)) 1693 return C.MakeAction<VerifyPCHJobAction>(Input, types::TY_Nothing); 1694 return C.MakeAction<CompileJobAction>(Input, types::TY_LLVM_BC); 1695 } 1696 case phases::Backend: { 1697 if (isUsingLTO()) { 1698 types::ID Output = 1699 Args.hasArg(options::OPT_S) ? types::TY_LTO_IR : types::TY_LTO_BC; 1700 return C.MakeAction<BackendJobAction>(Input, Output); 1701 } 1702 if (Args.hasArg(options::OPT_emit_llvm)) { 1703 types::ID Output = 1704 Args.hasArg(options::OPT_S) ? types::TY_LLVM_IR : types::TY_LLVM_BC; 1705 return C.MakeAction<BackendJobAction>(Input, Output); 1706 } 1707 return C.MakeAction<BackendJobAction>(Input, types::TY_PP_Asm); 1708 } 1709 case phases::Assemble: 1710 return C.MakeAction<AssembleJobAction>(std::move(Input), types::TY_Object); 1711 } 1712 1713 llvm_unreachable("invalid phase in ConstructPhaseAction"); 1714 } 1715 1716 void Driver::BuildJobs(Compilation &C) const { 1717 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs"); 1718 1719 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o); 1720 1721 // It is an error to provide a -o option if we are making multiple output 1722 // files. 1723 if (FinalOutput) { 1724 unsigned NumOutputs = 0; 1725 for (const Action *A : C.getActions()) 1726 if (A->getType() != types::TY_Nothing) 1727 ++NumOutputs; 1728 1729 if (NumOutputs > 1) { 1730 Diag(clang::diag::err_drv_output_argument_with_multiple_files); 1731 FinalOutput = nullptr; 1732 } 1733 } 1734 1735 // Collect the list of architectures. 1736 llvm::StringSet<> ArchNames; 1737 if (C.getDefaultToolChain().getTriple().isOSBinFormatMachO()) 1738 for (const Arg *A : C.getArgs()) 1739 if (A->getOption().matches(options::OPT_arch)) 1740 ArchNames.insert(A->getValue()); 1741 1742 // Set of (Action, canonical ToolChain triple) pairs we've built jobs for. 1743 std::map<std::pair<const Action *, std::string>, InputInfo> CachedResults; 1744 for (Action *A : C.getActions()) { 1745 // If we are linking an image for multiple archs then the linker wants 1746 // -arch_multiple and -final_output <final image name>. Unfortunately, this 1747 // doesn't fit in cleanly because we have to pass this information down. 1748 // 1749 // FIXME: This is a hack; find a cleaner way to integrate this into the 1750 // process. 1751 const char *LinkingOutput = nullptr; 1752 if (isa<LipoJobAction>(A)) { 1753 if (FinalOutput) 1754 LinkingOutput = FinalOutput->getValue(); 1755 else 1756 LinkingOutput = getDefaultImageName(); 1757 } 1758 1759 BuildJobsForAction(C, A, &C.getDefaultToolChain(), 1760 /*BoundArch*/ nullptr, 1761 /*AtTopLevel*/ true, 1762 /*MultipleArchs*/ ArchNames.size() > 1, 1763 /*LinkingOutput*/ LinkingOutput, CachedResults); 1764 } 1765 1766 // If the user passed -Qunused-arguments or there were errors, don't warn 1767 // about any unused arguments. 1768 if (Diags.hasErrorOccurred() || 1769 C.getArgs().hasArg(options::OPT_Qunused_arguments)) 1770 return; 1771 1772 // Claim -### here. 1773 (void)C.getArgs().hasArg(options::OPT__HASH_HASH_HASH); 1774 1775 // Claim --driver-mode, it was handled earlier. 1776 (void)C.getArgs().hasArg(options::OPT_driver_mode); 1777 1778 for (Arg *A : C.getArgs()) { 1779 // FIXME: It would be nice to be able to send the argument to the 1780 // DiagnosticsEngine, so that extra values, position, and so on could be 1781 // printed. 1782 if (!A->isClaimed()) { 1783 if (A->getOption().hasFlag(options::NoArgumentUnused)) 1784 continue; 1785 1786 // Suppress the warning automatically if this is just a flag, and it is an 1787 // instance of an argument we already claimed. 1788 const Option &Opt = A->getOption(); 1789 if (Opt.getKind() == Option::FlagClass) { 1790 bool DuplicateClaimed = false; 1791 1792 for (const Arg *AA : C.getArgs().filtered(&Opt)) { 1793 if (AA->isClaimed()) { 1794 DuplicateClaimed = true; 1795 break; 1796 } 1797 } 1798 1799 if (DuplicateClaimed) 1800 continue; 1801 } 1802 1803 // In clang-cl, don't mention unknown arguments here since they have 1804 // already been warned about. 1805 if (!IsCLMode() || !A->getOption().matches(options::OPT_UNKNOWN)) 1806 Diag(clang::diag::warn_drv_unused_argument) 1807 << A->getAsString(C.getArgs()); 1808 } 1809 } 1810 } 1811 1812 // Returns a Tool for a given JobAction. In case the action and its 1813 // predecessors can be combined, updates Inputs with the inputs of the 1814 // first combined action. If one of the collapsed actions is a 1815 // CudaHostAction, updates CollapsedCHA with the pointer to it so the 1816 // caller can deal with extra handling such action requires. 1817 static const Tool *selectToolForJob(Compilation &C, bool SaveTemps, 1818 bool EmbedBitcode, const ToolChain *TC, 1819 const JobAction *JA, 1820 const ActionList *&Inputs, 1821 const CudaHostAction *&CollapsedCHA) { 1822 const Tool *ToolForJob = nullptr; 1823 CollapsedCHA = nullptr; 1824 1825 // See if we should look for a compiler with an integrated assembler. We match 1826 // bottom up, so what we are actually looking for is an assembler job with a 1827 // compiler input. 1828 1829 if (TC->useIntegratedAs() && !SaveTemps && 1830 !C.getArgs().hasArg(options::OPT_via_file_asm) && 1831 !C.getArgs().hasArg(options::OPT__SLASH_FA) && 1832 !C.getArgs().hasArg(options::OPT__SLASH_Fa) && 1833 isa<AssembleJobAction>(JA) && Inputs->size() == 1 && 1834 isa<BackendJobAction>(*Inputs->begin())) { 1835 // A BackendJob is always preceded by a CompileJob, and without -save-temps 1836 // or -fembed-bitcode, they will always get combined together, so instead of 1837 // checking the backend tool, check if the tool for the CompileJob has an 1838 // integrated assembler. For -fembed-bitcode, CompileJob is still used to 1839 // look up tools for BackendJob, but they need to match before we can split 1840 // them. 1841 const ActionList *BackendInputs = &(*Inputs)[0]->getInputs(); 1842 // Compile job may be wrapped in CudaHostAction, extract it if 1843 // that's the case and update CollapsedCHA if we combine phases. 1844 CudaHostAction *CHA = dyn_cast<CudaHostAction>(*BackendInputs->begin()); 1845 JobAction *CompileJA = cast<CompileJobAction>( 1846 CHA ? *CHA->input_begin() : *BackendInputs->begin()); 1847 assert(CompileJA && "Backend job is not preceeded by compile job."); 1848 const Tool *Compiler = TC->SelectTool(*CompileJA); 1849 if (!Compiler) 1850 return nullptr; 1851 // When using -fembed-bitcode, it is required to have the same tool (clang) 1852 // for both CompilerJA and BackendJA. Otherwise, combine two stages. 1853 if (EmbedBitcode) { 1854 JobAction *InputJA = cast<JobAction>(*Inputs->begin()); 1855 const Tool *BackendTool = TC->SelectTool(*InputJA); 1856 if (BackendTool == Compiler) 1857 CompileJA = InputJA; 1858 } 1859 if (Compiler->hasIntegratedAssembler()) { 1860 Inputs = &CompileJA->getInputs(); 1861 ToolForJob = Compiler; 1862 CollapsedCHA = CHA; 1863 } 1864 } 1865 1866 // A backend job should always be combined with the preceding compile job 1867 // unless OPT_save_temps or OPT_fembed_bitcode is enabled and the compiler is 1868 // capable of emitting LLVM IR as an intermediate output. 1869 if (isa<BackendJobAction>(JA)) { 1870 // Check if the compiler supports emitting LLVM IR. 1871 assert(Inputs->size() == 1); 1872 // Compile job may be wrapped in CudaHostAction, extract it if 1873 // that's the case and update CollapsedCHA if we combine phases. 1874 CudaHostAction *CHA = dyn_cast<CudaHostAction>(*Inputs->begin()); 1875 JobAction *CompileJA = 1876 cast<CompileJobAction>(CHA ? *CHA->input_begin() : *Inputs->begin()); 1877 assert(CompileJA && "Backend job is not preceeded by compile job."); 1878 const Tool *Compiler = TC->SelectTool(*CompileJA); 1879 if (!Compiler) 1880 return nullptr; 1881 if (!Compiler->canEmitIR() || 1882 (!SaveTemps && !EmbedBitcode)) { 1883 Inputs = &CompileJA->getInputs(); 1884 ToolForJob = Compiler; 1885 CollapsedCHA = CHA; 1886 } 1887 } 1888 1889 // Otherwise use the tool for the current job. 1890 if (!ToolForJob) 1891 ToolForJob = TC->SelectTool(*JA); 1892 1893 // See if we should use an integrated preprocessor. We do so when we have 1894 // exactly one input, since this is the only use case we care about 1895 // (irrelevant since we don't support combine yet). 1896 if (Inputs->size() == 1 && isa<PreprocessJobAction>(*Inputs->begin()) && 1897 !C.getArgs().hasArg(options::OPT_no_integrated_cpp) && 1898 !C.getArgs().hasArg(options::OPT_traditional_cpp) && !SaveTemps && 1899 !C.getArgs().hasArg(options::OPT_rewrite_objc) && 1900 ToolForJob->hasIntegratedCPP()) 1901 Inputs = &(*Inputs)[0]->getInputs(); 1902 1903 return ToolForJob; 1904 } 1905 1906 InputInfo Driver::BuildJobsForAction( 1907 Compilation &C, const Action *A, const ToolChain *TC, const char *BoundArch, 1908 bool AtTopLevel, bool MultipleArchs, const char *LinkingOutput, 1909 std::map<std::pair<const Action *, std::string>, InputInfo> &CachedResults) 1910 const { 1911 // The bound arch is not necessarily represented in the toolchain's triple -- 1912 // for example, armv7 and armv7s both map to the same triple -- so we need 1913 // both in our map. 1914 std::string TriplePlusArch = TC->getTriple().normalize(); 1915 if (BoundArch) { 1916 TriplePlusArch += "-"; 1917 TriplePlusArch += BoundArch; 1918 } 1919 std::pair<const Action *, std::string> ActionTC = {A, TriplePlusArch}; 1920 auto CachedResult = CachedResults.find(ActionTC); 1921 if (CachedResult != CachedResults.end()) { 1922 return CachedResult->second; 1923 } 1924 InputInfo Result = 1925 BuildJobsForActionNoCache(C, A, TC, BoundArch, AtTopLevel, MultipleArchs, 1926 LinkingOutput, CachedResults); 1927 CachedResults[ActionTC] = Result; 1928 return Result; 1929 } 1930 1931 InputInfo Driver::BuildJobsForActionNoCache( 1932 Compilation &C, const Action *A, const ToolChain *TC, const char *BoundArch, 1933 bool AtTopLevel, bool MultipleArchs, const char *LinkingOutput, 1934 std::map<std::pair<const Action *, std::string>, InputInfo> &CachedResults) 1935 const { 1936 llvm::PrettyStackTraceString CrashInfo("Building compilation jobs"); 1937 1938 InputInfoList CudaDeviceInputInfos; 1939 if (const CudaHostAction *CHA = dyn_cast<CudaHostAction>(A)) { 1940 // Append outputs of device jobs to the input list. 1941 for (const Action *DA : CHA->getDeviceActions()) { 1942 CudaDeviceInputInfos.push_back(BuildJobsForAction( 1943 C, DA, TC, nullptr, AtTopLevel, 1944 /*MultipleArchs*/ false, LinkingOutput, CachedResults)); 1945 } 1946 // Override current action with a real host compile action and continue 1947 // processing it. 1948 A = *CHA->input_begin(); 1949 } 1950 1951 if (const InputAction *IA = dyn_cast<InputAction>(A)) { 1952 // FIXME: It would be nice to not claim this here; maybe the old scheme of 1953 // just using Args was better? 1954 const Arg &Input = IA->getInputArg(); 1955 Input.claim(); 1956 if (Input.getOption().matches(options::OPT_INPUT)) { 1957 const char *Name = Input.getValue(); 1958 return InputInfo(A, Name, /* BaseInput = */ Name); 1959 } 1960 return InputInfo(A, &Input, /* BaseInput = */ ""); 1961 } 1962 1963 if (const BindArchAction *BAA = dyn_cast<BindArchAction>(A)) { 1964 const ToolChain *TC; 1965 const char *ArchName = BAA->getArchName(); 1966 1967 if (ArchName) 1968 TC = &getToolChain( 1969 C.getArgs(), 1970 computeTargetTriple(DefaultTargetTriple, C.getArgs(), ArchName)); 1971 else 1972 TC = &C.getDefaultToolChain(); 1973 1974 return BuildJobsForAction(C, *BAA->input_begin(), TC, ArchName, AtTopLevel, 1975 MultipleArchs, LinkingOutput, CachedResults); 1976 } 1977 1978 if (const CudaDeviceAction *CDA = dyn_cast<CudaDeviceAction>(A)) { 1979 // Initial processing of CudaDeviceAction carries host params. 1980 // Call BuildJobsForAction() again, now with correct device parameters. 1981 InputInfo II = BuildJobsForAction( 1982 C, *CDA->input_begin(), C.getCudaDeviceToolChain(), 1983 CDA->getGpuArchName(), CDA->isAtTopLevel(), /*MultipleArchs=*/true, 1984 LinkingOutput, CachedResults); 1985 // Currently II's Action is *CDA->input_begin(). Set it to CDA instead, so 1986 // that one can retrieve II's GPU arch. 1987 II.setAction(A); 1988 return II; 1989 } 1990 1991 const ActionList *Inputs = &A->getInputs(); 1992 1993 const JobAction *JA = cast<JobAction>(A); 1994 const CudaHostAction *CollapsedCHA = nullptr; 1995 const Tool *T = 1996 selectToolForJob(C, isSaveTempsEnabled(), embedBitcodeEnabled(), TC, JA, 1997 Inputs, CollapsedCHA); 1998 if (!T) 1999 return InputInfo(); 2000 2001 // If we've collapsed action list that contained CudaHostAction we 2002 // need to build jobs for device-side inputs it may have held. 2003 if (CollapsedCHA) { 2004 for (const Action *DA : CollapsedCHA->getDeviceActions()) { 2005 CudaDeviceInputInfos.push_back(BuildJobsForAction( 2006 C, DA, TC, "", AtTopLevel, 2007 /*MultipleArchs*/ false, LinkingOutput, CachedResults)); 2008 } 2009 } 2010 2011 // Only use pipes when there is exactly one input. 2012 InputInfoList InputInfos; 2013 for (const Action *Input : *Inputs) { 2014 // Treat dsymutil and verify sub-jobs as being at the top-level too, they 2015 // shouldn't get temporary output names. 2016 // FIXME: Clean this up. 2017 bool SubJobAtTopLevel = 2018 AtTopLevel && (isa<DsymutilJobAction>(A) || isa<VerifyJobAction>(A)); 2019 InputInfos.push_back(BuildJobsForAction(C, Input, TC, BoundArch, 2020 SubJobAtTopLevel, MultipleArchs, 2021 LinkingOutput, CachedResults)); 2022 } 2023 2024 // Always use the first input as the base input. 2025 const char *BaseInput = InputInfos[0].getBaseInput(); 2026 2027 // ... except dsymutil actions, which use their actual input as the base 2028 // input. 2029 if (JA->getType() == types::TY_dSYM) 2030 BaseInput = InputInfos[0].getFilename(); 2031 2032 // Append outputs of cuda device jobs to the input list 2033 if (CudaDeviceInputInfos.size()) 2034 InputInfos.append(CudaDeviceInputInfos.begin(), CudaDeviceInputInfos.end()); 2035 2036 // Determine the place to write output to, if any. 2037 InputInfo Result; 2038 if (JA->getType() == types::TY_Nothing) 2039 Result = InputInfo(A, BaseInput); 2040 else 2041 Result = InputInfo(A, GetNamedOutputPath(C, *JA, BaseInput, BoundArch, 2042 AtTopLevel, MultipleArchs), 2043 BaseInput); 2044 2045 if (CCCPrintBindings && !CCGenDiagnostics) { 2046 llvm::errs() << "# \"" << T->getToolChain().getTripleString() << '"' 2047 << " - \"" << T->getName() << "\", inputs: ["; 2048 for (unsigned i = 0, e = InputInfos.size(); i != e; ++i) { 2049 llvm::errs() << InputInfos[i].getAsString(); 2050 if (i + 1 != e) 2051 llvm::errs() << ", "; 2052 } 2053 llvm::errs() << "], output: " << Result.getAsString() << "\n"; 2054 } else { 2055 T->ConstructJob(C, *JA, Result, InputInfos, 2056 C.getArgsForToolChain(TC, BoundArch), LinkingOutput); 2057 } 2058 return Result; 2059 } 2060 2061 const char *Driver::getDefaultImageName() const { 2062 llvm::Triple Target(llvm::Triple::normalize(DefaultTargetTriple)); 2063 return Target.isOSWindows() ? "a.exe" : "a.out"; 2064 } 2065 2066 /// \brief Create output filename based on ArgValue, which could either be a 2067 /// full filename, filename without extension, or a directory. If ArgValue 2068 /// does not provide a filename, then use BaseName, and use the extension 2069 /// suitable for FileType. 2070 static const char *MakeCLOutputFilename(const ArgList &Args, StringRef ArgValue, 2071 StringRef BaseName, 2072 types::ID FileType) { 2073 SmallString<128> Filename = ArgValue; 2074 2075 if (ArgValue.empty()) { 2076 // If the argument is empty, output to BaseName in the current dir. 2077 Filename = BaseName; 2078 } else if (llvm::sys::path::is_separator(Filename.back())) { 2079 // If the argument is a directory, output to BaseName in that dir. 2080 llvm::sys::path::append(Filename, BaseName); 2081 } 2082 2083 if (!llvm::sys::path::has_extension(ArgValue)) { 2084 // If the argument didn't provide an extension, then set it. 2085 const char *Extension = types::getTypeTempSuffix(FileType, true); 2086 2087 if (FileType == types::TY_Image && 2088 Args.hasArg(options::OPT__SLASH_LD, options::OPT__SLASH_LDd)) { 2089 // The output file is a dll. 2090 Extension = "dll"; 2091 } 2092 2093 llvm::sys::path::replace_extension(Filename, Extension); 2094 } 2095 2096 return Args.MakeArgString(Filename.c_str()); 2097 } 2098 2099 const char *Driver::GetNamedOutputPath(Compilation &C, const JobAction &JA, 2100 const char *BaseInput, 2101 const char *BoundArch, bool AtTopLevel, 2102 bool MultipleArchs) const { 2103 llvm::PrettyStackTraceString CrashInfo("Computing output path"); 2104 // Output to a user requested destination? 2105 if (AtTopLevel && !isa<DsymutilJobAction>(JA) && !isa<VerifyJobAction>(JA)) { 2106 if (Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o)) 2107 return C.addResultFile(FinalOutput->getValue(), &JA); 2108 } 2109 2110 // For /P, preprocess to file named after BaseInput. 2111 if (C.getArgs().hasArg(options::OPT__SLASH_P)) { 2112 assert(AtTopLevel && isa<PreprocessJobAction>(JA)); 2113 StringRef BaseName = llvm::sys::path::filename(BaseInput); 2114 StringRef NameArg; 2115 if (Arg *A = C.getArgs().getLastArg(options::OPT__SLASH_Fi)) 2116 NameArg = A->getValue(); 2117 return C.addResultFile( 2118 MakeCLOutputFilename(C.getArgs(), NameArg, BaseName, types::TY_PP_C), 2119 &JA); 2120 } 2121 2122 // Default to writing to stdout? 2123 if (AtTopLevel && !CCGenDiagnostics && 2124 (isa<PreprocessJobAction>(JA) || JA.getType() == types::TY_ModuleFile)) 2125 return "-"; 2126 2127 // Is this the assembly listing for /FA? 2128 if (JA.getType() == types::TY_PP_Asm && 2129 (C.getArgs().hasArg(options::OPT__SLASH_FA) || 2130 C.getArgs().hasArg(options::OPT__SLASH_Fa))) { 2131 // Use /Fa and the input filename to determine the asm file name. 2132 StringRef BaseName = llvm::sys::path::filename(BaseInput); 2133 StringRef FaValue = C.getArgs().getLastArgValue(options::OPT__SLASH_Fa); 2134 return C.addResultFile( 2135 MakeCLOutputFilename(C.getArgs(), FaValue, BaseName, JA.getType()), 2136 &JA); 2137 } 2138 2139 // Output to a temporary file? 2140 if ((!AtTopLevel && !isSaveTempsEnabled() && 2141 !C.getArgs().hasArg(options::OPT__SLASH_Fo)) || 2142 CCGenDiagnostics) { 2143 StringRef Name = llvm::sys::path::filename(BaseInput); 2144 std::pair<StringRef, StringRef> Split = Name.split('.'); 2145 std::string TmpName = GetTemporaryPath( 2146 Split.first, types::getTypeTempSuffix(JA.getType(), IsCLMode())); 2147 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str())); 2148 } 2149 2150 SmallString<128> BasePath(BaseInput); 2151 StringRef BaseName; 2152 2153 // Dsymutil actions should use the full path. 2154 if (isa<DsymutilJobAction>(JA) || isa<VerifyJobAction>(JA)) 2155 BaseName = BasePath; 2156 else 2157 BaseName = llvm::sys::path::filename(BasePath); 2158 2159 // Determine what the derived output name should be. 2160 const char *NamedOutput; 2161 2162 if (JA.getType() == types::TY_Object && 2163 C.getArgs().hasArg(options::OPT__SLASH_Fo, options::OPT__SLASH_o)) { 2164 // The /Fo or /o flag decides the object filename. 2165 StringRef Val = 2166 C.getArgs() 2167 .getLastArg(options::OPT__SLASH_Fo, options::OPT__SLASH_o) 2168 ->getValue(); 2169 NamedOutput = 2170 MakeCLOutputFilename(C.getArgs(), Val, BaseName, types::TY_Object); 2171 } else if (JA.getType() == types::TY_Image && 2172 C.getArgs().hasArg(options::OPT__SLASH_Fe, 2173 options::OPT__SLASH_o)) { 2174 // The /Fe or /o flag names the linked file. 2175 StringRef Val = 2176 C.getArgs() 2177 .getLastArg(options::OPT__SLASH_Fe, options::OPT__SLASH_o) 2178 ->getValue(); 2179 NamedOutput = 2180 MakeCLOutputFilename(C.getArgs(), Val, BaseName, types::TY_Image); 2181 } else if (JA.getType() == types::TY_Image) { 2182 if (IsCLMode()) { 2183 // clang-cl uses BaseName for the executable name. 2184 NamedOutput = 2185 MakeCLOutputFilename(C.getArgs(), "", BaseName, types::TY_Image); 2186 } else if (MultipleArchs && BoundArch) { 2187 SmallString<128> Output(getDefaultImageName()); 2188 Output += "-"; 2189 Output.append(BoundArch); 2190 NamedOutput = C.getArgs().MakeArgString(Output.c_str()); 2191 } else { 2192 NamedOutput = getDefaultImageName(); 2193 } 2194 } else if (JA.getType() == types::TY_PCH && IsCLMode()) { 2195 NamedOutput = C.getArgs().MakeArgString(GetClPchPath(C, BaseName).c_str()); 2196 } else { 2197 const char *Suffix = types::getTypeTempSuffix(JA.getType(), IsCLMode()); 2198 assert(Suffix && "All types used for output should have a suffix."); 2199 2200 std::string::size_type End = std::string::npos; 2201 if (!types::appendSuffixForType(JA.getType())) 2202 End = BaseName.rfind('.'); 2203 SmallString<128> Suffixed(BaseName.substr(0, End)); 2204 if (MultipleArchs && BoundArch) { 2205 Suffixed += "-"; 2206 Suffixed.append(BoundArch); 2207 } 2208 // When using both -save-temps and -emit-llvm, use a ".tmp.bc" suffix for 2209 // the unoptimized bitcode so that it does not get overwritten by the ".bc" 2210 // optimized bitcode output. 2211 if (!AtTopLevel && C.getArgs().hasArg(options::OPT_emit_llvm) && 2212 JA.getType() == types::TY_LLVM_BC) 2213 Suffixed += ".tmp"; 2214 Suffixed += '.'; 2215 Suffixed += Suffix; 2216 NamedOutput = C.getArgs().MakeArgString(Suffixed.c_str()); 2217 } 2218 2219 // Prepend object file path if -save-temps=obj 2220 if (!AtTopLevel && isSaveTempsObj() && C.getArgs().hasArg(options::OPT_o) && 2221 JA.getType() != types::TY_PCH) { 2222 Arg *FinalOutput = C.getArgs().getLastArg(options::OPT_o); 2223 SmallString<128> TempPath(FinalOutput->getValue()); 2224 llvm::sys::path::remove_filename(TempPath); 2225 StringRef OutputFileName = llvm::sys::path::filename(NamedOutput); 2226 llvm::sys::path::append(TempPath, OutputFileName); 2227 NamedOutput = C.getArgs().MakeArgString(TempPath.c_str()); 2228 } 2229 2230 // If we're saving temps and the temp file conflicts with the input file, 2231 // then avoid overwriting input file. 2232 if (!AtTopLevel && isSaveTempsEnabled() && NamedOutput == BaseName) { 2233 bool SameFile = false; 2234 SmallString<256> Result; 2235 llvm::sys::fs::current_path(Result); 2236 llvm::sys::path::append(Result, BaseName); 2237 llvm::sys::fs::equivalent(BaseInput, Result.c_str(), SameFile); 2238 // Must share the same path to conflict. 2239 if (SameFile) { 2240 StringRef Name = llvm::sys::path::filename(BaseInput); 2241 std::pair<StringRef, StringRef> Split = Name.split('.'); 2242 std::string TmpName = GetTemporaryPath( 2243 Split.first, types::getTypeTempSuffix(JA.getType(), IsCLMode())); 2244 return C.addTempFile(C.getArgs().MakeArgString(TmpName.c_str())); 2245 } 2246 } 2247 2248 // As an annoying special case, PCH generation doesn't strip the pathname. 2249 if (JA.getType() == types::TY_PCH && !IsCLMode()) { 2250 llvm::sys::path::remove_filename(BasePath); 2251 if (BasePath.empty()) 2252 BasePath = NamedOutput; 2253 else 2254 llvm::sys::path::append(BasePath, NamedOutput); 2255 return C.addResultFile(C.getArgs().MakeArgString(BasePath.c_str()), &JA); 2256 } else { 2257 return C.addResultFile(NamedOutput, &JA); 2258 } 2259 } 2260 2261 std::string Driver::GetFilePath(const char *Name, const ToolChain &TC) const { 2262 // Respect a limited subset of the '-Bprefix' functionality in GCC by 2263 // attempting to use this prefix when looking for file paths. 2264 for (const std::string &Dir : PrefixDirs) { 2265 if (Dir.empty()) 2266 continue; 2267 SmallString<128> P(Dir[0] == '=' ? SysRoot + Dir.substr(1) : Dir); 2268 llvm::sys::path::append(P, Name); 2269 if (llvm::sys::fs::exists(Twine(P))) 2270 return P.str(); 2271 } 2272 2273 SmallString<128> P(ResourceDir); 2274 llvm::sys::path::append(P, Name); 2275 if (llvm::sys::fs::exists(Twine(P))) 2276 return P.str(); 2277 2278 for (const std::string &Dir : TC.getFilePaths()) { 2279 if (Dir.empty()) 2280 continue; 2281 SmallString<128> P(Dir[0] == '=' ? SysRoot + Dir.substr(1) : Dir); 2282 llvm::sys::path::append(P, Name); 2283 if (llvm::sys::fs::exists(Twine(P))) 2284 return P.str(); 2285 } 2286 2287 return Name; 2288 } 2289 2290 void Driver::generatePrefixedToolNames( 2291 const char *Tool, const ToolChain &TC, 2292 SmallVectorImpl<std::string> &Names) const { 2293 // FIXME: Needs a better variable than DefaultTargetTriple 2294 Names.emplace_back(DefaultTargetTriple + "-" + Tool); 2295 Names.emplace_back(Tool); 2296 2297 // Allow the discovery of tools prefixed with LLVM's default target triple. 2298 std::string LLVMDefaultTargetTriple = llvm::sys::getDefaultTargetTriple(); 2299 if (LLVMDefaultTargetTriple != DefaultTargetTriple) 2300 Names.emplace_back(LLVMDefaultTargetTriple + "-" + Tool); 2301 } 2302 2303 static bool ScanDirForExecutable(SmallString<128> &Dir, 2304 ArrayRef<std::string> Names) { 2305 for (const auto &Name : Names) { 2306 llvm::sys::path::append(Dir, Name); 2307 if (llvm::sys::fs::can_execute(Twine(Dir))) 2308 return true; 2309 llvm::sys::path::remove_filename(Dir); 2310 } 2311 return false; 2312 } 2313 2314 std::string Driver::GetProgramPath(const char *Name, 2315 const ToolChain &TC) const { 2316 SmallVector<std::string, 2> TargetSpecificExecutables; 2317 generatePrefixedToolNames(Name, TC, TargetSpecificExecutables); 2318 2319 // Respect a limited subset of the '-Bprefix' functionality in GCC by 2320 // attempting to use this prefix when looking for program paths. 2321 for (const auto &PrefixDir : PrefixDirs) { 2322 if (llvm::sys::fs::is_directory(PrefixDir)) { 2323 SmallString<128> P(PrefixDir); 2324 if (ScanDirForExecutable(P, TargetSpecificExecutables)) 2325 return P.str(); 2326 } else { 2327 SmallString<128> P(PrefixDir + Name); 2328 if (llvm::sys::fs::can_execute(Twine(P))) 2329 return P.str(); 2330 } 2331 } 2332 2333 const ToolChain::path_list &List = TC.getProgramPaths(); 2334 for (const auto &Path : List) { 2335 SmallString<128> P(Path); 2336 if (ScanDirForExecutable(P, TargetSpecificExecutables)) 2337 return P.str(); 2338 } 2339 2340 // If all else failed, search the path. 2341 for (const auto &TargetSpecificExecutable : TargetSpecificExecutables) 2342 if (llvm::ErrorOr<std::string> P = 2343 llvm::sys::findProgramByName(TargetSpecificExecutable)) 2344 return *P; 2345 2346 return Name; 2347 } 2348 2349 std::string Driver::GetTemporaryPath(StringRef Prefix, 2350 const char *Suffix) const { 2351 SmallString<128> Path; 2352 std::error_code EC = llvm::sys::fs::createTemporaryFile(Prefix, Suffix, Path); 2353 if (EC) { 2354 Diag(clang::diag::err_unable_to_make_temp) << EC.message(); 2355 return ""; 2356 } 2357 2358 return Path.str(); 2359 } 2360 2361 std::string Driver::GetClPchPath(Compilation &C, StringRef BaseName) const { 2362 SmallString<128> Output; 2363 if (Arg *FpArg = C.getArgs().getLastArg(options::OPT__SLASH_Fp)) { 2364 // FIXME: If anybody needs it, implement this obscure rule: 2365 // "If you specify a directory without a file name, the default file name 2366 // is VCx0.pch., where x is the major version of Visual C++ in use." 2367 Output = FpArg->getValue(); 2368 2369 // "If you do not specify an extension as part of the path name, an 2370 // extension of .pch is assumed. " 2371 if (!llvm::sys::path::has_extension(Output)) 2372 Output += ".pch"; 2373 } else { 2374 Output = BaseName; 2375 llvm::sys::path::replace_extension(Output, ".pch"); 2376 } 2377 return Output.str(); 2378 } 2379 2380 const ToolChain &Driver::getToolChain(const ArgList &Args, 2381 const llvm::Triple &Target) const { 2382 2383 ToolChain *&TC = ToolChains[Target.str()]; 2384 if (!TC) { 2385 switch (Target.getOS()) { 2386 case llvm::Triple::CloudABI: 2387 TC = new toolchains::CloudABI(*this, Target, Args); 2388 break; 2389 case llvm::Triple::Darwin: 2390 case llvm::Triple::MacOSX: 2391 case llvm::Triple::IOS: 2392 case llvm::Triple::TvOS: 2393 case llvm::Triple::WatchOS: 2394 TC = new toolchains::DarwinClang(*this, Target, Args); 2395 break; 2396 case llvm::Triple::DragonFly: 2397 TC = new toolchains::DragonFly(*this, Target, Args); 2398 break; 2399 case llvm::Triple::OpenBSD: 2400 TC = new toolchains::OpenBSD(*this, Target, Args); 2401 break; 2402 case llvm::Triple::Bitrig: 2403 TC = new toolchains::Bitrig(*this, Target, Args); 2404 break; 2405 case llvm::Triple::NetBSD: 2406 TC = new toolchains::NetBSD(*this, Target, Args); 2407 break; 2408 case llvm::Triple::FreeBSD: 2409 TC = new toolchains::FreeBSD(*this, Target, Args); 2410 break; 2411 case llvm::Triple::Minix: 2412 TC = new toolchains::Minix(*this, Target, Args); 2413 break; 2414 case llvm::Triple::Linux: 2415 if (Target.getArch() == llvm::Triple::hexagon) 2416 TC = new toolchains::HexagonToolChain(*this, Target, Args); 2417 else if ((Target.getVendor() == llvm::Triple::MipsTechnologies) && 2418 !Target.hasEnvironment()) 2419 TC = new toolchains::MipsLLVMToolChain(*this, Target, Args); 2420 else 2421 TC = new toolchains::Linux(*this, Target, Args); 2422 break; 2423 case llvm::Triple::NaCl: 2424 TC = new toolchains::NaClToolChain(*this, Target, Args); 2425 break; 2426 case llvm::Triple::Solaris: 2427 TC = new toolchains::Solaris(*this, Target, Args); 2428 break; 2429 case llvm::Triple::AMDHSA: 2430 TC = new toolchains::AMDGPUToolChain(*this, Target, Args); 2431 break; 2432 case llvm::Triple::Win32: 2433 switch (Target.getEnvironment()) { 2434 default: 2435 if (Target.isOSBinFormatELF()) 2436 TC = new toolchains::Generic_ELF(*this, Target, Args); 2437 else if (Target.isOSBinFormatMachO()) 2438 TC = new toolchains::MachO(*this, Target, Args); 2439 else 2440 TC = new toolchains::Generic_GCC(*this, Target, Args); 2441 break; 2442 case llvm::Triple::GNU: 2443 TC = new toolchains::MinGW(*this, Target, Args); 2444 break; 2445 case llvm::Triple::Itanium: 2446 TC = new toolchains::CrossWindowsToolChain(*this, Target, Args); 2447 break; 2448 case llvm::Triple::MSVC: 2449 case llvm::Triple::UnknownEnvironment: 2450 TC = new toolchains::MSVCToolChain(*this, Target, Args); 2451 break; 2452 } 2453 break; 2454 case llvm::Triple::CUDA: 2455 TC = new toolchains::CudaToolChain(*this, Target, Args); 2456 break; 2457 case llvm::Triple::PS4: 2458 TC = new toolchains::PS4CPU(*this, Target, Args); 2459 break; 2460 default: 2461 // Of these targets, Hexagon is the only one that might have 2462 // an OS of Linux, in which case it got handled above already. 2463 switch (Target.getArch()) { 2464 case llvm::Triple::tce: 2465 TC = new toolchains::TCEToolChain(*this, Target, Args); 2466 break; 2467 case llvm::Triple::hexagon: 2468 TC = new toolchains::HexagonToolChain(*this, Target, Args); 2469 break; 2470 case llvm::Triple::xcore: 2471 TC = new toolchains::XCoreToolChain(*this, Target, Args); 2472 break; 2473 case llvm::Triple::wasm32: 2474 case llvm::Triple::wasm64: 2475 TC = new toolchains::WebAssembly(*this, Target, Args); 2476 break; 2477 default: 2478 if (Target.getVendor() == llvm::Triple::Myriad) 2479 TC = new toolchains::MyriadToolChain(*this, Target, Args); 2480 else if (Target.isOSBinFormatELF()) 2481 TC = new toolchains::Generic_ELF(*this, Target, Args); 2482 else if (Target.isOSBinFormatMachO()) 2483 TC = new toolchains::MachO(*this, Target, Args); 2484 else 2485 TC = new toolchains::Generic_GCC(*this, Target, Args); 2486 } 2487 } 2488 } 2489 return *TC; 2490 } 2491 2492 bool Driver::ShouldUseClangCompiler(const JobAction &JA) const { 2493 // Say "no" if there is not exactly one input of a type clang understands. 2494 if (JA.size() != 1 || 2495 !types::isAcceptedByClang((*JA.input_begin())->getType())) 2496 return false; 2497 2498 // And say "no" if this is not a kind of action clang understands. 2499 if (!isa<PreprocessJobAction>(JA) && !isa<PrecompileJobAction>(JA) && 2500 !isa<CompileJobAction>(JA) && !isa<BackendJobAction>(JA)) 2501 return false; 2502 2503 return true; 2504 } 2505 2506 /// GetReleaseVersion - Parse (([0-9]+)(.([0-9]+)(.([0-9]+)?))?)? and return the 2507 /// grouped values as integers. Numbers which are not provided are set to 0. 2508 /// 2509 /// \return True if the entire string was parsed (9.2), or all groups were 2510 /// parsed (10.3.5extrastuff). 2511 bool Driver::GetReleaseVersion(const char *Str, unsigned &Major, 2512 unsigned &Minor, unsigned &Micro, 2513 bool &HadExtra) { 2514 HadExtra = false; 2515 2516 Major = Minor = Micro = 0; 2517 if (*Str == '\0') 2518 return false; 2519 2520 char *End; 2521 Major = (unsigned)strtol(Str, &End, 10); 2522 if (*Str != '\0' && *End == '\0') 2523 return true; 2524 if (*End != '.') 2525 return false; 2526 2527 Str = End + 1; 2528 Minor = (unsigned)strtol(Str, &End, 10); 2529 if (*Str != '\0' && *End == '\0') 2530 return true; 2531 if (*End != '.') 2532 return false; 2533 2534 Str = End + 1; 2535 Micro = (unsigned)strtol(Str, &End, 10); 2536 if (*Str != '\0' && *End == '\0') 2537 return true; 2538 if (Str == End) 2539 return false; 2540 HadExtra = true; 2541 return true; 2542 } 2543 2544 std::pair<unsigned, unsigned> Driver::getIncludeExcludeOptionFlagMasks() const { 2545 unsigned IncludedFlagsBitmask = 0; 2546 unsigned ExcludedFlagsBitmask = options::NoDriverOption; 2547 2548 if (Mode == CLMode) { 2549 // Include CL and Core options. 2550 IncludedFlagsBitmask |= options::CLOption; 2551 IncludedFlagsBitmask |= options::CoreOption; 2552 } else { 2553 ExcludedFlagsBitmask |= options::CLOption; 2554 } 2555 2556 return std::make_pair(IncludedFlagsBitmask, ExcludedFlagsBitmask); 2557 } 2558 2559 bool clang::driver::isOptimizationLevelFast(const ArgList &Args) { 2560 return Args.hasFlag(options::OPT_Ofast, options::OPT_O_Group, false); 2561 } 2562