X-Git-Url: http://nitlanguage.org?ds=sidebyside diff --git a/c_src/global___rta_analysis._sep.c b/c_src/global___rta_analysis._sep.c index ead4b2b..b993a6a 100644 --- a/c_src/global___rta_analysis._sep.c +++ b/c_src/global___rta_analysis._sep.c @@ -1,5 +1,6 @@ /* This C file is generated by NIT to compile module global___rta_analysis. */ #include "global___rta_analysis._sep.h" +static const char LOCATE_global___rta_analysis___RtaContext___init[] = "rta_analysis::RtaContext::init"; void global___rta_analysis___RtaContext___init(val_t p0, int* init_table){ int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_global___rta_analysis___RtaContext].i; struct {struct stack_frame_t me;} fra; @@ -18,6 +19,7 @@ void global___rta_analysis___RtaContext___init(val_t p0, int* init_table){ init_table[itpos0] = 1; return; } +static const char LOCATE_global___rta_analysis___RtaContext___instanciated_classes[] = "rta_analysis::RtaContext::instanciated_classes"; val_t global___rta_analysis___RtaContext___instanciated_classes(val_t p0){ struct {struct stack_frame_t me;} fra; val_t REGB0; @@ -41,6 +43,7 @@ val_t global___rta_analysis___RtaContext___instanciated_classes(val_t p0){ stack_frame_head = fra.me.prev; return fra.me.REG[0]; } +static const char LOCATE_global___rta_analysis___RtaContext___is_class_instantiated[] = "rta_analysis::RtaContext::(instantiated_type_analysis::InstantiatedTypeAnalysis::is_class_instantiated)"; val_t global___rta_analysis___RtaContext___is_class_instantiated(val_t p0, val_t p1){ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra; val_t REGB0; @@ -64,6 +67,7 @@ val_t global___rta_analysis___RtaContext___is_class_instantiated(val_t p0, val_t stack_frame_head = fra.me.prev; return REGB0; } +static const char LOCATE_global___rta_analysis___RtaContext___reachable_iroutines[] = "rta_analysis::RtaContext::reachable_iroutines"; val_t global___rta_analysis___RtaContext___reachable_iroutines(val_t p0){ struct {struct stack_frame_t me;} fra; val_t REGB0; @@ -87,6 +91,7 @@ val_t global___rta_analysis___RtaContext___reachable_iroutines(val_t p0){ stack_frame_head = fra.me.prev; return fra.me.REG[0]; } +static const char LOCATE_global___rta_analysis___RtaContext___is_iroutine_reachable[] = "rta_analysis::RtaContext::(reachable_method_analysis::ReachableMethodAnalysis::is_iroutine_reachable)"; val_t global___rta_analysis___RtaContext___is_iroutine_reachable(val_t p0, val_t p1){ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra; val_t REGB0; @@ -109,7 +114,7 @@ val_t global___rta_analysis___RtaContext___is_iroutine_reachable(val_t p0, val_t } else { REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL); if (UNTAG_Bool(REGB1)) { - REGB1 = TAG_Bool(false); + REGB1 = TAG_Bool(0); REGB0 = REGB1; } else { REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL); @@ -121,7 +126,7 @@ val_t global___rta_analysis___RtaContext___is_iroutine_reachable(val_t p0, val_t fra.me.REG[0] = CALL_global___rta_analysis___RtaContext___reachable_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(false); + REGB1 = TAG_Bool(0); REGB0 = REGB1; } goto label1; @@ -129,6 +134,7 @@ val_t global___rta_analysis___RtaContext___is_iroutine_reachable(val_t p0, val_t stack_frame_head = fra.me.prev; return REGB0; } +static const char LOCATE_global___rta_analysis___RtaContext___is_method_reachable[] = "rta_analysis::RtaContext::(reachable_method_analysis::ReachableMethodAnalysis::is_method_reachable)"; val_t global___rta_analysis___RtaContext___is_method_reachable(val_t p0, val_t p1){ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra; val_t REGB0; @@ -152,6 +158,7 @@ val_t global___rta_analysis___RtaContext___is_method_reachable(val_t p0, val_t p stack_frame_head = fra.me.prev; return REGB0; } +static const char LOCATE_global___rta_analysis___RtaBuilder___context[] = "rta_analysis::RtaBuilder::context"; val_t global___rta_analysis___RtaBuilder___context(val_t p0){ struct {struct stack_frame_t me;} fra; val_t REGB0; @@ -175,6 +182,7 @@ val_t global___rta_analysis___RtaBuilder___context(val_t p0){ stack_frame_head = fra.me.prev; return fra.me.REG[0]; } +static const char LOCATE_global___rta_analysis___RtaBuilder___program[] = "rta_analysis::RtaBuilder::program"; val_t global___rta_analysis___RtaBuilder___program(val_t p0){ struct {struct stack_frame_t me;} fra; val_t REGB0; @@ -198,6 +206,7 @@ val_t global___rta_analysis___RtaBuilder___program(val_t p0){ stack_frame_head = fra.me.prev; return fra.me.REG[0]; } +static const char LOCATE_global___rta_analysis___RtaBuilder___iroutine_to_search[] = "rta_analysis::RtaBuilder::iroutine_to_search"; val_t global___rta_analysis___RtaBuilder___iroutine_to_search(val_t p0){ struct {struct stack_frame_t me;} fra; val_t REGB0; @@ -221,6 +230,7 @@ val_t global___rta_analysis___RtaBuilder___iroutine_to_search(val_t p0){ stack_frame_head = fra.me.prev; return fra.me.REG[0]; } +static const char LOCATE_global___rta_analysis___RtaBuilder___call_sites[] = "rta_analysis::RtaBuilder::call_sites"; val_t global___rta_analysis___RtaBuilder___call_sites(val_t p0){ struct {struct stack_frame_t me;} fra; val_t REGB0; @@ -244,6 +254,7 @@ val_t global___rta_analysis___RtaBuilder___call_sites(val_t p0){ stack_frame_head = fra.me.prev; return fra.me.REG[0]; } +static const char LOCATE_global___rta_analysis___RtaBuilder___called_methods[] = "rta_analysis::RtaBuilder::called_methods"; val_t global___rta_analysis___RtaBuilder___called_methods(val_t p0){ struct {struct stack_frame_t me;} fra; val_t REGB0; @@ -267,6 +278,7 @@ val_t global___rta_analysis___RtaBuilder___called_methods(val_t p0){ stack_frame_head = fra.me.prev; return fra.me.REG[0]; } +static const char LOCATE_global___rta_analysis___RtaBuilder___init[] = "rta_analysis::RtaBuilder::init"; void global___rta_analysis___RtaBuilder___init(val_t p0, val_t p1, int* init_table){ int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_global___rta_analysis___RtaBuilder].i; struct {struct stack_frame_t me; val_t MORE_REG[2];} fra; @@ -293,6 +305,7 @@ void global___rta_analysis___RtaBuilder___init(val_t p0, val_t p1, int* init_tab init_table[itpos1] = 1; return; } +static const char LOCATE_global___rta_analysis___RtaBuilder___check_method[] = "rta_analysis::RtaBuilder::check_method"; val_t global___rta_analysis___RtaBuilder___check_method(val_t p0, val_t p1){ struct {struct stack_frame_t me; val_t MORE_REG[3];} fra; val_t REGB0; @@ -319,7 +332,7 @@ val_t global___rta_analysis___RtaBuilder___check_method(val_t p0, val_t p1){ fra.me.REG[2] = CALL_global___rta_analysis___RtaBuilder___context(fra.me.REG[0])(fra.me.REG[0]); REGB0 = CALL_global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]); if (UNTAG_Bool(REGB0)) { - REGB0 = TAG_Bool(true); + REGB0 = TAG_Bool(1); fra.me.REG[2] = REGB0; goto label1; } @@ -332,7 +345,7 @@ val_t global___rta_analysis___RtaBuilder___check_method(val_t p0, val_t p1){ case 1: (&(fra.me))->has_broke = 0; goto label1; } /* global/rta_analysis.nit:68 */ - REGB0 = TAG_Bool(false); + REGB0 = TAG_Bool(0); fra.me.REG[2] = REGB0; goto label1; label1: while(0); @@ -375,7 +388,7 @@ val_t global___rta_analysis___RtaBuilder___check_method(val_t p0, val_t p1){ fra.me.REG[1] = CALL_global___rta_analysis___RtaBuilder___context(closctx->REG[0])(closctx->REG[0]); REGB0 = CALL_global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]); if (UNTAG_Bool(REGB0)) { - REGB0 = TAG_Bool(true); + REGB0 = TAG_Bool(1); closctx->REG[2] = REGB0; closctx->has_broke = 1; goto label3; @@ -384,6 +397,7 @@ val_t global___rta_analysis___RtaBuilder___check_method(val_t p0, val_t p1){ stack_frame_head = fra.me.prev; return; } +static const char LOCATE_global___rta_analysis___RtaBuilder___check_call_sites[] = "rta_analysis::RtaBuilder::check_call_sites"; void global___rta_analysis___RtaBuilder___check_call_sites(val_t p0){ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra; val_t tmp; @@ -429,7 +443,7 @@ void global___rta_analysis___RtaBuilder___check_call_sites(val_t p0){ /* global/rta_analysis.nit:76 */ fra.me.REG[1] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[0])(fra.me.REG[0]); /* global/rta_analysis.nit:77 */ - REGB0 = TAG_Bool(true); + REGB0 = TAG_Bool(1); closctx->REG[2] = REGB0; /* global/rta_analysis.nit:80 */ REGB0 = CALL_global___rta_analysis___RtaBuilder___check_method(closctx->REG[0])(closctx->REG[0], fra.me.REG[1]); @@ -439,7 +453,7 @@ void global___rta_analysis___RtaBuilder___check_call_sites(val_t p0){ CALL_global___rta_analysis___RtaBuilder___add_reachable_iroutine(closctx->REG[0])(closctx->REG[0], fra.me.REG[2]); } else { /* global/rta_analysis.nit:83 */ - REGB0 = TAG_Bool(false); + REGB0 = TAG_Bool(0); closctx->REG[2] = REGB0; } /* global/rta_analysis.nit:87 */ @@ -484,7 +498,7 @@ void global___rta_analysis___RtaBuilder___check_call_sites(val_t p0){ CALL_global___rta_analysis___RtaBuilder___add_reachable_iroutine(closctx->REG[0])(closctx->REG[0], fra.me.REG[0]); } else { /* global/rta_analysis.nit:92 */ - REGB0 = TAG_Bool(false); + REGB0 = TAG_Bool(0); closctx->REG[2] = REGB0; } label3: while(0); @@ -515,6 +529,7 @@ void global___rta_analysis___RtaBuilder___check_call_sites(val_t p0){ stack_frame_head = fra.me.prev; return; } +static const char LOCATE_global___rta_analysis___RtaBuilder___add_instantiated_class[] = "rta_analysis::RtaBuilder::add_instantiated_class"; void global___rta_analysis___RtaBuilder___add_instantiated_class(val_t p0, val_t p1){ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra; val_t REGB0; @@ -547,6 +562,7 @@ void global___rta_analysis___RtaBuilder___add_instantiated_class(val_t p0, val_t stack_frame_head = fra.me.prev; return; } +static const char LOCATE_global___rta_analysis___RtaBuilder___add_reachable_call[] = "rta_analysis::RtaBuilder::add_reachable_call"; void global___rta_analysis___RtaBuilder___add_reachable_call(val_t p0, val_t p1){ struct {struct stack_frame_t me; val_t MORE_REG[3];} fra; val_t REGB0; @@ -590,6 +606,7 @@ void global___rta_analysis___RtaBuilder___add_reachable_call(val_t p0, val_t p1) stack_frame_head = fra.me.prev; return; } +static const char LOCATE_global___rta_analysis___RtaBuilder___add_reachable_iroutine[] = "rta_analysis::RtaBuilder::add_reachable_iroutine"; void global___rta_analysis___RtaBuilder___add_reachable_iroutine(val_t p0, val_t p1){ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra; val_t REGB0; @@ -613,7 +630,7 @@ void global___rta_analysis___RtaBuilder___add_reachable_iroutine(val_t p0, val_t } else { REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL); if (UNTAG_Bool(REGB1)) { - REGB1 = TAG_Bool(false); + REGB1 = TAG_Bool(0); REGB0 = REGB1; } else { REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL); @@ -621,7 +638,7 @@ void global___rta_analysis___RtaBuilder___add_reachable_iroutine(val_t p0, val_t } } if (UNTAG_Bool(REGB0)) { - REGB0 = TAG_Bool(true); + REGB0 = TAG_Bool(1); } else { fra.me.REG[2] = CALL_global___rta_analysis___RtaBuilder___context(fra.me.REG[0])(fra.me.REG[0]); REGB1 = CALL_global___reachable_method_analysis___ReachableMethodAnalysis___is_iroutine_reachable(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]); @@ -641,6 +658,7 @@ void global___rta_analysis___RtaBuilder___add_reachable_iroutine(val_t p0, val_t stack_frame_head = fra.me.prev; return; } +static const char LOCATE_global___rta_analysis___RtaBuilder___force_some_type_analysis[] = "rta_analysis::RtaBuilder::force_some_type_analysis"; void global___rta_analysis___RtaBuilder___force_some_type_analysis(val_t p0){ struct {struct stack_frame_t me; val_t MORE_REG[5];} fra; val_t REGB0; @@ -793,7 +811,7 @@ void global___rta_analysis___RtaBuilder___force_some_type_analysis(val_t p0){ } else { nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0); } - /* ../lib/standard/kernel.nit:232 */ + /* ../lib/standard/kernel.nit:235 */ REGB1 = TAG_Bool(UNTAG_Int(REGB0)vft[INIT_TABLE_POS_global___rta_analysis___RtaVisitor].i; struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;