annotate mc-inline.c @ 566:ddc435b64fc8

binop/inline interaction
author kono
date Wed, 11 Jan 2006 13:59:06 +0900 (2006-01-11)
parents de0b0380c461
children 1fcad06b264a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
462
kono
parents:
diff changeset
1 /* Micro-C Partial Evaluator Part */
kono
parents:
diff changeset
2 /* $Id$ */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 #include <stdio.h>
kono
parents:
diff changeset
5 #include "mc.h"
kono
parents:
diff changeset
6 #include "mc-parse.h"
kono
parents:
diff changeset
7 #include "mc-codegen.h"
kono
parents:
diff changeset
8 #include "mc-switch.h"
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
9 #include "mc-code.h"
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
10 #include "mc-inline.h"
462
kono
parents:
diff changeset
11
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
12 static int pvartable;
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
13 static int pdisp;
462
kono
parents:
diff changeset
14
514
a2047e4555be inline continue....
kono
parents: 513
diff changeset
15 static int ret_register,ret_reg_mode;
a2047e4555be inline continue....
kono
parents: 513
diff changeset
16
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
17 static int inline_lvars;
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
18
462
kono
parents:
diff changeset
19 /*
kono
parents:
diff changeset
20 Basic code generator from parse tree
kono
parents:
diff changeset
21 */
kono
parents:
diff changeset
22
kono
parents:
diff changeset
23 extern void
kono
parents:
diff changeset
24 st_decl(int e1){
kono
parents:
diff changeset
25 // NMTBL *n = (NMTBL *)caddr(e1);
kono
parents:
diff changeset
26 // int stmode = cadddr(e1);
kono
parents:
diff changeset
27 }
kono
parents:
diff changeset
28
kono
parents:
diff changeset
29 extern void
kono
parents:
diff changeset
30 st_if(int e1){
kono
parents:
diff changeset
31 int l1,l2,slfree;
kono
parents:
diff changeset
32 int e2=caddr(e1),e3;
kono
parents:
diff changeset
33 // conv->if_();
kono
parents:
diff changeset
34 slfree=lfree;
kono
parents:
diff changeset
35 checkret();
kono
parents:
diff changeset
36 l1 = bexpr(car(e2),0,fwdlabel());
kono
parents:
diff changeset
37 // conv->if_then_();
kono
parents:
diff changeset
38 g_expr_u(cadr(e2));
kono
parents:
diff changeset
39 checkret();
kono
parents:
diff changeset
40 if ((e3=caddr(e2))) { // else
kono
parents:
diff changeset
41 // conv->if_else_();
kono
parents:
diff changeset
42 if ((l2 = control))
kono
parents:
diff changeset
43 gen_jmp(l2=fwdlabel());
kono
parents:
diff changeset
44 fwddef(l1);
kono
parents:
diff changeset
45 g_expr_u(e3);
kono
parents:
diff changeset
46 checkret();
kono
parents:
diff changeset
47 if (l2) fwddef(l2);
kono
parents:
diff changeset
48 } else {
kono
parents:
diff changeset
49 fwddef(l1);
kono
parents:
diff changeset
50 }
kono
parents:
diff changeset
51 // conv->if_endif_();
kono
parents:
diff changeset
52 }
kono
parents:
diff changeset
53
kono
parents:
diff changeset
54
kono
parents:
diff changeset
55 extern void
kono
parents:
diff changeset
56 st_do(int e1){
kono
parents:
diff changeset
57 int sbreak,scontinue,l;
kono
parents:
diff changeset
58
kono
parents:
diff changeset
59 sbreak=blabel;
kono
parents:
diff changeset
60 scontinue=clabel;
kono
parents:
diff changeset
61 blabel=fwdlabel();
kono
parents:
diff changeset
62 clabel=fwdlabel();
kono
parents:
diff changeset
63 control=1;
kono
parents:
diff changeset
64 checkret();
kono
parents:
diff changeset
65 l=backdef();
kono
parents:
diff changeset
66 // conv->dowhile_();
kono
parents:
diff changeset
67 g_expr_u(cadddr(e1));
kono
parents:
diff changeset
68 checkret();
kono
parents:
diff changeset
69 // conv->dowhile_cond_();
kono
parents:
diff changeset
70 bexpr(caddr(e1),1,l);
kono
parents:
diff changeset
71 // conv->dowhile_end_();
kono
parents:
diff changeset
72 fwddef(blabel);
kono
parents:
diff changeset
73 clabel=scontinue;
kono
parents:
diff changeset
74 blabel=sbreak;
kono
parents:
diff changeset
75 }
kono
parents:
diff changeset
76
kono
parents:
diff changeset
77
kono
parents:
diff changeset
78 extern void
kono
parents:
diff changeset
79 st_while(int e1){
kono
parents:
diff changeset
80 int sbreak,scontinue,e;
kono
parents:
diff changeset
81
kono
parents:
diff changeset
82 sbreak=blabel;
kono
parents:
diff changeset
83 scontinue=clabel;
kono
parents:
diff changeset
84 blabel=fwdlabel();
kono
parents:
diff changeset
85 control=1;
kono
parents:
diff changeset
86 checkret();
kono
parents:
diff changeset
87 clabel=backdef();
kono
parents:
diff changeset
88 // conv->while_();
kono
parents:
diff changeset
89 // conv->while_body_();
kono
parents:
diff changeset
90 if(!(e=cadddr(e1))) {
kono
parents:
diff changeset
91 bexpr(caddr(e1),1,clabel);
kono
parents:
diff changeset
92 // conv->sm_();
kono
parents:
diff changeset
93 } else {
kono
parents:
diff changeset
94 bexpr(caddr(e1),0,blabel);
kono
parents:
diff changeset
95 g_expr_u(e);
kono
parents:
diff changeset
96 checkret();
kono
parents:
diff changeset
97 if(control)
kono
parents:
diff changeset
98 gen_jmp(clabel);
kono
parents:
diff changeset
99 }
kono
parents:
diff changeset
100 // conv->while_end_();
kono
parents:
diff changeset
101 fwddef(blabel);
kono
parents:
diff changeset
102 clabel=scontinue;
kono
parents:
diff changeset
103 blabel=sbreak;
kono
parents:
diff changeset
104 }
kono
parents:
diff changeset
105
kono
parents:
diff changeset
106
kono
parents:
diff changeset
107 extern void
kono
parents:
diff changeset
108 st_for(int e1){
kono
parents:
diff changeset
109 int p0,p1,p2,body;
kono
parents:
diff changeset
110 int l,e;
kono
parents:
diff changeset
111 int sbreak=blabel;
kono
parents:
diff changeset
112 int scontinue=clabel;
kono
parents:
diff changeset
113
kono
parents:
diff changeset
114 e = caddr(e1);
kono
parents:
diff changeset
115 p0 = car(e); p1 = cadr(e); p2 = caddr(e); body = cadddr(e);
kono
parents:
diff changeset
116
kono
parents:
diff changeset
117 blabel=fwdlabel();
kono
parents:
diff changeset
118 // conv->for_();
kono
parents:
diff changeset
119 if (p0) {
kono
parents:
diff changeset
120 checkret();
kono
parents:
diff changeset
121 g_expr_u(p0);
kono
parents:
diff changeset
122 }
kono
parents:
diff changeset
123 // conv->for1_();
kono
parents:
diff changeset
124 control=1;
kono
parents:
diff changeset
125 checkret();
kono
parents:
diff changeset
126 l=backdef();
kono
parents:
diff changeset
127 if (p1) {
kono
parents:
diff changeset
128 bexpr(p1,0,blabel);
kono
parents:
diff changeset
129 }
kono
parents:
diff changeset
130 // conv->for2_();
kono
parents:
diff changeset
131 // conv->for_body_();
kono
parents:
diff changeset
132 if (!p2) {
kono
parents:
diff changeset
133 clabel=l;
kono
parents:
diff changeset
134 g_expr_u(body);
kono
parents:
diff changeset
135 checkret();
kono
parents:
diff changeset
136 } else {
kono
parents:
diff changeset
137 clabel=fwdlabel();
kono
parents:
diff changeset
138 g_expr_u(body);
kono
parents:
diff changeset
139 checkret();
kono
parents:
diff changeset
140 fwddef(clabel);
kono
parents:
diff changeset
141 g_expr_u(p2);
kono
parents:
diff changeset
142 }
kono
parents:
diff changeset
143 // conv->for_end_();
kono
parents:
diff changeset
144 gen_jmp(l);
kono
parents:
diff changeset
145 fwddef(blabel);
kono
parents:
diff changeset
146 clabel=scontinue;
kono
parents:
diff changeset
147 blabel=sbreak;
kono
parents:
diff changeset
148 }
kono
parents:
diff changeset
149
kono
parents:
diff changeset
150
kono
parents:
diff changeset
151 extern void
kono
parents:
diff changeset
152 st_switch(int e1){
kono
parents:
diff changeset
153 int sbreak,scase,sdefault,slfree,svalue,slist;
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
154 int cst,e;
462
kono
parents:
diff changeset
155
kono
parents:
diff changeset
156 checkret();
kono
parents:
diff changeset
157 slist = cslist;
kono
parents:
diff changeset
158 cslist = 0;
kono
parents:
diff changeset
159 sbreak=blabel; /* save parents break label */
kono
parents:
diff changeset
160 blabel=fwdlabel();
kono
parents:
diff changeset
161 sdefault=dlabel; /* save parents default label */
kono
parents:
diff changeset
162 dlabel=0;
kono
parents:
diff changeset
163 scase=cslabel; /* save parents next case label */
kono
parents:
diff changeset
164 // conv->switch_();
kono
parents:
diff changeset
165 slfree=lfree;
kono
parents:
diff changeset
166 svalue=csvalue1; /* save parents switch value */
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
167 e =caddr(e1); /* switch value */
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
168 if (car(e)==CONST) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
169 cst = 1;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
170 csvalue1=glist2(CONST,cadr(e));
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
171 gen_jmp( cslabel=fwdlabel());
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
172 } else {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
173 cst = 0;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
174 gexpr(e,1); /* switch value */
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
175 csvalue1=csvalue() ;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
176 cslabel = control = 0;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
177 }
462
kono
parents:
diff changeset
178 // conv->switch_body_();
kono
parents:
diff changeset
179 g_expr_u(cadddr(e1));
kono
parents:
diff changeset
180 // conv->switch_end_();
kono
parents:
diff changeset
181 checkret();
kono
parents:
diff changeset
182 #if CASE_CODE
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
183 if (!cst) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
184 if (control) gen_jmp(blabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
185 genswitch(cslist,cslabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
186 } else if (!cslist) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
187 if(dlabel) def_label(cslabel,dlabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
188 else fwddef(cslabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
189 }
462
kono
parents:
diff changeset
190 #else
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
191 if (!(cst && cslist)) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
192 if(dlabel) def_label(cslabel,dlabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
193 else fwddef(cslabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
194 }
462
kono
parents:
diff changeset
195 #endif
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
196 free_glist2(csvalue1);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
197 if (cst && !cslist) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
198 if(pending_jmp!=cslabel)
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
199 fwddef(cslabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
200 else pending_jmp = 0; // cslabel is here
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
201 }
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
202 fwddef(blabel);
462
kono
parents:
diff changeset
203 csvalue1=svalue;
kono
parents:
diff changeset
204 cslabel=scase;
kono
parents:
diff changeset
205 dlabel=sdefault;
kono
parents:
diff changeset
206 blabel=sbreak;
kono
parents:
diff changeset
207 cslist = slist;
kono
parents:
diff changeset
208 }
kono
parents:
diff changeset
209
kono
parents:
diff changeset
210
kono
parents:
diff changeset
211 extern void
kono
parents:
diff changeset
212 st_comp(int e1){
kono
parents:
diff changeset
213 g_expr_u(caddr(e1));
kono
parents:
diff changeset
214 }
kono
parents:
diff changeset
215
kono
parents:
diff changeset
216
kono
parents:
diff changeset
217 extern void
kono
parents:
diff changeset
218 st_break(int e1){
kono
parents:
diff changeset
219 checkret();
kono
parents:
diff changeset
220 // conv->break_();
kono
parents:
diff changeset
221 if (control)
kono
parents:
diff changeset
222 gen_jmp(blabel);
kono
parents:
diff changeset
223 }
kono
parents:
diff changeset
224
kono
parents:
diff changeset
225
kono
parents:
diff changeset
226 extern void
kono
parents:
diff changeset
227 st_continue(int e1){
kono
parents:
diff changeset
228 checkret();
kono
parents:
diff changeset
229 // conv->continue_();
kono
parents:
diff changeset
230 if (control) gen_jmp(clabel);
kono
parents:
diff changeset
231 }
kono
parents:
diff changeset
232
kono
parents:
diff changeset
233
kono
parents:
diff changeset
234 extern void
kono
parents:
diff changeset
235 st_case(int e1){
kono
parents:
diff changeset
236 #if CASE_CODE
kono
parents:
diff changeset
237 int l,clist=caddr(e1),c;
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
238 int cst = (car(csvalue1)==CONST);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
239 if (cst) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
240 c=cadr(csvalue1);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
241 for(;clist;clist=cadr(clist)) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
242 if (car(clist)==c) break;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
243 }
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
244 if (!clist) return; // no match
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
245 } else
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
246 l = fwdlabel();
462
kono
parents:
diff changeset
247 if (retpending) {
kono
parents:
diff changeset
248 ret(); retpending=0;
kono
parents:
diff changeset
249 }
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
250 if (cst) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
251 if (cslist) { // may duplicat csvalue
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
252 return;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
253 }
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
254 cslist=1;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
255 fwddef(cslabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
256 return;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
257 }
462
kono
parents:
diff changeset
258 if (!cslabel) {
kono
parents:
diff changeset
259 if (!control) {
kono
parents:
diff changeset
260 cmpdimm(car(clist),csvalue1,cslabel=fwdlabel(),1);
kono
parents:
diff changeset
261 caddr(clist)=0;
kono
parents:
diff changeset
262 } else {
kono
parents:
diff changeset
263 error(-1);
kono
parents:
diff changeset
264 }
kono
parents:
diff changeset
265 }
kono
parents:
diff changeset
266 while(clist) {
kono
parents:
diff changeset
267 caddr(clist) = l;
kono
parents:
diff changeset
268 clist = cadr(c=clist); cadr(c) = 0; // insert destroy cadr of clist
kono
parents:
diff changeset
269 cslist=insert_ascend(cslist,c,docase_eq);
kono
parents:
diff changeset
270 }
kono
parents:
diff changeset
271 fwddef(l);
kono
parents:
diff changeset
272 control=1;
kono
parents:
diff changeset
273 #else
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
274 int c,clist,l;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
275 int cst = (car(csvalue1)==CONST);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
276 clist = caddr(e1);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
277 if (cst) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
278 c=cadr(csvalue1);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
279 for(;clist;clist=cadr(clist)) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
280 if (car(clist)==c) break; // no match
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
281 }
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
282 if (!clist) return;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
283 }
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
284 if (cst) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
285 if (!cslist) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
286 if (retpending) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
287 ret(); retpending=0;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
288 }
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
289 fwddef(cslabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
290 cslist = 1;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
291 } // else error(CSERR);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
292 return;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
293 }
462
kono
parents:
diff changeset
294 if (retpending) {
kono
parents:
diff changeset
295 ret(); retpending=0;
kono
parents:
diff changeset
296 }
kono
parents:
diff changeset
297 l=fwdlabel();
kono
parents:
diff changeset
298 if (control) {
kono
parents:
diff changeset
299 control=0;
kono
parents:
diff changeset
300 gen_jmp(l);
kono
parents:
diff changeset
301 }
kono
parents:
diff changeset
302 if (cslabel) fwddef(cslabel);
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
303 while(cadr(clist)) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
304 cmpdimm(car(clist),csvalue1,l,0);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
305 clist=cadr(clist);
462
kono
parents:
diff changeset
306 }
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
307 cmpdimm(car(clist),csvalue1,cslabel=fwdlabel(),1);
462
kono
parents:
diff changeset
308 if (l) fwddef(l);
kono
parents:
diff changeset
309 #endif
kono
parents:
diff changeset
310 }
kono
parents:
diff changeset
311
kono
parents:
diff changeset
312
kono
parents:
diff changeset
313 extern void
kono
parents:
diff changeset
314 st_default(int e1){
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
315 // int cst = (car(csvalue1)==CONST);
462
kono
parents:
diff changeset
316 control=1;
kono
parents:
diff changeset
317 checkret();
kono
parents:
diff changeset
318 if (dlabel) error(STERR); // double default:
kono
parents:
diff changeset
319 dlabel = backdef();
kono
parents:
diff changeset
320 // conv->case_(0,1);
kono
parents:
diff changeset
321 }
kono
parents:
diff changeset
322
kono
parents:
diff changeset
323
kono
parents:
diff changeset
324 extern void
kono
parents:
diff changeset
325 st_return(int e1){
514
a2047e4555be inline continue....
kono
parents: 513
diff changeset
326 int e,t;
462
kono
parents:
diff changeset
327
kono
parents:
diff changeset
328 if (!cslabel) gen_jmp(cslabel = fwdlabel());
kono
parents:
diff changeset
329 if(!(e=caddr(e1))) {
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
330 // no return value
462
kono
parents:
diff changeset
331 retpending = 1;
kono
parents:
diff changeset
332 return;
kono
parents:
diff changeset
333 }
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
334 t = type_value(cadr(fnptr->ty));
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
335 if (t>0 && (car(t)==STRUCT || car(t)==UNION)) {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
336 // copy is included in e, pass the pointer
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
337 t = list2(POINTER,type_value(cadr(fnptr->ty)));
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
338 }
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
339 g_expr(e);
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
340 if (ret_reg_mode==0) {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
341 // return value register is not fixed
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
342 ret_reg_mode=1;
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
343 ret_register = code_get_fixed_creg(USE_CREG,t);
462
kono
parents:
diff changeset
344 } else {
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
345 code_set_fixed_creg(ret_register,1,t);
462
kono
parents:
diff changeset
346 }
kono
parents:
diff changeset
347 // conv->return_end_();
kono
parents:
diff changeset
348 retpending = 1;
kono
parents:
diff changeset
349 }
kono
parents:
diff changeset
350
kono
parents:
diff changeset
351 extern void
kono
parents:
diff changeset
352 st_goto(int e){
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
353 NMTBL *nptr0;
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
354 int e1,e2,env;
462
kono
parents:
diff changeset
355
kono
parents:
diff changeset
356 checkret();
kono
parents:
diff changeset
357 e1 = caddr(e);
kono
parents:
diff changeset
358 if (car(e1)==RINDIRECT) {
kono
parents:
diff changeset
359 gen_indirect_goto(cadr(e1));
505
5d4112735c5c *** empty log message ***
kono
parents: 504
diff changeset
360 return ;
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
361 } else if (car(e1)==RLVAR) {
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
362 gen_indirect_goto(e1);
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
363 return ;
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
364 } else if (car(e1)==LVAR||car(e1)==FLABEL) {
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
365 gen_jmp(cadr(e1));
462
kono
parents:
diff changeset
366 control=0;
505
5d4112735c5c *** empty log message ***
kono
parents: 504
diff changeset
367 return ;
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
368 } else if (car(e1)==CODE) {
462
kono
parents:
diff changeset
369 /* CbC continuation */
kono
parents:
diff changeset
370 // conv->jump_(env);
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
371 // should be separate function
462
kono
parents:
diff changeset
372 e2 = cadr(e1);
kono
parents:
diff changeset
373 env = caddr(e1);
kono
parents:
diff changeset
374 if (car(e2) == FNAME) {
kono
parents:
diff changeset
375 nptr0=(NMTBL *)cadr(e2);
kono
parents:
diff changeset
376 if (nptr0->sc==EMPTY)
kono
parents:
diff changeset
377 nptr0->sc = EXTRN1;
kono
parents:
diff changeset
378 else if(nptr0->sc==FUNCTION)
kono
parents:
diff changeset
379 nptr0->sc = CODE;
kono
parents:
diff changeset
380 if (nptr0->ty>0&&car(nptr0->ty)==FUNCTION)
kono
parents:
diff changeset
381 car(nptr0->ty)=CODE;
kono
parents:
diff changeset
382 }
kono
parents:
diff changeset
383 gexpr(list3(CODE,e1,env),0);
kono
parents:
diff changeset
384 control=0;
kono
parents:
diff changeset
385 // conv->sm_();
505
5d4112735c5c *** empty log message ***
kono
parents: 504
diff changeset
386 return ;
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
387 } else {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
388 error(-1);
462
kono
parents:
diff changeset
389 }
kono
parents:
diff changeset
390 }
kono
parents:
diff changeset
391
kono
parents:
diff changeset
392
kono
parents:
diff changeset
393 #if ASM_CODE
kono
parents:
diff changeset
394 extern void
kono
parents:
diff changeset
395 st_asm(int e1){
kono
parents:
diff changeset
396 checkret();
kono
parents:
diff changeset
397 g_expr_u(list3(ASM,caddr(e1),cadddr(e1)));
kono
parents:
diff changeset
398 }
kono
parents:
diff changeset
399 #endif
kono
parents:
diff changeset
400
kono
parents:
diff changeset
401
kono
parents:
diff changeset
402 extern void
kono
parents:
diff changeset
403 st_label(int e1){
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
404 int lb = caddr(e1);
462
kono
parents:
diff changeset
405 control=1;
kono
parents:
diff changeset
406 checkret();
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
407 if (car(lb)==LVAR) { // label variable case
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
408 } else if (car(lb)!=FLABEL) error(-1);
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
409 fwddef(cadr(lb));
462
kono
parents:
diff changeset
410 }
kono
parents:
diff changeset
411
kono
parents:
diff changeset
412 extern void
kono
parents:
diff changeset
413 st_comment(int e1){
kono
parents:
diff changeset
414 gen_comment((char *)caddr(e1));
kono
parents:
diff changeset
415 }
kono
parents:
diff changeset
416
kono
parents:
diff changeset
417 /*
kono
parents:
diff changeset
418 partial evaluator
kono
parents:
diff changeset
419 */
kono
parents:
diff changeset
420
kono
parents:
diff changeset
421 static int
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
422 p_vartable(int adisp,int ldisp)
462
kono
parents:
diff changeset
423 {
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
424 int i;
505
5d4112735c5c *** empty log message ***
kono
parents: 504
diff changeset
425 int pvartable = getfree(adisp-ldisp); // have to be local heap
509
e58848f6ebc1 inline continue...
kono
parents: 508
diff changeset
426 pdisp = pvartable-ldisp;
e58848f6ebc1 inline continue...
kono
parents: 508
diff changeset
427 for(i=ldisp;i<0;i++) {
e58848f6ebc1 inline continue...
kono
parents: 508
diff changeset
428 heap[pdisp+i] = 0;
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
429 }
505
5d4112735c5c *** empty log message ***
kono
parents: 504
diff changeset
430 return pvartable;
462
kono
parents:
diff changeset
431 }
kono
parents:
diff changeset
432
kono
parents:
diff changeset
433 static int
kono
parents:
diff changeset
434 p_lvar(int e1)
kono
parents:
diff changeset
435 {
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
436 int sz = is_memory(e1);
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
437 int d = cadr(e1);
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
438 int d1,e;
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
439 if ((d1=(heap[pdisp+d]))) return d1;
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
440 e = heap[pdisp+d]=list3(LVAR,new_lvar(sz),0);
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
441 inline_lvars = glist2(e,inline_lvars);
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
442 return e;
462
kono
parents:
diff changeset
443 }
kono
parents:
diff changeset
444
kono
parents:
diff changeset
445 static int
kono
parents:
diff changeset
446 pfunction(int e)
kono
parents:
diff changeset
447 {
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
448 // list4(INLINE,e1,arglist,ftype);
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
449 // include code segement case
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
450 int e1 = pexpr(cadr(e));
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
451 int arglist = caddr(e);
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
452 int newargs = 0;
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
453 int ftype = cadddr(e);
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
454 int e3;
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
455 for (e3 = arglist; e3; e3 = cadr(e3)) {
514
a2047e4555be inline continue....
kono
parents: 513
diff changeset
456 newargs = list3( pexpr(car(e3)), newargs, caddr(e3));
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
457 }
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
458 newargs = reverse0(newargs);
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
459 return list4(car(e),e1,newargs,ftype);
462
kono
parents:
diff changeset
460 }
kono
parents:
diff changeset
461
kono
parents:
diff changeset
462 static int
kono
parents:
diff changeset
463 prindirect(int e)
kono
parents:
diff changeset
464 {
525
d84cea14dbdc *** empty log message ***
kono
parents: 524
diff changeset
465 int lvar;
533
80b5058f0535 inline code-gen test passed.
kono
parents: 532
diff changeset
466 int offset = caddr(e);
530
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
467 if (car(lvar=cadr(e))==IVAR) {
525
d84cea14dbdc *** empty log message ***
kono
parents: 524
diff changeset
468 lvar=p_lvar(cadr(e)); // can be anything....
530
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
469 switch(car(lvar)) {
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
470 case LVAR:
533
80b5058f0535 inline code-gen test passed.
kono
parents: 532
diff changeset
471 if(offset) {
80b5058f0535 inline code-gen test passed.
kono
parents: 532
diff changeset
472 return list3(car(e),lvar,offset);
80b5058f0535 inline code-gen test passed.
kono
parents: 532
diff changeset
473 }
530
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
474 return rvalue_t(lvar,cadddr(e));
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
475 case REGISTER: case DREGISTER:
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
476 case FREGISTER: case LREGISTER:
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
477 case CONST: case FCONST: case DCONST: case LCONST:
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
478 // should do type check
533
80b5058f0535 inline code-gen test passed.
kono
parents: 532
diff changeset
479 if (offset) error(-1);
530
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
480 return lvar;
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
481 }
512
53ec17a8af7d inline continue....
kono
parents: 511
diff changeset
482 }
533
80b5058f0535 inline code-gen test passed.
kono
parents: 532
diff changeset
483 return list3(car(e),pexpr(cadr(e)),offset);
462
kono
parents:
diff changeset
484 }
kono
parents:
diff changeset
485
kono
parents:
diff changeset
486 static int
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
487 pindirect(int e)
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
488 {
553
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
489 //int lvar;
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
490 //if (car(lvar=cadr(e))==IVAR)
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
491 // lvar=p_lvar(cadr(e)); // can be anything....
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
492 return list3(car(e),pexpr(cadr(e)),caddr(e));
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
493 }
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
494
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
495 static int
462
kono
parents:
diff changeset
496 paddress(int e)
kono
parents:
diff changeset
497 {
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
498 return list2(car(e),pexpr(cadr(e)));
462
kono
parents:
diff changeset
499 }
kono
parents:
diff changeset
500
kono
parents:
diff changeset
501 static int
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
502 p_conv(int e1,int e2)
462
kono
parents:
diff changeset
503 {
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
504 int t;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
505 if (is_const(e2) && (t=type_of_conv(e1))) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
506 return correct_type(e2,t);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
507 }
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
508 return list3(CONV,pexpr(e2),e1);
462
kono
parents:
diff changeset
509 }
kono
parents:
diff changeset
510
kono
parents:
diff changeset
511 static int
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
512 pbinop(int op,int e1,int e2)
462
kono
parents:
diff changeset
513 {
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
514 e1 = pexpr(e1);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
515 e2 = pexpr(e2);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
516 if (is_const(e1)&&is_const(e2)) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
517 int t;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
518 if((t= type_of_bop(op)))
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
519 return binop(op_of(op),e1,e2,t,t);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
520 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
521 return list3(op,e1,e2);
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
522 }
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
523
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
524 static int
526
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
525 plor(int op,int e1,int e2)
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
526 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
527 int e = pexpr(e1);
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
528 return list3(op,e,pexpr(e2));
526
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
529 }
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
530
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
531 static int
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
532 pland(int op,int e1,int e2)
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
533 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
534 int e = pexpr(e1);
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
535 return list3(op,e,pexpr(e2));
526
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
536 }
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
537
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
538 static int
462
kono
parents:
diff changeset
539 psassign(int e)
kono
parents:
diff changeset
540 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
541 int e1 = pexpr(cadr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
542 int e2 = pexpr(caddr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
543 return list4(car(e),e1,e2,cadddr(e));
462
kono
parents:
diff changeset
544 }
kono
parents:
diff changeset
545
kono
parents:
diff changeset
546 static int
kono
parents:
diff changeset
547 passign(int e)
kono
parents:
diff changeset
548 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
549 int e1 = pexpr(cadr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
550 int e2 = pexpr(caddr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
551 return list3(car(e),e1,e2);
462
kono
parents:
diff changeset
552 }
kono
parents:
diff changeset
553
kono
parents:
diff changeset
554 static int
kono
parents:
diff changeset
555 passop(int e)
kono
parents:
diff changeset
556 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
557 int e1 = pexpr(cadr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
558 int e2 = pexpr(caddr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
559 return list4(car(e),e1,e2,cadddr(e));
462
kono
parents:
diff changeset
560 }
kono
parents:
diff changeset
561
kono
parents:
diff changeset
562 static int
kono
parents:
diff changeset
563 pdassign(int e)
kono
parents:
diff changeset
564 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
565 int e1 = pexpr(cadr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
566 int e2 = pexpr(caddr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
567 return list3(car(e),e1,e2);
462
kono
parents:
diff changeset
568 }
kono
parents:
diff changeset
569
kono
parents:
diff changeset
570 static int
kono
parents:
diff changeset
571 pdassop(int e)
kono
parents:
diff changeset
572 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
573 int e1 = pexpr(cadr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
574 int e2 = pexpr(caddr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
575 return list4(car(e),e1,e2,cadddr(e));
462
kono
parents:
diff changeset
576 }
kono
parents:
diff changeset
577
kono
parents:
diff changeset
578 static int
kono
parents:
diff changeset
579 plassign(int e)
kono
parents:
diff changeset
580 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
581 int e1 = pexpr(cadr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
582 int e2 = pexpr(caddr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
583 return list3(car(e),e1,e2);
462
kono
parents:
diff changeset
584 }
kono
parents:
diff changeset
585
kono
parents:
diff changeset
586 static int
kono
parents:
diff changeset
587 plassop(int e)
kono
parents:
diff changeset
588 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
589 int e1 = pexpr(cadr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
590 int e2 = pexpr(caddr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
591 return list4(car(e),e1,e2,cadddr(e));
462
kono
parents:
diff changeset
592 }
kono
parents:
diff changeset
593
kono
parents:
diff changeset
594 static int
kono
parents:
diff changeset
595 palloc(int e)
kono
parents:
diff changeset
596 {
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
597 return list2(car(e),pexpr(cadr(e)));
462
kono
parents:
diff changeset
598 }
kono
parents:
diff changeset
599
kono
parents:
diff changeset
600 static int
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
601 pcomma(int e1,int e2)
462
kono
parents:
diff changeset
602 {
556
ef225b589888 s-dandy fix
kono
parents: 555
diff changeset
603 int e = pexpr(e1);
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
604 return list3(COMMA,e,pexpr(e2));
462
kono
parents:
diff changeset
605 }
kono
parents:
diff changeset
606
kono
parents:
diff changeset
607 static int
kono
parents:
diff changeset
608 prbit_field(int e)
kono
parents:
diff changeset
609 {
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
610 return list3(car(e),pexpr(cadr(e)),caddr(e));
462
kono
parents:
diff changeset
611 }
kono
parents:
diff changeset
612
kono
parents:
diff changeset
613 static int
kono
parents:
diff changeset
614 pbassign(int e)
kono
parents:
diff changeset
615 {
553
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
616 // list4(BASS,e1,e2,list2(BASS,t)));
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
617 int e1=pexpr(caddr(e));
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
618 return list4(car(e),pexpr(cadr(e)),e1,cadddr(e));
462
kono
parents:
diff changeset
619 }
kono
parents:
diff changeset
620
kono
parents:
diff changeset
621 static int
kono
parents:
diff changeset
622 pbassop(int e)
kono
parents:
diff changeset
623 {
553
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
624 int e1=pexpr(caddr(e));
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
625 return list4(car(e),pexpr(cadr(e)),e1,cadddr(e));
462
kono
parents:
diff changeset
626 }
kono
parents:
diff changeset
627
561
de0b0380c461 comments
kono
parents: 558
diff changeset
628 // handle local variable declaration
de0b0380c461 comments
kono
parents: 558
diff changeset
629 // initialization is accumrated in parse tree
de0b0380c461 comments
kono
parents: 558
diff changeset
630 // should consider int k=some_compile_time_constant;
462
kono
parents:
diff changeset
631 static int
kono
parents:
diff changeset
632 p_decl(int e)
kono
parents:
diff changeset
633 {
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
634 // list4(ST_DECL,parse,(int)n,list3(mode,stmode,ctmode));
554
dc677ac7a744 emit_pop_free kills creg after emit_copy.
kono
parents: 553
diff changeset
635 int ctmode=cadddr(e);
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
636 NMTBL *n=(NMTBL*)caddr(e);
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
637 int dsp = n->dsp;
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
638 int v;
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
639 int sstmode = stmode;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
640 int smode = mode;
500
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
641 // in real partial evaluation, we have to check whether this variable
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
642 // is used or not.
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
643 if (ctmode) {
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
644 mode = car(ctmode); stmode = cadr(ctmode); ctmode = caddr(ctmode);
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
645 }
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
646 switch(stmode) {
528
d6fff671793a minor fix inline
kono
parents: 527
diff changeset
647 case EXTRN: case EXTRN1: case STATIC:
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
648 // def(n,ctmode); we don't need this. already done.
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
649 // stmode = sstmode;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
650 stmode = sstmode;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
651 mode = smode;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
652 return pexpr(cadr(e));
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
653 // case LLDECL: LLDECL is mode, not stmode (bad design)
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
654 // v = list2(FLABEL,fwdlabel()); break;
529
ad874ef77dde use_input_reg...
kono
parents: 528
diff changeset
655 #if 1
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
656 case REGISTER:
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
657 switch(n->ty) {
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
658 case ULONGLONG: case LONGLONG:
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
659 v = get_lregister_var(n); break;
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
660 case FLOAT:
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
661 v = get_dregister_var(n,0); break;
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
662 case DOUBLE:
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
663 v = get_dregister_var(n,1); break;
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
664 default:
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
665 if (scalar(n->ty))
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
666 v = get_register_var(n);
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
667 else
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
668 error(TYERR);
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
669 }
529
ad874ef77dde use_input_reg...
kono
parents: 528
diff changeset
670 break;
528
d6fff671793a minor fix inline
kono
parents: 527
diff changeset
671 #endif
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
672 default:
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
673 if (n->sc==FLABEL)
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
674 v = list3(LVAR,fwdlabel(),(int)n);
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
675 else
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
676 v = list3(LVAR,new_lvar(size(n->ty)),(int)n);
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
677 }
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
678 if (n->sc!=FLABEL)
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
679 inline_lvars = glist2(v,inline_lvars);
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
680 if (heap[pdisp+dsp]) error(-1);
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
681 heap[pdisp+dsp]=v;
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
682 stmode = sstmode;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
683 mode = smode;
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
684 return pexpr(cadr(e));
462
kono
parents:
diff changeset
685 }
kono
parents:
diff changeset
686
kono
parents:
diff changeset
687 static int
500
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
688 p_if(int e1)
462
kono
parents:
diff changeset
689 {
500
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
690 int cond,l1,l2;
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
691 int e2=caddr(e1),e3;
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
692 cond = pexpr(car(e2));
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
693 // conv->if_then_();
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
694 l1 = pexpr(cadr(e2));
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
695 if ((e3=caddr(e2))) { // else
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
696 l2 = pexpr(e3);
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
697 } else {
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
698 l2 = 0;
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
699 }
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
700 return list3(ST_IF,pexpr(cadr(e1)),list3(cond,l1,l2));
462
kono
parents:
diff changeset
701 }
kono
parents:
diff changeset
702
kono
parents:
diff changeset
703 static int
kono
parents:
diff changeset
704 p_do(int e)
kono
parents:
diff changeset
705 {
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
706 int e2 = pexpr(caddr(e));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
707 int e3 = pexpr(cadddr(e));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
708 return list4(ST_DO,pexpr(cadr(e)),e2,e3);
462
kono
parents:
diff changeset
709 }
kono
parents:
diff changeset
710
kono
parents:
diff changeset
711 static int
kono
parents:
diff changeset
712 p_while(int e)
kono
parents:
diff changeset
713 {
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
714 int e2 = pexpr(caddr(e));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
715 int e3 = pexpr(cadddr(e));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
716 return list4(ST_WHILE,pexpr(cadr(e)),e2,e3);
462
kono
parents:
diff changeset
717 }
kono
parents:
diff changeset
718
kono
parents:
diff changeset
719 static int
kono
parents:
diff changeset
720 p_for(int e)
kono
parents:
diff changeset
721 {
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
722 int e1=caddr(e);
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
723 int p0=pexpr(car(e1));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
724 int p1=pexpr(cadr(e1));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
725 int p2=pexpr(caddr(e1));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
726 int p3=pexpr(cadddr(e1));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
727 return list3(ST_FOR,pexpr(cadr(e)), list4(p0,p1,p2,p3));
462
kono
parents:
diff changeset
728 }
kono
parents:
diff changeset
729
kono
parents:
diff changeset
730 static int
kono
parents:
diff changeset
731 p_switch(int e)
kono
parents:
diff changeset
732 {
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
733 int e2 = pexpr(caddr(e));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
734 int e3 = pexpr(cadddr(e));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
735 return list4(ST_SWITCH,pexpr(cadr(e)),e2,e3);
462
kono
parents:
diff changeset
736 }
kono
parents:
diff changeset
737
kono
parents:
diff changeset
738 static int
kono
parents:
diff changeset
739 p_comp(int e)
kono
parents:
diff changeset
740 {
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
741 int e1=pexpr(caddr(e));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
742 return list3(ST_COMP,pexpr(cadr(e)),e1);
462
kono
parents:
diff changeset
743 }
kono
parents:
diff changeset
744
kono
parents:
diff changeset
745 static int
kono
parents:
diff changeset
746 p_break(int e)
kono
parents:
diff changeset
747 {
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
748 return list2(ST_BREAK,pexpr(cadr(e)));
462
kono
parents:
diff changeset
749 }
kono
parents:
diff changeset
750
kono
parents:
diff changeset
751 static int
kono
parents:
diff changeset
752 p_continue(int e)
kono
parents:
diff changeset
753 {
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
754 return list2(ST_CONTINUE,pexpr(cadr(e)));
462
kono
parents:
diff changeset
755 }
kono
parents:
diff changeset
756
kono
parents:
diff changeset
757 static int
kono
parents:
diff changeset
758 p_case(int e)
kono
parents:
diff changeset
759 {
506
96af6754acd3 *** empty log message ***
kono
parents: 505
diff changeset
760 int new=0,clist = caddr(e);
96af6754acd3 *** empty log message ***
kono
parents: 505
diff changeset
761 // insert destory clist, we have to copy it now
96af6754acd3 *** empty log message ***
kono
parents: 505
diff changeset
762 for(;clist;clist=cadr(clist))
96af6754acd3 *** empty log message ***
kono
parents: 505
diff changeset
763 new=glist3(car(clist),new,0);
96af6754acd3 *** empty log message ***
kono
parents: 505
diff changeset
764 return list3(ST_CASE,pexpr(cadr(e)),reverse0(new));
462
kono
parents:
diff changeset
765 }
kono
parents:
diff changeset
766
kono
parents:
diff changeset
767 static int
kono
parents:
diff changeset
768 p_default(int e)
kono
parents:
diff changeset
769 {
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
770 // should be removed if constant case value
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
771 return list2(ST_DEFAULT,pexpr(cadr(e)));
462
kono
parents:
diff changeset
772 }
kono
parents:
diff changeset
773
kono
parents:
diff changeset
774 static int
kono
parents:
diff changeset
775 p_return(int e)
kono
parents:
diff changeset
776 {
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
777 int e1=pexpr(caddr(e));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
778 return list3(ST_RETURN,pexpr(cadr(e)),e1);
462
kono
parents:
diff changeset
779 }
kono
parents:
diff changeset
780
kono
parents:
diff changeset
781 static int
kono
parents:
diff changeset
782 p_goto(int e)
kono
parents:
diff changeset
783 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
784 int e1,lb,e2;
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
785 if ((e1=caddr(e))) {
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
786 switch(car(e1)) {
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
787 case RINDIRECT: e1=pexpr(e1); break;
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
788 case CODE: e2=pexpr(cadr(e1));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
789 e1=list3(CODE,e2,pexpr(caddr(e1))); break;
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
790 case FLABEL: /* error(-1); */ break;
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
791 case IVAR:
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
792 lb = cadr(e1);
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
793 if (!(e1=heap[pdisp+lb])) {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
794 e1 = heap[pdisp+lb]=list2(FLABEL,fwdlabel());
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
795 }
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
796 }
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
797 }
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
798 return list3(ST_GOTO,pexpr(cadr(e)),e1);
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
799 }
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
800
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
801 static int
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
802 p_list_expr(int e)
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
803 {
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
804 int e3,new = 0;
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
805 for (e3 = e; e3; e3 = cadr(e3)) {
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
806 new= list2( pexpr(car(e3)), new);
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
807 }
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
808 return reverse0(new);
462
kono
parents:
diff changeset
809 }
kono
parents:
diff changeset
810
kono
parents:
diff changeset
811 static int
kono
parents:
diff changeset
812 p_asm(int e)
kono
parents:
diff changeset
813 {
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
814 int param=caddr(e);
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
815 int e1 = p_list_expr(cadddr(e));
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
816 return list4(ST_ASM,pexpr(cadr(e)),param,e1);
462
kono
parents:
diff changeset
817 }
kono
parents:
diff changeset
818
kono
parents:
diff changeset
819 static int
kono
parents:
diff changeset
820 p_label(int e)
kono
parents:
diff changeset
821 {
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
822 int e1,lb;
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
823 if ((e1=caddr(e))) {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
824 switch(car(e1)) {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
825 case FLABEL: /* error(-1); */ break;
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
826 case IVAR:
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
827 lb = cadr(e1);
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
828 if (!(e1=heap[pdisp+lb])) {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
829 e1 = heap[pdisp+lb]=list2(FLABEL,fwdlabel());
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
830 }
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
831 }
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
832 }
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
833 return list3(ST_LABEL,pexpr(cadr(e)),e1);
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
834 }
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
835
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
836 static int
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
837 p_label_var(int e)
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
838 {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
839 int d,e1;
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
840 switch(car(e1=e)) {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
841 case LVAR: /* error(-1) */ break;
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
842 case IVAR:
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
843 // should this done in p_decl? (in __label__?)
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
844 d = cadr(e);
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
845 if (!(e1=(heap[pdisp+d]))) {
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
846 // error(-1);
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
847 e1 = heap[pdisp+d]=list3(LVAR,fwdlabel(),caddr(e));
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
848 }
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
849 }
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
850 return list2(LABEL,e1);
462
kono
parents:
diff changeset
851 }
kono
parents:
diff changeset
852
kono
parents:
diff changeset
853 static int
kono
parents:
diff changeset
854 p_bool(int e)
kono
parents:
diff changeset
855 {
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
856 error(-1);
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
857 return e;
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
858 }
462
kono
parents:
diff changeset
859
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
860 static int
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
861 p_comment(int e)
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
862 {
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
863 return list3(ST_COMMENT,pexpr(cadr(e)),caddr(e));
462
kono
parents:
diff changeset
864 }
kono
parents:
diff changeset
865
508
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
866 static int
512
53ec17a8af7d inline continue....
kono
parents: 511
diff changeset
867 p_inline(int e)
508
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
868 {
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
869 int e3;
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
870 int narg;
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
871
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
872 /* inline function arguments */
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
873 narg = 0;
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
874 for (e3 = caddr(e); e3; e3 = cadr(e3)) {
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
875 narg=list3(pexpr(car(e3)),narg,caddr(e3));
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
876 }
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
877 return list4(INLINE,cadr(e),reverse0(narg),cadddr(e));
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
878 }
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
879
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
880 extern int
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
881 pexpr(int e1)
462
kono
parents:
diff changeset
882 {
kono
parents:
diff changeset
883 int e2,e3;
kono
parents:
diff changeset
884
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
885 // if (inmode) error(-1);
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
886 if (e1==0) return 0;
462
kono
parents:
diff changeset
887 e2 = cadr(e1);
kono
parents:
diff changeset
888 switch (car(e1)){
kono
parents:
diff changeset
889 case GVAR: case RGVAR: case CRGVAR: case CURGVAR: case SRGVAR:
kono
parents:
diff changeset
890 case SURGVAR: case REGISTER:
kono
parents:
diff changeset
891 case DREGISTER: case FREGISTER:
500
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
892 case FRGVAR: case DRGVAR:
462
kono
parents:
diff changeset
893 case LREGISTER:
500
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
894 case LRGVAR: case LURGVAR:
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
895 case CONST:
462
kono
parents:
diff changeset
896 case DCONST: case FCONST:
kono
parents:
diff changeset
897 case LCONST:
kono
parents:
diff changeset
898 case STRING:
kono
parents:
diff changeset
899 case FNAME:
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
900 case FLABEL:
462
kono
parents:
diff changeset
901 return e1;
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
902 case RSTRUCT:
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
903 // list3(RSTRUCT,e,size)
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
904 return pexpr(e2);
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
905 case LABEL:
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
906 return p_label_var(e2);
462
kono
parents:
diff changeset
907 case LVAR:
kono
parents:
diff changeset
908 case RLVAR: case CRLVAR: case CURLVAR: case SRLVAR: case SURLVAR:
500
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
909 case FRLVAR: case DRLVAR:
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
910 case LRLVAR: case LURLVAR:
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
911 return e1;
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
912 case IVAR:
462
kono
parents:
diff changeset
913 return p_lvar(e1);
kono
parents:
diff changeset
914 case FUNCTION:
kono
parents:
diff changeset
915 return pfunction(e1);
kono
parents:
diff changeset
916 case CODE:
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
917 return list2(car(e1),pexpr(e2));
462
kono
parents:
diff changeset
918 case INLINE:
512
53ec17a8af7d inline continue....
kono
parents: 511
diff changeset
919 return p_inline(e1);
462
kono
parents:
diff changeset
920 case INDIRECT:
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
921 return pindirect(e1);
462
kono
parents:
diff changeset
922 case RINDIRECT: case URINDIRECT:
kono
parents:
diff changeset
923 case CRINDIRECT: case CURINDIRECT:
kono
parents:
diff changeset
924 case SRINDIRECT: case SURINDIRECT:
kono
parents:
diff changeset
925 case FRINDIRECT: case DRINDIRECT:
kono
parents:
diff changeset
926 case LRINDIRECT: case LURINDIRECT:
kono
parents:
diff changeset
927 return prindirect(e1);
kono
parents:
diff changeset
928 case ADDRESS:
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
929 return paddress(e1);
566
ddc435b64fc8 binop/inline interaction
kono
parents: 561
diff changeset
930 case ST_OP:
ddc435b64fc8 binop/inline interaction
kono
parents: 561
diff changeset
931 e3=caddr(e1);
ddc435b64fc8 binop/inline interaction
kono
parents: 561
diff changeset
932 e1=pexpr(car(e3));
ddc435b64fc8 binop/inline interaction
kono
parents: 561
diff changeset
933 return binop(e2,e1,pexpr(cadr(e3)),caddr(e3),cadddr(e3));
462
kono
parents:
diff changeset
934 case MINUS:
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
935 if ((e3 = pexpr(e2))==e2) return e1;
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
936 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
937 if (car(e3)==CONST) return list2(CONST,-cadr(e3));
kono
parents:
diff changeset
938 return list2(car(e1),e3);
kono
parents:
diff changeset
939 #if LONGLONG_CODE
kono
parents:
diff changeset
940 case LMINUS:
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
941 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
942 if (car(e3)==LCONST) return llist2(LCONST,-lcadr(e3));
kono
parents:
diff changeset
943 return list2(car(e1),e3);
kono
parents:
diff changeset
944 #endif
kono
parents:
diff changeset
945 #if FLOAT_CODE
kono
parents:
diff changeset
946 case DMINUS:
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
947 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
948 if (car(e3)==DCONST) return dlist2(DCONST,-dcadr(e3));
kono
parents:
diff changeset
949 if (car(e3)==FCONST) return dlist2(FCONST,-dcadr(e3));
kono
parents:
diff changeset
950 return list2(car(e1),e3);
kono
parents:
diff changeset
951 case FMINUS:
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
952 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
953 if (car(e3)==DCONST) return dlist2(DCONST,-dcadr(e3));
kono
parents:
diff changeset
954 if (car(e3)==FCONST) return dlist2(FCONST,-dcadr(e3));
kono
parents:
diff changeset
955 return list2(car(e1),e3);
kono
parents:
diff changeset
956 #endif
kono
parents:
diff changeset
957 case CONV:
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
958 return p_conv(caddr(e1),e2);
462
kono
parents:
diff changeset
959 case BNOT: /* ~ */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
960 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
961 if (car(e3)==CONST) return list2(CONST,~cadr(e3));
kono
parents:
diff changeset
962 return list2(BNOT,e3);
kono
parents:
diff changeset
963 case LNOT: /* ! */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
964 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
965 if (car(e3)==CONST) return list2(CONST,!cadr(e3));
kono
parents:
diff changeset
966 return list2(LNOT,e3);
kono
parents:
diff changeset
967 case PREINC:
kono
parents:
diff changeset
968 case UPREINC:
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
969 if ((e3 = pexpr(e2))==e2) return e1;
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
970 if (car(e3)==CONST) return list2(CONST,cadr(e3)+caddr(e1));
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
971 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
972 case POSTINC:
kono
parents:
diff changeset
973 case UPOSTINC:
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
974 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
975 if (car(e3)==CONST) return e3;
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
976 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
977 #if FLOAT_CODE
kono
parents:
diff changeset
978 case DPREINC: /* ++d */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
979 if ((e3 = pexpr(e2))==e2) return e1;
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
980 if (car(e3)==FCONST) return dlist2(FCONST,dcadr(e3)+cadr(e2));
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
981 if (car(e3)==DCONST) return dlist2(DCONST,dcadr(e3)+cadr(e2));
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
982 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
983 case DPOSTINC: /* d++ */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
984 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
985 if (car(e3)==FCONST||car(e3)==DCONST) return e3;
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
986 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
987 case FPREINC: /* ++f */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
988 if ((e3 = pexpr(e2))==e2) return e1;
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
989 if (car(e3)==FCONST) return dlist2(FCONST,dcadr(e3)+cadr(e2));
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
990 if (car(e3)==DCONST) return dlist2(DCONST,dcadr(e3)+cadr(e2));
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
991 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
992 case FPOSTINC: /* f++ */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
993 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
994 if (car(e3)==FCONST||car(e3)==DCONST) return e3;
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
995 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
996 #endif
kono
parents:
diff changeset
997 #if LONGLONG_CODE
kono
parents:
diff changeset
998 case LPREINC: /* ++d */
kono
parents:
diff changeset
999 case LUPREINC: /* ++d */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1000 if ((e3 = pexpr(e2))==e2) return e1;
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1001 if (car(e3)==LCONST) return llist2(LCONST,lcadr(e3)+cadr(e2));
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
1002 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
1003 case LPOSTINC: /* d++ */
kono
parents:
diff changeset
1004 case LUPOSTINC: /* d++ */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1005 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
1006 if (car(e3)==LCONST) return e3;
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
1007 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
1008 #endif
kono
parents:
diff changeset
1009 case MUL: case UMUL:
kono
parents:
diff changeset
1010 case DIV: case UDIV:
kono
parents:
diff changeset
1011 case MOD: case UMOD:
kono
parents:
diff changeset
1012 case LSHIFT: case ULSHIFT: case RSHIFT: case URSHIFT:
kono
parents:
diff changeset
1013 case ADD: case SUB: case BAND: case EOR: case BOR: case CMP: case CMPGE:
kono
parents:
diff changeset
1014 case UCMP: case CMPEQ: case CMPNEQ: case UCMPGE:
kono
parents:
diff changeset
1015 #if FLOAT_CODE
kono
parents:
diff changeset
1016 case DMUL: case DDIV:
kono
parents:
diff changeset
1017 case DADD: case DSUB:
kono
parents:
diff changeset
1018 case DCMP: case DCMPGE: case DCMPEQ: case DCMPNEQ:
kono
parents:
diff changeset
1019 case FMUL: case FDIV:
kono
parents:
diff changeset
1020 case FADD: case FSUB:
kono
parents:
diff changeset
1021 case FCMP: case FCMPGE: case FCMPEQ: case FCMPNEQ:
kono
parents:
diff changeset
1022 #endif
kono
parents:
diff changeset
1023 #if LONGLONG_CODE
kono
parents:
diff changeset
1024 case LMUL: case LUMUL:
kono
parents:
diff changeset
1025 case LDIV: case LUDIV:
kono
parents:
diff changeset
1026 case LMOD: case LUMOD:
kono
parents:
diff changeset
1027 case LLSHIFT: case LULSHIFT: case LRSHIFT: case LURSHIFT:
kono
parents:
diff changeset
1028 case LADD: case LSUB: case LBAND: case LEOR: case LBOR: case LCMP:
kono
parents:
diff changeset
1029 #endif
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1030 return pbinop(car(e1),e2,caddr(e1));
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1031 // relational operator
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1032 case GT: case UGT: case GE: case UGE: case LT:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1033 case ULT: case LE: case ULE:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1034 case LOP+GT: case LOP+UGT: case LOP+GE: case LOP+UGE: case LOP+LT:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1035 case LOP+ULT: case LOP+LE: case LOP+ULE:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1036 case DOP+GT: case DOP+GE: case DOP+LT: case DOP+LE:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1037 case FOP+GT: case FOP+GE: case FOP+LT: case FOP+LE:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1038 case FOP+EQ: case FOP+NEQ:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1039 case EQ: case NEQ: case DOP+EQ: case DOP+NEQ:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1040 case LOP+EQ: case LOP+NEQ:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1041 return pbinop(car(e1),e2,caddr(e1));
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1042 case LAND:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1043 return pland(car(e1),cadr(e1),caddr(e1));
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1044 case LOR:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1045 return plor(car(e1),cadr(e1),caddr(e1));
528
d6fff671793a minor fix inline
kono
parents: 527
diff changeset
1046 case LCOND: case DCOND: case FCOND: case COND: case UCOND: case LUCOND:
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1047 e2 = pexpr(e2);
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1048 if (car(e2)==CONST) return
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1049 caddr(e1)? pexpr(cadr(e2)?caddr(e1):cadddr(e1)) :
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1050 pexpr(cadr(e2)?e2:cadddr(e1)); // GNU extension h?:g
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1051 e3=pexpr(caddr(e1));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1052 return list4(car(e1),e2,e3,pexpr(cadddr(e1)));
462
kono
parents:
diff changeset
1053 case STASS:
kono
parents:
diff changeset
1054 return psassign(e1);
kono
parents:
diff changeset
1055 case ASS: case CASS: case SASS:
kono
parents:
diff changeset
1056 return passign(e1);
kono
parents:
diff changeset
1057 case SASSOP: case SUASSOP:
kono
parents:
diff changeset
1058 case ASSOP: case CASSOP: case CUASSOP:
kono
parents:
diff changeset
1059 return passop(e1);
kono
parents:
diff changeset
1060 #if FLOAT_CODE
kono
parents:
diff changeset
1061 case FASS: case DASS:
kono
parents:
diff changeset
1062 return pdassign(e1);
kono
parents:
diff changeset
1063 case DASSOP: case FASSOP:
kono
parents:
diff changeset
1064 return pdassop(e1);
kono
parents:
diff changeset
1065 #endif
kono
parents:
diff changeset
1066 #if LONGLONG_CODE
kono
parents:
diff changeset
1067 case LASS:
kono
parents:
diff changeset
1068 return plassign(e1);
kono
parents:
diff changeset
1069 case LASSOP: case LUASSOP:
kono
parents:
diff changeset
1070 return plassop(e1);
kono
parents:
diff changeset
1071 #endif
kono
parents:
diff changeset
1072 case ALLOCA:
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1073 return palloc(e2);
462
kono
parents:
diff changeset
1074 case BUILTINP:
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1075 return list2(CONST,is_const(pexpr(e2)));
462
kono
parents:
diff changeset
1076 case COMMA:
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1077 return pcomma(e2,caddr(e1));
462
kono
parents:
diff changeset
1078 case RETURN:
kono
parents:
diff changeset
1079 case ENVIRONMENT:
kono
parents:
diff changeset
1080 case LCALL:
kono
parents:
diff changeset
1081 return e1;
kono
parents:
diff changeset
1082 #if BIT_FIELD_CODE
kono
parents:
diff changeset
1083 case RBIT_FIELD:
kono
parents:
diff changeset
1084 return prbit_field(e1);
553
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
1085 case BIT_FIELD:
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
1086 return list3(BIT_FIELD,pexpr(e2),caddr(e1));
462
kono
parents:
diff changeset
1087 case BASS:
kono
parents:
diff changeset
1088 return pbassign(e1);
kono
parents:
diff changeset
1089 case BPREINC:
kono
parents:
diff changeset
1090 case BPOSTINC:
kono
parents:
diff changeset
1091 case BASSOP:
kono
parents:
diff changeset
1092 return pbassop(e1);
kono
parents:
diff changeset
1093 #endif
kono
parents:
diff changeset
1094 #if ASM_CODE
kono
parents:
diff changeset
1095 case ASM:
kono
parents:
diff changeset
1096 return list3(ASM,list4(
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1097 car(e2),cadr(e2),caddr(e2),cadddr(e2)),
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1098 caddr(e1));
462
kono
parents:
diff changeset
1099 #endif
kono
parents:
diff changeset
1100 case ST_DECL: return p_decl(e1);
kono
parents:
diff changeset
1101 case ST_IF: return p_if(e1);
kono
parents:
diff changeset
1102 case ST_DO: return p_do(e1);
kono
parents:
diff changeset
1103 case ST_WHILE: return p_while(e1);
kono
parents:
diff changeset
1104 case ST_FOR: return p_for(e1);
kono
parents:
diff changeset
1105 case ST_SWITCH: return p_switch(e1);
kono
parents:
diff changeset
1106 case ST_COMP: return p_comp(e1);
kono
parents:
diff changeset
1107 case ST_BREAK: return p_break(e1);
kono
parents:
diff changeset
1108 case ST_CONTINUE: return p_continue(e1);
kono
parents:
diff changeset
1109 case ST_CASE: return p_case(e1);
kono
parents:
diff changeset
1110 case ST_DEFAULT: return p_default(e1);
kono
parents:
diff changeset
1111 case ST_RETURN: return p_return(e1);
kono
parents:
diff changeset
1112 case ST_GOTO: return p_goto(e1);
kono
parents:
diff changeset
1113 case ST_ASM: return p_asm(e1);
kono
parents:
diff changeset
1114 case ST_LABEL: return p_label(e1);
kono
parents:
diff changeset
1115 case ST_COMMENT: return p_comment(e1);
kono
parents:
diff changeset
1116 default:
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1117 error(-1);
462
kono
parents:
diff changeset
1118 return p_bool(e1);
kono
parents:
diff changeset
1119 }
kono
parents:
diff changeset
1120 return VOID;
kono
parents:
diff changeset
1121 }
kono
parents:
diff changeset
1122
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1123 static int
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1124 replace_inline_parameter(NMTBL *anptr,int t,int e4,int narg,int evals)
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1125 {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1126 int arg;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1127 if (has_attr(anptr,KONST) && !has_attr(anptr,HAS_ADDRESS)) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1128 if (is_memory(e4)) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1129 heap[pdisp+narg]=reference(e4);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1130 return evals;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1131 } else if (is_const(e4)) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1132 heap[pdisp+narg]=e4;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1133 return evals;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1134 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1135 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1136 arg = heap[pdisp+narg]=list3(LVAR,new_lvar(size(t)),0);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1137 inline_lvars = glist2(arg,inline_lvars);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1138 evals=list2(assign_expr0(arg,e4,anptr->ty,t),evals);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1139 return evals;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1140 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1141
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1142 /*
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1143 setup parameter replacement of inline call
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1144 */
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1145
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1146 static void
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1147 enter_inline(NMTBL *n, int e)
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1148 {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1149 int e1 = attr_value(n,INLINE);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1150 int arg_disp = cadr(e1); // number of arguments
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1151 int narg,e3,e4, e5, fargtype;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1152 int evals = 0;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1153 int t;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1154 NMTBL *anptr;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1155
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1156 fnptr = n; // st_return see this
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1157 pvartable = p_vartable(arg_disp, /* number of arg */
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1158 caddr(e1) /* number of local parameter */);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1159
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1160 /* function arguments type */
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1161 fargtype = n->dsp; // we cannot do destruct reverse here
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1162
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1163 /* inline function arguments */
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1164 narg = 0;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1165 if (!fargtype) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1166 goto no_args; // wrong number of arguments
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1167 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1168 for (e3 = e5 = reverse0(caddr(e)); e3; e3 = cadr(e3)) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1169 anptr = (NMTBL*)caddr(fargtype);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1170 if (!anptr) break; // should not happen?
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1171 t=caddr(e3); // type
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1172 e4 = car(e3);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1173 evals = replace_inline_parameter(anptr,t,e4,narg,evals);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1174 narg ++;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1175 fargtype = cadr(fargtype);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1176 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1177 caddr(e) = reverse0(e5); // make it normal
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1178 if (eval_order==NORMAL) evals = reverse0(evals);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1179 for(;evals;evals=cadr(evals)) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1180 g_expr_u(car(evals));
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1181 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1182 no_args:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1183 return;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1184 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1185
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1186 /*
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1187 pass local static variable list to our parents
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1188 clean up and free used inline parameters
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1189 */
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1190
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1191 static void
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1192 leave_inline(int e1)
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1193 {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1194 NMTBL *n;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1195 NMTBL *local_statics = (NMTBL*)cadddr(e1); // local static list
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1196
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1197 if (retcont) error(STERR); // inline can't handle return/environment
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1198
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1199 if (local_statics && local_statics != &null_nptr) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1200 // append our local static variables to the parent list
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1201 n = local_statics;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1202 while(n->next != &null_nptr) n=n->next;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1203 n->next = local_static_list; local_static_list = local_statics;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1204 cadddr(e1) = 0; // prevent duplicate initialize
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1205 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1206 while(inline_lvars) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1207 int e;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1208 int l = car(inline_lvars);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1209 switch(car(l)) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1210 case LVAR: free_lvar(cadr(l)); break;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1211 case REGISTER: case DREGISTER:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1212 case FREGISTER: case LREGISTER:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1213 free_register(cadr(l));
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1214 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1215 e = cadr(inline_lvars);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1216 free_glist2(inline_lvars);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1217 inline_lvars = e;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1218 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1219 }
530
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
1220
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1221 extern int
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1222 gen_inline(int e)
462
kono
parents:
diff changeset
1223 {
514
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1224 // these saved value should be some struct
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1225 int sretlabel;
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1226 NMTBL *sfnptr;
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1227 int svartable;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1228 int sretcont;
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1229 int scslabel = cslabel;
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1230 int sdisp = pdisp;
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1231 int sret_register;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1232 int sret_reg_mode;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1233 int sinline_lvars;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1234 int slfree;
531
19f5882997f5 *** empty log message ***
kono
parents: 530
diff changeset
1235 // int slreg_count=lreg_count;
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1236
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1237 NMTBL *n = (NMTBL*)cadr(cadr(e));
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1238 int e1 = attr_value(n,INLINE);
500
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
1239 int parse = car(e1); // inline parse tree
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1240 int dots;
508
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1241 int ret_type = function_type(cadddr(e),&dots);
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1242
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1243 checkret();
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1244 checkjmp(-1);
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1245
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1246 svartable = pvartable;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1247 sretcont = retcont;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1248 scslabel = cslabel;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1249 sdisp = pdisp;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1250 sret_register = ret_register;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1251 sret_reg_mode = ret_reg_mode;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1252 sinline_lvars = inline_lvars;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1253 slfree=lfree;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1254 // int slreg_count=lreg_count;
514
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1255
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1256 sretlabel = retlabel;
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1257 sfnptr = fnptr;
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1258 retcont = 0;
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1259 cslabel = -1;
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1260 retpending = 0;
514
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1261 ret_reg_mode = 0;
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1262 ret_register = 5555;
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
1263 inline_lvars = 0;
514
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1264 retlabel = fwdlabel();
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1265
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1266 enter_inline(n,e);
526
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
1267
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1268 // partial evaluation of parse tree
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1269 // constant propergation, etc.
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1270 parse = pexpr(parse);
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1271 pdisp = sdisp;
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
1272 pvartable = svartable;
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1273
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1274 // generate code if necessary
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1275 if (ret_type!=VOID)
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1276 g_expr0(parse);
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1277 else
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1278 g_expr_u(parse);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1279
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1280 checkret();
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1281 fwddef(retlabel);
514
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1282 control=1;
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1283
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1284 leave_inline(e1);
510
2bd6ff6ee9a8 inline continue...
kono
parents: 509
diff changeset
1285
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1286 fnptr = sfnptr;
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1287 retlabel = sretlabel;
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1288 retcont = sretcont;
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1289 cslabel = scslabel;
514
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1290 ret_register = sret_register;
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1291 ret_reg_mode = sret_reg_mode;
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
1292 inline_lvars = sinline_lvars;
528
d6fff671793a minor fix inline
kono
parents: 527
diff changeset
1293 lfree=slfree;
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1294
508
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1295 return ret_type;
462
kono
parents:
diff changeset
1296 }
kono
parents:
diff changeset
1297
kono
parents:
diff changeset
1298 /* end */