Extern/Beef
1
0
Fork 0
mirror of https://github.com/beefytech/Beef.git synced 2025-06-08 11:38:21 +02:00
Code Activity

Improved handling of mGhostDependencies. Codegen Abort

Browse source
This commit is contained in:
Brian Fiete 2025-01-19 08:39:46 -08:00
parent 9988dec99d
commit a82cc0534d
6 changed files with 37 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

17
IDEHelper/Backend/BeIRCodeGen.cpp
View file

@ -1123,7 +1123,10 @@ void BeIRCodeGen::Read(BeMDNode*& llvmMD)
} }
void BeIRCodeGen::HandleNextCmd() void BeIRCodeGen::HandleNextCmd()
{ {
if (mFailed)
return;
int curId = mCmdCount; int curId = mCmdCount;
BfIRCmd cmd = (BfIRCmd)mStream->Read(); BfIRCmd cmd = (BfIRCmd)mStream->Read();
@ -1192,6 +1195,11 @@ void BeIRCodeGen::HandleNextCmd()
mBeModule->print(outStream, NULL);*/ mBeModule->print(outStream, NULL);*/
} }
break; break;
case BfIRCmd_Abort:
{
Fail("Stream aborted");
}
break;
case BfIRCmd_SetType: case BfIRCmd_SetType:
{ {
CMD_PARAM(int, typeId); CMD_PARAM(int, typeId);
@ -1236,6 +1244,13 @@ void BeIRCodeGen::HandleNextCmd()
CMD_PARAM(int, instSize); CMD_PARAM(int, instSize);
CMD_PARAM(int, instAlign); CMD_PARAM(int, instAlign);
CMD_PARAM(bool, isPacked); CMD_PARAM(bool, isPacked);
if ((type == NULL) || (type->mTypeCode != BeTypeCode_Struct))
{
Fail("StructSetBody invalid type");
break;
}
BF_ASSERT(type->mTypeCode == BeTypeCode_Struct); BF_ASSERT(type->mTypeCode == BeTypeCode_Struct);
auto structType = (BeStructType*)type; auto structType = (BeStructType*)type;
mBeContext->SetStructBody(structType, members, isPacked); mBeContext->SetStructBody(structType, members, isPacked);

2
IDEHelper/Backend/BeIRCodeGen.h
View file

@ -82,7 +82,7 @@ public:
BeContext* mBeContext; BeContext* mBeContext;
BeModule* mBeModule; BeModule* mBeModule;
Array<BeDbgLoc*> mSavedDebugLocs; Array<BeDbgLoc*> mSavedDebugLocs;
bool mHasDebugLoc; bool mHasDebugLoc;
int mCmdCount; int mCmdCount;
Dictionary<int, BeIRCodeGenEntry> mResults; Dictionary<int, BeIRCodeGenEntry> mResults;

12
IDEHelper/Compiler/BfIRBuilder.cpp
View file

@ -2217,6 +2217,12 @@ void BfIRBuilder::WriteIR(const StringImpl& fileName)
NEW_CMD_INSERTED; NEW_CMD_INSERTED;
} }
void BfIRBuilder::AbortStream()
{
WriteCmd(BfIRCmd_Abort);
NEW_CMD_INSERTED;
}
void BfIRBuilder::Module_SetTargetTriple(const StringImpl& targetTriple, const StringImpl& targetCPU) void BfIRBuilder::Module_SetTargetTriple(const StringImpl& targetTriple, const StringImpl& targetCPU)
{ {
WriteCmd(BfIRCmd_Module_SetTargetTriple, targetTriple, targetCPU); WriteCmd(BfIRCmd_Module_SetTargetTriple, targetTriple, targetCPU);
@ -2774,7 +2780,11 @@ void BfIRBuilder::CreateTypeDeclaration(BfType* type, bool forceDbgDefine)
if (!type->IsDeclared()) if (!type->IsDeclared())
populateModule->PopulateType(type, BfPopulateType_Declaration); populateModule->PopulateType(type, BfPopulateType_Declaration);
BF_ASSERT(type->IsDeclared()); if (!type->IsDeclared())
{
AbortStream();
return;
}
#ifdef BFIR_RENTRY_CHECK #ifdef BFIR_RENTRY_CHECK
ReEntryCheck reEntryCheck(&mDeclReentrySet, type); ReEntryCheck reEntryCheck(&mDeclReentrySet, type);

2
IDEHelper/Compiler/BfIRBuilder.h
View file

@ -161,6 +161,7 @@ enum BfIRCmd : uint8
BfIRCmd_Module_SetTargetTriple, BfIRCmd_Module_SetTargetTriple,
BfIRCmd_Module_AddModuleFlag, BfIRCmd_Module_AddModuleFlag,
BfIRCmd_WriteIR, BfIRCmd_WriteIR,
BfIRCmd_Abort,
BfIRCmd_SetType, BfIRCmd_SetType,
BfIRCmd_SetInstType, BfIRCmd_SetInstType,
@ -1199,6 +1200,7 @@ public:
void SetBackend(bool isBeefBackend); void SetBackend(bool isBeefBackend);
void RemoveIRCodeGen(); void RemoveIRCodeGen();
void WriteIR(const StringImpl& fileName); void WriteIR(const StringImpl& fileName);
void AbortStream();
void Module_SetTargetTriple(const StringImpl& targetTriple, const StringImpl& targetCPU); void Module_SetTargetTriple(const StringImpl& targetTriple, const StringImpl& targetCPU);
void Module_AddModuleFlag(const StringImpl& flag, int val); void Module_AddModuleFlag(const StringImpl& flag, int val);

6
IDEHelper/Compiler/BfIRCodeGen.cpp
View file

@ -2029,6 +2029,9 @@ void BfIRCodeGen::InitTarget()
void BfIRCodeGen::HandleNextCmd() void BfIRCodeGen::HandleNextCmd()
{ {
if (mFailed)
return;
int curId = mCmdCount; int curId = mCmdCount;
BfIRCmd cmd = (BfIRCmd)mStream->Read(); BfIRCmd cmd = (BfIRCmd)mStream->Read();
@ -2091,6 +2094,9 @@ void BfIRCodeGen::HandleNextCmd()
mLLVMModule->print(outStream, NULL); mLLVMModule->print(outStream, NULL);
} }
break; break;
case BfIRCmd_Abort:
Fail("Stream aborted");
break;
case BfIRCmd_SetType: case BfIRCmd_SetType:
{ {
CMD_PARAM(int, typeId); CMD_PARAM(int, typeId);

2
IDEHelper/Compiler/BfModule.cpp
View file

@ -11097,7 +11097,7 @@ BfMethodInstance* BfModule::GetRawMethodInstanceAtIdx(BfTypeInstance* typeInstan
{ {
if (mCompiler->EnsureCeUnpaused(typeInstance)) if (mCompiler->EnsureCeUnpaused(typeInstance))
{ {
BF_FATAL("OOB in GetRawMethodInstanceAtIdx"); InternalError("OOB in GetRawMethodInstanceAtIdx");
} }
return NULL; return NULL;
} }