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

static void work_a_0464918941_1181938964_p_4(char *t0){    unsigned char t1;    char *t2;    unsigned char t3;    char *t4;    char *t5;    unsigned char t6;    unsigned char t7;    char *t8;    char *t9;    int t10;    char *t11;    char *t12;    int t13;    char *t14;    int t16;    char *t17;    int t19;    char *t20;    int t22;    char *t23;    int t25;    char *t26;    int t28;    char *t29;    int t31;    char *t32;    char *t33;    unsigned int t34;    unsigned int t35;    unsigned int t36;    char *t37;    char *t38;    char *t39;    char *t40;    char *t41;LAB0:    xsi_set_current_line(189, ng0);    t2 = (t0 + 708U);    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 + 8628);    *((int *)t2) = 1;LAB1:    return;LAB2:    xsi_set_current_line(190, ng0);    t4 = (t0 + 1008U);    t8 = *((char **)t4);    t4 = (t0 + 17887);    t10 = xsi_mem_cmp(t4, t8, 3U);    if (t10 == 1)        goto LAB9;LAB18:    t11 = (t0 + 17890);    t13 = xsi_mem_cmp(t11, t8, 3U);    if (t13 == 1)        goto LAB10;LAB19:    t14 = (t0 + 17893);    t16 = xsi_mem_cmp(t14, t8, 3U);    if (t16 == 1)        goto LAB11;LAB20:    t17 = (t0 + 17896);    t19 = xsi_mem_cmp(t17, t8, 3U);    if (t19 == 1)        goto LAB12;LAB21:    t20 = (t0 + 17899);    t22 = xsi_mem_cmp(t20, t8, 3U);    if (t22 == 1)        goto LAB13;LAB22:    t23 = (t0 + 17902);    t25 = xsi_mem_cmp(t23, t8, 3U);    if (t25 == 1)        goto LAB14;LAB23:    t26 = (t0 + 17905);    t28 = xsi_mem_cmp(t26, t8, 3U);    if (t28 == 1)        goto LAB15;LAB24:    t29 = (t0 + 17908);    t31 = xsi_mem_cmp(t29, t8, 3U);    if (t31 == 1)        goto LAB16;LAB25:LAB17:    xsi_set_current_line(203, ng0);    t2 = xsi_get_transient_memory(8U);//.........这里部分代码省略.........

static void work_a_3217046058_1516540902_p_6(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;LAB0:    xsi_set_current_line(100, ng0);    t1 = (t0 + 2972U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)2);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 3064U);    t2 = *((char **)t1);    t4 = *((unsigned char *)t2);    t11 = (t4 == (unsigned char)3);    if (t11 == 1)        goto LAB7;LAB8:    t3 = (unsigned char)0;LAB9:    if (t3 != 0)        goto LAB5;LAB6:LAB3:    t1 = (t0 + 8900);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(101, ng0);    t1 = xsi_get_transient_memory(8U);    memset(t1, 0, 8U);    t5 = t1;    memset(t5, (unsigned char)2, 8U);    t6 = (t0 + 9240);    t7 = (t6 + 32U);    t8 = *((char **)t7);    t9 = (t8 + 40U);    t10 = *((char **)t9);    memcpy(t10, t1, 8U);    xsi_driver_first_trans_fast(t6);    goto LAB3;LAB5:    xsi_set_current_line(103, ng0);    t5 = (t0 + 4168U);    t6 = *((char **)t5);    t5 = (t0 + 9240);    t7 = (t5 + 32U);    t8 = *((char **)t7);    t9 = (t8 + 40U);    t10 = *((char **)t9);    memcpy(t10, t6, 8U);    xsi_driver_first_trans_fast(t5);    goto LAB3;LAB7:    t1 = (t0 + 3040U);    t12 = xsi_signal_has_event(t1);    t3 = t12;    goto LAB9;}

static void work_a_0832606739_3212880686_p_0(char *t0){    char t20[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;    int t19;    char *t21;    char *t22;    char *t23;    char *t24;    char *t25;    char *t26;    unsigned int t27;    unsigned int t28;    unsigned char t29;    char *t30;    char *t31;    char *t32;    char *t33;    char *t34;LAB0:    xsi_set_current_line(152, ng0);    t1 = (t0 + 1032U);    t2 = *((char **)t1);    t1 = (t0 + 6252);    t4 = xsi_mem_cmp(t1, t2, 4U);    if (t4 == 1)        goto LAB3;LAB10:    t5 = (t0 + 6256);    t7 = xsi_mem_cmp(t5, t2, 4U);    if (t7 == 1)        goto LAB4;LAB11:    t8 = (t0 + 6260);    t10 = xsi_mem_cmp(t8, t2, 4U);    if (t10 == 1)        goto LAB5;LAB12:    t11 = (t0 + 6264);    t13 = xsi_mem_cmp(t11, t2, 4U);    if (t13 == 1)        goto LAB6;LAB13:    t14 = (t0 + 6268);    t16 = xsi_mem_cmp(t14, t2, 4U);    if (t16 == 1)        goto LAB7;LAB14:    t17 = (t0 + 6272);    t19 = xsi_mem_cmp(t17, t2, 4U);    if (t19 == 1)        goto LAB8;LAB15:LAB9:    xsi_set_current_line(169, ng0);    t1 = xsi_get_transient_memory(32U);    memset(t1, 0, 32U);    t2 = t1;    memset(t2, (unsigned char)2, 32U);    t3 = (t0 + 3912);    t5 = (t3 + 56U);    t6 = *((char **)t5);    t8 = (t6 + 56U);    t9 = *((char **)t8);    memcpy(t9, t1, 32U);    xsi_driver_first_trans_fast(t3);LAB2:    t1 = (t0 + 3800);    *((int *)t1) = 1;LAB1:    return;LAB3:    xsi_set_current_line(154, ng0);    t21 = (t0 + 1192U);    t22 = *((char **)t21);    t21 = (t0 + 6080U);    t23 = (t0 + 1352U);    t24 = *((char **)t23);    t23 = (t0 + 6096U);    t25 = ieee_p_2592010699_sub_16439989832805790689_503743352(IEEE_P_2592010699, t20, t22, t21, t24, t23);    t26 = (t20 + 12U);    t27 = *((unsigned int *)t26);    t28 = (1U * t27);    t29 = (32U != t28);    if (t29 == 1)//.........这里部分代码省略.........

static void work_a_0284541052_3212880686_p_3(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;    char *t16;LAB0:    xsi_set_current_line(75, ng0);    t1 = (t0 + 684U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)3);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 568U);    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 + 5404);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(76, ng0);    t1 = xsi_get_transient_memory(10U);    memset(t1, 0, 10U);    t5 = t1;    memset(t5, (unsigned char)2, 10U);    t6 = (t0 + 5636);    t7 = (t6 + 32U);    t8 = *((char **)t7);    t9 = (t8 + 40U);    t10 = *((char **)t9);    memcpy(t10, t1, 10U);    xsi_driver_first_trans_fast(t6);    goto LAB3;LAB5:    xsi_set_current_line(78, ng0);    t2 = (t0 + 1788U);    t7 = *((char **)t2);    t2 = (t0 + 5636);    t8 = (t2 + 32U);    t9 = *((char **)t8);    t10 = (t9 + 40U);    t16 = *((char **)t10);    memcpy(t16, t7, 10U);    xsi_driver_first_trans_fast(t2);    goto LAB3;LAB7:    t2 = (t0 + 1420U);    t6 = *((char **)t2);    t14 = *((unsigned char *)t6);    t15 = (t14 == (unsigned char)3);    t3 = t15;    goto LAB9;LAB10:    t2 = (t0 + 592U);    t5 = *((char **)t2);    t12 = *((unsigned char *)t5);    t13 = (t12 == (unsigned char)3);    t4 = t13;    goto LAB12;}

static void work_a_0284541052_3212880686_p_9(char *t0){    char t14[16];    char *t1;    char *t2;    char *t3;    char *t4;    int t5;    int t6;    unsigned char t7;    char *t8;    char *t9;    char *t10;    char *t11;    char *t12;    char *t13;    char *t15;    char *t16;    char *t17;    char *t18;    unsigned int t19;    unsigned int t20;    unsigned char t21;    char *t22;    char *t23;    char *t24;    char *t25;    char *t26;    char *t27;LAB0:    xsi_set_current_line(104, ng0);    t1 = (t0 + 1880U);    t2 = *((char **)t1);    t1 = (t0 + 9844U);    t3 = (t0 + 2484U);    t4 = *((char **)t3);    t5 = *((int *)t4);    t6 = (t5 - 1);    t7 = ieee_p_1242562249_sub_1781507893_1035706684(IEEE_P_1242562249, t2, t1, t6);    if (t7 != 0)        goto LAB3;LAB4:LAB5:    t15 = (t0 + 1880U);    t16 = *((char **)t15);    t15 = (t0 + 9844U);    t17 = ieee_p_1242562249_sub_1919365254_1035706684(IEEE_P_1242562249, t14, t16, t15, 1);    t18 = (t14 + 12U);    t19 = *((unsigned int *)t18);    t20 = (1U * t19);    t21 = (10U != t20);    if (t21 == 1)        goto LAB7;LAB8:    t22 = (t0 + 5852);    t23 = (t22 + 32U);    t24 = *((char **)t23);    t25 = (t24 + 40U);    t26 = *((char **)t25);    memcpy(t26, t17, 10U);    xsi_driver_first_trans_fast(t22);LAB2:    t27 = (t0 + 5452);    *((int *)t27) = 1;LAB1:    return;LAB3:    t3 = xsi_get_transient_memory(10U);    memset(t3, 0, 10U);    t8 = t3;    memset(t8, (unsigned char)2, 10U);    t9 = (t0 + 5852);    t10 = (t9 + 32U);    t11 = *((char **)t10);    t12 = (t11 + 40U);    t13 = *((char **)t12);    memcpy(t13, t3, 10U);    xsi_driver_first_trans_fast(t9);    goto LAB2;LAB6:    goto LAB2;LAB7:    xsi_size_not_matching(10U, t20, 0);    goto LAB8;}

static void work_a_2984041237_3212880686_p_0(char *t0){    char t17[16];    char t22[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;    unsigned int t18;    char *t19;    unsigned int t20;    unsigned int t21;    int t23;    unsigned int t24;LAB0:    xsi_set_current_line(39, ng0);    t2 = (t0 + 1472U);    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 + 4288);    *((int *)t2) = 1;LAB1:    return;LAB2:    xsi_set_current_line(40, ng0);    t4 = (t0 + 1032U);    t8 = *((char **)t4);    t9 = *((unsigned char *)t8);    t10 = (t9 == (unsigned char)3);    if (t10 != 0)        goto LAB8;LAB10:    t2 = (t0 + 1352U);    t4 = *((char **)t2);    t1 = *((unsigned char *)t4);    t3 = (t1 == (unsigned char)3);    if (t3 != 0)        goto LAB11;LAB12:    t2 = (t0 + 1192U);    t4 = *((char **)t2);    t1 = *((unsigned char *)t4);    t3 = (t1 == (unsigned char)3);    if (t3 != 0)        goto LAB15;LAB16:LAB9:    goto LAB3;LAB5:    t4 = (t0 + 1512U);    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(25U);    memset(t4, 0, 25U);    t11 = t4;    memset(t11, (unsigned char)2, 25U);    t12 = (t0 + 4400);    t13 = (t12 + 56U);    t14 = *((char **)t13);    t15 = (t14 + 56U);    t16 = *((char **)t15);    memcpy(t16, t4, 25U);    xsi_driver_first_trans_fast(t12);    goto LAB9;LAB11:    xsi_set_current_line(41, ng0);    t2 = (t0 + 1992U);    t5 = *((char **)t2);    t6 = *((unsigned char *)t5);    t2 = (t0 + 1672U);    t8 = *((char **)t2);    t11 = ((IEEE_P_2592010699) + 4024);    t12 = (t0 + 6480U);    t2 = xsi_base_array_concat(t2, t17, t11, (char)99, t6, (char)97, t8, t12, (char)101);    t18 = (1U + 24U);    t7 = (25U != t18);//.........这里部分代码省略.........

static void unisim_a_2955268715_1990404599_p_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    unsigned char t5;    char *t6;    unsigned char t7;    char *t8;    unsigned char t9;    char *t10;    unsigned char t11;    char *t12;    int t13;    int t14;    unsigned int t15;    unsigned int t16;    unsigned int t17;LAB0:    t1 = xsi_get_transient_memory(4U);    memset(t1, 0, 4U);    t2 = t1;    t3 = (t0 + 1672U);    t4 = *((char **)t3);    t5 = *((unsigned char *)t4);    *((unsigned char *)t2) = t5;    t2 = (t2 + 1U);    t3 = (t0 + 1512U);    t6 = *((char **)t3);    t7 = *((unsigned char *)t6);    *((unsigned char *)t2) = t7;    t2 = (t2 + 1U);    t3 = (t0 + 1352U);    t8 = *((char **)t3);    t9 = *((unsigned char *)t8);    *((unsigned char *)t2) = t9;    t2 = (t2 + 1U);    t3 = (t0 + 1192U);    t10 = *((char **)t3);    t11 = *((unsigned char *)t10);    *((unsigned char *)t2) = t11;    t3 = (t0 + 2968U);    t12 = *((char **)t3);    t3 = (t12 + 0);    memcpy(t3, t1, 4U);    t1 = (t0 + 2968U);    t2 = *((char **)t1);    t1 = (t0 + 7244U);    t5 = unisim_p_3222816464_sub_2053111517_279109243(UNISIM_P_3222816464, t2, t1);    t3 = (t0 + 2728U);    t4 = *((char **)t3);    t3 = (t4 + 0);    *((unsigned char *)t3) = t5;    t1 = (t0 + 2728U);    t2 = *((char **)t1);    t5 = *((unsigned char *)t2);    if (t5 != 0)        goto LAB2;LAB4:    t1 = (t0 + 2848U);    t2 = *((char **)t1);    t1 = (t2 + 0);    *((int *)t1) = 16;LAB3:    t1 = (t0 + 2312U);    t2 = *((char **)t1);    t1 = (t0 + 2848U);    t3 = *((char **)t1);    t13 = *((int *)t3);    t14 = (t13 - 16);    t15 = (t14 * -1);    xsi_vhdl_check_range_of_index(16, 0, -1, t13);    t16 = (1U * t15);    t17 = (0 + t16);    t1 = (t2 + t17);    t5 = *((unsigned char *)t1);    t4 = (t0 + 4752);    t6 = (t4 + 56U);    t8 = *((char **)t6);    t10 = (t8 + 56U);    t12 = *((char **)t10);    *((unsigned char *)t12) = t5;    xsi_driver_first_trans_fast_port(t4);    t1 = (t0 + 4640);    *((int *)t1) = 1;LAB1:    return;LAB2:    t1 = (t0 + 2968U);    t3 = *((char **)t1);    t1 = (t0 + 7244U);    t13 = unisim_p_3222816464_sub_3182959421_279109243(UNISIM_P_3222816464, t3, t1);    t4 = (t0 + 2848U);    t6 = *((char **)t4);    t4 = (t6 + 0);    *((int *)t4) = t13;    goto LAB3;}

static void work_a_3729375705_1516540902_p_3(char *t0){    char t12[16];    char t20[16];    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 int t13;    unsigned char t14;    char *t15;    char *t16;    char *t17;    unsigned int t18;    unsigned int t19;    int t21;    unsigned int t22;LAB0:    xsi_set_current_line(120, ng0);    t1 = (t0 + 1192U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)2);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 992U);    t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);    if (t3 != 0)        goto LAB5;LAB6:LAB3:    t1 = (t0 + 10264);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(121, ng0);    t1 = xsi_get_transient_memory(9U);    memset(t1, 0, 9U);    t5 = t1;    memset(t5, (unsigned char)2, 9U);    t6 = (t0 + 11336);    t7 = (t6 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t1, 9U);    xsi_driver_first_trans_fast(t6);    goto LAB3;LAB5:    xsi_set_current_line(123, ng0);    t2 = (t0 + 4392U);    t5 = *((char **)t2);    t4 = *((unsigned char *)t5);    t11 = (t4 == (unsigned char)3);    if (t11 != 0)        goto LAB7;LAB9:    t1 = (t0 + 4552U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)3);    if (t4 != 0)        goto LAB12;LAB13:LAB8:    goto LAB3;LAB7:    xsi_set_current_line(124, ng0);    t2 = (t0 + 2312U);    t6 = *((char **)t2);    t7 = ((IEEE_P_2592010699) + 4024);    t8 = (t0 + 16784U);    t2 = xsi_base_array_concat(t2, t12, t7, (char)99, (unsigned char)2, (char)97, t6, t8, (char)101);    t13 = (1U + 8U);    t14 = (9U != t13);    if (t14 == 1)        goto LAB10;LAB11:    t9 = (t0 + 11336);    t10 = (t9 + 56U);    t15 = *((char **)t10);    t16 = (t15 + 56U);    t17 = *((char **)t16);    memcpy(t17, t2, 9U);    xsi_driver_first_trans_fast(t9);    goto LAB8;LAB10:    xsi_size_not_matching(9U, t13, 0);    goto LAB11;LAB12:    xsi_set_current_line(126, ng0);    t1 = (t0 + 2472U);//.........这里部分代码省略.........

static void work_a_2299515349_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;    char *t9;    char *t10;    char *t11;    char *t12;    int t14;    unsigned int t15;    unsigned int t16;    unsigned int t17;    char *t18;    char *t19;    char *t20;LAB0:    xsi_set_current_line(38, ng0);    t1 = (t0 + 992U);    t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);    if (t2 != 0)        goto LAB2;LAB4:LAB3:    t1 = (t0 + 3912);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(39, ng0);    t3 = (t0 + 1192U);    t4 = *((char **)t3);    t5 = *((unsigned char *)t4);    t6 = (t5 == (unsigned char)2);    if (t6 != 0)        goto LAB5;LAB7:    xsi_set_current_line(45, ng0);    t1 = xsi_get_transient_memory(32U);    memset(t1, 0, 32U);    t3 = t1;    memset(t3, (unsigned char)2, 32U);    t4 = (t0 + 3992);    t7 = (t4 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t1, 32U);    xsi_driver_first_trans_fast_port(t4);    xsi_set_current_line(46, ng0);    t1 = xsi_get_transient_memory(32U);    memset(t1, 0, 32U);    t3 = t1;    memset(t3, (unsigned char)2, 32U);    t4 = (t0 + 4056);    t7 = (t4 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t1, 32U);    xsi_driver_first_trans_fast_port(t4);    xsi_set_current_line(47, ng0);    t1 = xsi_get_transient_memory(32U);    memset(t1, 0, 32U);    t3 = t1;    memset(t3, (unsigned char)2, 32U);    t4 = (t0 + 4120);    t7 = (t4 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t1, 32U);    xsi_driver_first_trans_fast_port(t4);    xsi_set_current_line(48, ng0);    t1 = xsi_get_transient_memory(32U);    memset(t1, 0, 32U);    t3 = t1;    memset(t3, (unsigned char)2, 32U);    t4 = (t0 + 4184);    t7 = (t4 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t1, 32U);    xsi_driver_first_trans_fast_port(t4);    xsi_set_current_line(50, ng0);    t1 = (t0 + 1672U);    t3 = *((char **)t1);    t1 = (t0 + 6464U);    t4 = (t0 + 6815);    t8 = (t13 + 0U);    t9 = (t8 + 0U);    *((int *)t9) = 0;    t9 = (t8 + 4U);    *((int *)t9) = 1;//.........这里部分代码省略.........

static void work_a_3729375705_1516540902_p_7(char *t0){    char t12[16];    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 int t13;    unsigned int t14;    char *t15;    char *t16;LAB0:    xsi_set_current_line(173, ng0);    t1 = (t0 + 1192U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)2);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 992U);    t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);    if (t3 != 0)        goto LAB5;LAB6:LAB3:    t1 = (t0 + 10328);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(174, ng0);    t1 = xsi_get_transient_memory(3U);    memset(t1, 0, 3U);    t5 = t1;    memset(t5, (unsigned char)2, 3U);    t6 = (t0 + 11592);    t7 = (t6 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t1, 3U);    xsi_driver_first_trans_fast(t6);    goto LAB3;LAB5:    xsi_set_current_line(177, ng0);    t2 = (t0 + 4072U);    t5 = *((char **)t2);    t4 = *((unsigned char *)t5);    t11 = (t4 == (unsigned char)3);    if (t11 != 0)        goto LAB7;LAB9:    t1 = (t0 + 4232U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)3);    if (t4 != 0)        goto LAB10;LAB11:LAB8:    goto LAB3;LAB7:    xsi_set_current_line(178, ng0);    t2 = (t0 + 2952U);    t6 = *((char **)t2);    t2 = (t0 + 11592);    t7 = (t2 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t6, 3U);    xsi_driver_first_trans_fast(t2);    goto LAB8;LAB10:    xsi_set_current_line(180, ng0);    t1 = (t0 + 3112U);    t5 = *((char **)t1);    t1 = (t0 + 16848U);    t6 = ieee_p_1242562249_sub_1919437128_1035706684(IEEE_P_1242562249, t12, t5, t1, 1);    t7 = (t12 + 12U);    t13 = *((unsigned int *)t7);    t14 = (1U * t13);    t11 = (3U != t14);    if (t11 == 1)        goto LAB12;LAB13:    t8 = (t0 + 11592);    t9 = (t8 + 56U);    t10 = *((char **)t9);    t15 = (t10 + 56U);    t16 = *((char **)t15);    memcpy(t16, t6, 3U);    xsi_driver_first_trans_fast(t8);//.........这里部分代码省略.........

static void work_a_3729375705_1516540902_p_8(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;LAB0:    xsi_set_current_line(190, ng0);    t1 = (t0 + 1192U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)2);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 992U);    t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);    if (t3 != 0)        goto LAB5;LAB6:LAB3:    t1 = (t0 + 10344);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(191, ng0);    t1 = xsi_get_transient_memory(3U);    memset(t1, 0, 3U);    t5 = t1;    memset(t5, (unsigned char)3, 3U);    t6 = (t0 + 11656);    t7 = (t6 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t1, 3U);    xsi_driver_first_trans_fast(t6);    goto LAB3;LAB5:    xsi_set_current_line(193, ng0);    t2 = (t0 + 3912U);    t5 = *((char **)t2);    t4 = *((unsigned char *)t5);    t11 = (t4 == (unsigned char)3);    if (t11 != 0)        goto LAB7;LAB9:LAB8:    goto LAB3;LAB7:    xsi_set_current_line(194, ng0);    t2 = (t0 + 3112U);    t6 = *((char **)t2);    t2 = (t0 + 11656);    t7 = (t2 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t6, 3U);    xsi_driver_first_trans_fast(t2);    goto LAB8;}

static void work_a_3729375705_1516540902_p_6(char *t0){    char t18[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;    unsigned char t11;    char *t12;    unsigned char t13;    unsigned char t14;    unsigned int t15;    unsigned int t16;    unsigned int t17;    int t20;    unsigned int t21;    unsigned char t22;    char *t23;    char *t24;    char *t25;LAB0:    xsi_set_current_line(152, ng0);    t1 = (t0 + 1192U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)2);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 992U);    t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);    if (t3 != 0)        goto LAB5;LAB6:LAB3:    t1 = (t0 + 10312);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(153, ng0);    t1 = xsi_get_transient_memory(8U);    memset(t1, 0, 8U);    t5 = t1;    memset(t5, (unsigned char)2, 8U);    t6 = (t0 + 11528);    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(156, ng0);    t2 = (t0 + 4872U);    t5 = *((char **)t2);    t4 = *((unsigned char *)t5);    t11 = (t4 == (unsigned char)3);    if (t11 != 0)        goto LAB7;LAB9:    t1 = (t0 + 5032U);    t2 = *((char **)t1);    t4 = *((unsigned char *)t2);    t11 = (t4 == (unsigned char)3);    if (t11 == 1)        goto LAB12;LAB13:    t3 = (unsigned char)0;LAB14:    if (t3 != 0)        goto LAB10;LAB11:    t1 = (t0 + 5032U);    t2 = *((char **)t1);    t4 = *((unsigned char *)t2);    t11 = (t4 == (unsigned char)3);    if (t11 == 1)        goto LAB19;LAB20:    t3 = (unsigned char)0;LAB21:    if (t3 != 0)        goto LAB17;LAB18:LAB8:    goto LAB3;LAB7:    xsi_set_current_line(157, ng0);    t2 = xsi_get_transient_memory(8U);    memset(t2, 0, 8U);    t6 = t2;    memset(t6, (unsigned char)2, 8U);//.........这里部分代码省略.........

static void work_a_0464918941_1181938964_p_6(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;    char *t15;    char *t16;    unsigned int t17;    char *t18;    char *t19;    char *t20;LAB0:    xsi_set_current_line(244, ng0);    t1 = (t0 + 2848U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)2);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 708U);    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 + 8644);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(245, ng0);    t1 = xsi_get_transient_memory(8U);    memset(t1, 0, 8U);    t5 = t1;    memset(t5, (unsigned char)2, 8U);    t6 = (t0 + 9096);    t7 = (t6 + 32U);    t8 = *((char **)t7);    t9 = (t8 + 40U);    t10 = *((char **)t9);    memcpy(t10, t1, 8U);    xsi_driver_first_trans_fast(t6);    goto LAB3;LAB5:    xsi_set_current_line(247, ng0);    t2 = (t0 + 824U);    t6 = *((char **)t2);    t13 = *((unsigned char *)t6);    t14 = (t13 == (unsigned char)3);    if (t14 != 0)        goto LAB10;LAB12:    t1 = (t0 + 2940U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)3);    if (t4 != 0)        goto LAB13;LAB14:    xsi_set_current_line(256, ng0);    t1 = (t0 + 3124U);    t2 = *((char **)t1);    t4 = *((unsigned char *)t2);    t11 = (t4 == (unsigned char)3);    if (t11 == 1)        goto LAB30;LAB31:    t1 = (t0 + 4412U);    t5 = *((char **)t1);    t12 = *((unsigned char *)t5);    t13 = (t12 == (unsigned char)3);    t3 = t13;LAB32:    if (t3 != 0)        goto LAB27;LAB29:LAB28:    xsi_set_current_line(260, ng0);    t1 = xsi_get_transient_memory(2U);    memset(t1, 0, 2U);    t2 = t1;    memset(t2, (unsigned char)2, 2U);    t5 = (t0 + 9096);    t6 = (t5 + 32U);//.........这里部分代码省略.........

static void work_a_0464918941_1181938964_p_5(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;    char *t15;    char *t16;    int t17;    int t18;    int t19;    int t20;    char *t21;    int t23;    char *t24;    char *t25;    char *t26;    char *t27;    char *t28;    char *t29;LAB0:    xsi_set_current_line(212, ng0);    t1 = (t0 + 2848U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)2);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 708U);    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 + 8636);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(213, ng0);    t1 = xsi_get_transient_memory(16U);    memset(t1, 0, 16U);    t5 = t1;    memset(t5, (unsigned char)3, 16U);    t6 = (t0 + 8988);    t7 = (t6 + 32U);    t8 = *((char **)t7);    t9 = (t8 + 40U);    t10 = *((char **)t9);    memcpy(t10, t1, 16U);    xsi_driver_first_trans_fast(t6);    xsi_set_current_line(214, ng0);    t1 = xsi_get_transient_memory(8U);    memset(t1, 0, 8U);    t2 = t1;    memset(t2, (unsigned char)2, 8U);    t5 = (t0 + 9024);    t6 = (t5 + 32U);    t7 = *((char **)t6);    t8 = (t7 + 40U);    t9 = *((char **)t8);    memcpy(t9, t1, 8U);    xsi_driver_first_trans_fast(t5);    xsi_set_current_line(215, ng0);    t1 = xsi_get_transient_memory(8U);    memset(t1, 0, 8U);    t2 = t1;    memset(t2, (unsigned char)2, 8U);    t5 = (t0 + 9060);    t6 = (t5 + 32U);    t7 = *((char **)t6);    t8 = (t7 + 40U);    t9 = *((char **)t8);    memcpy(t9, t1, 8U);    xsi_driver_first_trans_fast(t5);    goto LAB3;LAB5:    xsi_set_current_line(217, ng0);    t2 = (t0 + 824U);    t6 = *((char **)t2);    t13 = *((unsigned char *)t6);    t14 = (t13 == (unsigned char)3);    if (t14 != 0)        goto LAB10;//.........这里部分代码省略.........

static void axi_hdmi_v1_00_a_a_0888816447_3212880686_p_8(char *t0){    char t14[16];    char *t1;    unsigned 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;    unsigned char t13;    char *t15;    char *t16;    char *t17;    unsigned int t18;    unsigned int t19;    unsigned char t20;    char *t21;    char *t22;    char *t23;    char *t24;    char *t25;LAB0:    xsi_set_current_line(205, ng0);    t1 = (t0 + 992U);    t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);    if (t2 != 0)        goto LAB2;LAB4:LAB3:    t1 = (t0 + 10160);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(206, ng0);    t4 = (t0 + 2632U);    t5 = *((char **)t4);    t6 = *((unsigned char *)t5);    t7 = (t6 == (unsigned char)6);    if (t7 == 1)        goto LAB8;LAB9:    t4 = (t0 + 2632U);    t8 = *((char **)t4);    t9 = *((unsigned char *)t8);    t10 = (t9 == (unsigned char)3);    t3 = t10;LAB10:    if (t3 != 0)        goto LAB5;LAB7:    t1 = (t0 + 2632U);    t4 = *((char **)t1);    t2 = *((unsigned char *)t4);    t3 = (t2 == (unsigned char)7);    if (t3 != 0)        goto LAB16;LAB17:    xsi_set_current_line(213, ng0);    t1 = xsi_get_transient_memory(4U);    memset(t1, 0, 4U);    t4 = t1;    memset(t4, (unsigned char)2, 4U);    t5 = (t0 + 10928);    t8 = (t5 + 56U);    t11 = *((char **)t8);    t15 = (t11 + 56U);    t16 = *((char **)t15);    memcpy(t16, t1, 4U);    xsi_driver_first_trans_fast(t5);LAB6:    goto LAB3;LAB5:    xsi_set_current_line(207, ng0);    t4 = (t0 + 3592U);    t11 = *((char **)t4);    t12 = *((unsigned char *)t11);    t13 = (t12 == (unsigned char)3);    if (t13 != 0)        goto LAB11;LAB13:LAB12:    goto LAB6;LAB8:    t3 = (unsigned char)1;    goto LAB10;LAB11:    xsi_set_current_line(208, ng0);    t4 = (t0 + 4392U);    t15 = *((char **)t4);    t4 = (t0 + 18480U);    t16 = ieee_p_3620187407_sub_674691591_3965413181(IEEE_P_3620187407, t14, t15, t4, (unsigned char)3);    t17 = (t14 + 12U);    t18 = *((unsigned int *)t17);    t19 = (1U * t18);//.........这里部分代码省略.........

char *xilinxcorelib_a_3160786307_3212880686_sub_3999167911_3057020925(char *t1, char *t2, unsigned char t3, char *t4, char *t5, char *t6, char *t7){    char t9[40];    char *t0;    char *t10;    char *t11;    unsigned char t12;    char *t13;    char *t14;    unsigned char t15;    char *t16;    unsigned char t17;    char *t18;    unsigned int t19;    char *t20;    int t21;    char *t22;    int t23;    char *t24;    int t25;    char *t26;    char *t27;    int t28;    unsigned int t29;LAB0:    t10 = (t9 + 4U);    *((unsigned char *)t10) = t3;    t11 = (t9 + 5U);    t12 = (t4 != 0);    if (t12 == 1)        goto LAB3;LAB2:    t13 = (t9 + 13U);    *((char **)t13) = t5;    t14 = (t9 + 21U);    t15 = (t6 != 0);    if (t15 == 1)        goto LAB5;LAB4:    t16 = (t9 + 29U);    *((char **)t16) = t7;    t17 = (!(t3));    if (t17 != 0)        goto LAB6;LAB8:    t18 = (t5 + 12U);    t19 = *((unsigned int *)t18);    t19 = (t19 * 1U);    t0 = xsi_get_transient_memory(t19);    memcpy(t0, t4, t19);    t20 = (t5 + 0U);    t21 = *((int *)t20);    t22 = (t5 + 4U);    t23 = *((int *)t22);    t24 = (t5 + 8U);    t25 = *((int *)t24);    t26 = (t2 + 0U);    t27 = (t26 + 0U);    *((int *)t27) = t21;    t27 = (t26 + 4U);    *((int *)t27) = t23;    t27 = (t26 + 8U);    *((int *)t27) = t25;    t28 = (t23 - t21);    t29 = (t28 * t25);    t29 = (t29 + 1);    t27 = (t26 + 12U);    *((unsigned int *)t27) = t29;LAB1:    return t0;LAB3:    *((char **)t11) = t4;    goto LAB2;LAB5:    *((char **)t14) = t6;    goto LAB4;LAB6:    t18 = (t7 + 12U);    t19 = *((unsigned int *)t18);    t19 = (t19 * 1U);    t0 = xsi_get_transient_memory(t19);    memcpy(t0, t6, t19);    t20 = (t7 + 0U);    t21 = *((int *)t20);    t22 = (t7 + 4U);    t23 = *((int *)t22);    t24 = (t7 + 8U);    t25 = *((int *)t24);    t26 = (t2 + 0U);    t27 = (t26 + 0U);    *((int *)t27) = t21;    t27 = (t26 + 4U);    *((int *)t27) = t23;    t27 = (t26 + 8U);    *((int *)t27) = t25;    t28 = (t23 - t21);    t29 = (t28 * t25);    t29 = (t29 + 1);    t27 = (t26 + 12U);    *((unsigned int *)t27) = t29;    goto LAB1;//.........这里部分代码省略.........

//.........这里部分代码省略.........    char *t8;    unsigned char t9;    unsigned char t10;    char *t11;    unsigned char t12;    unsigned char t13;    char *t15;    char *t16;    char *t17;    unsigned int t18;    unsigned int t19;    unsigned char t20;    char *t21;    char *t22;    char *t23;    char *t24;    char *t25;LAB0:    xsi_set_current_line(189, ng0);    t1 = (t0 + 992U);    t2 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);    if (t2 != 0)        goto LAB2;LAB4:LAB3:    t1 = (t0 + 10144);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(190, ng0);    t4 = (t0 + 2632U);    t5 = *((char **)t4);    t6 = *((unsigned char *)t5);    t7 = (t6 == (unsigned char)1);    if (t7 == 1)        goto LAB8;LAB9:    t4 = (t0 + 2632U);    t8 = *((char **)t4);    t9 = *((unsigned char *)t8);    t10 = (t9 == (unsigned char)5);    t3 = t10;LAB10:    if (t3 != 0)        goto LAB5;LAB7:    xsi_set_current_line(195, ng0);    t1 = xsi_get_transient_memory(4U);    memset(t1, 0, 4U);    t4 = t1;    memset(t4, (unsigned char)2, 4U);    t5 = (t0 + 10864);    t8 = (t5 + 56U);    t11 = *((char **)t8);    t15 = (t11 + 56U);    t16 = *((char **)t15);    memcpy(t16, t1, 4U);    xsi_driver_first_trans_fast(t5);LAB6:    goto LAB3;LAB5:    xsi_set_current_line(191, ng0);    t4 = (t0 + 3752U);    t11 = *((char **)t4);    t12 = *((unsigned char *)t11);    t13 = (t12 == (unsigned char)3);    if (t13 != 0)        goto LAB11;LAB13:LAB12:    goto LAB6;LAB8:    t3 = (unsigned char)1;    goto LAB10;LAB11:    xsi_set_current_line(192, ng0);    t4 = (t0 + 4232U);    t15 = *((char **)t4);    t4 = (t0 + 18480U);    t16 = ieee_p_3620187407_sub_674691591_3965413181(IEEE_P_3620187407, t14, t15, t4, (unsigned char)3);    t17 = (t14 + 12U);    t18 = *((unsigned int *)t17);    t19 = (1U * t18);    t20 = (4U != t19);    if (t20 == 1)        goto LAB14;LAB15:    t21 = (t0 + 10864);    t22 = (t21 + 56U);    t23 = *((char **)t22);    t24 = (t23 + 56U);    t25 = *((char **)t24);    memcpy(t25, t16, 4U);    xsi_driver_first_trans_fast(t21);    goto LAB12;LAB14:    xsi_size_not_matching(4U, t19, 0);    goto LAB15;}

static void work_a_3520326411_3212880686_p_3(char *t0){    char t12[16];    unsigned char t1;    char *t2;    char *t3;    unsigned char t4;    unsigned char t5;    char *t6;    char *t7;    char *t8;    unsigned int t9;    unsigned int t10;    unsigned int t11;    char *t13;    char *t14;    int t15;    unsigned int t16;    unsigned char t17;    char *t18;    char *t19;    char *t20;    char *t21;    char *t22;    char *t23;    char *t24;    char *t25;    char *t26;    char *t27;    char *t28;    char *t29;    char *t30;LAB0:    xsi_set_current_line(84, ng0);    t2 = (t0 + 2632U);    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 LAB3;LAB4:LAB8:    t23 = xsi_get_transient_memory(32U);    memset(t23, 0, 32U);    t24 = t23;    memset(t24, (unsigned char)4, 32U);    t25 = (t0 + 5552);    t26 = (t25 + 56U);    t27 = *((char **)t26);    t28 = (t27 + 56U);    t29 = *((char **)t28);    memcpy(t29, t23, 32U);    xsi_driver_first_trans_fast_port(t25);LAB2:    t30 = (t0 + 5264);    *((int *)t30) = 1;LAB1:    return;LAB3:    t14 = (t0 + 1992U);    t18 = *((char **)t14);    t14 = (t0 + 5552);    t19 = (t14 + 56U);    t20 = *((char **)t19);    t21 = (t20 + 56U);    t22 = *((char **)t21);    memcpy(t22, t18, 32U);    xsi_driver_first_trans_fast_port(t14);    goto LAB2;LAB5:    t2 = ((WORK_P_4079225897) + 3568U);    t6 = *((char **)t2);    t2 = ((WORK_P_4079225897) + 26720U);    t7 = (t0 + 1672U);    t8 = *((char **)t7);    t9 = (10 - 0);    t10 = (t9 * 1U);    t11 = (0 + t10);    t7 = (t8 + t11);    t13 = (t12 + 0U);    t14 = (t13 + 0U);    *((int *)t14) = 0;    t14 = (t13 + 4U);    *((int *)t14) = 0;    t14 = (t13 + 8U);    *((int *)t14) = -1;    t15 = (0 - 0);    t16 = (t15 * -1);    t16 = (t16 + 1);    t14 = (t13 + 12U);    *((unsigned int *)t14) = t16;    t17 = ieee_p_0774719531_sub_1306448836232530671_2162500114(IEEE_P_0774719531, t6, t2, t7, t12);    t1 = t17;    goto LAB7;LAB9:    goto LAB2;//.........这里部分代码省略.........

//.........这里部分代码省略.........    t42 = (t41 * -1);    t43 = (1 * t42);    t44 = (0U + t43);    t45 = (t0 + 4816);    t46 = (t45 + 56U);    t47 = *((char **)t46);    t48 = (t47 + 56U);    t49 = *((char **)t48);    *((unsigned char *)t49) = t15;    xsi_driver_first_trans_delta(t45, t44, 1, t33);    t50 = (t0 + 7305);    t51 = *((int *)t50);    t52 = (t51 - 16);    t53 = (t52 * -1);    t54 = (1 * t53);    t55 = (0U + t54);    t56 = (t0 + 4816);    xsi_driver_intertial_reject(t56, t33, t33);LAB40:    t2 = (t0 + 7305);    t31 = *((int *)t2);    t3 = (t0 + 7309);    t32 = *((int *)t3);    if (t31 == t32)        goto LAB41;LAB42:    t34 = (t31 + -1);    t31 = t34;    t8 = (t0 + 7305);    *((int *)t8) = t31;    goto LAB38;LAB43:    t33 = (100 * 10LL);    t2 = xsi_get_transient_memory(17U);    memset(t2, 0, 17U);    t8 = t2;    memset(t8, (unsigned char)1, 17U);    t9 = (t0 + 4816);    t12 = (t9 + 56U);    t16 = *((char **)t12);    t19 = (t16 + 56U);    t20 = *((char **)t19);    memcpy(t20, t2, 17U);    xsi_driver_first_trans_delta(t9, 0U, 17U, t33);    t24 = (t0 + 4816);    xsi_driver_intertial_reject(t24, t33, t33);    goto LAB36;LAB45:    t2 = (t0 + 1832U);    t8 = *((char **)t2);    t6 = *((unsigned char *)t8);    t7 = (t6 != (unsigned char)2);    if (t7 != 0)        goto LAB47;LAB49:LAB48:    goto LAB33;LAB47:    t33 = (100 * 10LL);    t2 = xsi_get_transient_memory(17U);    memset(t2, 0, 17U);    t9 = t2;    memset(t9, (unsigned char)1, 17U);    t12 = (t0 + 4816);    t16 = (t12 + 56U);    t19 = *((char **)t16);

static void work_a_0438080501_3212880686_p_0(char *t0){    char t11[16];    char t20[16];    char t21[16];    char t24[16];    char t25[16];    char *t1;    char *t2;    unsigned char t3;    unsigned char t4;    char *t5;    char *t6;    char *t7;    char *t8;    char *t9;    char *t10;    unsigned int t12;    unsigned char t13;    unsigned char t14;    unsigned char t15;    char *t16;    char *t17;    char *t18;    unsigned int t19;    char *t22;    char *t23;    static char *nl0[] = {&&LAB11, &&LAB12, &&LAB13, &&LAB14, &&LAB15};LAB0:    xsi_set_current_line(45, ng0);    t1 = (t0 + 776U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)3);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 568U);    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 + 2980);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(46, ng0);    t1 = xsi_get_transient_memory(16U);    memset(t1, 0, 16U);    t5 = t1;    memset(t5, (unsigned char)2, 16U);    t6 = (t0 + 3024);    t7 = (t6 + 32U);    t8 = *((char **)t7);    t9 = (t8 + 40U);    t10 = *((char **)t9);    memcpy(t10, t1, 16U);    xsi_driver_first_trans_fast_port(t6);    xsi_set_current_line(47, ng0);    t1 = (t0 + 1888U);    t2 = *((char **)t1);    t1 = (t2 + 0);    *((unsigned char *)t1) = (unsigned char)2;    xsi_set_current_line(48, ng0);    t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, 0, 8);    t2 = (t0 + 1956U);    t5 = *((char **)t2);    t2 = (t5 + 0);    memcpy(t2, t1, 8U);    xsi_set_current_line(49, ng0);    t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, 0, 16);    t2 = (t0 + 2024U);    t5 = *((char **)t2);    t2 = (t5 + 0);    t6 = (t11 + 12U);    t12 = *((unsigned int *)t6);    t12 = (t12 * 1U);    memcpy(t2, t1, t12);    xsi_set_current_line(50, ng0);    t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, 0, 32);    t2 = (t0 + 2092U);    t5 = *((char **)t2);    t2 = (t5 + 0);    t6 = (t11 + 12U);    t12 = *((unsigned int *)t6);    t12 = (t12 * 1U);    memcpy(t2, t1, t12);    xsi_set_current_line(51, ng0);    t1 = ieee_p_1242562249_sub_180853171_1035706684(IEEE_P_1242562249, t11, 0, 32);    t2 = (t0 + 2228U);    t5 = *((char **)t2);    t2 = (t5 + 0);    t6 = (t11 + 12U);    t12 = *((unsigned int *)t6);//.........这里部分代码省略.........

//.........这里部分代码省略.........    *((int *)t8) = 8;    t8 = (t7 + 4U);    *((int *)t8) = 0;    t8 = (t7 + 8U);    *((int *)t8) = -1;    t4 = (0 - 8);    t31 = (t4 * -1);    t31 = (t31 + 1);    t8 = (t7 + 12U);    *((unsigned int *)t8) = t31;    t5 = ieee_p_1242562249_sub_1657552908_1035706684(IEEE_P_1242562249, t2, t16);    t10 = (t5 + 3);    t11 = (t10 - 511);    t31 = (t11 * -1);    xsi_vhdl_check_range_of_index(511, 0, -1, t10);    t32 = (8U * t31);    t33 = (0 + t32);    t8 = (t3 + t33);    t9 = (t0 + 3528);    t15 = (t9 + 56U);    t24 = *((char **)t15);    t26 = (t24 + 56U);    t27 = *((char **)t26);    memcpy(t27, t8, 8U);    xsi_driver_first_trans_delta(t9, 0U, 8U, 0LL);    xsi_set_current_line(81, ng0);LAB52:    t2 = (t0 + 3448);    *((int *)t2) = 1;    *((char **)t1) = &&LAB53;LAB1:    return;LAB5:    xsi_set_current_line(37, ng0);    t6 = xsi_get_transient_memory(8U);    memset(t6, 0, 8U);    t7 = t6;    memset(t7, (unsigned char)2, 8U);    t8 = (t0 + 1968U);    t9 = *((char **)t8);    t8 = (t0 + 10512);    t10 = *((int *)t8);    t11 = (t10 - 511);    t12 = (t11 * -1);    xsi_vhdl_check_range_of_index(511, 0, -1, *((int *)t8));    t13 = (8U * t12);    t14 = (0 + t13);    t15 = (t9 + t14);    memcpy(t15, t6, 8U);LAB6:    t2 = (t0 + 10512);    t4 = *((int *)t2);    t3 = (t0 + 10516);    t5 = *((int *)t3);    if (t4 == t5)        goto LAB7;LAB8:    t10 = (t4 + 1);    t4 = t10;    t6 = (t0 + 10512);    *((int *)t6) = t4;    goto LAB4;LAB10:    xsi_set_current_line(43, ng0);    t3 = (t0 + 2936);    t6 = (t0 + 2296U);    t7 = (t0 + 2472U);

static void work_a_0424942574_3212880686_p_1(char *t0){    char t14[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;    char *t11;    unsigned char t12;    unsigned char t13;    char *t15;    char *t16;    char *t17;    unsigned int t18;    unsigned int t19;    unsigned char t20;    char *t21;    char *t22;    char *t23;    char *t24;    char *t25;    int t26;    unsigned int t27;    int t29;    unsigned int t30;    unsigned int t31;LAB0:    xsi_set_current_line(125, 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 + 8536);    *((int *)t2) = 1;LAB1:    return;LAB2:    xsi_set_current_line(126, ng0);    t4 = (t0 + 3752U);    t8 = *((char **)t4);    t9 = *((unsigned char *)t8);    t10 = (t9 == (unsigned char)3);    if (t10 != 0)        goto LAB8;LAB10:    xsi_set_current_line(132, ng0);    t2 = xsi_get_transient_memory(4U);    memset(t2, 0, 4U);    t4 = t2;    memset(t4, (unsigned char)2, 4U);    t5 = (t0 + 8824);    t8 = (t5 + 56U);    t11 = *((char **)t8);    t15 = (t11 + 56U);    t16 = *((char **)t15);    memcpy(t16, t2, 4U);    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(127, ng0);    t4 = (t0 + 3112U);    t11 = *((char **)t4);    t12 = *((unsigned char *)t11);    t13 = (t12 == (unsigned char)3);    if (t13 != 0)        goto LAB11;LAB13:LAB12:    goto LAB9;LAB11:    xsi_set_current_line(128, ng0);    t4 = (t0 + 4072U);    t15 = *((char **)t4);    t4 = (t0 + 14904U);    t16 = ieee_p_3620187407_sub_674691591_3965413181(IEEE_P_3620187407, t14, t15, t4, (unsigned char)3);    t17 = (t14 + 12U);    t18 = *((unsigned int *)t17);    t19 = (1U * t18);    t20 = (4U != t19);//.........这里部分代码省略.........

static void work_a_0284541052_3212880686_p_8(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 char t16;    int t17;    int t18;    unsigned char t19;    char *t20;    char *t21;    char *t22;    char *t23;LAB0:    xsi_set_current_line(97, ng0);    t1 = (t0 + 684U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)3);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 568U);    t12 = xsi_signal_has_event(t1);    if (t12 == 1)        goto LAB13;LAB14:    t11 = (unsigned char)0;LAB15:    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 + 5444);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(98, ng0);    t1 = xsi_get_transient_memory(10U);    memset(t1, 0, 10U);    t5 = t1;    memset(t5, (unsigned char)2, 10U);    t6 = (t0 + 5816);    t7 = (t6 + 32U);    t8 = *((char **)t7);    t9 = (t8 + 40U);    t10 = *((char **)t9);    memcpy(t10, t1, 10U);    xsi_driver_first_trans_fast(t6);    goto LAB3;LAB5:    xsi_set_current_line(100, ng0);    t8 = (t0 + 1972U);    t10 = *((char **)t8);    t8 = (t0 + 5816);    t20 = (t8 + 32U);    t21 = *((char **)t20);    t22 = (t21 + 40U);    t23 = *((char **)t22);    memcpy(t23, t10, 10U);    xsi_driver_first_trans_fast(t8);    goto LAB3;LAB7:    t2 = (t0 + 1696U);    t7 = *((char **)t2);    t2 = (t0 + 9844U);    t8 = (t0 + 2144U);    t9 = *((char **)t8);    t17 = *((int *)t9);    t18 = (t17 - 1);    t19 = ieee_p_1242562249_sub_1781507893_1035706684(IEEE_P_1242562249, t7, t2, t18);    t3 = t19;    goto LAB9;LAB10:    t2 = (t0 + 1420U);    t6 = *((char **)t2);    t15 = *((unsigned char *)t6);    t16 = (t15 == (unsigned char)3);//.........这里部分代码省略.........

//.........这里部分代码省略.........    char *t6;    char *t7;    char *t8;    static char *nl0[] = {&&LAB3, &&LAB4};LAB0:    xsi_set_current_line(136, ng0);    t1 = (t0 + 2312U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t1 = (char *)((nl0) + t3);    goto **((char **)t1);LAB2:    t1 = (t0 + 6144);    *((int *)t1) = 1;LAB1:    return;LAB3:    xsi_set_current_line(138, ng0);    t4 = (t0 + 6384);    t5 = (t4 + 56U);    t6 = *((char **)t5);    t7 = (t6 + 56U);    t8 = *((char **)t7);    *((unsigned char *)t8) = (unsigned char)3;    xsi_driver_first_trans_fast(t4);    xsi_set_current_line(139, ng0);    t1 = (t0 + 6448);    t2 = (t1 + 56U);    t4 = *((char **)t2);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)3;    xsi_driver_first_trans_fast(t1);    xsi_set_current_line(140, ng0);    t1 = xsi_get_transient_memory(16U);    memset(t1, 0, 16U);    t2 = t1;    memset(t2, (unsigned char)2, 16U);    t4 = (t0 + 6512);    t5 = (t4 + 56U);    t6 = *((char **)t5);    t7 = (t6 + 56U);    t8 = *((char **)t7);    memcpy(t8, t1, 16U);    xsi_driver_first_trans_fast(t4);    goto LAB2;LAB4:    xsi_set_current_line(143, ng0);    t1 = (t0 + 6384);    t2 = (t1 + 56U);    t4 = *((char **)t2);    t5 = (t4 + 56U);    t6 = *((char **)t5);    *((unsigned char *)t6) = (unsigned char)3;    xsi_driver_first_trans_fast(t1);    xsi_set_current_line(144, ng0);    t1 = (t0 + 6448);    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(145, ng0);    t1 = xsi_get_transient_memory(16U);    memset(t1, 0, 16U);    t2 = t1;

static void work_a_3217046058_1516540902_p_5(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 char t16;    unsigned char t17;    char *t18;    char *t19;LAB0:    xsi_set_current_line(67, ng0);    t1 = (t0 + 2972U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)2);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 3064U);    t2 = *((char **)t1);    t4 = *((unsigned char *)t2);    t11 = (t4 == (unsigned char)3);    if (t11 == 1)        goto LAB7;LAB8:    t3 = (unsigned char)0;LAB9:    if (t3 != 0)        goto LAB5;LAB6:LAB3:    t1 = (t0 + 8892);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(68, ng0);    t1 = xsi_get_transient_memory(8U);    memset(t1, 0, 8U);    t5 = t1;    memset(t5, (unsigned char)2, 8U);    t6 = (t0 + 9204);    t7 = (t6 + 32U);    t8 = *((char **)t7);    t9 = (t8 + 40U);    t10 = *((char **)t9);    memcpy(t10, t1, 8U);    xsi_driver_first_trans_fast(t6);    goto LAB3;LAB5:    xsi_set_current_line(70, ng0);    t5 = (t0 + 4444U);    t6 = *((char **)t5);    t14 = *((unsigned char *)t6);    t15 = (t14 == (unsigned char)3);    if (t15 == 1)        goto LAB13;LAB14:    t13 = (unsigned char)0;LAB15:    if (t13 != 0)        goto LAB10;LAB12:LAB11:    goto LAB3;LAB7:    t1 = (t0 + 3040U);    t12 = xsi_signal_has_event(t1);    t3 = t12;    goto LAB9;LAB10:    xsi_set_current_line(71, ng0);    t5 = (t0 + 3248U);    t8 = *((char **)t5);    t5 = (t0 + 9204);    t9 = (t5 + 32U);    t10 = *((char **)t9);    t18 = (t10 + 40U);    t19 = *((char **)t18);    memcpy(t19, t8, 8U);    xsi_driver_first_trans_fast(t5);    goto LAB11;LAB13:    t5 = (t0 + 3524U);    t7 = *((char **)t5);    t16 = *((unsigned char *)t7);    t17 = (t16 == (unsigned char)3);    t13 = t17;    goto LAB15;//.........这里部分代码省略.........

static void work_a_0992986323_2533543878_p_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    int t7;    unsigned int t8;    unsigned int t9;    unsigned int t10;    unsigned char t11;    unsigned char t12;    char *t13;    char *t14;    char *t15;LAB0:    xsi_set_current_line(36, ng0);    t1 = (t0 + 1032U);    t2 = *((char **)t1);    t1 = (t0 + 2752);    t3 = (t1 + 56U);    t4 = *((char **)t3);    t5 = (t4 + 56U);    t6 = *((char **)t5);    memcpy(t6, t2, 13U);    xsi_driver_first_trans_delta(t1, 19U, 13U, 0LL);    xsi_set_current_line(37, ng0);    t1 = (t0 + 1032U);    t2 = *((char **)t1);    t7 = (12 - 12);    t8 = (t7 * -1);    t9 = (1U * t8);    t10 = (0 + t9);    t1 = (t2 + t10);    t11 = *((unsigned char *)t1);    t12 = (t11 == (unsigned char)3);    if (t12 != 0)        goto LAB2;LAB4:    xsi_set_current_line(40, ng0);    t1 = xsi_get_transient_memory(19U);    memset(t1, 0, 19U);    t2 = t1;    memset(t2, (unsigned char)2, 19U);    t3 = (t0 + 2752);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = (t5 + 56U);    t13 = *((char **)t6);    memcpy(t13, t1, 19U);    xsi_driver_first_trans_delta(t3, 0U, 19U, 0LL);LAB3:    t1 = (t0 + 2672);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(38, ng0);    t3 = xsi_get_transient_memory(19U);    memset(t3, 0, 19U);    t4 = t3;    memset(t4, (unsigned char)3, 19U);    t5 = (t0 + 2752);    t6 = (t5 + 56U);    t13 = *((char **)t6);    t14 = (t13 + 56U);    t15 = *((char **)t14);    memcpy(t15, t3, 19U);    xsi_driver_first_trans_delta(t5, 0U, 19U, 0LL);    goto LAB3;}

//.........这里部分代码省略.........    if (t5 != 0)        goto LAB29;LAB31:LAB30:    t2 = (t0 + 1616U);    t3 = *((char **)t2);    t4 = *((unsigned char *)t3);    t5 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t4);    t2 = (t0 + 2512U);    t6 = *((char **)t2);    t2 = (t6 + 0);    *((unsigned char *)t2) = t5;    t2 = (t0 + 4416);    t3 = (t0 + 1256U);    t6 = (t0 + 5120);    t10 = (t0 + 2632U);    t13 = *((char **)t10);    t10 = (t0 + 7929);    t19 = (t41 + 0U);    t34 = (t19 + 0U);    *((int *)t34) = 1;    t34 = (t19 + 4U);    *((int *)t34) = 1;    t34 = (t19 + 8U);    *((int *)t34) = 1;    t22 = (1 - 1);    t23 = (t22 * 1);    t23 = (t23 + 1);    t34 = (t19 + 12U);    *((unsigned int *)t34) = t23;    t34 = (t0 + 2512U);    t35 = *((char **)t34);    t4 = *((unsigned char *)t35);    t34 = xsi_get_transient_memory(32U);    memset(t34, 0, 32U);    t36 = t34;    t28 = (0 - 0);    t23 = (t28 * 1);    t24 = (32U * t23);    t37 = (t36 + t24);    t38 = t37;    t39 = (t0 + 1576U);    t26 = xsi_signal_get_last_event(t39);    *((int64 *)t38) = t26;    t40 = (t37 + 8U);    t42 = (t0 + 2272U);    t43 = *((char **)t42);    memcpy(t40, t43, 16U);    t42 = (t37 + 24U);    *((unsigned char *)t42) = (unsigned char)1;    t46 = (t50 + 0U);    t47 = (t46 + 0U);    *((int *)t47) = 0;    t47 = (t46 + 4U);    *((int *)t47) = 0;    t47 = (t46 + 8U);    *((int *)t47) = 1;    t44 = (0 - 0);    t25 = (t44 * 1);    t25 = (t25 + 1);    t47 = (t46 + 12U);    *((unsigned int *)t47) = t25;    t47 = ((IEEE_P_2717149903) + 1288U);    t48 = *((char **)t47);    memcpy(t51, t48, 16U);    t47 = (t0 + 1912U);

static void work_a_0856185093_3212880686_p_0(char *t0){    char t16[16];    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;    char *t15;    int t17;    unsigned int t18;    char *t19;    char *t20;    char *t21;    char *t22;    char *t23;    unsigned int t24;LAB0:    xsi_set_current_line(60, ng0);    t1 = (t0 + 592U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)2);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 660U);    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 + 2304);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(61, ng0);    t1 = xsi_get_transient_memory(3U);    memset(t1, 0, 3U);    t5 = t1;    memset(t5, (unsigned char)2, 3U);    t6 = (t0 + 2356);    t7 = (t6 + 32U);    t8 = *((char **)t7);    t9 = (t8 + 40U);    t10 = *((char **)t9);    memcpy(t10, t1, 3U);    xsi_driver_first_trans_fast(t6);    xsi_set_current_line(62, ng0);    t1 = (t0 + 2392);    t2 = (t1 + 32U);    t5 = *((char **)t2);    t6 = (t5 + 40U);    t7 = *((char **)t6);    *((unsigned char *)t7) = (unsigned char)2;    xsi_driver_first_trans_fast_port(t1);    goto LAB3;LAB5:    xsi_set_current_line(66, ng0);    t2 = (t0 + 776U);    t6 = *((char **)t2);    t13 = *((unsigned char *)t6);    t14 = (t13 == (unsigned char)3);    if (t14 != 0)        goto LAB10;LAB12:    t1 = (t0 + 776U);    t2 = *((char **)t1);    t4 = *((unsigned char *)t2);    t11 = (t4 == (unsigned char)2);    if (t11 == 1)        goto LAB15;LAB16:    t3 = (unsigned char)0;LAB17:    if (t3 != 0)        goto LAB13;LAB14:LAB11:    goto LAB3;LAB7:    t2 = (t0 + 684U);    t5 = *((char **)t2);    t11 = *((unsigned char *)t5);    t12 = (t11 == (unsigned char)3);    t3 = t12;//.........这里部分代码省略.........

static void work_a_1995955789_3212880686_p_0(char *t0){    char t15[16];    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;    char *t16;    char *t17;    char *t18;LAB0:    xsi_set_current_line(101, ng0);    t1 = (t0 + 1832U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)3);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 1472U);    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 + 4328);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(102, ng0);    t1 = xsi_get_transient_memory(16U);    memset(t1, 0, 16U);    t5 = t1;    memset(t5, (unsigned char)2, 16U);    t6 = (t0 + 4456);    t7 = (t6 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    memcpy(t10, t1, 16U);    xsi_driver_first_trans_fast(t6);    goto LAB3;LAB5:    xsi_set_current_line(104, ng0);    t2 = (t0 + 1672U);    t6 = *((char **)t2);    t13 = *((unsigned char *)t6);    t14 = (t13 == (unsigned char)3);    if (t14 != 0)        goto LAB10;LAB12:LAB11:    goto LAB3;LAB7:    t2 = (t0 + 1512U);    t5 = *((char **)t2);    t11 = *((unsigned char *)t5);    t12 = (t11 == (unsigned char)3);    t3 = t12;    goto LAB9;LAB10:    xsi_set_current_line(105, ng0);    t2 = (t0 + 1992U);    t7 = *((char **)t2);    t2 = (t0 + 6768U);    t8 = ieee_p_3620187407_sub_2255506239096166994_3965413181(IEEE_P_3620187407, t15, t7, t2, 1);    t9 = (t0 + 4456);    t10 = (t9 + 56U);    t16 = *((char **)t10);    t17 = (t16 + 56U);    t18 = *((char **)t17);    memcpy(t18, t8, 16U);    xsi_driver_first_trans_fast(t9);    goto LAB11;}

static void work_a_1315419030_3212880686_p_0(char *t0){    char t15[16];    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;    char *t16;    char *t17;    char *t18;LAB0:    xsi_set_current_line(53, ng0);    t1 = (t0 + 1328U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t4 = (t3 == (unsigned char)3);    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 1120U);    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 + 3132);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(54, ng0);    t1 = xsi_get_transient_memory(4U);    memset(t1, 0, 4U);    t5 = t1;    memset(t5, (unsigned char)2, 4U);    t6 = (t0 + 3224);    t7 = (t6 + 32U);    t8 = *((char **)t7);    t9 = (t8 + 32U);    t10 = *((char **)t9);    memcpy(t10, t1, 4U);    xsi_driver_first_trans_fast(t6);    goto LAB3;LAB5:    xsi_set_current_line(56, ng0);    t2 = (t0 + 1236U);    t6 = *((char **)t2);    t13 = *((unsigned char *)t6);    t14 = (t13 == (unsigned char)3);    if (t14 != 0)        goto LAB10;LAB12:LAB11:    goto LAB3;LAB7:    t2 = (t0 + 1144U);    t5 = *((char **)t2);    t11 = *((unsigned char *)t5);    t12 = (t11 == (unsigned char)3);    t3 = t12;    goto LAB9;LAB10:    xsi_set_current_line(57, ng0);    t2 = (t0 + 1420U);    t7 = *((char **)t2);    t2 = (t0 + 5404U);    t8 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t15, t7, t2, 1);    t9 = (t0 + 3224);    t10 = (t9 + 32U);    t16 = *((char **)t10);    t17 = (t16 + 32U);    t18 = *((char **)t17);    memcpy(t18, t8, 4U);    xsi_driver_first_trans_fast(t9);    goto LAB11;}