/**********************************************************************/ /* ____ ____ */ /* / /\/ / */ /* /___/ \ / */ /* \ \ \/ */ /* \ \ 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/regfile.v"; static int ng1[] = {0, 0}; static int ng2[] = {32, 0}; static int ng3[] = {1, 0}; static void Cont_20_0(char *t0) { char t5[8]; char *t1; char *t2; char *t3; char *t4; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; char *t12; char *t13; char *t14; char *t15; char *t16; char *t17; char *t18; LAB0: t1 = (t0 + 3800U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(20, ng0); t2 = (t0 + 2728); t3 = (t2 + 56U); t4 = *((char **)t3); t6 = (t0 + 2728); t7 = (t6 + 72U); t8 = *((char **)t7); t9 = (t0 + 2728); t10 = (t9 + 64U); t11 = *((char **)t10); t12 = (t0 + 1368U); t13 = *((char **)t12); xsi_vlog_generic_get_array_select_value(t5, 32, t4, t8, t11, 2, 1, t13, 5, 2); t12 = (t0 + 4976); t14 = (t12 + 56U); t15 = *((char **)t14); t16 = (t15 + 56U); t17 = *((char **)t16); memcpy(t17, t5, 8); xsi_driver_vfirst_trans(t12, 0, 31); t18 = (t0 + 4864); *((int *)t18) = 1; LAB1: return; } static void Cont_21_1(char *t0) { char t5[8]; char *t1; char *t2; char *t3; char *t4; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; char *t12; char *t13; char *t14; char *t15; char *t16; char *t17; char *t18; LAB0: t1 = (t0 + 4048U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(21, ng0); t2 = (t0 + 2728); t3 = (t2 + 56U); t4 = *((char **)t3); t6 = (t0 + 2728); t7 = (t6 + 72U); t8 = *((char **)t7); t9 = (t0 + 2728); t10 = (t9 + 64U); t11 = *((char **)t10); t12 = (t0 + 1528U); t13 = *((char **)t12); xsi_vlog_generic_get_array_select_value(t5, 32, t4, t8, t11, 2, 1, t13, 5, 2); t12 = (t0 + 5040); t14 = (t12 + 56U); t15 = *((char **)t14); t16 = (t15 + 56U); t17 = *((char **)t16); memcpy(t17, t5, 8); xsi_driver_vfirst_trans(t12, 0, 31); t18 = (t0 + 4880); *((int *)t18) = 1; LAB1: return; } static void Initial_25_2(char *t0) { char t5[8]; char t14[8]; char t15[8]; char *t1; char *t2; char *t3; char *t4; char *t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; char *t12; char *t13; char *t16; char *t17; char *t18; char *t19; char *t20; char *t21; char *t22; char *t23; char *t24; char *t25; unsigned int t26; int t27; char *t28; unsigned int t29; int t30; int t31; unsigned int t32; unsigned int t33; int t34; int t35; LAB0: xsi_set_current_line(26, ng0); LAB2: xsi_set_current_line(27, ng0); xsi_set_current_line(27, ng0); t1 = ((char*)((ng1))); t2 = (t0 + 2888); xsi_vlogvar_assign_value(t2, t1, 0, 0, 32); LAB3: t1 = (t0 + 2888); t2 = (t1 + 56U); t3 = *((char **)t2); t4 = ((char*)((ng2))); memset(t5, 0, 8); xsi_vlog_signed_less(t5, 32, t3, 32, t4, 32); t6 = (t5 + 4); t7 = *((unsigned int *)t6); t8 = (~(t7)); t9 = *((unsigned int *)t5); t10 = (t9 & t8); t11 = (t10 != 0); if (t11 > 0) goto LAB4; LAB5: LAB1: return; LAB4: xsi_set_current_line(28, ng0); t12 = ((char*)((ng1))); t13 = (t0 + 2728); t16 = (t0 + 2728); t17 = (t16 + 72U); t18 = *((char **)t17); t19 = (t0 + 2728); t20 = (t19 + 64U); t21 = *((char **)t20); t22 = (t0 + 2888); t23 = (t22 + 56U); t24 = *((char **)t23); xsi_vlog_generic_convert_array_indices(t14, t15, t18, t21, 2, 1, t24, 32, 1); t25 = (t14 + 4); t26 = *((unsigned int *)t25); t27 = (!(t26)); t28 = (t15 + 4); t29 = *((unsigned int *)t28); t30 = (!(t29)); t31 = (t27 && t30); if (t31 == 1) goto LAB6; LAB7: xsi_set_current_line(27, ng0); t1 = (t0 + 2888); t2 = (t1 + 56U); t3 = *((char **)t2); t4 = ((char*)((ng3))); memset(t5, 0, 8); xsi_vlog_signed_add(t5, 32, t3, 32, t4, 32); t6 = (t0 + 2888); xsi_vlogvar_assign_value(t6, t5, 0, 0, 32); goto LAB3; LAB6: t32 = *((unsigned int *)t14); t33 = *((unsigned int *)t15); t34 = (t32 - t33); t35 = (t34 + 1); xsi_vlogvar_assign_value(t13, t12, 0, *((unsigned int *)t15), t35); goto LAB7; } static void Always_31_3(char *t0) { char t13[8]; char t14[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; char *t15; char *t16; char *t17; char *t18; char *t19; char *t20; char *t21; char *t22; unsigned int t23; int t24; char *t25; unsigned int t26; int t27; int t28; unsigned int t29; unsigned int t30; int t31; int t32; LAB0: t1 = (t0 + 4544U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(31, ng0); t2 = (t0 + 4896); *((int *)t2) = 1; t3 = (t0 + 4576); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(32, ng0); LAB5: xsi_set_current_line(33, 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(36, ng0); t2 = (t0 + 2008U); 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 LAB11; LAB12: LAB13: LAB8: goto LAB2; LAB6: xsi_set_current_line(34, ng0); t11 = ((char*)((ng1))); t12 = (t0 + 2728); t15 = (t0 + 2728); t16 = (t15 + 72U); t17 = *((char **)t16); t18 = (t0 + 2728); t19 = (t18 + 64U); t20 = *((char **)t19); t21 = ((char*)((ng1))); xsi_vlog_generic_convert_array_indices(t13, t14, t17, t20, 2, 1, t21, 32, 1); t22 = (t13 + 4); t23 = *((unsigned int *)t22); t24 = (!(t23)); t25 = (t14 + 4); t26 = *((unsigned int *)t25); t27 = (!(t26)); t28 = (t24 && t27); if (t28 == 1) goto LAB9; LAB10: goto LAB8; LAB9: t29 = *((unsigned int *)t13); t30 = *((unsigned int *)t14); t31 = (t29 - t30); t32 = (t31 + 1); xsi_vlogvar_wait_assign_value(t12, t11, 0, *((unsigned int *)t14), t32, 0LL); goto LAB10; LAB11: xsi_set_current_line(37, ng0); t4 = (t0 + 1848U); t5 = *((char **)t4); t4 = (t0 + 2728); t11 = (t0 + 2728); t12 = (t11 + 72U); t15 = *((char **)t12); t16 = (t0 + 2728); t17 = (t16 + 64U); t18 = *((char **)t17); t19 = (t0 + 1688U); t20 = *((char **)t19); xsi_vlog_generic_convert_array_indices(t13, t14, t15, t18, 2, 1, t20, 5, 2); t19 = (t13 + 4); t23 = *((unsigned int *)t19); t24 = (!(t23)); t21 = (t14 + 4); t26 = *((unsigned int *)t21); t27 = (!(t26)); t28 = (t24 && t27); if (t28 == 1) goto LAB14; LAB15: goto LAB13; LAB14: t29 = *((unsigned int *)t13); t30 = *((unsigned int *)t14); t31 = (t29 - t30); t32 = (t31 + 1); xsi_vlogvar_wait_assign_value(t4, t5, 0, *((unsigned int *)t14), t32, 0LL); goto LAB15; } extern void work_m_13391725556481979963_1621107508_init() { static char *pe[] = {(void *)Cont_20_0,(void *)Cont_21_1,(void *)Initial_25_2,(void *)Always_31_3}; xsi_register_didat("work_m_13391725556481979963_1621107508", "isim/testbench_isim_beh.exe.sim/work/m_13391725556481979963_1621107508.didat"); xsi_register_executes(pe); }