sqobject.cpp 41 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149
  1. /*
  2. see copyright notice in squirrel.h
  3. */
  4. #include "sqpcheader.h"
  5. #include "sqvm.h"
  6. #include "sqstring.h"
  7. #include "sqarray.h"
  8. #include "sqtable.h"
  9. #include "squserdata.h"
  10. #include "sqfuncproto.h"
  11. #include "sqclass.h"
  12. #include "sqclosure.h"
  13. const SQChar *IdType2Name(SQObjectType type)
  14. {
  15. switch(_RAW_TYPE(type))
  16. {
  17. case _RT_NULL:return _SC("null");
  18. case _RT_INTEGER:return _SC("integer");
  19. case _RT_FLOAT:return _SC("float");
  20. case _RT_BOOL:return _SC("bool");
  21. case _RT_STRING:return _SC("string");
  22. case _RT_TABLE:return _SC("table");
  23. case _RT_ARRAY:return _SC("array");
  24. case _RT_GENERATOR:return _SC("generator");
  25. case _RT_CLOSURE:
  26. case _RT_NATIVECLOSURE:
  27. return _SC("function");
  28. case _RT_USERDATA:
  29. case _RT_USERPOINTER:
  30. return _SC("userdata");
  31. case _RT_THREAD: return _SC("thread");
  32. case _RT_FUNCPROTO: return _SC("function");
  33. case _RT_CLASS: return _SC("class");
  34. case _RT_INSTANCE: return _SC("instance");
  35. case _RT_WEAKREF: return _SC("weakref");
  36. case _RT_OUTER: return _SC("outer");
  37. default:
  38. return NULL;
  39. }
  40. }
  41. const SQChar *GetTypeName(const SQObjectPtr &obj1)
  42. {
  43. return IdType2Name(sq_type(obj1));
  44. }
  45. SQObjectPtr SQObjectPtr::operator[](SQInteger nidx) {
  46. SQObjectPtr val;
  47. if(sq_type(*this) == OT_ARRAY) _array(*this)->Get(nidx, val);
  48. return val;
  49. }
  50. SQObjectPtr SQObjectPtr::operator[](const SQChar *key) {
  51. SQObjectPtr val;
  52. switch(sq_type(*this))
  53. {
  54. case OT_TABLE: _table(*this)->Get(key, val); break;
  55. case OT_CLASS: _class(*this)->Get(key, val); break;
  56. case OT_INSTANCE: _instance(*this)->Get(key, val); break;
  57. default:
  58. break;
  59. }
  60. return val;
  61. }
  62. SQString *SQString::Create(SQSharedState *ss,const SQChar *s,SQInteger len)
  63. {
  64. SQString *str=ADD_STRING(ss,s,len);
  65. return str;
  66. }
  67. void SQString::Release()
  68. {
  69. REMOVE_STRING(_sharedstate,this);
  70. }
  71. SQInteger SQString::Next(const SQObjectPtr &refpos, SQObjectPtr &outkey, SQObjectPtr &outval)
  72. {
  73. SQInteger idx = (SQInteger)SQTranslateIndex(refpos);
  74. while(idx < _len){
  75. outkey = (SQInteger)idx;
  76. outval = (SQInteger)((SQUnsignedInteger)_val[idx]);
  77. //return idx for the next iteration
  78. return ++idx;
  79. }
  80. //nothing to iterate anymore
  81. return -1;
  82. }
  83. SQUnsignedInteger SQTranslateIndex(const SQObjectPtr &idx)
  84. {
  85. switch(sq_type(idx)){
  86. case OT_NULL:
  87. return 0;
  88. case OT_INTEGER:
  89. return (SQUnsignedInteger)_integer(idx);
  90. default: assert(0); break;
  91. }
  92. return 0;
  93. }
  94. SQWeakRef *SQRefCounted::GetWeakRef(SQObjectType type)
  95. {
  96. if(!_weakref) {
  97. sq_new(_weakref,SQWeakRef);
  98. #if defined(SQUSEDOUBLE) && !defined(_SQ64)
  99. _weakref->_obj._unVal.raw = 0; //clean the whole union on 32 bits with double
  100. #endif
  101. _weakref->_obj._type = type;
  102. _weakref->_obj._unVal.pRefCounted = this;
  103. }
  104. return _weakref;
  105. }
  106. SQRefCounted::~SQRefCounted()
  107. {
  108. if(_weakref) {
  109. _weakref->_obj._type = OT_NULL;
  110. _weakref->_obj._unVal.pRefCounted = NULL;
  111. }
  112. }
  113. void SQWeakRef::Release() {
  114. if(ISREFCOUNTED(_obj._type)) {
  115. _obj._unVal.pRefCounted->_weakref = NULL;
  116. }
  117. sq_delete(this,SQWeakRef);
  118. }
  119. bool SQDelegable::GetMetaMethod(SQVM *v,SQMetaMethod mm,SQObjectPtr &res) {
  120. if(_delegate) {
  121. return _delegate->Get((*_ss(v)->_metamethods)[mm],res);
  122. }
  123. return false;
  124. }
  125. bool SQDelegable::SetDelegate(SQTable *mt)
  126. {
  127. SQTable *temp = mt;
  128. if(temp == this) return false;
  129. while (temp) {
  130. if (temp->_delegate == this) return false; //cycle detected
  131. temp = temp->_delegate;
  132. }
  133. if (mt) __ObjAddRef(mt);
  134. __ObjRelease(_delegate);
  135. _delegate = mt;
  136. return true;
  137. }
  138. bool SQGenerator::Yield(SQVM *v,SQInteger target)
  139. {
  140. if(_state==eSuspended) { v->Raise_Error(_SC("internal vm error, yielding dead generator")); return false;}
  141. if(_state==eDead) { v->Raise_Error(_SC("internal vm error, yielding a dead generator")); return false; }
  142. SQInteger size = v->_top-v->_stackbase;
  143. _stack.resize(size);
  144. SQObject _this = v->_stack[v->_stackbase];
  145. _stack._vals[0] = ISREFCOUNTED(sq_type(_this)) ? SQObjectPtr(_refcounted(_this)->GetWeakRef(sq_type(_this))) : _this;
  146. for(SQInteger n =1; n<target; n++) {
  147. _stack._vals[n] = v->_stack[v->_stackbase+n];
  148. }
  149. for(SQInteger j =0; j < size; j++)
  150. {
  151. v->_stack[v->_stackbase+j].Null();
  152. }
  153. _ci = *v->ci;
  154. _ci._generator=NULL;
  155. for(SQInteger i=0;i<_ci._etraps;i++) {
  156. _etraps.push_back(v->_etraps.top());
  157. v->_etraps.pop_back();
  158. // store relative stack base and size in case of resume to other _top
  159. SQExceptionTrap &et = _etraps.back();
  160. et._stackbase -= v->_stackbase;
  161. et._stacksize -= v->_stackbase;
  162. }
  163. _state=eSuspended;
  164. return true;
  165. }
  166. bool SQGenerator::Resume(SQVM *v,SQObjectPtr &dest)
  167. {
  168. if(_state==eDead){ v->Raise_Error(_SC("resuming dead generator")); return false; }
  169. if(_state==eRunning){ v->Raise_Error(_SC("resuming active generator")); return false; }
  170. SQInteger size = _stack.size();
  171. SQInteger target = &dest - &(v->_stack._vals[v->_stackbase]);
  172. assert(target>=0 && target<=255);
  173. SQInteger newbase = v->_top;
  174. if(!v->EnterFrame(v->_top, v->_top + size, false))
  175. return false;
  176. v->ci->_generator = this;
  177. v->ci->_target = (SQInt32)target;
  178. v->ci->_closure = _ci._closure;
  179. v->ci->_ip = _ci._ip;
  180. v->ci->_literals = _ci._literals;
  181. v->ci->_ncalls = _ci._ncalls;
  182. v->ci->_etraps = _ci._etraps;
  183. v->ci->_root = _ci._root;
  184. for(SQInteger i=0;i<_ci._etraps;i++) {
  185. v->_etraps.push_back(_etraps.top());
  186. _etraps.pop_back();
  187. SQExceptionTrap &et = v->_etraps.back();
  188. // restore absolute stack base and size
  189. et._stackbase += newbase;
  190. et._stacksize += newbase;
  191. }
  192. SQObject _this = _stack._vals[0];
  193. v->_stack[v->_stackbase] = sq_type(_this) == OT_WEAKREF ? _weakref(_this)->_obj : _this;
  194. for(SQInteger n = 1; n<size; n++) {
  195. v->_stack[v->_stackbase+n] = _stack._vals[n];
  196. _stack._vals[n].Null();
  197. }
  198. _state=eRunning;
  199. if (v->_debughook)
  200. v->CallDebugHook(_SC('c'));
  201. return true;
  202. }
  203. void SQArrayBase::Extend(SQArrayBase *a){
  204. SQInteger xlen;
  205. if((xlen=a->Size()))
  206. for(SQInteger i=0;i<xlen;i++)
  207. {
  208. SQObject o;
  209. a->_get2(i, o);
  210. Append(o);
  211. }
  212. }
  213. //Only here to create a unique vtable
  214. void SQCollectable::Finalize(){}
  215. void SQArray::DummyPinVtable(){}
  216. void SQFloat64Array::DummyPinVtable(){}
  217. void SQFloat32Array::DummyPinVtable(){}
  218. void SQInt64Array::DummyPinVtable(){}
  219. void SQInt32Array::DummyPinVtable(){}
  220. void SQInt16Array::DummyPinVtable(){}
  221. void SQInt8Array::DummyPinVtable(){}
  222. const SQChar* SQFunctionProto::GetLocal(SQVM *vm,SQUnsignedInteger stackbase,SQUnsignedInteger nseq,SQUnsignedInteger nop)
  223. {
  224. SQUnsignedInteger nvars=_nlocalvarinfos;
  225. const SQChar *res=NULL;
  226. if(nvars>=nseq){
  227. for(SQUnsignedInteger i=0;i<nvars;i++){
  228. if(_localvarinfos[i]._start_op<=nop && _localvarinfos[i]._end_op>=nop)
  229. {
  230. if(nseq==0){
  231. vm->Push(vm->_stack[stackbase+_localvarinfos[i]._pos]);
  232. res=_stringval(_localvarinfos[i]._name);
  233. break;
  234. }
  235. nseq--;
  236. }
  237. }
  238. }
  239. return res;
  240. }
  241. SQInteger SQFunctionProto::GetLine(SQInstruction *curr)
  242. {
  243. SQInteger op = (SQInteger)(curr-_instructions);
  244. SQInteger line=_lineinfos[0]._line;
  245. SQInteger low = 0;
  246. SQInteger high = _nlineinfos - 1;
  247. SQInteger mid = 0;
  248. while(low <= high)
  249. {
  250. mid = low + ((high - low) >> 1);
  251. SQInteger curop = _lineinfos[mid]._op;
  252. if(curop > op)
  253. {
  254. high = mid - 1;
  255. }
  256. else if(curop < op) {
  257. if(mid < (_nlineinfos - 1)
  258. && _lineinfos[mid + 1]._op >= op) {
  259. break;
  260. }
  261. low = mid + 1;
  262. }
  263. else { //equal
  264. break;
  265. }
  266. }
  267. while(mid > 0 && _lineinfos[mid]._op >= op) mid--; //I've changed this one
  268. line = _lineinfos[mid]._line;
  269. return line;
  270. }
  271. SQClosure::~SQClosure()
  272. {
  273. __ObjRelease(_root);
  274. __ObjRelease(_env);
  275. __ObjRelease(_base);
  276. REMOVE_FROM_CHAIN(&_ss(this)->_gc_chain,this);
  277. }
  278. #define _CHECK_IO(exp) { if(!exp)return false; }
  279. static bool SafeWrite(HSQUIRRELVM v,SQWRITEFUNC write,SQUserPointer up,SQUserPointer dest,SQInteger size)
  280. {
  281. if(write(up,dest,size) != size) {
  282. v->Raise_Error(_SC("io error (write function failure)"));
  283. return false;
  284. }
  285. return true;
  286. }
  287. static bool SafeWriteFmt(HSQUIRRELVM v,SQWRITEFUNC write,SQUserPointer up, const SQChar *fmt, ...) __attribute__ ((__format__ (__printf__, 4, 5)));
  288. static bool SafeWriteFmt(HSQUIRRELVM v,SQWRITEFUNC write,SQUserPointer up, const SQChar *fmt, ...)
  289. {
  290. if(fmt){
  291. SQChar str[8192];
  292. va_list vl;
  293. va_start(vl, fmt);
  294. SQInteger len = scvsprintf(str, sizeof(str), fmt, vl);
  295. va_end(vl);
  296. return SafeWrite(v, write, up, str, len);
  297. }
  298. return false;
  299. }
  300. static bool SafeRead(HSQUIRRELVM v,SQREADFUNC read,SQUserPointer up,SQUserPointer dest,SQInteger size)
  301. {
  302. if(size && read(up,dest,size) != size) {
  303. v->Raise_Error(_SC("io error, read function failure, the origin stream could be corrupted/trucated"));
  304. return false;
  305. }
  306. return true;
  307. }
  308. static bool WriteTag(HSQUIRRELVM v,SQWRITEFUNC write,SQUserPointer up,SQUnsignedInteger32 tag)
  309. {
  310. return SafeWrite(v,write,up,&tag,sizeof(tag));
  311. }
  312. static bool CheckTag(HSQUIRRELVM v,SQREADFUNC read,SQUserPointer up,SQUnsignedInteger32 tag)
  313. {
  314. SQUnsignedInteger32 t;
  315. _CHECK_IO(SafeRead(v,read,up,&t,sizeof(t)));
  316. if(t != tag){
  317. v->Raise_Error(_SC("invalid or corrupted closure stream"));
  318. return false;
  319. }
  320. return true;
  321. }
  322. static bool WriteObjectAsCode(HSQUIRRELVM v,SQUserPointer up,SQWRITEFUNC write,SQObjectPtr &o, bool withQuotes=true)
  323. {
  324. SQChar buf[32];
  325. SQInteger sz;
  326. switch(sq_type(o)){
  327. case OT_STRING:{
  328. SQInteger str_size = _string(o)->_len;
  329. if(str_size){
  330. const SQChar *str = _stringval(o);
  331. bool needQuote = false;
  332. for(int i=0; i < str_size; ++i){
  333. if(str[i] == '"' || str[i] == '\n'){
  334. needQuote = true;
  335. break;
  336. }
  337. }
  338. if(!needQuote) withQuotes = true;
  339. const SQChar *d1 = withQuotes ? _SC("\"") : _SC("[==[");
  340. const SQChar *d2 = withQuotes ? _SC("\"") : _SC("]==]");
  341. _CHECK_IO(SafeWrite(v,write,up, (void*)d1, scstrlen(d1)));
  342. _CHECK_IO(SafeWrite(v,write,up, (void*)str,rsl(_string(o)->_len)));
  343. _CHECK_IO(SafeWrite(v,write,up, (void*)d2, scstrlen(d2)));
  344. }
  345. else
  346. {
  347. const SQChar *str = _SC("null");
  348. _CHECK_IO(SafeWrite(v,write,up, (void*)str, scstrlen(str)));
  349. }
  350. }
  351. break;
  352. case OT_INTEGER:
  353. sz = scsprintf(buf, sizeof(buf), _PRINT_INT_FMT, _integer(o));
  354. _CHECK_IO(SafeWrite(v,write,up,buf,sz));break;
  355. case OT_FLOAT:
  356. sz = scsprintf(buf, sizeof(buf), "%f", _float(o));
  357. _CHECK_IO(SafeWrite(v,write,up,buf,sz));break;
  358. case OT_NULL:{
  359. const SQChar str[] = _SC("null");
  360. _CHECK_IO(SafeWrite(v,write,up, (void*)str, scstrlen(str)));
  361. }
  362. break;
  363. default:
  364. v->Raise_Error(_SC("cannot serialize a %s"),GetTypeName(o));
  365. return false;
  366. }
  367. return true;
  368. }
  369. static bool WriteObject(HSQUIRRELVM v,SQUserPointer up,SQWRITEFUNC write,SQObjectPtr &o)
  370. {
  371. SQUnsignedInteger32 _type = (SQUnsignedInteger32)sq_type(o);
  372. _CHECK_IO(SafeWrite(v,write,up,&_type,sizeof(_type)));
  373. switch(sq_type(o)){
  374. case OT_STRING:
  375. _CHECK_IO(SafeWrite(v,write,up,&_string(o)->_len,sizeof(SQInteger)));
  376. _CHECK_IO(SafeWrite(v,write,up,_stringval(o),rsl(_string(o)->_len)));
  377. break;
  378. case OT_BOOL:
  379. case OT_INTEGER:
  380. _CHECK_IO(SafeWrite(v,write,up,&_integer(o),sizeof(SQInteger)));break;
  381. case OT_FLOAT:
  382. _CHECK_IO(SafeWrite(v,write,up,&_float(o),sizeof(SQFloat)));break;
  383. case OT_NULL:
  384. break;
  385. default:
  386. v->Raise_Error(_SC("cannot serialize a %s"),GetTypeName(o));
  387. return false;
  388. }
  389. return true;
  390. }
  391. static bool ReadObject(HSQUIRRELVM v,SQUserPointer up,SQREADFUNC read,SQObjectPtr &o)
  392. {
  393. SQUnsignedInteger32 _type;
  394. _CHECK_IO(SafeRead(v,read,up,&_type,sizeof(_type)));
  395. SQObjectType t = (SQObjectType)_type;
  396. switch(t){
  397. case OT_STRING:{
  398. SQInteger len;
  399. _CHECK_IO(SafeRead(v,read,up,&len,sizeof(SQInteger)));
  400. _CHECK_IO(SafeRead(v,read,up,_ss(v)->GetScratchPad(sq_rsl(len)),sq_rsl(len)));
  401. o=SQString::Create(_ss(v),_ss(v)->GetScratchPad(-1),len);
  402. }
  403. break;
  404. case OT_INTEGER:{
  405. SQInteger i;
  406. _CHECK_IO(SafeRead(v,read,up,&i,sizeof(SQInteger))); o = i; break;
  407. }
  408. case OT_BOOL:{
  409. SQInteger i;
  410. _CHECK_IO(SafeRead(v,read,up,&i,sizeof(SQInteger))); o._type = OT_BOOL; o._unVal.nInteger = i; break;
  411. }
  412. case OT_FLOAT:{
  413. SQFloat f;
  414. _CHECK_IO(SafeRead(v,read,up,&f,sizeof(SQFloat))); o = f; break;
  415. }
  416. case OT_NULL:
  417. o.Null();
  418. break;
  419. default:
  420. v->Raise_Error(_SC("cannot serialize a %s"),IdType2Name(t));
  421. return false;
  422. }
  423. return true;
  424. }
  425. bool SQClosure::Save(SQVM *v,SQUserPointer up,SQWRITEFUNC write)
  426. {
  427. _CHECK_IO(WriteTag(v,write,up,SQ_CLOSURESTREAM_HEAD));
  428. _CHECK_IO(WriteTag(v,write,up,sizeof(SQChar)));
  429. _CHECK_IO(WriteTag(v,write,up,sizeof(SQInteger)));
  430. _CHECK_IO(WriteTag(v,write,up,sizeof(SQFloat)));
  431. _CHECK_IO(_function->Save(v,up,write));
  432. _CHECK_IO(WriteTag(v,write,up,SQ_CLOSURESTREAM_TAIL));
  433. return true;
  434. }
  435. bool SQClosure::SaveAsSource(SQVM *v,SQUserPointer up,SQWRITEFUNC write)
  436. {
  437. _CHECK_IO(_function->SaveAsSource(v,up,write));
  438. return true;
  439. }
  440. bool SQClosure::Load(SQVM *v,SQUserPointer up,SQREADFUNC read,SQObjectPtr &ret)
  441. {
  442. _CHECK_IO(CheckTag(v,read,up,SQ_CLOSURESTREAM_HEAD));
  443. _CHECK_IO(CheckTag(v,read,up,sizeof(SQChar)));
  444. _CHECK_IO(CheckTag(v,read,up,sizeof(SQInteger)));
  445. _CHECK_IO(CheckTag(v,read,up,sizeof(SQFloat)));
  446. SQObjectPtr func;
  447. _CHECK_IO(SQFunctionProto::Load(v,up,read,func));
  448. _CHECK_IO(CheckTag(v,read,up,SQ_CLOSURESTREAM_TAIL));
  449. ret = SQClosure::Create(_ss(v),_funcproto(func),_table(v->_roottable)->GetWeakRef(OT_TABLE));
  450. //FIXME: load an root for this closure
  451. return true;
  452. }
  453. SQFunctionProto::SQFunctionProto(SQSharedState *ss)
  454. {
  455. _stacksize=0;
  456. _bgenerator=false;
  457. INIT_CHAIN();ADD_TO_CHAIN(&_ss(this)->_gc_chain,this);
  458. }
  459. SQFunctionProto::~SQFunctionProto()
  460. {
  461. REMOVE_FROM_CHAIN(&_ss(this)->_gc_chain,this);
  462. }
  463. bool SQFunctionProto::Save(SQVM *v,SQUserPointer up,SQWRITEFUNC write)
  464. {
  465. SQInteger i,nliterals = _nliterals,nparameters = _nparameters;
  466. SQInteger noutervalues = _noutervalues,nlocalvarinfos = _nlocalvarinfos;
  467. SQInteger nlineinfos=_nlineinfos,ninstructions = _ninstructions,nfunctions=_nfunctions;
  468. SQInteger ndefaultparams = _ndefaultparams;
  469. _CHECK_IO(WriteTag(v,write,up,SQ_CLOSURESTREAM_PART));
  470. _CHECK_IO(WriteObject(v,up,write,_sourcename));
  471. _CHECK_IO(WriteObject(v,up,write,_name));
  472. _CHECK_IO(WriteTag(v,write,up,SQ_CLOSURESTREAM_PART));
  473. _CHECK_IO(SafeWrite(v,write,up,&nliterals,sizeof(nliterals)));
  474. _CHECK_IO(SafeWrite(v,write,up,&nparameters,sizeof(nparameters)));
  475. _CHECK_IO(SafeWrite(v,write,up,&noutervalues,sizeof(noutervalues)));
  476. _CHECK_IO(SafeWrite(v,write,up,&nlocalvarinfos,sizeof(nlocalvarinfos)));
  477. _CHECK_IO(SafeWrite(v,write,up,&nlineinfos,sizeof(nlineinfos)));
  478. _CHECK_IO(SafeWrite(v,write,up,&ndefaultparams,sizeof(ndefaultparams)));
  479. _CHECK_IO(SafeWrite(v,write,up,&ninstructions,sizeof(ninstructions)));
  480. _CHECK_IO(SafeWrite(v,write,up,&nfunctions,sizeof(nfunctions)));
  481. _CHECK_IO(WriteTag(v,write,up,SQ_CLOSURESTREAM_PART));
  482. for(i=0;i<nliterals;i++){
  483. _CHECK_IO(WriteObject(v,up,write,_literals[i]));
  484. }
  485. _CHECK_IO(WriteTag(v,write,up,SQ_CLOSURESTREAM_PART));
  486. for(i=0;i<nparameters;i++){
  487. _CHECK_IO(WriteObject(v,up,write,_parameters[i]));
  488. }
  489. _CHECK_IO(WriteTag(v,write,up,SQ_CLOSURESTREAM_PART));
  490. for(i=0;i<noutervalues;i++){
  491. _CHECK_IO(SafeWrite(v,write,up,&_outervalues[i]._type,sizeof(SQUnsignedInteger)));
  492. _CHECK_IO(WriteObject(v,up,write,_outervalues[i]._src));
  493. _CHECK_IO(WriteObject(v,up,write,_outervalues[i]._name));
  494. }
  495. _CHECK_IO(WriteTag(v,write,up,SQ_CLOSURESTREAM_PART));
  496. for(i=0;i<nlocalvarinfos;i++){
  497. SQLocalVarInfo &lvi=_localvarinfos[i];
  498. _CHECK_IO(WriteObject(v,up,write,lvi._name));
  499. _CHECK_IO(SafeWrite(v,write,up,&lvi._pos,sizeof(SQUnsignedInteger)));
  500. _CHECK_IO(SafeWrite(v,write,up,&lvi._start_op,sizeof(SQUnsignedInteger)));
  501. _CHECK_IO(SafeWrite(v,write,up,&lvi._end_op,sizeof(SQUnsignedInteger)));
  502. }
  503. _CHECK_IO(WriteTag(v,write,up,SQ_CLOSURESTREAM_PART));
  504. _CHECK_IO(SafeWrite(v,write,up,_lineinfos,sizeof(SQLineInfo)*nlineinfos));
  505. _CHECK_IO(WriteTag(v,write,up,SQ_CLOSURESTREAM_PART));
  506. _CHECK_IO(SafeWrite(v,write,up,_defaultparams,sizeof(SQInteger)*ndefaultparams));
  507. _CHECK_IO(WriteTag(v,write,up,SQ_CLOSURESTREAM_PART));
  508. _CHECK_IO(SafeWrite(v,write,up,_instructions,sizeof(SQInstruction)*ninstructions));
  509. _CHECK_IO(WriteTag(v,write,up,SQ_CLOSURESTREAM_PART));
  510. for(i=0;i<nfunctions;i++){
  511. _CHECK_IO(_funcproto(_functions[i])->Save(v,up,write));
  512. }
  513. _CHECK_IO(SafeWrite(v,write,up,&_stacksize,sizeof(_stacksize)));
  514. _CHECK_IO(SafeWrite(v,write,up,&_bgenerator,sizeof(_bgenerator)));
  515. _CHECK_IO(SafeWrite(v,write,up,&_varparams,sizeof(_varparams)));
  516. return true;
  517. }
  518. const SQChar *SQGetBitwiseOpName(int it){
  519. #define SCASE(x) case x: return _SC(#x); break;
  520. switch(it){
  521. SCASE(BW_AND)
  522. SCASE(BW_OR)
  523. SCASE(BW_XOR)
  524. SCASE(BW_SHIFTL)
  525. SCASE(BW_SHIFTR)
  526. SCASE(BW_USHIFTR)
  527. default: return _SC("?");
  528. }
  529. #undef SCASE
  530. }
  531. const SQChar *SQGetCmpOpName(int it){
  532. #define SCASE(x) case x: return _SC(#x); break;
  533. switch(it){
  534. SCASE(CMP_G)
  535. SCASE(CMP_GE)
  536. SCASE(CMP_L)
  537. SCASE(CMP_LE)
  538. SCASE(CMP_3W)
  539. default: return _SC("?");
  540. }
  541. #undef SCASE
  542. }
  543. const SQChar *SQGetArrayAppendTypeName(int it){
  544. #define SCASE(x) case x: return _SC(#x); break;
  545. switch(it){
  546. SCASE(AAT_STACK)
  547. SCASE(AAT_LITERAL)
  548. SCASE(AAT_INT)
  549. SCASE(AAT_FLOAT)
  550. SCASE(AAT_BOOL)
  551. default: return _SC("?");
  552. }
  553. #undef SCASE
  554. }
  555. const SQChar *SQGetNewObjTypeName(int it){
  556. #define SCASE(x) case x: return _SC(#x); break;
  557. switch(it){
  558. SCASE(NOT_TABLE)
  559. SCASE(NOT_ARRAY)
  560. SCASE(NOT_CLASS)
  561. default: return _SC("?");
  562. }
  563. #undef SCASE
  564. }
  565. const SQChar *SQGetVarTypeName(int it){
  566. #define SCASE(x) case _VAR_##x: return _SC(#x); break;
  567. switch(it){
  568. SCASE(ANY)
  569. SCASE(INTEGER)
  570. SCASE(FLOAT)
  571. SCASE(BOOL)
  572. SCASE(STRING)
  573. SCASE(TABLE)
  574. SCASE(ARRAY)
  575. SCASE(CLOSURE)
  576. default: return _SC("?");
  577. }
  578. #undef SCASE
  579. }
  580. const SQChar *SQGetArithOpName(int it){
  581. #define SCASE(x, z) case x: return _SC(#z); break;
  582. switch(it){
  583. SCASE(_OP_ADD, +)
  584. SCASE(_OP_SUB, -)
  585. SCASE(_OP_MUL, *)
  586. SCASE(_OP_DIV, /)
  587. SCASE(_OP_MOD, %)
  588. default: return _SC("?");
  589. }
  590. #undef SCASE
  591. }
  592. const SQChar *SQGetOpName(int op_code) {
  593. const SQChar *str_op;
  594. switch(op_code){
  595. #define ENUM_OP(a,b) case a: str_op = _SC(#a); break;
  596. SQ_OP_CODE_LIST()
  597. #undef ENUM_OP
  598. default:
  599. str_op = _SC("???");
  600. }
  601. return str_op;
  602. }
  603. bool SQFunctionProto::SaveAsSource(SQVM *v,SQUserPointer up,SQWRITEFUNC write)
  604. {
  605. SQInteger i,nliterals = _nliterals,nparameters = _nparameters;
  606. SQInteger noutervalues = _noutervalues,nlocalvarinfos = _nlocalvarinfos;
  607. SQInteger nlineinfos=_nlineinfos,ninstructions = _ninstructions,nfunctions=_nfunctions;
  608. SQInteger ndefaultparams = _ndefaultparams;
  609. SafeWriteFmt(v,write,up,"{\n");
  610. SafeWriteFmt(v,write,up,"\tsource_name = ");
  611. _CHECK_IO(WriteObjectAsCode(v,up,write,_sourcename));
  612. SafeWriteFmt(v,write,up,",\n\tfunction_name = ");
  613. _CHECK_IO(WriteObjectAsCode(v,up,write,_name));
  614. SafeWriteFmt(v,write,up,",\n\tfunction_return_type = ");
  615. _CHECK_IO(WriteObjectAsCode(v,up,write,_return_type));
  616. SafeWriteFmt(v,write,up,",\n");
  617. SafeWriteFmt(v,write,up,"\tliterals = [\n");
  618. for(i=0;i<nliterals;i++){
  619. SafeWriteFmt(v,write,up,"\t\t/*" _PRINT_INT_FMT "*/ ", i);
  620. _CHECK_IO(WriteObjectAsCode(v,up,write,_literals[i], false));
  621. SafeWriteFmt(v,write,up,",\n");
  622. }
  623. SafeWriteFmt(v,write,up,"\t],\n");
  624. SafeWriteFmt(v,write,up,"\tparameters = [\n");
  625. for(i=0;i<nparameters;i++){
  626. SafeWriteFmt(v,write,up,"\t\t/*" _PRINT_INT_FMT "*/ ", i);
  627. _CHECK_IO(WriteObjectAsCode(v,up,write,_parameters[i]));
  628. SafeWriteFmt(v,write,up,",\n");
  629. }
  630. SafeWriteFmt(v,write,up,"\t],\n");
  631. SafeWriteFmt(v,write,up,"\toutervalues = [\n\t\t//[type, src, name],\n");
  632. for(i=0;i<noutervalues;i++){
  633. SafeWriteFmt(v,write,up,"\t\t/*" _PRINT_INT_FMT "*/ [" _PRINT_INT_FMT ", ", i, (SQInteger)_outervalues[i]._type);
  634. _CHECK_IO(WriteObjectAsCode(v,up,write,_outervalues[i]._src));
  635. SafeWriteFmt(v,write,up,", ");
  636. _CHECK_IO(WriteObjectAsCode(v,up,write,_outervalues[i]._name));
  637. SafeWriteFmt(v,write,up,"],\n");
  638. }
  639. SafeWriteFmt(v,write,up,"\t],\n");
  640. SafeWriteFmt(v,write,up,"\tlocalvarinfos = [\n\t\t//[pos, name, start_op, end_op, scope, type, type_name, dtype_name],\n");
  641. for(i=0;i<nlocalvarinfos;i++){
  642. SQLocalVarInfo &lvi=_localvarinfos[nlocalvarinfos-1-i];
  643. SafeWriteFmt(v,write,up,"\t\t/*" _PRINT_INT_FMT "*/ [", i);
  644. SafeWriteFmt(v,write,up, _PRINT_INT_FMT ", ", lvi._pos);
  645. _CHECK_IO(WriteObjectAsCode(v,up,write,lvi._name));
  646. SafeWriteFmt(v,write,up,", " _PRINT_INT_FMT, lvi._start_op);
  647. SafeWriteFmt(v,write,up,", " _PRINT_INT_FMT, lvi._end_op);
  648. SafeWriteFmt(v,write,up,", " _PRINT_INT_FMT, (SQInteger)lvi._scope);
  649. const char* type_name = (sq_type(lvi._type_name) == OT_STRING) ? _stringval(lvi._type_name) : "";
  650. SafeWriteFmt(v,write,up,", " _PRINT_INT_FMT ", \"%s\", \"%s\"],\n", (SQInteger)lvi._type, SQGetVarTypeName(lvi._type), type_name);
  651. }
  652. SafeWriteFmt(v,write,up,"\t],\n");
  653. SafeWriteFmt(v,write,up,"\tlineinfos = [\n\t\t//[op, line],\n");
  654. for(i=0;i<nlineinfos;i++){
  655. SQLineInfo &li=_lineinfos[i];
  656. SafeWriteFmt(v,write,up,"\t\t/*" _PRINT_INT_FMT "*/ [" _PRINT_INT_FMT ", " _PRINT_INT_FMT "], /*%s*/\n", i, li._op, li._line,
  657. SQGetOpName(_instructions[li._op].op));
  658. }
  659. SafeWriteFmt(v,write,up,"\t],\n");
  660. SafeWriteFmt(v,write,up,"\tdefaultparams = [");
  661. for(i=0;i<ndefaultparams;i++){
  662. SafeWriteFmt(v,write,up,_PRINT_INT_FMT ",", _defaultparams[i]);
  663. }
  664. SafeWriteFmt(v,write,up,"],\n");
  665. SafeWriteFmt(v,write,up,"\tinstructions = [ /*stack*/\n");
  666. SafeWriteFmt(v,write,up,"\t\t//[op_str, op, arg0, arg1, arg2, arg3],\n");
  667. const SQChar *str_op;
  668. for(i=0;i<ninstructions;i++){
  669. SQInstruction &inst = _instructions[i];
  670. str_op = SQGetOpName(inst.op);
  671. SafeWriteFmt(v,write,up,"\t\t/*" _PRINT_INT_FMT "*/ [\"%s\", " _PRINT_INT_FMT ", " _PRINT_INT_FMT ", " _PRINT_INT_FMT ", " _PRINT_INT_FMT ", " _PRINT_INT_FMT "],", i, str_op, (SQInteger)inst.op, (SQInteger)inst._arg0, (SQInteger)inst._arg1, (SQInteger)inst._arg2, (SQInteger)inst._arg3);
  672. switch(inst.op){
  673. case _OP_LOAD:
  674. case _OP_DLOAD:
  675. case _OP_GETK:{
  676. SQInteger lidx = inst._arg1;
  677. if(lidx >= MAX_CHAR) SafeWriteFmt(v,write,up,"\t\t/* stk[" _PRINT_INT_FMT "] <- null */", (SQInteger)inst._arg0);
  678. else
  679. {
  680. const SQChar *str_name = sq_isstring(_literals[lidx]) ? _stringval(_literals[lidx]) : "?";
  681. SafeWriteFmt(v,write,up,"\t\t/* stk[" _PRINT_INT_FMT "] <- literals[" _PRINT_INT_FMT "](\"%s\") */", (SQInteger)inst._arg0, lidx, str_name);
  682. //_CHECK_IO(WriteObjectAsCode(v,up,write,_literals[lidx], false));
  683. //SafeWriteFmt(v,write,up," */");
  684. }
  685. if(inst.op == _OP_DLOAD) {
  686. lidx = inst._arg3;
  687. if(lidx >= MAX_CHAR) SafeWriteFmt(v,write,up," /* stk[" _PRINT_INT_FMT "] <- null */", (SQInteger)inst._arg2);
  688. else {
  689. SafeWriteFmt(v,write,up," /* stk[" _PRINT_INT_FMT "] <- literals[" _PRINT_INT_FMT "] ", (SQInteger)inst._arg2, lidx);
  690. _CHECK_IO(WriteObjectAsCode(v,up,write,_literals[lidx], false));
  691. SafeWriteFmt(v,write,up," */");
  692. }
  693. }
  694. }
  695. break;
  696. case _OP_GET:
  697. SafeWriteFmt(v,write,up,"\t/* stk_at_arg0[" _PRINT_INT_FMT "] = stk_at_arg1[" _PRINT_INT_FMT "].get(stk_at_arg2(" _PRINT_INT_FMT ")) */",
  698. (SQInteger)inst._arg0, (SQInteger)inst._arg1, (SQInteger)inst._arg2);
  699. break;
  700. case _OP_SET:
  701. SafeWriteFmt(v,write,up,"\t/* stk_at_arg1[" _PRINT_INT_FMT "].set(stk_at_arg2(" _PRINT_INT_FMT "), stk_at_arg3(" _PRINT_INT_FMT ")) */",
  702. (SQInteger)inst._arg1, (SQInteger)inst._arg2, (SQInteger)inst._arg3);
  703. break;
  704. case _OP_PREPCALLK:
  705. case _OP_PREPCALL:
  706. SafeWriteFmt(v,write,up,"\t/* closure_at_stk[" _PRINT_INT_FMT "], stk[" _PRINT_INT_FMT "].get(%s[" _PRINT_INT_FMT "]) -> stk[" _PRINT_INT_FMT "] */",
  707. (SQInteger)inst._arg0, (SQInteger)inst._arg2, inst.op == _OP_PREPCALLK ? "literals" : "stk",
  708. (SQInteger)inst._arg1, (SQInteger)inst._arg3);
  709. break;
  710. case _OP_LOADFLOAT:
  711. SafeWriteFmt(v,write,up,"\t/* %f */", *((SQFloat32*)&inst._arg1));
  712. break;
  713. case _OP_GETOUTER:
  714. SafeWriteFmt(v,write,up,"\t/* stk[" _PRINT_INT_FMT "] <- outervalues[" _PRINT_INT_FMT "] == (%s) */",
  715. (SQInteger)inst._arg0, (SQInteger)inst._arg1, _stringval(_outervalues[inst._arg1]._name));
  716. break;
  717. case _OP_CALL:
  718. {
  719. SQLocalVarInfo &lvi=_localvarinfos[nlocalvarinfos-1-inst._arg1];
  720. const SQChar *str_name = sq_isstring(lvi._name) ? _stringval(lvi._name) : "?";
  721. SafeWriteFmt(v,write,up,"\t\t/* target[" _PRINT_INT_FMT "], lvi[" _PRINT_INT_FMT "](\"%s\"), stackbase(" _PRINT_INT_FMT "), nargs(" _PRINT_INT_FMT ") */",
  722. (SQInteger)inst._arg0, (SQInteger)inst._arg1, str_name,
  723. (SQInteger)inst._arg2, (SQInteger)inst._arg3);
  724. }
  725. break;
  726. case _OP_MOVE:
  727. {
  728. SQLocalVarInfo &lvi=_localvarinfos[nlocalvarinfos-1-inst._arg1];
  729. const SQChar *str_name = sq_isstring(lvi._name) ? _stringval(lvi._name) : "?";
  730. SafeWriteFmt(v,write,up,"\t\t/* stk[" _PRINT_INT_FMT "] <- lvi[" _PRINT_INT_FMT "](\"%s\") */",
  731. (SQInteger)inst._arg0, (SQInteger)inst._arg1, str_name);
  732. }
  733. break;
  734. case _OP_DMOVE:
  735. {
  736. SQLocalVarInfo &lvi1=_localvarinfos[nlocalvarinfos-1-inst._arg1];
  737. const SQChar *str_name1 = sq_isstring(lvi1._name) ? _stringval(lvi1._name) : "?";
  738. SQLocalVarInfo &lvi2=_localvarinfos[nlocalvarinfos-1-inst._arg3];
  739. const SQChar *str_name2 = sq_isstring(lvi2._name) ? _stringval(lvi2._name) : "?";
  740. SafeWriteFmt(v,write,up,"\t/* stk[" _PRINT_INT_FMT "] <- lvi[" _PRINT_INT_FMT "](\"%s\"), stk[" _PRINT_INT_FMT "] <- lvi[" _PRINT_INT_FMT "](\"%s\") */",
  741. (SQInteger)inst._arg0, (SQInteger)inst._arg1, str_name1,
  742. (SQInteger)inst._arg2, (SQInteger)inst._arg3, str_name2);
  743. }
  744. break;
  745. case _OP_LOADINT:
  746. SafeWriteFmt(v,write,up,"\t/* stk[" _PRINT_INT_FMT "] <- arg1(" _PRINT_INT_FMT ") */",
  747. (SQInteger)inst._arg0, (SQInteger)inst._arg1);
  748. break;
  749. case _OP_EQ:
  750. SafeWriteFmt(v,write,up,"\t\t/* stk_at_arg0[" _PRINT_INT_FMT "] = stk_at_arg2[" _PRINT_INT_FMT "] == (arg3(" _PRINT_INT_FMT ") !=0 ? literals_at_arg1[" _PRINT_INT_FMT "] : stk_at_arg1[" _PRINT_INT_FMT "]) */",
  751. (SQInteger)inst._arg0, (SQInteger)inst._arg2, (SQInteger)inst._arg3, (SQInteger)inst._arg1, (SQInteger)inst._arg1);
  752. break;
  753. case _OP_NOT:
  754. SafeWriteFmt(v,write,up,"\t\t/* stk_at_arg0[" _PRINT_INT_FMT "] = IsFalse(stk_at_arg1[" _PRINT_INT_FMT "]) */",
  755. (SQInteger)inst._arg0, (SQInteger)inst._arg1);
  756. break;
  757. case _OP_AND:
  758. case _OP_OR:
  759. SafeWriteFmt(v,write,up,"\t\t/* %s(stk_at_arg2[" _PRINT_INT_FMT "]) {stk_at_arg0[" _PRINT_INT_FMT "] = stk[" _PRINT_INT_FMT "]; goto[" _PRINT_INT_FMT "]} */",
  760. ((inst.op == _OP_OR) ? "IsTrue" : "IsFalse"),
  761. (SQInteger)inst._arg2, (SQInteger)inst._arg0,
  762. (SQInteger)inst._arg2, i + inst._arg1 + 1);
  763. break;
  764. case _OP_JZ:
  765. SafeWriteFmt(v,write,up,"\t\t/* IsFalse(STK(" _PRINT_INT_FMT ") (ci->_ip+=(" _PRINT_INT_FMT ") -> goto[" _PRINT_INT_FMT "]) */",
  766. (SQInteger)inst._arg0, (SQInteger)inst._arg1, i + inst._arg1 + 1);
  767. break;
  768. case _OP_JCMP:
  769. SafeWriteFmt(v,write,up,"\t\t/* IsFalse(STK(" _PRINT_INT_FMT ") %s STK(" _PRINT_INT_FMT ")) (ci->_ip+=(" _PRINT_INT_FMT ") -> goto[" _PRINT_INT_FMT "]) */",
  770. (SQInteger)inst._arg2, SQGetCmpOpName(inst._arg3),
  771. (SQInteger)inst._arg0, (SQInteger)inst._arg1, i + inst._arg1 + 1);
  772. break;
  773. case _OP_JMP:
  774. SafeWriteFmt(v,write,up,"\t\t/* (ci->_ip+=(" _PRINT_INT_FMT ")) -> goto[" _PRINT_INT_FMT "] */",
  775. (SQInteger)inst._arg1, i + inst._arg1 + 1);
  776. break;
  777. case _OP_RETURN:
  778. SafeWriteFmt(v,write,up,"\t/* _arg0(" _PRINT_INT_FMT ") != 255 ? stk[" _PRINT_INT_FMT "] : null */",
  779. (SQInteger)inst._arg0, (SQInteger)inst._arg1);
  780. break;
  781. case _OP_NEWOBJ:
  782. SafeWriteFmt(v,write,up,"\t/* stk[" _PRINT_INT_FMT "], len(" _PRINT_INT_FMT "), %s(" _PRINT_INT_FMT ") */",
  783. (SQInteger)inst._arg0, (SQInteger)inst._arg1, SQGetNewObjTypeName(inst._arg3), (SQInteger)inst._arg3);
  784. break;
  785. case _OP_APPENDARRAY:
  786. SafeWriteFmt(v,write,up,"\t/* array_at_stk(" _PRINT_INT_FMT "), %s(" _PRINT_INT_FMT "), sq_type(" _PRINT_INT_FMT ") */",
  787. (SQInteger)inst._arg0, SQGetArrayAppendTypeName(inst._arg2),
  788. (SQInteger)inst._arg1, (SQInteger)inst._arg2);
  789. break;
  790. case _OP_NEWSLOT:
  791. case _OP_NEWSLOTA:
  792. SafeWriteFmt(v,write,up,"\t/* flags(" _PRINT_INT_FMT "), table_at_stk(" _PRINT_INT_FMT "), key_at_stk(" _PRINT_INT_FMT "), val_at_stk(" _PRINT_INT_FMT ") */",
  793. (SQInteger)inst._arg0, (SQInteger)inst._arg1,
  794. (SQInteger)inst._arg2, (SQInteger)inst._arg3);
  795. break;
  796. case _OP_LOADBOOL:
  797. SafeWriteFmt(v,write,up,"\t/* stk[" _PRINT_INT_FMT "] <- bool(" _PRINT_INT_FMT ") */",
  798. (SQInteger)inst._arg0, (SQInteger)inst._arg2);
  799. break;
  800. case _OP_LOADNULLS:
  801. SafeWriteFmt(v,write,up,"\t/* stk_at_arg0[" _PRINT_INT_FMT ".. (arg0 + arg1(" _PRINT_INT_FMT "))] = null */",
  802. (SQInteger)inst._arg0, (SQInteger)inst._arg1);
  803. break;
  804. case _OP_LOADROOT:
  805. SafeWriteFmt(v,write,up,"\t/* stk_at_arg0[" _PRINT_INT_FMT "] <- roottable */",
  806. (SQInteger)inst._arg0);
  807. break;
  808. case _OP_CLOSURE:
  809. SafeWriteFmt(v,write,up,"\t/* stk_at_arg0[" _PRINT_INT_FMT "] <- functions[" _PRINT_INT_FMT "](",
  810. (SQInteger)inst._arg0, (SQInteger)inst._arg1);
  811. _CHECK_IO(WriteObjectAsCode(v,up,write,_funcproto(_functions[inst._arg1])->_name));
  812. SafeWriteFmt(v,write,up,"), isLanbda(" _PRINT_INT_FMT ") */", (SQInteger)inst._arg2);
  813. break;
  814. case _OP_ADD:
  815. case _OP_SUB:
  816. case _OP_DIV:
  817. case _OP_MUL:
  818. case _OP_MOD:
  819. {
  820. SQLocalVarInfo &lvi1=_localvarinfos[nlocalvarinfos-1-inst._arg1];
  821. const SQChar *str_name1 = sq_isstring(lvi1._name) ? _stringval(lvi1._name) : "?";
  822. SQLocalVarInfo &lvi2=_localvarinfos[nlocalvarinfos-1-inst._arg2];
  823. const SQChar *str_name2 = sq_isstring(lvi2._name) ? _stringval(lvi2._name) : "?";
  824. SafeWriteFmt(v,write,up,"\t\t/* stk[" _PRINT_INT_FMT "] = stk[" _PRINT_INT_FMT "](\"%s\") %s stk[" _PRINT_INT_FMT "](\"%s\") */",
  825. (SQInteger)inst._arg0, (SQInteger)inst._arg2, str_name2, SQGetArithOpName(inst.op), (SQInteger)inst._arg1, str_name1);
  826. }
  827. break;
  828. case _OP_PINC:
  829. case _OP_INC:
  830. SafeWriteFmt(v,write,up,"\t\t/* target = stk(" _PRINT_INT_FMT "); stk[" _PRINT_INT_FMT "] = stk[" _PRINT_INT_FMT "][stk[" _PRINT_INT_FMT "]] + sarg3(%d) */",
  831. (SQInteger)inst._arg0, (SQInteger)inst._arg0, (SQInteger)inst._arg1, (SQInteger)inst._arg2, ((int)inst._arg3));
  832. break;
  833. case _OP_PINCL:
  834. SafeWriteFmt(v,write,up,"\t\t/* stk[" _PRINT_INT_FMT "] = stk[" _PRINT_INT_FMT "]; stk[" _PRINT_INT_FMT "] += arg3(%d) */",
  835. (SQInteger)inst._arg0, (SQInteger)inst._arg1, (SQInteger)inst._arg1, ((int)inst._arg3));
  836. break;
  837. case _OP_INCL:
  838. SafeWriteFmt(v,write,up,"\t\t/* stk[" _PRINT_INT_FMT "] = stk[" _PRINT_INT_FMT "] + sarg3(%d) */",
  839. (SQInteger)inst._arg0, (SQInteger)inst._arg1, ((int)inst._arg3));
  840. break;
  841. case _OP_BITW:
  842. SafeWriteFmt(v,write,up,"\t\t/* stk[" _PRINT_INT_FMT "] = stk[" _PRINT_INT_FMT "] %s stk[" _PRINT_INT_FMT "] */",
  843. (SQInteger)inst._arg0, (SQInteger)inst._arg1, SQGetBitwiseOpName(inst._arg3), (SQInteger)inst._arg2);
  844. break;
  845. //default:
  846. }
  847. SafeWriteFmt(v,write,up,"\n");
  848. }
  849. SafeWriteFmt(v,write,up,"\t],\n");
  850. SafeWriteFmt(v,write,up,"\tfunctions = [\n");
  851. for(i=0;i<nfunctions;i++){
  852. SafeWriteFmt(v,write,up,"/*function " _PRINT_INT_FMT "*/", i);
  853. _CHECK_IO(_funcproto(_functions[i])->SaveAsSource(v,up,write));
  854. SafeWriteFmt(v,write,up,",\n");
  855. }
  856. SafeWriteFmt(v,write,up,"\t],\n");
  857. SafeWriteFmt(v,write,up,"\tstacksize = " _PRINT_INT_FMT ",\n", _stacksize);
  858. SafeWriteFmt(v,write,up,"\tbgenerator = " _PRINT_INT_FMT ",\n", (SQInteger)_bgenerator);
  859. SafeWriteFmt(v,write,up,"\tvarparams = " _PRINT_INT_FMT ",\n", _varparams);
  860. SafeWriteFmt(v,write,up,"}");
  861. return true;
  862. }
  863. bool SQFunctionProto::Load(SQVM *v,SQUserPointer up,SQREADFUNC read,SQObjectPtr &ret)
  864. {
  865. SQInteger i, nliterals,nparameters;
  866. SQInteger noutervalues ,nlocalvarinfos ;
  867. SQInteger nlineinfos,ninstructions ,nfunctions,ndefaultparams ;
  868. SQObjectPtr sourcename, name;
  869. SQObjectPtr o;
  870. _CHECK_IO(CheckTag(v,read,up,SQ_CLOSURESTREAM_PART));
  871. _CHECK_IO(ReadObject(v, up, read, sourcename));
  872. _CHECK_IO(ReadObject(v, up, read, name));
  873. _CHECK_IO(CheckTag(v,read,up,SQ_CLOSURESTREAM_PART));
  874. _CHECK_IO(SafeRead(v,read,up, &nliterals, sizeof(nliterals)));
  875. _CHECK_IO(SafeRead(v,read,up, &nparameters, sizeof(nparameters)));
  876. _CHECK_IO(SafeRead(v,read,up, &noutervalues, sizeof(noutervalues)));
  877. _CHECK_IO(SafeRead(v,read,up, &nlocalvarinfos, sizeof(nlocalvarinfos)));
  878. _CHECK_IO(SafeRead(v,read,up, &nlineinfos, sizeof(nlineinfos)));
  879. _CHECK_IO(SafeRead(v,read,up, &ndefaultparams, sizeof(ndefaultparams)));
  880. _CHECK_IO(SafeRead(v,read,up, &ninstructions, sizeof(ninstructions)));
  881. _CHECK_IO(SafeRead(v,read,up, &nfunctions, sizeof(nfunctions)));
  882. SQFunctionProto *f = SQFunctionProto::Create(_opt_ss(v),ninstructions,nliterals,nparameters,
  883. nfunctions,noutervalues,nlineinfos,nlocalvarinfos,ndefaultparams);
  884. SQObjectPtr proto = f; //gets a ref in case of failure
  885. f->_sourcename = sourcename;
  886. f->_name = name;
  887. _CHECK_IO(CheckTag(v,read,up,SQ_CLOSURESTREAM_PART));
  888. for(i = 0;i < nliterals; i++){
  889. _CHECK_IO(ReadObject(v, up, read, o));
  890. f->_literals[i] = o;
  891. }
  892. _CHECK_IO(CheckTag(v,read,up,SQ_CLOSURESTREAM_PART));
  893. for(i = 0; i < nparameters; i++){
  894. _CHECK_IO(ReadObject(v, up, read, o));
  895. f->_parameters[i] = o;
  896. }
  897. _CHECK_IO(CheckTag(v,read,up,SQ_CLOSURESTREAM_PART));
  898. for(i = 0; i < noutervalues; i++){
  899. SQUnsignedInteger itype;
  900. SQObjectPtr iname;
  901. _CHECK_IO(SafeRead(v,read,up, &itype, sizeof(SQUnsignedInteger)));
  902. _CHECK_IO(ReadObject(v, up, read, o));
  903. _CHECK_IO(ReadObject(v, up, read, iname));
  904. f->_outervalues[i] = SQOuterVar(iname,o, (SQOuterType)itype);
  905. }
  906. _CHECK_IO(CheckTag(v,read,up,SQ_CLOSURESTREAM_PART));
  907. for(i = 0; i < nlocalvarinfos; i++){
  908. SQLocalVarInfo &lvi = f->_localvarinfos[i];
  909. _CHECK_IO(ReadObject(v, up, read, lvi._name));
  910. _CHECK_IO(SafeRead(v,read,up, &lvi._pos, sizeof(SQUnsignedInteger)));
  911. _CHECK_IO(SafeRead(v,read,up, &lvi._start_op, sizeof(SQUnsignedInteger)));
  912. _CHECK_IO(SafeRead(v,read,up, &lvi._end_op, sizeof(SQUnsignedInteger)));
  913. }
  914. _CHECK_IO(CheckTag(v,read,up,SQ_CLOSURESTREAM_PART));
  915. _CHECK_IO(SafeRead(v,read,up, f->_lineinfos, sizeof(SQLineInfo)*nlineinfos));
  916. _CHECK_IO(CheckTag(v,read,up,SQ_CLOSURESTREAM_PART));
  917. _CHECK_IO(SafeRead(v,read,up, f->_defaultparams, sizeof(SQInteger)*ndefaultparams));
  918. _CHECK_IO(CheckTag(v,read,up,SQ_CLOSURESTREAM_PART));
  919. _CHECK_IO(SafeRead(v,read,up, f->_instructions, sizeof(SQInstruction)*ninstructions));
  920. _CHECK_IO(CheckTag(v,read,up,SQ_CLOSURESTREAM_PART));
  921. for(i = 0; i < nfunctions; i++){
  922. _CHECK_IO(_funcproto(o)->Load(v, up, read, o));
  923. f->_functions[i] = o;
  924. }
  925. _CHECK_IO(SafeRead(v,read,up, &f->_stacksize, sizeof(f->_stacksize)));
  926. _CHECK_IO(SafeRead(v,read,up, &f->_bgenerator, sizeof(f->_bgenerator)));
  927. _CHECK_IO(SafeRead(v,read,up, &f->_varparams, sizeof(f->_varparams)));
  928. ret = f;
  929. return true;
  930. }
  931. #ifndef NO_GARBAGE_COLLECTOR
  932. #define START_MARK() if(!(_uiRef&MARK_FLAG)){ \
  933. _uiRef|=MARK_FLAG;
  934. #define END_MARK() RemoveFromChain(&_sharedstate->_gc_chain, this); \
  935. AddToChain(chain, this); }
  936. void SQVM::Mark(SQCollectable **chain)
  937. {
  938. START_MARK()
  939. SQSharedState::MarkObject(_lasterror,chain);
  940. SQSharedState::MarkObject(_errorhandler,chain);
  941. SQSharedState::MarkObject(_debughook_closure,chain);
  942. SQSharedState::MarkObject(_roottable, chain);
  943. SQSharedState::MarkObject(temp_reg, chain);
  944. for(SQUnsignedInteger i = 0; i < _stack.size(); i++) SQSharedState::MarkObject(_stack[i], chain);
  945. for(SQInteger k = 0; k < _callsstacksize; k++) SQSharedState::MarkObject(_callsstack[k]._closure, chain);
  946. END_MARK()
  947. }
  948. void SQArrayBase::Mark(SQCollectable **chain)
  949. {
  950. if(isCollectable())
  951. {
  952. START_MARK()
  953. SQInteger len = Size();
  954. SQObjectPtr o;
  955. for(SQInteger i = 0;i < len; i++){
  956. _get2(i, o); //do not trigger refcount
  957. SQSharedState::MarkObject(o, chain);
  958. }
  959. o._type=OT_NULL; //hack to not trigger dereference on this temp var
  960. END_MARK()
  961. }
  962. }
  963. void SQTable::Mark(SQCollectable **chain)
  964. {
  965. START_MARK()
  966. if(_delegate) _delegate->Mark(chain);
  967. SQInteger len = _numofnodes;
  968. for(SQInteger i = 0; i < len; i++){
  969. SQSharedState::MarkObject(_nodes[i].key, chain);
  970. SQSharedState::MarkObject(_nodes[i].val, chain);
  971. }
  972. END_MARK()
  973. }
  974. void SQClass::Mark(SQCollectable **chain)
  975. {
  976. START_MARK()
  977. _members->Mark(chain);
  978. if(_base) _base->Mark(chain);
  979. SQSharedState::MarkObject(_attributes, chain);
  980. for(SQUnsignedInteger i =0; i< _defaultvalues.size(); i++) {
  981. SQSharedState::MarkObject(_defaultvalues[i].val, chain);
  982. SQSharedState::MarkObject(_defaultvalues[i].attrs, chain);
  983. }
  984. for(SQUnsignedInteger j =0; j< _methods.size(); j++) {
  985. SQSharedState::MarkObject(_methods[j].val, chain);
  986. SQSharedState::MarkObject(_methods[j].attrs, chain);
  987. }
  988. for(SQUnsignedInteger k =0; k< MT_LAST; k++) {
  989. SQSharedState::MarkObject(_metamethods[k], chain);
  990. }
  991. END_MARK()
  992. }
  993. void SQInstance::Mark(SQCollectable **chain)
  994. {
  995. START_MARK()
  996. _class->Mark(chain);
  997. SQUnsignedInteger nvalues = _class->_defaultvalues.size();
  998. for(SQUnsignedInteger i =0; i< nvalues; i++) {
  999. SQSharedState::MarkObject(_values[i], chain);
  1000. }
  1001. END_MARK()
  1002. }
  1003. void SQGenerator::Mark(SQCollectable **chain)
  1004. {
  1005. START_MARK()
  1006. for(SQUnsignedInteger i = 0; i < _stack.size(); i++) SQSharedState::MarkObject(_stack[i], chain);
  1007. SQSharedState::MarkObject(_closure, chain);
  1008. END_MARK()
  1009. }
  1010. void SQFunctionProto::Mark(SQCollectable **chain)
  1011. {
  1012. START_MARK()
  1013. for(SQInteger i = 0; i < _nliterals; i++) SQSharedState::MarkObject(_literals[i], chain);
  1014. for(SQInteger k = 0; k < _nfunctions; k++) SQSharedState::MarkObject(_functions[k], chain);
  1015. END_MARK()
  1016. }
  1017. void SQClosure::Mark(SQCollectable **chain)
  1018. {
  1019. START_MARK()
  1020. if(_base) _base->Mark(chain);
  1021. SQFunctionProto *fp = _function;
  1022. fp->Mark(chain);
  1023. for(SQInteger i = 0; i < fp->_noutervalues; i++) SQSharedState::MarkObject(_outervalues[i], chain);
  1024. for(SQInteger k = 0; k < fp->_ndefaultparams; k++) SQSharedState::MarkObject(_defaultparams[k], chain);
  1025. END_MARK()
  1026. }
  1027. void SQNativeClosure::Mark(SQCollectable **chain)
  1028. {
  1029. START_MARK()
  1030. for(SQUnsignedInteger i = 0; i < _noutervalues; i++) SQSharedState::MarkObject(_outervalues[i], chain);
  1031. END_MARK()
  1032. }
  1033. void SQOuter::Mark(SQCollectable **chain)
  1034. {
  1035. START_MARK()
  1036. /* If the valptr points to a closed value, that value is alive */
  1037. if(_valptr == &_value) {
  1038. SQSharedState::MarkObject(_value, chain);
  1039. }
  1040. END_MARK()
  1041. }
  1042. void SQUserData::Mark(SQCollectable **chain){
  1043. START_MARK()
  1044. if(_delegate) _delegate->Mark(chain);
  1045. END_MARK()
  1046. }
  1047. void SQCollectable::UnMark() { _uiRef&=~MARK_FLAG; }
  1048. #endif