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

Extra debug checks

Browse source
This commit is contained in:
Brian Fiete 2020-09-16 15:55:04 -07:00
parent 63ce6eb07b
commit 8bf7b6a4a7
1 changed files with 13 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

18
IDEHelper/Backend/BeIRCodeGen.cpp
View file

@ -6,6 +6,10 @@
#include "BeefySysLib/util/AllocDebug.h" #include "BeefySysLib/util/AllocDebug.h"
#include "BeefySysLib/util/Hash.h" #include "BeefySysLib/util/Hash.h"
#ifdef _DEBUG
#define BE_EXTRA_CHECKS
#endif
USING_NS_BF; USING_NS_BF;
//#define CODEGEN_TRACK //#define CODEGEN_TRACK
@ -2051,6 +2055,8 @@ void BeIRCodeGen::HandleNextCmd()
CMD_PARAM(BeValue*, value); CMD_PARAM(BeValue*, value);
CMD_PARAM(BeBlock*, comingFrom); CMD_PARAM(BeBlock*, comingFrom);
BF_ASSERT(phiValue->GetType() == value->GetType());
auto phiIncoming = mBeModule->mAlloc.Alloc<BePhiIncoming>(); auto phiIncoming = mBeModule->mAlloc.Alloc<BePhiIncoming>();
phiIncoming->mBlock = comingFrom; phiIncoming->mBlock = comingFrom;
phiIncoming->mValue = value; phiIncoming->mValue = value;
@ -2151,7 +2157,7 @@ void BeIRCodeGen::HandleNextCmd()
CMD_PARAM(BeValue*, func); CMD_PARAM(BeValue*, func);
CMD_PARAM(CmdParamVec<BeValue*>, args); CMD_PARAM(CmdParamVec<BeValue*>, args);
#ifdef _DEBUG #ifdef BE_EXTRA_CHECKS
auto funcPtrType = func->GetType(); auto funcPtrType = func->GetType();
if (funcPtrType != NULL) if (funcPtrType != NULL)
{ {
@ -2161,7 +2167,7 @@ void BeIRCodeGen::HandleNextCmd()
bool argsMatched = true; bool argsMatched = true;
if (!funcType->mIsVarArg) if (!funcType->mIsVarArg)
{ {
if (funcType->mParams.size() != args.size()) if (funcType->mParams.size() != args.size())
{ {
argsMatched = false; argsMatched = false;
@ -2171,7 +2177,9 @@ void BeIRCodeGen::HandleNextCmd()
int argIdx = 0; int argIdx = 0;
for (int argIdx = 0; argIdx < (int)args.size(); argIdx++) for (int argIdx = 0; argIdx < (int)args.size(); argIdx++)
{ {
if (funcType->mParams[argIdx].mType != args[argIdx]->GetType()) if (args[argIdx] == NULL)
argsMatched = false;
else if (funcType->mParams[argIdx].mType != args[argIdx]->GetType())
argsMatched = false; argsMatched = false;
} }
} }
@ -2237,7 +2245,7 @@ void BeIRCodeGen::HandleNextCmd()
case BfIRCmd_CreateRet: case BfIRCmd_CreateRet:
{ {
CMD_PARAM(BeValue*, val); CMD_PARAM(BeValue*, val);
#ifdef _DEBUG #ifdef BE_EXTRA_CHECKS
auto retType = val->GetType(); auto retType = val->GetType();
auto funcType = mActiveFunction->GetFuncType(); auto funcType = mActiveFunction->GetFuncType();
BF_ASSERT(retType == funcType->mReturnType); BF_ASSERT(retType == funcType->mReturnType);
@ -3296,7 +3304,7 @@ BeValue* BeIRCodeGen::GetBeValue(int id)
{ {
auto& result = mResults[id]; auto& result = mResults[id];
BF_ASSERT(result.mKind == BeIRCodeGenEntryKind_Value); BF_ASSERT(result.mKind == BeIRCodeGenEntryKind_Value);
#ifdef _DEBUG #ifdef BE_EXTRA_CHECKS
BF_ASSERT(!result.mBeValue->mLifetimeEnded); BF_ASSERT(!result.mBeValue->mLifetimeEnded);
BF_ASSERT(!result.mBeValue->mWasRemoved); BF_ASSERT(!result.mBeValue->mWasRemoved);
#endif #endif