X-Git-Url: http://nitlanguage.org

diff --git a/c_src/vararg._sep.c b/c_src/vararg._sep.c
index 26baa54..5d70ad9 100644
--- a/c_src/vararg._sep.c
+++ b/c_src/vararg._sep.c
@@ -1,111 +1,170 @@
 /* This C file is generated by NIT to compile module vararg. */
 #include "vararg._sep.h"
-val_t vararg___MMSignature___adaptation_to(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 33, LOCATE_vararg___MMSignature___adaptation_to};
-  val_t variable[5];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_vararg;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Method return value and escape marker */
-  /* Register variable[3]: Local variable */
-  /* Register variable[4]: Result */
-  variable[4] = CALL_SUPER_vararg___MMSignature___adaptation_to(variable[0])(variable[0],  variable[1] /*r*/) /*super MMSignature::adaptation_to*/;
-  variable[3] = variable[4];
-  /* Register variable[4]: Result */
-  variable[4] = ATTR_vararg___MMSignature____vararg_rank(variable[0]) /*MMSignature::_vararg_rank*/;
-  CALL_vararg___MMSignature___vararg_rank__eq( variable[3] /*s*/)( variable[3] /*s*/, variable[4]) /*MMSignature::vararg_rank=*/;
-  variable[2] =  variable[3] /*s*/;
-  goto return_label0;
-  return_label0: while(false);
-  tracehead = trace.prev;
-  return variable[2];
+val_t vararg___MMSignature___adaptation_to(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_vararg;
+  fra.me.line = 33;
+  fra.me.meth = LOCATE_vararg___MMSignature___adaptation_to;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  fra.me.REG[2] = fra.me.REG[0];
+  fra.me.REG[1] = CALL_SUPER_vararg___MMSignature___adaptation_to(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  REGB0 = TAG_Bool(ATTR_vararg___MMSignature____vararg_rank(fra.me.REG[2])!=NIT_NULL);
+  /* ./metamodel//vararg.nit:36 */
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_vararg_rank");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_vararg, 36);
+    nit_exit(1);
+  }
+  REGB0 = ATTR_vararg___MMSignature____vararg_rank(fra.me.REG[2]);
+  CALL_vararg___MMSignature___vararg_rank__eq(fra.me.REG[1])(fra.me.REG[1], REGB0);
+  /* ./metamodel//vararg.nit:37 */
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
 }
-val_t vararg___MMSignature___not_for_self(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 40, LOCATE_vararg___MMSignature___not_for_self};
-  val_t variable[4];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_vararg;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Local variable */
-  /* Register variable[3]: Result */
-  variable[3] = CALL_SUPER_vararg___MMSignature___not_for_self(variable[0])(variable[0]) /*super MMSignature::not_for_self*/;
-  variable[2] = variable[3];
-  /* Register variable[3]: Result */
-  variable[3] = ATTR_vararg___MMSignature____vararg_rank(variable[0]) /*MMSignature::_vararg_rank*/;
-  CALL_vararg___MMSignature___vararg_rank__eq( variable[2] /*s*/)( variable[2] /*s*/, variable[3]) /*MMSignature::vararg_rank=*/;
-  variable[1] =  variable[2] /*s*/;
-  goto return_label1;
-  return_label1: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+val_t vararg___MMSignature___not_for_self(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_vararg;
+  fra.me.line = 40;
+  fra.me.meth = LOCATE_vararg___MMSignature___not_for_self;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = fra.me.REG[0];
+  fra.me.REG[0] = CALL_SUPER_vararg___MMSignature___not_for_self(fra.me.REG[0])(fra.me.REG[0]);
+  REGB0 = TAG_Bool(ATTR_vararg___MMSignature____vararg_rank(fra.me.REG[1])!=NIT_NULL);
+  /* ./metamodel//vararg.nit:43 */
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_vararg_rank");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_vararg, 43);
+    nit_exit(1);
+  }
+  REGB0 = ATTR_vararg___MMSignature____vararg_rank(fra.me.REG[1]);
+  CALL_vararg___MMSignature___vararg_rank__eq(fra.me.REG[0])(fra.me.REG[0], REGB0);
+  /* ./metamodel//vararg.nit:44 */
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-void vararg___MMSignature___init(val_t  self, val_t  param0, val_t  param1, val_t  param2, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 47, LOCATE_vararg___MMSignature___init};
-  val_t variable[6];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_vararg;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Local variable */
-  variable[2] =  param1;
-  /* Register variable[3]: Local variable */
-  variable[3] =  param2;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_MMSignature].i]) return;
-  /* Register variable[4]: Method return value and escape marker */
-  CALL_SUPER_vararg___MMSignature___init(variable[0])(variable[0], variable[1], variable[2], variable[3], init_table) /*super MMSignature::init*/;
-  /* Register variable[5]: Result */
-  variable[5] = TAG_Int(-UNTAG_Int( TAG_Int(1)));
-  ATTR_vararg___MMSignature____vararg_rank(variable[0]) /*MMSignature::_vararg_rank*/ = variable[5];
-  return_label2: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_MMSignature].i] = 1;
-  tracehead = trace.prev;
+void vararg___MMSignature___init(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table){
+  int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_MMSignature].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[4];} fra;
+  val_t REGB0;
+  val_t tmp;
+  if (init_table[itpos0]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_vararg;
+  fra.me.line = 47;
+  fra.me.meth = LOCATE_vararg___MMSignature___init;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 5;
+  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;
+  fra.me.REG[3] = p3;
+  fra.me.REG[4] = fra.me.REG[0];
+  /* ./metamodel//vararg.nit:49 */
+  CALL_SUPER_vararg___MMSignature___init(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[2], fra.me.REG[3], init_table);
+  REGB0 = TAG_Int(1);
+  REGB0 = TAG_Int(-UNTAG_Int(REGB0));
+  /* ./metamodel//vararg.nit:50 */
+  ATTR_vararg___MMSignature____vararg_rank(fra.me.REG[4]) = REGB0;
+  stack_frame_head = fra.me.prev;
+  init_table[itpos0] = 1;
   return;
 }
-val_t vararg___MMSignature___vararg_rank(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 24, LOCATE_vararg___MMSignature___vararg_rank};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_vararg;
-  tracehead = trace.prev;
-  return ATTR_vararg___MMSignature____vararg_rank( self) /*MMSignature::_vararg_rank*/;
+val_t vararg___MMSignature___vararg_rank(val_t p0){
+  struct {struct stack_frame_t me;} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_vararg;
+  fra.me.line = 24;
+  fra.me.meth = LOCATE_vararg___MMSignature___vararg_rank;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = TAG_Bool(ATTR_vararg___MMSignature____vararg_rank(fra.me.REG[0])!=NIT_NULL);
+  /* ./metamodel//vararg.nit:24 */
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_vararg_rank");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_vararg, 24);
+    nit_exit(1);
+  }
+  REGB0 = ATTR_vararg___MMSignature____vararg_rank(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-void vararg___MMSignature___vararg_rank__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 24, LOCATE_vararg___MMSignature___vararg_rank__eq};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_vararg;
-  ATTR_vararg___MMSignature____vararg_rank( self) /*MMSignature::_vararg_rank*/ =  param0;
-  tracehead = trace.prev;
+void vararg___MMSignature___vararg_rank__eq(val_t p0, val_t p1){
+  struct {struct stack_frame_t me;} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_vararg;
+  fra.me.line = 24;
+  fra.me.meth = LOCATE_vararg___MMSignature___vararg_rank__eq;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = p1;
+  /* ./metamodel//vararg.nit:24 */
+  ATTR_vararg___MMSignature____vararg_rank(fra.me.REG[0]) = REGB0;
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t vararg___MMSignature___has_vararg(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 27, LOCATE_vararg___MMSignature___has_vararg};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_vararg;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Result */
-  variable[2] = ATTR_vararg___MMSignature____vararg_rank(variable[0]) /*MMSignature::_vararg_rank*/;
-  /* Register variable[2]: Result */
-  variable[2] = TAG_Bool(UNTAG_Int(variable[2])>=UNTAG_Int( TAG_Int(0)));
-  variable[1] = variable[2];
-  goto return_label3;
-  return_label3: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+val_t vararg___MMSignature___has_vararg(val_t p0){
+  struct {struct stack_frame_t me;} 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_vararg;
+  fra.me.line = 27;
+  fra.me.meth = LOCATE_vararg___MMSignature___has_vararg;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = TAG_Bool(ATTR_vararg___MMSignature____vararg_rank(fra.me.REG[0])!=NIT_NULL);
+  /* ./metamodel//vararg.nit:30 */
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_vararg_rank");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_vararg, 30);
+    nit_exit(1);
+  }
+  REGB0 = ATTR_vararg___MMSignature____vararg_rank(fra.me.REG[0]);
+  REGB1 = TAG_Int(0);
+  REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
+  /* ./metamodel//vararg.nit:30 */
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB1;
 }