ILIntepreter.Register.cs 323 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162216321642165216621672168216921702171217221732174217521762177217821792180218121822183218421852186218721882189219021912192219321942195219621972198219922002201220222032204220522062207220822092210221122122213221422152216221722182219222022212222222322242225222622272228222922302231223222332234223522362237223822392240224122422243224422452246224722482249225022512252225322542255225622572258225922602261226222632264226522662267226822692270227122722273227422752276227722782279228022812282228322842285228622872288228922902291229222932294229522962297229822992300230123022303230423052306230723082309231023112312231323142315231623172318231923202321232223232324232523262327232823292330233123322333233423352336233723382339234023412342234323442345234623472348234923502351235223532354235523562357235823592360236123622363236423652366236723682369237023712372237323742375237623772378237923802381238223832384238523862387238823892390239123922393239423952396239723982399240024012402240324042405240624072408240924102411241224132414241524162417241824192420242124222423242424252426242724282429243024312432243324342435243624372438243924402441244224432444244524462447244824492450245124522453245424552456245724582459246024612462246324642465246624672468246924702471247224732474247524762477247824792480248124822483248424852486248724882489249024912492249324942495249624972498249925002501250225032504250525062507250825092510251125122513251425152516251725182519252025212522252325242525252625272528252925302531253225332534253525362537253825392540254125422543254425452546254725482549255025512552255325542555255625572558255925602561256225632564256525662567256825692570257125722573257425752576257725782579258025812582258325842585258625872588258925902591259225932594259525962597259825992600260126022603260426052606260726082609261026112612261326142615261626172618261926202621262226232624262526262627262826292630263126322633263426352636263726382639264026412642264326442645264626472648264926502651265226532654265526562657265826592660266126622663266426652666266726682669267026712672267326742675267626772678267926802681268226832684268526862687268826892690269126922693269426952696269726982699270027012702270327042705270627072708270927102711271227132714271527162717271827192720272127222723272427252726272727282729273027312732273327342735273627372738273927402741274227432744274527462747274827492750275127522753275427552756275727582759276027612762276327642765276627672768276927702771277227732774277527762777277827792780278127822783278427852786278727882789279027912792279327942795279627972798279928002801280228032804280528062807280828092810281128122813281428152816281728182819282028212822282328242825282628272828282928302831283228332834283528362837283828392840284128422843284428452846284728482849285028512852285328542855285628572858285928602861286228632864286528662867286828692870287128722873287428752876287728782879288028812882288328842885288628872888288928902891289228932894289528962897289828992900290129022903290429052906290729082909291029112912291329142915291629172918291929202921292229232924292529262927292829292930293129322933293429352936293729382939294029412942294329442945294629472948294929502951295229532954295529562957295829592960296129622963296429652966296729682969297029712972297329742975297629772978297929802981298229832984298529862987298829892990299129922993299429952996299729982999300030013002300330043005300630073008300930103011301230133014301530163017301830193020302130223023302430253026302730283029303030313032303330343035303630373038303930403041304230433044304530463047304830493050305130523053305430553056305730583059306030613062306330643065306630673068306930703071307230733074307530763077307830793080308130823083308430853086308730883089309030913092309330943095309630973098309931003101310231033104310531063107310831093110311131123113311431153116311731183119312031213122312331243125312631273128312931303131313231333134313531363137313831393140314131423143314431453146314731483149315031513152315331543155315631573158315931603161316231633164316531663167316831693170317131723173317431753176317731783179318031813182318331843185318631873188318931903191319231933194319531963197319831993200320132023203320432053206320732083209321032113212321332143215321632173218321932203221322232233224322532263227322832293230323132323233323432353236323732383239324032413242324332443245324632473248324932503251325232533254325532563257325832593260326132623263326432653266326732683269327032713272327332743275327632773278327932803281328232833284328532863287328832893290329132923293329432953296329732983299330033013302330333043305330633073308330933103311331233133314331533163317331833193320332133223323332433253326332733283329333033313332333333343335333633373338333933403341334233433344334533463347334833493350335133523353335433553356335733583359336033613362336333643365336633673368336933703371337233733374337533763377337833793380338133823383338433853386338733883389339033913392339333943395339633973398339934003401340234033404340534063407340834093410341134123413341434153416341734183419342034213422342334243425342634273428342934303431343234333434343534363437343834393440344134423443344434453446344734483449345034513452345334543455345634573458345934603461346234633464346534663467346834693470347134723473347434753476347734783479348034813482348334843485348634873488348934903491349234933494349534963497349834993500350135023503350435053506350735083509351035113512351335143515351635173518351935203521352235233524352535263527352835293530353135323533353435353536353735383539354035413542354335443545354635473548354935503551355235533554355535563557355835593560356135623563356435653566356735683569357035713572357335743575357635773578357935803581358235833584358535863587358835893590359135923593359435953596359735983599360036013602360336043605360636073608360936103611361236133614361536163617361836193620362136223623362436253626362736283629363036313632363336343635363636373638363936403641364236433644364536463647364836493650365136523653365436553656365736583659366036613662366336643665366636673668366936703671367236733674367536763677367836793680368136823683368436853686368736883689369036913692369336943695369636973698369937003701370237033704370537063707370837093710371137123713371437153716371737183719372037213722372337243725372637273728372937303731373237333734373537363737373837393740374137423743374437453746374737483749375037513752375337543755375637573758375937603761376237633764376537663767376837693770377137723773377437753776377737783779378037813782378337843785378637873788378937903791379237933794379537963797379837993800380138023803380438053806380738083809381038113812381338143815381638173818381938203821382238233824382538263827382838293830383138323833383438353836383738383839384038413842384338443845384638473848384938503851385238533854385538563857385838593860386138623863386438653866386738683869387038713872387338743875387638773878387938803881388238833884388538863887388838893890389138923893389438953896389738983899390039013902390339043905390639073908390939103911391239133914391539163917391839193920392139223923392439253926392739283929393039313932393339343935393639373938393939403941394239433944394539463947394839493950395139523953395439553956395739583959396039613962396339643965396639673968396939703971397239733974397539763977397839793980398139823983398439853986398739883989399039913992399339943995399639973998399940004001400240034004400540064007400840094010401140124013401440154016401740184019402040214022402340244025402640274028402940304031403240334034403540364037403840394040404140424043404440454046404740484049405040514052405340544055405640574058405940604061406240634064406540664067406840694070407140724073407440754076407740784079408040814082408340844085408640874088408940904091409240934094409540964097409840994100410141024103410441054106410741084109411041114112411341144115411641174118411941204121412241234124412541264127412841294130413141324133413441354136413741384139414041414142414341444145414641474148414941504151415241534154415541564157415841594160416141624163416441654166416741684169417041714172417341744175417641774178417941804181418241834184418541864187418841894190419141924193419441954196419741984199420042014202420342044205420642074208420942104211421242134214421542164217421842194220422142224223422442254226422742284229423042314232423342344235423642374238423942404241424242434244424542464247424842494250425142524253425442554256425742584259426042614262426342644265426642674268426942704271427242734274427542764277427842794280428142824283428442854286428742884289429042914292429342944295429642974298429943004301430243034304430543064307430843094310431143124313431443154316431743184319432043214322432343244325432643274328432943304331433243334334433543364337433843394340434143424343434443454346434743484349435043514352435343544355435643574358435943604361436243634364436543664367436843694370437143724373437443754376437743784379438043814382438343844385438643874388438943904391439243934394439543964397439843994400440144024403440444054406440744084409441044114412441344144415441644174418441944204421442244234424442544264427442844294430443144324433443444354436443744384439444044414442444344444445444644474448444944504451445244534454445544564457445844594460446144624463446444654466446744684469447044714472447344744475447644774478447944804481448244834484448544864487448844894490449144924493449444954496449744984499450045014502450345044505450645074508450945104511451245134514451545164517451845194520452145224523452445254526452745284529453045314532453345344535453645374538453945404541454245434544454545464547454845494550455145524553455445554556455745584559456045614562456345644565456645674568456945704571457245734574457545764577457845794580458145824583458445854586458745884589459045914592459345944595459645974598459946004601460246034604460546064607460846094610461146124613461446154616461746184619462046214622462346244625462646274628462946304631463246334634463546364637463846394640464146424643464446454646464746484649465046514652465346544655465646574658465946604661466246634664466546664667466846694670467146724673467446754676467746784679468046814682468346844685468646874688468946904691469246934694469546964697469846994700470147024703470447054706470747084709471047114712471347144715471647174718471947204721472247234724472547264727472847294730473147324733473447354736473747384739474047414742474347444745474647474748474947504751475247534754475547564757475847594760476147624763476447654766476747684769477047714772477347744775477647774778477947804781478247834784478547864787478847894790479147924793479447954796479747984799480048014802480348044805480648074808480948104811481248134814481548164817481848194820482148224823482448254826482748284829483048314832483348344835483648374838483948404841484248434844484548464847484848494850485148524853485448554856485748584859486048614862486348644865486648674868486948704871487248734874487548764877487848794880488148824883488448854886488748884889489048914892489348944895489648974898489949004901490249034904490549064907490849094910491149124913491449154916491749184919492049214922492349244925492649274928492949304931493249334934493549364937493849394940494149424943494449454946494749484949495049514952495349544955495649574958495949604961496249634964496549664967496849694970497149724973497449754976497749784979498049814982498349844985498649874988498949904991499249934994499549964997499849995000500150025003500450055006500750085009501050115012501350145015501650175018501950205021502250235024502550265027502850295030503150325033503450355036503750385039504050415042504350445045504650475048504950505051505250535054505550565057505850595060506150625063506450655066506750685069507050715072507350745075507650775078507950805081508250835084508550865087508850895090509150925093509450955096509750985099510051015102510351045105510651075108510951105111511251135114511551165117511851195120512151225123512451255126512751285129513051315132513351345135513651375138513951405141514251435144514551465147514851495150515151525153515451555156515751585159516051615162516351645165516651675168516951705171517251735174517551765177517851795180518151825183518451855186518751885189519051915192519351945195519651975198519952005201520252035204520552065207520852095210521152125213521452155216521752185219522052215222522352245225522652275228522952305231523252335234523552365237523852395240524152425243524452455246524752485249525052515252525352545255525652575258525952605261526252635264526552665267526852695270527152725273527452755276527752785279528052815282528352845285528652875288528952905291529252935294529552965297529852995300530153025303530453055306530753085309531053115312531353145315531653175318531953205321532253235324532553265327532853295330533153325333533453355336533753385339534053415342534353445345534653475348534953505351535253535354535553565357535853595360536153625363536453655366536753685369537053715372537353745375537653775378537953805381538253835384538553865387538853895390539153925393539453955396539753985399540054015402540354045405540654075408540954105411541254135414541554165417541854195420542154225423542454255426542754285429543054315432543354345435543654375438543954405441544254435444544554465447544854495450545154525453545454555456545754585459546054615462546354645465546654675468546954705471547254735474547554765477547854795480548154825483548454855486548754885489
  1. using System;
  2. using System.Collections.Generic;
  3. using System.Linq;
  4. using System.Text;
  5. using ILRuntime.Mono.Cecil;
  6. using ILRuntime.CLR.TypeSystem;
  7. using ILRuntime.CLR.Method;
  8. using ILRuntime.Runtime.Stack;
  9. using ILRuntime.Runtime.Intepreter.OpCodes;
  10. using ILRuntime.Runtime.Enviorment;
  11. using ILRuntime.CLR.Utils;
  12. namespace ILRuntime.Runtime.Intepreter
  13. {
  14. unsafe struct RegisterFrameInfo
  15. {
  16. public ILIntepreter Intepreter;
  17. public int FrameManagedBase;
  18. public int LocalManagedBase;
  19. public StackObject* StackBase;
  20. public StackObject* RegisterStart;
  21. public StackObject* RegisterEnd;
  22. public IList<object> ManagedStack;
  23. }
  24. public unsafe partial class ILIntepreter
  25. {
  26. /*void InitializeRegisterLocal(StackObject* loc, IType t, IList<object> mStack)
  27. {
  28. bool isEnum = false;
  29. isEnum = t.IsEnum;
  30. if (!t.IsByRef && t.IsValueType && !t.IsPrimitive && !isEnum)
  31. {
  32. if (t is ILType)
  33. {
  34. stack.AllocValueType(loc, t);
  35. }
  36. else
  37. {
  38. CLRType cT = (CLRType)t;
  39. if (cT.ValueTypeBinder != null)
  40. {
  41. stack.AllocValueType(loc, t);
  42. }
  43. else
  44. {
  45. var obj = ((CLRType)t).CreateDefaultInstance();
  46. loc->ObjectType = ObjectTypes.Object;
  47. loc->Value = locBase + i;
  48. mStack[locBase + i] = obj;
  49. }
  50. }
  51. }
  52. else
  53. {
  54. if (t.IsPrimitive || isEnum)
  55. {
  56. StackObject.Initialized(loc, t);
  57. }
  58. else
  59. {
  60. loc->ObjectType = ObjectTypes.Object;
  61. loc->Value = locBase + i;
  62. }
  63. }
  64. }*/
  65. internal StackObject* ExecuteR(ILMethod method, StackObject* esp, out bool unhandledException)
  66. {
  67. #if DEBUG
  68. if (method == null)
  69. throw new NullReferenceException();
  70. #endif
  71. #if DEBUG && !NO_PROFILER
  72. if (System.Threading.Thread.CurrentThread.ManagedThreadId == AppDomain.UnityMainThreadID)
  73. #if UNITY_5_5_OR_NEWER
  74. UnityEngine.Profiling.Profiler.BeginSample(method.ToString());
  75. #else
  76. UnityEngine.Profiler.BeginSample(method.ToString());
  77. #endif
  78. #endif
  79. OpCodeR[] body = method.BodyRegister;
  80. StackFrame frame;
  81. stack.InitializeFrame(method, esp, out frame);
  82. frame.IsRegister = true;
  83. int finallyEndAddress = 0;
  84. Exception lastCaughtEx = null;
  85. var stackRegStart = frame.LocalVarPointer;
  86. StackObject* r = frame.LocalVarPointer - method.ParameterCount;
  87. IList<object> mStack = stack.ManagedStack;
  88. int paramCnt = method.ParameterCount;
  89. if (method.HasThis)//this parameter is always object reference
  90. {
  91. r--;
  92. paramCnt++;
  93. /// 为确保性能,暂时先确保开发的时候,安全检查完备。
  94. /// 当然手机端运行时可能会出现为空的类对象可正常调用成员函数,导致成员函数里面访问成员变量报错时可能使得根据Log跟踪BUG时方向错误。
  95. #if DEBUG && !DISABLE_ILRUNTIME_DEBUG
  96. if (!method.DeclearingType.IsValueType)
  97. {
  98. var thisObj = RetriveObject(r, mStack);
  99. if (thisObj == null)
  100. throw new NullReferenceException();
  101. }
  102. #endif
  103. }
  104. unhandledException = false;
  105. var hasReturn = method.ReturnType != AppDomain.VoidType;
  106. //Managed Stack reserved for arguments(In case of starg)
  107. for (int i = 0; i < paramCnt; i++)
  108. {
  109. var a = (r + i);
  110. switch (a->ObjectType)
  111. {
  112. /*case ObjectTypes.Null:
  113. //Need to reserve place for null, in case of starg
  114. a->ObjectType = ObjectTypes.Object;
  115. a->Value = mStack.Count;
  116. mStack.Add(null);
  117. break;*/
  118. case ObjectTypes.ValueTypeObjectReference:
  119. //CloneStackValueType(a, a, mStack);
  120. break;
  121. case ObjectTypes.Object:
  122. case ObjectTypes.FieldReference:
  123. case ObjectTypes.ArrayReference:
  124. {
  125. if (i > 0 || !method.HasThis)//this instance should not be cloned
  126. mStack[a->Value] = CheckAndCloneValueType(mStack[a->Value], AppDomain);
  127. }
  128. break;
  129. }
  130. }
  131. frame.ManagedStackBase -= paramCnt;
  132. stack.PushFrame(ref frame);
  133. int locBase = mStack.Count;
  134. int locCnt = method.LocalVariableCount;
  135. int stackRegCnt = method.StackRegisterCount;
  136. RegisterFrameInfo info;
  137. info.Intepreter = this;
  138. info.StackBase = stack.StackBase;
  139. info.LocalManagedBase = locBase;
  140. info.FrameManagedBase = frame.ManagedStackBase;
  141. info.RegisterStart = r;
  142. info.ManagedStack = mStack;
  143. object obj;
  144. /*for (int i = 0; i < locCnt; i++)
  145. {
  146. InitializeRegisterLocal(method, i, v1, locBase, mStack);
  147. }*/
  148. esp = stackRegStart + stackRegCnt + locCnt;
  149. info.RegisterEnd = esp;
  150. for (int i = 0; i < stackRegCnt + locCnt; i++)
  151. {
  152. var loc = stackRegStart + i;
  153. loc->ObjectType = ObjectTypes.Object;
  154. loc->Value = mStack.Count;
  155. mStack.Add(null);
  156. }
  157. var bp = stack.ValueTypeStackPointer;
  158. ValueTypeBasePointer = bp;
  159. var ehs = method.ExceptionHandlerRegister;
  160. StackObject* reg1, reg2, reg3, objRef, objRef2, val, dst, ret;
  161. bool transfer;
  162. int intVal = 0;
  163. long longVal = 0;
  164. float floatVal = 0;
  165. double doubleVal = 0;
  166. IType type;
  167. Type clrType;
  168. fixed (OpCodeR* ptr = body)
  169. {
  170. OpCodeR* ip = ptr;
  171. OpCodeREnum code = ip->Code;
  172. bool returned = false;
  173. while (!returned)
  174. {
  175. try
  176. {
  177. #if DEBUG && !DISABLE_ILRUNTIME_DEBUG
  178. if (ShouldBreak)
  179. Break();
  180. var insOffset = (int)(ip - ptr);
  181. frame.Address.Value = insOffset;
  182. AppDomain.DebugService.CheckShouldBreak(method, this, insOffset);
  183. #endif
  184. code = ip->Code;
  185. switch (code)
  186. {
  187. #region Arguments and Local Variable
  188. /*case OpCodeREnum.Ldarg:
  189. case OpCodeREnum.Ldarg_S:
  190. {
  191. reg1 = (r + ip->Register2);
  192. CopyToRegister(ref info, ip->Register1, reg1);
  193. }
  194. break;*/
  195. case OpCodeREnum.Ldarga:
  196. case OpCodeREnum.Ldarga_S:
  197. reg1 = (r + ip->Register2);
  198. reg2 = (r + ip->Register1);
  199. reg2->ObjectType = ObjectTypes.StackObjectReference;
  200. *(long*)&reg2->Value = (long)reg1;
  201. break;
  202. #endregion
  203. #region Load Constants
  204. case OpCodeREnum.Ldc_I4_M1:
  205. {
  206. reg1 = (r + ip->Register1);
  207. reg1->ObjectType = ObjectTypes.Integer;
  208. reg1->Value = -1;
  209. }
  210. break;
  211. case OpCodeREnum.Ldc_I4_0:
  212. {
  213. reg1 = (r + ip->Register1);
  214. reg1->ObjectType = ObjectTypes.Integer;
  215. reg1->Value = 0;
  216. }
  217. break;
  218. case OpCodeREnum.Ldc_I4_1:
  219. {
  220. reg1 = (r + ip->Register1);
  221. reg1->ObjectType = ObjectTypes.Integer;
  222. reg1->Value = 1;
  223. }
  224. break;
  225. case OpCodeREnum.Ldc_I4_2:
  226. {
  227. reg1 = (r + ip->Register1);
  228. reg1->ObjectType = ObjectTypes.Integer;
  229. reg1->Value = 2;
  230. }
  231. break;
  232. case OpCodeREnum.Ldc_I4_3:
  233. {
  234. reg1 = (r + ip->Register1);
  235. reg1->ObjectType = ObjectTypes.Integer;
  236. reg1->Value = 3;
  237. }
  238. break;
  239. case OpCodeREnum.Ldc_I4_4:
  240. {
  241. reg1 = (r + ip->Register1);
  242. reg1->ObjectType = ObjectTypes.Integer;
  243. reg1->Value = 4;
  244. }
  245. break;
  246. case OpCodeREnum.Ldc_I4_5:
  247. {
  248. reg1 = (r + ip->Register1);
  249. reg1->ObjectType = ObjectTypes.Integer;
  250. reg1->Value = 5;
  251. }
  252. break;
  253. case OpCodeREnum.Ldc_I4_6:
  254. {
  255. reg1 = (r + ip->Register1);
  256. reg1->ObjectType = ObjectTypes.Integer;
  257. reg1->Value = 6;
  258. }
  259. break;
  260. case OpCodeREnum.Ldc_I4_7:
  261. {
  262. reg1 = (r + ip->Register1);
  263. reg1->ObjectType = ObjectTypes.Integer;
  264. reg1->Value = 7;
  265. }
  266. break;
  267. case OpCodeREnum.Ldc_I4_8:
  268. {
  269. reg1 = (r + ip->Register1);
  270. reg1->ObjectType = ObjectTypes.Integer;
  271. reg1->Value = 8;
  272. }
  273. break;
  274. case OpCodeREnum.Ldc_I4:
  275. case OpCodeREnum.Ldc_I4_S:
  276. reg1 = (r + ip->Register1);
  277. reg1->ObjectType = ObjectTypes.Integer;
  278. reg1->Value = ip->Operand;
  279. break;
  280. case OpCodeREnum.Ldc_R4:
  281. {
  282. reg1 = (r + ip->Register1);
  283. *(float*)(&reg1->Value) = ip->OperandFloat;
  284. reg1->ObjectType = ObjectTypes.Float;
  285. }
  286. break;
  287. case OpCodeREnum.Ldc_I8:
  288. {
  289. reg1 = (r + ip->Register1);
  290. *(long*)(&reg1->Value) = ip->OperandLong;
  291. reg1->ObjectType = ObjectTypes.Long;
  292. }
  293. break;
  294. case OpCodeREnum.Ldc_R8:
  295. {
  296. reg1 = (r + ip->Register1);
  297. *(double*)(&reg1->Value) = ip->OperandDouble;
  298. reg1->ObjectType = ObjectTypes.Double;
  299. }
  300. break;
  301. case OpCodeREnum.Ldstr:
  302. AssignToRegister(ref info, ip->Register1, AppDomain.GetString(ip->OperandLong));
  303. break;
  304. case OpCodeREnum.Ldnull:
  305. //reg1 = (r + ip->Register1);
  306. AssignToRegister(ref info, ip->Register1, null, true);
  307. //WriteNull(reg1);
  308. break;
  309. #endregion
  310. #region Althemetics
  311. case OpCodeREnum.Add:
  312. {
  313. reg1 = (r + ip->Register2);
  314. reg2 = (r + ip->Register3);
  315. reg3 = (r + ip->Register1);
  316. switch (reg1->ObjectType)
  317. {
  318. case ObjectTypes.Long:
  319. reg3->ObjectType = ObjectTypes.Long;
  320. *((long*)&reg3->Value) = *((long*)&reg1->Value) + *((long*)&reg2->Value);
  321. break;
  322. case ObjectTypes.Integer:
  323. reg3->ObjectType = ObjectTypes.Integer;
  324. reg3->Value = reg1->Value + reg2->Value;
  325. break;
  326. case ObjectTypes.Float:
  327. reg3->ObjectType = ObjectTypes.Float;
  328. *((float*)&reg3->Value) = *((float*)&reg1->Value) + *((float*)&reg2->Value);
  329. break;
  330. case ObjectTypes.Double:
  331. reg3->ObjectType = ObjectTypes.Double;
  332. *((double*)&reg3->Value) = *((double*)&reg1->Value) + *((double*)&reg2->Value);
  333. break;
  334. default:
  335. throw new NotImplementedException();
  336. }
  337. }
  338. break;
  339. case OpCodeREnum.Addi:
  340. {
  341. reg1 = (r + ip->Register2);
  342. reg3 = (r + ip->Register1);
  343. switch (reg1->ObjectType)
  344. {
  345. case ObjectTypes.Long:
  346. reg3->ObjectType = ObjectTypes.Long;
  347. *((long*)&reg3->Value) = *((long*)&reg1->Value) + ip->OperandLong;
  348. break;
  349. case ObjectTypes.Integer:
  350. reg3->ObjectType = ObjectTypes.Integer;
  351. reg3->Value = reg1->Value + ip->Operand;
  352. break;
  353. case ObjectTypes.Float:
  354. reg3->ObjectType = ObjectTypes.Float;
  355. *((float*)&reg3->Value) = *((float*)&reg1->Value) + ip->OperandFloat;
  356. break;
  357. case ObjectTypes.Double:
  358. reg3->ObjectType = ObjectTypes.Double;
  359. *((double*)&reg3->Value) = *((double*)&reg1->Value) + ip->OperandDouble;
  360. break;
  361. default:
  362. throw new NotImplementedException();
  363. }
  364. }
  365. break;
  366. case OpCodeREnum.Sub:
  367. {
  368. reg1 = (r + ip->Register2);
  369. reg2 = (r + ip->Register3);
  370. reg3 = (r + ip->Register1);
  371. switch (reg1->ObjectType)
  372. {
  373. case ObjectTypes.Long:
  374. reg3->ObjectType = ObjectTypes.Long;
  375. *((long*)&reg3->Value) = *((long*)&reg1->Value) - *((long*)&reg2->Value);
  376. break;
  377. case ObjectTypes.Integer:
  378. reg3->ObjectType = ObjectTypes.Integer;
  379. reg3->Value = reg1->Value - reg2->Value;
  380. break;
  381. case ObjectTypes.Float:
  382. reg3->ObjectType = ObjectTypes.Float;
  383. *((float*)&reg3->Value) = *((float*)&reg1->Value) - *((float*)&reg2->Value);
  384. break;
  385. case ObjectTypes.Double:
  386. reg3->ObjectType = ObjectTypes.Double;
  387. *((double*)&reg3->Value) = *((double*)&reg1->Value) - *((double*)&reg2->Value);
  388. break;
  389. default:
  390. throw new NotImplementedException();
  391. }
  392. }
  393. break;
  394. case OpCodeREnum.Subi:
  395. {
  396. reg1 = (r + ip->Register2);
  397. reg3 = (r + ip->Register1);
  398. switch (reg1->ObjectType)
  399. {
  400. case ObjectTypes.Long:
  401. reg3->ObjectType = ObjectTypes.Long;
  402. *((long*)&reg3->Value) = *((long*)&reg1->Value) - ip->OperandLong;
  403. break;
  404. case ObjectTypes.Integer:
  405. reg3->ObjectType = ObjectTypes.Integer;
  406. reg3->Value = reg1->Value - ip->Operand;
  407. break;
  408. case ObjectTypes.Float:
  409. reg3->ObjectType = ObjectTypes.Float;
  410. *((float*)&reg3->Value) = *((float*)&reg1->Value) - ip->OperandFloat;
  411. break;
  412. case ObjectTypes.Double:
  413. reg3->ObjectType = ObjectTypes.Double;
  414. *((double*)&reg3->Value) = *((double*)&reg1->Value) - ip->OperandDouble;
  415. break;
  416. default:
  417. throw new NotImplementedException();
  418. }
  419. }
  420. break;
  421. case OpCodeREnum.Mul:
  422. {
  423. reg1 = (r + ip->Register2);
  424. reg2 = (r + ip->Register3);
  425. reg3 = (r + ip->Register1);
  426. switch (reg1->ObjectType)
  427. {
  428. case ObjectTypes.Long:
  429. reg3->ObjectType = ObjectTypes.Long;
  430. *((long*)&reg3->Value) = *((long*)&reg1->Value) * *((long*)&reg2->Value);
  431. break;
  432. case ObjectTypes.Integer:
  433. reg3->ObjectType = ObjectTypes.Integer;
  434. reg3->Value = reg1->Value * reg2->Value;
  435. break;
  436. case ObjectTypes.Float:
  437. reg3->ObjectType = ObjectTypes.Float;
  438. *((float*)&reg3->Value) = *((float*)&reg1->Value) * *((float*)&reg2->Value);
  439. break;
  440. case ObjectTypes.Double:
  441. reg3->ObjectType = ObjectTypes.Double;
  442. *((double*)&reg3->Value) = *((double*)&reg1->Value) * *((double*)&reg2->Value);
  443. break;
  444. default:
  445. throw new NotImplementedException();
  446. }
  447. }
  448. break;
  449. case OpCodeREnum.Muli:
  450. {
  451. reg1 = (r + ip->Register2);
  452. reg3 = (r + ip->Register1);
  453. switch (reg1->ObjectType)
  454. {
  455. case ObjectTypes.Long:
  456. reg3->ObjectType = ObjectTypes.Long;
  457. *((long*)&reg3->Value) = *((long*)&reg1->Value) * ip->OperandLong;
  458. break;
  459. case ObjectTypes.Integer:
  460. reg3->ObjectType = ObjectTypes.Integer;
  461. reg3->Value = reg1->Value * ip->Operand;
  462. break;
  463. case ObjectTypes.Float:
  464. reg3->ObjectType = ObjectTypes.Float;
  465. *((float*)&reg3->Value) = *((float*)&reg1->Value) * ip->OperandFloat;
  466. break;
  467. case ObjectTypes.Double:
  468. reg3->ObjectType = ObjectTypes.Double;
  469. *((double*)&reg3->Value) = *((double*)&reg1->Value) * ip->OperandDouble;
  470. break;
  471. default:
  472. throw new NotImplementedException();
  473. }
  474. }
  475. break;
  476. case OpCodeREnum.Div:
  477. {
  478. reg1 = (r + ip->Register2);
  479. reg2 = (r + ip->Register3);
  480. reg3 = (r + ip->Register1);
  481. switch (reg1->ObjectType)
  482. {
  483. case ObjectTypes.Long:
  484. reg3->ObjectType = ObjectTypes.Long;
  485. *((long*)&reg3->Value) = *((long*)&reg1->Value) / *((long*)&reg2->Value);
  486. break;
  487. case ObjectTypes.Integer:
  488. reg3->ObjectType = ObjectTypes.Integer;
  489. reg3->Value = reg1->Value / reg2->Value;
  490. break;
  491. case ObjectTypes.Float:
  492. reg3->ObjectType = ObjectTypes.Float;
  493. *((float*)&reg3->Value) = *((float*)&reg1->Value) / *((float*)&reg2->Value);
  494. break;
  495. case ObjectTypes.Double:
  496. reg3->ObjectType = ObjectTypes.Double;
  497. *((double*)&reg3->Value) = *((double*)&reg1->Value) / *((double*)&reg2->Value);
  498. break;
  499. default:
  500. throw new NotImplementedException();
  501. }
  502. }
  503. break;
  504. case OpCodeREnum.Divi:
  505. {
  506. reg1 = (r + ip->Register2);
  507. reg3 = (r + ip->Register1);
  508. switch (reg1->ObjectType)
  509. {
  510. case ObjectTypes.Long:
  511. reg3->ObjectType = ObjectTypes.Long;
  512. *((long*)&reg3->Value) = *((long*)&reg1->Value) / ip->OperandLong;
  513. break;
  514. case ObjectTypes.Integer:
  515. reg3->ObjectType = ObjectTypes.Integer;
  516. reg3->Value = reg1->Value / ip->Operand;
  517. break;
  518. case ObjectTypes.Float:
  519. reg3->ObjectType = ObjectTypes.Float;
  520. *((float*)&reg3->Value) = *((float*)&reg1->Value) / ip->OperandFloat;
  521. break;
  522. case ObjectTypes.Double:
  523. reg3->ObjectType = ObjectTypes.Double;
  524. *((double*)&reg3->Value) = *((double*)&reg1->Value) / ip->OperandDouble;
  525. break;
  526. default:
  527. throw new NotImplementedException();
  528. }
  529. }
  530. break;
  531. case OpCodeREnum.Div_Un:
  532. {
  533. reg1 = (r + ip->Register2);
  534. reg2 = (r + ip->Register3);
  535. reg3 = (r + ip->Register1);
  536. switch (reg1->ObjectType)
  537. {
  538. case ObjectTypes.Long:
  539. reg3->ObjectType = ObjectTypes.Long;
  540. *((ulong*)&reg3->Value) = *((ulong*)&reg1->Value) / *((ulong*)&reg2->Value);
  541. break;
  542. case ObjectTypes.Integer:
  543. reg3->ObjectType = ObjectTypes.Integer;
  544. reg3->Value = (int)((uint)reg1->Value / (uint)reg2->Value);
  545. break;
  546. default:
  547. throw new NotImplementedException();
  548. }
  549. }
  550. break;
  551. case OpCodeREnum.Divi_Un:
  552. {
  553. reg1 = (r + ip->Register2);
  554. reg3 = (r + ip->Register1);
  555. switch (reg1->ObjectType)
  556. {
  557. case ObjectTypes.Long:
  558. reg3->ObjectType = ObjectTypes.Long;
  559. *((ulong*)&reg3->Value) = *((ulong*)&reg1->Value) / (ulong)ip->OperandLong;
  560. break;
  561. case ObjectTypes.Integer:
  562. reg3->ObjectType = ObjectTypes.Integer;
  563. reg3->Value = (int)((uint)reg1->Value / (uint)ip->Operand);
  564. break;
  565. default:
  566. throw new NotImplementedException();
  567. }
  568. }
  569. break;
  570. case OpCodeREnum.Rem:
  571. {
  572. reg1 = (r + ip->Register2);
  573. reg2 = (r + ip->Register3);
  574. reg3 = (r + ip->Register1);
  575. switch (reg1->ObjectType)
  576. {
  577. case ObjectTypes.Long:
  578. reg3->ObjectType = ObjectTypes.Long;
  579. *((long*)&reg3->Value) = *((long*)&reg1->Value) % *((long*)&reg2->Value);
  580. break;
  581. case ObjectTypes.Integer:
  582. reg3->ObjectType = ObjectTypes.Integer;
  583. reg3->Value = reg1->Value % reg2->Value;
  584. break;
  585. case ObjectTypes.Float:
  586. reg3->ObjectType = ObjectTypes.Float;
  587. *((float*)&reg3->Value) = *((float*)&reg1->Value) % *((float*)&reg2->Value);
  588. break;
  589. case ObjectTypes.Double:
  590. reg3->ObjectType = ObjectTypes.Double;
  591. *((double*)&reg3->Value) = *((double*)&reg1->Value) % *((double*)&reg2->Value);
  592. break;
  593. default:
  594. throw new NotImplementedException();
  595. }
  596. }
  597. break;
  598. case OpCodeREnum.Remi:
  599. {
  600. reg1 = (r + ip->Register2);
  601. reg3 = (r + ip->Register1);
  602. switch (reg1->ObjectType)
  603. {
  604. case ObjectTypes.Long:
  605. reg3->ObjectType = ObjectTypes.Long;
  606. *((long*)&reg3->Value) = *((long*)&reg1->Value) % ip->OperandLong;
  607. break;
  608. case ObjectTypes.Integer:
  609. reg3->ObjectType = ObjectTypes.Integer;
  610. reg3->Value = reg1->Value % ip->Operand;
  611. break;
  612. case ObjectTypes.Float:
  613. reg3->ObjectType = ObjectTypes.Float;
  614. *((float*)&reg3->Value) = *((float*)&reg1->Value) % ip->OperandFloat;
  615. break;
  616. case ObjectTypes.Double:
  617. reg3->ObjectType = ObjectTypes.Double;
  618. *((double*)&reg3->Value) = *((double*)&reg1->Value) % ip->OperandDouble;
  619. break;
  620. default:
  621. throw new NotImplementedException();
  622. }
  623. }
  624. break;
  625. case OpCodeREnum.Rem_Un:
  626. {
  627. reg1 = (r + ip->Register2);
  628. reg2 = (r + ip->Register3);
  629. reg3 = (r + ip->Register1);
  630. switch (reg1->ObjectType)
  631. {
  632. case ObjectTypes.Long:
  633. reg3->ObjectType = ObjectTypes.Long;
  634. *((ulong*)&reg3->Value) = *((ulong*)&reg1->Value) % *((ulong*)&reg2->Value);
  635. break;
  636. case ObjectTypes.Integer:
  637. reg3->ObjectType = ObjectTypes.Integer;
  638. reg3->Value = (int)((uint)reg1->Value % (uint)reg2->Value);
  639. break;
  640. default:
  641. throw new NotImplementedException();
  642. }
  643. }
  644. break;
  645. case OpCodeREnum.Remi_Un:
  646. {
  647. reg1 = (r + ip->Register2);
  648. reg3 = (r + ip->Register1);
  649. switch (reg1->ObjectType)
  650. {
  651. case ObjectTypes.Long:
  652. reg3->ObjectType = ObjectTypes.Long;
  653. *((ulong*)&reg3->Value) = *((ulong*)&reg1->Value) % (ulong)ip->OperandLong;
  654. break;
  655. case ObjectTypes.Integer:
  656. reg3->ObjectType = ObjectTypes.Integer;
  657. reg3->Value = (int)((uint)reg1->Value % (uint)ip->Operand);
  658. break;
  659. default:
  660. throw new NotImplementedException();
  661. }
  662. }
  663. break;
  664. case OpCodeREnum.Xor:
  665. {
  666. reg1 = (r + ip->Register2);
  667. reg2 = (r + ip->Register3);
  668. reg3 = (r + ip->Register1);
  669. switch (reg1->ObjectType)
  670. {
  671. case ObjectTypes.Long:
  672. reg3->ObjectType = ObjectTypes.Long;
  673. *((long*)&reg3->Value) = *((long*)&reg1->Value) ^ *((long*)&reg2->Value);
  674. break;
  675. case ObjectTypes.Integer:
  676. reg3->ObjectType = ObjectTypes.Integer;
  677. reg3->Value = reg1->Value ^ reg2->Value;
  678. break;
  679. default:
  680. throw new NotImplementedException();
  681. }
  682. }
  683. break;
  684. case OpCodeREnum.Xori:
  685. {
  686. reg1 = (r + ip->Register2);
  687. reg3 = (r + ip->Register1);
  688. switch (reg1->ObjectType)
  689. {
  690. case ObjectTypes.Long:
  691. reg3->ObjectType = ObjectTypes.Long;
  692. *((long*)&reg3->Value) = *((long*)&reg1->Value) ^ ip->OperandLong;
  693. break;
  694. case ObjectTypes.Integer:
  695. reg3->ObjectType = ObjectTypes.Integer;
  696. reg3->Value = reg1->Value ^ ip->Operand;
  697. break;
  698. default:
  699. throw new NotImplementedException();
  700. }
  701. }
  702. break;
  703. case OpCodeREnum.And:
  704. {
  705. reg1 = (r + ip->Register2);
  706. reg2 = (r + ip->Register3);
  707. reg3 = (r + ip->Register1);
  708. switch (reg1->ObjectType)
  709. {
  710. case ObjectTypes.Long:
  711. reg3->ObjectType = ObjectTypes.Long;
  712. *((long*)&reg3->Value) = *((long*)&reg1->Value) & *((long*)&reg2->Value);
  713. break;
  714. case ObjectTypes.Integer:
  715. reg3->ObjectType = ObjectTypes.Integer;
  716. reg3->Value = reg1->Value & reg2->Value;
  717. break;
  718. default:
  719. throw new NotImplementedException();
  720. }
  721. }
  722. break;
  723. case OpCodeREnum.Andi:
  724. {
  725. reg1 = (r + ip->Register2);
  726. reg3 = (r + ip->Register1);
  727. switch (reg1->ObjectType)
  728. {
  729. case ObjectTypes.Long:
  730. reg3->ObjectType = ObjectTypes.Long;
  731. *((long*)&reg3->Value) = *((long*)&reg1->Value) & ip->OperandLong;
  732. break;
  733. case ObjectTypes.Integer:
  734. reg3->ObjectType = ObjectTypes.Integer;
  735. reg3->Value = reg1->Value & ip->Operand;
  736. break;
  737. default:
  738. throw new NotImplementedException();
  739. }
  740. }
  741. break;
  742. case OpCodeREnum.Or:
  743. {
  744. reg1 = (r + ip->Register2);
  745. reg2 = (r + ip->Register3);
  746. reg3 = (r + ip->Register1);
  747. switch (reg1->ObjectType)
  748. {
  749. case ObjectTypes.Long:
  750. reg3->ObjectType = ObjectTypes.Long;
  751. *((long*)&reg3->Value) = *((long*)&reg1->Value) | *((long*)&reg2->Value);
  752. break;
  753. case ObjectTypes.Integer:
  754. reg3->ObjectType = ObjectTypes.Integer;
  755. reg3->Value = reg1->Value | reg2->Value;
  756. break;
  757. default:
  758. throw new NotImplementedException();
  759. }
  760. }
  761. break;
  762. case OpCodeREnum.Ori:
  763. {
  764. reg1 = (r + ip->Register2);
  765. reg3 = (r + ip->Register1);
  766. switch (reg1->ObjectType)
  767. {
  768. case ObjectTypes.Long:
  769. reg3->ObjectType = ObjectTypes.Long;
  770. *((long*)&reg3->Value) = *((long*)&reg1->Value) | ip->OperandLong;
  771. break;
  772. case ObjectTypes.Integer:
  773. reg3->ObjectType = ObjectTypes.Integer;
  774. reg3->Value = reg1->Value | ip->Operand;
  775. break;
  776. default:
  777. throw new NotImplementedException();
  778. }
  779. }
  780. break;
  781. case OpCodeREnum.Shl:
  782. {
  783. reg1 = (r + ip->Register2);
  784. reg2 = (r + ip->Register3);
  785. reg3 = (r + ip->Register1);
  786. switch (reg1->ObjectType)
  787. {
  788. case ObjectTypes.Long:
  789. reg3->ObjectType = ObjectTypes.Long;
  790. *((long*)&reg3->Value) = *((long*)&reg1->Value) << reg2->Value;
  791. break;
  792. case ObjectTypes.Integer:
  793. reg3->ObjectType = ObjectTypes.Integer;
  794. reg3->Value = reg1->Value << reg2->Value;
  795. break;
  796. default:
  797. throw new NotImplementedException();
  798. }
  799. }
  800. break;
  801. case OpCodeREnum.Shli:
  802. {
  803. reg1 = (r + ip->Register2);
  804. reg3 = (r + ip->Register1);
  805. switch (reg1->ObjectType)
  806. {
  807. case ObjectTypes.Long:
  808. reg3->ObjectType = ObjectTypes.Long;
  809. *((long*)&reg3->Value) = *((long*)&reg1->Value) << ip->Operand;
  810. break;
  811. case ObjectTypes.Integer:
  812. reg3->ObjectType = ObjectTypes.Integer;
  813. reg3->Value = reg1->Value << ip->Operand;
  814. break;
  815. default:
  816. throw new NotImplementedException();
  817. }
  818. }
  819. break;
  820. case OpCodeREnum.Shr:
  821. {
  822. reg1 = (r + ip->Register2);
  823. reg2 = (r + ip->Register3);
  824. reg3 = (r + ip->Register1);
  825. switch (reg1->ObjectType)
  826. {
  827. case ObjectTypes.Long:
  828. reg3->ObjectType = ObjectTypes.Long;
  829. *((long*)&reg3->Value) = *((long*)&reg1->Value) >> reg2->Value;
  830. break;
  831. case ObjectTypes.Integer:
  832. reg3->ObjectType = ObjectTypes.Integer;
  833. reg3->Value = reg1->Value >> reg2->Value;
  834. break;
  835. default:
  836. throw new NotImplementedException();
  837. }
  838. }
  839. break;
  840. case OpCodeREnum.Shri:
  841. {
  842. reg1 = (r + ip->Register2);
  843. reg3 = (r + ip->Register1);
  844. switch (reg1->ObjectType)
  845. {
  846. case ObjectTypes.Long:
  847. reg3->ObjectType = ObjectTypes.Long;
  848. *((long*)&reg3->Value) = *((long*)&reg1->Value) >> ip->Operand;
  849. break;
  850. case ObjectTypes.Integer:
  851. reg3->ObjectType = ObjectTypes.Integer;
  852. reg3->Value = reg1->Value >> ip->Operand;
  853. break;
  854. default:
  855. throw new NotImplementedException();
  856. }
  857. }
  858. break;
  859. case OpCodeREnum.Shr_Un:
  860. {
  861. reg1 = (r + ip->Register2);
  862. reg2 = (r + ip->Register3);
  863. reg3 = (r + ip->Register1);
  864. switch (reg1->ObjectType)
  865. {
  866. case ObjectTypes.Long:
  867. reg3->ObjectType = ObjectTypes.Long;
  868. *((ulong*)&reg3->Value) = *((ulong*)&reg1->Value) >> reg2->Value;
  869. break;
  870. case ObjectTypes.Integer:
  871. reg3->ObjectType = ObjectTypes.Integer;
  872. *((uint*)&reg3->Value) = (uint)reg1->Value >> reg2->Value;
  873. break;
  874. default:
  875. throw new NotImplementedException();
  876. }
  877. }
  878. break;
  879. case OpCodeREnum.Shri_Un:
  880. {
  881. reg1 = (r + ip->Register2);
  882. reg3 = (r + ip->Register1);
  883. switch (reg1->ObjectType)
  884. {
  885. case ObjectTypes.Long:
  886. reg3->ObjectType = ObjectTypes.Long;
  887. *((ulong*)&reg3->Value) = *((ulong*)&reg1->Value) >> ip->Operand;
  888. break;
  889. case ObjectTypes.Integer:
  890. reg3->ObjectType = ObjectTypes.Integer;
  891. *((uint*)&reg3->Value) = (uint)reg1->Value >> ip->Operand;
  892. break;
  893. default:
  894. throw new NotImplementedException();
  895. }
  896. }
  897. break;
  898. case OpCodeREnum.Not:
  899. {
  900. reg1 = (r + ip->Register2);
  901. reg3 = (r + ip->Register1);
  902. switch (reg1->ObjectType)
  903. {
  904. case ObjectTypes.Long:
  905. reg3->ObjectType = ObjectTypes.Long;
  906. *((long*)&reg3->Value) = ~*((long*)&reg1->Value);
  907. break;
  908. case ObjectTypes.Integer:
  909. reg3->ObjectType = ObjectTypes.Integer;
  910. reg3->Value = ~reg1->Value;
  911. break;
  912. default:
  913. throw new NotImplementedException();
  914. }
  915. }
  916. break;
  917. case OpCodeREnum.Neg:
  918. {
  919. reg1 = (r + ip->Register2);
  920. reg3 = (r + ip->Register1);
  921. switch (reg1->ObjectType)
  922. {
  923. case ObjectTypes.Long:
  924. reg3->ObjectType = ObjectTypes.Long;
  925. *((long*)&reg3->Value) = -*((long*)&reg1->Value);
  926. break;
  927. case ObjectTypes.Integer:
  928. reg3->ObjectType = ObjectTypes.Integer;
  929. reg3->Value = -reg1->Value;
  930. break;
  931. case ObjectTypes.Float:
  932. reg3->ObjectType = ObjectTypes.Float;
  933. *((float*)&reg3->Value) = -*((float*)&reg1->Value);
  934. break;
  935. case ObjectTypes.Double:
  936. reg3->ObjectType = ObjectTypes.Double;
  937. *((double*)&reg3->Value) = -*((double*)&reg1->Value);
  938. break;
  939. default:
  940. throw new NotImplementedException();
  941. }
  942. }
  943. break;
  944. #endregion
  945. #region Conversion
  946. case OpCodeREnum.Conv_U1:
  947. case OpCodeREnum.Conv_Ovf_U1:
  948. case OpCodeREnum.Conv_Ovf_U1_Un:
  949. {
  950. reg1 = (r + ip->Register2);
  951. reg2 = (r + ip->Register1);
  952. switch (reg1->ObjectType)
  953. {
  954. case ObjectTypes.Long:
  955. case ObjectTypes.Integer:
  956. intVal = (byte)reg1->Value;
  957. break;
  958. case ObjectTypes.Float:
  959. intVal = (byte)*(float*)&reg1->Value;
  960. break;
  961. case ObjectTypes.Double:
  962. intVal = (byte)*(double*)&reg1->Value;
  963. break;
  964. default:
  965. throw new NotImplementedException();
  966. }
  967. reg2->ObjectType = ObjectTypes.Integer;
  968. reg2->Value = intVal;
  969. reg2->ValueLow = 0;
  970. }
  971. break;
  972. case OpCodeREnum.Conv_I1:
  973. case OpCodeREnum.Conv_Ovf_I1:
  974. case OpCodeREnum.Conv_Ovf_I1_Un:
  975. {
  976. reg1 = (r + ip->Register2);
  977. reg2 = (r + ip->Register1);
  978. switch (reg1->ObjectType)
  979. {
  980. case ObjectTypes.Long:
  981. case ObjectTypes.Integer:
  982. intVal = (sbyte)reg1->Value;
  983. break;
  984. case ObjectTypes.Float:
  985. intVal = (sbyte)*(float*)&reg1->Value;
  986. break;
  987. case ObjectTypes.Double:
  988. intVal = (sbyte)*(double*)&reg1->Value;
  989. break;
  990. default:
  991. throw new NotImplementedException();
  992. }
  993. reg2->ObjectType = ObjectTypes.Integer;
  994. reg2->Value = intVal;
  995. reg2->ValueLow = 0;
  996. }
  997. break;
  998. case OpCodeREnum.Conv_U2:
  999. case OpCodeREnum.Conv_Ovf_U2:
  1000. case OpCodeREnum.Conv_Ovf_U2_Un:
  1001. {
  1002. reg1 = (r + ip->Register2);
  1003. reg2 = (r + ip->Register1);
  1004. switch (reg1->ObjectType)
  1005. {
  1006. case ObjectTypes.Long:
  1007. case ObjectTypes.Integer:
  1008. intVal = (ushort)reg1->Value;
  1009. break;
  1010. case ObjectTypes.Float:
  1011. intVal = (ushort)*(float*)&reg1->Value;
  1012. break;
  1013. case ObjectTypes.Double:
  1014. intVal = (ushort)*(double*)&reg1->Value;
  1015. break;
  1016. default:
  1017. throw new NotImplementedException();
  1018. }
  1019. reg2->ObjectType = ObjectTypes.Integer;
  1020. reg2->Value = intVal;
  1021. reg2->ValueLow = 0;
  1022. }
  1023. break;
  1024. case OpCodeREnum.Conv_I2:
  1025. case OpCodeREnum.Conv_Ovf_I2:
  1026. case OpCodeREnum.Conv_Ovf_I2_Un:
  1027. {
  1028. reg1 = (r + ip->Register2);
  1029. reg2 = (r + ip->Register1);
  1030. switch (reg1->ObjectType)
  1031. {
  1032. case ObjectTypes.Long:
  1033. case ObjectTypes.Integer:
  1034. intVal = (short)(reg1->Value);
  1035. break;
  1036. case ObjectTypes.Float:
  1037. intVal = (short)*(float*)&reg1->Value;
  1038. break;
  1039. case ObjectTypes.Double:
  1040. intVal = (short)*(double*)&reg1->Value;
  1041. break;
  1042. default:
  1043. throw new NotImplementedException();
  1044. }
  1045. reg2->ObjectType = ObjectTypes.Integer;
  1046. reg2->Value = intVal;
  1047. reg2->ValueLow = 0;
  1048. }
  1049. break;
  1050. case OpCodeREnum.Conv_U4:
  1051. case OpCodeREnum.Conv_U:
  1052. case OpCodeREnum.Conv_Ovf_U4:
  1053. case OpCodeREnum.Conv_Ovf_U4_Un:
  1054. {
  1055. reg1 = (r + ip->Register2);
  1056. reg2 = (r + ip->Register1);
  1057. uint uintVal;
  1058. switch (reg1->ObjectType)
  1059. {
  1060. case ObjectTypes.Long:
  1061. uintVal = (uint)*(long*)&reg1->Value;
  1062. break;
  1063. case ObjectTypes.Integer:
  1064. uintVal = (uint)reg1->Value;
  1065. break;
  1066. case ObjectTypes.Float:
  1067. uintVal = (uint)*(float*)&reg1->Value;
  1068. break;
  1069. case ObjectTypes.Double:
  1070. uintVal = (uint)*(double*)&reg1->Value;
  1071. break;
  1072. default:
  1073. throw new NotImplementedException();
  1074. }
  1075. reg2->ObjectType = ObjectTypes.Integer;
  1076. reg2->Value = (int)uintVal;
  1077. reg2->ValueLow = 0;
  1078. }
  1079. break;
  1080. case OpCodeREnum.Conv_I4:
  1081. case OpCodeREnum.Conv_I:
  1082. case OpCodeREnum.Conv_Ovf_I:
  1083. case OpCodeREnum.Conv_Ovf_I_Un:
  1084. case OpCodeREnum.Conv_Ovf_I4:
  1085. case OpCodeREnum.Conv_Ovf_I4_Un:
  1086. {
  1087. reg1 = (r + ip->Register2);
  1088. reg2 = (r + ip->Register1);
  1089. switch (reg1->ObjectType)
  1090. {
  1091. case ObjectTypes.Long:
  1092. intVal = (int)*(long*)&reg1->Value;
  1093. break;
  1094. case ObjectTypes.Float:
  1095. intVal = (int)*(float*)&reg1->Value;
  1096. break;
  1097. case ObjectTypes.Double:
  1098. intVal = (int)*(double*)&reg1->Value;
  1099. break;
  1100. case ObjectTypes.Integer:
  1101. intVal = reg1->Value;
  1102. break;
  1103. default:
  1104. throw new NotImplementedException();
  1105. }
  1106. reg2->ObjectType = ObjectTypes.Integer;
  1107. reg2->Value = intVal;
  1108. }
  1109. break;
  1110. case OpCodeREnum.Conv_I8:
  1111. case OpCodeREnum.Conv_Ovf_I8:
  1112. case OpCodeREnum.Conv_Ovf_I8_Un:
  1113. {
  1114. reg1 = (r + ip->Register2);
  1115. reg2 = (r + ip->Register1);
  1116. switch (reg1->ObjectType)
  1117. {
  1118. case ObjectTypes.Integer:
  1119. longVal = reg1->Value;
  1120. break;
  1121. case ObjectTypes.Long:
  1122. longVal = *(long*)&reg1->Value;
  1123. break;
  1124. case ObjectTypes.Float:
  1125. longVal = (long)*(float*)&reg1->Value;
  1126. break;
  1127. case ObjectTypes.Double:
  1128. longVal = (long)*(double*)&reg1->Value;
  1129. break;
  1130. default:
  1131. throw new NotImplementedException();
  1132. }
  1133. reg2->ObjectType = ObjectTypes.Long;
  1134. *(long*)(&reg2->Value) = longVal;
  1135. }
  1136. break;
  1137. case OpCodeREnum.Conv_U8:
  1138. case OpCodeREnum.Conv_Ovf_U8:
  1139. case OpCodeREnum.Conv_Ovf_U8_Un:
  1140. {
  1141. reg1 = (r + ip->Register2);
  1142. reg2 = (r + ip->Register1);
  1143. ulong ulongVal;
  1144. switch (reg1->ObjectType)
  1145. {
  1146. case ObjectTypes.Integer:
  1147. ulongVal = (uint)reg1->Value;
  1148. break;
  1149. case ObjectTypes.Long:
  1150. ulongVal = (ulong)*(long*)&reg1->Value;
  1151. break;
  1152. case ObjectTypes.Float:
  1153. ulongVal = (ulong)*(float*)&reg1->Value;
  1154. break;
  1155. case ObjectTypes.Double:
  1156. ulongVal = (ulong)*(double*)&reg1->Value;
  1157. break;
  1158. default:
  1159. throw new NotImplementedException();
  1160. }
  1161. reg2->ObjectType = ObjectTypes.Long;
  1162. *(ulong*)(&reg2->Value) = ulongVal;
  1163. }
  1164. break;
  1165. case OpCodeREnum.Conv_R4:
  1166. {
  1167. reg1 = (r + ip->Register2);
  1168. reg2 = (r + ip->Register1);
  1169. switch (reg1->ObjectType)
  1170. {
  1171. case ObjectTypes.Long:
  1172. floatVal = (float)*(long*)&reg1->Value;
  1173. break;
  1174. case ObjectTypes.Float:
  1175. floatVal = *(float*)&reg1->Value;
  1176. break;
  1177. case ObjectTypes.Double:
  1178. floatVal = (float)*(double*)&reg1->Value;
  1179. break;
  1180. case ObjectTypes.Integer:
  1181. floatVal = reg1->Value;
  1182. break;
  1183. default:
  1184. throw new NotImplementedException();
  1185. }
  1186. reg2->ObjectType = ObjectTypes.Float;
  1187. *(float*)&reg2->Value = floatVal;
  1188. }
  1189. break;
  1190. case OpCodeREnum.Conv_R8:
  1191. {
  1192. reg1 = (r + ip->Register2);
  1193. reg2 = (r + ip->Register1);
  1194. switch (reg1->ObjectType)
  1195. {
  1196. case ObjectTypes.Long:
  1197. doubleVal = (double)*(long*)&reg1->Value;
  1198. break;
  1199. case ObjectTypes.Float:
  1200. doubleVal = *(float*)&reg1->Value;
  1201. break;
  1202. case ObjectTypes.Integer:
  1203. doubleVal = reg1->Value;
  1204. break;
  1205. case ObjectTypes.Double:
  1206. doubleVal = *(double*)&reg1->Value;
  1207. break;
  1208. default:
  1209. throw new NotImplementedException();
  1210. }
  1211. reg2->ObjectType = ObjectTypes.Double;
  1212. *(double*)&reg2->Value = doubleVal;
  1213. }
  1214. break;
  1215. case OpCodeREnum.Conv_R_Un:
  1216. {
  1217. reg1 = (r + ip->Register2);
  1218. reg2 = (r + ip->Register1);
  1219. bool isDouble = false;
  1220. double val2 = 0;
  1221. switch (reg1->ObjectType)
  1222. {
  1223. case ObjectTypes.Long:
  1224. doubleVal = (double)*(ulong*)&reg1->Value;
  1225. isDouble = true;
  1226. break;
  1227. case ObjectTypes.Float:
  1228. floatVal = *(float*)&reg1->Value;
  1229. break;
  1230. case ObjectTypes.Integer:
  1231. floatVal = (uint)reg1->Value;
  1232. break;
  1233. case ObjectTypes.Double:
  1234. doubleVal = *(double*)&reg1->Value;
  1235. isDouble = true;
  1236. break;
  1237. default:
  1238. throw new NotImplementedException();
  1239. }
  1240. if (isDouble)
  1241. {
  1242. reg2->ObjectType = ObjectTypes.Double;
  1243. *(double*)&reg2->Value = doubleVal;
  1244. }
  1245. else
  1246. {
  1247. reg2->ObjectType = ObjectTypes.Float;
  1248. *(float*)&reg2->Value = floatVal;
  1249. }
  1250. }
  1251. break;
  1252. #endregion
  1253. #region Load Store
  1254. case OpCodeREnum.Move:
  1255. {
  1256. reg1 = (r + ip->Register2);
  1257. CopyToRegister(ref info, ip->Register1, reg1);
  1258. }
  1259. break;
  1260. case OpCodeREnum.Push:
  1261. {
  1262. reg1 = (r + ip->Register1);
  1263. CopyToStack(esp, reg1, mStack);
  1264. if (ip->Operand == 1)
  1265. mStack.Add(null);
  1266. esp++;
  1267. }
  1268. break;
  1269. case OpCodeREnum.Ldloca:
  1270. case OpCodeREnum.Ldloca_S:
  1271. {
  1272. reg1 = (r + ip->Register2);
  1273. reg2 = (r + ip->Register1);
  1274. reg2->ObjectType = ObjectTypes.StackObjectReference;
  1275. *(long*)&reg2->Value = (long)reg1;
  1276. }
  1277. break;
  1278. case OpCodeREnum.Ldobj:
  1279. {
  1280. reg1 = (r + ip->Register2);
  1281. reg2 = (r + ip->Register1);
  1282. switch (reg1->ObjectType)
  1283. {
  1284. case ObjectTypes.ArrayReference:
  1285. {
  1286. var t = AppDomain.GetType(ip->Operand);
  1287. obj = mStack[reg1->Value];
  1288. var idx = reg1->ValueLow;
  1289. intVal = GetManagedStackIndex(ref info, ip->Register1);
  1290. LoadFromArrayReference(obj, idx, reg2, t, mStack, intVal);
  1291. }
  1292. break;
  1293. case ObjectTypes.StackObjectReference:
  1294. {
  1295. CopyToRegister(ref info, ip->Register1, GetObjectAndResolveReference(reg1));
  1296. }
  1297. break;
  1298. case ObjectTypes.FieldReference:
  1299. {
  1300. obj = mStack[reg1->Value];
  1301. int idx = reg1->ValueLow;
  1302. if (obj is ILTypeInstance)
  1303. {
  1304. ((ILTypeInstance)obj).CopyToRegister(idx, ref info, ip->Register1);
  1305. }
  1306. else
  1307. {
  1308. type = AppDomain.GetType(ip->Operand);
  1309. if (!((CLRType)type).CopyFieldToStack(idx, obj, this, ref esp, mStack))
  1310. {
  1311. obj = ((CLRType)type).GetFieldValue(idx, obj);
  1312. AssignToRegister(ref info, ip->Register1, obj);
  1313. }
  1314. else
  1315. {
  1316. esp = PopToRegister(ref info, ip->Register1, esp);
  1317. }
  1318. }
  1319. }
  1320. break;
  1321. case ObjectTypes.StaticFieldReference:
  1322. {
  1323. type = AppDomain.GetType(reg1->Value);
  1324. int idx = reg1->ValueLow;
  1325. if (type is ILType)
  1326. {
  1327. ((ILType)type).StaticInstance.CopyToRegister(idx, ref info, ip->Register1);
  1328. }
  1329. else
  1330. {
  1331. if (!((CLRType)type).CopyFieldToStack(idx, null, this, ref esp, mStack))
  1332. {
  1333. obj = ((CLRType)type).GetFieldValue(idx, null);
  1334. AssignToRegister(ref info, ip->Register1, obj);
  1335. }
  1336. else
  1337. {
  1338. esp = PopToRegister(ref info, ip->Register1, esp);
  1339. }
  1340. }
  1341. }
  1342. break;
  1343. default:
  1344. throw new NotImplementedException();
  1345. }
  1346. }
  1347. break;
  1348. case OpCodeREnum.Stobj:
  1349. {
  1350. val = (r + ip->Register2);
  1351. objRef = (r + ip->Register1);
  1352. switch (objRef->ObjectType)
  1353. {
  1354. case ObjectTypes.ArrayReference:
  1355. {
  1356. var t = AppDomain.GetType(ip->Operand);
  1357. StoreValueToArrayReference(objRef, val, t, mStack);
  1358. }
  1359. break;
  1360. case ObjectTypes.StackObjectReference:
  1361. {
  1362. objRef = GetObjectAndResolveReference(objRef);
  1363. if (objRef->ObjectType == ObjectTypes.ValueTypeObjectReference)
  1364. {
  1365. switch (val->ObjectType)
  1366. {
  1367. case ObjectTypes.Object:
  1368. dst = ILIntepreter.ResolveReference(objRef);
  1369. CopyValueTypeToStack(dst, mStack[val->Value], mStack);
  1370. break;
  1371. case ObjectTypes.ValueTypeObjectReference:
  1372. CopyStackValueType(val, objRef, mStack);
  1373. break;
  1374. default:
  1375. throw new NotImplementedException();
  1376. }
  1377. }
  1378. else
  1379. {
  1380. if (val->ObjectType >= ObjectTypes.Object)
  1381. {
  1382. mStack[objRef->Value] = mStack[val->Value];
  1383. objRef->ValueLow = val->ValueLow;
  1384. }
  1385. else
  1386. {
  1387. *objRef = *val;
  1388. }
  1389. }
  1390. }
  1391. break;
  1392. case ObjectTypes.FieldReference:
  1393. {
  1394. obj = mStack[objRef->Value];
  1395. int idx = objRef->ValueLow;
  1396. if (obj is ILTypeInstance)
  1397. {
  1398. ((ILTypeInstance)obj).AssignFromStack(idx, val, AppDomain, mStack);
  1399. }
  1400. else
  1401. {
  1402. var t = AppDomain.GetType(ip->Operand);
  1403. if (!((CLRType)t).AssignFieldFromStack(idx, ref obj, this, val, mStack))
  1404. ((CLRType)t).SetFieldValue(idx, ref obj, t.TypeForCLR.CheckCLRTypes(StackObject.ToObject(val, AppDomain, mStack)));
  1405. }
  1406. }
  1407. break;
  1408. case ObjectTypes.StaticFieldReference:
  1409. {
  1410. var t = AppDomain.GetType(objRef->Value);
  1411. if (t is ILType)
  1412. {
  1413. ((ILType)t).StaticInstance.AssignFromStack(objRef->ValueLow, val, AppDomain, mStack);
  1414. }
  1415. else
  1416. {
  1417. obj = null;
  1418. if (!((CLRType)t).AssignFieldFromStack(objRef->ValueLow, ref obj, this, val, mStack))
  1419. ((CLRType)t).SetStaticFieldValue(objRef->ValueLow, t.TypeForCLR.CheckCLRTypes(StackObject.ToObject(val, AppDomain, mStack)));
  1420. }
  1421. }
  1422. break;
  1423. default:
  1424. throw new NotImplementedException();
  1425. }
  1426. }
  1427. break;
  1428. case OpCodeREnum.Ldind_I:
  1429. case OpCodeREnum.Ldind_I1:
  1430. case OpCodeREnum.Ldind_I2:
  1431. case OpCodeREnum.Ldind_I4:
  1432. case OpCodeREnum.Ldind_U1:
  1433. case OpCodeREnum.Ldind_U2:
  1434. case OpCodeREnum.Ldind_U4:
  1435. {
  1436. reg1 = (r + ip->Register2);
  1437. dst = (r + ip->Register1);
  1438. val = GetObjectAndResolveReference(reg1);
  1439. switch (val->ObjectType)
  1440. {
  1441. case ObjectTypes.FieldReference:
  1442. {
  1443. var instance = mStack[val->Value];
  1444. var idx = val->ValueLow;
  1445. //Free(dst);
  1446. LoadFromFieldReferenceToRegister(ref info, instance, idx, ip->Register1);
  1447. }
  1448. break;
  1449. case ObjectTypes.ArrayReference:
  1450. {
  1451. var instance = mStack[val->Value];
  1452. var idx = val->ValueLow;
  1453. //Free(dst);
  1454. intVal = GetManagedStackIndex(ref info, ip->Register1);
  1455. LoadFromArrayReference(instance, idx, dst, instance.GetType().GetElementType(), mStack, intVal);
  1456. }
  1457. break;
  1458. case ObjectTypes.StaticFieldReference:
  1459. {
  1460. type = AppDomain.GetType(val->Value);
  1461. var idx = val->ValueLow;
  1462. if (type is ILType)
  1463. {
  1464. ((ILType)type).StaticInstance.CopyToRegister(idx, ref info, ip->Register1);
  1465. }
  1466. else
  1467. {
  1468. if (!((CLRType)type).CopyFieldToStack(idx, null, this, ref esp, mStack))
  1469. {
  1470. var ft = ((CLRType)type).GetField(idx);
  1471. obj = ((CLRType)type).GetFieldValue(idx, null);
  1472. if (obj is CrossBindingAdaptorType)
  1473. obj = ((CrossBindingAdaptorType)obj).ILInstance;
  1474. AssignToRegister(ref info, ip->Register1, obj, false);
  1475. }
  1476. else
  1477. {
  1478. esp = PopToRegister(ref info, ip->Register1, esp);
  1479. }
  1480. }
  1481. }
  1482. break;
  1483. default:
  1484. {
  1485. dst->ObjectType = ObjectTypes.Integer;
  1486. dst->Value = val->Value;
  1487. dst->ValueLow = 0;
  1488. }
  1489. break;
  1490. }
  1491. }
  1492. break;
  1493. case OpCodeREnum.Ldind_I8:
  1494. {
  1495. reg1 = (r + ip->Register2);
  1496. dst = (r + ip->Register1);
  1497. val = GetObjectAndResolveReference(reg1);
  1498. switch (val->ObjectType)
  1499. {
  1500. case ObjectTypes.FieldReference:
  1501. {
  1502. var instance = mStack[val->Value];
  1503. var idx = val->ValueLow;
  1504. //Free(dst);
  1505. LoadFromFieldReferenceToRegister(ref info, instance, idx, ip->Register1);
  1506. }
  1507. break;
  1508. case ObjectTypes.ArrayReference:
  1509. {
  1510. var instance = mStack[val->Value];
  1511. var idx = val->ValueLow;
  1512. //Free(dst);
  1513. intVal = GetManagedStackIndex(ref info, ip->Register1);
  1514. LoadFromArrayReference(instance, idx, dst, instance.GetType().GetElementType(), mStack, intVal);
  1515. }
  1516. break;
  1517. case ObjectTypes.StaticFieldReference:
  1518. {
  1519. type = AppDomain.GetType(val->Value);
  1520. var idx = val->ValueLow;
  1521. if (type is ILType)
  1522. {
  1523. ((ILType)type).StaticInstance.CopyToRegister(idx, ref info, ip->Register1);
  1524. }
  1525. else
  1526. {
  1527. if (!((CLRType)type).CopyFieldToStack(idx, null, this, ref esp, mStack))
  1528. {
  1529. var ft = ((CLRType)type).GetField(idx);
  1530. obj = ((CLRType)type).GetFieldValue(idx, null);
  1531. if (obj is CrossBindingAdaptorType)
  1532. obj = ((CrossBindingAdaptorType)obj).ILInstance;
  1533. AssignToRegister(ref info, ip->Register1, obj, false);
  1534. }
  1535. else
  1536. {
  1537. esp = PopToRegister(ref info, ip->Register1, esp);
  1538. }
  1539. }
  1540. }
  1541. break;
  1542. default:
  1543. {
  1544. *dst = *val;
  1545. dst->ObjectType = ObjectTypes.Long;
  1546. }
  1547. break;
  1548. }
  1549. }
  1550. break;
  1551. case OpCodeREnum.Ldind_R4:
  1552. {
  1553. reg1 = (r + ip->Register2);
  1554. dst = (r + ip->Register1);
  1555. val = GetObjectAndResolveReference(reg1);
  1556. switch (val->ObjectType)
  1557. {
  1558. case ObjectTypes.FieldReference:
  1559. {
  1560. var instance = mStack[val->Value];
  1561. var idx = val->ValueLow;
  1562. //Free(dst);
  1563. LoadFromFieldReferenceToRegister(ref info, instance, idx, ip->Register1);
  1564. }
  1565. break;
  1566. case ObjectTypes.ArrayReference:
  1567. {
  1568. var instance = mStack[val->Value];
  1569. var idx = val->ValueLow;
  1570. //Free(dst);
  1571. intVal = GetManagedStackIndex(ref info, ip->Register1);
  1572. LoadFromArrayReference(instance, idx, dst, instance.GetType().GetElementType(), mStack);
  1573. }
  1574. break;
  1575. case ObjectTypes.StaticFieldReference:
  1576. {
  1577. type = AppDomain.GetType(val->Value);
  1578. var idx = val->ValueLow;
  1579. if (type is ILType)
  1580. {
  1581. ((ILType)type).StaticInstance.CopyToRegister(idx, ref info, ip->Register1);
  1582. }
  1583. else
  1584. {
  1585. if (!((CLRType)type).CopyFieldToStack(idx, null, this, ref esp, mStack))
  1586. {
  1587. var ft = ((CLRType)type).GetField(idx);
  1588. obj = ((CLRType)type).GetFieldValue(idx, null);
  1589. if (obj is CrossBindingAdaptorType)
  1590. obj = ((CrossBindingAdaptorType)obj).ILInstance;
  1591. AssignToRegister(ref info, ip->Register1, obj, false);
  1592. }
  1593. else
  1594. {
  1595. esp = PopToRegister(ref info, ip->Register1, esp);
  1596. }
  1597. }
  1598. }
  1599. break;
  1600. default:
  1601. {
  1602. dst->ObjectType = ObjectTypes.Float;
  1603. dst->Value = val->Value;
  1604. dst->ValueLow = 0;
  1605. }
  1606. break;
  1607. }
  1608. }
  1609. break;
  1610. case OpCodeREnum.Ldind_R8:
  1611. {
  1612. reg1 = (r + ip->Register2);
  1613. dst = (r + ip->Register1);
  1614. val = GetObjectAndResolveReference(reg1);
  1615. switch (val->ObjectType)
  1616. {
  1617. case ObjectTypes.FieldReference:
  1618. {
  1619. var instance = mStack[val->Value];
  1620. var idx = val->ValueLow;
  1621. //Free(dst);
  1622. LoadFromFieldReferenceToRegister(ref info, instance, idx, ip->Register1);
  1623. }
  1624. break;
  1625. case ObjectTypes.ArrayReference:
  1626. {
  1627. var instance = mStack[val->Value];
  1628. var idx = val->ValueLow;
  1629. //Free(dst);
  1630. intVal = GetManagedStackIndex(ref info, ip->Register1);
  1631. LoadFromArrayReference(instance, idx, dst, instance.GetType().GetElementType(), mStack, intVal);
  1632. }
  1633. break;
  1634. case ObjectTypes.StaticFieldReference:
  1635. {
  1636. type = AppDomain.GetType(val->Value);
  1637. var idx = val->ValueLow;
  1638. if (type is ILType)
  1639. {
  1640. ((ILType)type).StaticInstance.CopyToRegister(idx, ref info, ip->Register1);
  1641. }
  1642. else
  1643. {
  1644. if (!((CLRType)type).CopyFieldToStack(idx, null, this, ref esp, mStack))
  1645. {
  1646. var ft = ((CLRType)type).GetField(idx);
  1647. obj = ((CLRType)type).GetFieldValue(idx, null);
  1648. if (obj is CrossBindingAdaptorType)
  1649. obj = ((CrossBindingAdaptorType)obj).ILInstance;
  1650. AssignToRegister(ref info, ip->Register1, obj, false);
  1651. }
  1652. else
  1653. {
  1654. esp = PopToRegister(ref info, ip->Register1, esp);
  1655. }
  1656. }
  1657. }
  1658. break;
  1659. default:
  1660. {
  1661. *dst = *val;
  1662. dst->ObjectType = ObjectTypes.Double;
  1663. }
  1664. break;
  1665. }
  1666. }
  1667. break;
  1668. case OpCodeREnum.Ldind_Ref:
  1669. {
  1670. reg1 = (r + ip->Register2);
  1671. dst = (r + ip->Register1);
  1672. val = GetObjectAndResolveReference(reg1);
  1673. switch (val->ObjectType)
  1674. {
  1675. case ObjectTypes.FieldReference:
  1676. obj = mStack[val->Value];
  1677. intVal = val->ValueLow;
  1678. //Free(dst);
  1679. LoadFromFieldReferenceToRegister(ref info, obj, intVal, ip->Register1);
  1680. break;
  1681. case ObjectTypes.ArrayReference:
  1682. {
  1683. obj = mStack[val->Value];
  1684. var idx = val->ValueLow;
  1685. //Free(dst);
  1686. intVal = GetManagedStackIndex(ref info, ip->Register1);
  1687. LoadFromArrayReference(obj, idx, dst, obj.GetType().GetElementType(), mStack, intVal);
  1688. }
  1689. break;
  1690. case ObjectTypes.StaticFieldReference:
  1691. {
  1692. type = AppDomain.GetType(val->Value);
  1693. var idx = val->ValueLow;
  1694. if (type is ILType)
  1695. {
  1696. ((ILType)type).StaticInstance.CopyToRegister(idx, ref info, ip->Register1);
  1697. }
  1698. else
  1699. {
  1700. if (!((CLRType)type).CopyFieldToStack(idx, null, this, ref esp, mStack))
  1701. {
  1702. var ft = ((CLRType)type).GetField(idx);
  1703. obj = ((CLRType)type).GetFieldValue(idx, null);
  1704. if (obj is CrossBindingAdaptorType)
  1705. obj = ((CrossBindingAdaptorType)obj).ILInstance;
  1706. AssignToRegister(ref info, ip->Register1, obj, false);
  1707. }
  1708. else
  1709. {
  1710. esp = PopToRegister(ref info, ip->Register1, esp);
  1711. }
  1712. }
  1713. }
  1714. break;
  1715. default:
  1716. CopyToRegister(ref info, ip->Register1, val);
  1717. break;
  1718. }
  1719. }
  1720. break;
  1721. case OpCodeREnum.Stind_I:
  1722. case OpCodeREnum.Stind_I1:
  1723. case OpCodeREnum.Stind_I2:
  1724. case OpCodeREnum.Stind_I4:
  1725. case OpCodeREnum.Stind_R4:
  1726. {
  1727. reg1 = (r + ip->Register2);
  1728. reg2 = (r + ip->Register1);
  1729. dst = GetObjectAndResolveReference(reg2);
  1730. switch (dst->ObjectType)
  1731. {
  1732. case ObjectTypes.FieldReference:
  1733. {
  1734. obj = mStack[dst->Value];
  1735. StoreValueToFieldReference(ref obj, dst->ValueLow, reg1, mStack);
  1736. mStack[dst->Value] = obj;
  1737. }
  1738. break;
  1739. case ObjectTypes.ArrayReference:
  1740. {
  1741. StoreValueToArrayReference(dst, reg1, mStack[dst->Value].GetType().GetElementType(), mStack);
  1742. }
  1743. break;
  1744. case ObjectTypes.StaticFieldReference:
  1745. {
  1746. type = AppDomain.GetType(dst->Value);
  1747. int idx = dst->ValueLow;
  1748. if (type != null)
  1749. {
  1750. if (type is ILType)
  1751. {
  1752. ILType t = type as ILType;
  1753. t.StaticInstance.AssignFromStack(idx, reg1, AppDomain, mStack);
  1754. }
  1755. else
  1756. {
  1757. CLRType t = type as CLRType;
  1758. var f = t.GetField(idx);
  1759. obj = null;
  1760. if (!((CLRType)t).AssignFieldFromStack(idx, ref obj, this, reg1, mStack))
  1761. t.SetStaticFieldValue(idx, f.FieldType.CheckCLRTypes(CheckAndCloneValueType(StackObject.ToObject(reg1, domain, mStack), domain)));
  1762. }
  1763. }
  1764. else
  1765. throw new TypeLoadException();
  1766. }
  1767. break;
  1768. default:
  1769. {
  1770. dst->Value = reg1->Value;
  1771. }
  1772. break;
  1773. }
  1774. }
  1775. break;
  1776. case OpCodeREnum.Stind_I8:
  1777. {
  1778. val = (r + ip->Register2);
  1779. reg2 = (r + ip->Register1);
  1780. dst = GetObjectAndResolveReference(reg2);
  1781. switch (dst->ObjectType)
  1782. {
  1783. case ObjectTypes.FieldReference:
  1784. {
  1785. obj = mStack[dst->Value];
  1786. StoreValueToFieldReference(ref obj, dst->ValueLow, val, mStack);
  1787. mStack[dst->Value] = obj;
  1788. }
  1789. break;
  1790. case ObjectTypes.ArrayReference:
  1791. {
  1792. StoreValueToArrayReference(dst, val, typeof(long), mStack);
  1793. }
  1794. break;
  1795. case ObjectTypes.StaticFieldReference:
  1796. {
  1797. type = AppDomain.GetType(dst->Value);
  1798. int idx = dst->ValueLow;
  1799. if (type != null)
  1800. {
  1801. if (type is ILType)
  1802. {
  1803. ILType t = type as ILType;
  1804. t.StaticInstance.AssignFromStack(idx, val, AppDomain, mStack);
  1805. }
  1806. else
  1807. {
  1808. CLRType t = type as CLRType;
  1809. var f = t.GetField(idx);
  1810. obj = null;
  1811. if (!((CLRType)t).AssignFieldFromStack(idx, ref obj, this, val, mStack))
  1812. t.SetStaticFieldValue(idx, f.FieldType.CheckCLRTypes(CheckAndCloneValueType(StackObject.ToObject(val, domain, mStack), domain)));
  1813. }
  1814. }
  1815. else
  1816. throw new TypeLoadException();
  1817. }
  1818. break;
  1819. default:
  1820. {
  1821. dst->Value = val->Value;
  1822. dst->ValueLow = val->ValueLow;
  1823. }
  1824. break;
  1825. }
  1826. }
  1827. break;
  1828. case OpCodeREnum.Stind_R8:
  1829. {
  1830. val = (r + ip->Register2);
  1831. reg2 = (r + ip->Register1);
  1832. dst = GetObjectAndResolveReference(reg2);
  1833. switch (dst->ObjectType)
  1834. {
  1835. case ObjectTypes.FieldReference:
  1836. {
  1837. obj = mStack[dst->Value];
  1838. StoreValueToFieldReference(ref obj, dst->ValueLow, val, mStack);
  1839. mStack[dst->Value] = obj;
  1840. }
  1841. break;
  1842. case ObjectTypes.ArrayReference:
  1843. {
  1844. StoreValueToArrayReference(dst, val, typeof(double), mStack);
  1845. }
  1846. break;
  1847. case ObjectTypes.StaticFieldReference:
  1848. {
  1849. type = AppDomain.GetType(dst->Value);
  1850. int idx = dst->ValueLow;
  1851. if (type != null)
  1852. {
  1853. if (type is ILType)
  1854. {
  1855. ILType t = type as ILType;
  1856. t.StaticInstance.AssignFromStack(idx, val, AppDomain, mStack);
  1857. }
  1858. else
  1859. {
  1860. CLRType t = type as CLRType;
  1861. var f = t.GetField(idx);
  1862. obj = null;
  1863. if (!((CLRType)t).AssignFieldFromStack(idx, ref obj, this, val, mStack))
  1864. t.SetStaticFieldValue(idx, f.FieldType.CheckCLRTypes(CheckAndCloneValueType(StackObject.ToObject(val, domain, mStack), domain)));
  1865. }
  1866. }
  1867. else
  1868. throw new TypeLoadException();
  1869. }
  1870. break;
  1871. default:
  1872. {
  1873. dst->Value = val->Value;
  1874. dst->ValueLow = val->ValueLow;
  1875. }
  1876. break;
  1877. }
  1878. }
  1879. break;
  1880. case OpCodeREnum.Stind_Ref:
  1881. {
  1882. val = (r + ip->Register2);
  1883. reg2 = (r + ip->Register1);
  1884. dst = GetObjectAndResolveReference(reg2);
  1885. switch (dst->ObjectType)
  1886. {
  1887. case ObjectTypes.FieldReference:
  1888. {
  1889. obj = mStack[dst->Value];
  1890. StoreValueToFieldReference(ref obj, dst->ValueLow, val, mStack);
  1891. mStack[dst->Value] = obj;
  1892. }
  1893. break;
  1894. case ObjectTypes.ArrayReference:
  1895. {
  1896. StoreValueToArrayReference(dst, val, typeof(object), mStack);
  1897. }
  1898. break;
  1899. case ObjectTypes.StaticFieldReference:
  1900. {
  1901. type = AppDomain.GetType(dst->Value);
  1902. int idx = dst->ValueLow;
  1903. if (type != null)
  1904. {
  1905. if (type is ILType)
  1906. {
  1907. ILType t = type as ILType;
  1908. t.StaticInstance.AssignFromStack(idx, val, AppDomain, mStack);
  1909. }
  1910. else
  1911. {
  1912. CLRType t = type as CLRType;
  1913. var f = t.GetField(idx);
  1914. obj = null;
  1915. if (!((CLRType)t).AssignFieldFromStack(idx, ref obj, this, val, mStack))
  1916. t.SetStaticFieldValue(idx, f.FieldType.CheckCLRTypes(CheckAndCloneValueType(StackObject.ToObject(val, domain, mStack), domain)));
  1917. }
  1918. }
  1919. else
  1920. throw new TypeLoadException();
  1921. }
  1922. break;
  1923. default:
  1924. {
  1925. switch (val->ObjectType)
  1926. {
  1927. case ObjectTypes.Object:
  1928. mStack[dst->Value] = mStack[val->Value];
  1929. break;
  1930. case ObjectTypes.Null:
  1931. mStack[dst->Value] = null;
  1932. break;
  1933. default:
  1934. throw new NotImplementedException();
  1935. }
  1936. }
  1937. break;
  1938. }
  1939. }
  1940. break;
  1941. case OpCodeREnum.Ldtoken:
  1942. {
  1943. switch (ip->Operand)
  1944. {
  1945. case 0:
  1946. {
  1947. type = AppDomain.GetType((int)(ip->OperandLong >> 32));
  1948. if (type != null)
  1949. {
  1950. if (type is ILType)
  1951. {
  1952. ILType t = type as ILType;
  1953. t.StaticInstance.CopyToRegister((int)ip->OperandLong, ref info, ip->Register1);
  1954. }
  1955. else
  1956. throw new NotImplementedException();
  1957. }
  1958. }
  1959. break;
  1960. case 1:
  1961. {
  1962. type = AppDomain.GetType((int)ip->OperandLong);
  1963. if (type != null)
  1964. {
  1965. AssignToRegister(ref info, ip->Register1, type.ReflectionType);
  1966. }
  1967. else
  1968. throw new TypeLoadException();
  1969. }
  1970. break;
  1971. default:
  1972. throw new NotImplementedException();
  1973. }
  1974. }
  1975. break;
  1976. #endregion
  1977. #region Control Flow
  1978. case OpCodeREnum.Ret:
  1979. if (hasReturn)
  1980. {
  1981. reg1 = (r + ip->Register1);
  1982. CopyToStack(esp, reg1, mStack);
  1983. esp++;
  1984. }
  1985. returned = true;
  1986. break;
  1987. case OpCodeREnum.Br_S:
  1988. case OpCodeREnum.Br:
  1989. ip = ptr + ip->Operand;
  1990. continue;
  1991. case OpCodeREnum.Brtrue:
  1992. case OpCodeREnum.Brtrue_S:
  1993. {
  1994. reg1 = (r + ip->Register1);
  1995. bool res = false;
  1996. switch (reg1->ObjectType)
  1997. {
  1998. case ObjectTypes.Integer:
  1999. res = reg1->Value != 0;
  2000. break;
  2001. case ObjectTypes.Long:
  2002. res = *(long*)&reg1->Value != 0;
  2003. break;
  2004. case ObjectTypes.Object:
  2005. res = mStack[reg1->Value] != null;
  2006. break;
  2007. }
  2008. if (res)
  2009. {
  2010. ip = ptr + ip->Operand;
  2011. continue;
  2012. }
  2013. }
  2014. break;
  2015. case OpCodeREnum.Brfalse:
  2016. case OpCodeREnum.Brfalse_S:
  2017. {
  2018. reg1 = (r + ip->Register1);
  2019. bool res = false;
  2020. switch (reg1->ObjectType)
  2021. {
  2022. case ObjectTypes.Null:
  2023. res = true;
  2024. break;
  2025. case ObjectTypes.Integer:
  2026. res = reg1->Value == 0;
  2027. break;
  2028. case ObjectTypes.Long:
  2029. res = *(long*)&reg1->Value == 0;
  2030. break;
  2031. case ObjectTypes.Object:
  2032. res = mStack[reg1->Value] == null;
  2033. break;
  2034. }
  2035. if (res)
  2036. {
  2037. ip = ptr + ip->Operand;
  2038. continue;
  2039. }
  2040. }
  2041. break;
  2042. case OpCodeREnum.Beq:
  2043. case OpCodeREnum.Beq_S:
  2044. {
  2045. reg1 = (r + ip->Register1);
  2046. reg2 = (r + ip->Register2);
  2047. transfer = false;
  2048. if (reg1->ObjectType == reg2->ObjectType)
  2049. {
  2050. switch (reg1->ObjectType)
  2051. {
  2052. case ObjectTypes.Null:
  2053. transfer = true;
  2054. break;
  2055. case ObjectTypes.Integer:
  2056. transfer = reg1->Value == reg2->Value;
  2057. break;
  2058. case ObjectTypes.Long:
  2059. transfer = *(long*)&reg1->Value == *(long*)&reg2->Value;
  2060. break;
  2061. case ObjectTypes.Float:
  2062. transfer = *(float*)&reg1->Value == *(float*)&reg2->Value;
  2063. break;
  2064. case ObjectTypes.Double:
  2065. transfer = *(double*)&reg1->Value == *(double*)&reg2->Value;
  2066. break;
  2067. case ObjectTypes.Object:
  2068. transfer = mStack[reg1->Value] == mStack[reg2->Value];
  2069. break;
  2070. default:
  2071. throw new NotImplementedException();
  2072. }
  2073. }
  2074. else if (reg1->ObjectType == ObjectTypes.Null || reg2->ObjectType == ObjectTypes.Null)
  2075. {
  2076. if (reg1->ObjectType == ObjectTypes.Null && reg2->ObjectType == ObjectTypes.Object)
  2077. transfer = mStack[reg2->Value] == null;
  2078. else if (reg1->ObjectType == ObjectTypes.Object && reg2->ObjectType == ObjectTypes.Null)
  2079. transfer = mStack[reg1->Value] == null;
  2080. }
  2081. if (transfer)
  2082. {
  2083. ip = ptr + ip->Operand;
  2084. continue;
  2085. }
  2086. }
  2087. break;
  2088. case OpCodeREnum.Beqi:
  2089. {
  2090. reg1 = (r + ip->Register1);
  2091. transfer = false;
  2092. switch (reg1->ObjectType)
  2093. {
  2094. case ObjectTypes.Null:
  2095. transfer = ip->Operand == 0;
  2096. break;
  2097. case ObjectTypes.Integer:
  2098. transfer = reg1->Value == ip->Operand;
  2099. break;
  2100. case ObjectTypes.Long:
  2101. transfer = *(long*)&reg1->Value == ip->OperandLong;
  2102. break;
  2103. case ObjectTypes.Float:
  2104. transfer = *(float*)&reg1->Value == ip->OperandFloat;
  2105. break;
  2106. case ObjectTypes.Double:
  2107. transfer = *(double*)&reg1->Value == ip->OperandDouble;
  2108. break;
  2109. case ObjectTypes.Object:
  2110. transfer = mStack[reg1->Value] == null && ip->Operand == 0;
  2111. break;
  2112. default:
  2113. throw new NotImplementedException();
  2114. }
  2115. if (transfer)
  2116. {
  2117. ip = ptr + ip->Operand4;
  2118. continue;
  2119. }
  2120. }
  2121. break;
  2122. case OpCodeREnum.Bne_Un:
  2123. case OpCodeREnum.Bne_Un_S:
  2124. {
  2125. reg1 = (r + ip->Register1);
  2126. reg2 = (r + ip->Register2);
  2127. transfer = false;
  2128. if (reg1->ObjectType == reg2->ObjectType)
  2129. {
  2130. switch (reg1->ObjectType)
  2131. {
  2132. case ObjectTypes.Null:
  2133. transfer = false;
  2134. break;
  2135. case ObjectTypes.Integer:
  2136. transfer = (uint)reg1->Value != (uint)reg2->Value;
  2137. break;
  2138. case ObjectTypes.Float:
  2139. transfer = *(float*)&reg1->Value != *(float*)&reg2->Value;
  2140. break;
  2141. case ObjectTypes.Long:
  2142. transfer = *(long*)&reg1->Value != *(long*)&reg2->Value;
  2143. break;
  2144. case ObjectTypes.Double:
  2145. transfer = *(double*)&reg1->Value != *(double*)&reg2->Value;
  2146. break;
  2147. case ObjectTypes.Object:
  2148. transfer = mStack[reg1->Value] != mStack[reg2->Value];
  2149. break;
  2150. default:
  2151. throw new NotImplementedException();
  2152. }
  2153. }
  2154. else if (reg1->ObjectType == ObjectTypes.Null || reg2->ObjectType == ObjectTypes.Null)
  2155. {
  2156. if (reg1->ObjectType == ObjectTypes.Null && reg2->ObjectType == ObjectTypes.Object)
  2157. transfer = mStack[reg2->Value] != null;
  2158. else if (reg1->ObjectType == ObjectTypes.Object && reg2->ObjectType == ObjectTypes.Null)
  2159. transfer = mStack[reg1->Value] != null;
  2160. }
  2161. else
  2162. transfer = true;
  2163. if (transfer)
  2164. {
  2165. ip = ptr + ip->Operand;
  2166. continue;
  2167. }
  2168. }
  2169. break;
  2170. case OpCodeREnum.Bnei_Un:
  2171. {
  2172. reg1 = (r + ip->Register1);
  2173. transfer = false;
  2174. switch (reg1->ObjectType)
  2175. {
  2176. case ObjectTypes.Null:
  2177. transfer = ip->Operand != 0;
  2178. break;
  2179. case ObjectTypes.Integer:
  2180. transfer = (uint)reg1->Value != (uint)ip->Operand;
  2181. break;
  2182. case ObjectTypes.Float:
  2183. transfer = *(float*)&reg1->Value != ip->OperandFloat;
  2184. break;
  2185. case ObjectTypes.Long:
  2186. transfer = *(long*)&reg1->Value != ip->OperandLong;
  2187. break;
  2188. case ObjectTypes.Double:
  2189. transfer = *(double*)&reg1->Value != ip->OperandDouble;
  2190. break;
  2191. case ObjectTypes.Object:
  2192. transfer = mStack[reg1->Value] != null || ip->Operand != 0;
  2193. break;
  2194. default:
  2195. throw new NotImplementedException();
  2196. }
  2197. if (transfer)
  2198. {
  2199. ip = ptr + ip->Operand4;
  2200. continue;
  2201. }
  2202. }
  2203. break;
  2204. case OpCodeREnum.Blt:
  2205. case OpCodeREnum.Blt_S:
  2206. {
  2207. reg1 = (r + ip->Register1);
  2208. reg2 = (r + ip->Register2);
  2209. transfer = false;
  2210. switch (reg1->ObjectType)
  2211. {
  2212. case ObjectTypes.Integer:
  2213. transfer = reg1->Value < reg2->Value;
  2214. break;
  2215. case ObjectTypes.Long:
  2216. transfer = *(long*)&reg1->Value < *(long*)&reg2->Value;
  2217. break;
  2218. case ObjectTypes.Float:
  2219. transfer = *(float*)&reg1->Value < *(float*)&reg2->Value;
  2220. break;
  2221. case ObjectTypes.Double:
  2222. transfer = *(double*)&reg1->Value < *(double*)&reg2->Value;
  2223. break;
  2224. default:
  2225. throw new NotImplementedException();
  2226. }
  2227. if (transfer)
  2228. {
  2229. ip = ptr + ip->Operand;
  2230. continue;
  2231. }
  2232. }
  2233. break;
  2234. case OpCodeREnum.Blti:
  2235. {
  2236. reg1 = (r + ip->Register1);
  2237. transfer = false;
  2238. switch (reg1->ObjectType)
  2239. {
  2240. case ObjectTypes.Integer:
  2241. transfer = reg1->Value < ip->Operand;
  2242. break;
  2243. case ObjectTypes.Long:
  2244. transfer = *(long*)&reg1->Value < ip->OperandLong;
  2245. break;
  2246. case ObjectTypes.Float:
  2247. transfer = *(float*)&reg1->Value < ip->OperandFloat;
  2248. break;
  2249. case ObjectTypes.Double:
  2250. transfer = *(double*)&reg1->Value < ip->OperandDouble;
  2251. break;
  2252. default:
  2253. throw new NotImplementedException();
  2254. }
  2255. if (transfer)
  2256. {
  2257. ip = ptr + ip->Operand4;
  2258. continue;
  2259. }
  2260. }
  2261. break;
  2262. case OpCodeREnum.Blt_Un:
  2263. case OpCodeREnum.Blt_Un_S:
  2264. {
  2265. reg1 = (r + ip->Register1);
  2266. reg2 = (r + ip->Register2);
  2267. transfer = false;
  2268. switch (reg1->ObjectType)
  2269. {
  2270. case ObjectTypes.Integer:
  2271. transfer = (uint)reg1->Value < (uint)reg2->Value;
  2272. break;
  2273. case ObjectTypes.Long:
  2274. transfer = *(ulong*)&reg1->Value < *(ulong*)&reg2->Value;
  2275. break;
  2276. case ObjectTypes.Float:
  2277. transfer = *(float*)&reg1->Value < *(float*)&reg2->Value;
  2278. break;
  2279. case ObjectTypes.Double:
  2280. transfer = *(double*)&reg1->Value < *(double*)&reg2->Value;
  2281. break;
  2282. default:
  2283. throw new NotImplementedException();
  2284. }
  2285. if (transfer)
  2286. {
  2287. ip = ptr + ip->Operand;
  2288. continue;
  2289. }
  2290. }
  2291. break;
  2292. case OpCodeREnum.Blti_Un:
  2293. {
  2294. reg1 = (r + ip->Register1);
  2295. transfer = false;
  2296. switch (reg1->ObjectType)
  2297. {
  2298. case ObjectTypes.Integer:
  2299. transfer = (uint)reg1->Value < (uint)ip->Operand;
  2300. break;
  2301. case ObjectTypes.Long:
  2302. transfer = *(ulong*)&reg1->Value < (ulong)ip->Operand;
  2303. break;
  2304. case ObjectTypes.Float:
  2305. transfer = *(float*)&reg1->Value < ip->OperandFloat;
  2306. break;
  2307. case ObjectTypes.Double:
  2308. transfer = *(double*)&reg1->Value < ip->OperandDouble;
  2309. break;
  2310. default:
  2311. throw new NotImplementedException();
  2312. }
  2313. if (transfer)
  2314. {
  2315. ip = ptr + ip->Operand4;
  2316. continue;
  2317. }
  2318. }
  2319. break;
  2320. case OpCodeREnum.Ble:
  2321. case OpCodeREnum.Ble_S:
  2322. {
  2323. reg1 = (r + ip->Register1);
  2324. reg2 = (r + ip->Register2);
  2325. transfer = false;
  2326. switch (reg1->ObjectType)
  2327. {
  2328. case ObjectTypes.Integer:
  2329. transfer = reg1->Value <= reg2->Value;
  2330. break;
  2331. case ObjectTypes.Long:
  2332. transfer = *(long*)&reg1->Value <= *(long*)&reg2->Value;
  2333. break;
  2334. case ObjectTypes.Float:
  2335. transfer = *(float*)&reg1->Value <= *(float*)&reg2->Value;
  2336. break;
  2337. case ObjectTypes.Double:
  2338. transfer = *(double*)&reg1->Value <= *(double*)&reg2->Value;
  2339. break;
  2340. default:
  2341. throw new NotImplementedException();
  2342. }
  2343. if (transfer)
  2344. {
  2345. ip = ptr + ip->Operand;
  2346. continue;
  2347. }
  2348. }
  2349. break;
  2350. case OpCodeREnum.Blei:
  2351. {
  2352. reg1 = (r + ip->Register1);
  2353. transfer = false;
  2354. switch (reg1->ObjectType)
  2355. {
  2356. case ObjectTypes.Integer:
  2357. transfer = reg1->Value <= ip->Operand;
  2358. break;
  2359. case ObjectTypes.Long:
  2360. transfer = *(long*)&reg1->Value <= ip->OperandLong;
  2361. break;
  2362. case ObjectTypes.Float:
  2363. transfer = *(float*)&reg1->Value <= ip->OperandFloat;
  2364. break;
  2365. case ObjectTypes.Double:
  2366. transfer = *(double*)&reg1->Value <= ip->OperandDouble;
  2367. break;
  2368. default:
  2369. throw new NotImplementedException();
  2370. }
  2371. if (transfer)
  2372. {
  2373. ip = ptr + ip->Operand4;
  2374. continue;
  2375. }
  2376. }
  2377. break;
  2378. case OpCodeREnum.Ble_Un:
  2379. case OpCodeREnum.Ble_Un_S:
  2380. {
  2381. reg1 = (r + ip->Register1);
  2382. reg2 = (r + ip->Register2);
  2383. transfer = false;
  2384. switch (reg1->ObjectType)
  2385. {
  2386. case ObjectTypes.Integer:
  2387. transfer = (uint)reg1->Value <= (uint)reg2->Value;
  2388. break;
  2389. case ObjectTypes.Long:
  2390. transfer = *(ulong*)&reg1->Value <= *(ulong*)&reg2->Value;
  2391. break;
  2392. case ObjectTypes.Float:
  2393. transfer = *(float*)&reg1->Value <= *(float*)&reg2->Value;
  2394. break;
  2395. case ObjectTypes.Double:
  2396. transfer = *(double*)&reg1->Value <= *(double*)&reg2->Value;
  2397. break;
  2398. default:
  2399. throw new NotImplementedException();
  2400. }
  2401. if (transfer)
  2402. {
  2403. ip = ptr + ip->Operand;
  2404. continue;
  2405. }
  2406. }
  2407. break;
  2408. case OpCodeREnum.Blei_Un:
  2409. {
  2410. reg1 = (r + ip->Register1);
  2411. transfer = false;
  2412. switch (reg1->ObjectType)
  2413. {
  2414. case ObjectTypes.Integer:
  2415. transfer = (uint)reg1->Value <= (uint)ip->Operand;
  2416. break;
  2417. case ObjectTypes.Long:
  2418. transfer = *(ulong*)&reg1->Value <= (ulong)ip->OperandLong;
  2419. break;
  2420. case ObjectTypes.Float:
  2421. transfer = *(float*)&reg1->Value <= ip->OperandFloat;
  2422. break;
  2423. case ObjectTypes.Double:
  2424. transfer = *(double*)&reg1->Value <= ip->OperandDouble;
  2425. break;
  2426. default:
  2427. throw new NotImplementedException();
  2428. }
  2429. if (transfer)
  2430. {
  2431. ip = ptr + ip->Operand4;
  2432. continue;
  2433. }
  2434. }
  2435. break;
  2436. case OpCodeREnum.Bgt:
  2437. case OpCodeREnum.Bgt_S:
  2438. {
  2439. reg1 = (r + ip->Register1);
  2440. reg2 = (r + ip->Register2);
  2441. transfer = false;
  2442. switch (reg1->ObjectType)
  2443. {
  2444. case ObjectTypes.Integer:
  2445. transfer = reg1->Value > reg2->Value;
  2446. break;
  2447. case ObjectTypes.Long:
  2448. transfer = *(long*)&reg1->Value > *(long*)&reg2->Value;
  2449. break;
  2450. case ObjectTypes.Float:
  2451. transfer = *(float*)&reg1->Value > *(float*)&reg2->Value;
  2452. break;
  2453. case ObjectTypes.Double:
  2454. transfer = *(double*)&reg1->Value > *(double*)&reg2->Value;
  2455. break;
  2456. default:
  2457. throw new NotImplementedException();
  2458. }
  2459. if (transfer)
  2460. {
  2461. ip = ptr + ip->Operand;
  2462. continue;
  2463. }
  2464. }
  2465. break;
  2466. case OpCodeREnum.Bgti:
  2467. {
  2468. reg1 = (r + ip->Register1);
  2469. transfer = false;
  2470. switch (reg1->ObjectType)
  2471. {
  2472. case ObjectTypes.Integer:
  2473. transfer = reg1->Value > ip->Operand;
  2474. break;
  2475. case ObjectTypes.Long:
  2476. transfer = *(long*)&reg1->Value > ip->OperandLong;
  2477. break;
  2478. case ObjectTypes.Float:
  2479. transfer = *(float*)&reg1->Value > ip->OperandFloat;
  2480. break;
  2481. case ObjectTypes.Double:
  2482. transfer = *(double*)&reg1->Value > ip->OperandDouble;
  2483. break;
  2484. default:
  2485. throw new NotImplementedException();
  2486. }
  2487. if (transfer)
  2488. {
  2489. ip = ptr + ip->Operand4;
  2490. continue;
  2491. }
  2492. }
  2493. break;
  2494. case OpCodeREnum.Bgt_Un:
  2495. case OpCodeREnum.Bgt_Un_S:
  2496. {
  2497. reg1 = (r + ip->Register1);
  2498. reg2 = (r + ip->Register2);
  2499. transfer = false;
  2500. switch (reg1->ObjectType)
  2501. {
  2502. case ObjectTypes.Integer:
  2503. transfer = (uint)reg1->Value > (uint)reg2->Value;
  2504. break;
  2505. case ObjectTypes.Long:
  2506. transfer = *(ulong*)&reg1->Value > *(ulong*)&reg2->Value;
  2507. break;
  2508. case ObjectTypes.Float:
  2509. transfer = *(float*)&reg1->Value > *(float*)&reg2->Value;
  2510. break;
  2511. case ObjectTypes.Double:
  2512. transfer = *(double*)&reg1->Value > *(double*)&reg2->Value;
  2513. break;
  2514. default:
  2515. throw new NotImplementedException();
  2516. }
  2517. if (transfer)
  2518. {
  2519. ip = ptr + ip->Operand;
  2520. continue;
  2521. }
  2522. }
  2523. break;
  2524. case OpCodeREnum.Bgti_Un:
  2525. {
  2526. reg1 = (r + ip->Register1);
  2527. transfer = false;
  2528. switch (reg1->ObjectType)
  2529. {
  2530. case ObjectTypes.Integer:
  2531. transfer = (uint)reg1->Value > (uint)ip->Operand;
  2532. break;
  2533. case ObjectTypes.Long:
  2534. transfer = *(ulong*)&reg1->Value > (ulong)ip->OperandLong;
  2535. break;
  2536. case ObjectTypes.Float:
  2537. transfer = *(float*)&reg1->Value >ip->OperandFloat;
  2538. break;
  2539. case ObjectTypes.Double:
  2540. transfer = *(double*)&reg1->Value > ip->OperandDouble;
  2541. break;
  2542. default:
  2543. throw new NotImplementedException();
  2544. }
  2545. if (transfer)
  2546. {
  2547. ip = ptr + ip->Operand4;
  2548. continue;
  2549. }
  2550. }
  2551. break;
  2552. case OpCodeREnum.Bge:
  2553. case OpCodeREnum.Bge_S:
  2554. {
  2555. reg1 = (r + ip->Register1);
  2556. reg2 = (r + ip->Register2);
  2557. transfer = false;
  2558. switch (reg1->ObjectType)
  2559. {
  2560. case ObjectTypes.Integer:
  2561. transfer = reg1->Value >= reg2->Value;
  2562. break;
  2563. case ObjectTypes.Long:
  2564. transfer = *(long*)&reg1->Value >= *(long*)&reg2->Value;
  2565. break;
  2566. case ObjectTypes.Float:
  2567. transfer = *(float*)&reg1->Value >= *(float*)&reg2->Value;
  2568. break;
  2569. case ObjectTypes.Double:
  2570. transfer = *(double*)&reg1->Value >= *(double*)&reg2->Value;
  2571. break;
  2572. default:
  2573. throw new NotImplementedException();
  2574. }
  2575. if (transfer)
  2576. {
  2577. ip = ptr + ip->Operand;
  2578. continue;
  2579. }
  2580. }
  2581. break;
  2582. case OpCodeREnum.Bgei:
  2583. {
  2584. reg1 = (r + ip->Register1);
  2585. transfer = false;
  2586. switch (reg1->ObjectType)
  2587. {
  2588. case ObjectTypes.Integer:
  2589. transfer = reg1->Value >= ip->Operand;
  2590. break;
  2591. case ObjectTypes.Long:
  2592. transfer = *(long*)&reg1->Value >= ip->OperandLong;
  2593. break;
  2594. case ObjectTypes.Float:
  2595. transfer = *(float*)&reg1->Value >= ip->OperandFloat;
  2596. break;
  2597. case ObjectTypes.Double:
  2598. transfer = *(double*)&reg1->Value >= ip->OperandDouble;
  2599. break;
  2600. default:
  2601. throw new NotImplementedException();
  2602. }
  2603. if (transfer)
  2604. {
  2605. ip = ptr + ip->Operand4;
  2606. continue;
  2607. }
  2608. }
  2609. break;
  2610. case OpCodeREnum.Bge_Un:
  2611. case OpCodeREnum.Bge_Un_S:
  2612. {
  2613. reg1 = (r + ip->Register1);
  2614. reg2 = (r + ip->Register2);
  2615. transfer = false;
  2616. switch (reg1->ObjectType)
  2617. {
  2618. case ObjectTypes.Integer:
  2619. transfer = (uint)reg1->Value >= (uint)reg2->Value;
  2620. break;
  2621. case ObjectTypes.Long:
  2622. transfer = *(ulong*)&reg1->Value >= *(ulong*)&reg2->Value;
  2623. break;
  2624. case ObjectTypes.Float:
  2625. transfer = *(float*)&reg1->Value >= *(float*)&reg2->Value;
  2626. break;
  2627. case ObjectTypes.Double:
  2628. transfer = *(double*)&reg1->Value >= *(double*)&reg2->Value;
  2629. break;
  2630. default:
  2631. throw new NotImplementedException();
  2632. }
  2633. if (transfer)
  2634. {
  2635. ip = ptr + ip->Operand;
  2636. continue;
  2637. }
  2638. }
  2639. break;
  2640. case OpCodeREnum.Bgei_Un:
  2641. {
  2642. reg1 = (r + ip->Register1);
  2643. transfer = false;
  2644. switch (reg1->ObjectType)
  2645. {
  2646. case ObjectTypes.Integer:
  2647. transfer = (uint)reg1->Value >= (uint)ip->Operand;
  2648. break;
  2649. case ObjectTypes.Long:
  2650. transfer = *(ulong*)&reg1->Value >= (ulong)ip->OperandLong;
  2651. break;
  2652. case ObjectTypes.Float:
  2653. transfer = *(float*)&reg1->Value >= ip->OperandFloat;
  2654. break;
  2655. case ObjectTypes.Double:
  2656. transfer = *(double*)&reg1->Value >= ip->OperandDouble;
  2657. break;
  2658. default:
  2659. throw new NotImplementedException();
  2660. }
  2661. if (transfer)
  2662. {
  2663. ip = ptr + ip->Operand4;
  2664. continue;
  2665. }
  2666. }
  2667. break;
  2668. case OpCodeREnum.Switch:
  2669. {
  2670. intVal = (r + ip->Register1)->Value;
  2671. var table = method.JumpTablesRegister[ip->Operand];
  2672. if (intVal >= 0 && intVal < table.Length)
  2673. {
  2674. ip = ptr + table[intVal];
  2675. continue;
  2676. }
  2677. }
  2678. break;
  2679. case OpCodeREnum.Leave:
  2680. case OpCodeREnum.Leave_S:
  2681. {
  2682. if (ehs != null)
  2683. {
  2684. ExceptionHandler eh = null;
  2685. int addr = (int)(ip - ptr);
  2686. var sql = from e in ehs
  2687. where addr >= e.TryStart && addr <= e.TryEnd && (ip->Operand < e.TryStart || ip->Operand > e.TryEnd) && e.HandlerType == ExceptionHandlerType.Finally
  2688. select e;
  2689. eh = sql.FirstOrDefault();
  2690. if (eh != null)
  2691. {
  2692. finallyEndAddress = ip->Operand;
  2693. ip = ptr + eh.HandlerStart;
  2694. continue;
  2695. }
  2696. }
  2697. ip = ptr + ip->Operand;
  2698. continue;
  2699. }
  2700. case OpCodeREnum.Endfinally:
  2701. {
  2702. if (finallyEndAddress < 0)
  2703. {
  2704. unhandledException = true;
  2705. finallyEndAddress = 0;
  2706. throw lastCaughtEx;
  2707. }
  2708. else
  2709. {
  2710. ip = ptr + finallyEndAddress;
  2711. finallyEndAddress = 0;
  2712. continue;
  2713. }
  2714. }
  2715. case OpCodeREnum.Call:
  2716. case OpCodeREnum.Callvirt:
  2717. {
  2718. IMethod m = domain.GetMethod(ip->Operand2);
  2719. if (m == null)
  2720. {
  2721. //Irrelevant method
  2722. int cnt = Math.Max(ip->Operand3 - RegisterVM.JITCompiler.CallRegisterParamCount, 0);
  2723. //Balance the stack
  2724. for (int i = 0; i < cnt; i++)
  2725. {
  2726. Free(esp - 1);
  2727. esp--;
  2728. }
  2729. }
  2730. else
  2731. {
  2732. bool isILMethod = m is ILMethod;
  2733. bool useRegister = isILMethod && ((ILMethod)m).ShouldUseRegisterVM;
  2734. if (ip->Operand4 == 0)
  2735. {
  2736. intVal = m.HasThis ? m.ParameterCount + 1 : m.ParameterCount;
  2737. intVal = intVal - Math.Max((intVal - RegisterVM.JITCompiler.CallRegisterParamCount), 0);
  2738. for (int i = 0; i < intVal; i++)
  2739. {
  2740. switch (i)
  2741. {
  2742. case 0:
  2743. reg1 = (r + ip->Register2);
  2744. break;
  2745. case 1:
  2746. reg1 = (r + ip->Register3);
  2747. break;
  2748. case 2:
  2749. reg1 = (r + ip->Register4);
  2750. break;
  2751. default:
  2752. throw new NotSupportedException();
  2753. }
  2754. CopyToStack(esp, reg1, mStack);
  2755. if (useRegister && reg1->ObjectType < ObjectTypes.Object)
  2756. {
  2757. mStack.Add(null);
  2758. }
  2759. esp++;
  2760. }
  2761. }
  2762. if (isILMethod)
  2763. {
  2764. ILMethod ilm = (ILMethod)m;
  2765. bool processed = false;
  2766. if (m.IsDelegateInvoke)
  2767. {
  2768. var instance = StackObject.ToObject((esp - (m.ParameterCount + 1)), domain, mStack);
  2769. if (instance is IDelegateAdapter)
  2770. {
  2771. esp = ((IDelegateAdapter)instance).ILInvoke(this, esp, mStack);
  2772. processed = true;
  2773. }
  2774. }
  2775. if (!processed)
  2776. {
  2777. if (code == OpCodeREnum.Callvirt)
  2778. {
  2779. objRef = GetObjectAndResolveReference(esp - (ilm.ParameterCount + 1));
  2780. if (objRef->ObjectType == ObjectTypes.Null)
  2781. throw new NullReferenceException();
  2782. if (objRef->ObjectType == ObjectTypes.ValueTypeObjectReference)
  2783. {
  2784. dst = *(StackObject**)&objRef->Value;
  2785. var ft = domain.GetTypeByIndex(dst->Value) as ILType;
  2786. ilm = ft.GetVirtualMethod(ilm) as ILMethod;
  2787. }
  2788. else
  2789. {
  2790. obj = mStack[objRef->Value];
  2791. if (obj == null)
  2792. throw new NullReferenceException();
  2793. ilm = ((ILTypeInstance)obj).Type.GetVirtualMethod(ilm) as ILMethod;
  2794. }
  2795. }
  2796. if (useRegister)
  2797. esp = ExecuteR(ilm, esp, out unhandledException);
  2798. else
  2799. {
  2800. esp = Execute(ilm, esp, out unhandledException);
  2801. }
  2802. ValueTypeBasePointer = bp;
  2803. if (unhandledException)
  2804. returned = true;
  2805. }
  2806. }
  2807. else
  2808. {
  2809. CLRMethod cm = (CLRMethod)m;
  2810. bool processed = false;
  2811. if (cm.IsDelegateInvoke)
  2812. {
  2813. var instance = StackObject.ToObject((esp - (cm.ParameterCount + 1)), domain, mStack);
  2814. if (instance is IDelegateAdapter)
  2815. {
  2816. esp = ((IDelegateAdapter)instance).ILInvoke(this, esp, mStack);
  2817. processed = true;
  2818. }
  2819. }
  2820. if (!processed)
  2821. {
  2822. var redirect = cm.Redirection;
  2823. if (redirect != null)
  2824. esp = redirect(this, esp, mStack, cm, false);
  2825. else
  2826. {
  2827. #if DEBUG && !DISABLE_ILRUNTIME_DEBUG
  2828. if (!allowUnboundCLRMethod)
  2829. throw new NotSupportedException(cm.ToString() + " is not bound!");
  2830. #endif
  2831. #if DEBUG && !NO_PROFILER
  2832. if (System.Threading.Thread.CurrentThread.ManagedThreadId == AppDomain.UnityMainThreadID)
  2833. #if UNITY_5_5_OR_NEWER
  2834. UnityEngine.Profiling.Profiler.BeginSample(cm.ToString());
  2835. #else
  2836. UnityEngine.Profiler.BeginSample(cm.ToString());
  2837. #endif
  2838. #endif
  2839. object result = cm.Invoke(this, esp, mStack);
  2840. #if DEBUG && !NO_PROFILER
  2841. if (System.Threading.Thread.CurrentThread.ManagedThreadId == AppDomain.UnityMainThreadID)
  2842. #if UNITY_5_5_OR_NEWER
  2843. UnityEngine.Profiling.Profiler.EndSample();
  2844. #else
  2845. UnityEngine.Profiler.EndSample();
  2846. #endif
  2847. #endif
  2848. if (result is CrossBindingAdaptorType)
  2849. result = ((CrossBindingAdaptorType)result).ILInstance;
  2850. int paramCount = cm.ParameterCount;
  2851. for (int i = 1; i <= paramCount; i++)
  2852. {
  2853. Free(esp - (i));
  2854. }
  2855. esp = esp - (paramCount);
  2856. if (cm.HasThis)
  2857. {
  2858. Free(esp - 1);
  2859. esp--;
  2860. }
  2861. if (cm.ReturnType != AppDomain.VoidType && !cm.IsConstructor)
  2862. {
  2863. esp = PushObject(esp, mStack, result, cm.ReturnType.TypeForCLR == typeof(object));
  2864. }
  2865. }
  2866. }
  2867. }
  2868. if (m.ReturnType != AppDomain.VoidType && !m.IsConstructor)
  2869. {
  2870. esp = PopToRegister(ref info, ip->Register1, esp);
  2871. }
  2872. }
  2873. }
  2874. break;
  2875. #endregion
  2876. #region FieldOperation
  2877. case OpCodeREnum.Stfld:
  2878. {
  2879. reg2 = (r + ip->Register2);
  2880. objRef = GetObjectAndResolveReference((r + ip->Register1));
  2881. if (objRef->ObjectType == ObjectTypes.ValueTypeObjectReference)
  2882. {
  2883. dst = ILIntepreter.ResolveReference(objRef);
  2884. var ft = domain.GetTypeByIndex(dst->Value);
  2885. if (ft is ILType)
  2886. CopyToValueTypeField(dst, (int)ip->OperandLong, reg2, mStack);
  2887. else
  2888. CopyToValueTypeField(dst, ((CLRType)ft).FieldIndexMapping[(int)ip->OperandLong], reg2, mStack);
  2889. }
  2890. else
  2891. {
  2892. obj = RetriveObject(objRef, mStack);
  2893. if (obj != null)
  2894. {
  2895. if (obj is ILTypeInstance)
  2896. {
  2897. ILTypeInstance instance = obj as ILTypeInstance;
  2898. instance.AssignFromStack((int)ip->OperandLong, reg2, AppDomain, mStack);
  2899. }
  2900. else
  2901. {
  2902. var t = obj.GetType();
  2903. type = AppDomain.GetType((int)(ip->OperandLong >> 32));
  2904. if (type != null)
  2905. {
  2906. var fieldToken = (int)ip->OperandLong;
  2907. var f = ((CLRType)type).GetField(fieldToken);
  2908. CopyToStack(esp, reg2, mStack);
  2909. if (!((CLRType)type).AssignFieldFromStack(fieldToken, ref obj, this, esp, mStack))
  2910. ((CLRType)type).SetFieldValue(fieldToken, ref obj, f.FieldType.CheckCLRTypes(CheckAndCloneValueType(StackObject.ToObject(reg2, domain, mStack), domain)));
  2911. Free(esp);
  2912. //Writeback
  2913. if (t.IsValueType)
  2914. {
  2915. switch (objRef->ObjectType)
  2916. {
  2917. case ObjectTypes.Object:
  2918. mStack[objRef->Value] = obj;
  2919. break;
  2920. case ObjectTypes.FieldReference:
  2921. {
  2922. var oldObj = mStack[objRef->Value];
  2923. intVal = objRef->ValueLow;
  2924. if (oldObj is ILTypeInstance)
  2925. {
  2926. ((ILTypeInstance)oldObj)[intVal] = obj;
  2927. }
  2928. else
  2929. {
  2930. var it = AppDomain.GetType(oldObj.GetType());
  2931. ((CLRType)it).SetFieldValue(intVal, ref oldObj, obj);
  2932. }
  2933. }
  2934. break;
  2935. case ObjectTypes.ArrayReference:
  2936. {
  2937. var arr = mStack[objRef->Value] as Array;
  2938. int idx = objRef->ValueLow;
  2939. arr.SetValue(obj, idx);
  2940. }
  2941. break;
  2942. case ObjectTypes.StaticFieldReference:
  2943. {
  2944. var it = AppDomain.GetType(objRef->Value);
  2945. intVal = objRef->ValueLow;
  2946. if (it is ILType)
  2947. {
  2948. ((ILType)it).StaticInstance[intVal] = obj;
  2949. }
  2950. else
  2951. {
  2952. ((CLRType)it).SetStaticFieldValue(intVal, obj);
  2953. }
  2954. }
  2955. break;
  2956. case ObjectTypes.ValueTypeObjectReference:
  2957. {
  2958. dst = ILIntepreter.ResolveReference(objRef);
  2959. var ct = domain.GetTypeByIndex(dst->Value) as CLRType;
  2960. var binder = ct.ValueTypeBinder;
  2961. binder.CopyValueTypeToStack(obj, dst, mStack);
  2962. }
  2963. break;
  2964. default:
  2965. throw new NotImplementedException();
  2966. }
  2967. }
  2968. }
  2969. else
  2970. throw new TypeLoadException();
  2971. }
  2972. }
  2973. else
  2974. throw new NullReferenceException();
  2975. }
  2976. }
  2977. break;
  2978. case OpCodeREnum.Ldfld:
  2979. {
  2980. reg2 = (r + ip->Register2);
  2981. objRef = GetObjectAndResolveReference(reg2);
  2982. if (objRef->ObjectType == ObjectTypes.ValueTypeObjectReference)
  2983. {
  2984. dst = *(StackObject**)&objRef->Value;
  2985. var ft = domain.GetTypeByIndex(dst->Value);
  2986. if (ft is ILType)
  2987. val = dst - ((int)ip->OperandLong + 1);
  2988. else
  2989. val = dst - (((CLRType)ft).FieldIndexMapping[(int)ip->OperandLong] + 1);
  2990. //TODO: Check master modification
  2991. CopyToRegister(ref info, ip->Register1, val);
  2992. }
  2993. else
  2994. {
  2995. obj = RetriveObject(objRef, mStack);
  2996. if (obj != null)
  2997. {
  2998. if (obj is ILTypeInstance)
  2999. {
  3000. ILTypeInstance instance = obj as ILTypeInstance;
  3001. instance.CopyToRegister((int)ip->OperandLong, ref info, ip->Register1);//Check #345
  3002. }
  3003. else
  3004. {
  3005. //var t = obj.GetType();
  3006. type = AppDomain.GetType((int)(ip->OperandLong >> 32));
  3007. if (type != null)
  3008. {
  3009. var token = (int)ip->OperandLong;
  3010. if (!((CLRType)type).CopyFieldToStack(token, obj, this, ref esp, mStack))
  3011. {
  3012. var ft = ((CLRType)type).GetField(token);
  3013. obj = ((CLRType)type).GetFieldValue(token, obj);
  3014. if (obj is CrossBindingAdaptorType)
  3015. obj = ((CrossBindingAdaptorType)obj).ILInstance;
  3016. AssignToRegister(ref info, ip->Register1, obj, ft.FieldType == typeof(object));
  3017. }
  3018. else
  3019. {
  3020. esp = PopToRegister(ref info, ip->Register1, esp);
  3021. }
  3022. }
  3023. else
  3024. throw new TypeLoadException();
  3025. }
  3026. }
  3027. else
  3028. throw new NullReferenceException();
  3029. }
  3030. }
  3031. break;
  3032. case OpCodeREnum.Ldflda:
  3033. {
  3034. reg1 = (r + ip->Register1);
  3035. reg2 = (r + ip->Register2);
  3036. objRef = GetObjectAndResolveReference(reg2);
  3037. if (objRef->ObjectType == ObjectTypes.ValueTypeObjectReference)
  3038. {
  3039. var ft = domain.GetType((int)(ip->OperandLong >> 32));
  3040. StackObject* fieldAddr;
  3041. if (ft is ILType)
  3042. {
  3043. fieldAddr = ILIntepreter.ResolveReference(objRef) - ((int)ip->OperandLong + 1);
  3044. }
  3045. else
  3046. {
  3047. fieldAddr = ILIntepreter.ResolveReference(objRef) - (((CLRType)ft).FieldIndexMapping[(int)ip->OperandLong] + 1);
  3048. }
  3049. reg1->ObjectType = ObjectTypes.StackObjectReference;
  3050. *(long*)&reg1->Value = (long)fieldAddr;
  3051. }
  3052. else
  3053. {
  3054. obj = RetriveObject(objRef, mStack);
  3055. if (obj != null)
  3056. {
  3057. AssignToRegister(ref info, ip->Register1, obj);
  3058. reg1->ObjectType = ObjectTypes.FieldReference;
  3059. reg1->ValueLow = (int)ip->OperandLong;
  3060. }
  3061. else
  3062. throw new NullReferenceException();
  3063. }
  3064. }
  3065. break;
  3066. case OpCodeREnum.Stsfld:
  3067. {
  3068. type = AppDomain.GetType((int)(ip->OperandLong >> 32));
  3069. if (type != null)
  3070. {
  3071. reg1 = (r + ip->Register1);
  3072. if (type is ILType)
  3073. {
  3074. ILType t = type as ILType;
  3075. t.StaticInstance.AssignFromStack((int)ip->OperandLong, reg1, AppDomain, mStack);
  3076. }
  3077. else
  3078. {
  3079. CLRType t = type as CLRType;
  3080. intVal = (int)ip->OperandLong;
  3081. var f = t.GetField(intVal);
  3082. obj = null;
  3083. CopyToStack(esp, reg1, mStack);
  3084. if (!((CLRType)t).AssignFieldFromStack(intVal, ref obj, this, esp, mStack))
  3085. t.SetStaticFieldValue(intVal, f.FieldType.CheckCLRTypes(CheckAndCloneValueType(StackObject.ToObject(reg1, domain, mStack), domain)));
  3086. Free(esp);
  3087. }
  3088. }
  3089. else
  3090. throw new TypeLoadException();
  3091. }
  3092. break;
  3093. case OpCodeREnum.Ldsfld:
  3094. {
  3095. type = AppDomain.GetType((int)(ip->OperandLong >> 32));
  3096. if (type != null)
  3097. {
  3098. if (type is ILType)
  3099. {
  3100. ILType t = type as ILType;
  3101. t.StaticInstance.CopyToRegister((int)ip->OperandLong, ref info, ip->Register1);
  3102. }
  3103. else
  3104. {
  3105. CLRType t = type as CLRType;
  3106. intVal = (int)ip->OperandLong;
  3107. if (!((CLRType)type).CopyFieldToStack(intVal, null, this, ref esp, mStack))
  3108. {
  3109. var f = t.GetField(intVal);
  3110. obj = t.GetFieldValue(intVal, null);
  3111. if (obj is CrossBindingAdaptorType)
  3112. obj = ((CrossBindingAdaptorType)obj).ILInstance;
  3113. AssignToRegister(ref info, ip->Register1, obj, f.FieldType == typeof(object));
  3114. }
  3115. else
  3116. {
  3117. esp = PopToRegister(ref info, ip->Register1, esp);
  3118. }
  3119. }
  3120. }
  3121. else
  3122. throw new TypeLoadException();
  3123. }
  3124. break;
  3125. case OpCodeREnum.Ldsflda:
  3126. {
  3127. reg1 = (r + ip->Register1);
  3128. reg1->ObjectType = ObjectTypes.StaticFieldReference;
  3129. reg1->Value = (int)(ip->OperandLong >> 32);
  3130. reg1->ValueLow = (int)(ip->OperandLong);
  3131. }
  3132. break;
  3133. #endregion
  3134. #region Initialization & Instantiation
  3135. case OpCodeREnum.Newobj:
  3136. {
  3137. IMethod m = domain.GetMethod(ip->Operand2);
  3138. if (m != null)
  3139. {
  3140. intVal = m.ParameterCount;
  3141. intVal = intVal - Math.Max((intVal - RegisterVM.JITCompiler.CallRegisterParamCount), 0);
  3142. for (int i = 0; i < intVal; i++)
  3143. {
  3144. switch (i)
  3145. {
  3146. case 0:
  3147. reg1 = (r + ip->Register2);
  3148. break;
  3149. case 1:
  3150. reg1 = (r + ip->Register3);
  3151. break;
  3152. case 2:
  3153. reg1 = (r + ip->Register4);
  3154. break;
  3155. default:
  3156. throw new NotSupportedException();
  3157. }
  3158. CopyToStack(esp, reg1, mStack);
  3159. esp++;
  3160. }
  3161. }
  3162. if (m is ILMethod)
  3163. {
  3164. type = m.DeclearingType as ILType;
  3165. if (type.IsDelegate)
  3166. {
  3167. objRef = GetObjectAndResolveReference(esp - 1 - 1);
  3168. var mi = (IMethod)mStack[(esp - 1)->Value];
  3169. object ins;
  3170. if (objRef->ObjectType == ObjectTypes.Null)
  3171. ins = null;
  3172. else
  3173. ins = mStack[objRef->Value];
  3174. Free(esp - 1);
  3175. Free(esp - 1 - 1);
  3176. esp = esp - 1 - 1;
  3177. object dele;
  3178. var ilMethod = mi as ILMethod;
  3179. if (ilMethod != null)
  3180. {
  3181. if (ins != null)
  3182. {
  3183. dele = ((ILTypeInstance)ins).GetDelegateAdapter(ilMethod);
  3184. if (dele == null)
  3185. {
  3186. var invokeMethod = type.GetMethod("Invoke", mi.ParameterCount);
  3187. if (invokeMethod == null && ilMethod.IsExtend)
  3188. {
  3189. invokeMethod = type.GetMethod("Invoke", mi.ParameterCount - 1);
  3190. }
  3191. dele = domain.DelegateManager.FindDelegateAdapter(
  3192. (ILTypeInstance)ins, ilMethod, invokeMethod);
  3193. }
  3194. }
  3195. else
  3196. {
  3197. if (ilMethod.DelegateAdapter == null)
  3198. {
  3199. var invokeMethod = type.GetMethod("Invoke", mi.ParameterCount);
  3200. ilMethod.DelegateAdapter = domain.DelegateManager.FindDelegateAdapter(null, ilMethod, invokeMethod);
  3201. }
  3202. dele = ilMethod.DelegateAdapter;
  3203. }
  3204. }
  3205. else
  3206. {
  3207. throw new NotImplementedException();
  3208. }
  3209. esp = PushObject(esp, mStack, dele);
  3210. }
  3211. else
  3212. {
  3213. reg1 = esp - m.ParameterCount;
  3214. obj = null;
  3215. bool isValueType = type.IsValueType;
  3216. bool useRegister = ((ILMethod)m).ShouldUseRegisterVM;
  3217. if (isValueType)
  3218. {
  3219. stack.AllocValueType(esp, type);
  3220. objRef = esp + 1;
  3221. objRef->ObjectType = ObjectTypes.StackObjectReference;
  3222. *(StackObject**)&objRef->Value = esp;
  3223. if (useRegister)
  3224. mStack.Add(null);
  3225. objRef++;
  3226. }
  3227. else
  3228. {
  3229. obj = ((ILType)type).Instantiate(false);
  3230. #if DEBUG
  3231. if (obj == null)
  3232. throw new NullReferenceException();
  3233. #endif
  3234. objRef = PushObject(esp, mStack, obj);//this parameter for constructor
  3235. }
  3236. esp = objRef;
  3237. for (int i = 0; i < m.ParameterCount; i++)
  3238. {
  3239. CopyToStack(esp, reg1 + i, mStack);
  3240. if (esp->ObjectType < ObjectTypes.Object && useRegister)
  3241. {
  3242. mStack.Add(null);
  3243. }
  3244. esp++;
  3245. }
  3246. if (useRegister)
  3247. esp = ExecuteR(((ILMethod)m), esp, out unhandledException);
  3248. else
  3249. {
  3250. esp = Execute(((ILMethod)m), esp, out unhandledException);
  3251. }
  3252. ValueTypeBasePointer = bp;
  3253. if (isValueType)
  3254. {
  3255. var ins = objRef - 1 - 1;
  3256. *reg1 = *ins;
  3257. esp = reg1 + 1;
  3258. }
  3259. else
  3260. {
  3261. //PushToRegister(ref info, ip->Register1, obj);
  3262. //mStack[reg1->Value] = obj;
  3263. esp = PushObject(reg1, mStack, obj);//new constructedObj
  3264. }
  3265. }
  3266. if (unhandledException)
  3267. returned = true;
  3268. }
  3269. else
  3270. {
  3271. CLRMethod cm = (CLRMethod)m;
  3272. //Means new object();
  3273. if (cm == null)
  3274. {
  3275. esp = PushObject(esp, mStack, new object());
  3276. }
  3277. else
  3278. {
  3279. if (cm.DeclearingType.IsDelegate)
  3280. {
  3281. objRef = GetObjectAndResolveReference(esp - 1 - 1);
  3282. var mi = (IMethod)mStack[(esp - 1)->Value];
  3283. object ins;
  3284. if (objRef->ObjectType == ObjectTypes.Null)
  3285. ins = null;
  3286. else
  3287. ins = mStack[objRef->Value];
  3288. Free(esp - 1);
  3289. Free(esp - 1 - 1);
  3290. esp = esp - 1 - 1;
  3291. object dele;
  3292. var ilMethod = mi as ILMethod;
  3293. if (ilMethod != null)
  3294. {
  3295. dele = domain.DelegateManager.FindDelegateAdapter((CLRType)cm.DeclearingType, (ILTypeInstance)ins, ilMethod);
  3296. }
  3297. else
  3298. {
  3299. if (ins is ILTypeInstance)
  3300. ins = ((ILTypeInstance)ins).CLRInstance;
  3301. dele = Delegate.CreateDelegate(cm.DeclearingType.TypeForCLR, ins, ((CLRMethod)mi).MethodInfo);
  3302. }
  3303. esp = PushObject(esp, mStack, dele);
  3304. }
  3305. else
  3306. {
  3307. var redirect = cm.Redirection;
  3308. if (redirect != null)
  3309. esp = redirect(this, esp, mStack, cm, true);
  3310. else
  3311. {
  3312. #if DEBUG && !DISABLE_ILRUNTIME_DEBUG
  3313. if (!allowUnboundCLRMethod)
  3314. throw new NotSupportedException(cm.ToString() + " is not bound!");
  3315. #endif
  3316. object result = cm.Invoke(this, esp, mStack, true);
  3317. int paramCount = cm.ParameterCount;
  3318. for (int i = 1; i <= paramCount; i++)
  3319. {
  3320. Free(esp - i);
  3321. }
  3322. esp = esp - (paramCount);
  3323. esp = PushObject(esp, mStack, result);//new constructedObj
  3324. }
  3325. }
  3326. }
  3327. }
  3328. esp = PopToRegister(ref info, ip->Register1, esp);
  3329. }
  3330. break;
  3331. case OpCodeREnum.Box:
  3332. {
  3333. reg1 = (r + ip->Register1);
  3334. objRef = (r + ip->Register2);
  3335. type = domain.GetType(ip->Operand);
  3336. if (type != null)
  3337. {
  3338. if (type is ILType)
  3339. {
  3340. if (((ILType)type).IsEnum)
  3341. {
  3342. ILEnumTypeInstance ins = new Intepreter.ILEnumTypeInstance((ILType)type);
  3343. ins.AssignFromStack(0, objRef, AppDomain, mStack);
  3344. ins.Boxed = true;
  3345. AssignToRegister(ref info, ip->Register1, ins, true);
  3346. }
  3347. else
  3348. {
  3349. switch (objRef->ObjectType)
  3350. {
  3351. case ObjectTypes.Null:
  3352. break;
  3353. case ObjectTypes.ValueTypeObjectReference:
  3354. {
  3355. ILTypeInstance ins = ((ILType)type).Instantiate(false);
  3356. ins.AssignFromStack(objRef, domain, mStack);
  3357. //FreeStackValueType(obj);
  3358. AssignToRegister(ref info, ip->Register1, ins, true);
  3359. }
  3360. break;
  3361. default:
  3362. {
  3363. obj = mStack[objRef->Value];
  3364. //Free(obj);
  3365. if (type.IsArray)
  3366. {
  3367. AssignToRegister(ref info, ip->Register1, obj, true);
  3368. }
  3369. else
  3370. {
  3371. ILTypeInstance ins = (ILTypeInstance)obj;
  3372. if (ins != null)
  3373. {
  3374. if (ins.IsValueType)
  3375. {
  3376. ins.Boxed = true;
  3377. }
  3378. AssignToRegister(ref info, ip->Register1, ins, true);
  3379. }
  3380. else
  3381. {
  3382. AssignToRegister(ref info, ip->Register1, null, false);
  3383. }
  3384. }
  3385. }
  3386. break;
  3387. }
  3388. }
  3389. }
  3390. else
  3391. {
  3392. if (type.TypeForCLR.IsPrimitive)
  3393. {
  3394. var t = type.TypeForCLR;
  3395. if (t == typeof(int))
  3396. {
  3397. switch (objRef->ObjectType)
  3398. {
  3399. case ObjectTypes.Integer:
  3400. AssignToRegister(ref info, ip->Register1, objRef->Value, true);
  3401. break;
  3402. case ObjectTypes.Null:
  3403. AssignToRegister(ref info, ip->Register1, 0, true);
  3404. break;
  3405. case ObjectTypes.Object:
  3406. break;
  3407. default:
  3408. throw new NotImplementedException();
  3409. }
  3410. }
  3411. else if (t == typeof(bool))
  3412. {
  3413. switch (objRef->ObjectType)
  3414. {
  3415. case ObjectTypes.Integer:
  3416. AssignToRegister(ref info, ip->Register1, objRef->Value == 1, true);
  3417. break;
  3418. case ObjectTypes.Null:
  3419. AssignToRegister(ref info, ip->Register1, false, true);
  3420. break;
  3421. case ObjectTypes.Object:
  3422. break;
  3423. default:
  3424. throw new NotImplementedException();
  3425. }
  3426. }
  3427. else if (t == typeof(byte))
  3428. {
  3429. switch (objRef->ObjectType)
  3430. {
  3431. case ObjectTypes.Integer:
  3432. AssignToRegister(ref info, ip->Register1, (byte)objRef->Value, true);
  3433. break;
  3434. case ObjectTypes.Null:
  3435. AssignToRegister(ref info, ip->Register1, (byte)0, true);
  3436. break;
  3437. case ObjectTypes.Object:
  3438. break;
  3439. default:
  3440. throw new NotImplementedException();
  3441. }
  3442. }
  3443. else if (t == typeof(short))
  3444. {
  3445. switch (objRef->ObjectType)
  3446. {
  3447. case ObjectTypes.Integer:
  3448. AssignToRegister(ref info, ip->Register1, (short)objRef->Value, true);
  3449. break;
  3450. case ObjectTypes.Null:
  3451. AssignToRegister(ref info, ip->Register1, (short)0, true);
  3452. break;
  3453. case ObjectTypes.Object:
  3454. break;
  3455. default:
  3456. throw new NotImplementedException();
  3457. }
  3458. }
  3459. else if (t == typeof(long))
  3460. {
  3461. switch (objRef->ObjectType)
  3462. {
  3463. case ObjectTypes.Long:
  3464. AssignToRegister(ref info, ip->Register1, *(long*)&objRef->Value, true);
  3465. break;
  3466. case ObjectTypes.Null:
  3467. AssignToRegister(ref info, ip->Register1, 0L, true);
  3468. break;
  3469. case ObjectTypes.Object:
  3470. break;
  3471. default:
  3472. throw new NotImplementedException();
  3473. }
  3474. }
  3475. else if (t == typeof(float))
  3476. {
  3477. switch (objRef->ObjectType)
  3478. {
  3479. case ObjectTypes.Float:
  3480. AssignToRegister(ref info, ip->Register1, *(float*)&objRef->Value, true);
  3481. break;
  3482. case ObjectTypes.Null:
  3483. AssignToRegister(ref info, ip->Register1, 0f, true);
  3484. break;
  3485. case ObjectTypes.Object:
  3486. break;
  3487. default:
  3488. throw new NotImplementedException();
  3489. }
  3490. }
  3491. else if (t == typeof(double))
  3492. {
  3493. switch (objRef->ObjectType)
  3494. {
  3495. case ObjectTypes.Double:
  3496. AssignToRegister(ref info, ip->Register1, *(double*)&objRef->Value, true);
  3497. break;
  3498. case ObjectTypes.Null:
  3499. AssignToRegister(ref info, ip->Register1, 0.0, true);
  3500. break;
  3501. case ObjectTypes.Object:
  3502. break;
  3503. default:
  3504. throw new NotImplementedException();
  3505. }
  3506. }
  3507. else if (t == typeof(char))
  3508. {
  3509. switch (objRef->ObjectType)
  3510. {
  3511. case ObjectTypes.Integer:
  3512. AssignToRegister(ref info, ip->Register1, (char)objRef->Value, true);
  3513. break;
  3514. case ObjectTypes.Object:
  3515. break;
  3516. default:
  3517. throw new NotImplementedException();
  3518. }
  3519. }
  3520. else if (t == typeof(uint))
  3521. {
  3522. switch (objRef->ObjectType)
  3523. {
  3524. case ObjectTypes.Integer:
  3525. AssignToRegister(ref info, ip->Register1, (uint)objRef->Value, true);
  3526. break;
  3527. case ObjectTypes.Null:
  3528. AssignToRegister(ref info, ip->Register1, (uint)0, true);
  3529. break;
  3530. case ObjectTypes.Object:
  3531. break;
  3532. default:
  3533. throw new NotImplementedException();
  3534. }
  3535. }
  3536. else if (t == typeof(ushort))
  3537. {
  3538. switch (objRef->ObjectType)
  3539. {
  3540. case ObjectTypes.Integer:
  3541. AssignToRegister(ref info, ip->Register1, (ushort)objRef->Value, true);
  3542. break;
  3543. case ObjectTypes.Null:
  3544. AssignToRegister(ref info, ip->Register1, (ushort)0, true);
  3545. break;
  3546. case ObjectTypes.Object:
  3547. break;
  3548. default:
  3549. throw new NotImplementedException();
  3550. }
  3551. }
  3552. else if (t == typeof(ulong))
  3553. {
  3554. switch (objRef->ObjectType)
  3555. {
  3556. case ObjectTypes.Long:
  3557. AssignToRegister(ref info, ip->Register1, *(ulong*)&objRef->Value, true);
  3558. break;
  3559. case ObjectTypes.Null:
  3560. AssignToRegister(ref info, ip->Register1, (ulong)0, true);
  3561. break;
  3562. case ObjectTypes.Object:
  3563. break;
  3564. default:
  3565. throw new NotImplementedException();
  3566. }
  3567. }
  3568. else if (t == typeof(sbyte))
  3569. {
  3570. switch (objRef->ObjectType)
  3571. {
  3572. case ObjectTypes.Integer:
  3573. AssignToRegister(ref info, ip->Register1, (sbyte)objRef->Value, true);
  3574. break;
  3575. case ObjectTypes.Null:
  3576. AssignToRegister(ref info, ip->Register1, (sbyte)0, true);
  3577. break;
  3578. case ObjectTypes.Object:
  3579. break;
  3580. default:
  3581. throw new NotImplementedException();
  3582. }
  3583. }
  3584. else
  3585. throw new NotImplementedException();
  3586. }
  3587. else if (type.TypeForCLR.IsEnum)
  3588. {
  3589. AssignToRegister(ref info, ip->Register1, Enum.ToObject(type.TypeForCLR, StackObject.ToObject(objRef, AppDomain, mStack)), true);
  3590. }
  3591. else
  3592. {
  3593. if (objRef->ObjectType == ObjectTypes.ValueTypeObjectReference)
  3594. {
  3595. dst = *(StackObject**)&objRef->Value;
  3596. var vt = domain.GetTypeByIndex(dst->Value);
  3597. if (vt != type)
  3598. throw new InvalidCastException();
  3599. obj = ((CLRType)vt).ValueTypeBinder.ToObject(dst, mStack);
  3600. AssignToRegister(ref info, ip->Register1, obj, true);
  3601. }
  3602. else if (objRef->ObjectType == ObjectTypes.Object)
  3603. {
  3604. obj = mStack[objRef->Value];
  3605. AssignToRegister(ref info, ip->Register1, obj, true);
  3606. }
  3607. else
  3608. {
  3609. CopyToRegister(ref info, ip->Register1, objRef);
  3610. }
  3611. }
  3612. }
  3613. }
  3614. else
  3615. throw new NullReferenceException();
  3616. //esp = PopToRegister(ref info, ip->Register1, esp);
  3617. }
  3618. break;
  3619. case OpCodeREnum.Constrained:
  3620. {
  3621. type = domain.GetType(ip->Operand);
  3622. var m = domain.GetMethod((int)ip->Operand2);
  3623. var pCnt = m.ParameterCount;
  3624. objRef = esp - (pCnt + 1);
  3625. var insIdx = mStack.Count;
  3626. if (objRef->ObjectType < ObjectTypes.Object)
  3627. {
  3628. bool moved = false;
  3629. //move parameters
  3630. for (int i = 0; i < pCnt; i++)
  3631. {
  3632. var pPtr = esp - (i + 1);
  3633. if (pPtr->ObjectType >= ObjectTypes.Object)
  3634. {
  3635. var oldVal = pPtr->Value;
  3636. insIdx--;
  3637. if (!moved)
  3638. {
  3639. pPtr->Value = mStack.Count;
  3640. mStack.Add(mStack[oldVal]);
  3641. mStack[oldVal] = null;
  3642. moved = true;
  3643. }
  3644. else
  3645. {
  3646. mStack[oldVal + 1] = mStack[oldVal];
  3647. mStack[oldVal] = null;
  3648. pPtr->Value = oldVal + 1;
  3649. }
  3650. }
  3651. }
  3652. if (!moved)
  3653. {
  3654. mStack.Add(null);
  3655. }
  3656. }
  3657. else
  3658. insIdx = objRef->Value;
  3659. objRef2 = GetObjectAndResolveReference(objRef);
  3660. if (type != null)
  3661. {
  3662. if (type is ILType)
  3663. {
  3664. var t = (ILType)type;
  3665. if (t.IsEnum)
  3666. {
  3667. ILEnumTypeInstance ins = new ILEnumTypeInstance(t);
  3668. switch (objRef2->ObjectType)
  3669. {
  3670. case ObjectTypes.FieldReference:
  3671. {
  3672. var owner = mStack[objRef2->Value] as ILTypeInstance;
  3673. int idx = objRef2->ValueLow;
  3674. //Free(objRef);
  3675. owner.PushToStack(idx, objRef, this, mStack);
  3676. ins.AssignFromStack(0, objRef, AppDomain, mStack);
  3677. ins.Boxed = true;
  3678. }
  3679. break;
  3680. case ObjectTypes.StaticFieldReference:
  3681. {
  3682. var st = AppDomain.GetType(objRef2->Value) as ILType;
  3683. int idx = objRef2->ValueLow;
  3684. //Free(objRef);
  3685. st.StaticInstance.PushToStack(idx, objRef, this, mStack);
  3686. ins.AssignFromStack(0, objRef, AppDomain, mStack);
  3687. ins.Boxed = true;
  3688. }
  3689. break;
  3690. case ObjectTypes.ArrayReference:
  3691. {
  3692. var arr = mStack[objRef2->Value];
  3693. var idx = objRef2->ValueLow;
  3694. //Free(objRef);
  3695. LoadFromArrayReference(arr, idx, objRef, t, mStack);
  3696. ins.AssignFromStack(0, objRef, AppDomain, mStack);
  3697. ins.Boxed = true;
  3698. }
  3699. break;
  3700. default:
  3701. ins.AssignFromStack(0, objRef2, AppDomain, mStack);
  3702. ins.Boxed = true;
  3703. break;
  3704. }
  3705. objRef->ObjectType = ObjectTypes.Object;
  3706. objRef->Value = insIdx;
  3707. mStack[insIdx] = ins;
  3708. //esp = PushObject(esp - 1, mStack, ins);
  3709. }
  3710. else if (objRef2->ObjectType != ObjectTypes.ValueTypeObjectReference)
  3711. {
  3712. object res = RetriveObject(objRef2, mStack);
  3713. //Free(objRef);
  3714. objRef->ObjectType = ObjectTypes.Object;
  3715. objRef->Value = insIdx;
  3716. mStack[insIdx] = res;
  3717. //esp = PushObject(objRef, mStack, res, true);
  3718. }
  3719. }
  3720. else
  3721. {
  3722. var tt = type.TypeForCLR;
  3723. if (tt.IsEnum)
  3724. {
  3725. mStack[insIdx] = Enum.ToObject(tt, StackObject.ToObject(objRef2, AppDomain, mStack));
  3726. objRef->ObjectType = ObjectTypes.Object;
  3727. objRef->Value = insIdx;
  3728. //esp = PushObject(esp - 1, mStack, Enum.ToObject(tt, StackObject.ToObject(obj, AppDomain, mStack)), true);
  3729. }
  3730. else if (tt.IsPrimitive)
  3731. {
  3732. mStack[insIdx] = tt.CheckCLRTypes(StackObject.ToObject(objRef2, AppDomain, mStack));
  3733. objRef->ObjectType = ObjectTypes.Object;
  3734. objRef->Value = insIdx;
  3735. //esp = PushObject(esp - 1, mStack, tt.CheckCLRTypes(StackObject.ToObject(obj, AppDomain, mStack)));
  3736. }
  3737. else if (objRef2->ObjectType != ObjectTypes.ValueTypeObjectReference)
  3738. {
  3739. object res = RetriveObject(objRef2, mStack);
  3740. //Free(objRef);
  3741. objRef->ObjectType = ObjectTypes.Object;
  3742. objRef->Value = insIdx;
  3743. mStack[insIdx] = res;
  3744. //esp = PushObject(objRef, mStack, res, true);
  3745. }
  3746. }
  3747. }
  3748. else
  3749. throw new NullReferenceException();
  3750. }
  3751. break;
  3752. case OpCodeREnum.Unbox:
  3753. case OpCodeREnum.Unbox_Any:
  3754. {
  3755. objRef = (r + ip->Register2);
  3756. if (objRef->ObjectType == ObjectTypes.Object)
  3757. {
  3758. obj = mStack[objRef->Value];
  3759. if (obj != null)
  3760. {
  3761. var t = domain.GetType(ip->Operand);
  3762. if (t != null)
  3763. {
  3764. clrType = t.TypeForCLR;
  3765. bool isEnumObj = obj is ILEnumTypeInstance;
  3766. if ((t is CLRType) && clrType.IsPrimitive && !isEnumObj)
  3767. {
  3768. reg1 = (r + ip->Register1);
  3769. if (clrType == typeof(int))
  3770. {
  3771. intVal = obj.ToInt32();
  3772. reg1->ObjectType = ObjectTypes.Integer;
  3773. reg1->Value = intVal;
  3774. }
  3775. else if (clrType == typeof(bool))
  3776. {
  3777. var boolVal = (bool)obj;
  3778. reg1->ObjectType = ObjectTypes.Integer;
  3779. reg1->Value = boolVal ? 1 : 0;
  3780. }
  3781. else if (clrType == typeof(short))
  3782. {
  3783. short shortVal = obj.ToInt16();
  3784. reg1->ObjectType = ObjectTypes.Integer;
  3785. reg1->Value = shortVal;
  3786. }
  3787. else if (clrType == typeof(long))
  3788. {
  3789. longVal = obj.ToInt64();
  3790. reg1->ObjectType = ObjectTypes.Long;
  3791. *(long*)&reg1->Value = longVal;
  3792. }
  3793. else if (clrType == typeof(float))
  3794. {
  3795. floatVal = obj.ToFloat();
  3796. reg1->ObjectType = ObjectTypes.Float;
  3797. *(float*)&reg1->Value = floatVal;
  3798. }
  3799. else if (clrType == typeof(byte))
  3800. {
  3801. byte bVal = (byte)obj;
  3802. reg1->ObjectType = ObjectTypes.Integer;
  3803. reg1->Value = bVal;
  3804. }
  3805. else if (clrType == typeof(double))
  3806. {
  3807. doubleVal = obj.ToDouble();
  3808. reg1->ObjectType = ObjectTypes.Double;
  3809. *(double*)&reg1->Value = doubleVal;
  3810. }
  3811. else if (clrType == typeof(char))
  3812. {
  3813. char cVal = (char)obj;
  3814. reg1->ObjectType = ObjectTypes.Integer;
  3815. *(char*)&reg1->Value = cVal;
  3816. }
  3817. else if (clrType == typeof(uint))
  3818. {
  3819. uint uVal = (uint)obj;
  3820. reg1->ObjectType = ObjectTypes.Integer;
  3821. reg1->Value = (int)uVal;
  3822. }
  3823. else if (clrType == typeof(ushort))
  3824. {
  3825. ushort usVal = (ushort)obj;
  3826. reg1->ObjectType = ObjectTypes.Integer;
  3827. reg1->Value = usVal;
  3828. }
  3829. else if (clrType == typeof(ulong))
  3830. {
  3831. ulong ulVal = (ulong)obj;
  3832. reg1->ObjectType = ObjectTypes.Long;
  3833. *(ulong*)&reg1->Value = ulVal;
  3834. }
  3835. else if (clrType == typeof(sbyte))
  3836. {
  3837. sbyte sbVal = (sbyte)obj;
  3838. reg1->ObjectType = ObjectTypes.Integer;
  3839. reg1->Value = sbVal;
  3840. }
  3841. else
  3842. throw new NotImplementedException();
  3843. }
  3844. else if (t.IsValueType)
  3845. {
  3846. if (obj is ILTypeInstance)
  3847. {
  3848. var res = ((ILTypeInstance)obj);
  3849. if (res is ILEnumTypeInstance)
  3850. {
  3851. res.CopyToRegister(0, ref info, ip->Register1);
  3852. }
  3853. else
  3854. {
  3855. if (res.Boxed)
  3856. {
  3857. res = res.Clone();
  3858. res.Boxed = false;
  3859. }
  3860. AssignToRegister(ref info, ip->Register1, res);
  3861. }
  3862. }
  3863. else
  3864. AssignToRegister(ref info, ip->Register1, obj);
  3865. }
  3866. else
  3867. {
  3868. AssignToRegister(ref info, ip->Register1, obj);
  3869. }
  3870. }
  3871. else
  3872. throw new TypeLoadException();
  3873. }
  3874. else
  3875. throw new NullReferenceException();
  3876. }
  3877. else if (objRef->ObjectType < ObjectTypes.StackObjectReference)
  3878. {
  3879. //Nothing to do with primitive types
  3880. }
  3881. else
  3882. throw new InvalidCastException();
  3883. }
  3884. break;
  3885. case OpCodeREnum.Initobj:
  3886. {
  3887. reg1 = (r + ip->Register1);
  3888. objRef = ip->Operand2 == 1 ? reg1 : GetObjectAndResolveReference(reg1);
  3889. type = domain.GetType(ip->Operand);
  3890. if (type is ILType)
  3891. {
  3892. ILType it = (ILType)type;
  3893. if (it.IsValueType)
  3894. {
  3895. if (it.IsEnum || it.IsPrimitive)
  3896. {
  3897. StackObject.Initialized(objRef, type);
  3898. }
  3899. else
  3900. {
  3901. if (objRef >= info.RegisterStart && objRef < info.RegisterEnd)
  3902. {
  3903. stack.AllocValueType(objRef, type, true);
  3904. }
  3905. else
  3906. {
  3907. switch (objRef->ObjectType)
  3908. {
  3909. case ObjectTypes.Null:
  3910. throw new NullReferenceException();
  3911. case ObjectTypes.ValueTypeObjectReference:
  3912. stack.ClearValueTypeObject(type, ILIntepreter.ResolveReference(objRef));
  3913. break;
  3914. case ObjectTypes.Object:
  3915. {
  3916. obj = mStack[objRef->Value];
  3917. if (obj == null)
  3918. {
  3919. throw new NotSupportedException();
  3920. }
  3921. if (obj is ILTypeInstance)
  3922. {
  3923. ILTypeInstance instance = obj as ILTypeInstance;
  3924. instance.Clear();
  3925. }
  3926. else
  3927. throw new NotSupportedException();
  3928. }
  3929. break;
  3930. case ObjectTypes.ArrayReference:
  3931. {
  3932. var arr = mStack[objRef->Value] as Array;
  3933. var idx = objRef->ValueLow;
  3934. obj = arr.GetValue(idx);
  3935. if (obj == null)
  3936. arr.SetValue(it.Instantiate(), idx);
  3937. else
  3938. {
  3939. if (obj is ILTypeInstance)
  3940. {
  3941. ILTypeInstance instance = obj as ILTypeInstance;
  3942. instance.Clear();
  3943. }
  3944. else
  3945. throw new NotImplementedException();
  3946. }
  3947. }
  3948. break;
  3949. case ObjectTypes.FieldReference:
  3950. {
  3951. obj = mStack[objRef->Value];
  3952. if (obj != null)
  3953. {
  3954. if (obj is ILTypeInstance)
  3955. {
  3956. ILTypeInstance instance = obj as ILTypeInstance;
  3957. var tar = instance[objRef->ValueLow] as ILTypeInstance;
  3958. if (tar != null)
  3959. tar.Clear();
  3960. else
  3961. throw new NotSupportedException();
  3962. }
  3963. else
  3964. throw new NotSupportedException();
  3965. }
  3966. else
  3967. throw new NullReferenceException();
  3968. }
  3969. break;
  3970. case ObjectTypes.StaticFieldReference:
  3971. {
  3972. var t = AppDomain.GetType(objRef->Value);
  3973. int idx = objRef->ValueLow;
  3974. if (t is ILType)
  3975. {
  3976. var tar = ((ILType)t).StaticInstance[idx] as ILTypeInstance;
  3977. if (tar != null)
  3978. tar.Clear();
  3979. else
  3980. throw new NotSupportedException();
  3981. }
  3982. else
  3983. throw new NotSupportedException();
  3984. }
  3985. break;
  3986. default:
  3987. throw new NotImplementedException();
  3988. }
  3989. }
  3990. }
  3991. }
  3992. else
  3993. {
  3994. PushNull(esp);
  3995. switch (objRef->ObjectType)
  3996. {
  3997. case ObjectTypes.StaticFieldReference:
  3998. {
  3999. var t = AppDomain.GetType(objRef->Value) as ILType;
  4000. t.StaticInstance.AssignFromStack(objRef->ValueLow, esp, AppDomain, mStack);
  4001. }
  4002. break;
  4003. case ObjectTypes.FieldReference:
  4004. {
  4005. var instance = mStack[objRef->Value] as ILTypeInstance;
  4006. instance.AssignFromStack(objRef->ValueLow, esp, AppDomain, mStack);
  4007. }
  4008. break;
  4009. default:
  4010. {
  4011. if (objRef->ObjectType >= ObjectTypes.Object)
  4012. mStack[objRef->Value] = null;
  4013. else
  4014. {
  4015. if (reg1->ObjectType != ObjectTypes.StackObjectReference)
  4016. WriteNull(ref info, ip->Register1);
  4017. else if (objRef >= info.RegisterStart && objRef < info.RegisterEnd)
  4018. {
  4019. short reg = (short)(objRef - info.RegisterStart);
  4020. WriteNull(ref info, reg);
  4021. }
  4022. else
  4023. throw new NotSupportedException();
  4024. }
  4025. }
  4026. break;
  4027. }
  4028. }
  4029. }
  4030. else
  4031. {
  4032. if (objRef->ObjectType == ObjectTypes.ValueTypeObjectReference)
  4033. {
  4034. stack.ClearValueTypeObject(type, ILIntepreter.ResolveReference(objRef));
  4035. }
  4036. else if (objRef->ObjectType == ObjectTypes.FieldReference)
  4037. {
  4038. var instance = mStack[objRef->Value] as ILTypeInstance;
  4039. if (instance != null)
  4040. {
  4041. instance.InitializeField(objRef->ValueLow);
  4042. }
  4043. else
  4044. throw new NotImplementedException();
  4045. }
  4046. else if (type.IsPrimitive || type.IsEnum)
  4047. StackObject.Initialized(objRef, type);
  4048. else
  4049. {
  4050. if (!type.IsValueType)
  4051. {
  4052. if (objRef->ObjectType >= ObjectTypes.Object)
  4053. mStack[objRef->Value] = null;
  4054. else
  4055. {
  4056. if (objRef >= info.RegisterStart && objRef < info.RegisterEnd)
  4057. {
  4058. short reg = (short)(objRef - info.RegisterStart);
  4059. WriteNull(ref info, reg);
  4060. }
  4061. else
  4062. throw new NotSupportedException();
  4063. }
  4064. }
  4065. else
  4066. {
  4067. var cT = (CLRType)type;
  4068. if (cT.ValueTypeBinder != null)
  4069. {
  4070. if (objRef >= info.RegisterStart && objRef < info.RegisterEnd)
  4071. {
  4072. stack.AllocValueType(objRef, type, true);
  4073. continue;
  4074. }
  4075. else
  4076. throw new NotSupportedException();
  4077. }
  4078. obj = cT.CreateDefaultInstance();
  4079. if (objRef->ObjectType >= ObjectTypes.Object)
  4080. mStack[objRef->Value] = obj;
  4081. else
  4082. {
  4083. if (objRef >= info.RegisterStart && objRef < info.RegisterEnd)
  4084. {
  4085. short reg = (short)(objRef - info.RegisterStart);
  4086. AssignToRegister(ref info, reg, obj);
  4087. }
  4088. else
  4089. throw new NotSupportedException();
  4090. }
  4091. }
  4092. }
  4093. }
  4094. }
  4095. break;
  4096. case OpCodeREnum.Isinst:
  4097. {
  4098. reg2 = (r + ip->Register2);
  4099. type = domain.GetType(ip->Operand);
  4100. if (type != null)
  4101. {
  4102. objRef = GetObjectAndResolveReference(reg2);
  4103. if (objRef->ObjectType <= ObjectTypes.Double)
  4104. {
  4105. var tclr = type.TypeForCLR;
  4106. switch (objRef->ObjectType)
  4107. {
  4108. case ObjectTypes.Integer:
  4109. {
  4110. if (tclr != typeof(int) && tclr != typeof(bool) && tclr != typeof(short) && tclr != typeof(byte) && tclr != typeof(ushort) && tclr != typeof(uint))
  4111. {
  4112. WriteNull(ref info, ip->Register1);
  4113. }
  4114. }
  4115. break;
  4116. case ObjectTypes.Long:
  4117. {
  4118. if (tclr != typeof(long) && tclr != typeof(ulong))
  4119. {
  4120. WriteNull(ref info, ip->Register1);
  4121. }
  4122. }
  4123. break;
  4124. case ObjectTypes.Float:
  4125. {
  4126. if (tclr != typeof(float))
  4127. {
  4128. WriteNull(ref info, ip->Register1);
  4129. }
  4130. }
  4131. break;
  4132. case ObjectTypes.Double:
  4133. {
  4134. if (tclr != typeof(double))
  4135. {
  4136. WriteNull(ref info, ip->Register1);
  4137. }
  4138. }
  4139. break;
  4140. case ObjectTypes.Null:
  4141. WriteNull(ref info, ip->Register1);
  4142. break;
  4143. }
  4144. }
  4145. else
  4146. {
  4147. obj = RetriveObject(objRef, mStack);
  4148. if (obj != null)
  4149. {
  4150. if (obj is ILTypeInstance)
  4151. {
  4152. if (((ILTypeInstance)obj).CanAssignTo(type))
  4153. {
  4154. AssignToRegister(ref info, ip->Register1, obj);
  4155. }
  4156. else
  4157. {
  4158. WriteNull(ref info, ip->Register1);
  4159. }
  4160. }
  4161. else
  4162. {
  4163. if (type.TypeForCLR.IsAssignableFrom(obj.GetType()))
  4164. {
  4165. AssignToRegister(ref info, ip->Register1, obj, true);
  4166. }
  4167. else
  4168. {
  4169. WriteNull(ref info, ip->Register1);
  4170. }
  4171. }
  4172. }
  4173. else
  4174. {
  4175. WriteNull(ref info, ip->Register1);
  4176. }
  4177. }
  4178. }
  4179. else
  4180. throw new NullReferenceException();
  4181. }
  4182. break;
  4183. case OpCodeREnum.Ldftn:
  4184. {
  4185. IMethod m = domain.GetMethod(ip->Operand2);
  4186. AssignToRegister(ref info, ip->Register1, m);
  4187. }
  4188. break;
  4189. case OpCodeREnum.Ldvirtftn:
  4190. {
  4191. IMethod m = domain.GetMethod(ip->Operand2);
  4192. objRef = (r + ip->Register2);
  4193. if (m is ILMethod)
  4194. {
  4195. ILMethod ilm = (ILMethod)m;
  4196. obj = mStack[objRef->Value];
  4197. m = ((ILTypeInstance)obj).Type.GetVirtualMethod(ilm) as ILMethod;
  4198. }
  4199. else
  4200. {
  4201. obj = mStack[objRef->Value];
  4202. if (obj is ILTypeInstance)
  4203. m = ((ILTypeInstance)obj).Type.GetVirtualMethod(m);
  4204. else if (obj is CrossBindingAdaptorType)
  4205. {
  4206. m = ((CrossBindingAdaptorType)obj).ILInstance.Type.BaseType.GetVirtualMethod(m);
  4207. }
  4208. }
  4209. AssignToRegister(ref info, ip->Register1, m);
  4210. }
  4211. break;
  4212. #endregion
  4213. #region Compare
  4214. case OpCodeREnum.Ceq:
  4215. {
  4216. reg1 = (r + ip->Register2);
  4217. reg2 = (r + ip->Register3);
  4218. reg3 = (r + ip->Register1);
  4219. bool res = false;
  4220. if (reg1->ObjectType == reg2->ObjectType)
  4221. {
  4222. switch (reg1->ObjectType)
  4223. {
  4224. case ObjectTypes.Integer:
  4225. case ObjectTypes.Float:
  4226. res = reg1->Value == reg2->Value;
  4227. break;
  4228. case ObjectTypes.Object:
  4229. res = mStack[reg1->Value] == mStack[reg2->Value];
  4230. break;
  4231. case ObjectTypes.FieldReference:
  4232. res = mStack[reg1->Value] == mStack[reg2->Value] && reg1->ValueLow == reg2->ValueLow;
  4233. break;
  4234. case ObjectTypes.Null:
  4235. res = true;
  4236. break;
  4237. default:
  4238. res = reg1->Value == reg2->Value && reg1->ValueLow == reg2->ValueLow;
  4239. break;
  4240. }
  4241. }
  4242. else
  4243. {
  4244. switch (reg1->ObjectType)
  4245. {
  4246. case ObjectTypes.Object:
  4247. res = mStack[reg1->Value] == null && reg2->ObjectType == ObjectTypes.Null;
  4248. break;
  4249. case ObjectTypes.Null:
  4250. res = reg2->ObjectType == ObjectTypes.Object && mStack[reg2->Value] == null;
  4251. break;
  4252. }
  4253. }
  4254. if (res)
  4255. WriteOne(reg3);
  4256. else
  4257. WriteZero(reg3);
  4258. }
  4259. break;
  4260. case OpCodeREnum.Ceqi:
  4261. {
  4262. reg1 = (r + ip->Register2);
  4263. reg3 = (r + ip->Register1);
  4264. bool res = false;
  4265. switch (reg1->ObjectType)
  4266. {
  4267. case ObjectTypes.Float:
  4268. res = *(float*)&reg1->Value == ip->OperandFloat;
  4269. break;
  4270. case ObjectTypes.Long:
  4271. res = *(long*)&reg1->Value == ip->OperandLong;
  4272. break;
  4273. case ObjectTypes.Double:
  4274. res = *(double*)&reg1->Value == ip->OperandDouble;
  4275. break;
  4276. case ObjectTypes.Integer:
  4277. res = reg1->Value == ip->Operand;
  4278. break;
  4279. case ObjectTypes.Null:
  4280. res = ip->Operand == 0;
  4281. break;
  4282. default:
  4283. throw new NotImplementedException();
  4284. }
  4285. if (res)
  4286. WriteOne(reg3);
  4287. else
  4288. WriteZero(reg3);
  4289. }
  4290. break;
  4291. case OpCodeREnum.Clt:
  4292. {
  4293. reg1 = (r + ip->Register2);
  4294. reg2 = (r + ip->Register3);
  4295. reg3 = (r + ip->Register1);
  4296. bool res = false;
  4297. switch (reg1->ObjectType)
  4298. {
  4299. case ObjectTypes.Integer:
  4300. res = reg1->Value < reg2->Value;
  4301. break;
  4302. case ObjectTypes.Long:
  4303. res = *(long*)&reg1->Value < *(long*)&reg2->Value;
  4304. break;
  4305. case ObjectTypes.Float:
  4306. res = *(float*)&reg1->Value < *(float*)&reg2->Value;
  4307. break;
  4308. case ObjectTypes.Double:
  4309. res = *(double*)&reg1->Value < *(double*)&reg2->Value;
  4310. break;
  4311. default:
  4312. throw new NotImplementedException();
  4313. }
  4314. if (res)
  4315. WriteOne(reg3);
  4316. else
  4317. WriteZero(reg3);
  4318. }
  4319. break;
  4320. case OpCodeREnum.Clti:
  4321. {
  4322. reg1 = (r + ip->Register2);
  4323. reg3 = (r + ip->Register1);
  4324. bool res = false;
  4325. switch (reg1->ObjectType)
  4326. {
  4327. case ObjectTypes.Integer:
  4328. res = reg1->Value < ip->Operand;
  4329. break;
  4330. case ObjectTypes.Long:
  4331. res = *(long*)&reg1->Value < ip->OperandLong;
  4332. break;
  4333. case ObjectTypes.Float:
  4334. res = *(float*)&reg1->Value < ip->OperandFloat;
  4335. break;
  4336. case ObjectTypes.Double:
  4337. res = *(double*)&reg1->Value < ip->OperandDouble;
  4338. break;
  4339. default:
  4340. throw new NotImplementedException();
  4341. }
  4342. if (res)
  4343. WriteOne(reg3);
  4344. else
  4345. WriteZero(reg3);
  4346. }
  4347. break;
  4348. case OpCodeREnum.Clt_Un:
  4349. {
  4350. reg1 = (r + ip->Register2);
  4351. reg2 = (r + ip->Register3);
  4352. reg3 = (r + ip->Register1);
  4353. bool res = false;
  4354. switch (reg1->ObjectType)
  4355. {
  4356. case ObjectTypes.Integer:
  4357. res = (uint)reg1->Value < (uint)reg2->Value && reg2->ObjectType != ObjectTypes.Null;
  4358. break;
  4359. case ObjectTypes.Long:
  4360. res = (ulong)*(long*)&reg1->Value < (ulong)*(long*)&reg2->Value && reg2->ObjectType != ObjectTypes.Null;
  4361. break;
  4362. case ObjectTypes.Float:
  4363. res = *(float*)&reg1->Value < *(float*)&reg2->Value && reg2->ObjectType != ObjectTypes.Null;
  4364. break;
  4365. case ObjectTypes.Double:
  4366. res = *(double*)&reg1->Value < *(double*)&reg2->Value && reg2->ObjectType != ObjectTypes.Null;
  4367. break;
  4368. default:
  4369. throw new NotImplementedException();
  4370. }
  4371. if (res)
  4372. WriteOne(reg3);
  4373. else
  4374. WriteZero(reg3);
  4375. }
  4376. break;
  4377. case OpCodeREnum.Clti_Un:
  4378. {
  4379. reg1 = (r + ip->Register2);
  4380. reg3 = (r + ip->Register1);
  4381. bool res = false;
  4382. switch (reg1->ObjectType)
  4383. {
  4384. case ObjectTypes.Integer:
  4385. res = (uint)reg1->Value < (uint)ip->Operand;
  4386. break;
  4387. case ObjectTypes.Long:
  4388. res = (ulong)*(long*)&reg1->Value < (ulong)ip->OperandLong;
  4389. break;
  4390. case ObjectTypes.Float:
  4391. res = *(float*)&reg1->Value < ip->OperandFloat;
  4392. break;
  4393. case ObjectTypes.Double:
  4394. res = *(double*)&reg1->Value < ip->OperandDouble;
  4395. break;
  4396. default:
  4397. throw new NotImplementedException();
  4398. }
  4399. if (res)
  4400. WriteOne(reg3);
  4401. else
  4402. WriteZero(reg3);
  4403. }
  4404. break;
  4405. case OpCodeREnum.Cgt:
  4406. {
  4407. reg1 = (r + ip->Register2);
  4408. reg2 = (r + ip->Register3);
  4409. reg3 = (r + ip->Register1);
  4410. bool res = false;
  4411. switch (reg1->ObjectType)
  4412. {
  4413. case ObjectTypes.Integer:
  4414. res = reg1->Value > reg2->Value || reg2->ObjectType == ObjectTypes.Null;
  4415. break;
  4416. case ObjectTypes.Long:
  4417. res = *(long*)&reg1->Value > *(long*)&reg2->Value || reg2->ObjectType == ObjectTypes.Null;
  4418. break;
  4419. case ObjectTypes.Float:
  4420. res = *(float*)&reg1->Value > *(float*)&reg2->Value || reg2->ObjectType == ObjectTypes.Null;
  4421. break;
  4422. case ObjectTypes.Double:
  4423. res = *(double*)&reg1->Value > *(double*)&reg2->Value || reg2->ObjectType == ObjectTypes.Null;
  4424. break;
  4425. default:
  4426. throw new NotImplementedException();
  4427. }
  4428. if (res)
  4429. WriteOne(reg3);
  4430. else
  4431. WriteZero(reg3);
  4432. }
  4433. break;
  4434. case OpCodeREnum.Cgti:
  4435. {
  4436. reg1 = (r + ip->Register2);
  4437. reg3 = (r + ip->Register1);
  4438. bool res = false;
  4439. switch (reg1->ObjectType)
  4440. {
  4441. case ObjectTypes.Integer:
  4442. res = reg1->Value > ip->Operand;
  4443. break;
  4444. case ObjectTypes.Long:
  4445. res = *(long*)&reg1->Value > ip->OperandLong;
  4446. break;
  4447. case ObjectTypes.Float:
  4448. res = *(float*)&reg1->Value > ip->OperandFloat;
  4449. break;
  4450. case ObjectTypes.Double:
  4451. res = *(double*)&reg1->Value > ip->OperandDouble;
  4452. break;
  4453. default:
  4454. throw new NotImplementedException();
  4455. }
  4456. if (res)
  4457. WriteOne(reg3);
  4458. else
  4459. WriteZero(reg3);
  4460. }
  4461. break;
  4462. case OpCodeREnum.Cgt_Un:
  4463. {
  4464. reg1 = (r + ip->Register2);
  4465. reg2 = (r + ip->Register3);
  4466. reg3 = (r + ip->Register1);
  4467. bool res = false;
  4468. switch (reg1->ObjectType)
  4469. {
  4470. case ObjectTypes.Integer:
  4471. res = ((uint)reg1->Value > (uint)reg2->Value) || reg2->ObjectType == ObjectTypes.Null;
  4472. break;
  4473. case ObjectTypes.Long:
  4474. res = (ulong)*(long*)&reg1->Value > (ulong)*(long*)&reg2->Value || reg2->ObjectType == ObjectTypes.Null;
  4475. break;
  4476. case ObjectTypes.Float:
  4477. res = *(float*)&reg1->Value > *(float*)&reg2->Value || reg2->ObjectType == ObjectTypes.Null;
  4478. break;
  4479. case ObjectTypes.Double:
  4480. res = *(double*)&reg1->Value > *(double*)&reg2->Value || reg2->ObjectType == ObjectTypes.Null;
  4481. break;
  4482. case ObjectTypes.Object:
  4483. res = mStack[reg1->Value] != null && (reg2->ObjectType == ObjectTypes.Null || mStack[reg2->Value] == null);
  4484. break;
  4485. case ObjectTypes.Null:
  4486. res = false;
  4487. break;
  4488. default:
  4489. throw new NotImplementedException();
  4490. }
  4491. if (res)
  4492. WriteOne(reg3);
  4493. else
  4494. WriteZero(reg3);
  4495. }
  4496. break;
  4497. case OpCodeREnum.Cgti_Un:
  4498. {
  4499. reg1 = (r + ip->Register2);
  4500. reg3 = (r + ip->Register1);
  4501. bool res = false;
  4502. switch (reg1->ObjectType)
  4503. {
  4504. case ObjectTypes.Integer:
  4505. res = ((uint)reg1->Value > (uint)ip->Operand);
  4506. break;
  4507. case ObjectTypes.Long:
  4508. res = (ulong)*(long*)&reg1->Value > (ulong)ip->OperandLong;
  4509. break;
  4510. case ObjectTypes.Float:
  4511. res = *(float*)&reg1->Value > ip->OperandFloat;
  4512. break;
  4513. case ObjectTypes.Double:
  4514. res = *(double*)&reg1->Value > ip->OperandDouble;
  4515. break;
  4516. case ObjectTypes.Object:
  4517. res = mStack[reg1->Value] != null && ip->Operand != 0;
  4518. break;
  4519. case ObjectTypes.Null:
  4520. res = false;
  4521. break;
  4522. default:
  4523. throw new NotImplementedException();
  4524. }
  4525. if (res)
  4526. WriteOne(reg3);
  4527. else
  4528. WriteZero(reg3);
  4529. }
  4530. break;
  4531. #endregion
  4532. #region Array
  4533. case OpCodeREnum.Newarr:
  4534. {
  4535. reg2 = (r + ip->Register2);
  4536. type = domain.GetType(ip->Operand);
  4537. object arr = null;
  4538. if (type != null)
  4539. {
  4540. if (type.TypeForCLR != typeof(ILTypeInstance))
  4541. {
  4542. if (type is CLRType)
  4543. {
  4544. arr = ((CLRType)type).CreateArrayInstance(reg2->Value);
  4545. }
  4546. else
  4547. {
  4548. arr = Array.CreateInstance(type.TypeForCLR, reg2->Value);
  4549. }
  4550. //Register Type
  4551. AppDomain.GetType(arr.GetType());
  4552. }
  4553. else
  4554. {
  4555. arr = new ILTypeInstance[reg2->Value];
  4556. ILTypeInstance[] ilArr = (ILTypeInstance[])arr;
  4557. if (type.IsValueType)
  4558. {
  4559. for (int i = 0; i < reg2->Value; i++)
  4560. {
  4561. ilArr[i] = ((ILType)type).Instantiate(true);
  4562. }
  4563. }
  4564. }
  4565. }
  4566. AssignToRegister(ref info, ip->Register1, arr);
  4567. }
  4568. break;
  4569. case OpCodeREnum.Stelem_Ref:
  4570. case OpCodeREnum.Stelem_Any:
  4571. {
  4572. reg1 = (r + ip->Register3);
  4573. reg2 = (r + ip->Register2);
  4574. reg3 = (r + ip->Register1);
  4575. val = GetObjectAndResolveReference(reg1);
  4576. Array arr = mStack[reg3->Value] as Array;
  4577. if (arr is object[])
  4578. {
  4579. switch (val->ObjectType)
  4580. {
  4581. case ObjectTypes.Null:
  4582. arr.SetValue(null, reg2->Value);
  4583. break;
  4584. case ObjectTypes.Object:
  4585. ArraySetValue(arr, mStack[val->Value], reg2->Value);
  4586. break;
  4587. case ObjectTypes.Integer:
  4588. arr.SetValue(val->Value, reg2->Value);
  4589. break;
  4590. case ObjectTypes.Long:
  4591. arr.SetValue(*(long*)&val->Value, reg2->Value);
  4592. break;
  4593. case ObjectTypes.Float:
  4594. arr.SetValue(*(float*)&val->Value, reg2->Value);
  4595. break;
  4596. case ObjectTypes.Double:
  4597. arr.SetValue(*(double*)&val->Value, reg2->Value);
  4598. break;
  4599. case ObjectTypes.ValueTypeObjectReference:
  4600. ArraySetValue(arr, StackObject.ToObject(val, domain, mStack), reg2->Value);
  4601. FreeStackValueType(esp - 1);
  4602. break;
  4603. default:
  4604. throw new NotImplementedException();
  4605. }
  4606. }
  4607. else
  4608. {
  4609. switch (val->ObjectType)
  4610. {
  4611. case ObjectTypes.Object:
  4612. ArraySetValue(arr, mStack[val->Value], reg2->Value);
  4613. break;
  4614. case ObjectTypes.Integer:
  4615. {
  4616. StoreIntValueToArray(arr, val, reg2);
  4617. }
  4618. break;
  4619. case ObjectTypes.Long:
  4620. {
  4621. if (arr is long[])
  4622. {
  4623. ((long[])arr)[reg2->Value] = *(long*)&val->Value;
  4624. }
  4625. else
  4626. {
  4627. ((ulong[])arr)[reg2->Value] = *(ulong*)&val->Value;
  4628. }
  4629. }
  4630. break;
  4631. case ObjectTypes.Float:
  4632. {
  4633. ((float[])arr)[reg2->Value] = *(float*)&val->Value;
  4634. }
  4635. break;
  4636. case ObjectTypes.Double:
  4637. {
  4638. ((double[])arr)[reg2->Value] = *(double*)&val->Value;
  4639. }
  4640. break;
  4641. case ObjectTypes.ValueTypeObjectReference:
  4642. ArraySetValue(arr, StackObject.ToObject(val, domain, mStack), reg2->Value);
  4643. FreeStackValueType(esp - 1);
  4644. break;
  4645. default:
  4646. throw new NotImplementedException();
  4647. }
  4648. }
  4649. }
  4650. break;
  4651. case OpCodeREnum.Stelem_I1:
  4652. {
  4653. reg1 = (r + ip->Register1);
  4654. reg2 = (r + ip->Register2);
  4655. reg3 = (r + ip->Register3);
  4656. byte[] arr = mStack[reg1->Value] as byte[];
  4657. if (arr != null)
  4658. {
  4659. arr[reg2->Value] = (byte)reg3->Value;
  4660. }
  4661. else
  4662. {
  4663. bool[] arr2 = mStack[reg1->Value] as bool[];
  4664. if (arr2 != null)
  4665. {
  4666. arr2[reg2->Value] = reg3->Value == 1;
  4667. }
  4668. else
  4669. {
  4670. sbyte[] arr3 = mStack[reg1->Value] as sbyte[];
  4671. arr3[reg2->Value] = (sbyte)reg3->Value;
  4672. }
  4673. }
  4674. }
  4675. break;
  4676. case OpCodeREnum.Stelem_I2:
  4677. {
  4678. reg1 = (r + ip->Register1);
  4679. reg2 = (r + ip->Register2);
  4680. reg3 = (r + ip->Register3);
  4681. short[] arr = mStack[reg1->Value] as short[];
  4682. if (arr != null)
  4683. {
  4684. arr[reg2->Value] = (short)reg3->Value;
  4685. }
  4686. else
  4687. {
  4688. ushort[] arr2 = mStack[reg1->Value] as ushort[];
  4689. if (arr2 != null)
  4690. {
  4691. arr2[reg2->Value] = (ushort)reg3->Value;
  4692. }
  4693. else
  4694. {
  4695. char[] arr3 = mStack[reg1->Value] as char[];
  4696. arr3[reg2->Value] = (char)reg3->Value;
  4697. }
  4698. }
  4699. }
  4700. break;
  4701. case OpCodeREnum.Stelem_I4:
  4702. {
  4703. reg1 = (r + ip->Register1);
  4704. reg2 = (r + ip->Register2);
  4705. reg3 = (r + ip->Register3);
  4706. int[] arr = mStack[reg1->Value] as int[];
  4707. if (arr != null)
  4708. {
  4709. arr[reg2->Value] = reg3->Value;
  4710. }
  4711. else
  4712. {
  4713. uint[] arr2 = mStack[reg1->Value] as uint[];
  4714. arr2[reg2->Value] = (uint)reg3->Value;
  4715. }
  4716. }
  4717. break;
  4718. case OpCodeREnum.Stelem_R4:
  4719. {
  4720. reg1 = (r + ip->Register1);
  4721. reg2 = (r + ip->Register2);
  4722. reg3 = (r + ip->Register3);
  4723. float[] arr = mStack[reg1->Value] as float[];
  4724. arr[reg2->Value] = *(float*)(&reg3->Value);
  4725. }
  4726. break;
  4727. case OpCodeREnum.Stelem_I8:
  4728. {
  4729. reg1 = (r + ip->Register1);
  4730. reg2 = (r + ip->Register2);
  4731. reg3 = (r + ip->Register3);
  4732. long[] arr = mStack[reg1->Value] as long[];
  4733. if (arr != null)
  4734. {
  4735. arr[reg2->Value] = *(long*)(&reg3->Value);
  4736. }
  4737. else
  4738. {
  4739. ulong[] arr2 = mStack[reg1->Value] as ulong[];
  4740. arr2[reg2->Value] = *(ulong*)(&reg3->Value);
  4741. }
  4742. }
  4743. break;
  4744. case OpCodeREnum.Stelem_R8:
  4745. {
  4746. reg1 = (r + ip->Register1);
  4747. reg2 = (r + ip->Register2);
  4748. reg3 = (r + ip->Register3);
  4749. double[] arr = mStack[reg1->Value] as double[];
  4750. arr[reg2->Value] = *(double*)(&reg3->Value);
  4751. }
  4752. break;
  4753. case OpCodeREnum.Ldlen:
  4754. {
  4755. reg1 = (r + ip->Register1);
  4756. reg2 = (r + ip->Register2);
  4757. Array arr = mStack[reg2->Value] as Array;
  4758. reg1->ObjectType = ObjectTypes.Integer;
  4759. reg1->Value = arr.Length;
  4760. }
  4761. break;
  4762. case OpCodeREnum.Ldelema:
  4763. {
  4764. reg1 = (r + ip->Register1);
  4765. reg2 = (r + ip->Register2);
  4766. reg3 = (r + ip->Register3);
  4767. Array arr = mStack[reg2->Value] as Array;
  4768. intVal = reg3->Value;
  4769. reg1->ObjectType = ObjectTypes.ArrayReference;
  4770. reg1->Value = GetManagedStackIndex(ref info, ip->Register1);
  4771. mStack[reg1->Value] = arr;
  4772. reg1->ValueLow = intVal;
  4773. }
  4774. break;
  4775. case OpCodeREnum.Ldelem_Ref:
  4776. case OpCodeREnum.Ldelem_Any:
  4777. {
  4778. reg1 = (r + ip->Register1);
  4779. reg2 = (r + ip->Register2);
  4780. reg3 = (r + ip->Register3);
  4781. Array arr = mStack[reg2->Value] as Array;
  4782. obj = arr.GetValue(reg3->Value);
  4783. if (obj is CrossBindingAdaptorType)
  4784. obj = ((CrossBindingAdaptorType)obj).ILInstance;
  4785. if (obj is ILTypeInstance)
  4786. {
  4787. ILTypeInstance ins = (ILTypeInstance)obj;
  4788. if (!(ins is DelegateAdapter) && ins.Type.IsValueType && !ins.Boxed)
  4789. {
  4790. AllocValueType(reg1, ins.Type);
  4791. dst = ILIntepreter.ResolveReference(reg1);
  4792. ins.CopyValueTypeToStack(dst, mStack);
  4793. }
  4794. else
  4795. AssignToRegister(ref info, ip->Register1, obj, true);
  4796. }
  4797. else
  4798. AssignToRegister(ref info, ip->Register1, obj, !arr.GetType().GetElementType().IsPrimitive);
  4799. }
  4800. break;
  4801. case OpCodeREnum.Ldelem_I1:
  4802. {
  4803. reg1 = (r + ip->Register1);
  4804. reg2 = (r + ip->Register2);
  4805. reg3 = (r + ip->Register3);
  4806. bool[] arr = mStack[reg2->Value] as bool[];
  4807. if (arr != null)
  4808. {
  4809. reg1->ObjectType = ObjectTypes.Integer;
  4810. reg1->Value = arr[reg3->Value] ? 1 : 0;
  4811. }
  4812. else
  4813. {
  4814. sbyte[] arr2 = mStack[reg2->Value] as sbyte[];
  4815. reg1->ObjectType = ObjectTypes.Integer;
  4816. reg1->Value = arr2[reg3->Value];
  4817. }
  4818. }
  4819. break;
  4820. case OpCodeREnum.Ldelem_U1:
  4821. {
  4822. reg1 = (r + ip->Register1);
  4823. reg2 = (r + ip->Register2);
  4824. reg3 = (r + ip->Register3);
  4825. byte[] arr = mStack[reg2->Value] as byte[];
  4826. if (arr != null)
  4827. {
  4828. reg1->ObjectType = ObjectTypes.Integer;
  4829. reg1->Value = arr[reg3->Value];
  4830. }
  4831. else
  4832. {
  4833. bool[] arr2 = mStack[reg2->Value] as bool[];
  4834. reg1->ObjectType = ObjectTypes.Integer;
  4835. reg1->Value = arr2[reg3->Value] ? 1 : 0;
  4836. }
  4837. }
  4838. break;
  4839. case OpCodeREnum.Ldelem_I2:
  4840. {
  4841. reg1 = (r + ip->Register1);
  4842. reg2 = (r + ip->Register2);
  4843. reg3 = (r + ip->Register3);
  4844. short[] arr = mStack[reg2->Value] as short[];
  4845. if (arr != null)
  4846. {
  4847. reg1->ObjectType = ObjectTypes.Integer;
  4848. reg1->Value = arr[reg3->Value];
  4849. }
  4850. else
  4851. {
  4852. char[] arr2 = mStack[reg2->Value] as char[];
  4853. reg1->ObjectType = ObjectTypes.Integer;
  4854. reg1->Value = arr2[reg3->Value];
  4855. }
  4856. }
  4857. break;
  4858. case OpCodeREnum.Ldelem_U2:
  4859. {
  4860. reg1 = (r + ip->Register1);
  4861. reg2 = (r + ip->Register2);
  4862. reg3 = (r + ip->Register3);
  4863. ushort[] arr = mStack[reg2->Value] as ushort[];
  4864. if (arr != null)
  4865. {
  4866. reg1->ObjectType = ObjectTypes.Integer;
  4867. reg1->Value = arr[reg3->Value];
  4868. }
  4869. else
  4870. {
  4871. char[] arr2 = mStack[reg2->Value] as char[];
  4872. reg1->ObjectType = ObjectTypes.Integer;
  4873. reg1->Value = arr2[reg3->Value];
  4874. }
  4875. }
  4876. break;
  4877. case OpCodeREnum.Ldelem_I4:
  4878. {
  4879. reg1 = (r + ip->Register1);
  4880. reg2 = (r + ip->Register2);
  4881. reg3 = (r + ip->Register3);
  4882. int[] arr = mStack[reg2->Value] as int[];
  4883. reg1->ObjectType = ObjectTypes.Integer;
  4884. reg1->Value = arr[reg3->Value];
  4885. }
  4886. break;
  4887. case OpCodeREnum.Ldelem_U4:
  4888. {
  4889. reg1 = (r + ip->Register1);
  4890. reg2 = (r + ip->Register2);
  4891. reg3 = (r + ip->Register3);
  4892. uint[] arr = mStack[reg2->Value] as uint[];
  4893. reg1->ObjectType = ObjectTypes.Integer;
  4894. reg1->Value = (int)arr[reg3->Value];
  4895. }
  4896. break;
  4897. case OpCodeREnum.Ldelem_I8:
  4898. {
  4899. reg1 = (r + ip->Register1);
  4900. reg2 = (r + ip->Register2);
  4901. reg3 = (r + ip->Register3);
  4902. long[] arr = mStack[reg2->Value] as long[];
  4903. if (arr != null)
  4904. {
  4905. reg1->ObjectType = ObjectTypes.Long;
  4906. *(long*)(&reg1->Value) = arr[reg3->Value];
  4907. }
  4908. else
  4909. {
  4910. ulong[] arr2 = mStack[reg2->Value] as ulong[];
  4911. reg1->ObjectType = ObjectTypes.Long;
  4912. *(ulong*)(&reg1->Value) = arr2[reg3->Value];
  4913. }
  4914. }
  4915. break;
  4916. case OpCodeREnum.Ldelem_R4:
  4917. {
  4918. reg1 = (r + ip->Register1);
  4919. reg2 = (r + ip->Register2);
  4920. reg3 = (r + ip->Register3);
  4921. float[] arr = mStack[reg2->Value] as float[];
  4922. reg1->ObjectType = ObjectTypes.Float;
  4923. *(float*)&reg1->Value = arr[reg3->Value];
  4924. }
  4925. break;
  4926. case OpCodeREnum.Ldelem_R8:
  4927. {
  4928. reg1 = (r + ip->Register1);
  4929. reg2 = (r + ip->Register2);
  4930. reg3 = (r + ip->Register3);
  4931. double[] arr = mStack[reg2->Value] as double[];
  4932. reg1->ObjectType = ObjectTypes.Double;
  4933. *(double*)&reg1->Value = arr[reg3->Value];
  4934. }
  4935. break;
  4936. #endregion
  4937. case OpCodeREnum.Throw:
  4938. {
  4939. objRef = GetObjectAndResolveReference((r + ip->Register1));
  4940. var ex = mStack[objRef->Value] as Exception;
  4941. throw ex;
  4942. }
  4943. case OpCodeREnum.Rethrow:
  4944. throw lastCaughtEx;
  4945. default:
  4946. throw new NotSupportedException("Not supported opcode " + code);
  4947. }
  4948. ip++;
  4949. }
  4950. catch (Exception ex)
  4951. {
  4952. if (ehs != null)
  4953. {
  4954. int addr = (int)(ip - ptr);
  4955. var eh = GetCorrespondingExceptionHandler(ehs, ex, addr, ExceptionHandlerType.Catch, true);
  4956. if (eh == null)
  4957. {
  4958. eh = GetCorrespondingExceptionHandler(ehs, ex, addr, ExceptionHandlerType.Catch, false);
  4959. }
  4960. if (eh != null)
  4961. {
  4962. if (ex is ILRuntimeException)
  4963. {
  4964. ILRuntimeException ire = (ILRuntimeException)ex;
  4965. var inner = ire.InnerException;
  4966. inner.Data["ThisInfo"] = ire.ThisInfo;
  4967. inner.Data["StackTrace"] = ire.StackTrace;
  4968. inner.Data["LocalInfo"] = ire.LocalInfo;
  4969. ex = inner;
  4970. }
  4971. else
  4972. {
  4973. var debugger = AppDomain.DebugService;
  4974. if (method.HasThis)
  4975. ex.Data["ThisInfo"] = debugger.GetThisInfo(this);
  4976. else
  4977. ex.Data["ThisInfo"] = "";
  4978. ex.Data["StackTrace"] = debugger.GetStackTrace(this);
  4979. ex.Data["LocalInfo"] = debugger.GetLocalVariableInfo(this);
  4980. }
  4981. //Clear call stack
  4982. while (stack.Frames.Peek().BasePointer != frame.BasePointer)
  4983. {
  4984. var f = stack.Frames.Peek();
  4985. esp = stack.PopFrame(ref f, esp);
  4986. if (f.Method.ReturnType != AppDomain.VoidType)
  4987. {
  4988. Free(esp - 1);
  4989. esp--;
  4990. }
  4991. }
  4992. lastCaughtEx = ex;
  4993. short exReg = (short)(paramCnt + locCnt);
  4994. AssignToRegister(ref info, exReg, ex);
  4995. unhandledException = false;
  4996. var sql = from e in ehs
  4997. where addr >= e.TryStart && addr <= e.TryEnd && (eh.HandlerStart < e.TryStart || eh.HandlerStart > e.TryEnd) && e.HandlerType == ExceptionHandlerType.Finally
  4998. select e;
  4999. var eh2 = sql.FirstOrDefault();
  5000. if (eh2 != null)
  5001. {
  5002. finallyEndAddress = eh.HandlerStart;
  5003. ip = ptr + eh2.HandlerStart;
  5004. continue;
  5005. }
  5006. ip = ptr + eh.HandlerStart;
  5007. continue;
  5008. }
  5009. eh = GetCorrespondingExceptionHandler(ehs, null, addr, ExceptionHandlerType.Fault, false);
  5010. if (eh == null)
  5011. eh = GetCorrespondingExceptionHandler(ehs, null, addr, ExceptionHandlerType.Finally, false);
  5012. if (eh != null)
  5013. {
  5014. unhandledException = false;
  5015. finallyEndAddress = -1;
  5016. lastCaughtEx = ex is ILRuntimeException ? ex : new ILRuntimeException(ex.Message, this, method, ex);
  5017. ip = ptr + eh.HandlerStart;
  5018. continue;
  5019. }
  5020. }
  5021. if (unhandledException)
  5022. {
  5023. throw ex;
  5024. }
  5025. unhandledException = true;
  5026. returned = true;
  5027. #if DEBUG && !DISABLE_ILRUNTIME_DEBUG
  5028. if (!AppDomain.DebugService.Break(this, ex))
  5029. #endif
  5030. {
  5031. var newEx = new ILRuntimeException(ex.Message, this, method, ex);
  5032. throw newEx;
  5033. }
  5034. }
  5035. }
  5036. }
  5037. #if DEBUG && !NO_PROFILER
  5038. if (System.Threading.Thread.CurrentThread.ManagedThreadId == AppDomain.UnityMainThreadID)
  5039. #if UNITY_5_5_OR_NEWER
  5040. UnityEngine.Profiling.Profiler.EndSample();
  5041. #else
  5042. UnityEngine.Profiler.EndSample();
  5043. #endif
  5044. #endif
  5045. //ClearStack
  5046. return stack.PopFrame(ref frame, esp);
  5047. }
  5048. void LoadFromFieldReferenceToRegister(ref RegisterFrameInfo info, object obj, int idx, short reg)
  5049. {
  5050. if (obj is ILTypeInstance)
  5051. {
  5052. ((ILTypeInstance)obj).CopyToRegister(idx, ref info, reg);
  5053. }
  5054. else
  5055. {
  5056. CLRType t = AppDomain.GetType(obj.GetType()) as CLRType;
  5057. StackObject so;
  5058. StackObject* esp = &so;
  5059. var mStack = info.ManagedStack;
  5060. if (!t.CopyFieldToStack(idx, obj, this, ref esp, mStack))
  5061. {
  5062. AssignToRegister(ref info, reg, t.GetFieldValue(idx, obj));
  5063. }
  5064. else
  5065. {
  5066. PopToRegister(ref info, reg, esp);
  5067. }
  5068. }
  5069. }
  5070. #if NET_4_6 || NET_STANDARD_2_0
  5071. [System.Runtime.CompilerServices.MethodImpl(System.Runtime.CompilerServices.MethodImplOptions.AggressiveInlining)]
  5072. #endif
  5073. internal void CopyToRegister(ref RegisterFrameInfo info, short reg, StackObject* val, IList<object> mStackSrc = null)
  5074. {
  5075. var mStack = info.ManagedStack;
  5076. var v = info.RegisterStart + reg;
  5077. var idx = GetManagedStackIndex(ref info, reg);
  5078. if (mStackSrc == null)
  5079. mStackSrc = mStack;
  5080. switch (val->ObjectType)
  5081. {
  5082. case ObjectTypes.Null:
  5083. v->ObjectType = ObjectTypes.Object;
  5084. v->Value = idx;
  5085. mStack[idx] = null;
  5086. break;
  5087. case ObjectTypes.StaticFieldReference:
  5088. {
  5089. var type = info.Intepreter.AppDomain.GetType(val->Value);
  5090. if (type is ILType)
  5091. {
  5092. var st = type as ILType;
  5093. if (st.IsValueType)
  5094. {
  5095. if (v->ObjectType == ObjectTypes.ValueTypeObjectReference)
  5096. {
  5097. var dst = *(StackObject**)&v->Value;
  5098. if (dst->Value != st.GetHashCode())
  5099. {
  5100. stack.FreeRegisterValueType(v);
  5101. stack.AllocValueType(v, st, true);
  5102. }
  5103. }
  5104. st.StaticInstance.CopyToRegister(val->ValueLow, ref info, reg);
  5105. }
  5106. else if (st.IsPrimitive)
  5107. {
  5108. st.StaticInstance.PushToStack(val->ValueLow, v, info.Intepreter, mStack);
  5109. }
  5110. else
  5111. {
  5112. v->ObjectType = ObjectTypes.Object;
  5113. v->Value = idx;
  5114. mStack[idx] = st.StaticInstance[val->ValueLow];
  5115. }
  5116. }
  5117. else
  5118. {
  5119. var st = type as CLRType;
  5120. var binder = st.ValueTypeBinder;
  5121. if (binder != null)
  5122. {
  5123. if (v->ObjectType == ObjectTypes.ValueTypeObjectReference)
  5124. {
  5125. var dst = *(StackObject**)&v->Value;
  5126. if (dst->Value != st.GetHashCode())
  5127. {
  5128. stack.FreeRegisterValueType(v);
  5129. stack.AllocValueType(v, st, true);
  5130. }
  5131. }
  5132. StackObject tmp;
  5133. StackObject* esp = &tmp;
  5134. if (!st.CopyFieldToStack(val->ValueLow, null, this, ref esp, mStack))
  5135. {
  5136. var obj = ((CLRType)type).GetFieldValue(val->ValueLow, null);
  5137. if (obj is CrossBindingAdaptorType)
  5138. obj = ((CrossBindingAdaptorType)obj).ILInstance;
  5139. AssignToRegister(ref info, reg, obj, false);
  5140. }
  5141. else
  5142. {
  5143. PopToRegister(ref info, reg, esp);
  5144. }
  5145. }
  5146. else
  5147. {
  5148. var obj = st.GetFieldValue(val->ValueLow, null);
  5149. if (obj is CrossBindingAdaptorType)
  5150. obj = ((CrossBindingAdaptorType)obj).ILInstance;
  5151. v->ObjectType = ObjectTypes.Object;
  5152. v->Value = idx;
  5153. mStack[idx] = obj;
  5154. }
  5155. }
  5156. }
  5157. break;
  5158. case ObjectTypes.Object:
  5159. case ObjectTypes.FieldReference:
  5160. case ObjectTypes.ArrayReference:
  5161. if (v->ObjectType == ObjectTypes.ValueTypeObjectReference)
  5162. {
  5163. var obj = mStackSrc[val->Value];
  5164. if (obj is ILTypeInstance)
  5165. {
  5166. var st = ((ILTypeInstance)obj).Type;
  5167. //Delegate and enum instance's type is null
  5168. if (st != null && st.IsValueType)
  5169. {
  5170. var dst = *(StackObject**)&v->Value;
  5171. if (dst->Value != st.GetHashCode())
  5172. {
  5173. stack.FreeRegisterValueType(v);
  5174. stack.AllocValueType(v, st, true);
  5175. }
  5176. ((ILTypeInstance)obj).CopyValueTypeToStack(dst, mStackSrc);
  5177. }
  5178. else
  5179. {
  5180. v->ObjectType = ObjectTypes.Object;
  5181. v->Value = idx;
  5182. mStack[idx] = obj;
  5183. }
  5184. }
  5185. else
  5186. {
  5187. if (obj != null)
  5188. {
  5189. var st = domain.GetType(obj.GetType()) as CLRType;
  5190. var binder = st.ValueTypeBinder;
  5191. if (binder != null)
  5192. {
  5193. var dst = *(StackObject**)&v->Value;
  5194. if (dst->Value != st.GetHashCode())
  5195. {
  5196. stack.FreeRegisterValueType(v);
  5197. stack.AllocValueType(v, st, true);
  5198. }
  5199. binder.CopyValueTypeToStack(obj, dst, mStackSrc);
  5200. }
  5201. else
  5202. {
  5203. v->ObjectType = ObjectTypes.Object;
  5204. v->Value = idx;
  5205. mStack[idx] = obj;
  5206. }
  5207. }
  5208. else
  5209. {
  5210. v->ObjectType = ObjectTypes.Object;
  5211. v->Value = idx;
  5212. mStack[idx] = obj;
  5213. }
  5214. }
  5215. }
  5216. else
  5217. {
  5218. *v = *val;
  5219. mStack[idx] = CheckAndCloneValueType(mStackSrc[v->Value], domain);
  5220. v->Value = idx;
  5221. }
  5222. break;
  5223. case ObjectTypes.ValueTypeObjectReference:
  5224. if (v->ObjectType == ObjectTypes.ValueTypeObjectReference)
  5225. {
  5226. bool noCheck = false;
  5227. if(!CanCopyStackValueType(val,v))
  5228. {
  5229. var dst = *(StackObject**)&val->Value;
  5230. var ct = domain.GetTypeByIndex(dst->Value);
  5231. stack.FreeRegisterValueType(v);
  5232. StackObject* endAddr = null;
  5233. int start = int.MaxValue, end = 0;
  5234. stack.CountValueTypeManaged(v, ref start, ref end, &endAddr);
  5235. noCheck = val <= ResolveReference(v) && val > endAddr;
  5236. stack.AllocValueType(v, ct, true, noCheck);
  5237. }
  5238. #if DEBUG
  5239. CopyStackValueType(val, v, mStack, noCheck);
  5240. #else
  5241. CopyStackValueType(val, v, mStack);
  5242. #endif
  5243. }
  5244. else
  5245. {
  5246. if (v >= info.RegisterStart && v < info.RegisterEnd)
  5247. {
  5248. var dst = ResolveReference(val);
  5249. var type = domain.GetTypeByIndex(dst->Value);
  5250. stack.AllocValueType(v, type, true);
  5251. CopyStackValueType(val, v, mStack);
  5252. }
  5253. else
  5254. throw new NotImplementedException();
  5255. }
  5256. //FreeStackValueType(val);
  5257. break;
  5258. default:
  5259. *v = *val;
  5260. mStack[idx] = null;
  5261. break;
  5262. }
  5263. }
  5264. #if NET_4_6 || NET_STANDARD_2_0
  5265. [System.Runtime.CompilerServices.MethodImpl(System.Runtime.CompilerServices.MethodImplOptions.AggressiveInlining)]
  5266. #endif
  5267. static int GetManagedStackIndex(ref RegisterFrameInfo info, short reg)
  5268. {
  5269. return info.FrameManagedBase + reg;
  5270. }
  5271. internal static void AssignToRegister(ref RegisterFrameInfo info, short reg, object obj, bool isBox = false)
  5272. {
  5273. var mStack = info.ManagedStack;
  5274. var dst = info.RegisterStart + reg;
  5275. var idx = GetManagedStackIndex(ref info, reg);
  5276. if (obj != null)
  5277. {
  5278. if (!isBox)
  5279. {
  5280. var typeFlags = obj.GetType().GetTypeFlags();
  5281. if ((typeFlags & CLR.Utils.Extensions.TypeFlags.IsPrimitive) != 0)
  5282. {
  5283. UnboxObject(dst, obj, mStack);
  5284. }
  5285. else if ((typeFlags & CLR.Utils.Extensions.TypeFlags.IsEnum) != 0)
  5286. {
  5287. dst->ObjectType = ObjectTypes.Integer;
  5288. dst->Value = Convert.ToInt32(obj);
  5289. }
  5290. else
  5291. {
  5292. dst->ObjectType = ObjectTypes.Object;
  5293. dst->Value = idx;
  5294. mStack[idx] = obj;
  5295. }
  5296. }
  5297. else
  5298. {
  5299. dst->ObjectType = ObjectTypes.Object;
  5300. dst->Value = idx;
  5301. mStack[idx] = obj;
  5302. }
  5303. }
  5304. else
  5305. {
  5306. dst->ObjectType = ObjectTypes.Object;
  5307. dst->Value = idx;
  5308. mStack[idx] = null;
  5309. }
  5310. }
  5311. StackObject* PopToRegister(ref RegisterFrameInfo info, short reg, StackObject* esp)
  5312. {
  5313. var val = esp - 1;
  5314. if (val->ObjectType == ObjectTypes.ValueTypeObjectReference)
  5315. {
  5316. var v = info.RegisterStart + reg;
  5317. if (CanCopyStackValueType(val, v))
  5318. {
  5319. CopyStackValueType(val, v, info.ManagedStack);
  5320. Free(val);
  5321. }
  5322. else
  5323. {
  5324. if(v->ObjectType == ObjectTypes.ValueTypeObjectReference)
  5325. {
  5326. stack.FreeRegisterValueType(v);
  5327. }
  5328. stack.AllocValueTypeAndCopy(v, val);
  5329. }
  5330. }
  5331. else
  5332. {
  5333. CopyToRegister(ref info, reg, val);
  5334. Free(val);
  5335. }
  5336. return val;
  5337. }
  5338. public static void WriteOne(StackObject* esp)
  5339. {
  5340. esp->ObjectType = ObjectTypes.Integer;
  5341. esp->Value = 1;
  5342. }
  5343. public static void WriteZero(StackObject* esp)
  5344. {
  5345. esp->ObjectType = ObjectTypes.Integer;
  5346. esp->Value = 0;
  5347. }
  5348. internal static void WriteNull(ref RegisterFrameInfo info, short reg)
  5349. {
  5350. var esp = info.RegisterStart + reg;
  5351. int idx = GetManagedStackIndex(ref info, reg);
  5352. esp->ObjectType = ObjectTypes.Object;
  5353. esp->Value = idx;
  5354. esp->ValueLow = 0;
  5355. info.ManagedStack[idx] = null;
  5356. }
  5357. }
  5358. }