void CodeGen::psiMoveESPtoEBP()
{
assert(compiler->compGeneratingProlog);
assert(doubleAlignOrFramePointerUsed());
#ifdef ACCURATE_PROLOG_DEBUG_INFO
psiScope * scope;
// walk the list backwards
// Works as psiEndPrologScope does not change scPrev
for (scope = psiOpenScopeLast; scope != &psiOpenScopeList; scope = scope->scPrev)
{
if (scope->scRegister)
{
assert(compiler->lvaTable[scope->scSlotNum].lvIsRegArg);
continue;
}
assert(scope->u2.scBaseReg == REG_SPBASE);
psiScope * newScope = psiNewPrologScope(scope->scLVnum, scope->scSlotNum);
newScope->scRegister = false;
newScope->u2.scBaseReg = REG_FPBASE;
newScope->u2.scOffset = scope->u2.scOffset;
psiEndPrologScope (scope);
}
#endif // ACCURATE_PROLOG_DEBUG_INFO
}
void CodeGen::psiAdjustStackLevel(unsigned size)
{
assert(compiler->compGeneratingProlog);
#ifdef ACCURATE_PROLOG_DEBUG_INFO
psiScope * scope;
// walk the list backwards
// Works as psiEndPrologScope does not change scPrev
for (scope = psiOpenScopeLast; scope != &psiOpenScopeList; scope = scope->scPrev)
{
if (scope->scRegister)
{
assert(compiler->lvaTable[scope->scSlotNum].lvIsRegArg);
continue;
}
assert(scope->u2.scBaseReg == REG_SPBASE);
psiScope * newScope = psiNewPrologScope(scope->scLVnum, scope->scSlotNum);
newScope->scRegister = false;
newScope->u2.scBaseReg = REG_SPBASE;
newScope->u2.scOffset = scope->u2.scOffset + size;
psiEndPrologScope (scope);
}
#endif // ACCURATE_PROLOG_DEBUG_INFO
}
void CodeGen::psiMoveToReg(unsigned varNum, regNumber reg, regNumber otherReg)
{
assert(compiler->compGeneratingProlog);
if (!compiler->opts.compScopeInfo)
{
return;
}
if (compiler->info.compVarScopesCount == 0)
{
return;
}
assert((int)varNum >= 0); // It's not a spill temp number.
assert(compiler->lvaTable[varNum].lvIsInReg());
#ifdef ACCURATE_PROLOG_DEBUG_INFO
/* If reg!=REG_NA, the parameter is part of a cirular dependancy, and is
* being moved through temp register "reg".
* If reg==REG_NA, it is being moved to its assigned register.
*/
if (reg == REG_NA)
{
// Grab the assigned registers.
reg = compiler->lvaTable[varNum].lvRegNum;
otherReg = compiler->lvaTable[varNum].lvOtherReg;
}
psiScope* scope;
// walk the list backwards
// Works as psiEndPrologScope does not change scPrev
for (scope = psiOpenScopeLast; scope != &psiOpenScopeList; scope = scope->scPrev)
{
if (scope->scSlotNum != compiler->lvaTable[varNum].lvSlotNum)
continue;
psiScope* newScope = psiNewPrologScope(scope->scLVnum, scope->scSlotNum);
newScope->scRegister = true;
newScope->u1.scRegNum = reg;
newScope->u1.scOtherReg = otherReg;
psiEndPrologScope(scope);
return;
}
// May happen if a parameter does not have an entry in the LocalVarTab
// But assert() just in case it is because of something else.
assert(varNum == compiler->info.compRetBuffArg ||
!"Parameter scope not found (Assert doesnt always indicate error)");
#endif // ACCURATE_PROLOG_DEBUG_INFO
}
void CodeGen::psiEndProlog()
{
assert(compiler->compGeneratingProlog);
psiScope * scope;
for (scope = psiOpenScopeList.scNext; scope; scope = psiOpenScopeList.scNext)
{
psiEndPrologScope(scope);
}
}
void CodeGen::psiMoveToStack(unsigned varNum)
{
if (!compiler->opts.compScopeInfo || (compiler->info.compVarScopesCount == 0))
{
return;
}
assert(compiler->compGeneratingProlog);
assert(compiler->lvaTable[varNum].lvIsRegArg);
assert(!compiler->lvaTable[varNum].lvRegister);
#ifdef ACCURATE_PROLOG_DEBUG_INFO
psiScope* scope;
// walk the list backwards
// Works as psiEndPrologScope does not change scPrev
for (scope = psiOpenScopeLast; scope != &psiOpenScopeList; scope = scope->scPrev)
{
if (scope->scSlotNum != compiler->lvaTable[varNum].lvSlotNum)
continue;
/* The param must be currently sitting in the register in which it
was passed in */
assert(scope->scRegister);
assert(scope->u1.scRegNum == compiler->lvaTable[varNum].lvArgReg);
psiScope* newScope = psiNewPrologScope(scope->scLVnum, scope->scSlotNum);
newScope->scRegister = false;
newScope->u2.scBaseReg = (compiler->lvaTable[varNum].lvFramePointerBased) ? REG_FPBASE : REG_SPBASE;
newScope->u2.scOffset = compiler->lvaTable[varNum].lvStkOffs;
psiEndPrologScope(scope);
return;
}
// May happen if a parameter does not have an entry in the LocalVarTab
// But assert() just in case it is because of something else.
assert(varNum == compiler->info.compRetBuffArg ||
!"Parameter scope not found (Assert doesnt always indicate error)");
#endif // ACCURATE_PROLOG_DEBUG_INFO
}
