m_00000000000277421008_3694763076.c

32位单精度浮点加法器

LAB25:
LAB58:    t4 = (t1 + 29328);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = (t1 + 29808);
    xsi_vlogvar_assign_value(t7, t6, 0, 0, 16);

LAB26:    t4 = (t1 + 7000);
    t5 = *((char **)t4);
    t4 = ((char*)((ng3)));
    memset(t10, 0, 8);
    xsi_vlog_signed_equal(t10, 32, t5, 32, t4, 32);
    t6 = (t10 + 4);
    t13 = *((unsigned int *)t6);
    t14 = (~(t13));
    t15 = *((unsigned int *)t10);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB59;

LAB60:
LAB61:    t4 = (t1 + 6864);
    t5 = *((char **)t4);
    t4 = ((char*)((ng3)));
    memset(t10, 0, 8);
    xsi_vlog_signed_equal(t10, 32, t5, 32, t4, 32);
    t6 = (t10 + 4);
    t13 = *((unsigned int *)t6);
    t14 = (~(t13));
    t15 = *((unsigned int *)t10);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB111;

LAB112:
LAB113:    t4 = (t1 + 9448);
    t5 = *((char **)t4);
    t4 = ((char*)((ng3)));
    memset(t10, 0, 8);
    xsi_vlog_signed_equal(t10, 32, t5, 32, t4, 32);
    t6 = (t10 + 4);
    t13 = *((unsigned int *)t6);
    t14 = (~(t13));
    t15 = *((unsigned int *)t10);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB160;

LAB161:
LAB166:    t4 = ((char*)((ng4)));
    t5 = (t1 + 30128);
    xsi_vlogvar_assign_value(t5, t4, 0, 0, 32);

LAB167:    t4 = (t1 + 30128);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = (t1 + 9448);
    t8 = *((char **)t7);
    memset(t10, 0, 8);
    xsi_vlog_signed_less(t10, 32, t6, 32, t8, 32);
    t7 = (t10 + 4);
    t13 = *((unsigned int *)t7);
    t14 = (~(t13));
    t15 = *((unsigned int *)t10);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB168;

LAB169:
LAB162:    t4 = ((char*)((ng11)));
    t5 = ((char*)((ng12)));
    xsi_vlog_unsigned_equal(t184, 64, t4, 64, t5, 64);
    memset(t10, 0, 8);
    t6 = (t184 + 4);
    t13 = *((unsigned int *)t6);
    t14 = (~(t13));
    t15 = *((unsigned int *)t184);
    t16 = (t15 & t14);
    t17 = (t16 & 1U);
    if (t17 != 0)
        goto LAB173;

LAB174:    if (*((unsigned int *)t6) != 0)
        goto LAB175;

LAB176:    t8 = (t10 + 4);
    t21 = *((unsigned int *)t10);
    t22 = *((unsigned int *)t8);
    t23 = (t21 || t22);
    if (t23 > 0)
        goto LAB177;

LAB178:    memcpy(t43, t10, 8);

LAB179:    t35 = (t43 + 4);
    t95 = *((unsigned int *)t35);
    t96 = (~(t95));
    t97 = *((unsigned int *)t43);
    t98 = (t97 & t96);
    t99 = (t98 != 0);
    if (t99 > 0)
        goto LAB187;

LAB188:
LAB189:    t4 = (t1 + 6864);
    t5 = *((char **)t4);
    t4 = ((char*)((ng3)));
    memset(t10, 0, 8);
    xsi_vlog_signed_equal(t10, 32, t5, 32, t4, 32);
    t6 = (t10 + 4);
    t13 = *((unsigned int *)t6);
    t14 = (~(t13));
    t15 = *((unsigned int *)t10);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB309;

LAB310:
LAB311:
LAB13:
LAB4:    xsi_vlog_dispose_subprogram_invocation(t2);
    t4 = (t2 + 48U);
    *((char **)t4) = &&LAB2;
    t0 = 0;

LAB1:    return t0;
LAB7:    t11 = (t10 + 4);
    *((unsigned int *)t10) = 1;
    *((unsigned int *)t11) = 1;
    goto LAB9;

LAB11:
LAB14:    t19 = (t1 + 7816);
    t20 = *((char **)t19);
    memset(t18, 0, 8);
    t19 = (t20 + 4);
    t21 = *((unsigned int *)t19);
    t22 = (~(t21));
    t23 = *((unsigned int *)t20);
    t24 = (t23 & t22);
    t25 = (t24 & 4294967295U);
    if (t25 != 0)
        goto LAB18;

LAB16:    if (*((unsigned int *)t19) == 0)
        goto LAB15;

LAB17:    t26 = (t18 + 4);
    *((unsigned int *)t18) = 1;
    *((unsigned int *)t26) = 1;

LAB18:    t27 = (t18 + 4);
    t28 = *((unsigned int *)t27);
    t29 = (~(t28));
    t30 = *((unsigned int *)t18);
    t31 = (t30 & t29);
    t32 = (t31 != 0);
    if (t32 > 0)
        goto LAB19;

LAB20:
LAB21:    goto LAB13;

LAB15:    *((unsigned int *)t18) = 1;
    goto LAB18;

LAB19:
LAB22:    t33 = ((char*)((ng0)));
    t34 = ((char*)((ng2)));
    t35 = (t1 + 29008);
    t36 = (t35 + 56U);
    t37 = *((char **)t36);
    t38 = (t1 + 12680);
    xsi_vlogfile_fwrite(*((unsigned int *)t33), 1, 0, 0, ng1, 3, t38, (char)118, t34, 128, (char)118, t37, 10);
    goto LAB21;

LAB24:
LAB27:    t6 = (t1 + 9448);
    t7 = *((char **)t6);
    t6 = ((char*)((ng3)));
    memset(t10, 0, 8);
    xsi_vlog_signed_equal(t10, 32, t7, 32, t6, 32);
    t8 = (t10 + 4);
    t21 = *((unsigned int *)t8);
    t22 = (~(t21));
    t23 = *((unsigned int *)t10);
    t24 = (t23 & t22);
    t25 = (t24 != 0);
    if (t25 > 0)
        goto LAB28;

LAB29:
LAB32:    t4 = ((char*)((ng4)));
    t5 = (t1 + 30128);
    xsi_vlogvar_assign_value(t5, t4, 0, 0, 32);

LAB33:    t4 = (t1 + 30128);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = (t1 + 9448);
    t8 = *((char **)t7);
    memset(t10, 0, 8);
    xsi_vlog_signed_less(t10, 32, t6, 32, t8, 32);
    t7 = (t10 + 4);
    t13 = *((unsigned int *)t7);
    t14 = (~(t13));
    t15 = *((unsigned int *)t10);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB34;

LAB35:
LAB30:    t4 = (t1 + 3056);
    t5 = *((char **)t4);
    t4 = ((char*)((ng3)));
    memset(t10, 0, 8);
    xsi_vlog_signed_equal(t10, 32, t5, 32, t4, 32);
    t6 = (t10 + 4);
    t13 = *((unsigned int *)t6);
    t14 = (~(t13));
    t15 = *((unsigned int *)t10);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB39;

LAB40:
LAB47:    t4 = ((char*)((ng4)));
    t5 = (t1 + 30128);
    xsi_vlogvar_assign_value(t5, t4, 0, 0, 32);

LAB48:    t4 = (t1 + 30128);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = (t1 + 3056);
    t8 = *((char **)t7);
    memset(t10, 0, 8);
    xsi_vlog_signed_less(t10, 32, t6, 32, t8, 32);
    t7 = (t10 + 4);
    t13 = *((unsigned int *)t7);
    t14 = (~(t13));
    t15 = *((unsigned int *)t10);
    t16 = (t15 & t14);
    t17 = (t16 != 0);
    if (t17 > 0)
        goto LAB49;

LAB50:
LAB41:    goto LAB26;

LAB28:
LAB31:    t9 = (t1 + 24208);
    t11 = (t9 + 56U);
    t12 = *((char **)t11);
    t19 = (t1 + 24208);
    t20 = (t19 + 72U);
    t26 = *((char **)t20);
    t27 = (t1 + 24208);
    t33 = (t27 + 64U);
    t34 = *((char **)t33);
    t35 = (t1 + 29968);
    t36 = (t35 + 56U);
    t37 = *((char **)t36);
    xsi_vlog_generic_get_array_select_value(t18, 16, t12, t26, t34, 2, 1, t37, 10, 2);
    t38 = (t1 + 29808);
    xsi_vlogvar_assign_value(t38, t18, 0, 0, 16);
    goto LAB30;

LAB34:
LAB36:    t9 = (t1 + 24208);
    t11 = (t9 + 56U);
    t12 = *((char **)t11);
    t19 = (t1 + 24208);
    t20 = (t19 + 72U);
    t26 = *((char **)t20);
    t27 = (t1 + 24208);
    t33 = (t27 + 64U);
    t34 = *((char **)t33);
    t35 = (t1 + 29968);
    t36 = (t35 + 56U);
    t37 = *((char **)t36);
    t38 = (t1 + 9448);
    t39 = *((char **)t38);
    memset(t40, 0, 8);
    xsi_vlog_unsigned_multiply(t40, 32, t37, 10, t39, 32);
    t38 = (t1 + 30128);
    t41 = (t38 + 56U);
    t42 = *((char **)t41);
    memset(t43, 0, 8);
    xsi_vlog_unsigned_add(t43, 32, t40, 32, t42, 32);
    xsi_vlog_generic_get_array_select_value(t18, 16, t12, t26, t34, 2, 1, t43, 32, 2);
    t44 = (t1 + 29808);
    t48 = (t1 + 29808);
    t49 = (t48 + 72U);
    t50 = *((char **)t49);
    t51 = (t1 + 8904);
    t52 = *((char **)t51);
    t51 = (t1 + 30128);
    t53 = (t51 + 56U);
    t54 = *((char **)t53);
    memset(t55, 0, 8);
    xsi_vlog_signed_multiply(t55, 32, t52, 32, t54, 32);
    t56 = ((char*)((ng5)));
    xsi_vlog_convert_indexed_partindices(t45, t46, t47, ((int*)(t50)), 2, t55, 32, 1, t56, 32, 1, 1);
    t57 = (t45 + 4);
    t21 = *((unsigned int *)t57);
    t58 = (!(t21));
    t59 = (t46 + 4);
    t22 = *((unsigned int *)t59);
    t60 = (!(t22));
    t61 = (t58 && t60);
    t62 = (t47 + 4);
    t23 = *((unsigned int *)t62);
    t63 = (!(t23));
    t64 = (t61 && t63);
    if (t64 == 1)
        goto LAB37;

LAB38:    t4 = (t1 + 30128);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = ((char*)((ng3)));
    memset(t10, 0, 8);
    xsi_vlog_signed_add(t10, 32, t6, 32, t7, 32);
    t8 = (t1 + 30128);
    xsi_vlogvar_assign_value(t8, t10, 0, 0, 32);
    goto LAB33;

LAB37:    t24 = *((unsigned int *)t47);
    t65 = (t24 + 0);
    t25 = *((unsigned int *)t45);
    t28 = *((unsigned int *)t46);
    t66 = (t25 - t28);
    t67 = (t66 + 1);
    xsi_vlogvar_assign_value(t44, t18, t65, *((unsigned int *)t46), t67);
    goto LAB38;

LAB39:
LAB42:    t7 = (t1 + 29168);
    t8 = (t7 + 56U);
    t9 = *((char **)t8);
    memset(t18, 0, 8);
    t11 = (t18 + 4);
    t12 = (t9 + 4);
    t21 = *((unsigned int *)t9);
    t22 = (t21 >> 0);
    t23 = (t22 & 1);
    *((unsigned int *)t18) = t23;
    t24 = *((unsigned int *)t12);
    t25 = (t24 >> 0);
    t28 = (t25 & 1);
    *((unsigned int *)t11) = t28;
    t19 = (t18 + 4);
    t29 = *((unsigned int *)t19);
    t30 = (~(t29));
    t31 = *((unsigned int *)t18);
    t32 = (t31 & t30);
    t68 = (t32 != 0);
    if (t68 > 0)
        goto LAB43;

LAB44:
LAB45:    goto LAB41;

LAB43:
LAB46:    t20 = (t1 + 29328);
    t26 = (t20 + 56U);
    t27 = *((char **)t26);
    t33 = (t1 + 29808);
    xsi_vlogvar_assign_value(t33, t27, 0, 0, 16);
    goto LAB45;

LAB49:
LAB51:    t9 = (t1 + 29168);
    t11 = (t9 + 56U);
    t12 = *((char **)t11);
    t19 = (t1 + 29168);
    t20 = (t19 + 72U);
    t26 = *((char **)t20);
    t27 = (t1 + 30128);
    t33 = (t27 + 56U);
    t34 = *((char **)t33);
    xsi_vlog_generic_get_index_select_value(t18, 1, t12, t26, 2, t34, 32, 1);
    t35 = (t18 + 4);
    t21 = *((unsigned int *)t35);
    t22 = (~(t21));
    t23 = *((unsigned int *)t18);
    t24 = (t23 & t22);
    t25 = (t24 != 0);
    if (t25 > 0)
        goto LAB52;

LAB53:
LAB54:    t4 = (t1 + 30128);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    t7 = ((char*)((ng3)));
    memset(t10, 0, 8);
    xsi_vlog_signed_add(t10, 32, t6, 32, t7, 32);
    t8 = (t1 + 30128);
    xsi_vlogvar_assign_value(t8, t10, 0, 0, 32);
    goto LAB48;

LAB52:
LAB55:    t36 = (t1 + 29328);
    t37 = (t36 + 56U);
    t38 = *((char **)t37);
    t39 = (t1 + 29328);
    t41 = (t39 + 72U);
    t42 = *((char **)t41);
    t44 = (t1 + 10536);
    t48 = *((char **)t44);
    t44 = (t1 + 30128);
    t49 = (t44 + 56U);
    t50 = *((char **)t49);
    memset(t43, 0, 8);
    xsi_vlog_signed_multiply(t43, 32, t48, 32, t50, 32);
    t51 = ((char*)((ng6)));
    xsi_vlog_get_indexed_partselect(t40, 9, t38, ((int*)(t42)), 2, t43, 32, 1, t51, 32, 1, 1);
    t52 = (t1 + 29808);
    t53 = (t1 + 29808);
    t54 = (t53 + 72U);
    t56 = *((char **)t54);
    t57 = (t1 + 10536);
    t59 = *((char **)t57);
    t57 = (t1 + 30128);
    t62 = (t57 + 56U);
    t69 = *((char **)t62);
    memset(t55, 0, 8);
    xsi_vlog_signed_multiply(t55, 32, t59, 32, t69, 32);
    t70 = ((char*)((ng6)));
    xsi_vlog_convert_indexed_partindices(t45, t46, t47, ((int*)(t56)), 2, t55, 32, 1, t70, 32, 1, 1);
    t71 = (t45 + 4);
    t28 = *((unsigned int *)t71);
    t58 = (!(t28));
    t72 = (t46 + 4);
    t29 = *((unsigned int *)t72);
    t60 = (!(t29));
    t61 = (t58 && t60);
    t73 = (t47 + 4);
    t30 = *((unsigned int *)t73);
    t63 = (!(t30));
    t64 = (t61 && t63);
    if (t64 == 1)
        goto LAB56;

LAB57:    goto LAB54;

LAB56:    t31 = *((unsigned int *)t47);
    t65 = (t31 + 0);
    t32 = *((unsigned int *)t45);
    t68 = *((unsigned int *)t46);
    t66 = (t32 - t68);
    t67 = (t66 + 1);
    xsi_vlogvar_assign_value(t52, t40, t65, *((unsigned int *)t46), t67);
    goto LAB57;

LAB59:
LAB62:    t7 = (t1 + 7136);
    t8 = *((char **)t7);
    t7 = ((char*)((ng7)));
    memset(t18, 0, 8);
    xsi_vlog_signed_equal(t18, 32, t8, 32, t7, 32);
    memset(t40, 0, 8);
    t9 = (t18 + 4);
    t21 = *((unsigned int *)t9);
    t22 = (~(t21));
    t23 = *((unsigned int *)t18);
    t24 = (t23 & t22);
    t25 = (t24 & 1U);
    if (t25 != 0)
        goto LAB63;

LAB64:    if (*((unsigned int *)t9) != 0)
        goto LAB65;

LAB66:    t12 = (t40 + 4);
    t28 = *((unsigned int *)t40);
    t29 = (!(t28));
    t30 = *((unsigned int *)t12);
    t31 = (t29 || t30);
    if (t31 > 0)
        goto LAB67;

LAB68:    memcpy(t46, t40, 8);

LAB69:    memset(t47, 0, 8);
    t38 = (t46 + 4);