URL
https://opencores.org/ocsvn/vtach/vtach/trunk
Subversion Repositories vtach
[/] [vtach/] [trunk/] [isim/] [vtach_test_isim_beh.exe.sim/] [work/] [m_16067247926306951095_2381739659.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/memory.v"; static unsigned int ng1[] = {0U, 8191U}; static unsigned int ng2[] = {0U, 0U}; static int ng3[] = {3, 0}; static int ng4[] = {1, 0}; static void Cont_12_0(char *t0) { char t3[8]; char t4[8]; char *t1; char *t2; char *t5; unsigned int t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; char *t11; char *t12; unsigned int t13; unsigned int t14; unsigned int t15; char *t16; char *t17; unsigned int t18; unsigned int t19; unsigned int t20; unsigned int t21; char *t22; char *t23; char *t24; char *t25; char *t26; unsigned int t27; unsigned int t28; char *t29; unsigned int t30; unsigned int t31; char *t32; unsigned int t33; unsigned int t34; char *t35; LAB0: t1 = (t0 + 3160U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(12, ng0); t2 = (t0 + 1528U); t5 = *((char **)t2); memset(t4, 0, 8); t2 = (t5 + 4); t6 = *((unsigned int *)t2); t7 = (~(t6)); t8 = *((unsigned int *)t5); t9 = (t8 & t7); t10 = (t9 & 1U); if (t10 != 0) goto LAB4; LAB5: if (*((unsigned int *)t2) != 0) goto LAB6; LAB7: t12 = (t4 + 4); t13 = *((unsigned int *)t4); t14 = *((unsigned int *)t12); t15 = (t13 || t14); if (t15 > 0) goto LAB8; LAB9: t18 = *((unsigned int *)t4); t19 = (~(t18)); t20 = *((unsigned int *)t12); t21 = (t19 || t20); if (t21 > 0) goto LAB10; LAB11: if (*((unsigned int *)t12) > 0) goto LAB12; LAB13: if (*((unsigned int *)t4) > 0) goto LAB14; LAB15: memcpy(t3, t16, 8); LAB16: t22 = (t0 + 3824); t23 = (t22 + 56U); t24 = *((char **)t23); t25 = (t24 + 56U); t26 = *((char **)t25); memset(t26, 0, 8); t27 = 8191U; t28 = t27; t29 = (t3 + 4); t30 = *((unsigned int *)t3); t27 = (t27 & t30); t31 = *((unsigned int *)t29); t28 = (t28 & t31); t32 = (t26 + 4); t33 = *((unsigned int *)t26); *((unsigned int *)t26) = (t33 | t27); t34 = *((unsigned int *)t32); *((unsigned int *)t32) = (t34 | t28); xsi_driver_vfirst_trans(t22, 0, 12); t35 = (t0 + 3728); *((int *)t35) = 1; LAB1: return; LAB4: *((unsigned int *)t4) = 1; goto LAB7; LAB6: t11 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t11) = 1; goto LAB7; LAB8: t16 = (t0 + 2008U); t17 = *((char **)t16); goto LAB9; LAB10: t16 = ((char*)((ng1))); goto LAB11; LAB12: xsi_vlog_unsigned_bit_combine(t3, 13, t17, 13, t16, 13); goto LAB16; LAB14: memcpy(t3, t17, 8); goto LAB16; } static void Cont_16_1(char *t0) { char t3[8]; char t4[8]; char t15[8]; char t16[8]; char t17[8]; char t29[8]; char t30[8]; char t31[8]; char t32[8]; char t43[8]; char *t1; char *t2; char *t5; char *t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; char *t13; char *t14; char *t18; char *t19; char *t20; unsigned int t21; unsigned int t22; unsigned int t23; unsigned int t24; unsigned int t25; unsigned int t26; char *t27; char *t28; char *t33; char *t34; char *t35; unsigned int t36; unsigned int t37; unsigned int t38; unsigned int t39; unsigned int t40; unsigned int t41; char *t42; char *t44; char *t45; char *t46; char *t47; char *t48; unsigned int t49; unsigned int t50; char *t51; unsigned int t52; unsigned int t53; char *t54; unsigned int t55; unsigned int t56; char *t57; LAB0: t1 = (t0 + 3408U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(16, ng0); t2 = (t0 + 1208U); t5 = *((char **)t2); memset(t4, 0, 8); t2 = (t4 + 4); t6 = (t5 + 4); t7 = *((unsigned int *)t5); t8 = (t7 >> 4); *((unsigned int *)t4) = t8; t9 = *((unsigned int *)t6); t10 = (t9 >> 4); *((unsigned int *)t2) = t10; t11 = *((unsigned int *)t4); *((unsigned int *)t4) = (t11 & 15U); t12 = *((unsigned int *)t2); *((unsigned int *)t2) = (t12 & 15U); t13 = ((char*)((ng2))); xsi_vlogtype_concat(t3, 7, 7, 2U, t13, 3, t4, 4); t14 = ((char*)((ng3))); memset(t15, 0, 8); xsi_vlog_unsigned_lshift(t15, 7, t3, 7, t14, 32); t18 = (t0 + 1208U); t19 = *((char **)t18); memset(t17, 0, 8); t18 = (t17 + 4); t20 = (t19 + 4); t21 = *((unsigned int *)t19); t22 = (t21 >> 4); *((unsigned int *)t17) = t22; t23 = *((unsigned int *)t20); t24 = (t23 >> 4); *((unsigned int *)t18) = t24; t25 = *((unsigned int *)t17); *((unsigned int *)t17) = (t25 & 15U); t26 = *((unsigned int *)t18); *((unsigned int *)t18) = (t26 & 15U); t27 = ((char*)((ng2))); xsi_vlogtype_concat(t16, 7, 7, 2U, t27, 3, t17, 4); t28 = ((char*)((ng4))); memset(t29, 0, 8); xsi_vlog_unsigned_lshift(t29, 7, t16, 7, t28, 32); memset(t30, 0, 8); xsi_vlog_unsigned_add(t30, 7, t15, 7, t29, 7); t33 = (t0 + 1208U); t34 = *((char **)t33); memset(t32, 0, 8); t33 = (t32 + 4); t35 = (t34 + 4); t36 = *((unsigned int *)t34); t37 = (t36 >> 0); *((unsigned int *)t32) = t37; t38 = *((unsigned int *)t35); t39 = (t38 >> 0); *((unsigned int *)t33) = t39; t40 = *((unsigned int *)t32); *((unsigned int *)t32) = (t40 & 15U); t41 = *((unsigned int *)t33); *((unsigned int *)t33) = (t41 & 15U); t42 = ((char*)((ng2))); xsi_vlogtype_concat(t31, 7, 7, 2U, t42, 3, t32, 4); memset(t43, 0, 8); xsi_vlog_unsigned_add(t43, 7, t30, 7, t31, 7); t44 = (t0 + 3888); t45 = (t44 + 56U); t46 = *((char **)t45); t47 = (t46 + 56U); t48 = *((char **)t47); memset(t48, 0, 8); t49 = 127U; t50 = t49; t51 = (t43 + 4); t52 = *((unsigned int *)t43); t49 = (t49 & t52); t53 = *((unsigned int *)t51); t50 = (t50 & t53); t54 = (t48 + 4); t55 = *((unsigned int *)t48); *((unsigned int *)t48) = (t55 | t49); t56 = *((unsigned int *)t54); *((unsigned int *)t54) = (t56 | t50); xsi_driver_vfirst_trans(t44, 0, 6); t57 = (t0 + 3744); *((int *)t57) = 1; LAB1: return; } extern void work_m_16067247926306951095_2381739659_init() { static char *pe[] = {(void *)Cont_12_0,(void *)Cont_16_1}; xsi_register_didat("work_m_16067247926306951095_2381739659", "isim/vtach_test_isim_beh.exe.sim/work/m_16067247926306951095_2381739659.didat"); xsi_register_executes(pe); }