123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650 |
- #include "l.h"
- void
- noops(void)
- {
- Prog *p, *p1, *q, *q1;
- int o, curframe, curbecome, maxbecome;
- /*
- * find leaf subroutines
- * become sizes
- * frame sizes
- * strip NOPs
- * expand RET
- * expand BECOME pseudo
- */
- if(debug['v'])
- Bprint(&bso, "%5.2f noops\n", cputime());
- Bflush(&bso);
- curframe = 0;
- curbecome = 0;
- maxbecome = 0;
- curtext = 0;
- q = P;
- for(p = firstp; p != P; p = p->link) {
- /* find out how much arg space is used in this TEXT */
- if(p->to.type == D_OREG && p->to.reg == REGSP)
- if(p->to.offset > curframe)
- curframe = p->to.offset;
- switch(p->as) {
- /* too hard, just leave alone */
- case ATEXT:
- if(curtext && curtext->from.sym) {
- curtext->from.sym->frame = curframe;
- curtext->from.sym->become = curbecome;
- if(curbecome > maxbecome)
- maxbecome = curbecome;
- }
- curframe = 0;
- curbecome = 0;
- q = p;
- p->mark |= LABEL|LEAF|SYNC;
- if(p->link)
- p->link->mark |= LABEL;
- curtext = p;
- break;
- case AORN:
- q = p;
- if(p->to.type == D_REG)
- if(p->to.reg == REGZERO)
- p->mark |= LABEL|SYNC;
- break;
- case AUNIMP:
- case ATAS:
- case ASWAP:
- case ATA:
- case ATCC:
- case ATCS:
- case ATE:
- case ATG:
- case ATGE:
- case ATGU:
- case ATL:
- case ATLE:
- case ATLEU:
- case ATN:
- case ATNE:
- case ATNEG:
- case ATPOS:
- case ATVC:
- case ATVS:
- case AWORD:
- q = p;
- p->mark |= LABEL|SYNC;
- continue;
- case AFABSD:
- case AFABSF:
- case AFABSX:
- case AFADDD:
- case AFADDF:
- case AFADDX:
- case AFDIVD:
- case AFDIVF:
- case AFDIVX:
- case AFMOVD:
- case AFMOVDF:
- case AFMOVDW:
- case AFMOVDX:
- case AFMOVF:
- case AFMOVFD:
- case AFMOVFW:
- case AFMOVFX:
- case AFMOVWD:
- case AFMOVWF:
- case AFMOVWX:
- case AFMOVX:
- case AFMOVXD:
- case AFMOVXF:
- case AFMOVXW:
- case AFMULD:
- case AFMULF:
- case AFMULX:
- case AFNEGD:
- case AFNEGF:
- case AFNEGX:
- case AFSQRTD:
- case AFSQRTF:
- case AFSQRTX:
- case AFSUBD:
- case AFSUBF:
- case AFSUBX:
- q = p;
- p->mark |= FLOAT;
- continue;
- case AMUL:
- case ADIV:
- case ADIVL:
- case AMOD:
- case AMODL:
- q = p;
- if(!debug['M']) {
- if(prog_mul == P)
- initmuldiv();
- if(curtext != P)
- curtext->mark &= ~LEAF;
- }
- continue;
- case AJMPL:
- if(curtext != P)
- curtext->mark &= ~LEAF;
- case AJMP:
- case ABA:
- case ABN:
- case ABE:
- case ABNE:
- case ABLE:
- case ABG:
- case ABL:
- case ABGE:
- case ABLEU:
- case ABGU:
- case ABCS:
- case ABCC:
- case ABNEG:
- case ABPOS:
- case ABVC:
- case ABVS:
- case AFBN:
- case AFBO:
- case AFBE:
- case AFBLG:
- case AFBG:
- case AFBLE:
- case AFBGE:
- case AFBL:
- case AFBNE:
- case AFBUE:
- case AFBA:
- case AFBU:
- case AFBUG:
- case AFBULE:
- case AFBUGE:
- case AFBUL:
- p->mark |= BRANCH;
- q = p;
- q1 = p->cond;
- if(q1 != P) {
- while(q1->as == ANOP) {
- q1 = q1->link;
- p->cond = q1;
- }
- if(!(q1->mark & LEAF))
- q1->mark |= LABEL;
- } else
- p->mark |= LABEL;
- q1 = p->link;
- if(q1 != P)
- q1->mark |= LABEL;
- continue;
- case AFCMPD:
- case AFCMPED:
- case AFCMPEF:
- case AFCMPEX:
- case AFCMPF:
- case AFCMPX:
- q = p;
- p->mark |= FCMP|FLOAT;
- continue;
- case ARETURN:
- /* special form of RETURN is BECOME */
- if(p->from.type == D_CONST)
- if(p->from.offset > curbecome)
- curbecome = p->from.offset;
- q = p;
- if(p->link != P)
- p->link->mark |= LABEL;
- continue;
- case ANOP:
- q1 = p->link;
- q->link = q1; /* q is non-nop */
- q1->mark |= p->mark;
- continue;
- default:
- q = p;
- continue;
- }
- }
- if(curtext && curtext->from.sym) {
- curtext->from.sym->frame = curframe;
- curtext->from.sym->become = curbecome;
- if(curbecome > maxbecome)
- maxbecome = curbecome;
- }
- if(debug['b'])
- print("max become = %d\n", maxbecome);
- xdefine("ALEFbecome", STEXT, maxbecome);
- curtext = 0;
- for(p = firstp; p != P; p = p->link) {
- switch(p->as) {
- case ATEXT:
- curtext = p;
- break;
- case AJMPL:
- if(curtext != P && curtext->from.sym != S && curtext->to.offset >= 0) {
- o = maxbecome - curtext->from.sym->frame;
- if(o <= 0)
- break;
- /* calling a become or calling a variable */
- if(p->to.sym == S || p->to.sym->become) {
- curtext->to.offset += o;
- if(debug['b']) {
- curp = p;
- print("%D calling %D increase %d\n",
- &curtext->from, &p->to, o);
- }
- }
- }
- break;
- }
- }
- curtext = P;
- for(p = firstp; p != P; p = p->link) {
- o = p->as;
- switch(o) {
- case ATEXT:
- curtext = p;
- autosize = p->to.offset + 4;
- if((p->mark & LEAF) && autosize <= 4)
- autosize = 0;
- else
- if(autosize & 4)
- autosize += 4;
- p->to.offset = autosize - 4;
- q = p;
- if(autosize) {
- q = prg();
- q->as = ASUB;
- q->line = p->line;
- q->from.type = D_CONST;
- q->from.offset = autosize;
- q->to.type = D_REG;
- q->to.reg = REGSP;
- q->link = p->link;
- p->link = q;
- } else
- if(!(curtext->mark & LEAF)) {
- if(debug['v'])
- Bprint(&bso, "save suppressed in: %s\n",
- curtext->from.sym->name);
- curtext->mark |= LEAF;
- }
- if(curtext->mark & LEAF) {
- if(curtext->from.sym)
- curtext->from.sym->type = SLEAF;
- break;
- }
- q1 = prg();
- q1->as = AMOVW;
- q1->line = p->line;
- q1->from.type = D_REG;
- q1->from.reg = REGLINK;
- q1->to.type = D_OREG;
- q1->from.offset = 0;
- q1->to.reg = REGSP;
- q1->link = q->link;
- q->link = q1;
- break;
- case AMUL:
- case ADIV:
- case ADIVL:
- case AMOD:
- case AMODL:
- if(debug['M'])
- break;
- if(p->from.type != D_REG)
- break;
- if(p->to.type != D_REG)
- break;
- q1 = p;
- /* MOV a,4(SP) */
- q = prg();
- q->link = p->link;
- p->link = q;
- p = q;
- p->as = AMOVW;
- p->line = q1->line;
- p->from.type = D_REG;
- p->from.reg = q1->from.reg;
- p->to.type = D_OREG;
- p->to.reg = REGSP;
- p->to.offset = 4;
- /* MOV b,REGTMP */
- q = prg();
- q->link = p->link;
- p->link = q;
- p = q;
- p->as = AMOVW;
- p->line = q1->line;
- p->from.type = D_REG;
- p->from.reg = q1->reg;
- if(q1->reg == NREG)
- p->from.reg = q1->to.reg;
- p->to.type = D_REG;
- p->to.reg = REGTMP;
- p->to.offset = 0;
- /* CALL appropriate */
- q = prg();
- q->link = p->link;
- p->link = q;
- p = q;
- p->as = AJMPL;
- p->line = q1->line;
- p->to.type = D_BRANCH;
- p->cond = p;
- p->mark |= BRANCH;
- switch(o) {
- case AMUL:
- p->cond = prog_mul;
- break;
- case ADIV:
- p->cond = prog_div;
- break;
- case ADIVL:
- p->cond = prog_divl;
- break;
- case AMOD:
- p->cond = prog_mod;
- break;
- case AMODL:
- p->cond = prog_modl;
- break;
- }
- /* MOV REGTMP, b */
- q = prg();
- q->link = p->link;
- p->link = q;
- p = q;
- p->as = AMOVW;
- p->line = q1->line;
- p->from.type = D_REG;
- p->from.reg = REGTMP;
- p->from.offset = 0;
- p->to.type = D_REG;
- p->to.reg = q1->to.reg;
- /* ADD $8,SP */
- q = prg();
- q->link = p->link;
- p->link = q;
- p = q;
- p->as = AADD;
- p->from.type = D_CONST;
- p->from.reg = NREG;
- p->from.offset = 8;
- p->reg = NREG;
- p->to.type = D_REG;
- p->to.reg = REGSP;
- /* SUB $8,SP */
- q1->as = ASUB;
- q1->from.type = D_CONST;
- q1->from.offset = 8;
- q1->from.reg = NREG;
- q1->reg = NREG;
- q1->to.type = D_REG;
- q1->to.reg = REGSP;
- break;
- case ARETURN:
- if(p->from.type == D_CONST)
- goto become;
- if(curtext->mark & LEAF) {
- if(!autosize) {
- p->as = AJMP;
- p->from = zprg.from;
- p->to.type = D_OREG;
- p->to.offset = 8;
- p->to.reg = REGLINK;
- p->mark |= BRANCH;
- break;
- }
- p->as = AADD;
- p->from.type = D_CONST;
- p->from.offset = autosize;
- p->to.type = D_REG;
- p->to.reg = REGSP;
- q = prg();
- q->as = AJMP;
- q->line = p->line;
- q->to.type = D_OREG;
- q->to.offset = 8;
- q->to.reg = REGLINK;
- q->mark |= BRANCH;
- q->link = p->link;
- p->link = q;
- break;
- }
- p->as = AMOVW;
- p->from.type = D_OREG;
- p->from.offset = 0;
- p->from.reg = REGSP;
- p->to.type = D_REG;
- p->to.reg = REGRET+1;
- q = p;
- if(autosize) {
- q = prg();
- q->as = AADD;
- q->line = p->line;
- q->from.type = D_CONST;
- q->from.offset = autosize;
- q->to.type = D_REG;
- q->to.reg = REGSP;
- q->link = p->link;
- p->link = q;
- }
- q1 = prg();
- q1->as = AJMP;
- q1->line = p->line;
- q1->to.type = D_OREG;
- q1->to.offset = 8;
- q1->to.reg = REGRET+1;
- q1->mark |= BRANCH;
- q1->link = q->link;
- q->link = q1;
- break;
- become:
- if(curtext->mark & LEAF) {
- q = prg();
- q->line = p->line;
- q->as = AJMP;
- q->from = zprg.from;
- q->to = p->to;
- q->cond = p->cond;
- q->link = p->link;
- q->mark |= BRANCH;
- p->link = q;
- p->as = AADD;
- p->from = zprg.from;
- p->from.type = D_CONST;
- p->from.offset = autosize;
- p->to = zprg.to;
- p->to.type = D_REG;
- p->to.reg = REGSP;
- break;
- }
- q = prg();
- q->line = p->line;
- q->as = AJMP;
- q->from = zprg.from;
- q->to = p->to;
- q->cond = p->cond;
- q->mark |= BRANCH;
- q->link = p->link;
- p->link = q;
- q = prg();
- q->line = p->line;
- q->as = AADD;
- q->from.type = D_CONST;
- q->from.offset = autosize;
- q->to.type = D_REG;
- q->to.reg = REGSP;
- q->link = p->link;
- p->link = q;
- p->as = AMOVW;
- p->from = zprg.from;
- p->from.type = D_OREG;
- p->from.offset = 0;
- p->from.reg = REGSP;
- p->to = zprg.to;
- p->to.type = D_REG;
- p->to.reg = REGLINK;
- break;
- }
- }
- curtext = P;
- q = P; /* p - 1 */
- q1 = firstp; /* top of block */
- o = 0; /* count of instructions */
- for(p = firstp; p != P; p = p1) {
- p1 = p->link;
- o++;
- if(p->mark & NOSCHED){
- if(q1 != p){
- sched(q1, q);
- }
- for(; p != P; p = p->link){
- if(!(p->mark & NOSCHED))
- break;
- q = p;
- }
- p1 = p;
- q1 = p;
- o = 0;
- continue;
- }
- if(p->mark & (LABEL|SYNC)) {
- if(q1 != p)
- sched(q1, q);
- q1 = p;
- o = 1;
- }
- if(p->mark & (BRANCH|SYNC)) {
- sched(q1, p);
- q1 = p1;
- o = 0;
- }
- if(o >= NSCHED) {
- sched(q1, p);
- q1 = p1;
- o = 0;
- }
- q = p;
- }
- }
- void
- addnop(Prog *p)
- {
- Prog *q;
- q = prg();
- q->as = AORN;
- q->line = p->line;
- q->from.type = D_REG;
- q->from.reg = REGZERO;
- q->to.type = D_REG;
- q->to.reg = REGZERO;
- q->link = p->link;
- p->link = q;
- }
- void
- initmuldiv(void)
- {
- Sym *s1, *s2, *s3, *s4, *s5;
- Prog *p;
- s1 = lookup("_mul", 0);
- s2 = lookup("_div", 0);
- s3 = lookup("_divl", 0);
- s4 = lookup("_mod", 0);
- s5 = lookup("_modl", 0);
- for(p = firstp; p != P; p = p->link)
- if(p->as == ATEXT) {
- if(p->from.sym == s1)
- prog_mul = p;
- if(p->from.sym == s2)
- prog_div = p;
- if(p->from.sym == s3)
- prog_divl = p;
- if(p->from.sym == s4)
- prog_mod = p;
- if(p->from.sym == s5)
- prog_modl = p;
- }
- if(prog_mul == P) {
- diag("undefined: %s", s1->name);
- prog_mul = curtext;
- }
- if(prog_div == P) {
- diag("undefined: %s", s2->name);
- prog_div = curtext;
- }
- if(prog_divl == P) {
- diag("undefined: %s", s3->name);
- prog_divl = curtext;
- }
- if(prog_mod == P) {
- diag("undefined: %s", s4->name);
- prog_mod = curtext;
- }
- if(prog_modl == P) {
- diag("undefined: %s", s5->name);
- prog_modl = curtext;
- }
- }
|