117742Sralph # ifndef lint 2*32942Sdonn static char *sccsid ="@(#)local2.c 1.36 (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 = ""; 47132941Sdonn /* size of floating argument is always 2 */ 47232941Sdonn 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') { 507*32942Sdonn if (r->tn.lval == 0 && 508*32942Sdonn (r->in.type == DOUBLE || r->in.type == FLOAT || 509*32942Sdonn !forarg)) { 510*32942Sdonn if (r->in.type == FLOAT) 511*32942Sdonn r->in.type = DOUBLE; 51232935Sdonn putstr("clr"); 51332935Sdonn prtype(l); 51432935Sdonn putchar('\t'); 51516418Sralph adrput(l); 51632935Sdonn goto cleanup; 51716418Sralph } 51832935Sdonn if (r->tn.lval < 0 && r->tn.lval >= -63) { 51932935Sdonn putstr("mneg"); 52032935Sdonn prtype(l); 52132935Sdonn r->tn.lval = -r->tn.lval; 52232935Sdonn goto ops; 52332935Sdonn } 52432935Sdonn if (r->tn.lval < 0) 52532935Sdonn r->in.type = r->tn.lval >= -128 ? CHAR 52632935Sdonn : (r->tn.lval >= -32768 ? SHORT 52732935Sdonn : INT); 52832935Sdonn else if (l->in.type == FLOAT || 52932935Sdonn l->in.type == DOUBLE) 53032935Sdonn r->in.type = r->tn.lval <= 63 ? INT 53132935Sdonn : (r->tn.lval <= 127 ? CHAR 53232935Sdonn : (r->tn.lval <= 32767 ? SHORT 53332935Sdonn : INT)); 53416418Sralph else 53532935Sdonn r->in.type = r->tn.lval <= 63 ? INT 53632935Sdonn : (r->tn.lval <= 127 ? CHAR 53732935Sdonn : (r->tn.lval <= 255 ? UCHAR 53832935Sdonn : (r->tn.lval <= 32767 ? SHORT 53932935Sdonn : (r->tn.lval <= 65535 ? USHORT 54032935Sdonn : INT)))); 54132938Sdonn if (forarg && r->in.type == INT) { 54232938Sdonn putstr("pushl\t"); 54332938Sdonn adrput(r); 54432938Sdonn goto cleanup; 54532938Sdonn } 54632935Sdonn } 54732935Sdonn else { 54832938Sdonn if (forarg && tlen(r) == SZINT/SZCHAR) { 54932938Sdonn putstr("pushl\t"); 55032938Sdonn adrput(r); 55132938Sdonn goto cleanup; 55232938Sdonn } 55332938Sdonn putstr("moval\t"); 55432935Sdonn acon(r); 55532935Sdonn putchar(','); 55632935Sdonn adrput(l); 55732935Sdonn goto cleanup; 55832935Sdonn } 5599702Slinton 56032935Sdonn if (p->in.op == SCONV && 56132935Sdonn !(l->in.type == FLOAT || l->in.type == DOUBLE) && 56232935Sdonn !mixtypes(l, r)) { 56332935Sdonn /* 56432935Sdonn * Because registers must always contain objects 56532935Sdonn * of the same width as INTs, we may have to 56632935Sdonn * perform two conversions to get an INT. Can 56732935Sdonn * the conversions be collapsed into one? 56832935Sdonn */ 56932935Sdonn if (m = collapsible(l, r)) 57032935Sdonn r->in.type = m; 57132935Sdonn else { 57232935Sdonn /* 57332935Sdonn * Two steps are required. 57432935Sdonn */ 57532940Sdonn NODE *x; 5769702Slinton 57732940Sdonn if (forarg) { 57832940Sdonn x = resc; 57932940Sdonn x->in.type = l->in.type; 58032940Sdonn } 58132940Sdonn else { 58232940Sdonn x = &resc[1]; 58332940Sdonn *x = *l; 58432940Sdonn } 58532940Sdonn 58632935Sdonn if (tlen(x) > tlen(r) && ISUNSIGNED(r->in.type)) 58732935Sdonn putstr("movz"); 58832935Sdonn else 58932935Sdonn putstr("cvt"); 59032935Sdonn prtype(r); 59132935Sdonn prtype(x); 59232935Sdonn putchar('\t'); 59332935Sdonn adrput(r); 59432935Sdonn putchar(','); 59532935Sdonn adrput(x); 59632935Sdonn putchar('\n'); 59732935Sdonn putchar('\t'); 59832935Sdonn r = x; 5999702Slinton } 60032935Sdonn l->in.type = (ISUNSIGNED(l->in.type) ? UNSIGNED : INT); 60132935Sdonn } 6029702Slinton 60332935Sdonn if ((r->in.type == UNSIGNED || r->in.type == ULONG) && 60432935Sdonn mixtypes(l, r)) { 60532935Sdonn int label1, label2; 60632940Sdonn NODE *x = NULL; 60732935Sdonn 60832940Sdonn #if defined(FORT) || defined(SPRECC) 60932940Sdonn if (forarg) 61032940Sdonn #else 61132940Sdonn if (forarg || l == resc) 61232940Sdonn #endif 61332940Sdonn { 61432940Sdonn /* compute in register, convert to double when done */ 61532940Sdonn x = l; 61632940Sdonn l = resc; 61732940Sdonn l->in.type = x->in.type; 61832940Sdonn } 61932940Sdonn 62032935Sdonn label1 = getlab(); 62132935Sdonn label2 = getlab(); 62232935Sdonn 62332935Sdonn putstr("movl\t"); 62432935Sdonn adrput(r); 62532935Sdonn putchar(','); 62632935Sdonn adrput(l); 62732935Sdonn putstr("\n\tjbsc\t$31,"); 62832935Sdonn adrput(l); 62932935Sdonn printf(",L%d\n\tcvtl", label1); 63032935Sdonn prtype(l); 63132935Sdonn putchar('\t'); 63232935Sdonn adrput(l); 63332935Sdonn putchar(','); 63432935Sdonn adrput(l); 63532935Sdonn printf("\n\tjbr\tL%d\nL%d:\n\tcvtl", label2, label1); 63632935Sdonn prtype(l); 63732935Sdonn putchar('\t'); 63832935Sdonn adrput(l); 63932935Sdonn putchar(','); 64032935Sdonn adrput(l); 64132935Sdonn putstr("\n\tadd"); 64232935Sdonn prtype(l); 64332935Sdonn putstr("2\t$0"); 64432935Sdonn prtype(l); 64532935Sdonn putstr("2.147483648e9,"); 64632935Sdonn adrput(l); 64732935Sdonn printf("\nL%d:", label2); 64832935Sdonn 64932940Sdonn if (!forarg && (l->in.type == DOUBLE || l != resc)) 65032940Sdonn goto cleanup; 65132940Sdonn if (x != NULL) { 65232940Sdonn if (l == x) { 65332940Sdonn r = &resc[1]; 65432940Sdonn *r = *l; 65532940Sdonn } 65632940Sdonn else { 65732940Sdonn r = l; 65832940Sdonn l = x; 65932940Sdonn } 66032940Sdonn l->in.type = DOUBLE; 66132940Sdonn } 66232940Sdonn putstr("\n\t"); 6639702Slinton } 66432935Sdonn 66532940Sdonn if( (l->in.type == FLOAT || l->in.type == DOUBLE) && 66632940Sdonn (r->in.type == UCHAR || r->in.type == USHORT) ) { 66732940Sdonn /* skip unnecessary unsigned to floating conversion */ 66832940Sdonn #if defined(FORT) || defined(SPRECC) 66932940Sdonn if (forarg) 67032940Sdonn #else 67132940Sdonn if (forarg || l == resc) 67232940Sdonn #endif 67332940Sdonn l->in.type = DOUBLE; 67432940Sdonn putstr("movz"); 67532940Sdonn prtype(r); 67632940Sdonn putstr("l\t"); 67732940Sdonn adrput(r); 67832940Sdonn putchar(','); 67932940Sdonn adrput(resc); 68032940Sdonn putstr("\n\t"); 68132940Sdonn if (l == resc) { 68232940Sdonn r = &resc[1]; 68332940Sdonn *r = *l; 68432940Sdonn } 68532940Sdonn else 68632940Sdonn r = resc; 68732940Sdonn r->in.type = INT; 68832940Sdonn } 68932940Sdonn 69032940Sdonn #if defined(FORT) || defined(SPRECC) 69132940Sdonn if (forarg && l->in.type == FLOAT) 69232940Sdonn #else 69332940Sdonn if ((forarg || l == resc) && l->in.type == FLOAT) 69432940Sdonn #endif 69532940Sdonn { 69632940Sdonn /* perform an implicit conversion to double */ 69732940Sdonn l->in.type = DOUBLE; 69832940Sdonn if (r->in.type != FLOAT && 69932940Sdonn r->in.type != CHAR && 70032940Sdonn r->in.type != SHORT) { 70132940Sdonn /* trim bits from the mantissa */ 70232940Sdonn putstr("cvt"); 70332940Sdonn prtype(r); 70432940Sdonn putstr("f\t"); 70532940Sdonn adrput(r); 70632940Sdonn putchar(','); 70732940Sdonn adrput(resc); 70832940Sdonn putstr("\n\t"); 70932940Sdonn if (l == resc) { 71032940Sdonn r = &resc[1]; 71132940Sdonn *r = *l; 71232940Sdonn } 71332940Sdonn else 71432940Sdonn r = resc; 71532940Sdonn r->in.type = FLOAT; 71632940Sdonn } 71732940Sdonn } 71832940Sdonn 71932935Sdonn if (!mixtypes(l,r)) { 72032935Sdonn if (tlen(l) == tlen(r)) { 72132938Sdonn if (forarg && tlen(l) == SZINT/SZCHAR) { 72232938Sdonn putstr("pushl\t"); 72332938Sdonn adrput(r); 72432938Sdonn goto cleanup; 72532938Sdonn } 72632935Sdonn putstr("mov"); 72732935Sdonn #ifdef FORT 72832935Sdonn if (Oflag) 72932935Sdonn prtype(l); 73032935Sdonn else { 73132935Sdonn if (l->in.type == DOUBLE) 73232935Sdonn putchar('q'); 73332935Sdonn else if(l->in.type == FLOAT) 73432935Sdonn putchar('l'); 73532935Sdonn else 73632935Sdonn prtype(l); 73732935Sdonn } 73832935Sdonn #else 73932935Sdonn prtype(l); 74032935Sdonn #endif FORT 74132935Sdonn goto ops; 74232935Sdonn } 74332935Sdonn else if (tlen(l) > tlen(r) && ISUNSIGNED(r->in.type)) 74432935Sdonn putstr("movz"); 74532935Sdonn else 74632935Sdonn putstr("cvt"); 74732935Sdonn } 74832935Sdonn else 74932935Sdonn putstr("cvt"); 75032935Sdonn prtype(r); 75132935Sdonn prtype(l); 75232935Sdonn ops: 75332935Sdonn putchar('\t'); 75432935Sdonn adrput(r); 75532935Sdonn putchar(','); 75632935Sdonn adrput(l); 75732935Sdonn 75832935Sdonn cleanup: 75932935Sdonn if (forarg) 76032935Sdonn tfree(l); 7619702Slinton } 7629702Slinton 76323536Sbloom /* 76423536Sbloom * collapsible(dest, src) -- if a conversion with a register destination 76523536Sbloom * can be accomplished in one instruction, return the type of src 76623536Sbloom * that will do the job correctly; otherwise return 0. Note that 76723536Sbloom * a register must always end up having type INT or UNSIGNED. 76823536Sbloom */ 76923536Sbloom int 77023536Sbloom collapsible(dest, src) 77123536Sbloom NODE *dest, *src; 77223536Sbloom { 77323536Sbloom int st = src->in.type; 77423536Sbloom int dt = dest->in.type; 77523536Sbloom int newt = 0; 77623536Sbloom 77723536Sbloom /* 77823536Sbloom * Are there side effects of evaluating src? 77923536Sbloom * If the derived type will not be the same size as src, 78024418Smckusick * we may have to use two steps. 78123536Sbloom */ 78224418Smckusick if (tlen(src) > tlen(dest)) { 78324418Smckusick if (tshape(src, STARREG)) 78424418Smckusick return (0); 78524418Smckusick if (src->in.op == OREG && R2TEST(src->tn.rval)) 78624418Smckusick return (0); 78724418Smckusick } 78823536Sbloom 78923536Sbloom /* 79023536Sbloom * Can we get an object of dest's type by punning src? 79123536Sbloom * Praises be to great Cthulhu for little-endian machines... 79223536Sbloom */ 79323536Sbloom if (st == CHAR && dt == USHORT) 79423536Sbloom /* 79523536Sbloom * Special case -- we must sign-extend to 16 bits. 79623536Sbloom */ 79723536Sbloom return (0); 79823536Sbloom 79923536Sbloom if (tlen(src) < tlen(dest)) 80023536Sbloom newt = st; 80123536Sbloom else 80223536Sbloom newt = dt; 80323536Sbloom 80423536Sbloom return (newt); 80523536Sbloom } 80623536Sbloom 80717742Sralph rmove( rt, rs, t ) TWORD t; { 8089702Slinton printf( " %s %s,%s\n", 80917742Sralph #ifdef FORT 81017742Sralph !Oflag ? (t==DOUBLE ? "movq" : "movl") : 81117742Sralph #endif 8129702Slinton (t==FLOAT ? "movf" : (t==DOUBLE ? "movd" : "movl")), 8139702Slinton rnames[rs], rnames[rt] ); 8149702Slinton } 8159702Slinton 8169702Slinton struct respref 8179702Slinton respref[] = { 8189702Slinton INTAREG|INTBREG, INTAREG|INTBREG, 8199702Slinton INAREG|INBREG, INAREG|INBREG|SOREG|STARREG|STARNM|SNAME|SCON, 8209702Slinton INTEMP, INTEMP, 8219702Slinton FORARG, FORARG, 8229702Slinton INTEMP, INTAREG|INAREG|INTBREG|INBREG|SOREG|STARREG|STARNM, 8239702Slinton 0, 0 }; 8249702Slinton 8259702Slinton setregs(){ /* set up temporary registers */ 8269702Slinton fregs = 6; /* tbl- 6 free regs on VAX (0-5) */ 8279702Slinton } 8289702Slinton 82932924Sdonn /*ARGSUSED*/ 8309702Slinton rewfld( p ) NODE *p; { 8319702Slinton return(1); 8329702Slinton } 8339702Slinton 83432924Sdonn /*ARGSUSED*/ 8359702Slinton callreg(p) NODE *p; { 8369702Slinton return( R0 ); 8379702Slinton } 8389702Slinton 8399702Slinton base( p ) register NODE *p; { 8409702Slinton register int o = p->in.op; 8419702Slinton 84232938Sdonn if( o==ICON && p->tn.name[0] != '\0' ) return( 100 ); /* ie no base reg */ 8439702Slinton if( o==REG ) return( p->tn.rval ); 8449702Slinton if( (o==PLUS || o==MINUS) && p->in.left->in.op == REG && p->in.right->in.op==ICON) 8459702Slinton return( p->in.left->tn.rval ); 8469702Slinton if( o==OREG && !R2TEST(p->tn.rval) && (p->in.type==INT || p->in.type==UNSIGNED || ISPTR(p->in.type)) ) 8479702Slinton return( p->tn.rval + 0200*1 ); 8489702Slinton if( o==INCR && p->in.left->in.op==REG ) return( p->in.left->tn.rval + 0200*2 ); 8499702Slinton if( o==ASG MINUS && p->in.left->in.op==REG) return( p->in.left->tn.rval + 0200*4 ); 8509702Slinton if( o==UNARY MUL && p->in.left->in.op==INCR && p->in.left->in.left->in.op==REG 8519702Slinton && (p->in.type==INT || p->in.type==UNSIGNED || ISPTR(p->in.type)) ) 8529702Slinton return( p->in.left->in.left->tn.rval + 0200*(1+2) ); 85332938Sdonn if( o==NAME ) return( 100 + 0200*1 ); 8549702Slinton return( -1 ); 8559702Slinton } 8569702Slinton 8579702Slinton offset( p, tyl ) register NODE *p; int tyl; { 8589702Slinton 85924418Smckusick if( tyl==1 && 86024418Smckusick p->in.op==REG && 86124418Smckusick (p->in.type==INT || p->in.type==UNSIGNED) ) 86224418Smckusick return( p->tn.rval ); 86324418Smckusick if( p->in.op==LS && 86424418Smckusick p->in.left->in.op==REG && 86524418Smckusick (p->in.left->in.type==INT || p->in.left->in.type==UNSIGNED) && 86624418Smckusick p->in.right->in.op==ICON && 86724418Smckusick p->in.right->in.name[0]=='\0' && 86824418Smckusick (1<<p->in.right->tn.lval)==tyl) 8699702Slinton return( p->in.left->tn.rval ); 87024418Smckusick if( tyl==2 && 87124418Smckusick p->in.op==PLUS && 87224418Smckusick (p->in.left->in.type==INT || p->in.left->in.type==UNSIGNED) && 87324418Smckusick p->in.left->in.op==REG && 87424418Smckusick p->in.right->in.op==REG && 87524418Smckusick p->in.left->tn.rval==p->in.right->tn.rval ) 87624418Smckusick return( p->in.left->tn.rval ); 8779702Slinton return( -1 ); 8789702Slinton } 8799702Slinton 8809702Slinton makeor2( p, q, b, o) register NODE *p, *q; register int b, o; { 8819702Slinton register NODE *t; 8829702Slinton NODE *f; 8839702Slinton 8849702Slinton p->in.op = OREG; 8859702Slinton f = p->in.left; /* have to free this subtree later */ 8869702Slinton 8879702Slinton /* init base */ 8889702Slinton switch (q->in.op) { 8899702Slinton case ICON: 8909702Slinton case REG: 8919702Slinton case OREG: 89232938Sdonn case NAME: 8939702Slinton t = q; 8949702Slinton break; 8959702Slinton 8969702Slinton case MINUS: 8979702Slinton q->in.right->tn.lval = -q->in.right->tn.lval; 8989702Slinton case PLUS: 8999702Slinton t = q->in.right; 9009702Slinton break; 9019702Slinton 9029702Slinton case INCR: 9039702Slinton case ASG MINUS: 9049702Slinton t = q->in.left; 9059702Slinton break; 9069702Slinton 9079702Slinton case UNARY MUL: 9089702Slinton t = q->in.left->in.left; 9099702Slinton break; 9109702Slinton 9119702Slinton default: 9129702Slinton cerror("illegal makeor2"); 9139702Slinton } 9149702Slinton 9159702Slinton p->tn.lval = t->tn.lval; 9169702Slinton #ifndef FLEXNAMES 91732924Sdonn { 91832924Sdonn register int i; 91932924Sdonn for(i=0; i<NCHNAM; ++i) 92032924Sdonn p->in.name[i] = t->in.name[i]; 92132924Sdonn } 9229702Slinton #else 9239702Slinton p->in.name = t->in.name; 9249702Slinton #endif 9259702Slinton 9269702Slinton /* init offset */ 9279702Slinton p->tn.rval = R2PACK( (b & 0177), o, (b>>7) ); 9289702Slinton 9299702Slinton tfree(f); 9309702Slinton return; 9319702Slinton } 9329702Slinton 9339702Slinton canaddr( p ) NODE *p; { 9349702Slinton register int o = p->in.op; 9359702Slinton 9369702Slinton if( o==NAME || o==REG || o==ICON || o==OREG || (o==UNARY MUL && shumul(p->in.left)) ) return(1); 9379702Slinton return(0); 9389702Slinton } 9399702Slinton 94032935Sdonn flshape( p ) NODE *p; { 94132935Sdonn register int o = p->in.op; 94232935Sdonn 94332935Sdonn return( o == REG || o == NAME || o == ICON || 94432935Sdonn (o == OREG && (!R2TEST(p->tn.rval) || tlen(p) == 1)) ); 9459702Slinton } 9469702Slinton 94732926Sdonn /* INTEMP shapes must not contain any temporary registers */ 9489702Slinton shtemp( p ) register NODE *p; { 94932926Sdonn int r; 95032926Sdonn 9519702Slinton if( p->in.op == STARG ) p = p->in.left; 95232926Sdonn 95332926Sdonn switch (p->in.op) { 95432926Sdonn case REG: 95532926Sdonn return( !istreg(p->tn.rval) ); 95632926Sdonn case OREG: 95732926Sdonn r = p->tn.rval; 95832926Sdonn if( R2TEST(r) ) { 95932926Sdonn if( istreg(R2UPK1(r)) ) 96032926Sdonn return(0); 96132926Sdonn r = R2UPK2(r); 96232926Sdonn } 96332926Sdonn return( !istreg(r) ); 96432926Sdonn case UNARY MUL: 96532926Sdonn p = p->in.left; 96632926Sdonn return( p->in.op != UNARY MUL && shtemp(p) ); 96732926Sdonn } 96832926Sdonn 96932926Sdonn if( optype( p->in.op ) != LTYPE ) return(0); 97032926Sdonn return(1); 9719702Slinton } 9729702Slinton 9739702Slinton shumul( p ) register NODE *p; { 97432935Sdonn register int o; 9759702Slinton extern int xdebug; 9769702Slinton 9779702Slinton if (xdebug) { 97832933Sdonn int val; 97932933Sdonn printf("shumul:\n"); 98032933Sdonn eprint(p, 0, &val, &val); 9819702Slinton } 9829702Slinton 9839702Slinton o = p->in.op; 9849702Slinton if( o == NAME || (o == OREG && !R2TEST(p->tn.rval)) || o == ICON ) return( STARNM ); 9859702Slinton 9869702Slinton if( ( o == INCR || o == ASG MINUS ) && 9879702Slinton ( p->in.left->in.op == REG && p->in.right->in.op == ICON ) && 9889702Slinton p->in.right->in.name[0] == '\0' ) 9899702Slinton { 99017659Sralph switch (p->in.type) 9919702Slinton { 9929702Slinton case CHAR|PTR: 9939702Slinton case UCHAR|PTR: 9949702Slinton o = 1; 9959702Slinton break; 9969702Slinton 9979702Slinton case SHORT|PTR: 9989702Slinton case USHORT|PTR: 9999702Slinton o = 2; 10009702Slinton break; 10019702Slinton 10029702Slinton case INT|PTR: 10039702Slinton case UNSIGNED|PTR: 10049702Slinton case LONG|PTR: 10059702Slinton case ULONG|PTR: 10069702Slinton case FLOAT|PTR: 10079702Slinton o = 4; 10089702Slinton break; 10099702Slinton 10109702Slinton case DOUBLE|PTR: 10119702Slinton o = 8; 10129702Slinton break; 10139702Slinton 10149702Slinton default: 101517742Sralph if ( ISPTR(p->in.type) && 101617742Sralph ISPTR(DECREF(p->in.type)) ) { 10179702Slinton o = 4; 10189702Slinton break; 10199702Slinton } 10209702Slinton else return(0); 10219702Slinton } 10229702Slinton return( p->in.right->tn.lval == o ? STARREG : 0); 10239702Slinton } 10249702Slinton 10259702Slinton return( 0 ); 10269702Slinton } 10279702Slinton 10289702Slinton adrcon( val ) CONSZ val; { 102924418Smckusick putchar( '$' ); 10309702Slinton printf( CONFMT, val ); 10319702Slinton } 10329702Slinton 10339702Slinton conput( p ) register NODE *p; { 10349702Slinton switch( p->in.op ){ 10359702Slinton 10369702Slinton case ICON: 10379702Slinton acon( p ); 10389702Slinton return; 10399702Slinton 10409702Slinton case REG: 104124418Smckusick putstr( rnames[p->tn.rval] ); 10429702Slinton return; 10439702Slinton 10449702Slinton default: 10459702Slinton cerror( "illegal conput" ); 10469702Slinton } 10479702Slinton } 10489702Slinton 104932923Sdonn /*ARGSUSED*/ 105032924Sdonn insput( p ) NODE *p; { 10519702Slinton cerror( "insput" ); 10529702Slinton } 10539702Slinton 105432928Sdonn upput( p, size ) NODE *p; int size; { 105532928Sdonn if( size == SZLONG && p->in.op == REG ) { 105632928Sdonn putstr( rnames[p->tn.rval + 1] ); 105732928Sdonn return; 105832928Sdonn } 10599702Slinton cerror( "upput" ); 10609702Slinton } 10619702Slinton 10629702Slinton adrput( p ) register NODE *p; { 10639702Slinton register int r; 10649702Slinton /* output an address, with offsets, from p */ 10659702Slinton 10669702Slinton if( p->in.op == FLD ){ 10679702Slinton p = p->in.left; 10689702Slinton } 10699702Slinton switch( p->in.op ){ 10709702Slinton 10719702Slinton case NAME: 10729702Slinton acon( p ); 10739702Slinton return; 10749702Slinton 10759702Slinton case ICON: 10769702Slinton /* addressable value of the constant */ 107724418Smckusick putchar( '$' ); 10789702Slinton acon( p ); 10799702Slinton return; 10809702Slinton 10819702Slinton case REG: 108224418Smckusick putstr( rnames[p->tn.rval] ); 10839702Slinton return; 10849702Slinton 10859702Slinton case OREG: 10869702Slinton r = p->tn.rval; 10879702Slinton if( R2TEST(r) ){ /* double indexing */ 10889702Slinton register int flags; 10899702Slinton 10909702Slinton flags = R2UPK3(r); 109124418Smckusick if( flags & 1 ) putchar('*'); 109224418Smckusick if( flags & 4 ) putchar('-'); 10939702Slinton if( p->tn.lval != 0 || p->in.name[0] != '\0' ) acon(p); 10949702Slinton if( R2UPK1(r) != 100) printf( "(%s)", rnames[R2UPK1(r)] ); 109524418Smckusick if( flags & 2 ) putchar('+'); 10969702Slinton printf( "[%s]", rnames[R2UPK2(r)] ); 10979702Slinton return; 10989702Slinton } 10999702Slinton if( r == AP ){ /* in the argument region */ 110032925Sdonn if( p->in.name[0] != '\0' ) werror( "bad arg temp" ); 11019702Slinton printf( CONFMT, p->tn.lval ); 110224418Smckusick putstr( "(ap)" ); 11039702Slinton return; 11049702Slinton } 11059702Slinton if( p->tn.lval != 0 || p->in.name[0] != '\0') acon( p ); 11069702Slinton printf( "(%s)", rnames[p->tn.rval] ); 11079702Slinton return; 11089702Slinton 11099702Slinton case UNARY MUL: 11109702Slinton /* STARNM or STARREG found */ 11119702Slinton if( tshape(p, STARNM) ) { 111224418Smckusick putchar( '*' ); 11139702Slinton adrput( p->in.left); 11149702Slinton } 11159702Slinton else { /* STARREG - really auto inc or dec */ 11169702Slinton register NODE *q; 11179702Slinton 111817659Sralph q = p->in.left; 111917742Sralph if( q->in.right->tn.lval != tlen(p) ) 112017742Sralph cerror("adrput: bad auto-increment/decrement"); 112117659Sralph printf("%s(%s)%s", (q->in.op==INCR ? "" : "-"), 112217659Sralph rnames[q->in.left->tn.rval], 112317659Sralph (q->in.op==INCR ? "+" : "") ); 11249702Slinton p->in.op = OREG; 112517659Sralph p->tn.rval = q->in.left->tn.rval; 112617659Sralph p->tn.lval = (q->in.op == INCR ? -q->in.right->tn.lval : 0); 11279702Slinton #ifndef FLEXNAMES 11289702Slinton p->in.name[0] = '\0'; 11299702Slinton #else 11309702Slinton p->in.name = ""; 11319702Slinton #endif 11329702Slinton tfree(q); 11339702Slinton } 11349702Slinton return; 11359702Slinton 11369702Slinton default: 11379702Slinton cerror( "illegal address" ); 11389702Slinton return; 11399702Slinton 11409702Slinton } 11419702Slinton 11429702Slinton } 11439702Slinton 11449702Slinton acon( p ) register NODE *p; { /* print out a constant */ 11459702Slinton 114632935Sdonn if( p->in.name[0] == '\0' ) 11479702Slinton printf( CONFMT, p->tn.lval); 114832935Sdonn else { 11499702Slinton #ifndef FLEXNAMES 11509702Slinton printf( "%.8s", p->in.name ); 11519702Slinton #else 115224418Smckusick putstr( p->in.name ); 11539702Slinton #endif 115432935Sdonn if( p->tn.lval != 0 ) { 115532935Sdonn putchar( '+' ); 115632935Sdonn printf( CONFMT, p->tn.lval ); 115732935Sdonn } 11589702Slinton } 11599702Slinton } 11609702Slinton 11619702Slinton genscall( p, cookie ) register NODE *p; { 11629702Slinton /* structure valued call */ 11639702Slinton return( gencall( p, cookie ) ); 11649702Slinton } 11659702Slinton 11669702Slinton /* tbl */ 11679702Slinton int gc_numbytes; 11689702Slinton /* tbl */ 11699702Slinton 117032924Sdonn /*ARGSUSED*/ 11719702Slinton gencall( p, cookie ) register NODE *p; { 11729702Slinton /* generate the call given by p */ 117316418Sralph register NODE *p1; 117432935Sdonn register int temp, temp1; 117532935Sdonn register int m; 11769702Slinton 11779702Slinton if( p->in.right ) temp = argsize( p->in.right ); 11789702Slinton else temp = 0; 11799702Slinton 11809702Slinton if( p->in.op == STCALL || p->in.op == UNARY STCALL ){ 11819702Slinton /* set aside room for structure return */ 11829702Slinton 11839702Slinton if( p->stn.stsize > temp ) temp1 = p->stn.stsize; 11849702Slinton else temp1 = temp; 11859702Slinton } 11869702Slinton 11879702Slinton if( temp > maxargs ) maxargs = temp; 11889702Slinton SETOFF(temp1,4); 11899702Slinton 11909702Slinton if( p->in.right ){ /* make temp node, put offset in, and generate args */ 119116418Sralph genargs( p->in.right ); 11929702Slinton } 11939702Slinton 11949702Slinton p1 = p->in.left; 11959702Slinton if( p1->in.op != ICON ){ 11969702Slinton if( p1->in.op != REG ){ 11979702Slinton if( p1->in.op != OREG || R2TEST(p1->tn.rval) ){ 11989702Slinton if( p1->in.op != NAME ){ 11999702Slinton order( p1, INAREG ); 12009702Slinton } 12019702Slinton } 12029702Slinton } 12039702Slinton } 12049702Slinton 12059702Slinton /* tbl 12069702Slinton setup gc_numbytes so reference to ZC works */ 12079702Slinton 12089702Slinton gc_numbytes = temp&(0x3ff); 12099702Slinton /* tbl */ 12109702Slinton 12119702Slinton p->in.op = UNARY CALL; 12129702Slinton m = match( p, INTAREG|INTBREG ); 12139702Slinton 12149702Slinton /* compensate for deficiency in 'ret' instruction ... wah,kre */ 12159702Slinton /* (plus in assignment to gc_numbytes above, for neatness only) */ 12169702Slinton if (temp >= 1024) 12179702Slinton printf(" addl2 $%d,sp\n", (temp&(~0x3ff))); 12189702Slinton 12199702Slinton return(m != MDONE); 12209702Slinton } 12219702Slinton 12229702Slinton /* tbl */ 12239702Slinton char * 12249702Slinton ccbranches[] = { 122532935Sdonn "eql", 122632935Sdonn "neq", 122732935Sdonn "leq", 122832935Sdonn "lss", 122932935Sdonn "geq", 123032935Sdonn "gtr", 123132935Sdonn "lequ", 123232935Sdonn "lssu", 123332935Sdonn "gequ", 123432935Sdonn "gtru", 12359702Slinton }; 12369702Slinton /* tbl */ 12379702Slinton 123832924Sdonn /*ARGSUSED*/ 12399702Slinton cbgen( o, lab, mode ) { /* printf conditional and unconditional branches */ 12409702Slinton 124132935Sdonn if( o != 0 && ( o < EQ || o > UGT ) ) 124232935Sdonn cerror( "bad conditional branch: %s", opst[o] ); 124332935Sdonn printf( " j%s L%d\n", o == 0 ? "br" : ccbranches[o-EQ], lab ); 12449702Slinton } 12459702Slinton 12469702Slinton nextcook( p, cookie ) NODE *p; { 12479702Slinton /* we have failed to match p with cookie; try another */ 12489702Slinton if( cookie == FORREW ) return( 0 ); /* hopeless! */ 12499702Slinton if( !(cookie&(INTAREG|INTBREG)) ) return( INTAREG|INTBREG ); 12509702Slinton if( !(cookie&INTEMP) && asgop(p->in.op) ) return( INTEMP|INAREG|INTAREG|INTBREG|INBREG ); 12519702Slinton return( FORREW ); 12529702Slinton } 12539702Slinton 125432924Sdonn /*ARGSUSED*/ 12559702Slinton lastchance( p, cook ) NODE *p; { 12569702Slinton /* forget it! */ 12579702Slinton return(0); 12589702Slinton } 12599702Slinton 12609702Slinton optim2( p ) register NODE *p; { 12619702Slinton /* do local tree transformations and optimizations */ 12629702Slinton 126332929Sdonn int o; 126432932Sdonn int i, mask; 126516181Sralph register NODE *l, *r; 12669702Slinton 126732929Sdonn switch( o = p->in.op ) { 12689702Slinton 12699702Slinton case AND: 127019933Smckusick /* commute L and R to eliminate complements and constants */ 127116181Sralph if( (l = p->in.left)->in.op == ICON && l->in.name[0] == 0 || 127216181Sralph l->in.op == COMPL ) { 12739702Slinton p->in.left = p->in.right; 127416181Sralph p->in.right = l; 12759702Slinton } 12769702Slinton case ASG AND: 12779702Slinton /* change meaning of AND to ~R&L - bic on pdp11 */ 12789702Slinton r = p->in.right; 127932931Sdonn if( r->in.op==ICON && r->in.name[0]==0 ) { 128032931Sdonn /* check for degenerate operations */ 128132931Sdonn l = p->in.left; 128232932Sdonn mask = (1 << tlen(l) * SZCHAR) - 1; 128332932Sdonn if( ISUNSIGNED(r->in.type) ) { 128432938Sdonn i = (~r->tn.lval & mask); 128532938Sdonn if( i == 0 ) { 128632932Sdonn r->in.op = FREE; 128732932Sdonn ncopy(p, l); 128832932Sdonn l->in.op = FREE; 128932932Sdonn break; 129032932Sdonn } 129132938Sdonn else if( i == mask ) 129232932Sdonn goto zero; 129332932Sdonn else 129432932Sdonn r->tn.lval = i; 129532938Sdonn break; 129632932Sdonn } 129732932Sdonn else if( r->tn.lval == mask && 129832932Sdonn tlen(l) < SZINT/SZCHAR ) { 129932932Sdonn r->in.op = SCONV; 130032932Sdonn r->in.left = l; 130132932Sdonn r->in.right = 0; 130232932Sdonn r->in.type = ENUNSIGN(l->in.type); 130332932Sdonn r->in.su = l->in.su > 1 ? l->in.su : 1; 130432932Sdonn ncopy(p, r); 130532932Sdonn p->in.left = r; 130632932Sdonn p->in.type = INT; 130732931Sdonn break; 130832931Sdonn } 130932931Sdonn /* complement constant */ 13109702Slinton r->tn.lval = ~r->tn.lval; 13119702Slinton } 13129702Slinton else if( r->in.op==COMPL ) { /* ~~A => A */ 13139702Slinton r->in.op = FREE; 13149702Slinton p->in.right = r->in.left; 13159702Slinton } 13169702Slinton else { /* insert complement node */ 131716181Sralph p->in.right = l = talloc(); 131816181Sralph l->in.op = COMPL; 131916181Sralph l->in.rall = NOPREF; 132016181Sralph l->in.type = r->in.type; 132116181Sralph l->in.left = r; 132216181Sralph l->in.right = NULL; 13239702Slinton } 13249702Slinton break; 13259702Slinton 132616181Sralph case SCONV: 132719933Smckusick l = p->in.left; 132817742Sralph #if defined(FORT) || defined(SPRECC) 132916573Sralph if( p->in.type == FLOAT || p->in.type == DOUBLE || 133019933Smckusick l->in.type == FLOAT || l->in.type == DOUBLE ) 133119933Smckusick return; 133216573Sralph #else 133319933Smckusick if( mixtypes(p, l) ) return; 133416573Sralph #endif 133532938Sdonn if( l->in.op == PCONV ) 133625751Sdonn return; 133732938Sdonn if( (l->in.op == CALL || l->in.op == UNARY CALL) && 133832938Sdonn l->in.type != INT && l->in.type != UNSIGNED ) 133932938Sdonn return; 134025751Sdonn 134119933Smckusick /* Only trust it to get it right if the size is the same */ 134219933Smckusick if( tlen(p) != tlen(l) ) 134319933Smckusick return; 134416181Sralph 134516181Sralph /* clobber conversion */ 134619933Smckusick if( l->in.op != FLD ) 134716181Sralph l->in.type = p->in.type; 134816181Sralph ncopy( p, l ); 134916181Sralph l->in.op = FREE; 135019933Smckusick 135116181Sralph break; 135216181Sralph 135324418Smckusick case ASSIGN: 135424418Smckusick /* 135524418Smckusick * Conversions are equivalent to assignments; 135624418Smckusick * when the two operations are combined, 135724418Smckusick * we can sometimes zap the conversion. 135824418Smckusick */ 135924418Smckusick r = p->in.right; 136024418Smckusick l = p->in.left; 136124418Smckusick if ( r->in.op == SCONV && 136224418Smckusick !mixtypes(l, r) && 136332922Sdonn l->in.op != FLD && 136424418Smckusick tlen(l) == tlen(r) ) { 136524418Smckusick p->in.right = r->in.left; 136624418Smckusick r->in.op = FREE; 136724418Smckusick } 136824418Smckusick break; 136924418Smckusick 137032929Sdonn case ULE: 137132929Sdonn case ULT: 137232929Sdonn case UGE: 137332929Sdonn case UGT: 137432931Sdonn p->in.op -= (UGE-GE); 137532931Sdonn if( degenerate(p) ) 137632931Sdonn break; 137732931Sdonn p->in.op += (UGE-GE); 137832931Sdonn break; 137932931Sdonn 138032929Sdonn case EQ: 138132929Sdonn case NE: 138232929Sdonn case LE: 138332929Sdonn case LT: 138432929Sdonn case GE: 138532929Sdonn case GT: 138632938Sdonn if( p->in.left->in.op == SCONV && 138732938Sdonn p->in.right->in.op == SCONV ) { 138832938Sdonn l = p->in.left; 138932938Sdonn r = p->in.right; 139032938Sdonn if( l->in.type == DOUBLE && 139132938Sdonn l->in.left->in.type == FLOAT && 139232938Sdonn r->in.left->in.type == FLOAT ) { 139332938Sdonn /* nuke the conversions */ 139432938Sdonn p->in.left = l->in.left; 139532938Sdonn p->in.right = r->in.left; 139632938Sdonn l->in.op = FREE; 139732938Sdonn r->in.op = FREE; 139832938Sdonn } 139932938Sdonn /* more? */ 140032938Sdonn } 140132931Sdonn (void) degenerate(p); 140232931Sdonn break; 140332931Sdonn 140432931Sdonn case DIV: 140532931Sdonn if( p->in.right->in.op == ICON && 140632931Sdonn p->in.right->tn.name[0] == '\0' && 140732931Sdonn ISUNSIGNED(p->in.right->in.type) && 140832931Sdonn (unsigned) p->in.right->tn.lval >= 0x80000000 ) { 140932931Sdonn /* easy to do here, harder to do in zzzcode() */ 141032931Sdonn p->in.op = UGE; 141132929Sdonn break; 141232931Sdonn } 141332931Sdonn case MOD: 141432931Sdonn case ASG DIV: 141532931Sdonn case ASG MOD: 141632931Sdonn /* 141732931Sdonn * optimize DIV and MOD 141832931Sdonn * 141932931Sdonn * basically we spot UCHAR and USHORT and try to do them 142032931Sdonn * as signed ints... apparently div+mul+sub is always 142132931Sdonn * faster than ediv for finding MOD on the VAX, when 142232931Sdonn * full unsigned MOD isn't needed. 142332931Sdonn * 142432931Sdonn * a curious fact: for MOD, cmp+sub and cmp+sub+cmp+sub 142532931Sdonn * are faster for unsigned dividend and a constant divisor 142632931Sdonn * in the right range (.5 to 1 of dividend's range for the 142732931Sdonn * first, .333+ to .5 for the second). full unsigned is 142832931Sdonn * already done cmp+sub in the appropriate case; the 142932931Sdonn * other cases are less common and require more ambition. 143032931Sdonn */ 143132931Sdonn if( degenerate(p) ) 143232929Sdonn break; 143332931Sdonn l = p->in.left; 143432931Sdonn r = p->in.right; 143532931Sdonn if( !ISUNSIGNED(r->in.type) || 143632931Sdonn tlen(l) >= SZINT/SZCHAR || 143732931Sdonn !(tlen(r) < SZINT/SZCHAR || 143832931Sdonn (r->in.op == ICON && r->tn.name[0] == '\0')) ) 143932929Sdonn break; 144032931Sdonn if( r->in.op == ICON ) 144132931Sdonn r->tn.type = INT; 144232931Sdonn else { 144332931Sdonn NODE *t = talloc(); 144432931Sdonn t->in.left = r; 144532931Sdonn r = t; 144632931Sdonn r->in.op = SCONV; 144732931Sdonn r->in.type = INT; 144832931Sdonn r->in.right = 0; 144932931Sdonn p->in.right = r; 145032931Sdonn } 145132931Sdonn if( o == DIV || o == MOD ) { 145232931Sdonn NODE *t = talloc(); 145332931Sdonn t->in.left = l; 145432931Sdonn l = t; 145532931Sdonn l->in.op = SCONV; 145632931Sdonn l->in.type = INT; 145732931Sdonn l->in.right = 0; 145832931Sdonn p->in.left = l; 145932931Sdonn } 146032931Sdonn /* handle asgops in table */ 146132931Sdonn break; 146232931Sdonn 146332931Sdonn case RS: 146432931Sdonn case ASG RS: 146532931Sdonn case LS: 146632931Sdonn case ASG LS: 146732931Sdonn /* pick up degenerate shifts */ 146832931Sdonn l = p->in.left; 146932931Sdonn r = p->in.right; 147032931Sdonn if( !(r->in.op == ICON && r->tn.name[0] == '\0') ) 147132929Sdonn break; 147232929Sdonn i = r->tn.lval; 147332931Sdonn if( i < 0 ) 147432931Sdonn /* front end 'fixes' this? */ 147532931Sdonn if( o == LS || o == ASG LS ) 147632931Sdonn o += (RS-LS); 147732931Sdonn else 147832931Sdonn o += (LS-RS); 147932931Sdonn if( (o == RS || o == ASG RS) && 148032931Sdonn !ISUNSIGNED(l->in.type) ) 148132931Sdonn /* can't optimize signed right shifts */ 148232929Sdonn break; 148332935Sdonn if( o == LS ) { 148432935Sdonn if( i < SZINT ) 148532935Sdonn break; 148632935Sdonn } 148732935Sdonn else { 148832935Sdonn if( i < tlen(l) * SZCHAR ) 148932935Sdonn break; 149032935Sdonn } 149132931Sdonn zero: 149232931Sdonn if( !asgop( o ) ) 149332931Sdonn if( tshape(l, SAREG|SNAME|SCON|SOREG|STARNM) ) { 149432931Sdonn /* no side effects */ 149532932Sdonn tfree(l); 149632931Sdonn ncopy(p, r); 149732931Sdonn r->in.op = FREE; 149832931Sdonn p->tn.lval = 0; 149932931Sdonn } 150032931Sdonn else { 150132931Sdonn p->in.op = COMOP; 150232932Sdonn r->tn.lval = 0; 150332931Sdonn } 150432931Sdonn else { 150532931Sdonn p->in.op = ASSIGN; 150632931Sdonn r->tn.lval = 0; 150732929Sdonn } 150832931Sdonn break; 150932931Sdonn } 151032931Sdonn } 151132931Sdonn 151232931Sdonn degenerate(p) register NODE *p; { 151332931Sdonn int o; 151432931Sdonn int result, i; 151532931Sdonn int lower, upper; 151632931Sdonn register NODE *l, *r; 151732931Sdonn 151832931Sdonn /* 151932931Sdonn * try to keep degenerate comparisons with constants 152032931Sdonn * out of the table. 152132931Sdonn */ 152232931Sdonn r = p->in.right; 152332931Sdonn l = p->in.left; 152432931Sdonn if( r->in.op != ICON || 152532931Sdonn r->tn.name[0] != '\0' || 152632931Sdonn tlen(l) >= tlen(r) ) 152732931Sdonn return (0); 152832931Sdonn switch( l->in.type ) { 152932931Sdonn case CHAR: 153032931Sdonn lower = -(1 << SZCHAR - 1); 153132931Sdonn upper = (1 << SZCHAR - 1) - 1; 153232931Sdonn break; 153332931Sdonn case UCHAR: 153432931Sdonn lower = 0; 153532931Sdonn upper = (1 << SZCHAR) - 1; 153632931Sdonn break; 153732931Sdonn case SHORT: 153832931Sdonn lower = -(1 << SZSHORT - 1); 153932931Sdonn upper = (1 << SZSHORT - 1) - 1; 154032931Sdonn break; 154132931Sdonn case USHORT: 154232931Sdonn lower = 0; 154332931Sdonn upper = (1 << SZSHORT) - 1; 154432931Sdonn break; 154532931Sdonn default: 154632932Sdonn cerror("unsupported type in degenerate()"); 154732931Sdonn } 154832931Sdonn i = r->tn.lval; 154932931Sdonn switch( o = p->in.op ) { 155032931Sdonn case DIV: 155132931Sdonn case ASG DIV: 155232931Sdonn case MOD: 155332931Sdonn case ASG MOD: 155432931Sdonn /* DIV and MOD work like EQ */ 155532931Sdonn case EQ: 155632931Sdonn case NE: 155732931Sdonn if( lower == 0 && (unsigned) i > upper ) 155832931Sdonn result = o == NE; 155932931Sdonn else if( i < lower || i > upper ) 156032931Sdonn result = o == NE; 156132931Sdonn else 156232931Sdonn return (0); 156332931Sdonn break; 156432931Sdonn case LT: 156532931Sdonn case GE: 156632931Sdonn if( lower == 0 && (unsigned) i > upper ) 156732931Sdonn result = o == LT; 156832931Sdonn else if( i <= lower ) 156932931Sdonn result = o != LT; 157032931Sdonn else if( i > upper ) 157132931Sdonn result = o == LT; 157232931Sdonn else 157332931Sdonn return (0); 157432931Sdonn break; 157532931Sdonn case LE: 157632931Sdonn case GT: 157732931Sdonn if( lower == 0 && (unsigned) i >= upper ) 157832931Sdonn result = o == LE; 157932931Sdonn else if( i < lower ) 158032931Sdonn result = o != LE; 158132931Sdonn else if( i >= upper ) 158232931Sdonn result = o == LE; 158332931Sdonn else 158432931Sdonn return (0); 158532931Sdonn break; 158632931Sdonn default: 158732931Sdonn cerror("unknown op in degenerate()"); 158832931Sdonn } 158932931Sdonn 159032931Sdonn if( o == MOD || o == ASG MOD ) { 159132931Sdonn r->in.op = FREE; 159232931Sdonn ncopy(p, l); 159332931Sdonn l->in.op = FREE; 159432931Sdonn } 159532931Sdonn else if( o != ASG DIV && tshape(l, SAREG|SNAME|SCON|SOREG|STARNM) ) { 159632931Sdonn /* no side effects */ 159732932Sdonn tfree(l); 159832931Sdonn ncopy(p, r); 159932931Sdonn r->in.op = FREE; 160032931Sdonn p->tn.lval = result; 160132931Sdonn } 160232931Sdonn else { 160332931Sdonn if( o == ASG DIV ) 160432931Sdonn p->in.op = ASSIGN; 160532929Sdonn else { 160632929Sdonn p->in.op = COMOP; 160732929Sdonn r->tn.type = INT; 160832929Sdonn } 160932931Sdonn r->tn.lval = result; 16109702Slinton } 161132931Sdonn if( logop(o) ) 161232931Sdonn p->in.type = INT; 161332931Sdonn 161432931Sdonn return (1); 16159702Slinton } 16169702Slinton 16179702Slinton /* added by jwf */ 16189702Slinton struct functbl { 16199702Slinton int fop; 16209702Slinton TWORD ftype; 16219702Slinton char *func; 16229702Slinton } opfunc[] = { 16239702Slinton DIV, TANY, "udiv", 16249702Slinton MOD, TANY, "urem", 162517715Sralph ASG DIV, TANY, "audiv", 162617715Sralph ASG MOD, TANY, "aurem", 16279702Slinton 0, 0, 0 }; 16289702Slinton 16299702Slinton hardops(p) register NODE *p; { 16309702Slinton /* change hard to do operators into function calls. */ 16319702Slinton register NODE *q; 16329702Slinton register struct functbl *f; 16339702Slinton register o; 163417742Sralph NODE *old,*temp; 16359702Slinton 16369702Slinton o = p->in.op; 163717742Sralph if( ! (optype(o)==BITYPE && 163817742Sralph (ISUNSIGNED(p->in.left->in.type) || 163917742Sralph ISUNSIGNED(p->in.right->in.type))) ) 164017742Sralph return; 16419702Slinton 16429702Slinton for( f=opfunc; f->fop; f++ ) { 16439702Slinton if( o==f->fop ) goto convert; 16449702Slinton } 16459702Slinton return; 16469702Slinton 16479702Slinton convert: 164832931Sdonn if( p->in.right->in.op == ICON && p->in.right->tn.name[0] == '\0' ) 164932928Sdonn /* 'J', 'K' in zzzcode() -- assumes DIV or MOD operations */ 165032928Sdonn /* save a subroutine call -- use at most 5 instructions */ 165132928Sdonn return; 165232931Sdonn if( tlen(p->in.left) < SZINT/SZCHAR && tlen(p->in.right) < SZINT/SZCHAR ) 165332931Sdonn /* optim2() will modify the op into an ordinary int op */ 165432931Sdonn return; 16559702Slinton if( asgop( o ) ) { 165617742Sralph old = NIL; 165717715Sralph switch( p->in.left->in.op ){ 165817742Sralph case FLD: 165917742Sralph q = p->in.left->in.left; 166017742Sralph /* 166117742Sralph * rewrite (lval.fld /= rval); as 166217742Sralph * ((*temp).fld = udiv((*(temp = &lval)).fld,rval)); 166317742Sralph * else the compiler will evaluate lval twice. 166417742Sralph */ 166517742Sralph if( q->in.op == UNARY MUL ){ 166617742Sralph /* first allocate a temp storage */ 166717742Sralph temp = talloc(); 166817742Sralph temp->in.op = OREG; 166917742Sralph temp->tn.rval = TMPREG; 167017742Sralph temp->tn.lval = BITOOR(freetemp(1)); 167117742Sralph temp->in.type = INCREF(p->in.type); 167217742Sralph #ifdef FLEXNAMES 167317742Sralph temp->in.name = ""; 167417742Sralph #else 167517742Sralph temp->in.name[0] = '\0'; 167617742Sralph #endif 167717742Sralph old = q->in.left; 167817742Sralph q->in.left = temp; 167917742Sralph } 168017742Sralph /* fall thru ... */ 168117742Sralph 168217715Sralph case REG: 168317715Sralph case NAME: 168417715Sralph case OREG: 168517715Sralph /* change ASG OP to a simple OP */ 168617715Sralph q = talloc(); 168717715Sralph q->in.op = NOASG p->in.op; 168817715Sralph q->in.rall = NOPREF; 168917715Sralph q->in.type = p->in.type; 169017715Sralph q->in.left = tcopy(p->in.left); 169117715Sralph q->in.right = p->in.right; 169217715Sralph p->in.op = ASSIGN; 169317715Sralph p->in.right = q; 169417715Sralph p = q; 169517715Sralph f -= 2; /* Note: this depends on the table order */ 169617742Sralph /* on the right side only - replace *temp with 169717742Sralph *(temp = &lval), build the assignment node */ 169817742Sralph if( old ){ 169917742Sralph temp = q->in.left->in.left; /* the "*" node */ 170017742Sralph q = talloc(); 170117742Sralph q->in.op = ASSIGN; 170217742Sralph q->in.left = temp->in.left; 170317742Sralph q->in.right = old; 170417742Sralph q->in.type = old->in.type; 170517742Sralph #ifdef FLEXNAMES 170617742Sralph q->in.name = ""; 170717742Sralph #else 170817742Sralph q->in.name[0] = '\0'; 170917742Sralph #endif 171017742Sralph temp->in.left = q; 171117742Sralph } 171217715Sralph break; 17139702Slinton 171417715Sralph case UNARY MUL: 171517715Sralph /* avoid doing side effects twice */ 171617715Sralph q = p->in.left; 171717715Sralph p->in.left = q->in.left; 171817715Sralph q->in.op = FREE; 171917715Sralph break; 172017715Sralph 172117715Sralph default: 172217715Sralph cerror( "hardops: can't compute & LHS" ); 172317715Sralph } 172417742Sralph } 172517715Sralph 17269702Slinton /* build comma op for args to function */ 17279702Slinton q = talloc(); 17289702Slinton q->in.op = CM; 17299702Slinton q->in.rall = NOPREF; 17309702Slinton q->in.type = INT; 17319702Slinton q->in.left = p->in.left; 17329702Slinton q->in.right = p->in.right; 17339702Slinton p->in.op = CALL; 17349702Slinton p->in.right = q; 17359702Slinton 17369702Slinton /* put function name in left node of call */ 17379702Slinton p->in.left = q = talloc(); 17389702Slinton q->in.op = ICON; 17399702Slinton q->in.rall = NOPREF; 17409702Slinton q->in.type = INCREF( FTN + p->in.type ); 17419702Slinton #ifndef FLEXNAMES 17429702Slinton strcpy( q->in.name, f->func ); 17439702Slinton #else 17449702Slinton q->in.name = f->func; 17459702Slinton #endif 17469702Slinton q->tn.lval = 0; 17479702Slinton q->tn.rval = 0; 17489702Slinton 17499702Slinton } 17509702Slinton 175117742Sralph zappost(p) NODE *p; { 175217742Sralph /* look for ++ and -- operators and remove them */ 175317742Sralph 175432935Sdonn register int o, ty; 175517742Sralph register NODE *q; 175617742Sralph o = p->in.op; 175717742Sralph ty = optype( o ); 175817742Sralph 175917742Sralph switch( o ){ 176017742Sralph 176117742Sralph case INCR: 176217742Sralph case DECR: 176317742Sralph q = p->in.left; 176417742Sralph p->in.right->in.op = FREE; /* zap constant */ 176517742Sralph ncopy( p, q ); 176617742Sralph q->in.op = FREE; 176717742Sralph return; 176817742Sralph 176917742Sralph } 177017742Sralph 177117742Sralph if( ty == BITYPE ) zappost( p->in.right ); 177217742Sralph if( ty != LTYPE ) zappost( p->in.left ); 177317742Sralph } 177417742Sralph 177517742Sralph fixpre(p) NODE *p; { 177617742Sralph 177732935Sdonn register int o, ty; 177817742Sralph o = p->in.op; 177917742Sralph ty = optype( o ); 178017742Sralph 178117742Sralph switch( o ){ 178217742Sralph 178317742Sralph case ASG PLUS: 178417742Sralph p->in.op = PLUS; 178517742Sralph break; 178617742Sralph case ASG MINUS: 178717742Sralph p->in.op = MINUS; 178817742Sralph break; 178917742Sralph } 179017742Sralph 179117742Sralph if( ty == BITYPE ) fixpre( p->in.right ); 179217742Sralph if( ty != LTYPE ) fixpre( p->in.left ); 179317742Sralph } 179417742Sralph 179532935Sdonn /*ARGSUSED*/ 179632935Sdonn NODE * addroreg(l) NODE *l; 179732935Sdonn /* OREG was built in clocal() 179832935Sdonn * for an auto or formal parameter 179932935Sdonn * now its address is being taken 180032935Sdonn * local code must unwind it 180132935Sdonn * back to PLUS/MINUS REG ICON 180232935Sdonn * according to local conventions 180332935Sdonn */ 180432935Sdonn { 180532935Sdonn cerror("address of OREG taken"); 180632935Sdonn /*NOTREACHED*/ 180732935Sdonn } 180832935Sdonn 180932935Sdonn 181032935Sdonn 181132935Sdonn # ifndef ONEPASS 181232935Sdonn main( argc, argv ) char *argv[]; { 181332935Sdonn return( mainp2( argc, argv ) ); 181432935Sdonn } 181532935Sdonn # endif 181632935Sdonn 181724418Smckusick strip(p) register NODE *p; { 181824418Smckusick NODE *q; 181924418Smckusick 182024418Smckusick /* strip nodes off the top when no side effects occur */ 182124418Smckusick for( ; ; ) { 182224418Smckusick switch( p->in.op ) { 182324418Smckusick case SCONV: /* remove lint tidbits */ 182424418Smckusick q = p->in.left; 182524418Smckusick ncopy( p, q ); 182624418Smckusick q->in.op = FREE; 182724418Smckusick break; 182824418Smckusick /* could probably add a few more here */ 182924418Smckusick default: 183024418Smckusick return; 183124418Smckusick } 183224418Smckusick } 183324418Smckusick } 183424418Smckusick 18359702Slinton myreader(p) register NODE *p; { 183624418Smckusick strip( p ); /* strip off operations with no side effects */ 183717742Sralph canon( p ); /* expands r-vals for fields */ 18389702Slinton walkf( p, hardops ); /* convert ops to function calls */ 18399702Slinton walkf( p, optim2 ); 18409702Slinton } 1841