Use caller saved registers for temps not overlapping calls

This commit is contained in:
drmortalwombat 2021-09-12 17:28:02 +02:00
parent 87ccd5e221
commit 3a94be4a35
2 changed files with 52 additions and 12 deletions

View File

@ -1143,6 +1143,19 @@ bool InterInstruction::RemoveUnusedResultInstructions(InterInstruction* pre, Num
return changed; return changed;
} }
void InterInstruction::BuildCallerSaveTempSet(NumberSet& requiredTemps, NumberSet& callerSaveTemps)
{
if (mTTemp >= 0)
requiredTemps -= mTTemp;
if (mCode == IC_CALL || mCode == IC_JSR)
callerSaveTemps |= requiredTemps;
if (mSTemp[0] >= 0) requiredTemps += mSTemp[0];
if (mSTemp[1] >= 0) requiredTemps += mSTemp[1];
if (mSTemp[2] >= 0) requiredTemps += mSTemp[2];
}
bool InterInstruction::RemoveUnusedStoreInstructions(const GrowingVariableArray& localVars, InterInstruction* pre, NumberSet& requiredTemps) bool InterInstruction::RemoveUnusedStoreInstructions(const GrowingVariableArray& localVars, InterInstruction* pre, NumberSet& requiredTemps)
{ {
bool changed = false; bool changed = false;
@ -2234,6 +2247,25 @@ bool InterCodeBasicBlock::RemoveUnusedResultInstructions(int numStaticTemps)
return changed; return changed;
} }
void InterCodeBasicBlock::BuildCallerSaveTempSet(NumberSet& callerSaveTemps)
{
if (!mVisited)
{
mVisited = true;
NumberSet requiredTemps(mExitRequiredTemps);
int i;
for (i = mInstructions.Size() - 1; i >= 0; i--)
mInstructions[i].BuildCallerSaveTempSet(requiredTemps, callerSaveTemps);
if (mTrueJump)
mTrueJump->BuildCallerSaveTempSet(callerSaveTemps);
if (mFalseJump)
mFalseJump->BuildCallerSaveTempSet(callerSaveTemps);
}
}
void InterCodeBasicBlock::BuildLocalVariableSets(const GrowingVariableArray& localVars) void InterCodeBasicBlock::BuildLocalVariableSets(const GrowingVariableArray& localVars)
{ {
@ -3564,25 +3596,31 @@ void InterCodeProcedure::ReduceTemporaries(void)
ResetVisited(); ResetVisited();
} while (mBlocks[0]->BuildGlobalRequiredTempSet(totalRequired3)); } while (mBlocks[0]->BuildGlobalRequiredTempSet(totalRequired3));
NumberSet callerSaved(numRenamedTemps);
ResetVisited();
mBlocks[0]->BuildCallerSaveTempSet(callerSaved);
int callerSavedTemps = 0, calleeSavedTemps = 16;
mTempOffset.SetSize(0); mTempOffset.SetSize(0);
int offset = 0;
if (!mLeafProcedure)
offset += 16;
for (int i = 0; i < mTemporaries.Size(); i++) for (int i = 0; i < mTemporaries.Size(); i++)
{ {
mTempOffset.Push(offset); int size = mTemporaries[i] == IT_FLOAT ? 4 : 2;
switch (mTemporaries[i])
if (callerSavedTemps + size <= 16 && !callerSaved[i])
{ {
case IT_FLOAT: mTempOffset.Push(callerSavedTemps);
offset += 4; callerSavedTemps += size;
break; }
default: else
offset += 2; {
break; mTempOffset.Push(calleeSavedTemps);
calleeSavedTemps += size;
} }
} }
mTempSize = offset; mTempSize = calleeSavedTemps;
} }
void InterCodeProcedure::Disassemble(const char* name, bool dumpSets) void InterCodeProcedure::Disassemble(const char* name, bool dumpSets)

View File

@ -284,6 +284,7 @@ public:
bool RemoveUnusedResultInstructions(InterInstruction* pre, NumberSet& requiredTemps, int numStaticTemps); bool RemoveUnusedResultInstructions(InterInstruction* pre, NumberSet& requiredTemps, int numStaticTemps);
bool RemoveUnusedStoreInstructions(const GrowingVariableArray& localVars, InterInstruction* pre, NumberSet& requiredTemps); bool RemoveUnusedStoreInstructions(const GrowingVariableArray& localVars, InterInstruction* pre, NumberSet& requiredTemps);
void PerformValueForwarding(GrowingInstructionPtrArray& tvalue, FastNumberSet& tvalid); void PerformValueForwarding(GrowingInstructionPtrArray& tvalue, FastNumberSet& tvalid);
void BuildCallerSaveTempSet(NumberSet& requiredTemps, NumberSet& callerSaveTemps);
void LocalRenameRegister(GrowingIntArray& renameTable, int& num, int fixed); void LocalRenameRegister(GrowingIntArray& renameTable, int& num, int fixed);
void GlobalRenameRegister(const GrowingIntArray& renameTable, GrowingTypeArray& temporaries); void GlobalRenameRegister(const GrowingIntArray& renameTable, GrowingTypeArray& temporaries);
@ -382,6 +383,7 @@ public:
void BuildGlobalProvidedTempSet(NumberSet fromProvidedTemps); void BuildGlobalProvidedTempSet(NumberSet fromProvidedTemps);
bool BuildGlobalRequiredTempSet(NumberSet& fromRequiredTemps); bool BuildGlobalRequiredTempSet(NumberSet& fromRequiredTemps);
bool RemoveUnusedResultInstructions(int numStaticTemps); bool RemoveUnusedResultInstructions(int numStaticTemps);
void BuildCallerSaveTempSet(NumberSet& callerSaveTemps);
void BuildLocalVariableSets(const GrowingVariableArray& localVars); void BuildLocalVariableSets(const GrowingVariableArray& localVars);
void BuildGlobalProvidedVariableSet(const GrowingVariableArray& localVars, NumberSet fromProvidedVars); void BuildGlobalProvidedVariableSet(const GrowingVariableArray& localVars, NumberSet fromProvidedVars);