blob: 45734f4b7ba6fd4c81816347f352eca7def72b7b [file] [log] [blame]
Jim Grosbach1cb19a42011-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 Carruthf010c462012-12-04 10:44:52 +000014#include "llvm/ADT/StringMap.h"
Andrew Kayloree7c0d22013-01-25 22:50:58 +000015#include "llvm/DebugInfo/DIContext.h"
Andrew Kaylor3f23cef2012-10-02 21:18:39 +000016#include "llvm/ExecutionEngine/ObjectBuffer.h"
Chandler Carruthf010c462012-12-04 10:44:52 +000017#include "llvm/ExecutionEngine/ObjectImage.h"
18#include "llvm/ExecutionEngine/RuntimeDyld.h"
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -070019#include "llvm/ExecutionEngine/RuntimeDyldChecker.h"
20#include "llvm/MC/MCAsmInfo.h"
21#include "llvm/MC/MCContext.h"
22#include "llvm/MC/MCDisassembler.h"
23#include "llvm/MC/MCInstrInfo.h"
24#include "llvm/MC/MCInstPrinter.h"
25#include "llvm/MC/MCRegisterInfo.h"
Rafael Espindola2173e182013-04-26 20:07:33 +000026#include "llvm/Object/MachO.h"
Jim Grosbach1cb19a42011-03-18 17:11:39 +000027#include "llvm/Support/CommandLine.h"
Stephen Hinesdce4a402014-05-29 02:49:00 -070028#include "llvm/Support/DynamicLibrary.h"
Jim Grosbach1cb19a42011-03-18 17:11:39 +000029#include "llvm/Support/ManagedStatic.h"
30#include "llvm/Support/Memory.h"
31#include "llvm/Support/MemoryBuffer.h"
Alp Toker4d6b6952013-11-05 09:33:43 +000032#include "llvm/Support/PrettyStackTrace.h"
Jim Grosbach1cb19a42011-03-18 17:11:39 +000033#include "llvm/Support/raw_ostream.h"
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -070034#include "llvm/Support/Signals.h"
35#include "llvm/Support/TargetRegistry.h"
36#include "llvm/Support/TargetSelect.h"
37#include <system_error>
38
Jim Grosbach1cb19a42011-03-18 17:11:39 +000039using namespace llvm;
40using namespace llvm::object;
41
Jim Grosbach4f9f41f2011-04-13 15:49:40 +000042static cl::list<std::string>
43InputFileList(cl::Positional, cl::ZeroOrMore,
44 cl::desc("<input file>"));
Jim Grosbach1cb19a42011-03-18 17:11:39 +000045
46enum ActionType {
Andrew Kayloree7c0d22013-01-25 22:50:58 +000047 AC_Execute,
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -070048 AC_PrintLineInfo,
49 AC_Verify
Jim Grosbach1cb19a42011-03-18 17:11:39 +000050};
51
52static cl::opt<ActionType>
53Action(cl::desc("Action to perform:"),
54 cl::init(AC_Execute),
55 cl::values(clEnumValN(AC_Execute, "execute",
56 "Load, link, and execute the inputs."),
Andrew Kayloree7c0d22013-01-25 22:50:58 +000057 clEnumValN(AC_PrintLineInfo, "printline",
58 "Load, link, and print line information for each function."),
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -070059 clEnumValN(AC_Verify, "verify",
60 "Load, link and verify the resulting memory image."),
Jim Grosbach1cb19a42011-03-18 17:11:39 +000061 clEnumValEnd));
62
Jim Grosbach6b32e7e2011-04-13 15:38:30 +000063static cl::opt<std::string>
64EntryPoint("entry",
65 cl::desc("Function to call as entry point."),
66 cl::init("_main"));
67
Stephen Hinesdce4a402014-05-29 02:49:00 -070068static cl::list<std::string>
69Dylibs("dylib",
70 cl::desc("Add library."),
71 cl::ZeroOrMore);
72
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -070073static cl::opt<std::string>
74TripleName("triple", cl::desc("Target triple for disassembler"));
75
76static cl::list<std::string>
77CheckFiles("check",
78 cl::desc("File containing RuntimeDyld verifier checks."),
79 cl::ZeroOrMore);
80
Jim Grosbach1cb19a42011-03-18 17:11:39 +000081/* *** */
82
Jim Grosbachfcbe5b72011-04-04 23:04:39 +000083// A trivial memory manager that doesn't do anything fancy, just uses the
84// support library allocation routines directly.
85class TrivialMemoryManager : public RTDyldMemoryManager {
86public:
Jim Grosbach7cbf92d2011-04-12 00:23:32 +000087 SmallVector<sys::MemoryBlock, 16> FunctionMemory;
Jim Grosbach61425c02012-01-16 22:26:39 +000088 SmallVector<sys::MemoryBlock, 16> DataMemory;
89
90 uint8_t *allocateCodeSection(uintptr_t Size, unsigned Alignment,
Stephen Hines36b56882014-04-23 16:57:46 -070091 unsigned SectionID,
92 StringRef SectionName) override;
Jim Grosbach61425c02012-01-16 22:26:39 +000093 uint8_t *allocateDataSection(uintptr_t Size, unsigned Alignment,
Filip Pizlo6eb43d22013-10-02 00:59:25 +000094 unsigned SectionID, StringRef SectionName,
Stephen Hines36b56882014-04-23 16:57:46 -070095 bool IsReadOnly) override;
Jim Grosbach7cbf92d2011-04-12 00:23:32 +000096
Stephen Hines36b56882014-04-23 16:57:46 -070097 void *getPointerToNamedFunction(const std::string &Name,
98 bool AbortOnFailure = true) override {
Stephen Hinesdce4a402014-05-29 02:49:00 -070099 return nullptr;
Danil Malyshev30b9e322012-03-28 21:46:36 +0000100 }
101
Stephen Hines36b56882014-04-23 16:57:46 -0700102 bool finalizeMemory(std::string *ErrMsg) override { return false; }
Andrew Kaylor53608a32012-11-15 23:50:01 +0000103
Danil Malyshev068c65b2012-05-16 18:50:11 +0000104 // Invalidate instruction cache for sections with execute permissions.
105 // Some platforms with separate data cache and instruction cache require
106 // explicit cache flush, otherwise JIT code manipulations (like resolved
107 // relocations) will get to the data cache but not to the instruction cache.
108 virtual void invalidateInstructionCache();
Jim Grosbachfcbe5b72011-04-04 23:04:39 +0000109};
110
Jim Grosbach61425c02012-01-16 22:26:39 +0000111uint8_t *TrivialMemoryManager::allocateCodeSection(uintptr_t Size,
112 unsigned Alignment,
Filip Pizlo6eb43d22013-10-02 00:59:25 +0000113 unsigned SectionID,
114 StringRef SectionName) {
Stephen Hinesdce4a402014-05-29 02:49:00 -0700115 sys::MemoryBlock MB = sys::Memory::AllocateRWX(Size, nullptr, nullptr);
Danil Malyshev068c65b2012-05-16 18:50:11 +0000116 FunctionMemory.push_back(MB);
117 return (uint8_t*)MB.base();
Jim Grosbach61425c02012-01-16 22:26:39 +0000118}
119
120uint8_t *TrivialMemoryManager::allocateDataSection(uintptr_t Size,
121 unsigned Alignment,
Andrew Kaylor53608a32012-11-15 23:50:01 +0000122 unsigned SectionID,
Filip Pizlo6eb43d22013-10-02 00:59:25 +0000123 StringRef SectionName,
Andrew Kaylor53608a32012-11-15 23:50:01 +0000124 bool IsReadOnly) {
Stephen Hinesdce4a402014-05-29 02:49:00 -0700125 sys::MemoryBlock MB = sys::Memory::AllocateRWX(Size, nullptr, nullptr);
Danil Malyshev068c65b2012-05-16 18:50:11 +0000126 DataMemory.push_back(MB);
127 return (uint8_t*)MB.base();
128}
129
130void TrivialMemoryManager::invalidateInstructionCache() {
131 for (int i = 0, e = FunctionMemory.size(); i != e; ++i)
132 sys::Memory::InvalidateInstructionCache(FunctionMemory[i].base(),
133 FunctionMemory[i].size());
134
135 for (int i = 0, e = DataMemory.size(); i != e; ++i)
136 sys::Memory::InvalidateInstructionCache(DataMemory[i].base(),
137 DataMemory[i].size());
Jim Grosbach61425c02012-01-16 22:26:39 +0000138}
139
Jim Grosbach1cb19a42011-03-18 17:11:39 +0000140static const char *ProgramName;
141
142static void Message(const char *Type, const Twine &Msg) {
143 errs() << ProgramName << ": " << Type << ": " << Msg << "\n";
144}
145
146static int Error(const Twine &Msg) {
147 Message("error", Msg);
148 return 1;
149}
150
Stephen Hinesdce4a402014-05-29 02:49:00 -0700151static void loadDylibs() {
152 for (const std::string &Dylib : Dylibs) {
153 if (sys::fs::is_regular_file(Dylib)) {
154 std::string ErrMsg;
155 if (sys::DynamicLibrary::LoadLibraryPermanently(Dylib.c_str(), &ErrMsg))
156 llvm::errs() << "Error loading '" << Dylib << "': "
157 << ErrMsg << "\n";
158 } else
159 llvm::errs() << "Dylib not found: '" << Dylib << "'.\n";
160 }
161}
162
Jim Grosbach1cb19a42011-03-18 17:11:39 +0000163/* *** */
164
Andrew Kayloree7c0d22013-01-25 22:50:58 +0000165static int printLineInfoForInput() {
Stephen Hinesdce4a402014-05-29 02:49:00 -0700166 // Load any dylibs requested on the command line.
167 loadDylibs();
168
Andrew Kayloree7c0d22013-01-25 22:50:58 +0000169 // If we don't have any input files, read from stdin.
170 if (!InputFileList.size())
171 InputFileList.push_back("-");
172 for(unsigned i = 0, e = InputFileList.size(); i != e; ++i) {
173 // Instantiate a dynamic linker.
Benjamin Kramera757e932013-08-03 22:16:31 +0000174 TrivialMemoryManager MemMgr;
175 RuntimeDyld Dyld(&MemMgr);
Andrew Kayloree7c0d22013-01-25 22:50:58 +0000176
177 // Load the input memory buffer.
Andrew Kayloree7c0d22013-01-25 22:50:58 +0000178
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -0700179 ErrorOr<std::unique_ptr<MemoryBuffer>> InputBuffer =
180 MemoryBuffer::getFileOrSTDIN(InputFileList[i]);
181 if (std::error_code EC = InputBuffer.getError())
182 return Error("unable to read input: '" + EC.message() + "'");
183
184 std::unique_ptr<ObjectImage> LoadedObject;
Andrew Kayloree7c0d22013-01-25 22:50:58 +0000185 // Load the object file
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -0700186 LoadedObject.reset(
187 Dyld.loadObject(new ObjectBuffer(InputBuffer.get().release())));
Andrew Kayloree7c0d22013-01-25 22:50:58 +0000188 if (!LoadedObject) {
189 return Error(Dyld.getErrorString());
190 }
191
192 // Resolve all the relocations we can.
193 Dyld.resolveRelocations();
194
Stephen Hines36b56882014-04-23 16:57:46 -0700195 std::unique_ptr<DIContext> Context(
196 DIContext::getDWARFContext(LoadedObject->getObjectFile()));
Andrew Kayloree7c0d22013-01-25 22:50:58 +0000197
198 // Use symbol info to iterate functions in the object.
Andrew Kayloree7c0d22013-01-25 22:50:58 +0000199 for (object::symbol_iterator I = LoadedObject->begin_symbols(),
200 E = LoadedObject->end_symbols();
Stephen Hines36b56882014-04-23 16:57:46 -0700201 I != E; ++I) {
Andrew Kayloree7c0d22013-01-25 22:50:58 +0000202 object::SymbolRef::Type SymType;
203 if (I->getType(SymType)) continue;
204 if (SymType == object::SymbolRef::ST_Function) {
205 StringRef Name;
206 uint64_t Addr;
207 uint64_t Size;
208 if (I->getName(Name)) continue;
209 if (I->getAddress(Addr)) continue;
210 if (I->getSize(Size)) continue;
211
212 outs() << "Function: " << Name << ", Size = " << Size << "\n";
213
Andrew Kaylore27a7872013-01-26 00:28:05 +0000214 DILineInfoTable Lines = Context->getLineInfoForAddressRange(Addr, Size);
215 DILineInfoTable::iterator Begin = Lines.begin();
216 DILineInfoTable::iterator End = Lines.end();
217 for (DILineInfoTable::iterator It = Begin; It != End; ++It) {
218 outs() << " Line info @ " << It->first - Addr << ": "
Stephen Hinesdce4a402014-05-29 02:49:00 -0700219 << It->second.FileName << ", line:" << It->second.Line << "\n";
Andrew Kaylore27a7872013-01-26 00:28:05 +0000220 }
Andrew Kayloree7c0d22013-01-25 22:50:58 +0000221 }
222 }
223 }
224
225 return 0;
226}
227
Jim Grosbach82c25b42011-03-18 17:24:21 +0000228static int executeInput() {
Stephen Hinesdce4a402014-05-29 02:49:00 -0700229 // Load any dylibs requested on the command line.
230 loadDylibs();
231
Jim Grosbach6e563312011-03-21 22:15:52 +0000232 // Instantiate a dynamic linker.
Benjamin Kramera757e932013-08-03 22:16:31 +0000233 TrivialMemoryManager MemMgr;
234 RuntimeDyld Dyld(&MemMgr);
Jim Grosbach1cb19a42011-03-18 17:11:39 +0000235
Jim Grosbach4f9f41f2011-04-13 15:49:40 +0000236 // If we don't have any input files, read from stdin.
237 if (!InputFileList.size())
238 InputFileList.push_back("-");
239 for(unsigned i = 0, e = InputFileList.size(); i != e; ++i) {
240 // Load the input memory buffer.
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -0700241 ErrorOr<std::unique_ptr<MemoryBuffer>> InputBuffer =
242 MemoryBuffer::getFileOrSTDIN(InputFileList[i]);
243 if (std::error_code EC = InputBuffer.getError())
244 return Error("unable to read input: '" + EC.message() + "'");
Stephen Hines36b56882014-04-23 16:57:46 -0700245 std::unique_ptr<ObjectImage> LoadedObject;
Andrew Kaylor3f23cef2012-10-02 21:18:39 +0000246 // Load the object file
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -0700247 LoadedObject.reset(
248 Dyld.loadObject(new ObjectBuffer(InputBuffer.get().release())));
Andrew Kaylor3f23cef2012-10-02 21:18:39 +0000249 if (!LoadedObject) {
Jim Grosbach4f9f41f2011-04-13 15:49:40 +0000250 return Error(Dyld.getErrorString());
251 }
Jim Grosbachb3eecaf2011-03-22 18:19:42 +0000252 }
Jim Grosbach4f9f41f2011-04-13 15:49:40 +0000253
Jim Grosbachf8c1c842011-04-12 21:20:41 +0000254 // Resolve all the relocations we can.
255 Dyld.resolveRelocations();
Danil Malyshev068c65b2012-05-16 18:50:11 +0000256 // Clear instruction cache before code will be executed.
Benjamin Kramerbd194ce2013-08-03 22:18:45 +0000257 MemMgr.invalidateInstructionCache();
Jim Grosbach1cb19a42011-03-18 17:11:39 +0000258
Jim Grosbach4f9f41f2011-04-13 15:49:40 +0000259 // FIXME: Error out if there are unresolved relocations.
260
Jim Grosbach6b32e7e2011-04-13 15:38:30 +0000261 // Get the address of the entry point (_main by default).
262 void *MainAddress = Dyld.getSymbolAddress(EntryPoint);
Stephen Hinesdce4a402014-05-29 02:49:00 -0700263 if (!MainAddress)
Jim Grosbach6b32e7e2011-04-13 15:38:30 +0000264 return Error("no definition for '" + EntryPoint + "'");
Jim Grosbach1cb19a42011-03-18 17:11:39 +0000265
Jim Grosbach7cbf92d2011-04-12 00:23:32 +0000266 // Invalidate the instruction cache for each loaded function.
Benjamin Kramerbd194ce2013-08-03 22:18:45 +0000267 for (unsigned i = 0, e = MemMgr.FunctionMemory.size(); i != e; ++i) {
268 sys::MemoryBlock &Data = MemMgr.FunctionMemory[i];
Jim Grosbach7cbf92d2011-04-12 00:23:32 +0000269 // Make sure the memory is executable.
270 std::string ErrorStr;
271 sys::Memory::InvalidateInstructionCache(Data.base(), Data.size());
272 if (!sys::Memory::setExecutable(Data, &ErrorStr))
273 return Error("unable to mark function executable: '" + ErrorStr + "'");
274 }
Jim Grosbach1cb19a42011-03-18 17:11:39 +0000275
Jim Grosbach1cb19a42011-03-18 17:11:39 +0000276 // Dispatch to _main().
Jim Grosbach4f9f41f2011-04-13 15:49:40 +0000277 errs() << "loaded '" << EntryPoint << "' at: " << (void*)MainAddress << "\n";
Jim Grosbach1cb19a42011-03-18 17:11:39 +0000278
279 int (*Main)(int, const char**) =
280 (int(*)(int,const char**)) uintptr_t(MainAddress);
281 const char **Argv = new const char*[2];
Jim Grosbach4f9f41f2011-04-13 15:49:40 +0000282 // Use the name of the first input object module as argv[0] for the target.
283 Argv[0] = InputFileList[0].c_str();
Stephen Hinesdce4a402014-05-29 02:49:00 -0700284 Argv[1] = nullptr;
Jim Grosbach1cb19a42011-03-18 17:11:39 +0000285 return Main(1, Argv);
286}
287
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -0700288static int checkAllExpressions(RuntimeDyldChecker &Checker) {
289 for (const auto& CheckerFileName : CheckFiles) {
290 ErrorOr<std::unique_ptr<MemoryBuffer>> CheckerFileBuf =
291 MemoryBuffer::getFileOrSTDIN(CheckerFileName);
292 if (std::error_code EC = CheckerFileBuf.getError())
293 return Error("unable to read input '" + CheckerFileName + "': " +
294 EC.message());
295
296 if (!Checker.checkAllRulesInBuffer("# rtdyld-check:",
297 CheckerFileBuf.get().get()))
298 return Error("some checks in '" + CheckerFileName + "' failed");
299 }
300 return 0;
301}
302
303static int linkAndVerify() {
304
305 // Check for missing triple.
306 if (TripleName == "") {
307 llvm::errs() << "Error: -triple required when running in -verify mode.\n";
308 return 1;
309 }
310
311 // Look up the target and build the disassembler.
312 Triple TheTriple(Triple::normalize(TripleName));
313 std::string ErrorStr;
314 const Target *TheTarget =
315 TargetRegistry::lookupTarget("", TheTriple, ErrorStr);
316 if (!TheTarget) {
317 llvm::errs() << "Error accessing target '" << TripleName << "': "
318 << ErrorStr << "\n";
319 return 1;
320 }
321 TripleName = TheTriple.getTriple();
322
323 std::unique_ptr<MCSubtargetInfo> STI(
324 TheTarget->createMCSubtargetInfo(TripleName, "", ""));
325 assert(STI && "Unable to create subtarget info!");
326
327 std::unique_ptr<MCRegisterInfo> MRI(TheTarget->createMCRegInfo(TripleName));
328 assert(MRI && "Unable to create target register info!");
329
330 std::unique_ptr<MCAsmInfo> MAI(TheTarget->createMCAsmInfo(*MRI, TripleName));
331 assert(MAI && "Unable to create target asm info!");
332
333 MCContext Ctx(MAI.get(), MRI.get(), nullptr);
334
335 std::unique_ptr<MCDisassembler> Disassembler(
336 TheTarget->createMCDisassembler(*STI, Ctx));
337 assert(Disassembler && "Unable to create disassembler!");
338
339 std::unique_ptr<MCInstrInfo> MII(TheTarget->createMCInstrInfo());
340
341 std::unique_ptr<MCInstPrinter> InstPrinter(
342 TheTarget->createMCInstPrinter(0, *MAI, *MII, *MRI, *STI));
343
344 // Load any dylibs requested on the command line.
345 loadDylibs();
346
347 // Instantiate a dynamic linker.
348 TrivialMemoryManager MemMgr;
349 RuntimeDyld Dyld(&MemMgr);
350
351 // If we don't have any input files, read from stdin.
352 if (!InputFileList.size())
353 InputFileList.push_back("-");
354 for(unsigned i = 0, e = InputFileList.size(); i != e; ++i) {
355 // Load the input memory buffer.
356 ErrorOr<std::unique_ptr<MemoryBuffer>> InputBuffer =
357 MemoryBuffer::getFileOrSTDIN(InputFileList[i]);
358 if (std::error_code EC = InputBuffer.getError())
359 return Error("unable to read input: '" + EC.message() + "'");
360
361 std::unique_ptr<ObjectImage> LoadedObject;
362 // Load the object file
363 LoadedObject.reset(
364 Dyld.loadObject(new ObjectBuffer(InputBuffer.get().release())));
365 if (!LoadedObject) {
366 return Error(Dyld.getErrorString());
367 }
368 }
369
370 // Resolve all the relocations we can.
371 Dyld.resolveRelocations();
372
373 RuntimeDyldChecker Checker(Dyld, Disassembler.get(), InstPrinter.get(),
374 llvm::dbgs());
375 return checkAllExpressions(Checker);
376}
377
Jim Grosbach1cb19a42011-03-18 17:11:39 +0000378int main(int argc, char **argv) {
Alp Toker4d6b6952013-11-05 09:33:43 +0000379 sys::PrintStackTraceOnErrorSignal();
380 PrettyStackTraceProgram X(argc, argv);
381
Jim Grosbach1cb19a42011-03-18 17:11:39 +0000382 ProgramName = argv[0];
383 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
384
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -0700385 llvm::InitializeAllTargetInfos();
386 llvm::InitializeAllTargetMCs();
387 llvm::InitializeAllDisassemblers();
388
Jim Grosbach1cb19a42011-03-18 17:11:39 +0000389 cl::ParseCommandLineOptions(argc, argv, "llvm MC-JIT tool\n");
390
391 switch (Action) {
Jim Grosbach1cb19a42011-03-18 17:11:39 +0000392 case AC_Execute:
Jim Grosbach82c25b42011-03-18 17:24:21 +0000393 return executeInput();
Andrew Kayloree7c0d22013-01-25 22:50:58 +0000394 case AC_PrintLineInfo:
395 return printLineInfoForInput();
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -0700396 case AC_Verify:
397 return linkAndVerify();
Jim Grosbach1cb19a42011-03-18 17:11:39 +0000398 }
Jim Grosbach1cb19a42011-03-18 17:11:39 +0000399}