/* {STRING_8_SEARCHER}.fuzzy_index */
EIF_TYPED_VALUE F35_683 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x, EIF_TYPED_VALUE arg4x, EIF_TYPED_VALUE arg5x)
{
GTCX
char *l_feature_name = "fuzzy_index";
RTEX;
EIF_INTEGER_32 loc1 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc2 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc3 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc4 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc5 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc6 = (EIF_INTEGER_32) 0;
EIF_BOOLEAN loc7 = (EIF_BOOLEAN) 0;
EIF_INTEGER_32 loc8 = (EIF_INTEGER_32) 0;
EIF_REFERENCE loc9 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc10 = (EIF_REFERENCE) 0;
EIF_INTEGER_32 loc11 = (EIF_INTEGER_32) 0;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_r
#define arg3 arg3x.it_i4
#define arg4 arg4x.it_i4
#define arg5 arg5x.it_i4
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ur2x = {{0}, SK_REF};
#define ur2 ur2x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_TYPED_VALUE ui4_2x = {{0}, SK_INT32};
#define ui4_2 ui4_2x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_NATURAL_32 tu4_1;
EIF_NATURAL_32 tu4_2;
EIF_BOOLEAN tb1;
EIF_CHARACTER_8 tc1;
EIF_INTEGER_32 Result = ((EIF_INTEGER_32) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg5x.type & SK_HEAD) == SK_REF) arg5x.it_i4 = * (EIF_INTEGER_32 *) arg5x.it_r;
if ((arg4x.type & SK_HEAD) == SK_REF) arg4x.it_i4 = * (EIF_INTEGER_32 *) arg4x.it_r;
if ((arg3x.type & SK_HEAD) == SK_REF) arg3x.it_i4 = * (EIF_INTEGER_32 *) arg3x.it_r;
RTLI(8);
RTLR(0,arg1);
RTLR(1,arg2);
RTLR(2,ur1);
RTLR(3,ur2);
RTLR(4,Current);
RTLR(5,loc9);
RTLR(6,loc10);
RTLR(7,tr1);
RTLU (SK_INT32, &Result);
RTLU(SK_REF,&arg1);
RTLU(SK_REF,&arg2);
RTLU(SK_INT32,&arg3);
RTLU(SK_INT32,&arg4);
RTLU(SK_INT32,&arg5);
RTLU (SK_REF, &Current);
RTLU(SK_INT32, &loc1);
RTLU(SK_INT32, &loc2);
RTLU(SK_INT32, &loc3);
RTLU(SK_INT32, &loc4);
RTLU(SK_INT32, &loc5);
RTLU(SK_INT32, &loc6);
RTLU(SK_BOOL, &loc7);
RTLU(SK_INT32, &loc8);
RTLU(SK_REF, &loc9);
RTLU(SK_REF, &loc10);
RTLU(SK_INT32, &loc11);
RTEAA(l_feature_name, 34, Current, 11, 5, 773);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(34, Current, 773);
RTCC(arg1, 34, l_feature_name, 1, eif_attached_type(RTWCT(658, dtype, Dftype(Current))));
RTCC(arg2, 34, l_feature_name, 2, eif_attached_type(162));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("a_string_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("a_pattern_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg2 != NULL), label_1);
RTCK;
RTHOOK(3);
RTCT("a_pattern_not_empty", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2855, "is_empty", arg2))(arg2)).it_b);
RTTE((EIF_BOOLEAN) !tb1, label_1);
RTCK;
RTHOOK(4);
RTCT("start_large_enough", EX_PRE);
RTTE((EIF_BOOLEAN) (arg3 >= ((EIF_INTEGER_32) 1L)), label_1);
RTCK;
RTHOOK(5);
RTCT("end_pos_large_enough", EX_PRE);
RTTE((EIF_BOOLEAN) (arg3 <= (EIF_INTEGER_32) (arg4 + ((EIF_INTEGER_32) 1L))), label_1);
RTCK;
RTHOOK(6);
RTCT("end_pos_small_enough", EX_PRE);
ti4_1 = *(EIF_INTEGER_32 *)(arg1 + RTVA(3069, "count", arg1));
RTTE((EIF_BOOLEAN) (arg4 <= ti4_1), label_1);
RTCK;
RTHOOK(7);
RTCT("fuzzy_non_negative", EX_PRE);
RTTE((EIF_BOOLEAN) (arg5 >= ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTHOOK(8);
RTCT("acceptable_fuzzy", EX_PRE);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2877, "count", arg2))(arg2)).it_i4);
RTTE((EIF_BOOLEAN) (arg5 <= ti4_1), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(9);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2877, "count", arg2))(arg2)).it_i4);
if ((EIF_BOOLEAN)(arg5 == ti4_1)) {
RTHOOK(10);
RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */
Result = (EIF_INTEGER_32) arg3;
} else {
RTHOOK(11);
if ((EIF_BOOLEAN)(arg5 == ((EIF_INTEGER_32) 0L))) {
RTHOOK(12);
RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */
ur1 = RTCCL(arg1);
ur2 = RTCCL(arg2);
ui4_1 = arg3;
ui4_2 = arg4;
Result = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(660, dtype))(Current, ur1x, ur2x, ui4_1x, ui4_2x)).it_i4);
} else {
RTHOOK(13);
ur1 = RTCCL(arg2);
ui4_1 = arg5;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(667, dtype))(Current, ur1x, ui4_1x);
RTHOOK(14);
RTDBGAL(Current, 9, 0xF80000B1, 0, 0); /* loc9 */
loc9 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(665, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTHOOK(15);
if ((EIF_BOOLEAN)(loc9 != NULL)) {
RTHOOK(16);
RTDBGAL(Current, 5, 0x10000000, 1, 0); /* loc5 */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2877, "count", arg2))(arg2)).it_i4);
loc5 = (EIF_INTEGER_32) ti4_1;
RTHOOK(17);
RTDBGAL(Current, 10, 0xF80001E0, 0, 0); /* loc10 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3066, "area", arg1))(arg1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc10 = (EIF_REFERENCE) tr1;
RTHOOK(18);
RTDBGAL(Current, 11, 0x10000000, 1, 0); /* loc11 */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3067, "area_lower", arg1))(arg1)).it_i4);
loc11 = (EIF_INTEGER_32) ti4_1;
RTHOOK(19);
RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */
loc1 = (EIF_INTEGER_32) (EIF_INTEGER_32) (arg3 + loc11);
RTHOOK(20);
RTDBGAL(Current, 4, 0x10000000, 1, 0); /* loc4 */
loc4 = (EIF_INTEGER_32) (EIF_INTEGER_32) ((EIF_INTEGER_32) (arg4 + ((EIF_INTEGER_32) 1L)) + loc11);
for (;;) {
RTHOOK(21);
if ((EIF_BOOLEAN) ((EIF_INTEGER_32) (loc1 + loc5) > loc4)) break;
RTHOOK(22);
RTDBGAL(Current, 2, 0x10000000, 1, 0); /* loc2 */
loc2 = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
RTHOOK(23);
RTDBGAL(Current, 6, 0x10000000, 1, 0); /* loc6 */
loc6 = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
RTHOOK(24);
RTDBGAL(Current, 7, 0x04000000, 1, 0); /* loc7 */
loc7 = (EIF_BOOLEAN) (EIF_BOOLEAN) 1;
for (;;) {
RTHOOK(25);
if ((EIF_BOOLEAN)(loc2 == loc5)) break;
RTHOOK(26);
ui4_1 = (EIF_INTEGER_32) ((EIF_INTEGER_32) (loc1 + loc2) - ((EIF_INTEGER_32) 1L));
tc1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1712, "item", loc10))(loc10, ui4_1x)).it_c1);
RTNHOOK(26,1);
tu4_1 = (EIF_NATURAL_32) tc1;
ui4_1 = (EIF_INTEGER_32) (loc2 + ((EIF_INTEGER_32) 1L));
tu4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2840, "code", arg2))(arg2, ui4_1x)).it_n4);
if ((EIF_BOOLEAN)(tu4_1 != tu4_2)) {
RTHOOK(27);
RTDBGAL(Current, 6, 0x10000000, 1, 0); /* loc6 */
loc6++;
RTHOOK(28);
if ((EIF_BOOLEAN) (loc6 > arg5)) {
RTHOOK(29);
RTDBGAL(Current, 2, 0x10000000, 1, 0); /* loc2 */
loc2 = (EIF_INTEGER_32) (EIF_INTEGER_32) (loc5 - ((EIF_INTEGER_32) 1L));
RTHOOK(30);
RTDBGAL(Current, 7, 0x04000000, 1, 0); /* loc7 */
loc7 = (EIF_BOOLEAN) (EIF_BOOLEAN) 0;
}
}
RTHOOK(31);
RTDBGAL(Current, 2, 0x10000000, 1, 0); /* loc2 */
loc2++;
}
RTHOOK(32);
if (loc7) {
RTHOOK(33);
RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */
Result = (EIF_INTEGER_32) (EIF_INTEGER_32) (loc1 - loc11);
RTHOOK(34);
RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */
loc1 = (EIF_INTEGER_32) loc4;
} else {
RTHOOK(35);
if ((EIF_BOOLEAN) ((EIF_INTEGER_32) (loc1 + loc5) <= arg4)) {
RTHOOK(36);
RTDBGAL(Current, 2, 0x10000000, 1, 0); /* loc2 */
loc2 = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
RTHOOK(37);
RTDBGAL(Current, 3, 0x10000000, 1, 0); /* loc3 */
loc3 = (EIF_INTEGER_32) (EIF_INTEGER_32) (loc5 + ((EIF_INTEGER_32) 1L));
for (;;) {
RTHOOK(38);
if ((EIF_BOOLEAN) (loc2 > arg5)) break;
RTHOOK(39);
RTDBGAL(Current, 8, 0x10000000, 1, 0); /* loc8 */
ui4_1 = (EIF_INTEGER_32) ((EIF_INTEGER_32) ((EIF_INTEGER_32) (loc1 + loc5) - loc2) - ((EIF_INTEGER_32) 1L));
tc1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1712, "item", loc10))(loc10, ui4_1x)).it_c1);
RTNHOOK(39,1);
ti4_1 = (EIF_INTEGER_32) (tc1);
loc8 = (EIF_INTEGER_32) ti4_1;
RTHOOK(40);
RTDBGAL(Current, 3, 0x10000000, 1, 0); /* loc3 */
ui4_1 = loc2;
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1712, "item", loc9))(loc9, ui4_1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(40,1);
ui4_1 = loc8;
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1712, "item", tr1))(tr1, ui4_1x)).it_i4);
ui4_1 = ti4_1;
ti4_1 = eif_min_int32 (loc3,ui4_1);
loc3 = (EIF_INTEGER_32) ti4_1;
RTHOOK(41);
RTDBGAL(Current, 2, 0x10000000, 1, 0); /* loc2 */
loc2++;
}
RTHOOK(42);
RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */
loc1 += loc3;
} else {
RTHOOK(43);
RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */
loc1++;
}
}
}
}
RTHOOK(44);
RTDBGAA(Current, dtype, 665, 0xF80000B1, 0); /* deltas_array */
*(EIF_REFERENCE *)(Current + RTWA(665, dtype)) = (EIF_REFERENCE) NULL;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(45);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(18);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_INT32; r.it_i4 = Result; return r; }
#undef up1
#undef ur1
#undef ur2
#undef ui4_1
#undef ui4_2
#undef arg5
#undef arg4
#undef arg3
#undef arg2
#undef arg1
}
/* {EV_TEXT}.scroll_up */
void F1274_11857 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "scroll_up";
RTEX;
#define arg1 arg1x.it_i4
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(1);
RTLR(0,Current);
RTLU (SK_VOID, NULL);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1273, Current, 0, 1, 17757);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1273, Current, 17757);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("i_positive", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 > ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9140, dtype))(Current)).it_i4);
ui4_1 = ((EIF_INTEGER_32) 1L);
ti4_2 = eif_max_int32 ((EIF_INTEGER_32) (ti4_1 - arg1),ui4_1);
RTNHOOK(2,1);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9141, dtype))(Current)).it_i4);
ui4_1 = ti4_1;
ti4_1 = eif_min_int32 (ti4_2,ui4_1);
ui4_1 = ti4_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(9147, dtype))(Current, ui4_1x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(3);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef ui4_1
#undef arg1
}
/* {EV_GAUGE}.leap_forward */
void F1264_11743 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "leap_forward";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_INTEGER_32 ti4_3;
EIF_INTEGER_32 ti4_4;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1263, Current, 0, 0, 17646);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1263, Current, 17646);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("not_destroyed", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8387, dtype))(Current)).it_b);
RTTE((EIF_BOOLEAN) !tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:
;
if (RTAL & CK_ENSURE) {
in_assertion = ~0;
RTE_OT
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9059, dtype))(Current)).it_i4);
ti4_1 = ti4_2;
tr1 = NULL;
RTE_O
tr1 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(2);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8388, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(2,1);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(10569, "leap_forward", tr2))(tr2);
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("incremented", EX_POST);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9059, dtype))(Current)).it_i4);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(3,1);
ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2441, "upper", tr2))(tr2)).it_i4);
RTNHOOK(3,2);
RTCO(tr1);
ti4_4 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9061, dtype))(Current)).it_i4);
ui4_1 = (EIF_INTEGER_32) (ti4_1 + ti4_4);
ti4_4 = eif_min_int32 (ti4_3,ui4_1);
if ((EIF_BOOLEAN)(ti4_2 == ti4_4)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef up1
#undef ui4_1
}
