URL
https://opencores.org/ocsvn/fluid_core_2/fluid_core_2/trunk
Subversion Repositories fluid_core_2
[/] [fluid_core_2/] [trunk/] [xilinx14.5 project/] [isim/] [tb_Test_Bed_isim_beh.exe.sim/] [work/] [m_00000000004105140779_2442001628.c] - Rev 4
Compare with Previous | Blame | View Log
/**********************************************************************/ /* ____ ____ */ /* / /\/ / */ /* /___/ \ / */ /* \ \ \/ */ /* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */ /* / / All Right Reserved. */ /* /---/ /\ */ /* \ \ / \ */ /* \___\/\___\ */ /***********************************************************************/ /* This file is designed for use with ISim build 0x7708f090 */ #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 = "C:/Users/Azmath/Documents/M Tech Project/FC2/FluidCore.v"; static unsigned int ng1[] = {3U, 0U}; static unsigned int ng2[] = {1U, 0U}; static int ng3[] = {0, 0}; static void Cont_56_0(char *t0) { char t4[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 *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 + 11968U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(56, ng0); t2 = (t0 + 4088U); t3 = *((char **)t2); memset(t4, 0, 8); t2 = (t4 + 4); t5 = (t3 + 4); t6 = *((unsigned int *)t3); t7 = (t6 >> 1); t8 = (t7 & 1); *((unsigned int *)t4) = t8; t9 = *((unsigned int *)t5); t10 = (t9 >> 1); t11 = (t10 & 1); *((unsigned int *)t2) = t11; t12 = (t0 + 16048); t13 = (t12 + 56U); t14 = *((char **)t13); t15 = (t14 + 56U); t16 = *((char **)t15); memset(t16, 0, 8); t17 = 1U; t18 = t17; t19 = (t4 + 4); t20 = *((unsigned int *)t4); 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, 0); t25 = (t0 + 15760); *((int *)t25) = 1; LAB1: return; } static void Cont_57_1(char *t0) { char t4[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 *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 + 12216U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(57, ng0); t2 = (t0 + 4088U); t3 = *((char **)t2); memset(t4, 0, 8); t2 = (t4 + 4); t5 = (t3 + 4); t6 = *((unsigned int *)t3); t7 = (t6 >> 2); t8 = (t7 & 1); *((unsigned int *)t4) = t8; t9 = *((unsigned int *)t5); t10 = (t9 >> 2); t11 = (t10 & 1); *((unsigned int *)t2) = t11; t12 = (t0 + 16112); t13 = (t12 + 56U); t14 = *((char **)t13); t15 = (t14 + 56U); t16 = *((char **)t15); memset(t16, 0, 8); t17 = 1U; t18 = t17; t19 = (t4 + 4); t20 = *((unsigned int *)t4); 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, 0); t25 = (t0 + 15776); *((int *)t25) = 1; LAB1: return; } static void Cont_58_2(char *t0) { char t3[8]; char *t1; char *t2; char *t4; 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 *t15; char *t16; char *t17; unsigned int t18; unsigned int t19; char *t20; unsigned int t21; unsigned int t22; char *t23; unsigned int t24; unsigned int t25; char *t26; LAB0: t1 = (t0 + 12464U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(58, ng0); t2 = (t0 + 5048U); t4 = *((char **)t2); memset(t3, 0, 8); t2 = (t3 + 4); t5 = (t4 + 24); t6 = (t4 + 28); t7 = *((unsigned int *)t5); t8 = (t7 >> 21); *((unsigned int *)t3) = t8; t9 = *((unsigned int *)t6); t10 = (t9 >> 21); *((unsigned int *)t2) = t10; t11 = *((unsigned int *)t3); *((unsigned int *)t3) = (t11 & 3U); t12 = *((unsigned int *)t2); *((unsigned int *)t2) = (t12 & 3U); t13 = (t0 + 16176); t14 = (t13 + 56U); t15 = *((char **)t14); t16 = (t15 + 56U); t17 = *((char **)t16); memset(t17, 0, 8); t18 = 3U; t19 = t18; t20 = (t3 + 4); t21 = *((unsigned int *)t3); t18 = (t18 & t21); t22 = *((unsigned int *)t20); t19 = (t19 & t22); t23 = (t17 + 4); t24 = *((unsigned int *)t17); *((unsigned int *)t17) = (t24 | t18); t25 = *((unsigned int *)t23); *((unsigned int *)t23) = (t25 | t19); xsi_driver_vfirst_trans(t13, 0, 1); t26 = (t0 + 15792); *((int *)t26) = 1; LAB1: return; } static void Cont_59_3(char *t0) { char t3[8]; char *t1; char *t2; char *t4; 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 *t15; char *t16; char *t17; unsigned int t18; unsigned int t19; char *t20; unsigned int t21; unsigned int t22; char *t23; unsigned int t24; unsigned int t25; char *t26; LAB0: t1 = (t0 + 12712U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(59, ng0); t2 = (t0 + 5368U); t4 = *((char **)t2); memset(t3, 0, 8); t2 = (t3 + 4); t5 = (t4 + 16); t6 = (t4 + 20); t7 = *((unsigned int *)t5); t8 = (t7 >> 7); *((unsigned int *)t3) = t8; t9 = *((unsigned int *)t6); t10 = (t9 >> 7); *((unsigned int *)t2) = t10; t11 = *((unsigned int *)t3); *((unsigned int *)t3) = (t11 & 3U); t12 = *((unsigned int *)t2); *((unsigned int *)t2) = (t12 & 3U); t13 = (t0 + 16240); t14 = (t13 + 56U); t15 = *((char **)t14); t16 = (t15 + 56U); t17 = *((char **)t16); memset(t17, 0, 8); t18 = 3U; t19 = t18; t20 = (t3 + 4); t21 = *((unsigned int *)t3); t18 = (t18 & t21); t22 = *((unsigned int *)t20); t19 = (t19 & t22); t23 = (t17 + 4); t24 = *((unsigned int *)t17); *((unsigned int *)t17) = (t24 | t18); t25 = *((unsigned int *)t23); *((unsigned int *)t23) = (t25 | t19); xsi_driver_vfirst_trans(t13, 0, 1); t26 = (t0 + 15808); *((int *)t26) = 1; LAB1: return; } static void Cont_60_4(char *t0) { char t3[8]; char *t1; char *t2; char *t4; 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 *t15; char *t16; char *t17; unsigned int t18; unsigned int t19; char *t20; unsigned int t21; unsigned int t22; char *t23; unsigned int t24; unsigned int t25; char *t26; LAB0: t1 = (t0 + 12960U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(60, ng0); t2 = (t0 + 5048U); t4 = *((char **)t2); memset(t3, 0, 8); t2 = (t3 + 4); t5 = (t4 + 24); t6 = (t4 + 28); t7 = *((unsigned int *)t5); t8 = (t7 >> 9); *((unsigned int *)t3) = t8; t9 = *((unsigned int *)t6); t10 = (t9 >> 9); *((unsigned int *)t2) = t10; t11 = *((unsigned int *)t3); *((unsigned int *)t3) = (t11 & 31U); t12 = *((unsigned int *)t2); *((unsigned int *)t2) = (t12 & 31U); t13 = (t0 + 16304); t14 = (t13 + 56U); t15 = *((char **)t14); t16 = (t15 + 56U); t17 = *((char **)t16); memset(t17, 0, 8); t18 = 7U; t19 = t18; t20 = (t3 + 4); t21 = *((unsigned int *)t3); t18 = (t18 & t21); t22 = *((unsigned int *)t20); t19 = (t19 & t22); t23 = (t17 + 4); t24 = *((unsigned int *)t17); *((unsigned int *)t17) = (t24 | t18); t25 = *((unsigned int *)t23); *((unsigned int *)t23) = (t25 | t19); xsi_driver_vfirst_trans(t13, 0, 2); t26 = (t0 + 15824); *((int *)t26) = 1; LAB1: return; } static void Cont_61_5(char *t0) { char t3[8]; char *t1; char *t2; char *t4; 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 *t15; char *t16; char *t17; unsigned int t18; unsigned int t19; char *t20; unsigned int t21; unsigned int t22; char *t23; unsigned int t24; unsigned int t25; char *t26; LAB0: t1 = (t0 + 13208U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(61, ng0); t2 = (t0 + 5368U); t4 = *((char **)t2); memset(t3, 0, 8); t2 = (t3 + 4); t5 = (t4 + 16); t6 = (t4 + 20); t7 = *((unsigned int *)t5); t8 = (t7 >> 0); *((unsigned int *)t3) = t8; t9 = *((unsigned int *)t6); t10 = (t9 >> 0); *((unsigned int *)t2) = t10; t11 = *((unsigned int *)t3); *((unsigned int *)t3) = (t11 & 31U); t12 = *((unsigned int *)t2); *((unsigned int *)t2) = (t12 & 31U); t13 = (t0 + 16368); t14 = (t13 + 56U); t15 = *((char **)t14); t16 = (t15 + 56U); t17 = *((char **)t16); memset(t17, 0, 8); t18 = 7U; t19 = t18; t20 = (t3 + 4); t21 = *((unsigned int *)t3); t18 = (t18 & t21); t22 = *((unsigned int *)t20); t19 = (t19 & t22); t23 = (t17 + 4); t24 = *((unsigned int *)t17); *((unsigned int *)t17) = (t24 | t18); t25 = *((unsigned int *)t23); *((unsigned int *)t23) = (t25 | t19); xsi_driver_vfirst_trans(t13, 0, 2); t26 = (t0 + 15840); *((int *)t26) = 1; LAB1: return; } static void Cont_62_6(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; char *t17; LAB0: t1 = (t0 + 13456U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(62, ng0); t2 = (t0 + 5368U); 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 & 4294967295U); t11 = *((unsigned int *)t2); *((unsigned int *)t2) = (t11 & 4294967295U); t12 = (t0 + 16432); t13 = (t12 + 56U); t14 = *((char **)t13); t15 = (t14 + 56U); t16 = *((char **)t15); memcpy(t16, t3, 8); xsi_driver_vfirst_trans(t12, 0, 31); t17 = (t0 + 15856); *((int *)t17) = 1; LAB1: return; } static void Cont_63_7(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; char *t17; LAB0: t1 = (t0 + 13704U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(63, ng0); t2 = (t0 + 5688U); 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 & 4294967295U); t11 = *((unsigned int *)t2); *((unsigned int *)t2) = (t11 & 4294967295U); t12 = (t0 + 16496); t13 = (t12 + 56U); t14 = *((char **)t13); t15 = (t14 + 56U); t16 = *((char **)t15); memcpy(t16, t3, 8); xsi_driver_vfirst_trans(t12, 0, 31); t17 = (t0 + 15872); *((int *)t17) = 1; LAB1: return; } static void Cont_64_8(char *t0) { char t3[8]; char t5[8]; char *t1; char *t2; char *t4; char *t6; char *t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; unsigned int t13; unsigned int 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; unsigned int t25; unsigned int t26; char *t27; char *t28; char *t29; unsigned int t30; unsigned int t31; unsigned int t32; unsigned int t33; unsigned int t34; unsigned int t35; unsigned int t36; unsigned int t37; char *t38; char *t39; char *t40; char *t41; char *t42; unsigned int t43; unsigned int t44; char *t45; unsigned int t46; unsigned int t47; char *t48; unsigned int t49; unsigned int t50; char *t51; LAB0: t1 = (t0 + 13952U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(64, ng0); t2 = (t0 + 9848U); t4 = *((char **)t2); t2 = ((char*)((ng1))); memset(t5, 0, 8); t6 = (t4 + 4); t7 = (t2 + 4); t8 = *((unsigned int *)t4); t9 = *((unsigned int *)t2); t10 = (t8 ^ t9); t11 = *((unsigned int *)t6); t12 = *((unsigned int *)t7); t13 = (t11 ^ t12); t14 = (t10 | t13); t15 = *((unsigned int *)t6); t16 = *((unsigned int *)t7); t17 = (t15 | t16); t18 = (~(t17)); t19 = (t14 & t18); if (t19 != 0) goto LAB7; LAB4: if (t17 != 0) goto LAB6; LAB5: *((unsigned int *)t5) = 1; LAB7: memset(t3, 0, 8); t21 = (t5 + 4); t22 = *((unsigned int *)t21); t23 = (~(t22)); t24 = *((unsigned int *)t5); t25 = (t24 & t23); t26 = (t25 & 1U); if (t26 != 0) goto LAB11; LAB9: if (*((unsigned int *)t21) == 0) goto LAB8; LAB10: t27 = (t3 + 4); *((unsigned int *)t3) = 1; *((unsigned int *)t27) = 1; LAB11: t28 = (t3 + 4); t29 = (t5 + 4); t30 = *((unsigned int *)t5); t31 = (~(t30)); *((unsigned int *)t3) = t31; *((unsigned int *)t28) = 0; if (*((unsigned int *)t29) != 0) goto LAB13; LAB12: t36 = *((unsigned int *)t3); *((unsigned int *)t3) = (t36 & 1U); t37 = *((unsigned int *)t28); *((unsigned int *)t28) = (t37 & 1U); t38 = (t0 + 16560); t39 = (t38 + 56U); t40 = *((char **)t39); t41 = (t40 + 56U); t42 = *((char **)t41); memset(t42, 0, 8); t43 = 1U; t44 = t43; t45 = (t3 + 4); t46 = *((unsigned int *)t3); t43 = (t43 & t46); t47 = *((unsigned int *)t45); t44 = (t44 & t47); t48 = (t42 + 4); t49 = *((unsigned int *)t42); *((unsigned int *)t42) = (t49 | t43); t50 = *((unsigned int *)t48); *((unsigned int *)t48) = (t50 | t44); xsi_driver_vfirst_trans(t38, 0, 0); t51 = (t0 + 15888); *((int *)t51) = 1; LAB1: return; LAB6: t20 = (t5 + 4); *((unsigned int *)t5) = 1; *((unsigned int *)t20) = 1; goto LAB7; LAB8: *((unsigned int *)t3) = 1; goto LAB11; LAB13: t32 = *((unsigned int *)t3); t33 = *((unsigned int *)t29); *((unsigned int *)t3) = (t32 | t33); t34 = *((unsigned int *)t28); t35 = *((unsigned int *)t29); *((unsigned int *)t28) = (t34 | t35); goto LAB12; } static void Cont_65_9(char *t0) { char t3[8]; char t5[8]; char *t1; char *t2; char *t4; char *t6; char *t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; unsigned int t13; unsigned int 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; unsigned int t25; unsigned int t26; char *t27; char *t28; char *t29; unsigned int t30; unsigned int t31; unsigned int t32; unsigned int t33; unsigned int t34; unsigned int t35; unsigned int t36; unsigned int t37; char *t38; char *t39; char *t40; char *t41; char *t42; unsigned int t43; unsigned int t44; char *t45; unsigned int t46; unsigned int t47; char *t48; unsigned int t49; unsigned int t50; char *t51; LAB0: t1 = (t0 + 14200U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(65, ng0); t2 = (t0 + 10008U); t4 = *((char **)t2); t2 = ((char*)((ng1))); memset(t5, 0, 8); t6 = (t4 + 4); t7 = (t2 + 4); t8 = *((unsigned int *)t4); t9 = *((unsigned int *)t2); t10 = (t8 ^ t9); t11 = *((unsigned int *)t6); t12 = *((unsigned int *)t7); t13 = (t11 ^ t12); t14 = (t10 | t13); t15 = *((unsigned int *)t6); t16 = *((unsigned int *)t7); t17 = (t15 | t16); t18 = (~(t17)); t19 = (t14 & t18); if (t19 != 0) goto LAB7; LAB4: if (t17 != 0) goto LAB6; LAB5: *((unsigned int *)t5) = 1; LAB7: memset(t3, 0, 8); t21 = (t5 + 4); t22 = *((unsigned int *)t21); t23 = (~(t22)); t24 = *((unsigned int *)t5); t25 = (t24 & t23); t26 = (t25 & 1U); if (t26 != 0) goto LAB11; LAB9: if (*((unsigned int *)t21) == 0) goto LAB8; LAB10: t27 = (t3 + 4); *((unsigned int *)t3) = 1; *((unsigned int *)t27) = 1; LAB11: t28 = (t3 + 4); t29 = (t5 + 4); t30 = *((unsigned int *)t5); t31 = (~(t30)); *((unsigned int *)t3) = t31; *((unsigned int *)t28) = 0; if (*((unsigned int *)t29) != 0) goto LAB13; LAB12: t36 = *((unsigned int *)t3); *((unsigned int *)t3) = (t36 & 1U); t37 = *((unsigned int *)t28); *((unsigned int *)t28) = (t37 & 1U); t38 = (t0 + 16624); t39 = (t38 + 56U); t40 = *((char **)t39); t41 = (t40 + 56U); t42 = *((char **)t41); memset(t42, 0, 8); t43 = 1U; t44 = t43; t45 = (t3 + 4); t46 = *((unsigned int *)t3); t43 = (t43 & t46); t47 = *((unsigned int *)t45); t44 = (t44 & t47); t48 = (t42 + 4); t49 = *((unsigned int *)t42); *((unsigned int *)t42) = (t49 | t43); t50 = *((unsigned int *)t48); *((unsigned int *)t48) = (t50 | t44); xsi_driver_vfirst_trans(t38, 0, 0); t51 = (t0 + 15904); *((int *)t51) = 1; LAB1: return; LAB6: t20 = (t5 + 4); *((unsigned int *)t5) = 1; *((unsigned int *)t20) = 1; goto LAB7; LAB8: *((unsigned int *)t3) = 1; goto LAB11; LAB13: t32 = *((unsigned int *)t3); t33 = *((unsigned int *)t29); *((unsigned int *)t3) = (t32 | t33); t34 = *((unsigned int *)t28); t35 = *((unsigned int *)t29); *((unsigned int *)t28) = (t34 | t35); goto LAB12; } static void Cont_66_10(char *t0) { char t4[8]; char *t1; char *t2; char *t3; char *t5; char *t6; unsigned int t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; unsigned int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; unsigned int t18; char *t19; char *t20; char *t21; char *t22; char *t23; char *t24; unsigned int t25; unsigned int t26; char *t27; unsigned int t28; unsigned int t29; char *t30; unsigned int t31; unsigned int t32; char *t33; LAB0: t1 = (t0 + 14448U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(66, ng0); t2 = (t0 + 9848U); t3 = *((char **)t2); t2 = ((char*)((ng2))); memset(t4, 0, 8); t5 = (t3 + 4); t6 = (t2 + 4); t7 = *((unsigned int *)t3); t8 = *((unsigned int *)t2); t9 = (t7 ^ t8); t10 = *((unsigned int *)t5); t11 = *((unsigned int *)t6); t12 = (t10 ^ t11); t13 = (t9 | t12); t14 = *((unsigned int *)t5); t15 = *((unsigned int *)t6); t16 = (t14 | t15); t17 = (~(t16)); t18 = (t13 & t17); if (t18 != 0) goto LAB7; LAB4: if (t16 != 0) goto LAB6; LAB5: *((unsigned int *)t4) = 1; LAB7: t20 = (t0 + 16688); t21 = (t20 + 56U); t22 = *((char **)t21); t23 = (t22 + 56U); t24 = *((char **)t23); memset(t24, 0, 8); t25 = 1U; t26 = t25; t27 = (t4 + 4); t28 = *((unsigned int *)t4); t25 = (t25 & t28); t29 = *((unsigned int *)t27); t26 = (t26 & t29); t30 = (t24 + 4); t31 = *((unsigned int *)t24); *((unsigned int *)t24) = (t31 | t25); t32 = *((unsigned int *)t30); *((unsigned int *)t30) = (t32 | t26); xsi_driver_vfirst_trans(t20, 0, 0); t33 = (t0 + 15920); *((int *)t33) = 1; LAB1: return; LAB6: t19 = (t4 + 4); *((unsigned int *)t4) = 1; *((unsigned int *)t19) = 1; goto LAB7; } static void Cont_67_11(char *t0) { char t5[8]; char t38[8]; char *t1; char *t2; char *t3; char *t4; unsigned int t6; unsigned int t7; unsigned int t8; char *t9; char *t10; unsigned int t11; unsigned int t12; unsigned int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; char *t18; char *t19; unsigned int t20; unsigned int t21; unsigned int t22; unsigned int t23; unsigned int t24; unsigned int t25; unsigned int t26; unsigned int t27; int t28; int t29; unsigned int t30; unsigned int t31; unsigned int t32; unsigned int t33; unsigned int t34; unsigned int t35; char *t36; char *t37; unsigned int t39; unsigned int t40; unsigned int t41; char *t42; char *t43; unsigned int t44; unsigned int t45; unsigned int t46; unsigned int t47; unsigned int t48; unsigned int t49; unsigned int t50; char *t51; char *t52; unsigned int t53; unsigned int t54; unsigned int t55; unsigned int t56; unsigned int t57; unsigned int t58; unsigned int t59; unsigned int t60; int t61; int t62; unsigned int t63; unsigned int t64; unsigned int t65; unsigned int t66; unsigned int t67; unsigned int t68; char *t69; char *t70; char *t71; char *t72; char *t73; unsigned int t74; unsigned int t75; char *t76; unsigned int t77; unsigned int t78; char *t79; unsigned int t80; unsigned int t81; char *t82; LAB0: t1 = (t0 + 14696U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(67, ng0); t2 = (t0 + 7288U); t3 = *((char **)t2); t2 = (t0 + 8248U); t4 = *((char **)t2); t6 = *((unsigned int *)t3); t7 = *((unsigned int *)t4); t8 = (t6 & t7); *((unsigned int *)t5) = t8; t2 = (t3 + 4); t9 = (t4 + 4); t10 = (t5 + 4); t11 = *((unsigned int *)t2); t12 = *((unsigned int *)t9); t13 = (t11 | t12); *((unsigned int *)t10) = t13; t14 = *((unsigned int *)t10); t15 = (t14 != 0); if (t15 == 1) goto LAB4; LAB5: LAB6: t36 = (t0 + 7768U); t37 = *((char **)t36); t39 = *((unsigned int *)t5); t40 = *((unsigned int *)t37); t41 = (t39 & t40); *((unsigned int *)t38) = t41; t36 = (t5 + 4); t42 = (t37 + 4); t43 = (t38 + 4); t44 = *((unsigned int *)t36); t45 = *((unsigned int *)t42); t46 = (t44 | t45); *((unsigned int *)t43) = t46; t47 = *((unsigned int *)t43); t48 = (t47 != 0); if (t48 == 1) goto LAB7; LAB8: LAB9: t69 = (t0 + 16752); t70 = (t69 + 56U); t71 = *((char **)t70); t72 = (t71 + 56U); t73 = *((char **)t72); memset(t73, 0, 8); t74 = 1U; t75 = t74; t76 = (t38 + 4); t77 = *((unsigned int *)t38); t74 = (t74 & t77); t78 = *((unsigned int *)t76); t75 = (t75 & t78); t79 = (t73 + 4); t80 = *((unsigned int *)t73); *((unsigned int *)t73) = (t80 | t74); t81 = *((unsigned int *)t79); *((unsigned int *)t79) = (t81 | t75); xsi_driver_vfirst_trans(t69, 0, 0); t82 = (t0 + 15936); *((int *)t82) = 1; LAB1: return; LAB4: t16 = *((unsigned int *)t5); t17 = *((unsigned int *)t10); *((unsigned int *)t5) = (t16 | t17); t18 = (t3 + 4); t19 = (t4 + 4); t20 = *((unsigned int *)t3); t21 = (~(t20)); t22 = *((unsigned int *)t18); t23 = (~(t22)); t24 = *((unsigned int *)t4); t25 = (~(t24)); t26 = *((unsigned int *)t19); t27 = (~(t26)); t28 = (t21 & t23); t29 = (t25 & t27); t30 = (~(t28)); t31 = (~(t29)); t32 = *((unsigned int *)t10); *((unsigned int *)t10) = (t32 & t30); t33 = *((unsigned int *)t10); *((unsigned int *)t10) = (t33 & t31); t34 = *((unsigned int *)t5); *((unsigned int *)t5) = (t34 & t30); t35 = *((unsigned int *)t5); *((unsigned int *)t5) = (t35 & t31); goto LAB6; LAB7: t49 = *((unsigned int *)t38); t50 = *((unsigned int *)t43); *((unsigned int *)t38) = (t49 | t50); t51 = (t5 + 4); t52 = (t37 + 4); t53 = *((unsigned int *)t5); t54 = (~(t53)); t55 = *((unsigned int *)t51); t56 = (~(t55)); t57 = *((unsigned int *)t37); t58 = (~(t57)); t59 = *((unsigned int *)t52); t60 = (~(t59)); t61 = (t54 & t56); t62 = (t58 & t60); t63 = (~(t61)); t64 = (~(t62)); t65 = *((unsigned int *)t43); *((unsigned int *)t43) = (t65 & t63); t66 = *((unsigned int *)t43); *((unsigned int *)t43) = (t66 & t64); t67 = *((unsigned int *)t38); *((unsigned int *)t38) = (t67 & t63); t68 = *((unsigned int *)t38); *((unsigned int *)t38) = (t68 & t64); goto LAB9; } static void Cont_68_12(char *t0) { char t5[8]; char t38[8]; char *t1; char *t2; char *t3; char *t4; unsigned int t6; unsigned int t7; unsigned int t8; char *t9; char *t10; unsigned int t11; unsigned int t12; unsigned int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; char *t18; char *t19; unsigned int t20; unsigned int t21; unsigned int t22; unsigned int t23; unsigned int t24; unsigned int t25; unsigned int t26; unsigned int t27; int t28; int t29; unsigned int t30; unsigned int t31; unsigned int t32; unsigned int t33; unsigned int t34; unsigned int t35; char *t36; char *t37; unsigned int t39; unsigned int t40; unsigned int t41; char *t42; char *t43; unsigned int t44; unsigned int t45; unsigned int t46; unsigned int t47; unsigned int t48; unsigned int t49; unsigned int t50; char *t51; char *t52; unsigned int t53; unsigned int t54; unsigned int t55; unsigned int t56; unsigned int t57; unsigned int t58; unsigned int t59; unsigned int t60; int t61; int t62; unsigned int t63; unsigned int t64; unsigned int t65; unsigned int t66; unsigned int t67; unsigned int t68; char *t69; char *t70; char *t71; char *t72; char *t73; unsigned int t74; unsigned int t75; char *t76; unsigned int t77; unsigned int t78; char *t79; unsigned int t80; unsigned int t81; char *t82; LAB0: t1 = (t0 + 14944U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(68, ng0); t2 = (t0 + 7128U); t3 = *((char **)t2); t2 = (t0 + 8248U); t4 = *((char **)t2); t6 = *((unsigned int *)t3); t7 = *((unsigned int *)t4); t8 = (t6 & t7); *((unsigned int *)t5) = t8; t2 = (t3 + 4); t9 = (t4 + 4); t10 = (t5 + 4); t11 = *((unsigned int *)t2); t12 = *((unsigned int *)t9); t13 = (t11 | t12); *((unsigned int *)t10) = t13; t14 = *((unsigned int *)t10); t15 = (t14 != 0); if (t15 == 1) goto LAB4; LAB5: LAB6: t36 = (t0 + 7928U); t37 = *((char **)t36); t39 = *((unsigned int *)t5); t40 = *((unsigned int *)t37); t41 = (t39 & t40); *((unsigned int *)t38) = t41; t36 = (t5 + 4); t42 = (t37 + 4); t43 = (t38 + 4); t44 = *((unsigned int *)t36); t45 = *((unsigned int *)t42); t46 = (t44 | t45); *((unsigned int *)t43) = t46; t47 = *((unsigned int *)t43); t48 = (t47 != 0); if (t48 == 1) goto LAB7; LAB8: LAB9: t69 = (t0 + 16816); t70 = (t69 + 56U); t71 = *((char **)t70); t72 = (t71 + 56U); t73 = *((char **)t72); memset(t73, 0, 8); t74 = 1U; t75 = t74; t76 = (t38 + 4); t77 = *((unsigned int *)t38); t74 = (t74 & t77); t78 = *((unsigned int *)t76); t75 = (t75 & t78); t79 = (t73 + 4); t80 = *((unsigned int *)t73); *((unsigned int *)t73) = (t80 | t74); t81 = *((unsigned int *)t79); *((unsigned int *)t79) = (t81 | t75); xsi_driver_vfirst_trans(t69, 0, 0); t82 = (t0 + 15952); *((int *)t82) = 1; LAB1: return; LAB4: t16 = *((unsigned int *)t5); t17 = *((unsigned int *)t10); *((unsigned int *)t5) = (t16 | t17); t18 = (t3 + 4); t19 = (t4 + 4); t20 = *((unsigned int *)t3); t21 = (~(t20)); t22 = *((unsigned int *)t18); t23 = (~(t22)); t24 = *((unsigned int *)t4); t25 = (~(t24)); t26 = *((unsigned int *)t19); t27 = (~(t26)); t28 = (t21 & t23); t29 = (t25 & t27); t30 = (~(t28)); t31 = (~(t29)); t32 = *((unsigned int *)t10); *((unsigned int *)t10) = (t32 & t30); t33 = *((unsigned int *)t10); *((unsigned int *)t10) = (t33 & t31); t34 = *((unsigned int *)t5); *((unsigned int *)t5) = (t34 & t30); t35 = *((unsigned int *)t5); *((unsigned int *)t5) = (t35 & t31); goto LAB6; LAB7: t49 = *((unsigned int *)t38); t50 = *((unsigned int *)t43); *((unsigned int *)t38) = (t49 | t50); t51 = (t5 + 4); t52 = (t37 + 4); t53 = *((unsigned int *)t5); t54 = (~(t53)); t55 = *((unsigned int *)t51); t56 = (~(t55)); t57 = *((unsigned int *)t37); t58 = (~(t57)); t59 = *((unsigned int *)t52); t60 = (~(t59)); t61 = (t54 & t56); t62 = (t58 & t60); t63 = (~(t61)); t64 = (~(t62)); t65 = *((unsigned int *)t43); *((unsigned int *)t43) = (t65 & t63); t66 = *((unsigned int *)t43); *((unsigned int *)t43) = (t66 & t64); t67 = *((unsigned int *)t38); *((unsigned int *)t38) = (t67 & t63); t68 = *((unsigned int *)t38); *((unsigned int *)t38) = (t68 & t64); goto LAB9; } static void implSig1_execute(char *t0) { char t5[8]; char *t1; char *t2; char *t3; char *t4; unsigned int t6; unsigned int t7; unsigned int t8; char *t9; char *t10; unsigned int t11; unsigned int t12; unsigned int t13; unsigned int t14; unsigned int t15; unsigned int t16; unsigned int t17; char *t18; char *t19; unsigned int t20; unsigned int t21; unsigned int t22; int t23; unsigned int t24; unsigned int t25; unsigned int t26; int t27; unsigned int t28; unsigned int t29; unsigned int t30; unsigned int t31; char *t32; char *t33; char *t34; char *t35; char *t36; unsigned int t37; unsigned int t38; char *t39; unsigned int t40; unsigned int t41; char *t42; unsigned int t43; unsigned int t44; char *t45; LAB0: t1 = (t0 + 15192U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = (t0 + 3448U); t3 = *((char **)t2); t2 = (t0 + 2488U); t4 = *((char **)t2); t6 = *((unsigned int *)t3); t7 = *((unsigned int *)t4); t8 = (t6 | t7); *((unsigned int *)t5) = t8; t2 = (t3 + 4); t9 = (t4 + 4); t10 = (t5 + 4); t11 = *((unsigned int *)t2); t12 = *((unsigned int *)t9); t13 = (t11 | t12); *((unsigned int *)t10) = t13; t14 = *((unsigned int *)t10); t15 = (t14 != 0); if (t15 == 1) goto LAB4; LAB5: LAB6: t32 = (t0 + 16880); t33 = (t32 + 56U); t34 = *((char **)t33); t35 = (t34 + 56U); t36 = *((char **)t35); memset(t36, 0, 8); t37 = 1U; t38 = t37; t39 = (t5 + 4); t40 = *((unsigned int *)t5); t37 = (t37 & t40); t41 = *((unsigned int *)t39); t38 = (t38 & t41); t42 = (t36 + 4); t43 = *((unsigned int *)t36); *((unsigned int *)t36) = (t43 | t37); t44 = *((unsigned int *)t42); *((unsigned int *)t42) = (t44 | t38); xsi_driver_vfirst_trans(t32, 0, 0); t45 = (t0 + 15968); *((int *)t45) = 1; LAB1: return; LAB4: t16 = *((unsigned int *)t5); t17 = *((unsigned int *)t10); *((unsigned int *)t5) = (t16 | t17); t18 = (t3 + 4); t19 = (t4 + 4); t20 = *((unsigned int *)t18); t21 = (~(t20)); t22 = *((unsigned int *)t3); t23 = (t22 & t21); t24 = *((unsigned int *)t19); t25 = (~(t24)); t26 = *((unsigned int *)t4); t27 = (t26 & t25); t28 = (~(t23)); t29 = (~(t27)); t30 = *((unsigned int *)t10); *((unsigned int *)t10) = (t30 & t28); t31 = *((unsigned int *)t10); *((unsigned int *)t10) = (t31 & t29); goto LAB6; } static void implSig2_execute(char *t0) { char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; LAB0: t1 = (t0 + 15440U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: t2 = ((char*)((ng3))); t3 = (t0 + 16944); t4 = (t3 + 56U); t5 = *((char **)t4); t6 = (t5 + 56U); t7 = *((char **)t6); memcpy(t7, t2, 8); xsi_driver_vfirst_trans(t3, 0, 31); LAB1: return; } extern void work_m_00000000004105140779_2442001628_init() { static char *pe[] = {(void *)Cont_56_0,(void *)Cont_57_1,(void *)Cont_58_2,(void *)Cont_59_3,(void *)Cont_60_4,(void *)Cont_61_5,(void *)Cont_62_6,(void *)Cont_63_7,(void *)Cont_64_8,(void *)Cont_65_9,(void *)Cont_66_10,(void *)Cont_67_11,(void *)Cont_68_12,(void *)implSig1_execute,(void *)implSig2_execute}; xsi_register_didat("work_m_00000000004105140779_2442001628", "isim/tb_Test_Bed_isim_beh.exe.sim/work/m_00000000004105140779_2442001628.didat"); xsi_register_executes(pe); }