static void simprim_a_1859873907_2082082460_p_1(char *t0) { char t41[16]; char t50[16]; char t51[16]; char *t1; char *t2; char *t3; unsigned char t4; unsigned char t5; char *t6; unsigned char t7; unsigned char t8; unsigned char t9; char *t10; unsigned char t11; unsigned char t12; char *t13; unsigned char t14; unsigned char t15; char *t16; unsigned char t17; unsigned char t18; char *t19; unsigned char t20; unsigned char t21; int t22; unsigned int t23; unsigned int t24; unsigned int t25; int64 t26; int64 t27; int t28; unsigned int t29; unsigned int t30; unsigned int t31; int64 t32; int64 t33; char *t34; char *t35; char *t36; char *t37; char *t38; char *t39; char *t40; char *t42; char *t43; int t44; unsigned int t45; char *t46; char *t47; char *t48; int64 t49; char *t52; char *t53; LAB0: t1 = (t0 + 4608U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 1616U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t4); t2 = (t0 + 3112U); t6 = *((char **)t2); t2 = (t6 + 0); *((unsigned char *)t2) = t5; t2 = (t0 + 3232U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = (t4 == (unsigned char)1); if (t5 != 0) goto LAB4; LAB6: t2 = (t0 + 2272U); t3 = *((char **)t2); t22 = ((unsigned char)0 - 0); t23 = (t22 * 1); t24 = (8U * t23); t25 = (0 + t24); t2 = (t3 + t25); t26 = *((int64 *)t2); t6 = (t0 + 2392U); t10 = *((char **)t6); t27 = *((int64 *)t10); t5 = (t26 < t27); if (t5 == 1) goto LAB23; LAB24: t6 = (t0 + 2272U); t13 = *((char **)t6); t28 = ((unsigned char)1 - 0); t29 = (t28 * 1); t30 = (8U * t29); t31 = (0 + t30); t6 = (t13 + t31); t32 = *((int64 *)t6); t16 = (t0 + 2392U); t19 = *((char **)t16); t33 = *((int64 *)t19); t7 = (t32 < t33); t4 = t7; LAB25: if (t4 != 0) goto LAB20; LAB22: t16 = (t0 + 4416); t34 = (t0 + 2992U); t35 = *((char **)t34); t34 = (t35 + 0); t36 = (t0 + 1256U); t37 = (t0 + 5120); t38 = (t0 + 2752U); t39 = *((char **)t38); t38 = (t0 + 7928); t42 = (t41 + 0U); t43 = (t42 + 0U); *((int *)t43) = 1; t43 = (t42 + 4U); *((int *)t43) = 1; t43 = (t42 + 8U); *((int *)t43) = 1; t44 = (1 - 1); t45 = (t44 * 1); t45 = (t45 + 1); t43 = (t42 + 12U); *((unsigned int *)t43) = t45; t43 = (t0 + 3112U); t46 = *((char **)t43); t8 = *((unsigned char *)t46); t43 = (t0 + 2872U); t47 = *((char **)t43); t9 = *((unsigned char *)t47); t43 = (t0 + 2392U); t48 = *((char **)t43); t49 = *((int64 *)t48); simprim_p_4208868169_sub_293484706_3008368149(SIMPRIM_P_4208868169, t16, t34, t36, 0U, 0U, t37, t39, t38, t41, t8, t9, t49, (unsigned char)0, (unsigned char)1); LAB21: LAB5: t2 = (t0 + 2992U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = (t4 == (unsigned char)0); if (t5 != 0) goto LAB26; LAB28: LAB27: t2 = (t0 + 2992U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = (t4 == (unsigned char)1); if (t5 != 0) goto LAB29; LAB31: LAB30: t2 = (t0 + 1616U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t5 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t4); t2 = (t0 + 2512U); t6 = *((char **)t2); t2 = (t6 + 0); *((unsigned char *)t2) = t5; t2 = (t0 + 4416); t3 = (t0 + 1256U); t6 = (t0 + 5120); t10 = (t0 + 2632U); t13 = *((char **)t10); t10 = (t0 + 7929); t19 = (t41 + 0U); t34 = (t19 + 0U); *((int *)t34) = 1; t34 = (t19 + 4U); *((int *)t34) = 1; t34 = (t19 + 8U); *((int *)t34) = 1; t22 = (1 - 1); t23 = (t22 * 1); t23 = (t23 + 1); t34 = (t19 + 12U); *((unsigned int *)t34) = t23; t34 = (t0 + 2512U); t35 = *((char **)t34); t4 = *((unsigned char *)t35); t34 = xsi_get_transient_memory(32U); memset(t34, 0, 32U); t36 = t34; t28 = (0 - 0); t23 = (t28 * 1); t24 = (32U * t23); t37 = (t36 + t24); t38 = t37; t39 = (t0 + 1576U); t26 = xsi_signal_get_last_event(t39); *((int64 *)t38) = t26; t40 = (t37 + 8U); t42 = (t0 + 2272U); t43 = *((char **)t42); memcpy(t40, t43, 16U); t42 = (t37 + 24U); *((unsigned char *)t42) = (unsigned char)1; t46 = (t50 + 0U); t47 = (t46 + 0U); *((int *)t47) = 0; t47 = (t46 + 4U); *((int *)t47) = 0; t47 = (t46 + 8U); *((int *)t47) = 1; t44 = (0 - 0); t25 = (t44 * 1); t25 = (t25 + 1); t47 = (t46 + 12U); *((unsigned int *)t47) = t25; t47 = ((IEEE_P_2717149903) + 1288U); t48 = *((char **)t47); memcpy(t51, t48, 16U); t47 = (t0 + 1912U); t52 = *((char **)t47); t5 = *((unsigned char *)t52); t47 = (t0 + 2032U); t53 = *((char **)t47); t7 = *((unsigned char *)t53); ieee_p_2717149903_sub_2486506143_2101202839(IEEE_P_2717149903, t2, t3, 0U, 0U, t6, t13, t10, t41, t4, t34, t50, t51, (unsigned char)3, t5, t7, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0); LAB34: t2 = (t0 + 4976); *((int *)t2) = 1; *((char **)t1) = &&LAB35; LAB1: return; LAB4: LAB9: t2 = (t0 + 4944); *((int *)t2) = 1; *((char **)t1) = &&LAB10; goto LAB1; LAB7: t6 = (t0 + 4944); *((int *)t6) = 0; t2 = (t0 + 3232U); t3 = *((char **)t2); t2 = (t3 + 0); *((unsigned char *)t2) = (unsigned char)0; goto LAB5; LAB8: t6 = (t0 + 1616U); t10 = *((char **)t6); t11 = *((unsigned char *)t10); t12 = (t11 == (unsigned char)2); if (t12 == 1) goto LAB17; LAB18: t6 = (t0 + 1616U); t13 = *((char **)t6); t14 = *((unsigned char *)t13); t15 = (t14 == (unsigned char)3); t9 = t15; LAB19: if (t9 == 1) goto LAB14; LAB15: t6 = (t0 + 1616U); t16 = *((char **)t6); t17 = *((unsigned char *)t16); t18 = (t17 == (unsigned char)6); t8 = t18; LAB16: if (t8 == 1) goto LAB11; LAB12: t6 = (t0 + 1616U); t19 = *((char **)t6); t20 = *((unsigned char *)t19); t21 = (t20 == (unsigned char)7); t7 = t21; LAB13: if (t7 == 1) goto LAB7; else goto LAB9; LAB10: goto LAB8; LAB11: t7 = (unsigned char)1; goto LAB13; LAB14: t8 = (unsigned char)1; goto LAB16; LAB17: t9 = (unsigned char)1; goto LAB19; LAB20: goto LAB21; LAB23: t4 = (unsigned char)1; goto LAB25; LAB26: t2 = (t0 + 2512U); t6 = *((char **)t2); t7 = *((unsigned char *)t6); t8 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t7); t2 = (t0 + 2872U); t10 = *((char **)t2); t2 = (t10 + 0); *((unsigned char *)t2) = t8; goto LAB27; LAB29: t2 = (t0 + 2992U); t6 = *((char **)t2); t2 = (t6 + 0); *((unsigned char *)t2) = (unsigned char)0; goto LAB30; LAB32: t3 = (t0 + 4976); *((int *)t3) = 0; goto LAB2; LAB33: goto LAB32; LAB35: goto LAB33; }
static void simprim_a_3156740924_4150518722_p_2(char *t0) { char t31[16]; char t47[16]; char t51[48]; char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; unsigned char t6; unsigned char t7; char *t8; int t9; unsigned int t10; unsigned int t11; unsigned int t12; int64 t13; int64 t14; char *t15; int t16; unsigned int t17; unsigned int t18; unsigned int t19; int64 t20; char *t21; char *t22; int64 t23; char *t24; char *t25; char *t26; char *t27; char *t28; char *t29; char *t30; char *t32; char *t33; int t34; unsigned int t35; char *t36; char *t37; unsigned char t38; char *t39; int64 t40; char *t41; char *t42; char *t43; char *t44; char *t45; char *t46; char *t48; int t49; char *t50; char *t52; char *t53; LAB0: t1 = (t0 + 1776U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t3); t1 = (t0 + 3392U); t5 = *((char **)t1); t1 = (t5 + 0); *((unsigned char *)t1) = t4; t1 = (t0 + 1576U); t3 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t3 != 0) goto LAB2; LAB4: LAB3: t1 = (t0 + 1616U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)2); if (t4 != 0) goto LAB5; LAB7: LAB6: t1 = (t0 + 3272U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB17; LAB19: LAB18: t1 = (t0 + 1776U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 1616U); t5 = *((char **)t1); t4 = *((unsigned char *)t5); t1 = ((IEEE_P_2717149903) + 1888U); t8 = *((char **)t1); t6 = ieee_p_1367372525_sub_3976821582_4070434989(IEEE_P_1367372525, t3, t4, t8); t1 = (t0 + 2792U); t15 = *((char **)t1); t1 = (t15 + 0); *((unsigned char *)t1) = t6; t1 = (t0 + 5496); t2 = (t0 + 1256U); t5 = (t0 + 6264); t8 = (t0 + 2912U); t15 = *((char **)t8); t8 = (t0 + 9829); t22 = (t31 + 0U); t24 = (t22 + 0U); *((int *)t24) = 1; t24 = (t22 + 4U); *((int *)t24) = 1; t24 = (t22 + 8U); *((int *)t24) = 1; t9 = (1 - 1); t10 = (t9 * 1); t10 = (t10 + 1); t24 = (t22 + 12U); *((unsigned int *)t24) = t10; t24 = (t0 + 2792U); t25 = *((char **)t24); t3 = *((unsigned char *)t25); t24 = xsi_get_transient_memory(128U); memset(t24, 0, 128U); t26 = t24; t16 = (0 - 0); t10 = (t16 * 1); t11 = (64U * t10); t27 = (t26 + t11); t28 = t27; t29 = (t0 + 1576U); t13 = xsi_signal_get_last_event(t29); *((int64 *)t28) = t13; t30 = (t27 + 8U); t32 = (t0 + 3632U); t33 = *((char **)t32); memcpy(t30, t33, 48U); t32 = (t27 + 56U); *((unsigned char *)t32) = (unsigned char)1; t34 = (1 - 0); t12 = (t34 * 1); t17 = (64U * t12); t36 = (t26 + t17); t37 = t36; t39 = (t0 + 1736U); t14 = xsi_signal_get_last_event(t39); *((int64 *)t37) = t14; t41 = (t36 + 8U); t42 = (t0 + 2552U); t43 = *((char **)t42); t42 = ieee_p_2717149903_sub_4115899059_2101202839(IEEE_P_2717149903, t43); memcpy(t41, t42, 48U); t44 = (t36 + 56U); t45 = (t0 + 1616U); t46 = *((char **)t45); t4 = *((unsigned char *)t46); t6 = (t4 == (unsigned char)2); *((unsigned char *)t44) = t6; t45 = (t47 + 0U); t48 = (t45 + 0U); *((int *)t48) = 0; t48 = (t45 + 4U); *((int *)t48) = 1; t48 = (t45 + 8U); *((int *)t48) = 1; t49 = (1 - 0); t18 = (t49 * 1); t18 = (t18 + 1); t48 = (t45 + 12U); *((unsigned int *)t48) = t18; t48 = ((IEEE_P_2717149903) + 1408U); t50 = *((char **)t48); memcpy(t51, t50, 48U); t48 = (t0 + 2072U); t52 = *((char **)t48); t7 = *((unsigned char *)t52); t48 = (t0 + 2192U); t53 = *((char **)t48); t38 = *((unsigned char *)t53); t48 = (t0 + 9830); ieee_p_2717149903_sub_3490601596_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t5, t15, t8, t31, t3, t24, t47, t51, (unsigned char)3, t7, t38, (unsigned char)1, t48, (unsigned char)0, (unsigned char)0, (unsigned char)0); t1 = (t0 + 3272U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)1); if (t4 != 0) goto LAB20; LAB22: LAB21: t1 = (t0 + 6040); *((int *)t1) = 1; LAB1: return; LAB2: t2 = (t0 + 3512U); t5 = *((char **)t2); t2 = (t5 + 0); *((unsigned char *)t2) = (unsigned char)1; goto LAB3; LAB5: t1 = (t0 + 3512U); t5 = *((char **)t1); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)1); if (t7 != 0) goto LAB8; LAB10: t1 = (t0 + 2552U); t2 = *((char **)t1); t9 = ((unsigned char)0 - 0); t10 = (t9 * 1); t11 = (8U * t10); t12 = (0 + t11); t1 = (t2 + t12); t13 = *((int64 *)t1); t5 = (t0 + 2672U); t8 = *((char **)t5); t14 = *((int64 *)t8); t4 = (t13 < t14); if (t4 == 1) goto LAB14; LAB15: t5 = (t0 + 2552U); t15 = *((char **)t5); t16 = ((unsigned char)1 - 0); t17 = (t16 * 1); t18 = (8U * t17); t19 = (0 + t18); t5 = (t15 + t19); t20 = *((int64 *)t5); t21 = (t0 + 2672U); t22 = *((char **)t21); t23 = *((int64 *)t22); t6 = (t20 < t23); t3 = t6; LAB16: if (t3 != 0) goto LAB11; LAB13: t21 = (t0 + 5496); t24 = (t0 + 3272U); t25 = *((char **)t24); t24 = (t25 + 0); t26 = (t0 + 1256U); t27 = (t0 + 6264); t28 = (t0 + 3032U); t29 = *((char **)t28); t28 = (t0 + 9828); t32 = (t31 + 0U); t33 = (t32 + 0U); *((int *)t33) = 1; t33 = (t32 + 4U); *((int *)t33) = 1; t33 = (t32 + 8U); *((int *)t33) = 1; t34 = (1 - 1); t35 = (t34 * 1); t35 = (t35 + 1); t33 = (t32 + 12U); *((unsigned int *)t33) = t35; t33 = (t0 + 3392U); t36 = *((char **)t33); t7 = *((unsigned char *)t36); t33 = (t0 + 3152U); t37 = *((char **)t33); t38 = *((unsigned char *)t37); t33 = (t0 + 2672U); t39 = *((char **)t33); t40 = *((int64 *)t39); simprim_p_4208868169_sub_293484706_3008368149(SIMPRIM_P_4208868169, t21, t24, t26, 0U, 0U, t27, t29, t28, t31, t7, t38, t40, (unsigned char)0, (unsigned char)1); LAB12: LAB9: goto LAB6; LAB8: t1 = (t0 + 3512U); t8 = *((char **)t1); t1 = (t8 + 0); *((unsigned char *)t1) = (unsigned char)0; goto LAB9; LAB11: goto LAB12; LAB14: t3 = (unsigned char)1; goto LAB16; LAB17: t1 = (t0 + 2792U); t5 = *((char **)t1); t6 = *((unsigned char *)t5); t7 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t6); t1 = (t0 + 3152U); t8 = *((char **)t1); t1 = (t8 + 0); *((unsigned char *)t1) = t7; goto LAB18; LAB20: t1 = (t0 + 3272U); t5 = *((char **)t1); t1 = (t5 + 0); *((unsigned char *)t1) = (unsigned char)0; goto LAB21; }