📄 sparc.md
字号:
}
else if (p->addressed || varargs) {
p->x.offset = offset;
p->x.name = stringd(p->x.offset);
p->sclass = AUTO;
q->sclass = REGISTER;
askregvar(q, ireg[reg]);
assert(q->x.regnode);
autos++;
}
else {
p->sclass = q->sclass = REGISTER;
askregvar(p, ireg[reg]);
assert(p->x.regnode);
q->x.name = p->x.name;
}
offset += size;
reg += isstruct(p->type) ? 1 : size/4;
}
assert(caller[i] == 0);
offset = maxoffset = 0;
retstruct = isstruct(freturn(f->type));
gencode(caller, callee);
maxargoffset = roundup(maxargoffset, 4);
framesize = roundup(maxoffset + maxargoffset + 4*(16+1), 8);
assert(!varargs || autos);
leaf = (!ncalls
&& !maxoffset && !autos && !regvars
&& !isstruct(freturn(f->type))
&& !(usedmask[IREG]&0x00ffff01)
&& !(usedmask[FREG]&~(unsigned)3)
&& !pflag && !glevel);
print(".align 4\n%s:\n", f->x.name);
if (leaf) {
for (i = 0; caller[i] && callee[i]; i++) {
Symbol p = caller[i], q = callee[i];
if (p->sclass == REGISTER && q->sclass == REGISTER) {
assert(q->x.regnode);
assert(q->x.regnode->set == IREG);
assert(q->x.regnode->number >= 24);
assert(q->x.regnode->number <= 31);
p->x.name = greg[q->x.regnode->number - 16]->x.name;
}
}
renameregs();
} else if (framesize <= 4095)
print("save %%sp,%d,%%sp\n", -framesize);
else
print("set %d,%%g1; save %%sp,%%g1,%%sp\n", -framesize);
if (varargs)
for (; reg < 6; reg++)
print("st %%i%d,[%%fp+%d]\n", reg, 4*reg + 68);
else {
offset = 4*(16 + 1);
reg = 0;
for (i = 0; caller[i]; i++) {
Symbol p = caller[i];
if (isfloat(p->type) && p->type->size == 8 && reg <= 4) {
print("st %%r%d,[%%fp+%d]\n",
ireg[reg++]->x.regnode->number, offset);
print("st %%r%d,[%%fp+%d]\n",
ireg[reg++]->x.regnode->number, offset + 4);
} else if (isfloat(p->type) && p->type->size == 4 && reg <= 5)
print("st %%r%d,[%%fp+%d]\n",
ireg[reg++]->x.regnode->number, offset);
else
reg++;
offset += roundup(p->type->size, 4);
}
}
if (pflag) {
int lab = genlabel(1);
print("set L%d,%%o0; call mcount; nop\n", lab);
print(".seg \"data\"\n.align 4; L%d:.word 0\n.seg \"text\"\n", lab);
}
emitcode();
if (isstruct(freturn(f->type)))
print("jmp %%i7+12; restore\n");
else if (!leaf)
print("ret; restore\n");
else {
renameregs();
print("retl; nop\n");
}
if (IR == &solarisIR) {
print(".type %s,#function\n", f->x.name);
print(".size %s,.-%s\n", f->x.name, f->x.name);
}
}
#define exch(x, y, t) (((t) = x), ((x) = (y)), ((y) = (t)))
static void renameregs(void) {
int i;
for (i = 0; i < 8; i++) {
char *ptmp;
int itmp;
if (ireg[i]->x.regnode->vbl)
ireg[i]->x.regnode->vbl->x.name = oreg[i]->x.name;
exch(ireg[i]->x.name, oreg[i]->x.name, ptmp);
exch(ireg[i]->x.regnode->number,
oreg[i]->x.regnode->number, itmp);
}
}
static void defconst(int suffix, int size, Value v) {
if (suffix == F && size == 4) {
float f = v.d;
print(".word 0x%x\n", *(unsigned *)&f);
} else if (suffix == F && size == 8) {
double d = v.d;
unsigned *p = (unsigned *)&d;
print(".word 0x%x\n.word 0x%x\n", p[swap], p[!swap]);
} else if (suffix == P)
print(".word 0x%x\n", (unsigned)v.p);
else if (size == 1)
print(".byte 0x%x\n", (unsigned)((unsigned char)(suffix == I ? v.i : v.u)));
else if (size == 2)
print(".half 0x%x\n", (unsigned)((unsigned short)(suffix == I ? v.i : v.u)));
else if (size == 4)
print(".word 0x%x\n", (unsigned)(suffix == I ? v.i : v.u));
else assert(0);
}
static void defaddress(Symbol p) {
print(".word %s\n", p->x.name);
}
static void defstring(int n, char *str) {
char *s;
for (s = str; s < str + n; s++)
print(".byte %d\n", (*s)&0377);
}
static void address(Symbol q, Symbol p, long n) {
if (p->scope == GLOBAL || p->sclass == STATIC || p->sclass == EXTERN)
q->x.name = stringf("%s%s%D", p->x.name, n >= 0 ? "+" : "", n);
else {
assert(n <= INT_MAX && n >= INT_MIN);
q->x.offset = p->x.offset + n;
q->x.name = stringd(q->x.offset);
}
}
static void export(Symbol p) {
print(".global %s\n", p->x.name);
}
static void import(Symbol p) {}
static void defsymbol(Symbol p) {
if (p->scope >= LOCAL && p->sclass == STATIC)
p->x.name = stringf("%d", genlabel(1));
else
assert(p->scope != CONSTANTS || isint(p->type) || isptr(p->type)),
p->x.name = p->name;
if (p->scope >= LABELS)
p->x.name = stringf(p->generated ? "L%s" : "_%s",
p->x.name);
}
static void segment(int n) {
cseg = n;
switch (n) {
case CODE: print(".seg \"text\"\n"); break;
case BSS: print(".seg \"bss\"\n"); break;
case DATA: print(".seg \"data\"\n"); break;
case LIT: print(".seg \"text\"\n"); break;
}
}
static void space(int n) {
if (cseg != BSS)
print(".skip %d\n", n);
}
static void global(Symbol p) {
print(".align %d\n", p->type->align);
assert(p->u.seg);
if (p->u.seg == BSS
&& (p->sclass == STATIC || Aflag >= 2))
print(".reserve %s,%d\n", p->x.name, p->type->size);
else if (p->u.seg == BSS)
print(".common %s,%d\n", p->x.name, p->type->size);
else
print("%s:\n", p->x.name);
}
static void blkfetch(int k, int off, int reg, int tmp) {
assert(k == 1 || k == 2 || k == 4);
assert(salign >= k);
if (k == 1)
print("ldub [%%r%d+%d],%%r%d\n", reg, off, tmp);
else if (k == 2)
print("lduh [%%r%d+%d],%%r%d\n", reg, off, tmp);
else
print("ld [%%r%d+%d],%%r%d\n", reg, off, tmp);
}
static void blkstore(int k, int off, int reg, int tmp) {
assert(k == 1 || k == 2 || k == 4);
assert(dalign >= k);
if (k == 1)
print("stb %%r%d,[%%r%d+%d]\n", tmp, reg, off);
else if (k == 2)
print("sth %%r%d,[%%r%d+%d]\n", tmp, reg, off);
else
print("st %%r%d,[%%r%d+%d]\n", tmp, reg, off);
}
static void blkloop(int dreg, int doff, int sreg, int soff, int size, int tmps[]) {
if ((size&~7) < 4096) {
print("add %%r%d,%d,%%r%d\n", sreg, size&~7, sreg);
print("add %%r%d,%d,%%r%d\n", dreg, size&~7, tmps[2]);
} else {
print("set %d,%%r%d\n", size&~7, tmps[2]);
print("add %%r%d,%%r%d,%%r%d\n", sreg, tmps[2], sreg);
print("add %%r%d,%%r%d,%%r%d\n", dreg, tmps[2], tmps[2]);
}
blkcopy(tmps[2], doff, sreg, soff, size&7, tmps);
print("1: dec 8,%%r%d\n", tmps[2]);
blkcopy(tmps[2], doff, sreg, soff - 8, 8, tmps);
print("cmp %%r%d,%%r%d; ", tmps[2], dreg);
print("bgt 1b; ");
print("dec 8,%%r%d\n", sreg);
}
static void defsymbol2(Symbol p) {
if (p->scope >= LOCAL && p->sclass == STATIC)
p->x.name = stringf(".%d", genlabel(1));
else
assert(p->scope != CONSTANTS || isint(p->type) || isptr(p->type)),
p->x.name = p->name;
if (p->scope >= LABELS)
p->x.name = stringf(p->generated ? ".L%s" : "%s",
p->x.name);
}
static Symbol prevg;
static void globalend(void) {
if (prevg && prevg->type->size > 0)
print(".size %s,%d\n", prevg->x.name, prevg->type->size);
prevg = NULL;
}
static void export2(Symbol p) {
globalend();
print(".global %s\n", p->x.name);
}
static void progend2(void) {
globalend();
}
static void global2(Symbol p) {
globalend();
assert(p->u.seg);
if (!p->generated) {
print(".type %s,#%s\n", p->x.name,
isfunc(p->type) ? "function" : "object");
if (p->type->size > 0)
print(".size %s,%d\n", p->x.name, p->type->size);
else
prevg = p;
}
if (p->u.seg == BSS && p->sclass == STATIC)
print(".local %s\n.common %s,%d,%d\n", p->x.name, p->x.name,
p->type->size, p->type->align);
else if (p->u.seg == BSS && Aflag >= 2)
print(".align %d\n%s:.skip %d\n", p->type->align, p->x.name,
p->type->size);
else if (p->u.seg == BSS)
print(".common %s,%d,%d\n", p->x.name, p->type->size, p->type->align);
else
print(".align %d\n%s:\n", p->type->align, p->x.name);
}
static void segment2(int n) {
cseg = n;
switch (n) {
case CODE: print(".section \".text\"\n"); break;
case BSS: print(".section \".bss\"\n"); break;
case DATA: print(".section \".data\"\n"); break;
case LIT: print(".section \".rodata\"\n"); break;
}
}
Interface sparcIR = {
1, 1, 0, /* char */
2, 2, 0, /* short */
4, 4, 0, /* int */
4, 4, 0, /* long */
4, 4, 0, /* long long */
4, 4, 1, /* float */
8, 8, 1, /* double */
8, 8, 1, /* long double */
4, 4, 0, /* T * */
0, 1, 0, /* struct */
0, /* little_endian */
0, /* mulops_calls */
1, /* wants_callb */
0, /* wants_argb */
1, /* left_to_right */
0, /* wants_dag */
0, /* unsigned_char */
address,
blockbeg,
blockend,
defaddress,
defconst,
defstring,
defsymbol,
emit,
export,
function,
gen,
global,
import,
local,
progbeg,
progend,
segment,
space,
stabblock, 0, 0, stabinit, stabline, stabsym, stabtype,
{
1, /* max_unaligned_load */
rmap,
blkfetch, blkstore, blkloop,
_label,
_rule,
_nts,
_kids,
_string,
_templates,
_isinstruction,
_ntname,
emit2,
doarg,
target,
clobber,
}
};
Interface solarisIR = {
1, 1, 0, /* char */
2, 2, 0, /* short */
4, 4, 0, /* int */
4, 4, 0, /* long */
4, 4, 0, /* long long */
4, 4, 1, /* float */
8, 8, 1, /* double */
8, 8, 1, /* long double */
4, 4, 0, /* T * */
0, 1, 0, /* struct */
0, /* little_endian */
0, /* mulops_calls */
1, /* wants_callb */
0, /* wants_argb */
1, /* left_to_right */
0, /* wants_dag */
0, /* unsigned_char */
address,
blockbeg,
blockend,
defaddress,
defconst,
defstring,
defsymbol2,
emit,
export2,
function,
gen,
global2,
import,
local,
progbeg,
progend2,
segment2,
space,
stabblock, 0, 0, stabinit, stabline, stabsym, stabtype,
{
1, /* max_unaligned_load */
rmap,
blkfetch, blkstore, blkloop,
_label,
_rule,
_nts,
_kids,
_string,
_templates,
_isinstruction,
_ntname,
emit2,
doarg,
target,
clobber,
}
};
static char rcsid[] = "$Id: sparc.md,v 1.1 2002/08/28 23:12:46 drh Exp $";
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -