val_t compiling___compiling_writer___Writer___add_all(val_t p0, val_t p1, val_t p2){
  struct {struct stack_frame_t me; val_t MORE_REG[4];} fra;
  val_t REGB0;
  val_t REGB1;
  val_t REGB2;
  val_t REGB3;
  val_t tmp;
  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  fra.me.file = LOCATE_compiling___compiling_writer;
  fra.me.line = 38;
  fra.me.meth = LOCATE_compiling___compiling_writer___Writer___add_all;
  fra.me.has_broke = 0;
  fra.me.REG_size = 5;
  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[0] = p0;
  fra.me.REG[1] = p1;
  fra.me.REG[2] = p2;
  /* compiling/compiling_writer.nit:41 */
  REGB0 = CALL_compiling___compiling_writer___Writer___is_frozen(fra.me.REG[0])(fra.me.REG[0]);
  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Assert failed", NULL, LOCATE_compiling___compiling_writer, 41);
  }
  /* compiling/compiling_writer.nit:42 */
  REGB0 = TAG_Bool(true);
  /* ../lib/standard/collection/array.nit:269 */
  REGB1 = TAG_Int(0);
  /* ../lib/standard/collection/array.nit:270 */
  REGB2 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
  if (UNTAG_Bool(REGB2)) {
  } else {
    nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 270);
  }
  REGB2 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1]);
  /* ../lib/standard/collection/array.nit:271 */
  fra.me.REG[3] = ATTR_standard___collection___array___Array____items(fra.me.REG[1]);
  /* ../lib/standard/collection/array.nit:272 */
  while(1) {
    /* ../lib/standard/collection/array.nit:24 */
    REGB2 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
    if (UNTAG_Bool(REGB2)) {
    } else {
      nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 24);
    }
    REGB2 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1]);
    REGB3 = TAG_Bool(VAL_ISA(REGB2, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1), VTID_standard___kernel___Comparable___OTHER(REGB1))) /*cast OTHER*/;
    if (UNTAG_Bool(REGB3)) {
    } else {
      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
    }
    /* ../lib/standard/kernel.nit:232 */
    REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB2));
    /* ../lib/standard/collection/array.nit:272 */
    if (UNTAG_Bool(REGB2)) {
      /* ../lib/standard/collection/array.nit:273 */
      REGB2 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
      if (UNTAG_Bool(REGB2)) {
        nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 273);
      }
      /* ../lib/standard/collection/array.nit:718 */
      fra.me.REG[4] = ((Nit_NativeArray)fra.me.REG[3])->val[UNTAG_Int(REGB1)];
      /* compiling/compiling_writer.nit:44 */
      if (UNTAG_Bool(REGB0)) {
        REGB2 = TAG_Bool(false);
        REGB0 = REGB2;
      } else {
        CALL_compiling___compiling_writer___Writer___add(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
      }
      /* compiling/compiling_writer.nit:45 */
      CALL_compiling___compiling_writer___Writer___add(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[4]);
      /* ../lib/standard/collection/array.nit:274 */
      REGB2 = TAG_Int(1);
      /* ../lib/standard/kernel.nit:235 */
      REGB2 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB2));
      /* ../lib/standard/collection/array.nit:274 */
      REGB1 = REGB2;
    } else {
      /* ../lib/standard/collection/array.nit:272 */
      goto label1;
    }
  }
  label1: while(0);
  /* compiling/compiling_writer.nit:47 */
  goto label2;
  label2: while(0);
  stack_frame_head = fra.me.prev;
  return fra.me.REG[0];
}
예제 #2
0
 void OC_global___reachable_as_init___Program___dump_reachable_as_init_methods_5(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;
     static val_t once_value_7; /* Once value */
     static val_t once_value_8; /* Once value */
   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
   fra.me.file = LOCATE_global___reachable_as_init;
   fra.me.line = 0;
   fra.me.meth = LOCATE_global___reachable_as_init___Program___dump_reachable_as_init_methods;
   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_as_init.nit:32 */
   fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalClass_____bra(closctx->REG[1])(closctx->REG[1], fra.me.REG[0]);
   /* global/reachable_as_init.nit:33 */
   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[1]);
   REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
   if (UNTAG_Bool(REGB0)) {
     goto label6;
   }
   /* global/reachable_as_init.nit:34 */
   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_as_init, 34);
   }
   /* global/reachable_as_init.nit:35 */
   fra.me.REG[1] = CALL_global___reachable_as_init___Program___rai(closctx->REG[0])(closctx->REG[0]);
   REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
   if (UNTAG_Bool(REGB0)) {
     nit_abort("Reciever is null", NULL, LOCATE_global___reachable_as_init, 35);
   }
   REGB0 = CALL_global___reachable_as_init___ReachableAsInitAnalysis___is_method_reachable_as_init(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0], closctx->REG[1]);
   if (UNTAG_Bool(REGB0)) {
     /* global/reachable_as_init.nit:36 */
     REGB0 = TAG_Int(3);
     fra.me.REG[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
     if (!once_value_7) {
       fra.me.REG[2] = BOX_NativeString("");
       REGB0 = TAG_Int(0);
       fra.me.REG[2] = NEW_String_standard___string___String___with_native(fra.me.REG[2], REGB0);
       once_value_7 = fra.me.REG[2];
       register_static_object(&once_value_7);
     } else fra.me.REG[2] = once_value_7;
     fra.me.REG[2] = fra.me.REG[2];
     CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
     fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalProperty___full_name(fra.me.REG[0])(fra.me.REG[0]);
     CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
     if (!once_value_8) {
       fra.me.REG[0] = BOX_NativeString("\n");
       REGB0 = TAG_Int(1);
       fra.me.REG[0] = NEW_String_standard___string___String___with_native(fra.me.REG[0], REGB0);
       once_value_8 = fra.me.REG[0];
       register_static_object(&once_value_8);
     } else fra.me.REG[0] = once_value_8;
     fra.me.REG[0] = fra.me.REG[0];
     CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
     fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
     CALL_standard___stream___OStream___write(closctx->REG[2])(closctx->REG[2], fra.me.REG[1]);
   }
   label6: while(0);
   stack_frame_head = fra.me.prev;
   return;
 }
void compiling___compiling_writer___Writer___write_to_stream(val_t p0, val_t p1){
  struct {struct stack_frame_t me; val_t MORE_REG[3];} 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_compiling___compiling_writer;
  fra.me.line = 84;
  fra.me.meth = LOCATE_compiling___compiling_writer___Writer___write_to_stream;
  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;
  /* compiling/compiling_writer.nit:87 */
  REGB0 = TAG_Bool(ATTR_compiling___compiling_writer___Writer____is_writing(fra.me.REG[0])!=NIT_NULL);
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Uninitialized attribute %s", "_is_writing", LOCATE_compiling___compiling_writer, 87);
  }
  REGB0 = ATTR_compiling___compiling_writer___Writer____is_writing(fra.me.REG[0]);
  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Assert failed", NULL, LOCATE_compiling___compiling_writer, 87);
  }
  /* compiling/compiling_writer.nit:88 */
  REGB0 = TAG_Bool(true);
  ATTR_compiling___compiling_writer___Writer____is_writing(fra.me.REG[0]) = REGB0;
  /* compiling/compiling_writer.nit:89 */
  fra.me.REG[2] = ATTR_compiling___compiling_writer___Writer____first_sub_writer(fra.me.REG[0]);
  /* compiling/compiling_writer.nit:90 */
  while(1) {
    REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
      REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
      if (UNTAG_Bool(REGB1)) {
        REGB1 = TAG_Bool(false);
        REGB0 = REGB1;
      } else {
        REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
        REGB0 = REGB1;
      }
    }
    REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
    if (UNTAG_Bool(REGB0)) {
      /* compiling/compiling_writer.nit:91 */
      REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
      if (UNTAG_Bool(REGB0)) {
        nit_abort("Reciever is null", NULL, LOCATE_compiling___compiling_writer, 91);
      }
      CALL_compiling___compiling_writer___WriterNode___internal_write_to_stream(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
      /* compiling/compiling_writer.nit:92 */
      fra.me.REG[3] = ATTR_compiling___compiling_writer___WriterNode____next_writer(fra.me.REG[2]);
      fra.me.REG[2] = fra.me.REG[3];
    } else {
      /* compiling/compiling_writer.nit:90 */
      goto label1;
    }
  }
  label1: while(0);
  /* compiling/compiling_writer.nit:94 */
  REGB0 = TAG_Bool(false);
  ATTR_compiling___compiling_writer___Writer____is_writing(fra.me.REG[0]) = REGB0;
  stack_frame_head = fra.me.prev;
  return;
}
예제 #4
0
void ffi___ffi_base___MMMethod___accept_ffi_visitor(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;
      static val_t once_value_1; /* Once value */
      static val_t once_value_2; /* Once value */
      static val_t once_value_3; /* Once value */
      static val_t once_value_4; /* Once value */
      static val_t once_value_5; /* Once value */
  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  fra.me.file = LOCATE_ffi___ffi_base;
  fra.me.line = 55;
  fra.me.meth = LOCATE_ffi___ffi_base___MMMethod___accept_ffi_visitor;
  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;
  /* ffi/ffi_base.nit:59 */
  fra.me.REG[2] = CALL_syntax___extern_inline___MMMethod___extern_implementation(fra.me.REG[0])(fra.me.REG[0]);
  REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
  if (UNTAG_Bool(REGB0)) {
  } else {
    REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
    if (UNTAG_Bool(REGB1)) {
      REGB1 = TAG_Bool(0);
      REGB0 = REGB1;
    } else {
      REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
      REGB0 = REGB1;
    }
  }
  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
  if (UNTAG_Bool(REGB0)) {
    /* ffi/ffi_base.nit:60 */
    fra.me.REG[2] = CALL_syntax___extern_inline___MMMethod___extern_implementation(fra.me.REG[0])(fra.me.REG[0]);
    REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
      nit_abort("Reciever is null", NULL, LOCATE_ffi___ffi_base, 60);
    }
    fra.me.REG[2] = CALL_syntax___extern_inline___ExternCode___language(fra.me.REG[2])(fra.me.REG[2]);
    /* ffi/ffi_base.nit:61 */
    REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
      REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
      if (UNTAG_Bool(REGB1)) {
        REGB1 = TAG_Bool(0);
        REGB0 = REGB1;
      } else {
        REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
        REGB0 = REGB1;
      }
    }
    REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
    if (UNTAG_Bool(REGB0)) {
      /* ffi/ffi_base.nit:62 */
      fra.me.REG[3] = CALL_ffi___ffi_base___FFIVisitor___tc(fra.me.REG[1])(fra.me.REG[1]);
      REGB0 = TAG_Int(5);
      fra.me.REG[4] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
      if (!once_value_1) {
        fra.me.REG[5] = BOX_NativeString("language \"");
        REGB0 = TAG_Int(10);
        fra.me.REG[5] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[5])(fra.me.REG[5], REGB0);
        once_value_1 = fra.me.REG[5];
        register_static_object(&once_value_1);
      } else fra.me.REG[5] = once_value_1;
      fra.me.REG[5] = fra.me.REG[5];
      CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[5]);
      CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[2]);
      if (!once_value_2) {
        fra.me.REG[2] = BOX_NativeString("\" used to implement ");
        REGB0 = TAG_Int(20);
        fra.me.REG[2] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[2])(fra.me.REG[2], REGB0);
        once_value_2 = fra.me.REG[2];
        register_static_object(&once_value_2);
      } else fra.me.REG[2] = once_value_2;
      fra.me.REG[2] = fra.me.REG[2];
      CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[2]);
      fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMLocalProperty___full_name(fra.me.REG[0])(fra.me.REG[0]);
      CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[2]);
      if (!once_value_3) {
        fra.me.REG[2] = BOX_NativeString(" is unknown.");
        REGB0 = TAG_Int(12);
        fra.me.REG[2] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[2])(fra.me.REG[2], REGB0);
        once_value_3 = fra.me.REG[2];
        register_static_object(&once_value_3);
      } else fra.me.REG[2] = once_value_3;
      fra.me.REG[2] = fra.me.REG[2];
      CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[2]);
      fra.me.REG[4] = CALL_standard___string___Object___to_s(fra.me.REG[4])(fra.me.REG[4]);
      CALL_toolcontext___ToolContext___warning(fra.me.REG[3])(fra.me.REG[3], NIT_NULL, fra.me.REG[4]);
    } else {
      /* ffi/ffi_base.nit:64 */
      fra.me.REG[1] = CALL_ffi___ffi_base___FFIVisitor___tc(fra.me.REG[1])(fra.me.REG[1]);
      REGB0 = TAG_Int(3);
      fra.me.REG[4] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
      if (!once_value_4) {
        fra.me.REG[3] = BOX_NativeString("please specify a language to implement ");
        REGB0 = TAG_Int(39);
        fra.me.REG[3] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[3])(fra.me.REG[3], REGB0);
        once_value_4 = fra.me.REG[3];
        register_static_object(&once_value_4);
      } else fra.me.REG[3] = once_value_4;
      fra.me.REG[3] = fra.me.REG[3];
      CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[3]);
      fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalProperty___full_name(fra.me.REG[0])(fra.me.REG[0]);
      CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[0]);
      if (!once_value_5) {
        fra.me.REG[0] = BOX_NativeString(".");
        REGB0 = TAG_Int(1);
        fra.me.REG[0] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[0])(fra.me.REG[0], REGB0);
        once_value_5 = fra.me.REG[0];
        register_static_object(&once_value_5);
      } else fra.me.REG[0] = once_value_5;
      fra.me.REG[0] = fra.me.REG[0];
      CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[0]);
      fra.me.REG[4] = CALL_standard___string___Object___to_s(fra.me.REG[4])(fra.me.REG[4]);
      CALL_toolcontext___ToolContext___warning(fra.me.REG[1])(fra.me.REG[1], NIT_NULL, fra.me.REG[4]);
    }
  }
  stack_frame_head = fra.me.prev;
  return;
}
예제 #5
0
 void OC_ffi___ffi_base___MMModule___accept_ffi_visitor_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[1];} 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_ffi___ffi_base;
   fra.me.line = 0;
   fra.me.meth = LOCATE_ffi___ffi_base___MMModule___accept_ffi_visitor;
   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.closure_ctx = closctx_param;
   fra.me.closure_funs = CREG;
   fra.me.REG[0] = p0;
   CREG[0] = clos_fun0;
   /* ffi/ffi_base.nit:106 */
   fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMLocalProperty___mmmodule(fra.me.REG[0])(fra.me.REG[0]);
   REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],closctx->REG[0]));
   if (UNTAG_Bool(REGB0)) {
   } else {
     REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], closctx->REG[0]);
     REGB0 = REGB1;
   }
   if (UNTAG_Bool(REGB0)) {
     REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[0], COLOR_metamodel___abstractmetamodel___MMMethod, ID_metamodel___abstractmetamodel___MMMethod)) /*cast MMMethod*/;
   } else {
     REGB1 = TAG_Bool(0);
     REGB0 = REGB1;
   }
   if (UNTAG_Bool(REGB0)) {
     REGB0 = CALL_metamodel___abstractmetamodel___MMMethod___is_extern(fra.me.REG[0])(fra.me.REG[0]);
   } else {
     REGB1 = TAG_Bool(0);
     REGB0 = REGB1;
   }
   if (UNTAG_Bool(REGB0)) {
     /* ffi/ffi_base.nit:107 */
     fra.me.REG[1] = CALL_syntax___extern_inline___MMMethod___extern_implementation(fra.me.REG[0])(fra.me.REG[0]);
     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));
   } else {
     /* ffi/ffi_base.nit:106 */
     REGB1 = TAG_Bool(0);
     REGB0 = REGB1;
   }
   if (UNTAG_Bool(REGB0)) {
     /* ffi/ffi_base.nit:108 */
     CALL_ffi___ffi_base___FFIVisited___accept_ffi_visitor(fra.me.REG[0])(fra.me.REG[0], closctx->REG[1]);
   }
   stack_frame_head = fra.me.prev;
   return;
 }
예제 #6
0
val_t utils___Object___cmangle(val_t p0, val_t p1){
  struct {struct stack_frame_t me; val_t MORE_REG[6];} fra;
  val_t REGB0;
  val_t REGB1;
  val_t REGB2;
  val_t tmp;
  static val_t once_value_1; /* Once value */
  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  fra.me.file = LOCATE_utils;
  fra.me.line = 23;
  fra.me.meth = LOCATE_utils___Object___cmangle;
  fra.me.has_broke = 0;
  fra.me.REG_size = 7;
  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[6] = NIT_NULL;
  fra.me.REG[0] = p0;
  fra.me.REG[1] = p1;
  /* utils.nit:23 */
  fra.me.REG[2] = fra.me.REG[0];
  REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], COLOR_standard___collection___array___Array, ID_standard___collection___array___Array)) /*cast Array[Symbol]*/;
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Cast failed", NULL, LOCATE_utils, 23);
  }
  /* utils.nit:26 */
  if (!once_value_1) {
    fra.me.REG[2] = CALL_utils___Object___cmangle_table(fra.me.REG[2])(fra.me.REG[2]);
    once_value_1 = fra.me.REG[2];
    register_static_object(&once_value_1);
  } else fra.me.REG[2] = once_value_1;
  fra.me.REG[2] = fra.me.REG[2];
  /* utils.nit:27 */
  fra.me.REG[0] = NEW_Buffer_standard___string___Buffer___init();
  /* ../lib/standard/collection/array.nit:269 */
  REGB0 = TAG_Int(0);
  /* ../lib/standard/collection/array.nit:270 */
  REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
  if (UNTAG_Bool(REGB1)) {
  } else {
    nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 270);
  }
  REGB1 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1]);
  /* ../lib/standard/collection/array.nit:271 */
  fra.me.REG[3] = ATTR_standard___collection___array___Array____items(fra.me.REG[1]);
  /* ../lib/standard/collection/array.nit:272 */
  while(1) {
    /* ../lib/standard/collection/array.nit:24 */
    REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
    if (UNTAG_Bool(REGB1)) {
    } else {
      nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 24);
    }
    REGB1 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1]);
    REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
    if (UNTAG_Bool(REGB2)) {
    } else {
      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
    }
    /* ../lib/standard/kernel.nit:235 */
    REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
    /* ../lib/standard/collection/array.nit:272 */
    if (UNTAG_Bool(REGB1)) {
      /* ../lib/standard/collection/array.nit:273 */
      REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
      if (UNTAG_Bool(REGB1)) {
        nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 273);
      }
      /* ../lib/standard/collection/array.nit:718 */
      fra.me.REG[4] = ((Nit_NativeArray)fra.me.REG[3])->val[UNTAG_Int(REGB0)];
      /* utils.nit:29 */
      REGB1 = CALL_standard___collection___abstract_collection___Collection___is_empty(fra.me.REG[0])(fra.me.REG[0]);
      REGB1 = TAG_Bool(!UNTAG_Bool(REGB1));
      if (UNTAG_Bool(REGB1)) {
        /* utils.nit:30 */
        REGB1 = TAG_Char('_');
        CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], REGB1);
        /* utils.nit:31 */
        REGB1 = TAG_Char('_');
        CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], REGB1);
        /* utils.nit:32 */
        REGB1 = TAG_Char('_');
        CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], REGB1);
      }
      /* utils.nit:34 */
      REGB1 = TAG_Bool(0);
      fra.me.REG[5] = REGB1;
      /* utils.nit:35 */
      REGB1 = TAG_Bool(1);
      fra.me.REG[6] = REGB1;
      /* utils.nit:36 */
      fra.me.REG[4] = CALL_standard___string___Object___to_s(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_utils___Object___cmangle_2));
      /* ../lib/standard/collection/array.nit:274 */
      REGB1 = TAG_Int(1);
      /* ../lib/standard/kernel.nit:238 */
      REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
      /* ../lib/standard/collection/array.nit:274 */
      REGB0 = REGB1;
    } else {
      /* ../lib/standard/collection/array.nit:272 */
      goto label3;
    }
  }
  label3: while(0);
  /* utils.nit:57 */
  fra.me.REG[0] = CALL_standard___string___Object___to_s(fra.me.REG[0])(fra.me.REG[0]);
  goto label4;
  label4: while(0);
  stack_frame_head = fra.me.prev;
  return fra.me.REG[0];
}
 void OC_global___reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init_4(struct stack_frame_t *closctx, val_t p0){
   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
   val_t REGB0;
   val_t REGB1;
   val_t tmp;
     static val_t once_value_5; /* Once value */
     static val_t once_value_6; /* Once value */
   /* global/reachable_from_init_method_analysis.nit:44 */
   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
   fra.me.file = LOCATE_global___reachable_from_init_method_analysis;
   fra.me.line = 44;
   fra.me.meth = LOCATE_global___reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init;
   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.nit:45 */
   fra.me.REG[1] = CALL_global___reachable_from_init_method_analysis___Program___rfima(closctx->REG[0])(closctx->REG[0]);
   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, 45);
   }
   REGB0 = CALL_global___reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_method_reachable_from_init(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
   REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
   if (UNTAG_Bool(REGB0)) {
     fra.me.REG[1] = CALL_global___reachable_method_analysis___Program___rma(closctx->REG[0])(closctx->REG[0]);
     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, 45);
     }
     REGB0 = CALL_global___reachable_method_analysis___ReachableMethodAnalysis___is_method_reachable(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
   } else {
     REGB1 = TAG_Bool(0);
     REGB0 = REGB1;
   }
   if (UNTAG_Bool(REGB0)) {
     /* global/reachable_from_init_method_analysis.nit:46 */
     REGB0 = TAG_Int(3);
     fra.me.REG[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
     if (!once_value_5) {
       fra.me.REG[2] = BOX_NativeString("");
       REGB0 = TAG_Int(0);
       fra.me.REG[2] = NEW_String_standard___string___String___with_native(fra.me.REG[2], REGB0);
       once_value_5 = fra.me.REG[2];
       register_static_object(&once_value_5);
     } else fra.me.REG[2] = once_value_5;
     fra.me.REG[2] = fra.me.REG[2];
     CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
     fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalProperty___full_name(fra.me.REG[0])(fra.me.REG[0]);
     CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
     if (!once_value_6) {
       fra.me.REG[0] = BOX_NativeString("\n");
       REGB0 = TAG_Int(1);
       fra.me.REG[0] = NEW_String_standard___string___String___with_native(fra.me.REG[0], REGB0);
       once_value_6 = fra.me.REG[0];
       register_static_object(&once_value_6);
     } else fra.me.REG[0] = once_value_6;
     fra.me.REG[0] = fra.me.REG[0];
     CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
     fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
     CALL_standard___stream___OStream___write(closctx->REG[2])(closctx->REG[2], fra.me.REG[1]);
   }
   stack_frame_head = fra.me.prev;
   return;
 }
 void OC_syntax___extern_type_inheritance___MMLocalClass___extern_type_10(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[3];} fra;
   val_t REGB0;
   fun_t CREG[1];
   val_t tmp;
   static val_t once_value_11; /* Once value */
   static val_t once_value_12; /* Once value */
   static val_t once_value_13; /* Once value */
   /* syntax/extern_type_inheritance.nit:73 */
   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
   fra.me.file = LOCATE_syntax___extern_type_inheritance;
   fra.me.line = 0;
   fra.me.meth = LOCATE_syntax___extern_type_inheritance___MMLocalClass___extern_type;
   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.closure_ctx = closctx_param;
   fra.me.closure_funs = CREG;
   fra.me.REG[0] = p0;
   CREG[0] = clos_fun0;
   fra.me.REG[1] = CALL_standard___file___Object___stderr(closctx->REG[0])(closctx->REG[0]);
   REGB0 = TAG_Int(5);
   fra.me.REG[2] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
   if (!once_value_11) {
     fra.me.REG[3] = BOX_NativeString("");
     REGB0 = TAG_Int(0);
     fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB0);
     once_value_11 = fra.me.REG[3];
     register_static_object(&once_value_11);
   } else fra.me.REG[3] = once_value_11;
   fra.me.REG[3] = fra.me.REG[3];
   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
   fra.me.REG[3] = CALL_syntax___extern_inline___MMLocalClass___extern_type(fra.me.REG[0])(fra.me.REG[0]);
   REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
   if (UNTAG_Bool(REGB0)) {
     nit_abort("Reciever is null", NULL, LOCATE_syntax___extern_type_inheritance, 73);
   }
   fra.me.REG[3] = CALL_syntax___extern_inline___ExternCode___code(fra.me.REG[3])(fra.me.REG[3]);
   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
   if (!once_value_12) {
     fra.me.REG[3] = BOX_NativeString(" from ");
     REGB0 = TAG_Int(7);
     fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB0);
     once_value_12 = fra.me.REG[3];
     register_static_object(&once_value_12);
   } else fra.me.REG[3] = once_value_12;
   fra.me.REG[3] = fra.me.REG[3];
   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
   fra.me.REG[0] = CALL_standard___string___Object___to_s(fra.me.REG[0])(fra.me.REG[0]);
   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[0]);
   if (!once_value_13) {
     fra.me.REG[0] = BOX_NativeString("\n");
     REGB0 = TAG_Int(1);
     fra.me.REG[0] = NEW_String_standard___string___String___with_native(fra.me.REG[0], REGB0);
     once_value_13 = fra.me.REG[0];
     register_static_object(&once_value_13);
   } else fra.me.REG[0] = once_value_13;
   fra.me.REG[0] = fra.me.REG[0];
   CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[0]);
   fra.me.REG[2] = CALL_standard___string___Object___to_s(fra.me.REG[2])(fra.me.REG[2]);
   CALL_standard___stream___OStream___write(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
   stack_frame_head = fra.me.prev;
   return;
 }
예제 #9
0
      void OC_utils___Object___cmangle_2(struct stack_frame_t *closctx, val_t p0){
        struct {struct stack_frame_t me;} fra;
        val_t REGB0;
        val_t REGB1;
        val_t REGB2;
        val_t REGB3;
        val_t tmp;
        /* utils.nit:37 */
        fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
        fra.me.file = LOCATE_utils;
        fra.me.line = 0;
        fra.me.meth = LOCATE_utils___Object___cmangle;
        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;
        REGB0 = fra.me.REG[0];
        /* utils.nit:38 */
        REGB1 = TAG_Char('a');
        REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
        if (UNTAG_Bool(REGB2)) {
        } else {
          nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
        }
        /* ../lib/standard/kernel.nit:387 */
        REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
        /* utils.nit:38 */
        if (UNTAG_Bool(REGB1)) {
          REGB1 = TAG_Char('z');
          REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
          if (UNTAG_Bool(REGB2)) {
          } else {
            nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
          }
          /* ../lib/standard/kernel.nit:385 */
          REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
        } else {
          /* utils.nit:38 */
          REGB2 = TAG_Bool(0);
          REGB1 = REGB2;
        }
        if (UNTAG_Bool(REGB1)) {
          REGB1 = TAG_Bool(1);
        } else {
          REGB2 = TAG_Char('A');
          REGB3 = TAG_Bool(VAL_ISA(REGB2, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
          if (UNTAG_Bool(REGB3)) {
          } else {
            nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
          }
          /* ../lib/standard/kernel.nit:387 */
          REGB2 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB2));
          /* utils.nit:38 */
          if (UNTAG_Bool(REGB2)) {
            REGB2 = TAG_Char('Z');
            REGB3 = TAG_Bool(VAL_ISA(REGB2, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
            if (UNTAG_Bool(REGB3)) {
            } else {
              nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
            }
            /* ../lib/standard/kernel.nit:385 */
            REGB2 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB2));
          } else {
            /* utils.nit:38 */
            REGB3 = TAG_Bool(0);
            REGB2 = REGB3;
          }
          REGB1 = REGB2;
        }
        if (UNTAG_Bool(REGB1)) {
          REGB1 = TAG_Bool(1);
        } else {
          REGB2 = TAG_Char('0');
          REGB3 = TAG_Bool(VAL_ISA(REGB2, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
          if (UNTAG_Bool(REGB3)) {
          } else {
            nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
          }
          /* ../lib/standard/kernel.nit:387 */
          REGB2 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB2));
          /* utils.nit:38 */
          if (UNTAG_Bool(REGB2)) {
            REGB2 = TAG_Char('9');
            REGB3 = TAG_Bool(VAL_ISA(REGB2, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
            if (UNTAG_Bool(REGB3)) {
            } else {
              nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
            }
            /* ../lib/standard/kernel.nit:385 */
            REGB2 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB2));
          } else {
            /* utils.nit:38 */
            REGB3 = TAG_Bool(0);
            REGB2 = REGB3;
          }
          REGB1 = REGB2;
        }
        if (UNTAG_Bool(REGB1)) {
          /* utils.nit:39 */
          CALL_standard___collection___abstract_collection___SimpleCollection___add(closctx->REG[0])(closctx->REG[0], REGB0);
          /* utils.nit:40 */
          REGB1 = TAG_Bool(0);
          closctx->REG[5] = REGB1;
          /* utils.nit:41 */
          REGB1 = TAG_Bool(1);
          closctx->REG[6] = REGB1;
        } else {
          /* utils.nit:42 */
          REGB1 = TAG_Char('_');
          REGB2 = TAG_Bool(IS_EQUAL_OO(REGB0,REGB1));
          if (UNTAG_Bool(REGB2)) {
          } else {
            /* ../lib/standard/kernel.nit:381 */
            REGB1 = TAG_Bool((REGB0)==(REGB1));
            /* utils.nit:42 */
            REGB2 = REGB1;
          }
          if (UNTAG_Bool(REGB2)) {
            REGB2 = TAG_Bool(!UNTAG_Bool(closctx->REG[5]));
          } else {
            REGB1 = TAG_Bool(0);
            REGB2 = REGB1;
          }
          if (UNTAG_Bool(REGB2)) {
            /* utils.nit:43 */
            CALL_standard___collection___abstract_collection___SimpleCollection___add(closctx->REG[0])(closctx->REG[0], REGB0);
            /* utils.nit:44 */
            REGB2 = TAG_Bool(1);
            closctx->REG[5] = REGB2;
            /* utils.nit:45 */
            REGB2 = TAG_Bool(1);
            closctx->REG[6] = REGB2;
          } else {
            /* utils.nit:46 */
            REGB2 = CALL_standard___collection___abstract_collection___MapRead___has_key(closctx->REG[2])(closctx->REG[2], REGB0);
            if (UNTAG_Bool(REGB2)) {
              /* utils.nit:47 */
              if (UNTAG_Bool(closctx->REG[6])) {
		/* utils.nit:48 */
		REGB2 = TAG_Char('_');
		CALL_standard___collection___abstract_collection___SimpleCollection___add(closctx->REG[0])(closctx->REG[0], REGB2);
		/* utils.nit:49 */
		REGB2 = TAG_Char('_');
		CALL_standard___collection___abstract_collection___SimpleCollection___add(closctx->REG[0])(closctx->REG[0], REGB2);
              }
              /* utils.nit:51 */
              fra.me.REG[0] = CALL_standard___collection___abstract_collection___MapRead_____bra(closctx->REG[2])(closctx->REG[2], REGB0);
              CALL_standard___collection___abstract_collection___Sequence___append(closctx->REG[0])(closctx->REG[0], fra.me.REG[0]);
              /* utils.nit:52 */
              REGB0 = TAG_Bool(0);
              closctx->REG[6] = REGB0;
              /* utils.nit:53 */
              REGB0 = TAG_Bool(0);
              closctx->REG[5] = REGB0;
            }
          }
        }
        stack_frame_head = fra.me.prev;
        return;
      }
val_t syntax___extern_type_inheritance___MMLocalClass___extern_type(val_t p0){
  struct {struct stack_frame_t me; val_t MORE_REG[6];} fra;
  val_t REGB0;
  val_t REGB1;
  val_t REGB2;
  val_t tmp;
  static val_t once_value_2; /* Once value */
    static val_t once_value_3; /* Once value */
    static val_t once_value_4; /* Once value */
    static val_t once_value_5; /* Once value */
    static val_t once_value_7; /* Once value */
    static val_t once_value_8; /* Once value */
    static val_t once_value_9; /* Once value */
  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  fra.me.file = LOCATE_syntax___extern_type_inheritance;
  fra.me.line = 41;
  fra.me.meth = LOCATE_syntax___extern_type_inheritance___MMLocalClass___extern_type;
  fra.me.has_broke = 0;
  fra.me.REG_size = 7;
  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[6] = NIT_NULL;
  fra.me.REG[0] = p0;
  /* syntax/extern_type_inheritance.nit:43 */
  fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMLocalClass___global(fra.me.REG[0])(fra.me.REG[0]);
  REGB0 = CALL_metamodel___abstractmetamodel___MMGlobalClass___is_extern(fra.me.REG[1])(fra.me.REG[1]);
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Assert failed", NULL, LOCATE_syntax___extern_type_inheritance, 43);
  }
  /* syntax/extern_type_inheritance.nit:45 */
  fra.me.REG[1] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache(fra.me.REG[0])(fra.me.REG[0]);
  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[1] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache(fra.me.REG[0])(fra.me.REG[0]);
    goto label1;
  }
  /* syntax/extern_type_inheritance.nit:47 */
  fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMLocalClass___global(fra.me.REG[0])(fra.me.REG[0]);
  fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMGlobalClass___intro(fra.me.REG[2])(fra.me.REG[2]);
  REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[2],fra.me.REG[0]));
  if (UNTAG_Bool(REGB0)) {
  } else {
    REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[0]);
    REGB0 = REGB1;
  }
  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
  if (UNTAG_Bool(REGB0)) {
    /* syntax/extern_type_inheritance.nit:48 */
    fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMLocalClass___global(fra.me.REG[0])(fra.me.REG[0]);
    fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMGlobalClass___intro(fra.me.REG[2])(fra.me.REG[2]);
    fra.me.REG[2] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache(fra.me.REG[2])(fra.me.REG[2]);
    REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
      REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
      if (UNTAG_Bool(REGB1)) {
        REGB1 = TAG_Bool(0);
        REGB0 = REGB1;
      } else {
        REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
        REGB0 = REGB1;
      }
    }
    REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
    if (UNTAG_Bool(REGB0)) {
      /* syntax/extern_type_inheritance.nit:49 */
      fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMLocalClass___global(fra.me.REG[0])(fra.me.REG[0]);
      fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMGlobalClass___intro(fra.me.REG[2])(fra.me.REG[2]);
      fra.me.REG[2] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache(fra.me.REG[2])(fra.me.REG[2]);
      CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
      /* syntax/extern_type_inheritance.nit:50 */
      CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_origin_cache__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[0]);
      /* syntax/extern_type_inheritance.nit:51 */
      fra.me.REG[2] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache(fra.me.REG[0])(fra.me.REG[0]);
      fra.me.REG[1] = fra.me.REG[2];
      goto label1;
    }
  }
  /* syntax/extern_type_inheritance.nit:55 */
  fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMLocalClass___name(fra.me.REG[0])(fra.me.REG[0]);
  if (!once_value_2) {
    if (!once_value_3) {
      fra.me.REG[3] = BOX_NativeString("Pointer");
      REGB0 = TAG_Int(7);
      fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB0);
      once_value_3 = fra.me.REG[3];
      register_static_object(&once_value_3);
    } else fra.me.REG[3] = once_value_3;
    fra.me.REG[3] = fra.me.REG[3];
    fra.me.REG[3] = CALL_symbol___String___to_symbol(fra.me.REG[3])(fra.me.REG[3]);
    once_value_2 = fra.me.REG[3];
    register_static_object(&once_value_2);
  } else fra.me.REG[3] = once_value_2;
  fra.me.REG[3] = fra.me.REG[3];
  REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[2],fra.me.REG[3]));
  if (UNTAG_Bool(REGB0)) {
  } else {
    REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
    REGB0 = REGB1;
  }
  if (UNTAG_Bool(REGB0)) {
    /* syntax/extern_type_inheritance.nit:56 */
    if (!once_value_4) {
      fra.me.REG[3] = BOX_NativeString("C");
      REGB0 = TAG_Int(1);
      fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB0);
      once_value_4 = fra.me.REG[3];
      register_static_object(&once_value_4);
    } else fra.me.REG[3] = once_value_4;
    fra.me.REG[3] = fra.me.REG[3];
    if (!once_value_5) {
      fra.me.REG[2] = BOX_NativeString("void*");
      REGB0 = TAG_Int(5);
      fra.me.REG[2] = NEW_String_standard___string___String___with_native(fra.me.REG[2], REGB0);
      once_value_5 = fra.me.REG[2];
      register_static_object(&once_value_5);
    } else fra.me.REG[2] = once_value_5;
    fra.me.REG[2] = fra.me.REG[2];
    fra.me.REG[2] = NEW_ExternCode_syntax___extern_inline___ExternCode___init(fra.me.REG[3], fra.me.REG[2], NIT_NULL);
    CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
    /* syntax/extern_type_inheritance.nit:57 */
    CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_origin_cache__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[0]);
    /* syntax/extern_type_inheritance.nit:58 */
    fra.me.REG[2] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache(fra.me.REG[0])(fra.me.REG[0]);
    fra.me.REG[1] = fra.me.REG[2];
    goto label1;
  }
  /* syntax/extern_type_inheritance.nit:62 */
  fra.me.REG[2] = NEW_HashSet_standard___collection___hash_collection___HashSet___init();
  /* syntax/extern_type_inheritance.nit:63 */
  fra.me.REG[3] = fra.me.REG[0];
  /* syntax/extern_type_inheritance.nit:64 */
  fra.me.REG[3] = CALL_metamodel___abstractmetamodel___MMLocalClass___cshe(fra.me.REG[3])(fra.me.REG[3]);
  fra.me.REG[3] = CALL_metamodel___partial_order___PartialOrderElement___direct_greaters(fra.me.REG[3])(fra.me.REG[3]);
  /* ../lib/standard/collection/array.nit:269 */
  REGB0 = TAG_Int(0);
  /* ../lib/standard/collection/array.nit:270 */
  REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
  if (UNTAG_Bool(REGB1)) {
  } else {
    nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 270);
  }
  REGB1 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3]);
  /* ../lib/standard/collection/array.nit:271 */
  fra.me.REG[4] = ATTR_standard___collection___array___Array____items(fra.me.REG[3]);
  /* ../lib/standard/collection/array.nit:272 */
  while(1) {
    /* ../lib/standard/collection/array.nit:24 */
    REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
    if (UNTAG_Bool(REGB1)) {
    } else {
      nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 24);
    }
    REGB1 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3]);
    REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
    if (UNTAG_Bool(REGB2)) {
    } else {
      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
    }
    /* ../lib/standard/kernel.nit:235 */
    REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
    /* ../lib/standard/collection/array.nit:272 */
    if (UNTAG_Bool(REGB1)) {
      /* ../lib/standard/collection/array.nit:273 */
      REGB1 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
      if (UNTAG_Bool(REGB1)) {
        nit_abort("Reciever is null", NULL, LOCATE_standard___collection___array, 273);
      }
      /* ../lib/standard/collection/array.nit:718 */
      fra.me.REG[5] = ((Nit_NativeArray)fra.me.REG[4])->val[UNTAG_Int(REGB0)];
      /* syntax/extern_type_inheritance.nit:65 */
      fra.me.REG[6] = CALL_metamodel___abstractmetamodel___MMLocalClass___global(fra.me.REG[5])(fra.me.REG[5]);
      REGB1 = CALL_metamodel___abstractmetamodel___MMGlobalClass___is_extern(fra.me.REG[6])(fra.me.REG[6]);
      if (UNTAG_Bool(REGB1)) {
        /* syntax/extern_type_inheritance.nit:66 */
        fra.me.REG[5] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_origin(fra.me.REG[5])(fra.me.REG[5]);
        CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[5]);
      }
      /* ../lib/standard/collection/array.nit:274 */
      REGB1 = TAG_Int(1);
      /* ../lib/standard/kernel.nit:238 */
      REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
      /* ../lib/standard/collection/array.nit:274 */
      REGB0 = REGB1;
    } else {
      /* ../lib/standard/collection/array.nit:272 */
      goto label6;
    }
  }
  label6: while(0);
  /* syntax/extern_type_inheritance.nit:71 */
  REGB0 = CALL_standard___collection___abstract_collection___Collection___length(fra.me.REG[2])(fra.me.REG[2]);
  REGB1 = TAG_Int(1);
  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
  if (UNTAG_Bool(REGB2)) {
  } else {
    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
  }
  /* ../lib/standard/kernel.nit:237 */
  REGB1 = TAG_Bool(UNTAG_Int(REGB0)>UNTAG_Int(REGB1));
  /* syntax/extern_type_inheritance.nit:71 */
  if (UNTAG_Bool(REGB1)) {
    /* syntax/extern_type_inheritance.nit:72 */
    fra.me.REG[4] = CALL_standard___file___Object___stderr(fra.me.REG[0])(fra.me.REG[0]);
    REGB1 = TAG_Int(5);
    fra.me.REG[3] = NEW_Array_standard___collection___array___Array___with_capacity(REGB1);
    if (!once_value_7) {
      fra.me.REG[5] = BOX_NativeString("Error: Extern class ");
      REGB1 = TAG_Int(20);
      fra.me.REG[5] = NEW_String_standard___string___String___with_native(fra.me.REG[5], REGB1);
      once_value_7 = fra.me.REG[5];
      register_static_object(&once_value_7);
    } else fra.me.REG[5] = once_value_7;
    fra.me.REG[5] = fra.me.REG[5];
    CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[5]);
    fra.me.REG[5] = CALL_metamodel___abstractmetamodel___MMLocalClass___mmmodule(fra.me.REG[0])(fra.me.REG[0]);
    fra.me.REG[5] = CALL_standard___string___Object___to_s(fra.me.REG[5])(fra.me.REG[5]);
    CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[5]);
    if (!once_value_8) {
      fra.me.REG[5] = BOX_NativeString("::");
      REGB1 = TAG_Int(2);
      fra.me.REG[5] = NEW_String_standard___string___String___with_native(fra.me.REG[5], REGB1);
      once_value_8 = fra.me.REG[5];
      register_static_object(&once_value_8);
    } else fra.me.REG[5] = once_value_8;
    fra.me.REG[5] = fra.me.REG[5];
    CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[5]);
    fra.me.REG[5] = CALL_metamodel___abstractmetamodel___MMLocalClass___name(fra.me.REG[0])(fra.me.REG[0]);
    fra.me.REG[5] = CALL_standard___string___Object___to_s(fra.me.REG[5])(fra.me.REG[5]);
    CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[5]);
    if (!once_value_9) {
      fra.me.REG[5] = BOX_NativeString(" has ambiguous extern type, found in super classes: \n");
      REGB1 = TAG_Int(53);
      fra.me.REG[5] = NEW_String_standard___string___String___with_native(fra.me.REG[5], REGB1);
      once_value_9 = fra.me.REG[5];
      register_static_object(&once_value_9);
    } else fra.me.REG[5] = once_value_9;
    fra.me.REG[5] = fra.me.REG[5];
    CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[5]);
    fra.me.REG[3] = CALL_standard___string___Object___to_s(fra.me.REG[3])(fra.me.REG[3]);
    CALL_standard___stream___OStream___write(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[3]);
    CALL_standard___collection___abstract_collection___Collection___iterate(fra.me.REG[2])(fra.me.REG[2], (&(fra.me)), ((fun_t)OC_syntax___extern_type_inheritance___MMLocalClass___extern_type_10));
    /* syntax/extern_type_inheritance.nit:74 */
    REGB1 = TAG_Int(1);
    CALL_standard___kernel___Object___exit(fra.me.REG[0])(fra.me.REG[0], REGB1);
  } else {
    /* syntax/extern_type_inheritance.nit:75 */
    REGB1 = CALL_standard___collection___abstract_collection___Collection___length(fra.me.REG[2])(fra.me.REG[2]);
    REGB0 = TAG_Int(1);
    REGB2 = TAG_Bool(IS_EQUAL_OO(REGB1,REGB0));
    if (UNTAG_Bool(REGB2)) {
    } else {
      /* ../lib/standard/kernel.nit:230 */
      REGB0 = TAG_Bool((REGB1)==(REGB0));
      /* syntax/extern_type_inheritance.nit:75 */
      REGB2 = REGB0;
    }
    if (UNTAG_Bool(REGB2)) {
      /* syntax/extern_type_inheritance.nit:76 */
      fra.me.REG[2] = CALL_standard___collection___abstract_collection___Collection___first(fra.me.REG[2])(fra.me.REG[2]);
      /* syntax/extern_type_inheritance.nit:77 */
      fra.me.REG[3] = CALL_syntax___extern_inline___MMLocalClass___extern_type(fra.me.REG[2])(fra.me.REG[2]);
      CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3]);
      /* syntax/extern_type_inheritance.nit:78 */
      CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_origin_cache__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
    } else {
      /* syntax/extern_type_inheritance.nit:81 */
      nit_abort("Aborted", NULL, LOCATE_syntax___extern_type_inheritance, 81);
    }
  }
  /* syntax/extern_type_inheritance.nit:84 */
  fra.me.REG[0] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_cache(fra.me.REG[0])(fra.me.REG[0]);
  fra.me.REG[1] = fra.me.REG[0];
  goto label1;
  label1: while(0);
  stack_frame_head = fra.me.prev;
  return fra.me.REG[1];
}
void standard___collection___range___Range___iterate(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_standard___collection___range;
    fra.me.line = 45;
    fra.me.meth = LOCATE_standard___collection___range___Range___iterate;
    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;
    /* ../lib/standard/collection/range.nit:48 */
    REGB0 = TAG_Bool(ATTR_standard___collection___range___Range____first(fra.me.REG[0])!=NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
        nit_abort("Uninitialized attribute %s", "_first", LOCATE_standard___collection___range, 48);
    }
    fra.me.REG[1] = ATTR_standard___collection___range___Range____first(fra.me.REG[0]);
    /* ../lib/standard/collection/range.nit:49 */
    REGB0 = TAG_Bool(ATTR_standard___collection___range___Range____last(fra.me.REG[0])!=NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
        nit_abort("Uninitialized attribute %s", "_last", LOCATE_standard___collection___range, 49);
    }
    fra.me.REG[0] = ATTR_standard___collection___range___Range____last(fra.me.REG[0]);
    /* ../lib/standard/collection/range.nit:50 */
    while(1) {
        REGB0 = CALL_standard___kernel___Comparable_____leq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
        if (UNTAG_Bool(REGB0)) {
            /* ../lib/standard/collection/range.nit:51 */
            ((void (*)(struct stack_frame_t *, val_t))(CREG[0]))(closctx_param, fra.me.REG[1]);
            if (closctx_param->has_broke) {
                goto label1;
            }
            /* ../lib/standard/collection/range.nit:52 */
            fra.me.REG[2] = CALL_standard___kernel___Discrete___succ(fra.me.REG[1])(fra.me.REG[1]);
            fra.me.REG[1] = fra.me.REG[2];
        } else {
            /* ../lib/standard/collection/range.nit:50 */
            goto label2;
        }
    }
label2:
    while(0);
label1:
    while(0);
    stack_frame_head = fra.me.prev;
    return;
}
예제 #12
0
void reachable_as_init_impl___RAIVisitor___visit_icode(val_t p0, val_t p1){
  struct {struct stack_frame_t me; val_t MORE_REG[6];} fra;
  val_t REGB0;
  val_t tmp;
  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  fra.me.file = LOCATE_reachable_as_init_impl;
  fra.me.line = 59;
  fra.me.meth = LOCATE_reachable_as_init_impl___RAIVisitor___visit_icode;
  fra.me.has_broke = 0;
  fra.me.REG_size = 7;
  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[6] = NIT_NULL;
  fra.me.REG[0] = p0;
  fra.me.REG[1] = p1;
  /* ./analysis//reachable_as_init_impl.nit:59 */
  fra.me.REG[2] = fra.me.REG[0];
  fra.me.REG[3] = fra.me.REG[1];
  /* ./analysis//reachable_as_init_impl.nit:61 */
  REGB0 = TAG_Bool((fra.me.REG[3]!=NIT_NULL) && VAL_ISA(fra.me.REG[3], COLOR_INew, ID_INew)) /*cast INew*/;
  if (UNTAG_Bool(REGB0)) {
    /* ./analysis//reachable_as_init_impl.nit:63 */
    REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
      nit_abort("Reciever is null", NULL, LOCATE_reachable_as_init_impl, 63);
    }
    fra.me.REG[4] = CALL_icode_base___INew___stype(fra.me.REG[3])(fra.me.REG[3]);
    /* ./analysis//reachable_as_init_impl.nit:64 */
    fra.me.REG[5] = CALL_reachable_as_init_impl___RAIVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
    fra.me.REG[5] = CALL_reachable_as_init_impl___ReachableAsInitBuilder___program(fra.me.REG[5])(fra.me.REG[5]);
    fra.me.REG[5] = CALL_program___Program___main_module(fra.me.REG[5])(fra.me.REG[5]);
    fra.me.REG[5] = CALL_static_type___MMType___for_module(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[5]);
    fra.me.REG[5] = CALL_static_type___MMType___local_class(fra.me.REG[5])(fra.me.REG[5]);
    /* ./analysis//reachable_as_init_impl.nit:65 */
    REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
      nit_abort("Reciever is null", NULL, LOCATE_reachable_as_init_impl, 65);
    }
    fra.me.REG[3] = CALL_icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
    fra.me.REG[3] = CALL_abstractmetamodel___MMLocalProperty___global(fra.me.REG[3])(fra.me.REG[3]);
    fra.me.REG[3] = CALL_abstractmetamodel___MMLocalClass_____bra(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[3]);
    REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[3], COLOR_MMMethod, ID_MMMethod)) /*cast MMMethod*/;
    if (UNTAG_Bool(REGB0)) {
    } else {
      nit_abort("Cast failed", NULL, LOCATE_reachable_as_init_impl, 65);
    }
    /* ./analysis//reachable_as_init_impl.nit:66 */
    fra.me.REG[4] = CALL_abstractmetamodel___MMLocalProperty___global(fra.me.REG[3])(fra.me.REG[3]);
    REGB0 = CALL_abstractmetamodel___MMGlobalProperty___is_init(fra.me.REG[4])(fra.me.REG[4]);
    if (UNTAG_Bool(REGB0)) {
    } else {
      nit_abort("Assert failed", NULL, LOCATE_reachable_as_init_impl, 66);
    }
    /* ./analysis//reachable_as_init_impl.nit:67 */
    fra.me.REG[4] = CALL_reachable_as_init_impl___RAIVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
    fra.me.REG[4] = CALL_reachable_as_init_impl___ReachableAsInitBuilder___context(fra.me.REG[4])(fra.me.REG[4]);
    REGB0 = TAG_Bool(ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[4])!=NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
      nit_abort("Uninitialized attribute %s", "_methods", LOCATE_reachable_as_init_impl, 67);
    }
    fra.me.REG[4] = ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[4]);
    REGB0 = CALL_abstract_collection___MapRead___has_key(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[5]);
    REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
    if (UNTAG_Bool(REGB0)) {
      fra.me.REG[4] = CALL_reachable_as_init_impl___RAIVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
      fra.me.REG[4] = CALL_reachable_as_init_impl___ReachableAsInitBuilder___context(fra.me.REG[4])(fra.me.REG[4]);
      REGB0 = TAG_Bool(ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[4])!=NIT_NULL);
      if (UNTAG_Bool(REGB0)) {
      } else {
        nit_abort("Uninitialized attribute %s", "_methods", LOCATE_reachable_as_init_impl, 67);
      }
      fra.me.REG[4] = ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[4]);
      fra.me.REG[6] = NEW_List_list___List___init();
      CALL_abstract_collection___Map_____braeq(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[5], fra.me.REG[6]);
    }
    /* ./analysis//reachable_as_init_impl.nit:68 */
    fra.me.REG[6] = CALL_reachable_as_init_impl___RAIVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
    fra.me.REG[6] = CALL_reachable_as_init_impl___ReachableAsInitBuilder___context(fra.me.REG[6])(fra.me.REG[6]);
    REGB0 = TAG_Bool(ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[6])!=NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
      nit_abort("Uninitialized attribute %s", "_methods", LOCATE_reachable_as_init_impl, 68);
    }
    fra.me.REG[6] = ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[6]);
    fra.me.REG[6] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[6])(fra.me.REG[6], fra.me.REG[5]);
    REGB0 = TAG_Bool(fra.me.REG[6]==NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
      nit_abort("Reciever is null", NULL, LOCATE_reachable_as_init_impl, 68);
    }
    REGB0 = CALL_abstract_collection___Collection___has(fra.me.REG[6])(fra.me.REG[6], fra.me.REG[3]);
    REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
    if (UNTAG_Bool(REGB0)) {
      fra.me.REG[2] = CALL_reachable_as_init_impl___RAIVisitor___builder(fra.me.REG[2])(fra.me.REG[2]);
      fra.me.REG[2] = CALL_reachable_as_init_impl___ReachableAsInitBuilder___context(fra.me.REG[2])(fra.me.REG[2]);
      REGB0 = TAG_Bool(ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[2])!=NIT_NULL);
      if (UNTAG_Bool(REGB0)) {
      } else {
        nit_abort("Uninitialized attribute %s", "_methods", LOCATE_reachable_as_init_impl, 68);
      }
      fra.me.REG[2] = ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[2]);
      fra.me.REG[5] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[5]);
      REGB0 = TAG_Bool(fra.me.REG[5]==NIT_NULL);
      if (UNTAG_Bool(REGB0)) {
        nit_abort("Reciever is null", NULL, LOCATE_reachable_as_init_impl, 68);
      }
      CALL_abstract_collection___SimpleCollection___add(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[3]);
    }
  }
  /* ./analysis//reachable_as_init_impl.nit:70 */
  CALL_SUPER_reachable_as_init_impl___RAIVisitor___visit_icode(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
  stack_frame_head = fra.me.prev;
  return;
}
예제 #13
0
val_t analysis___inline_methods___ICall___is_inlinable(val_t p0){
  struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
  val_t REGB0;
  val_t REGB1;
  val_t REGB2;
  val_t REGB3;
  val_t tmp;
    static val_t once_value_1; /* Once value */
      static val_t once_value_2; /* Once value */
    static val_t once_value_3; /* Once value */
      static val_t once_value_4; /* Once value */
      static val_t once_value_5; /* Once value */
        static val_t once_value_6; /* Once value */
        static val_t once_value_7; /* Once value */
          static val_t once_value_8; /* Once value */
    static val_t once_value_9; /* Once value */
      static val_t once_value_10; /* Once value */
      static val_t once_value_11; /* Once value */
        static val_t once_value_12; /* Once value */
        static val_t once_value_13; /* Once value */
          static val_t once_value_14; /* Once value */
        static val_t once_value_15; /* Once value */
          static val_t once_value_16; /* Once value */
    static val_t once_value_17; /* Once value */
      static val_t once_value_18; /* Once value */
      static val_t once_value_19; /* Once value */
        static val_t once_value_20; /* Once value */
        static val_t once_value_21; /* Once value */
          static val_t once_value_22; /* Once value */
    static val_t once_value_23; /* Once value */
      static val_t once_value_24; /* Once value */
  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  fra.me.file = LOCATE_analysis___inline_methods;
  fra.me.line = 70;
  fra.me.meth = LOCATE_analysis___inline_methods___ICall___is_inlinable;
  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;
  /* analysis/inline_methods.nit:72 */
  fra.me.REG[0] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[0])(fra.me.REG[0]);
  /* analysis/inline_methods.nit:73 */
  fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMLocalProperty___name(fra.me.REG[0])(fra.me.REG[0]);
  /* analysis/inline_methods.nit:74 */
  fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMLocalProperty___local_class(fra.me.REG[0])(fra.me.REG[0]);
  fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMLocalClass___name(fra.me.REG[2])(fra.me.REG[2]);
  /* analysis/inline_methods.nit:75 */
  REGB0 = CALL_metamodel___abstractmetamodel___MMMethod___is_intern(fra.me.REG[0])(fra.me.REG[0]);
  if (UNTAG_Bool(REGB0)) {
    if (!once_value_1) {
      if (!once_value_2) {
        fra.me.REG[3] = BOX_NativeString("Object");
        REGB0 = TAG_Int(6);
        fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB0);
        once_value_2 = fra.me.REG[3];
        register_static_object(&once_value_2);
      } else fra.me.REG[3] = once_value_2;
      fra.me.REG[3] = fra.me.REG[3];
      fra.me.REG[3] = CALL_standard___symbol___String___to_symbol(fra.me.REG[3])(fra.me.REG[3]);
      once_value_1 = fra.me.REG[3];
      register_static_object(&once_value_1);
    } else fra.me.REG[3] = once_value_1;
    fra.me.REG[3] = fra.me.REG[3];
    REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[2],fra.me.REG[3]));
    if (UNTAG_Bool(REGB0)) {
    } else {
      REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
      REGB0 = REGB1;
    }
    REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
  } else {
    REGB1 = TAG_Bool(false);
    REGB0 = REGB1;
  }
  if (UNTAG_Bool(REGB0)) {
    REGB0 = TAG_Bool(true);
  } else {
    /* analysis/inline_methods.nit:76 */
    if (!once_value_3) {
      if (!once_value_4) {
        fra.me.REG[3] = BOX_NativeString("Int");
        REGB1 = TAG_Int(3);
        fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB1);
        once_value_4 = fra.me.REG[3];
        register_static_object(&once_value_4);
      } else fra.me.REG[3] = once_value_4;
      fra.me.REG[3] = fra.me.REG[3];
      fra.me.REG[3] = CALL_standard___symbol___String___to_symbol(fra.me.REG[3])(fra.me.REG[3]);
      once_value_3 = fra.me.REG[3];
      register_static_object(&once_value_3);
    } else fra.me.REG[3] = once_value_3;
    fra.me.REG[3] = fra.me.REG[3];
    REGB1 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[2],fra.me.REG[3]));
    if (UNTAG_Bool(REGB1)) {
    } else {
      REGB2 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
      REGB1 = REGB2;
    }
    if (UNTAG_Bool(REGB1)) {
      if (!once_value_5) {
        if (!once_value_6) {
          fra.me.REG[3] = BOX_NativeString("enumerate_to");
          REGB1 = TAG_Int(12);
          fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB1);
          once_value_6 = fra.me.REG[3];
          register_static_object(&once_value_6);
        } else fra.me.REG[3] = once_value_6;
        fra.me.REG[3] = fra.me.REG[3];
        fra.me.REG[3] = CALL_standard___symbol___String___to_symbol(fra.me.REG[3])(fra.me.REG[3]);
        once_value_5 = fra.me.REG[3];
        register_static_object(&once_value_5);
      } else fra.me.REG[3] = once_value_5;
      fra.me.REG[3] = fra.me.REG[3];
      REGB1 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[3]));
      if (UNTAG_Bool(REGB1)) {
      } else {
        REGB2 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
        REGB1 = REGB2;
      }
      if (UNTAG_Bool(REGB1)) {
        REGB1 = TAG_Bool(true);
      } else {
        if (!once_value_7) {
          if (!once_value_8) {
            fra.me.REG[3] = BOX_NativeString("enumerate_before");
            REGB2 = TAG_Int(16);
            fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB2);
            once_value_8 = fra.me.REG[3];
            register_static_object(&once_value_8);
          } else fra.me.REG[3] = once_value_8;
          fra.me.REG[3] = fra.me.REG[3];
          fra.me.REG[3] = CALL_standard___symbol___String___to_symbol(fra.me.REG[3])(fra.me.REG[3]);
          once_value_7 = fra.me.REG[3];
          register_static_object(&once_value_7);
        } else fra.me.REG[3] = once_value_7;
        fra.me.REG[3] = fra.me.REG[3];
        REGB2 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[3]));
        if (UNTAG_Bool(REGB2)) {
        } else {
          REGB3 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
          REGB2 = REGB3;
        }
        REGB1 = REGB2;
      }
    } else {
      REGB2 = TAG_Bool(false);
      REGB1 = REGB2;
    }
    /* analysis/inline_methods.nit:75 */
    REGB0 = REGB1;
  }
  if (UNTAG_Bool(REGB0)) {
    REGB0 = TAG_Bool(true);
  } else {
    /* analysis/inline_methods.nit:77 */
    if (!once_value_9) {
      if (!once_value_10) {
        fra.me.REG[3] = BOX_NativeString("Array");
        REGB1 = TAG_Int(5);
        fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB1);
        once_value_10 = fra.me.REG[3];
        register_static_object(&once_value_10);
      } else fra.me.REG[3] = once_value_10;
      fra.me.REG[3] = fra.me.REG[3];
      fra.me.REG[3] = CALL_standard___symbol___String___to_symbol(fra.me.REG[3])(fra.me.REG[3]);
      once_value_9 = fra.me.REG[3];
      register_static_object(&once_value_9);
    } else fra.me.REG[3] = once_value_9;
    fra.me.REG[3] = fra.me.REG[3];
    REGB1 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[2],fra.me.REG[3]));
    if (UNTAG_Bool(REGB1)) {
    } else {
      REGB2 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
      REGB1 = REGB2;
    }
    if (UNTAG_Bool(REGB1)) {
      if (!once_value_11) {
        if (!once_value_12) {
          fra.me.REG[3] = BOX_NativeString("length");
          REGB1 = TAG_Int(6);
          fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB1);
          once_value_12 = fra.me.REG[3];
          register_static_object(&once_value_12);
        } else fra.me.REG[3] = once_value_12;
        fra.me.REG[3] = fra.me.REG[3];
        fra.me.REG[3] = CALL_standard___symbol___String___to_symbol(fra.me.REG[3])(fra.me.REG[3]);
        once_value_11 = fra.me.REG[3];
        register_static_object(&once_value_11);
      } else fra.me.REG[3] = once_value_11;
      fra.me.REG[3] = fra.me.REG[3];
      REGB1 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[3]));
      if (UNTAG_Bool(REGB1)) {
      } else {
        REGB2 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
        REGB1 = REGB2;
      }
      if (UNTAG_Bool(REGB1)) {
        REGB1 = TAG_Bool(true);
      } else {
        if (!once_value_13) {
          if (!once_value_14) {
            fra.me.REG[3] = BOX_NativeString("[]");
            REGB2 = TAG_Int(2);
            fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB2);
            once_value_14 = fra.me.REG[3];
            register_static_object(&once_value_14);
          } else fra.me.REG[3] = once_value_14;
          fra.me.REG[3] = fra.me.REG[3];
          fra.me.REG[3] = CALL_standard___symbol___String___to_symbol(fra.me.REG[3])(fra.me.REG[3]);
          once_value_13 = fra.me.REG[3];
          register_static_object(&once_value_13);
        } else fra.me.REG[3] = once_value_13;
        fra.me.REG[3] = fra.me.REG[3];
        REGB2 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[3]));
        if (UNTAG_Bool(REGB2)) {
        } else {
          REGB3 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
          REGB2 = REGB3;
        }
        REGB1 = REGB2;
      }
      if (UNTAG_Bool(REGB1)) {
        REGB1 = TAG_Bool(true);
      } else {
        if (!once_value_15) {
          if (!once_value_16) {
            fra.me.REG[3] = BOX_NativeString("iterate");
            REGB2 = TAG_Int(7);
            fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB2);
            once_value_16 = fra.me.REG[3];
            register_static_object(&once_value_16);
          } else fra.me.REG[3] = once_value_16;
          fra.me.REG[3] = fra.me.REG[3];
          fra.me.REG[3] = CALL_standard___symbol___String___to_symbol(fra.me.REG[3])(fra.me.REG[3]);
          once_value_15 = fra.me.REG[3];
          register_static_object(&once_value_15);
        } else fra.me.REG[3] = once_value_15;
        fra.me.REG[3] = fra.me.REG[3];
        REGB2 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[3]));
        if (UNTAG_Bool(REGB2)) {
        } else {
          REGB3 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
          REGB2 = REGB3;
        }
        REGB1 = REGB2;
      }
    } else {
      REGB2 = TAG_Bool(false);
      REGB1 = REGB2;
    }
    /* analysis/inline_methods.nit:75 */
    REGB0 = REGB1;
  }
  if (UNTAG_Bool(REGB0)) {
    REGB0 = TAG_Bool(true);
  } else {
    /* analysis/inline_methods.nit:78 */
    if (!once_value_17) {
      if (!once_value_18) {
        fra.me.REG[3] = BOX_NativeString("AbstractArrayRead");
        REGB1 = TAG_Int(17);
        fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB1);
        once_value_18 = fra.me.REG[3];
        register_static_object(&once_value_18);
      } else fra.me.REG[3] = once_value_18;
      fra.me.REG[3] = fra.me.REG[3];
      fra.me.REG[3] = CALL_standard___symbol___String___to_symbol(fra.me.REG[3])(fra.me.REG[3]);
      once_value_17 = fra.me.REG[3];
      register_static_object(&once_value_17);
    } else fra.me.REG[3] = once_value_17;
    fra.me.REG[3] = fra.me.REG[3];
    REGB1 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[2],fra.me.REG[3]));
    if (UNTAG_Bool(REGB1)) {
    } else {
      REGB2 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
      REGB1 = REGB2;
    }
    if (UNTAG_Bool(REGB1)) {
      if (!once_value_19) {
        if (!once_value_20) {
          fra.me.REG[3] = BOX_NativeString("length");
          REGB1 = TAG_Int(6);
          fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB1);
          once_value_20 = fra.me.REG[3];
          register_static_object(&once_value_20);
        } else fra.me.REG[3] = once_value_20;
        fra.me.REG[3] = fra.me.REG[3];
        fra.me.REG[3] = CALL_standard___symbol___String___to_symbol(fra.me.REG[3])(fra.me.REG[3]);
        once_value_19 = fra.me.REG[3];
        register_static_object(&once_value_19);
      } else fra.me.REG[3] = once_value_19;
      fra.me.REG[3] = fra.me.REG[3];
      REGB1 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[3]));
      if (UNTAG_Bool(REGB1)) {
      } else {
        REGB2 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
        REGB1 = REGB2;
      }
      if (UNTAG_Bool(REGB1)) {
        REGB1 = TAG_Bool(true);
      } else {
        if (!once_value_21) {
          if (!once_value_22) {
            fra.me.REG[3] = BOX_NativeString("[]");
            REGB2 = TAG_Int(2);
            fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB2);
            once_value_22 = fra.me.REG[3];
            register_static_object(&once_value_22);
          } else fra.me.REG[3] = once_value_22;
          fra.me.REG[3] = fra.me.REG[3];
          fra.me.REG[3] = CALL_standard___symbol___String___to_symbol(fra.me.REG[3])(fra.me.REG[3]);
          once_value_21 = fra.me.REG[3];
          register_static_object(&once_value_21);
        } else fra.me.REG[3] = once_value_21;
        fra.me.REG[3] = fra.me.REG[3];
        REGB2 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[3]));
        if (UNTAG_Bool(REGB2)) {
        } else {
          REGB3 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
          REGB2 = REGB3;
        }
        REGB1 = REGB2;
      }
    } else {
      REGB2 = TAG_Bool(false);
      REGB1 = REGB2;
    }
    /* analysis/inline_methods.nit:75 */
    REGB0 = REGB1;
  }
  if (UNTAG_Bool(REGB0)) {
    REGB0 = TAG_Bool(true);
  } else {
    /* analysis/inline_methods.nit:79 */
    fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalProperty___global(fra.me.REG[0])(fra.me.REG[0]);
    fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMGlobalProperty___intro(fra.me.REG[0])(fra.me.REG[0]);
    fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalProperty___local_class(fra.me.REG[0])(fra.me.REG[0]);
    fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalClass___name(fra.me.REG[0])(fra.me.REG[0]);
    if (!once_value_23) {
      if (!once_value_24) {
        fra.me.REG[3] = BOX_NativeString("Inline__");
        REGB1 = TAG_Int(8);
        fra.me.REG[3] = NEW_String_standard___string___String___with_native(fra.me.REG[3], REGB1);
        once_value_24 = fra.me.REG[3];
        register_static_object(&once_value_24);
      } else fra.me.REG[3] = once_value_24;
      fra.me.REG[3] = fra.me.REG[3];
      fra.me.REG[3] = CALL_standard___symbol___String___to_symbol(fra.me.REG[3])(fra.me.REG[3]);
      once_value_23 = fra.me.REG[3];
      register_static_object(&once_value_23);
    } else fra.me.REG[3] = once_value_23;
    fra.me.REG[3] = fra.me.REG[3];
    REGB1 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[0],fra.me.REG[3]));
    if (UNTAG_Bool(REGB1)) {
    } else {
      REGB2 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3]);
      REGB1 = REGB2;
    }
    /* analysis/inline_methods.nit:75 */
    REGB0 = REGB1;
  }
  goto label25;
  label25: while(0);
  stack_frame_head = fra.me.prev;
  return REGB0;
}
예제 #14
0
void analysis___inline_methods___InlineMethodVisitor___visit_icode(val_t p0, val_t p1){
  struct {struct stack_frame_t me; val_t MORE_REG[9];} 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_analysis___inline_methods;
  fra.me.line = 27;
  fra.me.meth = LOCATE_analysis___inline_methods___InlineMethodVisitor___visit_icode;
  fra.me.has_broke = 0;
  fra.me.REG_size = 10;
  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[6] = NIT_NULL;
  fra.me.REG[7] = NIT_NULL;
  fra.me.REG[8] = NIT_NULL;
  fra.me.REG[9] = NIT_NULL;
  fra.me.REG[0] = p0;
  fra.me.REG[1] = p1;
  /* analysis/inline_methods.nit:27 */
  fra.me.REG[2] = fra.me.REG[0];
  fra.me.REG[3] = fra.me.REG[1];
  /* analysis/inline_methods.nit:29 */
  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)) {
    REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
      nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 29);
    }
    REGB0 = CALL_icode___icode_base___IAbsCall___is_explicit_from_extern(fra.me.REG[3])(fra.me.REG[3]);
    REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
  } else {
    REGB1 = TAG_Bool(false);
    REGB0 = REGB1;
  }
  if (UNTAG_Bool(REGB0)) {
    /* analysis/inline_methods.nit:30 */
    REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
      nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 30);
    }
    fra.me.REG[4] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
    /* analysis/inline_methods.nit:31 */
    fra.me.REG[4] = CALL_icode___icode_base___MMMethod___iroutine(fra.me.REG[4])(fra.me.REG[4]);
    /* analysis/inline_methods.nit:32 */
    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(false);
        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)) {
      REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
      if (UNTAG_Bool(REGB0)) {
        nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 32);
      }
      REGB0 = CALL_analysis___inline_methods___ICall___is_inlinable(fra.me.REG[3])(fra.me.REG[3]);
    } else {
      REGB1 = TAG_Bool(false);
      REGB0 = REGB1;
    }
    if (UNTAG_Bool(REGB0)) {
      /* analysis/inline_methods.nit:33 */
      REGB0 = TAG_Bool(ATTR_analysis___inline_methods___InlineMethodVisitor____icb(fra.me.REG[2])!=NIT_NULL);
      if (UNTAG_Bool(REGB0)) {
      } else {
        nit_abort("Uninitialized attribute %s", "_icb", LOCATE_analysis___inline_methods, 33);
      }
      fra.me.REG[5] = ATTR_analysis___inline_methods___InlineMethodVisitor____icb(fra.me.REG[2]);
      /* analysis/inline_methods.nit:34 */
      fra.me.REG[6] = CALL_icode___icode_builder___ICodeBuilder___iroutine(fra.me.REG[5])(fra.me.REG[5]);
      REGB0 = TAG_Bool(IS_EQUAL_ON(fra.me.REG[6],fra.me.REG[4]));
      if (UNTAG_Bool(REGB0)) {
      } else {
        REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[6])(fra.me.REG[6], fra.me.REG[4]);
        REGB0 = REGB1;
      }
      if (UNTAG_Bool(REGB0)) {
        /* analysis/inline_methods.nit:37 */
        fra.me.REG[6] = CALL_icode___icode_tools___ICodeVisitor___current_icode(fra.me.REG[2])(fra.me.REG[2]);
        REGB0 = TAG_Bool(fra.me.REG[6]==NIT_NULL);
        if (UNTAG_Bool(REGB0)) {
          nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 37);
        }
        CALL_standard___collection___list___ListIterator___delete(fra.me.REG[6])(fra.me.REG[6]);
        /* analysis/inline_methods.nit:38 */
        REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
        if (UNTAG_Bool(REGB0)) {
          nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 38);
        }
        fra.me.REG[6] = CALL_icode___icode_base___IAbsCall___property(fra.me.REG[3])(fra.me.REG[3]);
        REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
        if (UNTAG_Bool(REGB0)) {
          nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 38);
        }
        fra.me.REG[7] = CALL_icode___icode_base___ICodeN___exprs(fra.me.REG[3])(fra.me.REG[3]);
        fra.me.REG[7] = NEW_IStaticCall_icode___icode_base___IStaticCall___init(fra.me.REG[6], fra.me.REG[7]);
        /* analysis/inline_methods.nit:39 */
        REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
        if (UNTAG_Bool(REGB0)) {
          nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 39);
        }
        fra.me.REG[6] = CALL_icode___icode_base___ICodeN___closure_defs(fra.me.REG[3])(fra.me.REG[3]);
        CALL_icode___icode_base___ICodeN___closure_defs__eq(fra.me.REG[7])(fra.me.REG[7], fra.me.REG[6]);
        /* analysis/inline_methods.nit:40 */
        REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
        if (UNTAG_Bool(REGB0)) {
          nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 40);
        }
        fra.me.REG[6] = CALL_icode___icode_base___ICode___result(fra.me.REG[3])(fra.me.REG[3]);
        CALL_icode___icode_base___ICode___result__eq(fra.me.REG[7])(fra.me.REG[7], fra.me.REG[6]);
        /* analysis/inline_methods.nit:41 */
        fra.me.REG[6] = CALL_icode___icode_tools___ICodeVisitor___current_icode(fra.me.REG[2])(fra.me.REG[2]);
        REGB0 = TAG_Bool(fra.me.REG[6]==NIT_NULL);
        if (UNTAG_Bool(REGB0)) {
          nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 41);
        }
        CALL_standard___collection___list___ListIterator___insert_before(fra.me.REG[6])(fra.me.REG[6], fra.me.REG[7]);
        /* analysis/inline_methods.nit:42 */
        fra.me.REG[7] = CALL_icode___icode_tools___ICodeVisitor___current_icode(fra.me.REG[2])(fra.me.REG[2]);
        REGB0 = TAG_Bool(fra.me.REG[7]==NIT_NULL);
        if (UNTAG_Bool(REGB0)) {
          nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 42);
        }
        CALL_standard___collection___list___ListIterator___delete(fra.me.REG[7])(fra.me.REG[7]);
      } else {
        /* analysis/inline_methods.nit:44 */
        fra.me.REG[7] = NEW_ISeq_icode___icode_base___ISeq___init();
        /* analysis/inline_methods.nit:45 */
        fra.me.REG[6] = CALL_icode___icode_builder___ICodeBuilder___seq(fra.me.REG[5])(fra.me.REG[5]);
        /* analysis/inline_methods.nit:46 */
        CALL_icode___icode_builder___ICodeBuilder___seq__eq(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[7]);
        /* analysis/inline_methods.nit:47 */
        fra.me.REG[8] = CALL_icode___icode_tools___ICodeVisitor___current_icode(fra.me.REG[2])(fra.me.REG[2]);
        REGB0 = TAG_Bool(fra.me.REG[8]==NIT_NULL);
        if (UNTAG_Bool(REGB0)) {
          nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 47);
        }
        CALL_standard___collection___list___ListIterator___insert_before(fra.me.REG[8])(fra.me.REG[8], fra.me.REG[7]);
        /* analysis/inline_methods.nit:48 */
        REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
        if (UNTAG_Bool(REGB0)) {
          nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 48);
        }
        fra.me.REG[8] = CALL_icode___icode_base___ICodeN___exprs(fra.me.REG[3])(fra.me.REG[3]);
        REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
        if (UNTAG_Bool(REGB0)) {
          nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 48);
        }
        fra.me.REG[9] = CALL_icode___icode_base___ICodeN___closure_defs(fra.me.REG[3])(fra.me.REG[3]);
        fra.me.REG[9] = CALL_icode___icode_tools___ICodeBuilder___inline_routine(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[4], fra.me.REG[8], fra.me.REG[9]);
        /* analysis/inline_methods.nit:49 */
        REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
        if (UNTAG_Bool(REGB0)) {
          nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 49);
        }
        fra.me.REG[3] = CALL_icode___icode_base___ICode___result(fra.me.REG[3])(fra.me.REG[3]);
        /* analysis/inline_methods.nit:50 */
        REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
        if (UNTAG_Bool(REGB0)) {
        } else {
          REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
          if (UNTAG_Bool(REGB1)) {
            REGB1 = TAG_Bool(false);
            REGB0 = REGB1;
          } else {
            REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[3])(fra.me.REG[3], NIT_NULL);
            REGB0 = REGB1;
          }
        }
        REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
        if (UNTAG_Bool(REGB0)) {
          /* analysis/inline_methods.nit:51 */
          REGB0 = TAG_Bool(fra.me.REG[9]==NIT_NULL);
          if (UNTAG_Bool(REGB0)) {
          } else {
            REGB1 = TAG_Bool(fra.me.REG[9]==NIT_NULL);
            if (UNTAG_Bool(REGB1)) {
              REGB1 = TAG_Bool(false);
              REGB0 = REGB1;
            } else {
              REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[9])(fra.me.REG[9], NIT_NULL);
              REGB0 = REGB1;
            }
          }
          REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
          if (UNTAG_Bool(REGB0)) {
          } else {
            nit_abort("Assert failed", NULL, LOCATE_analysis___inline_methods, 51);
          }
          /* analysis/inline_methods.nit:52 */
          fra.me.REG[8] = CALL_icode___icode_tools___ICodeVisitor___current_icode(fra.me.REG[2])(fra.me.REG[2]);
          fra.me.REG[9] = NEW_IMove_icode___icode_base___IMove___init(fra.me.REG[3], fra.me.REG[9]);
          REGB0 = TAG_Bool(fra.me.REG[8]==NIT_NULL);
          if (UNTAG_Bool(REGB0)) {
            nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 52);
          }
          CALL_standard___collection___list___ListIterator___insert_before(fra.me.REG[8])(fra.me.REG[8], fra.me.REG[9]);
        }
        /* analysis/inline_methods.nit:54 */
        fra.me.REG[9] = CALL_icode___icode_tools___ICodeVisitor___current_icode(fra.me.REG[2])(fra.me.REG[2]);
        REGB0 = TAG_Bool(fra.me.REG[9]==NIT_NULL);
        if (UNTAG_Bool(REGB0)) {
          nit_abort("Reciever is null", NULL, LOCATE_analysis___inline_methods, 54);
        }
        CALL_standard___collection___list___ListIterator___delete(fra.me.REG[9])(fra.me.REG[9]);
        /* analysis/inline_methods.nit:55 */
        CALL_icode___icode_builder___ICodeBuilder___seq__eq(fra.me.REG[5])(fra.me.REG[5], fra.me.REG[6]);
        /* analysis/inline_methods.nit:56 */
        CALL_icode___icode_tools___ICodeVisitor___visit_icode(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[7]);
      }
    }
  }
  /* analysis/inline_methods.nit:60 */
  CALL_SUPER_analysis___inline_methods___InlineMethodVisitor___visit_icode(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
  stack_frame_head = fra.me.prev;
  return;
}