p_1242562249.c

32位单精度浮点加法器

    t60 = *((int *)t59);
    xsi_vhdl_check_range_of_slice(t54, t58, t60, t57, t5, -1);
    t61 = (t38 * 1U);
    t62 = (0 + t61);
    t63 = (t49 + t62);
    t64 = (t36 + 56U);
    t65 = *((char **)t64);
    t64 = (t33 + 0U);
    t66 = *((int *)t64);
    t67 = (t11 + 56U);
    t68 = *((char **)t67);
    t69 = *((int *)t68);
    t70 = (t69 - t5);
    t71 = (t66 - t70);
    t67 = (t33 + 4U);
    t72 = *((int *)t67);
    t73 = (t33 + 8U);
    t74 = *((int *)t73);
    xsi_vhdl_check_range_of_slice(t66, t72, t74, t70, 0, -1);
    t75 = (t71 * 1U);
    t76 = (0 + t75);
    t77 = (t65 + t76);
    t78 = (t11 + 56U);
    t79 = *((char **)t78);
    t80 = *((int *)t79);
    t81 = (t5 - t80);
    t82 = (t81 * -1);
    t82 = (t82 + 1);
    t83 = (1U * t82);
    memcpy(t77, t63, t83);
    goto LAB5;

LAB7:;
}

char *ieee_p_1242562249_sub_505238664_1035706684(char *t1, char *t2, char *t3, char *t4, int t5)
{
    char t6[368];
    char t7[24];
    char t14[8];
    char t17[16];
    char t27[16];
    char t42[8];
    char *t0;
    char *t8;
    unsigned int t9;
    int t10;
    char *t11;
    char *t12;
    char *t13;
    char *t15;
    char *t16;
    char *t18;
    char *t19;
    int t20;
    char *t21;
    int t22;
    unsigned int t23;
    char *t24;
    int t25;
    int t26;
    char *t28;
    int t29;
    char *t30;
    int t31;
    unsigned int t32;
    char *t33;
    char *t34;
    char *t35;
    char *t36;
    char *t37;
    char *t38;
    char *t39;
    char *t40;
    char *t41;
    char *t43;
    char *t44;
    char *t45;
    unsigned char t46;
    char *t47;
    char *t48;
    unsigned char t49;
    char *t50;
    unsigned char t51;
    char *t52;
    char *t53;
    int t54;
    unsigned char t55;
    unsigned int t56;
    char *t57;
    int t58;
    char *t59;
    int t60;
    char *t61;
    int t62;
    char *t63;
    char *t64;
    int t65;
    unsigned int t66;
    unsigned int t67;
    int t68;
    int t69;
    unsigned int t70;
    unsigned int t71;
    int t72;
    int t73;
    int t74;
    int t75;
    int t76;
    int t77;
    int t78;
    int t79;
    int t80;
    int t81;
    int t82;
    unsigned int t83;
    unsigned int t84;

LAB0:    t8 = (t4 + 12U);
    t9 = *((unsigned int *)t8);
    t10 = (t9 - 1);
    t11 = (t6 + 4U);
    t12 = ((STD_STANDARD) + 384);
    t13 = (t11 + 88U);
    *((char **)t13) = t12;
    t15 = (t11 + 56U);
    *((char **)t15) = t14;
    *((int *)t14) = t10;
    t16 = (t11 + 80U);
    *((unsigned int *)t16) = 4U;
    t18 = (t11 + 56U);
    t19 = *((char **)t18);
    t20 = *((int *)t19);
    t18 = (t17 + 0U);
    t21 = (t18 + 0U);
    *((int *)t21) = t20;
    t21 = (t18 + 4U);
    *((int *)t21) = 0;
    t21 = (t18 + 8U);
    *((int *)t21) = -1;
    t22 = (0 - t20);
    t23 = (t22 * -1);
    t23 = (t23 + 1);
    t21 = (t18 + 12U);
    *((unsigned int *)t21) = t23;
    t21 = (t11 + 56U);
    t24 = *((char **)t21);
    t25 = *((int *)t24);
    t26 = (0 - t25);
    t23 = (t26 * -1);
    t23 = (t23 + 1);
    t23 = (t23 * 1U);
    t21 = (t11 + 56U);
    t28 = *((char **)t21);
    t29 = *((int *)t28);
    t21 = (t27 + 0U);
    t30 = (t21 + 0U);
    *((int *)t30) = t29;
    t30 = (t21 + 4U);
    *((int *)t30) = 0;
    t30 = (t21 + 8U);
    *((int *)t30) = -1;
    t31 = (0 - t29);
    t32 = (t31 * -1);
    t32 = (t32 + 1);
    t30 = (t21 + 12U);
    *((unsigned int *)t30) = t32;
    t30 = (t6 + 124U);
    t33 = ((IEEE_P_2592010699) + 4024);
    t34 = (t30 + 88U);
    *((char **)t34) = t33;
    t35 = (char *)alloca(t23);
    t36 = (t30 + 56U);
    *((char **)t36) = t35;
    xsi_type_set_default_value(t33, t35, t27);
    t37 = (t30 + 64U);
    *((char **)t37) = t27;
    t38 = (t30 + 80U);
    *((unsigned int *)t38) = t23;
    t39 = (t6 + 244U);
    t40 = ((STD_STANDARD) + 832);
    t41 = (t39 + 88U);
    *((char **)t41) = t40;
    t43 = (t39 + 56U);
    *((char **)t43) = t42;
    *((int *)t42) = t5;
    t44 = (t39 + 80U);
    *((unsigned int *)t44) = 4U;
    t45 = (t7 + 4U);
    t46 = (t3 != 0);
    if (t46 == 1)
        goto LAB3;

LAB2:    t47 = (t7 + 12U);
    *((char **)t47) = t4;
    t48 = (t7 + 20U);
    *((int *)t48) = t5;
    t50 = (t4 + 12U);
    t32 = *((unsigned int *)t50);
    t51 = (t32 <= 1);
    if (t51 == 1)
        goto LAB7;

LAB8:    t52 = (t39 + 56U);
    t53 = *((char **)t52);
    t54 = *((int *)t53);
    t55 = (t54 == 0);
    t49 = t55;

LAB9:    if (t49 != 0)
        goto LAB4;

LAB6:    t8 = (t39 + 56U);
    t12 = *((char **)t8);
    t10 = *((int *)t12);
    t8 = (t11 + 56U);
    t13 = *((char **)t8);
    t20 = *((int *)t13);
    t46 = (t10 > t20);
    if (t46 != 0)
        goto LAB11;

LAB13:
LAB12:    t8 = (t3 + 0);
    t12 = (t17 + 0U);
    t10 = *((int *)t12);
    t13 = (t11 + 56U);
    t15 = *((char **)t13);
    t20 = *((int *)t15);
    t9 = (t10 - t20);
    t13 = (t39 + 56U);
    t16 = *((char **)t13);
    t22 = *((int *)t16);
    t13 = (t17 + 4U);
    t25 = *((int *)t13);
    t18 = (t17 + 8U);
    t26 = *((int *)t18);
    xsi_vhdl_check_range_of_slice(t10, t25, t26, t20, t22, -1);
    t23 = (t9 * 1U);
    t32 = (0 + t23);
    t19 = (t8 + t32);
    t21 = (t30 + 56U);
    t24 = *((char **)t21);
    t21 = (t27 + 0U);
    t29 = *((int *)t21);
    t28 = (t11 + 56U);
    t33 = *((char **)t28);
    t31 = *((int *)t33);
    t28 = (t39 + 56U);
    t34 = *((char **)t28);
    t54 = *((int *)t34);
    t58 = (t31 - t54);
    t56 = (t29 - t58);
    t28 = (t27 + 4U);
    t60 = *((int *)t28);
    t36 = (t27 + 8U);
    t62 = *((int *)t36);
    xsi_vhdl_check_range_of_slice(t29, t60, t62, t58, 0, -1);
    t66 = (t56 * 1U);
    t67 = (0 + t66);
    t37 = (t24 + t67);
    t38 = (t11 + 56U);
    t40 = *((char **)t38);
    t65 = *((int *)t40);
    t38 = (t39 + 56U);
    t41 = *((char **)t38);
    t68 = *((int *)t41);
    t69 = (t68 - t65);
    t70 = (t69 * -1);
    t70 = (t70 + 1);
    t71 = (1U * t70);
    memcpy(t37, t19, t71);
    t8 = (t11 + 56U);
    t12 = *((char **)t8);
    t10 = *((int *)t12);
    t8 = (t11 + 56U);
    t13 = *((char **)t8);
    t20 = *((int *)t13);
    t8 = (t39 + 56U);
    t15 = *((char **)t8);
    t22 = *((int *)t15);
    t25 = (t20 - t22);
    t26 = (t25 + 1);
    t29 = (t26 - t10);
    t9 = (t29 * -1);
    t9 = (t9 + 1);
    t23 = (1U * t9);
    t8 = xsi_get_transient_memory(t23);
    memset(t8, 0, t23);
    t16 = t8;
    t18 = (t3 + 0);
    t19 = (t11 + 56U);
    t21 = *((char **)t19);
    t31 = *((int *)t21);
    t19 = (t17 + 0U);
    t54 = *((int *)t19);
    t24 = (t17 + 8U);
    t58 = *((int *)t24);
    t60 = (t31 - t54);
    t32 = (t60 * t58);
    t28 = (t17 + 4U);
    t62 = *((int *)t28);
    xsi_vhdl_check_range_of_index(t54, t62, t58, t31);
    t56 = (1U * t32);
    t66 = (0 + t56);
    t33 = (t18 + t66);
    t46 = *((unsigned char *)t33);
    memset(t16, t46, t23);
    t34 = (t30 + 56U);
    t36 = *((char **)t34);
    t34 = (t27 + 0U);
    t65 = *((int *)t34);
    t37 = (t11 + 56U);
    t38 = *((char **)t37);
    t68 = *((int *)t38);
    t67 = (t65 - t68);
    t37 = (t11 + 56U);
    t40 = *((char **)t37);
    t69 = *((int *)t40);
    t37 = (t39 + 56U);
    t41 = *((char **)t37);
    t72 = *((int *)t41);
    t73 = (t69 - t72);
    t74 = (t73 + 1);
    t37 = (t27 + 4U);
    t75 = *((int *)t37);
    t43 = (t27 + 8U);
    t76 = *((int *)t43);
    xsi_vhdl_check_range_of_slice(t65, t75, t76, t68, t74, -1);
    t70 = (t67 * 1U);
    t71 = (0 + t70);
    t44 = (t36 + t71);
    t50 = (t11 + 56U);
    t52 = *((char **)t50);
    t77 = *((int *)t52);
    t50 = (t11 + 56U);
    t53 = *((char **)t50);
    t78 = *((int *)t53);
    t50 = (t39 + 56U);
    t57 = *((char **)t50);
    t79 = *((int *)t57);
    t80 = (t78 - t79);
    t81 = (t80 + 1);
    t82 = (t81 - t77);
    t83 = (t82 * -1);
    t83 = (t83 + 1);
    t84 = (1U * t83);
    memcpy(t44, t8, t84);

LAB5:    t8 = (t30 + 56U);
    t12 = *((char **)t8);
    t8 = (t27 + 12U);
    t9 = *((unsigned int *)t8);
    t9 = (t9 * 1U);
    t0 = xsi_get_transient_memory(t9);
    memcpy(t0, t12, t9);
    t13 = (t27 + 0U);
    t10 = *((int *)t13);
    t15 = (t27 + 4U);
    t20 = *((int *)t15);
    t16 = (t27 + 8U);
    t22 = *((int *)t16);
    t18 = (t2 + 0U);
    t19 = (t18 + 0U);
    *((int *)t19) = t10;
    t19 = (t18 + 4U);
    *((int *)t19) = t20;
    t19 = (t18 + 8U);
    *((int *)t19) = t22;
    t25 = (t20 - t10);
    t23 = (t25 * t22);
    t23 = (t23 + 1);
    t19 = (t18 + 12U);
    *((unsigned int *)t19) = t23;

LAB1:    return t0;
LAB3:    *((char **)t45) = t3;
    goto LAB2;

LAB4:    t52 = (t4 + 12U);
    t56 = *((unsigned int *)t52);
    t56 = (t56 * 1U);
    t0 = xsi_get_transient_memory(t56);
    memcpy(t0, t3, t56);
    t57 = (t4 + 0U);
    t58 = *((int *)t57);
    t59 = (t4 + 4U);
    t60 = *((int *)t59);
    t61 = (t4 + 8U);
    t62 = *((int *)t61);
    t63 = (t2 + 0U);
    t64 = (t63 + 0U);
    *((int *)t64) = t58;
    t64 = (t63 + 4U);
    *((int *)t64) = t60;
    t64 = (t63 + 8U);
    *((int *)t64) = t62;
    t65 = (t60 - t58);
    t66 = (t65 * t62);
    t66 = (t66 + 1);
    t64 = (t63 + 12U);
    *((unsigned int *)t64) = t66;
    goto LAB1;

LAB7:    t49 = (unsigned char)1;
    goto LAB9;

LAB10:    goto LAB5;

LAB11:    t8 = (t11 + 56U);
    t15 = *((char **)t8);
    t22 = *((int *)t15);
    t8 = (t39 + 56U);
    t16 = *((char **)t8);
    t8 = (t16 + 0);
    *((int *)t8) = t22;
    goto LAB12;

LAB14:;
}

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

LAB0:    t8 = (t4 + 12U);
    t9 = *((unsigned int *)t8);
    t10 = (t9 - 1);
    t11 = (t6 + 4U);
    t12 = ((STD_STANDARD) + 384);
    t13 = (t11 + 88U);
    *((char **)t13) = t12;
    t15 = (t11 + 56U);
    *((char **)t15) = t14;
    *((int *)t14) = t10;
    t16 = (t11 + 80U);
    *((unsigned int *)t16) = 4U;
    t18 = (t11 + 56U);
    t19 = *((char **)t18);
    t20 = *((int *)t19);
    t18 = (t17 + 0U);
    t21 = (t18 + 0U);
    *((int *)t21) = t20;
    t21 = (t18 + 4U);
    *((int *)t21) = 0;
    t21 = (t18 + 8U);
    *((int *)t21) = -1;
    t22 = (0 - t20);
    t23 = (t22 * -1);
    t23 = (t23 + 1);
    t21 = (t18 + 12U);
    *((unsigned int *)t21) = t23;
    t21 = (t3 + 0);
    t24 = (t17 + 12U);
    t23 = *((unsigned int *)t24);
    t23 = (t23 * 1U);
    t26 = (t11 + 56U);
    t27 = *((char **)t26);
    t28 = *((int *)t27);
    t26 = (t25 + 0U);
    t29 = (t26 + 0U);
    *((int *)t29) = t28;
    t29 = (t26 + 4U);
    *((int *)t29) = 0;
    t29 = (t26 + 8U);
    *((int *)t29) = -1;
    t30 = (0 - t28);
    t31 = (t30 * -1);
    t31 = (t31 + 1);
    t29 = (t26 + 12U);
    *((unsigned int *)t29) = t31;
    t29 = (t6 + 124U);
    t32 = ((IEEE_P_2592010699) + 4024);
    t33 = (t29 + 88U);
    *((char **)t33) = t32;
    t34 = (char *)alloca(t23);
    t35 = (t29 + 56U);
    *((char **)t35) = t34;
    memcpy(t34, t21, t23);
    t36 = (t29 + 64U);
    *((char **)t36) = t2