Michael J. Spencer | 84487f1 | 2015-07-24 21:03:07 +0000 | [diff] [blame] | 1 | //===- Symbols.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 | |
| 10 | #include "Symbols.h" |
Rafael Espindola | 9d06ab6 | 2015-09-22 00:01:39 +0000 | [diff] [blame] | 11 | #include "InputSection.h" |
Rafael Espindola | 49a2ca6 | 2015-08-06 15:33:19 +0000 | [diff] [blame] | 12 | #include "Error.h" |
Michael J. Spencer | cdae0a4 | 2015-07-28 22:58:25 +0000 | [diff] [blame] | 13 | #include "InputFiles.h" |
Michael J. Spencer | 84487f1 | 2015-07-24 21:03:07 +0000 | [diff] [blame] | 14 | |
Michael J. Spencer | 1b348a6 | 2015-09-04 22:28:10 +0000 | [diff] [blame] | 15 | #include "llvm/ADT/STLExtras.h" |
| 16 | |
| 17 | using namespace llvm; |
Michael J. Spencer | 84487f1 | 2015-07-24 21:03:07 +0000 | [diff] [blame] | 18 | using namespace llvm::object; |
Rafael Espindola | 78471f0 | 2015-09-01 23:12:52 +0000 | [diff] [blame] | 19 | using namespace llvm::ELF; |
Michael J. Spencer | 84487f1 | 2015-07-24 21:03:07 +0000 | [diff] [blame] | 20 | |
| 21 | using namespace lld; |
| 22 | using namespace lld::elf2; |
| 23 | |
Rafael Espindola | 78471f0 | 2015-09-01 23:12:52 +0000 | [diff] [blame] | 24 | static uint8_t getMinVisibility(uint8_t VA, uint8_t VB) { |
| 25 | if (VA == STV_DEFAULT) |
| 26 | return VB; |
| 27 | if (VB == STV_DEFAULT) |
| 28 | return VA; |
| 29 | return std::min(VA, VB); |
| 30 | } |
| 31 | |
Michael J. Spencer | 84487f1 | 2015-07-24 21:03:07 +0000 | [diff] [blame] | 32 | // Returns 1, 0 or -1 if this symbol should take precedence |
| 33 | // over the Other, tie or lose, respectively. |
Rafael Espindola | daa92a6 | 2015-08-31 01:16:19 +0000 | [diff] [blame] | 34 | template <class ELFT> int SymbolBody::compare(SymbolBody *Other) { |
Rui Ueyama | 6be6852 | 2015-12-16 23:49:19 +0000 | [diff] [blame] | 35 | typedef typename ELFFile<ELFT>::uintX_t uintX_t; |
Michael J. Spencer | 1b348a6 | 2015-09-04 22:28:10 +0000 | [diff] [blame] | 36 | assert(!isLazy() && !Other->isLazy()); |
Rafael Espindola | 30e1797 | 2015-08-30 23:17:30 +0000 | [diff] [blame] | 37 | std::pair<bool, bool> L(isDefined(), !isWeak()); |
| 38 | std::pair<bool, bool> R(Other->isDefined(), !Other->isWeak()); |
Rui Ueyama | a7ccb29 | 2015-07-27 20:39:01 +0000 | [diff] [blame] | 39 | |
Rafael Espindola | 3a63f3f | 2015-08-28 20:19:34 +0000 | [diff] [blame] | 40 | // Normalize |
| 41 | if (L > R) |
Rafael Espindola | daa92a6 | 2015-08-31 01:16:19 +0000 | [diff] [blame] | 42 | return -Other->compare<ELFT>(this); |
Rui Ueyama | a7ccb29 | 2015-07-27 20:39:01 +0000 | [diff] [blame] | 43 | |
Rui Ueyama | 8f2c4da | 2015-10-21 18:13:47 +0000 | [diff] [blame] | 44 | Visibility = Other->Visibility = |
| 45 | getMinVisibility(Visibility, Other->Visibility); |
Rafael Espindola | 78471f0 | 2015-09-01 23:12:52 +0000 | [diff] [blame] | 46 | |
Rui Ueyama | 86696f3 | 2015-10-21 19:41:03 +0000 | [diff] [blame] | 47 | if (IsUsedInRegularObj || Other->IsUsedInRegularObj) |
| 48 | IsUsedInRegularObj = Other->IsUsedInRegularObj = true; |
Rafael Espindola | 18173d4 | 2015-09-08 15:50:05 +0000 | [diff] [blame] | 49 | |
Rafael Espindola | 3a63f3f | 2015-08-28 20:19:34 +0000 | [diff] [blame] | 50 | if (L != R) |
| 51 | return -1; |
Rui Ueyama | 7da94a5 | 2015-09-09 17:40:51 +0000 | [diff] [blame] | 52 | if (!L.first || !L.second) |
| 53 | return 1; |
Rafael Espindola | 8e5560d | 2015-09-23 14:23:59 +0000 | [diff] [blame] | 54 | if (isShared()) |
| 55 | return -1; |
| 56 | if (Other->isShared()) |
| 57 | return 1; |
Rui Ueyama | 7da94a5 | 2015-09-09 17:40:51 +0000 | [diff] [blame] | 58 | if (isCommon()) { |
Rui Ueyama | 6666f6a | 2015-09-09 17:55:09 +0000 | [diff] [blame] | 59 | if (!Other->isCommon()) |
Rafael Espindola | 30e1797 | 2015-08-30 23:17:30 +0000 | [diff] [blame] | 60 | return -1; |
Rafael Espindola | 1119191 | 2015-12-24 16:23:37 +0000 | [diff] [blame^] | 61 | auto *ThisC = cast<DefinedCommon>(this); |
| 62 | auto *OtherC = cast<DefinedCommon>(Other); |
Rui Ueyama | 6be6852 | 2015-12-16 23:49:19 +0000 | [diff] [blame] | 63 | uintX_t Align = std::max(ThisC->MaxAlignment, OtherC->MaxAlignment); |
Rafael Espindola | 1119191 | 2015-12-24 16:23:37 +0000 | [diff] [blame^] | 64 | if (ThisC->Size >= OtherC->Size) { |
Rui Ueyama | 6be6852 | 2015-12-16 23:49:19 +0000 | [diff] [blame] | 65 | ThisC->MaxAlignment = Align; |
Rui Ueyama | 6666f6a | 2015-09-09 17:55:09 +0000 | [diff] [blame] | 66 | return 1; |
Rafael Espindola | daa92a6 | 2015-08-31 01:16:19 +0000 | [diff] [blame] | 67 | } |
Rui Ueyama | 6be6852 | 2015-12-16 23:49:19 +0000 | [diff] [blame] | 68 | OtherC->MaxAlignment = Align; |
Rui Ueyama | 7da94a5 | 2015-09-09 17:40:51 +0000 | [diff] [blame] | 69 | return -1; |
Rafael Espindola | 30e1797 | 2015-08-30 23:17:30 +0000 | [diff] [blame] | 70 | } |
Rui Ueyama | 7da94a5 | 2015-09-09 17:40:51 +0000 | [diff] [blame] | 71 | if (Other->isCommon()) |
| 72 | return 1; |
| 73 | return 0; |
Michael J. Spencer | 84487f1 | 2015-07-24 21:03:07 +0000 | [diff] [blame] | 74 | } |
Rafael Espindola | daa92a6 | 2015-08-31 01:16:19 +0000 | [diff] [blame] | 75 | |
Rafael Espindola | 4d4b06a | 2015-12-24 00:47:42 +0000 | [diff] [blame] | 76 | Defined::Defined(Kind K, StringRef Name, bool IsWeak, uint8_t Visibility, |
| 77 | bool IsTls) |
| 78 | : SymbolBody(K, Name, IsWeak, Visibility, IsTls) {} |
| 79 | |
Rafael Espindola | 5d7593b | 2015-12-22 23:00:50 +0000 | [diff] [blame] | 80 | Undefined::Undefined(SymbolBody::Kind K, StringRef N, bool IsWeak, |
| 81 | uint8_t Visibility, bool IsTls) |
| 82 | : SymbolBody(K, N, IsWeak, Visibility, IsTls), CanKeepUndefined(false) {} |
| 83 | |
| 84 | Undefined::Undefined(StringRef N, bool IsWeak, uint8_t Visibility, |
| 85 | bool CanKeepUndefined) |
| 86 | : Undefined(SymbolBody::UndefinedKind, N, IsWeak, Visibility, |
| 87 | /*IsTls*/ false) { |
| 88 | this->CanKeepUndefined = CanKeepUndefined; |
| 89 | } |
| 90 | |
| 91 | template <typename ELFT> |
| 92 | UndefinedElf<ELFT>::UndefinedElf(StringRef N, const Elf_Sym &Sym) |
| 93 | : Undefined(SymbolBody::UndefinedElfKind, N, |
| 94 | Sym.getBinding() == llvm::ELF::STB_WEAK, Sym.getVisibility(), |
| 95 | Sym.getType() == llvm::ELF::STT_TLS), |
| 96 | Sym(Sym) {} |
| 97 | |
Rafael Espindola | 4d4b06a | 2015-12-24 00:47:42 +0000 | [diff] [blame] | 98 | template <typename ELFT> |
| 99 | DefinedSynthetic<ELFT>::DefinedSynthetic(StringRef N, uintX_t Value, |
| 100 | OutputSectionBase<ELFT> &Section) |
| 101 | : Defined(SymbolBody::DefinedSyntheticKind, N, false, STV_DEFAULT, false), |
| 102 | Value(Value), Section(Section) {} |
| 103 | |
Rafael Espindola | 1119191 | 2015-12-24 16:23:37 +0000 | [diff] [blame^] | 104 | DefinedCommon::DefinedCommon(StringRef N, uint64_t Size, uint64_t Alignment, |
| 105 | bool IsWeak, uint8_t Visibility) |
| 106 | : Defined(SymbolBody::DefinedCommonKind, N, IsWeak, Visibility, false) { |
| 107 | MaxAlignment = Alignment; |
| 108 | this->Size = Size; |
| 109 | } |
| 110 | |
Michael J. Spencer | 1b348a6 | 2015-09-04 22:28:10 +0000 | [diff] [blame] | 111 | std::unique_ptr<InputFile> Lazy::getMember() { |
| 112 | MemoryBufferRef MBRef = File->getMember(&Sym); |
| 113 | |
| 114 | // getMember returns an empty buffer if the member was already |
| 115 | // read from the library. |
| 116 | if (MBRef.getBuffer().empty()) |
| 117 | return std::unique_ptr<InputFile>(nullptr); |
| 118 | |
| 119 | return createELFFile<ObjectFile>(MBRef); |
| 120 | } |
| 121 | |
Rui Ueyama | aca48ff | 2015-10-08 00:44:28 +0000 | [diff] [blame] | 122 | template <class ELFT> static void doInitSymbols() { |
Rafael Espindola | 02ce26a | 2015-12-24 14:22:24 +0000 | [diff] [blame] | 123 | DefinedRegular<ELFT>::End.setBinding(STB_GLOBAL); |
| 124 | DefinedRegular<ELFT>::IgnoreUndef.setBinding(STB_WEAK); |
| 125 | DefinedRegular<ELFT>::IgnoreUndef.setVisibility(STV_HIDDEN); |
Rui Ueyama | aca48ff | 2015-10-08 00:44:28 +0000 | [diff] [blame] | 126 | } |
| 127 | |
Rui Ueyama | 9ea49c7 | 2015-10-07 23:46:11 +0000 | [diff] [blame] | 128 | void lld::elf2::initSymbols() { |
Rui Ueyama | aca48ff | 2015-10-08 00:44:28 +0000 | [diff] [blame] | 129 | doInitSymbols<ELF32LE>(); |
| 130 | doInitSymbols<ELF32BE>(); |
| 131 | doInitSymbols<ELF64LE>(); |
| 132 | doInitSymbols<ELF64BE>(); |
Rui Ueyama | 9ea49c7 | 2015-10-07 23:46:11 +0000 | [diff] [blame] | 133 | } |
| 134 | |
Rafael Espindola | daa92a6 | 2015-08-31 01:16:19 +0000 | [diff] [blame] | 135 | template int SymbolBody::compare<ELF32LE>(SymbolBody *Other); |
| 136 | template int SymbolBody::compare<ELF32BE>(SymbolBody *Other); |
| 137 | template int SymbolBody::compare<ELF64LE>(SymbolBody *Other); |
| 138 | template int SymbolBody::compare<ELF64BE>(SymbolBody *Other); |
Rafael Espindola | 5d7593b | 2015-12-22 23:00:50 +0000 | [diff] [blame] | 139 | |
| 140 | template class lld::elf2::UndefinedElf<ELF32LE>; |
| 141 | template class lld::elf2::UndefinedElf<ELF32BE>; |
| 142 | template class lld::elf2::UndefinedElf<ELF64LE>; |
| 143 | template class lld::elf2::UndefinedElf<ELF64BE>; |
Rafael Espindola | 4d4b06a | 2015-12-24 00:47:42 +0000 | [diff] [blame] | 144 | |
| 145 | template class lld::elf2::DefinedSynthetic<ELF32LE>; |
| 146 | template class lld::elf2::DefinedSynthetic<ELF32BE>; |
| 147 | template class lld::elf2::DefinedSynthetic<ELF64LE>; |
| 148 | template class lld::elf2::DefinedSynthetic<ELF64BE>; |