/* sparc desciptor table for ACK target optimizer */

MAXOP 3;
OPC_TERMINATOR '\t';

%%;

/* useful addressing modes-> */

NUM,NUM1,NUM2	{is_number(VAL)			};
REG		{VAL[0] == '%'			};
A,B,X,Y,Z	{TRUE				};

%%;

/* optimization patterns-> */
/* tricky because we cannot optimize an instruction that lives in a delay slot */

/* usage of delay slot: */

ANY X,Y,Z : st REG,B : call A : nop {no_delay(ANY)}
					->	ANY X,Y,Z : call A : st REG,B ;
ANY X,Y : st REG,B : call A : nop {no_delay(ANY)}
					->	ANY X,Y : call A : st REG,B ;
ANY X : st REG,B : call A : nop {no_delay(ANY)}
					->	ANY X : call A : st REG,B ;
ANY X,Y,Z : mov REG,B : call A : nop {no_delay(ANY)}
					->	ANY X,Y,Z : call A : mov REG,B ;
ANY X,Y : mov REG,B : call A : nop {no_delay(ANY)}
					->	ANY X,Y : call A : mov REG,B ;
ANY X : mov REG,B : call A : nop {no_delay(ANY)}
					->	ANY X : call A : mov REG,B ;
ANY X,Y,Z : st REG,B : b A : nop {no_delay(ANY)}
					->	ANY X,Y,Z : b A : st REG,B ;
ANY X,Y : st REG,B : b A : nop {no_delay(ANY)}
					->	ANY X,Y : b A : st REG,B ;
ANY X : st REG,B : b A : nop {no_delay(ANY)}
					->	ANY X : b A : st REG,B ;

/* inc/dec: */

ANY X,Y,Z : inc NUM,REG : dec NUM,REG {no_delay(ANY)}
					->	ANY X,Y,Z ;
ANY X,Y : inc NUM,REG : dec NUM,REG {no_delay(ANY)}
					->	ANY X,Y ;
ANY X : inc NUM,REG : dec NUM,REG {no_delay(ANY)}
					->	ANY X ;
ANY X,Y,Z : inc 0,REG {no_delay(ANY)}	->	ANY X,Y,Z ;
ANY X,Y : inc 0,REG {no_delay(ANY)}	->	ANY X,Y ;
ANY X : inc 0,REG {no_delay(ANY)}	->	ANY X ;
ANY X,Y,Z : inc NUM,REG : dec NUM1,REG {no_delay(ANY) && bigger(NUM,NUM1,NUM2)}
					->	ANY X,Y,Z : inc NUM2,REG ;
ANY X,Y : inc NUM,REG : dec NUM1,REG {no_delay(ANY) && bigger(NUM,NUM1,NUM2)}
					->	ANY X,Y : inc NUM2,REG ;
ANY X : inc NUM,REG : dec NUM1,REG {no_delay(ANY) && bigger(NUM,NUM1,NUM2)}
					->	ANY X : inc NUM2,REG ;
ANY X,Y,Z : inc NUM,REG : dec NUM1,REG {no_delay(ANY) && smaller(NUM,NUM1,NUM2)}
					->	ANY X,Y,Z : dec NUM2,REG ;
ANY X,Y : inc NUM,REG : dec NUM1,REG {no_delay(ANY) && smaller(NUM,NUM1,NUM2)}
					->	ANY X,Y : dec NUM2,REG ;
ANY X : inc NUM,REG : dec NUM1,REG {no_delay(ANY) && smaller(NUM,NUM1,NUM2)}
					->	ANY X : dec NUM2,REG ;

/* misc: */

ANY X,Y,Z : ld A,REG : ld A,REG1 {no_delay(ANY)}
					->	ANY X,Y,Z : ld A,REG : mov REG,REG1 ;
ANY X,Y : ld A,REG : ld A,REG1 {no_delay(ANY)}
					->	ANY X,Y : ld A,REG : mov REG,REG1 ;
ANY X : ld A,REG : ld A,REG1 {no_delay(ANY)}
					->	ANY X : ld A,REG : mov REG,REG1 ;
ANY X,Y,Z : st REG,A : ld A,REG1 {no_delay(ANY)}
					->	ANY X,Y,Z : st REG,A : mov REG,REG1 ;
ANY X,Y : st REG,A : ld A,REG1 {no_delay(ANY)}
					->	ANY X,Y : st REG,A : mov REG,REG1 ;
ANY X : st REG,A : ld A,REG1 {no_delay(ANY)}
					->	ANY X : st REG,A : mov REG,REG1 ;

%%;

/* auxiliary routines: */

int is_number(s)
	register char *s;
{
	while (*s != '\0') {
		if (*s < '0' || *s++ > '9') return FALSE;
	}
	return TRUE;
}

int bigger(s,s1,s2)
	char	*s,*s1,*s2;
{
	int	n = atoi(s),n1 = atoi(s1);

	if (n >= n1) {
		sprintf(s2,"%d",n-n1);
		return TRUE;
	}
	return FALSE;
}

int smaller(s,s1,s2)
	char	*s,*s1,*s2;
{
	int	n = atoi(s),n1 = atoi(s1);

	if (n < n1) {
		sprintf(s2,"%d",n1-n);
		return TRUE;
	}
	return FALSE;
}

int no_delay(s)
	char	*s;
{
	s[0] != 'b' && s[0] != 'j' && s[0] != 'r' &&
	s[1] != 'b' && strcmp(s,"call");
}