blob: 6f40a6b4529d2220158062620bc5211cf5d076ae [file] [log] [blame]
Chris Lattner2fbfdcf2002-04-07 20:49:59 +00001//===-- ExternalFunctions.cpp - Implement External Functions --------------===//
Chris Lattner7720c8e2001-09-10 04:50:17 +00002//
Chris Lattner2fbfdcf2002-04-07 20:49:59 +00003// This file contains both code to deal with invoking "external" functions, but
4// also contains code that implements "exported" external functions.
Chris Lattner7720c8e2001-09-10 04:50:17 +00005//
Chris Lattner2fbfdcf2002-04-07 20:49:59 +00006// External functions in LLI are implemented by dlopen'ing the lli executable
7// and using dlsym to look op the functions that we want to invoke. If a
8// function is found, then the arguments are mangled and passed in to the
9// function call.
Chris Lattner7720c8e2001-09-10 04:50:17 +000010//
11//===----------------------------------------------------------------------===//
12
13#include "Interpreter.h"
Chris Lattner005cbce2002-10-02 21:12:13 +000014#include "ExecutionAnnotations.h"
Chris Lattnerfe11a972002-12-23 23:59:41 +000015#include "llvm/Module.h"
Chris Lattner7720c8e2001-09-10 04:50:17 +000016#include "llvm/DerivedTypes.h"
Chris Lattner005cbce2002-10-02 21:12:13 +000017#include "llvm/SymbolTable.h"
18#include "llvm/Target/TargetData.h"
Chris Lattner7720c8e2001-09-10 04:50:17 +000019#include <map>
20#include <dlfcn.h>
21#include <link.h>
Chris Lattnerc2593162001-10-27 08:28:11 +000022#include <math.h>
Chris Lattnerc063d382001-11-06 21:52:18 +000023#include <stdio.h>
Chris Lattner697954c2002-01-20 22:54:45 +000024using std::vector;
25using std::cout;
Chris Lattner7720c8e2001-09-10 04:50:17 +000026
Chris Lattnerb408b122002-03-29 03:57:15 +000027typedef GenericValue (*ExFunc)(FunctionType *, const vector<GenericValue> &);
28static std::map<const Function *, ExFunc> Functions;
Chris Lattner697954c2002-01-20 22:54:45 +000029static std::map<std::string, ExFunc> FuncNames;
Chris Lattner7720c8e2001-09-10 04:50:17 +000030
Chris Lattnere43db882001-10-27 04:15:57 +000031static Interpreter *TheInterpreter;
32
33// getCurrentExecutablePath() - Return the directory that the lli executable
34// lives in.
35//
Chris Lattner697954c2002-01-20 22:54:45 +000036std::string Interpreter::getCurrentExecutablePath() const {
Chris Lattnere43db882001-10-27 04:15:57 +000037 Dl_info Info;
38 if (dladdr(&TheInterpreter, &Info) == 0) return "";
39
Chris Lattner697954c2002-01-20 22:54:45 +000040 std::string LinkAddr(Info.dli_fname);
Chris Lattnere43db882001-10-27 04:15:57 +000041 unsigned SlashPos = LinkAddr.rfind('/');
Chris Lattner697954c2002-01-20 22:54:45 +000042 if (SlashPos != std::string::npos)
Chris Lattnere43db882001-10-27 04:15:57 +000043 LinkAddr.resize(SlashPos); // Trim the executable name off...
44
45 return LinkAddr;
46}
47
48
Chris Lattner7720c8e2001-09-10 04:50:17 +000049static char getTypeID(const Type *Ty) {
50 switch (Ty->getPrimitiveID()) {
51 case Type::VoidTyID: return 'V';
52 case Type::BoolTyID: return 'o';
53 case Type::UByteTyID: return 'B';
54 case Type::SByteTyID: return 'b';
55 case Type::UShortTyID: return 'S';
56 case Type::ShortTyID: return 's';
57 case Type::UIntTyID: return 'I';
58 case Type::IntTyID: return 'i';
59 case Type::ULongTyID: return 'L';
60 case Type::LongTyID: return 'l';
61 case Type::FloatTyID: return 'F';
62 case Type::DoubleTyID: return 'D';
63 case Type::PointerTyID: return 'P';
Chris Lattnerb408b122002-03-29 03:57:15 +000064 case Type::FunctionTyID: return 'M';
Chris Lattner7720c8e2001-09-10 04:50:17 +000065 case Type::StructTyID: return 'T';
66 case Type::ArrayTyID: return 'A';
67 case Type::OpaqueTyID: return 'O';
68 default: return 'U';
69 }
70}
71
Chris Lattnerb408b122002-03-29 03:57:15 +000072static ExFunc lookupFunction(const Function *M) {
Chris Lattner7720c8e2001-09-10 04:50:17 +000073 // Function not found, look it up... start by figuring out what the
74 // composite function name should be.
Chris Lattner697954c2002-01-20 22:54:45 +000075 std::string ExtName = "lle_";
Chris Lattnerb408b122002-03-29 03:57:15 +000076 const FunctionType *MT = M->getFunctionType();
Chris Lattner7720c8e2001-09-10 04:50:17 +000077 for (unsigned i = 0; const Type *Ty = MT->getContainedType(i); ++i)
78 ExtName += getTypeID(Ty);
79 ExtName += "_" + M->getName();
80
81 //cout << "Tried: '" << ExtName << "'\n";
Chris Lattner4721f132001-10-30 20:28:00 +000082 ExFunc FnPtr = FuncNames[ExtName];
83 if (FnPtr == 0)
84 FnPtr = (ExFunc)dlsym(RTLD_DEFAULT, ExtName.c_str());
85 if (FnPtr == 0)
86 FnPtr = FuncNames["lle_X_"+M->getName()];
Chris Lattner7720c8e2001-09-10 04:50:17 +000087 if (FnPtr == 0) // Try calling a generic function... if it exists...
88 FnPtr = (ExFunc)dlsym(RTLD_DEFAULT, ("lle_X_"+M->getName()).c_str());
89 if (FnPtr != 0)
Chris Lattner697954c2002-01-20 22:54:45 +000090 Functions.insert(std::make_pair(M, FnPtr)); // Cache for later
Chris Lattner7720c8e2001-09-10 04:50:17 +000091 return FnPtr;
92}
93
Chris Lattnerb408b122002-03-29 03:57:15 +000094GenericValue Interpreter::callExternalMethod(Function *M,
Chris Lattner4721f132001-10-30 20:28:00 +000095 const vector<GenericValue> &ArgVals) {
Chris Lattnere43db882001-10-27 04:15:57 +000096 TheInterpreter = this;
97
Chris Lattner2fbfdcf2002-04-07 20:49:59 +000098 // Do a lookup to see if the function is in our cache... this should just be a
Chris Lattner7720c8e2001-09-10 04:50:17 +000099 // defered annotation!
Chris Lattnerb408b122002-03-29 03:57:15 +0000100 std::map<const Function *, ExFunc>::iterator FI = Functions.find(M);
101 ExFunc Fn = (FI == Functions.end()) ? lookupFunction(M) : FI->second;
Chris Lattner7720c8e2001-09-10 04:50:17 +0000102 if (Fn == 0) {
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000103 cout << "Tried to execute an unknown external function: "
Chris Lattner697954c2002-01-20 22:54:45 +0000104 << M->getType()->getDescription() << " " << M->getName() << "\n";
Chris Lattner4721f132001-10-30 20:28:00 +0000105 return GenericValue();
Chris Lattner7720c8e2001-09-10 04:50:17 +0000106 }
107
108 // TODO: FIXME when types are not const!
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000109 GenericValue Result = Fn(const_cast<FunctionType*>(M->getFunctionType()),
110 ArgVals);
Chris Lattner4721f132001-10-30 20:28:00 +0000111 return Result;
Chris Lattner7720c8e2001-09-10 04:50:17 +0000112}
113
114
115//===----------------------------------------------------------------------===//
Chris Lattnerb408b122002-03-29 03:57:15 +0000116// Functions "exported" to the running application...
Chris Lattner7720c8e2001-09-10 04:50:17 +0000117//
118extern "C" { // Don't add C++ manglings to llvm mangling :)
119
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000120// Implement void printstr([ubyte {x N}] *)
Chris Lattnerb1118742003-01-13 00:59:47 +0000121GenericValue lle_VP_printstr(FunctionType *M,
122 const vector<GenericValue> &ArgVal){
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000123 assert(ArgVal.size() == 1 && "printstr only takes one argument!");
Chris Lattnerb1118742003-01-13 00:59:47 +0000124 cout << (char*)GVTOP(ArgVal[0]);
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000125 return GenericValue();
126}
127
Chris Lattner7720c8e2001-09-10 04:50:17 +0000128// Implement 'void print(X)' for every type...
Chris Lattnerb408b122002-03-29 03:57:15 +0000129GenericValue lle_X_print(FunctionType *M, const vector<GenericValue> &ArgVals) {
Chris Lattner7720c8e2001-09-10 04:50:17 +0000130 assert(ArgVals.size() == 1 && "generic print only takes one argument!");
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000131
132 Interpreter::print(M->getParamTypes()[0], ArgVals[0]);
133 return GenericValue();
134}
135
136// Implement 'void printVal(X)' for every type...
Chris Lattnerb1118742003-01-13 00:59:47 +0000137GenericValue lle_X_printVal(FunctionType *M,
138 const vector<GenericValue> &ArgVal) {
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000139 assert(ArgVal.size() == 1 && "generic print only takes one argument!");
140
Chris Lattnerf8f2afb2001-10-18 21:55:32 +0000141 // Specialize print([ubyte {x N} ] *) and print(sbyte *)
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000142 if (const PointerType *PTy =
143 dyn_cast<PointerType>(M->getParamTypes()[0].get()))
Chris Lattner7a176752001-12-04 00:03:30 +0000144 if (PTy->getElementType() == Type::SByteTy ||
145 isa<ArrayType>(PTy->getElementType())) {
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000146 return lle_VP_printstr(M, ArgVal);
147 }
148
149 Interpreter::printValue(M->getParamTypes()[0], ArgVal[0]);
Chris Lattner7720c8e2001-09-10 04:50:17 +0000150 return GenericValue();
151}
152
Vikram S. Adve3eb60f82001-10-28 20:52:27 +0000153// Implement 'void printString(X)'
154// Argument must be [ubyte {x N} ] * or sbyte *
Chris Lattnerb1118742003-01-13 00:59:47 +0000155GenericValue lle_X_printString(FunctionType *M,
156 const vector<GenericValue> &ArgVal) {
Vikram S. Adve3eb60f82001-10-28 20:52:27 +0000157 assert(ArgVal.size() == 1 && "generic print only takes one argument!");
158 return lle_VP_printstr(M, ArgVal);
159}
160
161// Implement 'void print<TYPE>(X)' for each primitive type or pointer type
162#define PRINT_TYPE_FUNC(TYPENAME,TYPEID) \
Chris Lattnerb408b122002-03-29 03:57:15 +0000163 GenericValue lle_X_print##TYPENAME(FunctionType *M,\
Chris Lattner316a65b2001-10-28 22:38:22 +0000164 const vector<GenericValue> &ArgVal) {\
Vikram S. Adve3eb60f82001-10-28 20:52:27 +0000165 assert(ArgVal.size() == 1 && "generic print only takes one argument!");\
Chris Lattner69b5ce92001-11-26 19:19:27 +0000166 assert(M->getParamTypes()[0].get()->getPrimitiveID() == Type::TYPEID);\
Vikram S. Adve3eb60f82001-10-28 20:52:27 +0000167 Interpreter::printValue(M->getParamTypes()[0], ArgVal[0]);\
168 return GenericValue();\
169 }
170
Chris Lattner4721f132001-10-30 20:28:00 +0000171PRINT_TYPE_FUNC(SByte, SByteTyID)
Vikram S. Adve3eb60f82001-10-28 20:52:27 +0000172PRINT_TYPE_FUNC(UByte, UByteTyID)
173PRINT_TYPE_FUNC(Short, ShortTyID)
174PRINT_TYPE_FUNC(UShort, UShortTyID)
175PRINT_TYPE_FUNC(Int, IntTyID)
176PRINT_TYPE_FUNC(UInt, UIntTyID)
177PRINT_TYPE_FUNC(Long, LongTyID)
178PRINT_TYPE_FUNC(ULong, ULongTyID)
179PRINT_TYPE_FUNC(Float, FloatTyID)
180PRINT_TYPE_FUNC(Double, DoubleTyID)
181PRINT_TYPE_FUNC(Pointer, PointerTyID)
182
183
Chris Lattner005cbce2002-10-02 21:12:13 +0000184// void putchar(sbyte)
Chris Lattnerb408b122002-03-29 03:57:15 +0000185GenericValue lle_Vb_putchar(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner7720c8e2001-09-10 04:50:17 +0000186 cout << Args[0].SByteVal;
187 return GenericValue();
188}
189
Chris Lattner005cbce2002-10-02 21:12:13 +0000190// int putchar(int)
Chris Lattnerb408b122002-03-29 03:57:15 +0000191GenericValue lle_ii_putchar(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner697954c2002-01-20 22:54:45 +0000192 cout << ((char)Args[0].IntVal) << std::flush;
Chris Lattnere43db882001-10-27 04:15:57 +0000193 return Args[0];
194}
195
Chris Lattner005cbce2002-10-02 21:12:13 +0000196// void putchar(ubyte)
Chris Lattnerb408b122002-03-29 03:57:15 +0000197GenericValue lle_VB_putchar(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner697954c2002-01-20 22:54:45 +0000198 cout << Args[0].SByteVal << std::flush;
Chris Lattnere43db882001-10-27 04:15:57 +0000199 return Args[0];
Chris Lattner2e42d3a2001-10-15 05:51:48 +0000200}
201
Chris Lattner005cbce2002-10-02 21:12:13 +0000202// void __main()
Chris Lattnerb408b122002-03-29 03:57:15 +0000203GenericValue lle_V___main(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattnerf8f2afb2001-10-18 21:55:32 +0000204 return GenericValue();
205}
206
Chris Lattner005cbce2002-10-02 21:12:13 +0000207// void exit(int)
Chris Lattnerb408b122002-03-29 03:57:15 +0000208GenericValue lle_X_exit(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattnere43db882001-10-27 04:15:57 +0000209 TheInterpreter->exitCalled(Args[0]);
210 return GenericValue();
211}
212
Chris Lattner005cbce2002-10-02 21:12:13 +0000213// void abort(void)
Chris Lattner1ee34a52002-05-20 21:17:16 +0000214GenericValue lle_X_abort(FunctionType *M, const vector<GenericValue> &Args) {
215 std::cerr << "***PROGRAM ABORTED***!\n";
216 GenericValue GV;
217 GV.IntVal = 1;
218 TheInterpreter->exitCalled(GV);
219 return GenericValue();
220}
221
Chris Lattnerc2593162001-10-27 08:28:11 +0000222// void *malloc(uint)
Chris Lattnerb408b122002-03-29 03:57:15 +0000223GenericValue lle_X_malloc(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner4721f132001-10-30 20:28:00 +0000224 assert(Args.size() == 1 && "Malloc expects one argument!");
Chris Lattnerb1118742003-01-13 00:59:47 +0000225 return PTOGV(malloc(Args[0].UIntVal));
Chris Lattnerc2593162001-10-27 08:28:11 +0000226}
227
228// void free(void *)
Chris Lattnerb408b122002-03-29 03:57:15 +0000229GenericValue lle_X_free(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattnerc063d382001-11-06 21:52:18 +0000230 assert(Args.size() == 1);
Chris Lattnerb1118742003-01-13 00:59:47 +0000231 free(GVTOP(Args[0]));
Chris Lattnerc2593162001-10-27 08:28:11 +0000232 return GenericValue();
233}
234
Chris Lattner782b9392001-11-26 18:18:18 +0000235// int atoi(char *)
Chris Lattnerb408b122002-03-29 03:57:15 +0000236GenericValue lle_X_atoi(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner782b9392001-11-26 18:18:18 +0000237 assert(Args.size() == 1);
238 GenericValue GV;
Chris Lattnerb1118742003-01-13 00:59:47 +0000239 GV.IntVal = atoi((char*)GVTOP(Args[0]));
Chris Lattner782b9392001-11-26 18:18:18 +0000240 return GV;
241}
242
Chris Lattnerc2593162001-10-27 08:28:11 +0000243// double pow(double, double)
Chris Lattnerb408b122002-03-29 03:57:15 +0000244GenericValue lle_X_pow(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattnerc063d382001-11-06 21:52:18 +0000245 assert(Args.size() == 2);
Chris Lattnerc2593162001-10-27 08:28:11 +0000246 GenericValue GV;
Chris Lattner08845a22001-10-29 20:27:45 +0000247 GV.DoubleVal = pow(Args[0].DoubleVal, Args[1].DoubleVal);
Chris Lattnerc2593162001-10-27 08:28:11 +0000248 return GV;
249}
250
Chris Lattner34dd24b2002-02-18 19:06:25 +0000251// double exp(double)
Chris Lattnerb408b122002-03-29 03:57:15 +0000252GenericValue lle_X_exp(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner34dd24b2002-02-18 19:06:25 +0000253 assert(Args.size() == 1);
254 GenericValue GV;
255 GV.DoubleVal = exp(Args[0].DoubleVal);
256 return GV;
257}
258
Chris Lattnerc063d382001-11-06 21:52:18 +0000259// double sqrt(double)
Chris Lattnerb408b122002-03-29 03:57:15 +0000260GenericValue lle_X_sqrt(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattnerc063d382001-11-06 21:52:18 +0000261 assert(Args.size() == 1);
262 GenericValue GV;
263 GV.DoubleVal = sqrt(Args[0].DoubleVal);
264 return GV;
265}
Chris Lattnerc2593162001-10-27 08:28:11 +0000266
Chris Lattner86790052001-11-06 22:53:25 +0000267// double log(double)
Chris Lattnerb408b122002-03-29 03:57:15 +0000268GenericValue lle_X_log(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner86790052001-11-06 22:53:25 +0000269 assert(Args.size() == 1);
270 GenericValue GV;
271 GV.DoubleVal = log(Args[0].DoubleVal);
272 return GV;
273}
274
Chris Lattnerdbcda222002-12-20 04:18:13 +0000275// int isnan(double value);
276GenericValue lle_X_isnan(FunctionType *F, const vector<GenericValue> &Args) {
277 assert(Args.size() == 1);
278 GenericValue GV;
279 GV.IntVal = isnan(Args[0].DoubleVal);
280 return GV;
281}
282
Chris Lattner782b9392001-11-26 18:18:18 +0000283// double floor(double)
Chris Lattnerb408b122002-03-29 03:57:15 +0000284GenericValue lle_X_floor(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner782b9392001-11-26 18:18:18 +0000285 assert(Args.size() == 1);
286 GenericValue GV;
287 GV.DoubleVal = floor(Args[0].DoubleVal);
288 return GV;
289}
290
Chris Lattner86790052001-11-06 22:53:25 +0000291// double drand48()
Chris Lattnerb408b122002-03-29 03:57:15 +0000292GenericValue lle_X_drand48(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner86790052001-11-06 22:53:25 +0000293 assert(Args.size() == 0);
294 GenericValue GV;
295 GV.DoubleVal = drand48();
296 return GV;
297}
298
Chris Lattner1b600142001-11-13 05:46:08 +0000299// long lrand48()
Chris Lattnerb408b122002-03-29 03:57:15 +0000300GenericValue lle_X_lrand48(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner1b600142001-11-13 05:46:08 +0000301 assert(Args.size() == 0);
302 GenericValue GV;
303 GV.IntVal = lrand48();
304 return GV;
305}
306
307// void srand48(long)
Chris Lattnerb408b122002-03-29 03:57:15 +0000308GenericValue lle_X_srand48(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner1b600142001-11-13 05:46:08 +0000309 assert(Args.size() == 1);
310 srand48(Args[0].IntVal);
311 return GenericValue();
312}
313
Chris Lattner782b9392001-11-26 18:18:18 +0000314// void srand(uint)
Chris Lattnerb408b122002-03-29 03:57:15 +0000315GenericValue lle_X_srand(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner782b9392001-11-26 18:18:18 +0000316 assert(Args.size() == 1);
317 srand(Args[0].UIntVal);
318 return GenericValue();
319}
Chris Lattner86790052001-11-06 22:53:25 +0000320
Chris Lattnerb1118742003-01-13 00:59:47 +0000321// int puts(const char*)
322GenericValue lle_X_puts(FunctionType *M, const vector<GenericValue> &Args) {
323 assert(Args.size() == 1);
324 GenericValue GV;
325 GV.IntVal = puts((char*)GVTOP(Args[0]));
326 return GV;
327}
328
Chris Lattnere7c6f722001-12-13 00:43:47 +0000329// int sprintf(sbyte *, sbyte *, ...) - a very rough implementation to make
330// output useful.
Chris Lattnerb408b122002-03-29 03:57:15 +0000331GenericValue lle_X_sprintf(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattnerb1118742003-01-13 00:59:47 +0000332 char *OutputBuffer = (char *)GVTOP(Args[0]);
333 const char *FmtStr = (const char *)GVTOP(Args[1]);
Chris Lattnere7c6f722001-12-13 00:43:47 +0000334 unsigned ArgNo = 2;
Chris Lattner08845a22001-10-29 20:27:45 +0000335
336 // printf should return # chars printed. This is completely incorrect, but
337 // close enough for now.
338 GenericValue GV; GV.IntVal = strlen(FmtStr);
339 while (1) {
340 switch (*FmtStr) {
341 case 0: return GV; // Null terminator...
342 default: // Normal nonspecial character
Chris Lattnere7c6f722001-12-13 00:43:47 +0000343 sprintf(OutputBuffer++, "%c", *FmtStr++);
Chris Lattner08845a22001-10-29 20:27:45 +0000344 break;
345 case '\\': { // Handle escape codes
Chris Lattnere7c6f722001-12-13 00:43:47 +0000346 sprintf(OutputBuffer, "%c%c", *FmtStr, *(FmtStr+1));
347 FmtStr += 2; OutputBuffer += 2;
Chris Lattner08845a22001-10-29 20:27:45 +0000348 break;
349 }
350 case '%': { // Handle format specifiers
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000351 char FmtBuf[100] = "", Buffer[1000] = "";
352 char *FB = FmtBuf;
353 *FB++ = *FmtStr++;
354 char Last = *FB++ = *FmtStr++;
355 unsigned HowLong = 0;
356 while (Last != 'c' && Last != 'd' && Last != 'i' && Last != 'u' &&
357 Last != 'o' && Last != 'x' && Last != 'X' && Last != 'e' &&
358 Last != 'E' && Last != 'g' && Last != 'G' && Last != 'f' &&
359 Last != 'p' && Last != 's' && Last != '%') {
360 if (Last == 'l' || Last == 'L') HowLong++; // Keep track of l's
361 Last = *FB++ = *FmtStr++;
Chris Lattner08845a22001-10-29 20:27:45 +0000362 }
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000363 *FB = 0;
364
365 switch (Last) {
366 case '%':
367 sprintf(Buffer, FmtBuf); break;
368 case 'c':
Chris Lattner2012d5e2002-04-17 17:43:01 +0000369 sprintf(Buffer, FmtBuf, Args[ArgNo++].IntVal); break;
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000370 case 'd': case 'i':
371 case 'u': case 'o':
372 case 'x': case 'X':
Chris Lattner69ab7a82002-08-02 23:08:32 +0000373 if (HowLong >= 1) {
374 if (HowLong == 1) {
375 // Make sure we use %lld with a 64 bit argument because we might be
376 // compiling LLI on a 32 bit compiler.
377 unsigned Size = strlen(FmtBuf);
378 FmtBuf[Size] = FmtBuf[Size-1];
379 FmtBuf[Size+1] = 0;
380 FmtBuf[Size-1] = 'l';
381 }
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000382 sprintf(Buffer, FmtBuf, Args[ArgNo++].ULongVal);
Chris Lattner69ab7a82002-08-02 23:08:32 +0000383 } else
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000384 sprintf(Buffer, FmtBuf, Args[ArgNo++].IntVal); break;
385 case 'e': case 'E': case 'g': case 'G': case 'f':
386 sprintf(Buffer, FmtBuf, Args[ArgNo++].DoubleVal); break;
387 case 'p':
Chris Lattnerb1118742003-01-13 00:59:47 +0000388 sprintf(Buffer, FmtBuf, (void*)GVTOP(Args[ArgNo++])); break;
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000389 case 's':
Chris Lattnerb1118742003-01-13 00:59:47 +0000390 sprintf(Buffer, FmtBuf, (char*)GVTOP(Args[ArgNo++])); break;
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000391 default: cout << "<unknown printf code '" << *FmtStr << "'!>";
392 ArgNo++; break;
Chris Lattner08845a22001-10-29 20:27:45 +0000393 }
Chris Lattnere7c6f722001-12-13 00:43:47 +0000394 strcpy(OutputBuffer, Buffer);
395 OutputBuffer += strlen(Buffer);
Chris Lattnerea38c0e2001-11-07 19:46:27 +0000396 }
Chris Lattner08845a22001-10-29 20:27:45 +0000397 break;
398 }
Chris Lattner08845a22001-10-29 20:27:45 +0000399 }
400}
401
Chris Lattnere7c6f722001-12-13 00:43:47 +0000402// int printf(sbyte *, ...) - a very rough implementation to make output useful.
Chris Lattnerb408b122002-03-29 03:57:15 +0000403GenericValue lle_X_printf(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattnere7c6f722001-12-13 00:43:47 +0000404 char Buffer[10000];
405 vector<GenericValue> NewArgs;
Chris Lattnerb1118742003-01-13 00:59:47 +0000406 NewArgs.push_back(PTOGV(Buffer));
Chris Lattnere7c6f722001-12-13 00:43:47 +0000407 NewArgs.insert(NewArgs.end(), Args.begin(), Args.end());
Chris Lattnerb1118742003-01-13 00:59:47 +0000408 GenericValue GV = lle_X_sprintf(M, NewArgs);
Chris Lattnere7c6f722001-12-13 00:43:47 +0000409 cout << Buffer;
410 return GV;
411}
412
Chris Lattner665ee882002-03-08 22:51:07 +0000413// int sscanf(const char *format, ...);
Chris Lattnerb408b122002-03-29 03:57:15 +0000414GenericValue lle_X_sscanf(FunctionType *M, const vector<GenericValue> &args) {
Chris Lattner665ee882002-03-08 22:51:07 +0000415 assert(args.size() < 10 && "Only handle up to 10 args to sscanf right now!");
416
417 const char *Args[10];
418 for (unsigned i = 0; i < args.size(); ++i)
Chris Lattnerb1118742003-01-13 00:59:47 +0000419 Args[i] = (const char*)GVTOP(args[i]);
Chris Lattner665ee882002-03-08 22:51:07 +0000420
421 GenericValue GV;
422 GV.IntVal = sscanf(Args[0], Args[1], Args[2], Args[3], Args[4],
423 Args[5], Args[6], Args[7], Args[8], Args[9]);
424 return GV;
425}
426
427
Chris Lattner295fe672002-01-23 21:38:07 +0000428// int clock(void) - Profiling implementation
Chris Lattnerb408b122002-03-29 03:57:15 +0000429GenericValue lle_i_clock(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner295fe672002-01-23 21:38:07 +0000430 extern int clock(void);
431 GenericValue GV; GV.IntVal = clock();
432 return GV;
433}
Chris Lattnere7c6f722001-12-13 00:43:47 +0000434
Chris Lattner665ee882002-03-08 22:51:07 +0000435//===----------------------------------------------------------------------===//
436// IO Functions...
437//===----------------------------------------------------------------------===//
438
Chris Lattner005cbce2002-10-02 21:12:13 +0000439// getFILE - Turn a pointer in the host address space into a legit pointer in
440// the interpreter address space. For the most part, this is an identity
441// transformation, but if the program refers to stdio, stderr, stdin then they
442// have pointers that are relative to the __iob array. If this is the case,
443// change the FILE into the REAL stdio stream.
444//
Chris Lattnerb1118742003-01-13 00:59:47 +0000445static FILE *getFILE(void *Ptr) {
Chris Lattner005cbce2002-10-02 21:12:13 +0000446 static Module *LastMod = 0;
447 static PointerTy IOBBase = 0;
448 static unsigned FILESize;
449
Chris Lattnerfe11a972002-12-23 23:59:41 +0000450 if (LastMod != &TheInterpreter->getModule()) { // Module change or initialize?
451 Module *M = LastMod = &TheInterpreter->getModule();
Chris Lattner005cbce2002-10-02 21:12:13 +0000452
453 // Check to see if the currently loaded module contains an __iob symbol...
454 GlobalVariable *IOB = 0;
Chris Lattner6e6026b2002-11-20 18:36:02 +0000455 SymbolTable &ST = M->getSymbolTable();
456 for (SymbolTable::iterator I = ST.begin(), E = ST.end(); I != E; ++I) {
457 SymbolTable::VarMap &M = I->second;
458 for (SymbolTable::VarMap::iterator J = M.begin(), E = M.end();
459 J != E; ++J)
460 if (J->first == "__iob")
461 if ((IOB = dyn_cast<GlobalVariable>(J->second)))
462 break;
463 if (IOB) break;
Chris Lattner005cbce2002-10-02 21:12:13 +0000464 }
465
Chris Lattnerfe11a972002-12-23 23:59:41 +0000466#if 0 /// FIXME! __iob support for LLI
Chris Lattner005cbce2002-10-02 21:12:13 +0000467 // If we found an __iob symbol now, find out what the actual address it's
468 // held in is...
469 if (IOB) {
470 // Get the address the array lives in...
471 GlobalAddress *Address =
472 (GlobalAddress*)IOB->getOrCreateAnnotation(GlobalAddressAID);
473 IOBBase = (PointerTy)(GenericValue*)Address->Ptr;
474
475 // Figure out how big each element of the array is...
476 const ArrayType *AT =
477 dyn_cast<ArrayType>(IOB->getType()->getElementType());
478 if (AT)
479 FILESize = TD.getTypeSize(AT->getElementType());
480 else
481 FILESize = 16*8; // Default size
482 }
Chris Lattnerfe11a972002-12-23 23:59:41 +0000483#endif
Chris Lattner005cbce2002-10-02 21:12:13 +0000484 }
485
486 // Check to see if this is a reference to __iob...
487 if (IOBBase) {
Chris Lattnerb1118742003-01-13 00:59:47 +0000488 unsigned FDNum = ((unsigned long)Ptr-IOBBase)/FILESize;
Chris Lattner005cbce2002-10-02 21:12:13 +0000489 if (FDNum == 0)
490 return stdin;
491 else if (FDNum == 1)
492 return stdout;
493 else if (FDNum == 2)
494 return stderr;
495 }
496
497 return (FILE*)Ptr;
498}
499
500
Chris Lattner665ee882002-03-08 22:51:07 +0000501// FILE *fopen(const char *filename, const char *mode);
Chris Lattnerb408b122002-03-29 03:57:15 +0000502GenericValue lle_X_fopen(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner665ee882002-03-08 22:51:07 +0000503 assert(Args.size() == 2);
Chris Lattnerb1118742003-01-13 00:59:47 +0000504 return PTOGV(fopen((const char *)GVTOP(Args[0]),
505 (const char *)GVTOP(Args[1])));
Chris Lattner665ee882002-03-08 22:51:07 +0000506}
507
508// int fclose(FILE *F);
Chris Lattnerb408b122002-03-29 03:57:15 +0000509GenericValue lle_X_fclose(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner665ee882002-03-08 22:51:07 +0000510 assert(Args.size() == 1);
511 GenericValue GV;
Chris Lattnerb1118742003-01-13 00:59:47 +0000512 GV.IntVal = fclose(getFILE(GVTOP(Args[0])));
Chris Lattner665ee882002-03-08 22:51:07 +0000513 return GV;
514}
515
Chris Lattner25f6f372002-11-08 19:10:26 +0000516// int feof(FILE *stream);
517GenericValue lle_X_feof(FunctionType *M, const vector<GenericValue> &Args) {
518 assert(Args.size() == 1);
519 GenericValue GV;
520
Chris Lattnerb1118742003-01-13 00:59:47 +0000521 GV.IntVal = feof(getFILE(GVTOP(Args[0])));
Chris Lattner25f6f372002-11-08 19:10:26 +0000522 return GV;
523}
524
Chris Lattner665ee882002-03-08 22:51:07 +0000525// size_t fread(void *ptr, size_t size, size_t nitems, FILE *stream);
Chris Lattnerb408b122002-03-29 03:57:15 +0000526GenericValue lle_X_fread(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner665ee882002-03-08 22:51:07 +0000527 assert(Args.size() == 4);
528 GenericValue GV;
529
Chris Lattnerb1118742003-01-13 00:59:47 +0000530 GV.UIntVal = fread((void*)GVTOP(Args[0]), Args[1].UIntVal,
531 Args[2].UIntVal, getFILE(GVTOP(Args[3])));
Chris Lattner665ee882002-03-08 22:51:07 +0000532 return GV;
533}
534
535// size_t fwrite(const void *ptr, size_t size, size_t nitems, FILE *stream);
Chris Lattnerb408b122002-03-29 03:57:15 +0000536GenericValue lle_X_fwrite(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner665ee882002-03-08 22:51:07 +0000537 assert(Args.size() == 4);
538 GenericValue GV;
539
Chris Lattnerb1118742003-01-13 00:59:47 +0000540 GV.UIntVal = fwrite((void*)GVTOP(Args[0]), Args[1].UIntVal,
541 Args[2].UIntVal, getFILE(GVTOP(Args[3])));
Chris Lattner665ee882002-03-08 22:51:07 +0000542 return GV;
543}
544
545// char *fgets(char *s, int n, FILE *stream);
Chris Lattnerb408b122002-03-29 03:57:15 +0000546GenericValue lle_X_fgets(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner665ee882002-03-08 22:51:07 +0000547 assert(Args.size() == 3);
Chris Lattnerb1118742003-01-13 00:59:47 +0000548 return GVTOP(fgets((char*)GVTOP(Args[0]), Args[1].IntVal,
549 getFILE(GVTOP(Args[2]))));
Chris Lattner665ee882002-03-08 22:51:07 +0000550}
551
Chris Lattnera4479cd2002-11-07 19:33:50 +0000552// FILE *freopen(const char *path, const char *mode, FILE *stream);
553GenericValue lle_X_freopen(FunctionType *M, const vector<GenericValue> &Args) {
554 assert(Args.size() == 3);
Chris Lattnerb1118742003-01-13 00:59:47 +0000555 return PTOGV(freopen((char*)GVTOP(Args[0]), (char*)GVTOP(Args[1]),
556 getFILE(GVTOP(Args[2]))));
Chris Lattnera4479cd2002-11-07 19:33:50 +0000557}
558
Chris Lattner665ee882002-03-08 22:51:07 +0000559// int fflush(FILE *stream);
Chris Lattnerb408b122002-03-29 03:57:15 +0000560GenericValue lle_X_fflush(FunctionType *M, const vector<GenericValue> &Args) {
Chris Lattner665ee882002-03-08 22:51:07 +0000561 assert(Args.size() == 1);
562 GenericValue GV;
Chris Lattnerb1118742003-01-13 00:59:47 +0000563 GV.IntVal = fflush(getFILE(GVTOP(Args[0])));
Chris Lattner005cbce2002-10-02 21:12:13 +0000564 return GV;
565}
566
567// int getc(FILE *stream);
568GenericValue lle_X_getc(FunctionType *M, const vector<GenericValue> &Args) {
569 assert(Args.size() == 1);
570 GenericValue GV;
Chris Lattnerb1118742003-01-13 00:59:47 +0000571 GV.IntVal = getc(getFILE(GVTOP(Args[0])));
Chris Lattner665ee882002-03-08 22:51:07 +0000572 return GV;
573}
574
Chris Lattnera5c0bfe2002-11-06 22:59:28 +0000575// int fputc(int C, FILE *stream);
576GenericValue lle_X_fputc(FunctionType *M, const vector<GenericValue> &Args) {
577 assert(Args.size() == 2);
578 GenericValue GV;
Chris Lattnerb1118742003-01-13 00:59:47 +0000579 GV.IntVal = fputc(Args[0].IntVal, getFILE(GVTOP(Args[1])));
Chris Lattnera5c0bfe2002-11-06 22:59:28 +0000580 return GV;
581}
582
583// int ungetc(int C, FILE *stream);
584GenericValue lle_X_ungetc(FunctionType *M, const vector<GenericValue> &Args) {
585 assert(Args.size() == 2);
586 GenericValue GV;
Chris Lattnerb1118742003-01-13 00:59:47 +0000587 GV.IntVal = ungetc(Args[0].IntVal, getFILE(GVTOP(Args[1])));
Chris Lattnera5c0bfe2002-11-06 22:59:28 +0000588 return GV;
589}
590
Chris Lattnercf9b4f02002-11-06 23:05:03 +0000591// int fprintf(FILE *,sbyte *, ...) - a very rough implementation to make output
592// useful.
593GenericValue lle_X_fprintf(FunctionType *M, const vector<GenericValue> &Args) {
594 assert(Args.size() > 2);
595 char Buffer[10000];
596 vector<GenericValue> NewArgs;
Chris Lattnerb1118742003-01-13 00:59:47 +0000597 NewArgs.push_back(PTOGV(Buffer));
Chris Lattnercf9b4f02002-11-06 23:05:03 +0000598 NewArgs.insert(NewArgs.end(), Args.begin()+1, Args.end());
Chris Lattnerb1118742003-01-13 00:59:47 +0000599 GenericValue GV = lle_X_sprintf(M, NewArgs);
Chris Lattnercf9b4f02002-11-06 23:05:03 +0000600
Chris Lattnerb1118742003-01-13 00:59:47 +0000601 fputs(Buffer, getFILE(GVTOP(Args[0])));
Chris Lattnercf9b4f02002-11-06 23:05:03 +0000602 return GV;
603}
604
Chris Lattner7720c8e2001-09-10 04:50:17 +0000605} // End extern "C"
Chris Lattner4721f132001-10-30 20:28:00 +0000606
607
608void Interpreter::initializeExternalMethods() {
609 FuncNames["lle_VP_printstr"] = lle_VP_printstr;
610 FuncNames["lle_X_print"] = lle_X_print;
611 FuncNames["lle_X_printVal"] = lle_X_printVal;
612 FuncNames["lle_X_printString"] = lle_X_printString;
613 FuncNames["lle_X_printUByte"] = lle_X_printUByte;
614 FuncNames["lle_X_printSByte"] = lle_X_printSByte;
615 FuncNames["lle_X_printUShort"] = lle_X_printUShort;
616 FuncNames["lle_X_printShort"] = lle_X_printShort;
617 FuncNames["lle_X_printInt"] = lle_X_printInt;
618 FuncNames["lle_X_printUInt"] = lle_X_printUInt;
619 FuncNames["lle_X_printLong"] = lle_X_printLong;
620 FuncNames["lle_X_printULong"] = lle_X_printULong;
621 FuncNames["lle_X_printFloat"] = lle_X_printFloat;
622 FuncNames["lle_X_printDouble"] = lle_X_printDouble;
623 FuncNames["lle_X_printPointer"] = lle_X_printPointer;
Chris Lattner0f279b22001-11-03 10:15:32 +0000624 FuncNames["lle_Vb_putchar"] = lle_Vb_putchar;
625 FuncNames["lle_ii_putchar"] = lle_ii_putchar;
626 FuncNames["lle_VB_putchar"] = lle_VB_putchar;
627 FuncNames["lle_V___main"] = lle_V___main;
628 FuncNames["lle_X_exit"] = lle_X_exit;
Chris Lattner1ee34a52002-05-20 21:17:16 +0000629 FuncNames["lle_X_abort"] = lle_X_abort;
Chris Lattner0f279b22001-11-03 10:15:32 +0000630 FuncNames["lle_X_malloc"] = lle_X_malloc;
631 FuncNames["lle_X_free"] = lle_X_free;
Chris Lattner782b9392001-11-26 18:18:18 +0000632 FuncNames["lle_X_atoi"] = lle_X_atoi;
Chris Lattner0f279b22001-11-03 10:15:32 +0000633 FuncNames["lle_X_pow"] = lle_X_pow;
Chris Lattner34dd24b2002-02-18 19:06:25 +0000634 FuncNames["lle_X_exp"] = lle_X_exp;
Chris Lattner1b600142001-11-13 05:46:08 +0000635 FuncNames["lle_X_log"] = lle_X_log;
Chris Lattnerdbcda222002-12-20 04:18:13 +0000636 FuncNames["lle_X_isnan"] = lle_X_isnan;
Chris Lattner782b9392001-11-26 18:18:18 +0000637 FuncNames["lle_X_floor"] = lle_X_floor;
638 FuncNames["lle_X_srand"] = lle_X_srand;
Chris Lattner1b600142001-11-13 05:46:08 +0000639 FuncNames["lle_X_drand48"] = lle_X_drand48;
640 FuncNames["lle_X_srand48"] = lle_X_srand48;
641 FuncNames["lle_X_lrand48"] = lle_X_lrand48;
Chris Lattnerc063d382001-11-06 21:52:18 +0000642 FuncNames["lle_X_sqrt"] = lle_X_sqrt;
Chris Lattnerb1118742003-01-13 00:59:47 +0000643 FuncNames["lle_X_puts"] = lle_X_puts;
Chris Lattner0f279b22001-11-03 10:15:32 +0000644 FuncNames["lle_X_printf"] = lle_X_printf;
Chris Lattnere7c6f722001-12-13 00:43:47 +0000645 FuncNames["lle_X_sprintf"] = lle_X_sprintf;
Chris Lattner665ee882002-03-08 22:51:07 +0000646 FuncNames["lle_X_sscanf"] = lle_X_sscanf;
Chris Lattner295fe672002-01-23 21:38:07 +0000647 FuncNames["lle_i_clock"] = lle_i_clock;
Chris Lattner665ee882002-03-08 22:51:07 +0000648 FuncNames["lle_X_fopen"] = lle_X_fopen;
649 FuncNames["lle_X_fclose"] = lle_X_fclose;
Chris Lattner25f6f372002-11-08 19:10:26 +0000650 FuncNames["lle_X_feof"] = lle_X_feof;
Chris Lattner665ee882002-03-08 22:51:07 +0000651 FuncNames["lle_X_fread"] = lle_X_fread;
652 FuncNames["lle_X_fwrite"] = lle_X_fwrite;
653 FuncNames["lle_X_fgets"] = lle_X_fgets;
654 FuncNames["lle_X_fflush"] = lle_X_fflush;
Chris Lattnera5c0bfe2002-11-06 22:59:28 +0000655 FuncNames["lle_X_fgetc"] = lle_X_getc;
Chris Lattner005cbce2002-10-02 21:12:13 +0000656 FuncNames["lle_X_getc"] = lle_X_getc;
Chris Lattnera5c0bfe2002-11-06 22:59:28 +0000657 FuncNames["lle_X_fputc"] = lle_X_fputc;
658 FuncNames["lle_X_ungetc"] = lle_X_ungetc;
Chris Lattnercf9b4f02002-11-06 23:05:03 +0000659 FuncNames["lle_X_fprintf"] = lle_X_fprintf;
Chris Lattnera4479cd2002-11-07 19:33:50 +0000660 FuncNames["lle_X_freopen"] = lle_X_freopen;
Chris Lattner4721f132001-10-30 20:28:00 +0000661}