p_1242562249.c

32位单精度浮点加法器

    char *t12;
    unsigned int t13;
    int t14;
    unsigned int t15;
    char *t17;
    unsigned int t18;
    char *t19;
    char *t20;
    int t21;
    unsigned int t22;
    char *t23;
    char *t24;
    char *t25;
    char *t26;
    char *t27;
    char *t28;
    char *t29;
    char *t30;
    unsigned int t31;
    int t32;
    int t33;
    int t34;
    unsigned int t35;
    char *t37;
    unsigned int t38;
    char *t39;
    unsigned int t40;
    int t41;
    int t42;
    char *t43;
    char *t44;
    int t45;
    unsigned int t46;
    char *t47;
    char *t48;
    char *t49;
    char *t50;
    char *t51;
    char *t52;
    char *t54;
    int t55;
    char *t56;
    char *t57;
    int t58;
    unsigned int t59;
    char *t60;
    char *t61;
    char *t63;
    char *t64;
    char *t65;
    unsigned char t66;
    char *t67;
    char *t68;
    unsigned char t69;
    char *t70;
    char *t71;
    char *t72;
    char *t73;
    char *t74;
    char *t75;
    char *t76;
    char *t77;
    char *t79;
    char *t81;
    char *t82;
    int t83;
    char *t84;
    char *t85;
    unsigned int t86;
    int t87;
    int t88;
    int t89;
    int t90;
    int t91;
    int t92;
    int t93;
    int t94;
    int t96;
    int t98;
    int t99;
    int t101;
    int t102;
    int t103;
    int t104;
    int t105;
    int t106;
    int t108;
    int t109;
    int t110;
    int t111;
    char *t113;
    char *t114;
    int t115;
    char *t116;
    char *t117;
    int t118;
    int t119;
    char *t120;
    int t121;
    unsigned int t122;
    unsigned int t123;
    char *t124;
    char *t125;
    char *t127;
    char *t129;
    char *t130;
    int t131;
    unsigned int t132;
    char *t134;
    int t135;
    char *t136;
    int t137;
    char *t138;
    char *t139;
    int t140;
    char *t141;
    char *t142;
    int t143;
    int t144;
    int t145;
    int t146;
    char *t147;
    int t148;
    unsigned int t149;
    unsigned int t150;
    char *t151;
    char *t152;
    unsigned int t153;
    unsigned int t154;

LAB0:    t12 = (t3 + 12U);
    t13 = *((unsigned int *)t12);
    t14 = (0 - t13);
    t15 = (t14 * -1);
    t15 = (t15 + 1);
    t15 = (t15 * 1U);
    t17 = (t3 + 12U);
    t18 = *((unsigned int *)t17);
    t19 = (t16 + 0U);
    t20 = (t19 + 0U);
    *((unsigned int *)t20) = t18;
    t20 = (t19 + 4U);
    *((int *)t20) = 0;
    t20 = (t19 + 8U);
    *((int *)t20) = -1;
    t21 = (0 - t18);
    t22 = (t21 * -1);
    t22 = (t22 + 1);
    t20 = (t19 + 12U);
    *((unsigned int *)t20) = t22;
    t20 = (t10 + 4U);
    t23 = (t0 + 3000);
    t24 = (t20 + 88U);
    *((char **)t24) = t23;
    t25 = (char *)alloca(t15);
    t26 = (t20 + 56U);
    *((char **)t26) = t25;
    xsi_type_set_default_value(t23, t25, t16);
    t27 = (t20 + 64U);
    *((char **)t27) = t16;
    t28 = (t20 + 80U);
    *((unsigned int *)t28) = t15;
    t29 = (t3 + 12U);
    t22 = *((unsigned int *)t29);
    t30 = (t5 + 12U);
    t31 = *((unsigned int *)t30);
    t32 = ieee_p_1242562249_sub_3160373586_1035706684(t0, ((t22)), ((t31)));
    t33 = (t32 - 1);
    t34 = (0 - t33);
    t35 = (t34 * -1);
    t35 = (t35 + 1);
    t35 = (t35 * 1U);
    t37 = (t3 + 12U);
    t38 = *((unsigned int *)t37);
    t39 = (t5 + 12U);
    t40 = *((unsigned int *)t39);
    t41 = ieee_p_1242562249_sub_3160373586_1035706684(t0, ((t38)), ((t40)));
    t42 = (t41 - 1);
    t43 = (t36 + 0U);
    t44 = (t43 + 0U);
    *((int *)t44) = t42;
    t44 = (t43 + 4U);
    *((int *)t44) = 0;
    t44 = (t43 + 8U);
    *((int *)t44) = -1;
    t45 = (0 - t42);
    t46 = (t45 * -1);
    t46 = (t46 + 1);
    t44 = (t43 + 12U);
    *((unsigned int *)t44) = t46;
    t44 = (t10 + 124U);
    t47 = (t0 + 3000);
    t48 = (t44 + 88U);
    *((char **)t48) = t47;
    t49 = (char *)alloca(t35);
    t50 = (t44 + 56U);
    *((char **)t50) = t49;
    xsi_type_set_default_value(t47, t49, t36);
    t51 = (t44 + 64U);
    *((char **)t51) = t36;
    t52 = (t44 + 80U);
    *((unsigned int *)t52) = t35;
    t54 = (t5 + 12U);
    t46 = *((unsigned int *)t54);
    t55 = (t46 - 1);
    t56 = (t53 + 0U);
    t57 = (t56 + 0U);
    *((int *)t57) = t55;
    t57 = (t56 + 4U);
    *((int *)t57) = 0;
    t57 = (t56 + 8U);
    *((int *)t57) = -1;
    t58 = (0 - t55);
    t59 = (t58 * -1);
    t59 = (t59 + 1);
    t57 = (t56 + 12U);
    *((unsigned int *)t57) = t59;
    t57 = (t10 + 244U);
    t60 = ((STD_STANDARD) + 384);
    t61 = (t57 + 88U);
    *((char **)t61) = t60;
    t63 = (t57 + 56U);
    *((char **)t63) = t62;
    xsi_type_set_default_value(t60, t62, 0);
    t64 = (t57 + 80U);
    *((unsigned int *)t64) = 4U;
    t65 = (t11 + 4U);
    t66 = (t2 != 0);
    if (t66 == 1)
        goto LAB3;

LAB2:    t67 = (t11 + 12U);
    *((char **)t67) = t3;
    t68 = (t11 + 20U);
    t69 = (t4 != 0);
    if (t69 == 1)
        goto LAB5;

LAB4:    t70 = (t11 + 28U);
    *((char **)t70) = t5;
    t71 = (t11 + 36U);
    *((char **)t71) = t6;
    t72 = (t11 + 44U);
    *((char **)t72) = t7;
    t73 = (t11 + 52U);
    *((char **)t73) = t8;
    t74 = (t11 + 60U);
    *((char **)t74) = t9;
    t75 = (t0 + 5055);
    t79 = (t0 + 3000);
    t81 = (t80 + 0U);
    t82 = (t81 + 0U);
    *((int *)t82) = 0;
    t82 = (t81 + 4U);
    *((int *)t82) = 0;
    t82 = (t81 + 8U);
    *((int *)t82) = 1;
    t83 = (0 - 0);
    t59 = (t83 * 1);
    t59 = (t59 + 1);
    t82 = (t81 + 12U);
    *((unsigned int *)t82) = t59;
    t77 = xsi_base_array_concat(t77, t78, t79, (char)97, t75, t80, (char)97, t2, t3, (char)101);
    t82 = (t20 + 56U);
    t84 = *((char **)t82);
    t82 = (t84 + 0);
    t85 = (t3 + 12U);
    t59 = *((unsigned int *)t85);
    t59 = (t59 * 1U);
    t86 = (1U + t59);
    memcpy(t82, t77, t86);
    t12 = (t36 + 12U);
    t13 = *((unsigned int *)t12);
    t13 = (t13 * 1U);
    t17 = xsi_get_transient_memory(t13);
    memset(t17, 0, t13);
    t19 = t17;
    memset(t19, (unsigned char)2, t13);
    t23 = (t44 + 56U);
    t24 = *((char **)t23);
    t23 = (t24 + 0);
    t26 = (t36 + 12U);
    t15 = *((unsigned int *)t26);
    t15 = (t15 * 1U);
    memcpy(t23, t17, t15);
    t14 = (-(1));
    t12 = (t57 + 56U);
    t17 = *((char **)t12);
    t12 = (t17 + 0);
    *((int *)t12) = t14;
    t12 = (t53 + 8U);
    t14 = *((int *)t12);
    t17 = (t53 + 4U);
    t21 = *((int *)t17);
    t19 = (t53 + 0U);
    t32 = *((int *)t19);
    t33 = t32;
    t34 = t21;

LAB6:    t41 = (t34 * t14);
    t42 = (t33 * t14);
    if (t42 <= t41)
        goto LAB7;

LAB9:    t12 = (t57 + 56U);
    t17 = *((char **)t12);
    t14 = *((int *)t17);
    t66 = (t14 >= 0);
    if (t66 == 0)
        goto LAB15;

LAB16:    t12 = (t3 + 12U);
    t13 = *((unsigned int *)t12);
    t17 = (t57 + 56U);
    t19 = *((char **)t17);
    t14 = *((int *)t19);
    t21 = (t14 + 1);
    t32 = (t13 - t21);
    t33 = t32;
    t34 = 0;

LAB17:    if (t33 >= t34)
        goto LAB18;

LAB20:    t12 = (t44 + 56U);
    t17 = *((char **)t12);
    t12 = (t7 + 12U);
    t13 = *((unsigned int *)t12);
    t19 = ieee_p_1242562249_sub_2045698577_1035706684(t0, t78, t17, t36, ((t13)));
    t23 = (t6 + 0);
    t24 = (t78 + 12U);
    t15 = *((unsigned int *)t24);
    t15 = (t15 * 1U);
    memcpy(t23, t19, t15);
    t12 = (t20 + 56U);
    t17 = *((char **)t12);
    t12 = (t9 + 12U);
    t13 = *((unsigned int *)t12);
    t19 = ieee_p_1242562249_sub_2045698577_1035706684(t0, t78, t17, t16, ((t13)));
    t23 = (t8 + 0);
    t24 = (t78 + 12U);
    t15 = *((unsigned int *)t24);
    t15 = (t15 * 1U);
    memcpy(t23, t19, t15);

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

LAB5:    *((char **)t68) = t4;
    goto LAB4;

LAB7:    t23 = (t4 + 0);
    t24 = (t53 + 0U);
    t45 = *((int *)t24);
    t26 = (t53 + 8U);
    t55 = *((int *)t26);
    t58 = (t33 - t45);
    t13 = (t58 * t55);
    t15 = (1U * t13);
    t18 = (0 + t15);
    t27 = (t23 + t18);
    t66 = *((unsigned char *)t27);
    t69 = (t66 == (unsigned char)3);
    if (t69 != 0)
        goto LAB10;

LAB12:
LAB11:
LAB8:    if (t33 == t34)
        goto LAB9;

LAB14:    t21 = (t33 + t14);
    t33 = t21;
    goto LAB6;

LAB10:    t28 = (t57 + 56U);
    t29 = *((char **)t28);
    t28 = (t29 + 0);
    *((int *)t28) = t33;
    goto LAB9;

LAB13:    goto LAB11;

LAB15:    t12 = (t0 + 5056);
    xsi_report(t12, 24U, (unsigned char)2);
    goto LAB16;

LAB18:    t17 = (t20 + 56U);
    t23 = *((char **)t17);
    t17 = (t16 + 0U);
    t41 = *((int *)t17);
    t24 = (t57 + 56U);
    t26 = *((char **)t24);
    t42 = *((int *)t26);
    t45 = (t42 + t33);
    t55 = (t45 + 1);
    t15 = (t41 - t55);
    t24 = (t16 + 4U);
    t58 = *((int *)t24);
    t27 = (t16 + 8U);
    t83 = *((int *)t27);
    xsi_vhdl_check_range_of_slice(t41, t58, t83, t55, t33, -1);
    t18 = (t15 * 1U);
    t22 = (0 + t18);
    t28 = (t23 + t22);
    t29 = (t57 + 56U);
    t30 = *((char **)t29);
    t87 = *((int *)t30);
    t88 = (t87 + t33);
    t89 = (t88 + 1);
    t29 = (t78 + 0U);
    t37 = (t29 + 0U);
    *((int *)t37) = t89;
    t37 = (t29 + 4U);
    *((int *)t37) = t33;
    t37 = (t29 + 8U);
    *((int *)t37) = -1;
    t90 = (t33 - t89);
    t31 = (t90 * -1);
    t31 = (t31 + 1);
    t37 = (t29 + 12U);
    *((unsigned int *)t37) = t31;
    t37 = (t0 + 5080);
    t43 = (t4 + 0);
    t47 = (t53 + 0U);
    t91 = *((int *)t47);
    t48 = (t57 + 56U);
    t50 = *((char **)t48);
    t92 = *((int *)t50);
    t31 = (t91 - t92);
    t48 = (t53 + 4U);
    t93 = *((int *)t48);
    t51 = (t53 + 8U);
    t94 = *((int *)t51);
    xsi_vhdl_check_range_of_slice(t91, t93, t94, t92, 0, -1);
    t35 = (t31 * 1U);
    t38 = (0 + t35);
    t52 = (t43 + t38);
    t56 = (t0 + 3000);
    t60 = (t95 + 0U);
    t61 = (t60 + 0U);
    *((int *)t61) = 0;
    t61 = (t60 + 4U);
    *((int *)t61) = 0;
    t61 = (t60 + 8U);
    *((int *)t61) = 1;
    t96 = (0 - 0);
    t40 = (t96 * 1);
    t40 = (t40 + 1);
    t61 = (t60 + 12U);
    *((unsigned int *)t61) = t40;
    t61 = (t57 + 56U);
    t63 = *((char **)t61);
    t98 = *((int *)t63);
    t61 = (t97 + 0U);
    t64 = (t61 + 0U);
    *((int *)t64) = t98;
    t64 = (t61 + 4U);
    *((int *)t64) = 0;
    t64 = (t61 + 8U);
    *((int *)t64) = -1;
    t99 = (0 - t98);
    t40 = (t99 * -1);
    t40 = (t40 + 1);
    t64 = (t61 + 12U);
    *((unsigned int *)t64) = t40;
    t54 = xsi_base_array_concat(t54, t80, t56, (char)97, t37, t95, (char)97, t52, t97, (char)101);
    t66 = ieee_p_1242562249_sub_3472088553_1035706684(t0, t28, t78, t54, t80);
    if (t66 != 0)
        goto LAB21;

LAB23:
LAB22:    t12 = (t20 + 56U);
    t17 = *((char **)t12);
    t12 = (t57 + 56U);
    t19 = *((char **)t12);
    t14 = *((int *)t19);
    t21 = (t14 + t33);
    t32 = (t21 + 1);
    t12 = (t16 + 0U);
    t41 = *((int *)t12);
    t23 = (t16 + 8U);
    t42 = *((int *)t23);
    t45 = (t32 - t41);
    t13 = (t45 * t42);
    t24 = (t16 + 4U);
    t55 = *((int *)t24);
    xsi_vhdl_check_range_of_index(t41, t55, t42, t32);
    t15 = (1U * t13);
    t18 = (0 + t15);
    t26 = (t17 + t18);
    t66 = *((unsigned char *)t26);
    t69 = (t66 == (unsigned char)2);
    if (t69 == 0)
        goto LAB24;

LAB25:
LAB19:    if (t33 == t34)
        goto LAB20;

LAB26:    t14 = (t33 + -1);
    t33 = t14;
    goto LAB17;

LAB21:    t64 = (t20 + 56U);
    t75 = *((char **)t64);
    t64 = (t16 + 0U);
    t101 = *((int *)t64);
    t76 = (t57 + 56U);
    t77 = *((char **)t76);
    t102 = *((int *)t77);
    t103 = (t102 + t33);
    t104 = (t103 + 1);
    t40 = (t101 - t104);
    t76 = (t16 + 4U);
    t105 = *((int *)t76);
    t79 = (t16 + 8U);
    t106 = *((int *)t79);
    xsi_vhdl_check_range_of_slice(t101, t105, t106, t104, t33, -1);
    t46 = (t40 * 1U);
    t59 = (0 + t46);
    t81 = (t75 + t59);
    t82 = (t57 + 56U);
    t84 = *((char **)t82);
    t108 = *((int *)t84);
    t109 = (t108 + t33);
    t110 = (t109 + 1);
    t82 = (t107 + 0U);
    t85 = (t82 + 0U);
    *((int *)t85) = t110;
    t85 = (t82 + 4U);
    *((int *)t85) = t33;
    t85 = (t82 + 8U);
    *((int *)t85) = -1;
    t111 = (t33 - t110);
    t86 = (t111 * -1);
    t86 = (t86 + 1);
    t85 = (t82 + 12U);
    *((unsigned int *)t85) = t86;
    t85 = (t0 + 5081);
    t113 = (t4 + 0);
    t114 = (t53 + 0U);
    t115 = *((int *)t114);
    t116 = (t57 + 56U);