예제 #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;

}
예제 #2
0
static void work_a_3501706103_0000452272_p_0(char *t0)
{
    unsigned char t1;
    char *t2;
    unsigned char t3;
    char *t4;
    char *t5;
    unsigned char t6;
    unsigned char t7;
    char *t8;
    unsigned char t9;
    unsigned char t10;
    char *t11;
    char *t12;
    char *t13;
    int t14;
    int t15;
    unsigned int t16;
    unsigned int t17;
    unsigned int t18;
    char *t19;
    char *t20;

LAB0:    xsi_set_current_line(47, ng0);
    t2 = (t0 + 992U);
    t3 = xsi_signal_has_event(t2);
    if (t3 == 1)
        goto LAB5;

LAB6:    t1 = (unsigned char)0;

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

LAB4:
LAB3:    t2 = (t0 + 4160);
    *((int *)t2) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(48, ng0);
    t4 = (t0 + 1192U);
    t8 = *((char **)t4);
    t9 = *((unsigned char *)t8);
    t10 = (t9 == (unsigned char)3);
    if (t10 != 0)
        goto LAB8;

LAB10:
LAB9:    xsi_set_current_line(51, ng0);
    t2 = (t0 + 2608U);
    t4 = *((char **)t2);
    t2 = (t0 + 1512U);
    t5 = *((char **)t2);
    t2 = (t0 + 6684U);
    t14 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t5, t2);
    t15 = (t14 - 31);
    t16 = (t15 * -1);
    xsi_vhdl_check_range_of_index(31, 0, -1, t14);
    t17 = (4U * t16);
    t18 = (0 + t17);
    t8 = (t4 + t18);
    t11 = (t0 + 4256);
    t12 = (t11 + 56U);
    t13 = *((char **)t12);
    t19 = (t13 + 56U);
    t20 = *((char **)t19);
    memcpy(t20, t8, 4U);
    xsi_driver_first_trans_fast_port(t11);
    goto LAB3;

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

LAB8:    xsi_set_current_line(49, ng0);
    t4 = (t0 + 1832U);
    t11 = *((char **)t4);
    t4 = (t0 + 2608U);
    t12 = *((char **)t4);
    t4 = (t0 + 1512U);
    t13 = *((char **)t4);
    t4 = (t0 + 6684U);
    t14 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t13, t4);
    t15 = (t14 - 31);
    t16 = (t15 * -1);
    xsi_vhdl_check_range_of_index(31, 0, -1, t14);
    t17 = (4U * t16);
    t18 = (0 + t17);
    t19 = (t12 + t18);
    memcpy(t19, t11, 4U);
    t20 = (t0 + 2552U);
    xsi_variable_act(t20);
    goto LAB9;

}
예제 #3
0
static void work_a_3977445839_3858935050_p_0(char *t0)
{
    char *t1;
    char *t2;
    unsigned char t3;
    unsigned char t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    unsigned char t9;
    unsigned char t10;
    unsigned char t11;
    unsigned char t12;
    unsigned char t13;
    char *t14;
    char *t15;
    char *t16;
    char *t17;
    int t18;
    int t19;
    unsigned int t20;
    unsigned int t21;
    unsigned int t22;
    static char *nl0[] = {&&LAB11, &&LAB12, &&LAB13, &&LAB14, &&LAB15, &&LAB16};

LAB0:    xsi_set_current_line(59, ng0);
    t1 = (t0 + 1032U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)2);
    if (t4 != 0)
        goto LAB2;

LAB4:    t1 = (t0 + 1152U);
    t4 = xsi_signal_has_event(t1);
    if (t4 == 1)
        goto LAB7;

LAB8:    t3 = (unsigned char)0;

LAB9:    if (t3 != 0)
        goto LAB5;

LAB6:
LAB3:    t1 = (t0 + 5208);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(60, ng0);
    t1 = (t0 + 5336);
    t5 = (t1 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    *((unsigned char *)t8) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(61, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t1 = (t2 + 0);
    *((int *)t1) = 0;
    goto LAB3;

LAB5:    xsi_set_current_line(65, ng0);
    t2 = (t0 + 2152U);
    t6 = *((char **)t2);
    t11 = *((unsigned char *)t6);
    t2 = (char *)((nl0) + t11);
    goto **((char **)t2);

LAB7:    t2 = (t0 + 1192U);
    t5 = *((char **)t2);
    t9 = *((unsigned char *)t5);
    t10 = (t9 == (unsigned char)3);
    t3 = t10;
    goto LAB9;

LAB10:    goto LAB3;

LAB11:    xsi_set_current_line(67, ng0);
    t7 = (t0 + 1352U);
    t8 = *((char **)t7);
    t12 = *((unsigned char *)t8);
    t13 = (t12 == (unsigned char)3);
    if (t13 != 0)
        goto LAB17;

LAB19:
LAB18:    goto LAB10;

LAB12:    xsi_set_current_line(72, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t18 = *((int *)t2);
    t19 = (t18 + 1);
    t1 = (t0 + 3168U);
    t5 = *((char **)t1);
    t1 = (t5 + 0);
    *((int *)t1) = t19;
    xsi_set_current_line(73, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t18 = *((int *)t2);
    t3 = (t18 >= 5);
    if (t3 != 0)
        goto LAB20;

LAB22:
LAB21:    goto LAB10;

LAB13:    xsi_set_current_line(79, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t18 = *((int *)t2);
    t19 = (t18 + 1);
    t1 = (t0 + 3168U);
    t5 = *((char **)t1);
    t1 = (t5 + 0);
    *((int *)t1) = t19;
    xsi_set_current_line(80, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t18 = *((int *)t2);
    t1 = (t0 + 2688U);
    t5 = *((char **)t1);
    t19 = *((int *)t5);
    t3 = (t18 >= t19);
    if (t3 != 0)
        goto LAB23;

LAB25:
LAB24:    goto LAB10;

LAB14:    xsi_set_current_line(86, ng0);
    t1 = (t0 + 1672U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t1 = (t0 + 2928U);
    t5 = *((char **)t1);
    t1 = (t0 + 3168U);
    t6 = *((char **)t1);
    t18 = *((int *)t6);
    t19 = (t18 - 11);
    t20 = (t19 * -1);
    xsi_vhdl_check_range_of_index(11, 0, -1, t18);
    t21 = (1U * t20);
    t22 = (0 + t21);
    t1 = (t5 + t22);
    *((unsigned char *)t1) = t3;
    t7 = (t0 + 2872U);
    xsi_variable_act(t7);
    xsi_set_current_line(87, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t18 = *((int *)t2);
    t19 = (t18 + 1);
    t1 = (t0 + 3168U);
    t5 = *((char **)t1);
    t1 = (t5 + 0);
    *((int *)t1) = t19;
    xsi_set_current_line(89, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t18 = *((int *)t2);
    t3 = (t18 >= 12);
    if (t3 != 0)
        goto LAB26;

LAB28:
LAB27:    goto LAB10;

LAB15:    xsi_set_current_line(95, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t18 = *((int *)t2);
    t19 = (t18 + 1);
    t1 = (t0 + 3168U);
    t5 = *((char **)t1);
    t1 = (t5 + 0);
    *((int *)t1) = t19;
    xsi_set_current_line(97, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t18 = *((int *)t2);
    t1 = (t0 + 2808U);
    t5 = *((char **)t1);
    t19 = *((int *)t5);
    t3 = (t18 >= t19);
    if (t3 != 0)
        goto LAB29;

LAB31:
LAB30:    goto LAB10;

LAB16:    xsi_set_current_line(103, ng0);
    t1 = (t0 + 1672U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t1 = (t0 + 3048U);
    t5 = *((char **)t1);
    t1 = (t0 + 3168U);
    t6 = *((char **)t1);
    t18 = *((int *)t6);
    t19 = (t18 - 11);
    t20 = (t19 * -1);
    xsi_vhdl_check_range_of_index(11, 0, -1, t18);
    t21 = (1U * t20);
    t22 = (0 + t21);
    t1 = (t5 + t22);
    *((unsigned char *)t1) = t3;
    t7 = (t0 + 2992U);
    xsi_variable_act(t7);
    xsi_set_current_line(104, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t18 = *((int *)t2);
    t19 = (t18 + 1);
    t1 = (t0 + 3168U);
    t5 = *((char **)t1);
    t1 = (t5 + 0);
    *((int *)t1) = t19;
    xsi_set_current_line(106, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t18 = *((int *)t2);
    t3 = (t18 >= 12);
    if (t3 != 0)
        goto LAB32;

LAB34:
LAB33:    goto LAB10;

LAB17:    xsi_set_current_line(68, ng0);
    t7 = (t0 + 5336);
    t14 = (t7 + 56U);
    t15 = *((char **)t14);
    t16 = (t15 + 56U);
    t17 = *((char **)t16);
    *((unsigned char *)t17) = (unsigned char)1;
    xsi_driver_first_trans_fast(t7);
    goto LAB18;

LAB20:    xsi_set_current_line(74, ng0);
    t1 = (t0 + 5336);
    t5 = (t1 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    *((unsigned char *)t8) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(75, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t1 = (t2 + 0);
    *((int *)t1) = 0;
    goto LAB21;

LAB23:    xsi_set_current_line(81, ng0);
    t1 = (t0 + 5336);
    t6 = (t1 + 56U);
    t7 = *((char **)t6);
    t8 = (t7 + 56U);
    t14 = *((char **)t8);
    *((unsigned char *)t14) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(82, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t1 = (t2 + 0);
    *((int *)t1) = 0;
    goto LAB24;

LAB26:    xsi_set_current_line(90, ng0);
    t1 = (t0 + 5336);
    t5 = (t1 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    *((unsigned char *)t8) = (unsigned char)4;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(91, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t1 = (t2 + 0);
    *((int *)t1) = 0;
    goto LAB27;

LAB29:    xsi_set_current_line(98, ng0);
    t1 = (t0 + 5336);
    t6 = (t1 + 56U);
    t7 = *((char **)t6);
    t8 = (t7 + 56U);
    t14 = *((char **)t8);
    *((unsigned char *)t14) = (unsigned char)5;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(99, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t1 = (t2 + 0);
    *((int *)t1) = 0;
    goto LAB30;

LAB32:    xsi_set_current_line(107, ng0);
    t1 = (t0 + 5336);
    t5 = (t1 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    *((unsigned char *)t8) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(108, ng0);
    t1 = (t0 + 3168U);
    t2 = *((char **)t1);
    t1 = (t2 + 0);
    *((int *)t1) = 0;
    goto LAB33;

}

static void work_a_3977445839_3858935050_p_1(char *t0)
{
    char *t1;
    char *t2;
    unsigned char t3;
    unsigned char t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;
    char *t12;
    char *t13;
    char *t14;

LAB0:    xsi_set_current_line(116, ng0);
    t1 = (t0 + 2152U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)0);
    if (t4 != 0)
        goto LAB3;

LAB4:
LAB5:    t9 = (t0 + 5400);
    t10 = (t9 + 56U);
    t11 = *((char **)t10);
    t12 = (t11 + 56U);
    t13 = *((char **)t12);
    *((unsigned char *)t13) = (unsigned char)3;
    xsi_driver_first_trans_fast_port(t9);

LAB2:    t14 = (t0 + 5224);
    *((int *)t14) = 1;

LAB1:    return;
LAB3:    t1 = (t0 + 5400);
    t5 = (t1 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    *((unsigned char *)t8) = (unsigned char)2;
    xsi_driver_first_trans_fast_port(t1);
    goto LAB2;

LAB6:    goto LAB2;

}
예제 #4
0
static void work_a_0150327492_3212880686_p_1(char *t0)
{
    char t16[16];
    char *t1;
    unsigned char t2;
    char *t3;
    char *t4;
    unsigned char t5;
    unsigned char t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    int t11;
    int t12;
    unsigned int t13;
    unsigned int t14;
    unsigned int t15;
    char *t17;
    char *t18;
    int t19;
    unsigned int t20;
    int t21;
    int t22;
    unsigned int t23;
    unsigned int t24;
    char *t25;
    char *t26;

LAB0:    xsi_set_current_line(148, ng0);
    t1 = (t0 + 992U);
    t2 = ieee_p_2592010699_sub_2763492388968962707_503743352(IEEE_P_2592010699, t1, 0U, 0U);
    if (t2 != 0)
        goto LAB2;

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

LAB1:    return;
LAB2:    xsi_set_current_line(149, ng0);
    t3 = (t0 + 1512U);
    t4 = *((char **)t3);
    t5 = *((unsigned char *)t4);
    t6 = (t5 == (unsigned char)3);
    if (t6 != 0)
        goto LAB5;

LAB7:
LAB6:    xsi_set_current_line(152, ng0);
    t1 = (t0 + 2408U);
    t3 = *((char **)t1);
    t1 = (t0 + 1672U);
    t4 = *((char **)t1);
    t1 = ((WORK_P_1299257503) + 1528U);
    t7 = *((char **)t1);
    t11 = *((int *)t7);
    t12 = (t11 - 1);
    t13 = (15 - t12);
    t14 = (t13 * 1U);
    t15 = (0 + t14);
    t1 = (t4 + t15);
    t8 = (t16 + 0U);
    t9 = (t8 + 0U);
    *((int *)t9) = 15;
    t9 = (t8 + 4U);
    *((int *)t9) = 2;
    t9 = (t8 + 8U);
    *((int *)t9) = -1;
    t19 = (2 - 15);
    t20 = (t19 * -1);
    t20 = (t20 + 1);
    t9 = (t8 + 12U);
    *((unsigned int *)t9) = t20;
    t21 = ieee_p_3620187407_sub_5109402382352621412_3965413181(IEEE_P_3620187407, t1, t16);
    t22 = (t21 - 0);
    t20 = (t22 * 1);
    xsi_vhdl_check_range_of_index(0, 16383, 1, t21);
    t23 = (32U * t20);
    t24 = (0 + t23);
    t9 = (t3 + t24);
    t10 = (t0 + 4112);
    t17 = (t10 + 56U);
    t18 = *((char **)t17);
    t25 = (t18 + 56U);
    t26 = *((char **)t25);
    memcpy(t26, t9, 32U);
    xsi_driver_first_trans_fast_port(t10);
    goto LAB3;

LAB5:    xsi_set_current_line(150, ng0);
    t3 = (t0 + 1832U);
    t7 = *((char **)t3);
    t3 = (t0 + 2408U);
    t8 = *((char **)t3);
    t3 = (t0 + 1672U);
    t9 = *((char **)t3);
    t3 = ((WORK_P_1299257503) + 1528U);
    t10 = *((char **)t3);
    t11 = *((int *)t10);
    t12 = (t11 - 1);
    t13 = (15 - t12);
    t14 = (t13 * 1U);
    t15 = (0 + t14);
    t3 = (t9 + t15);
    t17 = (t16 + 0U);
    t18 = (t17 + 0U);
    *((int *)t18) = 15;
    t18 = (t17 + 4U);
    *((int *)t18) = 2;
    t18 = (t17 + 8U);
    *((int *)t18) = -1;
    t19 = (2 - 15);
    t20 = (t19 * -1);
    t20 = (t20 + 1);
    t18 = (t17 + 12U);
    *((unsigned int *)t18) = t20;
    t21 = ieee_p_3620187407_sub_5109402382352621412_3965413181(IEEE_P_3620187407, t3, t16);
    t22 = (t21 - 0);
    t20 = (t22 * 1);
    xsi_vhdl_check_range_of_index(0, 16383, 1, t21);
    t23 = (32U * t20);
    t24 = (0 + t23);
    t18 = (t8 + t24);
    memcpy(t18, t7, 32U);
    t25 = (t0 + 2352U);
    xsi_variable_act(t25);
    goto LAB6;

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

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

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(73, ng0);
    t2 = (t0 + 2820);
    t3 = (t2 + 32U);
    t4 = *((char **)t3);
    t5 = (t4 + 40U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)2;
    xsi_driver_first_trans_fast(t2);
    xsi_set_current_line(74, ng0);
    t2 = (t0 + 1476U);
    t3 = *((char **)t2);
    t2 = (t3 + 0);
    *((unsigned char *)t2) = (unsigned char)1;
    t4 = (t0 + 1440U);
    xsi_variable_act(t4);
    xsi_set_current_line(75, ng0);
    t2 = (t0 + 592U);
    t3 = *((char **)t2);
    t8 = *((unsigned char *)t3);
    t9 = (t8 == (unsigned char)2);
    if (t9 == 1)
        goto LAB7;

LAB8:    t7 = (unsigned char)0;

LAB9:    if (t7 != 0)
        goto LAB4;

LAB6:
LAB5:    xsi_set_current_line(109, ng0);
    t2 = (t0 + 1476U);
    t3 = *((char **)t2);
    t2 = (t3 + 0);
    *((unsigned char *)t2) = (unsigned char)0;
    t4 = (t0 + 1440U);
    xsi_variable_act(t4);
    xsi_set_current_line(110, ng0);
    t2 = (t0 + 2856);
    t3 = (t2 + 32U);
    t4 = *((char **)t3);
    t5 = (t4 + 40U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)2;
    xsi_driver_first_trans_fast(t2);
    xsi_set_current_line(111, ng0);
    t2 = (t0 + 2820);
    t3 = (t2 + 32U);
    t4 = *((char **)t3);
    t5 = (t4 + 40U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)3;
    xsi_driver_first_trans_fast(t2);
    xsi_set_current_line(112, ng0);
    t2 = (t0 + 1408U);
    t3 = *((char **)t2);
    t28 = *((int64 *)t3);
    t29 = (110 * t28);
    t2 = (t0 + 2452);
    xsi_process_wait(t2, t29);

LAB30:    *((char **)t1) = &&LAB31;

LAB1:    return;
LAB4:    xsi_set_current_line(77, ng0);
    t2 = (t0 + 2856);
    t5 = (t2 + 32U);
    t6 = *((char **)t5);
    t12 = (t6 + 40U);
    t13 = *((char **)t12);
    *((unsigned char *)t13) = (unsigned char)3;
    xsi_driver_first_trans_fast(t2);
    xsi_set_current_line(78, ng0);
    t2 = (t0 + 2452);
    t3 = (t0 + 1936U);
    t4 = (t0 + 2040U);
    std_textio_readline(STD_TEXTIO, t2, t3, t4);
    xsi_set_current_line(80, ng0);

LAB10:    t2 = (t0 + 1936U);
    t7 = std_textio_endfile(t2);
    t8 = (!(t7));
    if (t8 != 0)
        goto LAB11;

LAB13:    goto LAB5;

LAB7:    t2 = (t0 + 1476U);
    t4 = *((char **)t2);
    t10 = *((unsigned char *)t4);
    t11 = (t10 == (unsigned char)1);
    t7 = t11;
    goto LAB9;

LAB11:    xsi_set_current_line(81, ng0);
    t3 = (t0 + 2452);
    t4 = (t0 + 1936U);
    t5 = (t0 + 2040U);
    std_textio_readline(STD_TEXTIO, t3, t4, t5);
    xsi_set_current_line(82, ng0);
    t2 = (t0 + 2452);
    t3 = (t0 + 2040U);
    t4 = (t0 + 1544U);
    t5 = *((char **)t4);
    t4 = (t0 + 5888U);
    ieee_p_3564397177_sub_3988856810_91900896(IEEE_P_3564397177, t2, t3, t5, t4);
    xsi_set_current_line(83, ng0);
    t2 = (t0 + 2452);
    t3 = (t0 + 2040U);
    t4 = (t0 + 1612U);
    t5 = *((char **)t4);
    t4 = (t0 + 5904U);
    ieee_p_3564397177_sub_3988856810_91900896(IEEE_P_3564397177, t2, t3, t5, t4);
    xsi_set_current_line(84, ng0);
    t2 = (t0 + 2452);
    t3 = (t0 + 2040U);
    t4 = (t0 + 1544U);
    t5 = *((char **)t4);
    t4 = (t0 + 5888U);
    ieee_p_3564397177_sub_3988856810_91900896(IEEE_P_3564397177, t2, t3, t5, t4);
    xsi_set_current_line(85, ng0);
    t2 = (t0 + 1612U);
    t3 = *((char **)t2);
    t4 = ((IEEE_P_2592010699) + 2332);
    t5 = (t0 + 5904U);
    t2 = xsi_base_array_concat(t2, t14, t4, (char)99, (unsigned char)2, (char)97, t3, t5, (char)101);
    t6 = (t0 + 1544U);
    t12 = *((char **)t6);
    t15 = (3 - 3);
    t16 = (t15 * 1U);
    t17 = (0 + t16);
    t6 = (t12 + t17);
    t19 = ((IEEE_P_2592010699) + 2332);
    t21 = (t20 + 0U);
    t22 = (t21 + 0U);
    *((int *)t22) = 3;
    t22 = (t21 + 4U);
    *((int *)t22) = 1;
    t22 = (t21 + 8U);
    *((int *)t22) = -1;
    t23 = (1 - 3);
    t24 = (t23 * -1);
    t24 = (t24 + 1);
    t22 = (t21 + 12U);
    *((unsigned int *)t22) = t24;
    t13 = xsi_base_array_concat(t13, t18, t19, (char)97, t2, t14, (char)97, t6, t20, (char)101);
    t25 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t13, t18);
    t22 = (t0 + 1680U);
    t26 = *((char **)t22);
    t22 = (t26 + 0);
    *((int *)t22) = t25;
    xsi_set_current_line(86, ng0);
    t2 = (t0 + 6088);
    *((int *)t2) = 0;
    t3 = (t0 + 6092);
    *((int *)t3) = 5;
    t23 = 0;
    t25 = 5;

LAB14:    if (t23 <= t25)
        goto LAB15;

LAB17:    xsi_set_current_line(90, ng0);
    t2 = (t0 + 1680U);
    t3 = *((char **)t2);
    t23 = *((int *)t3);
    t2 = (t0 + 6096);
    *((int *)t2) = 1;
    t4 = (t0 + 6100);
    *((int *)t4) = t23;
    t25 = 1;
    t27 = t23;

LAB19:    if (t25 <= t27)
        goto LAB20;

LAB22:    goto LAB10;

LAB12:;
LAB15:    xsi_set_current_line(87, ng0);
    t4 = (t0 + 2452);
    t5 = (t0 + 2040U);
    t6 = (t0 + 1544U);
    t12 = *((char **)t6);
    t6 = (t0 + 5888U);
    ieee_p_3564397177_sub_3988856810_91900896(IEEE_P_3564397177, t4, t5, t12, t6);

LAB16:    t2 = (t0 + 6088);
    t23 = *((int *)t2);
    t3 = (t0 + 6092);
    t25 = *((int *)t3);
    if (t23 == t25)
        goto LAB17;

LAB18:    t27 = (t23 + 1);
    t23 = t27;
    t4 = (t0 + 6088);
    *((int *)t4) = t23;
    goto LAB14;

LAB20:    xsi_set_current_line(91, ng0);
    t5 = (t0 + 2452);
    t6 = (t0 + 2040U);
    t12 = (t0 + 1612U);
    t13 = *((char **)t12);
    t12 = (t0 + 5904U);
    ieee_p_3564397177_sub_3988856810_91900896(IEEE_P_3564397177, t5, t6, t13, t12);
    xsi_set_current_line(92, ng0);
    t2 = (t0 + 2452);
    t3 = (t0 + 2040U);
    t4 = (t0 + 1544U);
    t5 = *((char **)t4);
    t4 = (t0 + 5888U);
    ieee_p_3564397177_sub_3988856810_91900896(IEEE_P_3564397177, t2, t3, t5, t4);
    xsi_set_current_line(93, ng0);
    t2 = (t0 + 1612U);
    t3 = *((char **)t2);
    t2 = (t0 + 1544U);
    t4 = *((char **)t2);
    t5 = ((IEEE_P_2592010699) + 2332);
    t6 = (t0 + 5904U);
    t12 = (t0 + 5888U);
    t2 = xsi_base_array_concat(t2, t14, t5, (char)97, t3, t6, (char)97, t4, t12, (char)101);
    t13 = (t0 + 1748U);
    t19 = *((char **)t13);
    t15 = (15 - 7);
    t16 = (t15 * 1U);
    t17 = (0 + t16);
    t13 = (t19 + t17);
    t24 = (4U + 4U);
    memcpy(t13, t2, t24);
    xsi_set_current_line(95, ng0);
    t2 = (t0 + 2452);
    t3 = (t0 + 2040U);
    t4 = (t0 + 1612U);
    t5 = *((char **)t4);
    t4 = (t0 + 5904U);
    ieee_p_3564397177_sub_3988856810_91900896(IEEE_P_3564397177, t2, t3, t5, t4);
    xsi_set_current_line(96, ng0);
    t2 = (t0 + 2452);
    t3 = (t0 + 2040U);
    t4 = (t0 + 1544U);
    t5 = *((char **)t4);
    t4 = (t0 + 5888U);
    ieee_p_3564397177_sub_3988856810_91900896(IEEE_P_3564397177, t2, t3, t5, t4);
    xsi_set_current_line(97, ng0);
    t2 = (t0 + 1612U);
    t3 = *((char **)t2);
    t2 = (t0 + 1544U);
    t4 = *((char **)t2);
    t5 = ((IEEE_P_2592010699) + 2332);
    t6 = (t0 + 5904U);
    t12 = (t0 + 5888U);
    t2 = xsi_base_array_concat(t2, t14, t5, (char)97, t3, t6, (char)97, t4, t12, (char)101);
    t13 = (t0 + 1748U);
    t19 = *((char **)t13);
    t15 = (15 - 15);
    t16 = (t15 * 1U);
    t17 = (0 + t16);
    t13 = (t19 + t17);
    t24 = (4U + 4U);
    memcpy(t13, t2, t24);
    xsi_set_current_line(99, ng0);
    t2 = (t0 + 1748U);
    t3 = *((char **)t2);
    t2 = (t0 + 2892);
    t4 = (t2 + 32U);
    t5 = *((char **)t4);
    t6 = (t5 + 40U);
    t12 = *((char **)t6);
    memcpy(t12, t3, 16U);
    xsi_driver_first_trans_fast(t2);
    xsi_set_current_line(100, ng0);
    t2 = (t0 + 1408U);
    t3 = *((char **)t2);
    t28 = *((int64 *)t3);
    t29 = (1 * t28);
    t2 = (t0 + 2452);
    xsi_process_wait(t2, t29);

LAB25:    *((char **)t1) = &&LAB26;
    goto LAB1;

LAB21:    t2 = (t0 + 6096);
    t25 = *((int *)t2);
    t3 = (t0 + 6100);
    t27 = *((int *)t3);
    if (t25 == t27)
        goto LAB22;

LAB27:    t23 = (t25 + 1);
    t25 = t23;
    t4 = (t0 + 6096);
    *((int *)t4) = t25;
    goto LAB19;

LAB23:    goto LAB21;

LAB24:    goto LAB23;

LAB26:    goto LAB24;

LAB28:    xsi_set_current_line(113, ng0);
    t2 = (t0 + 6104);
    t4 = (t0 + 2928);
    t5 = (t4 + 32U);
    t6 = *((char **)t5);
    t12 = (t6 + 40U);
    t13 = *((char **)t12);
    memcpy(t13, t2, 8U);
    xsi_driver_first_trans_fast(t4);
    xsi_set_current_line(114, ng0);
    t2 = (t0 + 1408U);
    t3 = *((char **)t2);
    t28 = *((int64 *)t3);
    t29 = (60 * t28);
    t2 = (t0 + 2452);
    xsi_process_wait(t2, t29);

LAB34:    *((char **)t1) = &&LAB35;
    goto LAB1;

LAB29:    goto LAB28;

LAB31:    goto LAB29;

LAB32:    xsi_set_current_line(116, ng0);
    if ((unsigned char)0 == 0)
        goto LAB36;

LAB37:    goto LAB2;

LAB33:    goto LAB32;

LAB35:    goto LAB33;

LAB36:    t2 = (t0 + 6112);
    xsi_report(t2, 19U, (unsigned char)3);
    goto LAB37;

}
static void work_a_1632567566_3212880686_p_0(char *t0)
{
    char *t1;
    char *t2;
    int t3;
    unsigned char t4;
    unsigned char t5;
    char *t6;
    char *t7;
    unsigned char t8;
    unsigned char t9;
    char *t10;
    unsigned char t11;
    unsigned char t12;
    char *t13;
    char *t14;
    int t15;
    int t16;
    unsigned int t17;
    unsigned int t18;
    unsigned int t19;
    char *t20;
    char *t21;
    char *t22;
    char *t23;
    char *t24;
    char *t25;

LAB0:    xsi_set_current_line(129, ng0);
    t1 = (t0 + 1512U);
    t2 = *((char **)t1);
    t1 = (t0 + 5712U);
    t3 = ieee_p_3620187407_sub_5109402382352621412_3965413181(IEEE_P_3620187407, t2, t1);
    t4 = (t3 < 63);
    if (t4 != 0)
        goto LAB2;

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

LAB1:    return;
LAB2:    xsi_set_current_line(130, ng0);
    t6 = (t0 + 1352U);
    t7 = *((char **)t6);
    t8 = *((unsigned char *)t7);
    t9 = (t8 == (unsigned char)3);
    if (t9 == 1)
        goto LAB8;

LAB9:    t5 = (unsigned char)0;

LAB10:    if (t5 != 0)
        goto LAB5;

LAB7:    t1 = (t0 + 1352U);
    t2 = *((char **)t1);
    t5 = *((unsigned char *)t2);
    t8 = (t5 == (unsigned char)2);
    if (t8 == 1)
        goto LAB13;

LAB14:    t4 = (unsigned char)0;

LAB15:    if (t4 != 0)
        goto LAB11;

LAB12:
LAB6:    goto LAB3;

LAB5:    xsi_set_current_line(131, ng0);
    t6 = (t0 + 2128U);
    t13 = *((char **)t6);
    t6 = (t0 + 1512U);
    t14 = *((char **)t6);
    t6 = (t0 + 5712U);
    t15 = ieee_p_3620187407_sub_5109402382352621412_3965413181(IEEE_P_3620187407, t14, t6);
    t16 = (t15 - 0);
    t17 = (t16 * 1);
    xsi_vhdl_check_range_of_index(0, 63, 1, t15);
    t18 = (32U * t17);
    t19 = (0 + t18);
    t20 = (t13 + t19);
    t21 = (t0 + 3504);
    t22 = (t21 + 56U);
    t23 = *((char **)t22);
    t24 = (t23 + 56U);
    t25 = *((char **)t24);
    memcpy(t25, t20, 32U);
    xsi_driver_first_trans_fast_port(t21);
    goto LAB6;

LAB8:    t6 = (t0 + 1192U);
    t10 = *((char **)t6);
    t11 = *((unsigned char *)t10);
    t12 = (t11 == (unsigned char)2);
    t5 = t12;
    goto LAB10;

LAB11:    xsi_set_current_line(133, ng0);
    t1 = (t0 + 1672U);
    t7 = *((char **)t1);
    t1 = (t0 + 2128U);
    t10 = *((char **)t1);
    t1 = (t0 + 1512U);
    t13 = *((char **)t1);
    t1 = (t0 + 5712U);
    t3 = ieee_p_3620187407_sub_5109402382352621412_3965413181(IEEE_P_3620187407, t13, t1);
    t15 = (t3 - 0);
    t17 = (t15 * 1);
    xsi_vhdl_check_range_of_index(0, 63, 1, t3);
    t18 = (32U * t17);
    t19 = (0 + t18);
    t14 = (t10 + t19);
    memcpy(t14, t7, 32U);
    t20 = (t0 + 2072U);
    xsi_variable_act(t20);
    goto LAB6;

LAB13:    t1 = (t0 + 1192U);
    t6 = *((char **)t1);
    t9 = *((unsigned char *)t6);
    t11 = (t9 == (unsigned char)3);
    t4 = t11;
    goto LAB15;

}