src/squirrel/squirrel/sqvm.cpp

   1 /*
   2         see copyright notice in squirrel.h
   3 */
   4 #include "sqpcheader.h"
   5 #include <math.h>
   6 #include <stdlib.h>
   7 #include "sqopcodes.h"
   8 #include "sqfuncproto.h"
   9 #include "sqvm.h"
  10 #include "sqclosure.h"
  11 #include "sqstring.h"
  12 #include "sqtable.h"
  13 #include "squserdata.h"
  14 #include "sqarray.h"
  15 #include "sqclass.h"
  16
  17 #define TOP() (_stack[_top-1])
  18
  19 bool SQVM::BW_OP(unsigned int op,SQObjectPtr &trg,const SQObjectPtr &o1,const SQObjectPtr &o2)
  20 {
  21         SQInteger res;
  22         SQInteger i1 = _integer(o1), i2 = _integer(o2);
  23         if((type(o1)==OT_INTEGER) && (type(o2)==OT_INTEGER))
  24         {
  25                 switch(op) {
  26                         case BW_AND:    res = i1 & i2; break;
  27                         case BW_OR:             res = i1 | i2; break;
  28                         case BW_XOR:    res = i1 ^ i2; break;
  29                         case BW_SHIFTL: res = i1 << i2; break;
  30                         case BW_SHIFTR: res = i1 >> i2; break;
  31                         case BW_USHIFTR:res = (SQInteger)(*((unsigned int*)&i1) >> i2); break;
  32                         default: { Raise_Error(_SC("internal vm error bitwise op failed")); return false; }
  33                 }
  34         }
  35         else { Raise_Error(_SC("bitwise op between '%s' and '%s'"),GetTypeName(o1),GetTypeName(o2)); return false;}
  36         trg = res;
  37         return true;
  38 }
  39
  40 bool SQVM::ARITH_OP(unsigned int op,SQObjectPtr &trg,const SQObjectPtr &o1,const SQObjectPtr &o2)
  41 {
  42         if(sq_isnumeric(o1) && sq_isnumeric(o2)) {
  43                         if((type(o1)==OT_INTEGER) && (type(o2)==OT_INTEGER)) {
  44                                 switch(op) {
  45                                 case '+': trg = _integer(o1) + _integer(o2); break;
  46                                 case '-': trg = _integer(o1) - _integer(o2); break;
  47                                 case '/': if(_integer(o2) == 0) { Raise_Error(_SC("division by zero")); return false; }
  48                                         trg = _integer(o1) / _integer(o2);
  49                                         break;
  50                                 case '*': trg = _integer(o1) * _integer(o2); break;
  51                                 case '%': trg = _integer(o1) % _integer(o2); break;
  52                                 }
  53                         }else{
  54                                 switch(op) {
  55                                 case '+': trg = tofloat(o1) + tofloat(o2); break;
  56                                 case '-': trg = tofloat(o1) - tofloat(o2); break;
  57                                 case '/': trg = tofloat(o1) / tofloat(o2); break;
  58                                 case '*': trg = tofloat(o1) * tofloat(o2); break;
  59                                 case '%': trg = SQFloat(fmod((double)tofloat(o1),(double)tofloat(o2))); break;
  60                                 }
  61                         }
  62                 } else {
  63                         if(op == '+' && (type(o1) == OT_STRING || type(o2) == OT_STRING)){
  64                                         if(!StringCat(o1, o2, trg)) return false;
  65                         }
  66                         else if(!ArithMetaMethod(op,o1,o2,trg)) {
  67                                 Raise_Error(_SC("arith op %c on between '%s' and '%s'"),op,GetTypeName(o1),GetTypeName(o2)); return false;
  68                         }
  69                 }
  70                 return true;
  71 }
  72
  73 SQObjectPtr &stack_get(HSQUIRRELVM v,int idx){return ((idx>=0)?(v->GetAt(idx+v->_stackbase-1)):(v->GetUp(idx)));}
  74
  75 SQVM::SQVM(SQSharedState *ss)
  76 {
  77         _sharedstate=ss;
  78         _suspended = SQFalse;
  79         _suspended_target=-1;
  80         _suspended_root = SQFalse;
  81         _suspended_traps=-1;
  82         _foreignptr=NULL;
  83         _nnativecalls=0;
  84         _uiRef=0;
  85         _lasterror = _null_;
  86         _errorhandler = _null_;
  87         _debughook = _null_;
  88         INIT_CHAIN();ADD_TO_CHAIN(&_ss(this)->_gc_chain,this);
  89 }
  90
  91 void SQVM::Finalize()
  92 {
  93         _roottable = _null_;
  94         _lasterror = _null_;
  95         _errorhandler = _null_;
  96         _debughook = _null_;
  97         temp_reg = _null_;
  98         int size=_stack.size();
  99         for(int i=0;i<size;i++)
 100                 _stack[i]=_null_;
 101 }
 102
 103 SQVM::~SQVM()
 104 {
 105         Finalize();
 106         REMOVE_FROM_CHAIN(&_ss(this)->_gc_chain,this);
 107 }
 108
 109 bool SQVM::ArithMetaMethod(int op,const SQObjectPtr &o1,const SQObjectPtr &o2,SQObjectPtr &dest)
 110 {
 111         SQMetaMethod mm;
 112         switch(op){
 113                 case _SC('+'): mm=MT_ADD; break;
 114                 case _SC('-'): mm=MT_SUB; break;
 115                 case _SC('/'): mm=MT_DIV; break;
 116                 case _SC('*'): mm=MT_MUL; break;
 117                 case _SC('%'): mm=MT_MODULO; break;
 118         }
 119         if(is_delegable(o1) && _delegable(o1)->_delegate) {
 120                 Push(o1);Push(o2);
 121                 return CallMetaMethod(_delegable(o1),mm,2,dest);
 122         }
 123         return false;
 124 }
 125
 126 bool SQVM::NEG_OP(SQObjectPtr &trg,const SQObjectPtr &o)
 127 {
 128
 129         switch(type(o)) {
 130         case OT_INTEGER:
 131                 trg = -_integer(o);
 132                 return true;
 133         case OT_FLOAT:
 134                 trg = -_float(o);
 135                 return true;
 136         case OT_TABLE:
 137         case OT_USERDATA:
 138         case OT_INSTANCE:
 139                 if(_delegable(o)->_delegate) {
 140                         Push(o);
 141                         if(CallMetaMethod(_delegable(o), MT_UNM, 1, temp_reg)) {
 142                                 trg = temp_reg;
 143                                 return true;
 144                         }
 145                 }
 146                 return true;
 147
 148         }
 149         Raise_Error(_SC("attempt to negate a %s"), GetTypeName(o));
 150         return false;
 151 }
 152
 153 #define _RET_SUCCEED(exp) { result = (exp); return true; }
 154 bool SQVM::ObjCmp(const SQObjectPtr &o1,const SQObjectPtr &o2,int &result)
 155 {
 156         if(type(o1)==type(o2)){
 157                 if(_userpointer(o1)==_userpointer(o2))_RET_SUCCEED(0);
 158                 SQObjectPtr res;
 159                 switch(type(o1)){
 160                 case OT_STRING:
 161                         _RET_SUCCEED(scstrcmp(_stringval(o1),_stringval(o2)));
 162                 case OT_INTEGER:
 163                         _RET_SUCCEED(_integer(o1)-_integer(o2));
 164                 case OT_FLOAT:
 165                         _RET_SUCCEED((_float(o1)<_float(o2))?-1:1);
 166                 case OT_TABLE:
 167                 case OT_USERDATA:
 168                 case OT_INSTANCE:
 169                         Push(o1);Push(o2);
 170                         if(_delegable(o1)->_delegate)CallMetaMethod(_delegable(o1),MT_CMP,2,res);
 171                         break;
 172                 }
 173                 if(type(res)!=OT_INTEGER) { Raise_CompareError(o1,o2); return false; }
 174                 _RET_SUCCEED(_integer(res));
 175         }
 176         else{
 177                 if(sq_isnumeric(o1) && sq_isnumeric(o2)){
 178                         if((type(o1)==OT_INTEGER) && (type(o2)==OT_FLOAT)) {
 179                                 if( _integer(o1)==_float(o2) ) { _RET_SUCCEED(0); }
 180                                 else if( _integer(o1)<_float(o2) ) { _RET_SUCCEED(-1); }
 181                                 _RET_SUCCEED(1);
 182                         }
 183                         else{
 184                                 if( _float(o1)==_integer(o2) ) { _RET_SUCCEED(0); }
 185                                 else if( _float(o1)<_integer(o2) ) { _RET_SUCCEED(-1); }
 186                                 _RET_SUCCEED(1);
 187                         }
 188                 }
 189                 else if(type(o1)==OT_NULL) {_RET_SUCCEED(-1);}
 190                 else if(type(o2)==OT_NULL) {_RET_SUCCEED(1);}
 191                 else { Raise_CompareError(o1,o2); return false; }
 192
 193         }
 194         assert(0);
 195         _RET_SUCCEED(0); //cannot happen
 196 }
 197
 198 bool SQVM::CMP_OP(CmpOP op, const SQObjectPtr &o1,const SQObjectPtr &o2,SQObjectPtr &res)
 199 {
 200         int r;
 201         if(ObjCmp(o1,o2,r)) {
 202                 switch(op) {
 203                         case CMP_G: res = (r > 0)?_true_:_false_; return true;
 204                         case CMP_GE: res = (r >= 0)?_true_:_false_; return true;
 205                         case CMP_L: res = (r < 0)?_true_:_false_; return true;
 206                         case CMP_LE: res = (r <= 0)?_true_:_false_; return true;
 207
 208                 }
 209                 assert(0);
 210         }
 211         return false;
 212 }
 213
 214 bool SQVM::StringCat(const SQObjectPtr &str,const SQObjectPtr &obj,SQObjectPtr &dest)
 215 {
 216         switch(type(obj))
 217         {
 218         case OT_STRING:
 219                 switch(type(str)){
 220                 case OT_STRING: {
 221                         int l=_string(str)->_len,ol=_string(obj)->_len;
 222                         SQChar *s=_sp(rsl(l+ol+1));
 223                         memcpy(s,_stringval(str),rsl(l));memcpy(s+l,_stringval(obj),rsl(ol));s[l+ol]=_SC('\0');
 224                         break;
 225                 }
 226                 case OT_FLOAT:
 227                         scsprintf(_sp(rsl(NUMBER_MAX_CHAR+_string(obj)->_len+1)),_SC("%g%s"),_float(str),_stringval(obj));
 228                         break;
 229                 case OT_INTEGER:
 230                         scsprintf(_sp(rsl(NUMBER_MAX_CHAR+_string(obj)->_len+1)),_SC("%d%s"),_integer(str),_stringval(obj));
 231                         break;
 232                 default:
 233                         Raise_Error(_SC("string concatenation between '%s' and '%s'"),GetTypeName(str),GetTypeName(obj));
 234                         return false;
 235                 }
 236                 dest=SQString::Create(_ss(this),_spval);
 237                 break;
 238         case OT_FLOAT:
 239                 scsprintf(_sp(rsl(NUMBER_MAX_CHAR+_string(str)->_len+1)),_SC("%s%g"),_stringval(str),_float(obj));
 240                 dest=SQString::Create(_ss(this),_spval);
 241                 break;
 242         case OT_INTEGER:
 243                 scsprintf(_sp(rsl(NUMBER_MAX_CHAR+_string(str)->_len+1)),_SC("%s%d"),_stringval(str),_integer(obj));
 244                 dest=SQString::Create(_ss(this),_spval);
 245                 break;
 246         default:
 247                 Raise_Error(_SC("string concatenation between '%s' and '%s'"),GetTypeName(str),GetTypeName(obj));
 248                 return false;
 249         }
 250         return true;
 251 }
 252
 253 const SQChar *IdType2Name(SQObjectType type)
 254 {
 255         switch(_RAW_TYPE(type))
 256         {
 257         case _RT_NULL:return _SC("null");
 258         case _RT_INTEGER:return _SC("integer");
 259         case _RT_FLOAT:return _SC("float");
 260         case _RT_BOOL:return _SC("bool");
 261         case _RT_STRING:return _SC("string");
 262         case _RT_TABLE:return _SC("table");
 263         case _RT_ARRAY:return _SC("array");
 264         case _RT_GENERATOR:return _SC("generator");
 265         case _RT_CLOSURE:
 266         case _RT_NATIVECLOSURE:
 267                 return _SC("function");
 268         case _RT_USERDATA:
 269         case _RT_USERPOINTER:
 270                 return _SC("userdata");
 271         case _RT_THREAD: return _SC("thread");
 272         case _RT_FUNCPROTO: return _SC("function");
 273         case _RT_CLASS: return _SC("class");
 274         case _RT_INSTANCE: return _SC("instance");
 275         default:
 276                 return NULL;
 277         }
 278 }
 279
 280 const SQChar *GetTypeName(const SQObjectPtr &obj1)
 281 {
 282         return IdType2Name(type(obj1));
 283 }
 284
 285 void SQVM::TypeOf(const SQObjectPtr &obj1,SQObjectPtr &dest)
 286 {
 287         if(is_delegable(obj1) && _delegable(obj1)->_delegate) {
 288                 Push(obj1);
 289                 if(CallMetaMethod(_delegable(obj1),MT_TYPEOF,1,dest))
 290                         return;
 291         }
 292         dest = SQString::Create(_ss(this),GetTypeName(obj1));
 293 }
 294
 295 bool SQVM::Init(SQVM *friendvm, int stacksize)
 296 {
 297         _stack.resize(stacksize);
 298         _callsstack.reserve(4);
 299         _stackbase = 0;
 300         _top = 0;
 301         if(!friendvm)
 302                 _roottable = SQTable::Create(_ss(this), 0);
 303         else {
 304                 _roottable = friendvm->_roottable;
 305                 _errorhandler = friendvm->_errorhandler;
 306                 _debughook = friendvm->_debughook;
 307         }
 308
 309         sq_base_register(this);
 310         return true;
 311 }
 312
 313 extern SQInstructionDesc g_InstrDesc[];
 314
 315 bool SQVM::StartCall(SQClosure *closure,int target,int nargs,int stackbase,bool tailcall)
 316 {
 317         SQFunctionProto *func = _funcproto(closure->_function);
 318         //const int outerssize = func->_outervalues.size();
 319
 320         const int paramssize = func->_parameters.size();
 321         const int oldtop = _top;
 322         const int newtop = stackbase + func->_stacksize;
 323
 324
 325         if(func->_varparams)
 326         {
 327                 if (nargs < paramssize) {
 328                         Raise_Error(_SC("wrong number of parameters"));
 329                         return false;
 330                 }
 331                 for(int n = 0; n < nargs - paramssize; n++) {
 332                         _vargsstack.push_back(_stack[stackbase+paramssize+n]);
 333                         _stack[stackbase+paramssize+n] = _null_;
 334                 }
 335         }
 336         else {
 337                 if (paramssize != nargs) {
 338                         Raise_Error(_SC("wrong number of parameters"));
 339                         return false;
 340                 }
 341
 342         }
 343
 344         if (!tailcall) {
 345                 PUSH_CALLINFO(this, CallInfo());
 346                 ci->_etraps = 0;
 347                 ci->_prevstkbase = stackbase - _stackbase;
 348                 ci->_target = target;
 349                 ci->_prevtop = _top - _stackbase;
 350                 ci->_ncalls = 1;
 351                 ci->_root = SQFalse;
 352         }
 353         else {
 354                 ci->_ncalls++;
 355         }
 356         ci->_vargs.size = (nargs - paramssize);
 357         ci->_vargs.base = _vargsstack.size()-(nargs - paramssize);
 358         ci->_closure._unVal.pClosure = closure;
 359         ci->_closure._type = OT_CLOSURE;
 360         ci->_iv = &func->_instructions;
 361         ci->_literals = &func->_literals;
 362         //grows the stack if needed
 363         if (((unsigned int)newtop + (func->_stacksize<<1)) > _stack.size()) {
 364                 _stack.resize(_stack.size() + (func->_stacksize<<1));
 365         }
 366
 367         _top = newtop;
 368         _stackbase = stackbase;
 369         ci->_ip = ci->_iv->_vals;
 370         return true;
 371 }
 372
 373 bool SQVM::Return(int _arg0, int _arg1, SQObjectPtr &retval)
 374 {
 375         if (type(_debughook) != OT_NULL && _rawval(_debughook) != _rawval(ci->_closure))
 376                 for(int i=0;i<ci->_ncalls;i++)
 377                         CallDebugHook(_SC('r'));
 378
 379         SQBool broot = ci->_root;
 380         int last_top = _top;
 381         int target = ci->_target;
 382         int oldstackbase = _stackbase;
 383         _stackbase -= ci->_prevstkbase;
 384         _top = _stackbase + ci->_prevtop;
 385         if(ci->_vargs.size) PopVarArgs(ci->_vargs);
 386         POP_CALLINFO(this);
 387         if (broot) {
 388                 if (_arg0 != MAX_FUNC_STACKSIZE) retval = _stack[oldstackbase+_arg1];
 389                 else retval = _null_;
 390         }
 391         else {
 392                 if (_arg0 != MAX_FUNC_STACKSIZE)
 393                         STK(target) = _stack[oldstackbase+_arg1];
 394                 else
 395                         STK(target) = _null_;
 396         }
 397
 398         while (last_top >= _top) _stack[last_top--].Null();
 399         assert(oldstackbase >= _stackbase);
 400         return broot?true:false;
 401 }
 402
 403 #define _RET_ON_FAIL(exp) { if(!exp) return false; }
 404
 405 bool SQVM::LOCAL_INC(int op,SQObjectPtr &target, SQObjectPtr &a, SQObjectPtr &incr)
 406 {
 407         _RET_ON_FAIL(ARITH_OP( op , target, a, incr));
 408         a = target;
 409         return true;
 410 }
 411
 412 bool SQVM::PLOCAL_INC(int op,SQObjectPtr &target, SQObjectPtr &a, SQObjectPtr &incr)
 413 {
 414         SQObjectPtr trg;
 415         _RET_ON_FAIL(ARITH_OP( op , trg, a, incr));
 416         target = a;
 417         a = trg;
 418         return true;
 419 }
 420
 421 bool SQVM::DerefInc(int op,SQObjectPtr &target, SQObjectPtr &self, SQObjectPtr &key, SQObjectPtr &incr, bool postfix)
 422 {
 423         SQObjectPtr tmp, tself = self, tkey = key;
 424         if (!Get(tself, tkey, tmp, false, true)) { Raise_IdxError(tkey); return false; }
 425         _RET_ON_FAIL(ARITH_OP( op , target, tmp, incr))
 426         Set(tself, tkey, target,true);
 427         if (postfix) target = tmp;
 428         return true;
 429 }
 430
 431 #define arg0 (_i_._arg0)
 432 #define arg1 (_i_._arg1)
 433 #define sarg1 (*((int *)&_i_._arg1))
 434 #define arg2 (_i_._arg2)
 435 #define arg3 (_i_._arg3)
 436 #define sarg3 (*((char *)&_i_._arg3))
 437
 438 SQRESULT SQVM::Suspend()
 439 {
 440         if (_suspended)
 441                 return sq_throwerror(this, _SC("cannot suspend an already suspended vm"));
 442         if (_nnativecalls!=2)
 443                 return sq_throwerror(this, _SC("cannot suspend through native calls/metamethods"));
 444         return SQ_SUSPEND_FLAG;
 445 }
 446
 447 void SQVM::PopVarArgs(VarArgs &vargs)
 448 {
 449         for(int n = 0; n< vargs.size; n++)
 450                 _vargsstack.pop_back();
 451 }
 452
 453 #define _FINISH(stoploop) {finished = stoploop; return true; }
 454 bool SQVM::FOREACH_OP(SQObjectPtr &o1,SQObjectPtr &o2,SQObjectPtr
 455 &o3,SQObjectPtr &o4,int arg_2,bool &finished)
 456 {
 457         int nrefidx;
 458         switch(type(o1)) {
 459         case OT_TABLE:
 460                 if((nrefidx = _table(o1)->Next(o4, o2, o3)) == -1) _FINISH(true);
 461                 o4 = (SQInteger)nrefidx; _FINISH(false);
 462         case OT_ARRAY:
 463                 if((nrefidx = _array(o1)->Next(o4, o2, o3)) == -1) _FINISH(true);
 464                 o4 = (SQInteger) nrefidx; _FINISH(false);
 465         case OT_STRING:
 466                 if((nrefidx = _string(o1)->Next(o4, o2, o3)) == -1)_FINISH(true);
 467                 o4 = (SQInteger)nrefidx; _FINISH(false);
 468         case OT_CLASS:
 469                 if((nrefidx = _class(o1)->Next(o4, o2, o3)) == -1)_FINISH(true);
 470                 o4 = (SQInteger)nrefidx; _FINISH(false);
 471         case OT_USERDATA:
 472         case OT_INSTANCE:
 473                 if(_delegable(o1)->_delegate) {
 474                         SQObjectPtr itr;
 475                         Push(o1);
 476                         Push(o4);
 477                         if(CallMetaMethod(_delegable(o1), MT_NEXTI, 2, itr)){
 478                                 o4 = o2 = itr;
 479                                 if(type(itr) == OT_NULL) _FINISH(true);
 480                                 if(!Get(o1, itr, o3, false,false)) {
 481                                         Raise_Error(_SC("_nexti returned an invalid idx"));
 482                                         return false;
 483                                 }
 484                                 _FINISH(false);
 485                         }
 486                         Raise_Error(_SC("_nexti failed"));
 487                         return false;
 488                 }
 489                 break;
 490         case OT_GENERATOR:
 491                 if(_generator(o1)->_state == SQGenerator::eDead) _FINISH(true);
 492                 if(_generator(o1)->_state == SQGenerator::eSuspended) {
 493                         SQInteger idx = 0;
 494                         if(type(o4) == OT_INTEGER) {
 495                                 idx = _integer(o4) + 1;
 496                         }
 497                         o2 = idx;
 498                         o4 = idx;
 499                         _generator(o1)->Resume(this, arg_2+1);
 500                         _FINISH(false);
 501                 }
 502         }
 503         Raise_Error(_SC("cannot iterate %s"), GetTypeName(o1));
 504         return false; //cannot be hit(just to avoid warnings)
 505 }
 506
 507 bool SQVM::DELEGATE_OP(SQObjectPtr &trg,SQObjectPtr &o1,SQObjectPtr &o2)
 508 {
 509         if(type(o1) != OT_TABLE) { Raise_Error(_SC("delegating a '%s'"), GetTypeName(o1)); return false; }
 510         switch(type(o2)) {
 511         case OT_TABLE:
 512                 if(!_table(o1)->SetDelegate(_table(o2))){
 513                         Raise_Error(_SC("delegate cycle detected"));
 514                         return false;
 515                 }
 516                 break;
 517         case OT_NULL:
 518                 _table(o1)->SetDelegate(NULL);
 519                 break;
 520         default:
 521                 Raise_Error(_SC("using '%s' as delegate"), GetTypeName(o2));
 522                 return false;
 523                 break;
 524         }
 525         trg = o1;
 526         return true;
 527 }
 528 #define COND_LITERAL (arg3!=0?(*ci->_literals)[arg1]:STK(arg1))
 529
 530 #define _GUARD(exp) { if(!exp) { Raise_Error(_lasterror); SQ_THROW();} }
 531
 532 #define SQ_THROW() { goto exception_trap; }
 533
 534 bool SQVM::CLOSURE_OP(SQObjectPtr &target, SQFunctionProto *func)
 535 {
 536         int nouters;
 537         SQClosure *closure = SQClosure::Create(_ss(this), func);
 538         if(nouters = func->_outervalues.size()) {
 539                 closure->_outervalues.reserve(nouters);
 540                 for(int i = 0; i<nouters; i++) {
 541                         SQOuterVar &v = func->_outervalues[i];
 542                         switch(v._type){
 543                         case otSYMBOL:
 544                                 closure->_outervalues.push_back(_null_);
 545                                 if(!Get(_stack._vals[_stackbase]/*STK(0)*/, v._src, closure->_outervalues.top(), false,true))
 546                                 {Raise_IdxError(v._src); return false; }
 547                                 break;
 548                         case otLOCAL:
 549                                 closure->_outervalues.push_back(_stack._vals[_stackbase+_integer(v._src)]);
 550                                 break;
 551                         case otOUTER:
 552                                 closure->_outervalues.push_back(_closure(ci->_closure)->_outervalues[_integer(v._src)]);
 553                                 break;
 554                         }
 555                 }
 556         }
 557         target = closure;
 558         return true;
 559
 560 }
 561
 562 bool SQVM::GETVARGV_OP(SQObjectPtr &target,SQObjectPtr &index,CallInfo *ci)
 563 {
 564         if(ci->_vargs.size == 0) {
 565                 Raise_Error(_SC("the function doesn't have var args"));
 566                 return false;
 567         }
 568         if(!sq_isnumeric(index)){
 569                 Raise_Error(_SC("indexing 'vargv' with %s"),GetTypeName(index));
 570                 return false;
 571         }
 572         int idx = tointeger(index);
 573         if(idx < 0 || idx >= ci->_vargs.size){ Raise_Error(_SC("vargv index out of range")); return false; }
 574         target = _vargsstack[ci->_vargs.base+idx];
 575         return true;
 576 }
 577
 578 bool SQVM::CLASS_OP(SQObjectPtr &target,int baseclass,int attributes)
 579 {
 580         SQClass *base = NULL;
 581         SQObjectPtr attrs;
 582         if(baseclass != MAX_LITERALS) {
 583                 if(type(_stack._vals[_stackbase+baseclass]) != OT_CLASS) { Raise_Error(_SC("trying to inherit from a %s"),GetTypeName(_stack._vals[_stackbase+baseclass])); return false; }
 584                 base = _class(_stack._vals[_stackbase + baseclass]);
 585         }
 586         if(attributes != MAX_FUNC_STACKSIZE) {
 587                 attrs = _stack._vals[_stackbase+attributes];
 588         }
 589         target = SQClass::Create(_ss(this),base);
 590         _class(target)->_attributes = attrs;
 591         return true;
 592 }
 593
 594 bool SQVM::IsFalse(SQObjectPtr &o)
 595 {
 596         SQObjectType t = type(o);
 597         if((t & SQOBJECT_CANBEFALSE)
 598                 && ((t == OT_NULL) || ((t == OT_INTEGER || t == OT_BOOL) && _integer(o) == 0)
 599                 || (t == OT_FLOAT && _float(o) == SQFloat(0.0)))) {
 600                         return true;
 601                 }
 602         return false;
 603 }
 604
 605 bool SQVM::IsEqual(SQObjectPtr &o1,SQObjectPtr &o2,bool &res)
 606 {
 607         if(type(o1) == type(o2)) {
 608                 res = ((_userpointer(o1) == _userpointer(o2)?true:false));
 609         }
 610         else {
 611                 if(sq_isnumeric(o1) && sq_isnumeric(o2)) {
 612                         int cmpres;
 613                         if(!ObjCmp(o1, o2,cmpres)) return false;
 614                         res = (cmpres == 0);
 615                 }
 616                 else {
 617                         res = false;
 618                 }
 619         }
 620         return true;
 621 }
 622
 623 bool SQVM::Execute(SQObjectPtr &closure, int target, int nargs, int stackbase,SQObjectPtr &outres, ExecutionType et)
 624 {
 625         if ((_nnativecalls + 1) > MAX_NATIVE_CALLS) { Raise_Error(_SC("Native stack overflow")); return false; }
 626         _nnativecalls++;
 627         AutoDec ad(&_nnativecalls);
 628         int traps = 0;
 629         //temp_reg vars for OP_CALL
 630         int ct_target;
 631         bool ct_tailcall;
 632
 633         switch(et) {
 634                 case ET_CALL:
 635                         if(!StartCall(_closure(closure), _top - nargs, nargs, stackbase, false)) {
 636                                 //call the handler if there are no calls in the stack, if not relies on the previous node
 637                                 if(ci == NULL) CallErrorHandler(_lasterror);
 638                                 return false;
 639                         }
 640                         ci->_root = SQTrue;
 641                         break;
 642                 case ET_RESUME_GENERATOR: _generator(closure)->Resume(this, target); ci->_root = SQTrue; traps += ci->_etraps; break;
 643                 case ET_RESUME_VM:
 644                         traps = _suspended_traps;
 645                         ci->_root = _suspended_root;
 646                         _suspended = SQFalse;
 647                         break;
 648         }
 649
 650 exception_restore:
 651         //
 652         {
 653                 for(;;)
 654                 {
 655                         const SQInstruction &_i_ = *ci->_ip++;
 656                         //dumpstack(_stackbase);
 657                         //scprintf("\n[%d] %s %d %d %d %d\n",ci->_ip-ci->_iv->_vals,g_InstrDesc[_i_.op].name,arg0,arg1,arg2,arg3);
 658                         switch(_i_.op)
 659                         {
 660                         case _OP_LINE:
 661                                 if(type(_debughook) != OT_NULL && _rawval(_debughook) != _rawval(ci->_closure))
 662                                         CallDebugHook(_SC('l'),arg1);
 663                                 continue;
 664                         case _OP_LOAD: TARGET = (*ci->_literals)[arg1]; continue;
 665                         case _OP_TAILCALL:
 666                                 temp_reg = STK(arg1);
 667                                 if (type(temp_reg) == OT_CLOSURE){
 668                                         ct_tailcall = true;
 669                                         if(ci->_vargs.size) PopVarArgs(ci->_vargs);
 670                                         for (int i = 0; i < arg3; i++) STK(i) = STK(arg2 + i);
 671                                         ct_target = ci->_target;
 672                                         goto common_call;
 673                                 }
 674                         case _OP_CALL: {
 675                                         ct_tailcall = false;
 676                                         ct_target = arg0;
 677                                         temp_reg = STK(arg1);
 678 common_call:
 679                                         int last_top = _top;
 680                                         switch (type(temp_reg)) {
 681                                         case OT_CLOSURE:{
 682                                                 _GUARD(StartCall(_closure(temp_reg), ct_target, arg3, ct_tailcall?_stackbase:_stackbase+arg2, ct_tailcall));
 683                                                 if (_funcproto(_closure(temp_reg)->_function)->_bgenerator) {
 684                                                         SQGenerator *gen = SQGenerator::Create(_ss(this), _closure(temp_reg));
 685                                                         _GUARD(gen->Yield(this));
 686                                                         Return(1, ct_target, temp_reg);
 687                                                         STK(ct_target) = gen;
 688                                                         while (last_top >= _top) _stack[last_top--].Null();
 689                                                         continue;
 690                                                 }
 691                                                 if (type(_debughook) != OT_NULL && _rawval(_debughook) != _rawval(ci->_closure))
 692                                                         CallDebugHook(_SC('c'));
 693                                                 }
 694                                                 break;
 695                                         case OT_NATIVECLOSURE: {
 696                                                 bool suspend;
 697                                                 _GUARD(CallNative(_nativeclosure(temp_reg), arg3, _stackbase+arg2, ct_tailcall, temp_reg,suspend));
 698                                                 if(suspend){
 699                                                         _suspended = SQTrue;
 700                                                         _suspended_target = ct_target;
 701                                                         _suspended_root = ci->_root;
 702                                                         _suspended_traps = traps;
 703                                                         outres = temp_reg;
 704                                                         return true;
 705                                                 }
 706                                                 STK(ct_target) = temp_reg;
 707                                                                                    }
 708                                                 break;
 709                                         case OT_CLASS:{
 710                                                 _GUARD(CreateClassInstance(_class(temp_reg),arg3,_stackbase+arg2,STK(ct_target)));
 711                                                 }
 712                                                 break;
 713                                         case OT_TABLE:
 714                                         case OT_USERDATA:
 715                                         case OT_INSTANCE:
 716                                                 {
 717                                                 Push(temp_reg);
 718                                                 for (int i = 0; i < arg3; i++) Push(STK(arg2 + i));
 719                                                 if (_delegable(temp_reg) && CallMetaMethod(_delegable(temp_reg), MT_CALL, arg3+1, temp_reg)){
 720                                                         STK(ct_target) = temp_reg;
 721                                                         break;
 722                                                 }
 723                                                 Raise_Error(_SC("attempt to call '%s'"), GetTypeName(temp_reg));
 724                                                 SQ_THROW();
 725                                           }
 726                                         default:
 727                                                 Raise_Error(_SC("attempt to call '%s'"), GetTypeName(temp_reg));
 728                                                 SQ_THROW();
 729                                         }
 730                                 }
 731                                   continue;
 732                         case _OP_PREPCALL:
 733                                         if (!Get(STK(arg2), STK(arg1), temp_reg, false,true))
 734                                         { Raise_IdxError(STK(arg1)); SQ_THROW(); }
 735                                         goto common_prepcall;
 736                         case _OP_PREPCALLK:
 737                                         if (!Get(STK(arg2), (*ci->_literals)[arg1], temp_reg,false,true)) {
 738                                                 if(type(STK(arg2)) == OT_CLASS) { //hack?
 739                                                         if(_class_ddel->Get((*ci->_literals)[arg1],temp_reg)) {
 740                                                                 STK(arg3) = STK(arg2);
 741                                                                 TARGET = temp_reg;
 742                                                                 continue;
 743                                                         }
 744                                                 }
 745                                                 { Raise_IdxError((*ci->_literals)[arg1]); SQ_THROW();}
 746                                         }
 747 common_prepcall:
 748                                         if(type(STK(arg2)) == OT_CLASS) {
 749                                                 STK(arg3) = STK(0); // this
 750                                         }
 751                                         else {
 752                                                 STK(arg3) = STK(arg2);
 753                                         }
 754                                         TARGET = temp_reg;
 755                                 continue;
 756                         case _OP_GETK:
 757                                 if (!Get(STK(arg2), (*ci->_literals)[arg1], temp_reg, false,true)) { Raise_IdxError((*ci->_literals)[arg1]); SQ_THROW();}
 758                                 TARGET = temp_reg;
 759                                 continue;
 760                         case _OP_MOVE: TARGET = STK(arg1); continue;
 761                         case _OP_NEWSLOT:
 762                                 _GUARD(NewSlot(STK(arg1), STK(arg2), STK(arg3)));
 763                                 if(arg0 != arg3) TARGET = STK(arg3);
 764                                 continue;
 765                         case _OP_DELETE: _GUARD(DeleteSlot(STK(arg1), STK(arg2), TARGET)); continue;
 766                         case _OP_SET:
 767                                 if (!Set(STK(arg1), STK(arg2), STK(arg3),true)) { Raise_IdxError(STK(arg2)); SQ_THROW(); }
 768                                 if (arg0 != arg3) TARGET = STK(arg3);
 769                                 continue;
 770                         case _OP_GET:
 771                                 if (!Get(STK(arg1), STK(arg2), temp_reg, false,true)) { Raise_IdxError(STK(arg2)); SQ_THROW(); }
 772                                 TARGET = temp_reg;
 773                                 continue;
 774                         case _OP_EQ:{
 775                                 bool res;
 776                                 if(!IsEqual(STK(arg2),COND_LITERAL,res)) { SQ_THROW(); }
 777                                 TARGET = res?_true_:_false_;
 778                                 }continue;
 779                         case _OP_NE:{
 780                                 bool res;
 781                                 if(!IsEqual(STK(arg2),COND_LITERAL,res)) { SQ_THROW(); }
 782                                 TARGET = (!res)?_true_:_false_;
 783                                 } continue;
 784                         case _OP_ARITH: _GUARD(ARITH_OP( arg3 , temp_reg, STK(arg2), STK(arg1))); TARGET = temp_reg; continue;
 785                         case _OP_BITW:  _GUARD(BW_OP( arg3,TARGET,STK(arg2),STK(arg1))); continue;
 786                         case _OP_RETURN:
 787                                 if(type((ci)->_generator) == OT_GENERATOR) {
 788                                         _generator((ci)->_generator)->Kill();
 789                                 }
 790                                 if(Return(arg0, arg1, temp_reg)){
 791                                         assert(traps==0);
 792                                         outres = temp_reg;
 793                                         return true;
 794                                 }
 795                                 continue;
 796                         case _OP_LOADNULLS:{ for(unsigned int n=0;n<arg1;n++) STK(arg0+n) = _null_; }continue;
 797                         case _OP_LOADROOTTABLE: TARGET = _roottable; continue;
 798                         case _OP_LOADBOOL: TARGET = arg1?_true_:_false_; continue;
 799                         case _OP_DMOVE: STK(arg0) = STK(arg1); STK(arg2) = STK(arg3); continue;
 800                         case _OP_JMP: ci->_ip += (sarg1); continue;
 801                         case _OP_JNZ: if(!IsFalse(STK(arg0))) ci->_ip+=(sarg1); continue;
 802                         case _OP_JZ: if(IsFalse(STK(arg0))) ci->_ip+=(sarg1); continue;
 803                         case _OP_LOADFREEVAR: TARGET = _closure(ci->_closure)->_outervalues[arg1]; continue;
 804                         case _OP_VARGC: TARGET = SQInteger(ci->_vargs.size); continue;
 805                         case _OP_GETVARGV:
 806                                 if(!GETVARGV_OP(TARGET,STK(arg1),ci)) { SQ_THROW(); }
 807                                 continue;
 808                         case _OP_NEWTABLE: TARGET = SQTable::Create(_ss(this), arg1); continue;
 809                         case _OP_NEWARRAY: TARGET = SQArray::Create(_ss(this), 0); _array(TARGET)->Reserve(arg1); continue;
 810                         case _OP_APPENDARRAY: _array(STK(arg0))->Append(COND_LITERAL);  continue;
 811                         case _OP_GETPARENT:
 812                                 switch(type(STK(arg1))) {
 813                                 case OT_TABLE:
 814                         TARGET = _table(STK(arg1))->_delegate?SQObjectPtr(_table(STK(arg1))->_delegate):_null_;
 815                                         continue;
 816                                 case OT_CLASS: TARGET = _class(STK(arg1))->_base?_class(STK(arg1))->_base:_null_;
 817                                         continue;
 818                                 }
 819                                 Raise_Error(_SC("the %s type doesn't have a parent slot"), GetTypeName(STK(arg1)));
 820                                 SQ_THROW();
 821                                 continue;
 822                         case _OP_COMPARITH: _GUARD(DerefInc(arg3, TARGET, STK((((unsigned int)arg1&0xFFFF0000)>>16)), STK(arg2), STK(arg1&0x0000FFFF), false)); continue;
 823                         case _OP_COMPARITHL: _GUARD(LOCAL_INC(arg3, TARGET, STK(arg1), STK(arg2))); continue;
 824                         case _OP_INC: {SQObjectPtr o(sarg3); _GUARD(DerefInc('+',TARGET, STK(arg1), STK(arg2), o, false));} continue;
 825                         case _OP_INCL: {SQObjectPtr o(sarg3); _GUARD(LOCAL_INC('+',TARGET, STK(arg1), o));} continue;
 826                         case _OP_PINC: {SQObjectPtr o(sarg3); _GUARD(DerefInc('+',TARGET, STK(arg1), STK(arg2), o, true));} continue;
 827                         case _OP_PINCL: {SQObjectPtr o(sarg3); _GUARD(PLOCAL_INC('+',TARGET, STK(arg1), o));} continue;
 828                         case _OP_CMP:   _GUARD(CMP_OP((CmpOP)arg3,STK(arg2),STK(arg1),TARGET))  continue;
 829                         case _OP_EXISTS: TARGET = Get(STK(arg1), STK(arg2), temp_reg, true,false)?_true_:_false_;continue;
 830                         case _OP_INSTANCEOF:
 831                                 if(type(STK(arg1)) != OT_CLASS || type(STK(arg2)) != OT_INSTANCE)
 832                                 {Raise_Error(_SC("cannot apply instanceof between a %s and a %s"),GetTypeName(STK(arg1)),GetTypeName(STK(arg2))); SQ_THROW();}
 833                                 TARGET = _instance(STK(arg2))->InstanceOf(_class(STK(arg1)))?_true_:_false_;
 834                                 continue;
 835                         case _OP_AND:
 836                                 if(IsFalse(STK(arg2))) {
 837                                         TARGET = STK(arg2);
 838                                         ci->_ip += (sarg1);
 839                                 }
 840                                 continue;
 841                         case _OP_OR:
 842                                 if(!IsFalse(STK(arg2))) {
 843                                         TARGET = STK(arg2);
 844                                         ci->_ip += (sarg1);
 845                                 }
 846                                 continue;
 847                         case _OP_NEG: _GUARD(NEG_OP(TARGET,STK(arg1))); continue;
 848                         case _OP_NOT: TARGET = (IsFalse(STK(arg1))?_true_:_false_); continue;
 849                         case _OP_BWNOT:
 850                                 if(type(STK(arg1)) == OT_INTEGER) {
 851                                         TARGET = SQInteger(~_integer(STK(arg1)));
 852                                         continue;
 853                                 }
 854                                 Raise_Error(_SC("attempt to perform a bitwise op on a %s"), GetTypeName(STK(arg1)));
 855                                 SQ_THROW();
 856                         case _OP_CLOSURE: {
 857                                 SQClosure *c = ci->_closure._unVal.pClosure;
 858                                 SQFunctionProto *fp = c->_function._unVal.pFunctionProto;
 859                                 if(!CLOSURE_OP(TARGET,fp->_functions[arg1]._unVal.pFunctionProto)) { SQ_THROW(); }
 860                                 continue;
 861                         }
 862                         case _OP_YIELD:{
 863                                 if(type(ci->_generator) == OT_GENERATOR) {
 864                                         if(sarg1 != MAX_FUNC_STACKSIZE) temp_reg = STK(arg1);
 865                                         _GUARD(_generator(ci->_generator)->Yield(this));
 866                                         traps -= ci->_etraps;
 867                                         if(sarg1 != MAX_FUNC_STACKSIZE) STK(arg1) = temp_reg;
 868                                 }
 869                                 else { Raise_Error(_SC("trying to yield a '%s',only genenerator can be yielded"), GetTypeName(ci->_generator)); SQ_THROW();}
 870                                 if(Return(arg0, arg1, temp_reg)){
 871                                         assert(traps==0);
 872                                         outres = temp_reg;
 873                                         return true;
 874                                 }
 875
 876                                 }
 877                                 continue;
 878                         case _OP_RESUME:
 879                                 if(type(STK(arg1)) != OT_GENERATOR){ Raise_Error(_SC("trying to resume a '%s',only genenerator can be resumed"), GetTypeName(STK(arg1))); SQ_THROW();}
 880                                 _GUARD(_generator(STK(arg1))->Resume(this, arg0));
 881                                 traps += ci->_etraps;
 882                 continue;
 883                         case _OP_FOREACH:{ bool finished;
 884                                 _GUARD(FOREACH_OP(STK(arg0),STK(arg2),STK(arg2+1),STK(arg2+2),arg2,finished));
 885                                 if(finished) ci->_ip += sarg1; }
 886                                 continue;
 887                         case _OP_DELEGATE: _GUARD(DELEGATE_OP(TARGET,STK(arg1),STK(arg2))); continue;
 888                         case _OP_CLONE:
 889                                 if(!Clone(STK(arg1), TARGET))
 890                                 { Raise_Error(_SC("cloning a %s"), GetTypeName(STK(arg1))); SQ_THROW();}
 891                                 continue;
 892                         case _OP_TYPEOF: TypeOf(STK(arg1), TARGET); continue;
 893                         case _OP_PUSHTRAP:
 894                                 _etraps.push_back(SQExceptionTrap(_top,_stackbase, &ci->_iv->_vals[(ci->_ip-ci->_iv->_vals)+arg1], arg0)); traps++;
 895                                 ci->_etraps++;
 896                                 continue;
 897                         case _OP_POPTRAP:{
 898                                 for(int i=0; i<arg0; i++) {
 899                                         _etraps.pop_back(); traps--;
 900                                         ci->_etraps--;
 901                                 }}
 902                                 continue;
 903                         case _OP_THROW: Raise_Error(TARGET); SQ_THROW(); continue;
 904                         case _OP_CLASS: _GUARD(CLASS_OP(TARGET,arg1,arg2)); continue;
 905                         case _OP_NEWSLOTA:
 906                                 _GUARD(NewSlot(STK(arg1), STK(arg2), STK(arg3)));
 907                                 _class(STK(arg1))->SetAttributes(STK(arg2),STK(arg2-1));
 908                                 if(arg0 != arg3) TARGET = STK(arg3);
 909                                 continue;
 910                         }
 911
 912                 }
 913         }
 914 exception_trap:
 915         {
 916                 SQObjectPtr currerror = _lasterror;
 917 //              dumpstack(_stackbase);
 918                 int n = 0;
 919                 int last_top = _top;
 920                 if(ci) {
 921                         if(traps) {
 922                                 do {
 923                                         if(ci->_etraps > 0) {
 924                                                 SQExceptionTrap &et = _etraps.top();
 925                                                 ci->_ip = et._ip;
 926                                                 _top = et._stacksize;
 927                                                 _stackbase = et._stackbase;
 928                                                 _stack[_stackbase+et._extarget] = currerror;
 929                                                 _etraps.pop_back(); traps--; ci->_etraps--;
 930                                                 while(last_top >= _top) _stack[last_top--].Null();
 931                                                 goto exception_restore;
 932                                         }
 933                                         //if is a native closure
 934                                         if(type(ci->_closure) != OT_CLOSURE && n)
 935                                                 break;
 936                                         if(type(ci->_generator) == OT_GENERATOR) _generator(ci->_generator)->Kill();
 937                                         PopVarArgs(ci->_vargs);
 938                                         POP_CALLINFO(this);
 939                                         n++;
 940                                 }while(_callsstack.size());
 941                         }
 942                         //call the hook
 943                         CallErrorHandler(currerror);
 944                         //remove call stack until a C function is found or the cstack is empty
 945                         if(ci) do{
 946                                 SQBool exitafterthisone = ci->_root;
 947                                 if(type(ci->_generator) == OT_GENERATOR) _generator(ci->_generator)->Kill();
 948                                 _stackbase -= ci->_prevstkbase;
 949                                 _top = _stackbase + ci->_prevtop;
 950                                 PopVarArgs(ci->_vargs);
 951                                 POP_CALLINFO(this);
 952                                 if( (ci && type(ci->_closure) != OT_CLOSURE) || exitafterthisone) break;
 953                         }while(_callsstack.size());
 954
 955                         while(last_top >= _top) _stack[last_top--].Null();
 956                 }
 957                 _lasterror = currerror;
 958                 return false;
 959         }
 960         assert(0);
 961 }
 962
 963 bool SQVM::CreateClassInstance(SQClass *theclass, int nargs, int stackbase, SQObjectPtr &retval)
 964 {
 965         SQObjectPtr constr;
 966         SQObjectPtr inst = theclass->CreateInstance();
 967         _stack[stackbase] = inst;
 968         if(theclass->Get(_ss(this)->_constructoridx,constr)) {
 969                 if(!Call(constr,nargs,stackbase,constr))
 970                         return false;
 971         }
 972         retval = inst;
 973         return true;
 974 }
 975
 976 void SQVM::CallErrorHandler(SQObjectPtr &error)
 977 {
 978         if(type(_errorhandler) != OT_NULL) {
 979                 SQObjectPtr out;
 980                 Push(_roottable); Push(error);
 981                 Call(_errorhandler, 2, _top-2, out);
 982                 Pop(2);
 983         }
 984 }
 985
 986 void SQVM::CallDebugHook(int type,int forcedline)
 987 {
 988         SQObjectPtr temp_reg;
 989         int nparams=5;
 990         SQFunctionProto *func=_funcproto(_closure(ci->_closure)->_function);
 991         Push(_roottable); Push(type); Push(func->_sourcename); Push(forcedline?forcedline:func->GetLine(ci->_ip)); Push(func->_name);
 992         Call(_debughook,nparams,_top-nparams,temp_reg);
 993         Pop(nparams);
 994 }
 995
 996 bool SQVM::CallNative(SQNativeClosure *nclosure,int nargs,int stackbase,bool tailcall,SQObjectPtr &retval,bool &suspend)
 997 {
 998         if (_nnativecalls + 1 > MAX_NATIVE_CALLS) { Raise_Error(_SC("Native stack overflow")); return false; }
 999         int nparamscheck = nclosure->_nparamscheck;
1000         if(((nparamscheck > 0) && (nparamscheck != nargs))
1001                 || ((nparamscheck < 0) && (nargs < (-nparamscheck)))) {
1002                 Raise_Error(_SC("wrong number of parameters"));
1003                 return false;
1004                 }
1005
1006         int tcs;
1007         if(tcs = nclosure->_typecheck.size()) {
1008                 for(int i = 0; i < nargs && i < tcs; i++)
1009                         if((nclosure->_typecheck[i] != -1) && !(type(_stack[stackbase+i]) & nclosure->_typecheck[i])) {
1010                 Raise_ParamTypeError(i,nclosure->_typecheck[i],type(_stack[stackbase+i]));
1011                                 return false;
1012                         }
1013         }
1014         _nnativecalls++;
1015         if ((_top + MIN_STACK_OVERHEAD) > (int)_stack.size()) {
1016                 _stack.resize(_stack.size() + (MIN_STACK_OVERHEAD<<1));
1017         }
1018         int oldtop = _top;
1019         int oldstackbase = _stackbase;
1020         _top = stackbase + nargs;
1021         PUSH_CALLINFO(this, CallInfo());
1022         ci->_etraps = 0;
1023         ci->_closure._unVal.pNativeClosure = nclosure;
1024         ci->_closure._type = OT_NATIVECLOSURE;
1025         ci->_prevstkbase = stackbase - _stackbase;
1026         ci->_ncalls = 1;
1027         _stackbase = stackbase;
1028         //push free variables
1029         int outers = nclosure->_outervalues.size();
1030         for (int i = 0; i < outers; i++) {
1031                 Push(nclosure->_outervalues[i]);
1032         }
1033         ci->_prevtop = (oldtop - oldstackbase);
1034         int ret = (nclosure->_function)(this);
1035         _nnativecalls--;
1036         suspend = false;
1037         if( ret == SQ_SUSPEND_FLAG) suspend = true;
1038         else if (ret < 0) {
1039                 _stackbase = oldstackbase;
1040                 _top = oldtop;
1041                 POP_CALLINFO(this);
1042                 Raise_Error(_lasterror);
1043                 return false;
1044         }
1045
1046         if (ret != 0){ retval = TOP(); }
1047         else { retval = _null_; }
1048         _stackbase = oldstackbase;
1049         _top = oldtop;
1050         POP_CALLINFO(this);
1051         return true;
1052 }
1053
1054 bool SQVM::Get(const SQObjectPtr &self,const SQObjectPtr &key,SQObjectPtr &dest,bool raw, bool fetchroot)
1055 {
1056         switch(type(self)){
1057         case OT_TABLE:
1058                 if(_table(self)->Get(key,dest))return true;
1059                 break;
1060         case OT_ARRAY:
1061                 if(sq_isnumeric(key)){
1062                         return _array(self)->Get(tointeger(key),dest);
1063                 }
1064                 break;
1065         case OT_INSTANCE:
1066                 if(_instance(self)->Get(key,dest)) return true;
1067                 break;
1068         }
1069         if(FallBackGet(self,key,dest,raw)) return true;
1070
1071         if(fetchroot) {
1072                 if(_rawval(STK(0)) == _rawval(self) &&
1073                         type(STK(0)) == type(self)) {
1074                                 return _table(_roottable)->Get(key,dest);
1075                 }
1076         }
1077         return false;
1078 }
1079
1080 bool SQVM::FallBackGet(const SQObjectPtr &self,const SQObjectPtr &key,SQObjectPtr &dest,bool raw)
1081 {
1082         switch(type(self)){
1083         case OT_CLASS:
1084                 return _class(self)->Get(key,dest);
1085                 break;
1086         case OT_TABLE:
1087         case OT_USERDATA:
1088         //delegation
1089                 if(_delegable(self)->_delegate) {
1090                         if(Get(SQObjectPtr(_delegable(self)->_delegate),key,dest,raw,false))
1091                                 return true;
1092                         if(raw)return false;
1093                         Push(self);Push(key);
1094                         if(CallMetaMethod(_delegable(self),MT_GET,2,dest))
1095                                 return true;
1096                 }
1097                 if(type(self) == OT_TABLE) {
1098                         if(raw) return false;
1099                         return _table_ddel->Get(key,dest);
1100                 }
1101                 return false;
1102                 break;
1103         case OT_ARRAY:
1104                 if(raw)return false;
1105                 return _array_ddel->Get(key,dest);
1106         case OT_STRING:
1107                 if(sq_isnumeric(key)){
1108                         SQInteger n=tointeger(key);
1109                         if(abs(n)<_string(self)->_len){
1110                                 if(n<0)n=_string(self)->_len-n;
1111                                 dest=SQInteger(_stringval(self)[n]);
1112                                 return true;
1113                         }
1114                         return false;
1115                 }
1116                 else {
1117                         if(raw)return false;
1118                         return _string_ddel->Get(key,dest);
1119                 }
1120                 break;
1121         case OT_INSTANCE:
1122                 if(raw)return false;
1123                 Push(self);Push(key);
1124                 if(!CallMetaMethod(_delegable(self),MT_GET,2,dest)) {
1125                         return _instance_ddel->Get(key,dest);
1126                 }
1127                 return true;
1128         case OT_INTEGER:case OT_FLOAT:case OT_BOOL:
1129                 if(raw)return false;
1130                 return _number_ddel->Get(key,dest);
1131         case OT_GENERATOR:
1132                 if(raw)return false;
1133                 return _generator_ddel->Get(key,dest);
1134         case OT_CLOSURE: case OT_NATIVECLOSURE:
1135                 if(raw)return false;
1136                 return _closure_ddel->Get(key,dest);
1137         case OT_THREAD:
1138                 if(raw)return false;
1139                 return  _thread_ddel->Get(key,dest);
1140         default:return false;
1141         }
1142         return false;
1143 }
1144
1145 bool SQVM::Set(const SQObjectPtr &self,const SQObjectPtr &key,const SQObjectPtr &val,bool fetchroot)
1146 {
1147         switch(type(self)){
1148         case OT_TABLE:
1149                 if(_table(self)->Set(key,val))
1150                         return true;
1151                 if(_table(self)->_delegate) {
1152                         if(Set(_table(self)->_delegate,key,val,false)) {
1153                                 return true;
1154                         }
1155                 }
1156                 //keeps going
1157         case OT_USERDATA:
1158                 if(_delegable(self)->_delegate) {
1159                         SQObjectPtr t;
1160                         Push(self);Push(key);Push(val);
1161                         if(CallMetaMethod(_delegable(self),MT_SET,3,t)) return true;
1162                 }
1163                 break;
1164         case OT_INSTANCE:{
1165                 if(_instance(self)->Set(key,val))
1166                         return true;
1167                 SQObjectPtr t;
1168                 Push(self);Push(key);Push(val);
1169                 if(CallMetaMethod(_delegable(self),MT_SET,3,t)) return true;
1170                 }
1171                 break;
1172         case OT_ARRAY:
1173                 if(!sq_isnumeric(key)) {Raise_Error(_SC("indexing %s with %s"),GetTypeName(self),GetTypeName(key)); return false; }
1174                 return _array(self)->Set(tointeger(key),val);
1175         default:
1176                 Raise_Error(_SC("trying to set '%s'"),GetTypeName(self));
1177                 return false;
1178         }
1179         if(fetchroot) {
1180                 if(_rawval(STK(0)) == _rawval(self) &&
1181                         type(STK(0)) == type(self)) {
1182                                 return _table(_roottable)->Set(key,val);
1183                         }
1184         }
1185         return false;
1186 }
1187
1188 bool SQVM::Clone(const SQObjectPtr &self,SQObjectPtr &target)
1189 {
1190         SQObjectPtr temp_reg;
1191         switch(type(self)){
1192         case OT_TABLE:
1193                 target = _table(self)->Clone();
1194                 goto cloned_mt;
1195         case OT_INSTANCE:
1196                 target = _instance(self)->Clone(_ss(this));
1197 cloned_mt:
1198                 if(_delegable(target)->_delegate){
1199                         Push(target);
1200                         Push(self);
1201                         CallMetaMethod(_delegable(target),MT_CLONED,2,temp_reg);
1202                 }
1203                 return true;
1204         case OT_ARRAY:
1205                 target=_array(self)->Clone();
1206                 return true;
1207         default: return false;
1208         }
1209 }
1210
1211 bool SQVM::NewSlot(const SQObjectPtr &self,const SQObjectPtr &key,const SQObjectPtr &val)
1212 {
1213         if(type(key) == OT_NULL) { Raise_Error(_SC("null cannot be used as index")); return false; }
1214         switch(type(self)) {
1215         case OT_TABLE: {
1216                 bool rawcall = true;
1217                 if(_table(self)->_delegate) {
1218                         SQObjectPtr res;
1219                         if(!_table(self)->Get(key,res)) {
1220                                 Push(self);Push(key);Push(val);
1221                                 rawcall = !CallMetaMethod(_table(self),MT_NEWSLOT,3,res);
1222                         }
1223                 }
1224                 if(rawcall) _table(self)->NewSlot(key,val); //cannot fail
1225
1226                 break;}
1227         case OT_CLASS:
1228                 if(!_class(self)->NewSlot(key,val)) {
1229                         if(_class(self)->_locked) {
1230                                 Raise_Error(_SC("trying to modify a class that has already been instantiated"));
1231                                 return false;
1232                         }
1233                         else {
1234                                 SQObjectPtr oval = PrintObjVal(key);
1235                                 Raise_Error(_SC("the property '%s' already exists"),_stringval(oval));
1236                                 return false;
1237                         }
1238                 }
1239                 break;
1240         default:
1241                 Raise_Error(_SC("indexing %s with %s"),GetTypeName(self),GetTypeName(key));
1242                 return false;
1243                 break;
1244         }
1245         return true;
1246 }
1247
1248 bool SQVM::DeleteSlot(const SQObjectPtr &self,const SQObjectPtr &key,SQObjectPtr &res)
1249 {
1250         switch(type(self)) {
1251         case OT_TABLE:
1252         case OT_INSTANCE:
1253         case OT_USERDATA: {
1254                 SQObjectPtr t;
1255                 bool handled = false;
1256                 if(_delegable(self)->_delegate) {
1257                         Push(self);Push(key);
1258                         handled = CallMetaMethod(_delegable(self),MT_DELSLOT,2,t);
1259                 }
1260
1261                 if(!handled) {
1262                         if(type(self) == OT_TABLE) {
1263                                 if(_table(self)->Get(key,t)) {
1264                                         _table(self)->Remove(key);
1265                                 }
1266                                 else {
1267                                         Raise_IdxError((SQObject &)key);
1268                                         return false;
1269                                 }
1270                         }
1271                         else {
1272                                 Raise_Error(_SC("cannot delete a slot from %s"),GetTypeName(self));
1273                                 return false;
1274                         }
1275                 }
1276                 res = t;
1277                                 }
1278                 break;
1279         default:
1280                 Raise_Error(_SC("attempt to delete a slot from a %s"),GetTypeName(self));
1281                 return false;
1282         }
1283         return true;
1284 }
1285
1286 bool SQVM::Call(SQObjectPtr &closure,int nparams,int stackbase,SQObjectPtr &outres)
1287 {
1288 #ifdef _DEBUG
1289 int prevstackbase = _stackbase;
1290 #endif
1291         switch(type(closure)) {
1292         case OT_CLOSURE:
1293                 return Execute(closure, _top - nparams, nparams, stackbase,outres);
1294                 break;
1295         case OT_NATIVECLOSURE:{
1296                 bool suspend;
1297                 return CallNative(_nativeclosure(closure), nparams, stackbase, false, outres,suspend);
1298
1299                                                   }
1300                 break;
1301         case OT_CLASS:
1302                 return CreateClassInstance(_class(closure),nparams,stackbase,outres);
1303                 break;
1304         default:
1305                 return false;
1306         }
1307 #ifdef _DEBUG
1308         if(!_suspended) {
1309                 assert(_stackbase == prevstackbase);
1310         }
1311 #endif
1312         return true;
1313 }
1314
1315 bool SQVM::CallMetaMethod(SQDelegable *del,SQMetaMethod mm,int nparams,SQObjectPtr &outres)
1316 {
1317         SQObjectPtr closure;
1318         if(del->GetMetaMethod(mm, closure)) {
1319                 if(Call(closure, nparams, _top - nparams, outres)) {
1320                         Pop(nparams);
1321                         return true;
1322                 }
1323         }
1324         Pop(nparams);
1325         return false;
1326 }
1327
1328 void SQVM::Remove(int n) {
1329         n = (n >= 0)?n + _stackbase - 1:_top + n;
1330         for(int i = n; i < _top; i++){
1331                 _stack[i] = _stack[i+1];
1332         }
1333         _stack[_top] = _null_;
1334         _top--;
1335 }
1336
1337
1338 #ifdef _DEBUG_DUMP
1339 void SQVM::dumpstack(int stackbase,bool dumpall)
1340 {
1341         int size=dumpall?_stack.size():_top;
1342         int n=0;
1343         scprintf(_SC("\n>>>>stack dump<<<<\n"));
1344         CallInfo &ci=_callsstack.back();
1345         scprintf(_SC("IP: %d\n"),ci._ip);
1346         scprintf(_SC("prev stack base: %d\n"),ci._prevstkbase);
1347         scprintf(_SC("prev top: %d\n"),ci._prevtop);
1348         for(int i=0;i<size;i++){
1349                 SQObjectPtr &obj=_stack[i];
1350                 if(stackbase==i)scprintf(_SC(">"));else scprintf(_SC(" "));
1351                 scprintf(_SC("[%d]:"),n);
1352                 switch(type(obj)){
1353                 case OT_FLOAT:                  scprintf(_SC("FLOAT %.3f"),_float(obj));break;
1354                 case OT_INTEGER:                scprintf(_SC("INTEGER %d"),_integer(obj));break;
1355                 case OT_BOOL:                   scprintf(_SC("BOOL %s"),_integer(obj)?"true":"false");break;
1356                 case OT_STRING:                 scprintf(_SC("STRING %s"),_stringval(obj));break;
1357                 case OT_NULL:                   scprintf(_SC("NULL"));  break;
1358                 case OT_TABLE:                  scprintf(_SC("TABLE %p[%p]"),_table(obj),_table(obj)->_delegate);break;
1359                 case OT_ARRAY:                  scprintf(_SC("ARRAY %p"),_array(obj));break;
1360                 case OT_CLOSURE:                scprintf(_SC("CLOSURE [%p]"),_closure(obj));break;
1361                 case OT_NATIVECLOSURE:  scprintf(_SC("NATIVECLOSURE"));break;
1362                 case OT_USERDATA:               scprintf(_SC("USERDATA %p[%p]"),_userdataval(obj),_userdata(obj)->_delegate);break;
1363                 case OT_GENERATOR:              scprintf(_SC("GENERATOR"));break;
1364                 case OT_THREAD:                 scprintf(_SC("THREAD [%p]"),_thread(obj));break;
1365                 case OT_USERPOINTER:    scprintf(_SC("USERPOINTER %p"),_userpointer(obj));break;
1366                 case OT_CLASS:                  scprintf(_SC("CLASS %p"),_class(obj));break;
1367                 case OT_INSTANCE:               scprintf(_SC("INSTANCE %p"),_instance(obj));break;
1368                 default:
1369                         assert(0);
1370                         break;
1371                 };
1372                 scprintf(_SC("\n"));
1373                 ++n;
1374         }
1375 }
1376
1377 #endif