manuth/Ryujinx
1
0
Fork 0
mirror of https://git.naxdy.org/Mirror/Ryujinx.git synced 2025-01-15 23:20:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Implement extended basic-block allocation

Browse source 
This could lead to decent improvements if fixed registers are
implemented.

Against master, 8022 improved 1354 regressed in terms of code size.
This commit is contained in:
FICTURE7 2021-10-01 16:53:04 +04:00
parent 1aa6bde574
commit 1f2a07cb80
1 changed files with 19 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
ARMeilleure/CodeGen/RegisterAllocators/HybridAllocator.cs
View file

@ -182,6 +182,8 @@ namespace ARMeilleure.CodeGen.RegisterAllocators
Operand[] active = new Operand[RegistersCount * 2]; Operand[] active = new Operand[RegistersCount * 2];
int activeRegisters = 0;
Operation dummyNode = Operation(Instruction.Extended, default); Operation dummyNode = Operation(Instruction.Extended, default);
for (int index = cfg.PostOrderBlocks.Length - 1; index >= 0; index--) for (int index = cfg.PostOrderBlocks.Length - 1; index >= 0; index--)
@ -190,7 +192,6 @@ namespace ARMeilleure.CodeGen.RegisterAllocators
BlockInfo blkInfo = _blockInfo[block.Index]; BlockInfo blkInfo = _blockInfo[block.Index];
int freeLocalRegisters = freeRegisters & ~blkInfo.FixedRegisters; int freeLocalRegisters = freeRegisters & ~blkInfo.FixedRegisters;
int activeRegisters = 0;
for (Operation node = block.Operations.First; node != default; node = node.ListNext) for (Operation node = block.Operations.First; node != default; node = node.ListNext)
{ {
@ -405,6 +406,23 @@ namespace ARMeilleure.CodeGen.RegisterAllocators
// next block. // next block.
if (activeRegisters != 0) if (activeRegisters != 0)
{ {
// If the current block has a single successor and the next block has a single predecessor, we can
// allocate across them without spilling anything.
//
// NOTE: We still have to check if they have matching fixed register sets.
if (index > 0 && block.SuccessorsCount == 1)
{
BasicBlock nextBlock = cfg.PostOrderBlocks[index - 1];
BlockInfo nextBlkInfo = _blockInfo[nextBlock.Index];
if (nextBlock.Predecessors.Count == 1 &&
nextBlkInfo.FixedRegisters == blkInfo.FixedRegisters &&
block.GetSuccessor(0) == nextBlock)
{
continue;
}
}
// If the block has 0 successors then the control flow exits. This means we can skip spilling since // If the block has 0 successors then the control flow exits. This means we can skip spilling since
// we're exiting anyways. // we're exiting anyways.
bool needSpill = block.SuccessorsCount > 0; bool needSpill = block.SuccessorsCount > 0;