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_1808384574_1912361408_p_3(char *t0) { char t1[16]; char t7[16]; char t12[16]; char t52[16]; char *t2; char *t3; unsigned char t4; char *t5; unsigned char t6; char *t8; char *t9; char *t10; unsigned char t11; char *t13; char *t14; char *t15; char *t16; char *t17; unsigned int t18; unsigned char t19; unsigned char t20; unsigned char t21; unsigned char t22; unsigned char t23; unsigned char t24; unsigned char t25; unsigned char t26; unsigned char t27; unsigned char t28; int t29; int t30; unsigned int t31; unsigned int t32; unsigned char t33; char *t34; unsigned int t35; unsigned int t36; unsigned int t37; unsigned int t38; unsigned int t39; unsigned int t40; unsigned int t41; unsigned int t42; unsigned int t43; char *t44; char *t45; char *t46; char *t47; unsigned int t48; unsigned int t49; unsigned int t50; char *t51; char *t53; char *t54; char *t55; int64 t56; int t57; int64 t58; char *t59; char *t60; int t61; char *t62; char *t63; char *t64; int64 t65; char *t66; char *t67; char *t68; char *t69; char *t70; int t71; char *t72; char *t73; char *t74; LAB0: t2 = (t0 + 1284U); t3 = *((char **)t2); t4 = *((unsigned char *)t3); t2 = (t0 + 1192U); t5 = *((char **)t2); t6 = *((unsigned char *)t5); t8 = ((IEEE_P_2592010699) + 2272); t2 = xsi_base_array_concat(t2, t7, t8, (char)99, t4, (char)99, t6, (char)101); t9 = (t0 + 1100U); t10 = *((char **)t9); t11 = *((unsigned char *)t10); t13 = ((IEEE_P_2592010699) + 2272); t9 = xsi_base_array_concat(t9, t12, t13, (char)97, t2, t7, (char)99, t11, (char)101); t14 = ieee_p_2592010699_sub_3879918230_503743352(IEEE_P_2592010699, t1, t9, t12); t15 = (t0 + 2272U); t16 = *((char **)t15); t15 = (t16 + 0); t17 = (t1 + 12U); t18 = *((unsigned int *)t17); t18 = (t18 * 1U); memcpy(t15, t14, t18); t2 = (t0 + 1284U); t3 = *((char **)t2); t6 = *((unsigned char *)t3); t2 = (t0 + 1192U); t5 = *((char **)t2); t11 = *((unsigned char *)t5); t19 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t6, t11); t2 = (t0 + 1100U); t8 = *((char **)t2); t20 = *((unsigned char *)t8); t21 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t19, t20); t22 = (t21 == (unsigned char)3); if (t22 == 1) goto LAB5; LAB6: t2 = (t0 + 1284U); t9 = *((char **)t2); t23 = *((unsigned char *)t9); t2 = (t0 + 1192U); t10 = *((char **)t2); t24 = *((unsigned char *)t10); t25 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t23, t24); t2 = (t0 + 1100U); t13 = *((char **)t2); t26 = *((unsigned char *)t13); t27 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t25, t26); t28 = (t27 == (unsigned char)2); t4 = t28; LAB7: if (t4 != 0) goto LAB2; LAB4: t3 = ((IEEE_P_2592010699) + 2332); t2 = xsi_base_array_concat(t2, t1, t3, (char)99, (unsigned char)2, (char)99, (unsigned char)2, (char)101); t5 = (t0 + 2068U); t8 = *((char **)t5); t18 = (7 - 7); t31 = (t18 * 1U); t32 = (0 + t31); t5 = (t8 + t32); t9 = (t0 + 2272U); t10 = *((char **)t9); t35 = (2 - 1); t36 = (t35 * 1U); t37 = (0 + t36); t9 = (t10 + t37); t4 = simprim_a_1808384574_1912361408_sub_655425482_666834939(t0, t5, t9); t14 = ((IEEE_P_2592010699) + 2332); t13 = xsi_base_array_concat(t13, t7, t14, (char)97, t2, t1, (char)99, t4, (char)101); t15 = (t0 + 2068U); t16 = *((char **)t15); t38 = (7 - 3); t39 = (t38 * 1U); t40 = (0 + t39); t15 = (t16 + t40); t17 = (t0 + 2272U); t34 = *((char **)t17); t41 = (2 - 1); t42 = (t41 * 1U); t43 = (0 + t42); t17 = (t34 + t43); t6 = simprim_a_1808384574_1912361408_sub_655425482_666834939(t0, t15, t17); t45 = ((IEEE_P_2592010699) + 2332); t44 = xsi_base_array_concat(t44, t12, t45, (char)97, t13, t7, (char)99, t6, (char)101); t46 = (t0 + 2272U); t47 = *((char **)t46); t29 = (2 - 2); t48 = (t29 * -1); t49 = (1U * t48); t50 = (0 + t49); t46 = (t47 + t50); t11 = *((unsigned char *)t46); t53 = ((IEEE_P_2592010699) + 2332); t51 = xsi_base_array_concat(t51, t52, t53, (char)99, (unsigned char)2, (char)99, t11, (char)101); t19 = simprim_a_1808384574_1912361408_sub_655425482_666834939(t0, t44, t51); t54 = (t0 + 2136U); t55 = *((char **)t54); t54 = (t55 + 0); *((unsigned char *)t54) = t19; LAB3: t2 = (t0 + 3244); t3 = (t0 + 708U); t5 = (t0 + 3724); t8 = (t0 + 2204U); t9 = *((char **)t8); t8 = (t0 + 6611); t13 = (t1 + 0U); t14 = (t13 + 0U); *((int *)t14) = 1; t14 = (t13 + 4U); *((int *)t14) = 1; t14 = (t13 + 8U); *((int *)t14) = 1; t29 = (1 - 1); t18 = (t29 * 1); t18 = (t18 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t18; t14 = (t0 + 2136U); t15 = *((char **)t14); t4 = *((unsigned char *)t15); t14 = xsi_get_transient_memory(96U); memset(t14, 0, 96U); t16 = t14; t30 = (0 - 0); t18 = (t30 * 1); t31 = (32U * t18); t17 = (t16 + t31); t34 = t17; t44 = (t0 + 1076U); t56 = xsi_signal_get_last_event(t44); *((int64 *)t34) = t56; t45 = (t17 + 8U); t46 = (t0 + 1796U); t47 = *((char **)t46); memcpy(t45, t47, 16U); t46 = (t17 + 24U); *((unsigned char *)t46) = (unsigned char)1; t57 = (1 - 0); t32 = (t57 * 1); t35 = (32U * t32); t51 = (t16 + t35); t53 = t51; t54 = (t0 + 1168U); t58 = xsi_signal_get_last_event(t54); *((int64 *)t53) = t58; t55 = (t51 + 8U); t59 = (t0 + 1864U); t60 = *((char **)t59); memcpy(t55, t60, 16U); t59 = (t51 + 24U); *((unsigned char *)t59) = (unsigned char)1; t61 = (2 - 0); t36 = (t61 * 1); t37 = (32U * t36); t62 = (t16 + t37); t63 = t62; t64 = (t0 + 1260U); t65 = xsi_signal_get_last_event(t64); *((int64 *)t63) = t65; t66 = (t62 + 8U); t67 = (t0 + 1932U); t68 = *((char **)t67); memcpy(t66, t68, 16U); t67 = (t62 + 24U); *((unsigned char *)t67) = (unsigned char)1; t69 = (t7 + 0U); t70 = (t69 + 0U); *((int *)t70) = 0; t70 = (t69 + 4U); *((int *)t70) = 2; t70 = (t69 + 8U); *((int *)t70) = 1; t71 = (2 - 0); t38 = (t71 * 1); t38 = (t38 + 1); t70 = (t69 + 12U); *((unsigned int *)t70) = t38; t70 = ((IEEE_P_2717149903) + 740U); t72 = *((char **)t70); memcpy(t12, t72, 16U); t70 = (t0 + 1456U); t73 = *((char **)t70); t6 = *((unsigned char *)t73); t70 = (t0 + 1524U); t74 = *((char **)t70); t11 = *((unsigned char *)t74); ieee_p_2717149903_sub_2486506143_2101202839(IEEE_P_2717149903, t2, t3, 0U, 0U, t5, t9, t8, t1, t4, t14, t7, t12, (unsigned char)3, t6, t11, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0); t2 = (t0 + 3564); *((int *)t2) = 1; LAB1: return; LAB2: t2 = (t0 + 2068U); t14 = *((char **)t2); t2 = (t0 + 2272U); t15 = *((char **)t2); t2 = (t0 + 6440U); t29 = simprim_p_4208868169_sub_3182959421_3008368149(SIMPRIM_P_4208868169, t15, t2); t30 = (t29 - 7); t18 = (t30 * -1); xsi_vhdl_check_range_of_index(7, 0, -1, t29); t31 = (1U * t18); t32 = (0 + t31); t16 = (t14 + t32); t33 = *((unsigned char *)t16); t17 = (t0 + 2136U); t34 = *((char **)t17); t17 = (t34 + 0); *((unsigned char *)t17) = t33; goto LAB3; LAB5: t4 = (unsigned char)1; goto LAB7; }
static void simprim_a_3542845926_2000130859_p_7(char *t0) { char t7[16]; char t74[16]; char t80[16]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t8; char *t9; int t10; unsigned int t11; char *t12; unsigned char t13; char *t14; int t15; unsigned int t16; char *t17; char *t18; char *t19; int64 t20; char *t21; char *t22; char *t23; int t24; unsigned int t25; unsigned int t26; char *t27; char *t28; char *t29; int64 t30; char *t31; char *t32; char *t33; int t34; unsigned int t35; unsigned int t36; char *t37; char *t38; char *t39; int64 t40; char *t41; char *t42; char *t43; int t44; unsigned int t45; unsigned int t46; char *t47; char *t48; char *t49; int64 t50; char *t51; char *t52; char *t53; int t54; unsigned int t55; unsigned int t56; char *t57; char *t58; char *t59; int64 t60; char *t61; char *t62; char *t63; int t64; unsigned int t65; unsigned int t66; char *t67; char *t68; char *t69; int64 t70; char *t71; char *t72; char *t73; char *t75; char *t76; int t77; unsigned int t78; char *t79; char *t81; unsigned char t82; char *t83; unsigned char t84; LAB0: t1 = (t0 + 4804); t2 = (t0 + 708U); t3 = (t0 + 5460); t4 = (t0 + 3256U); t5 = *((char **)t4); t4 = (t0 + 9576); t8 = (t7 + 0U); t9 = (t8 + 0U); *((int *)t9) = 1; t9 = (t8 + 4U); *((int *)t9) = 1; t9 = (t8 + 8U); *((int *)t9) = 1; t10 = (1 - 1); t11 = (t10 * 1); t11 = (t11 + 1); t9 = (t8 + 12U); *((unsigned int *)t9) = t11; t9 = (t0 + 1928U); t12 = *((char **)t9); t13 = *((unsigned char *)t12); t9 = xsi_get_transient_memory(192U); memset(t9, 0, 192U); t14 = t9; t15 = (0 - 0); t11 = (t15 * 1); t16 = (32U * t11); t17 = (t14 + t16); t18 = t17; t19 = (t0 + 1352U); t20 = xsi_signal_get_last_event(t19); *((int64 *)t18) = t20; t21 = (t17 + 8U); t22 = (t0 + 2644U); t23 = *((char **)t22); memcpy(t21, t23, 16U); t22 = (t17 + 24U); *((unsigned char *)t22) = (unsigned char)1; t24 = (1 - 0); t25 = (t24 * 1); t26 = (32U * t25); t27 = (t14 + t26); t28 = t27; t29 = (t0 + 1444U); t30 = xsi_signal_get_last_event(t29); *((int64 *)t28) = t30; t31 = (t27 + 8U); t32 = (t0 + 2712U); t33 = *((char **)t32); memcpy(t31, t33, 16U); t32 = (t27 + 24U); *((unsigned char *)t32) = (unsigned char)1; t34 = (2 - 0); t35 = (t34 * 1); t36 = (32U * t35); t37 = (t14 + t36); t38 = t37; t39 = (t0 + 1536U); t40 = xsi_signal_get_last_event(t39); *((int64 *)t38) = t40; t41 = (t37 + 8U); t42 = (t0 + 2780U); t43 = *((char **)t42); memcpy(t41, t43, 16U); t42 = (t37 + 24U); *((unsigned char *)t42) = (unsigned char)1; t44 = (3 - 0); t45 = (t44 * 1); t46 = (32U * t45); t47 = (t14 + t46); t48 = t47; t49 = (t0 + 1628U); t50 = xsi_signal_get_last_event(t49); *((int64 *)t48) = t50; t51 = (t47 + 8U); t52 = (t0 + 2848U); t53 = *((char **)t52); memcpy(t51, t53, 16U); t52 = (t47 + 24U); *((unsigned char *)t52) = (unsigned char)1; t54 = (4 - 0); t55 = (t54 * 1); t56 = (32U * t55); t57 = (t14 + t56); t58 = t57; t59 = (t0 + 1720U); t60 = xsi_signal_get_last_event(t59); *((int64 *)t58) = t60; t61 = (t57 + 8U); t62 = (t0 + 2916U); t63 = *((char **)t62); memcpy(t61, t63, 16U); t62 = (t57 + 24U); *((unsigned char *)t62) = (unsigned char)1; t64 = (5 - 0); t65 = (t64 * 1); t66 = (32U * t65); t67 = (t14 + t66); t68 = t67; t69 = (t0 + 1812U); t70 = xsi_signal_get_last_event(t69); *((int64 *)t68) = t70; t71 = (t67 + 8U); t72 = (t0 + 2984U); t73 = *((char **)t72); memcpy(t71, t73, 16U); t72 = (t67 + 24U); *((unsigned char *)t72) = (unsigned char)1; t75 = (t74 + 0U); t76 = (t75 + 0U); *((int *)t76) = 0; t76 = (t75 + 4U); *((int *)t76) = 5; t76 = (t75 + 8U); *((int *)t76) = 1; t77 = (5 - 0); t78 = (t77 * 1); t78 = (t78 + 1); t76 = (t75 + 12U); *((unsigned int *)t76) = t78; t76 = ((IEEE_P_2717149903) + 740U); t79 = *((char **)t76); memcpy(t80, t79, 16U); t76 = (t0 + 2100U); t81 = *((char **)t76); t82 = *((unsigned char *)t81); t76 = (t0 + 2168U); t83 = *((char **)t76); t84 = *((unsigned char *)t83); ieee_p_2717149903_sub_2486506143_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t3, t5, t4, t7, t13, t9, t74, t80, (unsigned char)3, t82, t84, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0); t1 = (t0 + 5156); *((int *)t1) = 1; LAB1: return; }
static void simprim_a_2553668210_1957906245_p_5(char *t0) { char t7[16]; char t54[16]; char t60[16]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t8; char *t9; int t10; unsigned int t11; char *t12; unsigned char t13; char *t14; int t15; unsigned int t16; char *t17; char *t18; char *t19; int64 t20; char *t21; char *t22; char *t23; int t24; unsigned int t25; unsigned int t26; char *t27; char *t28; char *t29; int64 t30; char *t31; char *t32; char *t33; int t34; unsigned int t35; unsigned int t36; char *t37; char *t38; char *t39; int64 t40; char *t41; char *t42; char *t43; int t44; unsigned int t45; unsigned int t46; char *t47; char *t48; char *t49; int64 t50; char *t51; char *t52; char *t53; char *t55; char *t56; int t57; unsigned int t58; char *t59; char *t61; unsigned char t62; char *t63; unsigned char t64; LAB0: t1 = (t0 + 6768); t2 = (t0 + 1256U); t3 = (t0 + 7776); t4 = (t0 + 4592U); t5 = *((char **)t4); t4 = (t0 + 11736); t8 = (t7 + 0U); t9 = (t8 + 0U); *((int *)t9) = 1; t9 = (t8 + 4U); *((int *)t9) = 1; t9 = (t8 + 8U); *((int *)t9) = 1; t10 = (1 - 1); t11 = (t10 * 1); t11 = (t11 + 1); t9 = (t8 + 12U); *((unsigned int *)t9) = t11; t9 = (t0 + 2736U); t12 = *((char **)t9); t13 = *((unsigned char *)t12); t9 = xsi_get_transient_memory(128U); memset(t9, 0, 128U); t14 = t9; t15 = (0 - 0); t11 = (t15 * 1); t16 = (32U * t11); t17 = (t14 + t16); t18 = t17; t19 = (t0 + 2056U); t20 = xsi_signal_get_last_event(t19); *((int64 *)t18) = t20; t21 = (t17 + 8U); t22 = (t0 + 3752U); t23 = *((char **)t22); memcpy(t21, t23, 16U); t22 = (t17 + 24U); *((unsigned char *)t22) = (unsigned char)1; t24 = (1 - 0); t25 = (t24 * 1); t26 = (32U * t25); t27 = (t14 + t26); t28 = t27; t29 = (t0 + 2216U); t30 = xsi_signal_get_last_event(t29); *((int64 *)t28) = t30; t31 = (t27 + 8U); t32 = (t0 + 3872U); t33 = *((char **)t32); memcpy(t31, t33, 16U); t32 = (t27 + 24U); *((unsigned char *)t32) = (unsigned char)1; t34 = (2 - 0); t35 = (t34 * 1); t36 = (32U * t35); t37 = (t14 + t36); t38 = t37; t39 = (t0 + 2376U); t40 = xsi_signal_get_last_event(t39); *((int64 *)t38) = t40; t41 = (t37 + 8U); t42 = (t0 + 3992U); t43 = *((char **)t42); memcpy(t41, t43, 16U); t42 = (t37 + 24U); *((unsigned char *)t42) = (unsigned char)1; t44 = (3 - 0); t45 = (t44 * 1); t46 = (32U * t45); t47 = (t14 + t46); t48 = t47; t49 = (t0 + 2536U); t50 = xsi_signal_get_last_event(t49); *((int64 *)t48) = t50; t51 = (t47 + 8U); t52 = (t0 + 4112U); t53 = *((char **)t52); memcpy(t51, t53, 16U); t52 = (t47 + 24U); *((unsigned char *)t52) = (unsigned char)1; t55 = (t54 + 0U); t56 = (t55 + 0U); *((int *)t56) = 0; t56 = (t55 + 4U); *((int *)t56) = 3; t56 = (t55 + 8U); *((int *)t56) = 1; t57 = (3 - 0); t58 = (t57 * 1); t58 = (t58 + 1); t56 = (t55 + 12U); *((unsigned int *)t56) = t58; t56 = ((IEEE_P_2717149903) + 1288U); t59 = *((char **)t56); memcpy(t60, t59, 16U); t56 = (t0 + 3032U); t61 = *((char **)t56); t62 = *((unsigned char *)t61); t56 = (t0 + 3152U); t63 = *((char **)t56); t64 = *((unsigned char *)t63); ieee_p_2717149903_sub_2486506143_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t3, t5, t4, t7, t13, t9, t54, t60, (unsigned char)3, t62, t64, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0); t1 = (t0 + 7360); *((int *)t1) = 1; LAB1: return; }
static void simprim_a_4130118134_1564065396_p_17(char *t0) { char t17[16]; char t25[16]; char t50[16]; char t59[288]; char *t1; char *t2; unsigned char t3; char *t4; unsigned char t5; unsigned char t6; char *t7; int64 t8; int64 t9; int64 t10; int64 t11; int64 t12; char *t13; char *t14; char *t15; char *t16; char *t18; char *t19; int t20; unsigned int t21; char *t22; char *t23; char *t24; char *t26; char *t27; int t28; char *t29; char *t30; char *t31; char *t32; char *t33; int64 t34; char *t35; unsigned char t36; char *t37; unsigned char t38; unsigned char t39; char *t40; unsigned char t41; unsigned char t42; unsigned char t43; unsigned char t44; unsigned char t45; char *t46; unsigned char t47; unsigned char t48; char *t49; char *t51; char *t52; int t53; char *t54; unsigned char t55; char *t56; unsigned char t57; unsigned char t58; unsigned int t60; unsigned int t61; unsigned int t62; unsigned char t63; unsigned char t64; unsigned char t65; char *t66; unsigned char t67; unsigned char t68; char *t69; unsigned char t70; unsigned char t71; int t72; unsigned int t73; unsigned int t74; char *t75; char *t76; char *t77; char *t78; char *t79; unsigned char t80; char *t81; char *t82; unsigned char t83; unsigned char t84; char *t85; unsigned char t86; unsigned char t87; int t88; unsigned int t89; unsigned int t90; char *t91; char *t92; char *t93; char *t94; char *t95; int t96; unsigned int t97; unsigned int t98; char *t99; char *t100; char *t101; char *t102; char *t103; char *t104; char *t105; char *t106; int t107; unsigned int t108; char *t109; char *t110; unsigned char t111; char *t112; unsigned char t113; LAB0: t1 = (t0 + 12216U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); if (t3 != 0) goto LAB2; LAB4: LAB3: t1 = (t0 + 5376U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); if (t3 != 0) goto LAB40; LAB42: LAB41: t1 = (t0 + 11136U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 10296U); t4 = *((char **)t1); t5 = *((unsigned char *)t4); t6 = ieee_p_2592010699_sub_2545490612_503743352(IEEE_P_2592010699, t3, t5); t1 = (t0 + 11016U); t7 = *((char **)t1); t36 = *((unsigned char *)t7); t38 = ieee_p_2592010699_sub_2545490612_503743352(IEEE_P_2592010699, t6, t36); t1 = (t0 + 11256U); t13 = *((char **)t1); t39 = *((unsigned char *)t13); t41 = ieee_p_2592010699_sub_2545490612_503743352(IEEE_P_2592010699, t38, t39); t1 = (t0 + 11376U); t14 = *((char **)t1); t42 = *((unsigned char *)t14); t43 = ieee_p_2592010699_sub_2545490612_503743352(IEEE_P_2592010699, t41, t42); t1 = (t0 + 10416U); t15 = *((char **)t1); t44 = *((unsigned char *)t15); t45 = ieee_p_2592010699_sub_2545490612_503743352(IEEE_P_2592010699, t43, t44); t1 = (t0 + 10176U); t16 = *((char **)t1); t47 = *((unsigned char *)t16); t48 = ieee_p_2592010699_sub_2545490612_503743352(IEEE_P_2592010699, t45, t47); t1 = (t0 + 11496U); t18 = *((char **)t1); t1 = (t18 + 0); *((unsigned char *)t1) = t48; t1 = (t0 + 3000U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t6 = (t5 == (unsigned char)3); if (t6 == 1) goto LAB64; LAB65: t1 = (t0 + 3160U); t4 = *((char **)t1); t36 = *((unsigned char *)t4); t38 = (t36 == (unsigned char)3); t3 = t38; LAB66: if (t3 != 0) goto LAB61; LAB63: t1 = (t0 + 5080U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 12336U); t4 = *((char **)t1); t1 = (t4 + 0); *((unsigned char *)t1) = t3; t1 = (t0 + 4920U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 12456U); t4 = *((char **)t1); t1 = (t4 + 0); *((unsigned char *)t1) = t3; LAB62: t1 = (t0 + 18760); t2 = (t0 + 11736U); t4 = *((char **)t2); t2 = (t4 + 0); t7 = (t0 + 11616U); t13 = *((char **)t7); t7 = (t0 + 30152U); t14 = ((SIMPRIM_P_4208868169) + 1168U); t15 = *((char **)t14); memcpy(t59, t15, 288U); t14 = ((SIMPRIM_P_4208868169) + 8120U); t16 = xsi_get_transient_memory(6U); memset(t16, 0, 6U); t18 = t16; t19 = (t0 + 4600U); t22 = *((char **)t19); t3 = *((unsigned char *)t22); *((unsigned char *)t18) = t3; t18 = (t18 + 1U); t19 = (t0 + 4760U); t23 = *((char **)t19); t5 = *((unsigned char *)t23); *((unsigned char *)t18) = t5; t18 = (t18 + 1U); t19 = (t0 + 4440U); t24 = *((char **)t19); t6 = *((unsigned char *)t24); *((unsigned char *)t18) = t6; t18 = (t18 + 1U); t19 = (t0 + 12336U); t26 = *((char **)t19); t36 = *((unsigned char *)t26); *((unsigned char *)t18) = t36; t18 = (t18 + 1U); t19 = (t0 + 12456U); t27 = *((char **)t19); t38 = *((unsigned char *)t27); *((unsigned char *)t18) = t38; t18 = (t18 + 1U); t19 = (t0 + 11736U); t29 = *((char **)t19); t39 = *((unsigned char *)t29); *((unsigned char *)t18) = t39; t19 = (t17 + 0U); t30 = (t19 + 0U); *((int *)t30) = 0; t30 = (t19 + 4U); *((int *)t30) = 5; t30 = (t19 + 8U); *((int *)t30) = 1; t20 = (5 - 0); t21 = (t20 * 1); t21 = (t21 + 1); t30 = (t19 + 12U); *((unsigned int *)t30) = t21; ieee_vital_primitives_vitalstatetable(IEEE_P_1367372525, t1, t2, t13, t7, t59, t14, t16, t17); t1 = (t0 + 11496U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 11736U); t4 = *((char **)t1); t5 = *((unsigned char *)t4); t6 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t3, t5); t1 = (t0 + 11736U); t7 = *((char **)t1); t1 = (t7 + 0); *((unsigned char *)t1) = t6; t1 = (t0 + 18760); t2 = (t0 + 1520U); t4 = (t0 + 20856); t7 = (t0 + 11856U); t13 = *((char **)t7); t7 = (t0 + 32084); t15 = (t17 + 0U); t16 = (t15 + 0U); *((int *)t16) = 1; t16 = (t15 + 4U); *((int *)t16) = 1; t16 = (t15 + 8U); *((int *)t16) = 1; t20 = (1 - 1); t21 = (t20 * 1); t21 = (t21 + 1); t16 = (t15 + 12U); *((unsigned int *)t16) = t21; t16 = (t0 + 11736U); t18 = *((char **)t16); t3 = *((unsigned char *)t18); t16 = xsi_get_transient_memory(160U); memset(t16, 0, 160U); t19 = t16; t28 = (0 - 0); t21 = (t28 * 1); t60 = (32U * t21); t22 = (t19 + t60); t23 = t22; t24 = (t0 + 4560U); t8 = xsi_signal_get_last_event(t24); *((int64 *)t23) = t8; t26 = (t22 + 8U); t27 = (t0 + 6456U); t29 = *((char **)t27); memcpy(t26, t29, 16U); t27 = (t22 + 24U); t30 = (t0 + 4440U); t31 = *((char **)t30); t39 = *((unsigned char *)t31); t41 = (t39 != (unsigned char)2); if (t41 == 1) goto LAB79; LAB80: t38 = (unsigned char)0; LAB81: if (t38 == 1) goto LAB76; LAB77: t36 = (unsigned char)0; LAB78: if (t36 == 1) goto LAB73; LAB74: t6 = (unsigned char)0; LAB75: if (t6 == 1) goto LAB70; LAB71: t5 = (unsigned char)0; LAB72: *((unsigned char *)t27) = t5; t53 = (1 - 0); t61 = (t53 * 1); t62 = (32U * t61); t30 = (t19 + t62); t40 = t30; t46 = (t0 + 5040U); t9 = xsi_signal_get_last_event(t46); *((int64 *)t40) = t9; t49 = (t30 + 8U); t51 = (t0 + 6696U); t52 = *((char **)t51); memcpy(t49, t52, 16U); t51 = (t30 + 24U); t54 = (t0 + 4920U); t56 = *((char **)t54); t64 = *((unsigned char *)t56); t65 = (t64 != (unsigned char)3); if (t65 == 1) goto LAB85; LAB86: t63 = (unsigned char)0; LAB87: if (t63 == 1) goto LAB82; LAB83: t58 = (unsigned char)0; LAB84: *((unsigned char *)t51) = t58; t72 = (2 - 0); t73 = (t72 * 1); t74 = (32U * t73); t54 = (t19 + t74); t75 = t54; t76 = (t0 + 4880U); t10 = xsi_signal_get_last_event(t76); *((int64 *)t75) = t10; t77 = (t54 + 8U); t78 = (t0 + 6576U); t79 = *((char **)t78); memcpy(t77, t79, 16U); t78 = (t54 + 24U); t81 = (t0 + 3000U); t82 = *((char **)t81); t83 = *((unsigned char *)t82); t84 = (t83 == (unsigned char)2); if (t84 == 1) goto LAB88; LAB89: t80 = (unsigned char)0; LAB90: *((unsigned char *)t78) = t80; t88 = (3 - 0); t89 = (t88 * 1); t90 = (32U * t89); t81 = (t19 + t90); t91 = t81; t92 = (t0 + 2960U); t11 = xsi_signal_get_last_event(t92); *((int64 *)t91) = t11; t93 = (t81 + 8U); t94 = (t0 + 9696U); t95 = *((char **)t94); memcpy(t93, t95, 16U); t94 = (t81 + 24U); *((unsigned char *)t94) = (unsigned char)1; t96 = (4 - 0); t97 = (t96 * 1); t98 = (32U * t97); t99 = (t19 + t98); t100 = t99; t101 = (t0 + 3120U); t12 = xsi_signal_get_last_event(t101); *((int64 *)t100) = t12; t102 = (t99 + 8U); t103 = (t0 + 9696U); t104 = *((char **)t103); memcpy(t102, t104, 16U); t103 = (t99 + 24U); *((unsigned char *)t103) = (unsigned char)1; t105 = (t25 + 0U); t106 = (t105 + 0U); *((int *)t106) = 0; t106 = (t105 + 4U); *((int *)t106) = 4; t106 = (t105 + 8U); *((int *)t106) = 1; t107 = (4 - 0); t108 = (t107 * 1); t108 = (t108 + 1); t106 = (t105 + 12U); *((unsigned int *)t106) = t108; t106 = ((IEEE_P_2717149903) + 1288U); t109 = *((char **)t106); memcpy(t50, t109, 16U); t106 = (t0 + 5496U); t110 = *((char **)t106); t111 = *((unsigned char *)t110); t106 = (t0 + 5616U); t112 = *((char **)t106); t113 = *((unsigned char *)t112); ieee_p_2717149903_sub_2486506143_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t4, t13, t7, t17, t3, t16, t25, t50, (unsigned char)3, t111, t113, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0); t1 = (t0 + 19544); *((int *)t1) = 1; LAB1: return; LAB2: t1 = (t0 + 5736U); t4 = *((char **)t1); t5 = *((unsigned char *)t4); t6 = (t5 == (unsigned char)1); if (t6 != 0) goto LAB5; LAB7: t1 = (t0 + 12336U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)2; t1 = (t0 + 12456U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)3; LAB6: t1 = (t0 + 7776U); t2 = *((char **)t1); t8 = *((int64 *)t2); t9 = (0 * 1LL); t5 = (t8 == t9); if (t5 == 1) goto LAB11; LAB12: t3 = (unsigned char)0; LAB13: if (t3 != 0) goto LAB8; LAB10: t1 = (t0 + 7776U); t2 = *((char **)t1); t8 = *((int64 *)t2); t9 = (0 * 1LL); t5 = (t8 != t9); if (t5 == 1) goto LAB16; LAB17: t3 = (unsigned char)0; LAB18: if (t3 != 0) goto LAB14; LAB15: t1 = (t0 + 7776U); t2 = *((char **)t1); t8 = *((int64 *)t2); t9 = (0 * 1LL); t5 = (t8 != t9); if (t5 == 1) goto LAB21; LAB22: t3 = (unsigned char)0; LAB23: if (t3 != 0) goto LAB19; LAB20: LAB9: t1 = (t0 + 7896U); t2 = *((char **)t1); t8 = *((int64 *)t2); t9 = (0 * 1LL); t5 = (t8 == t9); if (t5 == 1) goto LAB27; LAB28: t3 = (unsigned char)0; LAB29: if (t3 != 0) goto LAB24; LAB26: t1 = (t0 + 7896U); t2 = *((char **)t1); t8 = *((int64 *)t2); t9 = (0 * 1LL); t5 = (t8 != t9); if (t5 == 1) goto LAB32; LAB33: t3 = (unsigned char)0; LAB34: if (t3 != 0) goto LAB30; LAB31: t1 = (t0 + 7896U); t2 = *((char **)t1); t8 = *((int64 *)t2); t9 = (0 * 1LL); t5 = (t8 != t9); if (t5 == 1) goto LAB37; LAB38: t3 = (unsigned char)0; LAB39: if (t3 != 0) goto LAB35; LAB36: LAB25: t1 = (t0 + 12216U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)0; goto LAB3; LAB5: t1 = (t0 + 12336U); t7 = *((char **)t1); t1 = (t7 + 0); *((unsigned char *)t1) = (unsigned char)3; t1 = (t0 + 12456U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)2; goto LAB6; LAB8: t1 = (t0 + 8376U); t7 = *((char **)t1); t12 = *((int64 *)t7); t1 = (t0 + 11976U); t13 = *((char **)t1); t1 = (t13 + 0); *((int64 *)t1) = t12; goto LAB9; LAB11: t1 = (t0 + 8376U); t4 = *((char **)t1); t10 = *((int64 *)t4); t11 = (0 * 1LL); t6 = (t10 != t11); t3 = t6; goto LAB13; LAB14: t1 = (t0 + 7776U); t7 = *((char **)t1); t12 = *((int64 *)t7); t1 = (t0 + 11976U); t13 = *((char **)t1); t1 = (t13 + 0); *((int64 *)t1) = t12; goto LAB9; LAB16: t1 = (t0 + 8376U); t4 = *((char **)t1); t10 = *((int64 *)t4); t11 = (0 * 1LL); t6 = (t10 == t11); t3 = t6; goto LAB18; LAB19: t1 = (t0 + 8376U); t7 = *((char **)t1); t12 = *((int64 *)t7); t1 = (t0 + 11976U); t13 = *((char **)t1); t1 = (t13 + 0); *((int64 *)t1) = t12; goto LAB9; LAB21: t1 = (t0 + 8376U); t4 = *((char **)t1); t10 = *((int64 *)t4); t11 = (0 * 1LL); t6 = (t10 != t11); t3 = t6; goto LAB23; LAB24: t1 = (t0 + 8256U); t7 = *((char **)t1); t12 = *((int64 *)t7); t1 = (t0 + 12096U); t13 = *((char **)t1); t1 = (t13 + 0); *((int64 *)t1) = t12; goto LAB25; LAB27: t1 = (t0 + 8256U); t4 = *((char **)t1); t10 = *((int64 *)t4); t11 = (0 * 1LL); t6 = (t10 != t11); t3 = t6; goto LAB29; LAB30: t1 = (t0 + 7896U); t7 = *((char **)t1); t12 = *((int64 *)t7); t1 = (t0 + 12096U); t13 = *((char **)t1); t1 = (t13 + 0); *((int64 *)t1) = t12; goto LAB25; LAB32: t1 = (t0 + 8256U); t4 = *((char **)t1); t10 = *((int64 *)t4); t11 = (0 * 1LL); t6 = (t10 == t11); t3 = t6; goto LAB34; LAB35: t1 = (t0 + 8256U); t7 = *((char **)t1); t12 = *((int64 *)t7); t1 = (t0 + 12096U); t13 = *((char **)t1); t1 = (t13 + 0); *((int64 *)t1) = t12; goto LAB25; LAB37: t1 = (t0 + 8256U); t4 = *((char **)t1); t10 = *((int64 *)t4); t11 = (0 * 1LL); t6 = (t10 != t11); t3 = t6; goto LAB39; LAB40: t1 = (t0 + 18760); t4 = (t0 + 11136U); t7 = *((char **)t4); t4 = (t7 + 0); t13 = (t0 + 10656U); t14 = *((char **)t13); t13 = (t0 + 4720U); t15 = (t0 + 32019); t18 = (t17 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 1; t19 = (t18 + 8U); *((int *)t19) = 1; t20 = (1 - 1); t21 = (t20 * 1); t21 = (t21 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t21; t19 = (t0 + 8736U); t22 = *((char **)t19); t8 = *((int64 *)t22); t19 = (t0 + 4560U); t23 = (t0 + 32020); t26 = (t25 + 0U); t27 = (t26 + 0U); *((int *)t27) = 1; t27 = (t26 + 4U); *((int *)t27) = 3; t27 = (t26 + 8U); *((int *)t27) = 1; t28 = (3 - 1); t21 = (t28 * 1); t21 = (t21 + 1); t27 = (t26 + 12U); *((unsigned int *)t27) = t21; t27 = (t0 + 8496U); t29 = *((char **)t27); t9 = *((int64 *)t29); t27 = (t0 + 6816U); t30 = *((char **)t27); t10 = *((int64 *)t30); t27 = (t0 + 6936U); t31 = *((char **)t27); t11 = *((int64 *)t31); t27 = (t0 + 7416U); t32 = *((char **)t27); t12 = *((int64 *)t32); t27 = (t0 + 7296U); t33 = *((char **)t27); t34 = *((int64 *)t33); t27 = (t0 + 4920U); t35 = *((char **)t27); t6 = *((unsigned char *)t35); t36 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t6); t27 = (t0 + 4440U); t37 = *((char **)t27); t38 = *((unsigned char *)t37); t39 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t36, t38); t27 = (t0 + 5080U); t40 = *((char **)t27); t41 = *((unsigned char *)t40); t42 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t41); t43 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t39, t42); t44 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t43); t45 = (t44 != (unsigned char)2); if (t45 == 1) goto LAB43; LAB44: t5 = (unsigned char)0; LAB45: t27 = (t0 + 32023); t51 = (t50 + 0U); t52 = (t51 + 0U); *((int *)t52) = 1; t52 = (t51 + 4U); *((int *)t52) = 5; t52 = (t51 + 8U); *((int *)t52) = 1; t53 = (5 - 1); t21 = (t53 * 1); t21 = (t21 + 1); t52 = (t51 + 12U); *((unsigned int *)t52) = t21; t52 = (t0 + 5496U); t54 = *((char **)t52); t55 = *((unsigned char *)t54); t52 = (t0 + 5616U); t56 = *((char **)t52); t57 = *((unsigned char *)t56); ieee_p_2717149903_sub_3797369404_2101202839(IEEE_P_2717149903, t1, t4, t14, t13, 0U, 0U, t15, t17, t8, t19, 0U, 0U, t23, t25, t9, t10, t11, t12, t34, t5, (unsigned char)8, t27, t50, t55, t57, (unsigned char)1, (unsigned char)1, (unsigned char)1, (unsigned char)1, (unsigned char)1); t1 = (t0 + 18760); t2 = (t0 + 11016U); t4 = *((char **)t2); t2 = (t4 + 0); t7 = (t0 + 10536U); t13 = *((char **)t7); t7 = (t0 + 4400U); t14 = (t0 + 32028); t16 = (t17 + 0U); t18 = (t16 + 0U); *((int *)t18) = 1; t18 = (t16 + 4U); *((int *)t18) = 2; t18 = (t16 + 8U); *((int *)t18) = 1; t20 = (2 - 1); t21 = (t20 * 1); t21 = (t21 + 1); t18 = (t16 + 12U); *((unsigned int *)t18) = t21; t18 = (t0 + 8616U); t19 = *((char **)t18); t8 = *((int64 *)t19); t18 = (t0 + 4560U); t22 = (t0 + 32030); t24 = (t25 + 0U); t26 = (t24 + 0U); *((int *)t26) = 1; t26 = (t24 + 4U); *((int *)t26) = 3; t26 = (t24 + 8U); *((int *)t26) = 1; t28 = (3 - 1); t21 = (t28 * 1); t21 = (t21 + 1); t26 = (t24 + 12U); *((unsigned int *)t26) = t21; t26 = (t0 + 8496U); t27 = *((char **)t26); t9 = *((int64 *)t27); t26 = (t0 + 7056U); t29 = *((char **)t26); t10 = *((int64 *)t29); t26 = (t0 + 7176U); t30 = *((char **)t26); t11 = *((int64 *)t30); t26 = (t0 + 7656U); t31 = *((char **)t26); t12 = *((int64 *)t31); t26 = (t0 + 7536U); t32 = *((char **)t26); t34 = *((int64 *)t32); t26 = (t0 + 4920U); t33 = *((char **)t26); t5 = *((unsigned char *)t33); t6 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t5); t26 = (t0 + 11736U); t35 = *((char **)t26); t36 = *((unsigned char *)t35); t26 = (t0 + 4760U); t37 = *((char **)t26); t38 = *((unsigned char *)t37); t39 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t36, t38); t41 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t6, t39); t26 = (t0 + 5080U); t40 = *((char **)t26); t42 = *((unsigned char *)t40); t43 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t42); t44 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t41, t43); t45 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t44); t47 = (t45 != (unsigned char)2); if (t47 == 1) goto LAB46; LAB47: t3 = (unsigned char)0; LAB48: t26 = (t0 + 32033); t51 = (t50 + 0U); t52 = (t51 + 0U); *((int *)t52) = 1; t52 = (t51 + 4U); *((int *)t52) = 5; t52 = (t51 + 8U); *((int *)t52) = 1; t53 = (5 - 1); t21 = (t53 * 1); t21 = (t21 + 1); t52 = (t51 + 12U); *((unsigned int *)t52) = t21; t52 = (t0 + 5496U); t54 = *((char **)t52); t57 = *((unsigned char *)t54); t52 = (t0 + 5616U); t56 = *((char **)t52); t58 = *((unsigned char *)t56); ieee_p_2717149903_sub_3797369404_2101202839(IEEE_P_2717149903, t1, t2, t13, t7, 0U, 0U, t14, t17, t8, t18, 0U, 0U, t22, t25, t9, t10, t11, t12, t34, t3, (unsigned char)8, t26, t50, t57, t58, (unsigned char)1, (unsigned char)1, (unsigned char)1, (unsigned char)1, (unsigned char)1); t1 = (t0 + 18760); t2 = (t0 + 11256U); t4 = *((char **)t2); t2 = (t4 + 0); t7 = (t0 + 10776U); t13 = *((char **)t7); t7 = (t0 + 4880U); t14 = (t0 + 32038); t16 = (t17 + 0U); t18 = (t16 + 0U); *((int *)t18) = 1; t18 = (t16 + 4U); *((int *)t18) = 3; t18 = (t16 + 8U); *((int *)t18) = 1; t20 = (3 - 1); t21 = (t20 * 1); t21 = (t21 + 1); t18 = (t16 + 12U); *((unsigned int *)t18) = t21; t18 = (t0 + 8856U); t19 = *((char **)t18); t8 = *((int64 *)t19); t18 = (t0 + 4560U); t22 = (t0 + 32041); t24 = (t25 + 0U); t26 = (t24 + 0U); *((int *)t26) = 1; t26 = (t24 + 4U); *((int *)t26) = 3; t26 = (t24 + 8U); *((int *)t26) = 1; t28 = (3 - 1); t21 = (t28 * 1); t21 = (t21 + 1); t26 = (t24 + 12U); *((unsigned int *)t26) = t21; t26 = (t0 + 8496U); t27 = *((char **)t26); t9 = *((int64 *)t27); t26 = (t0 + 8136U); t29 = *((char **)t26); t10 = *((int64 *)t29); t26 = (t0 + 11976U); t30 = *((char **)t26); t11 = *((int64 *)t30); t26 = (t0 + 4440U); t31 = *((char **)t26); t6 = *((unsigned char *)t31); t36 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t6); t38 = (t36 != (unsigned char)2); if (t38 == 1) goto LAB52; LAB53: t5 = (unsigned char)0; LAB54: if (t5 == 1) goto LAB49; LAB50: t3 = (unsigned char)0; LAB51: t26 = (t0 + 32044); t37 = (t50 + 0U); t40 = (t37 + 0U); *((int *)t40) = 1; t40 = (t37 + 4U); *((int *)t40) = 5; t40 = (t37 + 8U); *((int *)t40) = 1; t53 = (5 - 1); t21 = (t53 * 1); t21 = (t21 + 1); t40 = (t37 + 12U); *((unsigned int *)t40) = t21; t40 = (t0 + 5496U); t46 = *((char **)t40); t44 = *((unsigned char *)t46); t40 = (t0 + 5616U); t49 = *((char **)t40); t45 = *((unsigned char *)t49); ieee_p_2717149903_sub_2603698110_2101202839(IEEE_P_2717149903, t1, t2, t13, t7, 0U, 0U, t14, t17, t8, t18, 0U, 0U, t22, t25, t9, t10, t11, (unsigned char)0, t3, (unsigned char)8, t26, t50, t44, t45, (unsigned char)1, (unsigned char)1, (unsigned char)1, (unsigned char)1, (unsigned char)1); t1 = (t0 + 18760); t2 = (t0 + 11376U); t4 = *((char **)t2); t2 = (t4 + 0); t7 = (t0 + 10896U); t13 = *((char **)t7); t7 = (t0 + 5040U); t14 = (t0 + 32049); t16 = (t17 + 0U); t18 = (t16 + 0U); *((int *)t18) = 1; t18 = (t16 + 4U); *((int *)t18) = 3; t18 = (t16 + 8U); *((int *)t18) = 1; t20 = (3 - 1); t21 = (t20 * 1); t21 = (t21 + 1); t18 = (t16 + 12U); *((unsigned int *)t18) = t21; t18 = (t0 + 8976U); t19 = *((char **)t18); t8 = *((int64 *)t19); t18 = (t0 + 4560U); t22 = (t0 + 32052); t24 = (t25 + 0U); t26 = (t24 + 0U); *((int *)t26) = 1; t26 = (t24 + 4U); *((int *)t26) = 3; t26 = (t24 + 8U); *((int *)t26) = 1; t28 = (3 - 1); t21 = (t28 * 1); t21 = (t21 + 1); t26 = (t24 + 12U); *((unsigned int *)t26) = t21; t26 = (t0 + 8496U); t27 = *((char **)t26); t9 = *((int64 *)t27); t26 = (t0 + 8016U); t29 = *((char **)t26); t10 = *((int64 *)t29); t26 = (t0 + 12096U); t30 = *((char **)t26); t11 = *((int64 *)t30); t26 = (t0 + 4920U); t31 = *((char **)t26); t6 = *((unsigned char *)t31); t36 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t6); t26 = (t0 + 4440U); t32 = *((char **)t26); t38 = *((unsigned char *)t32); t39 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t36, t38); t41 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t39); t42 = (t41 != (unsigned char)2); if (t42 == 1) goto LAB58; LAB59: t5 = (unsigned char)0; LAB60: if (t5 == 1) goto LAB55; LAB56: t3 = (unsigned char)0; LAB57: t26 = (t0 + 32055); t40 = (t50 + 0U); t46 = (t40 + 0U); *((int *)t46) = 1; t46 = (t40 + 4U); *((int *)t46) = 5; t46 = (t40 + 8U); *((int *)t46) = 1; t53 = (5 - 1); t21 = (t53 * 1); t21 = (t21 + 1); t46 = (t40 + 12U); *((unsigned int *)t46) = t21; t46 = (t0 + 5496U); t49 = *((char **)t46); t48 = *((unsigned char *)t49); t46 = (t0 + 5616U); t51 = *((char **)t46); t55 = *((unsigned char *)t51); ieee_p_2717149903_sub_2603698110_2101202839(IEEE_P_2717149903, t1, t2, t13, t7, 0U, 0U, t14, t17, t8, t18, 0U, 0U, t22, t25, t9, t10, t11, (unsigned char)0, t3, (unsigned char)8, t26, t50, t48, t55, (unsigned char)1, (unsigned char)1, (unsigned char)1, (unsigned char)1, (unsigned char)1); t1 = (t0 + 18760); t2 = (t0 + 10176U); t4 = *((char **)t2); t2 = (t4 + 0); t7 = (t0 + 9816U); t13 = *((char **)t7); t7 = (t0 + 4560U); t14 = (t0 + 32060); t16 = (t17 + 0U); t18 = (t16 + 0U); *((int *)t18) = 1; t18 = (t16 + 4U); *((int *)t18) = 3; t18 = (t16 + 8U); *((int *)t18) = 1; t20 = (3 - 1); t21 = (t20 * 1); t21 = (t21 + 1); t18 = (t16 + 12U); *((unsigned int *)t18) = t21; t8 = (0 * 1LL); t18 = (t0 + 9096U); t19 = *((char **)t18); t9 = *((int64 *)t19); t18 = (t0 + 9216U); t22 = *((char **)t18); t10 = *((int64 *)t22); t18 = (t0 + 9336U); t23 = *((char **)t18); t11 = *((int64 *)t23); t18 = (t0 + 4440U); t24 = *((char **)t18); t3 = *((unsigned char *)t24); t5 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t3); t6 = (t5 != (unsigned char)2); t18 = (t0 + 32063); t27 = (t25 + 0U); t29 = (t27 + 0U); *((int *)t29) = 1; t29 = (t27 + 4U); *((int *)t29) = 5; t29 = (t27 + 8U); *((int *)t29) = 1; t28 = (5 - 1); t21 = (t28 * 1); t21 = (t21 + 1); t29 = (t27 + 12U); *((unsigned int *)t29) = t21; t29 = (t0 + 5496U); t30 = *((char **)t29); t36 = *((unsigned char *)t30); t29 = (t0 + 5616U); t31 = *((char **)t29); t38 = *((unsigned char *)t31); ieee_p_2717149903_sub_756322403_2101202839(IEEE_P_2717149903, t1, t2, t13, t7, 0U, 0U, t14, t17, t8, t9, t10, t11, t6, t18, t25, t36, t38, (unsigned char)1); t1 = (t0 + 18760); t2 = (t0 + 10296U); t4 = *((char **)t2); t2 = (t4 + 0); t7 = (t0 + 9936U); t13 = *((char **)t7); t7 = (t0 + 4880U); t14 = (t0 + 32068); t16 = (t17 + 0U); t18 = (t16 + 0U); *((int *)t18) = 1; t18 = (t16 + 4U); *((int *)t18) = 3; t18 = (t16 + 8U); *((int *)t18) = 1; t20 = (3 - 1); t21 = (t20 * 1); t21 = (t21 + 1); t18 = (t16 + 12U); *((unsigned int *)t18) = t21; t8 = (0 * 1LL); t9 = (0 * 1LL); t18 = (t0 + 9456U); t19 = *((char **)t18); t10 = *((int64 *)t19); t11 = (0 * 1LL); t18 = (t0 + 32071); t23 = (t25 + 0U); t24 = (t23 + 0U); *((int *)t24) = 1; t24 = (t23 + 4U); *((int *)t24) = 5; t24 = (t23 + 8U); *((int *)t24) = 1; t28 = (5 - 1); t21 = (t28 * 1); t21 = (t21 + 1); t24 = (t23 + 12U); *((unsigned int *)t24) = t21; t24 = (t0 + 5496U); t26 = *((char **)t24); t3 = *((unsigned char *)t26); t24 = (t0 + 5616U); t27 = *((char **)t24); t5 = *((unsigned char *)t27); ieee_p_2717149903_sub_756322403_2101202839(IEEE_P_2717149903, t1, t2, t13, t7, 0U, 0U, t14, t17, t8, t9, t10, t11, (unsigned char)1, t18, t25, t3, t5, (unsigned char)1); t1 = (t0 + 18760); t2 = (t0 + 10416U); t4 = *((char **)t2); t2 = (t4 + 0); t7 = (t0 + 10056U); t13 = *((char **)t7); t7 = (t0 + 5040U); t14 = (t0 + 32076); t16 = (t17 + 0U); t18 = (t16 + 0U); *((int *)t18) = 1; t18 = (t16 + 4U); *((int *)t18) = 3; t18 = (t16 + 8U); *((int *)t18) = 1; t20 = (3 - 1); t21 = (t20 * 1); t21 = (t21 + 1); t18 = (t16 + 12U); *((unsigned int *)t18) = t21; t8 = (0 * 1LL); t9 = (0 * 1LL); t18 = (t0 + 9576U); t19 = *((char **)t18); t10 = *((int64 *)t19); t11 = (0 * 1LL); t18 = (t0 + 32079); t23 = (t25 + 0U); t24 = (t23 + 0U); *((int *)t24) = 1; t24 = (t23 + 4U); *((int *)t24) = 5; t24 = (t23 + 8U); *((int *)t24) = 1; t28 = (5 - 1); t21 = (t28 * 1); t21 = (t21 + 1); t24 = (t23 + 12U); *((unsigned int *)t24) = t21; t24 = (t0 + 5496U); t26 = *((char **)t24); t3 = *((unsigned char *)t26); t24 = (t0 + 5616U); t27 = *((char **)t24); t5 = *((unsigned char *)t27); ieee_p_2717149903_sub_756322403_2101202839(IEEE_P_2717149903, t1, t2, t13, t7, 0U, 0U, t14, t17, t8, t9, t10, t11, (unsigned char)1, t18, t25, t3, t5, (unsigned char)1); goto LAB41; LAB43: t27 = (t0 + 3000U); t46 = *((char **)t27); t47 = *((unsigned char *)t46); t48 = (t47 == (unsigned char)2); t5 = t48; goto LAB45; LAB46: t26 = (t0 + 3000U); t46 = *((char **)t26); t48 = *((unsigned char *)t46); t55 = (t48 == (unsigned char)2); t3 = t55; goto LAB48; LAB49: t26 = (t0 + 3000U); t33 = *((char **)t26); t42 = *((unsigned char *)t33); t43 = (t42 == (unsigned char)2); t3 = t43; goto LAB51; LAB52: t26 = (t0 + 4760U); t32 = *((char **)t26); t39 = *((unsigned char *)t32); t41 = (t39 != (unsigned char)2); t5 = t41; goto LAB54; LAB55: t26 = (t0 + 3000U); t35 = *((char **)t26); t45 = *((unsigned char *)t35); t47 = (t45 == (unsigned char)2); t3 = t47; goto LAB57; LAB58: t26 = (t0 + 4760U); t33 = *((char **)t26); t43 = *((unsigned char *)t33); t44 = (t43 != (unsigned char)3); t5 = t44; goto LAB60; LAB61: t1 = (t0 + 5736U); t7 = *((char **)t1); t39 = *((unsigned char *)t7); t41 = (t39 == (unsigned char)1); if (t41 != 0) goto LAB67; LAB69: t1 = (t0 + 12336U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)2; t1 = (t0 + 12456U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)3; LAB68: goto LAB62; LAB64: t3 = (unsigned char)1; goto LAB66; LAB67: t1 = (t0 + 12336U); t13 = *((char **)t1); t1 = (t13 + 0); *((unsigned char *)t1) = (unsigned char)3; t1 = (t0 + 12456U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)2; goto LAB68; LAB70: t30 = (t0 + 3160U); t37 = *((char **)t30); t55 = *((unsigned char *)t37); t57 = (t55 == (unsigned char)2); t5 = t57; goto LAB72; LAB73: t30 = (t0 + 3000U); t35 = *((char **)t30); t47 = *((unsigned char *)t35); t48 = (t47 == (unsigned char)2); t6 = t48; goto LAB75; LAB76: t30 = (t0 + 5080U); t33 = *((char **)t30); t44 = *((unsigned char *)t33); t45 = (t44 != (unsigned char)3); t36 = t45; goto LAB78; LAB79: t30 = (t0 + 4920U); t32 = *((char **)t30); t42 = *((unsigned char *)t32); t43 = (t42 != (unsigned char)3); t38 = t43; goto LAB81; LAB82: t54 = (t0 + 3160U); t69 = *((char **)t54); t70 = *((unsigned char *)t69); t71 = (t70 == (unsigned char)2); t58 = t71; goto LAB84; LAB85: t54 = (t0 + 3000U); t66 = *((char **)t54); t67 = *((unsigned char *)t66); t68 = (t67 == (unsigned char)2); t63 = t68; goto LAB87; LAB88: t81 = (t0 + 3160U); t85 = *((char **)t81); t86 = *((unsigned char *)t85); t87 = (t86 == (unsigned char)2); t80 = t87; goto LAB90; }
static void simprim_a_1387470219_3879906181_p_2(char *t0) { char t10[16]; char t36[16]; char t42[16]; char *t1; char *t2; unsigned char t3; char *t4; unsigned char t5; unsigned char t6; char *t7; char *t8; char *t11; char *t12; int t13; unsigned int t14; char *t15; char *t16; int t17; unsigned int t18; char *t19; char *t20; char *t21; int64 t22; char *t23; char *t24; char *t25; int t26; unsigned int t27; unsigned int t28; char *t29; char *t30; char *t31; int64 t32; char *t33; char *t34; char *t35; char *t37; char *t38; int t39; unsigned int t40; char *t41; char *t43; char *t44; LAB0: t1 = (t0 + 1008U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 1100U); t4 = *((char **)t1); t5 = *((unsigned char *)t4); t6 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t3, t5); t1 = (t0 + 1680U); t7 = *((char **)t1); t1 = (t7 + 0); *((unsigned char *)t1) = t6; t1 = (t0 + 2576); t2 = (t0 + 708U); t4 = (t0 + 3012); t7 = (t0 + 1748U); t8 = *((char **)t7); t7 = (t0 + 5196); t11 = (t10 + 0U); t12 = (t11 + 0U); *((int *)t12) = 1; t12 = (t11 + 4U); *((int *)t12) = 1; t12 = (t11 + 8U); *((int *)t12) = 1; t13 = (1 - 1); t14 = (t13 * 1); t14 = (t14 + 1); t12 = (t11 + 12U); *((unsigned int *)t12) = t14; t12 = (t0 + 1680U); t15 = *((char **)t12); t3 = *((unsigned char *)t15); t12 = xsi_get_transient_memory(64U); memset(t12, 0, 64U); t16 = t12; t17 = (0 - 0); t14 = (t17 * 1); t18 = (32U * t14); t19 = (t16 + t18); t20 = t19; t21 = (t0 + 984U); t22 = xsi_signal_get_last_event(t21); *((int64 *)t20) = t22; t23 = (t19 + 8U); t24 = (t0 + 1544U); t25 = *((char **)t24); memcpy(t23, t25, 16U); t24 = (t19 + 24U); *((unsigned char *)t24) = (unsigned char)1; t26 = (1 - 0); t27 = (t26 * 1); t28 = (32U * t27); t29 = (t16 + t28); t30 = t29; t31 = (t0 + 1076U); t32 = xsi_signal_get_last_event(t31); *((int64 *)t30) = t32; t33 = (t29 + 8U); t34 = (t0 + 1612U); t35 = *((char **)t34); memcpy(t33, t35, 16U); t34 = (t29 + 24U); *((unsigned char *)t34) = (unsigned char)1; t37 = (t36 + 0U); t38 = (t37 + 0U); *((int *)t38) = 0; t38 = (t37 + 4U); *((int *)t38) = 1; t38 = (t37 + 8U); *((int *)t38) = 1; t39 = (1 - 0); t40 = (t39 * 1); t40 = (t40 + 1); t38 = (t37 + 12U); *((unsigned int *)t38) = t40; t38 = ((IEEE_P_2717149903) + 740U); t41 = *((char **)t38); memcpy(t42, t41, 16U); t38 = (t0 + 1272U); t43 = *((char **)t38); t5 = *((unsigned char *)t43); t38 = (t0 + 1340U); t44 = *((char **)t38); t6 = *((unsigned char *)t44); ieee_p_2717149903_sub_2486506143_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t4, t8, t7, t10, t3, t12, t36, t42, (unsigned char)3, t5, t6, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0); t1 = (t0 + 2888); *((int *)t1) = 1; LAB1: return; }
static void simprim_a_3936907874_4055128042_p_3(char *t0) { char t8[16]; char t18[16]; char t53[16]; char *t1; char *t2; char *t3; char *t4; unsigned char t5; char *t6; unsigned char t7; char *t9; int t10; unsigned int t11; char *t12; char *t13; char *t14; unsigned char t15; int t16; unsigned int t17; char *t19; char *t20; int t21; unsigned int t22; char *t23; unsigned char t24; char *t25; int64 t26; char *t27; char *t28; char *t29; unsigned int t30; char *t31; char *t32; char *t33; int64 t34; char *t35; char *t36; char *t37; int t38; unsigned int t39; unsigned int t40; char *t41; char *t42; char *t43; int64 t44; char *t45; char *t46; char *t47; char *t48; char *t49; int t50; unsigned int t51; char *t52; char *t54; char *t55; LAB0: t1 = xsi_get_transient_memory(2U); memset(t1, 0, 2U); t2 = t1; t3 = (t0 + 2096U); t4 = *((char **)t3); t5 = *((unsigned char *)t4); *((unsigned char *)t2) = t5; t2 = (t2 + 1U); t3 = (t0 + 1936U); t6 = *((char **)t3); t7 = *((unsigned char *)t6); *((unsigned char *)t2) = t7; t3 = (t8 + 0U); t9 = (t3 + 0U); *((int *)t9) = 0; t9 = (t3 + 4U); *((int *)t9) = 1; t9 = (t3 + 8U); *((int *)t9) = 1; t10 = (1 - 0); t11 = (t10 * 1); t11 = (t11 + 1); t9 = (t3 + 12U); *((unsigned int *)t9) = t11; t9 = xsi_get_transient_memory(1U); memset(t9, 0, 1U); t12 = t9; t13 = (t0 + 2256U); t14 = *((char **)t13); t15 = *((unsigned char *)t14); t16 = (0 - 0); t11 = (t16 * 1); t17 = (1U * t11); t13 = (t12 + t17); *((unsigned char *)t13) = t15; t19 = (t18 + 0U); t20 = (t19 + 0U); *((int *)t20) = 0; t20 = (t19 + 4U); *((int *)t20) = 0; t20 = (t19 + 8U); *((int *)t20) = 1; t21 = (0 - 0); t22 = (t21 * 1); t22 = (t22 + 1); t20 = (t19 + 12U); *((unsigned int *)t20) = t22; t20 = ((IEEE_P_2717149903) + 1768U); t23 = *((char **)t20); t24 = ieee_p_1367372525_sub_1379054898_4070434989(IEEE_P_1367372525, t1, t8, t9, t18, t23); t20 = (t0 + 3512U); t25 = *((char **)t20); t20 = (t25 + 0); *((unsigned char *)t20) = t24; t1 = (t0 + 5312); t2 = (t0 + 1256U); t3 = (t0 + 6160); t4 = (t0 + 3632U); t6 = *((char **)t4); t4 = (t0 + 9288); t12 = (t8 + 0U); t13 = (t12 + 0U); *((int *)t13) = 1; t13 = (t12 + 4U); *((int *)t13) = 1; t13 = (t12 + 8U); *((int *)t13) = 1; t10 = (1 - 1); t11 = (t10 * 1); t11 = (t11 + 1); t13 = (t12 + 12U); *((unsigned int *)t13) = t11; t13 = (t0 + 3512U); t14 = *((char **)t13); t5 = *((unsigned char *)t14); t13 = xsi_get_transient_memory(96U); memset(t13, 0, 96U); t19 = t13; t16 = (0 - 0); t11 = (t16 * 1); t17 = (32U * t11); t20 = (t19 + t17); t23 = t20; t25 = (t0 + 1896U); t26 = xsi_signal_get_last_event(t25); *((int64 *)t23) = t26; t27 = (t20 + 8U); t28 = (t0 + 3152U); t29 = *((char **)t28); memcpy(t27, t29, 16U); t28 = (t20 + 24U); *((unsigned char *)t28) = (unsigned char)1; t21 = (1 - 0); t22 = (t21 * 1); t30 = (32U * t22); t31 = (t19 + t30); t32 = t31; t33 = (t0 + 2056U); t34 = xsi_signal_get_last_event(t33); *((int64 *)t32) = t34; t35 = (t31 + 8U); t36 = (t0 + 3272U); t37 = *((char **)t36); memcpy(t35, t37, 16U); t36 = (t31 + 24U); *((unsigned char *)t36) = (unsigned char)1; t38 = (2 - 0); t39 = (t38 * 1); t40 = (32U * t39); t41 = (t19 + t40); t42 = t41; t43 = (t0 + 2216U); t44 = xsi_signal_get_last_event(t43); *((int64 *)t42) = t44; t45 = (t41 + 8U); t46 = (t0 + 3392U); t47 = *((char **)t46); memcpy(t45, t47, 16U); t46 = (t41 + 24U); *((unsigned char *)t46) = (unsigned char)1; t48 = (t18 + 0U); t49 = (t48 + 0U); *((int *)t49) = 0; t49 = (t48 + 4U); *((int *)t49) = 2; t49 = (t48 + 8U); *((int *)t49) = 1; t50 = (2 - 0); t51 = (t50 * 1); t51 = (t51 + 1); t49 = (t48 + 12U); *((unsigned int *)t49) = t51; t49 = ((IEEE_P_2717149903) + 1288U); t52 = *((char **)t49); memcpy(t53, t52, 16U); t49 = (t0 + 2552U); t54 = *((char **)t49); t7 = *((unsigned char *)t54); t49 = (t0 + 2672U); t55 = *((char **)t49); t15 = *((unsigned char *)t55); ieee_p_2717149903_sub_2486506143_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t3, t6, t4, t8, t5, t13, t18, t53, (unsigned char)3, t7, t15, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0); t1 = (t0 + 5872); *((int *)t1) = 1; LAB1: return; }
static void simprim_a_2069711888_2810828532_p_17(char *t0) { char t9[16]; char t45[16]; char t51[16]; char *t1; char *t2; unsigned char t3; char *t4; unsigned char t5; char *t6; char *t7; char *t10; char *t11; int t12; unsigned int t13; char *t14; char *t15; int t16; unsigned int t17; char *t18; char *t19; char *t20; int64 t21; char *t22; char *t23; char *t24; int t25; unsigned int t26; unsigned int t27; char *t28; char *t29; char *t30; int64 t31; char *t32; char *t33; char *t34; int t35; unsigned int t36; unsigned int t37; char *t38; char *t39; char *t40; int64 t41; char *t42; char *t43; char *t44; char *t46; char *t47; int t48; unsigned int t49; char *t50; char *t52; char *t53; unsigned char t54; LAB0: t1 = (t0 + 3640U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 8976U); t4 = *((char **)t1); t1 = (t4 + 0); *((unsigned char *)t1) = t3; t1 = (t0 + 8976U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t5 = (t3 == (unsigned char)6); if (t5 != 0) goto LAB2; LAB4: LAB3: t1 = (t0 + 15112); t2 = (t0 + 1520U); t4 = (t0 + 17064); t6 = (t0 + 9096U); t7 = *((char **)t6); t6 = (t0 + 25343); t10 = (t9 + 0U); t11 = (t10 + 0U); *((int *)t11) = 1; t11 = (t10 + 4U); *((int *)t11) = 1; t11 = (t10 + 8U); *((int *)t11) = 1; t12 = (1 - 1); t13 = (t12 * 1); t13 = (t13 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t13; t11 = (t0 + 8976U); t14 = *((char **)t11); t3 = *((unsigned char *)t14); t11 = xsi_get_transient_memory(96U); memset(t11, 0, 96U); t15 = t11; t16 = (0 - 0); t13 = (t16 * 1); t17 = (32U * t13); t18 = (t15 + t17); t19 = t18; t20 = (t0 + 2800U); t21 = xsi_signal_get_last_event(t20); *((int64 *)t19) = t21; t22 = (t18 + 8U); t23 = (t0 + 5856U); t24 = *((char **)t23); memcpy(t22, t24, 16U); t23 = (t18 + 24U); *((unsigned char *)t23) = (unsigned char)1; t25 = (1 - 0); t26 = (t25 * 1); t27 = (32U * t26); t28 = (t15 + t27); t29 = t28; t30 = (t0 + 2960U); t31 = xsi_signal_get_last_event(t30); *((int64 *)t29) = t31; t32 = (t28 + 8U); t33 = (t0 + 5976U); t34 = *((char **)t33); memcpy(t32, t34, 16U); t33 = (t28 + 24U); *((unsigned char *)t33) = (unsigned char)1; t35 = (2 - 0); t36 = (t35 * 1); t37 = (32U * t36); t38 = (t15 + t37); t39 = t38; t40 = (t0 + 2640U); t41 = xsi_signal_get_last_event(t40); *((int64 *)t39) = t41; t42 = (t38 + 8U); t43 = (t0 + 6096U); t44 = *((char **)t43); memcpy(t42, t44, 16U); t43 = (t38 + 24U); *((unsigned char *)t43) = (unsigned char)1; t46 = (t45 + 0U); t47 = (t46 + 0U); *((int *)t47) = 0; t47 = (t46 + 4U); *((int *)t47) = 2; t47 = (t46 + 8U); *((int *)t47) = 1; t48 = (2 - 0); t49 = (t48 * 1); t49 = (t49 + 1); t47 = (t46 + 12U); *((unsigned int *)t47) = t49; t47 = ((IEEE_P_2717149903) + 1288U); t50 = *((char **)t47); memcpy(t51, t50, 16U); t47 = (t0 + 5016U); t52 = *((char **)t47); t5 = *((unsigned char *)t52); t47 = (t0 + 5136U); t53 = *((char **)t47); t54 = *((unsigned char *)t53); ieee_p_2717149903_sub_2486506143_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t4, t7, t6, t9, t3, t11, t45, t51, (unsigned char)3, t5, t54, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0); t1 = (t0 + 15944); *((int *)t1) = 1; LAB1: return; LAB2: t1 = (t0 + 8976U); t4 = *((char **)t1); t1 = (t4 + 0); *((unsigned char *)t1) = (unsigned char)2; goto LAB3; }
static void simprim_a_1385652478_1883126775_p_2(char *t0) { char t6[16]; char t66[16]; char t70[16]; char *t1; char *t2; unsigned char t3; char *t4; unsigned char t5; char *t7; char *t8; char *t9; unsigned int t10; unsigned int t11; unsigned int t12; int t13; unsigned int t14; int t15; unsigned char t16; unsigned char t17; unsigned char t18; unsigned char t19; unsigned char t20; unsigned char t21; unsigned char t22; char *t23; unsigned char t24; char *t25; char *t26; unsigned int t27; unsigned int t28; int t29; unsigned int t30; unsigned int t31; unsigned int t32; int t33; unsigned int t34; unsigned int t35; unsigned int t36; char *t37; int t38; unsigned int t39; unsigned int t40; unsigned int t41; char *t42; char *t43; int t44; unsigned int t45; unsigned int t46; unsigned int t47; unsigned char t48; char *t49; char *t50; int t51; unsigned int t52; unsigned int t53; unsigned int t54; unsigned char t55; char *t56; char *t57; int64 t58; char *t59; char *t60; char *t61; int64 t62; char *t63; char *t64; char *t65; char *t67; char *t68; char *t69; char *t71; char *t72; LAB0: t1 = (t0 + 1936U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 1776U); t4 = *((char **)t1); t5 = *((unsigned char *)t4); t7 = ((IEEE_P_2592010699) + 4024); t1 = xsi_base_array_concat(t1, t6, t7, (char)99, t3, (char)99, t5, (char)101); t8 = (t0 + 3432U); t9 = *((char **)t8); t8 = (t9 + 0); t10 = (1U + 1U); memcpy(t8, t1, t10); t1 = (t0 + 3432U); t2 = *((char **)t1); t10 = (1 - 1); t11 = (t10 * 1U); t12 = (0 + t11); t1 = (t2 + t12); t4 = (t6 + 0U); t7 = (t4 + 0U); *((int *)t7) = 1; t7 = (t4 + 4U); *((int *)t7) = 0; t7 = (t4 + 8U); *((int *)t7) = -1; t13 = (0 - 1); t14 = (t13 * -1); t14 = (t14 + 1); t7 = (t4 + 12U); *((unsigned int *)t7) = t14; t15 = simprim_p_4208868169_sub_3182959421_3008368149(SIMPRIM_P_4208868169, t1, t6); t7 = (t0 + 3552U); t8 = *((char **)t7); t7 = (t8 + 0); *((int *)t7) = t15; t1 = (t0 + 1936U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t1 = (t0 + 1776U); t4 = *((char **)t1); t16 = *((unsigned char *)t4); t17 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t5, t16); t18 = (t17 == (unsigned char)3); if (t18 == 1) goto LAB5; LAB6: t1 = (t0 + 1936U); t7 = *((char **)t1); t19 = *((unsigned char *)t7); t1 = (t0 + 1776U); t8 = *((char **)t1); t20 = *((unsigned char *)t8); t21 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t19, t20); t22 = (t21 == (unsigned char)2); t3 = t22; LAB7: if (t3 != 0) goto LAB2; LAB4: t1 = (t0 + 3312U); t2 = *((char **)t1); t13 = (0 - 3); t10 = (t13 * -1); t11 = (1U * t10); t12 = (0 + t11); t1 = (t2 + t12); t16 = *((unsigned char *)t1); t4 = (t0 + 3312U); t7 = *((char **)t4); t15 = (1 - 3); t14 = (t15 * -1); t27 = (1U * t14); t28 = (0 + t27); t4 = (t7 + t28); t17 = *((unsigned char *)t4); t18 = (t16 == t17); if (t18 == 1) goto LAB14; LAB15: t5 = (unsigned char)0; LAB16: if (t5 == 1) goto LAB11; LAB12: t3 = (unsigned char)0; LAB13: if (t3 != 0) goto LAB8; LAB10: t1 = (t0 + 1936U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t16 = (t5 == (unsigned char)2); if (t16 == 1) goto LAB19; LAB20: t3 = (unsigned char)0; LAB21: if (t3 != 0) goto LAB17; LAB18: t1 = (t0 + 1936U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t16 = (t5 == (unsigned char)3); if (t16 == 1) goto LAB24; LAB25: t3 = (unsigned char)0; LAB26: if (t3 != 0) goto LAB22; LAB23: t1 = (t0 + 1776U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t16 = (t5 == (unsigned char)2); if (t16 == 1) goto LAB29; LAB30: t3 = (unsigned char)0; LAB31: if (t3 != 0) goto LAB27; LAB28: t1 = (t0 + 1776U); t2 = *((char **)t1); t5 = *((unsigned char *)t2); t16 = (t5 == (unsigned char)3); if (t16 == 1) goto LAB34; LAB35: t3 = (unsigned char)0; LAB36: if (t3 != 0) goto LAB32; LAB33: t1 = (t0 + 3072U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)1; LAB9: LAB3: t1 = (t0 + 4984); t2 = (t0 + 1256U); t4 = (t0 + 5752); t7 = (t0 + 3192U); t8 = *((char **)t7); t7 = (t0 + 8952); t23 = (t6 + 0U); t25 = (t23 + 0U); *((int *)t25) = 1; t25 = (t23 + 4U); *((int *)t25) = 1; t25 = (t23 + 8U); *((int *)t25) = 1; t13 = (1 - 1); t10 = (t13 * 1); t10 = (t10 + 1); t25 = (t23 + 12U); *((unsigned int *)t25) = t10; t25 = (t0 + 3072U); t26 = *((char **)t25); t3 = *((unsigned char *)t26); t25 = xsi_get_transient_memory(64U); memset(t25, 0, 64U); t37 = t25; t15 = (0 - 0); t10 = (t15 * 1); t11 = (32U * t10); t42 = (t37 + t11); t43 = t42; t49 = (t0 + 1736U); t58 = xsi_signal_get_last_event(t49); *((int64 *)t43) = t58; t50 = (t42 + 8U); t56 = (t0 + 2712U); t57 = *((char **)t56); memcpy(t50, t57, 16U); t56 = (t42 + 24U); *((unsigned char *)t56) = (unsigned char)1; t29 = (1 - 0); t12 = (t29 * 1); t14 = (32U * t12); t59 = (t37 + t14); t60 = t59; t61 = (t0 + 1896U); t62 = xsi_signal_get_last_event(t61); *((int64 *)t60) = t62; t63 = (t59 + 8U); t64 = (t0 + 2832U); t65 = *((char **)t64); memcpy(t63, t65, 16U); t64 = (t59 + 24U); *((unsigned char *)t64) = (unsigned char)1; t67 = (t66 + 0U); t68 = (t67 + 0U); *((int *)t68) = 0; t68 = (t67 + 4U); *((int *)t68) = 1; t68 = (t67 + 8U); *((int *)t68) = 1; t33 = (1 - 0); t27 = (t33 * 1); t27 = (t27 + 1); t68 = (t67 + 12U); *((unsigned int *)t68) = t27; t68 = ((IEEE_P_2717149903) + 1288U); t69 = *((char **)t68); memcpy(t70, t69, 16U); t68 = (t0 + 2232U); t71 = *((char **)t68); t5 = *((unsigned char *)t71); t68 = (t0 + 2352U); t72 = *((char **)t68); t16 = *((unsigned char *)t72); ieee_p_2717149903_sub_2486506143_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t4, t8, t7, t6, t3, t25, t66, t70, (unsigned char)3, t5, t16, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0); t1 = (t0 + 5528); *((int *)t1) = 1; LAB1: return; LAB2: t1 = (t0 + 3312U); t9 = *((char **)t1); t1 = (t0 + 3552U); t23 = *((char **)t1); t13 = *((int *)t23); t15 = (t13 - 3); t10 = (t15 * -1); xsi_vhdl_check_range_of_index(3, 0, -1, t13); t11 = (1U * t10); t12 = (0 + t11); t1 = (t9 + t12); t24 = *((unsigned char *)t1); t25 = (t0 + 3072U); t26 = *((char **)t25); t25 = (t26 + 0); *((unsigned char *)t25) = t24; goto LAB3; LAB5: t3 = (unsigned char)1; goto LAB7; LAB8: t49 = (t0 + 3312U); t50 = *((char **)t49); t51 = (0 - 3); t52 = (t51 * -1); t53 = (1U * t52); t54 = (0 + t53); t49 = (t50 + t54); t55 = *((unsigned char *)t49); t56 = (t0 + 3072U); t57 = *((char **)t56); t56 = (t57 + 0); *((unsigned char *)t56) = t55; goto LAB9; LAB11: t26 = (t0 + 3312U); t37 = *((char **)t26); t38 = (0 - 3); t39 = (t38 * -1); t40 = (1U * t39); t41 = (0 + t40); t26 = (t37 + t41); t22 = *((unsigned char *)t26); t42 = (t0 + 3312U); t43 = *((char **)t42); t44 = (2 - 3); t45 = (t44 * -1); t46 = (1U * t45); t47 = (0 + t46); t42 = (t43 + t47); t24 = *((unsigned char *)t42); t48 = (t22 == t24); t3 = t48; goto LAB13; LAB14: t8 = (t0 + 3312U); t9 = *((char **)t8); t29 = (2 - 3); t30 = (t29 * -1); t31 = (1U * t30); t32 = (0 + t31); t8 = (t9 + t32); t19 = *((unsigned char *)t8); t23 = (t0 + 3312U); t25 = *((char **)t23); t33 = (3 - 3); t34 = (t33 * -1); t35 = (1U * t34); t36 = (0 + t35); t23 = (t25 + t36); t20 = *((unsigned char *)t23); t21 = (t19 == t20); t5 = t21; goto LAB16; LAB17: t9 = (t0 + 3312U); t23 = *((char **)t9); t29 = (0 - 3); t30 = (t29 * -1); t31 = (1U * t30); t32 = (0 + t31); t9 = (t23 + t32); t20 = *((unsigned char *)t9); t25 = (t0 + 3072U); t26 = *((char **)t25); t25 = (t26 + 0); *((unsigned char *)t25) = t20; goto LAB9; LAB19: t1 = (t0 + 3312U); t4 = *((char **)t1); t13 = (0 - 3); t10 = (t13 * -1); t11 = (1U * t10); t12 = (0 + t11); t1 = (t4 + t12); t17 = *((unsigned char *)t1); t7 = (t0 + 3312U); t8 = *((char **)t7); t15 = (1 - 3); t14 = (t15 * -1); t27 = (1U * t14); t28 = (0 + t27); t7 = (t8 + t28); t18 = *((unsigned char *)t7); t19 = (t17 == t18); t3 = t19; goto LAB21; LAB22: t9 = (t0 + 3312U); t23 = *((char **)t9); t29 = (2 - 3); t30 = (t29 * -1); t31 = (1U * t30); t32 = (0 + t31); t9 = (t23 + t32); t20 = *((unsigned char *)t9); t25 = (t0 + 3072U); t26 = *((char **)t25); t25 = (t26 + 0); *((unsigned char *)t25) = t20; goto LAB9; LAB24: t1 = (t0 + 3312U); t4 = *((char **)t1); t13 = (2 - 3); t10 = (t13 * -1); t11 = (1U * t10); t12 = (0 + t11); t1 = (t4 + t12); t17 = *((unsigned char *)t1); t7 = (t0 + 3312U); t8 = *((char **)t7); t15 = (3 - 3); t14 = (t15 * -1); t27 = (1U * t14); t28 = (0 + t27); t7 = (t8 + t28); t18 = *((unsigned char *)t7); t19 = (t17 == t18); t3 = t19; goto LAB26; LAB27: t9 = (t0 + 3312U); t23 = *((char **)t9); t29 = (0 - 3); t30 = (t29 * -1); t31 = (1U * t30); t32 = (0 + t31); t9 = (t23 + t32); t20 = *((unsigned char *)t9); t25 = (t0 + 3072U); t26 = *((char **)t25); t25 = (t26 + 0); *((unsigned char *)t25) = t20; goto LAB9; LAB29: t1 = (t0 + 3312U); t4 = *((char **)t1); t13 = (0 - 3); t10 = (t13 * -1); t11 = (1U * t10); t12 = (0 + t11); t1 = (t4 + t12); t17 = *((unsigned char *)t1); t7 = (t0 + 3312U); t8 = *((char **)t7); t15 = (2 - 3); t14 = (t15 * -1); t27 = (1U * t14); t28 = (0 + t27); t7 = (t8 + t28); t18 = *((unsigned char *)t7); t19 = (t17 == t18); t3 = t19; goto LAB31; LAB32: t9 = (t0 + 3312U); t23 = *((char **)t9); t29 = (1 - 3); t30 = (t29 * -1); t31 = (1U * t30); t32 = (0 + t31); t9 = (t23 + t32); t20 = *((unsigned char *)t9); t25 = (t0 + 3072U); t26 = *((char **)t25); t25 = (t26 + 0); *((unsigned char *)t25) = t20; goto LAB9; LAB34: t1 = (t0 + 3312U); t4 = *((char **)t1); t13 = (1 - 3); t10 = (t13 * -1); t11 = (1U * t10); t12 = (0 + t11); t1 = (t4 + t12); t17 = *((unsigned char *)t1); t7 = (t0 + 3312U); t8 = *((char **)t7); t15 = (3 - 3); t14 = (t15 * -1); t27 = (1U * t14); t28 = (0 + t27); t7 = (t8 + t28); t18 = *((unsigned char *)t7); t19 = (t17 == t18); t3 = t19; goto LAB36; }
static void simprim_a_2221529119_0084882580_p_24(char *t0) { char t8[16]; char t107[16]; char t113[16]; char *t1; char *t2; unsigned char t3; char *t4; char *t5; char *t6; char *t9; char *t10; int t11; unsigned int t12; char *t13; char *t14; int t15; unsigned int t16; char *t17; char *t18; char *t19; int64 t20; char *t21; char *t22; char *t23; unsigned char t24; char *t25; char *t26; unsigned char t27; unsigned char t28; unsigned char t29; unsigned char t30; unsigned char t31; unsigned char t32; char *t33; unsigned char t34; char *t35; unsigned char t36; unsigned char t37; char *t38; unsigned char t39; char *t40; unsigned char t41; unsigned char t42; char *t43; unsigned char t44; char *t45; unsigned char t46; unsigned char t47; char *t48; unsigned char t49; char *t50; unsigned char t51; unsigned char t52; char *t53; unsigned char t54; char *t55; unsigned char t56; unsigned char t57; int t58; unsigned int t59; unsigned int t60; char *t61; char *t62; int64 t63; char *t64; char *t65; char *t66; int t67; unsigned int t68; unsigned int t69; char *t70; char *t71; char *t72; int64 t73; char *t74; char *t75; char *t76; int t77; unsigned int t78; unsigned int t79; char *t80; char *t81; char *t82; int64 t83; char *t84; char *t85; char *t86; int t87; unsigned int t88; unsigned int t89; char *t90; char *t91; char *t92; int64 t93; char *t94; char *t95; char *t96; int t97; unsigned int t98; unsigned int t99; char *t100; char *t101; char *t102; int64 t103; char *t104; char *t105; char *t106; char *t108; char *t109; int t110; unsigned int t111; char *t112; char *t114; unsigned char t115; char *t116; unsigned char t117; LAB0: t1 = (t0 + 7320U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t1 = (t0 + 17496U); t4 = *((char **)t1); t1 = (t4 + 0); *((unsigned char *)t1) = t3; t1 = (t0 + 26400); t2 = (t0 + 1520U); t4 = (t0 + 29056); t5 = (t0 + 17376U); t6 = *((char **)t5); t5 = (t0 + 44917); t9 = (t8 + 0U); t10 = (t9 + 0U); *((int *)t10) = 1; t10 = (t9 + 4U); *((int *)t10) = 1; t10 = (t9 + 8U); *((int *)t10) = 1; t11 = (1 - 1); t12 = (t11 * 1); t12 = (t12 + 1); t10 = (t9 + 12U); *((unsigned int *)t10) = t12; t10 = (t0 + 17496U); t13 = *((char **)t10); t3 = *((unsigned char *)t13); t10 = xsi_get_transient_memory(192U); memset(t10, 0, 192U); t14 = t10; t15 = (0 - 0); t12 = (t15 * 1); t16 = (32U * t12); t17 = (t14 + t16); t18 = t17; t19 = (t0 + 5840U); t20 = xsi_signal_get_last_event(t19); *((int64 *)t18) = t20; t21 = (t17 + 8U); t22 = (t0 + 9696U); t23 = *((char **)t22); memcpy(t21, t23, 16U); t22 = (t17 + 24U); t25 = (t0 + 7000U); t26 = *((char **)t25); t27 = *((unsigned char *)t26); t28 = (t27 != (unsigned char)2); if (t28 == 1) goto LAB2; LAB3: t24 = (unsigned char)0; LAB4: *((unsigned char *)t22) = t24; t58 = (1 - 0); t59 = (t58 * 1); t60 = (32U * t59); t25 = (t14 + t60); t61 = t25; t62 = (t0 + 4080U); t63 = xsi_signal_get_last_event(t62); *((int64 *)t61) = t63; t64 = (t25 + 8U); t65 = (t0 + 9816U); t66 = *((char **)t65); memcpy(t64, t66, 16U); t65 = (t25 + 24U); *((unsigned char *)t65) = (unsigned char)1; t67 = (2 - 0); t68 = (t67 * 1); t69 = (32U * t68); t70 = (t14 + t69); t71 = t70; t72 = (t0 + 4240U); t73 = xsi_signal_get_last_event(t72); *((int64 *)t71) = t73; t74 = (t70 + 8U); t75 = (t0 + 9936U); t76 = *((char **)t75); memcpy(t74, t76, 16U); t75 = (t70 + 24U); *((unsigned char *)t75) = (unsigned char)1; t77 = (3 - 0); t78 = (t77 * 1); t79 = (32U * t78); t80 = (t14 + t79); t81 = t80; t82 = (t0 + 4400U); t83 = xsi_signal_get_last_event(t82); *((int64 *)t81) = t83; t84 = (t80 + 8U); t85 = (t0 + 10056U); t86 = *((char **)t85); memcpy(t84, t86, 16U); t85 = (t80 + 24U); *((unsigned char *)t85) = (unsigned char)1; t87 = (4 - 0); t88 = (t87 * 1); t89 = (32U * t88); t90 = (t14 + t89); t91 = t90; t92 = (t0 + 4560U); t93 = xsi_signal_get_last_event(t92); *((int64 *)t91) = t93; t94 = (t90 + 8U); t95 = (t0 + 10176U); t96 = *((char **)t95); memcpy(t94, t96, 16U); t95 = (t90 + 24U); *((unsigned char *)t95) = (unsigned char)1; t97 = (5 - 0); t98 = (t97 * 1); t99 = (32U * t98); t100 = (t14 + t99); t101 = t100; t102 = (t0 + 4720U); t103 = xsi_signal_get_last_event(t102); *((int64 *)t101) = t103; t104 = (t100 + 8U); t105 = (t0 + 10296U); t106 = *((char **)t105); memcpy(t104, t106, 16U); t105 = (t100 + 24U); *((unsigned char *)t105) = (unsigned char)1; t108 = (t107 + 0U); t109 = (t108 + 0U); *((int *)t109) = 0; t109 = (t108 + 4U); *((int *)t109) = 5; t109 = (t108 + 8U); *((int *)t109) = 1; t110 = (5 - 0); t111 = (t110 * 1); t111 = (t111 + 1); t109 = (t108 + 12U); *((unsigned int *)t109) = t111; t109 = ((IEEE_P_2717149903) + 1288U); t112 = *((char **)t109); memcpy(t113, t112, 16U); t109 = (t0 + 7896U); t114 = *((char **)t109); t115 = *((unsigned char *)t114); t109 = (t0 + 8016U); t116 = *((char **)t109); t117 = *((unsigned char *)t116); ieee_p_2717149903_sub_2486506143_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t4, t6, t5, t8, t3, t10, t107, t113, (unsigned char)3, t115, t117, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0); t1 = (t0 + 27424); *((int *)t1) = 1; LAB1: return; LAB2: t25 = (t0 + 4120U); t33 = *((char **)t25); t34 = *((unsigned char *)t33); t25 = (t0 + 6200U); t35 = *((char **)t25); t36 = *((unsigned char *)t35); t37 = (t34 == t36); if (t37 == 1) goto LAB14; LAB15: t32 = (unsigned char)0; LAB16: if (t32 == 1) goto LAB11; LAB12: t31 = (unsigned char)0; LAB13: if (t31 == 1) goto LAB8; LAB9: t30 = (unsigned char)0; LAB10: if (t30 == 1) goto LAB5; LAB6: t29 = (unsigned char)0; LAB7: t24 = t29; goto LAB4; LAB5: t25 = (t0 + 4760U); t53 = *((char **)t25); t54 = *((unsigned char *)t53); t25 = (t0 + 6840U); t55 = *((char **)t25); t56 = *((unsigned char *)t55); t57 = (t54 == t56); t29 = t57; goto LAB7; LAB8: t25 = (t0 + 4600U); t48 = *((char **)t25); t49 = *((unsigned char *)t48); t25 = (t0 + 6680U); t50 = *((char **)t25); t51 = *((unsigned char *)t50); t52 = (t49 == t51); t30 = t52; goto LAB10; LAB11: t25 = (t0 + 4440U); t43 = *((char **)t25); t44 = *((unsigned char *)t43); t25 = (t0 + 6520U); t45 = *((char **)t25); t46 = *((unsigned char *)t45); t47 = (t44 == t46); t31 = t47; goto LAB13; LAB14: t25 = (t0 + 4280U); t38 = *((char **)t25); t39 = *((unsigned char *)t38); t25 = (t0 + 6360U); t40 = *((char **)t25); t41 = *((unsigned char *)t40); t42 = (t39 == t41); t32 = t42; goto LAB16; }