Home | History | Annotate | Line # | Download | only in test
      1  1.1  christos /*	$NetBSD: btyacc_calc1.y,v 1.2 2026/01/18 16:41:29 christos Exp $	*/
      2  1.1  christos 
      3  1.1  christos %PURE_PARSER
      4  1.1  christos %{
      5  1.1  christos 
      6  1.1  christos /* http://dinosaur.compilertools.net/yacc/index.html */
      7  1.1  christos 
      8  1.1  christos #include <stdlib.h>
      9  1.1  christos #include <stdio.h>
     10  1.1  christos #include <ctype.h>
     11  1.1  christos #include <math.h>
     12  1.1  christos 
     13  1.1  christos typedef struct interval
     14  1.1  christos {
     15  1.1  christos     double lo, hi;
     16  1.1  christos }
     17  1.1  christos INTERVAL;
     18  1.1  christos 
     19  1.1  christos INTERVAL vmul(double, double, INTERVAL);
     20  1.1  christos INTERVAL vdiv(double, double, INTERVAL);
     21  1.1  christos 
     22  1.1  christos int dcheck(INTERVAL);
     23  1.1  christos 
     24  1.1  christos double dreg[26];
     25  1.1  christos INTERVAL vreg[26];
     26  1.1  christos 
     27  1.1  christos %}
     28  1.1  christos %expect 17
     29  1.1  christos 
     30  1.1  christos %start lines
     31  1.1  christos %union
     32  1.1  christos {
     33  1.1  christos 	int ival;
     34  1.1  christos 	double dval;
     35  1.1  christos 	INTERVAL vval;
     36  1.1  christos }
     37  1.1  christos 
     38  1.1  christos %token <ival> DREG VREG		/* indices into dreg, vreg arrays */
     39  1.1  christos %token <dval> CONST		/* floating point constant */
     40  1.1  christos 
     41  1.1  christos %type <dval> dexp		/* expression */
     42  1.1  christos %type <vval> vexp		/* interval expression */
     43  1.1  christos 
     44  1.1  christos 	/* precedence information about the operators */
     45  1.1  christos 
     46  1.1  christos %left '+' '-'
     47  1.1  christos %left '*' '/'
     48  1.1  christos %right UMINUS			/* precedence for unary minus */
     49  1.1  christos 
     50  1.1  christos %%	/* beginning of rules section */
     51  1.1  christos 
     52  1.1  christos lines   : /* empty */
     53  1.1  christos 	| lines line '\n' [YYVALID;]
     54  1.1  christos 	| lines error '\n' [YYVALID;]
     55  1.1  christos 	{
     56  1.1  christos 		yyerrok;
     57  1.1  christos 	}
     58  1.1  christos 	;
     59  1.1  christos 
     60  1.1  christos line	: dexp
     61  1.1  christos 	{
     62  1.1  christos 		(void) printf("%15.8f\n", $1);
     63  1.1  christos 	}
     64  1.1  christos 	| vexp
     65  1.1  christos 	{
     66  1.1  christos 		(void) printf("(%15.8f, %15.8f)\n", $1.lo, $1.hi);
     67  1.1  christos 	}
     68  1.1  christos 	| DREG '=' dexp
     69  1.1  christos 	{
     70  1.1  christos 		dreg[$1] = $3;
     71  1.1  christos 	}
     72  1.1  christos 	| VREG '=' vexp
     73  1.1  christos 	{
     74  1.1  christos 		vreg[$1] = $3;
     75  1.1  christos 	}
     76  1.1  christos 	;
     77  1.1  christos 
     78  1.1  christos dexp	: CONST
     79  1.1  christos 	| DREG
     80  1.1  christos 	{
     81  1.1  christos 		$$ = dreg[$1];
     82  1.1  christos 	}
     83  1.1  christos 	| dexp '+' dexp
     84  1.1  christos 	{
     85  1.1  christos 		$$ = $1 + $3;
     86  1.1  christos 	}
     87  1.1  christos 	| dexp '-' dexp
     88  1.1  christos 	{
     89  1.1  christos 		$$ = $1 - $3;
     90  1.1  christos 	}
     91  1.1  christos 	| dexp '*' dexp
     92  1.1  christos 	{
     93  1.1  christos 		$$ = $1 * $3;
     94  1.1  christos 	}
     95  1.1  christos 	| dexp '/' dexp
     96  1.1  christos 	{
     97  1.1  christos 		$$ = $1 / $3;
     98  1.1  christos 	}
     99  1.1  christos 	| '-' dexp %prec UMINUS
    100  1.1  christos 	{
    101  1.1  christos 		$$ = -$2;
    102  1.1  christos 	}
    103  1.1  christos 	| '(' dexp ')'
    104  1.1  christos 	{
    105  1.1  christos 		$$ = $2;
    106  1.1  christos 	}
    107  1.1  christos 	;
    108  1.1  christos 
    109  1.1  christos vexp	: dexp
    110  1.1  christos 	{
    111  1.1  christos 		$$.hi = $$.lo = $1;
    112  1.1  christos 	}
    113  1.1  christos 	| '(' dexp ',' dexp ')'
    114  1.1  christos 	{
    115  1.1  christos 		$$.lo = $2;
    116  1.1  christos 		$$.hi = $4;
    117  1.2  christos 		if ( $$.lo > $$.hi )
    118  1.1  christos 		{
    119  1.1  christos 			(void) printf("interval out of order\n");
    120  1.1  christos 			YYERROR;
    121  1.1  christos 		}
    122  1.1  christos 	}
    123  1.1  christos 	| VREG
    124  1.1  christos 	{
    125  1.1  christos 		$$ = vreg[$1];
    126  1.1  christos 	}
    127  1.1  christos 	| vexp '+' vexp
    128  1.1  christos 	{
    129  1.1  christos 		$$.hi = $1.hi + $3.hi;
    130  1.1  christos 		$$.lo = $1.lo + $3.lo;
    131  1.1  christos 	}
    132  1.1  christos 	| dexp '+' vexp
    133  1.1  christos 	{
    134  1.1  christos 		$$.hi = $1 + $3.hi;
    135  1.1  christos 		$$.lo = $1 + $3.lo;
    136  1.1  christos 	}
    137  1.1  christos 	| vexp '-' vexp
    138  1.1  christos 	{
    139  1.1  christos 		$$.hi = $1.hi - $3.lo;
    140  1.1  christos 		$$.lo = $1.lo - $3.hi;
    141  1.1  christos 	}
    142  1.1  christos 	| dexp '-' vexp
    143  1.1  christos 	{
    144  1.1  christos 		$$.hi = $1 - $3.lo;
    145  1.1  christos 		$$.lo = $1 - $3.hi;
    146  1.1  christos 	}
    147  1.1  christos 	| vexp '*' vexp
    148  1.1  christos 	{
    149  1.1  christos 		$$ = vmul( $1.lo, $1.hi, $3 );
    150  1.1  christos 	}
    151  1.1  christos 	| dexp '*' vexp
    152  1.1  christos 	{
    153  1.1  christos 		$$ = vmul ($1, $1, $3 );
    154  1.1  christos 	}
    155  1.1  christos 	| vexp '/' vexp
    156  1.1  christos 	{
    157  1.1  christos 		if (dcheck($3)) YYERROR;
    158  1.1  christos 		$$ = vdiv ( $1.lo, $1.hi, $3 );
    159  1.1  christos 	}
    160  1.1  christos 	| dexp '/' vexp
    161  1.1  christos 	{
    162  1.1  christos 		if (dcheck ( $3 )) YYERROR;
    163  1.1  christos 		$$ = vdiv ($1, $1, $3 );
    164  1.1  christos 	}
    165  1.1  christos 	| '-' vexp %prec UMINUS
    166  1.1  christos 	{
    167  1.1  christos 		$$.hi = -$2.lo;
    168  1.1  christos 		$$.lo = -$2.hi;
    169  1.1  christos 	}
    170  1.1  christos 	| '(' vexp ')'
    171  1.1  christos 	{
    172  1.1  christos 		$$ = $2;
    173  1.1  christos 	}
    174  1.1  christos 	;
    175  1.1  christos 
    176  1.1  christos %%	/* beginning of subroutines section */
    177  1.1  christos 
    178  1.1  christos int
    179  1.1  christos main (void)
    180  1.1  christos {
    181  1.1  christos     while(!feof(stdin)) {
    182  1.1  christos 	yyparse();
    183  1.1  christos     }
    184  1.1  christos     return 0;
    185  1.1  christos }
    186  1.1  christos 
    187  1.1  christos #define BSZ 50			/* buffer size for floating point numbers */
    188  1.1  christos 
    189  1.1  christos static void
    190  1.1  christos YYERROR_DECL()
    191  1.1  christos {
    192  1.1  christos     fprintf(stderr, "%s\n", s);
    193  1.1  christos }
    194  1.1  christos 
    195  1.1  christos 	/* lexical analysis */
    196  1.1  christos 
    197  1.1  christos static int
    198  1.1  christos YYLEX_DECL()
    199  1.1  christos {
    200  1.1  christos     int c;
    201  1.1  christos 
    202  1.1  christos     while ((c = getchar()) == ' ')
    203  1.1  christos     {				/* skip over blanks */
    204  1.1  christos     }
    205  1.1  christos 
    206  1.1  christos     if (isupper(c))
    207  1.1  christos     {
    208  1.1  christos #if YYPURE
    209  1.1  christos 	(*yylval).ival = c - 'A';
    210  1.1  christos #else
    211  1.1  christos 	yylval.ival = c - 'A';
    212  1.1  christos #endif
    213  1.1  christos 	return (VREG);
    214  1.1  christos     }
    215  1.1  christos     if (islower(c))
    216  1.1  christos     {
    217  1.1  christos #if YYPURE
    218  1.1  christos 	(*yylval).ival = c - 'a';
    219  1.1  christos #else
    220  1.1  christos 	yylval.ival = c - 'a';
    221  1.1  christos #endif
    222  1.1  christos 	return (DREG);
    223  1.1  christos     }
    224  1.1  christos 
    225  1.1  christos     if (isdigit(c) || c == '.')
    226  1.1  christos     {
    227  1.1  christos 	/* gobble up digits, points, exponents */
    228  1.1  christos 	char buf[BSZ + 1], *cp = buf;
    229  1.1  christos 	int dot = 0, expr = 0;
    230  1.1  christos 
    231  1.1  christos 	for (; (cp - buf) < BSZ; ++cp, c = getchar())
    232  1.1  christos 	{
    233  1.1  christos 
    234  1.1  christos 	    *cp = (char) c;
    235  1.1  christos 	    if (isdigit(c))
    236  1.1  christos 		continue;
    237  1.1  christos 	    if (c == '.')
    238  1.1  christos 	    {
    239  1.1  christos 		if (dot++ || expr)
    240  1.1  christos 		    return ('.');	/* will cause syntax error */
    241  1.1  christos 		continue;
    242  1.1  christos 	    }
    243  1.1  christos 
    244  1.1  christos 	    if (c == 'e')
    245  1.1  christos 	    {
    246  1.1  christos 		if (expr++)
    247  1.1  christos 		    return ('e');	/*  will  cause  syntax  error  */
    248  1.1  christos 		continue;
    249  1.1  christos 	    }
    250  1.1  christos 
    251  1.1  christos 	    /*  end  of  number  */
    252  1.1  christos 	    break;
    253  1.1  christos 	}
    254  1.1  christos 	*cp = '\0';
    255  1.1  christos 
    256  1.1  christos 	if ((cp - buf) >= BSZ)
    257  1.1  christos 	    printf("constant  too  long:  truncated\n");
    258  1.1  christos 	else
    259  1.1  christos 	    ungetc(c, stdin);	/*  push  back  last  char  read  */
    260  1.1  christos #if YYPURE
    261  1.1  christos 	(*yylval).dval = atof(buf);
    262  1.1  christos #else
    263  1.1  christos 	yylval.dval = atof(buf);
    264  1.1  christos #endif
    265  1.1  christos 	return (CONST);
    266  1.1  christos     }
    267  1.1  christos     return (c);
    268  1.1  christos }
    269  1.1  christos 
    270  1.1  christos static INTERVAL
    271  1.1  christos hilo(double a, double b, double c, double d)
    272  1.1  christos {
    273  1.1  christos     /*  returns  the  smallest  interval  containing  a,  b,  c,  and  d  */
    274  1.1  christos     /*  used  by  *,  /  routines  */
    275  1.1  christos     INTERVAL v;
    276  1.1  christos 
    277  1.1  christos     if (a > b)
    278  1.1  christos     {
    279  1.1  christos 	v.hi = a;
    280  1.1  christos 	v.lo = b;
    281  1.1  christos     }
    282  1.1  christos     else
    283  1.1  christos     {
    284  1.1  christos 	v.hi = b;
    285  1.1  christos 	v.lo = a;
    286  1.1  christos     }
    287  1.1  christos 
    288  1.1  christos     if (c > d)
    289  1.1  christos     {
    290  1.1  christos 	if (c > v.hi)
    291  1.1  christos 	    v.hi = c;
    292  1.1  christos 	if (d < v.lo)
    293  1.1  christos 	    v.lo = d;
    294  1.1  christos     }
    295  1.1  christos     else
    296  1.1  christos     {
    297  1.1  christos 	if (d > v.hi)
    298  1.1  christos 	    v.hi = d;
    299  1.1  christos 	if (c < v.lo)
    300  1.1  christos 	    v.lo = c;
    301  1.1  christos     }
    302  1.1  christos     return (v);
    303  1.1  christos }
    304  1.1  christos 
    305  1.1  christos INTERVAL
    306  1.1  christos vmul(double a, double b, INTERVAL v)
    307  1.1  christos {
    308  1.1  christos     return (hilo(a * v.hi, a * v.lo, b * v.hi, b * v.lo));
    309  1.1  christos }
    310  1.1  christos 
    311  1.1  christos int
    312  1.1  christos dcheck(INTERVAL v)
    313  1.1  christos {
    314  1.1  christos     if (v.hi >= 0. && v.lo <= 0.)
    315  1.1  christos     {
    316  1.1  christos 	printf("divisor  interval  contains  0.\n");
    317  1.1  christos 	return (1);
    318  1.1  christos     }
    319  1.1  christos     return (0);
    320  1.1  christos }
    321  1.1  christos 
    322  1.1  christos INTERVAL
    323  1.1  christos vdiv(double a, double b, INTERVAL v)
    324  1.1  christos {
    325  1.1  christos     return (hilo(a / v.hi, a / v.lo, b / v.hi, b / v.lo));
    326  1.1  christos }
    327