p_2717149903.c

32位单精度浮点加法器

LAB2:    xsi_size_not_matching(48U, 48U, 0);
    goto LAB3;

LAB4:;
}

char *ieee_p_2717149903_sub_4115899059_2101202839(char *t1, char *t2)
{
    char t3[128];
    char t4[24];
    char t5[16];
    char t10[16];
    char t15[48];
    char *t0;
    char *t6;
    char *t7;
    int t8;
    unsigned int t9;
    char *t11;
    int t12;
    char *t13;
    char *t14;
    char *t16;
    char *t17;
    char *t18;
    char *t19;
    char *t20;
    char *t21;
    unsigned char t22;
    char *t23;
    int t24;
    unsigned int t25;
    unsigned int t26;
    char *t27;
    int64 t28;
    char *t29;
    char *t30;
    int t31;
    unsigned int t32;
    unsigned int t33;
    unsigned int t34;

LAB0:    t6 = (t5 + 0U);
    t7 = (t6 + 0U);
    *((int *)t7) = 0;
    t7 = (t6 + 4U);
    *((int *)t7) = 1;
    t7 = (t6 + 8U);
    *((int *)t7) = 1;
    t8 = (1 - 0);
    t9 = (t8 * 1);
    t9 = (t9 + 1);
    t7 = (t6 + 12U);
    *((unsigned int *)t7) = t9;
    t7 = (t10 + 0U);
    t11 = (t7 + 0U);
    *((int *)t11) = 0;
    t11 = (t7 + 4U);
    *((int *)t11) = 5;
    t11 = (t7 + 8U);
    *((int *)t11) = 1;
    t12 = (5 - 0);
    t9 = (t12 * 1);
    t9 = (t9 + 1);
    t11 = (t7 + 12U);
    *((unsigned int *)t11) = t9;
    t11 = (t3 + 4U);
    t13 = (t1 + 6120);
    t14 = (t11 + 88U);
    *((char **)t14) = t13;
    t16 = (t11 + 56U);
    *((char **)t16) = t15;
    xsi_type_set_default_value(t13, t15, 0);
    t17 = (t11 + 64U);
    t18 = (t13 + 80U);
    t19 = *((char **)t18);
    *((char **)t17) = t19;
    t20 = (t11 + 80U);
    *((unsigned int *)t20) = 48U;
    t21 = (t4 + 4U);
    t22 = (t2 != 0);
    if (t22 == 1)
        goto LAB3;

LAB2:    t23 = (t4 + 12U);
    *((char **)t23) = t5;
    t24 = ((unsigned char)0 - 0);
    t9 = (t24 * 1);
    t25 = (8U * t9);
    t26 = (0 + t25);
    t27 = (t2 + t26);
    t28 = *((int64 *)t27);
    t29 = (t11 + 56U);
    t30 = *((char **)t29);
    t31 = ((unsigned char)0 - 0);
    t32 = (t31 * 1);
    t33 = (8U * t32);
    t34 = (0 + t33);
    t29 = (t30 + t34);
    *((int64 *)t29) = t28;
    t8 = ((unsigned char)0 - 0);
    t9 = (t8 * 1);
    t25 = (8U * t9);
    t26 = (0 + t25);
    t6 = (t2 + t26);
    t28 = *((int64 *)t6);
    t7 = (t11 + 56U);
    t13 = *((char **)t7);
    t12 = ((unsigned char)2 - 0);
    t32 = (t12 * 1);
    t33 = (8U * t32);
    t34 = (0 + t33);
    t7 = (t13 + t34);
    *((int64 *)t7) = t28;
    t8 = ((unsigned char)0 - 0);
    t9 = (t8 * 1);
    t25 = (8U * t9);
    t26 = (0 + t25);
    t6 = (t2 + t26);
    t28 = *((int64 *)t6);
    t7 = (t11 + 56U);
    t13 = *((char **)t7);
    t12 = ((unsigned char)3 - 0);
    t32 = (t12 * 1);
    t33 = (8U * t32);
    t34 = (0 + t33);
    t7 = (t13 + t34);
    *((int64 *)t7) = t28;
    t8 = ((unsigned char)1 - 0);
    t9 = (t8 * 1);
    t25 = (8U * t9);
    t26 = (0 + t25);
    t6 = (t2 + t26);
    t28 = *((int64 *)t6);
    t7 = (t11 + 56U);
    t13 = *((char **)t7);
    t12 = ((unsigned char)1 - 0);
    t32 = (t12 * 1);
    t33 = (8U * t32);
    t34 = (0 + t33);
    t7 = (t13 + t34);
    *((int64 *)t7) = t28;
    t8 = ((unsigned char)1 - 0);
    t9 = (t8 * 1);
    t25 = (8U * t9);
    t26 = (0 + t25);
    t6 = (t2 + t26);
    t28 = *((int64 *)t6);
    t7 = (t11 + 56U);
    t13 = *((char **)t7);
    t12 = ((unsigned char)4 - 0);
    t32 = (t12 * 1);
    t33 = (8U * t32);
    t34 = (0 + t33);
    t7 = (t13 + t34);
    *((int64 *)t7) = t28;
    t8 = ((unsigned char)1 - 0);
    t9 = (t8 * 1);
    t25 = (8U * t9);
    t26 = (0 + t25);
    t6 = (t2 + t26);
    t28 = *((int64 *)t6);
    t7 = (t11 + 56U);
    t13 = *((char **)t7);
    t12 = ((unsigned char)5 - 0);
    t32 = (t12 * 1);
    t33 = (8U * t32);
    t34 = (0 + t33);
    t7 = (t13 + t34);
    *((int64 *)t7) = t28;
    t6 = (t11 + 56U);
    t7 = *((char **)t6);
    t22 = (48U != 48U);
    if (t22 == 1)
        goto LAB4;

LAB5:    t0 = xsi_get_transient_memory(48U);
    memcpy(t0, t7, 48U);

LAB1:    return t0;
LAB3:    *((char **)t21) = t2;
    goto LAB2;

LAB4:    xsi_size_not_matching(48U, 48U, 0);
    goto LAB5;

LAB6:;
}

char *ieee_p_2717149903_sub_4009522676_2101202839(char *t1, char *t2)
{
    char t4[24];
    char t5[16];
    char *t0;
    char *t6;
    char *t7;
    int t8;
    unsigned int t9;
    unsigned char t10;
    char *t11;
    unsigned char t12;

LAB0:    t6 = (t5 + 0U);
    t7 = (t6 + 0U);
    *((int *)t7) = 0;
    t7 = (t6 + 4U);
    *((int *)t7) = 5;
    t7 = (t6 + 8U);
    *((int *)t7) = 1;
    t8 = (5 - 0);
    t9 = (t8 * 1);
    t9 = (t9 + 1);
    t7 = (t6 + 12U);
    *((unsigned int *)t7) = t9;
    t7 = (t4 + 4U);
    t10 = (t2 != 0);
    if (t10 == 1)
        goto LAB3;

LAB2:    t11 = (t4 + 12U);
    *((char **)t11) = t5;
    t12 = (48U != 48U);
    if (t12 == 1)
        goto LAB4;

LAB5:    t0 = xsi_get_transient_memory(48U);
    memcpy(t0, t2, 48U);

LAB1:    return t0;
LAB3:    *((char **)t7) = t2;
    goto LAB2;

LAB4:    xsi_size_not_matching(48U, 48U, 0);
    goto LAB5;

LAB6:;
}

int64 ieee_p_2717149903_sub_3513290822_2101202839(char *t1, unsigned char t2, unsigned char t3, int64 t4)
{
    char t6[16];
    int64 t0;
    char *t7;
    char *t8;
    char *t9;

LAB0:    t7 = (t6 + 4U);
    *((unsigned char *)t7) = t2;
    t8 = (t6 + 5U);
    *((unsigned char *)t8) = t3;
    t9 = (t6 + 6U);
    *((int64 *)t9) = t4;
    t0 = t4;

LAB1:    return t0;
LAB2:;
}

int64 ieee_p_2717149903_sub_3117307889_2101202839(char *t1, unsigned char t2, unsigned char t3, char *t4)
{
    char t5[128];
    char t6[24];
    char t7[16];
    char t14[8];
    int64 t0;
    char *t8;
    char *t9;
    int t10;
    unsigned int t11;
    char *t12;
    char *t13;
    char *t15;
    char *t16;
    char *t17;
    char *t18;
    char *t19;
    unsigned char t20;
    char *t21;
    char *t22;
    int t23;
    unsigned int t24;
    unsigned int t25;
    char *t26;
    int64 t27;
    char *t28;
    char *t29;
    unsigned int t30;
    unsigned int t31;
    unsigned int t32;
    int64 t33;
    int64 t34;
    static char *nl0[] = {&&LAB8, &&LAB8, &&LAB5, &&LAB6, &&LAB7, &&LAB8, &&LAB5, &&LAB6, &&LAB8};
    static char *nl1[] = {&&LAB12, &&LAB12, &&LAB10, &&LAB11, &&LAB12, &&LAB12, &&LAB10, &&LAB11, &&LAB12};
    static char *nl2[] = {&&LAB17, &&LAB17, &&LAB14, &&LAB15, &&LAB16, &&LAB17, &&LAB14, &&LAB15, &&LAB17};

LAB0:    t8 = (t7 + 0U);
    t9 = (t8 + 0U);
    *((int *)t9) = 0;
    t9 = (t8 + 4U);
    *((int *)t9) = 1;
    t9 = (t8 + 8U);
    *((int *)t9) = 1;
    t10 = (1 - 0);
    t11 = (t10 * 1);
    t11 = (t11 + 1);
    t9 = (t8 + 12U);
    *((unsigned int *)t9) = t11;
    t9 = (t5 + 4U);
    t12 = ((STD_STANDARD) + 576);
    t13 = (t9 + 88U);
    *((char **)t13) = t12;
    t15 = (t9 + 56U);
    *((char **)t15) = t14;
    xsi_type_set_default_value(t12, t14, 0);
    t16 = (t9 + 80U);
    *((unsigned int *)t16) = 8U;
    t17 = (t6 + 4U);
    *((unsigned char *)t17) = t2;
    t18 = (t6 + 5U);
    *((unsigned char *)t18) = t3;
    t19 = (t6 + 6U);
    t20 = (t4 != 0);
    if (t20 == 1)
        goto LAB3;

LAB2:    t21 = (t6 + 14U);
    *((char **)t21) = t7;
    t22 = (char *)((nl0) + t2);
    goto **((char **)t22);

LAB3:    *((char **)t19) = t4;
    goto LAB2;

LAB4:    t8 = (t9 + 56U);
    t12 = *((char **)t8);
    t27 = *((int64 *)t12);
    t0 = t27;

LAB1:    return t0;
LAB5:    t23 = ((unsigned char)1 - 0);
    t11 = (t23 * 1);
    t24 = (8U * t11);
    t25 = (0 + t24);
    t26 = (t4 + t25);
    t27 = *((int64 *)t26);
    t28 = (t9 + 56U);
    t29 = *((char **)t28);
    t28 = (t29 + 0);
    *((int64 *)t28) = t27;
    goto LAB4;

LAB6:    t10 = ((unsigned char)0 - 0);
    t11 = (t10 * 1);
    t24 = (8U * t11);
    t25 = (0 + t24);
    t8 = (t4 + t25);
    t27 = *((int64 *)t8);
    t12 = (t9 + 56U);
    t13 = *((char **)t12);
    t12 = (t13 + 0);
    *((int64 *)t12) = t27;
    goto LAB4;

LAB7:    t8 = (char *)((nl1) + t3);
    goto **((char **)t8);

LAB8:    t8 = (char *)((nl2) + t3);
    goto **((char **)t8);

LAB9:    goto LAB4;

LAB10:    t10 = ((unsigned char)0 - 0);
    t11 = (t10 * 1);
    t24 = (8U * t11);
    t25 = (0 + t24);
    t12 = (t4 + t25);
    t27 = *((int64 *)t12);
    t13 = (t9 + 56U);
    t15 = *((char **)t13);
    t13 = (t15 + 0);
    *((int64 *)t13) = t27;
    goto LAB9;

LAB11:    t10 = ((unsigned char)1 - 0);
    t11 = (t10 * 1);
    t24 = (8U * t11);
    t25 = (0 + t24);
    t8 = (t4 + t25);
    t27 = *((int64 *)t8);
    t12 = (t9 + 56U);
    t13 = *((char **)t12);
    t12 = (t13 + 0);
    *((int64 *)t12) = t27;
    goto LAB9;

LAB12:    t10 = ((unsigned char)1 - 0);
    t11 = (t10 * 1);
    t24 = (8U * t11);
    t25 = (0 + t24);
    t8 = (t4 + t25);
    t27 = *((int64 *)t8);
    t23 = ((unsigned char)0 - 0);
    t30 = (t23 * 1);
    t31 = (8U * t30);
    t32 = (0 + t31);
    t12 = (t4 + t32);
    t33 = *((int64 *)t12);
    t34 = ieee_p_2717149903_sub_1261593284_2101202839(t1, t27, t33);
    t13 = (t9 + 56U);
    t15 = *((char **)t13);
    t13 = (t15 + 0);
    *((int64 *)t13) = t34;
    goto LAB9;

LAB13:    goto LAB4;

LAB14:    t10 = ((unsigned char)0 - 0);
    t11 = (t10 * 1);
    t24 = (8U * t11);
    t25 = (0 + t24);
    t12 = (t4 + t25);
    t27 = *((int64 *)t12);
    t13 = (t9 + 56U);
    t15 = *((char **)t13);
    t13 = (t15 + 0);
    *((int64 *)t13) = t27;
    goto LAB13;

LAB15:    t10 = ((unsigned char)1 - 0);
    t11 = (t10 * 1);
    t24 = (8U * t11);
    t25 = (0 + t24);
    t8 = (t4 + t25);
    t27 = *((int64 *)t8);
    t12 = (t9 + 56U);
    t13 = *((char **)t12);
    t12 = (t13 + 0);
    *((int64 *)t12) = t27;
    goto LAB13;

LAB16:    t10 = ((unsigned char)1 - 0);
    t11 = (t10 * 1);
    t24 = (8U * t11);
    t25 = (0 + t24);
    t8 = (t4 + t25);
    t27 = *((int64 *)t8);
    t23 = ((unsigned char)0 - 0);
    t30 = (t23 * 1);
    t31 = (8U * t30);
    t32 = (0 + t31);
    t12 = (t4 + t32);
    t33 = *((int64 *)t12);
    t34 = ieee_p_2717149903_sub_2876942914_2101202839(t1, t27, t33);
    t13 = (t9 + 56U);
    t15 = *((char **)t13);
    t13 = (t15 + 0);
    *((int64 *)t13) = t34;
    goto LAB13;

LAB17:    t10 = ((unsigned char)1 - 0);
    t11 = (t10 * 1);
    t24 = (8U * t11);
    t25 = (0 + t24);
    t8 = (t4 + t25);
    t27 = *((int64 *)t8);
    t23 = ((unsigned char)0 - 0);
    t30 = (t23 * 1);
    t31 = (8U * t30);
    t32 = (0 + t31);
    t12 = (t4 + t32);
    t33 = *((int64 *)t12);
    t34 = ieee_p_2717149903_sub_1261593284_2101202839(t1, t27, t33);
    t13 = (t9 + 56U);
    t15 = *((char **)t13);
    t13 = (t15 + 0);
    *((int64 *)t13) = t34;
    goto LAB13;

LAB18:;
}

int64 ieee_p_2717149903_sub_2630507023_2101202839(char *t1, unsigned char t2, unsigned char t3, char *t4)
{
    char t5[128];
    char t6[24];
    char t7[16];
    char t14[8];
    int64 t0;
    char *t8;
    char *t9;
    int t10;
    unsigned int t11;
    char *t12;
    char *t13;
    char *t15;
    char *t16;
    char *t17;
    char *t18;
    char *t19;
    unsigned char t20;
    char *t21;
    char *t22;
    char *t23;
    int t24;
    unsigned int t25;
    unsigned int t26;
    char *t27;
    int64 t28;
    char *t29;
    char *t30;
    unsigned int t31;
    unsigned int t32;
    unsigned int t33;
    int64 t34;
    int64 t35;
    static char *nl0[] = {&&LAB8, &&LAB8, &&LAB5, &&LAB6, &&LAB7, &&LAB8, &&LAB5, &&LAB6, &&LAB8};
    static char *nl1[] = {&&LAB13, &&LAB13, &&LAB10, &&LAB11, &&LAB12, &&LAB13, &&LAB10, &&LAB11, &&LAB13};
    static char *nl2[] = {&&LAB18, &&LAB18, &&LAB15, &&LAB16, &&LAB17, &&LAB18, &&LAB15, &&LAB16, &&LAB18};
    static char *nl3[] = {&&LAB23, &&LAB23, &&LAB20, &&LAB21, &&LAB22, &&LAB23, &&LAB20, &&LAB21, &&LAB23};
    static char *nl4[] = {&&LAB28, &&LAB28, &&LAB25, &&LAB26, &&LAB27, &&LAB28, &&LAB25, &&LAB26, &&LAB28};

LAB0:    t8 = (t7 + 0U);
    t9 = (t8 + 0U);
    *((int *)t9) = 0;
    t9 = (t8 + 4U);
    *((int *)t9) = 5;
    t9 = (t8 + 8U);
    *((int *)t9) = 1;
    t10 = (5 - 0);
    t11 = (t10 * 1);
    t11 = (t11 + 1);
    t9 = (t8 + 12U);
    *((unsigned int *)t9) = t11;
    t9 = (t5 + 4U);
    t12 = ((STD_STANDARD) + 576);
    t13 = (t9 + 88U);
    *((char **)t13) = t12;
    t15 = (t9 + 56U);
    *((char **)t15) = t14;
    xsi_type_set_default_value(t12, t14, 0);
    t16 = (t9 + 80U);
    *((unsigned int *)t16) = 8U;
    t17 = (t6 + 4U);
    *((unsigned char *)t17) = t2;
    t18 = (t6 + 5U);
    *((unsigned char *)t18) = t3;
    t19 = (t6 + 6U);
    t20 = (t4 != 0);
    if (t20 == 1)
        goto LAB3;

LAB2:    t21 = (t6 + 14U);
    *((char **)t21) = t7;
    t22 = (char *)((nl0) + t3);
    goto **((char **)t22);

LAB3:    *((char **)t19) = t4;