p_2717149903.c

32位单精度浮点加法器

    t64 = (t6 + t63);
    t65 = *((unsigned char *)t64);
    t66 = (!(t65));
    if (t66 != 0)
        goto LAB10;

LAB12:    t13 = (t7 + 0U);
    t15 = *((int *)t13);
    t17 = (t7 + 8U);
    t49 = *((int *)t17);
    t51 = (t52 - t15);
    t16 = (t51 * t49);
    t61 = (64U * t16);
    t62 = (0 + t61);
    t63 = (t62 + 0U);
    t18 = (t6 + t63);
    t67 = *((int64 *)t18);
    t20 = (t22 + 56U);
    t21 = *((char **)t20);
    t68 = *((int64 *)t21);
    t37 = (t67 > t68);
    if (t37 != 0)
        goto LAB10;

LAB13:    t13 = (t7 + 0U);
    t15 = *((int *)t13);
    t17 = (t7 + 8U);
    t49 = *((int *)t17);
    t51 = (t52 - t15);
    t16 = (t51 * t49);
    t61 = (64U * t16);
    t62 = (0 + t61);
    t63 = (t62 + 8U);
    t18 = (t6 + t63);
    t67 = ieee_p_2717149903_sub_2630507023_2101202839(t1, t2, t3, t18);
    t20 = (t14 + 56U);
    t21 = *((char **)t20);
    t20 = (t21 + 0);
    *((int64 *)t20) = t67;
    t13 = (t7 + 0U);
    t15 = *((int *)t13);
    t17 = (t7 + 8U);
    t49 = *((int *)t17);
    t51 = (t52 - t15);
    t16 = (t51 * t49);
    t61 = (64U * t16);
    t62 = (0 + t61);
    t63 = (t62 + 0U);
    t18 = (t6 + t63);
    t67 = *((int64 *)t18);
    t20 = (t22 + 56U);
    t21 = *((char **)t20);
    t68 = *((int64 *)t21);
    t37 = (t67 < t68);
    if (t37 != 0)
        goto LAB14;

LAB16:    t13 = (t14 + 56U);
    t17 = *((char **)t13);
    t67 = *((int64 *)t17);
    t13 = (t28 + 56U);
    t18 = *((char **)t13);
    t68 = *((int64 *)t18);
    t37 = (t67 < t68);
    if (t37 != 0)
        goto LAB17;

LAB19:
LAB18:
LAB15:    t13 = (t7 + 0U);
    t15 = *((int *)t13);
    t17 = (t7 + 8U);
    t49 = *((int *)t17);
    t51 = (t52 - t15);
    t16 = (t51 * t49);
    t61 = (64U * t16);
    t62 = (0 + t61);
    t63 = (t62 + 0U);
    t18 = (t6 + t63);
    t67 = *((int64 *)t18);
    t20 = (t22 + 56U);
    t21 = *((char **)t20);
    t20 = (t21 + 0);
    *((int64 *)t20) = t67;

LAB10:    if (t52 == t53)
        goto LAB11;

LAB20:    t15 = (t52 + t47);
    t52 = t15;
    goto LAB8;

LAB14:    t20 = (t14 + 56U);
    t23 = *((char **)t20);
    t69 = *((int64 *)t23);
    t20 = (t28 + 56U);
    t24 = *((char **)t20);
    t20 = (t24 + 0);
    *((int64 *)t20) = t69;
    goto LAB15;

LAB17:    t13 = (t14 + 56U);
    t20 = *((char **)t13);
    t69 = *((int64 *)t20);
    t13 = (t28 + 56U);
    t21 = *((char **)t13);
    t13 = (t21 + 0);
    *((int64 *)t13) = t69;
    goto LAB18;

LAB21:    t40 = (!(t9));
    if (t40 != 0)
        goto LAB24;

LAB26:
LAB25:    goto LAB22;

LAB24:    t68 = ieee_p_2717149903_sub_2630507023_2101202839(t1, t2, t3, t8);
    t13 = (t28 + 56U);
    t18 = *((char **)t13);
    t13 = (t18 + 0);
    *((int64 *)t13) = t68;
    goto LAB25;

LAB27:    t69 = ieee_p_2717149903_sub_2630507023_2101202839(t1, t2, t3, t8);
    t13 = (t28 + 56U);
    t20 = *((char **)t13);
    t13 = (t20 + 0);
    *((int64 *)t13) = t69;
    goto LAB22;

LAB29:;
}

void ieee_p_2717149903_sub_2507489675_2101202839(char *t0, char *t1, char *t2, char *t3, char *t4, char *t5, int64 t6, unsigned char t7, int64 t8, unsigned char t9, int t10, unsigned char t11, unsigned char t12)
{
    char t13[368];
    char t14[64];
    char t62[16];
    char t63[16];
    char t64[16];
    char t65[16];
    char t66[16];
    char t67[16];
    char t69[16];
    char t74[16];
    char t76[16];
    char t82[16];
    char t90[16];
    char t92[16];
    char t98[16];
    char t106[16];
    char t108[16];
    char t114[16];
    char t122[16];
    char t124[16];
    char *t15;
    char *t16;
    char *t17;
    char *t18;
    char *t19;
    char *t20;
    char *t21;
    char *t22;
    char *t23;
    char *t24;
    char *t25;
    char *t26;
    char *t27;
    char *t28;
    char *t29;
    char *t30;
    char *t31;
    char *t32;
    char *t33;
    char *t34;
    char *t35;
    char *t36;
    char *t37;
    char *t38;
    char *t39;
    char *t40;
    char *t41;
    char *t42;
    char *t43;
    char *t44;
    char *t45;
    unsigned char t46;
    char *t47;
    char *t48;
    unsigned char t49;
    char *t50;
    char *t51;
    char *t52;
    char *t53;
    char *t54;
    char *t55;
    char *t56;
    char *t57;
    int t58;
    unsigned int t59;
    unsigned int t60;
    unsigned int t61;
    int t68;
    char *t70;
    char *t71;
    char *t73;
    char *t75;
    char *t77;
    char *t78;
    int t79;
    char *t80;
    char *t81;
    char *t83;
    char *t84;
    char *t85;
    char *t86;
    char *t87;
    char *t89;
    char *t91;
    char *t93;
    char *t94;
    int t95;
    char *t96;
    char *t97;
    char *t99;
    char *t100;
    char *t101;
    char *t102;
    char *t103;
    char *t105;
    char *t107;
    char *t109;
    char *t110;
    int t111;
    char *t112;
    char *t113;
    char *t115;
    char *t116;
    char *t117;
    char *t118;
    char *t119;
    char *t121;
    char *t123;
    char *t125;
    char *t126;
    int t127;
    char *t128;
    unsigned int t129;
    char *t130;
    char *t131;
    char *t132;
    unsigned int t133;
    unsigned int t134;
    unsigned int t135;
    unsigned int t136;
    char *t137;
    char *t138;
    char *t139;
    unsigned int t140;
    unsigned int t141;
    unsigned int t142;
    unsigned int t143;
    char *t144;
    char *t145;
    char *t146;
    unsigned int t147;
    unsigned int t148;
    unsigned int t149;
    unsigned int t150;
    char *t151;
    char *t152;
    char *t153;
    unsigned int t154;
    unsigned int t155;
    unsigned int t156;
    unsigned int t157;
    char *t158;
    char *t159;
    char *t160;
    unsigned int t161;
    unsigned int t162;
    unsigned int t163;
    unsigned int t164;

LAB0:    t15 = (t13 + 4U);
    t16 = ((STD_TEXTIO) + 3280);
    t17 = (t15 + 56U);
    *((char **)t17) = t16;
    t18 = (t15 + 40U);
    *((char **)t18) = 0;
    t19 = (t15 + 64U);
    *((int *)t19) = 1;
    t20 = (t15 + 48U);
    *((char **)t20) = 0;
    t21 = (t13 + 76U);
    t22 = ((STD_TEXTIO) + 3280);
    t23 = (t21 + 56U);
    *((char **)t23) = t22;
    t24 = (t21 + 40U);
    *((char **)t24) = 0;
    t25 = (t21 + 64U);
    *((int *)t25) = 1;
    t26 = (t21 + 48U);
    *((char **)t26) = 0;
    t27 = (t13 + 148U);
    t28 = ((STD_TEXTIO) + 3280);
    t29 = (t27 + 56U);
    *((char **)t29) = t28;
    t30 = (t27 + 40U);
    *((char **)t30) = 0;
    t31 = (t27 + 64U);
    *((int *)t31) = 1;
    t32 = (t27 + 48U);
    *((char **)t32) = 0;
    t33 = (t13 + 220U);
    t34 = ((STD_TEXTIO) + 3280);
    t35 = (t33 + 56U);
    *((char **)t35) = t34;
    t36 = (t33 + 40U);
    *((char **)t36) = 0;
    t37 = (t33 + 64U);
    *((int *)t37) = 1;
    t38 = (t33 + 48U);
    *((char **)t38) = 0;
    t39 = (t13 + 292U);
    t40 = ((STD_TEXTIO) + 3280);
    t41 = (t39 + 56U);
    *((char **)t41) = t40;
    t42 = (t39 + 40U);
    *((char **)t42) = 0;
    t43 = (t39 + 64U);
    *((int *)t43) = 1;
    t44 = (t39 + 48U);
    *((char **)t44) = 0;
    t45 = (t14 + 4U);
    t46 = (t2 != 0);
    if (t46 == 1)
        goto LAB3;

LAB2:    t47 = (t14 + 12U);
    *((char **)t47) = t3;
    t48 = (t14 + 20U);
    t49 = (t4 != 0);
    if (t49 == 1)
        goto LAB5;

LAB4:    t50 = (t14 + 28U);
    *((char **)t50) = t5;
    t51 = (t14 + 36U);
    *((int64 *)t51) = t6;
    t52 = (t14 + 44U);
    *((unsigned char *)t52) = t7;
    t53 = (t14 + 45U);
    *((int64 *)t53) = t8;
    t54 = (t14 + 53U);
    *((unsigned char *)t54) = t9;
    t55 = (t14 + 54U);
    *((int *)t55) = t10;
    t56 = (t14 + 58U);
    *((unsigned char *)t56) = t11;
    t57 = (t14 + 59U);
    *((unsigned char *)t57) = t12;
    std_textio_write8(STD_TEXTIO, t1, t15, t6, (unsigned char)0, 0, 1000LL);
    std_textio_write8(STD_TEXTIO, t1, t21, t8, (unsigned char)0, 0, 1000LL);
    t16 = (t0 + 2248U);
    t17 = *((char **)t16);
    t58 = (t7 - 0);
    t59 = (t58 * 1);
    t60 = (1U * t59);
    t61 = (0 + t60);
    t16 = (t17 + t61);
    t46 = *((unsigned char *)t16);
    std_textio_write4(STD_TEXTIO, t1, t27, t46, (unsigned char)0, 0);
    t16 = (t0 + 2248U);
    t17 = *((char **)t16);
    t58 = (t9 - 0);
    t59 = (t58 * 1);
    t60 = (1U * t59);
    t61 = (0 + t60);
    t16 = (t17 + t61);
    t46 = *((unsigned char *)t16);
    std_textio_write4(STD_TEXTIO, t1, t33, t46, (unsigned char)0, 0);
    if (t11 != 0)
        goto LAB6;

LAB8:    t16 = (t0 + 17228);
    t18 = (t62 + 0U);
    t19 = (t18 + 0U);
    *((int *)t19) = 1;
    t19 = (t18 + 4U);
    *((int *)t19) = 1;
    t19 = (t18 + 8U);
    *((int *)t19) = 1;
    t58 = (1 - 1);
    t59 = (t58 * 1);
    t59 = (t59 + 1);
    t19 = (t18 + 12U);
    *((unsigned int *)t19) = t59;
    std_textio_write7(STD_TEXTIO, t1, t39, t16, t62, (unsigned char)0, 0);

LAB7:    t46 = (t6 > t8);
    if (t46 == 0)
        goto LAB9;

LAB10:    t46 = (t6 <= t8);
    if (t46 == 0)
        goto LAB11;

LAB12:    xsi_access_variable_deallocate(t15);
    xsi_access_variable_deallocate(t21);
    xsi_access_variable_deallocate(t27);
    xsi_access_variable_deallocate(t33);
    xsi_access_variable_deallocate(t39);

LAB1:    xsi_access_variable_delete(t15);
    xsi_access_variable_delete(t21);
    xsi_access_variable_delete(t27);
    xsi_access_variable_delete(t33);
    xsi_access_variable_delete(t39);
    return;
LAB3:    *((char **)t45) = t2;
    goto LAB2;

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

LAB6:    t16 = (t0 + 17226);
    t18 = (t62 + 0U);
    t19 = (t18 + 0U);
    *((int *)t19) = 1;
    t19 = (t18 + 4U);
    *((int *)t19) = 1;
    t19 = (t18 + 8U);
    *((int *)t19) = 1;
    t58 = (1 - 1);
    t59 = (t58 * 1);
    t59 = (t59 + 1);
    t19 = (t18 + 12U);
    *((unsigned int *)t19) = t59;
    std_textio_write7(STD_TEXTIO, t1, t39, t16, t62, (unsigned char)0, 0);
    std_textio_write5(STD_TEXTIO, t1, t39, t10, (unsigned char)0, 0);
    t16 = (t0 + 17227);
    t18 = (t62 + 0U);
    t19 = (t18 + 0U);
    *((int *)t19) = 1;
    t19 = (t18 + 4U);
    *((int *)t19) = 1;
    t19 = (t18 + 8U);
    *((int *)t19) = 1;
    t58 = (1 - 1);
    t59 = (t58 * 1);
    t59 = (t59 + 1);
    t19 = (t18 + 12U);
    *((unsigned int *)t19) = t59;
    std_textio_write7(STD_TEXTIO, t1, t39, t16, t62, (unsigned char)0, 0);
    goto LAB7;

LAB9:    t16 = (t0 + 17229);
    t19 = ((STD_STANDARD) + 1008);
    t20 = (t63 + 0U);
    t22 = (t20 + 0U);
    *((int *)t22) = 1;
    t22 = (t20 + 4U);
    *((int *)t22) = 26;
    t22 = (t20 + 8U);
    *((int *)t22) = 1;
    t58 = (26 - 1);
    t59 = (t58 * 1);
    t59 = (t59 + 1);
    t22 = (t20 + 12U);
    *((unsigned int *)t22) = t59;
    t18 = xsi_base_array_concat(t18, t62, t19, (char)97, t2, t3, (char)97, t16, t63, (char)101);
    t23 = ((STD_STANDARD) + 1008);
    t22 = xsi_base_array_concat(t22, t64, t23, (char)97, t18, t62, (char)97, t4, t5, (char)101);
    t24 = xsi_access_variable_all(t39);
    t25 = (t24 + 56U);
    t26 = *((char **)t25);
    t28 = ((STD_STANDARD) + 1008);
    t29 = (t13 + 292U);
    t30 = xsi_access_variable_all(t29);
    t31 = (t30 + 64U);
    t31 = *((char **)t31);
    t25 = xsi_base_array_concat(t25, t65, t28, (char)97, t22, t64, (char)97, t26, t31, (char)101);
    t32 = (t0 + 17255);
    t36 = ((STD_STANDARD) + 1008);
    t37 = (t67 + 0U);
    t38 = (t37 + 0U);
    *((int *)t38) = 1;
    t38 = (t37 + 4U);
    *((int *)t38) = 28;
    t38 = (t37 + 8U);
    *((int *)t38) = 1;
    t68 = (28 - 1);
    t59 = (t68 * 1);
    t59 = (t59 + 1);
    t38 = (t37 + 12U);
    *((unsigned int *)t38) = t59;
    t35 = xsi_base_array_concat(t35, t66, t36, (char)97, t25, t65, (char)97, t32, t67, (char)101);
    t38 = xsi_access_variable_all(t27);
    t40 = (t38 + 56U);
    t41 = *((char **)t40);
    t42 = ((STD_STANDARD) + 1008);
    t43 = (t13 + 148U);
    t44 = xsi_access_variable_all(t43);
    t70 = (t44 + 64U);
    t70 = *((char **)t70);
    t40 = xsi_base_array_concat(t40, t69, t42, (char)97, t35, t66, (char)97, t41, t70, (char)101);
    t71 = (t0 + 17283);
    t75 = ((STD_STANDARD) + 1008);
    t77 = (t76 + 0U);
    t78 = (t77 + 0U);
    *((int *)t78) = 1;
    t78 = (t77 + 4U);
    *((int *)t78) = 3;
    t78 = (t77 + 8U);
    *((int *)t78) = 1;
    t79 = (3 - 1);
    t59 = (t79 * 1);
    t59 = (t59 + 1);
    t78 = (t77 + 12U);
    *((unsigned int *)t78) = t59;
    t73 = xsi_base_array_concat(t73, t74, t75, (char)97, t40, t69, (char)97, t71, t76, (char)101);
    t78 = xsi_access_variable_all(t15);
    t80 = (t78 + 56U);
    t81 = *((char **)t80);
    t83 = ((STD_STANDARD) + 1008);
    t84 = (t13 + 4U);
    t85 = xsi_access_variable_all(t84);
    t86 = (t85 + 64U);
    t86 = *((char **)t86);
    t80 = xsi_base_array_concat(t80, t82, t83, (char)97, t73, t74, (char)97, t81, t86, (char)101);
    t87 = (t0 + 17286);
    t91 = ((STD_STANDARD) + 1008);
    t93 = (t92 + 0U);
    t94 = (t93 + 0U);
    *((int *)t94) = 1;
    t94 = (t93 + 4U);
    *((int *)t94) = 27;
    t94 = (t93 + 8U);
    *((int *)t94) = 1;
    t95 = (27 - 1);
    t59 = (t95 * 1);
    t59 = (t59 + 1);
    t94 = (t93 + 12U);
    *((unsigned int *)t94) = t59;
    t89 = xsi_base_array_concat(t89, t90, t91, (char)97, t80, t82, (char)97, t87, t92, (char)101);
    t94 = xsi_access_variable_all(t33);
    t96 = (t94 + 56U);
    t97 = *((char **)t96);
    t99 = ((STD_STANDARD) + 1008);
    t100 = (t13 + 220U);
    t101 = xsi_access_variable_all(t100);