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