update c_src (now with ffi)
[nit.git] / c_src / global___cha_analysis._sep.c
index 64154e2..795bb5b 100644 (file)
@@ -1,5 +1,6 @@
 /* This C file is generated by NIT to compile module global___cha_analysis. */
 #include "global___cha_analysis._sep.h"
+static const char LOCATE_global___cha_analysis___ChaContext___reachable_iroutines[] = "cha_analysis::ChaContext::reachable_iroutines";
 val_t global___cha_analysis___ChaContext___reachable_iroutines(val_t p0){
   struct {struct stack_frame_t me;} fra;
   val_t REGB0;
@@ -23,6 +24,7 @@ val_t global___cha_analysis___ChaContext___reachable_iroutines(val_t p0){
   stack_frame_head = fra.me.prev;
   return fra.me.REG[0];
 }
+static const char LOCATE_global___cha_analysis___ChaContext___is_iroutine_reachable[] = "cha_analysis::ChaContext::(reachable_method_analysis::ReachableMethodAnalysis::is_iroutine_reachable)";
 val_t global___cha_analysis___ChaContext___is_iroutine_reachable(val_t p0, val_t p1){
   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
   val_t REGB0;
@@ -45,7 +47,7 @@ val_t global___cha_analysis___ChaContext___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);
@@ -57,7 +59,7 @@ val_t global___cha_analysis___ChaContext___is_iroutine_reachable(val_t p0, val_t
     fra.me.REG[0] = CALL_global___cha_analysis___ChaContext___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;
@@ -65,6 +67,7 @@ val_t global___cha_analysis___ChaContext___is_iroutine_reachable(val_t p0, val_t
   stack_frame_head = fra.me.prev;
   return REGB0;
 }
+static const char LOCATE_global___cha_analysis___ChaContext___is_method_reachable[] = "cha_analysis::ChaContext::(reachable_method_analysis::ReachableMethodAnalysis::is_method_reachable)";
 val_t global___cha_analysis___ChaContext___is_method_reachable(val_t p0, val_t p1){
   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
   val_t REGB0;
@@ -88,6 +91,7 @@ val_t global___cha_analysis___ChaContext___is_method_reachable(val_t p0, val_t p
   stack_frame_head = fra.me.prev;
   return REGB0;
 }
+static const char LOCATE_global___cha_analysis___ChaContext___init[] = "cha_analysis::ChaContext::init";
 void global___cha_analysis___ChaContext___init(val_t p0, int* init_table){
   int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_global___cha_analysis___ChaContext].i;
   struct {struct stack_frame_t me;} fra;
@@ -104,6 +108,7 @@ void global___cha_analysis___ChaContext___init(val_t p0, int* init_table){
   init_table[itpos0] = 1;
   return;
 }
+static const char LOCATE_global___cha_analysis___ChaBuilder___iroutine_to_search[] = "cha_analysis::ChaBuilder::iroutine_to_search";
 val_t global___cha_analysis___ChaBuilder___iroutine_to_search(val_t p0){
   struct {struct stack_frame_t me;} fra;
   val_t REGB0;
@@ -127,6 +132,7 @@ val_t global___cha_analysis___ChaBuilder___iroutine_to_search(val_t p0){
   stack_frame_head = fra.me.prev;
   return fra.me.REG[0];
 }
+static const char LOCATE_global___cha_analysis___ChaBuilder___context[] = "cha_analysis::ChaBuilder::context";
 val_t global___cha_analysis___ChaBuilder___context(val_t p0){
   struct {struct stack_frame_t me;} fra;
   val_t REGB0;
@@ -150,6 +156,7 @@ val_t global___cha_analysis___ChaBuilder___context(val_t p0){
   stack_frame_head = fra.me.prev;
   return fra.me.REG[0];
 }
+static const char LOCATE_global___cha_analysis___ChaBuilder___program[] = "cha_analysis::ChaBuilder::program";
 val_t global___cha_analysis___ChaBuilder___program(val_t p0){
   struct {struct stack_frame_t me;} fra;
   val_t REGB0;
@@ -173,6 +180,7 @@ val_t global___cha_analysis___ChaBuilder___program(val_t p0){
   stack_frame_head = fra.me.prev;
   return fra.me.REG[0];
 }
+static const char LOCATE_global___cha_analysis___ChaBuilder___init[] = "cha_analysis::ChaBuilder::init";
 void global___cha_analysis___ChaBuilder___init(val_t p0, val_t p1, int* init_table){
   int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_global___cha_analysis___ChaBuilder].i;
   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
@@ -198,6 +206,7 @@ void global___cha_analysis___ChaBuilder___init(val_t p0, val_t p1, int* init_tab
   init_table[itpos1] = 1;
   return;
 }
+static const char LOCATE_global___cha_analysis___ChaBuilder___add_search[] = "cha_analysis::ChaBuilder::add_search";
 void global___cha_analysis___ChaBuilder___add_search(val_t p0, val_t p1, val_t p2, val_t p3, val_t p4){
   struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
   val_t REGB0;
@@ -227,7 +236,7 @@ void global___cha_analysis___ChaBuilder___add_search(val_t p0, val_t p1, val_t p
   } else {
     REGB3 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
     if (UNTAG_Bool(REGB3)) {
-      REGB3 = TAG_Bool(false);
+      REGB3 = TAG_Bool(0);
       REGB2 = REGB3;
     } else {
       REGB3 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
@@ -240,7 +249,7 @@ void global___cha_analysis___ChaBuilder___add_search(val_t p0, val_t p1, val_t p
     REGB2 = CALL_global___reachable_method_analysis___ReachableMethodAnalysis___is_iroutine_reachable(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[2]);
     REGB2 = TAG_Bool(!UNTAG_Bool(REGB2));
   } else {
-    REGB3 = TAG_Bool(false);
+    REGB3 = TAG_Bool(0);
     REGB2 = REGB3;
   }
   if (UNTAG_Bool(REGB2)) {
@@ -263,7 +272,7 @@ void global___cha_analysis___ChaBuilder___add_search(val_t p0, val_t p1, val_t p
   } else {
     REGB3 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
     if (UNTAG_Bool(REGB3)) {
-      REGB3 = TAG_Bool(false);
+      REGB3 = TAG_Bool(0);
       REGB2 = REGB3;
     } else {
       REGB3 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL);
@@ -323,8 +332,8 @@ void global___cha_analysis___ChaBuilder___add_search(val_t p0, val_t p1, val_t p
         if (UNTAG_Bool(REGB0)) {
           /* global/cha_analysis.nit:59 */
           fra.me.REG[1] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[0])(fra.me.REG[0]);
-          REGB0 = TAG_Bool(true);
-          REGB1 = TAG_Bool(false);
+          REGB0 = TAG_Bool(1);
+          REGB1 = TAG_Bool(0);
           CALL_global___cha_analysis___ChaBuilder___add_search(closctx->REG[0])(closctx->REG[0], fra.me.REG[0], fra.me.REG[1], REGB0, REGB1);
         }
         stack_frame_head = fra.me.prev;
@@ -354,13 +363,14 @@ void global___cha_analysis___ChaBuilder___add_search(val_t p0, val_t p1, val_t p
         if (UNTAG_Bool(REGB0)) {
           /* global/cha_analysis.nit:68 */
           fra.me.REG[1] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[0])(fra.me.REG[0]);
-          REGB0 = TAG_Bool(true);
-          REGB1 = TAG_Bool(false);
+          REGB0 = TAG_Bool(1);
+          REGB1 = TAG_Bool(0);
           CALL_global___cha_analysis___ChaBuilder___add_search(closctx->REG[0])(closctx->REG[0], fra.me.REG[0], fra.me.REG[1], REGB0, REGB1);
         }
         stack_frame_head = fra.me.prev;
         return;
       }
+static const char LOCATE_global___cha_analysis___ChaBuilder___work[] = "cha_analysis::ChaBuilder::work";
 void global___cha_analysis___ChaBuilder___work(val_t p0){
   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
   val_t REGB0;
@@ -386,7 +396,7 @@ void global___cha_analysis___ChaBuilder___work(val_t p0){
   } 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);
@@ -402,8 +412,8 @@ void global___cha_analysis___ChaBuilder___work(val_t p0){
     nit_abort("Reciever is null", NULL, LOCATE_global___cha_analysis, 80);
   }
   fra.me.REG[2] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[1])(fra.me.REG[1]);
-  REGB0 = TAG_Bool(true);
-  REGB1 = TAG_Bool(false);
+  REGB0 = TAG_Bool(1);
+  REGB1 = TAG_Bool(0);
   CALL_global___cha_analysis___ChaBuilder___add_search(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[2], REGB0, REGB1);
   /* global/cha_analysis.nit:82 */
   while(1) {
@@ -429,6 +439,7 @@ void global___cha_analysis___ChaBuilder___work(val_t p0){
   stack_frame_head = fra.me.prev;
   return;
 }
+static const char LOCATE_global___cha_analysis___ChaVisitor___builder[] = "cha_analysis::ChaVisitor::builder";
 val_t global___cha_analysis___ChaVisitor___builder(val_t p0){
   struct {struct stack_frame_t me;} fra;
   val_t REGB0;
@@ -452,6 +463,7 @@ val_t global___cha_analysis___ChaVisitor___builder(val_t p0){
   stack_frame_head = fra.me.prev;
   return fra.me.REG[0];
 }
+static const char LOCATE_global___cha_analysis___ChaVisitor___visit_icode[] = "cha_analysis::ChaVisitor::(icode_tools::ICodeVisitor::visit_icode)";
 void global___cha_analysis___ChaVisitor___visit_icode(val_t p0, val_t p1){
   struct {struct stack_frame_t me; val_t MORE_REG[6];} fra;
   val_t REGB0;
@@ -492,8 +504,8 @@ void global___cha_analysis___ChaVisitor___visit_icode(val_t p0, val_t p1){
     }
     fra.me.REG[6] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
     fra.me.REG[6] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[6])(fra.me.REG[6]);
-    REGB0 = TAG_Bool(true);
-    REGB1 = TAG_Bool(false);
+    REGB0 = TAG_Bool(1);
+    REGB1 = TAG_Bool(0);
     CALL_global___cha_analysis___ChaBuilder___add_search(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[5], fra.me.REG[6], REGB0, REGB1);
   } else {
     /* global/cha_analysis.nit:99 */
@@ -539,8 +551,8 @@ void global___cha_analysis___ChaVisitor___visit_icode(val_t p0, val_t p1){
           nit_abort("Reciever is null", NULL, LOCATE_global___cha_analysis, 106);
         }
         fra.me.REG[4] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
-        REGB1 = TAG_Bool(false);
-        REGB0 = TAG_Bool(false);
+        REGB1 = TAG_Bool(0);
+        REGB0 = TAG_Bool(0);
         CALL_global___cha_analysis___ChaBuilder___add_search(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[4], fra.me.REG[6], REGB1, REGB0);
       }
     } else {
@@ -560,8 +572,8 @@ void global___cha_analysis___ChaVisitor___visit_icode(val_t p0, val_t p1){
         }
         fra.me.REG[5] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
         fra.me.REG[5] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[5])(fra.me.REG[5]);
-        REGB0 = TAG_Bool(false);
-        REGB1 = TAG_Bool(true);
+        REGB0 = TAG_Bool(0);
+        REGB1 = TAG_Bool(1);
         CALL_global___cha_analysis___ChaBuilder___add_search(fra.me.REG[6])(fra.me.REG[6], fra.me.REG[4], fra.me.REG[5], REGB0, REGB1);
       } else {
         /* global/cha_analysis.nit:110 */
@@ -580,8 +592,8 @@ void global___cha_analysis___ChaVisitor___visit_icode(val_t p0, val_t p1){
           }
           fra.me.REG[6] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
           fra.me.REG[6] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[6])(fra.me.REG[6]);
-          REGB1 = TAG_Bool(false);
-          REGB0 = TAG_Bool(false);
+          REGB1 = TAG_Bool(0);
+          REGB0 = TAG_Bool(0);
           CALL_global___cha_analysis___ChaBuilder___add_search(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[4], fra.me.REG[6], REGB1, REGB0);
         } else {
           /* global/cha_analysis.nit:112 */
@@ -603,8 +615,8 @@ void global___cha_analysis___ChaVisitor___visit_icode(val_t p0, val_t p1){
             fra.me.REG[4] = CALL_program___MMLocalClass___checknew_iroutine(fra.me.REG[4])(fra.me.REG[4]);
             /* global/cha_analysis.nit:116 */
             fra.me.REG[6] = CALL_global___cha_analysis___ChaVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
-            REGB0 = TAG_Bool(true);
-            REGB1 = TAG_Bool(false);
+            REGB0 = TAG_Bool(1);
+            REGB1 = TAG_Bool(0);
             CALL_global___cha_analysis___ChaBuilder___add_search(fra.me.REG[6])(fra.me.REG[6], NIT_NULL, fra.me.REG[4], REGB0, REGB1);
           } else {
             /* global/cha_analysis.nit:117 */
@@ -626,8 +638,8 @@ void global___cha_analysis___ChaVisitor___visit_icode(val_t p0, val_t p1){
               fra.me.REG[4] = CALL_program___MMLocalClass___init_var_iroutine(fra.me.REG[4])(fra.me.REG[4]);
               /* global/cha_analysis.nit:121 */
               fra.me.REG[2] = CALL_global___cha_analysis___ChaVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
-              REGB1 = TAG_Bool(true);
-              REGB0 = TAG_Bool(false);
+              REGB1 = TAG_Bool(1);
+              REGB0 = TAG_Bool(0);
               CALL_global___cha_analysis___ChaBuilder___add_search(fra.me.REG[2])(fra.me.REG[2], NIT_NULL, fra.me.REG[4], REGB1, REGB0);
             }
           }
@@ -640,6 +652,7 @@ void global___cha_analysis___ChaVisitor___visit_icode(val_t p0, val_t p1){
   stack_frame_head = fra.me.prev;
   return;
 }
+static const char LOCATE_global___cha_analysis___ChaVisitor___init[] = "cha_analysis::ChaVisitor::init";
 void global___cha_analysis___ChaVisitor___init(val_t p0, val_t p1, int* init_table){
   int itpos2 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_global___cha_analysis___ChaVisitor].i;
   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;