static void work_a_3045248018_1516540902_p_3(char *t0)
{
    char t1[16];
    char t5[16];
    char *t2;
    char *t3;
    char *t4;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;
    char *t12;
    char *t13;
    char *t14;
    char *t15;

LAB0:    xsi_set_current_line(75, ng0);

LAB3:    t2 = (t0 + 1972U);
    t3 = *((char **)t2);
    t2 = (t0 + 2064U);
    t4 = *((char **)t2);
    t6 = ((IEEE_P_2592010699) + 2332);
    t7 = (t0 + 9008U);
    t8 = (t0 + 9024U);
    t2 = xsi_base_array_concat(t2, t5, t6, (char)97, t3, t7, (char)97, t4, t8, (char)101);
    t9 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t1, t2, t5, 1);
    t10 = (t0 + 5052);
    t11 = (t10 + 32U);
    t12 = *((char **)t11);
    t13 = (t12 + 40U);
    t14 = *((char **)t13);
    memcpy(t14, t9, 16U);
    xsi_driver_first_trans_fast(t10);

LAB2:    t15 = (t0 + 4844);
    *((int *)t15) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}
static void work_a_0832606739_1499595665_p_0(char *t0)
{
    char t71[16];
    char t82[16];
    char t128[16];
    char t129[16];
    char *t1;
    char *t2;
    char *t3;
    int t4;
    char *t5;
    char *t6;
    int t7;
    char *t8;
    char *t9;
    int t10;
    char *t11;
    char *t12;
    int t13;
    char *t14;
    char *t15;
    int t16;
    char *t17;
    char *t18;
    int t19;
    char *t20;
    char *t21;
    int t22;
    char *t23;
    char *t24;
    int t25;
    char *t26;
    char *t27;
    int t28;
    char *t29;
    char *t30;
    int t31;
    char *t32;
    char *t33;
    int t34;
    char *t35;
    char *t36;
    int t37;
    char *t38;
    char *t39;
    int t40;
    char *t41;
    char *t42;
    int t43;
    char *t44;
    char *t45;
    int t46;
    char *t47;
    char *t48;
    int t49;
    char *t50;
    int t52;
    char *t53;
    int t55;
    char *t56;
    int t58;
    char *t59;
    int t61;
    char *t62;
    int t64;
    char *t65;
    int t67;
    char *t68;
    int t70;
    char *t72;
    char *t73;
    char *t74;
    char *t75;
    char *t76;
    char *t77;
    char *t78;
    char *t79;
    char *t80;
    char *t81;
    unsigned char t83;
    unsigned int t84;
    unsigned int t85;
    unsigned int t86;
    unsigned char t87;
    unsigned char t88;
    unsigned char t89;
    unsigned char t90;
    unsigned char t91;
    unsigned int t92;
    unsigned int t93;
    unsigned int t94;
    unsigned char t95;
    unsigned char t96;
    unsigned int t97;
    unsigned int t98;
    unsigned int t99;
    unsigned char t100;
    unsigned char t101;
    unsigned int t102;
    unsigned int t103;
    unsigned int t104;
    unsigned char t105;
    unsigned char t106;
    unsigned char t107;
    unsigned char t108;
    unsigned int t109;
    unsigned int t110;
    unsigned int t111;
    unsigned char t112;
    unsigned char t113;
    unsigned int t114;
    unsigned int t115;
    unsigned int t116;
    unsigned char t117;
    unsigned char t118;
    unsigned int t119;
    unsigned int t120;
    unsigned int t121;
    unsigned char t122;
    unsigned char t123;
    unsigned char t124;
    unsigned int t125;
    unsigned char t126;
    unsigned char t127;

LAB0:    xsi_set_current_line(26, ng0);
    t1 = (t0 + 1052U);
    t2 = *((char **)t1);
    t1 = (t0 + 3924);
    t4 = xsi_mem_cmp(t1, t2, 6U);
    if (t4 == 1)
        goto LAB3;

LAB27:    t5 = (t0 + 3930);
    t7 = xsi_mem_cmp(t5, t2, 6U);
    if (t7 == 1)
        goto LAB4;

LAB28:    t8 = (t0 + 3936);
    t10 = xsi_mem_cmp(t8, t2, 6U);
    if (t10 == 1)
        goto LAB5;

LAB29:    t11 = (t0 + 3942);
    t13 = xsi_mem_cmp(t11, t2, 6U);
    if (t13 == 1)
        goto LAB6;

LAB30:    t14 = (t0 + 3948);
    t16 = xsi_mem_cmp(t14, t2, 6U);
    if (t16 == 1)
        goto LAB7;

LAB31:    t17 = (t0 + 3954);
    t19 = xsi_mem_cmp(t17, t2, 6U);
    if (t19 == 1)
        goto LAB8;

LAB32:    t20 = (t0 + 3960);
    t22 = xsi_mem_cmp(t20, t2, 6U);
    if (t22 == 1)
        goto LAB9;

LAB33:    t23 = (t0 + 3966);
    t25 = xsi_mem_cmp(t23, t2, 6U);
    if (t25 == 1)
        goto LAB10;

LAB34:    t26 = (t0 + 3972);
    t28 = xsi_mem_cmp(t26, t2, 6U);
    if (t28 == 1)
        goto LAB11;

LAB35:    t29 = (t0 + 3978);
    t31 = xsi_mem_cmp(t29, t2, 6U);
    if (t31 == 1)
        goto LAB12;

LAB36:    t32 = (t0 + 3984);
    t34 = xsi_mem_cmp(t32, t2, 6U);
    if (t34 == 1)
        goto LAB13;

LAB37:    t35 = (t0 + 3990);
    t37 = xsi_mem_cmp(t35, t2, 6U);
    if (t37 == 1)
        goto LAB14;

LAB38:    t38 = (t0 + 3996);
    t40 = xsi_mem_cmp(t38, t2, 6U);
    if (t40 == 1)
        goto LAB15;

LAB39:    t41 = (t0 + 4002);
    t43 = xsi_mem_cmp(t41, t2, 6U);
    if (t43 == 1)
        goto LAB16;

LAB40:    t44 = (t0 + 4008);
    t46 = xsi_mem_cmp(t44, t2, 6U);
    if (t46 == 1)
        goto LAB17;

LAB41:    t47 = (t0 + 4014);
    t49 = xsi_mem_cmp(t47, t2, 6U);
    if (t49 == 1)
        goto LAB18;

LAB42:    t50 = (t0 + 4020);
    t52 = xsi_mem_cmp(t50, t2, 6U);
    if (t52 == 1)
        goto LAB19;

LAB43:    t53 = (t0 + 4026);
    t55 = xsi_mem_cmp(t53, t2, 6U);
    if (t55 == 1)
        goto LAB20;

LAB44:    t56 = (t0 + 4032);
    t58 = xsi_mem_cmp(t56, t2, 6U);
    if (t58 == 1)
        goto LAB21;

LAB45:    t59 = (t0 + 4038);
    t61 = xsi_mem_cmp(t59, t2, 6U);
    if (t61 == 1)
        goto LAB22;

LAB46:    t62 = (t0 + 4044);
    t64 = xsi_mem_cmp(t62, t2, 6U);
    if (t64 == 1)
        goto LAB23;

LAB47:    t65 = (t0 + 4050);
    t67 = xsi_mem_cmp(t65, t2, 6U);
    if (t67 == 1)
        goto LAB24;

LAB48:    t68 = (t0 + 4056);
    t70 = xsi_mem_cmp(t68, t2, 6U);
    if (t70 == 1)
        goto LAB25;

LAB49:
LAB26:    xsi_set_current_line(52, ng0);
    t1 = (t0 + 4062);
    t3 = (t0 + 2264);
    t5 = (t3 + 32U);
    t6 = *((char **)t5);
    t8 = (t6 + 40U);
    t9 = *((char **)t8);
    memcpy(t9, t1, 32U);
    xsi_driver_first_trans_fast_port(t3);

LAB2:    xsi_set_current_line(55, ng0);
    t1 = (t0 + 1052U);
    t2 = *((char **)t1);
    t4 = (4 - 5);
    t84 = (t4 * -1);
    t85 = (1U * t84);
    t86 = (0 + t85);
    t1 = (t2 + t86);
    t83 = *((unsigned char *)t1);
    t87 = (t83 == (unsigned char)3);
    if (t87 != 0)
        goto LAB51;

LAB53:    xsi_set_current_line(81, ng0);
    t1 = (t0 + 4142);
    t3 = (t0 + 2300);
    t5 = (t3 + 32U);
    t6 = *((char **)t5);
    t8 = (t6 + 40U);
    t9 = *((char **)t8);
    memcpy(t9, t1, 4U);
    xsi_driver_first_trans_fast_port(t3);

LAB52:    t1 = (t0 + 2184);
    *((int *)t1) = 1;

LAB1:    return;
LAB3:    xsi_set_current_line(27, ng0);
    t72 = (t0 + 776U);
    t73 = *((char **)t72);
    t72 = (t0 + 3684U);
    t74 = (t0 + 868U);
    t75 = *((char **)t74);
    t74 = (t0 + 3700U);
    t76 = ieee_p_3620187407_sub_767668596_3965413181(IEEE_P_3620187407, t71, t73, t72, t75, t74);
    t77 = (t0 + 2228);
    t78 = (t77 + 32U);
    t79 = *((char **)t78);
    t80 = (t79 + 40U);
    t81 = *((char **)t80);
    memcpy(t81, t76, 32U);
    xsi_driver_first_trans_fast(t77);
    xsi_set_current_line(28, ng0);
    t1 = (t0 + 1328U);
    t2 = *((char **)t1);
    t1 = (t0 + 2264);
    t3 = (t1 + 32U);
    t5 = *((char **)t3);
    t6 = (t5 + 40U);
    t8 = *((char **)t6);
    memcpy(t8, t2, 32U);
    xsi_driver_first_trans_fast_port(t1);
    goto LAB2;

LAB4:    xsi_set_current_line(29, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_3620187407_sub_767668596_3965413181(IEEE_P_3620187407, t71, t2, t1, t5, t3);
    t8 = (t0 + 2228);
    t9 = (t8 + 32U);
    t11 = *((char **)t9);
    t12 = (t11 + 40U);
    t14 = *((char **)t12);
    memcpy(t14, t6, 32U);
    xsi_driver_first_trans_fast(t8);
    xsi_set_current_line(30, ng0);
    t1 = (t0 + 1328U);
    t2 = *((char **)t1);
    t1 = (t0 + 2264);
    t3 = (t1 + 32U);
    t5 = *((char **)t3);
    t6 = (t5 + 40U);
    t8 = *((char **)t6);
    memcpy(t8, t2, 32U);
    xsi_driver_first_trans_fast_port(t1);
    goto LAB2;

LAB5:    xsi_set_current_line(31, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_3620187407_sub_767668596_3965413181(IEEE_P_3620187407, t82, t2, t1, t5, t3);
    t8 = (t0 + 960U);
    t9 = *((char **)t8);
    t83 = *((unsigned char *)t9);
    t8 = ieee_p_3620187407_sub_674691591_3965413181(IEEE_P_3620187407, t71, t6, t82, t83);
    t11 = (t0 + 2264);
    t12 = (t11 + 32U);
    t14 = *((char **)t12);
    t15 = (t14 + 40U);
    t17 = *((char **)t15);
    memcpy(t17, t8, 32U);
    xsi_driver_first_trans_fast_port(t11);
    goto LAB2;

LAB6:    xsi_set_current_line(32, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_3620187407_sub_767668596_3965413181(IEEE_P_3620187407, t82, t2, t1, t5, t3);
    t8 = (t0 + 960U);
    t9 = *((char **)t8);
    t83 = *((unsigned char *)t9);
    t8 = ieee_p_3620187407_sub_674691591_3965413181(IEEE_P_3620187407, t71, t6, t82, t83);
    t11 = (t0 + 2264);
    t12 = (t11 + 32U);
    t14 = *((char **)t12);
    t15 = (t14 + 40U);
    t17 = *((char **)t15);
    memcpy(t17, t8, 32U);
    xsi_driver_first_trans_fast_port(t11);
    goto LAB2;

LAB7:    xsi_set_current_line(33, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_3620187407_sub_767740470_3965413181(IEEE_P_3620187407, t71, t2, t1, t5, t3);
    t8 = (t0 + 2264);
    t9 = (t8 + 32U);
    t11 = *((char **)t9);
    t12 = (t11 + 40U);
    t14 = *((char **)t12);
    memcpy(t14, t6, 32U);
    xsi_driver_first_trans_fast_port(t8);
    goto LAB2;

LAB8:    xsi_set_current_line(34, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_3620187407_sub_767740470_3965413181(IEEE_P_3620187407, t71, t2, t1, t5, t3);
    t8 = (t0 + 2264);
    t9 = (t8 + 32U);
    t11 = *((char **)t9);
    t12 = (t11 + 40U);
    t14 = *((char **)t12);
    memcpy(t14, t6, 32U);
    xsi_driver_first_trans_fast_port(t8);
    goto LAB2;

LAB9:    xsi_set_current_line(35, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_3620187407_sub_767740470_3965413181(IEEE_P_3620187407, t82, t2, t1, t5, t3);
    t8 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t71, t6, t82, 1);
    t9 = (t0 + 2264);
    t11 = (t9 + 32U);
    t12 = *((char **)t11);
    t14 = (t12 + 40U);
    t15 = *((char **)t14);
    memcpy(t15, t8, 32U);
    xsi_driver_first_trans_fast_port(t9);
    goto LAB2;

LAB10:    xsi_set_current_line(36, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_3620187407_sub_767740470_3965413181(IEEE_P_3620187407, t82, t2, t1, t5, t3);
    t8 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t71, t6, t82, 1);
    t9 = (t0 + 2264);
    t11 = (t9 + 32U);
    t12 = *((char **)t11);
    t14 = (t12 + 40U);
    t15 = *((char **)t14);
    memcpy(t15, t8, 32U);
    xsi_driver_first_trans_fast_port(t9);
    goto LAB2;

LAB11:    xsi_set_current_line(37, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_2592010699_sub_795620321_503743352(IEEE_P_2592010699, t71, t2, t1, t5, t3);
    t8 = (t0 + 2264);
    t9 = (t8 + 32U);
    t11 = *((char **)t9);
    t12 = (t11 + 40U);
    t14 = *((char **)t12);
    memcpy(t14, t6, 32U);
    xsi_driver_first_trans_fast_port(t8);
    goto LAB2;

LAB12:    xsi_set_current_line(38, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_2592010699_sub_795620321_503743352(IEEE_P_2592010699, t71, t2, t1, t5, t3);
    t8 = (t0 + 2264);
    t9 = (t8 + 32U);
    t11 = *((char **)t9);
    t12 = (t11 + 40U);
    t14 = *((char **)t12);
    memcpy(t14, t6, 32U);
    xsi_driver_first_trans_fast_port(t8);
    goto LAB2;

LAB13:    xsi_set_current_line(39, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_2592010699_sub_795620321_503743352(IEEE_P_2592010699, t82, t2, t1, t5, t3);
    t8 = ieee_p_2592010699_sub_1837678034_503743352(IEEE_P_2592010699, t71, t6, t82);
    t9 = (t0 + 2264);
    t11 = (t9 + 32U);
    t12 = *((char **)t11);
    t14 = (t12 + 40U);
    t15 = *((char **)t14);
    memcpy(t15, t8, 32U);
    xsi_driver_first_trans_fast_port(t9);
    goto LAB2;

LAB14:    xsi_set_current_line(40, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_2592010699_sub_795620321_503743352(IEEE_P_2592010699, t82, t2, t1, t5, t3);
    t8 = ieee_p_2592010699_sub_1837678034_503743352(IEEE_P_2592010699, t71, t6, t82);
    t9 = (t0 + 2264);
    t11 = (t9 + 32U);
    t12 = *((char **)t11);
    t14 = (t12 + 40U);
    t15 = *((char **)t14);
    memcpy(t15, t8, 32U);
    xsi_driver_first_trans_fast_port(t9);
    goto LAB2;

LAB15:    xsi_set_current_line(41, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_2592010699_sub_1735675855_503743352(IEEE_P_2592010699, t71, t2, t1, t5, t3);
    t8 = (t0 + 2264);
    t9 = (t8 + 32U);
    t11 = *((char **)t9);
    t12 = (t11 + 40U);
    t14 = *((char **)t12);
    memcpy(t14, t6, 32U);
    xsi_driver_first_trans_fast_port(t8);
    goto LAB2;

LAB16:    xsi_set_current_line(42, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_2592010699_sub_1735675855_503743352(IEEE_P_2592010699, t71, t2, t1, t5, t3);
    t8 = (t0 + 2264);
    t9 = (t8 + 32U);
    t11 = *((char **)t9);
    t12 = (t11 + 40U);
    t14 = *((char **)t12);
    memcpy(t14, t6, 32U);
    xsi_driver_first_trans_fast_port(t8);
    goto LAB2;

LAB17:    xsi_set_current_line(43, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_2592010699_sub_1735675855_503743352(IEEE_P_2592010699, t82, t2, t1, t5, t3);
    t8 = ieee_p_2592010699_sub_1837678034_503743352(IEEE_P_2592010699, t71, t6, t82);
    t9 = (t0 + 2264);
    t11 = (t9 + 32U);
    t12 = *((char **)t11);
    t14 = (t12 + 40U);
    t15 = *((char **)t14);
    memcpy(t15, t8, 32U);
    xsi_driver_first_trans_fast_port(t9);
    goto LAB2;

LAB18:    xsi_set_current_line(44, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_2592010699_sub_1735675855_503743352(IEEE_P_2592010699, t82, t2, t1, t5, t3);
    t8 = ieee_p_2592010699_sub_1837678034_503743352(IEEE_P_2592010699, t71, t6, t82);
    t9 = (t0 + 2264);
    t11 = (t9 + 32U);
    t12 = *((char **)t11);
    t14 = (t12 + 40U);
    t15 = *((char **)t14);
    memcpy(t15, t8, 32U);
    xsi_driver_first_trans_fast_port(t9);
    goto LAB2;

LAB19:    xsi_set_current_line(45, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_2592010699_sub_1697423399_503743352(IEEE_P_2592010699, t71, t2, t1, t5, t3);
    t8 = (t0 + 2264);
    t9 = (t8 + 32U);
    t11 = *((char **)t9);
    t12 = (t11 + 40U);
    t14 = *((char **)t12);
    memcpy(t14, t6, 32U);
    xsi_driver_first_trans_fast_port(t8);
    goto LAB2;

LAB20:    xsi_set_current_line(46, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_2592010699_sub_1697423399_503743352(IEEE_P_2592010699, t71, t2, t1, t5, t3);
    t8 = (t0 + 2264);
    t9 = (t8 + 32U);
    t11 = *((char **)t9);
    t12 = (t11 + 40U);
    t14 = *((char **)t12);
    memcpy(t14, t6, 32U);
    xsi_driver_first_trans_fast_port(t8);
    goto LAB2;

LAB21:    xsi_set_current_line(47, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_2592010699_sub_43738421_503743352(IEEE_P_2592010699, t71, t2, t1, t5, t3);
    t8 = (t0 + 2264);
    t9 = (t8 + 32U);
    t11 = *((char **)t9);
    t12 = (t11 + 40U);
    t14 = *((char **)t12);
    memcpy(t14, t6, 32U);
    xsi_driver_first_trans_fast_port(t8);
    goto LAB2;

LAB22:    xsi_set_current_line(48, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t6 = ieee_p_2592010699_sub_43738421_503743352(IEEE_P_2592010699, t71, t2, t1, t5, t3);
    t8 = (t0 + 2264);
    t9 = (t8 + 32U);
    t11 = *((char **)t9);
    t12 = (t11 + 40U);
    t14 = *((char **)t12);
    memcpy(t14, t6, 32U);
    xsi_driver_first_trans_fast_port(t8);
    goto LAB2;

LAB23:    xsi_set_current_line(49, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = ieee_p_2592010699_sub_3293060193_503743352(IEEE_P_2592010699, t82, t2, t1, (unsigned char)0);
    t5 = (t82 + 12U);
    t84 = *((unsigned int *)t5);
    t84 = (t84 * 1U);
    t6 = (t0 + 868U);
    t8 = *((char **)t6);
    t6 = (t0 + 3700U);
    t4 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t8, t6);
    t9 = xsi_vhdl_bitvec_sll(t9, t3, t84, t4);
    t11 = ieee_p_2592010699_sub_393209765_503743352(IEEE_P_2592010699, t71, t9, t82);
    t12 = (t0 + 2264);
    t14 = (t12 + 32U);
    t15 = *((char **)t14);
    t17 = (t15 + 40U);
    t18 = *((char **)t17);
    memcpy(t18, t11, 32U);
    xsi_driver_first_trans_fast_port(t12);
    goto LAB2;

LAB24:    xsi_set_current_line(50, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = ieee_p_2592010699_sub_3293060193_503743352(IEEE_P_2592010699, t82, t2, t1, (unsigned char)0);
    t5 = (t82 + 12U);
    t84 = *((unsigned int *)t5);
    t84 = (t84 * 1U);
    t6 = (t0 + 868U);
    t8 = *((char **)t6);
    t6 = (t0 + 3700U);
    t4 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t8, t6);
    t9 = xsi_vhdl_bitvec_srl(t9, t3, t84, t4);
    t11 = ieee_p_2592010699_sub_393209765_503743352(IEEE_P_2592010699, t71, t9, t82);
    t12 = (t0 + 2264);
    t14 = (t12 + 32U);
    t15 = *((char **)t14);
    t17 = (t15 + 40U);
    t18 = *((char **)t17);
    memcpy(t18, t11, 32U);
    xsi_driver_first_trans_fast_port(t12);
    goto LAB2;

LAB25:    xsi_set_current_line(51, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = ieee_p_2592010699_sub_3293060193_503743352(IEEE_P_2592010699, t82, t2, t1, (unsigned char)0);
    t5 = (t82 + 12U);
    t84 = *((unsigned int *)t5);
    t84 = (t84 * 1U);
    t6 = (t0 + 868U);
    t8 = *((char **)t6);
    t6 = (t0 + 3700U);
    t4 = ieee_p_3620187407_sub_514432868_3965413181(IEEE_P_3620187407, t8, t6);
    t9 = xsi_vhdl_bitvec_sra(t9, t3, t84, t4);
    t11 = ieee_p_2592010699_sub_393209765_503743352(IEEE_P_2592010699, t71, t9, t82);
    t12 = (t0 + 2264);
    t14 = (t12 + 32U);
    t15 = *((char **)t14);
    t17 = (t15 + 40U);
    t18 = *((char **)t17);
    memcpy(t18, t11, 32U);
    xsi_driver_first_trans_fast_port(t12);
    goto LAB2;

LAB50:;
LAB51:    xsi_set_current_line(57, ng0);
    t3 = (t0 + 776U);
    t5 = *((char **)t3);
    t7 = (31 - 31);
    t92 = (t7 * -1);
    t93 = (1U * t92);
    t94 = (0 + t93);
    t3 = (t5 + t94);
    t95 = *((unsigned char *)t3);
    t96 = (t95 == (unsigned char)3);
    if (t96 == 1)
        goto LAB66;

LAB67:    t91 = (unsigned char)0;

LAB68:    if (t91 == 1)
        goto LAB63;

LAB64:    t90 = (unsigned char)0;

LAB65:    if (t90 == 1)
        goto LAB60;

LAB61:    t12 = (t0 + 776U);
    t14 = *((char **)t12);
    t16 = (31 - 31);
    t109 = (t16 * -1);
    t110 = (1U * t109);
    t111 = (0 + t110);
    t12 = (t14 + t111);
    t112 = *((unsigned char *)t12);
    t113 = (t112 == (unsigned char)2);
    if (t113 == 1)
        goto LAB72;

LAB73:    t108 = (unsigned char)0;

LAB74:    if (t108 == 1)
        goto LAB69;

LAB70:    t107 = (unsigned char)0;

LAB71:    t89 = t107;

LAB62:    if (t89 == 1)
        goto LAB57;

LAB58:    t88 = (unsigned char)0;

LAB59:    if (t88 != 0)
        goto LAB54;

LAB56:    xsi_set_current_line(60, ng0);
    t1 = (t0 + 2300);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t5 = (t3 + 40U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)2;
    xsi_driver_first_trans_delta(t1, 2U, 1, 0LL);

LAB55:    xsi_set_current_line(63, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t4 = (31 - 31);
    t84 = (t4 * -1);
    t85 = (1U * t84);
    t86 = (0 + t85);
    t1 = (t2 + t86);
    t89 = *((unsigned char *)t1);
    t90 = (t89 == (unsigned char)3);
    if (t90 == 1)
        goto LAB87;

LAB88:    t88 = (unsigned char)0;

LAB89:    if (t88 == 1)
        goto LAB84;

LAB85:    t6 = (t0 + 776U);
    t8 = *((char **)t6);
    t10 = (31 - 31);
    t97 = (t10 * -1);
    t98 = (1U * t97);
    t99 = (0 + t98);
    t6 = (t8 + t99);
    t100 = *((unsigned char *)t6);
    t101 = (t100 == (unsigned char)2);
    if (t101 == 1)
        goto LAB90;

LAB91:    t96 = (unsigned char)0;

LAB92:    t87 = t96;

LAB86:    if (t87 == 1)
        goto LAB81;

LAB82:    t83 = (unsigned char)0;

LAB83:    if (t83 != 0)
        goto LAB78;

LAB80:    xsi_set_current_line(66, ng0);
    t1 = (t0 + 2300);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t5 = (t3 + 40U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)2;
    xsi_driver_first_trans_delta(t1, 3U, 1, 0LL);

LAB79:    xsi_set_current_line(69, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t87 = ieee_p_3620187407_sub_1742983514_3965413181(IEEE_P_3620187407, t2, t1, t5, t3);
    if (t87 == 1)
        goto LAB105;

LAB106:    t83 = (unsigned char)0;

LAB107:    if (t83 != 0)
        goto LAB102;

LAB104:    xsi_set_current_line(72, ng0);
    t1 = (t0 + 2300);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t5 = (t3 + 40U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)2;
    xsi_driver_first_trans_delta(t1, 0U, 1, 0LL);

LAB103:    xsi_set_current_line(75, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t1 = (t0 + 3684U);
    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t3 = (t0 + 3700U);
    t83 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t2, t1, t5, t3);
    if (t83 != 0)
        goto LAB111;

LAB113:    xsi_set_current_line(78, ng0);
    t1 = (t0 + 2300);
    t2 = (t1 + 32U);
    t3 = *((char **)t2);
    t5 = (t3 + 40U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)2;
    xsi_driver_first_trans_delta(t1, 1U, 1, 0LL);

LAB112:    goto LAB52;

LAB54:    xsi_set_current_line(58, ng0);
    t36 = (t0 + 2300);
    t38 = (t36 + 32U);
    t39 = *((char **)t38);
    t41 = (t39 + 40U);
    t42 = *((char **)t41);
    *((unsigned char *)t42) = (unsigned char)3;
    xsi_driver_first_trans_delta(t36, 2U, 1, 0LL);
    goto LAB55;

LAB57:    t21 = (t0 + 1052U);
    t23 = *((char **)t21);
    t21 = (t0 + 3716U);
    t24 = (t0 + 4094);
    t27 = (t71 + 0U);
    t29 = (t27 + 0U);
    *((int *)t29) = 0;
    t29 = (t27 + 4U);
    *((int *)t29) = 5;
    t29 = (t27 + 8U);
    *((int *)t29) = 1;
    t25 = (5 - 0);
    t125 = (t25 * 1);
    t125 = (t125 + 1);
    t29 = (t27 + 12U);
    *((unsigned int *)t29) = t125;
    t126 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t23, t21, t24, t71);
    if (t126 == 1)
        goto LAB75;

LAB76:    t29 = (t0 + 1052U);
    t30 = *((char **)t29);
    t29 = (t0 + 3716U);
    t32 = (t0 + 4100);
    t35 = (t82 + 0U);
    t36 = (t35 + 0U);
    *((int *)t36) = 0;
    t36 = (t35 + 4U);
    *((int *)t36) = 5;
    t36 = (t35 + 8U);
    *((int *)t36) = 1;
    t28 = (5 - 0);
    t125 = (t28 * 1);
    t125 = (t125 + 1);
    t36 = (t35 + 12U);
    *((unsigned int *)t36) = t125;
    t127 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t30, t29, t32, t82);
    t124 = t127;

LAB77:    t88 = t124;
    goto LAB59;

LAB60:    t89 = (unsigned char)1;
    goto LAB62;

LAB63:    t9 = (t0 + 1328U);
    t11 = *((char **)t9);
    t13 = (31 - 31);
    t102 = (t13 * -1);
    t103 = (1U * t102);
    t104 = (0 + t103);
    t9 = (t11 + t104);
    t105 = *((unsigned char *)t9);
    t106 = (t105 == (unsigned char)2);
    t90 = t106;
    goto LAB65;

LAB66:    t6 = (t0 + 868U);
    t8 = *((char **)t6);
    t10 = (31 - 31);
    t97 = (t10 * -1);
    t98 = (1U * t97);
    t99 = (0 + t98);
    t6 = (t8 + t99);
    t100 = *((unsigned char *)t6);
    t101 = (t100 == (unsigned char)3);
    t91 = t101;
    goto LAB68;

LAB69:    t18 = (t0 + 1328U);
    t20 = *((char **)t18);
    t22 = (31 - 31);
    t119 = (t22 * -1);
    t120 = (1U * t119);
    t121 = (0 + t120);
    t18 = (t20 + t121);
    t122 = *((unsigned char *)t18);
    t123 = (t122 == (unsigned char)3);
    t107 = t123;
    goto LAB71;

LAB72:    t15 = (t0 + 868U);
    t17 = *((char **)t15);
    t19 = (31 - 31);
    t114 = (t19 * -1);
    t115 = (1U * t114);
    t116 = (0 + t115);
    t15 = (t17 + t116);
    t117 = *((unsigned char *)t15);
    t118 = (t117 == (unsigned char)2);
    t108 = t118;
    goto LAB74;

LAB75:    t124 = (unsigned char)1;
    goto LAB77;

LAB78:    xsi_set_current_line(64, ng0);
    t42 = (t0 + 2300);
    t44 = (t42 + 32U);
    t45 = *((char **)t44);
    t47 = (t45 + 40U);
    t48 = *((char **)t47);
    *((unsigned char *)t48) = (unsigned char)3;
    xsi_driver_first_trans_delta(t42, 3U, 1, 0LL);
    goto LAB79;

LAB81:    t12 = (t0 + 1052U);
    t14 = *((char **)t12);
    t12 = (t0 + 3716U);
    t15 = (t0 + 4106);
    t18 = (t71 + 0U);
    t20 = (t18 + 0U);
    *((int *)t20) = 0;
    t20 = (t18 + 4U);
    *((int *)t20) = 5;
    t20 = (t18 + 8U);
    *((int *)t20) = 1;
    t16 = (5 - 0);
    t109 = (t16 * 1);
    t109 = (t109 + 1);
    t20 = (t18 + 12U);
    *((unsigned int *)t20) = t109;
    t113 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t14, t12, t15, t71);
    if (t113 == 1)
        goto LAB99;

LAB100:    t20 = (t0 + 1052U);
    t21 = *((char **)t20);
    t20 = (t0 + 3716U);
    t23 = (t0 + 4112);
    t26 = (t82 + 0U);
    t27 = (t26 + 0U);
    *((int *)t27) = 0;
    t27 = (t26 + 4U);
    *((int *)t27) = 5;
    t27 = (t26 + 8U);
    *((int *)t27) = 1;
    t19 = (5 - 0);
    t109 = (t19 * 1);
    t109 = (t109 + 1);
    t27 = (t26 + 12U);
    *((unsigned int *)t27) = t109;
    t117 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t21, t20, t23, t82);
    t112 = t117;

LAB101:    if (t112 == 1)
        goto LAB96;

LAB97:    t27 = (t0 + 1052U);
    t29 = *((char **)t27);
    t27 = (t0 + 3716U);
    t30 = (t0 + 4118);
    t33 = (t128 + 0U);
    t35 = (t33 + 0U);
    *((int *)t35) = 0;
    t35 = (t33 + 4U);
    *((int *)t35) = 5;
    t35 = (t33 + 8U);
    *((int *)t35) = 1;
    t22 = (5 - 0);
    t109 = (t22 * 1);
    t109 = (t109 + 1);
    t35 = (t33 + 12U);
    *((unsigned int *)t35) = t109;
    t118 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t29, t27, t30, t128);
    t108 = t118;

LAB98:    if (t108 == 1)
        goto LAB93;

LAB94:    t35 = (t0 + 1052U);
    t36 = *((char **)t35);
    t35 = (t0 + 3716U);
    t38 = (t0 + 4124);
    t41 = (t129 + 0U);
    t42 = (t41 + 0U);
    *((int *)t42) = 0;
    t42 = (t41 + 4U);
    *((int *)t42) = 5;
    t42 = (t41 + 8U);
    *((int *)t42) = 1;
    t25 = (5 - 0);
    t109 = (t25 * 1);
    t109 = (t109 + 1);
    t42 = (t41 + 12U);
    *((unsigned int *)t42) = t109;
    t122 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t36, t35, t38, t129);
    t107 = t122;

LAB95:    t83 = t107;
    goto LAB83;

LAB84:    t87 = (unsigned char)1;
    goto LAB86;

LAB87:    t3 = (t0 + 868U);
    t5 = *((char **)t3);
    t7 = (31 - 31);
    t92 = (t7 * -1);
    t93 = (1U * t92);
    t94 = (0 + t93);
    t3 = (t5 + t94);
    t91 = *((unsigned char *)t3);
    t95 = (t91 == (unsigned char)3);
    t88 = t95;
    goto LAB89;

LAB90:    t9 = (t0 + 868U);
    t11 = *((char **)t9);
    t13 = (31 - 31);
    t102 = (t13 * -1);
    t103 = (1U * t102);
    t104 = (0 + t103);
    t9 = (t11 + t104);
    t105 = *((unsigned char *)t9);
    t106 = (t105 == (unsigned char)2);
    t96 = t106;
    goto LAB92;

LAB93:    t107 = (unsigned char)1;
    goto LAB95;

LAB96:    t108 = (unsigned char)1;
    goto LAB98;

LAB99:    t112 = (unsigned char)1;
    goto LAB101;

LAB102:    xsi_set_current_line(70, ng0);
    t21 = (t0 + 2300);
    t23 = (t21 + 32U);
    t24 = *((char **)t23);
    t26 = (t24 + 40U);
    t27 = *((char **)t26);
    *((unsigned char *)t27) = (unsigned char)3;
    xsi_driver_first_trans_delta(t21, 0U, 1, 0LL);
    goto LAB103;

LAB105:    t6 = (t0 + 1052U);
    t8 = *((char **)t6);
    t6 = (t0 + 3716U);
    t9 = (t0 + 4130);
    t12 = (t71 + 0U);
    t14 = (t12 + 0U);
    *((int *)t14) = 0;
    t14 = (t12 + 4U);
    *((int *)t14) = 5;
    t14 = (t12 + 8U);
    *((int *)t14) = 1;
    t4 = (5 - 0);
    t84 = (t4 * 1);
    t84 = (t84 + 1);
    t14 = (t12 + 12U);
    *((unsigned int *)t14) = t84;
    t89 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t8, t6, t9, t71);
    if (t89 == 1)
        goto LAB108;

LAB109:    t14 = (t0 + 1052U);
    t15 = *((char **)t14);
    t14 = (t0 + 3716U);
    t17 = (t0 + 4136);
    t20 = (t82 + 0U);
    t21 = (t20 + 0U);
    *((int *)t21) = 0;
    t21 = (t20 + 4U);
    *((int *)t21) = 5;
    t21 = (t20 + 8U);
    *((int *)t21) = 1;
    t7 = (5 - 0);
    t84 = (t7 * 1);
    t84 = (t84 + 1);
    t21 = (t20 + 12U);
    *((unsigned int *)t21) = t84;
    t90 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t15, t14, t17, t82);
    t88 = t90;

LAB110:    t83 = t88;
    goto LAB107;

LAB108:    t88 = (unsigned char)1;
    goto LAB110;

LAB111:    xsi_set_current_line(76, ng0);
    t6 = (t0 + 2300);
    t8 = (t6 + 32U);
    t9 = *((char **)t8);
    t11 = (t9 + 40U);
    t12 = *((char **)t11);
    *((unsigned char *)t12) = (unsigned char)3;
    xsi_driver_first_trans_delta(t6, 1U, 1, 0LL);
    goto LAB112;

}
Пример #3
0
static void work_a_4000226436_3212880686_p_0(char *t0)
{
    char t11[16];
    unsigned char t1;
    char *t2;
    char *t3;
    unsigned char t4;
    unsigned char t5;
    unsigned char t6;
    char *t7;
    char *t8;
    unsigned char t9;
    unsigned char t10;
    char *t12;
    char *t13;
    char *t14;
    unsigned int t15;
    unsigned int t16;
    unsigned char t17;
    char *t18;
    char *t19;
    char *t20;
    char *t21;
    char *t22;

LAB0:    xsi_set_current_line(36, ng0);
    t2 = (t0 + 592U);
    t3 = *((char **)t2);
    t4 = *((unsigned char *)t3);
    t5 = (t4 == (unsigned char)3);
    if (t5 == 1)
        goto LAB5;

LAB6:    t1 = (unsigned char)0;

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

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

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

LAB10:    xsi_set_current_line(40, ng0);
    t2 = (t0 + 868U);
    t3 = *((char **)t2);
    t2 = (t0 + 3056U);
    t7 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t11, t3, t2, 1);
    t8 = (t11 + 12U);
    t15 = *((unsigned int *)t8);
    t16 = (1U * t15);
    t1 = (4U != t16);
    if (t1 == 1)
        goto LAB13;

LAB14:    t12 = (t0 + 1920);
    t13 = (t12 + 32U);
    t14 = *((char **)t13);
    t18 = (t14 + 40U);
    t19 = *((char **)t18);
    memcpy(t19, t7, 4U);
    xsi_driver_first_trans_fast(t12);

LAB9:    goto LAB3;

LAB5:    t2 = (t0 + 568U);
    t6 = xsi_signal_has_event(t2);
    t1 = t6;
    goto LAB7;

LAB8:    xsi_set_current_line(38, ng0);
    t7 = (t0 + 868U);
    t12 = *((char **)t7);
    t7 = (t0 + 3056U);
    t13 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t11, t12, t7, 1);
    t14 = (t11 + 12U);
    t15 = *((unsigned int *)t14);
    t16 = (1U * t15);
    t17 = (4U != t16);
    if (t17 == 1)
        goto LAB11;

LAB12:    t18 = (t0 + 1920);
    t19 = (t18 + 32U);
    t20 = *((char **)t19);
    t21 = (t20 + 40U);
    t22 = *((char **)t21);
    memcpy(t22, t13, 4U);
    xsi_driver_first_trans_fast(t18);
    goto LAB9;

LAB11:    xsi_size_not_matching(4U, t16, 0);
    goto LAB12;

LAB13:    xsi_size_not_matching(4U, t16, 0);
    goto LAB14;

}
static void work_a_4280372217_3212880686_p_2(char *t0)
{
    char t8[16];
    char t13[16];
    char t18[16];
    char t23[16];
    char t29[16];
    unsigned char t1;
    char *t2;
    unsigned char t3;
    char *t4;
    char *t5;
    unsigned char t6;
    unsigned char t7;
    char *t9;
    unsigned int t10;
    unsigned int t11;
    unsigned int t12;
    char *t14;
    char *t15;
    int t16;
    unsigned int t17;
    char *t19;
    char *t20;
    unsigned int t21;
    unsigned int t22;
    char *t24;
    char *t25;
    int t26;
    unsigned int t27;
    char *t28;
    char *t30;
    char *t31;
    unsigned int t32;
    char *t33;
    unsigned int t34;
    unsigned int t35;
    unsigned int t36;
    unsigned char t37;
    char *t38;
    char *t39;
    char *t40;
    char *t41;
    char *t42;

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

LAB6:    t1 = (unsigned char)0;

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

LAB4:
LAB3:    xsi_set_current_line(129, ng0);
    t2 = (t0 + 1192U);
    t4 = *((char **)t2);
    t1 = *((unsigned char *)t4);
    t3 = (t1 == (unsigned char)3);
    if (t3 != 0)
        goto LAB10;

LAB12:
LAB11:    t2 = (t0 + 11648);
    *((int *)t2) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(127, ng0);
    t4 = (t0 + 4392U);
    t9 = *((char **)t4);
    t10 = (9 - 7);
    t11 = (t10 * 1U);
    t12 = (0 + t11);
    t4 = (t9 + t12);
    t14 = (t13 + 0U);
    t15 = (t14 + 0U);
    *((int *)t15) = 7;
    t15 = (t14 + 4U);
    *((int *)t15) = 0;
    t15 = (t14 + 8U);
    *((int *)t15) = -1;
    t16 = (0 - 7);
    t17 = (t16 * -1);
    t17 = (t17 + 1);
    t15 = (t14 + 12U);
    *((unsigned int *)t15) = t17;
    t15 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t8, t4, t13, 34);
    t19 = (t0 + 4232U);
    t20 = *((char **)t19);
    t17 = (9 - 7);
    t21 = (t17 * 1U);
    t22 = (0 + t21);
    t19 = (t20 + t22);
    t24 = (t23 + 0U);
    t25 = (t24 + 0U);
    *((int *)t25) = 7;
    t25 = (t24 + 4U);
    *((int *)t25) = 0;
    t25 = (t24 + 8U);
    *((int *)t25) = -1;
    t26 = (0 - 7);
    t27 = (t26 * -1);
    t27 = (t27 + 1);
    t25 = (t24 + 12U);
    *((unsigned int *)t25) = t27;
    t25 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t18, t19, t23, 143);
    t30 = ((IEEE_P_2592010699) + 4024);
    t28 = xsi_base_array_concat(t28, t29, t30, (char)97, t15, t8, (char)97, t25, t18, (char)101);
    t31 = (t8 + 12U);
    t27 = *((unsigned int *)t31);
    t32 = (1U * t27);
    t33 = (t18 + 12U);
    t34 = *((unsigned int *)t33);
    t35 = (1U * t34);
    t36 = (t32 + t35);
    t37 = (16U != t36);
    if (t37 == 1)
        goto LAB8;

LAB9:    t38 = (t0 + 12176);
    t39 = (t38 + 56U);
    t40 = *((char **)t39);
    t41 = (t40 + 56U);
    t42 = *((char **)t41);
    memcpy(t42, t28, 16U);
    xsi_driver_first_trans_fast(t38);
    goto LAB3;

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

LAB8:    xsi_size_not_matching(16U, t36, 0);
    goto LAB9;

LAB10:    xsi_set_current_line(130, ng0);
    t2 = (t0 + 18928);
    t9 = (t0 + 12176);
    t14 = (t9 + 56U);
    t15 = *((char **)t14);
    t19 = (t15 + 56U);
    t20 = *((char **)t19);
    memcpy(t20, t2, 16U);
    xsi_driver_first_trans_fast(t9);
    goto LAB11;

}
static void work_a_4280372217_3212880686_p_0(char *t0)
{
    char t24[16];
    char t28[16];
    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;
    unsigned char t11;
    char *t12;
    unsigned char t13;
    char *t14;
    char *t15;
    unsigned char t16;
    unsigned char t17;
    char *t18;
    char *t19;
    char *t20;
    char *t21;
    char *t22;
    char *t23;
    unsigned int t25;
    unsigned int t26;
    unsigned int t27;
    int t29;
    unsigned int t30;
    unsigned int t31;

LAB0:    xsi_set_current_line(90, 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 + 11616);
    *((int *)t2) = 1;

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

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

LAB21:
LAB20:    xsi_set_current_line(101, ng0);
    t2 = (t0 + 2952U);
    t4 = *((char **)t2);
    t1 = *((unsigned char *)t4);
    t3 = (t1 == (unsigned char)9);
    if (t3 != 0)
        goto LAB22;

LAB24:
LAB23:    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(92, ng0);
    t4 = (t0 + 4712U);
    t12 = *((char **)t4);
    t4 = (t0 + 18684U);
    t13 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t12, t4, 65536);
    if (t13 == 1)
        goto LAB14;

LAB15:    t14 = (t0 + 1192U);
    t15 = *((char **)t14);
    t16 = *((unsigned char *)t15);
    t17 = (t16 == (unsigned char)3);
    t11 = t17;

LAB16:    if (t11 != 0)
        goto LAB11;

LAB13:    xsi_set_current_line(95, ng0);
    t2 = (t0 + 4712U);
    t4 = *((char **)t2);
    t2 = (t0 + 18684U);
    t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t24, t4, t2, 1);
    t8 = (t24 + 12U);
    t25 = *((unsigned int *)t8);
    t26 = (1U * t25);
    t1 = (17U != t26);
    if (t1 == 1)
        goto LAB17;

LAB18:    t12 = (t0 + 11984);
    t14 = (t12 + 56U);
    t15 = *((char **)t14);
    t18 = (t15 + 56U);
    t19 = *((char **)t18);
    memcpy(t19, t5, 17U);
    xsi_driver_first_trans_fast(t12);

LAB12:    goto LAB9;

LAB11:    xsi_set_current_line(93, ng0);
    t14 = xsi_get_transient_memory(17U);
    memset(t14, 0, 17U);
    t18 = t14;
    memset(t18, (unsigned char)2, 17U);
    t19 = (t0 + 11984);
    t20 = (t19 + 56U);
    t21 = *((char **)t20);
    t22 = (t21 + 56U);
    t23 = *((char **)t22);
    memcpy(t23, t14, 17U);
    xsi_driver_first_trans_fast(t19);
    goto LAB12;

LAB14:    t11 = (unsigned char)1;
    goto LAB16;

LAB17:    xsi_size_not_matching(17U, t26, 0);
    goto LAB18;

LAB19:    xsi_set_current_line(99, ng0);
    t2 = (t0 + 18912);
    t8 = (t0 + 12048);
    t12 = (t8 + 56U);
    t14 = *((char **)t12);
    t15 = (t14 + 56U);
    t18 = *((char **)t15);
    memcpy(t18, t2, 16U);
    xsi_driver_first_trans_fast(t8);
    goto LAB20;

LAB22:    xsi_set_current_line(102, ng0);
    t2 = (t0 + 4712U);
    t5 = *((char **)t2);
    t25 = (16 - 15);
    t26 = (t25 * 1U);
    t27 = (0 + t26);
    t2 = (t5 + t27);
    t8 = (t28 + 0U);
    t12 = (t8 + 0U);
    *((int *)t12) = 15;
    t12 = (t8 + 4U);
    *((int *)t12) = 0;
    t12 = (t8 + 8U);
    *((int *)t12) = -1;
    t29 = (0 - 15);
    t30 = (t29 * -1);
    t30 = (t30 + 1);
    t12 = (t8 + 12U);
    *((unsigned int *)t12) = t30;
    t12 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t24, t2, t28, 1);
    t14 = (t24 + 12U);
    t30 = *((unsigned int *)t14);
    t31 = (1U * t30);
    t6 = (16U != t31);
    if (t6 == 1)
        goto LAB25;

LAB26:    t15 = (t0 + 12048);
    t18 = (t15 + 56U);
    t19 = *((char **)t18);
    t20 = (t19 + 56U);
    t21 = *((char **)t20);
    memcpy(t21, t12, 16U);
    xsi_driver_first_trans_fast(t15);
    goto LAB23;

LAB25:    xsi_size_not_matching(16U, t31, 0);
    goto LAB26;

}
Пример #6
0
static void work_a_0308195381_2372691052_p_0(char *t0)
{
    char t15[16];
    char t16[16];
    char t19[16];
    char *t1;
    char *t2;
    unsigned char t3;
    unsigned char t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;
    unsigned int t12;
    unsigned int t13;
    unsigned int t14;
    int t17;
    unsigned int t18;
    int t20;
    char *t21;
    char *t22;
    char *t23;
    char *t24;
    static char *nl0[] = {&&LAB8, &&LAB9, &&LAB10, &&LAB11, &&LAB12, &&LAB13, &&LAB14};

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

LAB4:    t1 = (t0 + 2776U);
    t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
    if (t3 != 0)
        goto LAB5;

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

LAB1:    return;
LAB2:    xsi_set_current_line(231, ng0);
    t1 = (t0 + 5136);
    t5 = (t1 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    *((unsigned char *)t8) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);
    goto LAB3;

LAB5:    xsi_set_current_line(233, ng0);
    t2 = (t0 + 5172);
    t5 = (t2 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    *((unsigned char *)t8) = (unsigned char)2;
    xsi_driver_first_trans_fast(t2);
    xsi_set_current_line(234, ng0);
    t1 = (t0 + 5208);
    t2 = (t1 + 32U);
    t5 = *((char **)t2);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(235, ng0);
    t1 = (t0 + 5244);
    t2 = (t1 + 32U);
    t5 = *((char **)t2);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(236, ng0);
    t1 = (t0 + 3444U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t1 = (char *)((nl0) + t3);
    goto **((char **)t1);

LAB7:    goto LAB3;

LAB8:    xsi_set_current_line(238, ng0);
    t5 = (t0 + 2616U);
    t6 = *((char **)t5);
    t5 = (t0 + 11032U);
    t4 = ieee_p_3620187407_sub_2599083972_3965413181(IEEE_P_3620187407, 1, t6, t5);
    if (t4 != 0)
        goto LAB15;

LAB17:
LAB16:    goto LAB7;

LAB9:    xsi_set_current_line(244, ng0);
    t1 = (t0 + 2524U);
    t2 = *((char **)t1);
    t12 = (31 - 31);
    t13 = (t12 * 1U);
    t14 = (0 + t13);
    t1 = (t2 + t14);
    t5 = (t0 + 3960U);
    t6 = *((char **)t5);
    t5 = (t6 + 0);
    memcpy(t5, t1, 8U);
    xsi_set_current_line(245, ng0);
    t1 = (t0 + 2524U);
    t2 = *((char **)t1);
    t12 = (31 - 23);
    t13 = (t12 * 1U);
    t14 = (0 + t13);
    t1 = (t2 + t14);
    t5 = (t0 + 4096U);
    t6 = *((char **)t5);
    t5 = (t6 + 0);
    memcpy(t5, t1, 22U);
    xsi_set_current_line(246, ng0);
    t1 = (t0 + 5172);
    t2 = (t1 + 32U);
    t5 = *((char **)t2);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(247, ng0);
    t1 = (t0 + 5136);
    t2 = (t1 + 32U);
    t5 = *((char **)t2);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);
    goto LAB7;

LAB10:    xsi_set_current_line(250, ng0);
    t1 = (t0 + 11709);
    t5 = (t0 + 2524U);
    t6 = *((char **)t5);
    t12 = (31 - 31);
    t13 = (t12 * 1U);
    t14 = (0 + t13);
    t5 = (t6 + t14);
    t8 = ((IEEE_P_2592010699) + 2312);
    t9 = (t16 + 0U);
    t10 = (t9 + 0U);
    *((int *)t10) = 0;
    t10 = (t9 + 4U);
    *((int *)t10) = 1;
    t10 = (t9 + 8U);
    *((int *)t10) = 1;
    t17 = (1 - 0);
    t18 = (t17 * 1);
    t18 = (t18 + 1);
    t10 = (t9 + 12U);
    *((unsigned int *)t10) = t18;
    t10 = (t19 + 0U);
    t11 = (t10 + 0U);
    *((int *)t11) = 31;
    t11 = (t10 + 4U);
    *((int *)t11) = 2;
    t11 = (t10 + 8U);
    *((int *)t11) = -1;
    t20 = (2 - 31);
    t18 = (t20 * -1);
    t18 = (t18 + 1);
    t11 = (t10 + 12U);
    *((unsigned int *)t11) = t18;
    t7 = xsi_base_array_concat(t7, t15, t8, (char)97, t1, t16, (char)97, t5, t19, (char)101);
    t18 = (2U + 30U);
    t3 = (32U != t18);
    if (t3 == 1)
        goto LAB18;

LAB19:    t11 = (t0 + 5280);
    t21 = (t11 + 32U);
    t22 = *((char **)t21);
    t23 = (t22 + 32U);
    t24 = *((char **)t23);
    memcpy(t24, t7, 32U);
    xsi_driver_first_trans_fast(t11);
    xsi_set_current_line(251, ng0);
    t1 = (t0 + 11711);
    t5 = (t0 + 2524U);
    t6 = *((char **)t5);
    t12 = (31 - 31);
    t13 = (t12 * 1U);
    t14 = (0 + t13);
    t5 = (t6 + t14);
    t8 = ((IEEE_P_2592010699) + 2312);
    t9 = (t16 + 0U);
    t10 = (t9 + 0U);
    *((int *)t10) = 0;
    t10 = (t9 + 4U);
    *((int *)t10) = 1;
    t10 = (t9 + 8U);
    *((int *)t10) = 1;
    t17 = (1 - 0);
    t18 = (t17 * 1);
    t18 = (t18 + 1);
    t10 = (t9 + 12U);
    *((unsigned int *)t10) = t18;
    t10 = (t19 + 0U);
    t11 = (t10 + 0U);
    *((int *)t11) = 31;
    t11 = (t10 + 4U);
    *((int *)t11) = 2;
    t11 = (t10 + 8U);
    *((int *)t11) = -1;
    t20 = (2 - 31);
    t18 = (t20 * -1);
    t18 = (t18 + 1);
    t11 = (t10 + 12U);
    *((unsigned int *)t11) = t18;
    t7 = xsi_base_array_concat(t7, t15, t8, (char)97, t1, t16, (char)97, t5, t19, (char)101);
    t18 = (2U + 30U);
    t3 = (32U != t18);
    if (t3 == 1)
        goto LAB20;

LAB21:    t11 = (t0 + 5316);
    t21 = (t11 + 32U);
    t22 = *((char **)t21);
    t23 = (t22 + 32U);
    t24 = *((char **)t23);
    memcpy(t24, t7, 32U);
    xsi_driver_first_trans_fast(t11);
    xsi_set_current_line(252, ng0);
    t1 = (t0 + 3960U);
    t2 = *((char **)t1);
    t1 = (t0 + 11112U);
    t5 = (t0 + 11713);
    t7 = (t15 + 0U);
    t8 = (t7 + 0U);
    *((int *)t8) = 0;
    t8 = (t7 + 4U);
    *((int *)t8) = 7;
    t8 = (t7 + 8U);
    *((int *)t8) = 1;
    t17 = (7 - 0);
    t12 = (t17 * 1);
    t12 = (t12 + 1);
    t8 = (t7 + 12U);
    *((unsigned int *)t8) = t12;
    t3 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t2, t1, t5, t15);
    if (t3 != 0)
        goto LAB22;

LAB24:    xsi_set_current_line(255, ng0);
    t1 = (t0 + 5136);
    t2 = (t1 + 32U);
    t5 = *((char **)t2);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)5;
    xsi_driver_first_trans_fast(t1);

LAB23:    goto LAB7;

LAB11:    xsi_set_current_line(259, ng0);
    t1 = (t0 + 2616U);
    t2 = *((char **)t1);
    t1 = (t0 + 11032U);
    t5 = (t0 + 4096U);
    t6 = *((char **)t5);
    t5 = (t0 + 11144U);
    t3 = ieee_p_3620187407_sub_4060537613_3965413181(IEEE_P_3620187407, t2, t1, t6, t5);
    if (t3 != 0)
        goto LAB25;

LAB27:
LAB26:    goto LAB7;

LAB12:    xsi_set_current_line(265, ng0);
    t1 = (t0 + 4096U);
    t2 = *((char **)t1);
    t1 = (t0 + 11144U);
    t3 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t2, t1, 0);
    if (t3 != 0)
        goto LAB28;

LAB30:    xsi_set_current_line(268, ng0);
    t1 = (t0 + 4096U);
    t2 = *((char **)t1);
    t1 = (t0 + 11144U);
    t3 = ieee_p_3620187407_sub_2546454082_3965413181(IEEE_P_3620187407, t2, t1, 1);
    if (t3 != 0)
        goto LAB31;

LAB33:
LAB32:    xsi_set_current_line(271, ng0);
    t1 = (t0 + 3076U);
    t2 = *((char **)t1);
    t1 = (t0 + 11064U);
    t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t15, t2, t1, 1);
    t6 = (t15 + 12U);
    t12 = *((unsigned int *)t6);
    t13 = (1U * t12);
    t3 = (32U != t13);
    if (t3 == 1)
        goto LAB34;

LAB35:    t7 = (t0 + 5316);
    t8 = (t7 + 32U);
    t9 = *((char **)t8);
    t10 = (t9 + 32U);
    t11 = *((char **)t10);
    memcpy(t11, t5, 32U);
    xsi_driver_first_trans_fast(t7);
    xsi_set_current_line(272, ng0);
    t1 = (t0 + 3076U);
    t2 = *((char **)t1);
    t1 = (t0 + 5280);
    t5 = (t1 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    memcpy(t8, t2, 32U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(273, ng0);
    t1 = (t0 + 2524U);
    t2 = *((char **)t1);
    t1 = (t0 + 5352);
    t5 = (t1 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    memcpy(t8, t2, 32U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(274, ng0);
    t1 = (t0 + 5244);
    t2 = (t1 + 32U);
    t5 = *((char **)t2);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(275, ng0);
    t1 = (t0 + 4096U);
    t2 = *((char **)t1);
    t1 = (t0 + 11144U);
    t5 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t15, t2, t1, 1);
    t6 = (t0 + 4096U);
    t7 = *((char **)t6);
    t6 = (t7 + 0);
    t8 = (t15 + 12U);
    t12 = *((unsigned int *)t8);
    t13 = (1U * t12);
    memcpy(t6, t5, t13);

LAB29:    goto LAB7;

LAB13:    xsi_set_current_line(279, ng0);
    t1 = (t0 + 2340U);
    t2 = *((char **)t1);
    t1 = (t0 + 11000U);
    t5 = (t0 + 4096U);
    t6 = *((char **)t5);
    t5 = (t0 + 11144U);
    t3 = ieee_p_3620187407_sub_4060537613_3965413181(IEEE_P_3620187407, t2, t1, t6, t5);
    if (t3 != 0)
        goto LAB36;

LAB38:
LAB37:    goto LAB7;

LAB14:    xsi_set_current_line(284, ng0);
    t1 = (t0 + 4096U);
    t2 = *((char **)t1);
    t1 = (t0 + 11144U);
    t3 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t2, t1, 0);
    if (t3 != 0)
        goto LAB39;

LAB41:    xsi_set_current_line(287, ng0);
    t1 = (t0 + 5208);
    t2 = (t1 + 32U);
    t5 = *((char **)t2);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(288, ng0);
    t1 = (t0 + 3260U);
    t2 = *((char **)t1);
    t1 = (t0 + 5388);
    t5 = (t1 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 32U);
    t8 = *((char **)t7);
    memcpy(t8, t2, 32U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(289, ng0);
    t1 = (t0 + 2984U);
    t2 = *((char **)t1);
    t1 = (t0 + 11048U);
    t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t15, t2, t1, 1);
    t6 = (t15 + 12U);
    t12 = *((unsigned int *)t6);
    t13 = (1U * t12);
    t3 = (32U != t13);
    if (t3 == 1)
        goto LAB42;

LAB43:    t7 = (t0 + 5280);
    t8 = (t7 + 32U);
    t9 = *((char **)t8);
    t10 = (t9 + 32U);
    t11 = *((char **)t10);
    memcpy(t11, t5, 32U);
    xsi_driver_first_trans_fast(t7);
    xsi_set_current_line(290, ng0);
    t1 = (t0 + 4096U);
    t2 = *((char **)t1);
    t1 = (t0 + 11144U);
    t5 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t15, t2, t1, 1);
    t6 = (t0 + 4096U);
    t7 = *((char **)t6);
    t6 = (t7 + 0);
    t8 = (t15 + 12U);
    t12 = *((unsigned int *)t8);
    t13 = (1U * t12);
    memcpy(t6, t5, t13);

LAB40:    goto LAB7;

LAB15:    xsi_set_current_line(239, ng0);
    t7 = (t0 + 5172);
    t8 = (t7 + 32U);
    t9 = *((char **)t8);
    t10 = (t9 + 32U);
    t11 = *((char **)t10);
    *((unsigned char *)t11) = (unsigned char)3;
    xsi_driver_first_trans_fast(t7);
    xsi_set_current_line(240, ng0);
    t1 = (t0 + 5136);
    t2 = (t1 + 32U);
    t5 = *((char **)t2);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)1;
    xsi_driver_first_trans_fast(t1);
    goto LAB16;

LAB18:    xsi_size_not_matching(32U, t18, 0);
    goto LAB19;

LAB20:    xsi_size_not_matching(32U, t18, 0);
    goto LAB21;

LAB22:    xsi_set_current_line(253, ng0);
    t8 = (t0 + 5136);
    t9 = (t8 + 32U);
    t10 = *((char **)t9);
    t11 = (t10 + 32U);
    t21 = *((char **)t11);
    *((unsigned char *)t21) = (unsigned char)3;
    xsi_driver_first_trans_fast(t8);
    goto LAB23;

LAB25:    xsi_set_current_line(260, ng0);
    t7 = (t0 + 5172);
    t8 = (t7 + 32U);
    t9 = *((char **)t8);
    t10 = (t9 + 32U);
    t11 = *((char **)t10);
    *((unsigned char *)t11) = (unsigned char)3;
    xsi_driver_first_trans_fast(t7);
    xsi_set_current_line(261, ng0);
    t1 = (t0 + 5136);
    t2 = (t1 + 32U);
    t5 = *((char **)t2);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)4;
    xsi_driver_first_trans_fast(t1);
    goto LAB26;

LAB28:    xsi_set_current_line(266, ng0);
    t5 = (t0 + 5136);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 32U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = (unsigned char)0;
    xsi_driver_first_trans_fast(t5);
    goto LAB29;

LAB31:    xsi_set_current_line(269, ng0);
    t5 = (t0 + 5172);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 32U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = (unsigned char)3;
    xsi_driver_first_trans_fast(t5);
    goto LAB32;

LAB34:    xsi_size_not_matching(32U, t13, 0);
    goto LAB35;

LAB36:    xsi_set_current_line(280, ng0);
    t7 = (t0 + 5136);
    t8 = (t7 + 32U);
    t9 = *((char **)t8);
    t10 = (t9 + 32U);
    t11 = *((char **)t10);
    *((unsigned char *)t11) = (unsigned char)6;
    xsi_driver_first_trans_fast(t7);
    goto LAB37;

LAB39:    xsi_set_current_line(285, ng0);
    t5 = (t0 + 5136);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 32U);
    t9 = *((char **)t8);
    *((unsigned char *)t9) = (unsigned char)0;
    xsi_driver_first_trans_fast(t5);
    goto LAB40;

LAB42:    xsi_size_not_matching(32U, t13, 0);
    goto LAB43;

}

static void work_a_0308195381_2372691052_p_1(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    int64 t7;
    int64 t8;

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

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(298, ng0);
    t2 = (t0 + 5424);
    t3 = (t2 + 32U);
    t4 = *((char **)t3);
    t5 = (t4 + 32U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)2;
    xsi_driver_first_trans_fast(t2);
    xsi_set_current_line(299, ng0);
    t2 = (t0 + 3892U);
    t3 = *((char **)t2);
    t7 = *((int64 *)t3);
    t8 = (t7 / 2);
    t2 = (t0 + 4676);
    xsi_process_wait(t2, t8);

LAB6:    *((char **)t1) = &&LAB7;

LAB1:    return;
LAB4:    xsi_set_current_line(300, ng0);
    t2 = (t0 + 5424);
    t3 = (t2 + 32U);
    t4 = *((char **)t3);
    t5 = (t4 + 32U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)3;
    xsi_driver_first_trans_fast(t2);
    xsi_set_current_line(301, ng0);
    t2 = (t0 + 3892U);
    t3 = *((char **)t2);
    t7 = *((int64 *)t3);
    t8 = (t7 / 2);
    t2 = (t0 + 4676);
    xsi_process_wait(t2, t8);

LAB10:    *((char **)t1) = &&LAB11;
    goto LAB1;

LAB5:    goto LAB4;

LAB7:    goto LAB5;

LAB8:    goto LAB2;

LAB9:    goto LAB8;

LAB11:    goto LAB9;

}
Пример #7
0
static void work_a_4022976725_3212880686_p_1(char *t0)
{
    char t10[16];
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    unsigned char t8;
    unsigned char t9;
    unsigned int t11;
    unsigned int t12;
    char *t13;
    char *t14;
    int t15;
    static char *nl0[] = {&&LAB3, &&LAB4, &&LAB5, &&LAB6, &&LAB7, &&LAB8};

LAB0:    xsi_set_current_line(87, ng0);
    t1 = (t0 + 3272U);
    t2 = *((char **)t1);
    t1 = (t0 + 6272);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    memcpy(t6, t2, 4U);
    xsi_driver_first_trans_fast_port(t1);
    xsi_set_current_line(88, ng0);
    t1 = (t0 + 1992U);
    t2 = *((char **)t1);
    t1 = (t0 + 6336);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    memcpy(t6, t2, 5U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(89, ng0);
    t1 = (t0 + 2152U);
    t2 = *((char **)t1);
    t1 = (t0 + 6400);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    memcpy(t6, t2, 5U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(90, ng0);
    t1 = (t0 + 6464);
    t2 = (t1 + 56U);
    t3 = *((char **)t2);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(91, ng0);
    t1 = (t0 + 6528);
    t2 = (t1 + 56U);
    t3 = *((char **)t2);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)2;
    xsi_driver_first_trans_fast_port(t1);
    xsi_set_current_line(92, ng0);
    t1 = (t0 + 3272U);
    t2 = *((char **)t1);
    t1 = (t0 + 6592);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    memcpy(t6, t2, 4U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(93, ng0);
    t1 = (t0 + 10149);
    t3 = (t0 + 6656);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    memcpy(t7, t1, 4U);
    xsi_driver_first_trans_fast(t3);
    xsi_set_current_line(95, ng0);
    t1 = (t0 + 3912U);
    t2 = *((char **)t1);
    t8 = *((unsigned char *)t2);
    t1 = (char *)((nl0) + t8);
    goto **((char **)t1);

LAB2:    t1 = (t0 + 5936);
    *((int *)t1) = 1;

LAB1:    return;
LAB3:    xsi_set_current_line(98, ng0);
    t3 = (t0 + 6528);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)3;
    xsi_driver_first_trans_fast_port(t3);
    xsi_set_current_line(99, ng0);
    t1 = (t0 + 1672U);
    t2 = *((char **)t1);
    t1 = (t0 + 6720);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    memcpy(t6, t2, 5U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(100, ng0);
    t1 = (t0 + 10153);
    t3 = (t0 + 6784);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    memcpy(t7, t1, 5U);
    xsi_driver_first_trans_fast(t3);
    xsi_set_current_line(101, ng0);
    t1 = (t0 + 10158);
    t3 = (t0 + 6336);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    memcpy(t7, t1, 5U);
    xsi_driver_first_trans_fast(t3);
    xsi_set_current_line(102, ng0);
    t1 = (t0 + 1352U);
    t2 = *((char **)t1);
    t8 = *((unsigned char *)t2);
    t9 = (t8 == (unsigned char)3);
    if (t9 != 0)
        goto LAB9;

LAB11:    xsi_set_current_line(105, ng0);
    t1 = (t0 + 6848);
    t2 = (t1 + 56U);
    t3 = *((char **)t2);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);

LAB10:    goto LAB2;

LAB4:    xsi_set_current_line(109, ng0);
    t1 = (t0 + 10163);
    t3 = (t0 + 6400);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    memcpy(t7, t1, 5U);
    xsi_driver_first_trans_fast(t3);
    xsi_set_current_line(110, ng0);
    t1 = (t0 + 1992U);
    t2 = *((char **)t1);
    t1 = (t0 + 10028U);
    t3 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t10, t2, t1, 1);
    t4 = (t10 + 12U);
    t11 = *((unsigned int *)t4);
    t12 = (1U * t11);
    t8 = (5U != t12);
    if (t8 == 1)
        goto LAB12;

LAB13:    t5 = (t0 + 6336);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    t13 = (t7 + 56U);
    t14 = *((char **)t13);
    memcpy(t14, t3, 5U);
    xsi_driver_first_trans_fast(t5);
    xsi_set_current_line(111, ng0);
    t1 = (t0 + 1672U);
    t2 = *((char **)t1);
    t1 = (t0 + 6720);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    memcpy(t6, t2, 5U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(112, ng0);
    t1 = (t0 + 10168);
    t3 = (t0 + 6784);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    memcpy(t7, t1, 5U);
    xsi_driver_first_trans_fast(t3);
    xsi_set_current_line(113, ng0);
    t1 = (t0 + 1992U);
    t2 = *((char **)t1);
    t1 = (t0 + 10028U);
    t15 = (32 - 1);
    t8 = ieee_p_3620187407_sub_2546382208_3965413181(IEEE_P_3620187407, t2, t1, t15);
    if (t8 != 0)
        goto LAB14;

LAB16:    xsi_set_current_line(116, ng0);
    t1 = (t0 + 6848);
    t2 = (t1 + 56U);
    t3 = *((char **)t2);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)0;
    xsi_driver_first_trans_fast(t1);

LAB15:    goto LAB2;

LAB5:    xsi_set_current_line(120, ng0);
    t1 = (t0 + 2152U);
    t2 = *((char **)t1);
    t1 = (t0 + 10028U);
    t3 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t10, t2, t1, 1);
    t4 = (t10 + 12U);
    t11 = *((unsigned int *)t4);
    t12 = (1U * t11);
    t8 = (5U != t12);
    if (t8 == 1)
        goto LAB17;

LAB18:    t5 = (t0 + 6400);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    t13 = (t7 + 56U);
    t14 = *((char **)t13);
    memcpy(t14, t3, 5U);
    xsi_driver_first_trans_fast(t5);
    xsi_set_current_line(121, ng0);
    t1 = (t0 + 2152U);
    t2 = *((char **)t1);
    t1 = (t0 + 6720);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    memcpy(t6, t2, 5U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(122, ng0);
    t1 = (t0 + 2152U);
    t2 = *((char **)t1);
    t1 = (t0 + 10028U);
    t3 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t10, t2, t1, 1);
    t4 = (t10 + 12U);
    t11 = *((unsigned int *)t4);
    t12 = (1U * t11);
    t8 = (5U != t12);
    if (t8 == 1)
        goto LAB19;

LAB20:    t5 = (t0 + 6784);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    t13 = (t7 + 56U);
    t14 = *((char **)t13);
    memcpy(t14, t3, 5U);
    xsi_driver_first_trans_fast(t5);
    xsi_set_current_line(123, ng0);
    t1 = (t0 + 2152U);
    t2 = *((char **)t1);
    t1 = (t0 + 10028U);
    t15 = (32 - 1);
    t8 = ieee_p_3620187407_sub_2546382208_3965413181(IEEE_P_3620187407, t2, t1, t15);
    if (t8 != 0)
        goto LAB21;

LAB23:    xsi_set_current_line(126, ng0);
    t1 = (t0 + 6848);
    t2 = (t1 + 56U);
    t3 = *((char **)t2);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)1;
    xsi_driver_first_trans_fast(t1);

LAB22:    goto LAB2;

LAB6:    xsi_set_current_line(131, ng0);
    t1 = (t0 + 3272U);
    t2 = *((char **)t1);
    t1 = (t0 + 10060U);
    t3 = (t0 + 3432U);
    t4 = *((char **)t3);
    t3 = (t0 + 10060U);
    t8 = ieee_p_3620187407_sub_1742983514_3965413181(IEEE_P_3620187407, t2, t1, t4, t3);
    if (t8 != 0)
        goto LAB24;

LAB26:    xsi_set_current_line(134, ng0);
    t1 = (t0 + 6848);
    t2 = (t1 + 56U);
    t3 = *((char **)t2);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);

LAB25:    xsi_set_current_line(137, ng0);
    t1 = (t0 + 10173);
    t3 = (t0 + 6720);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    memcpy(t7, t1, 5U);
    xsi_driver_first_trans_fast(t3);
    xsi_set_current_line(138, ng0);
    t1 = (t0 + 2152U);
    t2 = *((char **)t1);
    t1 = (t0 + 6784);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    memcpy(t6, t2, 5U);
    xsi_driver_first_trans_fast(t1);
    goto LAB2;

LAB7:    xsi_set_current_line(143, ng0);
    t1 = (t0 + 2152U);
    t2 = *((char **)t1);
    t1 = (t0 + 10028U);
    t3 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t10, t2, t1, 1);
    t4 = (t10 + 12U);
    t11 = *((unsigned int *)t4);
    t12 = (1U * t11);
    t8 = (5U != t12);
    if (t8 == 1)
        goto LAB27;

LAB28:    t5 = (t0 + 6720);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    t13 = (t7 + 56U);
    t14 = *((char **)t13);
    memcpy(t14, t3, 5U);
    xsi_driver_first_trans_fast(t5);
    xsi_set_current_line(144, ng0);
    t1 = (t0 + 3432U);
    t2 = *((char **)t1);
    t1 = (t0 + 6656);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    memcpy(t6, t2, 4U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(145, ng0);
    t1 = (t0 + 6464);
    t2 = (t1 + 56U);
    t3 = *((char **)t2);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(146, ng0);
    t1 = (t0 + 6848);
    t2 = (t1 + 56U);
    t3 = *((char **)t2);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)5;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(147, ng0);
    t1 = (t0 + 10178);
    t3 = (t0 + 6784);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    memcpy(t7, t1, 5U);
    xsi_driver_first_trans_fast(t3);
    goto LAB2;

LAB8:    xsi_set_current_line(152, ng0);
    t1 = (t0 + 2152U);
    t2 = *((char **)t1);
    t1 = (t0 + 6720);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    memcpy(t6, t2, 5U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(153, ng0);
    t1 = (t0 + 3592U);
    t2 = *((char **)t1);
    t1 = (t0 + 6656);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    memcpy(t6, t2, 4U);
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(154, ng0);
    t1 = (t0 + 6464);
    t2 = (t1 + 56U);
    t3 = *((char **)t2);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)3;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(155, ng0);
    t1 = (t0 + 6848);
    t2 = (t1 + 56U);
    t3 = *((char **)t2);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    *((unsigned char *)t5) = (unsigned char)2;
    xsi_driver_first_trans_fast(t1);
    xsi_set_current_line(156, ng0);
    t1 = (t0 + 10183);
    t3 = (t0 + 6784);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    memcpy(t7, t1, 5U);
    xsi_driver_first_trans_fast(t3);
    goto LAB2;

LAB9:    xsi_set_current_line(103, ng0);
    t1 = (t0 + 6848);
    t3 = (t1 + 56U);
    t4 = *((char **)t3);
    t5 = (t4 + 56U);
    t6 = *((char **)t5);
    *((unsigned char *)t6) = (unsigned char)1;
    xsi_driver_first_trans_fast(t1);
    goto LAB10;

LAB12:    xsi_size_not_matching(5U, t12, 0);
    goto LAB13;

LAB14:    xsi_set_current_line(114, ng0);
    t3 = (t0 + 6848);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)2;
    xsi_driver_first_trans_fast(t3);
    goto LAB15;

LAB17:    xsi_size_not_matching(5U, t12, 0);
    goto LAB18;

LAB19:    xsi_size_not_matching(5U, t12, 0);
    goto LAB20;

LAB21:    xsi_set_current_line(124, ng0);
    t3 = (t0 + 6848);
    t4 = (t3 + 56U);
    t5 = *((char **)t4);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = (unsigned char)3;
    xsi_driver_first_trans_fast(t3);
    goto LAB22;

LAB24:    xsi_set_current_line(132, ng0);
    t5 = (t0 + 6848);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    t13 = (t7 + 56U);
    t14 = *((char **)t13);
    *((unsigned char *)t14) = (unsigned char)4;
    xsi_driver_first_trans_fast(t5);
    goto LAB25;

LAB27:    xsi_size_not_matching(5U, t12, 0);
    goto LAB28;

}


extern void work_a_4022976725_3212880686_init()
{
	static char *pe[] = {(void *)work_a_4022976725_3212880686_p_0,(void *)work_a_4022976725_3212880686_p_1};
	xsi_register_didat("work_a_4022976725_3212880686", "isim/tb_practica5_isim_beh.exe.sim/work/a_4022976725_3212880686.didat");
	xsi_register_executes(pe);
}