blob: 7309b80c4b6a654cd776f2a3133eecd2f4ed2805 [file] [log] [blame]
Chris Lattnerbd199fb2002-12-24 00:01:05 +00001//===-- JIT.cpp - LLVM Just in Time Compiler ------------------------------===//
2//
3// This file implements the top-level support for creating a Just-In-Time
4// compiler for the current architecture.
5//
6//===----------------------------------------------------------------------===//
7
8#include "VM.h"
Misha Brukman0f4f7d92003-10-16 21:19:34 +00009#include "llvm/Module.h"
10#include "llvm/ModuleProvider.h"
Brian Gaeke97222942003-09-05 19:39:22 +000011#include "llvm/ExecutionEngine/GenericValue.h"
Chris Lattnerbd199fb2002-12-24 00:01:05 +000012#include "llvm/Target/TargetMachine.h"
13#include "llvm/Target/TargetMachineImpls.h"
Misha Brukmanabb027c2003-05-27 21:40:39 +000014#include "Support/CommandLine.h"
15
Misha Brukman4e8c9992003-06-06 06:59:55 +000016// FIXME: REMOVE THIS
17#include "llvm/PassManager.h"
18
Misha Brukman82742912003-07-02 17:53:19 +000019#if !defined(ENABLE_X86_JIT) && !defined(ENABLE_SPARC_JIT)
20#define NO_JITS_ENABLED
21#endif
Chris Lattner97ac14f2003-06-17 15:43:13 +000022
Misha Brukman82742912003-07-02 17:53:19 +000023namespace {
24 enum ArchName { x86, Sparc };
25
26#ifndef NO_JITS_ENABLED
Chris Lattner97ac14f2003-06-17 15:43:13 +000027 cl::opt<ArchName>
28 Arch("march", cl::desc("Architecture to JIT to:"), cl::Prefix,
Misha Brukman82742912003-07-02 17:53:19 +000029 cl::values(
30#ifdef ENABLE_X86_JIT
31 clEnumVal(x86, " IA-32 (Pentium and above)"),
32#endif
33#ifdef ENABLE_SPARC_JIT
Chris Lattnerde3209b2003-06-17 15:54:02 +000034 clEnumValN(Sparc, "sparc", " Sparc-V9"),
Misha Brukmanabb027c2003-05-27 21:40:39 +000035#endif
Chris Lattner97ac14f2003-06-17 15:43:13 +000036 0),
Misha Brukman82742912003-07-02 17:53:19 +000037#if defined(ENABLE_X86_JIT)
Chris Lattner97ac14f2003-06-17 15:43:13 +000038 cl::init(x86)
Misha Brukman82742912003-07-02 17:53:19 +000039#elif defined(ENABLE_SPARC_JIT)
Chris Lattnerde3209b2003-06-17 15:54:02 +000040 cl::init(Sparc)
Chris Lattner97ac14f2003-06-17 15:43:13 +000041#endif
42 );
Misha Brukman82742912003-07-02 17:53:19 +000043#endif /* NO_JITS_ENABLED */
Misha Brukmanabb027c2003-05-27 21:40:39 +000044}
Chris Lattnerbd199fb2002-12-24 00:01:05 +000045
Brian Gaeke82d82772003-09-03 20:34:19 +000046/// create - Create an return a new JIT compiler if there is one available
47/// for the current target. Otherwise, return null.
Chris Lattnerbd199fb2002-12-24 00:01:05 +000048///
Misha Brukman005e5e92003-10-14 21:37:41 +000049ExecutionEngine *VM::create(ModuleProvider *MP) {
Chris Lattner39c07262003-08-24 19:50:53 +000050 TargetMachine* (*TargetMachineAllocator)(const Module &) = 0;
Chris Lattnerbd199fb2002-12-24 00:01:05 +000051
Misha Brukmanabb027c2003-05-27 21:40:39 +000052 // Allow a command-line switch to override what *should* be the default target
53 // machine for this platform. This allows for debugging a Sparc JIT on X86 --
Misha Brukman82742912003-07-02 17:53:19 +000054 // our X86 machines are much faster at recompiling LLVM and linking LLI.
55#ifdef NO_JITS_ENABLED
56 return 0;
57#endif
58
Chris Lattner97ac14f2003-06-17 15:43:13 +000059 switch (Arch) {
Misha Brukman82742912003-07-02 17:53:19 +000060#ifdef ENABLE_X86_JIT
Chris Lattner97ac14f2003-06-17 15:43:13 +000061 case x86:
Misha Brukmanabb027c2003-05-27 21:40:39 +000062 TargetMachineAllocator = allocateX86TargetMachine;
Chris Lattner97ac14f2003-06-17 15:43:13 +000063 break;
Misha Brukman82742912003-07-02 17:53:19 +000064#endif
65#ifdef ENABLE_SPARC_JIT
Chris Lattnerde3209b2003-06-17 15:54:02 +000066 case Sparc:
Misha Brukman906f5fa2003-06-02 03:23:16 +000067 TargetMachineAllocator = allocateSparcTargetMachine;
Chris Lattner97ac14f2003-06-17 15:43:13 +000068 break;
Chris Lattner7aefa962003-06-17 15:32:38 +000069#endif
Chris Lattner97ac14f2003-06-17 15:43:13 +000070 default:
71 assert(0 && "-march flag not supported on this host!");
Misha Brukmanabb027c2003-05-27 21:40:39 +000072 }
Chris Lattner97ac14f2003-06-17 15:43:13 +000073
74 // Allocate a target...
Misha Brukman0f4f7d92003-10-16 21:19:34 +000075 TargetMachine *Target = TargetMachineAllocator(*MP->getModule());
Chris Lattner97ac14f2003-06-17 15:43:13 +000076 assert(Target && "Could not allocate target machine!");
77
78 // Create the virtual machine object...
Misha Brukman005e5e92003-10-14 21:37:41 +000079 return new VM(MP, Target);
Chris Lattnerbd199fb2002-12-24 00:01:05 +000080}
81
Misha Brukman005e5e92003-10-14 21:37:41 +000082VM::VM(ModuleProvider *MP, TargetMachine *tm) : ExecutionEngine(MP), TM(*tm),
83 PM(MP)
84{
Chris Lattnerbd199fb2002-12-24 00:01:05 +000085 setTargetData(TM.getTargetData());
Misha Brukmanabb027c2003-05-27 21:40:39 +000086
87 // Initialize MCE
Misha Brukman906f5fa2003-06-02 03:23:16 +000088 MCE = createEmitter(*this);
Misha Brukmanabb027c2003-05-27 21:40:39 +000089
Chris Lattnerbd199fb2002-12-24 00:01:05 +000090 setupPassManager();
Misha Brukman4e8c9992003-06-06 06:59:55 +000091
Misha Brukman82742912003-07-02 17:53:19 +000092#ifdef ENABLE_SPARC_JIT
Misha Brukman4e8c9992003-06-06 06:59:55 +000093 // THIS GOES BEYOND UGLY HACKS
94 if (TM.getName() == "UltraSparc-Native") {
95 extern Pass *createPreSelectionPass(TargetMachine &TM);
96 PassManager PM;
97 // Specialize LLVM code for this target machine and then
98 // run basic dataflow optimizations on LLVM code.
99 PM.add(createPreSelectionPass(TM));
Misha Brukman005e5e92003-10-14 21:37:41 +0000100 // We cannot utilize function-at-a-time loading here because PreSelection
101 // is a ModulePass.
102 MP->materializeModule();
Misha Brukman0f4f7d92003-10-16 21:19:34 +0000103 PM.run(*MP->getModule());
Misha Brukman4e8c9992003-06-06 06:59:55 +0000104 }
Chris Lattner7aefa962003-06-17 15:32:38 +0000105#endif
Misha Brukman4e8c9992003-06-06 06:59:55 +0000106
Chris Lattner56adf152003-05-12 02:14:34 +0000107 emitGlobals();
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000108}
109
Brian Gaeke70975ee2003-09-05 18:42:01 +0000110/// run - Start execution with the specified function and arguments.
Chris Lattner05a1a302003-08-21 21:32:12 +0000111///
Brian Gaeke70975ee2003-09-05 18:42:01 +0000112GenericValue VM::run(Function *F, const std::vector<GenericValue> &ArgValues)
113{
114 assert (F && "Function *F was null at entry to run()");
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000115
Brian Gaeke70975ee2003-09-05 18:42:01 +0000116 int (*PF)(int, char **, const char **) =
117 (int(*)(int, char **, const char **))getPointerToFunction(F);
118 assert(PF != 0 && "Pointer to fn's code was null after getPointerToFunction");
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000119
Brian Gaeke70975ee2003-09-05 18:42:01 +0000120 // Call the function.
121 int ExitCode = PF(ArgValues[0].IntVal, (char **) GVTOP (ArgValues[1]),
122 (const char **) GVTOP (ArgValues[2]));
Chris Lattner22080f92003-05-14 13:53:40 +0000123
124 // Run any atexit handlers now!
125 runAtExitHandlers();
Brian Gaeke70975ee2003-09-05 18:42:01 +0000126
127 GenericValue rv;
128 rv.IntVal = ExitCode;
129 return rv;
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000130}