static void Initial_35_0(char *t0) { char t6[8]; char t7[8]; char *t1; char *t2; char *t3; char *t4; char *t5; LAB0: xsi_set_current_line(36, ng0); LAB2: xsi_set_current_line(41, ng0); t1 = (t0 + 1880); t2 = ((char*)((ng2))); t3 = ((char*)((ng3))); t4 = (t0 + 608); t5 = *((char **)t4); memset(t6, 0, 8); xsi_vlog_signed_power(t6, 32, t3, 32, t5, 32, 1); t4 = ((char*)((ng4))); memset(t7, 0, 8); xsi_vlog_signed_minus(t7, 32, t6, 32, t4, 32); xsi_vlogfile_readmemb(ng1, 0, t1, 1, *((unsigned int *)t2), 1, *((unsigned int *)t7)); LAB1: return; }
static int sp_f_ceil_log2(char *t1, char *t2) { char t7[8]; char t11[8]; char t22[8]; int t0; char *t3; char *t4; char *t5; char *t6; char *t8; char *t9; char *t10; char *t12; unsigned int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; char *t18; char *t19; char *t20; char *t21; char *t23; LAB0: t0 = 1; xsi_set_current_line(1144, ng0); LAB2: xsi_set_current_line(1145, ng0); t3 = ((char*)((ng1))); t4 = (t1 + 11136); xsi_vlogvar_assign_value(t4, t3, 0, 0, 32); xsi_set_current_line(1146, ng0); LAB3: t3 = ((char*)((ng2))); t4 = (t1 + 11136); t5 = (t4 + 36U); t6 = *((char **)t5); memset(t7, 0, 8); xsi_vlog_signed_power(t7, 32, t3, 32, t6, 32, 1); t8 = (t1 + 10952); t9 = (t8 + 36U); t10 = *((char **)t9); memset(t11, 0, 8); xsi_vlog_signed_less(t11, 32, t7, 32, t10, 32); t12 = (t11 + 4); t13 = *((unsigned int *)t12); t14 = (~(t13)); t15 = *((unsigned int *)t11); t16 = (t15 & t14); t17 = (t16 != 0); if (t17 > 0) goto LAB4; LAB5: xsi_set_current_line(1148, ng0); t3 = (t1 + 11136); t4 = (t3 + 36U); t5 = *((char **)t4); t6 = (t1 + 11044); xsi_vlogvar_assign_value(t6, t5, 0, 0, 32); t0 = 0; LAB1: return t0; LAB4: xsi_set_current_line(1147, ng0); t18 = (t1 + 11136); t19 = (t18 + 36U); t20 = *((char **)t19); t21 = ((char*)((ng3))); memset(t22, 0, 8); xsi_vlog_signed_add(t22, 32, t20, 32, t21, 32); t23 = (t1 + 11136); xsi_vlogvar_assign_value(t23, t22, 0, 0, 32); goto LAB3; }
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; }