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
;
940 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
941 fra
.me
.file
= LOCATE_rta_analysis
;
943 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___force_some_type_analysis
;
944 fra
.me
.has_broke
= 0;
946 fra
.me
.REG
[0] = NIT_NULL
;
947 fra
.me
.REG
[1] = NIT_NULL
;
948 fra
.me
.closure_ctx
= closctx_param
;
949 fra
.me
.closure_funs
= CREG
;
952 /* ./analysis//rta_analysis.nit:168 */
953 REGB0
= CALL_abstractmetamodel___MMGlobalClass___is_universal(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
954 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
955 if (UNTAG_Bool(REGB0
)) {
958 /* ./analysis//rta_analysis.nit:169 */
959 fra
.me
.REG
[1] = CALL_rta_analysis___RtaBuilder___program(closctx
->REG
[0])(closctx
->REG
[0]);
960 fra
.me
.REG
[1] = CALL_program___Program___main_module(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
961 fra
.me
.REG
[0] = CALL_abstractmetamodel___MMModule_____bra(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
962 CALL_rta_analysis___RtaBuilder___add_instantiated_class(closctx
->REG
[0])(closctx
->REG
[0], fra
.me
.REG
[0]);
964 stack_frame_head
= fra
.me
.prev
;
967 void rta_analysis___RtaBuilder___work(val_t p0
){
968 struct {struct stack_frame_t me
; val_t MORE_REG
[5];} fra
;
972 static val_t once_value_1
; /* Once value */
973 static val_t once_value_2
; /* Once value */
974 static val_t once_value_3
; /* Once value */
975 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
976 fra
.me
.file
= LOCATE_rta_analysis
;
978 fra
.me
.meth
= LOCATE_rta_analysis___RtaBuilder___work
;
979 fra
.me
.has_broke
= 0;
981 fra
.me
.REG
[0] = NIT_NULL
;
982 fra
.me
.REG
[1] = NIT_NULL
;
983 fra
.me
.REG
[2] = NIT_NULL
;
984 fra
.me
.REG
[3] = NIT_NULL
;
985 fra
.me
.REG
[4] = NIT_NULL
;
986 fra
.me
.REG
[5] = NIT_NULL
;
988 /* ./analysis//rta_analysis.nit:175 */
989 fra
.me
.REG
[1] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
990 fra
.me
.REG
[1] = CALL_program___Program___main_method(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
991 REGB0
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
992 if (UNTAG_Bool(REGB0
)) {
994 REGB1
= TAG_Bool(fra
.me
.REG
[1]==NIT_NULL
);
995 if (UNTAG_Bool(REGB1
)) {
996 REGB1
= TAG_Bool(false);
999 REGB1
= CALL_kernel___Object_____eqeq(fra
.me
.REG
[1])(fra
.me
.REG
[1], NIT_NULL
);
1003 if (UNTAG_Bool(REGB0
)) {
1004 /* ./analysis//rta_analysis.nit:177 */
1006 fra
.me
.REG
[1] = NEW_Array_array___Array___with_capacity(REGB0
);
1007 if (!once_value_1
) {
1008 fra
.me
.REG
[2] = BOX_NativeString("Int");
1010 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
1011 once_value_1
= fra
.me
.REG
[2];
1012 register_static_object(&once_value_1
);
1013 } else fra
.me
.REG
[2] = once_value_1
;
1014 fra
.me
.REG
[2] = fra
.me
.REG
[2];
1015 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
1016 if (!once_value_2
) {
1017 fra
.me
.REG
[2] = BOX_NativeString("Char");
1019 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
1020 once_value_2
= fra
.me
.REG
[2];
1021 register_static_object(&once_value_2
);
1022 } else fra
.me
.REG
[2] = once_value_2
;
1023 fra
.me
.REG
[2] = fra
.me
.REG
[2];
1024 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
1025 if (!once_value_3
) {
1026 fra
.me
.REG
[2] = BOX_NativeString("Bool");
1028 fra
.me
.REG
[2] = NEW_String_string___String___with_native(fra
.me
.REG
[2], REGB0
);
1029 once_value_3
= fra
.me
.REG
[2];
1030 register_static_object(&once_value_3
);
1031 } else fra
.me
.REG
[2] = once_value_3
;
1032 fra
.me
.REG
[2] = fra
.me
.REG
[2];
1033 CALL_abstract_collection___SimpleCollection___add(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[2]);
1034 /* ./../lib/standard//collection//array.nit:234 */
1036 /* ./../lib/standard//collection//array.nit:235 */
1037 REGB1
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[1])!=NIT_NULL
);
1038 if (UNTAG_Bool(REGB1
)) {
1040 nit_abort("Uninitialized attribute %s", "_length", LOCATE_array
, 235);
1042 REGB1
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[1]);
1043 /* ./../lib/standard//collection//array.nit:236 */
1044 fra
.me
.REG
[2] = ATTR_array___Array____items(fra
.me
.REG
[1]);
1045 /* ./../lib/standard//collection//array.nit:237 */
1047 /* ./../lib/standard//collection//array.nit:23 */
1048 REGB1
= TAG_Bool(ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[1])!=NIT_NULL
);
1049 if (UNTAG_Bool(REGB1
)) {
1051 nit_abort("Uninitialized attribute %s", "_length", LOCATE_array
, 23);
1053 REGB1
= ATTR_array___AbstractArrayRead____length(fra
.me
.REG
[1]);
1054 /* ./../lib/standard//kernel.nit:212 */
1055 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1056 /* ./../lib/standard//collection//array.nit:237 */
1057 if (UNTAG_Bool(REGB1
)) {
1058 /* ./../lib/standard//collection//array.nit:238 */
1059 REGB1
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
1060 if (UNTAG_Bool(REGB1
)) {
1061 nit_abort("Reciever is null", NULL
, LOCATE_array
, 238);
1063 /* ./../lib/standard//collection//array.nit:654 */
1064 fra
.me
.REG
[3] = ((Nit_NativeArray
)fra
.me
.REG
[2])->val
[UNTAG_Int(REGB0
)];
1065 /* ./analysis//rta_analysis.nit:178 */
1066 fra
.me
.REG
[4] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1067 fra
.me
.REG
[4] = CALL_program___Program___main_module(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1068 fra
.me
.REG
[5] = CALL_symbol___String___to_symbol(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1069 REGB1
= CALL_abstractmetamodel___MMModule___has_global_class_named(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[5]);
1070 if (UNTAG_Bool(REGB1
)) {
1071 /* ./analysis//rta_analysis.nit:179 */
1072 fra
.me
.REG
[5] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1073 fra
.me
.REG
[5] = CALL_program___Program___main_module(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1074 fra
.me
.REG
[3] = CALL_symbol___String___to_symbol(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1075 fra
.me
.REG
[3] = CALL_abstractmetamodel___MMModule___class_by_name(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[3]);
1076 CALL_rta_analysis___RtaBuilder___add_instantiated_class(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3]);
1078 /* ./../lib/standard//collection//array.nit:239 */
1080 /* ./../lib/standard//kernel.nit:215 */
1081 REGB1
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB1
));
1082 /* ./../lib/standard//collection//array.nit:239 */
1085 /* ./../lib/standard//collection//array.nit:237 */
1090 /* ./analysis//rta_analysis.nit:182 */
1093 /* ./analysis//rta_analysis.nit:185 */
1094 fra
.me
.REG
[2] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1095 fra
.me
.REG
[2] = CALL_program___Program___main_class(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1096 REGB0
= TAG_Bool((fra
.me
.REG
[2]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[2], COLOR_MMLocalClass
, ID_MMLocalClass
)) /*cast MMLocalClass*/;
1097 if (UNTAG_Bool(REGB0
)) {
1099 nit_abort("Cast failed", NULL
, LOCATE_rta_analysis
, 185);
1101 CALL_rta_analysis___RtaBuilder___add_instantiated_class(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[2]);
1102 /* ./analysis//rta_analysis.nit:186 */
1103 fra
.me
.REG
[2] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1104 fra
.me
.REG
[2] = CALL_program___Program___main_method(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1105 REGB0
= TAG_Bool((fra
.me
.REG
[2]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[2], COLOR_MMMethod
, ID_MMMethod
)) /*cast MMMethod*/;
1106 if (UNTAG_Bool(REGB0
)) {
1108 nit_abort("Cast failed", NULL
, LOCATE_rta_analysis
, 186);
1110 REGB0
= TAG_Bool(fra
.me
.REG
[2]==NIT_NULL
);
1111 if (UNTAG_Bool(REGB0
)) {
1112 nit_abort("Reciever is null", NULL
, LOCATE_rta_analysis
, 186);
1114 fra
.me
.REG
[2] = CALL_icode_base___MMMethod___iroutine(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1115 CALL_rta_analysis___RtaBuilder___add_reachable_iroutine(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[2]);
1116 /* ./analysis//rta_analysis.nit:187 */
1117 CALL_rta_analysis___RtaBuilder___force_some_type_analysis(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1118 /* ./analysis//rta_analysis.nit:189 */
1120 fra
.me
.REG
[2] = CALL_rta_analysis___RtaBuilder___iroutine_to_search(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1121 REGB0
= CALL_abstract_collection___Collection___is_empty(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1122 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
1123 if (UNTAG_Bool(REGB0
)) {
1124 /* ./analysis//rta_analysis.nit:190 */
1125 fra
.me
.REG
[2] = NEW_RtaVisitor_rta_analysis___RtaVisitor___init(fra
.me
.REG
[0]);
1126 /* ./analysis//rta_analysis.nit:191 */
1127 fra
.me
.REG
[1] = CALL_rta_analysis___RtaBuilder___iroutine_to_search(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1128 fra
.me
.REG
[1] = CALL_abstract_collection___Sequence___pop(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1129 /* ./analysis//rta_analysis.nit:192 */
1130 fra
.me
.REG
[1] = CALL_icode_base___IRoutine___body(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
1131 CALL_icode_tools___ICodeVisitor___visit_icode(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
1133 /* ./analysis//rta_analysis.nit:189 */
1139 stack_frame_head
= fra
.me
.prev
;
1142 val_t
rta_analysis___RtaVisitor___builder(val_t p0
){
1143 struct {struct stack_frame_t me
;} fra
;
1146 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1147 fra
.me
.file
= LOCATE_rta_analysis
;
1149 fra
.me
.meth
= LOCATE_rta_analysis___RtaVisitor___builder
;
1150 fra
.me
.has_broke
= 0;
1151 fra
.me
.REG_size
= 1;
1152 fra
.me
.REG
[0] = NIT_NULL
;
1154 /* ./analysis//rta_analysis.nit:199 */
1155 REGB0
= TAG_Bool(ATTR_rta_analysis___RtaVisitor____builder(fra
.me
.REG
[0])!=NIT_NULL
);
1156 if (UNTAG_Bool(REGB0
)) {
1158 nit_abort("Uninitialized attribute %s", "_builder", LOCATE_rta_analysis
, 199);
1160 fra
.me
.REG
[0] = ATTR_rta_analysis___RtaVisitor____builder(fra
.me
.REG
[0]);
1161 stack_frame_head
= fra
.me
.prev
;
1162 return fra
.me
.REG
[0];
1164 void rta_analysis___RtaVisitor___visit_icode(val_t p0
, val_t p1
){
1165 struct {struct stack_frame_t me
; val_t MORE_REG
[6];} fra
;
1168 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1169 fra
.me
.file
= LOCATE_rta_analysis
;
1171 fra
.me
.meth
= LOCATE_rta_analysis___RtaVisitor___visit_icode
;
1172 fra
.me
.has_broke
= 0;
1173 fra
.me
.REG_size
= 7;
1174 fra
.me
.REG
[0] = NIT_NULL
;
1175 fra
.me
.REG
[1] = NIT_NULL
;
1176 fra
.me
.REG
[2] = NIT_NULL
;
1177 fra
.me
.REG
[3] = NIT_NULL
;
1178 fra
.me
.REG
[4] = NIT_NULL
;
1179 fra
.me
.REG
[5] = NIT_NULL
;
1180 fra
.me
.REG
[6] = NIT_NULL
;
1183 /* ./analysis//rta_analysis.nit:201 */
1184 fra
.me
.REG
[2] = fra
.me
.REG
[0];
1185 fra
.me
.REG
[3] = fra
.me
.REG
[1];
1186 /* ./analysis//rta_analysis.nit:203 */
1187 REGB0
= TAG_Bool((fra
.me
.REG
[3]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[3], COLOR_IStaticCall
, ID_IStaticCall
)) /*cast IStaticCall*/;
1188 if (UNTAG_Bool(REGB0
)) {
1189 /* ./analysis//rta_analysis.nit:205 */
1190 fra
.me
.REG
[4] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1191 REGB0
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1192 if (UNTAG_Bool(REGB0
)) {
1193 nit_abort("Reciever is null", NULL
, LOCATE_rta_analysis
, 205);
1195 fra
.me
.REG
[5] = CALL_icode_base___IAbsCall___property(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1196 fra
.me
.REG
[5] = CALL_icode_base___MMMethod___iroutine(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1197 CALL_rta_analysis___RtaBuilder___add_reachable_iroutine(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[5]);
1199 /* ./analysis//rta_analysis.nit:206 */
1200 REGB0
= TAG_Bool((fra
.me
.REG
[3]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[3], COLOR_INew
, ID_INew
)) /*cast INew*/;
1201 if (UNTAG_Bool(REGB0
)) {
1202 /* ./analysis//rta_analysis.nit:208 */
1203 REGB0
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1204 if (UNTAG_Bool(REGB0
)) {
1205 nit_abort("Reciever is null", NULL
, LOCATE_rta_analysis
, 208);
1207 fra
.me
.REG
[5] = CALL_icode_base___INew___stype(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1208 /* ./analysis//rta_analysis.nit:209 */
1209 fra
.me
.REG
[4] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1210 fra
.me
.REG
[4] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1211 fra
.me
.REG
[4] = CALL_program___Program___main_module(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1212 fra
.me
.REG
[4] = CALL_static_type___MMType___for_module(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[4]);
1213 fra
.me
.REG
[4] = CALL_static_type___MMType___local_class(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1214 /* ./analysis//rta_analysis.nit:210 */
1215 REGB0
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1216 if (UNTAG_Bool(REGB0
)) {
1217 nit_abort("Reciever is null", NULL
, LOCATE_rta_analysis
, 210);
1219 fra
.me
.REG
[5] = CALL_icode_base___IAbsCall___property(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1220 fra
.me
.REG
[5] = CALL_abstractmetamodel___MMLocalProperty___global(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1221 fra
.me
.REG
[5] = CALL_abstractmetamodel___MMLocalClass_____bra(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[5]);
1222 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[5], COLOR_MMMethod
, ID_MMMethod
)) /*cast MMMethod*/;
1223 if (UNTAG_Bool(REGB0
)) {
1225 nit_abort("Cast failed", NULL
, LOCATE_rta_analysis
, 210);
1227 /* ./analysis//rta_analysis.nit:211 */
1228 fra
.me
.REG
[6] = CALL_program___MMLocalClass___new_instance_iroutine(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1229 fra
.me
.REG
[5] = CALL_abstract_collection___MapRead_____bra(fra
.me
.REG
[6])(fra
.me
.REG
[6], fra
.me
.REG
[5]);
1230 /* ./analysis//rta_analysis.nit:212 */
1231 fra
.me
.REG
[6] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1232 CALL_rta_analysis___RtaBuilder___add_instantiated_class(fra
.me
.REG
[6])(fra
.me
.REG
[6], fra
.me
.REG
[4]);
1233 /* ./analysis//rta_analysis.nit:213 */
1234 fra
.me
.REG
[4] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1235 CALL_rta_analysis___RtaBuilder___add_reachable_iroutine(fra
.me
.REG
[4])(fra
.me
.REG
[4], fra
.me
.REG
[5]);
1237 /* ./analysis//rta_analysis.nit:214 */
1238 REGB0
= TAG_Bool((fra
.me
.REG
[3]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[3], COLOR_ISuper
, ID_ISuper
)) /*cast ISuper*/;
1239 if (UNTAG_Bool(REGB0
)) {
1240 /* ./analysis//rta_analysis.nit:216 */
1241 REGB0
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1242 if (UNTAG_Bool(REGB0
)) {
1243 nit_abort("Reciever is null", NULL
, LOCATE_rta_analysis
, 216);
1245 fra
.me
.REG
[5] = CALL_icode_base___IAbsCall___property(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1246 fra
.me
.REG
[5] = CALL_abstractmetamodel___MMLocalProperty___prhe(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1247 fra
.me
.REG
[5] = CALL_partial_order___PartialOrderElement___greaters_and_self(fra
.me
.REG
[5])(fra
.me
.REG
[5]);
1248 CALL_abstract_collection___Collection___iterate(fra
.me
.REG
[5])(fra
.me
.REG
[5], (&(fra
.me
)), ((fun_t
)OC_rta_analysis___RtaVisitor___visit_icode_1
));
1250 /* ./analysis//rta_analysis.nit:221 */
1251 REGB0
= TAG_Bool((fra
.me
.REG
[3]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[3], COLOR_ICall
, ID_ICall
)) /*cast ICall*/;
1252 if (UNTAG_Bool(REGB0
)) {
1253 /* ./analysis//rta_analysis.nit:222 */
1254 fra
.me
.REG
[5] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1255 CALL_rta_analysis___RtaBuilder___add_reachable_call(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[3]);
1257 /* ./analysis//rta_analysis.nit:223 */
1258 REGB0
= TAG_Bool((fra
.me
.REG
[3]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[3], COLOR_ICheckInstance
, ID_ICheckInstance
)) /*cast ICheckInstance*/;
1259 if (UNTAG_Bool(REGB0
)) {
1260 /* ./analysis//rta_analysis.nit:224 */
1261 REGB0
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1262 if (UNTAG_Bool(REGB0
)) {
1263 nit_abort("Reciever is null", NULL
, LOCATE_rta_analysis
, 224);
1265 fra
.me
.REG
[5] = CALL_icode_base___ICheckInstance___stype(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1266 /* ./analysis//rta_analysis.nit:225 */
1267 fra
.me
.REG
[4] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1268 fra
.me
.REG
[4] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1269 fra
.me
.REG
[4] = CALL_program___Program___main_module(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1270 fra
.me
.REG
[4] = CALL_static_type___MMType___for_module(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[4]);
1271 fra
.me
.REG
[4] = CALL_static_type___MMType___local_class(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1272 /* ./analysis//rta_analysis.nit:226 */
1273 fra
.me
.REG
[4] = CALL_program___MMLocalClass___checknew_iroutine(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1274 /* ./analysis//rta_analysis.nit:227 */
1275 fra
.me
.REG
[5] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1276 CALL_rta_analysis___RtaBuilder___add_reachable_iroutine(fra
.me
.REG
[5])(fra
.me
.REG
[5], fra
.me
.REG
[4]);
1278 /* ./analysis//rta_analysis.nit:228 */
1279 REGB0
= TAG_Bool((fra
.me
.REG
[3]!=NIT_NULL
) && VAL_ISA(fra
.me
.REG
[3], COLOR_IInitAttributes
, ID_IInitAttributes
)) /*cast IInitAttributes*/;
1280 if (UNTAG_Bool(REGB0
)) {
1281 /* ./analysis//rta_analysis.nit:229 */
1282 REGB0
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
1283 if (UNTAG_Bool(REGB0
)) {
1284 nit_abort("Reciever is null", NULL
, LOCATE_rta_analysis
, 229);
1286 fra
.me
.REG
[3] = CALL_icode_base___IInitAttributes___stype(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
1287 /* ./analysis//rta_analysis.nit:230 */
1288 fra
.me
.REG
[4] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1289 fra
.me
.REG
[4] = CALL_rta_analysis___RtaBuilder___program(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1290 fra
.me
.REG
[4] = CALL_program___Program___main_module(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1291 fra
.me
.REG
[4] = CALL_static_type___MMType___for_module(fra
.me
.REG
[3])(fra
.me
.REG
[3], fra
.me
.REG
[4]);
1292 fra
.me
.REG
[4] = CALL_static_type___MMType___local_class(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1293 /* ./analysis//rta_analysis.nit:231 */
1294 fra
.me
.REG
[4] = CALL_program___MMLocalClass___init_var_iroutine(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
1295 /* ./analysis//rta_analysis.nit:232 */
1296 fra
.me
.REG
[2] = CALL_rta_analysis___RtaVisitor___builder(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
1297 CALL_rta_analysis___RtaBuilder___add_reachable_iroutine(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[4]);
1304 /* ./analysis//rta_analysis.nit:234 */
1305 CALL_SUPER_rta_analysis___RtaVisitor___visit_icode(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
1306 stack_frame_head
= fra
.me
.prev
;
1309 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
){
1310 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
1314 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1315 fra
.me
.file
= LOCATE_rta_analysis
;
1317 fra
.me
.meth
= LOCATE_rta_analysis___RtaVisitor___visit_icode
;
1318 fra
.me
.has_broke
= 0;
1319 fra
.me
.REG_size
= 2;
1320 fra
.me
.REG
[0] = NIT_NULL
;
1321 fra
.me
.REG
[1] = NIT_NULL
;
1322 fra
.me
.closure_ctx
= closctx_param
;
1323 fra
.me
.closure_funs
= CREG
;
1325 CREG
[0] = clos_fun0
;
1326 /* ./analysis//rta_analysis.nit:217 */
1327 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[0], COLOR_MMMethod
, ID_MMMethod
)) /*cast MMMethod*/;
1328 if (UNTAG_Bool(REGB0
)) {
1329 /* ./analysis//rta_analysis.nit:218 */
1330 fra
.me
.REG
[1] = CALL_rta_analysis___RtaVisitor___builder(closctx
->REG
[2])(closctx
->REG
[2]);
1331 fra
.me
.REG
[0] = CALL_icode_base___MMMethod___iroutine(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
1332 CALL_rta_analysis___RtaBuilder___add_reachable_iroutine(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
1334 stack_frame_head
= fra
.me
.prev
;
1337 void rta_analysis___RtaVisitor___init(val_t p0
, val_t p1
, int* init_table
){
1338 int itpos2
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_RtaVisitor
].i
;
1339 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
1341 if (init_table
[itpos2
]) return;
1342 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1343 fra
.me
.file
= LOCATE_rta_analysis
;
1345 fra
.me
.meth
= LOCATE_rta_analysis___RtaVisitor___init
;
1346 fra
.me
.has_broke
= 0;
1347 fra
.me
.REG_size
= 3;
1348 fra
.me
.REG
[0] = NIT_NULL
;
1349 fra
.me
.REG
[1] = NIT_NULL
;
1350 fra
.me
.REG
[2] = NIT_NULL
;
1353 /* ./analysis//rta_analysis.nit:237 */
1354 fra
.me
.REG
[2] = fra
.me
.REG
[0];
1355 CALL_icode_tools___ICodeVisitor___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], init_table
);
1356 /* ./analysis//rta_analysis.nit:239 */
1357 ATTR_rta_analysis___RtaVisitor____builder(fra
.me
.REG
[2]) = fra
.me
.REG
[1];
1358 stack_frame_head
= fra
.me
.prev
;
1359 init_table
[itpos2
] = 1;