URL
https://opencores.org/ocsvn/vtach/vtach/trunk
Subversion Repositories vtach
[/] [vtach/] [trunk/] [isim/] [vtach_test_isim_beh.exe.sim/] [work/] [m_08320463847941471688_3487611372.c] - Rev 2
Compare with Previous | Blame | View Log
/**********************************************************************/ /* ____ ____ */ /* / /\/ / */ /* /___/ \ / */ /* \ \ \/ */ /* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ /* / / All Right Reserved. */ /* /---/ /\ */ /* \ \ / \ */ /* \___\/\___\ */ /***********************************************************************/ /* This file is designed for use with ISim build 0xb4d1ced7 */ #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 = "/home/alw/projects/vtachspartan/bcdincr.v"; static unsigned int ng1[] = {1U, 0U}; static unsigned int ng2[] = {0U, 0U}; static void Cont_23_0(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 + 5080U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(23, ng0); t2 = (t0 + 1048U); 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 & 15U); t11 = *((unsigned int *)t2); *((unsigned int *)t2) = (t11 & 15U); t12 = (t0 + 7776); t13 = (t12 + 56U); t14 = *((char **)t13); t15 = (t14 + 56U); t16 = *((char **)t15); memset(t16, 0, 8); t17 = 15U; 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, 3); t25 = (t0 + 7632); *((int *)t25) = 1; LAB1: return; } static void Cont_24_1(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 + 5328U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(24, ng0); t2 = (t0 + 1048U); t4 = *((char **)t2); memset(t3, 0, 8); t2 = (t3 + 4); t5 = (t4 + 4); t6 = *((unsigned int *)t4); t7 = (t6 >> 4); *((unsigned int *)t3) = t7; t8 = *((unsigned int *)t5); t9 = (t8 >> 4); *((unsigned int *)t2) = t9; t10 = *((unsigned int *)t3); *((unsigned int *)t3) = (t10 & 15U); t11 = *((unsigned int *)t2); *((unsigned int *)t2) = (t11 & 15U); t12 = (t0 + 7840); t13 = (t12 + 56U); t14 = *((char **)t13); t15 = (t14 + 56U); t16 = *((char **)t15); memset(t16, 0, 8); t17 = 15U; 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, 3); t25 = (t0 + 7648); *((int *)t25) = 1; LAB1: return; } static void Cont_25_2(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 + 5576U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(25, ng0); t2 = (t0 + 1048U); t4 = *((char **)t2); memset(t3, 0, 8); t2 = (t3 + 4); t5 = (t4 + 4); t6 = *((unsigned int *)t4); t7 = (t6 >> 8); *((unsigned int *)t3) = t7; t8 = *((unsigned int *)t5); t9 = (t8 >> 8); *((unsigned int *)t2) = t9; t10 = *((unsigned int *)t3); *((unsigned int *)t3) = (t10 & 15U); t11 = *((unsigned int *)t2); *((unsigned int *)t2) = (t11 & 15U); t12 = (t0 + 7904); t13 = (t12 + 56U); t14 = *((char **)t13); t15 = (t14 + 56U); t16 = *((char **)t15); memset(t16, 0, 8); t17 = 15U; 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, 3); t25 = (t0 + 7664); *((int *)t25) = 1; LAB1: return; } static void Cont_26_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 + 5824U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(26, ng0); t2 = (t0 + 1048U); t4 = *((char **)t2); memset(t3, 0, 8); t2 = (t3 + 4); t5 = (t4 + 4); t6 = *((unsigned int *)t4); t7 = (t6 >> 12); *((unsigned int *)t3) = t7; t8 = *((unsigned int *)t5); t9 = (t8 >> 12); *((unsigned int *)t2) = t9; t10 = *((unsigned int *)t3); *((unsigned int *)t3) = (t10 & 15U); t11 = *((unsigned int *)t2); *((unsigned int *)t2) = (t11 & 15U); t12 = (t0 + 7968); t13 = (t12 + 56U); t14 = *((char **)t13); t15 = (t14 + 56U); t16 = *((char **)t15); memset(t16, 0, 8); t17 = 15U; 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, 3); t25 = (t0 + 7680); *((int *)t25) = 1; LAB1: return; } static void Cont_36_4(char *t0) { char t3[8]; char t9[8]; char t19[8]; char *t1; char *t2; char *t4; char *t5; char *t6; char *t7; char *t8; char *t10; unsigned int t11; unsigned int t12; unsigned int t13; unsigned int t14; unsigned int t15; unsigned int t16; char *t17; char *t18; char *t20; char *t21; char *t22; char *t23; unsigned int t24; unsigned int t25; char *t26; unsigned int t27; unsigned int t28; char *t29; unsigned int t30; unsigned int t31; char *t32; LAB0: t1 = (t0 + 6072U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(36, ng0); t2 = (t0 + 2488U); t4 = *((char **)t2); t2 = (t0 + 2008U); t5 = *((char **)t2); t2 = (t0 + 1368U); t6 = *((char **)t2); t2 = (t0 + 1528U); t7 = *((char **)t2); t2 = (t0 + 1048U); t8 = *((char **)t2); memset(t9, 0, 8); t2 = (t9 + 4); t10 = (t8 + 4); t11 = *((unsigned int *)t8); t12 = (t11 >> 16); t13 = (t12 & 1); *((unsigned int *)t9) = t13; t14 = *((unsigned int *)t10); t15 = (t14 >> 16); t16 = (t15 & 1); *((unsigned int *)t2) = t16; t17 = (t0 + 2968U); t18 = *((char **)t17); memset(t19, 0, 8); xsi_vlog_unsigned_add(t19, 1, t9, 1, t18, 1); xsi_vlogtype_concat(t3, 17, 17, 5U, t19, 1, t7, 4, t6, 4, t5, 4, t4, 4); t17 = (t0 + 8032); t20 = (t17 + 56U); t21 = *((char **)t20); t22 = (t21 + 56U); t23 = *((char **)t22); memset(t23, 0, 8); t24 = 131071U; t25 = t24; t26 = (t3 + 4); t27 = *((unsigned int *)t3); t24 = (t24 & t27); t28 = *((unsigned int *)t26); t25 = (t25 & t28); t29 = (t23 + 4); t30 = *((unsigned int *)t23); *((unsigned int *)t23) = (t30 | t24); t31 = *((unsigned int *)t29); *((unsigned int *)t29) = (t31 | t25); xsi_driver_vfirst_trans(t17, 0, 16); t32 = (t0 + 7696); *((int *)t32) = 1; LAB1: return; } static void implSig1_execute(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; LAB0: t1 = (t0 + 6320U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = ((char*)((ng1))); t3 = (t0 + 8096); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memset(t7, 0, 8); t8 = 15U; t9 = t8; t10 = (t2 + 4); t11 = *((unsigned int *)t2); 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(t3, 0, 3); LAB1: return; } static void implSig2_execute(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; LAB0: t1 = (t0 + 6568U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = ((char*)((ng2))); t3 = (t0 + 8160); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memset(t7, 0, 8); t8 = 1U; t9 = t8; t10 = (t2 + 4); t11 = *((unsigned int *)t2); 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(t3, 0, 0); LAB1: return; } static void implSig3_execute(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; LAB0: t1 = (t0 + 6816U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = ((char*)((ng2))); t3 = (t0 + 8224); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memset(t7, 0, 8); t8 = 15U; t9 = t8; t10 = (t2 + 4); t11 = *((unsigned int *)t2); 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(t3, 0, 3); LAB1: return; } static void implSig4_execute(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; LAB0: t1 = (t0 + 7064U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = ((char*)((ng2))); t3 = (t0 + 8288); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memset(t7, 0, 8); t8 = 15U; t9 = t8; t10 = (t2 + 4); t11 = *((unsigned int *)t2); 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(t3, 0, 3); LAB1: return; } static void implSig5_execute(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; LAB0: t1 = (t0 + 7312U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = ((char*)((ng2))); t3 = (t0 + 8352); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memset(t7, 0, 8); t8 = 15U; t9 = t8; t10 = (t2 + 4); t11 = *((unsigned int *)t2); 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(t3, 0, 3); LAB1: return; } extern void work_m_08320463847941471688_3487611372_init() { static char *pe[] = {(void *)Cont_23_0,(void *)Cont_24_1,(void *)Cont_25_2,(void *)Cont_26_3,(void *)Cont_36_4,(void *)implSig1_execute,(void *)implSig2_execute,(void *)implSig3_execute,(void *)implSig4_execute,(void *)implSig5_execute}; xsi_register_didat("work_m_08320463847941471688_3487611372", "isim/vtach_test_isim_beh.exe.sim/work/m_08320463847941471688_3487611372.didat"); xsi_register_executes(pe); }