URL
https://opencores.org/ocsvn/fluid_core_2/fluid_core_2/trunk
Subversion Repositories fluid_core_2
[/] [fluid_core_2/] [trunk/] [xilinx14.5 project/] [isim/] [tb_Test_Bed_isim_beh.exe.sim/] [work/] [m_00000000003215793394_1742042216.c] - Rev 4
Compare with Previous | Blame | View Log
/**********************************************************************/ /* ____ ____ */ /* / /\/ / */ /* /___/ \ / */ /* \ \ \/ */ /* \ \ 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 <memory.h> #ifdef __GNUC__ #include <stdlib.h> #else #include <malloc.h> #define alloca _alloca #endif static const char *ng0 = "C:/Users/Azmath/Documents/M Tech Project/FC2/WB_Stage.v"; static unsigned int ng1[] = {0U, 0U}; static unsigned int ng2[] = {1U, 0U}; static unsigned int ng3[] = {0U, 4294967295U}; static unsigned int ng4[] = {2U, 0U}; static void Cont_20_0(char *t0) { char t3[8]; char *t1; char *t2; char *t4; char *t5; char *t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; char *t13; char *t14; char *t15; char *t16; char *t17; unsigned int t18; unsigned int t19; char *t20; unsigned int t21; unsigned int t22; char *t23; unsigned int t24; unsigned int t25; char *t26; LAB0: t1 = (t0 + 4288U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(20, ng0); t2 = (t0 + 1688U); t4 = *((char **)t2); memset(t3, 0, 8); t2 = (t3 + 4); t5 = (t4 + 8); t6 = (t4 + 12); t7 = *((unsigned int *)t5); t8 = (t7 >> 5); *((unsigned int *)t3) = t8; t9 = *((unsigned int *)t6); t10 = (t9 >> 5); *((unsigned int *)t2) = t10; t11 = *((unsigned int *)t3); *((unsigned int *)t3) = (t11 & 3U); t12 = *((unsigned int *)t2); *((unsigned int *)t2) = (t12 & 3U); t13 = (t0 + 6800); t14 = (t13 + 56U); t15 = *((char **)t14); t16 = (t15 + 56U); t17 = *((char **)t16); memset(t17, 0, 8); t18 = 3U; t19 = t18; t20 = (t3 + 4); t21 = *((unsigned int *)t3); t18 = (t18 & t21); t22 = *((unsigned int *)t20); t19 = (t19 & t22); t23 = (t17 + 4); t24 = *((unsigned int *)t17); *((unsigned int *)t17) = (t24 | t18); t25 = *((unsigned int *)t23); *((unsigned int *)t23) = (t25 | t19); xsi_driver_vfirst_trans(t13, 0, 1); t26 = (t0 + 6592); *((int *)t26) = 1; LAB1: return; } static void Cont_21_1(char *t0) { char t3[8]; char *t1; char *t2; char *t4; char *t5; char *t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; char *t13; char *t14; char *t15; char *t16; char *t17; unsigned int t18; unsigned int t19; char *t20; unsigned int t21; unsigned int t22; char *t23; unsigned int t24; unsigned int t25; char *t26; LAB0: t1 = (t0 + 4536U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(21, ng0); t2 = (t0 + 1688U); t4 = *((char **)t2); memset(t3, 0, 8); t2 = (t3 + 4); t5 = (t4 + 8); t6 = (t4 + 12); t7 = *((unsigned int *)t5); t8 = (t7 >> 3); *((unsigned int *)t3) = t8; t9 = *((unsigned int *)t6); t10 = (t9 >> 3); *((unsigned int *)t2) = t10; t11 = *((unsigned int *)t3); *((unsigned int *)t3) = (t11 & 3U); t12 = *((unsigned int *)t2); *((unsigned int *)t2) = (t12 & 3U); t13 = (t0 + 6864); t14 = (t13 + 56U); t15 = *((char **)t14); t16 = (t15 + 56U); t17 = *((char **)t16); memset(t17, 0, 8); t18 = 3U; t19 = t18; t20 = (t3 + 4); t21 = *((unsigned int *)t3); t18 = (t18 & t21); t22 = *((unsigned int *)t20); t19 = (t19 & t22); t23 = (t17 + 4); t24 = *((unsigned int *)t17); *((unsigned int *)t17) = (t24 | t18); t25 = *((unsigned int *)t23); *((unsigned int *)t23) = (t25 | t19); xsi_driver_vfirst_trans(t13, 0, 1); t26 = (t0 + 6608); *((int *)t26) = 1; LAB1: return; } static void Cont_22_2(char *t0) { char t3[8]; char *t1; char *t2; char *t4; char *t5; char *t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; char *t13; char *t14; char *t15; char *t16; char *t17; unsigned int t18; unsigned int t19; char *t20; unsigned int t21; unsigned int t22; char *t23; unsigned int t24; unsigned int t25; char *t26; LAB0: t1 = (t0 + 4784U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(22, ng0); t2 = (t0 + 1688U); t4 = *((char **)t2); memset(t3, 0, 8); t2 = (t3 + 4); t5 = (t4 + 8); t6 = (t4 + 12); t7 = *((unsigned int *)t5); t8 = (t7 >> 0); *((unsigned int *)t3) = t8; t9 = *((unsigned int *)t6); t10 = (t9 >> 0); *((unsigned int *)t2) = t10; t11 = *((unsigned int *)t3); *((unsigned int *)t3) = (t11 & 7U); t12 = *((unsigned int *)t2); *((unsigned int *)t2) = (t12 & 7U); t13 = (t0 + 6928); t14 = (t13 + 56U); t15 = *((char **)t14); t16 = (t15 + 56U); t17 = *((char **)t16); memset(t17, 0, 8); t18 = 7U; t19 = t18; t20 = (t3 + 4); t21 = *((unsigned int *)t3); t18 = (t18 & t21); t22 = *((unsigned int *)t20); t19 = (t19 & t22); t23 = (t17 + 4); t24 = *((unsigned int *)t17); *((unsigned int *)t17) = (t24 | t18); t25 = *((unsigned int *)t23); *((unsigned int *)t23) = (t25 | t19); xsi_driver_vfirst_trans(t13, 0, 2); t26 = (t0 + 6624); *((int *)t26) = 1; LAB1: return; } static void Cont_24_3(char *t0) { char t3[8]; char t4[8]; char t6[8]; char t19[8]; char t35[8]; char t50[8]; char t66[8]; char t74[8]; char t102[8]; char t110[8]; char t155[8]; char *t1; char *t2; char *t5; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; char *t12; char *t13; unsigned int t14; unsigned int t15; unsigned int t16; char *t17; char *t18; char *t20; char *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; unsigned int t32; unsigned int t33; char *t34; char *t36; unsigned int t37; unsigned int t38; unsigned int t39; unsigned int t40; unsigned int t41; char *t42; char *t43; unsigned int t44; unsigned int t45; unsigned int t46; unsigned int t47; char *t48; char *t49; char *t51; char *t52; unsigned int t53; unsigned int t54; unsigned int t55; unsigned int t56; unsigned int t57; unsigned int t58; unsigned int t59; unsigned int t60; unsigned int t61; unsigned int t62; unsigned int t63; unsigned int t64; char *t65; char *t67; unsigned int t68; unsigned int t69; unsigned int t70; unsigned int t71; unsigned int t72; char *t73; unsigned int t75; unsigned int t76; unsigned int t77; char *t78; char *t79; char *t80; unsigned int t81; unsigned int t82; unsigned int t83; unsigned int t84; unsigned int t85; unsigned int t86; unsigned int t87; char *t88; char *t89; unsigned int t90; unsigned int t91; unsigned int t92; int t93; unsigned int t94; unsigned int t95; unsigned int t96; int t97; unsigned int t98; unsigned int t99; unsigned int t100; unsigned int t101; char *t103; unsigned int t104; unsigned int t105; unsigned int t106; unsigned int t107; unsigned int t108; char *t109; unsigned int t111; unsigned int t112; unsigned int t113; char *t114; char *t115; char *t116; unsigned int t117; unsigned int t118; unsigned int t119; unsigned int t120; unsigned int t121; unsigned int t122; unsigned int t123; char *t124; char *t125; unsigned int t126; unsigned int t127; unsigned int t128; unsigned int t129; unsigned int t130; unsigned int t131; unsigned int t132; unsigned int t133; int t134; int t135; unsigned int t136; unsigned int t137; unsigned int t138; unsigned int t139; unsigned int t140; unsigned int t141; char *t142; unsigned int t143; unsigned int t144; unsigned int t145; unsigned int t146; unsigned int t147; char *t148; char *t149; unsigned int t150; unsigned int t151; unsigned int t152; char *t153; char *t154; unsigned int t156; unsigned int t157; unsigned int t158; unsigned int t159; char *t160; char *t161; char *t162; char *t163; char *t164; unsigned int t165; unsigned int t166; char *t167; unsigned int t168; unsigned int t169; char *t170; unsigned int t171; unsigned int t172; char *t173; LAB0: t1 = (t0 + 5032U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(24, ng0); t2 = (t0 + 1048U); t5 = *((char **)t2); memset(t6, 0, 8); t2 = (t5 + 4); t7 = *((unsigned int *)t2); t8 = (~(t7)); t9 = *((unsigned int *)t5); t10 = (t9 & t8); t11 = (t10 & 1U); if (t11 != 0) goto LAB4; LAB5: if (*((unsigned int *)t2) != 0) goto LAB6; LAB7: t13 = (t6 + 4); t14 = *((unsigned int *)t6); t15 = *((unsigned int *)t13); t16 = (t14 || t15); if (t16 > 0) goto LAB8; LAB9: memcpy(t110, t6, 8); LAB10: memset(t4, 0, 8); t142 = (t110 + 4); t143 = *((unsigned int *)t142); t144 = (~(t143)); t145 = *((unsigned int *)t110); t146 = (t145 & t144); t147 = (t146 & 1U); if (t147 != 0) goto LAB40; LAB41: if (*((unsigned int *)t142) != 0) goto LAB42; LAB43: t149 = (t4 + 4); t150 = *((unsigned int *)t4); t151 = *((unsigned int *)t149); t152 = (t150 || t151); if (t152 > 0) goto LAB44; LAB45: t156 = *((unsigned int *)t4); t157 = (~(t156)); t158 = *((unsigned int *)t149); t159 = (t157 || t158); if (t159 > 0) goto LAB46; LAB47: if (*((unsigned int *)t149) > 0) goto LAB48; LAB49: if (*((unsigned int *)t4) > 0) goto LAB50; LAB51: memcpy(t3, t153, 8); LAB52: t160 = (t0 + 6992); t161 = (t160 + 56U); t162 = *((char **)t161); t163 = (t162 + 56U); t164 = *((char **)t163); memset(t164, 0, 8); t165 = 31U; t166 = t165; t167 = (t3 + 4); t168 = *((unsigned int *)t3); t165 = (t165 & t168); t169 = *((unsigned int *)t167); t166 = (t166 & t169); t170 = (t164 + 4); t171 = *((unsigned int *)t164); *((unsigned int *)t164) = (t171 | t165); t172 = *((unsigned int *)t170); *((unsigned int *)t170) = (t172 | t166); xsi_driver_vfirst_trans(t160, 0, 4); t173 = (t0 + 6640); *((int *)t173) = 1; LAB1: return; LAB4: *((unsigned int *)t6) = 1; goto LAB7; LAB6: t12 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t12) = 1; goto LAB7; LAB8: t17 = (t0 + 2648U); t18 = *((char **)t17); t17 = ((char*)((ng1))); memset(t19, 0, 8); t20 = (t18 + 4); t21 = (t17 + 4); t22 = *((unsigned int *)t18); t23 = *((unsigned int *)t17); t24 = (t22 ^ t23); t25 = *((unsigned int *)t20); t26 = *((unsigned int *)t21); t27 = (t25 ^ t26); t28 = (t24 | t27); t29 = *((unsigned int *)t20); t30 = *((unsigned int *)t21); t31 = (t29 | t30); t32 = (~(t31)); t33 = (t28 & t32); if (t33 != 0) goto LAB14; LAB11: if (t31 != 0) goto LAB13; LAB12: *((unsigned int *)t19) = 1; LAB14: memset(t35, 0, 8); t36 = (t19 + 4); t37 = *((unsigned int *)t36); t38 = (~(t37)); t39 = *((unsigned int *)t19); t40 = (t39 & t38); t41 = (t40 & 1U); if (t41 != 0) goto LAB15; LAB16: if (*((unsigned int *)t36) != 0) goto LAB17; LAB18: t43 = (t35 + 4); t44 = *((unsigned int *)t35); t45 = (!(t44)); t46 = *((unsigned int *)t43); t47 = (t45 || t46); if (t47 > 0) goto LAB19; LAB20: memcpy(t74, t35, 8); LAB21: memset(t102, 0, 8); t103 = (t74 + 4); t104 = *((unsigned int *)t103); t105 = (~(t104)); t106 = *((unsigned int *)t74); t107 = (t106 & t105); t108 = (t107 & 1U); if (t108 != 0) goto LAB33; LAB34: if (*((unsigned int *)t103) != 0) goto LAB35; LAB36: t111 = *((unsigned int *)t6); t112 = *((unsigned int *)t102); t113 = (t111 & t112); *((unsigned int *)t110) = t113; t114 = (t6 + 4); t115 = (t102 + 4); t116 = (t110 + 4); t117 = *((unsigned int *)t114); t118 = *((unsigned int *)t115); t119 = (t117 | t118); *((unsigned int *)t116) = t119; t120 = *((unsigned int *)t116); t121 = (t120 != 0); if (t121 == 1) goto LAB37; LAB38: LAB39: goto LAB10; LAB13: t34 = (t19 + 4); *((unsigned int *)t19) = 1; *((unsigned int *)t34) = 1; goto LAB14; LAB15: *((unsigned int *)t35) = 1; goto LAB18; LAB17: t42 = (t35 + 4); *((unsigned int *)t35) = 1; *((unsigned int *)t42) = 1; goto LAB18; LAB19: t48 = (t0 + 2648U); t49 = *((char **)t48); t48 = ((char*)((ng2))); memset(t50, 0, 8); t51 = (t49 + 4); t52 = (t48 + 4); t53 = *((unsigned int *)t49); t54 = *((unsigned int *)t48); t55 = (t53 ^ t54); t56 = *((unsigned int *)t51); t57 = *((unsigned int *)t52); t58 = (t56 ^ t57); t59 = (t55 | t58); t60 = *((unsigned int *)t51); t61 = *((unsigned int *)t52); t62 = (t60 | t61); t63 = (~(t62)); t64 = (t59 & t63); if (t64 != 0) goto LAB25; LAB22: if (t62 != 0) goto LAB24; LAB23: *((unsigned int *)t50) = 1; LAB25: memset(t66, 0, 8); t67 = (t50 + 4); t68 = *((unsigned int *)t67); t69 = (~(t68)); t70 = *((unsigned int *)t50); t71 = (t70 & t69); t72 = (t71 & 1U); if (t72 != 0) goto LAB26; LAB27: if (*((unsigned int *)t67) != 0) goto LAB28; LAB29: t75 = *((unsigned int *)t35); t76 = *((unsigned int *)t66); t77 = (t75 | t76); *((unsigned int *)t74) = t77; t78 = (t35 + 4); t79 = (t66 + 4); t80 = (t74 + 4); t81 = *((unsigned int *)t78); t82 = *((unsigned int *)t79); t83 = (t81 | t82); *((unsigned int *)t80) = t83; t84 = *((unsigned int *)t80); t85 = (t84 != 0); if (t85 == 1) goto LAB30; LAB31: LAB32: goto LAB21; LAB24: t65 = (t50 + 4); *((unsigned int *)t50) = 1; *((unsigned int *)t65) = 1; goto LAB25; LAB26: *((unsigned int *)t66) = 1; goto LAB29; LAB28: t73 = (t66 + 4); *((unsigned int *)t66) = 1; *((unsigned int *)t73) = 1; goto LAB29; LAB30: t86 = *((unsigned int *)t74); t87 = *((unsigned int *)t80); *((unsigned int *)t74) = (t86 | t87); t88 = (t35 + 4); t89 = (t66 + 4); t90 = *((unsigned int *)t88); t91 = (~(t90)); t92 = *((unsigned int *)t35); t93 = (t92 & t91); t94 = *((unsigned int *)t89); t95 = (~(t94)); t96 = *((unsigned int *)t66); t97 = (t96 & t95); t98 = (~(t93)); t99 = (~(t97)); t100 = *((unsigned int *)t80); *((unsigned int *)t80) = (t100 & t98); t101 = *((unsigned int *)t80); *((unsigned int *)t80) = (t101 & t99); goto LAB32; LAB33: *((unsigned int *)t102) = 1; goto LAB36; LAB35: t109 = (t102 + 4); *((unsigned int *)t102) = 1; *((unsigned int *)t109) = 1; goto LAB36; LAB37: t122 = *((unsigned int *)t110); t123 = *((unsigned int *)t116); *((unsigned int *)t110) = (t122 | t123); t124 = (t6 + 4); t125 = (t102 + 4); t126 = *((unsigned int *)t6); t127 = (~(t126)); t128 = *((unsigned int *)t124); t129 = (~(t128)); t130 = *((unsigned int *)t102); t131 = (~(t130)); t132 = *((unsigned int *)t125); t133 = (~(t132)); t134 = (t127 & t129); t135 = (t131 & t133); t136 = (~(t134)); t137 = (~(t135)); t138 = *((unsigned int *)t116); *((unsigned int *)t116) = (t138 & t136); t139 = *((unsigned int *)t116); *((unsigned int *)t116) = (t139 & t137); t140 = *((unsigned int *)t110); *((unsigned int *)t110) = (t140 & t136); t141 = *((unsigned int *)t110); *((unsigned int *)t110) = (t141 & t137); goto LAB39; LAB40: *((unsigned int *)t4) = 1; goto LAB43; LAB42: t148 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t148) = 1; goto LAB43; LAB44: t153 = (t0 + 2968U); t154 = *((char **)t153); memcpy(t155, t154, 8); goto LAB45; LAB46: t153 = ((char*)((ng3))); goto LAB47; LAB48: xsi_vlog_unsigned_bit_combine(t3, 32, t155, 32, t153, 32); goto LAB52; LAB50: memcpy(t3, t155, 8); goto LAB52; } static void Cont_25_4(char *t0) { char t3[8]; char t4[8]; char t6[8]; char t19[8]; char t35[8]; char t50[8]; char t66[8]; char t74[8]; char t102[8]; char t110[8]; char t153[8]; char *t1; char *t2; char *t5; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; char *t12; char *t13; unsigned int t14; unsigned int t15; unsigned int t16; char *t17; char *t18; char *t20; char *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; unsigned int t32; unsigned int t33; char *t34; char *t36; unsigned int t37; unsigned int t38; unsigned int t39; unsigned int t40; unsigned int t41; char *t42; char *t43; unsigned int t44; unsigned int t45; unsigned int t46; unsigned int t47; char *t48; char *t49; char *t51; char *t52; unsigned int t53; unsigned int t54; unsigned int t55; unsigned int t56; unsigned int t57; unsigned int t58; unsigned int t59; unsigned int t60; unsigned int t61; unsigned int t62; unsigned int t63; unsigned int t64; char *t65; char *t67; unsigned int t68; unsigned int t69; unsigned int t70; unsigned int t71; unsigned int t72; char *t73; unsigned int t75; unsigned int t76; unsigned int t77; char *t78; char *t79; char *t80; unsigned int t81; unsigned int t82; unsigned int t83; unsigned int t84; unsigned int t85; unsigned int t86; unsigned int t87; char *t88; char *t89; unsigned int t90; unsigned int t91; unsigned int t92; int t93; unsigned int t94; unsigned int t95; unsigned int t96; int t97; unsigned int t98; unsigned int t99; unsigned int t100; unsigned int t101; char *t103; unsigned int t104; unsigned int t105; unsigned int t106; unsigned int t107; unsigned int t108; char *t109; unsigned int t111; unsigned int t112; unsigned int t113; char *t114; char *t115; char *t116; unsigned int t117; unsigned int t118; unsigned int t119; unsigned int t120; unsigned int t121; unsigned int t122; unsigned int t123; char *t124; char *t125; unsigned int t126; unsigned int t127; unsigned int t128; unsigned int t129; unsigned int t130; unsigned int t131; unsigned int t132; unsigned int t133; int t134; int t135; unsigned int t136; unsigned int t137; unsigned int t138; unsigned int t139; unsigned int t140; unsigned int t141; char *t142; unsigned int t143; unsigned int t144; unsigned int t145; unsigned int t146; unsigned int t147; char *t148; char *t149; unsigned int t150; unsigned int t151; unsigned int t152; 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; unsigned int t164; unsigned int t165; unsigned int t166; char *t167; char *t168; char *t169; char *t170; char *t171; char *t172; char *t173; LAB0: t1 = (t0 + 5280U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(25, ng0); t2 = (t0 + 1048U); t5 = *((char **)t2); memset(t6, 0, 8); t2 = (t5 + 4); t7 = *((unsigned int *)t2); t8 = (~(t7)); t9 = *((unsigned int *)t5); t10 = (t9 & t8); t11 = (t10 & 1U); if (t11 != 0) goto LAB4; LAB5: if (*((unsigned int *)t2) != 0) goto LAB6; LAB7: t13 = (t6 + 4); t14 = *((unsigned int *)t6); t15 = *((unsigned int *)t13); t16 = (t14 || t15); if (t16 > 0) goto LAB8; LAB9: memcpy(t110, t6, 8); LAB10: memset(t4, 0, 8); t142 = (t110 + 4); t143 = *((unsigned int *)t142); t144 = (~(t143)); t145 = *((unsigned int *)t110); t146 = (t145 & t144); t147 = (t146 & 1U); if (t147 != 0) goto LAB40; LAB41: if (*((unsigned int *)t142) != 0) goto LAB42; LAB43: t149 = (t4 + 4); t150 = *((unsigned int *)t4); t151 = *((unsigned int *)t149); t152 = (t150 || t151); if (t152 > 0) goto LAB44; LAB45: t163 = *((unsigned int *)t4); t164 = (~(t163)); t165 = *((unsigned int *)t149); t166 = (t164 || t165); if (t166 > 0) goto LAB46; LAB47: if (*((unsigned int *)t149) > 0) goto LAB48; LAB49: if (*((unsigned int *)t4) > 0) goto LAB50; LAB51: memcpy(t3, t167, 8); LAB52: t168 = (t0 + 7056); t169 = (t168 + 56U); t170 = *((char **)t169); t171 = (t170 + 56U); t172 = *((char **)t171); memcpy(t172, t3, 8); xsi_driver_vfirst_trans(t168, 0, 31); t173 = (t0 + 6656); *((int *)t173) = 1; LAB1: return; LAB4: *((unsigned int *)t6) = 1; goto LAB7; LAB6: t12 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t12) = 1; goto LAB7; LAB8: t17 = (t0 + 2648U); t18 = *((char **)t17); t17 = ((char*)((ng1))); memset(t19, 0, 8); t20 = (t18 + 4); t21 = (t17 + 4); t22 = *((unsigned int *)t18); t23 = *((unsigned int *)t17); t24 = (t22 ^ t23); t25 = *((unsigned int *)t20); t26 = *((unsigned int *)t21); t27 = (t25 ^ t26); t28 = (t24 | t27); t29 = *((unsigned int *)t20); t30 = *((unsigned int *)t21); t31 = (t29 | t30); t32 = (~(t31)); t33 = (t28 & t32); if (t33 != 0) goto LAB14; LAB11: if (t31 != 0) goto LAB13; LAB12: *((unsigned int *)t19) = 1; LAB14: memset(t35, 0, 8); t36 = (t19 + 4); t37 = *((unsigned int *)t36); t38 = (~(t37)); t39 = *((unsigned int *)t19); t40 = (t39 & t38); t41 = (t40 & 1U); if (t41 != 0) goto LAB15; LAB16: if (*((unsigned int *)t36) != 0) goto LAB17; LAB18: t43 = (t35 + 4); t44 = *((unsigned int *)t35); t45 = (!(t44)); t46 = *((unsigned int *)t43); t47 = (t45 || t46); if (t47 > 0) goto LAB19; LAB20: memcpy(t74, t35, 8); LAB21: memset(t102, 0, 8); t103 = (t74 + 4); t104 = *((unsigned int *)t103); t105 = (~(t104)); t106 = *((unsigned int *)t74); t107 = (t106 & t105); t108 = (t107 & 1U); if (t108 != 0) goto LAB33; LAB34: if (*((unsigned int *)t103) != 0) goto LAB35; LAB36: t111 = *((unsigned int *)t6); t112 = *((unsigned int *)t102); t113 = (t111 & t112); *((unsigned int *)t110) = t113; t114 = (t6 + 4); t115 = (t102 + 4); t116 = (t110 + 4); t117 = *((unsigned int *)t114); t118 = *((unsigned int *)t115); t119 = (t117 | t118); *((unsigned int *)t116) = t119; t120 = *((unsigned int *)t116); t121 = (t120 != 0); if (t121 == 1) goto LAB37; LAB38: LAB39: goto LAB10; LAB13: t34 = (t19 + 4); *((unsigned int *)t19) = 1; *((unsigned int *)t34) = 1; goto LAB14; LAB15: *((unsigned int *)t35) = 1; goto LAB18; LAB17: t42 = (t35 + 4); *((unsigned int *)t35) = 1; *((unsigned int *)t42) = 1; goto LAB18; LAB19: t48 = (t0 + 2648U); t49 = *((char **)t48); t48 = ((char*)((ng2))); memset(t50, 0, 8); t51 = (t49 + 4); t52 = (t48 + 4); t53 = *((unsigned int *)t49); t54 = *((unsigned int *)t48); t55 = (t53 ^ t54); t56 = *((unsigned int *)t51); t57 = *((unsigned int *)t52); t58 = (t56 ^ t57); t59 = (t55 | t58); t60 = *((unsigned int *)t51); t61 = *((unsigned int *)t52); t62 = (t60 | t61); t63 = (~(t62)); t64 = (t59 & t63); if (t64 != 0) goto LAB25; LAB22: if (t62 != 0) goto LAB24; LAB23: *((unsigned int *)t50) = 1; LAB25: memset(t66, 0, 8); t67 = (t50 + 4); t68 = *((unsigned int *)t67); t69 = (~(t68)); t70 = *((unsigned int *)t50); t71 = (t70 & t69); t72 = (t71 & 1U); if (t72 != 0) goto LAB26; LAB27: if (*((unsigned int *)t67) != 0) goto LAB28; LAB29: t75 = *((unsigned int *)t35); t76 = *((unsigned int *)t66); t77 = (t75 | t76); *((unsigned int *)t74) = t77; t78 = (t35 + 4); t79 = (t66 + 4); t80 = (t74 + 4); t81 = *((unsigned int *)t78); t82 = *((unsigned int *)t79); t83 = (t81 | t82); *((unsigned int *)t80) = t83; t84 = *((unsigned int *)t80); t85 = (t84 != 0); if (t85 == 1) goto LAB30; LAB31: LAB32: goto LAB21; LAB24: t65 = (t50 + 4); *((unsigned int *)t50) = 1; *((unsigned int *)t65) = 1; goto LAB25; LAB26: *((unsigned int *)t66) = 1; goto LAB29; LAB28: t73 = (t66 + 4); *((unsigned int *)t66) = 1; *((unsigned int *)t73) = 1; goto LAB29; LAB30: t86 = *((unsigned int *)t74); t87 = *((unsigned int *)t80); *((unsigned int *)t74) = (t86 | t87); t88 = (t35 + 4); t89 = (t66 + 4); t90 = *((unsigned int *)t88); t91 = (~(t90)); t92 = *((unsigned int *)t35); t93 = (t92 & t91); t94 = *((unsigned int *)t89); t95 = (~(t94)); t96 = *((unsigned int *)t66); t97 = (t96 & t95); t98 = (~(t93)); t99 = (~(t97)); t100 = *((unsigned int *)t80); *((unsigned int *)t80) = (t100 & t98); t101 = *((unsigned int *)t80); *((unsigned int *)t80) = (t101 & t99); goto LAB32; LAB33: *((unsigned int *)t102) = 1; goto LAB36; LAB35: t109 = (t102 + 4); *((unsigned int *)t102) = 1; *((unsigned int *)t109) = 1; goto LAB36; LAB37: t122 = *((unsigned int *)t110); t123 = *((unsigned int *)t116); *((unsigned int *)t110) = (t122 | t123); t124 = (t6 + 4); t125 = (t102 + 4); t126 = *((unsigned int *)t6); t127 = (~(t126)); t128 = *((unsigned int *)t124); t129 = (~(t128)); t130 = *((unsigned int *)t102); t131 = (~(t130)); t132 = *((unsigned int *)t125); t133 = (~(t132)); t134 = (t127 & t129); t135 = (t131 & t133); t136 = (~(t134)); t137 = (~(t135)); t138 = *((unsigned int *)t116); *((unsigned int *)t116) = (t138 & t136); t139 = *((unsigned int *)t116); *((unsigned int *)t116) = (t139 & t137); t140 = *((unsigned int *)t110); *((unsigned int *)t110) = (t140 & t136); t141 = *((unsigned int *)t110); *((unsigned int *)t110) = (t141 & t137); goto LAB39; LAB40: *((unsigned int *)t4) = 1; goto LAB43; LAB42: t148 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t148) = 1; goto LAB43; LAB44: t154 = (t0 + 1688U); t155 = *((char **)t154); memset(t153, 0, 8); t154 = (t153 + 4); t156 = (t155 + 4); t157 = *((unsigned int *)t155); t158 = (t157 >> 0); *((unsigned int *)t153) = t158; t159 = *((unsigned int *)t156); t160 = (t159 >> 0); *((unsigned int *)t154) = t160; t161 = *((unsigned int *)t153); *((unsigned int *)t153) = (t161 & 4294967295U); t162 = *((unsigned int *)t154); *((unsigned int *)t154) = (t162 & 4294967295U); goto LAB45; LAB46: t167 = ((char*)((ng3))); goto LAB47; LAB48: xsi_vlog_unsigned_bit_combine(t3, 32, t153, 32, t167, 32); goto LAB52; LAB50: memcpy(t3, t153, 8); goto LAB52; } static void Cont_26_5(char *t0) { char t4[8]; char t20[8]; char t35[8]; char t51[8]; char t59[8]; char t87[8]; char t101[8]; char t115[8]; char t122[8]; char t150[8]; char t158[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; unsigned int t12; unsigned int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; unsigned int t18; char *t19; char *t21; 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 *t88; unsigned int t89; unsigned int t90; unsigned int t91; unsigned int t92; unsigned int t93; char *t94; char *t95; unsigned int t96; unsigned int t97; unsigned int t98; char *t99; char *t100; unsigned int t102; unsigned int t103; unsigned int t104; unsigned int t105; unsigned int t106; char *t107; char *t108; unsigned int t109; unsigned int t110; unsigned int t111; unsigned int t112; char *t113; char *t114; unsigned int t116; unsigned int t117; unsigned int t118; unsigned int t119; unsigned int t120; char *t121; unsigned int t123; unsigned int t124; unsigned int t125; char *t126; 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; char *t136; char *t137; unsigned int t138; unsigned int t139; unsigned int t140; int t141; unsigned int t142; unsigned int t143; unsigned int t144; int t145; unsigned int t146; unsigned int t147; unsigned int t148; unsigned int t149; char *t151; unsigned int t152; unsigned int t153; unsigned int t154; unsigned int t155; unsigned int t156; char *t157; unsigned int t159; unsigned int t160; unsigned int t161; char *t162; char *t163; char *t164; unsigned int t165; unsigned int t166; unsigned int t167; unsigned int t168; unsigned int t169; unsigned int t170; unsigned int t171; char *t172; char *t173; unsigned int t174; unsigned int t175; unsigned int t176; unsigned int t177; unsigned int t178; unsigned int t179; unsigned int t180; unsigned int t181; int t182; int t183; unsigned int t184; unsigned int t185; unsigned int t186; unsigned int t187; unsigned int t188; unsigned int t189; char *t190; char *t191; char *t192; char *t193; char *t194; unsigned int t195; unsigned int t196; char *t197; unsigned int t198; unsigned int t199; char *t200; unsigned int t201; unsigned int t202; char *t203; LAB0: t1 = (t0 + 5528U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(26, ng0); t2 = (t0 + 2648U); t3 = *((char **)t2); t2 = ((char*)((ng1))); memset(t4, 0, 8); t5 = (t3 + 4); t6 = (t2 + 4); t7 = *((unsigned int *)t3); t8 = *((unsigned int *)t2); t9 = (t7 ^ t8); t10 = *((unsigned int *)t5); t11 = *((unsigned int *)t6); t12 = (t10 ^ t11); t13 = (t9 | t12); t14 = *((unsigned int *)t5); t15 = *((unsigned int *)t6); t16 = (t14 | t15); t17 = (~(t16)); t18 = (t13 & t17); if (t18 != 0) goto LAB7; LAB4: if (t16 != 0) goto LAB6; LAB5: *((unsigned int *)t4) = 1; LAB7: memset(t20, 0, 8); t21 = (t4 + 4); t22 = *((unsigned int *)t21); t23 = (~(t22)); t24 = *((unsigned int *)t4); t25 = (t24 & t23); t26 = (t25 & 1U); if (t26 != 0) goto LAB8; LAB9: if (*((unsigned int *)t21) != 0) goto LAB10; LAB11: t28 = (t20 + 4); t29 = *((unsigned int *)t20); t30 = (!(t29)); t31 = *((unsigned int *)t28); t32 = (t30 || t31); if (t32 > 0) goto LAB12; LAB13: memcpy(t59, t20, 8); LAB14: memset(t87, 0, 8); t88 = (t59 + 4); t89 = *((unsigned int *)t88); t90 = (~(t89)); t91 = *((unsigned int *)t59); t92 = (t91 & t90); t93 = (t92 & 1U); if (t93 != 0) goto LAB26; LAB27: if (*((unsigned int *)t88) != 0) goto LAB28; LAB29: t95 = (t87 + 4); t96 = *((unsigned int *)t87); t97 = *((unsigned int *)t95); t98 = (t96 || t97); if (t98 > 0) goto LAB30; LAB31: memcpy(t158, t87, 8); LAB32: t190 = (t0 + 7120); t191 = (t190 + 56U); t192 = *((char **)t191); t193 = (t192 + 56U); t194 = *((char **)t193); memset(t194, 0, 8); t195 = 1U; t196 = t195; t197 = (t158 + 4); t198 = *((unsigned int *)t158); t195 = (t195 & t198); t199 = *((unsigned int *)t197); t196 = (t196 & t199); t200 = (t194 + 4); t201 = *((unsigned int *)t194); *((unsigned int *)t194) = (t201 | t195); t202 = *((unsigned int *)t200); *((unsigned int *)t200) = (t202 | t196); xsi_driver_vfirst_trans(t190, 0, 0); t203 = (t0 + 6672); *((int *)t203) = 1; LAB1: return; LAB6: t19 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t19) = 1; goto LAB7; LAB8: *((unsigned int *)t20) = 1; goto LAB11; LAB10: t27 = (t20 + 4); *((unsigned int *)t20) = 1; *((unsigned int *)t27) = 1; goto LAB11; LAB12: t33 = (t0 + 2648U); t34 = *((char **)t33); t33 = ((char*)((ng2))); 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 LAB18; LAB15: if (t47 != 0) goto LAB17; LAB16: *((unsigned int *)t35) = 1; LAB18: 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 LAB19; LAB20: if (*((unsigned int *)t52) != 0) goto LAB21; LAB22: t60 = *((unsigned int *)t20); t61 = *((unsigned int *)t51); t62 = (t60 | t61); *((unsigned int *)t59) = t62; t63 = (t20 + 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 LAB23; LAB24: LAB25: goto LAB14; LAB17: t50 = (t35 + 4); *((unsigned int *)t35) = 1; *((unsigned int *)t50) = 1; goto LAB18; LAB19: *((unsigned int *)t51) = 1; goto LAB22; LAB21: t58 = (t51 + 4); *((unsigned int *)t51) = 1; *((unsigned int *)t58) = 1; goto LAB22; LAB23: t71 = *((unsigned int *)t59); t72 = *((unsigned int *)t65); *((unsigned int *)t59) = (t71 | t72); t73 = (t20 + 4); t74 = (t51 + 4); t75 = *((unsigned int *)t73); t76 = (~(t75)); t77 = *((unsigned int *)t20); 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 LAB25; LAB26: *((unsigned int *)t87) = 1; goto LAB29; LAB28: t94 = (t87 + 4); *((unsigned int *)t87) = 1; *((unsigned int *)t94) = 1; goto LAB29; LAB30: t99 = (t0 + 1368U); t100 = *((char **)t99); memset(t101, 0, 8); t99 = (t100 + 4); t102 = *((unsigned int *)t99); t103 = (~(t102)); t104 = *((unsigned int *)t100); t105 = (t104 & t103); t106 = (t105 & 1U); if (t106 != 0) goto LAB33; LAB34: if (*((unsigned int *)t99) != 0) goto LAB35; LAB36: t108 = (t101 + 4); t109 = *((unsigned int *)t101); t110 = (!(t109)); t111 = *((unsigned int *)t108); t112 = (t110 || t111); if (t112 > 0) goto LAB37; LAB38: memcpy(t122, t101, 8); LAB39: memset(t150, 0, 8); t151 = (t122 + 4); t152 = *((unsigned int *)t151); t153 = (~(t152)); t154 = *((unsigned int *)t122); t155 = (t154 & t153); t156 = (t155 & 1U); if (t156 != 0) goto LAB47; LAB48: if (*((unsigned int *)t151) != 0) goto LAB49; LAB50: t159 = *((unsigned int *)t87); t160 = *((unsigned int *)t150); t161 = (t159 & t160); *((unsigned int *)t158) = t161; t162 = (t87 + 4); t163 = (t150 + 4); t164 = (t158 + 4); t165 = *((unsigned int *)t162); t166 = *((unsigned int *)t163); t167 = (t165 | t166); *((unsigned int *)t164) = t167; t168 = *((unsigned int *)t164); t169 = (t168 != 0); if (t169 == 1) goto LAB51; LAB52: LAB53: goto LAB32; LAB33: *((unsigned int *)t101) = 1; goto LAB36; LAB35: t107 = (t101 + 4); *((unsigned int *)t101) = 1; *((unsigned int *)t107) = 1; goto LAB36; LAB37: t113 = (t0 + 1528U); t114 = *((char **)t113); memset(t115, 0, 8); t113 = (t114 + 4); t116 = *((unsigned int *)t113); t117 = (~(t116)); t118 = *((unsigned int *)t114); t119 = (t118 & t117); t120 = (t119 & 1U); if (t120 != 0) goto LAB40; LAB41: if (*((unsigned int *)t113) != 0) goto LAB42; LAB43: t123 = *((unsigned int *)t101); t124 = *((unsigned int *)t115); t125 = (t123 | t124); *((unsigned int *)t122) = t125; t126 = (t101 + 4); t127 = (t115 + 4); t128 = (t122 + 4); t129 = *((unsigned int *)t126); t130 = *((unsigned int *)t127); t131 = (t129 | t130); *((unsigned int *)t128) = t131; t132 = *((unsigned int *)t128); t133 = (t132 != 0); if (t133 == 1) goto LAB44; LAB45: LAB46: goto LAB39; LAB40: *((unsigned int *)t115) = 1; goto LAB43; LAB42: t121 = (t115 + 4); *((unsigned int *)t115) = 1; *((unsigned int *)t121) = 1; goto LAB43; LAB44: t134 = *((unsigned int *)t122); t135 = *((unsigned int *)t128); *((unsigned int *)t122) = (t134 | t135); t136 = (t101 + 4); t137 = (t115 + 4); t138 = *((unsigned int *)t136); t139 = (~(t138)); t140 = *((unsigned int *)t101); t141 = (t140 & t139); t142 = *((unsigned int *)t137); t143 = (~(t142)); t144 = *((unsigned int *)t115); t145 = (t144 & t143); t146 = (~(t141)); t147 = (~(t145)); t148 = *((unsigned int *)t128); *((unsigned int *)t128) = (t148 & t146); t149 = *((unsigned int *)t128); *((unsigned int *)t128) = (t149 & t147); goto LAB46; LAB47: *((unsigned int *)t150) = 1; goto LAB50; LAB49: t157 = (t150 + 4); *((unsigned int *)t150) = 1; *((unsigned int *)t157) = 1; goto LAB50; LAB51: t170 = *((unsigned int *)t158); t171 = *((unsigned int *)t164); *((unsigned int *)t158) = (t170 | t171); t172 = (t87 + 4); t173 = (t150 + 4); t174 = *((unsigned int *)t87); t175 = (~(t174)); t176 = *((unsigned int *)t172); t177 = (~(t176)); t178 = *((unsigned int *)t150); t179 = (~(t178)); t180 = *((unsigned int *)t173); t181 = (~(t180)); t182 = (t175 & t177); t183 = (t179 & t181); t184 = (~(t182)); t185 = (~(t183)); t186 = *((unsigned int *)t164); *((unsigned int *)t164) = (t186 & t184); t187 = *((unsigned int *)t164); *((unsigned int *)t164) = (t187 & t185); t188 = *((unsigned int *)t158); *((unsigned int *)t158) = (t188 & t184); t189 = *((unsigned int *)t158); *((unsigned int *)t158) = (t189 & t185); goto LAB53; } static void Cont_27_6(char *t0) { char t4[8]; char t20[8]; char t34[8]; char t41[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; unsigned int t12; unsigned int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; unsigned int t18; char *t19; char *t21; 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; char *t32; char *t33; unsigned int t35; unsigned int t36; unsigned int t37; unsigned int t38; unsigned int t39; char *t40; unsigned int t42; unsigned int t43; unsigned int t44; char *t45; char *t46; char *t47; unsigned int t48; unsigned int t49; unsigned int t50; unsigned int t51; unsigned int t52; unsigned int t53; unsigned int t54; char *t55; char *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; int t65; int t66; unsigned int t67; unsigned 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 + 5776U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(27, ng0); t2 = (t0 + 2808U); t3 = *((char **)t2); t2 = ((char*)((ng1))); memset(t4, 0, 8); t5 = (t3 + 4); t6 = (t2 + 4); t7 = *((unsigned int *)t3); t8 = *((unsigned int *)t2); t9 = (t7 ^ t8); t10 = *((unsigned int *)t5); t11 = *((unsigned int *)t6); t12 = (t10 ^ t11); t13 = (t9 | t12); t14 = *((unsigned int *)t5); t15 = *((unsigned int *)t6); t16 = (t14 | t15); t17 = (~(t16)); t18 = (t13 & t17); if (t18 != 0) goto LAB7; LAB4: if (t16 != 0) goto LAB6; LAB5: *((unsigned int *)t4) = 1; LAB7: memset(t20, 0, 8); t21 = (t4 + 4); t22 = *((unsigned int *)t21); t23 = (~(t22)); t24 = *((unsigned int *)t4); t25 = (t24 & t23); t26 = (t25 & 1U); if (t26 != 0) goto LAB8; LAB9: if (*((unsigned int *)t21) != 0) goto LAB10; LAB11: t28 = (t20 + 4); t29 = *((unsigned int *)t20); t30 = *((unsigned int *)t28); t31 = (t29 || t30); if (t31 > 0) goto LAB12; LAB13: memcpy(t41, t20, 8); LAB14: t73 = (t0 + 7184); t74 = (t73 + 56U); t75 = *((char **)t74); t76 = (t75 + 56U); t77 = *((char **)t76); memset(t77, 0, 8); t78 = 1U; t79 = t78; t80 = (t41 + 4); t81 = *((unsigned int *)t41); 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 + 6688); *((int *)t86) = 1; LAB1: return; LAB6: t19 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t19) = 1; goto LAB7; LAB8: *((unsigned int *)t20) = 1; goto LAB11; LAB10: t27 = (t20 + 4); *((unsigned int *)t20) = 1; *((unsigned int *)t27) = 1; goto LAB11; LAB12: t32 = (t0 + 3128U); t33 = *((char **)t32); memset(t34, 0, 8); t32 = (t33 + 4); t35 = *((unsigned int *)t32); t36 = (~(t35)); t37 = *((unsigned int *)t33); t38 = (t37 & t36); t39 = (t38 & 1U); if (t39 != 0) goto LAB15; LAB16: if (*((unsigned int *)t32) != 0) goto LAB17; LAB18: t42 = *((unsigned int *)t20); t43 = *((unsigned int *)t34); t44 = (t42 & t43); *((unsigned int *)t41) = t44; t45 = (t20 + 4); t46 = (t34 + 4); t47 = (t41 + 4); t48 = *((unsigned int *)t45); t49 = *((unsigned int *)t46); t50 = (t48 | t49); *((unsigned int *)t47) = t50; t51 = *((unsigned int *)t47); t52 = (t51 != 0); if (t52 == 1) goto LAB19; LAB20: LAB21: goto LAB14; LAB15: *((unsigned int *)t34) = 1; goto LAB18; LAB17: t40 = (t34 + 4); *((unsigned int *)t34) = 1; *((unsigned int *)t40) = 1; goto LAB18; LAB19: t53 = *((unsigned int *)t41); t54 = *((unsigned int *)t47); *((unsigned int *)t41) = (t53 | t54); t55 = (t20 + 4); t56 = (t34 + 4); t57 = *((unsigned int *)t20); t58 = (~(t57)); t59 = *((unsigned int *)t55); t60 = (~(t59)); t61 = *((unsigned int *)t34); t62 = (~(t61)); t63 = *((unsigned int *)t56); t64 = (~(t63)); t65 = (t58 & t60); t66 = (t62 & t64); t67 = (~(t65)); t68 = (~(t66)); t69 = *((unsigned int *)t47); *((unsigned int *)t47) = (t69 & t67); t70 = *((unsigned int *)t47); *((unsigned int *)t47) = (t70 & t68); t71 = *((unsigned int *)t41); *((unsigned int *)t41) = (t71 & t67); t72 = *((unsigned int *)t41); *((unsigned int *)t41) = (t72 & t68); goto LAB21; } static void Cont_28_7(char *t0) { char t4[8]; char t20[8]; char t34[8]; char t41[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; unsigned int t12; unsigned int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; unsigned int t18; char *t19; char *t21; 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; char *t32; char *t33; unsigned int t35; unsigned int t36; unsigned int t37; unsigned int t38; unsigned int t39; char *t40; unsigned int t42; unsigned int t43; unsigned int t44; char *t45; char *t46; char *t47; unsigned int t48; unsigned int t49; unsigned int t50; unsigned int t51; unsigned int t52; unsigned int t53; unsigned int t54; char *t55; char *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; int t65; int t66; unsigned int t67; unsigned 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 + 6024U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(28, ng0); t2 = (t0 + 2808U); t3 = *((char **)t2); t2 = ((char*)((ng4))); memset(t4, 0, 8); t5 = (t3 + 4); t6 = (t2 + 4); t7 = *((unsigned int *)t3); t8 = *((unsigned int *)t2); t9 = (t7 ^ t8); t10 = *((unsigned int *)t5); t11 = *((unsigned int *)t6); t12 = (t10 ^ t11); t13 = (t9 | t12); t14 = *((unsigned int *)t5); t15 = *((unsigned int *)t6); t16 = (t14 | t15); t17 = (~(t16)); t18 = (t13 & t17); if (t18 != 0) goto LAB7; LAB4: if (t16 != 0) goto LAB6; LAB5: *((unsigned int *)t4) = 1; LAB7: memset(t20, 0, 8); t21 = (t4 + 4); t22 = *((unsigned int *)t21); t23 = (~(t22)); t24 = *((unsigned int *)t4); t25 = (t24 & t23); t26 = (t25 & 1U); if (t26 != 0) goto LAB8; LAB9: if (*((unsigned int *)t21) != 0) goto LAB10; LAB11: t28 = (t20 + 4); t29 = *((unsigned int *)t20); t30 = *((unsigned int *)t28); t31 = (t29 || t30); if (t31 > 0) goto LAB12; LAB13: memcpy(t41, t20, 8); LAB14: t73 = (t0 + 7248); t74 = (t73 + 56U); t75 = *((char **)t74); t76 = (t75 + 56U); t77 = *((char **)t76); memset(t77, 0, 8); t78 = 1U; t79 = t78; t80 = (t41 + 4); t81 = *((unsigned int *)t41); 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 + 6704); *((int *)t86) = 1; LAB1: return; LAB6: t19 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t19) = 1; goto LAB7; LAB8: *((unsigned int *)t20) = 1; goto LAB11; LAB10: t27 = (t20 + 4); *((unsigned int *)t20) = 1; *((unsigned int *)t27) = 1; goto LAB11; LAB12: t32 = (t0 + 3128U); t33 = *((char **)t32); memset(t34, 0, 8); t32 = (t33 + 4); t35 = *((unsigned int *)t32); t36 = (~(t35)); t37 = *((unsigned int *)t33); t38 = (t37 & t36); t39 = (t38 & 1U); if (t39 != 0) goto LAB15; LAB16: if (*((unsigned int *)t32) != 0) goto LAB17; LAB18: t42 = *((unsigned int *)t20); t43 = *((unsigned int *)t34); t44 = (t42 & t43); *((unsigned int *)t41) = t44; t45 = (t20 + 4); t46 = (t34 + 4); t47 = (t41 + 4); t48 = *((unsigned int *)t45); t49 = *((unsigned int *)t46); t50 = (t48 | t49); *((unsigned int *)t47) = t50; t51 = *((unsigned int *)t47); t52 = (t51 != 0); if (t52 == 1) goto LAB19; LAB20: LAB21: goto LAB14; LAB15: *((unsigned int *)t34) = 1; goto LAB18; LAB17: t40 = (t34 + 4); *((unsigned int *)t34) = 1; *((unsigned int *)t40) = 1; goto LAB18; LAB19: t53 = *((unsigned int *)t41); t54 = *((unsigned int *)t47); *((unsigned int *)t41) = (t53 | t54); t55 = (t20 + 4); t56 = (t34 + 4); t57 = *((unsigned int *)t20); t58 = (~(t57)); t59 = *((unsigned int *)t55); t60 = (~(t59)); t61 = *((unsigned int *)t34); t62 = (~(t61)); t63 = *((unsigned int *)t56); t64 = (~(t63)); t65 = (t58 & t60); t66 = (t62 & t64); t67 = (~(t65)); t68 = (~(t66)); t69 = *((unsigned int *)t47); *((unsigned int *)t47) = (t69 & t67); t70 = *((unsigned int *)t47); *((unsigned int *)t47) = (t70 & t68); t71 = *((unsigned int *)t41); *((unsigned int *)t41) = (t71 & t67); t72 = *((unsigned int *)t41); *((unsigned int *)t41) = (t72 & t68); goto LAB21; } static void Cont_29_8(char *t0) { char t4[8]; char t20[8]; char t34[8]; char t41[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; unsigned int t12; unsigned int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; unsigned int t18; char *t19; char *t21; 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; char *t32; char *t33; unsigned int t35; unsigned int t36; unsigned int t37; unsigned int t38; unsigned int t39; char *t40; unsigned int t42; unsigned int t43; unsigned int t44; char *t45; char *t46; char *t47; unsigned int t48; unsigned int t49; unsigned int t50; unsigned int t51; unsigned int t52; unsigned int t53; unsigned int t54; char *t55; char *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; int t65; int t66; unsigned int t67; unsigned 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 + 6272U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(29, ng0); t2 = (t0 + 2808U); t3 = *((char **)t2); t2 = ((char*)((ng2))); memset(t4, 0, 8); t5 = (t3 + 4); t6 = (t2 + 4); t7 = *((unsigned int *)t3); t8 = *((unsigned int *)t2); t9 = (t7 ^ t8); t10 = *((unsigned int *)t5); t11 = *((unsigned int *)t6); t12 = (t10 ^ t11); t13 = (t9 | t12); t14 = *((unsigned int *)t5); t15 = *((unsigned int *)t6); t16 = (t14 | t15); t17 = (~(t16)); t18 = (t13 & t17); if (t18 != 0) goto LAB7; LAB4: if (t16 != 0) goto LAB6; LAB5: *((unsigned int *)t4) = 1; LAB7: memset(t20, 0, 8); t21 = (t4 + 4); t22 = *((unsigned int *)t21); t23 = (~(t22)); t24 = *((unsigned int *)t4); t25 = (t24 & t23); t26 = (t25 & 1U); if (t26 != 0) goto LAB8; LAB9: if (*((unsigned int *)t21) != 0) goto LAB10; LAB11: t28 = (t20 + 4); t29 = *((unsigned int *)t20); t30 = *((unsigned int *)t28); t31 = (t29 || t30); if (t31 > 0) goto LAB12; LAB13: memcpy(t41, t20, 8); LAB14: t73 = (t0 + 7312); t74 = (t73 + 56U); t75 = *((char **)t74); t76 = (t75 + 56U); t77 = *((char **)t76); memset(t77, 0, 8); t78 = 1U; t79 = t78; t80 = (t41 + 4); t81 = *((unsigned int *)t41); 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 + 6720); *((int *)t86) = 1; LAB1: return; LAB6: t19 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t19) = 1; goto LAB7; LAB8: *((unsigned int *)t20) = 1; goto LAB11; LAB10: t27 = (t20 + 4); *((unsigned int *)t20) = 1; *((unsigned int *)t27) = 1; goto LAB11; LAB12: t32 = (t0 + 3128U); t33 = *((char **)t32); memset(t34, 0, 8); t32 = (t33 + 4); t35 = *((unsigned int *)t32); t36 = (~(t35)); t37 = *((unsigned int *)t33); t38 = (t37 & t36); t39 = (t38 & 1U); if (t39 != 0) goto LAB15; LAB16: if (*((unsigned int *)t32) != 0) goto LAB17; LAB18: t42 = *((unsigned int *)t20); t43 = *((unsigned int *)t34); t44 = (t42 & t43); *((unsigned int *)t41) = t44; t45 = (t20 + 4); t46 = (t34 + 4); t47 = (t41 + 4); t48 = *((unsigned int *)t45); t49 = *((unsigned int *)t46); t50 = (t48 | t49); *((unsigned int *)t47) = t50; t51 = *((unsigned int *)t47); t52 = (t51 != 0); if (t52 == 1) goto LAB19; LAB20: LAB21: goto LAB14; LAB15: *((unsigned int *)t34) = 1; goto LAB18; LAB17: t40 = (t34 + 4); *((unsigned int *)t34) = 1; *((unsigned int *)t40) = 1; goto LAB18; LAB19: t53 = *((unsigned int *)t41); t54 = *((unsigned int *)t47); *((unsigned int *)t41) = (t53 | t54); t55 = (t20 + 4); t56 = (t34 + 4); t57 = *((unsigned int *)t20); t58 = (~(t57)); t59 = *((unsigned int *)t55); t60 = (~(t59)); t61 = *((unsigned int *)t34); t62 = (~(t61)); t63 = *((unsigned int *)t56); t64 = (~(t63)); t65 = (t58 & t60); t66 = (t62 & t64); t67 = (~(t65)); t68 = (~(t66)); t69 = *((unsigned int *)t47); *((unsigned int *)t47) = (t69 & t67); t70 = *((unsigned int *)t47); *((unsigned int *)t47) = (t70 & t68); t71 = *((unsigned int *)t41); *((unsigned int *)t41) = (t71 & t67); t72 = *((unsigned int *)t41); *((unsigned int *)t41) = (t72 & t68); goto LAB21; } extern void work_m_00000000003215793394_1742042216_init() { static char *pe[] = {(void *)Cont_20_0,(void *)Cont_21_1,(void *)Cont_22_2,(void *)Cont_24_3,(void *)Cont_25_4,(void *)Cont_26_5,(void *)Cont_27_6,(void *)Cont_28_7,(void *)Cont_29_8}; xsi_register_didat("work_m_00000000003215793394_1742042216", "isim/tb_Test_Bed_isim_beh.exe.sim/work/m_00000000003215793394_1742042216.didat"); xsi_register_executes(pe); }