frederik
/
oscar64
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix size heuristic of loop condition slicing

This commit is contained in:
drmortalwombat 2024-06-20 09:42:22 +02:00
parent 17002e4c78
commit d4a381f71c
2 changed files with 25 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
oscar64/InterCode.cpp
View File

@ -12482,6 +12482,24 @@ static bool CanMoveInstructionBeforePath(const GrowingInterCodeBasicBlockPtrArra
return true;
}
bool InterCodeBasicBlock::IsDirectLoopPathBlock(InterCodeBasicBlock* block)
{
if (this == block)
return true;
if (block->mLoopHead)
return false;
if (block->mEntryBlocks.Size() == 0)
return false;
for (int i = 0; i < block->mEntryBlocks.Size(); i++)
if (IsDirectLoopPathBlock(block->mEntryBlocks[i]))
return true;
return false;
}
bool InterCodeBasicBlock::IsDirectDominatorBlock(InterCodeBasicBlock* block)
{
if (this == block)
@ -15964,12 +15982,12 @@ bool InterCodeBasicBlock::MoveConditionOutOfLoop(void)
int ninside = 0, noutside = 0;
for (int i = 0; i < body.Size(); i++)
{
bool tdom = block->mTrueJump->IsDirectDominatorBlock(body[i]);
bool fdom = block->mFalseJump->IsDirectDominatorBlock(body[i]);
bool tdom = block->mTrueJump->IsDirectLoopPathBlock(body[i]);
bool fdom = block->mFalseJump->IsDirectLoopPathBlock(body[i]);
if (tdom != fdom)
ninside += body[i]->mInstructions.Size();
ninside += body[i]->mInstructions.Size() + 1;
else
noutside += body[i]->mInstructions.Size();
noutside += body[i]->mInstructions.Size() + 1;
}
// Less than four instructions outside of condition, or twice as many
@ -21016,7 +21034,7 @@ void InterCodeProcedure::Close(void)
{
GrowingTypeArray tstack(IT_NONE);
CheckFunc = !strcmp(mIdent->mString, "__drawScreen__");
CheckFunc = !strcmp(mIdent->mString, "test");
CheckCase = false;
mEntryBlock = mBlocks[0];

1
oscar64/InterCode.h
View File

@ -531,6 +531,7 @@ public:
bool MoveTrainCrossBlock(void);
bool HoistCommonConditionalPath(void);
bool IsDirectDominatorBlock(InterCodeBasicBlock* block);
bool IsDirectLoopPathBlock(InterCodeBasicBlock* block);
void MarkRelevantStatics(void);
void RemoveNonRelevantStatics(void);