sqvm.cpp 55 KB

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