117742Sralph # ifndef lint 2*32941Sdonn static char *sccsid ="@(#)local2.c 1.35 (Berkeley) 12/11/87"; 317742Sralph # endif 417742Sralph 518556Sralph # include "pass2.h" 632935Sdonn # include <ctype.h> 732935Sdonn 832935Sdonn # define putstr(s) fputs((s), stdout) 932935Sdonn 109702Slinton # ifdef FORT 119702Slinton int ftlab1, ftlab2; 129702Slinton # endif 139702Slinton /* a lot of the machine dependent parts of the second pass */ 149702Slinton 159702Slinton # define BITMASK(n) ((1L<<n)-1) 169702Slinton 1732924Sdonn /*ARGSUSED*/ 189702Slinton where(c){ 199702Slinton fprintf( stderr, "%s, line %d: ", filename, lineno ); 209702Slinton } 219702Slinton 229702Slinton lineid( l, fn ) char *fn; { 239702Slinton /* identify line l and file fn */ 249702Slinton printf( "# line %d, file %s\n", l, fn ); 259702Slinton } 269702Slinton 279702Slinton 289702Slinton eobl2(){ 2932935Sdonn register OFFSZ spoff; /* offset from stack pointer */ 3032935Sdonn #ifndef FORT 3132935Sdonn extern int ftlab1, ftlab2; 3232935Sdonn #endif 3332935Sdonn 349702Slinton spoff = maxoff; 359702Slinton if( spoff >= AUTOINIT ) spoff -= AUTOINIT; 369702Slinton spoff /= SZCHAR; 379702Slinton SETOFF(spoff,4); 3832935Sdonn #ifdef FORT 399702Slinton #ifndef FLEXNAMES 409702Slinton printf( " .set .F%d,%ld\n", ftnno, spoff ); 419702Slinton #else 429702Slinton /* SHOULD BE L%d ... ftnno but must change pc/f77 */ 439702Slinton printf( " .set LF%d,%ld\n", ftnno, spoff ); 449702Slinton #endif 459702Slinton #else 469702Slinton printf( "L%d:\n", ftlab1); 479702Slinton if( spoff!=0 ) 489702Slinton if( spoff < 64 ) 499702Slinton printf( " subl2 $%ld,sp\n", spoff); 509702Slinton else 519702Slinton printf( " movab -%ld(sp),sp\n", spoff); 529702Slinton printf( " jbr L%d\n", ftlab2); 539702Slinton #endif 549702Slinton maxargs = -1; 559702Slinton } 569702Slinton 579702Slinton struct hoptab { int opmask; char * opstring; } ioptab[] = { 589702Slinton 599702Slinton PLUS, "add", 609702Slinton MINUS, "sub", 619702Slinton MUL, "mul", 629702Slinton DIV, "div", 639702Slinton OR, "bis", 649702Slinton ER, "xor", 659702Slinton AND, "bic", 669702Slinton -1, "" }; 679702Slinton 689702Slinton hopcode( f, o ){ 699702Slinton /* output the appropriate string from the above table */ 709702Slinton 719702Slinton register struct hoptab *q; 729702Slinton 7332935Sdonn if(asgop(o)) 7432935Sdonn o = NOASG o; 759702Slinton for( q = ioptab; q->opmask>=0; ++q ){ 769702Slinton if( q->opmask == o ){ 7732935Sdonn printf( "%s%c", q->opstring, tolower(f)); 789702Slinton return; 799702Slinton } 809702Slinton } 819702Slinton cerror( "no hoptab for %s", opst[o] ); 829702Slinton } 839702Slinton 849702Slinton char * 859702Slinton rnames[] = { /* keyed to register number tokens */ 869702Slinton 879702Slinton "r0", "r1", 889702Slinton "r2", "r3", "r4", "r5", 899702Slinton "r6", "r7", "r8", "r9", "r10", "r11", 909702Slinton "ap", "fp", "sp", "pc", 919702Slinton }; 929702Slinton 939702Slinton int rstatus[] = { 949702Slinton SAREG|STAREG, SAREG|STAREG, 959702Slinton SAREG|STAREG, SAREG|STAREG, SAREG|STAREG, SAREG|STAREG, 969702Slinton SAREG, SAREG, SAREG, SAREG, SAREG, SAREG, 979702Slinton SAREG, SAREG, SAREG, SAREG, 989702Slinton }; 999702Slinton 1009702Slinton tlen(p) NODE *p; 1019702Slinton { 1029702Slinton switch(p->in.type) { 1039702Slinton case CHAR: 1049702Slinton case UCHAR: 1059702Slinton return(1); 1069702Slinton 1079702Slinton case SHORT: 1089702Slinton case USHORT: 10932937Sdonn return(SZSHORT/SZCHAR); 1109702Slinton 1119702Slinton case DOUBLE: 11232937Sdonn return(SZDOUBLE/SZCHAR); 1139702Slinton 1149702Slinton default: 11532937Sdonn return(SZINT/SZCHAR); 1169702Slinton } 1179702Slinton } 1189702Slinton 1199702Slinton mixtypes(p, q) NODE *p, *q; 1209702Slinton { 12116181Sralph register TWORD tp, tq; 1229702Slinton 1239702Slinton tp = p->in.type; 1249702Slinton tq = q->in.type; 1259702Slinton 1269702Slinton return( (tp==FLOAT || tp==DOUBLE) != 1279702Slinton (tq==FLOAT || tq==DOUBLE) ); 1289702Slinton } 1299702Slinton 1309702Slinton prtype(n) NODE *n; 1319702Slinton { 1329702Slinton switch (n->in.type) 1339702Slinton { 13432935Sdonn 1359702Slinton case DOUBLE: 13624418Smckusick putchar('d'); 1379702Slinton return; 1389702Slinton 1399702Slinton case FLOAT: 14024418Smckusick putchar('f'); 1419702Slinton return; 1429702Slinton 1439702Slinton case LONG: 1449702Slinton case ULONG: 1459702Slinton case INT: 1469702Slinton case UNSIGNED: 14724418Smckusick putchar('l'); 1489702Slinton return; 1499702Slinton 1509702Slinton case SHORT: 1519702Slinton case USHORT: 15224418Smckusick putchar('w'); 1539702Slinton return; 1549702Slinton 1559702Slinton case CHAR: 1569702Slinton case UCHAR: 15724418Smckusick putchar('b'); 1589702Slinton return; 1599702Slinton 1609702Slinton default: 1619702Slinton if ( !ISPTR( n->in.type ) ) cerror("zzzcode- bad type"); 1629702Slinton else { 16324418Smckusick putchar('l'); 1649702Slinton return; 1659702Slinton } 1669702Slinton } 1679702Slinton } 1689702Slinton 1699702Slinton zzzcode( p, c ) register NODE *p; { 17032935Sdonn register int m; 17132924Sdonn int val; 1729702Slinton switch( c ){ 1739702Slinton 1749702Slinton case 'N': /* logical ops, turned into 0-1 */ 1759702Slinton /* use register given by register 1 */ 1769702Slinton cbgen( 0, m=getlab(), 'I' ); 1779702Slinton deflab( p->bn.label ); 1789702Slinton printf( " clrl %s\n", rnames[getlr( p, '1' )->tn.rval] ); 1799702Slinton deflab( m ); 1809702Slinton return; 1819702Slinton 1829702Slinton case 'P': 1839702Slinton cbgen( p->in.op, p->bn.label, c ); 1849702Slinton return; 1859702Slinton 1869702Slinton case 'A': 18732935Sdonn case 'V': 18832935Sdonn sconv( p, c == 'V' ); 1899702Slinton return; 1909702Slinton 19125751Sdonn case 'G': /* i *= f; asgops with int lhs and float rhs */ 19225751Sdonn { 19325751Sdonn register NODE *l, *r, *s; 19425751Sdonn int rt; 19525751Sdonn 19625751Sdonn l = p->in.left; 19725751Sdonn r = p->in.right; 19825751Sdonn s = talloc(); 19925751Sdonn rt = r->in.type; 20025751Sdonn 20125751Sdonn s->in.op = SCONV; 20225751Sdonn s->in.left = l; 20325751Sdonn s->in.type = rt; 20425751Sdonn zzzcode(s, 'A'); 20525751Sdonn putstr("\n\t"); 20625751Sdonn 20725751Sdonn hopcode(rt == FLOAT ? 'F' : 'D', p->in.op); 20825751Sdonn putstr("2\t"); 20925751Sdonn adrput(r); 21025751Sdonn putchar(','); 21125751Sdonn adrput(resc); 21225751Sdonn putstr("\n\t"); 21325751Sdonn 21425751Sdonn s->in.op = ASSIGN; 21525751Sdonn s->in.left = l; 21625751Sdonn s->in.right = resc; 21725751Sdonn s->in.type = l->in.type; 21825751Sdonn zzzcode(s, 'A'); 21925751Sdonn 22025751Sdonn s->in.op = FREE; 22125751Sdonn return; 22225751Sdonn } 22325751Sdonn 22432928Sdonn case 'J': /* unsigned DIV/MOD with constant divisors */ 22532928Sdonn { 22632928Sdonn register int ck = INAREG; 22732928Sdonn int label1, label2; 22832928Sdonn 22932928Sdonn /* case constant <= 1 is handled by optim() in pass 1 */ 23032928Sdonn /* case constant < 0x80000000 is handled in table */ 23132928Sdonn switch( p->in.op ) { 23232938Sdonn /* case DIV: handled in optim2() */ 23332928Sdonn case MOD: 23432928Sdonn if( p->in.left->in.op == REG && 23532928Sdonn p->in.left->tn.rval == resc->tn.rval ) 23632928Sdonn goto asgmod; 23732928Sdonn label1 = getlab(); 23832928Sdonn expand(p, ck, "movl\tAL,A1\n\tcmpl\tA1,AR\n"); 23932928Sdonn printf("\tjlssu\tL%d\n", label1); 24032928Sdonn expand(p, ck, "\tsubl2\tAR,A1\n"); 24132928Sdonn printf("L%d:", label1); 24232928Sdonn break; 24332928Sdonn case ASG DIV: 24432928Sdonn label1 = getlab(); 24532928Sdonn label2 = getlab(); 24632928Sdonn expand(p, ck, "cmpl\tAL,AR\n"); 24732928Sdonn printf("\tjgequ\tL%d\n", label1); 24832928Sdonn expand(p, ck, "\tmovl\t$1,AL\n"); 24932928Sdonn printf("\tjbr\tL%d\nL%d:\n", label2, label1); 25032928Sdonn expand(p, ck, "\tclrl\tAL\n"); 25132928Sdonn printf("L%d:", label2); 25232928Sdonn break; 25332928Sdonn case ASG MOD: 25432928Sdonn asgmod: 25532928Sdonn label1 = getlab(); 25632928Sdonn expand(p, ck, "cmpl\tAL,AR\n"); 25732928Sdonn printf("\tjlssu\tL%d\n", label1); 25832928Sdonn expand(p, ck, "\tsubl2\tAR,AL\n"); 25932928Sdonn printf("L%d:", label1); 26032928Sdonn break; 26132928Sdonn } 26232928Sdonn return; 26332928Sdonn } 26432928Sdonn 2659702Slinton case 'B': /* get oreg value in temp register for left shift */ 2669702Slinton { 2679702Slinton register NODE *r; 2689702Slinton if (xdebug) eprint(p, 0, &val, &val); 2699702Slinton r = p->in.right; 27032937Sdonn if( tlen(r) == SZINT/SZCHAR && r->in.type != FLOAT ) 27124418Smckusick putstr("movl"); 2729702Slinton else { 27332935Sdonn putstr(ISUNSIGNED(r->in.type) ? "movz" : "cvt"); 2749702Slinton prtype(r); 27524418Smckusick putchar('l'); 2769702Slinton } 2779702Slinton return; 2789702Slinton } 2799702Slinton 2809702Slinton case 'C': /* num words pushed on arg stack */ 2819702Slinton { 2829702Slinton extern int gc_numbytes; 2839702Slinton extern int xdebug; 2849702Slinton 2859702Slinton if (xdebug) printf("->%d<-",gc_numbytes); 2869702Slinton 2879702Slinton printf("$%d", gc_numbytes/(SZLONG/SZCHAR) ); 2889702Slinton return; 2899702Slinton } 2909702Slinton 2919702Slinton case 'D': /* INCR and DECR */ 2929702Slinton zzzcode(p->in.left, 'A'); 29324418Smckusick putchar('\n'); 29424418Smckusick putchar('\t'); 2959702Slinton 2969702Slinton case 'E': /* INCR and DECR, FOREFF */ 29732934Sdonn if (p->in.right->in.op == ICON && p->in.right->tn.lval == 1) 2989702Slinton { 29932935Sdonn putstr(p->in.op == INCR ? "inc" : "dec"); 3009702Slinton prtype(p->in.left); 30124418Smckusick putchar('\t'); 3029702Slinton adrput(p->in.left); 3039702Slinton return; 3049702Slinton } 30532935Sdonn putstr(p->in.op == INCR ? "add" : "sub"); 3069702Slinton prtype(p->in.left); 30724418Smckusick putchar('2'); 30824418Smckusick putchar('\t'); 3099702Slinton adrput(p->in.right); 31024418Smckusick putchar(','); 3119702Slinton adrput(p->in.left); 3129702Slinton return; 3139702Slinton 3149702Slinton case 'F': /* register type of right operand */ 3159702Slinton { 3169702Slinton register NODE *n; 3179702Slinton extern int xdebug; 3189702Slinton register int ty; 3199702Slinton 3209702Slinton n = getlr( p, 'R' ); 3219702Slinton ty = n->in.type; 3229702Slinton 3239702Slinton if (xdebug) printf("->%d<-", ty); 3249702Slinton 32524418Smckusick if ( ty==DOUBLE) putchar('d'); 32624418Smckusick else if ( ty==FLOAT ) putchar('f'); 32724418Smckusick else putchar('l'); 3289702Slinton return; 3299702Slinton } 3309702Slinton 3319702Slinton case 'L': /* type of left operand */ 3329702Slinton case 'R': /* type of right operand */ 3339702Slinton { 3349702Slinton register NODE *n; 3359702Slinton extern int xdebug; 3369702Slinton 33716181Sralph n = getlr( p, c ); 3389702Slinton if (xdebug) printf("->%d<-", n->in.type); 3399702Slinton 3409702Slinton prtype(n); 3419702Slinton return; 3429702Slinton } 3439702Slinton 34432938Sdonn case 'Z': /* AND for CC with ICON -- lval is complemented */ 34532938Sdonn { 34632938Sdonn register NODE *l, *r; 34732938Sdonn 34832938Sdonn l = getlr( p, 'L' ); 34932938Sdonn r = getlr( p, 'R' ); 35032938Sdonn m = (1 << tlen(l) * SZCHAR) - 1; 35132938Sdonn r->tn.lval = ~r->tn.lval; 35232938Sdonn if( (l->in.type == CHAR || l->in.type == SHORT) && 35332938Sdonn (r->tn.lval & ~m) ) { 35432938Sdonn putstr("cvt"); 35532938Sdonn prtype(l); 35632938Sdonn putstr("l\t"); 35732938Sdonn adrput(l); 35832938Sdonn putchar(','); 35932938Sdonn adrput(resc); 36032938Sdonn putstr("\n\t"); 36132938Sdonn resc->tn.type = INT; 36232938Sdonn l = resc; 36332938Sdonn } 36432938Sdonn else if( l->in.type == UCHAR || l->in.type == USHORT ) 36532938Sdonn /* remove trash left over from complementing */ 36632938Sdonn r->tn.lval &= m; 36732938Sdonn putstr("bit"); 36832938Sdonn prtype(l); 36932938Sdonn printf("\t$%ld", r->tn.lval); 37032938Sdonn putchar(','); 37132938Sdonn adrput(l); 3729702Slinton return; 37332938Sdonn } 3749702Slinton 3759702Slinton case 'U': /* 32 - n, for unsigned right shifts */ 3769702Slinton printf("$%d", 32 - p->in.right->tn.lval ); 3779702Slinton return; 3789702Slinton 3799702Slinton case 'T': /* rounded structure length for arguments */ 3809702Slinton { 3819702Slinton int size; 3829702Slinton 3839702Slinton size = p->stn.stsize; 3849702Slinton SETOFF( size, 4); 3859702Slinton printf("$%d", size); 3869702Slinton return; 3879702Slinton } 3889702Slinton 3899702Slinton case 'S': /* structure assignment */ 39032935Sdonn stasg(p); 39132935Sdonn break; 3929702Slinton 39332935Sdonn default: 39432935Sdonn cerror( "illegal zzzcode" ); 39532935Sdonn } 39632935Sdonn } 3979702Slinton 39832935Sdonn stasg(p) 39932935Sdonn register NODE *p; 40032935Sdonn { 40132935Sdonn register NODE *l, *r; 40232935Sdonn register size; 4039702Slinton 40432935Sdonn if( p->in.op == STASG ){ 40532935Sdonn l = p->in.left; 40632935Sdonn r = p->in.right; 4079702Slinton 40832935Sdonn } 40932935Sdonn else if( p->in.op == STARG ){ /* store an arg into a temporary */ 41032935Sdonn r = p->in.left; 41132935Sdonn } 41232935Sdonn else cerror( "STASG bad" ); 4139702Slinton 41432935Sdonn if( r->in.op == ICON ) r->in.op = NAME; 41532935Sdonn else if( r->in.op == REG ) r->in.op = OREG; 41632935Sdonn else if( r->in.op != OREG ) cerror( "STASG-r" ); 4179702Slinton 41832935Sdonn size = p->stn.stsize; 41932935Sdonn 42032935Sdonn if( size <= 0 || size > 65535 ) 42132935Sdonn cerror("structure size <0=0 or >65535"); 42232935Sdonn 42332935Sdonn switch(size) { 42432935Sdonn case 1: 42532935Sdonn putstr(" movb "); 42632935Sdonn break; 42732935Sdonn case 2: 42832935Sdonn putstr(" movw "); 42932935Sdonn break; 43032935Sdonn case 4: 43132935Sdonn putstr(" movl "); 43232935Sdonn break; 43332935Sdonn case 8: 43432935Sdonn putstr(" movq "); 43532935Sdonn break; 43632935Sdonn default: 43732935Sdonn printf(" movc3 $%d,", size); 43832935Sdonn break; 43932935Sdonn } 44032935Sdonn adrput(r); 44132935Sdonn if( p->in.op == STASG ){ 44232935Sdonn putchar(','); 44332935Sdonn adrput(l); 44432935Sdonn putchar('\n'); 44532935Sdonn } 44632935Sdonn else 44732935Sdonn putstr(",(sp)\n"); 44832935Sdonn 44932935Sdonn if( r->in.op == NAME ) r->in.op = ICON; 45032935Sdonn else if( r->in.op == OREG ) r->in.op = REG; 45132935Sdonn } 45232935Sdonn 45332935Sdonn NODE *makearg( ty ) int ty; { 45432935Sdonn register NODE *p, *q; 45532935Sdonn 45632935Sdonn /* build a -(sp) operand */ 45732935Sdonn p = talloc(); 45832935Sdonn p->in.op = REG; 45932935Sdonn /* the type needn't be right, just consistent */ 46032935Sdonn p->in.type = INCREF(ty); 46132935Sdonn p->tn.rval = SP; 46232935Sdonn p->tn.lval = 0; 46332935Sdonn q = talloc(); 46432935Sdonn q->in.op = ASG MINUS; 46532935Sdonn q->in.type = INCREF(ty); 46632935Sdonn q->in.left = p; 46732935Sdonn p = talloc(); 46832935Sdonn p->in.op = ICON; 46932935Sdonn p->in.type = INT; 47032935Sdonn p->tn.name = ""; 471*32941Sdonn /* size of floating argument is always 2 */ 472*32941Sdonn p->tn.lval = (1 + (ty == FLOAT || ty == DOUBLE)) * (SZINT/SZCHAR); 47332935Sdonn q->in.right = p; 47432935Sdonn p = talloc(); 47532935Sdonn p->in.op = UNARY MUL; 47632935Sdonn p->in.left = q; 47732935Sdonn return( p ); 47832935Sdonn } 47932935Sdonn 48032935Sdonn sconv( p, forarg ) register NODE *p; { 48132935Sdonn register NODE *l, *r; 48232935Sdonn int m, val; 48332935Sdonn 48432935Sdonn if (xdebug) eprint(p, 0, &val, &val); 48532935Sdonn r = getlr(p, 'R'); 48632935Sdonn if (p->in.op == ASSIGN) 48732935Sdonn l = getlr(p, 'L'); 48832935Sdonn else if (p->in.op == SCONV) { 48932935Sdonn m = r->in.type; 49032935Sdonn if (forarg) 49132935Sdonn l = makearg( m ); 49232935Sdonn else 49332935Sdonn l = resc; 49432935Sdonn l->in.type = m; 49532935Sdonn r = getlr(p, 'L'); 49632935Sdonn } 49732935Sdonn else { /* OPLTYPE */ 49832935Sdonn m = (r->in.type==FLOAT || r->in.type==DOUBLE ? r->in.type : INT); 49932935Sdonn if (forarg) 50032935Sdonn l = makearg( m ); 50132935Sdonn else 50232935Sdonn l = resc; 50332935Sdonn l->in.type = m; 50432935Sdonn } 50532935Sdonn if (r->in.op == ICON) 50632935Sdonn if (r->in.name[0] == '\0') { 50732938Sdonn if (r->tn.lval == 0 && !forarg) { 50832935Sdonn putstr("clr"); 50932935Sdonn prtype(l); 51032935Sdonn putchar('\t'); 51116418Sralph adrput(l); 51232935Sdonn goto cleanup; 51316418Sralph } 51432935Sdonn if (r->tn.lval < 0 && r->tn.lval >= -63) { 51532935Sdonn putstr("mneg"); 51632935Sdonn prtype(l); 51732935Sdonn r->tn.lval = -r->tn.lval; 51832935Sdonn goto ops; 51932935Sdonn } 52032935Sdonn if (r->tn.lval < 0) 52132935Sdonn r->in.type = r->tn.lval >= -128 ? CHAR 52232935Sdonn : (r->tn.lval >= -32768 ? SHORT 52332935Sdonn : INT); 52432935Sdonn else if (l->in.type == FLOAT || 52532935Sdonn l->in.type == DOUBLE) 52632935Sdonn r->in.type = r->tn.lval <= 63 ? INT 52732935Sdonn : (r->tn.lval <= 127 ? CHAR 52832935Sdonn : (r->tn.lval <= 32767 ? SHORT 52932935Sdonn : INT)); 53016418Sralph else 53132935Sdonn r->in.type = r->tn.lval <= 63 ? INT 53232935Sdonn : (r->tn.lval <= 127 ? CHAR 53332935Sdonn : (r->tn.lval <= 255 ? UCHAR 53432935Sdonn : (r->tn.lval <= 32767 ? SHORT 53532935Sdonn : (r->tn.lval <= 65535 ? USHORT 53632935Sdonn : INT)))); 53732938Sdonn if (forarg && r->in.type == INT) { 53832938Sdonn putstr("pushl\t"); 53932938Sdonn adrput(r); 54032938Sdonn goto cleanup; 54132938Sdonn } 54232935Sdonn } 54332935Sdonn else { 54432938Sdonn if (forarg && tlen(r) == SZINT/SZCHAR) { 54532938Sdonn putstr("pushl\t"); 54632938Sdonn adrput(r); 54732938Sdonn goto cleanup; 54832938Sdonn } 54932938Sdonn putstr("moval\t"); 55032935Sdonn acon(r); 55132935Sdonn putchar(','); 55232935Sdonn adrput(l); 55332935Sdonn goto cleanup; 55432935Sdonn } 5559702Slinton 55632935Sdonn if (p->in.op == SCONV && 55732935Sdonn !(l->in.type == FLOAT || l->in.type == DOUBLE) && 55832935Sdonn !mixtypes(l, r)) { 55932935Sdonn /* 56032935Sdonn * Because registers must always contain objects 56132935Sdonn * of the same width as INTs, we may have to 56232935Sdonn * perform two conversions to get an INT. Can 56332935Sdonn * the conversions be collapsed into one? 56432935Sdonn */ 56532935Sdonn if (m = collapsible(l, r)) 56632935Sdonn r->in.type = m; 56732935Sdonn else { 56832935Sdonn /* 56932935Sdonn * Two steps are required. 57032935Sdonn */ 57132940Sdonn NODE *x; 5729702Slinton 57332940Sdonn if (forarg) { 57432940Sdonn x = resc; 57532940Sdonn x->in.type = l->in.type; 57632940Sdonn } 57732940Sdonn else { 57832940Sdonn x = &resc[1]; 57932940Sdonn *x = *l; 58032940Sdonn } 58132940Sdonn 58232935Sdonn if (tlen(x) > tlen(r) && ISUNSIGNED(r->in.type)) 58332935Sdonn putstr("movz"); 58432935Sdonn else 58532935Sdonn putstr("cvt"); 58632935Sdonn prtype(r); 58732935Sdonn prtype(x); 58832935Sdonn putchar('\t'); 58932935Sdonn adrput(r); 59032935Sdonn putchar(','); 59132935Sdonn adrput(x); 59232935Sdonn putchar('\n'); 59332935Sdonn putchar('\t'); 59432935Sdonn r = x; 5959702Slinton } 59632935Sdonn l->in.type = (ISUNSIGNED(l->in.type) ? UNSIGNED : INT); 59732935Sdonn } 5989702Slinton 59932935Sdonn if ((r->in.type == UNSIGNED || r->in.type == ULONG) && 60032935Sdonn mixtypes(l, r)) { 60132935Sdonn int label1, label2; 60232940Sdonn NODE *x = NULL; 60332935Sdonn 60432940Sdonn #if defined(FORT) || defined(SPRECC) 60532940Sdonn if (forarg) 60632940Sdonn #else 60732940Sdonn if (forarg || l == resc) 60832940Sdonn #endif 60932940Sdonn { 61032940Sdonn /* compute in register, convert to double when done */ 61132940Sdonn x = l; 61232940Sdonn l = resc; 61332940Sdonn l->in.type = x->in.type; 61432940Sdonn } 61532940Sdonn 61632935Sdonn label1 = getlab(); 61732935Sdonn label2 = getlab(); 61832935Sdonn 61932935Sdonn putstr("movl\t"); 62032935Sdonn adrput(r); 62132935Sdonn putchar(','); 62232935Sdonn adrput(l); 62332935Sdonn putstr("\n\tjbsc\t$31,"); 62432935Sdonn adrput(l); 62532935Sdonn printf(",L%d\n\tcvtl", label1); 62632935Sdonn prtype(l); 62732935Sdonn putchar('\t'); 62832935Sdonn adrput(l); 62932935Sdonn putchar(','); 63032935Sdonn adrput(l); 63132935Sdonn printf("\n\tjbr\tL%d\nL%d:\n\tcvtl", label2, label1); 63232935Sdonn prtype(l); 63332935Sdonn putchar('\t'); 63432935Sdonn adrput(l); 63532935Sdonn putchar(','); 63632935Sdonn adrput(l); 63732935Sdonn putstr("\n\tadd"); 63832935Sdonn prtype(l); 63932935Sdonn putstr("2\t$0"); 64032935Sdonn prtype(l); 64132935Sdonn putstr("2.147483648e9,"); 64232935Sdonn adrput(l); 64332935Sdonn printf("\nL%d:", label2); 64432935Sdonn 64532940Sdonn if (!forarg && (l->in.type == DOUBLE || l != resc)) 64632940Sdonn goto cleanup; 64732940Sdonn if (x != NULL) { 64832940Sdonn if (l == x) { 64932940Sdonn r = &resc[1]; 65032940Sdonn *r = *l; 65132940Sdonn } 65232940Sdonn else { 65332940Sdonn r = l; 65432940Sdonn l = x; 65532940Sdonn } 65632940Sdonn l->in.type = DOUBLE; 65732940Sdonn } 65832940Sdonn putstr("\n\t"); 6599702Slinton } 66032935Sdonn 66132940Sdonn if( (l->in.type == FLOAT || l->in.type == DOUBLE) && 66232940Sdonn (r->in.type == UCHAR || r->in.type == USHORT) ) { 66332940Sdonn /* skip unnecessary unsigned to floating conversion */ 66432940Sdonn #if defined(FORT) || defined(SPRECC) 66532940Sdonn if (forarg) 66632940Sdonn #else 66732940Sdonn if (forarg || l == resc) 66832940Sdonn #endif 66932940Sdonn l->in.type = DOUBLE; 67032940Sdonn putstr("movz"); 67132940Sdonn prtype(r); 67232940Sdonn putstr("l\t"); 67332940Sdonn adrput(r); 67432940Sdonn putchar(','); 67532940Sdonn adrput(resc); 67632940Sdonn putstr("\n\t"); 67732940Sdonn if (l == resc) { 67832940Sdonn r = &resc[1]; 67932940Sdonn *r = *l; 68032940Sdonn } 68132940Sdonn else 68232940Sdonn r = resc; 68332940Sdonn r->in.type = INT; 68432940Sdonn } 68532940Sdonn 68632940Sdonn #if defined(FORT) || defined(SPRECC) 68732940Sdonn if (forarg && l->in.type == FLOAT) 68832940Sdonn #else 68932940Sdonn if ((forarg || l == resc) && l->in.type == FLOAT) 69032940Sdonn #endif 69132940Sdonn { 69232940Sdonn /* perform an implicit conversion to double */ 69332940Sdonn l->in.type = DOUBLE; 69432940Sdonn if (r->in.type != FLOAT && 69532940Sdonn r->in.type != CHAR && 69632940Sdonn r->in.type != SHORT) { 69732940Sdonn /* trim bits from the mantissa */ 69832940Sdonn putstr("cvt"); 69932940Sdonn prtype(r); 70032940Sdonn putstr("f\t"); 70132940Sdonn adrput(r); 70232940Sdonn putchar(','); 70332940Sdonn adrput(resc); 70432940Sdonn putstr("\n\t"); 70532940Sdonn if (l == resc) { 70632940Sdonn r = &resc[1]; 70732940Sdonn *r = *l; 70832940Sdonn } 70932940Sdonn else 71032940Sdonn r = resc; 71132940Sdonn r->in.type = FLOAT; 71232940Sdonn } 71332940Sdonn } 71432940Sdonn 71532935Sdonn if (!mixtypes(l,r)) { 71632935Sdonn if (tlen(l) == tlen(r)) { 71732938Sdonn if (forarg && tlen(l) == SZINT/SZCHAR) { 71832938Sdonn putstr("pushl\t"); 71932938Sdonn adrput(r); 72032938Sdonn goto cleanup; 72132938Sdonn } 72232935Sdonn putstr("mov"); 72332935Sdonn #ifdef FORT 72432935Sdonn if (Oflag) 72532935Sdonn prtype(l); 72632935Sdonn else { 72732935Sdonn if (l->in.type == DOUBLE) 72832935Sdonn putchar('q'); 72932935Sdonn else if(l->in.type == FLOAT) 73032935Sdonn putchar('l'); 73132935Sdonn else 73232935Sdonn prtype(l); 73332935Sdonn } 73432935Sdonn #else 73532935Sdonn prtype(l); 73632935Sdonn #endif FORT 73732935Sdonn goto ops; 73832935Sdonn } 73932935Sdonn else if (tlen(l) > tlen(r) && ISUNSIGNED(r->in.type)) 74032935Sdonn putstr("movz"); 74132935Sdonn else 74232935Sdonn putstr("cvt"); 74332935Sdonn } 74432935Sdonn else 74532935Sdonn putstr("cvt"); 74632935Sdonn prtype(r); 74732935Sdonn prtype(l); 74832935Sdonn ops: 74932935Sdonn putchar('\t'); 75032935Sdonn adrput(r); 75132935Sdonn putchar(','); 75232935Sdonn adrput(l); 75332935Sdonn 75432935Sdonn cleanup: 75532935Sdonn if (forarg) 75632935Sdonn tfree(l); 7579702Slinton } 7589702Slinton 75923536Sbloom /* 76023536Sbloom * collapsible(dest, src) -- if a conversion with a register destination 76123536Sbloom * can be accomplished in one instruction, return the type of src 76223536Sbloom * that will do the job correctly; otherwise return 0. Note that 76323536Sbloom * a register must always end up having type INT or UNSIGNED. 76423536Sbloom */ 76523536Sbloom int 76623536Sbloom collapsible(dest, src) 76723536Sbloom NODE *dest, *src; 76823536Sbloom { 76923536Sbloom int st = src->in.type; 77023536Sbloom int dt = dest->in.type; 77123536Sbloom int newt = 0; 77223536Sbloom 77323536Sbloom /* 77423536Sbloom * Are there side effects of evaluating src? 77523536Sbloom * If the derived type will not be the same size as src, 77624418Smckusick * we may have to use two steps. 77723536Sbloom */ 77824418Smckusick if (tlen(src) > tlen(dest)) { 77924418Smckusick if (tshape(src, STARREG)) 78024418Smckusick return (0); 78124418Smckusick if (src->in.op == OREG && R2TEST(src->tn.rval)) 78224418Smckusick return (0); 78324418Smckusick } 78423536Sbloom 78523536Sbloom /* 78623536Sbloom * Can we get an object of dest's type by punning src? 78723536Sbloom * Praises be to great Cthulhu for little-endian machines... 78823536Sbloom */ 78923536Sbloom if (st == CHAR && dt == USHORT) 79023536Sbloom /* 79123536Sbloom * Special case -- we must sign-extend to 16 bits. 79223536Sbloom */ 79323536Sbloom return (0); 79423536Sbloom 79523536Sbloom if (tlen(src) < tlen(dest)) 79623536Sbloom newt = st; 79723536Sbloom else 79823536Sbloom newt = dt; 79923536Sbloom 80023536Sbloom return (newt); 80123536Sbloom } 80223536Sbloom 80317742Sralph rmove( rt, rs, t ) TWORD t; { 8049702Slinton printf( " %s %s,%s\n", 80517742Sralph #ifdef FORT 80617742Sralph !Oflag ? (t==DOUBLE ? "movq" : "movl") : 80717742Sralph #endif 8089702Slinton (t==FLOAT ? "movf" : (t==DOUBLE ? "movd" : "movl")), 8099702Slinton rnames[rs], rnames[rt] ); 8109702Slinton } 8119702Slinton 8129702Slinton struct respref 8139702Slinton respref[] = { 8149702Slinton INTAREG|INTBREG, INTAREG|INTBREG, 8159702Slinton INAREG|INBREG, INAREG|INBREG|SOREG|STARREG|STARNM|SNAME|SCON, 8169702Slinton INTEMP, INTEMP, 8179702Slinton FORARG, FORARG, 8189702Slinton INTEMP, INTAREG|INAREG|INTBREG|INBREG|SOREG|STARREG|STARNM, 8199702Slinton 0, 0 }; 8209702Slinton 8219702Slinton setregs(){ /* set up temporary registers */ 8229702Slinton fregs = 6; /* tbl- 6 free regs on VAX (0-5) */ 8239702Slinton } 8249702Slinton 82532924Sdonn /*ARGSUSED*/ 8269702Slinton rewfld( p ) NODE *p; { 8279702Slinton return(1); 8289702Slinton } 8299702Slinton 83032924Sdonn /*ARGSUSED*/ 8319702Slinton callreg(p) NODE *p; { 8329702Slinton return( R0 ); 8339702Slinton } 8349702Slinton 8359702Slinton base( p ) register NODE *p; { 8369702Slinton register int o = p->in.op; 8379702Slinton 83832938Sdonn if( o==ICON && p->tn.name[0] != '\0' ) return( 100 ); /* ie no base reg */ 8399702Slinton if( o==REG ) return( p->tn.rval ); 8409702Slinton if( (o==PLUS || o==MINUS) && p->in.left->in.op == REG && p->in.right->in.op==ICON) 8419702Slinton return( p->in.left->tn.rval ); 8429702Slinton if( o==OREG && !R2TEST(p->tn.rval) && (p->in.type==INT || p->in.type==UNSIGNED || ISPTR(p->in.type)) ) 8439702Slinton return( p->tn.rval + 0200*1 ); 8449702Slinton if( o==INCR && p->in.left->in.op==REG ) return( p->in.left->tn.rval + 0200*2 ); 8459702Slinton if( o==ASG MINUS && p->in.left->in.op==REG) return( p->in.left->tn.rval + 0200*4 ); 8469702Slinton if( o==UNARY MUL && p->in.left->in.op==INCR && p->in.left->in.left->in.op==REG 8479702Slinton && (p->in.type==INT || p->in.type==UNSIGNED || ISPTR(p->in.type)) ) 8489702Slinton return( p->in.left->in.left->tn.rval + 0200*(1+2) ); 84932938Sdonn if( o==NAME ) return( 100 + 0200*1 ); 8509702Slinton return( -1 ); 8519702Slinton } 8529702Slinton 8539702Slinton offset( p, tyl ) register NODE *p; int tyl; { 8549702Slinton 85524418Smckusick if( tyl==1 && 85624418Smckusick p->in.op==REG && 85724418Smckusick (p->in.type==INT || p->in.type==UNSIGNED) ) 85824418Smckusick return( p->tn.rval ); 85924418Smckusick if( p->in.op==LS && 86024418Smckusick p->in.left->in.op==REG && 86124418Smckusick (p->in.left->in.type==INT || p->in.left->in.type==UNSIGNED) && 86224418Smckusick p->in.right->in.op==ICON && 86324418Smckusick p->in.right->in.name[0]=='\0' && 86424418Smckusick (1<<p->in.right->tn.lval)==tyl) 8659702Slinton return( p->in.left->tn.rval ); 86624418Smckusick if( tyl==2 && 86724418Smckusick p->in.op==PLUS && 86824418Smckusick (p->in.left->in.type==INT || p->in.left->in.type==UNSIGNED) && 86924418Smckusick p->in.left->in.op==REG && 87024418Smckusick p->in.right->in.op==REG && 87124418Smckusick p->in.left->tn.rval==p->in.right->tn.rval ) 87224418Smckusick return( p->in.left->tn.rval ); 8739702Slinton return( -1 ); 8749702Slinton } 8759702Slinton 8769702Slinton makeor2( p, q, b, o) register NODE *p, *q; register int b, o; { 8779702Slinton register NODE *t; 8789702Slinton NODE *f; 8799702Slinton 8809702Slinton p->in.op = OREG; 8819702Slinton f = p->in.left; /* have to free this subtree later */ 8829702Slinton 8839702Slinton /* init base */ 8849702Slinton switch (q->in.op) { 8859702Slinton case ICON: 8869702Slinton case REG: 8879702Slinton case OREG: 88832938Sdonn case NAME: 8899702Slinton t = q; 8909702Slinton break; 8919702Slinton 8929702Slinton case MINUS: 8939702Slinton q->in.right->tn.lval = -q->in.right->tn.lval; 8949702Slinton case PLUS: 8959702Slinton t = q->in.right; 8969702Slinton break; 8979702Slinton 8989702Slinton case INCR: 8999702Slinton case ASG MINUS: 9009702Slinton t = q->in.left; 9019702Slinton break; 9029702Slinton 9039702Slinton case UNARY MUL: 9049702Slinton t = q->in.left->in.left; 9059702Slinton break; 9069702Slinton 9079702Slinton default: 9089702Slinton cerror("illegal makeor2"); 9099702Slinton } 9109702Slinton 9119702Slinton p->tn.lval = t->tn.lval; 9129702Slinton #ifndef FLEXNAMES 91332924Sdonn { 91432924Sdonn register int i; 91532924Sdonn for(i=0; i<NCHNAM; ++i) 91632924Sdonn p->in.name[i] = t->in.name[i]; 91732924Sdonn } 9189702Slinton #else 9199702Slinton p->in.name = t->in.name; 9209702Slinton #endif 9219702Slinton 9229702Slinton /* init offset */ 9239702Slinton p->tn.rval = R2PACK( (b & 0177), o, (b>>7) ); 9249702Slinton 9259702Slinton tfree(f); 9269702Slinton return; 9279702Slinton } 9289702Slinton 9299702Slinton canaddr( p ) NODE *p; { 9309702Slinton register int o = p->in.op; 9319702Slinton 9329702Slinton if( o==NAME || o==REG || o==ICON || o==OREG || (o==UNARY MUL && shumul(p->in.left)) ) return(1); 9339702Slinton return(0); 9349702Slinton } 9359702Slinton 93632935Sdonn flshape( p ) NODE *p; { 93732935Sdonn register int o = p->in.op; 93832935Sdonn 93932935Sdonn return( o == REG || o == NAME || o == ICON || 94032935Sdonn (o == OREG && (!R2TEST(p->tn.rval) || tlen(p) == 1)) ); 9419702Slinton } 9429702Slinton 94332926Sdonn /* INTEMP shapes must not contain any temporary registers */ 9449702Slinton shtemp( p ) register NODE *p; { 94532926Sdonn int r; 94632926Sdonn 9479702Slinton if( p->in.op == STARG ) p = p->in.left; 94832926Sdonn 94932926Sdonn switch (p->in.op) { 95032926Sdonn case REG: 95132926Sdonn return( !istreg(p->tn.rval) ); 95232926Sdonn case OREG: 95332926Sdonn r = p->tn.rval; 95432926Sdonn if( R2TEST(r) ) { 95532926Sdonn if( istreg(R2UPK1(r)) ) 95632926Sdonn return(0); 95732926Sdonn r = R2UPK2(r); 95832926Sdonn } 95932926Sdonn return( !istreg(r) ); 96032926Sdonn case UNARY MUL: 96132926Sdonn p = p->in.left; 96232926Sdonn return( p->in.op != UNARY MUL && shtemp(p) ); 96332926Sdonn } 96432926Sdonn 96532926Sdonn if( optype( p->in.op ) != LTYPE ) return(0); 96632926Sdonn return(1); 9679702Slinton } 9689702Slinton 9699702Slinton shumul( p ) register NODE *p; { 97032935Sdonn register int o; 9719702Slinton extern int xdebug; 9729702Slinton 9739702Slinton if (xdebug) { 97432933Sdonn int val; 97532933Sdonn printf("shumul:\n"); 97632933Sdonn eprint(p, 0, &val, &val); 9779702Slinton } 9789702Slinton 9799702Slinton o = p->in.op; 9809702Slinton if( o == NAME || (o == OREG && !R2TEST(p->tn.rval)) || o == ICON ) return( STARNM ); 9819702Slinton 9829702Slinton if( ( o == INCR || o == ASG MINUS ) && 9839702Slinton ( p->in.left->in.op == REG && p->in.right->in.op == ICON ) && 9849702Slinton p->in.right->in.name[0] == '\0' ) 9859702Slinton { 98617659Sralph switch (p->in.type) 9879702Slinton { 9889702Slinton case CHAR|PTR: 9899702Slinton case UCHAR|PTR: 9909702Slinton o = 1; 9919702Slinton break; 9929702Slinton 9939702Slinton case SHORT|PTR: 9949702Slinton case USHORT|PTR: 9959702Slinton o = 2; 9969702Slinton break; 9979702Slinton 9989702Slinton case INT|PTR: 9999702Slinton case UNSIGNED|PTR: 10009702Slinton case LONG|PTR: 10019702Slinton case ULONG|PTR: 10029702Slinton case FLOAT|PTR: 10039702Slinton o = 4; 10049702Slinton break; 10059702Slinton 10069702Slinton case DOUBLE|PTR: 10079702Slinton o = 8; 10089702Slinton break; 10099702Slinton 10109702Slinton default: 101117742Sralph if ( ISPTR(p->in.type) && 101217742Sralph ISPTR(DECREF(p->in.type)) ) { 10139702Slinton o = 4; 10149702Slinton break; 10159702Slinton } 10169702Slinton else return(0); 10179702Slinton } 10189702Slinton return( p->in.right->tn.lval == o ? STARREG : 0); 10199702Slinton } 10209702Slinton 10219702Slinton return( 0 ); 10229702Slinton } 10239702Slinton 10249702Slinton adrcon( val ) CONSZ val; { 102524418Smckusick putchar( '$' ); 10269702Slinton printf( CONFMT, val ); 10279702Slinton } 10289702Slinton 10299702Slinton conput( p ) register NODE *p; { 10309702Slinton switch( p->in.op ){ 10319702Slinton 10329702Slinton case ICON: 10339702Slinton acon( p ); 10349702Slinton return; 10359702Slinton 10369702Slinton case REG: 103724418Smckusick putstr( rnames[p->tn.rval] ); 10389702Slinton return; 10399702Slinton 10409702Slinton default: 10419702Slinton cerror( "illegal conput" ); 10429702Slinton } 10439702Slinton } 10449702Slinton 104532923Sdonn /*ARGSUSED*/ 104632924Sdonn insput( p ) NODE *p; { 10479702Slinton cerror( "insput" ); 10489702Slinton } 10499702Slinton 105032928Sdonn upput( p, size ) NODE *p; int size; { 105132928Sdonn if( size == SZLONG && p->in.op == REG ) { 105232928Sdonn putstr( rnames[p->tn.rval + 1] ); 105332928Sdonn return; 105432928Sdonn } 10559702Slinton cerror( "upput" ); 10569702Slinton } 10579702Slinton 10589702Slinton adrput( p ) register NODE *p; { 10599702Slinton register int r; 10609702Slinton /* output an address, with offsets, from p */ 10619702Slinton 10629702Slinton if( p->in.op == FLD ){ 10639702Slinton p = p->in.left; 10649702Slinton } 10659702Slinton switch( p->in.op ){ 10669702Slinton 10679702Slinton case NAME: 10689702Slinton acon( p ); 10699702Slinton return; 10709702Slinton 10719702Slinton case ICON: 10729702Slinton /* addressable value of the constant */ 107324418Smckusick putchar( '$' ); 10749702Slinton acon( p ); 10759702Slinton return; 10769702Slinton 10779702Slinton case REG: 107824418Smckusick putstr( rnames[p->tn.rval] ); 10799702Slinton return; 10809702Slinton 10819702Slinton case OREG: 10829702Slinton r = p->tn.rval; 10839702Slinton if( R2TEST(r) ){ /* double indexing */ 10849702Slinton register int flags; 10859702Slinton 10869702Slinton flags = R2UPK3(r); 108724418Smckusick if( flags & 1 ) putchar('*'); 108824418Smckusick if( flags & 4 ) putchar('-'); 10899702Slinton if( p->tn.lval != 0 || p->in.name[0] != '\0' ) acon(p); 10909702Slinton if( R2UPK1(r) != 100) printf( "(%s)", rnames[R2UPK1(r)] ); 109124418Smckusick if( flags & 2 ) putchar('+'); 10929702Slinton printf( "[%s]", rnames[R2UPK2(r)] ); 10939702Slinton return; 10949702Slinton } 10959702Slinton if( r == AP ){ /* in the argument region */ 109632925Sdonn if( p->in.name[0] != '\0' ) werror( "bad arg temp" ); 10979702Slinton printf( CONFMT, p->tn.lval ); 109824418Smckusick putstr( "(ap)" ); 10999702Slinton return; 11009702Slinton } 11019702Slinton if( p->tn.lval != 0 || p->in.name[0] != '\0') acon( p ); 11029702Slinton printf( "(%s)", rnames[p->tn.rval] ); 11039702Slinton return; 11049702Slinton 11059702Slinton case UNARY MUL: 11069702Slinton /* STARNM or STARREG found */ 11079702Slinton if( tshape(p, STARNM) ) { 110824418Smckusick putchar( '*' ); 11099702Slinton adrput( p->in.left); 11109702Slinton } 11119702Slinton else { /* STARREG - really auto inc or dec */ 11129702Slinton register NODE *q; 11139702Slinton 111417659Sralph q = p->in.left; 111517742Sralph if( q->in.right->tn.lval != tlen(p) ) 111617742Sralph cerror("adrput: bad auto-increment/decrement"); 111717659Sralph printf("%s(%s)%s", (q->in.op==INCR ? "" : "-"), 111817659Sralph rnames[q->in.left->tn.rval], 111917659Sralph (q->in.op==INCR ? "+" : "") ); 11209702Slinton p->in.op = OREG; 112117659Sralph p->tn.rval = q->in.left->tn.rval; 112217659Sralph p->tn.lval = (q->in.op == INCR ? -q->in.right->tn.lval : 0); 11239702Slinton #ifndef FLEXNAMES 11249702Slinton p->in.name[0] = '\0'; 11259702Slinton #else 11269702Slinton p->in.name = ""; 11279702Slinton #endif 11289702Slinton tfree(q); 11299702Slinton } 11309702Slinton return; 11319702Slinton 11329702Slinton default: 11339702Slinton cerror( "illegal address" ); 11349702Slinton return; 11359702Slinton 11369702Slinton } 11379702Slinton 11389702Slinton } 11399702Slinton 11409702Slinton acon( p ) register NODE *p; { /* print out a constant */ 11419702Slinton 114232935Sdonn if( p->in.name[0] == '\0' ) 11439702Slinton printf( CONFMT, p->tn.lval); 114432935Sdonn else { 11459702Slinton #ifndef FLEXNAMES 11469702Slinton printf( "%.8s", p->in.name ); 11479702Slinton #else 114824418Smckusick putstr( p->in.name ); 11499702Slinton #endif 115032935Sdonn if( p->tn.lval != 0 ) { 115132935Sdonn putchar( '+' ); 115232935Sdonn printf( CONFMT, p->tn.lval ); 115332935Sdonn } 11549702Slinton } 11559702Slinton } 11569702Slinton 11579702Slinton genscall( p, cookie ) register NODE *p; { 11589702Slinton /* structure valued call */ 11599702Slinton return( gencall( p, cookie ) ); 11609702Slinton } 11619702Slinton 11629702Slinton /* tbl */ 11639702Slinton int gc_numbytes; 11649702Slinton /* tbl */ 11659702Slinton 116632924Sdonn /*ARGSUSED*/ 11679702Slinton gencall( p, cookie ) register NODE *p; { 11689702Slinton /* generate the call given by p */ 116916418Sralph register NODE *p1; 117032935Sdonn register int temp, temp1; 117132935Sdonn register int m; 11729702Slinton 11739702Slinton if( p->in.right ) temp = argsize( p->in.right ); 11749702Slinton else temp = 0; 11759702Slinton 11769702Slinton if( p->in.op == STCALL || p->in.op == UNARY STCALL ){ 11779702Slinton /* set aside room for structure return */ 11789702Slinton 11799702Slinton if( p->stn.stsize > temp ) temp1 = p->stn.stsize; 11809702Slinton else temp1 = temp; 11819702Slinton } 11829702Slinton 11839702Slinton if( temp > maxargs ) maxargs = temp; 11849702Slinton SETOFF(temp1,4); 11859702Slinton 11869702Slinton if( p->in.right ){ /* make temp node, put offset in, and generate args */ 118716418Sralph genargs( p->in.right ); 11889702Slinton } 11899702Slinton 11909702Slinton p1 = p->in.left; 11919702Slinton if( p1->in.op != ICON ){ 11929702Slinton if( p1->in.op != REG ){ 11939702Slinton if( p1->in.op != OREG || R2TEST(p1->tn.rval) ){ 11949702Slinton if( p1->in.op != NAME ){ 11959702Slinton order( p1, INAREG ); 11969702Slinton } 11979702Slinton } 11989702Slinton } 11999702Slinton } 12009702Slinton 12019702Slinton /* tbl 12029702Slinton setup gc_numbytes so reference to ZC works */ 12039702Slinton 12049702Slinton gc_numbytes = temp&(0x3ff); 12059702Slinton /* tbl */ 12069702Slinton 12079702Slinton p->in.op = UNARY CALL; 12089702Slinton m = match( p, INTAREG|INTBREG ); 12099702Slinton 12109702Slinton /* compensate for deficiency in 'ret' instruction ... wah,kre */ 12119702Slinton /* (plus in assignment to gc_numbytes above, for neatness only) */ 12129702Slinton if (temp >= 1024) 12139702Slinton printf(" addl2 $%d,sp\n", (temp&(~0x3ff))); 12149702Slinton 12159702Slinton return(m != MDONE); 12169702Slinton } 12179702Slinton 12189702Slinton /* tbl */ 12199702Slinton char * 12209702Slinton ccbranches[] = { 122132935Sdonn "eql", 122232935Sdonn "neq", 122332935Sdonn "leq", 122432935Sdonn "lss", 122532935Sdonn "geq", 122632935Sdonn "gtr", 122732935Sdonn "lequ", 122832935Sdonn "lssu", 122932935Sdonn "gequ", 123032935Sdonn "gtru", 12319702Slinton }; 12329702Slinton /* tbl */ 12339702Slinton 123432924Sdonn /*ARGSUSED*/ 12359702Slinton cbgen( o, lab, mode ) { /* printf conditional and unconditional branches */ 12369702Slinton 123732935Sdonn if( o != 0 && ( o < EQ || o > UGT ) ) 123832935Sdonn cerror( "bad conditional branch: %s", opst[o] ); 123932935Sdonn printf( " j%s L%d\n", o == 0 ? "br" : ccbranches[o-EQ], lab ); 12409702Slinton } 12419702Slinton 12429702Slinton nextcook( p, cookie ) NODE *p; { 12439702Slinton /* we have failed to match p with cookie; try another */ 12449702Slinton if( cookie == FORREW ) return( 0 ); /* hopeless! */ 12459702Slinton if( !(cookie&(INTAREG|INTBREG)) ) return( INTAREG|INTBREG ); 12469702Slinton if( !(cookie&INTEMP) && asgop(p->in.op) ) return( INTEMP|INAREG|INTAREG|INTBREG|INBREG ); 12479702Slinton return( FORREW ); 12489702Slinton } 12499702Slinton 125032924Sdonn /*ARGSUSED*/ 12519702Slinton lastchance( p, cook ) NODE *p; { 12529702Slinton /* forget it! */ 12539702Slinton return(0); 12549702Slinton } 12559702Slinton 12569702Slinton optim2( p ) register NODE *p; { 12579702Slinton /* do local tree transformations and optimizations */ 12589702Slinton 125932929Sdonn int o; 126032932Sdonn int i, mask; 126116181Sralph register NODE *l, *r; 12629702Slinton 126332929Sdonn switch( o = p->in.op ) { 12649702Slinton 12659702Slinton case AND: 126619933Smckusick /* commute L and R to eliminate complements and constants */ 126716181Sralph if( (l = p->in.left)->in.op == ICON && l->in.name[0] == 0 || 126816181Sralph l->in.op == COMPL ) { 12699702Slinton p->in.left = p->in.right; 127016181Sralph p->in.right = l; 12719702Slinton } 12729702Slinton case ASG AND: 12739702Slinton /* change meaning of AND to ~R&L - bic on pdp11 */ 12749702Slinton r = p->in.right; 127532931Sdonn if( r->in.op==ICON && r->in.name[0]==0 ) { 127632931Sdonn /* check for degenerate operations */ 127732931Sdonn l = p->in.left; 127832932Sdonn mask = (1 << tlen(l) * SZCHAR) - 1; 127932932Sdonn if( ISUNSIGNED(r->in.type) ) { 128032938Sdonn i = (~r->tn.lval & mask); 128132938Sdonn if( i == 0 ) { 128232932Sdonn r->in.op = FREE; 128332932Sdonn ncopy(p, l); 128432932Sdonn l->in.op = FREE; 128532932Sdonn break; 128632932Sdonn } 128732938Sdonn else if( i == mask ) 128832932Sdonn goto zero; 128932932Sdonn else 129032932Sdonn r->tn.lval = i; 129132938Sdonn break; 129232932Sdonn } 129332932Sdonn else if( r->tn.lval == mask && 129432932Sdonn tlen(l) < SZINT/SZCHAR ) { 129532932Sdonn r->in.op = SCONV; 129632932Sdonn r->in.left = l; 129732932Sdonn r->in.right = 0; 129832932Sdonn r->in.type = ENUNSIGN(l->in.type); 129932932Sdonn r->in.su = l->in.su > 1 ? l->in.su : 1; 130032932Sdonn ncopy(p, r); 130132932Sdonn p->in.left = r; 130232932Sdonn p->in.type = INT; 130332931Sdonn break; 130432931Sdonn } 130532931Sdonn /* complement constant */ 13069702Slinton r->tn.lval = ~r->tn.lval; 13079702Slinton } 13089702Slinton else if( r->in.op==COMPL ) { /* ~~A => A */ 13099702Slinton r->in.op = FREE; 13109702Slinton p->in.right = r->in.left; 13119702Slinton } 13129702Slinton else { /* insert complement node */ 131316181Sralph p->in.right = l = talloc(); 131416181Sralph l->in.op = COMPL; 131516181Sralph l->in.rall = NOPREF; 131616181Sralph l->in.type = r->in.type; 131716181Sralph l->in.left = r; 131816181Sralph l->in.right = NULL; 13199702Slinton } 13209702Slinton break; 13219702Slinton 132216181Sralph case SCONV: 132319933Smckusick l = p->in.left; 132417742Sralph #if defined(FORT) || defined(SPRECC) 132516573Sralph if( p->in.type == FLOAT || p->in.type == DOUBLE || 132619933Smckusick l->in.type == FLOAT || l->in.type == DOUBLE ) 132719933Smckusick return; 132816573Sralph #else 132919933Smckusick if( mixtypes(p, l) ) return; 133016573Sralph #endif 133132938Sdonn if( l->in.op == PCONV ) 133225751Sdonn return; 133332938Sdonn if( (l->in.op == CALL || l->in.op == UNARY CALL) && 133432938Sdonn l->in.type != INT && l->in.type != UNSIGNED ) 133532938Sdonn return; 133625751Sdonn 133719933Smckusick /* Only trust it to get it right if the size is the same */ 133819933Smckusick if( tlen(p) != tlen(l) ) 133919933Smckusick return; 134016181Sralph 134116181Sralph /* clobber conversion */ 134219933Smckusick if( l->in.op != FLD ) 134316181Sralph l->in.type = p->in.type; 134416181Sralph ncopy( p, l ); 134516181Sralph l->in.op = FREE; 134619933Smckusick 134716181Sralph break; 134816181Sralph 134924418Smckusick case ASSIGN: 135024418Smckusick /* 135124418Smckusick * Conversions are equivalent to assignments; 135224418Smckusick * when the two operations are combined, 135324418Smckusick * we can sometimes zap the conversion. 135424418Smckusick */ 135524418Smckusick r = p->in.right; 135624418Smckusick l = p->in.left; 135724418Smckusick if ( r->in.op == SCONV && 135824418Smckusick !mixtypes(l, r) && 135932922Sdonn l->in.op != FLD && 136024418Smckusick tlen(l) == tlen(r) ) { 136124418Smckusick p->in.right = r->in.left; 136224418Smckusick r->in.op = FREE; 136324418Smckusick } 136424418Smckusick break; 136524418Smckusick 136632929Sdonn case ULE: 136732929Sdonn case ULT: 136832929Sdonn case UGE: 136932929Sdonn case UGT: 137032931Sdonn p->in.op -= (UGE-GE); 137132931Sdonn if( degenerate(p) ) 137232931Sdonn break; 137332931Sdonn p->in.op += (UGE-GE); 137432931Sdonn break; 137532931Sdonn 137632929Sdonn case EQ: 137732929Sdonn case NE: 137832929Sdonn case LE: 137932929Sdonn case LT: 138032929Sdonn case GE: 138132929Sdonn case GT: 138232938Sdonn if( p->in.left->in.op == SCONV && 138332938Sdonn p->in.right->in.op == SCONV ) { 138432938Sdonn l = p->in.left; 138532938Sdonn r = p->in.right; 138632938Sdonn if( l->in.type == DOUBLE && 138732938Sdonn l->in.left->in.type == FLOAT && 138832938Sdonn r->in.left->in.type == FLOAT ) { 138932938Sdonn /* nuke the conversions */ 139032938Sdonn p->in.left = l->in.left; 139132938Sdonn p->in.right = r->in.left; 139232938Sdonn l->in.op = FREE; 139332938Sdonn r->in.op = FREE; 139432938Sdonn } 139532938Sdonn /* more? */ 139632938Sdonn } 139732931Sdonn (void) degenerate(p); 139832931Sdonn break; 139932931Sdonn 140032931Sdonn case DIV: 140132931Sdonn if( p->in.right->in.op == ICON && 140232931Sdonn p->in.right->tn.name[0] == '\0' && 140332931Sdonn ISUNSIGNED(p->in.right->in.type) && 140432931Sdonn (unsigned) p->in.right->tn.lval >= 0x80000000 ) { 140532931Sdonn /* easy to do here, harder to do in zzzcode() */ 140632931Sdonn p->in.op = UGE; 140732929Sdonn break; 140832931Sdonn } 140932931Sdonn case MOD: 141032931Sdonn case ASG DIV: 141132931Sdonn case ASG MOD: 141232931Sdonn /* 141332931Sdonn * optimize DIV and MOD 141432931Sdonn * 141532931Sdonn * basically we spot UCHAR and USHORT and try to do them 141632931Sdonn * as signed ints... apparently div+mul+sub is always 141732931Sdonn * faster than ediv for finding MOD on the VAX, when 141832931Sdonn * full unsigned MOD isn't needed. 141932931Sdonn * 142032931Sdonn * a curious fact: for MOD, cmp+sub and cmp+sub+cmp+sub 142132931Sdonn * are faster for unsigned dividend and a constant divisor 142232931Sdonn * in the right range (.5 to 1 of dividend's range for the 142332931Sdonn * first, .333+ to .5 for the second). full unsigned is 142432931Sdonn * already done cmp+sub in the appropriate case; the 142532931Sdonn * other cases are less common and require more ambition. 142632931Sdonn */ 142732931Sdonn if( degenerate(p) ) 142832929Sdonn break; 142932931Sdonn l = p->in.left; 143032931Sdonn r = p->in.right; 143132931Sdonn if( !ISUNSIGNED(r->in.type) || 143232931Sdonn tlen(l) >= SZINT/SZCHAR || 143332931Sdonn !(tlen(r) < SZINT/SZCHAR || 143432931Sdonn (r->in.op == ICON && r->tn.name[0] == '\0')) ) 143532929Sdonn break; 143632931Sdonn if( r->in.op == ICON ) 143732931Sdonn r->tn.type = INT; 143832931Sdonn else { 143932931Sdonn NODE *t = talloc(); 144032931Sdonn t->in.left = r; 144132931Sdonn r = t; 144232931Sdonn r->in.op = SCONV; 144332931Sdonn r->in.type = INT; 144432931Sdonn r->in.right = 0; 144532931Sdonn p->in.right = r; 144632931Sdonn } 144732931Sdonn if( o == DIV || o == MOD ) { 144832931Sdonn NODE *t = talloc(); 144932931Sdonn t->in.left = l; 145032931Sdonn l = t; 145132931Sdonn l->in.op = SCONV; 145232931Sdonn l->in.type = INT; 145332931Sdonn l->in.right = 0; 145432931Sdonn p->in.left = l; 145532931Sdonn } 145632931Sdonn /* handle asgops in table */ 145732931Sdonn break; 145832931Sdonn 145932931Sdonn case RS: 146032931Sdonn case ASG RS: 146132931Sdonn case LS: 146232931Sdonn case ASG LS: 146332931Sdonn /* pick up degenerate shifts */ 146432931Sdonn l = p->in.left; 146532931Sdonn r = p->in.right; 146632931Sdonn if( !(r->in.op == ICON && r->tn.name[0] == '\0') ) 146732929Sdonn break; 146832929Sdonn i = r->tn.lval; 146932931Sdonn if( i < 0 ) 147032931Sdonn /* front end 'fixes' this? */ 147132931Sdonn if( o == LS || o == ASG LS ) 147232931Sdonn o += (RS-LS); 147332931Sdonn else 147432931Sdonn o += (LS-RS); 147532931Sdonn if( (o == RS || o == ASG RS) && 147632931Sdonn !ISUNSIGNED(l->in.type) ) 147732931Sdonn /* can't optimize signed right shifts */ 147832929Sdonn break; 147932935Sdonn if( o == LS ) { 148032935Sdonn if( i < SZINT ) 148132935Sdonn break; 148232935Sdonn } 148332935Sdonn else { 148432935Sdonn if( i < tlen(l) * SZCHAR ) 148532935Sdonn break; 148632935Sdonn } 148732931Sdonn zero: 148832931Sdonn if( !asgop( o ) ) 148932931Sdonn if( tshape(l, SAREG|SNAME|SCON|SOREG|STARNM) ) { 149032931Sdonn /* no side effects */ 149132932Sdonn tfree(l); 149232931Sdonn ncopy(p, r); 149332931Sdonn r->in.op = FREE; 149432931Sdonn p->tn.lval = 0; 149532931Sdonn } 149632931Sdonn else { 149732931Sdonn p->in.op = COMOP; 149832932Sdonn r->tn.lval = 0; 149932931Sdonn } 150032931Sdonn else { 150132931Sdonn p->in.op = ASSIGN; 150232931Sdonn r->tn.lval = 0; 150332929Sdonn } 150432931Sdonn break; 150532931Sdonn } 150632931Sdonn } 150732931Sdonn 150832931Sdonn degenerate(p) register NODE *p; { 150932931Sdonn int o; 151032931Sdonn int result, i; 151132931Sdonn int lower, upper; 151232931Sdonn register NODE *l, *r; 151332931Sdonn 151432931Sdonn /* 151532931Sdonn * try to keep degenerate comparisons with constants 151632931Sdonn * out of the table. 151732931Sdonn */ 151832931Sdonn r = p->in.right; 151932931Sdonn l = p->in.left; 152032931Sdonn if( r->in.op != ICON || 152132931Sdonn r->tn.name[0] != '\0' || 152232931Sdonn tlen(l) >= tlen(r) ) 152332931Sdonn return (0); 152432931Sdonn switch( l->in.type ) { 152532931Sdonn case CHAR: 152632931Sdonn lower = -(1 << SZCHAR - 1); 152732931Sdonn upper = (1 << SZCHAR - 1) - 1; 152832931Sdonn break; 152932931Sdonn case UCHAR: 153032931Sdonn lower = 0; 153132931Sdonn upper = (1 << SZCHAR) - 1; 153232931Sdonn break; 153332931Sdonn case SHORT: 153432931Sdonn lower = -(1 << SZSHORT - 1); 153532931Sdonn upper = (1 << SZSHORT - 1) - 1; 153632931Sdonn break; 153732931Sdonn case USHORT: 153832931Sdonn lower = 0; 153932931Sdonn upper = (1 << SZSHORT) - 1; 154032931Sdonn break; 154132931Sdonn default: 154232932Sdonn cerror("unsupported type in degenerate()"); 154332931Sdonn } 154432931Sdonn i = r->tn.lval; 154532931Sdonn switch( o = p->in.op ) { 154632931Sdonn case DIV: 154732931Sdonn case ASG DIV: 154832931Sdonn case MOD: 154932931Sdonn case ASG MOD: 155032931Sdonn /* DIV and MOD work like EQ */ 155132931Sdonn case EQ: 155232931Sdonn case NE: 155332931Sdonn if( lower == 0 && (unsigned) i > upper ) 155432931Sdonn result = o == NE; 155532931Sdonn else if( i < lower || i > upper ) 155632931Sdonn result = o == NE; 155732931Sdonn else 155832931Sdonn return (0); 155932931Sdonn break; 156032931Sdonn case LT: 156132931Sdonn case GE: 156232931Sdonn if( lower == 0 && (unsigned) i > upper ) 156332931Sdonn result = o == LT; 156432931Sdonn else if( i <= lower ) 156532931Sdonn result = o != LT; 156632931Sdonn else if( i > upper ) 156732931Sdonn result = o == LT; 156832931Sdonn else 156932931Sdonn return (0); 157032931Sdonn break; 157132931Sdonn case LE: 157232931Sdonn case GT: 157332931Sdonn if( lower == 0 && (unsigned) i >= upper ) 157432931Sdonn result = o == LE; 157532931Sdonn else if( i < lower ) 157632931Sdonn result = o != LE; 157732931Sdonn else if( i >= upper ) 157832931Sdonn result = o == LE; 157932931Sdonn else 158032931Sdonn return (0); 158132931Sdonn break; 158232931Sdonn default: 158332931Sdonn cerror("unknown op in degenerate()"); 158432931Sdonn } 158532931Sdonn 158632931Sdonn if( o == MOD || o == ASG MOD ) { 158732931Sdonn r->in.op = FREE; 158832931Sdonn ncopy(p, l); 158932931Sdonn l->in.op = FREE; 159032931Sdonn } 159132931Sdonn else if( o != ASG DIV && tshape(l, SAREG|SNAME|SCON|SOREG|STARNM) ) { 159232931Sdonn /* no side effects */ 159332932Sdonn tfree(l); 159432931Sdonn ncopy(p, r); 159532931Sdonn r->in.op = FREE; 159632931Sdonn p->tn.lval = result; 159732931Sdonn } 159832931Sdonn else { 159932931Sdonn if( o == ASG DIV ) 160032931Sdonn p->in.op = ASSIGN; 160132929Sdonn else { 160232929Sdonn p->in.op = COMOP; 160332929Sdonn r->tn.type = INT; 160432929Sdonn } 160532931Sdonn r->tn.lval = result; 16069702Slinton } 160732931Sdonn if( logop(o) ) 160832931Sdonn p->in.type = INT; 160932931Sdonn 161032931Sdonn return (1); 16119702Slinton } 16129702Slinton 16139702Slinton /* added by jwf */ 16149702Slinton struct functbl { 16159702Slinton int fop; 16169702Slinton TWORD ftype; 16179702Slinton char *func; 16189702Slinton } opfunc[] = { 16199702Slinton DIV, TANY, "udiv", 16209702Slinton MOD, TANY, "urem", 162117715Sralph ASG DIV, TANY, "audiv", 162217715Sralph ASG MOD, TANY, "aurem", 16239702Slinton 0, 0, 0 }; 16249702Slinton 16259702Slinton hardops(p) register NODE *p; { 16269702Slinton /* change hard to do operators into function calls. */ 16279702Slinton register NODE *q; 16289702Slinton register struct functbl *f; 16299702Slinton register o; 163017742Sralph NODE *old,*temp; 16319702Slinton 16329702Slinton o = p->in.op; 163317742Sralph if( ! (optype(o)==BITYPE && 163417742Sralph (ISUNSIGNED(p->in.left->in.type) || 163517742Sralph ISUNSIGNED(p->in.right->in.type))) ) 163617742Sralph return; 16379702Slinton 16389702Slinton for( f=opfunc; f->fop; f++ ) { 16399702Slinton if( o==f->fop ) goto convert; 16409702Slinton } 16419702Slinton return; 16429702Slinton 16439702Slinton convert: 164432931Sdonn if( p->in.right->in.op == ICON && p->in.right->tn.name[0] == '\0' ) 164532928Sdonn /* 'J', 'K' in zzzcode() -- assumes DIV or MOD operations */ 164632928Sdonn /* save a subroutine call -- use at most 5 instructions */ 164732928Sdonn return; 164832931Sdonn if( tlen(p->in.left) < SZINT/SZCHAR && tlen(p->in.right) < SZINT/SZCHAR ) 164932931Sdonn /* optim2() will modify the op into an ordinary int op */ 165032931Sdonn return; 16519702Slinton if( asgop( o ) ) { 165217742Sralph old = NIL; 165317715Sralph switch( p->in.left->in.op ){ 165417742Sralph case FLD: 165517742Sralph q = p->in.left->in.left; 165617742Sralph /* 165717742Sralph * rewrite (lval.fld /= rval); as 165817742Sralph * ((*temp).fld = udiv((*(temp = &lval)).fld,rval)); 165917742Sralph * else the compiler will evaluate lval twice. 166017742Sralph */ 166117742Sralph if( q->in.op == UNARY MUL ){ 166217742Sralph /* first allocate a temp storage */ 166317742Sralph temp = talloc(); 166417742Sralph temp->in.op = OREG; 166517742Sralph temp->tn.rval = TMPREG; 166617742Sralph temp->tn.lval = BITOOR(freetemp(1)); 166717742Sralph temp->in.type = INCREF(p->in.type); 166817742Sralph #ifdef FLEXNAMES 166917742Sralph temp->in.name = ""; 167017742Sralph #else 167117742Sralph temp->in.name[0] = '\0'; 167217742Sralph #endif 167317742Sralph old = q->in.left; 167417742Sralph q->in.left = temp; 167517742Sralph } 167617742Sralph /* fall thru ... */ 167717742Sralph 167817715Sralph case REG: 167917715Sralph case NAME: 168017715Sralph case OREG: 168117715Sralph /* change ASG OP to a simple OP */ 168217715Sralph q = talloc(); 168317715Sralph q->in.op = NOASG p->in.op; 168417715Sralph q->in.rall = NOPREF; 168517715Sralph q->in.type = p->in.type; 168617715Sralph q->in.left = tcopy(p->in.left); 168717715Sralph q->in.right = p->in.right; 168817715Sralph p->in.op = ASSIGN; 168917715Sralph p->in.right = q; 169017715Sralph p = q; 169117715Sralph f -= 2; /* Note: this depends on the table order */ 169217742Sralph /* on the right side only - replace *temp with 169317742Sralph *(temp = &lval), build the assignment node */ 169417742Sralph if( old ){ 169517742Sralph temp = q->in.left->in.left; /* the "*" node */ 169617742Sralph q = talloc(); 169717742Sralph q->in.op = ASSIGN; 169817742Sralph q->in.left = temp->in.left; 169917742Sralph q->in.right = old; 170017742Sralph q->in.type = old->in.type; 170117742Sralph #ifdef FLEXNAMES 170217742Sralph q->in.name = ""; 170317742Sralph #else 170417742Sralph q->in.name[0] = '\0'; 170517742Sralph #endif 170617742Sralph temp->in.left = q; 170717742Sralph } 170817715Sralph break; 17099702Slinton 171017715Sralph case UNARY MUL: 171117715Sralph /* avoid doing side effects twice */ 171217715Sralph q = p->in.left; 171317715Sralph p->in.left = q->in.left; 171417715Sralph q->in.op = FREE; 171517715Sralph break; 171617715Sralph 171717715Sralph default: 171817715Sralph cerror( "hardops: can't compute & LHS" ); 171917715Sralph } 172017742Sralph } 172117715Sralph 17229702Slinton /* build comma op for args to function */ 17239702Slinton q = talloc(); 17249702Slinton q->in.op = CM; 17259702Slinton q->in.rall = NOPREF; 17269702Slinton q->in.type = INT; 17279702Slinton q->in.left = p->in.left; 17289702Slinton q->in.right = p->in.right; 17299702Slinton p->in.op = CALL; 17309702Slinton p->in.right = q; 17319702Slinton 17329702Slinton /* put function name in left node of call */ 17339702Slinton p->in.left = q = talloc(); 17349702Slinton q->in.op = ICON; 17359702Slinton q->in.rall = NOPREF; 17369702Slinton q->in.type = INCREF( FTN + p->in.type ); 17379702Slinton #ifndef FLEXNAMES 17389702Slinton strcpy( q->in.name, f->func ); 17399702Slinton #else 17409702Slinton q->in.name = f->func; 17419702Slinton #endif 17429702Slinton q->tn.lval = 0; 17439702Slinton q->tn.rval = 0; 17449702Slinton 17459702Slinton } 17469702Slinton 174717742Sralph zappost(p) NODE *p; { 174817742Sralph /* look for ++ and -- operators and remove them */ 174917742Sralph 175032935Sdonn register int o, ty; 175117742Sralph register NODE *q; 175217742Sralph o = p->in.op; 175317742Sralph ty = optype( o ); 175417742Sralph 175517742Sralph switch( o ){ 175617742Sralph 175717742Sralph case INCR: 175817742Sralph case DECR: 175917742Sralph q = p->in.left; 176017742Sralph p->in.right->in.op = FREE; /* zap constant */ 176117742Sralph ncopy( p, q ); 176217742Sralph q->in.op = FREE; 176317742Sralph return; 176417742Sralph 176517742Sralph } 176617742Sralph 176717742Sralph if( ty == BITYPE ) zappost( p->in.right ); 176817742Sralph if( ty != LTYPE ) zappost( p->in.left ); 176917742Sralph } 177017742Sralph 177117742Sralph fixpre(p) NODE *p; { 177217742Sralph 177332935Sdonn register int o, ty; 177417742Sralph o = p->in.op; 177517742Sralph ty = optype( o ); 177617742Sralph 177717742Sralph switch( o ){ 177817742Sralph 177917742Sralph case ASG PLUS: 178017742Sralph p->in.op = PLUS; 178117742Sralph break; 178217742Sralph case ASG MINUS: 178317742Sralph p->in.op = MINUS; 178417742Sralph break; 178517742Sralph } 178617742Sralph 178717742Sralph if( ty == BITYPE ) fixpre( p->in.right ); 178817742Sralph if( ty != LTYPE ) fixpre( p->in.left ); 178917742Sralph } 179017742Sralph 179132935Sdonn /*ARGSUSED*/ 179232935Sdonn NODE * addroreg(l) NODE *l; 179332935Sdonn /* OREG was built in clocal() 179432935Sdonn * for an auto or formal parameter 179532935Sdonn * now its address is being taken 179632935Sdonn * local code must unwind it 179732935Sdonn * back to PLUS/MINUS REG ICON 179832935Sdonn * according to local conventions 179932935Sdonn */ 180032935Sdonn { 180132935Sdonn cerror("address of OREG taken"); 180232935Sdonn /*NOTREACHED*/ 180332935Sdonn } 180432935Sdonn 180532935Sdonn 180632935Sdonn 180732935Sdonn # ifndef ONEPASS 180832935Sdonn main( argc, argv ) char *argv[]; { 180932935Sdonn return( mainp2( argc, argv ) ); 181032935Sdonn } 181132935Sdonn # endif 181232935Sdonn 181324418Smckusick strip(p) register NODE *p; { 181424418Smckusick NODE *q; 181524418Smckusick 181624418Smckusick /* strip nodes off the top when no side effects occur */ 181724418Smckusick for( ; ; ) { 181824418Smckusick switch( p->in.op ) { 181924418Smckusick case SCONV: /* remove lint tidbits */ 182024418Smckusick q = p->in.left; 182124418Smckusick ncopy( p, q ); 182224418Smckusick q->in.op = FREE; 182324418Smckusick break; 182424418Smckusick /* could probably add a few more here */ 182524418Smckusick default: 182624418Smckusick return; 182724418Smckusick } 182824418Smckusick } 182924418Smckusick } 183024418Smckusick 18319702Slinton myreader(p) register NODE *p; { 183224418Smckusick strip( p ); /* strip off operations with no side effects */ 183317742Sralph canon( p ); /* expands r-vals for fields */ 18349702Slinton walkf( p, hardops ); /* convert ops to function calls */ 18359702Slinton walkf( p, optim2 ); 18369702Slinton } 1837