URL
https://opencores.org/ocsvn/vtach/vtach/trunk
Subversion Repositories vtach
[/] [vtach/] [trunk/] [isim/] [vtach_test_isim_beh.exe.sim/] [work/] [m_04254734149188626207_4247330768.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/io_output.v"; static unsigned int ng1[] = {8191U, 8191U}; static unsigned int ng2[] = {0U, 0U}; static void Cont_13_0(char *t0) { char t3[8]; char t4[8]; char t6[8]; char *t1; char *t2; char *t5; char *t7; char *t8; char *t9; unsigned int t10; unsigned int t11; unsigned int t12; unsigned int t13; unsigned int t14; char *t15; char *t16; unsigned int t17; unsigned int t18; unsigned int t19; char *t20; unsigned int t21; unsigned int t22; unsigned int t23; unsigned int t24; char *t25; char *t26; char *t27; char *t28; char *t29; char *t30; unsigned int t31; unsigned int t32; char *t33; unsigned int t34; unsigned int t35; char *t36; unsigned int t37; unsigned int t38; char *t39; LAB0: t1 = (t0 + 4760U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(13, ng0); t2 = (t0 + 1368U); t5 = *((char **)t2); t2 = ((char*)((ng1))); memset(t6, 0, 8); if (*((unsigned int *)t5) != *((unsigned int *)t2)) goto LAB6; LAB4: t7 = (t5 + 4); t8 = (t2 + 4); if (*((unsigned int *)t7) != *((unsigned int *)t8)) goto LAB6; LAB5: *((unsigned int *)t6) = 1; LAB6: memset(t4, 0, 8); t9 = (t6 + 4); t10 = *((unsigned int *)t9); t11 = (~(t10)); t12 = *((unsigned int *)t6); t13 = (t12 & t11); t14 = (t13 & 1U); if (t14 != 0) goto LAB7; LAB8: if (*((unsigned int *)t9) != 0) goto LAB9; LAB10: t16 = (t4 + 4); t17 = *((unsigned int *)t4); t18 = *((unsigned int *)t16); t19 = (t17 || t18); if (t19 > 0) goto LAB11; LAB12: t21 = *((unsigned int *)t4); t22 = (~(t21)); t23 = *((unsigned int *)t16); t24 = (t22 || t23); if (t24 > 0) goto LAB13; LAB14: if (*((unsigned int *)t16) > 0) goto LAB15; LAB16: if (*((unsigned int *)t4) > 0) goto LAB17; LAB18: memcpy(t3, t26, 8); LAB19: t25 = (t0 + 5424); t27 = (t25 + 56U); t28 = *((char **)t27); t29 = (t28 + 56U); t30 = *((char **)t29); memset(t30, 0, 8); t31 = 8191U; t32 = t31; t33 = (t3 + 4); t34 = *((unsigned int *)t3); t31 = (t31 & t34); t35 = *((unsigned int *)t33); t32 = (t32 & t35); t36 = (t30 + 4); t37 = *((unsigned int *)t30); *((unsigned int *)t30) = (t37 | t31); t38 = *((unsigned int *)t36); *((unsigned int *)t36) = (t38 | t32); xsi_driver_vfirst_trans(t25, 0, 12); t39 = (t0 + 5328); *((int *)t39) = 1; LAB1: return; LAB7: *((unsigned int *)t4) = 1; goto LAB10; LAB9: t15 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t15) = 1; goto LAB10; LAB11: t20 = ((char*)((ng2))); goto LAB12; LAB13: t25 = (t0 + 1368U); t26 = *((char **)t25); goto LAB14; LAB15: xsi_vlog_unsigned_bit_combine(t3, 13, t20, 13, t26, 13); goto LAB19; LAB17: memcpy(t3, t20, 8); goto LAB19; } static void Always_15_1(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 + 5008U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(15, ng0); t2 = (t0 + 5344); *((int *)t2) = 1; t3 = (t0 + 5040); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(16, 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 LAB5; LAB6: LAB7: goto LAB2; LAB5: xsi_set_current_line(17, ng0); t11 = (t0 + 3448U); t12 = *((char **)t11); t11 = (t0 + 3848); xsi_vlogvar_wait_assign_value(t11, t12, 0, 0, 13, 0LL); goto LAB7; } extern void work_m_04254734149188626207_4247330768_init() { static char *pe[] = {(void *)Cont_13_0,(void *)Always_15_1}; xsi_register_didat("work_m_04254734149188626207_4247330768", "isim/vtach_test_isim_beh.exe.sim/work/m_04254734149188626207_4247330768.didat"); xsi_register_executes(pe); }