blob: 7cf182e6fd052d99c5421219be11cd1a91ec2598 [file] [log] [blame]
Jim Grosbach0072cdb2011-03-18 17:11:39 +00001//===-- llvm-rtdyld.cpp - MCJIT Testing Tool ------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This is a testing tool for use with the MC-JIT LLVM components.
11//
12//===----------------------------------------------------------------------===//
13
Chandler Carruth4d88a1c2012-12-04 10:44:52 +000014#include "llvm/ADT/StringMap.h"
Zachary Turner6489d7b2015-04-23 17:37:47 +000015#include "llvm/DebugInfo/DIContext.h"
16#include "llvm/DebugInfo/DWARF/DWARFContext.h"
Lang Hames633fe142015-03-30 03:37:06 +000017#include "llvm/ExecutionEngine/RTDyldMemoryManager.h"
Chandler Carruth4d88a1c2012-12-04 10:44:52 +000018#include "llvm/ExecutionEngine/RuntimeDyld.h"
Lang Hamese1c11382014-06-27 20:20:57 +000019#include "llvm/ExecutionEngine/RuntimeDyldChecker.h"
20#include "llvm/MC/MCAsmInfo.h"
21#include "llvm/MC/MCContext.h"
22#include "llvm/MC/MCDisassembler.h"
Lang Hamese1c11382014-06-27 20:20:57 +000023#include "llvm/MC/MCInstPrinter.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000024#include "llvm/MC/MCInstrInfo.h"
Lang Hamese1c11382014-06-27 20:20:57 +000025#include "llvm/MC/MCRegisterInfo.h"
Pete Cooper3de83e42015-05-15 21:58:42 +000026#include "llvm/MC/MCSubtargetInfo.h"
Rafael Espindola6e040c02013-04-26 20:07:33 +000027#include "llvm/Object/MachO.h"
Jim Grosbach0072cdb2011-03-18 17:11:39 +000028#include "llvm/Support/CommandLine.h"
Lang Hamesd311c0e2014-05-13 22:37:41 +000029#include "llvm/Support/DynamicLibrary.h"
Jim Grosbach0072cdb2011-03-18 17:11:39 +000030#include "llvm/Support/ManagedStatic.h"
31#include "llvm/Support/Memory.h"
32#include "llvm/Support/MemoryBuffer.h"
Alp Toker9f679322013-11-05 09:33:43 +000033#include "llvm/Support/PrettyStackTrace.h"
Lang Hamese1c11382014-06-27 20:20:57 +000034#include "llvm/Support/Signals.h"
35#include "llvm/Support/TargetRegistry.h"
36#include "llvm/Support/TargetSelect.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000037#include "llvm/Support/raw_ostream.h"
Lang Hames778ef5b2014-09-04 04:19:54 +000038#include <list>
Rafael Espindolaa6e9c3e2014-06-12 17:38:55 +000039#include <system_error>
Lang Hamese1c11382014-06-27 20:20:57 +000040
Jim Grosbach0072cdb2011-03-18 17:11:39 +000041using namespace llvm;
42using namespace llvm::object;
43
Jim Grosbach7cb41d72011-04-13 15:49:40 +000044static cl::list<std::string>
45InputFileList(cl::Positional, cl::ZeroOrMore,
46 cl::desc("<input file>"));
Jim Grosbach0072cdb2011-03-18 17:11:39 +000047
48enum ActionType {
Andrew Kaylord55d7012013-01-25 22:50:58 +000049 AC_Execute,
Keno Fischer281b6942015-05-30 19:44:53 +000050 AC_PrintObjectLineInfo,
Lang Hamese1c11382014-06-27 20:20:57 +000051 AC_PrintLineInfo,
Keno Fischerc780e8e2015-05-21 21:24:32 +000052 AC_PrintDebugLineInfo,
Lang Hamese1c11382014-06-27 20:20:57 +000053 AC_Verify
Jim Grosbach0072cdb2011-03-18 17:11:39 +000054};
55
56static cl::opt<ActionType>
57Action(cl::desc("Action to perform:"),
58 cl::init(AC_Execute),
59 cl::values(clEnumValN(AC_Execute, "execute",
60 "Load, link, and execute the inputs."),
Andrew Kaylord55d7012013-01-25 22:50:58 +000061 clEnumValN(AC_PrintLineInfo, "printline",
62 "Load, link, and print line information for each function."),
Keno Fischerc780e8e2015-05-21 21:24:32 +000063 clEnumValN(AC_PrintDebugLineInfo, "printdebugline",
64 "Load, link, and print line information for each function using the debug object"),
Keno Fischer281b6942015-05-30 19:44:53 +000065 clEnumValN(AC_PrintObjectLineInfo, "printobjline",
66 "Like -printlineinfo but does not load the object first"),
Lang Hamese1c11382014-06-27 20:20:57 +000067 clEnumValN(AC_Verify, "verify",
68 "Load, link and verify the resulting memory image."),
Jim Grosbach0072cdb2011-03-18 17:11:39 +000069 clEnumValEnd));
70
Jim Grosbachd35159a2011-04-13 15:38:30 +000071static cl::opt<std::string>
72EntryPoint("entry",
73 cl::desc("Function to call as entry point."),
74 cl::init("_main"));
75
Lang Hamesd311c0e2014-05-13 22:37:41 +000076static cl::list<std::string>
77Dylibs("dylib",
78 cl::desc("Add library."),
79 cl::ZeroOrMore);
80
Lang Hamese1c11382014-06-27 20:20:57 +000081static cl::opt<std::string>
82TripleName("triple", cl::desc("Target triple for disassembler"));
83
84static cl::list<std::string>
85CheckFiles("check",
86 cl::desc("File containing RuntimeDyld verifier checks."),
87 cl::ZeroOrMore);
88
Lang Hames9cb73532014-07-29 23:43:13 +000089static cl::opt<uint64_t>
90TargetAddrStart("target-addr-start",
91 cl::desc("For -verify only: start of phony target address "
92 "range."),
93 cl::init(4096), // Start at "page 1" - no allocating at "null".
94 cl::Hidden);
95
96static cl::opt<uint64_t>
97TargetAddrEnd("target-addr-end",
98 cl::desc("For -verify only: end of phony target address range."),
99 cl::init(~0ULL),
100 cl::Hidden);
101
102static cl::opt<uint64_t>
103TargetSectionSep("target-section-sep",
104 cl::desc("For -verify only: Separation between sections in "
105 "phony target address space."),
106 cl::init(0),
107 cl::Hidden);
108
Lang Hames778ef5b2014-09-04 04:19:54 +0000109static cl::list<std::string>
110SpecificSectionMappings("map-section",
111 cl::desc("Map a section to a specific address."),
112 cl::ZeroOrMore);
113
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000114/* *** */
115
Jim Grosbach2dcef0502011-04-04 23:04:39 +0000116// A trivial memory manager that doesn't do anything fancy, just uses the
117// support library allocation routines directly.
118class TrivialMemoryManager : public RTDyldMemoryManager {
119public:
Jim Grosbach3ed03f12011-04-12 00:23:32 +0000120 SmallVector<sys::MemoryBlock, 16> FunctionMemory;
Jim Grosbacheff0a402012-01-16 22:26:39 +0000121 SmallVector<sys::MemoryBlock, 16> DataMemory;
122
123 uint8_t *allocateCodeSection(uintptr_t Size, unsigned Alignment,
Craig Toppere56917c2014-03-08 08:27:28 +0000124 unsigned SectionID,
125 StringRef SectionName) override;
Jim Grosbacheff0a402012-01-16 22:26:39 +0000126 uint8_t *allocateDataSection(uintptr_t Size, unsigned Alignment,
Filip Pizlo7aa695e02013-10-02 00:59:25 +0000127 unsigned SectionID, StringRef SectionName,
Craig Toppere56917c2014-03-08 08:27:28 +0000128 bool IsReadOnly) override;
Jim Grosbach3ed03f12011-04-12 00:23:32 +0000129
Craig Toppere56917c2014-03-08 08:27:28 +0000130 void *getPointerToNamedFunction(const std::string &Name,
131 bool AbortOnFailure = true) override {
Craig Toppere6cb63e2014-04-25 04:24:47 +0000132 return nullptr;
Danil Malyshevbfee5422012-03-28 21:46:36 +0000133 }
134
Craig Toppere56917c2014-03-08 08:27:28 +0000135 bool finalizeMemory(std::string *ErrMsg) override { return false; }
Andrew Kaylora342cb92012-11-15 23:50:01 +0000136
Danil Malyshev8c17fbd2012-05-16 18:50:11 +0000137 // Invalidate instruction cache for sections with execute permissions.
138 // Some platforms with separate data cache and instruction cache require
139 // explicit cache flush, otherwise JIT code manipulations (like resolved
140 // relocations) will get to the data cache but not to the instruction cache.
141 virtual void invalidateInstructionCache();
Jim Grosbach2dcef0502011-04-04 23:04:39 +0000142};
143
Jim Grosbacheff0a402012-01-16 22:26:39 +0000144uint8_t *TrivialMemoryManager::allocateCodeSection(uintptr_t Size,
145 unsigned Alignment,
Filip Pizlo7aa695e02013-10-02 00:59:25 +0000146 unsigned SectionID,
147 StringRef SectionName) {
Craig Toppere6cb63e2014-04-25 04:24:47 +0000148 sys::MemoryBlock MB = sys::Memory::AllocateRWX(Size, nullptr, nullptr);
Danil Malyshev8c17fbd2012-05-16 18:50:11 +0000149 FunctionMemory.push_back(MB);
150 return (uint8_t*)MB.base();
Jim Grosbacheff0a402012-01-16 22:26:39 +0000151}
152
153uint8_t *TrivialMemoryManager::allocateDataSection(uintptr_t Size,
154 unsigned Alignment,
Andrew Kaylora342cb92012-11-15 23:50:01 +0000155 unsigned SectionID,
Filip Pizlo7aa695e02013-10-02 00:59:25 +0000156 StringRef SectionName,
Andrew Kaylora342cb92012-11-15 23:50:01 +0000157 bool IsReadOnly) {
Craig Toppere6cb63e2014-04-25 04:24:47 +0000158 sys::MemoryBlock MB = sys::Memory::AllocateRWX(Size, nullptr, nullptr);
Danil Malyshev8c17fbd2012-05-16 18:50:11 +0000159 DataMemory.push_back(MB);
160 return (uint8_t*)MB.base();
161}
162
163void TrivialMemoryManager::invalidateInstructionCache() {
164 for (int i = 0, e = FunctionMemory.size(); i != e; ++i)
165 sys::Memory::InvalidateInstructionCache(FunctionMemory[i].base(),
166 FunctionMemory[i].size());
167
168 for (int i = 0, e = DataMemory.size(); i != e; ++i)
169 sys::Memory::InvalidateInstructionCache(DataMemory[i].base(),
170 DataMemory[i].size());
Jim Grosbacheff0a402012-01-16 22:26:39 +0000171}
172
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000173static const char *ProgramName;
174
175static void Message(const char *Type, const Twine &Msg) {
176 errs() << ProgramName << ": " << Type << ": " << Msg << "\n";
177}
178
179static int Error(const Twine &Msg) {
180 Message("error", Msg);
181 return 1;
182}
183
Lang Hamesd311c0e2014-05-13 22:37:41 +0000184static void loadDylibs() {
185 for (const std::string &Dylib : Dylibs) {
186 if (sys::fs::is_regular_file(Dylib)) {
187 std::string ErrMsg;
188 if (sys::DynamicLibrary::LoadLibraryPermanently(Dylib.c_str(), &ErrMsg))
189 llvm::errs() << "Error loading '" << Dylib << "': "
190 << ErrMsg << "\n";
191 } else
192 llvm::errs() << "Dylib not found: '" << Dylib << "'.\n";
193 }
194}
195
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000196/* *** */
197
Keno Fischerc780e8e2015-05-21 21:24:32 +0000198static int printLineInfoForInput(bool LoadObjects, bool UseDebugObj) {
199 assert(LoadObjects || !UseDebugObj);
200
Lang Hamesd311c0e2014-05-13 22:37:41 +0000201 // Load any dylibs requested on the command line.
202 loadDylibs();
203
Andrew Kaylord55d7012013-01-25 22:50:58 +0000204 // If we don't have any input files, read from stdin.
205 if (!InputFileList.size())
206 InputFileList.push_back("-");
207 for(unsigned i = 0, e = InputFileList.size(); i != e; ++i) {
208 // Instantiate a dynamic linker.
Benjamin Kramer9ce77082013-08-03 22:16:31 +0000209 TrivialMemoryManager MemMgr;
Lang Hames633fe142015-03-30 03:37:06 +0000210 RuntimeDyld Dyld(MemMgr, MemMgr);
Andrew Kaylord55d7012013-01-25 22:50:58 +0000211
212 // Load the input memory buffer.
Andrew Kaylord55d7012013-01-25 22:50:58 +0000213
Rafael Espindolaadf21f22014-07-06 17:43:13 +0000214 ErrorOr<std::unique_ptr<MemoryBuffer>> InputBuffer =
215 MemoryBuffer::getFileOrSTDIN(InputFileList[i]);
216 if (std::error_code EC = InputBuffer.getError())
217 return Error("unable to read input: '" + EC.message() + "'");
218
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000219 ErrorOr<std::unique_ptr<ObjectFile>> MaybeObj(
220 ObjectFile::createObjectFile((*InputBuffer)->getMemBufferRef()));
221
222 if (std::error_code EC = MaybeObj.getError())
223 return Error("unable to create object file: '" + EC.message() + "'");
224
225 ObjectFile &Obj = **MaybeObj;
226
Keno Fischerc780e8e2015-05-21 21:24:32 +0000227 OwningBinary<ObjectFile> DebugObj;
228 std::unique_ptr<RuntimeDyld::LoadedObjectInfo> LoadedObjInfo = nullptr;
229 ObjectFile *SymbolObj = &Obj;
230 if (LoadObjects) {
231 // Load the object file
232 LoadedObjInfo =
233 Dyld.loadObject(Obj);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000234
Keno Fischerc780e8e2015-05-21 21:24:32 +0000235 if (Dyld.hasError())
236 return Error(Dyld.getErrorString());
Andrew Kaylord55d7012013-01-25 22:50:58 +0000237
Keno Fischerc780e8e2015-05-21 21:24:32 +0000238 // Resolve all the relocations we can.
239 Dyld.resolveRelocations();
Andrew Kaylord55d7012013-01-25 22:50:58 +0000240
Keno Fischerc780e8e2015-05-21 21:24:32 +0000241 if (UseDebugObj) {
242 DebugObj = LoadedObjInfo->getObjectForDebug(Obj);
243 SymbolObj = DebugObj.getBinary();
244 }
245 }
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000246
Ahmed Charles56440fd2014-03-06 05:51:42 +0000247 std::unique_ptr<DIContext> Context(
Keno Fischerc780e8e2015-05-21 21:24:32 +0000248 new DWARFContextInMemory(*SymbolObj,LoadedObjInfo.get()));
Andrew Kaylord55d7012013-01-25 22:50:58 +0000249
250 // Use symbol info to iterate functions in the object.
Rafael Espindolada176272015-05-31 22:13:51 +0000251 for (object::SymbolRef Sym : SymbolObj->symbols()) {
Andrew Kaylord55d7012013-01-25 22:50:58 +0000252 object::SymbolRef::Type SymType;
Rafael Espindolada176272015-05-31 22:13:51 +0000253 if (Sym.getType(SymType))
254 continue;
Andrew Kaylord55d7012013-01-25 22:50:58 +0000255 if (SymType == object::SymbolRef::ST_Function) {
256 StringRef Name;
257 uint64_t Addr;
258 uint64_t Size;
Rafael Espindolada176272015-05-31 22:13:51 +0000259 if (Sym.getName(Name))
260 continue;
261 if (Sym.getAddress(Addr))
262 continue;
263 if (Sym.getSize(Size))
264 continue;
Andrew Kaylord55d7012013-01-25 22:50:58 +0000265
Keno Fischerc780e8e2015-05-21 21:24:32 +0000266 // If we're not using the debug object, compute the address of the
267 // symbol in memory (rather than that in the unrelocated object file)
268 // and use that to query the DWARFContext.
269 if (!UseDebugObj && LoadObjects) {
270 object::section_iterator Sec(SymbolObj->section_end());
Rafael Espindolada176272015-05-31 22:13:51 +0000271 Sym.getSection(Sec);
Keno Fischerc780e8e2015-05-21 21:24:32 +0000272 StringRef SecName;
273 Sec->getName(SecName);
274 uint64_t SectionLoadAddress =
275 LoadedObjInfo->getSectionLoadAddress(SecName);
276 if (SectionLoadAddress != 0)
277 Addr += SectionLoadAddress - Sec->getAddress();
278 }
279
280 outs() << "Function: " << Name << ", Size = " << Size << ", Addr = " << Addr << "\n";
Andrew Kaylord55d7012013-01-25 22:50:58 +0000281
Andrew Kaylor9a8ff812013-01-26 00:28:05 +0000282 DILineInfoTable Lines = Context->getLineInfoForAddressRange(Addr, Size);
283 DILineInfoTable::iterator Begin = Lines.begin();
284 DILineInfoTable::iterator End = Lines.end();
285 for (DILineInfoTable::iterator It = Begin; It != End; ++It) {
286 outs() << " Line info @ " << It->first - Addr << ": "
Alexey Samsonovd0109992014-04-18 21:36:39 +0000287 << It->second.FileName << ", line:" << It->second.Line << "\n";
Andrew Kaylor9a8ff812013-01-26 00:28:05 +0000288 }
Andrew Kaylord55d7012013-01-25 22:50:58 +0000289 }
290 }
291 }
292
293 return 0;
294}
295
Jim Grosbach4d5284b2011-03-18 17:24:21 +0000296static int executeInput() {
Lang Hamesd311c0e2014-05-13 22:37:41 +0000297 // Load any dylibs requested on the command line.
298 loadDylibs();
299
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000300 // Instantiate a dynamic linker.
Benjamin Kramer9ce77082013-08-03 22:16:31 +0000301 TrivialMemoryManager MemMgr;
Lang Hames633fe142015-03-30 03:37:06 +0000302 RuntimeDyld Dyld(MemMgr, MemMgr);
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000303
Lang Hamesc3246ad2015-04-15 21:18:41 +0000304 // FIXME: Preserve buffers until resolveRelocations time to work around a bug
305 // in RuntimeDyldELF.
306 // This fixme should be fixed ASAP. This is a very brittle workaround.
307 std::vector<std::unique_ptr<MemoryBuffer>> InputBuffers;
308
Jim Grosbach7cb41d72011-04-13 15:49:40 +0000309 // If we don't have any input files, read from stdin.
310 if (!InputFileList.size())
311 InputFileList.push_back("-");
312 for(unsigned i = 0, e = InputFileList.size(); i != e; ++i) {
313 // Load the input memory buffer.
Rafael Espindolaadf21f22014-07-06 17:43:13 +0000314 ErrorOr<std::unique_ptr<MemoryBuffer>> InputBuffer =
315 MemoryBuffer::getFileOrSTDIN(InputFileList[i]);
316 if (std::error_code EC = InputBuffer.getError())
317 return Error("unable to read input: '" + EC.message() + "'");
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000318 ErrorOr<std::unique_ptr<ObjectFile>> MaybeObj(
319 ObjectFile::createObjectFile((*InputBuffer)->getMemBufferRef()));
320
321 if (std::error_code EC = MaybeObj.getError())
322 return Error("unable to create object file: '" + EC.message() + "'");
323
324 ObjectFile &Obj = **MaybeObj;
Lang Hamesc3246ad2015-04-15 21:18:41 +0000325 InputBuffers.push_back(std::move(*InputBuffer));
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000326
Andrew Kayloradc70562012-10-02 21:18:39 +0000327 // Load the object file
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000328 Dyld.loadObject(Obj);
329 if (Dyld.hasError()) {
Jim Grosbach7cb41d72011-04-13 15:49:40 +0000330 return Error(Dyld.getErrorString());
331 }
Jim Grosbach40411cc2011-03-22 18:19:42 +0000332 }
Jim Grosbach7cb41d72011-04-13 15:49:40 +0000333
Jim Grosbach733d3052011-04-12 21:20:41 +0000334 // Resolve all the relocations we can.
335 Dyld.resolveRelocations();
Danil Malyshev8c17fbd2012-05-16 18:50:11 +0000336 // Clear instruction cache before code will be executed.
Benjamin Kramer5d62ad22013-08-03 22:18:45 +0000337 MemMgr.invalidateInstructionCache();
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000338
Jim Grosbach7cb41d72011-04-13 15:49:40 +0000339 // FIXME: Error out if there are unresolved relocations.
340
Jim Grosbachd35159a2011-04-13 15:38:30 +0000341 // Get the address of the entry point (_main by default).
Lang Hamesb1186032015-03-11 00:43:26 +0000342 void *MainAddress = Dyld.getSymbolLocalAddress(EntryPoint);
Craig Toppere6cb63e2014-04-25 04:24:47 +0000343 if (!MainAddress)
Jim Grosbachd35159a2011-04-13 15:38:30 +0000344 return Error("no definition for '" + EntryPoint + "'");
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000345
Jim Grosbach3ed03f12011-04-12 00:23:32 +0000346 // Invalidate the instruction cache for each loaded function.
Benjamin Kramer5d62ad22013-08-03 22:18:45 +0000347 for (unsigned i = 0, e = MemMgr.FunctionMemory.size(); i != e; ++i) {
348 sys::MemoryBlock &Data = MemMgr.FunctionMemory[i];
Jim Grosbach3ed03f12011-04-12 00:23:32 +0000349 // Make sure the memory is executable.
350 std::string ErrorStr;
351 sys::Memory::InvalidateInstructionCache(Data.base(), Data.size());
352 if (!sys::Memory::setExecutable(Data, &ErrorStr))
353 return Error("unable to mark function executable: '" + ErrorStr + "'");
354 }
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000355
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000356 // Dispatch to _main().
Jim Grosbach7cb41d72011-04-13 15:49:40 +0000357 errs() << "loaded '" << EntryPoint << "' at: " << (void*)MainAddress << "\n";
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000358
359 int (*Main)(int, const char**) =
360 (int(*)(int,const char**)) uintptr_t(MainAddress);
361 const char **Argv = new const char*[2];
Jim Grosbach7cb41d72011-04-13 15:49:40 +0000362 // Use the name of the first input object module as argv[0] for the target.
363 Argv[0] = InputFileList[0].c_str();
Craig Toppere6cb63e2014-04-25 04:24:47 +0000364 Argv[1] = nullptr;
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000365 return Main(1, Argv);
366}
367
Lang Hamese1c11382014-06-27 20:20:57 +0000368static int checkAllExpressions(RuntimeDyldChecker &Checker) {
369 for (const auto& CheckerFileName : CheckFiles) {
Rafael Espindolaadf21f22014-07-06 17:43:13 +0000370 ErrorOr<std::unique_ptr<MemoryBuffer>> CheckerFileBuf =
371 MemoryBuffer::getFileOrSTDIN(CheckerFileName);
372 if (std::error_code EC = CheckerFileBuf.getError())
Lang Hamese1c11382014-06-27 20:20:57 +0000373 return Error("unable to read input '" + CheckerFileName + "': " +
374 EC.message());
375
Rafael Espindolaadf21f22014-07-06 17:43:13 +0000376 if (!Checker.checkAllRulesInBuffer("# rtdyld-check:",
377 CheckerFileBuf.get().get()))
Lang Hamese1c11382014-06-27 20:20:57 +0000378 return Error("some checks in '" + CheckerFileName + "' failed");
379 }
380 return 0;
381}
382
Benjamin Kramerf044d3f2015-03-09 16:23:46 +0000383static std::map<void *, uint64_t>
Lang Hames778ef5b2014-09-04 04:19:54 +0000384applySpecificSectionMappings(RuntimeDyldChecker &Checker) {
385
386 std::map<void*, uint64_t> SpecificMappings;
387
388 for (StringRef Mapping : SpecificSectionMappings) {
389
390 size_t EqualsIdx = Mapping.find_first_of("=");
391 StringRef SectionIDStr = Mapping.substr(0, EqualsIdx);
392 size_t ComaIdx = Mapping.find_first_of(",");
393
394 if (ComaIdx == StringRef::npos) {
395 errs() << "Invalid section specification '" << Mapping
396 << "'. Should be '<file name>,<section name>=<addr>'\n";
397 exit(1);
398 }
399
400 StringRef FileName = SectionIDStr.substr(0, ComaIdx);
401 StringRef SectionName = SectionIDStr.substr(ComaIdx + 1);
402
403 uint64_t OldAddrInt;
404 std::string ErrorMsg;
405 std::tie(OldAddrInt, ErrorMsg) =
406 Checker.getSectionAddr(FileName, SectionName, true);
407
408 if (ErrorMsg != "") {
409 errs() << ErrorMsg;
410 exit(1);
411 }
412
413 void* OldAddr = reinterpret_cast<void*>(static_cast<uintptr_t>(OldAddrInt));
414
415 StringRef NewAddrStr = Mapping.substr(EqualsIdx + 1);
416 uint64_t NewAddr;
417
418 if (NewAddrStr.getAsInteger(0, NewAddr)) {
419 errs() << "Invalid section address in mapping: " << Mapping << "\n";
420 exit(1);
421 }
422
423 Checker.getRTDyld().mapSectionAddress(OldAddr, NewAddr);
424 SpecificMappings[OldAddr] = NewAddr;
425 }
426
427 return SpecificMappings;
428}
429
Lang Hames9cb73532014-07-29 23:43:13 +0000430// Scatter sections in all directions!
431// Remaps section addresses for -verify mode. The following command line options
432// can be used to customize the layout of the memory within the phony target's
433// address space:
434// -target-addr-start <s> -- Specify where the phony target addres range starts.
435// -target-addr-end <e> -- Specify where the phony target address range ends.
436// -target-section-sep <d> -- Specify how big a gap should be left between the
437// end of one section and the start of the next.
438// Defaults to zero. Set to something big
439// (e.g. 1 << 32) to stress-test stubs, GOTs, etc.
440//
Benjamin Kramerf044d3f2015-03-09 16:23:46 +0000441static void remapSections(const llvm::Triple &TargetTriple,
442 const TrivialMemoryManager &MemMgr,
443 RuntimeDyldChecker &Checker) {
Lang Hames778ef5b2014-09-04 04:19:54 +0000444
445 // Set up a work list (section addr/size pairs).
446 typedef std::list<std::pair<void*, uint64_t>> WorklistT;
447 WorklistT Worklist;
448
449 for (const auto& CodeSection : MemMgr.FunctionMemory)
450 Worklist.push_back(std::make_pair(CodeSection.base(), CodeSection.size()));
451 for (const auto& DataSection : MemMgr.DataMemory)
452 Worklist.push_back(std::make_pair(DataSection.base(), DataSection.size()));
453
454 // Apply any section-specific mappings that were requested on the command
455 // line.
456 typedef std::map<void*, uint64_t> AppliedMappingsT;
457 AppliedMappingsT AppliedMappings = applySpecificSectionMappings(Checker);
458
459 // Keep an "already allocated" mapping of section target addresses to sizes.
460 // Sections whose address mappings aren't specified on the command line will
461 // allocated around the explicitly mapped sections while maintaining the
462 // minimum separation.
463 std::map<uint64_t, uint64_t> AlreadyAllocated;
464
465 // Move the previously applied mappings into the already-allocated map.
466 for (WorklistT::iterator I = Worklist.begin(), E = Worklist.end();
467 I != E;) {
468 WorklistT::iterator Tmp = I;
469 ++I;
470 AppliedMappingsT::iterator AI = AppliedMappings.find(Tmp->first);
471
472 if (AI != AppliedMappings.end()) {
473 AlreadyAllocated[AI->second] = Tmp->second;
474 Worklist.erase(Tmp);
475 }
476 }
Lang Hames9cb73532014-07-29 23:43:13 +0000477
478 // If the -target-addr-end option wasn't explicitly passed, then set it to a
479 // sensible default based on the target triple.
480 if (TargetAddrEnd.getNumOccurrences() == 0) {
481 if (TargetTriple.isArch16Bit())
482 TargetAddrEnd = (1ULL << 16) - 1;
483 else if (TargetTriple.isArch32Bit())
484 TargetAddrEnd = (1ULL << 32) - 1;
485 // TargetAddrEnd already has a sensible default for 64-bit systems, so
486 // there's nothing to do in the 64-bit case.
487 }
488
Lang Hames778ef5b2014-09-04 04:19:54 +0000489 // Process any elements remaining in the worklist.
490 while (!Worklist.empty()) {
491 std::pair<void*, uint64_t> CurEntry = Worklist.front();
492 Worklist.pop_front();
Lang Hames9cb73532014-07-29 23:43:13 +0000493
Lang Hames778ef5b2014-09-04 04:19:54 +0000494 uint64_t NextSectionAddr = TargetAddrStart;
495
496 for (const auto &Alloc : AlreadyAllocated)
497 if (NextSectionAddr + CurEntry.second + TargetSectionSep <= Alloc.first)
498 break;
499 else
500 NextSectionAddr = Alloc.first + Alloc.second + TargetSectionSep;
501
502 AlreadyAllocated[NextSectionAddr] = CurEntry.second;
503 Checker.getRTDyld().mapSectionAddress(CurEntry.first, NextSectionAddr);
Lang Hames9cb73532014-07-29 23:43:13 +0000504 }
505
Lang Hames9cb73532014-07-29 23:43:13 +0000506}
507
508// Load and link the objects specified on the command line, but do not execute
509// anything. Instead, attach a RuntimeDyldChecker instance and call it to
510// verify the correctness of the linked memory.
Lang Hamese1c11382014-06-27 20:20:57 +0000511static int linkAndVerify() {
512
513 // Check for missing triple.
514 if (TripleName == "") {
515 llvm::errs() << "Error: -triple required when running in -verify mode.\n";
516 return 1;
517 }
518
519 // Look up the target and build the disassembler.
520 Triple TheTriple(Triple::normalize(TripleName));
521 std::string ErrorStr;
522 const Target *TheTarget =
523 TargetRegistry::lookupTarget("", TheTriple, ErrorStr);
524 if (!TheTarget) {
525 llvm::errs() << "Error accessing target '" << TripleName << "': "
526 << ErrorStr << "\n";
527 return 1;
528 }
529 TripleName = TheTriple.getTriple();
530
531 std::unique_ptr<MCSubtargetInfo> STI(
532 TheTarget->createMCSubtargetInfo(TripleName, "", ""));
533 assert(STI && "Unable to create subtarget info!");
534
535 std::unique_ptr<MCRegisterInfo> MRI(TheTarget->createMCRegInfo(TripleName));
536 assert(MRI && "Unable to create target register info!");
537
538 std::unique_ptr<MCAsmInfo> MAI(TheTarget->createMCAsmInfo(*MRI, TripleName));
539 assert(MAI && "Unable to create target asm info!");
540
541 MCContext Ctx(MAI.get(), MRI.get(), nullptr);
542
543 std::unique_ptr<MCDisassembler> Disassembler(
544 TheTarget->createMCDisassembler(*STI, Ctx));
545 assert(Disassembler && "Unable to create disassembler!");
546
547 std::unique_ptr<MCInstrInfo> MII(TheTarget->createMCInstrInfo());
548
549 std::unique_ptr<MCInstPrinter> InstPrinter(
Eric Christopherf8019402015-03-31 00:10:04 +0000550 TheTarget->createMCInstPrinter(Triple(TripleName), 0, *MAI, *MII, *MRI));
Lang Hamese1c11382014-06-27 20:20:57 +0000551
552 // Load any dylibs requested on the command line.
553 loadDylibs();
554
555 // Instantiate a dynamic linker.
556 TrivialMemoryManager MemMgr;
Lang Hames633fe142015-03-30 03:37:06 +0000557 RuntimeDyld Dyld(MemMgr, MemMgr);
Lang Hames925e51b2014-09-03 05:42:52 +0000558 Dyld.setProcessAllSections(true);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000559 RuntimeDyldChecker Checker(Dyld, Disassembler.get(), InstPrinter.get(),
560 llvm::dbgs());
Lang Hamese1c11382014-06-27 20:20:57 +0000561
Lang Hamesc3246ad2015-04-15 21:18:41 +0000562 // FIXME: Preserve buffers until resolveRelocations time to work around a bug
563 // in RuntimeDyldELF.
564 // This fixme should be fixed ASAP. This is a very brittle workaround.
565 std::vector<std::unique_ptr<MemoryBuffer>> InputBuffers;
566
Lang Hamese1c11382014-06-27 20:20:57 +0000567 // If we don't have any input files, read from stdin.
568 if (!InputFileList.size())
569 InputFileList.push_back("-");
570 for(unsigned i = 0, e = InputFileList.size(); i != e; ++i) {
571 // Load the input memory buffer.
Rafael Espindolaadf21f22014-07-06 17:43:13 +0000572 ErrorOr<std::unique_ptr<MemoryBuffer>> InputBuffer =
573 MemoryBuffer::getFileOrSTDIN(InputFileList[i]);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000574
Rafael Espindolaadf21f22014-07-06 17:43:13 +0000575 if (std::error_code EC = InputBuffer.getError())
576 return Error("unable to read input: '" + EC.message() + "'");
Lang Hamese1c11382014-06-27 20:20:57 +0000577
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000578 ErrorOr<std::unique_ptr<ObjectFile>> MaybeObj(
579 ObjectFile::createObjectFile((*InputBuffer)->getMemBufferRef()));
580
581 if (std::error_code EC = MaybeObj.getError())
582 return Error("unable to create object file: '" + EC.message() + "'");
583
584 ObjectFile &Obj = **MaybeObj;
Lang Hamesc3246ad2015-04-15 21:18:41 +0000585 InputBuffers.push_back(std::move(*InputBuffer));
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000586
Lang Hamese1c11382014-06-27 20:20:57 +0000587 // Load the object file
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000588 Dyld.loadObject(Obj);
589 if (Dyld.hasError()) {
Lang Hamese1c11382014-06-27 20:20:57 +0000590 return Error(Dyld.getErrorString());
591 }
592 }
593
Lang Hames375385f2014-07-30 03:12:41 +0000594 // Re-map the section addresses into the phony target address space.
Lang Hames778ef5b2014-09-04 04:19:54 +0000595 remapSections(TheTriple, MemMgr, Checker);
Lang Hames375385f2014-07-30 03:12:41 +0000596
Lang Hamese1c11382014-06-27 20:20:57 +0000597 // Resolve all the relocations we can.
598 Dyld.resolveRelocations();
599
Lang Hames925e51b2014-09-03 05:42:52 +0000600 // Register EH frames.
601 Dyld.registerEHFrames();
602
Lang Hamesae172682014-08-05 20:51:46 +0000603 int ErrorCode = checkAllExpressions(Checker);
604 if (Dyld.hasError()) {
605 errs() << "RTDyld reported an error applying relocations:\n "
606 << Dyld.getErrorString() << "\n";
607 ErrorCode = 1;
608 }
609
610 return ErrorCode;
Lang Hamese1c11382014-06-27 20:20:57 +0000611}
612
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000613int main(int argc, char **argv) {
Alp Toker9f679322013-11-05 09:33:43 +0000614 sys::PrintStackTraceOnErrorSignal();
615 PrettyStackTraceProgram X(argc, argv);
616
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000617 ProgramName = argv[0];
618 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
619
Lang Hamese1c11382014-06-27 20:20:57 +0000620 llvm::InitializeAllTargetInfos();
621 llvm::InitializeAllTargetMCs();
622 llvm::InitializeAllDisassemblers();
623
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000624 cl::ParseCommandLineOptions(argc, argv, "llvm MC-JIT tool\n");
625
626 switch (Action) {
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000627 case AC_Execute:
Jim Grosbach4d5284b2011-03-18 17:24:21 +0000628 return executeInput();
Keno Fischerc780e8e2015-05-21 21:24:32 +0000629 case AC_PrintDebugLineInfo:
Keno Fischer281b6942015-05-30 19:44:53 +0000630 return printLineInfoForInput(/* LoadObjects */ true,/* UseDebugObj */ true);
Andrew Kaylord55d7012013-01-25 22:50:58 +0000631 case AC_PrintLineInfo:
Keno Fischer281b6942015-05-30 19:44:53 +0000632 return printLineInfoForInput(/* LoadObjects */ true,/* UseDebugObj */false);
633 case AC_PrintObjectLineInfo:
634 return printLineInfoForInput(/* LoadObjects */false,/* UseDebugObj */false);
Lang Hamese1c11382014-06-27 20:20:57 +0000635 case AC_Verify:
636 return linkAndVerify();
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000637 }
Jim Grosbach0072cdb2011-03-18 17:11:39 +0000638}