blob: da666cfb11076d81b1afd9d2d8b09706b34d106f [file] [log] [blame]
Michael J. Spencer84487f12015-07-24 21:03:07 +00001//===- Driver.cpp ---------------------------------------------------------===//
2//
3// The LLVM Linker
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Rui Ueyamaafff74e22015-08-05 23:24:46 +000010#include "Driver.h"
Rafael Espindola192e1fa2015-08-06 15:08:23 +000011#include "Config.h"
12#include "Error.h"
Rui Ueyamaafff74e22015-08-05 23:24:46 +000013#include "InputFiles.h"
14#include "SymbolTable.h"
Rui Ueyamaff777682015-10-09 21:12:40 +000015#include "Target.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000016#include "Writer.h"
17#include "llvm/ADT/STLExtras.h"
Rafael Espindola2e9eac12015-09-11 21:18:56 +000018#include "llvm/ADT/StringExtras.h"
Rui Ueyamaa4672402015-10-11 02:03:03 +000019#include "llvm/Support/raw_ostream.h"
Rui Ueyamacacf9672015-10-11 02:22:31 +000020#include <utility>
Michael J. Spencer84487f12015-07-24 21:03:07 +000021
22using namespace llvm;
Denis Protivensky1ef7b3f2015-10-07 09:13:03 +000023using namespace llvm::ELF;
Rui Ueyama3ce825e2015-10-09 21:07:25 +000024using namespace llvm::object;
Michael J. Spencer84487f12015-07-24 21:03:07 +000025
26using namespace lld;
27using namespace lld::elf2;
28
Rui Ueyama83cd6e02016-01-06 20:11:55 +000029Configuration *elf2::Config;
30LinkerDriver *elf2::Driver;
Rui Ueyamaf5c4aca2015-09-30 17:06:09 +000031
Rui Ueyama83cd6e02016-01-06 20:11:55 +000032void elf2::link(ArrayRef<const char *> Args) {
Rui Ueyama570752c2015-08-18 09:13:25 +000033 Configuration C;
Rui Ueyama983ed2b2015-10-01 15:23:09 +000034 LinkerDriver D;
Rui Ueyama570752c2015-08-18 09:13:25 +000035 Config = &C;
Rui Ueyama983ed2b2015-10-01 15:23:09 +000036 Driver = &D;
Rui Ueyama3ce825e2015-10-09 21:07:25 +000037 Driver->main(Args.slice(1));
Michael J. Spencer84487f12015-07-24 21:03:07 +000038}
39
Rui Ueyamacacf9672015-10-11 02:22:31 +000040static std::pair<ELFKind, uint16_t> parseEmulation(StringRef S) {
Rui Ueyamaa561e782015-10-11 19:46:00 +000041 if (S == "elf32btsmip")
42 return {ELF32BEKind, EM_MIPS};
43 if (S == "elf32ltsmip")
44 return {ELF32LEKind, EM_MIPS};
45 if (S == "elf32ppc")
46 return {ELF32BEKind, EM_PPC};
47 if (S == "elf64ppc")
48 return {ELF64BEKind, EM_PPC64};
49 if (S == "elf_i386")
50 return {ELF32LEKind, EM_386};
51 if (S == "elf_x86_64")
52 return {ELF64LEKind, EM_X86_64};
Igor Kudrin2f610d52015-11-20 02:48:53 +000053 if (S == "aarch64linux")
54 return {ELF64LEKind, EM_AARCH64};
Rui Ueyama9aa56862015-11-24 18:55:36 +000055 if (S == "i386pe" || S == "i386pep" || S == "thumb2pe")
56 error("Windows targets are not supported on the ELF frontend: " + S);
Rui Ueyamacacf9672015-10-11 02:22:31 +000057 error("Unknown emulation: " + S);
Denis Protivensky1ef7b3f2015-10-07 09:13:03 +000058}
59
Rui Ueyama9b093692016-01-06 00:51:35 +000060// Returns slices of MB by parsing MB as an archive file.
61// Each slice consists of a member file in the archive.
62static std::vector<MemoryBufferRef> getArchiveMembers(MemoryBufferRef MB) {
63 ErrorOr<std::unique_ptr<Archive>> FileOrErr = Archive::create(MB);
64 error(FileOrErr, "Failed to parse archive");
65 std::unique_ptr<Archive> File = std::move(*FileOrErr);
66
67 std::vector<MemoryBufferRef> V;
68 for (const ErrorOr<Archive::Child> &C : File->children()) {
69 error(C, "Could not get the child of the archive " + File->getFileName());
70 ErrorOr<MemoryBufferRef> MbOrErr = C->getMemoryBufferRef();
71 error(MbOrErr, "Could not get the buffer for a child of the archive " +
72 File->getFileName());
73 V.push_back(*MbOrErr);
74 }
75 return V;
76}
77
Rui Ueyama983ed2b2015-10-01 15:23:09 +000078// Opens and parses a file. Path has to be resolved already.
79// Newly created memory buffers are owned by this driver.
80void LinkerDriver::addFile(StringRef Path) {
Rui Ueyamaf5c4aca2015-09-30 17:06:09 +000081 using namespace llvm::sys::fs;
Rui Ueyamaa4672402015-10-11 02:03:03 +000082 if (Config->Verbose)
83 llvm::outs() << Path << "\n";
Rui Ueyama983ed2b2015-10-01 15:23:09 +000084 auto MBOrErr = MemoryBuffer::getFile(Path);
Rui Ueyama1c42afc2015-10-12 15:49:06 +000085 error(MBOrErr, "cannot open " + Path);
Rui Ueyama983ed2b2015-10-01 15:23:09 +000086 std::unique_ptr<MemoryBuffer> &MB = *MBOrErr;
87 MemoryBufferRef MBRef = MB->getMemBufferRef();
88 OwningMBs.push_back(std::move(MB)); // take MB ownership
89
90 switch (identify_magic(MBRef.getBuffer())) {
91 case file_magic::unknown:
Rui Ueyamaa47ee682015-10-11 01:53:04 +000092 readLinkerScript(&Alloc, MBRef);
Rui Ueyama983ed2b2015-10-01 15:23:09 +000093 return;
94 case file_magic::archive:
Rui Ueyama3ce825e2015-10-09 21:07:25 +000095 if (WholeArchive) {
Rui Ueyama9b093692016-01-06 00:51:35 +000096 for (MemoryBufferRef MB : getArchiveMembers(MBRef))
Rui Ueyama533c0302016-01-06 00:09:43 +000097 Files.push_back(createObjectFile(MB));
Rui Ueyama3ce825e2015-10-09 21:07:25 +000098 return;
99 }
100 Files.push_back(make_unique<ArchiveFile>(MBRef));
Rui Ueyama983ed2b2015-10-01 15:23:09 +0000101 return;
Rafael Espindolaaf707642015-10-12 01:55:32 +0000102 case file_magic::elf_shared_object:
Rui Ueyama533c0302016-01-06 00:09:43 +0000103 Files.push_back(createSharedFile(MBRef));
Rui Ueyama983ed2b2015-10-01 15:23:09 +0000104 return;
105 default:
Rui Ueyama533c0302016-01-06 00:09:43 +0000106 Files.push_back(createObjectFile(MBRef));
Rui Ueyama983ed2b2015-10-01 15:23:09 +0000107 }
Rui Ueyamaf5c4aca2015-09-30 17:06:09 +0000108}
109
Rui Ueyama2cac5842015-10-07 19:34:51 +0000110static StringRef
111getString(opt::InputArgList &Args, unsigned Key, StringRef Default = "") {
112 if (auto *Arg = Args.getLastArg(Key))
113 return Arg->getValue();
114 return Default;
115}
116
Rui Ueyama1a8fffa2015-11-12 19:00:37 +0000117static bool hasZOption(opt::InputArgList &Args, StringRef Key) {
118 for (auto *Arg : Args.filtered(OPT_z))
119 if (Key == Arg->getValue())
120 return true;
121 return false;
122}
123
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000124void LinkerDriver::main(ArrayRef<const char *> ArgsArr) {
Rui Ueyama9aa56862015-11-24 18:55:36 +0000125 initSymbols();
Rui Ueyama9ea49c72015-10-07 23:46:11 +0000126
Rui Ueyamac6e1b972015-10-11 18:19:01 +0000127 opt::InputArgList Args = parseArgs(&Alloc, ArgsArr);
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000128 createFiles(Args);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000129
Rui Ueyamaf5bcf2a2015-11-12 18:54:15 +0000130 // Traditional linkers can generate re-linkable object files instead
131 // of executables or DSOs. We don't support that since the feature
132 // does not seem to provide more value than the static archiver.
133 if (Args.hasArg(OPT_relocatable))
134 error("-r option is not supported. Use 'ar' command instead.");
135
Rui Ueyamae717a712015-10-13 16:20:50 +0000136 switch (Config->EKind) {
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000137 case ELF32LEKind:
138 link<ELF32LE>(Args);
139 return;
140 case ELF32BEKind:
141 link<ELF32BE>(Args);
142 return;
143 case ELF64LEKind:
144 link<ELF64LE>(Args);
145 return;
146 case ELF64BEKind:
147 link<ELF64BE>(Args);
148 return;
149 default:
150 error("-m or at least a .o file required");
151 }
152}
153
154void LinkerDriver::createFiles(opt::InputArgList &Args) {
Rui Ueyama2cac5842015-10-07 19:34:51 +0000155 for (auto *Arg : Args.filtered(OPT_L))
Rui Ueyama52a15092015-10-11 03:28:42 +0000156 Config->SearchPaths.push_back(Arg->getValue());
Igor Kudrin1309fc02015-09-28 15:01:59 +0000157
Rafael Espindola2e9eac12015-09-11 21:18:56 +0000158 std::vector<StringRef> RPaths;
159 for (auto *Arg : Args.filtered(OPT_rpath))
160 RPaths.push_back(Arg->getValue());
161 if (!RPaths.empty())
162 Config->RPath = llvm::join(RPaths.begin(), RPaths.end(), ":");
163
Rui Ueyama9aa56862015-11-24 18:55:36 +0000164 if (auto *Arg = Args.getLastArg(OPT_m)) {
165 StringRef S = Arg->getValue();
166 std::pair<ELFKind, uint16_t> P = parseEmulation(S);
167 Config->EKind = P.first;
168 Config->EMachine = P.second;
169 Config->Emulation = S;
170 }
171
Rui Ueyamad7c417c2015-09-29 22:33:18 +0000172 Config->AllowMultipleDefinition = Args.hasArg(OPT_allow_multiple_definition);
Davide Italianocebb4492015-10-13 21:02:34 +0000173 Config->Bsymbolic = Args.hasArg(OPT_Bsymbolic);
Rui Ueyamad7c417c2015-09-29 22:33:18 +0000174 Config->DiscardAll = Args.hasArg(OPT_discard_all);
175 Config->DiscardLocals = Args.hasArg(OPT_discard_locals);
176 Config->DiscardNone = Args.hasArg(OPT_discard_none);
Davide Italianoc39c75d2015-10-06 16:20:00 +0000177 Config->EnableNewDtags = !Args.hasArg(OPT_disable_new_dtags);
Rui Ueyamad7c417c2015-09-29 22:33:18 +0000178 Config->ExportDynamic = Args.hasArg(OPT_export_dynamic);
Rui Ueyamac4aaed92015-10-22 18:49:53 +0000179 Config->GcSections = Args.hasArg(OPT_gc_sections);
Rui Ueyamad7c417c2015-09-29 22:33:18 +0000180 Config->NoInhibitExec = Args.hasArg(OPT_noinhibit_exec);
George Rimar57e40de2015-10-01 20:14:45 +0000181 Config->NoUndefined = Args.hasArg(OPT_no_undefined);
George Rimara5fbebc2015-12-10 09:12:18 +0000182 Config->PrintGcSections = Args.hasArg(OPT_print_gc_sections);
Rui Ueyamad7c417c2015-09-29 22:33:18 +0000183 Config->Shared = Args.hasArg(OPT_shared);
George Rimar5dad7c12015-10-24 08:52:46 +0000184 Config->StripAll = Args.hasArg(OPT_strip_all);
Rui Ueyamaa4672402015-10-11 02:03:03 +0000185 Config->Verbose = Args.hasArg(OPT_verbose);
Rui Ueyamad7c417c2015-09-29 22:33:18 +0000186
Rui Ueyama2cac5842015-10-07 19:34:51 +0000187 Config->DynamicLinker = getString(Args, OPT_dynamic_linker);
188 Config->Entry = getString(Args, OPT_entry);
189 Config->Fini = getString(Args, OPT_fini, "_fini");
190 Config->Init = getString(Args, OPT_init, "_init");
Rui Ueyama964ffb32015-10-09 00:33:44 +0000191 Config->OutputFile = getString(Args, OPT_o);
Rui Ueyama2cac5842015-10-07 19:34:51 +0000192 Config->SoName = getString(Args, OPT_soname);
193 Config->Sysroot = getString(Args, OPT_sysroot);
194
Rui Ueyama7b19c342015-11-24 18:48:16 +0000195 Config->ZExecStack = hasZOption(Args, "execstack");
Rui Ueyama1a8fffa2015-11-12 19:00:37 +0000196 Config->ZNodelete = hasZOption(Args, "nodelete");
197 Config->ZNow = hasZOption(Args, "now");
198 Config->ZOrigin = hasZOption(Args, "origin");
George Rimare3336c02015-11-24 10:15:50 +0000199 Config->ZRelro = !hasZOption(Args, "norelro");
Rui Ueyama1a8fffa2015-11-12 19:00:37 +0000200
Rafael Espindola2c1217d2015-10-23 19:02:19 +0000201 if (auto *Arg = Args.getLastArg(OPT_O)) {
202 StringRef Val = Arg->getValue();
203 if (Val.getAsInteger(10, Config->Optimize))
204 error("Invalid optimization level");
205 }
206
Igor Kudrin1b0d7062015-10-22 08:21:35 +0000207 if (auto *Arg = Args.getLastArg(OPT_hash_style)) {
208 StringRef S = Arg->getValue();
209 if (S == "gnu") {
210 Config->GnuHash = true;
211 Config->SysvHash = false;
212 } else if (S == "both") {
213 Config->GnuHash = true;
214 } else if (S != "sysv")
215 error("Unknown hash style: " + S);
216 }
217
George Rimar83f406c2015-10-19 17:35:12 +0000218 for (auto *Arg : Args.filtered(OPT_undefined))
219 Config->Undefined.push_back(Arg->getValue());
220
Igor Kudrind912ee92015-10-01 16:42:03 +0000221 for (auto *Arg : Args) {
222 switch (Arg->getOption().getID()) {
223 case OPT_l:
224 addFile(searchLibrary(Arg->getValue()));
225 break;
226 case OPT_INPUT:
Davide Italiano4e47d582015-10-11 03:53:36 +0000227 case OPT_script:
Igor Kudrind912ee92015-10-01 16:42:03 +0000228 addFile(Arg->getValue());
229 break;
Rui Ueyama35da9b62015-10-11 20:59:12 +0000230 case OPT_as_needed:
231 Config->AsNeeded = true;
232 break;
233 case OPT_no_as_needed:
234 Config->AsNeeded = false;
235 break;
Igor Kudrind912ee92015-10-01 16:42:03 +0000236 case OPT_Bstatic:
237 Config->Static = true;
238 break;
239 case OPT_Bdynamic:
240 Config->Static = false;
241 break;
Igor Kudrin2696bbe2015-10-01 18:02:21 +0000242 case OPT_whole_archive:
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000243 WholeArchive = true;
Igor Kudrin2696bbe2015-10-01 18:02:21 +0000244 break;
245 case OPT_no_whole_archive:
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000246 WholeArchive = false;
Igor Kudrin2696bbe2015-10-01 18:02:21 +0000247 break;
Rui Ueyamaf5c4aca2015-09-30 17:06:09 +0000248 }
Michael J. Spencer84487f12015-07-24 21:03:07 +0000249 }
250
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000251 if (Files.empty())
Rui Ueyamaf5c4aca2015-09-30 17:06:09 +0000252 error("no input files.");
Igor Kudrinf4cdfe882015-11-12 04:08:12 +0000253
254 if (Config->GnuHash && Config->EMachine == EM_MIPS)
255 error("The .gnu.hash section is not compatible with the MIPS target.");
Tom Stellard80efb162016-01-07 03:59:08 +0000256
257 if (!Config->Entry.empty() && Config->EMachine == EM_AMDGPU)
258 error("-e option is not valid for AMDGPU.");
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000259}
260
261template <class ELFT> void LinkerDriver::link(opt::InputArgList &Args) {
262 SymbolTable<ELFT> Symtab;
Rui Ueyamaff777682015-10-09 21:12:40 +0000263 Target.reset(createTarget());
264
265 if (!Config->Shared) {
266 // Add entry symbol.
Tom Stellard80efb162016-01-07 03:59:08 +0000267 //
268 // There is no entry symbol for AMDGPU binaries, so skip adding one to avoid
269 // having and undefined symbol.
270 if (Config->Entry.empty() && Config->EMachine != EM_AMDGPU)
Rui Ueyama0cef6892015-10-12 15:23:54 +0000271 Config->Entry = (Config->EMachine == EM_MIPS) ? "__start" : "_start";
Rui Ueyama2b675072015-10-14 22:20:57 +0000272
Rui Ueyamaff777682015-10-09 21:12:40 +0000273 // In the assembly for 32 bit x86 the _GLOBAL_OFFSET_TABLE_ symbol
274 // is magical and is used to produce a R_386_GOTPC relocation.
275 // The R_386_GOTPC relocation value doesn't actually depend on the
276 // symbol value, so it could use an index of STN_UNDEF which, according
277 // to the spec, means the symbol value is 0.
278 // Unfortunately both gas and MC keep the _GLOBAL_OFFSET_TABLE_ symbol in
279 // the object file.
280 // The situation is even stranger on x86_64 where the assembly doesn't
281 // need the magical symbol, but gas still puts _GLOBAL_OFFSET_TABLE_ as
282 // an undefined symbol in the .o files.
283 // Given that the symbol is effectively unused, we just create a dummy
284 // hidden one to avoid the undefined symbol error.
Rui Ueyamadd7d9982015-12-16 22:31:14 +0000285 Symtab.addIgnored("_GLOBAL_OFFSET_TABLE_");
Rui Ueyamaff777682015-10-09 21:12:40 +0000286 }
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000287
Ed Mastef2ac6882015-12-11 17:46:46 +0000288 if (!Config->Entry.empty()) {
289 // Set either EntryAddr (if S is a number) or EntrySym (otherwise).
290 StringRef S = Config->Entry;
291 if (S.getAsInteger(0, Config->EntryAddr))
292 Config->EntrySym = Symtab.addUndefined(S);
293 }
294
Rui Ueyama27161302015-12-16 21:35:39 +0000295 if (Config->EMachine == EM_MIPS) {
296 // On MIPS O32 ABI, _gp_disp is a magic symbol designates offset between
297 // start of function and gp pointer into GOT.
Rui Ueyamadd7d9982015-12-16 22:31:14 +0000298 Config->MipsGpDisp = Symtab.addIgnored("_gp_disp");
Rui Ueyama27161302015-12-16 21:35:39 +0000299
300 // Define _gp for MIPS. st_value of _gp symbol will be updated by Writer
301 // so that it points to an absolute address which is relative to GOT.
302 // See "Global Data Symbols" in Chapter 6 in the following document:
303 // ftp://www.linux-mips.org/pub/linux/mips/doc/ABI/mipsabi.pdf
Rui Ueyamaa246e0942015-12-25 06:12:18 +0000304 Symtab.addAbsolute("_gp", ElfSym<ELFT>::MipsGp);
Rui Ueyama27161302015-12-16 21:35:39 +0000305 }
Igor Kudrin15cd9ff2015-11-06 07:43:03 +0000306
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000307 for (std::unique_ptr<InputFile> &F : Files)
308 Symtab.addFile(std::move(F));
309
Rui Ueyamaf215dac2015-10-19 20:55:28 +0000310 for (StringRef S : Config->Undefined)
311 Symtab.addUndefinedOpt(S);
Denis Protivensky22220d52015-10-05 09:43:57 +0000312
Rui Ueyamaee592822015-10-07 00:25:09 +0000313 if (Config->OutputFile.empty())
314 Config->OutputFile = "a.out";
315
Rui Ueyama75230392015-10-07 18:29:51 +0000316 // Write the result to the file.
Rui Ueyama93bfee52015-10-13 18:10:33 +0000317 Symtab.scanShlibUndefined();
Rui Ueyamac4aaed92015-10-22 18:49:53 +0000318 if (Config->GcSections)
319 markLive<ELFT>(&Symtab);
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000320 writeResult<ELFT>(&Symtab);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000321}