static void work_a_1164455951_3212880686_p_0(char *t0) { char t48[16]; char t49[16]; char t50[16]; char t51[16]; char t52[16]; char t53[16]; char *t1; char *t2; unsigned char t3; unsigned char t4; char *t5; unsigned char t6; unsigned char t7; char *t8; int t9; unsigned char t10; char *t11; int t12; int t13; char *t14; unsigned char t15; unsigned int t16; char *t17; char *t18; char *t19; char *t20; char *t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; char *t28; char *t29; int t30; char *t31; char *t32; char *t33; char *t34; int t35; char *t36; char *t37; char *t38; char *t39; int t40; int t41; unsigned int t42; unsigned int t43; unsigned int t44; char *t45; char *t46; char *t47; double t54; LAB0: xsi_set_current_line(150, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t1 = (t2 + 0); *((unsigned char *)t1) = (unsigned char)1; xsi_set_current_line(151, ng2); t1 = (t0 + 992U); t4 = xsi_signal_has_event(t1); if (t4 == 1) goto LAB5; LAB6: t3 = (unsigned char)0; LAB7: if (t3 != 0) goto LAB2; LAB4: LAB3: t1 = (t0 + 5712); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(152, ng2); t2 = (t0 + 3368U); t8 = *((char **)t2); t9 = *((int *)t8); t10 = (t9 > 0); if (t10 != 0) goto LAB8; LAB10: LAB9: xsi_set_current_line(155, ng2); t1 = (t0 + 1192U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)3); if (t4 != 0) goto LAB11; LAB13: xsi_set_current_line(237, ng2); t1 = (t0 + 5856); t2 = (t1 + 56U); t5 = *((char **)t2); t8 = (t5 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); LAB12: goto LAB3; LAB5: t2 = (t0 + 1032U); t5 = *((char **)t2); t6 = *((unsigned char *)t5); t7 = (t6 == (unsigned char)3); t3 = t7; goto LAB7; LAB8: xsi_set_current_line(153, ng2); t2 = (t0 + 3368U); t11 = *((char **)t2); t12 = *((int *)t11); t13 = (t12 - 1); t2 = (t0 + 3368U); t14 = *((char **)t2); t2 = (t14 + 0); *((int *)t2) = t13; goto LAB9; LAB11: xsi_set_current_line(156, ng2); t1 = (t0 + 3368U); t5 = *((char **)t1); t9 = *((int *)t5); t7 = (t9 == 0); if (t7 == 1) goto LAB17; LAB18: t6 = (unsigned char)0; LAB19: if (t6 != 0) goto LAB14; LAB16: LAB15: xsi_set_current_line(230, ng2); t1 = (t0 + 3368U); t2 = *((char **)t1); t9 = *((int *)t2); t3 = (t9 == 1); if (t3 != 0) goto LAB87; LAB89: xsi_set_current_line(234, ng2); t1 = (t0 + 5856); t2 = (t1 + 56U); t5 = *((char **)t2); t8 = (t5 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); LAB88: goto LAB12; LAB14: xsi_set_current_line(158, ng2); t8 = (t0 + 3488U); t11 = *((char **)t8); t8 = (t11 + 0); *((unsigned char *)t8) = (unsigned char)0; xsi_set_current_line(159, ng2); LAB20: t1 = (t0 + 3488U); t2 = *((char **)t1); t4 = *((unsigned char *)t2); t6 = (!(t4)); if (t6 == 1) goto LAB24; LAB25: t3 = (unsigned char)0; LAB26: if (t3 != 0) goto LAB21; LAB23: xsi_set_current_line(169, ng2); t1 = (t0 + 3488U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); if (t3 != 0) goto LAB40; LAB42: LAB41: goto LAB15; LAB17: t1 = (t0 + 4416U); t10 = std_textio_endfile(t1); t15 = (!(t10)); t6 = t15; goto LAB19; LAB21: xsi_set_current_line(160, ng2); t5 = (t0 + 5200); t8 = (t0 + 4416U); t11 = (t0 + 4592U); std_textio_readline(STD_TEXTIO, t5, t8, t11); xsi_set_current_line(161, ng2); t1 = (t0 + 3608U); t2 = *((char **)t1); t9 = *((int *)t2); t12 = (t9 + 1); t1 = (t0 + 3608U); t5 = *((char **)t1); t1 = (t5 + 0); *((int *)t1) = t12; xsi_set_current_line(162, ng2); t1 = (t0 + 4592U); t2 = xsi_access_variable_all(t1); t5 = (t2 + 64U); t5 = *((char **)t5); t8 = (t5 + 12U); t16 = *((unsigned int *)t8); t3 = (t16 > 0); if (t3 != 0) goto LAB27; LAB29: LAB28: goto LAB20; LAB22:; LAB24: t1 = (t0 + 4416U); t7 = std_textio_endfile(t1); t10 = (!(t7)); t3 = t10; goto LAB26; LAB27: xsi_set_current_line(163, ng2); t11 = (t0 + 4592U); t14 = xsi_access_variable_all(t11); t17 = (t14 + 56U); t18 = *((char **)t17); t17 = (t0 + 4592U); t19 = xsi_access_variable_all(t17); t20 = (t19 + 64U); t20 = *((char **)t20); t21 = (t20 + 0U); t12 = *((int *)t21); t22 = (t0 + 4592U); t23 = xsi_access_variable_all(t22); t24 = (t23 + 64U); t24 = *((char **)t24); t25 = (t24 + 4U); t13 = *((int *)t25); t26 = (t0 + 4592U); t27 = xsi_access_variable_all(t26); t28 = (t27 + 64U); t28 = *((char **)t28); t29 = (t28 + 8U); t30 = *((int *)t29); if (t12 > t13) goto LAB30; LAB31: if (t30 == -1) goto LAB35; LAB36: t9 = t12; LAB32: t31 = (t0 + 4592U); t32 = xsi_access_variable_all(t31); t33 = (t32 + 64U); t33 = *((char **)t33); t34 = (t33 + 0U); t35 = *((int *)t34); t36 = (t0 + 4592U); t37 = xsi_access_variable_all(t36); t38 = (t37 + 64U); t38 = *((char **)t38); t39 = (t38 + 8U); t40 = *((int *)t39); t41 = (t9 - t35); t42 = (t41 * t40); t43 = (1U * t42); t44 = (0 + t43); t45 = (t18 + t44); t4 = *((unsigned char *)t45); t46 = (t0 + 3728U); t47 = *((char **)t46); t46 = (t47 + 0); *((unsigned char *)t46) = t4; xsi_set_current_line(164, ng2); t1 = (t0 + 3728U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 != (unsigned char)35); if (t4 != 0) goto LAB37; LAB39: LAB38: goto LAB28; LAB30: if (t30 == 1) goto LAB33; LAB34: t9 = t13; goto LAB32; LAB33: t9 = t12; goto LAB32; LAB35: t9 = t13; goto LAB32; LAB37: xsi_set_current_line(165, ng2); t1 = (t0 + 3488U); t5 = *((char **)t1); t1 = (t5 + 0); *((unsigned char *)t1) = (unsigned char)1; goto LAB38; LAB40: xsi_set_current_line(170, ng2); t1 = (t0 + 5200); t5 = (t0 + 4592U); t8 = (t0 + 3248U); t11 = *((char **)t8); t8 = (t11 + 0); t14 = (t0 + 3128U); t17 = *((char **)t14); t14 = (t17 + 0); std_textio_read9(STD_TEXTIO, t1, t5, t8, t14); xsi_set_current_line(171, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB43; LAB45: LAB44: xsi_set_current_line(175, ng2); t1 = (t0 + 5200); t2 = (t0 + 4592U); t5 = (t0 + 3368U); t8 = *((char **)t5); t5 = (t8 + 0); t11 = (t0 + 3128U); t14 = *((char **)t11); t11 = (t14 + 0); std_textio_read9(STD_TEXTIO, t1, t2, t5, t11); xsi_set_current_line(176, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB46; LAB48: LAB47: xsi_set_current_line(180, ng2); t1 = (t0 + 5200); t2 = (t0 + 4592U); t5 = (t0 + 3728U); t8 = *((char **)t5); t5 = (t8 + 0); t11 = (t0 + 3128U); t14 = *((char **)t11); t11 = (t14 + 0); std_textio_read7(STD_TEXTIO, t1, t2, t5, t11); xsi_set_current_line(181, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB49; LAB51: LAB50: xsi_set_current_line(185, ng2); if ((unsigned char)0 != 0) goto LAB52; LAB54: LAB53: xsi_set_current_line(188, ng2); t3 = (0 > 0); if (t3 != 0) goto LAB55; LAB57: LAB56: xsi_set_current_line(195, ng2); if ((unsigned char)1 != 0) goto LAB61; LAB63: if ((unsigned char)0 != 0) goto LAB79; LAB80: xsi_set_current_line(223, ng2); t1 = (t0 + 5200); t2 = (t0 + 4592U); t5 = (t0 + 2888U); t8 = *((char **)t5); t5 = (t0 + 3848U); t11 = *((char **)t5); t9 = *((int *)t11); t12 = (t9 - 1); t16 = (15 - t12); t42 = (t16 * 1U); t43 = (0 + t42); t5 = (t8 + t43); t14 = (t0 + 10412U); t17 = (t0 + 3128U); t18 = *((char **)t17); t17 = (t18 + 0); ieee_p_3564397177_sub_2802659619_91900896(IEEE_P_3564397177, t1, t2, t5, t14, t17); xsi_set_current_line(224, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB84; LAB86: LAB85: LAB62: goto LAB41; LAB43: xsi_set_current_line(172, ng2); t1 = (t0 + 10672); t8 = (t0 + 10702); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 30; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (30 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10364U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 10715); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (30U + 13U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB44; LAB46: xsi_set_current_line(177, ng2); t1 = (t0 + 10723); t8 = (t0 + 10754); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 31; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (31 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10364U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 10767); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (31U + 13U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB47; LAB49: xsi_set_current_line(182, ng2); t1 = (t0 + 10775); t8 = (t0 + 10800); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 25; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (25 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10364U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 10813); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (25U + 13U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB50; LAB52: xsi_set_current_line(186, ng2); t1 = (t0 + 3368U); t2 = *((char **)t1); t1 = (t2 + 0); *((int *)t1) = 1; goto LAB53; LAB55: xsi_set_current_line(189, ng2); t1 = (t0 + 5200); t2 = (t0 + 4592U); t5 = (t0 + 2888U); t8 = *((char **)t5); t9 = (16 - 1); t16 = (15 - t9); t42 = (t16 * 1U); t43 = (0 + t42); t5 = (t8 + t43); t11 = (t48 + 0U); t14 = (t11 + 0U); *((int *)t14) = 15; t14 = (t11 + 4U); *((int *)t14) = 16; t14 = (t11 + 8U); *((int *)t14) = -1; t12 = (16 - 15); t44 = (t12 * -1); t44 = (t44 + 1); t14 = (t11 + 12U); *((unsigned int *)t14) = t44; t14 = (t0 + 3128U); t17 = *((char **)t14); t14 = (t17 + 0); ieee_p_3564397177_sub_2802659619_91900896(IEEE_P_3564397177, t1, t2, t5, t48, t14); xsi_set_current_line(190, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB58; LAB60: LAB59: goto LAB56; LAB58: xsi_set_current_line(191, ng2); t1 = (t0 + 10821); t8 = (t0 + 10848); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 27; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (27 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10364U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 10861); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (27U + 13U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB59; LAB61: xsi_set_current_line(197, ng2); t1 = (t0 + 5200); t2 = (t0 + 4592U); t5 = (t0 + 3008U); t8 = *((char **)t5); t5 = (t8 + 0); t11 = (t0 + 3128U); t14 = *((char **)t11); t11 = (t14 + 0); std_textio_read11(STD_TEXTIO, t1, t2, t5, t11); xsi_set_current_line(198, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB64; LAB66: LAB65: xsi_set_current_line(202, ng2); if ((unsigned char)0 == 1) goto LAB70; LAB71: t3 = (unsigned char)0; LAB72: if (t3 != 0) goto LAB67; LAB69: LAB68: xsi_set_current_line(205, ng2); if ((unsigned char)0 != 0) goto LAB73; LAB75: xsi_set_current_line(210, ng2); if ((unsigned char)0 != 0) goto LAB76; LAB78: xsi_set_current_line(213, ng2); t1 = (t0 + 3008U); t2 = *((char **)t1); t54 = *((double *)t2); t1 = (t0 + 3968U); t5 = *((char **)t1); t9 = *((int *)t5); t1 = (t0 + 4088U); t8 = *((char **)t1); t12 = *((int *)t8); t1 = ((IEEE_PROPOSED_P_0892474878) + 1288U); t11 = *((char **)t1); t3 = *((unsigned char *)t11); t1 = ((IEEE_PROPOSED_P_0892474878) + 1168U); t14 = *((char **)t1); t4 = *((unsigned char *)t14); t1 = ieee_proposed_p_0892474878_sub_3089730135_450259796(IEEE_PROPOSED_P_0892474878, t48, t54, t9, t12, t3, t4, 32); t17 = (t0 + 2888U); t18 = *((char **)t17); t17 = (t0 + 3848U); t19 = *((char **)t17); t13 = *((int *)t19); t30 = (t13 - 1); t16 = (15 - t30); t42 = (t16 * 1U); t43 = (0 + t42); t17 = (t18 + t43); t20 = (t17 + 0); t21 = (t48 + 12U); t44 = *((unsigned int *)t21); t44 = (t44 * 1U); memcpy(t20, t1, t44); t22 = (t0 + 2832U); xsi_variable_act(t22); LAB77: LAB74: goto LAB62; LAB64: xsi_set_current_line(199, ng2); t1 = (t0 + 10869); t8 = (t0 + 10902); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 33; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (33 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10364U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 10915); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (33U + 13U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB65; LAB67: xsi_set_current_line(203, ng2); t1 = (t0 + 10923); t8 = (t0 + 10988); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 65; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (65 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10364U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 11001); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (65U + 13U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB68; LAB70: t1 = (t0 + 3008U); t2 = *((char **)t1); t54 = *((double *)t2); t4 = (t54 < 0.00000000000000000); t3 = t4; goto LAB72; LAB73: xsi_set_current_line(207, ng2); t1 = (t0 + 3008U); t2 = *((char **)t1); t54 = *((double *)t2); t1 = (t0 + 3968U); t5 = *((char **)t1); t9 = *((int *)t5); t1 = ((IEEE_PROPOSED_P_0618294350) + 1408U); t8 = *((char **)t1); t3 = *((unsigned char *)t8); t1 = ((IEEE_PROPOSED_P_0618294350) + 1528U); t11 = *((char **)t1); t4 = *((unsigned char *)t11); t1 = ieee_proposed_p_0618294350_sub_17521889_3517329569(IEEE_PROPOSED_P_0618294350, t48, t54, t9, 0, t3, t4); t14 = (t0 + 2888U); t17 = *((char **)t14); t14 = (t0 + 3848U); t18 = *((char **)t14); t12 = *((int *)t18); t13 = (t12 - 1); t16 = (15 - t13); t42 = (t16 * 1U); t43 = (0 + t42); t14 = (t17 + t43); t19 = (t14 + 0); t20 = (t48 + 12U); t44 = *((unsigned int *)t20); t44 = (t44 * 1U); memcpy(t19, t1, t44); t21 = (t0 + 2832U); xsi_variable_act(t21); goto LAB74; LAB76: xsi_set_current_line(211, ng2); t1 = (t0 + 3008U); t2 = *((char **)t1); t54 = *((double *)t2); t1 = (t0 + 3968U); t5 = *((char **)t1); t9 = *((int *)t5); t1 = (t0 + 4088U); t8 = *((char **)t1); t12 = *((int *)t8); t1 = ((IEEE_PROPOSED_P_0892474878) + 1288U); t11 = *((char **)t1); t3 = *((unsigned char *)t11); t1 = ((IEEE_PROPOSED_P_0892474878) + 1168U); t14 = *((char **)t1); t4 = *((unsigned char *)t14); t1 = ieee_proposed_p_0892474878_sub_1319208325_450259796(IEEE_PROPOSED_P_0892474878, t48, t54, t9, t12, t3, t4, 32); t17 = (t0 + 2888U); t18 = *((char **)t17); t17 = (t0 + 3848U); t19 = *((char **)t17); t13 = *((int *)t19); t30 = (t13 - 1); t16 = (15 - t30); t42 = (t16 * 1U); t43 = (0 + t42); t17 = (t18 + t43); t20 = (t17 + 0); t21 = (t48 + 12U); t44 = *((unsigned int *)t21); t44 = (t44 * 1U); memcpy(t20, t1, t44); t22 = (t0 + 2832U); xsi_variable_act(t22); goto LAB77; LAB79: xsi_set_current_line(217, ng2); t1 = (t0 + 5200); t2 = (t0 + 4592U); t5 = (t0 + 2888U); t8 = *((char **)t5); t5 = (t0 + 3848U); t11 = *((char **)t5); t9 = *((int *)t11); t12 = (t9 - 1); t16 = (15 - t12); t42 = (t16 * 1U); t43 = (0 + t42); t5 = (t8 + t43); t14 = (t0 + 10412U); t17 = (t0 + 3128U); t18 = *((char **)t17); t17 = (t18 + 0); ieee_p_3564397177_sub_3902175275_91900896(IEEE_P_3564397177, t1, t2, t5, t14, t17); xsi_set_current_line(218, ng2); t1 = (t0 + 3128U); t2 = *((char **)t1); t3 = *((unsigned char *)t2); t4 = (t3 == (unsigned char)0); if (t4 != 0) goto LAB81; LAB83: LAB82: goto LAB62; LAB81: xsi_set_current_line(219, ng2); t1 = (t0 + 11009); t8 = (t0 + 11041); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 32; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (32 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10364U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 11054); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (32U + 13U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB82; LAB84: xsi_set_current_line(225, ng2); t1 = (t0 + 11062); t8 = (t0 + 11097); t17 = ((STD_STANDARD) + 1008); t18 = (t49 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 35; t19 = (t18 + 8U); *((int *)t19) = 1; t9 = (35 - 1); t16 = (t9 * 1); t16 = (t16 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t16; t19 = (t0 + 10364U); t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101); t20 = (t0 + 11110); t23 = ((STD_STANDARD) + 1008); t24 = (t51 + 0U); t25 = (t24 + 0U); *((int *)t25) = 1; t25 = (t24 + 4U); *((int *)t25) = 8; t25 = (t24 + 8U); *((int *)t25) = 1; t12 = (8 - 1); t16 = (t12 * 1); t16 = (t16 + 1); t25 = (t24 + 12U); *((unsigned int *)t25) = t16; t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101); t25 = ((STD_STANDARD) + 384); t26 = (t0 + 3608U); t27 = *((char **)t26); t13 = *((int *)t27); t26 = xsi_int_to_mem(t13); t28 = xsi_string_variable_get_image(t52, t25, t26); t31 = ((STD_STANDARD) + 1008); t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101); t16 = (35U + 13U); t42 = (t16 + 8U); t32 = (t52 + 12U); t43 = *((unsigned int *)t32); t44 = (t42 + t43); xsi_report(t29, t44, (unsigned char)3); goto LAB85; LAB87: xsi_set_current_line(231, ng2); t1 = (t0 + 2888U); t5 = *((char **)t1); t1 = (t0 + 5792); t8 = (t1 + 56U); t11 = *((char **)t8); t14 = (t11 + 56U); t17 = *((char **)t14); memcpy(t17, t5, 16U); xsi_driver_first_trans_fast_port(t1); xsi_set_current_line(232, ng2); t1 = (t0 + 5856); t2 = (t1 + 56U); t5 = *((char **)t2); t8 = (t5 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)3; xsi_driver_first_trans_fast_port(t1); goto LAB88; }
static void unisim_a_0714155612_2768510774_p_0(char *t0) { char t17[16]; char t22[8]; char *t1; char *t2; unsigned char t3; char *t4; char *t5; int64 t6; char *t7; int64 t8; int64 t9; int64 t10; int64 t11; char *t12; unsigned char t13; unsigned char t14; unsigned char t15; char *t16; char *t18; char *t19; int t20; unsigned int t21; unsigned int t23; LAB0: t1 = (t0 + 1812U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 568U); t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t2, 0U, 0U); if (t3 != 0) goto LAB4; LAB6: LAB5: LAB20: t2 = (t0 + 1992); *((int *)t2) = 1; *((char **)t1) = &&LAB21; LAB1: return; LAB4: t4 = (t0 + 992U); t5 = *((char **)t4); t6 = *((int64 *)t5); t4 = (t0 + 924U); t7 = *((char **)t4); t4 = (t7 + 0); *((int64 *)t4) = t6; t6 = xsi_get_sim_current_time(); t2 = (t0 + 992U); t4 = *((char **)t2); t2 = (t4 + 0); *((int64 *)t2) = t6; t2 = (t0 + 924U); t4 = *((char **)t2); t6 = *((int64 *)t4); t8 = (0 * 1LL); t3 = (t6 > t8); if (t3 != 0) goto LAB7; LAB9: LAB8: t2 = (t0 + 1060U); t4 = *((char **)t2); t6 = *((int64 *)t4); t13 = (t6 > 1000000LL); if (t13 == 1) goto LAB13; LAB14: t3 = (unsigned char)0; LAB15: if (t3 != 0) goto LAB10; LAB12: LAB11: goto LAB5; LAB7: t2 = (t0 + 992U); t5 = *((char **)t2); t9 = *((int64 *)t5); t2 = (t0 + 924U); t7 = *((char **)t2); t10 = *((int64 *)t7); t11 = (t9 - t10); t2 = (t0 + 1060U); t12 = *((char **)t2); t2 = (t12 + 0); *((int64 *)t2) = t11; goto LAB8; LAB10: t2 = (t0 + 1712); t7 = (t0 + 1284U); t12 = (t0 + 3868); t18 = (t17 + 0U); t19 = (t18 + 0U); *((int *)t19) = 1; t19 = (t18 + 4U); *((int *)t19) = 33; t19 = (t18 + 8U); *((int *)t19) = 1; t20 = (33 - 1); t21 = (t20 * 1); t21 = (t21 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t21; std_textio_write7(STD_TEXTIO, t2, t7, t12, t17, (unsigned char)0, 0); t2 = (t0 + 1712); t4 = (t0 + 1284U); t5 = (t0 + 1060U); t7 = *((char **)t5); t6 = *((int64 *)t7); std_textio_write8(STD_TEXTIO, t2, t4, t6, (unsigned char)0, 0, 1000LL); t2 = (t0 + 1712); t4 = (t0 + 1284U); t5 = (t0 + 3901); t12 = (t17 + 0U); t16 = (t12 + 0U); *((int *)t16) = 1; t16 = (t12 + 4U); *((int *)t16) = 8; t16 = (t12 + 8U); *((int *)t16) = 1; t20 = (8 - 1); t21 = (t20 * 1); t21 = (t21 + 1); t16 = (t12 + 12U); *((unsigned int *)t16) = t21; std_textio_write7(STD_TEXTIO, t2, t4, t5, t17, (unsigned char)0, 0); t2 = (t0 + 1712); t4 = (t0 + 1284U); t5 = (t0 + 3909); memcpy(t22, t5, 5U); t12 = (t0 + 3756U); std_textio_write7(STD_TEXTIO, t2, t4, t22, t12, (unsigned char)0, 0); t2 = (t0 + 1712); t4 = (t0 + 1284U); t5 = (t0 + 3914); t12 = (t17 + 0U); t16 = (t12 + 0U); *((int *)t16) = 1; t16 = (t12 + 4U); *((int *)t16) = 6; t16 = (t12 + 8U); *((int *)t16) = 1; t20 = (6 - 1); t21 = (t20 * 1); t21 = (t21 + 1); t16 = (t12 + 12U); *((unsigned int *)t16) = t21; std_textio_write7(STD_TEXTIO, t2, t4, t5, t17, (unsigned char)0, 0); t2 = (t0 + 1712); t4 = (t0 + 1284U); t5 = (t0 + 3920); t12 = (t17 + 0U); t16 = (t12 + 0U); *((int *)t16) = 1; t16 = (t12 + 4U); *((int *)t16) = 20; t16 = (t12 + 8U); *((int *)t16) = 1; t20 = (20 - 1); t21 = (t20 * 1); t21 = (t21 + 1); t16 = (t12 + 12U); *((unsigned int *)t16) = t21; std_textio_write7(STD_TEXTIO, t2, t4, t5, t17, (unsigned char)0, 0); t2 = (t0 + 1712); t4 = (t0 + 1284U); t5 = (t0 + 3940); t12 = (t17 + 0U); t16 = (t12 + 0U); *((int *)t16) = 1; t16 = (t12 + 4U); *((int *)t16) = 26; t16 = (t12 + 8U); *((int *)t16) = 1; t20 = (26 - 1); t21 = (t20 * 1); t21 = (t21 + 1); t16 = (t12 + 12U); *((unsigned int *)t16) = t21; std_textio_write7(STD_TEXTIO, t2, t4, t5, t17, (unsigned char)0, 0); t2 = (t0 + 1712); t4 = (t0 + 1284U); std_textio_write8(STD_TEXTIO, t2, t4, 1000000LL, (unsigned char)0, 0, 1000LL); t2 = (t0 + 1712); t4 = (t0 + 1284U); t5 = (t0 + 3966); t12 = (t17 + 0U); t16 = (t12 + 0U); *((int *)t16) = 1; t16 = (t12 + 4U); *((int *)t16) = 20; t16 = (t12 + 8U); *((int *)t16) = 1; t20 = (20 - 1); t21 = (t20 * 1); t21 = (t21 + 1); t16 = (t12 + 12U); *((unsigned int *)t16) = t21; std_textio_write7(STD_TEXTIO, t2, t4, t5, t17, (unsigned char)0, 0); t2 = (t0 + 1712); t4 = (t0 + 1284U); t5 = (t0 + 992U); t7 = *((char **)t5); t6 = *((int64 *)t7); std_textio_write8(STD_TEXTIO, t2, t4, t6, (unsigned char)0, 0, 1000LL); t2 = (t0 + 1712); t4 = (t0 + 1284U); t7 = ((STD_STANDARD) + 656); t5 = xsi_base_array_concat(t5, t17, t7, (char)99, (unsigned char)46, (char)99, (unsigned char)10, (char)101); t21 = (1U + 1U); t12 = (char *)alloca(t21); memcpy(t12, t5, t21); std_textio_write7(STD_TEXTIO, t2, t4, t12, t17, (unsigned char)0, 0); if ((unsigned char)0 == 0) goto LAB16; LAB17: t2 = (t0 + 1284U); xsi_access_variable_deallocate(t2); goto LAB11; LAB13: t2 = (t0 + 684U); t5 = *((char **)t2); t14 = *((unsigned char *)t5); t15 = (t14 == (unsigned char)2); t3 = t15; goto LAB15; LAB16: t2 = (t0 + 1284U); t4 = xsi_access_variable_all(t2); t5 = (t4 + 36U); t7 = *((char **)t5); t5 = (t0 + 1284U); t16 = xsi_access_variable_all(t5); t18 = (t16 + 40U); t18 = *((char **)t18); t19 = (t18 + 12U); t21 = *((unsigned int *)t19); t23 = (1U * t21); xsi_report(t7, t23, (unsigned char)1); goto LAB17; LAB18: t4 = (t0 + 1992); *((int *)t4) = 0; goto LAB2; LAB19: goto LAB18; LAB21: goto LAB19; }