blob: 4c4c2221e32d8f404806855761cce2688f4d8c61 [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"
Brian Gaeke70975ee2003-09-05 18:42:01 +00009#include "../GenericValue.h"
Chris Lattnerbd199fb2002-12-24 00:01:05 +000010#include "llvm/Target/TargetMachine.h"
11#include "llvm/Target/TargetMachineImpls.h"
12#include "llvm/Module.h"
Misha Brukmanabb027c2003-05-27 21:40:39 +000013#include "Support/CommandLine.h"
14
Misha Brukman4e8c9992003-06-06 06:59:55 +000015// FIXME: REMOVE THIS
16#include "llvm/PassManager.h"
17
Misha Brukman82742912003-07-02 17:53:19 +000018#if !defined(ENABLE_X86_JIT) && !defined(ENABLE_SPARC_JIT)
19#define NO_JITS_ENABLED
20#endif
Chris Lattner97ac14f2003-06-17 15:43:13 +000021
Misha Brukman82742912003-07-02 17:53:19 +000022namespace {
23 enum ArchName { x86, Sparc };
24
25#ifndef NO_JITS_ENABLED
Chris Lattner97ac14f2003-06-17 15:43:13 +000026 cl::opt<ArchName>
27 Arch("march", cl::desc("Architecture to JIT to:"), cl::Prefix,
Misha Brukman82742912003-07-02 17:53:19 +000028 cl::values(
29#ifdef ENABLE_X86_JIT
30 clEnumVal(x86, " IA-32 (Pentium and above)"),
31#endif
32#ifdef ENABLE_SPARC_JIT
Chris Lattnerde3209b2003-06-17 15:54:02 +000033 clEnumValN(Sparc, "sparc", " Sparc-V9"),
Misha Brukmanabb027c2003-05-27 21:40:39 +000034#endif
Chris Lattner97ac14f2003-06-17 15:43:13 +000035 0),
Misha Brukman82742912003-07-02 17:53:19 +000036#if defined(ENABLE_X86_JIT)
Chris Lattner97ac14f2003-06-17 15:43:13 +000037 cl::init(x86)
Misha Brukman82742912003-07-02 17:53:19 +000038#elif defined(ENABLE_SPARC_JIT)
Chris Lattnerde3209b2003-06-17 15:54:02 +000039 cl::init(Sparc)
Chris Lattner97ac14f2003-06-17 15:43:13 +000040#endif
41 );
Misha Brukman82742912003-07-02 17:53:19 +000042#endif /* NO_JITS_ENABLED */
Misha Brukmanabb027c2003-05-27 21:40:39 +000043}
Chris Lattnerbd199fb2002-12-24 00:01:05 +000044
Brian Gaeke82d82772003-09-03 20:34:19 +000045/// create - Create an return a new JIT compiler if there is one available
46/// for the current target. Otherwise, return null.
Chris Lattnerbd199fb2002-12-24 00:01:05 +000047///
Brian Gaeke82d82772003-09-03 20:34:19 +000048ExecutionEngine *VM::create(Module *M) {
Chris Lattner39c07262003-08-24 19:50:53 +000049 TargetMachine* (*TargetMachineAllocator)(const Module &) = 0;
Chris Lattnerbd199fb2002-12-24 00:01:05 +000050
Misha Brukmanabb027c2003-05-27 21:40:39 +000051 // Allow a command-line switch to override what *should* be the default target
52 // machine for this platform. This allows for debugging a Sparc JIT on X86 --
Misha Brukman82742912003-07-02 17:53:19 +000053 // our X86 machines are much faster at recompiling LLVM and linking LLI.
54#ifdef NO_JITS_ENABLED
55 return 0;
56#endif
57
Chris Lattner97ac14f2003-06-17 15:43:13 +000058 switch (Arch) {
Misha Brukman82742912003-07-02 17:53:19 +000059#ifdef ENABLE_X86_JIT
Chris Lattner97ac14f2003-06-17 15:43:13 +000060 case x86:
Misha Brukmanabb027c2003-05-27 21:40:39 +000061 TargetMachineAllocator = allocateX86TargetMachine;
Chris Lattner97ac14f2003-06-17 15:43:13 +000062 break;
Misha Brukman82742912003-07-02 17:53:19 +000063#endif
64#ifdef ENABLE_SPARC_JIT
Chris Lattnerde3209b2003-06-17 15:54:02 +000065 case Sparc:
Misha Brukman906f5fa2003-06-02 03:23:16 +000066 TargetMachineAllocator = allocateSparcTargetMachine;
Chris Lattner97ac14f2003-06-17 15:43:13 +000067 break;
Chris Lattner7aefa962003-06-17 15:32:38 +000068#endif
Chris Lattner97ac14f2003-06-17 15:43:13 +000069 default:
70 assert(0 && "-march flag not supported on this host!");
Misha Brukmanabb027c2003-05-27 21:40:39 +000071 }
Chris Lattner97ac14f2003-06-17 15:43:13 +000072
73 // Allocate a target...
Chris Lattner39c07262003-08-24 19:50:53 +000074 TargetMachine *Target = TargetMachineAllocator(*M);
Chris Lattner97ac14f2003-06-17 15:43:13 +000075 assert(Target && "Could not allocate target machine!");
76
77 // Create the virtual machine object...
78 return new VM(M, Target);
Chris Lattnerbd199fb2002-12-24 00:01:05 +000079}
80
81VM::VM(Module *M, TargetMachine *tm) : ExecutionEngine(M), TM(*tm) {
82 setTargetData(TM.getTargetData());
Misha Brukmanabb027c2003-05-27 21:40:39 +000083
84 // Initialize MCE
Misha Brukman906f5fa2003-06-02 03:23:16 +000085 MCE = createEmitter(*this);
Misha Brukmanabb027c2003-05-27 21:40:39 +000086
Chris Lattnerbd199fb2002-12-24 00:01:05 +000087 setupPassManager();
Misha Brukman4e8c9992003-06-06 06:59:55 +000088
Misha Brukman82742912003-07-02 17:53:19 +000089#ifdef ENABLE_SPARC_JIT
Misha Brukman4e8c9992003-06-06 06:59:55 +000090 // THIS GOES BEYOND UGLY HACKS
91 if (TM.getName() == "UltraSparc-Native") {
92 extern Pass *createPreSelectionPass(TargetMachine &TM);
93 PassManager PM;
94 // Specialize LLVM code for this target machine and then
95 // run basic dataflow optimizations on LLVM code.
96 PM.add(createPreSelectionPass(TM));
97 PM.run(*M);
98 }
Chris Lattner7aefa962003-06-17 15:32:38 +000099#endif
Misha Brukman4e8c9992003-06-06 06:59:55 +0000100
Chris Lattner56adf152003-05-12 02:14:34 +0000101 emitGlobals();
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000102}
103
Brian Gaeke70975ee2003-09-05 18:42:01 +0000104/// run - Start execution with the specified function and arguments.
Chris Lattner05a1a302003-08-21 21:32:12 +0000105///
Brian Gaeke70975ee2003-09-05 18:42:01 +0000106GenericValue VM::run(Function *F, const std::vector<GenericValue> &ArgValues)
107{
108 assert (F && "Function *F was null at entry to run()");
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000109
Brian Gaeke70975ee2003-09-05 18:42:01 +0000110 int (*PF)(int, char **, const char **) =
111 (int(*)(int, char **, const char **))getPointerToFunction(F);
112 assert(PF != 0 && "Pointer to fn's code was null after getPointerToFunction");
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000113
Brian Gaeke70975ee2003-09-05 18:42:01 +0000114 // Call the function.
115 int ExitCode = PF(ArgValues[0].IntVal, (char **) GVTOP (ArgValues[1]),
116 (const char **) GVTOP (ArgValues[2]));
Chris Lattner22080f92003-05-14 13:53:40 +0000117
118 // Run any atexit handlers now!
119 runAtExitHandlers();
Brian Gaeke70975ee2003-09-05 18:42:01 +0000120
121 GenericValue rv;
122 rv.IntVal = ExitCode;
123 return rv;
Chris Lattnerbd199fb2002-12-24 00:01:05 +0000124}