| 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 | c91c24e3 | 2013-12-13 06:58:27 +0000 | [diff] [blame] | 11 | #include "EdataPass.h" |
| Rui Ueyama | 991f42c | 2013-06-19 17:46:57 +0000 | [diff] [blame] | 12 | #include "GroupedSectionsPass.h" |
| Rui Ueyama | c8a5379 | 2013-07-11 08:46:21 +0000 | [diff] [blame] | 13 | #include "IdataPass.h" |
| Rui Ueyama | 908606d | 2013-08-09 04:44:15 +0000 | [diff] [blame] | 14 | #include "LinkerGeneratedSymbolFile.h" |
| Rui Ueyama | 1a11b3b | 2013-11-25 02:00:00 +0000 | [diff] [blame] | 15 | #include "SetSubsystemPass.h" |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 16 | |
| Rui Ueyama | d95a155 | 2013-06-17 16:59:54 +0000 | [diff] [blame] | 17 | #include "lld/Core/PassManager.h" |
| 18 | #include "lld/Passes/LayoutPass.h" |
| Rui Ueyama | c9752fa | 2013-11-01 19:52:37 +0000 | [diff] [blame] | 19 | #include "lld/Passes/RoundTripNativePass.h" |
| 20 | #include "lld/Passes/RoundTripYAMLPass.h" |
| Rui Ueyama | 0ca149f | 2013-08-06 22:31:59 +0000 | [diff] [blame] | 21 | #include "lld/ReaderWriter/PECOFFLinkingContext.h" |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 22 | #include "lld/ReaderWriter/Reader.h" |
| Rui Ueyama | fd50283 | 2013-07-24 22:53:23 +0000 | [diff] [blame] | 23 | #include "lld/ReaderWriter/Simple.h" |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 24 | #include "lld/ReaderWriter/Writer.h" |
| Rui Ueyama | c9752fa | 2013-11-01 19:52:37 +0000 | [diff] [blame] | 25 | #include "llvm/ADT/SmallString.h" |
| 26 | #include "llvm/Support/Allocator.h" |
| 27 | #include "llvm/Support/Path.h" |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 28 | |
| Rui Ueyama | 9149181 | 2013-09-23 19:52:35 +0000 | [diff] [blame] | 29 | #include <bitset> |
| Rui Ueyama | 4af032d | 2013-12-20 10:02:59 +0000 | [diff] [blame] | 30 | #include <climits> |
| Rui Ueyama | 863931c | 2013-10-26 00:46:57 +0000 | [diff] [blame] | 31 | #include <set> |
| Rui Ueyama | 9149181 | 2013-09-23 19:52:35 +0000 | [diff] [blame] | 32 | |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 33 | namespace lld { |
| 34 | |
| Rui Ueyama | 0ca149f | 2013-08-06 22:31:59 +0000 | [diff] [blame] | 35 | bool PECOFFLinkingContext::validateImpl(raw_ostream &diagnostics) { |
| Rui Ueyama | eb0cc96 | 2013-06-08 03:59:00 +0000 | [diff] [blame] | 36 | if (_stackReserve < _stackCommit) { |
| 37 | diagnostics << "Invalid stack size: reserve size must be equal to or " |
| Rui Ueyama | 0ca149f | 2013-08-06 22:31:59 +0000 | [diff] [blame] | 38 | << "greater than commit size, but got " << _stackCommit |
| 39 | << " and " << _stackReserve << ".\n"; |
| Rui Ueyama | 8db1edd | 2013-09-24 23:26:34 +0000 | [diff] [blame] | 40 | return false; |
| Rui Ueyama | eb0cc96 | 2013-06-08 03:59:00 +0000 | [diff] [blame] | 41 | } |
| 42 | |
| Rui Ueyama | 9dd08d9 | 2013-06-08 22:59:10 +0000 | [diff] [blame] | 43 | if (_heapReserve < _heapCommit) { |
| 44 | diagnostics << "Invalid heap size: reserve size must be equal to or " |
| Rui Ueyama | 0ca149f | 2013-08-06 22:31:59 +0000 | [diff] [blame] | 45 | << "greater than commit size, but got " << _heapCommit |
| 46 | << " and " << _heapReserve << ".\n"; |
| Rui Ueyama | 8db1edd | 2013-09-24 23:26:34 +0000 | [diff] [blame] | 47 | return false; |
| Rui Ueyama | 9dd08d9 | 2013-06-08 22:59:10 +0000 | [diff] [blame] | 48 | } |
| 49 | |
| Rui Ueyama | 530488c | 2013-09-03 22:57:00 +0000 | [diff] [blame] | 50 | // It's an error if the base address is not multiple of 64K. |
| 51 | if (_baseAddress & 0xffff) { |
| 52 | diagnostics << "Base address have to be multiple of 64K, but got " |
| 53 | << _baseAddress << "\n"; |
| Rui Ueyama | 8db1edd | 2013-09-24 23:26:34 +0000 | [diff] [blame] | 54 | return false; |
| Rui Ueyama | 530488c | 2013-09-03 22:57:00 +0000 | [diff] [blame] | 55 | } |
| 56 | |
| Rui Ueyama | a6fddab | 2013-12-16 09:15:58 +0000 | [diff] [blame] | 57 | // Check for duplicate export ordinals. |
| 58 | std::set<int> exports; |
| 59 | for (const PECOFFLinkingContext::ExportDesc &desc : getDllExports()) { |
| 60 | if (desc.ordinal == -1) |
| 61 | continue; |
| 62 | if (exports.count(desc.ordinal) == 1) { |
| 63 | diagnostics << "Duplicate export ordinals: " << desc.ordinal << "\n"; |
| 64 | return false; |
| 65 | } |
| 66 | exports.insert(desc.ordinal); |
| 67 | } |
| 68 | |
| Rui Ueyama | 41b99dc | 2013-11-06 19:30:14 +0000 | [diff] [blame] | 69 | std::bitset<64> alignment(_sectionDefaultAlignment); |
| Rui Ueyama | 9149181 | 2013-09-23 19:52:35 +0000 | [diff] [blame] | 70 | if (alignment.count() != 1) { |
| 71 | diagnostics << "Section alignment must be a power of 2, but got " |
| Rui Ueyama | 41b99dc | 2013-11-06 19:30:14 +0000 | [diff] [blame] | 72 | << _sectionDefaultAlignment << "\n"; |
| Rui Ueyama | 8db1edd | 2013-09-24 23:26:34 +0000 | [diff] [blame] | 73 | return false; |
| Rui Ueyama | 9149181 | 2013-09-23 19:52:35 +0000 | [diff] [blame] | 74 | } |
| 75 | |
| Rui Ueyama | 49bfd50 | 2014-01-24 19:17:05 +0000 | [diff] [blame^] | 76 | // Architectures other than x86/x64 is not supported yet. |
| 77 | if (_machineType != llvm::COFF::IMAGE_FILE_MACHINE_I386 && |
| 78 | _machineType != llvm::COFF::IMAGE_FILE_MACHINE_AMD64) { |
| 79 | diagnostics << "Machine type other than x86/x64 is not supported.\n"; |
| Rui Ueyama | 8db1edd | 2013-09-24 23:26:34 +0000 | [diff] [blame] | 80 | return false; |
| Rui Ueyama | 98896ed | 2013-09-12 19:46:53 +0000 | [diff] [blame] | 81 | } |
| 82 | |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 83 | _writer = createWriterPECOFF(*this); |
| Rui Ueyama | 8db1edd | 2013-09-24 23:26:34 +0000 | [diff] [blame] | 84 | return true; |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 85 | } |
| 86 | |
| Shankar Easwaran | a96f3a3 | 2013-10-07 02:47:09 +0000 | [diff] [blame] | 87 | std::unique_ptr<File> PECOFFLinkingContext::createEntrySymbolFile() const { |
| Rui Ueyama | 61b851a | 2013-12-26 06:35:35 +0000 | [diff] [blame] | 88 | return LinkingContext::createEntrySymbolFile("command line option /entry"); |
| Shankar Easwaran | d26c8e3 | 2013-08-31 05:27:38 +0000 | [diff] [blame] | 89 | } |
| Rui Ueyama | 908606d | 2013-08-09 04:44:15 +0000 | [diff] [blame] | 90 | |
| Shankar Easwaran | a96f3a3 | 2013-10-07 02:47:09 +0000 | [diff] [blame] | 91 | std::unique_ptr<File> PECOFFLinkingContext::createUndefinedSymbolFile() const { |
| Rui Ueyama | 61b851a | 2013-12-26 06:35:35 +0000 | [diff] [blame] | 92 | return LinkingContext::createUndefinedSymbolFile("command line option /include"); |
| Shankar Easwaran | d26c8e3 | 2013-08-31 05:27:38 +0000 | [diff] [blame] | 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( |
| Rui Ueyama | 091071f | 2013-12-13 02:58:27 +0000 | [diff] [blame] | 100 | new pecoff::LinkerGeneratedSymbolFile(*this)); |
| Shankar Easwaran | a96f3a3 | 2013-10-07 02:47:09 +0000 | [diff] [blame] | 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 |
| Rui Ueyama | 951dd1d | 2013-11-27 18:03:31 +0000 | [diff] [blame] | 115 | PECOFFLinkingContext::getOutputSectionName(StringRef sectionName) const { |
| Rui Ueyama | 863931c | 2013-10-26 00:46:57 +0000 | [diff] [blame] | 116 | auto it = _renamedSections.find(sectionName); |
| 117 | if (it == _renamedSections.end()) |
| 118 | return sectionName; |
| Rui Ueyama | 951dd1d | 2013-11-27 18:03:31 +0000 | [diff] [blame] | 119 | return getOutputSectionName(it->second); |
| Rui Ueyama | 863931c | 2013-10-26 00:46:57 +0000 | [diff] [blame] | 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 | 34d6e9b | 2013-12-09 01:47:32 +0000 | [diff] [blame] | 159 | StringRef PECOFFLinkingContext::getAlternateName(StringRef def) const { |
| 160 | auto it = _alternateNames.find(def); |
| 161 | if (it == _alternateNames.end()) |
| 162 | return ""; |
| 163 | return it->second; |
| 164 | } |
| 165 | |
| 166 | void PECOFFLinkingContext::setAlternateName(StringRef weak, StringRef def) { |
| 167 | _alternateNames[def] = weak; |
| 168 | } |
| 169 | |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 170 | /// Try to find the input library file from the search paths and append it to |
| 171 | /// the input file list. Returns true if the library file is found. |
| Shankar Easwaran | e44104b | 2013-08-21 22:57:10 +0000 | [diff] [blame] | 172 | StringRef PECOFFLinkingContext::searchLibraryFile(StringRef filename) const { |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 173 | // Current directory always takes precedence over the search paths. |
| Shankar Easwaran | e44104b | 2013-08-21 22:57:10 +0000 | [diff] [blame] | 174 | if (llvm::sys::path::is_absolute(filename) || llvm::sys::fs::exists(filename)) |
| 175 | return filename; |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 176 | // Iterate over the search paths. |
| 177 | for (StringRef dir : _inputSearchPaths) { |
| 178 | SmallString<128> path = dir; |
| 179 | llvm::sys::path::append(path, filename); |
| Shankar Easwaran | e44104b | 2013-08-21 22:57:10 +0000 | [diff] [blame] | 180 | if (llvm::sys::fs::exists(path.str())) |
| Rui Ueyama | 90bcd11 | 2013-11-21 00:17:31 +0000 | [diff] [blame] | 181 | return allocate(path.str()); |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 182 | } |
| Shankar Easwaran | e44104b | 2013-08-21 22:57:10 +0000 | [diff] [blame] | 183 | return filename; |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 184 | } |
| 185 | |
| Rui Ueyama | abc227b | 2013-12-14 04:32:29 +0000 | [diff] [blame] | 186 | /// Returns the decorated name of the given symbol name. On 32-bit x86, it |
| 187 | /// adds "_" at the beginning of the string. On other architectures, the |
| 188 | /// return value is the same as the argument. |
| 189 | StringRef PECOFFLinkingContext::decorateSymbol(StringRef name) const { |
| 190 | if (_machineType != llvm::COFF::IMAGE_FILE_MACHINE_I386) |
| 191 | return name; |
| 192 | std::string str = "_"; |
| 193 | str.append(name); |
| 194 | return allocate(str); |
| 195 | } |
| 196 | |
| Rui Ueyama | 090a7cd | 2013-12-24 09:15:57 +0000 | [diff] [blame] | 197 | StringRef PECOFFLinkingContext::undecorateSymbol(StringRef name) const { |
| 198 | if (_machineType != llvm::COFF::IMAGE_FILE_MACHINE_I386) |
| 199 | return name; |
| 200 | assert(name.startswith("_")); |
| 201 | return name.substr(1); |
| 202 | } |
| 203 | |
| Rui Ueyama | 0ca149f | 2013-08-06 22:31:59 +0000 | [diff] [blame] | 204 | Writer &PECOFFLinkingContext::writer() const { return *_writer; } |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 205 | |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 206 | |
| Rui Ueyama | 615b200 | 2013-11-27 21:34:16 +0000 | [diff] [blame] | 207 | void PECOFFLinkingContext::setSectionSetMask(StringRef sectionName, |
| 208 | uint32_t newFlags) { |
| 209 | _sectionSetMask[sectionName] |= newFlags; |
| 210 | _sectionClearMask[sectionName] &= ~newFlags; |
| 211 | const uint32_t rwx = (llvm::COFF::IMAGE_SCN_MEM_READ | |
| 212 | llvm::COFF::IMAGE_SCN_MEM_WRITE | |
| 213 | llvm::COFF::IMAGE_SCN_MEM_EXECUTE); |
| 214 | if (newFlags & rwx) |
| 215 | _sectionClearMask[sectionName] |= ~_sectionSetMask[sectionName] & rwx; |
| 216 | assert((_sectionSetMask[sectionName] & _sectionClearMask[sectionName]) == 0); |
| 217 | } |
| 218 | |
| 219 | void PECOFFLinkingContext::setSectionClearMask(StringRef sectionName, |
| 220 | uint32_t newFlags) { |
| 221 | _sectionClearMask[sectionName] |= newFlags; |
| 222 | _sectionSetMask[sectionName] &= ~newFlags; |
| 223 | assert((_sectionSetMask[sectionName] & _sectionClearMask[sectionName]) == 0); |
| 224 | } |
| 225 | |
| 226 | uint32_t PECOFFLinkingContext::getSectionAttributes(StringRef sectionName, |
| 227 | uint32_t flags) const { |
| 228 | auto si = _sectionSetMask.find(sectionName); |
| 229 | uint32_t setMask = (si == _sectionSetMask.end()) ? 0 : si->second; |
| 230 | auto ci = _sectionClearMask.find(sectionName); |
| 231 | uint32_t clearMask = (ci == _sectionClearMask.end()) ? 0 : ci->second; |
| 232 | return (flags | setMask) & ~clearMask; |
| 233 | } |
| Rui Ueyama | 170a1a8 | 2013-12-20 07:48:29 +0000 | [diff] [blame] | 234 | |
| Rui Ueyama | ffd8105 | 2013-12-28 08:40:37 +0000 | [diff] [blame] | 235 | // Returns true if two export descriptors have conflicting contents, |
| 236 | // e.g. different export ordinals. |
| 237 | static bool exportConflicts(const PECOFFLinkingContext::ExportDesc &a, |
| 238 | const PECOFFLinkingContext::ExportDesc &b) { |
| Rui Ueyama | 93f7604 | 2013-12-28 10:09:21 +0000 | [diff] [blame] | 239 | return (a.ordinal > 0 && b.ordinal > 0 && a.ordinal != b.ordinal) || |
| 240 | a.noname != b.noname || a.isData != b.isData; |
| Rui Ueyama | ffd8105 | 2013-12-28 08:40:37 +0000 | [diff] [blame] | 241 | } |
| 242 | |
| Rui Ueyama | cf46161 | 2013-12-25 06:46:45 +0000 | [diff] [blame] | 243 | void PECOFFLinkingContext::addDllExport(ExportDesc &desc) { |
| Rui Ueyama | ffd8105 | 2013-12-28 08:40:37 +0000 | [diff] [blame] | 244 | auto existing = _dllExports.insert(desc); |
| 245 | if (existing.second) |
| 246 | return; |
| 247 | if (!exportConflicts(*existing.first, desc)) { |
| 248 | _dllExports.erase(existing.first); |
| 249 | _dllExports.insert(desc); |
| Rui Ueyama | cf46161 | 2013-12-25 06:46:45 +0000 | [diff] [blame] | 250 | return; |
| 251 | } |
| Rui Ueyama | ffd8105 | 2013-12-28 08:40:37 +0000 | [diff] [blame] | 252 | llvm::errs() << "Export symbol '" << desc.name |
| 253 | << "' specified more than once.\n"; |
| Rui Ueyama | cf46161 | 2013-12-25 06:46:45 +0000 | [diff] [blame] | 254 | } |
| 255 | |
| Shankar Easwaran | 2bc2492 | 2013-10-29 05:12:14 +0000 | [diff] [blame] | 256 | void PECOFFLinkingContext::addPasses(PassManager &pm) { |
| Rui Ueyama | 1a11b3b | 2013-11-25 02:00:00 +0000 | [diff] [blame] | 257 | pm.add(std::unique_ptr<Pass>(new pecoff::SetSubsystemPass(*this))); |
| Rui Ueyama | c91c24e3 | 2013-12-13 06:58:27 +0000 | [diff] [blame] | 258 | pm.add(std::unique_ptr<Pass>(new pecoff::EdataPass(*this))); |
| Rui Ueyama | 3ee2bf6 | 2013-09-15 22:33:15 +0000 | [diff] [blame] | 259 | pm.add(std::unique_ptr<Pass>(new pecoff::IdataPass(*this))); |
| Rui Ueyama | d95a155 | 2013-06-17 16:59:54 +0000 | [diff] [blame] | 260 | pm.add(std::unique_ptr<Pass>(new LayoutPass())); |
| Rui Ueyama | 32c3f17 | 2013-12-07 00:27:17 +0000 | [diff] [blame] | 261 | pm.add(std::unique_ptr<Pass>(new pecoff::GroupedSectionsPass())); |
| Rui Ueyama | d95a155 | 2013-06-17 16:59:54 +0000 | [diff] [blame] | 262 | } |
| Rui Ueyama | 091071f | 2013-12-13 02:58:27 +0000 | [diff] [blame] | 263 | |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 264 | } // end namespace lld |