blob: 2c439fce557fadc280397eaed24f393c5d9947b7 [file] [log] [blame]
Rui Ueyama0ca149f2013-08-06 22:31:59 +00001//===- lib/ReaderWriter/PECOFF/PECOFFLinkingContext.cpp -------------------===//
Rui Ueyama9e568392013-05-28 18:13:31 +00002//
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 Ueyamafd502832013-07-24 22:53:23 +000010#include "Atoms.h"
Rui Ueyamac91c24e32013-12-13 06:58:27 +000011#include "EdataPass.h"
Rui Ueyama991f42c2013-06-19 17:46:57 +000012#include "GroupedSectionsPass.h"
Rui Ueyamac8a53792013-07-11 08:46:21 +000013#include "IdataPass.h"
Rui Ueyama908606d2013-08-09 04:44:15 +000014#include "LinkerGeneratedSymbolFile.h"
Rui Ueyama1a11b3b2013-11-25 02:00:00 +000015#include "SetSubsystemPass.h"
Rui Ueyama9e568392013-05-28 18:13:31 +000016
Rui Ueyamad95a1552013-06-17 16:59:54 +000017#include "lld/Core/PassManager.h"
18#include "lld/Passes/LayoutPass.h"
Rui Ueyamac9752fa2013-11-01 19:52:37 +000019#include "lld/Passes/RoundTripNativePass.h"
20#include "lld/Passes/RoundTripYAMLPass.h"
Rui Ueyama0ca149f2013-08-06 22:31:59 +000021#include "lld/ReaderWriter/PECOFFLinkingContext.h"
Rui Ueyama9e568392013-05-28 18:13:31 +000022#include "lld/ReaderWriter/Reader.h"
Rui Ueyamafd502832013-07-24 22:53:23 +000023#include "lld/ReaderWriter/Simple.h"
Rui Ueyama9e568392013-05-28 18:13:31 +000024#include "lld/ReaderWriter/Writer.h"
Rui Ueyamac9752fa2013-11-01 19:52:37 +000025#include "llvm/ADT/SmallString.h"
26#include "llvm/Support/Allocator.h"
27#include "llvm/Support/Path.h"
Rui Ueyama9e568392013-05-28 18:13:31 +000028
Rui Ueyama91491812013-09-23 19:52:35 +000029#include <bitset>
Rui Ueyama863931c2013-10-26 00:46:57 +000030#include <set>
Rui Ueyama91491812013-09-23 19:52:35 +000031
Rui Ueyama9e568392013-05-28 18:13:31 +000032namespace lld {
33
Rui Ueyama0ca149f2013-08-06 22:31:59 +000034bool PECOFFLinkingContext::validateImpl(raw_ostream &diagnostics) {
Rui Ueyamaeb0cc962013-06-08 03:59:00 +000035 if (_stackReserve < _stackCommit) {
36 diagnostics << "Invalid stack size: reserve size must be equal to or "
Rui Ueyama0ca149f2013-08-06 22:31:59 +000037 << "greater than commit size, but got " << _stackCommit
38 << " and " << _stackReserve << ".\n";
Rui Ueyama8db1edd2013-09-24 23:26:34 +000039 return false;
Rui Ueyamaeb0cc962013-06-08 03:59:00 +000040 }
41
Rui Ueyama9dd08d92013-06-08 22:59:10 +000042 if (_heapReserve < _heapCommit) {
43 diagnostics << "Invalid heap size: reserve size must be equal to or "
Rui Ueyama0ca149f2013-08-06 22:31:59 +000044 << "greater than commit size, but got " << _heapCommit
45 << " and " << _heapReserve << ".\n";
Rui Ueyama8db1edd2013-09-24 23:26:34 +000046 return false;
Rui Ueyama9dd08d92013-06-08 22:59:10 +000047 }
48
Rui Ueyama530488c2013-09-03 22:57:00 +000049 // 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 Ueyama8db1edd2013-09-24 23:26:34 +000053 return false;
Rui Ueyama530488c2013-09-03 22:57:00 +000054 }
55
Rui Ueyamaa6fddab2013-12-16 09:15:58 +000056 // 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 Ueyama41b99dc2013-11-06 19:30:14 +000068 std::bitset<64> alignment(_sectionDefaultAlignment);
Rui Ueyama91491812013-09-23 19:52:35 +000069 if (alignment.count() != 1) {
70 diagnostics << "Section alignment must be a power of 2, but got "
Rui Ueyama41b99dc2013-11-06 19:30:14 +000071 << _sectionDefaultAlignment << "\n";
Rui Ueyama8db1edd2013-09-24 23:26:34 +000072 return false;
Rui Ueyama91491812013-09-23 19:52:35 +000073 }
74
Rui Ueyama98896ed2013-09-12 19:46:53 +000075 // 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 Ueyama8db1edd2013-09-24 23:26:34 +000078 return false;
Rui Ueyama98896ed2013-09-12 19:46:53 +000079 }
80
Rui Ueyama9e568392013-05-28 18:13:31 +000081 _reader = createReaderPECOFF(*this);
82 _writer = createWriterPECOFF(*this);
Rui Ueyama8db1edd2013-09-24 23:26:34 +000083 return true;
Rui Ueyama9e568392013-05-28 18:13:31 +000084}
85
Shankar Easwarana96f3a32013-10-07 02:47:09 +000086std::unique_ptr<File> PECOFFLinkingContext::createEntrySymbolFile() const {
Shankar Easwarand26c8e32013-08-31 05:27:38 +000087 if (entrySymbolName().empty())
88 return nullptr;
89 std::unique_ptr<SimpleFile> entryFile(
90 new SimpleFile(*this, "command line option /entry"));
91 entryFile->addAtom(
92 *(new (_allocator) SimpleUndefinedAtom(*entryFile, entrySymbolName())));
93 return std::move(entryFile);
94}
Rui Ueyama908606d2013-08-09 04:44:15 +000095
Shankar Easwarana96f3a32013-10-07 02:47:09 +000096std::unique_ptr<File> PECOFFLinkingContext::createUndefinedSymbolFile() const {
Shankar Easwarand26c8e32013-08-31 05:27:38 +000097 if (_initialUndefinedSymbols.empty())
98 return nullptr;
99 std::unique_ptr<SimpleFile> undefinedSymFile(
100 new SimpleFile(*this, "command line option /c (or) /include"));
101 for (auto undefSymStr : _initialUndefinedSymbols)
102 undefinedSymFile->addAtom(*(new (_allocator) SimpleUndefinedAtom(
103 *undefinedSymFile, undefSymStr)));
104 return std::move(undefinedSymFile);
105}
106
Shankar Easwarana96f3a32013-10-07 02:47:09 +0000107bool PECOFFLinkingContext::createImplicitFiles(
108 std::vector<std::unique_ptr<File> > &) const {
109 std::unique_ptr<SimpleFileNode> fileNode(
110 new SimpleFileNode("Implicit Files"));
111 std::unique_ptr<File> linkerGeneratedSymFile(
Rui Ueyama091071f2013-12-13 02:58:27 +0000112 new pecoff::LinkerGeneratedSymbolFile(*this));
Shankar Easwarana96f3a32013-10-07 02:47:09 +0000113 fileNode->appendInputFile(std::move(linkerGeneratedSymFile));
114 inputGraph().insertOneElementAt(std::move(fileNode),
115 InputGraph::Position::END);
116 return true;
Rui Ueyamafd502832013-07-24 22:53:23 +0000117}
118
Rui Ueyama863931c2013-10-26 00:46:57 +0000119/// Returns the section name in the resulting executable.
120///
121/// Sections in object files are usually output to the executable with the same
122/// name, but you can rename by command line option. /merge:from=to makes the
123/// linker to combine "from" section contents to "to" section in the
124/// executable. We have a mapping for the renaming. This method looks up the
125/// table and returns a new section name if renamed.
126StringRef
Rui Ueyama951dd1d2013-11-27 18:03:31 +0000127PECOFFLinkingContext::getOutputSectionName(StringRef sectionName) const {
Rui Ueyama863931c2013-10-26 00:46:57 +0000128 auto it = _renamedSections.find(sectionName);
129 if (it == _renamedSections.end())
130 return sectionName;
Rui Ueyama951dd1d2013-11-27 18:03:31 +0000131 return getOutputSectionName(it->second);
Rui Ueyama863931c2013-10-26 00:46:57 +0000132}
133
134/// Adds a mapping to the section renaming table. This method will be used for
135/// /merge command line option.
136bool PECOFFLinkingContext::addSectionRenaming(raw_ostream &diagnostics,
137 StringRef from, StringRef to) {
138 auto it = _renamedSections.find(from);
139 if (it != _renamedSections.end()) {
140 if (it->second == to)
141 // There's already the same mapping.
142 return true;
143 diagnostics << "Section \"" << from << "\" is already mapped to \""
144 << it->second << ", so it cannot be mapped to \"" << to << "\".";
145 return true;
146 }
147
148 // Add a mapping, and check if there's no cycle in the renaming mapping. The
149 // cycle detection algorithm we use here is naive, but that's OK because the
150 // number of mapping is usually less than 10.
151 _renamedSections[from] = to;
152 for (auto elem : _renamedSections) {
153 StringRef sectionName = elem.first;
154 std::set<StringRef> visited;
155 visited.insert(sectionName);
156 for (;;) {
Nick Kledzik3df81042013-11-06 21:30:15 +0000157 auto pos = _renamedSections.find(sectionName);
158 if (pos == _renamedSections.end())
Rui Ueyama863931c2013-10-26 00:46:57 +0000159 break;
Nick Kledzik3df81042013-11-06 21:30:15 +0000160 if (visited.count(pos->second)) {
Rui Ueyama863931c2013-10-26 00:46:57 +0000161 diagnostics << "/merge:" << from << "=" << to << " makes a cycle";
162 return false;
163 }
Nick Kledzik3df81042013-11-06 21:30:15 +0000164 sectionName = pos->second;
Rui Ueyama863931c2013-10-26 00:46:57 +0000165 visited.insert(sectionName);
166 }
167 }
168 return true;
169}
170
Rui Ueyama34d6e9b2013-12-09 01:47:32 +0000171StringRef PECOFFLinkingContext::getAlternateName(StringRef def) const {
172 auto it = _alternateNames.find(def);
173 if (it == _alternateNames.end())
174 return "";
175 return it->second;
176}
177
178void PECOFFLinkingContext::setAlternateName(StringRef weak, StringRef def) {
179 _alternateNames[def] = weak;
180}
181
Rui Ueyama2897feb2013-07-19 02:18:25 +0000182/// Try to find the input library file from the search paths and append it to
183/// the input file list. Returns true if the library file is found.
Shankar Easwarane44104b2013-08-21 22:57:10 +0000184StringRef PECOFFLinkingContext::searchLibraryFile(StringRef filename) const {
Rui Ueyama2897feb2013-07-19 02:18:25 +0000185 // Current directory always takes precedence over the search paths.
Shankar Easwarane44104b2013-08-21 22:57:10 +0000186 if (llvm::sys::path::is_absolute(filename) || llvm::sys::fs::exists(filename))
187 return filename;
Rui Ueyama2897feb2013-07-19 02:18:25 +0000188 // Iterate over the search paths.
189 for (StringRef dir : _inputSearchPaths) {
190 SmallString<128> path = dir;
191 llvm::sys::path::append(path, filename);
Shankar Easwarane44104b2013-08-21 22:57:10 +0000192 if (llvm::sys::fs::exists(path.str()))
Rui Ueyama90bcd112013-11-21 00:17:31 +0000193 return allocate(path.str());
Rui Ueyama2897feb2013-07-19 02:18:25 +0000194 }
Shankar Easwarane44104b2013-08-21 22:57:10 +0000195 return filename;
Rui Ueyama2897feb2013-07-19 02:18:25 +0000196}
197
Rui Ueyamaabc227b2013-12-14 04:32:29 +0000198/// Returns the decorated name of the given symbol name. On 32-bit x86, it
199/// adds "_" at the beginning of the string. On other architectures, the
200/// return value is the same as the argument.
201StringRef PECOFFLinkingContext::decorateSymbol(StringRef name) const {
202 if (_machineType != llvm::COFF::IMAGE_FILE_MACHINE_I386)
203 return name;
204 std::string str = "_";
205 str.append(name);
206 return allocate(str);
207}
208
209StringRef PECOFFLinkingContext::undecorateSymbol(StringRef name) const {
210 if (_machineType != llvm::COFF::IMAGE_FILE_MACHINE_I386)
211 return name;
212 assert(name.startswith("_"));
213 return name.substr(1);
214}
215
Rui Ueyama0ca149f2013-08-06 22:31:59 +0000216Writer &PECOFFLinkingContext::writer() const { return *_writer; }
Rui Ueyama9e568392013-05-28 18:13:31 +0000217
218ErrorOr<Reference::Kind>
Rui Ueyama0ca149f2013-08-06 22:31:59 +0000219PECOFFLinkingContext::relocKindFromString(StringRef str) const {
Rui Ueyamae1c30a42013-11-06 04:47:19 +0000220#define LLD_CASE(name) .Case(#name, llvm::COFF::name)
Shankar Easwaran53bae6f2013-10-26 19:38:31 +0000221 int32_t ret = llvm::StringSwitch<int32_t>(str)
222 LLD_CASE(IMAGE_REL_I386_ABSOLUTE)
223 LLD_CASE(IMAGE_REL_I386_DIR32)
224 LLD_CASE(IMAGE_REL_I386_DIR32NB)
Rui Ueyamafac73322013-12-03 09:18:31 +0000225 LLD_CASE(IMAGE_REL_I386_SECTION)
226 LLD_CASE(IMAGE_REL_I386_SECREL)
Shankar Easwaran53bae6f2013-10-26 19:38:31 +0000227 LLD_CASE(IMAGE_REL_I386_REL32)
228 .Default(-1);
Rui Ueyamae1c30a42013-11-06 04:47:19 +0000229#undef LLD_CASE
Shankar Easwaran53bae6f2013-10-26 19:38:31 +0000230 if (ret == -1)
231 return make_error_code(YamlReaderError::illegal_value);
232 return ret;
Rui Ueyama9e568392013-05-28 18:13:31 +0000233}
234
235ErrorOr<std::string>
Rui Ueyama0ca149f2013-08-06 22:31:59 +0000236PECOFFLinkingContext::stringFromRelocKind(Reference::Kind kind) const {
Shankar Easwaran53bae6f2013-10-26 19:38:31 +0000237 switch (kind) {
Rui Ueyamae1c30a42013-11-06 04:47:19 +0000238#define LLD_CASE(name) \
239 case llvm::COFF::name: \
240 return std::string(#name);
241
Shankar Easwaran53bae6f2013-10-26 19:38:31 +0000242 LLD_CASE(IMAGE_REL_I386_ABSOLUTE)
243 LLD_CASE(IMAGE_REL_I386_DIR32)
244 LLD_CASE(IMAGE_REL_I386_DIR32NB)
Rui Ueyamafac73322013-12-03 09:18:31 +0000245 LLD_CASE(IMAGE_REL_I386_SECTION)
246 LLD_CASE(IMAGE_REL_I386_SECREL)
Shankar Easwaran53bae6f2013-10-26 19:38:31 +0000247 LLD_CASE(IMAGE_REL_I386_REL32)
Rui Ueyamae1c30a42013-11-06 04:47:19 +0000248#undef LLD_CASE
Shankar Easwaran53bae6f2013-10-26 19:38:31 +0000249 }
Rui Ueyamac6015f62013-10-09 00:57:22 +0000250 return make_error_code(YamlReaderError::illegal_value);
Rui Ueyama9e568392013-05-28 18:13:31 +0000251}
252
Rui Ueyama615b2002013-11-27 21:34:16 +0000253void PECOFFLinkingContext::setSectionSetMask(StringRef sectionName,
254 uint32_t newFlags) {
255 _sectionSetMask[sectionName] |= newFlags;
256 _sectionClearMask[sectionName] &= ~newFlags;
257 const uint32_t rwx = (llvm::COFF::IMAGE_SCN_MEM_READ |
258 llvm::COFF::IMAGE_SCN_MEM_WRITE |
259 llvm::COFF::IMAGE_SCN_MEM_EXECUTE);
260 if (newFlags & rwx)
261 _sectionClearMask[sectionName] |= ~_sectionSetMask[sectionName] & rwx;
262 assert((_sectionSetMask[sectionName] & _sectionClearMask[sectionName]) == 0);
263}
264
265void PECOFFLinkingContext::setSectionClearMask(StringRef sectionName,
266 uint32_t newFlags) {
267 _sectionClearMask[sectionName] |= newFlags;
268 _sectionSetMask[sectionName] &= ~newFlags;
269 assert((_sectionSetMask[sectionName] & _sectionClearMask[sectionName]) == 0);
270}
271
272uint32_t PECOFFLinkingContext::getSectionAttributes(StringRef sectionName,
273 uint32_t flags) const {
274 auto si = _sectionSetMask.find(sectionName);
275 uint32_t setMask = (si == _sectionSetMask.end()) ? 0 : si->second;
276 auto ci = _sectionClearMask.find(sectionName);
277 uint32_t clearMask = (ci == _sectionClearMask.end()) ? 0 : ci->second;
278 return (flags | setMask) & ~clearMask;
279}
280
Shankar Easwaran2bc24922013-10-29 05:12:14 +0000281void PECOFFLinkingContext::addPasses(PassManager &pm) {
Rui Ueyama1a11b3b2013-11-25 02:00:00 +0000282 pm.add(std::unique_ptr<Pass>(new pecoff::SetSubsystemPass(*this)));
Rui Ueyamac91c24e32013-12-13 06:58:27 +0000283 pm.add(std::unique_ptr<Pass>(new pecoff::EdataPass(*this)));
Rui Ueyama3ee2bf62013-09-15 22:33:15 +0000284 pm.add(std::unique_ptr<Pass>(new pecoff::IdataPass(*this)));
Rui Ueyamad95a1552013-06-17 16:59:54 +0000285 pm.add(std::unique_ptr<Pass>(new LayoutPass()));
Rui Ueyama32c3f172013-12-07 00:27:17 +0000286 pm.add(std::unique_ptr<Pass>(new pecoff::GroupedSectionsPass()));
Rui Ueyamad95a1552013-06-17 16:59:54 +0000287}
Rui Ueyama091071f2013-12-13 02:58:27 +0000288
Rui Ueyama9e568392013-05-28 18:13:31 +0000289} // end namespace lld