static void implSig1_execute(char *t0) { char t3[16]; char *t1; char *t2; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; LAB0: t1 = (t0 + 30536U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 26736U); t4 = *((char **)t2); t2 = ((char*)((ng0))); xsi_vlogtype_concat(t3, 64, 64, 2U, t2, 32, t4, 32); t5 = (t0 + 32072); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); xsi_vlog_bit_copy(t9, 0, t3, 0, 64); xsi_driver_vfirst_trans(t5, 0, 63); t10 = (t0 + 31864); *((int *)t10) = 1; LAB1: return; }
static void NetDecl_396_3(char *t0) { char t3[16]; char t4[8]; char t5[8]; char t8[8]; char t42[16]; char *t1; char *t2; char *t6; char *t7; char *t9; char *t10; unsigned int 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; char *t23; char *t24; unsigned int t25; unsigned int t26; unsigned int t27; unsigned int t28; unsigned int t29; char *t30; char *t31; unsigned int t32; unsigned int t33; unsigned int t34; char *t35; unsigned int t36; unsigned int t37; unsigned int t38; unsigned int t39; char *t40; char *t41; char *t43; char *t44; char *t45; char *t46; char *t47; char *t48; LAB0: t1 = (t0 + 16360U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(349, ng0); t2 = (t0 + 2136U); t6 = *((char **)t2); t2 = (t0 + 4536U); t7 = *((char **)t2); xsi_vlogtype_concat(t5, 2, 2, 2U, t7, 1, t6, 1); t2 = ((char*)((ng5))); memset(t8, 0, 8); t9 = (t5 + 4); t10 = (t2 + 4); t11 = *((unsigned int *)t5); t12 = *((unsigned int *)t2); t13 = (t11 ^ t12); t14 = *((unsigned int *)t9); t15 = *((unsigned int *)t10); t16 = (t14 ^ t15); t17 = (t13 | t16); t18 = *((unsigned int *)t9); t19 = *((unsigned int *)t10); t20 = (t18 | t19); t21 = (~(t20)); t22 = (t17 & t21); if (t22 != 0) goto LAB7; LAB4: if (t20 != 0) goto LAB6; LAB5: *((unsigned int *)t8) = 1; LAB7: memset(t4, 0, 8); t24 = (t8 + 4); t25 = *((unsigned int *)t24); t26 = (~(t25)); t27 = *((unsigned int *)t8); t28 = (t27 & t26); t29 = (t28 & 1U); if (t29 != 0) goto LAB8; LAB9: if (*((unsigned int *)t24) != 0) goto LAB10; LAB11: t31 = (t4 + 4); t32 = *((unsigned int *)t4); t33 = *((unsigned int *)t31); t34 = (t32 || t33); if (t34 > 0) goto LAB12; LAB13: t36 = *((unsigned int *)t4); t37 = (~(t36)); t38 = *((unsigned int *)t31); t39 = (t37 || t38); if (t39 > 0) goto LAB14; LAB15: if (*((unsigned int *)t31) > 0) goto LAB16; LAB17: if (*((unsigned int *)t4) > 0) goto LAB18; LAB19: memcpy(t3, t42, 16); LAB20: t43 = (t0 + 20168); t44 = (t43 + 56U); t45 = *((char **)t44); t46 = (t45 + 56U); t47 = *((char **)t46); xsi_vlog_bit_copy(t47, 0, t3, 0, 39); xsi_driver_vfirst_trans(t43, 0, 38U); t48 = (t0 + 19704); *((int *)t48) = 1; LAB1: return; LAB6: t23 = (t8 + 4); *((unsigned int *)t8) = 1; *((unsigned int *)t23) = 1; goto LAB7; LAB8: *((unsigned int *)t4) = 1; goto LAB11; LAB10: t30 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t30) = 1; goto LAB11; LAB12: t35 = ((char*)((ng6))); goto LAB13; LAB14: t40 = (t0 + 4856U); t41 = *((char **)t40); memcpy(t42, t41, 8); t40 = (t42 + 8); memset(t40, 0, 8); goto LAB15; LAB16: xsi_vlog_unsigned_bit_combine(t3, 39, t35, 39, t42, 39); goto LAB20; LAB18: memcpy(t3, t35, 16); goto LAB20; }
static void Initial_1686_3(char *t0) { char t1[8]; char t5[8]; char t9[8]; char *t2; char *t3; char *t4; char *t6; char *t7; char *t8; char *t10; char *t11; char *t12; unsigned int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; char *t18; char *t19; unsigned int t20; unsigned int t21; unsigned int t22; unsigned int t23; unsigned int t24; char *t25; char *t26; LAB0: LAB2: t2 = (t0 + 6640); t3 = (t2 + 56U); t4 = *((char **)t3); t6 = (t0 + 6800); t7 = (t6 + 56U); t8 = *((char **)t7); xsi_vlog_bit_copy(t5, 0, t8, 0, 8); *((int *)t9) = xsi_vlogfile_sscanf(t4, 64, ng2, 2, t0, (char)118, t5, 8); t10 = (t9 + 4); *((int *)t10) = 0; t11 = (t0 + 6800); xsi_vlogvar_assign_value(t11, t5, 0, 0, 8); memset(t1, 0, 8); t12 = (t9 + 4); t13 = *((unsigned int *)t12); t14 = (~(t13)); t15 = *((unsigned int *)t9); t16 = (t15 & t14); t17 = (t16 & 4294967295U); if (t17 != 0) goto LAB6; LAB4: if (*((unsigned int *)t12) == 0) goto LAB3; LAB5: t18 = (t1 + 4); *((unsigned int *)t1) = 1; *((unsigned int *)t18) = 1; LAB6: t19 = (t1 + 4); t20 = *((unsigned int *)t19); t21 = (~(t20)); t22 = *((unsigned int *)t1); t23 = (t22 & t21); t24 = (t23 != 0); if (t24 > 0) goto LAB7; LAB8: LAB9: t2 = (t0 + 6800); t3 = (t2 + 56U); t4 = *((char **)t3); t6 = (t0 + 5360); xsi_vlogvar_assign_value(t6, t4, 0, 0, 8); t2 = ((char*)((ng0))); t3 = (t0 + 5840); xsi_vlogvar_assign_value(t3, t2, 0, 0, 7); t2 = ((char*)((ng3))); t3 = (t0 + 5520); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); t2 = ((char*)((ng3))); t3 = (t0 + 5680); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); t2 = ((char*)((ng4))); t3 = (t0 + 6800); t4 = (t3 + 56U); t6 = *((char **)t4); xsi_vlog_mul_concat(t1, 16, 8, t2, 1U, t6, 8); t7 = (t0 + 6000); xsi_vlogvar_assign_value(t7, t1, 0, 0, 8); t2 = ((char*)((ng0))); t3 = (t0 + 6160); xsi_vlogvar_assign_value(t3, t2, 0, 0, 7); t2 = ((char*)((ng3))); t3 = (t0 + 6320); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); t2 = ((char*)((ng3))); t3 = (t0 + 6480); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); LAB1: return; LAB3: *((unsigned int *)t1) = 1; goto LAB6; LAB7: LAB10: t25 = ((char*)((ng0))); t26 = (t0 + 6800); xsi_vlogvar_assign_value(t26, t25, 0, 0, 8); goto LAB9; }
static void Cont_126_1(char *t0) { char t21[16]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; char *t12; char *t13; char *t14; char *t15; char *t16; int t17; char *t18; char *t19; char *t20; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; char *t28; char *t29; char *t30; LAB0: t1 = (t0 + 6688U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(126, ng0); t2 = (t0 + 3048U); t3 = *((char **)t2); t2 = (t0 + 3208U); t4 = *((char **)t2); t2 = (t0 + 6496); t5 = (t0 + 1984); t6 = xsi_create_subprogram_invocation(t2, 0, t0, t5, 0, 0); t7 = (t0 + 4088); xsi_vlogvar_assign_value(t7, t3, 0, 0, 1); t8 = (t0 + 4248); xsi_vlogvar_assign_value(t8, t4, 0, 0, 78); LAB4: t9 = (t0 + 6592); t10 = *((char **)t9); t11 = (t10 + 80U); t12 = *((char **)t11); t13 = (t12 + 272U); t14 = *((char **)t13); t15 = (t14 + 0U); t16 = *((char **)t15); t17 = ((int (*)(char *, char *))t16)(t0, t10); if (t17 != 0) goto LAB6; LAB5: t10 = (t0 + 6592); t18 = *((char **)t10); t10 = (t0 + 4408); t19 = (t10 + 56U); t20 = *((char **)t19); memcpy(t21, t20, 16); t22 = (t0 + 1984); t23 = (t0 + 6496); t24 = 0; xsi_delete_subprogram_invocation(t22, t18, t0, t23, t24); t25 = (t0 + 7168); t26 = (t25 + 56U); t27 = *((char **)t26); t28 = (t27 + 56U); t29 = *((char **)t28); xsi_vlog_bit_copy(t29, 0, t21, 0, 39); xsi_driver_vfirst_trans(t25, 0, 38); t30 = (t0 + 7024); *((int *)t30) = 1; LAB1: return; LAB6: t9 = (t0 + 6688U); *((char **)t9) = &&LAB4; goto LAB1; }
static void Cont_120_0(char *t0) { char t4[16]; char t7[16]; char *t1; char *t2; char *t3; char *t5; char *t6; unsigned int t8; unsigned int t9; unsigned int t10; char *t11; char *t12; unsigned int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; char *t18; unsigned int t19; char *t20; unsigned int t21; char *t22; unsigned int t23; unsigned int t24; unsigned int t25; unsigned int t26; unsigned int t27; unsigned int t28; unsigned int t29; unsigned int t30; char *t31; unsigned int t32; char *t33; char *t34; unsigned int t35; char *t36; unsigned int t37; unsigned int t38; unsigned int t39; unsigned int t40; unsigned int t41; unsigned int t42; unsigned int t43; unsigned int t44; int t45; int t46; unsigned int t47; unsigned int t48; unsigned int t49; unsigned int t50; unsigned int t51; unsigned int t52; char *t53; char *t54; char *t55; char *t56; char *t57; char *t58; LAB0: t1 = (t0 + 6440U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(120, ng0); t2 = (t0 + 3688U); t3 = *((char **)t2); t2 = ((char*)((ng1))); t5 = (t0 + 3528U); t6 = *((char **)t5); xsi_vlog_mul_concat(t4, 39, 1, t2, 1U, t6, 1); t8 = 0; LAB7: t9 = (t8 < 2); if (t9 == 1) goto LAB8; LAB9: t53 = (t0 + 7104); t54 = (t53 + 56U); t55 = *((char **)t54); t56 = (t55 + 56U); t57 = *((char **)t56); xsi_vlog_bit_copy(t57, 0, t7, 0, 39); xsi_driver_vfirst_trans(t53, 0, 38); t58 = (t0 + 7008); *((int *)t58) = 1; LAB1: return; LAB4: t28 = (t8 * 8); t29 = *((unsigned int *)t12); t30 = *((unsigned int *)t22); *((unsigned int *)t12) = (t29 | t30); t31 = (t3 + t28); t32 = (t28 + 4); t33 = (t3 + t32); t34 = (t4 + t28); t35 = (t28 + 4); t36 = (t4 + t35); t37 = *((unsigned int *)t31); t38 = (~(t37)); t39 = *((unsigned int *)t33); t40 = (~(t39)); t41 = *((unsigned int *)t34); t42 = (~(t41)); t43 = *((unsigned int *)t36); t44 = (~(t43)); t45 = (t38 & t40); t46 = (t42 & t44); t47 = (~(t45)); t48 = (~(t46)); t49 = *((unsigned int *)t22); *((unsigned int *)t22) = (t49 & t47); t50 = *((unsigned int *)t22); *((unsigned int *)t22) = (t50 & t48); t51 = *((unsigned int *)t12); *((unsigned int *)t12) = (t51 & t47); t52 = *((unsigned int *)t12); *((unsigned int *)t12) = (t52 & t48); LAB6: t8 = (t8 + 1); goto LAB7; LAB5: goto LAB6; LAB8: t10 = (t8 * 8); t5 = (t3 + t10); t11 = (t4 + t10); t12 = (t7 + t10); t13 = *((unsigned int *)t5); t14 = *((unsigned int *)t11); t15 = (t13 & t14); *((unsigned int *)t12) = t15; t16 = (t8 * 8); t17 = (t16 + 4); t18 = (t3 + t17); t19 = (t16 + 4); t20 = (t4 + t19); t21 = (t16 + 4); t22 = (t7 + t21); t23 = *((unsigned int *)t18); t24 = *((unsigned int *)t20); t25 = (t23 | t24); *((unsigned int *)t22) = t25; t26 = *((unsigned int *)t22); t27 = (t26 != 0); if (t27 == 1) goto LAB4; else goto LAB5; }
static void Always_20_0(char *t0) { char t13[8]; char t14[8]; char t17[8]; char t18[8]; char t93[8]; char t131[8]; char *t1; char *t2; char *t3; char *t4; char *t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; char *t11; char *t12; char *t15; char *t16; char *t19; char *t20; char *t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; char *t28; unsigned int t29; int t30; char *t31; unsigned int t32; int t33; int t34; unsigned int t35; unsigned int t36; int t37; int t38; unsigned int t39; unsigned int t40; unsigned int t41; unsigned int t42; unsigned int t43; unsigned int t44; unsigned int t45; unsigned int t46; unsigned int t47; unsigned int t48; unsigned int t49; unsigned int t50; unsigned int t51; unsigned int t52; unsigned int t53; unsigned int t54; unsigned int t55; unsigned int t56; unsigned int t57; unsigned int t58; unsigned int t59; unsigned int t60; unsigned int t61; unsigned int t62; unsigned int t63; unsigned int t64; unsigned int t65; unsigned int t66; unsigned int t67; unsigned int t68; unsigned int t69; unsigned int t70; unsigned int t71; unsigned int t72; unsigned int t73; char *t74; char *t75; char *t76; char *t77; char *t78; char *t79; unsigned int t80; unsigned int t81; unsigned int t82; unsigned int t83; unsigned int t84; unsigned int t85; unsigned int t86; unsigned int t87; unsigned int t88; unsigned int t89; unsigned int t90; unsigned int t91; char *t92; unsigned int t94; unsigned int t95; unsigned int t96; char *t97; char *t98; char *t99; unsigned int t100; unsigned int t101; unsigned int t102; unsigned int t103; unsigned int t104; unsigned int t105; unsigned int t106; char *t107; char *t108; unsigned int t109; unsigned int t110; unsigned int t111; unsigned int t112; unsigned int t113; unsigned int t114; unsigned int t115; unsigned int t116; unsigned int t117; unsigned int t118; char *t119; unsigned int t120; unsigned int t121; unsigned int t122; unsigned int t123; unsigned int t124; char *t125; char *t126; char *t127; char *t128; char *t129; char *t130; char *t132; char *t133; LAB0: t1 = (t0 + 4768U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(20, ng0); t2 = (t0 + 5088); *((int *)t2) = 1; t3 = (t0 + 4800); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(21, ng0); LAB5: xsi_set_current_line(22, ng0); t4 = (t0 + 1208U); t5 = *((char **)t4); t4 = (t5 + 4); t6 = *((unsigned int *)t4); t7 = (~(t6)); t8 = *((unsigned int *)t5); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB6; LAB7: xsi_set_current_line(50, ng0); LAB48: xsi_set_current_line(51, ng0); t2 = (t0 + 1528U); t3 = *((char **)t2); t2 = (t3 + 4); t6 = *((unsigned int *)t2); t7 = (~(t6)); t8 = *((unsigned int *)t3); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB49; LAB50: xsi_set_current_line(53, ng0); t2 = (t0 + 1368U); t3 = *((char **)t2); t2 = (t3 + 4); t6 = *((unsigned int *)t2); t7 = (~(t6)); t8 = *((unsigned int *)t3); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB52; LAB53: LAB54: LAB51: LAB8: goto LAB2; LAB6: xsi_set_current_line(23, ng0); LAB9: xsi_set_current_line(24, ng0); t11 = ((char*)((ng1))); t12 = (t0 + 3848); xsi_vlogvar_assign_value(t12, t11, 0, 0, 4); xsi_set_current_line(25, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 16); xsi_set_current_line(26, ng0); *((int *)t13) = xsi_vlogfile_file_open_of_cname_ctype(ng3, ng4); t2 = (t13 + 4); *((int *)t2) = 0; t3 = (t0 + 2728); xsi_vlogvar_assign_value(t3, t13, 0, 0, 32); xsi_set_current_line(28, ng0); xsi_set_current_line(28, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 3048); xsi_vlogvar_assign_value(t3, t2, 0, 0, 32); LAB10: t2 = (t0 + 3048); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng5))); t11 = ((char*)((ng6))); memset(t13, 0, 8); xsi_vlog_signed_power(t13, 32, t5, 32, t11, 32, 1); memset(t14, 0, 8); xsi_vlog_signed_less(t14, 32, t4, 32, t13, 32); t12 = (t14 + 4); t6 = *((unsigned int *)t12); t7 = (~(t6)); t8 = *((unsigned int *)t14); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB11; LAB12: xsi_set_current_line(33, ng0); LAB16: t2 = (t0 + 2728); t3 = (t2 + 56U); t4 = *((char **)t3); *((int *)t14) = xsi_vlogfile_feof(*((unsigned int *)t4)); t5 = (t14 + 4); *((int *)t5) = 0; memset(t13, 0, 8); t11 = (t14 + 4); t6 = *((unsigned int *)t11); t7 = (~(t6)); t8 = *((unsigned int *)t14); t9 = (t8 & t7); t10 = (t9 & 4294967295U); if (t10 != 0) goto LAB20; LAB18: if (*((unsigned int *)t11) == 0) goto LAB17; LAB19: t12 = (t13 + 4); *((unsigned int *)t13) = 1; *((unsigned int *)t12) = 1; LAB20: t15 = (t13 + 4); t29 = *((unsigned int *)t15); t32 = (~(t29)); t35 = *((unsigned int *)t13); t36 = (t35 & t32); t39 = (t36 != 0); if (t39 > 0) goto LAB21; LAB22: xsi_set_current_line(47, ng0); t2 = (t0 + 2728); t3 = (t2 + 56U); t4 = *((char **)t3); xsi_vlogfile_fclose(*((unsigned int *)t4)); goto LAB8; LAB11: xsi_set_current_line(29, ng0); LAB13: xsi_set_current_line(30, ng0); t15 = ((char*)((ng2))); t16 = (t0 + 2408); t19 = (t0 + 2408); t20 = (t19 + 72U); t21 = *((char **)t20); t22 = (t0 + 2408); t23 = (t22 + 64U); t24 = *((char **)t23); t25 = (t0 + 3048); t26 = (t25 + 56U); t27 = *((char **)t26); xsi_vlog_generic_convert_array_indices(t17, t18, t21, t24, 2, 1, t27, 32, 1); t28 = (t17 + 4); t29 = *((unsigned int *)t28); t30 = (!(t29)); t31 = (t18 + 4); t32 = *((unsigned int *)t31); t33 = (!(t32)); t34 = (t30 && t33); if (t34 == 1) goto LAB14; LAB15: xsi_set_current_line(28, ng0); t2 = (t0 + 3048); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng7))); memset(t13, 0, 8); xsi_vlog_signed_add(t13, 32, t4, 32, t5, 32); t11 = (t0 + 3048); xsi_vlogvar_assign_value(t11, t13, 0, 0, 32); goto LAB10; LAB14: t35 = *((unsigned int *)t17); t36 = *((unsigned int *)t18); t37 = (t35 - t36); t38 = (t37 + 1); xsi_vlogvar_assign_value(t16, t15, 0, *((unsigned int *)t18), t38); goto LAB15; LAB17: *((unsigned int *)t13) = 1; goto LAB20; LAB21: xsi_set_current_line(34, ng0); LAB23: xsi_set_current_line(35, ng0); t16 = (t0 + 2728); t19 = (t16 + 56U); t20 = *((char **)t19); *((int *)t17) = xsi_vlogfile_fgetc(*((unsigned int *)t20)); t21 = (t17 + 4); *((int *)t21) = 0; t22 = (t0 + 3208); xsi_vlogvar_assign_value(t22, t17, 0, 0, 32); xsi_set_current_line(37, ng0); t2 = (t0 + 3208); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng8))); memset(t13, 0, 8); t11 = (t4 + 4); t12 = (t5 + 4); t6 = *((unsigned int *)t4); t7 = *((unsigned int *)t5); t8 = (t6 ^ t7); t9 = *((unsigned int *)t11); t10 = *((unsigned int *)t12); t29 = (t9 ^ t10); t32 = (t8 | t29); t35 = *((unsigned int *)t11); t36 = *((unsigned int *)t12); t39 = (t35 | t36); t40 = (~(t39)); t41 = (t32 & t40); if (t41 != 0) goto LAB27; LAB24: if (t39 != 0) goto LAB26; LAB25: *((unsigned int *)t13) = 1; LAB27: t16 = (t0 + 3208); t19 = (t16 + 56U); t20 = *((char **)t19); t21 = ((char*)((ng9))); memset(t14, 0, 8); t22 = (t20 + 4); t23 = (t21 + 4); t42 = *((unsigned int *)t20); t43 = *((unsigned int *)t21); t44 = (t42 ^ t43); t45 = *((unsigned int *)t22); t46 = *((unsigned int *)t23); t47 = (t45 ^ t46); t48 = (t44 | t47); t49 = *((unsigned int *)t22); t50 = *((unsigned int *)t23); t51 = (t49 | t50); t52 = (~(t51)); t53 = (t48 & t52); if (t53 != 0) goto LAB31; LAB28: if (t51 != 0) goto LAB30; LAB29: *((unsigned int *)t14) = 1; LAB31: t54 = *((unsigned int *)t13); t55 = *((unsigned int *)t14); t56 = (t54 | t55); *((unsigned int *)t17) = t56; t25 = (t13 + 4); t26 = (t14 + 4); t27 = (t17 + 4); t57 = *((unsigned int *)t25); t58 = *((unsigned int *)t26); t59 = (t57 | t58); *((unsigned int *)t27) = t59; t60 = *((unsigned int *)t27); t61 = (t60 != 0); if (t61 == 1) goto LAB32; LAB33: LAB34: t74 = (t0 + 3208); t75 = (t74 + 56U); t76 = *((char **)t75); t77 = ((char*)((ng10))); memset(t18, 0, 8); t78 = (t76 + 4); t79 = (t77 + 4); t80 = *((unsigned int *)t76); t81 = *((unsigned int *)t77); t82 = (t80 ^ t81); t83 = *((unsigned int *)t78); t84 = *((unsigned int *)t79); t85 = (t83 ^ t84); t86 = (t82 | t85); t87 = *((unsigned int *)t78); t88 = *((unsigned int *)t79); t89 = (t87 | t88); t90 = (~(t89)); t91 = (t86 & t90); if (t91 != 0) goto LAB38; LAB35: if (t89 != 0) goto LAB37; LAB36: *((unsigned int *)t18) = 1; LAB38: t94 = *((unsigned int *)t17); t95 = *((unsigned int *)t18); t96 = (t94 | t95); *((unsigned int *)t93) = t96; t97 = (t17 + 4); t98 = (t18 + 4); t99 = (t93 + 4); t100 = *((unsigned int *)t97); t101 = *((unsigned int *)t98); t102 = (t100 | t101); *((unsigned int *)t99) = t102; t103 = *((unsigned int *)t99); t104 = (t103 != 0); if (t104 == 1) goto LAB39; LAB40: LAB41: t119 = (t93 + 4); t120 = *((unsigned int *)t119); t121 = (~(t120)); t122 = *((unsigned int *)t93); t123 = (t122 & t121); t124 = (t123 != 0); if (t124 > 0) goto LAB42; LAB43: xsi_set_current_line(40, ng0); LAB45: xsi_set_current_line(42, ng0); t2 = (t0 + 3208); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 2728); t11 = (t5 + 56U); t12 = *((char **)t11); *((int *)t13) = xsi_vlogfile_ungetc(*((unsigned int *)t4), *((unsigned int *)t12)); t15 = (t13 + 4); *((int *)t15) = 0; t16 = (t0 + 3368); xsi_vlogvar_assign_value(t16, t13, 0, 0, 32); xsi_set_current_line(43, ng0); t2 = (t0 + 2728); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 3528); t11 = (t5 + 56U); t12 = *((char **)t11); xsi_vlog_bit_copy(t13, 0, t12, 0, 4); t15 = (t0 + 3688); t16 = (t15 + 56U); t19 = *((char **)t16); xsi_vlog_bit_copy(t14, 0, t19, 0, 16); *((int *)t17) = xsi_vlogfile_fscanf(*((unsigned int *)t4), ng11, 3, t0, (char)118, t13, 4, (char)118, t14, 16); t20 = (t17 + 4); *((int *)t20) = 0; t21 = (t0 + 3528); xsi_vlogvar_assign_value(t21, t13, 0, 0, 4); t22 = (t0 + 3688); xsi_vlogvar_assign_value(t22, t14, 0, 0, 16); t23 = (t0 + 3368); xsi_vlogvar_assign_value(t23, t17, 0, 0, 32); xsi_set_current_line(44, ng0); t2 = (t0 + 3688); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 2408); t11 = (t0 + 2408); t12 = (t11 + 72U); t15 = *((char **)t12); t16 = (t0 + 2408); t19 = (t16 + 64U); t20 = *((char **)t19); t21 = (t0 + 3528); t22 = (t21 + 56U); t23 = *((char **)t22); xsi_vlog_generic_convert_array_indices(t13, t14, t15, t20, 2, 1, t23, 4, 2); t24 = (t13 + 4); t6 = *((unsigned int *)t24); t30 = (!(t6)); t25 = (t14 + 4); t7 = *((unsigned int *)t25); t33 = (!(t7)); t34 = (t30 && t33); if (t34 == 1) goto LAB46; LAB47: LAB44: goto LAB16; LAB26: t15 = (t13 + 4); *((unsigned int *)t13) = 1; *((unsigned int *)t15) = 1; goto LAB27; LAB30: t24 = (t14 + 4); *((unsigned int *)t14) = 1; *((unsigned int *)t24) = 1; goto LAB31; LAB32: t62 = *((unsigned int *)t17); t63 = *((unsigned int *)t27); *((unsigned int *)t17) = (t62 | t63); t28 = (t13 + 4); t31 = (t14 + 4); t64 = *((unsigned int *)t28); t65 = (~(t64)); t66 = *((unsigned int *)t13); t30 = (t66 & t65); t67 = *((unsigned int *)t31); t68 = (~(t67)); t69 = *((unsigned int *)t14); t33 = (t69 & t68); t70 = (~(t30)); t71 = (~(t33)); t72 = *((unsigned int *)t27); *((unsigned int *)t27) = (t72 & t70); t73 = *((unsigned int *)t27); *((unsigned int *)t27) = (t73 & t71); goto LAB34; LAB37: t92 = (t18 + 4); *((unsigned int *)t18) = 1; *((unsigned int *)t92) = 1; goto LAB38; LAB39: t105 = *((unsigned int *)t93); t106 = *((unsigned int *)t99); *((unsigned int *)t93) = (t105 | t106); t107 = (t17 + 4); t108 = (t18 + 4); t109 = *((unsigned int *)t107); t110 = (~(t109)); t111 = *((unsigned int *)t17); t34 = (t111 & t110); t112 = *((unsigned int *)t108); t113 = (~(t112)); t114 = *((unsigned int *)t18); t37 = (t114 & t113); t115 = (~(t34)); t116 = (~(t37)); t117 = *((unsigned int *)t99); *((unsigned int *)t99) = (t117 & t115); t118 = *((unsigned int *)t99); *((unsigned int *)t99) = (t118 & t116); goto LAB41; LAB42: xsi_set_current_line(38, ng0); t125 = (t0 + 2568); t126 = (t125 + 56U); t127 = *((char **)t126); t128 = (t0 + 2728); t129 = (t128 + 56U); t130 = *((char **)t129); *((int *)t131) = xsi_vlogfile_fgets(t127, 8001, *((unsigned int *)t130)); t132 = (t131 + 4); *((int *)t132) = 0; t133 = (t0 + 3368); xsi_vlogvar_assign_value(t133, t131, 0, 0, 32); goto LAB44; LAB46: t8 = *((unsigned int *)t13); t9 = *((unsigned int *)t14); t37 = (t8 - t9); t38 = (t37 + 1); xsi_vlogvar_assign_value(t5, t4, 0, *((unsigned int *)t14), t38); goto LAB47; LAB49: xsi_set_current_line(52, ng0); t4 = (t0 + 2408); t5 = (t4 + 56U); t11 = *((char **)t5); t12 = (t0 + 2408); t15 = (t12 + 72U); t16 = *((char **)t15); t19 = (t0 + 2408); t20 = (t19 + 64U); t21 = *((char **)t20); t22 = (t0 + 1688U); t23 = *((char **)t22); xsi_vlog_generic_get_array_select_value(t13, 16, t11, t16, t21, 2, 1, t23, 4, 2); t22 = (t0 + 2248); xsi_vlogvar_assign_value(t22, t13, 0, 0, 16); goto LAB51; LAB52: xsi_set_current_line(54, ng0); LAB55: xsi_set_current_line(55, ng0); t4 = (t0 + 1848U); t5 = *((char **)t4); t4 = (t0 + 2408); t11 = (t0 + 2408); t12 = (t11 + 72U); t15 = *((char **)t12); t16 = (t0 + 2408); t19 = (t16 + 64U); t20 = *((char **)t19); t21 = (t0 + 1688U); t22 = *((char **)t21); xsi_vlog_generic_convert_array_indices(t13, t14, t15, t20, 2, 1, t22, 4, 2); t21 = (t13 + 4); t29 = *((unsigned int *)t21); t30 = (!(t29)); t23 = (t14 + 4); t32 = *((unsigned int *)t23); t33 = (!(t32)); t34 = (t30 && t33); if (t34 == 1) goto LAB56; LAB57: xsi_set_current_line(56, ng0); *((int *)t13) = xsi_vlogfile_file_open_of_cname_ctype(ng12, ng13); t2 = (t13 + 4); *((int *)t2) = 0; t3 = (t0 + 2888); xsi_vlogvar_assign_value(t3, t13, 0, 0, 32); xsi_set_current_line(57, ng0); t2 = (t0 + 2888); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 1848U); t11 = *((char **)t5); t5 = (t0 + 1688U); t12 = *((char **)t5); xsi_vlogfile_fwrite(*((unsigned int *)t4), 0, 0, 1, ng14, 3, t0, (char)118, t11, 16, (char)118, t12, 4); xsi_set_current_line(58, ng0); t2 = (t0 + 2888); t3 = (t2 + 56U); t4 = *((char **)t3); xsi_vlogfile_fclose(*((unsigned int *)t4)); goto LAB54; LAB56: t35 = *((unsigned int *)t13); t36 = *((unsigned int *)t14); t37 = (t35 - t36); t38 = (t37 + 1); xsi_vlogvar_assign_value(t4, t5, 0, *((unsigned int *)t14), t38); goto LAB57; }