Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 1 | //===-- ExternalFunctions.cpp - Implement External Functions --------------===// |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 2 | // |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 3 | // This file contains both code to deal with invoking "external" functions, but |
| 4 | // also contains code that implements "exported" external functions. |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 5 | // |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 6 | // 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 Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 10 | // |
| 11 | //===----------------------------------------------------------------------===// |
| 12 | |
| 13 | #include "Interpreter.h" |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 14 | #include "ExecutionAnnotations.h" |
Chris Lattner | fe11a97 | 2002-12-23 23:59:41 +0000 | [diff] [blame] | 15 | #include "llvm/Module.h" |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 16 | #include "llvm/DerivedTypes.h" |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 17 | #include "llvm/SymbolTable.h" |
| 18 | #include "llvm/Target/TargetData.h" |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 19 | #include <map> |
| 20 | #include <dlfcn.h> |
| 21 | #include <link.h> |
Chris Lattner | c259316 | 2001-10-27 08:28:11 +0000 | [diff] [blame] | 22 | #include <math.h> |
Chris Lattner | c063d38 | 2001-11-06 21:52:18 +0000 | [diff] [blame] | 23 | #include <stdio.h> |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 24 | using std::vector; |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 25 | |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 26 | typedef GenericValue (*ExFunc)(FunctionType *, const vector<GenericValue> &); |
| 27 | static std::map<const Function *, ExFunc> Functions; |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 28 | static std::map<std::string, ExFunc> FuncNames; |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 29 | |
Chris Lattner | e43db88 | 2001-10-27 04:15:57 +0000 | [diff] [blame] | 30 | static Interpreter *TheInterpreter; |
| 31 | |
| 32 | // getCurrentExecutablePath() - Return the directory that the lli executable |
| 33 | // lives in. |
| 34 | // |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 35 | std::string Interpreter::getCurrentExecutablePath() const { |
Chris Lattner | e43db88 | 2001-10-27 04:15:57 +0000 | [diff] [blame] | 36 | Dl_info Info; |
| 37 | if (dladdr(&TheInterpreter, &Info) == 0) return ""; |
| 38 | |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 39 | std::string LinkAddr(Info.dli_fname); |
Chris Lattner | e43db88 | 2001-10-27 04:15:57 +0000 | [diff] [blame] | 40 | unsigned SlashPos = LinkAddr.rfind('/'); |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 41 | if (SlashPos != std::string::npos) |
Chris Lattner | e43db88 | 2001-10-27 04:15:57 +0000 | [diff] [blame] | 42 | LinkAddr.resize(SlashPos); // Trim the executable name off... |
| 43 | |
| 44 | return LinkAddr; |
| 45 | } |
| 46 | |
| 47 | |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 48 | static char getTypeID(const Type *Ty) { |
| 49 | switch (Ty->getPrimitiveID()) { |
| 50 | case Type::VoidTyID: return 'V'; |
| 51 | case Type::BoolTyID: return 'o'; |
| 52 | case Type::UByteTyID: return 'B'; |
| 53 | case Type::SByteTyID: return 'b'; |
| 54 | case Type::UShortTyID: return 'S'; |
| 55 | case Type::ShortTyID: return 's'; |
| 56 | case Type::UIntTyID: return 'I'; |
| 57 | case Type::IntTyID: return 'i'; |
| 58 | case Type::ULongTyID: return 'L'; |
| 59 | case Type::LongTyID: return 'l'; |
| 60 | case Type::FloatTyID: return 'F'; |
| 61 | case Type::DoubleTyID: return 'D'; |
| 62 | case Type::PointerTyID: return 'P'; |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 63 | case Type::FunctionTyID: return 'M'; |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 64 | case Type::StructTyID: return 'T'; |
| 65 | case Type::ArrayTyID: return 'A'; |
| 66 | case Type::OpaqueTyID: return 'O'; |
| 67 | default: return 'U'; |
| 68 | } |
| 69 | } |
| 70 | |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 71 | static ExFunc lookupFunction(const Function *M) { |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 72 | // Function not found, look it up... start by figuring out what the |
| 73 | // composite function name should be. |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 74 | std::string ExtName = "lle_"; |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 75 | const FunctionType *MT = M->getFunctionType(); |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 76 | for (unsigned i = 0; const Type *Ty = MT->getContainedType(i); ++i) |
| 77 | ExtName += getTypeID(Ty); |
| 78 | ExtName += "_" + M->getName(); |
| 79 | |
Chris Lattner | da82ed5 | 2003-05-08 16:18:31 +0000 | [diff] [blame] | 80 | //std::cout << "Tried: '" << ExtName << "'\n"; |
Chris Lattner | 4721f13 | 2001-10-30 20:28:00 +0000 | [diff] [blame] | 81 | ExFunc FnPtr = FuncNames[ExtName]; |
| 82 | if (FnPtr == 0) |
| 83 | FnPtr = (ExFunc)dlsym(RTLD_DEFAULT, ExtName.c_str()); |
| 84 | if (FnPtr == 0) |
| 85 | FnPtr = FuncNames["lle_X_"+M->getName()]; |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 86 | if (FnPtr == 0) // Try calling a generic function... if it exists... |
| 87 | FnPtr = (ExFunc)dlsym(RTLD_DEFAULT, ("lle_X_"+M->getName()).c_str()); |
| 88 | if (FnPtr != 0) |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 89 | Functions.insert(std::make_pair(M, FnPtr)); // Cache for later |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 90 | return FnPtr; |
| 91 | } |
| 92 | |
Chris Lattner | da82ed5 | 2003-05-08 16:18:31 +0000 | [diff] [blame] | 93 | GenericValue Interpreter::callExternalFunction(Function *M, |
Chris Lattner | 4721f13 | 2001-10-30 20:28:00 +0000 | [diff] [blame] | 94 | const vector<GenericValue> &ArgVals) { |
Chris Lattner | e43db88 | 2001-10-27 04:15:57 +0000 | [diff] [blame] | 95 | TheInterpreter = this; |
| 96 | |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 97 | // Do a lookup to see if the function is in our cache... this should just be a |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 98 | // defered annotation! |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 99 | std::map<const Function *, ExFunc>::iterator FI = Functions.find(M); |
| 100 | ExFunc Fn = (FI == Functions.end()) ? lookupFunction(M) : FI->second; |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 101 | if (Fn == 0) { |
Chris Lattner | da82ed5 | 2003-05-08 16:18:31 +0000 | [diff] [blame] | 102 | std::cout << "Tried to execute an unknown external function: " |
| 103 | << M->getType()->getDescription() << " " << M->getName() << "\n"; |
Chris Lattner | 4721f13 | 2001-10-30 20:28:00 +0000 | [diff] [blame] | 104 | return GenericValue(); |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 105 | } |
| 106 | |
| 107 | // TODO: FIXME when types are not const! |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 108 | GenericValue Result = Fn(const_cast<FunctionType*>(M->getFunctionType()), |
| 109 | ArgVals); |
Chris Lattner | 4721f13 | 2001-10-30 20:28:00 +0000 | [diff] [blame] | 110 | return Result; |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 111 | } |
| 112 | |
| 113 | |
| 114 | //===----------------------------------------------------------------------===// |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 115 | // Functions "exported" to the running application... |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 116 | // |
| 117 | extern "C" { // Don't add C++ manglings to llvm mangling :) |
| 118 | |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 119 | // void putchar(sbyte) |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 120 | GenericValue lle_Vb_putchar(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | da82ed5 | 2003-05-08 16:18:31 +0000 | [diff] [blame] | 121 | std::cout << Args[0].SByteVal; |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 122 | return GenericValue(); |
| 123 | } |
| 124 | |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 125 | // int putchar(int) |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 126 | GenericValue lle_ii_putchar(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | da82ed5 | 2003-05-08 16:18:31 +0000 | [diff] [blame] | 127 | std::cout << ((char)Args[0].IntVal) << std::flush; |
Chris Lattner | e43db88 | 2001-10-27 04:15:57 +0000 | [diff] [blame] | 128 | return Args[0]; |
| 129 | } |
| 130 | |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 131 | // void putchar(ubyte) |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 132 | GenericValue lle_VB_putchar(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | da82ed5 | 2003-05-08 16:18:31 +0000 | [diff] [blame] | 133 | std::cout << Args[0].SByteVal << std::flush; |
Chris Lattner | e43db88 | 2001-10-27 04:15:57 +0000 | [diff] [blame] | 134 | return Args[0]; |
Chris Lattner | 2e42d3a | 2001-10-15 05:51:48 +0000 | [diff] [blame] | 135 | } |
| 136 | |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 137 | // void __main() |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 138 | GenericValue lle_V___main(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | f8f2afb | 2001-10-18 21:55:32 +0000 | [diff] [blame] | 139 | return GenericValue(); |
| 140 | } |
| 141 | |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 142 | // void exit(int) |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 143 | GenericValue lle_X_exit(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | e43db88 | 2001-10-27 04:15:57 +0000 | [diff] [blame] | 144 | TheInterpreter->exitCalled(Args[0]); |
| 145 | return GenericValue(); |
| 146 | } |
| 147 | |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 148 | // void abort(void) |
Chris Lattner | 1ee34a5 | 2002-05-20 21:17:16 +0000 | [diff] [blame] | 149 | GenericValue lle_X_abort(FunctionType *M, const vector<GenericValue> &Args) { |
| 150 | std::cerr << "***PROGRAM ABORTED***!\n"; |
| 151 | GenericValue GV; |
| 152 | GV.IntVal = 1; |
| 153 | TheInterpreter->exitCalled(GV); |
| 154 | return GenericValue(); |
| 155 | } |
| 156 | |
Chris Lattner | c259316 | 2001-10-27 08:28:11 +0000 | [diff] [blame] | 157 | // void *malloc(uint) |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 158 | GenericValue lle_X_malloc(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 4721f13 | 2001-10-30 20:28:00 +0000 | [diff] [blame] | 159 | assert(Args.size() == 1 && "Malloc expects one argument!"); |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 160 | return PTOGV(malloc(Args[0].UIntVal)); |
Chris Lattner | c259316 | 2001-10-27 08:28:11 +0000 | [diff] [blame] | 161 | } |
| 162 | |
Chris Lattner | 957d62a | 2003-04-23 19:55:24 +0000 | [diff] [blame] | 163 | // void *calloc(uint, uint) |
| 164 | GenericValue lle_X_calloc(FunctionType *M, const vector<GenericValue> &Args) { |
| 165 | assert(Args.size() == 2 && "calloc expects two arguments!"); |
| 166 | return PTOGV(calloc(Args[0].UIntVal, Args[1].UIntVal)); |
| 167 | } |
| 168 | |
Chris Lattner | c259316 | 2001-10-27 08:28:11 +0000 | [diff] [blame] | 169 | // void free(void *) |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 170 | GenericValue lle_X_free(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | c063d38 | 2001-11-06 21:52:18 +0000 | [diff] [blame] | 171 | assert(Args.size() == 1); |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 172 | free(GVTOP(Args[0])); |
Chris Lattner | c259316 | 2001-10-27 08:28:11 +0000 | [diff] [blame] | 173 | return GenericValue(); |
| 174 | } |
| 175 | |
Chris Lattner | 782b939 | 2001-11-26 18:18:18 +0000 | [diff] [blame] | 176 | // int atoi(char *) |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 177 | GenericValue lle_X_atoi(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 782b939 | 2001-11-26 18:18:18 +0000 | [diff] [blame] | 178 | assert(Args.size() == 1); |
| 179 | GenericValue GV; |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 180 | GV.IntVal = atoi((char*)GVTOP(Args[0])); |
Chris Lattner | 782b939 | 2001-11-26 18:18:18 +0000 | [diff] [blame] | 181 | return GV; |
| 182 | } |
| 183 | |
Chris Lattner | c259316 | 2001-10-27 08:28:11 +0000 | [diff] [blame] | 184 | // double pow(double, double) |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 185 | GenericValue lle_X_pow(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | c063d38 | 2001-11-06 21:52:18 +0000 | [diff] [blame] | 186 | assert(Args.size() == 2); |
Chris Lattner | c259316 | 2001-10-27 08:28:11 +0000 | [diff] [blame] | 187 | GenericValue GV; |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 188 | GV.DoubleVal = pow(Args[0].DoubleVal, Args[1].DoubleVal); |
Chris Lattner | c259316 | 2001-10-27 08:28:11 +0000 | [diff] [blame] | 189 | return GV; |
| 190 | } |
| 191 | |
Chris Lattner | 34dd24b | 2002-02-18 19:06:25 +0000 | [diff] [blame] | 192 | // double exp(double) |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 193 | GenericValue lle_X_exp(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 34dd24b | 2002-02-18 19:06:25 +0000 | [diff] [blame] | 194 | assert(Args.size() == 1); |
| 195 | GenericValue GV; |
| 196 | GV.DoubleVal = exp(Args[0].DoubleVal); |
| 197 | return GV; |
| 198 | } |
| 199 | |
Chris Lattner | c063d38 | 2001-11-06 21:52:18 +0000 | [diff] [blame] | 200 | // double sqrt(double) |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 201 | GenericValue lle_X_sqrt(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | c063d38 | 2001-11-06 21:52:18 +0000 | [diff] [blame] | 202 | assert(Args.size() == 1); |
| 203 | GenericValue GV; |
| 204 | GV.DoubleVal = sqrt(Args[0].DoubleVal); |
| 205 | return GV; |
| 206 | } |
Chris Lattner | c259316 | 2001-10-27 08:28:11 +0000 | [diff] [blame] | 207 | |
Chris Lattner | 8679005 | 2001-11-06 22:53:25 +0000 | [diff] [blame] | 208 | // double log(double) |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 209 | GenericValue lle_X_log(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 8679005 | 2001-11-06 22:53:25 +0000 | [diff] [blame] | 210 | assert(Args.size() == 1); |
| 211 | GenericValue GV; |
| 212 | GV.DoubleVal = log(Args[0].DoubleVal); |
| 213 | return GV; |
| 214 | } |
| 215 | |
Chris Lattner | dbcda22 | 2002-12-20 04:18:13 +0000 | [diff] [blame] | 216 | // int isnan(double value); |
| 217 | GenericValue lle_X_isnan(FunctionType *F, const vector<GenericValue> &Args) { |
| 218 | assert(Args.size() == 1); |
| 219 | GenericValue GV; |
| 220 | GV.IntVal = isnan(Args[0].DoubleVal); |
| 221 | return GV; |
| 222 | } |
| 223 | |
Chris Lattner | 782b939 | 2001-11-26 18:18:18 +0000 | [diff] [blame] | 224 | // double floor(double) |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 225 | GenericValue lle_X_floor(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 782b939 | 2001-11-26 18:18:18 +0000 | [diff] [blame] | 226 | assert(Args.size() == 1); |
| 227 | GenericValue GV; |
| 228 | GV.DoubleVal = floor(Args[0].DoubleVal); |
| 229 | return GV; |
| 230 | } |
| 231 | |
Chris Lattner | 8679005 | 2001-11-06 22:53:25 +0000 | [diff] [blame] | 232 | // double drand48() |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 233 | GenericValue lle_X_drand48(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 8679005 | 2001-11-06 22:53:25 +0000 | [diff] [blame] | 234 | assert(Args.size() == 0); |
| 235 | GenericValue GV; |
| 236 | GV.DoubleVal = drand48(); |
| 237 | return GV; |
| 238 | } |
| 239 | |
Chris Lattner | 1b60014 | 2001-11-13 05:46:08 +0000 | [diff] [blame] | 240 | // long lrand48() |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 241 | GenericValue lle_X_lrand48(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 1b60014 | 2001-11-13 05:46:08 +0000 | [diff] [blame] | 242 | assert(Args.size() == 0); |
| 243 | GenericValue GV; |
| 244 | GV.IntVal = lrand48(); |
| 245 | return GV; |
| 246 | } |
| 247 | |
| 248 | // void srand48(long) |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 249 | GenericValue lle_X_srand48(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 1b60014 | 2001-11-13 05:46:08 +0000 | [diff] [blame] | 250 | assert(Args.size() == 1); |
| 251 | srand48(Args[0].IntVal); |
| 252 | return GenericValue(); |
| 253 | } |
| 254 | |
Chris Lattner | 782b939 | 2001-11-26 18:18:18 +0000 | [diff] [blame] | 255 | // void srand(uint) |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 256 | GenericValue lle_X_srand(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 782b939 | 2001-11-26 18:18:18 +0000 | [diff] [blame] | 257 | assert(Args.size() == 1); |
| 258 | srand(Args[0].UIntVal); |
| 259 | return GenericValue(); |
| 260 | } |
Chris Lattner | 8679005 | 2001-11-06 22:53:25 +0000 | [diff] [blame] | 261 | |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 262 | // int puts(const char*) |
| 263 | GenericValue lle_X_puts(FunctionType *M, const vector<GenericValue> &Args) { |
| 264 | assert(Args.size() == 1); |
| 265 | GenericValue GV; |
| 266 | GV.IntVal = puts((char*)GVTOP(Args[0])); |
| 267 | return GV; |
| 268 | } |
| 269 | |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 270 | // int sprintf(sbyte *, sbyte *, ...) - a very rough implementation to make |
| 271 | // output useful. |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 272 | GenericValue lle_X_sprintf(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 273 | char *OutputBuffer = (char *)GVTOP(Args[0]); |
| 274 | const char *FmtStr = (const char *)GVTOP(Args[1]); |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 275 | unsigned ArgNo = 2; |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 276 | |
| 277 | // printf should return # chars printed. This is completely incorrect, but |
| 278 | // close enough for now. |
| 279 | GenericValue GV; GV.IntVal = strlen(FmtStr); |
| 280 | while (1) { |
| 281 | switch (*FmtStr) { |
| 282 | case 0: return GV; // Null terminator... |
| 283 | default: // Normal nonspecial character |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 284 | sprintf(OutputBuffer++, "%c", *FmtStr++); |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 285 | break; |
| 286 | case '\\': { // Handle escape codes |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 287 | sprintf(OutputBuffer, "%c%c", *FmtStr, *(FmtStr+1)); |
| 288 | FmtStr += 2; OutputBuffer += 2; |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 289 | break; |
| 290 | } |
| 291 | case '%': { // Handle format specifiers |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 292 | char FmtBuf[100] = "", Buffer[1000] = ""; |
| 293 | char *FB = FmtBuf; |
| 294 | *FB++ = *FmtStr++; |
| 295 | char Last = *FB++ = *FmtStr++; |
| 296 | unsigned HowLong = 0; |
| 297 | while (Last != 'c' && Last != 'd' && Last != 'i' && Last != 'u' && |
| 298 | Last != 'o' && Last != 'x' && Last != 'X' && Last != 'e' && |
| 299 | Last != 'E' && Last != 'g' && Last != 'G' && Last != 'f' && |
| 300 | Last != 'p' && Last != 's' && Last != '%') { |
| 301 | if (Last == 'l' || Last == 'L') HowLong++; // Keep track of l's |
| 302 | Last = *FB++ = *FmtStr++; |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 303 | } |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 304 | *FB = 0; |
| 305 | |
| 306 | switch (Last) { |
| 307 | case '%': |
| 308 | sprintf(Buffer, FmtBuf); break; |
| 309 | case 'c': |
Chris Lattner | 2012d5e | 2002-04-17 17:43:01 +0000 | [diff] [blame] | 310 | sprintf(Buffer, FmtBuf, Args[ArgNo++].IntVal); break; |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 311 | case 'd': case 'i': |
| 312 | case 'u': case 'o': |
| 313 | case 'x': case 'X': |
Chris Lattner | 69ab7a8 | 2002-08-02 23:08:32 +0000 | [diff] [blame] | 314 | if (HowLong >= 1) { |
Chris Lattner | 7471c48 | 2003-04-25 18:28:44 +0000 | [diff] [blame] | 315 | if (HowLong == 1 && TheInterpreter->getModule().has64BitPointers() && |
| 316 | sizeof(long) < sizeof(long long)) { |
Chris Lattner | 69ab7a8 | 2002-08-02 23:08:32 +0000 | [diff] [blame] | 317 | // Make sure we use %lld with a 64 bit argument because we might be |
| 318 | // compiling LLI on a 32 bit compiler. |
| 319 | unsigned Size = strlen(FmtBuf); |
| 320 | FmtBuf[Size] = FmtBuf[Size-1]; |
| 321 | FmtBuf[Size+1] = 0; |
| 322 | FmtBuf[Size-1] = 'l'; |
| 323 | } |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 324 | sprintf(Buffer, FmtBuf, Args[ArgNo++].ULongVal); |
Chris Lattner | 69ab7a8 | 2002-08-02 23:08:32 +0000 | [diff] [blame] | 325 | } else |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 326 | sprintf(Buffer, FmtBuf, Args[ArgNo++].IntVal); break; |
| 327 | case 'e': case 'E': case 'g': case 'G': case 'f': |
| 328 | sprintf(Buffer, FmtBuf, Args[ArgNo++].DoubleVal); break; |
| 329 | case 'p': |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 330 | sprintf(Buffer, FmtBuf, (void*)GVTOP(Args[ArgNo++])); break; |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 331 | case 's': |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 332 | sprintf(Buffer, FmtBuf, (char*)GVTOP(Args[ArgNo++])); break; |
Chris Lattner | da82ed5 | 2003-05-08 16:18:31 +0000 | [diff] [blame] | 333 | default: std::cout << "<unknown printf code '" << *FmtStr << "'!>"; |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 334 | ArgNo++; break; |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 335 | } |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 336 | strcpy(OutputBuffer, Buffer); |
| 337 | OutputBuffer += strlen(Buffer); |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 338 | } |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 339 | break; |
| 340 | } |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 341 | } |
| 342 | } |
| 343 | |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 344 | // int printf(sbyte *, ...) - a very rough implementation to make output useful. |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 345 | GenericValue lle_X_printf(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 346 | char Buffer[10000]; |
| 347 | vector<GenericValue> NewArgs; |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 348 | NewArgs.push_back(PTOGV(Buffer)); |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 349 | NewArgs.insert(NewArgs.end(), Args.begin(), Args.end()); |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 350 | GenericValue GV = lle_X_sprintf(M, NewArgs); |
Chris Lattner | da82ed5 | 2003-05-08 16:18:31 +0000 | [diff] [blame] | 351 | std::cout << Buffer; |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 352 | return GV; |
| 353 | } |
| 354 | |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 355 | static void ByteswapSCANFResults(const char *Fmt, void *Arg0, void *Arg1, |
| 356 | void *Arg2, void *Arg3, void *Arg4, void *Arg5, |
| 357 | void *Arg6, void *Arg7, void *Arg8) { |
| 358 | void *Args[] = { Arg0, Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, 0 }; |
| 359 | |
| 360 | // Loop over the format string, munging read values as appropriate (performs |
| 361 | // byteswaps as neccesary). |
| 362 | unsigned ArgNo = 0; |
| 363 | while (*Fmt) { |
| 364 | if (*Fmt++ == '%') { |
| 365 | // Read any flag characters that may be present... |
| 366 | bool Suppress = false; |
| 367 | bool Half = false; |
| 368 | bool Long = false; |
| 369 | bool LongLong = false; // long long or long double |
| 370 | |
| 371 | while (1) { |
| 372 | switch (*Fmt++) { |
| 373 | case '*': Suppress = true; break; |
| 374 | case 'a': /*Allocate = true;*/ break; // We don't need to track this |
| 375 | case 'h': Half = true; break; |
| 376 | case 'l': Long = true; break; |
| 377 | case 'q': |
| 378 | case 'L': LongLong = true; break; |
| 379 | default: |
| 380 | if (Fmt[-1] > '9' || Fmt[-1] < '0') // Ignore field width specs |
| 381 | goto Out; |
| 382 | } |
| 383 | } |
| 384 | Out: |
| 385 | |
| 386 | // Read the conversion character |
| 387 | if (!Suppress && Fmt[-1] != '%') { // Nothing to do? |
| 388 | unsigned Size = 0; |
| 389 | const Type *Ty = 0; |
| 390 | |
| 391 | switch (Fmt[-1]) { |
| 392 | case 'i': case 'o': case 'u': case 'x': case 'X': case 'n': case 'p': |
| 393 | case 'd': |
| 394 | if (Long || LongLong) { |
| 395 | Size = 8; Ty = Type::ULongTy; |
| 396 | } else if (Half) { |
| 397 | Size = 4; Ty = Type::UShortTy; |
| 398 | } else { |
| 399 | Size = 4; Ty = Type::UIntTy; |
| 400 | } |
| 401 | break; |
| 402 | |
| 403 | case 'e': case 'g': case 'E': |
| 404 | case 'f': |
| 405 | if (Long || LongLong) { |
| 406 | Size = 8; Ty = Type::DoubleTy; |
| 407 | } else { |
| 408 | Size = 4; Ty = Type::FloatTy; |
| 409 | } |
| 410 | break; |
| 411 | |
| 412 | case 's': case 'c': case '[': // No byteswap needed |
| 413 | Size = 1; |
| 414 | Ty = Type::SByteTy; |
| 415 | break; |
| 416 | |
| 417 | default: break; |
| 418 | } |
| 419 | |
| 420 | if (Size) { |
| 421 | GenericValue GV; |
| 422 | void *Arg = Args[ArgNo++]; |
| 423 | memcpy(&GV, Arg, Size); |
| 424 | TheInterpreter->StoreValueToMemory(GV, (GenericValue*)Arg, Ty); |
| 425 | } |
| 426 | } |
| 427 | } |
| 428 | } |
| 429 | } |
| 430 | |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 431 | // int sscanf(const char *format, ...); |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 432 | GenericValue lle_X_sscanf(FunctionType *M, const vector<GenericValue> &args) { |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 433 | assert(args.size() < 10 && "Only handle up to 10 args to sscanf right now!"); |
| 434 | |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 435 | char *Args[10]; |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 436 | for (unsigned i = 0; i < args.size(); ++i) |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 437 | Args[i] = (char*)GVTOP(args[i]); |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 438 | |
| 439 | GenericValue GV; |
| 440 | GV.IntVal = sscanf(Args[0], Args[1], Args[2], Args[3], Args[4], |
| 441 | Args[5], Args[6], Args[7], Args[8], Args[9]); |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 442 | ByteswapSCANFResults(Args[1], Args[2], Args[3], Args[4], |
| 443 | Args[5], Args[6], Args[7], Args[8], Args[9], 0); |
| 444 | return GV; |
| 445 | } |
| 446 | |
| 447 | // int scanf(const char *format, ...); |
| 448 | GenericValue lle_X_scanf(FunctionType *M, const vector<GenericValue> &args) { |
| 449 | assert(args.size() < 10 && "Only handle up to 10 args to scanf right now!"); |
| 450 | |
| 451 | char *Args[10]; |
| 452 | for (unsigned i = 0; i < args.size(); ++i) |
| 453 | Args[i] = (char*)GVTOP(args[i]); |
| 454 | |
| 455 | GenericValue GV; |
| 456 | GV.IntVal = scanf(Args[0], Args[1], Args[2], Args[3], Args[4], |
| 457 | Args[5], Args[6], Args[7], Args[8], Args[9]); |
| 458 | ByteswapSCANFResults(Args[0], Args[1], Args[2], Args[3], Args[4], |
| 459 | Args[5], Args[6], Args[7], Args[8], Args[9]); |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 460 | return GV; |
| 461 | } |
| 462 | |
| 463 | |
Chris Lattner | 295fe67 | 2002-01-23 21:38:07 +0000 | [diff] [blame] | 464 | // int clock(void) - Profiling implementation |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 465 | GenericValue lle_i_clock(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 295fe67 | 2002-01-23 21:38:07 +0000 | [diff] [blame] | 466 | extern int clock(void); |
| 467 | GenericValue GV; GV.IntVal = clock(); |
| 468 | return GV; |
| 469 | } |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 470 | |
Chris Lattner | 957d62a | 2003-04-23 19:55:24 +0000 | [diff] [blame] | 471 | |
| 472 | //===----------------------------------------------------------------------===// |
| 473 | // String Functions... |
| 474 | //===----------------------------------------------------------------------===// |
| 475 | |
| 476 | // int strcmp(const char *S1, const char *S2); |
| 477 | GenericValue lle_X_strcmp(FunctionType *M, const vector<GenericValue> &Args) { |
| 478 | assert(Args.size() == 2); |
| 479 | GenericValue Ret; |
| 480 | Ret.IntVal = strcmp((char*)GVTOP(Args[0]), (char*)GVTOP(Args[1])); |
| 481 | return Ret; |
| 482 | } |
| 483 | |
| 484 | // char *strcat(char *Dest, const char *src); |
| 485 | GenericValue lle_X_strcat(FunctionType *M, const vector<GenericValue> &Args) { |
| 486 | assert(Args.size() == 2); |
| 487 | return PTOGV(strcat((char*)GVTOP(Args[0]), (char*)GVTOP(Args[1]))); |
| 488 | } |
| 489 | |
| 490 | // char *strcpy(char *Dest, const char *src); |
| 491 | GenericValue lle_X_strcpy(FunctionType *M, const vector<GenericValue> &Args) { |
| 492 | assert(Args.size() == 2); |
| 493 | return PTOGV(strcpy((char*)GVTOP(Args[0]), (char*)GVTOP(Args[1]))); |
| 494 | } |
| 495 | |
| 496 | // long strlen(const char *src); |
| 497 | GenericValue lle_X_strlen(FunctionType *M, const vector<GenericValue> &Args) { |
| 498 | assert(Args.size() == 1); |
| 499 | GenericValue Ret; |
| 500 | Ret.LongVal = strlen((char*)GVTOP(Args[0])); |
| 501 | return Ret; |
| 502 | } |
| 503 | |
Chris Lattner | c8cff9e | 2003-04-25 18:23:38 +0000 | [diff] [blame] | 504 | // char *__strdup(const char *src); |
| 505 | GenericValue lle_X___strdup(FunctionType *M, const vector<GenericValue> &Args) { |
| 506 | assert(Args.size() == 1); |
| 507 | return PTOGV(strdup((char*)GVTOP(Args[0]))); |
| 508 | } |
| 509 | |
Chris Lattner | 957d62a | 2003-04-23 19:55:24 +0000 | [diff] [blame] | 510 | // void *memset(void *S, int C, size_t N) |
| 511 | GenericValue lle_X_memset(FunctionType *M, const vector<GenericValue> &Args) { |
| 512 | assert(Args.size() == 3); |
| 513 | return PTOGV(memset(GVTOP(Args[0]), Args[1].IntVal, Args[2].UIntVal)); |
| 514 | } |
| 515 | |
Chris Lattner | 5f311a7 | 2003-04-23 20:23:16 +0000 | [diff] [blame] | 516 | // void *memcpy(void *Dest, void *src, size_t Size); |
| 517 | GenericValue lle_X_memcpy(FunctionType *M, const vector<GenericValue> &Args) { |
| 518 | assert(Args.size() == 3); |
| 519 | return PTOGV(memcpy((char*)GVTOP(Args[0]), (char*)GVTOP(Args[1]), |
| 520 | Args[2].UIntVal)); |
| 521 | } |
Chris Lattner | 957d62a | 2003-04-23 19:55:24 +0000 | [diff] [blame] | 522 | |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 523 | //===----------------------------------------------------------------------===// |
| 524 | // IO Functions... |
| 525 | //===----------------------------------------------------------------------===// |
| 526 | |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 527 | // getFILE - Turn a pointer in the host address space into a legit pointer in |
| 528 | // the interpreter address space. For the most part, this is an identity |
| 529 | // transformation, but if the program refers to stdio, stderr, stdin then they |
| 530 | // have pointers that are relative to the __iob array. If this is the case, |
| 531 | // change the FILE into the REAL stdio stream. |
| 532 | // |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 533 | static FILE *getFILE(void *Ptr) { |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 534 | static Module *LastMod = 0; |
| 535 | static PointerTy IOBBase = 0; |
| 536 | static unsigned FILESize; |
| 537 | |
Chris Lattner | fe11a97 | 2002-12-23 23:59:41 +0000 | [diff] [blame] | 538 | if (LastMod != &TheInterpreter->getModule()) { // Module change or initialize? |
| 539 | Module *M = LastMod = &TheInterpreter->getModule(); |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 540 | |
| 541 | // Check to see if the currently loaded module contains an __iob symbol... |
| 542 | GlobalVariable *IOB = 0; |
Chris Lattner | 6e6026b | 2002-11-20 18:36:02 +0000 | [diff] [blame] | 543 | SymbolTable &ST = M->getSymbolTable(); |
| 544 | for (SymbolTable::iterator I = ST.begin(), E = ST.end(); I != E; ++I) { |
| 545 | SymbolTable::VarMap &M = I->second; |
| 546 | for (SymbolTable::VarMap::iterator J = M.begin(), E = M.end(); |
| 547 | J != E; ++J) |
| 548 | if (J->first == "__iob") |
| 549 | if ((IOB = dyn_cast<GlobalVariable>(J->second))) |
| 550 | break; |
| 551 | if (IOB) break; |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 552 | } |
| 553 | |
Chris Lattner | fe11a97 | 2002-12-23 23:59:41 +0000 | [diff] [blame] | 554 | #if 0 /// FIXME! __iob support for LLI |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 555 | // If we found an __iob symbol now, find out what the actual address it's |
| 556 | // held in is... |
| 557 | if (IOB) { |
| 558 | // Get the address the array lives in... |
| 559 | GlobalAddress *Address = |
| 560 | (GlobalAddress*)IOB->getOrCreateAnnotation(GlobalAddressAID); |
| 561 | IOBBase = (PointerTy)(GenericValue*)Address->Ptr; |
| 562 | |
| 563 | // Figure out how big each element of the array is... |
| 564 | const ArrayType *AT = |
| 565 | dyn_cast<ArrayType>(IOB->getType()->getElementType()); |
| 566 | if (AT) |
| 567 | FILESize = TD.getTypeSize(AT->getElementType()); |
| 568 | else |
| 569 | FILESize = 16*8; // Default size |
| 570 | } |
Chris Lattner | fe11a97 | 2002-12-23 23:59:41 +0000 | [diff] [blame] | 571 | #endif |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 572 | } |
| 573 | |
| 574 | // Check to see if this is a reference to __iob... |
| 575 | if (IOBBase) { |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 576 | unsigned FDNum = ((unsigned long)Ptr-IOBBase)/FILESize; |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 577 | if (FDNum == 0) |
| 578 | return stdin; |
| 579 | else if (FDNum == 1) |
| 580 | return stdout; |
| 581 | else if (FDNum == 2) |
| 582 | return stderr; |
| 583 | } |
| 584 | |
| 585 | return (FILE*)Ptr; |
| 586 | } |
| 587 | |
| 588 | |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 589 | // FILE *fopen(const char *filename, const char *mode); |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 590 | GenericValue lle_X_fopen(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 591 | assert(Args.size() == 2); |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 592 | return PTOGV(fopen((const char *)GVTOP(Args[0]), |
| 593 | (const char *)GVTOP(Args[1]))); |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 594 | } |
| 595 | |
| 596 | // int fclose(FILE *F); |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 597 | GenericValue lle_X_fclose(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 598 | assert(Args.size() == 1); |
| 599 | GenericValue GV; |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 600 | GV.IntVal = fclose(getFILE(GVTOP(Args[0]))); |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 601 | return GV; |
| 602 | } |
| 603 | |
Chris Lattner | 25f6f37 | 2002-11-08 19:10:26 +0000 | [diff] [blame] | 604 | // int feof(FILE *stream); |
| 605 | GenericValue lle_X_feof(FunctionType *M, const vector<GenericValue> &Args) { |
| 606 | assert(Args.size() == 1); |
| 607 | GenericValue GV; |
| 608 | |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 609 | GV.IntVal = feof(getFILE(GVTOP(Args[0]))); |
Chris Lattner | 25f6f37 | 2002-11-08 19:10:26 +0000 | [diff] [blame] | 610 | return GV; |
| 611 | } |
| 612 | |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 613 | // size_t fread(void *ptr, size_t size, size_t nitems, FILE *stream); |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 614 | GenericValue lle_X_fread(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 615 | assert(Args.size() == 4); |
| 616 | GenericValue GV; |
| 617 | |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 618 | GV.UIntVal = fread((void*)GVTOP(Args[0]), Args[1].UIntVal, |
| 619 | Args[2].UIntVal, getFILE(GVTOP(Args[3]))); |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 620 | return GV; |
| 621 | } |
| 622 | |
| 623 | // size_t fwrite(const void *ptr, size_t size, size_t nitems, FILE *stream); |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 624 | GenericValue lle_X_fwrite(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 625 | assert(Args.size() == 4); |
| 626 | GenericValue GV; |
| 627 | |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 628 | GV.UIntVal = fwrite((void*)GVTOP(Args[0]), Args[1].UIntVal, |
| 629 | Args[2].UIntVal, getFILE(GVTOP(Args[3]))); |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 630 | return GV; |
| 631 | } |
| 632 | |
| 633 | // char *fgets(char *s, int n, FILE *stream); |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 634 | GenericValue lle_X_fgets(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 635 | assert(Args.size() == 3); |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 636 | return GVTOP(fgets((char*)GVTOP(Args[0]), Args[1].IntVal, |
| 637 | getFILE(GVTOP(Args[2])))); |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 638 | } |
| 639 | |
Chris Lattner | a4479cd | 2002-11-07 19:33:50 +0000 | [diff] [blame] | 640 | // FILE *freopen(const char *path, const char *mode, FILE *stream); |
| 641 | GenericValue lle_X_freopen(FunctionType *M, const vector<GenericValue> &Args) { |
| 642 | assert(Args.size() == 3); |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 643 | return PTOGV(freopen((char*)GVTOP(Args[0]), (char*)GVTOP(Args[1]), |
| 644 | getFILE(GVTOP(Args[2])))); |
Chris Lattner | a4479cd | 2002-11-07 19:33:50 +0000 | [diff] [blame] | 645 | } |
| 646 | |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 647 | // int fflush(FILE *stream); |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 648 | GenericValue lle_X_fflush(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 649 | assert(Args.size() == 1); |
| 650 | GenericValue GV; |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 651 | GV.IntVal = fflush(getFILE(GVTOP(Args[0]))); |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 652 | return GV; |
| 653 | } |
| 654 | |
| 655 | // int getc(FILE *stream); |
| 656 | GenericValue lle_X_getc(FunctionType *M, const vector<GenericValue> &Args) { |
| 657 | assert(Args.size() == 1); |
| 658 | GenericValue GV; |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 659 | GV.IntVal = getc(getFILE(GVTOP(Args[0]))); |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 660 | return GV; |
| 661 | } |
| 662 | |
Chris Lattner | f87a198 | 2003-04-23 19:20:50 +0000 | [diff] [blame] | 663 | // int _IO_getc(FILE *stream); |
| 664 | GenericValue lle_X__IO_getc(FunctionType *F, const vector<GenericValue> &Args) { |
| 665 | return lle_X_getc(F, Args); |
| 666 | } |
| 667 | |
Chris Lattner | a5c0bfe | 2002-11-06 22:59:28 +0000 | [diff] [blame] | 668 | // int fputc(int C, FILE *stream); |
| 669 | GenericValue lle_X_fputc(FunctionType *M, const vector<GenericValue> &Args) { |
| 670 | assert(Args.size() == 2); |
| 671 | GenericValue GV; |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 672 | GV.IntVal = fputc(Args[0].IntVal, getFILE(GVTOP(Args[1]))); |
Chris Lattner | a5c0bfe | 2002-11-06 22:59:28 +0000 | [diff] [blame] | 673 | return GV; |
| 674 | } |
| 675 | |
| 676 | // int ungetc(int C, FILE *stream); |
| 677 | GenericValue lle_X_ungetc(FunctionType *M, const vector<GenericValue> &Args) { |
| 678 | assert(Args.size() == 2); |
| 679 | GenericValue GV; |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 680 | GV.IntVal = ungetc(Args[0].IntVal, getFILE(GVTOP(Args[1]))); |
Chris Lattner | a5c0bfe | 2002-11-06 22:59:28 +0000 | [diff] [blame] | 681 | return GV; |
| 682 | } |
| 683 | |
Chris Lattner | cf9b4f0 | 2002-11-06 23:05:03 +0000 | [diff] [blame] | 684 | // int fprintf(FILE *,sbyte *, ...) - a very rough implementation to make output |
| 685 | // useful. |
| 686 | GenericValue lle_X_fprintf(FunctionType *M, const vector<GenericValue> &Args) { |
Chris Lattner | 9dbf6dd | 2003-04-21 22:43:20 +0000 | [diff] [blame] | 687 | assert(Args.size() >= 2); |
Chris Lattner | cf9b4f0 | 2002-11-06 23:05:03 +0000 | [diff] [blame] | 688 | char Buffer[10000]; |
| 689 | vector<GenericValue> NewArgs; |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 690 | NewArgs.push_back(PTOGV(Buffer)); |
Chris Lattner | cf9b4f0 | 2002-11-06 23:05:03 +0000 | [diff] [blame] | 691 | NewArgs.insert(NewArgs.end(), Args.begin()+1, Args.end()); |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 692 | GenericValue GV = lle_X_sprintf(M, NewArgs); |
Chris Lattner | cf9b4f0 | 2002-11-06 23:05:03 +0000 | [diff] [blame] | 693 | |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 694 | fputs(Buffer, getFILE(GVTOP(Args[0]))); |
Chris Lattner | cf9b4f0 | 2002-11-06 23:05:03 +0000 | [diff] [blame] | 695 | return GV; |
| 696 | } |
| 697 | |
Chris Lattner | 374344c | 2003-05-08 16:52:43 +0000 | [diff] [blame^] | 698 | //===----------------------------------------------------------------------===// |
| 699 | // LLVM Intrinsic Functions... |
| 700 | //===----------------------------------------------------------------------===// |
| 701 | |
| 702 | // void llvm.va_start(<va_list> *) - Implement the va_start operation... |
| 703 | GenericValue llvm_va_start(FunctionType *F, const vector<GenericValue> &Args) { |
| 704 | assert(Args.size() == 1); |
| 705 | GenericValue *VAListP = (GenericValue *)GVTOP(Args[0]); |
| 706 | GenericValue Val; |
| 707 | Val.UIntVal = 0; // Start at the first '...' argument... |
| 708 | TheInterpreter->StoreValueToMemory(Val, VAListP, Type::UIntTy); |
| 709 | return GenericValue(); |
| 710 | } |
| 711 | |
| 712 | // void llvm.va_end(<va_list> *) - Implement the va_end operation... |
| 713 | GenericValue llvm_va_end(FunctionType *F, const vector<GenericValue> &Args) { |
| 714 | assert(Args.size() == 1); |
| 715 | return GenericValue(); // Noop! |
| 716 | } |
| 717 | |
| 718 | // void llvm.va_copy(<va_list> *, <va_list>) - Implement the va_copy |
| 719 | // operation... |
| 720 | GenericValue llvm_va_copy(FunctionType *F, const vector<GenericValue> &Args) { |
| 721 | assert(Args.size() == 2); |
| 722 | GenericValue *DestVAList = (GenericValue*)GVTOP(Args[0]); |
| 723 | TheInterpreter->StoreValueToMemory(Args[1], DestVAList, Type::UIntTy); |
| 724 | return GenericValue(); |
| 725 | } |
| 726 | |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 727 | } // End extern "C" |
Chris Lattner | 4721f13 | 2001-10-30 20:28:00 +0000 | [diff] [blame] | 728 | |
| 729 | |
Chris Lattner | da82ed5 | 2003-05-08 16:18:31 +0000 | [diff] [blame] | 730 | void Interpreter::initializeExternalFunctions() { |
Chris Lattner | 0f279b2 | 2001-11-03 10:15:32 +0000 | [diff] [blame] | 731 | FuncNames["lle_Vb_putchar"] = lle_Vb_putchar; |
| 732 | FuncNames["lle_ii_putchar"] = lle_ii_putchar; |
| 733 | FuncNames["lle_VB_putchar"] = lle_VB_putchar; |
| 734 | FuncNames["lle_V___main"] = lle_V___main; |
| 735 | FuncNames["lle_X_exit"] = lle_X_exit; |
Chris Lattner | 1ee34a5 | 2002-05-20 21:17:16 +0000 | [diff] [blame] | 736 | FuncNames["lle_X_abort"] = lle_X_abort; |
Chris Lattner | 0f279b2 | 2001-11-03 10:15:32 +0000 | [diff] [blame] | 737 | FuncNames["lle_X_malloc"] = lle_X_malloc; |
Chris Lattner | 957d62a | 2003-04-23 19:55:24 +0000 | [diff] [blame] | 738 | FuncNames["lle_X_calloc"] = lle_X_calloc; |
Chris Lattner | 0f279b2 | 2001-11-03 10:15:32 +0000 | [diff] [blame] | 739 | FuncNames["lle_X_free"] = lle_X_free; |
Chris Lattner | 782b939 | 2001-11-26 18:18:18 +0000 | [diff] [blame] | 740 | FuncNames["lle_X_atoi"] = lle_X_atoi; |
Chris Lattner | 0f279b2 | 2001-11-03 10:15:32 +0000 | [diff] [blame] | 741 | FuncNames["lle_X_pow"] = lle_X_pow; |
Chris Lattner | 34dd24b | 2002-02-18 19:06:25 +0000 | [diff] [blame] | 742 | FuncNames["lle_X_exp"] = lle_X_exp; |
Chris Lattner | 1b60014 | 2001-11-13 05:46:08 +0000 | [diff] [blame] | 743 | FuncNames["lle_X_log"] = lle_X_log; |
Chris Lattner | dbcda22 | 2002-12-20 04:18:13 +0000 | [diff] [blame] | 744 | FuncNames["lle_X_isnan"] = lle_X_isnan; |
Chris Lattner | 782b939 | 2001-11-26 18:18:18 +0000 | [diff] [blame] | 745 | FuncNames["lle_X_floor"] = lle_X_floor; |
| 746 | FuncNames["lle_X_srand"] = lle_X_srand; |
Chris Lattner | 1b60014 | 2001-11-13 05:46:08 +0000 | [diff] [blame] | 747 | FuncNames["lle_X_drand48"] = lle_X_drand48; |
| 748 | FuncNames["lle_X_srand48"] = lle_X_srand48; |
| 749 | FuncNames["lle_X_lrand48"] = lle_X_lrand48; |
Chris Lattner | c063d38 | 2001-11-06 21:52:18 +0000 | [diff] [blame] | 750 | FuncNames["lle_X_sqrt"] = lle_X_sqrt; |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 751 | FuncNames["lle_X_puts"] = lle_X_puts; |
Chris Lattner | 0f279b2 | 2001-11-03 10:15:32 +0000 | [diff] [blame] | 752 | FuncNames["lle_X_printf"] = lle_X_printf; |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 753 | FuncNames["lle_X_sprintf"] = lle_X_sprintf; |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 754 | FuncNames["lle_X_sscanf"] = lle_X_sscanf; |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 755 | FuncNames["lle_X_scanf"] = lle_X_scanf; |
Chris Lattner | 295fe67 | 2002-01-23 21:38:07 +0000 | [diff] [blame] | 756 | FuncNames["lle_i_clock"] = lle_i_clock; |
Chris Lattner | 957d62a | 2003-04-23 19:55:24 +0000 | [diff] [blame] | 757 | |
| 758 | FuncNames["lle_X_strcmp"] = lle_X_strcmp; |
| 759 | FuncNames["lle_X_strcat"] = lle_X_strcat; |
| 760 | FuncNames["lle_X_strcpy"] = lle_X_strcpy; |
| 761 | FuncNames["lle_X_strlen"] = lle_X_strlen; |
Chris Lattner | da82ed5 | 2003-05-08 16:18:31 +0000 | [diff] [blame] | 762 | FuncNames["lle_X___strdup"] = lle_X___strdup; |
Chris Lattner | 957d62a | 2003-04-23 19:55:24 +0000 | [diff] [blame] | 763 | FuncNames["lle_X_memset"] = lle_X_memset; |
Chris Lattner | 5f311a7 | 2003-04-23 20:23:16 +0000 | [diff] [blame] | 764 | FuncNames["lle_X_memcpy"] = lle_X_memcpy; |
Chris Lattner | 957d62a | 2003-04-23 19:55:24 +0000 | [diff] [blame] | 765 | |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 766 | FuncNames["lle_X_fopen"] = lle_X_fopen; |
| 767 | FuncNames["lle_X_fclose"] = lle_X_fclose; |
Chris Lattner | 25f6f37 | 2002-11-08 19:10:26 +0000 | [diff] [blame] | 768 | FuncNames["lle_X_feof"] = lle_X_feof; |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 769 | FuncNames["lle_X_fread"] = lle_X_fread; |
| 770 | FuncNames["lle_X_fwrite"] = lle_X_fwrite; |
| 771 | FuncNames["lle_X_fgets"] = lle_X_fgets; |
| 772 | FuncNames["lle_X_fflush"] = lle_X_fflush; |
Chris Lattner | a5c0bfe | 2002-11-06 22:59:28 +0000 | [diff] [blame] | 773 | FuncNames["lle_X_fgetc"] = lle_X_getc; |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 774 | FuncNames["lle_X_getc"] = lle_X_getc; |
Chris Lattner | f87a198 | 2003-04-23 19:20:50 +0000 | [diff] [blame] | 775 | FuncNames["lle_X__IO_getc"] = lle_X__IO_getc; |
Chris Lattner | a5c0bfe | 2002-11-06 22:59:28 +0000 | [diff] [blame] | 776 | FuncNames["lle_X_fputc"] = lle_X_fputc; |
| 777 | FuncNames["lle_X_ungetc"] = lle_X_ungetc; |
Chris Lattner | cf9b4f0 | 2002-11-06 23:05:03 +0000 | [diff] [blame] | 778 | FuncNames["lle_X_fprintf"] = lle_X_fprintf; |
Chris Lattner | a4479cd | 2002-11-07 19:33:50 +0000 | [diff] [blame] | 779 | FuncNames["lle_X_freopen"] = lle_X_freopen; |
Chris Lattner | 374344c | 2003-05-08 16:52:43 +0000 | [diff] [blame^] | 780 | |
| 781 | FuncNames["lle_X_llvm.va_start"]= llvm_va_start; |
| 782 | FuncNames["lle_X_llvm.va_end"] = llvm_va_end; |
| 783 | FuncNames["lle_X_llvm.va_copy"] = llvm_va_copy; |
Chris Lattner | 4721f13 | 2001-10-30 20:28:00 +0000 | [diff] [blame] | 784 | } |