URL
https://opencores.org/ocsvn/xmatchpro/xmatchpro/trunk
Subversion Repositories xmatchpro
[/] [xmatchpro/] [trunk/] [xmw4-comdec/] [xmatch_sim7/] [isim/] [precompiled.exe.sim/] [ieee/] [p_3620187407.c] - Rev 9
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 = "Function maximum ended without a return statement"; extern char *STD_STANDARD; extern char *IEEE_P_2592010699; extern char *IEEE_P_3499444699; char *ieee_p_3499444699_sub_173946173_3536714472(char *, char *, char *, char *, char *, char *); char *ieee_p_3499444699_sub_1775521082_3536714472(char *, char *, char *, char *, char *, char *); char *ieee_p_3499444699_sub_1904283970_3536714472(char *, char *, char *, char *, char *, char *); unsigned char ieee_p_3499444699_sub_2235775063_3536714472(char *, int , char *, char *); unsigned char ieee_p_3499444699_sub_2235811000_3536714472(char *, int , char *, char *); unsigned char ieee_p_3499444699_sub_2235846937_3536714472(char *, int , char *, char *); unsigned char ieee_p_3499444699_sub_2368579451_3536714472(char *, char *, char *, int ); unsigned char ieee_p_3499444699_sub_2368615388_3536714472(char *, char *, char *, int ); unsigned char ieee_p_3499444699_sub_2368651325_3536714472(char *, char *, char *, int ); unsigned char ieee_p_3499444699_sub_2591093089_3536714472(char *, char *, char *, char *, char *); char *ieee_p_3499444699_sub_289433618_3536714472(char *, char *, char *, char *, unsigned char ); unsigned char ieee_p_3499444699_sub_3579735367_3536714472(char *, int , char *, char *); unsigned char ieee_p_3499444699_sub_3595152340_3536714472(char *, int , char *, char *); unsigned char ieee_p_3499444699_sub_3597524182_3536714472(char *, int , char *, char *); unsigned char ieee_p_3499444699_sub_3712539755_3536714472(char *, char *, char *, int ); unsigned char ieee_p_3499444699_sub_3727956728_3536714472(char *, char *, char *, int ); unsigned char ieee_p_3499444699_sub_3730328570_3536714472(char *, char *, char *, int ); unsigned char ieee_p_3499444699_sub_3935053393_3536714472(char *, char *, char *, char *, char *); unsigned char ieee_p_3499444699_sub_3950470366_3536714472(char *, char *, char *, char *, char *); unsigned char ieee_p_3499444699_sub_3952842208_3536714472(char *, char *, char *, char *, char *); char *ieee_p_3499444699_sub_4112306614_3536714472(char *, char *, unsigned char , char *, char *); char *ieee_p_3499444699_sub_4144887825_3536714472(char *, char *, int , char *, char *); char *ieee_p_3499444699_sub_4144959699_3536714472(char *, char *, int , char *, char *); char *ieee_p_3499444699_sub_4192098780_3536714472(char *, char *, char *, char *); char *ieee_p_3499444699_sub_4208333081_3536714472(char *, char *, unsigned char , char *, char *); char *ieee_p_3499444699_sub_4232465333_3536714472(char *, char *, char *, char *, int ); char *ieee_p_3499444699_sub_4232537207_3536714472(char *, char *, char *, char *, int ); char *ieee_p_3499444699_sub_460092141_3536714472(char *, char *, char *, char *, unsigned char ); char *ieee_p_3499444699_sub_723876666_3536714472(char *, char *, char *, char *, char *, char *); char *ieee_p_3499444699_sub_723948540_3536714472(char *, char *, char *, char *, char *, char *); int ieee_p_3620187407_sub_3716635170_3965413181(char *t1, int t2, int t3) { char t5[16]; int t0; char *t6; char *t7; unsigned char t8; LAB0: t6 = (t5 + 4U); *((int *)t6) = t2; t7 = (t5 + 8U); *((int *)t7) = t3; t8 = (t2 > t3); if (t8 != 0) goto LAB2; LAB4: t0 = t3; LAB1: return t0; LAB2: t0 = t2; goto LAB1; LAB3: xsi_error(ng0); t0 = 0; goto LAB1; LAB5: goto LAB3; LAB6: goto LAB3; } char *ieee_p_3620187407_sub_767668596_3965413181(char *t1, char *t2, char *t3, char *t4, char *t5, char *t6) { char t7[248]; char t8[40]; char t17[8]; char t26[16]; char t45[16]; char *t0; char *t9; unsigned int t10; char *t11; unsigned int t12; int t13; char *t14; char *t15; char *t16; char *t18; char *t19; char *t20; char *t21; int t22; int t23; int t24; unsigned int t25; char *t27; int t28; int t29; char *t30; int t31; unsigned int t32; char *t33; char *t34; char *t35; char *t36; char *t37; char *t38; char *t39; unsigned char t40; char *t41; char *t42; unsigned char t43; char *t44; char *t46; char *t47; char *t48; char *t49; unsigned int t50; LAB0: t9 = (t4 + 12U); t10 = *((unsigned int *)t9); t11 = (t6 + 12U); t12 = *((unsigned int *)t11); t13 = ieee_p_3620187407_sub_3716635170_3965413181(t1, ((t10)), ((t12))); t14 = (t7 + 4U); t15 = ((STD_STANDARD) + 384); t16 = (t14 + 88U); *((char **)t16) = t15; t18 = (t14 + 56U); *((char **)t18) = t17; *((int *)t17) = t13; t19 = (t14 + 80U); *((unsigned int *)t19) = 4U; t20 = (t14 + 56U); t21 = *((char **)t20); t22 = *((int *)t21); t23 = (t22 - 1); t24 = (0 - t23); t25 = (t24 * -1); t25 = (t25 + 1); t25 = (t25 * 1U); t20 = (t14 + 56U); t27 = *((char **)t20); t28 = *((int *)t27); t29 = (t28 - 1); t20 = (t26 + 0U); t30 = (t20 + 0U); *((int *)t30) = t29; t30 = (t20 + 4U); *((int *)t30) = 0; t30 = (t20 + 8U); *((int *)t30) = -1; t31 = (0 - t29); t32 = (t31 * -1); t32 = (t32 + 1); t30 = (t20 + 12U); *((unsigned int *)t30) = t32; t30 = (t7 + 124U); t33 = ((IEEE_P_2592010699) + 4024); t34 = (t30 + 88U); *((char **)t34) = t33; t35 = (char *)alloca(t25); t36 = (t30 + 56U); *((char **)t36) = t35; xsi_type_set_default_value(t33, t35, t26); t37 = (t30 + 64U); *((char **)t37) = t26; t38 = (t30 + 80U); *((unsigned int *)t38) = t25; t39 = (t8 + 4U); t40 = (t3 != 0); if (t40 == 1) goto LAB3; LAB2: t41 = (t8 + 12U); *((char **)t41) = t4; t42 = (t8 + 20U); t43 = (t5 != 0); if (t43 == 1) goto LAB5; LAB4: t44 = (t8 + 28U); *((char **)t44) = t6; t46 = ieee_p_3499444699_sub_723876666_3536714472(IEEE_P_3499444699, t45, t3, t4, t5, t6); t47 = (t30 + 56U); t48 = *((char **)t47); t47 = (t48 + 0); t49 = (t45 + 12U); t32 = *((unsigned int *)t49); t50 = (1U * t32); memcpy(t47, t46, t50); t9 = (t30 + 56U); t11 = *((char **)t9); t9 = (t26 + 12U); t10 = *((unsigned int *)t9); t10 = (t10 * 1U); t0 = xsi_get_transient_memory(t10); memcpy(t0, t11, t10); t15 = (t26 + 0U); t13 = *((int *)t15); t16 = (t26 + 4U); t22 = *((int *)t16); t18 = (t26 + 8U); t23 = *((int *)t18); t19 = (t2 + 0U); t20 = (t19 + 0U); *((int *)t20) = t13; t20 = (t19 + 4U); *((int *)t20) = t22; t20 = (t19 + 8U); *((int *)t20) = t23; t24 = (t22 - t13); t12 = (t24 * t23); t12 = (t12 + 1); t20 = (t19 + 12U); *((unsigned int *)t20) = t12; LAB1: return t0; LAB3: *((char **)t39) = t3; goto LAB2; LAB5: *((char **)t42) = t5; goto LAB4; LAB6:; } char *ieee_p_3620187407_sub_436279890_3965413181(char *t1, char *t2, char *t3, char *t4, int t5) { char t6[128]; char t7[24]; char t10[16]; char t31[16]; char *t0; char *t8; unsigned int t9; char *t11; int t12; char *t13; int t14; char *t15; int t16; char *t17; char *t18; int t19; unsigned int t20; char *t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; unsigned char t28; char *t29; char *t30; char *t32; char *t33; char *t34; char *t35; unsigned int t36; LAB0: t8 = (t4 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t11 = (t4 + 0U); t12 = *((int *)t11); t13 = (t4 + 4U); t14 = *((int *)t13); t15 = (t4 + 8U); t16 = *((int *)t15); t17 = (t10 + 0U); t18 = (t17 + 0U); *((int *)t18) = t12; t18 = (t17 + 4U); *((int *)t18) = t14; t18 = (t17 + 8U); *((int *)t18) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t18 = (t17 + 12U); *((unsigned int *)t18) = t20; t18 = (t6 + 4U); t21 = ((IEEE_P_2592010699) + 4024); t22 = (t18 + 88U); *((char **)t22) = t21; t23 = (char *)alloca(t9); t24 = (t18 + 56U); *((char **)t24) = t23; xsi_type_set_default_value(t21, t23, t10); t25 = (t18 + 64U); *((char **)t25) = t10; t26 = (t18 + 80U); *((unsigned int *)t26) = t9; t27 = (t7 + 4U); t28 = (t3 != 0); if (t28 == 1) goto LAB3; LAB2: t29 = (t7 + 12U); *((char **)t29) = t4; t30 = (t7 + 20U); *((int *)t30) = t5; t32 = ieee_p_3499444699_sub_4232465333_3536714472(IEEE_P_3499444699, t31, t3, t4, t5); t33 = (t18 + 56U); t34 = *((char **)t33); t33 = (t34 + 0); t35 = (t31 + 12U); t20 = *((unsigned int *)t35); t36 = (1U * t20); memcpy(t33, t32, t36); t8 = (t18 + 56U); t11 = *((char **)t8); t8 = (t10 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t0 = xsi_get_transient_memory(t9); memcpy(t0, t11, t9); t13 = (t10 + 0U); t12 = *((int *)t13); t15 = (t10 + 4U); t14 = *((int *)t15); t17 = (t10 + 8U); t16 = *((int *)t17); t21 = (t2 + 0U); t22 = (t21 + 0U); *((int *)t22) = t12; t22 = (t21 + 4U); *((int *)t22) = t14; t22 = (t21 + 8U); *((int *)t22) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t22 = (t21 + 12U); *((unsigned int *)t22) = t20; LAB1: return t0; LAB3: *((char **)t27) = t3; goto LAB2; LAB4:; } char *ieee_p_3620187407_sub_27954454_3965413181(char *t1, char *t2, int t3, char *t4, char *t5) { char t6[128]; char t7[24]; char t10[16]; char t31[16]; char *t0; char *t8; unsigned int t9; char *t11; int t12; char *t13; int t14; char *t15; int t16; char *t17; char *t18; int t19; unsigned int t20; char *t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; char *t28; unsigned char t29; char *t30; char *t32; char *t33; char *t34; char *t35; unsigned int t36; LAB0: t8 = (t5 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t11 = (t5 + 0U); t12 = *((int *)t11); t13 = (t5 + 4U); t14 = *((int *)t13); t15 = (t5 + 8U); t16 = *((int *)t15); t17 = (t10 + 0U); t18 = (t17 + 0U); *((int *)t18) = t12; t18 = (t17 + 4U); *((int *)t18) = t14; t18 = (t17 + 8U); *((int *)t18) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t18 = (t17 + 12U); *((unsigned int *)t18) = t20; t18 = (t6 + 4U); t21 = ((IEEE_P_2592010699) + 4024); t22 = (t18 + 88U); *((char **)t22) = t21; t23 = (char *)alloca(t9); t24 = (t18 + 56U); *((char **)t24) = t23; xsi_type_set_default_value(t21, t23, t10); t25 = (t18 + 64U); *((char **)t25) = t10; t26 = (t18 + 80U); *((unsigned int *)t26) = t9; t27 = (t7 + 4U); *((int *)t27) = t3; t28 = (t7 + 8U); t29 = (t4 != 0); if (t29 == 1) goto LAB3; LAB2: t30 = (t7 + 16U); *((char **)t30) = t5; t32 = ieee_p_3499444699_sub_4144887825_3536714472(IEEE_P_3499444699, t31, t3, t4, t5); t33 = (t18 + 56U); t34 = *((char **)t33); t33 = (t34 + 0); t35 = (t31 + 12U); t20 = *((unsigned int *)t35); t36 = (1U * t20); memcpy(t33, t32, t36); t8 = (t18 + 56U); t11 = *((char **)t8); t8 = (t10 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t0 = xsi_get_transient_memory(t9); memcpy(t0, t11, t9); t13 = (t10 + 0U); t12 = *((int *)t13); t15 = (t10 + 4U); t14 = *((int *)t15); t17 = (t10 + 8U); t16 = *((int *)t17); t21 = (t2 + 0U); t22 = (t21 + 0U); *((int *)t22) = t12; t22 = (t21 + 4U); *((int *)t22) = t14; t22 = (t21 + 8U); *((int *)t22) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t22 = (t21 + 12U); *((unsigned int *)t22) = t20; LAB1: return t0; LAB3: *((char **)t28) = t4; goto LAB2; LAB4:; } char *ieee_p_3620187407_sub_674691591_3965413181(char *t1, char *t2, char *t3, char *t4, unsigned char t5) { char t6[128]; char t7[24]; char t10[16]; char t31[16]; char *t0; char *t8; unsigned int t9; char *t11; int t12; char *t13; int t14; char *t15; int t16; char *t17; char *t18; int t19; unsigned int t20; char *t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; unsigned char t28; char *t29; char *t30; char *t32; char *t33; char *t34; char *t35; unsigned int t36; LAB0: t8 = (t4 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t11 = (t4 + 0U); t12 = *((int *)t11); t13 = (t4 + 4U); t14 = *((int *)t13); t15 = (t4 + 8U); t16 = *((int *)t15); t17 = (t10 + 0U); t18 = (t17 + 0U); *((int *)t18) = t12; t18 = (t17 + 4U); *((int *)t18) = t14; t18 = (t17 + 8U); *((int *)t18) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t18 = (t17 + 12U); *((unsigned int *)t18) = t20; t18 = (t6 + 4U); t21 = ((IEEE_P_2592010699) + 4024); t22 = (t18 + 88U); *((char **)t22) = t21; t23 = (char *)alloca(t9); t24 = (t18 + 56U); *((char **)t24) = t23; xsi_type_set_default_value(t21, t23, t10); t25 = (t18 + 64U); *((char **)t25) = t10; t26 = (t18 + 80U); *((unsigned int *)t26) = t9; t27 = (t7 + 4U); t28 = (t3 != 0); if (t28 == 1) goto LAB3; LAB2: t29 = (t7 + 12U); *((char **)t29) = t4; t30 = (t7 + 20U); *((unsigned char *)t30) = t5; t32 = ieee_p_3499444699_sub_289433618_3536714472(IEEE_P_3499444699, t31, t3, t4, t5); t33 = (t18 + 56U); t34 = *((char **)t33); t33 = (t34 + 0); t35 = (t31 + 12U); t20 = *((unsigned int *)t35); t36 = (1U * t20); memcpy(t33, t32, t36); t8 = (t18 + 56U); t11 = *((char **)t8); t8 = (t10 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t0 = xsi_get_transient_memory(t9); memcpy(t0, t11, t9); t13 = (t10 + 0U); t12 = *((int *)t13); t15 = (t10 + 4U); t14 = *((int *)t15); t17 = (t10 + 8U); t16 = *((int *)t17); t21 = (t2 + 0U); t22 = (t21 + 0U); *((int *)t22) = t12; t22 = (t21 + 4U); *((int *)t22) = t14; t22 = (t21 + 8U); *((int *)t22) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t22 = (t21 + 12U); *((unsigned int *)t22) = t20; LAB1: return t0; LAB3: *((char **)t27) = t3; goto LAB2; LAB4:; } char *ieee_p_3620187407_sub_4129134319_3965413181(char *t1, char *t2, unsigned char t3, char *t4, char *t5) { char t6[128]; char t7[24]; char t10[16]; char t31[16]; char *t0; char *t8; unsigned int t9; char *t11; int t12; char *t13; int t14; char *t15; int t16; char *t17; char *t18; int t19; unsigned int t20; char *t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; char *t28; unsigned char t29; char *t30; char *t32; char *t33; char *t34; char *t35; unsigned int t36; LAB0: t8 = (t5 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t11 = (t5 + 0U); t12 = *((int *)t11); t13 = (t5 + 4U); t14 = *((int *)t13); t15 = (t5 + 8U); t16 = *((int *)t15); t17 = (t10 + 0U); t18 = (t17 + 0U); *((int *)t18) = t12; t18 = (t17 + 4U); *((int *)t18) = t14; t18 = (t17 + 8U); *((int *)t18) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t18 = (t17 + 12U); *((unsigned int *)t18) = t20; t18 = (t6 + 4U); t21 = ((IEEE_P_2592010699) + 4024); t22 = (t18 + 88U); *((char **)t22) = t21; t23 = (char *)alloca(t9); t24 = (t18 + 56U); *((char **)t24) = t23; xsi_type_set_default_value(t21, t23, t10); t25 = (t18 + 64U); *((char **)t25) = t10; t26 = (t18 + 80U); *((unsigned int *)t26) = t9; t27 = (t7 + 4U); *((unsigned char *)t27) = t3; t28 = (t7 + 5U); t29 = (t4 != 0); if (t29 == 1) goto LAB3; LAB2: t30 = (t7 + 13U); *((char **)t30) = t5; t32 = ieee_p_3499444699_sub_4112306614_3536714472(IEEE_P_3499444699, t31, t3, t4, t5); t33 = (t18 + 56U); t34 = *((char **)t33); t33 = (t34 + 0); t35 = (t31 + 12U); t20 = *((unsigned int *)t35); t36 = (1U * t20); memcpy(t33, t32, t36); t8 = (t18 + 56U); t11 = *((char **)t8); t8 = (t10 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t0 = xsi_get_transient_memory(t9); memcpy(t0, t11, t9); t13 = (t10 + 0U); t12 = *((int *)t13); t15 = (t10 + 4U); t14 = *((int *)t15); t17 = (t10 + 8U); t16 = *((int *)t17); t21 = (t2 + 0U); t22 = (t21 + 0U); *((int *)t22) = t12; t22 = (t21 + 4U); *((int *)t22) = t14; t22 = (t21 + 8U); *((int *)t22) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t22 = (t21 + 12U); *((unsigned int *)t22) = t20; LAB1: return t0; LAB3: *((char **)t28) = t4; goto LAB2; LAB4:; } char *ieee_p_3620187407_sub_767740470_3965413181(char *t1, char *t2, char *t3, char *t4, char *t5, char *t6) { char t7[248]; char t8[40]; char t17[8]; char t26[16]; char t45[16]; char *t0; char *t9; unsigned int t10; char *t11; unsigned int t12; int t13; char *t14; char *t15; char *t16; char *t18; char *t19; char *t20; char *t21; int t22; int t23; int t24; unsigned int t25; char *t27; int t28; int t29; char *t30; int t31; unsigned int t32; char *t33; char *t34; char *t35; char *t36; char *t37; char *t38; char *t39; unsigned char t40; char *t41; char *t42; unsigned char t43; char *t44; char *t46; char *t47; char *t48; char *t49; unsigned int t50; LAB0: t9 = (t4 + 12U); t10 = *((unsigned int *)t9); t11 = (t6 + 12U); t12 = *((unsigned int *)t11); t13 = ieee_p_3620187407_sub_3716635170_3965413181(t1, ((t10)), ((t12))); t14 = (t7 + 4U); t15 = ((STD_STANDARD) + 384); t16 = (t14 + 88U); *((char **)t16) = t15; t18 = (t14 + 56U); *((char **)t18) = t17; *((int *)t17) = t13; t19 = (t14 + 80U); *((unsigned int *)t19) = 4U; t20 = (t14 + 56U); t21 = *((char **)t20); t22 = *((int *)t21); t23 = (t22 - 1); t24 = (0 - t23); t25 = (t24 * -1); t25 = (t25 + 1); t25 = (t25 * 1U); t20 = (t14 + 56U); t27 = *((char **)t20); t28 = *((int *)t27); t29 = (t28 - 1); t20 = (t26 + 0U); t30 = (t20 + 0U); *((int *)t30) = t29; t30 = (t20 + 4U); *((int *)t30) = 0; t30 = (t20 + 8U); *((int *)t30) = -1; t31 = (0 - t29); t32 = (t31 * -1); t32 = (t32 + 1); t30 = (t20 + 12U); *((unsigned int *)t30) = t32; t30 = (t7 + 124U); t33 = ((IEEE_P_2592010699) + 4024); t34 = (t30 + 88U); *((char **)t34) = t33; t35 = (char *)alloca(t25); t36 = (t30 + 56U); *((char **)t36) = t35; xsi_type_set_default_value(t33, t35, t26); t37 = (t30 + 64U); *((char **)t37) = t26; t38 = (t30 + 80U); *((unsigned int *)t38) = t25; t39 = (t8 + 4U); t40 = (t3 != 0); if (t40 == 1) goto LAB3; LAB2: t41 = (t8 + 12U); *((char **)t41) = t4; t42 = (t8 + 20U); t43 = (t5 != 0); if (t43 == 1) goto LAB5; LAB4: t44 = (t8 + 28U); *((char **)t44) = t6; t46 = ieee_p_3499444699_sub_723948540_3536714472(IEEE_P_3499444699, t45, t3, t4, t5, t6); t47 = (t30 + 56U); t48 = *((char **)t47); t47 = (t48 + 0); t49 = (t45 + 12U); t32 = *((unsigned int *)t49); t50 = (1U * t32); memcpy(t47, t46, t50); t9 = (t30 + 56U); t11 = *((char **)t9); t9 = (t26 + 12U); t10 = *((unsigned int *)t9); t10 = (t10 * 1U); t0 = xsi_get_transient_memory(t10); memcpy(t0, t11, t10); t15 = (t26 + 0U); t13 = *((int *)t15); t16 = (t26 + 4U); t22 = *((int *)t16); t18 = (t26 + 8U); t23 = *((int *)t18); t19 = (t2 + 0U); t20 = (t19 + 0U); *((int *)t20) = t13; t20 = (t19 + 4U); *((int *)t20) = t22; t20 = (t19 + 8U); *((int *)t20) = t23; t24 = (t22 - t13); t12 = (t24 * t23); t12 = (t12 + 1); t20 = (t19 + 12U); *((unsigned int *)t20) = t12; LAB1: return t0; LAB3: *((char **)t39) = t3; goto LAB2; LAB5: *((char **)t42) = t5; goto LAB4; LAB6:; } char *ieee_p_3620187407_sub_436351764_3965413181(char *t1, char *t2, char *t3, char *t4, int t5) { char t6[128]; char t7[24]; char t10[16]; char t31[16]; char *t0; char *t8; unsigned int t9; char *t11; int t12; char *t13; int t14; char *t15; int t16; char *t17; char *t18; int t19; unsigned int t20; char *t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; unsigned char t28; char *t29; char *t30; char *t32; char *t33; char *t34; char *t35; unsigned int t36; LAB0: t8 = (t4 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t11 = (t4 + 0U); t12 = *((int *)t11); t13 = (t4 + 4U); t14 = *((int *)t13); t15 = (t4 + 8U); t16 = *((int *)t15); t17 = (t10 + 0U); t18 = (t17 + 0U); *((int *)t18) = t12; t18 = (t17 + 4U); *((int *)t18) = t14; t18 = (t17 + 8U); *((int *)t18) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t18 = (t17 + 12U); *((unsigned int *)t18) = t20; t18 = (t6 + 4U); t21 = ((IEEE_P_2592010699) + 4024); t22 = (t18 + 88U); *((char **)t22) = t21; t23 = (char *)alloca(t9); t24 = (t18 + 56U); *((char **)t24) = t23; xsi_type_set_default_value(t21, t23, t10); t25 = (t18 + 64U); *((char **)t25) = t10; t26 = (t18 + 80U); *((unsigned int *)t26) = t9; t27 = (t7 + 4U); t28 = (t3 != 0); if (t28 == 1) goto LAB3; LAB2: t29 = (t7 + 12U); *((char **)t29) = t4; t30 = (t7 + 20U); *((int *)t30) = t5; t32 = ieee_p_3499444699_sub_4232537207_3536714472(IEEE_P_3499444699, t31, t3, t4, t5); t33 = (t18 + 56U); t34 = *((char **)t33); t33 = (t34 + 0); t35 = (t31 + 12U); t20 = *((unsigned int *)t35); t36 = (1U * t20); memcpy(t33, t32, t36); t8 = (t18 + 56U); t11 = *((char **)t8); t8 = (t10 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t0 = xsi_get_transient_memory(t9); memcpy(t0, t11, t9); t13 = (t10 + 0U); t12 = *((int *)t13); t15 = (t10 + 4U); t14 = *((int *)t15); t17 = (t10 + 8U); t16 = *((int *)t17); t21 = (t2 + 0U); t22 = (t21 + 0U); *((int *)t22) = t12; t22 = (t21 + 4U); *((int *)t22) = t14; t22 = (t21 + 8U); *((int *)t22) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t22 = (t21 + 12U); *((unsigned int *)t22) = t20; LAB1: return t0; LAB3: *((char **)t27) = t3; goto LAB2; LAB4:; } char *ieee_p_3620187407_sub_28026328_3965413181(char *t1, char *t2, int t3, char *t4, char *t5) { char t6[128]; char t7[24]; char t10[16]; char t31[16]; char *t0; char *t8; unsigned int t9; char *t11; int t12; char *t13; int t14; char *t15; int t16; char *t17; char *t18; int t19; unsigned int t20; char *t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; char *t28; unsigned char t29; char *t30; char *t32; char *t33; char *t34; char *t35; unsigned int t36; LAB0: t8 = (t5 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t11 = (t5 + 0U); t12 = *((int *)t11); t13 = (t5 + 4U); t14 = *((int *)t13); t15 = (t5 + 8U); t16 = *((int *)t15); t17 = (t10 + 0U); t18 = (t17 + 0U); *((int *)t18) = t12; t18 = (t17 + 4U); *((int *)t18) = t14; t18 = (t17 + 8U); *((int *)t18) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t18 = (t17 + 12U); *((unsigned int *)t18) = t20; t18 = (t6 + 4U); t21 = ((IEEE_P_2592010699) + 4024); t22 = (t18 + 88U); *((char **)t22) = t21; t23 = (char *)alloca(t9); t24 = (t18 + 56U); *((char **)t24) = t23; xsi_type_set_default_value(t21, t23, t10); t25 = (t18 + 64U); *((char **)t25) = t10; t26 = (t18 + 80U); *((unsigned int *)t26) = t9; t27 = (t7 + 4U); *((int *)t27) = t3; t28 = (t7 + 8U); t29 = (t4 != 0); if (t29 == 1) goto LAB3; LAB2: t30 = (t7 + 16U); *((char **)t30) = t5; t32 = ieee_p_3499444699_sub_4144959699_3536714472(IEEE_P_3499444699, t31, t3, t4, t5); t33 = (t18 + 56U); t34 = *((char **)t33); t33 = (t34 + 0); t35 = (t31 + 12U); t20 = *((unsigned int *)t35); t36 = (1U * t20); memcpy(t33, t32, t36); t8 = (t18 + 56U); t11 = *((char **)t8); t8 = (t10 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t0 = xsi_get_transient_memory(t9); memcpy(t0, t11, t9); t13 = (t10 + 0U); t12 = *((int *)t13); t15 = (t10 + 4U); t14 = *((int *)t15); t17 = (t10 + 8U); t16 = *((int *)t17); t21 = (t2 + 0U); t22 = (t21 + 0U); *((int *)t22) = t12; t22 = (t21 + 4U); *((int *)t22) = t14; t22 = (t21 + 8U); *((int *)t22) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t22 = (t21 + 12U); *((unsigned int *)t22) = t20; LAB1: return t0; LAB3: *((char **)t28) = t4; goto LAB2; LAB4:; } char *ieee_p_3620187407_sub_674763465_3965413181(char *t1, char *t2, char *t3, char *t4, unsigned char t5) { char t6[128]; char t7[24]; char t10[16]; char t31[16]; char *t0; char *t8; unsigned int t9; char *t11; int t12; char *t13; int t14; char *t15; int t16; char *t17; char *t18; int t19; unsigned int t20; char *t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; unsigned char t28; char *t29; char *t30; char *t32; char *t33; char *t34; char *t35; unsigned int t36; LAB0: t8 = (t4 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t11 = (t4 + 0U); t12 = *((int *)t11); t13 = (t4 + 4U); t14 = *((int *)t13); t15 = (t4 + 8U); t16 = *((int *)t15); t17 = (t10 + 0U); t18 = (t17 + 0U); *((int *)t18) = t12; t18 = (t17 + 4U); *((int *)t18) = t14; t18 = (t17 + 8U); *((int *)t18) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t18 = (t17 + 12U); *((unsigned int *)t18) = t20; t18 = (t6 + 4U); t21 = ((IEEE_P_2592010699) + 4024); t22 = (t18 + 88U); *((char **)t22) = t21; t23 = (char *)alloca(t9); t24 = (t18 + 56U); *((char **)t24) = t23; xsi_type_set_default_value(t21, t23, t10); t25 = (t18 + 64U); *((char **)t25) = t10; t26 = (t18 + 80U); *((unsigned int *)t26) = t9; t27 = (t7 + 4U); t28 = (t3 != 0); if (t28 == 1) goto LAB3; LAB2: t29 = (t7 + 12U); *((char **)t29) = t4; t30 = (t7 + 20U); *((unsigned char *)t30) = t5; t32 = ieee_p_3499444699_sub_460092141_3536714472(IEEE_P_3499444699, t31, t3, t4, t5); t33 = (t18 + 56U); t34 = *((char **)t33); t33 = (t34 + 0); t35 = (t31 + 12U); t20 = *((unsigned int *)t35); t36 = (1U * t20); memcpy(t33, t32, t36); t8 = (t18 + 56U); t11 = *((char **)t8); t8 = (t10 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t0 = xsi_get_transient_memory(t9); memcpy(t0, t11, t9); t13 = (t10 + 0U); t12 = *((int *)t13); t15 = (t10 + 4U); t14 = *((int *)t15); t17 = (t10 + 8U); t16 = *((int *)t17); t21 = (t2 + 0U); t22 = (t21 + 0U); *((int *)t22) = t12; t22 = (t21 + 4U); *((int *)t22) = t14; t22 = (t21 + 8U); *((int *)t22) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t22 = (t21 + 12U); *((unsigned int *)t22) = t20; LAB1: return t0; LAB3: *((char **)t27) = t3; goto LAB2; LAB4:; } char *ieee_p_3620187407_sub_4129206193_3965413181(char *t1, char *t2, unsigned char t3, char *t4, char *t5) { char t6[128]; char t7[24]; char t10[16]; char t31[16]; char *t0; char *t8; unsigned int t9; char *t11; int t12; char *t13; int t14; char *t15; int t16; char *t17; char *t18; int t19; unsigned int t20; char *t21; char *t22; char *t23; char *t24; char *t25; char *t26; char *t27; char *t28; unsigned char t29; char *t30; char *t32; char *t33; char *t34; char *t35; unsigned int t36; LAB0: t8 = (t5 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t11 = (t5 + 0U); t12 = *((int *)t11); t13 = (t5 + 4U); t14 = *((int *)t13); t15 = (t5 + 8U); t16 = *((int *)t15); t17 = (t10 + 0U); t18 = (t17 + 0U); *((int *)t18) = t12; t18 = (t17 + 4U); *((int *)t18) = t14; t18 = (t17 + 8U); *((int *)t18) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t18 = (t17 + 12U); *((unsigned int *)t18) = t20; t18 = (t6 + 4U); t21 = ((IEEE_P_2592010699) + 4024); t22 = (t18 + 88U); *((char **)t22) = t21; t23 = (char *)alloca(t9); t24 = (t18 + 56U); *((char **)t24) = t23; xsi_type_set_default_value(t21, t23, t10); t25 = (t18 + 64U); *((char **)t25) = t10; t26 = (t18 + 80U); *((unsigned int *)t26) = t9; t27 = (t7 + 4U); *((unsigned char *)t27) = t3; t28 = (t7 + 5U); t29 = (t4 != 0); if (t29 == 1) goto LAB3; LAB2: t30 = (t7 + 13U); *((char **)t30) = t5; t32 = ieee_p_3499444699_sub_4208333081_3536714472(IEEE_P_3499444699, t31, t3, t4, t5); t33 = (t18 + 56U); t34 = *((char **)t33); t33 = (t34 + 0); t35 = (t31 + 12U); t20 = *((unsigned int *)t35); t36 = (1U * t20); memcpy(t33, t32, t36); t8 = (t18 + 56U); t11 = *((char **)t8); t8 = (t10 + 12U); t9 = *((unsigned int *)t8); t9 = (t9 * 1U); t0 = xsi_get_transient_memory(t9); memcpy(t0, t11, t9); t13 = (t10 + 0U); t12 = *((int *)t13); t15 = (t10 + 4U); t14 = *((int *)t15); t17 = (t10 + 8U); t16 = *((int *)t17); t21 = (t2 + 0U); t22 = (t21 + 0U); *((int *)t22) = t12; t22 = (t21 + 4U); *((int *)t22) = t14; t22 = (t21 + 8U); *((int *)t22) = t16; t19 = (t14 - t12); t20 = (t19 * t16); t20 = (t20 + 1); t22 = (t21 + 12U); *((unsigned int *)t22) = t20; LAB1: return t0; LAB3: *((char **)t28) = t4; goto LAB2; LAB4:; } char *ieee_p_3620187407_sub_4132103718_3965413181(char *t1, char *t2, char *t3, char *t4) { char t5[128]; char t6[24]; char t9[16]; char t29[16]; char *t0; char *t7; unsigned int t8; char *t10; int t11; char *t12; int t13; char *t14; int t15; char *t16; char *t17; int t18; unsigned int t19; char *t20; char *t21; char *t22; char *t23; char *t24; char *t25; char *t26; unsigned char t27; char *t28; char *t30; char *t31; char *t32; char *t33; unsigned int t34; LAB0: t7 = (t4 + 12U); t8 = *((unsigned int *)t7); t8 = (t8 * 1U); t10 = (t4 + 0U); t11 = *((int *)t10); t12 = (t4 + 4U); t13 = *((int *)t12); t14 = (t4 + 8U); t15 = *((int *)t14); t16 = (t9 + 0U); t17 = (t16 + 0U); *((int *)t17) = t11; t17 = (t16 + 4U); *((int *)t17) = t13; t17 = (t16 + 8U); *((int *)t17) = t15; t18 = (t13 - t11); t19 = (t18 * t15); t19 = (t19 + 1); t17 = (t16 + 12U); *((unsigned int *)t17) = t19; t17 = (t5 + 4U); t20 = ((IEEE_P_2592010699) + 4024); t21 = (t17 + 88U); *((char **)t21) = t20; t22 = (char *)alloca(t8); t23 = (t17 + 56U); *((char **)t23) = t22; xsi_type_set_default_value(t20, t22, t9); t24 = (t17 + 64U); *((char **)t24) = t9; t25 = (t17 + 80U); *((unsigned int *)t25) = t8; t26 = (t6 + 4U); t27 = (t3 != 0); if (t27 == 1) goto LAB3; LAB2: t28 = (t6 + 12U); *((char **)t28) = t4; t30 = ieee_p_3499444699_sub_4192098780_3536714472(IEEE_P_3499444699, t29, t3, t4); t31 = (t17 + 56U); t32 = *((char **)t31); t31 = (t32 + 0); t33 = (t29 + 12U); t19 = *((unsigned int *)t33); t34 = (1U * t19); memcpy(t31, t30, t34); t7 = (t17 + 56U); t10 = *((char **)t7); t7 = (t9 + 12U); t8 = *((unsigned int *)t7); t8 = (t8 * 1U); t0 = xsi_get_transient_memory(t8); memcpy(t0, t10, t8); t12 = (t9 + 0U); t11 = *((int *)t12); t14 = (t9 + 4U); t13 = *((int *)t14); t16 = (t9 + 8U); t15 = *((int *)t16); t20 = (t2 + 0U); t21 = (t20 + 0U); *((int *)t21) = t11; t21 = (t20 + 4U); *((int *)t21) = t13; t21 = (t20 + 8U); *((int *)t21) = t15; t18 = (t13 - t11); t19 = (t18 * t15); t19 = (t19 + 1); t21 = (t20 + 12U); *((unsigned int *)t21) = t19; LAB1: return t0; LAB3: *((char **)t26) = t3; goto LAB2; LAB4:; } char *ieee_p_3620187407_sub_767632659_3965413181(char *t1, char *t2, char *t3, char *t4, char *t5, char *t6) { char t7[248]; char t8[40]; char t17[8]; char t28[16]; char t51[16]; char *t0; char *t9; unsigned int t10; char *t11; unsigned int t12; int t13; char *t14; char *t15; char *t16; char *t18; char *t19; char *t20; unsigned int t21; char *t22; unsigned int t23; int t24; int t25; int t26; unsigned int t27; char *t29; unsigned int t30; char *t31; unsigned int t32; int t33; int t34; char *t35; char *t36; int t37; unsigned int t38; char *t39; char *t40; char *t41; char *t42; char *t43; char *t44; char *t45; unsigned char t46; char *t47; char *t48; unsigned char t49; char *t50; char *t52; char *t53; char *t54; char *t55; unsigned int t56; LAB0: t9 = (t4 + 12U); t10 = *((unsigned int *)t9); t11 = (t6 + 12U); t12 = *((unsigned int *)t11); t13 = ieee_p_3620187407_sub_3716635170_3965413181(t1, ((t10)), ((t12))); t14 = (t7 + 4U); t15 = ((STD_STANDARD) + 384); t16 = (t14 + 88U); *((char **)t16) = t15; t18 = (t14 + 56U); *((char **)t18) = t17; *((int *)t17) = t13; t19 = (t14 + 80U); *((unsigned int *)t19) = 4U; t20 = (t4 + 12U); t21 = *((unsigned int *)t20); t22 = (t6 + 12U); t23 = *((unsigned int *)t22); t24 = (t21 + t23); t25 = (t24 - 1); t26 = (0 - t25); t27 = (t26 * -1); t27 = (t27 + 1); t27 = (t27 * 1U); t29 = (t4 + 12U); t30 = *((unsigned int *)t29); t31 = (t6 + 12U); t32 = *((unsigned int *)t31); t33 = (t30 + t32); t34 = (t33 - 1); t35 = (t28 + 0U); t36 = (t35 + 0U); *((int *)t36) = t34; t36 = (t35 + 4U); *((int *)t36) = 0; t36 = (t35 + 8U); *((int *)t36) = -1; t37 = (0 - t34); t38 = (t37 * -1); t38 = (t38 + 1); t36 = (t35 + 12U); *((unsigned int *)t36) = t38; t36 = (t7 + 124U); t39 = ((IEEE_P_2592010699) + 4024); t40 = (t36 + 88U); *((char **)t40) = t39; t41 = (char *)alloca(t27); t42 = (t36 + 56U); *((char **)t42) = t41; xsi_type_set_default_value(t39, t41, t28); t43 = (t36 + 64U); *((char **)t43) = t28; t44 = (t36 + 80U); *((unsigned int *)t44) = t27; t45 = (t8 + 4U); t46 = (t3 != 0); if (t46 == 1) goto LAB3; LAB2: t47 = (t8 + 12U); *((char **)t47) = t4; t48 = (t8 + 20U); t49 = (t5 != 0); if (t49 == 1) goto LAB5; LAB4: t50 = (t8 + 28U); *((char **)t50) = t6; t52 = ieee_p_3499444699_sub_173946173_3536714472(IEEE_P_3499444699, t51, t3, t4, t5, t6); t53 = (t36 + 56U); t54 = *((char **)t53); t53 = (t54 + 0); t55 = (t51 + 12U); t38 = *((unsigned int *)t55); t56 = (1U * t38); memcpy(t53, t52, t56); t9 = (t36 + 56U); t11 = *((char **)t9); t9 = (t28 + 12U); t10 = *((unsigned int *)t9); t10 = (t10 * 1U); t0 = xsi_get_transient_memory(t10); memcpy(t0, t11, t10); t15 = (t28 + 0U); t13 = *((int *)t15); t16 = (t28 + 4U); t24 = *((int *)t16); t18 = (t28 + 8U); t25 = *((int *)t18); t19 = (t2 + 0U); t20 = (t19 + 0U); *((int *)t20) = t13; t20 = (t19 + 4U); *((int *)t20) = t24; t20 = (t19 + 8U); *((int *)t20) = t25; t26 = (t24 - t13); t12 = (t26 * t25); t12 = (t12 + 1); t20 = (t19 + 12U); *((unsigned int *)t20) = t12; LAB1: return t0; LAB3: *((char **)t45) = t3; goto LAB2; LAB5: *((char **)t48) = t5; goto LAB4; LAB6:; } unsigned char ieee_p_3620187407_sub_1742983514_3965413181(char *t1, char *t2, char *t3, char *t4, char *t5) { char t6[128]; char t7[40]; char t16[8]; unsigned char t0; char *t8; unsigned int t9; char *t10; unsigned int t11; int t12; char *t13; char *t14; char *t15; char *t17; char *t18; char *t19; unsigned char t20; char *t21; char *t22; unsigned char t23; char *t24; unsigned char t25; LAB0: t8 = (t3 + 12U); t9 = *((unsigned int *)t8); t10 = (t5 + 12U); t11 = *((unsigned int *)t10); t12 = ieee_p_3620187407_sub_3716635170_3965413181(t1, ((t9)), ((t11))); t13 = (t6 + 4U); t14 = ((STD_STANDARD) + 384); t15 = (t13 + 88U); *((char **)t15) = t14; t17 = (t13 + 56U); *((char **)t17) = t16; *((int *)t16) = t12; t18 = (t13 + 80U); *((unsigned int *)t18) = 4U; t19 = (t7 + 4U); t20 = (t2 != 0); if (t20 == 1) goto LAB3; LAB2: t21 = (t7 + 12U); *((char **)t21) = t3; t22 = (t7 + 20U); t23 = (t4 != 0); if (t23 == 1) goto LAB5; LAB4: t24 = (t7 + 28U); *((char **)t24) = t5; t25 = ieee_p_3499444699_sub_2591093089_3536714472(IEEE_P_3499444699, t2, t3, t4, t5); t0 = t25; LAB1: return t0; LAB3: *((char **)t19) = t2; goto LAB2; LAB5: *((char **)t22) = t4; goto LAB4; LAB6:; } unsigned char ieee_p_3620187407_sub_2546382208_3965413181(char *t1, char *t2, char *t3, int t4) { char t6[24]; unsigned char t0; char *t7; unsigned char t8; char *t9; char *t10; unsigned char t11; LAB0: t7 = (t6 + 4U); t8 = (t2 != 0); if (t8 == 1) goto LAB3; LAB2: t9 = (t6 + 12U); *((char **)t9) = t3; t10 = (t6 + 20U); *((int *)t10) = t4; t11 = ieee_p_3499444699_sub_2368579451_3536714472(IEEE_P_3499444699, t2, t3, t4); t0 = t11; LAB1: return t0; LAB3: *((char **)t7) = t2; goto LAB2; LAB4:; } unsigned char ieee_p_3620187407_sub_2599083972_3965413181(char *t1, int t2, char *t3, char *t4) { char t6[24]; unsigned char t0; char *t7; char *t8; unsigned char t9; char *t10; unsigned char t11; LAB0: t7 = (t6 + 4U); *((int *)t7) = t2; t8 = (t6 + 8U); t9 = (t3 != 0); if (t9 == 1) goto LAB3; LAB2: t10 = (t6 + 16U); *((char **)t10) = t4; t11 = ieee_p_3499444699_sub_2235775063_3536714472(IEEE_P_3499444699, t2, t3, t4); t0 = t11; LAB1: return t0; LAB3: *((char **)t8) = t3; goto LAB2; LAB4:; } unsigned char ieee_p_3620187407_sub_4058165771_3965413181(char *t1, char *t2, char *t3, char *t4, char *t5) { char t7[40]; unsigned char t0; char *t8; unsigned char t9; char *t10; char *t11; unsigned char t12; char *t13; unsigned char t14; LAB0: t8 = (t7 + 4U); t9 = (t2 != 0); if (t9 == 1) goto LAB3; LAB2: t10 = (t7 + 12U); *((char **)t10) = t3; t11 = (t7 + 20U); t12 = (t4 != 0); if (t12 == 1) goto LAB5; LAB4: t13 = (t7 + 28U); *((char **)t13) = t5; t14 = ieee_p_3499444699_sub_3950470366_3536714472(IEEE_P_3499444699, t2, t3, t4, t5); t0 = t14; LAB1: return t0; LAB3: *((char **)t8) = t2; goto LAB2; LAB5: *((char **)t11) = t4; goto LAB4; LAB6:; } unsigned char ieee_p_3620187407_sub_3905759485_3965413181(char *t1, char *t2, char *t3, int t4) { char t6[24]; unsigned char t0; char *t7; unsigned char t8; char *t9; char *t10; unsigned char t11; LAB0: t7 = (t6 + 4U); t8 = (t2 != 0); if (t8 == 1) goto LAB3; LAB2: t9 = (t6 + 12U); *((char **)t9) = t3; t10 = (t6 + 20U); *((int *)t10) = t4; t11 = ieee_p_3499444699_sub_3727956728_3536714472(IEEE_P_3499444699, t2, t3, t4); t0 = t11; LAB1: return t0; LAB3: *((char **)t7) = t2; goto LAB2; LAB4:; } unsigned char ieee_p_3620187407_sub_3958461249_3965413181(char *t1, int t2, char *t3, char *t4) { char t6[24]; unsigned char t0; char *t7; char *t8; unsigned char t9; char *t10; unsigned char t11; LAB0: t7 = (t6 + 4U); *((int *)t7) = t2; t8 = (t6 + 8U); t9 = (t3 != 0); if (t9 == 1) goto LAB3; LAB2: t10 = (t6 + 16U); *((char **)t10) = t4; t11 = ieee_p_3499444699_sub_3595152340_3536714472(IEEE_P_3499444699, t2, t3, t4); t0 = t11; LAB1: return t0; LAB3: *((char **)t8) = t3; goto LAB2; LAB4:; } unsigned char ieee_p_3620187407_sub_2698860368_3965413181(char *t1, char *t2, char *t3, char *t4, char *t5) { char t7[40]; unsigned char t0; char *t8; unsigned char t9; char *t10; char *t11; unsigned char t12; char *t13; unsigned char t14; LAB0: t8 = (t7 + 4U); t9 = (t2 != 0); if (t9 == 1) goto LAB3; LAB2: t10 = (t7 + 12U); *((char **)t10) = t3; t11 = (t7 + 20U); t12 = (t4 != 0); if (t12 == 1) goto LAB5; LAB4: t13 = (t7 + 28U); *((char **)t13) = t5; t14 = ieee_std_logic_arith_greater_unsigned_unsigned(IEEE_P_3499444699, t2, t3, t4, t5); t0 = t14; LAB1: return t0; LAB3: *((char **)t8) = t2; goto LAB2; LAB5: *((char **)t11) = t4; goto LAB4; LAB6:; } unsigned char ieee_p_3620187407_sub_2546454082_3965413181(char *t1, char *t2, char *t3, int t4) { char t6[24]; unsigned char t0; char *t7; unsigned char t8; char *t9; char *t10; unsigned char t11; LAB0: t7 = (t6 + 4U); t8 = (t2 != 0); if (t8 == 1) goto LAB3; LAB2: t9 = (t6 + 12U); *((char **)t9) = t3; t10 = (t6 + 20U); *((int *)t10) = t4; t11 = ieee_p_3499444699_sub_2368651325_3536714472(IEEE_P_3499444699, t2, t3, t4); t0 = t11; LAB1: return t0; LAB3: *((char **)t7) = t2; goto LAB2; LAB4:; } unsigned char ieee_p_3620187407_sub_2599155846_3965413181(char *t1, int t2, char *t3, char *t4) { char t6[24]; unsigned char t0; char *t7; char *t8; unsigned char t9; char *t10; unsigned char t11; LAB0: t7 = (t6 + 4U); *((int *)t7) = t2; t8 = (t6 + 8U); t9 = (t3 != 0); if (t9 == 1) goto LAB3; LAB2: t10 = (t6 + 16U); *((char **)t10) = t4; t11 = ieee_p_3499444699_sub_2235846937_3536714472(IEEE_P_3499444699, t2, t3, t4); t0 = t11; LAB1: return t0; LAB3: *((char **)t8) = t3; goto LAB2; LAB4:; } unsigned char ieee_p_3620187407_sub_4060537613_3965413181(char *t1, char *t2, char *t3, char *t4, char *t5) { char t7[40]; unsigned char t0; char *t8; unsigned char t9; char *t10; char *t11; unsigned char t12; char *t13; unsigned char t14; LAB0: t8 = (t7 + 4U); t9 = (t2 != 0); if (t9 == 1) goto LAB3; LAB2: t10 = (t7 + 12U); *((char **)t10) = t3; t11 = (t7 + 20U); t12 = (t4 != 0); if (t12 == 1) goto LAB5; LAB4: t13 = (t7 + 28U); *((char **)t13) = t5; t14 = ieee_p_3499444699_sub_3952842208_3536714472(IEEE_P_3499444699, t2, t3, t4, t5); t0 = t14; LAB1: return t0; LAB3: *((char **)t8) = t2; goto LAB2; LAB5: *((char **)t11) = t4; goto LAB4; LAB6:; } unsigned char ieee_p_3620187407_sub_3908131327_3965413181(char *t1, char *t2, char *t3, int t4) { char t6[24]; unsigned char t0; char *t7; unsigned char t8; char *t9; char *t10; unsigned char t11; LAB0: t7 = (t6 + 4U); t8 = (t2 != 0); if (t8 == 1) goto LAB3; LAB2: t9 = (t6 + 12U); *((char **)t9) = t3; t10 = (t6 + 20U); *((int *)t10) = t4; t11 = ieee_p_3499444699_sub_3730328570_3536714472(IEEE_P_3499444699, t2, t3, t4); t0 = t11; LAB1: return t0; LAB3: *((char **)t7) = t2; goto LAB2; LAB4:; } unsigned char ieee_p_3620187407_sub_3960833091_3965413181(char *t1, int t2, char *t3, char *t4) { char t6[24]; unsigned char t0; char *t7; char *t8; unsigned char t9; char *t10; unsigned char t11; LAB0: t7 = (t6 + 4U); *((int *)t7) = t2; t8 = (t6 + 8U); t9 = (t3 != 0); if (t9 == 1) goto LAB3; LAB2: t10 = (t6 + 16U); *((char **)t10) = t4; t11 = ieee_p_3499444699_sub_3597524182_3536714472(IEEE_P_3499444699, t2, t3, t4); t0 = t11; LAB1: return t0; LAB3: *((char **)t8) = t3; goto LAB2; LAB4:; } unsigned char ieee_p_3620187407_sub_2698824431_3965413181(char *t1, char *t2, char *t3, char *t4, char *t5) { char t7[40]; unsigned char t0; char *t8; unsigned char t9; char *t10; char *t11; unsigned char t12; char *t13; unsigned char t14; LAB0: t8 = (t7 + 4U); t9 = (t2 != 0); if (t9 == 1) goto LAB3; LAB2: t10 = (t7 + 12U); *((char **)t10) = t3; t11 = (t7 + 20U); t12 = (t4 != 0); if (t12 == 1) goto LAB5; LAB4: t13 = (t7 + 28U); *((char **)t13) = t5; t14 = ieee_std_logic_arith_equal_unsigned_unsigned(IEEE_P_3499444699, t2, t3, t4, t5); t0 = t14; LAB1: return t0; LAB3: *((char **)t8) = t2; goto LAB2; LAB5: *((char **)t11) = t4; goto LAB4; LAB6:; } unsigned char ieee_p_3620187407_sub_2546418145_3965413181(char *t1, char *t2, char *t3, int t4) { char t6[24]; unsigned char t0; char *t7; unsigned char t8; char *t9; char *t10; unsigned char t11; LAB0: t7 = (t6 + 4U); t8 = (t2 != 0); if (t8 == 1) goto LAB3; LAB2: t9 = (t6 + 12U); *((char **)t9) = t3; t10 = (t6 + 20U); *((int *)t10) = t4; t11 = ieee_p_3499444699_sub_2368615388_3536714472(IEEE_P_3499444699, t2, t3, t4); t0 = t11; LAB1: return t0; LAB3: *((char **)t7) = t2; goto LAB2; LAB4:; } unsigned char ieee_p_3620187407_sub_2599119909_3965413181(char *t1, int t2, char *t3, char *t4) { char t6[24]; unsigned char t0; char *t7; char *t8; unsigned char t9; char *t10; unsigned char t11; LAB0: t7 = (t6 + 4U); *((int *)t7) = t2; t8 = (t6 + 8U); t9 = (t3 != 0); if (t9 == 1) goto LAB3; LAB2: t10 = (t6 + 16U); *((char **)t10) = t4; t11 = ieee_p_3499444699_sub_2235811000_3536714472(IEEE_P_3499444699, t2, t3, t4); t0 = t11; LAB1: return t0; LAB3: *((char **)t8) = t3; goto LAB2; LAB4:; } unsigned char ieee_p_3620187407_sub_4042748798_3965413181(char *t1, char *t2, char *t3, char *t4, char *t5) { char t7[40]; unsigned char t0; char *t8; unsigned char t9; char *t10; char *t11; unsigned char t12; char *t13; unsigned char t14; LAB0: t8 = (t7 + 4U); t9 = (t2 != 0); if (t9 == 1) goto LAB3; LAB2: t10 = (t7 + 12U); *((char **)t10) = t3; t11 = (t7 + 20U); t12 = (t4 != 0); if (t12 == 1) goto LAB5; LAB4: t13 = (t7 + 28U); *((char **)t13) = t5; t14 = ieee_p_3499444699_sub_3935053393_3536714472(IEEE_P_3499444699, t2, t3, t4, t5); t0 = t14; LAB1: return t0; LAB3: *((char **)t8) = t2; goto LAB2; LAB5: *((char **)t11) = t4; goto LAB4; LAB6:; } unsigned char ieee_p_3620187407_sub_3890342512_3965413181(char *t1, char *t2, char *t3, int t4) { char t6[24]; unsigned char t0; char *t7; unsigned char t8; char *t9; char *t10; unsigned char t11; LAB0: t7 = (t6 + 4U); t8 = (t2 != 0); if (t8 == 1) goto LAB3; LAB2: t9 = (t6 + 12U); *((char **)t9) = t3; t10 = (t6 + 20U); *((int *)t10) = t4; t11 = ieee_p_3499444699_sub_3712539755_3536714472(IEEE_P_3499444699, t2, t3, t4); t0 = t11; LAB1: return t0; LAB3: *((char **)t7) = t2; goto LAB2; LAB4:; } unsigned char ieee_p_3620187407_sub_3943044276_3965413181(char *t1, int t2, char *t3, char *t4) { char t6[24]; unsigned char t0; char *t7; char *t8; unsigned char t9; char *t10; unsigned char t11; LAB0: t7 = (t6 + 4U); *((int *)t7) = t2; t8 = (t6 + 8U); t9 = (t3 != 0); if (t9 == 1) goto LAB3; LAB2: t10 = (t6 + 16U); *((char **)t10) = t4; t11 = ieee_p_3499444699_sub_3579735367_3536714472(IEEE_P_3499444699, t2, t3, t4); t0 = t11; LAB1: return t0; LAB3: *((char **)t8) = t3; goto LAB2; LAB4:; } int ieee_p_3620187407_sub_514432868_3965413181(char *t1, char *t2, char *t3) { char t4[128]; char t5[24]; char t8[16]; int t0; char *t6; unsigned int t7; char *t9; int t10; char *t11; int t12; char *t13; int t14; char *t15; char *t16; int t17; unsigned int t18; char *t19; char *t20; char *t21; char *t22; char *t23; char *t24; char *t25; unsigned char t26; char *t27; char *t28; char *t29; char *t30; LAB0: t6 = (t3 + 12U); t7 = *((unsigned int *)t6); t7 = (t7 * 1U); t9 = (t3 + 0U); t10 = *((int *)t9); t11 = (t3 + 4U); t12 = *((int *)t11); t13 = (t3 + 8U); t14 = *((int *)t13); t15 = (t8 + 0U); t16 = (t15 + 0U); *((int *)t16) = t10; t16 = (t15 + 4U); *((int *)t16) = t12; t16 = (t15 + 8U); *((int *)t16) = t14; t17 = (t12 - t10); t18 = (t17 * t14); t18 = (t18 + 1); t16 = (t15 + 12U); *((unsigned int *)t16) = t18; t16 = (t4 + 4U); t19 = ((IEEE_P_3499444699) + 2616); t20 = (t16 + 88U); *((char **)t20) = t19; t21 = (char *)alloca(t7); t22 = (t16 + 56U); *((char **)t22) = t21; xsi_type_set_default_value(t19, t21, t8); t23 = (t16 + 64U); *((char **)t23) = t8; t24 = (t16 + 80U); *((unsigned int *)t24) = t7; t25 = (t5 + 4U); t26 = (t2 != 0); if (t26 == 1) goto LAB3; LAB2: t27 = (t5 + 12U); *((char **)t27) = t3; t28 = (t16 + 56U); t29 = *((char **)t28); t28 = (t29 + 0); t30 = (t3 + 12U); t18 = *((unsigned int *)t30); t18 = (t18 * 1U); memcpy(t28, t2, t18); t6 = (t16 + 56U); t9 = *((char **)t6); t10 = ieee_std_logic_arith_conv_integer_unsigned(IEEE_P_3499444699, t9, t8); t0 = t10; LAB1: return t0; LAB3: *((char **)t25) = t2; goto LAB2; LAB4:; } char *ieee_p_3620187407_sub_121739838_3965413181(char *t1, char *t2, char *t3, char *t4, char *t5, char *t6) { char t8[40]; char t15[16]; char *t0; char *t9; unsigned char t10; char *t11; char *t12; unsigned char t13; char *t14; char *t16; char *t17; unsigned int t18; char *t19; int t20; char *t21; int t22; char *t23; int t24; char *t25; char *t26; int t27; unsigned int t28; LAB0: t9 = (t8 + 4U); t10 = (t3 != 0); if (t10 == 1) goto LAB3; LAB2: t11 = (t8 + 12U); *((char **)t11) = t4; t12 = (t8 + 20U); t13 = (t5 != 0); if (t13 == 1) goto LAB5; LAB4: t14 = (t8 + 28U); *((char **)t14) = t6; t16 = ieee_p_3499444699_sub_1904283970_3536714472(IEEE_P_3499444699, t15, t3, t4, t5, t6); t17 = (t15 + 12U); t18 = *((unsigned int *)t17); t18 = (t18 * 1U); t0 = xsi_get_transient_memory(t18); memcpy(t0, t16, t18); t19 = (t15 + 0U); t20 = *((int *)t19); t21 = (t15 + 4U); t22 = *((int *)t21); t23 = (t15 + 8U); t24 = *((int *)t23); t25 = (t2 + 0U); t26 = (t25 + 0U); *((int *)t26) = t20; t26 = (t25 + 4U); *((int *)t26) = t22; t26 = (t25 + 8U); *((int *)t26) = t24; t27 = (t22 - t20); t28 = (t27 * t24); t28 = (t28 + 1); t26 = (t25 + 12U); *((unsigned int *)t26) = t28; LAB1: return t0; LAB3: *((char **)t9) = t3; goto LAB2; LAB5: *((char **)t12) = t5; goto LAB4; LAB6:; } char *ieee_p_3620187407_sub_121746372_3965413181(char *t1, char *t2, char *t3, char *t4, char *t5, char *t6) { char t8[40]; char t15[16]; char *t0; char *t9; unsigned char t10; char *t11; char *t12; unsigned char t13; char *t14; char *t16; char *t17; unsigned int t18; char *t19; int t20; char *t21; int t22; char *t23; int t24; char *t25; char *t26; int t27; unsigned int t28; LAB0: t9 = (t8 + 4U); t10 = (t3 != 0); if (t10 == 1) goto LAB3; LAB2: t11 = (t8 + 12U); *((char **)t11) = t4; t12 = (t8 + 20U); t13 = (t5 != 0); if (t13 == 1) goto LAB5; LAB4: t14 = (t8 + 28U); *((char **)t14) = t6; t16 = ieee_p_3499444699_sub_1775521082_3536714472(IEEE_P_3499444699, t15, t3, t4, t5, t6); t17 = (t15 + 12U); t18 = *((unsigned int *)t17); t18 = (t18 * 1U); t0 = xsi_get_transient_memory(t18); memcpy(t0, t16, t18); t19 = (t15 + 0U); t20 = *((int *)t19); t21 = (t15 + 4U); t22 = *((int *)t21); t23 = (t15 + 8U); t24 = *((int *)t23); t25 = (t2 + 0U); t26 = (t25 + 0U); *((int *)t26) = t20; t26 = (t25 + 4U); *((int *)t26) = t22; t26 = (t25 + 8U); *((int *)t26) = t24; t27 = (t22 - t20); t28 = (t27 * t24); t28 = (t28 + 1); t26 = (t25 + 12U); *((unsigned int *)t26) = t28; LAB1: return t0; LAB3: *((char **)t9) = t3; goto LAB2; LAB5: *((char **)t12) = t5; goto LAB4; LAB6:; } extern void ieee_p_3620187407_init() { static char *se[] = {(void *)ieee_p_3620187407_sub_3716635170_3965413181,(void *)ieee_p_3620187407_sub_767668596_3965413181,(void *)ieee_p_3620187407_sub_436279890_3965413181,(void *)ieee_p_3620187407_sub_27954454_3965413181,(void *)ieee_p_3620187407_sub_674691591_3965413181,(void *)ieee_p_3620187407_sub_4129134319_3965413181,(void *)ieee_p_3620187407_sub_767740470_3965413181,(void *)ieee_p_3620187407_sub_436351764_3965413181,(void *)ieee_p_3620187407_sub_28026328_3965413181,(void *)ieee_p_3620187407_sub_674763465_3965413181,(void *)ieee_p_3620187407_sub_4129206193_3965413181,(void *)ieee_p_3620187407_sub_4132103718_3965413181,(void *)ieee_p_3620187407_sub_767632659_3965413181,(void *)ieee_p_3620187407_sub_1742983514_3965413181,(void *)ieee_p_3620187407_sub_2546382208_3965413181,(void *)ieee_p_3620187407_sub_2599083972_3965413181,(void *)ieee_p_3620187407_sub_4058165771_3965413181,(void *)ieee_p_3620187407_sub_3905759485_3965413181,(void *)ieee_p_3620187407_sub_3958461249_3965413181,(void *)ieee_p_3620187407_sub_2698860368_3965413181,(void *)ieee_p_3620187407_sub_2546454082_3965413181,(void *)ieee_p_3620187407_sub_2599155846_3965413181,(void *)ieee_p_3620187407_sub_4060537613_3965413181,(void *)ieee_p_3620187407_sub_3908131327_3965413181,(void *)ieee_p_3620187407_sub_3960833091_3965413181,(void *)ieee_p_3620187407_sub_2698824431_3965413181,(void *)ieee_p_3620187407_sub_2546418145_3965413181,(void *)ieee_p_3620187407_sub_2599119909_3965413181,(void *)ieee_p_3620187407_sub_4042748798_3965413181,(void *)ieee_p_3620187407_sub_3890342512_3965413181,(void *)ieee_p_3620187407_sub_3943044276_3965413181,(void *)ieee_p_3620187407_sub_514432868_3965413181,(void *)ieee_p_3620187407_sub_121739838_3965413181,(void *)ieee_p_3620187407_sub_121746372_3965413181}; xsi_register_didat("ieee_p_3620187407", "isim/precompiled.exe.sim/ieee/p_3620187407.didat"); xsi_register_subprogram_executes(se); }