blob: 49fd5e4bc17a4d20038cb44e04b488afffe29ed5 [file] [log] [blame]
Chris Lattner92101ac2001-08-23 17:05:04 +00001//===-- UserInput.cpp - Interpreter Input Loop support --------------------===//
2//
3// This file implements the interpreter Input I/O loop.
4//
5//===----------------------------------------------------------------------===//
6
7#include "Interpreter.h"
Chris Lattner2e42d3a2001-10-15 05:51:48 +00008#include "llvm/Bytecode/Reader.h"
Chris Lattner92101ac2001-08-23 17:05:04 +00009#include "llvm/Assembly/Writer.h"
Chris Lattnerf8f2afb2001-10-18 21:55:32 +000010#include "llvm/DerivedTypes.h"
Chris Lattnere43db882001-10-27 04:15:57 +000011#include "llvm/Transforms/Linker.h"
Chris Lattner92101ac2001-08-23 17:05:04 +000012#include <algorithm>
13
14enum CommandID {
Chris Lattner86660982001-08-27 05:16:50 +000015 Quit, Help, // Basics
16 Print, Info, List, StackTrace, Up, Down, // Inspection
17 Next, Step, Run, Finish, Call, // Control flow changes
18 Break, Watch, // Debugging
Chris Lattner43e3f7c2001-10-27 08:43:52 +000019 Load, Flush,
20 TraceOpt, ProfileOpt // Toggle features
Chris Lattner92101ac2001-08-23 17:05:04 +000021};
22
23// CommandTable - Build a lookup table for the commands available to the user...
24static struct CommandTableElement {
25 const char *Name;
26 enum CommandID CID;
27
28 inline bool operator<(const CommandTableElement &E) const {
29 return string(Name) < string(E.Name);
30 }
31 inline bool operator==(const string &S) const {
32 return string(Name) == S;
33 }
34} CommandTable[] = {
35 { "quit" , Quit }, { "q", Quit }, { "", Quit }, // Empty str = eof
36 { "help" , Help }, { "h", Help },
37
38 { "print" , Print }, { "p", Print },
39 { "list" , List },
Chris Lattner86660982001-08-27 05:16:50 +000040 { "info" , Info },
Chris Lattner92101ac2001-08-23 17:05:04 +000041 { "backtrace", StackTrace }, { "bt", StackTrace }, { "where", StackTrace },
42 { "up" , Up },
43 { "down" , Down },
44
45 { "next" , Next }, { "n", Next },
46 { "step" , Step }, { "s", Step },
47 { "run" , Run },
48 { "finish" , Finish },
49 { "call" , Call },
50
51 { "break" , Break }, { "b", Break },
52 { "watch" , Watch },
53
54 { "load" , Load },
55 { "flush" , Flush },
Chris Lattner43e3f7c2001-10-27 08:43:52 +000056
57 { "trace" , TraceOpt },
58 { "profile" , ProfileOpt },
Chris Lattner92101ac2001-08-23 17:05:04 +000059};
60static CommandTableElement *CommandTableEnd =
61 CommandTable+sizeof(CommandTable)/sizeof(CommandTable[0]);
62
63
64//===----------------------------------------------------------------------===//
65// handleUserInput - Enter the input loop for the interpreter. This function
66// returns when the user quits the interpreter.
67//
68void Interpreter::handleUserInput() {
69 bool UserQuit = false;
70
71 // Sort the table...
72 sort(CommandTable, CommandTableEnd);
73
74 // Print the instruction that we are stopped at...
75 printCurrentInstruction();
76
77 do {
78 string Command;
79 cout << "lli> " << flush;
80 cin >> Command;
81
82 CommandTableElement *E = find(CommandTable, CommandTableEnd, Command);
83
84 if (E == CommandTableEnd) {
85 cout << "Error: '" << Command << "' not recognized!\n";
86 continue;
87 }
88
89 switch (E->CID) {
90 case Quit: UserQuit = true; break;
Chris Lattner2e42d3a2001-10-15 05:51:48 +000091 case Load:
92 cin >> Command;
93 loadModule(Command);
94 break;
95 case Flush: flushModule(); break;
Chris Lattner92101ac2001-08-23 17:05:04 +000096 case Print:
97 cin >> Command;
Chris Lattner2e42d3a2001-10-15 05:51:48 +000098 print(Command);
Chris Lattner92101ac2001-08-23 17:05:04 +000099 break;
Chris Lattner86660982001-08-27 05:16:50 +0000100 case Info:
101 cin >> Command;
102 infoValue(Command);
103 break;
104
Chris Lattner92101ac2001-08-23 17:05:04 +0000105 case List: list(); break;
106 case StackTrace: printStackTrace(); break;
107 case Up:
108 if (CurFrame > 0) --CurFrame;
109 else cout << "Error: Already at root of stack!\n";
110 break;
111 case Down:
112 if ((unsigned)CurFrame < ECStack.size()-1) ++CurFrame;
113 else cout << "Error: Already at bottom of stack!\n";
114 break;
115 case Next: nextInstruction(); break;
116 case Step: stepInstruction(); break;
117 case Run: run(); break;
118 case Finish: finish(); break;
119 case Call:
120 cin >> Command;
121 callMethod(Command); // Enter the specified method
122 finish(); // Run until it's complete
123 break;
124
Chris Lattner43e3f7c2001-10-27 08:43:52 +0000125 case TraceOpt:
126 Trace = !Trace;
127 cout << "Tracing " << (Trace ? "enabled\n" : "disabled\n");
128 break;
129
130 case ProfileOpt:
131 Profile = !Profile;
132 cout << "Profiling " << (Trace ? "enabled\n" : "disabled\n");
133 break;
134
Chris Lattner92101ac2001-08-23 17:05:04 +0000135 default:
136 cout << "Command '" << Command << "' unimplemented!\n";
137 break;
138 }
139
140 } while (!UserQuit);
141}
142
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000143//===----------------------------------------------------------------------===//
144// loadModule - Load a new module to execute...
145//
146void Interpreter::loadModule(const string &Filename) {
Chris Lattnere43db882001-10-27 04:15:57 +0000147 string ErrorMsg;
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000148 if (CurMod && !flushModule()) return; // Kill current execution
149
Chris Lattnere43db882001-10-27 04:15:57 +0000150 CurMod = ParseBytecodeFile(Filename, &ErrorMsg);
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000151 if (CurMod == 0) {
Chris Lattnere43db882001-10-27 04:15:57 +0000152 cout << "Error parsing '" << Filename << "': No module loaded: "
153 << ErrorMsg << "\n";
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000154 return;
155 }
156
Chris Lattnera5637fc2001-10-30 16:40:37 +0000157 string RuntimeLib = getCurrentExecutablePath();
158 if (!RuntimeLib.empty()) RuntimeLib += "/";
159 RuntimeLib += "RuntimeLib.bc";
160
Chris Lattnere43db882001-10-27 04:15:57 +0000161 if (Module *SupportLib = ParseBytecodeFile(RuntimeLib, &ErrorMsg)) {
162 if (LinkModules(CurMod, SupportLib, &ErrorMsg))
163 cerr << "Error Linking runtime library into current module: "
164 << ErrorMsg << endl;
165 } else {
166 cerr << "Error loading runtime library '"+RuntimeLib+"': "
167 << ErrorMsg << "\n";
168 }
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000169}
170
171
172//===----------------------------------------------------------------------===//
173// flushModule - Return true if the current program has been unloaded.
174//
175bool Interpreter::flushModule() {
176 if (CurMod == 0) {
177 cout << "Error flushing: No module loaded!\n";
178 return false;
179 }
180
181 if (!ECStack.empty()) {
182 // TODO: if use is not sure, return false
183 cout << "Killing current execution!\n";
184 ECStack.clear();
185 CurFrame = -1;
186 }
187
188 delete CurMod;
189 CurMod = 0;
190 ExitCode = 0;
191 return true;
192}
Chris Lattner92101ac2001-08-23 17:05:04 +0000193
194//===----------------------------------------------------------------------===//
195// setBreakpoint - Enable a breakpoint at the specified location
196//
197void Interpreter::setBreakpoint(const string &Name) {
198 Value *PickedVal = ChooseOneOption(Name, LookupMatchingNames(Name));
199 // TODO: Set a breakpoint on PickedVal
200}
201
202//===----------------------------------------------------------------------===//
203// callMethod - Enter the specified method...
204//
205bool Interpreter::callMethod(const string &Name) {
206 vector<Value*> Options = LookupMatchingNames(Name);
207
208 for (unsigned i = 0; i < Options.size(); ++i) { // Remove nonmethod matches...
Chris Lattner1d87bcf2001-10-01 20:11:19 +0000209 if (!isa<Method>(Options[i])) {
Chris Lattner92101ac2001-08-23 17:05:04 +0000210 Options.erase(Options.begin()+i);
211 --i;
212 }
213 }
214
215 Value *PickedMeth = ChooseOneOption(Name, Options);
216 if (PickedMeth == 0)
217 return true;
218
Chris Lattner9636a912001-10-01 16:18:37 +0000219 Method *M = cast<Method>(PickedMeth);
Chris Lattner365a76e2001-09-10 04:49:44 +0000220
221 vector<GenericValue> Args;
222 // TODO, get args from user...
223
224 callMethod(M, Args); // Start executing it...
Chris Lattner92101ac2001-08-23 17:05:04 +0000225
226 // Reset the current frame location to the top of stack
227 CurFrame = ECStack.size()-1;
228
229 return false;
230}
Chris Lattnerf8f2afb2001-10-18 21:55:32 +0000231
Chris Lattner204eec32001-10-27 05:54:31 +0000232static void *CreateArgv(const vector<string> &InputArgv) {
233 // Pointers are 64 bits...
234 uint64_t *Result = new uint64_t[InputArgv.size()+1];
235
236 for (unsigned i = 0; i < InputArgv.size(); ++i) {
237 unsigned Size = InputArgv[i].size()+1;
238 char *Dest = new char[Size];
239 copy(InputArgv[i].begin(), InputArgv[i].end(), Dest);
240 Dest[Size-1] = 0;
241 Result[i] = (uint64_t)Dest;
242 }
243
244 Result[InputArgv.size()] = 0;
245 return Result;
246}
247
Chris Lattnerf8f2afb2001-10-18 21:55:32 +0000248
249// callMainMethod - This is a nasty gross hack that will dissapear when
250// callMethod can parse command line options and stuff for us.
251//
252bool Interpreter::callMainMethod(const string &Name,
Chris Lattner204eec32001-10-27 05:54:31 +0000253 const vector<string> &InputArgv) {
Chris Lattnerf8f2afb2001-10-18 21:55:32 +0000254 vector<Value*> Options = LookupMatchingNames(Name);
255
256 for (unsigned i = 0; i < Options.size(); ++i) { // Remove nonmethod matches...
257 if (!isa<Method>(Options[i])) {
258 Options.erase(Options.begin()+i);
259 --i;
260 }
261 }
262
263 Value *PickedMeth = ChooseOneOption(Name, Options);
264 if (PickedMeth == 0)
265 return true;
266
267 Method *M = cast<Method>(PickedMeth);
268 const MethodType *MT = M->getMethodType();
269
270 vector<GenericValue> Args;
271 switch (MT->getParamTypes().size()) {
272 default:
273 cout << "Unknown number of arguments to synthesize for '" << Name << "'!\n";
274 return true;
275 case 2: {
276 PointerType *SPP = PointerType::get(PointerType::get(Type::SByteTy));
277 if (MT->getParamTypes()[1] != SPP) {
278 cout << "Second argument of '" << Name << "' should have type: '"
279 << SPP->getDescription() << "'!\n";
280 return true;
281 }
Chris Lattner204eec32001-10-27 05:54:31 +0000282
Chris Lattnerc2593162001-10-27 08:28:11 +0000283 GenericValue GV; GV.PointerVal = (uint64_t)CreateArgv(InputArgv);
Chris Lattnerf8f2afb2001-10-18 21:55:32 +0000284 Args.push_back(GV);
285 }
286 // fallthrough
287 case 1:
288 if (!MT->getParamTypes()[0]->isIntegral()) {
289 cout << "First argument of '" << Name << "' should be integral!\n";
290 return true;
291 } else {
Chris Lattner204eec32001-10-27 05:54:31 +0000292 GenericValue GV; GV.UIntVal = InputArgv.size();
Chris Lattnerf8f2afb2001-10-18 21:55:32 +0000293 Args.insert(Args.begin(), GV);
294 }
295 // fallthrough
296 case 0:
297 break;
298 }
299
300 callMethod(M, Args); // Start executing it...
301
302 // Reset the current frame location to the top of stack
303 CurFrame = ECStack.size()-1;
304
305 return false;
306}