/**********************************************************************/ /* ____ ____ */ /* / /\/ / */ /* /___/ \ / */ /* \ \ \/ */ /* \ \ 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/gpio_wb.v"; static int ng1[] = {0, 0}; static unsigned int ng2[] = {0U, 0U}; static unsigned int ng3[] = {1024U, 0U}; static unsigned int ng4[] = {1U, 0U}; static void NetDecl_25_0(char *t0) { char t5[8]; char t36[8]; char t45[8]; char *t1; char *t2; char *t3; char *t4; unsigned int t6; unsigned int t7; unsigned int t8; char *t9; char *t10; unsigned int t11; unsigned int t12; unsigned int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; char *t18; char *t19; unsigned int t20; unsigned int t21; unsigned int t22; unsigned int t23; unsigned int t24; unsigned int t25; unsigned int t26; unsigned int t27; int t28; int t29; unsigned int t30; unsigned int t31; unsigned int t32; unsigned int t33; unsigned int t34; unsigned int t35; char *t37; 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; char *t78; char *t79; char *t80; char *t81; unsigned int t82; unsigned int t83; char *t84; unsigned int t85; unsigned int t86; char *t87; unsigned int t88; unsigned int t89; char *t90; LAB0: t1 = (t0 + 4848U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(25, ng0); t2 = (t0 + 2416U); t3 = *((char **)t2); t2 = (t0 + 2576U); t4 = *((char **)t2); t6 = *((unsigned int *)t3); t7 = *((unsigned int *)t4); t8 = (t6 & t7); *((unsigned int *)t5) = t8; t2 = (t3 + 4); t9 = (t4 + 4); t10 = (t5 + 4); t11 = *((unsigned int *)t2); t12 = *((unsigned int *)t9); t13 = (t11 | t12); *((unsigned int *)t10) = t13; t14 = *((unsigned int *)t10); t15 = (t14 != 0); if (t15 == 1) goto LAB4; LAB5: LAB6: t37 = (t0 + 2096U); t38 = *((char **)t37); memset(t36, 0, 8); t37 = (t38 + 4); t39 = *((unsigned int *)t37); t40 = (~(t39)); t41 = *((unsigned int *)t38); t42 = (t41 & t40); t43 = (t42 & 1U); if (t43 != 0) goto LAB10; LAB8: if (*((unsigned int *)t37) == 0) goto LAB7; LAB9: t44 = (t36 + 4); *((unsigned int *)t36) = 1; *((unsigned int *)t44) = 1; LAB10: t46 = *((unsigned int *)t5); t47 = *((unsigned int *)t36); t48 = (t46 & t47); *((unsigned int *)t45) = t48; t49 = (t5 + 4); t50 = (t36 + 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 LAB11; LAB12: LAB13: t77 = (t0 + 5776); t78 = (t77 + 56U); t79 = *((char **)t78); t80 = (t79 + 56U); t81 = *((char **)t80); memset(t81, 0, 8); t82 = 1U; t83 = t82; t84 = (t45 + 4); t85 = *((unsigned int *)t45); t82 = (t82 & t85); t86 = *((unsigned int *)t84); t83 = (t83 & t86); t87 = (t81 + 4); t88 = *((unsigned int *)t81); *((unsigned int *)t81) = (t88 | t82); t89 = *((unsigned int *)t87); *((unsigned int *)t87) = (t89 | t83); xsi_driver_vfirst_trans(t77, 0, 0U); t90 = (t0 + 5664); *((int *)t90) = 1; LAB1: return; LAB4: t16 = *((unsigned int *)t5); t17 = *((unsigned int *)t10); *((unsigned int *)t5) = (t16 | t17); t18 = (t3 + 4); t19 = (t4 + 4); t20 = *((unsigned int *)t3); t21 = (~(t20)); t22 = *((unsigned int *)t18); t23 = (~(t22)); t24 = *((unsigned int *)t4); t25 = (~(t24)); t26 = *((unsigned int *)t19); t27 = (~(t26)); t28 = (t21 & t23); t29 = (t25 & t27); t30 = (~(t28)); t31 = (~(t29)); t32 = *((unsigned int *)t10); *((unsigned int *)t10) = (t32 & t30); t33 = *((unsigned int *)t10); *((unsigned int *)t10) = (t33 & t31); t34 = *((unsigned int *)t5); *((unsigned int *)t5) = (t34 & t30); t35 = *((unsigned int *)t5); *((unsigned int *)t5) = (t35 & t31); goto LAB6; LAB7: *((unsigned int *)t36) = 1; goto LAB10; LAB11: t57 = *((unsigned int *)t45); t58 = *((unsigned int *)t51); *((unsigned int *)t45) = (t57 | t58); t59 = (t5 + 4); t60 = (t36 + 4); t61 = *((unsigned int *)t5); t62 = (~(t61)); t63 = *((unsigned int *)t59); t64 = (~(t63)); t65 = *((unsigned int *)t36); 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 LAB13; } static void NetDecl_26_1(char *t0) { char t5[8]; char t38[8]; char *t1; char *t2; char *t3; char *t4; unsigned int t6; unsigned int t7; unsigned int t8; char *t9; char *t10; unsigned int t11; unsigned int t12; unsigned int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; char *t18; char *t19; unsigned int t20; unsigned int t21; unsigned int t22; unsigned int t23; unsigned int t24; unsigned int t25; unsigned int t26; unsigned int t27; int t28; int t29; unsigned int t30; unsigned int t31; unsigned int t32; unsigned int t33; unsigned int t34; unsigned int t35; char *t36; char *t37; 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; unsigned int t48; unsigned int t49; unsigned int t50; 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; int t61; int t62; unsigned int t63; unsigned int t64; unsigned int t65; unsigned int t66; unsigned int t67; unsigned int t68; char *t69; char *t70; char *t71; char *t72; char *t73; unsigned int t74; unsigned int t75; char *t76; unsigned int t77; unsigned int t78; char *t79; unsigned int t80; unsigned int t81; char *t82; LAB0: t1 = (t0 + 5096U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(26, ng0); t2 = (t0 + 2416U); t3 = *((char **)t2); t2 = (t0 + 2576U); t4 = *((char **)t2); t6 = *((unsigned int *)t3); t7 = *((unsigned int *)t4); t8 = (t6 & t7); *((unsigned int *)t5) = t8; t2 = (t3 + 4); t9 = (t4 + 4); t10 = (t5 + 4); t11 = *((unsigned int *)t2); t12 = *((unsigned int *)t9); t13 = (t11 | t12); *((unsigned int *)t10) = t13; t14 = *((unsigned int *)t10); t15 = (t14 != 0); if (t15 == 1) goto LAB4; LAB5: LAB6: t36 = (t0 + 2096U); t37 = *((char **)t36); t39 = *((unsigned int *)t5); t40 = *((unsigned int *)t37); t41 = (t39 & t40); *((unsigned int *)t38) = t41; t36 = (t5 + 4); t42 = (t37 + 4); t43 = (t38 + 4); t44 = *((unsigned int *)t36); t45 = *((unsigned int *)t42); t46 = (t44 | t45); *((unsigned int *)t43) = t46; t47 = *((unsigned int *)t43); t48 = (t47 != 0); if (t48 == 1) goto LAB7; LAB8: LAB9: t69 = (t0 + 5840); t70 = (t69 + 56U); t71 = *((char **)t70); t72 = (t71 + 56U); t73 = *((char **)t72); memset(t73, 0, 8); t74 = 1U; t75 = t74; t76 = (t38 + 4); t77 = *((unsigned int *)t38); t74 = (t74 & t77); t78 = *((unsigned int *)t76); t75 = (t75 & t78); t79 = (t73 + 4); t80 = *((unsigned int *)t73); *((unsigned int *)t73) = (t80 | t74); t81 = *((unsigned int *)t79); *((unsigned int *)t79) = (t81 | t75); xsi_driver_vfirst_trans(t69, 0, 0U); t82 = (t0 + 5680); *((int *)t82) = 1; LAB1: return; LAB4: t16 = *((unsigned int *)t5); t17 = *((unsigned int *)t10); *((unsigned int *)t5) = (t16 | t17); t18 = (t3 + 4); t19 = (t4 + 4); t20 = *((unsigned int *)t3); t21 = (~(t20)); t22 = *((unsigned int *)t18); t23 = (~(t22)); t24 = *((unsigned int *)t4); t25 = (~(t24)); t26 = *((unsigned int *)t19); t27 = (~(t26)); t28 = (t21 & t23); t29 = (t25 & t27); t30 = (~(t28)); t31 = (~(t29)); t32 = *((unsigned int *)t10); *((unsigned int *)t10) = (t32 & t30); t33 = *((unsigned int *)t10); *((unsigned int *)t10) = (t33 & t31); t34 = *((unsigned int *)t5); *((unsigned int *)t5) = (t34 & t30); t35 = *((unsigned int *)t5); *((unsigned int *)t5) = (t35 & t31); goto LAB6; LAB7: t49 = *((unsigned int *)t38); t50 = *((unsigned int *)t43); *((unsigned int *)t38) = (t49 | t50); t51 = (t5 + 4); t52 = (t37 + 4); t53 = *((unsigned int *)t5); t54 = (~(t53)); t55 = *((unsigned int *)t51); t56 = (~(t55)); t57 = *((unsigned int *)t37); t58 = (~(t57)); t59 = *((unsigned int *)t52); t60 = (~(t59)); t61 = (t54 & t56); t62 = (t58 & t60); t63 = (~(t61)); t64 = (~(t62)); t65 = *((unsigned int *)t43); *((unsigned int *)t43) = (t65 & t63); t66 = *((unsigned int *)t43); *((unsigned int *)t43) = (t66 & t64); t67 = *((unsigned int *)t38); *((unsigned int *)t38) = (t67 & t63); t68 = *((unsigned int *)t38); *((unsigned int *)t38) = (t68 & t64); goto LAB9; } static void Always_30_2(char *t0) { char t16[8]; char t38[8]; char t49[8]; char t50[8]; char *t1; char *t2; char *t3; char *t4; char *t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; char *t11; char *t12; int t13; char *t14; char *t15; char *t17; char *t18; unsigned int t19; unsigned int t20; unsigned int t21; unsigned int t22; unsigned int t23; unsigned int t24; unsigned int t25; unsigned int t26; unsigned int t27; unsigned int t28; unsigned int t29; unsigned int t30; char *t31; char *t32; unsigned int t33; unsigned int t34; unsigned int t35; unsigned int t36; unsigned int t37; char *t39; char *t40; char *t41; unsigned int t42; unsigned int t43; unsigned int t44; unsigned int t45; unsigned int t46; unsigned int t47; char *t48; unsigned int t51; LAB0: t1 = (t0 + 5344U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(30, ng0); t2 = (t0 + 5696); *((int *)t2) = 1; t3 = (t0 + 5376); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(31, ng0); t4 = (t0 + 1616U); t5 = *((char **)t4); t4 = (t5 + 4); t6 = *((unsigned int *)t4); t7 = (~(t6)); t8 = *((unsigned int *)t5); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB5; LAB6: xsi_set_current_line(36, ng0); LAB9: xsi_set_current_line(38, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 3616); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); xsi_set_current_line(40, ng0); t2 = (t0 + 3936); t3 = (t2 + 56U); t4 = *((char **)t3); LAB10: t5 = (t0 + 608); t11 = *((char **)t5); t13 = xsi_vlog_unsigned_case_compare(t4, 1, t11, 32); if (t13 == 1) goto LAB11; LAB12: t2 = (t0 + 744); t3 = *((char **)t2); t13 = xsi_vlog_unsigned_case_compare(t4, 1, t3, 32); if (t13 == 1) goto LAB13; LAB14: LAB15: LAB7: goto LAB2; LAB5: xsi_set_current_line(31, ng0); LAB8: xsi_set_current_line(32, ng0); t11 = ((char*)((ng1))); t12 = (t0 + 3936); xsi_vlogvar_wait_assign_value(t12, t11, 0, 0, 1, 0LL); xsi_set_current_line(33, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 3616); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); xsi_set_current_line(34, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 3776); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 16, 0LL); xsi_set_current_line(35, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 3456); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 32, 0LL); goto LAB7; LAB11: xsi_set_current_line(42, ng0); LAB16: xsi_set_current_line(43, ng0); t5 = (t0 + 3056U); t12 = *((char **)t5); t5 = (t12 + 4); t6 = *((unsigned int *)t5); t7 = (~(t6)); t8 = *((unsigned int *)t12); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB17; LAB18: xsi_set_current_line(48, ng0); t2 = (t0 + 2896U); t3 = *((char **)t2); t2 = (t3 + 4); t6 = *((unsigned int *)t2); t7 = (~(t6)); t8 = *((unsigned int *)t3); t9 = (t8 & t7); t10 = (t9 != 0); if (t10 > 0) goto LAB28; LAB29: LAB30: LAB19: goto LAB15; LAB13: xsi_set_current_line(54, ng0); LAB49: xsi_set_current_line(55, ng0); t2 = ((char*)((ng4))); t5 = (t0 + 3616); xsi_vlogvar_wait_assign_value(t5, t2, 0, 0, 1, 0LL); xsi_set_current_line(56, ng0); t2 = (t0 + 608); t3 = *((char **)t2); t2 = (t0 + 3936); xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 1, 0LL); goto LAB15; LAB17: xsi_set_current_line(43, ng0); LAB20: xsi_set_current_line(44, ng0); t14 = (t0 + 1936U); t15 = *((char **)t14); t14 = ((char*)((ng3))); memset(t16, 0, 8); t17 = (t15 + 4); t18 = (t14 + 4); t19 = *((unsigned int *)t15); t20 = *((unsigned int *)t14); t21 = (t19 ^ t20); t22 = *((unsigned int *)t17); t23 = *((unsigned int *)t18); t24 = (t22 ^ t23); t25 = (t21 | t24); t26 = *((unsigned int *)t17); t27 = *((unsigned int *)t18); t28 = (t26 | t27); t29 = (~(t28)); t30 = (t25 & t29); if (t30 != 0) goto LAB24; LAB21: if (t28 != 0) goto LAB23; LAB22: *((unsigned int *)t16) = 1; LAB24: t32 = (t16 + 4); t33 = *((unsigned int *)t32); t34 = (~(t33)); t35 = *((unsigned int *)t16); t36 = (t35 & t34); t37 = (t36 != 0); if (t37 > 0) goto LAB25; LAB26: LAB27: xsi_set_current_line(46, ng0); t2 = ((char*)((ng4))); t3 = (t0 + 3616); xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL); xsi_set_current_line(47, ng0); t2 = (t0 + 744); t3 = *((char **)t2); t2 = (t0 + 3936); xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 1, 0LL); goto LAB19; LAB23: t31 = (t16 + 4); *((unsigned int *)t16) = 1; *((unsigned int *)t31) = 1; goto LAB24; LAB25: xsi_set_current_line(45, ng0); t39 = (t0 + 1776U); t40 = *((char **)t39); memset(t38, 0, 8); t39 = (t38 + 4); t41 = (t40 + 4); t42 = *((unsigned int *)t40); t43 = (t42 >> 0); *((unsigned int *)t38) = t43; t44 = *((unsigned int *)t41); t45 = (t44 >> 0); *((unsigned int *)t39) = t45; t46 = *((unsigned int *)t38); *((unsigned int *)t38) = (t46 & 65535U); t47 = *((unsigned int *)t39); *((unsigned int *)t39) = (t47 & 65535U); t48 = (t0 + 3776); xsi_vlogvar_wait_assign_value(t48, t38, 0, 0, 16, 0LL); goto LAB27; LAB28: xsi_set_current_line(48, ng0); LAB31: xsi_set_current_line(49, ng0); t5 = (t0 + 1936U); t11 = *((char **)t5); t5 = ((char*)((ng3))); memset(t49, 0, 8); t12 = (t11 + 4); t14 = (t5 + 4); t19 = *((unsigned int *)t11); t20 = *((unsigned int *)t5); t21 = (t19 ^ t20); t22 = *((unsigned int *)t12); t23 = *((unsigned int *)t14); t24 = (t22 ^ t23); t25 = (t21 | t24); t26 = *((unsigned int *)t12); t27 = *((unsigned int *)t14); t28 = (t26 | t27); t29 = (~(t28)); t30 = (t25 & t29); if (t30 != 0) goto LAB35; LAB32: if (t28 != 0) goto LAB34; LAB33: *((unsigned int *)t49) = 1; LAB35: memset(t38, 0, 8); t17 = (t49 + 4); t33 = *((unsigned int *)t17); t34 = (~(t33)); t35 = *((unsigned int *)t49); t36 = (t35 & t34); t37 = (t36 & 1U); if (t37 != 0) goto LAB36; LAB37: if (*((unsigned int *)t17) != 0) goto LAB38; LAB39: t31 = (t38 + 4); t42 = *((unsigned int *)t38); t43 = *((unsigned int *)t31); t44 = (t42 || t43); if (t44 > 0) goto LAB40; LAB41: t45 = *((unsigned int *)t38); t46 = (~(t45)); t47 = *((unsigned int *)t31); t51 = (t46 || t47); if (t51 > 0) goto LAB42; LAB43: if (*((unsigned int *)t31) > 0) goto LAB44; LAB45: if (*((unsigned int *)t38) > 0) goto LAB46; LAB47: memcpy(t16, t32, 8); LAB48: t40 = (t0 + 3456); xsi_vlogvar_wait_assign_value(t40, t16, 0, 0, 32, 0LL); xsi_set_current_line(50, ng0); t2 = (t0 + 744); t3 = *((char **)t2); t2 = (t0 + 3936); xsi_vlogvar_wait_assign_value(t2, t3, 0, 0, 1, 0LL); goto LAB30; LAB34: t15 = (t49 + 4); *((unsigned int *)t49) = 1; *((unsigned int *)t15) = 1; goto LAB35; LAB36: *((unsigned int *)t38) = 1; goto LAB39; LAB38: t18 = (t38 + 4); *((unsigned int *)t38) = 1; *((unsigned int *)t18) = 1; goto LAB39; LAB40: t32 = (t0 + 2736U); t39 = *((char **)t32); memcpy(t50, t39, 8); goto LAB41; LAB42: t32 = ((char*)((ng1))); goto LAB43; LAB44: xsi_vlog_unsigned_bit_combine(t16, 32, t50, 32, t32, 32); goto LAB48; LAB46: memcpy(t16, t50, 8); goto LAB48; } extern void work_m_14240984487063117347_0630444421_init() { static char *pe[] = {(void *)NetDecl_25_0,(void *)NetDecl_26_1,(void *)Always_30_2}; xsi_register_didat("work_m_14240984487063117347_0630444421", "isim/testbench_isim_beh.exe.sim/work/m_14240984487063117347_0630444421.didat"); xsi_register_executes(pe); }