|
996
|
1 /* Automatically generated output, edit source and recompile to change */
|
|
|
2 #include "oil.h"
|
|
|
3 int optimize_pass1_8(node *np)
|
|
|
4 { int opted=0;
|
|
|
5 unsigned long c,c1,c2,c3,c4,c5,c6,c7,c8,c9;
|
|
|
6 unsigned long x,x1,x2,x3,x4,x5,x6,x7,x8,x9,r;
|
|
|
7 int tempw;
|
|
|
8 node *tp;
|
|
|
9 checknodeactbits(np);
|
|
|
10 if(np->opcode==C_OR &&
|
|
|
11 np->lval->opcode==C_AND &&
|
|
|
12 np->rval->opcode==C_AND &&
|
|
|
13 np->rval->lval->opcode==C_XOR)
|
|
|
14 do
|
|
|
15 {
|
|
|
16 x4=np->lval->rval->constant; c4=np->lval->rval->optdata;
|
|
|
17 x3=np->rval->rval->constant; c3=np->rval->rval->optdata;
|
|
|
18 x2=np->rval->lval->rval->constant; c2=np->rval->lval->rval->optdata;
|
|
|
19 if(!nodessame(np->lval->lval,np->rval->lval->lval)) break;
|
|
|
20 x1=np->rval->lval->lval->constant; c1=np->rval->lval->lval->optdata;
|
|
|
21 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
22 OPTING(distribhalfxoroveror1);
|
|
|
23 tp=newnode();
|
|
|
24 MAYBENEWNODE(tp);
|
|
|
25 tp->opcode=C_AND;
|
|
|
26 tp->width=32;
|
|
|
27 MAYBENEWNODE(tp->lval);
|
|
|
28 tp->lval->opcode=C_XOR;
|
|
|
29 tp->lval->width=32;
|
|
|
30 tp->lval->lval=np->rval->lval->lval;
|
|
|
31 np->rval->lval->lval=0;
|
|
|
32 tp->lval->rval=np->rval->lval->rval;
|
|
|
33 np->rval->lval->rval=0;
|
|
|
34 MAYBENEWNODE(tp->rval);
|
|
|
35 tp->rval->opcode=C_OR;
|
|
|
36 tp->rval->width=32;
|
|
|
37 tp->rval->lval=np->rval->rval;
|
|
|
38 np->rval->rval=0;
|
|
|
39 tp->rval->rval=np->lval->rval;
|
|
|
40 np->lval->rval=0;
|
|
|
41 nodefree(np->lval); nodefree(np->rval);
|
|
|
42 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
43 } while(0);
|
|
|
44
|
|
|
45 checknodeactbits(np);
|
|
|
46 if(np->opcode==C_OR &&
|
|
|
47 np->lval->opcode==C_AND &&
|
|
|
48 np->lval->lval->opcode==C_XOR &&
|
|
|
49 np->rval->opcode==C_AND)
|
|
|
50 do
|
|
|
51 {
|
|
|
52 x4=np->rval->lval->constant; c4=np->rval->lval->optdata;
|
|
|
53 x3=np->lval->rval->constant; c3=np->lval->rval->optdata;
|
|
|
54 x2=np->lval->lval->rval->constant; c2=np->lval->lval->rval->optdata;
|
|
|
55 if(!nodessame(np->lval->lval->lval,np->rval->rval)) break;
|
|
|
56 x1=np->rval->rval->constant; c1=np->rval->rval->optdata;
|
|
|
57 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
58 OPTING(distribhalfxoroveror1);
|
|
|
59 tp=newnode();
|
|
|
60 MAYBENEWNODE(tp);
|
|
|
61 tp->opcode=C_AND;
|
|
|
62 tp->width=32;
|
|
|
63 MAYBENEWNODE(tp->lval);
|
|
|
64 tp->lval->opcode=C_XOR;
|
|
|
65 tp->lval->width=32;
|
|
|
66 tp->lval->lval=np->rval->rval;
|
|
|
67 np->rval->rval=0;
|
|
|
68 tp->lval->rval=np->lval->lval->rval;
|
|
|
69 np->lval->lval->rval=0;
|
|
|
70 MAYBENEWNODE(tp->rval);
|
|
|
71 tp->rval->opcode=C_OR;
|
|
|
72 tp->rval->width=32;
|
|
|
73 tp->rval->lval=np->lval->rval;
|
|
|
74 np->lval->rval=0;
|
|
|
75 tp->rval->rval=np->rval->lval;
|
|
|
76 np->rval->lval=0;
|
|
|
77 nodefree(np->lval); nodefree(np->rval);
|
|
|
78 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
79 } while(0);
|
|
|
80
|
|
|
81 checknodeactbits(np);
|
|
|
82 if(np->opcode==C_OR &&
|
|
|
83 np->lval->opcode==C_AND &&
|
|
|
84 np->rval->opcode==C_AND &&
|
|
|
85 np->rval->lval->opcode==C_XOR)
|
|
|
86 do
|
|
|
87 {
|
|
|
88 x4=np->lval->lval->constant; c4=np->lval->lval->optdata;
|
|
|
89 x3=np->rval->rval->constant; c3=np->rval->rval->optdata;
|
|
|
90 x2=np->rval->lval->rval->constant; c2=np->rval->lval->rval->optdata;
|
|
|
91 if(!nodessame(np->lval->rval,np->rval->lval->lval)) break;
|
|
|
92 x1=np->rval->lval->lval->constant; c1=np->rval->lval->lval->optdata;
|
|
|
93 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
94 OPTING(distribhalfxoroveror1);
|
|
|
95 tp=newnode();
|
|
|
96 MAYBENEWNODE(tp);
|
|
|
97 tp->opcode=C_AND;
|
|
|
98 tp->width=32;
|
|
|
99 MAYBENEWNODE(tp->lval);
|
|
|
100 tp->lval->opcode=C_XOR;
|
|
|
101 tp->lval->width=32;
|
|
|
102 tp->lval->lval=np->rval->lval->lval;
|
|
|
103 np->rval->lval->lval=0;
|
|
|
104 tp->lval->rval=np->rval->lval->rval;
|
|
|
105 np->rval->lval->rval=0;
|
|
|
106 MAYBENEWNODE(tp->rval);
|
|
|
107 tp->rval->opcode=C_OR;
|
|
|
108 tp->rval->width=32;
|
|
|
109 tp->rval->lval=np->rval->rval;
|
|
|
110 np->rval->rval=0;
|
|
|
111 tp->rval->rval=np->lval->lval;
|
|
|
112 np->lval->lval=0;
|
|
|
113 nodefree(np->lval); nodefree(np->rval);
|
|
|
114 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
115 } while(0);
|
|
|
116
|
|
|
117 checknodeactbits(np);
|
|
|
118 if(np->opcode==C_OR &&
|
|
|
119 np->lval->opcode==C_AND &&
|
|
|
120 np->lval->rval->opcode==C_XOR &&
|
|
|
121 np->rval->opcode==C_AND)
|
|
|
122 do
|
|
|
123 {
|
|
|
124 x4=np->rval->rval->constant; c4=np->rval->rval->optdata;
|
|
|
125 x3=np->lval->lval->constant; c3=np->lval->lval->optdata;
|
|
|
126 x2=np->lval->rval->rval->constant; c2=np->lval->rval->rval->optdata;
|
|
|
127 if(!nodessame(np->lval->rval->lval,np->rval->lval)) break;
|
|
|
128 x1=np->rval->lval->constant; c1=np->rval->lval->optdata;
|
|
|
129 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
130 OPTING(distribhalfxoroveror1);
|
|
|
131 tp=newnode();
|
|
|
132 MAYBENEWNODE(tp);
|
|
|
133 tp->opcode=C_AND;
|
|
|
134 tp->width=32;
|
|
|
135 MAYBENEWNODE(tp->lval);
|
|
|
136 tp->lval->opcode=C_XOR;
|
|
|
137 tp->lval->width=32;
|
|
|
138 tp->lval->lval=np->rval->lval;
|
|
|
139 np->rval->lval=0;
|
|
|
140 tp->lval->rval=np->lval->rval->rval;
|
|
|
141 np->lval->rval->rval=0;
|
|
|
142 MAYBENEWNODE(tp->rval);
|
|
|
143 tp->rval->opcode=C_OR;
|
|
|
144 tp->rval->width=32;
|
|
|
145 tp->rval->lval=np->lval->lval;
|
|
|
146 np->lval->lval=0;
|
|
|
147 tp->rval->rval=np->rval->rval;
|
|
|
148 np->rval->rval=0;
|
|
|
149 nodefree(np->lval); nodefree(np->rval);
|
|
|
150 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
151 } while(0);
|
|
|
152
|
|
|
153 checknodeactbits(np);
|
|
|
154 if(np->opcode==C_OR &&
|
|
|
155 np->lval->opcode==C_AND &&
|
|
|
156 np->rval->opcode==C_AND &&
|
|
|
157 np->rval->rval->opcode==C_XOR)
|
|
|
158 do
|
|
|
159 {
|
|
|
160 x4=np->lval->rval->constant; c4=np->lval->rval->optdata;
|
|
|
161 x3=np->rval->lval->constant; c3=np->rval->lval->optdata;
|
|
|
162 x2=np->rval->rval->rval->constant; c2=np->rval->rval->rval->optdata;
|
|
|
163 if(!nodessame(np->lval->lval,np->rval->rval->lval)) break;
|
|
|
164 x1=np->rval->rval->lval->constant; c1=np->rval->rval->lval->optdata;
|
|
|
165 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
166 OPTING(distribhalfxoroveror1);
|
|
|
167 tp=newnode();
|
|
|
168 MAYBENEWNODE(tp);
|
|
|
169 tp->opcode=C_AND;
|
|
|
170 tp->width=32;
|
|
|
171 MAYBENEWNODE(tp->lval);
|
|
|
172 tp->lval->opcode=C_XOR;
|
|
|
173 tp->lval->width=32;
|
|
|
174 tp->lval->lval=np->rval->rval->lval;
|
|
|
175 np->rval->rval->lval=0;
|
|
|
176 tp->lval->rval=np->rval->rval->rval;
|
|
|
177 np->rval->rval->rval=0;
|
|
|
178 MAYBENEWNODE(tp->rval);
|
|
|
179 tp->rval->opcode=C_OR;
|
|
|
180 tp->rval->width=32;
|
|
|
181 tp->rval->lval=np->rval->lval;
|
|
|
182 np->rval->lval=0;
|
|
|
183 tp->rval->rval=np->lval->rval;
|
|
|
184 np->lval->rval=0;
|
|
|
185 nodefree(np->lval); nodefree(np->rval);
|
|
|
186 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
187 } while(0);
|
|
|
188
|
|
|
189 checknodeactbits(np);
|
|
|
190 if(np->opcode==C_OR &&
|
|
|
191 np->lval->opcode==C_AND &&
|
|
|
192 np->lval->rval->opcode==C_XOR &&
|
|
|
193 np->rval->opcode==C_AND)
|
|
|
194 do
|
|
|
195 {
|
|
|
196 x4=np->rval->lval->constant; c4=np->rval->lval->optdata;
|
|
|
197 x3=np->lval->lval->constant; c3=np->lval->lval->optdata;
|
|
|
198 x2=np->lval->rval->rval->constant; c2=np->lval->rval->rval->optdata;
|
|
|
199 if(!nodessame(np->lval->rval->lval,np->rval->rval)) break;
|
|
|
200 x1=np->rval->rval->constant; c1=np->rval->rval->optdata;
|
|
|
201 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
202 OPTING(distribhalfxoroveror1);
|
|
|
203 tp=newnode();
|
|
|
204 MAYBENEWNODE(tp);
|
|
|
205 tp->opcode=C_AND;
|
|
|
206 tp->width=32;
|
|
|
207 MAYBENEWNODE(tp->lval);
|
|
|
208 tp->lval->opcode=C_XOR;
|
|
|
209 tp->lval->width=32;
|
|
|
210 tp->lval->lval=np->rval->rval;
|
|
|
211 np->rval->rval=0;
|
|
|
212 tp->lval->rval=np->lval->rval->rval;
|
|
|
213 np->lval->rval->rval=0;
|
|
|
214 MAYBENEWNODE(tp->rval);
|
|
|
215 tp->rval->opcode=C_OR;
|
|
|
216 tp->rval->width=32;
|
|
|
217 tp->rval->lval=np->lval->lval;
|
|
|
218 np->lval->lval=0;
|
|
|
219 tp->rval->rval=np->rval->lval;
|
|
|
220 np->rval->lval=0;
|
|
|
221 nodefree(np->lval); nodefree(np->rval);
|
|
|
222 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
223 } while(0);
|
|
|
224
|
|
|
225 checknodeactbits(np);
|
|
|
226 if(np->opcode==C_OR &&
|
|
|
227 np->lval->opcode==C_AND &&
|
|
|
228 np->rval->opcode==C_AND &&
|
|
|
229 np->rval->rval->opcode==C_XOR)
|
|
|
230 do
|
|
|
231 {
|
|
|
232 x4=np->lval->lval->constant; c4=np->lval->lval->optdata;
|
|
|
233 x3=np->rval->lval->constant; c3=np->rval->lval->optdata;
|
|
|
234 x2=np->rval->rval->rval->constant; c2=np->rval->rval->rval->optdata;
|
|
|
235 if(!nodessame(np->lval->rval,np->rval->rval->lval)) break;
|
|
|
236 x1=np->rval->rval->lval->constant; c1=np->rval->rval->lval->optdata;
|
|
|
237 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
238 OPTING(distribhalfxoroveror1);
|
|
|
239 tp=newnode();
|
|
|
240 MAYBENEWNODE(tp);
|
|
|
241 tp->opcode=C_AND;
|
|
|
242 tp->width=32;
|
|
|
243 MAYBENEWNODE(tp->lval);
|
|
|
244 tp->lval->opcode=C_XOR;
|
|
|
245 tp->lval->width=32;
|
|
|
246 tp->lval->lval=np->rval->rval->lval;
|
|
|
247 np->rval->rval->lval=0;
|
|
|
248 tp->lval->rval=np->rval->rval->rval;
|
|
|
249 np->rval->rval->rval=0;
|
|
|
250 MAYBENEWNODE(tp->rval);
|
|
|
251 tp->rval->opcode=C_OR;
|
|
|
252 tp->rval->width=32;
|
|
|
253 tp->rval->lval=np->rval->lval;
|
|
|
254 np->rval->lval=0;
|
|
|
255 tp->rval->rval=np->lval->lval;
|
|
|
256 np->lval->lval=0;
|
|
|
257 nodefree(np->lval); nodefree(np->rval);
|
|
|
258 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
259 } while(0);
|
|
|
260
|
|
|
261 checknodeactbits(np);
|
|
|
262 if(np->opcode==C_OR &&
|
|
|
263 np->lval->opcode==C_AND &&
|
|
|
264 np->lval->lval->opcode==C_XOR &&
|
|
|
265 np->rval->opcode==C_AND)
|
|
|
266 do
|
|
|
267 {
|
|
|
268 x4=np->rval->rval->constant; c4=np->rval->rval->optdata;
|
|
|
269 x3=np->lval->rval->constant; c3=np->lval->rval->optdata;
|
|
|
270 x2=np->lval->lval->lval->constant; c2=np->lval->lval->lval->optdata;
|
|
|
271 if(!nodessame(np->lval->lval->rval,np->rval->lval)) break;
|
|
|
272 x1=np->rval->lval->constant; c1=np->rval->lval->optdata;
|
|
|
273 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
274 OPTING(distribhalfxoroveror1);
|
|
|
275 tp=newnode();
|
|
|
276 MAYBENEWNODE(tp);
|
|
|
277 tp->opcode=C_AND;
|
|
|
278 tp->width=32;
|
|
|
279 MAYBENEWNODE(tp->lval);
|
|
|
280 tp->lval->opcode=C_XOR;
|
|
|
281 tp->lval->width=32;
|
|
|
282 tp->lval->lval=np->rval->lval;
|
|
|
283 np->rval->lval=0;
|
|
|
284 tp->lval->rval=np->lval->lval->lval;
|
|
|
285 np->lval->lval->lval=0;
|
|
|
286 MAYBENEWNODE(tp->rval);
|
|
|
287 tp->rval->opcode=C_OR;
|
|
|
288 tp->rval->width=32;
|
|
|
289 tp->rval->lval=np->lval->rval;
|
|
|
290 np->lval->rval=0;
|
|
|
291 tp->rval->rval=np->rval->rval;
|
|
|
292 np->rval->rval=0;
|
|
|
293 nodefree(np->lval); nodefree(np->rval);
|
|
|
294 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
295 } while(0);
|
|
|
296
|
|
|
297 checknodeactbits(np);
|
|
|
298 if(np->opcode==C_OR &&
|
|
|
299 np->lval->opcode==C_AND &&
|
|
|
300 np->rval->opcode==C_AND &&
|
|
|
301 np->rval->lval->opcode==C_XOR)
|
|
|
302 do
|
|
|
303 {
|
|
|
304 x4=np->lval->rval->constant; c4=np->lval->rval->optdata;
|
|
|
305 x3=np->rval->rval->constant; c3=np->rval->rval->optdata;
|
|
|
306 x2=np->rval->lval->lval->constant; c2=np->rval->lval->lval->optdata;
|
|
|
307 if(!nodessame(np->lval->lval,np->rval->lval->rval)) break;
|
|
|
308 x1=np->rval->lval->rval->constant; c1=np->rval->lval->rval->optdata;
|
|
|
309 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
310 OPTING(distribhalfxoroveror1);
|
|
|
311 tp=newnode();
|
|
|
312 MAYBENEWNODE(tp);
|
|
|
313 tp->opcode=C_AND;
|
|
|
314 tp->width=32;
|
|
|
315 MAYBENEWNODE(tp->lval);
|
|
|
316 tp->lval->opcode=C_XOR;
|
|
|
317 tp->lval->width=32;
|
|
|
318 tp->lval->lval=np->rval->lval->rval;
|
|
|
319 np->rval->lval->rval=0;
|
|
|
320 tp->lval->rval=np->rval->lval->lval;
|
|
|
321 np->rval->lval->lval=0;
|
|
|
322 MAYBENEWNODE(tp->rval);
|
|
|
323 tp->rval->opcode=C_OR;
|
|
|
324 tp->rval->width=32;
|
|
|
325 tp->rval->lval=np->rval->rval;
|
|
|
326 np->rval->rval=0;
|
|
|
327 tp->rval->rval=np->lval->rval;
|
|
|
328 np->lval->rval=0;
|
|
|
329 nodefree(np->lval); nodefree(np->rval);
|
|
|
330 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
331 } while(0);
|
|
|
332
|
|
|
333 checknodeactbits(np);
|
|
|
334 if(np->opcode==C_OR &&
|
|
|
335 np->lval->opcode==C_AND &&
|
|
|
336 np->lval->lval->opcode==C_XOR &&
|
|
|
337 np->rval->opcode==C_AND)
|
|
|
338 do
|
|
|
339 {
|
|
|
340 x4=np->rval->lval->constant; c4=np->rval->lval->optdata;
|
|
|
341 x3=np->lval->rval->constant; c3=np->lval->rval->optdata;
|
|
|
342 x2=np->lval->lval->lval->constant; c2=np->lval->lval->lval->optdata;
|
|
|
343 if(!nodessame(np->lval->lval->rval,np->rval->rval)) break;
|
|
|
344 x1=np->rval->rval->constant; c1=np->rval->rval->optdata;
|
|
|
345 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
346 OPTING(distribhalfxoroveror1);
|
|
|
347 tp=newnode();
|
|
|
348 MAYBENEWNODE(tp);
|
|
|
349 tp->opcode=C_AND;
|
|
|
350 tp->width=32;
|
|
|
351 MAYBENEWNODE(tp->lval);
|
|
|
352 tp->lval->opcode=C_XOR;
|
|
|
353 tp->lval->width=32;
|
|
|
354 tp->lval->lval=np->rval->rval;
|
|
|
355 np->rval->rval=0;
|
|
|
356 tp->lval->rval=np->lval->lval->lval;
|
|
|
357 np->lval->lval->lval=0;
|
|
|
358 MAYBENEWNODE(tp->rval);
|
|
|
359 tp->rval->opcode=C_OR;
|
|
|
360 tp->rval->width=32;
|
|
|
361 tp->rval->lval=np->lval->rval;
|
|
|
362 np->lval->rval=0;
|
|
|
363 tp->rval->rval=np->rval->lval;
|
|
|
364 np->rval->lval=0;
|
|
|
365 nodefree(np->lval); nodefree(np->rval);
|
|
|
366 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
367 } while(0);
|
|
|
368
|
|
|
369 checknodeactbits(np);
|
|
|
370 if(np->opcode==C_OR &&
|
|
|
371 np->lval->opcode==C_AND &&
|
|
|
372 np->rval->opcode==C_AND &&
|
|
|
373 np->rval->lval->opcode==C_XOR)
|
|
|
374 do
|
|
|
375 {
|
|
|
376 x4=np->lval->lval->constant; c4=np->lval->lval->optdata;
|
|
|
377 x3=np->rval->rval->constant; c3=np->rval->rval->optdata;
|
|
|
378 x2=np->rval->lval->lval->constant; c2=np->rval->lval->lval->optdata;
|
|
|
379 if(!nodessame(np->lval->rval,np->rval->lval->rval)) break;
|
|
|
380 x1=np->rval->lval->rval->constant; c1=np->rval->lval->rval->optdata;
|
|
|
381 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
382 OPTING(distribhalfxoroveror1);
|
|
|
383 tp=newnode();
|
|
|
384 MAYBENEWNODE(tp);
|
|
|
385 tp->opcode=C_AND;
|
|
|
386 tp->width=32;
|
|
|
387 MAYBENEWNODE(tp->lval);
|
|
|
388 tp->lval->opcode=C_XOR;
|
|
|
389 tp->lval->width=32;
|
|
|
390 tp->lval->lval=np->rval->lval->rval;
|
|
|
391 np->rval->lval->rval=0;
|
|
|
392 tp->lval->rval=np->rval->lval->lval;
|
|
|
393 np->rval->lval->lval=0;
|
|
|
394 MAYBENEWNODE(tp->rval);
|
|
|
395 tp->rval->opcode=C_OR;
|
|
|
396 tp->rval->width=32;
|
|
|
397 tp->rval->lval=np->rval->rval;
|
|
|
398 np->rval->rval=0;
|
|
|
399 tp->rval->rval=np->lval->lval;
|
|
|
400 np->lval->lval=0;
|
|
|
401 nodefree(np->lval); nodefree(np->rval);
|
|
|
402 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
403 } while(0);
|
|
|
404
|
|
|
405 checknodeactbits(np);
|
|
|
406 if(np->opcode==C_OR &&
|
|
|
407 np->lval->opcode==C_AND &&
|
|
|
408 np->lval->rval->opcode==C_XOR &&
|
|
|
409 np->rval->opcode==C_AND)
|
|
|
410 do
|
|
|
411 {
|
|
|
412 x4=np->rval->rval->constant; c4=np->rval->rval->optdata;
|
|
|
413 x3=np->lval->lval->constant; c3=np->lval->lval->optdata;
|
|
|
414 x2=np->lval->rval->lval->constant; c2=np->lval->rval->lval->optdata;
|
|
|
415 if(!nodessame(np->lval->rval->rval,np->rval->lval)) break;
|
|
|
416 x1=np->rval->lval->constant; c1=np->rval->lval->optdata;
|
|
|
417 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
418 OPTING(distribhalfxoroveror1);
|
|
|
419 tp=newnode();
|
|
|
420 MAYBENEWNODE(tp);
|
|
|
421 tp->opcode=C_AND;
|
|
|
422 tp->width=32;
|
|
|
423 MAYBENEWNODE(tp->lval);
|
|
|
424 tp->lval->opcode=C_XOR;
|
|
|
425 tp->lval->width=32;
|
|
|
426 tp->lval->lval=np->rval->lval;
|
|
|
427 np->rval->lval=0;
|
|
|
428 tp->lval->rval=np->lval->rval->lval;
|
|
|
429 np->lval->rval->lval=0;
|
|
|
430 MAYBENEWNODE(tp->rval);
|
|
|
431 tp->rval->opcode=C_OR;
|
|
|
432 tp->rval->width=32;
|
|
|
433 tp->rval->lval=np->lval->lval;
|
|
|
434 np->lval->lval=0;
|
|
|
435 tp->rval->rval=np->rval->rval;
|
|
|
436 np->rval->rval=0;
|
|
|
437 nodefree(np->lval); nodefree(np->rval);
|
|
|
438 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
439 } while(0);
|
|
|
440
|
|
|
441 checknodeactbits(np);
|
|
|
442 if(np->opcode==C_OR &&
|
|
|
443 np->lval->opcode==C_AND &&
|
|
|
444 np->rval->opcode==C_AND &&
|
|
|
445 np->rval->rval->opcode==C_XOR)
|
|
|
446 do
|
|
|
447 {
|
|
|
448 x4=np->lval->rval->constant; c4=np->lval->rval->optdata;
|
|
|
449 x3=np->rval->lval->constant; c3=np->rval->lval->optdata;
|
|
|
450 x2=np->rval->rval->lval->constant; c2=np->rval->rval->lval->optdata;
|
|
|
451 if(!nodessame(np->lval->lval,np->rval->rval->rval)) break;
|
|
|
452 x1=np->rval->rval->rval->constant; c1=np->rval->rval->rval->optdata;
|
|
|
453 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
454 OPTING(distribhalfxoroveror1);
|
|
|
455 tp=newnode();
|
|
|
456 MAYBENEWNODE(tp);
|
|
|
457 tp->opcode=C_AND;
|
|
|
458 tp->width=32;
|
|
|
459 MAYBENEWNODE(tp->lval);
|
|
|
460 tp->lval->opcode=C_XOR;
|
|
|
461 tp->lval->width=32;
|
|
|
462 tp->lval->lval=np->rval->rval->rval;
|
|
|
463 np->rval->rval->rval=0;
|
|
|
464 tp->lval->rval=np->rval->rval->lval;
|
|
|
465 np->rval->rval->lval=0;
|
|
|
466 MAYBENEWNODE(tp->rval);
|
|
|
467 tp->rval->opcode=C_OR;
|
|
|
468 tp->rval->width=32;
|
|
|
469 tp->rval->lval=np->rval->lval;
|
|
|
470 np->rval->lval=0;
|
|
|
471 tp->rval->rval=np->lval->rval;
|
|
|
472 np->lval->rval=0;
|
|
|
473 nodefree(np->lval); nodefree(np->rval);
|
|
|
474 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
475 } while(0);
|
|
|
476
|
|
|
477 checknodeactbits(np);
|
|
|
478 if(np->opcode==C_OR &&
|
|
|
479 np->lval->opcode==C_AND &&
|
|
|
480 np->lval->rval->opcode==C_XOR &&
|
|
|
481 np->rval->opcode==C_AND)
|
|
|
482 do
|
|
|
483 {
|
|
|
484 x4=np->rval->lval->constant; c4=np->rval->lval->optdata;
|
|
|
485 x3=np->lval->lval->constant; c3=np->lval->lval->optdata;
|
|
|
486 x2=np->lval->rval->lval->constant; c2=np->lval->rval->lval->optdata;
|
|
|
487 if(!nodessame(np->lval->rval->rval,np->rval->rval)) break;
|
|
|
488 x1=np->rval->rval->constant; c1=np->rval->rval->optdata;
|
|
|
489 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
490 OPTING(distribhalfxoroveror1);
|
|
|
491 tp=newnode();
|
|
|
492 MAYBENEWNODE(tp);
|
|
|
493 tp->opcode=C_AND;
|
|
|
494 tp->width=32;
|
|
|
495 MAYBENEWNODE(tp->lval);
|
|
|
496 tp->lval->opcode=C_XOR;
|
|
|
497 tp->lval->width=32;
|
|
|
498 tp->lval->lval=np->rval->rval;
|
|
|
499 np->rval->rval=0;
|
|
|
500 tp->lval->rval=np->lval->rval->lval;
|
|
|
501 np->lval->rval->lval=0;
|
|
|
502 MAYBENEWNODE(tp->rval);
|
|
|
503 tp->rval->opcode=C_OR;
|
|
|
504 tp->rval->width=32;
|
|
|
505 tp->rval->lval=np->lval->lval;
|
|
|
506 np->lval->lval=0;
|
|
|
507 tp->rval->rval=np->rval->lval;
|
|
|
508 np->rval->lval=0;
|
|
|
509 nodefree(np->lval); nodefree(np->rval);
|
|
|
510 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
511 } while(0);
|
|
|
512
|
|
|
513 checknodeactbits(np);
|
|
|
514 if(np->opcode==C_OR &&
|
|
|
515 np->lval->opcode==C_AND &&
|
|
|
516 np->rval->opcode==C_AND &&
|
|
|
517 np->rval->rval->opcode==C_XOR)
|
|
|
518 do
|
|
|
519 {
|
|
|
520 x4=np->lval->lval->constant; c4=np->lval->lval->optdata;
|
|
|
521 x3=np->rval->lval->constant; c3=np->rval->lval->optdata;
|
|
|
522 x2=np->rval->rval->lval->constant; c2=np->rval->rval->lval->optdata;
|
|
|
523 if(!nodessame(np->lval->rval,np->rval->rval->rval)) break;
|
|
|
524 x1=np->rval->rval->rval->constant; c1=np->rval->rval->rval->optdata;
|
|
|
525 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
526 OPTING(distribhalfxoroveror1);
|
|
|
527 tp=newnode();
|
|
|
528 MAYBENEWNODE(tp);
|
|
|
529 tp->opcode=C_AND;
|
|
|
530 tp->width=32;
|
|
|
531 MAYBENEWNODE(tp->lval);
|
|
|
532 tp->lval->opcode=C_XOR;
|
|
|
533 tp->lval->width=32;
|
|
|
534 tp->lval->lval=np->rval->rval->rval;
|
|
|
535 np->rval->rval->rval=0;
|
|
|
536 tp->lval->rval=np->rval->rval->lval;
|
|
|
537 np->rval->rval->lval=0;
|
|
|
538 MAYBENEWNODE(tp->rval);
|
|
|
539 tp->rval->opcode=C_OR;
|
|
|
540 tp->rval->width=32;
|
|
|
541 tp->rval->lval=np->rval->lval;
|
|
|
542 np->rval->lval=0;
|
|
|
543 tp->rval->rval=np->lval->lval;
|
|
|
544 np->lval->lval=0;
|
|
|
545 nodefree(np->lval); nodefree(np->rval);
|
|
|
546 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
547 } while(0);
|
|
|
548
|
|
|
549 checknodeactbits(np);
|
|
|
550 if(np->opcode==C_OR &&
|
|
|
551 np->lval->opcode==C_XOR &&
|
|
|
552 np->lval->lval->opcode==C_AND &&
|
|
|
553 np->rval->opcode==C_AND)
|
|
|
554 do
|
|
|
555 {
|
|
|
556 x4=np->rval->rval->constant; c4=np->rval->rval->optdata;
|
|
|
557 x3=np->lval->lval->rval->constant; c3=np->lval->lval->rval->optdata;
|
|
|
558 x2=np->lval->rval->constant; c2=np->lval->rval->optdata;
|
|
|
559 if(!nodessame(np->lval->lval->lval,np->rval->lval)) break;
|
|
|
560 x1=np->rval->lval->constant; c1=np->rval->lval->optdata;
|
|
|
561 x=x2; c=c2; if(!((c&c3)==c)) break;
|
|
|
562 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
563 OPTING(distribhalfxoroveror2);
|
|
|
564 tp=newnode();
|
|
|
565 MAYBENEWNODE(tp);
|
|
|
566 tp->opcode=C_AND;
|
|
|
567 tp->width=32;
|
|
|
568 MAYBENEWNODE(tp->lval);
|
|
|
569 tp->lval->opcode=C_XOR;
|
|
|
570 tp->lval->width=32;
|
|
|
571 tp->lval->lval=np->rval->lval;
|
|
|
572 np->rval->lval=0;
|
|
|
573 tp->lval->rval=np->lval->rval;
|
|
|
574 np->lval->rval=0;
|
|
|
575 MAYBENEWNODE(tp->rval);
|
|
|
576 tp->rval->opcode=C_OR;
|
|
|
577 tp->rval->width=32;
|
|
|
578 tp->rval->lval=np->lval->lval->rval;
|
|
|
579 np->lval->lval->rval=0;
|
|
|
580 tp->rval->rval=np->rval->rval;
|
|
|
581 np->rval->rval=0;
|
|
|
582 nodefree(np->lval); nodefree(np->rval);
|
|
|
583 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
584 } while(0);
|
|
|
585
|
|
|
586 checknodeactbits(np);
|
|
|
587 if(np->opcode==C_OR &&
|
|
|
588 np->lval->opcode==C_AND &&
|
|
|
589 np->rval->opcode==C_XOR &&
|
|
|
590 np->rval->lval->opcode==C_AND)
|
|
|
591 do
|
|
|
592 {
|
|
|
593 x4=np->lval->rval->constant; c4=np->lval->rval->optdata;
|
|
|
594 x3=np->rval->lval->rval->constant; c3=np->rval->lval->rval->optdata;
|
|
|
595 x2=np->rval->rval->constant; c2=np->rval->rval->optdata;
|
|
|
596 if(!nodessame(np->lval->lval,np->rval->lval->lval)) break;
|
|
|
597 x1=np->rval->lval->lval->constant; c1=np->rval->lval->lval->optdata;
|
|
|
598 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
599 x=x2; c=c2; if(!((c&c3)==c)) break;
|
|
|
600 OPTING(distribhalfxoroveror2);
|
|
|
601 tp=newnode();
|
|
|
602 MAYBENEWNODE(tp);
|
|
|
603 tp->opcode=C_AND;
|
|
|
604 tp->width=32;
|
|
|
605 MAYBENEWNODE(tp->lval);
|
|
|
606 tp->lval->opcode=C_XOR;
|
|
|
607 tp->lval->width=32;
|
|
|
608 tp->lval->lval=np->rval->lval->lval;
|
|
|
609 np->rval->lval->lval=0;
|
|
|
610 tp->lval->rval=np->rval->rval;
|
|
|
611 np->rval->rval=0;
|
|
|
612 MAYBENEWNODE(tp->rval);
|
|
|
613 tp->rval->opcode=C_OR;
|
|
|
614 tp->rval->width=32;
|
|
|
615 tp->rval->lval=np->rval->lval->rval;
|
|
|
616 np->rval->lval->rval=0;
|
|
|
617 tp->rval->rval=np->lval->rval;
|
|
|
618 np->lval->rval=0;
|
|
|
619 nodefree(np->lval); nodefree(np->rval);
|
|
|
620 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
621 } while(0);
|
|
|
622
|
|
|
623 checknodeactbits(np);
|
|
|
624 if(np->opcode==C_OR &&
|
|
|
625 np->lval->opcode==C_XOR &&
|
|
|
626 np->lval->lval->opcode==C_AND &&
|
|
|
627 np->rval->opcode==C_AND)
|
|
|
628 do
|
|
|
629 {
|
|
|
630 x4=np->rval->lval->constant; c4=np->rval->lval->optdata;
|
|
|
631 x3=np->lval->lval->rval->constant; c3=np->lval->lval->rval->optdata;
|
|
|
632 x2=np->lval->rval->constant; c2=np->lval->rval->optdata;
|
|
|
633 if(!nodessame(np->lval->lval->lval,np->rval->rval)) break;
|
|
|
634 x1=np->rval->rval->constant; c1=np->rval->rval->optdata;
|
|
|
635 x=x2; c=c2; if(!((c&c3)==c)) break;
|
|
|
636 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
637 OPTING(distribhalfxoroveror2);
|
|
|
638 tp=newnode();
|
|
|
639 MAYBENEWNODE(tp);
|
|
|
640 tp->opcode=C_AND;
|
|
|
641 tp->width=32;
|
|
|
642 MAYBENEWNODE(tp->lval);
|
|
|
643 tp->lval->opcode=C_XOR;
|
|
|
644 tp->lval->width=32;
|
|
|
645 tp->lval->lval=np->rval->rval;
|
|
|
646 np->rval->rval=0;
|
|
|
647 tp->lval->rval=np->lval->rval;
|
|
|
648 np->lval->rval=0;
|
|
|
649 MAYBENEWNODE(tp->rval);
|
|
|
650 tp->rval->opcode=C_OR;
|
|
|
651 tp->rval->width=32;
|
|
|
652 tp->rval->lval=np->lval->lval->rval;
|
|
|
653 np->lval->lval->rval=0;
|
|
|
654 tp->rval->rval=np->rval->lval;
|
|
|
655 np->rval->lval=0;
|
|
|
656 nodefree(np->lval); nodefree(np->rval);
|
|
|
657 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
658 } while(0);
|
|
|
659
|
|
|
660 checknodeactbits(np);
|
|
|
661 if(np->opcode==C_OR &&
|
|
|
662 np->lval->opcode==C_AND &&
|
|
|
663 np->rval->opcode==C_XOR &&
|
|
|
664 np->rval->lval->opcode==C_AND)
|
|
|
665 do
|
|
|
666 {
|
|
|
667 x4=np->lval->lval->constant; c4=np->lval->lval->optdata;
|
|
|
668 x3=np->rval->lval->rval->constant; c3=np->rval->lval->rval->optdata;
|
|
|
669 x2=np->rval->rval->constant; c2=np->rval->rval->optdata;
|
|
|
670 if(!nodessame(np->lval->rval,np->rval->lval->lval)) break;
|
|
|
671 x1=np->rval->lval->lval->constant; c1=np->rval->lval->lval->optdata;
|
|
|
672 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
673 x=x2; c=c2; if(!((c&c3)==c)) break;
|
|
|
674 OPTING(distribhalfxoroveror2);
|
|
|
675 tp=newnode();
|
|
|
676 MAYBENEWNODE(tp);
|
|
|
677 tp->opcode=C_AND;
|
|
|
678 tp->width=32;
|
|
|
679 MAYBENEWNODE(tp->lval);
|
|
|
680 tp->lval->opcode=C_XOR;
|
|
|
681 tp->lval->width=32;
|
|
|
682 tp->lval->lval=np->rval->lval->lval;
|
|
|
683 np->rval->lval->lval=0;
|
|
|
684 tp->lval->rval=np->rval->rval;
|
|
|
685 np->rval->rval=0;
|
|
|
686 MAYBENEWNODE(tp->rval);
|
|
|
687 tp->rval->opcode=C_OR;
|
|
|
688 tp->rval->width=32;
|
|
|
689 tp->rval->lval=np->rval->lval->rval;
|
|
|
690 np->rval->lval->rval=0;
|
|
|
691 tp->rval->rval=np->lval->lval;
|
|
|
692 np->lval->lval=0;
|
|
|
693 nodefree(np->lval); nodefree(np->rval);
|
|
|
694 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
695 } while(0);
|
|
|
696
|
|
|
697 checknodeactbits(np);
|
|
|
698 if(np->opcode==C_OR &&
|
|
|
699 np->lval->opcode==C_XOR &&
|
|
|
700 np->lval->rval->opcode==C_AND &&
|
|
|
701 np->rval->opcode==C_AND)
|
|
|
702 do
|
|
|
703 {
|
|
|
704 x4=np->rval->rval->constant; c4=np->rval->rval->optdata;
|
|
|
705 x3=np->lval->rval->rval->constant; c3=np->lval->rval->rval->optdata;
|
|
|
706 x2=np->lval->lval->constant; c2=np->lval->lval->optdata;
|
|
|
707 if(!nodessame(np->lval->rval->lval,np->rval->lval)) break;
|
|
|
708 x1=np->rval->lval->constant; c1=np->rval->lval->optdata;
|
|
|
709 x=x2; c=c2; if(!((c&c3)==c)) break;
|
|
|
710 x=x4; c=c4; if(!((c&c3)==0)) break;
|
|
|
711 OPTING(distribhalfxoroveror2);
|
|
|
712 tp=newnode();
|
|
|
713 MAYBENEWNODE(tp);
|
|
|
714 tp->opcode=C_AND;
|
|
|
715 tp->width=32;
|
|
|
716 MAYBENEWNODE(tp->lval);
|
|
|
717 tp->lval->opcode=C_XOR;
|
|
|
718 tp->lval->width=32;
|
|
|
719 tp->lval->lval=np->rval->lval;
|
|
|
720 np->rval->lval=0;
|
|
|
721 tp->lval->rval=np->lval->lval;
|
|
|
722 np->lval->lval=0;
|
|
|
723 MAYBENEWNODE(tp->rval);
|
|
|
724 tp->rval->opcode=C_OR;
|
|
|
725 tp->rval->width=32;
|
|
|
726 tp->rval->lval=np->lval->rval->rval;
|
|
|
727 np->lval->rval->rval=0;
|
|
|
728 tp->rval->rval=np->rval->rval;
|
|
|
729 np->rval->rval=0;
|
|
|
730 nodefree(np->lval); nodefree(np->rval);
|
|
|
731 tempw=np->width; *np=*tp; np->width=tempw; free(tp);
|
|
|
732 } while(0);
|
|
|
733
|
|
|
734 c=c1=c2=c3=c4=c5=c6=c7=c8=c9=0;
|
|
|
735 x=x1=x2=x3=x4=x5=x6=x7=x8=x9=r=0;
|
|
|
736 if(c+c1+c2+c3+c4+c5+c6+c7+c8+c9+r+
|
|
|
737 x+x1+x2+x3+x4+x5+x6+x7+x8+x9) raise(SIGSEGV);
|
|
|
738 return opted;
|
|
|
739 }
|
