varsyntax_calc1.y revision 1.1.1.3 1 1.1.1.3 christos /* $NetBSD: varsyntax_calc1.y,v 1.1.1.3 2016/01/09 21:59:45 christos Exp $ */
2 1.1.1.3 christos
3 1.1 christos %IDENT "check variant syntax features"
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 extern int yylex(void);
23 1.1 christos static void yyerror(const char *s);
24 1.1 christos
25 1.1 christos int dcheck(INTERVAL);
26 1.1 christos
27 1.1 christos double dreg[26];
28 1.1 christos INTERVAL vreg[26];
29 1.1 christos
30 1.1 christos %}
31 1.1 christos %expect 18
32 1.1 christos
33 1.1 christos %start line
34 1.1 christos %union
35 1.1 christos {
36 1.1 christos int ival; // dreg & vreg array index values
37 1.1 christos double dval; // floating point values
38 1.1 christos INTERVAL vval; // interval values
39 1.1 christos }
40 1.1 christos
41 1.1 christos %token <ival> DREG VREG // indices into dreg, vreg arrays */
42 1.1 christos %token <dval> CONST // floating point constant */
43 1.1 christos
44 1.1 christos %type <dval> dexp // expression */
45 1.1 christos %type <vval> vexp // interval expression */
46 1.1 christos
47 1.1 christos // precedence information about the operators */
48 1.1 christos
49 1.1 christos %< '+' '-' // %< is an obsolete synonym for %left
50 1.1 christos %< '*' '/'
51 1.1 christos %> UMINUS // precedence for unary minus;
52 1.1 christos // %> is an obsolete synonym for %right
53 1.1 christos
54 1.1 christos \\ // beginning of rules section; \\ is an obsolete synonym for %%
55 1.1 christos
56 1.1 christos lines : // empty */
57 1.1 christos | lines line
58 1.1 christos ;
59 1.1 christos
60 1.1 christos line : dexp '\n'
61 1.1 christos {
62 1.1 christos (void) printf("%15.8f\n", $1);
63 1.1 christos }
64 1.1 christos | vexp '\n'
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 '\n'
69 1.1 christos {
70 1.1 christos dreg[$1] = $3;
71 1.1 christos }
72 1.1 christos | VREG '=' vexp '\n'
73 1.1 christos {
74 1.1 christos vreg[$1] = $3;
75 1.1 christos }
76 1.1 christos | error '\n'
77 1.1 christos {
78 1.1 christos yyerrok;
79 1.1 christos }
80 1.1 christos ;
81 1.1 christos
82 1.1 christos dexp : CONST
83 1.1 christos | DREG
84 1.1 christos {
85 1.1 christos $<dval>$ = dreg[$<ival>1]; // $$ & $1 are sufficient here
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 '/' dexp
100 1.1 christos {
101 1.1 christos $$ = $1 / $3;
102 1.1 christos }
103 1.1 christos | '-' dexp %prec UMINUS
104 1.1 christos {
105 1.1 christos $$ = -$2;
106 1.1 christos }
107 1.1 christos | '(' dexp ')'
108 1.1 christos {
109 1.1 christos $$ = $2;
110 1.1 christos }
111 1.1 christos ;
112 1.1 christos
113 1.1 christos vexp : dexp
114 1.1 christos {
115 1.1 christos $$.hi = $$.lo = $1;
116 1.1 christos }
117 1.1 christos | '(' dexp ',' dexp ')'
118 1.1 christos {
119 1.1 christos $$.lo = $2;
120 1.1 christos $$.hi = $4;
121 1.1 christos if ( $$.lo > $$.hi )
122 1.1 christos {
123 1.1 christos (void) printf("interval out of order\n");
124 1.1 christos YYERROR;
125 1.1 christos }
126 1.1 christos }
127 1.1 christos | VREG
128 1.1 christos {
129 1.1 christos $$ = vreg[$1];
130 1.1 christos }
131 1.1 christos | vexp '+' vexp
132 1.1 christos {
133 1.1 christos $$.hi = $1.hi + $3.hi;
134 1.1 christos $$.lo = $1.lo + $3.lo;
135 1.1 christos }
136 1.1 christos | dexp '+' vexp
137 1.1 christos {
138 1.1 christos $$.hi = $1 + $3.hi;
139 1.1 christos $$.lo = $1 + $3.lo;
140 1.1 christos }
141 1.1 christos | vexp '-' vexp
142 1.1 christos {
143 1.1 christos $$.hi = $1.hi - $3.lo;
144 1.1 christos $$.lo = $1.lo - $3.hi;
145 1.1 christos }
146 1.1 christos | dexp '-' vexp
147 1.1 christos {
148 1.1 christos $$.hi = $1 - $3.lo;
149 1.1 christos $$.lo = $1 - $3.hi;
150 1.1 christos }
151 1.1 christos | vexp '*' vexp
152 1.1 christos {
153 1.1 christos $$ = vmul( $1.lo, $1.hi, $3 );
154 1.1 christos }
155 1.1 christos | dexp '*' vexp
156 1.1 christos {
157 1.1 christos $$ = vmul ($1, $1, $3 );
158 1.1 christos }
159 1.1 christos | vexp '/' vexp
160 1.1 christos {
161 1.1 christos if (dcheck($3)) YYERROR;
162 1.1 christos $$ = vdiv ( $1.lo, $1.hi, $3 );
163 1.1 christos }
164 1.1 christos | dexp '/' vexp
165 1.1 christos {
166 1.1 christos if (dcheck ( $3 )) YYERROR;
167 1.1 christos $$ = vdiv ($1, $1, $3 );
168 1.1 christos }
169 1.1 christos | '-' vexp %prec UMINUS
170 1.1 christos {
171 1.1 christos $$.hi = -$2.lo;
172 1.1 christos $$.lo = -$2.hi;
173 1.1 christos }
174 1.1 christos | '(' vexp ')'
175 1.1 christos {
176 1.1 christos $$ = $2;
177 1.1 christos }
178 1.1 christos ;
179 1.1 christos
180 1.1 christos \\ /* beginning of subroutines section */
181 1.1 christos
182 1.1 christos #define BSZ 50 /* buffer size for floating point numbers */
183 1.1 christos
184 1.1 christos /* lexical analysis */
185 1.1 christos
186 1.1 christos static void
187 1.1 christos yyerror(const char *s)
188 1.1 christos {
189 1.1 christos fprintf(stderr, "%s\n", s);
190 1.1 christos }
191 1.1 christos
192 1.1 christos int
193 1.1 christos yylex(void)
194 1.1 christos {
195 1.1 christos int c;
196 1.1 christos
197 1.1 christos while ((c = getchar()) == ' ')
198 1.1 christos { /* skip over blanks */
199 1.1 christos }
200 1.1 christos
201 1.1 christos if (isupper(c))
202 1.1 christos {
203 1.1 christos yylval.ival = c - 'A';
204 1.1 christos return (VREG);
205 1.1 christos }
206 1.1 christos if (islower(c))
207 1.1 christos {
208 1.1 christos yylval.ival = c - 'a';
209 1.1 christos return (DREG);
210 1.1 christos }
211 1.1 christos
212 1.1 christos if (isdigit(c) || c == '.')
213 1.1 christos {
214 1.1 christos /* gobble up digits, points, exponents */
215 1.1 christos char buf[BSZ + 1], *cp = buf;
216 1.1 christos int dot = 0, expr = 0;
217 1.1 christos
218 1.1 christos for (; (cp - buf) < BSZ; ++cp, c = getchar())
219 1.1 christos {
220 1.1 christos
221 1.1 christos *cp = (char) c;
222 1.1 christos if (isdigit(c))
223 1.1 christos continue;
224 1.1 christos if (c == '.')
225 1.1 christos {
226 1.1 christos if (dot++ || expr)
227 1.1 christos return ('.'); /* will cause syntax error */
228 1.1 christos continue;
229 1.1 christos }
230 1.1 christos
231 1.1 christos if (c == 'e')
232 1.1 christos {
233 1.1 christos if (expr++)
234 1.1 christos return ('e'); /* will cause syntax error */
235 1.1 christos continue;
236 1.1 christos }
237 1.1 christos
238 1.1 christos /* end of number */
239 1.1 christos break;
240 1.1 christos }
241 1.1 christos *cp = '\0';
242 1.1 christos
243 1.1 christos if ((cp - buf) >= BSZ)
244 1.1 christos printf("constant too long: truncated\n");
245 1.1 christos else
246 1.1 christos ungetc(c, stdin); /* push back last char read */
247 1.1 christos yylval.dval = atof(buf);
248 1.1 christos return (CONST);
249 1.1 christos }
250 1.1 christos return (c);
251 1.1 christos }
252 1.1 christos
253 1.1 christos static INTERVAL
254 1.1 christos hilo(double a, double b, double c, double d)
255 1.1 christos {
256 1.1 christos /* returns the smallest interval containing a, b, c, and d */
257 1.1 christos /* used by *, / routines */
258 1.1 christos INTERVAL v;
259 1.1 christos
260 1.1 christos if (a > b)
261 1.1 christos {
262 1.1 christos v.hi = a;
263 1.1 christos v.lo = b;
264 1.1 christos }
265 1.1 christos else
266 1.1 christos {
267 1.1 christos v.hi = b;
268 1.1 christos v.lo = a;
269 1.1 christos }
270 1.1 christos
271 1.1 christos if (c > d)
272 1.1 christos {
273 1.1 christos if (c > v.hi)
274 1.1 christos v.hi = c;
275 1.1 christos if (d < v.lo)
276 1.1 christos v.lo = d;
277 1.1 christos }
278 1.1 christos else
279 1.1 christos {
280 1.1 christos if (d > v.hi)
281 1.1 christos v.hi = d;
282 1.1 christos if (c < v.lo)
283 1.1 christos v.lo = c;
284 1.1 christos }
285 1.1 christos return (v);
286 1.1 christos }
287 1.1 christos
288 1.1 christos INTERVAL
289 1.1 christos vmul(double a, double b, INTERVAL v)
290 1.1 christos {
291 1.1 christos return (hilo(a * v.hi, a * v.lo, b * v.hi, b * v.lo));
292 1.1 christos }
293 1.1 christos
294 1.1 christos int
295 1.1 christos dcheck(INTERVAL v)
296 1.1 christos {
297 1.1 christos if (v.hi >= 0. && v.lo <= 0.)
298 1.1 christos {
299 1.1 christos printf("divisor interval contains 0.\n");
300 1.1 christos return (1);
301 1.1 christos }
302 1.1 christos return (0);
303 1.1 christos }
304 1.1 christos
305 1.1 christos INTERVAL
306 1.1 christos vdiv(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