+++ /dev/null
-/* This C file is generated by NIT to compile module global___reachable_from_init_method_analysis_impl. */
-#include "global___reachable_from_init_method_analysis_impl._sep.h"
-static const char LOCATE_global___reachable_from_init_method_analysis_impl___RFIMABuilder___program[] = "reachable_from_init_method_analysis_impl::RFIMABuilder::program";
-val_t global___reachable_from_init_method_analysis_impl___RFIMABuilder___program(val_t p0){
- struct {struct stack_frame_t me;} fra;
- val_t REGB0;
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 25;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMABuilder___program;
- fra.me.has_broke = 0;
- fra.me.REG_size = 1;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[0] = p0;
- /* global/reachable_from_init_method_analysis_impl.nit:25 */
- REGB0 = TAG_Bool(ATTR_global___reachable_from_init_method_analysis_impl___RFIMABuilder____program(fra.me.REG[0])!=NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- } else {
- nit_abort("Uninitialized attribute %s", "_program", LOCATE_global___reachable_from_init_method_analysis_impl, 25);
- }
- fra.me.REG[0] = ATTR_global___reachable_from_init_method_analysis_impl___RFIMABuilder____program(fra.me.REG[0]);
- stack_frame_head = fra.me.prev;
- return fra.me.REG[0];
-}
-static const char LOCATE_global___reachable_from_init_method_analysis_impl___RFIMABuilder___context[] = "reachable_from_init_method_analysis_impl::RFIMABuilder::context";
-val_t global___reachable_from_init_method_analysis_impl___RFIMABuilder___context(val_t p0){
- struct {struct stack_frame_t me;} fra;
- val_t REGB0;
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 26;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMABuilder___context;
- fra.me.has_broke = 0;
- fra.me.REG_size = 1;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[0] = p0;
- /* global/reachable_from_init_method_analysis_impl.nit:26 */
- REGB0 = TAG_Bool(ATTR_global___reachable_from_init_method_analysis_impl___RFIMABuilder____context(fra.me.REG[0])!=NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- } else {
- nit_abort("Uninitialized attribute %s", "_context", LOCATE_global___reachable_from_init_method_analysis_impl, 26);
- }
- fra.me.REG[0] = ATTR_global___reachable_from_init_method_analysis_impl___RFIMABuilder____context(fra.me.REG[0]);
- stack_frame_head = fra.me.prev;
- return fra.me.REG[0];
-}
-static const char LOCATE_global___reachable_from_init_method_analysis_impl___RFIMABuilder___init[] = "reachable_from_init_method_analysis_impl::RFIMABuilder::init";
-void global___reachable_from_init_method_analysis_impl___RFIMABuilder___init(val_t p0, val_t p1, int* init_table){
- int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_global___reachable_from_init_method_analysis_impl___RFIMABuilder].i;
- struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
- val_t tmp;
- if (init_table[itpos0]) return;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 28;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMABuilder___init;
- fra.me.has_broke = 0;
- fra.me.REG_size = 2;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[1] = NIT_NULL;
- fra.me.REG[0] = p0;
- fra.me.REG[1] = p1;
- /* global/reachable_from_init_method_analysis_impl.nit:29 */
- ATTR_global___reachable_from_init_method_analysis_impl___RFIMABuilder____program(fra.me.REG[0]) = fra.me.REG[1];
- stack_frame_head = fra.me.prev;
- init_table[itpos0] = 1;
- return;
-}
-static const char LOCATE_global___reachable_from_init_method_analysis_impl___RFIMABuilder___work[] = "reachable_from_init_method_analysis_impl::RFIMABuilder::work";
-void global___reachable_from_init_method_analysis_impl___RFIMABuilder___work(val_t p0){
- struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 32;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMABuilder___work;
- fra.me.has_broke = 0;
- fra.me.REG_size = 3;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[1] = NIT_NULL;
- fra.me.REG[2] = NIT_NULL;
- fra.me.REG[0] = p0;
- /* global/reachable_from_init_method_analysis_impl.nit:32 */
- fra.me.REG[1] = fra.me.REG[0];
- /* global/reachable_from_init_method_analysis_impl.nit:33 */
- fra.me.REG[2] = CALL_global___reachable_from_init_method_analysis_impl___RFIMABuilder___program(fra.me.REG[1])(fra.me.REG[1]);
- CALL_program___Program___with_each_live_local_classes(fra.me.REG[2])(fra.me.REG[2], (&(fra.me)), ((fun_t)OC_global___reachable_from_init_method_analysis_impl___RFIMABuilder___work_1));
- stack_frame_head = fra.me.prev;
- return;
-}
- void OC_global___reachable_from_init_method_analysis_impl___RFIMABuilder___work_1(struct stack_frame_t *closctx, val_t p0){
- struct {struct stack_frame_t me;} fra;
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 33;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMABuilder___work;
- fra.me.has_broke = 0;
- fra.me.REG_size = 1;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[0] = p0;
- closctx->REG[2] = fra.me.REG[0];
- /* global/reachable_from_init_method_analysis_impl.nit:35 */
- fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalClass___global_properties(closctx->REG[2])(closctx->REG[2]);
- CALL_standard___collection___abstract_collection___Collection___iterate(fra.me.REG[0])(fra.me.REG[0], closctx, ((fun_t)OC_global___reachable_from_init_method_analysis_impl___RFIMABuilder___work_2));
- stack_frame_head = fra.me.prev;
- return;
- }
- void OC_global___reachable_from_init_method_analysis_impl___RFIMABuilder___work_2(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0){
- struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
- val_t REGB0;
- fun_t CREG[1];
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 0;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMABuilder___work;
- fra.me.has_broke = 0;
- fra.me.REG_size = 3;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[1] = NIT_NULL;
- fra.me.REG[2] = NIT_NULL;
- fra.me.closure_ctx = closctx_param;
- fra.me.closure_funs = CREG;
- fra.me.REG[0] = p0;
- CREG[0] = clos_fun0;
- /* global/reachable_from_init_method_analysis_impl.nit:36 */
- fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalClass_____bra(closctx->REG[2])(closctx->REG[2], fra.me.REG[0]);
- /* global/reachable_from_init_method_analysis_impl.nit:37 */
- fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMLocalProperty___global(fra.me.REG[0])(fra.me.REG[0]);
- REGB0 = CALL_metamodel___abstractmetamodel___MMGlobalProperty___is_init_for(fra.me.REG[1])(fra.me.REG[1], closctx->REG[2]);
- REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
- if (UNTAG_Bool(REGB0)) {
- goto label3;
- }
- /* global/reachable_from_init_method_analysis_impl.nit:38 */
- REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[0], COLOR_metamodel___abstractmetamodel___MMMethod, ID_metamodel___abstractmetamodel___MMMethod)) /*cast MMMethod*/;
- if (UNTAG_Bool(REGB0)) {
- } else {
- nit_abort("Assert failed", NULL, LOCATE_global___reachable_from_init_method_analysis_impl, 38);
- }
- /* global/reachable_from_init_method_analysis_impl.nit:39 */
- fra.me.REG[1] = CALL_global___reachable_from_init_method_analysis_impl___RFIMABuilder___program(closctx->REG[1])(closctx->REG[1]);
- fra.me.REG[1] = CALL_global___reachable_method_analysis___Program___rma(fra.me.REG[1])(fra.me.REG[1]);
- REGB0 = TAG_Bool((fra.me.REG[1]!=NIT_NULL) && VAL_ISA(fra.me.REG[1], COLOR_global___reachable_method_analysis___ReachableMethodAnalysis, ID_global___reachable_method_analysis___ReachableMethodAnalysis)) /*cast ReachableMethodAnalysis*/;
- if (UNTAG_Bool(REGB0)) {
- } else {
- nit_abort("Cast failed", NULL, LOCATE_global___reachable_from_init_method_analysis_impl, 39);
- }
- REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- nit_abort("Reciever is null", NULL, LOCATE_global___reachable_from_init_method_analysis_impl, 39);
- }
- REGB0 = CALL_global___reachable_method_analysis___ReachableMethodAnalysis___is_method_reachable(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
- REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
- if (UNTAG_Bool(REGB0)) {
- goto label3;
- }
- /* global/reachable_from_init_method_analysis_impl.nit:40 */
- fra.me.REG[1] = CALL_program___MMLocalClass___new_instance_iroutine(closctx->REG[2])(closctx->REG[2]);
- REGB0 = CALL_standard___collection___abstract_collection___MapRead___has_key(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
- REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
- if (UNTAG_Bool(REGB0)) {
- goto label3;
- }
- /* global/reachable_from_init_method_analysis_impl.nit:41 */
- fra.me.REG[1] = CALL_program___MMLocalClass___new_instance_iroutine(closctx->REG[2])(closctx->REG[2]);
- fra.me.REG[0] = CALL_standard___collection___abstract_collection___MapRead_____bra(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
- /* global/reachable_from_init_method_analysis_impl.nit:44 */
- fra.me.REG[1] = CALL_global___reachable_from_init_method_analysis_impl___RFIMABuilder___context(closctx->REG[1])(closctx->REG[1]);
- fra.me.REG[1] = CALL_global___reachable_from_init_method_analysis_impl___RFIMAContext___reachable_from_init_iroutines(fra.me.REG[1])(fra.me.REG[1]);
- CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
- /* global/reachable_from_init_method_analysis_impl.nit:45 */
- fra.me.REG[1] = CALL_global___reachable_from_init_method_analysis_impl___RFIMABuilder___context(closctx->REG[1])(closctx->REG[1]);
- fra.me.REG[2] = CALL_global___reachable_from_init_method_analysis_impl___RFIMABuilder___program(closctx->REG[1])(closctx->REG[1]);
- fra.me.REG[2] = NEW_RFIMAVisitor_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___init(fra.me.REG[1], fra.me.REG[2]);
- CALL_icode___icode_tools___ICodeVisitor___visit_iroutine(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[0]);
- label3: while(0);
- stack_frame_head = fra.me.prev;
- return;
- }
-static const char LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAContext___reachable_from_init_iroutines[] = "reachable_from_init_method_analysis_impl::RFIMAContext::reachable_from_init_iroutines";
-val_t global___reachable_from_init_method_analysis_impl___RFIMAContext___reachable_from_init_iroutines(val_t p0){
- struct {struct stack_frame_t me;} fra;
- val_t REGB0;
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 53;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAContext___reachable_from_init_iroutines;
- fra.me.has_broke = 0;
- fra.me.REG_size = 1;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[0] = p0;
- /* global/reachable_from_init_method_analysis_impl.nit:53 */
- REGB0 = TAG_Bool(ATTR_global___reachable_from_init_method_analysis_impl___RFIMAContext____reachable_from_init_iroutines(fra.me.REG[0])!=NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- } else {
- nit_abort("Uninitialized attribute %s", "_reachable_from_init_iroutines", LOCATE_global___reachable_from_init_method_analysis_impl, 53);
- }
- fra.me.REG[0] = ATTR_global___reachable_from_init_method_analysis_impl___RFIMAContext____reachable_from_init_iroutines(fra.me.REG[0]);
- stack_frame_head = fra.me.prev;
- return fra.me.REG[0];
-}
-static const char LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAContext___is_iroutine_reachable_from_init[] = "reachable_from_init_method_analysis_impl::RFIMAContext::(reachable_from_init_method_analysis::ReachableFromInitMethodAnalysis::is_iroutine_reachable_from_init)";
-val_t global___reachable_from_init_method_analysis_impl___RFIMAContext___is_iroutine_reachable_from_init(val_t p0, val_t p1){
- struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
- val_t REGB0;
- val_t REGB1;
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 55;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAContext___is_iroutine_reachable_from_init;
- fra.me.has_broke = 0;
- fra.me.REG_size = 2;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[1] = NIT_NULL;
- fra.me.REG[0] = p0;
- fra.me.REG[1] = p1;
- /* global/reachable_from_init_method_analysis_impl.nit:56 */
- REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- } else {
- REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
- if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(0);
- REGB0 = REGB1;
- } else {
- REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL);
- REGB0 = REGB1;
- }
- }
- REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
- if (UNTAG_Bool(REGB0)) {
- fra.me.REG[0] = CALL_global___reachable_from_init_method_analysis_impl___RFIMAContext___reachable_from_init_iroutines(fra.me.REG[0])(fra.me.REG[0]);
- REGB0 = CALL_standard___collection___abstract_collection___Collection___has(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
- } else {
- REGB1 = TAG_Bool(0);
- REGB0 = REGB1;
- }
- goto label1;
- label1: while(0);
- stack_frame_head = fra.me.prev;
- return REGB0;
-}
-static const char LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAContext___is_method_reachable_from_init[] = "reachable_from_init_method_analysis_impl::RFIMAContext::(reachable_from_init_method_analysis::ReachableFromInitMethodAnalysis::is_method_reachable_from_init)";
-val_t global___reachable_from_init_method_analysis_impl___RFIMAContext___is_method_reachable_from_init(val_t p0, val_t p1){
- struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
- val_t REGB0;
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 59;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAContext___is_method_reachable_from_init;
- fra.me.has_broke = 0;
- fra.me.REG_size = 2;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[1] = NIT_NULL;
- fra.me.REG[0] = p0;
- fra.me.REG[1] = p1;
- /* global/reachable_from_init_method_analysis_impl.nit:60 */
- fra.me.REG[1] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[1])(fra.me.REG[1]);
- REGB0 = CALL_global___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
- goto label1;
- label1: while(0);
- stack_frame_head = fra.me.prev;
- return REGB0;
-}
-static const char LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAContext___init[] = "reachable_from_init_method_analysis_impl::RFIMAContext::init";
-void global___reachable_from_init_method_analysis_impl___RFIMAContext___init(val_t p0, int* init_table){
- int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_global___reachable_from_init_method_analysis_impl___RFIMAContext].i;
- struct {struct stack_frame_t me;} fra;
- val_t tmp;
- if (init_table[itpos1]) return;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 0;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAContext___init;
- fra.me.has_broke = 0;
- fra.me.REG_size = 0;
- fra.me.nitni_local_ref_head = NULL;
- stack_frame_head = fra.me.prev;
- init_table[itpos1] = 1;
- return;
-}
-static const char LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___context[] = "reachable_from_init_method_analysis_impl::RFIMAVisitor::context";
-val_t global___reachable_from_init_method_analysis_impl___RFIMAVisitor___context(val_t p0){
- struct {struct stack_frame_t me;} fra;
- val_t REGB0;
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 66;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___context;
- fra.me.has_broke = 0;
- fra.me.REG_size = 1;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[0] = p0;
- /* global/reachable_from_init_method_analysis_impl.nit:66 */
- REGB0 = TAG_Bool(ATTR_global___reachable_from_init_method_analysis_impl___RFIMAVisitor____context(fra.me.REG[0])!=NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- } else {
- nit_abort("Uninitialized attribute %s", "_context", LOCATE_global___reachable_from_init_method_analysis_impl, 66);
- }
- fra.me.REG[0] = ATTR_global___reachable_from_init_method_analysis_impl___RFIMAVisitor____context(fra.me.REG[0]);
- stack_frame_head = fra.me.prev;
- return fra.me.REG[0];
-}
-static const char LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___program[] = "reachable_from_init_method_analysis_impl::RFIMAVisitor::program";
-val_t global___reachable_from_init_method_analysis_impl___RFIMAVisitor___program(val_t p0){
- struct {struct stack_frame_t me;} fra;
- val_t REGB0;
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 67;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___program;
- fra.me.has_broke = 0;
- fra.me.REG_size = 1;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[0] = p0;
- /* global/reachable_from_init_method_analysis_impl.nit:67 */
- REGB0 = TAG_Bool(ATTR_global___reachable_from_init_method_analysis_impl___RFIMAVisitor____program(fra.me.REG[0])!=NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- } else {
- nit_abort("Uninitialized attribute %s", "_program", LOCATE_global___reachable_from_init_method_analysis_impl, 67);
- }
- fra.me.REG[0] = ATTR_global___reachable_from_init_method_analysis_impl___RFIMAVisitor____program(fra.me.REG[0]);
- stack_frame_head = fra.me.prev;
- return fra.me.REG[0];
-}
-static const char LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___init[] = "reachable_from_init_method_analysis_impl::RFIMAVisitor::init";
-void global___reachable_from_init_method_analysis_impl___RFIMAVisitor___init(val_t p0, val_t p1, val_t p2, int* init_table){
- int itpos2 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_global___reachable_from_init_method_analysis_impl___RFIMAVisitor].i;
- struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
- val_t tmp;
- if (init_table[itpos2]) return;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 69;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___init;
- fra.me.has_broke = 0;
- fra.me.REG_size = 4;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[1] = NIT_NULL;
- fra.me.REG[2] = NIT_NULL;
- fra.me.REG[3] = NIT_NULL;
- fra.me.REG[0] = p0;
- fra.me.REG[1] = p1;
- fra.me.REG[2] = p2;
- /* global/reachable_from_init_method_analysis_impl.nit:69 */
- fra.me.REG[3] = fra.me.REG[0];
- CALL_icode___icode_tools___ICodeVisitor___init(fra.me.REG[0])(fra.me.REG[0], init_table);
- /* global/reachable_from_init_method_analysis_impl.nit:70 */
- ATTR_global___reachable_from_init_method_analysis_impl___RFIMAVisitor____context(fra.me.REG[3]) = fra.me.REG[1];
- /* global/reachable_from_init_method_analysis_impl.nit:71 */
- ATTR_global___reachable_from_init_method_analysis_impl___RFIMAVisitor____program(fra.me.REG[3]) = fra.me.REG[2];
- stack_frame_head = fra.me.prev;
- init_table[itpos2] = 1;
- return;
-}
-static const char LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___process_call[] = "reachable_from_init_method_analysis_impl::RFIMAVisitor::process_call";
-void global___reachable_from_init_method_analysis_impl___RFIMAVisitor___process_call(val_t p0, val_t p1){
- struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
- val_t REGB0;
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 74;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___process_call;
- fra.me.has_broke = 0;
- fra.me.REG_size = 3;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[1] = NIT_NULL;
- fra.me.REG[2] = NIT_NULL;
- fra.me.REG[0] = p0;
- fra.me.REG[1] = p1;
- /* global/reachable_from_init_method_analysis_impl.nit:75 */
- fra.me.REG[2] = CALL_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___context(fra.me.REG[0])(fra.me.REG[0]);
- REGB0 = CALL_global___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
- if (UNTAG_Bool(REGB0)) {
- goto label1;
- }
- /* global/reachable_from_init_method_analysis_impl.nit:76 */
- fra.me.REG[2] = CALL_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___context(fra.me.REG[0])(fra.me.REG[0]);
- fra.me.REG[2] = CALL_global___reachable_from_init_method_analysis_impl___RFIMAContext___reachable_from_init_iroutines(fra.me.REG[2])(fra.me.REG[2]);
- CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
- /* global/reachable_from_init_method_analysis_impl.nit:77 */
- CALL_icode___icode_tools___ICodeVisitor___visit_iroutine(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
- label1: while(0);
- stack_frame_head = fra.me.prev;
- return;
-}
-static const char LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___visit_icode[] = "reachable_from_init_method_analysis_impl::RFIMAVisitor::(icode_tools::ICodeVisitor::visit_icode)";
-void global___reachable_from_init_method_analysis_impl___RFIMAVisitor___visit_icode(val_t p0, val_t p1){
- struct {struct stack_frame_t me; val_t MORE_REG[5];} fra;
- val_t REGB0;
- val_t REGB1;
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 80;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___visit_icode;
- fra.me.has_broke = 0;
- fra.me.REG_size = 6;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.REG[1] = NIT_NULL;
- fra.me.REG[2] = NIT_NULL;
- fra.me.REG[3] = NIT_NULL;
- fra.me.REG[4] = NIT_NULL;
- fra.me.REG[5] = NIT_NULL;
- fra.me.REG[0] = p0;
- fra.me.REG[1] = p1;
- /* global/reachable_from_init_method_analysis_impl.nit:80 */
- fra.me.REG[2] = fra.me.REG[0];
- fra.me.REG[3] = fra.me.REG[1];
- /* global/reachable_from_init_method_analysis_impl.nit:82 */
- REGB0 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_icode___icode_base___IStaticCall, ID_icode___icode_base___IStaticCall)) /*cast IStaticCall*/;
- if (UNTAG_Bool(REGB0)) {
- /* global/reachable_from_init_method_analysis_impl.nit:84 */
- REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- nit_abort("Reciever is null", NULL, LOCATE_global___reachable_from_init_method_analysis_impl, 84);
- }
- fra.me.REG[4] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
- fra.me.REG[4] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[4])(fra.me.REG[4]);
- /* global/reachable_from_init_method_analysis_impl.nit:85 */
- REGB0 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- } else {
- REGB1 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
- if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(0);
- REGB0 = REGB1;
- } else {
- REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[4])(fra.me.REG[4], NIT_NULL);
- REGB0 = REGB1;
- }
- }
- REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
- if (UNTAG_Bool(REGB0)) {
- CALL_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___process_call(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[4]);
- }
- } else {
- /* global/reachable_from_init_method_analysis_impl.nit:86 */
- REGB0 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_icode___icode_base___INew, ID_icode___icode_base___INew)) /*cast INew*/;
- if (UNTAG_Bool(REGB0)) {
- /* global/reachable_from_init_method_analysis_impl.nit:88 */
- REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- nit_abort("Reciever is null", NULL, LOCATE_global___reachable_from_init_method_analysis_impl, 88);
- }
- fra.me.REG[4] = CALL_icode___icode_base___INew___stype(fra.me.REG[3])(fra.me.REG[3]);
- /* global/reachable_from_init_method_analysis_impl.nit:89 */
- fra.me.REG[5] = CALL_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___program(fra.me.REG[2])(fra.me.REG[2]);
- fra.me.REG[5] = CALL_program___Program___main_module(fra.me.REG[5])(fra.me.REG[5]);
- fra.me.REG[5] = CALL_metamodel___static_type___MMType___for_module(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[5]);
- fra.me.REG[5] = CALL_metamodel___static_type___MMType___local_class(fra.me.REG[5])(fra.me.REG[5]);
- /* global/reachable_from_init_method_analysis_impl.nit:90 */
- REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- nit_abort("Reciever is null", NULL, LOCATE_global___reachable_from_init_method_analysis_impl, 90);
- }
- fra.me.REG[4] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
- fra.me.REG[4] = CALL_metamodel___abstractmetamodel___MMLocalProperty___global(fra.me.REG[4])(fra.me.REG[4]);
- fra.me.REG[4] = CALL_metamodel___abstractmetamodel___MMLocalClass_____bra(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[4]);
- REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[4], COLOR_metamodel___abstractmetamodel___MMMethod, ID_metamodel___abstractmetamodel___MMMethod)) /*cast MMMethod*/;
- if (UNTAG_Bool(REGB0)) {
- } else {
- nit_abort("Cast failed", NULL, LOCATE_global___reachable_from_init_method_analysis_impl, 90);
- }
- /* global/reachable_from_init_method_analysis_impl.nit:91 */
- REGB0 = CALL_metamodel___abstractmetamodel___MMMethod___is_extern(fra.me.REG[4])(fra.me.REG[4]);
- REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
- if (UNTAG_Bool(REGB0)) {
- /* global/reachable_from_init_method_analysis_impl.nit:92 */
- fra.me.REG[5] = CALL_program___MMLocalClass___new_instance_iroutine(fra.me.REG[5])(fra.me.REG[5]);
- fra.me.REG[4] = CALL_standard___collection___abstract_collection___MapRead_____bra(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[4]);
- /* global/reachable_from_init_method_analysis_impl.nit:93 */
- CALL_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___process_call(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[4]);
- }
- } else {
- /* global/reachable_from_init_method_analysis_impl.nit:95 */
- REGB0 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_icode___icode_base___ISuper, ID_icode___icode_base___ISuper)) /*cast ISuper*/;
- if (UNTAG_Bool(REGB0)) {
- /* global/reachable_from_init_method_analysis_impl.nit:97 */
- REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- nit_abort("Reciever is null", NULL, LOCATE_global___reachable_from_init_method_analysis_impl, 97);
- }
- fra.me.REG[4] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
- /* global/reachable_from_init_method_analysis_impl.nit:98 */
- fra.me.REG[4] = CALL_metamodel___abstractmetamodel___MMLocalProperty___prhe(fra.me.REG[4])(fra.me.REG[4]);
- fra.me.REG[4] = CALL_metamodel___partial_order___PartialOrderElement___greaters_and_self(fra.me.REG[4])(fra.me.REG[4]);
- CALL_standard___collection___abstract_collection___Collection___iterate(fra.me.REG[4])(fra.me.REG[4], (&(fra.me)), ((fun_t)OC_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___visit_icode_1));
- } else {
- /* global/reachable_from_init_method_analysis_impl.nit:104 */
- REGB0 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_icode___icode_base___ICall, ID_icode___icode_base___ICall)) /*cast ICall*/;
- if (UNTAG_Bool(REGB0)) {
- /* global/reachable_from_init_method_analysis_impl.nit:106 */
- REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- nit_abort("Reciever is null", NULL, LOCATE_global___reachable_from_init_method_analysis_impl, 106);
- }
- fra.me.REG[4] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
- /* global/reachable_from_init_method_analysis_impl.nit:107 */
- fra.me.REG[5] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[4])(fra.me.REG[4]);
- /* global/reachable_from_init_method_analysis_impl.nit:108 */
- REGB0 = TAG_Bool(fra.me.REG[5]==NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- } else {
- REGB1 = TAG_Bool(fra.me.REG[5]==NIT_NULL);
- if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(0);
- REGB0 = REGB1;
- } else {
- REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[5])(fra.me.REG[5], NIT_NULL);
- REGB0 = REGB1;
- }
- }
- REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
- if (UNTAG_Bool(REGB0)) {
- CALL_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___process_call(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[5]);
- }
- /* global/reachable_from_init_method_analysis_impl.nit:109 */
- fra.me.REG[4] = CALL_metamodel___abstractmetamodel___MMLocalProperty___prhe(fra.me.REG[4])(fra.me.REG[4]);
- fra.me.REG[4] = CALL_metamodel___partial_order___PartialOrderElement___smallers(fra.me.REG[4])(fra.me.REG[4]);
- CALL_standard___collection___abstract_collection___Collection___iterate(fra.me.REG[4])(fra.me.REG[4], (&(fra.me)), ((fun_t)OC_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___visit_icode_2));
- } else {
- /* global/reachable_from_init_method_analysis_impl.nit:115 */
- REGB0 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_icode___icode_base___ICheckInstance, ID_icode___icode_base___ICheckInstance)) /*cast ICheckInstance*/;
- if (UNTAG_Bool(REGB0)) {
- /* global/reachable_from_init_method_analysis_impl.nit:116 */
- REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- nit_abort("Reciever is null", NULL, LOCATE_global___reachable_from_init_method_analysis_impl, 116);
- }
- fra.me.REG[5] = CALL_icode___icode_base___ICheckInstance___stype(fra.me.REG[3])(fra.me.REG[3]);
- /* global/reachable_from_init_method_analysis_impl.nit:117 */
- fra.me.REG[4] = CALL_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___program(fra.me.REG[2])(fra.me.REG[2]);
- fra.me.REG[4] = CALL_program___Program___main_module(fra.me.REG[4])(fra.me.REG[4]);
- fra.me.REG[4] = CALL_metamodel___static_type___MMType___for_module(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[4]);
- fra.me.REG[4] = CALL_metamodel___static_type___MMType___local_class(fra.me.REG[4])(fra.me.REG[4]);
- /* global/reachable_from_init_method_analysis_impl.nit:118 */
- fra.me.REG[4] = CALL_program___MMLocalClass___checknew_iroutine(fra.me.REG[4])(fra.me.REG[4]);
- /* global/reachable_from_init_method_analysis_impl.nit:119 */
- REGB0 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- } else {
- REGB1 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
- if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(0);
- REGB0 = REGB1;
- } else {
- REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[4])(fra.me.REG[4], NIT_NULL);
- REGB0 = REGB1;
- }
- }
- REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
- if (UNTAG_Bool(REGB0)) {
- CALL_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___process_call(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[4]);
- }
- } else {
- /* global/reachable_from_init_method_analysis_impl.nit:120 */
- REGB0 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_icode___icode_base___IInitAttributes, ID_icode___icode_base___IInitAttributes)) /*cast IInitAttributes*/;
- if (UNTAG_Bool(REGB0)) {
- /* global/reachable_from_init_method_analysis_impl.nit:121 */
- REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- nit_abort("Reciever is null", NULL, LOCATE_global___reachable_from_init_method_analysis_impl, 121);
- }
- fra.me.REG[3] = CALL_icode___icode_base___IInitAttributes___stype(fra.me.REG[3])(fra.me.REG[3]);
- /* global/reachable_from_init_method_analysis_impl.nit:122 */
- fra.me.REG[4] = CALL_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___program(fra.me.REG[2])(fra.me.REG[2]);
- fra.me.REG[4] = CALL_program___Program___main_module(fra.me.REG[4])(fra.me.REG[4]);
- fra.me.REG[4] = CALL_metamodel___static_type___MMType___for_module(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[4]);
- fra.me.REG[4] = CALL_metamodel___static_type___MMType___local_class(fra.me.REG[4])(fra.me.REG[4]);
- /* global/reachable_from_init_method_analysis_impl.nit:123 */
- fra.me.REG[4] = CALL_program___MMLocalClass___init_var_iroutine(fra.me.REG[4])(fra.me.REG[4]);
- /* global/reachable_from_init_method_analysis_impl.nit:124 */
- REGB0 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- } else {
- REGB1 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
- if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(0);
- REGB0 = REGB1;
- } else {
- REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[4])(fra.me.REG[4], NIT_NULL);
- REGB0 = REGB1;
- }
- }
- REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
- if (UNTAG_Bool(REGB0)) {
- CALL_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___process_call(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[4]);
- }
- }
- }
- }
- }
- }
- }
- /* global/reachable_from_init_method_analysis_impl.nit:126 */
- CALL_SUPER_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___visit_icode(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
- stack_frame_head = fra.me.prev;
- return;
-}
- void OC_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___visit_icode_1(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0){
- struct {struct stack_frame_t me;} fra;
- val_t REGB0;
- val_t REGB1;
- fun_t CREG[1];
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 0;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___visit_icode;
- fra.me.has_broke = 0;
- fra.me.REG_size = 1;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.closure_ctx = closctx_param;
- fra.me.closure_funs = CREG;
- fra.me.REG[0] = p0;
- CREG[0] = clos_fun0;
- /* global/reachable_from_init_method_analysis_impl.nit:99 */
- REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[0], COLOR_metamodel___abstractmetamodel___MMMethod, ID_metamodel___abstractmetamodel___MMMethod)) /*cast MMMethod*/;
- if (UNTAG_Bool(REGB0)) {
- /* global/reachable_from_init_method_analysis_impl.nit:100 */
- fra.me.REG[0] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[0])(fra.me.REG[0]);
- /* global/reachable_from_init_method_analysis_impl.nit:101 */
- REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- } else {
- REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
- if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(0);
- REGB0 = REGB1;
- } else {
- REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], NIT_NULL);
- REGB0 = REGB1;
- }
- }
- REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
- if (UNTAG_Bool(REGB0)) {
- CALL_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___process_call(closctx->REG[2])(closctx->REG[2], fra.me.REG[0]);
- }
- }
- stack_frame_head = fra.me.prev;
- return;
- }
- void OC_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___visit_icode_2(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0){
- struct {struct stack_frame_t me;} fra;
- val_t REGB0;
- val_t REGB1;
- fun_t CREG[1];
- val_t tmp;
- fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
- fra.me.file = LOCATE_global___reachable_from_init_method_analysis_impl;
- fra.me.line = 0;
- fra.me.meth = LOCATE_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___visit_icode;
- fra.me.has_broke = 0;
- fra.me.REG_size = 1;
- fra.me.nitni_local_ref_head = NULL;
- fra.me.REG[0] = NIT_NULL;
- fra.me.closure_ctx = closctx_param;
- fra.me.closure_funs = CREG;
- fra.me.REG[0] = p0;
- CREG[0] = clos_fun0;
- /* global/reachable_from_init_method_analysis_impl.nit:110 */
- REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[0], COLOR_metamodel___abstractmetamodel___MMMethod, ID_metamodel___abstractmetamodel___MMMethod)) /*cast MMMethod*/;
- if (UNTAG_Bool(REGB0)) {
- /* global/reachable_from_init_method_analysis_impl.nit:111 */
- fra.me.REG[0] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[0])(fra.me.REG[0]);
- closctx->REG[5] = fra.me.REG[0];
- /* global/reachable_from_init_method_analysis_impl.nit:112 */
- REGB0 = TAG_Bool(closctx->REG[5]==NIT_NULL);
- if (UNTAG_Bool(REGB0)) {
- } else {
- REGB1 = TAG_Bool(closctx->REG[5]==NIT_NULL);
- if (UNTAG_Bool(REGB1)) {
- REGB1 = TAG_Bool(0);
- REGB0 = REGB1;
- } else {
- REGB1 = CALL_standard___kernel___Object_____eqeq(closctx->REG[5])(closctx->REG[5], NIT_NULL);
- REGB0 = REGB1;
- }
- }
- REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
- if (UNTAG_Bool(REGB0)) {
- CALL_global___reachable_from_init_method_analysis_impl___RFIMAVisitor___process_call(closctx->REG[2])(closctx->REG[2], closctx->REG[5]);
- }
- }
- stack_frame_head = fra.me.prev;
- return;
- }