annotate mc-inline.c @ 709:8b54c40081de

*** empty log message ***
author kono
date Wed, 24 Oct 2007 21:54:26 +0900 (2007-10-24)
parents 0554b7f985ee
children 35e6841ba01a
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
607
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
3 /************************************************************************
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
4 ** Copyright (C) 2006 Shinji Kono
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
5 ** 連絡先: 琉球大学情報工学科 河野 真治
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
6 ** (E-Mail Address: kono@ie.u-ryukyu.ac.jp)
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
7 **
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
8 ** このソースのいかなる複写,改変,修正も許諾します。ただし、
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
9 ** その際には、誰が貢献したを示すこの部分を残すこと。
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
10 ** 再配布や雑誌の付録などの問い合わせも必要ありません。
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
11 ** 営利利用も上記に反しない範囲で許可します。
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
12 ** バイナリの配布の際にはversion messageを保存することを条件とします。
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
13 ** このプログラムについては特に何の保証もしない、悪しからず。
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
14 **
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
15 ** Everyone is permitted to do anything on this program
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
16 ** including copying, modifying, improving,
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
17 ** as long as you don't try to pretend that you wrote it.
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
18 ** i.e., the above copyright notice has to appear in all copies.
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
19 ** Binary distribution requires original version messages.
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
20 ** You don't have to ask before copying, redistribution or publishing.
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
21 ** THE AUTHOR DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE.
e055df7c1082 *** empty log message ***
kono
parents: 601
diff changeset
22 ***********************************************************************/
625
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
23
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
24 /*
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
25
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
26 Inline handler
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
27
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
28 inline code is stored as parse tree
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
29 expr already has parse tree
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
30 statement part is handled here
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
31
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
32 st_hoge() code generator (called from gexpr())
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
33 p_hoge() partial evaluator called in gen_inline()
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
34 after p_hoge(), it contains no ST_* node.
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
35
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
36 PVAR has an offset for pvartable, it can be
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
37 constant, local variable or global variable
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
38 other complex expression is evaluated before the code expansion
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
39
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
40 We always perform inline expansion.
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
41 Non static inline function can be referenced from other. Real
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
42 function body is generated by pfdecl() in mc-parse.c.
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
43
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
44 */
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
45
462
kono
parents:
diff changeset
46 #include <stdio.h>
kono
parents:
diff changeset
47 #include "mc.h"
kono
parents:
diff changeset
48 #include "mc-parse.h"
kono
parents:
diff changeset
49 #include "mc-codegen.h"
kono
parents:
diff changeset
50 #include "mc-switch.h"
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
51 #include "mc-code.h"
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
52 #include "mc-inline.h"
462
kono
parents:
diff changeset
53
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
54 static int pvartable;
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
55 static int pdisp;
462
kono
parents:
diff changeset
56
514
a2047e4555be inline continue....
kono
parents: 513
diff changeset
57 static int ret_register,ret_reg_mode;
a2047e4555be inline continue....
kono
parents: 513
diff changeset
58
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
59 static int inline_lvars;
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
60
462
kono
parents:
diff changeset
61 /*
kono
parents:
diff changeset
62 Basic code generator from parse tree
kono
parents:
diff changeset
63 */
kono
parents:
diff changeset
64
kono
parents:
diff changeset
65 extern void
kono
parents:
diff changeset
66 st_decl(int e1){
kono
parents:
diff changeset
67 // NMTBL *n = (NMTBL *)caddr(e1);
kono
parents:
diff changeset
68 // int stmode = cadddr(e1);
kono
parents:
diff changeset
69 }
kono
parents:
diff changeset
70
kono
parents:
diff changeset
71 extern void
kono
parents:
diff changeset
72 st_if(int e1){
kono
parents:
diff changeset
73 int l1,l2,slfree;
kono
parents:
diff changeset
74 int e2=caddr(e1),e3;
kono
parents:
diff changeset
75 // conv->if_();
kono
parents:
diff changeset
76 slfree=lfree;
kono
parents:
diff changeset
77 checkret();
kono
parents:
diff changeset
78 l1 = bexpr(car(e2),0,fwdlabel());
kono
parents:
diff changeset
79 // conv->if_then_();
kono
parents:
diff changeset
80 g_expr_u(cadr(e2));
kono
parents:
diff changeset
81 checkret();
kono
parents:
diff changeset
82 if ((e3=caddr(e2))) { // else
kono
parents:
diff changeset
83 // conv->if_else_();
kono
parents:
diff changeset
84 if ((l2 = control))
kono
parents:
diff changeset
85 gen_jmp(l2=fwdlabel());
kono
parents:
diff changeset
86 fwddef(l1);
kono
parents:
diff changeset
87 g_expr_u(e3);
kono
parents:
diff changeset
88 checkret();
kono
parents:
diff changeset
89 if (l2) fwddef(l2);
kono
parents:
diff changeset
90 } else {
kono
parents:
diff changeset
91 fwddef(l1);
kono
parents:
diff changeset
92 }
kono
parents:
diff changeset
93 // conv->if_endif_();
kono
parents:
diff changeset
94 }
kono
parents:
diff changeset
95
kono
parents:
diff changeset
96
kono
parents:
diff changeset
97 extern void
kono
parents:
diff changeset
98 st_do(int e1){
kono
parents:
diff changeset
99 int sbreak,scontinue,l;
kono
parents:
diff changeset
100
kono
parents:
diff changeset
101 sbreak=blabel;
kono
parents:
diff changeset
102 scontinue=clabel;
kono
parents:
diff changeset
103 blabel=fwdlabel();
kono
parents:
diff changeset
104 clabel=fwdlabel();
kono
parents:
diff changeset
105 control=1;
kono
parents:
diff changeset
106 checkret();
kono
parents:
diff changeset
107 l=backdef();
kono
parents:
diff changeset
108 // conv->dowhile_();
kono
parents:
diff changeset
109 g_expr_u(cadddr(e1));
kono
parents:
diff changeset
110 checkret();
kono
parents:
diff changeset
111 // conv->dowhile_cond_();
kono
parents:
diff changeset
112 bexpr(caddr(e1),1,l);
kono
parents:
diff changeset
113 // conv->dowhile_end_();
kono
parents:
diff changeset
114 fwddef(blabel);
kono
parents:
diff changeset
115 clabel=scontinue;
kono
parents:
diff changeset
116 blabel=sbreak;
kono
parents:
diff changeset
117 }
kono
parents:
diff changeset
118
kono
parents:
diff changeset
119
kono
parents:
diff changeset
120 extern void
kono
parents:
diff changeset
121 st_while(int e1){
kono
parents:
diff changeset
122 int sbreak,scontinue,e;
kono
parents:
diff changeset
123
kono
parents:
diff changeset
124 sbreak=blabel;
kono
parents:
diff changeset
125 scontinue=clabel;
kono
parents:
diff changeset
126 blabel=fwdlabel();
kono
parents:
diff changeset
127 control=1;
kono
parents:
diff changeset
128 checkret();
kono
parents:
diff changeset
129 clabel=backdef();
kono
parents:
diff changeset
130 // conv->while_();
kono
parents:
diff changeset
131 // conv->while_body_();
kono
parents:
diff changeset
132 if(!(e=cadddr(e1))) {
kono
parents:
diff changeset
133 bexpr(caddr(e1),1,clabel);
kono
parents:
diff changeset
134 // conv->sm_();
kono
parents:
diff changeset
135 } else {
kono
parents:
diff changeset
136 bexpr(caddr(e1),0,blabel);
kono
parents:
diff changeset
137 g_expr_u(e);
kono
parents:
diff changeset
138 checkret();
kono
parents:
diff changeset
139 if(control)
kono
parents:
diff changeset
140 gen_jmp(clabel);
kono
parents:
diff changeset
141 }
kono
parents:
diff changeset
142 // conv->while_end_();
kono
parents:
diff changeset
143 fwddef(blabel);
kono
parents:
diff changeset
144 clabel=scontinue;
kono
parents:
diff changeset
145 blabel=sbreak;
kono
parents:
diff changeset
146 }
kono
parents:
diff changeset
147
kono
parents:
diff changeset
148
kono
parents:
diff changeset
149 extern void
kono
parents:
diff changeset
150 st_for(int e1){
kono
parents:
diff changeset
151 int p0,p1,p2,body;
kono
parents:
diff changeset
152 int l,e;
kono
parents:
diff changeset
153 int sbreak=blabel;
kono
parents:
diff changeset
154 int scontinue=clabel;
kono
parents:
diff changeset
155
kono
parents:
diff changeset
156 e = caddr(e1);
kono
parents:
diff changeset
157 p0 = car(e); p1 = cadr(e); p2 = caddr(e); body = cadddr(e);
kono
parents:
diff changeset
158
kono
parents:
diff changeset
159 blabel=fwdlabel();
kono
parents:
diff changeset
160 // conv->for_();
kono
parents:
diff changeset
161 if (p0) {
kono
parents:
diff changeset
162 checkret();
kono
parents:
diff changeset
163 g_expr_u(p0);
kono
parents:
diff changeset
164 }
kono
parents:
diff changeset
165 // conv->for1_();
kono
parents:
diff changeset
166 control=1;
kono
parents:
diff changeset
167 checkret();
kono
parents:
diff changeset
168 l=backdef();
kono
parents:
diff changeset
169 if (p1) {
kono
parents:
diff changeset
170 bexpr(p1,0,blabel);
kono
parents:
diff changeset
171 }
kono
parents:
diff changeset
172 // conv->for2_();
kono
parents:
diff changeset
173 // conv->for_body_();
kono
parents:
diff changeset
174 if (!p2) {
kono
parents:
diff changeset
175 clabel=l;
kono
parents:
diff changeset
176 g_expr_u(body);
kono
parents:
diff changeset
177 checkret();
kono
parents:
diff changeset
178 } else {
kono
parents:
diff changeset
179 clabel=fwdlabel();
kono
parents:
diff changeset
180 g_expr_u(body);
kono
parents:
diff changeset
181 checkret();
kono
parents:
diff changeset
182 fwddef(clabel);
kono
parents:
diff changeset
183 g_expr_u(p2);
kono
parents:
diff changeset
184 }
kono
parents:
diff changeset
185 // conv->for_end_();
kono
parents:
diff changeset
186 gen_jmp(l);
kono
parents:
diff changeset
187 fwddef(blabel);
kono
parents:
diff changeset
188 clabel=scontinue;
kono
parents:
diff changeset
189 blabel=sbreak;
kono
parents:
diff changeset
190 }
kono
parents:
diff changeset
191
kono
parents:
diff changeset
192
kono
parents:
diff changeset
193 extern void
kono
parents:
diff changeset
194 st_switch(int e1){
kono
parents:
diff changeset
195 int sbreak,scase,sdefault,slfree,svalue,slist;
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
196 int cst,e;
462
kono
parents:
diff changeset
197
kono
parents:
diff changeset
198 checkret();
kono
parents:
diff changeset
199 slist = cslist;
kono
parents:
diff changeset
200 cslist = 0;
kono
parents:
diff changeset
201 sbreak=blabel; /* save parents break label */
kono
parents:
diff changeset
202 blabel=fwdlabel();
kono
parents:
diff changeset
203 sdefault=dlabel; /* save parents default label */
kono
parents:
diff changeset
204 dlabel=0;
kono
parents:
diff changeset
205 scase=cslabel; /* save parents next case label */
kono
parents:
diff changeset
206 // conv->switch_();
kono
parents:
diff changeset
207 slfree=lfree;
kono
parents:
diff changeset
208 svalue=csvalue1; /* save parents switch value */
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
209 e =caddr(e1); /* switch value */
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
210 if (car(e)==CONST) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
211 cst = 1;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
212 csvalue1=glist2(CONST,cadr(e));
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
213 gen_jmp( cslabel=fwdlabel());
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
214 } else {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
215 cst = 0;
690
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
216 g_expr(e); /* switch value */
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
217 csvalue1=csvalue() ;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
218 cslabel = control = 0;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
219 }
462
kono
parents:
diff changeset
220 // conv->switch_body_();
kono
parents:
diff changeset
221 g_expr_u(cadddr(e1));
kono
parents:
diff changeset
222 // conv->switch_end_();
kono
parents:
diff changeset
223 checkret();
kono
parents:
diff changeset
224 #if CASE_CODE
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
225 if (!cst) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
226 if (control) gen_jmp(blabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
227 genswitch(cslist,cslabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
228 } else if (!cslist) {
648
234bc5f79a11 alignement attribute (working)
kono
parents: 625
diff changeset
229 if(dlabel) df_label(cslabel,dlabel);
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
230 else fwddef(cslabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
231 }
462
kono
parents:
diff changeset
232 #else
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
233 if (!(cst && cslist)) {
648
234bc5f79a11 alignement attribute (working)
kono
parents: 625
diff changeset
234 if(dlabel) df_label(cslabel,dlabel);
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
235 else fwddef(cslabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
236 }
462
kono
parents:
diff changeset
237 #endif
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
238 free_glist2(csvalue1);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
239 if (cst && !cslist) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
240 if(pending_jmp!=cslabel)
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
241 fwddef(cslabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
242 else pending_jmp = 0; // cslabel is here
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
243 }
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
244 fwddef(blabel);
462
kono
parents:
diff changeset
245 csvalue1=svalue;
kono
parents:
diff changeset
246 cslabel=scase;
kono
parents:
diff changeset
247 dlabel=sdefault;
kono
parents:
diff changeset
248 blabel=sbreak;
kono
parents:
diff changeset
249 cslist = slist;
kono
parents:
diff changeset
250 }
kono
parents:
diff changeset
251
kono
parents:
diff changeset
252
kono
parents:
diff changeset
253 extern void
kono
parents:
diff changeset
254 st_comp(int e1){
kono
parents:
diff changeset
255 g_expr_u(caddr(e1));
kono
parents:
diff changeset
256 }
kono
parents:
diff changeset
257
kono
parents:
diff changeset
258
kono
parents:
diff changeset
259 extern void
kono
parents:
diff changeset
260 st_break(int e1){
kono
parents:
diff changeset
261 checkret();
kono
parents:
diff changeset
262 // conv->break_();
kono
parents:
diff changeset
263 if (control)
kono
parents:
diff changeset
264 gen_jmp(blabel);
kono
parents:
diff changeset
265 }
kono
parents:
diff changeset
266
kono
parents:
diff changeset
267
kono
parents:
diff changeset
268 extern void
kono
parents:
diff changeset
269 st_continue(int e1){
kono
parents:
diff changeset
270 checkret();
kono
parents:
diff changeset
271 // conv->continue_();
kono
parents:
diff changeset
272 if (control) gen_jmp(clabel);
kono
parents:
diff changeset
273 }
kono
parents:
diff changeset
274
kono
parents:
diff changeset
275
kono
parents:
diff changeset
276 extern void
kono
parents:
diff changeset
277 st_case(int e1){
kono
parents:
diff changeset
278 #if CASE_CODE
569
1fcad06b264a gcc4 (ia32)
kono
parents: 566
diff changeset
279 int l=0,clist=caddr(e1),c;
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
280 int cst = (car(csvalue1)==CONST);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
281 if (cst) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
282 c=cadr(csvalue1);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
283 for(;clist;clist=cadr(clist)) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
284 if (car(clist)==c) break;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
285 }
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
286 if (!clist) return; // no match
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
287 } else
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
288 l = fwdlabel();
462
kono
parents:
diff changeset
289 if (retpending) {
kono
parents:
diff changeset
290 ret(); retpending=0;
kono
parents:
diff changeset
291 }
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
292 if (cst) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
293 if (cslist) { // may duplicat csvalue
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
294 return;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
295 }
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
296 cslist=1;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
297 fwddef(cslabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
298 return;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
299 }
462
kono
parents:
diff changeset
300 if (!cslabel) {
kono
parents:
diff changeset
301 if (!control) {
kono
parents:
diff changeset
302 cmpdimm(car(clist),csvalue1,cslabel=fwdlabel(),1);
kono
parents:
diff changeset
303 caddr(clist)=0;
kono
parents:
diff changeset
304 } else {
kono
parents:
diff changeset
305 error(-1);
kono
parents:
diff changeset
306 }
kono
parents:
diff changeset
307 }
kono
parents:
diff changeset
308 while(clist) {
kono
parents:
diff changeset
309 caddr(clist) = l;
kono
parents:
diff changeset
310 clist = cadr(c=clist); cadr(c) = 0; // insert destroy cadr of clist
kono
parents:
diff changeset
311 cslist=insert_ascend(cslist,c,docase_eq);
kono
parents:
diff changeset
312 }
kono
parents:
diff changeset
313 fwddef(l);
kono
parents:
diff changeset
314 control=1;
kono
parents:
diff changeset
315 #else
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
316 int c,clist,l;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
317 int cst = (car(csvalue1)==CONST);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
318 clist = caddr(e1);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
319 if (cst) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
320 c=cadr(csvalue1);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
321 for(;clist;clist=cadr(clist)) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
322 if (car(clist)==c) break; // no match
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
323 }
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
324 if (!clist) return;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
325 }
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
326 if (cst) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
327 if (!cslist) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
328 if (retpending) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
329 ret(); retpending=0;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
330 }
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
331 fwddef(cslabel);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
332 cslist = 1;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
333 } // else error(CSERR);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
334 return;
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
335 }
462
kono
parents:
diff changeset
336 if (retpending) {
kono
parents:
diff changeset
337 ret(); retpending=0;
kono
parents:
diff changeset
338 }
kono
parents:
diff changeset
339 l=fwdlabel();
kono
parents:
diff changeset
340 if (control) {
kono
parents:
diff changeset
341 control=0;
kono
parents:
diff changeset
342 gen_jmp(l);
kono
parents:
diff changeset
343 }
kono
parents:
diff changeset
344 if (cslabel) fwddef(cslabel);
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
345 while(cadr(clist)) {
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
346 cmpdimm(car(clist),csvalue1,l,0);
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
347 clist=cadr(clist);
462
kono
parents:
diff changeset
348 }
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
349 cmpdimm(car(clist),csvalue1,cslabel=fwdlabel(),1);
462
kono
parents:
diff changeset
350 if (l) fwddef(l);
kono
parents:
diff changeset
351 #endif
kono
parents:
diff changeset
352 }
kono
parents:
diff changeset
353
kono
parents:
diff changeset
354
kono
parents:
diff changeset
355 extern void
kono
parents:
diff changeset
356 st_default(int e1){
558
528fed826f17 const value switch statement prune.
kono
parents: 557
diff changeset
357 // int cst = (car(csvalue1)==CONST);
462
kono
parents:
diff changeset
358 control=1;
kono
parents:
diff changeset
359 checkret();
kono
parents:
diff changeset
360 if (dlabel) error(STERR); // double default:
kono
parents:
diff changeset
361 dlabel = backdef();
kono
parents:
diff changeset
362 // conv->case_(0,1);
kono
parents:
diff changeset
363 }
kono
parents:
diff changeset
364
kono
parents:
diff changeset
365
kono
parents:
diff changeset
366 extern void
kono
parents:
diff changeset
367 st_return(int e1){
514
a2047e4555be inline continue....
kono
parents: 513
diff changeset
368 int e,t;
462
kono
parents:
diff changeset
369
kono
parents:
diff changeset
370 if (!cslabel) gen_jmp(cslabel = fwdlabel());
kono
parents:
diff changeset
371 if(!(e=caddr(e1))) {
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
372 // no return value
462
kono
parents:
diff changeset
373 retpending = 1;
kono
parents:
diff changeset
374 return;
kono
parents:
diff changeset
375 }
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
376 t = type_value(cadr(fnptr->ty));
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
377 if (t>0 && (car(t)==STRUCT || car(t)==UNION)) {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
378 // copy is included in e, pass the pointer
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
379 t = list2(POINTER,type_value(cadr(fnptr->ty)));
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
380 }
705
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
381 if (e) {
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
382 g_expr(e);
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
383 }
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
384 if (e && t!=VOID) {
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
385 if (ret_reg_mode==0) {
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
386 // return value register is not fixed
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
387 ret_reg_mode=1;
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
388 ret_register = code_get_fixed_creg(USE_CREG,t);
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
389 } else {
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
390 code_set_fixed_creg(ret_register,1,t);
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
391 }
462
kono
parents:
diff changeset
392 }
kono
parents:
diff changeset
393 // conv->return_end_();
kono
parents:
diff changeset
394 retpending = 1;
kono
parents:
diff changeset
395 }
kono
parents:
diff changeset
396
kono
parents:
diff changeset
397 extern void
kono
parents:
diff changeset
398 st_goto(int e){
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
399 int e1;
462
kono
parents:
diff changeset
400
kono
parents:
diff changeset
401 checkret();
kono
parents:
diff changeset
402 e1 = caddr(e);
kono
parents:
diff changeset
403 if (car(e1)==RINDIRECT) {
kono
parents:
diff changeset
404 gen_indirect_goto(cadr(e1));
505
5d4112735c5c *** empty log message ***
kono
parents: 504
diff changeset
405 return ;
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
406 } else if (car(e1)==RLVAR) {
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
407 gen_indirect_goto(e1);
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
408 return ;
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
409 } else if (car(e1)==LVAR||car(e1)==FLABEL) {
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
410 gen_jmp(cadr(e1));
462
kono
parents:
diff changeset
411 control=0;
505
5d4112735c5c *** empty log message ***
kono
parents: 504
diff changeset
412 return ;
691
25115b50d033 *** empty log message ***
kono
parents: 690
diff changeset
413 } else if (car(e1)==JUMP) {
462
kono
parents:
diff changeset
414 /* CbC continuation */
kono
parents:
diff changeset
415 // conv->jump_(env);
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
416 // should be separate function
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
417 jump(cadr(e1),caddr(e1));
462
kono
parents:
diff changeset
418 control=0;
kono
parents:
diff changeset
419 // conv->sm_();
505
5d4112735c5c *** empty log message ***
kono
parents: 504
diff changeset
420 return ;
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
421 } else {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
422 error(-1);
462
kono
parents:
diff changeset
423 }
kono
parents:
diff changeset
424 }
kono
parents:
diff changeset
425
kono
parents:
diff changeset
426
kono
parents:
diff changeset
427 #if ASM_CODE
kono
parents:
diff changeset
428 extern void
kono
parents:
diff changeset
429 st_asm(int e1){
kono
parents:
diff changeset
430 checkret();
kono
parents:
diff changeset
431 g_expr_u(list3(ASM,caddr(e1),cadddr(e1)));
kono
parents:
diff changeset
432 }
kono
parents:
diff changeset
433 #endif
kono
parents:
diff changeset
434
kono
parents:
diff changeset
435
kono
parents:
diff changeset
436 extern void
kono
parents:
diff changeset
437 st_label(int e1){
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
438 int lb = caddr(e1);
462
kono
parents:
diff changeset
439 control=1;
kono
parents:
diff changeset
440 checkret();
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
441 if (car(lb)==LVAR) { // label variable case
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
442 } else if (car(lb)!=FLABEL) error(-1);
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
443 fwddef(cadr(lb));
462
kono
parents:
diff changeset
444 }
kono
parents:
diff changeset
445
690
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
446 static
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
447 char *plinebuf; // last comment in parse tree (for compiler debug)
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
448
462
kono
parents:
diff changeset
449 extern void
kono
parents:
diff changeset
450 st_comment(int e1){
574
aad312f61654 remove too much inmode.
kono
parents: 569
diff changeset
451 glineno++;
585
a5b902b20300 ia32 reconfigure end (correct?)
kono
parents: 574
diff changeset
452 printf("## %d ",glineno);
690
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
453 gen_comment(plinebuf=(char *)caddr(e1));
462
kono
parents:
diff changeset
454 }
kono
parents:
diff changeset
455
kono
parents:
diff changeset
456 /*
kono
parents:
diff changeset
457 partial evaluator
kono
parents:
diff changeset
458 */
kono
parents:
diff changeset
459
kono
parents:
diff changeset
460 static int
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
461 p_vartable(int adisp,int ldisp)
462
kono
parents:
diff changeset
462 {
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
463 int i;
505
5d4112735c5c *** empty log message ***
kono
parents: 504
diff changeset
464 int pvartable = getfree(adisp-ldisp); // have to be local heap
509
e58848f6ebc1 inline continue...
kono
parents: 508
diff changeset
465 pdisp = pvartable-ldisp;
e58848f6ebc1 inline continue...
kono
parents: 508
diff changeset
466 for(i=ldisp;i<0;i++) {
e58848f6ebc1 inline continue...
kono
parents: 508
diff changeset
467 heap[pdisp+i] = 0;
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
468 }
505
5d4112735c5c *** empty log message ***
kono
parents: 504
diff changeset
469 return pvartable;
462
kono
parents:
diff changeset
470 }
kono
parents:
diff changeset
471
kono
parents:
diff changeset
472 static int
kono
parents:
diff changeset
473 p_lvar(int e1)
kono
parents:
diff changeset
474 {
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
475 int sz = is_memory(e1);
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
476 int d = cadr(e1);
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
477 int d1,e;
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
478 if ((d1=(heap[pdisp+d]))) return d1;
574
aad312f61654 remove too much inmode.
kono
parents: 569
diff changeset
479 fprintf(stderr,"## undeclared ivar %d\n",d);
aad312f61654 remove too much inmode.
kono
parents: 569
diff changeset
480 // error(-1);
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
481 e = heap[pdisp+d]=list3(LVAR,new_lvar(sz),0);
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
482 inline_lvars = glist2(e,inline_lvars);
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
483 return e;
462
kono
parents:
diff changeset
484 }
kono
parents:
diff changeset
485
kono
parents:
diff changeset
486 static int
kono
parents:
diff changeset
487 pfunction(int e)
kono
parents:
diff changeset
488 {
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
489 // list4(INLINE,e1,arglist,ftype);
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
490 // include code segement case
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
491 int e1 = pexpr(cadr(e));
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
492 int arglist = caddr(e);
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
493 int newargs = 0;
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
494 int ftype = cadddr(e);
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
495 int e3;
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
496 for (e3 = arglist; e3; e3 = cadr(e3)) {
514
a2047e4555be inline continue....
kono
parents: 513
diff changeset
497 newargs = list3( pexpr(car(e3)), newargs, caddr(e3));
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
498 }
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
499 newargs = reverse0(newargs);
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
500 return list4(car(e),e1,newargs,ftype);
462
kono
parents:
diff changeset
501 }
kono
parents:
diff changeset
502
kono
parents:
diff changeset
503 static int
kono
parents:
diff changeset
504 prindirect(int e)
kono
parents:
diff changeset
505 {
525
d84cea14dbdc *** empty log message ***
kono
parents: 524
diff changeset
506 int lvar;
533
80b5058f0535 inline code-gen test passed.
kono
parents: 532
diff changeset
507 int offset = caddr(e);
690
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
508 int type0;
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
509 type = cadddr(e);
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
510 type0 = type_value(type);
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
511 if (type0>0 && car(type0)==POINTER)
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
512 type=set_type_with_attr(cadr(type),type);
530
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
513 if (car(lvar=cadr(e))==IVAR) {
525
d84cea14dbdc *** empty log message ***
kono
parents: 524
diff changeset
514 lvar=p_lvar(cadr(e)); // can be anything....
530
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
515 switch(car(lvar)) {
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
516 case LVAR:
533
80b5058f0535 inline code-gen test passed.
kono
parents: 532
diff changeset
517 if(offset) {
80b5058f0535 inline code-gen test passed.
kono
parents: 532
diff changeset
518 return list3(car(e),lvar,offset);
80b5058f0535 inline code-gen test passed.
kono
parents: 532
diff changeset
519 }
530
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
520 return rvalue_t(lvar,cadddr(e));
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
521 case REGISTER: case DREGISTER:
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
522 case FREGISTER: case LREGISTER:
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
523 case CONST: case FCONST: case DCONST: case LCONST:
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
524 // should do type check
533
80b5058f0535 inline code-gen test passed.
kono
parents: 532
diff changeset
525 if (offset) error(-1);
530
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
526 return lvar;
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
527 }
512
53ec17a8af7d inline continue....
kono
parents: 511
diff changeset
528 }
533
80b5058f0535 inline code-gen test passed.
kono
parents: 532
diff changeset
529 return list3(car(e),pexpr(cadr(e)),offset);
462
kono
parents:
diff changeset
530 }
kono
parents:
diff changeset
531
kono
parents:
diff changeset
532 static int
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
533 pindirect(int e)
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
534 {
553
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
535 //int lvar;
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
536 //if (car(lvar=cadr(e))==IVAR)
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
537 // lvar=p_lvar(cadr(e)); // can be anything....
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
538 return list3(car(e),pexpr(cadr(e)),caddr(e));
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
539 }
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
540
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
541 static int
462
kono
parents:
diff changeset
542 paddress(int e)
kono
parents:
diff changeset
543 {
601
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
544 // if (car(cadr(e))==INDIRECT) return pexpr(cadr(cadr(e)));
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
545 return list2(car(e),pexpr(cadr(e)));
462
kono
parents:
diff changeset
546 }
kono
parents:
diff changeset
547
kono
parents:
diff changeset
548 static int
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
549 p_conv(int e1,int e2)
462
kono
parents:
diff changeset
550 {
690
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
551 int t,stype = type;
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
552 if (is_const(e2) && (t=type_of_conv(e1))) {
690
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
553 type = INT;
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
554 e1 = correct_type(e2,t);
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
555 type = stype;
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
556 return e1;
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
557 }
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
558 return list3(CONV,pexpr(e2),e1);
462
kono
parents:
diff changeset
559 }
kono
parents:
diff changeset
560
kono
parents:
diff changeset
561 static int
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
562 pbinop(int op,int e1,int e2)
462
kono
parents:
diff changeset
563 {
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
564 e1 = pexpr(e1);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
565 e2 = pexpr(e2);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
566 if (is_const(e1)&&is_const(e2)) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
567 int t;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
568 if((t= type_of_bop(op)))
599
df04bc5fd5fe *** empty log message ***
kono
parents: 585
diff changeset
569 return binop(OP(op),e1,e2,t,t);
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
570 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
571 return list3(op,e1,e2);
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
572 }
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
573
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
574 static int
526
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
575 plor(int op,int e1,int e2)
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
576 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
577 int e = pexpr(e1);
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
578 return list3(op,e,pexpr(e2));
526
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
579 }
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
580
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
581 static int
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
582 pland(int op,int e1,int e2)
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
583 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
584 int e = pexpr(e1);
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
585 return list3(op,e,pexpr(e2));
526
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
586 }
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
587
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
588 static int
462
kono
parents:
diff changeset
589 psassign(int e)
kono
parents:
diff changeset
590 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
591 int e1 = pexpr(cadr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
592 int e2 = pexpr(caddr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
593 return list4(car(e),e1,e2,cadddr(e));
462
kono
parents:
diff changeset
594 }
kono
parents:
diff changeset
595
kono
parents:
diff changeset
596 static int
kono
parents:
diff changeset
597 passign(int e)
kono
parents:
diff changeset
598 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
599 int e1 = pexpr(cadr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
600 int e2 = pexpr(caddr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
601 return list3(car(e),e1,e2);
462
kono
parents:
diff changeset
602 }
kono
parents:
diff changeset
603
kono
parents:
diff changeset
604 static int
kono
parents:
diff changeset
605 passop(int e)
kono
parents:
diff changeset
606 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
607 int e1 = pexpr(cadr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
608 int e2 = pexpr(caddr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
609 return list4(car(e),e1,e2,cadddr(e));
462
kono
parents:
diff changeset
610 }
kono
parents:
diff changeset
611
kono
parents:
diff changeset
612 static int
kono
parents:
diff changeset
613 pdassign(int e)
kono
parents:
diff changeset
614 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
615 int e1 = pexpr(cadr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
616 int e2 = pexpr(caddr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
617 return list3(car(e),e1,e2);
462
kono
parents:
diff changeset
618 }
kono
parents:
diff changeset
619
kono
parents:
diff changeset
620 static int
kono
parents:
diff changeset
621 pdassop(int e)
kono
parents:
diff changeset
622 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
623 int e1 = pexpr(cadr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
624 int e2 = pexpr(caddr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
625 return list4(car(e),e1,e2,cadddr(e));
462
kono
parents:
diff changeset
626 }
kono
parents:
diff changeset
627
kono
parents:
diff changeset
628 static int
kono
parents:
diff changeset
629 plassign(int e)
kono
parents:
diff changeset
630 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
631 int e1 = pexpr(cadr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
632 int e2 = pexpr(caddr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
633 return list3(car(e),e1,e2);
462
kono
parents:
diff changeset
634 }
kono
parents:
diff changeset
635
kono
parents:
diff changeset
636 static int
kono
parents:
diff changeset
637 plassop(int e)
kono
parents:
diff changeset
638 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
639 int e1 = pexpr(cadr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
640 int e2 = pexpr(caddr(e));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
641 return list4(car(e),e1,e2,cadddr(e));
462
kono
parents:
diff changeset
642 }
kono
parents:
diff changeset
643
kono
parents:
diff changeset
644 static int
kono
parents:
diff changeset
645 palloc(int e)
kono
parents:
diff changeset
646 {
695
3e69986a7b82 *** empty log message ***
kono
parents: 692
diff changeset
647 int e1 = pexpr(e);
3e69986a7b82 *** empty log message ***
kono
parents: 692
diff changeset
648 if (car(e1)==CONST)
3e69986a7b82 *** empty log message ***
kono
parents: 692
diff changeset
649 return list2(ADDRESS,list3(LVAR,new_lvar_align(cadr(e1),16),0));
3e69986a7b82 *** empty log message ***
kono
parents: 692
diff changeset
650 return list2(ALLOCA,e1);
462
kono
parents:
diff changeset
651 }
kono
parents:
diff changeset
652
kono
parents:
diff changeset
653 static int
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
654 pcomma(int e1,int e2)
462
kono
parents:
diff changeset
655 {
556
ef225b589888 s-dandy fix
kono
parents: 555
diff changeset
656 int e = pexpr(e1);
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
657 return list3(COMMA,e,pexpr(e2));
462
kono
parents:
diff changeset
658 }
kono
parents:
diff changeset
659
kono
parents:
diff changeset
660 static int
kono
parents:
diff changeset
661 prbit_field(int e)
kono
parents:
diff changeset
662 {
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
663 return list3(car(e),pexpr(cadr(e)),caddr(e));
462
kono
parents:
diff changeset
664 }
kono
parents:
diff changeset
665
kono
parents:
diff changeset
666 static int
kono
parents:
diff changeset
667 pbassign(int e)
kono
parents:
diff changeset
668 {
553
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
669 // list4(BASS,e1,e2,list2(BASS,t)));
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
670 int e1=pexpr(caddr(e));
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
671 return list4(car(e),pexpr(cadr(e)),e1,cadddr(e));
462
kono
parents:
diff changeset
672 }
kono
parents:
diff changeset
673
kono
parents:
diff changeset
674 static int
kono
parents:
diff changeset
675 pbassop(int e)
kono
parents:
diff changeset
676 {
695
3e69986a7b82 *** empty log message ***
kono
parents: 692
diff changeset
677 int e1 = caddr(e);
3e69986a7b82 *** empty log message ***
kono
parents: 692
diff changeset
678 if (car(e)==BASSOP) e1=pexpr(e1);
553
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
679 return list4(car(e),pexpr(cadr(e)),e1,cadddr(e));
462
kono
parents:
diff changeset
680 }
kono
parents:
diff changeset
681
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
682 /*
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
683 variable initialization with offset
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
684 */
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
685
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
686 static int
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
687 passign_data(int var,int target_type, int e,int t,int offset)
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
688 {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
689 int ass,sz,bfd;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
690
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
691 #if STRUCT_ALIGN
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
692 if (t!=-99) {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
693 int strtype=0;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
694 if (t>0 && (car(t)==STRUCT||car(t)==UNION))
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
695 strtype=1;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
696 sz = size(t);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
697 if (sz%size_of_int==0||strtype) {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
698 offset = ((offset+(size_of_int-1))&~(size_of_int-1));
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
699 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
700 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
701 #endif
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
702 if (car(e)==ADDRESS||car(e)==GVAR) {
702
8eadf0db2970 *** empty log message ***
kono
parents: 701
diff changeset
703 if (scalar(t)) {
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
704 t = list2(POINTER,VOID); // fake
702
8eadf0db2970 *** empty log message ***
kono
parents: 701
diff changeset
705 } else if (t>0 && car(t)==ARRAY) {
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
706 } else {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
707 error(TYERR);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
708 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
709 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
710 if (t==EMPTY) {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
711 /* empty space in partial initialization */
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
712 return offset+cadr(e);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
713 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
714 type = t;
702
8eadf0db2970 *** empty log message ***
kono
parents: 701
diff changeset
715 // e = rvalue_t(e,t);
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
716 if (!scalar(type) && (type>0 && (car(type)!=ADDRESS && car(type)!=ARRAY)))
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
717 e = correct_type(e,target_type);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
718 /* If this is a local declared constant, we don't have to assign.
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
719 But some one may take it's address. We have to generate assign.
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
720 */
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
721 ass = assign_expr0(
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
722 offset?
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
723 list3(ADD,var,list2(CONST,offset)):
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
724 var,
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
725 e,target_type,t); // already correct_typed
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
726 init_vars = list2(ass,init_vars);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
727 if (t>0&&car(t)==BIT_FIELD) {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
728 sz = 0;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
729 bfd = cadr(caddr(t)); /* bit_field_disp */
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
730 #if BIT_FIELD_CODE
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
731 code_bit_field_disp(t,&offset,&bfd,&sz);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
732 #endif
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
733 return offset+sz;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
734 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
735 return offset+((t==EMPTY)?cadr(e):size(t));
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
736 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
737
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
738 static int pdecl_data(int var, int target_type, int init,int offset);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
739
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
740 static void
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
741 pflush_decl_data(int var,int sz)
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
742 {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
743 int offset;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
744 int offset0=0;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
745 int e;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
746 int t,offset1=0;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
747 int smode=mode;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
748 int init = decl_str_init;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
749
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
750 decl_str_init = 0;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
751 mode = STADECL;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
752 /*
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
753 decl_str_init
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
754 output delayed decl data
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
755 list4(offset,next,expression,list2(type0,type1));
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
756 */
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
757 while (init) {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
758 offset= car(init);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
759 e=caddr(init);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
760 t=car(cadddr(init)); // type of source
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
761 type=cadr(cadddr(init)); // destination type
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
762 if (offset!=offset0) {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
763 // make space
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
764 passign_data(var,EMPTY,list2(CONST,offset-offset0),EMPTY,offset0);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
765 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
766 e = pexpr(e);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
767 // offset0 = passign_data(var,type,e,t,offset);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
768 offset0 = pdecl_data(var,type,e,offset);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
769 init = cadr(init);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
770 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
771 offset = offset0;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
772 if ((sz=(offset1+sz-offset))>0)
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
773 passign_data(var,EMPTY,list2(CONST,sz),EMPTY,offset0);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
774 local_nptr = 0;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
775 mode=smode;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
776 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
777
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
778 static int
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
779 str_init_eq()
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
780 {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
781 // error(-1); // duplicate struct field value
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
782 return 2; // allow override keep unique
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
783 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
784
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
785
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
786 static int
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
787 pdecl_data_array(int var,int init,int target_type,int offset)
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
788 {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
789 int type0 = cadr(target_type); /* array item type */
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
790 int e;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
791
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
792 for(; init; init = cadr(init)) {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
793 // unordered data with tag or array offset
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
794 if (car(init)!=DECL_DATA_ARRAY) {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
795 error(-1);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
796 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
797 e = pexpr(caddr(init));
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
798 offset = pdecl_data(var,type0,e,offset);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
799 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
800 return offset;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
801 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
802
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
803 static int
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
804 pdecl_data_field(int var,int init,int target_type,int offset)
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
805 {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
806 int type0 = target_type; /* list of fields */
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
807 int e,t,type1,foffset;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
808 NMTBL *n;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
809
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
810 for(; init; init = cadr(init)) {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
811 // unordered data with tag or array offset
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
812 if (car(init)!=DECL_DATA_FIELD) {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
813 error(-1);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
814 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
815 n = (NMTBL*)cadddr(init);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
816 type1 = search_struct_type(type0,n->nm,&foffset);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
817 e = caddr(init);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
818 if (car(e)!=DECL_DATA) error(-1);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
819 t = caddr(e);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
820 decl_str_init=insert_ascend(decl_str_init,
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
821 glist4(offset+foffset,0,e,glist2(type1,t)),str_init_eq);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
822 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
823 return offset;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
824 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
825
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
826 static int
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
827 pdecl_data_list(int var,int init,int target_type,int offset)
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
828 {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
829 int type0 = caddr(target_type); /* list of fields */
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
830 int e;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
831
703
874adc2528f9 strinit fix on parse mode (half done)
kono
parents: 702
diff changeset
832 for(; init; init = cadr(init),type0 = cadr(type0)) {
874adc2528f9 strinit fix on parse mode (half done)
kono
parents: 702
diff changeset
833 if (car(init)==DECL_DATA) {
692
6785c63f0558 decl_data static incomplete
kono
parents: 691
diff changeset
834 // casted initilizer ?
703
874adc2528f9 strinit fix on parse mode (half done)
kono
parents: 702
diff changeset
835 //error(-1);
874adc2528f9 strinit fix on parse mode (half done)
kono
parents: 702
diff changeset
836 e = cadr(init); // value
874adc2528f9 strinit fix on parse mode (half done)
kono
parents: 702
diff changeset
837 if (!e) continue; // {...,} case
874adc2528f9 strinit fix on parse mode (half done)
kono
parents: 702
diff changeset
838 e = pexpr(e);
874adc2528f9 strinit fix on parse mode (half done)
kono
parents: 702
diff changeset
839 offset = pdecl_data(var,caddr(init),e,offset);
692
6785c63f0558 decl_data static incomplete
kono
parents: 691
diff changeset
840 continue;
6785c63f0558 decl_data static incomplete
kono
parents: 691
diff changeset
841 }
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
842 // ordered data
703
874adc2528f9 strinit fix on parse mode (half done)
kono
parents: 702
diff changeset
843 if (car(init)!=DECL_DATA_LIST) {
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
844 error(-1);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
845 }
703
874adc2528f9 strinit fix on parse mode (half done)
kono
parents: 702
diff changeset
846 e = caddr(init);
874adc2528f9 strinit fix on parse mode (half done)
kono
parents: 702
diff changeset
847 if (!e) continue; // {...,} case
874adc2528f9 strinit fix on parse mode (half done)
kono
parents: 702
diff changeset
848 e = pexpr(e);
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
849 offset = pdecl_data(var,car(type0),e,offset);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
850 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
851 return offset;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
852 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
853
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
854 static int
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
855 pdecl_data(int var, int target_type, int init,int offset)
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
856 {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
857 int t,e;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
858 int save_decl_str_init = decl_str_init;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
859 decl_str_init = 0;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
860 target_type = type_value(target_type);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
861
692
6785c63f0558 decl_data static incomplete
kono
parents: 691
diff changeset
862 if (init==0) {
6785c63f0558 decl_data static incomplete
kono
parents: 691
diff changeset
863 // empty declaration
6785c63f0558 decl_data static incomplete
kono
parents: 691
diff changeset
864 // it can happen like a = (struct hoge){};
6785c63f0558 decl_data static incomplete
kono
parents: 691
diff changeset
865 return offset;
6785c63f0558 decl_data static incomplete
kono
parents: 691
diff changeset
866 }
682
639db8597a58 decl_data optimization
kono
parents: 681
diff changeset
867 e = cadr(init);
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
868 if (car(init)==DECL_DATA) {
682
639db8597a58 decl_data optimization
kono
parents: 681
diff changeset
869 switch(car(e)) {
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
870 case DECL_DATA_LIST:
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
871 offset = pdecl_data_list(var,e,target_type,offset);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
872 break;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
873 case DECL_DATA_FIELD:
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
874 offset = pdecl_data_field(var,e,target_type,offset);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
875 break;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
876 case DECL_DATA_ARRAY:
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
877 offset = pdecl_data_array(var,e,target_type,offset);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
878 break;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
879 default:
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
880 e = pexpr(e);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
881 t = caddr(init); // type of source
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
882 offset = passign_data(var,target_type,e,t,offset);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
883 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
884 } else {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
885 error(-1);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
886 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
887 if (decl_str_init) {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
888 int sz = size(target_type);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
889 pflush_decl_data(var,sz);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
890 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
891 decl_str_init = save_decl_str_init;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
892 return offset;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
893 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
894
561
de0b0380c461 comments
kono
parents: 558
diff changeset
895 // handle local variable declaration
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
896 // initialization is accumrated in init argument
561
de0b0380c461 comments
kono
parents: 558
diff changeset
897 // should consider int k=some_compile_time_constant;
462
kono
parents:
diff changeset
898 static int
kono
parents:
diff changeset
899 p_decl(int e)
kono
parents:
diff changeset
900 {
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
901 // list4(ST_DECL,parse,(int)n,list3(mode,stmode,ctmode),init);
554
dc677ac7a744 emit_pop_free kills creg after emit_copy.
kono
parents: 553
diff changeset
902 int ctmode=cadddr(e);
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
903 NMTBL *n=(NMTBL*)caddr(e);
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
904 int dsp = n->dsp;
569
1fcad06b264a gcc4 (ia32)
kono
parents: 566
diff changeset
905 int v=0;
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
906 int sstmode = stmode;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
907 int smode = mode;
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
908 int save_init_vars = init_vars;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
909 int init = caddddr(e); // variable initialization
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
910
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
911 init_vars = 0;
500
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
912 // in real partial evaluation, we have to check whether this variable
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
913 // is used or not.
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
914 if (ctmode) {
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
915 mode = car(ctmode); stmode = cadr(ctmode); ctmode = caddr(ctmode);
574
aad312f61654 remove too much inmode.
kono
parents: 569
diff changeset
916 } else {
aad312f61654 remove too much inmode.
kono
parents: 569
diff changeset
917 mode = LDECL; stmode = 0; ctmode = 0;
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
918 }
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
919 switch(stmode) {
528
d6fff671793a minor fix inline
kono
parents: 527
diff changeset
920 case EXTRN: case EXTRN1: case STATIC:
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
921 // def(n,ctmode); we don't need this. already done.
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
922 // stmode = sstmode;
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
923 if (init) error(-1);
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
924 stmode = sstmode;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
925 mode = smode;
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
926 init_vars = save_init_vars;
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
927 return pexpr(cadr(e));
529
ad874ef77dde use_input_reg...
kono
parents: 528
diff changeset
928 #if 1
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
929 case REGISTER:
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
930 switch(n->ty) {
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
931 case ULONGLONG: case LONGLONG:
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
932 v = get_lregister_var(n); break;
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
933 case FLOAT:
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
934 v = get_dregister_var(n,0); break;
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
935 case DOUBLE:
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
936 v = get_dregister_var(n,1); break;
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
937 default:
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
938 if (scalar(n->ty))
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
939 v = get_register_var(n);
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
940 else
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
941 error(TYERR);
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
942 }
529
ad874ef77dde use_input_reg...
kono
parents: 528
diff changeset
943 break;
528
d6fff671793a minor fix inline
kono
parents: 527
diff changeset
944 #endif
701
bf4fd39737e9 fix static in parse mode
kono
parents: 699
diff changeset
945 // case LLDECL: LLDECL is mode, not stmode (bad design)
bf4fd39737e9 fix static in parse mode
kono
parents: 699
diff changeset
946 // v = list2(FLABEL,fwdlabel()); break;
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
947 default:
701
bf4fd39737e9 fix static in parse mode
kono
parents: 699
diff changeset
948 if (mode==STADECL) {
bf4fd39737e9 fix static in parse mode
kono
parents: 699
diff changeset
949 if (init) {
bf4fd39737e9 fix static in parse mode
kono
parents: 699
diff changeset
950 v = list3(GVAR,0,(int)n);
bf4fd39737e9 fix static in parse mode
kono
parents: 699
diff changeset
951 gen_decl_data(init,v);
bf4fd39737e9 fix static in parse mode
kono
parents: 699
diff changeset
952 }
bf4fd39737e9 fix static in parse mode
kono
parents: 699
diff changeset
953 stmode = sstmode;
bf4fd39737e9 fix static in parse mode
kono
parents: 699
diff changeset
954 mode = smode;
bf4fd39737e9 fix static in parse mode
kono
parents: 699
diff changeset
955 init_vars = save_init_vars;
bf4fd39737e9 fix static in parse mode
kono
parents: 699
diff changeset
956 return pexpr(cadr(e));
bf4fd39737e9 fix static in parse mode
kono
parents: 699
diff changeset
957 }
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
958 if (n->sc==FLABEL)
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
959 v = list3(LVAR,fwdlabel(),(int)n);
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
960 else
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
961 v = list3(LVAR,new_lvar(size(n->ty)),(int)n);
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
962 }
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
963 if (n->sc!=FLABEL)
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
964 inline_lvars = glist2(v,inline_lvars);
574
aad312f61654 remove too much inmode.
kono
parents: 569
diff changeset
965 if (heap[pdisp+dsp]) {
aad312f61654 remove too much inmode.
kono
parents: 569
diff changeset
966 fprintf(stderr,"## double p_decl %s %s\n",((NMTBL*)(caddr(heap[pdisp+dsp])))->nm,n->nm);
aad312f61654 remove too much inmode.
kono
parents: 569
diff changeset
967 error(-1);
aad312f61654 remove too much inmode.
kono
parents: 569
diff changeset
968 }
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
969 heap[pdisp+dsp]=v;
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
970 stmode = sstmode;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
971 mode = smode;
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
972 if (init) {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
973 pdecl_data(v,n->ty,init,0);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
974 if (init_vars) {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
975 int e1 = pexpr(cadr(e));
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
976 init_vars = reverse0(init_vars);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
977 while (init_vars) {
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
978 e1 = list3(ST_COMP,e1,car(init_vars));
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
979 init_vars = cadr(init_vars);
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
980 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
981 init_vars = save_init_vars;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
982 return e1;
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
983 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
984 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
985 init_vars = save_init_vars;
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
986 return pexpr(cadr(e));
462
kono
parents:
diff changeset
987 }
kono
parents:
diff changeset
988
kono
parents:
diff changeset
989 static int
500
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
990 p_if(int e1)
462
kono
parents:
diff changeset
991 {
500
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
992 int cond,l1,l2;
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
993 int e2=caddr(e1),e3;
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
994 cond = pexpr(car(e2));
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
995 // conv->if_then_();
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
996 l1 = pexpr(cadr(e2));
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
997 if ((e3=caddr(e2))) { // else
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
998 l2 = pexpr(e3);
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
999 } else {
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
1000 l2 = 0;
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
1001 }
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
1002 return list3(ST_IF,pexpr(cadr(e1)),list3(cond,l1,l2));
462
kono
parents:
diff changeset
1003 }
kono
parents:
diff changeset
1004
kono
parents:
diff changeset
1005 static int
kono
parents:
diff changeset
1006 p_do(int e)
kono
parents:
diff changeset
1007 {
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1008 int e2 = pexpr(caddr(e));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1009 int e3 = pexpr(cadddr(e));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1010 return list4(ST_DO,pexpr(cadr(e)),e2,e3);
462
kono
parents:
diff changeset
1011 }
kono
parents:
diff changeset
1012
kono
parents:
diff changeset
1013 static int
kono
parents:
diff changeset
1014 p_while(int e)
kono
parents:
diff changeset
1015 {
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1016 int e2 = pexpr(caddr(e));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1017 int e3 = pexpr(cadddr(e));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1018 return list4(ST_WHILE,pexpr(cadr(e)),e2,e3);
462
kono
parents:
diff changeset
1019 }
kono
parents:
diff changeset
1020
kono
parents:
diff changeset
1021 static int
kono
parents:
diff changeset
1022 p_for(int e)
kono
parents:
diff changeset
1023 {
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1024 int e1=caddr(e);
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1025 int p0=pexpr(car(e1));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1026 int p1=pexpr(cadr(e1));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1027 int p2=pexpr(caddr(e1));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1028 int p3=pexpr(cadddr(e1));
625
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
1029 // unfolding for constant case?
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1030 return list3(ST_FOR,pexpr(cadr(e)), list4(p0,p1,p2,p3));
462
kono
parents:
diff changeset
1031 }
kono
parents:
diff changeset
1032
kono
parents:
diff changeset
1033 static int
kono
parents:
diff changeset
1034 p_switch(int e)
kono
parents:
diff changeset
1035 {
690
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
1036 int e2 = pexpr(caddr(e)); // switch variable
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
1037 int e3 = pexpr(cadddr(e)); // a statement in switch
625
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
1038 // if cadr(e) is a constant, we have to prune case statement.
690
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
1039 // No we cannot. A statement in case may contain labels or
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
1040 // falling down entry.
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
1041 // case constants are need to be pexpred in p_case.
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
1042
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1043 return list4(ST_SWITCH,pexpr(cadr(e)),e2,e3);
462
kono
parents:
diff changeset
1044 }
kono
parents:
diff changeset
1045
kono
parents:
diff changeset
1046 static int
kono
parents:
diff changeset
1047 p_comp(int e)
kono
parents:
diff changeset
1048 {
690
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
1049 int e1;
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
1050 e1=pexpr(caddr(e));
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1051 return list3(ST_COMP,pexpr(cadr(e)),e1);
462
kono
parents:
diff changeset
1052 }
kono
parents:
diff changeset
1053
kono
parents:
diff changeset
1054 static int
kono
parents:
diff changeset
1055 p_break(int e)
kono
parents:
diff changeset
1056 {
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
1057 return list2(ST_BREAK,pexpr(cadr(e)));
462
kono
parents:
diff changeset
1058 }
kono
parents:
diff changeset
1059
kono
parents:
diff changeset
1060 static int
kono
parents:
diff changeset
1061 p_continue(int e)
kono
parents:
diff changeset
1062 {
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
1063 return list2(ST_CONTINUE,pexpr(cadr(e)));
462
kono
parents:
diff changeset
1064 }
kono
parents:
diff changeset
1065
kono
parents:
diff changeset
1066 static int
kono
parents:
diff changeset
1067 p_case(int e)
kono
parents:
diff changeset
1068 {
506
96af6754acd3 *** empty log message ***
kono
parents: 505
diff changeset
1069 int new=0,clist = caddr(e);
96af6754acd3 *** empty log message ***
kono
parents: 505
diff changeset
1070 // insert destory clist, we have to copy it now
690
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
1071 // car(clist) have to be expred, it may contain operators.
506
96af6754acd3 *** empty log message ***
kono
parents: 505
diff changeset
1072 for(;clist;clist=cadr(clist))
690
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
1073 new=glist3(cexpr(pexpr(car(clist))),new,0);
506
96af6754acd3 *** empty log message ***
kono
parents: 505
diff changeset
1074 return list3(ST_CASE,pexpr(cadr(e)),reverse0(new));
462
kono
parents:
diff changeset
1075 }
kono
parents:
diff changeset
1076
kono
parents:
diff changeset
1077 static int
kono
parents:
diff changeset
1078 p_default(int e)
kono
parents:
diff changeset
1079 {
625
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
1080 // should be removed if case value is a constant
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
1081 return list2(ST_DEFAULT,pexpr(cadr(e)));
462
kono
parents:
diff changeset
1082 }
kono
parents:
diff changeset
1083
kono
parents:
diff changeset
1084 static int
kono
parents:
diff changeset
1085 p_return(int e)
kono
parents:
diff changeset
1086 {
524
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1087 int e1=pexpr(caddr(e));
135afeb2e134 inline first work. no constant propagation.
kono
parents: 519
diff changeset
1088 return list3(ST_RETURN,pexpr(cadr(e)),e1);
462
kono
parents:
diff changeset
1089 }
kono
parents:
diff changeset
1090
kono
parents:
diff changeset
1091 static int
kono
parents:
diff changeset
1092 p_goto(int e)
kono
parents:
diff changeset
1093 {
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1094 int e1,lb,e2;
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1095 if ((e1=caddr(e))) {
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1096 switch(car(e1)) {
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1097 case RINDIRECT: e1=pexpr(e1); break;
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1098 case CODE: e2=pexpr(cadr(e1));
609
af6b9ae79583 modificatioon for udpcl
kono
parents: 607
diff changeset
1099 e1=list3(JUMP,e2,pexpr(caddr(e1))); break;
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1100 case FLABEL: /* error(-1); */ break;
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1101 case IVAR:
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1102 lb = cadr(e1);
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1103 if (!(e1=heap[pdisp+lb])) {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1104 e1 = heap[pdisp+lb]=list2(FLABEL,fwdlabel());
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1105 }
691
25115b50d033 *** empty log message ***
kono
parents: 690
diff changeset
1106 break;
25115b50d033 *** empty log message ***
kono
parents: 690
diff changeset
1107 case JUMP:
25115b50d033 *** empty log message ***
kono
parents: 690
diff changeset
1108 e1 = list3(JUMP,pexpr(cadr(e1)),pexpr(caddr(e1)));
25115b50d033 *** empty log message ***
kono
parents: 690
diff changeset
1109 break;
25115b50d033 *** empty log message ***
kono
parents: 690
diff changeset
1110 default:
25115b50d033 *** empty log message ***
kono
parents: 690
diff changeset
1111 error(-1);
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1112 }
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1113 }
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
1114 return list3(ST_GOTO,pexpr(cadr(e)),e1);
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1115 }
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1116
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1117 static int
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1118 p_list_expr(int e)
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1119 {
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1120 int e3,new = 0;
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1121 for (e3 = e; e3; e3 = cadr(e3)) {
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1122 new= list2( pexpr(car(e3)), new);
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1123 }
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1124 return reverse0(new);
462
kono
parents:
diff changeset
1125 }
kono
parents:
diff changeset
1126
kono
parents:
diff changeset
1127 static int
kono
parents:
diff changeset
1128 p_asm(int e)
kono
parents:
diff changeset
1129 {
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1130 int param=caddr(e);
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1131 int e1 = p_list_expr(cadddr(e));
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1132 return list4(ST_ASM,pexpr(cadr(e)),param,e1);
462
kono
parents:
diff changeset
1133 }
kono
parents:
diff changeset
1134
kono
parents:
diff changeset
1135 static int
kono
parents:
diff changeset
1136 p_label(int e)
kono
parents:
diff changeset
1137 {
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1138 int e1,lb;
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1139 if ((e1=caddr(e))) {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1140 switch(car(e1)) {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1141 case FLABEL: /* error(-1); */ break;
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1142 case IVAR:
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1143 lb = cadr(e1);
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1144 if (!(e1=heap[pdisp+lb])) {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1145 e1 = heap[pdisp+lb]=list2(FLABEL,fwdlabel());
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1146 }
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1147 }
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1148 }
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1149 return list3(ST_LABEL,pexpr(cadr(e)),e1);
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1150 }
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1151
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1152 static int
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1153 p_label_var(int e)
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1154 {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1155 int d,e1;
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1156 switch(car(e1=e)) {
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1157 case LVAR: /* error(-1) */ break;
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1158 case IVAR:
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1159 // should this done in p_decl? (in __label__?)
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1160 d = cadr(e);
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1161 if (!(e1=(heap[pdisp+d]))) {
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1162 // error(-1);
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1163 e1 = heap[pdisp+d]=list3(LVAR,fwdlabel(),caddr(e));
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1164 }
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1165 }
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1166 return list2(LABEL,e1);
462
kono
parents:
diff changeset
1167 }
kono
parents:
diff changeset
1168
kono
parents:
diff changeset
1169 static int
kono
parents:
diff changeset
1170 p_bool(int e)
kono
parents:
diff changeset
1171 {
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1172 error(-1);
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
1173 return e;
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
1174 }
462
kono
parents:
diff changeset
1175
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
1176 static int
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
1177 p_comment(int e)
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
1178 {
574
aad312f61654 remove too much inmode.
kono
parents: 569
diff changeset
1179 glineno++;
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1180 return list3(ST_COMMENT,pexpr(cadr(e)),caddr(e));
462
kono
parents:
diff changeset
1181 }
kono
parents:
diff changeset
1182
508
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1183 static int
512
53ec17a8af7d inline continue....
kono
parents: 511
diff changeset
1184 p_inline(int e)
508
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1185 {
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1186 int e3;
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1187 int narg;
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1188
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1189 /* inline function arguments */
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1190 narg = 0;
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1191 for (e3 = caddr(e); e3; e3 = cadr(e3)) {
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1192 narg=list3(pexpr(car(e3)),narg,caddr(e3));
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1193 }
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1194 return list4(INLINE,cadr(e),reverse0(narg),cadddr(e));
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1195 }
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1196
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1197 extern int
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1198 pexpr(int e1)
462
kono
parents:
diff changeset
1199 {
kono
parents:
diff changeset
1200 int e2,e3;
kono
parents:
diff changeset
1201
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1202 // if (inmode) error(-1);
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
1203 if (e1==0) return 0;
462
kono
parents:
diff changeset
1204 e2 = cadr(e1);
kono
parents:
diff changeset
1205 switch (car(e1)){
kono
parents:
diff changeset
1206 case GVAR: case RGVAR: case CRGVAR: case CURGVAR: case SRGVAR:
kono
parents:
diff changeset
1207 case SURGVAR: case REGISTER:
kono
parents:
diff changeset
1208 case DREGISTER: case FREGISTER:
500
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
1209 case FRGVAR: case DRGVAR:
462
kono
parents:
diff changeset
1210 case LREGISTER:
500
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
1211 case LRGVAR: case LURGVAR:
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1212 case CONST:
462
kono
parents:
diff changeset
1213 case DCONST: case FCONST:
kono
parents:
diff changeset
1214 case LCONST:
kono
parents:
diff changeset
1215 case STRING:
kono
parents:
diff changeset
1216 case FNAME:
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
1217 case FLABEL:
616
2ba903c8e749 builtin_fabs
kono
parents: 609
diff changeset
1218 case BUILTIN_INF:
2ba903c8e749 builtin_fabs
kono
parents: 609
diff changeset
1219 case BUILTIN_INFF:
2ba903c8e749 builtin_fabs
kono
parents: 609
diff changeset
1220 case BUILTIN_INFL:
462
kono
parents:
diff changeset
1221 return e1;
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1222 case RSTRUCT:
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1223 // list3(RSTRUCT,e,size)
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1224 return pexpr(e2);
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1225 case LABEL:
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1226 return p_label_var(e2);
462
kono
parents:
diff changeset
1227 case LVAR:
kono
parents:
diff changeset
1228 case RLVAR: case CRLVAR: case CURLVAR: case SRLVAR: case SURLVAR:
500
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
1229 case FRLVAR: case DRLVAR:
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
1230 case LRLVAR: case LURLVAR:
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
1231 return e1;
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
1232 case IVAR:
462
kono
parents:
diff changeset
1233 return p_lvar(e1);
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1234 case CODE:
462
kono
parents:
diff changeset
1235 case FUNCTION:
kono
parents:
diff changeset
1236 return pfunction(e1);
609
af6b9ae79583 modificatioon for udpcl
kono
parents: 607
diff changeset
1237 case JUMP:
601
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
1238 e2 = pexpr(e2);
574
aad312f61654 remove too much inmode.
kono
parents: 569
diff changeset
1239 return list3(car(e1),e2,pexpr(cadddr(e1)));
601
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
1240 case ARRAY:
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
1241 e2 = pexpr(e2);
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
1242 e1 = binop(ADD,e2,pexpr(caddr(e1)),cadddr(e1),caddddr(e1));
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
1243 return indop(e1);
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
1244 case PERIOD:
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
1245 e2 = pexpr(e2);
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
1246 nptr = (NMTBL*)caddr(e1);
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
1247 type = cadddr(e1);
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
1248 return strop(e2,0);
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
1249 case ARROW:
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
1250 e2 = pexpr(e2);
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
1251 nptr = (NMTBL*)caddr(e1);
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
1252 type = cadddr(e1);
6b808480f08b strcut, array parse tree in inmode.
kono
parents: 599
diff changeset
1253 return strop(e2,1);
462
kono
parents:
diff changeset
1254 case INLINE:
512
53ec17a8af7d inline continue....
kono
parents: 511
diff changeset
1255 return p_inline(e1);
462
kono
parents:
diff changeset
1256 case INDIRECT:
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
1257 return pindirect(e1);
462
kono
parents:
diff changeset
1258 case RINDIRECT: case URINDIRECT:
kono
parents:
diff changeset
1259 case CRINDIRECT: case CURINDIRECT:
kono
parents:
diff changeset
1260 case SRINDIRECT: case SURINDIRECT:
kono
parents:
diff changeset
1261 case FRINDIRECT: case DRINDIRECT:
kono
parents:
diff changeset
1262 case LRINDIRECT: case LURINDIRECT:
kono
parents:
diff changeset
1263 return prindirect(e1);
kono
parents:
diff changeset
1264 case ADDRESS:
502
bc66e49e25a2 inline continue...
kono
parents: 501
diff changeset
1265 return paddress(e1);
566
ddc435b64fc8 binop/inline interaction
kono
parents: 561
diff changeset
1266 case ST_OP:
ddc435b64fc8 binop/inline interaction
kono
parents: 561
diff changeset
1267 e3=caddr(e1);
ddc435b64fc8 binop/inline interaction
kono
parents: 561
diff changeset
1268 e1=pexpr(car(e3));
705
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
1269 return binop0(e2,e1,pexpr(cadr(e3)),caddr(e3),cadddr(e3));
462
kono
parents:
diff changeset
1270 case MINUS:
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1271 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
1272 if (car(e3)==CONST) return list2(CONST,-cadr(e3));
kono
parents:
diff changeset
1273 return list2(car(e1),e3);
kono
parents:
diff changeset
1274 #if LONGLONG_CODE
kono
parents:
diff changeset
1275 case LMINUS:
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1276 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
1277 if (car(e3)==LCONST) return llist2(LCONST,-lcadr(e3));
kono
parents:
diff changeset
1278 return list2(car(e1),e3);
kono
parents:
diff changeset
1279 #endif
kono
parents:
diff changeset
1280 #if FLOAT_CODE
kono
parents:
diff changeset
1281 case DMINUS:
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1282 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
1283 if (car(e3)==DCONST) return dlist2(DCONST,-dcadr(e3));
kono
parents:
diff changeset
1284 if (car(e3)==FCONST) return dlist2(FCONST,-dcadr(e3));
kono
parents:
diff changeset
1285 return list2(car(e1),e3);
kono
parents:
diff changeset
1286 case FMINUS:
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1287 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
1288 if (car(e3)==DCONST) return dlist2(DCONST,-dcadr(e3));
kono
parents:
diff changeset
1289 if (car(e3)==FCONST) return dlist2(FCONST,-dcadr(e3));
kono
parents:
diff changeset
1290 return list2(car(e1),e3);
kono
parents:
diff changeset
1291 #endif
kono
parents:
diff changeset
1292 case CONV:
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1293 return p_conv(caddr(e1),e2);
462
kono
parents:
diff changeset
1294 case BNOT: /* ~ */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1295 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
1296 if (car(e3)==CONST) return list2(CONST,~cadr(e3));
kono
parents:
diff changeset
1297 return list2(BNOT,e3);
kono
parents:
diff changeset
1298 case LNOT: /* ! */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1299 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
1300 if (car(e3)==CONST) return list2(CONST,!cadr(e3));
kono
parents:
diff changeset
1301 return list2(LNOT,e3);
kono
parents:
diff changeset
1302 case PREINC:
kono
parents:
diff changeset
1303 case UPREINC:
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1304 if ((e3 = pexpr(e2))==e2) return e1;
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1305 if (car(e3)==CONST) return list2(CONST,cadr(e3)+caddr(e1));
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
1306 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
1307 case POSTINC:
kono
parents:
diff changeset
1308 case UPOSTINC:
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1309 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
1310 if (car(e3)==CONST) return e3;
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
1311 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
1312 #if FLOAT_CODE
kono
parents:
diff changeset
1313 case DPREINC: /* ++d */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1314 if ((e3 = pexpr(e2))==e2) return e1;
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1315 if (car(e3)==FCONST) return dlist2(FCONST,dcadr(e3)+cadr(e2));
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1316 if (car(e3)==DCONST) return dlist2(DCONST,dcadr(e3)+cadr(e2));
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
1317 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
1318 case DPOSTINC: /* d++ */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1319 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
1320 if (car(e3)==FCONST||car(e3)==DCONST) return e3;
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
1321 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
1322 case FPREINC: /* ++f */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1323 if ((e3 = pexpr(e2))==e2) return e1;
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1324 if (car(e3)==FCONST) return dlist2(FCONST,dcadr(e3)+cadr(e2));
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1325 if (car(e3)==DCONST) return dlist2(DCONST,dcadr(e3)+cadr(e2));
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
1326 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
1327 case FPOSTINC: /* f++ */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1328 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
1329 if (car(e3)==FCONST||car(e3)==DCONST) return e3;
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
1330 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
1331 #endif
kono
parents:
diff changeset
1332 #if LONGLONG_CODE
kono
parents:
diff changeset
1333 case LPREINC: /* ++d */
kono
parents:
diff changeset
1334 case LUPREINC: /* ++d */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1335 if ((e3 = pexpr(e2))==e2) return e1;
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1336 if (car(e3)==LCONST) return llist2(LCONST,lcadr(e3)+cadr(e2));
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
1337 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
1338 case LPOSTINC: /* d++ */
kono
parents:
diff changeset
1339 case LUPOSTINC: /* d++ */
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1340 if ((e3 = pexpr(e2))==e2) return e1;
462
kono
parents:
diff changeset
1341 if (car(e3)==LCONST) return e3;
503
3c95c69aa80e *** empty log message ***
kono
parents: 502
diff changeset
1342 return list4(car(e1),e3,caddr(e1),cadddr(e1));
462
kono
parents:
diff changeset
1343 #endif
kono
parents:
diff changeset
1344 case MUL: case UMUL:
kono
parents:
diff changeset
1345 case DIV: case UDIV:
kono
parents:
diff changeset
1346 case MOD: case UMOD:
kono
parents:
diff changeset
1347 case LSHIFT: case ULSHIFT: case RSHIFT: case URSHIFT:
kono
parents:
diff changeset
1348 case ADD: case SUB: case BAND: case EOR: case BOR: case CMP: case CMPGE:
kono
parents:
diff changeset
1349 case UCMP: case CMPEQ: case CMPNEQ: case UCMPGE:
kono
parents:
diff changeset
1350 #if FLOAT_CODE
kono
parents:
diff changeset
1351 case DMUL: case DDIV:
kono
parents:
diff changeset
1352 case DADD: case DSUB:
kono
parents:
diff changeset
1353 case DCMP: case DCMPGE: case DCMPEQ: case DCMPNEQ:
kono
parents:
diff changeset
1354 case FMUL: case FDIV:
kono
parents:
diff changeset
1355 case FADD: case FSUB:
kono
parents:
diff changeset
1356 case FCMP: case FCMPGE: case FCMPEQ: case FCMPNEQ:
kono
parents:
diff changeset
1357 #endif
kono
parents:
diff changeset
1358 #if LONGLONG_CODE
kono
parents:
diff changeset
1359 case LMUL: case LUMUL:
kono
parents:
diff changeset
1360 case LDIV: case LUDIV:
kono
parents:
diff changeset
1361 case LMOD: case LUMOD:
kono
parents:
diff changeset
1362 case LLSHIFT: case LULSHIFT: case LRSHIFT: case LURSHIFT:
kono
parents:
diff changeset
1363 case LADD: case LSUB: case LBAND: case LEOR: case LBOR: case LCMP:
kono
parents:
diff changeset
1364 #endif
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1365 return pbinop(car(e1),e2,caddr(e1));
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1366 // relational operator
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1367 case GT: case UGT: case GE: case UGE: case LT:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1368 case ULT: case LE: case ULE:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1369 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
1370 case LOP+ULT: case LOP+LE: case LOP+ULE:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1371 case DOP+GT: case DOP+GE: case DOP+LT: case DOP+LE:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1372 case FOP+GT: case FOP+GE: case FOP+LT: case FOP+LE:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1373 case FOP+EQ: case FOP+NEQ:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1374 case EQ: case NEQ: case DOP+EQ: case DOP+NEQ:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1375 case LOP+EQ: case LOP+NEQ:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1376 return pbinop(car(e1),e2,caddr(e1));
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1377 case LAND:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1378 return pland(car(e1),cadr(e1),caddr(e1));
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1379 case LOR:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1380 return plor(car(e1),cadr(e1),caddr(e1));
528
d6fff671793a minor fix inline
kono
parents: 527
diff changeset
1381 case LCOND: case DCOND: case FCOND: case COND: case UCOND: case LUCOND:
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1382 e2 = pexpr(e2);
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1383 if (car(e2)==CONST) return
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1384 caddr(e1)? pexpr(cadr(e2)?caddr(e1):cadddr(e1)) :
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1385 pexpr(cadr(e2)?e2:cadddr(e1)); // GNU extension h?:g
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1386 e3=pexpr(caddr(e1));
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1387 return list4(car(e1),e2,e3,pexpr(cadddr(e1)));
462
kono
parents:
diff changeset
1388 case STASS:
kono
parents:
diff changeset
1389 return psassign(e1);
kono
parents:
diff changeset
1390 case ASS: case CASS: case SASS:
kono
parents:
diff changeset
1391 return passign(e1);
kono
parents:
diff changeset
1392 case SASSOP: case SUASSOP:
kono
parents:
diff changeset
1393 case ASSOP: case CASSOP: case CUASSOP:
kono
parents:
diff changeset
1394 return passop(e1);
kono
parents:
diff changeset
1395 #if FLOAT_CODE
kono
parents:
diff changeset
1396 case FASS: case DASS:
kono
parents:
diff changeset
1397 return pdassign(e1);
kono
parents:
diff changeset
1398 case DASSOP: case FASSOP:
kono
parents:
diff changeset
1399 return pdassop(e1);
616
2ba903c8e749 builtin_fabs
kono
parents: 609
diff changeset
1400
2ba903c8e749 builtin_fabs
kono
parents: 609
diff changeset
1401 case BUILTIN_FABS:
2ba903c8e749 builtin_fabs
kono
parents: 609
diff changeset
1402 case BUILTIN_FABSF:
2ba903c8e749 builtin_fabs
kono
parents: 609
diff changeset
1403 case BUILTIN_FABSL:
2ba903c8e749 builtin_fabs
kono
parents: 609
diff changeset
1404 e2 = pexpr(e2);
2ba903c8e749 builtin_fabs
kono
parents: 609
diff changeset
1405 if (is_const(e2)) {
2ba903c8e749 builtin_fabs
kono
parents: 609
diff changeset
1406 if (dcadr(e2) >= 0.0 ) return e2;
2ba903c8e749 builtin_fabs
kono
parents: 609
diff changeset
1407 return pexpr(list2(car(e1)==BUILTIN_FABSF?
2ba903c8e749 builtin_fabs
kono
parents: 609
diff changeset
1408 FMINUS:DMINUS,e2));
2ba903c8e749 builtin_fabs
kono
parents: 609
diff changeset
1409 }
2ba903c8e749 builtin_fabs
kono
parents: 609
diff changeset
1410 return list2(car(e1),e2);
462
kono
parents:
diff changeset
1411 #endif
kono
parents:
diff changeset
1412 #if LONGLONG_CODE
kono
parents:
diff changeset
1413 case LASS:
kono
parents:
diff changeset
1414 return plassign(e1);
kono
parents:
diff changeset
1415 case LASSOP: case LUASSOP:
kono
parents:
diff changeset
1416 return plassop(e1);
kono
parents:
diff changeset
1417 #endif
kono
parents:
diff changeset
1418 case ALLOCA:
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1419 return palloc(e2);
462
kono
parents:
diff changeset
1420 case BUILTINP:
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1421 return list2(CONST,is_const(pexpr(e2)));
462
kono
parents:
diff changeset
1422 case COMMA:
555
ac181d7f9c82 IA32 eval order
kono
parents: 554
diff changeset
1423 return pcomma(e2,caddr(e1));
462
kono
parents:
diff changeset
1424 case RETURN:
kono
parents:
diff changeset
1425 case ENVIRONMENT:
kono
parents:
diff changeset
1426 case LCALL:
kono
parents:
diff changeset
1427 return e1;
kono
parents:
diff changeset
1428 #if BIT_FIELD_CODE
kono
parents:
diff changeset
1429 case RBIT_FIELD:
kono
parents:
diff changeset
1430 return prbit_field(e1);
553
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
1431 case BIT_FIELD:
293f827ccfb2 Linux kernel source compiled.
kono
parents: 552
diff changeset
1432 return list3(BIT_FIELD,pexpr(e2),caddr(e1));
462
kono
parents:
diff changeset
1433 case BASS:
kono
parents:
diff changeset
1434 return pbassign(e1);
kono
parents:
diff changeset
1435 case BPREINC:
kono
parents:
diff changeset
1436 case BPOSTINC:
kono
parents:
diff changeset
1437 case BASSOP:
kono
parents:
diff changeset
1438 return pbassop(e1);
kono
parents:
diff changeset
1439 #endif
kono
parents:
diff changeset
1440 #if ASM_CODE
kono
parents:
diff changeset
1441 case ASM:
kono
parents:
diff changeset
1442 return list3(ASM,list4(
501
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1443 car(e2),cadr(e2),caddr(e2),cadddr(e2)),
a63eb2319d11 inline continue...
kono
parents: 500
diff changeset
1444 caddr(e1));
462
kono
parents:
diff changeset
1445 #endif
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
1446 case CAST:
692
6785c63f0558 decl_data static incomplete
kono
parents: 691
diff changeset
1447 if (e2==0) {
6785c63f0558 decl_data static incomplete
kono
parents: 691
diff changeset
1448 // casted empty structure (struct hoge){}
6785c63f0558 decl_data static incomplete
kono
parents: 691
diff changeset
1449 // I think we can skip it. It means nothing in declaration
6785c63f0558 decl_data static incomplete
kono
parents: 691
diff changeset
1450 return 0;
6785c63f0558 decl_data static incomplete
kono
parents: 691
diff changeset
1451 } else if (car(e2)==DECL_DATA) {
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
1452 // casted initialized structure (struct hoge){...}
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
1453 return list3(DECL_DATA,pexpr(cadr(e2)),caddr(e2));
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
1454 }
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
1455 if (type_compatible(caddr(e1),cadddr(e1))) {
690
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
1456 return pexpr(e2); // rvalue ?
687
1ed8cb78cf9b *** empty log message ***
kono
parents: 682
diff changeset
1457 } else {
690
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
1458 e2 = pexpr(e2); // will override type
687
1ed8cb78cf9b *** empty log message ***
kono
parents: 682
diff changeset
1459 type = cadddr(e1);
690
5d3b4669854c fix prindirect
kono
parents: 687
diff changeset
1460 return correct_type(e2,caddr(e1));
687
1ed8cb78cf9b *** empty log message ***
kono
parents: 682
diff changeset
1461 // return list4(CAST,pexpr(e2),caddr(e1),cadddr(e1));
1ed8cb78cf9b *** empty log message ***
kono
parents: 682
diff changeset
1462 }
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
1463 case DECL_DATA:
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
1464 return list3(DECL_DATA,pexpr(e2),caddr(e1));
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
1465 case DECL_DATA_LIST:
697
e31cba38f7fc *** empty log message ***
kono
parents: 696
diff changeset
1466 case DECL_DATA_ARRAY:
681
e16b34f2b386 DECL_DATA has parse tree now.
kono
parents: 648
diff changeset
1467 case DECL_DATA_FIELD:
703
874adc2528f9 strinit fix on parse mode (half done)
kono
parents: 702
diff changeset
1468 return list4(car(e1),pexpr(e2),pexpr(caddr(e1)),cadddr(e1));
462
kono
parents:
diff changeset
1469 case ST_DECL: return p_decl(e1);
kono
parents:
diff changeset
1470 case ST_IF: return p_if(e1);
kono
parents:
diff changeset
1471 case ST_DO: return p_do(e1);
kono
parents:
diff changeset
1472 case ST_WHILE: return p_while(e1);
kono
parents:
diff changeset
1473 case ST_FOR: return p_for(e1);
kono
parents:
diff changeset
1474 case ST_SWITCH: return p_switch(e1);
kono
parents:
diff changeset
1475 case ST_COMP: return p_comp(e1);
kono
parents:
diff changeset
1476 case ST_BREAK: return p_break(e1);
kono
parents:
diff changeset
1477 case ST_CONTINUE: return p_continue(e1);
kono
parents:
diff changeset
1478 case ST_CASE: return p_case(e1);
kono
parents:
diff changeset
1479 case ST_DEFAULT: return p_default(e1);
kono
parents:
diff changeset
1480 case ST_RETURN: return p_return(e1);
kono
parents:
diff changeset
1481 case ST_GOTO: return p_goto(e1);
kono
parents:
diff changeset
1482 case ST_ASM: return p_asm(e1);
kono
parents:
diff changeset
1483 case ST_LABEL: return p_label(e1);
kono
parents:
diff changeset
1484 case ST_COMMENT: return p_comment(e1);
kono
parents:
diff changeset
1485 default:
551
73ebe9d82a9c inline (scope.c/GNU extension) continue...
kono
parents: 549
diff changeset
1486 error(-1);
462
kono
parents:
diff changeset
1487 return p_bool(e1);
kono
parents:
diff changeset
1488 }
kono
parents:
diff changeset
1489 return VOID;
kono
parents:
diff changeset
1490 }
kono
parents:
diff changeset
1491
625
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
1492 /*
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
1493 Prepare pvariable table
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
1494 */
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
1495
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1496 static int
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1497 replace_inline_parameter(NMTBL *anptr,int t,int e4,int narg,int evals)
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1498 {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1499 int arg;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1500 if (has_attr(anptr,KONST) && !has_attr(anptr,HAS_ADDRESS)) {
625
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
1501 // replacable const variable
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1502 if (is_memory(e4)) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1503 heap[pdisp+narg]=reference(e4);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1504 return evals;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1505 } else if (is_const(e4)) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1506 heap[pdisp+narg]=e4;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1507 return evals;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1508 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1509 }
625
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
1510 // we need real local variable for this inline
709
8b54c40081de *** empty log message ***
kono
parents: 705
diff changeset
1511 arg = heap[pdisp+narg]=list3(LVAR,new_lvar(size(t)),(int)anptr);
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1512 inline_lvars = glist2(arg,inline_lvars);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1513 evals=list2(assign_expr0(arg,e4,anptr->ty,t),evals);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1514 return evals;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1515 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1516
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1517 /*
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1518 setup parameter replacement of inline call
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1519 */
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1520
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1521 static void
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1522 enter_inline(NMTBL *n, int e,int toplevel)
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1523 {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1524 int e1 = attr_value(n,INLINE);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1525 int arg_disp = cadr(e1); // number of arguments
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1526 int narg,e3,e4, e5, fargtype;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1527 int evals = 0;
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1528 int t, replace;
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1529 NMTBL *anptr;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1530
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1531 fnptr = n; // st_return see this
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1532 pvartable = p_vartable(arg_disp, /* number of arg */
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1533 caddr(e1) /* number of local parameter */);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1534
704
6e6dc2d644ed *** empty log message ***
kono
parents: 703
diff changeset
1535 replace = (is_code(fnptr)||toplevel);
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1536
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1537 /* function arguments type */
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1538 fargtype = n->dsp; // we cannot do destruct reverse here
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1539
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1540 /* inline function arguments */
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1541 narg = 0;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1542 if (!fargtype) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1543 goto no_args; // wrong number of arguments
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1544 }
699
0bc5f2ff86cc code segement argument offset in parse mode.
kono
parents: 697
diff changeset
1545
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1546 for (e3 = e5 = reverse0(caddr(e)); e3; e3 = cadr(e3)) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1547 anptr = (NMTBL*)caddr(fargtype);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1548 if (!anptr) break; // should not happen?
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1549 t=caddr(e3); // type
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1550 e4 = car(e3);
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1551 if (replace) {
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1552 heap[pdisp+narg]=reference(e4);
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1553 } else {
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1554 evals = replace_inline_parameter(anptr,t,e4,narg,evals);
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1555 }
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1556 narg ++;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1557 fargtype = cadr(fargtype);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1558 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1559 caddr(e) = reverse0(e5); // make it normal
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1560 if (eval_order==NORMAL) evals = reverse0(evals);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1561 for(;evals;evals=cadr(evals)) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1562 g_expr_u(car(evals));
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1563 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1564 no_args:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1565 return;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1566 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1567
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1568 /*
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1569 pass local static variable list to our parents
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1570 clean up and free used inline parameters
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1571 */
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1572
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1573 static void
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1574 leave_inline(int e1,int toplevel)
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1575 {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1576 NMTBL *n;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1577 NMTBL *local_statics = (NMTBL*)cadddr(e1); // local static list
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1578
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1579 if (retcont && !toplevel) error(STERR);
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1580 // inline can't handle return/environment except top level
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1581
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1582 if (local_statics && local_statics != &null_nptr) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1583 // append our local static variables to the parent list
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1584 n = local_statics;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1585 while(n->next != &null_nptr) n=n->next;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1586 n->next = local_static_list; local_static_list = local_statics;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1587 cadddr(e1) = 0; // prevent duplicate initialize
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1588 }
625
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
1589
4b4c6b1ea69a *** empty log message ***
kono
parents: 616
diff changeset
1590 // free used local variables or registers
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1591 while(inline_lvars) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1592 int e;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1593 int l = car(inline_lvars);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1594 switch(car(l)) {
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1595 case LVAR: free_lvar(cadr(l)); break;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1596 case REGISTER: case DREGISTER:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1597 case FREGISTER: case LREGISTER:
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1598 free_register(cadr(l));
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1599 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1600 e = cadr(inline_lvars);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1601 free_glist2(inline_lvars);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1602 inline_lvars = e;
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1603 }
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1604 }
530
58aceee8e4b4 get_lregister messed up
kono
parents: 529
diff changeset
1605
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1606 extern int
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1607 gen_inline(int e, int toplevel)
462
kono
parents:
diff changeset
1608 {
514
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1609 // these saved value should be some struct
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1610 int sretlabel;
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1611 NMTBL *sfnptr;
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1612 int svartable;
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1613
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1614 int scslabel = cslabel;
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1615 int sdisp = pdisp;
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1616 int sret_register;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1617 int sret_reg_mode;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1618 int sinline_lvars;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1619 int slfree;
531
19f5882997f5 *** empty log message ***
kono
parents: 530
diff changeset
1620 // int slreg_count=lreg_count;
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1621
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1622 NMTBL *n = (NMTBL*)cadr(cadr(e));
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1623 int e1 = attr_value(n,INLINE);
500
0a4ca939f403 inline continue...
kono
parents: 464
diff changeset
1624 int parse = car(e1); // inline parse tree
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1625 int dots;
508
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1626 int ret_type = function_type(cadddr(e),&dots);
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1627
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1628 checkret();
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1629 checkjmp(-1);
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1630
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1631 svartable = pvartable;
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1632
552
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1633 scslabel = cslabel;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1634 sdisp = pdisp;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1635 sret_register = ret_register;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1636 sret_reg_mode = ret_reg_mode;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1637 sinline_lvars = inline_lvars;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1638 slfree=lfree;
74bbea56b8e5 inline scope with gcc extension passed.
kono
parents: 551
diff changeset
1639 // int slreg_count=lreg_count;
514
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1640
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1641 sretlabel = retlabel;
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1642 sfnptr = fnptr;
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1643
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1644 cslabel = -1;
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1645 retpending = 0;
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
1646 inline_lvars = 0;
705
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
1647 if (!toplevel) {
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
1648 retlabel = fwdlabel();
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
1649 }
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1650
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1651 enter_inline(n,e,toplevel);
526
9ff5cd7afe2f *** empty log message ***
kono
parents: 525
diff changeset
1652
704
6e6dc2d644ed *** empty log message ***
kono
parents: 703
diff changeset
1653 if (toplevel) {
705
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
1654 ret_register = code_set_return_register(0); // fnptr required
704
6e6dc2d644ed *** empty log message ***
kono
parents: 703
diff changeset
1655 ret_reg_mode = 1;
6e6dc2d644ed *** empty log message ***
kono
parents: 703
diff changeset
1656 } else {
705
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
1657 ret_register = 555;
704
6e6dc2d644ed *** empty log message ***
kono
parents: 703
diff changeset
1658 ret_reg_mode = 0;
6e6dc2d644ed *** empty log message ***
kono
parents: 703
diff changeset
1659 }
6e6dc2d644ed *** empty log message ***
kono
parents: 703
diff changeset
1660
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1661 // partial evaluation of parse tree
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1662 // constant propergation, etc.
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1663 parse = pexpr(parse);
463
50a59dfb4606 inline continue...
kono
parents: 462
diff changeset
1664 pdisp = sdisp;
464
d88f08d81bba inline continue....
kono
parents: 463
diff changeset
1665 pvartable = svartable;
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1666
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1667 // generate code if necessary
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1668 if (ret_type!=VOID)
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1669 g_expr0(parse);
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1670 else
557
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1671 g_expr_u(parse);
c3053086f790 a little partial evaluation.
kono
parents: 556
diff changeset
1672
705
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
1673 if (!toplevel) {
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
1674 checkret();
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
1675 fwddef(retlabel);
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
1676 control=1;
0554b7f985ee parse mode done.
kono
parents: 704
diff changeset
1677 }
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1678
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1679 leave_inline(e1,toplevel);
510
2bd6ff6ee9a8 inline continue...
kono
parents: 509
diff changeset
1680
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1681 fnptr = sfnptr;
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1682 retlabel = sretlabel;
696
7f0f92380714 code segment parse tree fix (incomplete)
kono
parents: 695
diff changeset
1683
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1684 cslabel = scslabel;
514
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1685 ret_register = sret_register;
a2047e4555be inline continue....
kono
parents: 513
diff changeset
1686 ret_reg_mode = sret_reg_mode;
527
6b0fd56848e6 inline continue....
kono
parents: 526
diff changeset
1687 inline_lvars = sinline_lvars;
528
d6fff671793a minor fix inline
kono
parents: 527
diff changeset
1688 lfree=slfree;
513
4c2607e72ab5 inline continue... fix function call
kono
parents: 512
diff changeset
1689
508
d8102a46b78d inline test routine first compile passed.
kono
parents: 506
diff changeset
1690 return ret_type;
462
kono
parents:
diff changeset
1691 }
kono
parents:
diff changeset
1692
kono
parents:
diff changeset
1693 /* end */