| 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 | 863931c | 2013-10-26 00:46:57 +0000 | [diff] [blame] | 30 | #include <set> |
| Rui Ueyama | 9149181 | 2013-09-23 19:52:35 +0000 | [diff] [blame] | 31 | |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 32 | namespace lld { |
| 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 | a6fddab | 2013-12-16 09:15:58 +0000 | [diff] [blame] | 56 | // Check for duplicate export ordinals. |
| 57 | std::set<int> exports; |
| 58 | for (const PECOFFLinkingContext::ExportDesc &desc : getDllExports()) { |
| 59 | if (desc.ordinal == -1) |
| 60 | continue; |
| 61 | if (exports.count(desc.ordinal) == 1) { |
| 62 | diagnostics << "Duplicate export ordinals: " << desc.ordinal << "\n"; |
| 63 | return false; |
| 64 | } |
| 65 | exports.insert(desc.ordinal); |
| 66 | } |
| 67 | |
| Rui Ueyama | 41b99dc | 2013-11-06 19:30:14 +0000 | [diff] [blame] | 68 | std::bitset<64> alignment(_sectionDefaultAlignment); |
| Rui Ueyama | 9149181 | 2013-09-23 19:52:35 +0000 | [diff] [blame] | 69 | if (alignment.count() != 1) { |
| 70 | diagnostics << "Section alignment must be a power of 2, but got " |
| Rui Ueyama | 41b99dc | 2013-11-06 19:30:14 +0000 | [diff] [blame] | 71 | << _sectionDefaultAlignment << "\n"; |
| Rui Ueyama | 8db1edd | 2013-09-24 23:26:34 +0000 | [diff] [blame] | 72 | return false; |
| Rui Ueyama | 9149181 | 2013-09-23 19:52:35 +0000 | [diff] [blame] | 73 | } |
| 74 | |
| Rui Ueyama | 98896ed | 2013-09-12 19:46:53 +0000 | [diff] [blame] | 75 | // Architectures other than i386 is not supported yet. |
| 76 | if (_machineType != llvm::COFF::IMAGE_FILE_MACHINE_I386) { |
| 77 | diagnostics << "Machine type other than x86 is not supported.\n"; |
| Rui Ueyama | 8db1edd | 2013-09-24 23:26:34 +0000 | [diff] [blame] | 78 | return false; |
| Rui Ueyama | 98896ed | 2013-09-12 19:46:53 +0000 | [diff] [blame] | 79 | } |
| 80 | |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 81 | _writer = createWriterPECOFF(*this); |
| Rui Ueyama | 8db1edd | 2013-09-24 23:26:34 +0000 | [diff] [blame] | 82 | return true; |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 83 | } |
| 84 | |
| Shankar Easwaran | a96f3a3 | 2013-10-07 02:47:09 +0000 | [diff] [blame] | 85 | std::unique_ptr<File> PECOFFLinkingContext::createEntrySymbolFile() const { |
| Shankar Easwaran | d26c8e3 | 2013-08-31 05:27:38 +0000 | [diff] [blame] | 86 | if (entrySymbolName().empty()) |
| 87 | return nullptr; |
| 88 | std::unique_ptr<SimpleFile> entryFile( |
| Nick Kledzik | e555277 | 2013-12-19 21:58:00 +0000 | [diff] [blame] | 89 | new SimpleFile("command line option /entry")); |
| Shankar Easwaran | d26c8e3 | 2013-08-31 05:27:38 +0000 | [diff] [blame] | 90 | entryFile->addAtom( |
| 91 | *(new (_allocator) SimpleUndefinedAtom(*entryFile, entrySymbolName()))); |
| 92 | return std::move(entryFile); |
| 93 | } |
| Rui Ueyama | 908606d | 2013-08-09 04:44:15 +0000 | [diff] [blame] | 94 | |
| Shankar Easwaran | a96f3a3 | 2013-10-07 02:47:09 +0000 | [diff] [blame] | 95 | std::unique_ptr<File> PECOFFLinkingContext::createUndefinedSymbolFile() const { |
| Shankar Easwaran | d26c8e3 | 2013-08-31 05:27:38 +0000 | [diff] [blame] | 96 | if (_initialUndefinedSymbols.empty()) |
| 97 | return nullptr; |
| 98 | std::unique_ptr<SimpleFile> undefinedSymFile( |
| Nick Kledzik | e555277 | 2013-12-19 21:58:00 +0000 | [diff] [blame] | 99 | new SimpleFile("command line option /c (or) /include")); |
| Shankar Easwaran | d26c8e3 | 2013-08-31 05:27:38 +0000 | [diff] [blame] | 100 | for (auto undefSymStr : _initialUndefinedSymbols) |
| 101 | undefinedSymFile->addAtom(*(new (_allocator) SimpleUndefinedAtom( |
| 102 | *undefinedSymFile, undefSymStr))); |
| 103 | return std::move(undefinedSymFile); |
| 104 | } |
| 105 | |
| Shankar Easwaran | a96f3a3 | 2013-10-07 02:47:09 +0000 | [diff] [blame] | 106 | bool PECOFFLinkingContext::createImplicitFiles( |
| 107 | std::vector<std::unique_ptr<File> > &) const { |
| 108 | std::unique_ptr<SimpleFileNode> fileNode( |
| 109 | new SimpleFileNode("Implicit Files")); |
| 110 | std::unique_ptr<File> linkerGeneratedSymFile( |
| Rui Ueyama | 091071f | 2013-12-13 02:58:27 +0000 | [diff] [blame] | 111 | new pecoff::LinkerGeneratedSymbolFile(*this)); |
| Shankar Easwaran | a96f3a3 | 2013-10-07 02:47:09 +0000 | [diff] [blame] | 112 | fileNode->appendInputFile(std::move(linkerGeneratedSymFile)); |
| 113 | inputGraph().insertOneElementAt(std::move(fileNode), |
| 114 | InputGraph::Position::END); |
| 115 | return true; |
| Rui Ueyama | fd50283 | 2013-07-24 22:53:23 +0000 | [diff] [blame] | 116 | } |
| 117 | |
| Rui Ueyama | 863931c | 2013-10-26 00:46:57 +0000 | [diff] [blame] | 118 | /// Returns the section name in the resulting executable. |
| 119 | /// |
| 120 | /// Sections in object files are usually output to the executable with the same |
| 121 | /// name, but you can rename by command line option. /merge:from=to makes the |
| 122 | /// linker to combine "from" section contents to "to" section in the |
| 123 | /// executable. We have a mapping for the renaming. This method looks up the |
| 124 | /// table and returns a new section name if renamed. |
| 125 | StringRef |
| Rui Ueyama | 951dd1d | 2013-11-27 18:03:31 +0000 | [diff] [blame] | 126 | PECOFFLinkingContext::getOutputSectionName(StringRef sectionName) const { |
| Rui Ueyama | 863931c | 2013-10-26 00:46:57 +0000 | [diff] [blame] | 127 | auto it = _renamedSections.find(sectionName); |
| 128 | if (it == _renamedSections.end()) |
| 129 | return sectionName; |
| Rui Ueyama | 951dd1d | 2013-11-27 18:03:31 +0000 | [diff] [blame] | 130 | return getOutputSectionName(it->second); |
| Rui Ueyama | 863931c | 2013-10-26 00:46:57 +0000 | [diff] [blame] | 131 | } |
| 132 | |
| 133 | /// Adds a mapping to the section renaming table. This method will be used for |
| 134 | /// /merge command line option. |
| 135 | bool PECOFFLinkingContext::addSectionRenaming(raw_ostream &diagnostics, |
| 136 | StringRef from, StringRef to) { |
| 137 | auto it = _renamedSections.find(from); |
| 138 | if (it != _renamedSections.end()) { |
| 139 | if (it->second == to) |
| 140 | // There's already the same mapping. |
| 141 | return true; |
| 142 | diagnostics << "Section \"" << from << "\" is already mapped to \"" |
| 143 | << it->second << ", so it cannot be mapped to \"" << to << "\"."; |
| 144 | return true; |
| 145 | } |
| 146 | |
| 147 | // Add a mapping, and check if there's no cycle in the renaming mapping. The |
| 148 | // cycle detection algorithm we use here is naive, but that's OK because the |
| 149 | // number of mapping is usually less than 10. |
| 150 | _renamedSections[from] = to; |
| 151 | for (auto elem : _renamedSections) { |
| 152 | StringRef sectionName = elem.first; |
| 153 | std::set<StringRef> visited; |
| 154 | visited.insert(sectionName); |
| 155 | for (;;) { |
| Nick Kledzik | 3df8104 | 2013-11-06 21:30:15 +0000 | [diff] [blame] | 156 | auto pos = _renamedSections.find(sectionName); |
| 157 | if (pos == _renamedSections.end()) |
| Rui Ueyama | 863931c | 2013-10-26 00:46:57 +0000 | [diff] [blame] | 158 | break; |
| Nick Kledzik | 3df8104 | 2013-11-06 21:30:15 +0000 | [diff] [blame] | 159 | if (visited.count(pos->second)) { |
| Rui Ueyama | 863931c | 2013-10-26 00:46:57 +0000 | [diff] [blame] | 160 | diagnostics << "/merge:" << from << "=" << to << " makes a cycle"; |
| 161 | return false; |
| 162 | } |
| Nick Kledzik | 3df8104 | 2013-11-06 21:30:15 +0000 | [diff] [blame] | 163 | sectionName = pos->second; |
| Rui Ueyama | 863931c | 2013-10-26 00:46:57 +0000 | [diff] [blame] | 164 | visited.insert(sectionName); |
| 165 | } |
| 166 | } |
| 167 | return true; |
| 168 | } |
| 169 | |
| Rui Ueyama | 34d6e9b | 2013-12-09 01:47:32 +0000 | [diff] [blame] | 170 | StringRef PECOFFLinkingContext::getAlternateName(StringRef def) const { |
| 171 | auto it = _alternateNames.find(def); |
| 172 | if (it == _alternateNames.end()) |
| 173 | return ""; |
| 174 | return it->second; |
| 175 | } |
| 176 | |
| 177 | void PECOFFLinkingContext::setAlternateName(StringRef weak, StringRef def) { |
| 178 | _alternateNames[def] = weak; |
| 179 | } |
| 180 | |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 181 | /// Try to find the input library file from the search paths and append it to |
| 182 | /// the input file list. Returns true if the library file is found. |
| Shankar Easwaran | e44104b | 2013-08-21 22:57:10 +0000 | [diff] [blame] | 183 | StringRef PECOFFLinkingContext::searchLibraryFile(StringRef filename) const { |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 184 | // Current directory always takes precedence over the search paths. |
| Shankar Easwaran | e44104b | 2013-08-21 22:57:10 +0000 | [diff] [blame] | 185 | if (llvm::sys::path::is_absolute(filename) || llvm::sys::fs::exists(filename)) |
| 186 | return filename; |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 187 | // Iterate over the search paths. |
| 188 | for (StringRef dir : _inputSearchPaths) { |
| 189 | SmallString<128> path = dir; |
| 190 | llvm::sys::path::append(path, filename); |
| Shankar Easwaran | e44104b | 2013-08-21 22:57:10 +0000 | [diff] [blame] | 191 | if (llvm::sys::fs::exists(path.str())) |
| Rui Ueyama | 90bcd11 | 2013-11-21 00:17:31 +0000 | [diff] [blame] | 192 | return allocate(path.str()); |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 193 | } |
| Shankar Easwaran | e44104b | 2013-08-21 22:57:10 +0000 | [diff] [blame] | 194 | return filename; |
| Rui Ueyama | 2897feb | 2013-07-19 02:18:25 +0000 | [diff] [blame] | 195 | } |
| 196 | |
| Rui Ueyama | abc227b | 2013-12-14 04:32:29 +0000 | [diff] [blame] | 197 | /// Returns the decorated name of the given symbol name. On 32-bit x86, it |
| 198 | /// adds "_" at the beginning of the string. On other architectures, the |
| 199 | /// return value is the same as the argument. |
| 200 | StringRef PECOFFLinkingContext::decorateSymbol(StringRef name) const { |
| 201 | if (_machineType != llvm::COFF::IMAGE_FILE_MACHINE_I386) |
| 202 | return name; |
| 203 | std::string str = "_"; |
| 204 | str.append(name); |
| 205 | return allocate(str); |
| 206 | } |
| 207 | |
| Rui Ueyama | 0ca149f | 2013-08-06 22:31:59 +0000 | [diff] [blame] | 208 | Writer &PECOFFLinkingContext::writer() const { return *_writer; } |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 209 | |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 210 | |
| Rui Ueyama | 615b200 | 2013-11-27 21:34:16 +0000 | [diff] [blame] | 211 | void PECOFFLinkingContext::setSectionSetMask(StringRef sectionName, |
| 212 | uint32_t newFlags) { |
| 213 | _sectionSetMask[sectionName] |= newFlags; |
| 214 | _sectionClearMask[sectionName] &= ~newFlags; |
| 215 | const uint32_t rwx = (llvm::COFF::IMAGE_SCN_MEM_READ | |
| 216 | llvm::COFF::IMAGE_SCN_MEM_WRITE | |
| 217 | llvm::COFF::IMAGE_SCN_MEM_EXECUTE); |
| 218 | if (newFlags & rwx) |
| 219 | _sectionClearMask[sectionName] |= ~_sectionSetMask[sectionName] & rwx; |
| 220 | assert((_sectionSetMask[sectionName] & _sectionClearMask[sectionName]) == 0); |
| 221 | } |
| 222 | |
| 223 | void PECOFFLinkingContext::setSectionClearMask(StringRef sectionName, |
| 224 | uint32_t newFlags) { |
| 225 | _sectionClearMask[sectionName] |= newFlags; |
| 226 | _sectionSetMask[sectionName] &= ~newFlags; |
| 227 | assert((_sectionSetMask[sectionName] & _sectionClearMask[sectionName]) == 0); |
| 228 | } |
| 229 | |
| 230 | uint32_t PECOFFLinkingContext::getSectionAttributes(StringRef sectionName, |
| 231 | uint32_t flags) const { |
| 232 | auto si = _sectionSetMask.find(sectionName); |
| 233 | uint32_t setMask = (si == _sectionSetMask.end()) ? 0 : si->second; |
| 234 | auto ci = _sectionClearMask.find(sectionName); |
| 235 | uint32_t clearMask = (ci == _sectionClearMask.end()) ? 0 : ci->second; |
| 236 | return (flags | setMask) & ~clearMask; |
| 237 | } |
| Rui Ueyama | 170a1a8 | 2013-12-20 07:48:29 +0000 | [diff] [blame^] | 238 | |
| Shankar Easwaran | 2bc2492 | 2013-10-29 05:12:14 +0000 | [diff] [blame] | 239 | void PECOFFLinkingContext::addPasses(PassManager &pm) { |
| Rui Ueyama | 1a11b3b | 2013-11-25 02:00:00 +0000 | [diff] [blame] | 240 | pm.add(std::unique_ptr<Pass>(new pecoff::SetSubsystemPass(*this))); |
| Rui Ueyama | c91c24e3 | 2013-12-13 06:58:27 +0000 | [diff] [blame] | 241 | pm.add(std::unique_ptr<Pass>(new pecoff::EdataPass(*this))); |
| Rui Ueyama | 3ee2bf6 | 2013-09-15 22:33:15 +0000 | [diff] [blame] | 242 | pm.add(std::unique_ptr<Pass>(new pecoff::IdataPass(*this))); |
| Rui Ueyama | d95a155 | 2013-06-17 16:59:54 +0000 | [diff] [blame] | 243 | pm.add(std::unique_ptr<Pass>(new LayoutPass())); |
| Rui Ueyama | 32c3f17 | 2013-12-07 00:27:17 +0000 | [diff] [blame] | 244 | pm.add(std::unique_ptr<Pass>(new pecoff::GroupedSectionsPass())); |
| Rui Ueyama | d95a155 | 2013-06-17 16:59:54 +0000 | [diff] [blame] | 245 | } |
| Rui Ueyama | 091071f | 2013-12-13 02:58:27 +0000 | [diff] [blame] | 246 | |
| Rui Ueyama | 9e56839 | 2013-05-28 18:13:31 +0000 | [diff] [blame] | 247 | } // end namespace lld |