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