/* This C file is generated by NIT to compile module string_search. */
#include "string_search._sep.h"
-val_t string_search___Pattern___search_index_in(val_t self, val_t param0, val_t param1) {
- struct trace_t trace = {NULL, NULL, 21, LOCATE_string_search___Pattern___search_index_in};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- fprintf(stderr, "Deferred method called");
- fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 21);
- nit_exit(1);
- tracehead = trace.prev;
+val_t string_search___Pattern___search_index_in(val_t p0, val_t p1, val_t p2){
+ struct {struct stack_frame_t me;} fra;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 21;
+ fra.me.meth = LOCATE_string_search___Pattern___search_index_in;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 0;
+ /* ./../lib/standard//string_search.nit:21 */
+ nit_abort("Deferred method called", NULL, LOCATE_string_search, 21);
+ stack_frame_head = fra.me.prev;
return NIT_NULL;
}
-val_t string_search___Pattern___search_in(val_t self, val_t param0, val_t param1) {
- struct trace_t trace = {NULL, NULL, 26, LOCATE_string_search___Pattern___search_in};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- fprintf(stderr, "Deferred method called");
- fprintf(stderr, " (%s:%d)\n", LOCATE_string_search, 26);
- nit_exit(1);
- tracehead = trace.prev;
+val_t string_search___Pattern___search_in(val_t p0, val_t p1, val_t p2){
+ struct {struct stack_frame_t me;} fra;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 26;
+ fra.me.meth = LOCATE_string_search___Pattern___search_in;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 0;
+ /* ./../lib/standard//string_search.nit:26 */
+ nit_abort("Deferred method called", NULL, LOCATE_string_search, 26);
+ stack_frame_head = fra.me.prev;
return NIT_NULL;
}
-val_t string_search___Pattern___search_all_in(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 30, LOCATE_string_search___Pattern___search_all_in};
- val_t variable[7];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[1] = param0;
- variable[4] = NEW_Array_array___Array___init(); /*new Array[Match]*/
- variable[3] = variable[4];
- variable[5] = variable[0];
- variable[5] = ((string_search___Pattern___search_in_t)CALL(variable[5],COLOR_string_search___Pattern___search_in))(variable[5], variable[1] /*s*/, TAG_Int(0)) /*Pattern::search_in*/;
- variable[4] = variable[5];
- while (true) { /*while*/
- variable[5] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[4] /*match*/ == NIT_NULL /*null*/) || (( variable[4] /*match*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[4] /*match*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[4] /*match*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[4] /*match*/,COLOR_kernel___Object_____eqeq))( variable[4] /*match*/, NIT_NULL /*null*/) /*Object::==*/)))))));
- if (!UNTAG_Bool(variable[5])) break; /* while*/
- ((array___AbstractArray___add_t)CALL( variable[3] /*res*/,COLOR_abstract_collection___SimpleCollection___add))( variable[3] /*res*/, variable[4] /*match*/) /*AbstractArray::add*/;
- variable[5] = variable[0];
- variable[6] = ((string_search___Match___after_t)CALL( variable[4] /*match*/,COLOR_string_search___Match___after))( variable[4] /*match*/) /*Match::after*/;
- variable[5] = ((string_search___Pattern___search_in_t)CALL(variable[5],COLOR_string_search___Pattern___search_in))(variable[5], variable[1] /*s*/, variable[6]) /*Pattern::search_in*/;
- variable[4] = variable[5] /*match=*/;
- continue_1: while(0);
- }
- break_1: while(0);
- variable[2] = variable[3] /*res*/;
- goto return_label0;
- return_label0: while(false);
- tracehead = trace.prev;
- return variable[2];
+val_t string_search___Pattern___search_all_in(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[4];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 30;
+ fra.me.meth = LOCATE_string_search___Pattern___search_all_in;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 5;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[3] = NIT_NULL;
+ fra.me.REG[4] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./../lib/standard//string_search.nit:33 */
+ fra.me.REG[2] = NEW_Array_array___Array___init();
+ /* ./../lib/standard//string_search.nit:34 */
+ REGB0 = TAG_Int(0);
+ fra.me.REG[3] = CALL_string_search___Pattern___search_in(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0);
+ /* ./../lib/standard//string_search.nit:35 */
+ while(1) {
+ REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[3])(fra.me.REG[3], NIT_NULL);
+ REGB0 = REGB1;
+ }
+ }
+ REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+ if (UNTAG_Bool(REGB0)) {
+ /* ./../lib/standard//string_search.nit:36 */
+ CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
+ /* ./../lib/standard//string_search.nit:37 */
+ REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ nit_abort("Reciever is null", NULL, LOCATE_string_search, 37);
+ }
+ REGB0 = CALL_string_search___Match___after(fra.me.REG[3])(fra.me.REG[3]);
+ fra.me.REG[4] = CALL_string_search___Pattern___search_in(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0);
+ fra.me.REG[3] = fra.me.REG[4];
+ } else {
+ /* ./../lib/standard//string_search.nit:35 */
+ goto label1;
+ }
+ }
+ label1: while(0);
+ /* ./../lib/standard//string_search.nit:39 */
+ goto label2;
+ label2: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[2];
}
-val_t string_search___Pattern___split_in(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 42, LOCATE_string_search___Pattern___split_in};
- val_t variable[8];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[1] = param0;
- variable[4] = NEW_Array_array___Array___init(); /*new Array[Match]*/
- variable[3] = variable[4];
- variable[4] = TAG_Int(0);
- variable[6] = variable[0];
- variable[6] = ((string_search___Pattern___search_in_t)CALL(variable[6],COLOR_string_search___Pattern___search_in))(variable[6], variable[1] /*s*/, TAG_Int(0)) /*Pattern::search_in*/;
- variable[5] = variable[6];
- while (true) { /*while*/
- variable[6] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[5] /*match*/ == NIT_NULL /*null*/) || (( variable[5] /*match*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[5] /*match*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[5] /*match*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[5] /*match*/,COLOR_kernel___Object_____eqeq))( variable[5] /*match*/, NIT_NULL /*null*/) /*Object::==*/)))))));
- if (!UNTAG_Bool(variable[6])) break; /* while*/
- variable[7] = ((string_search___Match___from_t)CALL( variable[5] /*match*/,COLOR_string_search___Match___from))( variable[5] /*match*/) /*Match::from*/;
- variable[7] = TAG_Int(UNTAG_Int(variable[7])-UNTAG_Int( variable[4] /*i*/));
- variable[6] = variable[7];
- variable[7] = NEW_Match_string_search___Match___init( variable[1] /*s*/, variable[4] /*i*/, variable[6] /*len*/); /*new Match*/
- ((array___AbstractArray___add_t)CALL( variable[3] /*res*/,COLOR_abstract_collection___SimpleCollection___add))( variable[3] /*res*/, variable[7]) /*AbstractArray::add*/;
- variable[7] = ((string_search___Match___after_t)CALL( variable[5] /*match*/,COLOR_string_search___Match___after))( variable[5] /*match*/) /*Match::after*/;
- variable[4] = variable[7] /*i=*/;
- variable[7] = variable[0];
- variable[7] = ((string_search___Pattern___search_in_t)CALL(variable[7],COLOR_string_search___Pattern___search_in))(variable[7], variable[1] /*s*/, variable[4] /*i*/) /*Pattern::search_in*/;
- variable[5] = variable[7] /*match=*/;
- continue_3: while(0);
- }
- break_3: while(0);
- variable[6] = ((array___AbstractArray___length_t)CALL( variable[1] /*s*/,COLOR_abstract_collection___Collection___length))( variable[1] /*s*/) /*AbstractArray::length*/;
- variable[6] = TAG_Int(UNTAG_Int(variable[6])-UNTAG_Int( variable[4] /*i*/));
- variable[7] = NEW_Match_string_search___Match___init( variable[1] /*s*/, variable[4] /*i*/, variable[6]); /*new Match*/
- variable[6] = variable[7];
- ((array___AbstractArray___add_t)CALL( variable[3] /*res*/,COLOR_abstract_collection___SimpleCollection___add))( variable[3] /*res*/, variable[6]) /*AbstractArray::add*/;
- variable[2] = variable[3] /*res*/;
- goto return_label2;
- return_label2: while(false);
- tracehead = trace.prev;
- return variable[2];
+val_t string_search___Pattern___split_in(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[4];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t REGB2;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 42;
+ fra.me.meth = LOCATE_string_search___Pattern___split_in;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 5;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[3] = NIT_NULL;
+ fra.me.REG[4] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./../lib/standard//string_search.nit:45 */
+ fra.me.REG[2] = NEW_Array_array___Array___init();
+ /* ./../lib/standard//string_search.nit:46 */
+ REGB0 = TAG_Int(0);
+ /* ./../lib/standard//string_search.nit:47 */
+ REGB1 = TAG_Int(0);
+ fra.me.REG[3] = CALL_string_search___Pattern___search_in(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB1);
+ /* ./../lib/standard//string_search.nit:48 */
+ while(1) {
+ REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ REGB2 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+ if (UNTAG_Bool(REGB2)) {
+ REGB2 = TAG_Bool(false);
+ REGB1 = REGB2;
+ } else {
+ REGB2 = CALL_kernel___Object_____eqeq(fra.me.REG[3])(fra.me.REG[3], NIT_NULL);
+ REGB1 = REGB2;
+ }
+ }
+ REGB1 = TAG_Bool(!UNTAG_Bool(REGB1));
+ if (UNTAG_Bool(REGB1)) {
+ /* ./../lib/standard//string_search.nit:50 */
+ REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ nit_abort("Reciever is null", NULL, LOCATE_string_search, 50);
+ }
+ REGB1 = CALL_string_search___Match___from(fra.me.REG[3])(fra.me.REG[3]);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB1 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB0));
+ /* ./../lib/standard//string_search.nit:51 */
+ fra.me.REG[4] = NEW_Match_string_search___Match___init(fra.me.REG[1], REGB0, REGB1);
+ CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[4]);
+ /* ./../lib/standard//string_search.nit:52 */
+ REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ nit_abort("Reciever is null", NULL, LOCATE_string_search, 52);
+ }
+ REGB1 = CALL_string_search___Match___after(fra.me.REG[3])(fra.me.REG[3]);
+ REGB0 = REGB1;
+ /* ./../lib/standard//string_search.nit:53 */
+ fra.me.REG[4] = CALL_string_search___Pattern___search_in(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0);
+ fra.me.REG[3] = fra.me.REG[4];
+ } else {
+ /* ./../lib/standard//string_search.nit:48 */
+ goto label1;
+ }
+ }
+ label1: while(0);
+ /* ./../lib/standard//collection//array.nit:23 */
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+ }
+ REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB1 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB0));
+ /* ./../lib/standard//string_search.nit:56 */
+ fra.me.REG[1] = NEW_Match_string_search___Match___init(fra.me.REG[1], REGB0, REGB1);
+ CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+ /* ./../lib/standard//string_search.nit:57 */
+ goto label2;
+ label2: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[2];
}
-void string_search___Pattern___init(val_t self, int* init_table) {
- struct trace_t trace = {NULL, NULL, 0, LOCATE_string_search___Pattern___init};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- tracehead = trace.prev;
+void string_search___Pattern___init(val_t p0, int* init_table){
+ int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_Pattern].i;
+ struct {struct stack_frame_t me;} fra;
+ val_t tmp;
+ if (init_table[itpos0]) return;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 0;
+ fra.me.meth = LOCATE_string_search___Pattern___init;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 0;
+ stack_frame_head = fra.me.prev;
+ init_table[itpos0] = 1;
return;
}
-val_t string_search___BM_Pattern___to_s(val_t self) {
- struct trace_t trace = {NULL, NULL, 67, LOCATE_string_search___BM_Pattern___to_s};
- val_t variable[3];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[2] = variable[0];
- variable[2] = ATTR_string_search___BM_Pattern____motif(variable[2]) /*BM_Pattern::_motif*/;
- variable[1] = variable[2];
- goto return_label4;
- return_label4: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t string_search___BM_Pattern___to_s(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 67;
+ fra.me.meth = LOCATE_string_search___BM_Pattern___to_s;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//string_search.nit:67 */
+ REGB0 = TAG_Bool(ATTR_string_search___BM_Pattern____motif(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_motif", LOCATE_string_search, 67);
+ }
+ fra.me.REG[0] = ATTR_string_search___BM_Pattern____motif(fra.me.REG[0]);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t string_search___BM_Pattern___search_index_in(val_t self, val_t param0, val_t param1) {
- struct trace_t trace = {NULL, NULL, 69, LOCATE_string_search___BM_Pattern___search_index_in};
- val_t variable[15];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[1] = param0;
- variable[2] = param1;
- variable[4] = TAG_Bool(UNTAG_Int( variable[2] /*from*/)>=UNTAG_Int( TAG_Int(0)));
- if (!UNTAG_Bool(variable[4])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_string_search___BM_Pattern___search_index_in, LOCATE_string_search, 72); nit_exit(1);}
- variable[5] = ((array___AbstractArray___length_t)CALL( variable[1] /*s*/,COLOR_abstract_collection___Collection___length))( variable[1] /*s*/) /*AbstractArray::length*/;
- variable[4] = variable[5];
- variable[6] = variable[0];
- variable[6] = ATTR_string_search___BM_Pattern____length(variable[6]) /*BM_Pattern::_length*/;
- variable[5] = variable[6];
- variable[6] = variable[2] /*from*/;
- while (true) { /*while*/
- variable[7] = TAG_Int(UNTAG_Int( variable[4] /*n*/)-UNTAG_Int( variable[5] /*m*/));
- variable[7] = TAG_Int(UNTAG_Int(variable[7])+UNTAG_Int( TAG_Int(1)));
- variable[7] = TAG_Bool(UNTAG_Int( variable[6] /*j*/)<UNTAG_Int(variable[7]));
- if (!UNTAG_Bool(variable[7])) break; /* while*/
- variable[8] = TAG_Int(UNTAG_Int( variable[5] /*m*/)-UNTAG_Int( TAG_Int(1)));
- variable[7] = variable[8];
- while (true) { /*while*/
- variable[8] = TAG_Bool(UNTAG_Int( variable[7] /*i*/)>=UNTAG_Int( TAG_Int(0)));
- variable[9] = variable[8];
- if (UNTAG_Bool(variable[9])) { /* and */
- variable[9] = variable[0];
- variable[9] = ATTR_string_search___BM_Pattern____motif(variable[9]) /*BM_Pattern::_motif*/;
- variable[9] = ((string___String_____bra_t)CALL(variable[9],COLOR_abstract_collection___Map_____bra))(variable[9], variable[7] /*i*/) /*String::[]*/;
- variable[10] = TAG_Int(UNTAG_Int( variable[7] /*i*/)+UNTAG_Int( variable[6] /*j*/));
- variable[10] = ((string___String_____bra_t)CALL( variable[1] /*s*/,COLOR_abstract_collection___Map_____bra))( variable[1] /*s*/, variable[10]) /*String::[]*/;
- variable[9] = TAG_Bool((variable[9])==(variable[10]));
- }
- variable[8] = variable[9];
- if (!UNTAG_Bool(variable[8])) break; /* while*/
- variable[7] = TAG_Int(UNTAG_Int(variable[7])-UNTAG_Int( TAG_Int(1))) /*i*/;
- continue_7: while(0);
- }
- break_7: while(0);
- variable[8] = TAG_Bool(UNTAG_Int( variable[7] /*i*/)<UNTAG_Int( TAG_Int(0)));
- if (UNTAG_Bool(variable[8])) { /*if*/
- variable[3] = variable[6] /*j*/;
- goto return_label5;
- } else { /*if*/
- variable[9] = variable[0];
- variable[9] = ATTR_string_search___BM_Pattern____gs(variable[9]) /*BM_Pattern::_gs*/;
- variable[10] = variable[9];
- variable[11] = variable[7] /*i*/;
- variable[13] = TAG_Bool(UNTAG_Int( variable[11] /*index*/)>=UNTAG_Int( TAG_Int(0)));
- variable[14] = variable[13];
- if (UNTAG_Bool(variable[14])) { /* and */
- variable[14] = variable[10];
- variable[14] = ATTR_array___AbstractArray____length(variable[14]) /*AbstractArray::_length*/;
- variable[14] = TAG_Bool(UNTAG_Int( variable[11] /*index*/)<UNTAG_Int(variable[14]));
+val_t string_search___BM_Pattern___search_index_in(val_t p0, val_t p1, val_t p2){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t REGB2;
+ val_t REGB3;
+ val_t REGB4;
+ val_t REGB5;
+ val_t REGB6;
+ val_t REGB7;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 69;
+ fra.me.meth = LOCATE_string_search___BM_Pattern___search_index_in;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ REGB0 = p2;
+ /* ./../lib/standard//string_search.nit:72 */
+ REGB1 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
+ /* ./../lib/standard//string_search.nit:72 */
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Assert failed", NULL, LOCATE_string_search, 72);
+ }
+ /* ./../lib/standard//collection//array.nit:23 */
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+ }
+ REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+ /* ./../lib/standard//string_search.nit:74 */
+ REGB2 = TAG_Bool(ATTR_string_search___BM_Pattern____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB2)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_string_search, 74);
+ }
+ REGB2 = ATTR_string_search___BM_Pattern____length(fra.me.REG[0]);
+ /* ./../lib/standard//string_search.nit:77 */
+ while(1) {
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB3 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB2));
+ /* ./../lib/standard//string_search.nit:77 */
+ REGB4 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB4 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB4));
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB4 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB4));
+ /* ./../lib/standard//string_search.nit:77 */
+ if (UNTAG_Bool(REGB4)) {
+ /* ./../lib/standard//string_search.nit:78 */
+ REGB4 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB4 = TAG_Int(UNTAG_Int(REGB2)-UNTAG_Int(REGB4));
+ /* ./../lib/standard//string_search.nit:79 */
+ while(1) {
+ REGB3 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB3 = TAG_Bool(UNTAG_Int(REGB4)>=UNTAG_Int(REGB3));
+ /* ./../lib/standard//string_search.nit:79 */
+ if (UNTAG_Bool(REGB3)) {
+ REGB3 = TAG_Bool(ATTR_string_search___BM_Pattern____motif(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB3)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_motif", LOCATE_string_search, 79);
+ }
+ fra.me.REG[2] = ATTR_string_search___BM_Pattern____motif(fra.me.REG[0]);
+ REGB3 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[2])(fra.me.REG[2], REGB4);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB5 = TAG_Int(UNTAG_Int(REGB4)+UNTAG_Int(REGB0));
+ /* ./../lib/standard//string_search.nit:79 */
+ REGB5 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[1])(fra.me.REG[1], REGB5);
+ REGB6 = TAG_Bool(IS_EQUAL_OO(REGB3,REGB5));
+ if (UNTAG_Bool(REGB6)) {
+ } else {
+ /* ./../lib/standard//kernel.nit:347 */
+ REGB5 = TAG_Bool((REGB3)==(REGB5));
+ /* ./../lib/standard//string_search.nit:79 */
+ REGB6 = REGB5;
+ }
+ } else {
+ REGB5 = TAG_Bool(false);
+ REGB6 = REGB5;
+ }
+ if (UNTAG_Bool(REGB6)) {
+ REGB6 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB6 = TAG_Int(UNTAG_Int(REGB4)-UNTAG_Int(REGB6));
+ /* ./../lib/standard//string_search.nit:79 */
+ REGB4 = REGB6;
+ } else {
+ goto label1;
+ }
}
- variable[13] = variable[14];
- if (!UNTAG_Bool(variable[13])) { fprintf(stderr, "Assert%s failed", " 'index' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_array___Array_____bra, LOCATE_string_search, 229); nit_exit(1);}
- variable[13] = variable[10];
- variable[13] = ATTR_array___Array____items(variable[13]) /*Array::_items*/;
- variable[13] = UNBOX_NativeArray(variable[13])[UNTAG_Int( variable[11] /*index*/)];
- variable[12] = variable[13];
- goto return_label8;
- return_label8: while(false);
- variable[9] = variable[12];
- variable[8] = variable[9];
- variable[10] = variable[0];
- variable[11] = TAG_Int(UNTAG_Int( variable[7] /*i*/)+UNTAG_Int( variable[6] /*j*/));
- variable[11] = ((string___String_____bra_t)CALL( variable[1] /*s*/,COLOR_abstract_collection___Map_____bra))( variable[1] /*s*/, variable[11]) /*String::[]*/;
- variable[10] = ((string_search___BM_Pattern___bc_t)CALL(variable[10],COLOR_string_search___BM_Pattern___bc))(variable[10], variable[11]) /*BM_Pattern::bc*/;
- variable[10] = TAG_Int(UNTAG_Int(variable[10])-UNTAG_Int( variable[5] /*m*/));
- variable[10] = TAG_Int(UNTAG_Int(variable[10])+UNTAG_Int( TAG_Int(1)));
- variable[10] = TAG_Int(UNTAG_Int(variable[10])+UNTAG_Int( variable[7] /*i*/));
- variable[9] = variable[10];
- variable[10] = TAG_Bool(UNTAG_Int( variable[8] /*gs*/)>UNTAG_Int( variable[9] /*bc*/));
- if (UNTAG_Bool(variable[10])) { /*if*/
- variable[6] = TAG_Int(UNTAG_Int(variable[6])+UNTAG_Int( variable[8] /*gs*/)) /*j*/;
- } else { /*if*/
- variable[6] = TAG_Int(UNTAG_Int(variable[6])+UNTAG_Int( variable[9] /*bc*/)) /*j*/;
+ label1: while(0);
+ /* ./../lib/standard//string_search.nit:80 */
+ REGB6 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB6 = TAG_Bool(UNTAG_Int(REGB4)<UNTAG_Int(REGB6));
+ /* ./../lib/standard//string_search.nit:80 */
+ if (UNTAG_Bool(REGB6)) {
+ /* ./../lib/standard//string_search.nit:81 */
+ REGB6 = REGB0;
+ goto label2;
+ } else {
+ /* ./../lib/standard//string_search.nit:83 */
+ REGB5 = TAG_Bool(ATTR_string_search___BM_Pattern____gs(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB5)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_gs", LOCATE_string_search, 83);
+ }
+ fra.me.REG[2] = ATTR_string_search___BM_Pattern____gs(fra.me.REG[0]);
+ /* ./../lib/standard//collection//array.nit:243 */
+ REGB5 = REGB4;
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB3 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB3 = TAG_Bool(UNTAG_Int(REGB5)>=UNTAG_Int(REGB3));
+ /* ./../lib/standard//collection//array.nit:245 */
+ if (UNTAG_Bool(REGB3)) {
+ REGB3 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
+ if (UNTAG_Bool(REGB3)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245);
+ }
+ REGB3 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB3 = TAG_Bool(UNTAG_Int(REGB5)<UNTAG_Int(REGB3));
+ } else {
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB7 = TAG_Bool(false);
+ REGB3 = REGB7;
+ }
+ if (UNTAG_Bool(REGB3)) {
+ } else {
+ nit_abort("Assert %s failed", "'index'", LOCATE_array, 245);
+ }
+ /* ./../lib/standard//collection//array.nit:246 */
+ fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[2]);
+ REGB3 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB3)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 246);
+ }
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[2] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB5)];
+ /* ./../lib/standard//collection//array.nit:246 */
+ goto label3;
+ label3: while(0);
+ /* ./../lib/standard//string_search.nit:83 */
+ REGB5 = fra.me.REG[2];
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB3 = TAG_Int(UNTAG_Int(REGB4)+UNTAG_Int(REGB0));
+ /* ./../lib/standard//string_search.nit:84 */
+ REGB3 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[1])(fra.me.REG[1], REGB3);
+ REGB3 = CALL_string_search___BM_Pattern___bc(fra.me.REG[0])(fra.me.REG[0], REGB3);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB3 = TAG_Int(UNTAG_Int(REGB3)-UNTAG_Int(REGB2));
+ /* ./../lib/standard//string_search.nit:84 */
+ REGB7 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB7 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB7));
+ REGB4 = TAG_Int(UNTAG_Int(REGB7)+UNTAG_Int(REGB4));
+ /* ./../lib/standard//kernel.nit:214 */
+ REGB7 = TAG_Bool(UNTAG_Int(REGB5)>UNTAG_Int(REGB4));
+ /* ./../lib/standard//string_search.nit:86 */
+ if (UNTAG_Bool(REGB7)) {
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB5 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB5));
+ /* ./../lib/standard//string_search.nit:87 */
+ REGB0 = REGB5;
+ } else {
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB4 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB4));
+ /* ./../lib/standard//string_search.nit:89 */
+ REGB0 = REGB4;
+ }
}
+ } else {
+ /* ./../lib/standard//string_search.nit:77 */
+ goto label4;
}
- continue_6: while(0);
- }
- break_6: while(0);
- variable[7] = TAG_Int(-UNTAG_Int( TAG_Int(1)));
- variable[3] = variable[7];
- goto return_label5;
- return_label5: while(false);
- tracehead = trace.prev;
- return variable[3];
+ }
+ label4: while(0);
+ /* ./../lib/standard//string_search.nit:93 */
+ REGB0 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:216 */
+ REGB0 = TAG_Int(-UNTAG_Int(REGB0));
+ /* ./../lib/standard//string_search.nit:93 */
+ REGB6 = REGB0;
+ goto label2;
+ label2: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB6;
}
-val_t string_search___BM_Pattern___search_in(val_t self, val_t param0, val_t param1) {
- struct trace_t trace = {NULL, NULL, 96, LOCATE_string_search___BM_Pattern___search_in};
- val_t variable[7];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[1] = param0;
- variable[2] = param1;
- variable[5] = variable[0];
- variable[5] = ((string_search___BM_Pattern___search_index_in_t)CALL(variable[5],COLOR_string_search___Pattern___search_index_in))(variable[5], variable[1] /*s*/, variable[2] /*from*/) /*BM_Pattern::search_index_in*/;
- variable[4] = variable[5];
- variable[5] = TAG_Bool(UNTAG_Int( variable[4] /*to*/)<UNTAG_Int( TAG_Int(0)));
- if (UNTAG_Bool(variable[5])) { /*if*/
- variable[3] = NIT_NULL /*null*/;
- goto return_label9;
- } else { /*if*/
- variable[5] = variable[0];
- variable[5] = ATTR_string_search___BM_Pattern____length(variable[5]) /*BM_Pattern::_length*/;
- variable[6] = NEW_Match_string_search___Match___init( variable[1] /*s*/, variable[4] /*to*/, variable[5]); /*new Match*/
- variable[5] = variable[6];
- variable[3] = variable[5];
- goto return_label9;
- }
- return_label9: while(false);
- tracehead = trace.prev;
- return variable[3];
+val_t string_search___BM_Pattern___search_in(val_t p0, val_t p1, val_t p2){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 96;
+ fra.me.meth = LOCATE_string_search___BM_Pattern___search_in;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ REGB0 = p2;
+ /* ./../lib/standard//string_search.nit:99 */
+ REGB0 = CALL_string_search___Pattern___search_index_in(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0);
+ /* ./../lib/standard//string_search.nit:100 */
+ REGB1 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+ /* ./../lib/standard//string_search.nit:100 */
+ if (UNTAG_Bool(REGB1)) {
+ /* ./../lib/standard//string_search.nit:101 */
+ fra.me.REG[2] = NIT_NULL;
+ goto label1;
+ } else {
+ /* ./../lib/standard//string_search.nit:103 */
+ REGB1 = TAG_Bool(ATTR_string_search___BM_Pattern____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_string_search, 103);
+ }
+ REGB1 = ATTR_string_search___BM_Pattern____length(fra.me.REG[0]);
+ fra.me.REG[1] = NEW_Match_string_search___Match___init(fra.me.REG[1], REGB0, REGB1);
+ fra.me.REG[2] = fra.me.REG[1];
+ goto label1;
+ }
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[2];
}
-void string_search___BM_Pattern___init(val_t self, val_t param0, int* init_table) {
- struct trace_t trace = {NULL, NULL, 107, LOCATE_string_search___BM_Pattern___init};
- val_t variable[6];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[1] = param0;
- if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_BM_Pattern].i]) return;
- variable[3] = variable[0];
- ATTR_string_search___BM_Pattern____motif(variable[3]) /*BM_Pattern::_motif*/ = variable[1] /*motif*/;
- variable[3] = variable[0];
- variable[4] = ((array___AbstractArray___length_t)CALL( variable[1] /*motif*/,COLOR_abstract_collection___Collection___length))( variable[1] /*motif*/) /*AbstractArray::length*/;
- ATTR_string_search___BM_Pattern____length(variable[3]) /*BM_Pattern::_length*/ = variable[4];
- variable[3] = variable[0];
- variable[4] = variable[0];
- variable[4] = ATTR_string_search___BM_Pattern____length(variable[4]) /*BM_Pattern::_length*/;
- variable[5] = NEW_Array_array___Array___with_capacity(variable[4]); /*new Array[Int]*/
- variable[4] = variable[5];
- ATTR_string_search___BM_Pattern____gs(variable[3]) /*BM_Pattern::_gs*/ = variable[4];
- variable[3] = variable[0];
- variable[4] = NEW_ArrayMap_array___ArrayMap___init(); /*new ArrayMap[Char, Int]*/
- ATTR_string_search___BM_Pattern____bc_table(variable[3]) /*BM_Pattern::_bc_table*/ = variable[4];
- variable[3] = variable[0];
- ((string_search___BM_Pattern___compute_gs_t)CALL(variable[3],COLOR_string_search___BM_Pattern___compute_gs))(variable[3]) /*BM_Pattern::compute_gs*/;
- variable[3] = variable[0];
- ((string_search___BM_Pattern___compute_bc_t)CALL(variable[3],COLOR_string_search___BM_Pattern___compute_bc))(variable[3]) /*BM_Pattern::compute_bc*/;
- return_label10: while(false);
- init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_BM_Pattern].i] = 1;
- tracehead = trace.prev;
+void string_search___BM_Pattern___init(val_t p0, val_t p1, int* init_table){
+ int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_BM_Pattern].i;
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ val_t tmp;
+ if (init_table[itpos1]) return;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 107;
+ fra.me.meth = LOCATE_string_search___BM_Pattern___init;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./../lib/standard//string_search.nit:107 */
+ fra.me.REG[2] = fra.me.REG[0];
+ CALL_string_search___Pattern___init(fra.me.REG[0])(fra.me.REG[0], init_table);
+ /* ./../lib/standard//string_search.nit:110 */
+ ATTR_string_search___BM_Pattern____motif(fra.me.REG[2]) = fra.me.REG[1];
+ /* ./../lib/standard//collection//array.nit:23 */
+ REGB0 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+ }
+ REGB0 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+ /* ./../lib/standard//string_search.nit:111 */
+ ATTR_string_search___BM_Pattern____length(fra.me.REG[2]) = REGB0;
+ /* ./../lib/standard//string_search.nit:112 */
+ REGB0 = TAG_Bool(ATTR_string_search___BM_Pattern____length(fra.me.REG[2])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_string_search, 112);
+ }
+ REGB0 = ATTR_string_search___BM_Pattern____length(fra.me.REG[2]);
+ fra.me.REG[1] = NEW_Array_array___Array___with_capacity(REGB0);
+ ATTR_string_search___BM_Pattern____gs(fra.me.REG[2]) = fra.me.REG[1];
+ /* ./../lib/standard//string_search.nit:113 */
+ fra.me.REG[1] = NEW_ArrayMap_array___ArrayMap___init();
+ ATTR_string_search___BM_Pattern____bc_table(fra.me.REG[2]) = fra.me.REG[1];
+ /* ./../lib/standard//string_search.nit:114 */
+ CALL_string_search___BM_Pattern___compute_gs(fra.me.REG[2])(fra.me.REG[2]);
+ /* ./../lib/standard//string_search.nit:115 */
+ CALL_string_search___BM_Pattern___compute_bc(fra.me.REG[2])(fra.me.REG[2]);
+ stack_frame_head = fra.me.prev;
+ init_table[itpos1] = 1;
return;
}
-val_t string_search___BM_Pattern___bc(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 124, LOCATE_string_search___BM_Pattern___bc};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = variable[0];
- variable[3] = ATTR_string_search___BM_Pattern____bc_table(variable[3]) /*BM_Pattern::_bc_table*/;
- variable[3] = ((abstract_collection___Map___has_key_t)CALL(variable[3],COLOR_abstract_collection___Map___has_key))(variable[3], variable[1] /*e*/) /*Map::has_key*/;
- if (UNTAG_Bool(variable[3])) { /*if*/
- variable[3] = variable[0];
- variable[3] = ATTR_string_search___BM_Pattern____bc_table(variable[3]) /*BM_Pattern::_bc_table*/;
- variable[3] = ((abstract_collection___Map_____bra_t)CALL(variable[3],COLOR_abstract_collection___Map_____bra))(variable[3], variable[1] /*e*/) /*Map::[]*/;
- variable[2] = variable[3];
- goto return_label11;
- } else { /*if*/
- variable[3] = variable[0];
- variable[3] = ATTR_string_search___BM_Pattern____length(variable[3]) /*BM_Pattern::_length*/;
- variable[2] = variable[3];
- goto return_label11;
- }
- return_label11: while(false);
- tracehead = trace.prev;
- return variable[2];
-}
-void string_search___BM_Pattern___compute_bc(val_t self) {
- struct trace_t trace = {NULL, NULL, 139, LOCATE_string_search___BM_Pattern___compute_bc};
- val_t variable[8];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[3] = variable[0];
- variable[3] = ATTR_string_search___BM_Pattern____motif(variable[3]) /*BM_Pattern::_motif*/;
- variable[2] = variable[3];
- variable[4] = variable[0];
- variable[4] = ATTR_string_search___BM_Pattern____length(variable[4]) /*BM_Pattern::_length*/;
- variable[3] = variable[4];
- variable[4] = TAG_Int(0);
- while (true) { /*while*/
- variable[5] = TAG_Int(UNTAG_Int( variable[3] /*m*/)-UNTAG_Int( TAG_Int(1)));
- variable[5] = TAG_Bool(UNTAG_Int( variable[4] /*i*/)<UNTAG_Int(variable[5]));
- if (!UNTAG_Bool(variable[5])) break; /* while*/
- variable[5] = variable[0];
- variable[5] = ATTR_string_search___BM_Pattern____bc_table(variable[5]) /*BM_Pattern::_bc_table*/;
- variable[6] = ((string___String_____bra_t)CALL( variable[2] /*x*/,COLOR_abstract_collection___Map_____bra))( variable[2] /*x*/, variable[4] /*i*/) /*String::[]*/;
- variable[7] = TAG_Int(UNTAG_Int( variable[3] /*m*/)-UNTAG_Int( variable[4] /*i*/));
- variable[7] = TAG_Int(UNTAG_Int(variable[7])-UNTAG_Int( TAG_Int(1)));
- ((abstract_collection___Map_____braeq_t)CALL(variable[5],COLOR_abstract_collection___Map_____braeq))(variable[5], variable[6], variable[7]) /*Map::[]=*/;
- variable[4] = TAG_Int(UNTAG_Int(variable[4])+UNTAG_Int( TAG_Int(1))) /*i*/;
- continue_13: while(0);
- }
- break_13: while(0);
- return_label12: while(false);
- tracehead = trace.prev;
- return;
+val_t string_search___BM_Pattern___bc(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 124;
+ fra.me.meth = LOCATE_string_search___BM_Pattern___bc;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ REGB0 = p1;
+ /* ./../lib/standard//string_search.nit:126 */
+ REGB1 = TAG_Bool(ATTR_string_search___BM_Pattern____bc_table(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_bc_table", LOCATE_string_search, 126);
+ }
+ fra.me.REG[1] = ATTR_string_search___BM_Pattern____bc_table(fra.me.REG[0]);
+ REGB1 = CALL_abstract_collection___MapRead___has_key(fra.me.REG[1])(fra.me.REG[1], REGB0);
+ if (UNTAG_Bool(REGB1)) {
+ /* ./../lib/standard//string_search.nit:127 */
+ REGB1 = TAG_Bool(ATTR_string_search___BM_Pattern____bc_table(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_bc_table", LOCATE_string_search, 127);
+ }
+ fra.me.REG[1] = ATTR_string_search___BM_Pattern____bc_table(fra.me.REG[0]);
+ fra.me.REG[1] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[1])(fra.me.REG[1], REGB0);
+ REGB0 = fra.me.REG[1];
+ goto label1;
+ } else {
+ /* ./../lib/standard//string_search.nit:129 */
+ REGB1 = TAG_Bool(ATTR_string_search___BM_Pattern____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_string_search, 129);
+ }
+ REGB1 = ATTR_string_search___BM_Pattern____length(fra.me.REG[0]);
+ REGB0 = REGB1;
+ goto label1;
+ }
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-val_t string_search___BM_Pattern___suffixes(val_t self) {
- struct trace_t trace = {NULL, NULL, 150, LOCATE_string_search___BM_Pattern___suffixes};
- val_t variable[15];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[3] = variable[0];
- variable[3] = ATTR_string_search___BM_Pattern____motif(variable[3]) /*BM_Pattern::_motif*/;
- variable[2] = variable[3];
- variable[4] = variable[0];
- variable[4] = ATTR_string_search___BM_Pattern____length(variable[4]) /*BM_Pattern::_length*/;
- variable[3] = variable[4];
- variable[5] = NEW_Array_array___Array___filled_with( variable[3] /*m*/, variable[3] /*m*/); /*new Array[Int]*/
- variable[4] = variable[5];
- variable[5] = TAG_Int(0);
- variable[7] = TAG_Int(UNTAG_Int( variable[3] /*m*/)-UNTAG_Int( TAG_Int(1)));
- variable[6] = variable[7];
- variable[8] = TAG_Int(UNTAG_Int( variable[3] /*m*/)-UNTAG_Int( TAG_Int(2)));
- variable[7] = variable[8];
- while (true) { /*while*/
- variable[8] = TAG_Bool(UNTAG_Int( variable[7] /*i*/)>=UNTAG_Int( TAG_Int(0)));
- if (!UNTAG_Bool(variable[8])) break; /* while*/
- variable[8] = TAG_Bool(UNTAG_Int( variable[7] /*i*/)>UNTAG_Int( variable[6] /*g*/));
- variable[9] = variable[8];
- if (UNTAG_Bool(variable[9])) { /* and */
- variable[9] = TAG_Int(UNTAG_Int( variable[7] /*i*/)+UNTAG_Int( variable[3] /*m*/));
- variable[9] = TAG_Int(UNTAG_Int(variable[9])-UNTAG_Int( TAG_Int(1)));
- variable[9] = TAG_Int(UNTAG_Int(variable[9])-UNTAG_Int( variable[5] /*f*/));
- variable[10] = variable[4] /*suff*/;
- variable[11] = variable[9];
- variable[13] = TAG_Bool(UNTAG_Int( variable[11] /*index*/)>=UNTAG_Int( TAG_Int(0)));
- variable[14] = variable[13];
- if (UNTAG_Bool(variable[14])) { /* and */
- variable[14] = variable[10];
- variable[14] = ATTR_array___AbstractArray____length(variable[14]) /*AbstractArray::_length*/;
- variable[14] = TAG_Bool(UNTAG_Int( variable[11] /*index*/)<UNTAG_Int(variable[14]));
+void string_search___BM_Pattern___compute_bc(val_t p0){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t REGB2;
+ val_t REGB3;
+ val_t REGB4;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 139;
+ fra.me.meth = LOCATE_string_search___BM_Pattern___compute_bc;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//string_search.nit:141 */
+ REGB0 = TAG_Bool(ATTR_string_search___BM_Pattern____motif(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_motif", LOCATE_string_search, 141);
+ }
+ fra.me.REG[1] = ATTR_string_search___BM_Pattern____motif(fra.me.REG[0]);
+ /* ./../lib/standard//string_search.nit:142 */
+ REGB0 = TAG_Bool(ATTR_string_search___BM_Pattern____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_string_search, 142);
+ }
+ REGB0 = ATTR_string_search___BM_Pattern____length(fra.me.REG[0]);
+ /* ./../lib/standard//string_search.nit:143 */
+ REGB1 = TAG_Int(0);
+ /* ./../lib/standard//string_search.nit:144 */
+ while(1) {
+ REGB2 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB2 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB2));
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB2));
+ /* ./../lib/standard//string_search.nit:144 */
+ if (UNTAG_Bool(REGB2)) {
+ /* ./../lib/standard//string_search.nit:145 */
+ REGB2 = TAG_Bool(ATTR_string_search___BM_Pattern____bc_table(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB2)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_bc_table", LOCATE_string_search, 145);
}
- variable[13] = variable[14];
- if (!UNTAG_Bool(variable[13])) { fprintf(stderr, "Assert%s failed", " 'index' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_array___Array_____bra, LOCATE_string_search, 229); nit_exit(1);}
- variable[13] = variable[10];
- variable[13] = ATTR_array___Array____items(variable[13]) /*Array::_items*/;
- variable[13] = UNBOX_NativeArray(variable[13])[UNTAG_Int( variable[11] /*index*/)];
- variable[12] = variable[13];
- goto return_label16;
- return_label16: while(false);
- variable[9] = variable[12];
- variable[10] = TAG_Int(UNTAG_Int( variable[7] /*i*/)-UNTAG_Int( variable[6] /*g*/));
- variable[9] = TAG_Bool(UNTAG_Int(variable[9])<UNTAG_Int(variable[10]));
+ fra.me.REG[2] = ATTR_string_search___BM_Pattern____bc_table(fra.me.REG[0]);
+ REGB2 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[1])(fra.me.REG[1], REGB1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB3 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
+ /* ./../lib/standard//string_search.nit:145 */
+ REGB4 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB4 = TAG_Int(UNTAG_Int(REGB3)-UNTAG_Int(REGB4));
+ /* ./../lib/standard//string_search.nit:145 */
+ CALL_abstract_collection___Map_____braeq(fra.me.REG[2])(fra.me.REG[2], REGB2, REGB4);
+ /* ./../lib/standard//string_search.nit:146 */
+ REGB4 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB4 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB4));
+ /* ./../lib/standard//string_search.nit:146 */
+ REGB1 = REGB4;
+ } else {
+ /* ./../lib/standard//string_search.nit:144 */
+ goto label1;
}
- variable[8] = variable[9];
- if (UNTAG_Bool(variable[8])) { /*if*/
- variable[8] = TAG_Int(UNTAG_Int( variable[7] /*i*/)+UNTAG_Int( variable[3] /*m*/));
- variable[8] = TAG_Int(UNTAG_Int(variable[8])-UNTAG_Int( TAG_Int(1)));
- variable[8] = TAG_Int(UNTAG_Int(variable[8])-UNTAG_Int( variable[5] /*f*/));
- variable[9] = variable[4] /*suff*/;
- variable[10] = variable[8];
- variable[12] = TAG_Bool(UNTAG_Int( variable[10] /*index*/)>=UNTAG_Int( TAG_Int(0)));
- variable[13] = variable[12];
- if (UNTAG_Bool(variable[13])) { /* and */
- variable[13] = variable[9];
- variable[13] = ATTR_array___AbstractArray____length(variable[13]) /*AbstractArray::_length*/;
- variable[13] = TAG_Bool(UNTAG_Int( variable[10] /*index*/)<UNTAG_Int(variable[13]));
- }
- variable[12] = variable[13];
- if (!UNTAG_Bool(variable[12])) { fprintf(stderr, "Assert%s failed", " 'index' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_array___Array_____bra, LOCATE_string_search, 229); nit_exit(1);}
- variable[12] = variable[9];
- variable[12] = ATTR_array___Array____items(variable[12]) /*Array::_items*/;
- variable[12] = UNBOX_NativeArray(variable[12])[UNTAG_Int( variable[10] /*index*/)];
- variable[11] = variable[12];
- goto return_label17;
- return_label17: while(false);
- variable[8] = variable[11];
- ((array___Array_____braeq_t)CALL( variable[4] /*suff*/,COLOR_abstract_collection___Map_____braeq))( variable[4] /*suff*/, variable[7] /*i*/, variable[8]) /*Array::[]=*/;
- } else { /*if*/
- variable[8] = TAG_Bool(UNTAG_Int( variable[7] /*i*/)<UNTAG_Int( variable[6] /*g*/));
- if (UNTAG_Bool(variable[8])) { /*if*/
- variable[6] = variable[7] /*i*/ /*g=*/;
+ }
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return;
+}
+val_t string_search___BM_Pattern___suffixes(val_t p0){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t REGB2;
+ val_t REGB3;
+ val_t REGB4;
+ val_t REGB5;
+ val_t REGB6;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 150;
+ fra.me.meth = LOCATE_string_search___BM_Pattern___suffixes;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//string_search.nit:152 */
+ REGB0 = TAG_Bool(ATTR_string_search___BM_Pattern____motif(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_motif", LOCATE_string_search, 152);
+ }
+ fra.me.REG[1] = ATTR_string_search___BM_Pattern____motif(fra.me.REG[0]);
+ /* ./../lib/standard//string_search.nit:153 */
+ REGB0 = TAG_Bool(ATTR_string_search___BM_Pattern____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_string_search, 153);
+ }
+ REGB0 = ATTR_string_search___BM_Pattern____length(fra.me.REG[0]);
+ /* ./../lib/standard//string_search.nit:154 */
+ fra.me.REG[0] = NEW_Array_array___Array___filled_with(REGB0, REGB0);
+ /* ./../lib/standard//string_search.nit:156 */
+ REGB1 = TAG_Int(0);
+ /* ./../lib/standard//string_search.nit:157 */
+ REGB2 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB2 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB2));
+ /* ./../lib/standard//string_search.nit:158 */
+ REGB3 = TAG_Int(2);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB3 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB3));
+ /* ./../lib/standard//string_search.nit:159 */
+ while(1) {
+ REGB4 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB4 = TAG_Bool(UNTAG_Int(REGB3)>=UNTAG_Int(REGB4));
+ /* ./../lib/standard//string_search.nit:159 */
+ if (UNTAG_Bool(REGB4)) {
+ /* ./../lib/standard//kernel.nit:214 */
+ REGB4 = TAG_Bool(UNTAG_Int(REGB3)>UNTAG_Int(REGB2));
+ /* ./../lib/standard//string_search.nit:160 */
+ if (UNTAG_Bool(REGB4)) {
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB4 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB0));
+ /* ./../lib/standard//string_search.nit:160 */
+ REGB5 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB5 = TAG_Int(UNTAG_Int(REGB4)-UNTAG_Int(REGB5));
+ REGB5 = TAG_Int(UNTAG_Int(REGB5)-UNTAG_Int(REGB1));
+ /* ./../lib/standard//collection//array.nit:243 */
+ fra.me.REG[2] = fra.me.REG[0];
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB4 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB4 = TAG_Bool(UNTAG_Int(REGB5)>=UNTAG_Int(REGB4));
+ /* ./../lib/standard//collection//array.nit:245 */
+ if (UNTAG_Bool(REGB4)) {
+ REGB4 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
+ if (UNTAG_Bool(REGB4)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245);
+ }
+ REGB4 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB4 = TAG_Bool(UNTAG_Int(REGB5)<UNTAG_Int(REGB4));
+ } else {
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB6 = TAG_Bool(false);
+ REGB4 = REGB6;
+ }
+ if (UNTAG_Bool(REGB4)) {
+ } else {
+ nit_abort("Assert %s failed", "'index'", LOCATE_array, 245);
+ }
+ /* ./../lib/standard//collection//array.nit:246 */
+ fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[2]);
+ REGB4 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB4)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 246);
+ }
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[2] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB5)];
+ /* ./../lib/standard//collection//array.nit:246 */
+ goto label1;
+ label1: while(0);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB5 = TAG_Int(UNTAG_Int(REGB3)-UNTAG_Int(REGB2));
+ /* ./../lib/standard//string_search.nit:160 */
+ REGB4 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB4)) {
+ nit_abort("Reciever is null", NULL, LOCATE_string_search, 160);
+ }
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB5 = TAG_Bool(UNTAG_Int(fra.me.REG[2])<UNTAG_Int(REGB5));
+ } else {
+ /* ./../lib/standard//string_search.nit:160 */
+ REGB4 = TAG_Bool(false);
+ REGB5 = REGB4;
}
- variable[5] = variable[7] /*i*/ /*f=*/;
- while (true) { /*while*/
- variable[8] = TAG_Bool(UNTAG_Int( variable[6] /*g*/)>=UNTAG_Int( TAG_Int(0)));
- variable[9] = variable[8];
- if (UNTAG_Bool(variable[9])) { /* and */
- variable[9] = ((string___String_____bra_t)CALL( variable[2] /*x*/,COLOR_abstract_collection___Map_____bra))( variable[2] /*x*/, variable[6] /*g*/) /*String::[]*/;
- variable[10] = TAG_Int(UNTAG_Int( variable[6] /*g*/)+UNTAG_Int( variable[3] /*m*/));
- variable[10] = TAG_Int(UNTAG_Int(variable[10])-UNTAG_Int( TAG_Int(1)));
- variable[10] = TAG_Int(UNTAG_Int(variable[10])-UNTAG_Int( variable[5] /*f*/));
- variable[10] = ((string___String_____bra_t)CALL( variable[2] /*x*/,COLOR_abstract_collection___Map_____bra))( variable[2] /*x*/, variable[10]) /*String::[]*/;
- variable[9] = TAG_Bool((variable[9])==(variable[10]));
+ if (UNTAG_Bool(REGB5)) {
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB5 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB0));
+ /* ./../lib/standard//string_search.nit:161 */
+ REGB4 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB4 = TAG_Int(UNTAG_Int(REGB5)-UNTAG_Int(REGB4));
+ REGB4 = TAG_Int(UNTAG_Int(REGB4)-UNTAG_Int(REGB1));
+ /* ./../lib/standard//collection//array.nit:243 */
+ fra.me.REG[2] = fra.me.REG[0];
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB5 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB5 = TAG_Bool(UNTAG_Int(REGB4)>=UNTAG_Int(REGB5));
+ /* ./../lib/standard//collection//array.nit:245 */
+ if (UNTAG_Bool(REGB5)) {
+ REGB5 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
+ if (UNTAG_Bool(REGB5)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245);
+ }
+ REGB5 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB5 = TAG_Bool(UNTAG_Int(REGB4)<UNTAG_Int(REGB5));
+ } else {
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB6 = TAG_Bool(false);
+ REGB5 = REGB6;
+ }
+ if (UNTAG_Bool(REGB5)) {
+ } else {
+ nit_abort("Assert %s failed", "'index'", LOCATE_array, 245);
+ }
+ /* ./../lib/standard//collection//array.nit:246 */
+ fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[2]);
+ REGB5 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB5)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 246);
+ }
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[2] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB4)];
+ /* ./../lib/standard//collection//array.nit:246 */
+ goto label2;
+ label2: while(0);
+ /* ./../lib/standard//string_search.nit:161 */
+ CALL_abstract_collection___Map_____braeq(fra.me.REG[0])(fra.me.REG[0], REGB3, fra.me.REG[2]);
+ } else {
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB4 = TAG_Bool(UNTAG_Int(REGB3)<UNTAG_Int(REGB2));
+ /* ./../lib/standard//string_search.nit:163 */
+ if (UNTAG_Bool(REGB4)) {
+ REGB2 = REGB3;
}
- variable[8] = variable[9];
- if (!UNTAG_Bool(variable[8])) break; /* while*/
- variable[6] = TAG_Int(UNTAG_Int(variable[6])-UNTAG_Int( TAG_Int(1))) /*g*/;
- continue_18: while(0);
+ /* ./../lib/standard//string_search.nit:164 */
+ REGB1 = REGB3;
+ /* ./../lib/standard//string_search.nit:165 */
+ while(1) {
+ REGB4 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB4 = TAG_Bool(UNTAG_Int(REGB2)>=UNTAG_Int(REGB4));
+ /* ./../lib/standard//string_search.nit:165 */
+ if (UNTAG_Bool(REGB4)) {
+ REGB4 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[1])(fra.me.REG[1], REGB2);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB5 = TAG_Int(UNTAG_Int(REGB2)+UNTAG_Int(REGB0));
+ /* ./../lib/standard//string_search.nit:165 */
+ REGB6 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB6 = TAG_Int(UNTAG_Int(REGB5)-UNTAG_Int(REGB6));
+ REGB6 = TAG_Int(UNTAG_Int(REGB6)-UNTAG_Int(REGB1));
+ /* ./../lib/standard//string_search.nit:165 */
+ REGB6 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[1])(fra.me.REG[1], REGB6);
+ REGB5 = TAG_Bool(IS_EQUAL_OO(REGB4,REGB6));
+ if (UNTAG_Bool(REGB5)) {
+ } else {
+ /* ./../lib/standard//kernel.nit:347 */
+ REGB6 = TAG_Bool((REGB4)==(REGB6));
+ /* ./../lib/standard//string_search.nit:165 */
+ REGB5 = REGB6;
+ }
+ } else {
+ REGB6 = TAG_Bool(false);
+ REGB5 = REGB6;
+ }
+ if (UNTAG_Bool(REGB5)) {
+ REGB5 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB5 = TAG_Int(UNTAG_Int(REGB2)-UNTAG_Int(REGB5));
+ /* ./../lib/standard//string_search.nit:165 */
+ REGB2 = REGB5;
+ } else {
+ goto label3;
+ }
+ }
+ label3: while(0);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB5 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB2));
+ /* ./../lib/standard//string_search.nit:166 */
+ CALL_abstract_collection___Map_____braeq(fra.me.REG[0])(fra.me.REG[0], REGB3, REGB5);
}
- break_18: while(0);
- variable[8] = TAG_Int(UNTAG_Int( variable[5] /*f*/)-UNTAG_Int( variable[6] /*g*/));
- ((array___Array_____braeq_t)CALL( variable[4] /*suff*/,COLOR_abstract_collection___Map_____braeq))( variable[4] /*suff*/, variable[7] /*i*/, variable[8]) /*Array::[]=*/;
+ /* ./../lib/standard//string_search.nit:168 */
+ REGB5 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB5 = TAG_Int(UNTAG_Int(REGB3)-UNTAG_Int(REGB5));
+ /* ./../lib/standard//string_search.nit:168 */
+ REGB3 = REGB5;
+ } else {
+ /* ./../lib/standard//string_search.nit:159 */
+ goto label4;
}
- variable[7] = TAG_Int(UNTAG_Int(variable[7])-UNTAG_Int( TAG_Int(1))) /*i*/;
- continue_15: while(0);
- }
- break_15: while(0);
- variable[1] = variable[4] /*suff*/;
- goto return_label14;
- return_label14: while(false);
- tracehead = trace.prev;
- return variable[1];
+ }
+ label4: while(0);
+ /* ./../lib/standard//string_search.nit:170 */
+ goto label5;
+ label5: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-void string_search___BM_Pattern___compute_gs(val_t self) {
- struct trace_t trace = {NULL, NULL, 173, LOCATE_string_search___BM_Pattern___compute_gs};
- val_t variable[14];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[3] = variable[0];
- variable[3] = ATTR_string_search___BM_Pattern____motif(variable[3]) /*BM_Pattern::_motif*/;
- variable[2] = variable[3];
- variable[4] = variable[0];
- variable[4] = ATTR_string_search___BM_Pattern____length(variable[4]) /*BM_Pattern::_length*/;
- variable[3] = variable[4];
- variable[5] = variable[0];
- variable[5] = ((string_search___BM_Pattern___suffixes_t)CALL(variable[5],COLOR_string_search___BM_Pattern___suffixes))(variable[5]) /*BM_Pattern::suffixes*/;
- variable[4] = variable[5];
- variable[5] = TAG_Int(0);
- while (true) { /*while*/
- variable[6] = TAG_Bool(UNTAG_Int( variable[5] /*i*/)<UNTAG_Int( variable[3] /*m*/));
- if (!UNTAG_Bool(variable[6])) break; /* while*/
- variable[6] = variable[0];
- variable[6] = ATTR_string_search___BM_Pattern____gs(variable[6]) /*BM_Pattern::_gs*/;
- ((array___Array_____braeq_t)CALL(variable[6],COLOR_abstract_collection___Map_____braeq))(variable[6], variable[5] /*i*/, variable[3] /*m*/) /*Array::[]=*/;
- variable[5] = TAG_Int(UNTAG_Int(variable[5])+UNTAG_Int( TAG_Int(1))) /*i*/;
- continue_20: while(0);
- }
- break_20: while(0);
- variable[6] = TAG_Int(0);
- variable[7] = TAG_Int(UNTAG_Int( variable[3] /*m*/)-UNTAG_Int( TAG_Int(1)));
- variable[5] = variable[7] /*i=*/;
- while (true) { /*while*/
- variable[7] = TAG_Int(-UNTAG_Int( TAG_Int(1)));
- variable[7] = TAG_Bool(UNTAG_Int( variable[5] /*i*/)>=UNTAG_Int(variable[7]));
- if (!UNTAG_Bool(variable[7])) break; /* while*/
- variable[7] = TAG_Int(-UNTAG_Int( TAG_Int(1)));
- variable[7] = TAG_Bool(( variable[5] /*i*/)==(variable[7]));
- variable[8] = variable[7];
- if (!UNTAG_Bool(variable[8])) { /* or */
- variable[8] = variable[4] /*suff*/;
- variable[9] = variable[5] /*i*/;
- variable[11] = TAG_Bool(UNTAG_Int( variable[9] /*index*/)>=UNTAG_Int( TAG_Int(0)));
- variable[12] = variable[11];
- if (UNTAG_Bool(variable[12])) { /* and */
- variable[12] = variable[8];
- variable[12] = ATTR_array___AbstractArray____length(variable[12]) /*AbstractArray::_length*/;
- variable[12] = TAG_Bool(UNTAG_Int( variable[9] /*index*/)<UNTAG_Int(variable[12]));
+void string_search___BM_Pattern___compute_gs(val_t p0){
+ struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t REGB2;
+ val_t REGB3;
+ val_t REGB4;
+ val_t REGB5;
+ val_t REGB6;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 173;
+ fra.me.meth = LOCATE_string_search___BM_Pattern___compute_gs;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 4;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[3] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//string_search.nit:175 */
+ REGB0 = TAG_Bool(ATTR_string_search___BM_Pattern____motif(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_motif", LOCATE_string_search, 175);
+ }
+ fra.me.REG[1] = ATTR_string_search___BM_Pattern____motif(fra.me.REG[0]);
+ /* ./../lib/standard//string_search.nit:176 */
+ REGB0 = TAG_Bool(ATTR_string_search___BM_Pattern____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_string_search, 176);
+ }
+ REGB0 = ATTR_string_search___BM_Pattern____length(fra.me.REG[0]);
+ /* ./../lib/standard//string_search.nit:177 */
+ fra.me.REG[1] = CALL_string_search___BM_Pattern___suffixes(fra.me.REG[0])(fra.me.REG[0]);
+ /* ./../lib/standard//string_search.nit:178 */
+ REGB1 = TAG_Int(0);
+ /* ./../lib/standard//string_search.nit:179 */
+ while(1) {
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB0));
+ /* ./../lib/standard//string_search.nit:179 */
+ if (UNTAG_Bool(REGB2)) {
+ /* ./../lib/standard//string_search.nit:180 */
+ REGB2 = TAG_Bool(ATTR_string_search___BM_Pattern____gs(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB2)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_gs", LOCATE_string_search, 180);
}
- variable[11] = variable[12];
- if (!UNTAG_Bool(variable[11])) { fprintf(stderr, "Assert%s failed", " 'index' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_array___Array_____bra, LOCATE_string_search, 229); nit_exit(1);}
- variable[11] = variable[8];
- variable[11] = ATTR_array___Array____items(variable[11]) /*Array::_items*/;
- variable[11] = UNBOX_NativeArray(variable[11])[UNTAG_Int( variable[9] /*index*/)];
- variable[10] = variable[11];
- goto return_label22;
- return_label22: while(false);
- variable[8] = variable[10];
- variable[9] = TAG_Int(UNTAG_Int( variable[5] /*i*/)+UNTAG_Int( TAG_Int(1)));
- variable[8] = TAG_Bool((variable[8])==(variable[9]));
+ fra.me.REG[2] = ATTR_string_search___BM_Pattern____gs(fra.me.REG[0]);
+ CALL_abstract_collection___Map_____braeq(fra.me.REG[2])(fra.me.REG[2], REGB1, REGB0);
+ /* ./../lib/standard//string_search.nit:181 */
+ REGB2 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB2 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB2));
+ /* ./../lib/standard//string_search.nit:181 */
+ REGB1 = REGB2;
+ } else {
+ /* ./../lib/standard//string_search.nit:179 */
+ goto label1;
}
- variable[7] = variable[8];
- if (UNTAG_Bool(variable[7])) { /*if*/
- while (true) { /*while*/
- variable[7] = TAG_Int(UNTAG_Int( variable[3] /*m*/)-UNTAG_Int( TAG_Int(1)));
- variable[7] = TAG_Int(UNTAG_Int(variable[7])-UNTAG_Int( variable[5] /*i*/));
- variable[7] = TAG_Bool(UNTAG_Int( variable[6] /*j*/)<UNTAG_Int(variable[7]));
- if (!UNTAG_Bool(variable[7])) break; /* while*/
- variable[7] = variable[0];
- variable[7] = ATTR_string_search___BM_Pattern____gs(variable[7]) /*BM_Pattern::_gs*/;
- variable[8] = variable[7];
- variable[9] = variable[6] /*j*/;
- variable[11] = TAG_Bool(UNTAG_Int( variable[9] /*index*/)>=UNTAG_Int( TAG_Int(0)));
- variable[12] = variable[11];
- if (UNTAG_Bool(variable[12])) { /* and */
- variable[12] = variable[8];
- variable[12] = ATTR_array___AbstractArray____length(variable[12]) /*AbstractArray::_length*/;
- variable[12] = TAG_Bool(UNTAG_Int( variable[9] /*index*/)<UNTAG_Int(variable[12]));
+ }
+ label1: while(0);
+ /* ./../lib/standard//string_search.nit:183 */
+ REGB2 = TAG_Int(0);
+ /* ./../lib/standard//string_search.nit:184 */
+ REGB3 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB3 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB3));
+ /* ./../lib/standard//string_search.nit:184 */
+ REGB1 = REGB3;
+ /* ./../lib/standard//string_search.nit:185 */
+ while(1) {
+ REGB3 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:216 */
+ REGB3 = TAG_Int(-UNTAG_Int(REGB3));
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB3 = TAG_Bool(UNTAG_Int(REGB1)>=UNTAG_Int(REGB3));
+ /* ./../lib/standard//string_search.nit:185 */
+ if (UNTAG_Bool(REGB3)) {
+ /* ./../lib/standard//string_search.nit:186 */
+ REGB3 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:216 */
+ REGB3 = TAG_Int(-UNTAG_Int(REGB3));
+ /* ./../lib/standard//string_search.nit:186 */
+ REGB4 = TAG_Bool(IS_EQUAL_OO(REGB1,REGB3));
+ if (UNTAG_Bool(REGB4)) {
+ } else {
+ /* ./../lib/standard//kernel.nit:207 */
+ REGB3 = TAG_Bool((REGB1)==(REGB3));
+ /* ./../lib/standard//string_search.nit:186 */
+ REGB4 = REGB3;
+ }
+ if (UNTAG_Bool(REGB4)) {
+ REGB4 = TAG_Bool(true);
+ } else {
+ /* ./../lib/standard//collection//array.nit:243 */
+ fra.me.REG[2] = fra.me.REG[1];
+ REGB3 = REGB1;
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB5 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB5 = TAG_Bool(UNTAG_Int(REGB3)>=UNTAG_Int(REGB5));
+ /* ./../lib/standard//collection//array.nit:245 */
+ if (UNTAG_Bool(REGB5)) {
+ REGB5 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
+ if (UNTAG_Bool(REGB5)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245);
+ }
+ REGB5 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB5 = TAG_Bool(UNTAG_Int(REGB3)<UNTAG_Int(REGB5));
+ } else {
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB6 = TAG_Bool(false);
+ REGB5 = REGB6;
+ }
+ if (UNTAG_Bool(REGB5)) {
+ } else {
+ nit_abort("Assert %s failed", "'index'", LOCATE_array, 245);
}
- variable[11] = variable[12];
- if (!UNTAG_Bool(variable[11])) { fprintf(stderr, "Assert%s failed", " 'index' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_array___Array_____bra, LOCATE_string_search, 229); nit_exit(1);}
- variable[11] = variable[8];
- variable[11] = ATTR_array___Array____items(variable[11]) /*Array::_items*/;
- variable[11] = UNBOX_NativeArray(variable[11])[UNTAG_Int( variable[9] /*index*/)];
- variable[10] = variable[11];
- goto return_label24;
- return_label24: while(false);
- variable[7] = variable[10];
- variable[7] = TAG_Bool((variable[7])==( variable[3] /*m*/));
- if (UNTAG_Bool(variable[7])) { /*if*/
- variable[7] = variable[0];
- variable[7] = ATTR_string_search___BM_Pattern____gs(variable[7]) /*BM_Pattern::_gs*/;
- variable[8] = TAG_Int(UNTAG_Int( variable[3] /*m*/)-UNTAG_Int( TAG_Int(1)));
- variable[8] = TAG_Int(UNTAG_Int(variable[8])-UNTAG_Int( variable[5] /*i*/));
- ((array___Array_____braeq_t)CALL(variable[7],COLOR_abstract_collection___Map_____braeq))(variable[7], variable[6] /*j*/, variable[8]) /*Array::[]=*/;
+ /* ./../lib/standard//collection//array.nit:246 */
+ fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[2]);
+ REGB5 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB5)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 246);
}
- variable[6] = TAG_Int(UNTAG_Int(variable[6])+UNTAG_Int( TAG_Int(1))) /*j*/;
- continue_23: while(0);
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[2] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB3)];
+ /* ./../lib/standard//collection//array.nit:246 */
+ goto label2;
+ label2: while(0);
+ /* ./../lib/standard//string_search.nit:186 */
+ REGB3 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB3 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB3));
+ /* ./../lib/standard//string_search.nit:186 */
+ REGB5 = TAG_Bool(IS_EQUAL_ON(REGB3,fra.me.REG[2]));
+ if (UNTAG_Bool(REGB5)) {
+ } else {
+ REGB6 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB6)) {
+ REGB6 = TAG_Bool(false);
+ REGB5 = REGB6;
+ } else {
+ /* ./../lib/standard//kernel.nit:207 */
+ REGB3 = TAG_Bool((fra.me.REG[2])==(REGB3));
+ /* ./../lib/standard//string_search.nit:186 */
+ REGB5 = REGB3;
+ }
+ }
+ REGB4 = REGB5;
+ }
+ if (UNTAG_Bool(REGB4)) {
+ /* ./../lib/standard//string_search.nit:187 */
+ while(1) {
+ REGB4 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB4 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB4));
+ REGB4 = TAG_Int(UNTAG_Int(REGB4)-UNTAG_Int(REGB1));
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB4 = TAG_Bool(UNTAG_Int(REGB2)<UNTAG_Int(REGB4));
+ /* ./../lib/standard//string_search.nit:187 */
+ if (UNTAG_Bool(REGB4)) {
+ /* ./../lib/standard//string_search.nit:188 */
+ REGB4 = TAG_Bool(ATTR_string_search___BM_Pattern____gs(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB4)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_gs", LOCATE_string_search, 188);
+ }
+ fra.me.REG[2] = ATTR_string_search___BM_Pattern____gs(fra.me.REG[0]);
+ /* ./../lib/standard//collection//array.nit:243 */
+ REGB4 = REGB2;
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB5 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB5 = TAG_Bool(UNTAG_Int(REGB4)>=UNTAG_Int(REGB5));
+ /* ./../lib/standard//collection//array.nit:245 */
+ if (UNTAG_Bool(REGB5)) {
+ REGB5 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
+ if (UNTAG_Bool(REGB5)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245);
+ }
+ REGB5 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB5 = TAG_Bool(UNTAG_Int(REGB4)<UNTAG_Int(REGB5));
+ } else {
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB3 = TAG_Bool(false);
+ REGB5 = REGB3;
+ }
+ if (UNTAG_Bool(REGB5)) {
+ } else {
+ nit_abort("Assert %s failed", "'index'", LOCATE_array, 245);
+ }
+ /* ./../lib/standard//collection//array.nit:246 */
+ fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[2]);
+ REGB5 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB5)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 246);
+ }
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[2] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB4)];
+ /* ./../lib/standard//collection//array.nit:246 */
+ goto label3;
+ label3: while(0);
+ /* ./../lib/standard//string_search.nit:188 */
+ REGB4 = TAG_Bool(IS_EQUAL_ON(REGB0,fra.me.REG[2]));
+ if (UNTAG_Bool(REGB4)) {
+ } else {
+ REGB5 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB5)) {
+ REGB5 = TAG_Bool(false);
+ REGB4 = REGB5;
+ } else {
+ /* ./../lib/standard//kernel.nit:207 */
+ REGB5 = TAG_Bool((fra.me.REG[2])==(REGB0));
+ /* ./../lib/standard//string_search.nit:188 */
+ REGB4 = REGB5;
+ }
+ }
+ if (UNTAG_Bool(REGB4)) {
+ REGB4 = TAG_Bool(ATTR_string_search___BM_Pattern____gs(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB4)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_gs", LOCATE_string_search, 188);
+ }
+ fra.me.REG[2] = ATTR_string_search___BM_Pattern____gs(fra.me.REG[0]);
+ REGB4 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB4 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB4));
+ REGB4 = TAG_Int(UNTAG_Int(REGB4)-UNTAG_Int(REGB1));
+ /* ./../lib/standard//string_search.nit:188 */
+ CALL_abstract_collection___Map_____braeq(fra.me.REG[2])(fra.me.REG[2], REGB2, REGB4);
+ }
+ /* ./../lib/standard//string_search.nit:189 */
+ REGB4 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB4 = TAG_Int(UNTAG_Int(REGB2)+UNTAG_Int(REGB4));
+ /* ./../lib/standard//string_search.nit:189 */
+ REGB2 = REGB4;
+ } else {
+ /* ./../lib/standard//string_search.nit:187 */
+ goto label4;
+ }
+ }
+ label4: while(0);
}
- break_23: while(0);
+ /* ./../lib/standard//string_search.nit:192 */
+ REGB4 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB4 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB4));
+ /* ./../lib/standard//string_search.nit:192 */
+ REGB1 = REGB4;
+ } else {
+ /* ./../lib/standard//string_search.nit:185 */
+ goto label5;
}
- variable[5] = TAG_Int(UNTAG_Int(variable[5])-UNTAG_Int( TAG_Int(1))) /*i*/;
- continue_21: while(0);
- }
- break_21: while(0);
- variable[5] = TAG_Int(0) /*i=*/;
- while (true) { /*while*/
- variable[7] = TAG_Int(UNTAG_Int( variable[3] /*m*/)-UNTAG_Int( TAG_Int(1)));
- variable[7] = TAG_Bool(UNTAG_Int( variable[5] /*i*/)<UNTAG_Int(variable[7]));
- if (!UNTAG_Bool(variable[7])) break; /* while*/
- variable[7] = variable[0];
- variable[7] = ATTR_string_search___BM_Pattern____gs(variable[7]) /*BM_Pattern::_gs*/;
- variable[8] = TAG_Int(UNTAG_Int( variable[3] /*m*/)-UNTAG_Int( TAG_Int(1)));
- variable[9] = variable[4] /*suff*/;
- variable[10] = variable[5] /*i*/;
- variable[12] = TAG_Bool(UNTAG_Int( variable[10] /*index*/)>=UNTAG_Int( TAG_Int(0)));
- variable[13] = variable[12];
- if (UNTAG_Bool(variable[13])) { /* and */
- variable[13] = variable[9];
- variable[13] = ATTR_array___AbstractArray____length(variable[13]) /*AbstractArray::_length*/;
- variable[13] = TAG_Bool(UNTAG_Int( variable[10] /*index*/)<UNTAG_Int(variable[13]));
+ }
+ label5: while(0);
+ /* ./../lib/standard//string_search.nit:194 */
+ REGB2 = TAG_Int(0);
+ REGB1 = REGB2;
+ /* ./../lib/standard//string_search.nit:195 */
+ while(1) {
+ REGB2 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB2 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB2));
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB2));
+ /* ./../lib/standard//string_search.nit:195 */
+ if (UNTAG_Bool(REGB2)) {
+ /* ./../lib/standard//string_search.nit:196 */
+ REGB2 = TAG_Bool(ATTR_string_search___BM_Pattern____gs(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB2)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_gs", LOCATE_string_search, 196);
+ }
+ fra.me.REG[2] = ATTR_string_search___BM_Pattern____gs(fra.me.REG[0]);
+ REGB2 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB2 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB2));
+ /* ./../lib/standard//collection//array.nit:243 */
+ fra.me.REG[3] = fra.me.REG[1];
+ REGB4 = REGB1;
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB5 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB5 = TAG_Bool(UNTAG_Int(REGB4)>=UNTAG_Int(REGB5));
+ /* ./../lib/standard//collection//array.nit:245 */
+ if (UNTAG_Bool(REGB5)) {
+ REGB5 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
+ if (UNTAG_Bool(REGB5)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245);
+ }
+ REGB5 = ATTR_array___AbstractArrayRead____length(fra.me.REG[3]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB5 = TAG_Bool(UNTAG_Int(REGB4)<UNTAG_Int(REGB5));
+ } else {
+ /* ./../lib/standard//collection//array.nit:245 */
+ REGB3 = TAG_Bool(false);
+ REGB5 = REGB3;
+ }
+ if (UNTAG_Bool(REGB5)) {
+ } else {
+ nit_abort("Assert %s failed", "'index'", LOCATE_array, 245);
+ }
+ /* ./../lib/standard//collection//array.nit:246 */
+ fra.me.REG[3] = ATTR_array___Array____items(fra.me.REG[3]);
+ REGB5 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+ if (UNTAG_Bool(REGB5)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 246);
+ }
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[3] = ((Nit_NativeArray)fra.me.REG[3])->val[UNTAG_Int(REGB4)];
+ /* ./../lib/standard//collection//array.nit:246 */
+ goto label6;
+ label6: while(0);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB2 = TAG_Int(UNTAG_Int(REGB2)-UNTAG_Int(fra.me.REG[3]));
+ /* ./../lib/standard//string_search.nit:196 */
+ REGB4 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB4 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB4));
+ REGB4 = TAG_Int(UNTAG_Int(REGB4)-UNTAG_Int(REGB1));
+ /* ./../lib/standard//string_search.nit:196 */
+ CALL_abstract_collection___Map_____braeq(fra.me.REG[2])(fra.me.REG[2], REGB2, REGB4);
+ /* ./../lib/standard//string_search.nit:197 */
+ REGB4 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB4 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB4));
+ /* ./../lib/standard//string_search.nit:197 */
+ REGB1 = REGB4;
+ } else {
+ /* ./../lib/standard//string_search.nit:195 */
+ goto label7;
}
- variable[12] = variable[13];
- if (!UNTAG_Bool(variable[12])) { fprintf(stderr, "Assert%s failed", " 'index' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_array___Array_____bra, LOCATE_string_search, 229); nit_exit(1);}
- variable[12] = variable[9];
- variable[12] = ATTR_array___Array____items(variable[12]) /*Array::_items*/;
- variable[12] = UNBOX_NativeArray(variable[12])[UNTAG_Int( variable[10] /*index*/)];
- variable[11] = variable[12];
- goto return_label26;
- return_label26: while(false);
- variable[9] = variable[11];
- variable[8] = TAG_Int(UNTAG_Int(variable[8])-UNTAG_Int(variable[9]));
- variable[9] = TAG_Int(UNTAG_Int( variable[3] /*m*/)-UNTAG_Int( TAG_Int(1)));
- variable[9] = TAG_Int(UNTAG_Int(variable[9])-UNTAG_Int( variable[5] /*i*/));
- ((array___Array_____braeq_t)CALL(variable[7],COLOR_abstract_collection___Map_____braeq))(variable[7], variable[8], variable[9]) /*Array::[]=*/;
- variable[5] = TAG_Int(UNTAG_Int(variable[5])+UNTAG_Int( TAG_Int(1))) /*i*/;
- continue_25: while(0);
- }
- break_25: while(0);
- return_label19: while(false);
- tracehead = trace.prev;
+ }
+ label7: while(0);
+ stack_frame_head = fra.me.prev;
return;
}
-val_t string_search___Match___to_s(val_t self) {
- struct trace_t trace = {NULL, NULL, 217, LOCATE_string_search___Match___to_s};
- val_t variable[5];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[2] = variable[0];
- variable[2] = ATTR_string_search___Match____string(variable[2]) /*Match::_string*/;
- variable[3] = variable[0];
- variable[3] = ATTR_string_search___Match____from(variable[3]) /*Match::_from*/;
- variable[4] = variable[0];
- variable[4] = ATTR_string_search___Match____length(variable[4]) /*Match::_length*/;
- variable[2] = ((string___String___substring_t)CALL(variable[2],COLOR_string___String___substring))(variable[2], variable[3], variable[4]) /*String::substring*/;
- variable[1] = variable[2];
- goto return_label27;
- return_label27: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t string_search___Match___string(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 204;
+ fra.me.meth = LOCATE_string_search___Match___string;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//string_search.nit:204 */
+ REGB0 = TAG_Bool(ATTR_string_search___Match____string(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_string", LOCATE_string_search, 204);
+ }
+ fra.me.REG[0] = ATTR_string_search___Match____string(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t string_search___Match___string(val_t self) {
- struct trace_t trace = {NULL, NULL, 204, LOCATE_string_search___Match___string};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- tracehead = trace.prev;
- return ATTR_string_search___Match____string( self) /*Match::_string*/;
+val_t string_search___Match___from(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 207;
+ fra.me.meth = LOCATE_string_search___Match___from;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//string_search.nit:207 */
+ REGB0 = TAG_Bool(ATTR_string_search___Match____from(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_from", LOCATE_string_search, 207);
+ }
+ REGB0 = ATTR_string_search___Match____from(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-val_t string_search___Match___from(val_t self) {
- struct trace_t trace = {NULL, NULL, 207, LOCATE_string_search___Match___from};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- tracehead = trace.prev;
- return ATTR_string_search___Match____from( self) /*Match::_from*/;
+val_t string_search___Match___length(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 210;
+ fra.me.meth = LOCATE_string_search___Match___length;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//string_search.nit:210 */
+ REGB0 = TAG_Bool(ATTR_string_search___Match____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_string_search, 210);
+ }
+ REGB0 = ATTR_string_search___Match____length(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-val_t string_search___Match___length(val_t self) {
- struct trace_t trace = {NULL, NULL, 210, LOCATE_string_search___Match___length};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- tracehead = trace.prev;
- return ATTR_string_search___Match____length( self) /*Match::_length*/;
+val_t string_search___Match___after(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 213;
+ fra.me.meth = LOCATE_string_search___Match___after;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//string_search.nit:215 */
+ REGB0 = TAG_Bool(ATTR_string_search___Match____from(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_from", LOCATE_string_search, 215);
+ }
+ REGB0 = ATTR_string_search___Match____from(fra.me.REG[0]);
+ REGB1 = TAG_Bool(ATTR_string_search___Match____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_string_search, 215);
+ }
+ REGB1 = ATTR_string_search___Match____length(fra.me.REG[0]);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
+ /* ./../lib/standard//string_search.nit:215 */
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB1;
}
-val_t string_search___Match___after(val_t self) {
- struct trace_t trace = {NULL, NULL, 213, LOCATE_string_search___Match___after};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[2] = variable[0];
- variable[2] = ATTR_string_search___Match____from(variable[2]) /*Match::_from*/;
- variable[3] = variable[0];
- variable[3] = ATTR_string_search___Match____length(variable[3]) /*Match::_length*/;
- variable[2] = TAG_Int(UNTAG_Int(variable[2])+UNTAG_Int(variable[3]));
- variable[1] = variable[2];
- goto return_label28;
- return_label28: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t string_search___Match___to_s(val_t p0){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 217;
+ fra.me.meth = LOCATE_string_search___Match___to_s;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//string_search.nit:218 */
+ REGB0 = TAG_Bool(ATTR_string_search___Match____string(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_string", LOCATE_string_search, 218);
+ }
+ fra.me.REG[1] = ATTR_string_search___Match____string(fra.me.REG[0]);
+ REGB0 = TAG_Bool(ATTR_string_search___Match____from(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_from", LOCATE_string_search, 218);
+ }
+ REGB0 = ATTR_string_search___Match____from(fra.me.REG[0]);
+ REGB1 = TAG_Bool(ATTR_string_search___Match____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_string_search, 218);
+ }
+ REGB1 = ATTR_string_search___Match____length(fra.me.REG[0]);
+ fra.me.REG[1] = CALL_string___AbstractString___substring(fra.me.REG[1])(fra.me.REG[1], REGB0, REGB1);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[1];
}
-void string_search___Match___init(val_t self, val_t param0, val_t param1, val_t param2, int* init_table) {
- struct trace_t trace = {NULL, NULL, 220, LOCATE_string_search___Match___init};
- val_t variable[7];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[1] = param0;
- variable[2] = param1;
- variable[3] = param2;
- if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Match].i]) return;
- variable[5] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[1] /*s*/ == NIT_NULL /*null*/) || (( variable[1] /*s*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[1] /*s*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[1] /*s*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[1] /*s*/,COLOR_kernel___Object_____eqeq))( variable[1] /*s*/, NIT_NULL /*null*/) /*Object::==*/)))))));
- if (!UNTAG_Bool(variable[5])) { fprintf(stderr, "Assert%s failed", " 'non_null_string' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_string_search___Match___init, LOCATE_string_search, 223); nit_exit(1);}
- variable[5] = TAG_Bool(UNTAG_Int( variable[3] /*len*/)>=UNTAG_Int( TAG_Int(0)));
- if (!UNTAG_Bool(variable[5])) { fprintf(stderr, "Assert%s failed", " 'positive_length' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_string_search___Match___init, LOCATE_string_search, 224); nit_exit(1);}
- variable[5] = TAG_Bool(UNTAG_Int( variable[2] /*f*/)>=UNTAG_Int( TAG_Int(0)));
- if (!UNTAG_Bool(variable[5])) { fprintf(stderr, "Assert%s failed", " 'valid_from' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_string_search___Match___init, LOCATE_string_search, 225); nit_exit(1);}
- variable[5] = TAG_Int(UNTAG_Int( variable[2] /*f*/)+UNTAG_Int( variable[3] /*len*/));
- variable[6] = ((array___AbstractArray___length_t)CALL( variable[1] /*s*/,COLOR_abstract_collection___Collection___length))( variable[1] /*s*/) /*AbstractArray::length*/;
- variable[5] = TAG_Bool(UNTAG_Int(variable[5])<=UNTAG_Int(variable[6]));
- if (!UNTAG_Bool(variable[5])) { fprintf(stderr, "Assert%s failed", " 'valid_after' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_string_search___Match___init, LOCATE_string_search, 226); nit_exit(1);}
- variable[5] = variable[0];
- ATTR_string_search___Match____string(variable[5]) /*Match::_string*/ = variable[1] /*s*/;
- variable[5] = variable[0];
- ATTR_string_search___Match____from(variable[5]) /*Match::_from*/ = variable[2] /*f*/;
- variable[5] = variable[0];
- ATTR_string_search___Match____length(variable[5]) /*Match::_length*/ = variable[3] /*len*/;
- return_label29: while(false);
- init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Match].i] = 1;
- tracehead = trace.prev;
+void string_search___Match___init(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table){
+ int itpos2 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_Match].i;
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t REGB2;
+ val_t REGB3;
+ val_t tmp;
+ if (init_table[itpos2]) return;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 220;
+ fra.me.meth = LOCATE_string_search___Match___init;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ REGB0 = p2;
+ REGB1 = p3;
+ /* ./../lib/standard//string_search.nit:223 */
+ REGB2 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB2 = TAG_Bool(UNTAG_Int(REGB1)>=UNTAG_Int(REGB2));
+ /* ./../lib/standard//string_search.nit:223 */
+ if (UNTAG_Bool(REGB2)) {
+ } else {
+ nit_abort("Assert %s failed", "'positive_length'", LOCATE_string_search, 223);
+ }
+ /* ./../lib/standard//string_search.nit:224 */
+ REGB2 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB2 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB2));
+ /* ./../lib/standard//string_search.nit:224 */
+ if (UNTAG_Bool(REGB2)) {
+ } else {
+ nit_abort("Assert %s failed", "'valid_from'", LOCATE_string_search, 224);
+ }
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB2 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
+ /* ./../lib/standard//collection//array.nit:23 */
+ REGB3 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+ if (UNTAG_Bool(REGB3)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+ }
+ REGB3 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+ /* ./../lib/standard//kernel.nit:211 */
+ REGB3 = TAG_Bool(UNTAG_Int(REGB2)<=UNTAG_Int(REGB3));
+ /* ./../lib/standard//string_search.nit:225 */
+ if (UNTAG_Bool(REGB3)) {
+ } else {
+ nit_abort("Assert %s failed", "'valid_after'", LOCATE_string_search, 225);
+ }
+ /* ./../lib/standard//string_search.nit:226 */
+ ATTR_string_search___Match____string(fra.me.REG[0]) = fra.me.REG[1];
+ /* ./../lib/standard//string_search.nit:227 */
+ ATTR_string_search___Match____from(fra.me.REG[0]) = REGB0;
+ /* ./../lib/standard//string_search.nit:228 */
+ ATTR_string_search___Match____length(fra.me.REG[0]) = REGB1;
+ stack_frame_head = fra.me.prev;
+ init_table[itpos2] = 1;
return;
}
-val_t string_search___Char___search_index_in(val_t self, val_t param0, val_t param1) {
- struct trace_t trace = {NULL, NULL, 235, LOCATE_string_search___Char___search_index_in};
- val_t variable[7];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[1] = param0;
- variable[2] = param1;
- variable[5] = ((array___AbstractArray___length_t)CALL( variable[1] /*s*/,COLOR_abstract_collection___Collection___length))( variable[1] /*s*/) /*AbstractArray::length*/;
- variable[4] = variable[5];
- while (true) { /*while*/
- variable[5] = TAG_Bool(UNTAG_Int( variable[2] /*from*/)<UNTAG_Int( variable[4] /*stop*/));
- if (!UNTAG_Bool(variable[5])) break; /* while*/
- variable[5] = ((string___String_____bra_t)CALL( variable[1] /*s*/,COLOR_abstract_collection___Map_____bra))( variable[1] /*s*/, variable[2] /*from*/) /*String::[]*/;
- variable[6] = variable[0];
- variable[5] = TAG_Bool((variable[5])==(variable[6]));
- if (UNTAG_Bool(variable[5])) { /*if*/
- variable[3] = variable[2] /*from*/;
- goto return_label30;
+val_t string_search___Char___search_index_in(val_t p0, val_t p1, val_t p2){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t REGB2;
+ val_t REGB3;
+ val_t REGB4;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 234;
+ fra.me.meth = LOCATE_string_search___Char___search_index_in;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ REGB0 = p0;
+ fra.me.REG[0] = p1;
+ REGB1 = p2;
+ /* ./../lib/standard//collection//array.nit:23 */
+ REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB2)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+ }
+ REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[0]);
+ /* ./../lib/standard//string_search.nit:237 */
+ while(1) {
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB3 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB2));
+ /* ./../lib/standard//string_search.nit:237 */
+ if (UNTAG_Bool(REGB3)) {
+ /* ./../lib/standard//string_search.nit:238 */
+ REGB3 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[0])(fra.me.REG[0], REGB1);
+ REGB4 = TAG_Bool(IS_EQUAL_OO(REGB3,REGB0));
+ if (UNTAG_Bool(REGB4)) {
+ } else {
+ /* ./../lib/standard//kernel.nit:347 */
+ REGB3 = TAG_Bool((REGB3)==(REGB0));
+ /* ./../lib/standard//string_search.nit:238 */
+ REGB4 = REGB3;
+ }
+ if (UNTAG_Bool(REGB4)) {
+ REGB4 = REGB1;
+ goto label1;
+ }
+ /* ./../lib/standard//string_search.nit:239 */
+ REGB3 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB3 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB3));
+ /* ./../lib/standard//string_search.nit:239 */
+ REGB1 = REGB3;
+ } else {
+ /* ./../lib/standard//string_search.nit:237 */
+ goto label2;
}
- variable[2] = TAG_Int(UNTAG_Int(variable[2])+UNTAG_Int( TAG_Int(1))) /*from*/;
- continue_31: while(0);
- }
- break_31: while(0);
- variable[5] = TAG_Int(-UNTAG_Int( TAG_Int(1)));
- variable[3] = variable[5];
- goto return_label30;
- return_label30: while(false);
- tracehead = trace.prev;
- return variable[3];
+ }
+ label2: while(0);
+ /* ./../lib/standard//string_search.nit:241 */
+ REGB1 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:216 */
+ REGB1 = TAG_Int(-UNTAG_Int(REGB1));
+ /* ./../lib/standard//string_search.nit:241 */
+ REGB4 = REGB1;
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB4;
}
-val_t string_search___Char___search_in(val_t self, val_t param0, val_t param1) {
- struct trace_t trace = {NULL, NULL, 245, LOCATE_string_search___Char___search_in};
- val_t variable[6];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[1] = param0;
- variable[2] = param1;
- variable[5] = variable[0];
- variable[5] = ((string_search___Char___search_index_in_t)CALL(variable[5],COLOR_string_search___Pattern___search_index_in))(variable[5], variable[1] /*s*/, variable[2] /*from*/) /*Char::search_index_in*/;
- variable[4] = variable[5];
- variable[5] = TAG_Bool(UNTAG_Int( variable[4] /*pos*/)<UNTAG_Int( TAG_Int(0)));
- if (UNTAG_Bool(variable[5])) { /*if*/
- variable[3] = NIT_NULL /*null*/;
- goto return_label32;
- } else { /*if*/
- variable[5] = NEW_Match_string_search___Match___init( variable[1] /*s*/, variable[4] /*pos*/, TAG_Int(1)); /*new Match*/
- variable[3] = variable[5];
- goto return_label32;
- }
- return_label32: while(false);
- tracehead = trace.prev;
- return variable[3];
+val_t string_search___Char___search_in(val_t p0, val_t p1, val_t p2){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 244;
+ fra.me.meth = LOCATE_string_search___Char___search_in;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ REGB0 = p0;
+ fra.me.REG[0] = p1;
+ REGB1 = p2;
+ /* ./../lib/standard//string_search.nit:246 */
+ REGB1 = CALL_string_search___Pattern___search_index_in(REGB0)(REGB0, fra.me.REG[0], REGB1);
+ /* ./../lib/standard//string_search.nit:247 */
+ REGB0 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB0 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB0));
+ /* ./../lib/standard//string_search.nit:247 */
+ if (UNTAG_Bool(REGB0)) {
+ /* ./../lib/standard//string_search.nit:248 */
+ fra.me.REG[1] = NIT_NULL;
+ goto label1;
+ } else {
+ /* ./../lib/standard//string_search.nit:250 */
+ REGB0 = TAG_Int(1);
+ fra.me.REG[0] = NEW_Match_string_search___Match___init(fra.me.REG[0], REGB1, REGB0);
+ fra.me.REG[1] = fra.me.REG[0];
+ goto label1;
+ }
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[1];
}
-val_t string_search___String___search_index_in(val_t self, val_t param0, val_t param1) {
- struct trace_t trace = {NULL, NULL, 258, LOCATE_string_search___String___search_index_in};
- val_t variable[9];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[1] = param0;
- variable[2] = param1;
- variable[4] = TAG_Bool(UNTAG_Int( variable[2] /*from*/)>=UNTAG_Int( TAG_Int(0)));
- if (!UNTAG_Bool(variable[4])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_string_search___String___search_index_in, LOCATE_string_search, 260); nit_exit(1);}
- variable[5] = ((array___AbstractArray___length_t)CALL( variable[1] /*s*/,COLOR_abstract_collection___Collection___length))( variable[1] /*s*/) /*AbstractArray::length*/;
- variable[6] = variable[0];
- variable[6] = ((array___AbstractArray___length_t)CALL(variable[6],COLOR_abstract_collection___Collection___length))(variable[6]) /*AbstractArray::length*/;
- variable[5] = TAG_Int(UNTAG_Int(variable[5])-UNTAG_Int(variable[6]));
- variable[5] = TAG_Int(UNTAG_Int(variable[5])+UNTAG_Int( TAG_Int(1)));
- variable[4] = variable[5];
- while (true) { /*while*/
- variable[5] = TAG_Bool(UNTAG_Int( variable[2] /*from*/)<UNTAG_Int( variable[4] /*stop*/));
- if (!UNTAG_Bool(variable[5])) break; /* while*/
- variable[6] = variable[0];
- variable[6] = ((array___AbstractArray___length_t)CALL(variable[6],COLOR_abstract_collection___Collection___length))(variable[6]) /*AbstractArray::length*/;
- variable[6] = TAG_Int(UNTAG_Int(variable[6])-UNTAG_Int( TAG_Int(1)));
- variable[5] = variable[6];
- while (true) { /*while*/
- variable[6] = TAG_Bool(UNTAG_Int( variable[5] /*i*/)>=UNTAG_Int( TAG_Int(0)));
- variable[7] = variable[6];
- if (UNTAG_Bool(variable[7])) { /* and */
- variable[7] = variable[0];
- variable[7] = ((string___String_____bra_t)CALL(variable[7],COLOR_abstract_collection___Map_____bra))(variable[7], variable[5] /*i*/) /*String::[]*/;
- variable[8] = TAG_Int(UNTAG_Int( variable[5] /*i*/)+UNTAG_Int( variable[2] /*from*/));
- variable[8] = ((string___String_____bra_t)CALL( variable[1] /*s*/,COLOR_abstract_collection___Map_____bra))( variable[1] /*s*/, variable[8]) /*String::[]*/;
- variable[7] = TAG_Bool((variable[7])==(variable[8]));
+val_t string_search___String___search_index_in(val_t p0, val_t p1, val_t p2){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t REGB2;
+ val_t REGB3;
+ val_t REGB4;
+ val_t REGB5;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 257;
+ fra.me.meth = LOCATE_string_search___String___search_index_in;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ REGB0 = p2;
+ /* ./../lib/standard//string_search.nit:259 */
+ REGB1 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
+ /* ./../lib/standard//string_search.nit:259 */
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Assert failed", NULL, LOCATE_string_search, 259);
+ }
+ /* ./../lib/standard//collection//array.nit:23 */
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+ }
+ REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+ REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB2)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+ }
+ REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[0]);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB2 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB2));
+ /* ./../lib/standard//string_search.nit:260 */
+ REGB1 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB1 = TAG_Int(UNTAG_Int(REGB2)+UNTAG_Int(REGB1));
+ /* ./../lib/standard//string_search.nit:261 */
+ while(1) {
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+ /* ./../lib/standard//string_search.nit:261 */
+ if (UNTAG_Bool(REGB2)) {
+ /* ./../lib/standard//collection//array.nit:23 */
+ REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB2)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
}
- variable[6] = variable[7];
- if (!UNTAG_Bool(variable[6])) break; /* while*/
- variable[5] = TAG_Int(UNTAG_Int(variable[5])-UNTAG_Int( TAG_Int(1))) /*i*/;
- continue_35: while(0);
- }
- break_35: while(0);
- variable[6] = TAG_Bool(UNTAG_Int( variable[5] /*i*/)<UNTAG_Int( TAG_Int(0)));
- if (UNTAG_Bool(variable[6])) { /*if*/
- variable[3] = variable[2] /*from*/;
- goto return_label33;
+ REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[0]);
+ /* ./../lib/standard//string_search.nit:262 */
+ REGB3 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB3 = TAG_Int(UNTAG_Int(REGB2)-UNTAG_Int(REGB3));
+ /* ./../lib/standard//string_search.nit:263 */
+ while(1) {
+ REGB2 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:213 */
+ REGB2 = TAG_Bool(UNTAG_Int(REGB3)>=UNTAG_Int(REGB2));
+ /* ./../lib/standard//string_search.nit:263 */
+ if (UNTAG_Bool(REGB2)) {
+ REGB2 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[0])(fra.me.REG[0], REGB3);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB4 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB0));
+ /* ./../lib/standard//string_search.nit:263 */
+ REGB4 = CALL_abstract_collection___MapRead_____bra(fra.me.REG[1])(fra.me.REG[1], REGB4);
+ REGB5 = TAG_Bool(IS_EQUAL_OO(REGB2,REGB4));
+ if (UNTAG_Bool(REGB5)) {
+ } else {
+ /* ./../lib/standard//kernel.nit:347 */
+ REGB4 = TAG_Bool((REGB2)==(REGB4));
+ /* ./../lib/standard//string_search.nit:263 */
+ REGB5 = REGB4;
+ }
+ } else {
+ REGB4 = TAG_Bool(false);
+ REGB5 = REGB4;
+ }
+ if (UNTAG_Bool(REGB5)) {
+ REGB5 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:217 */
+ REGB5 = TAG_Int(UNTAG_Int(REGB3)-UNTAG_Int(REGB5));
+ /* ./../lib/standard//string_search.nit:263 */
+ REGB3 = REGB5;
+ } else {
+ goto label1;
+ }
+ }
+ label1: while(0);
+ /* ./../lib/standard//string_search.nit:265 */
+ REGB5 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB5 = TAG_Bool(UNTAG_Int(REGB3)<UNTAG_Int(REGB5));
+ /* ./../lib/standard//string_search.nit:265 */
+ if (UNTAG_Bool(REGB5)) {
+ REGB5 = REGB0;
+ goto label2;
+ }
+ /* ./../lib/standard//string_search.nit:267 */
+ REGB3 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB3 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB3));
+ /* ./../lib/standard//string_search.nit:267 */
+ REGB0 = REGB3;
+ } else {
+ /* ./../lib/standard//string_search.nit:261 */
+ goto label3;
}
- variable[2] = TAG_Int(UNTAG_Int(variable[2])+UNTAG_Int( TAG_Int(1))) /*from*/;
- continue_34: while(0);
- }
- break_34: while(0);
- variable[5] = TAG_Int(-UNTAG_Int( TAG_Int(1)));
- variable[3] = variable[5];
- goto return_label33;
- return_label33: while(false);
- tracehead = trace.prev;
- return variable[3];
+ }
+ label3: while(0);
+ /* ./../lib/standard//string_search.nit:269 */
+ REGB0 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:216 */
+ REGB0 = TAG_Int(-UNTAG_Int(REGB0));
+ /* ./../lib/standard//string_search.nit:269 */
+ REGB5 = REGB0;
+ goto label2;
+ label2: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB5;
}
-val_t string_search___String___search_in(val_t self, val_t param0, val_t param1) {
- struct trace_t trace = {NULL, NULL, 273, LOCATE_string_search___String___search_in};
- val_t variable[7];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[1] = param0;
- variable[2] = param1;
- variable[5] = variable[0];
- variable[5] = ((string_search___String___search_index_in_t)CALL(variable[5],COLOR_string_search___Pattern___search_index_in))(variable[5], variable[1] /*s*/, variable[2] /*from*/) /*String::search_index_in*/;
- variable[4] = variable[5];
- variable[5] = TAG_Bool(UNTAG_Int( variable[4] /*pos*/)<UNTAG_Int( TAG_Int(0)));
- if (UNTAG_Bool(variable[5])) { /*if*/
- variable[3] = NIT_NULL /*null*/;
- goto return_label36;
- } else { /*if*/
- variable[5] = variable[0];
- variable[5] = ((array___AbstractArray___length_t)CALL(variable[5],COLOR_abstract_collection___Collection___length))(variable[5]) /*AbstractArray::length*/;
- variable[6] = NEW_Match_string_search___Match___init( variable[1] /*s*/, variable[4] /*pos*/, variable[5]); /*new Match*/
- variable[5] = variable[6];
- variable[3] = variable[5];
- goto return_label36;
- }
- return_label36: while(false);
- tracehead = trace.prev;
- return variable[3];
+val_t string_search___String___search_in(val_t p0, val_t p1, val_t p2){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 272;
+ fra.me.meth = LOCATE_string_search___String___search_in;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ REGB0 = p2;
+ /* ./../lib/standard//string_search.nit:274 */
+ REGB0 = CALL_string_search___Pattern___search_index_in(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0);
+ /* ./../lib/standard//string_search.nit:275 */
+ REGB1 = TAG_Int(0);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+ /* ./../lib/standard//string_search.nit:275 */
+ if (UNTAG_Bool(REGB1)) {
+ /* ./../lib/standard//string_search.nit:276 */
+ fra.me.REG[2] = NIT_NULL;
+ goto label1;
+ } else {
+ /* ./../lib/standard//collection//array.nit:23 */
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+ }
+ REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[0]);
+ /* ./../lib/standard//string_search.nit:278 */
+ fra.me.REG[1] = NEW_Match_string_search___Match___init(fra.me.REG[1], REGB0, REGB1);
+ fra.me.REG[2] = fra.me.REG[1];
+ goto label1;
+ }
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[2];
}
-val_t string_search___String___search(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 283, LOCATE_string_search___String___search};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = variable[0];
- variable[3] = ((string_search___Pattern___search_in_t)CALL( variable[1] /*p*/,COLOR_string_search___Pattern___search_in))( variable[1] /*p*/, variable[3], TAG_Int(0)) /*Pattern::search_in*/;
- variable[2] = variable[3];
- goto return_label37;
- return_label37: while(false);
- tracehead = trace.prev;
- return variable[2];
+val_t string_search___String___search(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 282;
+ fra.me.meth = LOCATE_string_search___String___search;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./../lib/standard//string_search.nit:283 */
+ REGB0 = TAG_Int(0);
+ fra.me.REG[0] = CALL_string_search___Pattern___search_in(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0], REGB0);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t string_search___String___search_from(val_t self, val_t param0, val_t param1) {
- struct trace_t trace = {NULL, NULL, 286, LOCATE_string_search___String___search_from};
- val_t variable[5];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[1] = param0;
- variable[2] = param1;
- variable[4] = variable[0];
- variable[4] = ((string_search___Pattern___search_in_t)CALL( variable[1] /*p*/,COLOR_string_search___Pattern___search_in))( variable[1] /*p*/, variable[4], variable[2] /*from*/) /*Pattern::search_in*/;
- variable[3] = variable[4];
- goto return_label38;
- return_label38: while(false);
- tracehead = trace.prev;
- return variable[3];
+val_t string_search___String___search_from(val_t p0, val_t p1, val_t p2){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 285;
+ fra.me.meth = LOCATE_string_search___String___search_from;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ REGB0 = p2;
+ /* ./../lib/standard//string_search.nit:288 */
+ fra.me.REG[0] = CALL_string_search___Pattern___search_in(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0], REGB0);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t string_search___String___search_all(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 291, LOCATE_string_search___String___search_all};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = variable[0];
- variable[3] = ((string_search___Pattern___search_all_in_t)CALL( variable[1] /*p*/,COLOR_string_search___Pattern___search_all_in))( variable[1] /*p*/, variable[3]) /*Pattern::search_all_in*/;
- variable[2] = variable[3];
- goto return_label39;
- return_label39: while(false);
- tracehead = trace.prev;
- return variable[2];
+val_t string_search___String___search_all(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 290;
+ fra.me.meth = LOCATE_string_search___String___search_all;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./../lib/standard//string_search.nit:297 */
+ fra.me.REG[0] = CALL_string_search___Pattern___search_all_in(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t string_search___String___split_with(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 300, LOCATE_string_search___String___split_with};
- val_t variable[9];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[1] = param0;
- variable[4] = variable[0];
- variable[4] = ((string_search___Pattern___split_in_t)CALL( variable[1] /*p*/,COLOR_string_search___Pattern___split_in))( variable[1] /*p*/, variable[4]) /*Pattern::split_in*/;
- variable[3] = variable[4];
- variable[5] = ((array___AbstractArray___length_t)CALL( variable[3] /*matches*/,COLOR_abstract_collection___Collection___length))( variable[3] /*matches*/) /*AbstractArray::length*/;
- variable[6] = NEW_Array_array___Array___with_capacity(variable[5]); /*new Array[String]*/
- variable[5] = variable[6];
- variable[4] = variable[5];
- variable[5] = ((array___AbstractArray___iterator_t)CALL( variable[3] /*matches*/,COLOR_abstract_collection___Collection___iterator))( variable[3] /*matches*/) /*AbstractArray::iterator*/;
- while (true) { /*for*/
- variable[6] = ((array___ArrayIterator___is_ok_t)CALL(variable[5],COLOR_abstract_collection___Iterator___is_ok))(variable[5]) /*ArrayIterator::is_ok*/;
- if (!UNTAG_Bool(variable[6])) break; /*for*/
- variable[6] = ((array___ArrayIterator___item_t)CALL(variable[5],COLOR_abstract_collection___Iterator___item))(variable[5]) /*ArrayIterator::item*/;
- variable[7] = variable[6];
- variable[8] = ((string_search___Match___to_s_t)CALL( variable[7] /*m*/,COLOR_string___Object___to_s))( variable[7] /*m*/) /*Match::to_s*/;
- ((array___AbstractArray___add_t)CALL( variable[4] /*res*/,COLOR_abstract_collection___SimpleCollection___add))( variable[4] /*res*/, variable[8]) /*AbstractArray::add*/;
- continue_41: while(0);
- ((array___ArrayIterator___next_t)CALL(variable[5],COLOR_abstract_collection___Iterator___next))(variable[5]) /*ArrayIterator::next*/;
- }
- break_41: while(0);
- variable[2] = variable[4] /*res*/;
- goto return_label40;
- return_label40: while(false);
- tracehead = trace.prev;
- return variable[2];
+val_t string_search___String___split_with(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 299;
+ fra.me.meth = LOCATE_string_search___String___split_with;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 4;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[3] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./../lib/standard//string_search.nit:303 */
+ fra.me.REG[0] = CALL_string_search___Pattern___split_in(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+ /* ./../lib/standard//collection//array.nit:23 */
+ REGB0 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+ }
+ REGB0 = ATTR_array___AbstractArrayRead____length(fra.me.REG[0]);
+ /* ./../lib/standard//string_search.nit:304 */
+ fra.me.REG[1] = NEW_Array_array___Array___with_capacity(REGB0);
+ /* ./../lib/standard//collection//array.nit:234 */
+ REGB0 = TAG_Int(0);
+ /* ./../lib/standard//collection//array.nit:235 */
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 235);
+ }
+ REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[0]);
+ /* ./../lib/standard//collection//array.nit:236 */
+ fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[0]);
+ /* ./../lib/standard//collection//array.nit:237 */
+ while(1) {
+ /* ./../lib/standard//collection//array.nit:23 */
+ REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+ }
+ REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[0]);
+ /* ./../lib/standard//kernel.nit:212 */
+ REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+ /* ./../lib/standard//collection//array.nit:237 */
+ if (UNTAG_Bool(REGB1)) {
+ /* ./../lib/standard//collection//array.nit:238 */
+ REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ nit_abort("Reciever is null", NULL, LOCATE_array, 238);
+ }
+ /* ./../lib/standard//collection//array.nit:654 */
+ fra.me.REG[3] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB0)];
+ /* ./../lib/standard//string_search.nit:305 */
+ fra.me.REG[3] = CALL_string___Object___to_s(fra.me.REG[3])(fra.me.REG[3]);
+ CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
+ /* ./../lib/standard//collection//array.nit:239 */
+ REGB1 = TAG_Int(1);
+ /* ./../lib/standard//kernel.nit:215 */
+ REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
+ /* ./../lib/standard//collection//array.nit:239 */
+ REGB0 = REGB1;
+ } else {
+ /* ./../lib/standard//collection//array.nit:237 */
+ goto label1;
+ }
+ }
+ label1: while(0);
+ /* ./../lib/standard//string_search.nit:306 */
+ goto label2;
+ label2: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[1];
}
-val_t string_search___String___split(val_t self) {
- struct trace_t trace = {NULL, NULL, 310, LOCATE_string_search___String___split};
- val_t variable[3];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_string_search;
- variable[0] = self;
- variable[2] = variable[0];
- variable[2] = ((string_search___String___split_with_t)CALL(variable[2],COLOR_string_search___String___split_with))(variable[2], TAG_Char('\n')) /*String::split_with*/;
- variable[1] = variable[2];
- goto return_label42;
- return_label42: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t string_search___String___split(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_string_search;
+ fra.me.line = 309;
+ fra.me.meth = LOCATE_string_search___String___split;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//string_search.nit:311 */
+ REGB0 = TAG_Char('\n');
+ fra.me.REG[0] = CALL_string_search___String___split_with(fra.me.REG[0])(fra.me.REG[0], REGB0);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}