static void work_a_2248347227_3212880686_p_0(char *t0) { char t6[16]; char t12[16]; char t21[16]; char t33[16]; char t36[16]; char *t1; char *t2; unsigned int t3; unsigned int t4; unsigned int t5; char *t7; char *t8; int t9; unsigned int t10; char *t11; char *t13; char *t14; int t15; unsigned char t16; char *t17; char *t18; char *t19; char *t20; char *t22; char *t23; char *t24; char *t25; char *t26; unsigned int t27; unsigned char t28; char *t29; unsigned int t30; int t31; unsigned int t32; int t34; char *t35; int t37; char *t38; char *t39; char *t40; char *t41; LAB0: xsi_set_current_line(37, ng0); t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 5); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 5; t8 = (t7 + 4U); *((int *)t8) = 3; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (3 - 5); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6775); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB2; LAB4: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 5); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 5; t8 = (t7 + 4U); *((int *)t8) = 3; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (3 - 5); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6802); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB30; LAB31: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 5); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 5; t8 = (t7 + 4U); *((int *)t8) = 3; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (3 - 5); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6910); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB48; LAB49: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 5); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 5; t8 = (t7 + 4U); *((int *)t8) = 3; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (3 - 5); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6931); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB81; LAB82: xsi_set_current_line(148, ng0); t1 = (t0 + 4080); t2 = (t1 + 56U); t7 = *((char **)t2); t8 = (t7 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast(t1); xsi_set_current_line(150, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t2 = t1; memset(t2, (unsigned char)2, 32U); t7 = (t0 + 4144); t8 = (t7 + 56U); t11 = *((char **)t8); t13 = (t11 + 56U); t14 = *((char **)t13); memcpy(t14, t1, 32U); xsi_driver_first_trans_fast(t7); LAB3: t1 = (t0 + 3968); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(38, ng0); t14 = (t0 + 4080); t17 = (t14 + 56U); t18 = *((char **)t17); t19 = (t18 + 56U); t20 = *((char **)t19); *((unsigned char *)t20) = (unsigned char)2; xsi_driver_first_trans_fast(t14); xsi_set_current_line(39, ng0); t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6778); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB5; LAB7: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6781); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB8; LAB9: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6784); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB10; LAB11: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6787); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB12; LAB13: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6790); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB14; LAB15: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6793); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB18; LAB19: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6796); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB22; LAB23: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6799); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB26; LAB27: LAB6: goto LAB3; LAB5: xsi_set_current_line(40, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t20 = ieee_p_1242562249_sub_3273497107_1035706684(IEEE_P_1242562249, t21, t17, t14, t19, t18); t22 = (t0 + 4144); t23 = (t22 + 56U); t24 = *((char **)t23); t25 = (t24 + 56U); t26 = *((char **)t25); memcpy(t26, t20, 32U); xsi_driver_first_trans_fast(t22); goto LAB6; LAB8: xsi_set_current_line(42, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t20 = ieee_p_1242562249_sub_1547198987_1035706684(IEEE_P_1242562249, t21, t17, t14, t19, t18); t22 = (t0 + 4144); t23 = (t22 + 56U); t24 = *((char **)t23); t25 = (t24 + 56U); t26 = *((char **)t25); memcpy(t26, t20, 32U); xsi_driver_first_trans_fast(t22); goto LAB6; LAB10: xsi_set_current_line(44, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t20 = ieee_p_1242562249_sub_3273568981_1035706684(IEEE_P_1242562249, t21, t17, t14, t19, t18); t22 = (t0 + 4144); t23 = (t22 + 56U); t24 = *((char **)t23); t25 = (t24 + 56U); t26 = *((char **)t25); memcpy(t26, t20, 32U); xsi_driver_first_trans_fast(t22); goto LAB6; LAB12: xsi_set_current_line(46, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t20 = ieee_p_1242562249_sub_1547270861_1035706684(IEEE_P_1242562249, t21, t17, t14, t19, t18); t22 = (t0 + 4144); t23 = (t22 + 56U); t24 = *((char **)t23); t25 = (t24 + 56U); t26 = *((char **)t25); memcpy(t26, t20, 32U); xsi_driver_first_trans_fast(t22); goto LAB6; LAB14: xsi_set_current_line(48, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t20 = ieee_p_2592010699_sub_795620321_503743352(IEEE_P_2592010699, t21, t17, t14, t19, t18); t22 = (t21 + 12U); t10 = *((unsigned int *)t22); t27 = (1U * t10); t28 = (32U != t27); if (t28 == 1) goto LAB16; LAB17: t23 = (t0 + 4144); t24 = (t23 + 56U); t25 = *((char **)t24); t26 = (t25 + 56U); t29 = *((char **)t26); memcpy(t29, t20, 32U); xsi_driver_first_trans_fast(t23); goto LAB6; LAB16: xsi_size_not_matching(32U, t27, 0); goto LAB17; LAB18: xsi_set_current_line(50, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t20 = ieee_p_2592010699_sub_1735675855_503743352(IEEE_P_2592010699, t21, t17, t14, t19, t18); t22 = (t21 + 12U); t10 = *((unsigned int *)t22); t27 = (1U * t10); t28 = (32U != t27); if (t28 == 1) goto LAB20; LAB21: t23 = (t0 + 4144); t24 = (t23 + 56U); t25 = *((char **)t24); t26 = (t25 + 56U); t29 = *((char **)t26); memcpy(t29, t20, 32U); xsi_driver_first_trans_fast(t23); goto LAB6; LAB20: xsi_size_not_matching(32U, t27, 0); goto LAB21; LAB22: xsi_set_current_line(52, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t20 = ieee_p_2592010699_sub_1697423399_503743352(IEEE_P_2592010699, t21, t17, t14, t19, t18); t22 = (t21 + 12U); t10 = *((unsigned int *)t22); t27 = (1U * t10); t28 = (32U != t27); if (t28 == 1) goto LAB24; LAB25: t23 = (t0 + 4144); t24 = (t23 + 56U); t25 = *((char **)t24); t26 = (t25 + 56U); t29 = *((char **)t26); memcpy(t29, t20, 32U); xsi_driver_first_trans_fast(t23); goto LAB6; LAB24: xsi_size_not_matching(32U, t27, 0); goto LAB25; LAB26: xsi_set_current_line(54, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t20 = ieee_p_2592010699_sub_1306069469_503743352(IEEE_P_2592010699, t21, t17, t14, t19, t18); t22 = (t21 + 12U); t10 = *((unsigned int *)t22); t27 = (1U * t10); t28 = (32U != t27); if (t28 == 1) goto LAB28; LAB29: t23 = (t0 + 4144); t24 = (t23 + 56U); t25 = *((char **)t24); t26 = (t25 + 56U); t29 = *((char **)t26); memcpy(t29, t20, 32U); xsi_driver_first_trans_fast(t23); goto LAB6; LAB28: xsi_size_not_matching(32U, t27, 0); goto LAB29; LAB30: xsi_set_current_line(58, ng0); t14 = (t0 + 4080); t17 = (t14 + 56U); t18 = *((char **)t17); t19 = (t18 + 56U); t20 = *((char **)t19); *((unsigned char *)t20) = (unsigned char)2; xsi_driver_first_trans_fast(t14); xsi_set_current_line(59, ng0); t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6805); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB32; LAB34: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6840); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB38; LAB39: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6875); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB43; LAB44: LAB33: goto LAB3; LAB32: xsi_set_current_line(60, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t28 = ieee_p_1242562249_sub_2720006528_1035706684(IEEE_P_1242562249, t17, t14, t19, t18); if (t28 != 0) goto LAB35; LAB37: xsi_set_current_line(63, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t2 = t1; memset(t2, (unsigned char)2, 32U); t7 = (t0 + 4144); t8 = (t7 + 56U); t11 = *((char **)t8); t13 = (t11 + 56U); t14 = *((char **)t13); memcpy(t14, t1, 32U); xsi_driver_first_trans_fast(t7); LAB36: goto LAB33; LAB35: xsi_set_current_line(61, ng0); t20 = (t0 + 6808); t23 = (t0 + 4144); t24 = (t23 + 56U); t25 = *((char **)t24); t26 = (t25 + 56U); t29 = *((char **)t26); memcpy(t29, t20, 32U); xsi_driver_first_trans_fast(t23); goto LAB36; LAB38: xsi_set_current_line(66, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t28 = ieee_p_1242562249_sub_2720006528_1035706684(IEEE_P_1242562249, t17, t14, t19, t18); if (t28 != 0) goto LAB40; LAB42: xsi_set_current_line(69, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t2 = t1; memset(t2, (unsigned char)2, 32U); t7 = (t0 + 4144); t8 = (t7 + 56U); t11 = *((char **)t8); t13 = (t11 + 56U); t14 = *((char **)t13); memcpy(t14, t1, 32U); xsi_driver_first_trans_fast(t7); LAB41: goto LAB33; LAB40: xsi_set_current_line(67, ng0); t20 = (t0 + 6843); t23 = (t0 + 4144); t24 = (t23 + 56U); t25 = *((char **)t24); t26 = (t25 + 56U); t29 = *((char **)t26); memcpy(t29, t20, 32U); xsi_driver_first_trans_fast(t23); goto LAB41; LAB43: xsi_set_current_line(72, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t28 = ieee_p_1242562249_sub_2720006528_1035706684(IEEE_P_1242562249, t17, t14, t19, t18); if (t28 != 0) goto LAB45; LAB47: xsi_set_current_line(75, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t2 = t1; memset(t2, (unsigned char)2, 32U); t7 = (t0 + 4144); t8 = (t7 + 56U); t11 = *((char **)t8); t13 = (t11 + 56U); t14 = *((char **)t13); memcpy(t14, t1, 32U); xsi_driver_first_trans_fast(t7); LAB46: goto LAB33; LAB45: xsi_set_current_line(73, ng0); t20 = (t0 + 6878); t23 = (t0 + 4144); t24 = (t23 + 56U); t25 = *((char **)t24); t26 = (t25 + 56U); t29 = *((char **)t26); memcpy(t29, t20, 32U); xsi_driver_first_trans_fast(t23); goto LAB46; LAB48: xsi_set_current_line(80, ng0); t14 = (t0 + 1032U); t17 = *((char **)t14); t10 = (5 - 2); t27 = (t10 * 1U); t30 = (0 + t27); t14 = (t17 + t30); t18 = (t21 + 0U); t19 = (t18 + 0U); *((int *)t19) = 2; t19 = (t18 + 4U); *((int *)t19) = 0; t19 = (t18 + 8U); *((int *)t19) = -1; t31 = (0 - 2); t32 = (t31 * -1); t32 = (t32 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t32; t19 = (t0 + 6913); t22 = (t33 + 0U); t23 = (t22 + 0U); *((int *)t23) = 0; t23 = (t22 + 4U); *((int *)t23) = 2; t23 = (t22 + 8U); *((int *)t23) = 1; t34 = (2 - 0); t32 = (t34 * 1); t32 = (t32 + 1); t23 = (t22 + 12U); *((unsigned int *)t23) = t32; t28 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t14, t21, t19, t33); if (t28 != 0) goto LAB50; LAB52: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6916); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB56; LAB57: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6919); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB61; LAB62: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6922); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB66; LAB67: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6925); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB71; LAB72: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6928); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB76; LAB77: LAB51: goto LAB3; LAB50: xsi_set_current_line(81, ng0); t23 = (t0 + 1192U); t24 = *((char **)t23); t23 = (t0 + 4144); t25 = (t23 + 56U); t26 = *((char **)t25); t29 = (t26 + 56U); t35 = *((char **)t29); memcpy(t35, t24, 32U); xsi_driver_first_trans_fast(t23); xsi_set_current_line(82, ng0); t1 = (t0 + 1192U); t2 = *((char **)t1); t1 = (t0 + 6600U); t9 = ieee_p_1242562249_sub_2271993008_1035706684(IEEE_P_1242562249, t2, t1); t16 = (t9 < 0); if (t16 != 0) goto LAB53; LAB55: xsi_set_current_line(85, ng0); t1 = (t0 + 4080); t2 = (t1 + 56U); t7 = *((char **)t2); t8 = (t7 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast(t1); LAB54: goto LAB51; LAB53: xsi_set_current_line(83, ng0); t7 = (t0 + 4080); t8 = (t7 + 56U); t11 = *((char **)t8); t13 = (t11 + 56U); t14 = *((char **)t13); *((unsigned char *)t14) = (unsigned char)3; xsi_driver_first_trans_fast(t7); goto LAB54; LAB56: xsi_set_current_line(88, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 4144); t18 = (t14 + 56U); t19 = *((char **)t18); t20 = (t19 + 56U); t22 = *((char **)t20); memcpy(t22, t17, 32U); xsi_driver_first_trans_fast(t14); xsi_set_current_line(89, ng0); t1 = (t0 + 1192U); t2 = *((char **)t1); t1 = (t0 + 6600U); t9 = ieee_p_1242562249_sub_2271993008_1035706684(IEEE_P_1242562249, t2, t1); t16 = (t9 >= 0); if (t16 != 0) goto LAB58; LAB60: xsi_set_current_line(92, ng0); t1 = (t0 + 4080); t2 = (t1 + 56U); t7 = *((char **)t2); t8 = (t7 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast(t1); LAB59: goto LAB51; LAB58: xsi_set_current_line(90, ng0); t7 = (t0 + 4080); t8 = (t7 + 56U); t11 = *((char **)t8); t13 = (t11 + 56U); t14 = *((char **)t13); *((unsigned char *)t14) = (unsigned char)3; xsi_driver_first_trans_fast(t7); goto LAB59; LAB61: xsi_set_current_line(95, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 4144); t18 = (t14 + 56U); t19 = *((char **)t18); t20 = (t19 + 56U); t22 = *((char **)t20); memcpy(t22, t17, 32U); xsi_driver_first_trans_fast(t14); xsi_set_current_line(96, ng0); t1 = (t0 + 1192U); t2 = *((char **)t1); t1 = (t0 + 6600U); t9 = ieee_p_1242562249_sub_2271993008_1035706684(IEEE_P_1242562249, t2, t1); t7 = (t0 + 1352U); t8 = *((char **)t7); t7 = (t0 + 6616U); t15 = ieee_p_1242562249_sub_2271993008_1035706684(IEEE_P_1242562249, t8, t7); t16 = (t9 == t15); if (t16 != 0) goto LAB63; LAB65: xsi_set_current_line(99, ng0); t1 = (t0 + 4080); t2 = (t1 + 56U); t7 = *((char **)t2); t8 = (t7 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast(t1); LAB64: goto LAB51; LAB63: xsi_set_current_line(97, ng0); t11 = (t0 + 4080); t13 = (t11 + 56U); t14 = *((char **)t13); t17 = (t14 + 56U); t18 = *((char **)t17); *((unsigned char *)t18) = (unsigned char)3; xsi_driver_first_trans_fast(t11); goto LAB64; LAB66: xsi_set_current_line(102, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 4144); t18 = (t14 + 56U); t19 = *((char **)t18); t20 = (t19 + 56U); t22 = *((char **)t20); memcpy(t22, t17, 32U); xsi_driver_first_trans_fast(t14); xsi_set_current_line(103, ng0); t1 = (t0 + 1192U); t2 = *((char **)t1); t1 = (t0 + 6600U); t9 = ieee_p_1242562249_sub_2271993008_1035706684(IEEE_P_1242562249, t2, t1); t7 = (t0 + 1352U); t8 = *((char **)t7); t7 = (t0 + 6616U); t15 = ieee_p_1242562249_sub_2271993008_1035706684(IEEE_P_1242562249, t8, t7); t16 = (t9 != t15); if (t16 != 0) goto LAB68; LAB70: xsi_set_current_line(106, ng0); t1 = (t0 + 4080); t2 = (t1 + 56U); t7 = *((char **)t2); t8 = (t7 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast(t1); LAB69: goto LAB51; LAB68: xsi_set_current_line(104, ng0); t11 = (t0 + 4080); t13 = (t11 + 56U); t14 = *((char **)t13); t17 = (t14 + 56U); t18 = *((char **)t17); *((unsigned char *)t18) = (unsigned char)3; xsi_driver_first_trans_fast(t11); goto LAB69; LAB71: xsi_set_current_line(109, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 4144); t18 = (t14 + 56U); t19 = *((char **)t18); t20 = (t19 + 56U); t22 = *((char **)t20); memcpy(t22, t17, 32U); xsi_driver_first_trans_fast(t14); xsi_set_current_line(110, ng0); t1 = (t0 + 1192U); t2 = *((char **)t1); t1 = (t0 + 6600U); t9 = ieee_p_1242562249_sub_2271993008_1035706684(IEEE_P_1242562249, t2, t1); t16 = (t9 <= 0); if (t16 != 0) goto LAB73; LAB75: xsi_set_current_line(113, ng0); t1 = (t0 + 4080); t2 = (t1 + 56U); t7 = *((char **)t2); t8 = (t7 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast(t1); LAB74: goto LAB51; LAB73: xsi_set_current_line(111, ng0); t7 = (t0 + 4080); t8 = (t7 + 56U); t11 = *((char **)t8); t13 = (t11 + 56U); t14 = *((char **)t13); *((unsigned char *)t14) = (unsigned char)3; xsi_driver_first_trans_fast(t7); goto LAB74; LAB76: xsi_set_current_line(116, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 4144); t18 = (t14 + 56U); t19 = *((char **)t18); t20 = (t19 + 56U); t22 = *((char **)t20); memcpy(t22, t17, 32U); xsi_driver_first_trans_fast(t14); xsi_set_current_line(117, ng0); t1 = (t0 + 1192U); t2 = *((char **)t1); t1 = (t0 + 6600U); t9 = ieee_p_1242562249_sub_2271993008_1035706684(IEEE_P_1242562249, t2, t1); t16 = (t9 > 0); if (t16 != 0) goto LAB78; LAB80: xsi_set_current_line(120, ng0); t1 = (t0 + 4080); t2 = (t1 + 56U); t7 = *((char **)t2); t8 = (t7 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast(t1); LAB79: goto LAB51; LAB78: xsi_set_current_line(118, ng0); t7 = (t0 + 4080); t8 = (t7 + 56U); t11 = *((char **)t8); t13 = (t11 + 56U); t14 = *((char **)t13); *((unsigned char *)t14) = (unsigned char)3; xsi_driver_first_trans_fast(t7); goto LAB79; LAB81: xsi_set_current_line(127, ng0); t14 = (t0 + 1032U); t17 = *((char **)t14); t10 = (5 - 2); t27 = (t10 * 1U); t30 = (0 + t27); t14 = (t17 + t30); t18 = (t21 + 0U); t19 = (t18 + 0U); *((int *)t19) = 2; t19 = (t18 + 4U); *((int *)t19) = 0; t19 = (t18 + 8U); *((int *)t19) = -1; t31 = (0 - 2); t32 = (t31 * -1); t32 = (t32 + 1); t19 = (t18 + 12U); *((unsigned int *)t19) = t32; t19 = (t0 + 6934); t22 = (t33 + 0U); t23 = (t22 + 0U); *((int *)t23) = 0; t23 = (t22 + 4U); *((int *)t23) = 2; t23 = (t22 + 8U); *((int *)t23) = 1; t34 = (2 - 0); t32 = (t34 * 1); t32 = (t32 + 1); t23 = (t22 + 12U); *((unsigned int *)t23) = t32; t28 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t14, t21, t19, t33); if (t28 != 0) goto LAB83; LAB85: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6937); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB86; LAB87: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6940); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB88; LAB89: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6943); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB90; LAB91: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6946); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB92; LAB93: t1 = (t0 + 1032U); t2 = *((char **)t1); t3 = (5 - 2); t4 = (t3 * 1U); t5 = (0 + t4); t1 = (t2 + t5); t7 = (t6 + 0U); t8 = (t7 + 0U); *((int *)t8) = 2; t8 = (t7 + 4U); *((int *)t8) = 0; t8 = (t7 + 8U); *((int *)t8) = -1; t9 = (0 - 2); t10 = (t9 * -1); t10 = (t10 + 1); t8 = (t7 + 12U); *((unsigned int *)t8) = t10; t8 = (t0 + 6949); t13 = (t12 + 0U); t14 = (t13 + 0U); *((int *)t14) = 0; t14 = (t13 + 4U); *((int *)t14) = 2; t14 = (t13 + 8U); *((int *)t14) = 1; t15 = (2 - 0); t10 = (t15 * 1); t10 = (t10 + 1); t14 = (t13 + 12U); *((unsigned int *)t14) = t10; t16 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t1, t6, t8, t12); if (t16 != 0) goto LAB96; LAB97: LAB84: goto LAB3; LAB83: xsi_set_current_line(128, ng0); t23 = (t0 + 1192U); t24 = *((char **)t23); t23 = (t0 + 6600U); t25 = (t0 + 1352U); t26 = *((char **)t25); t25 = (t0 + 6616U); t37 = ieee_p_1242562249_sub_2271993008_1035706684(IEEE_P_1242562249, t26, t25); t29 = ieee_p_1242562249_sub_4230814580_1035706684(IEEE_P_1242562249, t36, t24, t23, t37); t35 = (t0 + 4144); t38 = (t35 + 56U); t39 = *((char **)t38); t40 = (t39 + 56U); t41 = *((char **)t40); memcpy(t41, t29, 32U); xsi_driver_first_trans_fast(t35); xsi_set_current_line(129, ng0); t1 = (t0 + 4080); t2 = (t1 + 56U); t7 = *((char **)t2); t8 = (t7 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast(t1); goto LAB84; LAB86: xsi_set_current_line(131, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t31 = ieee_p_1242562249_sub_2271993008_1035706684(IEEE_P_1242562249, t19, t18); t20 = ieee_p_1242562249_sub_4230814580_1035706684(IEEE_P_1242562249, t21, t17, t14, t31); t22 = (t0 + 4144); t23 = (t22 + 56U); t24 = *((char **)t23); t25 = (t24 + 56U); t26 = *((char **)t25); memcpy(t26, t20, 32U); xsi_driver_first_trans_fast(t22); xsi_set_current_line(132, ng0); t1 = (t0 + 4080); t2 = (t1 + 56U); t7 = *((char **)t2); t8 = (t7 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast(t1); goto LAB84; LAB88: xsi_set_current_line(134, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t31 = ieee_p_1242562249_sub_2271993008_1035706684(IEEE_P_1242562249, t19, t18); t20 = ieee_p_1242562249_sub_4237930106_1035706684(IEEE_P_1242562249, t21, t17, t14, t31); t22 = (t0 + 4144); t23 = (t22 + 56U); t24 = *((char **)t23); t25 = (t24 + 56U); t26 = *((char **)t25); memcpy(t26, t20, 32U); xsi_driver_first_trans_fast(t22); xsi_set_current_line(135, ng0); t1 = (t0 + 4080); t2 = (t1 + 56U); t7 = *((char **)t2); t8 = (t7 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast(t1); goto LAB84; LAB90: xsi_set_current_line(137, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t31 = ieee_p_1242562249_sub_2271993008_1035706684(IEEE_P_1242562249, t19, t18); t20 = ieee_p_1242562249_sub_4237930106_1035706684(IEEE_P_1242562249, t21, t17, t14, t31); t22 = (t0 + 4144); t23 = (t22 + 56U); t24 = *((char **)t23); t25 = (t24 + 56U); t26 = *((char **)t25); memcpy(t26, t20, 32U); xsi_driver_first_trans_fast(t22); xsi_set_current_line(138, ng0); t1 = (t0 + 4080); t2 = (t1 + 56U); t7 = *((char **)t2); t8 = (t7 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast(t1); goto LAB84; LAB92: xsi_set_current_line(140, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t20 = ieee_p_0774719531_sub_121746372_2162500114(IEEE_P_0774719531, t21, t17, t14, t19, t18); t22 = (t21 + 12U); t10 = *((unsigned int *)t22); t10 = (t10 * 1U); t28 = (32U != t10); if (t28 == 1) goto LAB94; LAB95: t23 = (t0 + 4144); t24 = (t23 + 56U); t25 = *((char **)t24); t26 = (t25 + 56U); t29 = *((char **)t26); memcpy(t29, t20, 32U); xsi_driver_first_trans_fast(t23); xsi_set_current_line(141, ng0); t1 = (t0 + 4080); t2 = (t1 + 56U); t7 = *((char **)t2); t8 = (t7 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast(t1); goto LAB84; LAB94: xsi_size_not_matching(32U, t10, 0); goto LAB95; LAB96: xsi_set_current_line(143, ng0); t14 = (t0 + 1192U); t17 = *((char **)t14); t14 = (t0 + 6600U); t18 = (t0 + 1352U); t19 = *((char **)t18); t18 = (t0 + 6616U); t20 = ieee_p_0774719531_sub_121746372_2162500114(IEEE_P_0774719531, t21, t17, t14, t19, t18); t22 = (t21 + 12U); t10 = *((unsigned int *)t22); t10 = (t10 * 1U); t28 = (32U != t10); if (t28 == 1) goto LAB98; LAB99: t23 = (t0 + 4144); t24 = (t23 + 56U); t25 = *((char **)t24); t26 = (t25 + 56U); t29 = *((char **)t26); memcpy(t29, t20, 32U); xsi_driver_first_trans_fast(t23); xsi_set_current_line(144, ng0); t1 = (t0 + 4080); t2 = (t1 + 56U); t7 = *((char **)t2); t8 = (t7 + 56U); t11 = *((char **)t8); *((unsigned char *)t11) = (unsigned char)2; xsi_driver_first_trans_fast(t1); goto LAB84; LAB98: xsi_size_not_matching(32U, t10, 0); goto LAB99; }
static void work_a_0272816409_3212880686_p_0(char *t0) { char t29[16]; char t31[16]; char *t1; char *t2; unsigned char t3; char *t4; unsigned char t5; char *t6; char *t7; unsigned char t8; unsigned char t9; char *t10; char *t11; char *t12; char *t13; int t14; int t15; int t16; char *t17; int t18; char *t19; char *t20; int t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; char *t28; unsigned int t30; unsigned int t32; unsigned int t33; LAB0: t1 = (t0 + 3952U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(30, ng0); LAB6: t2 = (t0 + 4272); *((int *)t2) = 1; *((char **)t1) = &&LAB7; LAB1: return; LAB4: t6 = (t0 + 4272); *((int *)t6) = 0; xsi_set_current_line(31, ng0); t2 = (t0 + 1192U); t4 = *((char **)t2); t3 = *((unsigned char *)t4); t5 = (t3 == (unsigned char)3); if (t5 != 0) goto LAB11; LAB13: xsi_set_current_line(34, ng0); t2 = (t0 + 2472U); t4 = *((char **)t2); t2 = (t0 + 7207); t14 = xsi_mem_cmp(t2, t4, 3U); if (t14 == 1) goto LAB15; LAB21: t7 = (t0 + 7210); t15 = xsi_mem_cmp(t7, t4, 3U); if (t15 == 1) goto LAB16; LAB22: t11 = (t0 + 7213); t16 = xsi_mem_cmp(t11, t4, 3U); if (t16 == 1) goto LAB17; LAB23: t13 = (t0 + 7216); t18 = xsi_mem_cmp(t13, t4, 3U); if (t18 == 1) goto LAB18; LAB24: t19 = (t0 + 7219); t21 = xsi_mem_cmp(t19, t4, 3U); if (t21 == 1) goto LAB19; LAB25: LAB20: xsi_set_current_line(68, ng0); t2 = (t0 + 7351); t6 = (t0 + 4352); t7 = (t6 + 56U); t10 = *((char **)t7); t11 = (t10 + 56U); t12 = *((char **)t11); memcpy(t12, t2, 3U); xsi_driver_first_trans_fast(t6); LAB14: LAB12: goto LAB2; LAB5: t4 = (t0 + 1312U); t5 = xsi_signal_has_event(t4); if (t5 == 1) goto LAB8; LAB9: t3 = (unsigned char)0; LAB10: if (t3 == 1) goto LAB4; else goto LAB6; LAB7: goto LAB5; LAB8: t6 = (t0 + 1352U); t7 = *((char **)t6); t8 = *((unsigned char *)t7); t9 = (t8 == (unsigned char)3); t3 = t9; goto LAB10; LAB11: xsi_set_current_line(32, ng0); t2 = (t0 + 7204); t7 = (t0 + 4352); t10 = (t7 + 56U); t11 = *((char **)t10); t12 = (t11 + 56U); t13 = *((char **)t12); memcpy(t13, t2, 3U); xsi_driver_first_trans_fast(t7); goto LAB12; LAB15: xsi_set_current_line(35, ng0); t22 = (t0 + 1032U); t23 = *((char **)t22); t3 = *((unsigned char *)t23); t5 = (t3 == (unsigned char)3); if (t5 != 0) goto LAB27; LAB29: xsi_set_current_line(38, ng0); t2 = (t0 + 7229); t6 = (t0 + 4352); t7 = (t6 + 56U); t10 = *((char **)t7); t11 = (t10 + 56U); t12 = *((char **)t11); memcpy(t12, t2, 3U); xsi_driver_first_trans_fast(t6); LAB28: goto LAB14; LAB16: xsi_set_current_line(40, ng0); t2 = (t0 + 2632U); t4 = *((char **)t2); t2 = (t0 + 7128U); t6 = (t0 + 7232); t10 = (t29 + 0U); t11 = (t10 + 0U); *((int *)t11) = 0; t11 = (t10 + 4U); *((int *)t11) = 12; t11 = (t10 + 8U); *((int *)t11) = 1; t14 = (12 - 0); t30 = (t14 * 1); t30 = (t30 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t30; t3 = ieee_p_1242562249_sub_2720006528_1035706684(IEEE_P_1242562249, t4, t2, t6, t29); if (t3 != 0) goto LAB30; LAB32: xsi_set_current_line(45, ng0); t2 = (t0 + 2632U); t4 = *((char **)t2); t2 = (t0 + 7128U); t6 = (t0 + 7252); t10 = (t31 + 0U); t11 = (t10 + 0U); *((int *)t11) = 0; t11 = (t10 + 4U); *((int *)t11) = 12; t11 = (t10 + 8U); *((int *)t11) = 1; t14 = (12 - 0); t30 = (t14 * 1); t30 = (t30 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t30; t11 = ieee_p_1242562249_sub_3273568981_1035706684(IEEE_P_1242562249, t29, t4, t2, t6, t31); t12 = (t29 + 12U); t30 = *((unsigned int *)t12); t32 = (1U * t30); t3 = (13U != t32); if (t3 == 1) goto LAB33; LAB34: t13 = (t0 + 4416); t17 = (t13 + 56U); t19 = *((char **)t17); t20 = (t19 + 56U); t22 = *((char **)t20); memcpy(t22, t11, 13U); xsi_driver_first_trans_fast(t13); xsi_set_current_line(46, ng0); t2 = (t0 + 2792U); t4 = *((char **)t2); t2 = (t0 + 7144U); t6 = (t0 + 7265); t10 = (t31 + 0U); t11 = (t10 + 0U); *((int *)t11) = 0; t11 = (t10 + 4U); *((int *)t11) = 3; t11 = (t10 + 8U); *((int *)t11) = 1; t14 = (3 - 0); t30 = (t14 * 1); t30 = (t30 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t30; t11 = ieee_p_1242562249_sub_3273497107_1035706684(IEEE_P_1242562249, t29, t4, t2, t6, t31); t12 = (t29 + 12U); t30 = *((unsigned int *)t12); t32 = (1U * t30); t3 = (4U != t32); if (t3 == 1) goto LAB35; LAB36: t13 = (t0 + 4480); t17 = (t13 + 56U); t19 = *((char **)t17); t20 = (t19 + 56U); t22 = *((char **)t20); memcpy(t22, t11, 4U); xsi_driver_first_trans_fast(t13); xsi_set_current_line(47, ng0); t2 = (t0 + 7269); t6 = (t0 + 4352); t7 = (t6 + 56U); t10 = *((char **)t7); t11 = (t10 + 56U); t12 = *((char **)t11); memcpy(t12, t2, 3U); xsi_driver_first_trans_fast(t6); LAB31: goto LAB14; LAB17: xsi_set_current_line(49, ng0); t2 = (t0 + 2632U); t4 = *((char **)t2); t2 = (t0 + 7128U); t6 = (t0 + 7272); t10 = (t29 + 0U); t11 = (t10 + 0U); *((int *)t11) = 0; t11 = (t10 + 4U); *((int *)t11) = 12; t11 = (t10 + 8U); *((int *)t11) = 1; t14 = (12 - 0); t30 = (t14 * 1); t30 = (t30 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t30; t3 = ieee_p_1242562249_sub_2720006528_1035706684(IEEE_P_1242562249, t4, t2, t6, t29); if (t3 != 0) goto LAB37; LAB39: xsi_set_current_line(54, ng0); t2 = (t0 + 2632U); t4 = *((char **)t2); t2 = (t0 + 7128U); t6 = (t0 + 7292); t10 = (t31 + 0U); t11 = (t10 + 0U); *((int *)t11) = 0; t11 = (t10 + 4U); *((int *)t11) = 12; t11 = (t10 + 8U); *((int *)t11) = 1; t14 = (12 - 0); t30 = (t14 * 1); t30 = (t30 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t30; t11 = ieee_p_1242562249_sub_3273568981_1035706684(IEEE_P_1242562249, t29, t4, t2, t6, t31); t12 = (t29 + 12U); t30 = *((unsigned int *)t12); t32 = (1U * t30); t3 = (13U != t32); if (t3 == 1) goto LAB40; LAB41: t13 = (t0 + 4416); t17 = (t13 + 56U); t19 = *((char **)t17); t20 = (t19 + 56U); t22 = *((char **)t20); memcpy(t22, t11, 13U); xsi_driver_first_trans_fast(t13); xsi_set_current_line(55, ng0); t2 = (t0 + 2792U); t4 = *((char **)t2); t2 = (t0 + 7144U); t6 = (t0 + 7305); t10 = (t31 + 0U); t11 = (t10 + 0U); *((int *)t11) = 0; t11 = (t10 + 4U); *((int *)t11) = 3; t11 = (t10 + 8U); *((int *)t11) = 1; t14 = (3 - 0); t30 = (t14 * 1); t30 = (t30 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t30; t11 = ieee_p_1242562249_sub_3273497107_1035706684(IEEE_P_1242562249, t29, t4, t2, t6, t31); t12 = (t29 + 12U); t30 = *((unsigned int *)t12); t32 = (1U * t30); t3 = (4U != t32); if (t3 == 1) goto LAB42; LAB43: t13 = (t0 + 4480); t17 = (t13 + 56U); t19 = *((char **)t17); t20 = (t19 + 56U); t22 = *((char **)t20); memcpy(t22, t11, 4U); xsi_driver_first_trans_fast(t13); xsi_set_current_line(56, ng0); t2 = (t0 + 7309); t6 = (t0 + 4352); t7 = (t6 + 56U); t10 = *((char **)t7); t11 = (t10 + 56U); t12 = *((char **)t11); memcpy(t12, t2, 3U); xsi_driver_first_trans_fast(t6); LAB38: goto LAB14; LAB18: xsi_set_current_line(58, ng0); t2 = (t0 + 2632U); t4 = *((char **)t2); t2 = (t0 + 7128U); t6 = (t0 + 7312); t10 = (t29 + 0U); t11 = (t10 + 0U); *((int *)t11) = 0; t11 = (t10 + 4U); *((int *)t11) = 12; t11 = (t10 + 8U); *((int *)t11) = 1; t14 = (12 - 0); t30 = (t14 * 1); t30 = (t30 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t30; t3 = ieee_p_1242562249_sub_2720006528_1035706684(IEEE_P_1242562249, t4, t2, t6, t29); if (t3 != 0) goto LAB44; LAB46: xsi_set_current_line(63, ng0); t2 = (t0 + 2632U); t4 = *((char **)t2); t2 = (t0 + 7128U); t6 = (t0 + 7328); t10 = (t31 + 0U); t11 = (t10 + 0U); *((int *)t11) = 0; t11 = (t10 + 4U); *((int *)t11) = 12; t11 = (t10 + 8U); *((int *)t11) = 1; t14 = (12 - 0); t30 = (t14 * 1); t30 = (t30 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t30; t11 = ieee_p_1242562249_sub_3273568981_1035706684(IEEE_P_1242562249, t29, t4, t2, t6, t31); t12 = (t29 + 12U); t30 = *((unsigned int *)t12); t32 = (1U * t30); t3 = (13U != t32); if (t3 == 1) goto LAB47; LAB48: t13 = (t0 + 4416); t17 = (t13 + 56U); t19 = *((char **)t17); t20 = (t19 + 56U); t22 = *((char **)t20); memcpy(t22, t11, 13U); xsi_driver_first_trans_fast(t13); xsi_set_current_line(64, ng0); t2 = (t0 + 2792U); t4 = *((char **)t2); t2 = (t0 + 7144U); t6 = (t0 + 7341); t10 = (t31 + 0U); t11 = (t10 + 0U); *((int *)t11) = 0; t11 = (t10 + 4U); *((int *)t11) = 3; t11 = (t10 + 8U); *((int *)t11) = 1; t14 = (3 - 0); t30 = (t14 * 1); t30 = (t30 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t30; t11 = ieee_p_1242562249_sub_3273497107_1035706684(IEEE_P_1242562249, t29, t4, t2, t6, t31); t12 = (t29 + 12U); t30 = *((unsigned int *)t12); t32 = (1U * t30); t3 = (4U != t32); if (t3 == 1) goto LAB49; LAB50: t13 = (t0 + 4480); t17 = (t13 + 56U); t19 = *((char **)t17); t20 = (t19 + 56U); t22 = *((char **)t20); memcpy(t22, t11, 4U); xsi_driver_first_trans_fast(t13); xsi_set_current_line(65, ng0); t2 = (t0 + 7345); t6 = (t0 + 4352); t7 = (t6 + 56U); t10 = *((char **)t7); t11 = (t10 + 56U); t12 = *((char **)t11); memcpy(t12, t2, 3U); xsi_driver_first_trans_fast(t6); LAB45: goto LAB14; LAB19: xsi_set_current_line(67, ng0); t2 = (t0 + 4800); t4 = (t2 + 56U); t6 = *((char **)t4); t7 = (t6 + 56U); t10 = *((char **)t7); *((unsigned char *)t10) = (unsigned char)3; xsi_driver_first_trans_fast_port(t2); xsi_set_current_line(67, ng0); t2 = (t0 + 7348); t6 = (t0 + 4352); t7 = (t6 + 56U); t10 = *((char **)t7); t11 = (t10 + 56U); t12 = *((char **)t11); memcpy(t12, t2, 3U); xsi_driver_first_trans_fast(t6); goto LAB14; LAB26:; LAB27: xsi_set_current_line(36, ng0); t22 = (t0 + 1672U); t24 = *((char **)t22); t22 = (t0 + 4416); t25 = (t22 + 56U); t26 = *((char **)t25); t27 = (t26 + 56U); t28 = *((char **)t27); memcpy(t28, t24, 13U); xsi_driver_first_trans_fast(t22); xsi_set_current_line(36, ng0); t2 = (t0 + 7222); t6 = (t0 + 4480); t7 = (t6 + 56U); t10 = *((char **)t7); t11 = (t10 + 56U); t12 = *((char **)t11); memcpy(t12, t2, 4U); xsi_driver_first_trans_fast(t6); xsi_set_current_line(36, ng0); t2 = (t0 + 7226); t6 = (t0 + 4352); t7 = (t6 + 56U); t10 = *((char **)t7); t11 = (t10 + 56U); t12 = *((char **)t11); memcpy(t12, t2, 3U); xsi_driver_first_trans_fast(t6); goto LAB28; LAB30: xsi_set_current_line(41, ng0); t11 = (t0 + 7245); t13 = (t0 + 4480); t17 = (t13 + 56U); t19 = *((char **)t17); t20 = (t19 + 56U); t22 = *((char **)t20); memcpy(t22, t11, 4U); xsi_driver_first_trans_fast(t13); xsi_set_current_line(42, ng0); t2 = (t0 + 2792U); t4 = *((char **)t2); t2 = (t0 + 4544); t6 = (t2 + 56U); t7 = *((char **)t6); t10 = (t7 + 56U); t11 = *((char **)t10); memcpy(t11, t4, 4U); xsi_driver_first_trans_fast_port(t2); xsi_set_current_line(43, ng0); t2 = (t0 + 7249); t6 = (t0 + 4352); t7 = (t6 + 56U); t10 = *((char **)t7); t11 = (t10 + 56U); t12 = *((char **)t11); memcpy(t12, t2, 3U); xsi_driver_first_trans_fast(t6); goto LAB31; LAB33: xsi_size_not_matching(13U, t32, 0); goto LAB34; LAB35: xsi_size_not_matching(4U, t32, 0); goto LAB36; LAB37: xsi_set_current_line(50, ng0); t11 = (t0 + 7285); t13 = (t0 + 4480); t17 = (t13 + 56U); t19 = *((char **)t17); t20 = (t19 + 56U); t22 = *((char **)t20); memcpy(t22, t11, 4U); xsi_driver_first_trans_fast(t13); xsi_set_current_line(51, ng0); t2 = (t0 + 2792U); t4 = *((char **)t2); t2 = (t0 + 4608); t6 = (t2 + 56U); t7 = *((char **)t6); t10 = (t7 + 56U); t11 = *((char **)t10); memcpy(t11, t4, 4U); xsi_driver_first_trans_fast_port(t2); xsi_set_current_line(52, ng0); t2 = (t0 + 7289); t6 = (t0 + 4352); t7 = (t6 + 56U); t10 = *((char **)t7); t11 = (t10 + 56U); t12 = *((char **)t11); memcpy(t12, t2, 3U); xsi_driver_first_trans_fast(t6); goto LAB38; LAB40: xsi_size_not_matching(13U, t32, 0); goto LAB41; LAB42: xsi_size_not_matching(4U, t32, 0); goto LAB43; LAB44: xsi_set_current_line(59, ng0); t11 = (t0 + 2632U); t12 = *((char **)t11); t30 = (12 - 3); t32 = (t30 * 1U); t33 = (0 + t32); t11 = (t12 + t33); t13 = (t0 + 4672); t17 = (t13 + 56U); t19 = *((char **)t17); t20 = (t19 + 56U); t22 = *((char **)t20); memcpy(t22, t11, 4U); xsi_driver_first_trans_fast_port(t13); xsi_set_current_line(60, ng0); t2 = (t0 + 2792U); t4 = *((char **)t2); t2 = (t0 + 4736); t6 = (t2 + 56U); t7 = *((char **)t6); t10 = (t7 + 56U); t11 = *((char **)t10); memcpy(t11, t4, 4U); xsi_driver_first_trans_fast_port(t2); xsi_set_current_line(61, ng0); t2 = (t0 + 7325); t6 = (t0 + 4352); t7 = (t6 + 56U); t10 = *((char **)t7); t11 = (t10 + 56U); t12 = *((char **)t11); memcpy(t12, t2, 3U); xsi_driver_first_trans_fast(t6); goto LAB45; LAB47: xsi_size_not_matching(13U, t32, 0); goto LAB48; LAB49: xsi_size_not_matching(4U, t32, 0); goto LAB50; }
static void work_a_1962992467_3212880686_p_2(char *t0) { char t22[16]; char t44[16]; char *t1; unsigned char t2; char *t3; char *t4; unsigned char t5; char *t6; char *t7; unsigned char t8; unsigned char t9; char *t10; char *t11; char *t12; char *t13; unsigned char t14; unsigned char t15; unsigned char t16; unsigned char t17; unsigned int t18; unsigned char t19; unsigned char t20; char *t21; char *t23; char *t24; char *t25; unsigned char t26; char *t27; char *t28; char *t29; char *t30; char *t31; char *t32; char *t33; int t34; int t35; unsigned int t36; unsigned int t37; int t38; unsigned int t39; int t40; int t41; unsigned int t42; unsigned int t43; int t45; unsigned int t46; char *t47; static char *nl0[] = {&&LAB6, &&LAB7}; LAB0: xsi_set_current_line(88, ng0); t1 = (t0 + 992U); t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U); if (t2 != 0) goto LAB2; LAB4: LAB3: t1 = (t0 + 6000); *((int *)t1) = 1; LAB1: return; LAB2: xsi_set_current_line(89, ng0); t3 = (t0 + 3752U); t4 = *((char **)t3); t5 = *((unsigned char *)t4); t3 = (char *)((nl0) + t5); goto **((char **)t3); LAB5: goto LAB3; LAB6: xsi_set_current_line(92, ng0); t6 = (t0 + 1352U); t7 = *((char **)t6); t8 = *((unsigned char *)t7); t9 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t8); t6 = (t0 + 6208); t10 = (t6 + 56U); t11 = *((char **)t10); t12 = (t11 + 56U); t13 = *((char **)t12); *((unsigned char *)t13) = t9; xsi_driver_first_trans_fast_port(t6); xsi_set_current_line(95, ng0); t1 = (t0 + 6272); t3 = (t1 + 56U); t4 = *((char **)t3); t6 = (t4 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); xsi_set_current_line(98, ng0); t1 = (t0 + 1352U); t3 = *((char **)t1); t2 = *((unsigned char *)t3); t5 = (t2 == (unsigned char)3); if (t5 != 0) goto LAB8; LAB10: LAB9: goto LAB5; LAB7: xsi_set_current_line(103, ng0); t1 = (t0 + 6208); t3 = (t1 + 56U); t4 = *((char **)t3); t6 = (t4 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); xsi_set_current_line(107, ng0); t1 = (t0 + 1832U); t3 = *((char **)t1); t9 = *((unsigned char *)t3); t14 = (t9 == (unsigned char)3); if (t14 == 1) goto LAB20; LAB21: t8 = (unsigned char)0; LAB22: if (t8 == 1) goto LAB17; LAB18: t5 = (unsigned char)0; LAB19: if (t5 == 1) goto LAB14; LAB15: t2 = (unsigned char)0; LAB16: if (t2 != 0) goto LAB11; LAB13: t1 = (t0 + 1832U); t3 = *((char **)t1); t9 = *((unsigned char *)t3); t14 = (t9 == (unsigned char)3); if (t14 == 1) goto LAB46; LAB47: t8 = (unsigned char)0; LAB48: if (t8 == 1) goto LAB43; LAB44: t5 = (unsigned char)0; LAB45: if (t5 == 1) goto LAB40; LAB41: t2 = (unsigned char)0; LAB42: if (t2 != 0) goto LAB38; LAB39: xsi_set_current_line(174, ng0); t1 = (t0 + 6272); t3 = (t1 + 56U); t4 = *((char **)t3); t6 = (t4 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); LAB12: goto LAB5; LAB8: xsi_set_current_line(99, ng0); t1 = (t0 + 1192U); t4 = *((char **)t1); t1 = (t0 + 6336); t6 = (t1 + 56U); t7 = *((char **)t6); t10 = (t7 + 56U); t11 = *((char **)t10); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(100, ng0); t1 = (t0 + 6400); t3 = (t1 + 56U); t4 = *((char **)t3); t6 = (t4 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)1; xsi_driver_first_trans_fast(t1); goto LAB9; LAB11: xsi_set_current_line(117, ng0); t12 = (t0 + 3592U); t21 = *((char **)t12); t12 = (t0 + 10532U); t23 = (t0 + 3432U); t24 = *((char **)t23); t23 = (t0 + 10516U); t25 = ieee_p_1242562249_sub_2931975192_1035706684(IEEE_P_1242562249, t22, t24, t23, 1); t26 = ieee_p_1242562249_sub_2720042465_1035706684(IEEE_P_1242562249, t21, t12, t25, t22); if (t26 != 0) goto LAB29; LAB31: xsi_set_current_line(128, ng0); t1 = (t0 + 3592U); t3 = *((char **)t1); t1 = (t0 + 10532U); t4 = ieee_p_1242562249_sub_2931903318_1035706684(IEEE_P_1242562249, t22, t3, t1, 1); t6 = (t0 + 6464); t7 = (t6 + 56U); t10 = *((char **)t7); t11 = (t10 + 56U); t12 = *((char **)t11); memcpy(t12, t4, 16U); xsi_driver_first_trans_fast(t6); xsi_set_current_line(130, ng0); t1 = (t0 + 3272U); t3 = *((char **)t1); t34 = (32 - 0); t35 = (t34 - 1); t18 = (31 - t35); t36 = (t18 * 1U); t37 = (0 + t36); t1 = (t3 + t37); t4 = (t22 + 0U); t6 = (t4 + 0U); *((int *)t6) = 31; t6 = (t4 + 4U); *((int *)t6) = 0; t6 = (t4 + 8U); *((int *)t6) = -1; t38 = (0 - 31); t39 = (t38 * -1); t39 = (t39 + 1); t6 = (t4 + 12U); *((unsigned int *)t6) = t39; t6 = (t0 + 1672U); t7 = *((char **)t6); t40 = (32 - 0); t41 = (t40 - 1); t39 = (31 - t41); t42 = (t39 * 1U); t43 = (0 + t42); t6 = (t7 + t43); t10 = (t44 + 0U); t11 = (t10 + 0U); *((int *)t11) = 31; t11 = (t10 + 4U); *((int *)t11) = 0; t11 = (t10 + 8U); *((int *)t11) = -1; t45 = (0 - 31); t46 = (t45 * -1); t46 = (t46 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t46; t2 = ieee_p_1242562249_sub_2720006528_1035706684(IEEE_P_1242562249, t1, t22, t6, t44); if (t2 != 0) goto LAB35; LAB37: xsi_set_current_line(134, ng0); t1 = (t0 + 3272U); t3 = *((char **)t1); t1 = (t0 + 6592); t4 = (t1 + 56U); t6 = *((char **)t4); t7 = (t6 + 56U); t10 = *((char **)t7); memcpy(t10, t3, 32U); xsi_driver_first_trans_delta(t1, 0U, 32U, 0LL); LAB36: xsi_set_current_line(136, ng0); t1 = (t0 + 6272); t3 = (t1 + 56U); t4 = *((char **)t3); t6 = (t4 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); LAB30: xsi_set_current_line(139, ng0); t1 = (t0 + 1672U); t3 = *((char **)t1); t34 = (32 - 1); t18 = (31 - t34); t36 = (t18 * 1U); t37 = (0 + t36); t1 = (t3 + t37); t4 = (t0 + 6592); t6 = (t4 + 56U); t7 = *((char **)t6); t10 = (t7 + 56U); t11 = *((char **)t10); memcpy(t11, t1, 0U); xsi_driver_first_trans_delta(t4, 0U, 0U, 0LL); goto LAB12; LAB14: t12 = (t0 + 2952U); t13 = *((char **)t12); t19 = *((unsigned char *)t13); t20 = (t19 == (unsigned char)3); t2 = t20; goto LAB16; LAB17: t1 = (t0 + 2152U); t6 = *((char **)t1); t1 = (t0 + 10719); t17 = 1; if (1U == 1U) goto LAB23; LAB24: t17 = 0; LAB25: t5 = t17; goto LAB19; LAB20: t1 = (t0 + 2312U); t4 = *((char **)t1); t15 = *((unsigned char *)t4); t16 = (t15 == (unsigned char)3); t8 = t16; goto LAB22; LAB23: t18 = 0; LAB26: if (t18 < 1U) goto LAB27; else goto LAB25; LAB27: t10 = (t6 + t18); t11 = (t1 + t18); if (*((unsigned char *)t10) != *((unsigned char *)t11)) goto LAB24; LAB28: t18 = (t18 + 1); goto LAB26; LAB29: xsi_set_current_line(118, ng0); t27 = xsi_get_transient_memory(16U); memset(t27, 0, 16U); t28 = t27; memset(t28, (unsigned char)2, 16U); t29 = (t0 + 6464); t30 = (t29 + 56U); t31 = *((char **)t30); t32 = (t31 + 56U); t33 = *((char **)t32); memcpy(t33, t27, 16U); xsi_driver_first_trans_fast(t29); xsi_set_current_line(119, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t3 = t1; memset(t3, (unsigned char)2, 32U); t4 = (t0 + 6528); t6 = (t4 + 56U); t7 = *((char **)t6); t10 = (t7 + 56U); t11 = *((char **)t10); memcpy(t11, t1, 32U); xsi_driver_first_trans_fast(t4); xsi_set_current_line(120, ng0); t1 = (t0 + 3272U); t3 = *((char **)t1); t34 = (32 - 0); t35 = (t34 - 1); t18 = (31 - t35); t36 = (t18 * 1U); t37 = (0 + t36); t1 = (t3 + t37); t4 = (t22 + 0U); t6 = (t4 + 0U); *((int *)t6) = 31; t6 = (t4 + 4U); *((int *)t6) = 0; t6 = (t4 + 8U); *((int *)t6) = -1; t38 = (0 - 31); t39 = (t38 * -1); t39 = (t39 + 1); t6 = (t4 + 12U); *((unsigned int *)t6) = t39; t6 = (t0 + 1672U); t7 = *((char **)t6); t40 = (32 - 0); t41 = (t40 - 1); t39 = (31 - t41); t42 = (t39 * 1U); t43 = (0 + t42); t6 = (t7 + t43); t10 = (t44 + 0U); t11 = (t10 + 0U); *((int *)t11) = 31; t11 = (t10 + 4U); *((int *)t11) = 0; t11 = (t10 + 8U); *((int *)t11) = -1; t45 = (0 - 31); t46 = (t45 * -1); t46 = (t46 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t46; t2 = ieee_p_1242562249_sub_2720006528_1035706684(IEEE_P_1242562249, t1, t22, t6, t44); if (t2 != 0) goto LAB32; LAB34: xsi_set_current_line(124, ng0); t1 = (t0 + 3272U); t3 = *((char **)t1); t1 = (t0 + 6592); t4 = (t1 + 56U); t6 = *((char **)t4); t7 = (t6 + 56U); t10 = *((char **)t7); memcpy(t10, t3, 32U); xsi_driver_first_trans_delta(t1, 0U, 32U, 0LL); LAB33: xsi_set_current_line(126, ng0); t1 = (t0 + 6272); t3 = (t1 + 56U); t4 = *((char **)t3); t6 = (t4 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)3; xsi_driver_first_trans_fast_port(t1); goto LAB30; LAB32: xsi_set_current_line(122, ng0); t11 = (t0 + 1672U); t12 = *((char **)t11); t11 = (t0 + 6592); t13 = (t11 + 56U); t21 = *((char **)t13); t23 = (t21 + 56U); t24 = *((char **)t23); memcpy(t24, t12, 32U); xsi_driver_first_trans_fast_port(t11); goto LAB33; LAB35: xsi_set_current_line(131, ng0); t11 = (t0 + 1672U); t12 = *((char **)t11); t11 = (t0 + 6528); t13 = (t11 + 56U); t21 = *((char **)t13); t23 = (t21 + 56U); t24 = *((char **)t23); memcpy(t24, t12, 32U); xsi_driver_first_trans_fast(t11); xsi_set_current_line(132, ng0); t1 = (t0 + 1672U); t3 = *((char **)t1); t1 = (t0 + 6592); t4 = (t1 + 56U); t6 = *((char **)t4); t7 = (t6 + 56U); t10 = *((char **)t7); memcpy(t10, t3, 32U); xsi_driver_first_trans_fast_port(t1); goto LAB36; LAB38: xsi_set_current_line(141, ng0); t12 = (t0 + 3592U); t21 = *((char **)t12); t12 = (t0 + 10532U); t23 = (t0 + 3432U); t24 = *((char **)t23); t23 = (t0 + 10516U); t25 = ieee_p_1242562249_sub_2931975192_1035706684(IEEE_P_1242562249, t22, t24, t23, 1); t26 = ieee_p_1242562249_sub_2720006528_1035706684(IEEE_P_1242562249, t21, t12, t25, t22); if (t26 != 0) goto LAB55; LAB57: LAB56: xsi_set_current_line(153, ng0); t1 = (t0 + 3592U); t3 = *((char **)t1); t1 = (t0 + 10532U); t4 = (t0 + 3432U); t6 = *((char **)t4); t4 = (t0 + 10516U); t7 = ieee_p_1242562249_sub_2931975192_1035706684(IEEE_P_1242562249, t22, t6, t4, 1); t2 = ieee_p_1242562249_sub_2720042465_1035706684(IEEE_P_1242562249, t3, t1, t7, t22); if (t2 != 0) goto LAB61; LAB63: LAB62: xsi_set_current_line(163, ng0); t1 = (t0 + 1672U); t3 = *((char **)t1); t34 = (32 - 1); t18 = (31 - t34); t36 = (t18 * 1U); t37 = (0 + t36); t1 = (t3 + t37); t4 = (t0 + 6592); t6 = (t4 + 56U); t7 = *((char **)t6); t10 = (t7 + 56U); t11 = *((char **)t10); memcpy(t11, t1, 0U); xsi_driver_first_trans_delta(t4, 0U, 0U, 0LL); xsi_set_current_line(165, ng0); t1 = (t0 + 1352U); t3 = *((char **)t1); t2 = *((unsigned char *)t3); t5 = (t2 == (unsigned char)3); if (t5 != 0) goto LAB67; LAB69: xsi_set_current_line(170, ng0); t1 = (t0 + 6400); t3 = (t1 + 56U); t4 = *((char **)t3); t6 = (t4 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)0; xsi_driver_first_trans_fast(t1); xsi_set_current_line(171, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t3 = t1; memset(t3, (unsigned char)2, 32U); t4 = (t0 + 6528); t6 = (t4 + 56U); t7 = *((char **)t6); t10 = (t7 + 56U); t11 = *((char **)t10); memcpy(t11, t1, 32U); xsi_driver_first_trans_fast(t4); LAB68: goto LAB12; LAB40: t12 = (t0 + 2952U); t13 = *((char **)t12); t19 = *((unsigned char *)t13); t20 = (t19 == (unsigned char)3); t2 = t20; goto LAB42; LAB43: t1 = (t0 + 2152U); t6 = *((char **)t1); t1 = (t0 + 10720); t17 = 1; if (1U == 1U) goto LAB49; LAB50: t17 = 0; LAB51: t5 = t17; goto LAB45; LAB46: t1 = (t0 + 2312U); t4 = *((char **)t1); t15 = *((unsigned char *)t4); t16 = (t15 == (unsigned char)3); t8 = t16; goto LAB48; LAB49: t18 = 0; LAB52: if (t18 < 1U) goto LAB53; else goto LAB51; LAB53: t10 = (t6 + t18); t11 = (t1 + t18); if (*((unsigned char *)t10) != *((unsigned char *)t11)) goto LAB50; LAB54: t18 = (t18 + 1); goto LAB52; LAB55: xsi_set_current_line(142, ng0); t27 = (t0 + 3592U); t28 = *((char **)t27); t27 = (t0 + 10532U); t29 = ieee_p_1242562249_sub_2931903318_1035706684(IEEE_P_1242562249, t44, t28, t27, 1); t30 = (t0 + 6464); t31 = (t30 + 56U); t32 = *((char **)t31); t33 = (t32 + 56U); t47 = *((char **)t33); memcpy(t47, t29, 16U); xsi_driver_first_trans_fast(t30); xsi_set_current_line(144, ng0); t1 = (t0 + 3272U); t3 = *((char **)t1); t34 = (32 - 0); t35 = (t34 - 1); t18 = (31 - t35); t36 = (t18 * 1U); t37 = (0 + t36); t1 = (t3 + t37); t4 = (t22 + 0U); t6 = (t4 + 0U); *((int *)t6) = 31; t6 = (t4 + 4U); *((int *)t6) = 0; t6 = (t4 + 8U); *((int *)t6) = -1; t38 = (0 - 31); t39 = (t38 * -1); t39 = (t39 + 1); t6 = (t4 + 12U); *((unsigned int *)t6) = t39; t6 = (t0 + 1672U); t7 = *((char **)t6); t40 = (32 - 0); t41 = (t40 - 1); t39 = (31 - t41); t42 = (t39 * 1U); t43 = (0 + t42); t6 = (t7 + t43); t10 = (t44 + 0U); t11 = (t10 + 0U); *((int *)t11) = 31; t11 = (t10 + 4U); *((int *)t11) = 0; t11 = (t10 + 8U); *((int *)t11) = -1; t45 = (0 - 31); t46 = (t45 * -1); t46 = (t46 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t46; t2 = ieee_p_1242562249_sub_2720006528_1035706684(IEEE_P_1242562249, t1, t22, t6, t44); if (t2 != 0) goto LAB58; LAB60: xsi_set_current_line(148, ng0); t1 = (t0 + 3272U); t3 = *((char **)t1); t1 = (t0 + 6592); t4 = (t1 + 56U); t6 = *((char **)t4); t7 = (t6 + 56U); t10 = *((char **)t7); memcpy(t10, t3, 32U); xsi_driver_first_trans_delta(t1, 0U, 32U, 0LL); LAB59: xsi_set_current_line(150, ng0); t1 = (t0 + 6272); t3 = (t1 + 56U); t4 = *((char **)t3); t6 = (t4 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)2; xsi_driver_first_trans_fast_port(t1); goto LAB56; LAB58: xsi_set_current_line(145, ng0); t11 = (t0 + 1672U); t12 = *((char **)t11); t11 = (t0 + 6528); t13 = (t11 + 56U); t21 = *((char **)t13); t23 = (t21 + 56U); t24 = *((char **)t23); memcpy(t24, t12, 32U); xsi_driver_first_trans_fast(t11); xsi_set_current_line(146, ng0); t1 = (t0 + 1672U); t3 = *((char **)t1); t1 = (t0 + 6592); t4 = (t1 + 56U); t6 = *((char **)t4); t7 = (t6 + 56U); t10 = *((char **)t7); memcpy(t10, t3, 32U); xsi_driver_first_trans_fast_port(t1); goto LAB59; LAB61: xsi_set_current_line(154, ng0); t10 = xsi_get_transient_memory(16U); memset(t10, 0, 16U); t11 = t10; memset(t11, (unsigned char)2, 16U); t12 = (t0 + 6464); t13 = (t12 + 56U); t21 = *((char **)t13); t23 = (t21 + 56U); t24 = *((char **)t23); memcpy(t24, t10, 16U); xsi_driver_first_trans_fast(t12); xsi_set_current_line(155, ng0); t1 = (t0 + 3272U); t3 = *((char **)t1); t34 = (32 - 0); t35 = (t34 - 1); t18 = (31 - t35); t36 = (t18 * 1U); t37 = (0 + t36); t1 = (t3 + t37); t4 = (t22 + 0U); t6 = (t4 + 0U); *((int *)t6) = 31; t6 = (t4 + 4U); *((int *)t6) = 0; t6 = (t4 + 8U); *((int *)t6) = -1; t38 = (0 - 31); t39 = (t38 * -1); t39 = (t39 + 1); t6 = (t4 + 12U); *((unsigned int *)t6) = t39; t6 = (t0 + 1672U); t7 = *((char **)t6); t40 = (32 - 0); t41 = (t40 - 1); t39 = (31 - t41); t42 = (t39 * 1U); t43 = (0 + t42); t6 = (t7 + t43); t10 = (t44 + 0U); t11 = (t10 + 0U); *((int *)t11) = 31; t11 = (t10 + 4U); *((int *)t11) = 0; t11 = (t10 + 8U); *((int *)t11) = -1; t45 = (0 - 31); t46 = (t45 * -1); t46 = (t46 + 1); t11 = (t10 + 12U); *((unsigned int *)t11) = t46; t2 = ieee_p_1242562249_sub_2720006528_1035706684(IEEE_P_1242562249, t1, t22, t6, t44); if (t2 != 0) goto LAB64; LAB66: xsi_set_current_line(159, ng0); t1 = (t0 + 3272U); t3 = *((char **)t1); t1 = (t0 + 6592); t4 = (t1 + 56U); t6 = *((char **)t4); t7 = (t6 + 56U); t10 = *((char **)t7); memcpy(t10, t3, 32U); xsi_driver_first_trans_delta(t1, 0U, 32U, 0LL); LAB65: xsi_set_current_line(161, ng0); t1 = (t0 + 6272); t3 = (t1 + 56U); t4 = *((char **)t3); t6 = (t4 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)3; xsi_driver_first_trans_fast_port(t1); goto LAB62; LAB64: xsi_set_current_line(156, ng0); t11 = (t0 + 1672U); t12 = *((char **)t11); t11 = (t0 + 6528); t13 = (t11 + 56U); t21 = *((char **)t13); t23 = (t21 + 56U); t24 = *((char **)t23); memcpy(t24, t12, 32U); xsi_driver_first_trans_fast(t11); xsi_set_current_line(157, ng0); t1 = (t0 + 1672U); t3 = *((char **)t1); t1 = (t0 + 6592); t4 = (t1 + 56U); t6 = *((char **)t4); t7 = (t6 + 56U); t10 = *((char **)t7); memcpy(t10, t3, 32U); xsi_driver_first_trans_fast_port(t1); goto LAB65; LAB67: xsi_set_current_line(166, ng0); t1 = (t0 + 1192U); t4 = *((char **)t1); t1 = (t0 + 6336); t6 = (t1 + 56U); t7 = *((char **)t6); t10 = (t7 + 56U); t11 = *((char **)t10); memcpy(t11, t4, 16U); xsi_driver_first_trans_fast(t1); xsi_set_current_line(167, ng0); t1 = xsi_get_transient_memory(32U); memset(t1, 0, 32U); t3 = t1; memset(t3, (unsigned char)2, 32U); t4 = (t0 + 6528); t6 = (t4 + 56U); t7 = *((char **)t6); t10 = (t7 + 56U); t11 = *((char **)t10); memcpy(t11, t1, 32U); xsi_driver_first_trans_fast(t4); xsi_set_current_line(168, ng0); t1 = (t0 + 6400); t3 = (t1 + 56U); t4 = *((char **)t3); t6 = (t4 + 56U); t7 = *((char **)t6); *((unsigned char *)t7) = (unsigned char)1; xsi_driver_first_trans_fast(t1); goto LAB68; } extern void work_a_1962992467_3212880686_init() { static char *pe[] = {(void *)work_a_1962992467_3212880686_p_0,(void *)work_a_1962992467_3212880686_p_1,(void *)work_a_1962992467_3212880686_p_2}; xsi_register_didat("work_a_1962992467_3212880686", "isim/Test_max_pooling_isim_beh.exe.sim/work/a_1962992467_3212880686.didat"); xsi_register_executes(pe); }