annotate lwlib/lw_expr.c @ 370:6b33faa21a0a

Debugging output and bugfixing pass 0
author lost@starbug
date Tue, 20 Apr 2010 21:59:58 -0600
parents 34dfc9747f23
children 9c24d9d485b9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
1 /*
f2173d18c73f Checkpoint
lost
parents:
diff changeset
2 lwexpr.c
f2173d18c73f Checkpoint
lost
parents:
diff changeset
3
f2173d18c73f Checkpoint
lost
parents:
diff changeset
4 Copyright © 2010 William Astle
f2173d18c73f Checkpoint
lost
parents:
diff changeset
5
f2173d18c73f Checkpoint
lost
parents:
diff changeset
6 This file is part of LWTOOLS.
f2173d18c73f Checkpoint
lost
parents:
diff changeset
7
f2173d18c73f Checkpoint
lost
parents:
diff changeset
8 LWTOOLS is free software: you can redistribute it and/or modify it under the
f2173d18c73f Checkpoint
lost
parents:
diff changeset
9 terms of the GNU General Public License as published by the Free Software
f2173d18c73f Checkpoint
lost
parents:
diff changeset
10 Foundation, either version 3 of the License, or (at your option) any later
f2173d18c73f Checkpoint
lost
parents:
diff changeset
11 version.
f2173d18c73f Checkpoint
lost
parents:
diff changeset
12
f2173d18c73f Checkpoint
lost
parents:
diff changeset
13 This program is distributed in the hope that it will be useful, but WITHOUT
f2173d18c73f Checkpoint
lost
parents:
diff changeset
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
f2173d18c73f Checkpoint
lost
parents:
diff changeset
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
f2173d18c73f Checkpoint
lost
parents:
diff changeset
16 more details.
f2173d18c73f Checkpoint
lost
parents:
diff changeset
17
f2173d18c73f Checkpoint
lost
parents:
diff changeset
18 You should have received a copy of the GNU General Public License along with
f2173d18c73f Checkpoint
lost
parents:
diff changeset
19 this program. If not, see <http://www.gnu.org/licenses/>.
f2173d18c73f Checkpoint
lost
parents:
diff changeset
20 */
f2173d18c73f Checkpoint
lost
parents:
diff changeset
21
f2173d18c73f Checkpoint
lost
parents:
diff changeset
22 #include <config.h>
f2173d18c73f Checkpoint
lost
parents:
diff changeset
23
f2173d18c73f Checkpoint
lost
parents:
diff changeset
24 #include <stdarg.h>
f2173d18c73f Checkpoint
lost
parents:
diff changeset
25 #include <stdio.h>
f2173d18c73f Checkpoint
lost
parents:
diff changeset
26 #include <string.h>
f2173d18c73f Checkpoint
lost
parents:
diff changeset
27
f2173d18c73f Checkpoint
lost
parents:
diff changeset
28 #define ___lw_expr_c_seen___
f2173d18c73f Checkpoint
lost
parents:
diff changeset
29 #include "lw_alloc.h"
f2173d18c73f Checkpoint
lost
parents:
diff changeset
30 #include "lw_expr.h"
f2173d18c73f Checkpoint
lost
parents:
diff changeset
31 #include "lw_error.h"
f2173d18c73f Checkpoint
lost
parents:
diff changeset
32 #include "lw_string.h"
f2173d18c73f Checkpoint
lost
parents:
diff changeset
33
342
7b4123dce741 Added basic symbol registration
lost@starbug
parents: 337
diff changeset
34 static lw_expr_fn_t *evaluate_special = NULL;
7b4123dce741 Added basic symbol registration
lost@starbug
parents: 337
diff changeset
35 static lw_expr_fn2_t *evaluate_var = NULL;
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
36 static lw_expr_fn3_t *parse_term = NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
37
347
1649bc7bda5a Some data oriented pseudo ops added
lost@starbug
parents: 346
diff changeset
38 int lw_expr_istype(lw_expr_t e, int t)
1649bc7bda5a Some data oriented pseudo ops added
lost@starbug
parents: 346
diff changeset
39 {
1649bc7bda5a Some data oriented pseudo ops added
lost@starbug
parents: 346
diff changeset
40 if (e -> type == t)
1649bc7bda5a Some data oriented pseudo ops added
lost@starbug
parents: 346
diff changeset
41 return 1;
1649bc7bda5a Some data oriented pseudo ops added
lost@starbug
parents: 346
diff changeset
42 return 0;
1649bc7bda5a Some data oriented pseudo ops added
lost@starbug
parents: 346
diff changeset
43 }
1649bc7bda5a Some data oriented pseudo ops added
lost@starbug
parents: 346
diff changeset
44
1649bc7bda5a Some data oriented pseudo ops added
lost@starbug
parents: 346
diff changeset
45 int lw_expr_intval(lw_expr_t e)
1649bc7bda5a Some data oriented pseudo ops added
lost@starbug
parents: 346
diff changeset
46 {
1649bc7bda5a Some data oriented pseudo ops added
lost@starbug
parents: 346
diff changeset
47 if (e -> type == lw_expr_type_int)
1649bc7bda5a Some data oriented pseudo ops added
lost@starbug
parents: 346
diff changeset
48 return e -> value;
1649bc7bda5a Some data oriented pseudo ops added
lost@starbug
parents: 346
diff changeset
49 return -1;
1649bc7bda5a Some data oriented pseudo ops added
lost@starbug
parents: 346
diff changeset
50 }
1649bc7bda5a Some data oriented pseudo ops added
lost@starbug
parents: 346
diff changeset
51
367
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
52 int lw_expr_specint(lw_expr_t e)
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
53 {
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
54 if (e -> type == lw_expr_type_special)
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
55 return e -> value;
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
56 return -1;
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
57 }
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
58
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
59 void lw_expr_set_term_parser(lw_expr_fn3_t *fn)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
60 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
61 parse_term = fn;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
62 }
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
63
342
7b4123dce741 Added basic symbol registration
lost@starbug
parents: 337
diff changeset
64 void lw_expr_set_special_handler(lw_expr_fn_t *fn)
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
65 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
66 evaluate_special = fn;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
67 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
68
342
7b4123dce741 Added basic symbol registration
lost@starbug
parents: 337
diff changeset
69 void lw_expr_set_var_handler(lw_expr_fn2_t *fn)
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
70 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
71 evaluate_var = fn;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
72 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
73
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
74 lw_expr_t lw_expr_create(void)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
75 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
76 lw_expr_t r;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
77
f2173d18c73f Checkpoint
lost
parents:
diff changeset
78 r = lw_alloc(sizeof(struct lw_expr_priv));
f2173d18c73f Checkpoint
lost
parents:
diff changeset
79 r -> operands = NULL;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
80
f2173d18c73f Checkpoint
lost
parents:
diff changeset
81 return r;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
82 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
83
f2173d18c73f Checkpoint
lost
parents:
diff changeset
84 void lw_expr_destroy(lw_expr_t E)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
85 {
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
86 struct lw_expr_opers *o;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
87 for (o = E -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
88 lw_expr_destroy(o -> p);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
89 if (E -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
90 lw_free(E -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
91 lw_free(E);
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
92 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
93
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
94 /* actually duplicates the entire expression */
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
95 void lw_expr_add_operand(lw_expr_t E, lw_expr_t O);
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
96 lw_expr_t lw_expr_copy(lw_expr_t E)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
97 {
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
98 lw_expr_t r, t;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
99 struct lw_expr_opers *o;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
100
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
101 r = lw_alloc(sizeof(struct lw_expr_priv));
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
102 *r = *E;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
103 r -> operands = NULL;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
104
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
105 if (E -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
106 r -> value2 = lw_strdup(E -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
107 for (o = E -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
108 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
109 lw_expr_add_operand(r, lw_expr_copy(o -> p));
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
110 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
111
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
112 return r;
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
113 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
114
f2173d18c73f Checkpoint
lost
parents:
diff changeset
115 void lw_expr_add_operand(lw_expr_t E, lw_expr_t O)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
116 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
117 struct lw_expr_opers *o, *t;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
118
f2173d18c73f Checkpoint
lost
parents:
diff changeset
119 o = lw_alloc(sizeof(struct lw_expr_opers));
f2173d18c73f Checkpoint
lost
parents:
diff changeset
120 o -> p = lw_expr_copy(O);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
121 o -> next = NULL;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
122 for (t = E -> operands; t && t -> next; t = t -> next)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
123 /* do nothing */ ;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
124
f2173d18c73f Checkpoint
lost
parents:
diff changeset
125 if (t)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
126 t -> next = o;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
127 else
f2173d18c73f Checkpoint
lost
parents:
diff changeset
128 E -> operands = o;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
129 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
130
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
131 lw_expr_t lw_expr_build_aux(int exprtype, va_list args)
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
132 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
133 lw_expr_t r;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
134 int t;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
135 void *p;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
136
f2173d18c73f Checkpoint
lost
parents:
diff changeset
137 lw_expr_t te1, te2;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
138
f2173d18c73f Checkpoint
lost
parents:
diff changeset
139 r = lw_expr_create();
f2173d18c73f Checkpoint
lost
parents:
diff changeset
140
f2173d18c73f Checkpoint
lost
parents:
diff changeset
141 switch (exprtype)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
142 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
143 case lw_expr_type_int:
f2173d18c73f Checkpoint
lost
parents:
diff changeset
144 t = va_arg(args, int);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
145 r -> type = lw_expr_type_int;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
146 r -> value = t;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
147 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
148
f2173d18c73f Checkpoint
lost
parents:
diff changeset
149 case lw_expr_type_var:
f2173d18c73f Checkpoint
lost
parents:
diff changeset
150 p = va_arg(args, char *);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
151 r -> type = lw_expr_type_var;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
152 r -> value2 = lw_strdup(p);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
153 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
154
f2173d18c73f Checkpoint
lost
parents:
diff changeset
155 case lw_expr_type_special:
f2173d18c73f Checkpoint
lost
parents:
diff changeset
156 t = va_arg(args, int);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
157 p = va_arg(args, char *);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
158 r -> type = lw_expr_type_special;
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
159 r -> value = t;
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
160 r -> value2 = p;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
161 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
162
f2173d18c73f Checkpoint
lost
parents:
diff changeset
163 case lw_expr_type_oper:
f2173d18c73f Checkpoint
lost
parents:
diff changeset
164 t = va_arg(args, int);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
165 te1 = va_arg(args, lw_expr_t);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
166 if (t != lw_expr_oper_com && t != lw_expr_oper_neg)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
167 te2 = va_arg(args, lw_expr_t);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
168 else
f2173d18c73f Checkpoint
lost
parents:
diff changeset
169 te2 = NULL;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
170
f2173d18c73f Checkpoint
lost
parents:
diff changeset
171 r -> type = lw_expr_type_oper;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
172 r -> value = t;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
173 lw_expr_add_operand(r, te1);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
174 lw_expr_add_operand(r, te2);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
175 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
176
f2173d18c73f Checkpoint
lost
parents:
diff changeset
177 default:
f2173d18c73f Checkpoint
lost
parents:
diff changeset
178 lw_error("Invalid expression type specified to lw_expr_build");
f2173d18c73f Checkpoint
lost
parents:
diff changeset
179 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
180
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
181 return r;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
182 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
183
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
184 lw_expr_t lw_expr_build(int exprtype, ...)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
185 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
186 va_list args;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
187 lw_expr_t r;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
188
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
189 va_start(args, exprtype);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
190 r = lw_expr_build_aux(exprtype, args);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
191 va_end(args);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
192 return r;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
193 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
194
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
195 void lw_expr_print(lw_expr_t E, FILE *fp)
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
196 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
197 struct lw_expr_opers *o;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
198 int c = 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
199
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
200 for (o = E -> operands; o; o = o -> next)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
201 {
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
202 c++;
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
203 lw_expr_print(o -> p, fp);
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
204 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
205
f2173d18c73f Checkpoint
lost
parents:
diff changeset
206 switch (E -> type)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
207 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
208 case lw_expr_type_int:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
209 fprintf(fp, "%d ", E -> value);
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
210 break;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
211
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
212 case lw_expr_type_var:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
213 fprintf(fp, "V(%s) ", (char *)(E -> value2));
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
214 break;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
215
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
216 case lw_expr_type_special:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
217 fprintf(fp, "S(%d,%p) ", E -> value, E -> value2);
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
218 break;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
219
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
220 case lw_expr_type_oper:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
221 fprintf(fp, "[%d]", c);
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
222 switch (E -> value)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
223 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
224 case lw_expr_oper_plus:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
225 fprintf(fp, "+ ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
226 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
227
f2173d18c73f Checkpoint
lost
parents:
diff changeset
228 case lw_expr_oper_minus:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
229 fprintf(fp, "- ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
230 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
231
f2173d18c73f Checkpoint
lost
parents:
diff changeset
232 case lw_expr_oper_times:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
233 fprintf(fp, "* ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
234 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
235
f2173d18c73f Checkpoint
lost
parents:
diff changeset
236 case lw_expr_oper_divide:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
237 fprintf(fp, "/ ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
238 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
239
f2173d18c73f Checkpoint
lost
parents:
diff changeset
240 case lw_expr_oper_mod:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
241 fprintf(fp, "%% ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
242 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
243
f2173d18c73f Checkpoint
lost
parents:
diff changeset
244 case lw_expr_oper_intdiv:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
245 fprintf(fp, "\\ ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
246 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
247
f2173d18c73f Checkpoint
lost
parents:
diff changeset
248 case lw_expr_oper_bwand:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
249 fprintf(fp, "BWAND ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
250 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
251
f2173d18c73f Checkpoint
lost
parents:
diff changeset
252 case lw_expr_oper_bwor:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
253 fprintf(fp, "BWOR ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
254 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
255
f2173d18c73f Checkpoint
lost
parents:
diff changeset
256 case lw_expr_oper_bwxor:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
257 fprintf(fp, "BWXOR ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
258 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
259
f2173d18c73f Checkpoint
lost
parents:
diff changeset
260 case lw_expr_oper_and:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
261 fprintf(fp, "AND ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
262 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
263
f2173d18c73f Checkpoint
lost
parents:
diff changeset
264 case lw_expr_oper_or:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
265 fprintf(fp, "OR ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
266 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
267
f2173d18c73f Checkpoint
lost
parents:
diff changeset
268 case lw_expr_oper_neg:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
269 fprintf(fp, "NEG ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
270 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
271
f2173d18c73f Checkpoint
lost
parents:
diff changeset
272 case lw_expr_oper_com:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
273 fprintf(fp, "COM ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
274 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
275
f2173d18c73f Checkpoint
lost
parents:
diff changeset
276 default:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
277 fprintf(fp, "OPER ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
278 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
279 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
280 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
281 default:
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
282 fprintf(fp, "ERR ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
283 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
284 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
285 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
286
f2173d18c73f Checkpoint
lost
parents:
diff changeset
287 /*
f2173d18c73f Checkpoint
lost
parents:
diff changeset
288 Return:
f2173d18c73f Checkpoint
lost
parents:
diff changeset
289 nonzero if expressions are the same (identical pointers or matching values)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
290 zero if expressions are not the same
f2173d18c73f Checkpoint
lost
parents:
diff changeset
291
f2173d18c73f Checkpoint
lost
parents:
diff changeset
292 */
f2173d18c73f Checkpoint
lost
parents:
diff changeset
293 int lw_expr_compare(lw_expr_t E1, lw_expr_t E2)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
294 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
295 struct lw_expr_opers *o1, *o2;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
296
f2173d18c73f Checkpoint
lost
parents:
diff changeset
297 if (E1 == E2)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
298 return 1;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
299
f2173d18c73f Checkpoint
lost
parents:
diff changeset
300 if (!(E1 -> type == E2 -> type && E1 -> value == E2 -> value))
f2173d18c73f Checkpoint
lost
parents:
diff changeset
301 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
302
f2173d18c73f Checkpoint
lost
parents:
diff changeset
303 if (E1 -> type == lw_expr_type_var)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
304 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
305 if (!strcmp(E1 -> value2, E2 -> value2))
f2173d18c73f Checkpoint
lost
parents:
diff changeset
306 return 1;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
307 else
f2173d18c73f Checkpoint
lost
parents:
diff changeset
308 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
309 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
310
f2173d18c73f Checkpoint
lost
parents:
diff changeset
311 if (E1 -> type == lw_expr_type_special)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
312 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
313 if (E1 -> value2 == E2 -> value2)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
314 return 1;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
315 else
f2173d18c73f Checkpoint
lost
parents:
diff changeset
316 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
317 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
318
f2173d18c73f Checkpoint
lost
parents:
diff changeset
319 for (o1 = E1 -> operands, o2 = E2 -> operands; o1 && o2; o1 = o1 -> next, o2 = o2 -> next)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
320 if (lw_expr_compare(o1 -> p, o2 -> p) == 0)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
321 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
322 if (o1 || o2)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
323 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
324
f2173d18c73f Checkpoint
lost
parents:
diff changeset
325 return 1;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
326 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
327
f2173d18c73f Checkpoint
lost
parents:
diff changeset
328 /* return true if E is an operator of type oper */
f2173d18c73f Checkpoint
lost
parents:
diff changeset
329 int lw_expr_isoper(lw_expr_t E, int oper)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
330 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
331 if (E -> type == lw_expr_type_oper && E -> value == oper)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
332 return 1;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
333 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
334 }
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
336
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
337 void lw_expr_simplify_sortconstfirst(lw_expr_t E)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
338 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
339 struct lw_expr_opers *o;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
340
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
341 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
342 lw_expr_simplify_sortconstfirst(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
343
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
344 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
345 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
346 if (o -> p -> type == lw_expr_type_int && o != E -> operands)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
347 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
348 struct lw_expr_opers *o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
349 for (o2 = E -> operands; o2 -> next != o; o2 = o2 -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
350 /* do nothing */ ;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
351 o2 -> next = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
352 o -> next = E -> operands;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
353 E -> operands = o;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
354 o = o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
355 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
356 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
357 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
358
336
401587ab6a09 checkpoint
lost
parents: 335
diff changeset
359 void lw_expr_sortoperandlist(struct lw_expr_opers **o)
401587ab6a09 checkpoint
lost
parents: 335
diff changeset
360 {
401587ab6a09 checkpoint
lost
parents: 335
diff changeset
361 fprintf(stderr, "lw_expr_sortoperandlist() not yet implemented\n");
401587ab6a09 checkpoint
lost
parents: 335
diff changeset
362 }
401587ab6a09 checkpoint
lost
parents: 335
diff changeset
363
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
364 // return 1 if the operand lists match, 0 if not
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
365 // may re-order the argument lists
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
366 int lw_expr_simplify_compareoperandlist(struct lw_expr_opers **ol1, struct lw_expr_opers **ol2)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
367 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
368 struct lw_expr_opers *o1, *o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
369
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
370 lw_expr_sortoperandlist(ol1);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
371 lw_expr_sortoperandlist(ol2);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
372
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
373 for (o1 = *ol1, o2 = *ol2; o1 && o2; o1 = o1 -> next, o2 = o2 -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
374 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
375 if (!lw_expr_compare(o1 -> p, o2 -> p))
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
376 return 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
377 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
378 if (o1 || o2)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
379 return 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
380 return 1;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
381 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
382
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
383 void lw_expr_simplify(lw_expr_t E, void *priv)
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
384 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
385 struct lw_expr_opers *o;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
386
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
387 again:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
388 // try to resolve non-constant terms to constants here
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
389 if (E -> type == lw_expr_type_special && evaluate_special)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
390 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
391 lw_expr_t te;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
392
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
393 te = evaluate_special(E -> value, E -> value2, priv);
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
394 if (te)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
395 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
396 for (o = E -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
397 lw_expr_destroy(o -> p);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
398 if (E -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
399 lw_free(E -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
400 *E = *te;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
401 E -> operands = NULL;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
402
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
403 if (te -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
404 E -> value2 = lw_strdup(te -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
405 for (o = te -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
406 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
407 lw_expr_add_operand(E, lw_expr_copy(o -> p));
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
408 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
409 lw_expr_destroy(te);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
410 goto again;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
411 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
412 return;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
413 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
414
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
415 if (E -> type == lw_expr_type_var && evaluate_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
416 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
417 lw_expr_t te;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
418
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
419 te = evaluate_var(E -> value2, priv);
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
420 if (te)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
421 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
422 for (o = E -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
423 lw_expr_destroy(o -> p);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
424 if (E -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
425 lw_free(E -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
426 *E = *te;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
427 E -> operands = NULL;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
428
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
429 if (te -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
430 E -> value2 = lw_strdup(te -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
431 for (o = te -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
432 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
433 lw_expr_add_operand(E, lw_expr_copy(o -> p));
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
434 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
435 lw_expr_destroy(te);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
436 goto again;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
437 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
438 return;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
439 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
440
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
441 // non-operators have no simplification to do!
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
442 if (E -> type != lw_expr_type_oper)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
443 return;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
444
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
445 // sort "constants" to the start of each operand list for + and *
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
446 lw_expr_simplify_sortconstfirst(E);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
447
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
448 // simplify operands
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
449 for (o = E -> operands; o; o = o -> next)
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
450 lw_expr_simplify(o -> p, priv);
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
451
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
452 for (o = E -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
453 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
454 if (o -> p -> type != lw_expr_type_int)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
455 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
456 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
457
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
458 if (!o)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
459 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
460 // we can do the operation here!
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
461 int tr = -42424242;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
462
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
463 switch (E -> value)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
464 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
465 case lw_expr_oper_neg:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
466 tr = -(E -> operands -> p -> value);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
467 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
468
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
469 case lw_expr_oper_com:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
470 tr = ~(E -> operands -> p -> value);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
471 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
472
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
473 case lw_expr_oper_plus:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
474 tr = E -> operands -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
475 for (o = E -> operands -> next; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
476 tr += o -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
477 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
478
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
479 case lw_expr_oper_minus:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
480 tr = E -> operands -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
481 for (o = E -> operands -> next; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
482 tr -= o -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
483 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
484
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
485 case lw_expr_oper_times:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
486 tr = E -> operands -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
487 for (o = E -> operands -> next; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
488 tr *= o -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
489 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
490
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
491 case lw_expr_oper_divide:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
492 tr = E -> operands -> p -> value / E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
493 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
494
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
495 case lw_expr_oper_mod:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
496 tr = E -> operands -> p -> value % E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
497 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
498
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
499 case lw_expr_oper_intdiv:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
500 tr = E -> operands -> p -> value / E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
501 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
502
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
503 case lw_expr_oper_bwand:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
504 tr = E -> operands -> p -> value & E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
505 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
506
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
507 case lw_expr_oper_bwor:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
508 tr = E -> operands -> p -> value | E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
509 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
510
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
511 case lw_expr_oper_bwxor:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
512 tr = E -> operands -> p -> value ^ E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
513 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
514
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
515 case lw_expr_oper_and:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
516 tr = E -> operands -> p -> value && E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
517 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
518
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
519 case lw_expr_oper_or:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
520 tr = E -> operands -> p -> value || E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
521 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
522
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
523 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
524
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
525 while (E -> operands)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
526 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
527 o = E -> operands;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
528 E -> operands = o -> next;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
529 lw_expr_destroy(o -> p);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
530 lw_free(o);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
531 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
532 E -> type = lw_expr_type_int;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
533 E -> value = tr;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
534 return;
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
535 }
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
536
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
537 if (E -> value == lw_expr_oper_times)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
538 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
539 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
540 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
541 if (o -> p -> type == lw_expr_type_int && o -> p -> value == 0)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
542 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
543 // one operand of times is 0, replace operation with 0
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
544 while (E -> operands)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
545 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
546 o = E -> operands;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
547 E -> operands = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
548 lw_expr_destroy(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
549 lw_free(o);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
550 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
551 E -> type = lw_expr_type_int;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
552 E -> value = 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
553 return;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
554 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
555 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
556 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
557
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
558 // look for like terms and collect them together
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
559 if (E -> value == lw_expr_oper_plus)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
560 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
561 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
562 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
563 if (o -> p -> type == lw_expr_type_oper && o -> p -> value == lw_expr_oper_times)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
564 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
565 // we have a "times" here
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
566 // find first non-const operand
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
567 struct lw_expr_opers *op1, *op2, *o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
568 for (op1 = o -> p -> operands; op1; op1 = op1 -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
569 if (op1 -> p -> type != lw_expr_type_int)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
570 break;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
571
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
572 for (o2 = o -> next; o2; o2 = o2 -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
573 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
574 if (o2 -> p -> type == lw_expr_type_oper && o2 -> p -> value == lw_expr_oper_times)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
575 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
576 // another "times"
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
577 for (op2 = o2 -> p -> operands; op2; op2 = op2 -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
578 if (op2 -> p -> type != lw_expr_type_int)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
579 break;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
580
336
401587ab6a09 checkpoint
lost
parents: 335
diff changeset
581 if (lw_expr_simplify_compareoperandlist(&op1, &op2))
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
582 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
583 // we have like terms here
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
584 // do something about it
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
585 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
586 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
587 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
588 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
589 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
590 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
591
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
592
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
593 if (E -> value == lw_expr_oper_plus)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
594 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
595 int c = 0, t = 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
596 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
597 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
598 t++;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
599 if (!(o -> p -> type == lw_expr_type_int && o -> p -> value == 0))
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
600 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
601 c++;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
602 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
603 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
604 if (c == 1)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
605 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
606 lw_expr_t r;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
607 // find the value and "move it up"
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
608 while (E -> operands)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
609 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
610 o = E -> operands;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
611 if (o -> p -> type != lw_expr_type_int || o -> p -> value != 0)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
612 {
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
613 r = lw_expr_copy(o -> p);
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
614 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
615 E -> operands = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
616 lw_expr_destroy(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
617 lw_free(o);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
618 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
619 *E = *r;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
620 return;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
621 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
622 else if (c == 0)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
623 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
624 // replace with 0
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
625 while (E -> operands)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
626 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
627 o = E -> operands;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
628 E -> operands = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
629 lw_expr_destroy(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
630 lw_free(o);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
631 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
632 E -> type = lw_expr_type_int;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
633 E -> value = 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
634 return;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
635 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
636 else if (c != t)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
637 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
638 // collapse out zero terms
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
639 struct lw_expr_opers *o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
640
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
641 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
642 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
643 if (o -> p -> type == lw_expr_type_int && o -> p -> value == 0)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
644 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
645 if (o == E -> operands)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
646 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
647 E -> operands = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
648 lw_expr_destroy(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
649 lw_free(o);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
650 o = E -> operands;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
651 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
652 else
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
653 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
654 for (o2 = E -> operands; o2 -> next == o; o2 = o2 -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
655 /* do nothing */ ;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
656 o2 -> next = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
657 lw_expr_destroy(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
658 lw_free(o);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
659 o = o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
660 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
661 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
662 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
663 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
664 return;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
665 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
666 }
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
667
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
668 /*
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
669
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
670 The following two functions are co-routines which evaluate an infix
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
671 expression. lw_expr_parse_term checks for unary prefix operators then, if
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
672 none found, passes the string off the the defined helper function to
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
673 determine what the term really is. It also handles parentheses.
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
674
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
675 lw_expr_parse_expr evaluates actual expressions with infix operators. It
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
676 respects the order of operations.
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
677
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
678 The end of an expression is determined by the presence of any of the
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
679 following conditions:
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
680
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
681 1. a NUL character
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
682 2. a whitespace character
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
683 3. a )
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
684 4. a ,
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
685 5. any character that is not recognized as a term
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
686
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
687 lw_expr_parse_term returns NULL if there is no term (end of expr, etc.)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
688
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
689 lw_expr_parse_expr returns NULL if there is no expression or on a syntax
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
690 error.
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
691
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
692 */
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
693
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
694 lw_expr_t lw_expr_parse_expr(char **p, void *priv, int prec);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
695
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
696 lw_expr_t lw_expr_parse_term(char **p, void *priv)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
697 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
698 lw_expr_t term, term2;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
699
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
700 eval_next:
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
701 if (!**p || isspace(**p) || **p == ')' || **p == ']')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
702 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
703
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
704 // parentheses
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
705 if (**p == '(')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
706 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
707 (*p)++;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
708 term = lw_expr_parse_expr(p, priv, 0);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
709 if (**p != ')')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
710 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
711 lw_expr_destroy(term);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
712 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
713 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
714 (*p)++;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
715 return term;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
716 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
717
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
718 // unary +
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
719 if (**p == '+')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
720 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
721 (*p)++;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
722 goto eval_next;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
723 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
724
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
725 // unary - (prec 200)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
726 if (**p == '-')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
727 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
728 (*p)++;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
729 term = lw_expr_parse_expr(p, priv, 200);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
730 if (!term)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
731 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
732
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
733 term2 = lw_expr_build(lw_expr_type_oper, lw_expr_oper_neg, term);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
734 lw_expr_destroy(term);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
735 return term2;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
736 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
737
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
738 // unary ^ or ~ (complement, prec 200)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
739 if (**p == '^' || **p == '~')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
740 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
741 (*p)++;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
742 term = lw_expr_parse_expr(p, priv, 200);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
743 if (!term)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
744 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
745
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
746 term2 = lw_expr_build(lw_expr_type_oper, lw_expr_oper_com, term);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
747 lw_expr_destroy(term);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
748 return term2;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
749 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
750
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
751 // non-operator - pass to caller
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
752 return parse_term(p, priv);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
753 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
754
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
755 lw_expr_t lw_expr_parse_expr(char **p, void *priv, int prec)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
756 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
757 static const struct operinfo
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
758 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
759 int opernum;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
760 char *operstr;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
761 int operprec;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
762 } operators[] =
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
763 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
764 { lw_expr_oper_plus, "+", 100 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
765 { lw_expr_oper_minus, "-", 100 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
766 { lw_expr_oper_times, "*", 100 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
767 { lw_expr_oper_divide, "/", 150 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
768 { lw_expr_oper_mod, "%", 150 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
769 { lw_expr_oper_intdiv, "\\", 150 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
770
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
771 { lw_expr_oper_and, "&&", 25 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
772 { lw_expr_oper_or, "||", 25 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
773
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
774 { lw_expr_oper_bwand, "&", 50 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
775 { lw_expr_oper_bwor, "|", 50 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
776 { lw_expr_oper_bwxor, "^", 50 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
777
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
778 { lw_expr_oper_none, "", 0 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
779 };
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
780
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
781 int opern, i;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
782 lw_expr_t term1, term2, term3;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
783
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
784 if (!**p || isspace(**p) || **p == ')' || **p == ',' || **p == ']')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
785 return NULL;
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
786
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
787 term1 = lw_expr_parse_term(p, priv);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
788 if (!term1)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
789 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
790
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
791 eval_next:
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
792 if (!**p || isspace(**p) || **p == ')' || **p == ',' || **p == ']')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
793 return term1;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
794
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
795 // expecting an operator here
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
796 for (opern = 0; operators[opern].opernum != lw_expr_oper_none; opern++)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
797 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
798 for (i = 0; (*p)[i] && operators[opern].operstr[i] && ((*p)[i] == operators[opern].operstr[i]); i++)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
799 /* do nothing */;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
800 if (operators[opern].operstr[i] == '\0')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
801 break;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
802 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
803
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
804 if (operators[opern].opernum == lw_expr_oper_none)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
805 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
806 // unrecognized operator
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
807 lw_expr_destroy(term1);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
808 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
809 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
810
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
811 // operator number is in opern, length of oper in i
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
812
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
813 // logic:
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
814 // if the precedence of this operation is <= to the "prec" flag,
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
815 // we simply return without advancing the input pointer; the operator
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
816 // will be evaluated again in the enclosing function call
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
817 if (operators[opern].operprec <= prec)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
818 return term1;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
819
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
820 // logic:
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
821 // we have a higher precedence operator here so we will advance the
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
822 // input pointer to the next term and let the expression evaluator
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
823 // loose on it after which time we will push our operator onto the
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
824 // stack and then go on with the expression evaluation
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
825 (*p) += i;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
826
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
827 // evaluate next expression(s) of higher precedence
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
828 term2 = lw_expr_parse_expr(p, priv, operators[opern].operprec);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
829 if (!term2)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
830 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
831 lw_expr_destroy(term1);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
832 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
833 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
834
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
835 // now create operator
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
836 term3 = lw_expr_build(lw_expr_type_oper, operators[opern].opernum, term1, term2);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
837 lw_expr_destroy(term1);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
838 lw_expr_destroy(term2);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
839
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
840 // the new "expression" is the next "left operand"
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
841 term1 = term3;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
842
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
843 // continue evaluating
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
844 goto eval_next;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
845 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
846
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
847 lw_expr_t lw_expr_parse(char **p, void *priv)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
848 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
849 return lw_expr_parse_expr(p, priv, 0);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
850 }
367
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
851
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
852 int lw_expr_testterms(lw_expr_t e, lw_expr_testfn_t *fn, void *priv)
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
853 {
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
854 struct lw_expr_opers *o;
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
855 int r;
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
856
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
857 for (o = e -> operands; o; o = o -> next)
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
858 {
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
859 r = lw_expr_testterms(o -> p, fn, priv);
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
860 if (r)
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
861 return r;
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
862 }
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
863 return (fn)(e, priv);
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
864 }