自学教程：C++ xsi_driver_first_trans_fast函数代码示例

static void work_a_0213048447_3212880686_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;    unsigned char t12;    char *t13;    char *t14;    char *t15;    char *t16;LAB0:    xsi_set_current_line(91, 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 + 5296);    *((int *)t2) = 1;LAB1:    return;LAB2:    xsi_set_current_line(92, ng0);    t4 = (t0 + 2792U);    t8 = *((char **)t4);    t9 = *((unsigned char *)t8);    t10 = (t9 == (unsigned char)2);    if (t10 != 0)        goto LAB8;LAB10:    xsi_set_current_line(95, ng0);    t2 = (t0 + 5424);    t4 = (t2 + 56U);    t5 = *((char **)t4);    t8 = (t5 + 56U);    t11 = *((char **)t8);    *((unsigned char *)t11) = (unsigned char)2;    xsi_driver_first_trans_fast(t2);LAB9:    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(93, ng0);    t4 = (t0 + 1512U);    t11 = *((char **)t4);    t12 = *((unsigned char *)t11);    t4 = (t0 + 5424);    t13 = (t4 + 56U);    t14 = *((char **)t13);    t15 = (t14 + 56U);    t16 = *((char **)t15);    *((unsigned char *)t16) = t12;    xsi_driver_first_trans_fast(t4);    goto LAB9;}

//.........这里部分代码省略.........    char *t8;    unsigned char t9;    unsigned char t10;    char *t11;    char *t12;    unsigned int t13;    unsigned int t14;    unsigned int t15;    char *t16;    char *t18;    char *t20;    char *t21;    int t22;    unsigned int t23;    char *t24;    int t25;    char *t26;    char *t27;    char *t28;    char *t29;LAB0:    xsi_set_current_line(472, ng2);    t2 = (t0 + 1256U);    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 + 5152);    *((int *)t2) = 1;LAB1:    return;LAB2:    xsi_set_current_line(473, ng2);    t4 = (t0 + 1456U);    t8 = *((char **)t4);    t9 = *((unsigned char *)t8);    t10 = (t9 == (unsigned char)3);    if (t10 != 0)        goto LAB8;LAB10:LAB9:    goto LAB3;LAB5:    t4 = (t0 + 1296U);    t5 = *((char **)t4);    t6 = *((unsigned char *)t5);    t7 = (t6 == (unsigned char)3);    t1 = t7;    goto LAB7;LAB8:    xsi_set_current_line(474, ng2);    t4 = (t0 + 1776U);    t11 = *((char **)t4);    t4 = (t0 + 2096U);    t12 = *((char **)t4);    t13 = (0 - 0);    t14 = (t13 * 1U);    t15 = (0 + t14);    t4 = (t12 + t15);    t18 = (t0 + 5992);    t20 = (t19 + 0U);    t21 = (t20 + 0U);    *((int *)t21) = 0;    t21 = (t20 + 4U);    *((int *)t21) = 14;    t21 = (t20 + 8U);    *((int *)t21) = 1;    t22 = (14 - 0);    t23 = (t22 * 1);    t23 = (t23 + 1);    t21 = (t20 + 12U);    *((unsigned int *)t21) = t23;    t21 = (t19 + 16U);    t24 = (t21 + 0U);    *((int *)t24) = 0;    t24 = (t21 + 4U);    *((int *)t24) = 0;    t24 = (t21 + 8U);    *((int *)t24) = 1;    t25 = (0 - 0);    t23 = (t25 * 1);    t23 = (t23 + 1);    t24 = (t21 + 12U);    *((unsigned int *)t24) = t23;    t16 = xsi_base_array_concat(t16, t17, t18, (char)109, t11, (char)97, t4, t19, (char)101);    t24 = (t0 + 5248);    t26 = (t24 + 56U);    t27 = *((char **)t26);    t28 = (t27 + 56U);    t29 = *((char **)t28);    memcpy(t29, t16, 16U);    xsi_driver_first_trans_fast(t24);    goto LAB9;}

static void work_a_0600852594_2372691052_p_0(char *t0){    char t11[16];    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    char *t7;    char *t8;    int t9;    int t10;    char *t12;    char *t13;    int64 t14;    unsigned int t15;    unsigned int t16;    unsigned char t17;    unsigned int t18;    int t20;LAB0:    t1 = (t0 + 2672U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(76, ng0);    t2 = (t0 + 5390);    t4 = (t0 + 3056);    t5 = (t4 + 56U);    t6 = *((char **)t5);    t7 = (t6 + 56U);    t8 = *((char **)t7);    memcpy(t8, t2, 32U);    xsi_driver_first_trans_fast(t4);    xsi_set_current_line(78, ng0);    t2 = (t0 + 3120);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)2;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(80, ng0);    t2 = (t0 + 5422);    *((int *)t2) = 0;    t3 = (t0 + 5426);    *((int *)t3) = 32;    t9 = 0;    t10 = 32;LAB4:    if (t9 <= t10)        goto LAB5;LAB7:    xsi_set_current_line(86, ng0);    t2 = (t0 + 3120);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)3;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(88, ng0);    t2 = (t0 + 5447);    *((int *)t2) = 0;    t3 = (t0 + 5451);    *((int *)t3) = 32;    t9 = 0;    t10 = 32;LAB21:    if (t9 <= t10)        goto LAB22;LAB24:    xsi_set_current_line(94, ng0);LAB40:    *((char **)t1) = &&LAB41;LAB1:    return;LAB5:    xsi_set_current_line(81, ng0);    t4 = (t0 + 5422);    t5 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, *((int *)t4), 5);    t6 = (t0 + 3184);    t7 = (t6 + 56U);    t8 = *((char **)t7);    t12 = (t8 + 56U);    t13 = *((char **)t12);    memcpy(t13, t5, 5U);    xsi_driver_first_trans_fast(t6);    xsi_set_current_line(82, ng0);    t14 = (5 * 1000LL);    t2 = (t0 + 2480);    xsi_process_wait(t2, t14);LAB10:    *((char **)t1) = &&LAB11;    goto LAB1;LAB6:    t2 = (t0 + 5422);//.........这里部分代码省略.........

static void work_a_0908435198_0230731466_p_0(char *t0){    char *t1;    char *t2;    char *t3;    int64 t4;    char *t5;    char *t6;    char *t7;    int64 t8;    double t9;    int64 t10;    int64 t11;LAB0:    t1 = (t0 + 2140U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(81, ng0);    t2 = (t0 + 1632U);    t3 = *((char **)t2);    t4 = *((int64 *)t3);    t2 = (t0 + 2056);    xsi_process_wait(t2, t4);LAB6:    *((char **)t1) = &&LAB7;LAB1:    return;LAB4:    xsi_set_current_line(82, ng0);LAB8:LAB9:    xsi_set_current_line(83, ng0);    t2 = (t0 + 2484);    t3 = (t2 + 32U);    t5 = *((char **)t3);    t6 = (t5 + 40U);    t7 = *((char **)t6);    *((unsigned char *)t7) = (unsigned char)2;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(84, ng0);    t2 = (t0 + 1504U);    t3 = *((char **)t2);    t4 = *((int64 *)t3);    t2 = (t0 + 1504U);    t5 = *((char **)t2);    t8 = *((int64 *)t5);    t2 = (t0 + 1568U);    t6 = *((char **)t2);    t9 = *((double *)t6);    t10 = (t8 * t9);    t11 = (t4 - t10);    t2 = (t0 + 2056);    xsi_process_wait(t2, t11);LAB14:    *((char **)t1) = &&LAB15;    goto LAB1;LAB5:    goto LAB4;LAB7:    goto LAB5;LAB10:;LAB11:    goto LAB2;LAB12:    xsi_set_current_line(85, ng0);    t2 = (t0 + 2484);    t3 = (t2 + 32U);    t5 = *((char **)t3);    t6 = (t5 + 40U);    t7 = *((char **)t6);    *((unsigned char *)t7) = (unsigned char)3;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(86, ng0);    t2 = (t0 + 1504U);    t3 = *((char **)t2);    t4 = *((int64 *)t3);    t2 = (t0 + 1568U);    t5 = *((char **)t2);    t9 = *((double *)t5);    t8 = (t4 * t9);    t2 = (t0 + 2056);    xsi_process_wait(t2, t8);LAB18:    *((char **)t1) = &&LAB19;    goto LAB1;LAB13:    goto LAB12;LAB15:    goto LAB13;LAB16:    goto LAB8;LAB17:    goto LAB16;LAB19:    goto LAB17;}

static void work_a_0595992924_3212880686_p_0(char *t0){    char *t1;    char *t2;    unsigned char t3;    unsigned char t4;    char *t5;    char *t6;    char *t7;    char *t8;    char *t9;    char *t10;    unsigned char t11;    unsigned char t12;    unsigned char t13;    unsigned char t14;    unsigned char t15;    unsigned int t16;    unsigned int t17;    unsigned int t18;    char *t19;    char *t20;LAB0:    xsi_set_current_line(51, 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);    t11 = xsi_signal_has_event(t1);    if (t11 == 1)        goto LAB10;LAB11:    t4 = (unsigned char)0;LAB12:    if (t4 == 1)        goto LAB7;LAB8:    t3 = (unsigned char)0;LAB9:    if (t3 != 0)        goto LAB5;LAB6:LAB3:    t1 = (t0 + 3560);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(52, ng0);    t1 = (t0 + 5720);    t6 = (t0 + 3656);    t7 = (t6 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t1, 8U);    xsi_driver_first_trans_fast(t6);    goto LAB3;LAB5:    xsi_set_current_line(56, ng0);    t2 = (t0 + 1832U);    t7 = *((char **)t2);    t16 = (7 - 6);    t17 = (t16 * 1U);    t18 = (0 + t17);    t2 = (t7 + t18);    t8 = (t0 + 3656);    t9 = (t8 + 56U);    t10 = *((char **)t9);    t19 = (t10 + 56U);    t20 = *((char **)t19);    memcpy(t20, t2, 7U);    xsi_driver_first_trans_delta(t8, 0U, 7U, 0LL);    xsi_set_current_line(57, ng0);    t1 = (t0 + 1512U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t1 = (t0 + 3656);    t5 = (t1 + 56U);    t6 = *((char **)t5);    t7 = (t6 + 56U);    t8 = *((char **)t7);    *((unsigned char *)t8) = t3;    xsi_driver_first_trans_delta(t1, 7U, 1, 0LL);    goto LAB3;LAB7:    t2 = (t0 + 1352U);    t6 = *((char **)t2);    t14 = *((unsigned char *)t6);    t15 = (t14 == (unsigned char)3);    t3 = t15;    goto LAB9;LAB10:    t2 = (t0 + 1192U);    t5 = *((char **)t2);    t12 = *((unsigned char *)t5);    t13 = (t12 == (unsigned char)3);//.........这里部分代码省略.........

static void work_a_4160924016_2372691052_p_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    int64 t7;    char *t8;    char *t9;LAB0:    t1 = (t0 + 4672U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(129, ng0);    t2 = (t0 + 5056);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)3;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(130, ng0);    t2 = (t0 + 5120);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)2;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(131, ng0);    t2 = (t0 + 5184);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)2;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(132, ng0);    t7 = (100 * 1000LL);    t2 = (t0 + 4480);    xsi_process_wait(t2, t7);LAB6:    *((char **)t1) = &&LAB7;LAB1:    return;LAB4:    xsi_set_current_line(133, ng0);    t2 = (t0 + 5056);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)2;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(147, ng0);    t7 = (10 * 1000LL);    t2 = (t0 + 4480);    xsi_process_wait(t2, t7);LAB10:    *((char **)t1) = &&LAB11;    goto LAB1;LAB5:    goto LAB4;LAB7:    goto LAB5;LAB8:    xsi_set_current_line(148, ng0);    t2 = (t0 + 5248);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)2;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(149, ng0);    t7 = (10 * 1000LL);    t2 = (t0 + 4480);    xsi_process_wait(t2, t7);LAB14:    *((char **)t1) = &&LAB15;    goto LAB1;LAB9:    goto LAB8;LAB11:    goto LAB9;LAB12:    xsi_set_current_line(150, ng0);    t2 = (t0 + 5248);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)3;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(151, ng0);//.........这里部分代码省略.........

static void work_a_4135716198_3212880686_p_1(char *t0){    unsigned char t1;    char *t2;    unsigned char t3;    char *t4;    char *t5;    unsigned char t6;    unsigned char t7;    char *t8;    char *t9;    char *t10;    char *t11;    char *t12;    int t13;    int t14;    unsigned int t15;    unsigned int t16;    unsigned int t17;    static char *nl0[] = {&&LAB9, &&LAB10, &&LAB11, &&LAB12};LAB0:    xsi_set_current_line(49, 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 + 4928);    *((int *)t2) = 1;LAB1:    return;LAB2:    xsi_set_current_line(50, ng0);    t4 = (t0 + 5072);    t8 = (t4 + 56U);    t9 = *((char **)t8);    t10 = (t9 + 56U);    t11 = *((char **)t10);    *((unsigned char *)t11) = (unsigned char)3;    xsi_driver_first_trans_fast_port(t4);    xsi_set_current_line(51, ng0);    t2 = (t0 + 5136);    t4 = (t2 + 56U);    t5 = *((char **)t4);    t8 = (t5 + 56U);    t9 = *((char **)t8);    *((unsigned char *)t9) = (unsigned char)0;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(52, ng0);    t2 = (t0 + 2312U);    t4 = *((char **)t2);    t1 = *((unsigned char *)t4);    t2 = (char *)((nl0) + t1);    goto **((char **)t2);LAB5:    t4 = (t0 + 1032U);    t5 = *((char **)t4);    t6 = *((unsigned char *)t5);    t7 = (t6 == (unsigned char)2);    t1 = t7;    goto LAB7;LAB8:    goto LAB3;LAB9:    xsi_set_current_line(54, ng0);    t5 = (t0 + 1512U);    t8 = *((char **)t5);    t3 = *((unsigned char *)t8);    t6 = (t3 == (unsigned char)3);    if (t6 != 0)        goto LAB13;LAB15:    xsi_set_current_line(60, ng0);    t2 = (t0 + 5136);    t4 = (t2 + 56U);    t5 = *((char **)t4);    t8 = (t5 + 56U);    t9 = *((char **)t8);    *((unsigned char *)t9) = (unsigned char)0;    xsi_driver_first_trans_fast(t2);LAB14:    goto LAB8;LAB10:    xsi_set_current_line(63, ng0);    t2 = (t0 + 5072);    t4 = (t2 + 56U);    t5 = *((char **)t4);    t8 = (t5 + 56U);    t9 = *((char **)t8);    *((unsigned char *)t9) = (unsigned char)2;    xsi_driver_first_trans_fast_port(t2);    xsi_set_current_line(64, ng0);    t2 = (t0 + 2952U);    t4 = *((char **)t2);    t2 = (t0 + 2792U);//.........这里部分代码省略.........

static void work_a_1315150948_2372691052_p_1(char *t0){    char *t1;    char *t2;    int64 t3;    char *t4;    int64 t5;    char *t6;    char *t7;    char *t8;    char *t9;    char *t10;LAB0:    t1 = (t0 + 3192U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(90, ng0);    t3 = (100 * 1000LL);    t2 = (t0 + 3000);    xsi_process_wait(t2, t3);LAB6:    *((char **)t1) = &&LAB7;LAB1:    return;LAB4:    xsi_set_current_line(91, ng0);    t2 = (t0 + 1968U);    t4 = *((char **)t2);    t3 = *((int64 *)t4);    t5 = (t3 * 10);    t2 = (t0 + 3000);    xsi_process_wait(t2, t5);LAB10:    *((char **)t1) = &&LAB11;    goto LAB1;LAB5:    goto LAB4;LAB7:    goto LAB5;LAB8:    xsi_set_current_line(93, ng0);    t2 = (t0 + 5792);    t6 = (t0 + 3640);    t7 = (t6 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t2, 32U);    xsi_driver_first_trans_fast(t6);    xsi_set_current_line(94, ng0);    t2 = (t0 + 5824);    t6 = (t0 + 3704);    t7 = (t6 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t2, 32U);    xsi_driver_first_trans_fast(t6);    xsi_set_current_line(95, ng0);LAB14:    *((char **)t1) = &&LAB15;    goto LAB1;LAB9:    goto LAB8;LAB11:    goto LAB9;LAB12:    goto LAB2;LAB13:    goto LAB12;LAB15:    goto LAB13;}

static void work_a_3721117695_3889923918_p_0(char *t0){    char *t1;    char *t2;    char *t3;    unsigned char t4;    unsigned int t5;    char *t6;    char *t7;    char *t8;    char *t9;    char *t10;    char *t11;    char *t12;    char *t13;LAB0:    xsi_set_current_line(56, ng0);    t1 = (t0 + 1192U);    t2 = *((char **)t1);    t1 = (t0 + 1512U);    t3 = *((char **)t1);    t4 = 1;    if (4U == 4U)        goto LAB5;LAB6:    t4 = 0;LAB7:    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 1192U);    t2 = *((char **)t1);    t1 = (t0 + 1672U);    t3 = *((char **)t1);    t4 = 1;    if (4U == 4U)        goto LAB13;LAB14:    t4 = 0;LAB15:    if (t4 != 0)        goto LAB11;LAB12:    t1 = (t0 + 1192U);    t2 = *((char **)t1);    t1 = (t0 + 1832U);    t3 = *((char **)t1);    t4 = 1;    if (4U == 4U)        goto LAB21;LAB22:    t4 = 0;LAB23:    if (t4 != 0)        goto LAB19;LAB20:    xsi_set_current_line(66, ng0);    t1 = (t0 + 7683);    t3 = (t0 + 4712);    t6 = (t3 + 56U);    t7 = *((char **)t6);    t8 = (t7 + 56U);    t9 = *((char **)t8);    memcpy(t9, t1, 2U);    xsi_driver_first_trans_fast(t3);LAB3:    xsi_set_current_line(71, ng0);    t1 = (t0 + 1352U);    t2 = *((char **)t1);    t1 = (t0 + 1512U);    t3 = *((char **)t1);    t4 = 1;    if (4U == 4U)        goto LAB30;LAB31:    t4 = 0;LAB32:    if (t4 != 0)        goto LAB27;LAB29:    t1 = (t0 + 1352U);    t2 = *((char **)t1);    t1 = (t0 + 1672U);    t3 = *((char **)t1);    t4 = 1;    if (4U == 4U)        goto LAB38;LAB39:    t4 = 0;LAB40:    if (t4 != 0)        goto LAB36;LAB37:    t1 = (t0 + 1352U);    t2 = *((char **)t1);    t1 = (t0 + 1832U);    t3 = *((char **)t1);    t4 = 1;    if (4U == 4U)        goto LAB46;//.........这里部分代码省略.........

static void work_a_2967418122_2372691052_p_1(char *t0){    char *t1;    char *t2;    int64 t3;    char *t4;    int64 t5;    char *t6;    char *t7;    char *t8;    char *t9;    char *t10;LAB0:    t1 = (t0 + 3352U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(93, ng0);    t3 = (100 * 1000LL);    t2 = (t0 + 3160);    xsi_process_wait(t2, t3);LAB6:    *((char **)t1) = &&LAB7;LAB1:    return;LAB4:    xsi_set_current_line(95, ng0);    t2 = (t0 + 2128U);    t4 = *((char **)t2);    t3 = *((int64 *)t4);    t5 = (t3 * 10);    t2 = (t0 + 3160);    xsi_process_wait(t2, t5);LAB10:    *((char **)t1) = &&LAB11;    goto LAB1;LAB5:    goto LAB4;LAB7:    goto LAB5;LAB8:    xsi_set_current_line(97, ng0);    t2 = (t0 + 6368);    t6 = (t0 + 3800);    t7 = (t6 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t2, 4U);    xsi_driver_first_trans_fast(t6);    xsi_set_current_line(98, ng0);    t2 = (t0 + 6372);    t6 = (t0 + 3864);    t7 = (t6 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t2, 4U);    xsi_driver_first_trans_fast(t6);    xsi_set_current_line(99, ng0);    t2 = (t0 + 6376);    t6 = (t0 + 3928);    t7 = (t6 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t2, 4U);    xsi_driver_first_trans_fast(t6);    xsi_set_current_line(100, ng0);    t2 = (t0 + 6380);    t6 = (t0 + 3992);    t7 = (t6 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t2, 4U);    xsi_driver_first_trans_fast(t6);    xsi_set_current_line(102, ng0);    t2 = (t0 + 2128U);    t4 = *((char **)t2);    t3 = *((int64 *)t4);    t2 = (t0 + 3160);    xsi_process_wait(t2, t3);LAB14:    *((char **)t1) = &&LAB15;    goto LAB1;LAB9:    goto LAB8;LAB11:    goto LAB9;LAB12:    xsi_set_current_line(104, ng0);    t2 = (t0 + 6384);    t6 = (t0 + 3864);    t7 = (t6 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);//.........这里部分代码省略.........

static void work_a_1315150948_2372691052_p_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    int64 t7;    int64 t8;LAB0:    t1 = (t0 + 2944U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(79, ng0);    t2 = (t0 + 3576);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)2;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(80, ng0);    t2 = (t0 + 1968U);    t3 = *((char **)t2);    t7 = *((int64 *)t3);    t8 = (t7 / 2);    t2 = (t0 + 2752);    xsi_process_wait(t2, t8);LAB6:    *((char **)t1) = &&LAB7;LAB1:    return;LAB4:    xsi_set_current_line(81, ng0);    t2 = (t0 + 3576);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)3;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(82, ng0);    t2 = (t0 + 1968U);    t3 = *((char **)t2);    t7 = *((int64 *)t3);    t8 = (t7 / 2);    t2 = (t0 + 2752);    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;}

static void work_a_4022976725_3212880686_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;    char *t12;    char *t13;LAB0:    xsi_set_current_line(74, ng0);    t1 = (t0 + 1032U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)3);    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 + 5920);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(75, ng0);    t1 = (t0 + 6016);    t5 = (t1 + 56U);    t6 = *((char **)t5);    t7 = (t6 + 56U);    t8 = *((char **)t7);    *((unsigned char *)t8) = (unsigned char)0;    xsi_driver_first_trans_fast(t1);    goto LAB3;LAB5:    xsi_set_current_line(77, ng0);    t2 = (t0 + 4072U);    t6 = *((char **)t2);    t11 = *((unsigned char *)t6);    t2 = (t0 + 6016);    t7 = (t2 + 56U);    t8 = *((char **)t7);    t12 = (t8 + 56U);    t13 = *((char **)t12);    *((unsigned char *)t13) = t11;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(78, ng0);    t1 = (t0 + 2312U);    t2 = *((char **)t1);    t1 = (t0 + 6080);    t5 = (t1 + 56U);    t6 = *((char **)t5);    t7 = (t6 + 56U);    t8 = *((char **)t7);    memcpy(t8, t2, 5U);    xsi_driver_first_trans_fast(t1);    xsi_set_current_line(79, ng0);    t1 = (t0 + 2472U);    t2 = *((char **)t1);    t1 = (t0 + 6144);    t5 = (t1 + 56U);    t6 = *((char **)t5);    t7 = (t6 + 56U);    t8 = *((char **)t7);    memcpy(t8, t2, 5U);    xsi_driver_first_trans_fast(t1);    xsi_set_current_line(80, ng0);    t1 = (t0 + 3752U);    t2 = *((char **)t1);    t1 = (t0 + 6208);    t5 = (t1 + 56U);    t6 = *((char **)t5);    t7 = (t6 + 56U);    t8 = *((char **)t7);    memcpy(t8, t2, 4U);    xsi_driver_first_trans_fast(t1);    goto LAB3;LAB7:    t2 = (t0 + 1192U);    t5 = *((char **)t2);    t9 = *((unsigned char *)t5);    t10 = (t9 == (unsigned char)3);    t3 = t10;    goto LAB9;}

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);//.........这里部分代码省略.........

static void work_a_0717710141_3212880686_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;    int t13;    int t14;    unsigned int t15;    unsigned int t16;    unsigned int t17;    char *t18;    char *t19;    char *t20;    char *t21;    char *t22;LAB0:    xsi_set_current_line(48, 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 + 4168);    *((int *)t2) = 1;LAB1:    return;LAB2:    xsi_set_current_line(49, ng0);    t4 = (t0 + 1192U);    t8 = *((char **)t4);    t9 = *((unsigned char *)t8);    t10 = (t9 == (unsigned char)3);    if (t10 != 0)        goto LAB8;LAB10:    xsi_set_current_line(52, ng0);    t2 = xsi_get_transient_memory(16U);    memset(t2, 0, 16U);    t4 = t2;    memset(t4, (unsigned char)2, 16U);    t5 = (t0 + 4280);    t8 = (t5 + 56U);    t11 = *((char **)t8);    t12 = (t11 + 56U);    t18 = *((char **)t12);    memcpy(t18, t2, 16U);    xsi_driver_first_trans_fast(t5);LAB9:    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(50, ng0);    t4 = (t0 + 2368U);    t11 = *((char **)t4);    t4 = (t0 + 1672U);    t12 = *((char **)t4);    t13 = *((int *)t12);    t14 = (t13 - 31);    t15 = (t14 * -1);    xsi_vhdl_check_range_of_index(31, 0, -1, t13);    t16 = (16U * t15);    t17 = (0 + t16);    t4 = (t11 + t17);    t18 = (t0 + 4280);    t19 = (t18 + 56U);    t20 = *((char **)t19);    t21 = (t20 + 56U);    t22 = *((char **)t21);    memcpy(t22, t4, 16U);    xsi_driver_first_trans_fast(t18);    goto LAB9;}

static void work_a_1405902285_3212880686_p_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    unsigned char t5;    unsigned char t6;    char *t7;    char *t8;    char *t9;    char *t10;    int t11;    int t12;    int t13;    int t14;    int t15;    int t16;    unsigned int t17;    unsigned int t18;    unsigned int t19;    int t20;    int t21;    unsigned int t22;    unsigned int t23;    unsigned int t24;    char *t25;    char *t26;    char *t27;    char *t28;LAB0:    t1 = (t0 + 3320U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(76, ng0);LAB6:    t2 = (t0 + 3804);    *((int *)t2) = 1;    *((char **)t1) = &&LAB7;LAB1:    return;LAB4:    t3 = (t0 + 3804);    *((int *)t3) = 0;    xsi_set_current_line(77, ng0);    t2 = (t0 + 1244U);    t3 = *((char **)t2);    t5 = *((unsigned char *)t3);    t6 = (t5 == (unsigned char)2);    if (t6 != 0)        goto LAB8;LAB10:    xsi_set_current_line(83, ng0);    t2 = (t0 + 1336U);    t3 = *((char **)t2);    t2 = (t0 + 3900);    t4 = (t2 + 32U);    t7 = *((char **)t4);    t8 = (t7 + 40U);    t9 = *((char **)t8);    memcpy(t9, t3, 9U);    xsi_driver_first_trans_fast(t2);LAB9:    goto LAB2;LAB5:    t3 = (t0 + 1152U);    t4 = *((char **)t3);    t5 = *((unsigned char *)t4);    t6 = (t5 == (unsigned char)3);    if (t6 == 1)        goto LAB4;    else        goto LAB6;LAB7:    goto LAB5;LAB8:    xsi_set_current_line(78, ng0);    t2 = (t0 + 1428U);    t4 = *((char **)t2);    t2 = (t0 + 3864);    t7 = (t2 + 32U);    t8 = *((char **)t7);    t9 = (t8 + 40U);    t10 = *((char **)t9);    memcpy(t10, t4, 9U);    xsi_driver_first_trans_delta(t2, 27U, 9U, 0LL);    xsi_set_current_line(79, ng0);    t11 = (4 - 2);    t2 = (t0 + 7308);    *((int *)t2) = t11;    t3 = (t0 + 7312);    *((int *)t3) = 0;    t12 = t11;    t13 = 0;LAB11:    if (t12 >= t13)        goto LAB12;//.........这里部分代码省略.........

static void work_a_2875424055_3212880686_p_0(char *t0){    char t13[16];    char *t1;    unsigned char t2;    char *t3;    char *t4;    unsigned char t5;    unsigned char t6;    char *t7;    char *t8;    int t9;    unsigned int t10;    unsigned int t11;    unsigned int t12;    char *t14;    char *t15;    int t16;    unsigned int t17;    int t18;    int t19;    unsigned int t20;    unsigned int t21;    char *t22;    char *t23;    char *t24;    char *t25;LAB0:    xsi_set_current_line(56, ng0);    t1 = (t0 + 992U);    t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);    if (t2 != 0)        goto LAB2;LAB4:LAB3:    xsi_set_current_line(67, ng0);    t1 = (t0 + 1832U);    t3 = *((char **)t1);    t1 = (t0 + 4296);    t4 = (t1 + 56U);    t7 = *((char **)t4);    t8 = (t7 + 56U);    t14 = *((char **)t8);    memcpy(t14, t3, 32U);    xsi_driver_first_trans_fast(t1);    xsi_set_current_line(68, ng0);    t1 = (t0 + 2152U);    t3 = *((char **)t1);    t1 = (t0 + 2312U);    t4 = *((char **)t1);    t9 = (8 - 1);    t10 = (31 - t9);    t11 = (t10 * 1U);    t12 = (0 + t11);    t1 = (t4 + t12);    t7 = (t13 + 0U);    t8 = (t7 + 0U);    *((int *)t8) = 7;    t8 = (t7 + 4U);    *((int *)t8) = 0;    t8 = (t7 + 8U);    *((int *)t8) = -1;    t16 = (0 - 7);    t17 = (t16 * -1);    t17 = (t17 + 1);    t8 = (t7 + 12U);    *((unsigned int *)t8) = t17;    t18 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t1, t13);    t19 = (t18 - 255);    t17 = (t19 * -1);    xsi_vhdl_check_range_of_index(255, 0, -1, t18);    t20 = (32U * t17);    t21 = (0 + t20);    t8 = (t3 + t21);    t14 = (t0 + 4360);    t15 = (t14 + 56U);    t22 = *((char **)t15);    t23 = (t22 + 56U);    t24 = *((char **)t23);    memcpy(t24, t8, 32U);    xsi_driver_first_trans_fast_port(t14);    t1 = (t0 + 4152);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(63, ng0);    t3 = (t0 + 1672U);    t4 = *((char **)t3);    t5 = *((unsigned char *)t4);    t6 = (t5 == (unsigned char)3);    if (t6 != 0)        goto LAB5;LAB7:LAB6:    goto LAB3;LAB5:    xsi_set_current_line(64, ng0);    t3 = (t0 + 1512U);    t7 = *((char **)t3);    t3 = (t0 + 1352U);//.........这里部分代码省略.........

static void work_a_1562733808_3212880686_p_0(char *t0){    char *t1;    unsigned char t2;    char *t3;    char *t4;    unsigned char t5;    unsigned char t6;    char *t7;    char *t8;    char *t9;    char *t10;    char *t11;LAB0:    xsi_set_current_line(26, ng0);    t1 = (t0 + 1312U);    t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);    if (t2 != 0)        goto LAB2;LAB4:LAB3:    t1 = (t0 + 3800);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(28, ng0);    t3 = (t0 + 1512U);    t4 = *((char **)t3);    t5 = *((unsigned char *)t4);    t6 = (t5 == (unsigned char)3);    if (t6 != 0)        goto LAB5;LAB7:    t1 = (t0 + 1672U);    t3 = *((char **)t1);    t2 = *((unsigned char *)t3);    t5 = (t2 == (unsigned char)3);    if (t5 != 0)        goto LAB8;LAB9:LAB6:    goto LAB3;LAB5:    xsi_set_current_line(29, ng0);    t3 = (t0 + 2248U);    t7 = *((char **)t3);    t3 = (t0 + 3896);    t8 = (t3 + 56U);    t9 = *((char **)t8);    t10 = (t9 + 56U);    t11 = *((char **)t10);    memcpy(t11, t7, 122U);    xsi_driver_first_trans_fast(t3);    goto LAB6;LAB8:    xsi_set_current_line(31, ng0);    t1 = (t0 + 1032U);    t4 = *((char **)t1);    t1 = (t0 + 3896);    t7 = (t1 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t4, 122U);    xsi_driver_first_trans_fast(t1);    goto LAB6;}

static void work_a_1734369168_3212880686_p_0(char *t0){    char t22[16];    char t23[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;    char *t11;    char *t12;    char *t13;    char *t14;    char *t15;    char *t16;    int t17;    int t18;    unsigned int t19;    unsigned int t20;    unsigned int t21;    char *t24;    char *t25;    char *t26;    char *t27;LAB0:    xsi_set_current_line(54, 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 + 4032);    *((int *)t2) = 1;LAB1:    return;LAB2:    xsi_set_current_line(56, ng0);    t4 = (t0 + 1832U);    t8 = *((char **)t4);    t9 = *((unsigned char *)t8);    t10 = (t9 == (unsigned char)3);    if (t10 != 0)        goto LAB8;LAB10:    t2 = (t0 + 1192U);    t4 = *((char **)t2);    t1 = *((unsigned char *)t4);    t3 = (t1 == (unsigned char)3);    if (t3 != 0)        goto LAB11;LAB12:LAB9:    xsi_set_current_line(66, ng0);    t2 = (t0 + 1352U);    t4 = *((char **)t2);    t1 = *((unsigned char *)t4);    t3 = (t1 == (unsigned char)3);    if (t3 != 0)        goto LAB16;LAB18:LAB17:    goto LAB3;LAB5:    t4 = (t0 + 1032U);    t5 = *((char **)t4);    t6 = *((unsigned char *)t5);    t7 = (t6 == (unsigned char)2);    t1 = t7;    goto LAB7;LAB8:    xsi_set_current_line(57, ng0);    t4 = (t0 + 7360);    t12 = (t0 + 4128);    t13 = (t12 + 56U);    t14 = *((char **)t13);    t15 = (t14 + 56U);    t16 = *((char **)t15);    memcpy(t16, t4, 4U);    xsi_driver_first_trans_fast(t12);    goto LAB9;LAB11:    xsi_set_current_line(61, ng0);    t2 = (t0 + 1512U);    t5 = *((char **)t2);    t2 = (t0 + 2312U);    t8 = *((char **)t2);    t2 = (t0 + 6752U);    t17 = ieee_p_3620187407_sub_5109402382352621412_3965413181(IEEE_P_3620187407, t8, t2);    t18 = (t17 - 15);    t19 = (t18 * -1);//.........这里部分代码省略.........

static void work_a_4135716198_3212880686_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;    char *t12;    char *t13;LAB0:    xsi_set_current_line(40, ng0);    t1 = (t0 + 1192U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)3);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 992U);    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 + 4912);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(41, ng0);    t1 = (t0 + 5008);    t5 = (t1 + 56U);    t6 = *((char **)t5);    t7 = (t6 + 56U);    t8 = *((char **)t7);    *((unsigned char *)t8) = (unsigned char)0;    xsi_driver_first_trans_fast(t1);    goto LAB3;LAB5:    xsi_set_current_line(43, ng0);    t2 = (t0 + 2472U);    t6 = *((char **)t2);    t11 = *((unsigned char *)t6);    t2 = (t0 + 5008);    t7 = (t2 + 56U);    t8 = *((char **)t7);    t12 = (t8 + 56U);    t13 = *((char **)t12);    *((unsigned char *)t13) = t11;    xsi_driver_first_trans_fast(t2);    goto LAB3;LAB7:    t2 = (t0 + 1032U);    t5 = *((char **)t2);    t9 = *((unsigned char *)t5);    t10 = (t9 == (unsigned char)3);    t3 = t10;    goto LAB9;}

static void work_a_2584922061_3212880686_p_0(char *t0){    char t6[16];    char t11[16];    char *t1;    char *t2;    unsigned char t3;    char *t4;    unsigned char t5;    char *t7;    char *t8;    char *t9;    unsigned char t10;    char *t12;    unsigned int t13;    unsigned int t14;    unsigned char t15;    char *t16;    char *t17;    char *t18;    char *t19;    char *t20;    char *t21;LAB0:    xsi_set_current_line(49, ng0);LAB3:    t1 = (t0 + 1832U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t1 = (t0 + 1352U);    t4 = *((char **)t1);    t5 = *((unsigned char *)t4);    t7 = ((IEEE_P_2592010699) + 4024);    t1 = xsi_base_array_concat(t1, t6, t7, (char)99, t3, (char)99, t5, (char)101);    t8 = (t0 + 1512U);    t9 = *((char **)t8);    t10 = *((unsigned char *)t9);    t12 = ((IEEE_P_2592010699) + 4024);    t8 = xsi_base_array_concat(t8, t11, t12, (char)97, t1, t6, (char)99, t10, (char)101);    t13 = (1U + 1U);    t14 = (t13 + 1U);    t15 = (3U != t14);    if (t15 == 1)        goto LAB5;LAB6:    t16 = (t0 + 4768);    t17 = (t16 + 56U);    t18 = *((char **)t17);    t19 = (t18 + 56U);    t20 = *((char **)t19);    memcpy(t20, t8, 3U);    xsi_driver_first_trans_fast(t16);LAB2:    t21 = (t0 + 4624);    *((int *)t21) = 1;LAB1:    return;LAB4:    goto LAB2;LAB5:    xsi_size_not_matching(3U, t14, 0);    goto LAB6;}

static void work_a_0908435198_0230731466_p_1(char *t0){    char *t1;    char *t2;    int64 t3;    char *t4;    char *t5;    char *t6;    char *t7;    char *t8;    char *t9;LAB0:    t1 = (t0 + 2268U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(93, ng0);    t3 = (100 * 1000000LL);    t2 = (t0 + 2184);    xsi_process_wait(t2, t3);LAB6:    *((char **)t1) = &&LAB7;LAB1:    return;LAB4:    xsi_set_current_line(94, ng0);    t2 = (t0 + 2520);    t4 = (t2 + 32U);    t5 = *((char **)t4);    t6 = (t5 + 40U);    t7 = *((char **)t6);    *((unsigned char *)t7) = (unsigned char)3;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(95, ng0);    t2 = (t0 + 2556);    t4 = (t2 + 32U);    t5 = *((char **)t4);    t6 = (t5 + 40U);    t7 = *((char **)t6);    *((unsigned char *)t7) = (unsigned char)3;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(98, ng0);    t3 = (85 * 1000000LL);    t2 = (t0 + 2184);    xsi_process_wait(t2, t3);LAB10:    *((char **)t1) = &&LAB11;    goto LAB1;LAB5:    goto LAB4;LAB7:    goto LAB5;LAB8:    xsi_set_current_line(99, ng0);    t2 = (t0 + 4340);    t5 = (t0 + 2592);    t6 = (t5 + 32U);    t7 = *((char **)t6);    t8 = (t7 + 40U);    t9 = *((char **)t8);    memcpy(t9, t2, 5U);    xsi_driver_first_trans_fast(t5);    xsi_set_current_line(102, ng0);    t3 = (200 * 1000000LL);    t2 = (t0 + 2184);    xsi_process_wait(t2, t3);LAB14:    *((char **)t1) = &&LAB15;    goto LAB1;LAB9:    goto LAB8;LAB11:    goto LAB9;LAB12:    xsi_set_current_line(103, ng0);    t2 = (t0 + 4345);    t5 = (t0 + 2628);    t6 = (t5 + 32U);    t7 = *((char **)t6);    t8 = (t7 + 40U);    t9 = *((char **)t8);    memcpy(t9, t2, 32U);    xsi_driver_first_trans_fast(t5);    xsi_set_current_line(106, ng0);    t3 = (200 * 1000000LL);    t2 = (t0 + 2184);    xsi_process_wait(t2, t3);LAB18:    *((char **)t1) = &&LAB19;    goto LAB1;LAB13:    goto LAB12;LAB15:    goto LAB13;LAB16:    xsi_set_current_line(107, ng0);    t2 = (t0 + 4377);    t5 = (t0 + 2664);//.........这里部分代码省略.........

static void work_a_2584922061_3212880686_p_1(char *t0){    char *t1;    char *t2;    char *t3;    int t4;    char *t5;    char *t6;    int t7;    char *t8;    int t10;    char *t11;    int t13;    char *t14;    int t16;    char *t17;    int t19;    char *t20;    int t22;    char *t23;    int t25;    char *t26;    char *t27;    char *t28;    char *t29;    char *t30;LAB0:    xsi_set_current_line(53, ng0);    t1 = (t0 + 2152U);    t2 = *((char **)t1);    t1 = (t0 + 7596);    t4 = xsi_mem_cmp(t1, t2, 3U);    if (t4 == 1)        goto LAB3;LAB12:    t5 = (t0 + 7599);    t7 = xsi_mem_cmp(t5, t2, 3U);    if (t7 == 1)        goto LAB4;LAB13:    t8 = (t0 + 7602);    t10 = xsi_mem_cmp(t8, t2, 3U);    if (t10 == 1)        goto LAB5;LAB14:    t11 = (t0 + 7605);    t13 = xsi_mem_cmp(t11, t2, 3U);    if (t13 == 1)        goto LAB6;LAB15:    t14 = (t0 + 7608);    t16 = xsi_mem_cmp(t14, t2, 3U);    if (t16 == 1)        goto LAB7;LAB16:    t17 = (t0 + 7611);    t19 = xsi_mem_cmp(t17, t2, 3U);    if (t19 == 1)        goto LAB8;LAB17:    t20 = (t0 + 7614);    t22 = xsi_mem_cmp(t20, t2, 3U);    if (t22 == 1)        goto LAB9;LAB18:    t23 = (t0 + 7617);    t25 = xsi_mem_cmp(t23, t2, 3U);    if (t25 == 1)        goto LAB10;LAB19:LAB11:    xsi_set_current_line(62, ng0);    t1 = (t0 + 4832);    t2 = (t1 + 56U);    t3 = *((char **)t2);    t5 = (t3 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)1;    xsi_driver_first_trans_fast(t1);LAB2:    t1 = (t0 + 4640);    *((int *)t1) = 1;LAB1:    return;LAB3:    xsi_set_current_line(54, ng0);    t26 = (t0 + 4832);    t27 = (t26 + 56U);    t28 = *((char **)t27);    t29 = (t28 + 56U);    t30 = *((char **)t29);    *((unsigned char *)t30) = (unsigned char)2;    xsi_driver_first_trans_fast(t26);    goto LAB2;LAB4:    xsi_set_current_line(55, ng0);    t1 = (t0 + 4832);    t2 = (t1 + 56U);    t3 = *((char **)t2);    t5 = (t3 + 56U);    t6 = *((char **)t5);//.........这里部分代码省略.........

static void work_a_4000226436_3212880686_p_0(char *t0){    char t17[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;    char *t11;    char *t12;    char *t13;    char *t14;    char *t15;    char *t16;    int t18;    unsigned int t19;    char *t20;    char *t21;    char *t22;    unsigned int t23;LAB0:    xsi_set_current_line(39, ng0);    t2 = (t0 + 1312U);    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 + 3400);    *((int *)t2) = 1;LAB1:    return;LAB2:    xsi_set_current_line(40, ng0);    t4 = (t0 + 1192U);    t8 = *((char **)t4);    t9 = *((unsigned char *)t8);    t10 = (t9 == (unsigned char)3);    if (t10 != 0)        goto LAB8;LAB10:    t2 = (t0 + 1032U);    t4 = *((char **)t2);    t1 = *((unsigned char *)t4);    t3 = (t1 == (unsigned char)3);    if (t3 != 0)        goto LAB11;LAB12:LAB9:    goto LAB3;LAB5:    t4 = (t0 + 1352U);    t5 = *((char **)t4);    t6 = *((unsigned char *)t5);    t7 = (t6 == (unsigned char)3);    t1 = t7;    goto LAB7;LAB8:    xsi_set_current_line(40, ng0);    t4 = xsi_get_transient_memory(6U);    memset(t4, 0, 6U);    t11 = t4;    memset(t11, (unsigned char)2, 6U);    t12 = (t0 + 3496);    t13 = (t12 + 56U);    t14 = *((char **)t13);    t15 = (t14 + 56U);    t16 = *((char **)t15);    memcpy(t16, t4, 6U);    xsi_driver_first_trans_fast(t12);    goto LAB9;LAB11:    xsi_set_current_line(42, ng0);    t2 = (t0 + 1672U);    t5 = *((char **)t2);    t2 = (t0 + 5268U);    t8 = (t0 + 5301);    t12 = (t17 + 0U);    t13 = (t12 + 0U);    *((int *)t13) = 0;    t13 = (t12 + 4U);    *((int *)t13) = 5;    t13 = (t12 + 8U);    *((int *)t13) = 1;    t18 = (5 - 0);    t19 = (t18 * 1);    t19 = (t19 + 1);    t13 = (t12 + 12U);    *((unsigned int *)t13) = t19;    t6 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t5, t2, t8, t17);    if (t6 != 0)//.........这里部分代码省略.........

//.........这里部分代码省略.........    t161 = xsi_mem_cmp(t159, t3, 8U);    if (t161 == 1)        goto LAB62;LAB119:    t162 = (t0 + 7327);    t164 = xsi_mem_cmp(t162, t3, 8U);    if (t164 == 1)        goto LAB63;LAB120:    t165 = (t0 + 7335);    t167 = xsi_mem_cmp(t165, t3, 8U);    if (t167 == 1)        goto LAB64;LAB121:    t168 = (t0 + 7343);    t170 = xsi_mem_cmp(t168, t3, 8U);    if (t170 == 1)        goto LAB65;LAB122:    t171 = (t0 + 7351);    t173 = xsi_mem_cmp(t171, t3, 8U);    if (t173 == 1)        goto LAB66;LAB123:LAB67:    xsi_set_current_line(127, ng0);    t1 = (t0 + 8255);    t4 = (t0 + 4272);    t7 = (t4 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t1, 16U);    xsi_driver_first_trans_fast(t4);LAB10:    goto LAB3;LAB5:    xsi_set_current_line(46, ng0);    t3 = xsi_get_transient_memory(8U);    memset(t3, 0, 8U);    t7 = t3;    memset(t7, (unsigned char)2, 8U);    t8 = (t0 + 4208);    t9 = (t8 + 56U);    t10 = *((char **)t9);    t11 = (t10 + 56U);    t12 = *((char **)t11);    memcpy(t12, t3, 8U);    xsi_driver_first_trans_fast(t8);    goto LAB6;LAB8:    xsi_set_current_line(48, ng0);    t1 = (t0 + 1992U);    t4 = *((char **)t1);    t1 = (t0 + 6844U);    t7 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t13, t4, t1, 1);    t8 = (t0 + 4208);    t9 = (t8 + 56U);    t10 = *((char **)t9);    t11 = (t10 + 56U);    t12 = *((char **)t11);    memcpy(t12, t7, 8U);    xsi_driver_first_trans_fast(t8);    goto LAB6;LAB11:    xsi_set_current_line(52, ng0);

static void work_a_3502909654_3212880686_p_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    int64 t7;    int64 t8;LAB0:    t1 = (t0 + 2624U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(62, ng0);    t2 = (t0 + 3008);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)2;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(63, ng0);    t2 = (t0 + 1648U);    t3 = *((char **)t2);    t7 = *((int64 *)t3);    t8 = (t7 / 2);    t2 = (t0 + 2432);    xsi_process_wait(t2, t8);LAB6:    *((char **)t1) = &&LAB7;LAB1:    return;LAB4:    xsi_set_current_line(64, ng0);    t2 = (t0 + 3008);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)3;    xsi_driver_first_trans_fast(t2);    xsi_set_current_line(65, ng0);    t2 = (t0 + 1648U);    t3 = *((char **)t2);    t7 = *((int64 *)t3);    t8 = (t7 / 2);    t2 = (t0 + 2432);    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;}

static void work_a_3888821139_3212880686_p_1(char *t0){    char *t1;    char *t2;    unsigned char t3;    char *t4;    char *t5;    char *t6;    char *t7;    char *t8;    unsigned char t9;    static char *nl0[] = {&&LAB3, &&LAB4, &&LAB5, &&LAB6, &&LAB7, &&LAB8, &&LAB9, &&LAB10, &&LAB11, &&LAB12};LAB0:    xsi_set_current_line(58, ng0);    t1 = (t0 + 1832U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t1 = (char *)((nl0) + t3);    goto **((char **)t1);LAB2:    t1 = (t0 + 3736);    *((int *)t1) = 1;LAB1:    return;LAB3:    xsi_set_current_line(60, ng0);    t4 = (t0 + 3880);    t5 = (t4 + 56U);    t6 = *((char **)t5);    t7 = (t6 + 56U);    t8 = *((char **)t7);    *((unsigned char *)t8) = (unsigned char)1;    xsi_driver_first_trans_fast(t4);    xsi_set_current_line(61, ng0);    t1 = xsi_get_transient_memory(5U);    memset(t1, 0, 5U);    t2 = t1;    memset(t2, (unsigned char)2, 5U);    t4 = (t0 + 3944);    t5 = (t4 + 56U);    t6 = *((char **)t5);    t7 = (t6 + 56U);    t8 = *((char **)t7);    memcpy(t8, t1, 5U);    xsi_driver_first_trans_fast_port(t4);    goto LAB2;LAB4:    xsi_set_current_line(64, ng0);    t1 = (t0 + 3880);    t2 = (t1 + 56U);    t4 = *((char **)t2);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)2;    xsi_driver_first_trans_fast(t1);    xsi_set_current_line(65, ng0);    t1 = (t0 + 3944);    t2 = (t1 + 56U);    t4 = *((char **)t2);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)3;    xsi_driver_first_trans_delta(t1, 0U, 1, 0LL);    xsi_set_current_line(66, ng0);    t1 = xsi_get_transient_memory(4U);    memset(t1, 0, 4U);    t2 = t1;    memset(t2, (unsigned char)2, 4U);    t4 = (t0 + 3944);    t5 = (t4 + 56U);    t6 = *((char **)t5);    t7 = (t6 + 56U);    t8 = *((char **)t7);    memcpy(t8, t1, 4U);    xsi_driver_first_trans_delta(t4, 1U, 4U, 0LL);    goto LAB2;LAB5:    xsi_set_current_line(69, ng0);    t1 = (t0 + 1352U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t9 = (t3 == (unsigned char)2);    if (t9 != 0)        goto LAB14;LAB16:    xsi_set_current_line(70, ng0);    t1 = (t0 + 3880);    t2 = (t1 + 56U);    t4 = *((char **)t2);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)3;    xsi_driver_first_trans_fast(t1);LAB15:    xsi_set_current_line(72, ng0);    t1 = (t0 + 6362);    t3 = (4U != 4U);    if (t3 == 1)        goto LAB17;LAB18:    t4 = (t0 + 3944);//.........这里部分代码省略.........

static void work_a_1991350011_3212880686_p_0(char *t0){    char *t1;    char *t2;    unsigned char t3;    unsigned char t4;    char *t5;    char *t6;    char *t7;    char *t8;    char *t9;    unsigned char t10;    char *t11;LAB0:    xsi_set_current_line(24, ng0);    t1 = (t0 + 1512U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)3);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 1312U);    t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);    if (t3 != 0)        goto LAB5;LAB6:LAB3:    t1 = (t0 + 3680);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(25, ng0);    t1 = (t0 + 2128U);    t5 = *((char **)t1);    t1 = (t0 + 3776);    t6 = (t1 + 56U);    t7 = *((char **)t6);    t8 = (t7 + 56U);    t9 = *((char **)t8);    memcpy(t9, t5, 32U);    xsi_driver_first_trans_fast(t1);    goto LAB3;LAB5:    xsi_set_current_line(27, ng0);    t2 = (t0 + 1672U);    t5 = *((char **)t2);    t4 = *((unsigned char *)t5);    t10 = (t4 == (unsigned char)3);    if (t10 != 0)        goto LAB7;LAB9:LAB8:    goto LAB3;LAB7:    xsi_set_current_line(28, ng0);    t2 = (t0 + 1032U);    t6 = *((char **)t2);    t2 = (t0 + 3776);    t7 = (t2 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t11 = *((char **)t9);    memcpy(t11, t6, 32U);    xsi_driver_first_trans_fast(t2);    goto LAB8;}

static void work_a_1405902285_3212880686_p_1(char *t0){    char t12[16];    char t36[16];    char t38[16];    char t50[16];    unsigned char t1;    char *t2;    unsigned char t3;    char *t4;    char *t5;    unsigned char t6;    unsigned char t7;    int t8;    char *t9;    int t10;    int t11;    char *t13;    char *t14;    int t15;    int t16;    unsigned int t17;    unsigned int t18;    int t19;    int t20;    unsigned int t21;    unsigned int t22;    unsigned int t23;    unsigned int t24;    char *t25;    unsigned char t26;    char *t27;    char *t28;    int t29;    int t30;    unsigned int t31;    unsigned int t32;    unsigned int t33;    char *t34;    char *t35;    char *t37;    char *t39;    char *t40;    int t41;    unsigned int t42;    char *t43;    int t44;    int t45;    int t46;    unsigned int t47;    unsigned int t48;    char *t49;    char *t51;    char *t52;    int t53;    unsigned int t54;    char *t55;    unsigned int t56;    unsigned char t57;    char *t58;    int t59;    int t60;    unsigned int t61;    unsigned int t62;    unsigned int t63;    char *t64;    char *t65;    char *t66;    char *t67;    char *t68;LAB0:    xsi_set_current_line(89, ng0);    t2 = (t0 + 1128U);    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(95, ng0);    t2 = (t0 + 1980U);    t4 = *((char **)t2);    t8 = (0 - 0);    t17 = (t8 * 1);    t18 = (19U * t17);    t21 = (0 + t18);    t2 = (t4 + t21);    t5 = (t0 + 3972);    t9 = (t5 + 32U);    t13 = *((char **)t9);    t14 = (t13 + 40U);    t25 = *((char **)t14);    memcpy(t25, t2, 19U);    xsi_driver_first_trans_fast(t5);    t2 = (t0 + 3812);    *((int *)t2) = 1;//.........这里部分代码省略.........

static void microblaze_v8_00_b_a_2256446895_3306564128_p_15(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    char *t7;    int t8;    int t9;    unsigned int t10;    unsigned int t11;    unsigned int t12;    unsigned char t13;    unsigned char t14;    unsigned char t15;    unsigned char t16;    int t17;    unsigned char t18;    int t19;    unsigned int t20;    unsigned int t21;    unsigned int t22;    unsigned char t23;    unsigned char t24;    char *t25;    char *t26;    char *t27;    char *t28;    char *t29;LAB0:    xsi_set_current_line(565, ng0);    t1 = xsi_get_transient_memory(32U);    memset(t1, 0, 32U);    t2 = t1;    memset(t2, (unsigned char)2, 32U);    t3 = (t0 + 36264);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = (t5 + 56U);    t7 = *((char **)t6);    memcpy(t7, t1, 32U);    xsi_driver_first_trans_fast(t3);    xsi_set_current_line(566, ng0);    t1 = (t0 + 36328);    t2 = (t1 + 56U);    t3 = *((char **)t2);    t4 = (t3 + 56U);    t5 = *((char **)t4);    *((unsigned char *)t5) = (unsigned char)0;    xsi_driver_first_trans_fast(t1);    xsi_set_current_line(568, ng0);    t1 = (t0 + 13472U);    t2 = *((char **)t1);    t1 = ((MICROBLAZE_V8_00_B_P_1761634766) + 41128U);    t3 = *((char **)t1);    t8 = *((int *)t3);    t9 = (t8 - 27);    t10 = (t9 * 1);    t11 = (1U * t10);    t12 = (0 + t11);    t1 = (t2 + t12);    t13 = *((unsigned char *)t1);    t4 = ((MICROBLAZE_V8_00_B_P_1761634766) + 41248U);    t5 = *((char **)t4);    t14 = *((unsigned char *)t5);    t15 = (t13 == t14);    if (t15 != 0)        goto LAB2;LAB4:LAB3:    t1 = (t0 + 35224);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(569, ng0);    t4 = ((MICROBLAZE_V8_00_B_P_1761634766) + 2248U);    t6 = *((char **)t4);    t17 = *((int *)t6);    t18 = (0 < t17);    if (t18 == 1)        goto LAB8;LAB9:    t4 = (t0 + 13472U);    t7 = *((char **)t4);    t19 = (27 - 27);    t20 = (t19 * 1);    xsi_vhdl_check_range_of_index(27, 31, 1, 27);    t21 = (1U * t20);    t22 = (0 + t21);    t4 = (t7 + t22);    t23 = *((unsigned char *)t4);    t24 = (t23 == (unsigned char)2);    t16 = t24;LAB10:    if (t16 != 0)        goto LAB5;LAB7:    xsi_set_current_line(576, ng0);//.........这里部分代码省略.........

static void work_a_0213048447_3212880686_p_1(char *t0){    char t5[16];    char t7[16];    char t15[16];    char t17[16];    char *t1;    char *t3;    char *t4;    char *t6;    char *t8;    char *t9;    int t10;    unsigned int t11;    char *t12;    char *t14;    char *t16;    char *t18;    char *t19;    int t20;    unsigned int t21;    unsigned char t22;    char *t23;    char *t24;    char *t25;    char *t26;    char *t27;LAB0:    xsi_set_current_line(100, ng0);LAB3:    t1 = (t0 + 9513);    t3 = (t0 + 1352U);    t4 = *((char **)t3);    t6 = ((IEEE_P_2592010699) + 4024);    t8 = (t7 + 0U);    t9 = (t8 + 0U);    *((int *)t9) = 0;    t9 = (t8 + 4U);    *((int *)t9) = 1;    t9 = (t8 + 8U);    *((int *)t9) = 1;    t10 = (1 - 0);    t11 = (t10 * 1);    t11 = (t11 + 1);    t9 = (t8 + 12U);    *((unsigned int *)t9) = t11;    t9 = (t0 + 9428U);    t3 = xsi_base_array_concat(t3, t5, t6, (char)97, t1, t7, (char)97, t4, t9, (char)101);    t12 = (t0 + 9515);    t16 = ((IEEE_P_2592010699) + 4024);    t18 = (t17 + 0U);    t19 = (t18 + 0U);    *((int *)t19) = 0;    t19 = (t18 + 4U);    *((int *)t19) = 0;    t19 = (t18 + 8U);    *((int *)t19) = 1;    t20 = (0 - 0);    t11 = (t20 * 1);    t11 = (t11 + 1);    t19 = (t18 + 12U);    *((unsigned int *)t19) = t11;    t14 = xsi_base_array_concat(t14, t15, t16, (char)97, t3, t5, (char)97, t12, t17, (char)101);    t11 = (2U + 8U);    t21 = (t11 + 1U);    t22 = (11U != t21);    if (t22 == 1)        goto LAB5;LAB6:    t19 = (t0 + 5488);    t23 = (t19 + 56U);    t24 = *((char **)t23);    t25 = (t24 + 56U);    t26 = *((char **)t25);    memcpy(t26, t14, 11U);    xsi_driver_first_trans_fast(t19);LAB2:    t27 = (t0 + 5312);    *((int *)t27) = 1;LAB1:    return;LAB4:    goto LAB2;LAB5:    xsi_size_not_matching(11U, t21, 0);    goto LAB6;}