| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896289728982899290029012902290329042905290629072908290929102911291229132914291529162917291829192920292129222923292429252926292729282929293029312932293329342935293629372938293929402941294229432944294529462947294829492950295129522953295429552956295729582959296029612962296329642965296629672968296929702971297229732974297529762977297829792980298129822983298429852986298729882989299029912992299329942995299629972998299930003001300230033004300530063007300830093010301130123013301430153016301730183019302030213022302330243025302630273028302930303031303230333034303530363037303830393040304130423043304430453046304730483049305030513052305330543055305630573058305930603061306230633064306530663067306830693070307130723073307430753076307730783079308030813082308330843085308630873088308930903091309230933094309530963097309830993100310131023103310431053106310731083109311031113112311331143115311631173118311931203121312231233124312531263127312831293130313131323133313431353136313731383139314031413142314331443145314631473148314931503151315231533154315531563157315831593160316131623163316431653166316731683169317031713172317331743175317631773178317931803181318231833184318531863187318831893190319131923193319431953196319731983199320032013202320332043205320632073208320932103211321232133214321532163217321832193220322132223223322432253226322732283229323032313232323332343235323632373238323932403241324232433244324532463247324832493250325132523253325432553256325732583259326032613262326332643265326632673268326932703271327232733274327532763277327832793280328132823283328432853286328732883289329032913292329332943295329632973298329933003301330233033304330533063307330833093310331133123313331433153316331733183319332033213322332333243325332633273328332933303331333233333334333533363337333833393340334133423343334433453346334733483349335033513352335333543355335633573358335933603361336233633364336533663367336833693370337133723373337433753376337733783379338033813382338333843385338633873388338933903391339233933394339533963397339833993400340134023403340434053406340734083409341034113412341334143415341634173418341934203421342234233424342534263427342834293430343134323433343434353436343734383439344034413442344334443445344634473448344934503451345234533454345534563457345834593460346134623463346434653466346734683469347034713472347334743475347634773478347934803481348234833484348534863487348834893490349134923493349434953496349734983499350035013502350335043505350635073508350935103511351235133514351535163517351835193520352135223523352435253526352735283529353035313532353335343535353635373538353935403541354235433544354535463547354835493550355135523553355435553556355735583559356035613562356335643565356635673568356935703571357235733574357535763577357835793580358135823583358435853586358735883589359035913592359335943595359635973598359936003601360236033604360536063607360836093610361136123613361436153616361736183619362036213622362336243625362636273628362936303631363236333634363536363637363836393640364136423643364436453646364736483649365036513652365336543655365636573658365936603661366236633664366536663667366836693670367136723673367436753676367736783679368036813682368336843685368636873688368936903691369236933694369536963697369836993700370137023703370437053706370737083709371037113712371337143715371637173718371937203721372237233724372537263727372837293730373137323733373437353736373737383739374037413742374337443745374637473748374937503751375237533754375537563757375837593760376137623763376437653766376737683769377037713772377337743775377637773778377937803781378237833784378537863787378837893790379137923793379437953796379737983799380038013802380338043805380638073808380938103811381238133814381538163817381838193820382138223823382438253826382738283829383038313832383338343835383638373838383938403841384238433844384538463847384838493850385138523853385438553856385738583859386038613862386338643865386638673868386938703871387238733874387538763877387838793880388138823883388438853886388738883889389038913892389338943895389638973898389939003901390239033904390539063907390839093910391139123913391439153916391739183919392039213922392339243925392639273928392939303931393239333934393539363937393839393940394139423943394439453946394739483949395039513952395339543955395639573958395939603961396239633964396539663967396839693970397139723973397439753976397739783979398039813982398339843985398639873988398939903991399239933994399539963997399839994000400140024003400440054006400740084009401040114012401340144015401640174018401940204021402240234024402540264027402840294030403140324033403440354036403740384039404040414042404340444045404640474048404940504051405240534054405540564057405840594060406140624063406440654066406740684069407040714072407340744075407640774078407940804081408240834084408540864087408840894090409140924093409440954096409740984099410041014102410341044105410641074108410941104111411241134114411541164117411841194120412141224123412441254126412741284129413041314132413341344135413641374138413941404141414241434144414541464147414841494150415141524153415441554156415741584159416041614162416341644165416641674168416941704171417241734174417541764177417841794180418141824183418441854186418741884189419041914192419341944195419641974198419942004201420242034204420542064207420842094210421142124213421442154216421742184219422042214222422342244225422642274228 |
- /*
- 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;
- regs.ctx = this;
- }
- 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;
- }
- // interface
- void *asCContext::SetUserData(void *data)
- {
- void *oldData = userData;
- userData = data;
- return oldData;
- }
- // interface
- void *asCContext::GetUserData() const
- {
- return userData;
- }
- // interface
- int asCContext::Prepare(int funcId)
- {
- if( funcId == -1 )
- {
- if( initialFunction == 0 )
- return asNO_FUNCTION;
- funcId = initialFunction->GetId();
- }
- return Prepare(engine->GetFunctionById(funcId));
- }
- // interface
- int asCContext::Prepare(asIScriptFunction *func)
- {
- if( func == 0 )
- return asNO_FUNCTION;
- 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( initialFunction && initialFunction == func )
- {
- // If the same function is executed again, we can skip a lot of the setup
- currentFunction = initialFunction;
- }
- else
- {
- // Check engine pointer
- asASSERT( engine );
- if( initialFunction )
- initialFunction->Release();
- // We trust the application not to pass anything else but a asCScriptFunction
- initialFunction = reinterpret_cast<asCScriptFunction *>(func);
- initialFunction->AddRef();
- currentFunction = initialFunction;
- // TODO: optimize: GetSpaceNeededForArguments() should be precomputed
- argumentsSize = currentFunction->GetSpaceNeededForArguments() + (currentFunction->objectType ? AS_PTR_SIZE : 0);
- #ifndef AS_OLD
- // Reserve space for the arguments and return value
- if( currentFunction->DoesReturnOnStack() )
- {
- returnValueSize = currentFunction->returnType.GetSizeInMemoryDWords();
- argumentsSize += AS_PTR_SIZE;
- }
- else
- #endif
- returnValueSize = 0;
- // Determine the minimum stack size needed
- int stackSize = argumentsSize + returnValueSize + 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);
- }
- }
- // 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 - returnValueSize;
- regs.stackPointer = regs.stackFramePointer;
- // Set arguments to 0
- memset(regs.stackPointer, 0, 4*argumentsSize);
- #ifndef AS_OLD
- if( returnValueSize )
- {
- // Set the address of the location where the return value should be put
- asDWORD *ptr = regs.stackFramePointer;
- if( currentFunction->objectType )
- ptr += AS_PTR_SIZE;
- *(void**)ptr = (void*)(stackBlocks[0] + stackBlockSize - returnValueSize);
- }
- #endif
- 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() )
- {
- #ifndef AS_OLD
- if( initialFunction->DoesReturnOnStack() )
- return (void*)(stackBlocks[0] + stackBlockSize - returnValueSize);
- #endif
- 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
- {
- #ifndef AS_OLD
- if( initialFunction->DoesReturnOnStack() )
- return (void*)(stackBlocks[0] + stackBlockSize - returnValueSize);
- #endif
- 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() )
- {
- #ifndef AS_OLD
- if( initialFunction->DoesReturnOnStack() )
- return (void*)(stackBlocks[0] + stackBlockSize - returnValueSize);
- #endif
- 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;
- #ifndef AS_OLD
- // If function returns object by value an extra pointer is pushed on the stack
- if( returnValueSize )
- offset += AS_PTR_SIZE;
- #endif
- 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;
- #ifndef AS_OLD
- // If function returns object by value an extra pointer is pushed on the stack
- if( returnValueSize )
- offset += AS_PTR_SIZE;
- #endif
- 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;
- #ifndef AS_OLD
- // If function returns object by value an extra pointer is pushed on the stack
- if( returnValueSize )
- offset += AS_PTR_SIZE;
- #endif
- 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;
- #ifndef AS_OLD
- // If function returns object by value an extra pointer is pushed on the stack
- if( returnValueSize )
- offset += AS_PTR_SIZE;
- #endif
- 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;
- #ifndef AS_OLD
- // If function returns object by value an extra pointer is pushed on the stack
- if( returnValueSize )
- offset += AS_PTR_SIZE;
- #endif
- 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;
- #ifndef AS_OLD
- // If function returns object by value an extra pointer is pushed on the stack
- if( returnValueSize )
- offset += AS_PTR_SIZE;
- #endif
- 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;
- #ifndef AS_OLD
- // If function returns object by value an extra pointer is pushed on the stack
- if( returnValueSize )
- offset += AS_PTR_SIZE;
- #endif
- 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;
- #ifndef AS_OLD
- // If function returns object by value an extra pointer is pushed on the stack
- if( returnValueSize )
- offset += AS_PTR_SIZE;
- #endif
- 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;
- #ifndef AS_OLD
- // If function returns object by value an extra pointer is pushed on the stack
- if( returnValueSize )
- offset += AS_PTR_SIZE;
- #endif
- 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) - (func->DoesReturnOnStack() ? AS_PTR_SIZE : 0);
- }
- // Copy the function arguments to the new stack space
- int numDwords = func->GetSpaceNeededForArguments() + (func->objectType ? AS_PTR_SIZE : 0) + (func->DoesReturnOnStack() ? 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 )
- {
- asPWORD jitArg = asBC_PTRARG(l_bc);
- if( jitArg )
- {
- // Resume JIT operation
- regs.programPointer = l_bc;
- regs.stackPointer = l_sp;
- regs.stackFramePointer = l_fp;
- (currentFunction->jitFunction)(®s, jitArg);
-
- 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;
- }
- }
- // 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 &&
- instr != asBC_JitEntry )
- {
- 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()
- {
- #ifndef AS_OLD
- if( initialFunction && initialFunction->DoesReturnOnStack() && status == asEXECUTION_FINISHED )
- {
- // If function returns on stack we need to call the destructor on the returned object
- if( initialFunction->returnType.GetObjectType()->beh.destruct )
- engine->CallObjectMethod((void*)(stackBlocks[0] + stackBlockSize - returnValueSize), initialFunction->returnType.GetObjectType()->beh.destruct);
- return;
- }
- #endif
- 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());
- }
- if( status == asEXECUTION_EXCEPTION )
- {
- // Don't consider the last instruction as executed, as it failed with an exception
- // It's not actually necessary to decrease the exact size of the instruction. Just
- // before the current position is enough to disconsider it.
- pos--;
- }
- // 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++ )
- {
- // Find the first variable info with a larger position than the current
- // As the variable info are always placed on the instruction right after the
- // one that initialized or freed the object, the current position needs to be
- // considered as valid.
- 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;
- }
- }
- #ifndef AS_OLD
- if( sysFunction->DoesReturnOnStack() )
- {
- // Skip the address where the return value will be stored
- args += AS_PTR_SIZE;
- popSize += AS_PTR_SIZE;
- }
- #endif
- 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
|