Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 1 | //===-- ExternalFunctions.cpp - Implement External Functions --------------===// |
Misha Brukman | d1c881a | 2005-04-21 22:43:08 +0000 | [diff] [blame] | 2 | // |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | d1c881a | 2005-04-21 22:43:08 +0000 | [diff] [blame] | 7 | // |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Misha Brukman | d1c881a | 2005-04-21 22:43:08 +0000 | [diff] [blame] | 9 | // |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 10 | // This file contains both code to deal with invoking "external" functions, but |
| 11 | // also contains code that implements "exported" external functions. |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 12 | // |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 13 | // There are currently two mechanisms for handling external functions in the |
| 14 | // Interpreter. The first is to implement lle_* wrapper functions that are |
| 15 | // specific to well-known library functions which manually translate the |
| 16 | // arguments from GenericValues and make the call. If such a wrapper does |
| 17 | // not exist, and libffi is available, then the Interpreter will attempt to |
| 18 | // invoke the function using libffi, after finding its address. |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 19 | // |
| 20 | //===----------------------------------------------------------------------===// |
| 21 | |
| 22 | #include "Interpreter.h" |
| 23 | #include "llvm/DerivedTypes.h" |
Misha Brukman | b8d15b2 | 2003-10-14 21:42:11 +0000 | [diff] [blame] | 24 | #include "llvm/Module.h" |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 25 | #include "llvm/Config/config.h" // Detect libffi |
Bill Wendling | 480f093 | 2006-11-27 23:54:50 +0000 | [diff] [blame] | 26 | #include "llvm/Support/Streams.h" |
Reid Spencer | df5a37e | 2004-11-29 14:11:29 +0000 | [diff] [blame] | 27 | #include "llvm/System/DynamicLibrary.h" |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 28 | #include "llvm/Target/TargetData.h" |
Chuck Rose III | 936baaa | 2007-07-27 18:26:35 +0000 | [diff] [blame] | 29 | #include "llvm/Support/ManagedStatic.h" |
Owen Anderson | c226570 | 2009-06-22 22:30:56 +0000 | [diff] [blame] | 30 | #include "llvm/System/Mutex.h" |
Brian Gaeke | b56a6bc | 2003-11-05 01:18:49 +0000 | [diff] [blame] | 31 | #include <csignal> |
Duncan Sands | 4520dd2 | 2008-10-08 07:23:46 +0000 | [diff] [blame] | 32 | #include <cstdio> |
Misha Brukman | b8d15b2 | 2003-10-14 21:42:11 +0000 | [diff] [blame] | 33 | #include <map> |
Jeff Cohen | 97af751 | 2006-12-02 02:22:01 +0000 | [diff] [blame] | 34 | #include <cmath> |
Anton Korobeynikov | ae9f3a3 | 2008-02-20 11:08:44 +0000 | [diff] [blame] | 35 | #include <cstring> |
Zhou Sheng | 621dead | 2007-12-12 06:16:47 +0000 | [diff] [blame] | 36 | |
Nick Lewycky | 93f70fc | 2009-04-13 04:26:06 +0000 | [diff] [blame] | 37 | #ifdef HAVE_FFI_CALL |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 38 | #ifdef HAVE_FFI_H |
| 39 | #include <ffi.h> |
Nick Lewycky | 93f70fc | 2009-04-13 04:26:06 +0000 | [diff] [blame] | 40 | #define USE_LIBFFI |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 41 | #elif HAVE_FFI_FFI_H |
| 42 | #include <ffi/ffi.h> |
Nick Lewycky | 93f70fc | 2009-04-13 04:26:06 +0000 | [diff] [blame] | 43 | #define USE_LIBFFI |
Zhou Sheng | 621dead | 2007-12-12 06:16:47 +0000 | [diff] [blame] | 44 | #endif |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 45 | #endif |
Tanya Lattner | 32aaee6 | 2009-01-22 20:09:20 +0000 | [diff] [blame] | 46 | |
Chris Lattner | f7a743d | 2003-12-14 23:25:48 +0000 | [diff] [blame] | 47 | using namespace llvm; |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 48 | |
Owen Anderson | c226570 | 2009-06-22 22:30:56 +0000 | [diff] [blame] | 49 | static ManagedStatic<sys::Mutex> FunctionsLock; |
| 50 | |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 51 | typedef GenericValue (*ExFunc)(const FunctionType *, |
| 52 | const std::vector<GenericValue> &); |
| 53 | static ManagedStatic<std::map<const Function *, ExFunc> > ExportedFunctions; |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 54 | static std::map<std::string, ExFunc> FuncNames; |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 55 | |
Nick Lewycky | 93f70fc | 2009-04-13 04:26:06 +0000 | [diff] [blame] | 56 | #ifdef USE_LIBFFI |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 57 | typedef void (*RawFunc)(void); |
| 58 | static ManagedStatic<std::map<const Function *, RawFunc> > RawFunctions; |
| 59 | #endif |
| 60 | |
Chris Lattner | e43db88 | 2001-10-27 04:15:57 +0000 | [diff] [blame] | 61 | static Interpreter *TheInterpreter; |
| 62 | |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 63 | static char getTypeID(const Type *Ty) { |
Chris Lattner | f70c22b | 2004-06-17 18:19:28 +0000 | [diff] [blame] | 64 | switch (Ty->getTypeID()) { |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 65 | case Type::VoidTyID: return 'V'; |
Reid Spencer | a54b7cb | 2007-01-12 07:05:14 +0000 | [diff] [blame] | 66 | case Type::IntegerTyID: |
| 67 | switch (cast<IntegerType>(Ty)->getBitWidth()) { |
| 68 | case 1: return 'o'; |
| 69 | case 8: return 'B'; |
| 70 | case 16: return 'S'; |
| 71 | case 32: return 'I'; |
| 72 | case 64: return 'L'; |
| 73 | default: return 'N'; |
| 74 | } |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 75 | case Type::FloatTyID: return 'F'; |
| 76 | case Type::DoubleTyID: return 'D'; |
| 77 | case Type::PointerTyID: return 'P'; |
Reid Spencer | e49661b | 2006-12-31 05:51:36 +0000 | [diff] [blame] | 78 | case Type::FunctionTyID:return 'M'; |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 79 | case Type::StructTyID: return 'T'; |
| 80 | case Type::ArrayTyID: return 'A'; |
| 81 | case Type::OpaqueTyID: return 'O'; |
| 82 | default: return 'U'; |
| 83 | } |
| 84 | } |
| 85 | |
Anton Korobeynikov | 42346f5 | 2007-07-30 23:03:25 +0000 | [diff] [blame] | 86 | // Try to find address of external function given a Function object. |
| 87 | // Please note, that interpreter doesn't know how to assemble a |
| 88 | // real call in general case (this is JIT job), that's why it assumes, |
| 89 | // that all external functions has the same (and pretty "general") signature. |
| 90 | // The typical example of such functions are "lle_X_" ones. |
Brian Gaeke | 58a6faa | 2003-10-10 17:03:10 +0000 | [diff] [blame] | 91 | static ExFunc lookupFunction(const Function *F) { |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 92 | // Function not found, look it up... start by figuring out what the |
| 93 | // composite function name should be. |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 94 | std::string ExtName = "lle_"; |
Brian Gaeke | 58a6faa | 2003-10-10 17:03:10 +0000 | [diff] [blame] | 95 | const FunctionType *FT = F->getFunctionType(); |
| 96 | for (unsigned i = 0, e = FT->getNumContainedTypes(); i != e; ++i) |
| 97 | ExtName += getTypeID(FT->getContainedType(i)); |
| 98 | ExtName += "_" + F->getName(); |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 99 | |
Owen Anderson | a9d1f2c | 2009-07-07 18:33:04 +0000 | [diff] [blame^] | 100 | sys::ScopedLock Writer(*FunctionsLock); |
Chris Lattner | 4721f13 | 2001-10-30 20:28:00 +0000 | [diff] [blame] | 101 | ExFunc FnPtr = FuncNames[ExtName]; |
| 102 | if (FnPtr == 0) |
Brian Gaeke | 58a6faa | 2003-10-10 17:03:10 +0000 | [diff] [blame] | 103 | FnPtr = FuncNames["lle_X_"+F->getName()]; |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 104 | if (FnPtr == 0) // Try calling a generic function... if it exists... |
Chris Lattner | 26e6e10 | 2006-06-01 17:27:11 +0000 | [diff] [blame] | 105 | FnPtr = (ExFunc)(intptr_t)sys::DynamicLibrary::SearchForAddressOfSymbol( |
Reid Spencer | df5a37e | 2004-11-29 14:11:29 +0000 | [diff] [blame] | 106 | ("lle_X_"+F->getName()).c_str()); |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 107 | if (FnPtr != 0) |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 108 | ExportedFunctions->insert(std::make_pair(F, FnPtr)); // Cache for later |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 109 | return FnPtr; |
| 110 | } |
| 111 | |
Nick Lewycky | 93f70fc | 2009-04-13 04:26:06 +0000 | [diff] [blame] | 112 | #ifdef USE_LIBFFI |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 113 | static ffi_type *ffiTypeFor(const Type *Ty) { |
| 114 | switch (Ty->getTypeID()) { |
| 115 | case Type::VoidTyID: return &ffi_type_void; |
| 116 | case Type::IntegerTyID: |
| 117 | switch (cast<IntegerType>(Ty)->getBitWidth()) { |
| 118 | case 8: return &ffi_type_sint8; |
| 119 | case 16: return &ffi_type_sint16; |
| 120 | case 32: return &ffi_type_sint32; |
| 121 | case 64: return &ffi_type_sint64; |
| 122 | } |
| 123 | case Type::FloatTyID: return &ffi_type_float; |
| 124 | case Type::DoubleTyID: return &ffi_type_double; |
| 125 | case Type::PointerTyID: return &ffi_type_pointer; |
| 126 | default: break; |
| 127 | } |
| 128 | // TODO: Support other types such as StructTyID, ArrayTyID, OpaqueTyID, etc. |
| 129 | cerr << "Type could not be mapped for use with libffi.\n"; |
| 130 | abort(); |
| 131 | return NULL; |
| 132 | } |
| 133 | |
| 134 | static void *ffiValueFor(const Type *Ty, const GenericValue &AV, |
| 135 | void *ArgDataPtr) { |
| 136 | switch (Ty->getTypeID()) { |
| 137 | case Type::IntegerTyID: |
| 138 | switch (cast<IntegerType>(Ty)->getBitWidth()) { |
| 139 | case 8: { |
| 140 | int8_t *I8Ptr = (int8_t *) ArgDataPtr; |
| 141 | *I8Ptr = (int8_t) AV.IntVal.getZExtValue(); |
| 142 | return ArgDataPtr; |
| 143 | } |
| 144 | case 16: { |
| 145 | int16_t *I16Ptr = (int16_t *) ArgDataPtr; |
| 146 | *I16Ptr = (int16_t) AV.IntVal.getZExtValue(); |
| 147 | return ArgDataPtr; |
| 148 | } |
| 149 | case 32: { |
| 150 | int32_t *I32Ptr = (int32_t *) ArgDataPtr; |
| 151 | *I32Ptr = (int32_t) AV.IntVal.getZExtValue(); |
| 152 | return ArgDataPtr; |
| 153 | } |
| 154 | case 64: { |
| 155 | int64_t *I64Ptr = (int64_t *) ArgDataPtr; |
| 156 | *I64Ptr = (int64_t) AV.IntVal.getZExtValue(); |
| 157 | return ArgDataPtr; |
| 158 | } |
| 159 | } |
| 160 | case Type::FloatTyID: { |
| 161 | float *FloatPtr = (float *) ArgDataPtr; |
| 162 | *FloatPtr = AV.DoubleVal; |
| 163 | return ArgDataPtr; |
| 164 | } |
| 165 | case Type::DoubleTyID: { |
| 166 | double *DoublePtr = (double *) ArgDataPtr; |
| 167 | *DoublePtr = AV.DoubleVal; |
| 168 | return ArgDataPtr; |
| 169 | } |
| 170 | case Type::PointerTyID: { |
| 171 | void **PtrPtr = (void **) ArgDataPtr; |
| 172 | *PtrPtr = GVTOP(AV); |
| 173 | return ArgDataPtr; |
| 174 | } |
| 175 | default: break; |
| 176 | } |
| 177 | // TODO: Support other types such as StructTyID, ArrayTyID, OpaqueTyID, etc. |
| 178 | cerr << "Type value could not be mapped for use with libffi.\n"; |
| 179 | abort(); |
| 180 | return NULL; |
| 181 | } |
| 182 | |
| 183 | static bool ffiInvoke(RawFunc Fn, Function *F, |
| 184 | const std::vector<GenericValue> &ArgVals, |
| 185 | const TargetData *TD, GenericValue &Result) { |
| 186 | ffi_cif cif; |
| 187 | const FunctionType *FTy = F->getFunctionType(); |
| 188 | const unsigned NumArgs = F->arg_size(); |
| 189 | |
| 190 | // TODO: We don't have type information about the remaining arguments, because |
| 191 | // this information is never passed into ExecutionEngine::runFunction(). |
| 192 | if (ArgVals.size() > NumArgs && F->isVarArg()) { |
| 193 | cerr << "Calling external var arg function '" << F->getName() |
| 194 | << "' is not supported by the Interpreter.\n"; |
| 195 | abort(); |
| 196 | } |
| 197 | |
| 198 | unsigned ArgBytes = 0; |
| 199 | |
| 200 | std::vector<ffi_type*> args(NumArgs); |
| 201 | for (Function::const_arg_iterator A = F->arg_begin(), E = F->arg_end(); |
| 202 | A != E; ++A) { |
| 203 | const unsigned ArgNo = A->getArgNo(); |
| 204 | const Type *ArgTy = FTy->getParamType(ArgNo); |
| 205 | args[ArgNo] = ffiTypeFor(ArgTy); |
| 206 | ArgBytes += TD->getTypeStoreSize(ArgTy); |
| 207 | } |
| 208 | |
| 209 | uint8_t *ArgData = (uint8_t*) alloca(ArgBytes); |
| 210 | uint8_t *ArgDataPtr = ArgData; |
| 211 | std::vector<void*> values(NumArgs); |
| 212 | for (Function::const_arg_iterator A = F->arg_begin(), E = F->arg_end(); |
| 213 | A != E; ++A) { |
| 214 | const unsigned ArgNo = A->getArgNo(); |
| 215 | const Type *ArgTy = FTy->getParamType(ArgNo); |
| 216 | values[ArgNo] = ffiValueFor(ArgTy, ArgVals[ArgNo], ArgDataPtr); |
| 217 | ArgDataPtr += TD->getTypeStoreSize(ArgTy); |
| 218 | } |
| 219 | |
| 220 | const Type *RetTy = FTy->getReturnType(); |
| 221 | ffi_type *rtype = ffiTypeFor(RetTy); |
| 222 | |
| 223 | if (ffi_prep_cif(&cif, FFI_DEFAULT_ABI, NumArgs, rtype, &args[0]) == FFI_OK) { |
| 224 | void *ret = NULL; |
| 225 | if (RetTy->getTypeID() != Type::VoidTyID) |
| 226 | ret = alloca(TD->getTypeStoreSize(RetTy)); |
| 227 | ffi_call(&cif, Fn, ret, &values[0]); |
| 228 | switch (RetTy->getTypeID()) { |
| 229 | case Type::IntegerTyID: |
| 230 | switch (cast<IntegerType>(RetTy)->getBitWidth()) { |
| 231 | case 8: Result.IntVal = APInt(8 , *(int8_t *) ret); break; |
| 232 | case 16: Result.IntVal = APInt(16, *(int16_t*) ret); break; |
| 233 | case 32: Result.IntVal = APInt(32, *(int32_t*) ret); break; |
| 234 | case 64: Result.IntVal = APInt(64, *(int64_t*) ret); break; |
| 235 | } |
| 236 | break; |
| 237 | case Type::FloatTyID: Result.FloatVal = *(float *) ret; break; |
| 238 | case Type::DoubleTyID: Result.DoubleVal = *(double*) ret; break; |
| 239 | case Type::PointerTyID: Result.PointerVal = *(void **) ret; break; |
| 240 | default: break; |
| 241 | } |
| 242 | return true; |
| 243 | } |
| 244 | |
| 245 | return false; |
| 246 | } |
Nick Lewycky | 93f70fc | 2009-04-13 04:26:06 +0000 | [diff] [blame] | 247 | #endif // USE_LIBFFI |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 248 | |
Chris Lattner | 4e7dd8f | 2005-01-21 19:59:37 +0000 | [diff] [blame] | 249 | GenericValue Interpreter::callExternalFunction(Function *F, |
Chris Lattner | 44edb6b | 2003-05-14 14:21:30 +0000 | [diff] [blame] | 250 | const std::vector<GenericValue> &ArgVals) { |
Chris Lattner | e43db88 | 2001-10-27 04:15:57 +0000 | [diff] [blame] | 251 | TheInterpreter = this; |
| 252 | |
Owen Anderson | c226570 | 2009-06-22 22:30:56 +0000 | [diff] [blame] | 253 | FunctionsLock->acquire(); |
| 254 | |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 255 | // Do a lookup to see if the function is in our cache... this should just be a |
Misha Brukman | d5d96b9 | 2003-10-10 17:42:19 +0000 | [diff] [blame] | 256 | // deferred annotation! |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 257 | std::map<const Function *, ExFunc>::iterator FI = ExportedFunctions->find(F); |
| 258 | if (ExFunc Fn = (FI == ExportedFunctions->end()) ? lookupFunction(F) |
Owen Anderson | c226570 | 2009-06-22 22:30:56 +0000 | [diff] [blame] | 259 | : FI->second) { |
| 260 | FunctionsLock->release(); |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 261 | return Fn(F->getFunctionType(), ArgVals); |
Owen Anderson | c226570 | 2009-06-22 22:30:56 +0000 | [diff] [blame] | 262 | } |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 263 | |
Nick Lewycky | 93f70fc | 2009-04-13 04:26:06 +0000 | [diff] [blame] | 264 | #ifdef USE_LIBFFI |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 265 | std::map<const Function *, RawFunc>::iterator RF = RawFunctions->find(F); |
| 266 | RawFunc RawFn; |
| 267 | if (RF == RawFunctions->end()) { |
| 268 | RawFn = (RawFunc)(intptr_t) |
| 269 | sys::DynamicLibrary::SearchForAddressOfSymbol(F->getName()); |
| 270 | if (RawFn != 0) |
| 271 | RawFunctions->insert(std::make_pair(F, RawFn)); // Cache for later |
| 272 | } else { |
| 273 | RawFn = RF->second; |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 274 | } |
Owen Anderson | c226570 | 2009-06-22 22:30:56 +0000 | [diff] [blame] | 275 | |
| 276 | FunctionsLock->release(); |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 277 | |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 278 | GenericValue Result; |
| 279 | if (RawFn != 0 && ffiInvoke(RawFn, F, ArgVals, getTargetData(), Result)) |
| 280 | return Result; |
Nick Lewycky | 93f70fc | 2009-04-13 04:26:06 +0000 | [diff] [blame] | 281 | #endif // USE_LIBFFI |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 282 | |
| 283 | cerr << "Tried to execute an unknown external function: " |
| 284 | << F->getType()->getDescription() << " " << F->getName() << "\n"; |
| 285 | if (F->getName() != "__main") |
| 286 | abort(); |
| 287 | return GenericValue(); |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 288 | } |
| 289 | |
| 290 | |
| 291 | //===----------------------------------------------------------------------===// |
Chris Lattner | b408b12 | 2002-03-29 03:57:15 +0000 | [diff] [blame] | 292 | // Functions "exported" to the running application... |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 293 | // |
| 294 | extern "C" { // Don't add C++ manglings to llvm mangling :) |
| 295 | |
Chris Lattner | 44edb6b | 2003-05-14 14:21:30 +0000 | [diff] [blame] | 296 | // void atexit(Function*) |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 297 | GenericValue lle_X_atexit(const FunctionType *FT, |
| 298 | const std::vector<GenericValue> &Args) { |
Chris Lattner | 44edb6b | 2003-05-14 14:21:30 +0000 | [diff] [blame] | 299 | assert(Args.size() == 1); |
| 300 | TheInterpreter->addAtExitHandler((Function*)GVTOP(Args[0])); |
| 301 | GenericValue GV; |
Reid Spencer | bfcd599 | 2007-03-06 03:08:12 +0000 | [diff] [blame] | 302 | GV.IntVal = 0; |
Chris Lattner | 44edb6b | 2003-05-14 14:21:30 +0000 | [diff] [blame] | 303 | return GV; |
Chris Lattner | f8f2afb | 2001-10-18 21:55:32 +0000 | [diff] [blame] | 304 | } |
| 305 | |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 306 | // void exit(int) |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 307 | GenericValue lle_X_exit(const FunctionType *FT, |
| 308 | const std::vector<GenericValue> &Args) { |
Chris Lattner | e43db88 | 2001-10-27 04:15:57 +0000 | [diff] [blame] | 309 | TheInterpreter->exitCalled(Args[0]); |
| 310 | return GenericValue(); |
| 311 | } |
| 312 | |
Chris Lattner | 005cbce | 2002-10-02 21:12:13 +0000 | [diff] [blame] | 313 | // void abort(void) |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 314 | GenericValue lle_X_abort(const FunctionType *FT, |
| 315 | const std::vector<GenericValue> &Args) { |
Brian Gaeke | b56a6bc | 2003-11-05 01:18:49 +0000 | [diff] [blame] | 316 | raise (SIGABRT); |
Chris Lattner | 1ee34a5 | 2002-05-20 21:17:16 +0000 | [diff] [blame] | 317 | return GenericValue(); |
| 318 | } |
| 319 | |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 320 | // int sprintf(char *, const char *, ...) - a very rough implementation to make |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 321 | // output useful. |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 322 | GenericValue lle_X_sprintf(const FunctionType *FT, |
| 323 | const std::vector<GenericValue> &Args) { |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 324 | char *OutputBuffer = (char *)GVTOP(Args[0]); |
| 325 | const char *FmtStr = (const char *)GVTOP(Args[1]); |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 326 | unsigned ArgNo = 2; |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 327 | |
| 328 | // printf should return # chars printed. This is completely incorrect, but |
| 329 | // close enough for now. |
Reid Spencer | bfcd599 | 2007-03-06 03:08:12 +0000 | [diff] [blame] | 330 | GenericValue GV; |
| 331 | GV.IntVal = APInt(32, strlen(FmtStr)); |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 332 | while (1) { |
| 333 | switch (*FmtStr) { |
| 334 | case 0: return GV; // Null terminator... |
| 335 | default: // Normal nonspecial character |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 336 | sprintf(OutputBuffer++, "%c", *FmtStr++); |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 337 | break; |
| 338 | case '\\': { // Handle escape codes |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 339 | sprintf(OutputBuffer, "%c%c", *FmtStr, *(FmtStr+1)); |
| 340 | FmtStr += 2; OutputBuffer += 2; |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 341 | break; |
| 342 | } |
| 343 | case '%': { // Handle format specifiers |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 344 | char FmtBuf[100] = "", Buffer[1000] = ""; |
| 345 | char *FB = FmtBuf; |
| 346 | *FB++ = *FmtStr++; |
| 347 | char Last = *FB++ = *FmtStr++; |
| 348 | unsigned HowLong = 0; |
| 349 | while (Last != 'c' && Last != 'd' && Last != 'i' && Last != 'u' && |
| 350 | Last != 'o' && Last != 'x' && Last != 'X' && Last != 'e' && |
| 351 | Last != 'E' && Last != 'g' && Last != 'G' && Last != 'f' && |
| 352 | Last != 'p' && Last != 's' && Last != '%') { |
| 353 | if (Last == 'l' || Last == 'L') HowLong++; // Keep track of l's |
| 354 | Last = *FB++ = *FmtStr++; |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 355 | } |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 356 | *FB = 0; |
Misha Brukman | d1c881a | 2005-04-21 22:43:08 +0000 | [diff] [blame] | 357 | |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 358 | switch (Last) { |
| 359 | case '%': |
Dan Gohman | 1eac4e0 | 2008-08-05 23:36:35 +0000 | [diff] [blame] | 360 | strcpy(Buffer, "%"); break; |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 361 | case 'c': |
Reid Spencer | bfcd599 | 2007-03-06 03:08:12 +0000 | [diff] [blame] | 362 | sprintf(Buffer, FmtBuf, uint32_t(Args[ArgNo++].IntVal.getZExtValue())); |
| 363 | break; |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 364 | case 'd': case 'i': |
| 365 | case 'u': case 'o': |
| 366 | case 'x': case 'X': |
Chris Lattner | 69ab7a8 | 2002-08-02 23:08:32 +0000 | [diff] [blame] | 367 | if (HowLong >= 1) { |
Chris Lattner | 1543e40 | 2003-08-24 14:02:47 +0000 | [diff] [blame] | 368 | if (HowLong == 1 && |
Chris Lattner | fe85403 | 2006-08-16 01:24:12 +0000 | [diff] [blame] | 369 | TheInterpreter->getTargetData()->getPointerSizeInBits() == 64 && |
Reid Spencer | 19b7e0e | 2006-05-24 19:21:13 +0000 | [diff] [blame] | 370 | sizeof(long) < sizeof(int64_t)) { |
Chris Lattner | 69ab7a8 | 2002-08-02 23:08:32 +0000 | [diff] [blame] | 371 | // Make sure we use %lld with a 64 bit argument because we might be |
| 372 | // compiling LLI on a 32 bit compiler. |
| 373 | unsigned Size = strlen(FmtBuf); |
| 374 | FmtBuf[Size] = FmtBuf[Size-1]; |
| 375 | FmtBuf[Size+1] = 0; |
| 376 | FmtBuf[Size-1] = 'l'; |
| 377 | } |
Reid Spencer | bfcd599 | 2007-03-06 03:08:12 +0000 | [diff] [blame] | 378 | sprintf(Buffer, FmtBuf, Args[ArgNo++].IntVal.getZExtValue()); |
Chris Lattner | 69ab7a8 | 2002-08-02 23:08:32 +0000 | [diff] [blame] | 379 | } else |
Reid Spencer | bfcd599 | 2007-03-06 03:08:12 +0000 | [diff] [blame] | 380 | sprintf(Buffer, FmtBuf,uint32_t(Args[ArgNo++].IntVal.getZExtValue())); |
| 381 | break; |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 382 | case 'e': case 'E': case 'g': case 'G': case 'f': |
| 383 | sprintf(Buffer, FmtBuf, Args[ArgNo++].DoubleVal); break; |
| 384 | case 'p': |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 385 | sprintf(Buffer, FmtBuf, (void*)GVTOP(Args[ArgNo++])); break; |
Misha Brukman | d1c881a | 2005-04-21 22:43:08 +0000 | [diff] [blame] | 386 | case 's': |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 387 | sprintf(Buffer, FmtBuf, (char*)GVTOP(Args[ArgNo++])); break; |
Bill Wendling | e815619 | 2006-12-07 01:30:32 +0000 | [diff] [blame] | 388 | default: cerr << "<unknown printf code '" << *FmtStr << "'!>"; |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 389 | ArgNo++; break; |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 390 | } |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 391 | strcpy(OutputBuffer, Buffer); |
| 392 | OutputBuffer += strlen(Buffer); |
Chris Lattner | ea38c0e | 2001-11-07 19:46:27 +0000 | [diff] [blame] | 393 | } |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 394 | break; |
| 395 | } |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 396 | } |
Reid Spencer | b3b0727 | 2007-04-21 17:11:45 +0000 | [diff] [blame] | 397 | return GV; |
Chris Lattner | 08845a2 | 2001-10-29 20:27:45 +0000 | [diff] [blame] | 398 | } |
| 399 | |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 400 | // int printf(const char *, ...) - a very rough implementation to make output |
| 401 | // useful. |
| 402 | GenericValue lle_X_printf(const FunctionType *FT, |
| 403 | const std::vector<GenericValue> &Args) { |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 404 | char Buffer[10000]; |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 405 | std::vector<GenericValue> NewArgs; |
Reid Spencer | b3b0727 | 2007-04-21 17:11:45 +0000 | [diff] [blame] | 406 | NewArgs.push_back(PTOGV((void*)&Buffer[0])); |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 407 | NewArgs.insert(NewArgs.end(), Args.begin(), Args.end()); |
Reid Spencer | 97e0c22 | 2007-03-30 16:41:50 +0000 | [diff] [blame] | 408 | GenericValue GV = lle_X_sprintf(FT, NewArgs); |
Bill Wendling | e815619 | 2006-12-07 01:30:32 +0000 | [diff] [blame] | 409 | cout << Buffer; |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 410 | return GV; |
| 411 | } |
| 412 | |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 413 | static void ByteswapSCANFResults(const char *Fmt, void *Arg0, void *Arg1, |
| 414 | void *Arg2, void *Arg3, void *Arg4, void *Arg5, |
| 415 | void *Arg6, void *Arg7, void *Arg8) { |
| 416 | void *Args[] = { Arg0, Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, 0 }; |
| 417 | |
| 418 | // Loop over the format string, munging read values as appropriate (performs |
Misha Brukman | 5560c9d | 2003-08-18 14:43:39 +0000 | [diff] [blame] | 419 | // byteswaps as necessary). |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 420 | unsigned ArgNo = 0; |
| 421 | while (*Fmt) { |
| 422 | if (*Fmt++ == '%') { |
| 423 | // Read any flag characters that may be present... |
| 424 | bool Suppress = false; |
| 425 | bool Half = false; |
| 426 | bool Long = false; |
| 427 | bool LongLong = false; // long long or long double |
| 428 | |
| 429 | while (1) { |
| 430 | switch (*Fmt++) { |
| 431 | case '*': Suppress = true; break; |
| 432 | case 'a': /*Allocate = true;*/ break; // We don't need to track this |
| 433 | case 'h': Half = true; break; |
| 434 | case 'l': Long = true; break; |
| 435 | case 'q': |
| 436 | case 'L': LongLong = true; break; |
| 437 | default: |
| 438 | if (Fmt[-1] > '9' || Fmt[-1] < '0') // Ignore field width specs |
| 439 | goto Out; |
| 440 | } |
| 441 | } |
| 442 | Out: |
| 443 | |
| 444 | // Read the conversion character |
| 445 | if (!Suppress && Fmt[-1] != '%') { // Nothing to do? |
| 446 | unsigned Size = 0; |
| 447 | const Type *Ty = 0; |
| 448 | |
| 449 | switch (Fmt[-1]) { |
| 450 | case 'i': case 'o': case 'u': case 'x': case 'X': case 'n': case 'p': |
| 451 | case 'd': |
| 452 | if (Long || LongLong) { |
Reid Spencer | e49661b | 2006-12-31 05:51:36 +0000 | [diff] [blame] | 453 | Size = 8; Ty = Type::Int64Ty; |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 454 | } else if (Half) { |
Reid Spencer | e49661b | 2006-12-31 05:51:36 +0000 | [diff] [blame] | 455 | Size = 4; Ty = Type::Int16Ty; |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 456 | } else { |
Reid Spencer | e49661b | 2006-12-31 05:51:36 +0000 | [diff] [blame] | 457 | Size = 4; Ty = Type::Int32Ty; |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 458 | } |
| 459 | break; |
| 460 | |
| 461 | case 'e': case 'g': case 'E': |
| 462 | case 'f': |
| 463 | if (Long || LongLong) { |
| 464 | Size = 8; Ty = Type::DoubleTy; |
| 465 | } else { |
| 466 | Size = 4; Ty = Type::FloatTy; |
| 467 | } |
| 468 | break; |
| 469 | |
| 470 | case 's': case 'c': case '[': // No byteswap needed |
| 471 | Size = 1; |
Reid Spencer | e49661b | 2006-12-31 05:51:36 +0000 | [diff] [blame] | 472 | Ty = Type::Int8Ty; |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 473 | break; |
| 474 | |
| 475 | default: break; |
| 476 | } |
| 477 | |
| 478 | if (Size) { |
| 479 | GenericValue GV; |
| 480 | void *Arg = Args[ArgNo++]; |
| 481 | memcpy(&GV, Arg, Size); |
| 482 | TheInterpreter->StoreValueToMemory(GV, (GenericValue*)Arg, Ty); |
| 483 | } |
| 484 | } |
| 485 | } |
| 486 | } |
| 487 | } |
| 488 | |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 489 | // int sscanf(const char *format, ...); |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 490 | GenericValue lle_X_sscanf(const FunctionType *FT, |
| 491 | const std::vector<GenericValue> &args) { |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 492 | assert(args.size() < 10 && "Only handle up to 10 args to sscanf right now!"); |
| 493 | |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 494 | char *Args[10]; |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 495 | for (unsigned i = 0; i < args.size(); ++i) |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 496 | Args[i] = (char*)GVTOP(args[i]); |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 497 | |
| 498 | GenericValue GV; |
Reid Spencer | bfcd599 | 2007-03-06 03:08:12 +0000 | [diff] [blame] | 499 | GV.IntVal = APInt(32, sscanf(Args[0], Args[1], Args[2], Args[3], Args[4], |
| 500 | Args[5], Args[6], Args[7], Args[8], Args[9])); |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 501 | ByteswapSCANFResults(Args[1], Args[2], Args[3], Args[4], |
| 502 | Args[5], Args[6], Args[7], Args[8], Args[9], 0); |
| 503 | return GV; |
| 504 | } |
| 505 | |
| 506 | // int scanf(const char *format, ...); |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 507 | GenericValue lle_X_scanf(const FunctionType *FT, |
| 508 | const std::vector<GenericValue> &args) { |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 509 | assert(args.size() < 10 && "Only handle up to 10 args to scanf right now!"); |
| 510 | |
| 511 | char *Args[10]; |
| 512 | for (unsigned i = 0; i < args.size(); ++i) |
| 513 | Args[i] = (char*)GVTOP(args[i]); |
| 514 | |
| 515 | GenericValue GV; |
Reid Spencer | bfcd599 | 2007-03-06 03:08:12 +0000 | [diff] [blame] | 516 | GV.IntVal = APInt(32, scanf( Args[0], Args[1], Args[2], Args[3], Args[4], |
| 517 | Args[5], Args[6], Args[7], Args[8], Args[9])); |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 518 | ByteswapSCANFResults(Args[0], Args[1], Args[2], Args[3], Args[4], |
| 519 | Args[5], Args[6], Args[7], Args[8], Args[9]); |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 520 | return GV; |
| 521 | } |
| 522 | |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 523 | // int fprintf(FILE *, const char *, ...) - a very rough implementation to make |
| 524 | // output useful. |
| 525 | GenericValue lle_X_fprintf(const FunctionType *FT, |
| 526 | const std::vector<GenericValue> &Args) { |
Chris Lattner | 9dbf6dd | 2003-04-21 22:43:20 +0000 | [diff] [blame] | 527 | assert(Args.size() >= 2); |
Chris Lattner | cf9b4f0 | 2002-11-06 23:05:03 +0000 | [diff] [blame] | 528 | char Buffer[10000]; |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 529 | std::vector<GenericValue> NewArgs; |
Chris Lattner | b111874 | 2003-01-13 00:59:47 +0000 | [diff] [blame] | 530 | NewArgs.push_back(PTOGV(Buffer)); |
Chris Lattner | cf9b4f0 | 2002-11-06 23:05:03 +0000 | [diff] [blame] | 531 | NewArgs.insert(NewArgs.end(), Args.begin()+1, Args.end()); |
Reid Spencer | 97e0c22 | 2007-03-30 16:41:50 +0000 | [diff] [blame] | 532 | GenericValue GV = lle_X_sprintf(FT, NewArgs); |
Chris Lattner | cf9b4f0 | 2002-11-06 23:05:03 +0000 | [diff] [blame] | 533 | |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 534 | fputs(Buffer, (FILE *) GVTOP(Args[0])); |
Chris Lattner | cf9b4f0 | 2002-11-06 23:05:03 +0000 | [diff] [blame] | 535 | return GV; |
| 536 | } |
| 537 | |
Chris Lattner | 7720c8e | 2001-09-10 04:50:17 +0000 | [diff] [blame] | 538 | } // End extern "C" |
Chris Lattner | 4721f13 | 2001-10-30 20:28:00 +0000 | [diff] [blame] | 539 | |
| 540 | |
Chris Lattner | da82ed5 | 2003-05-08 16:18:31 +0000 | [diff] [blame] | 541 | void Interpreter::initializeExternalFunctions() { |
Owen Anderson | a9d1f2c | 2009-07-07 18:33:04 +0000 | [diff] [blame^] | 542 | sys::ScopedLock Writer(*FunctionsLock); |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 543 | FuncNames["lle_X_atexit"] = lle_X_atexit; |
Chris Lattner | 0f279b2 | 2001-11-03 10:15:32 +0000 | [diff] [blame] | 544 | FuncNames["lle_X_exit"] = lle_X_exit; |
Chris Lattner | 1ee34a5 | 2002-05-20 21:17:16 +0000 | [diff] [blame] | 545 | FuncNames["lle_X_abort"] = lle_X_abort; |
Nick Lewycky | f9c5c5c | 2009-02-04 06:26:47 +0000 | [diff] [blame] | 546 | |
Chris Lattner | 0f279b2 | 2001-11-03 10:15:32 +0000 | [diff] [blame] | 547 | FuncNames["lle_X_printf"] = lle_X_printf; |
Chris Lattner | e7c6f72 | 2001-12-13 00:43:47 +0000 | [diff] [blame] | 548 | FuncNames["lle_X_sprintf"] = lle_X_sprintf; |
Chris Lattner | 665ee88 | 2002-03-08 22:51:07 +0000 | [diff] [blame] | 549 | FuncNames["lle_X_sscanf"] = lle_X_sscanf; |
Chris Lattner | f9a88b6 | 2003-03-31 22:12:37 +0000 | [diff] [blame] | 550 | FuncNames["lle_X_scanf"] = lle_X_scanf; |
Chris Lattner | cf9b4f0 | 2002-11-06 23:05:03 +0000 | [diff] [blame] | 551 | FuncNames["lle_X_fprintf"] = lle_X_fprintf; |
Chris Lattner | 4721f13 | 2001-10-30 20:28:00 +0000 | [diff] [blame] | 552 | } |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 553 | |