| Rui Ueyama | 0ca149f | 2013-08-06 22:31:59 +0000 | [diff] [blame] | 1 | //===- lib/ReaderWriter/PECOFF/PECOFFLinkingContext.cpp -------------------===// |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 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 Ueyama | fd50283 | 2013-07-24 22:53:23 +0000 | [diff] [blame] | 10 | #include "Atoms.h" |
| Rui Ueyama | 991f42c | 2013-06-19 17:46:57 +0000 | [diff] [blame] | 11 | #include "GroupedSectionsPass.h" |
| Rui Ueyama | c8a5379 | 2013-07-11 08:46:21 +0000 | [diff] [blame] | 12 | #include "IdataPass.h" |
| Rui Ueyama | 908606d | 2013-08-09 04:44:15 +0000 | [diff] [blame] | 13 | #include "LinkerGeneratedSymbolFile.h" |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 14 | |
| Rui Ueyama | d95a155 | 2013-06-17 16:59:54 +0000 | [diff] [blame] | 15 | #include "lld/Core/PassManager.h" |
| 16 | #include "lld/Passes/LayoutPass.h" |
| Rui Ueyama | c9752fa | 2013-11-01 19:52:37 +0000 | [diff] [blame] | 17 | #include "lld/Passes/RoundTripNativePass.h" |
| 18 | #include "lld/Passes/RoundTripYAMLPass.h" |
| Rui Ueyama | 0ca149f | 2013-08-06 22:31:59 +0000 | [diff] [blame] | 19 | #include "lld/ReaderWriter/PECOFFLinkingContext.h" |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 20 | #include "lld/ReaderWriter/Reader.h" |
| Rui Ueyama | fd50283 | 2013-07-24 22:53:23 +0000 | [diff] [blame] | 21 | #include "lld/ReaderWriter/Simple.h" |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 22 | #include "lld/ReaderWriter/Writer.h" |
| Rui Ueyama | c9752fa | 2013-11-01 19:52:37 +0000 | [diff] [blame] | 23 | #include "llvm/ADT/SmallString.h" |
| 24 | #include "llvm/Support/Allocator.h" |
| 25 | #include "llvm/Support/Path.h" |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 26 | |
| Rui Ueyama | 9149181 | 2013-09-23 19:52:35 +0000 | [diff] [blame] | 27 | #include <bitset> |
| Rui Ueyama | 863931c | 2013-10-26 00:46:57 +0000 | [diff] [blame] | 28 | #include <set> |
| Rui Ueyama | 9149181 | 2013-09-23 19:52:35 +0000 | [diff] [blame] | 29 | |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 30 | namespace lld { |
| 31 | |
| Shankar Easwaran | e44104b | 2013-08-21 22:57:10 +0000 | [diff] [blame] | 32 | namespace {} // anonymous namespace |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 33 | |
| Rui Ueyama | 0ca149f | 2013-08-06 22:31:59 +0000 | [diff] [blame] | 34 | bool PECOFFLinkingContext::validateImpl(raw_ostream &diagnostics) { |
| Rui Ueyama | eb0cc96 | 2013-06-08 03:59:00 +0000 | [diff] [blame] | 35 | if (_stackReserve < _stackCommit) { |
| 36 | diagnostics << "Invalid stack size: reserve size must be equal to or " |
| Rui Ueyama | 0ca149f | 2013-08-06 22:31:59 +0000 | [diff] [blame] | 37 | << "greater than commit size, but got " << _stackCommit |
| 38 | << " and " << _stackReserve << ".\n"; |
| Rui Ueyama | 8db1edd | 2013-09-24 23:26:34 +0000 | [diff] [blame] | 39 | return false; |
| Rui Ueyama | eb0cc96 | 2013-06-08 03:59:00 +0000 | [diff] [blame] | 40 | } |
| 41 | |
| Rui Ueyama | 9dd08d9 | 2013-06-08 22:59:10 +0000 | [diff] [blame] | 42 | if (_heapReserve < _heapCommit) { |
| 43 | diagnostics << "Invalid heap size: reserve size must be equal to or " |
| Rui Ueyama | 0ca149f | 2013-08-06 22:31:59 +0000 | [diff] [blame] | 44 | << "greater than commit size, but got " << _heapCommit |
| 45 | << " and " << _heapReserve << ".\n"; |
| Rui Ueyama | 8db1edd | 2013-09-24 23:26:34 +0000 | [diff] [blame] | 46 | return false; |
| Rui Ueyama | 9dd08d9 | 2013-06-08 22:59:10 +0000 | [diff] [blame] | 47 | } |
| 48 | |
| Rui Ueyama | 530488c | 2013-09-03 22:57:00 +0000 | [diff] [blame] | 49 | // It's an error if the base address is not multiple of 64K. |
| 50 | if (_baseAddress & 0xffff) { |
| 51 | diagnostics << "Base address have to be multiple of 64K, but got " |
| 52 | << _baseAddress << "\n"; |
| Rui Ueyama | 8db1edd | 2013-09-24 23:26:34 +0000 | [diff] [blame] | 53 | return false; |
| Rui Ueyama | 530488c | 2013-09-03 22:57:00 +0000 | [diff] [blame] | 54 | } |
| 55 | |
| Rui Ueyama | 41b99dc | 2013-11-06 19:30:14 +0000 | [diff] [blame] | 56 | std::bitset<64> alignment(_sectionDefaultAlignment); |
| Rui Ueyama | 9149181 | 2013-09-23 19:52:35 +0000 | [diff] [blame] | 57 | if (alignment.count() != 1) { |
| 58 | diagnostics << "Section alignment must be a power of 2, but got " |
| Rui Ueyama | 41b99dc | 2013-11-06 19:30:14 +0000 | [diff] [blame] | 59 | << _sectionDefaultAlignment << "\n"; |
| Rui Ueyama | 8db1edd | 2013-09-24 23:26:34 +0000 | [diff] [blame] | 60 | return false; |
| Rui Ueyama | 9149181 | 2013-09-23 19:52:35 +0000 | [diff] [blame] | 61 | } |
| 62 | |
| Rui Ueyama | 98896ed | 2013-09-12 19:46:53 +0000 | [diff] [blame] | 63 | // Architectures other than i386 is not supported yet. |
| 64 | if (_machineType != llvm::COFF::IMAGE_FILE_MACHINE_I386) { |
| 65 | diagnostics << "Machine type other than x86 is not supported.\n"; |
| Rui Ueyama | 8db1edd | 2013-09-24 23:26:34 +0000 | [diff] [blame] | 66 | return false; |
| Rui Ueyama | 98896ed | 2013-09-12 19:46:53 +0000 | [diff] [blame] | 67 | } |
| 68 | |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 69 | _reader = createReaderPECOFF(*this); |
| 70 | _writer = createWriterPECOFF(*this); |
| Rui Ueyama | 8db1edd | 2013-09-24 23:26:34 +0000 | [diff] [blame] | 71 | return true; |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 72 | } |
| 73 | |
| Shankar Easwaran | a96f3a3 | 2013-10-07 02:47:09 +0000 | [diff] [blame] | 74 | std::unique_ptr<File> PECOFFLinkingContext::createEntrySymbolFile() const { |
| Shankar Easwaran | d26c8e3 | 2013-08-31 05:27:38 +0000 | [diff] [blame] | 75 | if (entrySymbolName().empty()) |
| 76 | return nullptr; |
| 77 | std::unique_ptr<SimpleFile> entryFile( |
| 78 | new SimpleFile(*this, "command line option /entry")); |
| 79 | entryFile->addAtom( |
| 80 | *(new (_allocator) SimpleUndefinedAtom(*entryFile, entrySymbolName()))); |
| 81 | return std::move(entryFile); |
| 82 | } |
| Rui Ueyama | 908606d | 2013-08-09 04:44:15 +0000 | [diff] [blame] | 83 | |
| Shankar Easwaran | a96f3a3 | 2013-10-07 02:47:09 +0000 | [diff] [blame] | 84 | std::unique_ptr<File> PECOFFLinkingContext::createUndefinedSymbolFile() const { |
| Shankar Easwaran | d26c8e3 | 2013-08-31 05:27:38 +0000 | [diff] [blame] | 85 | if (_initialUndefinedSymbols.empty()) |
| 86 | return nullptr; |
| 87 | std::unique_ptr<SimpleFile> undefinedSymFile( |
| 88 | new SimpleFile(*this, "command line option /c (or) /include")); |
| 89 | for (auto undefSymStr : _initialUndefinedSymbols) |
| 90 | undefinedSymFile->addAtom(*(new (_allocator) SimpleUndefinedAtom( |
| 91 | *undefinedSymFile, undefSymStr))); |
| 92 | return std::move(undefinedSymFile); |
| 93 | } |
| 94 | |
| Shankar Easwaran | a96f3a3 | 2013-10-07 02:47:09 +0000 | [diff] [blame] | 95 | bool PECOFFLinkingContext::createImplicitFiles( |
| 96 | std::vector<std::unique_ptr<File> > &) const { |
| 97 | std::unique_ptr<SimpleFileNode> fileNode( |
| 98 | new SimpleFileNode("Implicit Files")); |
| 99 | std::unique_ptr<File> linkerGeneratedSymFile( |
| 100 | new coff::LinkerGeneratedSymbolFile(*this)); |
| 101 | fileNode->appendInputFile(std::move(linkerGeneratedSymFile)); |
| 102 | inputGraph().insertOneElementAt(std::move(fileNode), |
| 103 | InputGraph::Position::END); |
| 104 | return true; |
| Rui Ueyama | fd50283 | 2013-07-24 22:53:23 +0000 | [diff] [blame] | 105 | } |
| 106 | |
| Rui Ueyama | 863931c | 2013-10-26 00:46:57 +0000 | [diff] [blame] | 107 | /// Returns the section name in the resulting executable. |
| 108 | /// |
| 109 | /// Sections in object files are usually output to the executable with the same |
| 110 | /// name, but you can rename by command line option. /merge:from=to makes the |
| 111 | /// linker to combine "from" section contents to "to" section in the |
| 112 | /// executable. We have a mapping for the renaming. This method looks up the |
| 113 | /// table and returns a new section name if renamed. |
| 114 | StringRef |
| 115 | PECOFFLinkingContext::getFinalSectionName(StringRef sectionName) const { |
| 116 | auto it = _renamedSections.find(sectionName); |
| 117 | if (it == _renamedSections.end()) |
| 118 | return sectionName; |
| 119 | return getFinalSectionName(it->second); |
| 120 | } |
| 121 | |
| 122 | /// Adds a mapping to the section renaming table. This method will be used for |
| 123 | /// /merge command line option. |
| 124 | bool PECOFFLinkingContext::addSectionRenaming(raw_ostream &diagnostics, |
| 125 | StringRef from, StringRef to) { |
| 126 | auto it = _renamedSections.find(from); |
| 127 | if (it != _renamedSections.end()) { |
| 128 | if (it->second == to) |
| 129 | // There's already the same mapping. |
| 130 | return true; |
| 131 | diagnostics << "Section \"" << from << "\" is already mapped to \"" |
| 132 | << it->second << ", so it cannot be mapped to \"" << to << "\"."; |
| 133 | return true; |
| 134 | } |
| 135 | |
| 136 | // Add a mapping, and check if there's no cycle in the renaming mapping. The |
| 137 | // cycle detection algorithm we use here is naive, but that's OK because the |
| 138 | // number of mapping is usually less than 10. |
| 139 | _renamedSections[from] = to; |
| 140 | for (auto elem : _renamedSections) { |
| 141 | StringRef sectionName = elem.first; |
| 142 | std::set<StringRef> visited; |
| 143 | visited.insert(sectionName); |
| 144 | for (;;) { |
| Nick Kledzik | 3df8104 | 2013-11-06 21:30:15 +0000 | [diff] [blame^] | 145 | auto pos = _renamedSections.find(sectionName); |
| 146 | if (pos == _renamedSections.end()) |
| Rui Ueyama | 863931c | 2013-10-26 00:46:57 +0000 | [diff] [blame] | 147 | break; |
| Nick Kledzik | 3df8104 | 2013-11-06 21:30:15 +0000 | [diff] [blame^] | 148 | if (visited.count(pos->second)) { |
| Rui Ueyama | 863931c | 2013-10-26 00:46:57 +0000 | [diff] [blame] | 149 | diagnostics << "/merge:" << from << "=" << to << " makes a cycle"; |
| 150 | return false; |
| 151 | } |
| Nick Kledzik | 3df8104 | 2013-11-06 21:30:15 +0000 | [diff] [blame^] | 152 | sectionName = pos->second; |
| Rui Ueyama | 863931c | 2013-10-26 00:46:57 +0000 | [diff] [blame] | 153 | visited.insert(sectionName); |
| 154 | } |
| 155 | } |
| 156 | return true; |
| 157 | } |
| 158 | |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 159 | /// Try to find the input library file from the search paths and append it to |
| 160 | /// the input file list. Returns true if the library file is found. |
| Shankar Easwaran | e44104b | 2013-08-21 22:57:10 +0000 | [diff] [blame] | 161 | StringRef PECOFFLinkingContext::searchLibraryFile(StringRef filename) const { |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 162 | // Current directory always takes precedence over the search paths. |
| Shankar Easwaran | e44104b | 2013-08-21 22:57:10 +0000 | [diff] [blame] | 163 | if (llvm::sys::path::is_absolute(filename) || llvm::sys::fs::exists(filename)) |
| 164 | return filename; |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 165 | // Iterate over the search paths. |
| 166 | for (StringRef dir : _inputSearchPaths) { |
| 167 | SmallString<128> path = dir; |
| 168 | llvm::sys::path::append(path, filename); |
| Shankar Easwaran | e44104b | 2013-08-21 22:57:10 +0000 | [diff] [blame] | 169 | if (llvm::sys::fs::exists(path.str())) |
| Shankar Easwaran | c48b959 | 2013-08-22 15:37:09 +0000 | [diff] [blame] | 170 | return allocateString(path.str()); |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 171 | } |
| Shankar Easwaran | e44104b | 2013-08-21 22:57:10 +0000 | [diff] [blame] | 172 | return filename; |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 173 | } |
| 174 | |
| Rui Ueyama | 0ca149f | 2013-08-06 22:31:59 +0000 | [diff] [blame] | 175 | Writer &PECOFFLinkingContext::writer() const { return *_writer; } |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 176 | |
| 177 | ErrorOr<Reference::Kind> |
| Rui Ueyama | 0ca149f | 2013-08-06 22:31:59 +0000 | [diff] [blame] | 178 | PECOFFLinkingContext::relocKindFromString(StringRef str) const { |
| Rui Ueyama | e1c30a4 | 2013-11-06 04:47:19 +0000 | [diff] [blame] | 179 | #define LLD_CASE(name) .Case(#name, llvm::COFF::name) |
| Shankar Easwaran | 53bae6f | 2013-10-26 19:38:31 +0000 | [diff] [blame] | 180 | int32_t ret = llvm::StringSwitch<int32_t>(str) |
| 181 | LLD_CASE(IMAGE_REL_I386_ABSOLUTE) |
| 182 | LLD_CASE(IMAGE_REL_I386_DIR32) |
| 183 | LLD_CASE(IMAGE_REL_I386_DIR32NB) |
| 184 | LLD_CASE(IMAGE_REL_I386_REL32) |
| 185 | .Default(-1); |
| Rui Ueyama | e1c30a4 | 2013-11-06 04:47:19 +0000 | [diff] [blame] | 186 | #undef LLD_CASE |
| Shankar Easwaran | 53bae6f | 2013-10-26 19:38:31 +0000 | [diff] [blame] | 187 | if (ret == -1) |
| 188 | return make_error_code(YamlReaderError::illegal_value); |
| 189 | return ret; |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 190 | } |
| 191 | |
| 192 | ErrorOr<std::string> |
| Rui Ueyama | 0ca149f | 2013-08-06 22:31:59 +0000 | [diff] [blame] | 193 | PECOFFLinkingContext::stringFromRelocKind(Reference::Kind kind) const { |
| Shankar Easwaran | 53bae6f | 2013-10-26 19:38:31 +0000 | [diff] [blame] | 194 | switch (kind) { |
| Rui Ueyama | e1c30a4 | 2013-11-06 04:47:19 +0000 | [diff] [blame] | 195 | #define LLD_CASE(name) \ |
| 196 | case llvm::COFF::name: \ |
| 197 | return std::string(#name); |
| 198 | |
| Shankar Easwaran | 53bae6f | 2013-10-26 19:38:31 +0000 | [diff] [blame] | 199 | LLD_CASE(IMAGE_REL_I386_ABSOLUTE) |
| 200 | LLD_CASE(IMAGE_REL_I386_DIR32) |
| 201 | LLD_CASE(IMAGE_REL_I386_DIR32NB) |
| 202 | LLD_CASE(IMAGE_REL_I386_REL32) |
| Rui Ueyama | e1c30a4 | 2013-11-06 04:47:19 +0000 | [diff] [blame] | 203 | #undef LLD_CASE |
| Shankar Easwaran | 53bae6f | 2013-10-26 19:38:31 +0000 | [diff] [blame] | 204 | } |
| Rui Ueyama | c6015f6 | 2013-10-09 00:57:22 +0000 | [diff] [blame] | 205 | return make_error_code(YamlReaderError::illegal_value); |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 206 | } |
| 207 | |
| Shankar Easwaran | 2bc2492 | 2013-10-29 05:12:14 +0000 | [diff] [blame] | 208 | void PECOFFLinkingContext::addPasses(PassManager &pm) { |
| Rui Ueyama | 991f42c | 2013-06-19 17:46:57 +0000 | [diff] [blame] | 209 | pm.add(std::unique_ptr<Pass>(new pecoff::GroupedSectionsPass())); |
| Rui Ueyama | 3ee2bf6 | 2013-09-15 22:33:15 +0000 | [diff] [blame] | 210 | pm.add(std::unique_ptr<Pass>(new pecoff::IdataPass(*this))); |
| Rui Ueyama | d95a155 | 2013-06-17 16:59:54 +0000 | [diff] [blame] | 211 | pm.add(std::unique_ptr<Pass>(new LayoutPass())); |
| 212 | } |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 213 | } // end namespace lld |