blob: 9a2dc1aacb7dd91c50e928fedacab509f794ead4 [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"
9#include "llvm/Target/TargetMachine.h"
10#include "llvm/Target/TargetMachineImpls.h"
11#include "llvm/Module.h"
Misha Brukmanabb027c2003-05-27 21:40:39 +000012#include "Support/CommandLine.h"
13
Misha Brukman4e8c9992003-06-06 06:59:55 +000014// FIXME: REMOVE THIS
15#include "llvm/PassManager.h"
16
Misha Brukman82742912003-07-02 17:53:19 +000017#if !defined(ENABLE_X86_JIT) && !defined(ENABLE_SPARC_JIT)
18#define NO_JITS_ENABLED
19#endif
Chris Lattner97ac14f2003-06-17 15:43:13 +000020
Misha Brukman82742912003-07-02 17:53:19 +000021namespace {
22 enum ArchName { x86, Sparc };
23
24#ifndef NO_JITS_ENABLED
Chris Lattner97ac14f2003-06-17 15:43:13 +000025 cl::opt<ArchName>
26 Arch("march", cl::desc("Architecture to JIT to:"), cl::Prefix,
Misha Brukman82742912003-07-02 17:53:19 +000027 cl::values(
28#ifdef ENABLE_X86_JIT
29 clEnumVal(x86, " IA-32 (Pentium and above)"),
30#endif
31#ifdef ENABLE_SPARC_JIT
Chris Lattnerde3209b2003-06-17 15:54:02 +000032 clEnumValN(Sparc, "sparc", " Sparc-V9"),
Misha Brukmanabb027c2003-05-27 21:40:39 +000033#endif
Chris Lattner97ac14f2003-06-17 15:43:13 +000034 0),
Misha Brukman82742912003-07-02 17:53:19 +000035#if defined(ENABLE_X86_JIT)
Chris Lattner97ac14f2003-06-17 15:43:13 +000036 cl::init(x86)
Misha Brukman82742912003-07-02 17:53:19 +000037#elif defined(ENABLE_SPARC_JIT)
Chris Lattnerde3209b2003-06-17 15:54:02 +000038 cl::init(Sparc)
Chris Lattner97ac14f2003-06-17 15:43:13 +000039#endif
40 );
Misha Brukman82742912003-07-02 17:53:19 +000041#endif /* NO_JITS_ENABLED */
Misha Brukmanabb027c2003-05-27 21:40:39 +000042}
Chris Lattnerbd199fb2002-12-24 00:01:05 +000043
Brian Gaeke82d82772003-09-03 20:34:19 +000044/// create - Create an return a new JIT compiler if there is one available
45/// for the current target. Otherwise, return null.
Chris Lattnerbd199fb2002-12-24 00:01:05 +000046///
Brian Gaeke82d82772003-09-03 20:34:19 +000047ExecutionEngine *VM::create(Module *M) {
Chris Lattner39c07262003-08-24 19:50:53 +000048 TargetMachine* (*TargetMachineAllocator)(const Module &) = 0;
Chris Lattnerbd199fb2002-12-24 00:01:05 +000049
Misha Brukmanabb027c2003-05-27 21:40:39 +000050 // Allow a command-line switch to override what *should* be the default target
51 // machine for this platform. This allows for debugging a Sparc JIT on X86 --
Misha Brukman82742912003-07-02 17:53:19 +000052 // our X86 machines are much faster at recompiling LLVM and linking LLI.
53#ifdef NO_JITS_ENABLED
54 return 0;
55#endif
56
Chris Lattner97ac14f2003-06-17 15:43:13 +000057 switch (Arch) {
Misha Brukman82742912003-07-02 17:53:19 +000058#ifdef ENABLE_X86_JIT
Chris Lattner97ac14f2003-06-17 15:43:13 +000059 case x86:
Misha Brukmanabb027c2003-05-27 21:40:39 +000060 TargetMachineAllocator = allocateX86TargetMachine;
Chris Lattner97ac14f2003-06-17 15:43:13 +000061 break;
Misha Brukman82742912003-07-02 17:53:19 +000062#endif
63#ifdef ENABLE_SPARC_JIT
Chris Lattnerde3209b2003-06-17 15:54:02 +000064 case Sparc:
Misha Brukman906f5fa2003-06-02 03:23:16 +000065 TargetMachineAllocator = allocateSparcTargetMachine;
Chris Lattner97ac14f2003-06-17 15:43:13 +000066 break;
Chris Lattner7aefa962003-06-17 15:32:38 +000067#endif
Chris Lattner97ac14f2003-06-17 15:43:13 +000068 default:
69 assert(0 && "-march flag not supported on this host!");
Misha Brukmanabb027c2003-05-27 21:40:39 +000070 }
Chris Lattner97ac14f2003-06-17 15:43:13 +000071
72 // Allocate a target...
Chris Lattner39c07262003-08-24 19:50:53 +000073 TargetMachine *Target = TargetMachineAllocator(*M);
Chris Lattner97ac14f2003-06-17 15:43:13 +000074 assert(Target && "Could not allocate target machine!");
75
76 // Create the virtual machine object...
77 return new VM(M, Target);
Chris Lattnerbd199fb2002-12-24 00:01:05 +000078}
79
80VM::VM(Module *M, TargetMachine *tm) : ExecutionEngine(M), TM(*tm) {
81 setTargetData(TM.getTargetData());
Misha Brukmanabb027c2003-05-27 21:40:39 +000082
83 // Initialize MCE
Misha Brukman906f5fa2003-06-02 03:23:16 +000084 MCE = createEmitter(*this);
Misha Brukmanabb027c2003-05-27 21:40:39 +000085
Chris Lattnerbd199fb2002-12-24 00:01:05 +000086 setupPassManager();
Misha Brukman4e8c9992003-06-06 06:59:55 +000087
Misha Brukman82742912003-07-02 17:53:19 +000088#ifdef ENABLE_SPARC_JIT
Misha Brukman4e8c9992003-06-06 06:59:55 +000089 // THIS GOES BEYOND UGLY HACKS
90 if (TM.getName() == "UltraSparc-Native") {
91 extern Pass *createPreSelectionPass(TargetMachine &TM);
92 PassManager PM;
93 // Specialize LLVM code for this target machine and then
94 // run basic dataflow optimizations on LLVM code.
95 PM.add(createPreSelectionPass(TM));
96 PM.run(*M);
97 }
Chris Lattner7aefa962003-06-17 15:32:38 +000098#endif
Misha Brukman4e8c9992003-06-06 06:59:55 +000099
Chris Lattner56adf152003-05-12 02:14:34 +0000100 emitGlobals();
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000101}
102
Chris Lattner05a1a302003-08-21 21:32:12 +0000103/// VM::run - This method begins the execution of a program beginning at the
104/// specified function name. The function is called with the specified
105/// arguments and array of environment variables (a la main()).
106///
107/// Inputs:
108/// FnName - The name of the function as a C++ string.
109/// Args - A vector of C++ strings containing the arguments.
110/// envp - An array of C strings containing the environment.
111///
112/// Return value:
113/// 1 - An error occurred.
114/// Otherwise, the return value from the specified function is returned.
115///
116int VM::run(const std::string &FnName, const std::vector<std::string> &Args,
117 const char **envp) {
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000118 Function *F = getModule().getNamedFunction(FnName);
119 if (F == 0) {
Chris Lattnera84983e2003-07-23 20:21:06 +0000120 std::cerr << "Could not find function '" << FnName << "' in module!\n";
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000121 return 1;
122 }
123
Chris Lattner05a1a302003-08-21 21:32:12 +0000124 int (*PF)(int, char**, const char**) =
125 (int(*)(int, char**, const char**))getPointerToFunction(F);
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000126 assert(PF != 0 && "Null pointer to function?");
127
128 // Build an argv vector...
129 char **Argv = (char**)CreateArgv(Args);
130
131 // Call the main function...
John Criswell69582b32003-08-21 21:12:30 +0000132 int Result = PF(Args.size(), Argv, envp);
Chris Lattner22080f92003-05-14 13:53:40 +0000133
134 // Run any atexit handlers now!
135 runAtExitHandlers();
136 return Result;
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000137}