p_2717149903.c

32位单精度浮点加法器

    goto LAB2;

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

LAB1:    return t0;
LAB5:    t23 = (char *)((nl1) + t2);
    goto **((char **)t23);

LAB6:    t8 = (char *)((nl2) + t2);
    goto **((char **)t8);

LAB7:    t8 = (char *)((nl3) + t2);
    goto **((char **)t8);

LAB8:    t8 = (char *)((nl4) + t2);
    goto **((char **)t8);

LAB9:    goto LAB4;

LAB10:    t24 = ((unsigned char)1 - 0);
    t11 = (t24 * 1);
    t25 = (8U * t11);
    t26 = (0 + t25);
    t27 = (t4 + t26);
    t28 = *((int64 *)t27);
    t29 = (t9 + 56U);
    t30 = *((char **)t29);
    t29 = (t30 + 0);
    *((int64 *)t29) = t28;
    goto LAB9;

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

LAB12:    t10 = ((unsigned char)2 - 0);
    t11 = (t10 * 1);
    t25 = (8U * t11);
    t26 = (0 + t25);
    t8 = (t4 + t26);
    t28 = *((int64 *)t8);
    t12 = (t9 + 56U);
    t13 = *((char **)t12);
    t12 = (t13 + 0);
    *((int64 *)t12) = t28;
    goto LAB9;

LAB13:    t10 = ((unsigned char)0 - 0);
    t11 = (t10 * 1);
    t25 = (8U * t11);
    t26 = (0 + t25);
    t8 = (t4 + t26);
    t28 = *((int64 *)t8);
    t24 = ((unsigned char)2 - 0);
    t31 = (t24 * 1);
    t32 = (8U * t31);
    t33 = (0 + t32);
    t12 = (t4 + t33);
    t34 = *((int64 *)t12);
    t35 = ieee_p_2717149903_sub_2876942914_2101202839(t1, t28, t34);
    t13 = (t9 + 56U);
    t15 = *((char **)t13);
    t13 = (t15 + 0);
    *((int64 *)t13) = t35;
    goto LAB9;

LAB14:    goto LAB4;

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

LAB16:    t10 = ((unsigned char)0 - 0);
    t11 = (t10 * 1);
    t25 = (8U * t11);
    t26 = (0 + t25);
    t8 = (t4 + t26);
    t28 = *((int64 *)t8);
    t12 = (t9 + 56U);
    t13 = *((char **)t12);
    t12 = (t13 + 0);
    *((int64 *)t12) = t28;
    goto LAB14;

LAB17:    t10 = ((unsigned char)4 - 0);
    t11 = (t10 * 1);
    t25 = (8U * t11);
    t26 = (0 + t25);
    t8 = (t4 + t26);
    t28 = *((int64 *)t8);
    t12 = (t9 + 56U);
    t13 = *((char **)t12);
    t12 = (t13 + 0);
    *((int64 *)t12) = t28;
    goto LAB14;

LAB18:    t10 = ((unsigned char)1 - 0);
    t11 = (t10 * 1);
    t25 = (8U * t11);
    t26 = (0 + t25);
    t8 = (t4 + t26);
    t28 = *((int64 *)t8);
    t24 = ((unsigned char)4 - 0);
    t31 = (t24 * 1);
    t32 = (8U * t31);
    t33 = (0 + t32);
    t12 = (t4 + t33);
    t34 = *((int64 *)t12);
    t35 = ieee_p_2717149903_sub_2876942914_2101202839(t1, t28, t34);
    t13 = (t9 + 56U);
    t15 = *((char **)t13);
    t13 = (t15 + 0);
    *((int64 *)t13) = t35;
    goto LAB14;

LAB19:    goto LAB4;

LAB20:    t10 = ((unsigned char)5 - 0);
    t11 = (t10 * 1);
    t25 = (8U * t11);
    t26 = (0 + t25);
    t12 = (t4 + t26);
    t28 = *((int64 *)t12);
    t13 = (t9 + 56U);
    t15 = *((char **)t13);
    t13 = (t15 + 0);
    *((int64 *)t13) = t28;
    goto LAB19;

LAB21:    t10 = ((unsigned char)3 - 0);
    t11 = (t10 * 1);
    t25 = (8U * t11);
    t26 = (0 + t25);
    t8 = (t4 + t26);
    t28 = *((int64 *)t8);
    t12 = (t9 + 56U);
    t13 = *((char **)t12);
    t12 = (t13 + 0);
    *((int64 *)t12) = t28;
    goto LAB19;

LAB22:    t10 = ((unsigned char)2 - 0);
    t11 = (t10 * 1);
    t25 = (8U * t11);
    t26 = (0 + t25);
    t8 = (t4 + t26);
    t28 = *((int64 *)t8);
    t24 = ((unsigned char)4 - 0);
    t31 = (t24 * 1);
    t32 = (8U * t31);
    t33 = (0 + t32);
    t12 = (t4 + t33);
    t34 = *((int64 *)t12);
    t35 = ieee_p_2717149903_sub_1261593284_2101202839(t1, t28, t34);
    t13 = (t9 + 56U);
    t15 = *((char **)t13);
    t13 = (t15 + 0);
    *((int64 *)t13) = t35;
    goto LAB19;

LAB23:    t10 = ((unsigned char)3 - 0);
    t11 = (t10 * 1);
    t25 = (8U * t11);
    t26 = (0 + t25);
    t8 = (t4 + t26);
    t28 = *((int64 *)t8);
    t24 = ((unsigned char)5 - 0);
    t31 = (t24 * 1);
    t32 = (8U * t31);
    t33 = (0 + t32);
    t12 = (t4 + t33);
    t34 = *((int64 *)t12);
    t35 = ieee_p_2717149903_sub_2876942914_2101202839(t1, t28, t34);
    t13 = (t9 + 56U);
    t15 = *((char **)t13);
    t13 = (t15 + 0);
    *((int64 *)t13) = t35;
    goto LAB19;

LAB24:    goto LAB4;

LAB25:    t10 = ((unsigned char)1 - 0);
    t11 = (t10 * 1);
    t25 = (8U * t11);
    t26 = (0 + t25);
    t12 = (t4 + t26);
    t28 = *((int64 *)t12);
    t24 = ((unsigned char)5 - 0);
    t31 = (t24 * 1);
    t32 = (8U * t31);
    t33 = (0 + t32);
    t13 = (t4 + t33);
    t34 = *((int64 *)t13);
    t35 = ieee_p_2717149903_sub_1261593284_2101202839(t1, t28, t34);
    t15 = (t9 + 56U);
    t16 = *((char **)t15);
    t15 = (t16 + 0);
    *((int64 *)t15) = t35;
    goto LAB24;

LAB26:    t10 = ((unsigned char)0 - 0);
    t11 = (t10 * 1);
    t25 = (8U * t11);
    t26 = (0 + t25);
    t8 = (t4 + t26);
    t28 = *((int64 *)t8);
    t24 = ((unsigned char)3 - 0);
    t31 = (t24 * 1);
    t32 = (8U * t31);
    t33 = (0 + t32);
    t12 = (t4 + t33);
    t34 = *((int64 *)t12);
    t35 = ieee_p_2717149903_sub_1261593284_2101202839(t1, t28, t34);
    t13 = (t9 + 56U);
    t15 = *((char **)t13);
    t13 = (t15 + 0);
    *((int64 *)t13) = t35;
    goto LAB24;

LAB27:    t10 = ((unsigned char)4 - 0);
    t11 = (t10 * 1);
    t25 = (8U * t11);
    t26 = (0 + t25);
    t8 = (t4 + t26);
    t28 = *((int64 *)t8);
    t24 = ((unsigned char)2 - 0);
    t31 = (t24 * 1);
    t32 = (8U * t31);
    t33 = (0 + t32);
    t12 = (t4 + t33);
    t34 = *((int64 *)t12);
    t35 = ieee_p_2717149903_sub_1261593284_2101202839(t1, t28, t34);
    t13 = (t9 + 56U);
    t15 = *((char **)t13);
    t13 = (t15 + 0);
    *((int64 *)t13) = t35;
    goto LAB24;

LAB28:    t10 = ((unsigned char)1 - 0);
    t11 = (t10 * 1);
    t25 = (8U * t11);
    t26 = (0 + t25);
    t8 = (t4 + t26);
    t28 = *((int64 *)t8);
    t24 = ((unsigned char)0 - 0);
    t31 = (t24 * 1);
    t32 = (8U * t31);
    t33 = (0 + t32);
    t12 = (t4 + t33);
    t34 = *((int64 *)t12);
    t35 = ieee_p_2717149903_sub_1261593284_2101202839(t1, t28, t34);
    t13 = (t9 + 56U);
    t15 = *((char **)t13);
    t13 = (t15 + 0);
    *((int64 *)t13) = t35;
    goto LAB24;

LAB29:;
}

int64 ieee_p_2717149903_sub_627053527_2101202839(char *t1, unsigned char t2, unsigned char t3, char *t4, char *t5, char *t6, char *t7, int64 t8, unsigned char t9)
{
    char t10[368];
    char t11[48];
    char t15[8];
    char t21[8];
    char t27[8];
    int64 t0;
    char *t12;
    char *t13;
    char *t14;
    char *t16;
    char *t17;
    char *t18;
    char *t19;
    char *t20;
    char *t22;
    char *t23;
    char *t24;
    char *t25;
    char *t26;
    char *t28;
    char *t29;
    char *t30;
    char *t31;
    char *t32;
    unsigned char t33;
    char *t34;
    char *t35;
    unsigned char t36;
    char *t37;
    char *t38;
    char *t39;
    char *t40;
    int t41;
    char *t42;
    int t43;
    char *t44;
    int t45;
    int t46;
    int t47;
    int t48;
    int t49;
    char *t50;
    int t51;
    char *t52;
    int t53;
    int t54;
    unsigned int t55;
    unsigned int t56;
    unsigned int t57;
    unsigned int t58;
    char *t59;
    unsigned char t60;
    unsigned char t61;
    int64 t62;
    int64 t63;
    int64 t64;

LAB0:    t12 = (t10 + 4U);
    t13 = ((STD_STANDARD) + 576);
    t14 = (t12 + 88U);
    *((char **)t14) = t13;
    t16 = (t12 + 56U);
    *((char **)t16) = t15;
    xsi_type_set_default_value(t13, t15, 0);
    t17 = (t12 + 80U);
    *((unsigned int *)t17) = 8U;
    t18 = (t10 + 124U);
    t19 = ((STD_STANDARD) + 576);
    t20 = (t18 + 88U);
    *((char **)t20) = t19;
    t22 = (t18 + 56U);
    *((char **)t22) = t21;
    *((int64 *)t21) = 9223372036854775807LL;
    t23 = (t18 + 80U);
    *((unsigned int *)t23) = 8U;
    t24 = (t10 + 244U);
    t25 = ((STD_STANDARD) + 576);
    t26 = (t24 + 88U);
    *((char **)t26) = t25;
    t28 = (t24 + 56U);
    *((char **)t28) = t27;
    *((int64 *)t27) = 9223372036854775807LL;
    t29 = (t24 + 80U);
    *((unsigned int *)t29) = 8U;
    t30 = (t11 + 4U);
    *((unsigned char *)t30) = t2;
    t31 = (t11 + 5U);
    *((unsigned char *)t31) = t3;
    t32 = (t11 + 6U);
    t33 = (t4 != 0);
    if (t33 == 1)
        goto LAB3;

LAB2:    t34 = (t11 + 14U);
    *((char **)t34) = t5;
    t35 = (t11 + 22U);
    t36 = (t6 != 0);
    if (t36 == 1)
        goto LAB5;

LAB4:    t37 = (t11 + 30U);
    *((char **)t37) = t7;
    t38 = (t11 + 38U);
    *((int64 *)t38) = t8;
    t39 = (t11 + 46U);
    *((unsigned char *)t39) = t9;
    t40 = (t7 + 8U);
    t41 = *((int *)t40);
    t42 = (t7 + 4U);
    t43 = *((int *)t42);
    t44 = (t7 + 0U);
    t45 = *((int *)t44);
    t46 = t45;
    t47 = t43;

LAB6:    t48 = (t47 * t41);
    t49 = (t46 * t41);
    if (t49 <= t48)
        goto LAB7;

LAB9:    t13 = (t24 + 56U);
    t14 = *((char **)t13);
    t62 = *((int64 *)t14);
    t33 = (t62 == 9223372036854775807LL);
    if (t33 != 0)
        goto LAB19;

LAB21:    t13 = (t18 + 56U);
    t14 = *((char **)t13);
    t62 = *((int64 *)t14);
    t13 = (t24 + 56U);
    t16 = *((char **)t13);
    t63 = *((int64 *)t16);
    t33 = (t62 > t63);
    if (t33 != 0)
        goto LAB25;

LAB26:    t13 = (t24 + 56U);
    t14 = *((char **)t13);
    t62 = *((int64 *)t14);
    t13 = (t18 + 56U);
    t16 = *((char **)t13);
    t63 = *((int64 *)t16);
    t64 = (t62 - t63);
    t13 = (t24 + 56U);
    t17 = *((char **)t13);
    t13 = (t17 + 0);
    *((int64 *)t13) = t64;

LAB20:    t13 = (t24 + 56U);
    t14 = *((char **)t13);
    t62 = *((int64 *)t14);
    t0 = t62;

LAB1:    return t0;
LAB3:    *((char **)t32) = t4;
    goto LAB2;

LAB5:    *((char **)t35) = t6;
    goto LAB4;

LAB7:    t50 = (t7 + 0U);
    t51 = *((int *)t50);
    t52 = (t7 + 8U);
    t53 = *((int *)t52);
    t54 = (t46 - t51);
    t55 = (t54 * t53);
    t56 = (24U * t55);
    t57 = (0 + t56);
    t58 = (t57 + 16U);
    t59 = (t6 + t58);
    t60 = *((unsigned char *)t59);
    t61 = (!(t60));
    if (t61 != 0)
        goto LAB8;

LAB10:    t13 = (t7 + 0U);
    t43 = *((int *)t13);
    t14 = (t7 + 8U);
    t45 = *((int *)t14);
    t48 = (t46 - t43);
    t55 = (t48 * t45);
    t56 = (24U * t55);
    t57 = (0 + t56);
    t58 = (t57 + 0U);
    t16 = (t6 + t58);
    t62 = *((int64 *)t16);
    t17 = (t18 + 56U);
    t19 = *((char **)t17);
    t63 = *((int64 *)t19);
    t33 = (t62 > t63);
    if (t33 != 0)
        goto LAB8;

LAB11:    t13 = (t7 + 0U);
    t43 = *((int *)t13);
    t14 = (t7 + 8U);
    t45 = *((int *)t14);
    t48 = (t46 - t43);
    t55 = (t48 * t45);
    t56 = (24U * t55);
    t57 = (0 + t56);
    t58 = (t57 + 8U);
    t16 = (t6 + t58);
    t62 = *((int64 *)t16);
    t63 = ieee_p_2717149903_sub_3513290822_2101202839(t1, t2, t3, t62);
    t17 = (t12 + 56U);
    t19 = *((char **)t17);
    t17 = (t19 + 0);
    *((int64 *)t17) = t63;
    t13 = (t7 + 0U);
    t43 = *((int *)t13);
    t14 = (t7 + 8U);
    t45 = *((int *)t14);
    t48 = (t46 - t43);
    t55 = (t48 * t45);
    t56 = (24U * t55);
    t57 = (0 + t56);
    t58 = (t57 + 0U);
    t16 = (t6 + t58);
    t62 = *((int64 *)t16);
    t17 = (t18 + 56U);
    t19 = *((char **)t17);
    t63 = *((int64 *)t19);
    t33 = (t62 < t63);
    if (t33 != 0)
        goto LAB12;

LAB14:    t13 = (t12 + 56U);
    t14 = *((char **)t13);
    t62 = *((int64 *)t14);
    t13 = (t24 + 56U);
    t16 = *((char **)t13);
    t63 = *((int64 *)t16);
    t33 = (t62 < t63);
    if (t33 != 0)
        goto LAB15;

LAB17:
LAB16:
LAB13:    t13 = (t7 + 0U);
    t43 = *((int *)t13);
    t14 = (t7 + 8U);
    t45 = *((int *)t14);
    t48 = (t46 - t43);
    t55 = (t48 * t45);
    t56 = (24U * t55);
    t57 = (0 + t56);
    t58 = (t57 + 0U);
    t16 = (t6 + t58);
    t62 = *((int64 *)t16);
    t17 = (t18 + 56U);
    t19 = *((char **)t17);
    t17 = (t19 + 0);
    *((int64 *)t17) = t62;

LAB8:    if (t46 == t47)
        goto LAB9;

LAB18:    t43 = (t46 + t41);
    t46 = t43;
    goto LAB6;

LAB12:    t17 = (t12 + 56U);
    t20 = *((char **)t17);
    t64 = *((int64 *)t20);
    t17 = (t24 + 56U);
    t22 = *((char **)t17);
    t17 = (t22 + 0);
    *((int64 *)t17) = t64;
    goto LAB13;

LAB15:    t13 = (t12 + 56U);
    t17 = *((char **)t13);
    t64 = *((int64 *)t17);
    t13 = (t24 + 56U);