pocketpy_c.cpp 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611
  1. #include "pocketpy.h"
  2. #include "pocketpy_c.h"
  3. using namespace pkpy;
  4. #define PKPY_STACK_SIZE 32
  5. #define ERRHANDLER_OPEN \
  6. if (vm->c_data->size() > 0 && vm->c_data->top() == nullptr) \
  7. return false; \
  8. try {
  9. #define ERRHANDLER_CLOSE \
  10. } catch(Exception& e ) { \
  11. vm->c_data->push(py_var(vm, e)); \
  12. vm->c_data->push(NULL); \
  13. return false; \
  14. }
  15. class CVM : public VM {
  16. public :
  17. ValueStackImpl<PKPY_STACK_SIZE>* c_data;
  18. CVM(bool enable_os=true) : VM(enable_os) {
  19. c_data = new ValueStackImpl<PKPY_STACK_SIZE>();
  20. }
  21. ~CVM() {
  22. c_data->clear();
  23. delete c_data;
  24. }
  25. struct TempStack{
  26. CVM* cvm;
  27. ValueStackImpl<PKPY_STACK_SIZE>* prev;
  28. TempStack(CVM* cvm, ValueStackImpl<PKPY_STACK_SIZE>* new_data) : cvm(cvm) {
  29. prev = cvm->c_data;
  30. cvm->c_data = new_data;
  31. }
  32. ~TempStack() { restore(); }
  33. void restore(){
  34. if(prev == nullptr) return;
  35. cvm->c_data = prev;
  36. prev = nullptr;
  37. }
  38. };
  39. };
  40. //for now I will unpack a tuple automatically, we may not want to handle
  41. //it this way, not sure
  42. //it is more lua like, but maybe not python like
  43. static void unpack_return(CVM* vm, PyObject* ret) {
  44. if (is_type(ret, vm->tp_tuple)) {
  45. Tuple& t = py_cast<Tuple&>(vm, ret);
  46. for (int i = 0; i < t.size(); i++)
  47. vm->c_data->push(t[i]);
  48. } else if (ret == vm->None) {
  49. //do nothing here
  50. //having to pop the stack after every call that returns none is annoying
  51. //lua does not do this
  52. //
  53. //so for now we will not push none on the stack when it is the sole thing returned
  54. //if this becomes a problem we can change it
  55. //
  56. //you can still check if it returned none by comparing stack size before
  57. //and after if you have to
  58. } else
  59. vm->c_data->push(ret);
  60. }
  61. bool pkpy_clear_error(pkpy_vm* vm_handle, char** message) {
  62. CVM* vm = (CVM*) vm_handle;
  63. if (vm->c_data->size() == 0 || vm->c_data->top() != nullptr)
  64. return false;
  65. vm->c_data->pop();
  66. Exception& e = py_cast<Exception&>(vm, vm->c_data->top());
  67. if (message != nullptr)
  68. *message = e.summary().c_str_dup();
  69. else
  70. std::cerr << "ERROR: " << e.summary() << "\n";
  71. vm->c_data->clear();
  72. vm->callstack.clear();
  73. vm->s_data.clear();
  74. return true;
  75. }
  76. void gc_marker_ex(CVM* vm) {
  77. for(PyObject* obj: *vm->c_data) if(obj!=nullptr) OBJ_MARK(obj);
  78. }
  79. static OutputHandler stdout_handler = nullptr;
  80. static OutputHandler stderr_handler = nullptr;
  81. void pkpy_set_output_handlers(pkpy_vm*, OutputHandler stdout_handler, OutputHandler stderr_handler){
  82. ::stdout_handler = stdout_handler;
  83. ::stderr_handler = stderr_handler;
  84. }
  85. pkpy_vm* pkpy_vm_create(bool use_stdio, bool enable_os) {
  86. CVM* vm = new CVM(enable_os);
  87. vm->c_data = new ValueStackImpl<PKPY_STACK_SIZE>();
  88. vm->heap._gc_marker_ex = (void (*)(VM*)) gc_marker_ex;
  89. if (!use_stdio) {
  90. vm->_stdout = [](VM* vm, const Str& s){
  91. std::string str = s.str();
  92. if (stdout_handler != nullptr) stdout_handler((pkpy_vm*)vm, str.c_str());
  93. };
  94. vm->_stderr = [](VM* vm, const Str& s){
  95. std::string str = s.str();
  96. if (stderr_handler != nullptr) stderr_handler((pkpy_vm*)vm, str.c_str());
  97. };
  98. }
  99. return (pkpy_vm*) vm;
  100. }
  101. bool pkpy_vm_run(pkpy_vm* vm_handle, const char* source) {
  102. CVM* vm = (CVM*) vm_handle;
  103. ERRHANDLER_OPEN
  104. CodeObject_ code = vm->compile(source, "<c-bound>", EXEC_MODE);
  105. vm->_exec(code, vm->_main);
  106. //unpack_return(w, result);
  107. //NOTE: it seems like vm->_exec should return whatever the last command it
  108. //ran returned but instead it seems to pretty much always return None
  109. //so I guess uncomment this line if that every changes
  110. return true;
  111. ERRHANDLER_CLOSE
  112. }
  113. void pkpy_vm_destroy(pkpy_vm* vm_handle) {
  114. CVM* vm = (CVM*) vm_handle;
  115. delete vm;
  116. }
  117. PyObject* c_function_wrapper(VM* vm, ArgsView args) {
  118. LuaStyleFuncC f;
  119. if(args[-1] != PY_NULL){
  120. f = _py_cast<NativeFunc&>(vm, args[-1])._lua_f;
  121. } else {
  122. f = _py_cast<NativeFunc&>(vm, args[-2])._lua_f;
  123. }
  124. CVM* cvm = (CVM*) vm;
  125. //setup c stack
  126. ValueStackImpl<PKPY_STACK_SIZE> local_stack;
  127. for (int i = 0; i < args.size(); i++)
  128. local_stack.push(args[i]);
  129. // tmp is controlled by RAII
  130. auto tmp = CVM::TempStack(cvm, &local_stack);
  131. int retc = f(cvm);
  132. // propagate_if_errored
  133. if (!cvm->c_data->empty() && cvm->c_data->top() == nullptr){
  134. cvm->c_data->pop(); // pop nullptr
  135. Exception& e = _py_cast<Exception&>(vm, cvm->c_data->popx());
  136. tmp.restore();
  137. // throw e;
  138. vm->_error(e);
  139. }
  140. tmp.restore();
  141. PyObject* ret = cvm->None;
  142. if (retc == 1)
  143. ret = local_stack.top();
  144. else if (retc > 1) {
  145. Tuple t(retc);
  146. for (int i = 0; i < retc; i++) {
  147. int stack_index = (local_stack.size() - retc) + i;
  148. t[i] = local_stack.begin()[stack_index];
  149. }
  150. ret = py_var(cvm, t);
  151. }
  152. return ret;
  153. }
  154. bool pkpy_push_function(pkpy_vm* vm_handle, pkpy_function f) {
  155. CVM* vm = (CVM*) vm_handle;
  156. ERRHANDLER_OPEN
  157. //TODO right now we just treat all c bound functions a varargs functions
  158. //do we want to change that?
  159. NativeFunc nf = NativeFunc(c_function_wrapper, -1, 0);
  160. nf._lua_f = (LuaStyleFuncC) f;
  161. vm->c_data->push(py_var(vm, nf));
  162. return true;
  163. ERRHANDLER_CLOSE
  164. }
  165. bool pkpy_push_int(pkpy_vm* vm_handle, int value) {
  166. CVM* vm = (CVM*) vm_handle;
  167. ERRHANDLER_OPEN
  168. vm->c_data->push(py_var(vm, value));
  169. return true;
  170. ERRHANDLER_CLOSE
  171. }
  172. bool pkpy_push_float(pkpy_vm* vm_handle, double value) {
  173. CVM* vm = (CVM*) vm_handle;
  174. ERRHANDLER_OPEN
  175. vm->c_data->push(py_var(vm, value));
  176. return true;
  177. ERRHANDLER_CLOSE
  178. }
  179. bool pkpy_push_bool(pkpy_vm* vm_handle, bool value) {
  180. CVM* vm = (CVM*) vm_handle;
  181. ERRHANDLER_OPEN
  182. vm->c_data->push(py_var(vm, value));
  183. return true;
  184. ERRHANDLER_CLOSE
  185. }
  186. bool pkpy_push_string(pkpy_vm* vm_handle, const char* value) {
  187. CVM* vm = (CVM*) vm_handle;
  188. ERRHANDLER_OPEN
  189. vm->c_data->push(py_var(vm, value));
  190. return true;
  191. ERRHANDLER_CLOSE
  192. }
  193. bool pkpy_push_stringn(pkpy_vm* vm_handle, const char* value, int length) {
  194. CVM* vm = (CVM*) vm_handle;
  195. ERRHANDLER_OPEN
  196. Str s = Str(value, length);
  197. vm->c_data->push(py_var(vm, s));
  198. return true;
  199. ERRHANDLER_CLOSE
  200. }
  201. bool pkpy_push_voidp(pkpy_vm* vm_handle, void* value) {
  202. CVM* vm = (CVM*) vm_handle;
  203. ERRHANDLER_OPEN
  204. vm->c_data->push(py_var(vm, value));
  205. return true;
  206. ERRHANDLER_CLOSE
  207. }
  208. bool pkpy_push_none(pkpy_vm* vm_handle) {
  209. CVM* vm = (CVM*) vm_handle;
  210. ERRHANDLER_OPEN
  211. vm->c_data->push(vm->None);
  212. return true;
  213. ERRHANDLER_CLOSE
  214. }
  215. bool pkpy_set_global(pkpy_vm* vm_handle, const char* name) {
  216. CVM* vm = (CVM*) vm_handle;
  217. ERRHANDLER_OPEN
  218. vm->_main->attr().set(name, vm->c_data->top());
  219. vm->c_data->pop();
  220. return true;
  221. ERRHANDLER_CLOSE
  222. }
  223. //get global will also get bulitins
  224. bool pkpy_get_global(pkpy_vm* vm_handle, const char* name) {
  225. CVM* vm = (CVM*) vm_handle;
  226. ERRHANDLER_OPEN
  227. PyObject* o = vm->_main->attr().try_get(name);
  228. if (o == nullptr) {
  229. o = vm->builtins->attr().try_get(name);
  230. if (o == nullptr)
  231. throw Exception("NameError", name);
  232. }
  233. vm->c_data->push(o);
  234. return true;
  235. ERRHANDLER_CLOSE
  236. }
  237. bool pkpy_call(pkpy_vm* vm_handle, int argc) {
  238. CVM* vm = (CVM*) vm_handle;
  239. ERRHANDLER_OPEN
  240. int callable_index = vm->c_data->size() - argc - 1;
  241. PyObject* callable = vm->c_data->begin()[callable_index];
  242. vm->s_data.push(callable);
  243. vm->s_data.push(PY_NULL);
  244. for (int i = 0; i < argc; i++)
  245. vm->s_data.push(vm->c_data->begin()[callable_index + i + 1]);
  246. PyObject* o = vm->vectorcall(argc);
  247. vm->c_data->shrink(argc + 1);
  248. unpack_return(vm, o);
  249. return true;
  250. ERRHANDLER_CLOSE
  251. }
  252. bool pkpy_call_method(pkpy_vm* vm_handle, const char* name, int argc) {
  253. CVM* vm = (CVM*) vm_handle;
  254. ERRHANDLER_OPEN
  255. int self_index = vm->c_data->size() - argc - 1;
  256. PyObject* self = vm->c_data->begin()[self_index];
  257. PyObject* callable = vm->get_unbound_method(self, name, &self);
  258. vm->s_data.push(callable);
  259. vm->s_data.push(self);
  260. for (int i = 0; i < argc; i++)
  261. vm->s_data.push(vm->c_data->begin()[self_index + i + 1]);
  262. PyObject* o = vm->vectorcall(argc);
  263. vm->c_data->shrink(argc + 1);
  264. unpack_return(vm, o);
  265. return true;
  266. ERRHANDLER_CLOSE
  267. }
  268. static int lua_to_cstack_index(int index, int size) {
  269. if (index < 0)
  270. index = size + index;
  271. return index;
  272. }
  273. bool pkpy_to_int(pkpy_vm* vm_handle, int index, int* ret) {
  274. CVM* vm = (CVM*) vm_handle;
  275. ERRHANDLER_OPEN
  276. index = lua_to_cstack_index(index, vm->c_data->size());
  277. PyObject* o = vm->c_data->begin()[index];
  278. if (!is_type(o, vm->tp_int))
  279. throw Exception("TypeError", "pkpy_to_int on non int object");
  280. if (ret != nullptr)
  281. *ret = py_cast<int>(vm, o);
  282. return true;
  283. ERRHANDLER_CLOSE
  284. }
  285. bool pkpy_to_float(pkpy_vm* vm_handle, int index, double* ret) {
  286. CVM* vm = (CVM*) vm_handle;
  287. ERRHANDLER_OPEN
  288. index = lua_to_cstack_index(index, vm->c_data->size());
  289. PyObject* o = vm->c_data->begin()[index];
  290. if (!is_type(o, vm->tp_float))
  291. throw Exception("TypeError", "pkpy_to_float on non float object");
  292. if (ret != nullptr)
  293. *ret = py_cast<double>(vm, o);
  294. return true;
  295. ERRHANDLER_CLOSE
  296. }
  297. bool pkpy_to_bool(pkpy_vm* vm_handle, int index, bool* ret) {
  298. CVM* vm = (CVM*) vm_handle;
  299. ERRHANDLER_OPEN
  300. index = lua_to_cstack_index(index, vm->c_data->size());
  301. PyObject* o = vm->c_data->begin()[index];
  302. if (!is_type(o, vm->tp_bool))
  303. throw Exception("TypeError", "pkpy_to_bool on non bool object");
  304. if (ret != nullptr)
  305. *ret = py_cast<bool>(vm, o);
  306. return true;
  307. ERRHANDLER_CLOSE
  308. }
  309. bool pkpy_to_voidp(pkpy_vm* vm_handle, int index, void** ret) {
  310. CVM* vm = (CVM*) vm_handle;
  311. ERRHANDLER_OPEN
  312. index = lua_to_cstack_index(index, vm->c_data->size());
  313. PyObject* o = vm->c_data->begin()[index];
  314. if (!is_type(o, VoidP::_type(vm)))
  315. throw Exception("TypeError", "pkpy_to_voidp on non void* object");
  316. if (ret != nullptr)
  317. *ret = py_cast<void*>(vm, o);
  318. return true;
  319. ERRHANDLER_CLOSE
  320. }
  321. bool pkpy_to_string(pkpy_vm* vm_handle, int index, char** ret) {
  322. CVM* vm = (CVM*) vm_handle;
  323. ERRHANDLER_OPEN
  324. index = lua_to_cstack_index(index, vm->c_data->size());
  325. PyObject* o = vm->c_data->begin()[index];
  326. if (!is_type(o, vm->tp_str))
  327. throw Exception("TypeError", "pkpy_to_string on non string object");
  328. if (ret != nullptr) {
  329. Str& s = py_cast<Str&>(vm, o);
  330. *ret = s.c_str_dup();
  331. }
  332. return true;
  333. ERRHANDLER_CLOSE
  334. }
  335. bool pkpy_to_stringn(pkpy_vm* vm_handle, int index, const char** ret, int* size) {
  336. CVM* vm = (CVM*) vm_handle;
  337. ERRHANDLER_OPEN
  338. index = lua_to_cstack_index(index, vm->c_data->size());
  339. PyObject* o = vm->c_data->begin()[index];
  340. if (ret != nullptr) {
  341. std::string_view sv = py_cast<Str&>(vm, o).sv();
  342. *ret = sv.data();
  343. *size = sv.size();
  344. }
  345. return true;
  346. ERRHANDLER_CLOSE
  347. }
  348. bool pkpy_is_int(pkpy_vm* vm_handle, int index) {
  349. CVM* vm = (CVM*) vm_handle;
  350. index = lua_to_cstack_index(index, vm->c_data->size());
  351. PyObject* o = vm->c_data->begin()[index];
  352. return is_type(o, vm->tp_int);
  353. }
  354. bool pkpy_is_float(pkpy_vm* vm_handle, int index) {
  355. CVM* vm = (CVM*) vm_handle;
  356. index = lua_to_cstack_index(index, vm->c_data->size());
  357. PyObject* o = vm->c_data->begin()[index];
  358. return is_type(o, vm->tp_float);
  359. }
  360. bool pkpy_is_bool(pkpy_vm* vm_handle, int index) {
  361. CVM* vm = (CVM*) vm_handle;
  362. index = lua_to_cstack_index(index, vm->c_data->size());
  363. PyObject* o = vm->c_data->begin()[index];
  364. return is_type(o, vm->tp_bool);
  365. }
  366. bool pkpy_is_string(pkpy_vm* vm_handle, int index) {
  367. CVM* vm = (CVM*) vm_handle;
  368. index = lua_to_cstack_index(index, vm->c_data->size());
  369. PyObject* o = vm->c_data->begin()[index];
  370. return is_type(o, vm->tp_str);
  371. }
  372. bool pkpy_is_voidp(pkpy_vm* vm_handle, int index) {
  373. CVM* vm = (CVM*) vm_handle;
  374. index = lua_to_cstack_index(index, vm->c_data->size());
  375. PyObject* o = vm->c_data->begin()[index];
  376. return is_type(o, VoidP::_type(vm));
  377. }
  378. bool pkpy_is_none(pkpy_vm* vm_handle, int index) {
  379. CVM* vm = (CVM*) vm_handle;
  380. index = lua_to_cstack_index(index, vm->c_data->size());
  381. PyObject* o = vm->c_data->begin()[index];
  382. return o == vm->None;
  383. }
  384. bool pkpy_check_global(pkpy_vm* vm_handle, const char* name) {
  385. CVM* vm = (CVM*) vm_handle;
  386. PyObject* o = vm->_main->attr().try_get(name);
  387. if (o == nullptr) {
  388. o = vm->builtins->attr().try_get(name);
  389. if (o == nullptr)
  390. return false;
  391. }
  392. return true;
  393. }
  394. bool pkpy_check_error(pkpy_vm* vm_handle) {
  395. CVM* vm = (CVM*) vm_handle;
  396. if (vm->c_data->size() > 0 && vm->c_data->top() == nullptr)
  397. return true;
  398. return false;
  399. }
  400. bool pkpy_check_stack(pkpy_vm* vm_handle, int free) {
  401. CVM* vm = (CVM*) vm_handle;
  402. return free + vm->c_data->size() <= PKPY_STACK_SIZE;
  403. }
  404. int pkpy_stack_size(pkpy_vm* vm_handle) {
  405. CVM* vm = (CVM*) vm_handle;
  406. return vm->c_data->size();
  407. }
  408. bool pkpy_pop(pkpy_vm* vm_handle, int n) {
  409. CVM* vm = (CVM*) vm_handle;
  410. vm->c_data->shrink(n);
  411. return true;
  412. }
  413. bool pkpy_push(pkpy_vm* vm_handle, int index) {
  414. CVM* vm = (CVM*) vm_handle;
  415. index = lua_to_cstack_index(index, vm->c_data->size());
  416. vm->c_data->push(vm->c_data->begin()[index]);
  417. return true;
  418. }
  419. bool pkpy_error(pkpy_vm* vm_handle, const char* name, const char* message) {
  420. CVM* vm = (CVM*) vm_handle;
  421. // already in error state
  422. if (vm->c_data->size() > 0 && vm->c_data->top() == nullptr) {
  423. return false;
  424. }
  425. vm->c_data->push(py_var(vm, Exception(name, message)));
  426. vm->c_data->push(nullptr);
  427. return false;
  428. }
  429. bool pkpy_getattr(pkpy_vm* vm_handle, const char* name) {
  430. CVM* vm = (CVM*) vm_handle;
  431. ERRHANDLER_OPEN
  432. PyObject* o = vm->c_data->top();
  433. PyObject* ret = vm->getattr(o, name, false);
  434. if(ret == nullptr) return false;
  435. vm->c_data->top() = ret;
  436. ERRHANDLER_CLOSE
  437. return true;
  438. }
  439. bool pkpy_setattr(pkpy_vm* vm_handle, const char* name) {
  440. CVM* vm = (CVM*) vm_handle;
  441. ERRHANDLER_OPEN
  442. PyObject* a = vm->c_data->top();
  443. PyObject* val = vm->c_data->second();
  444. vm->setattr(a, name, val);
  445. vm->c_data->shrink(2);
  446. ERRHANDLER_CLOSE
  447. return true;
  448. }
  449. bool pkpy_eval(pkpy_vm* vm_handle, const char* code) {
  450. CVM* vm = (CVM*) vm_handle;
  451. ERRHANDLER_OPEN
  452. CodeObject_ co = vm->compile(code, "<eval>", EVAL_MODE);
  453. PyObject* ret = vm->_exec(co, vm->_main);
  454. vm->c_data->push(ret);
  455. ERRHANDLER_CLOSE
  456. return true;
  457. }
  458. void* pkpy_get_id(pkpy_vm* vm_handle, int index) {
  459. CVM* vm = (CVM*) vm_handle;
  460. index = lua_to_cstack_index(index, vm->c_data->size());
  461. PyObject* o = vm->c_data->begin()[index];
  462. if(is_tagged(o)) return nullptr;
  463. return (void*) o;
  464. }