mirror of
https://github.com/dlang/dmd.git
synced 2025-04-28 22:20:37 +03:00
convert prolog_saveregs/restoreregs for AArch64 (#21134)
This commit is contained in:
Walter Bright
GitHub
parent
0b29c8a5bd
commit
0b3975f265
2 changed files with 64 additions and 158 deletions
|
|
@ -333,7 +333,7 @@ void genBranch(ref CodeBuilder cdb, COND cond, FL fltarg, block* targ)
|
||||||
* Emit Dwarf info for these saves.
|
* Emit Dwarf info for these saves.
|
||||||
* Params:
|
* Params:
|
||||||
* cg = code generator state
|
* cg = code generator state
|
||||||
* cdb = append generated instructions to this
|
* cdb = sink for generated instructions
|
||||||
* topush = mask of registers to push
|
* topush = mask of registers to push
|
||||||
* cfa_offset = offset of frame pointer from CFA
|
* cfa_offset = offset of frame pointer from CFA
|
||||||
*/
|
*/
|
||||||
|
|
@ -341,94 +341,46 @@ void genBranch(ref CodeBuilder cdb, COND cond, FL fltarg, block* targ)
|
||||||
@trusted
|
@trusted
|
||||||
void prolog_saveregs(ref CGstate cg, ref CodeBuilder cdb, regm_t topush, int cfa_offset)
|
void prolog_saveregs(ref CGstate cg, ref CodeBuilder cdb, regm_t topush, int cfa_offset)
|
||||||
{
|
{
|
||||||
if (cg.pushoffuse)
|
printf("prolog_saveregs() topush: %s pushoffuse: %d\n", regm_str(topush), cg.pushoffuse);
|
||||||
|
assert(!(topush & ~fregsaved));
|
||||||
|
assert(cg.pushoffuse);
|
||||||
|
|
||||||
|
// Save to preallocated section in the stack frame
|
||||||
|
int xmmtopush = 0;
|
||||||
|
int gptopush = popcnt(topush); // general purpose registers to save
|
||||||
|
targ_size_t gpoffset = cg.pushoff + cg.BPoff;
|
||||||
|
reg_t fp;
|
||||||
|
if (!cg.hasframe || cg.enforcealign)
|
||||||
{
|
{
|
||||||
// Save to preallocated section in the stack frame
|
gpoffset += cg.EBPtoESP;
|
||||||
int xmmtopush = popcnt(topush & XMMREGS); // XMM regs take 16 bytes
|
fp = 31; // SP
|
||||||
int gptopush = popcnt(topush) - xmmtopush; // general purpose registers to save
|
|
||||||
targ_size_t xmmoffset = cg.pushoff + cg.BPoff;
|
|
||||||
if (!cg.hasframe || cg.enforcealign)
|
|
||||||
xmmoffset += cg.EBPtoESP;
|
|
||||||
targ_size_t gpoffset = xmmoffset + xmmtopush * 16;
|
|
||||||
while (topush)
|
|
||||||
{
|
|
||||||
reg_t reg = findreg(topush);
|
|
||||||
topush &= ~mask(reg);
|
|
||||||
if (isXMMreg(reg))
|
|
||||||
{
|
|
||||||
if (cg.hasframe && !cg.enforcealign)
|
|
||||||
{
|
|
||||||
// MOVUPD xmmoffset[EBP],xmm
|
|
||||||
cdb.genc1(STOUPD,modregxrm(2,reg-XMM0,BPRM),FL.const_,xmmoffset);
|
|
||||||
}
|
|
||||||
else
|
|
||||||
{
|
|
||||||
// MOVUPD xmmoffset[ESP],xmm
|
|
||||||
cdb.genc1(STOUPD,modregxrm(2,reg-XMM0,4) + 256*modregrm(0,4,SP),FL.const_,xmmoffset);
|
|
||||||
}
|
|
||||||
xmmoffset += 16;
|
|
||||||
}
|
|
||||||
else
|
|
||||||
{
|
|
||||||
if (cg.hasframe && !cg.enforcealign)
|
|
||||||
{
|
|
||||||
// MOV gpoffset[EBP],reg
|
|
||||||
cdb.genc1(0x89,modregxrm(2,reg,BPRM),FL.const_,gpoffset);
|
|
||||||
}
|
|
||||||
else
|
|
||||||
{
|
|
||||||
// MOV gpoffset[ESP],reg
|
|
||||||
cdb.genc1(0x89,modregxrm(2,reg,4) + 256*modregrm(0,4,SP),FL.const_,gpoffset);
|
|
||||||
}
|
|
||||||
if (I64)
|
|
||||||
code_orrex(cdb.last(), REX_W);
|
|
||||||
if (config.fulltypes == CVDWARF_C || config.fulltypes == CVDWARF_D ||
|
|
||||||
config.ehmethod == EHmethod.EH_DWARF)
|
|
||||||
{ // Emit debug_frame data giving location of saved register
|
|
||||||
code* c = cdb.finish();
|
|
||||||
pinholeopt(c, null);
|
|
||||||
dwarf_CFA_set_loc(calcblksize(c)); // address after save
|
|
||||||
dwarf_CFA_offset(reg, cast(int)(gpoffset - cfa_offset));
|
|
||||||
cdb.reset();
|
|
||||||
cdb.append(c);
|
|
||||||
}
|
|
||||||
gpoffset += REGSIZE;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
|
fp = 29; // BP
|
||||||
|
|
||||||
|
while (topush)
|
||||||
{
|
{
|
||||||
while (topush) /* while registers to push */
|
reg_t reg = findreg(topush);
|
||||||
{
|
topush &= ~mask(reg);
|
||||||
reg_t reg = findreg(topush);
|
|
||||||
topush &= ~mask(reg);
|
const ins = (mask(reg) & INSTR.FLOATREGS)
|
||||||
if (isXMMreg(reg))
|
// https://www.scs.stanford.edu/~zyedidia/arm64/str_imm_fpsimd.html
|
||||||
{
|
? INSTR.str_imm_fpsimd(3,0,cast(uint)gpoffset,fp,reg) // STR reg,[fp,#offset]
|
||||||
// SUB RSP,16
|
: INSTR.str_imm_gen(1, reg, fp, gpoffset); // STR reg,[fp,#offset]
|
||||||
cod3_stackadj(cdb, 16);
|
cdb.gen1(ins);
|
||||||
// MOVUPD 0[RSP],xmm
|
|
||||||
cdb.genc1(STOUPD,modregxrm(2,reg-XMM0,4) + 256*modregrm(0,4,SP),FL.const_,0);
|
if (0) // TODO AArch64
|
||||||
cg.EBPtoESP += 16;
|
if (config.fulltypes == CVDWARF_C || config.fulltypes == CVDWARF_D ||
|
||||||
cg.spoff += 16;
|
config.ehmethod == EHmethod.EH_DWARF)
|
||||||
}
|
{ // Emit debug_frame data giving location of saved register
|
||||||
else
|
code* c = cdb.finish();
|
||||||
{
|
pinholeopt(c, null);
|
||||||
genpush(cdb, reg);
|
dwarf_CFA_set_loc(calcblksize(c)); // address after save
|
||||||
cg.EBPtoESP += REGSIZE;
|
dwarf_CFA_offset(reg, cast(int)(gpoffset - cfa_offset));
|
||||||
cg.spoff += REGSIZE;
|
cdb.reset();
|
||||||
if (config.fulltypes == CVDWARF_C || config.fulltypes == CVDWARF_D ||
|
cdb.append(c);
|
||||||
config.ehmethod == EHmethod.EH_DWARF)
|
|
||||||
{ // Emit debug_frame data giving location of saved register
|
|
||||||
// relative to 0[EBP]
|
|
||||||
code* c = cdb.finish();
|
|
||||||
pinholeopt(c, null);
|
|
||||||
dwarf_CFA_set_loc(calcblksize(c)); // address after PUSH reg
|
|
||||||
dwarf_CFA_offset(reg, -cg.EBPtoESP - cfa_offset);
|
|
||||||
cdb.reset();
|
|
||||||
cdb.append(c);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
gpoffset += REGSIZE;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
@ -439,82 +391,35 @@ void prolog_saveregs(ref CGstate cg, ref CodeBuilder cdb, regm_t topush, int cfa
|
||||||
@trusted
|
@trusted
|
||||||
private void epilog_restoreregs(ref CGstate cg, ref CodeBuilder cdb, regm_t topop)
|
private void epilog_restoreregs(ref CGstate cg, ref CodeBuilder cdb, regm_t topop)
|
||||||
{
|
{
|
||||||
debug
|
assert(cg.AArch64);
|
||||||
if (topop & ~(XMMREGS | 0xFFFF))
|
|
||||||
printf("fregsaved = %s, mfuncreg = %s\n",regm_str(fregsaved),regm_str(cg.mfuncreg));
|
|
||||||
|
|
||||||
assert(!(topop & ~(XMMREGS | 0xFFFF)));
|
assert(cg.pushoffuse);
|
||||||
if (cg.pushoffuse)
|
|
||||||
|
// Save to preallocated section in the stack frame
|
||||||
|
int xmmtopop = popcnt(topop & XMMREGS); // XMM regs take 16 bytes
|
||||||
|
int gptopop = popcnt(topop); // general purpose registers to save
|
||||||
|
targ_size_t gpoffset = cg.pushoff + cg.BPoff;
|
||||||
|
|
||||||
|
reg_t fp;
|
||||||
|
if (!cg.hasframe || cg.enforcealign)
|
||||||
{
|
{
|
||||||
// Save to preallocated section in the stack frame
|
gpoffset += cg.EBPtoESP;
|
||||||
int xmmtopop = popcnt(topop & XMMREGS); // XMM regs take 16 bytes
|
fp = 31; // SP
|
||||||
int gptopop = popcnt(topop) - xmmtopop; // general purpose registers to save
|
|
||||||
targ_size_t xmmoffset = cg.pushoff + cg.BPoff;
|
|
||||||
if (!cg.hasframe || cg.enforcealign)
|
|
||||||
xmmoffset += cg.EBPtoESP;
|
|
||||||
targ_size_t gpoffset = xmmoffset + xmmtopop * 16;
|
|
||||||
while (topop)
|
|
||||||
{
|
|
||||||
reg_t reg = findreg(topop);
|
|
||||||
topop &= ~mask(reg);
|
|
||||||
if (isXMMreg(reg))
|
|
||||||
{
|
|
||||||
if (cg.hasframe && !cg.enforcealign)
|
|
||||||
{
|
|
||||||
// MOVUPD xmm,xmmoffset[EBP]
|
|
||||||
cdb.genc1(LODUPD,modregxrm(2,reg-XMM0,BPRM),FL.const_,xmmoffset);
|
|
||||||
}
|
|
||||||
else
|
|
||||||
{
|
|
||||||
// MOVUPD xmm,xmmoffset[ESP]
|
|
||||||
cdb.genc1(LODUPD,modregxrm(2,reg-XMM0,4) + 256*modregrm(0,4,SP),FL.const_,xmmoffset);
|
|
||||||
}
|
|
||||||
xmmoffset += 16;
|
|
||||||
}
|
|
||||||
else
|
|
||||||
{
|
|
||||||
if (cg.hasframe && !cg.enforcealign)
|
|
||||||
{
|
|
||||||
// MOV reg,gpoffset[EBP]
|
|
||||||
cdb.genc1(0x8B,modregxrm(2,reg,BPRM),FL.const_,gpoffset);
|
|
||||||
}
|
|
||||||
else
|
|
||||||
{
|
|
||||||
// MOV reg,gpoffset[ESP]
|
|
||||||
cdb.genc1(0x8B,modregxrm(2,reg,4) + 256*modregrm(0,4,SP),FL.const_,gpoffset);
|
|
||||||
}
|
|
||||||
if (I64)
|
|
||||||
code_orrex(cdb.last(), REX_W);
|
|
||||||
gpoffset += REGSIZE;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
{
|
fp = 29; // BP
|
||||||
reg_t reg = I64 ? XMM7 : DI;
|
|
||||||
if (!(topop & XMMREGS))
|
|
||||||
reg = R15;
|
|
||||||
regm_t regm = 1UL << reg;
|
|
||||||
|
|
||||||
while (topop)
|
while (topop)
|
||||||
{ if (topop & regm)
|
{
|
||||||
{
|
reg_t reg = findreg(topop);
|
||||||
if (isXMMreg(reg))
|
topop &= ~mask(reg);
|
||||||
{
|
|
||||||
// MOVUPD xmm,0[RSP]
|
const ins = (mask(reg) & INSTR.FLOATREGS)
|
||||||
cdb.genc1(LODUPD,modregxrm(2,reg-XMM0,4) + 256*modregrm(0,4,SP),FL.const_,0);
|
// https://www.scs.stanford.edu/~zyedidia/arm64/ldr_imm_fpsimd.html
|
||||||
// ADD RSP,16
|
? INSTR.ldr_imm_fpsimd(3,1,cast(uint)gpoffset,fp,reg) // LDR reg,[fp,#offset]
|
||||||
cod3_stackadj(cdb, -16);
|
: INSTR.ldr_imm_gen(1, reg, fp, gpoffset); // LDR reg,[fp,#offset]
|
||||||
}
|
cdb.gen1(ins);
|
||||||
else
|
gpoffset += REGSIZE;
|
||||||
{
|
|
||||||
cdb.genpop(reg); // POP reg
|
|
||||||
}
|
|
||||||
topop &= ~regm;
|
|
||||||
}
|
|
||||||
regm >>= 1;
|
|
||||||
reg--;
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -3808,9 +3808,10 @@ void prolog_setupalloca(ref CodeBuilder cdb)
|
||||||
@trusted
|
@trusted
|
||||||
void prolog_saveregs(ref CGstate cg, ref CodeBuilder cdb, regm_t topush, int cfa_offset)
|
void prolog_saveregs(ref CGstate cg, ref CodeBuilder cdb, regm_t topush, int cfa_offset)
|
||||||
{
|
{
|
||||||
//printf("prolog_saveregs() topush: %s pushoffuse: %d\n", regm_str(topush), cg.pushoffuse);
|
if (cg.AArch64)
|
||||||
if (cg.AArch64) return; // TODO AArch64: implement
|
return dmd.backend.arm.cod3.prolog_saveregs(cg, cdb, topush, cfa_offset);
|
||||||
|
|
||||||
|
//printf("prolog_saveregs() topush: %s pushoffuse: %d\n", regm_str(topush), cg.pushoffuse);
|
||||||
if (cg.pushoffuse)
|
if (cg.pushoffuse)
|
||||||
{
|
{
|
||||||
// Save to preallocated section in the stack frame
|
// Save to preallocated section in the stack frame
|
||||||
|
|
@ -3910,7 +3911,7 @@ void prolog_saveregs(ref CGstate cg, ref CodeBuilder cdb, regm_t topush, int cfa
|
||||||
private void epilog_restoreregs(ref CGstate cg, ref CodeBuilder cdb, regm_t topop)
|
private void epilog_restoreregs(ref CGstate cg, ref CodeBuilder cdb, regm_t topop)
|
||||||
{
|
{
|
||||||
//printf("epilog_restoreregs() topop: %s pushoffuse: %d\n", regm_str(topop), cg.pushoffuse);
|
//printf("epilog_restoreregs() topop: %s pushoffuse: %d\n", regm_str(topop), cg.pushoffuse);
|
||||||
if (cg.AArch64) return; // TODO AArch64: implement
|
assert(!cg.AArch64);
|
||||||
|
|
||||||
debug
|
debug
|
||||||
if (topop & ~(XMMREGS | 0xFFFF))
|
if (topop & ~(XMMREGS | 0xFFFF))
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue