URL
https://opencores.org/ocsvn/vtach/vtach/trunk
Subversion Repositories vtach
[/] [vtach/] [trunk/] [isim/] [vtach_test_isim_beh.exe.sim/] [work/] [m_15115720593736110529_3833561510.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/bcdadd.v"; static unsigned int ng1[] = {0U, 0U}; static unsigned int ng2[] = {9U, 0U}; static void Cont_22_0(char *t0) { char t4[8]; char t14[8]; char t22[8]; char t25[8]; char *t1; char *t2; char *t3; 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 *t15; unsigned int t16; unsigned int t17; unsigned int t18; unsigned int t19; unsigned int t20; unsigned int t21; char *t23; char *t24; char *t26; char *t27; char *t28; char *t29; unsigned int t30; unsigned int t31; char *t32; unsigned int t33; unsigned int t34; char *t35; unsigned int t36; unsigned int t37; char *t38; LAB0: t1 = (t0 + 3480U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(22, ng0); t2 = (t0 + 1048U); t3 = *((char **)t2); memset(t4, 0, 8); t2 = (t4 + 4); t5 = (t3 + 4); t6 = *((unsigned int *)t3); t7 = (t6 >> 16); t8 = (t7 & 1); *((unsigned int *)t4) = t8; t9 = *((unsigned int *)t5); t10 = (t9 >> 16); t11 = (t10 & 1); *((unsigned int *)t2) = t11; t12 = (t0 + 1208U); t13 = *((char **)t12); memset(t14, 0, 8); t12 = (t14 + 4); t15 = (t13 + 4); t16 = *((unsigned int *)t13); t17 = (t16 >> 12); t18 = (t17 & 1); *((unsigned int *)t14) = t18; t19 = *((unsigned int *)t15); t20 = (t19 >> 12); t21 = (t20 & 1); *((unsigned int *)t12) = t21; memset(t22, 0, 8); xsi_vlog_unsigned_add(t22, 1, t4, 1, t14, 1); t23 = (t0 + 2008U); t24 = *((char **)t23); memset(t25, 0, 8); xsi_vlog_unsigned_add(t25, 1, t22, 1, t24, 1); t23 = (t0 + 4392); t26 = (t23 + 56U); t27 = *((char **)t26); t28 = (t27 + 56U); t29 = *((char **)t28); memset(t29, 0, 8); t30 = 1U; t31 = t30; t32 = (t25 + 4); t33 = *((unsigned int *)t25); t30 = (t30 & t33); t34 = *((unsigned int *)t32); t31 = (t31 & t34); t35 = (t29 + 4); t36 = *((unsigned int *)t29); *((unsigned int *)t29) = (t36 | t30); t37 = *((unsigned int *)t35); *((unsigned int *)t35) = (t37 | t31); xsi_driver_vfirst_trans(t23, 16, 16); t38 = (t0 + 4296); *((int *)t38) = 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 + 3728U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = ((char*)((ng1))); t3 = (t0 + 4456); 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 implSig2_execute(char *t0) { char t3[8]; char t4[8]; char t6[8]; char *t1; char *t2; char *t5; char *t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; unsigned int t13; char *t14; unsigned int t15; unsigned int t16; unsigned int t17; unsigned int t18; unsigned int t19; char *t20; char *t21; unsigned int t22; unsigned int t23; unsigned int t24; char *t25; unsigned int t26; unsigned int t27; unsigned int t28; unsigned int t29; char *t30; char *t31; char *t32; char *t33; char *t34; char *t35; unsigned int t36; unsigned int t37; char *t38; unsigned int t39; unsigned int t40; char *t41; unsigned int t42; unsigned int t43; char *t44; LAB0: t1 = (t0 + 3976U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 1208U); t5 = *((char **)t2); memset(t6, 0, 8); t2 = (t6 + 4); t7 = (t5 + 4); t8 = *((unsigned int *)t5); t9 = (t8 >> 12); t10 = (t9 & 1); *((unsigned int *)t6) = t10; t11 = *((unsigned int *)t7); t12 = (t11 >> 12); t13 = (t12 & 1); *((unsigned int *)t2) = t13; memset(t4, 0, 8); t14 = (t6 + 4); t15 = *((unsigned int *)t14); t16 = (~(t15)); t17 = *((unsigned int *)t6); t18 = (t17 & t16); t19 = (t18 & 1U); if (t19 != 0) goto LAB4; LAB5: if (*((unsigned int *)t14) != 0) goto LAB6; LAB7: t21 = (t4 + 4); t22 = *((unsigned int *)t4); t23 = *((unsigned int *)t21); t24 = (t22 || t23); if (t24 > 0) goto LAB8; LAB9: t26 = *((unsigned int *)t4); t27 = (~(t26)); t28 = *((unsigned int *)t21); t29 = (t27 || t28); if (t29 > 0) goto LAB10; LAB11: if (*((unsigned int *)t21) > 0) goto LAB12; LAB13: if (*((unsigned int *)t4) > 0) goto LAB14; LAB15: memcpy(t3, t30, 8); LAB16: t31 = (t0 + 4520); t32 = (t31 + 56U); t33 = *((char **)t32); t34 = (t33 + 56U); t35 = *((char **)t34); memset(t35, 0, 8); t36 = 15U; t37 = t36; t38 = (t3 + 4); t39 = *((unsigned int *)t3); t36 = (t36 & t39); t40 = *((unsigned int *)t38); t37 = (t37 & t40); t41 = (t35 + 4); t42 = *((unsigned int *)t35); *((unsigned int *)t35) = (t42 | t36); t43 = *((unsigned int *)t41); *((unsigned int *)t41) = (t43 | t37); xsi_driver_vfirst_trans(t31, 0, 3); t44 = (t0 + 4312); *((int *)t44) = 1; LAB1: return; LAB4: *((unsigned int *)t4) = 1; goto LAB7; LAB6: t20 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t20) = 1; goto LAB7; LAB8: t25 = ((char*)((ng2))); goto LAB9; LAB10: t30 = ((char*)((ng1))); goto LAB11; LAB12: xsi_vlog_unsigned_bit_combine(t3, 4, t25, 4, t30, 4); goto LAB16; LAB14: memcpy(t3, t25, 8); goto LAB16; } extern void work_m_15115720593736110529_3833561510_init() { static char *pe[] = {(void *)Cont_22_0,(void *)implSig1_execute,(void *)implSig2_execute}; xsi_register_didat("work_m_15115720593736110529_3833561510", "isim/vtach_test_isim_beh.exe.sim/work/m_15115720593736110529_3833561510.didat"); xsi_register_executes(pe); }