1 //===- Driver.cpp ---------------------------------------------------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #include "Driver.h" 10 #include "Config.h" 11 #include "DebugTypes.h" 12 #include "ICF.h" 13 #include "InputFiles.h" 14 #include "MarkLive.h" 15 #include "MinGW.h" 16 #include "SymbolTable.h" 17 #include "Symbols.h" 18 #include "Writer.h" 19 #include "lld/Common/Args.h" 20 #include "lld/Common/Driver.h" 21 #include "lld/Common/ErrorHandler.h" 22 #include "lld/Common/Filesystem.h" 23 #include "lld/Common/Memory.h" 24 #include "lld/Common/Threads.h" 25 #include "lld/Common/Timer.h" 26 #include "lld/Common/Version.h" 27 #include "llvm/ADT/Optional.h" 28 #include "llvm/ADT/StringSwitch.h" 29 #include "llvm/BinaryFormat/Magic.h" 30 #include "llvm/LTO/LTO.h" 31 #include "llvm/Object/ArchiveWriter.h" 32 #include "llvm/Object/COFFImportFile.h" 33 #include "llvm/Object/COFFModuleDefinition.h" 34 #include "llvm/Object/WindowsMachineFlag.h" 35 #include "llvm/Option/Arg.h" 36 #include "llvm/Option/ArgList.h" 37 #include "llvm/Option/Option.h" 38 #include "llvm/Support/CommandLine.h" 39 #include "llvm/Support/Debug.h" 40 #include "llvm/Support/LEB128.h" 41 #include "llvm/Support/MathExtras.h" 42 #include "llvm/Support/Path.h" 43 #include "llvm/Support/Process.h" 44 #include "llvm/Support/TarWriter.h" 45 #include "llvm/Support/TargetSelect.h" 46 #include "llvm/Support/raw_ostream.h" 47 #include "llvm/ToolDrivers/llvm-lib/LibDriver.h" 48 #include <algorithm> 49 #include <future> 50 #include <memory> 51 52 using namespace llvm; 53 using namespace llvm::object; 54 using namespace llvm::COFF; 55 using llvm::sys::Process; 56 57 namespace lld { 58 namespace coff { 59 60 static Timer inputFileTimer("Input File Reading", Timer::root()); 61 62 Configuration *config; 63 LinkerDriver *driver; 64 65 bool link(ArrayRef<const char *> args, bool canExitEarly, raw_ostream &stdoutOS, 66 raw_ostream &stderrOS) { 67 lld::stdoutOS = &stdoutOS; 68 lld::stderrOS = &stderrOS; 69 70 errorHandler().logName = args::getFilenameWithoutExe(args[0]); 71 errorHandler().errorLimitExceededMsg = 72 "too many errors emitted, stopping now" 73 " (use /errorlimit:0 to see all errors)"; 74 errorHandler().exitEarly = canExitEarly; 75 stderrOS.enable_colors(stderrOS.has_colors()); 76 77 config = make<Configuration>(); 78 symtab = make<SymbolTable>(); 79 driver = make<LinkerDriver>(); 80 81 driver->link(args); 82 83 // Call exit() if we can to avoid calling destructors. 84 if (canExitEarly) 85 exitLld(errorCount() ? 1 : 0); 86 87 freeArena(); 88 ObjFile::instances.clear(); 89 ImportFile::instances.clear(); 90 BitcodeFile::instances.clear(); 91 memset(MergeChunk::instances, 0, sizeof(MergeChunk::instances)); 92 return !errorCount(); 93 } 94 95 // Parse options of the form "old;new". 96 static std::pair<StringRef, StringRef> getOldNewOptions(opt::InputArgList &args, 97 unsigned id) { 98 auto *arg = args.getLastArg(id); 99 if (!arg) 100 return {"", ""}; 101 102 StringRef s = arg->getValue(); 103 std::pair<StringRef, StringRef> ret = s.split(';'); 104 if (ret.second.empty()) 105 error(arg->getSpelling() + " expects 'old;new' format, but got " + s); 106 return ret; 107 } 108 109 // Drop directory components and replace extension with 110 // ".exe", ".dll" or ".sys". 111 static std::string getOutputPath(StringRef path) { 112 StringRef ext = ".exe"; 113 if (config->dll) 114 ext = ".dll"; 115 else if (config->driver) 116 ext = ".sys"; 117 118 return (sys::path::stem(path) + ext).str(); 119 } 120 121 // Returns true if S matches /crtend.?\.o$/. 122 static bool isCrtend(StringRef s) { 123 if (!s.endswith(".o")) 124 return false; 125 s = s.drop_back(2); 126 if (s.endswith("crtend")) 127 return true; 128 return !s.empty() && s.drop_back().endswith("crtend"); 129 } 130 131 // ErrorOr is not default constructible, so it cannot be used as the type 132 // parameter of a future. 133 // FIXME: We could open the file in createFutureForFile and avoid needing to 134 // return an error here, but for the moment that would cost us a file descriptor 135 // (a limited resource on Windows) for the duration that the future is pending. 136 using MBErrPair = std::pair<std::unique_ptr<MemoryBuffer>, std::error_code>; 137 138 // Create a std::future that opens and maps a file using the best strategy for 139 // the host platform. 140 static std::future<MBErrPair> createFutureForFile(std::string path) { 141 #if _WIN32 142 // On Windows, file I/O is relatively slow so it is best to do this 143 // asynchronously. 144 auto strategy = std::launch::async; 145 #else 146 auto strategy = std::launch::deferred; 147 #endif 148 return std::async(strategy, [=]() { 149 auto mbOrErr = MemoryBuffer::getFile(path, 150 /*FileSize*/ -1, 151 /*RequiresNullTerminator*/ false); 152 if (!mbOrErr) 153 return MBErrPair{nullptr, mbOrErr.getError()}; 154 return MBErrPair{std::move(*mbOrErr), std::error_code()}; 155 }); 156 } 157 158 // Symbol names are mangled by prepending "_" on x86. 159 static StringRef mangle(StringRef sym) { 160 assert(config->machine != IMAGE_FILE_MACHINE_UNKNOWN); 161 if (config->machine == I386) 162 return saver.save("_" + sym); 163 return sym; 164 } 165 166 static bool findUnderscoreMangle(StringRef sym) { 167 Symbol *s = symtab->findMangle(mangle(sym)); 168 return s && !isa<Undefined>(s); 169 } 170 171 MemoryBufferRef LinkerDriver::takeBuffer(std::unique_ptr<MemoryBuffer> mb) { 172 MemoryBufferRef mbref = *mb; 173 make<std::unique_ptr<MemoryBuffer>>(std::move(mb)); // take ownership 174 175 if (driver->tar) 176 driver->tar->append(relativeToRoot(mbref.getBufferIdentifier()), 177 mbref.getBuffer()); 178 return mbref; 179 } 180 181 void LinkerDriver::addBuffer(std::unique_ptr<MemoryBuffer> mb, 182 bool wholeArchive, bool lazy) { 183 StringRef filename = mb->getBufferIdentifier(); 184 185 MemoryBufferRef mbref = takeBuffer(std::move(mb)); 186 filePaths.push_back(filename); 187 188 // File type is detected by contents, not by file extension. 189 switch (identify_magic(mbref.getBuffer())) { 190 case file_magic::windows_resource: 191 resources.push_back(mbref); 192 break; 193 case file_magic::archive: 194 if (wholeArchive) { 195 std::unique_ptr<Archive> file = 196 CHECK(Archive::create(mbref), filename + ": failed to parse archive"); 197 Archive *archive = file.get(); 198 make<std::unique_ptr<Archive>>(std::move(file)); // take ownership 199 200 int memberIndex = 0; 201 for (MemoryBufferRef m : getArchiveMembers(archive)) 202 addArchiveBuffer(m, "<whole-archive>", filename, memberIndex++); 203 return; 204 } 205 symtab->addFile(make<ArchiveFile>(mbref)); 206 break; 207 case file_magic::bitcode: 208 if (lazy) 209 symtab->addFile(make<LazyObjFile>(mbref)); 210 else 211 symtab->addFile(make<BitcodeFile>(mbref, "", 0)); 212 break; 213 case file_magic::coff_object: 214 case file_magic::coff_import_library: 215 if (lazy) 216 symtab->addFile(make<LazyObjFile>(mbref)); 217 else 218 symtab->addFile(make<ObjFile>(mbref)); 219 break; 220 case file_magic::pdb: 221 loadTypeServerSource(mbref); 222 break; 223 case file_magic::coff_cl_gl_object: 224 error(filename + ": is not a native COFF file. Recompile without /GL"); 225 break; 226 case file_magic::pecoff_executable: 227 if (filename.endswith_lower(".dll")) { 228 error(filename + ": bad file type. Did you specify a DLL instead of an " 229 "import library?"); 230 break; 231 } 232 LLVM_FALLTHROUGH; 233 default: 234 error(mbref.getBufferIdentifier() + ": unknown file type"); 235 break; 236 } 237 } 238 239 void LinkerDriver::enqueuePath(StringRef path, bool wholeArchive, bool lazy) { 240 auto future = std::make_shared<std::future<MBErrPair>>( 241 createFutureForFile(std::string(path))); 242 std::string pathStr = std::string(path); 243 enqueueTask([=]() { 244 auto mbOrErr = future->get(); 245 if (mbOrErr.second) { 246 std::string msg = 247 "could not open '" + pathStr + "': " + mbOrErr.second.message(); 248 // Check if the filename is a typo for an option flag. OptTable thinks 249 // that all args that are not known options and that start with / are 250 // filenames, but e.g. `/nodefaultlibs` is more likely a typo for 251 // the option `/nodefaultlib` than a reference to a file in the root 252 // directory. 253 std::string nearest; 254 if (COFFOptTable().findNearest(pathStr, nearest) > 1) 255 error(msg); 256 else 257 error(msg + "; did you mean '" + nearest + "'"); 258 } else 259 driver->addBuffer(std::move(mbOrErr.first), wholeArchive, lazy); 260 }); 261 } 262 263 void LinkerDriver::addArchiveBuffer(MemoryBufferRef mb, StringRef symName, 264 StringRef parentName, 265 uint64_t offsetInArchive) { 266 file_magic magic = identify_magic(mb.getBuffer()); 267 if (magic == file_magic::coff_import_library) { 268 InputFile *imp = make<ImportFile>(mb); 269 imp->parentName = parentName; 270 symtab->addFile(imp); 271 return; 272 } 273 274 InputFile *obj; 275 if (magic == file_magic::coff_object) { 276 obj = make<ObjFile>(mb); 277 } else if (magic == file_magic::bitcode) { 278 obj = make<BitcodeFile>(mb, parentName, offsetInArchive); 279 } else { 280 error("unknown file type: " + mb.getBufferIdentifier()); 281 return; 282 } 283 284 obj->parentName = parentName; 285 symtab->addFile(obj); 286 log("Loaded " + toString(obj) + " for " + symName); 287 } 288 289 void LinkerDriver::enqueueArchiveMember(const Archive::Child &c, 290 const Archive::Symbol &sym, 291 StringRef parentName) { 292 293 auto reportBufferError = [=](Error &&e, StringRef childName) { 294 fatal("could not get the buffer for the member defining symbol " + 295 toCOFFString(sym) + ": " + parentName + "(" + childName + "): " + 296 toString(std::move(e))); 297 }; 298 299 if (!c.getParent()->isThin()) { 300 uint64_t offsetInArchive = c.getChildOffset(); 301 Expected<MemoryBufferRef> mbOrErr = c.getMemoryBufferRef(); 302 if (!mbOrErr) 303 reportBufferError(mbOrErr.takeError(), check(c.getFullName())); 304 MemoryBufferRef mb = mbOrErr.get(); 305 enqueueTask([=]() { 306 driver->addArchiveBuffer(mb, toCOFFString(sym), parentName, 307 offsetInArchive); 308 }); 309 return; 310 } 311 312 std::string childName = CHECK( 313 c.getFullName(), 314 "could not get the filename for the member defining symbol " + 315 toCOFFString(sym)); 316 auto future = std::make_shared<std::future<MBErrPair>>( 317 createFutureForFile(childName)); 318 enqueueTask([=]() { 319 auto mbOrErr = future->get(); 320 if (mbOrErr.second) 321 reportBufferError(errorCodeToError(mbOrErr.second), childName); 322 // Pass empty string as archive name so that the original filename is 323 // used as the buffer identifier. 324 driver->addArchiveBuffer(takeBuffer(std::move(mbOrErr.first)), 325 toCOFFString(sym), "", /*OffsetInArchive=*/0); 326 }); 327 } 328 329 static bool isDecorated(StringRef sym) { 330 return sym.startswith("@") || sym.contains("@@") || sym.startswith("?") || 331 (!config->mingw && sym.contains('@')); 332 } 333 334 // Parses .drectve section contents and returns a list of files 335 // specified by /defaultlib. 336 void LinkerDriver::parseDirectives(InputFile *file) { 337 StringRef s = file->getDirectives(); 338 if (s.empty()) 339 return; 340 341 log("Directives: " + toString(file) + ": " + s); 342 343 ArgParser parser; 344 // .drectve is always tokenized using Windows shell rules. 345 // /EXPORT: option can appear too many times, processing in fastpath. 346 opt::InputArgList args; 347 std::vector<StringRef> exports; 348 std::tie(args, exports) = parser.parseDirectives(s); 349 350 for (StringRef e : exports) { 351 // If a common header file contains dllexported function 352 // declarations, many object files may end up with having the 353 // same /EXPORT options. In order to save cost of parsing them, 354 // we dedup them first. 355 if (!directivesExports.insert(e).second) 356 continue; 357 358 Export exp = parseExport(e); 359 if (config->machine == I386 && config->mingw) { 360 if (!isDecorated(exp.name)) 361 exp.name = saver.save("_" + exp.name); 362 if (!exp.extName.empty() && !isDecorated(exp.extName)) 363 exp.extName = saver.save("_" + exp.extName); 364 } 365 exp.directives = true; 366 config->exports.push_back(exp); 367 } 368 369 for (auto *arg : args) { 370 switch (arg->getOption().getID()) { 371 case OPT_aligncomm: 372 parseAligncomm(arg->getValue()); 373 break; 374 case OPT_alternatename: 375 parseAlternateName(arg->getValue()); 376 break; 377 case OPT_defaultlib: 378 if (Optional<StringRef> path = findLib(arg->getValue())) 379 enqueuePath(*path, false, false); 380 break; 381 case OPT_entry: 382 config->entry = addUndefined(mangle(arg->getValue())); 383 break; 384 case OPT_failifmismatch: 385 checkFailIfMismatch(arg->getValue(), file); 386 break; 387 case OPT_incl: 388 addUndefined(arg->getValue()); 389 break; 390 case OPT_merge: 391 parseMerge(arg->getValue()); 392 break; 393 case OPT_nodefaultlib: 394 config->noDefaultLibs.insert(doFindLib(arg->getValue()).lower()); 395 break; 396 case OPT_section: 397 parseSection(arg->getValue()); 398 break; 399 case OPT_subsystem: 400 parseSubsystem(arg->getValue(), &config->subsystem, 401 &config->majorOSVersion, &config->minorOSVersion); 402 break; 403 // Only add flags here that link.exe accepts in 404 // `#pragma comment(linker, "/flag")`-generated sections. 405 case OPT_editandcontinue: 406 case OPT_guardsym: 407 case OPT_throwingnew: 408 break; 409 default: 410 error(arg->getSpelling() + " is not allowed in .drectve"); 411 } 412 } 413 } 414 415 // Find file from search paths. You can omit ".obj", this function takes 416 // care of that. Note that the returned path is not guaranteed to exist. 417 StringRef LinkerDriver::doFindFile(StringRef filename) { 418 bool hasPathSep = (filename.find_first_of("/\\") != StringRef::npos); 419 if (hasPathSep) 420 return filename; 421 bool hasExt = filename.contains('.'); 422 for (StringRef dir : searchPaths) { 423 SmallString<128> path = dir; 424 sys::path::append(path, filename); 425 if (sys::fs::exists(path.str())) 426 return saver.save(path.str()); 427 if (!hasExt) { 428 path.append(".obj"); 429 if (sys::fs::exists(path.str())) 430 return saver.save(path.str()); 431 } 432 } 433 return filename; 434 } 435 436 static Optional<sys::fs::UniqueID> getUniqueID(StringRef path) { 437 sys::fs::UniqueID ret; 438 if (sys::fs::getUniqueID(path, ret)) 439 return None; 440 return ret; 441 } 442 443 // Resolves a file path. This never returns the same path 444 // (in that case, it returns None). 445 Optional<StringRef> LinkerDriver::findFile(StringRef filename) { 446 StringRef path = doFindFile(filename); 447 448 if (Optional<sys::fs::UniqueID> id = getUniqueID(path)) { 449 bool seen = !visitedFiles.insert(*id).second; 450 if (seen) 451 return None; 452 } 453 454 if (path.endswith_lower(".lib")) 455 visitedLibs.insert(std::string(sys::path::filename(path))); 456 return path; 457 } 458 459 // MinGW specific. If an embedded directive specified to link to 460 // foo.lib, but it isn't found, try libfoo.a instead. 461 StringRef LinkerDriver::doFindLibMinGW(StringRef filename) { 462 if (filename.contains('/') || filename.contains('\\')) 463 return filename; 464 465 SmallString<128> s = filename; 466 sys::path::replace_extension(s, ".a"); 467 StringRef libName = saver.save("lib" + s.str()); 468 return doFindFile(libName); 469 } 470 471 // Find library file from search path. 472 StringRef LinkerDriver::doFindLib(StringRef filename) { 473 // Add ".lib" to Filename if that has no file extension. 474 bool hasExt = filename.contains('.'); 475 if (!hasExt) 476 filename = saver.save(filename + ".lib"); 477 StringRef ret = doFindFile(filename); 478 // For MinGW, if the find above didn't turn up anything, try 479 // looking for a MinGW formatted library name. 480 if (config->mingw && ret == filename) 481 return doFindLibMinGW(filename); 482 return ret; 483 } 484 485 // Resolves a library path. /nodefaultlib options are taken into 486 // consideration. This never returns the same path (in that case, 487 // it returns None). 488 Optional<StringRef> LinkerDriver::findLib(StringRef filename) { 489 if (config->noDefaultLibAll) 490 return None; 491 if (!visitedLibs.insert(filename.lower()).second) 492 return None; 493 494 StringRef path = doFindLib(filename); 495 if (config->noDefaultLibs.count(path.lower())) 496 return None; 497 498 if (Optional<sys::fs::UniqueID> id = getUniqueID(path)) 499 if (!visitedFiles.insert(*id).second) 500 return None; 501 return path; 502 } 503 504 // Parses LIB environment which contains a list of search paths. 505 void LinkerDriver::addLibSearchPaths() { 506 Optional<std::string> envOpt = Process::GetEnv("LIB"); 507 if (!envOpt.hasValue()) 508 return; 509 StringRef env = saver.save(*envOpt); 510 while (!env.empty()) { 511 StringRef path; 512 std::tie(path, env) = env.split(';'); 513 searchPaths.push_back(path); 514 } 515 } 516 517 Symbol *LinkerDriver::addUndefined(StringRef name) { 518 Symbol *b = symtab->addUndefined(name); 519 if (!b->isGCRoot) { 520 b->isGCRoot = true; 521 config->gcroot.push_back(b); 522 } 523 return b; 524 } 525 526 StringRef LinkerDriver::mangleMaybe(Symbol *s) { 527 // If the plain symbol name has already been resolved, do nothing. 528 Undefined *unmangled = dyn_cast<Undefined>(s); 529 if (!unmangled) 530 return ""; 531 532 // Otherwise, see if a similar, mangled symbol exists in the symbol table. 533 Symbol *mangled = symtab->findMangle(unmangled->getName()); 534 if (!mangled) 535 return ""; 536 537 // If we find a similar mangled symbol, make this an alias to it and return 538 // its name. 539 log(unmangled->getName() + " aliased to " + mangled->getName()); 540 unmangled->weakAlias = symtab->addUndefined(mangled->getName()); 541 return mangled->getName(); 542 } 543 544 // Windows specific -- find default entry point name. 545 // 546 // There are four different entry point functions for Windows executables, 547 // each of which corresponds to a user-defined "main" function. This function 548 // infers an entry point from a user-defined "main" function. 549 StringRef LinkerDriver::findDefaultEntry() { 550 assert(config->subsystem != IMAGE_SUBSYSTEM_UNKNOWN && 551 "must handle /subsystem before calling this"); 552 553 if (config->mingw) 554 return mangle(config->subsystem == IMAGE_SUBSYSTEM_WINDOWS_GUI 555 ? "WinMainCRTStartup" 556 : "mainCRTStartup"); 557 558 if (config->subsystem == IMAGE_SUBSYSTEM_WINDOWS_GUI) { 559 if (findUnderscoreMangle("wWinMain")) { 560 if (!findUnderscoreMangle("WinMain")) 561 return mangle("wWinMainCRTStartup"); 562 warn("found both wWinMain and WinMain; using latter"); 563 } 564 return mangle("WinMainCRTStartup"); 565 } 566 if (findUnderscoreMangle("wmain")) { 567 if (!findUnderscoreMangle("main")) 568 return mangle("wmainCRTStartup"); 569 warn("found both wmain and main; using latter"); 570 } 571 return mangle("mainCRTStartup"); 572 } 573 574 WindowsSubsystem LinkerDriver::inferSubsystem() { 575 if (config->dll) 576 return IMAGE_SUBSYSTEM_WINDOWS_GUI; 577 if (config->mingw) 578 return IMAGE_SUBSYSTEM_WINDOWS_CUI; 579 // Note that link.exe infers the subsystem from the presence of these 580 // functions even if /entry: or /nodefaultlib are passed which causes them 581 // to not be called. 582 bool haveMain = findUnderscoreMangle("main"); 583 bool haveWMain = findUnderscoreMangle("wmain"); 584 bool haveWinMain = findUnderscoreMangle("WinMain"); 585 bool haveWWinMain = findUnderscoreMangle("wWinMain"); 586 if (haveMain || haveWMain) { 587 if (haveWinMain || haveWWinMain) { 588 warn(std::string("found ") + (haveMain ? "main" : "wmain") + " and " + 589 (haveWinMain ? "WinMain" : "wWinMain") + 590 "; defaulting to /subsystem:console"); 591 } 592 return IMAGE_SUBSYSTEM_WINDOWS_CUI; 593 } 594 if (haveWinMain || haveWWinMain) 595 return IMAGE_SUBSYSTEM_WINDOWS_GUI; 596 return IMAGE_SUBSYSTEM_UNKNOWN; 597 } 598 599 static uint64_t getDefaultImageBase() { 600 if (config->is64()) 601 return config->dll ? 0x180000000 : 0x140000000; 602 return config->dll ? 0x10000000 : 0x400000; 603 } 604 605 static std::string createResponseFile(const opt::InputArgList &args, 606 ArrayRef<StringRef> filePaths, 607 ArrayRef<StringRef> searchPaths) { 608 SmallString<0> data; 609 raw_svector_ostream os(data); 610 611 for (auto *arg : args) { 612 switch (arg->getOption().getID()) { 613 case OPT_linkrepro: 614 case OPT_reproduce: 615 case OPT_INPUT: 616 case OPT_defaultlib: 617 case OPT_libpath: 618 case OPT_manifest: 619 case OPT_manifest_colon: 620 case OPT_manifestdependency: 621 case OPT_manifestfile: 622 case OPT_manifestinput: 623 case OPT_manifestuac: 624 break; 625 case OPT_implib: 626 case OPT_pdb: 627 case OPT_pdbstripped: 628 case OPT_out: 629 os << arg->getSpelling() << sys::path::filename(arg->getValue()) << "\n"; 630 break; 631 default: 632 os << toString(*arg) << "\n"; 633 } 634 } 635 636 for (StringRef path : searchPaths) { 637 std::string relPath = relativeToRoot(path); 638 os << "/libpath:" << quote(relPath) << "\n"; 639 } 640 641 for (StringRef path : filePaths) 642 os << quote(relativeToRoot(path)) << "\n"; 643 644 return std::string(data.str()); 645 } 646 647 enum class DebugKind { Unknown, None, Full, FastLink, GHash, Dwarf, Symtab }; 648 649 static DebugKind parseDebugKind(const opt::InputArgList &args) { 650 auto *a = args.getLastArg(OPT_debug, OPT_debug_opt); 651 if (!a) 652 return DebugKind::None; 653 if (a->getNumValues() == 0) 654 return DebugKind::Full; 655 656 DebugKind debug = StringSwitch<DebugKind>(a->getValue()) 657 .CaseLower("none", DebugKind::None) 658 .CaseLower("full", DebugKind::Full) 659 .CaseLower("fastlink", DebugKind::FastLink) 660 // LLD extensions 661 .CaseLower("ghash", DebugKind::GHash) 662 .CaseLower("dwarf", DebugKind::Dwarf) 663 .CaseLower("symtab", DebugKind::Symtab) 664 .Default(DebugKind::Unknown); 665 666 if (debug == DebugKind::FastLink) { 667 warn("/debug:fastlink unsupported; using /debug:full"); 668 return DebugKind::Full; 669 } 670 if (debug == DebugKind::Unknown) { 671 error("/debug: unknown option: " + Twine(a->getValue())); 672 return DebugKind::None; 673 } 674 return debug; 675 } 676 677 static unsigned parseDebugTypes(const opt::InputArgList &args) { 678 unsigned debugTypes = static_cast<unsigned>(DebugType::None); 679 680 if (auto *a = args.getLastArg(OPT_debugtype)) { 681 SmallVector<StringRef, 3> types; 682 StringRef(a->getValue()) 683 .split(types, ',', /*MaxSplit=*/-1, /*KeepEmpty=*/false); 684 685 for (StringRef type : types) { 686 unsigned v = StringSwitch<unsigned>(type.lower()) 687 .Case("cv", static_cast<unsigned>(DebugType::CV)) 688 .Case("pdata", static_cast<unsigned>(DebugType::PData)) 689 .Case("fixup", static_cast<unsigned>(DebugType::Fixup)) 690 .Default(0); 691 if (v == 0) { 692 warn("/debugtype: unknown option '" + type + "'"); 693 continue; 694 } 695 debugTypes |= v; 696 } 697 return debugTypes; 698 } 699 700 // Default debug types 701 debugTypes = static_cast<unsigned>(DebugType::CV); 702 if (args.hasArg(OPT_driver)) 703 debugTypes |= static_cast<unsigned>(DebugType::PData); 704 if (args.hasArg(OPT_profile)) 705 debugTypes |= static_cast<unsigned>(DebugType::Fixup); 706 707 return debugTypes; 708 } 709 710 static std::string getMapFile(const opt::InputArgList &args, 711 opt::OptSpecifier os, opt::OptSpecifier osFile) { 712 auto *arg = args.getLastArg(os, osFile); 713 if (!arg) 714 return ""; 715 if (arg->getOption().getID() == osFile.getID()) 716 return arg->getValue(); 717 718 assert(arg->getOption().getID() == os.getID()); 719 StringRef outFile = config->outputFile; 720 return (outFile.substr(0, outFile.rfind('.')) + ".map").str(); 721 } 722 723 static std::string getImplibPath() { 724 if (!config->implib.empty()) 725 return std::string(config->implib); 726 SmallString<128> out = StringRef(config->outputFile); 727 sys::path::replace_extension(out, ".lib"); 728 return std::string(out.str()); 729 } 730 731 // The import name is calculated as follows: 732 // 733 // | LIBRARY w/ ext | LIBRARY w/o ext | no LIBRARY 734 // -----+----------------+---------------------+------------------ 735 // LINK | {value} | {value}.{.dll/.exe} | {output name} 736 // LIB | {value} | {value}.dll | {output name}.dll 737 // 738 static std::string getImportName(bool asLib) { 739 SmallString<128> out; 740 741 if (config->importName.empty()) { 742 out.assign(sys::path::filename(config->outputFile)); 743 if (asLib) 744 sys::path::replace_extension(out, ".dll"); 745 } else { 746 out.assign(config->importName); 747 if (!sys::path::has_extension(out)) 748 sys::path::replace_extension(out, 749 (config->dll || asLib) ? ".dll" : ".exe"); 750 } 751 752 return std::string(out.str()); 753 } 754 755 static void createImportLibrary(bool asLib) { 756 std::vector<COFFShortExport> exports; 757 for (Export &e1 : config->exports) { 758 COFFShortExport e2; 759 e2.Name = std::string(e1.name); 760 e2.SymbolName = std::string(e1.symbolName); 761 e2.ExtName = std::string(e1.extName); 762 e2.Ordinal = e1.ordinal; 763 e2.Noname = e1.noname; 764 e2.Data = e1.data; 765 e2.Private = e1.isPrivate; 766 e2.Constant = e1.constant; 767 exports.push_back(e2); 768 } 769 770 auto handleError = [](Error &&e) { 771 handleAllErrors(std::move(e), 772 [](ErrorInfoBase &eib) { error(eib.message()); }); 773 }; 774 std::string libName = getImportName(asLib); 775 std::string path = getImplibPath(); 776 777 if (!config->incremental) { 778 handleError(writeImportLibrary(libName, path, exports, config->machine, 779 config->mingw)); 780 return; 781 } 782 783 // If the import library already exists, replace it only if the contents 784 // have changed. 785 ErrorOr<std::unique_ptr<MemoryBuffer>> oldBuf = MemoryBuffer::getFile( 786 path, /*FileSize*/ -1, /*RequiresNullTerminator*/ false); 787 if (!oldBuf) { 788 handleError(writeImportLibrary(libName, path, exports, config->machine, 789 config->mingw)); 790 return; 791 } 792 793 SmallString<128> tmpName; 794 if (std::error_code ec = 795 sys::fs::createUniqueFile(path + ".tmp-%%%%%%%%.lib", tmpName)) 796 fatal("cannot create temporary file for import library " + path + ": " + 797 ec.message()); 798 799 if (Error e = writeImportLibrary(libName, tmpName, exports, config->machine, 800 config->mingw)) { 801 handleError(std::move(e)); 802 return; 803 } 804 805 std::unique_ptr<MemoryBuffer> newBuf = check(MemoryBuffer::getFile( 806 tmpName, /*FileSize*/ -1, /*RequiresNullTerminator*/ false)); 807 if ((*oldBuf)->getBuffer() != newBuf->getBuffer()) { 808 oldBuf->reset(); 809 handleError(errorCodeToError(sys::fs::rename(tmpName, path))); 810 } else { 811 sys::fs::remove(tmpName); 812 } 813 } 814 815 static void parseModuleDefs(StringRef path) { 816 std::unique_ptr<MemoryBuffer> mb = CHECK( 817 MemoryBuffer::getFile(path, -1, false, true), "could not open " + path); 818 COFFModuleDefinition m = check(parseCOFFModuleDefinition( 819 mb->getMemBufferRef(), config->machine, config->mingw)); 820 821 if (config->outputFile.empty()) 822 config->outputFile = std::string(saver.save(m.OutputFile)); 823 config->importName = std::string(saver.save(m.ImportName)); 824 if (m.ImageBase) 825 config->imageBase = m.ImageBase; 826 if (m.StackReserve) 827 config->stackReserve = m.StackReserve; 828 if (m.StackCommit) 829 config->stackCommit = m.StackCommit; 830 if (m.HeapReserve) 831 config->heapReserve = m.HeapReserve; 832 if (m.HeapCommit) 833 config->heapCommit = m.HeapCommit; 834 if (m.MajorImageVersion) 835 config->majorImageVersion = m.MajorImageVersion; 836 if (m.MinorImageVersion) 837 config->minorImageVersion = m.MinorImageVersion; 838 if (m.MajorOSVersion) 839 config->majorOSVersion = m.MajorOSVersion; 840 if (m.MinorOSVersion) 841 config->minorOSVersion = m.MinorOSVersion; 842 843 for (COFFShortExport e1 : m.Exports) { 844 Export e2; 845 // In simple cases, only Name is set. Renamed exports are parsed 846 // and set as "ExtName = Name". If Name has the form "OtherDll.Func", 847 // it shouldn't be a normal exported function but a forward to another 848 // DLL instead. This is supported by both MS and GNU linkers. 849 if (e1.ExtName != e1.Name && StringRef(e1.Name).contains('.')) { 850 e2.name = saver.save(e1.ExtName); 851 e2.forwardTo = saver.save(e1.Name); 852 config->exports.push_back(e2); 853 continue; 854 } 855 e2.name = saver.save(e1.Name); 856 e2.extName = saver.save(e1.ExtName); 857 e2.ordinal = e1.Ordinal; 858 e2.noname = e1.Noname; 859 e2.data = e1.Data; 860 e2.isPrivate = e1.Private; 861 e2.constant = e1.Constant; 862 config->exports.push_back(e2); 863 } 864 } 865 866 void LinkerDriver::enqueueTask(std::function<void()> task) { 867 taskQueue.push_back(std::move(task)); 868 } 869 870 bool LinkerDriver::run() { 871 ScopedTimer t(inputFileTimer); 872 873 bool didWork = !taskQueue.empty(); 874 while (!taskQueue.empty()) { 875 taskQueue.front()(); 876 taskQueue.pop_front(); 877 } 878 return didWork; 879 } 880 881 // Parse an /order file. If an option is given, the linker places 882 // COMDAT sections in the same order as their names appear in the 883 // given file. 884 static void parseOrderFile(StringRef arg) { 885 // For some reason, the MSVC linker requires a filename to be 886 // preceded by "@". 887 if (!arg.startswith("@")) { 888 error("malformed /order option: '@' missing"); 889 return; 890 } 891 892 // Get a list of all comdat sections for error checking. 893 DenseSet<StringRef> set; 894 for (Chunk *c : symtab->getChunks()) 895 if (auto *sec = dyn_cast<SectionChunk>(c)) 896 if (sec->sym) 897 set.insert(sec->sym->getName()); 898 899 // Open a file. 900 StringRef path = arg.substr(1); 901 std::unique_ptr<MemoryBuffer> mb = CHECK( 902 MemoryBuffer::getFile(path, -1, false, true), "could not open " + path); 903 904 // Parse a file. An order file contains one symbol per line. 905 // All symbols that were not present in a given order file are 906 // considered to have the lowest priority 0 and are placed at 907 // end of an output section. 908 for (StringRef arg : args::getLines(mb->getMemBufferRef())) { 909 std::string s(arg); 910 if (config->machine == I386 && !isDecorated(s)) 911 s = "_" + s; 912 913 if (set.count(s) == 0) { 914 if (config->warnMissingOrderSymbol) 915 warn("/order:" + arg + ": missing symbol: " + s + " [LNK4037]"); 916 } 917 else 918 config->order[s] = INT_MIN + config->order.size(); 919 } 920 } 921 922 static void markAddrsig(Symbol *s) { 923 if (auto *d = dyn_cast_or_null<Defined>(s)) 924 if (SectionChunk *c = dyn_cast_or_null<SectionChunk>(d->getChunk())) 925 c->keepUnique = true; 926 } 927 928 static void findKeepUniqueSections() { 929 // Exported symbols could be address-significant in other executables or DSOs, 930 // so we conservatively mark them as address-significant. 931 for (Export &r : config->exports) 932 markAddrsig(r.sym); 933 934 // Visit the address-significance table in each object file and mark each 935 // referenced symbol as address-significant. 936 for (ObjFile *obj : ObjFile::instances) { 937 ArrayRef<Symbol *> syms = obj->getSymbols(); 938 if (obj->addrsigSec) { 939 ArrayRef<uint8_t> contents; 940 cantFail( 941 obj->getCOFFObj()->getSectionContents(obj->addrsigSec, contents)); 942 const uint8_t *cur = contents.begin(); 943 while (cur != contents.end()) { 944 unsigned size; 945 const char *err; 946 uint64_t symIndex = decodeULEB128(cur, &size, contents.end(), &err); 947 if (err) 948 fatal(toString(obj) + ": could not decode addrsig section: " + err); 949 if (symIndex >= syms.size()) 950 fatal(toString(obj) + ": invalid symbol index in addrsig section"); 951 markAddrsig(syms[symIndex]); 952 cur += size; 953 } 954 } else { 955 // If an object file does not have an address-significance table, 956 // conservatively mark all of its symbols as address-significant. 957 for (Symbol *s : syms) 958 markAddrsig(s); 959 } 960 } 961 } 962 963 // link.exe replaces each %foo% in altPath with the contents of environment 964 // variable foo, and adds the two magic env vars _PDB (expands to the basename 965 // of pdb's output path) and _EXT (expands to the extension of the output 966 // binary). 967 // lld only supports %_PDB% and %_EXT% and warns on references to all other env 968 // vars. 969 static void parsePDBAltPath(StringRef altPath) { 970 SmallString<128> buf; 971 StringRef pdbBasename = 972 sys::path::filename(config->pdbPath, sys::path::Style::windows); 973 StringRef binaryExtension = 974 sys::path::extension(config->outputFile, sys::path::Style::windows); 975 if (!binaryExtension.empty()) 976 binaryExtension = binaryExtension.substr(1); // %_EXT% does not include '.'. 977 978 // Invariant: 979 // +--------- cursor ('a...' might be the empty string). 980 // | +----- firstMark 981 // | | +- secondMark 982 // v v v 983 // a...%...%... 984 size_t cursor = 0; 985 while (cursor < altPath.size()) { 986 size_t firstMark, secondMark; 987 if ((firstMark = altPath.find('%', cursor)) == StringRef::npos || 988 (secondMark = altPath.find('%', firstMark + 1)) == StringRef::npos) { 989 // Didn't find another full fragment, treat rest of string as literal. 990 buf.append(altPath.substr(cursor)); 991 break; 992 } 993 994 // Found a full fragment. Append text in front of first %, and interpret 995 // text between first and second % as variable name. 996 buf.append(altPath.substr(cursor, firstMark - cursor)); 997 StringRef var = altPath.substr(firstMark, secondMark - firstMark + 1); 998 if (var.equals_lower("%_pdb%")) 999 buf.append(pdbBasename); 1000 else if (var.equals_lower("%_ext%")) 1001 buf.append(binaryExtension); 1002 else { 1003 warn("only %_PDB% and %_EXT% supported in /pdbaltpath:, keeping " + 1004 var + " as literal"); 1005 buf.append(var); 1006 } 1007 1008 cursor = secondMark + 1; 1009 } 1010 1011 config->pdbAltPath = buf; 1012 } 1013 1014 /// Convert resource files and potentially merge input resource object 1015 /// trees into one resource tree. 1016 /// Call after ObjFile::Instances is complete. 1017 void LinkerDriver::convertResources() { 1018 std::vector<ObjFile *> resourceObjFiles; 1019 1020 for (ObjFile *f : ObjFile::instances) { 1021 if (f->isResourceObjFile()) 1022 resourceObjFiles.push_back(f); 1023 } 1024 1025 if (!config->mingw && 1026 (resourceObjFiles.size() > 1 || 1027 (resourceObjFiles.size() == 1 && !resources.empty()))) { 1028 error((!resources.empty() ? "internal .obj file created from .res files" 1029 : toString(resourceObjFiles[1])) + 1030 ": more than one resource obj file not allowed, already got " + 1031 toString(resourceObjFiles.front())); 1032 return; 1033 } 1034 1035 if (resources.empty() && resourceObjFiles.size() <= 1) { 1036 // No resources to convert, and max one resource object file in 1037 // the input. Keep that preconverted resource section as is. 1038 for (ObjFile *f : resourceObjFiles) 1039 f->includeResourceChunks(); 1040 return; 1041 } 1042 ObjFile *f = make<ObjFile>(convertResToCOFF(resources, resourceObjFiles)); 1043 symtab->addFile(f); 1044 f->includeResourceChunks(); 1045 } 1046 1047 // In MinGW, if no symbols are chosen to be exported, then all symbols are 1048 // automatically exported by default. This behavior can be forced by the 1049 // -export-all-symbols option, so that it happens even when exports are 1050 // explicitly specified. The automatic behavior can be disabled using the 1051 // -exclude-all-symbols option, so that lld-link behaves like link.exe rather 1052 // than MinGW in the case that nothing is explicitly exported. 1053 void LinkerDriver::maybeExportMinGWSymbols(const opt::InputArgList &args) { 1054 if (!config->dll) 1055 return; 1056 1057 if (!args.hasArg(OPT_export_all_symbols)) { 1058 if (!config->exports.empty()) 1059 return; 1060 if (args.hasArg(OPT_exclude_all_symbols)) 1061 return; 1062 } 1063 1064 AutoExporter exporter; 1065 1066 for (auto *arg : args.filtered(OPT_wholearchive_file)) 1067 if (Optional<StringRef> path = doFindFile(arg->getValue())) 1068 exporter.addWholeArchive(*path); 1069 1070 symtab->forEachSymbol([&](Symbol *s) { 1071 auto *def = dyn_cast<Defined>(s); 1072 if (!exporter.shouldExport(def)) 1073 return; 1074 1075 Export e; 1076 e.name = def->getName(); 1077 e.sym = def; 1078 if (Chunk *c = def->getChunk()) 1079 if (!(c->getOutputCharacteristics() & IMAGE_SCN_MEM_EXECUTE)) 1080 e.data = true; 1081 config->exports.push_back(e); 1082 }); 1083 } 1084 1085 // lld has a feature to create a tar file containing all input files as well as 1086 // all command line options, so that other people can run lld again with exactly 1087 // the same inputs. This feature is accessible via /linkrepro and /reproduce. 1088 // 1089 // /linkrepro and /reproduce are very similar, but /linkrepro takes a directory 1090 // name while /reproduce takes a full path. We have /linkrepro for compatibility 1091 // with Microsoft link.exe. 1092 Optional<std::string> getReproduceFile(const opt::InputArgList &args) { 1093 if (auto *arg = args.getLastArg(OPT_reproduce)) 1094 return std::string(arg->getValue()); 1095 1096 if (auto *arg = args.getLastArg(OPT_linkrepro)) { 1097 SmallString<64> path = StringRef(arg->getValue()); 1098 sys::path::append(path, "repro.tar"); 1099 return std::string(path); 1100 } 1101 1102 return None; 1103 } 1104 1105 void LinkerDriver::link(ArrayRef<const char *> argsArr) { 1106 // Needed for LTO. 1107 InitializeAllTargetInfos(); 1108 InitializeAllTargets(); 1109 InitializeAllTargetMCs(); 1110 InitializeAllAsmParsers(); 1111 InitializeAllAsmPrinters(); 1112 1113 // If the first command line argument is "/lib", link.exe acts like lib.exe. 1114 // We call our own implementation of lib.exe that understands bitcode files. 1115 if (argsArr.size() > 1 && StringRef(argsArr[1]).equals_lower("/lib")) { 1116 if (llvm::libDriverMain(argsArr.slice(1)) != 0) 1117 fatal("lib failed"); 1118 return; 1119 } 1120 1121 // Parse command line options. 1122 ArgParser parser; 1123 opt::InputArgList args = parser.parse(argsArr); 1124 1125 // Parse and evaluate -mllvm options. 1126 std::vector<const char *> v; 1127 v.push_back("lld-link (LLVM option parsing)"); 1128 for (auto *arg : args.filtered(OPT_mllvm)) 1129 v.push_back(arg->getValue()); 1130 cl::ParseCommandLineOptions(v.size(), v.data()); 1131 1132 // Handle /errorlimit early, because error() depends on it. 1133 if (auto *arg = args.getLastArg(OPT_errorlimit)) { 1134 int n = 20; 1135 StringRef s = arg->getValue(); 1136 if (s.getAsInteger(10, n)) 1137 error(arg->getSpelling() + " number expected, but got " + s); 1138 errorHandler().errorLimit = n; 1139 } 1140 1141 // Handle /help 1142 if (args.hasArg(OPT_help)) { 1143 printHelp(argsArr[0]); 1144 return; 1145 } 1146 1147 // /threads: takes a positive integer and provides the default value for 1148 // /opt:lldltojobs=. 1149 if (auto *arg = args.getLastArg(OPT_threads)) { 1150 StringRef v(arg->getValue()); 1151 unsigned threads = 0; 1152 if (!llvm::to_integer(v, threads, 0) || threads == 0) 1153 error(arg->getSpelling() + ": expected a positive integer, but got '" + 1154 arg->getValue() + "'"); 1155 parallel::strategy = hardware_concurrency(threads); 1156 config->thinLTOJobs = v.str(); 1157 } 1158 1159 if (args.hasArg(OPT_show_timing)) 1160 config->showTiming = true; 1161 1162 config->showSummary = args.hasArg(OPT_summary); 1163 1164 ScopedTimer t(Timer::root()); 1165 // Handle --version, which is an lld extension. This option is a bit odd 1166 // because it doesn't start with "/", but we deliberately chose "--" to 1167 // avoid conflict with /version and for compatibility with clang-cl. 1168 if (args.hasArg(OPT_dash_dash_version)) { 1169 lld::outs() << getLLDVersion() << "\n"; 1170 return; 1171 } 1172 1173 // Handle /lldmingw early, since it can potentially affect how other 1174 // options are handled. 1175 config->mingw = args.hasArg(OPT_lldmingw); 1176 1177 // Handle /linkrepro and /reproduce. 1178 if (Optional<std::string> path = getReproduceFile(args)) { 1179 Expected<std::unique_ptr<TarWriter>> errOrWriter = 1180 TarWriter::create(*path, sys::path::stem(*path)); 1181 1182 if (errOrWriter) { 1183 tar = std::move(*errOrWriter); 1184 } else { 1185 error("/linkrepro: failed to open " + *path + ": " + 1186 toString(errOrWriter.takeError())); 1187 } 1188 } 1189 1190 if (!args.hasArg(OPT_INPUT, OPT_wholearchive_file)) { 1191 if (args.hasArg(OPT_deffile)) 1192 config->noEntry = true; 1193 else 1194 fatal("no input files"); 1195 } 1196 1197 // Construct search path list. 1198 searchPaths.push_back(""); 1199 for (auto *arg : args.filtered(OPT_libpath)) 1200 searchPaths.push_back(arg->getValue()); 1201 if (!args.hasArg(OPT_lldignoreenv)) 1202 addLibSearchPaths(); 1203 1204 // Handle /ignore 1205 for (auto *arg : args.filtered(OPT_ignore)) { 1206 SmallVector<StringRef, 8> vec; 1207 StringRef(arg->getValue()).split(vec, ','); 1208 for (StringRef s : vec) { 1209 if (s == "4037") 1210 config->warnMissingOrderSymbol = false; 1211 else if (s == "4099") 1212 config->warnDebugInfoUnusable = false; 1213 else if (s == "4217") 1214 config->warnLocallyDefinedImported = false; 1215 else if (s == "longsections") 1216 config->warnLongSectionNames = false; 1217 // Other warning numbers are ignored. 1218 } 1219 } 1220 1221 // Handle /out 1222 if (auto *arg = args.getLastArg(OPT_out)) 1223 config->outputFile = arg->getValue(); 1224 1225 // Handle /verbose 1226 if (args.hasArg(OPT_verbose)) 1227 config->verbose = true; 1228 errorHandler().verbose = config->verbose; 1229 1230 // Handle /force or /force:unresolved 1231 if (args.hasArg(OPT_force, OPT_force_unresolved)) 1232 config->forceUnresolved = true; 1233 1234 // Handle /force or /force:multiple 1235 if (args.hasArg(OPT_force, OPT_force_multiple)) 1236 config->forceMultiple = true; 1237 1238 // Handle /force or /force:multipleres 1239 if (args.hasArg(OPT_force, OPT_force_multipleres)) 1240 config->forceMultipleRes = true; 1241 1242 // Handle /debug 1243 DebugKind debug = parseDebugKind(args); 1244 if (debug == DebugKind::Full || debug == DebugKind::Dwarf || 1245 debug == DebugKind::GHash) { 1246 config->debug = true; 1247 config->incremental = true; 1248 } 1249 1250 // Handle /demangle 1251 config->demangle = args.hasFlag(OPT_demangle, OPT_demangle_no); 1252 1253 // Handle /debugtype 1254 config->debugTypes = parseDebugTypes(args); 1255 1256 // Handle /driver[:uponly|:wdm]. 1257 config->driverUponly = args.hasArg(OPT_driver_uponly) || 1258 args.hasArg(OPT_driver_uponly_wdm) || 1259 args.hasArg(OPT_driver_wdm_uponly); 1260 config->driverWdm = args.hasArg(OPT_driver_wdm) || 1261 args.hasArg(OPT_driver_uponly_wdm) || 1262 args.hasArg(OPT_driver_wdm_uponly); 1263 config->driver = 1264 config->driverUponly || config->driverWdm || args.hasArg(OPT_driver); 1265 1266 // Handle /pdb 1267 bool shouldCreatePDB = 1268 (debug == DebugKind::Full || debug == DebugKind::GHash); 1269 if (shouldCreatePDB) { 1270 if (auto *arg = args.getLastArg(OPT_pdb)) 1271 config->pdbPath = arg->getValue(); 1272 if (auto *arg = args.getLastArg(OPT_pdbaltpath)) 1273 config->pdbAltPath = arg->getValue(); 1274 if (args.hasArg(OPT_natvis)) 1275 config->natvisFiles = args.getAllArgValues(OPT_natvis); 1276 if (args.hasArg(OPT_pdbstream)) { 1277 for (const StringRef value : args.getAllArgValues(OPT_pdbstream)) { 1278 const std::pair<StringRef, StringRef> nameFile = value.split("="); 1279 const StringRef name = nameFile.first; 1280 const std::string file = nameFile.second.str(); 1281 config->namedStreams[name] = file; 1282 } 1283 } 1284 1285 if (auto *arg = args.getLastArg(OPT_pdb_source_path)) 1286 config->pdbSourcePath = arg->getValue(); 1287 } 1288 1289 // Handle /pdbstripped 1290 if (args.hasArg(OPT_pdbstripped)) 1291 warn("ignoring /pdbstripped flag, it is not yet supported"); 1292 1293 // Handle /noentry 1294 if (args.hasArg(OPT_noentry)) { 1295 if (args.hasArg(OPT_dll)) 1296 config->noEntry = true; 1297 else 1298 error("/noentry must be specified with /dll"); 1299 } 1300 1301 // Handle /dll 1302 if (args.hasArg(OPT_dll)) { 1303 config->dll = true; 1304 config->manifestID = 2; 1305 } 1306 1307 // Handle /dynamicbase and /fixed. We can't use hasFlag for /dynamicbase 1308 // because we need to explicitly check whether that option or its inverse was 1309 // present in the argument list in order to handle /fixed. 1310 auto *dynamicBaseArg = args.getLastArg(OPT_dynamicbase, OPT_dynamicbase_no); 1311 if (dynamicBaseArg && 1312 dynamicBaseArg->getOption().getID() == OPT_dynamicbase_no) 1313 config->dynamicBase = false; 1314 1315 // MSDN claims "/FIXED:NO is the default setting for a DLL, and /FIXED is the 1316 // default setting for any other project type.", but link.exe defaults to 1317 // /FIXED:NO for exe outputs as well. Match behavior, not docs. 1318 bool fixed = args.hasFlag(OPT_fixed, OPT_fixed_no, false); 1319 if (fixed) { 1320 if (dynamicBaseArg && 1321 dynamicBaseArg->getOption().getID() == OPT_dynamicbase) { 1322 error("/fixed must not be specified with /dynamicbase"); 1323 } else { 1324 config->relocatable = false; 1325 config->dynamicBase = false; 1326 } 1327 } 1328 1329 // Handle /appcontainer 1330 config->appContainer = 1331 args.hasFlag(OPT_appcontainer, OPT_appcontainer_no, false); 1332 1333 // Handle /machine 1334 if (auto *arg = args.getLastArg(OPT_machine)) { 1335 config->machine = getMachineType(arg->getValue()); 1336 if (config->machine == IMAGE_FILE_MACHINE_UNKNOWN) 1337 fatal(Twine("unknown /machine argument: ") + arg->getValue()); 1338 } 1339 1340 // Handle /nodefaultlib:<filename> 1341 for (auto *arg : args.filtered(OPT_nodefaultlib)) 1342 config->noDefaultLibs.insert(doFindLib(arg->getValue()).lower()); 1343 1344 // Handle /nodefaultlib 1345 if (args.hasArg(OPT_nodefaultlib_all)) 1346 config->noDefaultLibAll = true; 1347 1348 // Handle /base 1349 if (auto *arg = args.getLastArg(OPT_base)) 1350 parseNumbers(arg->getValue(), &config->imageBase); 1351 1352 // Handle /filealign 1353 if (auto *arg = args.getLastArg(OPT_filealign)) { 1354 parseNumbers(arg->getValue(), &config->fileAlign); 1355 if (!isPowerOf2_64(config->fileAlign)) 1356 error("/filealign: not a power of two: " + Twine(config->fileAlign)); 1357 } 1358 1359 // Handle /stack 1360 if (auto *arg = args.getLastArg(OPT_stack)) 1361 parseNumbers(arg->getValue(), &config->stackReserve, &config->stackCommit); 1362 1363 // Handle /guard:cf 1364 if (auto *arg = args.getLastArg(OPT_guard)) 1365 parseGuard(arg->getValue()); 1366 1367 // Handle /heap 1368 if (auto *arg = args.getLastArg(OPT_heap)) 1369 parseNumbers(arg->getValue(), &config->heapReserve, &config->heapCommit); 1370 1371 // Handle /version 1372 if (auto *arg = args.getLastArg(OPT_version)) 1373 parseVersion(arg->getValue(), &config->majorImageVersion, 1374 &config->minorImageVersion); 1375 1376 // Handle /subsystem 1377 if (auto *arg = args.getLastArg(OPT_subsystem)) 1378 parseSubsystem(arg->getValue(), &config->subsystem, &config->majorOSVersion, 1379 &config->minorOSVersion); 1380 1381 // Handle /timestamp 1382 if (llvm::opt::Arg *arg = args.getLastArg(OPT_timestamp, OPT_repro)) { 1383 if (arg->getOption().getID() == OPT_repro) { 1384 config->timestamp = 0; 1385 config->repro = true; 1386 } else { 1387 config->repro = false; 1388 StringRef value(arg->getValue()); 1389 if (value.getAsInteger(0, config->timestamp)) 1390 fatal(Twine("invalid timestamp: ") + value + 1391 ". Expected 32-bit integer"); 1392 } 1393 } else { 1394 config->repro = false; 1395 config->timestamp = time(nullptr); 1396 } 1397 1398 // Handle /alternatename 1399 for (auto *arg : args.filtered(OPT_alternatename)) 1400 parseAlternateName(arg->getValue()); 1401 1402 // Handle /include 1403 for (auto *arg : args.filtered(OPT_incl)) 1404 addUndefined(arg->getValue()); 1405 1406 // Handle /implib 1407 if (auto *arg = args.getLastArg(OPT_implib)) 1408 config->implib = arg->getValue(); 1409 1410 // Handle /opt. 1411 bool doGC = debug == DebugKind::None || args.hasArg(OPT_profile); 1412 unsigned icfLevel = 1413 args.hasArg(OPT_profile) ? 0 : 1; // 0: off, 1: limited, 2: on 1414 unsigned tailMerge = 1; 1415 for (auto *arg : args.filtered(OPT_opt)) { 1416 std::string str = StringRef(arg->getValue()).lower(); 1417 SmallVector<StringRef, 1> vec; 1418 StringRef(str).split(vec, ','); 1419 for (StringRef s : vec) { 1420 if (s == "ref") { 1421 doGC = true; 1422 } else if (s == "noref") { 1423 doGC = false; 1424 } else if (s == "icf" || s.startswith("icf=")) { 1425 icfLevel = 2; 1426 } else if (s == "noicf") { 1427 icfLevel = 0; 1428 } else if (s == "lldtailmerge") { 1429 tailMerge = 2; 1430 } else if (s == "nolldtailmerge") { 1431 tailMerge = 0; 1432 } else if (s.startswith("lldlto=")) { 1433 StringRef optLevel = s.substr(7); 1434 if (optLevel.getAsInteger(10, config->ltoo) || config->ltoo > 3) 1435 error("/opt:lldlto: invalid optimization level: " + optLevel); 1436 } else if (s.startswith("lldltojobs=")) { 1437 StringRef jobs = s.substr(11); 1438 if (!get_threadpool_strategy(jobs)) 1439 error("/opt:lldltojobs: invalid job count: " + jobs); 1440 config->thinLTOJobs = jobs.str(); 1441 } else if (s.startswith("lldltopartitions=")) { 1442 StringRef n = s.substr(17); 1443 if (n.getAsInteger(10, config->ltoPartitions) || 1444 config->ltoPartitions == 0) 1445 error("/opt:lldltopartitions: invalid partition count: " + n); 1446 } else if (s != "lbr" && s != "nolbr") 1447 error("/opt: unknown option: " + s); 1448 } 1449 } 1450 1451 // Limited ICF is enabled if GC is enabled and ICF was never mentioned 1452 // explicitly. 1453 // FIXME: LLD only implements "limited" ICF, i.e. it only merges identical 1454 // code. If the user passes /OPT:ICF explicitly, LLD should merge identical 1455 // comdat readonly data. 1456 if (icfLevel == 1 && !doGC) 1457 icfLevel = 0; 1458 config->doGC = doGC; 1459 config->doICF = icfLevel > 0; 1460 config->tailMerge = (tailMerge == 1 && config->doICF) || tailMerge == 2; 1461 1462 // Handle /lldsavetemps 1463 if (args.hasArg(OPT_lldsavetemps)) 1464 config->saveTemps = true; 1465 1466 // Handle /kill-at 1467 if (args.hasArg(OPT_kill_at)) 1468 config->killAt = true; 1469 1470 // Handle /lldltocache 1471 if (auto *arg = args.getLastArg(OPT_lldltocache)) 1472 config->ltoCache = arg->getValue(); 1473 1474 // Handle /lldsavecachepolicy 1475 if (auto *arg = args.getLastArg(OPT_lldltocachepolicy)) 1476 config->ltoCachePolicy = CHECK( 1477 parseCachePruningPolicy(arg->getValue()), 1478 Twine("/lldltocachepolicy: invalid cache policy: ") + arg->getValue()); 1479 1480 // Handle /failifmismatch 1481 for (auto *arg : args.filtered(OPT_failifmismatch)) 1482 checkFailIfMismatch(arg->getValue(), nullptr); 1483 1484 // Handle /merge 1485 for (auto *arg : args.filtered(OPT_merge)) 1486 parseMerge(arg->getValue()); 1487 1488 // Add default section merging rules after user rules. User rules take 1489 // precedence, but we will emit a warning if there is a conflict. 1490 parseMerge(".idata=.rdata"); 1491 parseMerge(".didat=.rdata"); 1492 parseMerge(".edata=.rdata"); 1493 parseMerge(".xdata=.rdata"); 1494 parseMerge(".bss=.data"); 1495 1496 if (config->mingw) { 1497 parseMerge(".ctors=.rdata"); 1498 parseMerge(".dtors=.rdata"); 1499 parseMerge(".CRT=.rdata"); 1500 } 1501 1502 // Handle /section 1503 for (auto *arg : args.filtered(OPT_section)) 1504 parseSection(arg->getValue()); 1505 1506 // Handle /align 1507 if (auto *arg = args.getLastArg(OPT_align)) { 1508 parseNumbers(arg->getValue(), &config->align); 1509 if (!isPowerOf2_64(config->align)) 1510 error("/align: not a power of two: " + StringRef(arg->getValue())); 1511 if (!args.hasArg(OPT_driver)) 1512 warn("/align specified without /driver; image may not run"); 1513 } 1514 1515 // Handle /aligncomm 1516 for (auto *arg : args.filtered(OPT_aligncomm)) 1517 parseAligncomm(arg->getValue()); 1518 1519 // Handle /manifestdependency. This enables /manifest unless /manifest:no is 1520 // also passed. 1521 if (auto *arg = args.getLastArg(OPT_manifestdependency)) { 1522 config->manifestDependency = arg->getValue(); 1523 config->manifest = Configuration::SideBySide; 1524 } 1525 1526 // Handle /manifest and /manifest: 1527 if (auto *arg = args.getLastArg(OPT_manifest, OPT_manifest_colon)) { 1528 if (arg->getOption().getID() == OPT_manifest) 1529 config->manifest = Configuration::SideBySide; 1530 else 1531 parseManifest(arg->getValue()); 1532 } 1533 1534 // Handle /manifestuac 1535 if (auto *arg = args.getLastArg(OPT_manifestuac)) 1536 parseManifestUAC(arg->getValue()); 1537 1538 // Handle /manifestfile 1539 if (auto *arg = args.getLastArg(OPT_manifestfile)) 1540 config->manifestFile = arg->getValue(); 1541 1542 // Handle /manifestinput 1543 for (auto *arg : args.filtered(OPT_manifestinput)) 1544 config->manifestInput.push_back(arg->getValue()); 1545 1546 if (!config->manifestInput.empty() && 1547 config->manifest != Configuration::Embed) { 1548 fatal("/manifestinput: requires /manifest:embed"); 1549 } 1550 1551 config->thinLTOEmitImportsFiles = args.hasArg(OPT_thinlto_emit_imports_files); 1552 config->thinLTOIndexOnly = args.hasArg(OPT_thinlto_index_only) || 1553 args.hasArg(OPT_thinlto_index_only_arg); 1554 config->thinLTOIndexOnlyArg = 1555 args.getLastArgValue(OPT_thinlto_index_only_arg); 1556 config->thinLTOPrefixReplace = 1557 getOldNewOptions(args, OPT_thinlto_prefix_replace); 1558 config->thinLTOObjectSuffixReplace = 1559 getOldNewOptions(args, OPT_thinlto_object_suffix_replace); 1560 config->ltoObjPath = args.getLastArgValue(OPT_lto_obj_path); 1561 // Handle miscellaneous boolean flags. 1562 config->allowBind = args.hasFlag(OPT_allowbind, OPT_allowbind_no, true); 1563 config->allowIsolation = 1564 args.hasFlag(OPT_allowisolation, OPT_allowisolation_no, true); 1565 config->incremental = 1566 args.hasFlag(OPT_incremental, OPT_incremental_no, 1567 !config->doGC && !config->doICF && !args.hasArg(OPT_order) && 1568 !args.hasArg(OPT_profile)); 1569 config->integrityCheck = 1570 args.hasFlag(OPT_integritycheck, OPT_integritycheck_no, false); 1571 config->cetCompat = args.hasFlag(OPT_cetcompat, OPT_cetcompat_no, false); 1572 config->nxCompat = args.hasFlag(OPT_nxcompat, OPT_nxcompat_no, true); 1573 for (auto *arg : args.filtered(OPT_swaprun)) 1574 parseSwaprun(arg->getValue()); 1575 config->terminalServerAware = 1576 !config->dll && args.hasFlag(OPT_tsaware, OPT_tsaware_no, true); 1577 config->debugDwarf = debug == DebugKind::Dwarf; 1578 config->debugGHashes = debug == DebugKind::GHash; 1579 config->debugSymtab = debug == DebugKind::Symtab; 1580 1581 // Don't warn about long section names, such as .debug_info, for mingw or when 1582 // -debug:dwarf is requested. 1583 if (config->mingw || config->debugDwarf) 1584 config->warnLongSectionNames = false; 1585 1586 config->lldmapFile = getMapFile(args, OPT_lldmap, OPT_lldmap_file); 1587 config->mapFile = getMapFile(args, OPT_map, OPT_map_file); 1588 1589 if (config->lldmapFile != "" && config->lldmapFile == config->mapFile) { 1590 warn("/lldmap and /map have the same output file '" + config->mapFile + 1591 "'.\n>>> ignoring /lldmap"); 1592 config->lldmapFile.clear(); 1593 } 1594 1595 if (config->incremental && args.hasArg(OPT_profile)) { 1596 warn("ignoring '/incremental' due to '/profile' specification"); 1597 config->incremental = false; 1598 } 1599 1600 if (config->incremental && args.hasArg(OPT_order)) { 1601 warn("ignoring '/incremental' due to '/order' specification"); 1602 config->incremental = false; 1603 } 1604 1605 if (config->incremental && config->doGC) { 1606 warn("ignoring '/incremental' because REF is enabled; use '/opt:noref' to " 1607 "disable"); 1608 config->incremental = false; 1609 } 1610 1611 if (config->incremental && config->doICF) { 1612 warn("ignoring '/incremental' because ICF is enabled; use '/opt:noicf' to " 1613 "disable"); 1614 config->incremental = false; 1615 } 1616 1617 if (errorCount()) 1618 return; 1619 1620 std::set<sys::fs::UniqueID> wholeArchives; 1621 for (auto *arg : args.filtered(OPT_wholearchive_file)) 1622 if (Optional<StringRef> path = doFindFile(arg->getValue())) 1623 if (Optional<sys::fs::UniqueID> id = getUniqueID(*path)) 1624 wholeArchives.insert(*id); 1625 1626 // A predicate returning true if a given path is an argument for 1627 // /wholearchive:, or /wholearchive is enabled globally. 1628 // This function is a bit tricky because "foo.obj /wholearchive:././foo.obj" 1629 // needs to be handled as "/wholearchive:foo.obj foo.obj". 1630 auto isWholeArchive = [&](StringRef path) -> bool { 1631 if (args.hasArg(OPT_wholearchive_flag)) 1632 return true; 1633 if (Optional<sys::fs::UniqueID> id = getUniqueID(path)) 1634 return wholeArchives.count(*id); 1635 return false; 1636 }; 1637 1638 // Create a list of input files. These can be given as OPT_INPUT options 1639 // and OPT_wholearchive_file options, and we also need to track OPT_start_lib 1640 // and OPT_end_lib. 1641 bool inLib = false; 1642 for (auto *arg : args) { 1643 switch (arg->getOption().getID()) { 1644 case OPT_end_lib: 1645 if (!inLib) 1646 error("stray " + arg->getSpelling()); 1647 inLib = false; 1648 break; 1649 case OPT_start_lib: 1650 if (inLib) 1651 error("nested " + arg->getSpelling()); 1652 inLib = true; 1653 break; 1654 case OPT_wholearchive_file: 1655 if (Optional<StringRef> path = findFile(arg->getValue())) 1656 enqueuePath(*path, true, inLib); 1657 break; 1658 case OPT_INPUT: 1659 if (Optional<StringRef> path = findFile(arg->getValue())) 1660 enqueuePath(*path, isWholeArchive(*path), inLib); 1661 break; 1662 default: 1663 // Ignore other options. 1664 break; 1665 } 1666 } 1667 1668 // Process files specified as /defaultlib. These should be enequeued after 1669 // other files, which is why they are in a separate loop. 1670 for (auto *arg : args.filtered(OPT_defaultlib)) 1671 if (Optional<StringRef> path = findLib(arg->getValue())) 1672 enqueuePath(*path, false, false); 1673 1674 // Windows specific -- Create a resource file containing a manifest file. 1675 if (config->manifest == Configuration::Embed) 1676 addBuffer(createManifestRes(), false, false); 1677 1678 // Read all input files given via the command line. 1679 run(); 1680 1681 if (errorCount()) 1682 return; 1683 1684 // We should have inferred a machine type by now from the input files, but if 1685 // not we assume x64. 1686 if (config->machine == IMAGE_FILE_MACHINE_UNKNOWN) { 1687 warn("/machine is not specified. x64 is assumed"); 1688 config->machine = AMD64; 1689 } 1690 config->wordsize = config->is64() ? 8 : 4; 1691 1692 // Handle /safeseh, x86 only, on by default, except for mingw. 1693 if (config->machine == I386 && 1694 args.hasFlag(OPT_safeseh, OPT_safeseh_no, !config->mingw)) 1695 config->safeSEH = true; 1696 1697 // Handle /functionpadmin 1698 for (auto *arg : args.filtered(OPT_functionpadmin, OPT_functionpadmin_opt)) 1699 parseFunctionPadMin(arg, config->machine); 1700 1701 if (tar) 1702 tar->append("response.txt", 1703 createResponseFile(args, filePaths, 1704 ArrayRef<StringRef>(searchPaths).slice(1))); 1705 1706 // Handle /largeaddressaware 1707 config->largeAddressAware = args.hasFlag( 1708 OPT_largeaddressaware, OPT_largeaddressaware_no, config->is64()); 1709 1710 // Handle /highentropyva 1711 config->highEntropyVA = 1712 config->is64() && 1713 args.hasFlag(OPT_highentropyva, OPT_highentropyva_no, true); 1714 1715 if (!config->dynamicBase && 1716 (config->machine == ARMNT || config->machine == ARM64)) 1717 error("/dynamicbase:no is not compatible with " + 1718 machineToStr(config->machine)); 1719 1720 // Handle /export 1721 for (auto *arg : args.filtered(OPT_export)) { 1722 Export e = parseExport(arg->getValue()); 1723 if (config->machine == I386) { 1724 if (!isDecorated(e.name)) 1725 e.name = saver.save("_" + e.name); 1726 if (!e.extName.empty() && !isDecorated(e.extName)) 1727 e.extName = saver.save("_" + e.extName); 1728 } 1729 config->exports.push_back(e); 1730 } 1731 1732 // Handle /def 1733 if (auto *arg = args.getLastArg(OPT_deffile)) { 1734 // parseModuleDefs mutates Config object. 1735 parseModuleDefs(arg->getValue()); 1736 } 1737 1738 // Handle generation of import library from a def file. 1739 if (!args.hasArg(OPT_INPUT, OPT_wholearchive_file)) { 1740 fixupExports(); 1741 createImportLibrary(/*asLib=*/true); 1742 return; 1743 } 1744 1745 // Windows specific -- if no /subsystem is given, we need to infer 1746 // that from entry point name. Must happen before /entry handling, 1747 // and after the early return when just writing an import library. 1748 if (config->subsystem == IMAGE_SUBSYSTEM_UNKNOWN) { 1749 config->subsystem = inferSubsystem(); 1750 if (config->subsystem == IMAGE_SUBSYSTEM_UNKNOWN) 1751 fatal("subsystem must be defined"); 1752 } 1753 1754 // Handle /entry and /dll 1755 if (auto *arg = args.getLastArg(OPT_entry)) { 1756 config->entry = addUndefined(mangle(arg->getValue())); 1757 } else if (!config->entry && !config->noEntry) { 1758 if (args.hasArg(OPT_dll)) { 1759 StringRef s = (config->machine == I386) ? "__DllMainCRTStartup@12" 1760 : "_DllMainCRTStartup"; 1761 config->entry = addUndefined(s); 1762 } else if (config->driverWdm) { 1763 // /driver:wdm implies /entry:_NtProcessStartup 1764 config->entry = addUndefined(mangle("_NtProcessStartup")); 1765 } else { 1766 // Windows specific -- If entry point name is not given, we need to 1767 // infer that from user-defined entry name. 1768 StringRef s = findDefaultEntry(); 1769 if (s.empty()) 1770 fatal("entry point must be defined"); 1771 config->entry = addUndefined(s); 1772 log("Entry name inferred: " + s); 1773 } 1774 } 1775 1776 // Handle /delayload 1777 for (auto *arg : args.filtered(OPT_delayload)) { 1778 config->delayLoads.insert(StringRef(arg->getValue()).lower()); 1779 if (config->machine == I386) { 1780 config->delayLoadHelper = addUndefined("___delayLoadHelper2@8"); 1781 } else { 1782 config->delayLoadHelper = addUndefined("__delayLoadHelper2"); 1783 } 1784 } 1785 1786 // Set default image name if neither /out or /def set it. 1787 if (config->outputFile.empty()) { 1788 config->outputFile = getOutputPath( 1789 (*args.filtered(OPT_INPUT, OPT_wholearchive_file).begin())->getValue()); 1790 } 1791 1792 // Fail early if an output file is not writable. 1793 if (auto e = tryCreateFile(config->outputFile)) { 1794 error("cannot open output file " + config->outputFile + ": " + e.message()); 1795 return; 1796 } 1797 1798 if (shouldCreatePDB) { 1799 // Put the PDB next to the image if no /pdb flag was passed. 1800 if (config->pdbPath.empty()) { 1801 config->pdbPath = config->outputFile; 1802 sys::path::replace_extension(config->pdbPath, ".pdb"); 1803 } 1804 1805 // The embedded PDB path should be the absolute path to the PDB if no 1806 // /pdbaltpath flag was passed. 1807 if (config->pdbAltPath.empty()) { 1808 config->pdbAltPath = config->pdbPath; 1809 1810 // It's important to make the path absolute and remove dots. This path 1811 // will eventually be written into the PE header, and certain Microsoft 1812 // tools won't work correctly if these assumptions are not held. 1813 sys::fs::make_absolute(config->pdbAltPath); 1814 sys::path::remove_dots(config->pdbAltPath); 1815 } else { 1816 // Don't do this earlier, so that Config->OutputFile is ready. 1817 parsePDBAltPath(config->pdbAltPath); 1818 } 1819 } 1820 1821 // Set default image base if /base is not given. 1822 if (config->imageBase == uint64_t(-1)) 1823 config->imageBase = getDefaultImageBase(); 1824 1825 symtab->addSynthetic(mangle("__ImageBase"), nullptr); 1826 if (config->machine == I386) { 1827 symtab->addAbsolute("___safe_se_handler_table", 0); 1828 symtab->addAbsolute("___safe_se_handler_count", 0); 1829 } 1830 1831 symtab->addAbsolute(mangle("__guard_fids_count"), 0); 1832 symtab->addAbsolute(mangle("__guard_fids_table"), 0); 1833 symtab->addAbsolute(mangle("__guard_flags"), 0); 1834 symtab->addAbsolute(mangle("__guard_iat_count"), 0); 1835 symtab->addAbsolute(mangle("__guard_iat_table"), 0); 1836 symtab->addAbsolute(mangle("__guard_longjmp_count"), 0); 1837 symtab->addAbsolute(mangle("__guard_longjmp_table"), 0); 1838 // Needed for MSVC 2017 15.5 CRT. 1839 symtab->addAbsolute(mangle("__enclave_config"), 0); 1840 1841 if (config->mingw) { 1842 symtab->addAbsolute(mangle("__RUNTIME_PSEUDO_RELOC_LIST__"), 0); 1843 symtab->addAbsolute(mangle("__RUNTIME_PSEUDO_RELOC_LIST_END__"), 0); 1844 symtab->addAbsolute(mangle("__CTOR_LIST__"), 0); 1845 symtab->addAbsolute(mangle("__DTOR_LIST__"), 0); 1846 } 1847 1848 // This code may add new undefined symbols to the link, which may enqueue more 1849 // symbol resolution tasks, so we need to continue executing tasks until we 1850 // converge. 1851 do { 1852 // Windows specific -- if entry point is not found, 1853 // search for its mangled names. 1854 if (config->entry) 1855 mangleMaybe(config->entry); 1856 1857 // Windows specific -- Make sure we resolve all dllexported symbols. 1858 for (Export &e : config->exports) { 1859 if (!e.forwardTo.empty()) 1860 continue; 1861 e.sym = addUndefined(e.name); 1862 if (!e.directives) 1863 e.symbolName = mangleMaybe(e.sym); 1864 } 1865 1866 // Add weak aliases. Weak aliases is a mechanism to give remaining 1867 // undefined symbols final chance to be resolved successfully. 1868 for (auto pair : config->alternateNames) { 1869 StringRef from = pair.first; 1870 StringRef to = pair.second; 1871 Symbol *sym = symtab->find(from); 1872 if (!sym) 1873 continue; 1874 if (auto *u = dyn_cast<Undefined>(sym)) 1875 if (!u->weakAlias) 1876 u->weakAlias = symtab->addUndefined(to); 1877 } 1878 1879 // If any inputs are bitcode files, the LTO code generator may create 1880 // references to library functions that are not explicit in the bitcode 1881 // file's symbol table. If any of those library functions are defined in a 1882 // bitcode file in an archive member, we need to arrange to use LTO to 1883 // compile those archive members by adding them to the link beforehand. 1884 if (!BitcodeFile::instances.empty()) 1885 for (auto *s : lto::LTO::getRuntimeLibcallSymbols()) 1886 symtab->addLibcall(s); 1887 1888 // Windows specific -- if __load_config_used can be resolved, resolve it. 1889 if (symtab->findUnderscore("_load_config_used")) 1890 addUndefined(mangle("_load_config_used")); 1891 } while (run()); 1892 1893 if (args.hasArg(OPT_include_optional)) { 1894 // Handle /includeoptional 1895 for (auto *arg : args.filtered(OPT_include_optional)) 1896 if (dyn_cast_or_null<LazyArchive>(symtab->find(arg->getValue()))) 1897 addUndefined(arg->getValue()); 1898 while (run()); 1899 } 1900 1901 if (config->mingw) { 1902 // Load any further object files that might be needed for doing automatic 1903 // imports. 1904 // 1905 // For cases with no automatically imported symbols, this iterates once 1906 // over the symbol table and doesn't do anything. 1907 // 1908 // For the normal case with a few automatically imported symbols, this 1909 // should only need to be run once, since each new object file imported 1910 // is an import library and wouldn't add any new undefined references, 1911 // but there's nothing stopping the __imp_ symbols from coming from a 1912 // normal object file as well (although that won't be used for the 1913 // actual autoimport later on). If this pass adds new undefined references, 1914 // we won't iterate further to resolve them. 1915 symtab->loadMinGWAutomaticImports(); 1916 run(); 1917 } 1918 1919 // At this point, we should not have any symbols that cannot be resolved. 1920 // If we are going to do codegen for link-time optimization, check for 1921 // unresolvable symbols first, so we don't spend time generating code that 1922 // will fail to link anyway. 1923 if (!BitcodeFile::instances.empty() && !config->forceUnresolved) 1924 symtab->reportUnresolvable(); 1925 if (errorCount()) 1926 return; 1927 1928 // Do LTO by compiling bitcode input files to a set of native COFF files then 1929 // link those files (unless -thinlto-index-only was given, in which case we 1930 // resolve symbols and write indices, but don't generate native code or link). 1931 symtab->addCombinedLTOObjects(); 1932 1933 // If -thinlto-index-only is given, we should create only "index 1934 // files" and not object files. Index file creation is already done 1935 // in addCombinedLTOObject, so we are done if that's the case. 1936 if (config->thinLTOIndexOnly) 1937 return; 1938 1939 // If we generated native object files from bitcode files, this resolves 1940 // references to the symbols we use from them. 1941 run(); 1942 1943 // Resolve remaining undefined symbols and warn about imported locals. 1944 symtab->resolveRemainingUndefines(); 1945 if (errorCount()) 1946 return; 1947 1948 config->hadExplicitExports = !config->exports.empty(); 1949 if (config->mingw) { 1950 // In MinGW, all symbols are automatically exported if no symbols 1951 // are chosen to be exported. 1952 maybeExportMinGWSymbols(args); 1953 1954 // Make sure the crtend.o object is the last object file. This object 1955 // file can contain terminating section chunks that need to be placed 1956 // last. GNU ld processes files and static libraries explicitly in the 1957 // order provided on the command line, while lld will pull in needed 1958 // files from static libraries only after the last object file on the 1959 // command line. 1960 for (auto i = ObjFile::instances.begin(), e = ObjFile::instances.end(); 1961 i != e; i++) { 1962 ObjFile *file = *i; 1963 if (isCrtend(file->getName())) { 1964 ObjFile::instances.erase(i); 1965 ObjFile::instances.push_back(file); 1966 break; 1967 } 1968 } 1969 } 1970 1971 // Windows specific -- when we are creating a .dll file, we also 1972 // need to create a .lib file. In MinGW mode, we only do that when the 1973 // -implib option is given explicitly, for compatibility with GNU ld. 1974 if (!config->exports.empty() || config->dll) { 1975 fixupExports(); 1976 if (!config->mingw || !config->implib.empty()) 1977 createImportLibrary(/*asLib=*/false); 1978 assignExportOrdinals(); 1979 } 1980 1981 // Handle /output-def (MinGW specific). 1982 if (auto *arg = args.getLastArg(OPT_output_def)) 1983 writeDefFile(arg->getValue()); 1984 1985 // Set extra alignment for .comm symbols 1986 for (auto pair : config->alignComm) { 1987 StringRef name = pair.first; 1988 uint32_t alignment = pair.second; 1989 1990 Symbol *sym = symtab->find(name); 1991 if (!sym) { 1992 warn("/aligncomm symbol " + name + " not found"); 1993 continue; 1994 } 1995 1996 // If the symbol isn't common, it must have been replaced with a regular 1997 // symbol, which will carry its own alignment. 1998 auto *dc = dyn_cast<DefinedCommon>(sym); 1999 if (!dc) 2000 continue; 2001 2002 CommonChunk *c = dc->getChunk(); 2003 c->setAlignment(std::max(c->getAlignment(), alignment)); 2004 } 2005 2006 // Windows specific -- Create a side-by-side manifest file. 2007 if (config->manifest == Configuration::SideBySide) 2008 createSideBySideManifest(); 2009 2010 // Handle /order. We want to do this at this moment because we 2011 // need a complete list of comdat sections to warn on nonexistent 2012 // functions. 2013 if (auto *arg = args.getLastArg(OPT_order)) 2014 parseOrderFile(arg->getValue()); 2015 2016 // Identify unreferenced COMDAT sections. 2017 if (config->doGC) 2018 markLive(symtab->getChunks()); 2019 2020 // Needs to happen after the last call to addFile(). 2021 convertResources(); 2022 2023 // Identify identical COMDAT sections to merge them. 2024 if (config->doICF) { 2025 findKeepUniqueSections(); 2026 doICF(symtab->getChunks()); 2027 } 2028 2029 // Write the result. 2030 writeResult(); 2031 2032 // Stop early so we can print the results. 2033 Timer::root().stop(); 2034 if (config->showTiming) 2035 Timer::root().print(); 2036 } 2037 2038 } // namespace coff 2039 } // namespace lld 2040