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

static void work_a_3985617041_3212880686_p_3(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    int t5;    char *t6;    char *t7;    char *t8;    char *t9;    char *t10;    char *t11;LAB0:    t1 = (t0 + 2236U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(52, ng0);    t2 = (t0 + 776U);    t3 = *((char **)t2);    t2 = (t0 + 4340);    t5 = xsi_mem_cmp(t2, t3, 1U);    if (t5 == 1)        goto LAB5;LAB7:LAB6:    xsi_set_current_line(53, ng0);    t2 = (t0 + 1144U);    t3 = *((char **)t2);    t2 = (t0 + 2608);    t4 = (t2 + 32U);    t6 = *((char **)t4);    t7 = (t6 + 40U);    t8 = *((char **)t7);    memcpy(t8, t3, 7U);    xsi_driver_first_trans_fast(t2);LAB4:    xsi_set_current_line(52, ng0);LAB11:    t2 = (t0 + 2456);    *((int *)t2) = 1;    *((char **)t1) = &&LAB12;LAB1:    return;LAB5:    xsi_set_current_line(53, ng0);    t6 = (t0 + 1052U);    t7 = *((char **)t6);    t6 = (t0 + 2608);    t8 = (t6 + 32U);    t9 = *((char **)t8);    t10 = (t9 + 40U);    t11 = *((char **)t10);    memcpy(t11, t7, 7U);    xsi_driver_first_trans_fast(t6);    goto LAB4;LAB8:;LAB9:    t3 = (t0 + 2456);    *((int *)t3) = 0;    goto LAB2;LAB10:    goto LAB9;LAB12:    goto LAB10;}

static void work_a_1624926867_3990940387_p_1(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    int t5;    char *t6;    char *t7;    int t8;    char *t9;    int t11;    char *t12;    int t14;    char *t15;    int t17;    char *t18;    int t20;    char *t21;    char *t22;    char *t23;    char *t24;    char *t25;LAB0:    t1 = (t0 + 2752U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(42, ng0);    t2 = (t0 + 1032U);    t3 = *((char **)t2);    t2 = (t0 + 4973);    t5 = xsi_mem_cmp(t2, t3, 4U);    if (t5 == 1)        goto LAB5;LAB7:    t6 = (t0 + 4977);    t8 = xsi_mem_cmp(t6, t3, 4U);    if (t8 == 1)        goto LAB5;LAB8:    t9 = (t0 + 4981);    t11 = xsi_mem_cmp(t9, t3, 4U);    if (t11 == 1)        goto LAB5;LAB9:    t12 = (t0 + 4985);    t14 = xsi_mem_cmp(t12, t3, 4U);    if (t14 == 1)        goto LAB5;LAB10:    t15 = (t0 + 4989);    t17 = xsi_mem_cmp(t15, t3, 4U);    if (t17 == 1)        goto LAB5;LAB11:    t18 = (t0 + 4993);    t20 = xsi_mem_cmp(t18, t3, 4U);    if (t20 == 1)        goto LAB5;LAB12:LAB6:    xsi_set_current_line(43, ng0);    t2 = (t0 + 3232);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t6 = (t4 + 56U);    t7 = *((char **)t6);    *((unsigned char *)t7) = (unsigned char)2;    xsi_driver_first_trans_fast(t2);LAB4:    xsi_set_current_line(42, ng0);LAB16:    t2 = (t0 + 3088);    *((int *)t2) = 1;    *((char **)t1) = &&LAB17;LAB1:    return;LAB5:    xsi_set_current_line(43, ng0);    t21 = (t0 + 3232);    t22 = (t21 + 56U);    t23 = *((char **)t22);    t24 = (t23 + 56U);    t25 = *((char **)t24);    *((unsigned char *)t25) = (unsigned char)3;    xsi_driver_first_trans_fast(t21);    goto LAB4;LAB13:;LAB14:    t3 = (t0 + 3088);    *((int *)t3) = 0;    goto LAB2;LAB15:    goto LAB14;LAB17:    goto LAB15;//.........这里部分代码省略.........

static void work_a_3044219816_3212880686_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;    int t14;    int t15;    int t16;    int t17;    int t18;    int t19;    char *t20;    char *t21;LAB0:    xsi_set_current_line(276, ng0);    t1 = (t0 + 1032U);    t2 = *((char **)t1);    t1 = (t0 + 4624);    t4 = 1;    if (2U == 2U)        goto LAB5;LAB6:    t4 = 0;LAB7:    if (t4 != 0)        goto LAB2;LAB4:    t1 = (t0 + 1032U);    t2 = *((char **)t1);    t1 = (t0 + 4626);    t4 = 1;    if (2U == 2U)        goto LAB13;LAB14:    t4 = 0;LAB15:    if (t4 != 0)        goto LAB11;LAB12:    xsi_set_current_line(283, ng0);    t1 = (t0 + 1192U);    t2 = *((char **)t1);    t1 = ((WORK_P_3583369287) + 1768U);    t3 = *((char **)t1);    t14 = xsi_mem_cmp(t3, t2, 6U);    if (t14 == 1)        goto LAB20;LAB27:    t1 = ((WORK_P_3583369287) + 1888U);    t6 = *((char **)t1);    t15 = xsi_mem_cmp(t6, t2, 6U);    if (t15 == 1)        goto LAB21;LAB28:    t1 = ((WORK_P_3583369287) + 2008U);    t7 = *((char **)t1);    t16 = xsi_mem_cmp(t7, t2, 6U);    if (t16 == 1)        goto LAB22;LAB29:    t1 = ((WORK_P_3583369287) + 2128U);    t8 = *((char **)t1);    t17 = xsi_mem_cmp(t8, t2, 6U);    if (t17 == 1)        goto LAB23;LAB30:    t1 = ((WORK_P_3583369287) + 2248U);    t9 = *((char **)t1);    t18 = xsi_mem_cmp(t9, t2, 6U);    if (t18 == 1)        goto LAB24;LAB31:    t1 = ((WORK_P_3583369287) + 2368U);    t10 = *((char **)t1);    t19 = xsi_mem_cmp(t10, t2, 6U);    if (t19 == 1)        goto LAB25;LAB32:LAB26:    xsi_set_current_line(290, ng0);    t1 = xsi_get_transient_memory(4U);    memset(t1, 0, 4U);    t2 = t1;    memset(t2, (unsigned char)2, 4U);    t3 = (t0 + 2904);    t6 = (t3 + 56U);    t7 = *((char **)t6);    t8 = (t7 + 56U);    t9 = *((char **)t8);    memcpy(t9, t1, 4U);//.........这里部分代码省略.........

static void work_a_0153626076_0578964516_p_2(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    int t5;    char *t6;    char *t7;    int t8;    char *t9;    char *t10;    int t11;    char *t12;    int t14;    char *t15;    int t17;    char *t18;    int t20;    char *t21;    int t23;    char *t24;    int t26;    char *t27;    int t29;    char *t30;    char *t32;    char *t33;    char *t34;    char *t35;    char *t36;LAB0:    t1 = (t0 + 3328U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(78, ng0);    t2 = (t0 + 1672U);    t3 = *((char **)t2);    t2 = (t0 + 7188);    t5 = xsi_mem_cmp(t2, t3, 4U);    if (t5 == 1)        goto LAB5;LAB15:    t6 = (t0 + 7192);    t8 = xsi_mem_cmp(t6, t3, 4U);    if (t8 == 1)        goto LAB6;LAB16:    t9 = (t0 + 7196);    t11 = xsi_mem_cmp(t9, t3, 4U);    if (t11 == 1)        goto LAB7;LAB17:    t12 = (t0 + 7200);    t14 = xsi_mem_cmp(t12, t3, 4U);    if (t14 == 1)        goto LAB8;LAB18:    t15 = (t0 + 7204);    t17 = xsi_mem_cmp(t15, t3, 4U);    if (t17 == 1)        goto LAB9;LAB19:    t18 = (t0 + 7208);    t20 = xsi_mem_cmp(t18, t3, 4U);    if (t20 == 1)        goto LAB10;LAB20:    t21 = (t0 + 7212);    t23 = xsi_mem_cmp(t21, t3, 4U);    if (t23 == 1)        goto LAB11;LAB21:    t24 = (t0 + 7216);    t26 = xsi_mem_cmp(t24, t3, 4U);    if (t26 == 1)        goto LAB12;LAB22:    t27 = (t0 + 7220);    t29 = xsi_mem_cmp(t27, t3, 4U);    if (t29 == 1)        goto LAB13;LAB23:LAB14:    xsi_set_current_line(79, ng0);    t2 = (t0 + 7296);    t4 = (t0 + 4152);    t6 = (t4 + 56U);    t7 = *((char **)t6);    t9 = (t7 + 56U);    t10 = *((char **)t9);    memcpy(t10, t2, 8U);    xsi_driver_first_trans_fast(t4);LAB4:    xsi_set_current_line(78, ng0);//.........这里部分代码省略.........

static void work_a_2830191128_3212880686_p_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    int t5;    char *t6;    char *t7;    int t8;    char *t9;    int t11;    char *t12;    int t14;    char *t15;    int t17;    char *t18;    int t20;    char *t21;    int t23;    char *t24;    int t26;    char *t27;    int t29;    char *t30;    int t32;    char *t33;    int t35;    char *t36;    int t38;    char *t39;    int t41;    char *t42;    int t44;    char *t45;    int t47;    char *t48;    char *t49;    char *t50;    char *t51;    char *t52;    char *t53;LAB0:    t1 = (t0 + 2816U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(45, ng0);    t2 = (t0 + 2064U);    t3 = *((char **)t2);    t2 = (t0 + 5840);    t5 = xsi_mem_cmp(t2, t3, 4U);    if (t5 == 1)        goto LAB5;LAB21:    t6 = (t0 + 5844);    t8 = xsi_mem_cmp(t6, t3, 4U);    if (t8 == 1)        goto LAB6;LAB22:    t9 = (t0 + 5848);    t11 = xsi_mem_cmp(t9, t3, 4U);    if (t11 == 1)        goto LAB7;LAB23:    t12 = (t0 + 5852);    t14 = xsi_mem_cmp(t12, t3, 4U);    if (t14 == 1)        goto LAB8;LAB24:    t15 = (t0 + 5856);    t17 = xsi_mem_cmp(t15, t3, 4U);    if (t17 == 1)        goto LAB9;LAB25:    t18 = (t0 + 5860);    t20 = xsi_mem_cmp(t18, t3, 4U);    if (t20 == 1)        goto LAB10;LAB26:    t21 = (t0 + 5864);    t23 = xsi_mem_cmp(t21, t3, 4U);    if (t23 == 1)        goto LAB11;LAB27:    t24 = (t0 + 5868);    t26 = xsi_mem_cmp(t24, t3, 4U);    if (t26 == 1)        goto LAB12;LAB28:    t27 = (t0 + 5872);    t29 = xsi_mem_cmp(t27, t3, 4U);    if (t29 == 1)        goto LAB13;LAB29:    t30 = (t0 + 5876);    t32 = xsi_mem_cmp(t30, t3, 4U);//.........这里部分代码省略.........

static void work_a_1750261154_1181938964_p_2(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    int t5;    char *t6;    char *t7;    char *t8;    char *t9;    char *t10;    char *t11;LAB0:    t1 = (t0 + 13720U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(379, ng0);    t2 = (t0 + 2312U);    t3 = *((char **)t2);    t2 = (t0 + 29152);    t5 = xsi_mem_cmp(t2, t3, 4U);    if (t5 == 1)        goto LAB5;LAB7:LAB6:    xsi_set_current_line(380, ng0);    t2 = (t0 + 8072U);    t3 = *((char **)t2);    t2 = (t0 + 15072);    t4 = (t2 + 56U);    t6 = *((char **)t4);    t7 = (t6 + 56U);    t8 = *((char **)t7);    memcpy(t8, t3, 16U);    xsi_driver_first_trans_fast(t2);LAB4:    xsi_set_current_line(379, ng0);LAB11:    t2 = (t0 + 14816);    *((int *)t2) = 1;    *((char **)t1) = &&LAB12;LAB1:    return;LAB5:    xsi_set_current_line(380, ng0);    t6 = (t0 + 11112U);    t7 = *((char **)t6);    t6 = (t0 + 15072);    t8 = (t6 + 56U);    t9 = *((char **)t8);    t10 = (t9 + 56U);    t11 = *((char **)t10);    memcpy(t11, t7, 16U);    xsi_driver_first_trans_fast(t6);    goto LAB4;LAB8:;LAB9:    t3 = (t0 + 14816);    *((int *)t3) = 0;    goto LAB2;LAB10:    goto LAB9;LAB12:    goto LAB10;}

static void work_a_0603359753_3212880686_p_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    int t5;    char *t6;    char *t7;    int t8;    char *t9;    char *t10;    int t11;    char *t12;    int t14;    char *t15;    int t17;    char *t18;    int t20;    char *t21;    int t23;    char *t24;    int t26;    char *t27;    int t29;    char *t30;    int t32;    char *t33;    char *t35;    char *t36;    char *t37;    char *t38;    char *t39;LAB0:    t1 = (t0 + 2352U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(70, ng0);    t2 = (t0 + 1032U);    t3 = *((char **)t2);    t2 = (t0 + 4380);    t5 = xsi_mem_cmp(t2, t3, 4U);    if (t5 == 1)        goto LAB5;LAB16:    t6 = (t0 + 4384);    t8 = xsi_mem_cmp(t6, t3, 4U);    if (t8 == 1)        goto LAB6;LAB17:    t9 = (t0 + 4388);    t11 = xsi_mem_cmp(t9, t3, 4U);    if (t11 == 1)        goto LAB7;LAB18:    t12 = (t0 + 4392);    t14 = xsi_mem_cmp(t12, t3, 4U);    if (t14 == 1)        goto LAB8;LAB19:    t15 = (t0 + 4396);    t17 = xsi_mem_cmp(t15, t3, 4U);    if (t17 == 1)        goto LAB9;LAB20:    t18 = (t0 + 4400);    t20 = xsi_mem_cmp(t18, t3, 4U);    if (t20 == 1)        goto LAB10;LAB21:    t21 = (t0 + 4404);    t23 = xsi_mem_cmp(t21, t3, 4U);    if (t23 == 1)        goto LAB11;LAB22:    t24 = (t0 + 4408);    t26 = xsi_mem_cmp(t24, t3, 4U);    if (t26 == 1)        goto LAB12;LAB23:    t27 = (t0 + 4412);    t29 = xsi_mem_cmp(t27, t3, 4U);    if (t29 == 1)        goto LAB13;LAB24:    t30 = (t0 + 4416);    t32 = xsi_mem_cmp(t30, t3, 4U);    if (t32 == 1)        goto LAB14;LAB25:LAB15:    xsi_set_current_line(71, ng0);    t2 = (t0 + 4490);    t4 = (t0 + 2752);    t6 = (t4 + 56U);    t7 = *((char **)t6);//.........这里部分代码省略.........

static void work_a_3882926292_1620428126_p_0(char *t0){    char t25[16];    char t27[16];    char t33[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;    unsigned int t14;    unsigned int t15;    unsigned int t16;    unsigned char t17;    unsigned char t18;    char *t19;    char *t20;    unsigned int t21;    unsigned int t22;    unsigned int t23;    char *t24;    char *t26;    char *t28;    char *t29;    int t30;    unsigned int t31;    char *t32;    unsigned int t34;    unsigned int t35;LAB0:    xsi_set_current_line(49, ng0);    t1 = (t0 + 1192U);    t2 = *((char **)t1);    t1 = (t0 + 1968U);    t3 = *((char **)t1);    t1 = (t3 + 0);    memcpy(t1, t2, 32U);    xsi_set_current_line(50, ng0);    t1 = (t0 + 1032U);    t2 = *((char **)t1);    t1 = (t0 + 5625);    t4 = xsi_mem_cmp(t1, t2, 3U);    if (t4 == 1)        goto LAB3;LAB6:    t5 = (t0 + 5628);    t7 = xsi_mem_cmp(t5, t2, 3U);    if (t7 == 1)        goto LAB4;LAB7:    t8 = (t0 + 5631);    t10 = xsi_mem_cmp(t8, t2, 3U);    if (t10 == 1)        goto LAB4;LAB8:LAB5:    xsi_set_current_line(108, ng0);LAB2:    xsi_set_current_line(112, ng0);    t1 = (t0 + 1968U);    t2 = *((char **)t1);    t1 = (t0 + 3472);    t3 = (t1 + 56U);    t5 = *((char **)t3);    t6 = (t5 + 56U);    t8 = *((char **)t6);    memcpy(t8, t2, 32U);    xsi_driver_first_trans_fast_port(t1);    xsi_set_current_line(113, ng0);    t1 = (t0 + 5667);    t3 = (t0 + 3536);    t5 = (t3 + 56U);    t6 = *((char **)t5);    t8 = (t6 + 56U);    t9 = *((char **)t8);    memcpy(t9, t1, 32U);    xsi_driver_first_trans_fast_port(t3);    t1 = (t0 + 3392);    *((int *)t1) = 1;LAB1:    return;LAB3:    xsi_set_current_line(54, ng0);    t11 = (t0 + 1352U);    t12 = *((char **)t11);    t13 = (0 - 4);    t14 = (t13 * -1);    t15 = (1U * t14);    t16 = (0 + t15);    t11 = (t12 + t16);    t17 = *((unsigned char *)t11);    t18 = (t17 == (unsigned char)3);    if (t18 != 0)//.........这里部分代码省略.........

//.........这里部分代码省略.........    xsi_set_current_line(116, ng0);    t1 = (t0 + 10412);    t5 = (t0 + 6156);    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(117, ng0);    t1 = (t0 + 10420);    t5 = (t0 + 6192);    t6 = (t5 + 32U);    t7 = *((char **)t6);    t8 = (t7 + 40U);    t9 = *((char **)t8);    memcpy(t9, t1, 8U);    xsi_driver_first_trans_fast_port(t5);    xsi_set_current_line(118, ng0);    t1 = (t0 + 6228);    t2 = (t1 + 32U);    t5 = *((char **)t2);    t6 = (t5 + 40U);    t7 = *((char **)t6);    *((unsigned char *)t7) = (unsigned char)4;    xsi_driver_first_trans_fast_port(t1);    goto LAB3;LAB5:    xsi_set_current_line(121, ng0);    t1 = (t0 + 776U);    t5 = *((char **)t1);    t1 = ((WORK_P_3647430093) + 1488U);    t6 = *((char **)t1);    t11 = xsi_mem_cmp(t6, t5, 8U);    if (t11 == 1)        goto LAB8;LAB30:    t1 = ((WORK_P_3647430093) + 1556U);    t7 = *((char **)t1);    t12 = xsi_mem_cmp(t7, t5, 8U);    if (t12 == 1)        goto LAB9;LAB31:    t1 = ((WORK_P_3647430093) + 1624U);    t8 = *((char **)t1);    t13 = xsi_mem_cmp(t8, t5, 8U);    if (t13 == 1)        goto LAB10;LAB32:    t1 = ((WORK_P_3647430093) + 1692U);    t9 = *((char **)t1);    t14 = xsi_mem_cmp(t9, t5, 8U);    if (t14 == 1)        goto LAB11;LAB33:    t1 = ((WORK_P_3647430093) + 1760U);    t10 = *((char **)t1);    t15 = xsi_mem_cmp(t10, t5, 8U);    if (t15 == 1)        goto LAB12;LAB34:    t1 = ((WORK_P_3647430093) + 1828U);    t16 = *((char **)t1);    t17 = xsi_mem_cmp(t16, t5, 8U);    if (t17 == 1)        goto LAB13;

static void work_a_0204265554_3212880686_p_10(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    int t5;    char *t6;    char *t7;    int t8;    char *t9;    char *t10;    int t11;    char *t12;    char *t13;    char *t14;    char *t15;    char *t16;    char *t17;    unsigned int t18;    unsigned int t19;    unsigned int t20;LAB0:    t1 = (t0 + 26304U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(243, ng0);    t2 = (t0 + 17352U);    t3 = *((char **)t2);    t2 = (t0 + 58289);    t5 = xsi_mem_cmp(t2, t3, 7U);    if (t5 == 1)        goto LAB5;LAB9:    t6 = (t0 + 58296);    t8 = xsi_mem_cmp(t6, t3, 7U);    if (t8 == 1)        goto LAB6;LAB10:    t9 = (t0 + 58303);    t11 = xsi_mem_cmp(t9, t3, 7U);    if (t11 == 1)        goto LAB7;LAB11:LAB8:    xsi_set_current_line(244, ng0);    t2 = (t0 + 58310);    t4 = (t0 + 31960);    t6 = (t4 + 56U);    t7 = *((char **)t6);    t9 = (t7 + 56U);    t10 = *((char **)t9);    memcpy(t10, t2, 8U);    xsi_driver_first_trans_fast(t4);LAB4:    xsi_set_current_line(243, ng0);LAB15:    t2 = (t0 + 31000);    *((int *)t2) = 1;    *((char **)t1) = &&LAB16;LAB1:    return;LAB5:    xsi_set_current_line(244, ng0);    t12 = (t0 + 20232U);    t13 = *((char **)t12);    t12 = (t0 + 31960);    t14 = (t12 + 56U);    t15 = *((char **)t14);    t16 = (t15 + 56U);    t17 = *((char **)t16);    memcpy(t17, t13, 8U);    xsi_driver_first_trans_fast(t12);    goto LAB4;LAB6:    xsi_set_current_line(244, ng0);    t2 = (t0 + 18632U);    t3 = *((char **)t2);    t18 = (15 - 15);    t19 = (t18 * 1U);    t20 = (0 + t19);    t2 = (t3 + t20);    t4 = (t0 + 31960);    t6 = (t4 + 56U);    t7 = *((char **)t6);    t9 = (t7 + 56U);    t10 = *((char **)t9);    memcpy(t10, t2, 8U);    xsi_driver_first_trans_fast(t4);    goto LAB4;LAB7:    xsi_set_current_line(244, ng0);    t2 = (t0 + 18632U);    t3 = *((char **)t2);    t18 = (15 - 7);    t19 = (t18 * 1U);    t20 = (0 + t19);//.........这里部分代码省略.........

static void work_a_1440491639_3212880686_p_2(char *t0){    char *t1;    char *t2;    char *t3;    int t4;    char *t5;    char *t6;    int t7;    char *t8;    int t10;    char *t11;    char *t12;    char *t13;    char *t14;    char *t15;    char *t16;LAB0:    xsi_set_current_line(106, ng0);    t1 = (t0 + 1992U);    t2 = *((char **)t1);    t1 = (t0 + 7906);    t4 = xsi_mem_cmp(t1, t2, 2U);    if (t4 == 1)        goto LAB3;LAB7:    t5 = (t0 + 7908);    t7 = xsi_mem_cmp(t5, t2, 2U);    if (t7 == 1)        goto LAB4;LAB8:    t8 = (t0 + 7910);    t10 = xsi_mem_cmp(t8, t2, 2U);    if (t10 == 1)        goto LAB5;LAB9:LAB6:    xsi_set_current_line(111, ng0);LAB2:    t1 = (t0 + 4960);    *((int *)t1) = 1;LAB1:    return;LAB3:    xsi_set_current_line(108, ng0);    t11 = (t0 + 1352U);    t12 = *((char **)t11);    t11 = (t0 + 5296);    t13 = (t11 + 56U);    t14 = *((char **)t13);    t15 = (t14 + 56U);    t16 = *((char **)t15);    memcpy(t16, t12, 8U);    xsi_driver_first_trans_fast_port(t11);    goto LAB2;LAB4:    xsi_set_current_line(109, ng0);    t1 = (t0 + 2632U);    t2 = *((char **)t1);    t1 = (t0 + 5296);    t3 = (t1 + 56U);    t5 = *((char **)t3);    t6 = (t5 + 56U);    t8 = *((char **)t6);    memcpy(t8, t2, 8U);    xsi_driver_first_trans_fast_port(t1);    goto LAB2;LAB5:    xsi_set_current_line(110, ng0);    t1 = (t0 + 2952U);    t2 = *((char **)t1);    t1 = (t0 + 5296);    t3 = (t1 + 56U);    t5 = *((char **)t3);    t6 = (t5 + 56U);    t8 = *((char **)t6);    memcpy(t8, t2, 8U);    xsi_driver_first_trans_fast_port(t1);    goto LAB2;LAB10:;}

static void work_a_1107567364_3212880686_p_5(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    int t5;    char *t6;    char *t7;    char *t8;    char *t9;    char *t10;LAB0:    t1 = (t0 + 4552U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(57, ng0);    t2 = (t0 + 1192U);    t3 = *((char **)t2);    t2 = (t0 + 7637);    t5 = xsi_mem_cmp(t2, t3, 8U);    if (t5 == 1)        goto LAB5;LAB7:LAB6:    xsi_set_current_line(58, ng0);    t2 = (t0 + 5352);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t6 = (t4 + 56U);    t7 = *((char **)t6);    *((unsigned char *)t7) = (unsigned char)2;    xsi_driver_first_trans_fast_port(t2);LAB4:    xsi_set_current_line(57, ng0);LAB11:    t2 = (t0 + 4952);    *((int *)t2) = 1;    *((char **)t1) = &&LAB12;LAB1:    return;LAB5:    xsi_set_current_line(58, ng0);    t6 = (t0 + 5352);    t7 = (t6 + 56U);    t8 = *((char **)t7);    t9 = (t8 + 56U);    t10 = *((char **)t9);    *((unsigned char *)t10) = (unsigned char)3;    xsi_driver_first_trans_fast_port(t6);    goto LAB4;LAB8:;LAB9:    t3 = (t0 + 4952);    *((int *)t3) = 0;    goto LAB2;LAB10:    goto LAB9;LAB12:    goto LAB10;}

static void work_a_1107567364_3212880686_p_4(char *t0){    char *t1;    char *t2;    char *t3;    unsigned int t4;    unsigned int t5;    unsigned int t6;    char *t7;    char *t8;    int t9;    char *t10;    char *t11;    char *t12;    char *t13;    char *t14;LAB0:    t1 = (t0 + 4304U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(54, ng0);    t2 = (t0 + 1192U);    t3 = *((char **)t2);    t4 = (7 - 7);    t5 = (t4 * 1U);    t6 = (0 + t5);    t2 = (t3 + t6);    t7 = (t0 + 7631);    t9 = xsi_mem_cmp(t7, t2, 6U);    if (t9 == 1)        goto LAB5;LAB7:LAB6:    xsi_set_current_line(55, ng0);    t2 = (t0 + 5288);    t3 = (t2 + 56U);    t7 = *((char **)t3);    t8 = (t7 + 56U);    t10 = *((char **)t8);    *((unsigned char *)t10) = (unsigned char)2;    xsi_driver_first_trans_fast_port(t2);LAB4:    xsi_set_current_line(54, ng0);LAB11:    t2 = (t0 + 4936);    *((int *)t2) = 1;    *((char **)t1) = &&LAB12;LAB1:    return;LAB5:    xsi_set_current_line(55, ng0);    t10 = (t0 + 5288);    t11 = (t10 + 56U);    t12 = *((char **)t11);    t13 = (t12 + 56U);    t14 = *((char **)t13);    *((unsigned char *)t14) = (unsigned char)3;    xsi_driver_first_trans_fast_port(t10);    goto LAB4;LAB8:;LAB9:    t3 = (t0 + 4936);    *((int *)t3) = 0;    goto LAB2;LAB10:    goto LAB9;LAB12:    goto LAB10;}

static void work_a_3629330097_3212880686_p_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    int t5;    char *t6;    char *t7;    int t8;    char *t9;    char *t10;    int t11;    char *t12;    int t14;    char *t15;    int t17;    char *t18;    int t20;    char *t21;    int t23;    char *t24;    int t26;    char *t27;    int t29;    char *t30;    int t32;    char *t33;    int t35;    char *t36;    int t38;    char *t39;    int t41;    char *t42;    int t44;    char *t45;    int t47;    char *t48;    char *t50;    char *t51;    char *t52;    char *t53;    char *t54;LAB0:    t1 = (t0 + 2352U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(18, ng0);    t2 = (t0 + 1032U);    t3 = *((char **)t2);    t2 = (t0 + 4264);    t5 = xsi_mem_cmp(t2, t3, 4U);    if (t5 == 1)        goto LAB5;LAB21:    t6 = (t0 + 4268);    t8 = xsi_mem_cmp(t6, t3, 4U);    if (t8 == 1)        goto LAB6;LAB22:    t9 = (t0 + 4272);    t11 = xsi_mem_cmp(t9, t3, 4U);    if (t11 == 1)        goto LAB7;LAB23:    t12 = (t0 + 4276);    t14 = xsi_mem_cmp(t12, t3, 4U);    if (t14 == 1)        goto LAB8;LAB24:    t15 = (t0 + 4280);    t17 = xsi_mem_cmp(t15, t3, 4U);    if (t17 == 1)        goto LAB9;LAB25:    t18 = (t0 + 4284);    t20 = xsi_mem_cmp(t18, t3, 4U);    if (t20 == 1)        goto LAB10;LAB26:    t21 = (t0 + 4288);    t23 = xsi_mem_cmp(t21, t3, 4U);    if (t23 == 1)        goto LAB11;LAB27:    t24 = (t0 + 4292);    t26 = xsi_mem_cmp(t24, t3, 4U);    if (t26 == 1)        goto LAB12;LAB28:    t27 = (t0 + 4296);    t29 = xsi_mem_cmp(t27, t3, 4U);    if (t29 == 1)        goto LAB13;LAB29:    t30 = (t0 + 4300);//.........这里部分代码省略.........

//.........这里部分代码省略.........}static void work_a_1750261154_1181938964_p_4(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    int t5;    char *t6;    char *t7;    int t8;    char *t9;    int t11;    char *t12;    char *t13;    char *t14;    char *t15;    char *t16;    char *t17;LAB0:    t1 = (t0 + 14216U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(506, ng0);    t2 = (t0 + 11912U);    t3 = *((char **)t2);    t2 = (t0 + 29164);    t5 = xsi_mem_cmp(t2, t3, 2U);    if (t5 == 1)        goto LAB5;LAB9:    t6 = (t0 + 29166);    t8 = xsi_mem_cmp(t6, t3, 2U);    if (t8 == 1)        goto LAB6;LAB10:    t9 = (t0 + 29168);    t11 = xsi_mem_cmp(t9, t3, 2U);    if (t11 == 1)        goto LAB7;LAB11:LAB8:    xsi_set_current_line(507, ng0);    t2 = (t0 + 8712U);    t3 = *((char **)t2);    t2 = (t0 + 15200);    t4 = (t2 + 56U);    t6 = *((char **)t4);    t7 = (t6 + 56U);    t9 = *((char **)t7);    memcpy(t9, t3, 16U);    xsi_driver_first_trans_fast(t2);LAB4:    xsi_set_current_line(506, ng0);LAB15:    t2 = (t0 + 14848);    *((int *)t2) = 1;    *((char **)t1) = &&LAB16;LAB1:    return;

static void work_a_0916399279_3212880686_p_0(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;    char *t21;    char *t22;    char *t23;    char *t24;    char *t25;LAB0:    xsi_set_current_line(26, ng0);    t1 = (t0 + 1992U);    t2 = *((char **)t1);    t1 = (t0 + 5896);    t4 = xsi_mem_cmp(t1, t2, 4U);    if (t4 == 1)        goto LAB3;LAB10:    t5 = (t0 + 5900);    t7 = xsi_mem_cmp(t5, t2, 4U);    if (t7 == 1)        goto LAB4;LAB11:    t8 = (t0 + 5904);    t10 = xsi_mem_cmp(t8, t2, 4U);    if (t10 == 1)        goto LAB5;LAB12:    t11 = (t0 + 5908);    t13 = xsi_mem_cmp(t11, t2, 4U);    if (t13 == 1)        goto LAB6;LAB13:    t14 = (t0 + 5912);    t16 = xsi_mem_cmp(t14, t2, 4U);    if (t16 == 1)        goto LAB7;LAB14:    t17 = (t0 + 5916);    t19 = xsi_mem_cmp(t17, t2, 4U);    if (t19 == 1)        goto LAB8;LAB15:LAB9:    xsi_set_current_line(39, ng0);    t1 = (t0 + 1032U);    t2 = *((char **)t1);    t1 = (t0 + 3712);    t3 = (t1 + 56U);    t5 = *((char **)t3);    t6 = (t5 + 56U);    t8 = *((char **)t6);    memcpy(t8, t2, 4U);    xsi_driver_first_trans_fast_port(t1);LAB2:    t1 = (t0 + 3632);    *((int *)t1) = 1;LAB1:    return;LAB3:    xsi_set_current_line(27, ng0);    t20 = (t0 + 1032U);    t21 = *((char **)t20);    t20 = (t0 + 3712);    t22 = (t20 + 56U);    t23 = *((char **)t22);    t24 = (t23 + 56U);    t25 = *((char **)t24);    memcpy(t25, t21, 4U);    xsi_driver_first_trans_fast_port(t20);    goto LAB2;LAB4:    xsi_set_current_line(29, ng0);    t1 = (t0 + 1192U);    t2 = *((char **)t1);    t1 = (t0 + 3712);    t3 = (t1 + 56U);    t5 = *((char **)t3);    t6 = (t5 + 56U);    t8 = *((char **)t6);    memcpy(t8, t2, 4U);    xsi_driver_first_trans_fast_port(t1);    goto LAB2;LAB5:    xsi_set_current_line(31, ng0);    t1 = (t0 + 1352U);    t2 = *((char **)t1);//.........这里部分代码省略.........

static void work_a_1750261154_1181938964_p_5(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    int t5;    char *t6;    char *t7;    int t8;    char *t9;    int t11;    char *t12;    char *t13;    char *t14;    char *t15;    char *t16;    char *t17;LAB0:    t1 = (t0 + 14464U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(512, ng0);    t2 = (t0 + 12072U);    t3 = *((char **)t2);    t2 = (t0 + 29170);    t5 = xsi_mem_cmp(t2, t3, 2U);    if (t5 == 1)        goto LAB5;LAB9:    t6 = (t0 + 29172);    t8 = xsi_mem_cmp(t6, t3, 2U);    if (t8 == 1)        goto LAB6;LAB10:    t9 = (t0 + 29174);    t11 = xsi_mem_cmp(t9, t3, 2U);    if (t11 == 1)        goto LAB7;LAB11:LAB8:    xsi_set_current_line(513, ng0);    t2 = (t0 + 8872U);    t3 = *((char **)t2);    t2 = (t0 + 15264);    t4 = (t2 + 56U);    t6 = *((char **)t4);    t7 = (t6 + 56U);    t9 = *((char **)t7);    memcpy(t9, t3, 16U);    xsi_driver_first_trans_fast(t2);LAB4:    xsi_set_current_line(512, ng0);LAB15:    t2 = (t0 + 14864);    *((int *)t2) = 1;    *((char **)t1) = &&LAB16;LAB1:    return;LAB5:    xsi_set_current_line(513, ng0);    t12 = (t0 + 8072U);    t13 = *((char **)t12);    t12 = (t0 + 15264);    t14 = (t12 + 56U);    t15 = *((char **)t14);    t16 = (t15 + 56U);    t17 = *((char **)t16);    memcpy(t17, t13, 16U);    xsi_driver_first_trans_fast(t12);    goto LAB4;LAB6:    xsi_set_current_line(513, ng0);    t2 = (t0 + 9352U);    t3 = *((char **)t2);    t2 = (t0 + 15264);    t4 = (t2 + 56U);    t6 = *((char **)t4);    t7 = (t6 + 56U);    t9 = *((char **)t7);    memcpy(t9, t3, 16U);    xsi_driver_first_trans_fast(t2);    goto LAB4;LAB7:    xsi_set_current_line(513, ng0);    t2 = (t0 + 9512U);    t3 = *((char **)t2);    t2 = (t0 + 15264);    t4 = (t2 + 56U);    t6 = *((char **)t4);    t7 = (t6 + 56U);    t9 = *((char **)t7);    memcpy(t9, t3, 16U);    xsi_driver_first_trans_fast(t2);    goto LAB4;LAB12:;//.........这里部分代码省略.........

//.........这里部分代码省略.........    xsi_set_current_line(79, ng0);    t1 = (t0 + 16208);    t5 = (t0 + 9192);    t6 = (t5 + 56U);    t7 = *((char **)t6);    t8 = (t7 + 56U);    t9 = *((char **)t8);    memcpy(t9, t1, 3U);    xsi_driver_first_trans_fast(t5);    xsi_set_current_line(80, ng0);    t1 = (t0 + 16211);    t5 = (t0 + 9256);    t6 = (t5 + 56U);    t7 = *((char **)t6);    t8 = (t7 + 56U);    t9 = *((char **)t8);    memcpy(t9, t1, 6U);    xsi_driver_first_trans_fast(t5);    xsi_set_current_line(81, ng0);    t1 = (t0 + 16217);    t5 = (t0 + 9320);    t6 = (t5 + 56U);    t7 = *((char **)t6);    t8 = (t7 + 56U);    t9 = *((char **)t8);    memcpy(t9, t1, 8U);    xsi_driver_first_trans_fast(t5);    goto LAB3;LAB5:    xsi_set_current_line(84, ng0);    t2 = (t0 + 1192U);    t6 = *((char **)t2);    t2 = (t0 + 16225);    t13 = xsi_mem_cmp(t2, t6, 6U);    if (t13 == 1)        goto LAB11;LAB54:    t8 = (t0 + 16231);    t14 = xsi_mem_cmp(t8, t6, 6U);    if (t14 == 1)        goto LAB12;LAB55:    t10 = (t0 + 16237);    t16 = xsi_mem_cmp(t10, t6, 6U);    if (t16 == 1)        goto LAB13;LAB56:    t17 = (t0 + 16243);    t19 = xsi_mem_cmp(t17, t6, 6U);    if (t19 == 1)        goto LAB14;LAB57:    t20 = (t0 + 16249);    t22 = xsi_mem_cmp(t20, t6, 6U);    if (t22 == 1)        goto LAB15;LAB58:    t23 = (t0 + 16255);    t25 = xsi_mem_cmp(t23, t6, 6U);    if (t25 == 1)        goto LAB16;LAB59:    t26 = (t0 + 16261);    t28 = xsi_mem_cmp(t26, t6, 6U);    if (t28 == 1)        goto LAB17;

static void poppy_control_v1_01_a_a_1190085139_3306564128_p_0(char *t0){    char *t1;    char *t2;    char *t3;    int t4;    char *t5;    char *t6;    int t7;    char *t8;    char *t9;    int t10;    char *t11;    char *t12;    char *t13;    char *t14;    char *t15;    char *t16;LAB0:    xsi_set_current_line(447, ng0);    t1 = (t0 + 4456U);    t2 = *((char **)t1);    t1 = (t0 + 33790);    t4 = xsi_mem_cmp(t1, t2, 3U);    if (t4 == 1)        goto LAB3;LAB7:    t5 = (t0 + 33793);    t7 = xsi_mem_cmp(t5, t2, 3U);    if (t7 == 1)        goto LAB4;LAB8:    t8 = (t0 + 33796);    t10 = xsi_mem_cmp(t8, t2, 3U);    if (t10 == 1)        goto LAB5;LAB9:LAB6:    xsi_set_current_line(451, ng0);    t1 = xsi_get_transient_memory(32U);    memset(t1, 0, 32U);    t2 = t1;    memset(t2, (unsigned char)2, 32U);    t3 = (t0 + 10432);    t5 = (t3 + 32U);    t6 = *((char **)t5);    t8 = (t6 + 32U);    t9 = *((char **)t8);    memcpy(t9, t1, 32U);    xsi_driver_first_trans_fast(t3);LAB2:    t1 = (t0 + 10348);    *((int *)t1) = 1;LAB1:    return;LAB3:    xsi_set_current_line(448, ng0);    t11 = (t0 + 5928U);    t12 = *((char **)t11);    t11 = (t0 + 10432);    t13 = (t11 + 32U);    t14 = *((char **)t13);    t15 = (t14 + 32U);    t16 = *((char **)t15);    memcpy(t16, t12, 32U);    xsi_driver_first_trans_fast(t11);    goto LAB2;LAB4:    xsi_set_current_line(449, ng0);    t1 = (t0 + 5928U);    t2 = *((char **)t1);    t1 = (t0 + 10432);    t3 = (t1 + 32U);    t5 = *((char **)t3);    t6 = (t5 + 32U);    t8 = *((char **)t6);    memcpy(t8, t2, 32U);    xsi_driver_first_trans_fast(t1);    goto LAB2;LAB5:    xsi_set_current_line(450, ng0);    t1 = (t0 + 5928U);    t2 = *((char **)t1);    t1 = (t0 + 10432);    t3 = (t1 + 32U);    t5 = *((char **)t3);    t6 = (t5 + 32U);    t8 = *((char **)t6);    memcpy(t8, t2, 32U);    xsi_driver_first_trans_fast(t1);    goto LAB2;LAB10:;}

static void work_a_2178422333_1385672483_p_0(char *t0){    char *t1;    char *t2;    char *t3;    unsigned char t4;    unsigned int t5;    char *t6;    char *t7;    char *t8;    char *t9;    int t11;    char *t12;    int t14;    char *t15;    int t17;    char *t18;    int t20;    char *t21;    int t23;    char *t24;    int t26;    char *t27;    int t29;    char *t30;    int t32;    char *t33;    int t35;    char *t36;    int t38;    char *t39;    int t41;    char *t42;    int t44;    char *t45;    int t47;    char *t48;    int t50;    char *t51;    int t53;    char *t54;    int t56;    char *t57;    int t59;    char *t60;    int t62;    char *t63;    int t65;    char *t66;    int t68;    char *t69;    int t71;    char *t72;    int t74;    char *t75;    char *t77;    char *t78;    char *t79;    char *t80;    char *t81;LAB0:    xsi_set_current_line(20, ng0);    t1 = (t0 + 1032U);    t2 = *((char **)t1);    t1 = (t0 + 5016);    t4 = 1;    if (2U == 2U)        goto LAB5;LAB6:    t4 = 0;LAB7:    if (t4 != 0)        goto LAB2;LAB4:    xsi_set_current_line(93, ng0);    t1 = xsi_get_transient_memory(6U);    memset(t1, 0, 6U);    t2 = t1;    memset(t2, (unsigned char)2, 6U);    t3 = (t0 + 2912);    t6 = (t3 + 56U);    t7 = *((char **)t6);    t8 = (t7 + 56U);    t9 = *((char **)t8);    memcpy(t9, t1, 6U);    xsi_driver_first_trans_fast_port(t3);LAB3:    t1 = (t0 + 2832);    *((int *)t1) = 1;LAB1:    return;LAB2:    xsi_set_current_line(21, ng0);    t8 = (t0 + 1192U);    t9 = *((char **)t8);    t8 = (t0 + 5018);    t11 = xsi_mem_cmp(t8, t9, 6U);    if (t11 == 1)        goto LAB12;LAB35:    t12 = (t0 + 5024);//.........这里部分代码省略.........

static void work_a_0773735105_3212880686_p_0(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;    int t28;    char *t29;    int t31;    char *t32;    int t34;    char *t35;    int t37;    char *t38;    int t40;    char *t41;    int t43;    char *t44;    int t46;    char *t47;    int t49;    char *t50;    int t52;    char *t53;    int t55;    char *t56;    int t58;    char *t59;    int t61;    char *t62;    int t64;    char *t65;    int t67;    char *t68;    int t70;    char *t71;    int t73;    char *t74;    int t76;    char *t77;    char *t78;    unsigned char t79;LAB0:    xsi_set_current_line(57, ng0);    t1 = (t0 + 1592U);    t2 = *((char **)t1);    t1 = (t2 + 0);    *((unsigned char *)t1) = (unsigned char)2;    xsi_set_current_line(58, ng0);    t1 = (t0 + 1660U);    t2 = *((char **)t1);    t1 = (t2 + 0);    *((unsigned char *)t1) = (unsigned char)2;    xsi_set_current_line(59, ng0);    t1 = (t0 + 1728U);    t2 = *((char **)t1);    t1 = (t2 + 0);    *((unsigned char *)t1) = (unsigned char)2;    xsi_set_current_line(61, ng0);    t1 = (t0 + 1236U);    t2 = *((char **)t1);    t1 = (t0 + 5975);    t4 = xsi_mem_cmp(t1, t2, 7U);    if (t4 == 1)        goto LAB3;LAB29:    t5 = (t0 + 5982);    t7 = xsi_mem_cmp(t5, t2, 7U);    if (t7 == 1)        goto LAB4;LAB30:    t8 = (t0 + 5989);    t10 = xsi_mem_cmp(t8, t2, 7U);    if (t10 == 1)        goto LAB5;LAB31:    t11 = (t0 + 5996);    t13 = xsi_mem_cmp(t11, t2, 7U);    if (t13 == 1)        goto LAB6;LAB32:    t14 = (t0 + 6003);    t16 = xsi_mem_cmp(t14, t2, 7U);    if (t16 == 1)//.........这里部分代码省略.........

static void work_a_0290344353_2019858411_p_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    int t5;    char *t6;    char *t7;    int t8;    char *t9;    int t11;    char *t12;    char *t13;    char *t14;    char *t15;    char *t16;    char *t17;LAB0:    t1 = (t0 + 1712U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(27, ng0);    t2 = (t0 + 1052U);    t3 = *((char **)t2);    t2 = (t0 + 3490);    t5 = xsi_mem_cmp(t2, t3, 2U);    if (t5 == 1)        goto LAB5;LAB9:    t6 = (t0 + 3492);    t8 = xsi_mem_cmp(t6, t3, 2U);    if (t8 == 1)        goto LAB6;LAB10:    t9 = (t0 + 3494);    t11 = xsi_mem_cmp(t9, t3, 2U);    if (t11 == 1)        goto LAB7;LAB11:LAB8:    xsi_set_current_line(28, ng0);    t2 = (t0 + 868U);    t3 = *((char **)t2);    t2 = (t0 + 1952);    t4 = (t2 + 32U);    t6 = *((char **)t4);    t7 = (t6 + 40U);    t9 = *((char **)t7);    memcpy(t9, t3, 4U);    xsi_driver_first_trans_fast_port(t2);LAB4:    xsi_set_current_line(27, ng0);LAB15:    t2 = (t0 + 1908);    *((int *)t2) = 1;    *((char **)t1) = &&LAB16;LAB1:    return;LAB5:    xsi_set_current_line(28, ng0);    t12 = (t0 + 592U);    t13 = *((char **)t12);    t12 = (t0 + 1952);    t14 = (t12 + 32U);    t15 = *((char **)t14);    t16 = (t15 + 40U);    t17 = *((char **)t16);    memcpy(t17, t13, 4U);    xsi_driver_first_trans_fast_port(t12);    goto LAB4;LAB6:    xsi_set_current_line(28, ng0);    t2 = (t0 + 684U);    t3 = *((char **)t2);    t2 = (t0 + 1952);    t4 = (t2 + 32U);    t6 = *((char **)t4);    t7 = (t6 + 40U);    t9 = *((char **)t7);    memcpy(t9, t3, 4U);    xsi_driver_first_trans_fast_port(t2);    goto LAB4;LAB7:    xsi_set_current_line(28, ng0);    t2 = (t0 + 776U);    t3 = *((char **)t2);    t2 = (t0 + 1952);    t4 = (t2 + 32U);    t6 = *((char **)t4);    t7 = (t6 + 40U);    t9 = *((char **)t7);    memcpy(t9, t3, 4U);    xsi_driver_first_trans_fast_port(t2);    goto LAB4;LAB12:;//.........这里部分代码省略.........

//.........这里部分代码省略.........    unsigned char t100;    unsigned char t101;    unsigned int t102;    unsigned int t103;    unsigned int t104;    unsigned char t105;    unsigned char t106;    unsigned char t107;    unsigned char t108;    unsigned int t109;    unsigned int t110;    unsigned int t111;    unsigned char t112;    unsigned char t113;    unsigned int t114;    unsigned int t115;    unsigned int t116;    unsigned char t117;    unsigned char t118;    unsigned int t119;    unsigned int t120;    unsigned int t121;    unsigned char t122;    unsigned char t123;    unsigned char t124;    unsigned int t125;    unsigned char t126;    unsigned char t127;LAB0:    xsi_set_current_line(26, ng0);    t1 = (t0 + 1052U);    t2 = *((char **)t1);    t1 = (t0 + 3924);    t4 = xsi_mem_cmp(t1, t2, 6U);    if (t4 == 1)        goto LAB3;LAB27:    t5 = (t0 + 3930);    t7 = xsi_mem_cmp(t5, t2, 6U);    if (t7 == 1)        goto LAB4;LAB28:    t8 = (t0 + 3936);    t10 = xsi_mem_cmp(t8, t2, 6U);    if (t10 == 1)        goto LAB5;LAB29:    t11 = (t0 + 3942);    t13 = xsi_mem_cmp(t11, t2, 6U);    if (t13 == 1)        goto LAB6;LAB30:    t14 = (t0 + 3948);    t16 = xsi_mem_cmp(t14, t2, 6U);    if (t16 == 1)        goto LAB7;LAB31:    t17 = (t0 + 3954);    t19 = xsi_mem_cmp(t17, t2, 6U);    if (t19 == 1)        goto LAB8;LAB32:    t20 = (t0 + 3960);    t22 = xsi_mem_cmp(t20, t2, 6U);    if (t22 == 1)        goto LAB9;

static void work_a_0550431143_3212880686_p_0(char *t0){    char t32[16];    char t34[16];    char *t1;    char *t2;    unsigned char t3;    char *t4;    char *t5;    char *t6;    char *t7;    char *t8;    int t9;    int t10;    int t11;    char *t12;    char *t13;    int t14;    char *t15;    char *t16;    int t17;    char *t18;    int t20;    char *t21;    int t23;    char *t24;    int t26;    char *t27;    char *t28;    char *t29;    char *t30;    char *t31;    unsigned int t33;    unsigned int t35;    unsigned int t36;    unsigned char t37;    static char *nl0[] = {&&LAB3, &&LAB4};LAB0:    xsi_set_current_line(53, ng0);    t1 = (t0 + 1832U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t1 = (char *)((nl0) + t3);    goto **((char **)t1);LAB2:    t1 = (t0 + 4112);    *((int *)t1) = 1;LAB1:    return;LAB3:    xsi_set_current_line(54, ng0);    t4 = (t0 + 4192);    t5 = (t4 + 56U);    t6 = *((char **)t5);    t7 = (t6 + 56U);    t8 = *((char **)t7);    *((unsigned char *)t8) = (unsigned char)3;    xsi_driver_first_trans_fast_port(t4);    xsi_set_current_line(55, ng0);    t1 = (t0 + 1192U);    t2 = *((char **)t1);    t1 = (t0 + 7128);    t9 = xsi_mem_cmp(t1, t2, 3U);    if (t9 == 1)        goto LAB7;LAB16:    t5 = (t0 + 7131);    t10 = xsi_mem_cmp(t5, t2, 3U);    if (t10 == 1)        goto LAB8;LAB17:    t7 = (t0 + 7134);    t11 = xsi_mem_cmp(t7, t2, 3U);    if (t11 == 1)        goto LAB9;LAB18:    t12 = (t0 + 7137);    t14 = xsi_mem_cmp(t12, t2, 3U);    if (t14 == 1)        goto LAB10;LAB19:    t15 = (t0 + 7140);    t17 = xsi_mem_cmp(t15, t2, 3U);    if (t17 == 1)        goto LAB11;LAB20:    t18 = (t0 + 7143);    t20 = xsi_mem_cmp(t18, t2, 3U);    if (t20 == 1)        goto LAB12;LAB21:    t21 = (t0 + 7146);    t23 = xsi_mem_cmp(t21, t2, 3U);    if (t23 == 1)        goto LAB13;LAB22:    t24 = (t0 + 7149);    t26 = xsi_mem_cmp(t24, t2, 3U);    if (t26 == 1)        goto LAB14;//.........这里部分代码省略.........

static void work_a_2006837144_1608328332_p_5(char *t0){    char t6[16];    char t16[16];    char *t1;    char *t2;    unsigned char t3;    char *t4;    unsigned char t5;    char *t7;    char *t8;    char *t9;    int t10;    unsigned int t11;    unsigned int t12;    unsigned int t13;    unsigned char t14;    char *t15;    char *t17;    char *t18;    char *t19;    unsigned int t20;    unsigned int t21;    int t22;    int t23;    int t24;    int t26;    char *t27;    int t29;    char *t30;    int t32;    char *t33;    int t35;    char *t36;    char *t37;    char *t38;    char *t39;    char *t40;LAB0:    xsi_set_current_line(321, ng0);    t1 = (t0 + 2312U);    t2 = *((char **)t1);    t3 = *((unsigned char *)t2);    t1 = (t0 + 3912U);    t4 = *((char **)t1);    t5 = *((unsigned char *)t4);    t7 = ((IEEE_P_2592010699) + 4000);    t1 = xsi_base_array_concat(t1, t6, t7, (char)99, t3, (char)99, t5, (char)101);    t8 = (t0 + 7592U);    t9 = *((char **)t8);    t10 = (28 - 28);    t11 = (t10 * -1);    t12 = (1U * t11);    t13 = (0 + t12);    t8 = (t9 + t13);    t14 = *((unsigned char *)t8);    t17 = ((IEEE_P_2592010699) + 4000);    t15 = xsi_base_array_concat(t15, t16, t17, (char)97, t1, t6, (char)99, t14, (char)101);    t18 = (t0 + 10448U);    t19 = *((char **)t18);    t18 = (t19 + 0);    t20 = (1U + 1U);    t21 = (t20 + 1U);    memcpy(t18, t15, t21);    xsi_set_current_line(323, ng0);    t1 = (t0 + 10448U);    t2 = *((char **)t1);    t1 = (t0 + 30583);    t10 = xsi_mem_cmp(t1, t2, 3U);    if (t10 == 1)        goto LAB3;LAB12:    t7 = (t0 + 30586);    t22 = xsi_mem_cmp(t7, t2, 3U);    if (t22 == 1)        goto LAB4;LAB13:    t9 = (t0 + 30589);    t23 = xsi_mem_cmp(t9, t2, 3U);    if (t23 == 1)        goto LAB5;LAB14:    t17 = (t0 + 30592);    t24 = xsi_mem_cmp(t17, t2, 3U);    if (t24 == 1)        goto LAB6;LAB15:    t19 = (t0 + 30595);    t26 = xsi_mem_cmp(t19, t2, 3U);    if (t26 == 1)        goto LAB7;LAB16:    t27 = (t0 + 30598);    t29 = xsi_mem_cmp(t27, t2, 3U);    if (t29 == 1)        goto LAB8;LAB17:    t30 = (t0 + 30601);    t32 = xsi_mem_cmp(t30, t2, 3U);    if (t32 == 1)//.........这里部分代码省略.........

static void work_a_0327810809_0109033252_p_0(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;    int t28;    char *t29;    int t31;    char *t32;    int t34;    char *t35;    int t37;    char *t38;    int t40;    char *t41;    int t43;    char *t44;    int t46;    char *t47;    char *t48;    char *t49;    char *t50;    char *t51;    char *t52;LAB0:    xsi_set_current_line(17, ng0);    t1 = (t0 + 1192U);    t2 = *((char **)t1);    t1 = (t0 + 5372);    t4 = xsi_mem_cmp(t1, t2, 4U);    if (t4 == 1)        goto LAB3;LAB19:    t5 = (t0 + 5376);    t7 = xsi_mem_cmp(t5, t2, 4U);    if (t7 == 1)        goto LAB4;LAB20:    t8 = (t0 + 5380);    t10 = xsi_mem_cmp(t8, t2, 4U);    if (t10 == 1)        goto LAB5;LAB21:    t11 = (t0 + 5384);    t13 = xsi_mem_cmp(t11, t2, 4U);    if (t13 == 1)        goto LAB6;LAB22:    t14 = (t0 + 5388);    t16 = xsi_mem_cmp(t14, t2, 4U);    if (t16 == 1)        goto LAB7;LAB23:    t17 = (t0 + 5392);    t19 = xsi_mem_cmp(t17, t2, 4U);    if (t19 == 1)        goto LAB8;LAB24:    t20 = (t0 + 5396);    t22 = xsi_mem_cmp(t20, t2, 4U);    if (t22 == 1)        goto LAB9;LAB25:    t23 = (t0 + 5400);    t25 = xsi_mem_cmp(t23, t2, 4U);    if (t25 == 1)        goto LAB10;LAB26:    t26 = (t0 + 5404);    t28 = xsi_mem_cmp(t26, t2, 4U);    if (t28 == 1)        goto LAB11;LAB27:    t29 = (t0 + 5408);    t31 = xsi_mem_cmp(t29, t2, 4U);    if (t31 == 1)        goto LAB12;LAB28:    t32 = (t0 + 5412);    t34 = xsi_mem_cmp(t32, t2, 4U);    if (t34 == 1)        goto LAB13;//.........这里部分代码省略.........

static void work_a_2981415231_3990940387_p_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    int t5;    char *t6;    char *t7;    int t8;    char *t9;    int t11;    char *t12;    int t14;    char *t15;    int t17;    char *t18;    int t20;    char *t21;    int t23;    char *t24;    int t26;    char *t27;    int t29;    char *t30;    int t32;    char *t33;    int t35;    char *t36;    char *t37;    char *t38;    char *t39;    char *t40;LAB0:    t1 = (t0 + 2824U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(42, ng0);    t2 = (t0 + 1192U);    t3 = *((char **)t2);    t2 = (t0 + 5409);    t5 = xsi_mem_cmp(t2, t3, 4U);    if (t5 == 1)        goto LAB5;LAB7:    t6 = (t0 + 5413);    t8 = xsi_mem_cmp(t6, t3, 4U);    if (t8 == 1)        goto LAB5;LAB8:    t9 = (t0 + 5417);    t11 = xsi_mem_cmp(t9, t3, 4U);    if (t11 == 1)        goto LAB5;LAB9:    t12 = (t0 + 5421);    t14 = xsi_mem_cmp(t12, t3, 4U);    if (t14 == 1)        goto LAB5;LAB10:    t15 = (t0 + 5425);    t17 = xsi_mem_cmp(t15, t3, 4U);    if (t17 == 1)        goto LAB5;LAB11:    t18 = (t0 + 5429);    t20 = xsi_mem_cmp(t18, t3, 4U);    if (t20 == 1)        goto LAB5;LAB12:    t21 = (t0 + 5433);    t23 = xsi_mem_cmp(t21, t3, 4U);    if (t23 == 1)        goto LAB5;LAB13:    t24 = (t0 + 5437);    t26 = xsi_mem_cmp(t24, t3, 4U);    if (t26 == 1)        goto LAB5;LAB14:    t27 = (t0 + 5441);    t29 = xsi_mem_cmp(t27, t3, 4U);    if (t29 == 1)        goto LAB5;LAB15:    t30 = (t0 + 5445);    t32 = xsi_mem_cmp(t30, t3, 4U);    if (t32 == 1)        goto LAB5;LAB16:    t33 = (t0 + 5449);    t35 = xsi_mem_cmp(t33, t3, 4U);    if (t35 == 1)        goto LAB5;LAB17://.........这里部分代码省略.........

static void work_a_0832606739_1499595665_p_0(char *t0){    char t32[16];    char t47[16];    char *t1;    char *t2;    char *t3;    int t4;    char *t5;    char *t6;    int t7;    char *t8;    char *t9;    int t10;    char *t11;    char *t12;    int t13;    char *t14;    char *t15;    int t16;    char *t17;    char *t18;    int t19;    char *t20;    int t22;    char *t23;    int t25;    char *t26;    int t28;    char *t29;    int t31;    char *t33;    char *t34;    char *t35;    char *t36;    char *t37;    char *t38;    unsigned int t39;    unsigned int t40;    unsigned char t41;    char *t42;    char *t43;    char *t44;    char *t45;    char *t46;    unsigned char t48;LAB0:    xsi_set_current_line(25, ng0);    t1 = (t0 + 1352U);    t2 = *((char **)t1);    t1 = (t0 + 5499);    t4 = xsi_mem_cmp(t1, t2, 6U);    if (t4 == 1)        goto LAB3;LAB14:    t5 = (t0 + 5505);    t7 = xsi_mem_cmp(t5, t2, 6U);    if (t7 == 1)        goto LAB4;LAB15:    t8 = (t0 + 5511);    t10 = xsi_mem_cmp(t8, t2, 6U);    if (t10 == 1)        goto LAB5;LAB16:    t11 = (t0 + 5517);    t13 = xsi_mem_cmp(t11, t2, 6U);    if (t13 == 1)        goto LAB6;LAB17:    t14 = (t0 + 5523);    t16 = xsi_mem_cmp(t14, t2, 6U);    if (t16 == 1)        goto LAB7;LAB18:    t17 = (t0 + 5529);    t19 = xsi_mem_cmp(t17, t2, 6U);    if (t19 == 1)        goto LAB8;LAB19:    t20 = (t0 + 5535);    t22 = xsi_mem_cmp(t20, t2, 6U);    if (t22 == 1)        goto LAB9;LAB20:    t23 = (t0 + 5541);    t25 = xsi_mem_cmp(t23, t2, 6U);    if (t25 == 1)        goto LAB10;LAB21:    t26 = (t0 + 5547);    t28 = xsi_mem_cmp(t26, t2, 6U);    if (t28 == 1)        goto LAB11;LAB22:    t29 = (t0 + 5553);    t31 = xsi_mem_cmp(t29, t2, 6U);    if (t31 == 1)        goto LAB12;//.........这里部分代码省略.........

static void work_a_1044718129_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(58, ng0);    t1 = (t0 + 2152U);    t2 = *((char **)t1);    t1 = (t0 + 7636);    t4 = xsi_mem_cmp(t1, t2, 3U);    if (t4 == 1)        goto LAB3;LAB12:    t5 = (t0 + 7639);    t7 = xsi_mem_cmp(t5, t2, 3U);    if (t7 == 1)        goto LAB4;LAB13:    t8 = (t0 + 7642);    t10 = xsi_mem_cmp(t8, t2, 3U);    if (t10 == 1)        goto LAB5;LAB14:    t11 = (t0 + 7645);    t13 = xsi_mem_cmp(t11, t2, 3U);    if (t13 == 1)        goto LAB6;LAB15:    t14 = (t0 + 7648);    t16 = xsi_mem_cmp(t14, t2, 3U);    if (t16 == 1)        goto LAB7;LAB16:    t17 = (t0 + 7651);    t19 = xsi_mem_cmp(t17, t2, 3U);    if (t19 == 1)        goto LAB8;LAB17:    t20 = (t0 + 7654);    t22 = xsi_mem_cmp(t20, t2, 3U);    if (t22 == 1)        goto LAB9;LAB18:    t23 = (t0 + 7657);    t25 = xsi_mem_cmp(t23, t2, 3U);    if (t25 == 1)        goto LAB10;LAB19:LAB11:    xsi_set_current_line(67, 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(59, ng0);    t26 = (t0 + 4832);    t27 = (t26 + 56U);    t28 = *((char **)t27);    t29 = (t28 + 56U);    t30 = *((char **)t29);    *((unsigned char *)t30) = (unsigned char)1;    xsi_driver_first_trans_fast(t26);    goto LAB2;LAB4:    xsi_set_current_line(60, ng0);    t1 = (t0 + 4832);    t2 = (t1 + 56U);    t3 = *((char **)t2);    t5 = (t3 + 56U);    t6 = *((char **)t5);//.........这里部分代码省略.........

static void work_a_1227422574_3212880686_p_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    int t5;    char *t6;    char *t7;    int t8;    char *t9;    int t11;    char *t12;    char *t13;    char *t14;    char *t15;    char *t16;    char *t17;LAB0:    t1 = (t0 + 1940U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(22, ng0);    t2 = (t0 + 868U);    t3 = *((char **)t2);    t2 = (t0 + 4290);    t5 = xsi_mem_cmp(t2, t3, 2U);    if (t5 == 1)        goto LAB5;LAB9:    t6 = (t0 + 4292);    t8 = xsi_mem_cmp(t6, t3, 2U);    if (t8 == 1)        goto LAB6;LAB10:    t9 = (t0 + 4294);    t11 = xsi_mem_cmp(t9, t3, 2U);    if (t11 == 1)        goto LAB7;LAB11:LAB8:    xsi_set_current_line(24, ng0);    t2 = (t0 + 960U);    t3 = *((char **)t2);    t2 = (t0 + 2332);    t4 = (t2 + 32U);    t6 = *((char **)t4);    t7 = (t6 + 40U);    t9 = *((char **)t7);    memcpy(t9, t3, 4U);    xsi_driver_first_trans_fast(t2);LAB4:    xsi_set_current_line(22, ng0);LAB15:    t2 = (t0 + 2280);    *((int *)t2) = 1;    *((char **)t1) = &&LAB16;LAB1:    return;LAB5:    xsi_set_current_line(24, ng0);    t12 = (t0 + 592U);    t13 = *((char **)t12);    t12 = (t0 + 2332);    t14 = (t12 + 32U);    t15 = *((char **)t14);    t16 = (t15 + 40U);    t17 = *((char **)t16);    memcpy(t17, t13, 4U);    xsi_driver_first_trans_fast(t12);    goto LAB4;LAB6:    xsi_set_current_line(24, ng0);    t2 = (t0 + 684U);    t3 = *((char **)t2);    t2 = (t0 + 2332);    t4 = (t2 + 32U);    t6 = *((char **)t4);    t7 = (t6 + 40U);    t9 = *((char **)t7);    memcpy(t9, t3, 4U);    xsi_driver_first_trans_fast(t2);    goto LAB4;LAB7:    xsi_set_current_line(24, ng0);    t2 = (t0 + 776U);    t3 = *((char **)t2);    t2 = (t0 + 2332);    t4 = (t2 + 32U);    t6 = *((char **)t4);    t7 = (t6 + 40U);    t9 = *((char **)t7);    memcpy(t9, t3, 4U);    xsi_driver_first_trans_fast(t2);    goto LAB4;LAB12:;//.........这里部分代码省略.........