/**********************************************************************/ /* ____ ____ */ /* / /\/ / */ /* /___/ \ / */ /* \ \ \/ */ /* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ /* / / All Right Reserved. */ /* /---/ /\ */ /* \ \ / \ */ /* \___\/\___\ */ /***********************************************************************/ /* This file is designed for use with ISim build 0x7708f090 */ #define XSI_HIDE_SYMBOL_SPEC true #include "xsi.h" #include #ifdef __GNUC__ #include #else #include #define alloca _alloca #endif static const char *ng0 = "C:/Users/zanek/Documents/GitHub/Warp-SE/cpld/FSB.v"; static int ng1[] = {0, 0}; static int ng2[] = {1, 0}; static void Always_15_0(char *t0) { char t4[8]; char *t1; char *t2; char *t3; char *t5; char *t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; char *t12; char *t13; char *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; LAB0: t1 = (t0 + 5408U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(15, ng0); t2 = (t0 + 7464); *((int *)t2) = 1; t3 = (t0 + 5440); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(15, ng0); LAB5: xsi_set_current_line(15, ng0); t5 = (t0 + 1208U); t6 = *((char **)t5); memset(t4, 0, 8); t5 = (t6 + 4); t7 = *((unsigned int *)t5); t8 = (~(t7)); t9 = *((unsigned int *)t6); t10 = (t9 & t8); t11 = (t10 & 1U); if (t11 != 0) goto LAB9; LAB7: if (*((unsigned int *)t5) == 0) goto LAB6; LAB8: t12 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t12) = 1; LAB9: t13 = (t4 + 4); t14 = (t6 + 4); t15 = *((unsigned int *)t6); t16 = (~(t15)); *((unsigned int *)t4) = t16; *((unsigned int *)t13) = 0; if (*((unsigned int *)t14) != 0) goto LAB11; LAB10: t21 = *((unsigned int *)t4); *((unsigned int *)t4) = (t21 & 1U); t22 = *((unsigned int *)t13); *((unsigned int *)t13) = (t22 & 1U); t23 = (t0 + 3528); xsi_vlogvar_wait_assign_value(t23, t4, 0, 0, 1, 0LL); goto LAB2; LAB6: *((unsigned int *)t4) = 1; goto LAB9; LAB11: t17 = *((unsigned int *)t4); t18 = *((unsigned int *)t14); *((unsigned int *)t4) = (t17 | t18); t19 = *((unsigned int *)t13); t20 = *((unsigned int *)t14); *((unsigned int *)t13) = (t19 | t20); goto LAB10; } static void Cont_16_1(char *t0) { char t3[8]; char t21[8]; char t37[8]; char t45[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 *t22; unsigned int t23; unsigned int t24; unsigned int t25; unsigned int t26; unsigned int t27; char *t28; char *t29; unsigned int t30; unsigned int t31; unsigned int t32; unsigned int t33; char *t34; char *t35; char *t36; char *t38; unsigned int t39; unsigned int t40; unsigned int t41; unsigned int t42; unsigned int t43; char *t44; unsigned int t46; unsigned int t47; unsigned int t48; char *t49; char *t50; char *t51; unsigned int t52; unsigned int t53; unsigned int t54; unsigned int t55; unsigned int t56; unsigned int t57; unsigned int t58; char *t59; char *t60; unsigned int t61; unsigned int t62; unsigned int t63; int t64; unsigned int t65; unsigned int t66; unsigned int t67; int t68; unsigned int t69; unsigned int t70; unsigned int t71; unsigned int t72; char *t73; char *t74; char *t75; char *t76; char *t77; unsigned int t78; unsigned int t79; char *t80; unsigned int t81; unsigned int t82; char *t83; unsigned int t84; unsigned int t85; char *t86; LAB0: t1 = (t0 + 5656U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(16, ng0); t2 = (t0 + 1208U); 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); memset(t21, 0, 8); t22 = (t3 + 4); t23 = *((unsigned int *)t22); t24 = (~(t23)); t25 = *((unsigned int *)t3); t26 = (t25 & t24); t27 = (t26 & 1U); if (t27 != 0) goto LAB10; LAB11: if (*((unsigned int *)t22) != 0) goto LAB12; LAB13: t29 = (t21 + 4); t30 = *((unsigned int *)t21); t31 = (!(t30)); t32 = *((unsigned int *)t29); t33 = (t31 || t32); if (t33 > 0) goto LAB14; LAB15: memcpy(t45, t21, 8); LAB16: t73 = (t0 + 7656); t74 = (t73 + 56U); t75 = *((char **)t74); t76 = (t75 + 56U); t77 = *((char **)t76); memset(t77, 0, 8); t78 = 1U; t79 = t78; t80 = (t45 + 4); t81 = *((unsigned int *)t45); t78 = (t78 & t81); t82 = *((unsigned int *)t80); t79 = (t79 & t82); t83 = (t77 + 4); t84 = *((unsigned int *)t77); *((unsigned int *)t77) = (t84 | t78); t85 = *((unsigned int *)t83); *((unsigned int *)t83) = (t85 | t79); xsi_driver_vfirst_trans(t73, 0, 0); t86 = (t0 + 7480); *((int *)t86) = 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; LAB10: *((unsigned int *)t21) = 1; goto LAB13; LAB12: t28 = (t21 + 4); *((unsigned int *)t21) = 1; *((unsigned int *)t28) = 1; goto LAB13; LAB14: t34 = (t0 + 3528); t35 = (t34 + 56U); t36 = *((char **)t35); memset(t37, 0, 8); t38 = (t36 + 4); t39 = *((unsigned int *)t38); t40 = (~(t39)); t41 = *((unsigned int *)t36); t42 = (t41 & t40); t43 = (t42 & 1U); if (t43 != 0) goto LAB17; LAB18: if (*((unsigned int *)t38) != 0) goto LAB19; LAB20: t46 = *((unsigned int *)t21); t47 = *((unsigned int *)t37); t48 = (t46 | t47); *((unsigned int *)t45) = t48; t49 = (t21 + 4); t50 = (t37 + 4); t51 = (t45 + 4); t52 = *((unsigned int *)t49); t53 = *((unsigned int *)t50); t54 = (t52 | t53); *((unsigned int *)t51) = t54; t55 = *((unsigned int *)t51); t56 = (t55 != 0); if (t56 == 1) goto LAB21; LAB22: LAB23: goto LAB16; LAB17: *((unsigned int *)t37) = 1; goto LAB20; LAB19: t44 = (t37 + 4); *((unsigned int *)t37) = 1; *((unsigned int *)t44) = 1; goto LAB20; LAB21: t57 = *((unsigned int *)t45); t58 = *((unsigned int *)t51); *((unsigned int *)t45) = (t57 | t58); t59 = (t21 + 4); t60 = (t37 + 4); t61 = *((unsigned int *)t59); t62 = (~(t61)); t63 = *((unsigned int *)t21); t64 = (t63 & t62); t65 = *((unsigned int *)t60); t66 = (~(t65)); t67 = *((unsigned int *)t37); t68 = (t67 & t66); t69 = (~(t64)); t70 = (~(t68)); t71 = *((unsigned int *)t51); *((unsigned int *)t51) = (t71 & t69); t72 = *((unsigned int *)t51); *((unsigned int *)t51) = (t72 & t70); goto LAB23; } static void NetDecl_21_2(char *t0) { char t4[8]; char t19[8]; char t27[8]; char t55[8]; char t69[8]; char t84[8]; char t92[8]; char t120[8]; char t128[8]; char t160[8]; char t174[8]; char t189[8]; char t197[8]; char t225[8]; char t233[8]; char *t1; char *t2; char *t3; unsigned int t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; char *t10; char *t11; unsigned int t12; unsigned int t13; unsigned int t14; unsigned int t15; char *t16; char *t17; char *t18; char *t20; unsigned int t21; unsigned int t22; unsigned int t23; unsigned int t24; unsigned int t25; char *t26; unsigned int t28; unsigned int t29; unsigned int t30; char *t31; char *t32; char *t33; unsigned int t34; unsigned int t35; unsigned int t36; unsigned int t37; unsigned int t38; unsigned int t39; unsigned int t40; char *t41; char *t42; unsigned int t43; unsigned int t44; unsigned int t45; int t46; unsigned int t47; unsigned int t48; unsigned int t49; int t50; unsigned int t51; unsigned int t52; unsigned int t53; unsigned int t54; char *t56; unsigned int t57; unsigned int t58; unsigned int t59; unsigned int t60; unsigned int t61; char *t62; char *t63; unsigned int t64; unsigned int t65; unsigned int t66; char *t67; char *t68; unsigned int t70; unsigned int t71; unsigned int t72; unsigned int t73; unsigned int t74; char *t75; char *t76; unsigned int t77; unsigned int t78; unsigned int t79; unsigned int t80; char *t81; char *t82; char *t83; char *t85; unsigned int t86; unsigned int t87; unsigned int t88; unsigned int t89; unsigned int t90; char *t91; unsigned int t93; unsigned int t94; unsigned int t95; char *t96; char *t97; char *t98; unsigned int t99; unsigned int t100; unsigned int t101; unsigned int t102; unsigned int t103; unsigned int t104; unsigned int t105; char *t106; char *t107; unsigned int t108; unsigned int t109; unsigned int t110; int t111; unsigned int t112; unsigned int t113; unsigned int t114; int t115; unsigned int t116; unsigned int t117; unsigned int t118; unsigned int t119; char *t121; unsigned int t122; unsigned int t123; unsigned int t124; unsigned int t125; unsigned int t126; char *t127; unsigned int t129; unsigned int t130; unsigned int t131; char *t132; char *t133; char *t134; unsigned int t135; unsigned int t136; unsigned int t137; unsigned int t138; unsigned int t139; unsigned int t140; unsigned int t141; char *t142; char *t143; unsigned int t144; unsigned int t145; unsigned int t146; unsigned int t147; unsigned int t148; unsigned int t149; unsigned int t150; unsigned int t151; int t152; int t153; unsigned int t154; unsigned int t155; unsigned int t156; unsigned int t157; unsigned int t158; unsigned int t159; char *t161; unsigned int t162; unsigned int t163; unsigned int t164; unsigned int t165; unsigned int t166; char *t167; char *t168; unsigned int t169; unsigned int t170; unsigned int t171; char *t172; char *t173; unsigned int t175; unsigned int t176; unsigned int t177; unsigned int t178; unsigned int t179; char *t180; char *t181; unsigned int t182; unsigned int t183; unsigned int t184; unsigned int t185; char *t186; char *t187; char *t188; char *t190; unsigned int t191; unsigned int t192; unsigned int t193; unsigned int t194; unsigned int t195; char *t196; unsigned int t198; unsigned int t199; unsigned int t200; char *t201; char *t202; char *t203; unsigned int t204; unsigned int t205; unsigned int t206; unsigned int t207; unsigned int t208; unsigned int t209; unsigned int t210; char *t211; char *t212; unsigned int t213; unsigned int t214; unsigned int t215; int t216; unsigned int t217; unsigned int t218; unsigned int t219; int t220; unsigned int t221; unsigned int t222; unsigned int t223; unsigned int t224; char *t226; unsigned int t227; unsigned int t228; unsigned int t229; unsigned int t230; unsigned int t231; char *t232; unsigned int t234; unsigned int t235; unsigned int t236; char *t237; char *t238; char *t239; unsigned int t240; unsigned int t241; unsigned int t242; unsigned int t243; unsigned int t244; unsigned int t245; unsigned int t246; char *t247; char *t248; unsigned int t249; unsigned int t250; unsigned int t251; unsigned int t252; unsigned int t253; unsigned int t254; unsigned int t255; unsigned int t256; int t257; int t258; unsigned int t259; unsigned int t260; unsigned int t261; unsigned int t262; unsigned int t263; unsigned int t264; char *t265; char *t266; char *t267; char *t268; char *t269; unsigned int t270; unsigned int t271; char *t272; unsigned int t273; unsigned int t274; char *t275; unsigned int t276; unsigned int t277; char *t278; LAB0: t1 = (t0 + 5904U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(21, ng0); t2 = (t0 + 1848U); t3 = *((char **)t2); memset(t4, 0, 8); t2 = (t3 + 4); t5 = *((unsigned int *)t2); t6 = (~(t5)); t7 = *((unsigned int *)t3); t8 = (t7 & t6); t9 = (t8 & 1U); if (t9 != 0) goto LAB4; LAB5: if (*((unsigned int *)t2) != 0) goto LAB6; LAB7: t11 = (t4 + 4); t12 = *((unsigned int *)t4); t13 = (!(t12)); t14 = *((unsigned int *)t11); t15 = (t13 || t14); if (t15 > 0) goto LAB8; LAB9: memcpy(t27, t4, 8); LAB10: memset(t55, 0, 8); t56 = (t27 + 4); t57 = *((unsigned int *)t56); t58 = (~(t57)); t59 = *((unsigned int *)t27); t60 = (t59 & t58); t61 = (t60 & 1U); if (t61 != 0) goto LAB18; LAB19: if (*((unsigned int *)t56) != 0) goto LAB20; LAB21: t63 = (t55 + 4); t64 = *((unsigned int *)t55); t65 = *((unsigned int *)t63); t66 = (t64 || t65); if (t66 > 0) goto LAB22; LAB23: memcpy(t128, t55, 8); LAB24: memset(t160, 0, 8); t161 = (t128 + 4); t162 = *((unsigned int *)t161); t163 = (~(t162)); t164 = *((unsigned int *)t128); t165 = (t164 & t163); t166 = (t165 & 1U); if (t166 != 0) goto LAB46; LAB47: if (*((unsigned int *)t161) != 0) goto LAB48; LAB49: t168 = (t160 + 4); t169 = *((unsigned int *)t160); t170 = *((unsigned int *)t168); t171 = (t169 || t170); if (t171 > 0) goto LAB50; LAB51: memcpy(t233, t160, 8); LAB52: t265 = (t0 + 7720); t266 = (t265 + 56U); t267 = *((char **)t266); t268 = (t267 + 56U); t269 = *((char **)t268); memset(t269, 0, 8); t270 = 1U; t271 = t270; t272 = (t233 + 4); t273 = *((unsigned int *)t233); t270 = (t270 & t273); t274 = *((unsigned int *)t272); t271 = (t271 & t274); t275 = (t269 + 4); t276 = *((unsigned int *)t269); *((unsigned int *)t269) = (t276 | t270); t277 = *((unsigned int *)t275); *((unsigned int *)t275) = (t277 | t271); xsi_driver_vfirst_trans(t265, 0, 0U); t278 = (t0 + 7496); *((int *)t278) = 1; LAB1: return; LAB4: *((unsigned int *)t4) = 1; goto LAB7; LAB6: t10 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t10) = 1; goto LAB7; LAB8: t16 = (t0 + 3688); t17 = (t16 + 56U); t18 = *((char **)t17); memset(t19, 0, 8); t20 = (t18 + 4); t21 = *((unsigned int *)t20); t22 = (~(t21)); t23 = *((unsigned int *)t18); t24 = (t23 & t22); t25 = (t24 & 1U); if (t25 != 0) goto LAB11; LAB12: if (*((unsigned int *)t20) != 0) goto LAB13; LAB14: t28 = *((unsigned int *)t4); t29 = *((unsigned int *)t19); t30 = (t28 | t29); *((unsigned int *)t27) = t30; t31 = (t4 + 4); t32 = (t19 + 4); t33 = (t27 + 4); t34 = *((unsigned int *)t31); t35 = *((unsigned int *)t32); t36 = (t34 | t35); *((unsigned int *)t33) = t36; t37 = *((unsigned int *)t33); t38 = (t37 != 0); if (t38 == 1) goto LAB15; LAB16: LAB17: goto LAB10; LAB11: *((unsigned int *)t19) = 1; goto LAB14; LAB13: t26 = (t19 + 4); *((unsigned int *)t19) = 1; *((unsigned int *)t26) = 1; goto LAB14; LAB15: t39 = *((unsigned int *)t27); t40 = *((unsigned int *)t33); *((unsigned int *)t27) = (t39 | t40); t41 = (t4 + 4); t42 = (t19 + 4); t43 = *((unsigned int *)t41); t44 = (~(t43)); t45 = *((unsigned int *)t4); t46 = (t45 & t44); t47 = *((unsigned int *)t42); t48 = (~(t47)); t49 = *((unsigned int *)t19); t50 = (t49 & t48); t51 = (~(t46)); t52 = (~(t50)); t53 = *((unsigned int *)t33); *((unsigned int *)t33) = (t53 & t51); t54 = *((unsigned int *)t33); *((unsigned int *)t33) = (t54 & t52); goto LAB17; LAB18: *((unsigned int *)t55) = 1; goto LAB21; LAB20: t62 = (t55 + 4); *((unsigned int *)t55) = 1; *((unsigned int *)t62) = 1; goto LAB21; LAB22: t67 = (t0 + 2008U); t68 = *((char **)t67); memset(t69, 0, 8); t67 = (t68 + 4); t70 = *((unsigned int *)t67); t71 = (~(t70)); t72 = *((unsigned int *)t68); t73 = (t72 & t71); t74 = (t73 & 1U); if (t74 != 0) goto LAB25; LAB26: if (*((unsigned int *)t67) != 0) goto LAB27; LAB28: t76 = (t69 + 4); t77 = *((unsigned int *)t69); t78 = (!(t77)); t79 = *((unsigned int *)t76); t80 = (t78 || t79); if (t80 > 0) goto LAB29; LAB30: memcpy(t92, t69, 8); LAB31: memset(t120, 0, 8); t121 = (t92 + 4); t122 = *((unsigned int *)t121); t123 = (~(t122)); t124 = *((unsigned int *)t92); t125 = (t124 & t123); t126 = (t125 & 1U); if (t126 != 0) goto LAB39; LAB40: if (*((unsigned int *)t121) != 0) goto LAB41; LAB42: t129 = *((unsigned int *)t55); t130 = *((unsigned int *)t120); t131 = (t129 & t130); *((unsigned int *)t128) = t131; t132 = (t55 + 4); t133 = (t120 + 4); t134 = (t128 + 4); t135 = *((unsigned int *)t132); t136 = *((unsigned int *)t133); t137 = (t135 | t136); *((unsigned int *)t134) = t137; t138 = *((unsigned int *)t134); t139 = (t138 != 0); if (t139 == 1) goto LAB43; LAB44: LAB45: goto LAB24; LAB25: *((unsigned int *)t69) = 1; goto LAB28; LAB27: t75 = (t69 + 4); *((unsigned int *)t69) = 1; *((unsigned int *)t75) = 1; goto LAB28; LAB29: t81 = (t0 + 3848); t82 = (t81 + 56U); t83 = *((char **)t82); memset(t84, 0, 8); t85 = (t83 + 4); t86 = *((unsigned int *)t85); t87 = (~(t86)); t88 = *((unsigned int *)t83); t89 = (t88 & t87); t90 = (t89 & 1U); if (t90 != 0) goto LAB32; LAB33: if (*((unsigned int *)t85) != 0) goto LAB34; LAB35: t93 = *((unsigned int *)t69); t94 = *((unsigned int *)t84); t95 = (t93 | t94); *((unsigned int *)t92) = t95; t96 = (t69 + 4); t97 = (t84 + 4); t98 = (t92 + 4); t99 = *((unsigned int *)t96); t100 = *((unsigned int *)t97); t101 = (t99 | t100); *((unsigned int *)t98) = t101; t102 = *((unsigned int *)t98); t103 = (t102 != 0); if (t103 == 1) goto LAB36; LAB37: LAB38: goto LAB31; LAB32: *((unsigned int *)t84) = 1; goto LAB35; LAB34: t91 = (t84 + 4); *((unsigned int *)t84) = 1; *((unsigned int *)t91) = 1; goto LAB35; LAB36: t104 = *((unsigned int *)t92); t105 = *((unsigned int *)t98); *((unsigned int *)t92) = (t104 | t105); t106 = (t69 + 4); t107 = (t84 + 4); t108 = *((unsigned int *)t106); t109 = (~(t108)); t110 = *((unsigned int *)t69); t111 = (t110 & t109); t112 = *((unsigned int *)t107); t113 = (~(t112)); t114 = *((unsigned int *)t84); t115 = (t114 & t113); t116 = (~(t111)); t117 = (~(t115)); t118 = *((unsigned int *)t98); *((unsigned int *)t98) = (t118 & t116); t119 = *((unsigned int *)t98); *((unsigned int *)t98) = (t119 & t117); goto LAB38; LAB39: *((unsigned int *)t120) = 1; goto LAB42; LAB41: t127 = (t120 + 4); *((unsigned int *)t120) = 1; *((unsigned int *)t127) = 1; goto LAB42; LAB43: t140 = *((unsigned int *)t128); t141 = *((unsigned int *)t134); *((unsigned int *)t128) = (t140 | t141); t142 = (t55 + 4); t143 = (t120 + 4); t144 = *((unsigned int *)t55); t145 = (~(t144)); t146 = *((unsigned int *)t142); t147 = (~(t146)); t148 = *((unsigned int *)t120); t149 = (~(t148)); t150 = *((unsigned int *)t143); t151 = (~(t150)); t152 = (t145 & t147); t153 = (t149 & t151); t154 = (~(t152)); t155 = (~(t153)); t156 = *((unsigned int *)t134); *((unsigned int *)t134) = (t156 & t154); t157 = *((unsigned int *)t134); *((unsigned int *)t134) = (t157 & t155); t158 = *((unsigned int *)t128); *((unsigned int *)t128) = (t158 & t154); t159 = *((unsigned int *)t128); *((unsigned int *)t128) = (t159 & t155); goto LAB45; LAB46: *((unsigned int *)t160) = 1; goto LAB49; LAB48: t167 = (t160 + 4); *((unsigned int *)t160) = 1; *((unsigned int *)t167) = 1; goto LAB49; LAB50: t172 = (t0 + 2168U); t173 = *((char **)t172); memset(t174, 0, 8); t172 = (t173 + 4); t175 = *((unsigned int *)t172); t176 = (~(t175)); t177 = *((unsigned int *)t173); t178 = (t177 & t176); t179 = (t178 & 1U); if (t179 != 0) goto LAB53; LAB54: if (*((unsigned int *)t172) != 0) goto LAB55; LAB56: t181 = (t174 + 4); t182 = *((unsigned int *)t174); t183 = (!(t182)); t184 = *((unsigned int *)t181); t185 = (t183 || t184); if (t185 > 0) goto LAB57; LAB58: memcpy(t197, t174, 8); LAB59: memset(t225, 0, 8); t226 = (t197 + 4); t227 = *((unsigned int *)t226); t228 = (~(t227)); t229 = *((unsigned int *)t197); t230 = (t229 & t228); t231 = (t230 & 1U); if (t231 != 0) goto LAB67; LAB68: if (*((unsigned int *)t226) != 0) goto LAB69; LAB70: t234 = *((unsigned int *)t160); t235 = *((unsigned int *)t225); t236 = (t234 & t235); *((unsigned int *)t233) = t236; t237 = (t160 + 4); t238 = (t225 + 4); t239 = (t233 + 4); t240 = *((unsigned int *)t237); t241 = *((unsigned int *)t238); t242 = (t240 | t241); *((unsigned int *)t239) = t242; t243 = *((unsigned int *)t239); t244 = (t243 != 0); if (t244 == 1) goto LAB71; LAB72: LAB73: goto LAB52; LAB53: *((unsigned int *)t174) = 1; goto LAB56; LAB55: t180 = (t174 + 4); *((unsigned int *)t174) = 1; *((unsigned int *)t180) = 1; goto LAB56; LAB57: t186 = (t0 + 4008); t187 = (t186 + 56U); t188 = *((char **)t187); memset(t189, 0, 8); t190 = (t188 + 4); t191 = *((unsigned int *)t190); t192 = (~(t191)); t193 = *((unsigned int *)t188); t194 = (t193 & t192); t195 = (t194 & 1U); if (t195 != 0) goto LAB60; LAB61: if (*((unsigned int *)t190) != 0) goto LAB62; LAB63: t198 = *((unsigned int *)t174); t199 = *((unsigned int *)t189); t200 = (t198 | t199); *((unsigned int *)t197) = t200; t201 = (t174 + 4); t202 = (t189 + 4); t203 = (t197 + 4); t204 = *((unsigned int *)t201); t205 = *((unsigned int *)t202); t206 = (t204 | t205); *((unsigned int *)t203) = t206; t207 = *((unsigned int *)t203); t208 = (t207 != 0); if (t208 == 1) goto LAB64; LAB65: LAB66: goto LAB59; LAB60: *((unsigned int *)t189) = 1; goto LAB63; LAB62: t196 = (t189 + 4); *((unsigned int *)t189) = 1; *((unsigned int *)t196) = 1; goto LAB63; LAB64: t209 = *((unsigned int *)t197); t210 = *((unsigned int *)t203); *((unsigned int *)t197) = (t209 | t210); t211 = (t174 + 4); t212 = (t189 + 4); t213 = *((unsigned int *)t211); t214 = (~(t213)); t215 = *((unsigned int *)t174); t216 = (t215 & t214); t217 = *((unsigned int *)t212); t218 = (~(t217)); t219 = *((unsigned int *)t189); t220 = (t219 & t218); t221 = (~(t216)); t222 = (~(t220)); t223 = *((unsigned int *)t203); *((unsigned int *)t203) = (t223 & t221); t224 = *((unsigned int *)t203); *((unsigned int *)t203) = (t224 & t222); goto LAB66; LAB67: *((unsigned int *)t225) = 1; goto LAB70; LAB69: t232 = (t225 + 4); *((unsigned int *)t225) = 1; *((unsigned int *)t232) = 1; goto LAB70; LAB71: t245 = *((unsigned int *)t233); t246 = *((unsigned int *)t239); *((unsigned int *)t233) = (t245 | t246); t247 = (t160 + 4); t248 = (t225 + 4); t249 = *((unsigned int *)t160); t250 = (~(t249)); t251 = *((unsigned int *)t247); t252 = (~(t251)); t253 = *((unsigned int *)t225); t254 = (~(t253)); t255 = *((unsigned int *)t248); t256 = (~(t255)); t257 = (t250 & t252); t258 = (t254 & t256); t259 = (~(t257)); t260 = (~(t258)); t261 = *((unsigned int *)t239); *((unsigned int *)t239) = (t261 & t259); t262 = *((unsigned int *)t239); *((unsigned int *)t239) = (t262 & t260); t263 = *((unsigned int *)t233); *((unsigned int *)t233) = (t263 & t259); t264 = *((unsigned int *)t233); *((unsigned int *)t233) = (t264 & t260); goto LAB73; } static void NetDecl_24_3(char *t0) { char t4[8]; char t19[8]; char t27[8]; char t55[8]; char t70[8]; char t77[8]; char t105[8]; char t121[8]; char t129[8]; char *t1; char *t2; char *t3; unsigned int t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; char *t10; char *t11; unsigned int t12; unsigned int t13; unsigned int t14; unsigned int t15; char *t16; char *t17; char *t18; char *t20; unsigned int t21; unsigned int t22; unsigned int t23; unsigned int t24; unsigned int t25; char *t26; unsigned int t28; unsigned int t29; unsigned int t30; char *t31; char *t32; char *t33; unsigned int t34; unsigned int t35; unsigned int t36; unsigned int t37; unsigned int t38; unsigned int t39; unsigned int t40; char *t41; char *t42; unsigned int t43; unsigned int t44; unsigned int t45; int t46; unsigned int t47; unsigned int t48; unsigned int t49; int t50; unsigned int t51; unsigned int t52; unsigned int t53; unsigned int t54; char *t56; unsigned int t57; unsigned int t58; unsigned int t59; unsigned int t60; unsigned int t61; char *t62; char *t63; unsigned int t64; unsigned int t65; unsigned int t66; unsigned int t67; char *t68; char *t69; unsigned int t71; unsigned int t72; unsigned int t73; unsigned int t74; unsigned int t75; char *t76; unsigned int t78; unsigned int t79; unsigned int t80; char *t81; char *t82; char *t83; unsigned int t84; unsigned int t85; unsigned int t86; unsigned int t87; unsigned int t88; unsigned int t89; unsigned int t90; char *t91; char *t92; unsigned int t93; unsigned int t94; unsigned int t95; int t96; unsigned int t97; unsigned int t98; unsigned int t99; int t100; unsigned int t101; unsigned int t102; unsigned int t103; unsigned int t104; char *t106; unsigned int t107; unsigned int t108; unsigned int t109; unsigned int t110; unsigned int t111; char *t112; char *t113; unsigned int t114; unsigned int t115; unsigned int t116; unsigned int t117; char *t118; char *t119; char *t120; char *t122; unsigned int t123; unsigned int t124; unsigned int t125; unsigned int t126; unsigned int t127; char *t128; unsigned int t130; unsigned int t131; unsigned int t132; char *t133; char *t134; char *t135; unsigned int t136; unsigned int t137; unsigned int t138; unsigned int t139; unsigned int t140; unsigned int t141; unsigned int t142; char *t143; char *t144; unsigned int t145; unsigned int t146; unsigned int t147; int t148; unsigned int t149; unsigned int t150; unsigned int t151; int t152; unsigned int t153; unsigned int t154; unsigned int t155; unsigned int t156; char *t157; char *t158; char *t159; char *t160; char *t161; unsigned int t162; unsigned int t163; char *t164; unsigned int t165; unsigned int t166; char *t167; unsigned int t168; unsigned int t169; char *t170; LAB0: t1 = (t0 + 6152U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(24, ng0); t2 = (t0 + 2328U); t3 = *((char **)t2); memset(t4, 0, 8); t2 = (t3 + 4); t5 = *((unsigned int *)t2); t6 = (~(t5)); t7 = *((unsigned int *)t3); t8 = (t7 & t6); t9 = (t8 & 1U); if (t9 != 0) goto LAB4; LAB5: if (*((unsigned int *)t2) != 0) goto LAB6; LAB7: t11 = (t4 + 4); t12 = *((unsigned int *)t4); t13 = (!(t12)); t14 = *((unsigned int *)t11); t15 = (t13 || t14); if (t15 > 0) goto LAB8; LAB9: memcpy(t27, t4, 8); LAB10: memset(t55, 0, 8); t56 = (t27 + 4); t57 = *((unsigned int *)t56); t58 = (~(t57)); t59 = *((unsigned int *)t27); t60 = (t59 & t58); t61 = (t60 & 1U); if (t61 != 0) goto LAB18; LAB19: if (*((unsigned int *)t56) != 0) goto LAB20; LAB21: t63 = (t55 + 4); t64 = *((unsigned int *)t55); t65 = (!(t64)); t66 = *((unsigned int *)t63); t67 = (t65 || t66); if (t67 > 0) goto LAB22; LAB23: memcpy(t77, t55, 8); LAB24: memset(t105, 0, 8); t106 = (t77 + 4); t107 = *((unsigned int *)t106); t108 = (~(t107)); t109 = *((unsigned int *)t77); t110 = (t109 & t108); t111 = (t110 & 1U); if (t111 != 0) goto LAB32; LAB33: if (*((unsigned int *)t106) != 0) goto LAB34; LAB35: t113 = (t105 + 4); t114 = *((unsigned int *)t105); t115 = (!(t114)); t116 = *((unsigned int *)t113); t117 = (t115 || t116); if (t117 > 0) goto LAB36; LAB37: memcpy(t129, t105, 8); LAB38: t157 = (t0 + 7784); t158 = (t157 + 56U); t159 = *((char **)t158); t160 = (t159 + 56U); t161 = *((char **)t160); memset(t161, 0, 8); t162 = 1U; t163 = t162; t164 = (t129 + 4); t165 = *((unsigned int *)t129); t162 = (t162 & t165); t166 = *((unsigned int *)t164); t163 = (t163 & t166); t167 = (t161 + 4); t168 = *((unsigned int *)t161); *((unsigned int *)t161) = (t168 | t162); t169 = *((unsigned int *)t167); *((unsigned int *)t167) = (t169 | t163); xsi_driver_vfirst_trans(t157, 0, 0U); t170 = (t0 + 7512); *((int *)t170) = 1; LAB1: return; LAB4: *((unsigned int *)t4) = 1; goto LAB7; LAB6: t10 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t10) = 1; goto LAB7; LAB8: t16 = (t0 + 4168); t17 = (t16 + 56U); t18 = *((char **)t17); memset(t19, 0, 8); t20 = (t18 + 4); t21 = *((unsigned int *)t20); t22 = (~(t21)); t23 = *((unsigned int *)t18); t24 = (t23 & t22); t25 = (t24 & 1U); if (t25 != 0) goto LAB11; LAB12: if (*((unsigned int *)t20) != 0) goto LAB13; LAB14: t28 = *((unsigned int *)t4); t29 = *((unsigned int *)t19); t30 = (t28 | t29); *((unsigned int *)t27) = t30; t31 = (t4 + 4); t32 = (t19 + 4); t33 = (t27 + 4); t34 = *((unsigned int *)t31); t35 = *((unsigned int *)t32); t36 = (t34 | t35); *((unsigned int *)t33) = t36; t37 = *((unsigned int *)t33); t38 = (t37 != 0); if (t38 == 1) goto LAB15; LAB16: LAB17: goto LAB10; LAB11: *((unsigned int *)t19) = 1; goto LAB14; LAB13: t26 = (t19 + 4); *((unsigned int *)t19) = 1; *((unsigned int *)t26) = 1; goto LAB14; LAB15: t39 = *((unsigned int *)t27); t40 = *((unsigned int *)t33); *((unsigned int *)t27) = (t39 | t40); t41 = (t4 + 4); t42 = (t19 + 4); t43 = *((unsigned int *)t41); t44 = (~(t43)); t45 = *((unsigned int *)t4); t46 = (t45 & t44); t47 = *((unsigned int *)t42); t48 = (~(t47)); t49 = *((unsigned int *)t19); t50 = (t49 & t48); t51 = (~(t46)); t52 = (~(t50)); t53 = *((unsigned int *)t33); *((unsigned int *)t33) = (t53 & t51); t54 = *((unsigned int *)t33); *((unsigned int *)t33) = (t54 & t52); goto LAB17; LAB18: *((unsigned int *)t55) = 1; goto LAB21; LAB20: t62 = (t55 + 4); *((unsigned int *)t55) = 1; *((unsigned int *)t62) = 1; goto LAB21; LAB22: t68 = (t0 + 2488U); t69 = *((char **)t68); memset(t70, 0, 8); t68 = (t69 + 4); t71 = *((unsigned int *)t68); t72 = (~(t71)); t73 = *((unsigned int *)t69); t74 = (t73 & t72); t75 = (t74 & 1U); if (t75 != 0) goto LAB25; LAB26: if (*((unsigned int *)t68) != 0) goto LAB27; LAB28: t78 = *((unsigned int *)t55); t79 = *((unsigned int *)t70); t80 = (t78 | t79); *((unsigned int *)t77) = t80; t81 = (t55 + 4); t82 = (t70 + 4); t83 = (t77 + 4); t84 = *((unsigned int *)t81); t85 = *((unsigned int *)t82); t86 = (t84 | t85); *((unsigned int *)t83) = t86; t87 = *((unsigned int *)t83); t88 = (t87 != 0); if (t88 == 1) goto LAB29; LAB30: LAB31: goto LAB24; LAB25: *((unsigned int *)t70) = 1; goto LAB28; LAB27: t76 = (t70 + 4); *((unsigned int *)t70) = 1; *((unsigned int *)t76) = 1; goto LAB28; LAB29: t89 = *((unsigned int *)t77); t90 = *((unsigned int *)t83); *((unsigned int *)t77) = (t89 | t90); t91 = (t55 + 4); t92 = (t70 + 4); t93 = *((unsigned int *)t91); t94 = (~(t93)); t95 = *((unsigned int *)t55); t96 = (t95 & t94); t97 = *((unsigned int *)t92); t98 = (~(t97)); t99 = *((unsigned int *)t70); t100 = (t99 & t98); t101 = (~(t96)); t102 = (~(t100)); t103 = *((unsigned int *)t83); *((unsigned int *)t83) = (t103 & t101); t104 = *((unsigned int *)t83); *((unsigned int *)t83) = (t104 & t102); goto LAB31; LAB32: *((unsigned int *)t105) = 1; goto LAB35; LAB34: t112 = (t105 + 4); *((unsigned int *)t105) = 1; *((unsigned int *)t112) = 1; goto LAB35; LAB36: t118 = (t0 + 4328); t119 = (t118 + 56U); t120 = *((char **)t119); memset(t121, 0, 8); t122 = (t120 + 4); t123 = *((unsigned int *)t122); t124 = (~(t123)); t125 = *((unsigned int *)t120); t126 = (t125 & t124); t127 = (t126 & 1U); if (t127 != 0) goto LAB39; LAB40: if (*((unsigned int *)t122) != 0) goto LAB41; LAB42: t130 = *((unsigned int *)t105); t131 = *((unsigned int *)t121); t132 = (t130 | t131); *((unsigned int *)t129) = t132; t133 = (t105 + 4); t134 = (t121 + 4); t135 = (t129 + 4); t136 = *((unsigned int *)t133); t137 = *((unsigned int *)t134); t138 = (t136 | t137); *((unsigned int *)t135) = t138; t139 = *((unsigned int *)t135); t140 = (t139 != 0); if (t140 == 1) goto LAB43; LAB44: LAB45: goto LAB38; LAB39: *((unsigned int *)t121) = 1; goto LAB42; LAB41: t128 = (t121 + 4); *((unsigned int *)t121) = 1; *((unsigned int *)t128) = 1; goto LAB42; LAB43: t141 = *((unsigned int *)t129); t142 = *((unsigned int *)t135); *((unsigned int *)t129) = (t141 | t142); t143 = (t105 + 4); t144 = (t121 + 4); t145 = *((unsigned int *)t143); t146 = (~(t145)); t147 = *((unsigned int *)t105); t148 = (t147 & t146); t149 = *((unsigned int *)t144); t150 = (~(t149)); t151 = *((unsigned int *)t121); t152 = (t151 & t150); t153 = (~(t148)); t154 = (~(t152)); t155 = *((unsigned int *)t135); *((unsigned int *)t135) = (t155 & t153); t156 = *((unsigned int *)t135); *((unsigned int *)t135) = (t156 & t154); goto LAB45; } static void Cont_25_4(char *t0) { char t3[8]; char t4[8]; char t22[8]; char t36[8]; char t43[8]; char *t1; char *t2; char *t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; char *t11; char *t12; char *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; char *t23; unsigned int t24; unsigned int t25; unsigned int t26; unsigned int t27; unsigned int t28; char *t29; char *t30; unsigned int t31; unsigned int t32; unsigned int t33; char *t34; char *t35; unsigned int t37; unsigned int t38; unsigned int t39; unsigned int t40; unsigned int t41; char *t42; unsigned int t44; unsigned int t45; unsigned int t46; char *t47; char *t48; char *t49; unsigned int t50; unsigned int t51; unsigned int t52; unsigned int t53; unsigned int t54; unsigned int t55; unsigned int t56; char *t57; char *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; int t67; int t68; unsigned int t69; unsigned int t70; unsigned int t71; unsigned int t72; unsigned int t73; unsigned int t74; char *t75; unsigned int t76; unsigned int t77; unsigned int t78; unsigned int t79; unsigned int t80; char *t81; char *t82; char *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; char *t93; char *t94; char *t95; char *t96; unsigned int t97; unsigned int t98; char *t99; unsigned int t100; unsigned int t101; char *t102; unsigned int t103; unsigned int t104; char *t105; LAB0: t1 = (t0 + 6400U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(25, ng0); t2 = (t0 + 1208U); t5 = *((char **)t2); memset(t4, 0, 8); t2 = (t5 + 4); t6 = *((unsigned int *)t2); t7 = (~(t6)); t8 = *((unsigned int *)t5); t9 = (t8 & t7); t10 = (t9 & 1U); if (t10 != 0) goto LAB7; LAB5: if (*((unsigned int *)t2) == 0) goto LAB4; LAB6: t11 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t11) = 1; LAB7: t12 = (t4 + 4); t13 = (t5 + 4); t14 = *((unsigned int *)t5); t15 = (~(t14)); *((unsigned int *)t4) = t15; *((unsigned int *)t12) = 0; if (*((unsigned int *)t13) != 0) goto LAB9; LAB8: t20 = *((unsigned int *)t4); *((unsigned int *)t4) = (t20 & 1U); t21 = *((unsigned int *)t12); *((unsigned int *)t12) = (t21 & 1U); memset(t22, 0, 8); t23 = (t4 + 4); t24 = *((unsigned int *)t23); t25 = (~(t24)); t26 = *((unsigned int *)t4); t27 = (t26 & t25); t28 = (t27 & 1U); if (t28 != 0) goto LAB10; LAB11: if (*((unsigned int *)t23) != 0) goto LAB12; LAB13: t30 = (t22 + 4); t31 = *((unsigned int *)t22); t32 = *((unsigned int *)t30); t33 = (t31 || t32); if (t33 > 0) goto LAB14; LAB15: memcpy(t43, t22, 8); LAB16: memset(t3, 0, 8); t75 = (t43 + 4); t76 = *((unsigned int *)t75); t77 = (~(t76)); t78 = *((unsigned int *)t43); t79 = (t78 & t77); t80 = (t79 & 1U); if (t80 != 0) goto LAB27; LAB25: if (*((unsigned int *)t75) == 0) goto LAB24; LAB26: t81 = (t3 + 4); *((unsigned int *)t3) = 1; *((unsigned int *)t81) = 1; LAB27: t82 = (t3 + 4); t83 = (t43 + 4); t84 = *((unsigned int *)t43); t85 = (~(t84)); *((unsigned int *)t3) = t85; *((unsigned int *)t82) = 0; if (*((unsigned int *)t83) != 0) goto LAB29; LAB28: t90 = *((unsigned int *)t3); *((unsigned int *)t3) = (t90 & 1U); t91 = *((unsigned int *)t82); *((unsigned int *)t82) = (t91 & 1U); t92 = (t0 + 7848); t93 = (t92 + 56U); t94 = *((char **)t93); t95 = (t94 + 56U); t96 = *((char **)t95); memset(t96, 0, 8); t97 = 1U; t98 = t97; t99 = (t3 + 4); t100 = *((unsigned int *)t3); t97 = (t97 & t100); t101 = *((unsigned int *)t99); t98 = (t98 & t101); t102 = (t96 + 4); t103 = *((unsigned int *)t96); *((unsigned int *)t96) = (t103 | t97); t104 = *((unsigned int *)t102); *((unsigned int *)t102) = (t104 | t98); xsi_driver_vfirst_trans(t92, 0, 0); t105 = (t0 + 7528); *((int *)t105) = 1; LAB1: return; LAB4: *((unsigned int *)t4) = 1; goto LAB7; LAB9: t16 = *((unsigned int *)t4); t17 = *((unsigned int *)t13); *((unsigned int *)t4) = (t16 | t17); t18 = *((unsigned int *)t12); t19 = *((unsigned int *)t13); *((unsigned int *)t12) = (t18 | t19); goto LAB8; LAB10: *((unsigned int *)t22) = 1; goto LAB13; LAB12: t29 = (t22 + 4); *((unsigned int *)t22) = 1; *((unsigned int *)t29) = 1; goto LAB13; LAB14: t34 = (t0 + 2968U); t35 = *((char **)t34); memset(t36, 0, 8); t34 = (t35 + 4); t37 = *((unsigned int *)t34); t38 = (~(t37)); t39 = *((unsigned int *)t35); t40 = (t39 & t38); t41 = (t40 & 1U); if (t41 != 0) goto LAB17; LAB18: if (*((unsigned int *)t34) != 0) goto LAB19; LAB20: t44 = *((unsigned int *)t22); t45 = *((unsigned int *)t36); t46 = (t44 & t45); *((unsigned int *)t43) = t46; t47 = (t22 + 4); t48 = (t36 + 4); t49 = (t43 + 4); t50 = *((unsigned int *)t47); t51 = *((unsigned int *)t48); t52 = (t50 | t51); *((unsigned int *)t49) = t52; t53 = *((unsigned int *)t49); t54 = (t53 != 0); if (t54 == 1) goto LAB21; LAB22: LAB23: goto LAB16; LAB17: *((unsigned int *)t36) = 1; goto LAB20; LAB19: t42 = (t36 + 4); *((unsigned int *)t36) = 1; *((unsigned int *)t42) = 1; goto LAB20; LAB21: t55 = *((unsigned int *)t43); t56 = *((unsigned int *)t49); *((unsigned int *)t43) = (t55 | t56); t57 = (t22 + 4); t58 = (t36 + 4); t59 = *((unsigned int *)t22); t60 = (~(t59)); t61 = *((unsigned int *)t57); t62 = (~(t61)); t63 = *((unsigned int *)t36); t64 = (~(t63)); t65 = *((unsigned int *)t58); t66 = (~(t65)); t67 = (t60 & t62); t68 = (t64 & t66); t69 = (~(t67)); t70 = (~(t68)); t71 = *((unsigned int *)t49); *((unsigned int *)t49) = (t71 & t69); t72 = *((unsigned int *)t49); *((unsigned int *)t49) = (t72 & t70); t73 = *((unsigned int *)t43); *((unsigned int *)t43) = (t73 & t69); t74 = *((unsigned int *)t43); *((unsigned int *)t43) = (t74 & t70); goto LAB23; LAB24: *((unsigned int *)t3) = 1; goto LAB27; LAB29: t86 = *((unsigned int *)t3); t87 = *((unsigned int *)t83); *((unsigned int *)t3) = (t86 | t87); t88 = *((unsigned int *)t82); t89 = *((unsigned int *)t83); *((unsigned int *)t82) = (t88 | t89); goto LAB28; } static void Always_26_5(char *t0) { char t4[8]; char *t1; char *t2; char *t3; char *t5; char *t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; char *t12; char *t13; char *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; unsigned int t24; unsigned int t25; unsigned int t26; unsigned int t27; unsigned int t28; char *t29; char *t30; LAB0: t1 = (t0 + 6648U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(26, ng0); t2 = (t0 + 7544); *((int *)t2) = 1; t3 = (t0 + 6680); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(26, ng0); LAB5: xsi_set_current_line(27, ng0); t5 = (t0 + 1688U); t6 = *((char **)t5); memset(t4, 0, 8); t5 = (t6 + 4); t7 = *((unsigned int *)t5); t8 = (~(t7)); t9 = *((unsigned int *)t6); t10 = (t9 & t8); t11 = (t10 & 1U); if (t11 != 0) goto LAB9; LAB7: if (*((unsigned int *)t5) == 0) goto LAB6; LAB8: t12 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t12) = 1; LAB9: t13 = (t4 + 4); t14 = (t6 + 4); t15 = *((unsigned int *)t6); t16 = (~(t15)); *((unsigned int *)t4) = t16; *((unsigned int *)t13) = 0; if (*((unsigned int *)t14) != 0) goto LAB11; LAB10: t21 = *((unsigned int *)t4); *((unsigned int *)t4) = (t21 & 1U); t22 = *((unsigned int *)t13); *((unsigned int *)t13) = (t22 & 1U); t23 = (t4 + 4); t24 = *((unsigned int *)t23); t25 = (~(t24)); t26 = *((unsigned int *)t4); t27 = (t26 & t25); t28 = (t27 != 0); if (t28 > 0) goto LAB12; LAB13: xsi_set_current_line(33, ng0); LAB16: xsi_set_current_line(34, ng0); t2 = (t0 + 1848U); t3 = *((char **)t2); t2 = (t3 + 4); t7 = *((unsigned int *)t2); t8 = (~(t7)); t9 = *((unsigned int *)t3); t10 = (t9 & t8); t11 = (t10 != 0); if (t11 > 0) goto LAB17; LAB18: LAB19: xsi_set_current_line(35, ng0); t2 = (t0 + 2008U); t3 = *((char **)t2); t2 = (t3 + 4); t7 = *((unsigned int *)t2); t8 = (~(t7)); t9 = *((unsigned int *)t3); t10 = (t9 & t8); t11 = (t10 != 0); if (t11 > 0) goto LAB20; LAB21: LAB22: xsi_set_current_line(36, ng0); t2 = (t0 + 2168U); t3 = *((char **)t2); t2 = (t3 + 4); t7 = *((unsigned int *)t2); t8 = (~(t7)); t9 = *((unsigned int *)t3); t10 = (t9 & t8); t11 = (t10 != 0); if (t11 > 0) goto LAB23; LAB24: LAB25: xsi_set_current_line(37, ng0); t2 = (t0 + 2328U); t3 = *((char **)t2); t2 = (t3 + 4); t7 = *((unsigned int *)t2); t8 = (~(t7)); t9 = *((unsigned int *)t3); t10 = (t9 & t8); t11 = (t10 != 0); if (t11 > 0) goto LAB26; LAB27: LAB28: xsi_set_current_line(38, ng0); t2 = (t0 + 2488U); t3 = *((char **)t2); t2 = (t3 + 4); t7 = *((unsigned int *)t2); t8 = (~(t7)); t9 = *((unsigned int *)t3); t10 = (t9 & t8); t11 = (t10 != 0); if (t11 > 0) goto LAB29; LAB30: LAB31: LAB14: goto LAB2; LAB6: *((unsigned int *)t4) = 1; goto LAB9; LAB11: t17 = *((unsigned int *)t4); t18 = *((unsigned int *)t14); *((unsigned int *)t4) = (t17 | t18); t19 = *((unsigned int *)t13); t20 = *((unsigned int *)t14); *((unsigned int *)t13) = (t19 | t20); goto LAB10; LAB12: xsi_set_current_line(27, ng0); LAB15: xsi_set_current_line(28, ng0); t29 = ((char*)((ng1))); t30 = (t0 + 3688); xsi_vlogvar_wait_assign_value(t30, t29, 0, 0, 1, 0LL); xsi_set_current_line(29, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 3848); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); xsi_set_current_line(30, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 4008); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); xsi_set_current_line(31, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 4168); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); xsi_set_current_line(32, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 4328); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); goto LAB14; LAB17: xsi_set_current_line(34, ng0); t5 = ((char*)((ng2))); t6 = (t0 + 3688); xsi_vlogvar_wait_assign_value(t6, t5, 0, 0, 1, 0LL); goto LAB19; LAB20: xsi_set_current_line(35, ng0); t5 = ((char*)((ng2))); t6 = (t0 + 3848); xsi_vlogvar_wait_assign_value(t6, t5, 0, 0, 1, 0LL); goto LAB22; LAB23: xsi_set_current_line(36, ng0); t5 = ((char*)((ng2))); t6 = (t0 + 4008); xsi_vlogvar_wait_assign_value(t6, t5, 0, 0, 1, 0LL); goto LAB25; LAB26: xsi_set_current_line(37, ng0); t5 = ((char*)((ng2))); t6 = (t0 + 4168); xsi_vlogvar_wait_assign_value(t6, t5, 0, 0, 1, 0LL); goto LAB28; LAB29: xsi_set_current_line(38, ng0); t5 = ((char*)((ng2))); t6 = (t0 + 4328); xsi_vlogvar_wait_assign_value(t6, t5, 0, 0, 1, 0LL); goto LAB31; } static void Cont_44_6(char *t0) { char t3[8]; char t4[8]; char t22[8]; char t37[8]; char t45[8]; char *t1; char *t2; char *t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; char *t11; char *t12; char *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; char *t23; unsigned int t24; unsigned int t25; unsigned int t26; unsigned int t27; unsigned int t28; char *t29; char *t30; unsigned int t31; unsigned int t32; unsigned int t33; char *t34; char *t35; char *t36; char *t38; unsigned int t39; unsigned int t40; unsigned int t41; unsigned int t42; unsigned int t43; char *t44; unsigned int t46; unsigned int t47; unsigned int t48; char *t49; char *t50; char *t51; unsigned int t52; unsigned int t53; unsigned int t54; unsigned int t55; unsigned int t56; unsigned int t57; unsigned int t58; char *t59; char *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; int t69; int t70; unsigned int t71; unsigned int t72; unsigned int t73; unsigned int t74; unsigned int t75; unsigned int t76; char *t77; unsigned int t78; unsigned int t79; unsigned int t80; unsigned int t81; unsigned int t82; char *t83; char *t84; char *t85; unsigned int t86; unsigned int t87; unsigned int t88; unsigned int t89; unsigned int t90; unsigned int t91; unsigned int t92; unsigned int t93; char *t94; char *t95; char *t96; char *t97; char *t98; unsigned int t99; unsigned int t100; char *t101; unsigned int t102; unsigned int t103; char *t104; unsigned int t105; unsigned int t106; char *t107; LAB0: t1 = (t0 + 6896U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(44, ng0); t2 = (t0 + 1208U); t5 = *((char **)t2); memset(t4, 0, 8); t2 = (t5 + 4); t6 = *((unsigned int *)t2); t7 = (~(t6)); t8 = *((unsigned int *)t5); t9 = (t8 & t7); t10 = (t9 & 1U); if (t10 != 0) goto LAB7; LAB5: if (*((unsigned int *)t2) == 0) goto LAB4; LAB6: t11 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t11) = 1; LAB7: t12 = (t4 + 4); t13 = (t5 + 4); t14 = *((unsigned int *)t5); t15 = (~(t14)); *((unsigned int *)t4) = t15; *((unsigned int *)t12) = 0; if (*((unsigned int *)t13) != 0) goto LAB9; LAB8: t20 = *((unsigned int *)t4); *((unsigned int *)t4) = (t20 & 1U); t21 = *((unsigned int *)t12); *((unsigned int *)t12) = (t21 & 1U); memset(t22, 0, 8); t23 = (t4 + 4); t24 = *((unsigned int *)t23); t25 = (~(t24)); t26 = *((unsigned int *)t4); t27 = (t26 & t25); t28 = (t27 & 1U); if (t28 != 0) goto LAB10; LAB11: if (*((unsigned int *)t23) != 0) goto LAB12; LAB13: t30 = (t22 + 4); t31 = *((unsigned int *)t22); t32 = *((unsigned int *)t30); t33 = (t31 || t32); if (t33 > 0) goto LAB14; LAB15: memcpy(t45, t22, 8); LAB16: memset(t3, 0, 8); t77 = (t45 + 4); t78 = *((unsigned int *)t77); t79 = (~(t78)); t80 = *((unsigned int *)t45); t81 = (t80 & t79); t82 = (t81 & 1U); if (t82 != 0) goto LAB27; LAB25: if (*((unsigned int *)t77) == 0) goto LAB24; LAB26: t83 = (t3 + 4); *((unsigned int *)t3) = 1; *((unsigned int *)t83) = 1; LAB27: t84 = (t3 + 4); t85 = (t45 + 4); t86 = *((unsigned int *)t45); t87 = (~(t86)); *((unsigned int *)t3) = t87; *((unsigned int *)t84) = 0; if (*((unsigned int *)t85) != 0) goto LAB29; LAB28: t92 = *((unsigned int *)t3); *((unsigned int *)t3) = (t92 & 1U); t93 = *((unsigned int *)t84); *((unsigned int *)t84) = (t93 & 1U); t94 = (t0 + 7912); t95 = (t94 + 56U); t96 = *((char **)t95); t97 = (t96 + 56U); t98 = *((char **)t97); memset(t98, 0, 8); t99 = 1U; t100 = t99; t101 = (t3 + 4); t102 = *((unsigned int *)t3); t99 = (t99 & t102); t103 = *((unsigned int *)t101); t100 = (t100 & t103); t104 = (t98 + 4); t105 = *((unsigned int *)t98); *((unsigned int *)t98) = (t105 | t99); t106 = *((unsigned int *)t104); *((unsigned int *)t104) = (t106 | t100); xsi_driver_vfirst_trans(t94, 0, 0); t107 = (t0 + 7560); *((int *)t107) = 1; LAB1: return; LAB4: *((unsigned int *)t4) = 1; goto LAB7; LAB9: t16 = *((unsigned int *)t4); t17 = *((unsigned int *)t13); *((unsigned int *)t4) = (t16 | t17); t18 = *((unsigned int *)t12); t19 = *((unsigned int *)t13); *((unsigned int *)t12) = (t18 | t19); goto LAB8; LAB10: *((unsigned int *)t22) = 1; goto LAB13; LAB12: t29 = (t22 + 4); *((unsigned int *)t22) = 1; *((unsigned int *)t29) = 1; goto LAB13; LAB14: t34 = (t0 + 4488); t35 = (t34 + 56U); t36 = *((char **)t35); memset(t37, 0, 8); t38 = (t36 + 4); t39 = *((unsigned int *)t38); t40 = (~(t39)); t41 = *((unsigned int *)t36); t42 = (t41 & t40); t43 = (t42 & 1U); if (t43 != 0) goto LAB17; LAB18: if (*((unsigned int *)t38) != 0) goto LAB19; LAB20: t46 = *((unsigned int *)t22); t47 = *((unsigned int *)t37); t48 = (t46 & t47); *((unsigned int *)t45) = t48; t49 = (t22 + 4); t50 = (t37 + 4); t51 = (t45 + 4); t52 = *((unsigned int *)t49); t53 = *((unsigned int *)t50); t54 = (t52 | t53); *((unsigned int *)t51) = t54; t55 = *((unsigned int *)t51); t56 = (t55 != 0); if (t56 == 1) goto LAB21; LAB22: LAB23: goto LAB16; LAB17: *((unsigned int *)t37) = 1; goto LAB20; LAB19: t44 = (t37 + 4); *((unsigned int *)t37) = 1; *((unsigned int *)t44) = 1; goto LAB20; LAB21: t57 = *((unsigned int *)t45); t58 = *((unsigned int *)t51); *((unsigned int *)t45) = (t57 | t58); t59 = (t22 + 4); t60 = (t37 + 4); t61 = *((unsigned int *)t22); t62 = (~(t61)); t63 = *((unsigned int *)t59); t64 = (~(t63)); t65 = *((unsigned int *)t37); t66 = (~(t65)); t67 = *((unsigned int *)t60); t68 = (~(t67)); t69 = (t62 & t64); t70 = (t66 & t68); t71 = (~(t69)); t72 = (~(t70)); t73 = *((unsigned int *)t51); *((unsigned int *)t51) = (t73 & t71); t74 = *((unsigned int *)t51); *((unsigned int *)t51) = (t74 & t72); t75 = *((unsigned int *)t45); *((unsigned int *)t45) = (t75 & t71); t76 = *((unsigned int *)t45); *((unsigned int *)t45) = (t76 & t72); goto LAB23; LAB24: *((unsigned int *)t3) = 1; goto LAB27; LAB29: t88 = *((unsigned int *)t3); t89 = *((unsigned int *)t85); *((unsigned int *)t3) = (t88 | t89); t90 = *((unsigned int *)t84); t91 = *((unsigned int *)t85); *((unsigned int *)t84) = (t90 | t91); goto LAB28; } static void Always_45_7(char *t0) { char t4[8]; char t31[8]; char t35[8]; char t42[8]; char *t1; char *t2; char *t3; char *t5; char *t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; char *t12; char *t13; char *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; unsigned int t24; unsigned int t25; unsigned int t26; unsigned int t27; unsigned int t28; char *t29; char *t30; unsigned int t32; unsigned int t33; unsigned int t34; unsigned int t36; unsigned int t37; unsigned int t38; unsigned int t39; unsigned int t40; char *t41; unsigned int t43; unsigned int t44; unsigned int t45; char *t46; char *t47; char *t48; unsigned int t49; unsigned int t50; unsigned int t51; unsigned int t52; unsigned int t53; unsigned int t54; unsigned int t55; char *t56; char *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; int t66; int t67; unsigned int t68; unsigned int t69; unsigned int t70; unsigned int t71; unsigned int t72; unsigned int t73; char *t74; unsigned int t75; unsigned int t76; unsigned int t77; unsigned int t78; unsigned int t79; char *t80; char *t81; LAB0: t1 = (t0 + 7144U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(45, ng0); t2 = (t0 + 7576); *((int *)t2) = 1; t3 = (t0 + 7176); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(45, ng0); LAB5: xsi_set_current_line(46, ng0); t5 = (t0 + 1688U); t6 = *((char **)t5); memset(t4, 0, 8); t5 = (t6 + 4); t7 = *((unsigned int *)t5); t8 = (~(t7)); t9 = *((unsigned int *)t6); t10 = (t9 & t8); t11 = (t10 & 1U); if (t11 != 0) goto LAB9; LAB7: if (*((unsigned int *)t5) == 0) goto LAB6; LAB8: t12 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t12) = 1; LAB9: t13 = (t4 + 4); t14 = (t6 + 4); t15 = *((unsigned int *)t6); t16 = (~(t15)); *((unsigned int *)t4) = t16; *((unsigned int *)t13) = 0; if (*((unsigned int *)t14) != 0) goto LAB11; LAB10: t21 = *((unsigned int *)t4); *((unsigned int *)t4) = (t21 & 1U); t22 = *((unsigned int *)t13); *((unsigned int *)t13) = (t22 & 1U); t23 = (t4 + 4); t24 = *((unsigned int *)t23); t25 = (~(t24)); t26 = *((unsigned int *)t4); t27 = (t26 & t25); t28 = (t27 != 0); if (t28 > 0) goto LAB12; LAB13: xsi_set_current_line(49, ng0); t2 = (t0 + 2808U); t3 = *((char **)t2); memset(t4, 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 LAB16; LAB17: if (*((unsigned int *)t2) != 0) goto LAB18; LAB19: t6 = (t4 + 4); t15 = *((unsigned int *)t4); t16 = *((unsigned int *)t6); t17 = (t15 || t16); if (t17 > 0) goto LAB20; LAB21: memcpy(t42, t4, 8); LAB22: t74 = (t42 + 4); t75 = *((unsigned int *)t74); t76 = (~(t75)); t77 = *((unsigned int *)t42); t78 = (t77 & t76); t79 = (t78 != 0); if (t79 > 0) goto LAB36; LAB37: LAB38: LAB14: goto LAB2; LAB6: *((unsigned int *)t4) = 1; goto LAB9; LAB11: t17 = *((unsigned int *)t4); t18 = *((unsigned int *)t14); *((unsigned int *)t4) = (t17 | t18); t19 = *((unsigned int *)t13); t20 = *((unsigned int *)t14); *((unsigned int *)t13) = (t19 | t20); goto LAB10; LAB12: xsi_set_current_line(46, ng0); LAB15: xsi_set_current_line(47, ng0); t29 = ((char*)((ng2))); t30 = (t0 + 3368); xsi_vlogvar_wait_assign_value(t30, t29, 0, 0, 1, 0LL); xsi_set_current_line(48, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 4488); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); goto LAB14; LAB16: *((unsigned int *)t4) = 1; goto LAB19; LAB18: t5 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t5) = 1; goto LAB19; LAB20: t12 = (t0 + 2968U); t13 = *((char **)t12); memset(t31, 0, 8); t12 = (t13 + 4); t18 = *((unsigned int *)t12); t19 = (~(t18)); t20 = *((unsigned int *)t13); t21 = (t20 & t19); t22 = (t21 & 1U); if (t22 != 0) goto LAB26; LAB24: if (*((unsigned int *)t12) == 0) goto LAB23; LAB25: t14 = (t31 + 4); *((unsigned int *)t31) = 1; *((unsigned int *)t14) = 1; LAB26: t23 = (t31 + 4); t29 = (t13 + 4); t24 = *((unsigned int *)t13); t25 = (~(t24)); *((unsigned int *)t31) = t25; *((unsigned int *)t23) = 0; if (*((unsigned int *)t29) != 0) goto LAB28; LAB27: t33 = *((unsigned int *)t31); *((unsigned int *)t31) = (t33 & 1U); t34 = *((unsigned int *)t23); *((unsigned int *)t23) = (t34 & 1U); memset(t35, 0, 8); t30 = (t31 + 4); t36 = *((unsigned int *)t30); t37 = (~(t36)); t38 = *((unsigned int *)t31); t39 = (t38 & t37); t40 = (t39 & 1U); if (t40 != 0) goto LAB29; LAB30: if (*((unsigned int *)t30) != 0) goto LAB31; LAB32: t43 = *((unsigned int *)t4); t44 = *((unsigned int *)t35); t45 = (t43 & t44); *((unsigned int *)t42) = t45; t46 = (t4 + 4); t47 = (t35 + 4); t48 = (t42 + 4); t49 = *((unsigned int *)t46); t50 = *((unsigned int *)t47); t51 = (t49 | t50); *((unsigned int *)t48) = t51; t52 = *((unsigned int *)t48); t53 = (t52 != 0); if (t53 == 1) goto LAB33; LAB34: LAB35: goto LAB22; LAB23: *((unsigned int *)t31) = 1; goto LAB26; LAB28: t26 = *((unsigned int *)t31); t27 = *((unsigned int *)t29); *((unsigned int *)t31) = (t26 | t27); t28 = *((unsigned int *)t23); t32 = *((unsigned int *)t29); *((unsigned int *)t23) = (t28 | t32); goto LAB27; LAB29: *((unsigned int *)t35) = 1; goto LAB32; LAB31: t41 = (t35 + 4); *((unsigned int *)t35) = 1; *((unsigned int *)t41) = 1; goto LAB32; LAB33: t54 = *((unsigned int *)t42); t55 = *((unsigned int *)t48); *((unsigned int *)t42) = (t54 | t55); t56 = (t4 + 4); t57 = (t35 + 4); t58 = *((unsigned int *)t4); t59 = (~(t58)); t60 = *((unsigned int *)t56); t61 = (~(t60)); t62 = *((unsigned int *)t35); t63 = (~(t62)); t64 = *((unsigned int *)t57); t65 = (~(t64)); t66 = (t59 & t61); t67 = (t63 & t65); t68 = (~(t66)); t69 = (~(t67)); t70 = *((unsigned int *)t48); *((unsigned int *)t48) = (t70 & t68); t71 = *((unsigned int *)t48); *((unsigned int *)t48) = (t71 & t69); t72 = *((unsigned int *)t42); *((unsigned int *)t42) = (t72 & t68); t73 = *((unsigned int *)t42); *((unsigned int *)t42) = (t73 & t69); goto LAB35; LAB36: xsi_set_current_line(49, ng0); LAB39: xsi_set_current_line(50, ng0); t80 = (t0 + 2648U); t81 = *((char **)t80); t80 = (t0 + 3368); xsi_vlogvar_wait_assign_value(t80, t81, 0, 0, 1, 0LL); xsi_set_current_line(51, ng0); t2 = (t0 + 2648U); t3 = *((char **)t2); t2 = (t0 + 4488); xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 1, 0LL); goto LAB38; } extern void work_m_00000000002613258380_2132107520_init() { static char *pe[] = {(void *)Always_15_0,(void *)Cont_16_1,(void *)NetDecl_21_2,(void *)NetDecl_24_3,(void *)Cont_25_4,(void *)Always_26_5,(void *)Cont_44_6,(void *)Always_45_7}; xsi_register_didat("work_m_00000000002613258380_2132107520", "isim/t_fsb_isim_beh.exe.sim/work/m_00000000002613258380_2132107520.didat"); xsi_register_executes(pe); }