| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844284528462847284828492850285128522853285428552856285728582859286028612862286328642865286628672868286928702871287228732874287528762877287828792880288128822883288428852886288728882889289028912892289328942895289628972898289929002901290229032904290529062907290829092910291129122913291429152916291729182919292029212922292329242925292629272928292929302931293229332934293529362937293829392940294129422943294429452946294729482949295029512952295329542955295629572958295929602961296229632964296529662967296829692970297129722973297429752976297729782979298029812982298329842985298629872988298929902991299229932994299529962997299829993000300130023003300430053006300730083009301030113012301330143015301630173018301930203021302230233024302530263027302830293030303130323033303430353036303730383039304030413042304330443045304630473048304930503051305230533054305530563057305830593060306130623063306430653066306730683069307030713072307330743075307630773078307930803081308230833084308530863087308830893090309130923093309430953096309730983099310031013102310331043105310631073108310931103111311231133114311531163117311831193120312131223123312431253126312731283129313031313132313331343135313631373138313931403141314231433144314531463147314831493150315131523153315431553156315731583159316031613162316331643165316631673168316931703171317231733174317531763177317831793180318131823183318431853186318731883189319031913192319331943195319631973198319932003201320232033204320532063207320832093210321132123213321432153216321732183219322032213222322332243225322632273228322932303231323232333234323532363237323832393240324132423243324432453246324732483249325032513252325332543255325632573258325932603261326232633264326532663267326832693270327132723273327432753276327732783279328032813282328332843285328632873288328932903291329232933294329532963297329832993300330133023303330433053306330733083309331033113312331333143315331633173318331933203321332233233324332533263327332833293330333133323333333433353336333733383339334033413342334333443345334633473348334933503351335233533354335533563357335833593360336133623363336433653366336733683369337033713372337333743375337633773378337933803381338233833384338533863387338833893390339133923393339433953396339733983399340034013402340334043405340634073408340934103411341234133414341534163417341834193420342134223423342434253426342734283429343034313432343334343435343634373438343934403441344234433444344534463447344834493450345134523453345434553456345734583459346034613462346334643465346634673468346934703471347234733474347534763477347834793480348134823483348434853486348734883489349034913492349334943495349634973498349935003501350235033504350535063507350835093510351135123513351435153516351735183519352035213522352335243525352635273528352935303531353235333534353535363537353835393540354135423543354435453546354735483549355035513552355335543555355635573558355935603561356235633564356535663567356835693570357135723573357435753576357735783579358035813582358335843585358635873588358935903591359235933594359535963597359835993600360136023603360436053606360736083609361036113612361336143615361636173618361936203621362236233624362536263627362836293630363136323633363436353636363736383639364036413642364336443645364636473648364936503651365236533654365536563657365836593660366136623663366436653666366736683669367036713672367336743675367636773678367936803681368236833684368536863687368836893690369136923693369436953696369736983699370037013702370337043705370637073708370937103711371237133714371537163717371837193720372137223723372437253726372737283729373037313732373337343735373637373738373937403741374237433744374537463747374837493750375137523753375437553756375737583759376037613762376337643765376637673768376937703771377237733774377537763777377837793780378137823783378437853786378737883789379037913792379337943795379637973798379938003801380238033804380538063807380838093810381138123813381438153816381738183819382038213822382338243825382638273828382938303831383238333834383538363837383838393840384138423843384438453846384738483849385038513852385338543855385638573858385938603861386238633864386538663867386838693870387138723873387438753876387738783879388038813882388338843885388638873888388938903891389238933894389538963897389838993900390139023903390439053906390739083909391039113912391339143915391639173918391939203921392239233924392539263927392839293930393139323933393439353936393739383939394039413942394339443945394639473948394939503951395239533954395539563957395839593960396139623963396439653966396739683969397039713972397339743975397639773978397939803981398239833984398539863987398839893990399139923993399439953996399739983999400040014002400340044005400640074008400940104011401240134014401540164017401840194020402140224023402440254026402740284029403040314032403340344035403640374038403940404041404240434044404540464047404840494050405140524053405440554056405740584059406040614062406340644065406640674068406940704071407240734074407540764077407840794080408140824083408440854086408740884089409040914092409340944095409640974098 |
- /*
- AngelCode Scripting Library
- Copyright (c) 2003-2011 Andreas Jonsson
- This software is provided 'as-is', without any express or implied
- warranty. In no event will the authors be held liable for any
- damages arising from the use of this software.
- Permission is granted to anyone to use this software for any
- purpose, including commercial applications, and to alter it and
- redistribute it freely, subject to the following restrictions:
- 1. The origin of this software must not be misrepresented; you
- must not claim that you wrote the original software. If you use
- this software in a product, an acknowledgment in the product
- documentation would be appreciated but is not required.
- 2. Altered source versions must be plainly marked as such, and
- must not be misrepresented as being the original software.
- 3. This notice may not be removed or altered from any source
- distribution.
- The original version of this library can be located at:
- http://www.angelcode.com/angelscript/
- Andreas Jonsson
- [email protected]
- */
- //
- // as_context.cpp
- //
- // This class handles the execution of the byte code
- //
- #include <math.h> // fmodf()
- #include "as_config.h"
- #include "as_context.h"
- #include "as_scriptengine.h"
- #include "as_tokendef.h"
- #include "as_texts.h"
- #include "as_callfunc.h"
- #include "as_generic.h"
- #include "as_debug.h" // mkdir()
- #include "as_bytecode.h"
- #include "as_scriptobject.h"
- #ifdef _MSC_VER
- #pragma warning(disable:4702) // unreachable code
- #endif
- BEGIN_AS_NAMESPACE
- // We need at least 2 DWORDs reserved for exception handling
- // We need at least 1 DWORD reserved for calling system functions
- const int RESERVE_STACK = 2*AS_PTR_SIZE;
- // For each script function call we push 5 DWORDs on the call stack
- const int CALLSTACK_FRAME_SIZE = 5;
- #ifdef AS_DEBUG
- // Instruction statistics
- int instrCount[256];
- int instrCount2[256][256];
- int lastBC;
- class asCDebugStats
- {
- public:
- asCDebugStats()
- {
- memset(instrCount, 0, sizeof(instrCount));
- }
- ~asCDebugStats()
- {
- /*
- // This code writes out some statistics for the VM.
- // It's useful for determining what needs to be optimized.
- _mkdir("AS_DEBUG");
- FILE *f = fopen("AS_DEBUG/total.txt", "at");
- if( f )
- {
- // Output instruction statistics
- fprintf(f, "\nTotal count\n");
- int n;
- for( n = 0; n < BC_MAXBYTECODE; n++ )
- {
- if( bcName[n].name && instrCount[n] > 0 )
- fprintf(f, "%-10.10s : %.0f\n", bcName[n].name, instrCount[n]);
- }
- fprintf(f, "\nNever executed\n");
- for( n = 0; n < BC_MAXBYTECODE; n++ )
- {
- if( bcName[n].name && instrCount[n] == 0 )
- fprintf(f, "%-10.10s\n", bcName[n].name);
- }
- fclose(f);
- }
- */
- }
- double instrCount[256];
- } stats;
- #endif
- AS_API asIScriptContext *asGetActiveContext()
- {
- asASSERT(threadManager);
- asCThreadLocalData *tld = threadManager->GetLocalData();
- if( tld->activeContexts.GetLength() == 0 )
- return 0;
- return tld->activeContexts[tld->activeContexts.GetLength()-1];
- }
- void asPushActiveContext(asIScriptContext *ctx)
- {
- asASSERT(threadManager);
- asCThreadLocalData *tld = threadManager->GetLocalData();
- tld->activeContexts.PushLast(ctx);
- }
- void asPopActiveContext(asIScriptContext *ctx)
- {
- asASSERT(threadManager);
- asCThreadLocalData *tld = threadManager->GetLocalData();
- asASSERT(tld->activeContexts.GetLength() > 0);
- asASSERT(tld->activeContexts[tld->activeContexts.GetLength()-1] == ctx);
- UNUSED_VAR(ctx);
- tld->activeContexts.PopLast();
- }
- asCContext::asCContext(asCScriptEngine *engine, bool holdRef)
- {
- #ifdef AS_DEBUG
- memset(instrCount, 0, sizeof(instrCount));
- memset(instrCount2, 0, sizeof(instrCount2));
- lastBC = 255;
- #endif
- holdEngineRef = holdRef;
- if( holdRef )
- engine->AddRef();
- this->engine = engine;
- status = asEXECUTION_UNINITIALIZED;
- stackBlockSize = 0;
- refCount.set(1);
- inExceptionHandler = false;
- isStackMemoryNotAllocated = false;
- currentFunction = 0;
- regs.objectRegister = 0;
- initialFunction = 0;
- lineCallback = false;
- exceptionCallback = false;
- regs.doProcessSuspend = false;
- doSuspend = false;
- userData = 0;
- }
- asCContext::~asCContext()
- {
- DetachEngine();
- }
- int asCContext::AddRef() const
- {
- return refCount.atomicInc();
- }
- int asCContext::Release() const
- {
- int r = refCount.atomicDec();
- if( r == 0 )
- {
- asDELETE(const_cast<asCContext*>(this),asCContext);
- return 0;
- }
- return r;
- }
- void asCContext::DetachEngine()
- {
- if( engine == 0 ) return;
- // Abort any execution
- Abort();
- // Free all resources
- Unprepare();
- // Free the stack blocks
- for( asUINT n = 0; n < stackBlocks.GetLength(); n++ )
- {
- if( stackBlocks[n] )
- {
- asDELETEARRAY(stackBlocks[n]);
- }
- }
- stackBlocks.SetLength(0);
- stackBlockSize = 0;
- // Clean the user data
- if( userData && engine->cleanContextFunc )
- engine->cleanContextFunc(this);
- // Clear engine pointer
- if( holdEngineRef )
- engine->Release();
- engine = 0;
- }
- asIScriptEngine *asCContext::GetEngine() const
- {
- return engine;
- }
- void *asCContext::SetUserData(void *data)
- {
- void *oldData = userData;
- userData = data;
- return oldData;
- }
- void *asCContext::GetUserData() const
- {
- return userData;
- }
- int asCContext::Prepare(int funcID)
- {
- if( status == asEXECUTION_ACTIVE || status == asEXECUTION_SUSPENDED )
- return asCONTEXT_ACTIVE;
- // Clean the stack if not done before
- if( status != asEXECUTION_FINISHED && status != asEXECUTION_UNINITIALIZED )
- CleanStack();
- // Release the returned object (if any)
- CleanReturnObject();
- if( funcID == -1 )
- {
- // Use the previously prepared function
- if( initialFunction == 0 )
- return asNO_FUNCTION;
- currentFunction = initialFunction;
- }
- else if( initialFunction && initialFunction->id == funcID )
- {
- currentFunction = initialFunction;
- }
- else
- {
- // Check engine pointer
- asASSERT( engine );
- if( initialFunction )
- initialFunction->Release();
- initialFunction = engine->GetScriptFunction(funcID);
- if( initialFunction == 0 )
- return asNO_FUNCTION;
- initialFunction->AddRef();
- currentFunction = initialFunction;
- // Determine the minimum stack size needed
- // TODO: optimize: GetSpaceNeededForArguments() should be precomputed
- int stackSize = currentFunction->GetSpaceNeededForArguments() + currentFunction->stackNeeded + RESERVE_STACK;
- stackSize = stackSize > engine->initialContextStackSize ? stackSize : engine->initialContextStackSize;
- if( stackSize > stackBlockSize )
- {
- // Free old stack blocks so new ones can be allocted
- for( asUINT n = 0; n < stackBlocks.GetLength(); n++ )
- if( stackBlocks[n] )
- {
- asDELETEARRAY(stackBlocks[n]);
- }
- stackBlocks.SetLength(0);
- stackBlockSize = stackSize;
- asDWORD *stack = asNEWARRAY(asDWORD,stackBlockSize);
- stackBlocks.PushLast(stack);
- }
- // Reserve space for the arguments and return value
- returnValueSize = currentFunction->GetSpaceNeededForReturnValue();
- // TODO: optimize: GetSpaceNeededForArguments() should be precomputed
- argumentsSize = currentFunction->GetSpaceNeededForArguments() + (currentFunction->objectType ? AS_PTR_SIZE : 0);
- }
- // Reset state
- // Most of the time the previous state will be asEXECUTION_FINISHED, in which case the values are already initialized
- if( status != asEXECUTION_FINISHED )
- {
- exceptionLine = -1;
- exceptionFunction = 0;
- isCallingSystemFunction = false;
- doAbort = false;
- doSuspend = false;
- regs.doProcessSuspend = lineCallback;
- externalSuspendRequest = false;
- stackIndex = 0;
- }
- status = asEXECUTION_PREPARED;
- // Reserve space for the arguments and return value
- regs.stackFramePointer = stackBlocks[0] + stackBlockSize - argumentsSize;
- regs.stackPointer = regs.stackFramePointer;
- // Set arguments to 0
- memset(regs.stackPointer, 0, 4*argumentsSize);
- if( currentFunction->funcType == asFUNC_SCRIPT )
- {
- regs.programPointer = currentFunction->byteCode.AddressOf();
- // Set all object variables to 0
- for( asUINT n = 0; n < currentFunction->objVariablePos.GetLength(); n++ )
- {
- if( !currentFunction->objVariableIsOnHeap[n] ) continue;
- int pos = currentFunction->objVariablePos[n];
- *(size_t*)®s.stackFramePointer[-pos] = 0;
- }
- }
- else
- regs.programPointer = 0;
- return asSUCCESS;
- }
- // Free all resources
- int asCContext::Unprepare()
- {
- if( status == asEXECUTION_ACTIVE || status == asEXECUTION_SUSPENDED )
- return asCONTEXT_ACTIVE;
- // Only clean the stack if the context was prepared but not executed until the end
- if( status != asEXECUTION_UNINITIALIZED &&
- status != asEXECUTION_FINISHED )
- CleanStack();
- // Release the returned object (if any)
- CleanReturnObject();
- // Release the initial function
- if( initialFunction )
- initialFunction->Release();
- // Clear function pointers
- initialFunction = 0;
- currentFunction = 0;
- exceptionFunction = 0;
- regs.programPointer = 0;
- // Reset status
- status = asEXECUTION_UNINITIALIZED;
- regs.stackFramePointer = 0;
- regs.stackPointer = 0;
- stackIndex = 0;
-
- return 0;
- }
- asBYTE asCContext::GetReturnByte()
- {
- if( status != asEXECUTION_FINISHED ) return 0;
- asCDataType *dt = &initialFunction->returnType;
- if( dt->IsObject() || dt->IsReference() ) return 0;
- return *(asBYTE*)®s.valueRegister;
- }
- asWORD asCContext::GetReturnWord()
- {
- if( status != asEXECUTION_FINISHED ) return 0;
- asCDataType *dt = &initialFunction->returnType;
- if( dt->IsObject() || dt->IsReference() ) return 0;
- return *(asWORD*)®s.valueRegister;
- }
- asDWORD asCContext::GetReturnDWord()
- {
- if( status != asEXECUTION_FINISHED ) return 0;
- asCDataType *dt = &initialFunction->returnType;
- if( dt->IsObject() || dt->IsReference() ) return 0;
- return *(asDWORD*)®s.valueRegister;
- }
- asQWORD asCContext::GetReturnQWord()
- {
- if( status != asEXECUTION_FINISHED ) return 0;
- asCDataType *dt = &initialFunction->returnType;
- if( dt->IsObject() || dt->IsReference() ) return 0;
- return regs.valueRegister;
- }
- float asCContext::GetReturnFloat()
- {
- if( status != asEXECUTION_FINISHED ) return 0;
- asCDataType *dt = &initialFunction->returnType;
- if( dt->IsObject() || dt->IsReference() ) return 0;
- return *(float*)®s.valueRegister;
- }
- double asCContext::GetReturnDouble()
- {
- if( status != asEXECUTION_FINISHED ) return 0;
- asCDataType *dt = &initialFunction->returnType;
- if( dt->IsObject() || dt->IsReference() ) return 0;
- return *(double*)®s.valueRegister;
- }
- void *asCContext::GetReturnAddress()
- {
- if( status != asEXECUTION_FINISHED ) return 0;
- asCDataType *dt = &initialFunction->returnType;
- if( dt->IsReference() )
- return *(void**)®s.valueRegister;
- else if( dt->IsObject() )
- return regs.objectRegister;
- return 0;
- }
- void *asCContext::GetReturnObject()
- {
- if( status != asEXECUTION_FINISHED ) return 0;
- asCDataType *dt = &initialFunction->returnType;
- if( !dt->IsObject() ) return 0;
- if( dt->IsReference() )
- return *(void**)(size_t)regs.valueRegister;
- else
- return regs.objectRegister;
- }
- void *asCContext::GetAddressOfReturnValue()
- {
- if( status != asEXECUTION_FINISHED ) return 0;
- asCDataType *dt = &initialFunction->returnType;
- // An object is stored in the objectRegister
- if( !dt->IsReference() && dt->IsObject() )
- {
- // Need to dereference objects
- if( !dt->IsObjectHandle() )
- return *(void**)®s.objectRegister;
- return ®s.objectRegister;
- }
- // Primitives and references are stored in valueRegister
- return ®s.valueRegister;
- }
- int asCContext::SetObject(void *obj)
- {
- if( status != asEXECUTION_PREPARED )
- return asCONTEXT_NOT_PREPARED;
- if( !initialFunction->objectType )
- {
- status = asEXECUTION_ERROR;
- return asERROR;
- }
- *(size_t*)®s.stackFramePointer[0] = (size_t)obj;
- return 0;
- }
- int asCContext::SetArgByte(asUINT arg, asBYTE value)
- {
- if( status != asEXECUTION_PREPARED )
- return asCONTEXT_NOT_PREPARED;
- if( arg >= (unsigned)initialFunction->parameterTypes.GetLength() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_ARG;
- }
- // Verify the type of the argument
- asCDataType *dt = &initialFunction->parameterTypes[arg];
- if( dt->IsObject() || dt->IsReference() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_TYPE;
- }
- if( dt->GetSizeInMemoryBytes() != 1 )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_TYPE;
- }
- // Determine the position of the argument
- int offset = 0;
- if( initialFunction->objectType )
- offset += AS_PTR_SIZE;
- for( asUINT n = 0; n < arg; n++ )
- offset += initialFunction->parameterTypes[n].GetSizeOnStackDWords();
- // Set the value
- *(asBYTE*)®s.stackFramePointer[offset] = value;
- return 0;
- }
- int asCContext::SetArgWord(asUINT arg, asWORD value)
- {
- if( status != asEXECUTION_PREPARED )
- return asCONTEXT_NOT_PREPARED;
- if( arg >= (unsigned)initialFunction->parameterTypes.GetLength() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_ARG;
- }
- // Verify the type of the argument
- asCDataType *dt = &initialFunction->parameterTypes[arg];
- if( dt->IsObject() || dt->IsReference() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_TYPE;
- }
- if( dt->GetSizeInMemoryBytes() != 2 )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_TYPE;
- }
- // Determine the position of the argument
- int offset = 0;
- if( initialFunction->objectType )
- offset += AS_PTR_SIZE;
- for( asUINT n = 0; n < arg; n++ )
- offset += initialFunction->parameterTypes[n].GetSizeOnStackDWords();
- // Set the value
- *(asWORD*)®s.stackFramePointer[offset] = value;
- return 0;
- }
- int asCContext::SetArgDWord(asUINT arg, asDWORD value)
- {
- if( status != asEXECUTION_PREPARED )
- return asCONTEXT_NOT_PREPARED;
- if( arg >= (unsigned)initialFunction->parameterTypes.GetLength() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_ARG;
- }
- // Verify the type of the argument
- asCDataType *dt = &initialFunction->parameterTypes[arg];
- if( dt->IsObject() || dt->IsReference() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_TYPE;
- }
- if( dt->GetSizeInMemoryBytes() != 4 )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_TYPE;
- }
- // Determine the position of the argument
- int offset = 0;
- if( initialFunction->objectType )
- offset += AS_PTR_SIZE;
- for( asUINT n = 0; n < arg; n++ )
- offset += initialFunction->parameterTypes[n].GetSizeOnStackDWords();
- // Set the value
- *(asDWORD*)®s.stackFramePointer[offset] = value;
- return 0;
- }
- int asCContext::SetArgQWord(asUINT arg, asQWORD value)
- {
- if( status != asEXECUTION_PREPARED )
- return asCONTEXT_NOT_PREPARED;
- if( arg >= (unsigned)initialFunction->parameterTypes.GetLength() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_ARG;
- }
- // Verify the type of the argument
- asCDataType *dt = &initialFunction->parameterTypes[arg];
- if( dt->IsObject() || dt->IsReference() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_TYPE;
- }
- if( dt->GetSizeOnStackDWords() != 2 )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_TYPE;
- }
- // Determine the position of the argument
- int offset = 0;
- if( initialFunction->objectType )
- offset += AS_PTR_SIZE;
- for( asUINT n = 0; n < arg; n++ )
- offset += initialFunction->parameterTypes[n].GetSizeOnStackDWords();
- // Set the value
- *(asQWORD*)(®s.stackFramePointer[offset]) = value;
- return 0;
- }
- int asCContext::SetArgFloat(asUINT arg, float value)
- {
- if( status != asEXECUTION_PREPARED )
- return asCONTEXT_NOT_PREPARED;
- if( arg >= (unsigned)initialFunction->parameterTypes.GetLength() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_ARG;
- }
- // Verify the type of the argument
- asCDataType *dt = &initialFunction->parameterTypes[arg];
- if( dt->IsObject() || dt->IsReference() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_TYPE;
- }
- if( dt->GetSizeOnStackDWords() != 1 )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_TYPE;
- }
- // Determine the position of the argument
- int offset = 0;
- if( initialFunction->objectType )
- offset += AS_PTR_SIZE;
- for( asUINT n = 0; n < arg; n++ )
- offset += initialFunction->parameterTypes[n].GetSizeOnStackDWords();
- // Set the value
- *(float*)(®s.stackFramePointer[offset]) = value;
- return 0;
- }
- int asCContext::SetArgDouble(asUINT arg, double value)
- {
- if( status != asEXECUTION_PREPARED )
- return asCONTEXT_NOT_PREPARED;
- if( arg >= (unsigned)initialFunction->parameterTypes.GetLength() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_ARG;
- }
- // Verify the type of the argument
- asCDataType *dt = &initialFunction->parameterTypes[arg];
- if( dt->IsObject() || dt->IsReference() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_TYPE;
- }
- if( dt->GetSizeOnStackDWords() != 2 )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_TYPE;
- }
- // Determine the position of the argument
- int offset = 0;
- if( initialFunction->objectType )
- offset += AS_PTR_SIZE;
- for( asUINT n = 0; n < arg; n++ )
- offset += initialFunction->parameterTypes[n].GetSizeOnStackDWords();
- // Set the value
- *(double*)(®s.stackFramePointer[offset]) = value;
- return 0;
- }
- int asCContext::SetArgAddress(asUINT arg, void *value)
- {
- if( status != asEXECUTION_PREPARED )
- return asCONTEXT_NOT_PREPARED;
- if( arg >= (unsigned)initialFunction->parameterTypes.GetLength() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_ARG;
- }
- // Verify the type of the argument
- asCDataType *dt = &initialFunction->parameterTypes[arg];
- if( !dt->IsReference() && !dt->IsObjectHandle() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_TYPE;
- }
- // Determine the position of the argument
- int offset = 0;
- if( initialFunction->objectType )
- offset += AS_PTR_SIZE;
- for( asUINT n = 0; n < arg; n++ )
- offset += initialFunction->parameterTypes[n].GetSizeOnStackDWords();
- // Set the value
- *(size_t*)(®s.stackFramePointer[offset]) = (size_t)value;
- return 0;
- }
- int asCContext::SetArgObject(asUINT arg, void *obj)
- {
- if( status != asEXECUTION_PREPARED )
- return asCONTEXT_NOT_PREPARED;
- if( arg >= (unsigned)initialFunction->parameterTypes.GetLength() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_ARG;
- }
- // Verify the type of the argument
- asCDataType *dt = &initialFunction->parameterTypes[arg];
- if( !dt->IsObject() )
- {
- status = asEXECUTION_ERROR;
- return asINVALID_TYPE;
- }
- // If the object should be sent by value we must make a copy of it
- if( !dt->IsReference() )
- {
- if( dt->IsObjectHandle() )
- {
- // Increase the reference counter
- asSTypeBehaviour *beh = &dt->GetObjectType()->beh;
- if( obj && beh->addref )
- engine->CallObjectMethod(obj, beh->addref);
- }
- else
- {
- obj = engine->CreateScriptObjectCopy(obj, engine->GetTypeIdFromDataType(*dt));
- }
- }
- // Determine the position of the argument
- int offset = 0;
- if( initialFunction->objectType )
- offset += AS_PTR_SIZE;
- for( asUINT n = 0; n < arg; n++ )
- offset += initialFunction->parameterTypes[n].GetSizeOnStackDWords();
- // Set the value
- *(size_t*)(®s.stackFramePointer[offset]) = (size_t)obj;
- return 0;
- }
- // TODO: Instead of GetAddressOfArg, maybe we need a SetArgValue(int arg, void *value, bool takeOwnership) instead.
- // interface
- void *asCContext::GetAddressOfArg(asUINT arg)
- {
- if( status != asEXECUTION_PREPARED )
- return 0;
- if( arg >= (unsigned)initialFunction->parameterTypes.GetLength() )
- return 0;
- // Determine the position of the argument
- int offset = 0;
- if( initialFunction->objectType )
- offset += AS_PTR_SIZE;
- for( asUINT n = 0; n < arg; n++ )
- offset += initialFunction->parameterTypes[n].GetSizeOnStackDWords();
- // We should return the address of the location where the argument value will be placed
- // All registered types are always sent by reference, even if
- // the function is declared to receive the argument by value.
- return ®s.stackFramePointer[offset];
- }
- int asCContext::Abort()
- {
- // TODO: multithread: Make thread safe
- if( engine == 0 ) return asERROR;
- if( status == asEXECUTION_SUSPENDED )
- status = asEXECUTION_ABORTED;
- doSuspend = true;
- regs.doProcessSuspend = true;
- externalSuspendRequest = true;
- doAbort = true;
- return 0;
- }
- // interface
- int asCContext::Suspend()
- {
- // This function just sets some internal flags and is safe
- // to call from a secondary thread, even if the library has
- // been built without multi-thread support.
- if( engine == 0 ) return asERROR;
- doSuspend = true;
- externalSuspendRequest = true;
- regs.doProcessSuspend = true;
- return 0;
- }
- // interface
- int asCContext::Execute()
- {
- asASSERT( engine != 0 );
- if( status != asEXECUTION_SUSPENDED && status != asEXECUTION_PREPARED )
- return asERROR;
- status = asEXECUTION_ACTIVE;
- asPushActiveContext((asIScriptContext *)this);
- if( regs.programPointer == 0 )
- {
- if( currentFunction->funcType == asFUNC_VIRTUAL ||
- currentFunction->funcType == asFUNC_INTERFACE )
- {
- // The currentFunction is a virtual method
- // Determine the true function from the object
- asCScriptObject *obj = *(asCScriptObject**)(size_t*)regs.stackFramePointer;
- if( obj == 0 )
- {
- SetInternalException(TXT_NULL_POINTER_ACCESS);
- }
- else
- {
- asCObjectType *objType = obj->objType;
- asCScriptFunction *realFunc = 0;
- if( currentFunction->funcType == asFUNC_VIRTUAL )
- {
- if( objType->virtualFunctionTable.GetLength() > (asUINT)currentFunction->vfTableIdx )
- {
- realFunc = objType->virtualFunctionTable[currentFunction->vfTableIdx];
- }
- }
- else
- {
- // Search the object type for a function that matches the interface function
- for( asUINT n = 0; n < objType->methods.GetLength(); n++ )
- {
- asCScriptFunction *f2 = engine->scriptFunctions[objType->methods[n]];
- if( f2->signatureId == currentFunction->signatureId )
- {
- if( f2->funcType == asFUNC_VIRTUAL )
- realFunc = objType->virtualFunctionTable[f2->vfTableIdx];
- else
- realFunc = f2;
- break;
- }
- }
- }
- if( realFunc )
- {
- if( realFunc->signatureId != currentFunction->signatureId )
- {
- SetInternalException(TXT_NULL_POINTER_ACCESS);
- }
- else
- {
- currentFunction = realFunc;
- regs.programPointer = currentFunction->byteCode.AddressOf();
- // Set the local objects to 0
- for( asUINT n = 0; n < currentFunction->objVariablePos.GetLength(); n++ )
- {
- int pos = currentFunction->objVariablePos[n];
- *(size_t*)®s.stackFramePointer[-pos] = 0;
- }
- }
- }
- }
- }
- else if( currentFunction->funcType == asFUNC_SYSTEM )
- {
- // The current function is an application registered function
- // Call the function directly
- CallSystemFunction(currentFunction->id, this, 0);
-
- // Was the call successful?
- if( status == asEXECUTION_ACTIVE )
- {
- status = asEXECUTION_FINISHED;
- }
- }
- else
- {
- // This shouldn't happen
- asASSERT(false);
- }
- }
- while( status == asEXECUTION_ACTIVE )
- ExecuteNext();
- doSuspend = false;
- regs.doProcessSuspend = lineCallback;
- asPopActiveContext((asIScriptContext *)this);
- #ifdef AS_DEBUG
- /*
- // Output instruction statistics
- // This is useful for determining what needs to be optimized.
- _mkdir("AS_DEBUG");
- FILE *f = fopen("AS_DEBUG/stats.txt", "at");
- fprintf(f, "\n");
- asQWORD total = 0;
- int n;
- for( n = 0; n < 256; n++ )
- {
- if( bcName[n].name && instrCount[n] )
- fprintf(f, "%-10.10s : %d\n", bcName[n].name, instrCount[n]);
- total += instrCount[n];
- }
- fprintf(f, "\ntotal : %I64d\n", total);
- fprintf(f, "\n");
- for( n = 0; n < 256; n++ )
- {
- if( bcName[n].name )
- {
- for( int m = 0; m < 256; m++ )
- {
- if( instrCount2[n][m] )
- fprintf(f, "%-10.10s, %-10.10s : %d\n", bcName[n].name, bcName[m].name, instrCount2[n][m]);
- }
- }
- }
- fclose(f);
- */
- #endif
- if( status == asEXECUTION_FINISHED )
- {
- regs.objectType = initialFunction->returnType.GetObjectType();
- return asEXECUTION_FINISHED;
- }
- if( doAbort )
- {
- doAbort = false;
- status = asEXECUTION_ABORTED;
- return asEXECUTION_ABORTED;
- }
- if( status == asEXECUTION_SUSPENDED )
- return asEXECUTION_SUSPENDED;
- if( status == asEXECUTION_EXCEPTION )
- return asEXECUTION_EXCEPTION;
- return asERROR;
- }
- void asCContext::PushCallState()
- {
- callStack.SetLength(callStack.GetLength() + CALLSTACK_FRAME_SIZE);
- // Separating the loads and stores limits data cache trash, and with a smart compiler
- // could turn into SIMD style loading/storing if available.
- // The compiler can't do this itself due to potential pointer aliasing between the pointers,
- // ie writing to tmp could overwrite the data contained in registers.stackFramePointer for example
- // for all the compiler knows. So introducing the local variable s, which is never referred to by
- // its address we avoid this issue.
- size_t s[5];
- s[0] = (size_t)regs.stackFramePointer;
- s[1] = (size_t)currentFunction;
- s[2] = (size_t)regs.programPointer;
- s[3] = (size_t)regs.stackPointer;
- s[4] = stackIndex;
- size_t *tmp = callStack.AddressOf() + callStack.GetLength() - CALLSTACK_FRAME_SIZE;
- tmp[0] = s[0];
- tmp[1] = s[1];
- tmp[2] = s[2];
- tmp[3] = s[3];
- tmp[4] = s[4];
- }
- void asCContext::PopCallState()
- {
- // See comments in PushCallState about pointer aliasing and data cache trashing
- size_t *tmp = callStack.AddressOf() + callStack.GetLength() - CALLSTACK_FRAME_SIZE;
- size_t s[5];
- s[0] = tmp[0];
- s[1] = tmp[1];
- s[2] = tmp[2];
- s[3] = tmp[3];
- s[4] = tmp[4];
- regs.stackFramePointer = (asDWORD*)s[0];
- currentFunction = (asCScriptFunction*)s[1];
- regs.programPointer = (asDWORD*)s[2];
- regs.stackPointer = (asDWORD*)s[3];
- stackIndex = (int)s[4];
- callStack.SetLength(callStack.GetLength() - CALLSTACK_FRAME_SIZE);
- }
- // interface
- asUINT asCContext::GetCallstackSize()
- {
- if( currentFunction == 0 ) return 0;
- // The current function is accessed at stackLevel 0
- return asUINT(1 + callStack.GetLength() / CALLSTACK_FRAME_SIZE);
- }
- // interface
- asIScriptFunction *asCContext::GetFunction(asUINT stackLevel)
- {
- if( stackLevel >= GetCallstackSize() ) return 0;
- if( stackLevel == 0 ) return currentFunction;
- size_t *s = callStack.AddressOf() + (GetCallstackSize() - stackLevel - 1)*CALLSTACK_FRAME_SIZE;
- asCScriptFunction *func = (asCScriptFunction*)s[1];
- return func;
- }
- // interface
- int asCContext::GetLineNumber(asUINT stackLevel, int *column, const char **sectionName)
- {
- if( stackLevel >= GetCallstackSize() ) return asINVALID_ARG;
- asCScriptFunction *func;
- asDWORD *bytePos;
- if( stackLevel == 0 )
- {
- func = currentFunction;
- bytePos = regs.programPointer;
- }
- else
- {
- size_t *s = callStack.AddressOf() + (GetCallstackSize()-stackLevel-1)*CALLSTACK_FRAME_SIZE;
- func = (asCScriptFunction*)s[1];
- bytePos = (asDWORD*)s[2];
- }
- asDWORD line = func->GetLineNumber(int(bytePos - func->byteCode.AddressOf()));
- if( column ) *column = (line >> 20);
- if( sectionName ) *sectionName = func->GetScriptSectionName();
- return (line & 0xFFFFF);
- }
- void asCContext::CallScriptFunction(asCScriptFunction *func)
- {
- // Push the framepointer, function id and programCounter on the stack
- PushCallState();
- currentFunction = func;
- regs.programPointer = currentFunction->byteCode.AddressOf();
- // Verify if there is enough room in the stack block. Allocate new block if not
- if( regs.stackPointer - (func->stackNeeded + RESERVE_STACK) < stackBlocks[stackIndex] )
- {
- asDWORD *oldStackPointer = regs.stackPointer;
- // The size of each stack block is determined by the following formula:
- // size = stackBlockSize << index
- while( regs.stackPointer - (func->stackNeeded + RESERVE_STACK) < stackBlocks[stackIndex] )
- {
- // Make sure we don't allocate more space than allowed
- if( engine->ep.maximumContextStackSize )
- {
- // This test will only stop growth once it has already crossed the limit
- if( stackBlockSize * ((1 << (stackIndex+1)) - 1) > engine->ep.maximumContextStackSize )
- {
- isStackMemoryNotAllocated = true;
- // Set the stackFramePointer, even though the stackPointer wasn't updated
- regs.stackFramePointer = regs.stackPointer;
- // TODO: Make sure the exception handler doesn't try to free objects that have not been initialized
- SetInternalException(TXT_STACK_OVERFLOW);
- return;
- }
- }
- stackIndex++;
- if( (int)stackBlocks.GetLength() == stackIndex )
- {
- asDWORD *stack = asNEWARRAY(asDWORD,(stackBlockSize << stackIndex));
- stackBlocks.PushLast(stack);
- }
- regs.stackPointer = stackBlocks[stackIndex] + (stackBlockSize<<stackIndex) - func->GetSpaceNeededForArguments() - (func->objectType ? AS_PTR_SIZE : 0);
- }
- // Copy the function arguments to the new stack space
- int numDwords = func->GetSpaceNeededForArguments() + (func->objectType ? AS_PTR_SIZE : 0);
- memcpy(regs.stackPointer, oldStackPointer, sizeof(asDWORD)*numDwords);
- }
- // Update framepointer and programCounter
- regs.stackFramePointer = regs.stackPointer;
- // TODO: optimize: This can be avoided handling this as is done for value types in the exception handler
- // Set all object variables to 0
- for( asUINT n = 0; n < currentFunction->objVariablePos.GetLength(); n++ )
- {
- if( !currentFunction->objVariableIsOnHeap[n] ) continue;
- int pos = currentFunction->objVariablePos[n];
- *(size_t*)®s.stackFramePointer[-pos] = 0;
- }
- }
- void asCContext::CallInterfaceMethod(asCScriptFunction *func)
- {
- // Resolve the interface method using the current script type
- asCScriptObject *obj = *(asCScriptObject**)(size_t*)regs.stackPointer;
- if( obj == 0 )
- {
- SetInternalException(TXT_NULL_POINTER_ACCESS);
- return;
- }
- asCObjectType *objType = obj->objType;
- // TODO: optimize: The object type should have a list of only those methods that
- // implement interface methods. This list should be ordered by
- // the signatureId so that a binary search can be made, instead
- // of a linear search.
- //
- // When this is done, we must also make sure the signatureId of a
- // function never changes, e.g. when if the signature functions are
- // released.
- // Search the object type for a function that matches the interface function
- asCScriptFunction *realFunc = 0;
- if( func->funcType == asFUNC_INTERFACE )
- {
- for( asUINT n = 0; n < objType->methods.GetLength(); n++ )
- {
- asCScriptFunction *f2 = engine->scriptFunctions[objType->methods[n]];
- if( f2->signatureId == func->signatureId )
- {
- if( f2->funcType == asFUNC_VIRTUAL )
- realFunc = objType->virtualFunctionTable[f2->vfTableIdx];
- else
- realFunc = f2;
- break;
- }
- }
- if( realFunc == 0 )
- {
- SetInternalException(TXT_NULL_POINTER_ACCESS);
- return;
- }
- }
- else // if( func->funcType == asFUNC_VIRTUAL )
- {
- realFunc = objType->virtualFunctionTable[func->vfTableIdx];
- }
- // Then call the true script function
- CallScriptFunction(realFunc);
- }
- void asCContext::ExecuteNext()
- {
- asDWORD *l_bc = regs.programPointer;
- asDWORD *l_sp = regs.stackPointer;
- asDWORD *l_fp = regs.stackFramePointer;
- for(;;)
- {
- #ifdef AS_DEBUG
- ++stats.instrCount[*(asBYTE*)l_bc];
- ++instrCount[*(asBYTE*)l_bc];
- ++instrCount2[lastBC][*(asBYTE*)l_bc];
- lastBC = *(asBYTE*)l_bc;
- // Used to verify that the size of the instructions are correct
- asDWORD *old = l_bc;
- #endif
- // Remember to keep the cases in order and without
- // gaps, because that will make the switch faster.
- // It will be faster since only one lookup will be
- // made to find the correct jump destination. If not
- // in order, the switch will make two lookups.
- switch( *(asBYTE*)l_bc )
- {
- //--------------
- // memory access functions
- // Decrease the stack pointer with n dwords (stack grows downward)
- case asBC_POP:
- l_sp += asBC_WORDARG0(l_bc);
- l_bc++;
- break;
- // Increase the stack pointer with n dwords
- case asBC_PUSH:
- l_sp -= asBC_WORDARG0(l_bc);
- l_bc++;
- break;
- // Push a dword value on the stack
- case asBC_PshC4:
- --l_sp;
- *l_sp = asBC_DWORDARG(l_bc);
- l_bc += 2;
- break;
- // Push the dword value of a variable on the stack
- case asBC_PshV4:
- --l_sp;
- *l_sp = *(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- // Push the address of a variable on the stack
- case asBC_PSF:
- l_sp -= AS_PTR_SIZE;
- *(asPTRWORD*)l_sp = (asPTRWORD)size_t(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- // Swap the top 2 dwords on the stack
- case asBC_SWAP4:
- {
- asDWORD d = (asDWORD)*l_sp;
- *l_sp = *(l_sp+1);
- *(asDWORD*)(l_sp+1) = d;
- l_bc++;
- }
- break;
- // Do a boolean not operation, modifying the value of the variable
- case asBC_NOT:
- #if AS_SIZEOF_BOOL == 1
- {
- // Set the value to true if it is equal to 0
- // We need to use volatile here to tell the compiler it cannot
- // change the order of read and write operations on the pointer.
- volatile asBYTE *ptr = (asBYTE*)(l_fp - asBC_SWORDARG0(l_bc));
- asBYTE val = (ptr[0] == 0) ? VALUE_OF_BOOLEAN_TRUE : 0;
- ptr[0] = val; // The result is stored in the lower byte
- ptr[1] = 0; // Make sure the rest of the DWORD is 0
- ptr[2] = 0;
- ptr[3] = 0;
- }
- #else
- *(l_fp - asBC_SWORDARG0(l_bc)) = (*(l_fp - asBC_SWORDARG0(l_bc)) == 0 ? VALUE_OF_BOOLEAN_TRUE : 0);
- #endif
- l_bc++;
- break;
- // Push the dword value of a global variable on the stack
- case asBC_PshG4:
- --l_sp;
- *l_sp = *(asDWORD*)(size_t)asBC_PTRARG(l_bc);
- l_bc += 1 + AS_PTR_SIZE;
- break;
- // Load the address of a global variable in the register, then
- // copy the value of the global variable into a local variable
- case asBC_LdGRdR4:
- *(void**)®s.valueRegister = (void*)(size_t)asBC_PTRARG(l_bc);
- *(l_fp - asBC_SWORDARG0(l_bc)) = **(asDWORD**)®s.valueRegister;
- l_bc += 1+AS_PTR_SIZE;
- break;
- //----------------
- // path control instructions
- // Begin execution of a script function
- case asBC_CALL:
- {
- int i = asBC_INTARG(l_bc);
- l_bc += 2;
- asASSERT( i >= 0 );
- asASSERT( (i & FUNC_IMPORTED) == 0 );
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- CallScriptFunction(engine->scriptFunctions[i]);
- // Extract the values from the context again
- l_bc = regs.programPointer;
- l_sp = regs.stackPointer;
- l_fp = regs.stackFramePointer;
- // If status isn't active anymore then we must stop
- if( status != asEXECUTION_ACTIVE )
- return;
- }
- break;
- // Return to the caller, and remove the arguments from the stack
- case asBC_RET:
- {
- if( callStack.GetLength() == 0 )
- {
- status = asEXECUTION_FINISHED;
- return;
- }
- asWORD w = asBC_WORDARG0(l_bc);
- // Read the old framepointer, functionid, and programCounter from the call stack
- PopCallState();
- // Extract the values from the context again
- l_bc = regs.programPointer;
- l_sp = regs.stackPointer;
- l_fp = regs.stackFramePointer;
- // Pop arguments from stack
- l_sp += w;
- }
- break;
- // Jump to a relative position
- case asBC_JMP:
- l_bc += 2 + asBC_INTARG(l_bc);
- break;
- //----------------
- // Conditional jumps
- // Jump to a relative position if the value in the register is 0
- case asBC_JZ:
- if( *(int*)®s.valueRegister == 0 )
- l_bc += asBC_INTARG(l_bc) + 2;
- else
- l_bc += 2;
- break;
- // Jump to a relative position if the value in the register is not 0
- case asBC_JNZ:
- if( *(int*)®s.valueRegister != 0 )
- l_bc += asBC_INTARG(l_bc) + 2;
- else
- l_bc += 2;
- break;
- // Jump to a relative position if the value in the register is negative
- case asBC_JS:
- if( *(int*)®s.valueRegister < 0 )
- l_bc += asBC_INTARG(l_bc) + 2;
- else
- l_bc += 2;
- break;
- // Jump to a relative position if the value in the register it not negative
- case asBC_JNS:
- if( *(int*)®s.valueRegister >= 0 )
- l_bc += asBC_INTARG(l_bc) + 2;
- else
- l_bc += 2;
- break;
- // Jump to a relative position if the value in the register is greater than 0
- case asBC_JP:
- if( *(int*)®s.valueRegister > 0 )
- l_bc += asBC_INTARG(l_bc) + 2;
- else
- l_bc += 2;
- break;
- // Jump to a relative position if the value in the register is not greater than 0
- case asBC_JNP:
- if( *(int*)®s.valueRegister <= 0 )
- l_bc += asBC_INTARG(l_bc) + 2;
- else
- l_bc += 2;
- break;
- //--------------------
- // test instructions
- // If the value in the register is 0, then set the register to 1, else to 0
- case asBC_TZ:
- #if AS_SIZEOF_BOOL == 1
- {
- // Set the value to true if it is equal to 0
- // We need to use volatile here to tell the compiler it cannot
- // change the order of read and write operations on valueRegister.
- volatile int *regPtr = (int*)®s.valueRegister;
- volatile asBYTE *regBptr = (asBYTE*)®s.valueRegister;
- asBYTE val = (regPtr[0] == 0) ? VALUE_OF_BOOLEAN_TRUE : 0;
- regBptr[0] = val; // The result is stored in the lower byte
- regBptr[1] = 0; // Make sure the rest of the register is 0
- regBptr[2] = 0;
- regBptr[3] = 0;
- regBptr[4] = 0;
- regBptr[5] = 0;
- regBptr[6] = 0;
- regBptr[7] = 0;
- }
- #else
- *(int*)®s.valueRegister = (*(int*)®s.valueRegister == 0 ? VALUE_OF_BOOLEAN_TRUE : 0);
- #endif
- l_bc++;
- break;
- // If the value in the register is not 0, then set the register to 1, else to 0
- case asBC_TNZ:
- #if AS_SIZEOF_BOOL == 1
- {
- // Set the value to true if it is not equal to 0
- // We need to use volatile here to tell the compiler it cannot
- // change the order of read and write operations on valueRegister.
- volatile int *regPtr = (int*)®s.valueRegister;
- volatile asBYTE *regBptr = (asBYTE*)®s.valueRegister;
- asBYTE val = (regPtr[0] == 0) ? 0 : VALUE_OF_BOOLEAN_TRUE;
- regBptr[0] = val; // The result is stored in the lower byte
- regBptr[1] = 0; // Make sure the rest of the register is 0
- regBptr[2] = 0;
- regBptr[3] = 0;
- regBptr[4] = 0;
- regBptr[5] = 0;
- regBptr[6] = 0;
- regBptr[7] = 0;
- }
- #else
- *(int*)®s.valueRegister = (*(int*)®s.valueRegister == 0 ? 0 : VALUE_OF_BOOLEAN_TRUE);
- #endif
- l_bc++;
- break;
- // If the value in the register is negative, then set the register to 1, else to 0
- case asBC_TS:
- #if AS_SIZEOF_BOOL == 1
- {
- // Set the value to true if it is less than 0
- // We need to use volatile here to tell the compiler it cannot
- // change the order of read and write operations on valueRegister.
- volatile int *regPtr = (int*)®s.valueRegister;
- volatile asBYTE *regBptr = (asBYTE*)®s.valueRegister;
- asBYTE val = (regPtr[0] < 0) ? VALUE_OF_BOOLEAN_TRUE : 0;
- regBptr[0] = val; // The result is stored in the lower byte
- regBptr[1] = 0; // Make sure the rest of the register is 0
- regBptr[2] = 0;
- regBptr[3] = 0;
- regBptr[4] = 0;
- regBptr[5] = 0;
- regBptr[6] = 0;
- regBptr[7] = 0;
- }
- #else
- *(int*)®s.valueRegister = (*(int*)®s.valueRegister < 0 ? VALUE_OF_BOOLEAN_TRUE : 0);
- #endif
- l_bc++;
- break;
- // If the value in the register is not negative, then set the register to 1, else to 0
- case asBC_TNS:
- #if AS_SIZEOF_BOOL == 1
- {
- // Set the value to true if it is not less than 0
- // We need to use volatile here to tell the compiler it cannot
- // change the order of read and write operations on valueRegister.
- volatile int *regPtr = (int*)®s.valueRegister;
- volatile asBYTE *regBptr = (asBYTE*)®s.valueRegister;
- asBYTE val = (regPtr[0] >= 0) ? VALUE_OF_BOOLEAN_TRUE : 0;
- regBptr[0] = val; // The result is stored in the lower byte
- regBptr[1] = 0; // Make sure the rest of the register is 0
- regBptr[2] = 0;
- regBptr[3] = 0;
- regBptr[4] = 0;
- regBptr[5] = 0;
- regBptr[6] = 0;
- regBptr[7] = 0;
- }
- #else
- *(int*)®s.valueRegister = (*(int*)®s.valueRegister < 0 ? 0 : VALUE_OF_BOOLEAN_TRUE);
- #endif
- l_bc++;
- break;
- // If the value in the register is greater than 0, then set the register to 1, else to 0
- case asBC_TP:
- #if AS_SIZEOF_BOOL == 1
- {
- // Set the value to true if it is greater than 0
- // We need to use volatile here to tell the compiler it cannot
- // change the order of read and write operations on valueRegister.
- volatile int *regPtr = (int*)®s.valueRegister;
- volatile asBYTE *regBptr = (asBYTE*)®s.valueRegister;
- asBYTE val = (regPtr[0] > 0) ? VALUE_OF_BOOLEAN_TRUE : 0;
- regBptr[0] = val; // The result is stored in the lower byte
- regBptr[1] = 0; // Make sure the rest of the register is 0
- regBptr[2] = 0;
- regBptr[3] = 0;
- regBptr[4] = 0;
- regBptr[5] = 0;
- regBptr[6] = 0;
- regBptr[7] = 0;
- }
- #else
- *(int*)®s.valueRegister = (*(int*)®s.valueRegister > 0 ? VALUE_OF_BOOLEAN_TRUE : 0);
- #endif
- l_bc++;
- break;
- // If the value in the register is not greater than 0, then set the register to 1, else to 0
- case asBC_TNP:
- #if AS_SIZEOF_BOOL == 1
- {
- // Set the value to true if it is not greater than 0
- // We need to use volatile here to tell the compiler it cannot
- // change the order of read and write operations on valueRegister.
- volatile int *regPtr = (int*)®s.valueRegister;
- volatile asBYTE *regBptr = (asBYTE*)®s.valueRegister;
- asBYTE val = (regPtr[0] <= 0) ? VALUE_OF_BOOLEAN_TRUE : 0;
- regBptr[0] = val; // The result is stored in the lower byte
- regBptr[1] = 0; // Make sure the rest of the register is 0
- regBptr[2] = 0;
- regBptr[3] = 0;
- regBptr[4] = 0;
- regBptr[5] = 0;
- regBptr[6] = 0;
- regBptr[7] = 0;
- }
- #else
- *(int*)®s.valueRegister = (*(int*)®s.valueRegister > 0 ? 0 : VALUE_OF_BOOLEAN_TRUE);
- #endif
- l_bc++;
- break;
- //--------------------
- // negate value
- // Negate the integer value in the variable
- case asBC_NEGi:
- *(l_fp - asBC_SWORDARG0(l_bc)) = asDWORD(-int(*(l_fp - asBC_SWORDARG0(l_bc))));
- l_bc++;
- break;
- // Negate the float value in the variable
- case asBC_NEGf:
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = -*(float*)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- // Negate the double value in the variable
- case asBC_NEGd:
- *(double*)(l_fp - asBC_SWORDARG0(l_bc)) = -*(double*)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- //-------------------------
- // Increment value pointed to by address in register
- // Increment the short value pointed to by the register
- case asBC_INCi16:
- (**(short**)®s.valueRegister)++;
- l_bc++;
- break;
- // Increment the byte value pointed to by the register
- case asBC_INCi8:
- (**(char**)®s.valueRegister)++;
- l_bc++;
- break;
- // Decrement the short value pointed to by the register
- case asBC_DECi16:
- (**(short**)®s.valueRegister)--;
- l_bc++;
- break;
- // Decrement the byte value pointed to by the register
- case asBC_DECi8:
- (**(char**)®s.valueRegister)--;
- l_bc++;
- break;
- // Increment the integer value pointed to by the register
- case asBC_INCi:
- ++(**(int**)®s.valueRegister);
- l_bc++;
- break;
- // Decrement the integer value pointed to by the register
- case asBC_DECi:
- --(**(int**)®s.valueRegister);
- l_bc++;
- break;
- // Increment the float value pointed to by the register
- case asBC_INCf:
- ++(**(float**)®s.valueRegister);
- l_bc++;
- break;
- // Decrement the float value pointed to by the register
- case asBC_DECf:
- --(**(float**)®s.valueRegister);
- l_bc++;
- break;
- // Increment the double value pointed to by the register
- case asBC_INCd:
- ++(**(double**)®s.valueRegister);
- l_bc++;
- break;
- // Decrement the double value pointed to by the register
- case asBC_DECd:
- --(**(double**)®s.valueRegister);
- l_bc++;
- break;
- // Increment the local integer variable
- case asBC_IncVi:
- (*(int*)(l_fp - asBC_SWORDARG0(l_bc)))++;
- l_bc++;
- break;
- // Decrement the local integer variable
- case asBC_DecVi:
- (*(int*)(l_fp - asBC_SWORDARG0(l_bc)))--;
- l_bc++;
- break;
- //--------------------
- // bits instructions
- // Do a bitwise not on the value in the variable
- case asBC_BNOT:
- *(l_fp - asBC_SWORDARG0(l_bc)) = ~*(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- // Do a bitwise and of two variables and store the result in a third variable
- case asBC_BAND:
- *(l_fp - asBC_SWORDARG0(l_bc)) = *(l_fp - asBC_SWORDARG1(l_bc)) & *(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- // Do a bitwise or of two variables and store the result in a third variable
- case asBC_BOR:
- *(l_fp - asBC_SWORDARG0(l_bc)) = *(l_fp - asBC_SWORDARG1(l_bc)) | *(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- // Do a bitwise xor of two variables and store the result in a third variable
- case asBC_BXOR:
- *(l_fp - asBC_SWORDARG0(l_bc)) = *(l_fp - asBC_SWORDARG1(l_bc)) ^ *(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- // Do a logical shift left of two variables and store the result in a third variable
- case asBC_BSLL:
- *(l_fp - asBC_SWORDARG0(l_bc)) = *(l_fp - asBC_SWORDARG1(l_bc)) << *(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- // Do a logical shift right of two variables and store the result in a third variable
- case asBC_BSRL:
- *(l_fp - asBC_SWORDARG0(l_bc)) = *(l_fp - asBC_SWORDARG1(l_bc)) >> *(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- // Do an arithmetic shift right of two variables and store the result in a third variable
- case asBC_BSRA:
- *(l_fp - asBC_SWORDARG0(l_bc)) = int(*(l_fp - asBC_SWORDARG1(l_bc))) >> *(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_COPY:
- {
- void *d = (void*)*(size_t*)l_sp; l_sp += AS_PTR_SIZE;
- void *s = (void*)*(size_t*)l_sp;
- if( s == 0 || d == 0 )
- {
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- // Raise exception
- SetInternalException(TXT_NULL_POINTER_ACCESS);
- return;
- }
- memcpy(d, s, asBC_WORDARG0(l_bc)*4);
- // replace the pointer on the stack with the lvalue
- *(size_t**)l_sp = (size_t*)d;
- }
- l_bc += 2;
- break;
- case asBC_PshC8:
- l_sp -= 2;
- *(asQWORD*)l_sp = asBC_QWORDARG(l_bc);
- l_bc += 3;
- break;
- case asBC_RDS8:
- #ifndef AS_64BIT_PTR
- *(asQWORD*)(l_sp-1) = *(asQWORD*)*(size_t*)l_sp;
- --l_sp;
- #else
- *(asQWORD*)l_sp = *(asQWORD*)*(size_t*)l_sp;
- #endif
- l_bc++;
- break;
- case asBC_SWAP8:
- {
- asQWORD q = *(asQWORD*)l_sp;
- *(asQWORD*)l_sp = *(asQWORD*)(l_sp+2);
- *(asQWORD*)(l_sp+2) = q;
- l_bc++;
- }
- break;
- //----------------------------
- // Comparisons
- case asBC_CMPd:
- {
- double dbl = *(double*)(l_fp - asBC_SWORDARG0(l_bc)) - *(double*)(l_fp - asBC_SWORDARG1(l_bc));
- if( dbl == 0 ) *(int*)®s.valueRegister = 0;
- else if( dbl < 0 ) *(int*)®s.valueRegister = -1;
- else *(int*)®s.valueRegister = 1;
- l_bc += 2;
- }
- break;
- case asBC_CMPu:
- {
- asDWORD d = *(asDWORD*)(l_fp - asBC_SWORDARG0(l_bc));
- asDWORD d2 = *(asDWORD*)(l_fp - asBC_SWORDARG1(l_bc));
- if( d == d2 ) *(int*)®s.valueRegister = 0;
- else if( d < d2 ) *(int*)®s.valueRegister = -1;
- else *(int*)®s.valueRegister = 1;
- l_bc += 2;
- }
- break;
- case asBC_CMPf:
- {
- float f = *(float*)(l_fp - asBC_SWORDARG0(l_bc)) - *(float*)(l_fp - asBC_SWORDARG1(l_bc));
- if( f == 0 ) *(int*)®s.valueRegister = 0;
- else if( f < 0 ) *(int*)®s.valueRegister = -1;
- else *(int*)®s.valueRegister = 1;
- l_bc += 2;
- }
- break;
- case asBC_CMPi:
- {
- int i = *(int*)(l_fp - asBC_SWORDARG0(l_bc)) - *(int*)(l_fp - asBC_SWORDARG1(l_bc));
- if( i == 0 ) *(int*)®s.valueRegister = 0;
- else if( i < 0 ) *(int*)®s.valueRegister = -1;
- else *(int*)®s.valueRegister = 1;
- l_bc += 2;
- }
- break;
- //----------------------------
- // Comparisons with constant value
- case asBC_CMPIi:
- {
- int i = *(int*)(l_fp - asBC_SWORDARG0(l_bc)) - asBC_INTARG(l_bc);
- if( i == 0 ) *(int*)®s.valueRegister = 0;
- else if( i < 0 ) *(int*)®s.valueRegister = -1;
- else *(int*)®s.valueRegister = 1;
- l_bc += 2;
- }
- break;
- case asBC_CMPIf:
- {
- float f = *(float*)(l_fp - asBC_SWORDARG0(l_bc)) - asBC_FLOATARG(l_bc);
- if( f == 0 ) *(int*)®s.valueRegister = 0;
- else if( f < 0 ) *(int*)®s.valueRegister = -1;
- else *(int*)®s.valueRegister = 1;
- l_bc += 2;
- }
- break;
- case asBC_CMPIu:
- {
- asDWORD d1 = *(asDWORD*)(l_fp - asBC_SWORDARG0(l_bc));
- asDWORD d2 = asBC_DWORDARG(l_bc);
- if( d1 == d2 ) *(int*)®s.valueRegister = 0;
- else if( d1 < d2 ) *(int*)®s.valueRegister = -1;
- else *(int*)®s.valueRegister = 1;
- l_bc += 2;
- }
- break;
- case asBC_JMPP:
- l_bc += 1 + (*(int*)(l_fp - asBC_SWORDARG0(l_bc)))*2;
- break;
- case asBC_PopRPtr:
- *(asPTRWORD*)®s.valueRegister = *(asPTRWORD*)l_sp;
- l_sp += AS_PTR_SIZE;
- l_bc++;
- break;
- case asBC_PshRPtr:
- l_sp -= AS_PTR_SIZE;
- *(asPTRWORD*)l_sp = *(asPTRWORD*)®s.valueRegister;
- l_bc++;
- break;
- case asBC_STR:
- {
- // Get the string id from the argument
- asWORD w = asBC_WORDARG0(l_bc);
- // Push the string pointer on the stack
- const asCString &b = engine->GetConstantString(w);
- l_sp -= AS_PTR_SIZE;
- *(asPTRWORD*)l_sp = (asPTRWORD)(size_t)b.AddressOf();
- // Push the string length on the stack
- --l_sp;
- *l_sp = (asDWORD)b.GetLength();
- l_bc++;
- }
- break;
- case asBC_CALLSYS:
- {
- // Get function ID from the argument
- int i = asBC_INTARG(l_bc);
- // Need to move the values back to the context as the called functions
- // may use the debug interface to inspect the registers
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- l_sp += CallSystemFunction(i, this, 0);
- // Update the program position after the call so that line number is correct
- l_bc += 2;
- if( regs.doProcessSuspend )
- {
- // Should the execution be suspended?
- if( doSuspend )
- {
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- status = asEXECUTION_SUSPENDED;
- return;
- }
- // An exception might have been raised
- if( status != asEXECUTION_ACTIVE )
- {
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- return;
- }
- }
- }
- break;
- case asBC_CALLBND:
- {
- // Get the function ID from the stack
- int i = asBC_INTARG(l_bc);
- l_bc += 2;
- asASSERT( i >= 0 );
- asASSERT( i & FUNC_IMPORTED );
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- int funcID = engine->importedFunctions[i&0xFFFF]->boundFunctionId;
- if( funcID == -1 )
- {
- SetInternalException(TXT_UNBOUND_FUNCTION);
- return;
- }
- else
- {
- asCScriptFunction *func = engine->GetScriptFunction(funcID);
- CallScriptFunction(func);
- }
- // Extract the values from the context again
- l_bc = regs.programPointer;
- l_sp = regs.stackPointer;
- l_fp = regs.stackFramePointer;
- // If status isn't active anymore then we must stop
- if( status != asEXECUTION_ACTIVE )
- return;
- }
- break;
- case asBC_SUSPEND:
- if( regs.doProcessSuspend )
- {
- if( lineCallback )
- {
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- CallLineCallback();
- }
- if( doSuspend )
- {
- l_bc++;
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- status = asEXECUTION_SUSPENDED;
- return;
- }
- }
- l_bc++;
- break;
- case asBC_ALLOC:
- {
- asCObjectType *objType = (asCObjectType*)(size_t)asBC_PTRARG(l_bc);
- int func = asBC_INTARG(l_bc+AS_PTR_SIZE);
- if( objType->flags & asOBJ_SCRIPT_OBJECT )
- {
- // Pre-allocate the memory
- asDWORD *mem = (asDWORD*)engine->CallAlloc(objType);
- // Pre-initialize the memory by calling the constructor for asCScriptObject
- ScriptObject_Construct(objType, (asCScriptObject*)mem);
- // Call the constructor to initalize the memory
- asCScriptFunction *f = engine->scriptFunctions[func];
- asDWORD **a = (asDWORD**)*(size_t*)(l_sp + f->GetSpaceNeededForArguments());
- if( a ) *a = mem;
- // Push the object pointer on the stack
- l_sp -= AS_PTR_SIZE;
- *(size_t*)l_sp = (size_t)mem;
- l_bc += 2+AS_PTR_SIZE;
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- CallScriptFunction(f);
- // Extract the values from the context again
- l_bc = regs.programPointer;
- l_sp = regs.stackPointer;
- l_fp = regs.stackFramePointer;
- // If status isn't active anymore then we must stop
- if( status != asEXECUTION_ACTIVE )
- return;
- }
- else
- {
- // Pre-allocate the memory
- asDWORD *mem = (asDWORD*)engine->CallAlloc(objType);
- if( func )
- {
- // Need to move the values back to the context as the called functions
- // may use the debug interface to inspect the registers
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- l_sp += CallSystemFunction(func, this, mem);
- }
- // Pop the variable address from the stack
- asDWORD **a = (asDWORD**)*(size_t*)l_sp;
- l_sp += AS_PTR_SIZE;
- if( a ) *a = mem;
- l_bc += 2+AS_PTR_SIZE;
- if( regs.doProcessSuspend )
- {
- // Should the execution be suspended?
- if( doSuspend )
- {
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- status = asEXECUTION_SUSPENDED;
- return;
- }
- // An exception might have been raised
- if( status != asEXECUTION_ACTIVE )
- {
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- engine->CallFree(mem);
- *a = 0;
- return;
- }
- }
- }
- }
- break;
- case asBC_FREE:
- {
- // Get the variable that holds the object handle/reference
- asPTRWORD *a = (asPTRWORD*)size_t(l_fp - asBC_SWORDARG0(l_bc));
- if( *a )
- {
- asCObjectType *objType = (asCObjectType*)(size_t)asBC_PTRARG(l_bc);
- asSTypeBehaviour *beh = &objType->beh;
- // Need to move the values back to the context as the called functions
- // may use the debug interface to inspect the registers
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- if( beh->release )
- {
- engine->CallObjectMethod((void*)(size_t)*a, beh->release);
- }
- else
- {
- if( beh->destruct )
- {
- engine->CallObjectMethod((void*)(size_t)*a, beh->destruct);
- }
- engine->CallFree((void*)(size_t)*a);
- }
- // Clear the variable
- *a = 0;
- }
- }
- l_bc += 1+AS_PTR_SIZE;
- break;
- case asBC_LOADOBJ:
- {
- // Move the object pointer from the object variable into the object register
- void **a = (void**)(l_fp - asBC_SWORDARG0(l_bc));
- regs.objectType = 0;
- regs.objectRegister = *a;
- *a = 0;
- }
- l_bc++;
- break;
- case asBC_STOREOBJ:
- // Move the object pointer from the object register to the object variable
- *(size_t*)(l_fp - asBC_SWORDARG0(l_bc)) = size_t(regs.objectRegister);
- regs.objectRegister = 0;
- l_bc++;
- break;
- case asBC_GETOBJ:
- {
- // Read variable index from location on stack
- size_t *a = (size_t*)(l_sp + asBC_WORDARG0(l_bc));
- asDWORD offset = *(asDWORD*)a;
- // Move pointer from variable to the same location on the stack
- size_t *v = (size_t*)(l_fp - offset);
- *a = *v;
- // Clear variable
- *v = 0;
- }
- l_bc++;
- break;
- case asBC_REFCPY:
- {
- asCObjectType *objType = (asCObjectType*)(size_t)asBC_PTRARG(l_bc);
- asSTypeBehaviour *beh = &objType->beh;
- // Pop address of destination pointer from the stack
- void **d = (void**)*(size_t*)l_sp;
- l_sp += AS_PTR_SIZE;
-
- // Read wanted pointer from the stack
- void *s = (void*)*(size_t*)l_sp;
- // Need to move the values back to the context as the called functions
- // may use the debug interface to inspect the registers
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- // Release previous object held by destination pointer
- if( *d != 0 )
- engine->CallObjectMethod(*d, beh->release);
- // Increase ref counter of wanted object
- if( s != 0 )
- engine->CallObjectMethod(s, beh->addref);
- // Set the new object in the destination
- *d = s;
- }
- l_bc += 1+AS_PTR_SIZE;
- break;
- case asBC_CHKREF:
- {
- // Verify if the pointer on the stack is null
- // This is used when validating a pointer that an operator will work on
- size_t a = *(size_t*)l_sp;
- if( a == 0 )
- {
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- SetInternalException(TXT_NULL_POINTER_ACCESS);
- return;
- }
- }
- l_bc++;
- break;
- case asBC_GETOBJREF:
- {
- // Get the location on the stack where the reference will be placed
- size_t *a = (size_t*)(l_sp + asBC_WORDARG0(l_bc));
- // Replace the variable index with the object handle held in the variable
- *(size_t**)a = *(size_t**)(l_fp - *a);
- }
- l_bc++;
- break;
- case asBC_GETREF:
- {
- // Get the location on the stack where the reference will be placed
- size_t *a = (size_t*)(l_sp + asBC_WORDARG0(l_bc));
- // Replace the variable index with the address of the variable
- *(size_t**)a = (size_t*)(l_fp - (int)*a);
- }
- l_bc++;
- break;
- case asBC_SWAP48:
- {
- asDWORD d = *(asDWORD*)l_sp;
- asQWORD q = *(asQWORD*)(l_sp+1);
- *(asQWORD*)l_sp = q;
- *(asDWORD*)(l_sp+2) = d;
- l_bc++;
- }
- break;
- case asBC_SWAP84:
- {
- asQWORD q = *(asQWORD*)l_sp;
- asDWORD d = *(asDWORD*)(l_sp+2);
- *(asDWORD*)l_sp = d;
- *(asQWORD*)(l_sp+1) = q;
- l_bc++;
- }
- break;
- case asBC_OBJTYPE:
- // Push the object type on the stack
- l_sp -= AS_PTR_SIZE;
- *(asPTRWORD*)l_sp = asBC_PTRARG(l_bc);
- l_bc += 1+AS_PTR_SIZE;
- break;
- case asBC_TYPEID:
- // Equivalent to PshC4, but kept as separate instruction for bytecode serialization
- --l_sp;
- *l_sp = asBC_DWORDARG(l_bc);
- l_bc += 2;
- break;
- case asBC_SetV4:
- *(l_fp - asBC_SWORDARG0(l_bc)) = asBC_DWORDARG(l_bc);
- l_bc += 2;
- break;
- case asBC_SetV8:
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = asBC_QWORDARG(l_bc);
- l_bc += 3;
- break;
- case asBC_ADDSi:
- *(size_t*)l_sp = size_t(asPTRWORD(*(size_t*)l_sp) + asBC_SWORDARG0(l_bc));
- l_bc += 2;
- break;
- case asBC_CpyVtoV4:
- *(l_fp - asBC_SWORDARG0(l_bc)) = *(l_fp - asBC_SWORDARG1(l_bc));
- l_bc += 2;
- break;
- case asBC_CpyVtoV8:
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asQWORD*)(l_fp - asBC_SWORDARG1(l_bc));
- l_bc += 2;
- break;
- case asBC_CpyVtoR4:
- *(asDWORD*)®s.valueRegister = *(asDWORD*)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- case asBC_CpyVtoR8:
- *(asQWORD*)®s.valueRegister = *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- case asBC_CpyVtoG4:
- *(asDWORD*)(size_t)asBC_PTRARG(l_bc) = *(asDWORD*)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc += 1 + AS_PTR_SIZE;
- break;
- case asBC_CpyRtoV4:
- *(asDWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asDWORD*)®s.valueRegister;
- l_bc++;
- break;
- case asBC_CpyRtoV8:
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = regs.valueRegister;
- l_bc++;
- break;
- case asBC_CpyGtoV4:
- *(asDWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asDWORD*)(size_t)asBC_PTRARG(l_bc);
- l_bc += 1 + AS_PTR_SIZE;
- break;
- case asBC_WRTV1:
- // The pointer in the register points to a byte, and *(l_fp - offset) too
- **(asBYTE**)®s.valueRegister = *(asBYTE*)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- case asBC_WRTV2:
- // The pointer in the register points to a word, and *(l_fp - offset) too
- **(asWORD**)®s.valueRegister = *(asWORD*)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- case asBC_WRTV4:
- **(asDWORD**)®s.valueRegister = *(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- case asBC_WRTV8:
- **(asQWORD**)®s.valueRegister = *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- case asBC_RDR1:
- {
- // The pointer in the register points to a byte, and *(l_fp - offset) will also point to a byte
- asBYTE *bPtr = (asBYTE*)(l_fp - asBC_SWORDARG0(l_bc));
- bPtr[0] = **(asBYTE**)®s.valueRegister; // read the byte
- bPtr[1] = 0; // 0 the rest of the DWORD
- bPtr[2] = 0;
- bPtr[3] = 0;
- }
- l_bc++;
- break;
- case asBC_RDR2:
- {
- // The pointer in the register points to a word, and *(l_fp - offset) will also point to a word
- asWORD *wPtr = (asWORD*)(l_fp - asBC_SWORDARG0(l_bc));
- wPtr[0] = **(asWORD**)®s.valueRegister; // read the word
- wPtr[1] = 0; // 0 the rest of the DWORD
- }
- l_bc++;
- break;
- case asBC_RDR4:
- *(asDWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = **(asDWORD**)®s.valueRegister;
- l_bc++;
- break;
- case asBC_RDR8:
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = **(asQWORD**)®s.valueRegister;
- l_bc++;
- break;
- case asBC_LDG:
- *(asPTRWORD*)®s.valueRegister = asBC_PTRARG(l_bc);
- l_bc += 1+AS_PTR_SIZE;
- break;
- case asBC_LDV:
- *(asDWORD**)®s.valueRegister = (l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- case asBC_PGA:
- l_sp -= AS_PTR_SIZE;
- *(asPTRWORD*)l_sp = asBC_PTRARG(l_bc);
- l_bc += 1+AS_PTR_SIZE;
- break;
- case asBC_RDS4:
- #ifndef AS_64BIT_PTR
- *l_sp = *(asDWORD*)*(size_t*)l_sp;
- #else
- {
- asDWORD d = *(asDWORD*)*(size_t*)l_sp;
- l_sp++;
- *l_sp = d;
- }
- #endif
- l_bc++;
- break;
- case asBC_VAR:
- l_sp -= AS_PTR_SIZE;
- *(size_t*)l_sp = (size_t)asBC_SWORDARG0(l_bc);
- l_bc++;
- break;
- //----------------------------
- // Type conversions
- case asBC_iTOf:
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = float(*(int*)(l_fp - asBC_SWORDARG0(l_bc)));
- l_bc++;
- break;
- case asBC_fTOi:
- *(l_fp - asBC_SWORDARG0(l_bc)) = int(*(float*)(l_fp - asBC_SWORDARG0(l_bc)));
- l_bc++;
- break;
- case asBC_uTOf:
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = float(*(l_fp - asBC_SWORDARG0(l_bc)));
- l_bc++;
- break;
- case asBC_fTOu:
- // We must cast to int first, because on some compilers the cast of a negative float value to uint result in 0
- *(l_fp - asBC_SWORDARG0(l_bc)) = asUINT(int(*(float*)(l_fp - asBC_SWORDARG0(l_bc))));
- l_bc++;
- break;
- case asBC_sbTOi:
- // *(l_fp - offset) points to a char, and will point to an int afterwards
- *(l_fp - asBC_SWORDARG0(l_bc)) = *(signed char*)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- case asBC_swTOi:
- // *(l_fp - offset) points to a short, and will point to an int afterwards
- *(l_fp - asBC_SWORDARG0(l_bc)) = *(short*)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- case asBC_ubTOi:
- // (l_fp - offset) points to a byte, and will point to an int afterwards
- *(l_fp - asBC_SWORDARG0(l_bc)) = *(asBYTE*)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- case asBC_uwTOi:
- // *(l_fp - offset) points to a word, and will point to an int afterwards
- *(l_fp - asBC_SWORDARG0(l_bc)) = *(asWORD*)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- case asBC_dTOi:
- *(l_fp - asBC_SWORDARG0(l_bc)) = int(*(double*)(l_fp - asBC_SWORDARG1(l_bc)));
- l_bc += 2;
- break;
- case asBC_dTOu:
- // We must cast to int first, because on some compilers the cast of a negative float value to uint result in 0
- *(l_fp - asBC_SWORDARG0(l_bc)) = asUINT(int(*(double*)(l_fp - asBC_SWORDARG1(l_bc))));
- l_bc += 2;
- break;
- case asBC_dTOf:
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = float(*(double*)(l_fp - asBC_SWORDARG1(l_bc)));
- l_bc += 2;
- break;
- case asBC_iTOd:
- *(double*)(l_fp - asBC_SWORDARG0(l_bc)) = double(*(int*)(l_fp - asBC_SWORDARG1(l_bc)));
- l_bc += 2;
- break;
- case asBC_uTOd:
- *(double*)(l_fp - asBC_SWORDARG0(l_bc)) = double(*(asUINT*)(l_fp - asBC_SWORDARG1(l_bc)));
- l_bc += 2;
- break;
- case asBC_fTOd:
- *(double*)(l_fp - asBC_SWORDARG0(l_bc)) = double(*(float*)(l_fp - asBC_SWORDARG1(l_bc)));
- l_bc += 2;
- break;
- //------------------------------
- // Math operations
- case asBC_ADDi:
- *(int*)(l_fp - asBC_SWORDARG0(l_bc)) = *(int*)(l_fp - asBC_SWORDARG1(l_bc)) + *(int*)(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_SUBi:
- *(int*)(l_fp - asBC_SWORDARG0(l_bc)) = *(int*)(l_fp - asBC_SWORDARG1(l_bc)) - *(int*)(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_MULi:
- *(int*)(l_fp - asBC_SWORDARG0(l_bc)) = *(int*)(l_fp - asBC_SWORDARG1(l_bc)) * *(int*)(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_DIVi:
- {
- int divider = *(int*)(l_fp - asBC_SWORDARG2(l_bc));
- if( divider == 0 )
- {
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- // Raise exception
- SetInternalException(TXT_DIVIDE_BY_ZERO);
- return;
- }
- *(int*)(l_fp - asBC_SWORDARG0(l_bc)) = *(int*)(l_fp - asBC_SWORDARG1(l_bc)) / divider;
- }
- l_bc += 2;
- break;
- case asBC_MODi:
- {
- int divider = *(int*)(l_fp - asBC_SWORDARG2(l_bc));
- if( divider == 0 )
- {
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- // Raise exception
- SetInternalException(TXT_DIVIDE_BY_ZERO);
- return;
- }
- *(int*)(l_fp - asBC_SWORDARG0(l_bc)) = *(int*)(l_fp - asBC_SWORDARG1(l_bc)) % divider;
- }
- l_bc += 2;
- break;
- case asBC_ADDf:
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = *(float*)(l_fp - asBC_SWORDARG1(l_bc)) + *(float*)(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_SUBf:
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = *(float*)(l_fp - asBC_SWORDARG1(l_bc)) - *(float*)(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_MULf:
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = *(float*)(l_fp - asBC_SWORDARG1(l_bc)) * *(float*)(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_DIVf:
- {
- float divider = *(float*)(l_fp - asBC_SWORDARG2(l_bc));
- if( divider == 0 )
- {
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- // Raise exception
- SetInternalException(TXT_DIVIDE_BY_ZERO);
- return;
- }
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = *(float*)(l_fp - asBC_SWORDARG1(l_bc)) / divider;
- }
- l_bc += 2;
- break;
- case asBC_MODf:
- {
- float divider = *(float*)(l_fp - asBC_SWORDARG2(l_bc));
- if( divider == 0 )
- {
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- // Raise exception
- SetInternalException(TXT_DIVIDE_BY_ZERO);
- return;
- }
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = fmodf(*(float*)(l_fp - asBC_SWORDARG1(l_bc)), divider);
- }
- l_bc += 2;
- break;
- case asBC_ADDd:
- *(double*)(l_fp - asBC_SWORDARG0(l_bc)) = *(double*)(l_fp - asBC_SWORDARG1(l_bc)) + *(double*)(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_SUBd:
- *(double*)(l_fp - asBC_SWORDARG0(l_bc)) = *(double*)(l_fp - asBC_SWORDARG1(l_bc)) - *(double*)(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_MULd:
- *(double*)(l_fp - asBC_SWORDARG0(l_bc)) = *(double*)(l_fp - asBC_SWORDARG1(l_bc)) * *(double*)(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_DIVd:
- {
- double divider = *(double*)(l_fp - asBC_SWORDARG2(l_bc));
- if( divider == 0 )
- {
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- // Raise exception
- SetInternalException(TXT_DIVIDE_BY_ZERO);
- return;
- }
- *(double*)(l_fp - asBC_SWORDARG0(l_bc)) = *(double*)(l_fp - asBC_SWORDARG1(l_bc)) / divider;
- l_bc += 2;
- }
- break;
- case asBC_MODd:
- {
- double divider = *(double*)(l_fp - asBC_SWORDARG2(l_bc));
- if( divider == 0 )
- {
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- // Raise exception
- SetInternalException(TXT_DIVIDE_BY_ZERO);
- return;
- }
- *(double*)(l_fp - asBC_SWORDARG0(l_bc)) = fmod(*(double*)(l_fp - asBC_SWORDARG1(l_bc)), divider);
- l_bc += 2;
- }
- break;
- //------------------------------
- // Math operations with constant value
- case asBC_ADDIi:
- *(int*)(l_fp - asBC_SWORDARG0(l_bc)) = *(int*)(l_fp - asBC_SWORDARG1(l_bc)) + asBC_INTARG(l_bc+1);
- l_bc += 3;
- break;
- case asBC_SUBIi:
- *(int*)(l_fp - asBC_SWORDARG0(l_bc)) = *(int*)(l_fp - asBC_SWORDARG1(l_bc)) - asBC_INTARG(l_bc+1);
- l_bc += 3;
- break;
- case asBC_MULIi:
- *(int*)(l_fp - asBC_SWORDARG0(l_bc)) = *(int*)(l_fp - asBC_SWORDARG1(l_bc)) * asBC_INTARG(l_bc+1);
- l_bc += 3;
- break;
- case asBC_ADDIf:
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = *(float*)(l_fp - asBC_SWORDARG1(l_bc)) + asBC_FLOATARG(l_bc+1);
- l_bc += 3;
- break;
- case asBC_SUBIf:
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = *(float*)(l_fp - asBC_SWORDARG1(l_bc)) - asBC_FLOATARG(l_bc+1);
- l_bc += 3;
- break;
- case asBC_MULIf:
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = *(float*)(l_fp - asBC_SWORDARG1(l_bc)) * asBC_FLOATARG(l_bc+1);
- l_bc += 3;
- break;
- //-----------------------------------
- case asBC_SetG4:
- *(asDWORD*)(size_t)asBC_PTRARG(l_bc) = asBC_DWORDARG(l_bc+AS_PTR_SIZE);
- l_bc += 2 + AS_PTR_SIZE;
- break;
- case asBC_ChkRefS:
- {
- // Verify if the pointer on the stack refers to a non-null value
- // This is used to validate a reference to a handle
- asDWORD *a = (asDWORD*)*(size_t*)l_sp;
- if( *a == 0 )
- {
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- SetInternalException(TXT_NULL_POINTER_ACCESS);
- return;
- }
- }
- l_bc++;
- break;
- case asBC_ChkNullV:
- {
- // Verify if variable (on the stack) is not null
- asDWORD *a = *(asDWORD**)(l_fp - asBC_SWORDARG0(l_bc));
- if( a == 0 )
- {
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- SetInternalException(TXT_NULL_POINTER_ACCESS);
- return;
- }
- }
- l_bc++;
- break;
- case asBC_CALLINTF:
- {
- int i = asBC_INTARG(l_bc);
- l_bc += 2;
- asASSERT( i >= 0 );
- asASSERT( (i & FUNC_IMPORTED) == 0 );
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- CallInterfaceMethod(engine->GetScriptFunction(i));
- // Extract the values from the context again
- l_bc = regs.programPointer;
- l_sp = regs.stackPointer;
- l_fp = regs.stackFramePointer;
- // If status isn't active anymore then we must stop
- if( status != asEXECUTION_ACTIVE )
- return;
- }
- break;
- case asBC_iTOb:
- {
- // *(l_fp - offset) points to an int, and will point to a byte afterwards
- // We need to use volatile here to tell the compiler not to rearrange
- // read and write operations during optimizations.
- volatile asDWORD val = *(l_fp - asBC_SWORDARG0(l_bc));
- volatile asBYTE *bPtr = (asBYTE*)(l_fp - asBC_SWORDARG0(l_bc));
- bPtr[0] = (asBYTE)val; // write the byte
- bPtr[1] = 0; // 0 the rest of the DWORD
- bPtr[2] = 0;
- bPtr[3] = 0;
- }
- l_bc++;
- break;
- case asBC_iTOw:
- {
- // *(l_fp - offset) points to an int, and will point to word afterwards
- // We need to use volatile here to tell the compiler not to rearrange
- // read and write operations during optimizations.
- volatile asDWORD val = *(l_fp - asBC_SWORDARG0(l_bc));
- volatile asWORD *wPtr = (asWORD*)(l_fp - asBC_SWORDARG0(l_bc));
- wPtr[0] = (asWORD)val; // write the word
- wPtr[1] = 0; // 0 the rest of the DWORD
- }
- l_bc++;
- break;
- case asBC_SetV1:
- // TODO: This is exactly the same as SetV4. This is a left over from the time
- // when the bytecode instructions were more tightly packed. It can now
- // be removed. When removing it, make sure the value is correctly converted
- // on big-endian CPUs.
- // The byte is already stored correctly in the argument
- *(l_fp - asBC_SWORDARG0(l_bc)) = asBC_DWORDARG(l_bc);
- l_bc += 2;
- break;
- case asBC_SetV2:
- // TODO: This is exactly the same as SetV4. This is a left over from the time
- // when the bytecode instructions were more tightly packed. It can now
- // be removed. When removing it, make sure the value is correctly converted
- // on big-endian CPUs.
- // The word is already stored correctly in the argument
- *(l_fp - asBC_SWORDARG0(l_bc)) = asBC_DWORDARG(l_bc);
- l_bc += 2;
- break;
- case asBC_Cast:
- // Cast the handle at the top of the stack to the type in the argument
- {
- asDWORD **a = (asDWORD**)*(size_t*)l_sp;
- if( a && *a )
- {
- asDWORD typeId = asBC_DWORDARG(l_bc);
- asCScriptObject *obj = (asCScriptObject *)* a;
- asCObjectType *objType = obj->objType;
- asCObjectType *to = engine->GetObjectTypeFromTypeId(typeId);
- // This instruction can only be used with script classes and interfaces
- asASSERT( objType->flags & asOBJ_SCRIPT_OBJECT );
- asASSERT( to->flags & asOBJ_SCRIPT_OBJECT );
- if( objType->Implements(to) || objType->DerivesFrom(to) )
- {
- regs.objectType = 0;
- regs.objectRegister = obj;
- obj->AddRef();
- }
- else
- {
- // The object register should already be null, so there
- // is no need to clear it if the cast is unsuccessful
- asASSERT( regs.objectRegister == 0 );
- }
- }
- l_sp += AS_PTR_SIZE;
- }
- l_bc += 2;
- break;
- case asBC_i64TOi:
- *(l_fp - asBC_SWORDARG0(l_bc)) = int(*(asINT64*)(l_fp - asBC_SWORDARG1(l_bc)));
- l_bc += 2;
- break;
- case asBC_uTOi64:
- *(asINT64*)(l_fp - asBC_SWORDARG0(l_bc)) = asINT64(*(asUINT*)(l_fp - asBC_SWORDARG1(l_bc)));
- l_bc += 2;
- break;
- case asBC_iTOi64:
- *(asINT64*)(l_fp - asBC_SWORDARG0(l_bc)) = asINT64(*(int*)(l_fp - asBC_SWORDARG1(l_bc)));
- l_bc += 2;
- break;
- case asBC_fTOi64:
- *(asINT64*)(l_fp - asBC_SWORDARG0(l_bc)) = asINT64(*(float*)(l_fp - asBC_SWORDARG1(l_bc)));
- l_bc += 2;
- break;
- case asBC_dTOi64:
- *(asINT64*)(l_fp - asBC_SWORDARG0(l_bc)) = asINT64(*(double*)(l_fp - asBC_SWORDARG0(l_bc)));
- l_bc++;
- break;
- case asBC_fTOu64:
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = asQWORD(asINT64(*(float*)(l_fp - asBC_SWORDARG1(l_bc))));
- l_bc += 2;
- break;
- case asBC_dTOu64:
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = asQWORD(asINT64(*(double*)(l_fp - asBC_SWORDARG0(l_bc))));
- l_bc++;
- break;
- case asBC_i64TOf:
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = float(*(asINT64*)(l_fp - asBC_SWORDARG1(l_bc)));
- l_bc += 2;
- break;
- case asBC_u64TOf:
- #if _MSC_VER <= 1200 // MSVC6
- {
- // MSVC6 doesn't permit UINT64 to double
- asINT64 v = *(asINT64*)(l_fp - asBC_SWORDARG1(l_bc));
- if( v < 0 )
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = 18446744073709551615.0f+float(v);
- else
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = float(v);
- }
- #else
- *(float*)(l_fp - asBC_SWORDARG0(l_bc)) = float(*(asQWORD*)(l_fp - asBC_SWORDARG1(l_bc)));
- #endif
- l_bc += 2;
- break;
- case asBC_i64TOd:
- *(double*)(l_fp - asBC_SWORDARG0(l_bc)) = double(*(asINT64*)(l_fp - asBC_SWORDARG0(l_bc)));
- l_bc++;
- break;
- case asBC_u64TOd:
- #if _MSC_VER <= 1200 // MSVC6
- {
- // MSVC6 doesn't permit UINT64 to double
- asINT64 v = *(asINT64*)(l_fp - asBC_SWORDARG0(l_bc));
- if( v < 0 )
- *(double*)(l_fp - asBC_SWORDARG0(l_bc)) = 18446744073709551615.0+double(v);
- else
- *(double*)(l_fp - asBC_SWORDARG0(l_bc)) = double(v);
- }
- #else
- *(double*)(l_fp - asBC_SWORDARG0(l_bc)) = double(*(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)));
- #endif
- l_bc++;
- break;
- case asBC_NEGi64:
- *(asINT64*)(l_fp - asBC_SWORDARG0(l_bc)) = -*(asINT64*)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- case asBC_INCi64:
- ++(**(asQWORD**)®s.valueRegister);
- l_bc++;
- break;
- case asBC_DECi64:
- --(**(asQWORD**)®s.valueRegister);
- l_bc++;
- break;
- case asBC_BNOT64:
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = ~*(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- case asBC_ADDi64:
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asQWORD*)(l_fp - asBC_SWORDARG1(l_bc)) + *(asQWORD*)(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_SUBi64:
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asQWORD*)(l_fp - asBC_SWORDARG1(l_bc)) - *(asQWORD*)(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_MULi64:
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asQWORD*)(l_fp - asBC_SWORDARG1(l_bc)) * *(asQWORD*)(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_DIVi64:
- {
- asINT64 divider = *(asINT64*)(l_fp - asBC_SWORDARG2(l_bc));
- if( divider == 0 )
- {
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- // Raise exception
- SetInternalException(TXT_DIVIDE_BY_ZERO);
- return;
- }
- *(asINT64*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asINT64*)(l_fp - asBC_SWORDARG1(l_bc)) / divider;
- }
- l_bc += 2;
- break;
- case asBC_MODi64:
- {
- asINT64 divider = *(asINT64*)(l_fp - asBC_SWORDARG2(l_bc));
- if( divider == 0 )
- {
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- // Raise exception
- SetInternalException(TXT_DIVIDE_BY_ZERO);
- return;
- }
- *(asINT64*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asINT64*)(l_fp - asBC_SWORDARG1(l_bc)) % divider;
- }
- l_bc += 2;
- break;
- case asBC_BAND64:
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asQWORD*)(l_fp - asBC_SWORDARG1(l_bc)) & *(asQWORD*)(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_BOR64:
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asQWORD*)(l_fp - asBC_SWORDARG1(l_bc)) | *(asQWORD*)(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_BXOR64:
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asQWORD*)(l_fp - asBC_SWORDARG1(l_bc)) ^ *(asQWORD*)(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_BSLL64:
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asQWORD*)(l_fp - asBC_SWORDARG1(l_bc)) << *(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_BSRL64:
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asQWORD*)(l_fp - asBC_SWORDARG1(l_bc)) >> *(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_BSRA64:
- *(asINT64*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asINT64*)(l_fp - asBC_SWORDARG1(l_bc)) >> *(l_fp - asBC_SWORDARG2(l_bc));
- l_bc += 2;
- break;
- case asBC_CMPi64:
- {
- asINT64 i = *(asINT64*)(l_fp - asBC_SWORDARG0(l_bc)) - *(asINT64*)(l_fp - asBC_SWORDARG1(l_bc));
- if( i == 0 ) *(int*)®s.valueRegister = 0;
- else if( i < 0 ) *(int*)®s.valueRegister = -1;
- else *(int*)®s.valueRegister = 1;
- l_bc += 2;
- }
- break;
- case asBC_CMPu64:
- {
- asQWORD d = *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc));
- asQWORD d2 = *(asQWORD*)(l_fp - asBC_SWORDARG1(l_bc));
- if( d == d2 ) *(int*)®s.valueRegister = 0;
- else if( d < d2 ) *(int*)®s.valueRegister = -1;
- else *(int*)®s.valueRegister = 1;
- l_bc += 2;
- }
- break;
- case asBC_ChkNullS:
- {
- // Verify if the pointer on the stack is null
- // This is used for example when validating handles passed as function arguments
- size_t a = *(size_t*)(l_sp + asBC_WORDARG0(l_bc));
- if( a == 0 )
- {
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- SetInternalException(TXT_NULL_POINTER_ACCESS);
- return;
- }
- }
- l_bc++;
- break;
- case asBC_ClrHi:
- #if AS_SIZEOF_BOOL == 1
- {
- // Clear the upper bytes, so that trash data don't interfere with boolean operations
- // We need to use volatile here to tell the compiler it cannot
- // change the order of read and write operations on the pointer.
- volatile asBYTE *ptr = (asBYTE*)®s.valueRegister;
- ptr[1] = 0; // The boolean value is stored in the lower byte, so we clear the rest
- ptr[2] = 0;
- ptr[3] = 0;
- }
- #else
- // We don't have anything to do here
- #endif
- l_bc++;
- break;
- case asBC_JitEntry:
- {
- if( currentFunction->jitFunction )
- {
- unsigned int jitOffset = asBC_WORDARG0(l_bc);
- if( jitOffset )
- {
- // Resume JIT operation
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- // TODO: JIT: We should return from this function if the jitFunction tells us to
- (currentFunction->jitFunction)(®s, jitOffset-1);
-
- l_bc = regs.programPointer;
- l_sp = regs.stackPointer;
- l_fp = regs.stackFramePointer;
- break;
- }
- }
- // Not a JIT resume point, treat as nop
- l_bc++;
- }
- break;
- case asBC_CallPtr:
- {
- // Get the function pointer from the local variable
- asCScriptFunction *func = *(asCScriptFunction**)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- if( func == 0 )
- {
- // TODO: funcdef: Should we have a different exception string?
- SetInternalException(TXT_UNBOUND_FUNCTION);
- return;
- }
- else
- CallScriptFunction(func);
- // Extract the values from the context again
- l_bc = regs.programPointer;
- l_sp = regs.stackPointer;
- l_fp = regs.stackFramePointer;
- // If status isn't active anymore then we must stop
- if( status != asEXECUTION_ACTIVE )
- return;
- }
- break;
- case asBC_FuncPtr:
- // Push the function pointer on the stack. The pointer is in the argument
- l_sp -= AS_PTR_SIZE;
- *(asPTRWORD*)l_sp = asBC_PTRARG(l_bc);
- l_bc += 1+AS_PTR_SIZE;
- break;
- case asBC_LoadThisR:
- {
- // PshVPtr 0
- asPTRWORD tmp = *(asPTRWORD*)l_fp;
- // ADDSi
- tmp = tmp + asBC_SWORDARG0(l_bc);
- // PopRPtr
- *(asPTRWORD*)®s.valueRegister = tmp;
- l_bc += 2;
- }
- break;
- // Push the qword value of a variable on the stack
- case asBC_PshV8:
- l_sp -= 2;
- *(asQWORD*)l_sp = *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc));
- l_bc++;
- break;
- case asBC_DIVu:
- {
- asUINT divider = *(asUINT*)(l_fp - asBC_SWORDARG2(l_bc));
- if( divider == 0 )
- {
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- // Raise exception
- SetInternalException(TXT_DIVIDE_BY_ZERO);
- return;
- }
- *(asUINT*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asUINT*)(l_fp - asBC_SWORDARG1(l_bc)) / divider;
- }
- l_bc += 2;
- break;
- case asBC_MODu:
- {
- asUINT divider = *(asUINT*)(l_fp - asBC_SWORDARG2(l_bc));
- if( divider == 0 )
- {
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- // Raise exception
- SetInternalException(TXT_DIVIDE_BY_ZERO);
- return;
- }
- *(asUINT*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asUINT*)(l_fp - asBC_SWORDARG1(l_bc)) % divider;
- }
- l_bc += 2;
- break;
- case asBC_DIVu64:
- {
- asQWORD divider = *(asQWORD*)(l_fp - asBC_SWORDARG2(l_bc));
- if( divider == 0 )
- {
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- // Raise exception
- SetInternalException(TXT_DIVIDE_BY_ZERO);
- return;
- }
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asQWORD*)(l_fp - asBC_SWORDARG1(l_bc)) / divider;
- }
- l_bc += 2;
- break;
- case asBC_MODu64:
- {
- asQWORD divider = *(asQWORD*)(l_fp - asBC_SWORDARG2(l_bc));
- if( divider == 0 )
- {
- // Need to move the values back to the context
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- // Raise exception
- SetInternalException(TXT_DIVIDE_BY_ZERO);
- return;
- }
- *(asQWORD*)(l_fp - asBC_SWORDARG0(l_bc)) = *(asQWORD*)(l_fp - asBC_SWORDARG1(l_bc)) % divider;
- }
- l_bc += 2;
- break;
- case asBC_LoadRObjR:
- {
- // PshVPtr x
- asPTRWORD tmp = *(asPTRWORD*)(l_fp - asBC_SWORDARG0(l_bc));
- // ADDSi y
- tmp = tmp + asBC_SWORDARG1(l_bc);
- // PopRPtr
- *(asPTRWORD*)®s.valueRegister = tmp;
- l_bc += 3;
- }
- break;
- case asBC_LoadVObjR:
- {
- // PSF x
- asPTRWORD tmp = (asPTRWORD)(size_t)(l_fp - asBC_SWORDARG0(l_bc));
- // ADDSi y
- tmp = tmp + asBC_SWORDARG1(l_bc);
- // PopRPtr
- *(asPTRWORD*)®s.valueRegister = tmp;
- l_bc += 3;
- }
- break;
- // Don't let the optimizer optimize for size,
- // since it requires extra conditions and jumps
- case 186: l_bc = (asDWORD*)186; break;
- case 187: l_bc = (asDWORD*)187; break;
- case 188: l_bc = (asDWORD*)188; break;
- case 189: l_bc = (asDWORD*)189; break;
- case 190: l_bc = (asDWORD*)190; break;
- case 191: l_bc = (asDWORD*)191; break;
- case 192: l_bc = (asDWORD*)192; break;
- case 193: l_bc = (asDWORD*)193; break;
- case 194: l_bc = (asDWORD*)194; break;
- case 195: l_bc = (asDWORD*)195; break;
- case 196: l_bc = (asDWORD*)196; break;
- case 197: l_bc = (asDWORD*)197; break;
- case 198: l_bc = (asDWORD*)198; break;
- case 199: l_bc = (asDWORD*)199; break;
- case 200: l_bc = (asDWORD*)200; break;
- case 201: l_bc = (asDWORD*)201; break;
- case 202: l_bc = (asDWORD*)202; break;
- case 203: l_bc = (asDWORD*)203; break;
- case 204: l_bc = (asDWORD*)204; break;
- case 205: l_bc = (asDWORD*)205; break;
- case 206: l_bc = (asDWORD*)206; break;
- case 207: l_bc = (asDWORD*)207; break;
- case 208: l_bc = (asDWORD*)208; break;
- case 209: l_bc = (asDWORD*)209; break;
- case 210: l_bc = (asDWORD*)210; break;
- case 211: l_bc = (asDWORD*)211; break;
- case 212: l_bc = (asDWORD*)212; break;
- case 213: l_bc = (asDWORD*)213; break;
- case 214: l_bc = (asDWORD*)214; break;
- case 215: l_bc = (asDWORD*)215; break;
- case 216: l_bc = (asDWORD*)216; break;
- case 217: l_bc = (asDWORD*)217; break;
- case 218: l_bc = (asDWORD*)218; break;
- case 219: l_bc = (asDWORD*)219; break;
- case 220: l_bc = (asDWORD*)220; break;
- case 221: l_bc = (asDWORD*)221; break;
- case 222: l_bc = (asDWORD*)222; break;
- case 223: l_bc = (asDWORD*)223; break;
- case 224: l_bc = (asDWORD*)224; break;
- case 225: l_bc = (asDWORD*)225; break;
- case 226: l_bc = (asDWORD*)226; break;
- case 227: l_bc = (asDWORD*)227; break;
- case 228: l_bc = (asDWORD*)228; break;
- case 229: l_bc = (asDWORD*)229; break;
- case 230: l_bc = (asDWORD*)230; break;
- case 231: l_bc = (asDWORD*)231; break;
- case 232: l_bc = (asDWORD*)232; break;
- case 233: l_bc = (asDWORD*)233; break;
- case 234: l_bc = (asDWORD*)234; break;
- case 235: l_bc = (asDWORD*)235; break;
- case 236: l_bc = (asDWORD*)236; break;
- case 237: l_bc = (asDWORD*)237; break;
- case 238: l_bc = (asDWORD*)238; break;
- case 239: l_bc = (asDWORD*)239; break;
- case 240: l_bc = (asDWORD*)240; break;
- case 241: l_bc = (asDWORD*)241; break;
- case 242: l_bc = (asDWORD*)242; break;
- case 243: l_bc = (asDWORD*)243; break;
- case 244: l_bc = (asDWORD*)244; break;
- case 245: l_bc = (asDWORD*)245; break;
- case 246: l_bc = (asDWORD*)246; break;
- case 247: l_bc = (asDWORD*)247; break;
- case 248: l_bc = (asDWORD*)248; break;
- case 249: l_bc = (asDWORD*)249; break;
- case 250: l_bc = (asDWORD*)250; break;
- case 251: l_bc = (asDWORD*)251; break;
- case 252: l_bc = (asDWORD*)252; break;
- case 253: l_bc = (asDWORD*)253; break;
- case 254: l_bc = (asDWORD*)254; break;
- case 255: l_bc = (asDWORD*)255; break;
- #ifdef AS_DEBUG
- default:
- asASSERT(false);
- #endif
- /*
- default:
- // This Microsoft specific code allows the
- // compiler to optimize the switch case as
- // it will know that the code will never
- // reach this point
- __assume(0);
- */ }
- #ifdef AS_DEBUG
- asDWORD instr = *(asBYTE*)old;
- if( instr != asBC_JMP && instr != asBC_JMPP && (instr < asBC_JZ || instr > asBC_JNP) &&
- instr != asBC_CALL && instr != asBC_CALLBND && instr != asBC_CALLINTF && instr != asBC_RET && instr != asBC_ALLOC && instr != asBC_CallPtr )
- {
- asASSERT( (l_bc - old) == asBCTypeSize[asBCInfo[instr].type] );
- }
- #endif
- }
- SetInternalException(TXT_UNRECOGNIZED_BYTE_CODE);
- }
- int asCContext::SetException(const char *descr)
- {
- // Only allow this if we're executing a CALL byte code
- if( !isCallingSystemFunction ) return asERROR;
- SetInternalException(descr);
- return 0;
- }
- void asCContext::SetInternalException(const char *descr)
- {
- if( inExceptionHandler )
- {
- asASSERT(false); // Shouldn't happen
- return; // but if it does, at least this will not crash the application
- }
- status = asEXECUTION_EXCEPTION;
- regs.doProcessSuspend = true;
- exceptionString = descr;
- exceptionFunction = currentFunction->id;
- exceptionLine = currentFunction->GetLineNumber(int(regs.programPointer - currentFunction->byteCode.AddressOf()));
- exceptionColumn = exceptionLine >> 20;
- exceptionLine &= 0xFFFFF;
- if( exceptionCallback )
- CallExceptionCallback();
- }
- void asCContext::CleanReturnObject()
- {
- if( regs.objectRegister == 0 ) return;
- asASSERT( regs.objectType != 0 );
- if( regs.objectType )
- {
- // Call the destructor on the object
- asSTypeBehaviour *beh = &((asCObjectType*)regs.objectType)->beh;
- if( beh->release )
- {
- engine->CallObjectMethod(regs.objectRegister, beh->release);
- regs.objectRegister = 0;
- // The release method is responsible for freeing the memory
- }
- else
- {
- if( beh->destruct )
- engine->CallObjectMethod(regs.objectRegister, beh->destruct);
- // Free the memory
- engine->CallFree(regs.objectRegister);
- regs.objectRegister = 0;
- }
- }
- }
- void asCContext::CleanStack()
- {
- inExceptionHandler = true;
- // Run the clean up code for each of the functions called
- CleanStackFrame();
- while( callStack.GetLength() > 0 )
- {
- PopCallState();
- CleanStackFrame();
- }
- inExceptionHandler = false;
- }
- // Interface
- bool asCContext::IsVarInScope(asUINT varIndex, asUINT stackLevel)
- {
- asASSERT( stackLevel < GetCallstackSize() );
- asCScriptFunction *func;
- asUINT pos;
- if( stackLevel == 0 )
- {
- func = currentFunction;
- pos = asUINT(regs.programPointer - func->byteCode.AddressOf());
- }
- else
- {
- size_t *s = callStack.AddressOf() + (GetCallstackSize()-stackLevel-1)*CALLSTACK_FRAME_SIZE;
- func = (asCScriptFunction*)s[1];
- pos = asUINT((asDWORD*)s[2] - func->byteCode.AddressOf());
- }
- // First determine if the program position is after the variable declaration
- if( func->variables.GetLength() <= varIndex ) return false;
- if( func->variables[varIndex]->declaredAtProgramPos > pos ) return false;
- asUINT declaredAt = func->variables[varIndex]->declaredAtProgramPos;
- // If the program position is after the variable declaration it is necessary
- // determine if the program position is still inside the statement block where
- // the variable was delcared.
- for( int n = 0; n < (int)func->objVariableInfo.GetLength(); n++ )
- {
- if( func->objVariableInfo[n].programPos >= declaredAt )
- {
- // If the current block ends between the declaredAt and current
- // program position, then we know the variable is no longer visible
- int level = 0;
- for( ; n < (int)func->objVariableInfo.GetLength(); n++ )
- {
- if( func->objVariableInfo[n].programPos > pos )
- break;
- if( func->objVariableInfo[n].option == asBLOCK_BEGIN ) level++;
- if( func->objVariableInfo[n].option == asBLOCK_END && --level < 0 )
- return false;
- }
- break;
- }
- }
- // Variable is visible
- return true;
- }
- // Internal
- void asCContext::DetermineLiveObjects(asCArray<int> &liveObjects, asUINT stackLevel)
- {
- asASSERT( stackLevel < GetCallstackSize() );
- asCScriptFunction *func;
- asUINT pos;
- if( stackLevel == 0 )
- {
- func = currentFunction;
- pos = asUINT(regs.programPointer - func->byteCode.AddressOf());
- }
- else
- {
- size_t *s = callStack.AddressOf() + (GetCallstackSize()-stackLevel-1)*CALLSTACK_FRAME_SIZE;
- func = (asCScriptFunction*)s[1];
- pos = asUINT((asDWORD*)s[2] - func->byteCode.AddressOf());
- }
- // Determine which object variables that are really live ones
- liveObjects.SetLength(func->objVariablePos.GetLength());
- memset(liveObjects.AddressOf(), 0, sizeof(int)*liveObjects.GetLength());
- for( int n = 0; n < (int)func->objVariableInfo.GetLength(); n++ )
- {
- if( func->objVariableInfo[n].programPos >= pos )
- {
- // We've determined how far the execution ran, now determine which variables are alive
- for( --n; n >= 0; n-- )
- {
- switch( func->objVariableInfo[n].option )
- {
- case asOBJ_UNINIT: // Object was destroyed
- {
- // TODO: optimize: This should have been done by the compiler already
- // Which variable is this?
- asUINT var = 0;
- for( asUINT v = 0; v < func->objVariablePos.GetLength(); v++ )
- if( func->objVariablePos[v] == func->objVariableInfo[n].variableOffset )
- {
- var = v;
- break;
- }
- liveObjects[var] -= 1;
- }
- break;
- case asOBJ_INIT: // Object was created
- {
- // Which variable is this?
- asUINT var = 0;
- for( asUINT v = 0; v < func->objVariablePos.GetLength(); v++ )
- if( func->objVariablePos[v] == func->objVariableInfo[n].variableOffset )
- {
- var = v;
- break;
- }
- liveObjects[var] += 1;
- }
- break;
- case asBLOCK_BEGIN: // Start block
- // We should ignore start blocks, since it just means the
- // program was within the block when the exception ocurred
- break;
- case asBLOCK_END: // End block
- // We need to skip the entire block, as the objects created
- // and destroyed inside this block are already out of scope
- {
- int nested = 1;
- while( nested > 0 )
- {
- int option = func->objVariableInfo[--n].option;
- if( option == 3 )
- nested++;
- if( option == 2 )
- nested--;
- }
- }
- break;
- }
- }
- // We're done with the investigation
- break;
- }
- }
- }
- void asCContext::CleanStackFrame()
- {
- // Clean object variables
- if( !isStackMemoryNotAllocated )
- {
- // Determine which object variables that are really live ones
- asCArray<int> liveObjects;
- DetermineLiveObjects(liveObjects, 0);
- for( asUINT n = 0; n < currentFunction->objVariablePos.GetLength(); n++ )
- {
- int pos = currentFunction->objVariablePos[n];
- if( currentFunction->objVariableIsOnHeap[n] )
- {
- // Check if the pointer is initialized
- if( *(size_t*)®s.stackFramePointer[-pos] )
- {
- // Call the object's destructor
- asSTypeBehaviour *beh = ¤tFunction->objVariableTypes[n]->beh;
- if( beh->release )
- {
- engine->CallObjectMethod((void*)*(size_t*)®s.stackFramePointer[-pos], beh->release);
- *(size_t*)®s.stackFramePointer[-pos] = 0;
- }
- else
- {
- if( beh->destruct )
- engine->CallObjectMethod((void*)*(size_t*)®s.stackFramePointer[-pos], beh->destruct);
- // Free the memory
- engine->CallFree((void*)*(size_t*)®s.stackFramePointer[-pos]);
- *(size_t*)®s.stackFramePointer[-pos] = 0;
- }
- }
- }
- else
- {
- asASSERT( currentFunction->objVariableTypes[n]->GetFlags() & asOBJ_VALUE );
- // Only destroy the object if it is truly alive
- if( liveObjects[n] > 0 )
- {
- asSTypeBehaviour *beh = ¤tFunction->objVariableTypes[n]->beh;
- if( beh->destruct )
- engine->CallObjectMethod((void*)(size_t*)®s.stackFramePointer[-pos], beh->destruct);
- }
- }
- }
- // If the object is a script declared object, then we must release it
- // as the compiler adds a reference at the entry of the function. Make sure
- // the function has actually been entered
- if( currentFunction->objectType && regs.programPointer != currentFunction->byteCode.AddressOf() )
- {
- asSTypeBehaviour *beh = ¤tFunction->objectType->beh;
- if( beh->release && *(size_t*)®s.stackFramePointer[0] != 0 )
- {
- engine->CallObjectMethod((void*)*(size_t*)®s.stackFramePointer[0], beh->release);
- *(size_t*)®s.stackFramePointer[0] = 0;
- }
- }
- }
- else
- isStackMemoryNotAllocated = false;
- // Functions that do not own the object and parameters shouldn't do any clean up
- if( currentFunction->dontCleanUpOnException )
- return;
- // Clean object and parameters
- int offset = 0;
- if( currentFunction->objectType )
- {
- offset += AS_PTR_SIZE;
- }
- for( asUINT n = 0; n < currentFunction->parameterTypes.GetLength(); n++ )
- {
- if( currentFunction->parameterTypes[n].IsObject() && !currentFunction->parameterTypes[n].IsReference() )
- {
- if( *(size_t*)®s.stackFramePointer[offset] )
- {
- // Call the object's destructor
- asSTypeBehaviour *beh = currentFunction->parameterTypes[n].GetBehaviour();
- if( beh->release )
- {
- engine->CallObjectMethod((void*)*(size_t*)®s.stackFramePointer[offset], beh->release);
- *(size_t*)®s.stackFramePointer[offset] = 0;
- }
- else
- {
- if( beh->destruct )
- engine->CallObjectMethod((void*)*(size_t*)®s.stackFramePointer[offset], beh->destruct);
- // Free the memory
- engine->CallFree((void*)*(size_t*)®s.stackFramePointer[offset]);
- *(size_t*)®s.stackFramePointer[offset] = 0;
- }
- }
- }
- offset += currentFunction->parameterTypes[n].GetSizeOnStackDWords();
- }
- }
- // interface
- int asCContext::GetExceptionLineNumber(int *column, const char **sectionName)
- {
- if( GetState() != asEXECUTION_EXCEPTION ) return asERROR;
- if( column ) *column = exceptionColumn;
- if( sectionName ) *sectionName = engine->scriptFunctions[exceptionFunction]->GetScriptSectionName();
- return exceptionLine;
- }
- // interface
- int asCContext::GetExceptionFunction()
- {
- if( GetState() != asEXECUTION_EXCEPTION ) return asERROR;
- return exceptionFunction;
- }
- // interface
- const char *asCContext::GetExceptionString()
- {
- if( GetState() != asEXECUTION_EXCEPTION ) return 0;
- return exceptionString.AddressOf();
- }
- // interface
- asEContextState asCContext::GetState() const
- {
- return status;
- }
- // interface
- int asCContext::SetLineCallback(asSFuncPtr callback, void *obj, int callConv)
- {
- lineCallback = true;
- regs.doProcessSuspend = true;
- lineCallbackObj = obj;
- bool isObj = false;
- if( (unsigned)callConv == asCALL_GENERIC )
- {
- lineCallback = false;
- regs.doProcessSuspend = doSuspend;
- return asNOT_SUPPORTED;
- }
- if( (unsigned)callConv >= asCALL_THISCALL )
- {
- isObj = true;
- if( obj == 0 )
- {
- lineCallback = false;
- regs.doProcessSuspend = doSuspend;
- return asINVALID_ARG;
- }
- }
- int r = DetectCallingConvention(isObj, callback, callConv, &lineCallbackFunc);
- if( r < 0 ) lineCallback = false;
- regs.doProcessSuspend = doSuspend || lineCallback;
- return r;
- }
- void asCContext::CallLineCallback()
- {
- if( lineCallbackFunc.callConv < ICC_THISCALL )
- engine->CallGlobalFunction(this, lineCallbackObj, &lineCallbackFunc, 0);
- else
- engine->CallObjectMethod(lineCallbackObj, this, &lineCallbackFunc, 0);
- }
- // interface
- int asCContext::SetExceptionCallback(asSFuncPtr callback, void *obj, int callConv)
- {
- exceptionCallback = true;
- exceptionCallbackObj = obj;
- bool isObj = false;
- if( (unsigned)callConv == asCALL_GENERIC )
- return asNOT_SUPPORTED;
- if( (unsigned)callConv >= asCALL_THISCALL )
- {
- isObj = true;
- if( obj == 0 )
- {
- exceptionCallback = false;
- return asINVALID_ARG;
- }
- }
- int r = DetectCallingConvention(isObj, callback, callConv, &exceptionCallbackFunc);
- if( r < 0 ) exceptionCallback = false;
- return r;
- }
- void asCContext::CallExceptionCallback()
- {
- if( exceptionCallbackFunc.callConv < ICC_THISCALL )
- engine->CallGlobalFunction(this, exceptionCallbackObj, &exceptionCallbackFunc, 0);
- else
- engine->CallObjectMethod(exceptionCallbackObj, this, &exceptionCallbackFunc, 0);
- }
- // interface
- void asCContext::ClearLineCallback()
- {
- lineCallback = false;
- regs.doProcessSuspend = doSuspend;
- }
- // interface
- void asCContext::ClearExceptionCallback()
- {
- exceptionCallback = false;
- }
- int asCContext::CallGeneric(int id, void *objectPointer)
- {
- asCScriptFunction *sysFunction = engine->scriptFunctions[id];
- asSSystemFunctionInterface *sysFunc = sysFunction->sysFuncIntf;
- void (*func)(asIScriptGeneric*) = (void (*)(asIScriptGeneric*))sysFunc->func;
- int popSize = sysFunc->paramSize;
- asDWORD *args = regs.stackPointer;
- // Verify the object pointer if it is a class method
- void *currentObject = 0;
- if( sysFunc->callConv == ICC_GENERIC_METHOD )
- {
- if( objectPointer )
- {
- currentObject = objectPointer;
- // Don't increase the reference of this pointer
- // since it will not have been constructed yet
- }
- else
- {
- // The object pointer should be popped from the context stack
- popSize += AS_PTR_SIZE;
- // Check for null pointer
- currentObject = (void*)*(size_t*)(args);
- if( currentObject == 0 )
- {
- SetInternalException(TXT_NULL_POINTER_ACCESS);
- return 0;
- }
- // Add the base offset for multiple inheritance
- currentObject = (void*)(size_t(currentObject) + sysFunc->baseOffset);
- // Skip object pointer
- args += AS_PTR_SIZE;
- }
- }
- asCGeneric gen(engine, sysFunction, currentObject, args);
- isCallingSystemFunction = true;
- func(&gen);
- isCallingSystemFunction = false;
- regs.valueRegister = gen.returnVal;
- regs.objectRegister = gen.objectRegister;
- regs.objectType = sysFunction->returnType.GetObjectType();
- // Clean up function parameters
- int offset = 0;
- for( asUINT n = 0; n < sysFunction->parameterTypes.GetLength(); n++ )
- {
- if( sysFunction->parameterTypes[n].IsObject() && !sysFunction->parameterTypes[n].IsReference() )
- {
- void *obj = *(void**)&args[offset];
- if( obj )
- {
- // Release the object
- asSTypeBehaviour *beh = &sysFunction->parameterTypes[n].GetObjectType()->beh;
- if( beh->release )
- engine->CallObjectMethod(obj, beh->release);
- else
- {
- // Call the destructor then free the memory
- if( beh->destruct )
- engine->CallObjectMethod(obj, beh->destruct);
- engine->CallFree(obj);
- }
- }
- }
- offset += sysFunction->parameterTypes[n].GetSizeOnStackDWords();
- }
- // Return how much should be popped from the stack
- return popSize;
- }
- // interface
- int asCContext::GetVarCount(asUINT stackLevel)
- {
- asIScriptFunction *func = GetFunction(stackLevel);
- if( func == 0 ) return asINVALID_ARG;
- return func->GetVarCount();
- }
- // interface
- const char *asCContext::GetVarName(asUINT varIndex, asUINT stackLevel)
- {
- asIScriptFunction *func = GetFunction(stackLevel);
- if( func == 0 ) return 0;
- const char *name = 0;
- int r = func->GetVar(varIndex, &name);
- return r >= 0 ? name : 0;
- }
- // interface
- const char *asCContext::GetVarDeclaration(asUINT varIndex, asUINT stackLevel)
- {
- asIScriptFunction *func = GetFunction(stackLevel);
- if( func == 0 ) return 0;
- return func->GetVarDecl(varIndex);
- }
- // interface
- int asCContext::GetVarTypeId(asUINT varIndex, asUINT stackLevel)
- {
- asIScriptFunction *func = GetFunction(stackLevel);
- if( func == 0 ) return asINVALID_ARG;
- int typeId;
- int r = func->GetVar(varIndex, 0, &typeId);
- return r < 0 ? r : typeId;
- }
- // interface
- void *asCContext::GetAddressOfVar(asUINT varIndex, asUINT stackLevel)
- {
- if( stackLevel >= GetCallstackSize() ) return 0;
- asCScriptFunction *func;
- asDWORD *sf;
- if( stackLevel == 0 )
- {
- func = currentFunction;
- sf = regs.stackFramePointer;
- }
- else
- {
- size_t *s = callStack.AddressOf() + (GetCallstackSize()-stackLevel-1)*CALLSTACK_FRAME_SIZE;
- func = (asCScriptFunction*)s[1];
- sf = (asDWORD*)s[0];
- }
- if( func == 0 )
- return 0;
- if( varIndex >= func->variables.GetLength() )
- return 0;
- // For object variables it's necessary to dereference the pointer to get the address of the value
- if( func->variables[varIndex]->type.IsObject() && !func->variables[varIndex]->type.IsObjectHandle() )
- {
- // Determine if the object is really on the heap
- bool onHeap = true;
- if( func->variables[varIndex]->type.GetObjectType()->GetFlags() & asOBJ_VALUE )
- {
- int pos = func->variables[varIndex]->stackOffset;
- for( asUINT n = 0; n < func->objVariablePos.GetLength(); n++ )
- {
- if( func->objVariablePos[n] == pos )
- {
- onHeap = func->objVariableIsOnHeap[n];
- if( !onHeap )
- {
- // If the object on the stack is not initialized return a null pointer instead
- asCArray<int> liveObjects;
- DetermineLiveObjects(liveObjects, stackLevel);
- if( liveObjects[n] <= 0 )
- return 0;
- }
- break;
- }
- }
- }
- if( onHeap )
- return *(void**)(sf - func->variables[varIndex]->stackOffset);
- }
- return sf - func->variables[varIndex]->stackOffset;
- }
- // interface
- // returns the typeId of the 'this' object at the given call stack level (-1 for current)
- // returns 0 if the function call at the given stack level is not a method
- int asCContext::GetThisTypeId(asUINT stackLevel)
- {
- asIScriptFunction *func = GetFunction(stackLevel);
- if( func == 0 ) return asINVALID_ARG;
- if( func->GetObjectType() == 0 )
- return 0; // not in a method
- // create a datatype
- asCDataType dt = asCDataType::CreateObject((asCObjectType*)func->GetObjectType(), false);
- // return a typeId from the data type
- return engine->GetTypeIdFromDataType(dt);
- }
- // interface
- // returns the 'this' object pointer at the given call stack level (-1 for current)
- // returns 0 if the function call at the given stack level is not a method
- void *asCContext::GetThisPointer(asUINT stackLevel)
- {
- if( stackLevel >= GetCallstackSize() )
- return 0;
- asCScriptFunction *func;
- asDWORD *sf;
- if( stackLevel == 0 )
- {
- func = currentFunction;
- sf = regs.stackFramePointer;
- }
- else
- {
- size_t *s = callStack.AddressOf() + (GetCallstackSize()-stackLevel-1)*CALLSTACK_FRAME_SIZE;
- func = (asCScriptFunction*)s[1];
- sf = (asDWORD*)s[0];
- }
- if( func == 0 )
- return 0;
- if( func->objectType == 0 )
- return 0; // not in a method
- void *thisPointer = (void*)*(size_t*)(sf);
- if( thisPointer == 0 )
- {
- return 0;
- }
- // NOTE: this returns the pointer to the 'this' while the GetVarPointer functions return
- // a pointer to a pointer. I can't imagine someone would want to change the 'this'
- return thisPointer;
- }
- END_AS_NAMESPACE
|