X-Git-Url: http://nitlanguage.org diff --git a/c_src/hash_collection.sep.1.c b/c_src/hash_collection.sep.1.c index 22f2d8d..10dd989 100644 --- a/c_src/hash_collection.sep.1.c +++ b/c_src/hash_collection.sep.1.c @@ -1,22 +1,4 @@ #include "hash_collection.sep.0.h" -/* method hash_collection#HashCollection#first_item for (self: HashCollection[Object, HashNode[Object]]): nullable HashNode[Object] */ -val* hash_collection__HashCollection__first_item(val* self) { -val* var /* : nullable HashNode[Object] */; -val* var1 /* : nullable HashNode[Object] */; -var1 = self->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ -var = var1; -RET_LABEL:; -return var; -} -/* method hash_collection#HashCollection#first_item for (self: Object): nullable HashNode[Object] */ -val* VIRTUAL_hash_collection__HashCollection__first_item(val* self) { -val* var /* : nullable HashNode[Object] */; -val* var1 /* : nullable HashNode[Object] */; -var1 = hash_collection__HashCollection__first_item(self); -var = var1; -RET_LABEL:; -return var; -} /* method hash_collection#HashCollection#index_at for (self: HashCollection[Object, HashNode[Object]], Object): Int */ long hash_collection__HashCollection__index_at(val* self, val* p0) { long var /* : Int */; @@ -40,8 +22,8 @@ const char* var_class_name13; short int var14 /* : Bool */; long var15 /* : Int */; long var17 /* : Int */; -/* Covariant cast for argument 0 (k) isa HashCollection#0 */ -/* isa HashCollection#0 */ +/* Covariant cast for argument 0 (k) isa K */ +/* isa K */ type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -50,31 +32,36 @@ var1 = 0; } else { var1 = p0->type->type_table[cltype] == idtype; } -if (!var1) { +if (unlikely(!var1)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 35); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "K", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 35); show_backtrace(1); } var_k = p0; +{ var2 = ((long (*)(val*))(var_k->class->vft[COLOR_kernel__Object__hash]))(var_k) /* hash on */; +} var3 = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on */ -{ /* Inline kernel#Int#% (var2,var3) */ +{ +{ /* Inline kernel#Int#% (var2,var3) on */ var6 = var2 % var3; var4 = var6; goto RET_LABEL5; RET_LABEL5:(void)0; } +} var_i = var4; var7 = 0; -{ /* Inline kernel#Int#< (var_i,var7) */ +{ +{ /* Inline kernel#Int#< (var_i,var7) on */ /* Covariant cast for argument 0 (i) isa OTHER */ /* isa OTHER */ var10 = 1; /* easy isa OTHER*/ -if (!var10) { +if (unlikely(!var10)) { var_class_name13 = type_kernel__Int.name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13); -fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371); show_backtrace(1); } var14 = var_i < var7; @@ -82,13 +69,16 @@ var8 = var14; goto RET_LABEL9; RET_LABEL9:(void)0; } +} if (var8){ -{ /* Inline kernel#Int#unary - (var_i) */ +{ +{ /* Inline kernel#Int#unary - (var_i) on */ var17 = -var_i; var15 = var17; goto RET_LABEL16; RET_LABEL16:(void)0; } +} var_i = var15; } else { } @@ -117,12 +107,13 @@ const char* var_class_name; val* var_k /* var k: Object */; val* var2 /* : nullable Object */; short int var3 /* : Bool */; -val* var4 /* : nullable HashNode[Object] */; -long var5 /* : Int */; +short int var5 /* : Bool */; val* var6 /* : nullable HashNode[Object] */; +long var7 /* : Int */; +val* var8 /* : nullable HashNode[Object] */; val* var_res /* var res: nullable HashNode[Object] */; -/* Covariant cast for argument 0 (k) isa HashCollection#0 */ -/* isa HashCollection#0 */ +/* Covariant cast for argument 0 (k) isa K */ +/* isa K */ type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -131,24 +122,35 @@ var1 = 0; } else { var1 = p0->type->type_table[cltype] == idtype; } -if (!var1) { +if (unlikely(!var1)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 43); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "K", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 43); show_backtrace(1); } var_k = p0; var2 = self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val; /* _last_accessed_key on */ -var3 = ((short int (*)(val*, val*))(var_k->class->vft[COLOR_kernel__Object__is_same_instance]))(var_k, var2) /* is_same_instance on */; +{ +{ /* Inline kernel#Object#is_same_instance (var_k,var2) on */ +var5 = var_k == var2 || (var2 != NULL && var_k->class == var2->class && ((var_k->class->box_kind == 1 && ((struct instance_kernel__Int*)var_k)->value == ((struct instance_kernel__Int*)var2)->value) || (var_k->class->box_kind == 2 && ((struct instance_kernel__Bool*)var_k)->value == ((struct instance_kernel__Bool*)var2)->value) || (var_k->class->box_kind == 3 && ((struct instance_kernel__Char*)var_k)->value == ((struct instance_kernel__Char*)var2)->value) || (var_k->class->box_kind == 4 && ((struct instance_kernel__Float*)var_k)->value == ((struct instance_kernel__Float*)var2)->value) || (var_k->class->box_kind == 5 && ((struct instance_string__NativeString*)var_k)->value == ((struct instance_string__NativeString*)var2)->value) || (var_k->class->box_kind == 6 && ((struct instance_kernel__Pointer*)var_k)->value == ((struct instance_kernel__Pointer*)var2)->value))); +var3 = var5; +goto RET_LABEL4; +RET_LABEL4:(void)0; +} +} if (var3){ -var4 = self->attrs[COLOR_hash_collection__HashCollection___last_accessed_node].val; /* _last_accessed_node on */ -var = var4; +var6 = self->attrs[COLOR_hash_collection__HashCollection___last_accessed_node].val; /* _last_accessed_node on */ +var = var6; goto RET_LABEL; } else { } -var5 = ((long (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__index_at]))(self, var_k) /* index_at on */; -var6 = ((val* (*)(val*, long, val*))(self->class->vft[COLOR_hash_collection__HashCollection__node_at_idx]))(self, var5, var_k) /* node_at_idx on */; -var_res = var6; +{ +var7 = hash_collection__HashCollection__index_at(self, var_k); +} +{ +var8 = hash_collection__HashCollection__node_at_idx(self, var7, var_k); +} +var_res = var8; self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var_k; /* _last_accessed_key on */ self->attrs[COLOR_hash_collection__HashCollection___last_accessed_node].val = var_res; /* _last_accessed_node on */ var = var_res; @@ -177,23 +179,31 @@ long var_i /* var i: Int */; val* var_k /* var k: Object */; val* var2 /* : nullable NativeArray[nullable HashNode[Object]] */; val* var3 /* : nullable Object */; +val* var5 /* : nullable HashNode[Object] */; val* var_c /* var c: nullable HashNode[Object] */; -val* var4 /* : null */; -short int var5 /* : Bool */; -val* var6 /* : Object */; -val* var_ck /* var ck: Object */; +val* var6 /* : null */; short int var7 /* : Bool */; short int var8 /* : Bool */; -short int var_ /* var : Bool */; -short int var9 /* : Bool */; -val* var10 /* : nullable HashNode[Object] */; +val* var_other /* var other: nullable Object */; +short int var10 /* : Bool */; short int var11 /* : Bool */; -int cltype12; -int idtype13; -const struct type* type_struct14; -const char* var_class_name15; -/* Covariant cast for argument 1 (k) isa HashCollection#0 */ -/* isa HashCollection#0 */ +short int var12 /* : Bool */; +val* var13 /* : Object */; +val* var_ck /* var ck: Object */; +short int var14 /* : Bool */; +short int var15 /* : Bool */; +short int var17 /* : Bool */; +short int var_ /* var : Bool */; +short int var18 /* : Bool */; +short int var19 /* : Bool */; +val* var20 /* : nullable HashNode[Object] */; +short int var21 /* : Bool */; +int cltype22; +int idtype23; +const struct type* type_struct24; +const char* var_class_name25; +/* Covariant cast for argument 1 (k) isa K */ +/* isa K */ type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -202,72 +212,103 @@ var1 = 0; } else { var1 = p1->type->type_table[cltype] == idtype; } -if (!var1) { +if (unlikely(!var1)) { var_class_name = p1 == NULL ? "null" : p1->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 55); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "K", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 55); show_backtrace(1); } var_i = p0; var_k = p1; var2 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on */ if (var2 == NULL) { -fprintf(stderr, "Runtime error: %s", "Reciever is null"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 58); +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 58); show_backtrace(1); } else { -var3 = ((val* (*)(val*, long))(var2->class->vft[COLOR_array__NativeArray___91d_93d]))(var2, var_i) /* [] on */; +{ /* Inline array#NativeArray#[] (var2,var_i) on */ +var5 = ((struct instance_array__NativeArray*)var2)->values[var_i]; +var3 = var5; +goto RET_LABEL4; +RET_LABEL4:(void)0; +} } var_c = var3; for(;;) { -var4 = NULL; +var6 = NULL; if (var_c == NULL) { -var5 = 0; /* is null */ +var7 = 0; /* is null */ } else { -var5 = 1; /* arg is null and recv is not */ +var7 = 1; /* arg is null and recv is not */ } -if (!var5) break; -var6 = var_c->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on */ -if (var6 == NULL) { -fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 60); +if (0) { +{ /* Inline kernel#Object#!= (var_c,var6) on */ +var_other = var6; +{ +var11 = ((short int (*)(val*, val*))(var_c->class->vft[COLOR_kernel__Object___61d_61d]))(var_c, var_other) /* == on */; +var10 = var11; +} +var12 = !var10; +var8 = var12; +goto RET_LABEL9; +RET_LABEL9:(void)0; +} +var7 = var8; +} +if (var7){ +var13 = var_c->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on */ +if (unlikely(var13 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 60); show_backtrace(1); } -var_ck = var6; -var8 = ((short int (*)(val*, val*))(var_ck->class->vft[COLOR_kernel__Object__is_same_instance]))(var_ck, var_k) /* is_same_instance on */; -var_ = var8; -if (var8){ -var7 = var_; +var_ck = var13; +{ +{ /* Inline kernel#Object#is_same_instance (var_ck,var_k) on */ +var17 = var_ck == var_k || (var_ck->class == var_k->class && ((var_ck->class->box_kind == 1 && ((struct instance_kernel__Int*)var_ck)->value == ((struct instance_kernel__Int*)var_k)->value) || (var_ck->class->box_kind == 2 && ((struct instance_kernel__Bool*)var_ck)->value == ((struct instance_kernel__Bool*)var_k)->value) || (var_ck->class->box_kind == 3 && ((struct instance_kernel__Char*)var_ck)->value == ((struct instance_kernel__Char*)var_k)->value) || (var_ck->class->box_kind == 4 && ((struct instance_kernel__Float*)var_ck)->value == ((struct instance_kernel__Float*)var_k)->value) || (var_ck->class->box_kind == 5 && ((struct instance_string__NativeString*)var_ck)->value == ((struct instance_string__NativeString*)var_k)->value) || (var_ck->class->box_kind == 6 && ((struct instance_kernel__Pointer*)var_ck)->value == ((struct instance_kernel__Pointer*)var_k)->value))); +var15 = var17; +goto RET_LABEL16; +RET_LABEL16:(void)0; +} +} +var_ = var15; +if (var15){ +var14 = var_; } else { -var9 = ((short int (*)(val*, val*))(var_ck->class->vft[COLOR_kernel__Object___61d_61d]))(var_ck, var_k) /* == on */; -var7 = var9; +{ +var19 = ((short int (*)(val*, val*))(var_ck->class->vft[COLOR_kernel__Object___61d_61d]))(var_ck, var_k) /* == on */; +var18 = var19; } -if (var7){ +var14 = var18; +} +if (var14){ goto BREAK_label; } else { } -var10 = var_c->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val; /* _next_in_bucklet on */ -/* isa nullable HashCollection#1 */ -type_struct14 = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT1]; -cltype12 = type_struct14->color; -idtype13 = type_struct14->id; -if(var10 == NULL) { -var11 = 1; +var20 = var_c->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val; /* _next_in_bucklet on */ +/* isa nullable N */ +type_struct24 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1]; +cltype22 = type_struct24->color; +idtype23 = type_struct24->id; +if(var20 == NULL) { +var21 = 1; } else { -if(cltype12 >= var10->type->table_size) { -var11 = 0; +if(cltype22 >= var20->type->table_size) { +var21 = 0; } else { -var11 = var10->type->type_table[cltype12] == idtype13; +var21 = var20->type->type_table[cltype22] == idtype23; } } -if (!var11) { -var_class_name15 = var10 == NULL ? "null" : var10->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name15); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 64); +if (unlikely(!var21)) { +var_class_name25 = var20 == NULL ? "null" : var20->type->name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable N", var_class_name25); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 64); show_backtrace(1); } -var_c = var10; -CONTINUE_label: (void)0; +var_c = var20; +} else { +goto BREAK_label; +} } BREAK_label: (void)0; var = var_c; @@ -296,47 +337,96 @@ val* var_node /* var node: HashNode[Object] */; val* var1 /* : nullable HashNode[Object] */; val* var2 /* : null */; short int var3 /* : Bool */; -val* var4 /* : nullable HashNode[Object] */; -val* var5 /* : nullable HashNode[Object] */; -val* var6 /* : null */; -val* var7 /* : nullable NativeArray[nullable HashNode[Object]] */; -val* var8 /* : nullable Object */; +short int var4 /* : Bool */; +val* var_other /* var other: nullable Object */; +short int var6 /* : Bool */; +short int var8 /* : Bool */; +val* var9 /* : nullable HashNode[Object] */; +val* var10 /* : nullable HashNode[Object] */; +val* var11 /* : null */; +val* var12 /* : nullable NativeArray[nullable HashNode[Object]] */; +val* var13 /* : nullable Object */; +val* var15 /* : nullable HashNode[Object] */; val* var_next /* var next: nullable HashNode[Object] */; -val* var9 /* : nullable NativeArray[nullable HashNode[Object]] */; -val* var10 /* : null */; -short int var11 /* : Bool */; -val* var12 /* : Object */; -short int var13 /* : Bool */; -int cltype14; -int idtype15; -const struct type* type_struct16; -const char* var_class_name17; -long var18 /* : Int */; +val* var16 /* : nullable NativeArray[nullable HashNode[Object]] */; +short int var18 /* : Bool */; +int cltype19; +int idtype20; +const struct type* type_struct21; +const char* var_class_name22; +val* var23 /* : null */; +short int var24 /* : Bool */; +short int var25 /* : Bool */; +val* var_other27 /* var other: nullable Object */; +short int var28 /* : Bool */; +short int var29 /* : Bool */; +short int var30 /* : Bool */; +val* var31 /* : Object */; +short int var32 /* : Bool */; +int cltype33; +int idtype34; +const struct type* type_struct35; +const char* var_class_name36; +long var37 /* : Int */; long var_l /* var l: Int */; -long var19 /* : Int */; -long var20 /* : Int */; -long var22 /* : Int */; -long var23 /* : Int */; -long var24 /* : Int */; -long var26 /* : Int */; -long var27 /* : Int */; -long var28 /* : Int */; -long var30 /* : Int */; -long var31 /* : Int */; -long var32 /* : Int */; -long var34 /* : Int */; -long var35 /* : Int */; -short int var36 /* : Bool */; -short int var38 /* : Bool */; -int cltype39; -int idtype40; -const char* var_class_name41; -short int var42 /* : Bool */; -long var43 /* : Int */; -long var44 /* : Int */; +long var38 /* : Int */; +long var39 /* : Int */; +short int var41 /* : Bool */; +int cltype42; +int idtype43; +const char* var_class_name44; +long var45 /* : Int */; long var46 /* : Int */; -/* Covariant cast for argument 1 (node) isa HashCollection#1 */ -/* isa HashCollection#1 */ +long var47 /* : Int */; +short int var49 /* : Bool */; +int cltype50; +int idtype51; +const char* var_class_name52; +long var53 /* : Int */; +long var54 /* : Int */; +long var55 /* : Int */; +short int var57 /* : Bool */; +int cltype58; +int idtype59; +const char* var_class_name60; +long var61 /* : Int */; +long var62 /* : Int */; +long var63 /* : Int */; +short int var65 /* : Bool */; +int cltype66; +int idtype67; +const char* var_class_name68; +long var69 /* : Int */; +long var70 /* : Int */; +short int var71 /* : Bool */; +short int var73 /* : Bool */; +int cltype74; +int idtype75; +const char* var_class_name76; +short int var77 /* : Bool */; +long var78 /* : Int */; +long var79 /* : Int */; +short int var81 /* : Bool */; +int cltype82; +int idtype83; +const char* var_class_name84; +long var85 /* : Int */; +long var86 /* : Int */; +long var87 /* : Int */; +short int var89 /* : Bool */; +int cltype90; +int idtype91; +const char* var_class_name92; +long var93 /* : Int */; +long var94 /* : Int */; +long var95 /* : Int */; +short int var97 /* : Bool */; +int cltype98; +int idtype99; +const char* var_class_name100; +long var101 /* : Int */; +/* Covariant cast for argument 1 (node) isa N */ +/* isa N */ type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT1]; cltype = type_struct->color; idtype = type_struct->id; @@ -345,10 +435,10 @@ var = 0; } else { var = p1->type->type_table[cltype] == idtype; } -if (!var) { +if (unlikely(!var)) { var_class_name = p1 == NULL ? "null" : p1->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#1", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 69); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "N", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 69); show_backtrace(1); } var_index = p0; @@ -360,137 +450,287 @@ var3 = 1; /* is null */ } else { var3 = 0; /* arg is null but recv is not */ } +if (0) { +{ /* Inline kernel#Object#== (var1,var2) on */ +var_other = var2; +{ +{ /* Inline kernel#Object#is_same_instance (var1,var_other) on */ +var8 = var1 == var_other; +var6 = var8; +goto RET_LABEL7; +RET_LABEL7:(void)0; +} +} +var4 = var6; +goto RET_LABEL5; +RET_LABEL5:(void)0; +} +var3 = var4; +} if (var3){ self->attrs[COLOR_hash_collection__HashCollection___first_item].val = var_node; /* _first_item on */ } else { -var4 = self->attrs[COLOR_hash_collection__HashCollection___last_item].val; /* _last_item on */ -if (var4 == NULL) { -fprintf(stderr, "Runtime error: %s", "Reciever is null"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 76); +var9 = self->attrs[COLOR_hash_collection__HashCollection___last_item].val; /* _last_item on */ +if (unlikely(var9 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 76); show_backtrace(1); } -var4->attrs[COLOR_hash_collection__HashNode___next_item].val = var_node; /* _next_item on */ +var9->attrs[COLOR_hash_collection__HashNode___next_item].val = var_node; /* _next_item on */ } -var5 = self->attrs[COLOR_hash_collection__HashCollection___last_item].val; /* _last_item on */ -var_node->attrs[COLOR_hash_collection__HashNode___prev_item].val = var5; /* _prev_item on */ -var6 = NULL; -var_node->attrs[COLOR_hash_collection__HashNode___next_item].val = var6; /* _next_item on */ +var10 = self->attrs[COLOR_hash_collection__HashCollection___last_item].val; /* _last_item on */ +var_node->attrs[COLOR_hash_collection__HashNode___prev_item].val = var10; /* _prev_item on */ +var11 = NULL; +var_node->attrs[COLOR_hash_collection__HashNode___next_item].val = var11; /* _next_item on */ self->attrs[COLOR_hash_collection__HashCollection___last_item].val = var_node; /* _last_item on */ -var7 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on */ -if (var7 == NULL) { -fprintf(stderr, "Runtime error: %s", "Reciever is null"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 83); +var12 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on */ +if (var12 == NULL) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 83); show_backtrace(1); } else { -var8 = ((val* (*)(val*, long))(var7->class->vft[COLOR_array__NativeArray___91d_93d]))(var7, var_index) /* [] on */; +{ /* Inline array#NativeArray#[] (var12,var_index) on */ +var15 = ((struct instance_array__NativeArray*)var12)->values[var_index]; +var13 = var15; +goto RET_LABEL14; +RET_LABEL14:(void)0; } -var_next = var8; -var9 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on */ -if (var9 == NULL) { -fprintf(stderr, "Runtime error: %s", "Reciever is null"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 84); +} +var_next = var13; +var16 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on */ +if (var16 == NULL) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 84); show_backtrace(1); } else { -((void (*)(val*, long, val*))(var9->class->vft[COLOR_array__NativeArray___91d_93d_61d]))(var9, var_index, var_node) /* []= on */; +{ /* Inline array#NativeArray#[]= (var16,var_index,var_node) on */ +/* Covariant cast for argument 1 (item) isa E */ +/* isa E */ +type_struct21 = var16->type->resolution_table->types[COLOR_array__NativeArray_FT0]; +cltype19 = type_struct21->color; +idtype20 = type_struct21->id; +if(cltype19 >= var_node->type->table_size) { +var18 = 0; +} else { +var18 = var_node->type->type_table[cltype19] == idtype20; +} +if (unlikely(!var18)) { +var_class_name22 = var_node == NULL ? "null" : var_node->type->name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name22); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 778); +show_backtrace(1); +} +((struct instance_array__NativeArray*)var16)->values[var_index]=var_node; +RET_LABEL17:(void)0; +} } var_node->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val = var_next; /* _next_in_bucklet on */ -var10 = NULL; +var23 = NULL; if (var_next == NULL) { -var11 = 0; /* is null */ +var24 = 0; /* is null */ } else { -var11 = 1; /* arg is null and recv is not */ +var24 = 1; /* arg is null and recv is not */ +} +if (0) { +{ /* Inline kernel#Object#!= (var_next,var23) on */ +var_other27 = var23; +{ +var29 = ((short int (*)(val*, val*))(var_next->class->vft[COLOR_kernel__Object___61d_61d]))(var_next, var_other27) /* == on */; +var28 = var29; +} +var30 = !var28; +var25 = var30; +goto RET_LABEL26; +RET_LABEL26:(void)0; } -if (var11){ +var24 = var25; +} +if (var24){ var_next->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val = var_node; /* _prev_in_bucklet on */ } else { } -var12 = var_node->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on */ -if (var12 == NULL) { -fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 88); +var31 = var_node->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on */ +if (unlikely(var31 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 88); show_backtrace(1); } -/* isa nullable HashCollection#0 */ -type_struct16 = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT0]; -cltype14 = type_struct16->color; -idtype15 = type_struct16->id; -if(cltype14 >= var12->type->table_size) { -var13 = 0; +/* isa nullable K */ +type_struct35 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT0]; +cltype33 = type_struct35->color; +idtype34 = type_struct35->id; +if(cltype33 >= var31->type->table_size) { +var32 = 0; } else { -var13 = var12->type->type_table[cltype14] == idtype15; +var32 = var31->type->type_table[cltype33] == idtype34; } -if (!var13) { -var_class_name17 = var12 == NULL ? "null" : var12->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#0", var_class_name17); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 88); +if (unlikely(!var32)) { +var_class_name36 = var31 == NULL ? "null" : var31->type->name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable K", var_class_name36); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 88); show_backtrace(1); } -self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var12; /* _last_accessed_key on */ +self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var31; /* _last_accessed_key on */ self->attrs[COLOR_hash_collection__HashCollection___last_accessed_node].val = var_node; /* _last_accessed_node on */ -var18 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on */ -var_l = var18; -var19 = 1; -{ /* Inline kernel#Int#+ (var_l,var19) */ -var22 = var_l + var19; -var20 = var22; -goto RET_LABEL21; -RET_LABEL21:(void)0; -} -self->attrs[COLOR_hash_collection__HashCollection___length].l = var20; /* _length on */ -var23 = 5; -{ /* Inline kernel#Int#+ (var_l,var23) */ -var26 = var_l + var23; -var24 = var26; -goto RET_LABEL25; -RET_LABEL25:(void)0; +var37 = self->attrs[COLOR_hash_collection__HashCollection___the_length].l; /* _the_length on */ +var_l = var37; +var38 = 1; +{ +{ /* Inline kernel#Int#+ (var_l,var38) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var41 = 1; /* easy isa OTHER*/ +if (unlikely(!var41)) { +var_class_name44 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name44); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374); +show_backtrace(1); +} +var45 = var_l + var38; +var39 = var45; +goto RET_LABEL40; +RET_LABEL40:(void)0; } -var27 = 3; -{ /* Inline kernel#Int#* (var24,var27) */ -var30 = var24 * var27; -var28 = var30; -goto RET_LABEL29; -RET_LABEL29:(void)0; } -var31 = 2; -{ /* Inline kernel#Int#/ (var28,var31) */ -var34 = var28 / var31; -var32 = var34; -goto RET_LABEL33; -RET_LABEL33:(void)0; +self->attrs[COLOR_hash_collection__HashCollection___the_length].l = var39; /* _the_length on */ +var46 = 5; +{ +{ /* Inline kernel#Int#+ (var_l,var46) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var49 = 1; /* easy isa OTHER*/ +if (unlikely(!var49)) { +var_class_name52 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name52); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374); +show_backtrace(1); +} +var53 = var_l + var46; +var47 = var53; +goto RET_LABEL48; +RET_LABEL48:(void)0; +} +} +var54 = 2; +{ +{ /* Inline kernel#Int#* (var47,var54) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var57 = 1; /* easy isa OTHER*/ +if (unlikely(!var57)) { +var_class_name60 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name60); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 378); +show_backtrace(1); +} +var61 = var47 * var54; +var55 = var61; +goto RET_LABEL56; +RET_LABEL56:(void)0; } -var_l = var32; -var35 = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on */ -{ /* Inline kernel#Int#>= (var_l,var35) */ -/* Covariant cast for argument 0 (i) isa OTHER */ -/* isa OTHER */ -var38 = 1; /* easy isa OTHER*/ -if (!var38) { -var_class_name41 = type_kernel__Int.name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name41); -fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262); +} +var62 = 1; +{ +{ /* Inline kernel#Int#+ (var55,var62) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var65 = 1; /* easy isa OTHER*/ +if (unlikely(!var65)) { +var_class_name68 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name68); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374); show_backtrace(1); } -var42 = var_l >= var35; -var36 = var42; -goto RET_LABEL37; -RET_LABEL37:(void)0; +var69 = var55 + var62; +var63 = var69; +goto RET_LABEL64; +RET_LABEL64:(void)0; +} +} +var_l = var63; +var70 = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on */ +{ +{ /* Inline kernel#Int#>= (var_l,var70) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var73 = 1; /* easy isa OTHER*/ +if (unlikely(!var73)) { +var_class_name76 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name76); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372); +show_backtrace(1); +} +var77 = var_l >= var70; +var71 = var77; +goto RET_LABEL72; +RET_LABEL72:(void)0; +} +} +if (var71){ +var78 = 3; +{ +{ /* Inline kernel#Int#* (var_l,var78) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var81 = 1; /* easy isa OTHER*/ +if (unlikely(!var81)) { +var_class_name84 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name84); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 378); +show_backtrace(1); +} +var85 = var_l * var78; +var79 = var85; +goto RET_LABEL80; +RET_LABEL80:(void)0; +} +} +var86 = 2; +{ +{ /* Inline kernel#Int#/ (var79,var86) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var89 = 1; /* easy isa OTHER*/ +if (unlikely(!var89)) { +var_class_name92 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name92); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 379); +show_backtrace(1); +} +var93 = var79 / var86; +var87 = var93; +goto RET_LABEL88; +RET_LABEL88:(void)0; +} +} +var94 = 1; +{ +{ /* Inline kernel#Int#+ (var87,var94) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var97 = 1; /* easy isa OTHER*/ +if (unlikely(!var97)) { +var_class_name100 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name100); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374); +show_backtrace(1); +} +var101 = var87 + var94; +var95 = var101; +goto RET_LABEL96; +RET_LABEL96:(void)0; } -if (var36){ -var43 = 2; -{ /* Inline kernel#Int#* (var_l,var43) */ -var46 = var_l * var43; -var44 = var46; -goto RET_LABEL45; -RET_LABEL45:(void)0; } -((void (*)(val*, long))(self->class->vft[COLOR_hash_collection__HashCollection__enlarge]))(self, var44) /* enlarge on */; +{ +hash_collection__HashCollection__enlarge(self, var95); /* Direct call hash_collection#HashCollection#enlarge on */ +} } else { } RET_LABEL:; } /* method hash_collection#HashCollection#store for (self: Object, Int, HashNode[Object]) */ void VIRTUAL_hash_collection__HashCollection__store(val* self, long p0, val* p1) { -hash_collection__HashCollection__store(self, p0, p1); +hash_collection__HashCollection__store(self, p0, p1); /* Direct call hash_collection#HashCollection#store on */ RET_LABEL:; } /* method hash_collection#HashCollection#remove_node for (self: HashCollection[Object, HashNode[Object]], Object) */ @@ -507,44 +747,75 @@ val* var2 /* : nullable HashNode[Object] */; val* var_node /* var node: nullable HashNode[Object] */; val* var3 /* : null */; short int var4 /* : Bool */; -val* var5 /* : nullable HashNode[Object] */; +short int var5 /* : Bool */; +val* var_other /* var other: nullable Object */; +short int var7 /* : Bool */; +short int var9 /* : Bool */; +val* var10 /* : nullable HashNode[Object] */; val* var_prev /* var prev: nullable HashNode[Object] */; -val* var6 /* : nullable HashNode[Object] */; +val* var11 /* : nullable HashNode[Object] */; val* var_next /* var next: nullable HashNode[Object] */; -val* var7 /* : null */; -short int var8 /* : Bool */; -short int var9 /* : Bool */; -int cltype10; -int idtype11; -const struct type* type_struct12; -const char* var_class_name13; -val* var14 /* : null */; -short int var15 /* : Bool */; -short int var16 /* : Bool */; -int cltype17; -int idtype18; -const struct type* type_struct19; -const char* var_class_name20; -val* var_ /* var : HashCollection[Object, HashNode[Object]] */; -long var21 /* : Int */; -long var22 /* : Int */; -long var23 /* : Int */; -long var25 /* : Int */; -val* var26 /* : nullable HashNode[Object] */; -val* var27 /* : nullable HashNode[Object] */; -val* var28 /* : null */; +val* var12 /* : null */; +short int var13 /* : Bool */; +short int var14 /* : Bool */; +val* var_other16 /* var other: nullable Object */; +short int var17 /* : Bool */; +short int var18 /* : Bool */; +short int var19 /* : Bool */; +short int var20 /* : Bool */; +int cltype21; +int idtype22; +const struct type* type_struct23; +const char* var_class_name24; +val* var25 /* : null */; +short int var26 /* : Bool */; +short int var27 /* : Bool */; short int var29 /* : Bool */; -val* var30 /* : nullable NativeArray[nullable HashNode[Object]] */; +short int var30 /* : Bool */; short int var31 /* : Bool */; -int cltype32; -int idtype33; -const struct type* type_struct34; -const char* var_class_name35; -val* var36 /* : null */; -short int var37 /* : Bool */; -val* var38 /* : null */; -/* Covariant cast for argument 0 (k) isa HashCollection#0 */ -/* isa HashCollection#0 */ +short int var32 /* : Bool */; +int cltype33; +int idtype34; +const struct type* type_struct35; +const char* var_class_name36; +val* var_ /* var : HashCollection[Object, HashNode[Object]] */; +long var37 /* : Int */; +long var38 /* : Int */; +long var39 /* : Int */; +short int var41 /* : Bool */; +int cltype42; +int idtype43; +const char* var_class_name44; +long var45 /* : Int */; +val* var46 /* : nullable HashNode[Object] */; +val* var47 /* : nullable HashNode[Object] */; +val* var48 /* : null */; +short int var49 /* : Bool */; +short int var50 /* : Bool */; +short int var52 /* : Bool */; +short int var53 /* : Bool */; +short int var54 /* : Bool */; +val* var55 /* : nullable NativeArray[nullable HashNode[Object]] */; +short int var56 /* : Bool */; +int cltype57; +int idtype58; +const struct type* type_struct59; +const char* var_class_name60; +short int var62 /* : Bool */; +int cltype63; +int idtype64; +const struct type* type_struct65; +short int is_nullable; +const char* var_class_name66; +val* var67 /* : null */; +short int var68 /* : Bool */; +short int var69 /* : Bool */; +short int var71 /* : Bool */; +short int var72 /* : Bool */; +short int var73 /* : Bool */; +val* var74 /* : null */; +/* Covariant cast for argument 0 (k) isa K */ +/* isa K */ type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -553,16 +824,20 @@ var = 0; } else { var = p0->type->type_table[cltype] == idtype; } -if (!var) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 100); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "K", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 104); show_backtrace(1); } var_k = p0; -var1 = ((long (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__index_at]))(self, var_k) /* index_at on */; +{ +var1 = hash_collection__HashCollection__index_at(self, var_k); +} var_i = var1; -var2 = ((val* (*)(val*, long, val*))(self->class->vft[COLOR_hash_collection__HashCollection__node_at_idx]))(self, var_i, var_k) /* node_at_idx on */; +{ +var2 = hash_collection__HashCollection__node_at_idx(self, var_i, var_k); +} var_node = var2; var3 = NULL; if (var_node == NULL) { @@ -570,142 +845,250 @@ var4 = 1; /* is null */ } else { var4 = 0; /* arg is null but recv is not */ } +if (0) { +{ /* Inline kernel#Object#== (var_node,var3) on */ +var_other = var3; +{ +{ /* Inline kernel#Object#is_same_instance (var_node,var_other) on */ +var9 = var_node == var_other; +var7 = var9; +goto RET_LABEL8; +RET_LABEL8:(void)0; +} +} +var5 = var7; +goto RET_LABEL6; +RET_LABEL6:(void)0; +} +var4 = var5; +} if (var4){ goto RET_LABEL; } else { } -var5 = var_node->attrs[COLOR_hash_collection__HashNode___prev_item].val; /* _prev_item on */ -var_prev = var5; -var6 = var_node->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on */ -var_next = var6; -var7 = NULL; +var10 = var_node->attrs[COLOR_hash_collection__HashNode___prev_item].val; /* _prev_item on */ +var_prev = var10; +var11 = var_node->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on */ +var_next = var11; +var12 = NULL; if (var_prev == NULL) { -var8 = 0; /* is null */ +var13 = 0; /* is null */ } else { -var8 = 1; /* arg is null and recv is not */ +var13 = 1; /* arg is null and recv is not */ } -if (var8){ +if (0) { +{ /* Inline kernel#Object#!= (var_prev,var12) on */ +var_other16 = var12; +{ +var18 = ((short int (*)(val*, val*))(var_prev->class->vft[COLOR_kernel__Object___61d_61d]))(var_prev, var_other16) /* == on */; +var17 = var18; +} +var19 = !var17; +var14 = var19; +goto RET_LABEL15; +RET_LABEL15:(void)0; +} +var13 = var14; +} +if (var13){ var_prev->attrs[COLOR_hash_collection__HashNode___next_item].val = var_next; /* _next_item on */ } else { -/* isa nullable HashCollection#1 */ -type_struct12 = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT1]; -cltype10 = type_struct12->color; -idtype11 = type_struct12->id; +/* isa nullable N */ +type_struct23 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1]; +cltype21 = type_struct23->color; +idtype22 = type_struct23->id; if(var_next == NULL) { -var9 = 1; +var20 = 1; } else { -if(cltype10 >= var_next->type->table_size) { -var9 = 0; +if(cltype21 >= var_next->type->table_size) { +var20 = 0; } else { -var9 = var_next->type->type_table[cltype10] == idtype11; +var20 = var_next->type->type_table[cltype21] == idtype22; } } -if (!var9) { -var_class_name13 = var_next == NULL ? "null" : var_next->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name13); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 113); +if (unlikely(!var20)) { +var_class_name24 = var_next == NULL ? "null" : var_next->type->name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable N", var_class_name24); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 117); show_backtrace(1); } self->attrs[COLOR_hash_collection__HashCollection___first_item].val = var_next; /* _first_item on */ } -var14 = NULL; +var25 = NULL; if (var_next == NULL) { -var15 = 0; /* is null */ +var26 = 0; /* is null */ } else { -var15 = 1; /* arg is null and recv is not */ +var26 = 1; /* arg is null and recv is not */ } -if (var15){ +if (0) { +{ /* Inline kernel#Object#!= (var_next,var25) on */ +var_other16 = var25; +{ +var30 = ((short int (*)(val*, val*))(var_next->class->vft[COLOR_kernel__Object___61d_61d]))(var_next, var_other16) /* == on */; +var29 = var30; +} +var31 = !var29; +var27 = var31; +goto RET_LABEL28; +RET_LABEL28:(void)0; +} +var26 = var27; +} +if (var26){ var_next->attrs[COLOR_hash_collection__HashNode___prev_item].val = var_prev; /* _prev_item on */ } else { -/* isa nullable HashCollection#1 */ -type_struct19 = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT1]; -cltype17 = type_struct19->color; -idtype18 = type_struct19->id; +/* isa nullable N */ +type_struct35 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1]; +cltype33 = type_struct35->color; +idtype34 = type_struct35->id; if(var_prev == NULL) { -var16 = 1; +var32 = 1; } else { -if(cltype17 >= var_prev->type->table_size) { -var16 = 0; +if(cltype33 >= var_prev->type->table_size) { +var32 = 0; } else { -var16 = var_prev->type->type_table[cltype17] == idtype18; +var32 = var_prev->type->type_table[cltype33] == idtype34; } } -if (!var16) { -var_class_name20 = var_prev == NULL ? "null" : var_prev->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name20); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 118); +if (unlikely(!var32)) { +var_class_name36 = var_prev == NULL ? "null" : var_prev->type->name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable N", var_class_name36); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 122); show_backtrace(1); } self->attrs[COLOR_hash_collection__HashCollection___last_item].val = var_prev; /* _last_item on */ } var_ = self; -var21 = var_->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on */ -var22 = 1; -{ /* Inline kernel#Int#- (var21,var22) */ -var25 = var21 - var22; -var23 = var25; -goto RET_LABEL24; -RET_LABEL24:(void)0; -} -var_->attrs[COLOR_hash_collection__HashCollection___length].l = var23; /* _length on */ -var26 = var_node->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val; /* _prev_in_bucklet on */ -var_prev = var26; -var27 = var_node->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val; /* _next_in_bucklet on */ -var_next = var27; -var28 = NULL; +var37 = var_->attrs[COLOR_hash_collection__HashCollection___the_length].l; /* _the_length on */ +var38 = 1; +{ +{ /* Inline kernel#Int#- (var37,var38) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var41 = 1; /* easy isa OTHER*/ +if (unlikely(!var41)) { +var_class_name44 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name44); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377); +show_backtrace(1); +} +var45 = var37 - var38; +var39 = var45; +goto RET_LABEL40; +RET_LABEL40:(void)0; +} +} +var_->attrs[COLOR_hash_collection__HashCollection___the_length].l = var39; /* _the_length on */ +var46 = var_node->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val; /* _prev_in_bucklet on */ +var_prev = var46; +var47 = var_node->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val; /* _next_in_bucklet on */ +var_next = var47; +var48 = NULL; if (var_prev == NULL) { -var29 = 0; /* is null */ +var49 = 0; /* is null */ } else { -var29 = 1; /* arg is null and recv is not */ +var49 = 1; /* arg is null and recv is not */ } -if (var29){ +if (0) { +{ /* Inline kernel#Object#!= (var_prev,var48) on */ +var_other16 = var48; +{ +var53 = ((short int (*)(val*, val*))(var_prev->class->vft[COLOR_kernel__Object___61d_61d]))(var_prev, var_other16) /* == on */; +var52 = var53; +} +var54 = !var52; +var50 = var54; +goto RET_LABEL51; +RET_LABEL51:(void)0; +} +var49 = var50; +} +if (var49){ var_prev->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val = var_next; /* _next_in_bucklet on */ } else { -var30 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on */ -/* isa nullable HashCollection#1 */ -type_struct34 = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT1]; -cltype32 = type_struct34->color; -idtype33 = type_struct34->id; +var55 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on */ +/* isa nullable N */ +type_struct59 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1]; +cltype57 = type_struct59->color; +idtype58 = type_struct59->id; if(var_next == NULL) { -var31 = 1; +var56 = 1; } else { -if(cltype32 >= var_next->type->table_size) { -var31 = 0; +if(cltype57 >= var_next->type->table_size) { +var56 = 0; } else { -var31 = var_next->type->type_table[cltype32] == idtype33; +var56 = var_next->type->type_table[cltype57] == idtype58; } } -if (!var31) { -var_class_name35 = var_next == NULL ? "null" : var_next->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name35); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 128); +if (unlikely(!var56)) { +var_class_name60 = var_next == NULL ? "null" : var_next->type->name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable N", var_class_name60); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 132); show_backtrace(1); } -if (var30 == NULL) { -fprintf(stderr, "Runtime error: %s", "Reciever is null"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 128); +if (var55 == NULL) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 132); show_backtrace(1); } else { -((void (*)(val*, long, val*))(var30->class->vft[COLOR_array__NativeArray___91d_93d_61d]))(var30, var_i, var_next) /* []= on */; +{ /* Inline array#NativeArray#[]= (var55,var_i,var_next) on */ +/* Covariant cast for argument 1 (item) isa E */ +/* isa E */ +type_struct65 = var55->type->resolution_table->types[COLOR_array__NativeArray_FT0]; +cltype63 = type_struct65->color; +idtype64 = type_struct65->id; +is_nullable = type_struct65->is_nullable; +if(var_next == NULL) { +var62 = is_nullable; +} else { +if(cltype63 >= var_next->type->table_size) { +var62 = 0; +} else { +var62 = var_next->type->type_table[cltype63] == idtype64; +} +} +if (unlikely(!var62)) { +var_class_name66 = var_next == NULL ? "null" : var_next->type->name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name66); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 778); +show_backtrace(1); +} +((struct instance_array__NativeArray*)var55)->values[var_i]=var_next; +RET_LABEL61:(void)0; } } -var36 = NULL; +} +var67 = NULL; if (var_next == NULL) { -var37 = 0; /* is null */ +var68 = 0; /* is null */ } else { -var37 = 1; /* arg is null and recv is not */ +var68 = 1; /* arg is null and recv is not */ +} +if (0) { +{ /* Inline kernel#Object#!= (var_next,var67) on */ +var_other16 = var67; +{ +var72 = ((short int (*)(val*, val*))(var_next->class->vft[COLOR_kernel__Object___61d_61d]))(var_next, var_other16) /* == on */; +var71 = var72; } -if (var37){ +var73 = !var71; +var69 = var73; +goto RET_LABEL70; +RET_LABEL70:(void)0; +} +var68 = var69; +} +if (var68){ var_next->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val = var_prev; /* _prev_in_bucklet on */ } else { } -var38 = NULL; -self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var38; /* _last_accessed_key on */ +var74 = NULL; +self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var74; /* _last_accessed_key on */ RET_LABEL:; } /* method hash_collection#HashCollection#remove_node for (self: Object, Object) */ void VIRTUAL_hash_collection__HashCollection__remove_node(val* self, val* p0) { -hash_collection__HashCollection__remove_node(self, p0); +hash_collection__HashCollection__remove_node(self, p0); /* Direct call hash_collection#HashCollection#remove_node on */ RET_LABEL:; } /* method hash_collection#HashCollection#raz for (self: HashCollection[Object, HashNode[Object]]) */ @@ -713,84 +1096,148 @@ void hash_collection__HashCollection__raz(val* self) { long var /* : Int */; long var1 /* : Int */; long var2 /* : Int */; -long var4 /* : Int */; -long var_i /* var i: Int */; -long var5 /* : Int */; -short int var6 /* : Bool */; -short int var8 /* : Bool */; +short int var4 /* : Bool */; int cltype; int idtype; const char* var_class_name; +long var5 /* : Int */; +long var_i /* var i: Int */; +long var6 /* : Int */; +short int var7 /* : Bool */; short int var9 /* : Bool */; -val* var10 /* : nullable NativeArray[nullable HashNode[Object]] */; -val* var11 /* : null */; -long var12 /* : Int */; -long var13 /* : Int */; -long var15 /* : Int */; -long var16 /* : Int */; -val* var17 /* : null */; -val* var18 /* : null */; -val* var19 /* : null */; +int cltype10; +int idtype11; +const char* var_class_name12; +short int var13 /* : Bool */; +val* var14 /* : nullable NativeArray[nullable HashNode[Object]] */; +val* var15 /* : null */; +short int var17 /* : Bool */; +int cltype18; +int idtype19; +const struct type* type_struct; +short int is_nullable; +const char* var_class_name20; +long var21 /* : Int */; +long var22 /* : Int */; +short int var24 /* : Bool */; +int cltype25; +int idtype26; +const char* var_class_name27; +long var28 /* : Int */; +long var29 /* : Int */; +val* var30 /* : null */; +val* var31 /* : null */; +val* var32 /* : null */; var = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on */ var1 = 1; -{ /* Inline kernel#Int#- (var,var1) */ -var4 = var - var1; -var2 = var4; -goto RET_LABEL3; -RET_LABEL3:(void)0; +{ +{ /* Inline kernel#Int#- (var,var1) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var4 = 1; /* easy isa OTHER*/ +if (unlikely(!var4)) { +var_class_name = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377); +show_backtrace(1); +} +var5 = var - var1; +var2 = var5; +goto RET_LABEL3; +RET_LABEL3:(void)0; +} } var_i = var2; for(;;) { -var5 = 0; -{ /* Inline kernel#Int#>= (var_i,var5) */ -/* Covariant cast for argument 0 (i) isa OTHER */ -/* isa OTHER */ -var8 = 1; /* easy isa OTHER*/ -if (!var8) { -var_class_name = type_kernel__Int.name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262); +var6 = 0; +{ +{ /* Inline kernel#Int#>= (var_i,var6) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var9 = 1; /* easy isa OTHER*/ +if (unlikely(!var9)) { +var_class_name12 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name12); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372); +show_backtrace(1); +} +var13 = var_i >= var6; +var7 = var13; +goto RET_LABEL8; +RET_LABEL8:(void)0; +} +} +if (var7){ +var14 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on */ +var15 = NULL; +if (var14 == NULL) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 146); +show_backtrace(1); +} else { +{ /* Inline array#NativeArray#[]= (var14,var_i,var15) on */ +/* Covariant cast for argument 1 (item) isa E */ +/* isa E */ +type_struct = var14->type->resolution_table->types[COLOR_array__NativeArray_FT0]; +cltype18 = type_struct->color; +idtype19 = type_struct->id; +is_nullable = type_struct->is_nullable; +if(var15 == NULL) { +var17 = is_nullable; +} else { +if(cltype18 >= var15->type->table_size) { +var17 = 0; +} else { +var17 = var15->type->type_table[cltype18] == idtype19; +} +} +if (unlikely(!var17)) { +var_class_name20 = var15 == NULL ? "null" : var15->type->name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name20); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 778); show_backtrace(1); } -var9 = var_i >= var5; -var6 = var9; -goto RET_LABEL7; -RET_LABEL7:(void)0; +((struct instance_array__NativeArray*)var14)->values[var_i]=var15; +RET_LABEL16:(void)0; } -if (!var6) break; -var10 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on */ -var11 = NULL; -if (var10 == NULL) { -fprintf(stderr, "Runtime error: %s", "Reciever is null"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 142); +} +var21 = 1; +{ +{ /* Inline kernel#Int#- (var_i,var21) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var24 = 1; /* easy isa OTHER*/ +if (unlikely(!var24)) { +var_class_name27 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name27); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377); show_backtrace(1); -} else { -((void (*)(val*, long, val*))(var10->class->vft[COLOR_array__NativeArray___91d_93d_61d]))(var10, var_i, var11) /* []= on */; } -var12 = 1; -{ /* Inline kernel#Int#- (var_i,var12) */ -var15 = var_i - var12; -var13 = var15; -goto RET_LABEL14; -RET_LABEL14:(void)0; +var28 = var_i - var21; +var22 = var28; +goto RET_LABEL23; +RET_LABEL23:(void)0; +} +} +var_i = var22; +} else { +goto BREAK_label; } -var_i = var13; -CONTINUE_label: (void)0; } BREAK_label: (void)0; -var16 = 0; -self->attrs[COLOR_hash_collection__HashCollection___length].l = var16; /* _length on */ -var17 = NULL; -self->attrs[COLOR_hash_collection__HashCollection___first_item].val = var17; /* _first_item on */ -var18 = NULL; -self->attrs[COLOR_hash_collection__HashCollection___last_item].val = var18; /* _last_item on */ -var19 = NULL; -self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var19; /* _last_accessed_key on */ +var29 = 0; +self->attrs[COLOR_hash_collection__HashCollection___the_length].l = var29; /* _the_length on */ +var30 = NULL; +self->attrs[COLOR_hash_collection__HashCollection___first_item].val = var30; /* _first_item on */ +var31 = NULL; +self->attrs[COLOR_hash_collection__HashCollection___last_item].val = var31; /* _last_item on */ +var32 = NULL; +self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var32; /* _last_accessed_key on */ RET_LABEL:; } /* method hash_collection#HashCollection#raz for (self: Object) */ void VIRTUAL_hash_collection__HashCollection__raz(val* self) { -hash_collection__HashCollection__raz(self); +hash_collection__HashCollection__raz(self); /* Direct call hash_collection#HashCollection#raz on */ RET_LABEL:; } /* method hash_collection#HashCollection#enlarge for (self: HashCollection[Object, HashNode[Object]], Int) */ @@ -801,385 +1248,458 @@ long var_old_cap /* var old_cap: Int */; long var1 /* : Int */; long var2 /* : Int */; long var3 /* : Int */; -long var5 /* : Int */; -short int var6 /* : Bool */; -short int var8 /* : Bool */; +short int var5 /* : Bool */; int cltype; int idtype; const char* var_class_name; +long var6 /* : Int */; +short int var7 /* : Bool */; short int var9 /* : Bool */; -long var10 /* : Int */; -long var11 /* : Int */; -long var12 /* : Int */; +int cltype10; +int idtype11; +const char* var_class_name12; +short int var13 /* : Bool */; long var14 /* : Int */; long var15 /* : Int */; -short int var16 /* : Bool */; +long var16 /* : Int */; short int var18 /* : Bool */; int cltype19; int idtype20; const char* var_class_name21; -short int var22 /* : Bool */; -val* var23 /* : null */; -val* var24 /* : NativeArray[nullable Object] */; -val* var_new_array /* var new_array: NativeArray[nullable HashNode[Object]] */; -long var25 /* : Int */; -long var26 /* : Int */; -long var28 /* : Int */; -long var_i /* var i: Int */; -long var29 /* : Int */; +long var22 /* : Int */; +long var23 /* : Int */; +short int var24 /* : Bool */; +short int var26 /* : Bool */; +int cltype27; +int idtype28; +const char* var_class_name29; short int var30 /* : Bool */; -short int var32 /* : Bool */; -int cltype33; -int idtype34; -const char* var_class_name35; -short int var36 /* : Bool */; -val* var37 /* : null */; -long var38 /* : Int */; -long var39 /* : Int */; -long var41 /* : Int */; +val* var31 /* : null */; +val* var32 /* : NativeArray[nullable Object] */; +val* var34 /* : NativeArray[nullable Object] */; +val* var_new_array /* var new_array: NativeArray[nullable HashNode[Object]] */; +long var35 /* : Int */; +long var36 /* : Int */; +short int var38 /* : Bool */; +int cltype39; +int idtype40; +const char* var_class_name41; long var42 /* : Int */; -short int var43 /* : Bool */; -short int var45 /* : Bool */; -int cltype46; -int idtype47; -const char* var_class_name48; -short int var49 /* : Bool */; -val* var50 /* : nullable HashNode[Object] */; -val* var_node /* var node: nullable HashNode[Object] */; +long var_i /* var i: Int */; +long var43 /* : Int */; +short int var44 /* : Bool */; +short int var46 /* : Bool */; +int cltype47; +int idtype48; +const char* var_class_name49; +short int var50 /* : Bool */; val* var51 /* : null */; -short int var52 /* : Bool */; -val* var53 /* : Object */; -short int var54 /* : Bool */; -int cltype55; -int idtype56; +short int var53 /* : Bool */; +int cltype54; +int idtype55; const struct type* type_struct; -const char* var_class_name57; +short int is_nullable; +const char* var_class_name56; +long var57 /* : Int */; long var58 /* : Int */; +short int var60 /* : Bool */; +int cltype61; +int idtype62; +const char* var_class_name63; +long var64 /* : Int */; +long var65 /* : Int */; +short int var66 /* : Bool */; +short int var68 /* : Bool */; +int cltype69; +int idtype70; +const char* var_class_name71; +short int var72 /* : Bool */; +val* var73 /* : nullable HashNode[Object] */; +val* var_node /* var node: nullable HashNode[Object] */; +val* var74 /* : null */; +short int var75 /* : Bool */; +short int var76 /* : Bool */; +val* var_other /* var other: nullable Object */; +short int var78 /* : Bool */; +short int var79 /* : Bool */; +short int var80 /* : Bool */; +val* var81 /* : Object */; +short int var82 /* : Bool */; +int cltype83; +int idtype84; +const struct type* type_struct85; +const char* var_class_name86; +long var87 /* : Int */; long var_index /* var index: Int */; -val* var59 /* : nullable Object */; +val* var88 /* : nullable Object */; +val* var90 /* : nullable HashNode[Object] */; val* var_next /* var next: nullable HashNode[Object] */; -val* var60 /* : null */; -short int var61 /* : Bool */; -val* var62 /* : nullable HashNode[Object] */; -short int var63 /* : Bool */; -int cltype64; -int idtype65; -const struct type* type_struct66; -const char* var_class_name67; +short int var92 /* : Bool */; +int cltype93; +int idtype94; +const struct type* type_struct95; +const char* var_class_name96; +val* var97 /* : null */; +val* var98 /* : null */; +short int var99 /* : Bool */; +short int var100 /* : Bool */; +short int var102 /* : Bool */; +short int var103 /* : Bool */; +short int var104 /* : Bool */; +val* var105 /* : nullable HashNode[Object] */; +short int var106 /* : Bool */; +int cltype107; +int idtype108; +const struct type* type_struct109; +const char* var_class_name110; var_cap = p0; var = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on */ var_old_cap = var; -var1 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on */ +var1 = self->attrs[COLOR_hash_collection__HashCollection___the_length].l; /* _the_length on */ var2 = 1; -{ /* Inline kernel#Int#+ (var1,var2) */ -var5 = var1 + var2; -var3 = var5; +{ +{ /* Inline kernel#Int#+ (var1,var2) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var5 = 1; /* easy isa OTHER*/ +if (unlikely(!var5)) { +var_class_name = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374); +show_backtrace(1); +} +var6 = var1 + var2; +var3 = var6; goto RET_LABEL4; RET_LABEL4:(void)0; } -{ /* Inline kernel#Int#< (var_cap,var3) */ +} +{ +{ /* Inline kernel#Int#< (var_cap,var3) on */ /* Covariant cast for argument 0 (i) isa OTHER */ /* isa OTHER */ -var8 = 1; /* easy isa OTHER*/ -if (!var8) { -var_class_name = type_kernel__Int.name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261); +var9 = 1; /* easy isa OTHER*/ +if (unlikely(!var9)) { +var_class_name12 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name12); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 371); show_backtrace(1); } -var9 = var_cap < var3; -var6 = var9; -goto RET_LABEL7; -RET_LABEL7:(void)0; -} -if (var6){ -var10 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on */ -var11 = 1; -{ /* Inline kernel#Int#+ (var10,var11) */ -var14 = var10 + var11; -var12 = var14; -goto RET_LABEL13; -RET_LABEL13:(void)0; +var13 = var_cap < var3; +var7 = var13; +goto RET_LABEL8; +RET_LABEL8:(void)0; } -var_cap = var12; -} else { } -var15 = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on */ -{ /* Inline kernel#Int#<= (var_cap,var15) */ +if (var7){ +var14 = self->attrs[COLOR_hash_collection__HashCollection___the_length].l; /* _the_length on */ +var15 = 1; +{ +{ /* Inline kernel#Int#+ (var14,var15) on */ /* Covariant cast for argument 0 (i) isa OTHER */ /* isa OTHER */ var18 = 1; /* easy isa OTHER*/ -if (!var18) { +if (unlikely(!var18)) { var_class_name21 = type_kernel__Int.name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name21); -fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 260); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name21); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 374); show_backtrace(1); } -var22 = var_cap <= var15; +var22 = var14 + var15; var16 = var22; goto RET_LABEL17; RET_LABEL17:(void)0; } -if (var16){ +} +var_cap = var16; +} else { +} +var23 = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on */ +{ +{ /* Inline kernel#Int#<= (var_cap,var23) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var26 = 1; /* easy isa OTHER*/ +if (unlikely(!var26)) { +var_class_name29 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name29); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 370); +show_backtrace(1); +} +var30 = var_cap <= var23; +var24 = var30; +goto RET_LABEL25; +RET_LABEL25:(void)0; +} +} +if (var24){ goto RET_LABEL; } else { } self->attrs[COLOR_hash_collection__HashCollection___capacity].l = var_cap; /* _capacity on */ -var23 = NULL; -self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var23; /* _last_accessed_key on */ -var24 = ((val* (*)(val*, long))(self->class->vft[COLOR_array__ArrayCapable__calloc_array]))(self, var_cap) /* calloc_array on */; -var_new_array = var24; +var31 = NULL; +self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var31; /* _last_accessed_key on */ +{ +{ /* Inline array#ArrayCapable#calloc_array (self,var_cap) on */ +var34 = NEW_array__NativeArray(var_cap, self->type->resolution_table->types[COLOR_array__NativeArrayarray__ArrayCapable_FT0]); +var32 = var34; +goto RET_LABEL33; +RET_LABEL33:(void)0; +} +} +var_new_array = var32; self->attrs[COLOR_hash_collection__HashCollection___array].val = var_new_array; /* _array on */ -var25 = 1; -{ /* Inline kernel#Int#- (var_cap,var25) */ -var28 = var_cap - var25; -var26 = var28; -goto RET_LABEL27; -RET_LABEL27:(void)0; -} -var_i = var26; +var35 = 1; +{ +{ /* Inline kernel#Int#- (var_cap,var35) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var38 = 1; /* easy isa OTHER*/ +if (unlikely(!var38)) { +var_class_name41 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name41); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377); +show_backtrace(1); +} +var42 = var_cap - var35; +var36 = var42; +goto RET_LABEL37; +RET_LABEL37:(void)0; +} +} +var_i = var36; for(;;) { -var29 = 0; -{ /* Inline kernel#Int#>= (var_i,var29) */ -/* Covariant cast for argument 0 (i) isa OTHER */ -/* isa OTHER */ -var32 = 1; /* easy isa OTHER*/ -if (!var32) { -var_class_name35 = type_kernel__Int.name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name35); -fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262); -show_backtrace(1); -} -var36 = var_i >= var29; -var30 = var36; -goto RET_LABEL31; -RET_LABEL31:(void)0; -} -if (!var30) break; -var37 = NULL; -((void (*)(val*, long, val*))(var_new_array->class->vft[COLOR_array__NativeArray___91d_93d_61d]))(var_new_array, var_i, var37) /* []= on */; -var38 = 1; -{ /* Inline kernel#Int#- (var_i,var38) */ -var41 = var_i - var38; -var39 = var41; -goto RET_LABEL40; -RET_LABEL40:(void)0; +var43 = 0; +{ +{ /* Inline kernel#Int#>= (var_i,var43) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var46 = 1; /* easy isa OTHER*/ +if (unlikely(!var46)) { +var_class_name49 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name49); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 372); +show_backtrace(1); +} +var50 = var_i >= var43; +var44 = var50; +goto RET_LABEL45; +RET_LABEL45:(void)0; +} +} +if (var44){ +var51 = NULL; +{ +{ /* Inline array#NativeArray#[]= (var_new_array,var_i,var51) on */ +/* Covariant cast for argument 1 (item) isa E */ +/* isa E */ +type_struct = var_new_array->type->resolution_table->types[COLOR_array__NativeArray_FT0]; +cltype54 = type_struct->color; +idtype55 = type_struct->id; +is_nullable = type_struct->is_nullable; +if(var51 == NULL) { +var53 = is_nullable; +} else { +if(cltype54 >= var51->type->table_size) { +var53 = 0; +} else { +var53 = var51->type->type_table[cltype54] == idtype55; +} +} +if (unlikely(!var53)) { +var_class_name56 = var51 == NULL ? "null" : var51->type->name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name56); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 778); +show_backtrace(1); +} +((struct instance_array__NativeArray*)var_new_array)->values[var_i]=var51; +RET_LABEL52:(void)0; +} +} +var57 = 1; +{ +{ /* Inline kernel#Int#- (var_i,var57) on */ +/* Covariant cast for argument 0 (i) isa OTHER */ +/* isa OTHER */ +var60 = 1; /* easy isa OTHER*/ +if (unlikely(!var60)) { +var_class_name63 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name63); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 377); +show_backtrace(1); +} +var64 = var_i - var57; +var58 = var64; +goto RET_LABEL59; +RET_LABEL59:(void)0; +} +} +var_i = var58; +} else { +goto BREAK_label; } -var_i = var39; -CONTINUE_label: (void)0; } BREAK_label: (void)0; -var42 = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on */ -{ /* Inline kernel#Int#<= (var42,var_old_cap) */ +var65 = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on */ +{ +{ /* Inline kernel#Int#<= (var65,var_old_cap) on */ /* Covariant cast for argument 0 (i) isa OTHER */ /* isa OTHER */ -var45 = 1; /* easy isa OTHER*/ -if (!var45) { -var_class_name48 = type_kernel__Int.name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name48); -fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 260); +var68 = 1; /* easy isa OTHER*/ +if (unlikely(!var68)) { +var_class_name71 = type_kernel__Int.name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name71); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 370); show_backtrace(1); } -var49 = var42 <= var_old_cap; -var43 = var49; -goto RET_LABEL44; -RET_LABEL44:(void)0; +var72 = var65 <= var_old_cap; +var66 = var72; +goto RET_LABEL67; +RET_LABEL67:(void)0; } -if (var43){ +} +if (var66){ goto RET_LABEL; } else { } -var50 = self->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ -var_node = var50; +var73 = self->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ +var_node = var73; for(;;) { -var51 = NULL; +var74 = NULL; if (var_node == NULL) { -var52 = 0; /* is null */ +var75 = 0; /* is null */ } else { -var52 = 1; /* arg is null and recv is not */ +var75 = 1; /* arg is null and recv is not */ +} +if (0) { +{ /* Inline kernel#Object#!= (var_node,var74) on */ +var_other = var74; +{ +var79 = ((short int (*)(val*, val*))(var_node->class->vft[COLOR_kernel__Object___61d_61d]))(var_node, var_other) /* == on */; +var78 = var79; +} +var80 = !var78; +var76 = var80; +goto RET_LABEL77; +RET_LABEL77:(void)0; } -if (!var52) break; -var53 = var_node->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on */ -if (var53 == NULL) { -fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 177); +var75 = var76; +} +if (var75){ +var81 = var_node->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on */ +if (unlikely(var81 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 181); show_backtrace(1); } -/* isa HashCollection#0 */ -type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT0]; -cltype55 = type_struct->color; -idtype56 = type_struct->id; -if(cltype55 >= var53->type->table_size) { -var54 = 0; +/* isa K */ +type_struct85 = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT0]; +cltype83 = type_struct85->color; +idtype84 = type_struct85->id; +if(cltype83 >= var81->type->table_size) { +var82 = 0; } else { -var54 = var53->type->type_table[cltype55] == idtype56; +var82 = var81->type->type_table[cltype83] == idtype84; } -if (!var54) { -var_class_name57 = var53 == NULL ? "null" : var53->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name57); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 177); +if (unlikely(!var82)) { +var_class_name86 = var81 == NULL ? "null" : var81->type->name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "K", var_class_name86); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 181); show_backtrace(1); } -var58 = ((long (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__index_at]))(self, var53) /* index_at on */; -var_index = var58; -var59 = ((val* (*)(val*, long))(var_new_array->class->vft[COLOR_array__NativeArray___91d_93d]))(var_new_array, var_index) /* [] on */; -var_next = var59; -((void (*)(val*, long, val*))(var_new_array->class->vft[COLOR_array__NativeArray___91d_93d_61d]))(var_new_array, var_index, var_node) /* []= on */; -var_node->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val = var_next; /* _next_in_bucklet on */ -var60 = NULL; -if (var_next == NULL) { -var61 = 0; /* is null */ -} else { -var61 = 1; /* arg is null and recv is not */ +{ +var87 = hash_collection__HashCollection__index_at(self, var81); } -if (var61){ -var_next->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val = var_node; /* _prev_in_bucklet on */ -} else { +var_index = var87; +{ +{ /* Inline array#NativeArray#[] (var_new_array,var_index) on */ +var90 = ((struct instance_array__NativeArray*)var_new_array)->values[var_index]; +var88 = var90; +goto RET_LABEL89; +RET_LABEL89:(void)0; } -var62 = var_node->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on */ -/* isa nullable HashCollection#1 */ -type_struct66 = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT1]; -cltype64 = type_struct66->color; -idtype65 = type_struct66->id; -if(var62 == NULL) { -var63 = 1; -} else { -if(cltype64 >= var62->type->table_size) { -var63 = 0; -} else { -var63 = var62->type->type_table[cltype64] == idtype65; } +var_next = var88; +{ +{ /* Inline array#NativeArray#[]= (var_new_array,var_index,var_node) on */ +/* Covariant cast for argument 1 (item) isa E */ +/* isa E */ +type_struct95 = var_new_array->type->resolution_table->types[COLOR_array__NativeArray_FT0]; +cltype93 = type_struct95->color; +idtype94 = type_struct95->id; +if(cltype93 >= var_node->type->table_size) { +var92 = 0; +} else { +var92 = var_node->type->type_table[cltype93] == idtype94; } -if (!var63) { -var_class_name67 = var62 == NULL ? "null" : var62->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name67); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 183); +if (unlikely(!var92)) { +var_class_name96 = var_node == NULL ? "null" : var_node->type->name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name96); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/array.nit", 778); show_backtrace(1); } -var_node = var62; -CONTINUE_label68: (void)0; +((struct instance_array__NativeArray*)var_new_array)->values[var_index]=var_node; +RET_LABEL91:(void)0; } -BREAK_label68: (void)0; -RET_LABEL:; } -/* method hash_collection#HashCollection#enlarge for (self: Object, Int) */ -void VIRTUAL_hash_collection__HashCollection__enlarge(val* self, long p0) { -hash_collection__HashCollection__enlarge(self, p0); -RET_LABEL:; +var97 = NULL; +var_node->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val = var97; /* _prev_in_bucklet on */ +var_node->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val = var_next; /* _next_in_bucklet on */ +var98 = NULL; +if (var_next == NULL) { +var99 = 0; /* is null */ +} else { +var99 = 1; /* arg is null and recv is not */ } -/* method hash_collection#HashCollection#init for (self: HashCollection[Object, HashNode[Object]]) */ -void hash_collection__HashCollection__init(val* self) { -RET_LABEL:; +if (0) { +{ /* Inline kernel#Object#!= (var_next,var98) on */ +var_other = var98; +{ +var103 = ((short int (*)(val*, val*))(var_next->class->vft[COLOR_kernel__Object___61d_61d]))(var_next, var_other) /* == on */; +var102 = var103; } -/* method hash_collection#HashCollection#init for (self: Object) */ -void VIRTUAL_hash_collection__HashCollection__init(val* self) { -hash_collection__HashCollection__init(self); -RET_LABEL:; +var104 = !var102; +var100 = var104; +goto RET_LABEL101; +RET_LABEL101:(void)0; } -/* method hash_collection#HashNode#next_item for (self: HashNode[Object]): nullable HashNode[Object] */ -val* hash_collection__HashNode__next_item(val* self) { -val* var /* : nullable HashNode[Object] */; -val* var1 /* : nullable HashNode[Object] */; -var1 = self->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on */ -var = var1; -RET_LABEL:; -return var; +var99 = var100; } -/* method hash_collection#HashNode#next_item for (self: Object): nullable HashNode[Object] */ -val* VIRTUAL_hash_collection__HashNode__next_item(val* self) { -val* var /* : nullable HashNode[Object] */; -val* var1 /* : nullable HashNode[Object] */; -var1 = hash_collection__HashNode__next_item(self); -var = var1; -RET_LABEL:; -return var; +if (var99){ +var_next->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val = var_node; /* _prev_in_bucklet on */ +} else { } -/* method hash_collection#HashNode#next_item= for (self: HashNode[Object], nullable HashNode[Object]) */ -void hash_collection__HashNode__next_item_61d(val* self, val* p0) { -short int var /* : Bool */; -int cltype; -int idtype; -const struct type* type_struct; -const char* var_class_name; -/* Covariant cast for argument 0 (next_item) isa nullable N */ -/* isa nullable N */ -type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashNode_VTN]; -cltype = type_struct->color; -idtype = type_struct->id; -if(p0 == NULL) { -var = 1; +var105 = var_node->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on */ +/* isa nullable N */ +type_struct109 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1]; +cltype107 = type_struct109->color; +idtype108 = type_struct109->id; +if(var105 == NULL) { +var106 = 1; } else { -if(cltype >= p0->type->table_size) { -var = 0; +if(cltype107 >= var105->type->table_size) { +var106 = 0; } else { -var = p0->type->type_table[cltype] == idtype; +var106 = var105->type->type_table[cltype107] == idtype108; } } -if (!var) { -var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable N", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 191); +if (unlikely(!var106)) { +var_class_name110 = var105 == NULL ? "null" : var105->type->name; +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable N", var_class_name110); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 188); show_backtrace(1); } -self->attrs[COLOR_hash_collection__HashNode___next_item].val = p0; /* _next_item on */ -RET_LABEL:; -} -/* method hash_collection#HashNode#next_item= for (self: Object, nullable HashNode[Object]) */ -void VIRTUAL_hash_collection__HashNode__next_item_61d(val* self, val* p0) { -hash_collection__HashNode__next_item_61d(self, p0); -RET_LABEL:; -} -/* method hash_collection#HashNode#prev_item for (self: HashNode[Object]): nullable HashNode[Object] */ -val* hash_collection__HashNode__prev_item(val* self) { -val* var /* : nullable HashNode[Object] */; -val* var1 /* : nullable HashNode[Object] */; -var1 = self->attrs[COLOR_hash_collection__HashNode___prev_item].val; /* _prev_item on */ -var = var1; -RET_LABEL:; -return var; -} -/* method hash_collection#HashNode#prev_item for (self: Object): nullable HashNode[Object] */ -val* VIRTUAL_hash_collection__HashNode__prev_item(val* self) { -val* var /* : nullable HashNode[Object] */; -val* var1 /* : nullable HashNode[Object] */; -var1 = hash_collection__HashNode__prev_item(self); -var = var1; -RET_LABEL:; -return var; -} -/* method hash_collection#HashNode#prev_item= for (self: HashNode[Object], nullable HashNode[Object]) */ -void hash_collection__HashNode__prev_item_61d(val* self, val* p0) { -short int var /* : Bool */; -int cltype; -int idtype; -const struct type* type_struct; -const char* var_class_name; -/* Covariant cast for argument 0 (prev_item) isa nullable N */ -/* isa nullable N */ -type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashNode_VTN]; -cltype = type_struct->color; -idtype = type_struct->id; -if(p0 == NULL) { -var = 1; -} else { -if(cltype >= p0->type->table_size) { -var = 0; +var_node = var105; } else { -var = p0->type->type_table[cltype] == idtype; -} +goto BREAK_label111; } -if (!var) { -var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable N", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 192); -show_backtrace(1); } -self->attrs[COLOR_hash_collection__HashNode___prev_item].val = p0; /* _prev_item on */ +BREAK_label111: (void)0; RET_LABEL:; } -/* method hash_collection#HashNode#prev_item= for (self: Object, nullable HashNode[Object]) */ -void VIRTUAL_hash_collection__HashNode__prev_item_61d(val* self, val* p0) { -hash_collection__HashNode__prev_item_61d(self, p0); +/* method hash_collection#HashCollection#enlarge for (self: Object, Int) */ +void VIRTUAL_hash_collection__HashCollection__enlarge(val* self, long p0) { +hash_collection__HashCollection__enlarge(self, p0); /* Direct call hash_collection#HashCollection#enlarge on */ RET_LABEL:; } /* method hash_collection#HashNode#init for (self: HashNode[Object], Object) */ @@ -1190,8 +1710,8 @@ int idtype; const struct type* type_struct; const char* var_class_name; val* var_k /* var k: Object */; -/* Covariant cast for argument 0 (k) isa HashNode#0 */ -/* isa HashNode#0 */ +/* Covariant cast for argument 0 (k) isa K */ +/* isa K */ type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashNode_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -1200,10 +1720,10 @@ var = 0; } else { var = p0->type->type_table[cltype] == idtype; } -if (!var) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashNode#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 195); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "K", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 200); show_backtrace(1); } var_k = p0; @@ -1212,7 +1732,7 @@ RET_LABEL:; } /* method hash_collection#HashNode#init for (self: Object, Object) */ void VIRTUAL_hash_collection__HashNode__init(val* self, val* p0) { -hash_collection__HashNode__init(self, p0); +hash_collection__HashNode__init(self, p0); /* Direct call hash_collection#HashNode#init on */ RET_LABEL:; } /* method hash_collection#HashMap#[] for (self: HashMap[Object, nullable Object], Object): nullable Object */ @@ -1228,9 +1748,14 @@ val* var2 /* : nullable HashNode[Object] */; val* var_c /* var c: nullable HashMapNode[Object, nullable Object] */; val* var3 /* : null */; short int var4 /* : Bool */; -val* var5 /* : nullable Object */; -/* Covariant cast for argument 0 (key) isa MapRead#0 */ -/* isa MapRead#0 */ +short int var5 /* : Bool */; +val* var_other /* var other: nullable Object */; +short int var7 /* : Bool */; +short int var9 /* : Bool */; +val* var10 /* : nullable Object */; +val* var11 /* : nullable Object */; +/* Covariant cast for argument 0 (key) isa K */ +/* isa K */ type_struct = self->type->resolution_table->types[COLOR_abstract_collection__MapRead_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -1239,14 +1764,16 @@ var1 = 0; } else { var1 = p0->type->type_table[cltype] == idtype; } -if (!var1) { +if (unlikely(!var1)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MapRead#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 207); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "K", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 212); show_backtrace(1); } var_key = p0; -var2 = ((val* (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__node_at]))(self, var_key) /* node_at on */; +{ +var2 = hash_collection__HashCollection__node_at(self, var_key); +} var_c = var2; var3 = NULL; if (var_c == NULL) { @@ -1254,13 +1781,32 @@ var4 = 1; /* is null */ } else { var4 = 0; /* arg is null but recv is not */ } +if (0) { +{ /* Inline kernel#Object#== (var_c,var3) on */ +var_other = var3; +{ +{ /* Inline kernel#Object#is_same_instance (var_c,var_other) on */ +var9 = var_c == var_other; +var7 = var9; +goto RET_LABEL8; +RET_LABEL8:(void)0; +} +} +var5 = var7; +goto RET_LABEL6; +RET_LABEL6:(void)0; +} +var4 = var5; +} if (var4){ -fprintf(stderr, "Runtime error: %s", "Aborted"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 211); -show_backtrace(1); +{ +var10 = ((val* (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__MapRead__provide_default_value]))(self, var_key) /* provide_default_value on */; +} +var = var10; +goto RET_LABEL; } else { -var5 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on */ -var = var5; +var11 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on */ +var = var11; goto RET_LABEL; } RET_LABEL:; @@ -1280,7 +1826,9 @@ val* hash_collection__HashMap__iterator(val* self) { val* var /* : HashMapIterator[Object, nullable Object] */; val* var1 /* : HashMapIterator[Object, nullable Object] */; var1 = NEW_hash_collection__HashMapIterator(self->type->resolution_table->types[COLOR_hash_collection__HashMapIteratorhash_collection__HashMap_FT0hash_collection__HashMap_FT1]); -((void (*)(val*, val*))(var1->class->vft[COLOR_hash_collection__HashMapIterator__init]))(var1, self) /* init on */; +{ +hash_collection__HashMapIterator__init(var1, self); /* Direct call hash_collection#HashMapIterator#init on */ +} var = var1; goto RET_LABEL; RET_LABEL:; @@ -1299,7 +1847,7 @@ return var; long hash_collection__HashMap__length(val* self) { long var /* : Int */; long var1 /* : Int */; -var1 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on */ +var1 = self->attrs[COLOR_hash_collection__HashCollection___the_length].l; /* _the_length on */ var = var1; goto RET_LABEL; RET_LABEL:; @@ -1320,14 +1868,18 @@ short int var /* : Bool */; long var1 /* : Int */; long var2 /* : Int */; short int var3 /* : Bool */; -short int var5 /* : Bool */; -var1 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on */ +short int var4 /* : Bool */; +short int var6 /* : Bool */; +var1 = self->attrs[COLOR_hash_collection__HashCollection___the_length].l; /* _the_length on */ var2 = 0; -{ /* Inline kernel#Int#== (var1,var2) */ -var5 = var1 == var2; -var3 = var5; -goto RET_LABEL4; -RET_LABEL4:(void)0; +{ +{ /* Inline kernel#Int#== (var1,var2) on */ +var6 = var1 == var2; +var4 = var6; +goto RET_LABEL5; +RET_LABEL5:(void)0; +} +var3 = var4; } var = var3; goto RET_LABEL; @@ -1364,9 +1916,14 @@ val* var7 /* : nullable HashNode[Object] */; val* var_c /* var c: nullable HashMapNode[Object, nullable Object] */; val* var8 /* : null */; short int var9 /* : Bool */; -val* var10 /* : HashMapNode[Object, nullable Object] */; -/* Covariant cast for argument 0 (key) isa Map#0 */ -/* isa Map#0 */ +short int var10 /* : Bool */; +val* var_other /* var other: nullable Object */; +short int var12 /* : Bool */; +short int var13 /* : Bool */; +short int var14 /* : Bool */; +val* var15 /* : HashMapNode[Object, nullable Object] */; +/* Covariant cast for argument 0 (key) isa K */ +/* isa K */ type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Map_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -1375,14 +1932,14 @@ var = 0; } else { var = p0->type->type_table[cltype] == idtype; } -if (!var) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Map#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 223); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "K", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 228); show_backtrace(1); } -/* Covariant cast for argument 1 (v) isa Map#1 */ -/* isa Map#1 */ +/* Covariant cast for argument 1 (v) isa V */ +/* isa V */ type_struct4 = self->type->resolution_table->types[COLOR_abstract_collection__Map_FT1]; cltype2 = type_struct4->color; idtype3 = type_struct4->id; @@ -1396,17 +1953,21 @@ var1 = 0; var1 = p1->type->type_table[cltype2] == idtype3; } } -if (!var1) { +if (unlikely(!var1)) { var_class_name5 = p1 == NULL ? "null" : p1->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Map#1", var_class_name5); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 223); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "V", var_class_name5); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 228); show_backtrace(1); } var_key = p0; var_v = p1; -var6 = ((long (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__index_at]))(self, var_key) /* index_at on */; +{ +var6 = hash_collection__HashCollection__index_at(self, var_key); +} var_i = var6; -var7 = ((val* (*)(val*, long, val*))(self->class->vft[COLOR_hash_collection__HashCollection__node_at_idx]))(self, var_i, var_key) /* node_at_idx on */; +{ +var7 = hash_collection__HashCollection__node_at_idx(self, var_i, var_key); +} var_c = var7; var8 = NULL; if (var_c == NULL) { @@ -1414,29 +1975,49 @@ var9 = 0; /* is null */ } else { var9 = 1; /* arg is null and recv is not */ } +if (0) { +{ /* Inline kernel#Object#!= (var_c,var8) on */ +var_other = var8; +{ +var13 = ((short int (*)(val*, val*))(var_c->class->vft[COLOR_kernel__Object___61d_61d]))(var_c, var_other) /* == on */; +var12 = var13; +} +var14 = !var12; +var10 = var14; +goto RET_LABEL11; +RET_LABEL11:(void)0; +} +var9 = var10; +} if (var9){ var_c->attrs[COLOR_hash_collection__HashNode___key].val = var_key; /* _key on */ var_c->attrs[COLOR_hash_collection__HashMapNode___value].val = var_v; /* _value on */ } else { -var10 = NEW_hash_collection__HashMapNode(self->type->resolution_table->types[COLOR_hash_collection__HashMapNodehash_collection__HashMap_FT0hash_collection__HashMap_FT1]); -((void (*)(val*, val*, val*))(var10->class->vft[COLOR_hash_collection__HashMapNode__init]))(var10, var_key, var_v) /* init on */; -((void (*)(val*, long, val*))(self->class->vft[COLOR_hash_collection__HashCollection__store]))(self, var_i, var10) /* store on */; +var15 = NEW_hash_collection__HashMapNode(self->type->resolution_table->types[COLOR_hash_collection__HashMapNodehash_collection__HashMap_FT0hash_collection__HashMap_FT1]); +{ +hash_collection__HashMapNode__init(var15, var_key, var_v); /* Direct call hash_collection#HashMapNode#init on */ +} +{ +hash_collection__HashCollection__store(self, var_i, var15); /* Direct call hash_collection#HashCollection#store on */ +} } RET_LABEL:; } /* method hash_collection#HashMap#[]= for (self: Object, Object, nullable Object) */ void VIRTUAL_hash_collection__HashMap___91d_93d_61d(val* self, val* p0, val* p1) { -hash_collection__HashMap___91d_93d_61d(self, p0, p1); +hash_collection__HashMap___91d_93d_61d(self, p0, p1); /* Direct call hash_collection#HashMap#[]= on */ RET_LABEL:; } /* method hash_collection#HashMap#clear for (self: HashMap[Object, nullable Object]) */ void hash_collection__HashMap__clear(val* self) { -((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashCollection__raz]))(self) /* raz on */; +{ +hash_collection__HashCollection__raz(self); /* Direct call hash_collection#HashCollection#raz on */ +} RET_LABEL:; } /* method hash_collection#HashMap#clear for (self: Object) */ void VIRTUAL_hash_collection__HashMap__clear(val* self) { -hash_collection__HashMap__clear(self); +hash_collection__HashMap__clear(self); /* Direct call hash_collection#HashMap#clear on */ RET_LABEL:; } /* method hash_collection#HashMap#init for (self: HashMap[Object, nullable Object]) */ @@ -1444,28 +2025,32 @@ void hash_collection__HashMap__init(val* self) { long var /* : Int */; long var1 /* : Int */; long var2 /* : Int */; -((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashCollection__init]))(self) /* init on */; +{ +((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashMap__init]))(self) /* init on */; +} var = 0; self->attrs[COLOR_hash_collection__HashCollection___capacity].l = var; /* _capacity on */ var1 = 0; -self->attrs[COLOR_hash_collection__HashCollection___length].l = var1; /* _length on */ +self->attrs[COLOR_hash_collection__HashCollection___the_length].l = var1; /* _the_length on */ var2 = 0; -((void (*)(val*, long))(self->class->vft[COLOR_hash_collection__HashCollection__enlarge]))(self, var2) /* enlarge on */; +{ +hash_collection__HashCollection__enlarge(self, var2); /* Direct call hash_collection#HashCollection#enlarge on */ +} RET_LABEL:; } /* method hash_collection#HashMap#init for (self: Object) */ void VIRTUAL_hash_collection__HashMap__init(val* self) { -hash_collection__HashMap__init(self); +hash_collection__HashMap__init(self); /* Direct call hash_collection#HashMap#init on */ RET_LABEL:; } -/* method hash_collection#HashMap#keys for (self: HashMap[Object, nullable Object]): HashMapKeys[Object, nullable Object] */ +/* method hash_collection#HashMap#keys for (self: HashMap[Object, nullable Object]): RemovableCollection[Object] */ val* hash_collection__HashMap__keys(val* self) { -val* var /* : HashMapKeys[Object, nullable Object] */; -val* var1 /* : HashMapKeys[Object, nullable Object] */; -var1 = self->attrs[COLOR_hash_collection__HashMap___64dkeys].val; /* @keys on */ -if (var1 == NULL) { -fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @keys"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 244); +val* var /* : RemovableCollection[Object] */; +val* var1 /* : RemovableCollection[Object] */; +var1 = self->attrs[COLOR_hash_collection__HashMap___keys].val; /* _keys on */ +if (unlikely(var1 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _keys"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 249); show_backtrace(1); } var = var1; @@ -1475,51 +2060,30 @@ return var; /* method hash_collection#HashMap#keys for (self: Object): Collection[Object] */ val* VIRTUAL_hash_collection__HashMap__keys(val* self) { val* var /* : Collection[Object] */; -val* var1 /* : HashMapKeys[Object, nullable Object] */; -var1 = hash_collection__HashMap__keys(self); -var = var1; -RET_LABEL:; -return var; -} -/* method hash_collection#HashMap#keys= for (self: HashMap[Object, nullable Object], HashMapKeys[Object, nullable Object]) */ -void hash_collection__HashMap__keys_61d(val* self, val* p0) { -short int var /* : Bool */; -int cltype; -int idtype; -const struct type* type_struct; -const char* var_class_name; -/* Covariant cast for argument 0 (keys) isa HashMapKeys[HashMap#0, HashMap#1] */ -/* isa HashMapKeys[HashMap#0, HashMap#1] */ -type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMapKeyshash_collection__HashMap_FT0hash_collection__HashMap_FT1]; -cltype = type_struct->color; -idtype = type_struct->id; -if(cltype >= p0->type->table_size) { -var = 0; -} else { -var = p0->type->type_table[cltype] == idtype; -} -if (!var) { -var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMapKeys[HashMap#0, HashMap#1]", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 244); +val* var1 /* : RemovableCollection[Object] */; +val* var3 /* : RemovableCollection[Object] */; +{ /* Inline hash_collection#HashMap#keys (self) on */ +var3 = self->attrs[COLOR_hash_collection__HashMap___keys].val; /* _keys on */ +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _keys"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 249); show_backtrace(1); } -self->attrs[COLOR_hash_collection__HashMap___64dkeys].val = p0; /* @keys on */ -RET_LABEL:; +var1 = var3; +RET_LABEL2:(void)0; } -/* method hash_collection#HashMap#keys= for (self: Object, HashMapKeys[Object, nullable Object]) */ -void VIRTUAL_hash_collection__HashMap__keys_61d(val* self, val* p0) { -hash_collection__HashMap__keys_61d(self, p0); +var = var1; RET_LABEL:; +return var; } -/* method hash_collection#HashMap#values for (self: HashMap[Object, nullable Object]): HashMapValues[Object, nullable Object] */ +/* method hash_collection#HashMap#values for (self: HashMap[Object, nullable Object]): RemovableCollection[nullable Object] */ val* hash_collection__HashMap__values(val* self) { -val* var /* : HashMapValues[Object, nullable Object] */; -val* var1 /* : HashMapValues[Object, nullable Object] */; -var1 = self->attrs[COLOR_hash_collection__HashMap___64dvalues].val; /* @values on */ -if (var1 == NULL) { -fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @values"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 245); +val* var /* : RemovableCollection[nullable Object] */; +val* var1 /* : RemovableCollection[nullable Object] */; +var1 = self->attrs[COLOR_hash_collection__HashMap___values].val; /* _values on */ +if (unlikely(var1 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _values"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 250); show_backtrace(1); } var = var1; @@ -1529,51 +2093,30 @@ return var; /* method hash_collection#HashMap#values for (self: Object): Collection[nullable Object] */ val* VIRTUAL_hash_collection__HashMap__values(val* self) { val* var /* : Collection[nullable Object] */; -val* var1 /* : HashMapValues[Object, nullable Object] */; -var1 = hash_collection__HashMap__values(self); -var = var1; -RET_LABEL:; -return var; -} -/* method hash_collection#HashMap#values= for (self: HashMap[Object, nullable Object], HashMapValues[Object, nullable Object]) */ -void hash_collection__HashMap__values_61d(val* self, val* p0) { -short int var /* : Bool */; -int cltype; -int idtype; -const struct type* type_struct; -const char* var_class_name; -/* Covariant cast for argument 0 (values) isa HashMapValues[HashMap#0, HashMap#1] */ -/* isa HashMapValues[HashMap#0, HashMap#1] */ -type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMapValueshash_collection__HashMap_FT0hash_collection__HashMap_FT1]; -cltype = type_struct->color; -idtype = type_struct->id; -if(cltype >= p0->type->table_size) { -var = 0; -} else { -var = p0->type->type_table[cltype] == idtype; -} -if (!var) { -var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMapValues[HashMap#0, HashMap#1]", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 245); +val* var1 /* : RemovableCollection[nullable Object] */; +val* var3 /* : RemovableCollection[nullable Object] */; +{ /* Inline hash_collection#HashMap#values (self) on */ +var3 = self->attrs[COLOR_hash_collection__HashMap___values].val; /* _values on */ +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _values"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 250); show_backtrace(1); } -self->attrs[COLOR_hash_collection__HashMap___64dvalues].val = p0; /* @values on */ -RET_LABEL:; +var1 = var3; +RET_LABEL2:(void)0; } -/* method hash_collection#HashMap#values= for (self: Object, HashMapValues[Object, nullable Object]) */ -void VIRTUAL_hash_collection__HashMap__values_61d(val* self, val* p0) { -hash_collection__HashMap__values_61d(self, p0); +var = var1; RET_LABEL:; +return var; } /* method hash_collection#HashMapKeys#map for (self: HashMapKeys[Object, nullable Object]): HashMap[Object, nullable Object] */ val* hash_collection__HashMapKeys__map(val* self) { val* var /* : HashMap[Object, nullable Object] */; val* var1 /* : HashMap[Object, nullable Object] */; -var1 = self->attrs[COLOR_hash_collection__HashMapKeys___64dmap].val; /* @map on */ -if (var1 == NULL) { -fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @map"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 251); +var1 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on */ +if (unlikely(var1 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 256); show_backtrace(1); } var = var1; @@ -1584,7 +2127,17 @@ return var; val* VIRTUAL_hash_collection__HashMapKeys__map(val* self) { val* var /* : HashMap[Object, nullable Object] */; val* var1 /* : HashMap[Object, nullable Object] */; -var1 = hash_collection__HashMapKeys__map(self); +val* var3 /* : HashMap[Object, nullable Object] */; +{ /* Inline hash_collection#HashMapKeys#map (self) on */ +var3 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on */ +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 256); +show_backtrace(1); +} +var1 = var3; +RET_LABEL2:(void)0; +} var = var1; RET_LABEL:; return var; @@ -1596,8 +2149,8 @@ int cltype; int idtype; const struct type* type_struct; const char* var_class_name; -/* Covariant cast for argument 0 (map) isa HashMap[HashMapKeys#0, HashMapKeys#1] */ -/* isa HashMap[HashMapKeys#0, HashMapKeys#1] */ +/* Covariant cast for argument 0 (map) isa HashMap[K, V] */ +/* isa HashMap[K, V] */ type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMaphash_collection__HashMapKeys_FT0hash_collection__HashMapKeys_FT1]; cltype = type_struct->color; idtype = type_struct->id; @@ -1606,91 +2159,76 @@ var = 0; } else { var = p0->type->type_table[cltype] == idtype; } -if (!var) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapKeys#0, HashMapKeys#1]", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 251); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[K, V]", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 256); show_backtrace(1); } -self->attrs[COLOR_hash_collection__HashMapKeys___64dmap].val = p0; /* @map on */ +self->attrs[COLOR_hash_collection__HashMapKeys___map].val = p0; /* _map on */ RET_LABEL:; } /* method hash_collection#HashMapKeys#map= for (self: Object, HashMap[Object, nullable Object]) */ void VIRTUAL_hash_collection__HashMapKeys__map_61d(val* self, val* p0) { -hash_collection__HashMapKeys__map_61d(self, p0); -RET_LABEL:; -} -/* method hash_collection#HashMapKeys#count for (self: HashMapKeys[Object, nullable Object], Object): Int */ -long hash_collection__HashMapKeys__count(val* self, val* p0) { -long var /* : Int */; -short int var1 /* : Bool */; +short int var /* : Bool */; int cltype; int idtype; const struct type* type_struct; const char* var_class_name; -val* var_k /* var k: Object */; -short int var2 /* : Bool */; -long var3 /* : Int */; -long var4 /* : Int */; -/* Covariant cast for argument 0 (k) isa Collection#0 */ -/* isa Collection#0 */ -type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0]; +{ /* Inline hash_collection#HashMapKeys#map= (self,p0) on */ +/* Covariant cast for argument 0 (map) isa HashMap[K, V] */ +/* isa HashMap[K, V] */ +type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMaphash_collection__HashMapKeys_FT0hash_collection__HashMapKeys_FT1]; cltype = type_struct->color; idtype = type_struct->id; if(cltype >= p0->type->table_size) { -var1 = 0; +var = 0; } else { -var1 = p0->type->type_table[cltype] == idtype; +var = p0->type->type_table[cltype] == idtype; } -if (!var1) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 254); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[K, V]", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 256); show_backtrace(1); } -var_k = p0; -var2 = ((short int (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__Collection__has]))(self, var_k) /* has on */; -if (var2){ -var3 = 1; -var = var3; -goto RET_LABEL; -} else { -var4 = 0; -var = var4; -goto RET_LABEL; +self->attrs[COLOR_hash_collection__HashMapKeys___map].val = p0; /* _map on */ +RET_LABEL1:(void)0; } RET_LABEL:; -return var; -} -/* method hash_collection#HashMapKeys#count for (self: Object, nullable Object): Int */ -long VIRTUAL_hash_collection__HashMapKeys__count(val* self, val* p0) { -long var /* : Int */; -long var1 /* : Int */; -var1 = hash_collection__HashMapKeys__count(self, p0); -var = var1; -RET_LABEL:; -return var; } /* method hash_collection#HashMapKeys#first for (self: HashMapKeys[Object, nullable Object]): Object */ val* hash_collection__HashMapKeys__first(val* self) { val* var /* : Object */; val* var1 /* : HashMap[Object, nullable Object] */; -val* var2 /* : nullable HashNode[Object] */; -val* var3 /* : Object */; -var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on */; -var2 = var1->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ -if (var2 == NULL) { -fprintf(stderr, "Runtime error: %s", "Reciever is null"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 255); +val* var3 /* : HashMap[Object, nullable Object] */; +val* var4 /* : nullable HashNode[Object] */; +val* var5 /* : Object */; +{ +{ /* Inline hash_collection#HashMapKeys#map (self) on */ +var3 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on */ +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 256); show_backtrace(1); } -var3 = var2->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on */ -if (var3 == NULL) { -fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 255); +var1 = var3; +RET_LABEL2:(void)0; +} +} +var4 = var1->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ +if (unlikely(var4 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 260); show_backtrace(1); } -var = var3; +var5 = var4->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on */ +if (unlikely(var5 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 260); +show_backtrace(1); +} +var = var5; goto RET_LABEL; RET_LABEL:; return var; @@ -1714,11 +2252,17 @@ const struct type* type_struct; const char* var_class_name; val* var_k /* var k: Object */; val* var2 /* : HashMap[Object, nullable Object] */; -val* var3 /* : nullable HashNode[Object] */; -val* var4 /* : null */; -short int var5 /* : Bool */; -/* Covariant cast for argument 0 (k) isa Collection#0 */ -/* isa Collection#0 */ +val* var4 /* : HashMap[Object, nullable Object] */; +val* var5 /* : nullable HashNode[Object] */; +val* var6 /* : null */; +short int var7 /* : Bool */; +short int var8 /* : Bool */; +val* var_other /* var other: nullable Object */; +short int var10 /* : Bool */; +short int var11 /* : Bool */; +short int var12 /* : Bool */; +/* Covariant cast for argument 0 (k) isa E */ +/* isa E */ type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -1727,103 +2271,58 @@ var1 = 0; } else { var1 = p0->type->type_table[cltype] == idtype; } -if (!var1) { +if (unlikely(!var1)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 256); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 261); show_backtrace(1); } var_k = p0; -var2 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on */; -var3 = ((val* (*)(val*, val*))(var2->class->vft[COLOR_hash_collection__HashCollection__node_at]))(var2, var_k) /* node_at on */; -var4 = NULL; -if (var3 == NULL) { -var5 = 0; /* is null */ -} else { -var5 = 1; /* arg is null and recv is not */ +{ +{ /* Inline hash_collection#HashMapKeys#map (self) on */ +var4 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on */ +if (unlikely(var4 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 256); +show_backtrace(1); } -var = var5; -goto RET_LABEL; -RET_LABEL:; -return var; +var2 = var4; +RET_LABEL3:(void)0; } -/* method hash_collection#HashMapKeys#has for (self: Object, nullable Object): Bool */ -short int VIRTUAL_hash_collection__HashMapKeys__has(val* self, val* p0) { -short int var /* : Bool */; -short int var1 /* : Bool */; -var1 = hash_collection__HashMapKeys__has(self, p0); -var = var1; -RET_LABEL:; -return var; } -/* method hash_collection#HashMapKeys#has_only for (self: HashMapKeys[Object, nullable Object], Object): Bool */ -short int hash_collection__HashMapKeys__has_only(val* self, val* p0) { -short int var /* : Bool */; -short int var1 /* : Bool */; -int cltype; -int idtype; -const struct type* type_struct; -const char* var_class_name; -val* var_k /* var k: Object */; -short int var2 /* : Bool */; -short int var3 /* : Bool */; -short int var4 /* : Bool */; -short int var_ /* var : Bool */; -long var5 /* : Int */; -long var6 /* : Int */; -short int var7 /* : Bool */; -short int var9 /* : Bool */; -short int var_10 /* var : Bool */; -short int var11 /* : Bool */; -/* Covariant cast for argument 0 (k) isa Collection#0 */ -/* isa Collection#0 */ -type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0]; -cltype = type_struct->color; -idtype = type_struct->id; -if(cltype >= p0->type->table_size) { -var1 = 0; -} else { -var1 = p0->type->type_table[cltype] == idtype; +{ +var5 = hash_collection__HashCollection__node_at(var2, var_k); } -if (!var1) { -var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 257); -show_backtrace(1); +var6 = NULL; +if (var5 == NULL) { +var7 = 0; /* is null */ +} else { +var7 = 1; /* arg is null and recv is not */ } -var_k = p0; -var4 = ((short int (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__Collection__has]))(self, var_k) /* has on */; -var_ = var4; -if (var4){ -var5 = ((long (*)(val*))(self->class->vft[COLOR_abstract_collection__Collection__length]))(self) /* length on */; -var6 = 1; -{ /* Inline kernel#Int#== (var5,var6) */ -var9 = var5 == var6; -var7 = var9; -goto RET_LABEL8; -RET_LABEL8:(void)0; +if (0) { +{ /* Inline kernel#Object#!= (var5,var6) on */ +var_other = var6; +{ +var11 = ((short int (*)(val*, val*))(var5->class->vft[COLOR_kernel__Object___61d_61d]))(var5, var_other) /* == on */; +var10 = var11; } -var3 = var7; -} else { -var3 = var_; +var12 = !var10; +var8 = var12; +goto RET_LABEL9; +RET_LABEL9:(void)0; } -var_10 = var3; -if (var3){ -var2 = var_10; -} else { -var11 = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__Collection__is_empty]))(self) /* is_empty on */; -var2 = var11; +var7 = var8; } -var = var2; +var = var7; goto RET_LABEL; RET_LABEL:; return var; } -/* method hash_collection#HashMapKeys#has_only for (self: Object, nullable Object): Bool */ -short int VIRTUAL_hash_collection__HashMapKeys__has_only(val* self, val* p0) { +/* method hash_collection#HashMapKeys#has for (self: Object, nullable Object): Bool */ +short int VIRTUAL_hash_collection__HashMapKeys__has(val* self, val* p0) { short int var /* : Bool */; short int var1 /* : Bool */; -var1 = hash_collection__HashMapKeys__has_only(self, p0); +var1 = hash_collection__HashMapKeys__has(self, p0); var = var1; RET_LABEL:; return var; @@ -1832,10 +2331,24 @@ return var; short int hash_collection__HashMapKeys__is_empty(val* self) { short int var /* : Bool */; val* var1 /* : HashMap[Object, nullable Object] */; -short int var2 /* : Bool */; -var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on */; -var2 = ((short int (*)(val*))(var1->class->vft[COLOR_abstract_collection__MapRead__is_empty]))(var1) /* is_empty on */; -var = var2; +val* var3 /* : HashMap[Object, nullable Object] */; +short int var4 /* : Bool */; +{ +{ /* Inline hash_collection#HashMapKeys#map (self) on */ +var3 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on */ +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 256); +show_backtrace(1); +} +var1 = var3; +RET_LABEL2:(void)0; +} +} +{ +var4 = hash_collection__HashMap__is_empty(var1); +} +var = var4; goto RET_LABEL; RET_LABEL:; return var; @@ -1853,10 +2366,24 @@ return var; long hash_collection__HashMapKeys__length(val* self) { long var /* : Int */; val* var1 /* : HashMap[Object, nullable Object] */; -long var2 /* : Int */; -var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on */; -var2 = ((long (*)(val*))(var1->class->vft[COLOR_abstract_collection__MapRead__length]))(var1) /* length on */; -var = var2; +val* var3 /* : HashMap[Object, nullable Object] */; +long var4 /* : Int */; +{ +{ /* Inline hash_collection#HashMapKeys#map (self) on */ +var3 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on */ +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 256); +show_backtrace(1); +} +var1 = var3; +RET_LABEL2:(void)0; +} +} +{ +var4 = hash_collection__HashMap__length(var1); +} +var = var4; goto RET_LABEL; RET_LABEL:; return var; @@ -1875,11 +2402,30 @@ val* hash_collection__HashMapKeys__iterator(val* self) { val* var /* : Iterator[Object] */; val* var1 /* : MapKeysIterator[Object, nullable Object] */; val* var2 /* : HashMap[Object, nullable Object] */; -val* var3 /* : MapIterator[Object, nullable Object] */; +val* var4 /* : HashMap[Object, nullable Object] */; +val* var5 /* : HashMapIterator[Object, nullable Object] */; var1 = NEW_abstract_collection__MapKeysIterator(self->type->resolution_table->types[COLOR_abstract_collection__MapKeysIteratorhash_collection__HashMapKeys_FT0hash_collection__HashMapKeys_FT1]); -var2 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on */; -var3 = ((val* (*)(val*))(var2->class->vft[COLOR_abstract_collection__MapRead__iterator]))(var2) /* iterator on */; -((void (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__MapKeysIterator__init]))(var1, var3) /* init on */; +{ +{ /* Inline hash_collection#HashMapKeys#map (self) on */ +var4 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on */ +if (unlikely(var4 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 256); +show_backtrace(1); +} +var2 = var4; +RET_LABEL3:(void)0; +} +} +{ +var5 = hash_collection__HashMap__iterator(var2); +} +{ +((void (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__MapKeysIterator__original_iterator_61d]))(var1, var5) /* original_iterator= on */; +} +{ +((void (*)(val*))(var1->class->vft[COLOR_kernel__Object__init]))(var1) /* init on */; +} var = var1; goto RET_LABEL; RET_LABEL:; @@ -1897,13 +2443,27 @@ return var; /* method hash_collection#HashMapKeys#clear for (self: HashMapKeys[Object, nullable Object]) */ void hash_collection__HashMapKeys__clear(val* self) { val* var /* : HashMap[Object, nullable Object] */; -var = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on */; -((void (*)(val*))(var->class->vft[COLOR_abstract_collection__Map__clear]))(var) /* clear on */; +val* var2 /* : HashMap[Object, nullable Object] */; +{ +{ /* Inline hash_collection#HashMapKeys#map (self) on */ +var2 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on */ +if (unlikely(var2 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 256); +show_backtrace(1); +} +var = var2; +RET_LABEL1:(void)0; +} +} +{ +hash_collection__HashMap__clear(var); /* Direct call hash_collection#HashMap#clear on */ +} RET_LABEL:; } /* method hash_collection#HashMapKeys#clear for (self: Object) */ void VIRTUAL_hash_collection__HashMapKeys__clear(val* self) { -hash_collection__HashMapKeys__clear(self); +hash_collection__HashMapKeys__clear(self); /* Direct call hash_collection#HashMapKeys#clear on */ RET_LABEL:; } /* method hash_collection#HashMapKeys#remove for (self: HashMapKeys[Object, nullable Object], Object) */ @@ -1915,8 +2475,9 @@ const struct type* type_struct; const char* var_class_name; val* var_key /* var key: Object */; val* var1 /* : HashMap[Object, nullable Object] */; -/* Covariant cast for argument 0 (key) isa RemovableCollection#0 */ -/* isa RemovableCollection#0 */ +val* var3 /* : HashMap[Object, nullable Object] */; +/* Covariant cast for argument 0 (key) isa E */ +/* isa E */ type_struct = self->type->resolution_table->types[COLOR_abstract_collection__RemovableCollection_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -1925,96 +2486,60 @@ var = 0; } else { var = p0->type->type_table[cltype] == idtype; } -if (!var) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 265); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 270); show_backtrace(1); } var_key = p0; -var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on */; -((void (*)(val*, val*))(var1->class->vft[COLOR_hash_collection__HashCollection__remove_node]))(var1, var_key) /* remove_node on */; -RET_LABEL:; +{ +{ /* Inline hash_collection#HashMapKeys#map (self) on */ +var3 = self->attrs[COLOR_hash_collection__HashMapKeys___map].val; /* _map on */ +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 256); +show_backtrace(1); } -/* method hash_collection#HashMapKeys#remove for (self: Object, nullable Object) */ -void VIRTUAL_hash_collection__HashMapKeys__remove(val* self, val* p0) { -hash_collection__HashMapKeys__remove(self, p0); -RET_LABEL:; +var1 = var3; +RET_LABEL2:(void)0; } -/* method hash_collection#HashMapKeys#remove_all for (self: HashMapKeys[Object, nullable Object], Object) */ -void hash_collection__HashMapKeys__remove_all(val* self, val* p0) { -short int var /* : Bool */; -int cltype; -int idtype; -const struct type* type_struct; -const char* var_class_name; -val* var_key /* var key: Object */; -val* var1 /* : HashMap[Object, nullable Object] */; -/* Covariant cast for argument 0 (key) isa RemovableCollection#0 */ -/* isa RemovableCollection#0 */ -type_struct = self->type->resolution_table->types[COLOR_abstract_collection__RemovableCollection_FT0]; -cltype = type_struct->color; -idtype = type_struct->id; -if(cltype >= p0->type->table_size) { -var = 0; -} else { -var = p0->type->type_table[cltype] == idtype; } -if (!var) { -var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 266); -show_backtrace(1); +{ +hash_collection__HashCollection__remove_node(var1, var_key); /* Direct call hash_collection#HashCollection#remove_node on */ } -var_key = p0; -var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on */; -((void (*)(val*, val*))(var1->class->vft[COLOR_hash_collection__HashCollection__remove_node]))(var1, var_key) /* remove_node on */; RET_LABEL:; } -/* method hash_collection#HashMapKeys#remove_all for (self: Object, nullable Object) */ -void VIRTUAL_hash_collection__HashMapKeys__remove_all(val* self, val* p0) { -hash_collection__HashMapKeys__remove_all(self, p0); +/* method hash_collection#HashMapKeys#remove for (self: Object, nullable Object) */ +void VIRTUAL_hash_collection__HashMapKeys__remove(val* self, val* p0) { +hash_collection__HashMapKeys__remove(self, p0); /* Direct call hash_collection#HashMapKeys#remove on */ RET_LABEL:; } -/* method hash_collection#HashMapKeys#init for (self: HashMapKeys[Object, nullable Object], HashMap[Object, nullable Object]) */ -void hash_collection__HashMapKeys__init(val* self, val* p0) { -short int var /* : Bool */; -int cltype; -int idtype; -const struct type* type_struct; -const char* var_class_name; -/* Covariant cast for argument 0 (map) isa HashMap[HashMapKeys#0, HashMapKeys#1] */ -/* isa HashMap[HashMapKeys#0, HashMapKeys#1] */ -type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMaphash_collection__HashMapKeys_FT0hash_collection__HashMapKeys_FT1]; -cltype = type_struct->color; -idtype = type_struct->id; -if(cltype >= p0->type->table_size) { -var = 0; -} else { -var = p0->type->type_table[cltype] == idtype; -} -if (!var) { -var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapKeys#0, HashMapKeys#1]", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 248); -show_backtrace(1); +/* method hash_collection#HashMapKeys#init for (self: HashMapKeys[Object, nullable Object]) */ +void hash_collection__HashMapKeys__init(val* self) { +{ +((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__init]))(self) /* init on */; } -self->attrs[COLOR_hash_collection__HashMapKeys___64dmap].val = p0; /* @map on */ RET_LABEL:; } -/* method hash_collection#HashMapKeys#init for (self: Object, HashMap[Object, nullable Object]) */ -void VIRTUAL_hash_collection__HashMapKeys__init(val* self, val* p0) { -hash_collection__HashMapKeys__init(self, p0); +/* method hash_collection#HashMapKeys#init for (self: Object) */ +void VIRTUAL_hash_collection__HashMapKeys__init(val* self) { +{ /* Inline hash_collection#HashMapKeys#init (self) on */ +{ +((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__init]))(self) /* init on */; +} +RET_LABEL1:(void)0; +} RET_LABEL:; } /* method hash_collection#HashMapValues#map for (self: HashMapValues[Object, nullable Object]): HashMap[Object, nullable Object] */ val* hash_collection__HashMapValues__map(val* self) { val* var /* : HashMap[Object, nullable Object] */; val* var1 /* : HashMap[Object, nullable Object] */; -var1 = self->attrs[COLOR_hash_collection__HashMapValues___64dmap].val; /* @map on */ -if (var1 == NULL) { -fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @map"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 272); +var1 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on */ +if (unlikely(var1 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 277); show_backtrace(1); } var = var1; @@ -2025,7 +2550,17 @@ return var; val* VIRTUAL_hash_collection__HashMapValues__map(val* self) { val* var /* : HashMap[Object, nullable Object] */; val* var1 /* : HashMap[Object, nullable Object] */; -var1 = hash_collection__HashMapValues__map(self); +val* var3 /* : HashMap[Object, nullable Object] */; +{ /* Inline hash_collection#HashMapValues#map (self) on */ +var3 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on */ +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 277); +show_backtrace(1); +} +var1 = var3; +RET_LABEL2:(void)0; +} var = var1; RET_LABEL:; return var; @@ -2037,8 +2572,8 @@ int cltype; int idtype; const struct type* type_struct; const char* var_class_name; -/* Covariant cast for argument 0 (map) isa HashMap[HashMapValues#0, HashMapValues#1] */ -/* isa HashMap[HashMapValues#0, HashMapValues#1] */ +/* Covariant cast for argument 0 (map) isa HashMap[K, V] */ +/* isa HashMap[K, V] */ type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMaphash_collection__HashMapValues_FT0hash_collection__HashMapValues_FT1]; cltype = type_struct->color; idtype = type_struct->id; @@ -2047,229 +2582,86 @@ var = 0; } else { var = p0->type->type_table[cltype] == idtype; } -if (!var) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapValues#0, HashMapValues#1]", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 272); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[K, V]", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 277); show_backtrace(1); } -self->attrs[COLOR_hash_collection__HashMapValues___64dmap].val = p0; /* @map on */ +self->attrs[COLOR_hash_collection__HashMapValues___map].val = p0; /* _map on */ RET_LABEL:; } /* method hash_collection#HashMapValues#map= for (self: Object, HashMap[Object, nullable Object]) */ void VIRTUAL_hash_collection__HashMapValues__map_61d(val* self, val* p0) { -hash_collection__HashMapValues__map_61d(self, p0); -RET_LABEL:; -} -/* method hash_collection#HashMapValues#count for (self: HashMapValues[Object, nullable Object], nullable Object): Int */ -long hash_collection__HashMapValues__count(val* self, val* p0) { -long var /* : Int */; -short int var1 /* : Bool */; +short int var /* : Bool */; int cltype; int idtype; const struct type* type_struct; -short int is_nullable; const char* var_class_name; -val* var_item /* var item: nullable Object */; -long var2 /* : Int */; -long var_nb /* var nb: Int */; -val* var3 /* : HashMap[Object, nullable Object] */; -val* var4 /* : nullable HashNode[Object] */; -val* var_c /* var c: nullable HashMapNode[Object, nullable Object] */; -val* var5 /* : null */; -short int var6 /* : Bool */; -val* var7 /* : nullable Object */; -short int var8 /* : Bool */; -long var9 /* : Int */; -long var10 /* : Int */; -long var12 /* : Int */; -val* var13 /* : nullable HashNode[Object] */; -/* Covariant cast for argument 0 (item) isa Collection#0 */ -/* isa Collection#0 */ -type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0]; +{ /* Inline hash_collection#HashMapValues#map= (self,p0) on */ +/* Covariant cast for argument 0 (map) isa HashMap[K, V] */ +/* isa HashMap[K, V] */ +type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMaphash_collection__HashMapValues_FT0hash_collection__HashMapValues_FT1]; cltype = type_struct->color; idtype = type_struct->id; -is_nullable = type_struct->is_nullable; -if(p0 == NULL) { -var1 = is_nullable; -} else { if(cltype >= p0->type->table_size) { -var1 = 0; +var = 0; } else { -var1 = p0->type->type_table[cltype] == idtype; -} +var = p0->type->type_table[cltype] == idtype; } -if (!var1) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 275); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[K, V]", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 277); show_backtrace(1); } -var_item = p0; -var2 = 0; -var_nb = var2; -var3 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on */; -var4 = var3->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ -var_c = var4; -for(;;) { -var5 = NULL; -if (var_c == NULL) { -var6 = 0; /* is null */ -} else { -var6 = 1; /* arg is null and recv is not */ -} -if (!var6) break; -var7 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on */ -if (var7 == NULL) { -var8 = (var_item == NULL); -} else { -var8 = ((short int (*)(val*, val*))(var7->class->vft[COLOR_kernel__Object___61d_61d]))(var7, var_item) /* == on */; -} -if (var8){ -var9 = 1; -{ /* Inline kernel#Int#+ (var_nb,var9) */ -var12 = var_nb + var9; -var10 = var12; -goto RET_LABEL11; -RET_LABEL11:(void)0; -} -var_nb = var10; -} else { -} -var13 = var_c->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on */ -var_c = var13; -CONTINUE_label: (void)0; +self->attrs[COLOR_hash_collection__HashMapValues___map].val = p0; /* _map on */ +RET_LABEL1:(void)0; } -BREAK_label: (void)0; -var = var_nb; -goto RET_LABEL; RET_LABEL:; -return var; -} -/* method hash_collection#HashMapValues#count for (self: Object, nullable Object): Int */ -long VIRTUAL_hash_collection__HashMapValues__count(val* self, val* p0) { -long var /* : Int */; -long var1 /* : Int */; -var1 = hash_collection__HashMapValues__count(self, p0); -var = var1; -RET_LABEL:; -return var; } /* method hash_collection#HashMapValues#first for (self: HashMapValues[Object, nullable Object]): nullable Object */ val* hash_collection__HashMapValues__first(val* self) { val* var /* : nullable Object */; val* var1 /* : HashMap[Object, nullable Object] */; -val* var2 /* : nullable HashNode[Object] */; -val* var3 /* : nullable Object */; -var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on */; -var2 = var1->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ -if (var2 == NULL) { -fprintf(stderr, "Runtime error: %s", "Reciever is null"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 285); +val* var3 /* : HashMap[Object, nullable Object] */; +val* var4 /* : nullable HashNode[Object] */; +val* var5 /* : nullable Object */; +{ +{ /* Inline hash_collection#HashMapValues#map (self) on */ +var3 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on */ +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 277); show_backtrace(1); } -var3 = var2->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on */ -var = var3; -goto RET_LABEL; -RET_LABEL:; -return var; -} -/* method hash_collection#HashMapValues#first for (self: Object): nullable Object */ -val* VIRTUAL_hash_collection__HashMapValues__first(val* self) { -val* var /* : nullable Object */; -val* var1 /* : nullable Object */; -var1 = hash_collection__HashMapValues__first(self); -var = var1; -RET_LABEL:; -return var; -} -/* method hash_collection#HashMapValues#has for (self: HashMapValues[Object, nullable Object], nullable Object): Bool */ -short int hash_collection__HashMapValues__has(val* self, val* p0) { -short int var /* : Bool */; -short int var1 /* : Bool */; -int cltype; -int idtype; -const struct type* type_struct; -short int is_nullable; -const char* var_class_name; -val* var_item /* var item: nullable Object */; -val* var2 /* : HashMap[Object, nullable Object] */; -val* var3 /* : nullable HashNode[Object] */; -val* var_c /* var c: nullable HashMapNode[Object, nullable Object] */; -val* var4 /* : null */; -short int var5 /* : Bool */; -val* var6 /* : nullable Object */; -short int var7 /* : Bool */; -short int var8 /* : Bool */; -val* var9 /* : nullable HashNode[Object] */; -short int var10 /* : Bool */; -/* Covariant cast for argument 0 (item) isa Collection#0 */ -/* isa Collection#0 */ -type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0]; -cltype = type_struct->color; -idtype = type_struct->id; -is_nullable = type_struct->is_nullable; -if(p0 == NULL) { -var1 = is_nullable; -} else { -if(cltype >= p0->type->table_size) { -var1 = 0; -} else { -var1 = p0->type->type_table[cltype] == idtype; +var1 = var3; +RET_LABEL2:(void)0; } } -if (!var1) { -var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 287); +var4 = var1->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ +if (unlikely(var4 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 290); show_backtrace(1); } -var_item = p0; -var2 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on */; -var3 = var2->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ -var_c = var3; -for(;;) { -var4 = NULL; -if (var_c == NULL) { -var5 = 0; /* is null */ -} else { -var5 = 1; /* arg is null and recv is not */ -} -if (!var5) break; -var6 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on */ -if (var6 == NULL) { -var7 = (var_item == NULL); -} else { -var7 = ((short int (*)(val*, val*))(var6->class->vft[COLOR_kernel__Object___61d_61d]))(var6, var_item) /* == on */; -} -if (var7){ -var8 = 1; -var = var8; -goto RET_LABEL; -} else { -} -var9 = var_c->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on */ -var_c = var9; -CONTINUE_label: (void)0; -} -BREAK_label: (void)0; -var10 = 0; -var = var10; +var5 = var4->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on */ +var = var5; goto RET_LABEL; -RET_LABEL:; -return var; -} -/* method hash_collection#HashMapValues#has for (self: Object, nullable Object): Bool */ -short int VIRTUAL_hash_collection__HashMapValues__has(val* self, val* p0) { -short int var /* : Bool */; -short int var1 /* : Bool */; -var1 = hash_collection__HashMapValues__has(self, p0); +RET_LABEL:; +return var; +} +/* method hash_collection#HashMapValues#first for (self: Object): nullable Object */ +val* VIRTUAL_hash_collection__HashMapValues__first(val* self) { +val* var /* : nullable Object */; +val* var1 /* : nullable Object */; +var1 = hash_collection__HashMapValues__first(self); var = var1; RET_LABEL:; return var; } -/* method hash_collection#HashMapValues#has_only for (self: HashMapValues[Object, nullable Object], nullable Object): Bool */ -short int hash_collection__HashMapValues__has_only(val* self, val* p0) { +/* method hash_collection#HashMapValues#has for (self: HashMapValues[Object, nullable Object], nullable Object): Bool */ +short int hash_collection__HashMapValues__has(val* self, val* p0) { short int var /* : Bool */; short int var1 /* : Bool */; int cltype; @@ -2279,17 +2671,24 @@ short int is_nullable; const char* var_class_name; val* var_item /* var item: nullable Object */; val* var2 /* : HashMap[Object, nullable Object] */; -val* var3 /* : nullable HashNode[Object] */; +val* var4 /* : HashMap[Object, nullable Object] */; +val* var5 /* : nullable HashNode[Object] */; val* var_c /* var c: nullable HashMapNode[Object, nullable Object] */; -val* var4 /* : null */; -short int var5 /* : Bool */; -val* var6 /* : nullable Object */; +val* var6 /* : null */; short int var7 /* : Bool */; short int var8 /* : Bool */; -val* var9 /* : nullable HashNode[Object] */; +val* var_other /* var other: nullable Object */; short int var10 /* : Bool */; -/* Covariant cast for argument 0 (item) isa Collection#0 */ -/* isa Collection#0 */ +short int var11 /* : Bool */; +short int var12 /* : Bool */; +val* var13 /* : nullable Object */; +short int var14 /* : Bool */; +short int var15 /* : Bool */; +short int var16 /* : Bool */; +val* var17 /* : nullable HashNode[Object] */; +short int var18 /* : Bool */; +/* Covariant cast for argument 0 (item) isa E */ +/* isa E */ type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -2303,52 +2702,80 @@ var1 = 0; var1 = p0->type->type_table[cltype] == idtype; } } -if (!var1) { +if (unlikely(!var1)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 297); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 292); show_backtrace(1); } var_item = p0; -var2 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on */; -var3 = var2->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ -var_c = var3; +{ +{ /* Inline hash_collection#HashMapValues#map (self) on */ +var4 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on */ +if (unlikely(var4 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 277); +show_backtrace(1); +} +var2 = var4; +RET_LABEL3:(void)0; +} +} +var5 = var2->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ +var_c = var5; for(;;) { -var4 = NULL; +var6 = NULL; if (var_c == NULL) { -var5 = 0; /* is null */ +var7 = 0; /* is null */ } else { -var5 = 1; /* arg is null and recv is not */ +var7 = 1; /* arg is null and recv is not */ } -if (!var5) break; -var6 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on */ -if (var6 == NULL) { -var7 = (var_item != NULL); -} else { -var7 = ((short int (*)(val*, val*))(var6->class->vft[COLOR_kernel__Object___33d_61d]))(var6, var_item) /* != on */; +if (0) { +{ /* Inline kernel#Object#!= (var_c,var6) on */ +var_other = var6; +{ +var11 = ((short int (*)(val*, val*))(var_c->class->vft[COLOR_kernel__Object___61d_61d]))(var_c, var_other) /* == on */; +var10 = var11; +} +var12 = !var10; +var8 = var12; +goto RET_LABEL9; +RET_LABEL9:(void)0; +} +var7 = var8; } if (var7){ -var8 = 0; -var = var8; +var13 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on */ +if (var13 == NULL) { +var14 = (var_item == NULL); +} else { +var15 = ((short int (*)(val*, val*))(var13->class->vft[COLOR_kernel__Object___61d_61d]))(var13, var_item) /* == on */; +var14 = var15; +} +if (var14){ +var16 = 1; +var = var16; goto RET_LABEL; } else { } -var9 = var_c->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on */ -var_c = var9; -CONTINUE_label: (void)0; +var17 = var_c->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on */ +var_c = var17; +} else { +goto BREAK_label; +} } BREAK_label: (void)0; -var10 = 1; -var = var10; +var18 = 0; +var = var18; goto RET_LABEL; RET_LABEL:; return var; } -/* method hash_collection#HashMapValues#has_only for (self: Object, nullable Object): Bool */ -short int VIRTUAL_hash_collection__HashMapValues__has_only(val* self, val* p0) { +/* method hash_collection#HashMapValues#has for (self: Object, nullable Object): Bool */ +short int VIRTUAL_hash_collection__HashMapValues__has(val* self, val* p0) { short int var /* : Bool */; short int var1 /* : Bool */; -var1 = hash_collection__HashMapValues__has_only(self, p0); +var1 = hash_collection__HashMapValues__has(self, p0); var = var1; RET_LABEL:; return var; @@ -2357,10 +2784,24 @@ return var; short int hash_collection__HashMapValues__is_empty(val* self) { short int var /* : Bool */; val* var1 /* : HashMap[Object, nullable Object] */; -short int var2 /* : Bool */; -var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on */; -var2 = ((short int (*)(val*))(var1->class->vft[COLOR_abstract_collection__MapRead__is_empty]))(var1) /* is_empty on */; -var = var2; +val* var3 /* : HashMap[Object, nullable Object] */; +short int var4 /* : Bool */; +{ +{ /* Inline hash_collection#HashMapValues#map (self) on */ +var3 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on */ +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 277); +show_backtrace(1); +} +var1 = var3; +RET_LABEL2:(void)0; +} +} +{ +var4 = hash_collection__HashMap__is_empty(var1); +} +var = var4; goto RET_LABEL; RET_LABEL:; return var; @@ -2378,10 +2819,24 @@ return var; long hash_collection__HashMapValues__length(val* self) { long var /* : Int */; val* var1 /* : HashMap[Object, nullable Object] */; -long var2 /* : Int */; -var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on */; -var2 = ((long (*)(val*))(var1->class->vft[COLOR_abstract_collection__MapRead__length]))(var1) /* length on */; -var = var2; +val* var3 /* : HashMap[Object, nullable Object] */; +long var4 /* : Int */; +{ +{ /* Inline hash_collection#HashMapValues#map (self) on */ +var3 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on */ +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 277); +show_backtrace(1); +} +var1 = var3; +RET_LABEL2:(void)0; +} +} +{ +var4 = hash_collection__HashMap__length(var1); +} +var = var4; goto RET_LABEL; RET_LABEL:; return var; @@ -2400,11 +2855,30 @@ val* hash_collection__HashMapValues__iterator(val* self) { val* var /* : Iterator[nullable Object] */; val* var1 /* : MapValuesIterator[Object, nullable Object] */; val* var2 /* : HashMap[Object, nullable Object] */; -val* var3 /* : MapIterator[Object, nullable Object] */; +val* var4 /* : HashMap[Object, nullable Object] */; +val* var5 /* : HashMapIterator[Object, nullable Object] */; var1 = NEW_abstract_collection__MapValuesIterator(self->type->resolution_table->types[COLOR_abstract_collection__MapValuesIteratorhash_collection__HashMapValues_FT0hash_collection__HashMapValues_FT1]); -var2 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on */; -var3 = ((val* (*)(val*))(var2->class->vft[COLOR_abstract_collection__MapRead__iterator]))(var2) /* iterator on */; -((void (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__MapValuesIterator__init]))(var1, var3) /* init on */; +{ +{ /* Inline hash_collection#HashMapValues#map (self) on */ +var4 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on */ +if (unlikely(var4 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 277); +show_backtrace(1); +} +var2 = var4; +RET_LABEL3:(void)0; +} +} +{ +var5 = hash_collection__HashMap__iterator(var2); +} +{ +((void (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__MapValuesIterator__original_iterator_61d]))(var1, var5) /* original_iterator= on */; +} +{ +((void (*)(val*))(var1->class->vft[COLOR_kernel__Object__init]))(var1) /* init on */; +} var = var1; goto RET_LABEL; RET_LABEL:; @@ -2422,13 +2896,27 @@ return var; /* method hash_collection#HashMapValues#clear for (self: HashMapValues[Object, nullable Object]) */ void hash_collection__HashMapValues__clear(val* self) { val* var /* : HashMap[Object, nullable Object] */; -var = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on */; -((void (*)(val*))(var->class->vft[COLOR_abstract_collection__Map__clear]))(var) /* clear on */; +val* var2 /* : HashMap[Object, nullable Object] */; +{ +{ /* Inline hash_collection#HashMapValues#map (self) on */ +var2 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on */ +if (unlikely(var2 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 277); +show_backtrace(1); +} +var = var2; +RET_LABEL1:(void)0; +} +} +{ +hash_collection__HashMap__clear(var); /* Direct call hash_collection#HashMap#clear on */ +} RET_LABEL:; } /* method hash_collection#HashMapValues#clear for (self: Object) */ void VIRTUAL_hash_collection__HashMapValues__clear(val* self) { -hash_collection__HashMapValues__clear(self); +hash_collection__HashMapValues__clear(self); /* Direct call hash_collection#HashMapValues#clear on */ RET_LABEL:; } /* method hash_collection#HashMapValues#remove for (self: HashMapValues[Object, nullable Object], nullable Object) */ @@ -2441,17 +2929,24 @@ short int is_nullable; const char* var_class_name; val* var_item /* var item: nullable Object */; val* var1 /* : HashMap[Object, nullable Object] */; +val* var3 /* : HashMap[Object, nullable Object] */; val* var_map /* var map: HashMap[Object, nullable Object] */; -val* var2 /* : nullable HashNode[Object] */; +val* var4 /* : nullable HashNode[Object] */; val* var_c /* var c: nullable HashMapNode[Object, nullable Object] */; -val* var3 /* : null */; -short int var4 /* : Bool */; -val* var5 /* : nullable Object */; +val* var5 /* : null */; short int var6 /* : Bool */; -val* var7 /* : Object */; -val* var8 /* : nullable HashNode[Object] */; -/* Covariant cast for argument 0 (item) isa RemovableCollection#0 */ -/* isa RemovableCollection#0 */ +short int var7 /* : Bool */; +val* var_other /* var other: nullable Object */; +short int var9 /* : Bool */; +short int var10 /* : Bool */; +short int var11 /* : Bool */; +val* var12 /* : nullable Object */; +short int var13 /* : Bool */; +short int var14 /* : Bool */; +val* var15 /* : Object */; +val* var16 /* : nullable HashNode[Object] */; +/* Covariant cast for argument 0 (item) isa E */ +/* isa E */ type_struct = self->type->resolution_table->types[COLOR_abstract_collection__RemovableCollection_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -2465,164 +2960,99 @@ var = 0; var = p0->type->type_table[cltype] == idtype; } } -if (!var) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 314); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 319); show_backtrace(1); } var_item = p0; -var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on */; -var_map = var1; -var2 = var_map->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ -var_c = var2; -for(;;) { -var3 = NULL; -if (var_c == NULL) { -var4 = 0; /* is null */ -} else { -var4 = 1; /* arg is null and recv is not */ +{ +{ /* Inline hash_collection#HashMapValues#map (self) on */ +var3 = self->attrs[COLOR_hash_collection__HashMapValues___map].val; /* _map on */ +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _map"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 277); +show_backtrace(1); } -if (!var4) break; -var5 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on */ -if (var5 == NULL) { -var6 = (var_item == NULL); -} else { -var6 = ((short int (*)(val*, val*))(var5->class->vft[COLOR_kernel__Object___61d_61d]))(var5, var_item) /* == on */; +var1 = var3; +RET_LABEL2:(void)0; } -if (var6){ -var7 = var_c->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on */ -if (var7 == NULL) { -fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 320); -show_backtrace(1); } -((void (*)(val*, val*))(var_map->class->vft[COLOR_hash_collection__HashCollection__remove_node]))(var_map, var7) /* remove_node on */; -goto RET_LABEL; +var_map = var1; +var4 = var_map->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ +var_c = var4; +for(;;) { +var5 = NULL; +if (var_c == NULL) { +var6 = 0; /* is null */ } else { +var6 = 1; /* arg is null and recv is not */ } -var8 = var_c->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on */ -var_c = var8; -CONTINUE_label: (void)0; +if (0) { +{ /* Inline kernel#Object#!= (var_c,var5) on */ +var_other = var5; +{ +var10 = ((short int (*)(val*, val*))(var_c->class->vft[COLOR_kernel__Object___61d_61d]))(var_c, var_other) /* == on */; +var9 = var10; } -BREAK_label: (void)0; -RET_LABEL:; +var11 = !var9; +var7 = var11; +goto RET_LABEL8; +RET_LABEL8:(void)0; } -/* method hash_collection#HashMapValues#remove for (self: Object, nullable Object) */ -void VIRTUAL_hash_collection__HashMapValues__remove(val* self, val* p0) { -hash_collection__HashMapValues__remove(self, p0); -RET_LABEL:; +var6 = var7; } -/* method hash_collection#HashMapValues#remove_all for (self: HashMapValues[Object, nullable Object], nullable Object) */ -void hash_collection__HashMapValues__remove_all(val* self, val* p0) { -short int var /* : Bool */; -int cltype; -int idtype; -const struct type* type_struct; -short int is_nullable; -const char* var_class_name; -val* var_item /* var item: nullable Object */; -val* var1 /* : HashMap[Object, nullable Object] */; -val* var_map /* var map: HashMap[Object, nullable Object] */; -val* var2 /* : nullable HashNode[Object] */; -val* var_c /* var c: nullable HashMapNode[Object, nullable Object] */; -val* var3 /* : null */; -short int var4 /* : Bool */; -val* var5 /* : nullable Object */; -short int var6 /* : Bool */; -val* var7 /* : Object */; -val* var8 /* : nullable HashNode[Object] */; -/* Covariant cast for argument 0 (item) isa RemovableCollection#0 */ -/* isa RemovableCollection#0 */ -type_struct = self->type->resolution_table->types[COLOR_abstract_collection__RemovableCollection_FT0]; -cltype = type_struct->color; -idtype = type_struct->id; -is_nullable = type_struct->is_nullable; -if(p0 == NULL) { -var = is_nullable; -} else { -if(cltype >= p0->type->table_size) { -var = 0; +if (var6){ +var12 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on */ +if (var12 == NULL) { +var13 = (var_item == NULL); } else { -var = p0->type->type_table[cltype] == idtype; +var14 = ((short int (*)(val*, val*))(var12->class->vft[COLOR_kernel__Object___61d_61d]))(var12, var_item) /* == on */; +var13 = var14; } -} -if (!var) { -var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 327); +if (var13){ +var15 = var_c->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on */ +if (unlikely(var15 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 325); show_backtrace(1); } -var_item = p0; -var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on */; -var_map = var1; -var2 = var_map->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ -var_c = var2; -for(;;) { -var3 = NULL; -if (var_c == NULL) { -var4 = 0; /* is null */ -} else { -var4 = 1; /* arg is null and recv is not */ +{ +hash_collection__HashCollection__remove_node(var_map, var15); /* Direct call hash_collection#HashCollection#remove_node on */ } -if (!var4) break; -var5 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on */ -if (var5 == NULL) { -var6 = (var_item == NULL); +goto RET_LABEL; } else { -var6 = ((short int (*)(val*, val*))(var5->class->vft[COLOR_kernel__Object___61d_61d]))(var5, var_item) /* == on */; -} -if (var6){ -var7 = var_c->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on */ -if (var7 == NULL) { -fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 333); -show_backtrace(1); } -((void (*)(val*, val*))(var_map->class->vft[COLOR_hash_collection__HashCollection__remove_node]))(var_map, var7) /* remove_node on */; +var16 = var_c->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on */ +var_c = var16; } else { +goto BREAK_label; } -var8 = var_c->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on */ -var_c = var8; -CONTINUE_label: (void)0; } BREAK_label: (void)0; RET_LABEL:; } -/* method hash_collection#HashMapValues#remove_all for (self: Object, nullable Object) */ -void VIRTUAL_hash_collection__HashMapValues__remove_all(val* self, val* p0) { -hash_collection__HashMapValues__remove_all(self, p0); +/* method hash_collection#HashMapValues#remove for (self: Object, nullable Object) */ +void VIRTUAL_hash_collection__HashMapValues__remove(val* self, val* p0) { +hash_collection__HashMapValues__remove(self, p0); /* Direct call hash_collection#HashMapValues#remove on */ RET_LABEL:; } -/* method hash_collection#HashMapValues#init for (self: HashMapValues[Object, nullable Object], HashMap[Object, nullable Object]) */ -void hash_collection__HashMapValues__init(val* self, val* p0) { -short int var /* : Bool */; -int cltype; -int idtype; -const struct type* type_struct; -const char* var_class_name; -/* Covariant cast for argument 0 (map) isa HashMap[HashMapValues#0, HashMapValues#1] */ -/* isa HashMap[HashMapValues#0, HashMapValues#1] */ -type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMaphash_collection__HashMapValues_FT0hash_collection__HashMapValues_FT1]; -cltype = type_struct->color; -idtype = type_struct->id; -if(cltype >= p0->type->table_size) { -var = 0; -} else { -var = p0->type->type_table[cltype] == idtype; -} -if (!var) { -var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapValues#0, HashMapValues#1]", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 269); -show_backtrace(1); +/* method hash_collection#HashMapValues#init for (self: HashMapValues[Object, nullable Object]) */ +void hash_collection__HashMapValues__init(val* self) { +{ +((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__init]))(self) /* init on */; } -self->attrs[COLOR_hash_collection__HashMapValues___64dmap].val = p0; /* @map on */ RET_LABEL:; } -/* method hash_collection#HashMapValues#init for (self: Object, HashMap[Object, nullable Object]) */ -void VIRTUAL_hash_collection__HashMapValues__init(val* self, val* p0) { -hash_collection__HashMapValues__init(self, p0); +/* method hash_collection#HashMapValues#init for (self: Object) */ +void VIRTUAL_hash_collection__HashMapValues__init(val* self) { +{ /* Inline hash_collection#HashMapValues#init (self) on */ +{ +((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__init]))(self) /* init on */; +} +RET_LABEL1:(void)0; +} RET_LABEL:; } /* method hash_collection#HashMapNode#init for (self: HashMapNode[Object, nullable Object], Object, nullable Object) */ @@ -2640,8 +3070,8 @@ short int is_nullable; const char* var_class_name5; val* var_k /* var k: Object */; val* var_v /* var v: nullable Object */; -/* Covariant cast for argument 0 (k) isa HashMapNode#0 */ -/* isa HashMapNode#0 */ +/* Covariant cast for argument 0 (k) isa K */ +/* isa K */ type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMapNode_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -2650,14 +3080,14 @@ var = 0; } else { var = p0->type->type_table[cltype] == idtype; } -if (!var) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMapNode#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 345); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "K", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 350); show_backtrace(1); } -/* Covariant cast for argument 1 (v) isa HashMapNode#1 */ -/* isa HashMapNode#1 */ +/* Covariant cast for argument 1 (v) isa V */ +/* isa V */ type_struct4 = self->type->resolution_table->types[COLOR_hash_collection__HashMapNode_FT1]; cltype2 = type_struct4->color; idtype3 = type_struct4->id; @@ -2671,21 +3101,23 @@ var1 = 0; var1 = p1->type->type_table[cltype2] == idtype3; } } -if (!var1) { +if (unlikely(!var1)) { var_class_name5 = p1 == NULL ? "null" : p1->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMapNode#1", var_class_name5); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 345); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "V", var_class_name5); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 350); show_backtrace(1); } var_k = p0; var_v = p1; -((void (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashNode__init]))(self, var_k) /* init on */; +{ +hash_collection__HashNode__init(self, var_k); /* Direct call hash_collection#HashNode#init on */ +} self->attrs[COLOR_hash_collection__HashMapNode___value].val = var_v; /* _value on */ RET_LABEL:; } /* method hash_collection#HashMapNode#init for (self: Object, Object, nullable Object) */ void VIRTUAL_hash_collection__HashMapNode__init(val* self, val* p0, val* p1) { -hash_collection__HashMapNode__init(self, p0, p1); +hash_collection__HashMapNode__init(self, p0, p1); /* Direct call hash_collection#HashMapNode#init on */ RET_LABEL:; } /* method hash_collection#HashMapIterator#is_ok for (self: HashMapIterator[Object, nullable Object]): Bool */ @@ -2694,6 +3126,11 @@ short int var /* : Bool */; val* var1 /* : nullable HashMapNode[Object, nullable Object] */; val* var2 /* : null */; short int var3 /* : Bool */; +short int var4 /* : Bool */; +val* var_other /* var other: nullable Object */; +short int var6 /* : Bool */; +short int var7 /* : Bool */; +short int var8 /* : Bool */; var1 = self->attrs[COLOR_hash_collection__HashMapIterator___node].val; /* _node on */ var2 = NULL; if (var1 == NULL) { @@ -2701,6 +3138,20 @@ var3 = 0; /* is null */ } else { var3 = 1; /* arg is null and recv is not */ } +if (0) { +{ /* Inline kernel#Object#!= (var1,var2) on */ +var_other = var2; +{ +var7 = ((short int (*)(val*, val*))(var1->class->vft[COLOR_kernel__Object___61d_61d]))(var1, var_other) /* == on */; +var6 = var7; +} +var8 = !var6; +var4 = var8; +goto RET_LABEL5; +RET_LABEL5:(void)0; +} +var3 = var4; +} var = var3; goto RET_LABEL; RET_LABEL:; @@ -2721,16 +3172,18 @@ val* var /* : nullable Object */; short int var1 /* : Bool */; val* var2 /* : nullable HashMapNode[Object, nullable Object] */; val* var3 /* : nullable Object */; -var1 = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__MapIterator__is_ok]))(self) /* is_ok on */; -if (!var1) { -fprintf(stderr, "Runtime error: %s", "Assert failed"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 358); +{ +var1 = hash_collection__HashMapIterator__is_ok(self); +} +if (unlikely(!var1)) { +PRINT_ERROR("Runtime error: %s", "Assert failed"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 363); show_backtrace(1); } var2 = self->attrs[COLOR_hash_collection__HashMapIterator___node].val; /* _node on */ -if (var2 == NULL) { -fprintf(stderr, "Runtime error: %s", "Reciever is null"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 359); +if (unlikely(var2 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 364); show_backtrace(1); } var3 = var2->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on */ @@ -2754,22 +3207,24 @@ val* var /* : Object */; short int var1 /* : Bool */; val* var2 /* : nullable HashMapNode[Object, nullable Object] */; val* var3 /* : Object */; -var1 = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__MapIterator__is_ok]))(self) /* is_ok on */; -if (!var1) { -fprintf(stderr, "Runtime error: %s", "Assert failed"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 370); +{ +var1 = hash_collection__HashMapIterator__is_ok(self); +} +if (unlikely(!var1)) { +PRINT_ERROR("Runtime error: %s", "Assert failed"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 375); show_backtrace(1); } var2 = self->attrs[COLOR_hash_collection__HashMapIterator___node].val; /* _node on */ -if (var2 == NULL) { -fprintf(stderr, "Runtime error: %s", "Reciever is null"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 371); +if (unlikely(var2 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 376); show_backtrace(1); } var3 = var2->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on */ -if (var3 == NULL) { -fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 371); +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 376); show_backtrace(1); } var = var3; @@ -2791,16 +3246,18 @@ void hash_collection__HashMapIterator__next(val* self) { short int var /* : Bool */; val* var1 /* : nullable HashMapNode[Object, nullable Object] */; val* var2 /* : nullable HashNode[Object] */; -var = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__MapIterator__is_ok]))(self) /* is_ok on */; -if (!var) { -fprintf(stderr, "Runtime error: %s", "Assert failed"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 376); +{ +var = hash_collection__HashMapIterator__is_ok(self); +} +if (unlikely(!var)) { +PRINT_ERROR("Runtime error: %s", "Assert failed"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 381); show_backtrace(1); } var1 = self->attrs[COLOR_hash_collection__HashMapIterator___node].val; /* _node on */ -if (var1 == NULL) { -fprintf(stderr, "Runtime error: %s", "Reciever is null"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 377); +if (unlikely(var1 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 382); show_backtrace(1); } var2 = var1->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on */ @@ -2809,7 +3266,7 @@ RET_LABEL:; } /* method hash_collection#HashMapIterator#next for (self: Object) */ void VIRTUAL_hash_collection__HashMapIterator__next(val* self) { -hash_collection__HashMapIterator__next(self); +hash_collection__HashMapIterator__next(self); /* Direct call hash_collection#HashMapIterator#next on */ RET_LABEL:; } /* method hash_collection#HashMapIterator#init for (self: HashMapIterator[Object, nullable Object], HashMap[Object, nullable Object]) */ @@ -2821,8 +3278,8 @@ const struct type* type_struct; const char* var_class_name; val* var_map /* var map: HashMap[Object, nullable Object] */; val* var1 /* : nullable HashNode[Object] */; -/* Covariant cast for argument 0 (map) isa HashMap[HashMapIterator#0, HashMapIterator#1] */ -/* isa HashMap[HashMapIterator#0, HashMapIterator#1] */ +/* Covariant cast for argument 0 (map) isa HashMap[K, V] */ +/* isa HashMap[K, V] */ type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMaphash_collection__HashMapIterator_FT0hash_collection__HashMapIterator_FT1]; cltype = type_struct->color; idtype = type_struct->id; @@ -2831,28 +3288,28 @@ var = 0; } else { var = p0->type->type_table[cltype] == idtype; } -if (!var) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapIterator#0, HashMapIterator#1]", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 386); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[K, V]", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 391); show_backtrace(1); } var_map = p0; self->attrs[COLOR_hash_collection__HashMapIterator___map].val = var_map; /* _map on */ -var1 = ((val* (*)(val*))(var_map->class->vft[COLOR_hash_collection__HashCollection__first_item]))(var_map) /* first_item on */; +var1 = var_map->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ self->attrs[COLOR_hash_collection__HashMapIterator___node].val = var1; /* _node on */ RET_LABEL:; } /* method hash_collection#HashMapIterator#init for (self: Object, HashMap[Object, nullable Object]) */ void VIRTUAL_hash_collection__HashMapIterator__init(val* self, val* p0) { -hash_collection__HashMapIterator__init(self, p0); +hash_collection__HashMapIterator__init(self, p0); /* Direct call hash_collection#HashMapIterator#init on */ RET_LABEL:; } /* method hash_collection#HashSet#length for (self: HashSet[Object]): Int */ long hash_collection__HashSet__length(val* self) { long var /* : Int */; long var1 /* : Int */; -var1 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on */ +var1 = self->attrs[COLOR_hash_collection__HashCollection___the_length].l; /* _the_length on */ var = var1; goto RET_LABEL; RET_LABEL:; @@ -2873,14 +3330,18 @@ short int var /* : Bool */; long var1 /* : Int */; long var2 /* : Int */; short int var3 /* : Bool */; -short int var5 /* : Bool */; -var1 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on */ +short int var4 /* : Bool */; +short int var6 /* : Bool */; +var1 = self->attrs[COLOR_hash_collection__HashCollection___the_length].l; /* _the_length on */ var2 = 0; -{ /* Inline kernel#Int#== (var1,var2) */ -var5 = var1 == var2; -var3 = var5; -goto RET_LABEL4; -RET_LABEL4:(void)0; +{ +{ /* Inline kernel#Int#== (var1,var2) on */ +var6 = var1 == var2; +var4 = var6; +goto RET_LABEL5; +RET_LABEL5:(void)0; +} +var3 = var4; } var = var3; goto RET_LABEL; @@ -2909,16 +3370,17 @@ const char* var_class_name; short int var6 /* : Bool */; val* var7 /* : nullable HashNode[Object] */; val* var8 /* : Object */; -var1 = self->attrs[COLOR_hash_collection__HashCollection___length].l; /* _length on */ +var1 = self->attrs[COLOR_hash_collection__HashCollection___the_length].l; /* _the_length on */ var2 = 0; -{ /* Inline kernel#Int#> (var1,var2) */ +{ +{ /* Inline kernel#Int#> (var1,var2) on */ /* Covariant cast for argument 0 (i) isa OTHER */ /* isa OTHER */ var5 = 1; /* easy isa OTHER*/ -if (!var5) { +if (unlikely(!var5)) { var_class_name = type_kernel__Int.name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 263); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/kernel.nit", 373); show_backtrace(1); } var6 = var1 > var2; @@ -2926,21 +3388,22 @@ var3 = var6; goto RET_LABEL4; RET_LABEL4:(void)0; } -if (!var3) { -fprintf(stderr, "Runtime error: %s", "Assert failed"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 405); +} +if (unlikely(!var3)) { +PRINT_ERROR("Runtime error: %s", "Assert failed"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 410); show_backtrace(1); } var7 = self->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on */ -if (var7 == NULL) { -fprintf(stderr, "Runtime error: %s", "Reciever is null"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 406); +if (unlikely(var7 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 411); show_backtrace(1); } var8 = var7->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on */ -if (var8 == NULL) { -fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 406); +if (unlikely(var8 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 411); show_backtrace(1); } var = var8; @@ -2969,8 +3432,13 @@ val* var_item /* var item: Object */; val* var2 /* : nullable HashNode[Object] */; val* var3 /* : null */; short int var4 /* : Bool */; -/* Covariant cast for argument 0 (item) isa Collection#0 */ -/* isa Collection#0 */ +short int var5 /* : Bool */; +val* var_other /* var other: nullable Object */; +short int var7 /* : Bool */; +short int var8 /* : Bool */; +short int var9 /* : Bool */; +/* Covariant cast for argument 0 (item) isa E */ +/* isa E */ type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collection_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -2979,20 +3447,36 @@ var1 = 0; } else { var1 = p0->type->type_table[cltype] == idtype; } -if (!var1) { +if (unlikely(!var1)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 409); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 414); show_backtrace(1); } var_item = p0; -var2 = ((val* (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__node_at]))(self, var_item) /* node_at on */; +{ +var2 = hash_collection__HashCollection__node_at(self, var_item); +} var3 = NULL; if (var2 == NULL) { var4 = 0; /* is null */ } else { var4 = 1; /* arg is null and recv is not */ } +if (0) { +{ /* Inline kernel#Object#!= (var2,var3) on */ +var_other = var3; +{ +var8 = ((short int (*)(val*, val*))(var2->class->vft[COLOR_kernel__Object___61d_61d]))(var2, var_other) /* == on */; +var7 = var8; +} +var9 = !var7; +var5 = var9; +goto RET_LABEL6; +RET_LABEL6:(void)0; +} +var4 = var5; +} var = var4; goto RET_LABEL; RET_LABEL:; @@ -3021,9 +3505,14 @@ val* var2 /* : nullable HashNode[Object] */; val* var_c /* var c: nullable HashSetNode[Object] */; val* var3 /* : null */; short int var4 /* : Bool */; -val* var5 /* : HashSetNode[Object] */; -/* Covariant cast for argument 0 (item) isa SimpleCollection#0 */ -/* isa SimpleCollection#0 */ +short int var5 /* : Bool */; +val* var_other /* var other: nullable Object */; +short int var7 /* : Bool */; +short int var8 /* : Bool */; +short int var9 /* : Bool */; +val* var10 /* : HashSetNode[Object] */; +/* Covariant cast for argument 0 (item) isa E */ +/* isa E */ type_struct = self->type->resolution_table->types[COLOR_abstract_collection__SimpleCollection_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -3032,16 +3521,20 @@ var = 0; } else { var = p0->type->type_table[cltype] == idtype; } -if (!var) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "SimpleCollection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 414); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 419); show_backtrace(1); } var_item = p0; -var1 = ((long (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__index_at]))(self, var_item) /* index_at on */; +{ +var1 = hash_collection__HashCollection__index_at(self, var_item); +} var_i = var1; -var2 = ((val* (*)(val*, long, val*))(self->class->vft[COLOR_hash_collection__HashCollection__node_at_idx]))(self, var_i, var_item) /* node_at_idx on */; +{ +var2 = hash_collection__HashCollection__node_at_idx(self, var_i, var_item); +} var_c = var2; var3 = NULL; if (var_c == NULL) { @@ -3049,18 +3542,36 @@ var4 = 0; /* is null */ } else { var4 = 1; /* arg is null and recv is not */ } +if (0) { +{ /* Inline kernel#Object#!= (var_c,var3) on */ +var_other = var3; +{ +var8 = ((short int (*)(val*, val*))(var_c->class->vft[COLOR_kernel__Object___61d_61d]))(var_c, var_other) /* == on */; +var7 = var8; +} +var9 = !var7; +var5 = var9; +goto RET_LABEL6; +RET_LABEL6:(void)0; +} +var4 = var5; +} if (var4){ var_c->attrs[COLOR_hash_collection__HashNode___key].val = var_item; /* _key on */ } else { -var5 = NEW_hash_collection__HashSetNode(self->type->resolution_table->types[COLOR_hash_collection__HashSetNodehash_collection__HashSet_FT0]); -((void (*)(val*, val*))(var5->class->vft[COLOR_hash_collection__HashSetNode__init]))(var5, var_item) /* init on */; -((void (*)(val*, long, val*))(self->class->vft[COLOR_hash_collection__HashCollection__store]))(self, var_i, var5) /* store on */; +var10 = NEW_hash_collection__HashSetNode(self->type->resolution_table->types[COLOR_hash_collection__HashSetNodehash_collection__HashSet_FT0]); +{ +hash_collection__HashSetNode__init(var10, var_item); /* Direct call hash_collection#HashSetNode#init on */ +} +{ +hash_collection__HashCollection__store(self, var_i, var10); /* Direct call hash_collection#HashCollection#store on */ +} } RET_LABEL:; } /* method hash_collection#HashSet#add for (self: Object, nullable Object) */ void VIRTUAL_hash_collection__HashSet__add(val* self, val* p0) { -hash_collection__HashSet__add(self, p0); +hash_collection__HashSet__add(self, p0); /* Direct call hash_collection#HashSet#add on */ RET_LABEL:; } /* method hash_collection#HashSet#remove for (self: HashSet[Object], Object) */ @@ -3071,8 +3582,8 @@ int idtype; const struct type* type_struct; const char* var_class_name; val* var_item /* var item: Object */; -/* Covariant cast for argument 0 (item) isa RemovableCollection#0 */ -/* isa RemovableCollection#0 */ +/* Covariant cast for argument 0 (item) isa E */ +/* isa E */ type_struct = self->type->resolution_table->types[COLOR_abstract_collection__RemovableCollection_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -3081,29 +3592,33 @@ var = 0; } else { var = p0->type->type_table[cltype] == idtype; } -if (!var) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 425); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 430); show_backtrace(1); } var_item = p0; -((void (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__remove_node]))(self, var_item) /* remove_node on */; +{ +hash_collection__HashCollection__remove_node(self, var_item); /* Direct call hash_collection#HashCollection#remove_node on */ +} RET_LABEL:; } /* method hash_collection#HashSet#remove for (self: Object, nullable Object) */ void VIRTUAL_hash_collection__HashSet__remove(val* self, val* p0) { -hash_collection__HashSet__remove(self, p0); +hash_collection__HashSet__remove(self, p0); /* Direct call hash_collection#HashSet#remove on */ RET_LABEL:; } /* method hash_collection#HashSet#clear for (self: HashSet[Object]) */ void hash_collection__HashSet__clear(val* self) { -((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashCollection__raz]))(self) /* raz on */; +{ +hash_collection__HashCollection__raz(self); /* Direct call hash_collection#HashCollection#raz on */ +} RET_LABEL:; } /* method hash_collection#HashSet#clear for (self: Object) */ void VIRTUAL_hash_collection__HashSet__clear(val* self) { -hash_collection__HashSet__clear(self); +hash_collection__HashSet__clear(self); /* Direct call hash_collection#HashSet#clear on */ RET_LABEL:; } /* method hash_collection#HashSet#iterator for (self: HashSet[Object]): Iterator[Object] */ @@ -3111,7 +3626,9 @@ val* hash_collection__HashSet__iterator(val* self) { val* var /* : Iterator[Object] */; val* var1 /* : HashSetIterator[Object] */; var1 = NEW_hash_collection__HashSetIterator(self->type->resolution_table->types[COLOR_hash_collection__HashSetIteratorhash_collection__HashSet_FT0]); -((void (*)(val*, val*))(var1->class->vft[COLOR_hash_collection__HashSetIterator__init]))(var1, self) /* init on */; +{ +hash_collection__HashSetIterator__init(var1, self); /* Direct call hash_collection#HashSetIterator#init on */ +} var = var1; goto RET_LABEL; RET_LABEL:; @@ -3131,18 +3648,22 @@ void hash_collection__HashSet__init(val* self) { long var /* : Int */; long var1 /* : Int */; long var2 /* : Int */; -((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashCollection__init]))(self) /* init on */; +{ +((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashSet__init]))(self) /* init on */; +} var = 0; self->attrs[COLOR_hash_collection__HashCollection___capacity].l = var; /* _capacity on */ var1 = 0; -self->attrs[COLOR_hash_collection__HashCollection___length].l = var1; /* _length on */ +self->attrs[COLOR_hash_collection__HashCollection___the_length].l = var1; /* _the_length on */ var2 = 0; -((void (*)(val*, long))(self->class->vft[COLOR_hash_collection__HashCollection__enlarge]))(self, var2) /* enlarge on */; +{ +hash_collection__HashCollection__enlarge(self, var2); /* Direct call hash_collection#HashCollection#enlarge on */ +} RET_LABEL:; } /* method hash_collection#HashSet#init for (self: Object) */ void VIRTUAL_hash_collection__HashSet__init(val* self) { -hash_collection__HashSet__init(self); +hash_collection__HashSet__init(self); /* Direct call hash_collection#HashSet#init on */ RET_LABEL:; } /* method hash_collection#HashSet#from for (self: HashSet[Object], Collection[Object]) */ @@ -3153,8 +3674,8 @@ int idtype; const struct type* type_struct; const char* var_class_name; val* var_coll /* var coll: Collection[Object] */; -/* Covariant cast for argument 0 (coll) isa Collection[HashSet#0] */ -/* isa Collection[HashSet#0] */ +/* Covariant cast for argument 0 (coll) isa Collection[E] */ +/* isa Collection[E] */ type_struct = self->type->resolution_table->types[COLOR_abstract_collection__Collectionhash_collection__HashSet_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -3163,20 +3684,24 @@ var = 0; } else { var = p0->type->type_table[cltype] == idtype; } -if (!var) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection[HashSet#0]", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 438); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection[E]", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 443); show_backtrace(1); } var_coll = p0; -((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashSet__init]))(self) /* init on */; -((void (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__SimpleCollection__add_all]))(self, var_coll) /* add_all on */; +{ +((void (*)(val*))(self->class->vft[COLOR_kernel__Object__init]))(self) /* init on */; +} +{ +abstract_collection__SimpleCollection__add_all(self, var_coll); /* Direct call abstract_collection#SimpleCollection#add_all on */ +} RET_LABEL:; } /* method hash_collection#HashSet#from for (self: Object, Collection[Object]) */ void VIRTUAL_hash_collection__HashSet__from(val* self, val* p0) { -hash_collection__HashSet__from(self, p0); +hash_collection__HashSet__from(self, p0); /* Direct call hash_collection#HashSet#from on */ RET_LABEL:; } /* method hash_collection#HashSetNode#init for (self: HashSetNode[Object], Object) */ @@ -3187,8 +3712,8 @@ int idtype; const struct type* type_struct; const char* var_class_name; val* var_e /* var e: Object */; -/* Covariant cast for argument 0 (e) isa HashSetNode#0 */ -/* isa HashSetNode#0 */ +/* Covariant cast for argument 0 (e) isa E */ +/* isa E */ type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashSetNode_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -3197,20 +3722,22 @@ var = 0; } else { var = p0->type->type_table[cltype] == idtype; } -if (!var) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashSetNode#0", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 449); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "E", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 456); show_backtrace(1); } +{ +hash_collection__HashNode__init(self, p0); /* Direct call hash_collection#HashNode#init on */ +} var_e = p0; -((void (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashNode__init]))(self, p0) /* init on */; self->attrs[COLOR_hash_collection__HashNode___key].val = var_e; /* _key on */ RET_LABEL:; } /* method hash_collection#HashSetNode#init for (self: Object, Object) */ void VIRTUAL_hash_collection__HashSetNode__init(val* self, val* p0) { -hash_collection__HashSetNode__init(self, p0); +hash_collection__HashSetNode__init(self, p0); /* Direct call hash_collection#HashSetNode#init on */ RET_LABEL:; } /* method hash_collection#HashSetIterator#is_ok for (self: HashSetIterator[Object]): Bool */ @@ -3219,6 +3746,11 @@ short int var /* : Bool */; val* var1 /* : nullable HashSetNode[Object] */; val* var2 /* : null */; short int var3 /* : Bool */; +short int var4 /* : Bool */; +val* var_other /* var other: nullable Object */; +short int var6 /* : Bool */; +short int var7 /* : Bool */; +short int var8 /* : Bool */; var1 = self->attrs[COLOR_hash_collection__HashSetIterator___node].val; /* _node on */ var2 = NULL; if (var1 == NULL) { @@ -3226,6 +3758,20 @@ var3 = 0; /* is null */ } else { var3 = 1; /* arg is null and recv is not */ } +if (0) { +{ /* Inline kernel#Object#!= (var1,var2) on */ +var_other = var2; +{ +var7 = ((short int (*)(val*, val*))(var1->class->vft[COLOR_kernel__Object___61d_61d]))(var1, var_other) /* == on */; +var6 = var7; +} +var8 = !var6; +var4 = var8; +goto RET_LABEL5; +RET_LABEL5:(void)0; +} +var3 = var4; +} var = var3; goto RET_LABEL; RET_LABEL:; @@ -3246,22 +3792,24 @@ val* var /* : Object */; short int var1 /* : Bool */; val* var2 /* : nullable HashSetNode[Object] */; val* var3 /* : Object */; -var1 = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(self) /* is_ok on */; -if (!var1) { -fprintf(stderr, "Runtime error: %s", "Assert failed"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 461); +{ +var1 = hash_collection__HashSetIterator__is_ok(self); +} +if (unlikely(!var1)) { +PRINT_ERROR("Runtime error: %s", "Assert failed"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 468); show_backtrace(1); } var2 = self->attrs[COLOR_hash_collection__HashSetIterator___node].val; /* _node on */ -if (var2 == NULL) { -fprintf(stderr, "Runtime error: %s", "Reciever is null"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 462); +if (unlikely(var2 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 469); show_backtrace(1); } var3 = var2->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on */ -if (var3 == NULL) { -fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 462); +if (unlikely(var3 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _key"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 469); show_backtrace(1); } var = var3; @@ -3283,16 +3831,18 @@ void hash_collection__HashSetIterator__next(val* self) { short int var /* : Bool */; val* var1 /* : nullable HashSetNode[Object] */; val* var2 /* : nullable HashNode[Object] */; -var = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(self) /* is_ok on */; -if (!var) { -fprintf(stderr, "Runtime error: %s", "Assert failed"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 467); +{ +var = hash_collection__HashSetIterator__is_ok(self); +} +if (unlikely(!var)) { +PRINT_ERROR("Runtime error: %s", "Assert failed"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 474); show_backtrace(1); } var1 = self->attrs[COLOR_hash_collection__HashSetIterator___node].val; /* _node on */ -if (var1 == NULL) { -fprintf(stderr, "Runtime error: %s", "Reciever is null"); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 468); +if (unlikely(var1 == NULL)) { +PRINT_ERROR("Runtime error: %s", "Receiver is null"); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 475); show_backtrace(1); } var2 = var1->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on */ @@ -3301,7 +3851,7 @@ RET_LABEL:; } /* method hash_collection#HashSetIterator#next for (self: Object) */ void VIRTUAL_hash_collection__HashSetIterator__next(val* self) { -hash_collection__HashSetIterator__next(self); +hash_collection__HashSetIterator__next(self); /* Direct call hash_collection#HashSetIterator#next on */ RET_LABEL:; } /* method hash_collection#HashSetIterator#init for (self: HashSetIterator[Object], HashSet[Object]) */ @@ -3313,8 +3863,8 @@ const struct type* type_struct; const char* var_class_name; val* var_set /* var set: HashSet[Object] */; val* var1 /* : nullable HashNode[Object] */; -/* Covariant cast for argument 0 (set) isa HashSet[HashSetIterator#0] */ -/* isa HashSet[HashSetIterator#0] */ +/* Covariant cast for argument 0 (set) isa HashSet[E] */ +/* isa HashSet[E] */ type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashSethash_collection__HashSetIterator_FT0]; cltype = type_struct->color; idtype = type_struct->id; @@ -3323,10 +3873,10 @@ var = 0; } else { var = p0->type->type_table[cltype] == idtype; } -if (!var) { +if (unlikely(!var)) { var_class_name = p0 == NULL ? "null" : p0->type->name; -fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashSet[HashSetIterator#0]", var_class_name); -fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 477); +PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "HashSet[E]", var_class_name); +PRINT_ERROR(" (%s:%d)\n", "../lib/standard/collection/hash_collection.nit", 484); show_backtrace(1); } var_set = p0; @@ -3337,6 +3887,6 @@ RET_LABEL:; } /* method hash_collection#HashSetIterator#init for (self: Object, HashSet[Object]) */ void VIRTUAL_hash_collection__HashSetIterator__init(val* self, val* p0) { -hash_collection__HashSetIterator__init(self, p0); +hash_collection__HashSetIterator__init(self, p0); /* Direct call hash_collection#HashSetIterator#init on */ RET_LABEL:; }