xref: /csrg-svn/old/pcc/ccom.vax/local2.c (revision 32941)
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