/**********************************************************************/ /* ____ ____ */ /* / /\/ / */ /* /___/ \ / */ /* \ \ \/ */ /* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ /* / / All Right Reserved. */ /* /---/ /\ */ /* \ \ / \ */ /* \___\/\___\ */ /***********************************************************************/ /* This file is designed for use with ISim build 0xfbc00daa */ #define XSI_HIDE_SYMBOL_SPEC true #include "xsi.h" #include #ifdef __GNUC__ #include #else #include #define alloca _alloca #endif static const char *ng0 = "/home/maar/Code/Git/Verilog/MIPS-UART-module/src/hdl/hazard_unit.v"; static int ng1[] = {0, 0}; static unsigned int ng2[] = {35U, 0U}; static unsigned int ng3[] = {43U, 0U}; static unsigned int ng4[] = {1U, 0U}; static int ng5[] = {1, 0}; static unsigned int ng6[] = {4U, 0U}; static void Cont_30_0(char *t0) { char t3[8]; char *t1; char *t2; char *t4; unsigned int t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; char *t10; char *t11; char *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; char *t21; char *t22; char *t23; char *t24; char *t25; unsigned int t26; unsigned int t27; char *t28; unsigned int t29; unsigned int t30; char *t31; unsigned int t32; unsigned int t33; char *t34; LAB0: t1 = (t0 + 5648U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(30, ng0); t2 = (t0 + 4016U); t4 = *((char **)t2); memset(t3, 0, 8); t2 = (t4 + 4); t5 = *((unsigned int *)t2); t6 = (~(t5)); t7 = *((unsigned int *)t4); t8 = (t7 & t6); t9 = (t8 & 1U); if (t9 != 0) goto LAB7; LAB5: if (*((unsigned int *)t2) == 0) goto LAB4; LAB6: t10 = (t3 + 4); *((unsigned int *)t3) = 1; *((unsigned int *)t10) = 1; LAB7: t11 = (t3 + 4); t12 = (t4 + 4); t13 = *((unsigned int *)t4); t14 = (~(t13)); *((unsigned int *)t3) = t14; *((unsigned int *)t11) = 0; if (*((unsigned int *)t12) != 0) goto LAB9; LAB8: t19 = *((unsigned int *)t3); *((unsigned int *)t3) = (t19 & 1U); t20 = *((unsigned int *)t11); *((unsigned int *)t11) = (t20 & 1U); t21 = (t0 + 7632); t22 = (t21 + 56U); t23 = *((char **)t22); t24 = (t23 + 56U); t25 = *((char **)t24); memset(t25, 0, 8); t26 = 1U; t27 = t26; t28 = (t3 + 4); t29 = *((unsigned int *)t3); t26 = (t26 & t29); t30 = *((unsigned int *)t28); t27 = (t27 & t30); t31 = (t25 + 4); t32 = *((unsigned int *)t25); *((unsigned int *)t25) = (t32 | t26); t33 = *((unsigned int *)t31); *((unsigned int *)t31) = (t33 | t27); xsi_driver_vfirst_trans(t21, 0, 0); t34 = (t0 + 7456); *((int *)t34) = 1; LAB1: return; LAB4: *((unsigned int *)t3) = 1; goto LAB7; LAB9: t15 = *((unsigned int *)t3); t16 = *((unsigned int *)t12); *((unsigned int *)t3) = (t15 | t16); t17 = *((unsigned int *)t11); t18 = *((unsigned int *)t12); *((unsigned int *)t11) = (t17 | t18); goto LAB8; } static void Cont_31_1(char *t0) { char t3[8]; char *t1; char *t2; char *t4; unsigned int t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; char *t10; char *t11; char *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; char *t21; char *t22; char *t23; char *t24; char *t25; unsigned int t26; unsigned int t27; char *t28; unsigned int t29; unsigned int t30; char *t31; unsigned int t32; unsigned int t33; char *t34; LAB0: t1 = (t0 + 5896U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(31, ng0); t2 = (t0 + 4016U); t4 = *((char **)t2); memset(t3, 0, 8); t2 = (t4 + 4); t5 = *((unsigned int *)t2); t6 = (~(t5)); t7 = *((unsigned int *)t4); t8 = (t7 & t6); t9 = (t8 & 1U); if (t9 != 0) goto LAB7; LAB5: if (*((unsigned int *)t2) == 0) goto LAB4; LAB6: t10 = (t3 + 4); *((unsigned int *)t3) = 1; *((unsigned int *)t10) = 1; LAB7: t11 = (t3 + 4); t12 = (t4 + 4); t13 = *((unsigned int *)t4); t14 = (~(t13)); *((unsigned int *)t3) = t14; *((unsigned int *)t11) = 0; if (*((unsigned int *)t12) != 0) goto LAB9; LAB8: t19 = *((unsigned int *)t3); *((unsigned int *)t3) = (t19 & 1U); t20 = *((unsigned int *)t11); *((unsigned int *)t11) = (t20 & 1U); t21 = (t0 + 7696); t22 = (t21 + 56U); t23 = *((char **)t22); t24 = (t23 + 56U); t25 = *((char **)t24); memset(t25, 0, 8); t26 = 1U; t27 = t26; t28 = (t3 + 4); t29 = *((unsigned int *)t3); t26 = (t26 & t29); t30 = *((unsigned int *)t28); t27 = (t27 & t30); t31 = (t25 + 4); t32 = *((unsigned int *)t25); *((unsigned int *)t25) = (t32 | t26); t33 = *((unsigned int *)t31); *((unsigned int *)t31) = (t33 | t27); xsi_driver_vfirst_trans(t21, 0, 0); t34 = (t0 + 7472); *((int *)t34) = 1; LAB1: return; LAB4: *((unsigned int *)t3) = 1; goto LAB7; LAB9: t15 = *((unsigned int *)t3); t16 = *((unsigned int *)t12); *((unsigned int *)t3) = (t15 | t16); t17 = *((unsigned int *)t11); t18 = *((unsigned int *)t12); *((unsigned int *)t11) = (t17 | t18); goto LAB8; } static void Cont_36_2(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; unsigned int t10; unsigned int t11; char *t12; unsigned int t13; unsigned int t14; char *t15; unsigned int t16; unsigned int t17; char *t18; LAB0: t1 = (t0 + 6144U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(36, ng0); t2 = (t0 + 4576); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 7760); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memset(t9, 0, 8); t10 = 1U; t11 = t10; t12 = (t4 + 4); t13 = *((unsigned int *)t4); t10 = (t10 & t13); t14 = *((unsigned int *)t12); t11 = (t11 & t14); t15 = (t9 + 4); t16 = *((unsigned int *)t9); *((unsigned int *)t9) = (t16 | t10); t17 = *((unsigned int *)t15); *((unsigned int *)t15) = (t17 | t11); xsi_driver_vfirst_trans(t5, 0, 0); t18 = (t0 + 7488); *((int *)t18) = 1; LAB1: return; } static void Cont_38_3(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; unsigned int t10; unsigned int t11; char *t12; unsigned int t13; unsigned int t14; char *t15; unsigned int t16; unsigned int t17; char *t18; LAB0: t1 = (t0 + 6392U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(38, ng0); t2 = (t0 + 4416); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 7824); t6 = (t5 + 56U); t7 = *((char **)t6); t8 = (t7 + 56U); t9 = *((char **)t8); memset(t9, 0, 8); t10 = 1U; t11 = t10; t12 = (t4 + 4); t13 = *((unsigned int *)t4); t10 = (t10 & t13); t14 = *((unsigned int *)t12); t11 = (t11 & t14); t15 = (t9 + 4); t16 = *((unsigned int *)t9); *((unsigned int *)t9) = (t16 | t10); t17 = *((unsigned int *)t15); *((unsigned int *)t15) = (t17 | t11); xsi_driver_vfirst_trans(t5, 0, 0); t18 = (t0 + 7504); *((int *)t18) = 1; LAB1: return; } static void Always_40_4(char *t0) { char t13[8]; char t21[8]; char t35[8]; char t51[8]; char t59[8]; char t95[8]; char t111[8]; char t126[8]; char t142[8]; char t150[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; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; unsigned int t18; unsigned int t19; unsigned int t20; unsigned int t22; unsigned int t23; unsigned int t24; unsigned int t25; unsigned int t26; char *t27; char *t28; unsigned int t29; unsigned int t30; unsigned int t31; unsigned int t32; char *t33; char *t34; char *t36; char *t37; unsigned 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; char *t50; char *t52; unsigned int t53; unsigned int t54; unsigned int t55; unsigned int t56; unsigned int t57; char *t58; unsigned int t60; unsigned int t61; unsigned int t62; char *t63; char *t64; char *t65; unsigned int t66; unsigned int t67; unsigned int t68; unsigned int t69; unsigned int t70; unsigned int t71; unsigned int t72; char *t73; char *t74; unsigned int t75; unsigned int t76; unsigned int t77; int t78; unsigned int t79; unsigned int t80; unsigned int t81; int t82; unsigned int t83; unsigned int t84; unsigned int t85; unsigned int t86; char *t87; unsigned int t88; unsigned int t89; unsigned int t90; unsigned int t91; unsigned int t92; char *t93; char *t94; char *t96; char *t97; unsigned int t98; unsigned int t99; unsigned int t100; unsigned int t101; unsigned int t102; unsigned int t103; unsigned int t104; unsigned int t105; unsigned int t106; unsigned int t107; unsigned int t108; unsigned int t109; char *t110; char *t112; unsigned int t113; unsigned int t114; unsigned int t115; unsigned int t116; unsigned int t117; char *t118; char *t119; unsigned int t120; unsigned int t121; unsigned int t122; unsigned int t123; char *t124; char *t125; char *t127; char *t128; unsigned int t129; unsigned int t130; unsigned int t131; unsigned int t132; unsigned int t133; unsigned int t134; unsigned int t135; unsigned int t136; unsigned int t137; unsigned int t138; unsigned int t139; unsigned int t140; char *t141; char *t143; unsigned int t144; unsigned int t145; unsigned int t146; unsigned int t147; unsigned int t148; char *t149; unsigned int t151; unsigned int t152; unsigned int t153; char *t154; char *t155; char *t156; unsigned int t157; unsigned int t158; unsigned int t159; unsigned int t160; unsigned int t161; unsigned int t162; unsigned int t163; char *t164; char *t165; unsigned int t166; unsigned int t167; unsigned int t168; int t169; unsigned int t170; unsigned int t171; unsigned int t172; int t173; unsigned int t174; unsigned int t175; unsigned int t176; unsigned int t177; char *t178; LAB0: t1 = (t0 + 6640U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(40, ng0); t2 = (t0 + 7520); *((int *)t2) = 1; t3 = (t0 + 6672); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(40, ng0); LAB5: xsi_set_current_line(41, ng0); t4 = (t0 + 1616U); 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(43, ng0); t2 = (t0 + 2416U); 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 LAB9; LAB10: xsi_set_current_line(45, ng0); t2 = (t0 + 3056U); t3 = *((char **)t2); t2 = ((char*)((ng2))); memset(t13, 0, 8); t4 = (t3 + 4); t5 = (t2 + 4); t6 = *((unsigned int *)t3); t7 = *((unsigned int *)t2); t8 = (t6 ^ t7); t9 = *((unsigned int *)t4); t10 = *((unsigned int *)t5); t14 = (t9 ^ t10); t15 = (t8 | t14); t16 = *((unsigned int *)t4); t17 = *((unsigned int *)t5); t18 = (t16 | t17); t19 = (~(t18)); t20 = (t15 & t19); if (t20 != 0) goto LAB15; LAB12: if (t18 != 0) goto LAB14; LAB13: *((unsigned int *)t13) = 1; LAB15: memset(t21, 0, 8); t12 = (t13 + 4); t22 = *((unsigned int *)t12); t23 = (~(t22)); t24 = *((unsigned int *)t13); t25 = (t24 & t23); t26 = (t25 & 1U); if (t26 != 0) goto LAB16; LAB17: if (*((unsigned int *)t12) != 0) goto LAB18; LAB19: t28 = (t21 + 4); t29 = *((unsigned int *)t21); t30 = (!(t29)); t31 = *((unsigned int *)t28); t32 = (t30 || t31); if (t32 > 0) goto LAB20; LAB21: memcpy(t59, t21, 8); LAB22: t87 = (t59 + 4); t88 = *((unsigned int *)t87); t89 = (~(t88)); t90 = *((unsigned int *)t59); t91 = (t90 & t89); t92 = (t91 != 0); if (t92 > 0) goto LAB34; LAB35: LAB36: LAB11: LAB8: goto LAB2; LAB6: xsi_set_current_line(42, ng0); t11 = ((char*)((ng1))); t12 = (t0 + 4416); xsi_vlogvar_assign_value(t12, t11, 0, 0, 1); goto LAB8; LAB9: xsi_set_current_line(44, ng0); t4 = ((char*)((ng1))); t5 = (t0 + 4416); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); goto LAB11; LAB14: t11 = (t13 + 4); *((unsigned int *)t13) = 1; *((unsigned int *)t11) = 1; goto LAB15; LAB16: *((unsigned int *)t21) = 1; goto LAB19; LAB18: t27 = (t21 + 4); *((unsigned int *)t21) = 1; *((unsigned int *)t27) = 1; goto LAB19; LAB20: t33 = (t0 + 3056U); t34 = *((char **)t33); t33 = ((char*)((ng3))); memset(t35, 0, 8); t36 = (t34 + 4); t37 = (t33 + 4); t38 = *((unsigned int *)t34); t39 = *((unsigned int *)t33); t40 = (t38 ^ t39); t41 = *((unsigned int *)t36); t42 = *((unsigned int *)t37); t43 = (t41 ^ t42); t44 = (t40 | t43); t45 = *((unsigned int *)t36); t46 = *((unsigned int *)t37); t47 = (t45 | t46); t48 = (~(t47)); t49 = (t44 & t48); if (t49 != 0) goto LAB26; LAB23: if (t47 != 0) goto LAB25; LAB24: *((unsigned int *)t35) = 1; LAB26: memset(t51, 0, 8); t52 = (t35 + 4); t53 = *((unsigned int *)t52); t54 = (~(t53)); t55 = *((unsigned int *)t35); t56 = (t55 & t54); t57 = (t56 & 1U); if (t57 != 0) goto LAB27; LAB28: if (*((unsigned int *)t52) != 0) goto LAB29; LAB30: t60 = *((unsigned int *)t21); t61 = *((unsigned int *)t51); t62 = (t60 | t61); *((unsigned int *)t59) = t62; t63 = (t21 + 4); t64 = (t51 + 4); t65 = (t59 + 4); t66 = *((unsigned int *)t63); t67 = *((unsigned int *)t64); t68 = (t66 | t67); *((unsigned int *)t65) = t68; t69 = *((unsigned int *)t65); t70 = (t69 != 0); if (t70 == 1) goto LAB31; LAB32: LAB33: goto LAB22; LAB25: t50 = (t35 + 4); *((unsigned int *)t35) = 1; *((unsigned int *)t50) = 1; goto LAB26; LAB27: *((unsigned int *)t51) = 1; goto LAB30; LAB29: t58 = (t51 + 4); *((unsigned int *)t51) = 1; *((unsigned int *)t58) = 1; goto LAB30; LAB31: t71 = *((unsigned int *)t59); t72 = *((unsigned int *)t65); *((unsigned int *)t59) = (t71 | t72); t73 = (t21 + 4); t74 = (t51 + 4); t75 = *((unsigned int *)t73); t76 = (~(t75)); t77 = *((unsigned int *)t21); t78 = (t77 & t76); t79 = *((unsigned int *)t74); t80 = (~(t79)); t81 = *((unsigned int *)t51); t82 = (t81 & t80); t83 = (~(t78)); t84 = (~(t82)); t85 = *((unsigned int *)t65); *((unsigned int *)t65) = (t85 & t83); t86 = *((unsigned int *)t65); *((unsigned int *)t65) = (t86 & t84); goto LAB33; LAB34: xsi_set_current_line(46, ng0); t93 = (t0 + 3056U); t94 = *((char **)t93); t93 = ((char*)((ng2))); memset(t95, 0, 8); t96 = (t94 + 4); t97 = (t93 + 4); t98 = *((unsigned int *)t94); t99 = *((unsigned int *)t93); t100 = (t98 ^ t99); t101 = *((unsigned int *)t96); t102 = *((unsigned int *)t97); t103 = (t101 ^ t102); t104 = (t100 | t103); t105 = *((unsigned int *)t96); t106 = *((unsigned int *)t97); t107 = (t105 | t106); t108 = (~(t107)); t109 = (t104 & t108); if (t109 != 0) goto LAB40; LAB37: if (t107 != 0) goto LAB39; LAB38: *((unsigned int *)t95) = 1; LAB40: memset(t111, 0, 8); t112 = (t95 + 4); t113 = *((unsigned int *)t112); t114 = (~(t113)); t115 = *((unsigned int *)t95); t116 = (t115 & t114); t117 = (t116 & 1U); if (t117 != 0) goto LAB41; LAB42: if (*((unsigned int *)t112) != 0) goto LAB43; LAB44: t119 = (t111 + 4); t120 = *((unsigned int *)t111); t121 = (!(t120)); t122 = *((unsigned int *)t119); t123 = (t121 || t122); if (t123 > 0) goto LAB45; LAB46: memcpy(t150, t111, 8); LAB47: t178 = (t0 + 4416); xsi_vlogvar_assign_value(t178, t150, 0, 0, 1); goto LAB36; LAB39: t110 = (t95 + 4); *((unsigned int *)t95) = 1; *((unsigned int *)t110) = 1; goto LAB40; LAB41: *((unsigned int *)t111) = 1; goto LAB44; LAB43: t118 = (t111 + 4); *((unsigned int *)t111) = 1; *((unsigned int *)t118) = 1; goto LAB44; LAB45: t124 = (t0 + 3056U); t125 = *((char **)t124); t124 = ((char*)((ng3))); memset(t126, 0, 8); t127 = (t125 + 4); t128 = (t124 + 4); t129 = *((unsigned int *)t125); t130 = *((unsigned int *)t124); t131 = (t129 ^ t130); t132 = *((unsigned int *)t127); t133 = *((unsigned int *)t128); t134 = (t132 ^ t133); t135 = (t131 | t134); t136 = *((unsigned int *)t127); t137 = *((unsigned int *)t128); t138 = (t136 | t137); t139 = (~(t138)); t140 = (t135 & t139); if (t140 != 0) goto LAB51; LAB48: if (t138 != 0) goto LAB50; LAB49: *((unsigned int *)t126) = 1; LAB51: memset(t142, 0, 8); t143 = (t126 + 4); t144 = *((unsigned int *)t143); t145 = (~(t144)); t146 = *((unsigned int *)t126); t147 = (t146 & t145); t148 = (t147 & 1U); if (t148 != 0) goto LAB52; LAB53: if (*((unsigned int *)t143) != 0) goto LAB54; LAB55: t151 = *((unsigned int *)t111); t152 = *((unsigned int *)t142); t153 = (t151 | t152); *((unsigned int *)t150) = t153; t154 = (t111 + 4); t155 = (t142 + 4); t156 = (t150 + 4); t157 = *((unsigned int *)t154); t158 = *((unsigned int *)t155); t159 = (t157 | t158); *((unsigned int *)t156) = t159; t160 = *((unsigned int *)t156); t161 = (t160 != 0); if (t161 == 1) goto LAB56; LAB57: LAB58: goto LAB47; LAB50: t141 = (t126 + 4); *((unsigned int *)t126) = 1; *((unsigned int *)t141) = 1; goto LAB51; LAB52: *((unsigned int *)t142) = 1; goto LAB55; LAB54: t149 = (t142 + 4); *((unsigned int *)t142) = 1; *((unsigned int *)t149) = 1; goto LAB55; LAB56: t162 = *((unsigned int *)t150); t163 = *((unsigned int *)t156); *((unsigned int *)t150) = (t162 | t163); t164 = (t111 + 4); t165 = (t142 + 4); t166 = *((unsigned int *)t164); t167 = (~(t166)); t168 = *((unsigned int *)t111); t169 = (t168 & t167); t170 = *((unsigned int *)t165); t171 = (~(t170)); t172 = *((unsigned int *)t142); t173 = (t172 & t171); t174 = (~(t169)); t175 = (~(t173)); t176 = *((unsigned int *)t156); *((unsigned int *)t156) = (t176 & t174); t177 = *((unsigned int *)t156); *((unsigned int *)t156) = (t177 & t175); goto LAB58; } static void Always_51_5(char *t0) { char t6[8]; char t18[8]; char t36[8]; char t51[8]; char t65[8]; char t72[8]; char t104[8]; char t132[8]; char t140[8]; char t180[8]; char *t1; char *t2; char *t3; char *t4; char *t5; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; unsigned int t13; unsigned int t14; char *t15; char *t16; char *t17; char *t19; unsigned int t20; unsigned int t21; unsigned int 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; unsigned int t31; char *t32; char *t33; char *t34; char *t35; char *t37; unsigned 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; char *t50; char *t52; unsigned int t53; unsigned int t54; unsigned int t55; unsigned int t56; unsigned int t57; char *t58; char *t59; unsigned int t60; unsigned int t61; unsigned int t62; char *t63; char *t64; unsigned int t66; unsigned int t67; unsigned int t68; unsigned int t69; unsigned int t70; char *t71; unsigned int t73; unsigned int t74; unsigned int t75; char *t76; char *t77; char *t78; unsigned int t79; unsigned int t80; unsigned int t81; unsigned int t82; unsigned int t83; unsigned int t84; unsigned int t85; char *t86; char *t87; unsigned int t88; unsigned int t89; unsigned int t90; unsigned int t91; unsigned int t92; unsigned int t93; unsigned int t94; unsigned int t95; int t96; int t97; unsigned int t98; unsigned int t99; unsigned int t100; unsigned int t101; unsigned int t102; unsigned int t103; unsigned int t105; unsigned int t106; unsigned int t107; char *t108; char *t109; char *t110; unsigned int t111; unsigned int t112; unsigned int t113; unsigned int t114; unsigned int t115; unsigned int t116; unsigned int t117; char *t118; char *t119; unsigned int t120; unsigned int t121; unsigned int t122; int t123; unsigned int t124; unsigned int t125; unsigned int t126; int t127; unsigned int t128; unsigned int t129; unsigned int t130; unsigned int t131; char *t133; unsigned int t134; unsigned int t135; unsigned int t136; unsigned int t137; unsigned int t138; char *t139; unsigned int t141; unsigned int t142; unsigned int t143; char *t144; char *t145; char *t146; unsigned int t147; unsigned int t148; unsigned int t149; unsigned int t150; unsigned int t151; unsigned int t152; unsigned int t153; char *t154; char *t155; unsigned int t156; unsigned int t157; unsigned int t158; unsigned int t159; unsigned int t160; unsigned int t161; unsigned int t162; unsigned int t163; int t164; int t165; unsigned int t166; unsigned int t167; unsigned int t168; unsigned int t169; unsigned int t170; unsigned int t171; char *t172; unsigned int t173; unsigned int t174; unsigned int t175; unsigned int t176; unsigned int t177; char *t178; char *t179; char *t181; char *t182; char *t183; char *t184; char *t185; unsigned int t186; int t187; LAB0: t1 = (t0 + 6888U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(51, ng0); t2 = (t0 + 7536); *((int *)t2) = 1; t3 = (t0 + 6920); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(51, ng0); LAB5: xsi_set_current_line(52, ng0); t4 = ((char*)((ng1))); t5 = (t0 + 4736); xsi_vlogvar_assign_value(t5, t4, 0, 0, 2); xsi_set_current_line(54, ng0); t2 = (t0 + 3376U); t3 = *((char **)t2); memset(t6, 0, 8); t2 = (t3 + 4); t7 = *((unsigned int *)t2); t8 = (~(t7)); t9 = *((unsigned int *)t3); t10 = (t9 & t8); t11 = (t10 & 1U); if (t11 != 0) goto LAB6; LAB7: if (*((unsigned int *)t2) != 0) goto LAB8; LAB9: t5 = (t6 + 4); t12 = *((unsigned int *)t6); t13 = *((unsigned int *)t5); t14 = (t12 || t13); if (t14 > 0) goto LAB10; LAB11: memcpy(t140, t6, 8); LAB12: t172 = (t140 + 4); t173 = *((unsigned int *)t172); t174 = (~(t173)); t175 = *((unsigned int *)t140); t176 = (t175 & t174); t177 = (t176 != 0); if (t177 > 0) goto LAB45; LAB46: xsi_set_current_line(56, ng0); t2 = (t0 + 3536U); t3 = *((char **)t2); memset(t6, 0, 8); t2 = (t3 + 4); t7 = *((unsigned int *)t2); t8 = (~(t7)); t9 = *((unsigned int *)t3); t10 = (t9 & t8); t11 = (t10 & 1U); if (t11 != 0) goto LAB50; LAB51: if (*((unsigned int *)t2) != 0) goto LAB52; LAB53: t5 = (t6 + 4); t12 = *((unsigned int *)t6); t13 = *((unsigned int *)t5); t14 = (t12 || t13); if (t14 > 0) goto LAB54; LAB55: memcpy(t140, t6, 8); LAB56: t172 = (t140 + 4); t173 = *((unsigned int *)t172); t174 = (~(t173)); t175 = *((unsigned int *)t140); t176 = (t175 & t174); t177 = (t176 != 0); if (t177 > 0) goto LAB89; LAB90: LAB91: LAB47: goto LAB2; LAB6: *((unsigned int *)t6) = 1; goto LAB9; LAB8: t4 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t4) = 1; goto LAB9; LAB10: t15 = (t0 + 2096U); t16 = *((char **)t15); t15 = (t0 + 1776U); t17 = *((char **)t15); memset(t18, 0, 8); t15 = (t16 + 4); t19 = (t17 + 4); t20 = *((unsigned int *)t16); t21 = *((unsigned int *)t17); t22 = (t20 ^ t21); t23 = *((unsigned int *)t15); t24 = *((unsigned int *)t19); t25 = (t23 ^ t24); t26 = (t22 | t25); t27 = *((unsigned int *)t15); t28 = *((unsigned int *)t19); t29 = (t27 | t28); t30 = (~(t29)); t31 = (t26 & t30); if (t31 != 0) goto LAB16; LAB13: if (t29 != 0) goto LAB15; LAB14: *((unsigned int *)t18) = 1; LAB16: t33 = (t0 + 2256U); t34 = *((char **)t33); t33 = (t0 + 1776U); t35 = *((char **)t33); memset(t36, 0, 8); t33 = (t34 + 4); t37 = (t35 + 4); t38 = *((unsigned int *)t34); t39 = *((unsigned int *)t35); t40 = (t38 ^ t39); t41 = *((unsigned int *)t33); t42 = *((unsigned int *)t37); t43 = (t41 ^ t42); t44 = (t40 | t43); t45 = *((unsigned int *)t33); t46 = *((unsigned int *)t37); t47 = (t45 | t46); t48 = (~(t47)); t49 = (t44 & t48); if (t49 != 0) goto LAB20; LAB17: if (t47 != 0) goto LAB19; LAB18: *((unsigned int *)t36) = 1; LAB20: memset(t51, 0, 8); t52 = (t36 + 4); t53 = *((unsigned int *)t52); t54 = (~(t53)); t55 = *((unsigned int *)t36); t56 = (t55 & t54); t57 = (t56 & 1U); if (t57 != 0) goto LAB21; LAB22: if (*((unsigned int *)t52) != 0) goto LAB23; LAB24: t59 = (t51 + 4); t60 = *((unsigned int *)t51); t61 = *((unsigned int *)t59); t62 = (t60 || t61); if (t62 > 0) goto LAB25; LAB26: memcpy(t72, t51, 8); LAB27: t105 = *((unsigned int *)t18); t106 = *((unsigned int *)t72); t107 = (t105 | t106); *((unsigned int *)t104) = t107; t108 = (t18 + 4); t109 = (t72 + 4); t110 = (t104 + 4); t111 = *((unsigned int *)t108); t112 = *((unsigned int *)t109); t113 = (t111 | t112); *((unsigned int *)t110) = t113; t114 = *((unsigned int *)t110); t115 = (t114 != 0); if (t115 == 1) goto LAB35; LAB36: LAB37: memset(t132, 0, 8); t133 = (t104 + 4); t134 = *((unsigned int *)t133); t135 = (~(t134)); t136 = *((unsigned int *)t104); t137 = (t136 & t135); t138 = (t137 & 1U); if (t138 != 0) goto LAB38; LAB39: if (*((unsigned int *)t133) != 0) goto LAB40; LAB41: t141 = *((unsigned int *)t6); t142 = *((unsigned int *)t132); t143 = (t141 & t142); *((unsigned int *)t140) = t143; t144 = (t6 + 4); t145 = (t132 + 4); t146 = (t140 + 4); t147 = *((unsigned int *)t144); t148 = *((unsigned int *)t145); t149 = (t147 | t148); *((unsigned int *)t146) = t149; t150 = *((unsigned int *)t146); t151 = (t150 != 0); if (t151 == 1) goto LAB42; LAB43: LAB44: goto LAB12; LAB15: t32 = (t18 + 4); *((unsigned int *)t18) = 1; *((unsigned int *)t32) = 1; goto LAB16; LAB19: t50 = (t36 + 4); *((unsigned int *)t36) = 1; *((unsigned int *)t50) = 1; goto LAB20; LAB21: *((unsigned int *)t51) = 1; goto LAB24; LAB23: t58 = (t51 + 4); *((unsigned int *)t51) = 1; *((unsigned int *)t58) = 1; goto LAB24; LAB25: t63 = (t0 + 3216U); t64 = *((char **)t63); memset(t65, 0, 8); t63 = (t64 + 4); t66 = *((unsigned int *)t63); t67 = (~(t66)); t68 = *((unsigned int *)t64); t69 = (t68 & t67); t70 = (t69 & 1U); if (t70 != 0) goto LAB28; LAB29: if (*((unsigned int *)t63) != 0) goto LAB30; LAB31: t73 = *((unsigned int *)t51); t74 = *((unsigned int *)t65); t75 = (t73 & t74); *((unsigned int *)t72) = t75; t76 = (t51 + 4); t77 = (t65 + 4); t78 = (t72 + 4); t79 = *((unsigned int *)t76); t80 = *((unsigned int *)t77); t81 = (t79 | t80); *((unsigned int *)t78) = t81; t82 = *((unsigned int *)t78); t83 = (t82 != 0); if (t83 == 1) goto LAB32; LAB33: LAB34: goto LAB27; LAB28: *((unsigned int *)t65) = 1; goto LAB31; LAB30: t71 = (t65 + 4); *((unsigned int *)t65) = 1; *((unsigned int *)t71) = 1; goto LAB31; LAB32: t84 = *((unsigned int *)t72); t85 = *((unsigned int *)t78); *((unsigned int *)t72) = (t84 | t85); t86 = (t51 + 4); t87 = (t65 + 4); t88 = *((unsigned int *)t51); t89 = (~(t88)); t90 = *((unsigned int *)t86); t91 = (~(t90)); t92 = *((unsigned int *)t65); t93 = (~(t92)); t94 = *((unsigned int *)t87); t95 = (~(t94)); t96 = (t89 & t91); t97 = (t93 & t95); t98 = (~(t96)); t99 = (~(t97)); t100 = *((unsigned int *)t78); *((unsigned int *)t78) = (t100 & t98); t101 = *((unsigned int *)t78); *((unsigned int *)t78) = (t101 & t99); t102 = *((unsigned int *)t72); *((unsigned int *)t72) = (t102 & t98); t103 = *((unsigned int *)t72); *((unsigned int *)t72) = (t103 & t99); goto LAB34; LAB35: t116 = *((unsigned int *)t104); t117 = *((unsigned int *)t110); *((unsigned int *)t104) = (t116 | t117); t118 = (t18 + 4); t119 = (t72 + 4); t120 = *((unsigned int *)t118); t121 = (~(t120)); t122 = *((unsigned int *)t18); t123 = (t122 & t121); t124 = *((unsigned int *)t119); t125 = (~(t124)); t126 = *((unsigned int *)t72); t127 = (t126 & t125); t128 = (~(t123)); t129 = (~(t127)); t130 = *((unsigned int *)t110); *((unsigned int *)t110) = (t130 & t128); t131 = *((unsigned int *)t110); *((unsigned int *)t110) = (t131 & t129); goto LAB37; LAB38: *((unsigned int *)t132) = 1; goto LAB41; LAB40: t139 = (t132 + 4); *((unsigned int *)t132) = 1; *((unsigned int *)t139) = 1; goto LAB41; LAB42: t152 = *((unsigned int *)t140); t153 = *((unsigned int *)t146); *((unsigned int *)t140) = (t152 | t153); t154 = (t6 + 4); t155 = (t132 + 4); t156 = *((unsigned int *)t6); t157 = (~(t156)); t158 = *((unsigned int *)t154); t159 = (~(t158)); t160 = *((unsigned int *)t132); t161 = (~(t160)); t162 = *((unsigned int *)t155); t163 = (~(t162)); t164 = (t157 & t159); t165 = (t161 & t163); t166 = (~(t164)); t167 = (~(t165)); t168 = *((unsigned int *)t146); *((unsigned int *)t146) = (t168 & t166); t169 = *((unsigned int *)t146); *((unsigned int *)t146) = (t169 & t167); t170 = *((unsigned int *)t140); *((unsigned int *)t140) = (t170 & t166); t171 = *((unsigned int *)t140); *((unsigned int *)t140) = (t171 & t167); goto LAB44; LAB45: xsi_set_current_line(55, ng0); t178 = ((char*)((ng4))); t179 = (t0 + 4736); t181 = (t0 + 4736); t182 = (t181 + 72U); t183 = *((char **)t182); t184 = ((char*)((ng1))); xsi_vlog_generic_convert_bit_index(t180, t183, 2, t184, 32, 1); t185 = (t180 + 4); t186 = *((unsigned int *)t185); t187 = (!(t186)); if (t187 == 1) goto LAB48; LAB49: goto LAB47; LAB48: xsi_vlogvar_assign_value(t179, t178, 0, *((unsigned int *)t180), 1); goto LAB49; LAB50: *((unsigned int *)t6) = 1; goto LAB53; LAB52: t4 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t4) = 1; goto LAB53; LAB54: t15 = (t0 + 2096U); t16 = *((char **)t15); t15 = (t0 + 1936U); t17 = *((char **)t15); memset(t18, 0, 8); t15 = (t16 + 4); t19 = (t17 + 4); t20 = *((unsigned int *)t16); t21 = *((unsigned int *)t17); t22 = (t20 ^ t21); t23 = *((unsigned int *)t15); t24 = *((unsigned int *)t19); t25 = (t23 ^ t24); t26 = (t22 | t25); t27 = *((unsigned int *)t15); t28 = *((unsigned int *)t19); t29 = (t27 | t28); t30 = (~(t29)); t31 = (t26 & t30); if (t31 != 0) goto LAB60; LAB57: if (t29 != 0) goto LAB59; LAB58: *((unsigned int *)t18) = 1; LAB60: t33 = (t0 + 2256U); t34 = *((char **)t33); t33 = (t0 + 1936U); t35 = *((char **)t33); memset(t36, 0, 8); t33 = (t34 + 4); t37 = (t35 + 4); t38 = *((unsigned int *)t34); t39 = *((unsigned int *)t35); t40 = (t38 ^ t39); t41 = *((unsigned int *)t33); t42 = *((unsigned int *)t37); t43 = (t41 ^ t42); t44 = (t40 | t43); t45 = *((unsigned int *)t33); t46 = *((unsigned int *)t37); t47 = (t45 | t46); t48 = (~(t47)); t49 = (t44 & t48); if (t49 != 0) goto LAB64; LAB61: if (t47 != 0) goto LAB63; LAB62: *((unsigned int *)t36) = 1; LAB64: memset(t51, 0, 8); t52 = (t36 + 4); t53 = *((unsigned int *)t52); t54 = (~(t53)); t55 = *((unsigned int *)t36); t56 = (t55 & t54); t57 = (t56 & 1U); if (t57 != 0) goto LAB65; LAB66: if (*((unsigned int *)t52) != 0) goto LAB67; LAB68: t59 = (t51 + 4); t60 = *((unsigned int *)t51); t61 = *((unsigned int *)t59); t62 = (t60 || t61); if (t62 > 0) goto LAB69; LAB70: memcpy(t72, t51, 8); LAB71: t105 = *((unsigned int *)t18); t106 = *((unsigned int *)t72); t107 = (t105 | t106); *((unsigned int *)t104) = t107; t108 = (t18 + 4); t109 = (t72 + 4); t110 = (t104 + 4); t111 = *((unsigned int *)t108); t112 = *((unsigned int *)t109); t113 = (t111 | t112); *((unsigned int *)t110) = t113; t114 = *((unsigned int *)t110); t115 = (t114 != 0); if (t115 == 1) goto LAB79; LAB80: LAB81: memset(t132, 0, 8); t133 = (t104 + 4); t134 = *((unsigned int *)t133); t135 = (~(t134)); t136 = *((unsigned int *)t104); t137 = (t136 & t135); t138 = (t137 & 1U); if (t138 != 0) goto LAB82; LAB83: if (*((unsigned int *)t133) != 0) goto LAB84; LAB85: t141 = *((unsigned int *)t6); t142 = *((unsigned int *)t132); t143 = (t141 & t142); *((unsigned int *)t140) = t143; t144 = (t6 + 4); t145 = (t132 + 4); t146 = (t140 + 4); t147 = *((unsigned int *)t144); t148 = *((unsigned int *)t145); t149 = (t147 | t148); *((unsigned int *)t146) = t149; t150 = *((unsigned int *)t146); t151 = (t150 != 0); if (t151 == 1) goto LAB86; LAB87: LAB88: goto LAB56; LAB59: t32 = (t18 + 4); *((unsigned int *)t18) = 1; *((unsigned int *)t32) = 1; goto LAB60; LAB63: t50 = (t36 + 4); *((unsigned int *)t36) = 1; *((unsigned int *)t50) = 1; goto LAB64; LAB65: *((unsigned int *)t51) = 1; goto LAB68; LAB67: t58 = (t51 + 4); *((unsigned int *)t51) = 1; *((unsigned int *)t58) = 1; goto LAB68; LAB69: t63 = (t0 + 3216U); t64 = *((char **)t63); memset(t65, 0, 8); t63 = (t64 + 4); t66 = *((unsigned int *)t63); t67 = (~(t66)); t68 = *((unsigned int *)t64); t69 = (t68 & t67); t70 = (t69 & 1U); if (t70 != 0) goto LAB72; LAB73: if (*((unsigned int *)t63) != 0) goto LAB74; LAB75: t73 = *((unsigned int *)t51); t74 = *((unsigned int *)t65); t75 = (t73 & t74); *((unsigned int *)t72) = t75; t76 = (t51 + 4); t77 = (t65 + 4); t78 = (t72 + 4); t79 = *((unsigned int *)t76); t80 = *((unsigned int *)t77); t81 = (t79 | t80); *((unsigned int *)t78) = t81; t82 = *((unsigned int *)t78); t83 = (t82 != 0); if (t83 == 1) goto LAB76; LAB77: LAB78: goto LAB71; LAB72: *((unsigned int *)t65) = 1; goto LAB75; LAB74: t71 = (t65 + 4); *((unsigned int *)t65) = 1; *((unsigned int *)t71) = 1; goto LAB75; LAB76: t84 = *((unsigned int *)t72); t85 = *((unsigned int *)t78); *((unsigned int *)t72) = (t84 | t85); t86 = (t51 + 4); t87 = (t65 + 4); t88 = *((unsigned int *)t51); t89 = (~(t88)); t90 = *((unsigned int *)t86); t91 = (~(t90)); t92 = *((unsigned int *)t65); t93 = (~(t92)); t94 = *((unsigned int *)t87); t95 = (~(t94)); t96 = (t89 & t91); t97 = (t93 & t95); t98 = (~(t96)); t99 = (~(t97)); t100 = *((unsigned int *)t78); *((unsigned int *)t78) = (t100 & t98); t101 = *((unsigned int *)t78); *((unsigned int *)t78) = (t101 & t99); t102 = *((unsigned int *)t72); *((unsigned int *)t72) = (t102 & t98); t103 = *((unsigned int *)t72); *((unsigned int *)t72) = (t103 & t99); goto LAB78; LAB79: t116 = *((unsigned int *)t104); t117 = *((unsigned int *)t110); *((unsigned int *)t104) = (t116 | t117); t118 = (t18 + 4); t119 = (t72 + 4); t120 = *((unsigned int *)t118); t121 = (~(t120)); t122 = *((unsigned int *)t18); t123 = (t122 & t121); t124 = *((unsigned int *)t119); t125 = (~(t124)); t126 = *((unsigned int *)t72); t127 = (t126 & t125); t128 = (~(t123)); t129 = (~(t127)); t130 = *((unsigned int *)t110); *((unsigned int *)t110) = (t130 & t128); t131 = *((unsigned int *)t110); *((unsigned int *)t110) = (t131 & t129); goto LAB81; LAB82: *((unsigned int *)t132) = 1; goto LAB85; LAB84: t139 = (t132 + 4); *((unsigned int *)t132) = 1; *((unsigned int *)t139) = 1; goto LAB85; LAB86: t152 = *((unsigned int *)t140); t153 = *((unsigned int *)t146); *((unsigned int *)t140) = (t152 | t153); t154 = (t6 + 4); t155 = (t132 + 4); t156 = *((unsigned int *)t6); t157 = (~(t156)); t158 = *((unsigned int *)t154); t159 = (~(t158)); t160 = *((unsigned int *)t132); t161 = (~(t160)); t162 = *((unsigned int *)t155); t163 = (~(t162)); t164 = (t157 & t159); t165 = (t161 & t163); t166 = (~(t164)); t167 = (~(t165)); t168 = *((unsigned int *)t146); *((unsigned int *)t146) = (t168 & t166); t169 = *((unsigned int *)t146); *((unsigned int *)t146) = (t169 & t167); t170 = *((unsigned int *)t140); *((unsigned int *)t140) = (t170 & t166); t171 = *((unsigned int *)t140); *((unsigned int *)t140) = (t171 & t167); goto LAB88; LAB89: xsi_set_current_line(57, ng0); t178 = ((char*)((ng4))); t179 = (t0 + 4736); t181 = (t0 + 4736); t182 = (t181 + 72U); t183 = *((char **)t182); t184 = ((char*)((ng5))); xsi_vlog_generic_convert_bit_index(t180, t183, 2, t184, 32, 1); t185 = (t180 + 4); t186 = *((unsigned int *)t185); t187 = (!(t186)); if (t187 == 1) goto LAB92; LAB93: goto LAB91; LAB92: xsi_vlogvar_assign_value(t179, t178, 0, *((unsigned int *)t180), 1); goto LAB93; } static void Always_60_6(char *t0) { char t6[8]; char t22[8]; char t38[8]; char t52[8]; char t68[8]; char t76[8]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; unsigned int t13; char *t14; unsigned int t15; unsigned int t16; unsigned int t17; unsigned int t18; unsigned int t19; char *t20; char *t21; char *t23; char *t24; unsigned int t25; unsigned int t26; unsigned int t27; unsigned int t28; unsigned int t29; unsigned int t30; unsigned int t31; unsigned int t32; unsigned int t33; unsigned int t34; unsigned int t35; unsigned int t36; char *t37; char *t39; unsigned int t40; unsigned int t41; unsigned int t42; unsigned int t43; unsigned int t44; char *t45; char *t46; unsigned int t47; unsigned int t48; unsigned int t49; char *t50; char *t51; char *t53; char *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; char *t67; char *t69; unsigned int t70; unsigned int t71; unsigned int t72; unsigned int t73; unsigned int t74; char *t75; unsigned int t77; unsigned int t78; unsigned int t79; char *t80; char *t81; char *t82; unsigned int t83; unsigned int t84; unsigned int t85; unsigned int t86; unsigned int t87; unsigned int t88; unsigned int t89; char *t90; char *t91; unsigned int t92; unsigned int t93; unsigned int t94; unsigned int t95; unsigned int t96; unsigned int t97; unsigned int t98; unsigned int t99; int t100; int t101; unsigned int t102; unsigned int t103; unsigned int t104; unsigned int t105; unsigned int t106; unsigned int t107; char *t108; unsigned int t109; unsigned int t110; unsigned int t111; unsigned int t112; unsigned int t113; char *t114; char *t115; LAB0: t1 = (t0 + 7136U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(60, ng0); t2 = (t0 + 7552); *((int *)t2) = 1; t3 = (t0 + 7168); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(60, ng0); LAB5: xsi_set_current_line(61, ng0); t4 = ((char*)((ng1))); t5 = (t0 + 4576); xsi_vlogvar_assign_value(t5, t4, 0, 0, 1); xsi_set_current_line(63, ng0); t2 = (t0 + 4736); t3 = (t2 + 56U); t4 = *((char **)t3); memset(t6, 0, 8); t5 = (t6 + 4); t7 = (t4 + 4); t8 = *((unsigned int *)t4); t9 = (t8 >> 0); t10 = (t9 & 1); *((unsigned int *)t6) = t10; t11 = *((unsigned int *)t7); t12 = (t11 >> 0); t13 = (t12 & 1); *((unsigned int *)t5) = t13; t14 = (t6 + 4); t15 = *((unsigned int *)t14); t16 = (~(t15)); t17 = *((unsigned int *)t6); t18 = (t17 & t16); t19 = (t18 != 0); if (t19 > 0) goto LAB6; LAB7: xsi_set_current_line(71, ng0); t2 = (t0 + 4736); t3 = (t2 + 56U); t4 = *((char **)t3); memset(t6, 0, 8); t5 = (t6 + 4); t7 = (t4 + 4); t8 = *((unsigned int *)t4); t9 = (t8 >> 1); t10 = (t9 & 1); *((unsigned int *)t6) = t10; t11 = *((unsigned int *)t7); t12 = (t11 >> 1); t13 = (t12 & 1); *((unsigned int *)t5) = t13; t14 = (t6 + 4); t15 = *((unsigned int *)t14); t16 = (~(t15)); t17 = *((unsigned int *)t6); t18 = (t17 & t16); t19 = (t18 != 0); if (t19 > 0) goto LAB85; LAB86: LAB87: LAB8: goto LAB2; LAB6: xsi_set_current_line(63, ng0); LAB9: xsi_set_current_line(64, ng0); t20 = (t0 + 3056U); t21 = *((char **)t20); t20 = ((char*)((ng6))); memset(t22, 0, 8); t23 = (t21 + 4); t24 = (t20 + 4); t25 = *((unsigned int *)t21); t26 = *((unsigned int *)t20); t27 = (t25 ^ t26); t28 = *((unsigned int *)t23); t29 = *((unsigned int *)t24); t30 = (t28 ^ t29); t31 = (t27 | t30); t32 = *((unsigned int *)t23); t33 = *((unsigned int *)t24); t34 = (t32 | t33); t35 = (~(t34)); t36 = (t31 & t35); if (t36 != 0) goto LAB13; LAB10: if (t34 != 0) goto LAB12; LAB11: *((unsigned int *)t22) = 1; LAB13: memset(t38, 0, 8); t39 = (t22 + 4); t40 = *((unsigned int *)t39); t41 = (~(t40)); t42 = *((unsigned int *)t22); t43 = (t42 & t41); t44 = (t43 & 1U); if (t44 != 0) goto LAB14; LAB15: if (*((unsigned int *)t39) != 0) goto LAB16; LAB17: t46 = (t38 + 4); t47 = *((unsigned int *)t38); t48 = *((unsigned int *)t46); t49 = (t47 || t48); if (t49 > 0) goto LAB18; LAB19: memcpy(t76, t38, 8); LAB20: t108 = (t76 + 4); t109 = *((unsigned int *)t108); t110 = (~(t109)); t111 = *((unsigned int *)t76); t112 = (t111 & t110); t113 = (t112 != 0); if (t113 > 0) goto LAB32; LAB33: xsi_set_current_line(66, ng0); t2 = (t0 + 3056U); t3 = *((char **)t2); t2 = ((char*)((ng6))); memset(t6, 0, 8); t4 = (t3 + 4); t5 = (t2 + 4); t8 = *((unsigned int *)t3); t9 = *((unsigned int *)t2); t10 = (t8 ^ t9); t11 = *((unsigned int *)t4); t12 = *((unsigned int *)t5); t13 = (t11 ^ t12); t15 = (t10 | t13); t16 = *((unsigned int *)t4); t17 = *((unsigned int *)t5); t18 = (t16 | t17); t19 = (~(t18)); t25 = (t15 & t19); if (t25 != 0) goto LAB38; LAB35: if (t18 != 0) goto LAB37; LAB36: *((unsigned int *)t6) = 1; LAB38: memset(t22, 0, 8); t14 = (t6 + 4); t26 = *((unsigned int *)t14); t27 = (~(t26)); t28 = *((unsigned int *)t6); t29 = (t28 & t27); t30 = (t29 & 1U); if (t30 != 0) goto LAB39; LAB40: if (*((unsigned int *)t14) != 0) goto LAB41; LAB42: t21 = (t22 + 4); t31 = *((unsigned int *)t22); t32 = *((unsigned int *)t21); t33 = (t31 || t32); if (t33 > 0) goto LAB43; LAB44: memcpy(t68, t22, 8); LAB45: t75 = (t68 + 4); t95 = *((unsigned int *)t75); t96 = (~(t95)); t97 = *((unsigned int *)t68); t98 = (t97 & t96); t99 = (t98 != 0); if (t99 > 0) goto LAB57; LAB58: xsi_set_current_line(68, ng0); t2 = (t0 + 3056U); t3 = *((char **)t2); t2 = ((char*)((ng6))); memset(t6, 0, 8); t4 = (t3 + 4); t5 = (t2 + 4); t8 = *((unsigned int *)t3); t9 = *((unsigned int *)t2); t10 = (t8 ^ t9); t11 = *((unsigned int *)t4); t12 = *((unsigned int *)t5); t13 = (t11 ^ t12); t15 = (t10 | t13); t16 = *((unsigned int *)t4); t17 = *((unsigned int *)t5); t18 = (t16 | t17); t19 = (~(t18)); t25 = (t15 & t19); if (t25 != 0) goto LAB61; LAB60: if (t18 != 0) goto LAB62; LAB63: memset(t22, 0, 8); t14 = (t6 + 4); t26 = *((unsigned int *)t14); t27 = (~(t26)); t28 = *((unsigned int *)t6); t29 = (t28 & t27); t30 = (t29 & 1U); if (t30 != 0) goto LAB64; LAB65: if (*((unsigned int *)t14) != 0) goto LAB66; LAB67: t21 = (t22 + 4); t31 = *((unsigned int *)t22); t32 = *((unsigned int *)t21); t33 = (t31 || t32); if (t33 > 0) goto LAB68; LAB69: memcpy(t68, t22, 8); LAB70: t75 = (t68 + 4); t95 = *((unsigned int *)t75); t96 = (~(t95)); t97 = *((unsigned int *)t68); t98 = (t97 & t96); t99 = (t98 != 0); if (t99 > 0) goto LAB82; LAB83: LAB84: LAB59: LAB34: goto LAB8; LAB12: t37 = (t22 + 4); *((unsigned int *)t22) = 1; *((unsigned int *)t37) = 1; goto LAB13; LAB14: *((unsigned int *)t38) = 1; goto LAB17; LAB16: t45 = (t38 + 4); *((unsigned int *)t38) = 1; *((unsigned int *)t45) = 1; goto LAB17; LAB18: t50 = (t0 + 2896U); t51 = *((char **)t50); t50 = ((char*)((ng2))); memset(t52, 0, 8); t53 = (t51 + 4); t54 = (t50 + 4); t55 = *((unsigned int *)t51); t56 = *((unsigned int *)t50); t57 = (t55 ^ t56); t58 = *((unsigned int *)t53); t59 = *((unsigned int *)t54); t60 = (t58 ^ t59); t61 = (t57 | t60); t62 = *((unsigned int *)t53); t63 = *((unsigned int *)t54); t64 = (t62 | t63); t65 = (~(t64)); t66 = (t61 & t65); if (t66 != 0) goto LAB24; LAB21: if (t64 != 0) goto LAB23; LAB22: *((unsigned int *)t52) = 1; LAB24: memset(t68, 0, 8); t69 = (t52 + 4); t70 = *((unsigned int *)t69); t71 = (~(t70)); t72 = *((unsigned int *)t52); t73 = (t72 & t71); t74 = (t73 & 1U); if (t74 != 0) goto LAB25; LAB26: if (*((unsigned int *)t69) != 0) goto LAB27; LAB28: t77 = *((unsigned int *)t38); t78 = *((unsigned int *)t68); t79 = (t77 & t78); *((unsigned int *)t76) = t79; t80 = (t38 + 4); t81 = (t68 + 4); t82 = (t76 + 4); t83 = *((unsigned int *)t80); t84 = *((unsigned int *)t81); t85 = (t83 | t84); *((unsigned int *)t82) = t85; t86 = *((unsigned int *)t82); t87 = (t86 != 0); if (t87 == 1) goto LAB29; LAB30: LAB31: goto LAB20; LAB23: t67 = (t52 + 4); *((unsigned int *)t52) = 1; *((unsigned int *)t67) = 1; goto LAB24; LAB25: *((unsigned int *)t68) = 1; goto LAB28; LAB27: t75 = (t68 + 4); *((unsigned int *)t68) = 1; *((unsigned int *)t75) = 1; goto LAB28; LAB29: t88 = *((unsigned int *)t76); t89 = *((unsigned int *)t82); *((unsigned int *)t76) = (t88 | t89); t90 = (t38 + 4); t91 = (t68 + 4); t92 = *((unsigned int *)t38); t93 = (~(t92)); t94 = *((unsigned int *)t90); t95 = (~(t94)); t96 = *((unsigned int *)t68); t97 = (~(t96)); t98 = *((unsigned int *)t91); t99 = (~(t98)); t100 = (t93 & t95); t101 = (t97 & t99); t102 = (~(t100)); t103 = (~(t101)); t104 = *((unsigned int *)t82); *((unsigned int *)t82) = (t104 & t102); t105 = *((unsigned int *)t82); *((unsigned int *)t82) = (t105 & t103); t106 = *((unsigned int *)t76); *((unsigned int *)t76) = (t106 & t102); t107 = *((unsigned int *)t76); *((unsigned int *)t76) = (t107 & t103); goto LAB31; LAB32: xsi_set_current_line(65, ng0); t114 = ((char*)((ng5))); t115 = (t0 + 4576); xsi_vlogvar_assign_value(t115, t114, 0, 0, 1); goto LAB34; LAB37: t7 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t7) = 1; goto LAB38; LAB39: *((unsigned int *)t22) = 1; goto LAB42; LAB41: t20 = (t22 + 4); *((unsigned int *)t22) = 1; *((unsigned int *)t20) = 1; goto LAB42; LAB43: t23 = (t0 + 2896U); t24 = *((char **)t23); t23 = ((char*)((ng2))); memset(t38, 0, 8); t37 = (t24 + 4); t39 = (t23 + 4); t34 = *((unsigned int *)t24); t35 = *((unsigned int *)t23); t36 = (t34 ^ t35); t40 = *((unsigned int *)t37); t41 = *((unsigned int *)t39); t42 = (t40 ^ t41); t43 = (t36 | t42); t44 = *((unsigned int *)t37); t47 = *((unsigned int *)t39); t48 = (t44 | t47); t49 = (~(t48)); t55 = (t43 & t49); if (t55 != 0) goto LAB47; LAB46: if (t48 != 0) goto LAB48; LAB49: memset(t52, 0, 8); t46 = (t38 + 4); t56 = *((unsigned int *)t46); t57 = (~(t56)); t58 = *((unsigned int *)t38); t59 = (t58 & t57); t60 = (t59 & 1U); if (t60 != 0) goto LAB50; LAB51: if (*((unsigned int *)t46) != 0) goto LAB52; LAB53: t61 = *((unsigned int *)t22); t62 = *((unsigned int *)t52); t63 = (t61 & t62); *((unsigned int *)t68) = t63; t51 = (t22 + 4); t53 = (t52 + 4); t54 = (t68 + 4); t64 = *((unsigned int *)t51); t65 = *((unsigned int *)t53); t66 = (t64 | t65); *((unsigned int *)t54) = t66; t70 = *((unsigned int *)t54); t71 = (t70 != 0); if (t71 == 1) goto LAB54; LAB55: LAB56: goto LAB45; LAB47: *((unsigned int *)t38) = 1; goto LAB49; LAB48: t45 = (t38 + 4); *((unsigned int *)t38) = 1; *((unsigned int *)t45) = 1; goto LAB49; LAB50: *((unsigned int *)t52) = 1; goto LAB53; LAB52: t50 = (t52 + 4); *((unsigned int *)t52) = 1; *((unsigned int *)t50) = 1; goto LAB53; LAB54: t72 = *((unsigned int *)t68); t73 = *((unsigned int *)t54); *((unsigned int *)t68) = (t72 | t73); t67 = (t22 + 4); t69 = (t52 + 4); t74 = *((unsigned int *)t22); t77 = (~(t74)); t78 = *((unsigned int *)t67); t79 = (~(t78)); t83 = *((unsigned int *)t52); t84 = (~(t83)); t85 = *((unsigned int *)t69); t86 = (~(t85)); t100 = (t77 & t79); t101 = (t84 & t86); t87 = (~(t100)); t88 = (~(t101)); t89 = *((unsigned int *)t54); *((unsigned int *)t54) = (t89 & t87); t92 = *((unsigned int *)t54); *((unsigned int *)t54) = (t92 & t88); t93 = *((unsigned int *)t68); *((unsigned int *)t68) = (t93 & t87); t94 = *((unsigned int *)t68); *((unsigned int *)t68) = (t94 & t88); goto LAB56; LAB57: xsi_set_current_line(67, ng0); t80 = ((char*)((ng5))); t81 = (t0 + 4576); xsi_vlogvar_assign_value(t81, t80, 0, 0, 1); goto LAB59; LAB61: *((unsigned int *)t6) = 1; goto LAB63; LAB62: t7 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t7) = 1; goto LAB63; LAB64: *((unsigned int *)t22) = 1; goto LAB67; LAB66: t20 = (t22 + 4); *((unsigned int *)t22) = 1; *((unsigned int *)t20) = 1; goto LAB67; LAB68: t23 = (t0 + 2896U); t24 = *((char **)t23); t23 = ((char*)((ng2))); memset(t38, 0, 8); t37 = (t24 + 4); t39 = (t23 + 4); t34 = *((unsigned int *)t24); t35 = *((unsigned int *)t23); t36 = (t34 ^ t35); t40 = *((unsigned int *)t37); t41 = *((unsigned int *)t39); t42 = (t40 ^ t41); t43 = (t36 | t42); t44 = *((unsigned int *)t37); t47 = *((unsigned int *)t39); t48 = (t44 | t47); t49 = (~(t48)); t55 = (t43 & t49); if (t55 != 0) goto LAB74; LAB71: if (t48 != 0) goto LAB73; LAB72: *((unsigned int *)t38) = 1; LAB74: memset(t52, 0, 8); t46 = (t38 + 4); t56 = *((unsigned int *)t46); t57 = (~(t56)); t58 = *((unsigned int *)t38); t59 = (t58 & t57); t60 = (t59 & 1U); if (t60 != 0) goto LAB75; LAB76: if (*((unsigned int *)t46) != 0) goto LAB77; LAB78: t61 = *((unsigned int *)t22); t62 = *((unsigned int *)t52); t63 = (t61 & t62); *((unsigned int *)t68) = t63; t51 = (t22 + 4); t53 = (t52 + 4); t54 = (t68 + 4); t64 = *((unsigned int *)t51); t65 = *((unsigned int *)t53); t66 = (t64 | t65); *((unsigned int *)t54) = t66; t70 = *((unsigned int *)t54); t71 = (t70 != 0); if (t71 == 1) goto LAB79; LAB80: LAB81: goto LAB70; LAB73: t45 = (t38 + 4); *((unsigned int *)t38) = 1; *((unsigned int *)t45) = 1; goto LAB74; LAB75: *((unsigned int *)t52) = 1; goto LAB78; LAB77: t50 = (t52 + 4); *((unsigned int *)t52) = 1; *((unsigned int *)t50) = 1; goto LAB78; LAB79: t72 = *((unsigned int *)t68); t73 = *((unsigned int *)t54); *((unsigned int *)t68) = (t72 | t73); t67 = (t22 + 4); t69 = (t52 + 4); t74 = *((unsigned int *)t22); t77 = (~(t74)); t78 = *((unsigned int *)t67); t79 = (~(t78)); t83 = *((unsigned int *)t52); t84 = (~(t83)); t85 = *((unsigned int *)t69); t86 = (~(t85)); t100 = (t77 & t79); t101 = (t84 & t86); t87 = (~(t100)); t88 = (~(t101)); t89 = *((unsigned int *)t54); *((unsigned int *)t54) = (t89 & t87); t92 = *((unsigned int *)t54); *((unsigned int *)t54) = (t92 & t88); t93 = *((unsigned int *)t68); *((unsigned int *)t68) = (t93 & t87); t94 = *((unsigned int *)t68); *((unsigned int *)t68) = (t94 & t88); goto LAB81; LAB82: xsi_set_current_line(69, ng0); t80 = ((char*)((ng5))); t81 = (t0 + 4576); xsi_vlogvar_assign_value(t81, t80, 0, 0, 1); goto LAB84; LAB85: xsi_set_current_line(71, ng0); LAB88: xsi_set_current_line(72, ng0); t20 = (t0 + 3056U); t21 = *((char **)t20); t20 = ((char*)((ng6))); memset(t22, 0, 8); t23 = (t21 + 4); t24 = (t20 + 4); t25 = *((unsigned int *)t21); t26 = *((unsigned int *)t20); t27 = (t25 ^ t26); t28 = *((unsigned int *)t23); t29 = *((unsigned int *)t24); t30 = (t28 ^ t29); t31 = (t27 | t30); t32 = *((unsigned int *)t23); t33 = *((unsigned int *)t24); t34 = (t32 | t33); t35 = (~(t34)); t36 = (t31 & t35); if (t36 != 0) goto LAB92; LAB89: if (t34 != 0) goto LAB91; LAB90: *((unsigned int *)t22) = 1; LAB92: memset(t38, 0, 8); t39 = (t22 + 4); t40 = *((unsigned int *)t39); t41 = (~(t40)); t42 = *((unsigned int *)t22); t43 = (t42 & t41); t44 = (t43 & 1U); if (t44 != 0) goto LAB93; LAB94: if (*((unsigned int *)t39) != 0) goto LAB95; LAB96: t46 = (t38 + 4); t47 = *((unsigned int *)t38); t48 = *((unsigned int *)t46); t49 = (t47 || t48); if (t49 > 0) goto LAB97; LAB98: memcpy(t76, t38, 8); LAB99: t108 = (t76 + 4); t109 = *((unsigned int *)t108); t110 = (~(t109)); t111 = *((unsigned int *)t76); t112 = (t111 & t110); t113 = (t112 != 0); if (t113 > 0) goto LAB111; LAB112: LAB113: goto LAB87; LAB91: t37 = (t22 + 4); *((unsigned int *)t22) = 1; *((unsigned int *)t37) = 1; goto LAB92; LAB93: *((unsigned int *)t38) = 1; goto LAB96; LAB95: t45 = (t38 + 4); *((unsigned int *)t38) = 1; *((unsigned int *)t45) = 1; goto LAB96; LAB97: t50 = (t0 + 2736U); t51 = *((char **)t50); t50 = ((char*)((ng2))); memset(t52, 0, 8); t53 = (t51 + 4); t54 = (t50 + 4); t55 = *((unsigned int *)t51); t56 = *((unsigned int *)t50); t57 = (t55 ^ t56); t58 = *((unsigned int *)t53); t59 = *((unsigned int *)t54); t60 = (t58 ^ t59); t61 = (t57 | t60); t62 = *((unsigned int *)t53); t63 = *((unsigned int *)t54); t64 = (t62 | t63); t65 = (~(t64)); t66 = (t61 & t65); if (t66 != 0) goto LAB103; LAB100: if (t64 != 0) goto LAB102; LAB101: *((unsigned int *)t52) = 1; LAB103: memset(t68, 0, 8); t69 = (t52 + 4); t70 = *((unsigned int *)t69); t71 = (~(t70)); t72 = *((unsigned int *)t52); t73 = (t72 & t71); t74 = (t73 & 1U); if (t74 != 0) goto LAB104; LAB105: if (*((unsigned int *)t69) != 0) goto LAB106; LAB107: t77 = *((unsigned int *)t38); t78 = *((unsigned int *)t68); t79 = (t77 & t78); *((unsigned int *)t76) = t79; t80 = (t38 + 4); t81 = (t68 + 4); t82 = (t76 + 4); t83 = *((unsigned int *)t80); t84 = *((unsigned int *)t81); t85 = (t83 | t84); *((unsigned int *)t82) = t85; t86 = *((unsigned int *)t82); t87 = (t86 != 0); if (t87 == 1) goto LAB108; LAB109: LAB110: goto LAB99; LAB102: t67 = (t52 + 4); *((unsigned int *)t52) = 1; *((unsigned int *)t67) = 1; goto LAB103; LAB104: *((unsigned int *)t68) = 1; goto LAB107; LAB106: t75 = (t68 + 4); *((unsigned int *)t68) = 1; *((unsigned int *)t75) = 1; goto LAB107; LAB108: t88 = *((unsigned int *)t76); t89 = *((unsigned int *)t82); *((unsigned int *)t76) = (t88 | t89); t90 = (t38 + 4); t91 = (t68 + 4); t92 = *((unsigned int *)t38); t93 = (~(t92)); t94 = *((unsigned int *)t90); t95 = (~(t94)); t96 = *((unsigned int *)t68); t97 = (~(t96)); t98 = *((unsigned int *)t91); t99 = (~(t98)); t100 = (t93 & t95); t101 = (t97 & t99); t102 = (~(t100)); t103 = (~(t101)); t104 = *((unsigned int *)t82); *((unsigned int *)t82) = (t104 & t102); t105 = *((unsigned int *)t82); *((unsigned int *)t82) = (t105 & t103); t106 = *((unsigned int *)t76); *((unsigned int *)t76) = (t106 & t102); t107 = *((unsigned int *)t76); *((unsigned int *)t76) = (t107 & t103); goto LAB110; LAB111: xsi_set_current_line(73, ng0); t114 = ((char*)((ng5))); t115 = (t0 + 4576); xsi_vlogvar_assign_value(t115, t114, 0, 0, 1); goto LAB113; } extern void work_m_01056257828120339384_0569471234_init() { static char *pe[] = {(void *)Cont_30_0,(void *)Cont_31_1,(void *)Cont_36_2,(void *)Cont_38_3,(void *)Always_40_4,(void *)Always_51_5,(void *)Always_60_6}; xsi_register_didat("work_m_01056257828120339384_0569471234", "isim/testbench_isim_beh.exe.sim/work/m_01056257828120339384_0569471234.didat"); xsi_register_executes(pe); }