123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513 |
- #include "l.h"
- void
- noops(void)
- {
- Prog *p, *p1, *q, *q1;
- int o, mov, aoffset, 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 ANOR:
- q = p;
- if(p->to.type == D_REG)
- if(p->to.reg == REGZERO)
- p->mark |= LABEL|SYNC;
- break;
- case ALWAR:
- case ASTWCCC:
- case AECIWX:
- case AECOWX:
- case AEIEIO:
- case AICBI:
- case AISYNC:
- case ATLBIE:
- case ADCBF:
- case ADCBI:
- case ADCBST:
- case ADCBT:
- case ADCBTST:
- case ADCBZ:
- case ASYNC:
- case ATW:
- case AWORD:
- case ARFI:
- case ARFCI:
- q = p;
- p->mark |= LABEL|SYNC;
- continue;
- case AMOVW:
- q = p;
- switch(p->from.type) {
- case D_MSR:
- case D_SREG:
- case D_SPR:
- case D_FPSCR:
- case D_CREG:
- case D_DCR:
- p->mark |= LABEL|SYNC;
- }
- switch(p->to.type) {
- case D_MSR:
- case D_SREG:
- case D_SPR:
- case D_FPSCR:
- case D_CREG:
- case D_DCR:
- p->mark |= LABEL|SYNC;
- }
- continue;
- case AFABS:
- case AFABSCC:
- case AFADD:
- case AFADDCC:
- case AFCTIW:
- case AFCTIWCC:
- case AFCTIWZ:
- case AFCTIWZCC:
- case AFDIV:
- case AFDIVCC:
- case AFMADD:
- case AFMADDCC:
- case AFMOVD:
- case AFMOVDU:
- /* case AFMOVDS: */
- case AFMOVS:
- case AFMOVSU:
- /* case AFMOVSD: */
- case AFMSUB:
- case AFMSUBCC:
- case AFMUL:
- case AFMULCC:
- case AFNABS:
- case AFNABSCC:
- case AFNEG:
- case AFNEGCC:
- case AFNMADD:
- case AFNMADDCC:
- case AFNMSUB:
- case AFNMSUBCC:
- case AFRSP:
- case AFRSPCC:
- case AFSUB:
- case AFSUBCC:
- q = p;
- p->mark |= FLOAT;
- continue;
- case ABL:
- case ABCL:
- if(curtext != P)
- curtext->mark &= ~LEAF;
- case ABC:
- case ABEQ:
- case ABGE:
- case ABGT:
- case ABLE:
- case ABLT:
- case ABNE:
- case ABR:
- case ABVC:
- case ABVS:
- 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 AFCMPO:
- case AFCMPU:
- 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 ABL: /* ABCL? */
- 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:
- mov = AMOVW;
- aoffset = 0;
- 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) {
- /* use MOVWU to adjust R1 when saving R31, if autosize is small */
- if(!(curtext->mark & LEAF) && autosize >= -BIG && autosize <= BIG) {
- mov = AMOVWU;
- aoffset = -autosize;
- } else {
- 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;
- }
- } 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 = mov;
- q1->line = p->line;
- q1->from.type = D_REG;
- q1->from.reg = REGTMP;
- q1->to.type = D_OREG;
- q1->to.offset = aoffset;
- q1->to.reg = REGSP;
- q1->link = q->link;
- q->link = q1;
- q1 = prg();
- q1->as = AMOVW;
- q1->line = p->line;
- q1->from.type = D_SPR;
- q1->from.offset = D_LR;
- q1->to.type = D_REG;
- q1->to.reg = REGTMP;
- q1->link = q->link;
- q->link = q1;
- break;
- case ARETURN:
- if(p->from.type == D_CONST)
- goto become;
- if(curtext->mark & LEAF) {
- if(!autosize) {
- p->as = ABR;
- p->from = zprg.from;
- p->to.type = D_SPR;
- p->to.offset = D_LR;
- 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 = ABR;
- q->line = p->line;
- q->to.type = D_SPR;
- q->to.offset = D_LR;
- 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 = REGTMP;
- q = prg();
- q->as = AMOVW;
- q->line = p->line;
- q->from.type = D_REG;
- q->from.reg = REGTMP;
- q->to.type = D_SPR;
- q->to.offset = D_LR;
- q->link = p->link;
- p->link = q;
- p = q;
- 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 = ABR;
- q1->line = p->line;
- q1->to.type = D_SPR;
- q1->to.offset = D_LR;
- q1->mark |= BRANCH;
- q1->link = q->link;
- q->link = q1;
- break;
- become:
- if(curtext->mark & LEAF) {
- q = prg();
- q->line = p->line;
- q->as = ABR;
- 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 = ABR;
- 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;
- q = prg();
- q->line = p->line;
- q->as = AMOVW;
- q->line = p->line;
- q->from.type = D_REG;
- q->from.reg = REGTMP;
- q->to.type = D_SPR;
- q->to.offset = D_LR;
- 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 = REGTMP;
- break;
- }
- }
- if(debug['Q'] == 0)
- return;
- 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 = ANOR;
- 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;
- }
|