static void Cont_358_0(char *t0) { char t3[8]; char t4[8]; char t7[24]; char *t1; char *t2; char *t5; char *t6; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; char *t13; char *t14; unsigned int t15; unsigned int t16; unsigned int t17; char *t18; unsigned int t19; unsigned int t20; unsigned int t21; unsigned int t22; char *t23; char *t24; char *t25; char *t26; char *t27; char *t28; unsigned int t29; unsigned int t30; char *t31; unsigned int t32; unsigned int t33; char *t34; unsigned int t35; unsigned int t36; char *t37; LAB0: t1 = (t0 + 2528U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(358, ng0); t2 = (t0 + 1368U); t5 = *((char **)t2); t2 = (t0 + 1208U); t6 = *((char **)t2); xsi_vlog_unsigned_case_eq(t7, 65, t5, 65, t6, 65); memset(t4, 0, 8); t2 = (t7 + 4); t8 = *((unsigned int *)t2); t9 = (~(t8)); t10 = *((unsigned int *)t7); t11 = (t10 & t9); t12 = (t11 & 1U); if (t12 != 0) goto LAB4; LAB5: if (*((unsigned int *)t2) != 0) goto LAB6; LAB7: t14 = (t4 + 4); t15 = *((unsigned int *)t4); t16 = *((unsigned int *)t14); t17 = (t15 || t16); if (t17 > 0) goto LAB8; LAB9: t19 = *((unsigned int *)t4); t20 = (~(t19)); t21 = *((unsigned int *)t14); t22 = (t20 || t21); if (t22 > 0) goto LAB10; LAB11: if (*((unsigned int *)t14) > 0) goto LAB12; LAB13: if (*((unsigned int *)t4) > 0) goto LAB14; LAB15: memcpy(t3, t23, 8); LAB16: t24 = (t0 + 2928); t25 = (t24 + 56U); t26 = *((char **)t25); t27 = (t26 + 56U); t28 = *((char **)t27); memset(t28, 0, 8); t29 = 1U; t30 = t29; t31 = (t3 + 4); t32 = *((unsigned int *)t3); t29 = (t29 & t32); t33 = *((unsigned int *)t31); t30 = (t30 & t33); t34 = (t28 + 4); t35 = *((unsigned int *)t28); *((unsigned int *)t28) = (t35 | t29); t36 = *((unsigned int *)t34); *((unsigned int *)t34) = (t36 | t30); xsi_driver_vfirst_trans(t24, 0, 0); t37 = (t0 + 2848); *((int *)t37) = 1; LAB1: return; LAB4: *((unsigned int *)t4) = 1; goto LAB7; LAB6: t13 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t13) = 1; goto LAB7; LAB8: t18 = ((char*)((ng1))); goto LAB9; LAB10: t23 = ((char*)((ng2))); goto LAB11; LAB12: xsi_vlog_unsigned_bit_combine(t3, 1, t18, 1, t23, 1); goto LAB16; LAB14: memcpy(t3, t18, 8); goto LAB16; }
static void Always_73_3(char *t0) { char t4[8]; char t9[8]; char t38[32]; char t39[32]; char *t1; char *t2; char *t3; char *t5; char *t6; char *t7; char *t8; char *t10; char *t11; unsigned int t12; unsigned int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; unsigned int t18; unsigned int t19; unsigned int t20; unsigned int t21; unsigned int t22; unsigned int t23; char *t24; char *t25; unsigned int t26; unsigned int t27; unsigned int t28; unsigned int t29; unsigned int t30; char *t31; char *t32; char *t33; char *t34; char *t35; char *t36; char *t37; LAB0: t1 = (t0 + 4392U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(73, ng0); t2 = (t0 + 4728); *((int *)t2) = 1; t3 = (t0 + 4424); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(74, ng0); LAB5: xsi_set_current_line(75, ng0); t5 = (t0 + 1208U); t6 = *((char **)t5); t5 = (t0 + 2568); t7 = (t5 + 56U); t8 = *((char **)t7); memset(t9, 0, 8); t10 = (t6 + 4); t11 = (t8 + 4); t12 = *((unsigned int *)t6); t13 = *((unsigned int *)t8); t14 = (t12 ^ t13); t15 = *((unsigned int *)t10); t16 = *((unsigned int *)t11); t17 = (t15 ^ t16); t18 = (t14 | t17); t19 = *((unsigned int *)t10); t20 = *((unsigned int *)t11); t21 = (t19 | t20); t22 = (~(t21)); t23 = (t18 & t22); if (t23 != 0) goto LAB7; LAB6: if (t21 != 0) goto LAB8; LAB9: xsi_vlogtype_concat(t4, 1, 1, 1U, t9, 1); t25 = (t4 + 4); t26 = *((unsigned int *)t25); t27 = (~(t26)); t28 = *((unsigned int *)t4); t29 = (t28 & t27); t30 = (t29 != 0); if (t30 > 0) goto LAB10; LAB11: LAB12: xsi_set_current_line(80, ng0); t2 = (t0 + 1048U); t3 = *((char **)t2); t2 = (t0 + 2728); t5 = (t2 + 56U); t6 = *((char **)t5); memset(t9, 0, 8); t7 = (t3 + 4); t8 = (t6 + 4); t12 = *((unsigned int *)t3); t13 = *((unsigned int *)t6); t14 = (t12 ^ t13); t15 = *((unsigned int *)t7); t16 = *((unsigned int *)t8); t17 = (t15 ^ t16); t18 = (t14 | t17); t19 = *((unsigned int *)t7); t20 = *((unsigned int *)t8); t21 = (t19 | t20); t22 = (~(t21)); t23 = (t18 & t22); if (t23 != 0) goto LAB15; LAB14: if (t21 != 0) goto LAB16; LAB17: xsi_vlogtype_concat(t4, 1, 1, 1U, t9, 1); t11 = (t4 + 4); t26 = *((unsigned int *)t11); t27 = (~(t26)); t28 = *((unsigned int *)t4); t29 = (t28 & t27); t30 = (t29 != 0); if (t30 > 0) goto LAB18; LAB19: xsi_set_current_line(86, ng0); LAB22: xsi_set_current_line(87, ng0); t2 = (t0 + 2408); t3 = (t2 + 56U); t5 = *((char **)t3); xsi_vlogfile_write(1, 0, 0, ng7, 2, t0, (char)118, t5, 21); LAB20: xsi_set_current_line(89, ng0); t2 = (t0 + 2408); t3 = (t2 + 56U); t5 = *((char **)t3); t6 = ((char*)((ng1))); memset(t4, 0, 8); xsi_vlog_unsigned_add(t4, 32, t5, 21, t6, 32); t7 = (t0 + 2408); xsi_vlogvar_assign_value(t7, t4, 0, 0, 21); xsi_set_current_line(90, ng0); t2 = (t0 + 2248); t3 = (t2 + 56U); t5 = *((char **)t3); t6 = (t0 + 2248); t7 = (t6 + 72U); t8 = *((char **)t7); t10 = (t0 + 2248); t11 = (t10 + 64U); t24 = *((char **)t11); t25 = (t0 + 2408); t31 = (t25 + 56U); t32 = *((char **)t31); xsi_vlog_generic_get_array_select_value(t38, 100, t5, t8, t24, 2, 1, t32, 21, 2); t33 = ((char*)((ng8))); xsi_vlog_unsigned_case_eq(t39, 100, t38, 100, t33, 100); t34 = (t39 + 4); t12 = *((unsigned int *)t34); t13 = (~(t12)); t14 = *((unsigned int *)t39); t15 = (t14 & t13); t16 = (t15 != 0); if (t16 > 0) goto LAB23; LAB24: LAB25: goto LAB2; LAB7: *((unsigned int *)t9) = 1; goto LAB9; LAB8: t24 = (t9 + 4); *((unsigned int *)t9) = 1; *((unsigned int *)t24) = 1; goto LAB9; LAB10: xsi_set_current_line(76, ng0); LAB13: xsi_set_current_line(77, ng0); t31 = (t0 + 1208U); t32 = *((char **)t31); t31 = (t0 + 2568); t33 = (t31 + 56U); t34 = *((char **)t33); t35 = (t0 + 2408); t36 = (t35 + 56U); t37 = *((char **)t36); xsi_vlogfile_write(1, 0, 0, ng5, 4, t0, (char)118, t32, 32, (char)118, t34, 32, (char)118, t37, 21); xsi_set_current_line(78, ng0); xsi_vlog_finish(1); goto LAB12; LAB15: *((unsigned int *)t9) = 1; goto LAB17; LAB16: t10 = (t9 + 4); *((unsigned int *)t9) = 1; *((unsigned int *)t10) = 1; goto LAB17; LAB18: xsi_set_current_line(81, ng0); LAB21: xsi_set_current_line(82, ng0); t24 = (t0 + 1048U); t25 = *((char **)t24); t24 = (t0 + 2728); t31 = (t24 + 56U); t32 = *((char **)t31); t33 = (t0 + 2408); t34 = (t33 + 56U); t35 = *((char **)t34); xsi_vlogfile_write(1, 0, 0, ng6, 4, t0, (char)118, t25, 1, (char)118, t32, 1, (char)118, t35, 21); xsi_set_current_line(83, ng0); xsi_vlog_finish(1); goto LAB20; LAB23: xsi_set_current_line(91, ng0); LAB26: xsi_set_current_line(92, ng0); xsi_vlogfile_write(1, 0, 0, ng9, 1, t0); xsi_set_current_line(93, ng0); xsi_vlog_finish(1); goto LAB25; }