sqvm.cpp 59 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750
  1. /*
  2. see copyright notice in squirrel.h
  3. */
  4. #include "sqpcheader.h"
  5. #include <math.h>
  6. #include <stdlib.h>
  7. #include "sqopcodes.h"
  8. #include "sqvm.h"
  9. #include "sqfuncproto.h"
  10. #include "sqclosure.h"
  11. #include "sqstring.h"
  12. #include "sqtable.h"
  13. #include "squserdata.h"
  14. #include "sqarray.h"
  15. #include "sqclass.h"
  16. #define TOP() (_stack._vals[_top-1])
  17. #define TARGET _stack._vals[_stackbase+arg0]
  18. #define STK(a) _stack._vals[_stackbase+(a)]
  19. bool SQVM::BW_OP(SQUnsignedInteger op,SQObjectPtr &trg,const SQObjectPtr &o1,const SQObjectPtr &o2)
  20. {
  21. SQInteger res;
  22. if((type(o1)|type(o2)) == OT_INTEGER)
  23. {
  24. SQInteger i1 = _integer(o1), i2 = _integer(o2);
  25. switch(op) {
  26. case BW_AND: res = i1 & i2; break;
  27. case BW_OR: res = i1 | i2; break;
  28. case BW_XOR: res = i1 ^ i2; break;
  29. case BW_SHIFTL: res = i1 << i2; break;
  30. case BW_SHIFTR: res = i1 >> i2; break;
  31. case BW_USHIFTR:res = (SQInteger)(*((SQUnsignedInteger*)&i1) >> i2); break;
  32. default: { Raise_Error(_SC("internal vm error bitwise op failed")); return false; }
  33. }
  34. }
  35. else { Raise_Error(_SC("bitwise op between '%s' and '%s'"),GetTypeName(o1),GetTypeName(o2)); return false;}
  36. trg = res;
  37. return true;
  38. }
  39. #define _ARITH_(op,trg,o1,o2) \
  40. { \
  41. SQInteger tmask = type(o1)|type(o2); \
  42. switch(tmask) { \
  43. case OT_INTEGER: trg = _integer(o1) op _integer(o2);break; \
  44. case (OT_FLOAT|OT_INTEGER): \
  45. case (OT_FLOAT): trg = tofloat(o1) op tofloat(o2); break;\
  46. default: _GUARD(ARITH_OP((#op)[0],trg,o1,o2)); break;\
  47. } \
  48. }
  49. #define _ARITH_NOZERO(op,trg,o1,o2,err) \
  50. { \
  51. SQInteger tmask = type(o1)|type(o2); \
  52. switch(tmask) { \
  53. case OT_INTEGER: { SQInteger i2 = _integer(o2); if(i2 == 0) { Raise_Error(err); SQ_THROW(); } trg = _integer(o1) op i2; } break;\
  54. case (OT_FLOAT|OT_INTEGER): \
  55. case (OT_FLOAT): trg = tofloat(o1) op tofloat(o2); break;\
  56. default: _GUARD(ARITH_OP((#op)[0],trg,o1,o2)); break;\
  57. } \
  58. }
  59. bool SQVM::ARITH_OP(SQUnsignedInteger op,SQObjectPtr &trg,const SQObjectPtr &o1,const SQObjectPtr &o2)
  60. {
  61. SQInteger tmask = type(o1)|type(o2);
  62. switch(tmask) {
  63. case OT_INTEGER:{
  64. SQInteger res, i1 = _integer(o1), i2 = _integer(o2);
  65. switch(op) {
  66. case '+': res = i1 + i2; break;
  67. case '-': res = i1 - i2; break;
  68. case '/': if (i2 == 0) { Raise_Error(_SC("division by zero")); return false; }
  69. else if (i2 == -1 && i1 == INT_MIN) { Raise_Error(_SC("integer overflow")); return false; }
  70. res = i1 / i2;
  71. break;
  72. case '*': res = i1 * i2; break;
  73. case '%': if (i2 == 0) { Raise_Error(_SC("modulo by zero")); return false; }
  74. else if (i2 == -1 && i1 == INT_MIN) { res = 0; break; }
  75. res = i1 % i2;
  76. break;
  77. default: res = 0xDEADBEEF;
  78. }
  79. trg = res; }
  80. break;
  81. case (OT_FLOAT|OT_INTEGER):
  82. case (OT_FLOAT):{
  83. SQFloat res, f1 = tofloat(o1), f2 = tofloat(o2);
  84. switch(op) {
  85. case '+': res = f1 + f2; break;
  86. case '-': res = f1 - f2; break;
  87. case '/': res = f1 / f2; break;
  88. case '*': res = f1 * f2; break;
  89. case '%': res = SQFloat(fmod((double)f1,(double)f2)); break;
  90. default: res = 0x0f;
  91. }
  92. trg = res; }
  93. break;
  94. default:
  95. if(op == '+' && (tmask & _RT_STRING)){
  96. if(!StringCat(o1, o2, trg)) return false;
  97. }
  98. else if(!ArithMetaMethod(op,o1,o2,trg)) {
  99. return false;
  100. }
  101. }
  102. return true;
  103. }
  104. SQVM::SQVM(SQSharedState *ss)
  105. {
  106. _sharedstate=ss;
  107. _suspended = SQFalse;
  108. _suspended_target = -1;
  109. _suspended_root = SQFalse;
  110. _suspended_traps = -1;
  111. _foreignptr = NULL;
  112. _nnativecalls = 0;
  113. _nmetamethodscall = 0;
  114. _lasterror.Null();
  115. _errorhandler.Null();
  116. _debughook = false;
  117. _debughook_native = NULL;
  118. _debughook_closure.Null();
  119. _openouters = NULL;
  120. ci = NULL;
  121. _releasehook = NULL;
  122. INIT_CHAIN();ADD_TO_CHAIN(&_ss(this)->_gc_chain,this);
  123. }
  124. void SQVM::Finalize()
  125. {
  126. if(_releasehook) { _releasehook(_foreignptr,0); _releasehook = NULL; }
  127. if(_openouters) CloseOuters(&_stack._vals[0]);
  128. _roottable.Null();
  129. _lasterror.Null();
  130. _errorhandler.Null();
  131. _debughook = false;
  132. _debughook_native = NULL;
  133. _debughook_closure.Null();
  134. temp_reg.Null();
  135. _callstackdata.resize(0);
  136. SQInteger size=_stack.size();
  137. for(SQInteger i=0;i<size;i++)
  138. _stack[i].Null();
  139. }
  140. SQVM::~SQVM()
  141. {
  142. Finalize();
  143. REMOVE_FROM_CHAIN(&_ss(this)->_gc_chain,this);
  144. }
  145. bool SQVM::ArithMetaMethod(SQInteger op,const SQObjectPtr &o1,const SQObjectPtr &o2,SQObjectPtr &dest)
  146. {
  147. SQMetaMethod mm;
  148. switch(op){
  149. case _SC('+'): mm=MT_ADD; break;
  150. case _SC('-'): mm=MT_SUB; break;
  151. case _SC('/'): mm=MT_DIV; break;
  152. case _SC('*'): mm=MT_MUL; break;
  153. case _SC('%'): mm=MT_MODULO; break;
  154. default: mm = MT_ADD; assert(0); break; //shutup compiler
  155. }
  156. if(is_delegable(o1) && _delegable(o1)->_delegate) {
  157. SQObjectPtr closure;
  158. if(_delegable(o1)->GetMetaMethod(this, mm, closure)) {
  159. Push(o1);Push(o2);
  160. return CallMetaMethod(closure,mm,2,dest);
  161. }
  162. }
  163. Raise_Error(_SC("arith op %c on between '%s' and '%s'"),op,GetTypeName(o1),GetTypeName(o2));
  164. return false;
  165. }
  166. bool SQVM::NEG_OP(SQObjectPtr &trg,const SQObjectPtr &o)
  167. {
  168. switch(type(o)) {
  169. case OT_INTEGER:
  170. trg = -_integer(o);
  171. return true;
  172. case OT_FLOAT:
  173. trg = -_float(o);
  174. return true;
  175. case OT_TABLE:
  176. case OT_USERDATA:
  177. case OT_INSTANCE:
  178. if(_delegable(o)->_delegate) {
  179. SQObjectPtr closure;
  180. if(_delegable(o)->GetMetaMethod(this, MT_UNM, closure)) {
  181. Push(o);
  182. if(!CallMetaMethod(closure, MT_UNM, 1, temp_reg)) return false;
  183. _Swap(trg,temp_reg);
  184. return true;
  185. }
  186. }
  187. default:break; //shutup compiler
  188. }
  189. Raise_Error(_SC("attempt to negate a %s"), GetTypeName(o));
  190. return false;
  191. }
  192. #define _RET_SUCCEED(exp) { result = (exp); return true; }
  193. bool SQVM::ObjCmp(const SQObjectPtr &o1,const SQObjectPtr &o2,SQInteger &result)
  194. {
  195. SQObjectType t1 = type(o1), t2 = type(o2);
  196. if(t1 == t2) {
  197. if(_rawval(o1) == _rawval(o2))_RET_SUCCEED(0);
  198. SQObjectPtr res;
  199. switch(t1){
  200. case OT_STRING:
  201. _RET_SUCCEED(scstrcmp(_stringval(o1),_stringval(o2)));
  202. case OT_INTEGER:
  203. _RET_SUCCEED((_integer(o1)<_integer(o2))?-1:1);
  204. case OT_FLOAT:
  205. _RET_SUCCEED((_float(o1)<_float(o2))?-1:1);
  206. case OT_TABLE:
  207. case OT_USERDATA:
  208. case OT_INSTANCE:
  209. if(_delegable(o1)->_delegate) {
  210. SQObjectPtr closure;
  211. if(_delegable(o1)->GetMetaMethod(this, MT_CMP, closure)) {
  212. Push(o1);Push(o2);
  213. if(CallMetaMethod(closure,MT_CMP,2,res)) {
  214. if(type(res) != OT_INTEGER) {
  215. Raise_Error(_SC("_cmp must return an integer"));
  216. return false;
  217. }
  218. _RET_SUCCEED(_integer(res))
  219. }
  220. return false;
  221. }
  222. }
  223. //continues through (no break needed)
  224. default:
  225. _RET_SUCCEED( _userpointer(o1) < _userpointer(o2)?-1:1 );
  226. }
  227. assert(0);
  228. //if(type(res)!=OT_INTEGER) { Raise_CompareError(o1,o2); return false; }
  229. // _RET_SUCCEED(_integer(res));
  230. }
  231. else{
  232. if(sq_isnumeric(o1) && sq_isnumeric(o2)){
  233. if((t1==OT_INTEGER) && (t2==OT_FLOAT)) {
  234. if( _integer(o1)==_float(o2) ) { _RET_SUCCEED(0); }
  235. else if( _integer(o1)<_float(o2) ) { _RET_SUCCEED(-1); }
  236. _RET_SUCCEED(1);
  237. }
  238. else{
  239. if( _float(o1)==_integer(o2) ) { _RET_SUCCEED(0); }
  240. else if( _float(o1)<_integer(o2) ) { _RET_SUCCEED(-1); }
  241. _RET_SUCCEED(1);
  242. }
  243. }
  244. else if(t1==OT_NULL) {_RET_SUCCEED(-1);}
  245. else if(t2==OT_NULL) {_RET_SUCCEED(1);}
  246. else { Raise_CompareError(o1,o2); return false; }
  247. }
  248. assert(0);
  249. _RET_SUCCEED(0); //cannot happen
  250. }
  251. bool SQVM::CMP_OP(CmpOP op, const SQObjectPtr &o1,const SQObjectPtr &o2,SQObjectPtr &res)
  252. {
  253. SQInteger r;
  254. if(ObjCmp(o1,o2,r)) {
  255. switch(op) {
  256. case CMP_G: res = (r > 0); return true;
  257. case CMP_GE: res = (r >= 0); return true;
  258. case CMP_L: res = (r < 0); return true;
  259. case CMP_LE: res = (r <= 0); return true;
  260. case CMP_3W: res = r; return true;
  261. }
  262. assert(0);
  263. }
  264. return false;
  265. }
  266. bool SQVM::ToString(const SQObjectPtr &o,SQObjectPtr &res)
  267. {
  268. switch(type(o)) {
  269. case OT_STRING:
  270. res = o;
  271. return true;
  272. case OT_FLOAT:
  273. scsprintf(_sp(sq_rsl(NUMBER_MAX_CHAR+1)),sq_rsl(NUMBER_MAX_CHAR),_SC("%g"),_float(o));
  274. break;
  275. case OT_INTEGER:
  276. scsprintf(_sp(sq_rsl(NUMBER_MAX_CHAR+1)),sq_rsl(NUMBER_MAX_CHAR),_PRINT_INT_FMT,_integer(o));
  277. break;
  278. case OT_BOOL:
  279. scsprintf(_sp(sq_rsl(6)),sq_rsl(6),_integer(o)?_SC("true"):_SC("false"));
  280. break;
  281. case OT_TABLE:
  282. case OT_USERDATA:
  283. case OT_INSTANCE:
  284. if(_delegable(o)->_delegate) {
  285. SQObjectPtr closure;
  286. if(_delegable(o)->GetMetaMethod(this, MT_TOSTRING, closure)) {
  287. Push(o);
  288. if(CallMetaMethod(closure,MT_TOSTRING,1,res)) {
  289. if(type(res) == OT_STRING)
  290. return true;
  291. }
  292. else {
  293. return false;
  294. }
  295. }
  296. }
  297. default:
  298. scsprintf(_sp(sq_rsl((sizeof(void*)*2)+NUMBER_MAX_CHAR)),sq_rsl((sizeof(void*)*2)+NUMBER_MAX_CHAR),_SC("(%s : 0x%p)"),GetTypeName(o),(void*)_rawval(o));
  299. }
  300. res = SQString::Create(_ss(this),_spval);
  301. return true;
  302. }
  303. bool SQVM::StringCat(const SQObjectPtr &str,const SQObjectPtr &obj,SQObjectPtr &dest)
  304. {
  305. SQObjectPtr a, b;
  306. if(!ToString(str, a)) return false;
  307. if(!ToString(obj, b)) return false;
  308. SQInteger l = _string(a)->_len , ol = _string(b)->_len;
  309. SQChar *s = _sp(sq_rsl(l + ol + 1));
  310. memcpy(s, _stringval(a), sq_rsl(l));
  311. memcpy(s + l, _stringval(b), sq_rsl(ol));
  312. dest = SQString::Create(_ss(this), _spval, l + ol);
  313. return true;
  314. }
  315. bool SQVM::TypeOf(const SQObjectPtr &obj1,SQObjectPtr &dest)
  316. {
  317. if(is_delegable(obj1) && _delegable(obj1)->_delegate) {
  318. SQObjectPtr closure;
  319. if(_delegable(obj1)->GetMetaMethod(this, MT_TYPEOF, closure)) {
  320. Push(obj1);
  321. return CallMetaMethod(closure,MT_TYPEOF,1,dest);
  322. }
  323. }
  324. dest = SQString::Create(_ss(this),GetTypeName(obj1));
  325. return true;
  326. }
  327. bool SQVM::Init(SQVM *friendvm, SQInteger stacksize)
  328. {
  329. _stack.resize(stacksize);
  330. _alloccallsstacksize = 4;
  331. _callstackdata.resize(_alloccallsstacksize);
  332. _callsstacksize = 0;
  333. _callsstack = &_callstackdata[0];
  334. _stackbase = 0;
  335. _top = 0;
  336. if(!friendvm) {
  337. _roottable = SQTable::Create(_ss(this), 0);
  338. sq_base_register(this);
  339. }
  340. else {
  341. _roottable = friendvm->_roottable;
  342. _errorhandler = friendvm->_errorhandler;
  343. _debughook = friendvm->_debughook;
  344. _debughook_native = friendvm->_debughook_native;
  345. _debughook_closure = friendvm->_debughook_closure;
  346. }
  347. return true;
  348. }
  349. bool SQVM::StartCall(SQClosure *closure,SQInteger target,SQInteger args,SQInteger stackbase,bool tailcall)
  350. {
  351. SQFunctionProto *func = closure->_function;
  352. SQInteger paramssize = func->_nparameters;
  353. const SQInteger newtop = stackbase + func->_stacksize;
  354. SQInteger nargs = args;
  355. if(func->_varparams)
  356. {
  357. paramssize--;
  358. if (nargs < paramssize) {
  359. Raise_Error(_SC("wrong number of parameters"));
  360. return false;
  361. }
  362. //dumpstack(stackbase);
  363. SQInteger nvargs = nargs - paramssize;
  364. SQArray *arr = SQArray::Create(_ss(this),nvargs);
  365. SQInteger pbase = stackbase+paramssize;
  366. for(SQInteger n = 0; n < nvargs; n++) {
  367. arr->_values[n] = _stack._vals[pbase];
  368. _stack._vals[pbase].Null();
  369. pbase++;
  370. }
  371. _stack._vals[stackbase+paramssize] = arr;
  372. //dumpstack(stackbase);
  373. }
  374. else if (paramssize != nargs) {
  375. SQInteger ndef = func->_ndefaultparams;
  376. SQInteger diff;
  377. if(ndef && nargs < paramssize && (diff = paramssize - nargs) <= ndef) {
  378. for(SQInteger n = ndef - diff; n < ndef; n++) {
  379. _stack._vals[stackbase + (nargs++)] = closure->_defaultparams[n];
  380. }
  381. }
  382. else {
  383. Raise_Error(_SC("wrong number of parameters"));
  384. return false;
  385. }
  386. }
  387. if(closure->_env) {
  388. _stack._vals[stackbase] = closure->_env->_obj;
  389. }
  390. if(!EnterFrame(stackbase, newtop, tailcall)) return false;
  391. ci->_closure = closure;
  392. ci->_literals = func->_literals;
  393. ci->_ip = func->_instructions;
  394. ci->_target = (SQInt32)target;
  395. if (_debughook) {
  396. CallDebugHook(_SC('c'));
  397. }
  398. if (closure->_function->_bgenerator) {
  399. SQFunctionProto *f = closure->_function;
  400. SQGenerator *gen = SQGenerator::Create(_ss(this), closure);
  401. if(!gen->Yield(this,f->_stacksize))
  402. return false;
  403. SQObjectPtr temp;
  404. Return(1, target, temp);
  405. STK(target) = gen;
  406. }
  407. return true;
  408. }
  409. bool SQVM::Return(SQInteger _arg0, SQInteger _arg1, SQObjectPtr &retval)
  410. {
  411. SQBool _isroot = ci->_root;
  412. SQInteger callerbase = _stackbase - ci->_prevstkbase;
  413. if (_debughook) {
  414. for(SQInteger i=0; i<ci->_ncalls; i++) {
  415. CallDebugHook(_SC('r'));
  416. }
  417. }
  418. SQObjectPtr *dest;
  419. if (_isroot) {
  420. dest = &(retval);
  421. } else if (ci->_target == -1) {
  422. dest = NULL;
  423. } else {
  424. dest = &_stack._vals[callerbase + ci->_target];
  425. }
  426. if (dest) {
  427. if(_arg0 != 0xFF) {
  428. *dest = _stack._vals[_stackbase+_arg1];
  429. }
  430. else {
  431. dest->Null();
  432. }
  433. //*dest = (_arg0 != 0xFF) ? _stack._vals[_stackbase+_arg1] : _null_;
  434. }
  435. LeaveFrame();
  436. return _isroot ? true : false;
  437. }
  438. #define _RET_ON_FAIL(exp) { if(!exp) return false; }
  439. bool SQVM::PLOCAL_INC(SQInteger op,SQObjectPtr &target, SQObjectPtr &a, SQObjectPtr &incr)
  440. {
  441. SQObjectPtr trg;
  442. _RET_ON_FAIL(ARITH_OP( op , trg, a, incr));
  443. target = a;
  444. a = trg;
  445. return true;
  446. }
  447. bool SQVM::DerefInc(SQInteger op,SQObjectPtr &target, SQObjectPtr &self, SQObjectPtr &key, SQObjectPtr &incr, bool postfix,SQInteger selfidx)
  448. {
  449. SQObjectPtr tmp, tself = self, tkey = key;
  450. if (!Get(tself, tkey, tmp, 0, selfidx)) { return false; }
  451. _RET_ON_FAIL(ARITH_OP( op , target, tmp, incr))
  452. if (!Set(tself, tkey, target,selfidx)) { return false; }
  453. if (postfix) target = tmp;
  454. return true;
  455. }
  456. #define arg0 (_i_._arg0)
  457. #define sarg0 ((SQInteger)*((const signed char *)&_i_._arg0))
  458. #define arg1 (_i_._arg1)
  459. #define sarg1 (*((const SQInt32 *)&_i_._arg1))
  460. #define arg2 (_i_._arg2)
  461. #define arg3 (_i_._arg3)
  462. #define sarg3 ((SQInteger)*((const signed char *)&_i_._arg3))
  463. SQRESULT SQVM::Suspend()
  464. {
  465. if (_suspended)
  466. return sq_throwerror(this, _SC("cannot suspend an already suspended vm"));
  467. if (_nnativecalls!=2)
  468. return sq_throwerror(this, _SC("cannot suspend through native calls/metamethods"));
  469. return SQ_SUSPEND_FLAG;
  470. }
  471. #define _FINISH(howmuchtojump) {jump = howmuchtojump; return true; }
  472. bool SQVM::FOREACH_OP(SQObjectPtr &o1,SQObjectPtr &o2,SQObjectPtr
  473. &o3,SQObjectPtr &o4,SQInteger SQ_UNUSED_ARG(arg_2),int exitpos,int &jump)
  474. {
  475. SQInteger nrefidx;
  476. switch(type(o1)) {
  477. case OT_TABLE:
  478. if((nrefidx = _table(o1)->Next(false,o4, o2, o3)) == -1) _FINISH(exitpos);
  479. o4 = (SQInteger)nrefidx; _FINISH(1);
  480. case OT_ARRAY:
  481. if((nrefidx = _array(o1)->Next(o4, o2, o3)) == -1) _FINISH(exitpos);
  482. o4 = (SQInteger) nrefidx; _FINISH(1);
  483. case OT_STRING:
  484. if((nrefidx = _string(o1)->Next(o4, o2, o3)) == -1)_FINISH(exitpos);
  485. o4 = (SQInteger)nrefidx; _FINISH(1);
  486. case OT_CLASS:
  487. if((nrefidx = _class(o1)->Next(o4, o2, o3)) == -1)_FINISH(exitpos);
  488. o4 = (SQInteger)nrefidx; _FINISH(1);
  489. case OT_USERDATA:
  490. case OT_INSTANCE:
  491. if(_delegable(o1)->_delegate) {
  492. SQObjectPtr itr;
  493. SQObjectPtr closure;
  494. if(_delegable(o1)->GetMetaMethod(this, MT_NEXTI, closure)) {
  495. Push(o1);
  496. Push(o4);
  497. if(CallMetaMethod(closure, MT_NEXTI, 2, itr)) {
  498. o4 = o2 = itr;
  499. if(type(itr) == OT_NULL) _FINISH(exitpos);
  500. if(!Get(o1, itr, o3, 0, DONT_FALL_BACK)) {
  501. Raise_Error(_SC("_nexti returned an invalid idx")); // cloud be changed
  502. return false;
  503. }
  504. _FINISH(1);
  505. }
  506. else {
  507. return false;
  508. }
  509. }
  510. Raise_Error(_SC("_nexti failed"));
  511. return false;
  512. }
  513. break;
  514. case OT_GENERATOR:
  515. if(_generator(o1)->_state == SQGenerator::eDead) _FINISH(exitpos);
  516. if(_generator(o1)->_state == SQGenerator::eSuspended) {
  517. SQInteger idx = 0;
  518. if(type(o4) == OT_INTEGER) {
  519. idx = _integer(o4) + 1;
  520. }
  521. o2 = idx;
  522. o4 = idx;
  523. _generator(o1)->Resume(this, o3);
  524. _FINISH(0);
  525. }
  526. default:
  527. Raise_Error(_SC("cannot iterate %s"), GetTypeName(o1));
  528. }
  529. return false; //cannot be hit(just to avoid warnings)
  530. }
  531. #define COND_LITERAL (arg3!=0?ci->_literals[arg1]:STK(arg1))
  532. #define SQ_THROW() { goto exception_trap; }
  533. #define _GUARD(exp) { if(!exp) { SQ_THROW();} }
  534. bool SQVM::CLOSURE_OP(SQObjectPtr &target, SQFunctionProto *func)
  535. {
  536. SQInteger nouters;
  537. SQClosure *closure = SQClosure::Create(_ss(this), func,_table(_roottable)->GetWeakRef(OT_TABLE));
  538. if((nouters = func->_noutervalues)) {
  539. for(SQInteger i = 0; i<nouters; i++) {
  540. SQOuterVar &v = func->_outervalues[i];
  541. switch(v._type){
  542. case otLOCAL:
  543. FindOuter(closure->_outervalues[i], &STK(_integer(v._src)));
  544. break;
  545. case otOUTER:
  546. closure->_outervalues[i] = _closure(ci->_closure)->_outervalues[_integer(v._src)];
  547. break;
  548. }
  549. }
  550. }
  551. SQInteger ndefparams;
  552. if((ndefparams = func->_ndefaultparams)) {
  553. for(SQInteger i = 0; i < ndefparams; i++) {
  554. SQInteger spos = func->_defaultparams[i];
  555. closure->_defaultparams[i] = _stack._vals[_stackbase + spos];
  556. }
  557. }
  558. target = closure;
  559. return true;
  560. }
  561. bool SQVM::CLASS_OP(SQObjectPtr &target,SQInteger baseclass,SQInteger attributes)
  562. {
  563. SQClass *base = NULL;
  564. SQObjectPtr attrs;
  565. if(baseclass != -1) {
  566. if(type(_stack._vals[_stackbase+baseclass]) != OT_CLASS) { Raise_Error(_SC("trying to inherit from a %s"),GetTypeName(_stack._vals[_stackbase+baseclass])); return false; }
  567. base = _class(_stack._vals[_stackbase + baseclass]);
  568. }
  569. if(attributes != MAX_FUNC_STACKSIZE) {
  570. attrs = _stack._vals[_stackbase+attributes];
  571. }
  572. target = SQClass::Create(_ss(this),base);
  573. if(type(_class(target)->_metamethods[MT_INHERITED]) != OT_NULL) {
  574. int nparams = 2;
  575. SQObjectPtr ret;
  576. Push(target); Push(attrs);
  577. if(!Call(_class(target)->_metamethods[MT_INHERITED],nparams,_top - nparams, ret, false)) {
  578. Pop(nparams);
  579. return false;
  580. }
  581. Pop(nparams);
  582. }
  583. _class(target)->_attributes = attrs;
  584. return true;
  585. }
  586. bool SQVM::IsEqual(const SQObjectPtr &o1,const SQObjectPtr &o2,bool &res)
  587. {
  588. if(type(o1) == type(o2)) {
  589. res = (_rawval(o1) == _rawval(o2));
  590. }
  591. else {
  592. if(sq_isnumeric(o1) && sq_isnumeric(o2)) {
  593. res = (tofloat(o1) == tofloat(o2));
  594. }
  595. else {
  596. res = false;
  597. }
  598. }
  599. return true;
  600. }
  601. bool SQVM::IsFalse(SQObjectPtr &o)
  602. {
  603. if(((type(o) & SQOBJECT_CANBEFALSE)
  604. && ( ((type(o) == OT_FLOAT) && (_float(o) == SQFloat(0.0))) ))
  605. #if !defined(SQUSEDOUBLE) || (defined(SQUSEDOUBLE) && defined(_SQ64))
  606. || (_integer(o) == 0) ) //OT_NULL|OT_INTEGER|OT_BOOL
  607. #else
  608. || (((type(o) != OT_FLOAT) && (_integer(o) == 0))) ) //OT_NULL|OT_INTEGER|OT_BOOL
  609. #endif
  610. {
  611. return true;
  612. }
  613. return false;
  614. }
  615. extern SQInstructionDesc g_InstrDesc[];
  616. bool SQVM::Execute(SQObjectPtr &closure, SQInteger nargs, SQInteger stackbase,SQObjectPtr &outres, SQBool raiseerror,ExecutionType et)
  617. {
  618. if ((_nnativecalls + 1) > MAX_NATIVE_CALLS) { Raise_Error(_SC("Native stack overflow")); return false; }
  619. _nnativecalls++;
  620. AutoDec ad(&_nnativecalls);
  621. SQInteger traps = 0;
  622. CallInfo *prevci = ci;
  623. switch(et) {
  624. case ET_CALL: {
  625. temp_reg = closure;
  626. if(!StartCall(_closure(temp_reg), _top - nargs, nargs, stackbase, false)) {
  627. //call the handler if there are no calls in the stack, if not relies on the previous node
  628. if(ci == NULL) CallErrorHandler(_lasterror);
  629. return false;
  630. }
  631. if(ci == prevci) {
  632. outres = STK(_top-nargs);
  633. return true;
  634. }
  635. ci->_root = SQTrue;
  636. }
  637. break;
  638. case ET_RESUME_GENERATOR: _generator(closure)->Resume(this, outres); ci->_root = SQTrue; traps += ci->_etraps; break;
  639. case ET_RESUME_VM:
  640. case ET_RESUME_THROW_VM:
  641. traps = _suspended_traps;
  642. ci->_root = _suspended_root;
  643. _suspended = SQFalse;
  644. if(et == ET_RESUME_THROW_VM) { SQ_THROW(); }
  645. break;
  646. }
  647. exception_restore:
  648. //
  649. {
  650. for(;;)
  651. {
  652. const SQInstruction &_i_ = *ci->_ip++;
  653. //dumpstack(_stackbase);
  654. //scprintf("\n[%d] %s %d %d %d %d\n",ci->_ip-_closure(ci->_closure)->_function->_instructions,g_InstrDesc[_i_.op].name,arg0,arg1,arg2,arg3);
  655. switch(_i_.op)
  656. {
  657. case _OP_LINE: if (_debughook) CallDebugHook(_SC('l'),arg1); continue;
  658. case _OP_LOAD: TARGET = ci->_literals[arg1]; continue;
  659. case _OP_LOADINT:
  660. #ifndef _SQ64
  661. TARGET = (SQInteger)arg1; continue;
  662. #else
  663. TARGET = (SQInteger)((SQInt32)arg1); continue;
  664. #endif
  665. case _OP_LOADFLOAT: TARGET = *((const SQFloat *)&arg1); continue;
  666. case _OP_DLOAD: TARGET = ci->_literals[arg1]; STK(arg2) = ci->_literals[arg3];continue;
  667. case _OP_TAILCALL:{
  668. SQObjectPtr &t = STK(arg1);
  669. if (type(t) == OT_CLOSURE
  670. && (!_closure(t)->_function->_bgenerator)){
  671. SQObjectPtr clo = t;
  672. if(_openouters) CloseOuters(&(_stack._vals[_stackbase]));
  673. for (SQInteger i = 0; i < arg3; i++) STK(i) = STK(arg2 + i);
  674. _GUARD(StartCall(_closure(clo), ci->_target, arg3, _stackbase, true));
  675. continue;
  676. }
  677. }
  678. case _OP_CALL: {
  679. SQObjectPtr clo = STK(arg1);
  680. switch (type(clo)) {
  681. case OT_CLOSURE:
  682. _GUARD(StartCall(_closure(clo), sarg0, arg3, _stackbase+arg2, false));
  683. continue;
  684. case OT_NATIVECLOSURE: {
  685. bool suspend;
  686. _GUARD(CallNative(_nativeclosure(clo), arg3, _stackbase+arg2, clo,suspend));
  687. if(suspend){
  688. _suspended = SQTrue;
  689. _suspended_target = sarg0;
  690. _suspended_root = ci->_root;
  691. _suspended_traps = traps;
  692. outres = clo;
  693. return true;
  694. }
  695. if(sarg0 != -1) {
  696. STK(arg0) = clo;
  697. }
  698. }
  699. continue;
  700. case OT_CLASS:{
  701. SQObjectPtr inst;
  702. _GUARD(CreateClassInstance(_class(clo),inst,clo));
  703. if(sarg0 != -1) {
  704. STK(arg0) = inst;
  705. }
  706. SQInteger stkbase;
  707. switch(type(clo)) {
  708. case OT_CLOSURE:
  709. stkbase = _stackbase+arg2;
  710. _stack._vals[stkbase] = inst;
  711. _GUARD(StartCall(_closure(clo), -1, arg3, stkbase, false));
  712. break;
  713. case OT_NATIVECLOSURE:
  714. bool suspend;
  715. stkbase = _stackbase+arg2;
  716. _stack._vals[stkbase] = inst;
  717. _GUARD(CallNative(_nativeclosure(clo), arg3, stkbase, clo,suspend));
  718. break;
  719. default: break; //shutup GCC 4.x
  720. }
  721. }
  722. break;
  723. case OT_TABLE:
  724. case OT_USERDATA:
  725. case OT_INSTANCE:{
  726. SQObjectPtr closure;
  727. if(_delegable(clo)->_delegate && _delegable(clo)->GetMetaMethod(this,MT_CALL,closure)) {
  728. Push(clo);
  729. for (SQInteger i = 0; i < arg3; i++) Push(STK(arg2 + i));
  730. if(!CallMetaMethod(closure, MT_CALL, arg3+1, clo)) SQ_THROW();
  731. if(sarg0 != -1) {
  732. STK(arg0) = clo;
  733. }
  734. break;
  735. }
  736. //Raise_Error(_SC("attempt to call '%s'"), GetTypeName(clo));
  737. //SQ_THROW();
  738. }
  739. default:
  740. Raise_Error(_SC("attempt to call '%s'"), GetTypeName(clo));
  741. SQ_THROW();
  742. }
  743. }
  744. continue;
  745. case _OP_PREPCALL:
  746. case _OP_PREPCALLK: {
  747. SQObjectPtr &key = _i_.op == _OP_PREPCALLK?(ci->_literals)[arg1]:STK(arg1);
  748. SQObjectPtr &o = STK(arg2);
  749. if (!Get(o, key, temp_reg,0,arg2)) {
  750. SQ_THROW();
  751. }
  752. STK(arg3) = o;
  753. _Swap(TARGET,temp_reg);//TARGET = temp_reg;
  754. }
  755. continue;
  756. case _OP_GETK:
  757. if (!Get(STK(arg2), ci->_literals[arg1], temp_reg, 0,arg2)) { SQ_THROW();}
  758. _Swap(TARGET,temp_reg);//TARGET = temp_reg;
  759. continue;
  760. case _OP_MOVE: TARGET = STK(arg1); continue;
  761. case _OP_NEWSLOT:
  762. _GUARD(NewSlot(STK(arg1), STK(arg2), STK(arg3),false));
  763. if(arg0 != 0xFF) TARGET = STK(arg3);
  764. continue;
  765. case _OP_DELETE: _GUARD(DeleteSlot(STK(arg1), STK(arg2), TARGET)); continue;
  766. case _OP_SET:
  767. if (!Set(STK(arg1), STK(arg2), STK(arg3),arg1)) { SQ_THROW(); }
  768. if (arg0 != 0xFF) TARGET = STK(arg3);
  769. continue;
  770. case _OP_GET:
  771. if (!Get(STK(arg1), STK(arg2), temp_reg, 0,arg1)) { SQ_THROW(); }
  772. _Swap(TARGET,temp_reg);//TARGET = temp_reg;
  773. continue;
  774. case _OP_EQ:{
  775. bool res;
  776. if(!IsEqual(STK(arg2),COND_LITERAL,res)) { SQ_THROW(); }
  777. TARGET = res?true:false;
  778. }continue;
  779. case _OP_NE:{
  780. bool res;
  781. if(!IsEqual(STK(arg2),COND_LITERAL,res)) { SQ_THROW(); }
  782. TARGET = (!res)?true:false;
  783. } continue;
  784. case _OP_ADD: _ARITH_(+,TARGET,STK(arg2),STK(arg1)); continue;
  785. case _OP_SUB: _ARITH_(-,TARGET,STK(arg2),STK(arg1)); continue;
  786. case _OP_MUL: _ARITH_(*,TARGET,STK(arg2),STK(arg1)); continue;
  787. case _OP_DIV: _ARITH_NOZERO(/,TARGET,STK(arg2),STK(arg1),_SC("division by zero")); continue;
  788. case _OP_MOD: ARITH_OP('%',TARGET,STK(arg2),STK(arg1)); continue;
  789. case _OP_BITW: _GUARD(BW_OP( arg3,TARGET,STK(arg2),STK(arg1))); continue;
  790. case _OP_RETURN:
  791. if((ci)->_generator) {
  792. (ci)->_generator->Kill();
  793. }
  794. if(Return(arg0, arg1, temp_reg)){
  795. assert(traps==0);
  796. //outres = temp_reg;
  797. _Swap(outres,temp_reg);
  798. return true;
  799. }
  800. continue;
  801. case _OP_LOADNULLS:{ for(SQInt32 n=0; n < arg1; n++) STK(arg0+n).Null(); }continue;
  802. case _OP_LOADROOT: {
  803. SQWeakRef *w = _closure(ci->_closure)->_root;
  804. if(type(w->_obj) != OT_NULL) {
  805. TARGET = w->_obj;
  806. } else {
  807. TARGET = _roottable; //shoud this be like this? or null
  808. }
  809. }
  810. continue;
  811. case _OP_LOADBOOL: TARGET = arg1?true:false; continue;
  812. case _OP_DMOVE: STK(arg0) = STK(arg1); STK(arg2) = STK(arg3); continue;
  813. case _OP_JMP: ci->_ip += (sarg1); continue;
  814. //case _OP_JNZ: if(!IsFalse(STK(arg0))) ci->_ip+=(sarg1); continue;
  815. case _OP_JCMP:
  816. _GUARD(CMP_OP((CmpOP)arg3,STK(arg2),STK(arg0),temp_reg));
  817. if(IsFalse(temp_reg)) ci->_ip+=(sarg1);
  818. continue;
  819. case _OP_JZ: if(IsFalse(STK(arg0))) ci->_ip+=(sarg1); continue;
  820. case _OP_GETOUTER: {
  821. SQClosure *cur_cls = _closure(ci->_closure);
  822. SQOuter *otr = _outer(cur_cls->_outervalues[arg1]);
  823. TARGET = *(otr->_valptr);
  824. }
  825. continue;
  826. case _OP_SETOUTER: {
  827. SQClosure *cur_cls = _closure(ci->_closure);
  828. SQOuter *otr = _outer(cur_cls->_outervalues[arg1]);
  829. *(otr->_valptr) = STK(arg2);
  830. if(arg0 != 0xFF) {
  831. TARGET = STK(arg2);
  832. }
  833. }
  834. continue;
  835. case _OP_NEWOBJ:
  836. switch(arg3) {
  837. case NOT_TABLE: TARGET = SQTable::Create(_ss(this), arg1); continue;
  838. case NOT_ARRAY: TARGET = SQArray::Create(_ss(this), 0); _array(TARGET)->Reserve(arg1); continue;
  839. case NOT_CLASS: _GUARD(CLASS_OP(TARGET,arg1,arg2)); continue;
  840. default: assert(0); continue;
  841. }
  842. case _OP_APPENDARRAY:
  843. {
  844. SQObject val;
  845. val._unVal.raw = 0;
  846. switch(arg2) {
  847. case AAT_STACK:
  848. val = STK(arg1); break;
  849. case AAT_LITERAL:
  850. val = ci->_literals[arg1]; break;
  851. case AAT_INT:
  852. val._type = OT_INTEGER;
  853. #ifndef _SQ64
  854. val._unVal.nInteger = (SQInteger)arg1;
  855. #else
  856. val._unVal.nInteger = (SQInteger)((SQInt32)arg1);
  857. #endif
  858. break;
  859. case AAT_FLOAT:
  860. val._type = OT_FLOAT;
  861. val._unVal.fFloat = *((const SQFloat *)&arg1);
  862. break;
  863. case AAT_BOOL:
  864. val._type = OT_BOOL;
  865. val._unVal.nInteger = arg1;
  866. break;
  867. default: val._type = OT_INTEGER; assert(0); break;
  868. }
  869. _array(STK(arg0))->Append(val); continue;
  870. }
  871. case _OP_COMPARITH: {
  872. SQInteger selfidx = (((SQUnsignedInteger)arg1&0xFFFF0000)>>16);
  873. _GUARD(DerefInc(arg3, TARGET, STK(selfidx), STK(arg2), STK(arg1&0x0000FFFF), false, selfidx));
  874. }
  875. continue;
  876. case _OP_INC: {SQObjectPtr o(sarg3); _GUARD(DerefInc('+',TARGET, STK(arg1), STK(arg2), o, false, arg1));} continue;
  877. case _OP_INCL: {
  878. SQObjectPtr &a = STK(arg1);
  879. if(type(a) == OT_INTEGER) {
  880. a._unVal.nInteger = _integer(a) + sarg3;
  881. }
  882. else {
  883. SQObjectPtr o(sarg3); //_GUARD(LOCAL_INC('+',TARGET, STK(arg1), o));
  884. _ARITH_(+,a,a,o);
  885. }
  886. } continue;
  887. case _OP_PINC: {SQObjectPtr o(sarg3); _GUARD(DerefInc('+',TARGET, STK(arg1), STK(arg2), o, true, arg1));} continue;
  888. case _OP_PINCL: {
  889. SQObjectPtr &a = STK(arg1);
  890. if(type(a) == OT_INTEGER) {
  891. TARGET = a;
  892. a._unVal.nInteger = _integer(a) + sarg3;
  893. }
  894. else {
  895. SQObjectPtr o(sarg3); _GUARD(PLOCAL_INC('+',TARGET, STK(arg1), o));
  896. }
  897. } continue;
  898. case _OP_CMP: _GUARD(CMP_OP((CmpOP)arg3,STK(arg2),STK(arg1),TARGET)) continue;
  899. case _OP_EXISTS: TARGET = Get(STK(arg1), STK(arg2), temp_reg, GET_FLAG_DO_NOT_RAISE_ERROR | GET_FLAG_RAW, DONT_FALL_BACK) ? true : false; continue;
  900. case _OP_INSTANCEOF:
  901. if(type(STK(arg1)) != OT_CLASS)
  902. {Raise_Error(_SC("cannot apply instanceof between a %s and a %s"),GetTypeName(STK(arg1)),GetTypeName(STK(arg2))); SQ_THROW();}
  903. TARGET = (type(STK(arg2)) == OT_INSTANCE) ? (_instance(STK(arg2))->InstanceOf(_class(STK(arg1)))?true:false) : false;
  904. continue;
  905. case _OP_AND:
  906. if(IsFalse(STK(arg2))) {
  907. TARGET = STK(arg2);
  908. ci->_ip += (sarg1);
  909. }
  910. continue;
  911. case _OP_OR:
  912. if(!IsFalse(STK(arg2))) {
  913. TARGET = STK(arg2);
  914. ci->_ip += (sarg1);
  915. }
  916. continue;
  917. case _OP_NEG: _GUARD(NEG_OP(TARGET,STK(arg1))); continue;
  918. case _OP_NOT: TARGET = IsFalse(STK(arg1)); continue;
  919. case _OP_BWNOT:
  920. if(type(STK(arg1)) == OT_INTEGER) {
  921. SQInteger t = _integer(STK(arg1));
  922. TARGET = SQInteger(~t);
  923. continue;
  924. }
  925. Raise_Error(_SC("attempt to perform a bitwise op on a %s"), GetTypeName(STK(arg1)));
  926. SQ_THROW();
  927. case _OP_CLOSURE: {
  928. SQClosure *c = ci->_closure._unVal.pClosure;
  929. SQFunctionProto *fp = c->_function;
  930. if(!CLOSURE_OP(TARGET,fp->_functions[arg1]._unVal.pFunctionProto)) { SQ_THROW(); }
  931. continue;
  932. }
  933. case _OP_YIELD:{
  934. if(ci->_generator) {
  935. if(sarg1 != MAX_FUNC_STACKSIZE) temp_reg = STK(arg1);
  936. _GUARD(ci->_generator->Yield(this,arg2));
  937. traps -= ci->_etraps;
  938. if(sarg1 != MAX_FUNC_STACKSIZE) _Swap(STK(arg1),temp_reg);//STK(arg1) = temp_reg;
  939. }
  940. else { Raise_Error(_SC("trying to yield a '%s',only genenerator can be yielded"), GetTypeName(ci->_generator)); SQ_THROW();}
  941. if(Return(arg0, arg1, temp_reg)){
  942. assert(traps == 0);
  943. outres = temp_reg;
  944. return true;
  945. }
  946. }
  947. continue;
  948. case _OP_RESUME:
  949. if(type(STK(arg1)) != OT_GENERATOR){ Raise_Error(_SC("trying to resume a '%s',only genenerator can be resumed"), GetTypeName(STK(arg1))); SQ_THROW();}
  950. _GUARD(_generator(STK(arg1))->Resume(this, TARGET));
  951. traps += ci->_etraps;
  952. continue;
  953. case _OP_FOREACH:{ int tojump;
  954. _GUARD(FOREACH_OP(STK(arg0),STK(arg2),STK(arg2+1),STK(arg2+2),arg2,sarg1,tojump));
  955. ci->_ip += tojump; }
  956. continue;
  957. case _OP_POSTFOREACH:
  958. assert(type(STK(arg0)) == OT_GENERATOR);
  959. if(_generator(STK(arg0))->_state == SQGenerator::eDead)
  960. ci->_ip += (sarg1 - 1);
  961. continue;
  962. case _OP_CLONE: _GUARD(Clone(STK(arg1), TARGET)); continue;
  963. case _OP_TYPEOF: _GUARD(TypeOf(STK(arg1), TARGET)) continue;
  964. case _OP_PUSHTRAP:{
  965. SQInstruction *_iv = _closure(ci->_closure)->_function->_instructions;
  966. _etraps.push_back(SQExceptionTrap(_top,_stackbase, &_iv[(ci->_ip-_iv)+arg1], arg0)); traps++;
  967. ci->_etraps++;
  968. }
  969. continue;
  970. case _OP_POPTRAP: {
  971. for(SQInteger i = 0; i < arg0; i++) {
  972. _etraps.pop_back(); traps--;
  973. ci->_etraps--;
  974. }
  975. }
  976. continue;
  977. case _OP_THROW: Raise_Error(TARGET); SQ_THROW(); continue;
  978. case _OP_NEWSLOTA:
  979. _GUARD(NewSlotA(STK(arg1),STK(arg2),STK(arg3),(arg0&NEW_SLOT_ATTRIBUTES_FLAG) ? STK(arg2-1) : SQObjectPtr(),(arg0&NEW_SLOT_STATIC_FLAG)?true:false,false));
  980. continue;
  981. case _OP_GETBASE:{
  982. SQClosure *clo = _closure(ci->_closure);
  983. if(clo->_base) {
  984. TARGET = clo->_base;
  985. }
  986. else {
  987. TARGET.Null();
  988. }
  989. continue;
  990. }
  991. case _OP_CLOSE:
  992. if(_openouters) CloseOuters(&(STK(arg1)));
  993. continue;
  994. }
  995. }
  996. }
  997. exception_trap:
  998. {
  999. SQObjectPtr currerror = _lasterror;
  1000. // dumpstack(_stackbase);
  1001. // SQInteger n = 0;
  1002. SQInteger last_top = _top;
  1003. if(_ss(this)->_notifyallexceptions || (!traps && raiseerror)) CallErrorHandler(currerror);
  1004. while( ci ) {
  1005. if(ci->_etraps > 0) {
  1006. SQExceptionTrap &et = _etraps.top();
  1007. ci->_ip = et._ip;
  1008. _top = et._stacksize;
  1009. _stackbase = et._stackbase;
  1010. _stack._vals[_stackbase + et._extarget] = currerror;
  1011. _etraps.pop_back(); traps--; ci->_etraps--;
  1012. while(last_top >= _top) _stack._vals[last_top--].Null();
  1013. goto exception_restore;
  1014. }
  1015. else if (_debughook) {
  1016. //notify debugger of a "return"
  1017. //even if it really an exception unwinding the stack
  1018. for(SQInteger i = 0; i < ci->_ncalls; i++) {
  1019. CallDebugHook(_SC('r'));
  1020. }
  1021. }
  1022. if(ci->_generator) ci->_generator->Kill();
  1023. bool mustbreak = ci && ci->_root;
  1024. LeaveFrame();
  1025. if(mustbreak) break;
  1026. }
  1027. _lasterror = currerror;
  1028. return false;
  1029. }
  1030. assert(0);
  1031. }
  1032. bool SQVM::CreateClassInstance(SQClass *theclass, SQObjectPtr &inst, SQObjectPtr &constructor)
  1033. {
  1034. inst = theclass->CreateInstance();
  1035. if(!theclass->GetConstructor(constructor)) {
  1036. constructor.Null();
  1037. }
  1038. return true;
  1039. }
  1040. void SQVM::CallErrorHandler(SQObjectPtr &error)
  1041. {
  1042. if(type(_errorhandler) != OT_NULL) {
  1043. SQObjectPtr out;
  1044. Push(_roottable); Push(error);
  1045. Call(_errorhandler, 2, _top-2, out,SQFalse);
  1046. Pop(2);
  1047. }
  1048. }
  1049. void SQVM::CallDebugHook(SQInteger type,SQInteger forcedline)
  1050. {
  1051. _debughook = false;
  1052. SQFunctionProto *func=_closure(ci->_closure)->_function;
  1053. if(_debughook_native) {
  1054. const SQChar *src = type(func->_sourcename) == OT_STRING?_stringval(func->_sourcename):NULL;
  1055. const SQChar *fname = type(func->_name) == OT_STRING?_stringval(func->_name):NULL;
  1056. SQInteger line = forcedline?forcedline:func->GetLine(ci->_ip);
  1057. _debughook_native(this,type,src,line,fname);
  1058. }
  1059. else {
  1060. SQObjectPtr temp_reg;
  1061. SQInteger nparams=5;
  1062. Push(_roottable); Push(type); Push(func->_sourcename); Push(forcedline?forcedline:func->GetLine(ci->_ip)); Push(func->_name);
  1063. Call(_debughook_closure,nparams,_top-nparams,temp_reg,SQFalse);
  1064. Pop(nparams);
  1065. }
  1066. _debughook = true;
  1067. }
  1068. bool SQVM::CallNative(SQNativeClosure *nclosure, SQInteger nargs, SQInteger newbase, SQObjectPtr &retval, bool &suspend)
  1069. {
  1070. SQInteger nparamscheck = nclosure->_nparamscheck;
  1071. SQInteger newtop = newbase + nargs + nclosure->_noutervalues;
  1072. if (_nnativecalls + 1 > MAX_NATIVE_CALLS) {
  1073. Raise_Error(_SC("Native stack overflow"));
  1074. return false;
  1075. }
  1076. if(nparamscheck && (((nparamscheck > 0) && (nparamscheck != nargs)) ||
  1077. ((nparamscheck < 0) && (nargs < (-nparamscheck)))))
  1078. {
  1079. Raise_Error(_SC("wrong number of parameters"));
  1080. return false;
  1081. }
  1082. SQInteger tcs;
  1083. SQIntVec &tc = nclosure->_typecheck;
  1084. if((tcs = tc.size())) {
  1085. for(SQInteger i = 0; i < nargs && i < tcs; i++) {
  1086. if((tc._vals[i] != -1) && !(type(_stack._vals[newbase+i]) & tc._vals[i])) {
  1087. Raise_ParamTypeError(i,tc._vals[i],type(_stack._vals[newbase+i]));
  1088. return false;
  1089. }
  1090. }
  1091. }
  1092. if(!EnterFrame(newbase, newtop, false)) return false;
  1093. ci->_closure = nclosure;
  1094. SQInteger outers = nclosure->_noutervalues;
  1095. for (SQInteger i = 0; i < outers; i++) {
  1096. _stack._vals[newbase+nargs+i] = nclosure->_outervalues[i];
  1097. }
  1098. if(nclosure->_env) {
  1099. _stack._vals[newbase] = nclosure->_env->_obj;
  1100. }
  1101. _nnativecalls++;
  1102. SQInteger ret = (nclosure->_function)(this);
  1103. _nnativecalls--;
  1104. suspend = false;
  1105. if (ret == SQ_SUSPEND_FLAG) {
  1106. suspend = true;
  1107. }
  1108. else if (ret < 0) {
  1109. LeaveFrame();
  1110. Raise_Error(_lasterror);
  1111. return false;
  1112. }
  1113. if(ret) {
  1114. retval = _stack._vals[_top-1];
  1115. }
  1116. else {
  1117. retval.Null();
  1118. }
  1119. //retval = ret ? _stack._vals[_top-1] : _null_;
  1120. LeaveFrame();
  1121. return true;
  1122. }
  1123. #define FALLBACK_OK 0
  1124. #define FALLBACK_NO_MATCH 1
  1125. #define FALLBACK_ERROR 2
  1126. bool SQVM::Get(const SQObjectPtr &self, const SQObjectPtr &key, SQObjectPtr &dest, SQUnsignedInteger getflags, SQInteger selfidx)
  1127. {
  1128. switch(type(self)){
  1129. case OT_TABLE:
  1130. if(_table(self)->Get(key,dest))return true;
  1131. break;
  1132. case OT_ARRAY:
  1133. if (sq_isnumeric(key)) { if (_array(self)->Get(tointeger(key), dest)) { return true; } if ((getflags & GET_FLAG_DO_NOT_RAISE_ERROR) == 0) Raise_IdxError(key); return false; }
  1134. break;
  1135. case OT_INSTANCE:
  1136. if(_instance(self)->Get(key,dest)) return true;
  1137. break;
  1138. case OT_CLASS:
  1139. if(_class(self)->Get(key,dest)) return true;
  1140. break;
  1141. case OT_STRING:
  1142. if(sq_isnumeric(key)){
  1143. SQInteger n = tointeger(key);
  1144. SQInteger len = _string(self)->_len;
  1145. if (n < 0) { n += len; }
  1146. if (n >= 0 && n < len) {
  1147. dest = SQInteger(_stringval(self)[n]);
  1148. return true;
  1149. }
  1150. if ((getflags & GET_FLAG_DO_NOT_RAISE_ERROR) == 0) Raise_IdxError(key);
  1151. return false;
  1152. }
  1153. break;
  1154. default:break; //shut up compiler
  1155. }
  1156. if ((getflags & GET_FLAG_RAW) == 0) {
  1157. switch(FallBackGet(self,key,dest)) {
  1158. case FALLBACK_OK: return true; //okie
  1159. case FALLBACK_NO_MATCH: break; //keep falling back
  1160. case FALLBACK_ERROR: return false; // the metamethod failed
  1161. }
  1162. if(InvokeDefaultDelegate(self,key,dest)) {
  1163. return true;
  1164. }
  1165. }
  1166. //#ifdef ROOT_FALLBACK
  1167. if(selfidx == 0) {
  1168. SQWeakRef *w = _closure(ci->_closure)->_root;
  1169. if(type(w->_obj) != OT_NULL)
  1170. {
  1171. if(Get(*((const SQObjectPtr *)&w->_obj),key,dest,0,DONT_FALL_BACK)) return true;
  1172. }
  1173. }
  1174. //#endif
  1175. if ((getflags & GET_FLAG_DO_NOT_RAISE_ERROR) == 0) Raise_IdxError(key);
  1176. return false;
  1177. }
  1178. bool SQVM::InvokeDefaultDelegate(const SQObjectPtr &self,const SQObjectPtr &key,SQObjectPtr &dest)
  1179. {
  1180. SQTable *ddel = NULL;
  1181. switch(type(self)) {
  1182. case OT_CLASS: ddel = _class_ddel; break;
  1183. case OT_TABLE: ddel = _table_ddel; break;
  1184. case OT_ARRAY: ddel = _array_ddel; break;
  1185. case OT_STRING: ddel = _string_ddel; break;
  1186. case OT_INSTANCE: ddel = _instance_ddel; break;
  1187. case OT_INTEGER:case OT_FLOAT:case OT_BOOL: ddel = _number_ddel; break;
  1188. case OT_GENERATOR: ddel = _generator_ddel; break;
  1189. case OT_CLOSURE: case OT_NATIVECLOSURE: ddel = _closure_ddel; break;
  1190. case OT_THREAD: ddel = _thread_ddel; break;
  1191. case OT_WEAKREF: ddel = _weakref_ddel; break;
  1192. default: return false;
  1193. }
  1194. return ddel->Get(key,dest);
  1195. }
  1196. SQInteger SQVM::FallBackGet(const SQObjectPtr &self,const SQObjectPtr &key,SQObjectPtr &dest)
  1197. {
  1198. switch(type(self)){
  1199. case OT_TABLE:
  1200. case OT_USERDATA:
  1201. //delegation
  1202. if(_delegable(self)->_delegate) {
  1203. if(Get(SQObjectPtr(_delegable(self)->_delegate),key,dest,0,DONT_FALL_BACK)) return FALLBACK_OK;
  1204. }
  1205. else {
  1206. return FALLBACK_NO_MATCH;
  1207. }
  1208. //go through
  1209. case OT_INSTANCE: {
  1210. SQObjectPtr closure;
  1211. if(_delegable(self)->GetMetaMethod(this, MT_GET, closure)) {
  1212. Push(self);Push(key);
  1213. _nmetamethodscall++;
  1214. AutoDec ad(&_nmetamethodscall);
  1215. if(Call(closure, 2, _top - 2, dest, SQFalse)) {
  1216. Pop(2);
  1217. return FALLBACK_OK;
  1218. }
  1219. else {
  1220. Pop(2);
  1221. if(type(_lasterror) != OT_NULL) { //NULL means "clean failure" (not found)
  1222. return FALLBACK_ERROR;
  1223. }
  1224. }
  1225. }
  1226. }
  1227. break;
  1228. default: break;//shutup GCC 4.x
  1229. }
  1230. // no metamethod or no fallback type
  1231. return FALLBACK_NO_MATCH;
  1232. }
  1233. bool SQVM::Set(const SQObjectPtr &self,const SQObjectPtr &key,const SQObjectPtr &val,SQInteger selfidx)
  1234. {
  1235. switch(type(self)){
  1236. case OT_TABLE:
  1237. if(_table(self)->Set(key,val)) return true;
  1238. break;
  1239. case OT_INSTANCE:
  1240. if(_instance(self)->Set(key,val)) return true;
  1241. break;
  1242. case OT_ARRAY:
  1243. if(!sq_isnumeric(key)) { Raise_Error(_SC("indexing %s with %s"),GetTypeName(self),GetTypeName(key)); return false; }
  1244. if(!_array(self)->Set(tointeger(key),val)) {
  1245. Raise_IdxError(key);
  1246. return false;
  1247. }
  1248. return true;
  1249. default:
  1250. Raise_Error(_SC("trying to set '%s'"),GetTypeName(self));
  1251. return false;
  1252. }
  1253. switch(FallBackSet(self,key,val)) {
  1254. case FALLBACK_OK: return true; //okie
  1255. case FALLBACK_NO_MATCH: break; //keep falling back
  1256. case FALLBACK_ERROR: return false; // the metamethod failed
  1257. }
  1258. if(selfidx == 0) {
  1259. if(_table(_roottable)->Set(key,val))
  1260. return true;
  1261. }
  1262. Raise_IdxError(key);
  1263. return false;
  1264. }
  1265. SQInteger SQVM::FallBackSet(const SQObjectPtr &self,const SQObjectPtr &key,const SQObjectPtr &val)
  1266. {
  1267. switch(type(self)) {
  1268. case OT_TABLE:
  1269. if(_table(self)->_delegate) {
  1270. if(Set(_table(self)->_delegate,key,val,DONT_FALL_BACK)) return FALLBACK_OK;
  1271. }
  1272. //keps on going
  1273. case OT_INSTANCE:
  1274. case OT_USERDATA:{
  1275. SQObjectPtr closure;
  1276. SQObjectPtr t;
  1277. if(_delegable(self)->GetMetaMethod(this, MT_SET, closure)) {
  1278. Push(self);Push(key);Push(val);
  1279. _nmetamethodscall++;
  1280. AutoDec ad(&_nmetamethodscall);
  1281. if(Call(closure, 3, _top - 3, t, SQFalse)) {
  1282. Pop(3);
  1283. return FALLBACK_OK;
  1284. }
  1285. else {
  1286. if(type(_lasterror) != OT_NULL) { //NULL means "clean failure" (not found)
  1287. //error
  1288. Pop(3);
  1289. return FALLBACK_ERROR;
  1290. }
  1291. }
  1292. }
  1293. }
  1294. break;
  1295. default: break;//shutup GCC 4.x
  1296. }
  1297. // no metamethod or no fallback type
  1298. return FALLBACK_NO_MATCH;
  1299. }
  1300. bool SQVM::Clone(const SQObjectPtr &self,SQObjectPtr &target)
  1301. {
  1302. SQObjectPtr temp_reg;
  1303. SQObjectPtr newobj;
  1304. switch(type(self)){
  1305. case OT_TABLE:
  1306. newobj = _table(self)->Clone();
  1307. goto cloned_mt;
  1308. case OT_INSTANCE: {
  1309. newobj = _instance(self)->Clone(_ss(this));
  1310. cloned_mt:
  1311. SQObjectPtr closure;
  1312. if(_delegable(newobj)->_delegate && _delegable(newobj)->GetMetaMethod(this,MT_CLONED,closure)) {
  1313. Push(newobj);
  1314. Push(self);
  1315. if(!CallMetaMethod(closure,MT_CLONED,2,temp_reg))
  1316. return false;
  1317. }
  1318. }
  1319. target = newobj;
  1320. return true;
  1321. case OT_ARRAY:
  1322. target = _array(self)->Clone();
  1323. return true;
  1324. default:
  1325. Raise_Error(_SC("cloning a %s"), GetTypeName(self));
  1326. return false;
  1327. }
  1328. }
  1329. bool SQVM::NewSlotA(const SQObjectPtr &self,const SQObjectPtr &key,const SQObjectPtr &val,const SQObjectPtr &attrs,bool bstatic,bool raw)
  1330. {
  1331. if(type(self) != OT_CLASS) {
  1332. Raise_Error(_SC("object must be a class"));
  1333. return false;
  1334. }
  1335. SQClass *c = _class(self);
  1336. if(!raw) {
  1337. SQObjectPtr &mm = c->_metamethods[MT_NEWMEMBER];
  1338. if(type(mm) != OT_NULL ) {
  1339. Push(self); Push(key); Push(val);
  1340. Push(attrs);
  1341. Push(bstatic);
  1342. return CallMetaMethod(mm,MT_NEWMEMBER,5,temp_reg);
  1343. }
  1344. }
  1345. if(!NewSlot(self, key, val,bstatic))
  1346. return false;
  1347. if(type(attrs) != OT_NULL) {
  1348. c->SetAttributes(key,attrs);
  1349. }
  1350. return true;
  1351. }
  1352. bool SQVM::NewSlot(const SQObjectPtr &self,const SQObjectPtr &key,const SQObjectPtr &val,bool bstatic)
  1353. {
  1354. if(type(key) == OT_NULL) { Raise_Error(_SC("null cannot be used as index")); return false; }
  1355. switch(type(self)) {
  1356. case OT_TABLE: {
  1357. bool rawcall = true;
  1358. if(_table(self)->_delegate) {
  1359. SQObjectPtr res;
  1360. if(!_table(self)->Get(key,res)) {
  1361. SQObjectPtr closure;
  1362. if(_delegable(self)->_delegate && _delegable(self)->GetMetaMethod(this,MT_NEWSLOT,closure)) {
  1363. Push(self);Push(key);Push(val);
  1364. if(!CallMetaMethod(closure,MT_NEWSLOT,3,res)) {
  1365. return false;
  1366. }
  1367. rawcall = false;
  1368. }
  1369. else {
  1370. rawcall = true;
  1371. }
  1372. }
  1373. }
  1374. if(rawcall) _table(self)->NewSlot(key,val); //cannot fail
  1375. break;}
  1376. case OT_INSTANCE: {
  1377. SQObjectPtr res;
  1378. SQObjectPtr closure;
  1379. if(_delegable(self)->_delegate && _delegable(self)->GetMetaMethod(this,MT_NEWSLOT,closure)) {
  1380. Push(self);Push(key);Push(val);
  1381. if(!CallMetaMethod(closure,MT_NEWSLOT,3,res)) {
  1382. return false;
  1383. }
  1384. break;
  1385. }
  1386. Raise_Error(_SC("class instances do not support the new slot operator"));
  1387. return false;
  1388. break;}
  1389. case OT_CLASS:
  1390. if(!_class(self)->NewSlot(_ss(this),key,val,bstatic)) {
  1391. if(_class(self)->_locked) {
  1392. Raise_Error(_SC("trying to modify a class that has already been instantiated"));
  1393. return false;
  1394. }
  1395. else {
  1396. SQObjectPtr oval = PrintObjVal(key);
  1397. Raise_Error(_SC("the property '%s' already exists"),_stringval(oval));
  1398. return false;
  1399. }
  1400. }
  1401. break;
  1402. default:
  1403. Raise_Error(_SC("indexing %s with %s"),GetTypeName(self),GetTypeName(key));
  1404. return false;
  1405. break;
  1406. }
  1407. return true;
  1408. }
  1409. bool SQVM::DeleteSlot(const SQObjectPtr &self,const SQObjectPtr &key,SQObjectPtr &res)
  1410. {
  1411. switch(type(self)) {
  1412. case OT_TABLE:
  1413. case OT_INSTANCE:
  1414. case OT_USERDATA: {
  1415. SQObjectPtr t;
  1416. //bool handled = false;
  1417. SQObjectPtr closure;
  1418. if(_delegable(self)->_delegate && _delegable(self)->GetMetaMethod(this,MT_DELSLOT,closure)) {
  1419. Push(self);Push(key);
  1420. return CallMetaMethod(closure,MT_DELSLOT,2,res);
  1421. }
  1422. else {
  1423. if(type(self) == OT_TABLE) {
  1424. if(_table(self)->Get(key,t)) {
  1425. _table(self)->Remove(key);
  1426. }
  1427. else {
  1428. Raise_IdxError((const SQObject &)key);
  1429. return false;
  1430. }
  1431. }
  1432. else {
  1433. Raise_Error(_SC("cannot delete a slot from %s"),GetTypeName(self));
  1434. return false;
  1435. }
  1436. }
  1437. res = t;
  1438. }
  1439. break;
  1440. default:
  1441. Raise_Error(_SC("attempt to delete a slot from a %s"),GetTypeName(self));
  1442. return false;
  1443. }
  1444. return true;
  1445. }
  1446. bool SQVM::Call(SQObjectPtr &closure,SQInteger nparams,SQInteger stackbase,SQObjectPtr &outres,SQBool raiseerror)
  1447. {
  1448. #ifdef _DEBUG
  1449. SQInteger prevstackbase = _stackbase;
  1450. #endif
  1451. switch(type(closure)) {
  1452. case OT_CLOSURE:
  1453. return Execute(closure, nparams, stackbase, outres, raiseerror);
  1454. break;
  1455. case OT_NATIVECLOSURE:{
  1456. bool suspend;
  1457. return CallNative(_nativeclosure(closure), nparams, stackbase, outres,suspend);
  1458. }
  1459. break;
  1460. case OT_CLASS: {
  1461. SQObjectPtr constr;
  1462. SQObjectPtr temp;
  1463. CreateClassInstance(_class(closure),outres,constr);
  1464. SQObjectType ctype = type(constr);
  1465. if (ctype == OT_NATIVECLOSURE || ctype == OT_CLOSURE) {
  1466. _stack[stackbase] = outres;
  1467. return Call(constr,nparams,stackbase,temp,raiseerror);
  1468. }
  1469. return true;
  1470. }
  1471. break;
  1472. default:
  1473. return false;
  1474. }
  1475. #ifdef _DEBUG
  1476. if(!_suspended) {
  1477. assert(_stackbase == prevstackbase);
  1478. }
  1479. #endif
  1480. return true;
  1481. }
  1482. bool SQVM::CallMetaMethod(SQObjectPtr &closure,SQMetaMethod SQ_UNUSED_ARG(mm),SQInteger nparams,SQObjectPtr &outres)
  1483. {
  1484. //SQObjectPtr closure;
  1485. _nmetamethodscall++;
  1486. if(Call(closure, nparams, _top - nparams, outres, SQFalse)) {
  1487. _nmetamethodscall--;
  1488. Pop(nparams);
  1489. return true;
  1490. }
  1491. _nmetamethodscall--;
  1492. //}
  1493. Pop(nparams);
  1494. return false;
  1495. }
  1496. void SQVM::FindOuter(SQObjectPtr &target, SQObjectPtr *stackindex)
  1497. {
  1498. SQOuter **pp = &_openouters;
  1499. SQOuter *p;
  1500. SQOuter *otr;
  1501. while ((p = *pp) != NULL && p->_valptr >= stackindex) {
  1502. if (p->_valptr == stackindex) {
  1503. target = SQObjectPtr(p);
  1504. return;
  1505. }
  1506. pp = &p->_next;
  1507. }
  1508. otr = SQOuter::Create(_ss(this), stackindex);
  1509. otr->_next = *pp;
  1510. otr->_idx = (stackindex - _stack._vals);
  1511. __ObjAddRef(otr);
  1512. *pp = otr;
  1513. target = SQObjectPtr(otr);
  1514. }
  1515. bool SQVM::EnterFrame(SQInteger newbase, SQInteger newtop, bool tailcall)
  1516. {
  1517. if( !tailcall ) {
  1518. if( _callsstacksize == _alloccallsstacksize ) {
  1519. GrowCallStack();
  1520. }
  1521. ci = &_callsstack[_callsstacksize++];
  1522. ci->_prevstkbase = (SQInt32)(newbase - _stackbase);
  1523. ci->_prevtop = (SQInt32)(_top - _stackbase);
  1524. ci->_etraps = 0;
  1525. ci->_ncalls = 1;
  1526. ci->_generator = NULL;
  1527. ci->_root = SQFalse;
  1528. }
  1529. else {
  1530. ci->_ncalls++;
  1531. }
  1532. _stackbase = newbase;
  1533. _top = newtop;
  1534. if(newtop + MIN_STACK_OVERHEAD > (SQInteger)_stack.size()) {
  1535. if(_nmetamethodscall) {
  1536. Raise_Error(_SC("stack overflow, cannot resize stack while in a metamethod"));
  1537. return false;
  1538. }
  1539. _stack.resize(newtop + (MIN_STACK_OVERHEAD << 2));
  1540. RelocateOuters();
  1541. }
  1542. return true;
  1543. }
  1544. void SQVM::LeaveFrame() {
  1545. SQInteger last_top = _top;
  1546. SQInteger last_stackbase = _stackbase;
  1547. SQInteger css = --_callsstacksize;
  1548. /* First clean out the call stack frame */
  1549. ci->_closure.Null();
  1550. _stackbase -= ci->_prevstkbase;
  1551. _top = _stackbase + ci->_prevtop;
  1552. ci = (css) ? &_callsstack[css-1] : NULL;
  1553. if(_openouters) CloseOuters(&(_stack._vals[last_stackbase]));
  1554. while (last_top >= _top) {
  1555. _stack._vals[last_top--].Null();
  1556. }
  1557. }
  1558. void SQVM::RelocateOuters()
  1559. {
  1560. SQOuter *p = _openouters;
  1561. while (p) {
  1562. p->_valptr = _stack._vals + p->_idx;
  1563. p = p->_next;
  1564. }
  1565. }
  1566. void SQVM::CloseOuters(SQObjectPtr *stackindex) {
  1567. SQOuter *p;
  1568. while ((p = _openouters) != NULL && p->_valptr >= stackindex) {
  1569. p->_value = *(p->_valptr);
  1570. p->_valptr = &p->_value;
  1571. _openouters = p->_next;
  1572. __ObjRelease(p);
  1573. }
  1574. }
  1575. void SQVM::Remove(SQInteger n) {
  1576. n = (n >= 0)?n + _stackbase - 1:_top + n;
  1577. for(SQInteger i = n; i < _top; i++){
  1578. _stack[i] = _stack[i+1];
  1579. }
  1580. _stack[_top].Null();
  1581. _top--;
  1582. }
  1583. void SQVM::Pop() {
  1584. _stack[--_top].Null();
  1585. }
  1586. void SQVM::Pop(SQInteger n) {
  1587. for(SQInteger i = 0; i < n; i++){
  1588. _stack[--_top].Null();
  1589. }
  1590. }
  1591. void SQVM::PushNull() { _stack[_top++].Null(); }
  1592. void SQVM::Push(const SQObjectPtr &o) { _stack[_top++] = o; }
  1593. SQObjectPtr &SQVM::Top() { return _stack[_top-1]; }
  1594. SQObjectPtr &SQVM::PopGet() { return _stack[--_top]; }
  1595. SQObjectPtr &SQVM::GetUp(SQInteger n) { return _stack[_top+n]; }
  1596. SQObjectPtr &SQVM::GetAt(SQInteger n) { return _stack[n]; }
  1597. #ifdef _DEBUG_DUMP
  1598. void SQVM::dumpstack(SQInteger stackbase,bool dumpall)
  1599. {
  1600. SQInteger size=dumpall?_stack.size():_top;
  1601. SQInteger n=0;
  1602. scprintf(_SC("\n>>>>stack dump<<<<\n"));
  1603. CallInfo &ci=_callsstack[_callsstacksize-1];
  1604. scprintf(_SC("IP: %p\n"),ci._ip);
  1605. scprintf(_SC("prev stack base: %d\n"),ci._prevstkbase);
  1606. scprintf(_SC("prev top: %d\n"),ci._prevtop);
  1607. for(SQInteger i=0;i<size;i++){
  1608. SQObjectPtr &obj=_stack[i];
  1609. if(stackbase==i)scprintf(_SC(">"));else scprintf(_SC(" "));
  1610. scprintf(_SC("[%d]:"),n);
  1611. switch(type(obj)){
  1612. case OT_FLOAT: scprintf(_SC("FLOAT %.3f"),_float(obj));break;
  1613. case OT_INTEGER: scprintf(_SC("INTEGER %d"),_integer(obj));break;
  1614. case OT_BOOL: scprintf(_SC("BOOL %s"),_integer(obj)?"true":"false");break;
  1615. case OT_STRING: scprintf(_SC("STRING %s"),_stringval(obj));break;
  1616. case OT_NULL: scprintf(_SC("NULL")); break;
  1617. case OT_TABLE: scprintf(_SC("TABLE %p[%p]"),_table(obj),_table(obj)->_delegate);break;
  1618. case OT_ARRAY: scprintf(_SC("ARRAY %p"),_array(obj));break;
  1619. case OT_CLOSURE: scprintf(_SC("CLOSURE [%p]"),_closure(obj));break;
  1620. case OT_NATIVECLOSURE: scprintf(_SC("NATIVECLOSURE"));break;
  1621. case OT_USERDATA: scprintf(_SC("USERDATA %p[%p]"),_userdataval(obj),_userdata(obj)->_delegate);break;
  1622. case OT_GENERATOR: scprintf(_SC("GENERATOR %p"),_generator(obj));break;
  1623. case OT_THREAD: scprintf(_SC("THREAD [%p]"),_thread(obj));break;
  1624. case OT_USERPOINTER: scprintf(_SC("USERPOINTER %p"),_userpointer(obj));break;
  1625. case OT_CLASS: scprintf(_SC("CLASS %p"),_class(obj));break;
  1626. case OT_INSTANCE: scprintf(_SC("INSTANCE %p"),_instance(obj));break;
  1627. case OT_WEAKREF: scprintf(_SC("WEAKERF %p"),_weakref(obj));break;
  1628. default:
  1629. assert(0);
  1630. break;
  1631. };
  1632. scprintf(_SC("\n"));
  1633. ++n;
  1634. }
  1635. }
  1636. #endif