annotate eval.c @ 175:ffdb0b73856f

Suppress blank lines later. Fixes the rest of the bizarre spacing behavior described in changeset 82cc6fa54b01. Expand t39 to cover more cases, too.
author David A. Holland
date Fri, 12 Jun 2015 02:38:04 -0400
parents 33954a07d013
children 1d2bad7151f9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
30
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
1 /*-
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
2 * Copyright (c) 2010 The NetBSD Foundation, Inc.
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
3 * All rights reserved.
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
4 *
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
5 * This code is derived from software contributed to The NetBSD Foundation
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
6 * by David A. Holland.
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
7 *
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
8 * Redistribution and use in source and binary forms, with or without
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
9 * modification, are permitted provided that the following conditions
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
10 * are met:
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
11 * 1. Redistributions of source code must retain the above copyright
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
12 * notice, this list of conditions and the following disclaimer.
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
13 * 2. Redistributions in binary form must reproduce the above copyright
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
14 * notice, this list of conditions and the following disclaimer in the
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
15 * documentation and/or other materials provided with the distribution.
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
16 *
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
17 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
18 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
19 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
20 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
21 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
22 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
23 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
24 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
25 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
26 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
27 * POSSIBILITY OF SUCH DAMAGE.
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
28 */
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
29
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
30 #include <stdlib.h>
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
31 #include <string.h>
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
32 #include <limits.h>
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
33 #include <errno.h>
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
34
92
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
35 //#define DEBUG
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
36 #ifdef DEBUG
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
37 #include <stdio.h>
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
38 #endif
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
39
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
40 #include "utils.h"
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
41 #include "array.h"
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
42 #include "mode.h"
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
43 #include "place.h"
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
44 #include "eval.h"
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
45
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
46 /*
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
47 * e ::=
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
48 * e1 ? e2 : e3
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
49 * e1 || e2
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
50 * e1 && e2
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
51 * e1 | e2
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
52 * e1 ^ e2
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
53 * e1 & e2
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
54 * e1 == e2 | e1 != e2
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
55 * e1 < e2 | e1 <= e2 | e1 > e2 | e1 >= e2
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
56 * e1 << e2 | e1 >> e2
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
57 * e1 + e2 | e1 - e2
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
58 * e1 * e2 | e1 / e2 | e1 % e2
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
59 * !e | ~e | -e | +e
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
60 * ( e ) | ident
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
61 */
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
62
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
63 enum tokens {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
64 T_EOF, /* end of input */
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
65 T_VAL, /* value */
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
66 T_LPAREN, /* parens */
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
67 T_RPAREN,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
68 T_PIPEPIPE, /* operators */
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
69 T_AMPAMP,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
70 T_EQEQ,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
71 T_BANGEQ,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
72 T_LTEQ,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
73 T_GTEQ,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
74 T_LTLT,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
75 T_GTGT,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
76 T_QUES,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
77 T_COLON,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
78 T_PIPE,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
79 T_CARET,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
80 T_AMP,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
81 T_LT,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
82 T_GT,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
83 T_PLUS,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
84 T_MINUS,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
85 T_STAR,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
86 T_SLASH,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
87 T_PCT,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
88 T_BANG,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
89 T_TILDE,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
90 };
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
91
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
92 static const struct {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
93 char c1, c2;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
94 enum tokens tok;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
95 } tokens_2[] = {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
96 { '|', '|', T_PIPEPIPE },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
97 { '&', '&', T_AMPAMP },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
98 { '=', '=', T_EQEQ },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
99 { '!', '=', T_BANGEQ },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
100 { '<', '=', T_LTEQ },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
101 { '>', '=', T_GTEQ },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
102 { '<', '<', T_LTLT },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
103 { '>', '>', T_GTGT },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
104 };
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
105 static const unsigned num_tokens_2 = HOWMANY(tokens_2);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
106
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
107 static const struct {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
108 char c1;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
109 enum tokens tok;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
110 } tokens_1[] = {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
111 { '?', T_QUES },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
112 { ':', T_COLON },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
113 { '|', T_PIPE },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
114 { '^', T_CARET },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
115 { '&', T_AMP },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
116 { '<', T_LT },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
117 { '>', T_GT },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
118 { '+', T_PLUS },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
119 { '-', T_MINUS },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
120 { '*', T_STAR },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
121 { '/', T_SLASH },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
122 { '%', T_PCT },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
123 { '!', T_BANG },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
124 { '~', T_TILDE },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
125 { '(', T_LPAREN },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
126 { ')', T_RPAREN },
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
127 };
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
128 static const unsigned num_tokens_1 = HOWMANY(tokens_1);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
129
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
130 struct token {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
131 struct place place;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
132 enum tokens tok;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
133 int val;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
134 };
107
33954a07d013 __unused -> UNUSED
David A. Holland
parents: 96
diff changeset
135 DECLARRAY(token, static UNUSED);
47
2e25e55dba6b Fix inline usage as per the version in dholland-make2.
David A. Holland
parents: 39
diff changeset
136 DEFARRAY(token, static);
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
137
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
138 static struct tokenarray tokens;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
139
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
140 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
141 struct token *
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
142 token_create(const struct place *p, enum tokens tok, int val)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
143 {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
144 struct token *t;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
145
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
146 t = domalloc(sizeof(*t));
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
147 t->place = *p;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
148 t->tok = tok;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
149 t->val = val;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
150 return t;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
151 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
152
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
153 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
154 void
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
155 token_destroy(struct token *t)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
156 {
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
157 dofree(t, sizeof(*t));
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
158 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
159
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
160 DESTROYALL_ARRAY(token, );
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
161
92
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
162 #ifdef DEBUG
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
163 static
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
164 void
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
165 printtokens(void)
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
166 {
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
167 unsigned i, num;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
168 struct token *t;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
169
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
170 fprintf(stderr, "tokens:");
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
171 num = tokenarray_num(&tokens);
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
172 for (i=0; i<num; i++) {
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
173 t = tokenarray_get(&tokens, i);
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
174 switch (t->tok) {
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
175 case T_EOF: fprintf(stderr, " <eof>"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
176 case T_VAL: fprintf(stderr, " %d", t->val); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
177 case T_LPAREN: fprintf(stderr, " ("); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
178 case T_RPAREN: fprintf(stderr, " )"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
179 case T_PIPEPIPE: fprintf(stderr, " ||"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
180 case T_AMPAMP: fprintf(stderr, " &&"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
181 case T_EQEQ: fprintf(stderr, " =="); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
182 case T_BANGEQ: fprintf(stderr, " !="); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
183 case T_LTEQ: fprintf(stderr, " <="); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
184 case T_GTEQ: fprintf(stderr, " >="); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
185 case T_LTLT: fprintf(stderr, " <<"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
186 case T_GTGT: fprintf(stderr, " >>"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
187 case T_QUES: fprintf(stderr, " ?"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
188 case T_COLON: fprintf(stderr, " :"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
189 case T_PIPE: fprintf(stderr, " |"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
190 case T_CARET: fprintf(stderr, " ^"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
191 case T_AMP: fprintf(stderr, " &"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
192 case T_LT: fprintf(stderr, " <"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
193 case T_GT: fprintf(stderr, " >"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
194 case T_PLUS: fprintf(stderr, " +"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
195 case T_MINUS: fprintf(stderr, " -"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
196 case T_STAR: fprintf(stderr, " *"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
197 case T_SLASH: fprintf(stderr, " /"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
198 case T_PCT: fprintf(stderr, " %%"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
199 case T_BANG: fprintf(stderr, " !"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
200 case T_TILDE: fprintf(stderr, " ~"); break;
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
201 }
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
202 }
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
203 fprintf(stderr, "\n");
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
204 }
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
205 #endif
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
206
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
207 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
208 bool
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
209 isuop(enum tokens tok)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
210 {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
211 switch (tok) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
212 case T_BANG:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
213 case T_TILDE:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
214 case T_MINUS:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
215 case T_PLUS:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
216 return true;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
217 default:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
218 break;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
219 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
220 return false;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
221 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
222
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
223 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
224 bool
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
225 isbop(enum tokens tok)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
226 {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
227 switch (tok) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
228 case T_EOF:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
229 case T_VAL:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
230 case T_LPAREN:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
231 case T_RPAREN:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
232 case T_COLON:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
233 case T_QUES:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
234 case T_BANG:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
235 case T_TILDE:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
236 return false;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
237 default:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
238 break;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
239 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
240 return true;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
241 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
242
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
243 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
244 bool
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
245 isop(enum tokens tok)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
246 {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
247 switch (tok) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
248 case T_EOF:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
249 case T_VAL:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
250 case T_LPAREN:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
251 case T_RPAREN:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
252 return false;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
253 default:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
254 break;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
255 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
256 return true;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
257 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
258
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
259 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
260 int
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
261 getprec(enum tokens tok)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
262 {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
263 switch (tok) {
92
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
264 case T_BANG: case T_TILDE: return -1;
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
265 case T_STAR: case T_SLASH: case T_PCT: return 0;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
266 case T_PLUS: case T_MINUS: return 1;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
267 case T_LTLT: case T_GTGT: return 2;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
268 case T_LT: case T_LTEQ: case T_GT: case T_GTEQ: return 3;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
269 case T_EQEQ: case T_BANGEQ: return 4;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
270 case T_AMP: return 5;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
271 case T_CARET: return 6;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
272 case T_PIPE: return 7;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
273 case T_AMPAMP: return 8;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
274 case T_PIPEPIPE: return 9;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
275 default: break;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
276 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
277 return 10;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
278 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
279
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
280 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
281 bool
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
282 looser(enum tokens t1, enum tokens t2)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
283 {
92
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
284 return getprec(t1) >= getprec(t2);
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
285 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
286
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
287 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
288 int
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
289 eval_uop(enum tokens op, int val)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
290 {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
291 switch (op) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
292 case T_BANG: val = !val; break;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
293 case T_TILDE: val = (int)~(unsigned)val; break;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
294 case T_MINUS: val = -val; break;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
295 case T_PLUS: break;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
296 default: assert(0); break;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
297 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
298 return val;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
299 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
300
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
301 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
302 int
28
8a955e3dda2c two more tests, more fixes
David A. Holland
parents: 16
diff changeset
303 eval_bop(struct place *p, int lv, enum tokens op, int rv)
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
304 {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
305 unsigned mask;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
306
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
307 switch (op) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
308 case T_PIPEPIPE: return lv || rv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
309 case T_AMPAMP: return lv && rv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
310 case T_PIPE: return (int)((unsigned)lv | (unsigned)rv);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
311 case T_CARET: return (int)((unsigned)lv ^ (unsigned)rv);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
312 case T_AMP: return (int)((unsigned)lv & (unsigned)rv);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
313 case T_EQEQ: return lv == rv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
314 case T_BANGEQ: return lv != rv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
315 case T_LT: return lv < rv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
316 case T_GT: return lv > rv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
317 case T_LTEQ: return lv <= rv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
318 case T_GTEQ: return lv >= rv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
319
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
320 case T_LTLT:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
321 case T_GTGT:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
322 if (rv < 0) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
323 complain(p, "Negative bit-shift");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
324 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
325 rv = 0;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
326 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
327 if ((unsigned)rv >= CHAR_BIT * sizeof(unsigned)) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
328 complain(p, "Bit-shift farther than type width");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
329 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
330 rv = 0;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
331 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
332 if (op == T_LTLT) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
333 return (int)((unsigned)lv << (unsigned)rv);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
334 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
335 mask = ((unsigned)-1) << (CHAR_BIT * sizeof(unsigned) - rv);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
336 lv = (int)(((unsigned)lv >> (unsigned)rv) | mask);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
337 return lv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
338
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
339 case T_MINUS:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
340 if (rv == INT_MIN) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
341 if (lv == INT_MIN) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
342 return 0;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
343 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
344 lv--;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
345 rv++;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
346 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
347 rv = -rv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
348 /* FALLTHROUGH */
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
349 case T_PLUS:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
350 if (rv > 0 && lv > (INT_MAX - rv)) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
351 complain(p, "Integer overflow");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
352 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
353 return INT_MAX;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
354 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
355 if (rv < 0 && lv < (INT_MIN - rv)) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
356 complain(p, "Integer underflow");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
357 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
358 return INT_MIN;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
359 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
360 return lv + rv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
361
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
362 case T_STAR:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
363 if (rv == 0) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
364 return 0;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
365 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
366 if (rv == 1) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
367 return lv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
368 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
369 if (rv == -1 && lv == INT_MIN) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
370 lv++;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
371 lv = -lv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
372 if (lv == INT_MAX) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
373 complain(p, "Integer overflow");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
374 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
375 return INT_MAX;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
376 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
377 lv++;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
378 return lv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
379 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
380 if (lv == INT_MIN && rv < 0) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
381 complain(p, "Integer overflow");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
382 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
383 return INT_MAX;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
384 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
385 if (lv == INT_MIN && rv > 0) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
386 complain(p, "Integer underflow");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
387 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
388 return INT_MIN;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
389 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
390 if (rv < 0) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
391 rv = -rv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
392 lv = -lv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
393 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
394 if (lv > 0 && lv > INT_MAX / rv) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
395 complain(p, "Integer overflow");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
396 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
397 return INT_MAX;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
398 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
399 if (lv < 0 && lv < INT_MIN / rv) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
400 complain(p, "Integer underflow");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
401 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
402 return INT_MIN;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
403 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
404 return lv * rv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
405
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
406 case T_SLASH:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
407 if (rv == 0) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
408 complain(p, "Division by zero");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
409 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
410 return 0;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
411 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
412 return lv / rv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
413
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
414 case T_PCT:
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
415 if (rv == 0) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
416 complain(p, "Modulus by zero");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
417 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
418 return 0;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
419 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
420 return lv % rv;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
421
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
422 default: assert(0); break;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
423 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
424 return 0;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
425 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
426
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
427 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
428 void
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
429 tryreduce(void)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
430 {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
431 unsigned num;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
432 struct token *t1, *t2, *t3, *t4, *t5, *t6;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
433
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
434 while (1) {
92
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
435 #ifdef DEBUG
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
436 printtokens();
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
437 #endif
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
438 num = tokenarray_num(&tokens);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
439 t1 = (num >= 1) ? tokenarray_get(&tokens, num-1) : NULL;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
440 t2 = (num >= 2) ? tokenarray_get(&tokens, num-2) : NULL;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
441 t3 = (num >= 3) ? tokenarray_get(&tokens, num-3) : NULL;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
442
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
443 if (num >= 3 &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
444 t3->tok == T_LPAREN &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
445 t2->tok == T_VAL &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
446 t1->tok == T_RPAREN) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
447 /* (x) -> x */
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
448 t2->place = t3->place;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
449 token_destroy(t1);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
450 token_destroy(t3);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
451 tokenarray_remove(&tokens, num-1);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
452 tokenarray_remove(&tokens, num-3);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
453 continue;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
454 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
455
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
456 if (num >= 2 &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
457 (num == 2 || isop(t3->tok) || t3->tok == T_LPAREN) &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
458 isuop(t2->tok) &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
459 t1->tok == T_VAL) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
460 /* unary operator */
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
461 t1->val = eval_uop(t2->tok, t1->val);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
462 t1->place = t2->place;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
463 token_destroy(t2);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
464 tokenarray_remove(&tokens, num-2);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
465 continue;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
466 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
467 if (num >= 2 &&
92
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
468 (num == 2 || isop(t3->tok) || t3->tok == T_LPAREN) &&
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
469 t2->tok != T_LPAREN && t2->tok != T_VAL &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
470 t1->tok == T_VAL) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
471 complain(&t2->place, "Invalid unary operator");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
472 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
473 token_destroy(t2);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
474 tokenarray_remove(&tokens, num-2);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
475 continue;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
476 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
477
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
478
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
479 t4 = (num >= 4) ? tokenarray_get(&tokens, num-4) : NULL;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
480
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
481 if (num >= 4 &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
482 t4->tok == T_VAL &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
483 isbop(t3->tok) &&
92
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
484 t2->tok == T_VAL) {
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
485 /* binary operator */
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
486 if (looser(t1->tok, t3->tok)) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
487 t4->val = eval_bop(&t3->place,
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
488 t4->val, t3->tok, t2->val);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
489 token_destroy(t2);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
490 token_destroy(t3);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
491 tokenarray_remove(&tokens, num-2);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
492 tokenarray_remove(&tokens, num-3);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
493 continue;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
494 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
495 break;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
496 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
497
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
498 t5 = (num >= 5) ? tokenarray_get(&tokens, num-5) : NULL;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
499 t6 = (num >= 6) ? tokenarray_get(&tokens, num-6) : NULL;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
500
91
bd1b7a09da89 Don't expect the eval result to contain EOF *then* a value.
David A. Holland
parents: 63
diff changeset
501 if (num >= 6 &&
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
502 t6->tok == T_VAL &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
503 t5->tok == T_QUES &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
504 t4->tok == T_VAL &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
505 t3->tok == T_COLON &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
506 t2->tok == T_VAL &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
507 !isop(t1->tok)) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
508 /* conditional expression */
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
509 t6->val = t6->val ? t4->val : t2->val;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
510 token_destroy(t2);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
511 token_destroy(t3);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
512 token_destroy(t4);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
513 token_destroy(t5);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
514 tokenarray_remove(&tokens, num-2);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
515 tokenarray_remove(&tokens, num-3);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
516 tokenarray_remove(&tokens, num-4);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
517 tokenarray_remove(&tokens, num-5);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
518 continue;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
519 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
520
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
521 if (num >= 2 &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
522 t2->tok == T_LPAREN &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
523 t1->tok == T_RPAREN) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
524 complain(&t1->place, "Value expected within ()");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
525 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
526 t1->tok = T_VAL;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
527 t1->val = 0;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
528 token_destroy(t1);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
529 tokenarray_remove(&tokens, num-1);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
530 continue;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
531 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
532
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
533 if (num >= 2 &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
534 t2->tok == T_VAL &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
535 t1->tok == T_VAL) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
536 complain(&t1->place, "Operator expected");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
537 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
538 token_destroy(t1);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
539 tokenarray_remove(&tokens, num-1);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
540 continue;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
541 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
542
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
543 if (num >= 2 &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
544 isop(t2->tok) &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
545 t1->tok == T_EOF) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
546 complain(&t1->place, "Value expected after operator");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
547 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
548 token_destroy(t2);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
549 tokenarray_remove(&tokens, num-2);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
550 continue;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
551 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
552
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
553 if (num == 2 &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
554 t2->tok == T_VAL &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
555 t1->tok == T_RPAREN) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
556 complain(&t1->place, "Excess right parenthesis");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
557 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
558 token_destroy(t1);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
559 tokenarray_remove(&tokens, num-1);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
560 continue;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
561 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
562
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
563 if (num == 3 &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
564 t3->tok == T_LPAREN &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
565 t2->tok == T_VAL &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
566 t1->tok == T_EOF) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
567 complain(&t1->place, "Unclosed left parenthesis");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
568 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
569 token_destroy(t3);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
570 tokenarray_remove(&tokens, num-3);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
571 continue;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
572 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
573
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
574 if (num == 2 &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
575 t2->tok == T_VAL &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
576 t1->tok == T_EOF) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
577 /* accepting state */
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
578 break;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
579 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
580
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
581 if (num >= 1 &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
582 t1->tok == T_EOF) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
583 /* any other configuration at eof is an error */
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
584 complain(&t1->place, "Parse error");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
585 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
586 break;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
587 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
588
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
589 /* otherwise, wait for more input */
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
590 break;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
591 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
592 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
593
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
594 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
595 void
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
596 token(struct place *p, enum tokens tok, int val)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
597 {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
598 struct token *t;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
599
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
600 t = token_create(p, tok, val);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
601
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
602 tokenarray_add(&tokens, t, NULL);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
603 tryreduce();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
604 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
605
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
606 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
607 int
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
608 wordval(struct place *p, char *word)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
609 {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
610 unsigned long val;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
611 char *t;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
612
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
613 if (word[0] >= '0' && word[0] <= '9') {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
614 errno = 0;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
615 val = strtoul(word, &t, 0);
96
408331be8792 Accept [UL]* after integer constants.
David A. Holland
parents: 92
diff changeset
616 if (errno) {
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
617 complain(p, "Invalid integer constant");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
618 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
619 return 0;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
620 }
96
408331be8792 Accept [UL]* after integer constants.
David A. Holland
parents: 92
diff changeset
621 while (*t == 'U' || *t == 'L') {
408331be8792 Accept [UL]* after integer constants.
David A. Holland
parents: 92
diff changeset
622 t++;
408331be8792 Accept [UL]* after integer constants.
David A. Holland
parents: 92
diff changeset
623 }
408331be8792 Accept [UL]* after integer constants.
David A. Holland
parents: 92
diff changeset
624 if (*t != '\0') {
408331be8792 Accept [UL]* after integer constants.
David A. Holland
parents: 92
diff changeset
625 complain(p, "Trailing garbage after integer constant");
408331be8792 Accept [UL]* after integer constants.
David A. Holland
parents: 92
diff changeset
626 complain_fail();
408331be8792 Accept [UL]* after integer constants.
David A. Holland
parents: 92
diff changeset
627 return 0;
408331be8792 Accept [UL]* after integer constants.
David A. Holland
parents: 92
diff changeset
628 }
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
629 if (val > INT_MAX) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
630 complain(p, "Integer constant too large");
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
631 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
632 return INT_MAX;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
633 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
634 return val;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
635 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
636
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
637 /* if it's a symbol, warn and substitute 0. */
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
638 if (warns.undef) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
639 complain(p, "Warning: value of undefined symbol %s is 0",
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
640 word);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
641 if (mode.werror) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
642 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
643 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
644 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
645 return 0;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
646 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
647
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
648 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
649 bool
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
650 check_word(struct place *p, char *expr, size_t pos, size_t *len_ret)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
651 {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
652 size_t len;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
653 int val;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
654 char tmp;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
655
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
656 if (!strchr(alnum, expr[pos])) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
657 return false;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
658 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
659 len = strspn(expr + pos, alnum);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
660 tmp = expr[pos + len];
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
661 expr[pos + len] = '\0';
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
662 val = wordval(p, expr + pos);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
663 expr[pos + len] = tmp;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
664 token(p, T_VAL, val);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
665 *len_ret = len;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
666 return true;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
667 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
668
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
669 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
670 bool
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
671 check_tokens_2(struct place *p, char *expr, size_t pos)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
672 {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
673 unsigned i;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
674
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
675 for (i=0; i<num_tokens_2; i++) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
676 if (expr[pos] == tokens_2[i].c1 &&
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
677 expr[pos+1] == tokens_2[i].c2) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
678 token(p, tokens_2[i].tok, 0);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
679 return true;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
680 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
681 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
682 return false;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
683 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
684
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
685 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
686 bool
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
687 check_tokens_1(struct place *p, char *expr, size_t pos)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
688 {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
689 unsigned i;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
690
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
691 for (i=0; i<num_tokens_1; i++) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
692 if (expr[pos] == tokens_1[i].c1) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
693 token(p, tokens_1[i].tok, 0);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
694 return true;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
695 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
696 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
697 return false;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
698 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
699
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
700 static
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
701 void
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
702 tokenize(struct place *p, char *expr)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
703 {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
704 size_t pos, len;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
705
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
706 pos = 0;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
707 while (expr[pos] != '\0') {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
708 len = strspn(expr+pos, ws);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
709 pos += len;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
710 p->column += len;
63
5e24746d8335 Assert on trailing whitespace.
David A. Holland
parents: 47
diff changeset
711 /* trailing whitespace is supposed to have been pruned */
5e24746d8335 Assert on trailing whitespace.
David A. Holland
parents: 47
diff changeset
712 assert(expr[pos] != '\0');
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
713 if (check_word(p, expr, pos, &len)) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
714 pos += len;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
715 p->column += len;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
716 continue;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
717 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
718 if (check_tokens_2(p, expr, pos)) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
719 pos += 2;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
720 p->column += 2;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
721 continue;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
722 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
723 if (check_tokens_1(p, expr, pos)) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
724 pos++;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
725 p->column++;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
726 continue;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
727 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
728 complain(p, "Invalid character %u in #if-expression",
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
729 (unsigned char)expr[pos]);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
730 complain_fail();
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
731 pos++;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
732 p->column++;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
733 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
734 token(p, T_EOF, 0);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
735 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
736
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
737 bool
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
738 eval(struct place *p, char *expr)
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
739 {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
740 struct token *t1, *t2;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
741 unsigned num;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
742 bool result;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
743
92
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
744 #ifdef DEBUG
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
745 fprintf(stderr, "eval: %s\n", expr);
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
746 #endif
b127a69061b2 fix some bugs.
David A. Holland
parents: 91
diff changeset
747
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
748 tokenarray_init(&tokens);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
749 tokenize(p, expr);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
750
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
751 result = false;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
752 num = tokenarray_num(&tokens);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
753 if (num == 2) {
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
754 t1 = tokenarray_get(&tokens, num-1);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
755 t2 = tokenarray_get(&tokens, num-2);
91
bd1b7a09da89 Don't expect the eval result to contain EOF *then* a value.
David A. Holland
parents: 63
diff changeset
756 if (t2->tok == T_VAL &&
bd1b7a09da89 Don't expect the eval result to contain EOF *then* a value.
David A. Holland
parents: 63
diff changeset
757 t1->tok == T_EOF) {
bd1b7a09da89 Don't expect the eval result to contain EOF *then* a value.
David A. Holland
parents: 63
diff changeset
758 result = t2->val != 0;
16
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
759 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
760 }
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
761
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
762 tokenarray_destroyall(&tokens);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
763 tokenarray_cleanup(&tokens);
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
764 return result;
9dda765ee85c expression evaluator
David A. Holland
parents:
diff changeset
765 }