p_1242562249.c

32位单精度浮点加法器

    t20 = (t2 + 0U);
    t21 = (t20 + 0U);
    *((int *)t21) = t12;
    t21 = (t20 + 4U);
    *((int *)t21) = t22;
    t21 = (t20 + 8U);
    *((int *)t21) = t24;
    t28 = (t22 - t12);
    t25 = (t28 * t24);
    t25 = (t25 + 1);
    t21 = (t20 + 12U);
    *((unsigned int *)t21) = t25;

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

LAB5:    *((char **)t55) = t5;
    goto LAB4;

LAB7:    t59 = (t46 + 56U);
    t64 = *((char **)t59);
    t65 = *((unsigned char *)t64);
    t59 = (t3 + 0);
    t66 = (t19 + 0U);
    t67 = *((int *)t66);
    t68 = (t19 + 8U);
    t69 = *((int *)t68);
    t70 = (t62 - t67);
    t39 = (t70 * t69);
    t71 = (t19 + 4U);
    t72 = *((int *)t71);
    xsi_vhdl_check_range_of_index(t67, t72, t69, t62);
    t73 = (1U * t39);
    t74 = (0 + t73);
    t75 = (t59 + t74);
    t76 = *((unsigned char *)t75);
    t77 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t65, t76);
    t78 = (t5 + 0);
    t79 = (t26 + 0U);
    t80 = *((int *)t79);
    t81 = (t26 + 8U);
    t82 = *((int *)t81);
    t83 = (t62 - t80);
    t84 = (t83 * t82);
    t85 = (t26 + 4U);
    t86 = *((int *)t85);
    xsi_vhdl_check_range_of_index(t80, t86, t82, t62);
    t87 = (1U * t84);
    t88 = (0 + t87);
    t89 = (t78 + t88);
    t90 = *((unsigned char *)t89);
    t91 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t77, t90);
    t92 = (t37 + 56U);
    t93 = *((char **)t92);
    t92 = (t34 + 0U);
    t94 = *((int *)t92);
    t95 = (t34 + 8U);
    t96 = *((int *)t95);
    t97 = (t62 - t94);
    t98 = (t97 * t96);
    t99 = (t34 + 4U);
    t100 = *((int *)t99);
    xsi_vhdl_check_range_of_index(t94, t100, t96, t62);
    t101 = (1U * t98);
    t102 = (0 + t101);
    t103 = (t93 + t102);
    *((unsigned char *)t103) = t91;
    t10 = (t46 + 56U);
    t14 = *((char **)t10);
    t53 = *((unsigned char *)t14);
    t10 = (t3 + 0);
    t15 = (t19 + 0U);
    t12 = *((int *)t15);
    t17 = (t19 + 8U);
    t22 = *((int *)t17);
    t24 = (t62 - t12);
    t11 = (t24 * t22);
    t18 = (t19 + 4U);
    t28 = *((int *)t18);
    xsi_vhdl_check_range_of_index(t12, t28, t22, t62);
    t25 = (1U * t11);
    t39 = (0 + t25);
    t20 = (t10 + t39);
    t56 = *((unsigned char *)t20);
    t65 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t53, t56);
    t21 = (t46 + 56U);
    t23 = *((char **)t21);
    t76 = *((unsigned char *)t23);
    t21 = (t5 + 0);
    t27 = (t26 + 0U);
    t30 = *((int *)t27);
    t29 = (t26 + 8U);
    t32 = *((int *)t29);
    t33 = (t62 - t30);
    t73 = (t33 * t32);
    t31 = (t26 + 4U);
    t36 = *((int *)t31);
    xsi_vhdl_check_range_of_index(t30, t36, t32, t62);
    t74 = (1U * t73);
    t84 = (0 + t74);
    t35 = (t21 + t84);
    t77 = *((unsigned char *)t35);
    t90 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t76, t77);
    t91 = ieee_p_2592010699_sub_2545490612_503743352(IEEE_P_2592010699, t65, t90);
    t40 = (t3 + 0);
    t41 = (t19 + 0U);
    t38 = *((int *)t41);
    t43 = (t19 + 8U);
    t61 = *((int *)t43);
    t67 = (t62 - t38);
    t87 = (t67 * t61);
    t44 = (t19 + 4U);
    t69 = *((int *)t44);
    xsi_vhdl_check_range_of_index(t38, t69, t61, t62);
    t88 = (1U * t87);
    t98 = (0 + t88);
    t45 = (t40 + t98);
    t104 = *((unsigned char *)t45);
    t47 = (t5 + 0);
    t48 = (t26 + 0U);
    t70 = *((int *)t48);
    t50 = (t26 + 8U);
    t72 = *((int *)t50);
    t80 = (t62 - t70);
    t101 = (t80 * t72);
    t51 = (t26 + 4U);
    t82 = *((int *)t51);
    xsi_vhdl_check_range_of_index(t70, t82, t72, t62);
    t102 = (1U * t101);
    t105 = (0 + t102);
    t59 = (t47 + t105);
    t106 = *((unsigned char *)t59);
    t107 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t104, t106);
    t108 = ieee_p_2592010699_sub_2545490612_503743352(IEEE_P_2592010699, t91, t107);
    t60 = (t46 + 56U);
    t64 = *((char **)t60);
    t60 = (t64 + 0);
    *((unsigned char *)t60) = t108;

LAB8:    if (t62 == t63)
        goto LAB9;

LAB10:    t12 = (t62 + 1);
    t62 = t12;
    goto LAB6;

LAB11:;
}

char *ieee_p_1242562249_sub_702267453_1035706684(char *t1, char *t2, char *t3, char *t4, char *t5, char *t6, unsigned char t7)
{
    char t8[368];
    char t9[40];
    char t16[8];
    char t19[16];
    char t26[16];
    char t34[16];
    char t49[8];
    char *t0;
    char *t10;
    unsigned int t11;
    int t12;
    char *t13;
    char *t14;
    char *t15;
    char *t17;
    char *t18;
    char *t20;
    char *t21;
    int t22;
    char *t23;
    int t24;
    unsigned int t25;
    char *t27;
    int t28;
    char *t29;
    int t30;
    char *t31;
    int t32;
    int t33;
    char *t35;
    int t36;
    char *t37;
    int t38;
    unsigned int t39;
    char *t40;
    char *t41;
    char *t42;
    char *t43;
    char *t44;
    char *t45;
    char *t46;
    char *t47;
    char *t48;
    char *t50;
    char *t51;
    char *t52;
    unsigned char t53;
    char *t54;
    char *t55;
    unsigned char t56;
    char *t57;
    char *t58;
    char *t59;
    char *t60;
    int t61;
    int t62;
    int t63;
    char *t64;
    unsigned char t65;
    char *t66;
    int t67;
    char *t68;
    int t69;
    int t70;
    char *t71;
    int t72;
    unsigned int t73;
    unsigned int t74;
    char *t75;
    unsigned char t76;
    unsigned char t77;
    char *t78;
    char *t79;
    int t80;
    char *t81;
    int t82;
    int t83;
    unsigned int t84;
    char *t85;
    int t86;
    unsigned int t87;
    unsigned int t88;
    char *t89;
    unsigned char t90;
    unsigned char t91;
    char *t92;
    char *t93;
    int t94;
    char *t95;
    int t96;
    int t97;
    unsigned int t98;
    char *t99;
    int t100;
    unsigned int t101;
    unsigned int t102;
    char *t103;
    unsigned char t104;
    unsigned int t105;
    unsigned char t106;
    unsigned char t107;
    unsigned char t108;

LAB0:    t10 = (t4 + 12U);
    t11 = *((unsigned int *)t10);
    t12 = (t11 - 1);
    t13 = (t8 + 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;
    t20 = (t13 + 56U);
    t21 = *((char **)t20);
    t22 = *((int *)t21);
    t20 = (t19 + 0U);
    t23 = (t20 + 0U);
    *((int *)t23) = t22;
    t23 = (t20 + 4U);
    *((int *)t23) = 0;
    t23 = (t20 + 8U);
    *((int *)t23) = -1;
    t24 = (0 - t22);
    t25 = (t24 * -1);
    t25 = (t25 + 1);
    t23 = (t20 + 12U);
    *((unsigned int *)t23) = t25;
    t23 = (t13 + 56U);
    t27 = *((char **)t23);
    t28 = *((int *)t27);
    t23 = (t26 + 0U);
    t29 = (t23 + 0U);
    *((int *)t29) = t28;
    t29 = (t23 + 4U);
    *((int *)t29) = 0;
    t29 = (t23 + 8U);
    *((int *)t29) = -1;
    t30 = (0 - t28);
    t25 = (t30 * -1);
    t25 = (t25 + 1);
    t29 = (t23 + 12U);
    *((unsigned int *)t29) = t25;
    t29 = (t13 + 56U);
    t31 = *((char **)t29);
    t32 = *((int *)t31);
    t33 = (0 - t32);
    t25 = (t33 * -1);
    t25 = (t25 + 1);
    t25 = (t25 * 1U);
    t29 = (t13 + 56U);
    t35 = *((char **)t29);
    t36 = *((int *)t35);
    t29 = (t34 + 0U);
    t37 = (t29 + 0U);
    *((int *)t37) = t36;
    t37 = (t29 + 4U);
    *((int *)t37) = 0;
    t37 = (t29 + 8U);
    *((int *)t37) = -1;
    t38 = (0 - t36);
    t39 = (t38 * -1);
    t39 = (t39 + 1);
    t37 = (t29 + 12U);
    *((unsigned int *)t37) = t39;
    t37 = (t8 + 124U);
    t40 = (t1 + 3112);
    t41 = (t37 + 88U);
    *((char **)t41) = t40;
    t42 = (char *)alloca(t25);
    t43 = (t37 + 56U);
    *((char **)t43) = t42;
    xsi_type_set_default_value(t40, t42, t34);
    t44 = (t37 + 64U);
    *((char **)t44) = t34;
    t45 = (t37 + 80U);
    *((unsigned int *)t45) = t25;
    t46 = (t8 + 244U);
    t47 = ((IEEE_P_2592010699) + 3320);
    t48 = (t46 + 88U);
    *((char **)t48) = t47;
    t50 = (t46 + 56U);
    *((char **)t50) = t49;
    *((unsigned char *)t49) = t7;
    t51 = (t46 + 80U);
    *((unsigned int *)t51) = 1U;
    t52 = (t9 + 4U);
    t53 = (t3 != 0);
    if (t53 == 1)
        goto LAB3;

LAB2:    t54 = (t9 + 12U);
    *((char **)t54) = t4;
    t55 = (t9 + 20U);
    t56 = (t5 != 0);
    if (t56 == 1)
        goto LAB5;

LAB4:    t57 = (t9 + 28U);
    *((char **)t57) = t6;
    t58 = (t9 + 36U);
    *((unsigned char *)t58) = t7;
    t59 = (t13 + 56U);
    t60 = *((char **)t59);
    t61 = *((int *)t60);
    t62 = 0;
    t63 = t61;

LAB6:    if (t62 <= t63)
        goto LAB7;

LAB9:    t10 = (t37 + 56U);
    t14 = *((char **)t10);
    t10 = (t34 + 12U);
    t11 = *((unsigned int *)t10);
    t11 = (t11 * 1U);
    t0 = xsi_get_transient_memory(t11);
    memcpy(t0, t14, t11);
    t15 = (t34 + 0U);
    t12 = *((int *)t15);
    t17 = (t34 + 4U);
    t22 = *((int *)t17);
    t18 = (t34 + 8U);
    t24 = *((int *)t18);
    t20 = (t2 + 0U);
    t21 = (t20 + 0U);
    *((int *)t21) = t12;
    t21 = (t20 + 4U);
    *((int *)t21) = t22;
    t21 = (t20 + 8U);
    *((int *)t21) = t24;
    t28 = (t22 - t12);
    t25 = (t28 * t24);
    t25 = (t25 + 1);
    t21 = (t20 + 12U);
    *((unsigned int *)t21) = t25;

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

LAB5:    *((char **)t55) = t5;
    goto LAB4;

LAB7:    t59 = (t46 + 56U);
    t64 = *((char **)t59);
    t65 = *((unsigned char *)t64);
    t59 = (t3 + 0);
    t66 = (t19 + 0U);
    t67 = *((int *)t66);
    t68 = (t19 + 8U);
    t69 = *((int *)t68);
    t70 = (t62 - t67);
    t39 = (t70 * t69);
    t71 = (t19 + 4U);
    t72 = *((int *)t71);
    xsi_vhdl_check_range_of_index(t67, t72, t69, t62);
    t73 = (1U * t39);
    t74 = (0 + t73);
    t75 = (t59 + t74);
    t76 = *((unsigned char *)t75);
    t77 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t65, t76);
    t78 = (t5 + 0);
    t79 = (t26 + 0U);
    t80 = *((int *)t79);
    t81 = (t26 + 8U);
    t82 = *((int *)t81);
    t83 = (t62 - t80);
    t84 = (t83 * t82);
    t85 = (t26 + 4U);
    t86 = *((int *)t85);
    xsi_vhdl_check_range_of_index(t80, t86, t82, t62);
    t87 = (1U * t84);
    t88 = (0 + t87);
    t89 = (t78 + t88);
    t90 = *((unsigned char *)t89);
    t91 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t77, t90);
    t92 = (t37 + 56U);
    t93 = *((char **)t92);
    t92 = (t34 + 0U);
    t94 = *((int *)t92);
    t95 = (t34 + 8U);
    t96 = *((int *)t95);
    t97 = (t62 - t94);
    t98 = (t97 * t96);
    t99 = (t34 + 4U);
    t100 = *((int *)t99);
    xsi_vhdl_check_range_of_index(t94, t100, t96, t62);
    t101 = (1U * t98);
    t102 = (0 + t101);
    t103 = (t93 + t102);
    *((unsigned char *)t103) = t91;
    t10 = (t46 + 56U);
    t14 = *((char **)t10);
    t53 = *((unsigned char *)t14);
    t10 = (t3 + 0);
    t15 = (t19 + 0U);
    t12 = *((int *)t15);
    t17 = (t19 + 8U);
    t22 = *((int *)t17);
    t24 = (t62 - t12);
    t11 = (t24 * t22);
    t18 = (t19 + 4U);
    t28 = *((int *)t18);
    xsi_vhdl_check_range_of_index(t12, t28, t22, t62);
    t25 = (1U * t11);
    t39 = (0 + t25);
    t20 = (t10 + t39);
    t56 = *((unsigned char *)t20);
    t65 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t53, t56);
    t21 = (t46 + 56U);
    t23 = *((char **)t21);
    t76 = *((unsigned char *)t23);
    t21 = (t5 + 0);
    t27 = (t26 + 0U);
    t30 = *((int *)t27);
    t29 = (t26 + 8U);
    t32 = *((int *)t29);
    t33 = (t62 - t30);
    t73 = (t33 * t32);
    t31 = (t26 + 4U);
    t36 = *((int *)t31);
    xsi_vhdl_check_range_of_index(t30, t36, t32, t62);
    t74 = (1U * t73);
    t84 = (0 + t74);
    t35 = (t21 + t84);
    t77 = *((unsigned char *)t35);
    t90 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t76, t77);
    t91 = ieee_p_2592010699_sub_2545490612_503743352(IEEE_P_2592010699, t65, t90);
    t40 = (t3 + 0);
    t41 = (t19 + 0U);
    t38 = *((int *)t41);
    t43 = (t19 + 8U);
    t61 = *((int *)t43);
    t67 = (t62 - t38);
    t87 = (t67 * t61);
    t44 = (t19 + 4U);
    t69 = *((int *)t44);
    xsi_vhdl_check_range_of_index(t38, t69, t61, t62);
    t88 = (1U * t87);
    t98 = (0 + t88);
    t45 = (t40 + t98);
    t104 = *((unsigned char *)t45);
    t47 = (t5 + 0);
    t48 = (t26 + 0U);
    t70 = *((int *)t48);
    t50 = (t26 + 8U);
    t72 = *((int *)t50);
    t80 = (t62 - t70);
    t101 = (t80 * t72);
    t51 = (t26 + 4U);
    t82 = *((int *)t51);
    xsi_vhdl_check_range_of_index(t70, t82, t72, t62);
    t102 = (1U * t101);
    t105 = (0 + t102);
    t59 = (t47 + t105);
    t106 = *((unsigned char *)t59);
    t107 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t104, t106);
    t108 = ieee_p_2592010699_sub_2545490612_503743352(IEEE_P_2592010699, t91, t107);
    t60 = (t46 + 56U);
    t64 = *((char **)t60);
    t60 = (t64 + 0);
    *((unsigned char *)t60) = t108;

LAB8:    if (t62 == t63)
        goto LAB9;

LAB10:    t12 = (t62 + 1);
    t62 = t12;
    goto LAB6;

LAB11:;
}

void ieee_p_1242562249_sub_4109383058_1035706684(char *t0, char *t1, char *t2, char *t3, char *t4, char *t5, char *t6, char *t7, char *t8, char *t9)
{
    char t10[368];
    char t11[72];
    char t16[16];
    char t36[16];
    char t53[16];
    char t62[8];
    char t78[16];
    char t80[16];
    char t95[16];
    char t97[16];
    char t100[16];
    char t107[16];
    char t126[16];
    char t128[16];
    char t133[16];