void F893_7251 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "run_espec";
RTEX;
RTED;
EIF_BOOLEAN EIF_VOLATILE loc1 = (EIF_BOOLEAN) 0;
EIF_REFERENCE EIF_VOLATILE saved_except = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE EIF_VOLATILE tr1 = NULL;
RTCDT;
RTSN;
RTDA;
RTDT;
RTXD;
RTLXD;
RTXI(4);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,ur1);
RTLR(3,saved_except);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_BOOL, &loc1);
RTLXL;
RTEAA(l_feature_name, 892, Current, 1, 0, 12878);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(892, Current, 12878);
RTIV(Current, RTAL);
RTE_T
RTHOOK(1);
if ((EIF_BOOLEAN) !loc1) {
RTHOOK(2);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(5156, dtype))(Current);
RTHOOK(3);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(5164, dtype))(Current);
}
void F1050_9490 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "run";
RTEX;
RTED;
EIF_BOOLEAN EIF_VOLATILE loc1 = (EIF_BOOLEAN) 0;
EIF_REFERENCE EIF_VOLATILE loc2 = (EIF_REFERENCE) 0;
EIF_REFERENCE EIF_VOLATILE loc3 = (EIF_REFERENCE) 0;
EIF_REFERENCE EIF_VOLATILE saved_except = (EIF_REFERENCE) 0;
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_REFERENCE EIF_VOLATILE tr1 = NULL;
EIF_INTEGER_32 EIF_VOLATILE ti4_1;
EIF_BOOLEAN EIF_VOLATILE tb1;
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTDT;
RTXD;
RTLXD;
RTXI(6);
RTLR(0,loc2);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,ur1);
RTLR(4,loc3);
RTLR(5,saved_except);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_BOOL, &loc1);
RTLU(SK_REF, &loc2);
RTLU(SK_REF, &loc3);
RTLXL;
RTEAA(l_feature_name, 1049, Current, 3, 0, 14984);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1049, Current, 14984);
RTIV(Current, RTAL);
RTE_T
RTHOOK(1);
if ((EIF_BOOLEAN) !loc1) {
RTHOOK(2);
RTCT0(NULL, EX_CHECK);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7269, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc2 = RTCCL(tr1);
if ((EIF_TRUE)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(3);
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,0,173,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr1 = RTLNTS(typres0, 1, 1);
}
ur1 = tr1;
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4323, "item", loc2))(loc2, ur1x)).it_b);
if (tb1) {
RTHOOK(4);
RTDBGAA(Current, dtype, 7263, 0x04000000, 1); /* passed */
*(EIF_BOOLEAN *)(Current + RTWA(7263, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 1;
}
}
RTVI(Current, RTAL);
RTRS;
RTE_E
RTLXE;
RTXS(6);
RTHOOK(5);
RTDBGAA(Current, dtype, 7264, 0x04000000, 1); /* contract_violated */
*(EIF_BOOLEAN *)(Current + RTWA(7264, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 1;
RTHOOK(6);
RTCT0(NULL, EX_CHECK);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1236, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc3 = RTCCL(tr1);
if (EIF_TEST(loc3)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(7);
RTDBGAA(Current, dtype, 7267, 0xF80000DB, 0); /* violation_tag */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(17, "twin", loc3))(loc3)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(7267, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(8);
RTDBGAA(Current, dtype, 7268, 0x10000000, 1); /* violation_type */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1235, dtype))(Current)).it_i4);
*(EIF_INTEGER_32 *)(Current + RTWA(7268, dtype)) = (EIF_INTEGER_32) ti4_1;
RTHOOK(9);
RTDBGAL(Current, 1, 0x04000000, 1, 0); /* loc1 */
loc1 = (EIF_BOOLEAN) (EIF_BOOLEAN) 1;
RTHOOK(10);
RTTS;
RTPS;
RTER;
RTMD(0);
/* NOTREACHED */
RTE_EE
RTHOOK(11);
RTDBGLE;
RTMD(0);
RTEOK;
RTXE;
RTLO(5);
#undef up1
#undef ur1
}
void F898_7297 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "run";
RTEX;
RTED;
EIF_BOOLEAN EIF_VOLATILE loc1 = (EIF_BOOLEAN) 0;
EIF_REFERENCE EIF_VOLATILE loc2 = (EIF_REFERENCE) 0;
EIF_REFERENCE EIF_VOLATILE loc3 = (EIF_REFERENCE) 0;
EIF_REFERENCE EIF_VOLATILE saved_except = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE up2x = {{0}, SK_POINTER};
#define up2 up2x.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_REFERENCE EIF_VOLATILE tr1 = NULL;
EIF_REFERENCE EIF_VOLATILE tr2 = NULL;
EIF_INTEGER_32 EIF_VOLATILE ti4_1;
EIF_BOOLEAN EIF_VOLATILE tb1;
EIF_BOOLEAN EIF_VOLATILE tb2;
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTDT;
RTXD;
RTLXD;
RTXI(8);
RTLR(0,loc2);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,ur1);
RTLR(4,tr2);
RTLR(5,ur2);
RTLR(6,loc3);
RTLR(7,saved_except);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_BOOL, &loc1);
RTLU(SK_REF, &loc2);
RTLU(SK_REF, &loc3);
RTLXL;
RTEAA(l_feature_name, 897, Current, 3, 0, 12907);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(897, Current, 12907);
RTIV(Current, RTAL);
RTE_T
RTHOOK(1);
if ((EIF_BOOLEAN) !loc1) {
RTHOOK(2);
RTCT0(NULL, EX_CHECK);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5195, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc2 = RTCCL(tr1);
if ((EIF_TRUE)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(3);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(4293, "apply", loc2))(loc2);
RTHOOK(4);
RTDBGAA(Current, dtype, 5189, 0x04000000, 1); /* passed */
*(EIF_BOOLEAN *)(Current + RTWA(5189, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 0;
}
void F110_8087 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "launch_with_attributes";
RTEX;
RTED;
EIF_REFERENCE EIF_VOLATILE saved_except = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE up2x = {{0}, SK_POINTER};
#define up2 up2x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ub1x = {{0}, SK_BOOL};
#define ub1 ub1x.it_b
EIF_POINTER EIF_VOLATILE tp1;
EIF_REFERENCE EIF_VOLATILE tr1 = NULL;
EIF_BOOLEAN EIF_VOLATILE tb1;
RTCDT;
RTSN;
RTDA;
RTDT;
RTXD;
RTLXD;
RTXI(5);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,ur1);
RTLR(4,saved_except);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLXL;
RTEAA(l_feature_name, 109, Current, 0, 1, 1780);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(109, Current, 1780);
if (arg1) {
RTCC(arg1, 109, l_feature_name, 1, 460);
}
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("thread_capable", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(11006, 286))(Current)).it_b);
RTTE(tb1, label_1);
RTCK;
RTHOOK(2);
RTCT("is_launchable", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7921, dtype))(Current)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTE_T
RTHOOK(3);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7926, 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);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(12580, "lock", tr1))(tr1);
RTHOOK(4);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7921, dtype))(Current)).it_b);
if ((EIF_BOOLEAN) !tb1) {
RTHOOK(5);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7927, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(5,1);
ub1 = (EIF_BOOLEAN) 0;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(9948, "put", tr1))(tr1, ub1x);
} else {
