/**********************************************************************/ /* ____ ____ */ /* / /\/ / */ /* /___/ \ / */ /* \ \ \/ */ /* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ /* / / All Right Reserved. */ /* /---/ /\ */ /* \ \ / \ */ /* \___\/\___\ */ /***********************************************************************/ /* This file is designed for use with ISim build 0xfbc00daa */ #define XSI_HIDE_SYMBOL_SPEC true #include "xsi.h" #include #ifdef __GNUC__ #include #else #include #define alloca _alloca #endif static const char *ng0 = "/home/maar/Code/Git/Verilog/MIPS-UART-module/src/hdl/ex_stage.v"; static int ng1[] = {0, 0}; static int ng2[] = {1, 0}; static int ng3[] = {2, 0}; static unsigned int ng4[] = {2U, 0U}; static void Always_48_0(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; int t6; char *t7; char *t8; LAB0: t1 = (t0 + 8280U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(48, ng0); t2 = (t0 + 10336); *((int *)t2) = 1; t3 = (t0 + 8312); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(48, ng0); LAB5: xsi_set_current_line(49, ng0); t4 = (t0 + 3768U); t5 = *((char **)t4); LAB6: t4 = ((char*)((ng1))); t6 = xsi_vlog_unsigned_case_compare(t5, 2, t4, 32); if (t6 == 1) goto LAB7; LAB8: t2 = ((char*)((ng2))); t6 = xsi_vlog_unsigned_case_compare(t5, 2, t2, 32); if (t6 == 1) goto LAB9; LAB10: t2 = ((char*)((ng3))); t6 = xsi_vlog_unsigned_case_compare(t5, 2, t2, 32); if (t6 == 1) goto LAB11; LAB12: LAB14: LAB13: xsi_set_current_line(53, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 7208); xsi_vlogvar_assign_value(t3, t2, 0, 0, 32); LAB15: goto LAB2; LAB7: xsi_set_current_line(50, ng0); t7 = (t0 + 2808U); t8 = *((char **)t7); t7 = (t0 + 7208); xsi_vlogvar_assign_value(t7, t8, 0, 0, 32); goto LAB15; LAB9: xsi_set_current_line(51, ng0); t3 = (t0 + 4088U); t4 = *((char **)t3); t3 = (t0 + 7208); xsi_vlogvar_assign_value(t3, t4, 0, 0, 32); goto LAB15; LAB11: xsi_set_current_line(52, ng0); t3 = (t0 + 4248U); t4 = *((char **)t3); t3 = (t0 + 7208); xsi_vlogvar_assign_value(t3, t4, 0, 0, 32); goto LAB15; } static void Always_57_1(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; int t6; char *t7; char *t8; LAB0: t1 = (t0 + 8528U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(57, ng0); t2 = (t0 + 10352); *((int *)t2) = 1; t3 = (t0 + 8560); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(57, ng0); LAB5: xsi_set_current_line(58, ng0); t4 = (t0 + 3928U); t5 = *((char **)t4); LAB6: t4 = ((char*)((ng1))); t6 = xsi_vlog_unsigned_case_compare(t5, 2, t4, 32); if (t6 == 1) goto LAB7; LAB8: t2 = ((char*)((ng2))); t6 = xsi_vlog_unsigned_case_compare(t5, 2, t2, 32); if (t6 == 1) goto LAB9; LAB10: t2 = ((char*)((ng3))); t6 = xsi_vlog_unsigned_case_compare(t5, 2, t2, 32); if (t6 == 1) goto LAB11; LAB12: LAB14: LAB13: xsi_set_current_line(62, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 7368); xsi_vlogvar_assign_value(t3, t2, 0, 0, 32); LAB15: goto LAB2; LAB7: xsi_set_current_line(59, ng0); t7 = (t0 + 2968U); t8 = *((char **)t7); t7 = (t0 + 7368); xsi_vlogvar_assign_value(t7, t8, 0, 0, 32); goto LAB15; LAB9: xsi_set_current_line(60, ng0); t3 = (t0 + 4088U); t4 = *((char **)t3); t3 = (t0 + 7368); xsi_vlogvar_assign_value(t3, t4, 0, 0, 32); goto LAB15; LAB11: xsi_set_current_line(61, ng0); t3 = (t0 + 4248U); t4 = *((char **)t3); t3 = (t0 + 7368); xsi_vlogvar_assign_value(t3, t4, 0, 0, 32); goto LAB15; } static void Cont_66_2(char *t0) { char t3[8]; char t4[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; unsigned int t13; unsigned int t14; unsigned int t15; char *t16; char *t17; unsigned int t18; unsigned int t19; unsigned int t20; unsigned int t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; char *t28; char *t29; LAB0: t1 = (t0 + 8776U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(66, ng0); t2 = (t0 + 2168U); 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 LAB4; LAB5: if (*((unsigned int *)t2) != 0) goto LAB6; LAB7: t12 = (t4 + 4); t13 = *((unsigned int *)t4); t14 = *((unsigned int *)t12); t15 = (t13 || t14); if (t15 > 0) goto LAB8; LAB9: t18 = *((unsigned int *)t4); t19 = (~(t18)); t20 = *((unsigned int *)t12); t21 = (t19 || t20); if (t21 > 0) goto LAB10; LAB11: if (*((unsigned int *)t12) > 0) goto LAB12; LAB13: if (*((unsigned int *)t4) > 0) goto LAB14; LAB15: memcpy(t3, t23, 8); LAB16: t24 = (t0 + 10528); t25 = (t24 + 56U); t26 = *((char **)t25); t27 = (t26 + 56U); t28 = *((char **)t27); memcpy(t28, t3, 8); xsi_driver_vfirst_trans(t24, 0, 31); t29 = (t0 + 10368); *((int *)t29) = 1; LAB1: return; LAB4: *((unsigned int *)t4) = 1; goto LAB7; LAB6: t11 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t11) = 1; goto LAB7; LAB8: t16 = (t0 + 3128U); t17 = *((char **)t16); goto LAB9; LAB10: t16 = (t0 + 7368); t22 = (t16 + 56U); t23 = *((char **)t22); goto LAB11; LAB12: xsi_vlog_unsigned_bit_combine(t3, 32, t17, 32, t23, 32); goto LAB16; LAB14: memcpy(t3, t17, 8); goto LAB16; } static void Cont_67_3(char *t0) { char t3[8]; char *t1; char *t2; char *t4; char *t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; char *t12; char *t13; char *t14; char *t15; char *t16; unsigned int t17; unsigned int t18; char *t19; unsigned int t20; unsigned int t21; char *t22; unsigned int t23; unsigned int t24; char *t25; LAB0: t1 = (t0 + 9024U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(67, ng0); t2 = (t0 + 3128U); t4 = *((char **)t2); memset(t3, 0, 8); t2 = (t3 + 4); t5 = (t4 + 4); t6 = *((unsigned int *)t4); t7 = (t6 >> 0); *((unsigned int *)t3) = t7; t8 = *((unsigned int *)t5); t9 = (t8 >> 0); *((unsigned int *)t2) = t9; t10 = *((unsigned int *)t3); *((unsigned int *)t3) = (t10 & 63U); t11 = *((unsigned int *)t2); *((unsigned int *)t2) = (t11 & 63U); t12 = (t0 + 10592); t13 = (t12 + 56U); t14 = *((char **)t13); t15 = (t14 + 56U); t16 = *((char **)t15); memset(t16, 0, 8); t17 = 63U; t18 = t17; t19 = (t3 + 4); t20 = *((unsigned int *)t3); t17 = (t17 & t20); t21 = *((unsigned int *)t19); t18 = (t18 & t21); t22 = (t16 + 4); t23 = *((unsigned int *)t16); *((unsigned int *)t16) = (t23 | t17); t24 = *((unsigned int *)t22); *((unsigned int *)t22) = (t24 | t18); xsi_driver_vfirst_trans(t12, 0, 5); t25 = (t0 + 10384); *((int *)t25) = 1; LAB1: return; } static void Cont_68_4(char *t0) { char t3[8]; char t4[8]; char t16[8]; char t17[8]; char t27[8]; char t28[8]; char t31[8]; char t58[8]; char t66[8]; char t98[8]; char t101[8]; char t126[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; unsigned int t13; unsigned int t14; unsigned int t15; char *t18; char *t19; char *t20; unsigned int t21; unsigned int t22; unsigned int t23; unsigned int t24; unsigned int t25; unsigned int t26; char *t29; char *t30; char *t32; unsigned int t33; unsigned int t34; unsigned int t35; unsigned int t36; unsigned int t37; unsigned int t38; char *t39; unsigned int t40; unsigned int t41; 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; unsigned int t55; char *t56; char *t57; char *t59; unsigned int t60; unsigned int t61; unsigned int t62; unsigned int t63; unsigned int t64; unsigned int t65; unsigned int t67; unsigned int t68; unsigned int t69; char *t70; char *t71; char *t72; unsigned int t73; unsigned int t74; unsigned int t75; unsigned int t76; unsigned int t77; unsigned int t78; unsigned int t79; char *t80; char *t81; unsigned int t82; unsigned int t83; unsigned int t84; unsigned int t85; unsigned int t86; unsigned int t87; unsigned int t88; unsigned int t89; int t90; int t91; unsigned int t92; unsigned int t93; unsigned int t94; unsigned int t95; unsigned int t96; unsigned int t97; char *t99; char *t100; char *t102; unsigned int t103; unsigned int t104; unsigned int t105; unsigned int t106; unsigned int t107; unsigned int t108; char *t109; unsigned int t110; unsigned int t111; unsigned int t112; unsigned int t113; unsigned int t114; char *t115; char *t116; char *t117; unsigned int t118; unsigned int t119; unsigned int t120; unsigned int t121; unsigned int t122; unsigned int t123; unsigned int t124; unsigned int t125; unsigned int t127; unsigned int t128; unsigned int t129; char *t130; char *t131; char *t132; unsigned int t133; unsigned int t134; unsigned int t135; unsigned int t136; unsigned int t137; unsigned int t138; unsigned int t139; char *t140; char *t141; unsigned int t142; unsigned int t143; unsigned int t144; unsigned int t145; unsigned int t146; unsigned int t147; unsigned int t148; unsigned int t149; int t150; int t151; unsigned int t152; unsigned int t153; unsigned int t154; unsigned int t155; unsigned int t156; unsigned int t157; char *t158; unsigned int t159; unsigned int t160; unsigned int t161; unsigned int t162; char *t163; char *t164; char *t165; char *t166; char *t167; char *t168; unsigned int t169; unsigned int t170; char *t171; unsigned int t172; unsigned int t173; char *t174; unsigned int t175; unsigned int t176; char *t177; LAB0: t1 = (t0 + 9272U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(68, ng0); t2 = (t0 + 2008U); 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 LAB4; LAB5: if (*((unsigned int *)t2) != 0) goto LAB6; LAB7: t12 = (t4 + 4); t13 = *((unsigned int *)t4); t14 = *((unsigned int *)t12); t15 = (t13 || t14); if (t15 > 0) goto LAB8; LAB9: t159 = *((unsigned int *)t4); t160 = (~(t159)); t161 = *((unsigned int *)t12); t162 = (t160 || t161); if (t162 > 0) goto LAB10; LAB11: if (*((unsigned int *)t12) > 0) goto LAB12; LAB13: if (*((unsigned int *)t4) > 0) goto LAB14; LAB15: memcpy(t3, t164, 8); LAB16: t163 = (t0 + 10656); t165 = (t163 + 56U); t166 = *((char **)t165); t167 = (t166 + 56U); t168 = *((char **)t167); memset(t168, 0, 8); t169 = 63U; t170 = t169; t171 = (t3 + 4); t172 = *((unsigned int *)t3); t169 = (t169 & t172); t173 = *((unsigned int *)t171); t170 = (t170 & t173); t174 = (t168 + 4); t175 = *((unsigned int *)t168); *((unsigned int *)t168) = (t175 | t169); t176 = *((unsigned int *)t174); *((unsigned int *)t174) = (t176 | t170); xsi_driver_vfirst_trans(t163, 0, 5); t177 = (t0 + 10400); *((int *)t177) = 1; LAB1: return; LAB4: *((unsigned int *)t4) = 1; goto LAB7; LAB6: t11 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t11) = 1; goto LAB7; LAB8: t18 = (t0 + 3608U); t19 = *((char **)t18); memset(t17, 0, 8); t18 = (t17 + 4); t20 = (t19 + 4); t21 = *((unsigned int *)t19); t22 = (t21 >> 0); *((unsigned int *)t17) = t22; t23 = *((unsigned int *)t20); t24 = (t23 >> 0); *((unsigned int *)t18) = t24; t25 = *((unsigned int *)t17); *((unsigned int *)t17) = (t25 & 7U); t26 = *((unsigned int *)t18); *((unsigned int *)t18) = (t26 & 7U); t29 = (t0 + 3608U); t30 = *((char **)t29); memset(t31, 0, 8); t29 = (t31 + 4); t32 = (t30 + 4); t33 = *((unsigned int *)t30); t34 = (t33 >> 2); t35 = (t34 & 1); *((unsigned int *)t31) = t35; t36 = *((unsigned int *)t32); t37 = (t36 >> 2); t38 = (t37 & 1); *((unsigned int *)t29) = t38; memset(t28, 0, 8); t39 = (t31 + 4); t40 = *((unsigned int *)t39); t41 = (~(t40)); t42 = *((unsigned int *)t31); t43 = (t42 & t41); t44 = (t43 & 1U); if (t44 != 0) goto LAB20; LAB18: if (*((unsigned int *)t39) == 0) goto LAB17; LAB19: t45 = (t28 + 4); *((unsigned int *)t28) = 1; *((unsigned int *)t45) = 1; LAB20: t46 = (t28 + 4); t47 = (t31 + 4); t48 = *((unsigned int *)t31); t49 = (~(t48)); *((unsigned int *)t28) = t49; *((unsigned int *)t46) = 0; if (*((unsigned int *)t47) != 0) goto LAB22; LAB21: t54 = *((unsigned int *)t28); *((unsigned int *)t28) = (t54 & 1U); t55 = *((unsigned int *)t46); *((unsigned int *)t46) = (t55 & 1U); t56 = (t0 + 3608U); t57 = *((char **)t56); memset(t58, 0, 8); t56 = (t58 + 4); t59 = (t57 + 4); t60 = *((unsigned int *)t57); t61 = (t60 >> 1); t62 = (t61 & 1); *((unsigned int *)t58) = t62; t63 = *((unsigned int *)t59); t64 = (t63 >> 1); t65 = (t64 & 1); *((unsigned int *)t56) = t65; t67 = *((unsigned int *)t28); t68 = *((unsigned int *)t58); t69 = (t67 & t68); *((unsigned int *)t66) = t69; t70 = (t28 + 4); t71 = (t58 + 4); t72 = (t66 + 4); t73 = *((unsigned int *)t70); t74 = *((unsigned int *)t71); t75 = (t73 | t74); *((unsigned int *)t72) = t75; t76 = *((unsigned int *)t72); t77 = (t76 != 0); if (t77 == 1) goto LAB23; LAB24: LAB25: t99 = (t0 + 3608U); t100 = *((char **)t99); memset(t101, 0, 8); t99 = (t101 + 4); t102 = (t100 + 4); t103 = *((unsigned int *)t100); t104 = (t103 >> 0); t105 = (t104 & 1); *((unsigned int *)t101) = t105; t106 = *((unsigned int *)t102); t107 = (t106 >> 0); t108 = (t107 & 1); *((unsigned int *)t99) = t108; memset(t98, 0, 8); t109 = (t101 + 4); t110 = *((unsigned int *)t109); t111 = (~(t110)); t112 = *((unsigned int *)t101); t113 = (t112 & t111); t114 = (t113 & 1U); if (t114 != 0) goto LAB29; LAB27: if (*((unsigned int *)t109) == 0) goto LAB26; LAB28: t115 = (t98 + 4); *((unsigned int *)t98) = 1; *((unsigned int *)t115) = 1; LAB29: t116 = (t98 + 4); t117 = (t101 + 4); t118 = *((unsigned int *)t101); t119 = (~(t118)); *((unsigned int *)t98) = t119; *((unsigned int *)t116) = 0; if (*((unsigned int *)t117) != 0) goto LAB31; LAB30: t124 = *((unsigned int *)t98); *((unsigned int *)t98) = (t124 & 1U); t125 = *((unsigned int *)t116); *((unsigned int *)t116) = (t125 & 1U); t127 = *((unsigned int *)t66); t128 = *((unsigned int *)t98); t129 = (t127 & t128); *((unsigned int *)t126) = t129; t130 = (t66 + 4); t131 = (t98 + 4); t132 = (t126 + 4); t133 = *((unsigned int *)t130); t134 = *((unsigned int *)t131); t135 = (t133 | t134); *((unsigned int *)t132) = t135; t136 = *((unsigned int *)t132); t137 = (t136 != 0); if (t137 == 1) goto LAB32; LAB33: LAB34: xsi_vlogtype_concat(t27, 1, 1, 1U, t126, 1); t158 = ((char*)((ng4))); xsi_vlogtype_concat(t16, 6, 6, 3U, t158, 2, t27, 1, t17, 3); goto LAB9; LAB10: t163 = (t0 + 4728U); t164 = *((char **)t163); goto LAB11; LAB12: xsi_vlog_unsigned_bit_combine(t3, 6, t16, 6, t164, 6); goto LAB16; LAB14: memcpy(t3, t16, 8); goto LAB16; LAB17: *((unsigned int *)t28) = 1; goto LAB20; LAB22: t50 = *((unsigned int *)t28); t51 = *((unsigned int *)t47); *((unsigned int *)t28) = (t50 | t51); t52 = *((unsigned int *)t46); t53 = *((unsigned int *)t47); *((unsigned int *)t46) = (t52 | t53); goto LAB21; LAB23: t78 = *((unsigned int *)t66); t79 = *((unsigned int *)t72); *((unsigned int *)t66) = (t78 | t79); t80 = (t28 + 4); t81 = (t58 + 4); t82 = *((unsigned int *)t28); t83 = (~(t82)); t84 = *((unsigned int *)t80); t85 = (~(t84)); t86 = *((unsigned int *)t58); t87 = (~(t86)); t88 = *((unsigned int *)t81); t89 = (~(t88)); t90 = (t83 & t85); t91 = (t87 & t89); t92 = (~(t90)); t93 = (~(t91)); t94 = *((unsigned int *)t72); *((unsigned int *)t72) = (t94 & t92); t95 = *((unsigned int *)t72); *((unsigned int *)t72) = (t95 & t93); t96 = *((unsigned int *)t66); *((unsigned int *)t66) = (t96 & t92); t97 = *((unsigned int *)t66); *((unsigned int *)t66) = (t97 & t93); goto LAB25; LAB26: *((unsigned int *)t98) = 1; goto LAB29; LAB31: t120 = *((unsigned int *)t98); t121 = *((unsigned int *)t117); *((unsigned int *)t98) = (t120 | t121); t122 = *((unsigned int *)t116); t123 = *((unsigned int *)t117); *((unsigned int *)t116) = (t122 | t123); goto LAB30; LAB32: t138 = *((unsigned int *)t126); t139 = *((unsigned int *)t132); *((unsigned int *)t126) = (t138 | t139); t140 = (t66 + 4); t141 = (t98 + 4); t142 = *((unsigned int *)t66); t143 = (~(t142)); t144 = *((unsigned int *)t140); t145 = (~(t144)); t146 = *((unsigned int *)t98); t147 = (~(t146)); t148 = *((unsigned int *)t141); t149 = (~(t148)); t150 = (t143 & t145); t151 = (t147 & t149); t152 = (~(t150)); t153 = (~(t151)); t154 = *((unsigned int *)t132); *((unsigned int *)t132) = (t154 & t152); t155 = *((unsigned int *)t132); *((unsigned int *)t132) = (t155 & t153); t156 = *((unsigned int *)t126); *((unsigned int *)t126) = (t156 & t152); t157 = *((unsigned int *)t126); *((unsigned int *)t126) = (t157 & t153); goto LAB34; } static void Cont_69_5(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; unsigned int t8; unsigned int t9; char *t10; unsigned int t11; unsigned int t12; char *t13; unsigned int t14; unsigned int t15; char *t16; LAB0: t1 = (t0 + 9520U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(69, ng0); t2 = (t0 + 3608U); t3 = *((char **)t2); t2 = (t0 + 10720); t4 = (t2 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memset(t7, 0, 8); t8 = 63U; t9 = t8; t10 = (t3 + 4); t11 = *((unsigned int *)t3); t8 = (t8 & t11); t12 = *((unsigned int *)t10); t9 = (t9 & t12); t13 = (t7 + 4); t14 = *((unsigned int *)t7); *((unsigned int *)t7) = (t14 | t8); t15 = *((unsigned int *)t13); *((unsigned int *)t13) = (t15 | t9); xsi_driver_vfirst_trans(t2, 0, 5); t16 = (t0 + 10416); *((int *)t16) = 1; LAB1: return; } static void Cont_70_6(char *t0) { char t3[8]; char t4[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; unsigned int t13; unsigned int t14; unsigned int t15; char *t16; char *t17; unsigned int t18; unsigned int t19; unsigned int t20; unsigned int t21; char *t22; char *t23; char *t24; char *t25; char *t26; unsigned int t27; unsigned int t28; char *t29; unsigned int t30; unsigned int t31; char *t32; unsigned int t33; unsigned int t34; char *t35; LAB0: t1 = (t0 + 9768U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(70, ng0); t2 = (t0 + 2328U); 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 LAB4; LAB5: if (*((unsigned int *)t2) != 0) goto LAB6; LAB7: t12 = (t4 + 4); t13 = *((unsigned int *)t4); t14 = *((unsigned int *)t12); t15 = (t13 || t14); if (t15 > 0) goto LAB8; LAB9: t18 = *((unsigned int *)t4); t19 = (~(t18)); t20 = *((unsigned int *)t12); t21 = (t19 || t20); if (t21 > 0) goto LAB10; LAB11: if (*((unsigned int *)t12) > 0) goto LAB12; LAB13: if (*((unsigned int *)t4) > 0) goto LAB14; LAB15: memcpy(t3, t22, 8); LAB16: t16 = (t0 + 10784); t23 = (t16 + 56U); t24 = *((char **)t23); t25 = (t24 + 56U); t26 = *((char **)t25); memset(t26, 0, 8); t27 = 31U; t28 = t27; t29 = (t3 + 4); t30 = *((unsigned int *)t3); t27 = (t27 & t30); t31 = *((unsigned int *)t29); t28 = (t28 & t31); t32 = (t26 + 4); t33 = *((unsigned int *)t26); *((unsigned int *)t26) = (t33 | t27); t34 = *((unsigned int *)t32); *((unsigned int *)t32) = (t34 | t28); xsi_driver_vfirst_trans(t16, 0, 4); t35 = (t0 + 10432); *((int *)t35) = 1; LAB1: return; LAB4: *((unsigned int *)t4) = 1; goto LAB7; LAB6: t11 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t11) = 1; goto LAB7; LAB8: t16 = (t0 + 3448U); t17 = *((char **)t16); goto LAB9; LAB10: t16 = (t0 + 3288U); t22 = *((char **)t16); goto LAB11; LAB12: xsi_vlog_unsigned_bit_combine(t3, 5, t17, 5, t22, 5); goto LAB16; LAB14: memcpy(t3, t17, 8); goto LAB16; } static void Always_85_7(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; char *t11; char *t12; LAB0: t1 = (t0 + 10016U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(85, ng0); t2 = (t0 + 10448); *((int *)t2) = 1; t3 = (t0 + 10048); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(85, ng0); LAB5: xsi_set_current_line(86, ng0); t4 = (t0 + 1208U); t5 = *((char **)t4); t4 = (t5 + 4); t6 = *((unsigned int *)t4); t7 = (~(t6)); t8 = *((unsigned int *)t5); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB6; LAB7: xsi_set_current_line(95, ng0); LAB10: xsi_set_current_line(96, ng0); t2 = (t0 + 5368U); t3 = *((char **)t2); t2 = (t0 + 5928); xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 32, 0LL); xsi_set_current_line(97, ng0); t2 = (t0 + 7368); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 6088); xsi_vlogvar_wait_assign_value(t5, t4, 0, 0, 32, 0LL); xsi_set_current_line(98, ng0); t2 = (t0 + 4408U); t3 = *((char **)t2); t2 = (t0 + 6248); xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 5, 0LL); xsi_set_current_line(99, ng0); t2 = (t0 + 3608U); t3 = *((char **)t2); t2 = (t0 + 6408); xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 6, 0LL); xsi_set_current_line(100, ng0); t2 = (t0 + 1688U); t3 = *((char **)t2); t2 = (t0 + 6568); xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 1, 0LL); xsi_set_current_line(101, ng0); t2 = (t0 + 1848U); t3 = *((char **)t2); t2 = (t0 + 6728); xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 1, 0LL); xsi_set_current_line(102, ng0); t2 = (t0 + 1368U); t3 = *((char **)t2); t2 = (t0 + 6888); xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 1, 0LL); xsi_set_current_line(103, ng0); t2 = (t0 + 1528U); t3 = *((char **)t2); t2 = (t0 + 7048); xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 1, 0LL); LAB8: goto LAB2; LAB6: xsi_set_current_line(86, ng0); LAB9: xsi_set_current_line(87, ng0); t11 = ((char*)((ng1))); t12 = (t0 + 5928); xsi_vlogvar_wait_assign_value(t12, t11, 0, 0, 32, 0LL); xsi_set_current_line(88, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 6088); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 32, 0LL); xsi_set_current_line(89, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 6248); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 5, 0LL); xsi_set_current_line(90, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 6568); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); xsi_set_current_line(91, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 6728); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); xsi_set_current_line(92, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 6888); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); xsi_set_current_line(93, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 7048); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); goto LAB8; } extern void work_m_05866425861820687629_1844442480_init() { static char *pe[] = {(void *)Always_48_0,(void *)Always_57_1,(void *)Cont_66_2,(void *)Cont_67_3,(void *)Cont_68_4,(void *)Cont_69_5,(void *)Cont_70_6,(void *)Always_85_7}; xsi_register_didat("work_m_05866425861820687629_1844442480", "isim/testbench_isim_beh.exe.sim/work/m_05866425861820687629_1844442480.didat"); xsi_register_executes(pe); }