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

Improved RAX/RDX preservation in IDIV section

Browse source
This commit is contained in:
Brian Fiete 2022-04-29 07:01:07 -07:00
parent 9860ef1cb3
commit ae6287a466
1 changed files with 14 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

14
IDEHelper/Backend/BeMCContext.cpp
View file

@ -9026,6 +9026,11 @@ bool BeMCContext::DoLegalization()
newOperand.mVRegIdx = scratchReg.mVRegIdx; newOperand.mVRegIdx = scratchReg.mVRegIdx;
IntroduceVRegs(scratchReg, mcBlock, insertPos, insertPos + 1); IntroduceVRegs(scratchReg, mcBlock, insertPos, insertPos + 1);
auto scratchVRegInfo = mVRegInfo[scratchReg.mVRegIdx];
// If a scratch vreg needs to preserve a register like the remapped vreg
scratchVRegInfo->mDisableRAX |= remappedVRegInfo->mDisableRAX;
scratchVRegInfo->mDisableRDX |= remappedVRegInfo->mDisableRDX;
if ((insertPos == instIdx) || (!scratchForceReg)) if ((insertPos == instIdx) || (!scratchForceReg))
{ {
// Only allow short-lived forceRegs // Only allow short-lived forceRegs
@ -10094,14 +10099,10 @@ bool BeMCContext::DoLegalization()
mcRemaindier = BeMCOperand::FromReg(ResizeRegister(X64Reg_RDX, arg0Type)); mcRemaindier = BeMCOperand::FromReg(ResizeRegister(X64Reg_RDX, arg0Type));
preserveRDXInst->mArg1 = inst->mArg0; // RDX preserve elision exception preserveRDXInst->mArg1 = inst->mArg0; // RDX preserve elision exception
auto vregInfo = GetVRegInfo(inst->mArg0);
if (vregInfo != NULL)
{
// This is to avoid overlap with PreserveRAX // This is to avoid overlap with PreserveRAX
DisableRegister(inst->mArg0, X64Reg_RAX); DisableRegister(inst->mArg0, X64Reg_RAX);
if (preserveRDX) if (preserveRDX)
DisableRegister(inst->mArg0, X64Reg_RDX); DisableRegister(inst->mArg0, X64Reg_RDX);
}
AllocInst(BeMCInstKind_Mov, inst->mArg0, mcRemaindier, instIdx++ + 1); AllocInst(BeMCInstKind_Mov, inst->mArg0, mcRemaindier, instIdx++ + 1);
} }
} }
@ -10109,6 +10110,11 @@ bool BeMCContext::DoLegalization()
{ {
preserveRAXInst->mArg1 = inst->mArg0; // RAX preserve elision exception preserveRAXInst->mArg1 = inst->mArg0; // RAX preserve elision exception
AllocInst(BeMCInstKind_Mov, inst->mArg0, mcScratch, instIdx++ + 1); AllocInst(BeMCInstKind_Mov, inst->mArg0, mcScratch, instIdx++ + 1);
// This is to avoid overlap with PreserveRAX
DisableRegister(inst->mArg0, X64Reg_RAX);
if (preserveRDX)
DisableRegister(inst->mArg0, X64Reg_RDX);
} }
inst->mArg0 = mcScratch; inst->mArg0 = mcScratch;
if (preserveRDX) if (preserveRDX)