Ejemplo n.º 1
0
static void work_a_1164455951_3212880686_p_0(char *t0)
{
    char t48[16];
    char t49[16];
    char t50[16];
    char t51[16];
    char t52[16];
    char t53[16];
    char *t1;
    char *t2;
    unsigned char t3;
    unsigned char t4;
    char *t5;
    unsigned char t6;
    unsigned char t7;
    char *t8;
    int t9;
    unsigned char t10;
    char *t11;
    int t12;
    int t13;
    char *t14;
    unsigned char t15;
    unsigned int 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;
    int t30;
    char *t31;
    char *t32;
    char *t33;
    char *t34;
    int t35;
    char *t36;
    char *t37;
    char *t38;
    char *t39;
    int t40;
    int t41;
    unsigned int t42;
    unsigned int t43;
    unsigned int t44;
    char *t45;
    char *t46;
    char *t47;
    double t54;

LAB0:    xsi_set_current_line(150, ng2);
    t1 = (t0 + 3128U);
    t2 = *((char **)t1);
    t1 = (t2 + 0);
    *((unsigned char *)t1) = (unsigned char)1;
    xsi_set_current_line(151, ng2);
    t1 = (t0 + 992U);
    t4 = xsi_signal_has_event(t1);
    if (t4 == 1)
        goto LAB5;

LAB6:    t3 = (unsigned char)0;

LAB7:    if (t3 != 0)
        goto LAB2;

LAB4:
LAB3:    t1 = (t0 + 5712);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(152, ng2);
    t2 = (t0 + 3368U);
    t8 = *((char **)t2);
    t9 = *((int *)t8);
    t10 = (t9 > 0);
    if (t10 != 0)
        goto LAB8;

LAB10:
LAB9:    xsi_set_current_line(155, ng2);
    t1 = (t0 + 1192U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)3);
    if (t4 != 0)
        goto LAB11;

LAB13:    xsi_set_current_line(237, ng2);
    t1 = (t0 + 5856);
    t2 = (t1 + 56U);
    t5 = *((char **)t2);
    t8 = (t5 + 56U);
    t11 = *((char **)t8);
    *((unsigned char *)t11) = (unsigned char)2;
    xsi_driver_first_trans_fast_port(t1);

LAB12:    goto LAB3;

LAB5:    t2 = (t0 + 1032U);
    t5 = *((char **)t2);
    t6 = *((unsigned char *)t5);
    t7 = (t6 == (unsigned char)3);
    t3 = t7;
    goto LAB7;

LAB8:    xsi_set_current_line(153, ng2);
    t2 = (t0 + 3368U);
    t11 = *((char **)t2);
    t12 = *((int *)t11);
    t13 = (t12 - 1);
    t2 = (t0 + 3368U);
    t14 = *((char **)t2);
    t2 = (t14 + 0);
    *((int *)t2) = t13;
    goto LAB9;

LAB11:    xsi_set_current_line(156, ng2);
    t1 = (t0 + 3368U);
    t5 = *((char **)t1);
    t9 = *((int *)t5);
    t7 = (t9 == 0);
    if (t7 == 1)
        goto LAB17;

LAB18:    t6 = (unsigned char)0;

LAB19:    if (t6 != 0)
        goto LAB14;

LAB16:
LAB15:    xsi_set_current_line(230, ng2);
    t1 = (t0 + 3368U);
    t2 = *((char **)t1);
    t9 = *((int *)t2);
    t3 = (t9 == 1);
    if (t3 != 0)
        goto LAB87;

LAB89:    xsi_set_current_line(234, ng2);
    t1 = (t0 + 5856);
    t2 = (t1 + 56U);
    t5 = *((char **)t2);
    t8 = (t5 + 56U);
    t11 = *((char **)t8);
    *((unsigned char *)t11) = (unsigned char)2;
    xsi_driver_first_trans_fast_port(t1);

LAB88:    goto LAB12;

LAB14:    xsi_set_current_line(158, ng2);
    t8 = (t0 + 3488U);
    t11 = *((char **)t8);
    t8 = (t11 + 0);
    *((unsigned char *)t8) = (unsigned char)0;
    xsi_set_current_line(159, ng2);

LAB20:    t1 = (t0 + 3488U);
    t2 = *((char **)t1);
    t4 = *((unsigned char *)t2);
    t6 = (!(t4));
    if (t6 == 1)
        goto LAB24;

LAB25:    t3 = (unsigned char)0;

LAB26:    if (t3 != 0)
        goto LAB21;

LAB23:    xsi_set_current_line(169, ng2);
    t1 = (t0 + 3488U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    if (t3 != 0)
        goto LAB40;

LAB42:
LAB41:    goto LAB15;

LAB17:    t1 = (t0 + 4416U);
    t10 = std_textio_endfile(t1);
    t15 = (!(t10));
    t6 = t15;
    goto LAB19;

LAB21:    xsi_set_current_line(160, ng2);
    t5 = (t0 + 5200);
    t8 = (t0 + 4416U);
    t11 = (t0 + 4592U);
    std_textio_readline(STD_TEXTIO, t5, t8, t11);
    xsi_set_current_line(161, ng2);
    t1 = (t0 + 3608U);
    t2 = *((char **)t1);
    t9 = *((int *)t2);
    t12 = (t9 + 1);
    t1 = (t0 + 3608U);
    t5 = *((char **)t1);
    t1 = (t5 + 0);
    *((int *)t1) = t12;
    xsi_set_current_line(162, ng2);
    t1 = (t0 + 4592U);
    t2 = xsi_access_variable_all(t1);
    t5 = (t2 + 64U);
    t5 = *((char **)t5);
    t8 = (t5 + 12U);
    t16 = *((unsigned int *)t8);
    t3 = (t16 > 0);
    if (t3 != 0)
        goto LAB27;

LAB29:
LAB28:    goto LAB20;

LAB22:;
LAB24:    t1 = (t0 + 4416U);
    t7 = std_textio_endfile(t1);
    t10 = (!(t7));
    t3 = t10;
    goto LAB26;

LAB27:    xsi_set_current_line(163, ng2);
    t11 = (t0 + 4592U);
    t14 = xsi_access_variable_all(t11);
    t17 = (t14 + 56U);
    t18 = *((char **)t17);
    t17 = (t0 + 4592U);
    t19 = xsi_access_variable_all(t17);
    t20 = (t19 + 64U);
    t20 = *((char **)t20);
    t21 = (t20 + 0U);
    t12 = *((int *)t21);
    t22 = (t0 + 4592U);
    t23 = xsi_access_variable_all(t22);
    t24 = (t23 + 64U);
    t24 = *((char **)t24);
    t25 = (t24 + 4U);
    t13 = *((int *)t25);
    t26 = (t0 + 4592U);
    t27 = xsi_access_variable_all(t26);
    t28 = (t27 + 64U);
    t28 = *((char **)t28);
    t29 = (t28 + 8U);
    t30 = *((int *)t29);
    if (t12 > t13)
        goto LAB30;

LAB31:    if (t30 == -1)
        goto LAB35;

LAB36:    t9 = t12;

LAB32:    t31 = (t0 + 4592U);
    t32 = xsi_access_variable_all(t31);
    t33 = (t32 + 64U);
    t33 = *((char **)t33);
    t34 = (t33 + 0U);
    t35 = *((int *)t34);
    t36 = (t0 + 4592U);
    t37 = xsi_access_variable_all(t36);
    t38 = (t37 + 64U);
    t38 = *((char **)t38);
    t39 = (t38 + 8U);
    t40 = *((int *)t39);
    t41 = (t9 - t35);
    t42 = (t41 * t40);
    t43 = (1U * t42);
    t44 = (0 + t43);
    t45 = (t18 + t44);
    t4 = *((unsigned char *)t45);
    t46 = (t0 + 3728U);
    t47 = *((char **)t46);
    t46 = (t47 + 0);
    *((unsigned char *)t46) = t4;
    xsi_set_current_line(164, ng2);
    t1 = (t0 + 3728U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 != (unsigned char)35);
    if (t4 != 0)
        goto LAB37;

LAB39:
LAB38:    goto LAB28;

LAB30:    if (t30 == 1)
        goto LAB33;

LAB34:    t9 = t13;
    goto LAB32;

LAB33:    t9 = t12;
    goto LAB32;

LAB35:    t9 = t13;
    goto LAB32;

LAB37:    xsi_set_current_line(165, ng2);
    t1 = (t0 + 3488U);
    t5 = *((char **)t1);
    t1 = (t5 + 0);
    *((unsigned char *)t1) = (unsigned char)1;
    goto LAB38;

LAB40:    xsi_set_current_line(170, ng2);
    t1 = (t0 + 5200);
    t5 = (t0 + 4592U);
    t8 = (t0 + 3248U);
    t11 = *((char **)t8);
    t8 = (t11 + 0);
    t14 = (t0 + 3128U);
    t17 = *((char **)t14);
    t14 = (t17 + 0);
    std_textio_read9(STD_TEXTIO, t1, t5, t8, t14);
    xsi_set_current_line(171, ng2);
    t1 = (t0 + 3128U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)0);
    if (t4 != 0)
        goto LAB43;

LAB45:
LAB44:    xsi_set_current_line(175, ng2);
    t1 = (t0 + 5200);
    t2 = (t0 + 4592U);
    t5 = (t0 + 3368U);
    t8 = *((char **)t5);
    t5 = (t8 + 0);
    t11 = (t0 + 3128U);
    t14 = *((char **)t11);
    t11 = (t14 + 0);
    std_textio_read9(STD_TEXTIO, t1, t2, t5, t11);
    xsi_set_current_line(176, ng2);
    t1 = (t0 + 3128U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)0);
    if (t4 != 0)
        goto LAB46;

LAB48:
LAB47:    xsi_set_current_line(180, ng2);
    t1 = (t0 + 5200);
    t2 = (t0 + 4592U);
    t5 = (t0 + 3728U);
    t8 = *((char **)t5);
    t5 = (t8 + 0);
    t11 = (t0 + 3128U);
    t14 = *((char **)t11);
    t11 = (t14 + 0);
    std_textio_read7(STD_TEXTIO, t1, t2, t5, t11);
    xsi_set_current_line(181, ng2);
    t1 = (t0 + 3128U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)0);
    if (t4 != 0)
        goto LAB49;

LAB51:
LAB50:    xsi_set_current_line(185, ng2);
    if ((unsigned char)0 != 0)
        goto LAB52;

LAB54:
LAB53:    xsi_set_current_line(188, ng2);
    t3 = (0 > 0);
    if (t3 != 0)
        goto LAB55;

LAB57:
LAB56:    xsi_set_current_line(195, ng2);
    if ((unsigned char)1 != 0)
        goto LAB61;

LAB63:    if ((unsigned char)0 != 0)
        goto LAB79;

LAB80:    xsi_set_current_line(223, ng2);
    t1 = (t0 + 5200);
    t2 = (t0 + 4592U);
    t5 = (t0 + 2888U);
    t8 = *((char **)t5);
    t5 = (t0 + 3848U);
    t11 = *((char **)t5);
    t9 = *((int *)t11);
    t12 = (t9 - 1);
    t16 = (15 - t12);
    t42 = (t16 * 1U);
    t43 = (0 + t42);
    t5 = (t8 + t43);
    t14 = (t0 + 10412U);
    t17 = (t0 + 3128U);
    t18 = *((char **)t17);
    t17 = (t18 + 0);
    ieee_p_3564397177_sub_2802659619_91900896(IEEE_P_3564397177, t1, t2, t5, t14, t17);
    xsi_set_current_line(224, ng2);
    t1 = (t0 + 3128U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)0);
    if (t4 != 0)
        goto LAB84;

LAB86:
LAB85:
LAB62:    goto LAB41;

LAB43:    xsi_set_current_line(172, ng2);
    t1 = (t0 + 10672);
    t8 = (t0 + 10702);
    t17 = ((STD_STANDARD) + 1008);
    t18 = (t49 + 0U);
    t19 = (t18 + 0U);
    *((int *)t19) = 1;
    t19 = (t18 + 4U);
    *((int *)t19) = 30;
    t19 = (t18 + 8U);
    *((int *)t19) = 1;
    t9 = (30 - 1);
    t16 = (t9 * 1);
    t16 = (t16 + 1);
    t19 = (t18 + 12U);
    *((unsigned int *)t19) = t16;
    t19 = (t0 + 10364U);
    t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101);
    t20 = (t0 + 10715);
    t23 = ((STD_STANDARD) + 1008);
    t24 = (t51 + 0U);
    t25 = (t24 + 0U);
    *((int *)t25) = 1;
    t25 = (t24 + 4U);
    *((int *)t25) = 8;
    t25 = (t24 + 8U);
    *((int *)t25) = 1;
    t12 = (8 - 1);
    t16 = (t12 * 1);
    t16 = (t16 + 1);
    t25 = (t24 + 12U);
    *((unsigned int *)t25) = t16;
    t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101);
    t25 = ((STD_STANDARD) + 384);
    t26 = (t0 + 3608U);
    t27 = *((char **)t26);
    t13 = *((int *)t27);
    t26 = xsi_int_to_mem(t13);
    t28 = xsi_string_variable_get_image(t52, t25, t26);
    t31 = ((STD_STANDARD) + 1008);
    t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101);
    t16 = (30U + 13U);
    t42 = (t16 + 8U);
    t32 = (t52 + 12U);
    t43 = *((unsigned int *)t32);
    t44 = (t42 + t43);
    xsi_report(t29, t44, (unsigned char)3);
    goto LAB44;

LAB46:    xsi_set_current_line(177, ng2);
    t1 = (t0 + 10723);
    t8 = (t0 + 10754);
    t17 = ((STD_STANDARD) + 1008);
    t18 = (t49 + 0U);
    t19 = (t18 + 0U);
    *((int *)t19) = 1;
    t19 = (t18 + 4U);
    *((int *)t19) = 31;
    t19 = (t18 + 8U);
    *((int *)t19) = 1;
    t9 = (31 - 1);
    t16 = (t9 * 1);
    t16 = (t16 + 1);
    t19 = (t18 + 12U);
    *((unsigned int *)t19) = t16;
    t19 = (t0 + 10364U);
    t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101);
    t20 = (t0 + 10767);
    t23 = ((STD_STANDARD) + 1008);
    t24 = (t51 + 0U);
    t25 = (t24 + 0U);
    *((int *)t25) = 1;
    t25 = (t24 + 4U);
    *((int *)t25) = 8;
    t25 = (t24 + 8U);
    *((int *)t25) = 1;
    t12 = (8 - 1);
    t16 = (t12 * 1);
    t16 = (t16 + 1);
    t25 = (t24 + 12U);
    *((unsigned int *)t25) = t16;
    t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101);
    t25 = ((STD_STANDARD) + 384);
    t26 = (t0 + 3608U);
    t27 = *((char **)t26);
    t13 = *((int *)t27);
    t26 = xsi_int_to_mem(t13);
    t28 = xsi_string_variable_get_image(t52, t25, t26);
    t31 = ((STD_STANDARD) + 1008);
    t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101);
    t16 = (31U + 13U);
    t42 = (t16 + 8U);
    t32 = (t52 + 12U);
    t43 = *((unsigned int *)t32);
    t44 = (t42 + t43);
    xsi_report(t29, t44, (unsigned char)3);
    goto LAB47;

LAB49:    xsi_set_current_line(182, ng2);
    t1 = (t0 + 10775);
    t8 = (t0 + 10800);
    t17 = ((STD_STANDARD) + 1008);
    t18 = (t49 + 0U);
    t19 = (t18 + 0U);
    *((int *)t19) = 1;
    t19 = (t18 + 4U);
    *((int *)t19) = 25;
    t19 = (t18 + 8U);
    *((int *)t19) = 1;
    t9 = (25 - 1);
    t16 = (t9 * 1);
    t16 = (t16 + 1);
    t19 = (t18 + 12U);
    *((unsigned int *)t19) = t16;
    t19 = (t0 + 10364U);
    t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101);
    t20 = (t0 + 10813);
    t23 = ((STD_STANDARD) + 1008);
    t24 = (t51 + 0U);
    t25 = (t24 + 0U);
    *((int *)t25) = 1;
    t25 = (t24 + 4U);
    *((int *)t25) = 8;
    t25 = (t24 + 8U);
    *((int *)t25) = 1;
    t12 = (8 - 1);
    t16 = (t12 * 1);
    t16 = (t16 + 1);
    t25 = (t24 + 12U);
    *((unsigned int *)t25) = t16;
    t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101);
    t25 = ((STD_STANDARD) + 384);
    t26 = (t0 + 3608U);
    t27 = *((char **)t26);
    t13 = *((int *)t27);
    t26 = xsi_int_to_mem(t13);
    t28 = xsi_string_variable_get_image(t52, t25, t26);
    t31 = ((STD_STANDARD) + 1008);
    t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101);
    t16 = (25U + 13U);
    t42 = (t16 + 8U);
    t32 = (t52 + 12U);
    t43 = *((unsigned int *)t32);
    t44 = (t42 + t43);
    xsi_report(t29, t44, (unsigned char)3);
    goto LAB50;

LAB52:    xsi_set_current_line(186, ng2);
    t1 = (t0 + 3368U);
    t2 = *((char **)t1);
    t1 = (t2 + 0);
    *((int *)t1) = 1;
    goto LAB53;

LAB55:    xsi_set_current_line(189, ng2);
    t1 = (t0 + 5200);
    t2 = (t0 + 4592U);
    t5 = (t0 + 2888U);
    t8 = *((char **)t5);
    t9 = (16 - 1);
    t16 = (15 - t9);
    t42 = (t16 * 1U);
    t43 = (0 + t42);
    t5 = (t8 + t43);
    t11 = (t48 + 0U);
    t14 = (t11 + 0U);
    *((int *)t14) = 15;
    t14 = (t11 + 4U);
    *((int *)t14) = 16;
    t14 = (t11 + 8U);
    *((int *)t14) = -1;
    t12 = (16 - 15);
    t44 = (t12 * -1);
    t44 = (t44 + 1);
    t14 = (t11 + 12U);
    *((unsigned int *)t14) = t44;
    t14 = (t0 + 3128U);
    t17 = *((char **)t14);
    t14 = (t17 + 0);
    ieee_p_3564397177_sub_2802659619_91900896(IEEE_P_3564397177, t1, t2, t5, t48, t14);
    xsi_set_current_line(190, ng2);
    t1 = (t0 + 3128U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)0);
    if (t4 != 0)
        goto LAB58;

LAB60:
LAB59:    goto LAB56;

LAB58:    xsi_set_current_line(191, ng2);
    t1 = (t0 + 10821);
    t8 = (t0 + 10848);
    t17 = ((STD_STANDARD) + 1008);
    t18 = (t49 + 0U);
    t19 = (t18 + 0U);
    *((int *)t19) = 1;
    t19 = (t18 + 4U);
    *((int *)t19) = 27;
    t19 = (t18 + 8U);
    *((int *)t19) = 1;
    t9 = (27 - 1);
    t16 = (t9 * 1);
    t16 = (t16 + 1);
    t19 = (t18 + 12U);
    *((unsigned int *)t19) = t16;
    t19 = (t0 + 10364U);
    t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101);
    t20 = (t0 + 10861);
    t23 = ((STD_STANDARD) + 1008);
    t24 = (t51 + 0U);
    t25 = (t24 + 0U);
    *((int *)t25) = 1;
    t25 = (t24 + 4U);
    *((int *)t25) = 8;
    t25 = (t24 + 8U);
    *((int *)t25) = 1;
    t12 = (8 - 1);
    t16 = (t12 * 1);
    t16 = (t16 + 1);
    t25 = (t24 + 12U);
    *((unsigned int *)t25) = t16;
    t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101);
    t25 = ((STD_STANDARD) + 384);
    t26 = (t0 + 3608U);
    t27 = *((char **)t26);
    t13 = *((int *)t27);
    t26 = xsi_int_to_mem(t13);
    t28 = xsi_string_variable_get_image(t52, t25, t26);
    t31 = ((STD_STANDARD) + 1008);
    t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101);
    t16 = (27U + 13U);
    t42 = (t16 + 8U);
    t32 = (t52 + 12U);
    t43 = *((unsigned int *)t32);
    t44 = (t42 + t43);
    xsi_report(t29, t44, (unsigned char)3);
    goto LAB59;

LAB61:    xsi_set_current_line(197, ng2);
    t1 = (t0 + 5200);
    t2 = (t0 + 4592U);
    t5 = (t0 + 3008U);
    t8 = *((char **)t5);
    t5 = (t8 + 0);
    t11 = (t0 + 3128U);
    t14 = *((char **)t11);
    t11 = (t14 + 0);
    std_textio_read11(STD_TEXTIO, t1, t2, t5, t11);
    xsi_set_current_line(198, ng2);
    t1 = (t0 + 3128U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)0);
    if (t4 != 0)
        goto LAB64;

LAB66:
LAB65:    xsi_set_current_line(202, ng2);
    if ((unsigned char)0 == 1)
        goto LAB70;

LAB71:    t3 = (unsigned char)0;

LAB72:    if (t3 != 0)
        goto LAB67;

LAB69:
LAB68:    xsi_set_current_line(205, ng2);
    if ((unsigned char)0 != 0)
        goto LAB73;

LAB75:    xsi_set_current_line(210, ng2);
    if ((unsigned char)0 != 0)
        goto LAB76;

LAB78:    xsi_set_current_line(213, ng2);
    t1 = (t0 + 3008U);
    t2 = *((char **)t1);
    t54 = *((double *)t2);
    t1 = (t0 + 3968U);
    t5 = *((char **)t1);
    t9 = *((int *)t5);
    t1 = (t0 + 4088U);
    t8 = *((char **)t1);
    t12 = *((int *)t8);
    t1 = ((IEEE_PROPOSED_P_0892474878) + 1288U);
    t11 = *((char **)t1);
    t3 = *((unsigned char *)t11);
    t1 = ((IEEE_PROPOSED_P_0892474878) + 1168U);
    t14 = *((char **)t1);
    t4 = *((unsigned char *)t14);
    t1 = ieee_proposed_p_0892474878_sub_3089730135_450259796(IEEE_PROPOSED_P_0892474878, t48, t54, t9, t12, t3, t4, 32);
    t17 = (t0 + 2888U);
    t18 = *((char **)t17);
    t17 = (t0 + 3848U);
    t19 = *((char **)t17);
    t13 = *((int *)t19);
    t30 = (t13 - 1);
    t16 = (15 - t30);
    t42 = (t16 * 1U);
    t43 = (0 + t42);
    t17 = (t18 + t43);
    t20 = (t17 + 0);
    t21 = (t48 + 12U);
    t44 = *((unsigned int *)t21);
    t44 = (t44 * 1U);
    memcpy(t20, t1, t44);
    t22 = (t0 + 2832U);
    xsi_variable_act(t22);

LAB77:
LAB74:    goto LAB62;

LAB64:    xsi_set_current_line(199, ng2);
    t1 = (t0 + 10869);
    t8 = (t0 + 10902);
    t17 = ((STD_STANDARD) + 1008);
    t18 = (t49 + 0U);
    t19 = (t18 + 0U);
    *((int *)t19) = 1;
    t19 = (t18 + 4U);
    *((int *)t19) = 33;
    t19 = (t18 + 8U);
    *((int *)t19) = 1;
    t9 = (33 - 1);
    t16 = (t9 * 1);
    t16 = (t16 + 1);
    t19 = (t18 + 12U);
    *((unsigned int *)t19) = t16;
    t19 = (t0 + 10364U);
    t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101);
    t20 = (t0 + 10915);
    t23 = ((STD_STANDARD) + 1008);
    t24 = (t51 + 0U);
    t25 = (t24 + 0U);
    *((int *)t25) = 1;
    t25 = (t24 + 4U);
    *((int *)t25) = 8;
    t25 = (t24 + 8U);
    *((int *)t25) = 1;
    t12 = (8 - 1);
    t16 = (t12 * 1);
    t16 = (t16 + 1);
    t25 = (t24 + 12U);
    *((unsigned int *)t25) = t16;
    t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101);
    t25 = ((STD_STANDARD) + 384);
    t26 = (t0 + 3608U);
    t27 = *((char **)t26);
    t13 = *((int *)t27);
    t26 = xsi_int_to_mem(t13);
    t28 = xsi_string_variable_get_image(t52, t25, t26);
    t31 = ((STD_STANDARD) + 1008);
    t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101);
    t16 = (33U + 13U);
    t42 = (t16 + 8U);
    t32 = (t52 + 12U);
    t43 = *((unsigned int *)t32);
    t44 = (t42 + t43);
    xsi_report(t29, t44, (unsigned char)3);
    goto LAB65;

LAB67:    xsi_set_current_line(203, ng2);
    t1 = (t0 + 10923);
    t8 = (t0 + 10988);
    t17 = ((STD_STANDARD) + 1008);
    t18 = (t49 + 0U);
    t19 = (t18 + 0U);
    *((int *)t19) = 1;
    t19 = (t18 + 4U);
    *((int *)t19) = 65;
    t19 = (t18 + 8U);
    *((int *)t19) = 1;
    t9 = (65 - 1);
    t16 = (t9 * 1);
    t16 = (t16 + 1);
    t19 = (t18 + 12U);
    *((unsigned int *)t19) = t16;
    t19 = (t0 + 10364U);
    t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101);
    t20 = (t0 + 11001);
    t23 = ((STD_STANDARD) + 1008);
    t24 = (t51 + 0U);
    t25 = (t24 + 0U);
    *((int *)t25) = 1;
    t25 = (t24 + 4U);
    *((int *)t25) = 8;
    t25 = (t24 + 8U);
    *((int *)t25) = 1;
    t12 = (8 - 1);
    t16 = (t12 * 1);
    t16 = (t16 + 1);
    t25 = (t24 + 12U);
    *((unsigned int *)t25) = t16;
    t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101);
    t25 = ((STD_STANDARD) + 384);
    t26 = (t0 + 3608U);
    t27 = *((char **)t26);
    t13 = *((int *)t27);
    t26 = xsi_int_to_mem(t13);
    t28 = xsi_string_variable_get_image(t52, t25, t26);
    t31 = ((STD_STANDARD) + 1008);
    t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101);
    t16 = (65U + 13U);
    t42 = (t16 + 8U);
    t32 = (t52 + 12U);
    t43 = *((unsigned int *)t32);
    t44 = (t42 + t43);
    xsi_report(t29, t44, (unsigned char)3);
    goto LAB68;

LAB70:    t1 = (t0 + 3008U);
    t2 = *((char **)t1);
    t54 = *((double *)t2);
    t4 = (t54 < 0.00000000000000000);
    t3 = t4;
    goto LAB72;

LAB73:    xsi_set_current_line(207, ng2);
    t1 = (t0 + 3008U);
    t2 = *((char **)t1);
    t54 = *((double *)t2);
    t1 = (t0 + 3968U);
    t5 = *((char **)t1);
    t9 = *((int *)t5);
    t1 = ((IEEE_PROPOSED_P_0618294350) + 1408U);
    t8 = *((char **)t1);
    t3 = *((unsigned char *)t8);
    t1 = ((IEEE_PROPOSED_P_0618294350) + 1528U);
    t11 = *((char **)t1);
    t4 = *((unsigned char *)t11);
    t1 = ieee_proposed_p_0618294350_sub_17521889_3517329569(IEEE_PROPOSED_P_0618294350, t48, t54, t9, 0, t3, t4);
    t14 = (t0 + 2888U);
    t17 = *((char **)t14);
    t14 = (t0 + 3848U);
    t18 = *((char **)t14);
    t12 = *((int *)t18);
    t13 = (t12 - 1);
    t16 = (15 - t13);
    t42 = (t16 * 1U);
    t43 = (0 + t42);
    t14 = (t17 + t43);
    t19 = (t14 + 0);
    t20 = (t48 + 12U);
    t44 = *((unsigned int *)t20);
    t44 = (t44 * 1U);
    memcpy(t19, t1, t44);
    t21 = (t0 + 2832U);
    xsi_variable_act(t21);
    goto LAB74;

LAB76:    xsi_set_current_line(211, ng2);
    t1 = (t0 + 3008U);
    t2 = *((char **)t1);
    t54 = *((double *)t2);
    t1 = (t0 + 3968U);
    t5 = *((char **)t1);
    t9 = *((int *)t5);
    t1 = (t0 + 4088U);
    t8 = *((char **)t1);
    t12 = *((int *)t8);
    t1 = ((IEEE_PROPOSED_P_0892474878) + 1288U);
    t11 = *((char **)t1);
    t3 = *((unsigned char *)t11);
    t1 = ((IEEE_PROPOSED_P_0892474878) + 1168U);
    t14 = *((char **)t1);
    t4 = *((unsigned char *)t14);
    t1 = ieee_proposed_p_0892474878_sub_1319208325_450259796(IEEE_PROPOSED_P_0892474878, t48, t54, t9, t12, t3, t4, 32);
    t17 = (t0 + 2888U);
    t18 = *((char **)t17);
    t17 = (t0 + 3848U);
    t19 = *((char **)t17);
    t13 = *((int *)t19);
    t30 = (t13 - 1);
    t16 = (15 - t30);
    t42 = (t16 * 1U);
    t43 = (0 + t42);
    t17 = (t18 + t43);
    t20 = (t17 + 0);
    t21 = (t48 + 12U);
    t44 = *((unsigned int *)t21);
    t44 = (t44 * 1U);
    memcpy(t20, t1, t44);
    t22 = (t0 + 2832U);
    xsi_variable_act(t22);
    goto LAB77;

LAB79:    xsi_set_current_line(217, ng2);
    t1 = (t0 + 5200);
    t2 = (t0 + 4592U);
    t5 = (t0 + 2888U);
    t8 = *((char **)t5);
    t5 = (t0 + 3848U);
    t11 = *((char **)t5);
    t9 = *((int *)t11);
    t12 = (t9 - 1);
    t16 = (15 - t12);
    t42 = (t16 * 1U);
    t43 = (0 + t42);
    t5 = (t8 + t43);
    t14 = (t0 + 10412U);
    t17 = (t0 + 3128U);
    t18 = *((char **)t17);
    t17 = (t18 + 0);
    ieee_p_3564397177_sub_3902175275_91900896(IEEE_P_3564397177, t1, t2, t5, t14, t17);
    xsi_set_current_line(218, ng2);
    t1 = (t0 + 3128U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)0);
    if (t4 != 0)
        goto LAB81;

LAB83:
LAB82:    goto LAB62;

LAB81:    xsi_set_current_line(219, ng2);
    t1 = (t0 + 11009);
    t8 = (t0 + 11041);
    t17 = ((STD_STANDARD) + 1008);
    t18 = (t49 + 0U);
    t19 = (t18 + 0U);
    *((int *)t19) = 1;
    t19 = (t18 + 4U);
    *((int *)t19) = 32;
    t19 = (t18 + 8U);
    *((int *)t19) = 1;
    t9 = (32 - 1);
    t16 = (t9 * 1);
    t16 = (t16 + 1);
    t19 = (t18 + 12U);
    *((unsigned int *)t19) = t16;
    t19 = (t0 + 10364U);
    t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101);
    t20 = (t0 + 11054);
    t23 = ((STD_STANDARD) + 1008);
    t24 = (t51 + 0U);
    t25 = (t24 + 0U);
    *((int *)t25) = 1;
    t25 = (t24 + 4U);
    *((int *)t25) = 8;
    t25 = (t24 + 8U);
    *((int *)t25) = 1;
    t12 = (8 - 1);
    t16 = (t12 * 1);
    t16 = (t16 + 1);
    t25 = (t24 + 12U);
    *((unsigned int *)t25) = t16;
    t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101);
    t25 = ((STD_STANDARD) + 384);
    t26 = (t0 + 3608U);
    t27 = *((char **)t26);
    t13 = *((int *)t27);
    t26 = xsi_int_to_mem(t13);
    t28 = xsi_string_variable_get_image(t52, t25, t26);
    t31 = ((STD_STANDARD) + 1008);
    t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101);
    t16 = (32U + 13U);
    t42 = (t16 + 8U);
    t32 = (t52 + 12U);
    t43 = *((unsigned int *)t32);
    t44 = (t42 + t43);
    xsi_report(t29, t44, (unsigned char)3);
    goto LAB82;

LAB84:    xsi_set_current_line(225, ng2);
    t1 = (t0 + 11062);
    t8 = (t0 + 11097);
    t17 = ((STD_STANDARD) + 1008);
    t18 = (t49 + 0U);
    t19 = (t18 + 0U);
    *((int *)t19) = 1;
    t19 = (t18 + 4U);
    *((int *)t19) = 35;
    t19 = (t18 + 8U);
    *((int *)t19) = 1;
    t9 = (35 - 1);
    t16 = (t9 * 1);
    t16 = (t16 + 1);
    t19 = (t18 + 12U);
    *((unsigned int *)t19) = t16;
    t19 = (t0 + 10364U);
    t14 = xsi_base_array_concat(t14, t48, t17, (char)97, t1, t49, (char)97, t8, t19, (char)101);
    t20 = (t0 + 11110);
    t23 = ((STD_STANDARD) + 1008);
    t24 = (t51 + 0U);
    t25 = (t24 + 0U);
    *((int *)t25) = 1;
    t25 = (t24 + 4U);
    *((int *)t25) = 8;
    t25 = (t24 + 8U);
    *((int *)t25) = 1;
    t12 = (8 - 1);
    t16 = (t12 * 1);
    t16 = (t16 + 1);
    t25 = (t24 + 12U);
    *((unsigned int *)t25) = t16;
    t22 = xsi_base_array_concat(t22, t50, t23, (char)97, t14, t48, (char)97, t20, t51, (char)101);
    t25 = ((STD_STANDARD) + 384);
    t26 = (t0 + 3608U);
    t27 = *((char **)t26);
    t13 = *((int *)t27);
    t26 = xsi_int_to_mem(t13);
    t28 = xsi_string_variable_get_image(t52, t25, t26);
    t31 = ((STD_STANDARD) + 1008);
    t29 = xsi_base_array_concat(t29, t53, t31, (char)97, t22, t50, (char)97, t28, t52, (char)101);
    t16 = (35U + 13U);
    t42 = (t16 + 8U);
    t32 = (t52 + 12U);
    t43 = *((unsigned int *)t32);
    t44 = (t42 + t43);
    xsi_report(t29, t44, (unsigned char)3);
    goto LAB85;

LAB87:    xsi_set_current_line(231, ng2);
    t1 = (t0 + 2888U);
    t5 = *((char **)t1);
    t1 = (t0 + 5792);
    t8 = (t1 + 56U);
    t11 = *((char **)t8);
    t14 = (t11 + 56U);
    t17 = *((char **)t14);
    memcpy(t17, t5, 16U);
    xsi_driver_first_trans_fast_port(t1);
    xsi_set_current_line(232, ng2);
    t1 = (t0 + 5856);
    t2 = (t1 + 56U);
    t5 = *((char **)t2);
    t8 = (t5 + 56U);
    t11 = *((char **)t8);
    *((unsigned char *)t11) = (unsigned char)3;
    xsi_driver_first_trans_fast_port(t1);
    goto LAB88;

}
static void unisim_a_0714155612_2768510774_p_0(char *t0)
{
    char t17[16];
    char t22[8];
    char *t1;
    char *t2;
    unsigned char t3;
    char *t4;
    char *t5;
    int64 t6;
    char *t7;
    int64 t8;
    int64 t9;
    int64 t10;
    int64 t11;
    char *t12;
    unsigned char t13;
    unsigned char t14;
    unsigned char t15;
    char *t16;
    char *t18;
    char *t19;
    int t20;
    unsigned int t21;
    unsigned int t23;

LAB0:    t1 = (t0 + 1812U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:    goto *t2;

LAB2:    t2 = (t0 + 568U);
    t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t2, 0U, 0U);
    if (t3 != 0)
        goto LAB4;

LAB6:
LAB5:
LAB20:    t2 = (t0 + 1992);
    *((int *)t2) = 1;
    *((char **)t1) = &&LAB21;

LAB1:    return;
LAB4:    t4 = (t0 + 992U);
    t5 = *((char **)t4);
    t6 = *((int64 *)t5);
    t4 = (t0 + 924U);
    t7 = *((char **)t4);
    t4 = (t7 + 0);
    *((int64 *)t4) = t6;
    t6 = xsi_get_sim_current_time();
    t2 = (t0 + 992U);
    t4 = *((char **)t2);
    t2 = (t4 + 0);
    *((int64 *)t2) = t6;
    t2 = (t0 + 924U);
    t4 = *((char **)t2);
    t6 = *((int64 *)t4);
    t8 = (0 * 1LL);
    t3 = (t6 > t8);
    if (t3 != 0)
        goto LAB7;

LAB9:
LAB8:    t2 = (t0 + 1060U);
    t4 = *((char **)t2);
    t6 = *((int64 *)t4);
    t13 = (t6 > 1000000LL);
    if (t13 == 1)
        goto LAB13;

LAB14:    t3 = (unsigned char)0;

LAB15:    if (t3 != 0)
        goto LAB10;

LAB12:
LAB11:    goto LAB5;

LAB7:    t2 = (t0 + 992U);
    t5 = *((char **)t2);
    t9 = *((int64 *)t5);
    t2 = (t0 + 924U);
    t7 = *((char **)t2);
    t10 = *((int64 *)t7);
    t11 = (t9 - t10);
    t2 = (t0 + 1060U);
    t12 = *((char **)t2);
    t2 = (t12 + 0);
    *((int64 *)t2) = t11;
    goto LAB8;

LAB10:    t2 = (t0 + 1712);
    t7 = (t0 + 1284U);
    t12 = (t0 + 3868);
    t18 = (t17 + 0U);
    t19 = (t18 + 0U);
    *((int *)t19) = 1;
    t19 = (t18 + 4U);
    *((int *)t19) = 33;
    t19 = (t18 + 8U);
    *((int *)t19) = 1;
    t20 = (33 - 1);
    t21 = (t20 * 1);
    t21 = (t21 + 1);
    t19 = (t18 + 12U);
    *((unsigned int *)t19) = t21;
    std_textio_write7(STD_TEXTIO, t2, t7, t12, t17, (unsigned char)0, 0);
    t2 = (t0 + 1712);
    t4 = (t0 + 1284U);
    t5 = (t0 + 1060U);
    t7 = *((char **)t5);
    t6 = *((int64 *)t7);
    std_textio_write8(STD_TEXTIO, t2, t4, t6, (unsigned char)0, 0, 1000LL);
    t2 = (t0 + 1712);
    t4 = (t0 + 1284U);
    t5 = (t0 + 3901);
    t12 = (t17 + 0U);
    t16 = (t12 + 0U);
    *((int *)t16) = 1;
    t16 = (t12 + 4U);
    *((int *)t16) = 8;
    t16 = (t12 + 8U);
    *((int *)t16) = 1;
    t20 = (8 - 1);
    t21 = (t20 * 1);
    t21 = (t21 + 1);
    t16 = (t12 + 12U);
    *((unsigned int *)t16) = t21;
    std_textio_write7(STD_TEXTIO, t2, t4, t5, t17, (unsigned char)0, 0);
    t2 = (t0 + 1712);
    t4 = (t0 + 1284U);
    t5 = (t0 + 3909);
    memcpy(t22, t5, 5U);
    t12 = (t0 + 3756U);
    std_textio_write7(STD_TEXTIO, t2, t4, t22, t12, (unsigned char)0, 0);
    t2 = (t0 + 1712);
    t4 = (t0 + 1284U);
    t5 = (t0 + 3914);
    t12 = (t17 + 0U);
    t16 = (t12 + 0U);
    *((int *)t16) = 1;
    t16 = (t12 + 4U);
    *((int *)t16) = 6;
    t16 = (t12 + 8U);
    *((int *)t16) = 1;
    t20 = (6 - 1);
    t21 = (t20 * 1);
    t21 = (t21 + 1);
    t16 = (t12 + 12U);
    *((unsigned int *)t16) = t21;
    std_textio_write7(STD_TEXTIO, t2, t4, t5, t17, (unsigned char)0, 0);
    t2 = (t0 + 1712);
    t4 = (t0 + 1284U);
    t5 = (t0 + 3920);
    t12 = (t17 + 0U);
    t16 = (t12 + 0U);
    *((int *)t16) = 1;
    t16 = (t12 + 4U);
    *((int *)t16) = 20;
    t16 = (t12 + 8U);
    *((int *)t16) = 1;
    t20 = (20 - 1);
    t21 = (t20 * 1);
    t21 = (t21 + 1);
    t16 = (t12 + 12U);
    *((unsigned int *)t16) = t21;
    std_textio_write7(STD_TEXTIO, t2, t4, t5, t17, (unsigned char)0, 0);
    t2 = (t0 + 1712);
    t4 = (t0 + 1284U);
    t5 = (t0 + 3940);
    t12 = (t17 + 0U);
    t16 = (t12 + 0U);
    *((int *)t16) = 1;
    t16 = (t12 + 4U);
    *((int *)t16) = 26;
    t16 = (t12 + 8U);
    *((int *)t16) = 1;
    t20 = (26 - 1);
    t21 = (t20 * 1);
    t21 = (t21 + 1);
    t16 = (t12 + 12U);
    *((unsigned int *)t16) = t21;
    std_textio_write7(STD_TEXTIO, t2, t4, t5, t17, (unsigned char)0, 0);
    t2 = (t0 + 1712);
    t4 = (t0 + 1284U);
    std_textio_write8(STD_TEXTIO, t2, t4, 1000000LL, (unsigned char)0, 0, 1000LL);
    t2 = (t0 + 1712);
    t4 = (t0 + 1284U);
    t5 = (t0 + 3966);
    t12 = (t17 + 0U);
    t16 = (t12 + 0U);
    *((int *)t16) = 1;
    t16 = (t12 + 4U);
    *((int *)t16) = 20;
    t16 = (t12 + 8U);
    *((int *)t16) = 1;
    t20 = (20 - 1);
    t21 = (t20 * 1);
    t21 = (t21 + 1);
    t16 = (t12 + 12U);
    *((unsigned int *)t16) = t21;
    std_textio_write7(STD_TEXTIO, t2, t4, t5, t17, (unsigned char)0, 0);
    t2 = (t0 + 1712);
    t4 = (t0 + 1284U);
    t5 = (t0 + 992U);
    t7 = *((char **)t5);
    t6 = *((int64 *)t7);
    std_textio_write8(STD_TEXTIO, t2, t4, t6, (unsigned char)0, 0, 1000LL);
    t2 = (t0 + 1712);
    t4 = (t0 + 1284U);
    t7 = ((STD_STANDARD) + 656);
    t5 = xsi_base_array_concat(t5, t17, t7, (char)99, (unsigned char)46, (char)99, (unsigned char)10, (char)101);
    t21 = (1U + 1U);
    t12 = (char *)alloca(t21);
    memcpy(t12, t5, t21);
    std_textio_write7(STD_TEXTIO, t2, t4, t12, t17, (unsigned char)0, 0);
    if ((unsigned char)0 == 0)
        goto LAB16;

LAB17:    t2 = (t0 + 1284U);
    xsi_access_variable_deallocate(t2);
    goto LAB11;

LAB13:    t2 = (t0 + 684U);
    t5 = *((char **)t2);
    t14 = *((unsigned char *)t5);
    t15 = (t14 == (unsigned char)2);
    t3 = t15;
    goto LAB15;

LAB16:    t2 = (t0 + 1284U);
    t4 = xsi_access_variable_all(t2);
    t5 = (t4 + 36U);
    t7 = *((char **)t5);
    t5 = (t0 + 1284U);
    t16 = xsi_access_variable_all(t5);
    t18 = (t16 + 40U);
    t18 = *((char **)t18);
    t19 = (t18 + 12U);
    t21 = *((unsigned int *)t19);
    t23 = (1U * t21);
    xsi_report(t7, t23, (unsigned char)1);
    goto LAB17;

LAB18:    t4 = (t0 + 1992);
    *((int *)t4) = 0;
    goto LAB2;

LAB19:    goto LAB18;

LAB21:    goto LAB19;

}