1 /* This C file is generated by NIT to compile module rta_analysis. */
2 #include "rta_analysis._sep.h"
3 void rta_analysis___RtaContext___init(val_t p0
, int* init_table
){
4 int itpos0
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_RtaContext
].i
;
5 struct {struct stack_frame_t me
;} fra
;
7 if (init_table
[itpos0
]) return;
8 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
9 fra
.me
.file
= LOCATE_rta_analysis
;
11 fra
.me
.meth
= LOCATE_rta_analysis___RtaContext___init
;
14 fra
.me
.REG
[0] = NIT_NULL
;
16 /* ./analysis//rta_analysis.nit:28 */
17 CALL_reachable_method_analysis___ReachableMethodAnalysis___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], init_table
);
18 CALL_instantiated_type_analysis___InstantiatedTypeAnalysis___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], init_table
);
19 stack_frame_head
= fra
.me
.prev
;
20 init_table
[itpos0
] = 1;
23 val_t
rta_analysis___RtaContext___instanciated_classes(val_t p0
){
24 struct {struct stack_frame_t me
;} fra
;
27 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
28 fra
.me
.file
= LOCATE_rta_analysis
;
30 fra
.me
.meth
= LOCATE_rta_analysis___RtaContext___instanciated_classes
;
33 fra
.me
.REG
[0] = NIT_NULL
;
35 /* ./analysis//rta_analysis.nit:29 */
36 REGB0
= TAG_Bool(ATTR_rta_analysis___RtaContext____instanciated_classes(fra
.me
.REG
[0])!=NIT_NULL
);
37 if (UNTAG_Bool(REGB0
)) {
39 nit_abort("Uninitialized attribute %s", "_instanciated_classes", LOCATE_rta_analysis
, 29);
41 fra
.me
.REG
[0] = ATTR_rta_analysis___RtaContext____instanciated_classes(fra
.me
.REG
[0]);
42 stack_frame_head
= fra
.me
.prev
;
45 val_t
rta_analysis___RtaContext___is_class_instantiated(val_t p0
, val_t p1
){
46 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
49 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
50 fra
.me
.file
= LOCATE_rta_analysis
;
52 fra
.me
.meth
= LOCATE_rta_analysis___RtaContext___is_class_instantiated
;
55 fra
.me
.REG
[0] = NIT_NULL
;
56 fra
.me
.REG
[1] = NIT_NULL
;
59 /* ./analysis//rta_analysis.nit:31 */
60 fra
.me
.REG
[0] = CALL_rta_analysis___RtaContext___instanciated_classes(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
61 REGB0
= CALL_abstract_collection___Collection___has(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
64 stack_frame_head
= fra
.me
.prev
;
67 val_t
rta_analysis___RtaContext___reachable_iroutines(val_t p0
){
68 struct {struct stack_frame_t me
;} fra
;
71 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
72 fra
.me
.file
= LOCATE_rta_analysis
;
74 fra
.me
.meth
= LOCATE_rta_analysis___RtaContext___reachable_iroutines
;
77 fra
.me
.REG
[0] = NIT_NULL
;
79 /* ./analysis//rta_analysis.nit:33 */
80 REGB0
= TAG_Bool(ATTR_rta_analysis___RtaContext____reachable_iroutines(fra
.me
.REG
[0])!=NIT_NULL
);
81 if (UNTAG_Bool(REGB0
)) {
83 nit_abort("Uninitialized attribute %s", "_reachable_iroutines", LOCATE_rta_analysis
, 33);
85 fra
.me
.REG
[0] = ATTR_rta_analysis___RtaContext____reachable_iroutines(fra
.me
.REG
[0]);
86 stack_frame_head
= fra
.me
.prev
;
89 val_t
rta_analysis___RtaContext___is_iroutine_reachable(val_t p0
, val_t p1
){
90 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
94 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
95 fra
.me
.file
= LOCATE_rta_analysis
;
97 fra
.me
.meth
= LOCATE_rta_analysis___RtaContext___is_iroutine_reachable
;
100 fra
.me
.REG
[0] = NIT_NULL
;
101 fra
.me
.REG
[1] = NIT_NULL
;
104 /* ./analysis//rta_analysis.nit:36 */
105 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
106 if (UNTAG_Bool(REGB0
)) {
108 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
109 if (UNTAG_Bool(REGB1
)) {
110 REGB1
= TAG_Bool(false);
113 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], NIT_NULL
);
117 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
118 if (UNTAG_Bool(REGB0
)) {
119 fra
.me
.REG
[0] = CALL_rta_analysis___RtaContext___reachable_iroutines(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
120 REGB0
= CALL_abstract_collection___Collection___has(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
122 REGB1
= TAG_Bool(false);
127 stack_frame_head
= fra
.me
.prev
;
130 val_t
rta_analysis___RtaContext___is_method_reachable(val_t p0
, val_t p1
){
131 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
134 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
135 fra
.me
.file
= LOCATE_rta_analysis
;
137 fra
.me
.meth
= LOCATE_rta_analysis___RtaContext___is_method_reachable
;
138 fra
.me
.has_broke
= 0;
140 fra
.me
.REG
[0] = NIT_NULL
;
141 fra
.me
.REG
[1] = NIT_NULL
;
144 /* ./analysis//rta_analysis.nit:40 */
145 fra
.me
.REG
[1] = CALL_icode_base___MMMethod___iroutine(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
146 REGB0
= CALL_reachable_method_analysis___ReachableMethodAnalysis___is_iroutine_reachable(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
149 stack_frame_head
= fra
.me
.prev
;
152 val_t
rta_analysis___RtaBuilder___context(val_t p0
){
153 struct {struct stack_frame_t me
;} fra
;
156 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
157 fra
.me
.file
= LOCATE_rta_analysis
;
159 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___context
;
160 fra
.me
.has_broke
= 0;
162 fra
.me
.REG
[0] = NIT_NULL
;
164 /* ./analysis//rta_analysis.nit:45 */
165 REGB0
= TAG_Bool(ATTR_rta_analysis___RtaBuilder____context(fra
.me
.REG
[0])!=NIT_NULL
);
166 if (UNTAG_Bool(REGB0
)) {
168 nit_abort("Uninitialized attribute %s", "_context", LOCATE_rta_analysis
, 45);
170 fra
.me
.REG
[0] = ATTR_rta_analysis___RtaBuilder____context(fra
.me
.REG
[0]);
171 stack_frame_head
= fra
.me
.prev
;
172 return fra
.me
.REG
[0];
174 val_t
rta_analysis___RtaBuilder___program(val_t p0
){
175 struct {struct stack_frame_t me
;} fra
;
178 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
179 fra
.me
.file
= LOCATE_rta_analysis
;
181 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___program
;
182 fra
.me
.has_broke
= 0;
184 fra
.me
.REG
[0] = NIT_NULL
;
186 /* ./analysis//rta_analysis.nit:46 */
187 REGB0
= TAG_Bool(ATTR_rta_analysis___RtaBuilder____program(fra
.me
.REG
[0])!=NIT_NULL
);
188 if (UNTAG_Bool(REGB0
)) {
190 nit_abort("Uninitialized attribute %s", "_program", LOCATE_rta_analysis
, 46);
192 fra
.me
.REG
[0] = ATTR_rta_analysis___RtaBuilder____program(fra
.me
.REG
[0]);
193 stack_frame_head
= fra
.me
.prev
;
194 return fra
.me
.REG
[0];
196 val_t
rta_analysis___RtaBuilder___iroutine_to_search(val_t p0
){
197 struct {struct stack_frame_t me
;} fra
;
200 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
201 fra
.me
.file
= LOCATE_rta_analysis
;
203 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___iroutine_to_search
;
204 fra
.me
.has_broke
= 0;
206 fra
.me
.REG
[0] = NIT_NULL
;
208 /* ./analysis//rta_analysis.nit:47 */
209 REGB0
= TAG_Bool(ATTR_rta_analysis___RtaBuilder____iroutine_to_search(fra
.me
.REG
[0])!=NIT_NULL
);
210 if (UNTAG_Bool(REGB0
)) {
212 nit_abort("Uninitialized attribute %s", "_iroutine_to_search", LOCATE_rta_analysis
, 47);
214 fra
.me
.REG
[0] = ATTR_rta_analysis___RtaBuilder____iroutine_to_search(fra
.me
.REG
[0]);
215 stack_frame_head
= fra
.me
.prev
;
216 return fra
.me
.REG
[0];
218 val_t
rta_analysis___RtaBuilder___call_sites(val_t p0
){
219 struct {struct stack_frame_t me
;} fra
;
222 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
223 fra
.me
.file
= LOCATE_rta_analysis
;
225 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___call_sites
;
226 fra
.me
.has_broke
= 0;
228 fra
.me
.REG
[0] = NIT_NULL
;
230 /* ./analysis//rta_analysis.nit:48 */
231 REGB0
= TAG_Bool(ATTR_rta_analysis___RtaBuilder____call_sites(fra
.me
.REG
[0])!=NIT_NULL
);
232 if (UNTAG_Bool(REGB0
)) {
234 nit_abort("Uninitialized attribute %s", "_call_sites", LOCATE_rta_analysis
, 48);
236 fra
.me
.REG
[0] = ATTR_rta_analysis___RtaBuilder____call_sites(fra
.me
.REG
[0]);
237 stack_frame_head
= fra
.me
.prev
;
238 return fra
.me
.REG
[0];
240 val_t
rta_analysis___RtaBuilder___called_methods(val_t p0
){
241 struct {struct stack_frame_t me
;} fra
;
244 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
245 fra
.me
.file
= LOCATE_rta_analysis
;
247 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___called_methods
;
248 fra
.me
.has_broke
= 0;
250 fra
.me
.REG
[0] = NIT_NULL
;
252 /* ./analysis//rta_analysis.nit:49 */
253 REGB0
= TAG_Bool(ATTR_rta_analysis___RtaBuilder____called_methods(fra
.me
.REG
[0])!=NIT_NULL
);
254 if (UNTAG_Bool(REGB0
)) {
256 nit_abort("Uninitialized attribute %s", "_called_methods", LOCATE_rta_analysis
, 49);
258 fra
.me
.REG
[0] = ATTR_rta_analysis___RtaBuilder____called_methods(fra
.me
.REG
[0]);
259 stack_frame_head
= fra
.me
.prev
;
260 return fra
.me
.REG
[0];
262 void rta_analysis___RtaBuilder___init(val_t p0
, val_t p1
, int* init_table
){
263 int itpos1
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_RtaBuilder
].i
;
264 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
266 if (init_table
[itpos1
]) return;
267 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
268 fra
.me
.file
= LOCATE_rta_analysis
;
270 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___init
;
271 fra
.me
.has_broke
= 0;
273 fra
.me
.REG
[0] = NIT_NULL
;
274 fra
.me
.REG
[1] = NIT_NULL
;
275 fra
.me
.REG
[2] = NIT_NULL
;
278 /* ./analysis//rta_analysis.nit:52 */
279 fra
.me
.REG
[2] = NEW_RtaContext_rta_analysis___RtaContext___init();
280 ATTR_rta_analysis___RtaBuilder____context(fra
.me
.REG
[0]) = fra
.me
.REG
[2];
281 /* ./analysis//rta_analysis.nit:53 */
282 ATTR_rta_analysis___RtaBuilder____program(fra
.me
.REG
[0]) = fra
.me
.REG
[1];
283 stack_frame_head
= fra
.me
.prev
;
284 init_table
[itpos1
] = 1;
287 val_t
rta_analysis___RtaBuilder___check_method(val_t p0
, val_t p1
){
288 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
291 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
292 fra
.me
.file
= LOCATE_rta_analysis
;
294 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___check_method
;
295 fra
.me
.has_broke
= 0;
297 fra
.me
.REG
[0] = NIT_NULL
;
298 fra
.me
.REG
[1] = NIT_NULL
;
299 fra
.me
.REG
[2] = NIT_NULL
;
300 fra
.me
.REG
[3] = NIT_NULL
;
303 /* ./analysis//rta_analysis.nit:60 */
304 fra
.me
.REG
[2] = CALL_abstractmetamodel___MMLocalProperty___local_class(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
305 fra
.me
.REG
[3] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
306 fra
.me
.REG
[3] = CALL_program___Program___main_module(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
307 fra
.me
.REG
[3] = CALL_abstractmetamodel___MMLocalClass___for_module(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
308 /* ./analysis//rta_analysis.nit:62 */
309 fra
.me
.REG
[2] = CALL_rta_analysis___RtaBuilder___context(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
310 REGB0
= CALL_instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
311 if (UNTAG_Bool(REGB0
)) {
312 REGB0
= TAG_Bool(true);
313 fra
.me
.REG
[2] = REGB0
;
316 /* ./analysis//rta_analysis.nit:64 */
317 fra
.me
.REG
[3] = CALL_abstractmetamodel___MMLocalClass___cshe(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
318 fra
.me
.REG
[3] = CALL_partial_order___PartialOrderElement___smallers(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
319 CALL_abstract_collection___Collection___iterate(fra
.me
.REG
[3])(fra
.me
.REG
[3], (&(fra
.me
)), ((fun_t
)OC_rta_analysis___RtaBuilder___check_method_2
));
320 switch ((&(fra
.me
))->has_broke
) {
322 case 1: (&(fra
.me
))->has_broke
= 0; goto label1
;
324 /* ./analysis//rta_analysis.nit:68 */
325 REGB0
= TAG_Bool(false);
326 fra
.me
.REG
[2] = REGB0
;
329 stack_frame_head
= fra
.me
.prev
;
330 return fra
.me
.REG
[2];
332 void OC_rta_analysis___RtaBuilder___check_method_2(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
333 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
338 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
339 fra
.me
.file
= LOCATE_rta_analysis
;
341 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___check_method
;
342 fra
.me
.has_broke
= 0;
344 fra
.me
.REG
[0] = NIT_NULL
;
345 fra
.me
.REG
[1] = NIT_NULL
;
346 fra
.me
.closure_ctx
= closctx_param
;
347 fra
.me
.closure_funs
= CREG
;
350 /* ./analysis//rta_analysis.nit:65 */
351 fra
.me
.REG
[1] = CALL_abstractmetamodel___MMLocalProperty___global(closctx
->REG
[1])(closctx
->REG
[1]);
352 fra
.me
.REG
[1] = CALL_abstractmetamodel___MMLocalClass_____bra(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
353 REGB0
= TAG_Bool(IS_EQUAL_OO(fra
.me
.REG
[1],closctx
->REG
[1]));
354 if (UNTAG_Bool(REGB0
)) {
356 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], closctx
->REG
[1]);
359 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
360 if (UNTAG_Bool(REGB0
)) {
363 /* ./analysis//rta_analysis.nit:66 */
364 fra
.me
.REG
[1] = CALL_rta_analysis___RtaBuilder___context(closctx
->REG
[0])(closctx
->REG
[0]);
365 REGB0
= CALL_instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
366 if (UNTAG_Bool(REGB0
)) {
367 REGB0
= TAG_Bool(true);
368 closctx
->REG
[2] = REGB0
;
369 closctx
->has_broke
= 1;
373 stack_frame_head
= fra
.me
.prev
;
376 void rta_analysis___RtaBuilder___check_call_sites(val_t p0
){
377 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
379 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
380 fra
.me
.file
= LOCATE_rta_analysis
;
382 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___check_call_sites
;
383 fra
.me
.has_broke
= 0;
385 fra
.me
.REG
[0] = NIT_NULL
;
386 fra
.me
.REG
[1] = NIT_NULL
;
387 fra
.me
.REG
[2] = NIT_NULL
;
389 /* ./analysis//rta_analysis.nit:74 */
390 fra
.me
.REG
[1] = NEW_List_list___List___init();
391 /* ./analysis//rta_analysis.nit:75 */
392 fra
.me
.REG
[2] = CALL_rta_analysis___RtaBuilder___call_sites(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
393 CALL_abstract_collection___Collection___iterate(fra
.me
.REG
[2])(fra
.me
.REG
[2], (&(fra
.me
)), ((fun_t
)OC_rta_analysis___RtaBuilder___check_call_sites_1
));
394 CALL_abstract_collection___Collection___iterate(fra
.me
.REG
[1])(fra
.me
.REG
[1], (&(fra
.me
)), ((fun_t
)OC_rta_analysis___RtaBuilder___check_call_sites_4
));
395 stack_frame_head
= fra
.me
.prev
;
398 void OC_rta_analysis___RtaBuilder___check_call_sites_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
399 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
403 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
404 fra
.me
.file
= LOCATE_rta_analysis
;
406 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___check_call_sites
;
407 fra
.me
.has_broke
= 0;
409 fra
.me
.REG
[0] = NIT_NULL
;
410 fra
.me
.REG
[1] = NIT_NULL
;
411 fra
.me
.REG
[2] = NIT_NULL
;
412 fra
.me
.closure_ctx
= closctx_param
;
413 fra
.me
.closure_funs
= CREG
;
416 /* ./analysis//rta_analysis.nit:76 */
417 fra
.me
.REG
[1] = CALL_icode_base___IAbsCall___property(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
418 /* ./analysis//rta_analysis.nit:77 */
419 REGB0
= TAG_Bool(true);
420 closctx
->REG
[2] = REGB0
;
421 /* ./analysis//rta_analysis.nit:80 */
422 REGB0
= CALL_rta_analysis___RtaBuilder___check_method(closctx
->REG
[0])(closctx
->REG
[0], fra
.me
.REG
[1]);
423 if (UNTAG_Bool(REGB0
)) {
424 /* ./analysis//rta_analysis.nit:81 */
425 fra
.me
.REG
[2] = CALL_icode_base___MMMethod___iroutine(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
426 CALL_rta_analysis___RtaBuilder___add_reachable_iroutine(closctx
->REG
[0])(closctx
->REG
[0], fra
.me
.REG
[2]);
428 /* ./analysis//rta_analysis.nit:83 */
429 REGB0
= TAG_Bool(false);
430 closctx
->REG
[2] = REGB0
;
432 /* ./analysis//rta_analysis.nit:87 */
433 fra
.me
.REG
[1] = CALL_abstractmetamodel___MMLocalProperty___prhe(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
434 fra
.me
.REG
[1] = CALL_partial_order___PartialOrderElement___smallers(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
435 CALL_abstract_collection___Collection___iterate(fra
.me
.REG
[1])(fra
.me
.REG
[1], closctx
, ((fun_t
)OC_rta_analysis___RtaBuilder___check_call_sites_2
));
436 /* ./analysis//rta_analysis.nit:96 */
437 if (UNTAG_Bool(closctx
->REG
[2])) {
438 CALL_abstract_collection___SimpleCollection___add(closctx
->REG
[1])(closctx
->REG
[1], fra
.me
.REG
[0]);
440 stack_frame_head
= fra
.me
.prev
;
443 void OC_rta_analysis___RtaBuilder___check_call_sites_2(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
444 struct {struct stack_frame_t me
;} fra
;
448 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
449 fra
.me
.file
= LOCATE_rta_analysis
;
451 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___check_call_sites
;
452 fra
.me
.has_broke
= 0;
454 fra
.me
.REG
[0] = NIT_NULL
;
455 fra
.me
.closure_ctx
= closctx_param
;
456 fra
.me
.closure_funs
= CREG
;
459 /* ./analysis//rta_analysis.nit:88 */
460 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[0], COLOR_MMMethod
, ID_MMMethod
)) /*cast MMMethod*/;
461 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
462 if (UNTAG_Bool(REGB0
)) {
465 /* ./analysis//rta_analysis.nit:89 */
466 REGB0
= CALL_rta_analysis___RtaBuilder___check_method(closctx
->REG
[0])(closctx
->REG
[0], fra
.me
.REG
[0]);
467 if (UNTAG_Bool(REGB0
)) {
468 /* ./analysis//rta_analysis.nit:90 */
469 fra
.me
.REG
[0] = CALL_icode_base___MMMethod___iroutine(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
470 CALL_rta_analysis___RtaBuilder___add_reachable_iroutine(closctx
->REG
[0])(closctx
->REG
[0], fra
.me
.REG
[0]);
472 /* ./analysis//rta_analysis.nit:92 */
473 REGB0
= TAG_Bool(false);
474 closctx
->REG
[2] = REGB0
;
477 stack_frame_head
= fra
.me
.prev
;
480 void OC_rta_analysis___RtaBuilder___check_call_sites_4(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
481 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
484 /* ./analysis//rta_analysis.nit:100 */
485 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
486 fra
.me
.file
= LOCATE_rta_analysis
;
488 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___check_call_sites
;
489 fra
.me
.has_broke
= 0;
491 fra
.me
.REG
[0] = NIT_NULL
;
492 fra
.me
.REG
[1] = NIT_NULL
;
493 fra
.me
.closure_ctx
= closctx_param
;
494 fra
.me
.closure_funs
= CREG
;
497 /* ./analysis//rta_analysis.nit:101 */
498 fra
.me
.REG
[1] = CALL_rta_analysis___RtaBuilder___call_sites(closctx
->REG
[0])(closctx
->REG
[0]);
499 CALL_abstract_collection___RemovableCollection___remove(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
500 stack_frame_head
= fra
.me
.prev
;
503 void rta_analysis___RtaBuilder___add_instantiated_class(val_t p0
, val_t p1
){
504 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
507 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
508 fra
.me
.file
= LOCATE_rta_analysis
;
510 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___add_instantiated_class
;
511 fra
.me
.has_broke
= 0;
513 fra
.me
.REG
[0] = NIT_NULL
;
514 fra
.me
.REG
[1] = NIT_NULL
;
515 fra
.me
.REG
[2] = NIT_NULL
;
518 /* ./analysis//rta_analysis.nit:106 */
519 fra
.me
.REG
[2] = CALL_rta_analysis___RtaBuilder___context(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
520 REGB0
= CALL_instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
521 if (UNTAG_Bool(REGB0
)) {
524 /* ./analysis//rta_analysis.nit:107 */
525 fra
.me
.REG
[2] = CALL_rta_analysis___RtaBuilder___context(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
526 fra
.me
.REG
[2] = CALL_rta_analysis___RtaContext___instanciated_classes(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
527 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
528 /* ./analysis//rta_analysis.nit:109 */
529 CALL_rta_analysis___RtaBuilder___check_call_sites(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
531 stack_frame_head
= fra
.me
.prev
;
534 void rta_analysis___RtaBuilder___add_reachable_call(val_t p0
, val_t p1
){
535 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
538 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
539 fra
.me
.file
= LOCATE_rta_analysis
;
541 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___add_reachable_call
;
542 fra
.me
.has_broke
= 0;
544 fra
.me
.REG
[0] = NIT_NULL
;
545 fra
.me
.REG
[1] = NIT_NULL
;
546 fra
.me
.REG
[2] = NIT_NULL
;
547 fra
.me
.REG
[3] = NIT_NULL
;
550 /* ./analysis//rta_analysis.nit:113 */
551 fra
.me
.REG
[2] = CALL_icode_base___IAbsCall___property(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
552 /* ./analysis//rta_analysis.nit:114 */
553 fra
.me
.REG
[3] = CALL_rta_analysis___RtaBuilder___called_methods(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
554 REGB0
= CALL_abstract_collection___Collection___has(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[2]);
555 if (UNTAG_Bool(REGB0
)) {
558 /* ./analysis//rta_analysis.nit:115 */
559 fra
.me
.REG
[3] = CALL_rta_analysis___RtaBuilder___call_sites(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
560 REGB0
= CALL_abstract_collection___Collection___has(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
561 if (UNTAG_Bool(REGB0
)) {
564 /* ./analysis//rta_analysis.nit:117 */
565 fra
.me
.REG
[3] = CALL_abstractmetamodel___MMLocalProperty___global(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
566 REGB0
= CALL_abstractmetamodel___MMGlobalProperty___is_init(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
567 if (UNTAG_Bool(REGB0
)) {
568 /* ./analysis//rta_analysis.nit:118 */
569 fra
.me
.REG
[3] = CALL_rta_analysis___RtaBuilder___called_methods(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
570 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[2]);
571 /* ./analysis//rta_analysis.nit:119 */
572 fra
.me
.REG
[3] = CALL_icode_base___MMMethod___iroutine(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
573 CALL_rta_analysis___RtaBuilder___add_reachable_iroutine(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3]);
575 /* ./analysis//rta_analysis.nit:125 */
576 fra
.me
.REG
[3] = CALL_rta_analysis___RtaBuilder___call_sites(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
577 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[1]);
578 /* ./analysis//rta_analysis.nit:126 */
579 fra
.me
.REG
[1] = CALL_rta_analysis___RtaBuilder___called_methods(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
580 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
581 /* ./analysis//rta_analysis.nit:127 */
582 CALL_rta_analysis___RtaBuilder___check_call_sites(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
585 stack_frame_head
= fra
.me
.prev
;
588 void rta_analysis___RtaBuilder___add_reachable_iroutine(val_t p0
, val_t p1
){
589 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
593 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
594 fra
.me
.file
= LOCATE_rta_analysis
;
596 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___add_reachable_iroutine
;
597 fra
.me
.has_broke
= 0;
599 fra
.me
.REG
[0] = NIT_NULL
;
600 fra
.me
.REG
[1] = NIT_NULL
;
601 fra
.me
.REG
[2] = NIT_NULL
;
604 /* ./analysis//rta_analysis.nit:132 */
605 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
606 if (UNTAG_Bool(REGB0
)) {
608 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
609 if (UNTAG_Bool(REGB1
)) {
610 REGB1
= TAG_Bool(false);
613 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], NIT_NULL
);
617 if (UNTAG_Bool(REGB0
)) {
618 REGB0
= TAG_Bool(true);
620 fra
.me
.REG
[2] = CALL_rta_analysis___RtaBuilder___context(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
621 REGB1
= CALL_reachable_method_analysis___ReachableMethodAnalysis___is_iroutine_reachable(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
624 if (UNTAG_Bool(REGB0
)) {
627 /* ./analysis//rta_analysis.nit:133 */
628 fra
.me
.REG
[2] = CALL_rta_analysis___RtaBuilder___context(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
629 fra
.me
.REG
[2] = CALL_rta_analysis___RtaContext___reachable_iroutines(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
630 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
631 /* ./analysis//rta_analysis.nit:134 */
632 fra
.me
.REG
[0] = CALL_rta_analysis___RtaBuilder___iroutine_to_search(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
633 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
635 stack_frame_head
= fra
.me
.prev
;
638 void rta_analysis___RtaBuilder___force_some_type_analysis(val_t p0
){
639 struct {struct stack_frame_t me
; val_t MORE_REG
[5];} fra
;
643 static val_t once_value_1
; /* Once value */
644 static val_t once_value_2
; /* Once value */
645 static val_t once_value_3
; /* Once value */
646 static val_t once_value_4
; /* Once value */
647 static val_t once_value_5
; /* Once value */
648 static val_t once_value_6
; /* Once value */
649 static val_t once_value_7
; /* Once value */
650 static val_t once_value_8
; /* Once value */
651 static val_t once_value_9
; /* Once value */
652 static val_t once_value_10
; /* Once value */
653 static val_t once_value_13
; /* Once value */
654 static val_t once_value_14
; /* Once value */
655 static val_t once_value_16
; /* Once value */
656 static val_t once_value_17
; /* Once value */
657 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
658 fra
.me
.file
= LOCATE_rta_analysis
;
660 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___force_some_type_analysis
;
661 fra
.me
.has_broke
= 0;
663 fra
.me
.REG
[0] = NIT_NULL
;
664 fra
.me
.REG
[1] = NIT_NULL
;
665 fra
.me
.REG
[2] = NIT_NULL
;
666 fra
.me
.REG
[3] = NIT_NULL
;
667 fra
.me
.REG
[4] = NIT_NULL
;
668 fra
.me
.REG
[5] = NIT_NULL
;
670 /* ./analysis//rta_analysis.nit:139 */
672 fra
.me
.REG
[1] = NEW_Array_array___Array___with_capacity(REGB0
);
674 fra
.me
.REG
[2] = BOX_NativeString("Object");
676 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
677 once_value_1
= fra
.me
.REG
[2];
678 register_static_object(&once_value_1
);
679 } else fra
.me
.REG
[2] = once_value_1
;
680 fra
.me
.REG
[2] = fra
.me
.REG
[2];
681 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
683 fra
.me
.REG
[2] = BOX_NativeString("Bool");
685 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
686 once_value_2
= fra
.me
.REG
[2];
687 register_static_object(&once_value_2
);
688 } else fra
.me
.REG
[2] = once_value_2
;
689 fra
.me
.REG
[2] = fra
.me
.REG
[2];
690 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
692 fra
.me
.REG
[2] = BOX_NativeString("Float");
694 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
695 once_value_3
= fra
.me
.REG
[2];
696 register_static_object(&once_value_3
);
697 } else fra
.me
.REG
[2] = once_value_3
;
698 fra
.me
.REG
[2] = fra
.me
.REG
[2];
699 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
701 fra
.me
.REG
[2] = BOX_NativeString("Int");
703 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
704 once_value_4
= fra
.me
.REG
[2];
705 register_static_object(&once_value_4
);
706 } else fra
.me
.REG
[2] = once_value_4
;
707 fra
.me
.REG
[2] = fra
.me
.REG
[2];
708 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
710 fra
.me
.REG
[2] = BOX_NativeString("String");
712 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
713 once_value_5
= fra
.me
.REG
[2];
714 register_static_object(&once_value_5
);
715 } else fra
.me
.REG
[2] = once_value_5
;
716 fra
.me
.REG
[2] = fra
.me
.REG
[2];
717 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
719 fra
.me
.REG
[2] = BOX_NativeString("NativeString");
721 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
722 once_value_6
= fra
.me
.REG
[2];
723 register_static_object(&once_value_6
);
724 } else fra
.me
.REG
[2] = once_value_6
;
725 fra
.me
.REG
[2] = fra
.me
.REG
[2];
726 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
728 fra
.me
.REG
[2] = BOX_NativeString("Range");
730 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
731 once_value_7
= fra
.me
.REG
[2];
732 register_static_object(&once_value_7
);
733 } else fra
.me
.REG
[2] = once_value_7
;
734 fra
.me
.REG
[2] = fra
.me
.REG
[2];
735 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
737 fra
.me
.REG
[2] = BOX_NativeString("Array");
739 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
740 once_value_8
= fra
.me
.REG
[2];
741 register_static_object(&once_value_8
);
742 } else fra
.me
.REG
[2] = once_value_8
;
743 fra
.me
.REG
[2] = fra
.me
.REG
[2];
744 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
746 fra
.me
.REG
[2] = BOX_NativeString("ArrayIterator");
748 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
749 once_value_9
= fra
.me
.REG
[2];
750 register_static_object(&once_value_9
);
751 } else fra
.me
.REG
[2] = once_value_9
;
752 fra
.me
.REG
[2] = fra
.me
.REG
[2];
753 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
754 if (!once_value_10
) {
755 fra
.me
.REG
[2] = BOX_NativeString("Inline__");
757 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
758 once_value_10
= fra
.me
.REG
[2];
759 register_static_object(&once_value_10
);
760 } else fra
.me
.REG
[2] = once_value_10
;
761 fra
.me
.REG
[2] = fra
.me
.REG
[2];
762 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
763 /* ./../lib/standard//collection//array.nit:234 */
765 /* ./../lib/standard//collection//array.nit:235 */
766 REGB1
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[1])!=NIT_NULL
);
767 if (UNTAG_Bool(REGB1
)) {
769 nit_abort("Uninitialized attribute %s", "_length", LOCATE_array
, 235);
771 REGB1
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[1]);
772 /* ./../lib/standard//collection//array.nit:236 */
773 fra
.me
.REG
[2] = ATTR_array___Array____items(fra
.me
.REG
[1]);
774 /* ./../lib/standard//collection//array.nit:237 */
776 /* ./../lib/standard//collection//array.nit:23 */
777 REGB1
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[1])!=NIT_NULL
);
778 if (UNTAG_Bool(REGB1
)) {
780 nit_abort("Uninitialized attribute %s", "_length", LOCATE_array
, 23);
782 REGB1
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[1]);
783 /* ./../lib/standard//kernel.nit:212 */
784 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
785 /* ./../lib/standard//collection//array.nit:237 */
786 if (UNTAG_Bool(REGB1
)) {
787 /* ./../lib/standard//collection//array.nit:238 */
788 REGB1
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
789 if (UNTAG_Bool(REGB1
)) {
790 nit_abort("Reciever is null", NULL
, LOCATE_array
, 238);
792 /* ./../lib/standard//collection//array.nit:654 */
793 fra
.me
.REG
[3] = ((Nit_NativeArray
)fra
.me
.REG
[2])->val
[UNTAG_Int(REGB0
)];
794 /* ./analysis//rta_analysis.nit:142 */
795 fra
.me
.REG
[4] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
796 fra
.me
.REG
[4] = CALL_program___Program___main_module(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
797 fra
.me
.REG
[5] = CALL_symbol___String___to_symbol(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
798 REGB1
= CALL_abstractmetamodel___MMModule___has_global_class_named(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[5]);
799 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
800 if (UNTAG_Bool(REGB1
)) {
803 /* ./analysis//rta_analysis.nit:143 */
804 fra
.me
.REG
[5] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
805 fra
.me
.REG
[5] = CALL_program___Program___main_module(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
806 fra
.me
.REG
[3] = CALL_symbol___String___to_symbol(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
807 fra
.me
.REG
[3] = CALL_abstractmetamodel___MMModule___class_by_name(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[3]);
808 /* ./analysis//rta_analysis.nit:144 */
809 CALL_rta_analysis___RtaBuilder___add_instantiated_class(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3]);
811 /* ./../lib/standard//collection//array.nit:239 */
813 /* ./../lib/standard//kernel.nit:215 */
814 REGB1
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB1
));
815 /* ./../lib/standard//collection//array.nit:239 */
818 /* ./../lib/standard//collection//array.nit:237 */
823 /* ./analysis//rta_analysis.nit:147 */
824 fra
.me
.REG
[2] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
825 fra
.me
.REG
[2] = CALL_program___Program___main_module(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
826 if (!once_value_13
) {
827 fra
.me
.REG
[1] = BOX_NativeString("Inline__");
829 fra
.me
.REG
[1] = NEW_String_string___String___with_native(fra
.me
.REG
[1], REGB0
);
830 once_value_13
= fra
.me
.REG
[1];
831 register_static_object(&once_value_13
);
832 } else fra
.me
.REG
[1] = once_value_13
;
833 fra
.me
.REG
[1] = fra
.me
.REG
[1];
834 fra
.me
.REG
[1] = CALL_symbol___String___to_symbol(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
835 REGB0
= CALL_abstractmetamodel___MMModule___has_global_class_named(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
836 if (UNTAG_Bool(REGB0
)) {
837 /* ./analysis//rta_analysis.nit:148 */
838 fra
.me
.REG
[1] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
839 fra
.me
.REG
[1] = CALL_program___Program___main_module(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
840 if (!once_value_14
) {
841 fra
.me
.REG
[2] = BOX_NativeString("Inline__");
843 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
844 once_value_14
= fra
.me
.REG
[2];
845 register_static_object(&once_value_14
);
846 } else fra
.me
.REG
[2] = once_value_14
;
847 fra
.me
.REG
[2] = fra
.me
.REG
[2];
848 fra
.me
.REG
[2] = CALL_symbol___String___to_symbol(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
849 fra
.me
.REG
[2] = CALL_abstractmetamodel___MMModule___class_by_name(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
850 /* ./analysis//rta_analysis.nit:152 */
851 fra
.me
.REG
[2] = CALL_abstractmetamodel___MMLocalClass___cshe(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
852 fra
.me
.REG
[2] = CALL_partial_order___PartialOrderElement___smallers(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
853 CALL_abstract_collection___Collection___iterate(fra
.me
.REG
[2])(fra
.me
.REG
[2], (&(fra
.me
)), ((fun_t
)OC_rta_analysis___RtaBuilder___force_some_type_analysis_15
));
855 /* ./analysis//rta_analysis.nit:157 */
856 fra
.me
.REG
[2] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
857 fra
.me
.REG
[2] = CALL_program___Program___main_module(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
858 if (!once_value_16
) {
859 fra
.me
.REG
[1] = BOX_NativeString("Pointer");
861 fra
.me
.REG
[1] = NEW_String_string___String___with_native(fra
.me
.REG
[1], REGB0
);
862 once_value_16
= fra
.me
.REG
[1];
863 register_static_object(&once_value_16
);
864 } else fra
.me
.REG
[1] = once_value_16
;
865 fra
.me
.REG
[1] = fra
.me
.REG
[1];
866 fra
.me
.REG
[1] = CALL_symbol___String___to_symbol(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
867 REGB0
= CALL_abstractmetamodel___MMModule___has_global_class_named(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
868 if (UNTAG_Bool(REGB0
)) {
869 /* ./analysis//rta_analysis.nit:158 */
870 fra
.me
.REG
[1] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
871 fra
.me
.REG
[1] = CALL_program___Program___main_module(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
872 if (!once_value_17
) {
873 fra
.me
.REG
[2] = BOX_NativeString("Pointer");
875 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
876 once_value_17
= fra
.me
.REG
[2];
877 register_static_object(&once_value_17
);
878 } else fra
.me
.REG
[2] = once_value_17
;
879 fra
.me
.REG
[2] = fra
.me
.REG
[2];
880 fra
.me
.REG
[2] = CALL_symbol___String___to_symbol(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
881 fra
.me
.REG
[2] = CALL_abstractmetamodel___MMModule___class_by_name(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
882 /* ./analysis//rta_analysis.nit:162 */
883 fra
.me
.REG
[2] = CALL_abstractmetamodel___MMLocalClass___cshe(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
884 fra
.me
.REG
[2] = CALL_partial_order___PartialOrderElement___smallers(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
885 CALL_abstract_collection___Collection___iterate(fra
.me
.REG
[2])(fra
.me
.REG
[2], (&(fra
.me
)), ((fun_t
)OC_rta_analysis___RtaBuilder___force_some_type_analysis_18
));
887 /* ./analysis//rta_analysis.nit:167 */
888 fra
.me
.REG
[2] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
889 fra
.me
.REG
[2] = CALL_program___Program___main_module(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
890 fra
.me
.REG
[2] = CALL_abstractmetamodel___MMModule___global_classes(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
891 CALL_abstract_collection___Collection___iterate(fra
.me
.REG
[2])(fra
.me
.REG
[2], (&(fra
.me
)), ((fun_t
)OC_rta_analysis___RtaBuilder___force_some_type_analysis_19
));
892 stack_frame_head
= fra
.me
.prev
;
895 void OC_rta_analysis___RtaBuilder___force_some_type_analysis_15(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
896 struct {struct stack_frame_t me
;} fra
;
899 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
900 fra
.me
.file
= LOCATE_rta_analysis
;
902 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___force_some_type_analysis
;
903 fra
.me
.has_broke
= 0;
905 fra
.me
.REG
[0] = NIT_NULL
;
906 fra
.me
.closure_ctx
= closctx_param
;
907 fra
.me
.closure_funs
= CREG
;
910 /* ./analysis//rta_analysis.nit:153 */
911 CALL_rta_analysis___RtaBuilder___add_instantiated_class(closctx
->REG
[0])(closctx
->REG
[0], fra
.me
.REG
[0]);
912 stack_frame_head
= fra
.me
.prev
;
915 void OC_rta_analysis___RtaBuilder___force_some_type_analysis_18(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
916 struct {struct stack_frame_t me
;} fra
;
919 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
920 fra
.me
.file
= LOCATE_rta_analysis
;
922 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___force_some_type_analysis
;
923 fra
.me
.has_broke
= 0;
925 fra
.me
.REG
[0] = NIT_NULL
;
926 fra
.me
.closure_ctx
= closctx_param
;
927 fra
.me
.closure_funs
= CREG
;
930 /* ./analysis//rta_analysis.nit:163 */
931 CALL_rta_analysis___RtaBuilder___add_instantiated_class(closctx
->REG
[0])(closctx
->REG
[0], fra
.me
.REG
[0]);
932 stack_frame_head
= fra
.me
.prev
;
935 void OC_rta_analysis___RtaBuilder___force_some_type_analysis_19(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
936 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
941 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
942 fra
.me
.file
= LOCATE_rta_analysis
;
944 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___force_some_type_analysis
;
945 fra
.me
.has_broke
= 0;
947 fra
.me
.REG
[0] = NIT_NULL
;
948 fra
.me
.REG
[1] = NIT_NULL
;
949 fra
.me
.closure_ctx
= closctx_param
;
950 fra
.me
.closure_funs
= CREG
;
953 /* ./analysis//rta_analysis.nit:168 */
954 REGB0
= CALL_abstractmetamodel___MMGlobalClass___is_enum(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
955 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
956 if (UNTAG_Bool(REGB0
)) {
957 REGB0
= CALL_abstractmetamodel___MMGlobalClass___is_extern(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
958 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
960 REGB1
= TAG_Bool(false);
963 if (UNTAG_Bool(REGB0
)) {
966 /* ./analysis//rta_analysis.nit:169 */
967 fra
.me
.REG
[1] = CALL_rta_analysis___RtaBuilder___program(closctx
->REG
[0])(closctx
->REG
[0]);
968 fra
.me
.REG
[1] = CALL_program___Program___main_module(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
969 fra
.me
.REG
[0] = CALL_abstractmetamodel___MMModule_____bra(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
970 CALL_rta_analysis___RtaBuilder___add_instantiated_class(closctx
->REG
[0])(closctx
->REG
[0], fra
.me
.REG
[0]);
972 stack_frame_head
= fra
.me
.prev
;
975 void rta_analysis___RtaBuilder___work(val_t p0
){
976 struct {struct stack_frame_t me
; val_t MORE_REG
[5];} fra
;
980 static val_t once_value_1
; /* Once value */
981 static val_t once_value_2
; /* Once value */
982 static val_t once_value_3
; /* Once value */
983 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
984 fra
.me
.file
= LOCATE_rta_analysis
;
986 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___work
;
987 fra
.me
.has_broke
= 0;
989 fra
.me
.REG
[0] = NIT_NULL
;
990 fra
.me
.REG
[1] = NIT_NULL
;
991 fra
.me
.REG
[2] = NIT_NULL
;
992 fra
.me
.REG
[3] = NIT_NULL
;
993 fra
.me
.REG
[4] = NIT_NULL
;
994 fra
.me
.REG
[5] = NIT_NULL
;
996 /* ./analysis//rta_analysis.nit:175 */
997 fra
.me
.REG
[1] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
998 fra
.me
.REG
[1] = CALL_program___Program___main_method(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
999 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
1000 if (UNTAG_Bool(REGB0
)) {
1002 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
1003 if (UNTAG_Bool(REGB1
)) {
1004 REGB1
= TAG_Bool(false);
1007 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], NIT_NULL
);
1011 if (UNTAG_Bool(REGB0
)) {
1012 /* ./analysis//rta_analysis.nit:177 */
1014 fra
.me
.REG
[1] = NEW_Array_array___Array___with_capacity(REGB0
);
1015 if (!once_value_1
) {
1016 fra
.me
.REG
[2] = BOX_NativeString("Int");
1018 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
1019 once_value_1
= fra
.me
.REG
[2];
1020 register_static_object(&once_value_1
);
1021 } else fra
.me
.REG
[2] = once_value_1
;
1022 fra
.me
.REG
[2] = fra
.me
.REG
[2];
1023 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
1024 if (!once_value_2
) {
1025 fra
.me
.REG
[2] = BOX_NativeString("Char");
1027 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
1028 once_value_2
= fra
.me
.REG
[2];
1029 register_static_object(&once_value_2
);
1030 } else fra
.me
.REG
[2] = once_value_2
;
1031 fra
.me
.REG
[2] = fra
.me
.REG
[2];
1032 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
1033 if (!once_value_3
) {
1034 fra
.me
.REG
[2] = BOX_NativeString("Bool");
1036 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
1037 once_value_3
= fra
.me
.REG
[2];
1038 register_static_object(&once_value_3
);
1039 } else fra
.me
.REG
[2] = once_value_3
;
1040 fra
.me
.REG
[2] = fra
.me
.REG
[2];
1041 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
1042 /* ./../lib/standard//collection//array.nit:234 */
1044 /* ./../lib/standard//collection//array.nit:235 */
1045 REGB1
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[1])!=NIT_NULL
);
1046 if (UNTAG_Bool(REGB1
)) {
1048 nit_abort("Uninitialized attribute %s", "_length", LOCATE_array
, 235);
1050 REGB1
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[1]);
1051 /* ./../lib/standard//collection//array.nit:236 */
1052 fra
.me
.REG
[2] = ATTR_array___Array____items(fra
.me
.REG
[1]);
1053 /* ./../lib/standard//collection//array.nit:237 */
1055 /* ./../lib/standard//collection//array.nit:23 */
1056 REGB1
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[1])!=NIT_NULL
);
1057 if (UNTAG_Bool(REGB1
)) {
1059 nit_abort("Uninitialized attribute %s", "_length", LOCATE_array
, 23);
1061 REGB1
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[1]);
1062 /* ./../lib/standard//kernel.nit:212 */
1063 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1064 /* ./../lib/standard//collection//array.nit:237 */
1065 if (UNTAG_Bool(REGB1
)) {
1066 /* ./../lib/standard//collection//array.nit:238 */
1067 REGB1
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
1068 if (UNTAG_Bool(REGB1
)) {
1069 nit_abort("Reciever is null", NULL
, LOCATE_array
, 238);
1071 /* ./../lib/standard//collection//array.nit:654 */
1072 fra
.me
.REG
[3] = ((Nit_NativeArray
)fra
.me
.REG
[2])->val
[UNTAG_Int(REGB0
)];
1073 /* ./analysis//rta_analysis.nit:178 */
1074 fra
.me
.REG
[4] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1075 fra
.me
.REG
[4] = CALL_program___Program___main_module(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1076 fra
.me
.REG
[5] = CALL_symbol___String___to_symbol(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1077 REGB1
= CALL_abstractmetamodel___MMModule___has_global_class_named(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[5]);
1078 if (UNTAG_Bool(REGB1
)) {
1079 /* ./analysis//rta_analysis.nit:179 */
1080 fra
.me
.REG
[5] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1081 fra
.me
.REG
[5] = CALL_program___Program___main_module(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1082 fra
.me
.REG
[3] = CALL_symbol___String___to_symbol(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1083 fra
.me
.REG
[3] = CALL_abstractmetamodel___MMModule___class_by_name(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[3]);
1084 CALL_rta_analysis___RtaBuilder___add_instantiated_class(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3]);
1086 /* ./../lib/standard//collection//array.nit:239 */
1088 /* ./../lib/standard//kernel.nit:215 */
1089 REGB1
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB1
));
1090 /* ./../lib/standard//collection//array.nit:239 */
1093 /* ./../lib/standard//collection//array.nit:237 */
1098 /* ./analysis//rta_analysis.nit:182 */
1101 /* ./analysis//rta_analysis.nit:185 */
1102 fra
.me
.REG
[2] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1103 fra
.me
.REG
[2] = CALL_program___Program___main_class(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1104 REGB0
= TAG_Bool((fra
.me
.REG
[2]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[2], COLOR_MMLocalClass
, ID_MMLocalClass
)) /*cast MMLocalClass*/;
1105 if (UNTAG_Bool(REGB0
)) {
1107 nit_abort("Cast failed", NULL
, LOCATE_rta_analysis
, 185);
1109 CALL_rta_analysis___RtaBuilder___add_instantiated_class(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[2]);
1110 /* ./analysis//rta_analysis.nit:186 */
1111 fra
.me
.REG
[2] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1112 fra
.me
.REG
[2] = CALL_program___Program___main_method(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1113 REGB0
= TAG_Bool((fra
.me
.REG
[2]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[2], COLOR_MMMethod
, ID_MMMethod
)) /*cast MMMethod*/;
1114 if (UNTAG_Bool(REGB0
)) {
1116 nit_abort("Cast failed", NULL
, LOCATE_rta_analysis
, 186);
1118 REGB0
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
1119 if (UNTAG_Bool(REGB0
)) {
1120 nit_abort("Reciever is null", NULL
, LOCATE_rta_analysis
, 186);
1122 fra
.me
.REG
[2] = CALL_icode_base___MMMethod___iroutine(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1123 CALL_rta_analysis___RtaBuilder___add_reachable_iroutine(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[2]);
1124 /* ./analysis//rta_analysis.nit:187 */
1125 CALL_rta_analysis___RtaBuilder___force_some_type_analysis(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1126 /* ./analysis//rta_analysis.nit:189 */
1128 fra
.me
.REG
[2] = CALL_rta_analysis___RtaBuilder___iroutine_to_search(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1129 REGB0
= CALL_abstract_collection___Collection___is_empty(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1130 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
1131 if (UNTAG_Bool(REGB0
)) {
1132 /* ./analysis//rta_analysis.nit:190 */
1133 fra
.me
.REG
[2] = NEW_RtaVisitor_rta_analysis___RtaVisitor___init(fra
.me
.REG
[0]);
1134 /* ./analysis//rta_analysis.nit:191 */
1135 fra
.me
.REG
[1] = CALL_rta_analysis___RtaBuilder___iroutine_to_search(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1136 fra
.me
.REG
[1] = CALL_abstract_collection___Sequence___pop(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1137 /* ./analysis//rta_analysis.nit:192 */
1138 fra
.me
.REG
[1] = CALL_icode_base___IRoutine___body(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1139 CALL_icode_tools___ICodeVisitor___visit_icode(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
1141 /* ./analysis//rta_analysis.nit:189 */
1147 stack_frame_head
= fra
.me
.prev
;
1150 val_t
rta_analysis___RtaVisitor___builder(val_t p0
){
1151 struct {struct stack_frame_t me
;} fra
;
1154 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1155 fra
.me
.file
= LOCATE_rta_analysis
;
1157 fra
.me
.meth
= LOCATE_rta_analysis___RtaVisitor___builder
;
1158 fra
.me
.has_broke
= 0;
1159 fra
.me
.REG_size
= 1;
1160 fra
.me
.REG
[0] = NIT_NULL
;
1162 /* ./analysis//rta_analysis.nit:199 */
1163 REGB0
= TAG_Bool(ATTR_rta_analysis___RtaVisitor____builder(fra
.me
.REG
[0])!=NIT_NULL
);
1164 if (UNTAG_Bool(REGB0
)) {
1166 nit_abort("Uninitialized attribute %s", "_builder", LOCATE_rta_analysis
, 199);
1168 fra
.me
.REG
[0] = ATTR_rta_analysis___RtaVisitor____builder(fra
.me
.REG
[0]);
1169 stack_frame_head
= fra
.me
.prev
;
1170 return fra
.me
.REG
[0];
1172 void rta_analysis___RtaVisitor___visit_icode(val_t p0
, val_t p1
){
1173 struct {struct stack_frame_t me
; val_t MORE_REG
[6];} fra
;
1176 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1177 fra
.me
.file
= LOCATE_rta_analysis
;
1179 fra
.me
.meth
= LOCATE_rta_analysis___RtaVisitor___visit_icode
;
1180 fra
.me
.has_broke
= 0;
1181 fra
.me
.REG_size
= 7;
1182 fra
.me
.REG
[0] = NIT_NULL
;
1183 fra
.me
.REG
[1] = NIT_NULL
;
1184 fra
.me
.REG
[2] = NIT_NULL
;
1185 fra
.me
.REG
[3] = NIT_NULL
;
1186 fra
.me
.REG
[4] = NIT_NULL
;
1187 fra
.me
.REG
[5] = NIT_NULL
;
1188 fra
.me
.REG
[6] = NIT_NULL
;
1191 /* ./analysis//rta_analysis.nit:201 */
1192 fra
.me
.REG
[2] = fra
.me
.REG
[0];
1193 fra
.me
.REG
[3] = fra
.me
.REG
[1];
1194 /* ./analysis//rta_analysis.nit:203 */
1195 REGB0
= TAG_Bool((fra
.me
.REG
[3]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[3], COLOR_IStaticCall
, ID_IStaticCall
)) /*cast IStaticCall*/;
1196 if (UNTAG_Bool(REGB0
)) {
1197 /* ./analysis//rta_analysis.nit:205 */
1198 fra
.me
.REG
[4] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1199 REGB0
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1200 if (UNTAG_Bool(REGB0
)) {
1201 nit_abort("Reciever is null", NULL
, LOCATE_rta_analysis
, 205);
1203 fra
.me
.REG
[5] = CALL_icode_base___IAbsCall___property(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1204 fra
.me
.REG
[5] = CALL_icode_base___MMMethod___iroutine(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1205 CALL_rta_analysis___RtaBuilder___add_reachable_iroutine(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[5]);
1207 /* ./analysis//rta_analysis.nit:206 */
1208 REGB0
= TAG_Bool((fra
.me
.REG
[3]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[3], COLOR_INew
, ID_INew
)) /*cast INew*/;
1209 if (UNTAG_Bool(REGB0
)) {
1210 /* ./analysis//rta_analysis.nit:208 */
1211 REGB0
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1212 if (UNTAG_Bool(REGB0
)) {
1213 nit_abort("Reciever is null", NULL
, LOCATE_rta_analysis
, 208);
1215 fra
.me
.REG
[5] = CALL_icode_base___INew___stype(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1216 /* ./analysis//rta_analysis.nit:209 */
1217 fra
.me
.REG
[4] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1218 fra
.me
.REG
[4] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1219 fra
.me
.REG
[4] = CALL_program___Program___main_module(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1220 fra
.me
.REG
[4] = CALL_static_type___MMType___for_module(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[4]);
1221 fra
.me
.REG
[4] = CALL_static_type___MMType___local_class(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1222 /* ./analysis//rta_analysis.nit:210 */
1223 REGB0
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1224 if (UNTAG_Bool(REGB0
)) {
1225 nit_abort("Reciever is null", NULL
, LOCATE_rta_analysis
, 210);
1227 fra
.me
.REG
[5] = CALL_icode_base___IAbsCall___property(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1228 fra
.me
.REG
[5] = CALL_abstractmetamodel___MMLocalProperty___global(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1229 fra
.me
.REG
[5] = CALL_abstractmetamodel___MMLocalClass_____bra(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[5]);
1230 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[5], COLOR_MMMethod
, ID_MMMethod
)) /*cast MMMethod*/;
1231 if (UNTAG_Bool(REGB0
)) {
1233 nit_abort("Cast failed", NULL
, LOCATE_rta_analysis
, 210);
1235 /* ./analysis//rta_analysis.nit:211 */
1236 fra
.me
.REG
[6] = CALL_program___MMLocalClass___new_instance_iroutine(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1237 fra
.me
.REG
[5] = CALL_abstract_collection___MapRead_____bra(fra
.me
.REG
[6])(fra
.me
.REG
[6], fra
.me
.REG
[5]);
1238 /* ./analysis//rta_analysis.nit:212 */
1239 fra
.me
.REG
[6] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1240 CALL_rta_analysis___RtaBuilder___add_instantiated_class(fra
.me
.REG
[6])(fra
.me
.REG
[6], fra
.me
.REG
[4]);
1241 /* ./analysis//rta_analysis.nit:213 */
1242 fra
.me
.REG
[4] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1243 CALL_rta_analysis___RtaBuilder___add_reachable_iroutine(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[5]);
1245 /* ./analysis//rta_analysis.nit:214 */
1246 REGB0
= TAG_Bool((fra
.me
.REG
[3]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[3], COLOR_ISuper
, ID_ISuper
)) /*cast ISuper*/;
1247 if (UNTAG_Bool(REGB0
)) {
1248 /* ./analysis//rta_analysis.nit:216 */
1249 REGB0
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1250 if (UNTAG_Bool(REGB0
)) {
1251 nit_abort("Reciever is null", NULL
, LOCATE_rta_analysis
, 216);
1253 fra
.me
.REG
[5] = CALL_icode_base___IAbsCall___property(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1254 fra
.me
.REG
[5] = CALL_abstractmetamodel___MMLocalProperty___prhe(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1255 fra
.me
.REG
[5] = CALL_partial_order___PartialOrderElement___greaters_and_self(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1256 CALL_abstract_collection___Collection___iterate(fra
.me
.REG
[5])(fra
.me
.REG
[5], (&(fra
.me
)), ((fun_t
)OC_rta_analysis___RtaVisitor___visit_icode_1
));
1258 /* ./analysis//rta_analysis.nit:221 */
1259 REGB0
= TAG_Bool((fra
.me
.REG
[3]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[3], COLOR_ICall
, ID_ICall
)) /*cast ICall*/;
1260 if (UNTAG_Bool(REGB0
)) {
1261 /* ./analysis//rta_analysis.nit:222 */
1262 fra
.me
.REG
[5] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1263 CALL_rta_analysis___RtaBuilder___add_reachable_call(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[3]);
1265 /* ./analysis//rta_analysis.nit:223 */
1266 REGB0
= TAG_Bool((fra
.me
.REG
[3]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[3], COLOR_ICheckInstance
, ID_ICheckInstance
)) /*cast ICheckInstance*/;
1267 if (UNTAG_Bool(REGB0
)) {
1268 /* ./analysis//rta_analysis.nit:224 */
1269 REGB0
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1270 if (UNTAG_Bool(REGB0
)) {
1271 nit_abort("Reciever is null", NULL
, LOCATE_rta_analysis
, 224);
1273 fra
.me
.REG
[5] = CALL_icode_base___ICheckInstance___stype(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1274 /* ./analysis//rta_analysis.nit:225 */
1275 fra
.me
.REG
[4] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1276 fra
.me
.REG
[4] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1277 fra
.me
.REG
[4] = CALL_program___Program___main_module(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1278 fra
.me
.REG
[4] = CALL_static_type___MMType___for_module(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[4]);
1279 fra
.me
.REG
[4] = CALL_static_type___MMType___local_class(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1280 /* ./analysis//rta_analysis.nit:226 */
1281 fra
.me
.REG
[4] = CALL_program___MMLocalClass___checknew_iroutine(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1282 /* ./analysis//rta_analysis.nit:227 */
1283 fra
.me
.REG
[5] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1284 CALL_rta_analysis___RtaBuilder___add_reachable_iroutine(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[4]);
1286 /* ./analysis//rta_analysis.nit:228 */
1287 REGB0
= TAG_Bool((fra
.me
.REG
[3]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[3], COLOR_IInitAttributes
, ID_IInitAttributes
)) /*cast IInitAttributes*/;
1288 if (UNTAG_Bool(REGB0
)) {
1289 /* ./analysis//rta_analysis.nit:229 */
1290 REGB0
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1291 if (UNTAG_Bool(REGB0
)) {
1292 nit_abort("Reciever is null", NULL
, LOCATE_rta_analysis
, 229);
1294 fra
.me
.REG
[3] = CALL_icode_base___IInitAttributes___stype(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1295 /* ./analysis//rta_analysis.nit:230 */
1296 fra
.me
.REG
[4] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1297 fra
.me
.REG
[4] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1298 fra
.me
.REG
[4] = CALL_program___Program___main_module(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1299 fra
.me
.REG
[4] = CALL_static_type___MMType___for_module(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
1300 fra
.me
.REG
[4] = CALL_static_type___MMType___local_class(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1301 /* ./analysis//rta_analysis.nit:231 */
1302 fra
.me
.REG
[4] = CALL_program___MMLocalClass___init_var_iroutine(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1303 /* ./analysis//rta_analysis.nit:232 */
1304 fra
.me
.REG
[2] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1305 CALL_rta_analysis___RtaBuilder___add_reachable_iroutine(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[4]);
1312 /* ./analysis//rta_analysis.nit:234 */
1313 CALL_SUPER_rta_analysis___RtaVisitor___visit_icode(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
1314 stack_frame_head
= fra
.me
.prev
;
1317 void OC_rta_analysis___RtaVisitor___visit_icode_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
1318 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
1322 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1323 fra
.me
.file
= LOCATE_rta_analysis
;
1325 fra
.me
.meth
= LOCATE_rta_analysis___RtaVisitor___visit_icode
;
1326 fra
.me
.has_broke
= 0;
1327 fra
.me
.REG_size
= 2;
1328 fra
.me
.REG
[0] = NIT_NULL
;
1329 fra
.me
.REG
[1] = NIT_NULL
;
1330 fra
.me
.closure_ctx
= closctx_param
;
1331 fra
.me
.closure_funs
= CREG
;
1333 CREG
[0] = clos_fun0
;
1334 /* ./analysis//rta_analysis.nit:217 */
1335 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[0], COLOR_MMMethod
, ID_MMMethod
)) /*cast MMMethod*/;
1336 if (UNTAG_Bool(REGB0
)) {
1337 /* ./analysis//rta_analysis.nit:218 */
1338 fra
.me
.REG
[1] = CALL_rta_analysis___RtaVisitor___builder(closctx
->REG
[2])(closctx
->REG
[2]);
1339 fra
.me
.REG
[0] = CALL_icode_base___MMMethod___iroutine(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1340 CALL_rta_analysis___RtaBuilder___add_reachable_iroutine(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
1342 stack_frame_head
= fra
.me
.prev
;
1345 void rta_analysis___RtaVisitor___init(val_t p0
, val_t p1
, int* init_table
){
1346 int itpos2
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_RtaVisitor
].i
;
1347 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
1349 if (init_table
[itpos2
]) return;
1350 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1351 fra
.me
.file
= LOCATE_rta_analysis
;
1353 fra
.me
.meth
= LOCATE_rta_analysis___RtaVisitor___init
;
1354 fra
.me
.has_broke
= 0;
1355 fra
.me
.REG_size
= 3;
1356 fra
.me
.REG
[0] = NIT_NULL
;
1357 fra
.me
.REG
[1] = NIT_NULL
;
1358 fra
.me
.REG
[2] = NIT_NULL
;
1361 /* ./analysis//rta_analysis.nit:237 */
1362 fra
.me
.REG
[2] = fra
.me
.REG
[0];
1363 CALL_icode_tools___ICodeVisitor___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], init_table
);
1364 /* ./analysis//rta_analysis.nit:239 */
1365 ATTR_rta_analysis___RtaVisitor____builder(fra
.me
.REG
[2]) = fra
.me
.REG
[1];
1366 stack_frame_head
= fra
.me
.prev
;
1367 init_table
[itpos2
] = 1;