1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896289728982899290029012902290329042905290629072908290929102911291229132914291529162917291829192920292129222923292429252926292729282929293029312932293329342935293629372938293929402941294229432944294529462947294829492950295129522953295429552956295729582959296029612962296329642965296629672968296929702971297229732974297529762977297829792980298129822983298429852986298729882989299029912992299329942995299629972998299930003001300230033004300530063007300830093010301130123013301430153016301730183019302030213022302330243025302630273028302930303031303230333034303530363037303830393040304130423043304430453046304730483049305030513052305330543055305630573058305930603061306230633064306530663067306830693070307130723073307430753076307730783079308030813082308330843085308630873088308930903091309230933094309530963097309830993100310131023103310431053106310731083109311031113112311331143115311631173118311931203121312231233124312531263127312831293130313131323133313431353136313731383139314031413142314331443145314631473148314931503151315231533154315531563157315831593160316131623163316431653166316731683169317031713172317331743175317631773178317931803181318231833184318531863187318831893190319131923193319431953196319731983199320032013202320332043205320632073208320932103211321232133214321532163217321832193220322132223223322432253226322732283229323032313232323332343235323632373238323932403241324232433244324532463247324832493250325132523253325432553256325732583259326032613262326332643265326632673268326932703271327232733274327532763277327832793280328132823283328432853286328732883289329032913292329332943295329632973298329933003301330233033304330533063307330833093310331133123313331433153316331733183319332033213322332333243325332633273328332933303331333233333334333533363337333833393340334133423343334433453346334733483349335033513352335333543355335633573358335933603361336233633364336533663367336833693370337133723373337433753376337733783379338033813382338333843385338633873388338933903391339233933394339533963397339833993400340134023403340434053406340734083409341034113412341334143415341634173418341934203421342234233424342534263427342834293430343134323433343434353436343734383439344034413442344334443445344634473448344934503451345234533454345534563457345834593460346134623463346434653466346734683469347034713472347334743475347634773478347934803481348234833484348534863487348834893490349134923493349434953496349734983499350035013502350335043505350635073508350935103511351235133514351535163517351835193520352135223523352435253526352735283529353035313532353335343535353635373538353935403541354235433544354535463547354835493550355135523553355435553556355735583559356035613562356335643565356635673568356935703571357235733574357535763577357835793580358135823583358435853586358735883589359035913592359335943595359635973598359936003601360236033604360536063607360836093610361136123613361436153616361736183619362036213622362336243625362636273628362936303631363236333634363536363637363836393640364136423643364436453646364736483649365036513652365336543655365636573658365936603661366236633664366536663667366836693670367136723673367436753676367736783679368036813682368336843685368636873688368936903691369236933694369536963697369836993700370137023703370437053706370737083709371037113712371337143715371637173718371937203721372237233724372537263727372837293730373137323733373437353736373737383739374037413742374337443745374637473748374937503751375237533754375537563757375837593760376137623763376437653766376737683769377037713772377337743775377637773778377937803781378237833784378537863787378837893790379137923793379437953796379737983799380038013802380338043805380638073808380938103811381238133814381538163817381838193820382138223823382438253826 |
- #include "BeIRCodeGen.h"
- #include "../Compiler/BfIRCodeGen.h"
- #include "BeDbgModule.h"
- #include "BeefySysLib/util/BeefPerf.h"
- #include "llvm/IR/DIBuilder.h"
- #include "BeefySysLib/util/AllocDebug.h"
- #include "BeefySysLib/util/Hash.h"
- #include "BeModule.h"
- #include "BeContext.h"
- #include "../Compiler/CeMachine.h"
- #ifdef _DEBUG
- #define BE_EXTRA_CHECKS
- #endif
- USING_NS_BF;
- //#define CODEGEN_TRACK
- #ifdef CODEGEN_TRACK
- #include "../Compiler/MemReporter.h"
- MemReporter gBEMemReporter;
- CritSect gBEMemReporterCritSect;
- int gBEMemReporterSize = 0;
- #define BE_MEM_START \
- int startPos = mStream->GetReadPos();
- #define BE_MEM_END(name) \
- gBEMemReporter.Add(name, mStream->GetReadPos() - startPos);
- static const char* gIRCmdNames[] =
- {
- "Module_Start",
- "Module_SetTargetTriple",
- "Module_AddModuleFlag",
- "WriteIR",
- "SetType",
- "SetInstType",
- "PrimitiveType",
- "CreateStruct",
- "StructSetBody",
- "Type",
- "TypeInst",
- "TypeInstPtr",
- "GetType",
- "GetPointerToFuncType",
- "GetPointerToType",
- "GetSizedArrayType",
- "CreateConstStruct",
- "CreateConstStructZero",
- "CreateConstArray",
- "CreateConstString",
- "SetName",
- "CreateUndefValue",
- "NumericCast",
- "CmpEQ",
- "CmpNE",
- "CmpSLT",
- "CmpULT",
- "CmpSLE",
- "CmpULE",
- "CmpSGT",
- "CmpUGT",
- "CmpSGE",
- "CmpUGE",
- "Add",
- "Sub",
- "Mul",
- "SDiv",
- "UDiv",
- "SRem",
- "URem",
- "And",
- "Or",
- "Xor",
- "Shl",
- "AShr",
- "LShr",
- "Neg",
- "Not",
- "BitCast",
- "PtrToInt",
- "IntToPtr",
- "InboundsGEP1_32",
- "InboundsGEP2_32",
- "InBoundsGEP1",
- "InBoundsGEP2",
- "IsNull",
- "IsNotNull",
- "ExtractValue",
- "InsertValue",
- "Alloca",
- "AllocaArray",
- "SetAllocaAlignment",
- "SetAllocaNoChkStkHint",
- "SetAllocaForceMem",
- "LifetimeStart",
- "LifetimeEnd",
- "LifetimeExtend",
- "ValueScopeStart",
- "ValueScopeRetain",
- "ValueScopeSoftEnd",
- "ValueScopeHardEnd",
- "Load",
- "AlignedLoad",
- "Store",
- "AlignedStore",
- "MemSet",
- "Fence",
- "StackSave",
- "StackRestore",
- "GlobalVariable",
- "GlobalVar_SetUnnamedAddr",
- "GlobalVar_SetInitializer",
- "GlobalVar_SetAlignment",
- "GlobalStringPtr",
- "CreateBlock",
- "MaybeChainNewBlock",
- "AddBlock",
- "DropBlocks",
- "MergeBlockDown",
- "SetInsertPoint",
- "SetInsertPointAtStart",
- "EraseFromParent",
- "DeleteBlock",
- "EraseInstFromParent",
- "CreateBr",
- "CreateBr_NoCollapse",
- "CreateCondBr",
- "MoveBlockToEnd",
- "CreateSwitch",
- "AddSwitchCase",
- "SetSwitchDefaultDest",
- "CreatePhi",
- "AddPhiIncoming",
- "GetIntrinsic",
- "CreateFunctionType",
- "CreateFunction",
- "EnsureFunctionPatchable",
- "RemapBindFunction",
- "SetActiveFunction",
- "CreateCall",
- "SetCallCallingConv",
- "SetFuncCallingConv",
- "SetTailCall",
- "SetCallAttribute",
- "CreateRet",
- "CreateRetVoid",
- "CreateUnreachable",
- "Call_AddAttribute",
- "Call_AddAttribute1",
- "Func_AddAttribute",
- "Func_AddAttribute1",
- "Func_SetParamName",
- "Func_DeleteBody",
- "Func_EraseFromParent",
- "Func_SetLinkage",
- "SaveDebugLocation",
- "RestoreDebugLocation",
- "ClearDebugLocation",
- "ClearDebugLocationInst",
- "UpdateDebugLocation",
- "SetCurrentDebugLocation",
- "Nop",
- "EnsureInstructionAt",
- "StatementStart",
- "ObjectAccessCheck",
- "DbgInit",
- "DbgFinalize",
- "DbgCreateCompileUnit",
- "DbgCreateFile",
- "ConstValueI64",
- "DbgGetCurrentLocation",
- "DbgSetType",
- "DbgSetInstType",
- "DbgGetType",
- "DbgGetTypeInst",
- "DbgTrackDITypes",
- "DbgCreateNamespace",
- "DbgCreateImportedModule",
- "DbgCreateBasicType",
- "DbgCreateStructType",
- "DbgCreateEnumerationType",
- "DbgCreatePointerType",
- "DbgCreateReferenceType",
- "DbgCreateConstType",
- "DbgCreateArtificialType",
- "DbgCreateArrayType",
- "DbgCreateReplaceableCompositeType",
- "DbgCreateForwardDecl",
- "DbgCreateSizedForwardDecl",
- "BeIRCmd_DbgSetTypeSize",
- "DbgReplaceAllUses",
- "DbgDeleteTemporary",
- "DbgMakePermanent",
- "CreateEnumerator",
- "DbgCreateMemberType",
- "DbgStaticCreateMemberType",
- "DbgCreateInheritance",
- "DbgCreateMethod",
- "DbgCreateFunction",
- "DbgCreateParameterVariable",
- "DbgCreateSubroutineType",
- "DbgCreateAutoVariable",
- "DbgInsertValueIntrinsic",
- "DbgInsertDeclare",
- "DbgLifetimeEnd",
- "DbgCreateGlobalVariable",
- "DbgCreateLexicalBlock",
- "DbgCreateLexicalBlockFile",
- "DbgCreateAnnotation"
- };
- BF_STATIC_ASSERT(BF_ARRAY_COUNT(gIRCmdNames) == BfIRCmd_COUNT);
- #else
- #define BE_MEM_START
- #define BE_MEM_END(name)
- #endif
- #pragma warning(disable:4146)
- #define CMD_PARAM(ty, name) ty name; Read(name);
- BeIRCodeGen::BeIRCodeGen()
- {
- mBfIRBuilder = NULL;
- mStream = NULL;
- mActiveFunction = NULL;
- mBeContext = NULL;
- mBeModule = NULL;
- mHasDebugLoc = false;
- mDebugging = false;
- mCmdCount = 0;
- }
- BeIRCodeGen::~BeIRCodeGen()
- {
- BF_ASSERT(mSavedDebugLocs.size() == 0);
- delete mBeModule;
- delete mBeContext;
- delete mStream;
- }
- void BeIRCodeGen::Hash(BeHashContext& hashCtx)
- {
- // if (mBeModule->mModuleName == "IDE_IDEApp")
- // {
- // hashCtx.mDbgViz = true;
- // NOP;
- // }
- hashCtx.Mixin(mPtrSize);
- hashCtx.Mixin(mIsOptimized);
- if (mBeModule != NULL)
- mBeModule->Hash(hashCtx);
- Array<BeStructType*> structHashList;
- for (auto beType : mBeContext->mTypes)
- {
- if (!beType->IsStruct())
- continue;
- auto beStructType = (BeStructType*)beType;
- if (beStructType->mHashId != -1)
- continue;
- structHashList.Add(beStructType);
- }
- structHashList.Sort([](BeStructType* lhs, BeStructType* rhs)
- {
- return lhs->mName < rhs->mName;
- });
- for (auto beStructType : structHashList)
- {
- beStructType->HashReference(hashCtx);
- }
- }
- bool BeIRCodeGen::IsModuleEmpty()
- {
- if (!mBeModule->mFunctions.IsEmpty())
- return false;
- if (!mBeModule->mGlobalVariables.IsEmpty())
- return false;
- return true;
- }
- void BeIRCodeGen::FatalError(const StringImpl& err)
- {
- String failStr = "Fatal Error in Module: ";
- if (mBeModule != NULL)
- failStr += mBeModule->mModuleName;
- failStr += "\n";
- if (mBeModule != NULL)
- {
- BeDumpContext dumpCtx;
- if (mActiveFunction != NULL)
- {
- failStr += "Function: ";
- failStr += mActiveFunction->mName;
- failStr += "\n";
- }
- if (mBeModule->mCurDbgLoc != NULL)
- {
- failStr += "DbgLoc: ";
- dumpCtx.ToString(failStr, mBeModule->mCurDbgLoc);
- failStr += "\n";
- }
- }
- failStr += err;
- BF_FATAL(failStr);
- }
- void BeIRCodeGen::NotImpl()
- {
- BF_FATAL("Not implemented");
- }
- BeType* BeIRCodeGen::GetBeType(BfTypeCode typeCode, bool& isSigned)
- {
- isSigned = false;
- BeTypeCode beTypeCode = BeTypeCode_None;
- switch (typeCode)
- {
- case BfTypeCode_None:
- beTypeCode = BeTypeCode_None;
- break;
- case BfTypeCode_NullPtr:
- beTypeCode = BeTypeCode_NullPtr;
- break;
- case BfTypeCode_Boolean:
- beTypeCode = BeTypeCode_Boolean;
- break;
- case BfTypeCode_Int8:
- isSigned = true;
- beTypeCode = BeTypeCode_Int8;
- break;
- case BfTypeCode_UInt8:
- case BfTypeCode_Char8:
- beTypeCode = BeTypeCode_Int8;
- break;
- case BfTypeCode_Int16:
- isSigned = true;
- beTypeCode = BeTypeCode_Int16;
- break;
- case BfTypeCode_Char16:
- case BfTypeCode_UInt16:
- beTypeCode = BeTypeCode_Int16;
- break;
- case BfTypeCode_Int32:
- isSigned = true;
- beTypeCode = BeTypeCode_Int32;
- break;
- case BfTypeCode_UInt32:
- case BfTypeCode_Char32:
- beTypeCode = BeTypeCode_Int32;
- break;
- case BfTypeCode_Int64:
- isSigned = true;
- beTypeCode = BeTypeCode_Int64;
- break;
- case BfTypeCode_UInt64:
- beTypeCode = BeTypeCode_Int64;
- break;
- case BfTypeCode_IntPtr:
- BF_FATAL("Illegal");
- /*isSigned = true;
- if (mModule->mSystem->mPtrSize == 4)
- return llvm::Type::getInt32Ty(*mLLVMContext);
- else
- return llvm::Type::getInt64Ty(*mLLVMContext);*/
- case BfTypeCode_UIntPtr:
- BF_FATAL("Illegal");
- /*if (mModule->mSystem->mPtrSize == 4)
- return llvm::Type::getInt32Ty(*mLLVMContext);
- else
- return llvm::Type::getInt64Ty(*mLLVMContext);*/
- case BfTypeCode_Float:
- isSigned = true;
- beTypeCode = BeTypeCode_Float;
- break;
- case BfTypeCode_Double:
- isSigned = true;
- beTypeCode = BeTypeCode_Double;
- break;
- }
- return mBeContext->GetPrimitiveType(beTypeCode);
- }
- BeIRTypeEntry& BeIRCodeGen::GetTypeEntry(int typeId)
- {
- BeIRTypeEntry& typeEntry = mTypes[typeId];
- if (typeEntry.mTypeId == -1)
- typeEntry.mTypeId = typeId;
- return typeEntry;
- }
- void BeIRCodeGen::FixValues(BeStructType* structType, CmdParamVec<BeValue*>& values)
- {
- if (values.size() >= structType->mMembers.size())
- return;
- int readIdx = values.size() - 1;
- values.resize(structType->mMembers.size());
- for (int i = (int)values.size() - 1; i >= 0; i--)
- {
- if (mBeContext->AreTypesEqual(values[readIdx]->GetType(), structType->mMembers[i].mType))
- {
- values[i] = values[readIdx];
- readIdx--;
- }
- else if (structType->mMembers[i].mType->IsSizedArray())
- {
- auto beConst = mBeModule->mAlloc.Alloc<BeConstant>();
- beConst->mType = structType->mMembers[i].mType;
- values[i] = beConst;
- }
- else
- {
- FatalError("Malformed structure values");
- }
- }
- }
- void BeIRCodeGen::FixValues(BeStructType* structType, SizedArrayImpl<BeConstant*>& values)
- {
- if (values.size() >= structType->mMembers.size())
- return;
- int readIdx = values.size() - 1;
- values.resize(structType->mMembers.size());
- for (int i = (int)values.size() - 1; i >= 0; i--)
- {
- if (mBeContext->AreTypesEqual(values[readIdx]->GetType(), structType->mMembers[i].mType))
- {
- values[i] = values[readIdx];
- readIdx--;
- }
- else if (structType->mMembers[i].mType->IsSizedArray())
- {
- auto beConst = mBeModule->mAlloc.Alloc<BeConstant>();
- beConst->mType = structType->mMembers[i].mType;
- values[i] = beConst;
- }
- else
- {
- FatalError("Malformed structure values");
- }
- }
- }
- void BeIRCodeGen::Init(const BfSizedArray<uint8>& buffer)
- {
- BP_ZONE("BeIRCodeGen::Init");
- BF_ASSERT(mStream == NULL);
- mStream = new ChunkedDataBuffer();
- mStream->InitFlatRef(buffer.mVals, buffer.mSize);
- #ifdef CODEGEN_TRACK
- AutoCrit autoCrit(gBEMemReporterCritSect);
- AutoMemReporter autoMemReporter(&gBEMemReporter, "BeIRCodeGen");
- #endif
- //
- {
- BP_ZONE("BeIRCodeGen::ProcessBfIRData.HandleNextCmds");
- while (mStream->GetReadPos() < buffer.mSize)
- {
- if (mFailed)
- break;
- HandleNextCmd();
- }
- }
- BF_ASSERT((mFailed) || (mStream->GetReadPos() == buffer.mSize));
- }
- void BeIRCodeGen::Process()
- {
- BP_ZONE("BeIRCodeGen::process");
- //mDebugging |= ((mBeModule->mDbgModule != NULL) && (mBeModule->mDbgModule->mFileName == "ClassQ"));
- if (mDebugging)
- {
- String dbgStr;
- dbgStr = mBeModule->ToString();
- OutputDebugStr(dbgStr);
- }
- mBeModule->DoInlining();
- if (mDebugging)
- {
- String dbgStr = "-------------- AFTER INLINING --------------\n";
- dbgStr += mBeModule->ToString();
- OutputDebugStr(dbgStr);
- }
- }
- void BeIRCodeGen::ProcessBfIRData(const BfSizedArray<uint8>& buffer)
- {
- BP_ZONE("BeIRCodeGen::ProcessBfIRData");
- Init(buffer);
- Process();
- }
- BfTypeCode BeIRCodeGen::GetTypeCode(BeType * type, bool isSigned)
- {
- switch (type->mTypeCode)
- {
- case BeTypeCode_Int8:
- return (isSigned) ? BfTypeCode_Int8 : BfTypeCode_UInt8;
- case BeTypeCode_Int16:
- return (isSigned) ? BfTypeCode_Int16 : BfTypeCode_UInt16;
- case BeTypeCode_Int32:
- return (isSigned) ? BfTypeCode_Int32 : BfTypeCode_UInt32;
- case BeTypeCode_Int64:
- return (isSigned) ? BfTypeCode_Int64 : BfTypeCode_UInt64;
- case BeTypeCode_Float:
- return BfTypeCode_Float;
- case BeTypeCode_Double:
- return BfTypeCode_Double;
- default:
- return BfTypeCode_None;
- }
- }
- void BeIRCodeGen::SetResult(int id, BeValue* value)
- {
- BeIRCodeGenEntry entry;
- entry.mKind = BeIRCodeGenEntryKind_Value;
- entry.mBeValue = value;
- mResults.TryAdd(id, entry);
- }
- void BeIRCodeGen::SetResult(int id, BeType* type)
- {
- BeIRCodeGenEntry entry;
- entry.mKind = BeIRCodeGenEntryKind_Type;
- entry.mBeType = type;
- mResults.TryAdd(id, entry);
- }
- void BeIRCodeGen::SetResult(int id, BeBlock* value)
- {
- BeIRCodeGenEntry entry;
- entry.mKind = BeIRCodeGenEntryKind_Block;
- entry.mBeBlock = value;
- mResults.TryAdd(id, entry);
- }
- void BeIRCodeGen::SetResult(int id, BeMDNode* md)
- {
- BeIRCodeGenEntry entry;
- entry.mKind = BeIRCodeGenEntryKind_Metadata;
- entry.mBeMetadata = md;
- mResults.TryAdd(id, entry);
- }
- int64 BeIRCodeGen::ReadSLEB128()
- {
- int64 val = 0;
- int64 shift = 0;
- uint8 byteVal;
- do
- {
- byteVal = mStream->Read();
- val |= ((int64)(byteVal & 0x7f)) << shift;
- shift += 7;
- } while (byteVal >= 128);
- // Sign extend negative numbers.
- if ((byteVal & 0x40) && (shift < 64))
- val |= (-1ULL) << shift;
- return val;
- }
- void BeIRCodeGen::Read(StringImpl& str)
- {
- BE_MEM_START;
- int len = (int)ReadSLEB128();
- str.Append('?', len);
- mStream->Read((void*)str.c_str(), len);
- BE_MEM_END("String");
- }
- void BeIRCodeGen::Read(int& i)
- {
- BE_MEM_START;
- i = (int)ReadSLEB128();
- BE_MEM_END("int");
- }
- void BeIRCodeGen::Read(int64& i)
- {
- BE_MEM_START;
- i = ReadSLEB128();
- BE_MEM_END("int64");
- }
- void BeIRCodeGen::Read(Val128& i)
- {
- i.mLow = (uint64)ReadSLEB128();
- i.mHigh = (uint64)ReadSLEB128();
- }
- void BeIRCodeGen::Read(bool& val)
- {
- BE_MEM_START;
- val = mStream->Read() != 0;
- BE_MEM_END("bool");
- }
- void BeIRCodeGen::Read(int8& val)
- {
- val = mStream->Read();
- }
- void BeIRCodeGen::Read(BeIRTypeEntry*& type)
- {
- BE_MEM_START;
- int typeId = (int)ReadSLEB128();
- type = &GetTypeEntry(typeId);
- BE_MEM_END("BeIRTypeEntry");
- }
- void BeIRCodeGen::Read(BeType*& beType)
- {
- BE_MEM_START;
- BfIRType::TypeKind typeKind = (BfIRType::TypeKind)mStream->Read();
- if (typeKind == BfIRType::TypeKind::TypeKind_None)
- {
- beType = NULL;
- BE_MEM_END("BeType");
- return;
- }
- if (typeKind == BfIRType::TypeKind::TypeKind_Stream)
- {
- int streamId = (int)ReadSLEB128();
- if (streamId == -1)
- {
- beType = NULL;
- BE_MEM_END("BeType");
- return;
- }
- auto& result = mResults[streamId];
- BF_ASSERT(result.mKind == BeIRCodeGenEntryKind_Type);
- beType = result.mBeType;
- BE_MEM_END("BeType");
- return;
- }
- if (typeKind == BfIRType::TypeKind::TypeKind_SizedArray)
- {
- CMD_PARAM(BeType*, elementType);
- CMD_PARAM(int, length);
- beType = mBeContext->CreateSizedArrayType(elementType, length);
- return;
- }
- int typeId = (int)ReadSLEB128();
- if (typeKind == BfIRType::TypeKind::TypeKind_TypeCode)
- {
- bool isSigned = false;
- beType = GetBeType((BfTypeCode)typeId, isSigned);
- return;
- }
- auto& typeEntry = GetTypeEntry(typeId);
- if (typeKind == BfIRType::TypeKind::TypeKind_TypeId)
- beType = typeEntry.mBeType;
- else if (typeKind == BfIRType::TypeKind::TypeKind_TypeInstId)
- beType = typeEntry.mInstBeType;
- else if (typeKind == BfIRType::TypeKind::TypeKind_TypeInstPtrId)
- beType = mBeContext->GetPointerTo(typeEntry.mInstBeType);
- BE_MEM_END("BeType");
- }
- void BeIRCodeGen::Read(BeFunctionType*& beType)
- {
- BE_MEM_START;
- int streamId = (int)ReadSLEB128();
- auto& result = mResults[streamId];
- BF_ASSERT(result.mKind == BeIRCodeGenEntryKind_Type);
- beType = (BeFunctionType*)result.mBeType;
- BE_MEM_END("BeFunctionType");
- }
- void BeIRCodeGen::Read(BeValue*& beValue)
- {
- BE_MEM_START;
- BfIRParamType paramType = (BfIRParamType)mStream->Read();
- if (paramType == BfIRParamType_None)
- {
- beValue = NULL;
- BE_MEM_END("ParamType_None");
- }
- else if (paramType == BfIRParamType_Const)
- {
- BfTypeCode typeCode = (BfTypeCode)mStream->Read();
- BfConstType constType = (BfConstType)typeCode;
- if (constType == BfConstType_GlobalVar)
- {
- CMD_PARAM(int, streamId);
- if (streamId == -1)
- {
- int streamId = mCmdCount++;
- CMD_PARAM(BeType*, varType);
- CMD_PARAM(bool, isConstant);
- BfIRLinkageType linkageType = (BfIRLinkageType)mStream->Read();
- CMD_PARAM(BeConstant*, initializer);
- CMD_PARAM(String, name);
- CMD_PARAM(bool, isTLS);
- BF_ASSERT(varType != NULL);
- auto globalVariable = mBeModule->mGlobalVariables.Alloc();
- globalVariable->mModule = mBeModule;
- globalVariable->mType = varType;
- globalVariable->mIsConstant = isConstant;
- globalVariable->mLinkageType = linkageType;
- globalVariable->mInitializer = initializer;
- globalVariable->mName = name;
- globalVariable->mIsTLS = isTLS;
- globalVariable->mAlign = varType->mAlign;
- globalVariable->mUnnamedAddr = false;
- globalVariable->mStorageKind = BfIRStorageKind_Normal;
- if (initializer != NULL)
- BF_ASSERT(varType->mAlign > 0);
- SetResult(streamId, globalVariable);
- beValue = globalVariable;
- }
- else
- beValue = GetBeValue(streamId);
- beValue->mRefCount++;
- BE_MEM_END("ParamType_Const_GlobalVar");
- return;
- }
- else if ((constType == BfConstType_BitCast) || (constType == BfConstType_BitCastNull))
- {
- CMD_PARAM(BeConstant*, target);
- CMD_PARAM(BeType*, toType);
- auto castedVal = mBeModule->mAlloc.Alloc<BeCastConstant>();
- castedVal->mInt64 = target->mInt64;
- castedVal->mType = toType;
- castedVal->mTarget = target;
- BF_ASSERT(target->GetType() != NULL);
- BF_ASSERT(!target->GetType()->IsComposite());
- beValue = castedVal;
- BE_MEM_END("ParamType_Const_BitCast");
- return;
- }
- else if (constType == BfConstType_GEP32_1)
- {
- CMD_PARAM(BeConstant*, target);
- CMD_PARAM(int, idx0);
- BF_ASSERT(target->GetType()->IsPointer());
- auto gepConstant = mBeModule->mAlloc.Alloc<BeGEP1Constant>();
- gepConstant->mTarget = target;
- gepConstant->mIdx0 = idx0;
- beValue = gepConstant;
- BE_MEM_END("ParamType_Const_GEP32_1");
- return;
- }
- else if (constType == BfConstType_GEP32_2)
- {
- CMD_PARAM(BeConstant*, target);
- CMD_PARAM(int, idx0);
- CMD_PARAM(int, idx1);
- BF_ASSERT(target->GetType()->IsPointer());
- auto gepConstant = mBeModule->mAlloc.Alloc<BeGEP2Constant>();
- gepConstant->mTarget = target;
- gepConstant->mIdx0 = idx0;
- gepConstant->mIdx1 = idx1;
- beValue = gepConstant;
- BE_MEM_END("ParamType_Const_GEP32_2");
- return;
- }
- else if (constType == BfConstType_ExtractValue)
- {
- CMD_PARAM(BeConstant*, target);
- CMD_PARAM(int, idx0);
- auto gepConstant = mBeModule->mAlloc.Alloc<BeExtractValueConstant>();
- gepConstant->mTarget = target;
- gepConstant->mIdx0 = idx0;
- beValue = gepConstant;
- BE_MEM_END("ParamType_Const_ExtractValue");
- return;
- }
- else if (constType == BfConstType_PtrToInt)
- {
- CMD_PARAM(BeConstant*, target);
- BfTypeCode toTypeCode = (BfTypeCode)mStream->Read();
- BF_ASSERT(target->GetType()->IsPointer());
- bool isSigned = false;
- BeType* toType = GetBeType(toTypeCode, isSigned);
- auto castedVal = mBeModule->mAlloc.Alloc<BeCastConstant>();
- castedVal->mInt64 = target->mInt64;
- castedVal->mType = toType;
- castedVal->mTarget = target;
- BF_ASSERT(target->GetType() != NULL);
- beValue = castedVal;
- BE_MEM_END("ParamType_Const_PtrToInt");
- return;
- }
- else if (constType == BfConstType_IntToPtr)
- {
- CMD_PARAM(BeConstant*, target);
- CMD_PARAM(BeType*, toType);
- auto castedVal = mBeModule->mAlloc.Alloc<BeCastConstant>();
- castedVal->mInt64 = target->mInt64;
- castedVal->mType = toType;
- castedVal->mTarget = target;
- BF_ASSERT(target->GetType() != NULL);
- BF_ASSERT(!target->GetType()->IsComposite());
- BF_ASSERT(toType->IsPointer());
- beValue = castedVal;
- BE_MEM_END("ParamType_Const_IntToPtr");
- return;
- }
- else if (constType == BfConstType_AggZero)
- {
- CMD_PARAM(BeType*, type);
- auto beConst = mBeModule->mAlloc.Alloc<BeConstant>();
- beConst->mType = type;
- beValue = beConst;
- BE_MEM_END("ParamType_Const_AggZero");
- return;
- }
- else if (constType == BfConstType_Agg)
- {
- CMD_PARAM(BeType*, type);
- CMD_PARAM(CmdParamVec<BeConstant*>, values);
- if (type->IsSizedArray())
- {
- auto arrayType = (BeSizedArrayType*)type;
- int fillCount = (int)(arrayType->mLength - values.size());
- if (fillCount > 0)
- {
- auto lastValue = values.back();
- for (int i = 0; i < fillCount; i++)
- values.push_back(lastValue);
- }
- }
- else if (type->IsVector())
- {
- auto vecType = (BeVectorType*)type;
- int fillCount = (int)(vecType->mLength - values.size());
- if (fillCount > 0)
- {
- auto lastValue = values.back();
- for (int i = 0; i < fillCount; i++)
- values.push_back(lastValue);
- }
- }
- else
- {
- BF_ASSERT(type->IsStruct());
- }
- auto constStruct = mBeModule->mOwnedValues.Alloc<BeStructConstant>();
- constStruct->mType = type;
- if (type->IsStruct())
- FixValues((BeStructType*)type, values);
- for (int i = 0; i < (int)values.size(); i++)
- {
- auto val = values[i];
- BeConstant* constant = BeValueDynCast<BeConstant>(val);
- if (type->IsSizedArray())
- {
- auto arrayType = (BeSizedArrayType*)type;
- auto memberType = constant->GetType();
- if (memberType != arrayType->mElementType)
- Fail("ConstAgg array member type mismatch");
- }
- else if (type->IsVector())
- {
- auto vecType = (BeVectorType*)type;
- auto memberType = constant->GetType();
- if (memberType != vecType->mElementType)
- Fail("ConstAgg vector member type mismatch");
- }
- else
- {
- BF_ASSERT(type->IsStruct());
- auto structType = (BeStructType*)type;
- auto valType = constant->GetType();
- if (structType->mIsOpaque)
- {
- Fail("ConstAgg with opaque struct");
- }
- else if (valType != structType->mMembers[i].mType)
- {
- if (valType->IsSizedArray())
- {
- auto valSizedType = (BeSizedArrayType*)valType;
- if (valSizedType->mSize == 0)
- {
- constant->mType = structType->mMembers[i].mType;
- constStruct->mMemberValues.Add(constant);
- continue;
- }
- }
- Fail("ConstAgg struct member type mismatch");
- }
- }
- constStruct->mMemberValues.Add(constant);
- }
- beValue = constStruct;
- BE_MEM_END("ParamType_Const_Array");
- return;
- }
- else if (constType == BfConstType_ArrayZero8)
- {
- CMD_PARAM(int, count);
- auto beType = mBeContext->CreateSizedArrayType(mBeContext->GetPrimitiveType(BeTypeCode_Int8), count);
- auto beConst = mBeModule->mAlloc.Alloc<BeConstant>();
- beConst->mType = beType;
- beValue = beConst;
- return;
- }
- else if (constType == BfConstType_Undef)
- {
- CMD_PARAM(BeType*, type);
- auto constUndef = mBeModule->mOwnedValues.Alloc<BeUndefConstant>();
- constUndef->mType = type;
- beValue = constUndef;
- return;
- }
- else if (constType == BfConstType_TypeOf)
- {
- CMD_PARAM(BeType*, type);
- beValue = mReflectDataMap[type];
- BF_ASSERT(beValue != NULL);
- return;
- }
- else if (constType == BfConstType_TypeOf_Comptime)
- {
- CMD_PARAM(BeType*, typeType);
- CMD_PARAM(int, bfTypeId);
- auto beConst = mBeModule->mAlloc.Alloc<BeTypeOfConstant>();
- beConst->mType = typeType;
- beConst->mBfTypeId = bfTypeId;
- beValue = beConst;
- return;
- }
- else if (constType == BfConstType_TypeOf_WithData)
- {
- CMD_PARAM(BeType*, type);
- CMD_PARAM(BeValue*, value);
- mReflectDataMap[type] = value;
- beValue = value;
- return;
- }
- bool isSigned = false;
- BeType* llvmConstType = GetBeType(typeCode, isSigned);
- if (typeCode == BfTypeCode_Float)
- {
- float f;
- mStream->Read(&f, sizeof(float));
- beValue = mBeModule->GetConstant(llvmConstType, f);
- BE_MEM_END("ParamType_Single");
- }
- else if (typeCode == BfTypeCode_Double)
- {
- double d;
- mStream->Read(&d, sizeof(double));
- beValue = mBeModule->GetConstant(llvmConstType, d);
- BE_MEM_END("ParamType_Const_Double");
- }
- else if (typeCode == BfTypeCode_Boolean)
- {
- CMD_PARAM(bool, boolVal);
- beValue = mBeModule->GetConstant(llvmConstType, boolVal);
- BE_MEM_END("ParamType_Const_Boolean");
- }
- else if (typeCode == BfTypeCode_None)
- {
- beValue = NULL;
- BE_MEM_END("ParamType_Const_None");
- }
- else if (typeCode == BfTypeCode_NullPtr)
- {
- CMD_PARAM(BeType*, nullType);
- beValue = mBeModule->GetConstantNull((BePointerType*)nullType);
- BE_MEM_END("ParamType_Const_NullPtr");
- }
- else if (BfIRBuilder::IsInt(typeCode))
- {
- int64 intVal = ReadSLEB128();
- auto constVal = mBeModule->GetConstant(llvmConstType, intVal);
- beValue = constVal;
- BE_MEM_END("ParamType_Const_Int");
- }
- else
- {
- BF_FATAL("Unhandled");
- }
- }
- else if (paramType == BfIRParamType_Arg)
- {
- int argIdx = mStream->Read();
- beValue = mBeModule->GetArgument(argIdx);
- BE_MEM_END("ParamType_Arg");
- }
- else if (paramType == BfIRParamType_StreamId_Abs8)
- {
- int cmdId = mStream->Read();
- auto& result = mResults[cmdId];
- BF_ASSERT(result.mKind == BeIRCodeGenEntryKind_Value);
- beValue = result.mBeValue;
- BE_MEM_END("ParamType_StreamId");
- }
- else if (paramType == BfIRParamType_StreamId_Rel)
- {
- int cmdId = mCmdCount - (int)ReadSLEB128();
- auto& result = mResults[cmdId];
- BF_ASSERT(result.mKind == BeIRCodeGenEntryKind_Value);
- beValue = result.mBeValue;
- BE_MEM_END("ParamType_StreamId");
- }
- else
- {
- int cmdId = mCmdCount - (paramType - BfIRParamType_StreamId_Back1) - 1;
- auto& result = mResults[cmdId];
- BF_ASSERT(result.mKind == BeIRCodeGenEntryKind_Value);
- beValue = result.mBeValue;
- BE_MEM_END("ParamType_StreamId");
- }
- if (beValue != NULL)
- beValue->mRefCount++;
- }
- void BeIRCodeGen::Read(BeConstant*& llvmConstant)
- {
- BE_MEM_START;
- BeValue* value;
- Read(value);
- if (value == NULL)
- {
- llvmConstant = NULL;
- }
- else
- {
- BF_ASSERT(BeValueDynCast<BeConstant>(value));
- llvmConstant = (BeConstant*)value;
- }
- BE_MEM_END("BeConstant");
- }
- void BeIRCodeGen::Read(BeFunction*& beFunc)
- {
- BE_MEM_START;
- int streamId = (int)ReadSLEB128();
- if (streamId == -1)
- {
- beFunc = NULL;
- return;
- }
- auto& result = mResults[streamId];
- BF_ASSERT(result.mKind == BeIRCodeGenEntryKind_Value);
- BF_ASSERT(BeValueDynCast<BeFunction>(result.mBeValue));
- beFunc = (BeFunction*)result.mBeValue;
- BE_MEM_END("BeFunction");
- beFunc->mRefCount++;
- }
- void BeIRCodeGen::Read(BeBlock*& beBlock)
- {
- BE_MEM_START;
- int streamId = (int)ReadSLEB128();
- auto& result = mResults[streamId];
- BF_ASSERT(result.mKind == BeIRCodeGenEntryKind_Block);
- beBlock = (BeBlock*)result.mBeType;
- BE_MEM_END("BeBlock");
- beBlock->mRefCount++;
- }
- void BeIRCodeGen::Read(BeMDNode*& llvmMD)
- {
- BE_MEM_START;
- int streamId = (int)ReadSLEB128();
- if (streamId == -1)
- {
- llvmMD = NULL;
- return;
- }
- auto& result = mResults[streamId];
- BF_ASSERT(result.mKind == BeIRCodeGenEntryKind_Metadata);
- llvmMD = result.mBeMetadata;
- BE_MEM_END("BeMDNode");
- if (llvmMD != NULL)
- llvmMD->mRefCount++;
- }
- void BeIRCodeGen::HandleNextCmd()
- {
- if (mFailed)
- {
- mStream->SetReadPos(mStream->GetSize());
- return;
- }
- int curId = mCmdCount;
- BfIRCmd cmd = (BfIRCmd)mStream->Read();
- mCmdCount++;
- #ifdef CODEGEN_TRACK
- gBEMemReporter.BeginSection(gIRCmdNames[cmd]);
- gBEMemReporter.Add(1);
- #endif
- switch (cmd)
- {
- case BfIRCmd_Module_Start:
- {
- CMD_PARAM(String, moduleName);
- CMD_PARAM(int, ptrSize);
- CMD_PARAM(bool, isOptimized);
- BF_ASSERT(mBeModule == NULL);
- mPtrSize = ptrSize;
- mIsOptimized = isOptimized;
- mBeContext = new BeContext();
- mBeModule = new BeModule(moduleName, mBeContext);
- mBeModule->mBeIRCodeGen = this;
- mBeContext->mPointerSize = ptrSize;
- for (auto constInt : mConfigConsts)
- {
- auto constVal = mBeModule->mAlloc.Alloc<BeConstant>();
- constVal->mType = mBeContext->GetPrimitiveType(BeTypeCode_Int32);
- constVal->mInt64 = constInt;
- mBeModule->mConfigConsts32.Add(constVal);
- constVal = mBeModule->mAlloc.Alloc<BeConstant>();
- constVal->mType = mBeContext->GetPrimitiveType(BeTypeCode_Int64);
- constVal->mInt64 = constInt;
- mBeModule->mConfigConsts64.Add(constVal);
- }
- }
- break;
- case BfIRCmd_Module_SetTargetTriple:
- {
- CMD_PARAM(String, targetTriple);
- CMD_PARAM(String, targetCPU);
- mBeModule->mTargetTriple = targetTriple;
- mBeModule->mTargetCPU = targetCPU;
- }
- break;
- case BfIRCmd_Module_AddModuleFlag:
- {
- CMD_PARAM(String, flag);
- CMD_PARAM(int, val);
- //mBeModule->addModuleFlag(BeModule::Warning, flag, val);
- }
- break;
- case BfIRCmd_WriteIR:
- {
- /*CMD_PARAM(String, fileName);
- std::error_code ec;
- Beraw_fd_ostream outStream(fileName.c_str(), ec, Besys::fs::OpenFlags::F_Text);
- if (ec)
- {
- Fail("Failed writing IR '" + fileName + "': " + ec.message());
- }
- else
- mBeModule->print(outStream, NULL);*/
- }
- break;
- case BfIRCmd_Abort:
- {
- Fail("Stream aborted");
- }
- break;
- case BfIRCmd_SetType:
- {
- CMD_PARAM(int, typeId);
- CMD_PARAM(BeType*, type);
- auto& typeEntry = GetTypeEntry(typeId);
- typeEntry.mBeType = type;
- if (typeEntry.mInstBeType == NULL)
- typeEntry.mInstBeType = type;
- }
- break;
- case BfIRCmd_SetInstType:
- {
- CMD_PARAM(int, typeId);
- CMD_PARAM(BeType*, type);
- GetTypeEntry(typeId).mInstBeType = type;
- }
- break;
- case BfIRCmd_PrimitiveType:
- {
- BfTypeCode typeCode = (BfTypeCode)mStream->Read();
- bool isSigned = false;
- SetResult(curId, GetBeType(typeCode, isSigned));
- }
- break;
- case BfIRCmd_CreateStruct:
- {
- CMD_PARAM(String, typeName);
- SetResult(curId, mBeContext->CreateStruct(typeName));
- }
- break;
- case BfIRCmd_CreateAnonymousStruct:
- {
- CMD_PARAM(CmdParamVec<BeType*>, members);
- BeStructType* structType = mBeContext->CreateStruct(members);
- SetResult(curId, structType);
- }
- break;
- case BfIRCmd_StructSetBody:
- {
- CMD_PARAM(BeType*, type);
- CMD_PARAM(CmdParamVec<BeType*>, members);
- CMD_PARAM(int, instSize);
- CMD_PARAM(int, instAlign);
- CMD_PARAM(bool, isPacked);
- if ((type == NULL) || (type->mTypeCode != BeTypeCode_Struct))
- {
- Fail("StructSetBody invalid type");
- break;
- }
- bool failed = false;
- for (auto member : members)
- {
- if (member->mSize < 0)
- {
- Fail("StructSetBody invalid member type");
- failed = true;
- }
- }
- if (!failed)
- {
- BF_ASSERT(type->mTypeCode == BeTypeCode_Struct);
- auto structType = (BeStructType*)type;
- mBeContext->SetStructBody(structType, members, isPacked);
- structType->mSize = instSize;
- structType->mAlign = instAlign;
- }
- }
- break;
- case BfIRCmd_Type:
- {
- CMD_PARAM(BeIRTypeEntry*, typeEntry);
- auto type = typeEntry->mBeType;
- SetResult(curId, type);
- }
- break;
- case BfIRCmd_TypeInst:
- {
- CMD_PARAM(BeIRTypeEntry*, typeEntry);
- SetResult(curId, typeEntry->mInstBeType);
- }
- break;
- case BfIRCmd_TypeInstPtr:
- {
- CMD_PARAM(BeIRTypeEntry*, typeEntry);
- SetResult(curId, mBeContext->GetPointerTo(typeEntry->mInstBeType));
- }
- break;
- case BfIRCmd_GetType:
- {
- CMD_PARAM(BeValue*, value);
- auto type = value->GetType();
- SetResult(curId, type);
- }
- break;
- case BfIRCmd_GetPointerToFuncType:
- {
- CMD_PARAM(BeFunctionType*, funcType);
- SetResult(curId, mBeContext->GetPointerTo(funcType));
- }
- break;
- case BfIRCmd_GetPointerToType:
- {
- CMD_PARAM(BeType*, type);
- SetResult(curId, mBeContext->GetPointerTo(type));
- }
- break;
- case BfIRCmd_GetSizedArrayType:
- {
- CMD_PARAM(BeType*, elementType);
- CMD_PARAM(int, length);
- SetResult(curId, mBeContext->CreateSizedArrayType(elementType, length));
- }
- break;
- case BfIRCmd_GetVectorType:
- {
- CMD_PARAM(BeType*, elementType);
- CMD_PARAM(int, length);
- SetResult(curId, mBeContext->CreateVectorType(elementType, length));
- }
- break;
- case BfIRCmd_CreateConstAgg:
- {
- CMD_PARAM(BeType*, type);
- CMD_PARAM(CmdParamVec<BeValue*>, values);
- auto constStruct = mBeModule->mOwnedValues.Alloc<BeStructConstant>();
- constStruct->mType = type;
- if (type->IsStruct())
- {
- FixValues((BeStructType*)type, values);
- BF_ASSERT(((BeStructType*)type)->mMembers.size() == values.size());
- for (int i = 0; i < (int)values.size(); i++)
- {
- auto val = values[i];
- BF_ASSERT(mBeContext->AreTypesEqual(((BeStructType*)type)->mMembers[i].mType, val->GetType()));
- constStruct->mMemberValues.push_back(BeValueDynCast<BeConstant>(val));
- }
- }
- else
- {
- BF_ASSERT(type->IsSizedArray());
- auto arrayType = (BeSizedArrayType*)type;
- int fillCount = (int)(arrayType->mLength - values.size());
- if (fillCount > 0)
- {
- auto lastValue = values.back();
- for (int i = 0; i < fillCount; i++)
- values.push_back(lastValue);
- }
- BF_ASSERT(arrayType->mLength == values.size());
- for (int i = 0; i < (int)values.size(); i++)
- {
- auto val = values[i];
- BF_ASSERT(mBeContext->AreTypesEqual(((BeSizedArrayType*)type)->mElementType, val->GetType()));
- constStruct->mMemberValues.push_back(BeValueDynCast<BeConstant>(val));
- }
- }
- SetResult(curId, constStruct);
- }
- break;
- case BfIRCmd_CreateConstStructZero:
- {
- CMD_PARAM(BeType*, type);
- auto beConst = mBeModule->mAlloc.Alloc<BeConstant>();
- beConst->mType = type;
- SetResult(curId, beConst);
- }
- break;
- case BfIRCmd_CreateConstString:
- {
- CMD_PARAM(String, str);
- auto constStruct = mBeModule->mOwnedValues.Alloc<BeStringConstant>();
- constStruct->mString = str;
- auto charType = mBeContext->GetPrimitiveType(BeTypeCode_Int8);
- constStruct->mType = mBeContext->CreateSizedArrayType(charType, str.length() + 1);
- SetResult(curId, constStruct);
- }
- break;
- case BfIRCmd_ConfigConst:
- {
- CMD_PARAM(int, constIdx);
- BfTypeCode typeCode = (BfTypeCode)mStream->Read();
- if (typeCode == BfTypeCode_IntPtr)
- typeCode = (mPtrSize == 4) ? BfTypeCode_Int32 : BfTypeCode_Int64;
- BeConstant* constVal = (typeCode == BfTypeCode_Int32) ?
- mBeModule->mConfigConsts32[constIdx] :
- mBeModule->mConfigConsts64[constIdx];
- SetResult(curId, constVal);
- }
- break;
- case BfIRCmd_SetName:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(String, name);
- val->SetName(name);
- }
- break;
- case BfIRCmd_CreateUndefValue:
- {
- CMD_PARAM(BeType*, type);
- SetResult(curId, mBeModule->CreateUndefValue(type));
- }
- break;
- case BfIRCmd_NumericCast:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(bool, valIsSigned);
- BfTypeCode typeCode = (BfTypeCode)mStream->Read();
- auto valType = val->GetType();
- if ((!valType->IsIntable()) && (!valType->IsFloat()))
- {
- Fail("Invalid NumericCast target");
- }
- BfTypeCode valTypeCode = GetTypeCode(valType, valIsSigned);
- if (auto srcCastConstant = BeValueDynCast<BeCastConstant>(val))
- {
- BeType* toType = GetBeType(typeCode, valIsSigned);
- auto castedVal = mBeModule->mAlloc.Alloc<BeCastConstant>();
- castedVal->mInt64 = srcCastConstant->mInt64;
- castedVal->mType = toType;
- castedVal->mTarget = srcCastConstant->mTarget;
- SetResult(curId, castedVal);
- break;
- }
- bool toSigned = false;
- auto toBeType = GetBeType(typeCode, toSigned);
- BeValue* retVal = mBeModule->CreateNumericCast(val, toBeType, valIsSigned, toSigned);
- SetResult(curId, retVal);
- }
- break;
- case BfIRCmd_CmpEQ:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- if (lhs->GetType() != rhs->GetType())
- Fail("Type mismatch for CmpEQ");
- SetResult(curId, mBeModule->CreateCmp(BeCmpKind_EQ, lhs, rhs));
- }
- break;
- case BfIRCmd_CmpNE:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateCmp(BeCmpKind_NE, lhs, rhs));
- }
- break;
- case BfIRCmd_CmpSLT:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateCmp(BeCmpKind_SLT, lhs, rhs));
- }
- break;
- case BfIRCmd_CmpULT:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateCmp(BeCmpKind_ULT, lhs, rhs));
- }
- break;
- case BfIRCmd_CmpSLE:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateCmp(BeCmpKind_SLE, lhs, rhs));
- }
- break;
- case BfIRCmd_CmpULE:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateCmp(BeCmpKind_ULE, lhs, rhs));
- }
- break;
- case BfIRCmd_CmpSGT:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateCmp(BeCmpKind_SGT, lhs, rhs));
- }
- break;
- case BfIRCmd_CmpUGT:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateCmp(BeCmpKind_UGT, lhs, rhs));
- }
- break;
- case BfIRCmd_CmpSGE:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateCmp(BeCmpKind_SGE, lhs, rhs));
- }
- break;
- case BfIRCmd_CmpUGE:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateCmp(BeCmpKind_UGE, lhs, rhs));
- }
- break;
- case BfIRCmd_Add:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- CMD_PARAM(int8, overflowCheckKind);
- SetResult(curId, mBeModule->CreateBinaryOp(BeBinaryOpKind_Add, lhs, rhs, (BfOverflowCheckKind)overflowCheckKind));
- }
- break;
- case BfIRCmd_Sub:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- CMD_PARAM(int8, overflowCheckKind);
- SetResult(curId, mBeModule->CreateBinaryOp(BeBinaryOpKind_Subtract, lhs, rhs, (BfOverflowCheckKind)overflowCheckKind));
- }
- break;
- case BfIRCmd_Mul:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- CMD_PARAM(int8, overflowCheckKind);
- SetResult(curId, mBeModule->CreateBinaryOp(BeBinaryOpKind_Multiply, lhs, rhs, (BfOverflowCheckKind)overflowCheckKind));
- }
- break;
- case BfIRCmd_SDiv:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateBinaryOp(BeBinaryOpKind_SDivide, lhs, rhs));
- }
- break;
- case BfIRCmd_UDiv:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateBinaryOp(BeBinaryOpKind_UDivide, lhs, rhs));
- }
- break;
- case BfIRCmd_SRem:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateBinaryOp(BeBinaryOpKind_SModulus, lhs, rhs));
- }
- break;
- case BfIRCmd_URem:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateBinaryOp(BeBinaryOpKind_UModulus, lhs, rhs));
- }
- break;
- case BfIRCmd_And:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateBinaryOp(BeBinaryOpKind_BitwiseAnd, lhs, rhs));
- }
- break;
- case BfIRCmd_Or:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateBinaryOp(BeBinaryOpKind_BitwiseOr, lhs, rhs));
- }
- break;
- case BfIRCmd_Xor:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateBinaryOp(BeBinaryOpKind_ExclusiveOr, lhs, rhs));
- }
- break;
- case BfIRCmd_Shl:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateBinaryOp(BeBinaryOpKind_LeftShift, lhs, rhs));
- }
- break;
- case BfIRCmd_AShr:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateBinaryOp(BeBinaryOpKind_ARightShift, lhs, rhs));
- }
- break;
- case BfIRCmd_LShr:
- {
- CMD_PARAM(BeValue*, lhs);
- CMD_PARAM(BeValue*, rhs);
- SetResult(curId, mBeModule->CreateBinaryOp(BeBinaryOpKind_RightShift, lhs, rhs));
- }
- break;
- case BfIRCmd_Neg:
- {
- CMD_PARAM(BeValue*, val);
- auto negInst = mBeModule->AllocInst<BeNegInst>();
- negInst->mValue = val;
- SetResult(curId, negInst);
- }
- break;
- case BfIRCmd_Not:
- {
- CMD_PARAM(BeValue*, val);
- auto negInst = mBeModule->AllocInst<BeNotInst>();
- negInst->mValue = val;
- SetResult(curId, negInst);
- }
- break;
- case BfIRCmd_BitCast:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(BeType*, toType);
- if (auto funcVal = BeValueDynCast<BeFunction>(val))
- {
- auto beConst = mBeModule->mAlloc.Alloc<BeConstant>();
- beConst->mTarget = funcVal;
- BF_ASSERT(funcVal->mType != NULL);
- beConst->mType = toType;
- SetResult(curId, beConst);
- break;
- }
- SetResult(curId, mBeModule->CreateBitCast(val, toType));
- }
- break;
- case BfIRCmd_PtrToInt:
- {
- CMD_PARAM(BeValue*, val);
- auto typeCode = (BfTypeCode)mStream->Read();
- bool isSigned = false;
- auto beType = GetBeType(typeCode, isSigned);
- BF_ASSERT(beType != NULL);
- auto numericCastInst = mBeModule->AllocInst<BeNumericCastInst>();
- numericCastInst->mValue = val;
- numericCastInst->mValSigned = false;
- numericCastInst->mToType = beType;
- numericCastInst->mToSigned = isSigned;
- SetResult(curId, numericCastInst);
- }
- break;
- case BfIRCmd_IntToPtr:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(BeType*, toType);
- auto bitcastInst = mBeModule->AllocInst<BeBitCastInst>();
- bitcastInst->mValue = val;
- bitcastInst->mToType = toType;
- SetResult(curId, bitcastInst);
- }
- break;
- case BfIRCmd_InboundsGEP1_32:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(int, idx0);
- BF_ASSERT(val->GetType()->IsPointer());
- BeType* int32Type = mBeContext->GetPrimitiveType(BeTypeCode_Int32);
- SetResult(curId, mBeModule->CreateGEP(val, mBeModule->GetConstant(int32Type, (int64)idx0), NULL));
- }
- break;
- case BfIRCmd_InboundsGEP2_32:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(int, idx0);
- CMD_PARAM(int, idx1);
- BF_ASSERT(val->GetType()->IsPointer());
- BeType* int32Type = mBeContext->GetPrimitiveType(BeTypeCode_Int32);
- SetResult(curId, mBeModule->CreateGEP(val, mBeModule->GetConstant(int32Type, (int64)idx0), mBeModule->GetConstant(int32Type, (int64)idx1)));
- }
- break;
- case BfIRCmd_InBoundsGEP1:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(BeValue*, idx0);
- BF_ASSERT(val->GetType()->IsPointer());
- SetResult(curId, mBeModule->CreateGEP(val, idx0, NULL));
- }
- break;
- case BfIRCmd_InBoundsGEP2:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(BeValue*, idx0);
- CMD_PARAM(BeValue*, idx1);
- BF_ASSERT(val->GetType()->IsPointer());
- SetResult(curId, mBeModule->CreateGEP(val, idx0, idx1));
- }
- break;
- case BfIRCmd_IsNull:
- {
- CMD_PARAM(BeValue*, val);
- BF_ASSERT(val->GetType()->IsPointer());
- SetResult(curId, mBeModule->CreateCmp(BeCmpKind_EQ, val, mBeModule->GetConstantNull((BePointerType*)val->GetType())));
- }
- break;
- case BfIRCmd_IsNotNull:
- {
- CMD_PARAM(BeValue*, val);
- BF_ASSERT(val->GetType()->IsPointer());
- SetResult(curId, mBeModule->CreateCmp(BeCmpKind_NE, val, mBeModule->GetConstantNull((BePointerType*)val->GetType())));
- }
- break;
- case BfIRCmd_ExtractValue:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(int, idx);
- BF_ASSERT(val->GetType()->IsComposite());
- if (val->GetType()->mTypeCode == BeTypeCode_Struct)
- {
- auto structType = (BeStructType*)val->GetType();
- if (idx >= structType->mMembers.mSize)
- {
- FatalError("ExtractValue OOB");
- }
- }
- auto extractValueInst = mBeModule->AllocInst<BeExtractValueInst>();
- extractValueInst->mAggVal = val;
- extractValueInst->mIdx = idx;
- SetResult(curId, extractValueInst);
- }
- break;
- case BfIRCmd_InsertValue:
- {
- CMD_PARAM(BeValue*, agg);
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(int, idx);
- auto insertValueInst = mBeModule->AllocInst<BeInsertValueInst>();
- insertValueInst->mAggVal = agg;
- insertValueInst->mMemberVal = val;
- insertValueInst->mIdx = idx;
- SetResult(curId, insertValueInst);
- }
- break;
- case BfIRCmd_Alloca:
- {
- CMD_PARAM(BeType*, type);
- if (type->IsStruct())
- {
- BF_ASSERT(!((BeStructType*)type)->mIsOpaque);
- }
- auto allocaInst = mBeModule->CreateAlloca(type);
- allocaInst->mAlign = type->mAlign;
- SetResult(curId, allocaInst);
- }
- break;
- case BfIRCmd_AllocaArray:
- {
- CMD_PARAM(BeType*, type);
- CMD_PARAM(BeValue*, arraySize);
- if (auto constant = BeValueDynCast<BeConstant>(arraySize))
- {
- //BF_ASSERT(constant->mInt64 >= 0);
- }
- auto allocaInst = mBeModule->AllocInst<BeAllocaInst>();
- allocaInst->mType = type;
- allocaInst->mAlign = type->mAlign;
- allocaInst->mArraySize = arraySize;
- SetResult(curId, allocaInst);
- }
- break;
- case BfIRCmd_SetAllocaAlignment:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(int, alignment);
- auto inst = BeValueDynCast<BeAllocaInst>(val);
- inst->mAlign = alignment;
- //TODO: Implement
- /*inst->setAlignment(alignment);*/
- }
- break;
- case BfIRCmd_AliasValue:
- {
- CMD_PARAM(BeValue*, val);
- auto inst = mBeModule->AllocInst<BeAliasValueInst>();
- inst->mPtr = val;
- SetResult(curId, inst);
- }
- break;
- case BfIRCmd_LifetimeStart:
- {
- CMD_PARAM(BeValue*, val);
- auto inst = mBeModule->AllocInst<BeLifetimeStartInst>();
- inst->mPtr = val;
- SetResult(curId, inst);
- }
- break;
- case BfIRCmd_LifetimeEnd:
- {
- CMD_PARAM(BeValue*, val);
- #ifdef _DEBUG
- val->mLifetimeEnded = true;
- #endif
- auto inst = mBeModule->AllocInst<BeLifetimeEndInst>();
- inst->mPtr = val;
- SetResult(curId, inst);
- }
- break;
- case BfIRCmd_LifetimeSoftEnd:
- {
- CMD_PARAM(BeValue*, val);
- auto inst = mBeModule->AllocInst<BeLifetimeSoftEndInst>();
- inst->mPtr = val;
- SetResult(curId, inst);
- }
- break;
- case BfIRCmd_LifetimeExtend:
- {
- CMD_PARAM(BeValue*, val);
- auto inst = mBeModule->AllocInst<BeLifetimeExtendInst>();
- inst->mPtr = val;
- SetResult(curId, inst);
- }
- break;
- case BfIRCmd_ValueScopeStart:
- {
- auto inst = mBeModule->AllocInst<BeValueScopeStartInst>();
- SetResult(curId, inst);
- }
- break;
- case BfIRCmd_ValueScopeRetain:
- {
- CMD_PARAM(BeValue*, val);
- auto inst = mBeModule->AllocInst<BeValueScopeRetainInst>();
- inst->mValue = val;
- }
- break;
- case BfIRCmd_ValueScopeSoftEnd:
- {
- CMD_PARAM(BeValue*, val);
- auto inst = mBeModule->AllocInst<BeValueScopeEndInst>();
- inst->mScopeStart = (BeValueScopeStartInst*)val;
- inst->mIsSoft = true;
- //TODO: Is this always correct? This keeps there from being nops inserted on block opens ( { )
- inst->mDbgLoc = NULL;
- }
- break;
- case BfIRCmd_ValueScopeHardEnd:
- {
- CMD_PARAM(BeValue*, val);
- auto inst = mBeModule->AllocInst<BeValueScopeEndInst>();
- inst->mScopeStart = (BeValueScopeStartInst*)val;
- inst->mIsSoft = false;
- //TODO: Is this always correct? This keeps there from being nops inserted on block opens ( { )
- inst->mDbgLoc = NULL;
- }
- break;
- case BfIRCmd_SetAllocaNoChkStkHint:
- {
- CMD_PARAM(BeValue*, val);
- auto inst = BeValueDynCast<BeAllocaInst>(val);
- inst->mNoChkStk = true;
- }
- break;
- case BfIRCmd_SetAllocaForceMem:
- {
- CMD_PARAM(BeValue*, val);
- auto inst = BeValueDynCast<BeAllocaInst>(val);
- inst->mForceMem = true;
- }
- break;
- case BfIRCmd_Load:
- {
- CMD_PARAM(BeValue*, val);
- #ifdef _DEBUG
- auto ptrType = val->GetType();
- BF_ASSERT(ptrType->IsPointer());
- // We call via a function pointer so there's never a reason to allow loading of a funcPtr
- BF_ASSERT(((BePointerType*)ptrType)->mElementType->mTypeCode != BeTypeCode_Function);
- // Disallow loading from a NULL constant
- if (val->GetTypeId() == BeConstant::TypeId)
- {
- if (auto constant = BeValueDynCast<BeConstant>(val))
- {
- BF_ASSERT(constant->mTarget != NULL);
- }
- }
- #endif
- CMD_PARAM(bool, isVolatile);
- SetResult(curId, mBeModule->CreateLoad(val, isVolatile));
- }
- break;
- case BfIRCmd_AlignedLoad:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(int, alignment);
- CMD_PARAM(bool, isVolatile);
- #ifdef _DEBUG
- // Disallow loading from a NULL constant
- if (val->GetTypeId() == BeConstant::TypeId)
- {
- if (auto constant = BeValueDynCast<BeConstant>(val))
- {
- BF_ASSERT(constant->mTarget != NULL);
- }
- }
- auto ptrType = val->GetType();
- BF_ASSERT(ptrType->IsPointer());
- #endif
- SetResult(curId, mBeModule->CreateAlignedLoad(val, alignment, isVolatile));
- }
- break;
- case BfIRCmd_Store:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(BeValue*, ptr);
- #ifdef _DEBUG
- auto ptrType = ptr->GetType();
- auto valType = val->GetType();
- if ((!ptrType->IsPointer()) || (!mBeContext->AreTypesEqual(((BePointerType*)ptrType)->mElementType, valType)))
- {
- String errStr;
- errStr += "BfIRCmd_Store Match Failure:\n";
- BeDumpContext dumpCtx;
- errStr += "Val: ";
- dumpCtx.ToString(errStr, val);
- errStr += "\nPtr: ";
- dumpCtx.ToString(errStr, ptr);
- FatalError(errStr);
- }
- #endif
- CMD_PARAM(bool, isVolatile);
- SetResult(curId, mBeModule->CreateStore(val, ptr, isVolatile));
- }
- break;
- case BfIRCmd_AlignedStore:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(BeValue*, ptr);
- CMD_PARAM(int, alignment);
- CMD_PARAM(bool, isVolatile);
- #ifdef _DEBUG
- auto ptrType = ptr->GetType();
- auto valType = val->GetType();
- if ((!ptrType->IsPointer()) || (!mBeContext->AreTypesEqual(((BePointerType*)ptrType)->mElementType, valType)))
- {
- String errStr;
- errStr += "BfIRCmd_Store Match Failure:\n";
- BeDumpContext dumpCtx;
- errStr += "Val: ";
- dumpCtx.ToString(errStr, val);
- errStr += "\nPtr: ";
- dumpCtx.ToString(errStr, ptr);
- FatalError(errStr);
- }
- #endif
- SetResult(curId, mBeModule->CreateAlignedStore(val, ptr, alignment, isVolatile));
- }
- break;
- case BfIRCmd_MemSet:
- {
- auto inst = mBeModule->AllocInst<BeMemSetInst>();
- Read(inst->mAddr);
- Read(inst->mVal);
- Read(inst->mSize);
- Read(inst->mAlignment);
- SetResult(curId, inst);
- }
- break;
- case BfIRCmd_Fence:
- {
- BfIRFenceType fenceType = (BfIRFenceType)mStream->Read();
- mBeModule->AllocInst<BeFenceInst>();
- }
- break;
- case BfIRCmd_StackSave:
- {
- SetResult(curId, mBeModule->AllocInst<BeStackSaveInst>());
- }
- break;
- case BfIRCmd_StackRestore:
- {
- CMD_PARAM(BeValue*, stackVal);
- auto stackRestoreInst = mBeModule->AllocInst<BeStackRestoreInst>();
- stackRestoreInst->mStackVal = stackVal;
- SetResult(curId, stackRestoreInst);
- }
- break;
- case BfIRCmd_GlobalVariable:
- {
- CMD_PARAM(BeType*, varType);
- CMD_PARAM(bool, isConstant);
- BfIRLinkageType linkageType = (BfIRLinkageType)mStream->Read();
- CMD_PARAM(StringT<256>, name);
- CMD_PARAM(bool, isTLS);
- CMD_PARAM(BeConstant*, initializer);
- BF_ASSERT(varType != NULL);
- auto globalVariable = mBeModule->mGlobalVariables.Alloc();
- globalVariable->mModule = mBeModule;
- globalVariable->mType = varType;
- globalVariable->mIsConstant = isConstant;
- globalVariable->mLinkageType = linkageType;
- globalVariable->mInitializer = initializer;
- globalVariable->mName = name;
- globalVariable->mIsTLS = isTLS;
- globalVariable->mUnnamedAddr = false;
- globalVariable->mStorageKind = BfIRStorageKind_Normal;
- if (initializer != NULL)
- {
- globalVariable->mAlign = varType->mAlign;
- BF_ASSERT(varType->mAlign > 0);
- BF_ASSERT(mBeContext->AreTypesEqual(varType, initializer->GetType()));
- }
- else
- globalVariable->mAlign = -1;
- SetResult(curId, globalVariable);
- }
- break;
- case BfIRCmd_GlobalVar_SetUnnamedAddr:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(bool, unnamedAddr);
- BF_ASSERT(BeValueDynCast<BeGlobalVariable>(val) != NULL);
- ((BeGlobalVariable*)val)->mUnnamedAddr = true;
- }
- break;
- case BfIRCmd_GlobalVar_SetInitializer:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(BeConstant*, initializer);
- BF_ASSERT(BeValueDynCast<BeGlobalVariable>(val) != NULL);
- auto globalVariable = (BeGlobalVariable*)val;
- globalVariable->mInitializer = initializer;
- if (globalVariable->mInitializer != NULL)
- {
- globalVariable->mAlign = globalVariable->mType->mAlign;
- BF_ASSERT(globalVariable->mAlign != -1);
- }
- }
- break;
- case BfIRCmd_GlobalVar_SetAlignment:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(int, alignment);
- BF_ASSERT(BeValueDynCast<BeGlobalVariable>(val) != NULL);
- auto globalVariable = (BeGlobalVariable*)val;
- globalVariable->mAlign = alignment;
- BF_ASSERT(alignment > 0);
- if (globalVariable->mInitializer != NULL)
- {
- BF_ASSERT(globalVariable->mAlign != -1);
- }
- }
- break;
- case BfIRCmd_GlobalVar_SetStorageKind:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(int, storageKind);
- BF_ASSERT(BeValueDynCast<BeGlobalVariable>(val) != NULL);
- auto globalVariable = (BeGlobalVariable*)val;
- globalVariable->mStorageKind = (BfIRStorageKind)storageKind;
- }
- break;
- case BfIRCmd_GlobalStringPtr:
- {
- CMD_PARAM(String, str);
- auto constStruct = mBeModule->mOwnedValues.Alloc<BeStringConstant>();
- constStruct->mString = str;
- auto charType = mBeContext->GetPrimitiveType(BeTypeCode_Int8);
- constStruct->mType = mBeContext->CreateSizedArrayType(charType, str.length() + 1);
- auto globalVariable = mBeModule->mGlobalVariables.Alloc();
- globalVariable->mModule = mBeModule;
- globalVariable->mType = constStruct->mType;
- globalVariable->mIsConstant = true;
- globalVariable->mLinkageType = BfIRLinkageType_Internal;
- globalVariable->mInitializer = constStruct;
- globalVariable->mName = StrFormat("__str%d", (int)mBeModule->mGlobalVariables.size() - 1);
- globalVariable->mIsTLS = false;
- globalVariable->mAlign = 1;
- globalVariable->mUnnamedAddr = false;
- auto castedVal = mBeModule->mAlloc.Alloc<BeCastConstant>();
- castedVal->mType = mBeContext->GetPointerTo(charType);
- castedVal->mTarget = globalVariable;
- SetResult(curId, castedVal);
- //SetResult(curId, globalVariable);
- }
- break;
- case BfIRCmd_SetReflectTypeData:
- {
- CMD_PARAM(BeType*, type);
- CMD_PARAM(BeValue*, value);
- mReflectDataMap[type] = value;
- }
- break;
- case BfIRCmd_CreateBlock:
- {
- CMD_PARAM(String, name);
- CMD_PARAM(bool, addNow);
- auto block = mBeModule->CreateBlock(name);
- if (addNow)
- mBeModule->AddBlock(mActiveFunction, block);
- SetResult(curId, block);
- }
- break;
- case BfIRCmd_MaybeChainNewBlock:
- {
- CMD_PARAM(String, name);
- auto newBlock = mBeModule->GetInsertBlock();
- if (!newBlock->IsEmpty())
- {
- auto bb = mBeModule->CreateBlock(name);
- mBeModule->CreateBr(bb);
- mBeModule->AddBlock(mActiveFunction, bb);
- mBeModule->SetInsertPoint(bb);
- newBlock = bb;
- }
- SetResult(curId, newBlock);
- }
- break;
- case BfIRCmd_AddBlock:
- {
- CMD_PARAM(BeBlock*, block);
- mBeModule->AddBlock(mActiveFunction, block);
- }
- break;
- case BfIRCmd_DropBlocks:
- {
- CMD_PARAM(BeBlock*, startingBlock);
- auto& basicBlockList = mActiveFunction->mBlocks;
- int postExitBlockIdx = -1;
- /*auto itr = basicBlockList.begin();
- while (itr != basicBlockList.end())
- {
- auto block = *itr;
- if (block == startingBlock)
- {
- basicBlockList.erase(itr, basicBlockList.end());
- break;
- }
- ++itr;
- }*/
- for (int i = 0; i < (int)basicBlockList.size(); i++)
- {
- if (basicBlockList[i] == startingBlock)
- {
- basicBlockList.RemoveRange(i, basicBlockList.size() - i);
- break;
- }
- }
- }
- break;
- case BfIRCmd_MergeBlockDown:
- {
- CMD_PARAM(BeBlock*, fromBlock);
- CMD_PARAM(BeBlock*, intoBlock);
- for (auto inst : fromBlock->mInstructions)
- inst->mParentBlock = intoBlock;
- if (!fromBlock->mInstructions.IsEmpty())
- intoBlock->mInstructions.Insert(0, &fromBlock->mInstructions[0], fromBlock->mInstructions.size());
- mBeModule->RemoveBlock(mActiveFunction, fromBlock);
- }
- break;
- case BfIRCmd_GetInsertBlock:
- {
- SetResult(curId, mBeModule->mActiveBlock);
- }
- break;
- case BfIRCmd_SetInsertPoint:
- {
- CMD_PARAM(BeBlock*, block);
- mBeModule->SetInsertPoint(block);
- }
- break;
- case BfIRCmd_SetInsertPointAtStart:
- {
- CMD_PARAM(BeBlock*, block);
- mBeModule->SetInsertPointAtStart(block);
- }
- break;
- case BfIRCmd_EraseFromParent:
- {
- CMD_PARAM(BeBlock*, block);
- mBeModule->RemoveBlock(mActiveFunction, block);
- }
- break;
- case BfIRCmd_DeleteBlock:
- {
- CMD_PARAM(BeBlock*, block);
- }
- break;
- case BfIRCmd_EraseInstFromParent:
- {
- CMD_PARAM(BeValue*, instVal);
- BeInst* inst = (BeInst*)instVal;
- bool wasRemoved = inst->mParentBlock->mInstructions.Remove(inst);
- BF_ASSERT(wasRemoved);
- #ifdef _DEBUG
- inst->mWasRemoved = true;
- #endif
- }
- break;
- case BfIRCmd_CreateBr:
- {
- CMD_PARAM(BeBlock*, block);
- mBeModule->CreateBr(block);
- }
- break;
- case BfIRCmd_CreateBr_Fake:
- {
- CMD_PARAM(BeBlock*, block);
- auto inst = mBeModule->CreateBr(block);
- inst->mIsFake = true;
- }
- break;
- case BfIRCmd_CreateBr_NoCollapse:
- {
- CMD_PARAM(BeBlock*, block);
- auto inst = mBeModule->CreateBr(block);
- inst->mNoCollapse = true;
- }
- break;
- case BfIRCmd_CreateCondBr:
- {
- CMD_PARAM(BeValue*, condVal);
- CMD_PARAM(BeBlock*, trueBlock);
- CMD_PARAM(BeBlock*, falseBlock);
- mBeModule->CreateCondBr(condVal, trueBlock, falseBlock);
- }
- break;
- case BfIRCmd_MoveBlockToEnd:
- {
- CMD_PARAM(BeBlock*, block);
- mBeModule->RemoveBlock(mActiveFunction, block);
- mBeModule->AddBlock(mActiveFunction, block);
- }
- break;
- case BfIRCmd_CreateSwitch:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(BeBlock*, dest);
- CMD_PARAM(int, numCases);
- auto switchInst = mBeModule->AllocInstOwned<BeSwitchInst>();
- switchInst->mValue = val;
- switchInst->mDefaultBlock = dest;
- switchInst->mCases.Reserve(numCases);
- SetResult(curId, switchInst);
- }
- break;
- case BfIRCmd_AddSwitchCase:
- {
- CMD_PARAM(BeValue*, switchVal);
- CMD_PARAM(BeValue*, caseVal);
- CMD_PARAM(BeBlock*, caseBlock);
- BeSwitchCase switchCase;
- switchCase.mValue = (BeConstant*)caseVal;
- switchCase.mBlock = caseBlock;
- ((BeSwitchInst*)switchVal)->mCases.push_back(switchCase);
- }
- break;
- case BfIRCmd_SetSwitchDefaultDest:
- {
- CMD_PARAM(BeValue*, switchVal);
- CMD_PARAM(BeBlock*, caseBlock);
- ((BeSwitchInst*)switchVal)->mDefaultBlock = caseBlock;
- }
- break;
- case BfIRCmd_CreatePhi:
- {
- CMD_PARAM(BeType*, type);
- CMD_PARAM(int, incomingCount);
- auto phiInst = mBeModule->AllocInstOwned<BePhiInst>();
- phiInst->mType = type;
- SetResult(curId, phiInst);
- }
- break;
- case BfIRCmd_AddPhiIncoming:
- {
- CMD_PARAM(BeValue*, phiValue);
- CMD_PARAM(BeValue*, value);
- CMD_PARAM(BeBlock*, comingFrom);
- if (phiValue->GetType() != value->GetType())
- {
- Fail("AddPhiIncoming type mismatch");
- break;
- }
- auto phiIncoming = mBeModule->mAlloc.Alloc<BePhiIncoming>();
- phiIncoming->mBlock = comingFrom;
- phiIncoming->mValue = value;
- ((BePhiInst*)phiValue)->mIncoming.push_back(phiIncoming);
- }
- break;
- case BfIRCmd_GetIntrinsic:
- {
- CMD_PARAM(String, intrinName);
- CMD_PARAM(int, intrinId);
- CMD_PARAM(BeType*, returnType);
- CMD_PARAM(CmdParamVec<BeType*>, paramTypes);
- auto intrin = mBeModule->mAlloc.Alloc<BeIntrinsic>();
- intrin->mName = intrinName;
- intrin->mKind = (BfIRIntrinsic)intrinId;
- intrin->mReturnType = returnType;
- SetResult(curId, intrin);
- }
- break;
- case BfIRCmd_CreateFunctionType:
- {
- CMD_PARAM(BeType*, resultType);
- CMD_PARAM(CmdParamVec<BeType*>, paramTypes);
- CMD_PARAM(bool, isVarArg);
- auto functionType = mBeContext->CreateFunctionType(resultType, paramTypes, isVarArg);
- SetResult(curId, functionType);
- }
- break;
- case BfIRCmd_CreateFunction:
- {
- CMD_PARAM(BeFunctionType*, type);
- BfIRLinkageType linkageType = (BfIRLinkageType)mStream->Read();
- CMD_PARAM(String, name);
- SetResult(curId, mBeModule->CreateFunction(type, linkageType, name));
- }
- break;
- case BfIRCmd_SetFunctionName:
- {
- CMD_PARAM(BeValue*, func);
- CMD_PARAM(String, name);
- BeFunction* beFunc = BeValueDynCast<BeFunction>(func);
- beFunc->mName = name;
- }
- break;
- case BfIRCmd_EnsureFunctionPatchable:
- {
- }
- break;
- case BfIRCmd_RemapBindFunction:
- {
- CMD_PARAM(BeValue*, func);
- // We need to store this value to a data segment so we get a symbol we can remap during hot swap
- // We actually do this to ensure that we don't bind to the NEW method but rather the old one- so
- // delegate equality checks still work
- BeFunction* beFunc = BeValueDynCast<BeFunction>(func);
- if (beFunc != NULL)
- {
- if (beFunc->mRemapBindVar == NULL)
- {
- auto globalVariable = mBeModule->mGlobalVariables.Alloc();
- globalVariable->mModule = mBeModule;
- globalVariable->mType = beFunc->mType;
- globalVariable->mIsConstant = true;
- globalVariable->mLinkageType = BfIRLinkageType_External;
- globalVariable->mInitializer = beFunc;
- globalVariable->mName = StrFormat("bf_hs_preserve@%s_%s", beFunc->mName.c_str(), mBeModule->mModuleName.c_str());
- globalVariable->mIsTLS = false;
- globalVariable->mAlign = 8;
- globalVariable->mUnnamedAddr = false;
- beFunc->mRemapBindVar = globalVariable;
- /*if (mBeModule->mDbgModule != NULL)
- {
- auto dbgGlobalVariable = mBeModule->mDbgModule->mGlobalVariables.Alloc();
- dbgGlobalVariable->mContext = mBeContext;
- dbgGlobalVariable->mName = name;
- dbgGlobalVariable->mLinkageName = globalVariable->mName;
- dbgGlobalVariable->mFile = (BeDbgFile*)file;
- dbgGlobalVariable->mLineNum = lineNum;
- dbgGlobalVariable->mType = (BeDbgType*)type;
- dbgGlobalVariable->mIsLocalToUnit = isLocalToUnit;
- dbgGlobalVariable->mValue = val;
- dbgGlobalVariable->mDecl = decl;
- }*/
- }
- SetResult(curId, mBeModule->CreateLoad(beFunc->mRemapBindVar, false));
- }
- else
- SetResult(curId, func);
- }
- break;
- case BfIRCmd_SetActiveFunction:
- {
- CMD_PARAM(BeFunction*, func);
- mActiveFunction = func;
- mBeModule->mActiveFunction = func;
- }
- break;
- case BfIRCmd_CreateCall:
- {
- CMD_PARAM(BeValue*, func);
- CMD_PARAM(CmdParamVec<BeValue*>, args);
- #ifdef BE_EXTRA_CHECKS
- auto funcPtrType = func->GetType();
- if (funcPtrType != NULL)
- {
- BF_ASSERT(funcPtrType->IsPointer());
- auto funcType = (BeFunctionType*)((BePointerType*)funcPtrType)->mElementType;
- BF_ASSERT(funcType->mTypeCode == BeTypeCode_Function);
- bool argsMatched = true;
- if (!funcType->mIsVarArg)
- {
- if (funcType->mParams.size() != args.size())
- {
- argsMatched = false;
- }
- else
- {
- int argIdx = 0;
- for (int argIdx = 0; argIdx < (int)args.size(); argIdx++)
- {
- if (args[argIdx] == NULL)
- argsMatched = false;
- else if (funcType->mParams[argIdx].mType != args[argIdx]->GetType())
- argsMatched = false;
- }
- }
- }
- if (!argsMatched)
- {
- String errStr;
- errStr += "BfIRCmd_CreateCall Match Failure:\n";
- BeDumpContext dumpCtx;
- dumpCtx.ToString(errStr, func);
- errStr += "\n";
- dumpCtx.ToString(errStr, funcType);
- errStr += "\n";
- for (int argIdx = 0; argIdx < (int)args.size(); argIdx++)
- {
- errStr += StrFormat("ARG #%d: ", argIdx);
- dumpCtx.ToString(errStr, args[argIdx]);
- errStr += "\n";
- }
- FatalError(errStr);
- }
- }
- else
- {
- BF_ASSERT(func->GetTypeId() == BeIntrinsic::TypeId);
- }
- #endif
- SetResult(curId, mBeModule->CreateCall(func, args));
- }
- break;
- case BfIRCmd_SetCallCallingConv:
- {
- CMD_PARAM(BeValue*, callInst);
- BfIRCallingConv callingConv = (BfIRCallingConv)mStream->Read();
- ((BeCallInst*)callInst)->mCallingConv = callingConv;
- }
- break;
- case BfIRCmd_SetFuncCallingConv:
- {
- CMD_PARAM(BeFunction*, func);
- BfIRCallingConv callingConv = (BfIRCallingConv)mStream->Read();
- func->mCallingConv = callingConv;
- }
- break;
- case BfIRCmd_SetTailCall:
- {
- CMD_PARAM(BeValue*, callInstVal);
- BeCallInst* callInst = (BeCallInst*)callInstVal;
- callInst->mTailCall = true;
- }
- break;
- case BfIRCmd_SetCallAttribute:
- {
- CMD_PARAM(BeValue*, callInstVal);
- CMD_PARAM(int, paramIdx);
- BfIRAttribute attribute = (BfIRAttribute)mStream->Read();
- BeCallInst* callInst = (BeCallInst*)callInstVal;
- if (attribute == BfIRAttribute_NoReturn)
- callInst->mNoReturn = true;
- }
- break;
- case BfIRCmd_CreateRet:
- {
- CMD_PARAM(BeValue*, val);
- #ifdef BE_EXTRA_CHECKS
- auto retType = val->GetType();
- auto funcType = mActiveFunction->GetFuncType();
- BF_ASSERT(retType == funcType->mReturnType);
- #endif
- SetResult(curId, mBeModule->CreateRet(val));
- }
- break;
- case BfIRCmd_CreateSetRet:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(int, returnTypeId);
- SetResult(curId, mBeModule->CreateSetRet(val, returnTypeId));
- }
- break;
- case BfIRCmd_CreateRetVoid:
- {
- mBeModule->CreateRetVoid();
- }
- break;
- case BfIRCmd_CreateUnreachable:
- {
- mBeModule->AllocInst<BeUnreachableInst>();
- }
- break;
- case BfIRCmd_Call_AddAttribute:
- {
- CMD_PARAM(BeValue*, callInstVal);
- CMD_PARAM(int, argIdx);
- BfIRAttribute attribute = (BfIRAttribute)mStream->Read();
- BeCallInst* callInst = (BeCallInst*)callInstVal;
- if (argIdx > 0)
- {
- if (attribute == BfIRAttribute_StructRet)
- {
- auto valType = callInst->mArgs[argIdx - 1].mValue->GetType();
- BF_ASSERT(valType->IsPointer());
- callInst->mArgs[argIdx - 1].mStructRet = true;
- }
- else if (attribute == BfIRAttribute_ZExt)
- callInst->mArgs[argIdx - 1].mZExt = true;
- else if (attribute == BfIRAttribute_NoAlias)
- callInst->mArgs[argIdx - 1].mNoAlias = true;
- else if (attribute == BfIRAttribute_NoCapture)
- callInst->mArgs[argIdx - 1].mNoCapture = true;
- else if (attribute == BfIRAttribute_ByVal)
- {
- }
- else
- BF_FATAL("Unhandled");
- }
- else
- {
- if (attribute == BfIRAttribute_NoReturn)
- callInst->mNoReturn = true;
- else
- BF_FATAL("Unhandled");
- }
- }
- break;
- case BfIRCmd_Call_AddAttribute1:
- {
- CMD_PARAM(BeValue*, inst);
- CMD_PARAM(int, argIdx);
- BfIRAttribute attribute = (BfIRAttribute)mStream->Read();
- CMD_PARAM(int, arg);
- BeCallInst* callInst = BeValueDynCast<BeCallInst>(inst);
- if (callInst != NULL)
- {
- if (argIdx > 0)
- {
- if (attribute == BfIRAttribute_Dereferencable)
- {
- callInst->mArgs[argIdx - 1].mDereferenceableSize = arg;
- if (auto func = BeValueDynCast<BeFunction>(callInst->mFunc))
- {
- BF_ASSERT(func->mParams[argIdx - 1].mDereferenceableSize == arg);
- }
- }
- else if (attribute == BfIRAttribute_ByVal)
- {
- callInst->mArgs[argIdx - 1].mByRefSize = arg;
- if (auto func = BeValueDynCast<BeFunction>(callInst->mFunc))
- {
- BF_ASSERT((func->mParams[argIdx - 1].mByValSize == arg) || (func->mParams[argIdx - 1].mByValSize == -1));
- }
- }
- else
- BF_FATAL("Unhandled");
- }
- else
- {
- BF_FATAL("Unhandled");
- }
- }
- }
- break;
- case BfIRCmd_Func_AddAttribute:
- {
- CMD_PARAM(BeFunction*, func);
- CMD_PARAM(int, argIdx);
- BfIRAttribute attribute = (BfIRAttribute)mStream->Read();
- if (argIdx > 0)
- {
- if (attribute == BfIRAttribute_StructRet)
- func->mParams[argIdx - 1].mStructRet = true;
- else if (attribute == BfIRAttribute_NoAlias)
- func->mParams[argIdx - 1].mNoAlias = true;
- else if (attribute == BfIRAttribute_NoCapture)
- func->mParams[argIdx - 1].mNoCapture = true;
- else if (attribute == BfIRAttribute_ZExt)
- func->mParams[argIdx - 1].mZExt = true;
- else
- BF_FATAL("Unhandled");
- }
- else
- {
- if (attribute == BfIRAttribute_VarRet)
- func->mIsVarReturn = true;
- else if (attribute == BFIRAttribute_AlwaysInline)
- func->mAlwaysInline = true;
- else if (attribute == BFIRAttribute_NoUnwind)
- func->mNoUnwind = true;
- else if (attribute == BFIRAttribute_UWTable)
- func->mUWTable = true;
- else if (attribute == BfIRAttribute_NoReturn)
- func->mNoReturn = true;
- else if (attribute == BFIRAttribute_NoFramePointerElim)
- func->mNoFramePointerElim = true;
- else if (attribute == BFIRAttribute_DllExport)
- func->mIsDLLExport = true;
- else if (attribute == BFIRAttribute_DllImport)
- func->mIsDLLImport = true;
- else if (attribute == BFIRAttribute_NoRecurse)
- {
- }
- else if (attribute == BFIRAttribute_Constructor)
- {
- }
- else if (attribute == BFIRAttribute_Destructor)
- {
- }
- else
- BF_FATAL("Unhandled");
- }
- }
- break;
- case BfIRCmd_Func_AddAttribute1:
- {
- CMD_PARAM(BeFunction*, func);
- CMD_PARAM(int, argIdx);
- BfIRAttribute attribute = (BfIRAttribute)mStream->Read();
- CMD_PARAM(int, arg);
- // This is for adding things like Dereferencable, which we don't use
- if (argIdx > 0)
- {
- if (attribute == BfIRAttribute_Dereferencable)
- func->mParams[argIdx - 1].mDereferenceableSize = arg;
- else if (attribute == BfIRAttribute_ByVal)
- func->mParams[argIdx - 1].mByValSize = arg;
- else
- BF_FATAL("Unhandled");
- }
- else
- BF_FATAL("Unhandled");
- }
- break;
- case BfIRCmd_Func_SetParamName:
- {
- CMD_PARAM(BeFunction*, func);
- CMD_PARAM(int, argIdx);
- CMD_PARAM(String, name);
- if (argIdx > 0)
- func->mParams[argIdx - 1].mName = name;
- }
- break;
- case BfIRCmd_Func_DeleteBody:
- {
- CMD_PARAM(BeFunction*, func);
- func->mBlocks.Clear();
- }
- break;
- case BfIRCmd_Func_SafeRename:
- {
- CMD_PARAM(BeFunction*, func);
- func->mName += StrFormat("__RENAME%d", curId);
- }
- break;
- case BfIRCmd_Func_SafeRenameFrom:
- {
- CMD_PARAM(BeFunction*, func);
- CMD_PARAM(String, prevName);
- if (func->mName == prevName)
- func->mName += StrFormat("__RENAME%d", curId);
- }
- break;
- case BfIRCmd_Func_SetLinkage:
- {
- CMD_PARAM(BeFunction*, func);
- BfIRLinkageType linkageType = (BfIRLinkageType)mStream->Read();
- func->mLinkageType = linkageType;
- }
- break;
- case BfIRCmd_SaveDebugLocation:
- {
- mSavedDebugLocs.push_back(mBeModule->GetCurrentDebugLocation());
- }
- break;
- case BfIRCmd_RestoreDebugLocation:
- {
- mBeModule->SetCurrentDebugLocation(mSavedDebugLocs[mSavedDebugLocs.size() - 1]);
- mSavedDebugLocs.pop_back();
- }
- break;
- case BfIRCmd_DupDebugLocation:
- {
- mBeModule->DupCurrentDebugLocation();
- }
- break;
- case BfIRCmd_ClearDebugLocation:
- {
- mBeModule->SetCurrentDebugLocation(NULL);
- }
- break;
- case BfIRCmd_ClearDebugLocationInst:
- {
- CMD_PARAM(BeValue*, instValue);
- auto inst = (BeInst*)instValue;
- inst->mDbgLoc = NULL;
- }
- break;
- case BfIRCmd_ClearDebugLocationInstLast:
- {
- if ((mBeModule->mActiveBlock != NULL) && (!mBeModule->mActiveBlock->mInstructions.IsEmpty()))
- {
- auto inst = mBeModule->mActiveBlock->mInstructions.back();
- inst->mDbgLoc = NULL;
- }
- }
- break;
- case BfIRCmd_UpdateDebugLocation:
- {
- CMD_PARAM(BeValue*, instValue);
- auto inst = (BeInst*)instValue;
- inst->mDbgLoc = mBeModule->mCurDbgLoc;
- }
- break;
- case BfIRCmd_SetCurrentDebugLocation:
- {
- CMD_PARAM(int, line);
- CMD_PARAM(int, column);
- CMD_PARAM(BeMDNode*, diScope);
- CMD_PARAM(BeMDNode*, diInlinedAt);
- BF_ASSERT(diScope != NULL);
- mBeModule->SetCurrentDebugLocation(line - 1, column - 1, diScope, (BeDbgLoc*)diInlinedAt);
- }
- break;
- case BfIRCmd_Nop:
- {
- mBeModule->CreateNop();
- }
- break;
- case BfIRCmd_EnsureInstructionAt:
- {
- mBeModule->AllocInst<BeEnsureInstructionAtInst>();
- }
- break;
- case BfIRCmd_StatementStart:
- {
- }
- break;
- case BfIRCmd_ObjectAccessCheck:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(bool, useAsm);
- auto inst = mBeModule->AllocInst<BeObjectAccessCheckInst>();
- inst->mValue = val;
- SetResult(curId, mBeModule->GetInsertBlock());
- }
- break;
- case BfIRCmd_Comptime_Error:
- {
- CMD_PARAM(int32, error);
- auto inst = mBeModule->AllocInst<BeComptimeError>();
- inst->mError = error;
- SetResult(curId, inst);
- }
- break;
- case BfIRCmd_Comptime_GetBfType:
- {
- CMD_PARAM(int32, typeId);
- CMD_PARAM(BeType*, resultType);
- auto inst = mBeModule->AllocInst<BeComptimeGetType>();
- inst->mTypeId = typeId;
- inst->mResultType = resultType;
- SetResult(curId, inst);
- }
- break;
- case BfIRCmd_Comptime_GetReflectType:
- {
- CMD_PARAM(int32, typeId);
- CMD_PARAM(BeType*, resultType);
- auto inst = mBeModule->AllocInst<BeComptimeGetReflectType>();
- inst->mTypeId = typeId;
- inst->mResultType = resultType;
- SetResult(curId, inst);
- }
- break;
- case BfIRCmd_Comptime_DynamicCastCheck:
- {
- CMD_PARAM(BeValue*, value);
- CMD_PARAM(int32, typeId);
- CMD_PARAM(BeType*, resultType);
- auto inst = mBeModule->AllocInst<BeComptimeDynamicCastCheck>();
- inst->mValue = value;
- inst->mTypeId = typeId;
- inst->mResultType = resultType;
- SetResult(curId, inst);
- }
- break;
- case BfIRCmd_Comptime_GetVirtualFunc:
- {
- CMD_PARAM(BeValue*, value);
- CMD_PARAM(int32, virtualTableIdx);
- CMD_PARAM(BeType*, resultType);
- auto inst = mBeModule->AllocInst<BeComptimeGetVirtualFunc>();
- inst->mValue = value;
- inst->mVirtualTableIdx = virtualTableIdx;
- inst->mResultType = resultType;
- SetResult(curId, inst);
- }
- break;
- case BfIRCmd_Comptime_GetInterfaceFunc:
- {
- CMD_PARAM(BeValue*, value);
- CMD_PARAM(int32, ifaceTypeId);
- CMD_PARAM(int32, methodIdx);
- CMD_PARAM(BeType*, resultType);
- auto inst = mBeModule->AllocInst<BeComptimeGetInterfaceFunc>();
- inst->mValue = value;
- inst->mIFaceTypeId = ifaceTypeId;
- inst->mMethodIdx = methodIdx;
- inst->mResultType = resultType;
- SetResult(curId, inst);
- }
- break;
- case BfIRCmd_DbgInit:
- {
- /*mDIBuilder = new BeDIBuilder(*mBeModule); */
- mBeModule->mDbgModule = new BeDbgModule();
- mBeModule->mDbgModule->mBeModule = mBeModule;
- }
- break;
- case BfIRCmd_DbgFinalize:
- {
- /*for (auto typeEntryPair : mTypes)
- {
- auto& typeEntry = typeEntryPair.second;
- if (typeEntry.mInstDIType != NULL)
- typeEntry.mInstDIType->resolveCycles();
- }
- mDIBuilder->finalize();*/
- }
- break;
- case BfIRCmd_DbgCreateCompileUnit:
- {
- CMD_PARAM(int, lang);
- CMD_PARAM(String, fileName);
- CMD_PARAM(String, directory);
- CMD_PARAM(String, producer);
- CMD_PARAM(bool, isOptimized);
- CMD_PARAM(String, flags);
- CMD_PARAM(int, runtimeVer);
- CMD_PARAM(bool, linesOnly);
- mBeModule->mDbgModule->mFileName = fileName;
- mBeModule->mDbgModule->mDirectory = directory;
- mBeModule->mDbgModule->mProducer = producer;
- //mDebugging = fileName == "TestToots";
- SetResult(curId, mBeModule->mDbgModule);
- }
- break;
- case BfIRCmd_DbgCreateFile:
- {
- CMD_PARAM(String, fileName);
- CMD_PARAM(String, directory);
- CMD_PARAM(Val128, md5Hash);
- auto dbgFile = mBeModule->mDbgModule->mFiles.Alloc();
- dbgFile->mFileName = fileName;
- dbgFile->mDirectory = directory;
- dbgFile->mMD5Hash = md5Hash;
- dbgFile->mIdx = (int)mBeModule->mDbgModule->mFiles.size() - 1;
- SetResult(curId, dbgFile);
- }
- break;
- case BfIRCmd_DbgGetCurrentLocation:
- {
- SetResult(curId, mBeModule->mCurDbgLoc);
- }
- break;
- case BfIRCmd_DbgSetType:
- {
- CMD_PARAM(int, typeId);
- CMD_PARAM(BeMDNode*, type);
- auto& typeEntry = GetTypeEntry(typeId);
- typeEntry.mDIType = BeValueDynCast<BeDbgType>(type);
- if (typeEntry.mInstDIType == NULL)
- typeEntry.mInstDIType = BeValueDynCast<BeDbgType>(type);
- }
- break;
- case BfIRCmd_DbgSetInstType:
- {
- CMD_PARAM(int, typeId);
- CMD_PARAM(BeMDNode*, type);
- GetTypeEntry(typeId).mInstDIType = BeValueDynCast<BeDbgType>(type);
- }
- break;
- case BfIRCmd_DbgGetType:
- {
- CMD_PARAM(int, typeId);
- if (mBeModule->mCeMachine != NULL)
- {
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgTypeId>();
- dbgType->mTypeId = typeId;
- SetResult(curId, dbgType);
- }
- else
- SetResult(curId, GetTypeEntry(typeId).mDIType);
- }
- break;
- case BfIRCmd_DbgGetTypeInst:
- {
- CMD_PARAM(int, typeId);
- auto result = GetTypeEntry(typeId).mInstDIType;
- //BF_ASSERT(result);
- SetResult(curId, result);
- }
- break;
- case BfIRCmd_DbgTrackDITypes:
- {
- CMD_PARAM(int, typeId);
- auto& typeEntry = GetTypeEntry(typeId);
- /*if (typeEntry.mDIType != NULL)
- BeMetadataTracking::track(*(BeMetadata**)&typeEntry.mDIType);
- if (typeEntry.mInstDIType != NULL)
- BeMetadataTracking::track(*(BeMetadata**)&typeEntry.mInstDIType);*/
- //NotImpl();
- }
- break;
- case BfIRCmd_DbgCreateNamespace:
- {
- CMD_PARAM(BeMDNode*, scope);
- CMD_PARAM(String, name);
- CMD_PARAM(BeMDNode*, file);
- CMD_PARAM(int, lineNum);
- auto dbgNamespace = mBeModule->mOwnedValues.Alloc<BeDbgNamespace>();
- dbgNamespace->mScope = scope;
- dbgNamespace->mName = name;
- SetResult(curId, dbgNamespace);
- }
- break;
- case BfIRCmd_DbgCreateImportedModule:
- {
- CMD_PARAM(BeMDNode*, context);
- CMD_PARAM(BeMDNode*, namespaceNode);
- CMD_PARAM(int, lineNum);
- /*SetResult(curId, mDIBuilder->createImportedModule((BeDIScope*)context, (BeDINamespace*)namespaceNode, lineNum));*/
- //NotImpl();
- }
- break;
- case BfIRCmd_DbgCreateBasicType:
- {
- CMD_PARAM(String, name);
- CMD_PARAM(int64, sizeInBits);
- CMD_PARAM(int64, alignInBits);
- CMD_PARAM(int, encoding);
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgBasicType>();
- dbgType->mName = name;
- dbgType->mSize = (int)(sizeInBits / 8);
- dbgType->mAlign = (int)(alignInBits / 8);
- dbgType->mEncoding = encoding;
- SetResult(curId, dbgType);
- }
- break;
- case BfIRCmd_DbgCreateStructType:
- {
- CMD_PARAM(BeMDNode*, context);
- CMD_PARAM(String, name);
- CMD_PARAM(BeMDNode*, file);
- CMD_PARAM(int, lineNum);
- CMD_PARAM(int64, sizeInBits);
- CMD_PARAM(int64, alignInBits);
- CMD_PARAM(int, flags);
- CMD_PARAM(BeMDNode*, derivedFrom);
- CMD_PARAM(CmdParamVec<BeMDNode*>, members);
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgStructType>();
- dbgType->mScope = context;
- dbgType->mName = name;
- dbgType->mSize = (int)(sizeInBits / 8);
- dbgType->mAlign = (int)(alignInBits / 8);
- dbgType->mDerivedFrom = BeValueDynCast<BeDbgType>(derivedFrom);
- dbgType->mDefFile = (BeDbgFile*)file;
- dbgType->mDefLine = lineNum - 1;
- dbgType->mIsFullyDefined = true;
- dbgType->SetMembers(members);
- SetResult(curId, dbgType);
- }
- break;
- case BfIRCmd_DbgCreateEnumerationType:
- {
- CMD_PARAM(BeMDNode*, context);
- CMD_PARAM(String, name);
- CMD_PARAM(BeMDNode*, file);
- CMD_PARAM(int, lineNum);
- CMD_PARAM(int64, sizeInBits);
- CMD_PARAM(int64, alignInBits);
- CMD_PARAM(CmdParamVec<BeMDNode*>, members);
- CMD_PARAM(BeMDNode*, underlyingType);
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgEnumType>();
- dbgType->mScope = context;
- dbgType->mName = name;
- dbgType->mSize = (int)(sizeInBits / 8);
- dbgType->mAlign = (int)(alignInBits / 8);
- dbgType->mIsFullyDefined = true;
- dbgType->mElementType = BeValueDynCast<BeDbgType>(underlyingType);
- for (auto member : members)
- {
- if (auto enumMember = BeValueDynCast<BeDbgEnumMember>(member))
- {
- dbgType->mMembers.push_back(enumMember);
- }
- else
- NotImpl();
- }
- //dbgType->mDefFile = (BeDbgFile*)file;
- //dbgType->mDefLine = line - 1;
- SetResult(curId, dbgType);
- }
- break;
- case BfIRCmd_DbgCreatePointerType:
- {
- CMD_PARAM(BeMDNode*, elementTypeNode);
- BeDbgType* elementType = BeValueDynCast<BeDbgType>(elementTypeNode);
- if (elementType == NULL)
- {
- if (auto dbgTypeId = BeValueDynCast<BeDbgTypeId>(elementTypeNode))
- {
- auto bfElementType = mBeModule->mCeMachine->mCeModule->mContext->mTypes[dbgTypeId->mTypeId];
- auto bfPtrType = mBeModule->mCeMachine->mCeModule->CreatePointerType(bfElementType);
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgTypeId>();
- dbgType->mTypeId = bfPtrType->mTypeId;
- SetResult(curId, dbgType);
- break;
- }
- }
- BeDbgType* useType = elementType->FindDerivedType(BeDbgPointerType::TypeId);
- if (useType == NULL)
- {
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgPointerType>();
- dbgType->mElement = elementType;
- dbgType->mSize = mPtrSize;
- dbgType->mAlign = mPtrSize;
- elementType->mDerivedTypes.PushFront(dbgType, &mBeModule->mAlloc);
- useType = dbgType;
- }
- SetResult(curId, useType);
- }
- break;
- case BfIRCmd_DbgCreateReferenceType:
- {
- CMD_PARAM(BeMDNode*, elementTypeNode);
- BeDbgType* elementType = BeValueDynCast<BeDbgType>(elementTypeNode);
- if (elementType == NULL)
- {
- if (auto dbgTypeId = BeValueDynCast<BeDbgTypeId>(elementTypeNode))
- {
- auto bfElementType = mBeModule->mCeMachine->mCeModule->mContext->mTypes[dbgTypeId->mTypeId];
- auto bfPtrType = mBeModule->mCeMachine->mCeModule->CreateRefType(bfElementType);
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgTypeId>();
- dbgType->mTypeId = bfPtrType->mTypeId;
- SetResult(curId, dbgType);
- break;
- }
- }
- auto useType = mBeModule->mDbgModule->CreateReferenceType(elementType);
- SetResult(curId, useType);
- }
- break;
- case BfIRCmd_DbgCreateConstType:
- {
- CMD_PARAM(BeMDNode*, elementTypeNode);
- BeDbgType* elementType = BeValueDynCast<BeDbgType>(elementTypeNode);
- if (elementType == NULL)
- {
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgConstType>();
- dbgType->mElement = elementTypeNode;
- SetResult(curId, dbgType);
- break;
- }
- BeDbgType* useType = elementType->FindDerivedType(BeDbgConstType::TypeId);
- if (useType == NULL)
- {
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgConstType>();
- dbgType->mElement = elementType;
- elementType->mDerivedTypes.PushFront(dbgType, &mBeModule->mAlloc);
- useType = dbgType;
- }
- SetResult(curId, useType);
- }
- break;
- case BfIRCmd_DbgCreateArtificialType:
- {
- CMD_PARAM(BeMDNode*, diType);
- //auto dbgType = mBeModule->mOwnedValues.Alloc<BeDbgArtificialType>();
- //dbgType->mElement = (BeDbgType*)diType;
- // Does the artificial thing do anything for us actually?
- auto dbgType = diType;
- SetResult(curId, dbgType);
- }
- break;
- case BfIRCmd_DbgCreateArrayType:
- {
- CMD_PARAM(int64, sizeInBits);
- CMD_PARAM(int64, alignInBits);
- CMD_PARAM(BeMDNode*, elementType);
- CMD_PARAM(int64, numElements);
- auto dbgArray = mBeModule->mDbgModule->mTypes.Alloc<BeDbgArrayType>();
- dbgArray->mSize = (int)(sizeInBits / 8);
- dbgArray->mAlign = (int)(alignInBits / 8);
- dbgArray->mElement = BeValueDynCast<BeDbgType>(elementType);
- dbgArray->mNumElements = numElements;
- SetResult(curId, dbgArray);
- }
- break;
- case BfIRCmd_DbgCreateReplaceableCompositeType:
- {
- CMD_PARAM(int, tag);
- CMD_PARAM(String, name);
- CMD_PARAM(BeMDNode*, scope);
- CMD_PARAM(BeMDNode*, file);
- CMD_PARAM(int, line);
- CMD_PARAM(int64, sizeInBits);
- CMD_PARAM(int64, alignInBits);
- CMD_PARAM(int, flags);
- if (tag == llvm::dwarf::DW_TAG_structure_type)
- {
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgStructType>();
- dbgType->mScope = scope;
- dbgType->mName = name;
- dbgType->mSize = (int)(sizeInBits / 8);
- dbgType->mAlign = (int)(alignInBits / 8);
- dbgType->mDefFile = (BeDbgFile*)file;
- dbgType->mDefLine = line - 1;
- SetResult(curId, dbgType);
- }
- else if (tag == llvm::dwarf::DW_TAG_enumeration_type)
- {
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgEnumType>();
- dbgType->mScope = scope;
- dbgType->mName = name;
- dbgType->mSize = (int)(sizeInBits / 8);
- dbgType->mAlign = (int)(alignInBits / 8);
- //dbgType->mDefFile = (BeDbgFile*)file;
- //dbgType->mDefLine = line - 1;
- SetResult(curId, dbgType);
- }
- else
- NotImpl();
- }
- break;
- case BfIRCmd_DbgCreateForwardDecl:
- {
- CMD_PARAM(int, tag);
- CMD_PARAM(String, name);
- CMD_PARAM(BeMDNode*, scope);
- CMD_PARAM(BeMDNode*, file);
- CMD_PARAM(int, line);
- if (tag == llvm::dwarf::DW_TAG_structure_type)
- {
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgStructType>();
- dbgType->mScope = scope;
- dbgType->mName = name;
- dbgType->mDefFile = (BeDbgFile*)file;
- dbgType->mDefLine = line;
- SetResult(curId, dbgType);
- }
- else if (tag == llvm::dwarf::DW_TAG_enumeration_type)
- {
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgEnumType>();
- dbgType->mScope = scope;
- dbgType->mName = name;
- SetResult(curId, dbgType);
- }
- else
- NotImpl();
- }
- break;
- case BfIRCmd_DbgCreateSizedForwardDecl:
- {
- CMD_PARAM(int, tag);
- CMD_PARAM(String, name);
- CMD_PARAM(BeMDNode*, scope);
- CMD_PARAM(BeMDNode*, file);
- CMD_PARAM(int, line);
- CMD_PARAM(int64, sizeInBits);
- CMD_PARAM(int64, alignInBits);
- if (tag == llvm::dwarf::DW_TAG_structure_type)
- {
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgStructType>();
- dbgType->mDefFile = (BeDbgFile*)file;
- dbgType->mDefLine = line;
- dbgType->mScope = scope;
- dbgType->mName = name;
- dbgType->mSize = (int)(sizeInBits / 8);
- dbgType->mAlign = (int)(alignInBits / 8);
- SetResult(curId, dbgType);
- }
- else if (tag == llvm::dwarf::DW_TAG_enumeration_type)
- {
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgEnumType>();
- dbgType->mScope = scope;
- dbgType->mName = name;
- dbgType->mSize = (int)(sizeInBits / 8);
- dbgType->mAlign = (int)(alignInBits / 8);
- SetResult(curId, dbgType);
- }
- else
- NotImpl();
- }
- break;
- case BeIRCmd_DbgSetTypeSize:
- {
- CMD_PARAM(BeMDNode*, mdType);
- CMD_PARAM(int64, sizeInBits);
- CMD_PARAM(int64, alignInBits);
- if (auto dbgType = BeValueDynCast<BeDbgType>(mdType))
- {
- dbgType->mSize = (int)(sizeInBits / 8);
- dbgType->mAlign = (int)(alignInBits / 8);
- }
- }
- break;
- case BfIRCmd_DbgReplaceAllUses:
- {
- CMD_PARAM(BeMDNode*, diPrevNode);
- CMD_PARAM(BeMDNode*, diNewNode);
- /*diPrevNode->replaceAllUsesWith(diNewNode); */
- NotImpl();
- }
- break;
- case BfIRCmd_DbgDeleteTemporary:
- {
- CMD_PARAM(BeMDNode*, diNode);
- /*BeMDNode::deleteTemporary(diNode);*/
- NotImpl();
- }
- break;
- case BfIRCmd_DbgMakePermanent:
- {
- CMD_PARAM(BeMDNode*, diNode);
- CMD_PARAM(BeMDNode*, diBaseType);
- CMD_PARAM(CmdParamVec<BeMDNode*>, members);
- if (auto dbgType = BeValueDynCast<BeDbgStructType>(diNode))
- {
- dbgType->SetMembers(members);
- }
- else if (auto dbgType = BeValueDynCast<BeDbgEnumType>(diNode))
- {
- dbgType->mElementType = BeValueDynCast<BeDbgType>(diBaseType);
- dbgType->SetMembers(members);
- }
- else
- NotImpl();
- SetResult(curId, diNode);
- break;
- }
- case BfIRCmd_CreateEnumerator:
- {
- CMD_PARAM(String, name);
- CMD_PARAM(int64, val);
- auto enumValue = mBeModule->mOwnedValues.Alloc<BeDbgEnumMember>();
- enumValue->mName = name;
- enumValue->mValue = val;
- SetResult(curId, enumValue);
- }
- break;
- case BfIRCmd_DbgCreateMemberType:
- {
- CMD_PARAM(BeMDNode*, scope);
- CMD_PARAM(String, name);
- CMD_PARAM(BeMDNode*, file);
- CMD_PARAM(int, lineNumber);
- CMD_PARAM(int64, sizeInBits);
- CMD_PARAM(int64, alignInBits);
- CMD_PARAM(int64, offsetInBits);
- CMD_PARAM(int, flags);
- CMD_PARAM(BeMDNode*, type);
- BF_ASSERT(type != NULL);
- auto dbgMember = mBeModule->mOwnedValues.Alloc<BeDbgStructMember>();
- dbgMember->mName = name;
- dbgMember->mType = BeValueDynCast<BeDbgType>(type);
- dbgMember->mOffset = (int)(offsetInBits / 8);
- dbgMember->mFlags = flags;
- SetResult(curId, dbgMember);
- }
- break;
- case BfIRCmd_DbgStaticCreateMemberType:
- {
- CMD_PARAM(BeMDNode*, scope);
- CMD_PARAM(String, name);
- CMD_PARAM(BeMDNode*, file);
- CMD_PARAM(int, lineNumber);
- CMD_PARAM(BeMDNode*, type);
- CMD_PARAM(int, flags);
- CMD_PARAM(BeConstant*, val);
- BF_ASSERT(type != NULL);
- auto dbgMember = mBeModule->mOwnedValues.Alloc<BeDbgStructMember>();
- dbgMember->mName = name;
- dbgMember->mType = BeValueDynCast<BeDbgType>(type);
- dbgMember->mOffset = -1;
- dbgMember->mStaticValue = val;
- dbgMember->mFlags = flags;
- dbgMember->mIsStatic = true;
- SetResult(curId, dbgMember);
- }
- break;
- case BfIRCmd_DbgCreateInheritance:
- {
- CMD_PARAM(BeMDNode*, type);
- CMD_PARAM(BeMDNode*, baseType);
- CMD_PARAM(int64, baseOffset);
- CMD_PARAM(int, flags);
- auto dbgInheritance = mBeModule->mAlloc.Alloc<BeDbgInheritance>();
- dbgInheritance->mBaseType = BeValueDynCast<BeDbgType>(baseType);
- SetResult(curId, dbgInheritance);
- }
- break;
- case BfIRCmd_DbgCreateMethod:
- {
- CMD_PARAM(BeMDNode*, context);
- CMD_PARAM(String, name);
- CMD_PARAM(String, linkageName);
- CMD_PARAM(BeMDNode*, file);
- CMD_PARAM(int, lineNum);
- CMD_PARAM(BeMDNode*, type);
- CMD_PARAM(bool, isLocalToUnit);
- CMD_PARAM(bool, isDefinition);
- CMD_PARAM(int, vk);
- CMD_PARAM(int, vIndex);
- CMD_PARAM(BeMDNode*, vTableHolder);
- CMD_PARAM(int, flags);
- CMD_PARAM(bool, isOptimized);
- CMD_PARAM(BeValue*, fn);
- CMD_PARAM(CmdParamVec<BeMDNode*>, genericArgs);
- CMD_PARAM(CmdParamVec<BeConstant*>, genericConstValueArgs);
- auto dbgFunc = mBeModule->mOwnedValues.Alloc<BeDbgFunction>();
- dbgFunc->mScope = context;
- dbgFunc->mFile = (BeDbgFile*)file;
- dbgFunc->mLine = lineNum - 1;
- dbgFunc->mType = (BeDbgFunctionType*)type;
- dbgFunc->mName = name;
- dbgFunc->mLinkageName = linkageName;
- dbgFunc->mValue = (BeFunction*)fn;
- dbgFunc->mIsLocalToUnit = isLocalToUnit;
- dbgFunc->mVK = vk;
- dbgFunc->mVIndex = vIndex;
- dbgFunc->mIsStaticMethod = (flags & llvm::DINode::FlagStaticMember) != 0;
- dbgFunc->mFlags = flags;
- for (auto arg : genericArgs)
- {
- BF_ASSERT(arg != NULL);
- dbgFunc->mGenericArgs.Add(BeValueDynCast<BeDbgType>(arg));
- }
- for (auto genericConstValue : genericConstValueArgs)
- dbgFunc->mGenericConstValueArgs.Add(genericConstValue);
- if (dbgFunc->mValue != NULL)
- dbgFunc->mValue->mDbgFunction = dbgFunc;
- dbgFunc->mIdx = (int)mBeModule->mDbgModule->mFuncs.size();
- mBeModule->mDbgModule->mFuncs.push_back(dbgFunc);
- SetResult(curId, dbgFunc);
- }
- break;
- case BfIRCmd_DbgCreateFunction:
- {
- CMD_PARAM(BeMDNode*, context);
- CMD_PARAM(String, name);
- CMD_PARAM(String, linkageName);
- CMD_PARAM(BeMDNode*, file);
- CMD_PARAM(int, lineNum);
- CMD_PARAM(BeMDNode*, type);
- CMD_PARAM(bool, isLocalToUnit);
- CMD_PARAM(bool, isDefinition);
- CMD_PARAM(int, scopeLine);
- CMD_PARAM(int, flags);
- CMD_PARAM(bool, isOptimized);
- CMD_PARAM(BeValue*, fn);
- auto dbgFunc = mBeModule->mOwnedValues.Alloc<BeDbgFunction>();
- dbgFunc->mScope = context;
- dbgFunc->mFile = (BeDbgFile*)file;
- dbgFunc->mLine = lineNum - 1;
- dbgFunc->mType = (BeDbgFunctionType*)type;
- dbgFunc->mName = name;
- dbgFunc->mLinkageName = linkageName;
- dbgFunc->mValue = (BeFunction*)fn;
- dbgFunc->mIsLocalToUnit = isLocalToUnit;
- dbgFunc->mFlags = flags;
- /*if (auto dbgStructType = BeValueDynCast<BeDbgStructType>(context))
- {
- // This will get added to the struct later
- }
- else
- {
- }*/
- if (dbgFunc->mValue != NULL)
- dbgFunc->mValue->mDbgFunction = dbgFunc;
- dbgFunc->mIdx = (int)mBeModule->mDbgModule->mFuncs.size();
- mBeModule->mDbgModule->mFuncs.push_back(dbgFunc);
- SetResult(curId, dbgFunc);
- }
- break;
- case BfIRCmd_DbgCreateParameterVariable:
- {
- CMD_PARAM(BeMDNode*, scope);
- CMD_PARAM(String, name);
- CMD_PARAM(int, argNo);
- CMD_PARAM(BeMDNode*, file);
- CMD_PARAM(int, lineNum);
- CMD_PARAM(BeMDNode*, type);
- CMD_PARAM(bool, alwaysPreserve);
- CMD_PARAM(int, flags);
- BF_ASSERT(type != NULL);
- auto dbgFunc = (BeDbgFunction*)scope;
- auto dbgVar = mBeModule->mOwnedValues.Alloc<BeDbgVariable>();
- dbgVar->mName = name;
- dbgVar->mType = type;
- dbgVar->mParamNum = argNo - 1;
- int argIdx = argNo - 1;
- //for (int i = ; i <= argNo - 1; i++)
- while (argIdx >= (int)dbgFunc->mVariables.size())
- dbgFunc->mVariables.push_back(NULL);
- if (dbgFunc->mVariables[argIdx] == NULL)
- dbgFunc->mVariables[argIdx] = dbgVar;
- else
- {
- BF_ASSERT(dbgFunc->mVariables[argIdx]->mParamNum == -1);
- dbgFunc->mVariables.Insert(argIdx, dbgVar);
- }
- //mActiveFunction->mDbgFunction->mVariables.push_back(dbgVar);
- //dbgVar->mValue = mBeModule->GetArgument(argNo - 1);
- SetResult(curId, dbgVar);
- }
- break;
- case BfIRCmd_DbgCreateSubroutineType:
- {
- CMD_PARAM(CmdParamVec<BeMDNode*>, elements);
- auto dbgFuncType = mBeModule->mOwnedValues.Alloc<BeDbgFunctionType>();
- if (!elements.empty())
- {
- dbgFuncType->mReturnType = BeValueDynCast<BeDbgType>(elements[0]);
- for (int i = 1; i < (int)elements.size(); i++)
- dbgFuncType->mParams.push_back(BeValueDynCast<BeDbgType>(elements[i]));
- }
- SetResult(curId, dbgFuncType);
- }
- break;
- case BfIRCmd_DbgCreateAutoVariable:
- {
- CMD_PARAM(BeMDNode*, scope);
- CMD_PARAM(String, name);
- CMD_PARAM(BeMDNode*, file);
- CMD_PARAM(int, lineNo);
- CMD_PARAM(BeMDNode*, type);
- CMD_PARAM(int, initType);
- BF_ASSERT(type != NULL);
- auto dbgVar = mBeModule->mOwnedValues.Alloc<BeDbgVariable>();
- dbgVar->mName = name;
- dbgVar->mType = type;
- dbgVar->mScope = scope;
- dbgVar->mInitType = (BfIRInitType)initType;
- mActiveFunction->mDbgFunction->mVariables.push_back(dbgVar);
- BF_ASSERT(name != "__CRASH_AUTOVARIABLE__");
- SetResult(curId, dbgVar);
- }
- break;
- case BfIRCmd_DbgInsertValueIntrinsic:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(BeMDNode*, varInfo);
- auto dbgVar = BeValueDynCast<BeDbgVariable>(varInfo);
- //dbgVar->mValue = val;
- //dbgVar->mDeclDbgLoc = mBeModule->mCurDbgLoc;
- if (val == NULL)
- {
- val = mBeModule->GetConstant(mBeContext->GetPrimitiveType(BeTypeCode_Int32), (int64)0);
- }
- auto inst = mBeModule->AllocInst<BeDbgDeclareInst>();
- inst->mValue = val;
- inst->mDbgVar = dbgVar;
- inst->mIsValue = true;
- SetResult(curId, inst);
- }
- break;
- case BfIRCmd_DbgInsertDeclare:
- {
- CMD_PARAM(BeValue*, val);
- CMD_PARAM(BeMDNode*, varInfo);
- CMD_PARAM(BeValue*, insertBefore);
- auto dbgVar = BeValueDynCast<BeDbgVariable>(varInfo);
- //dbgVar->mValue = val;
- //dbgVar->mDeclDbgLoc = mBeModule->mCurDbgLoc;
- auto inst = mBeModule->mAlloc.Alloc<BeDbgDeclareInst>();
- inst->mValue = val;
- inst->mDbgVar = dbgVar;
- inst->mIsValue = false;
- if (insertBefore == NULL)
- mBeModule->AddInst(inst);
- else
- NotImpl();
- SetResult(curId, inst);
- }
- break;
- case BfIRCmd_DbgLifetimeEnd:
- {
- CMD_PARAM(BeMDNode*, varInfo);
- auto inst = mBeModule->AllocInst<BeLifetimeEndInst>();
- inst->mPtr = varInfo;
- }
- break;
- case BfIRCmd_DbgCreateGlobalVariable:
- {
- CMD_PARAM(BeMDNode*, context);
- CMD_PARAM(String, name);
- CMD_PARAM(String, linkageName);
- CMD_PARAM(BeMDNode*, file);
- CMD_PARAM(int, lineNum);
- CMD_PARAM(BeMDNode*, type);
- CMD_PARAM(bool, isLocalToUnit);
- CMD_PARAM(BeConstant*, val);
- CMD_PARAM(BeMDNode*, decl);
- auto dbgGlobalVariable = mBeModule->mDbgModule->mGlobalVariables.Alloc();
- dbgGlobalVariable->mContext = context;
- dbgGlobalVariable->mName = name;
- dbgGlobalVariable->mLinkageName = linkageName;
- dbgGlobalVariable->mFile = (BeDbgFile*)file;
- dbgGlobalVariable->mLineNum = lineNum;
- dbgGlobalVariable->mType = type;
- dbgGlobalVariable->mIsLocalToUnit = isLocalToUnit;
- dbgGlobalVariable->mValue = val;
- dbgGlobalVariable->mDecl = decl;
- SetResult(curId, dbgGlobalVariable);
- }
- break;
- case BfIRCmd_DbgCreateLexicalBlock:
- {
- CMD_PARAM(BeMDNode*, scope);
- CMD_PARAM(BeMDNode*, file);
- CMD_PARAM(int, lineNum);
- CMD_PARAM(int, col);
- auto dbgLexicalBlock = mBeModule->mOwnedValues.Alloc<BeDbgLexicalBlock>();
- BF_ASSERT(BeValueDynCast<BeDbgFile>(file) != NULL);
- dbgLexicalBlock->mFile = (BeDbgFile*)file;
- dbgLexicalBlock->mScope = scope;
- dbgLexicalBlock->mId = mBeModule->mCurLexBlockId++;
- SetResult(curId, dbgLexicalBlock);
- }
- break;
- case BfIRCmd_DbgCreateAnnotation:
- {
- CMD_PARAM(BeMDNode*, scope);
- CMD_PARAM(String, name);
- CMD_PARAM(BeValue*, value);
- if (auto dbgFunc = BeValueDynCast<BeDbgFunction>(scope))
- {
- auto beType = value->GetType();
- BeDbgType** dbgTypePtr;
- if (mOnDemandTypeMap.TryAdd(beType, NULL, &dbgTypePtr))
- {
- auto dbgType = mBeModule->mDbgModule->mTypes.Alloc<BeDbgBasicType>();
- dbgType->mSize = beType->mSize;
- dbgType->mAlign = beType->mAlign;
- dbgType->mEncoding = llvm::dwarf::DW_ATE_signed;
- *dbgTypePtr = dbgType;
- }
- auto dbgVar = mBeModule->mOwnedValues.Alloc<BeDbgVariable>();
- dbgVar->mName = "#" + name;
- dbgVar->mType = *dbgTypePtr;
- dbgVar->mValue = value;
- dbgVar->mScope = scope;
- dbgFunc->mVariables.Add(dbgVar);
- auto inst = mBeModule->AllocInst<BeDbgDeclareInst>();
- inst->mValue = value;
- inst->mDbgVar = dbgVar;
- inst->mIsValue = true;
- }
- else
- NotImpl();
- }
- break;
- default:
- BF_FATAL("Unhandled");
- break;
- }
- #ifdef CODEGEN_TRACK
- gBEMemReporter.EndSection();
- gBEMemReporterSize += mStream->GetReadPos() - curId;
- #endif
- }
- void BeIRCodeGen::SetConfigConst(int idx, int value)
- {
- BF_ASSERT(idx == (int)mConfigConsts.size());
- mConfigConsts.Add(value);
- }
- BeValue* BeIRCodeGen::TryGetBeValue(int id)
- {
- auto& result = mResults[id];
- if (result.mKind != BeIRCodeGenEntryKind_Value)
- return NULL;
- #ifdef BE_EXTRA_CHECKS
- BF_ASSERT(!result.mBeValue->mLifetimeEnded);
- BF_ASSERT(!result.mBeValue->mWasRemoved);
- #endif
- return result.mBeValue;
- }
- BeValue* BeIRCodeGen::GetBeValue(int id)
- {
- auto& result = mResults[id];
- BF_ASSERT(result.mKind == BeIRCodeGenEntryKind_Value);
- #ifdef BE_EXTRA_CHECKS
- BF_ASSERT(!result.mBeValue->mLifetimeEnded);
- BF_ASSERT(!result.mBeValue->mWasRemoved);
- #endif
- return result.mBeValue;
- }
- BeType* BeIRCodeGen::GetBeType(int id)
- {
- auto& result = mResults[id];
- BF_ASSERT(result.mKind == BeIRCodeGenEntryKind_Type);
- return result.mBeType;
- }
- BeBlock* BeIRCodeGen::GetBeBlock(int id)
- {
- auto& result = mResults[id];
- BF_ASSERT(result.mKind == BeIRCodeGenEntryKind_Block);
- return result.mBeBlock;
- }
- BeMDNode* BeIRCodeGen::GetBeMetadata(int id)
- {
- auto& result = mResults[id];
- BF_ASSERT(result.mKind == BeIRCodeGenEntryKind_Metadata);
- return result.mBeMetadata;
- }
- BeType* BeIRCodeGen::GetBeTypeById(int id)
- {
- return GetTypeEntry(id).mBeType;
- }
- BeState BeIRCodeGen::GetState()
- {
- BeState state;
- state.mActiveFunction = mActiveFunction;
- state.mSavedDebugLocs = mSavedDebugLocs;
- state.mHasDebugLoc = mHasDebugLoc;
- state.mActiveBlock = mBeModule->mActiveBlock;
- state.mInsertPos = mBeModule->mInsertPos;
- state.mCurDbgLoc = mBeModule->mCurDbgLoc;
- state.mPrevDbgLocInline = mBeModule->mPrevDbgLocInline;
- state.mLastDbgLoc = mBeModule->mLastDbgLoc;
- return state;
- }
- void BeIRCodeGen::SetState(const BeState& state)
- {
- mActiveFunction = state.mActiveFunction;
- mBeModule->mActiveFunction = mActiveFunction;
- mSavedDebugLocs = state.mSavedDebugLocs;
- mHasDebugLoc = state.mHasDebugLoc;
- mBeModule->mActiveBlock = state.mActiveBlock;
- mBeModule->mInsertPos = state.mInsertPos;
- mBeModule->mCurDbgLoc = state.mCurDbgLoc;
- mBeModule->mPrevDbgLocInline = state.mPrevDbgLocInline;
- mBeModule->mLastDbgLoc = state.mLastDbgLoc;
- }
|