blob: 68c0c34f61b1dbccfd2833ea1029f1ef29311d7b [file] [log] [blame]
Eric Christopherbb498ca2011-04-22 03:07:06 +00001//===-- MCJIT.cpp - MC-based Just-in-Time Compiler ------------------------===//
Daniel Dunbar6aec2982010-11-17 16:06:43 +00002//
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#include "MCJIT.h"
Jim Grosbachfcbe5b72011-04-04 23:04:39 +000011#include "MCJITMemoryManager.h"
Jim Grosbach34714a02011-03-22 18:05:27 +000012#include "llvm/DerivedTypes.h"
Jim Grosbach31649e62011-03-18 22:48:41 +000013#include "llvm/Function.h"
Daniel Dunbar6aec2982010-11-17 16:06:43 +000014#include "llvm/ExecutionEngine/GenericValue.h"
Jim Grosbachf9229102011-03-22 01:06:42 +000015#include "llvm/ExecutionEngine/JITMemoryManager.h"
Andrew Kaylor3f23cef2012-10-02 21:18:39 +000016#include "llvm/ExecutionEngine/MCJIT.h"
17#include "llvm/ExecutionEngine/ObjectBuffer.h"
18#include "llvm/ExecutionEngine/ObjectImage.h"
Jim Grosbachf9229102011-03-22 01:06:42 +000019#include "llvm/MC/MCAsmInfo.h"
Daniel Dunbar6aec2982010-11-17 16:06:43 +000020#include "llvm/Support/ErrorHandling.h"
Michael J. Spencer1f6efa32010-11-29 18:16:10 +000021#include "llvm/Support/DynamicLibrary.h"
Jim Grosbachf9229102011-03-22 01:06:42 +000022#include "llvm/Support/MemoryBuffer.h"
Andrew Kaylorea708d12012-08-07 18:33:00 +000023#include "llvm/Support/MutexGuard.h"
Micah Villmow3574eca2012-10-08 16:38:25 +000024#include "llvm/DataLayout.h"
Daniel Dunbar6aec2982010-11-17 16:06:43 +000025
26using namespace llvm;
27
28namespace {
29
30static struct RegisterJIT {
31 RegisterJIT() { MCJIT::Register(); }
32} JITRegistrator;
33
34}
35
36extern "C" void LLVMLinkInMCJIT() {
37}
38
39ExecutionEngine *MCJIT::createJIT(Module *M,
40 std::string *ErrorStr,
41 JITMemoryManager *JMM,
Daniel Dunbar6aec2982010-11-17 16:06:43 +000042 bool GVsWithCode,
Dylan Noblesmithc5b28582011-05-13 21:51:29 +000043 TargetMachine *TM) {
Daniel Dunbar6aec2982010-11-17 16:06:43 +000044 // Try to register the program as a source of symbols to resolve against.
45 //
46 // FIXME: Don't do this here.
47 sys::DynamicLibrary::LoadLibraryPermanently(0, NULL);
48
Jim Grosbach8005bcd2012-08-21 15:42:49 +000049 return new MCJIT(M, TM, new MCJITMemoryManager(JMM), GVsWithCode);
Daniel Dunbar6aec2982010-11-17 16:06:43 +000050}
51
Jim Grosbach8005bcd2012-08-21 15:42:49 +000052MCJIT::MCJIT(Module *m, TargetMachine *tm, RTDyldMemoryManager *MM,
53 bool AllocateGVsWithCode)
54 : ExecutionEngine(m), TM(tm), Ctx(0), MemMgr(MM), Dyld(MM),
Andrew Kaylor3f23cef2012-10-02 21:18:39 +000055 isCompiled(false), M(m) {
Jim Grosbach31649e62011-03-18 22:48:41 +000056
Micah Villmow3574eca2012-10-08 16:38:25 +000057 setDataLayout(TM->getDataLayout());
Andrew Kaylorea708d12012-08-07 18:33:00 +000058}
59
60MCJIT::~MCJIT() {
61 delete MemMgr;
62 delete TM;
63}
64
65void MCJIT::emitObject(Module *m) {
66 /// Currently, MCJIT only supports a single module and the module passed to
67 /// this function call is expected to be the contained module. The module
Andrew Kaylor3f23cef2012-10-02 21:18:39 +000068 /// is passed as a parameter here to prepare for multiple module support in
Andrew Kaylorea708d12012-08-07 18:33:00 +000069 /// the future.
70 assert(M == m);
71
72 // Get a thread lock to make sure we aren't trying to compile multiple times
73 MutexGuard locked(lock);
74
75 // FIXME: Track compilation state on a per-module basis when multiple modules
76 // are supported.
77 // Re-compilation is not supported
78 if (isCompiled)
79 return;
80
81 PassManager PM;
82
Micah Villmow3574eca2012-10-08 16:38:25 +000083 PM.add(new DataLayout(*TM->getDataLayout()));
Jim Grosbach31649e62011-03-18 22:48:41 +000084
Andrew Kaylor3f23cef2012-10-02 21:18:39 +000085 // The RuntimeDyld will take ownership of this shortly
86 OwningPtr<ObjectBufferStream> Buffer(new ObjectBufferStream());
87
Jim Grosbach31649e62011-03-18 22:48:41 +000088 // Turn the machine code intermediate representation into bytes in memory
89 // that may be executed.
Andrew Kaylor3f23cef2012-10-02 21:18:39 +000090 if (TM->addPassesToEmitMC(PM, Ctx, Buffer->getOStream(), false)) {
Jim Grosbach31649e62011-03-18 22:48:41 +000091 report_fatal_error("Target does not support MC emission!");
92 }
93
94 // Initialize passes.
Andrew Kaylorea708d12012-08-07 18:33:00 +000095 PM.run(*m);
Andrew Kaylor3f23cef2012-10-02 21:18:39 +000096 // Flush the output buffer to get the generated code into memory
97 Buffer->flush();
Jim Grosbachf9229102011-03-22 01:06:42 +000098
99 // Load the object into the dynamic linker.
Andrew Kaylor3f23cef2012-10-02 21:18:39 +0000100 // handing off ownership of the buffer
101 LoadedObject.reset(Dyld.loadObject(Buffer.take()));
102 if (!LoadedObject)
Jim Grosbach8086f3b2011-03-23 19:51:34 +0000103 report_fatal_error(Dyld.getErrorString());
Andrew Kaylorea708d12012-08-07 18:33:00 +0000104
Jim Grosbach69e81322011-04-13 15:28:10 +0000105 // Resolve any relocations.
106 Dyld.resolveRelocations();
Daniel Dunbar6aec2982010-11-17 16:06:43 +0000107
Andrew Kaylor3f23cef2012-10-02 21:18:39 +0000108 // FIXME: Make this optional, maybe even move it to a JIT event listener
109 LoadedObject->registerWithDebugger();
110
Andrew Kaylorea708d12012-08-07 18:33:00 +0000111 // FIXME: Add support for per-module compilation state
112 isCompiled = true;
Daniel Dunbar6aec2982010-11-17 16:06:43 +0000113}
114
115void *MCJIT::getPointerToBasicBlock(BasicBlock *BB) {
116 report_fatal_error("not yet implemented");
Daniel Dunbar6aec2982010-11-17 16:06:43 +0000117}
118
119void *MCJIT::getPointerToFunction(Function *F) {
Jim Grosbach35ed8422012-09-05 16:50:40 +0000120 // FIXME: This should really return a uint64_t since it's a pointer in the
121 // target address space, not our local address space. That's part of the
122 // ExecutionEngine interface, though. Fix that when the old JIT finally
123 // dies.
124
Andrew Kaylorea708d12012-08-07 18:33:00 +0000125 // FIXME: Add support for per-module compilation state
126 if (!isCompiled)
127 emitObject(M);
128
Jim Grosbach34714a02011-03-22 18:05:27 +0000129 if (F->isDeclaration() || F->hasAvailableExternallyLinkage()) {
130 bool AbortOnFailure = !F->hasExternalWeakLinkage();
131 void *Addr = getPointerToNamedFunction(F->getName(), AbortOnFailure);
132 addGlobalMapping(F, Addr);
133 return Addr;
134 }
135
Andrew Kaylorea708d12012-08-07 18:33:00 +0000136 // FIXME: Should the Dyld be retaining module information? Probably not.
Jim Grosbach3ec2c7c2011-05-18 23:53:21 +0000137 // FIXME: Should we be using the mangler for this? Probably.
Jim Grosbach35ed8422012-09-05 16:50:40 +0000138 //
139 // This is the accessor for the target address, so make sure to check the
140 // load address of the symbol, not the local address.
Jim Grosbach3ec2c7c2011-05-18 23:53:21 +0000141 StringRef BaseName = F->getName();
142 if (BaseName[0] == '\1')
Jim Grosbach35ed8422012-09-05 16:50:40 +0000143 return (void*)Dyld.getSymbolLoadAddress(BaseName.substr(1));
144 return (void*)Dyld.getSymbolLoadAddress((TM->getMCAsmInfo()->getGlobalPrefix()
Jim Grosbachc0ceedb2011-05-19 00:45:05 +0000145 + BaseName).str());
Daniel Dunbar6aec2982010-11-17 16:06:43 +0000146}
147
148void *MCJIT::recompileAndRelinkFunction(Function *F) {
149 report_fatal_error("not yet implemented");
150}
151
152void MCJIT::freeMachineCodeForFunction(Function *F) {
153 report_fatal_error("not yet implemented");
154}
155
156GenericValue MCJIT::runFunction(Function *F,
157 const std::vector<GenericValue> &ArgValues) {
Jim Grosbach34714a02011-03-22 18:05:27 +0000158 assert(F && "Function *F was null at entry to run()");
159
Jim Grosbach31649e62011-03-18 22:48:41 +0000160 void *FPtr = getPointerToFunction(F);
Jim Grosbach34714a02011-03-22 18:05:27 +0000161 assert(FPtr && "Pointer to fn's code was null after getPointerToFunction");
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000162 FunctionType *FTy = F->getFunctionType();
163 Type *RetTy = FTy->getReturnType();
Jim Grosbach34714a02011-03-22 18:05:27 +0000164
165 assert((FTy->getNumParams() == ArgValues.size() ||
166 (FTy->isVarArg() && FTy->getNumParams() <= ArgValues.size())) &&
167 "Wrong number of arguments passed into function!");
168 assert(FTy->getNumParams() == ArgValues.size() &&
169 "This doesn't support passing arguments through varargs (yet)!");
170
171 // Handle some common cases first. These cases correspond to common `main'
172 // prototypes.
173 if (RetTy->isIntegerTy(32) || RetTy->isVoidTy()) {
174 switch (ArgValues.size()) {
175 case 3:
176 if (FTy->getParamType(0)->isIntegerTy(32) &&
177 FTy->getParamType(1)->isPointerTy() &&
178 FTy->getParamType(2)->isPointerTy()) {
179 int (*PF)(int, char **, const char **) =
180 (int(*)(int, char **, const char **))(intptr_t)FPtr;
181
182 // Call the function.
183 GenericValue rv;
184 rv.IntVal = APInt(32, PF(ArgValues[0].IntVal.getZExtValue(),
185 (char **)GVTOP(ArgValues[1]),
186 (const char **)GVTOP(ArgValues[2])));
187 return rv;
188 }
189 break;
190 case 2:
191 if (FTy->getParamType(0)->isIntegerTy(32) &&
192 FTy->getParamType(1)->isPointerTy()) {
193 int (*PF)(int, char **) = (int(*)(int, char **))(intptr_t)FPtr;
194
195 // Call the function.
196 GenericValue rv;
197 rv.IntVal = APInt(32, PF(ArgValues[0].IntVal.getZExtValue(),
198 (char **)GVTOP(ArgValues[1])));
199 return rv;
200 }
201 break;
202 case 1:
203 if (FTy->getNumParams() == 1 &&
204 FTy->getParamType(0)->isIntegerTy(32)) {
205 GenericValue rv;
206 int (*PF)(int) = (int(*)(int))(intptr_t)FPtr;
207 rv.IntVal = APInt(32, PF(ArgValues[0].IntVal.getZExtValue()));
208 return rv;
209 }
210 break;
211 }
212 }
213
214 // Handle cases where no arguments are passed first.
215 if (ArgValues.empty()) {
216 GenericValue rv;
217 switch (RetTy->getTypeID()) {
218 default: llvm_unreachable("Unknown return type for function call!");
219 case Type::IntegerTyID: {
220 unsigned BitWidth = cast<IntegerType>(RetTy)->getBitWidth();
221 if (BitWidth == 1)
222 rv.IntVal = APInt(BitWidth, ((bool(*)())(intptr_t)FPtr)());
223 else if (BitWidth <= 8)
224 rv.IntVal = APInt(BitWidth, ((char(*)())(intptr_t)FPtr)());
225 else if (BitWidth <= 16)
226 rv.IntVal = APInt(BitWidth, ((short(*)())(intptr_t)FPtr)());
227 else if (BitWidth <= 32)
228 rv.IntVal = APInt(BitWidth, ((int(*)())(intptr_t)FPtr)());
229 else if (BitWidth <= 64)
230 rv.IntVal = APInt(BitWidth, ((int64_t(*)())(intptr_t)FPtr)());
231 else
232 llvm_unreachable("Integer types > 64 bits not supported");
233 return rv;
234 }
235 case Type::VoidTyID:
236 rv.IntVal = APInt(32, ((int(*)())(intptr_t)FPtr)());
237 return rv;
238 case Type::FloatTyID:
239 rv.FloatVal = ((float(*)())(intptr_t)FPtr)();
240 return rv;
241 case Type::DoubleTyID:
242 rv.DoubleVal = ((double(*)())(intptr_t)FPtr)();
243 return rv;
244 case Type::X86_FP80TyID:
245 case Type::FP128TyID:
246 case Type::PPC_FP128TyID:
247 llvm_unreachable("long double not supported yet");
Jim Grosbach34714a02011-03-22 18:05:27 +0000248 case Type::PointerTyID:
249 return PTOGV(((void*(*)())(intptr_t)FPtr)());
250 }
251 }
252
Craig Topper85814382012-02-07 05:05:23 +0000253 llvm_unreachable("Full-featured argument passing not supported yet!");
Daniel Dunbar6aec2982010-11-17 16:06:43 +0000254}
Danil Malyshev30b9e322012-03-28 21:46:36 +0000255
256void *MCJIT::getPointerToNamedFunction(const std::string &Name,
Eli Bendersky5fe01982012-04-29 12:40:47 +0000257 bool AbortOnFailure) {
Andrew Kaylorea708d12012-08-07 18:33:00 +0000258 // FIXME: Add support for per-module compilation state
259 if (!isCompiled)
260 emitObject(M);
261
Danil Malyshev30b9e322012-03-28 21:46:36 +0000262 if (!isSymbolSearchingDisabled() && MemMgr) {
263 void *ptr = MemMgr->getPointerToNamedFunction(Name, false);
264 if (ptr)
265 return ptr;
266 }
267
268 /// If a LazyFunctionCreator is installed, use it to get/create the function.
269 if (LazyFunctionCreator)
270 if (void *RP = LazyFunctionCreator(Name))
271 return RP;
272
273 if (AbortOnFailure) {
274 report_fatal_error("Program used external function '"+Name+
Eli Bendersky5fe01982012-04-29 12:40:47 +0000275 "' which could not be resolved!");
Danil Malyshev30b9e322012-03-28 21:46:36 +0000276 }
277 return 0;
278}