annotate lwlib/lw_expr.c @ 382:eacdae8a1575

Various bugfixes
author lost@starbug
date Sat, 15 May 2010 13:39:21 -0600
parents 91c0fe026940
children a741d2e4869f
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);
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
174 if (te2)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
175 lw_expr_add_operand(r, te2);
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
176 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
177
f2173d18c73f Checkpoint
lost
parents:
diff changeset
178 default:
f2173d18c73f Checkpoint
lost
parents:
diff changeset
179 lw_error("Invalid expression type specified to lw_expr_build");
f2173d18c73f Checkpoint
lost
parents:
diff changeset
180 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
181
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
182 return r;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
183 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
184
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
185 lw_expr_t lw_expr_build(int exprtype, ...)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
186 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
187 va_list args;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
188 lw_expr_t r;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
189
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
190 va_start(args, exprtype);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
191 r = lw_expr_build_aux(exprtype, args);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
192 va_end(args);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
193 return r;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
194 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
195
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
196 void lw_expr_print_aux(lw_expr_t E, char **obuf, int *buflen, int *bufloc)
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
197 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
198 struct lw_expr_opers *o;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
199 int c = 0;
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
200 char buf[256];
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
201
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
202 for (o = E -> operands; o; o = o -> next)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
203 {
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
204 c++;
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
205 lw_expr_print_aux(o -> p, obuf, buflen, bufloc);
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
206 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
207
f2173d18c73f Checkpoint
lost
parents:
diff changeset
208 switch (E -> type)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
209 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
210 case lw_expr_type_int:
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
211 if (E -> value < 0)
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
212 snprintf(buf, 256, "-%#x ", -(E -> value));
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
213 else
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
214 snprintf(buf, 256, "%#x ", E -> value);
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
215 break;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
216
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
217 case lw_expr_type_var:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
218 snprintf(buf, 256, "V(%s) ", (char *)(E -> value2));
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
219 break;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
220
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
221 case lw_expr_type_special:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
222 snprintf(buf, 256, "S(%d,%p) ", E -> value, E -> value2);
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
223 break;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
224
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
225 case lw_expr_type_oper:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
226 snprintf(buf, 256, "[%d]", c);
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
227 switch (E -> value)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
228 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
229 case lw_expr_oper_plus:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
230 strcat(buf, "+ ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
231 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
232
f2173d18c73f Checkpoint
lost
parents:
diff changeset
233 case lw_expr_oper_minus:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
234 strcat(buf, "- ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
235 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
236
f2173d18c73f Checkpoint
lost
parents:
diff changeset
237 case lw_expr_oper_times:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
238 strcat(buf, "* ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
239 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
240
f2173d18c73f Checkpoint
lost
parents:
diff changeset
241 case lw_expr_oper_divide:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
242 strcat(buf, "/ ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
243 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
244
f2173d18c73f Checkpoint
lost
parents:
diff changeset
245 case lw_expr_oper_mod:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
246 strcat(buf, "% ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
247 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
248
f2173d18c73f Checkpoint
lost
parents:
diff changeset
249 case lw_expr_oper_intdiv:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
250 strcat(buf, "\\ ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
251 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
252
f2173d18c73f Checkpoint
lost
parents:
diff changeset
253 case lw_expr_oper_bwand:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
254 strcat(buf, "BWAND ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
255 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
256
f2173d18c73f Checkpoint
lost
parents:
diff changeset
257 case lw_expr_oper_bwor:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
258 strcat(buf, "BWOR ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
259 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
260
f2173d18c73f Checkpoint
lost
parents:
diff changeset
261 case lw_expr_oper_bwxor:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
262 strcat(buf, "BWXOR ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
263 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
264
f2173d18c73f Checkpoint
lost
parents:
diff changeset
265 case lw_expr_oper_and:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
266 strcat(buf, "AND ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
267 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
268
f2173d18c73f Checkpoint
lost
parents:
diff changeset
269 case lw_expr_oper_or:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
270 strcat(buf, "OR ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
271 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
272
f2173d18c73f Checkpoint
lost
parents:
diff changeset
273 case lw_expr_oper_neg:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
274 strcat(buf, "NEG ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
275 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
276
f2173d18c73f Checkpoint
lost
parents:
diff changeset
277 case lw_expr_oper_com:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
278 strcat(buf, "COM ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
279 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
280
f2173d18c73f Checkpoint
lost
parents:
diff changeset
281 default:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
282 strcat(buf, "OPER ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
283 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
284 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
285 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
286 default:
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
287 snprintf(buf, 256, "ERR ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
288 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
289 }
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
290
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
291 c = strlen(buf);
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
292 if (*bufloc + c >= *buflen)
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
293 {
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
294 *buflen += 128;
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
295 *obuf = lw_realloc(*obuf, *buflen);
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
296 }
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
297 strcpy(*obuf + *bufloc, buf);
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
298 *bufloc += c;
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
299 }
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
300
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
301 char *lw_expr_print(lw_expr_t E)
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
302 {
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
303 static char *obuf = NULL;
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
304 static int obufsize = 0;
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
305
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
306 int obufloc = 0;
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
307
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
308 lw_expr_print_aux(E, &obuf, &obufsize, &obufloc);
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
309
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
310 return obuf;
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
311 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
312
f2173d18c73f Checkpoint
lost
parents:
diff changeset
313 /*
f2173d18c73f Checkpoint
lost
parents:
diff changeset
314 Return:
f2173d18c73f Checkpoint
lost
parents:
diff changeset
315 nonzero if expressions are the same (identical pointers or matching values)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
316 zero if expressions are not the same
f2173d18c73f Checkpoint
lost
parents:
diff changeset
317
f2173d18c73f Checkpoint
lost
parents:
diff changeset
318 */
f2173d18c73f Checkpoint
lost
parents:
diff changeset
319 int lw_expr_compare(lw_expr_t E1, lw_expr_t E2)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
320 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
321 struct lw_expr_opers *o1, *o2;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
322
f2173d18c73f Checkpoint
lost
parents:
diff changeset
323 if (E1 == E2)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
324 return 1;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
325
f2173d18c73f Checkpoint
lost
parents:
diff changeset
326 if (!(E1 -> type == E2 -> type && E1 -> value == E2 -> value))
f2173d18c73f Checkpoint
lost
parents:
diff changeset
327 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
328
f2173d18c73f Checkpoint
lost
parents:
diff changeset
329 if (E1 -> type == lw_expr_type_var)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
330 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
331 if (!strcmp(E1 -> value2, E2 -> value2))
f2173d18c73f Checkpoint
lost
parents:
diff changeset
332 return 1;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
333 else
f2173d18c73f Checkpoint
lost
parents:
diff changeset
334 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
335 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
336
f2173d18c73f Checkpoint
lost
parents:
diff changeset
337 if (E1 -> type == lw_expr_type_special)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
338 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
339 if (E1 -> value2 == E2 -> value2)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
340 return 1;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
341 else
f2173d18c73f Checkpoint
lost
parents:
diff changeset
342 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
343 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
344
f2173d18c73f Checkpoint
lost
parents:
diff changeset
345 for (o1 = E1 -> operands, o2 = E2 -> operands; o1 && o2; o1 = o1 -> next, o2 = o2 -> next)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
346 if (lw_expr_compare(o1 -> p, o2 -> p) == 0)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
347 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
348 if (o1 || o2)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
349 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
350
f2173d18c73f Checkpoint
lost
parents:
diff changeset
351 return 1;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
352 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
353
f2173d18c73f Checkpoint
lost
parents:
diff changeset
354 /* return true if E is an operator of type oper */
f2173d18c73f Checkpoint
lost
parents:
diff changeset
355 int lw_expr_isoper(lw_expr_t E, int oper)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
356 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
357 if (E -> type == lw_expr_type_oper && E -> value == oper)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
358 return 1;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
359 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
360 }
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
361
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
362
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
363 void lw_expr_simplify_sortconstfirst(lw_expr_t E)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
364 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
365 struct lw_expr_opers *o;
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
366
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
367 if (E -> type != lw_expr_type_oper)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
368 return;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
369 if (E -> value != lw_expr_oper_times && E -> value != lw_expr_oper_plus)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
370 return;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
371
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
372 for (o = E -> operands; o; o = o -> next)
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
373 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
374 if (o -> p -> type == lw_expr_type_oper && (o -> p -> value == lw_expr_oper_times || o -> p -> value == lw_expr_oper_plus))
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
375 lw_expr_simplify_sortconstfirst(o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
376 }
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
377
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
378 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
379 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
380 if (o -> p -> type == lw_expr_type_int && o != E -> operands)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
381 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
382 struct lw_expr_opers *o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
383 for (o2 = E -> operands; o2 -> next != o; o2 = o2 -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
384 /* do nothing */ ;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
385 o2 -> next = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
386 o -> next = E -> operands;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
387 E -> operands = o;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
388 o = o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
389 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
390 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
391 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
392
336
401587ab6a09 checkpoint
lost
parents: 335
diff changeset
393 void lw_expr_sortoperandlist(struct lw_expr_opers **o)
401587ab6a09 checkpoint
lost
parents: 335
diff changeset
394 {
382
eacdae8a1575 Various bugfixes
lost@starbug
parents: 376
diff changeset
395 // fprintf(stderr, "lw_expr_sortoperandlist() not yet implemented\n");
336
401587ab6a09 checkpoint
lost
parents: 335
diff changeset
396 }
401587ab6a09 checkpoint
lost
parents: 335
diff changeset
397
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
398 // return 1 if the operand lists match, 0 if not
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
399 // may re-order the argument lists
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
400 int lw_expr_simplify_compareoperandlist(struct lw_expr_opers **ol1, struct lw_expr_opers **ol2)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
401 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
402 struct lw_expr_opers *o1, *o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
403
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
404 lw_expr_sortoperandlist(ol1);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
405 lw_expr_sortoperandlist(ol2);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
406
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
407 for (o1 = *ol1, o2 = *ol2; o1 && o2; o1 = o1 -> next, o2 = o2 -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
408 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
409 if (!lw_expr_compare(o1 -> p, o2 -> p))
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
410 return 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
411 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
412 if (o1 || o2)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
413 return 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
414 return 1;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
415 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
416
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
417 int lw_expr_simplify_isliketerm(lw_expr_t e1, lw_expr_t e2)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
418 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
419 // first term is a "times"
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
420 if (e1 -> type == lw_expr_type_oper && e1 -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
421 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
422 // second term is a "times"
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
423 if (e2 -> type == lw_expr_type_oper && e2 -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
424 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
425 // both times - easy check
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
426 struct lw_expr_opers *o1, *o2;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
427 for (o1 = e1 -> operands; o1; o1 = o1 -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
428 if (o1 -> p -> type != lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
429 break;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
430
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
431 for (o2 = e2 -> operands; o2; o2 = o2 -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
432 if (o2 -> p -> type != lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
433 break;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
434
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
435 if (lw_expr_simplify_compareoperandlist(&o1, &o2))
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
436 return 1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
437 return 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
438 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
439
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
440 // not a times - have to assume it's the operand list
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
441 // with a "1 *" in front if it
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
442 if (e1 -> operands -> next -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
443 return 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
444 if (!lw_expr_compare(e1 -> operands -> next -> p, e2))
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
445 return 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
446 return 1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
447 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
448
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
449 // e1 is not a times
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
450 if (e2 -> type == lw_expr_type_oper && e2 -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
451 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
452 // e2 is a times
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
453 if (e2 -> operands -> next -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
454 return 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
455 if (!lw_expr_compare(e1, e2 -> operands -> next -> p))
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
456 return 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
457 return 1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
458 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
459
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
460 // neither are times
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
461 if (!lw_expr_compare(e1, e2))
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
462 return 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
463 return 1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
464 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
465
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
466 void lw_expr_simplify(lw_expr_t E, void *priv)
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
467 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
468 struct lw_expr_opers *o;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
469
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
470 // replace subtraction with O1 + -1(O2)...
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
471 // needed for like term collection
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
472 if (E -> type == lw_expr_type_oper && E -> value == lw_expr_oper_minus)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
473 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
474 for (o = E -> operands -> next; o; o = o -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
475 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
476 lw_expr_t e1, e2;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
477
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
478 e2 = lw_expr_build(lw_expr_type_int, -1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
479 e1 = lw_expr_build(lw_expr_type_oper, lw_expr_oper_times, e2, o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
480 lw_expr_destroy(o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
481 lw_expr_destroy(e2);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
482 o -> p = e1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
483 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
484 E -> value = lw_expr_oper_plus;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
485 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
486
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
487 // turn "NEG" into -1(O) - needed for like term collection
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
488 if (E -> type == lw_expr_type_oper && E -> value == lw_expr_oper_neg)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
489 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
490 lw_expr_t e1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
491
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
492 E -> value = lw_expr_oper_times;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
493 e1 = lw_expr_build(lw_expr_type_int, -1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
494 lw_expr_add_operand(E, e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
495 lw_expr_destroy(e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
496 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
497
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
498 again:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
499 // try to resolve non-constant terms to constants here
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
500 if (E -> type == lw_expr_type_special && evaluate_special)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
501 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
502 lw_expr_t te;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
503
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
504 te = evaluate_special(E -> value, E -> value2, priv);
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
505 if (te)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
506 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
507 for (o = E -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
508 lw_expr_destroy(o -> p);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
509 if (E -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
510 lw_free(E -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
511 *E = *te;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
512 E -> operands = NULL;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
513
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
514 if (te -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
515 E -> value2 = lw_strdup(te -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
516 for (o = te -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
517 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
518 lw_expr_add_operand(E, lw_expr_copy(o -> p));
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
519 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
520 lw_expr_destroy(te);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
521 goto again;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
522 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
523 return;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
524 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
525
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
526 if (E -> type == lw_expr_type_var && evaluate_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
527 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
528 lw_expr_t te;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
529
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
530 te = evaluate_var(E -> value2, priv);
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
531 if (te)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
532 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
533 for (o = E -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
534 lw_expr_destroy(o -> p);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
535 if (E -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
536 lw_free(E -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
537 *E = *te;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
538 E -> operands = NULL;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
539
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
540 if (te -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
541 E -> value2 = lw_strdup(te -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
542 for (o = te -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
543 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
544 lw_expr_add_operand(E, lw_expr_copy(o -> p));
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
545 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
546 lw_expr_destroy(te);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
547 goto again;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
548 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
549 return;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
550 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
551
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
552 // non-operators have no simplification to do!
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
553 if (E -> type != lw_expr_type_oper)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
554 return;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
555
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
556 // merge plus operations
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
557 if (E -> value == lw_expr_oper_plus)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
558 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
559 lw_expr_t e2;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
560
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
561 tryagainplus:
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
562 for (o = E -> operands; o; o = o -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
563 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
564 if (o -> p -> type == lw_expr_type_oper && o -> p -> value == lw_expr_oper_plus)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
565 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
566 struct lw_expr_opers *o2, *o3;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
567 // we have a + operation - bring operands up
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
568
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
569 for (o2 = E -> operands; o2 && o2 -> next != o; o2 = o2 -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
570 /* do nothing */ ;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
571 if (o2)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
572 o2 -> next = o -> p -> operands;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
573 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
574 E -> operands = o -> p -> operands;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
575 for (o2 = o -> p -> operands; o2 -> next; o2 = o2 -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
576 /* do nothing */ ;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
577 o2 -> next = o -> next;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
578 o -> p -> operands = NULL;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
579 lw_expr_destroy(o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
580 lw_free(o);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
581 goto tryagainplus;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
582 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
583 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
584 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
585
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
586 // merge times operations
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
587 if (E -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
588 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
589 lw_expr_t e2;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
590
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
591 tryagaintimes:
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
592 for (o = E -> operands; o; o = o -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
593 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
594 if (o -> p -> type == lw_expr_type_oper && o -> p -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
595 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
596 struct lw_expr_opers *o2, *o3;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
597 // we have a + operation - bring operands up
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
598
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
599 for (o2 = E -> operands; o2 && o2 -> next != o; o2 = o2 -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
600 /* do nothing */ ;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
601 if (o2)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
602 o2 -> next = o -> p -> operands;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
603 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
604 E -> operands = o -> p -> operands;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
605 for (o2 = o -> p -> operands; o2 -> next; o2 = o2 -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
606 /* do nothing */ ;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
607 o2 -> next = o -> next;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
608 o -> p -> operands = NULL;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
609 lw_expr_destroy(o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
610 lw_free(o);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
611 goto tryagaintimes;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
612 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
613 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
614 }
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
615
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
616 // simplify operands
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
617 for (o = E -> operands; o; o = o -> next)
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
618 lw_expr_simplify(o -> p, priv);
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
619
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
620 for (o = E -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
621 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
622 if (o -> p -> type != lw_expr_type_int)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
623 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
624 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
625
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
626 if (!o)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
627 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
628 // we can do the operation here!
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
629 int tr = -42424242;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
630
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
631 switch (E -> value)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
632 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
633 case lw_expr_oper_neg:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
634 tr = -(E -> operands -> p -> value);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
635 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
636
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
637 case lw_expr_oper_com:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
638 tr = ~(E -> operands -> p -> value);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
639 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
640
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
641 case lw_expr_oper_plus:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
642 tr = E -> operands -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
643 for (o = E -> operands -> next; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
644 tr += o -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
645 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
646
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
647 case lw_expr_oper_minus:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
648 tr = E -> operands -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
649 for (o = E -> operands -> next; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
650 tr -= o -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
651 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
652
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
653 case lw_expr_oper_times:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
654 tr = E -> operands -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
655 for (o = E -> operands -> next; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
656 tr *= o -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
657 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
658
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
659 case lw_expr_oper_divide:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
660 tr = E -> operands -> p -> value / E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
661 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
662
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
663 case lw_expr_oper_mod:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
664 tr = E -> operands -> p -> value % E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
665 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
666
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
667 case lw_expr_oper_intdiv:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
668 tr = E -> operands -> p -> value / E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
669 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
670
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
671 case lw_expr_oper_bwand:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
672 tr = E -> operands -> p -> value & E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
673 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
674
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
675 case lw_expr_oper_bwor:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
676 tr = E -> operands -> p -> value | E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
677 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
678
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
679 case lw_expr_oper_bwxor:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
680 tr = E -> operands -> p -> value ^ E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
681 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
682
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
683 case lw_expr_oper_and:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
684 tr = E -> operands -> p -> value && E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
685 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
686
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
687 case lw_expr_oper_or:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
688 tr = E -> operands -> p -> value || E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
689 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
690
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
691 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
692
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
693 while (E -> operands)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
694 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
695 o = E -> operands;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
696 E -> operands = o -> next;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
697 lw_expr_destroy(o -> p);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
698 lw_free(o);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
699 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
700 E -> type = lw_expr_type_int;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
701 E -> value = tr;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
702 return;
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
703 }
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
704
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
705 if (E -> value == lw_expr_oper_plus)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
706 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
707 lw_expr_t e1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
708 int cval = 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
709
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
710 e1 = lw_expr_create();
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
711 e1 -> operands = E -> operands;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
712 E -> operands = 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
713
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
714 for (o = e1 -> operands; o; o = o -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
715 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
716 if (o -> p -> type == lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
717 cval += o -> p -> value;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
718 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
719 lw_expr_add_operand(E, o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
720 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
721 lw_expr_destroy(e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
722 if (cval)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
723 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
724 e1 = lw_expr_build(lw_expr_type_int, cval);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
725 lw_expr_add_operand(E, e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
726 lw_expr_destroy(e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
727 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
728 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
729
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
730 if (E -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
731 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
732 lw_expr_t e1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
733 int cval = 1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
734
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
735 e1 = lw_expr_create();
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
736 e1 -> operands = E -> operands;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
737 E -> operands = 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
738
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
739 for (o = e1 -> operands; o; o = o -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
740 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
741 if (o -> p -> type == lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
742 cval *= o -> p -> value;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
743 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
744 lw_expr_add_operand(E, o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
745 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
746 lw_expr_destroy(e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
747 if (cval != 1)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
748 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
749 e1 = lw_expr_build(lw_expr_type_int, cval);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
750 lw_expr_add_operand(E, e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
751 lw_expr_destroy(e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
752 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
753 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
754
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
755 if (E -> value == lw_expr_oper_times)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
756 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
757 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
758 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
759 if (o -> p -> type == lw_expr_type_int && o -> p -> value == 0)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
760 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
761 // one operand of times is 0, replace operation with 0
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
762 while (E -> operands)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
763 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
764 o = E -> operands;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
765 E -> operands = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
766 lw_expr_destroy(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
767 lw_free(o);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
768 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
769 E -> type = lw_expr_type_int;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
770 E -> value = 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
771 return;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
772 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
773 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
774 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
775
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
776 // sort "constants" to the start of each operand list for + and *
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
777 if (E -> value == lw_expr_oper_plus || E -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
778 lw_expr_simplify_sortconstfirst(E);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
779
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
780 // look for like terms and collect them together
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
781 if (E -> value == lw_expr_oper_plus)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
782 {
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
783 struct lw_expr_opers *o2;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
784 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
785 {
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
786 // skip constants
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
787 if (o -> p -> type == lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
788 continue;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
789
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
790 // we have a term to match
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
791 // (o -> p) is first term
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
792 for (o2 = o -> next; o2; o2 = o2 -> next)
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
793 {
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
794 lw_expr_t e1, e2;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
795
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
796 if (o2 -> p -> type == lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
797 continue;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
798
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
799 if (lw_expr_simplify_isliketerm(o -> p, o2 -> p))
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
800 {
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
801 int coef, coef2;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
802
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
803 // we have a like term here
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
804 // do something about it
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
805 if (o -> p -> type == lw_expr_type_oper && o -> p -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
806 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
807 if (o -> p -> operands -> p -> type == lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
808 coef = o -> p -> operands -> p -> value;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
809 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
810 coef = 1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
811 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
812 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
813 coef = 1;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
814 if (o2 -> p -> type == lw_expr_type_oper && o2 -> p -> value == lw_expr_oper_times)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
815 {
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
816 if (o2 -> p -> operands -> p -> type == lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
817 coef2 = o2 -> p -> operands -> p -> value;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
818 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
819 coef2 = 1;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
820 }
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
821 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
822 coef2 = 1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
823 coef += coef2;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
824 e1 = lw_expr_create();
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
825 e1 -> type = lw_expr_type_oper;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
826 e1 -> value = lw_expr_oper_times;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
827 if (coef != 1)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
828 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
829 e2 = lw_expr_build(lw_expr_type_int, coef);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
830 lw_expr_add_operand(e1, e2);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
831 lw_expr_destroy(e2);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
832 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
833 lw_expr_destroy(o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
834 o -> p = e1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
835 for (o = o2 -> p -> operands; o; o = o -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
836 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
837 if (o -> p -> type == lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
838 continue;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
839 lw_expr_add_operand(e1, o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
840 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
841 lw_expr_destroy(o2 -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
842 o2 -> p = lw_expr_build(lw_expr_type_int, 0);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
843 goto again;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
844 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
845 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
846 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
847 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
848
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
849
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
850 if (E -> value == lw_expr_oper_plus)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
851 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
852 int c = 0, t = 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
853 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
854 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
855 t++;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
856 if (!(o -> p -> type == lw_expr_type_int && o -> p -> value == 0))
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
857 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
858 c++;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
859 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
860 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
861 if (c == 1)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
862 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
863 lw_expr_t r;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
864 // find the value and "move it up"
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
865 while (E -> operands)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
866 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
867 o = E -> operands;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
868 if (o -> p -> type != lw_expr_type_int || o -> p -> value != 0)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
869 {
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
870 r = lw_expr_copy(o -> p);
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
871 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
872 E -> operands = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
873 lw_expr_destroy(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
874 lw_free(o);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
875 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
876 *E = *r;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
877 return;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
878 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
879 else if (c == 0)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
880 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
881 // replace with 0
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
882 while (E -> operands)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
883 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
884 o = E -> operands;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
885 E -> operands = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
886 lw_expr_destroy(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
887 lw_free(o);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
888 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
889 E -> type = lw_expr_type_int;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
890 E -> value = 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
891 return;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
892 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
893 else if (c != t)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
894 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
895 // collapse out zero terms
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
896 struct lw_expr_opers *o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
897
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
898 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
899 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
900 if (o -> p -> type == lw_expr_type_int && o -> p -> value == 0)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
901 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
902 if (o == E -> operands)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
903 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
904 E -> operands = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
905 lw_expr_destroy(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
906 lw_free(o);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
907 o = E -> operands;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
908 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
909 else
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
910 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
911 for (o2 = E -> operands; o2 -> next == o; o2 = o2 -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
912 /* do nothing */ ;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
913 o2 -> next = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
914 lw_expr_destroy(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
915 lw_free(o);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
916 o = o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
917 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
918 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
919 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
920 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
921 return;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
922 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
923 }
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
924
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
925 /*
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
926
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
927 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
928 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
929 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
930 determine what the term really is. It also handles parentheses.
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
931
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
932 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
933 respects the order of operations.
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
934
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
935 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
936 following conditions:
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
937
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
938 1. a NUL character
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
939 2. a whitespace character
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
940 3. a )
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
941 4. a ,
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
942 5. any character that is not recognized as a term
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
943
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
944 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
945
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
946 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
947 error.
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
948
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
949 */
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
950
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
951 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
952
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
953 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
954 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
955 lw_expr_t term, term2;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
956
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
957 eval_next:
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
958 if (!**p || isspace(**p) || **p == ')' || **p == ']')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
959 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
960
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
961 // parentheses
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
962 if (**p == '(')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
963 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
964 (*p)++;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
965 term = lw_expr_parse_expr(p, priv, 0);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
966 if (**p != ')')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
967 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
968 lw_expr_destroy(term);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
969 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
970 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
971 (*p)++;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
972 return term;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
973 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
974
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
975 // unary +
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
976 if (**p == '+')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
977 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
978 (*p)++;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
979 goto eval_next;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
980 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
981
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
982 // unary - (prec 200)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
983 if (**p == '-')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
984 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
985 (*p)++;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
986 term = lw_expr_parse_expr(p, priv, 200);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
987 if (!term)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
988 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
989
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
990 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
991 lw_expr_destroy(term);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
992 return term2;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
993 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
994
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
995 // unary ^ or ~ (complement, prec 200)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
996 if (**p == '^' || **p == '~')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
997 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
998 (*p)++;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
999 term = lw_expr_parse_expr(p, priv, 200);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1000 if (!term)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1001 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1002
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1003 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
1004 lw_expr_destroy(term);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1005 return term2;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1006 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1007
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1008 // non-operator - pass to caller
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1009 return parse_term(p, priv);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1010 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1011
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1012 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
1013 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1014 static const struct operinfo
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1015 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1016 int opernum;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1017 char *operstr;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1018 int operprec;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1019 } operators[] =
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1020 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1021 { lw_expr_oper_plus, "+", 100 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1022 { lw_expr_oper_minus, "-", 100 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1023 { lw_expr_oper_times, "*", 100 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1024 { lw_expr_oper_divide, "/", 150 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1025 { lw_expr_oper_mod, "%", 150 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1026 { lw_expr_oper_intdiv, "\\", 150 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1027
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1028 { lw_expr_oper_and, "&&", 25 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1029 { lw_expr_oper_or, "||", 25 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1030
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1031 { lw_expr_oper_bwand, "&", 50 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1032 { lw_expr_oper_bwor, "|", 50 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1033 { lw_expr_oper_bwxor, "^", 50 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1034
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1035 { lw_expr_oper_none, "", 0 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1036 };
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1037
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1038 int opern, i;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1039 lw_expr_t term1, term2, term3;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1040
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1041 if (!**p || isspace(**p) || **p == ')' || **p == ',' || **p == ']')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1042 return NULL;
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
1043
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1044 term1 = lw_expr_parse_term(p, priv);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1045 if (!term1)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1046 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1047
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1048 eval_next:
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1049 if (!**p || isspace(**p) || **p == ')' || **p == ',' || **p == ']')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1050 return term1;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1051
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1052 // expecting an operator here
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1053 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
1054 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1055 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
1056 /* do nothing */;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1057 if (operators[opern].operstr[i] == '\0')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1058 break;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1059 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1060
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1061 if (operators[opern].opernum == lw_expr_oper_none)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1062 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1063 // unrecognized operator
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1064 lw_expr_destroy(term1);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1065 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1066 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1067
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1068 // operator number is in opern, length of oper in i
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1069
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1070 // logic:
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1071 // 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
1072 // we simply return without advancing the input pointer; the operator
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1073 // will be evaluated again in the enclosing function call
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1074 if (operators[opern].operprec <= prec)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1075 return term1;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1076
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1077 // logic:
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1078 // 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
1079 // 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
1080 // 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
1081 // stack and then go on with the expression evaluation
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1082 (*p) += i;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1083
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1084 // evaluate next expression(s) of higher precedence
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1085 term2 = lw_expr_parse_expr(p, priv, operators[opern].operprec);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1086 if (!term2)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1087 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1088 lw_expr_destroy(term1);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1089 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1090 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1091
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1092 // now create operator
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1093 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
1094 lw_expr_destroy(term1);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1095 lw_expr_destroy(term2);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1096
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1097 // the new "expression" is the next "left operand"
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1098 term1 = term3;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1099
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1100 // continue evaluating
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1101 goto eval_next;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1102 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1103
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1104 lw_expr_t lw_expr_parse(char **p, void *priv)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1105 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1106 return lw_expr_parse_expr(p, priv, 0);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1107 }
367
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1108
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1109 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
1110 {
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1111 struct lw_expr_opers *o;
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1112 int r;
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1113
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1114 for (o = e -> operands; o; o = o -> next)
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1115 {
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1116 r = lw_expr_testterms(o -> p, fn, priv);
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1117 if (r)
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1118 return r;
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1119 }
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1120 return (fn)(e, priv);
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1121 }
376
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1122
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1123 int lw_expr_type(lw_expr_t e)
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1124 {
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1125 return e -> type;
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1126 }
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1127
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1128 void *lw_expr_specptr(lw_expr_t e)
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1129 {
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1130 return e -> value2;
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1131 }