2015-11-01 09:05:13 +01:00
/*
2016-03-22 01:32:03 +01:00
see copyright notice in squirrel . h
2015-11-01 09:05:13 +01:00
*/
# include "sqpcheader.h"
# include <math.h>
# include <stdlib.h>
# include "sqopcodes.h"
# include "sqvm.h"
# include "sqfuncproto.h"
# include "sqclosure.h"
# include "sqstring.h"
# include "sqtable.h"
# include "squserdata.h"
# include "sqarray.h"
# include "sqclass.h"
# define TOP() (_stack._vals[_top-1])
2016-05-22 21:51:59 +02:00
# define TARGET _stack._vals[_stackbase+arg0]
# define STK(a) _stack._vals[_stackbase+(a)]
2015-11-01 09:05:13 +01:00
bool SQVM : : BW_OP ( SQUnsignedInteger op , SQObjectPtr & trg , const SQObjectPtr & o1 , const SQObjectPtr & o2 )
{
2016-03-22 01:32:03 +01:00
SQInteger res ;
2018-10-25 19:04:52 +02:00
if ( ( sq_type ( o1 ) | sq_type ( o2 ) ) = = OT_INTEGER )
2016-03-22 01:32:03 +01:00
{
SQInteger i1 = _integer ( o1 ) , i2 = _integer ( o2 ) ;
switch ( op ) {
case BW_AND : res = i1 & i2 ; break ;
case BW_OR : res = i1 | i2 ; break ;
case BW_XOR : res = i1 ^ i2 ; break ;
case BW_SHIFTL : res = i1 < < i2 ; break ;
case BW_SHIFTR : res = i1 > > i2 ; break ;
case BW_USHIFTR : res = ( SQInteger ) ( * ( ( SQUnsignedInteger * ) & i1 ) > > i2 ) ; break ;
default : { Raise_Error ( _SC ( " internal vm error bitwise op failed " ) ) ; return false ; }
}
}
else { Raise_Error ( _SC ( " bitwise op between '%s' and '%s' " ) , GetTypeName ( o1 ) , GetTypeName ( o2 ) ) ; return false ; }
trg = res ;
return true ;
2015-11-01 09:05:13 +01:00
}
# define _ARITH_(op,trg,o1,o2) \
{ \
2018-10-25 19:04:52 +02:00
SQInteger tmask = sq_type ( o1 ) | sq_type ( o2 ) ; \
2016-03-22 01:32:03 +01:00
switch ( tmask ) { \
case OT_INTEGER : trg = _integer ( o1 ) op _integer ( o2 ) ; break ; \
case ( OT_FLOAT | OT_INTEGER ) : \
case ( OT_FLOAT ) : trg = tofloat ( o1 ) op tofloat ( o2 ) ; break ; \
default : _GUARD ( ARITH_OP ( ( # op ) [ 0 ] , trg , o1 , o2 ) ) ; break ; \
} \
2015-11-01 09:05:13 +01:00
}
# define _ARITH_NOZERO(op,trg,o1,o2,err) \
{ \
2018-10-25 19:04:52 +02:00
SQInteger tmask = sq_type ( o1 ) | sq_type ( o2 ) ; \
2016-03-22 01:32:03 +01:00
switch ( tmask ) { \
case OT_INTEGER : { SQInteger i2 = _integer ( o2 ) ; if ( i2 = = 0 ) { Raise_Error ( err ) ; SQ_THROW ( ) ; } trg = _integer ( o1 ) op i2 ; } break ; \
case ( OT_FLOAT | OT_INTEGER ) : \
case ( OT_FLOAT ) : trg = tofloat ( o1 ) op tofloat ( o2 ) ; break ; \
default : _GUARD ( ARITH_OP ( ( # op ) [ 0 ] , trg , o1 , o2 ) ) ; break ; \
} \
2015-11-01 09:05:13 +01:00
}
bool SQVM : : ARITH_OP ( SQUnsignedInteger op , SQObjectPtr & trg , const SQObjectPtr & o1 , const SQObjectPtr & o2 )
{
2018-10-25 19:04:52 +02:00
SQInteger tmask = sq_type ( o1 ) | sq_type ( o2 ) ;
2016-03-22 01:32:03 +01:00
switch ( tmask ) {
case OT_INTEGER : {
SQInteger res , i1 = _integer ( o1 ) , i2 = _integer ( o2 ) ;
switch ( op ) {
case ' + ' : res = i1 + i2 ; break ;
case ' - ' : res = i1 - i2 ; break ;
case ' / ' : if ( i2 = = 0 ) { Raise_Error ( _SC ( " division by zero " ) ) ; return false ; }
else if ( i2 = = - 1 & & i1 = = INT_MIN ) { Raise_Error ( _SC ( " integer overflow " ) ) ; return false ; }
res = i1 / i2 ;
break ;
case ' * ' : res = i1 * i2 ; break ;
case ' % ' : if ( i2 = = 0 ) { Raise_Error ( _SC ( " modulo by zero " ) ) ; return false ; }
else if ( i2 = = - 1 & & i1 = = INT_MIN ) { res = 0 ; break ; }
res = i1 % i2 ;
break ;
default : res = 0xDEADBEEF ;
}
trg = res ; }
break ;
case ( OT_FLOAT | OT_INTEGER ) :
case ( OT_FLOAT ) : {
SQFloat res , f1 = tofloat ( o1 ) , f2 = tofloat ( o2 ) ;
switch ( op ) {
case ' + ' : res = f1 + f2 ; break ;
case ' - ' : res = f1 - f2 ; break ;
case ' / ' : res = f1 / f2 ; break ;
case ' * ' : res = f1 * f2 ; break ;
case ' % ' : res = SQFloat ( fmod ( ( double ) f1 , ( double ) f2 ) ) ; break ;
default : res = 0x0f ;
}
trg = res ; }
break ;
default :
if ( op = = ' + ' & & ( tmask & _RT_STRING ) ) {
if ( ! StringCat ( o1 , o2 , trg ) ) return false ;
}
else if ( ! ArithMetaMethod ( op , o1 , o2 , trg ) ) {
return false ;
}
}
return true ;
2015-11-01 09:05:13 +01:00
}
SQVM : : SQVM ( SQSharedState * ss )
{
2016-03-22 01:32:03 +01:00
_sharedstate = ss ;
_suspended = SQFalse ;
_suspended_target = - 1 ;
_suspended_root = SQFalse ;
_suspended_traps = - 1 ;
_foreignptr = NULL ;
_nnativecalls = 0 ;
_nmetamethodscall = 0 ;
_lasterror . Null ( ) ;
_errorhandler . Null ( ) ;
_debughook = false ;
_debughook_native = NULL ;
_debughook_closure . Null ( ) ;
_openouters = NULL ;
ci = NULL ;
_releasehook = NULL ;
INIT_CHAIN ( ) ; ADD_TO_CHAIN ( & _ss ( this ) - > _gc_chain , this ) ;
2015-11-01 09:05:13 +01:00
}
void SQVM : : Finalize ( )
{
2016-03-22 01:32:03 +01:00
if ( _releasehook ) { _releasehook ( _foreignptr , 0 ) ; _releasehook = NULL ; }
if ( _openouters ) CloseOuters ( & _stack . _vals [ 0 ] ) ;
_roottable . Null ( ) ;
_lasterror . Null ( ) ;
_errorhandler . Null ( ) ;
_debughook = false ;
_debughook_native = NULL ;
_debughook_closure . Null ( ) ;
temp_reg . Null ( ) ;
_callstackdata . resize ( 0 ) ;
SQInteger size = _stack . size ( ) ;
for ( SQInteger i = 0 ; i < size ; i + + )
_stack [ i ] . Null ( ) ;
2015-11-01 09:05:13 +01:00
}
SQVM : : ~ SQVM ( )
{
2016-03-22 01:32:03 +01:00
Finalize ( ) ;
REMOVE_FROM_CHAIN ( & _ss ( this ) - > _gc_chain , this ) ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : ArithMetaMethod ( SQInteger op , const SQObjectPtr & o1 , const SQObjectPtr & o2 , SQObjectPtr & dest )
{
2016-03-22 01:32:03 +01:00
SQMetaMethod mm ;
switch ( op ) {
case _SC ( ' + ' ) : mm = MT_ADD ; break ;
case _SC ( ' - ' ) : mm = MT_SUB ; break ;
case _SC ( ' / ' ) : mm = MT_DIV ; break ;
case _SC ( ' * ' ) : mm = MT_MUL ; break ;
case _SC ( ' % ' ) : mm = MT_MODULO ; break ;
default : mm = MT_ADD ; assert ( 0 ) ; break ; //shutup compiler
}
if ( is_delegable ( o1 ) & & _delegable ( o1 ) - > _delegate ) {
SQObjectPtr closure ;
if ( _delegable ( o1 ) - > GetMetaMethod ( this , mm , closure ) ) {
Push ( o1 ) ; Push ( o2 ) ;
return CallMetaMethod ( closure , mm , 2 , dest ) ;
}
}
Raise_Error ( _SC ( " arith op %c on between '%s' and '%s' " ) , op , GetTypeName ( o1 ) , GetTypeName ( o2 ) ) ;
return false ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : NEG_OP ( SQObjectPtr & trg , const SQObjectPtr & o )
{
2016-03-22 01:32:03 +01:00
2018-10-25 19:04:52 +02:00
switch ( sq_type ( o ) ) {
2016-03-22 01:32:03 +01:00
case OT_INTEGER :
trg = - _integer ( o ) ;
return true ;
case OT_FLOAT :
trg = - _float ( o ) ;
return true ;
case OT_TABLE :
case OT_USERDATA :
case OT_INSTANCE :
if ( _delegable ( o ) - > _delegate ) {
SQObjectPtr closure ;
if ( _delegable ( o ) - > GetMetaMethod ( this , MT_UNM , closure ) ) {
Push ( o ) ;
if ( ! CallMetaMethod ( closure , MT_UNM , 1 , temp_reg ) ) return false ;
_Swap ( trg , temp_reg ) ;
return true ;
}
}
default : break ; //shutup compiler
}
Raise_Error ( _SC ( " attempt to negate a %s " ) , GetTypeName ( o ) ) ;
return false ;
2015-11-01 09:05:13 +01:00
}
2016-03-22 01:32:03 +01:00
# define _RET_SUCCEED(exp) { result = (exp); return true; }
2015-11-01 09:05:13 +01:00
bool SQVM : : ObjCmp ( const SQObjectPtr & o1 , const SQObjectPtr & o2 , SQInteger & result )
{
2018-10-25 19:04:52 +02:00
SQObjectType t1 = sq_type ( o1 ) , t2 = sq_type ( o2 ) ;
2016-03-22 01:32:03 +01:00
if ( t1 = = t2 ) {
if ( _rawval ( o1 ) = = _rawval ( o2 ) ) _RET_SUCCEED ( 0 ) ;
SQObjectPtr res ;
switch ( t1 ) {
case OT_STRING :
_RET_SUCCEED ( scstrcmp ( _stringval ( o1 ) , _stringval ( o2 ) ) ) ;
case OT_INTEGER :
_RET_SUCCEED ( ( _integer ( o1 ) < _integer ( o2 ) ) ? - 1 : 1 ) ;
case OT_FLOAT :
_RET_SUCCEED ( ( _float ( o1 ) < _float ( o2 ) ) ? - 1 : 1 ) ;
case OT_TABLE :
case OT_USERDATA :
case OT_INSTANCE :
if ( _delegable ( o1 ) - > _delegate ) {
SQObjectPtr closure ;
if ( _delegable ( o1 ) - > GetMetaMethod ( this , MT_CMP , closure ) ) {
Push ( o1 ) ; Push ( o2 ) ;
if ( CallMetaMethod ( closure , MT_CMP , 2 , res ) ) {
2018-10-25 19:04:52 +02:00
if ( sq_type ( res ) ! = OT_INTEGER ) {
2016-03-22 01:32:03 +01:00
Raise_Error ( _SC ( " _cmp must return an integer " ) ) ;
return false ;
}
_RET_SUCCEED ( _integer ( res ) )
}
return false ;
}
}
//continues through (no break needed)
default :
_RET_SUCCEED ( _userpointer ( o1 ) < _userpointer ( o2 ) ? - 1 : 1 ) ;
}
assert ( 0 ) ;
//if(type(res)!=OT_INTEGER) { Raise_CompareError(o1,o2); return false; }
// _RET_SUCCEED(_integer(res));
}
else {
if ( sq_isnumeric ( o1 ) & & sq_isnumeric ( o2 ) ) {
if ( ( t1 = = OT_INTEGER ) & & ( t2 = = OT_FLOAT ) ) {
if ( _integer ( o1 ) = = _float ( o2 ) ) { _RET_SUCCEED ( 0 ) ; }
else if ( _integer ( o1 ) < _float ( o2 ) ) { _RET_SUCCEED ( - 1 ) ; }
_RET_SUCCEED ( 1 ) ;
}
else {
if ( _float ( o1 ) = = _integer ( o2 ) ) { _RET_SUCCEED ( 0 ) ; }
else if ( _float ( o1 ) < _integer ( o2 ) ) { _RET_SUCCEED ( - 1 ) ; }
_RET_SUCCEED ( 1 ) ;
}
}
else if ( t1 = = OT_NULL ) { _RET_SUCCEED ( - 1 ) ; }
else if ( t2 = = OT_NULL ) { _RET_SUCCEED ( 1 ) ; }
else { Raise_CompareError ( o1 , o2 ) ; return false ; }
}
assert ( 0 ) ;
_RET_SUCCEED ( 0 ) ; //cannot happen
2015-11-01 09:05:13 +01:00
}
bool SQVM : : CMP_OP ( CmpOP op , const SQObjectPtr & o1 , const SQObjectPtr & o2 , SQObjectPtr & res )
{
2016-03-22 01:32:03 +01:00
SQInteger r ;
if ( ObjCmp ( o1 , o2 , r ) ) {
switch ( op ) {
case CMP_G : res = ( r > 0 ) ; return true ;
case CMP_GE : res = ( r > = 0 ) ; return true ;
case CMP_L : res = ( r < 0 ) ; return true ;
case CMP_LE : res = ( r < = 0 ) ; return true ;
case CMP_3W : res = r ; return true ;
}
assert ( 0 ) ;
}
return false ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : ToString ( const SQObjectPtr & o , SQObjectPtr & res )
{
2018-10-25 19:04:52 +02:00
switch ( sq_type ( o ) ) {
2016-03-22 01:32:03 +01:00
case OT_STRING :
res = o ;
return true ;
case OT_FLOAT :
scsprintf ( _sp ( sq_rsl ( NUMBER_MAX_CHAR + 1 ) ) , sq_rsl ( NUMBER_MAX_CHAR ) , _SC ( " %g " ) , _float ( o ) ) ;
break ;
case OT_INTEGER :
scsprintf ( _sp ( sq_rsl ( NUMBER_MAX_CHAR + 1 ) ) , sq_rsl ( NUMBER_MAX_CHAR ) , _PRINT_INT_FMT , _integer ( o ) ) ;
break ;
case OT_BOOL :
scsprintf ( _sp ( sq_rsl ( 6 ) ) , sq_rsl ( 6 ) , _integer ( o ) ? _SC ( " true " ) : _SC ( " false " ) ) ;
break ;
2020-03-20 19:50:17 +01:00
case OT_NULL :
scsprintf ( _sp ( sq_rsl ( 5 ) ) , sq_rsl ( 5 ) , _SC ( " null " ) ) ;
break ;
2016-03-22 01:32:03 +01:00
case OT_TABLE :
case OT_USERDATA :
case OT_INSTANCE :
if ( _delegable ( o ) - > _delegate ) {
SQObjectPtr closure ;
if ( _delegable ( o ) - > GetMetaMethod ( this , MT_TOSTRING , closure ) ) {
Push ( o ) ;
2016-05-22 21:51:59 +02:00
if ( CallMetaMethod ( closure , MT_TOSTRING , 1 , res ) ) {
2018-10-25 19:04:52 +02:00
if ( sq_type ( res ) = = OT_STRING )
2016-03-22 01:32:03 +01:00
return true ;
}
else {
return false ;
}
}
}
default :
scsprintf ( _sp ( sq_rsl ( ( sizeof ( void * ) * 2 ) + NUMBER_MAX_CHAR ) ) , sq_rsl ( ( sizeof ( void * ) * 2 ) + NUMBER_MAX_CHAR ) , _SC ( " (%s : 0x%p) " ) , GetTypeName ( o ) , ( void * ) _rawval ( o ) ) ;
}
res = SQString : : Create ( _ss ( this ) , _spval ) ;
return true ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : StringCat ( const SQObjectPtr & str , const SQObjectPtr & obj , SQObjectPtr & dest )
{
2016-03-22 01:32:03 +01:00
SQObjectPtr a , b ;
if ( ! ToString ( str , a ) ) return false ;
if ( ! ToString ( obj , b ) ) return false ;
SQInteger l = _string ( a ) - > _len , ol = _string ( b ) - > _len ;
SQChar * s = _sp ( sq_rsl ( l + ol + 1 ) ) ;
memcpy ( s , _stringval ( a ) , sq_rsl ( l ) ) ;
memcpy ( s + l , _stringval ( b ) , sq_rsl ( ol ) ) ;
dest = SQString : : Create ( _ss ( this ) , _spval , l + ol ) ;
return true ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : TypeOf ( const SQObjectPtr & obj1 , SQObjectPtr & dest )
{
2016-03-22 01:32:03 +01:00
if ( is_delegable ( obj1 ) & & _delegable ( obj1 ) - > _delegate ) {
SQObjectPtr closure ;
if ( _delegable ( obj1 ) - > GetMetaMethod ( this , MT_TYPEOF , closure ) ) {
Push ( obj1 ) ;
return CallMetaMethod ( closure , MT_TYPEOF , 1 , dest ) ;
}
}
dest = SQString : : Create ( _ss ( this ) , GetTypeName ( obj1 ) ) ;
return true ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : Init ( SQVM * friendvm , SQInteger stacksize )
{
2016-03-22 01:32:03 +01:00
_stack . resize ( stacksize ) ;
_alloccallsstacksize = 4 ;
_callstackdata . resize ( _alloccallsstacksize ) ;
_callsstacksize = 0 ;
_callsstack = & _callstackdata [ 0 ] ;
_stackbase = 0 ;
_top = 0 ;
if ( ! friendvm ) {
_roottable = SQTable : : Create ( _ss ( this ) , 0 ) ;
sq_base_register ( this ) ;
}
else {
_roottable = friendvm - > _roottable ;
_errorhandler = friendvm - > _errorhandler ;
_debughook = friendvm - > _debughook ;
_debughook_native = friendvm - > _debughook_native ;
_debughook_closure = friendvm - > _debughook_closure ;
}
return true ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : StartCall ( SQClosure * closure , SQInteger target , SQInteger args , SQInteger stackbase , bool tailcall )
{
2016-03-22 01:32:03 +01:00
SQFunctionProto * func = closure - > _function ;
SQInteger paramssize = func - > _nparameters ;
const SQInteger newtop = stackbase + func - > _stacksize ;
SQInteger nargs = args ;
if ( func - > _varparams )
{
paramssize - - ;
if ( nargs < paramssize ) {
2018-10-25 19:04:52 +02:00
Raise_Error ( _SC ( " wrong number of parameters (%d passed, at least %d required) " ) ,
( int ) nargs , ( int ) paramssize ) ;
2016-03-22 01:32:03 +01:00
return false ;
}
//dumpstack(stackbase);
SQInteger nvargs = nargs - paramssize ;
SQArray * arr = SQArray : : Create ( _ss ( this ) , nvargs ) ;
SQInteger pbase = stackbase + paramssize ;
for ( SQInteger n = 0 ; n < nvargs ; n + + ) {
arr - > _values [ n ] = _stack . _vals [ pbase ] ;
_stack . _vals [ pbase ] . Null ( ) ;
pbase + + ;
}
_stack . _vals [ stackbase + paramssize ] = arr ;
//dumpstack(stackbase);
}
else if ( paramssize ! = nargs ) {
SQInteger ndef = func - > _ndefaultparams ;
SQInteger diff ;
if ( ndef & & nargs < paramssize & & ( diff = paramssize - nargs ) < = ndef ) {
for ( SQInteger n = ndef - diff ; n < ndef ; n + + ) {
_stack . _vals [ stackbase + ( nargs + + ) ] = closure - > _defaultparams [ n ] ;
}
}
else {
2018-10-25 19:04:52 +02:00
Raise_Error ( _SC ( " wrong number of parameters (%d passed, %d required) " ) ,
( int ) nargs , ( int ) paramssize ) ;
2016-03-22 01:32:03 +01:00
return false ;
}
}
if ( closure - > _env ) {
_stack . _vals [ stackbase ] = closure - > _env - > _obj ;
}
if ( ! EnterFrame ( stackbase , newtop , tailcall ) ) return false ;
ci - > _closure = closure ;
ci - > _literals = func - > _literals ;
ci - > _ip = func - > _instructions ;
ci - > _target = ( SQInt32 ) target ;
if ( _debughook ) {
CallDebugHook ( _SC ( ' c ' ) ) ;
}
if ( closure - > _function - > _bgenerator ) {
SQFunctionProto * f = closure - > _function ;
SQGenerator * gen = SQGenerator : : Create ( _ss ( this ) , closure ) ;
if ( ! gen - > Yield ( this , f - > _stacksize ) )
return false ;
SQObjectPtr temp ;
Return ( 1 , target , temp ) ;
STK ( target ) = gen ;
}
return true ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : Return ( SQInteger _arg0 , SQInteger _arg1 , SQObjectPtr & retval )
{
2016-03-22 01:32:03 +01:00
SQBool _isroot = ci - > _root ;
SQInteger callerbase = _stackbase - ci - > _prevstkbase ;
if ( _debughook ) {
for ( SQInteger i = 0 ; i < ci - > _ncalls ; i + + ) {
CallDebugHook ( _SC ( ' r ' ) ) ;
}
}
SQObjectPtr * dest ;
if ( _isroot ) {
dest = & ( retval ) ;
} else if ( ci - > _target = = - 1 ) {
dest = NULL ;
} else {
dest = & _stack . _vals [ callerbase + ci - > _target ] ;
}
if ( dest ) {
if ( _arg0 ! = 0xFF ) {
* dest = _stack . _vals [ _stackbase + _arg1 ] ;
}
else {
dest - > Null ( ) ;
}
//*dest = (_arg0 != 0xFF) ? _stack._vals[_stackbase+_arg1] : _null_;
}
LeaveFrame ( ) ;
return _isroot ? true : false ;
2015-11-01 09:05:13 +01:00
}
# define _RET_ON_FAIL(exp) { if(!exp) return false; }
bool SQVM : : PLOCAL_INC ( SQInteger op , SQObjectPtr & target , SQObjectPtr & a , SQObjectPtr & incr )
{
2016-03-22 01:32:03 +01:00
SQObjectPtr trg ;
_RET_ON_FAIL ( ARITH_OP ( op , trg , a , incr ) ) ;
target = a ;
a = trg ;
return true ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : DerefInc ( SQInteger op , SQObjectPtr & target , SQObjectPtr & self , SQObjectPtr & key , SQObjectPtr & incr , bool postfix , SQInteger selfidx )
{
2016-03-22 01:32:03 +01:00
SQObjectPtr tmp , tself = self , tkey = key ;
if ( ! Get ( tself , tkey , tmp , 0 , selfidx ) ) { return false ; }
_RET_ON_FAIL ( ARITH_OP ( op , target , tmp , incr ) )
if ( ! Set ( tself , tkey , target , selfidx ) ) { return false ; }
if ( postfix ) target = tmp ;
return true ;
2015-11-01 09:05:13 +01:00
}
# define arg0 (_i_._arg0)
2016-03-22 01:32:03 +01:00
# define sarg0 ((SQInteger)*((const signed char *)&_i_._arg0))
2015-11-01 09:05:13 +01:00
# define arg1 (_i_._arg1)
2016-03-22 01:32:03 +01:00
# define sarg1 (*((const SQInt32 *)&_i_._arg1))
2015-11-01 09:05:13 +01:00
# define arg2 (_i_._arg2)
# define arg3 (_i_._arg3)
2016-03-22 01:32:03 +01:00
# define sarg3 ((SQInteger)*((const signed char *)&_i_._arg3))
2015-11-01 09:05:13 +01:00
SQRESULT SQVM : : Suspend ( )
{
2016-03-22 01:32:03 +01:00
if ( _suspended )
return sq_throwerror ( this , _SC ( " cannot suspend an already suspended vm " ) ) ;
if ( _nnativecalls ! = 2 )
return sq_throwerror ( this , _SC ( " cannot suspend through native calls/metamethods " ) ) ;
return SQ_SUSPEND_FLAG ;
2015-11-01 09:05:13 +01:00
}
# define _FINISH(howmuchtojump) {jump = howmuchtojump; return true; }
2016-03-22 01:32:03 +01:00
bool SQVM : : FOREACH_OP ( SQObjectPtr & o1 , SQObjectPtr & o2 , SQObjectPtr
& o3 , SQObjectPtr & o4 , SQInteger SQ_UNUSED_ARG ( arg_2 ) , int exitpos , int & jump )
2015-11-01 09:05:13 +01:00
{
2016-03-22 01:32:03 +01:00
SQInteger nrefidx ;
2018-10-25 19:04:52 +02:00
switch ( sq_type ( o1 ) ) {
2016-03-22 01:32:03 +01:00
case OT_TABLE :
if ( ( nrefidx = _table ( o1 ) - > Next ( false , o4 , o2 , o3 ) ) = = - 1 ) _FINISH ( exitpos ) ;
o4 = ( SQInteger ) nrefidx ; _FINISH ( 1 ) ;
case OT_ARRAY :
if ( ( nrefidx = _array ( o1 ) - > Next ( o4 , o2 , o3 ) ) = = - 1 ) _FINISH ( exitpos ) ;
o4 = ( SQInteger ) nrefidx ; _FINISH ( 1 ) ;
case OT_STRING :
if ( ( nrefidx = _string ( o1 ) - > Next ( o4 , o2 , o3 ) ) = = - 1 ) _FINISH ( exitpos ) ;
o4 = ( SQInteger ) nrefidx ; _FINISH ( 1 ) ;
case OT_CLASS :
if ( ( nrefidx = _class ( o1 ) - > Next ( o4 , o2 , o3 ) ) = = - 1 ) _FINISH ( exitpos ) ;
o4 = ( SQInteger ) nrefidx ; _FINISH ( 1 ) ;
case OT_USERDATA :
case OT_INSTANCE :
if ( _delegable ( o1 ) - > _delegate ) {
SQObjectPtr itr ;
SQObjectPtr closure ;
if ( _delegable ( o1 ) - > GetMetaMethod ( this , MT_NEXTI , closure ) ) {
Push ( o1 ) ;
Push ( o4 ) ;
if ( CallMetaMethod ( closure , MT_NEXTI , 2 , itr ) ) {
o4 = o2 = itr ;
2018-10-25 19:04:52 +02:00
if ( sq_type ( itr ) = = OT_NULL ) _FINISH ( exitpos ) ;
2016-03-22 01:32:03 +01:00
if ( ! Get ( o1 , itr , o3 , 0 , DONT_FALL_BACK ) ) {
Raise_Error ( _SC ( " _nexti returned an invalid idx " ) ) ; // cloud be changed
return false ;
}
_FINISH ( 1 ) ;
}
else {
return false ;
}
}
Raise_Error ( _SC ( " _nexti failed " ) ) ;
return false ;
}
break ;
case OT_GENERATOR :
if ( _generator ( o1 ) - > _state = = SQGenerator : : eDead ) _FINISH ( exitpos ) ;
if ( _generator ( o1 ) - > _state = = SQGenerator : : eSuspended ) {
SQInteger idx = 0 ;
2018-10-25 19:04:52 +02:00
if ( sq_type ( o4 ) = = OT_INTEGER ) {
2016-03-22 01:32:03 +01:00
idx = _integer ( o4 ) + 1 ;
}
o2 = idx ;
o4 = idx ;
_generator ( o1 ) - > Resume ( this , o3 ) ;
_FINISH ( 0 ) ;
}
default :
Raise_Error ( _SC ( " cannot iterate %s " ) , GetTypeName ( o1 ) ) ;
}
return false ; //cannot be hit(just to avoid warnings)
2015-11-01 09:05:13 +01:00
}
# define COND_LITERAL (arg3!=0?ci->_literals[arg1]:STK(arg1))
# define SQ_THROW() { goto exception_trap; }
# define _GUARD(exp) { if(!exp) { SQ_THROW();} }
bool SQVM : : CLOSURE_OP ( SQObjectPtr & target , SQFunctionProto * func )
{
2016-03-22 01:32:03 +01:00
SQInteger nouters ;
SQClosure * closure = SQClosure : : Create ( _ss ( this ) , func , _table ( _roottable ) - > GetWeakRef ( OT_TABLE ) ) ;
if ( ( nouters = func - > _noutervalues ) ) {
for ( SQInteger i = 0 ; i < nouters ; i + + ) {
SQOuterVar & v = func - > _outervalues [ i ] ;
switch ( v . _type ) {
case otLOCAL :
FindOuter ( closure - > _outervalues [ i ] , & STK ( _integer ( v . _src ) ) ) ;
break ;
case otOUTER :
closure - > _outervalues [ i ] = _closure ( ci - > _closure ) - > _outervalues [ _integer ( v . _src ) ] ;
break ;
}
}
}
SQInteger ndefparams ;
if ( ( ndefparams = func - > _ndefaultparams ) ) {
for ( SQInteger i = 0 ; i < ndefparams ; i + + ) {
SQInteger spos = func - > _defaultparams [ i ] ;
closure - > _defaultparams [ i ] = _stack . _vals [ _stackbase + spos ] ;
}
}
target = closure ;
return true ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : CLASS_OP ( SQObjectPtr & target , SQInteger baseclass , SQInteger attributes )
{
2016-03-22 01:32:03 +01:00
SQClass * base = NULL ;
SQObjectPtr attrs ;
if ( baseclass ! = - 1 ) {
2018-10-25 19:04:52 +02:00
if ( sq_type ( _stack . _vals [ _stackbase + baseclass ] ) ! = OT_CLASS ) { Raise_Error ( _SC ( " trying to inherit from a %s " ) , GetTypeName ( _stack . _vals [ _stackbase + baseclass ] ) ) ; return false ; }
2016-03-22 01:32:03 +01:00
base = _class ( _stack . _vals [ _stackbase + baseclass ] ) ;
}
if ( attributes ! = MAX_FUNC_STACKSIZE ) {
attrs = _stack . _vals [ _stackbase + attributes ] ;
}
target = SQClass : : Create ( _ss ( this ) , base ) ;
2018-10-25 19:04:52 +02:00
if ( sq_type ( _class ( target ) - > _metamethods [ MT_INHERITED ] ) ! = OT_NULL ) {
2016-03-22 01:32:03 +01:00
int nparams = 2 ;
SQObjectPtr ret ;
Push ( target ) ; Push ( attrs ) ;
if ( ! Call ( _class ( target ) - > _metamethods [ MT_INHERITED ] , nparams , _top - nparams , ret , false ) ) {
Pop ( nparams ) ;
return false ;
}
Pop ( nparams ) ;
}
_class ( target ) - > _attributes = attrs ;
return true ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : IsEqual ( const SQObjectPtr & o1 , const SQObjectPtr & o2 , bool & res )
{
2019-04-24 21:33:42 +02:00
SQObjectType t1 = sq_type ( o1 ) , t2 = sq_type ( o2 ) ;
if ( t1 = = t2 ) {
if ( t1 = = OT_FLOAT ) {
res = ( _float ( o1 ) = = _float ( o2 ) ) ;
}
else {
res = ( _rawval ( o1 ) = = _rawval ( o2 ) ) ;
}
2016-03-22 01:32:03 +01:00
}
else {
if ( sq_isnumeric ( o1 ) & & sq_isnumeric ( o2 ) ) {
res = ( tofloat ( o1 ) = = tofloat ( o2 ) ) ;
}
else {
res = false ;
}
}
return true ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : IsFalse ( SQObjectPtr & o )
{
2018-10-25 19:04:52 +02:00
if ( ( ( sq_type ( o ) & SQOBJECT_CANBEFALSE )
& & ( ( ( sq_type ( o ) = = OT_FLOAT ) & & ( _float ( o ) = = SQFloat ( 0.0 ) ) ) ) )
2015-11-01 09:05:13 +01:00
# if !defined(SQUSEDOUBLE) || (defined(SQUSEDOUBLE) && defined(_SQ64))
2016-03-22 01:32:03 +01:00
| | ( _integer ( o ) = = 0 ) ) //OT_NULL|OT_INTEGER|OT_BOOL
2015-11-01 09:05:13 +01:00
# else
2020-03-20 19:50:17 +01:00
| | ( ( ( sq_type ( o ) ! = OT_FLOAT ) & & ( _integer ( o ) = = 0 ) ) ) ) //OT_NULL|OT_INTEGER|OT_BOOL
2015-11-01 09:05:13 +01:00
# endif
2016-03-22 01:32:03 +01:00
{
return true ;
}
return false ;
2015-11-01 09:05:13 +01:00
}
extern SQInstructionDesc g_InstrDesc [ ] ;
bool SQVM : : Execute ( SQObjectPtr & closure , SQInteger nargs , SQInteger stackbase , SQObjectPtr & outres , SQBool raiseerror , ExecutionType et )
{
2016-03-22 01:32:03 +01:00
if ( ( _nnativecalls + 1 ) > MAX_NATIVE_CALLS ) { Raise_Error ( _SC ( " Native stack overflow " ) ) ; return false ; }
_nnativecalls + + ;
AutoDec ad ( & _nnativecalls ) ;
SQInteger traps = 0 ;
CallInfo * prevci = ci ;
switch ( et ) {
case ET_CALL : {
temp_reg = closure ;
if ( ! StartCall ( _closure ( temp_reg ) , _top - nargs , nargs , stackbase , false ) ) {
//call the handler if there are no calls in the stack, if not relies on the previous node
if ( ci = = NULL ) CallErrorHandler ( _lasterror ) ;
return false ;
}
if ( ci = = prevci ) {
outres = STK ( _top - nargs ) ;
return true ;
}
ci - > _root = SQTrue ;
}
break ;
case ET_RESUME_GENERATOR : _generator ( closure ) - > Resume ( this , outres ) ; ci - > _root = SQTrue ; traps + = ci - > _etraps ; break ;
case ET_RESUME_VM :
case ET_RESUME_THROW_VM :
traps = _suspended_traps ;
ci - > _root = _suspended_root ;
_suspended = SQFalse ;
if ( et = = ET_RESUME_THROW_VM ) { SQ_THROW ( ) ; }
break ;
}
2015-11-01 09:05:13 +01:00
exception_restore :
2016-03-22 01:32:03 +01:00
//
{
for ( ; ; )
{
const SQInstruction & _i_ = * ci - > _ip + + ;
//dumpstack(_stackbase);
//scprintf("\n[%d] %s %d %d %d %d\n",ci->_ip-_closure(ci->_closure)->_function->_instructions,g_InstrDesc[_i_.op].name,arg0,arg1,arg2,arg3);
switch ( _i_ . op )
{
case _OP_LINE : if ( _debughook ) CallDebugHook ( _SC ( ' l ' ) , arg1 ) ; continue ;
case _OP_LOAD : TARGET = ci - > _literals [ arg1 ] ; continue ;
case _OP_LOADINT :
2015-11-01 09:05:13 +01:00
# ifndef _SQ64
2016-03-22 01:32:03 +01:00
TARGET = ( SQInteger ) arg1 ; continue ;
2015-11-01 09:05:13 +01:00
# else
2016-03-22 01:32:03 +01:00
TARGET = ( SQInteger ) ( ( SQInt32 ) arg1 ) ; continue ;
2015-11-01 09:05:13 +01:00
# endif
2016-03-22 01:32:03 +01:00
case _OP_LOADFLOAT : TARGET = * ( ( const SQFloat * ) & arg1 ) ; continue ;
case _OP_DLOAD : TARGET = ci - > _literals [ arg1 ] ; STK ( arg2 ) = ci - > _literals [ arg3 ] ; continue ;
case _OP_TAILCALL : {
SQObjectPtr & t = STK ( arg1 ) ;
2018-10-25 19:04:52 +02:00
if ( sq_type ( t ) = = OT_CLOSURE
2016-03-22 01:32:03 +01:00
& & ( ! _closure ( t ) - > _function - > _bgenerator ) ) {
SQObjectPtr clo = t ;
2018-10-25 19:04:52 +02:00
SQInteger last_top = _top ;
2016-03-22 01:32:03 +01:00
if ( _openouters ) CloseOuters ( & ( _stack . _vals [ _stackbase ] ) ) ;
for ( SQInteger i = 0 ; i < arg3 ; i + + ) STK ( i ) = STK ( arg2 + i ) ;
_GUARD ( StartCall ( _closure ( clo ) , ci - > _target , arg3 , _stackbase , true ) ) ;
2018-10-25 19:04:52 +02:00
if ( last_top > = _top ) {
_top = last_top ;
}
2016-03-22 01:32:03 +01:00
continue ;
}
}
case _OP_CALL : {
SQObjectPtr clo = STK ( arg1 ) ;
2018-10-25 19:04:52 +02:00
switch ( sq_type ( clo ) ) {
2016-03-22 01:32:03 +01:00
case OT_CLOSURE :
_GUARD ( StartCall ( _closure ( clo ) , sarg0 , arg3 , _stackbase + arg2 , false ) ) ;
continue ;
case OT_NATIVECLOSURE : {
bool suspend ;
2018-10-25 19:04:52 +02:00
bool tailcall ;
_GUARD ( CallNative ( _nativeclosure ( clo ) , arg3 , _stackbase + arg2 , clo , ( SQInt32 ) sarg0 , suspend , tailcall ) ) ;
2016-03-22 01:32:03 +01:00
if ( suspend ) {
_suspended = SQTrue ;
_suspended_target = sarg0 ;
_suspended_root = ci - > _root ;
_suspended_traps = traps ;
outres = clo ;
return true ;
}
2018-10-25 19:04:52 +02:00
if ( sarg0 ! = - 1 & & ! tailcall ) {
2016-03-22 01:32:03 +01:00
STK ( arg0 ) = clo ;
}
}
continue ;
case OT_CLASS : {
SQObjectPtr inst ;
_GUARD ( CreateClassInstance ( _class ( clo ) , inst , clo ) ) ;
if ( sarg0 ! = - 1 ) {
STK ( arg0 ) = inst ;
}
SQInteger stkbase ;
2018-10-25 19:04:52 +02:00
switch ( sq_type ( clo ) ) {
2016-03-22 01:32:03 +01:00
case OT_CLOSURE :
stkbase = _stackbase + arg2 ;
_stack . _vals [ stkbase ] = inst ;
_GUARD ( StartCall ( _closure ( clo ) , - 1 , arg3 , stkbase , false ) ) ;
break ;
case OT_NATIVECLOSURE :
2018-10-25 19:04:52 +02:00
bool dummy ;
2016-03-22 01:32:03 +01:00
stkbase = _stackbase + arg2 ;
_stack . _vals [ stkbase ] = inst ;
2018-10-25 19:04:52 +02:00
_GUARD ( CallNative ( _nativeclosure ( clo ) , arg3 , stkbase , clo , - 1 , dummy , dummy ) ) ;
2016-03-22 01:32:03 +01:00
break ;
default : break ; //shutup GCC 4.x
}
}
break ;
case OT_TABLE :
case OT_USERDATA :
case OT_INSTANCE : {
SQObjectPtr closure ;
if ( _delegable ( clo ) - > _delegate & & _delegable ( clo ) - > GetMetaMethod ( this , MT_CALL , closure ) ) {
Push ( clo ) ;
for ( SQInteger i = 0 ; i < arg3 ; i + + ) Push ( STK ( arg2 + i ) ) ;
if ( ! CallMetaMethod ( closure , MT_CALL , arg3 + 1 , clo ) ) SQ_THROW ( ) ;
if ( sarg0 ! = - 1 ) {
STK ( arg0 ) = clo ;
}
break ;
}
//Raise_Error(_SC("attempt to call '%s'"), GetTypeName(clo));
//SQ_THROW();
}
default :
Raise_Error ( _SC ( " attempt to call '%s' " ) , GetTypeName ( clo ) ) ;
SQ_THROW ( ) ;
}
}
continue ;
case _OP_PREPCALL :
case _OP_PREPCALLK : {
SQObjectPtr & key = _i_ . op = = _OP_PREPCALLK ? ( ci - > _literals ) [ arg1 ] : STK ( arg1 ) ;
SQObjectPtr & o = STK ( arg2 ) ;
if ( ! Get ( o , key , temp_reg , 0 , arg2 ) ) {
SQ_THROW ( ) ;
}
STK ( arg3 ) = o ;
_Swap ( TARGET , temp_reg ) ; //TARGET = temp_reg;
}
continue ;
case _OP_GETK :
if ( ! Get ( STK ( arg2 ) , ci - > _literals [ arg1 ] , temp_reg , 0 , arg2 ) ) { SQ_THROW ( ) ; }
_Swap ( TARGET , temp_reg ) ; //TARGET = temp_reg;
continue ;
case _OP_MOVE : TARGET = STK ( arg1 ) ; continue ;
case _OP_NEWSLOT :
_GUARD ( NewSlot ( STK ( arg1 ) , STK ( arg2 ) , STK ( arg3 ) , false ) ) ;
if ( arg0 ! = 0xFF ) TARGET = STK ( arg3 ) ;
continue ;
case _OP_DELETE : _GUARD ( DeleteSlot ( STK ( arg1 ) , STK ( arg2 ) , TARGET ) ) ; continue ;
case _OP_SET :
if ( ! Set ( STK ( arg1 ) , STK ( arg2 ) , STK ( arg3 ) , arg1 ) ) { SQ_THROW ( ) ; }
if ( arg0 ! = 0xFF ) TARGET = STK ( arg3 ) ;
continue ;
case _OP_GET :
if ( ! Get ( STK ( arg1 ) , STK ( arg2 ) , temp_reg , 0 , arg1 ) ) { SQ_THROW ( ) ; }
_Swap ( TARGET , temp_reg ) ; //TARGET = temp_reg;
continue ;
case _OP_EQ : {
bool res ;
if ( ! IsEqual ( STK ( arg2 ) , COND_LITERAL , res ) ) { SQ_THROW ( ) ; }
TARGET = res ? true : false ;
} continue ;
case _OP_NE : {
bool res ;
if ( ! IsEqual ( STK ( arg2 ) , COND_LITERAL , res ) ) { SQ_THROW ( ) ; }
TARGET = ( ! res ) ? true : false ;
} continue ;
case _OP_ADD : _ARITH_ ( + , TARGET , STK ( arg2 ) , STK ( arg1 ) ) ; continue ;
case _OP_SUB : _ARITH_ ( - , TARGET , STK ( arg2 ) , STK ( arg1 ) ) ; continue ;
case _OP_MUL : _ARITH_ ( * , TARGET , STK ( arg2 ) , STK ( arg1 ) ) ; continue ;
case _OP_DIV : _ARITH_NOZERO ( / , TARGET , STK ( arg2 ) , STK ( arg1 ) , _SC ( " division by zero " ) ) ; continue ;
case _OP_MOD : ARITH_OP ( ' % ' , TARGET , STK ( arg2 ) , STK ( arg1 ) ) ; continue ;
case _OP_BITW : _GUARD ( BW_OP ( arg3 , TARGET , STK ( arg2 ) , STK ( arg1 ) ) ) ; continue ;
case _OP_RETURN :
if ( ( ci ) - > _generator ) {
( ci ) - > _generator - > Kill ( ) ;
}
if ( Return ( arg0 , arg1 , temp_reg ) ) {
assert ( traps = = 0 ) ;
//outres = temp_reg;
_Swap ( outres , temp_reg ) ;
return true ;
}
continue ;
case _OP_LOADNULLS : { for ( SQInt32 n = 0 ; n < arg1 ; n + + ) STK ( arg0 + n ) . Null ( ) ; } continue ;
case _OP_LOADROOT : {
SQWeakRef * w = _closure ( ci - > _closure ) - > _root ;
2018-10-25 19:04:52 +02:00
if ( sq_type ( w - > _obj ) ! = OT_NULL ) {
2016-03-22 01:32:03 +01:00
TARGET = w - > _obj ;
} else {
TARGET = _roottable ; //shoud this be like this? or null
}
}
continue ;
case _OP_LOADBOOL : TARGET = arg1 ? true : false ; continue ;
case _OP_DMOVE : STK ( arg0 ) = STK ( arg1 ) ; STK ( arg2 ) = STK ( arg3 ) ; continue ;
case _OP_JMP : ci - > _ip + = ( sarg1 ) ; continue ;
//case _OP_JNZ: if(!IsFalse(STK(arg0))) ci->_ip+=(sarg1); continue;
case _OP_JCMP :
_GUARD ( CMP_OP ( ( CmpOP ) arg3 , STK ( arg2 ) , STK ( arg0 ) , temp_reg ) ) ;
if ( IsFalse ( temp_reg ) ) ci - > _ip + = ( sarg1 ) ;
continue ;
case _OP_JZ : if ( IsFalse ( STK ( arg0 ) ) ) ci - > _ip + = ( sarg1 ) ; continue ;
case _OP_GETOUTER : {
SQClosure * cur_cls = _closure ( ci - > _closure ) ;
SQOuter * otr = _outer ( cur_cls - > _outervalues [ arg1 ] ) ;
TARGET = * ( otr - > _valptr ) ;
}
continue ;
case _OP_SETOUTER : {
SQClosure * cur_cls = _closure ( ci - > _closure ) ;
SQOuter * otr = _outer ( cur_cls - > _outervalues [ arg1 ] ) ;
* ( otr - > _valptr ) = STK ( arg2 ) ;
if ( arg0 ! = 0xFF ) {
TARGET = STK ( arg2 ) ;
}
}
continue ;
case _OP_NEWOBJ :
switch ( arg3 ) {
case NOT_TABLE : TARGET = SQTable : : Create ( _ss ( this ) , arg1 ) ; continue ;
case NOT_ARRAY : TARGET = SQArray : : Create ( _ss ( this ) , 0 ) ; _array ( TARGET ) - > Reserve ( arg1 ) ; continue ;
case NOT_CLASS : _GUARD ( CLASS_OP ( TARGET , arg1 , arg2 ) ) ; continue ;
default : assert ( 0 ) ; continue ;
}
case _OP_APPENDARRAY :
{
SQObject val ;
val . _unVal . raw = 0 ;
switch ( arg2 ) {
case AAT_STACK :
val = STK ( arg1 ) ; break ;
case AAT_LITERAL :
val = ci - > _literals [ arg1 ] ; break ;
case AAT_INT :
val . _type = OT_INTEGER ;
2015-11-01 09:05:13 +01:00
# ifndef _SQ64
2016-03-22 01:32:03 +01:00
val . _unVal . nInteger = ( SQInteger ) arg1 ;
2015-11-01 09:05:13 +01:00
# else
2016-03-22 01:32:03 +01:00
val . _unVal . nInteger = ( SQInteger ) ( ( SQInt32 ) arg1 ) ;
2015-11-01 09:05:13 +01:00
# endif
2016-03-22 01:32:03 +01:00
break ;
case AAT_FLOAT :
val . _type = OT_FLOAT ;
val . _unVal . fFloat = * ( ( const SQFloat * ) & arg1 ) ;
break ;
case AAT_BOOL :
val . _type = OT_BOOL ;
val . _unVal . nInteger = arg1 ;
break ;
default : val . _type = OT_INTEGER ; assert ( 0 ) ; break ;
}
_array ( STK ( arg0 ) ) - > Append ( val ) ; continue ;
}
case _OP_COMPARITH : {
SQInteger selfidx = ( ( ( SQUnsignedInteger ) arg1 & 0xFFFF0000 ) > > 16 ) ;
_GUARD ( DerefInc ( arg3 , TARGET , STK ( selfidx ) , STK ( arg2 ) , STK ( arg1 & 0x0000FFFF ) , false , selfidx ) ) ;
}
continue ;
case _OP_INC : { SQObjectPtr o ( sarg3 ) ; _GUARD ( DerefInc ( ' + ' , TARGET , STK ( arg1 ) , STK ( arg2 ) , o , false , arg1 ) ) ; } continue ;
case _OP_INCL : {
SQObjectPtr & a = STK ( arg1 ) ;
2018-10-25 19:04:52 +02:00
if ( sq_type ( a ) = = OT_INTEGER ) {
2016-03-22 01:32:03 +01:00
a . _unVal . nInteger = _integer ( a ) + sarg3 ;
}
else {
SQObjectPtr o ( sarg3 ) ; //_GUARD(LOCAL_INC('+',TARGET, STK(arg1), o));
_ARITH_ ( + , a , a , o ) ;
}
} continue ;
case _OP_PINC : { SQObjectPtr o ( sarg3 ) ; _GUARD ( DerefInc ( ' + ' , TARGET , STK ( arg1 ) , STK ( arg2 ) , o , true , arg1 ) ) ; } continue ;
case _OP_PINCL : {
SQObjectPtr & a = STK ( arg1 ) ;
2018-10-25 19:04:52 +02:00
if ( sq_type ( a ) = = OT_INTEGER ) {
2016-03-22 01:32:03 +01:00
TARGET = a ;
a . _unVal . nInteger = _integer ( a ) + sarg3 ;
}
else {
SQObjectPtr o ( sarg3 ) ; _GUARD ( PLOCAL_INC ( ' + ' , TARGET , STK ( arg1 ) , o ) ) ;
}
} continue ;
case _OP_CMP : _GUARD ( CMP_OP ( ( CmpOP ) arg3 , STK ( arg2 ) , STK ( arg1 ) , TARGET ) ) continue ;
case _OP_EXISTS : TARGET = Get ( STK ( arg1 ) , STK ( arg2 ) , temp_reg , GET_FLAG_DO_NOT_RAISE_ERROR | GET_FLAG_RAW , DONT_FALL_BACK ) ? true : false ; continue ;
case _OP_INSTANCEOF :
2018-10-25 19:04:52 +02:00
if ( sq_type ( STK ( arg1 ) ) ! = OT_CLASS )
2016-03-22 01:32:03 +01:00
{ Raise_Error ( _SC ( " cannot apply instanceof between a %s and a %s " ) , GetTypeName ( STK ( arg1 ) ) , GetTypeName ( STK ( arg2 ) ) ) ; SQ_THROW ( ) ; }
2018-10-25 19:04:52 +02:00
TARGET = ( sq_type ( STK ( arg2 ) ) = = OT_INSTANCE ) ? ( _instance ( STK ( arg2 ) ) - > InstanceOf ( _class ( STK ( arg1 ) ) ) ? true : false ) : false ;
2016-03-22 01:32:03 +01:00
continue ;
case _OP_AND :
if ( IsFalse ( STK ( arg2 ) ) ) {
TARGET = STK ( arg2 ) ;
ci - > _ip + = ( sarg1 ) ;
}
2015-11-01 09:05:13 +01:00
continue ;
2016-03-22 01:32:03 +01:00
case _OP_OR :
if ( ! IsFalse ( STK ( arg2 ) ) ) {
TARGET = STK ( arg2 ) ;
ci - > _ip + = ( sarg1 ) ;
}
continue ;
case _OP_NEG : _GUARD ( NEG_OP ( TARGET , STK ( arg1 ) ) ) ; continue ;
case _OP_NOT : TARGET = IsFalse ( STK ( arg1 ) ) ; continue ;
case _OP_BWNOT :
2018-10-25 19:04:52 +02:00
if ( sq_type ( STK ( arg1 ) ) = = OT_INTEGER ) {
2016-03-22 01:32:03 +01:00
SQInteger t = _integer ( STK ( arg1 ) ) ;
TARGET = SQInteger ( ~ t ) ;
continue ;
}
Raise_Error ( _SC ( " attempt to perform a bitwise op on a %s " ) , GetTypeName ( STK ( arg1 ) ) ) ;
SQ_THROW ( ) ;
case _OP_CLOSURE : {
SQClosure * c = ci - > _closure . _unVal . pClosure ;
SQFunctionProto * fp = c - > _function ;
if ( ! CLOSURE_OP ( TARGET , fp - > _functions [ arg1 ] . _unVal . pFunctionProto ) ) { SQ_THROW ( ) ; }
continue ;
}
case _OP_YIELD : {
if ( ci - > _generator ) {
if ( sarg1 ! = MAX_FUNC_STACKSIZE ) temp_reg = STK ( arg1 ) ;
2019-04-24 21:33:42 +02:00
if ( _openouters ) CloseOuters ( & _stack . _vals [ _stackbase ] ) ;
2016-03-22 01:32:03 +01:00
_GUARD ( ci - > _generator - > Yield ( this , arg2 ) ) ;
2019-04-24 21:33:42 +02:00
traps - = ci - > _etraps ;
2016-03-22 01:32:03 +01:00
if ( sarg1 ! = MAX_FUNC_STACKSIZE ) _Swap ( STK ( arg1 ) , temp_reg ) ; //STK(arg1) = temp_reg;
}
else { Raise_Error ( _SC ( " trying to yield a '%s',only genenerator can be yielded " ) , GetTypeName ( ci - > _generator ) ) ; SQ_THROW ( ) ; }
if ( Return ( arg0 , arg1 , temp_reg ) ) {
assert ( traps = = 0 ) ;
outres = temp_reg ;
return true ;
}
}
continue ;
case _OP_RESUME :
2018-10-25 19:04:52 +02:00
if ( sq_type ( STK ( arg1 ) ) ! = OT_GENERATOR ) { Raise_Error ( _SC ( " trying to resume a '%s',only genenerator can be resumed " ) , GetTypeName ( STK ( arg1 ) ) ) ; SQ_THROW ( ) ; }
2016-03-22 01:32:03 +01:00
_GUARD ( _generator ( STK ( arg1 ) ) - > Resume ( this , TARGET ) ) ;
traps + = ci - > _etraps ;
continue ;
case _OP_FOREACH : { int tojump ;
_GUARD ( FOREACH_OP ( STK ( arg0 ) , STK ( arg2 ) , STK ( arg2 + 1 ) , STK ( arg2 + 2 ) , arg2 , sarg1 , tojump ) ) ;
ci - > _ip + = tojump ; }
continue ;
case _OP_POSTFOREACH :
2018-10-25 19:04:52 +02:00
assert ( sq_type ( STK ( arg0 ) ) = = OT_GENERATOR ) ;
2016-03-22 01:32:03 +01:00
if ( _generator ( STK ( arg0 ) ) - > _state = = SQGenerator : : eDead )
ci - > _ip + = ( sarg1 - 1 ) ;
continue ;
case _OP_CLONE : _GUARD ( Clone ( STK ( arg1 ) , TARGET ) ) ; continue ;
case _OP_TYPEOF : _GUARD ( TypeOf ( STK ( arg1 ) , TARGET ) ) continue ;
case _OP_PUSHTRAP : {
SQInstruction * _iv = _closure ( ci - > _closure ) - > _function - > _instructions ;
_etraps . push_back ( SQExceptionTrap ( _top , _stackbase , & _iv [ ( ci - > _ip - _iv ) + arg1 ] , arg0 ) ) ; traps + + ;
ci - > _etraps + + ;
}
continue ;
case _OP_POPTRAP : {
for ( SQInteger i = 0 ; i < arg0 ; i + + ) {
_etraps . pop_back ( ) ; traps - - ;
ci - > _etraps - - ;
}
}
continue ;
case _OP_THROW : Raise_Error ( TARGET ) ; SQ_THROW ( ) ; continue ;
case _OP_NEWSLOTA :
_GUARD ( NewSlotA ( STK ( arg1 ) , STK ( arg2 ) , STK ( arg3 ) , ( arg0 & NEW_SLOT_ATTRIBUTES_FLAG ) ? STK ( arg2 - 1 ) : SQObjectPtr ( ) , ( arg0 & NEW_SLOT_STATIC_FLAG ) ? true : false , false ) ) ;
continue ;
case _OP_GETBASE : {
SQClosure * clo = _closure ( ci - > _closure ) ;
if ( clo - > _base ) {
TARGET = clo - > _base ;
}
else {
TARGET . Null ( ) ;
}
continue ;
}
case _OP_CLOSE :
if ( _openouters ) CloseOuters ( & ( STK ( arg1 ) ) ) ;
continue ;
}
}
}
2015-11-01 09:05:13 +01:00
exception_trap :
2016-03-22 01:32:03 +01:00
{
SQObjectPtr currerror = _lasterror ;
// dumpstack(_stackbase);
// SQInteger n = 0;
SQInteger last_top = _top ;
if ( _ss ( this ) - > _notifyallexceptions | | ( ! traps & & raiseerror ) ) CallErrorHandler ( currerror ) ;
while ( ci ) {
if ( ci - > _etraps > 0 ) {
SQExceptionTrap & et = _etraps . top ( ) ;
ci - > _ip = et . _ip ;
_top = et . _stacksize ;
_stackbase = et . _stackbase ;
_stack . _vals [ _stackbase + et . _extarget ] = currerror ;
_etraps . pop_back ( ) ; traps - - ; ci - > _etraps - - ;
while ( last_top > = _top ) _stack . _vals [ last_top - - ] . Null ( ) ;
goto exception_restore ;
}
else if ( _debughook ) {
//notify debugger of a "return"
//even if it really an exception unwinding the stack
for ( SQInteger i = 0 ; i < ci - > _ncalls ; i + + ) {
CallDebugHook ( _SC ( ' r ' ) ) ;
}
}
if ( ci - > _generator ) ci - > _generator - > Kill ( ) ;
bool mustbreak = ci & & ci - > _root ;
LeaveFrame ( ) ;
if ( mustbreak ) break ;
}
_lasterror = currerror ;
return false ;
}
assert ( 0 ) ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : CreateClassInstance ( SQClass * theclass , SQObjectPtr & inst , SQObjectPtr & constructor )
{
2016-03-22 01:32:03 +01:00
inst = theclass - > CreateInstance ( ) ;
if ( ! theclass - > GetConstructor ( constructor ) ) {
constructor . Null ( ) ;
}
return true ;
2015-11-01 09:05:13 +01:00
}
void SQVM : : CallErrorHandler ( SQObjectPtr & error )
{
2018-10-25 19:04:52 +02:00
if ( sq_type ( _errorhandler ) ! = OT_NULL ) {
2016-03-22 01:32:03 +01:00
SQObjectPtr out ;
Push ( _roottable ) ; Push ( error ) ;
Call ( _errorhandler , 2 , _top - 2 , out , SQFalse ) ;
Pop ( 2 ) ;
}
2015-11-01 09:05:13 +01:00
}
void SQVM : : CallDebugHook ( SQInteger type , SQInteger forcedline )
{
2016-03-22 01:32:03 +01:00
_debughook = false ;
SQFunctionProto * func = _closure ( ci - > _closure ) - > _function ;
if ( _debughook_native ) {
2018-10-25 19:04:52 +02:00
const SQChar * src = sq_type ( func - > _sourcename ) = = OT_STRING ? _stringval ( func - > _sourcename ) : NULL ;
const SQChar * fname = sq_type ( func - > _name ) = = OT_STRING ? _stringval ( func - > _name ) : NULL ;
2016-03-22 01:32:03 +01:00
SQInteger line = forcedline ? forcedline : func - > GetLine ( ci - > _ip ) ;
_debughook_native ( this , type , src , line , fname ) ;
}
else {
SQObjectPtr temp_reg ;
SQInteger nparams = 5 ;
Push ( _roottable ) ; Push ( type ) ; Push ( func - > _sourcename ) ; Push ( forcedline ? forcedline : func - > GetLine ( ci - > _ip ) ) ; Push ( func - > _name ) ;
Call ( _debughook_closure , nparams , _top - nparams , temp_reg , SQFalse ) ;
Pop ( nparams ) ;
}
_debughook = true ;
2015-11-01 09:05:13 +01:00
}
2018-10-25 19:04:52 +02:00
bool SQVM : : CallNative ( SQNativeClosure * nclosure , SQInteger nargs , SQInteger newbase , SQObjectPtr & retval , SQInt32 target , bool & suspend , bool & tailcall )
2015-11-01 09:05:13 +01:00
{
2016-03-22 01:32:03 +01:00
SQInteger nparamscheck = nclosure - > _nparamscheck ;
SQInteger newtop = newbase + nargs + nclosure - > _noutervalues ;
if ( _nnativecalls + 1 > MAX_NATIVE_CALLS ) {
Raise_Error ( _SC ( " Native stack overflow " ) ) ;
return false ;
}
if ( nparamscheck & & ( ( ( nparamscheck > 0 ) & & ( nparamscheck ! = nargs ) ) | |
( ( nparamscheck < 0 ) & & ( nargs < ( - nparamscheck ) ) ) ) )
{
Raise_Error ( _SC ( " wrong number of parameters " ) ) ;
return false ;
}
SQInteger tcs ;
SQIntVec & tc = nclosure - > _typecheck ;
if ( ( tcs = tc . size ( ) ) ) {
for ( SQInteger i = 0 ; i < nargs & & i < tcs ; i + + ) {
2018-10-25 19:04:52 +02:00
if ( ( tc . _vals [ i ] ! = - 1 ) & & ! ( sq_type ( _stack . _vals [ newbase + i ] ) & tc . _vals [ i ] ) ) {
Raise_ParamTypeError ( i , tc . _vals [ i ] , sq_type ( _stack . _vals [ newbase + i ] ) ) ;
2016-03-22 01:32:03 +01:00
return false ;
}
}
}
if ( ! EnterFrame ( newbase , newtop , false ) ) return false ;
ci - > _closure = nclosure ;
2018-10-25 19:04:52 +02:00
ci - > _target = target ;
2016-03-22 01:32:03 +01:00
SQInteger outers = nclosure - > _noutervalues ;
for ( SQInteger i = 0 ; i < outers ; i + + ) {
_stack . _vals [ newbase + nargs + i ] = nclosure - > _outervalues [ i ] ;
}
if ( nclosure - > _env ) {
_stack . _vals [ newbase ] = nclosure - > _env - > _obj ;
}
_nnativecalls + + ;
SQInteger ret = ( nclosure - > _function ) ( this ) ;
_nnativecalls - - ;
suspend = false ;
2018-10-25 19:04:52 +02:00
tailcall = false ;
if ( ret = = SQ_TAILCALL_FLAG ) {
tailcall = true ;
return true ;
}
else if ( ret = = SQ_SUSPEND_FLAG ) {
2016-03-22 01:32:03 +01:00
suspend = true ;
}
else if ( ret < 0 ) {
LeaveFrame ( ) ;
Raise_Error ( _lasterror ) ;
return false ;
}
if ( ret ) {
retval = _stack . _vals [ _top - 1 ] ;
}
else {
retval . Null ( ) ;
}
//retval = ret ? _stack._vals[_top-1] : _null_;
LeaveFrame ( ) ;
return true ;
2015-11-01 09:05:13 +01:00
}
2018-10-25 19:04:52 +02:00
bool SQVM : : TailCall ( SQClosure * closure , SQInteger parambase , SQInteger nparams )
{
SQInteger last_top = _top ;
SQObjectPtr clo = closure ;
if ( ci - > _root )
{
Raise_Error ( " root calls cannot invoke tailcalls " ) ;
return false ;
}
for ( SQInteger i = 0 ; i < nparams ; i + + ) STK ( i ) = STK ( parambase + i ) ;
bool ret = StartCall ( closure , ci - > _target , nparams , _stackbase , true ) ;
if ( last_top > = _top ) {
_top = last_top ;
}
return ret ;
}
2016-03-22 01:32:03 +01:00
# define FALLBACK_OK 0
# define FALLBACK_NO_MATCH 1
# define FALLBACK_ERROR 2
2015-11-01 09:05:13 +01:00
2016-02-20 23:25:00 +01:00
bool SQVM : : Get ( const SQObjectPtr & self , const SQObjectPtr & key , SQObjectPtr & dest , SQUnsignedInteger getflags , SQInteger selfidx )
2015-11-01 09:05:13 +01:00
{
2018-10-25 19:04:52 +02:00
switch ( sq_type ( self ) ) {
2016-03-22 01:32:03 +01:00
case OT_TABLE :
if ( _table ( self ) - > Get ( key , dest ) ) return true ;
break ;
case OT_ARRAY :
if ( sq_isnumeric ( key ) ) { if ( _array ( self ) - > Get ( tointeger ( key ) , dest ) ) { return true ; } if ( ( getflags & GET_FLAG_DO_NOT_RAISE_ERROR ) = = 0 ) Raise_IdxError ( key ) ; return false ; }
break ;
case OT_INSTANCE :
if ( _instance ( self ) - > Get ( key , dest ) ) return true ;
break ;
case OT_CLASS :
if ( _class ( self ) - > Get ( key , dest ) ) return true ;
break ;
case OT_STRING :
if ( sq_isnumeric ( key ) ) {
SQInteger n = tointeger ( key ) ;
SQInteger len = _string ( self ) - > _len ;
if ( n < 0 ) { n + = len ; }
if ( n > = 0 & & n < len ) {
dest = SQInteger ( _stringval ( self ) [ n ] ) ;
return true ;
}
if ( ( getflags & GET_FLAG_DO_NOT_RAISE_ERROR ) = = 0 ) Raise_IdxError ( key ) ;
return false ;
}
break ;
default : break ; //shut up compiler
}
if ( ( getflags & GET_FLAG_RAW ) = = 0 ) {
switch ( FallBackGet ( self , key , dest ) ) {
case FALLBACK_OK : return true ; //okie
case FALLBACK_NO_MATCH : break ; //keep falling back
case FALLBACK_ERROR : return false ; // the metamethod failed
}
if ( InvokeDefaultDelegate ( self , key , dest ) ) {
return true ;
}
}
2015-11-01 09:05:13 +01:00
//#ifdef ROOT_FALLBACK
2016-03-22 01:32:03 +01:00
if ( selfidx = = 0 ) {
SQWeakRef * w = _closure ( ci - > _closure ) - > _root ;
2018-10-25 19:04:52 +02:00
if ( sq_type ( w - > _obj ) ! = OT_NULL )
2016-03-22 01:32:03 +01:00
{
if ( Get ( * ( ( const SQObjectPtr * ) & w - > _obj ) , key , dest , 0 , DONT_FALL_BACK ) ) return true ;
}
}
2015-11-01 09:05:13 +01:00
//#endif
2016-03-22 01:32:03 +01:00
if ( ( getflags & GET_FLAG_DO_NOT_RAISE_ERROR ) = = 0 ) Raise_IdxError ( key ) ;
return false ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : InvokeDefaultDelegate ( const SQObjectPtr & self , const SQObjectPtr & key , SQObjectPtr & dest )
{
2016-03-22 01:32:03 +01:00
SQTable * ddel = NULL ;
2018-10-25 19:04:52 +02:00
switch ( sq_type ( self ) ) {
2016-03-22 01:32:03 +01:00
case OT_CLASS : ddel = _class_ddel ; break ;
case OT_TABLE : ddel = _table_ddel ; break ;
case OT_ARRAY : ddel = _array_ddel ; break ;
case OT_STRING : ddel = _string_ddel ; break ;
case OT_INSTANCE : ddel = _instance_ddel ; break ;
case OT_INTEGER : case OT_FLOAT : case OT_BOOL : ddel = _number_ddel ; break ;
case OT_GENERATOR : ddel = _generator_ddel ; break ;
case OT_CLOSURE : case OT_NATIVECLOSURE : ddel = _closure_ddel ; break ;
case OT_THREAD : ddel = _thread_ddel ; break ;
case OT_WEAKREF : ddel = _weakref_ddel ; break ;
default : return false ;
}
return ddel - > Get ( key , dest ) ;
2015-11-01 09:05:13 +01:00
}
SQInteger SQVM : : FallBackGet ( const SQObjectPtr & self , const SQObjectPtr & key , SQObjectPtr & dest )
{
2018-10-25 19:04:52 +02:00
switch ( sq_type ( self ) ) {
2016-03-22 01:32:03 +01:00
case OT_TABLE :
case OT_USERDATA :
2015-11-01 09:05:13 +01:00
//delegation
2016-03-22 01:32:03 +01:00
if ( _delegable ( self ) - > _delegate ) {
if ( Get ( SQObjectPtr ( _delegable ( self ) - > _delegate ) , key , dest , 0 , DONT_FALL_BACK ) ) return FALLBACK_OK ;
}
else {
return FALLBACK_NO_MATCH ;
}
//go through
case OT_INSTANCE : {
SQObjectPtr closure ;
if ( _delegable ( self ) - > GetMetaMethod ( this , MT_GET , closure ) ) {
Push ( self ) ; Push ( key ) ;
_nmetamethodscall + + ;
AutoDec ad ( & _nmetamethodscall ) ;
if ( Call ( closure , 2 , _top - 2 , dest , SQFalse ) ) {
Pop ( 2 ) ;
return FALLBACK_OK ;
}
else {
Pop ( 2 ) ;
2018-10-25 19:04:52 +02:00
if ( sq_type ( _lasterror ) ! = OT_NULL ) { //NULL means "clean failure" (not found)
2016-03-22 01:32:03 +01:00
return FALLBACK_ERROR ;
}
}
}
}
break ;
default : break ; //shutup GCC 4.x
}
// no metamethod or no fallback type
return FALLBACK_NO_MATCH ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : Set ( const SQObjectPtr & self , const SQObjectPtr & key , const SQObjectPtr & val , SQInteger selfidx )
{
2018-10-25 19:04:52 +02:00
switch ( sq_type ( self ) ) {
2016-03-22 01:32:03 +01:00
case OT_TABLE :
if ( _table ( self ) - > Set ( key , val ) ) return true ;
break ;
case OT_INSTANCE :
if ( _instance ( self ) - > Set ( key , val ) ) return true ;
break ;
case OT_ARRAY :
if ( ! sq_isnumeric ( key ) ) { Raise_Error ( _SC ( " indexing %s with %s " ) , GetTypeName ( self ) , GetTypeName ( key ) ) ; return false ; }
if ( ! _array ( self ) - > Set ( tointeger ( key ) , val ) ) {
Raise_IdxError ( key ) ;
return false ;
}
return true ;
2018-10-25 19:04:52 +02:00
case OT_USERDATA : break ; // must fall back
2016-03-22 01:32:03 +01:00
default :
Raise_Error ( _SC ( " trying to set '%s' " ) , GetTypeName ( self ) ) ;
return false ;
}
switch ( FallBackSet ( self , key , val ) ) {
case FALLBACK_OK : return true ; //okie
case FALLBACK_NO_MATCH : break ; //keep falling back
case FALLBACK_ERROR : return false ; // the metamethod failed
}
if ( selfidx = = 0 ) {
if ( _table ( _roottable ) - > Set ( key , val ) )
return true ;
}
Raise_IdxError ( key ) ;
return false ;
2015-11-01 09:05:13 +01:00
}
SQInteger SQVM : : FallBackSet ( const SQObjectPtr & self , const SQObjectPtr & key , const SQObjectPtr & val )
{
2018-10-25 19:04:52 +02:00
switch ( sq_type ( self ) ) {
2016-03-22 01:32:03 +01:00
case OT_TABLE :
if ( _table ( self ) - > _delegate ) {
if ( Set ( _table ( self ) - > _delegate , key , val , DONT_FALL_BACK ) ) return FALLBACK_OK ;
}
//keps on going
case OT_INSTANCE :
case OT_USERDATA : {
SQObjectPtr closure ;
SQObjectPtr t ;
if ( _delegable ( self ) - > GetMetaMethod ( this , MT_SET , closure ) ) {
Push ( self ) ; Push ( key ) ; Push ( val ) ;
_nmetamethodscall + + ;
AutoDec ad ( & _nmetamethodscall ) ;
if ( Call ( closure , 3 , _top - 3 , t , SQFalse ) ) {
Pop ( 3 ) ;
return FALLBACK_OK ;
}
else {
2016-05-22 21:51:59 +02:00
Pop ( 3 ) ;
2018-10-25 19:04:52 +02:00
if ( sq_type ( _lasterror ) ! = OT_NULL ) { //NULL means "clean failure" (not found)
2016-03-22 01:32:03 +01:00
return FALLBACK_ERROR ;
}
}
}
}
break ;
default : break ; //shutup GCC 4.x
}
// no metamethod or no fallback type
return FALLBACK_NO_MATCH ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : Clone ( const SQObjectPtr & self , SQObjectPtr & target )
{
2016-03-22 01:32:03 +01:00
SQObjectPtr temp_reg ;
SQObjectPtr newobj ;
2018-10-25 19:04:52 +02:00
switch ( sq_type ( self ) ) {
2016-03-22 01:32:03 +01:00
case OT_TABLE :
newobj = _table ( self ) - > Clone ( ) ;
goto cloned_mt ;
case OT_INSTANCE : {
newobj = _instance ( self ) - > Clone ( _ss ( this ) ) ;
2015-11-01 09:05:13 +01:00
cloned_mt :
2016-03-22 01:32:03 +01:00
SQObjectPtr closure ;
if ( _delegable ( newobj ) - > _delegate & & _delegable ( newobj ) - > GetMetaMethod ( this , MT_CLONED , closure ) ) {
Push ( newobj ) ;
Push ( self ) ;
if ( ! CallMetaMethod ( closure , MT_CLONED , 2 , temp_reg ) )
return false ;
}
}
target = newobj ;
return true ;
case OT_ARRAY :
target = _array ( self ) - > Clone ( ) ;
return true ;
default :
Raise_Error ( _SC ( " cloning a %s " ) , GetTypeName ( self ) ) ;
return false ;
}
2015-11-01 09:05:13 +01:00
}
bool SQVM : : NewSlotA ( const SQObjectPtr & self , const SQObjectPtr & key , const SQObjectPtr & val , const SQObjectPtr & attrs , bool bstatic , bool raw )
{
2018-10-25 19:04:52 +02:00
if ( sq_type ( self ) ! = OT_CLASS ) {
2016-03-22 01:32:03 +01:00
Raise_Error ( _SC ( " object must be a class " ) ) ;
return false ;
}
SQClass * c = _class ( self ) ;
if ( ! raw ) {
SQObjectPtr & mm = c - > _metamethods [ MT_NEWMEMBER ] ;
2018-10-25 19:04:52 +02:00
if ( sq_type ( mm ) ! = OT_NULL ) {
2016-03-22 01:32:03 +01:00
Push ( self ) ; Push ( key ) ; Push ( val ) ;
Push ( attrs ) ;
Push ( bstatic ) ;
return CallMetaMethod ( mm , MT_NEWMEMBER , 5 , temp_reg ) ;
}
}
if ( ! NewSlot ( self , key , val , bstatic ) )
return false ;
2018-10-25 19:04:52 +02:00
if ( sq_type ( attrs ) ! = OT_NULL ) {
2016-03-22 01:32:03 +01:00
c - > SetAttributes ( key , attrs ) ;
}
return true ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : NewSlot ( const SQObjectPtr & self , const SQObjectPtr & key , const SQObjectPtr & val , bool bstatic )
{
2018-10-25 19:04:52 +02:00
if ( sq_type ( key ) = = OT_NULL ) { Raise_Error ( _SC ( " null cannot be used as index " ) ) ; return false ; }
switch ( sq_type ( self ) ) {
2016-03-22 01:32:03 +01:00
case OT_TABLE : {
bool rawcall = true ;
if ( _table ( self ) - > _delegate ) {
SQObjectPtr res ;
if ( ! _table ( self ) - > Get ( key , res ) ) {
SQObjectPtr closure ;
if ( _delegable ( self ) - > _delegate & & _delegable ( self ) - > GetMetaMethod ( this , MT_NEWSLOT , closure ) ) {
Push ( self ) ; Push ( key ) ; Push ( val ) ;
if ( ! CallMetaMethod ( closure , MT_NEWSLOT , 3 , res ) ) {
return false ;
}
rawcall = false ;
}
else {
rawcall = true ;
}
}
}
if ( rawcall ) _table ( self ) - > NewSlot ( key , val ) ; //cannot fail
break ; }
case OT_INSTANCE : {
SQObjectPtr res ;
SQObjectPtr closure ;
if ( _delegable ( self ) - > _delegate & & _delegable ( self ) - > GetMetaMethod ( this , MT_NEWSLOT , closure ) ) {
Push ( self ) ; Push ( key ) ; Push ( val ) ;
if ( ! CallMetaMethod ( closure , MT_NEWSLOT , 3 , res ) ) {
return false ;
}
break ;
}
Raise_Error ( _SC ( " class instances do not support the new slot operator " ) ) ;
return false ;
break ; }
case OT_CLASS :
if ( ! _class ( self ) - > NewSlot ( _ss ( this ) , key , val , bstatic ) ) {
if ( _class ( self ) - > _locked ) {
Raise_Error ( _SC ( " trying to modify a class that has already been instantiated " ) ) ;
return false ;
}
else {
SQObjectPtr oval = PrintObjVal ( key ) ;
Raise_Error ( _SC ( " the property '%s' already exists " ) , _stringval ( oval ) ) ;
return false ;
}
}
break ;
default :
Raise_Error ( _SC ( " indexing %s with %s " ) , GetTypeName ( self ) , GetTypeName ( key ) ) ;
return false ;
break ;
}
return true ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : DeleteSlot ( const SQObjectPtr & self , const SQObjectPtr & key , SQObjectPtr & res )
{
2018-10-25 19:04:52 +02:00
switch ( sq_type ( self ) ) {
2016-03-22 01:32:03 +01:00
case OT_TABLE :
case OT_INSTANCE :
case OT_USERDATA : {
SQObjectPtr t ;
//bool handled = false;
SQObjectPtr closure ;
if ( _delegable ( self ) - > _delegate & & _delegable ( self ) - > GetMetaMethod ( this , MT_DELSLOT , closure ) ) {
Push ( self ) ; Push ( key ) ;
return CallMetaMethod ( closure , MT_DELSLOT , 2 , res ) ;
}
else {
2018-10-25 19:04:52 +02:00
if ( sq_type ( self ) = = OT_TABLE ) {
2016-03-22 01:32:03 +01:00
if ( _table ( self ) - > Get ( key , t ) ) {
_table ( self ) - > Remove ( key ) ;
}
else {
Raise_IdxError ( ( const SQObject & ) key ) ;
return false ;
}
}
else {
Raise_Error ( _SC ( " cannot delete a slot from %s " ) , GetTypeName ( self ) ) ;
return false ;
}
}
res = t ;
}
break ;
default :
Raise_Error ( _SC ( " attempt to delete a slot from a %s " ) , GetTypeName ( self ) ) ;
return false ;
}
return true ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : Call ( SQObjectPtr & closure , SQInteger nparams , SQInteger stackbase , SQObjectPtr & outres , SQBool raiseerror )
{
# ifdef _DEBUG
SQInteger prevstackbase = _stackbase ;
# endif
2018-10-25 19:04:52 +02:00
switch ( sq_type ( closure ) ) {
2016-03-22 01:32:03 +01:00
case OT_CLOSURE :
return Execute ( closure , nparams , stackbase , outres , raiseerror ) ;
break ;
case OT_NATIVECLOSURE : {
2018-10-25 19:04:52 +02:00
bool dummy ;
return CallNative ( _nativeclosure ( closure ) , nparams , stackbase , outres , - 1 , dummy , dummy ) ;
2016-03-22 01:32:03 +01:00
}
break ;
case OT_CLASS : {
SQObjectPtr constr ;
SQObjectPtr temp ;
CreateClassInstance ( _class ( closure ) , outres , constr ) ;
2018-10-25 19:04:52 +02:00
SQObjectType ctype = sq_type ( constr ) ;
2016-03-22 01:32:03 +01:00
if ( ctype = = OT_NATIVECLOSURE | | ctype = = OT_CLOSURE ) {
_stack [ stackbase ] = outres ;
return Call ( constr , nparams , stackbase , temp , raiseerror ) ;
}
return true ;
}
break ;
default :
2020-03-20 19:50:17 +01:00
Raise_Error ( _SC ( " attempt to call '%s' " ) , GetTypeName ( closure ) ) ;
2016-03-22 01:32:03 +01:00
return false ;
}
2015-11-01 09:05:13 +01:00
# ifdef _DEBUG
2016-03-22 01:32:03 +01:00
if ( ! _suspended ) {
assert ( _stackbase = = prevstackbase ) ;
}
2015-11-01 09:05:13 +01:00
# endif
2016-03-22 01:32:03 +01:00
return true ;
2015-11-01 09:05:13 +01:00
}
2016-03-22 01:32:03 +01:00
bool SQVM : : CallMetaMethod ( SQObjectPtr & closure , SQMetaMethod SQ_UNUSED_ARG ( mm ) , SQInteger nparams , SQObjectPtr & outres )
2015-11-01 09:05:13 +01:00
{
2016-03-22 01:32:03 +01:00
//SQObjectPtr closure;
_nmetamethodscall + + ;
if ( Call ( closure , nparams , _top - nparams , outres , SQFalse ) ) {
_nmetamethodscall - - ;
Pop ( nparams ) ;
return true ;
}
_nmetamethodscall - - ;
//}
Pop ( nparams ) ;
return false ;
2015-11-01 09:05:13 +01:00
}
void SQVM : : FindOuter ( SQObjectPtr & target , SQObjectPtr * stackindex )
{
2016-03-22 01:32:03 +01:00
SQOuter * * pp = & _openouters ;
SQOuter * p ;
SQOuter * otr ;
while ( ( p = * pp ) ! = NULL & & p - > _valptr > = stackindex ) {
if ( p - > _valptr = = stackindex ) {
target = SQObjectPtr ( p ) ;
return ;
}
pp = & p - > _next ;
}
otr = SQOuter : : Create ( _ss ( this ) , stackindex ) ;
otr - > _next = * pp ;
otr - > _idx = ( stackindex - _stack . _vals ) ;
__ObjAddRef ( otr ) ;
* pp = otr ;
target = SQObjectPtr ( otr ) ;
2015-11-01 09:05:13 +01:00
}
bool SQVM : : EnterFrame ( SQInteger newbase , SQInteger newtop , bool tailcall )
{
2016-03-22 01:32:03 +01:00
if ( ! tailcall ) {
if ( _callsstacksize = = _alloccallsstacksize ) {
GrowCallStack ( ) ;
}
ci = & _callsstack [ _callsstacksize + + ] ;
ci - > _prevstkbase = ( SQInt32 ) ( newbase - _stackbase ) ;
ci - > _prevtop = ( SQInt32 ) ( _top - _stackbase ) ;
ci - > _etraps = 0 ;
ci - > _ncalls = 1 ;
ci - > _generator = NULL ;
ci - > _root = SQFalse ;
}
else {
ci - > _ncalls + + ;
}
_stackbase = newbase ;
_top = newtop ;
if ( newtop + MIN_STACK_OVERHEAD > ( SQInteger ) _stack . size ( ) ) {
if ( _nmetamethodscall ) {
2016-05-22 21:51:59 +02:00
Raise_Error ( _SC ( " stack overflow, cannot resize stack while in a metamethod " ) ) ;
2016-03-22 01:32:03 +01:00
return false ;
}
_stack . resize ( newtop + ( MIN_STACK_OVERHEAD < < 2 ) ) ;
RelocateOuters ( ) ;
}
return true ;
2015-11-01 09:05:13 +01:00
}
void SQVM : : LeaveFrame ( ) {
2016-03-22 01:32:03 +01:00
SQInteger last_top = _top ;
SQInteger last_stackbase = _stackbase ;
SQInteger css = - - _callsstacksize ;
/* First clean out the call stack frame */
ci - > _closure . Null ( ) ;
_stackbase - = ci - > _prevstkbase ;
_top = _stackbase + ci - > _prevtop ;
ci = ( css ) ? & _callsstack [ css - 1 ] : NULL ;
if ( _openouters ) CloseOuters ( & ( _stack . _vals [ last_stackbase ] ) ) ;
while ( last_top > = _top ) {
_stack . _vals [ last_top - - ] . Null ( ) ;
}
2015-11-01 09:05:13 +01:00
}
void SQVM : : RelocateOuters ( )
{
2016-03-22 01:32:03 +01:00
SQOuter * p = _openouters ;
while ( p ) {
p - > _valptr = _stack . _vals + p - > _idx ;
p = p - > _next ;
}
2015-11-01 09:05:13 +01:00
}
void SQVM : : CloseOuters ( SQObjectPtr * stackindex ) {
SQOuter * p ;
while ( ( p = _openouters ) ! = NULL & & p - > _valptr > = stackindex ) {
p - > _value = * ( p - > _valptr ) ;
p - > _valptr = & p - > _value ;
_openouters = p - > _next ;
2016-03-22 01:32:03 +01:00
__ObjRelease ( p ) ;
2015-11-01 09:05:13 +01:00
}
}
void SQVM : : Remove ( SQInteger n ) {
2016-03-22 01:32:03 +01:00
n = ( n > = 0 ) ? n + _stackbase - 1 : _top + n ;
for ( SQInteger i = n ; i < _top ; i + + ) {
_stack [ i ] = _stack [ i + 1 ] ;
}
_stack [ _top ] . Null ( ) ;
_top - - ;
2015-11-01 09:05:13 +01:00
}
void SQVM : : Pop ( ) {
2016-03-22 01:32:03 +01:00
_stack [ - - _top ] . Null ( ) ;
2015-11-01 09:05:13 +01:00
}
void SQVM : : Pop ( SQInteger n ) {
2016-03-22 01:32:03 +01:00
for ( SQInteger i = 0 ; i < n ; i + + ) {
_stack [ - - _top ] . Null ( ) ;
}
2015-11-01 09:05:13 +01:00
}
void SQVM : : PushNull ( ) { _stack [ _top + + ] . Null ( ) ; }
void SQVM : : Push ( const SQObjectPtr & o ) { _stack [ _top + + ] = o ; }
SQObjectPtr & SQVM : : Top ( ) { return _stack [ _top - 1 ] ; }
SQObjectPtr & SQVM : : PopGet ( ) { return _stack [ - - _top ] ; }
SQObjectPtr & SQVM : : GetUp ( SQInteger n ) { return _stack [ _top + n ] ; }
SQObjectPtr & SQVM : : GetAt ( SQInteger n ) { return _stack [ n ] ; }
# ifdef _DEBUG_DUMP
void SQVM : : dumpstack ( SQInteger stackbase , bool dumpall )
{
2016-03-22 01:32:03 +01:00
SQInteger size = dumpall ? _stack . size ( ) : _top ;
SQInteger n = 0 ;
scprintf ( _SC ( " \n >>>>stack dump<<<< \n " ) ) ;
CallInfo & ci = _callsstack [ _callsstacksize - 1 ] ;
scprintf ( _SC ( " IP: %p \n " ) , ci . _ip ) ;
scprintf ( _SC ( " prev stack base: %d \n " ) , ci . _prevstkbase ) ;
scprintf ( _SC ( " prev top: %d \n " ) , ci . _prevtop ) ;
for ( SQInteger i = 0 ; i < size ; i + + ) {
SQObjectPtr & obj = _stack [ i ] ;
if ( stackbase = = i ) scprintf ( _SC ( " > " ) ) ; else scprintf ( _SC ( " " ) ) ;
2017-05-25 21:27:33 +02:00
scprintf ( _SC ( " [ " _PRINT_INT_FMT " ]: " ) , n ) ;
2018-10-25 19:04:52 +02:00
switch ( sq_type ( obj ) ) {
2016-03-22 01:32:03 +01:00
case OT_FLOAT : scprintf ( _SC ( " FLOAT %.3f " ) , _float ( obj ) ) ; break ;
2017-05-25 21:27:33 +02:00
case OT_INTEGER : scprintf ( _SC ( " INTEGER " _PRINT_INT_FMT ) , _integer ( obj ) ) ; break ;
2016-03-22 01:32:03 +01:00
case OT_BOOL : scprintf ( _SC ( " BOOL %s " ) , _integer ( obj ) ? " true " : " false " ) ; break ;
case OT_STRING : scprintf ( _SC ( " STRING %s " ) , _stringval ( obj ) ) ; break ;
case OT_NULL : scprintf ( _SC ( " NULL " ) ) ; break ;
case OT_TABLE : scprintf ( _SC ( " TABLE %p[%p] " ) , _table ( obj ) , _table ( obj ) - > _delegate ) ; break ;
case OT_ARRAY : scprintf ( _SC ( " ARRAY %p " ) , _array ( obj ) ) ; break ;
case OT_CLOSURE : scprintf ( _SC ( " CLOSURE [%p] " ) , _closure ( obj ) ) ; break ;
case OT_NATIVECLOSURE : scprintf ( _SC ( " NATIVECLOSURE " ) ) ; break ;
case OT_USERDATA : scprintf ( _SC ( " USERDATA %p[%p] " ) , _userdataval ( obj ) , _userdata ( obj ) - > _delegate ) ; break ;
case OT_GENERATOR : scprintf ( _SC ( " GENERATOR %p " ) , _generator ( obj ) ) ; break ;
case OT_THREAD : scprintf ( _SC ( " THREAD [%p] " ) , _thread ( obj ) ) ; break ;
case OT_USERPOINTER : scprintf ( _SC ( " USERPOINTER %p " ) , _userpointer ( obj ) ) ; break ;
case OT_CLASS : scprintf ( _SC ( " CLASS %p " ) , _class ( obj ) ) ; break ;
case OT_INSTANCE : scprintf ( _SC ( " INSTANCE %p " ) , _instance ( obj ) ) ; break ;
2020-03-20 19:50:17 +01:00
case OT_WEAKREF : scprintf ( _SC ( " WEAKREF %p " ) , _weakref ( obj ) ) ; break ;
2016-03-22 01:32:03 +01:00
default :
assert ( 0 ) ;
break ;
} ;
scprintf ( _SC ( " \n " ) ) ;
+ + n ;
}
2015-11-01 09:05:13 +01:00
}
# endif