annotate lwlib/lw_expr.c @ 404:0324fd09c7ac

Added documentation for the --symbol option for lwasm
author lost@l-w.ca
date Fri, 23 Jul 2010 18:31:33 -0600
parents a741d2e4869f
children 67815606c5d9
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
387
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
52 int lw_expr_whichop(lw_expr_t e)
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
53 {
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
54 if (e -> type == lw_expr_type_oper)
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
55 return e -> value;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
56 return -1;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
57 }
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
58
367
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
59 int lw_expr_specint(lw_expr_t e)
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
60 {
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
61 if (e -> type == lw_expr_type_special)
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
62 return e -> value;
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
63 return -1;
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
64 }
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
65
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
66 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
67 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
68 parse_term = fn;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
69 }
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
70
342
7b4123dce741 Added basic symbol registration
lost@starbug
parents: 337
diff changeset
71 void lw_expr_set_special_handler(lw_expr_fn_t *fn)
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
72 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
73 evaluate_special = fn;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
74 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
75
342
7b4123dce741 Added basic symbol registration
lost@starbug
parents: 337
diff changeset
76 void lw_expr_set_var_handler(lw_expr_fn2_t *fn)
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
77 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
78 evaluate_var = fn;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
79 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
80
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
81 lw_expr_t lw_expr_create(void)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
82 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
83 lw_expr_t r;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
84
f2173d18c73f Checkpoint
lost
parents:
diff changeset
85 r = lw_alloc(sizeof(struct lw_expr_priv));
f2173d18c73f Checkpoint
lost
parents:
diff changeset
86 r -> operands = NULL;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
87
f2173d18c73f Checkpoint
lost
parents:
diff changeset
88 return r;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
89 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
90
f2173d18c73f Checkpoint
lost
parents:
diff changeset
91 void lw_expr_destroy(lw_expr_t E)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
92 {
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
93 struct lw_expr_opers *o;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
94 for (o = E -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
95 lw_expr_destroy(o -> p);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
96 if (E -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
97 lw_free(E -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
98 lw_free(E);
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
99 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
100
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
101 /* actually duplicates the entire expression */
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
102 void lw_expr_add_operand(lw_expr_t E, lw_expr_t O);
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
103 lw_expr_t lw_expr_copy(lw_expr_t E)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
104 {
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
105 lw_expr_t r, t;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
106 struct lw_expr_opers *o;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
107
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
108 r = lw_alloc(sizeof(struct lw_expr_priv));
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
109 *r = *E;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
110 r -> operands = NULL;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
111
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
112 if (E -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
113 r -> value2 = lw_strdup(E -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
114 for (o = E -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
115 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
116 lw_expr_add_operand(r, lw_expr_copy(o -> p));
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
117 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
118
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
119 return r;
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
120 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
121
f2173d18c73f Checkpoint
lost
parents:
diff changeset
122 void lw_expr_add_operand(lw_expr_t E, lw_expr_t O)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
123 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
124 struct lw_expr_opers *o, *t;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
125
f2173d18c73f Checkpoint
lost
parents:
diff changeset
126 o = lw_alloc(sizeof(struct lw_expr_opers));
f2173d18c73f Checkpoint
lost
parents:
diff changeset
127 o -> p = lw_expr_copy(O);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
128 o -> next = NULL;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
129 for (t = E -> operands; t && t -> next; t = t -> next)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
130 /* do nothing */ ;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
131
f2173d18c73f Checkpoint
lost
parents:
diff changeset
132 if (t)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
133 t -> next = o;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
134 else
f2173d18c73f Checkpoint
lost
parents:
diff changeset
135 E -> operands = o;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
136 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
137
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
138 lw_expr_t lw_expr_build_aux(int exprtype, va_list args)
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
139 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
140 lw_expr_t r;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
141 int t;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
142 void *p;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
143
f2173d18c73f Checkpoint
lost
parents:
diff changeset
144 lw_expr_t te1, te2;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
145
f2173d18c73f Checkpoint
lost
parents:
diff changeset
146 r = lw_expr_create();
f2173d18c73f Checkpoint
lost
parents:
diff changeset
147
f2173d18c73f Checkpoint
lost
parents:
diff changeset
148 switch (exprtype)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
149 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
150 case lw_expr_type_int:
f2173d18c73f Checkpoint
lost
parents:
diff changeset
151 t = va_arg(args, int);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
152 r -> type = lw_expr_type_int;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
153 r -> value = t;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
154 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
155
f2173d18c73f Checkpoint
lost
parents:
diff changeset
156 case lw_expr_type_var:
f2173d18c73f Checkpoint
lost
parents:
diff changeset
157 p = va_arg(args, char *);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
158 r -> type = lw_expr_type_var;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
159 r -> value2 = lw_strdup(p);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
160 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
161
f2173d18c73f Checkpoint
lost
parents:
diff changeset
162 case lw_expr_type_special:
f2173d18c73f Checkpoint
lost
parents:
diff changeset
163 t = va_arg(args, int);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
164 p = va_arg(args, char *);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
165 r -> type = lw_expr_type_special;
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
166 r -> value = t;
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
167 r -> value2 = p;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
168 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
169
f2173d18c73f Checkpoint
lost
parents:
diff changeset
170 case lw_expr_type_oper:
f2173d18c73f Checkpoint
lost
parents:
diff changeset
171 t = va_arg(args, int);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
172 te1 = va_arg(args, lw_expr_t);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
173 if (t != lw_expr_oper_com && t != lw_expr_oper_neg)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
174 te2 = va_arg(args, lw_expr_t);
f2173d18c73f Checkpoint
lost
parents:
diff changeset
175 else
f2173d18c73f Checkpoint
lost
parents:
diff changeset
176 te2 = NULL;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
177
f2173d18c73f Checkpoint
lost
parents:
diff changeset
178 r -> type = lw_expr_type_oper;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
179 r -> value = t;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
180 lw_expr_add_operand(r, te1);
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
181 if (te2)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
182 lw_expr_add_operand(r, te2);
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
183 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
184
f2173d18c73f Checkpoint
lost
parents:
diff changeset
185 default:
f2173d18c73f Checkpoint
lost
parents:
diff changeset
186 lw_error("Invalid expression type specified to lw_expr_build");
f2173d18c73f Checkpoint
lost
parents:
diff changeset
187 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
188
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
189 return r;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
190 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
191
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
192 lw_expr_t lw_expr_build(int exprtype, ...)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
193 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
194 va_list args;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
195 lw_expr_t r;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
196
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
197 va_start(args, exprtype);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
198 r = lw_expr_build_aux(exprtype, args);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
199 va_end(args);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
200 return r;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
201 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
202
372
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
203 void lw_expr_print_aux(lw_expr_t E, char **obuf, int *buflen, int *bufloc)
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
204 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
205 struct lw_expr_opers *o;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
206 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
207 char buf[256];
387
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
208
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
209 if (!E)
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
210 {
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
211 strcpy(buf, "(NULL)");
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
212 return;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
213 }
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
214 for (o = E -> operands; o; o = o -> next)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
215 {
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
216 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
217 lw_expr_print_aux(o -> p, obuf, buflen, bufloc);
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
218 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
219
f2173d18c73f Checkpoint
lost
parents:
diff changeset
220 switch (E -> type)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
221 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
222 case lw_expr_type_int:
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
223 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
224 snprintf(buf, 256, "-%#x ", -(E -> value));
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
225 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
226 snprintf(buf, 256, "%#x ", E -> value);
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
227 break;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
228
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
229 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
230 snprintf(buf, 256, "V(%s) ", (char *)(E -> value2));
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
231 break;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
232
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
233 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
234 snprintf(buf, 256, "S(%d,%p) ", E -> value, E -> value2);
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
235 break;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
236
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
237 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
238 snprintf(buf, 256, "[%d]", c);
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
239 switch (E -> value)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
240 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
241 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
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_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
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_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
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_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
254 strcat(buf, "/ ");
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_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
258 strcat(buf, "% ");
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_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
262 strcat(buf, "\\ ");
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_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
266 strcat(buf, "BWAND ");
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_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
270 strcat(buf, "BWOR ");
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_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
274 strcat(buf, "BWXOR ");
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_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
278 strcat(buf, "AND ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
279 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
280
f2173d18c73f Checkpoint
lost
parents:
diff changeset
281 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
282 strcat(buf, "OR ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
283 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
284
f2173d18c73f Checkpoint
lost
parents:
diff changeset
285 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
286 strcat(buf, "NEG ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
287 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
288
f2173d18c73f Checkpoint
lost
parents:
diff changeset
289 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
290 strcat(buf, "COM ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
291 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
292
f2173d18c73f Checkpoint
lost
parents:
diff changeset
293 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
294 strcat(buf, "OPER ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
295 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
296 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
297 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
298 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
299 snprintf(buf, 256, "ERR ");
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
300 break;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
301 }
372
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 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
304 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
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 *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
307 *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
308 }
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
309 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
310 *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
311 }
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
312
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
313 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
314 {
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
315 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
316 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
317
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
318 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
319
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
320 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
321
90de73ba0cac Created a useful debug framework and adjusted lw_expr_print() to return a "static" dynamic string
lost@starbug
parents: 371
diff changeset
322 return obuf;
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
323 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
324
f2173d18c73f Checkpoint
lost
parents:
diff changeset
325 /*
f2173d18c73f Checkpoint
lost
parents:
diff changeset
326 Return:
f2173d18c73f Checkpoint
lost
parents:
diff changeset
327 nonzero if expressions are the same (identical pointers or matching values)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
328 zero if expressions are not the same
f2173d18c73f Checkpoint
lost
parents:
diff changeset
329
f2173d18c73f Checkpoint
lost
parents:
diff changeset
330 */
f2173d18c73f Checkpoint
lost
parents:
diff changeset
331 int lw_expr_compare(lw_expr_t E1, lw_expr_t E2)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
332 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
333 struct lw_expr_opers *o1, *o2;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
334
f2173d18c73f Checkpoint
lost
parents:
diff changeset
335 if (E1 == E2)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
336 return 1;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
337
f2173d18c73f Checkpoint
lost
parents:
diff changeset
338 if (!(E1 -> type == E2 -> type && E1 -> value == E2 -> value))
f2173d18c73f Checkpoint
lost
parents:
diff changeset
339 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
340
f2173d18c73f Checkpoint
lost
parents:
diff changeset
341 if (E1 -> type == lw_expr_type_var)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
342 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
343 if (!strcmp(E1 -> value2, E2 -> value2))
f2173d18c73f Checkpoint
lost
parents:
diff changeset
344 return 1;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
345 else
f2173d18c73f Checkpoint
lost
parents:
diff changeset
346 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
347 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
348
f2173d18c73f Checkpoint
lost
parents:
diff changeset
349 if (E1 -> type == lw_expr_type_special)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
350 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
351 if (E1 -> value2 == E2 -> value2)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
352 return 1;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
353 else
f2173d18c73f Checkpoint
lost
parents:
diff changeset
354 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
355 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
356
f2173d18c73f Checkpoint
lost
parents:
diff changeset
357 for (o1 = E1 -> operands, o2 = E2 -> operands; o1 && o2; o1 = o1 -> next, o2 = o2 -> next)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
358 if (lw_expr_compare(o1 -> p, o2 -> p) == 0)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
359 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
360 if (o1 || o2)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
361 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
362
f2173d18c73f Checkpoint
lost
parents:
diff changeset
363 return 1;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
364 }
f2173d18c73f Checkpoint
lost
parents:
diff changeset
365
f2173d18c73f Checkpoint
lost
parents:
diff changeset
366 /* return true if E is an operator of type oper */
f2173d18c73f Checkpoint
lost
parents:
diff changeset
367 int lw_expr_isoper(lw_expr_t E, int oper)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
368 {
f2173d18c73f Checkpoint
lost
parents:
diff changeset
369 if (E -> type == lw_expr_type_oper && E -> value == oper)
f2173d18c73f Checkpoint
lost
parents:
diff changeset
370 return 1;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
371 return 0;
f2173d18c73f Checkpoint
lost
parents:
diff changeset
372 }
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
373
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
374
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
375 void lw_expr_simplify_sortconstfirst(lw_expr_t E)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
376 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
377 struct lw_expr_opers *o;
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
378
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
379 if (E -> type != lw_expr_type_oper)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
380 return;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
381 if (E -> value != lw_expr_oper_times && E -> value != lw_expr_oper_plus)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
382 return;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
383
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
384 for (o = E -> operands; o; o = o -> next)
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
385 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
386 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
387 lw_expr_simplify_sortconstfirst(o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
388 }
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
389
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
390 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
391 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
392 if (o -> p -> type == lw_expr_type_int && o != E -> operands)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
393 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
394 struct lw_expr_opers *o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
395 for (o2 = E -> operands; o2 -> next != o; o2 = o2 -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
396 /* do nothing */ ;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
397 o2 -> next = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
398 o -> next = E -> operands;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
399 E -> operands = o;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
400 o = o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
401 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
402 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
403 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
404
336
401587ab6a09 checkpoint
lost
parents: 335
diff changeset
405 void lw_expr_sortoperandlist(struct lw_expr_opers **o)
401587ab6a09 checkpoint
lost
parents: 335
diff changeset
406 {
382
eacdae8a1575 Various bugfixes
lost@starbug
parents: 376
diff changeset
407 // fprintf(stderr, "lw_expr_sortoperandlist() not yet implemented\n");
336
401587ab6a09 checkpoint
lost
parents: 335
diff changeset
408 }
401587ab6a09 checkpoint
lost
parents: 335
diff changeset
409
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
410 // return 1 if the operand lists match, 0 if not
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
411 // may re-order the argument lists
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
412 int lw_expr_simplify_compareoperandlist(struct lw_expr_opers **ol1, struct lw_expr_opers **ol2)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
413 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
414 struct lw_expr_opers *o1, *o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
415
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
416 lw_expr_sortoperandlist(ol1);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
417 lw_expr_sortoperandlist(ol2);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
418
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
419 for (o1 = *ol1, o2 = *ol2; o1 && o2; o1 = o1 -> next, o2 = o2 -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
420 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
421 if (!lw_expr_compare(o1 -> p, o2 -> p))
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
422 return 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
423 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
424 if (o1 || o2)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
425 return 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
426 return 1;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
427 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
428
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
429 int lw_expr_simplify_isliketerm(lw_expr_t e1, lw_expr_t e2)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
430 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
431 // first term is a "times"
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
432 if (e1 -> type == lw_expr_type_oper && e1 -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
433 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
434 // second term is a "times"
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
435 if (e2 -> type == lw_expr_type_oper && e2 -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
436 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
437 // both times - easy check
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
438 struct lw_expr_opers *o1, *o2;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
439 for (o1 = e1 -> operands; o1; o1 = o1 -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
440 if (o1 -> p -> type != lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
441 break;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
442
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
443 for (o2 = e2 -> operands; o2; o2 = o2 -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
444 if (o2 -> p -> type != lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
445 break;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
446
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
447 if (lw_expr_simplify_compareoperandlist(&o1, &o2))
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
448 return 1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
449 return 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
450 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
451
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
452 // not a times - have to assume it's the operand list
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
453 // with a "1 *" in front if it
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
454 if (e1 -> operands -> next -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
455 return 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
456 if (!lw_expr_compare(e1 -> operands -> next -> p, e2))
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
457 return 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
458 return 1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
459 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
460
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
461 // e1 is not a times
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
462 if (e2 -> type == lw_expr_type_oper && e2 -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
463 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
464 // e2 is a times
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
465 if (e2 -> operands -> next -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
466 return 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
467 if (!lw_expr_compare(e1, e2 -> operands -> next -> p))
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
468 return 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
469 return 1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
470 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
471
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
472 // neither are times
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
473 if (!lw_expr_compare(e1, e2))
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
474 return 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
475 return 1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
476 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
477
387
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
478 void lw_expr_simplify(lw_expr_t E, void *priv);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
479
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
480 void lw_expr_simplify_go(lw_expr_t E, void *priv)
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
481 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
482 struct lw_expr_opers *o;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
483
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
484 // replace subtraction with O1 + -1(O2)...
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
485 // needed for like term collection
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
486 if (E -> type == lw_expr_type_oper && E -> value == lw_expr_oper_minus)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
487 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
488 for (o = E -> operands -> next; o; o = o -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
489 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
490 lw_expr_t e1, e2;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
491
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
492 e2 = lw_expr_build(lw_expr_type_int, -1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
493 e1 = lw_expr_build(lw_expr_type_oper, lw_expr_oper_times, e2, o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
494 lw_expr_destroy(o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
495 lw_expr_destroy(e2);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
496 o -> p = e1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
497 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
498 E -> value = lw_expr_oper_plus;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
499 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
500
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
501 // turn "NEG" into -1(O) - needed for like term collection
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
502 if (E -> type == lw_expr_type_oper && E -> value == lw_expr_oper_neg)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
503 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
504 lw_expr_t e1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
505
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
506 E -> value = lw_expr_oper_times;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
507 e1 = lw_expr_build(lw_expr_type_int, -1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
508 lw_expr_add_operand(E, e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
509 lw_expr_destroy(e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
510 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
511
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
512 again:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
513 // try to resolve non-constant terms to constants here
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
514 if (E -> type == lw_expr_type_special && evaluate_special)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
515 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
516 lw_expr_t te;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
517
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
518 te = evaluate_special(E -> value, E -> value2, priv);
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
519 if (te)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
520 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
521 for (o = E -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
522 lw_expr_destroy(o -> p);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
523 if (E -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
524 lw_free(E -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
525 *E = *te;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
526 E -> operands = NULL;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
527
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
528 if (te -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
529 E -> value2 = lw_strdup(te -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
530 for (o = te -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
531 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
532 lw_expr_add_operand(E, lw_expr_copy(o -> p));
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
533 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
534 lw_expr_destroy(te);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
535 goto again;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
536 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
537 return;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
538 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
539
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
540 if (E -> type == lw_expr_type_var && evaluate_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
541 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
542 lw_expr_t te;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
543
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
544 te = evaluate_var(E -> value2, priv);
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
545 if (te)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
546 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
547 for (o = E -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
548 lw_expr_destroy(o -> p);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
549 if (E -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
550 lw_free(E -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
551 *E = *te;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
552 E -> operands = NULL;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
553
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
554 if (te -> type == lw_expr_type_var)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
555 E -> value2 = lw_strdup(te -> value2);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
556 for (o = te -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
557 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
558 lw_expr_add_operand(E, lw_expr_copy(o -> p));
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
559 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
560 lw_expr_destroy(te);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
561 goto again;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
562 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
563 return;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
564 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
565
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
566 // non-operators have no simplification to do!
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
567 if (E -> type != lw_expr_type_oper)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
568 return;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
569
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
570 // merge plus operations
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
571 if (E -> value == lw_expr_oper_plus)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
572 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
573 lw_expr_t e2;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
574
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
575 tryagainplus:
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
576 for (o = E -> operands; o; o = o -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
577 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
578 if (o -> p -> type == lw_expr_type_oper && o -> p -> value == lw_expr_oper_plus)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
579 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
580 struct lw_expr_opers *o2, *o3;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
581 // we have a + operation - bring operands up
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
582
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
583 for (o2 = E -> operands; o2 && o2 -> next != o; o2 = o2 -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
584 /* do nothing */ ;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
585 if (o2)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
586 o2 -> next = o -> p -> operands;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
587 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
588 E -> operands = o -> p -> operands;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
589 for (o2 = o -> p -> operands; o2 -> next; o2 = o2 -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
590 /* do nothing */ ;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
591 o2 -> next = o -> next;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
592 o -> p -> operands = NULL;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
593 lw_expr_destroy(o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
594 lw_free(o);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
595 goto tryagainplus;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
596 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
597 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
598 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
599
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
600 // merge times operations
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
601 if (E -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
602 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
603 lw_expr_t e2;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
604
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
605 tryagaintimes:
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
606 for (o = E -> operands; o; o = o -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
607 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
608 if (o -> p -> type == lw_expr_type_oper && o -> p -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
609 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
610 struct lw_expr_opers *o2, *o3;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
611 // we have a + operation - bring operands up
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
612
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
613 for (o2 = E -> operands; o2 && o2 -> next != o; o2 = o2 -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
614 /* do nothing */ ;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
615 if (o2)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
616 o2 -> next = o -> p -> operands;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
617 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
618 E -> operands = o -> p -> operands;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
619 for (o2 = o -> p -> operands; o2 -> next; o2 = o2 -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
620 /* do nothing */ ;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
621 o2 -> next = o -> next;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
622 o -> p -> operands = NULL;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
623 lw_expr_destroy(o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
624 lw_free(o);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
625 goto tryagaintimes;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
626 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
627 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
628 }
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
629
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
630 // simplify operands
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
631 for (o = E -> operands; o; o = o -> next)
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
632 lw_expr_simplify(o -> p, priv);
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
633
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
634 for (o = E -> operands; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
635 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
636 if (o -> p -> type != lw_expr_type_int)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
637 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
638 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
639
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
640 if (!o)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
641 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
642 // we can do the operation here!
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
643 int tr = -42424242;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
644
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
645 switch (E -> value)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
646 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
647 case lw_expr_oper_neg:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
648 tr = -(E -> operands -> p -> value);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
649 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
650
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
651 case lw_expr_oper_com:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
652 tr = ~(E -> operands -> p -> value);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
653 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
654
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
655 case lw_expr_oper_plus:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
656 tr = E -> operands -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
657 for (o = E -> operands -> next; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
658 tr += o -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
659 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
660
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
661 case lw_expr_oper_minus:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
662 tr = E -> operands -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
663 for (o = E -> operands -> next; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
664 tr -= o -> 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_times:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
668 tr = E -> operands -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
669 for (o = E -> operands -> next; o; o = o -> next)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
670 tr *= o -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
671 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
672
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
673 case lw_expr_oper_divide:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
674 tr = E -> operands -> p -> value / E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
675 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
676
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
677 case lw_expr_oper_mod:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
678 tr = E -> operands -> p -> value % E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
679 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
680
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
681 case lw_expr_oper_intdiv:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
682 tr = E -> operands -> p -> value / E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
683 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
684
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
685 case lw_expr_oper_bwand:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
686 tr = E -> operands -> p -> value & E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
687 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
688
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
689 case lw_expr_oper_bwor:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
690 tr = E -> operands -> p -> value | E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
691 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
692
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
693 case lw_expr_oper_bwxor:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
694 tr = E -> operands -> p -> value ^ E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
695 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
696
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
697 case lw_expr_oper_and:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
698 tr = E -> operands -> p -> value && E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
699 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
700
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
701 case lw_expr_oper_or:
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
702 tr = E -> operands -> p -> value || E -> operands -> next -> p -> value;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
703 break;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
704
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
705 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
706
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
707 while (E -> operands)
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
708 {
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
709 o = E -> operands;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
710 E -> operands = o -> next;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
711 lw_expr_destroy(o -> p);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
712 lw_free(o);
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
713 }
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
714 E -> type = lw_expr_type_int;
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
715 E -> value = tr;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
716 return;
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
717 }
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
718
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
719 if (E -> value == lw_expr_oper_plus)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
720 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
721 lw_expr_t e1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
722 int cval = 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
723
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
724 e1 = lw_expr_create();
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
725 e1 -> operands = E -> operands;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
726 E -> operands = 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
727
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
728 for (o = e1 -> operands; o; o = o -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
729 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
730 if (o -> p -> type == lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
731 cval += o -> p -> value;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
732 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
733 lw_expr_add_operand(E, o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
734 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
735 lw_expr_destroy(e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
736 if (cval)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
737 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
738 e1 = lw_expr_build(lw_expr_type_int, cval);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
739 lw_expr_add_operand(E, e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
740 lw_expr_destroy(e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
741 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
742 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
743
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
744 if (E -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
745 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
746 lw_expr_t e1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
747 int 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_create();
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
750 e1 -> operands = E -> operands;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
751 E -> operands = 0;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
752
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
753 for (o = e1 -> operands; o; o = o -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
754 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
755 if (o -> p -> type == lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
756 cval *= o -> p -> value;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
757 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
758 lw_expr_add_operand(E, o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
759 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
760 lw_expr_destroy(e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
761 if (cval != 1)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
762 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
763 e1 = lw_expr_build(lw_expr_type_int, cval);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
764 lw_expr_add_operand(E, e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
765 lw_expr_destroy(e1);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
766 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
767 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
768
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
769 if (E -> value == lw_expr_oper_times)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
770 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
771 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
772 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
773 if (o -> p -> type == lw_expr_type_int && o -> p -> value == 0)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
774 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
775 // one operand of times is 0, replace operation with 0
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
776 while (E -> operands)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
777 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
778 o = E -> operands;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
779 E -> operands = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
780 lw_expr_destroy(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
781 lw_free(o);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
782 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
783 E -> type = lw_expr_type_int;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
784 E -> value = 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
785 return;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
786 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
787 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
788 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
789
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
790 // sort "constants" to the start of each operand list for + and *
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
791 if (E -> value == lw_expr_oper_plus || E -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
792 lw_expr_simplify_sortconstfirst(E);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
793
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
794 // look for like terms and collect them together
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
795 if (E -> value == lw_expr_oper_plus)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
796 {
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
797 struct lw_expr_opers *o2;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
798 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
799 {
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
800 // skip constants
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
801 if (o -> p -> type == lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
802 continue;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
803
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
804 // we have a term to match
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
805 // (o -> p) is first term
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
806 for (o2 = o -> next; o2; o2 = o2 -> next)
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
807 {
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
808 lw_expr_t e1, e2;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
809
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
810 if (o2 -> p -> type == lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
811 continue;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
812
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
813 if (lw_expr_simplify_isliketerm(o -> p, o2 -> p))
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
814 {
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
815 int coef, coef2;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
816
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
817 // we have a like term here
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
818 // do something about it
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
819 if (o -> p -> type == lw_expr_type_oper && o -> p -> value == lw_expr_oper_times)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
820 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
821 if (o -> p -> operands -> p -> type == lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
822 coef = o -> p -> operands -> p -> value;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
823 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
824 coef = 1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
825 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
826 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
827 coef = 1;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
828 if (o2 -> p -> type == lw_expr_type_oper && o2 -> p -> value == lw_expr_oper_times)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
829 {
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
830 if (o2 -> p -> operands -> p -> type == lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
831 coef2 = o2 -> p -> operands -> p -> value;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
832 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
833 coef2 = 1;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
834 }
371
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
835 else
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
836 coef2 = 1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
837 coef += coef2;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
838 e1 = lw_expr_create();
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
839 e1 -> type = lw_expr_type_oper;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
840 e1 -> value = lw_expr_oper_times;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
841 if (coef != 1)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
842 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
843 e2 = lw_expr_build(lw_expr_type_int, coef);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
844 lw_expr_add_operand(e1, e2);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
845 lw_expr_destroy(e2);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
846 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
847 lw_expr_destroy(o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
848 o -> p = e1;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
849 for (o = o2 -> p -> operands; o; o = o -> next)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
850 {
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
851 if (o -> p -> type == lw_expr_type_int)
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
852 continue;
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
853 lw_expr_add_operand(e1, o -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
854 }
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
855 lw_expr_destroy(o2 -> p);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
856 o2 -> p = lw_expr_build(lw_expr_type_int, 0);
9c24d9d485b9 Much bugfixing
lost@starbug
parents: 370
diff changeset
857 goto again;
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
858 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
859 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
860 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
861 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
862
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
863
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
864 if (E -> value == lw_expr_oper_plus)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
865 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
866 int c = 0, t = 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
867 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
868 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
869 t++;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
870 if (!(o -> p -> type == lw_expr_type_int && o -> p -> value == 0))
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
871 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
872 c++;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
873 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
874 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
875 if (c == 1)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
876 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
877 lw_expr_t r;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
878 // find the value and "move it up"
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
879 while (E -> operands)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
880 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
881 o = E -> operands;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
882 if (o -> p -> type != lw_expr_type_int || o -> p -> value != 0)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
883 {
337
04c80c51b16a Checkpoint development
lost
parents: 336
diff changeset
884 r = lw_expr_copy(o -> p);
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
885 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
886 E -> operands = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
887 lw_expr_destroy(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
888 lw_free(o);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
889 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
890 *E = *r;
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 == 0)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
894 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
895 // replace with 0
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
896 while (E -> operands)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
897 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
898 o = E -> operands;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
899 E -> operands = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
900 lw_expr_destroy(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
901 lw_free(o);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
902 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
903 E -> type = lw_expr_type_int;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
904 E -> value = 0;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
905 return;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
906 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
907 else if (c != t)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
908 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
909 // collapse out zero terms
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
910 struct lw_expr_opers *o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
911
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
912 for (o = E -> operands; o; o = o -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
913 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
914 if (o -> p -> type == lw_expr_type_int && o -> p -> value == 0)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
915 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
916 if (o == E -> operands)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
917 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
918 E -> operands = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
919 lw_expr_destroy(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
920 lw_free(o);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
921 o = E -> operands;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
922 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
923 else
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
924 {
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
925 for (o2 = E -> operands; o2 -> next == o; o2 = o2 -> next)
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
926 /* do nothing */ ;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
927 o2 -> next = o -> next;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
928 lw_expr_destroy(o -> p);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
929 lw_free(o);
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
930 o = o2;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
931 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
932 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
933 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
934 }
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
935 return;
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
936 }
387
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
937
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
938 /* handle <int> times <plus> - expand the terms - only with exactly two operands */
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
939 if (E -> value == lw_expr_oper_times)
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
940 {
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
941 lw_expr_t t1;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
942 lw_expr_t E2;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
943 lw_expr_t E3;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
944 if (E -> operands && E -> operands -> next && !(E -> operands -> next -> next))
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
945 {
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
946 if (E -> operands -> p -> type == lw_expr_type_int)
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
947 {
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
948 /* <int> TIMES <other> */
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
949 E2 = E -> operands -> next -> p;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
950 E3 = E -> operands -> p;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
951 if (E2 -> type == lw_expr_type_oper && E2 -> value == lw_expr_oper_plus)
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
952 {
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
953 lw_free(E -> operands -> next);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
954 lw_free(E -> operands);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
955 E -> operands = NULL;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
956 E -> value = lw_expr_oper_plus;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
957
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
958 for (o = E2 -> operands; o; o = o -> next)
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
959 {
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
960 t1 = lw_expr_build(lw_expr_type_oper, lw_expr_oper_times, E3, o -> p);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
961 lw_expr_add_operand(E, t1);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
962 }
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
963
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
964 lw_expr_destroy(E2);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
965 lw_expr_destroy(E3);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
966 }
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
967 }
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
968 else if (E -> operands -> next -> p -> type == lw_expr_type_int)
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
969 {
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
970 /* <other> TIMES <int> */
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
971 E2 = E -> operands -> p;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
972 E3 = E -> operands -> next -> p;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
973 if (E2 -> type == lw_expr_type_oper && E2 -> value == lw_expr_oper_plus)
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
974 {
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
975 lw_free(E -> operands -> next);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
976 lw_free(E -> operands);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
977 E -> operands = NULL;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
978 E -> value = lw_expr_oper_plus;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
979
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
980 for (o = E2 -> operands; o; o = o -> next)
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
981 {
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
982 t1 = lw_expr_build(lw_expr_type_oper, lw_expr_oper_times, E3, o -> p);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
983 lw_expr_add_operand(E, t1);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
984 }
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
985
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
986 lw_expr_destroy(E2);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
987 lw_expr_destroy(E3);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
988 }
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
989 }
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
990 }
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
991 }
335
9f58e3bca6e3 checkpoint
lost
parents: 334
diff changeset
992 }
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
993
387
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
994 void lw_expr_simplify(lw_expr_t E, void *priv)
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
995 {
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
996 lw_expr_t te;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
997 int c;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
998 do
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
999 {
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
1000 te = lw_expr_copy(E);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
1001 lw_expr_simplify_go(E, priv);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
1002 c = 0;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
1003 if (lw_expr_compare(te, E) == 0)
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
1004 c = 1;
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
1005 lw_expr_destroy(te);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
1006 }
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
1007 while (c);
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
1008 }
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
1009
a741d2e4869f Various bugfixes; fixed lwobjdump to display symbols with unprintable characters more sensibly; start of a (nonfunctional for now) testing framework
lost@l-w.ca
parents: 382
diff changeset
1010
346
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
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1013 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
1014 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
1015 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
1016 determine what the term really is. It also handles parentheses.
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1017
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1018 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
1019 respects the order of operations.
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 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
1022 following conditions:
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1023
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1024 1. a NUL character
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1025 2. a whitespace character
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1026 3. a )
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1027 4. a ,
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1028 5. any character that is not recognized as a term
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1029
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1030 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
1031
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1032 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
1033 error.
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 */
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 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
1038
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1039 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
1040 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1041 lw_expr_t term, term2;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1042
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1043 eval_next:
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1044 if (!**p || isspace(**p) || **p == ')' || **p == ']')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1045 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1046
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1047 // parentheses
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1048 if (**p == '(')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1049 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1050 (*p)++;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1051 term = lw_expr_parse_expr(p, priv, 0);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1052 if (**p != ')')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1053 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1054 lw_expr_destroy(term);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1055 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1056 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1057 (*p)++;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1058 return term;
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 // unary +
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1062 if (**p == '+')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1063 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1064 (*p)++;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1065 goto eval_next;
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 // unary - (prec 200)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1069 if (**p == '-')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1070 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1071 (*p)++;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1072 term = lw_expr_parse_expr(p, priv, 200);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1073 if (!term)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1074 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1075
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1076 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
1077 lw_expr_destroy(term);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1078 return term2;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1079 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1080
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1081 // unary ^ or ~ (complement, prec 200)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1082 if (**p == '^' || **p == '~')
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 (*p)++;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1085 term = lw_expr_parse_expr(p, priv, 200);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1086 if (!term)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1087 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1088
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1089 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
1090 lw_expr_destroy(term);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1091 return term2;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1092 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1093
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1094 // non-operator - pass to caller
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1095 return parse_term(p, priv);
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
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1098 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
1099 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1100 static const struct operinfo
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1101 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1102 int opernum;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1103 char *operstr;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1104 int operprec;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1105 } operators[] =
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1106 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1107 { lw_expr_oper_plus, "+", 100 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1108 { lw_expr_oper_minus, "-", 100 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1109 { lw_expr_oper_times, "*", 100 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1110 { lw_expr_oper_divide, "/", 150 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1111 { lw_expr_oper_mod, "%", 150 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1112 { lw_expr_oper_intdiv, "\\", 150 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1113
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1114 { lw_expr_oper_and, "&&", 25 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1115 { lw_expr_oper_or, "||", 25 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1116
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1117 { lw_expr_oper_bwand, "&", 50 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1118 { lw_expr_oper_bwor, "|", 50 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1119 { lw_expr_oper_bwxor, "^", 50 },
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1120
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1121 { lw_expr_oper_none, "", 0 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1122 };
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1123
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1124 int opern, i;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1125 lw_expr_t term1, term2, term3;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1126
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1127 if (!**p || isspace(**p) || **p == ')' || **p == ',' || **p == ']')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1128 return NULL;
370
6b33faa21a0a Debugging output and bugfixing pass 0
lost@starbug
parents: 367
diff changeset
1129
346
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1130 term1 = lw_expr_parse_term(p, priv);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1131 if (!term1)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1132 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1133
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1134 eval_next:
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1135 if (!**p || isspace(**p) || **p == ')' || **p == ',' || **p == ']')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1136 return term1;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1137
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1138 // expecting an operator here
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1139 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
1140 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1141 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
1142 /* do nothing */;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1143 if (operators[opern].operstr[i] == '\0')
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1144 break;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1145 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1146
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1147 if (operators[opern].opernum == lw_expr_oper_none)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1148 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1149 // unrecognized operator
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1150 lw_expr_destroy(term1);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1151 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1152 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1153
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1154 // operator number is in opern, length of oper in i
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1155
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1156 // logic:
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1157 // 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
1158 // we simply return without advancing the input pointer; the operator
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1159 // will be evaluated again in the enclosing function call
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1160 if (operators[opern].operprec <= prec)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1161 return term1;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1162
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1163 // logic:
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1164 // 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
1165 // 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
1166 // 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
1167 // stack and then go on with the expression evaluation
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1168 (*p) += i;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1169
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1170 // evaluate next expression(s) of higher precedence
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1171 term2 = lw_expr_parse_expr(p, priv, operators[opern].operprec);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1172 if (!term2)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1173 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1174 lw_expr_destroy(term1);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1175 return NULL;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1176 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1177
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1178 // now create operator
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1179 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
1180 lw_expr_destroy(term1);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1181 lw_expr_destroy(term2);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1182
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1183 // the new "expression" is the next "left operand"
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1184 term1 = term3;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1185
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1186 // continue evaluating
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1187 goto eval_next;
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1188 }
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1189
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1190 lw_expr_t lw_expr_parse(char **p, void *priv)
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1191 {
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1192 return lw_expr_parse_expr(p, priv, 0);
a82c55070624 Added expression parsing infrastructure and misc fixes
lost@starbug
parents: 342
diff changeset
1193 }
367
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1194
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1195 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
1196 {
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1197 struct lw_expr_opers *o;
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1198 int r;
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1199
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1200 for (o = e -> operands; o; o = o -> next)
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1201 {
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1202 r = lw_expr_testterms(o -> p, fn, priv);
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1203 if (r)
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1204 return r;
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1205 }
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1206 return (fn)(e, priv);
34dfc9747f23 Reduction passes complete
lost@starbug
parents: 347
diff changeset
1207 }
376
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1208
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1209 int lw_expr_type(lw_expr_t e)
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1210 {
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1211 return e -> type;
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1212 }
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1213
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1214 void *lw_expr_specptr(lw_expr_t e)
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1215 {
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1216 return e -> value2;
91c0fe026940 Output incomplete references in object target
lost@starbug
parents: 372
diff changeset
1217 }