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 auto *arg = args.getLastArg(OPT_lldmap, OPT_lldmap_file); 712 if (!arg) 713 return ""; 714 if (arg->getOption().getID() == OPT_lldmap_file) 715 return arg->getValue(); 716 717 assert(arg->getOption().getID() == OPT_lldmap); 718 StringRef outFile = config->outputFile; 719 return (outFile.substr(0, outFile.rfind('.')) + ".map").str(); 720 } 721 722 static std::string getImplibPath() { 723 if (!config->implib.empty()) 724 return std::string(config->implib); 725 SmallString<128> out = StringRef(config->outputFile); 726 sys::path::replace_extension(out, ".lib"); 727 return std::string(out.str()); 728 } 729 730 // The import name is calculated as follows: 731 // 732 // | LIBRARY w/ ext | LIBRARY w/o ext | no LIBRARY 733 // -----+----------------+---------------------+------------------ 734 // LINK | {value} | {value}.{.dll/.exe} | {output name} 735 // LIB | {value} | {value}.dll | {output name}.dll 736 // 737 static std::string getImportName(bool asLib) { 738 SmallString<128> out; 739 740 if (config->importName.empty()) { 741 out.assign(sys::path::filename(config->outputFile)); 742 if (asLib) 743 sys::path::replace_extension(out, ".dll"); 744 } else { 745 out.assign(config->importName); 746 if (!sys::path::has_extension(out)) 747 sys::path::replace_extension(out, 748 (config->dll || asLib) ? ".dll" : ".exe"); 749 } 750 751 return std::string(out.str()); 752 } 753 754 static void createImportLibrary(bool asLib) { 755 std::vector<COFFShortExport> exports; 756 for (Export &e1 : config->exports) { 757 COFFShortExport e2; 758 e2.Name = std::string(e1.name); 759 e2.SymbolName = std::string(e1.symbolName); 760 e2.ExtName = std::string(e1.extName); 761 e2.Ordinal = e1.ordinal; 762 e2.Noname = e1.noname; 763 e2.Data = e1.data; 764 e2.Private = e1.isPrivate; 765 e2.Constant = e1.constant; 766 exports.push_back(e2); 767 } 768 769 auto handleError = [](Error &&e) { 770 handleAllErrors(std::move(e), 771 [](ErrorInfoBase &eib) { error(eib.message()); }); 772 }; 773 std::string libName = getImportName(asLib); 774 std::string path = getImplibPath(); 775 776 if (!config->incremental) { 777 handleError(writeImportLibrary(libName, path, exports, config->machine, 778 config->mingw)); 779 return; 780 } 781 782 // If the import library already exists, replace it only if the contents 783 // have changed. 784 ErrorOr<std::unique_ptr<MemoryBuffer>> oldBuf = MemoryBuffer::getFile( 785 path, /*FileSize*/ -1, /*RequiresNullTerminator*/ false); 786 if (!oldBuf) { 787 handleError(writeImportLibrary(libName, path, exports, config->machine, 788 config->mingw)); 789 return; 790 } 791 792 SmallString<128> tmpName; 793 if (std::error_code ec = 794 sys::fs::createUniqueFile(path + ".tmp-%%%%%%%%.lib", tmpName)) 795 fatal("cannot create temporary file for import library " + path + ": " + 796 ec.message()); 797 798 if (Error e = writeImportLibrary(libName, tmpName, exports, config->machine, 799 config->mingw)) { 800 handleError(std::move(e)); 801 return; 802 } 803 804 std::unique_ptr<MemoryBuffer> newBuf = check(MemoryBuffer::getFile( 805 tmpName, /*FileSize*/ -1, /*RequiresNullTerminator*/ false)); 806 if ((*oldBuf)->getBuffer() != newBuf->getBuffer()) { 807 oldBuf->reset(); 808 handleError(errorCodeToError(sys::fs::rename(tmpName, path))); 809 } else { 810 sys::fs::remove(tmpName); 811 } 812 } 813 814 static void parseModuleDefs(StringRef path) { 815 std::unique_ptr<MemoryBuffer> mb = CHECK( 816 MemoryBuffer::getFile(path, -1, false, true), "could not open " + path); 817 COFFModuleDefinition m = check(parseCOFFModuleDefinition( 818 mb->getMemBufferRef(), config->machine, config->mingw)); 819 820 if (config->outputFile.empty()) 821 config->outputFile = std::string(saver.save(m.OutputFile)); 822 config->importName = std::string(saver.save(m.ImportName)); 823 if (m.ImageBase) 824 config->imageBase = m.ImageBase; 825 if (m.StackReserve) 826 config->stackReserve = m.StackReserve; 827 if (m.StackCommit) 828 config->stackCommit = m.StackCommit; 829 if (m.HeapReserve) 830 config->heapReserve = m.HeapReserve; 831 if (m.HeapCommit) 832 config->heapCommit = m.HeapCommit; 833 if (m.MajorImageVersion) 834 config->majorImageVersion = m.MajorImageVersion; 835 if (m.MinorImageVersion) 836 config->minorImageVersion = m.MinorImageVersion; 837 if (m.MajorOSVersion) 838 config->majorOSVersion = m.MajorOSVersion; 839 if (m.MinorOSVersion) 840 config->minorOSVersion = m.MinorOSVersion; 841 842 for (COFFShortExport e1 : m.Exports) { 843 Export e2; 844 // In simple cases, only Name is set. Renamed exports are parsed 845 // and set as "ExtName = Name". If Name has the form "OtherDll.Func", 846 // it shouldn't be a normal exported function but a forward to another 847 // DLL instead. This is supported by both MS and GNU linkers. 848 if (e1.ExtName != e1.Name && StringRef(e1.Name).contains('.')) { 849 e2.name = saver.save(e1.ExtName); 850 e2.forwardTo = saver.save(e1.Name); 851 config->exports.push_back(e2); 852 continue; 853 } 854 e2.name = saver.save(e1.Name); 855 e2.extName = saver.save(e1.ExtName); 856 e2.ordinal = e1.Ordinal; 857 e2.noname = e1.Noname; 858 e2.data = e1.Data; 859 e2.isPrivate = e1.Private; 860 e2.constant = e1.Constant; 861 config->exports.push_back(e2); 862 } 863 } 864 865 void LinkerDriver::enqueueTask(std::function<void()> task) { 866 taskQueue.push_back(std::move(task)); 867 } 868 869 bool LinkerDriver::run() { 870 ScopedTimer t(inputFileTimer); 871 872 bool didWork = !taskQueue.empty(); 873 while (!taskQueue.empty()) { 874 taskQueue.front()(); 875 taskQueue.pop_front(); 876 } 877 return didWork; 878 } 879 880 // Parse an /order file. If an option is given, the linker places 881 // COMDAT sections in the same order as their names appear in the 882 // given file. 883 static void parseOrderFile(StringRef arg) { 884 // For some reason, the MSVC linker requires a filename to be 885 // preceded by "@". 886 if (!arg.startswith("@")) { 887 error("malformed /order option: '@' missing"); 888 return; 889 } 890 891 // Get a list of all comdat sections for error checking. 892 DenseSet<StringRef> set; 893 for (Chunk *c : symtab->getChunks()) 894 if (auto *sec = dyn_cast<SectionChunk>(c)) 895 if (sec->sym) 896 set.insert(sec->sym->getName()); 897 898 // Open a file. 899 StringRef path = arg.substr(1); 900 std::unique_ptr<MemoryBuffer> mb = CHECK( 901 MemoryBuffer::getFile(path, -1, false, true), "could not open " + path); 902 903 // Parse a file. An order file contains one symbol per line. 904 // All symbols that were not present in a given order file are 905 // considered to have the lowest priority 0 and are placed at 906 // end of an output section. 907 for (StringRef arg : args::getLines(mb->getMemBufferRef())) { 908 std::string s(arg); 909 if (config->machine == I386 && !isDecorated(s)) 910 s = "_" + s; 911 912 if (set.count(s) == 0) { 913 if (config->warnMissingOrderSymbol) 914 warn("/order:" + arg + ": missing symbol: " + s + " [LNK4037]"); 915 } 916 else 917 config->order[s] = INT_MIN + config->order.size(); 918 } 919 } 920 921 static void markAddrsig(Symbol *s) { 922 if (auto *d = dyn_cast_or_null<Defined>(s)) 923 if (SectionChunk *c = dyn_cast_or_null<SectionChunk>(d->getChunk())) 924 c->keepUnique = true; 925 } 926 927 static void findKeepUniqueSections() { 928 // Exported symbols could be address-significant in other executables or DSOs, 929 // so we conservatively mark them as address-significant. 930 for (Export &r : config->exports) 931 markAddrsig(r.sym); 932 933 // Visit the address-significance table in each object file and mark each 934 // referenced symbol as address-significant. 935 for (ObjFile *obj : ObjFile::instances) { 936 ArrayRef<Symbol *> syms = obj->getSymbols(); 937 if (obj->addrsigSec) { 938 ArrayRef<uint8_t> contents; 939 cantFail( 940 obj->getCOFFObj()->getSectionContents(obj->addrsigSec, contents)); 941 const uint8_t *cur = contents.begin(); 942 while (cur != contents.end()) { 943 unsigned size; 944 const char *err; 945 uint64_t symIndex = decodeULEB128(cur, &size, contents.end(), &err); 946 if (err) 947 fatal(toString(obj) + ": could not decode addrsig section: " + err); 948 if (symIndex >= syms.size()) 949 fatal(toString(obj) + ": invalid symbol index in addrsig section"); 950 markAddrsig(syms[symIndex]); 951 cur += size; 952 } 953 } else { 954 // If an object file does not have an address-significance table, 955 // conservatively mark all of its symbols as address-significant. 956 for (Symbol *s : syms) 957 markAddrsig(s); 958 } 959 } 960 } 961 962 // link.exe replaces each %foo% in altPath with the contents of environment 963 // variable foo, and adds the two magic env vars _PDB (expands to the basename 964 // of pdb's output path) and _EXT (expands to the extension of the output 965 // binary). 966 // lld only supports %_PDB% and %_EXT% and warns on references to all other env 967 // vars. 968 static void parsePDBAltPath(StringRef altPath) { 969 SmallString<128> buf; 970 StringRef pdbBasename = 971 sys::path::filename(config->pdbPath, sys::path::Style::windows); 972 StringRef binaryExtension = 973 sys::path::extension(config->outputFile, sys::path::Style::windows); 974 if (!binaryExtension.empty()) 975 binaryExtension = binaryExtension.substr(1); // %_EXT% does not include '.'. 976 977 // Invariant: 978 // +--------- cursor ('a...' might be the empty string). 979 // | +----- firstMark 980 // | | +- secondMark 981 // v v v 982 // a...%...%... 983 size_t cursor = 0; 984 while (cursor < altPath.size()) { 985 size_t firstMark, secondMark; 986 if ((firstMark = altPath.find('%', cursor)) == StringRef::npos || 987 (secondMark = altPath.find('%', firstMark + 1)) == StringRef::npos) { 988 // Didn't find another full fragment, treat rest of string as literal. 989 buf.append(altPath.substr(cursor)); 990 break; 991 } 992 993 // Found a full fragment. Append text in front of first %, and interpret 994 // text between first and second % as variable name. 995 buf.append(altPath.substr(cursor, firstMark - cursor)); 996 StringRef var = altPath.substr(firstMark, secondMark - firstMark + 1); 997 if (var.equals_lower("%_pdb%")) 998 buf.append(pdbBasename); 999 else if (var.equals_lower("%_ext%")) 1000 buf.append(binaryExtension); 1001 else { 1002 warn("only %_PDB% and %_EXT% supported in /pdbaltpath:, keeping " + 1003 var + " as literal"); 1004 buf.append(var); 1005 } 1006 1007 cursor = secondMark + 1; 1008 } 1009 1010 config->pdbAltPath = buf; 1011 } 1012 1013 /// Convert resource files and potentially merge input resource object 1014 /// trees into one resource tree. 1015 /// Call after ObjFile::Instances is complete. 1016 void LinkerDriver::convertResources() { 1017 std::vector<ObjFile *> resourceObjFiles; 1018 1019 for (ObjFile *f : ObjFile::instances) { 1020 if (f->isResourceObjFile()) 1021 resourceObjFiles.push_back(f); 1022 } 1023 1024 if (!config->mingw && 1025 (resourceObjFiles.size() > 1 || 1026 (resourceObjFiles.size() == 1 && !resources.empty()))) { 1027 error((!resources.empty() ? "internal .obj file created from .res files" 1028 : toString(resourceObjFiles[1])) + 1029 ": more than one resource obj file not allowed, already got " + 1030 toString(resourceObjFiles.front())); 1031 return; 1032 } 1033 1034 if (resources.empty() && resourceObjFiles.size() <= 1) { 1035 // No resources to convert, and max one resource object file in 1036 // the input. Keep that preconverted resource section as is. 1037 for (ObjFile *f : resourceObjFiles) 1038 f->includeResourceChunks(); 1039 return; 1040 } 1041 ObjFile *f = make<ObjFile>(convertResToCOFF(resources, resourceObjFiles)); 1042 symtab->addFile(f); 1043 f->includeResourceChunks(); 1044 } 1045 1046 // In MinGW, if no symbols are chosen to be exported, then all symbols are 1047 // automatically exported by default. This behavior can be forced by the 1048 // -export-all-symbols option, so that it happens even when exports are 1049 // explicitly specified. The automatic behavior can be disabled using the 1050 // -exclude-all-symbols option, so that lld-link behaves like link.exe rather 1051 // than MinGW in the case that nothing is explicitly exported. 1052 void LinkerDriver::maybeExportMinGWSymbols(const opt::InputArgList &args) { 1053 if (!config->dll) 1054 return; 1055 1056 if (!args.hasArg(OPT_export_all_symbols)) { 1057 if (!config->exports.empty()) 1058 return; 1059 if (args.hasArg(OPT_exclude_all_symbols)) 1060 return; 1061 } 1062 1063 AutoExporter exporter; 1064 1065 for (auto *arg : args.filtered(OPT_wholearchive_file)) 1066 if (Optional<StringRef> path = doFindFile(arg->getValue())) 1067 exporter.addWholeArchive(*path); 1068 1069 symtab->forEachSymbol([&](Symbol *s) { 1070 auto *def = dyn_cast<Defined>(s); 1071 if (!exporter.shouldExport(def)) 1072 return; 1073 1074 Export e; 1075 e.name = def->getName(); 1076 e.sym = def; 1077 if (Chunk *c = def->getChunk()) 1078 if (!(c->getOutputCharacteristics() & IMAGE_SCN_MEM_EXECUTE)) 1079 e.data = true; 1080 config->exports.push_back(e); 1081 }); 1082 } 1083 1084 // lld has a feature to create a tar file containing all input files as well as 1085 // all command line options, so that other people can run lld again with exactly 1086 // the same inputs. This feature is accessible via /linkrepro and /reproduce. 1087 // 1088 // /linkrepro and /reproduce are very similar, but /linkrepro takes a directory 1089 // name while /reproduce takes a full path. We have /linkrepro for compatibility 1090 // with Microsoft link.exe. 1091 Optional<std::string> getReproduceFile(const opt::InputArgList &args) { 1092 if (auto *arg = args.getLastArg(OPT_reproduce)) 1093 return std::string(arg->getValue()); 1094 1095 if (auto *arg = args.getLastArg(OPT_linkrepro)) { 1096 SmallString<64> path = StringRef(arg->getValue()); 1097 sys::path::append(path, "repro.tar"); 1098 return std::string(path); 1099 } 1100 1101 return None; 1102 } 1103 1104 void LinkerDriver::link(ArrayRef<const char *> argsArr) { 1105 // Needed for LTO. 1106 InitializeAllTargetInfos(); 1107 InitializeAllTargets(); 1108 InitializeAllTargetMCs(); 1109 InitializeAllAsmParsers(); 1110 InitializeAllAsmPrinters(); 1111 1112 // If the first command line argument is "/lib", link.exe acts like lib.exe. 1113 // We call our own implementation of lib.exe that understands bitcode files. 1114 if (argsArr.size() > 1 && StringRef(argsArr[1]).equals_lower("/lib")) { 1115 if (llvm::libDriverMain(argsArr.slice(1)) != 0) 1116 fatal("lib failed"); 1117 return; 1118 } 1119 1120 // Parse command line options. 1121 ArgParser parser; 1122 opt::InputArgList args = parser.parse(argsArr); 1123 1124 // Parse and evaluate -mllvm options. 1125 std::vector<const char *> v; 1126 v.push_back("lld-link (LLVM option parsing)"); 1127 for (auto *arg : args.filtered(OPT_mllvm)) 1128 v.push_back(arg->getValue()); 1129 cl::ParseCommandLineOptions(v.size(), v.data()); 1130 1131 // Handle /errorlimit early, because error() depends on it. 1132 if (auto *arg = args.getLastArg(OPT_errorlimit)) { 1133 int n = 20; 1134 StringRef s = arg->getValue(); 1135 if (s.getAsInteger(10, n)) 1136 error(arg->getSpelling() + " number expected, but got " + s); 1137 errorHandler().errorLimit = n; 1138 } 1139 1140 // Handle /help 1141 if (args.hasArg(OPT_help)) { 1142 printHelp(argsArr[0]); 1143 return; 1144 } 1145 1146 lld::threadsEnabled = args.hasFlag(OPT_threads, OPT_threads_no, true); 1147 1148 if (args.hasArg(OPT_show_timing)) 1149 config->showTiming = true; 1150 1151 config->showSummary = args.hasArg(OPT_summary); 1152 1153 ScopedTimer t(Timer::root()); 1154 // Handle --version, which is an lld extension. This option is a bit odd 1155 // because it doesn't start with "/", but we deliberately chose "--" to 1156 // avoid conflict with /version and for compatibility with clang-cl. 1157 if (args.hasArg(OPT_dash_dash_version)) { 1158 lld::outs() << getLLDVersion() << "\n"; 1159 return; 1160 } 1161 1162 // Handle /lldmingw early, since it can potentially affect how other 1163 // options are handled. 1164 config->mingw = args.hasArg(OPT_lldmingw); 1165 1166 // Handle /linkrepro and /reproduce. 1167 if (Optional<std::string> path = getReproduceFile(args)) { 1168 Expected<std::unique_ptr<TarWriter>> errOrWriter = 1169 TarWriter::create(*path, sys::path::stem(*path)); 1170 1171 if (errOrWriter) { 1172 tar = std::move(*errOrWriter); 1173 } else { 1174 error("/linkrepro: failed to open " + *path + ": " + 1175 toString(errOrWriter.takeError())); 1176 } 1177 } 1178 1179 if (!args.hasArg(OPT_INPUT, OPT_wholearchive_file)) { 1180 if (args.hasArg(OPT_deffile)) 1181 config->noEntry = true; 1182 else 1183 fatal("no input files"); 1184 } 1185 1186 // Construct search path list. 1187 searchPaths.push_back(""); 1188 for (auto *arg : args.filtered(OPT_libpath)) 1189 searchPaths.push_back(arg->getValue()); 1190 if (!args.hasArg(OPT_lldignoreenv)) 1191 addLibSearchPaths(); 1192 1193 // Handle /ignore 1194 for (auto *arg : args.filtered(OPT_ignore)) { 1195 SmallVector<StringRef, 8> vec; 1196 StringRef(arg->getValue()).split(vec, ','); 1197 for (StringRef s : vec) { 1198 if (s == "4037") 1199 config->warnMissingOrderSymbol = false; 1200 else if (s == "4099") 1201 config->warnDebugInfoUnusable = false; 1202 else if (s == "4217") 1203 config->warnLocallyDefinedImported = false; 1204 else if (s == "longsections") 1205 config->warnLongSectionNames = false; 1206 // Other warning numbers are ignored. 1207 } 1208 } 1209 1210 // Handle /out 1211 if (auto *arg = args.getLastArg(OPT_out)) 1212 config->outputFile = arg->getValue(); 1213 1214 // Handle /verbose 1215 if (args.hasArg(OPT_verbose)) 1216 config->verbose = true; 1217 errorHandler().verbose = config->verbose; 1218 1219 // Handle /force or /force:unresolved 1220 if (args.hasArg(OPT_force, OPT_force_unresolved)) 1221 config->forceUnresolved = true; 1222 1223 // Handle /force or /force:multiple 1224 if (args.hasArg(OPT_force, OPT_force_multiple)) 1225 config->forceMultiple = true; 1226 1227 // Handle /force or /force:multipleres 1228 if (args.hasArg(OPT_force, OPT_force_multipleres)) 1229 config->forceMultipleRes = true; 1230 1231 // Handle /debug 1232 DebugKind debug = parseDebugKind(args); 1233 if (debug == DebugKind::Full || debug == DebugKind::Dwarf || 1234 debug == DebugKind::GHash) { 1235 config->debug = true; 1236 config->incremental = true; 1237 } 1238 1239 // Handle /demangle 1240 config->demangle = args.hasFlag(OPT_demangle, OPT_demangle_no); 1241 1242 // Handle /debugtype 1243 config->debugTypes = parseDebugTypes(args); 1244 1245 // Handle /driver[:uponly|:wdm]. 1246 config->driverUponly = args.hasArg(OPT_driver_uponly) || 1247 args.hasArg(OPT_driver_uponly_wdm) || 1248 args.hasArg(OPT_driver_wdm_uponly); 1249 config->driverWdm = args.hasArg(OPT_driver_wdm) || 1250 args.hasArg(OPT_driver_uponly_wdm) || 1251 args.hasArg(OPT_driver_wdm_uponly); 1252 config->driver = 1253 config->driverUponly || config->driverWdm || args.hasArg(OPT_driver); 1254 1255 // Handle /pdb 1256 bool shouldCreatePDB = 1257 (debug == DebugKind::Full || debug == DebugKind::GHash); 1258 if (shouldCreatePDB) { 1259 if (auto *arg = args.getLastArg(OPT_pdb)) 1260 config->pdbPath = arg->getValue(); 1261 if (auto *arg = args.getLastArg(OPT_pdbaltpath)) 1262 config->pdbAltPath = arg->getValue(); 1263 if (args.hasArg(OPT_natvis)) 1264 config->natvisFiles = args.getAllArgValues(OPT_natvis); 1265 1266 if (auto *arg = args.getLastArg(OPT_pdb_source_path)) 1267 config->pdbSourcePath = arg->getValue(); 1268 } 1269 1270 // Handle /pdbstripped 1271 if (args.hasArg(OPT_pdbstripped)) 1272 warn("ignoring /pdbstripped flag, it is not yet supported"); 1273 1274 // Handle /noentry 1275 if (args.hasArg(OPT_noentry)) { 1276 if (args.hasArg(OPT_dll)) 1277 config->noEntry = true; 1278 else 1279 error("/noentry must be specified with /dll"); 1280 } 1281 1282 // Handle /dll 1283 if (args.hasArg(OPT_dll)) { 1284 config->dll = true; 1285 config->manifestID = 2; 1286 } 1287 1288 // Handle /dynamicbase and /fixed. We can't use hasFlag for /dynamicbase 1289 // because we need to explicitly check whether that option or its inverse was 1290 // present in the argument list in order to handle /fixed. 1291 auto *dynamicBaseArg = args.getLastArg(OPT_dynamicbase, OPT_dynamicbase_no); 1292 if (dynamicBaseArg && 1293 dynamicBaseArg->getOption().getID() == OPT_dynamicbase_no) 1294 config->dynamicBase = false; 1295 1296 // MSDN claims "/FIXED:NO is the default setting for a DLL, and /FIXED is the 1297 // default setting for any other project type.", but link.exe defaults to 1298 // /FIXED:NO for exe outputs as well. Match behavior, not docs. 1299 bool fixed = args.hasFlag(OPT_fixed, OPT_fixed_no, false); 1300 if (fixed) { 1301 if (dynamicBaseArg && 1302 dynamicBaseArg->getOption().getID() == OPT_dynamicbase) { 1303 error("/fixed must not be specified with /dynamicbase"); 1304 } else { 1305 config->relocatable = false; 1306 config->dynamicBase = false; 1307 } 1308 } 1309 1310 // Handle /appcontainer 1311 config->appContainer = 1312 args.hasFlag(OPT_appcontainer, OPT_appcontainer_no, false); 1313 1314 // Handle /machine 1315 if (auto *arg = args.getLastArg(OPT_machine)) { 1316 config->machine = getMachineType(arg->getValue()); 1317 if (config->machine == IMAGE_FILE_MACHINE_UNKNOWN) 1318 fatal(Twine("unknown /machine argument: ") + arg->getValue()); 1319 } 1320 1321 // Handle /nodefaultlib:<filename> 1322 for (auto *arg : args.filtered(OPT_nodefaultlib)) 1323 config->noDefaultLibs.insert(doFindLib(arg->getValue()).lower()); 1324 1325 // Handle /nodefaultlib 1326 if (args.hasArg(OPT_nodefaultlib_all)) 1327 config->noDefaultLibAll = true; 1328 1329 // Handle /base 1330 if (auto *arg = args.getLastArg(OPT_base)) 1331 parseNumbers(arg->getValue(), &config->imageBase); 1332 1333 // Handle /filealign 1334 if (auto *arg = args.getLastArg(OPT_filealign)) { 1335 parseNumbers(arg->getValue(), &config->fileAlign); 1336 if (!isPowerOf2_64(config->fileAlign)) 1337 error("/filealign: not a power of two: " + Twine(config->fileAlign)); 1338 } 1339 1340 // Handle /stack 1341 if (auto *arg = args.getLastArg(OPT_stack)) 1342 parseNumbers(arg->getValue(), &config->stackReserve, &config->stackCommit); 1343 1344 // Handle /guard:cf 1345 if (auto *arg = args.getLastArg(OPT_guard)) 1346 parseGuard(arg->getValue()); 1347 1348 // Handle /heap 1349 if (auto *arg = args.getLastArg(OPT_heap)) 1350 parseNumbers(arg->getValue(), &config->heapReserve, &config->heapCommit); 1351 1352 // Handle /version 1353 if (auto *arg = args.getLastArg(OPT_version)) 1354 parseVersion(arg->getValue(), &config->majorImageVersion, 1355 &config->minorImageVersion); 1356 1357 // Handle /subsystem 1358 if (auto *arg = args.getLastArg(OPT_subsystem)) 1359 parseSubsystem(arg->getValue(), &config->subsystem, &config->majorOSVersion, 1360 &config->minorOSVersion); 1361 1362 // Handle /timestamp 1363 if (llvm::opt::Arg *arg = args.getLastArg(OPT_timestamp, OPT_repro)) { 1364 if (arg->getOption().getID() == OPT_repro) { 1365 config->timestamp = 0; 1366 config->repro = true; 1367 } else { 1368 config->repro = false; 1369 StringRef value(arg->getValue()); 1370 if (value.getAsInteger(0, config->timestamp)) 1371 fatal(Twine("invalid timestamp: ") + value + 1372 ". Expected 32-bit integer"); 1373 } 1374 } else { 1375 config->repro = false; 1376 config->timestamp = time(nullptr); 1377 } 1378 1379 // Handle /alternatename 1380 for (auto *arg : args.filtered(OPT_alternatename)) 1381 parseAlternateName(arg->getValue()); 1382 1383 // Handle /include 1384 for (auto *arg : args.filtered(OPT_incl)) 1385 addUndefined(arg->getValue()); 1386 1387 // Handle /implib 1388 if (auto *arg = args.getLastArg(OPT_implib)) 1389 config->implib = arg->getValue(); 1390 1391 // Handle /opt. 1392 bool doGC = debug == DebugKind::None || args.hasArg(OPT_profile); 1393 unsigned icfLevel = 1394 args.hasArg(OPT_profile) ? 0 : 1; // 0: off, 1: limited, 2: on 1395 unsigned tailMerge = 1; 1396 for (auto *arg : args.filtered(OPT_opt)) { 1397 std::string str = StringRef(arg->getValue()).lower(); 1398 SmallVector<StringRef, 1> vec; 1399 StringRef(str).split(vec, ','); 1400 for (StringRef s : vec) { 1401 if (s == "ref") { 1402 doGC = true; 1403 } else if (s == "noref") { 1404 doGC = false; 1405 } else if (s == "icf" || s.startswith("icf=")) { 1406 icfLevel = 2; 1407 } else if (s == "noicf") { 1408 icfLevel = 0; 1409 } else if (s == "lldtailmerge") { 1410 tailMerge = 2; 1411 } else if (s == "nolldtailmerge") { 1412 tailMerge = 0; 1413 } else if (s.startswith("lldlto=")) { 1414 StringRef optLevel = s.substr(7); 1415 if (optLevel.getAsInteger(10, config->ltoo) || config->ltoo > 3) 1416 error("/opt:lldlto: invalid optimization level: " + optLevel); 1417 } else if (s.startswith("lldltojobs=")) { 1418 StringRef jobs = s.substr(11); 1419 if (jobs.getAsInteger(10, config->thinLTOJobs) || 1420 config->thinLTOJobs == 0) 1421 error("/opt:lldltojobs: invalid job count: " + jobs); 1422 } else if (s.startswith("lldltopartitions=")) { 1423 StringRef n = s.substr(17); 1424 if (n.getAsInteger(10, config->ltoPartitions) || 1425 config->ltoPartitions == 0) 1426 error("/opt:lldltopartitions: invalid partition count: " + n); 1427 } else if (s != "lbr" && s != "nolbr") 1428 error("/opt: unknown option: " + s); 1429 } 1430 } 1431 1432 // Limited ICF is enabled if GC is enabled and ICF was never mentioned 1433 // explicitly. 1434 // FIXME: LLD only implements "limited" ICF, i.e. it only merges identical 1435 // code. If the user passes /OPT:ICF explicitly, LLD should merge identical 1436 // comdat readonly data. 1437 if (icfLevel == 1 && !doGC) 1438 icfLevel = 0; 1439 config->doGC = doGC; 1440 config->doICF = icfLevel > 0; 1441 config->tailMerge = (tailMerge == 1 && config->doICF) || tailMerge == 2; 1442 1443 // Handle /lldsavetemps 1444 if (args.hasArg(OPT_lldsavetemps)) 1445 config->saveTemps = true; 1446 1447 // Handle /kill-at 1448 if (args.hasArg(OPT_kill_at)) 1449 config->killAt = true; 1450 1451 // Handle /lldltocache 1452 if (auto *arg = args.getLastArg(OPT_lldltocache)) 1453 config->ltoCache = arg->getValue(); 1454 1455 // Handle /lldsavecachepolicy 1456 if (auto *arg = args.getLastArg(OPT_lldltocachepolicy)) 1457 config->ltoCachePolicy = CHECK( 1458 parseCachePruningPolicy(arg->getValue()), 1459 Twine("/lldltocachepolicy: invalid cache policy: ") + arg->getValue()); 1460 1461 // Handle /failifmismatch 1462 for (auto *arg : args.filtered(OPT_failifmismatch)) 1463 checkFailIfMismatch(arg->getValue(), nullptr); 1464 1465 // Handle /merge 1466 for (auto *arg : args.filtered(OPT_merge)) 1467 parseMerge(arg->getValue()); 1468 1469 // Add default section merging rules after user rules. User rules take 1470 // precedence, but we will emit a warning if there is a conflict. 1471 parseMerge(".idata=.rdata"); 1472 parseMerge(".didat=.rdata"); 1473 parseMerge(".edata=.rdata"); 1474 parseMerge(".xdata=.rdata"); 1475 parseMerge(".bss=.data"); 1476 1477 if (config->mingw) { 1478 parseMerge(".ctors=.rdata"); 1479 parseMerge(".dtors=.rdata"); 1480 parseMerge(".CRT=.rdata"); 1481 } 1482 1483 // Handle /section 1484 for (auto *arg : args.filtered(OPT_section)) 1485 parseSection(arg->getValue()); 1486 1487 // Handle /align 1488 if (auto *arg = args.getLastArg(OPT_align)) { 1489 parseNumbers(arg->getValue(), &config->align); 1490 if (!isPowerOf2_64(config->align)) 1491 error("/align: not a power of two: " + StringRef(arg->getValue())); 1492 if (!args.hasArg(OPT_driver)) 1493 warn("/align specified without /driver; image may not run"); 1494 } 1495 1496 // Handle /aligncomm 1497 for (auto *arg : args.filtered(OPT_aligncomm)) 1498 parseAligncomm(arg->getValue()); 1499 1500 // Handle /manifestdependency. This enables /manifest unless /manifest:no is 1501 // also passed. 1502 if (auto *arg = args.getLastArg(OPT_manifestdependency)) { 1503 config->manifestDependency = arg->getValue(); 1504 config->manifest = Configuration::SideBySide; 1505 } 1506 1507 // Handle /manifest and /manifest: 1508 if (auto *arg = args.getLastArg(OPT_manifest, OPT_manifest_colon)) { 1509 if (arg->getOption().getID() == OPT_manifest) 1510 config->manifest = Configuration::SideBySide; 1511 else 1512 parseManifest(arg->getValue()); 1513 } 1514 1515 // Handle /manifestuac 1516 if (auto *arg = args.getLastArg(OPT_manifestuac)) 1517 parseManifestUAC(arg->getValue()); 1518 1519 // Handle /manifestfile 1520 if (auto *arg = args.getLastArg(OPT_manifestfile)) 1521 config->manifestFile = arg->getValue(); 1522 1523 // Handle /manifestinput 1524 for (auto *arg : args.filtered(OPT_manifestinput)) 1525 config->manifestInput.push_back(arg->getValue()); 1526 1527 if (!config->manifestInput.empty() && 1528 config->manifest != Configuration::Embed) { 1529 fatal("/manifestinput: requires /manifest:embed"); 1530 } 1531 1532 config->thinLTOEmitImportsFiles = args.hasArg(OPT_thinlto_emit_imports_files); 1533 config->thinLTOIndexOnly = args.hasArg(OPT_thinlto_index_only) || 1534 args.hasArg(OPT_thinlto_index_only_arg); 1535 config->thinLTOIndexOnlyArg = 1536 args.getLastArgValue(OPT_thinlto_index_only_arg); 1537 config->thinLTOPrefixReplace = 1538 getOldNewOptions(args, OPT_thinlto_prefix_replace); 1539 config->thinLTOObjectSuffixReplace = 1540 getOldNewOptions(args, OPT_thinlto_object_suffix_replace); 1541 config->ltoObjPath = args.getLastArgValue(OPT_lto_obj_path); 1542 // Handle miscellaneous boolean flags. 1543 config->allowBind = args.hasFlag(OPT_allowbind, OPT_allowbind_no, true); 1544 config->allowIsolation = 1545 args.hasFlag(OPT_allowisolation, OPT_allowisolation_no, true); 1546 config->incremental = 1547 args.hasFlag(OPT_incremental, OPT_incremental_no, 1548 !config->doGC && !config->doICF && !args.hasArg(OPT_order) && 1549 !args.hasArg(OPT_profile)); 1550 config->integrityCheck = 1551 args.hasFlag(OPT_integritycheck, OPT_integritycheck_no, false); 1552 config->nxCompat = args.hasFlag(OPT_nxcompat, OPT_nxcompat_no, true); 1553 for (auto *arg : args.filtered(OPT_swaprun)) 1554 parseSwaprun(arg->getValue()); 1555 config->terminalServerAware = 1556 !config->dll && args.hasFlag(OPT_tsaware, OPT_tsaware_no, true); 1557 config->debugDwarf = debug == DebugKind::Dwarf; 1558 config->debugGHashes = debug == DebugKind::GHash; 1559 config->debugSymtab = debug == DebugKind::Symtab; 1560 1561 // Don't warn about long section names, such as .debug_info, for mingw or when 1562 // -debug:dwarf is requested. 1563 if (config->mingw || config->debugDwarf) 1564 config->warnLongSectionNames = false; 1565 1566 config->mapFile = getMapFile(args); 1567 1568 if (config->incremental && args.hasArg(OPT_profile)) { 1569 warn("ignoring '/incremental' due to '/profile' specification"); 1570 config->incremental = false; 1571 } 1572 1573 if (config->incremental && args.hasArg(OPT_order)) { 1574 warn("ignoring '/incremental' due to '/order' specification"); 1575 config->incremental = false; 1576 } 1577 1578 if (config->incremental && config->doGC) { 1579 warn("ignoring '/incremental' because REF is enabled; use '/opt:noref' to " 1580 "disable"); 1581 config->incremental = false; 1582 } 1583 1584 if (config->incremental && config->doICF) { 1585 warn("ignoring '/incremental' because ICF is enabled; use '/opt:noicf' to " 1586 "disable"); 1587 config->incremental = false; 1588 } 1589 1590 if (errorCount()) 1591 return; 1592 1593 std::set<sys::fs::UniqueID> wholeArchives; 1594 for (auto *arg : args.filtered(OPT_wholearchive_file)) 1595 if (Optional<StringRef> path = doFindFile(arg->getValue())) 1596 if (Optional<sys::fs::UniqueID> id = getUniqueID(*path)) 1597 wholeArchives.insert(*id); 1598 1599 // A predicate returning true if a given path is an argument for 1600 // /wholearchive:, or /wholearchive is enabled globally. 1601 // This function is a bit tricky because "foo.obj /wholearchive:././foo.obj" 1602 // needs to be handled as "/wholearchive:foo.obj foo.obj". 1603 auto isWholeArchive = [&](StringRef path) -> bool { 1604 if (args.hasArg(OPT_wholearchive_flag)) 1605 return true; 1606 if (Optional<sys::fs::UniqueID> id = getUniqueID(path)) 1607 return wholeArchives.count(*id); 1608 return false; 1609 }; 1610 1611 // Create a list of input files. These can be given as OPT_INPUT options 1612 // and OPT_wholearchive_file options, and we also need to track OPT_start_lib 1613 // and OPT_end_lib. 1614 bool inLib = false; 1615 for (auto *arg : args) { 1616 switch (arg->getOption().getID()) { 1617 case OPT_end_lib: 1618 if (!inLib) 1619 error("stray " + arg->getSpelling()); 1620 inLib = false; 1621 break; 1622 case OPT_start_lib: 1623 if (inLib) 1624 error("nested " + arg->getSpelling()); 1625 inLib = true; 1626 break; 1627 case OPT_wholearchive_file: 1628 if (Optional<StringRef> path = findFile(arg->getValue())) 1629 enqueuePath(*path, true, inLib); 1630 break; 1631 case OPT_INPUT: 1632 if (Optional<StringRef> path = findFile(arg->getValue())) 1633 enqueuePath(*path, isWholeArchive(*path), inLib); 1634 break; 1635 default: 1636 // Ignore other options. 1637 break; 1638 } 1639 } 1640 1641 // Process files specified as /defaultlib. These should be enequeued after 1642 // other files, which is why they are in a separate loop. 1643 for (auto *arg : args.filtered(OPT_defaultlib)) 1644 if (Optional<StringRef> path = findLib(arg->getValue())) 1645 enqueuePath(*path, false, false); 1646 1647 // Windows specific -- Create a resource file containing a manifest file. 1648 if (config->manifest == Configuration::Embed) 1649 addBuffer(createManifestRes(), false, false); 1650 1651 // Read all input files given via the command line. 1652 run(); 1653 1654 if (errorCount()) 1655 return; 1656 1657 // We should have inferred a machine type by now from the input files, but if 1658 // not we assume x64. 1659 if (config->machine == IMAGE_FILE_MACHINE_UNKNOWN) { 1660 warn("/machine is not specified. x64 is assumed"); 1661 config->machine = AMD64; 1662 } 1663 config->wordsize = config->is64() ? 8 : 4; 1664 1665 // Handle /safeseh, x86 only, on by default, except for mingw. 1666 if (config->machine == I386 && 1667 args.hasFlag(OPT_safeseh, OPT_safeseh_no, !config->mingw)) 1668 config->safeSEH = true; 1669 1670 // Handle /functionpadmin 1671 for (auto *arg : args.filtered(OPT_functionpadmin, OPT_functionpadmin_opt)) 1672 parseFunctionPadMin(arg, config->machine); 1673 1674 if (tar) 1675 tar->append("response.txt", 1676 createResponseFile(args, filePaths, 1677 ArrayRef<StringRef>(searchPaths).slice(1))); 1678 1679 // Handle /largeaddressaware 1680 config->largeAddressAware = args.hasFlag( 1681 OPT_largeaddressaware, OPT_largeaddressaware_no, config->is64()); 1682 1683 // Handle /highentropyva 1684 config->highEntropyVA = 1685 config->is64() && 1686 args.hasFlag(OPT_highentropyva, OPT_highentropyva_no, true); 1687 1688 if (!config->dynamicBase && 1689 (config->machine == ARMNT || config->machine == ARM64)) 1690 error("/dynamicbase:no is not compatible with " + 1691 machineToStr(config->machine)); 1692 1693 // Handle /export 1694 for (auto *arg : args.filtered(OPT_export)) { 1695 Export e = parseExport(arg->getValue()); 1696 if (config->machine == I386) { 1697 if (!isDecorated(e.name)) 1698 e.name = saver.save("_" + e.name); 1699 if (!e.extName.empty() && !isDecorated(e.extName)) 1700 e.extName = saver.save("_" + e.extName); 1701 } 1702 config->exports.push_back(e); 1703 } 1704 1705 // Handle /def 1706 if (auto *arg = args.getLastArg(OPT_deffile)) { 1707 // parseModuleDefs mutates Config object. 1708 parseModuleDefs(arg->getValue()); 1709 } 1710 1711 // Handle generation of import library from a def file. 1712 if (!args.hasArg(OPT_INPUT, OPT_wholearchive_file)) { 1713 fixupExports(); 1714 createImportLibrary(/*asLib=*/true); 1715 return; 1716 } 1717 1718 // Windows specific -- if no /subsystem is given, we need to infer 1719 // that from entry point name. Must happen before /entry handling, 1720 // and after the early return when just writing an import library. 1721 if (config->subsystem == IMAGE_SUBSYSTEM_UNKNOWN) { 1722 config->subsystem = inferSubsystem(); 1723 if (config->subsystem == IMAGE_SUBSYSTEM_UNKNOWN) 1724 fatal("subsystem must be defined"); 1725 } 1726 1727 // Handle /entry and /dll 1728 if (auto *arg = args.getLastArg(OPT_entry)) { 1729 config->entry = addUndefined(mangle(arg->getValue())); 1730 } else if (!config->entry && !config->noEntry) { 1731 if (args.hasArg(OPT_dll)) { 1732 StringRef s = (config->machine == I386) ? "__DllMainCRTStartup@12" 1733 : "_DllMainCRTStartup"; 1734 config->entry = addUndefined(s); 1735 } else if (config->driverWdm) { 1736 // /driver:wdm implies /entry:_NtProcessStartup 1737 config->entry = addUndefined(mangle("_NtProcessStartup")); 1738 } else { 1739 // Windows specific -- If entry point name is not given, we need to 1740 // infer that from user-defined entry name. 1741 StringRef s = findDefaultEntry(); 1742 if (s.empty()) 1743 fatal("entry point must be defined"); 1744 config->entry = addUndefined(s); 1745 log("Entry name inferred: " + s); 1746 } 1747 } 1748 1749 // Handle /delayload 1750 for (auto *arg : args.filtered(OPT_delayload)) { 1751 config->delayLoads.insert(StringRef(arg->getValue()).lower()); 1752 if (config->machine == I386) { 1753 config->delayLoadHelper = addUndefined("___delayLoadHelper2@8"); 1754 } else { 1755 config->delayLoadHelper = addUndefined("__delayLoadHelper2"); 1756 } 1757 } 1758 1759 // Set default image name if neither /out or /def set it. 1760 if (config->outputFile.empty()) { 1761 config->outputFile = getOutputPath( 1762 (*args.filtered(OPT_INPUT, OPT_wholearchive_file).begin())->getValue()); 1763 } 1764 1765 // Fail early if an output file is not writable. 1766 if (auto e = tryCreateFile(config->outputFile)) { 1767 error("cannot open output file " + config->outputFile + ": " + e.message()); 1768 return; 1769 } 1770 1771 if (shouldCreatePDB) { 1772 // Put the PDB next to the image if no /pdb flag was passed. 1773 if (config->pdbPath.empty()) { 1774 config->pdbPath = config->outputFile; 1775 sys::path::replace_extension(config->pdbPath, ".pdb"); 1776 } 1777 1778 // The embedded PDB path should be the absolute path to the PDB if no 1779 // /pdbaltpath flag was passed. 1780 if (config->pdbAltPath.empty()) { 1781 config->pdbAltPath = config->pdbPath; 1782 1783 // It's important to make the path absolute and remove dots. This path 1784 // will eventually be written into the PE header, and certain Microsoft 1785 // tools won't work correctly if these assumptions are not held. 1786 sys::fs::make_absolute(config->pdbAltPath); 1787 sys::path::remove_dots(config->pdbAltPath); 1788 } else { 1789 // Don't do this earlier, so that Config->OutputFile is ready. 1790 parsePDBAltPath(config->pdbAltPath); 1791 } 1792 } 1793 1794 // Set default image base if /base is not given. 1795 if (config->imageBase == uint64_t(-1)) 1796 config->imageBase = getDefaultImageBase(); 1797 1798 symtab->addSynthetic(mangle("__ImageBase"), nullptr); 1799 if (config->machine == I386) { 1800 symtab->addAbsolute("___safe_se_handler_table", 0); 1801 symtab->addAbsolute("___safe_se_handler_count", 0); 1802 } 1803 1804 symtab->addAbsolute(mangle("__guard_fids_count"), 0); 1805 symtab->addAbsolute(mangle("__guard_fids_table"), 0); 1806 symtab->addAbsolute(mangle("__guard_flags"), 0); 1807 symtab->addAbsolute(mangle("__guard_iat_count"), 0); 1808 symtab->addAbsolute(mangle("__guard_iat_table"), 0); 1809 symtab->addAbsolute(mangle("__guard_longjmp_count"), 0); 1810 symtab->addAbsolute(mangle("__guard_longjmp_table"), 0); 1811 // Needed for MSVC 2017 15.5 CRT. 1812 symtab->addAbsolute(mangle("__enclave_config"), 0); 1813 1814 if (config->mingw) { 1815 symtab->addAbsolute(mangle("__RUNTIME_PSEUDO_RELOC_LIST__"), 0); 1816 symtab->addAbsolute(mangle("__RUNTIME_PSEUDO_RELOC_LIST_END__"), 0); 1817 symtab->addAbsolute(mangle("__CTOR_LIST__"), 0); 1818 symtab->addAbsolute(mangle("__DTOR_LIST__"), 0); 1819 } 1820 1821 // This code may add new undefined symbols to the link, which may enqueue more 1822 // symbol resolution tasks, so we need to continue executing tasks until we 1823 // converge. 1824 do { 1825 // Windows specific -- if entry point is not found, 1826 // search for its mangled names. 1827 if (config->entry) 1828 mangleMaybe(config->entry); 1829 1830 // Windows specific -- Make sure we resolve all dllexported symbols. 1831 for (Export &e : config->exports) { 1832 if (!e.forwardTo.empty()) 1833 continue; 1834 e.sym = addUndefined(e.name); 1835 if (!e.directives) 1836 e.symbolName = mangleMaybe(e.sym); 1837 } 1838 1839 // Add weak aliases. Weak aliases is a mechanism to give remaining 1840 // undefined symbols final chance to be resolved successfully. 1841 for (auto pair : config->alternateNames) { 1842 StringRef from = pair.first; 1843 StringRef to = pair.second; 1844 Symbol *sym = symtab->find(from); 1845 if (!sym) 1846 continue; 1847 if (auto *u = dyn_cast<Undefined>(sym)) 1848 if (!u->weakAlias) 1849 u->weakAlias = symtab->addUndefined(to); 1850 } 1851 1852 // If any inputs are bitcode files, the LTO code generator may create 1853 // references to library functions that are not explicit in the bitcode 1854 // file's symbol table. If any of those library functions are defined in a 1855 // bitcode file in an archive member, we need to arrange to use LTO to 1856 // compile those archive members by adding them to the link beforehand. 1857 if (!BitcodeFile::instances.empty()) 1858 for (auto *s : lto::LTO::getRuntimeLibcallSymbols()) 1859 symtab->addLibcall(s); 1860 1861 // Windows specific -- if __load_config_used can be resolved, resolve it. 1862 if (symtab->findUnderscore("_load_config_used")) 1863 addUndefined(mangle("_load_config_used")); 1864 } while (run()); 1865 1866 if (args.hasArg(OPT_include_optional)) { 1867 // Handle /includeoptional 1868 for (auto *arg : args.filtered(OPT_include_optional)) 1869 if (dyn_cast_or_null<LazyArchive>(symtab->find(arg->getValue()))) 1870 addUndefined(arg->getValue()); 1871 while (run()); 1872 } 1873 1874 if (config->mingw) { 1875 // Load any further object files that might be needed for doing automatic 1876 // imports. 1877 // 1878 // For cases with no automatically imported symbols, this iterates once 1879 // over the symbol table and doesn't do anything. 1880 // 1881 // For the normal case with a few automatically imported symbols, this 1882 // should only need to be run once, since each new object file imported 1883 // is an import library and wouldn't add any new undefined references, 1884 // but there's nothing stopping the __imp_ symbols from coming from a 1885 // normal object file as well (although that won't be used for the 1886 // actual autoimport later on). If this pass adds new undefined references, 1887 // we won't iterate further to resolve them. 1888 symtab->loadMinGWAutomaticImports(); 1889 run(); 1890 } 1891 1892 // At this point, we should not have any symbols that cannot be resolved. 1893 // If we are going to do codegen for link-time optimization, check for 1894 // unresolvable symbols first, so we don't spend time generating code that 1895 // will fail to link anyway. 1896 if (!BitcodeFile::instances.empty() && !config->forceUnresolved) 1897 symtab->reportUnresolvable(); 1898 if (errorCount()) 1899 return; 1900 1901 // Do LTO by compiling bitcode input files to a set of native COFF files then 1902 // link those files (unless -thinlto-index-only was given, in which case we 1903 // resolve symbols and write indices, but don't generate native code or link). 1904 symtab->addCombinedLTOObjects(); 1905 1906 // If -thinlto-index-only is given, we should create only "index 1907 // files" and not object files. Index file creation is already done 1908 // in addCombinedLTOObject, so we are done if that's the case. 1909 if (config->thinLTOIndexOnly) 1910 return; 1911 1912 // If we generated native object files from bitcode files, this resolves 1913 // references to the symbols we use from them. 1914 run(); 1915 1916 // Resolve remaining undefined symbols and warn about imported locals. 1917 symtab->resolveRemainingUndefines(); 1918 if (errorCount()) 1919 return; 1920 1921 config->hadExplicitExports = !config->exports.empty(); 1922 if (config->mingw) { 1923 // In MinGW, all symbols are automatically exported if no symbols 1924 // are chosen to be exported. 1925 maybeExportMinGWSymbols(args); 1926 1927 // Make sure the crtend.o object is the last object file. This object 1928 // file can contain terminating section chunks that need to be placed 1929 // last. GNU ld processes files and static libraries explicitly in the 1930 // order provided on the command line, while lld will pull in needed 1931 // files from static libraries only after the last object file on the 1932 // command line. 1933 for (auto i = ObjFile::instances.begin(), e = ObjFile::instances.end(); 1934 i != e; i++) { 1935 ObjFile *file = *i; 1936 if (isCrtend(file->getName())) { 1937 ObjFile::instances.erase(i); 1938 ObjFile::instances.push_back(file); 1939 break; 1940 } 1941 } 1942 } 1943 1944 // Windows specific -- when we are creating a .dll file, we also 1945 // need to create a .lib file. In MinGW mode, we only do that when the 1946 // -implib option is given explicitly, for compatibility with GNU ld. 1947 if (!config->exports.empty() || config->dll) { 1948 fixupExports(); 1949 if (!config->mingw || !config->implib.empty()) 1950 createImportLibrary(/*asLib=*/false); 1951 assignExportOrdinals(); 1952 } 1953 1954 // Handle /output-def (MinGW specific). 1955 if (auto *arg = args.getLastArg(OPT_output_def)) 1956 writeDefFile(arg->getValue()); 1957 1958 // Set extra alignment for .comm symbols 1959 for (auto pair : config->alignComm) { 1960 StringRef name = pair.first; 1961 uint32_t alignment = pair.second; 1962 1963 Symbol *sym = symtab->find(name); 1964 if (!sym) { 1965 warn("/aligncomm symbol " + name + " not found"); 1966 continue; 1967 } 1968 1969 // If the symbol isn't common, it must have been replaced with a regular 1970 // symbol, which will carry its own alignment. 1971 auto *dc = dyn_cast<DefinedCommon>(sym); 1972 if (!dc) 1973 continue; 1974 1975 CommonChunk *c = dc->getChunk(); 1976 c->setAlignment(std::max(c->getAlignment(), alignment)); 1977 } 1978 1979 // Windows specific -- Create a side-by-side manifest file. 1980 if (config->manifest == Configuration::SideBySide) 1981 createSideBySideManifest(); 1982 1983 // Handle /order. We want to do this at this moment because we 1984 // need a complete list of comdat sections to warn on nonexistent 1985 // functions. 1986 if (auto *arg = args.getLastArg(OPT_order)) 1987 parseOrderFile(arg->getValue()); 1988 1989 // Identify unreferenced COMDAT sections. 1990 if (config->doGC) 1991 markLive(symtab->getChunks()); 1992 1993 // Needs to happen after the last call to addFile(). 1994 convertResources(); 1995 1996 // Identify identical COMDAT sections to merge them. 1997 if (config->doICF) { 1998 findKeepUniqueSections(); 1999 doICF(symtab->getChunks()); 2000 } 2001 2002 // Write the result. 2003 writeResult(); 2004 2005 // Stop early so we can print the results. 2006 Timer::root().stop(); 2007 if (config->showTiming) 2008 Timer::root().print(); 2009 } 2010 2011 } // namespace coff 2012 } // namespace lld 2013