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

static void Always_79_0(char *t0){    char t8[8];    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    char *t7;    char *t9;    char *t10;    unsigned int t11;    unsigned int t12;    unsigned int t13;    unsigned int t14;    unsigned int t15;    unsigned int t16;    unsigned int t17;    unsigned int t18;    unsigned int t19;    unsigned int t20;    unsigned int t21;    unsigned int t22;    char *t23;    char *t24;    unsigned int t25;    unsigned int t26;    unsigned int t27;    unsigned int t28;    unsigned int t29;    char *t30;    char *t31;LAB0:    t1 = (t0 + 6024U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(79, ng0);    t2 = (t0 + 6344);    *((int *)t2) = 1;    t3 = (t0 + 6056);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    xsi_set_current_line(92, ng0);LAB5:    t4 = (t0 + 280);    xsi_vlog_namedbase_setdisablestate(t4, &&LAB6);    t5 = (t0 + 5832);    xsi_vlog_namedbase_pushprocess(t4, t5);LAB7:    xsi_set_current_line(94, ng0);    t6 = (t0 + 1344U);    t7 = *((char **)t6);    t6 = ((char*)((ng1)));    memset(t8, 0, 8);    t9 = (t7 + 4);    t10 = (t6 + 4);    t11 = *((unsigned int *)t7);    t12 = *((unsigned int *)t6);    t13 = (t11 ^ t12);    t14 = *((unsigned int *)t9);    t15 = *((unsigned int *)t10);    t16 = (t14 ^ t15);    t17 = (t13 | t16);    t18 = *((unsigned int *)t9);    t19 = *((unsigned int *)t10);    t20 = (t18 | t19);    t21 = (~(t20));    t22 = (t17 & t21);    if (t22 != 0)        goto LAB11;LAB8:    if (t20 != 0)        goto LAB10;LAB9:    *((unsigned int *)t8) = 1;LAB11:    t24 = (t8 + 4);    t25 = *((unsigned int *)t24);    t26 = (~(t25));    t27 = *((unsigned int *)t8);    t28 = (t27 & t26);    t29 = (t28 != 0);    if (t29 > 0)        goto LAB12;LAB13:    xsi_set_current_line(109, ng0);LAB16:    xsi_set_current_line(110, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 3504);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 2);    xsi_set_current_line(111, ng0);    t2 = ((char*)((ng2)));//.........这里部分代码省略.........

static void Always_44_1(char *t0){    char t8[8];    char t28[8];    char t31[8];    char t42[8];    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    char *t7;    unsigned int t9;    unsigned int t10;    unsigned int t11;    unsigned int t12;    unsigned int t13;    unsigned int t14;    unsigned int t15;    unsigned int t16;    unsigned int t17;    unsigned int t18;    unsigned int t19;    unsigned int t20;    unsigned int t21;    unsigned int t22;    unsigned int t23;    unsigned int t24;    unsigned int t25;    char *t26;    char *t27;    char *t29;    char *t30;    char *t32;    char *t33;    char *t34;    unsigned int t35;    unsigned int t36;    unsigned int t37;    unsigned int t38;    unsigned int t39;    unsigned int t40;    char *t41;    char *t43;LAB0:    t1 = (t0 + 2116U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(44, ng0);    t2 = (t0 + 2320);    *((int *)t2) = 1;    t3 = (t0 + 2144);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    xsi_set_current_line(44, ng0);LAB5:    xsi_set_current_line(45, ng0);    t4 = (t0 + 1264);    t5 = (t4 + 36U);    t6 = *((char **)t5);    t7 = (t0 + 1448);    xsi_vlogvar_assign_value(t7, t6, 0, 0, 16);    xsi_set_current_line(47, ng0);    t2 = (t0 + 760U);    t3 = *((char **)t2);    t2 = ((char*)((ng2)));    memset(t8, 0, 8);    t4 = (t3 + 4);    t5 = (t2 + 4);    t9 = *((unsigned int *)t3);    t10 = *((unsigned int *)t2);    t11 = (t9 ^ t10);    t12 = *((unsigned int *)t4);    t13 = *((unsigned int *)t5);    t14 = (t12 ^ t13);    t15 = (t11 | t14);    t16 = *((unsigned int *)t4);    t17 = *((unsigned int *)t5);    t18 = (t16 | t17);    t19 = (~(t18));    t20 = (t15 & t19);    if (t20 != 0)        goto LAB9;LAB6:    if (t18 != 0)        goto LAB8;LAB7:    *((unsigned int *)t8) = 1;LAB9:    t7 = (t8 + 4);    t21 = *((unsigned int *)t7);    t22 = (~(t21));    t23 = *((unsigned int *)t8);//.........这里部分代码省略.........

static void A29_0(char *t0){    char t7[8];    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    char *t8;    char *t9;    unsigned int t10;    int t11;    unsigned int t12;    unsigned int t13;    unsigned int t14;    unsigned int t15;    unsigned int t16;    unsigned int t17;    unsigned int t18;    unsigned int t19;    unsigned int t20;    unsigned int t21;    unsigned int t22;    char *t23;    unsigned int t24;    unsigned int t25;    unsigned int t26;    unsigned int t27;    unsigned int t28;    char *t29;    char *t30;LAB0:    t1 = (t0 + 1532U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(29, ng0);    t2 = (t0 + 1712);    *((int *)t2) = 1;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    xsi_set_current_line(29, ng0);LAB5:    xsi_set_current_line(30, ng0);    t3 = (t0 + 1056);    t4 = (t3 + 32U);    t5 = *((char **)t4);    t6 = ((char*)((ng1)));    memset(t7, 0, 8);    xsi_vlog_unsigned_lshift(t7, 8, t5, 8, t6, 32);    t8 = (t0 + 1056);    xsi_vlogvar_assign_value(t8, t7, 0, 0, 8);    xsi_set_current_line(31, ng0);    t2 = (t0 + 652U);    t3 = *((char **)t2);    t2 = (t0 + 1056);    t4 = (t0 + 1056);    t5 = (t4 + 40U);    t6 = *((char **)t5);    t8 = ((char*)((ng2)));    xsi_vlog_generic_convert_bit_index(t7, t6, 2, t8, 32, 1);    t9 = (t7 + 4U);    t10 = *((unsigned int *)t9);    t11 = (!(t10));    if (t11 == 1)        goto LAB6;LAB7:    xsi_set_current_line(32, ng0);    t2 = (t0 + 1056);    t3 = (t2 + 32U);    t4 = *((char **)t3);    t5 = ((char*)((ng2)));    memset(t7, 0, 8);    t6 = (t7 + 4U);    t8 = (t4 + 4U);    t9 = (t5 + 4U);    t10 = *((unsigned int *)t4);    t12 = *((unsigned int *)t5);    t13 = (t10 ^ t12);    t14 = *((unsigned int *)t8);    t15 = *((unsigned int *)t9);    t16 = (t14 ^ t15);    t17 = (t13 | t16);    t18 = *((unsigned int *)t8);    t19 = *((unsigned int *)t9);    t20 = (t18 | t19);    t21 = (~(t20));    t22 = (t17 & t21);    if (t22 != 0)        goto LAB11;LAB8:    if (t20 != 0)        goto LAB10;LAB9:    *((unsigned int *)t7) = 1;//.........这里部分代码省略.........

static void Initial_83_1(char *t0){    char *t1;    char *t2;    char *t3;LAB0:    t1 = (t0 + 6792U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(83, ng0);LAB4:    xsi_set_current_line(84, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 4984);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);    xsi_set_current_line(85, ng0);    t2 = (t0 + 6600);    xsi_process_wait(t2, 2000000000LL);    *((char **)t1) = &&LAB5;LAB1:    return;LAB5:    xsi_set_current_line(87, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 4984);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);    xsi_set_current_line(88, ng0);    t2 = (t0 + 6600);    xsi_process_wait(t2, 120000000LL);    *((char **)t1) = &&LAB6;    goto LAB1;LAB6:    xsi_set_current_line(89, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 4984);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);    xsi_set_current_line(91, ng0);    t2 = (t0 + 6600);    xsi_process_wait(t2, 333333340000LL);    *((char **)t1) = &&LAB7;    goto LAB1;LAB7:    xsi_set_current_line(93, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 4984);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);    xsi_set_current_line(94, ng0);    t2 = (t0 + 6600);    xsi_process_wait(t2, 120000000LL);    *((char **)t1) = &&LAB8;    goto LAB1;LAB8:    xsi_set_current_line(95, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 4984);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);    goto LAB1;}

static void Always_78_0(char *t0){    char t3[8];    char *t1;    char *t2;    char *t4;    char *t5;    char *t6;    unsigned int t7;    unsigned int t8;    unsigned int t9;    unsigned int t10;    unsigned int t11;    char *t12;    char *t13;    char *t14;    unsigned int t15;    unsigned int t16;    unsigned int t17;    unsigned int t18;    unsigned int t19;    unsigned int t20;    unsigned int t21;    unsigned int t22;    char *t23;LAB0:    t1 = (t0 + 6544U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(78, ng0);LAB4:    xsi_set_current_line(79, ng0);    t2 = (t0 + 4344);    t4 = (t2 + 56U);    t5 = *((char **)t4);    memset(t3, 0, 8);    t6 = (t5 + 4);    t7 = *((unsigned int *)t6);    t8 = (~(t7));    t9 = *((unsigned int *)t5);    t10 = (t9 & t8);    t11 = (t10 & 1U);    if (t11 != 0)        goto LAB8;LAB6:    if (*((unsigned int *)t6) == 0)        goto LAB5;LAB7:    t12 = (t3 + 4);    *((unsigned int *)t3) = 1;    *((unsigned int *)t12) = 1;LAB8:    t13 = (t3 + 4);    t14 = (t5 + 4);    t15 = *((unsigned int *)t5);    t16 = (~(t15));    *((unsigned int *)t3) = t16;    *((unsigned int *)t13) = 0;    if (*((unsigned int *)t14) != 0)        goto LAB10;LAB9:    t21 = *((unsigned int *)t3);    *((unsigned int *)t3) = (t21 & 1U);    t22 = *((unsigned int *)t13);    *((unsigned int *)t13) = (t22 & 1U);    t23 = (t0 + 4344);    xsi_vlogvar_assign_value(t23, t3, 0, 0, 1);    xsi_set_current_line(80, ng0);    t2 = (t0 + 6352);    xsi_process_wait(t2, 6000000LL);    *((char **)t1) = &&LAB11;LAB1:    return;LAB5:    *((unsigned int *)t3) = 1;    goto LAB8;LAB10:    t17 = *((unsigned int *)t3);    t18 = *((unsigned int *)t14);    *((unsigned int *)t3) = (t17 | t18);    t19 = *((unsigned int *)t13);    t20 = *((unsigned int *)t14);    *((unsigned int *)t13) = (t19 | t20);    goto LAB9;LAB11:    goto LAB2;}

//.........这里部分代码省略.........LAB16:    *((unsigned int *)t8) = 1;LAB18:    t7 = (t8 + 4);    t25 = *((unsigned int *)t7);    t26 = (~(t25));    t27 = *((unsigned int *)t8);    t28 = (t27 & t26);    t29 = (t28 != 0);    if (t29 > 0)        goto LAB19;LAB20:    xsi_set_current_line(77, ng0);    t2 = (t0 + 2120U);    t3 = *((char **)t2);    t2 = ((char*)((ng3)));    memset(t8, 0, 8);    t4 = (t3 + 4);    t5 = (t2 + 4);    t11 = *((unsigned int *)t3);    t12 = *((unsigned int *)t2);    t13 = (t11 ^ t12);    t14 = *((unsigned int *)t4);    t15 = *((unsigned int *)t5);    t16 = (t14 ^ t15);    t17 = (t13 | t16);    t18 = *((unsigned int *)t4);    t19 = *((unsigned int *)t5);    t20 = (t18 | t19);    t21 = (~(t20));    t22 = (t17 & t21);    if (t22 != 0)        goto LAB25;LAB22:    if (t20 != 0)        goto LAB24;LAB23:    *((unsigned int *)t8) = 1;LAB25:    t7 = (t8 + 4);    t25 = *((unsigned int *)t7);    t26 = (~(t25));    t27 = *((unsigned int *)t8);    t28 = (t27 & t26);    t29 = (t28 != 0);    if (t29 > 0)        goto LAB26;LAB27:    xsi_set_current_line(80, ng0);    t2 = (t0 + 1960U);    t3 = *((char **)t2);    t2 = (t0 + 2520);    xsi_vlogvar_assign_value(t2, t3, 0, 0, 32);LAB28:LAB21:LAB14:    t2 = (t0 + 280);    xsi_vlog_namedbase_popprocess(t2);LAB6:    t3 = (t0 + 3248);    xsi_vlog_dispose_process_subprogram_invocation(t3);    goto LAB2;LAB10:    t23 = (t8 + 4);    *((unsigned int *)t8) = 1;    *((unsigned int *)t23) = 1;    goto LAB11;LAB12:    xsi_set_current_line(74, ng0);    t30 = (t0 + 1480U);    t31 = *((char **)t30);    t30 = (t0 + 2520);    xsi_vlogvar_assign_value(t30, t31, 0, 0, 32);    goto LAB14;LAB17:    t6 = (t8 + 4);    *((unsigned int *)t8) = 1;    *((unsigned int *)t6) = 1;    goto LAB18;LAB19:    xsi_set_current_line(76, ng0);    t9 = (t0 + 1640U);    t10 = *((char **)t9);    t9 = (t0 + 2520);    xsi_vlogvar_assign_value(t9, t10, 0, 0, 32);    goto LAB21;LAB24:    t6 = (t8 + 4);    *((unsigned int *)t8) = 1;    *((unsigned int *)t6) = 1;    goto LAB25;LAB26:    xsi_set_current_line(78, ng0);    t9 = (t0 + 1800U);    t10 = *((char **)t9);    t9 = (t0 + 2520);    xsi_vlogvar_assign_value(t9, t10, 0, 0, 32);    goto LAB28;}

static int sp_log2roundup(char *t1, char *t2){    char t7[8];    char t20[8];    int t0;    char *t3;    char *t4;    char *t5;    char *t6;    char *t8;    unsigned int t9;    unsigned int t10;    unsigned int t11;    unsigned int t12;    unsigned int t13;    char *t14;    char *t15;    char *t16;    char *t17;    char *t18;    char *t19;    char *t21;LAB0:    t0 = 1;LAB2:    t3 = ((char*)((ng0)));    t4 = (t1 + 24792);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 32);    t3 = (t1 + 24472);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = ((char*)((ng1)));    memset(t7, 0, 8);    xsi_vlog_signed_greater(t7, 32, t5, 32, t6, 32);    t8 = (t7 + 4);    t9 = *((unsigned int *)t8);    t10 = (~(t9));    t11 = *((unsigned int *)t7);    t12 = (t11 & t10);    t13 = (t12 != 0);    if (t13 > 0)        goto LAB3;LAB4:LAB5:    t3 = (t1 + 24792);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = (t1 + 24632);    xsi_vlogvar_assign_value(t6, t5, 0, 0, 32);    t0 = 0;LAB1:    return t0;LAB3:LAB6:    t14 = ((char*)((ng1)));    t15 = (t1 + 24952);    xsi_vlogvar_assign_value(t15, t14, 0, 0, 32);LAB7:    t3 = (t1 + 24952);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = (t1 + 24472);    t8 = (t6 + 56U);    t14 = *((char **)t8);    memset(t7, 0, 8);    xsi_vlog_signed_less(t7, 32, t5, 32, t14, 32);    t15 = (t7 + 4);    t9 = *((unsigned int *)t15);    t10 = (~(t9));    t11 = *((unsigned int *)t7);    t12 = (t11 & t10);    t13 = (t12 != 0);    if (t13 > 0)        goto LAB8;LAB9:    goto LAB5;LAB8:LAB10:    t16 = (t1 + 24792);    t17 = (t16 + 56U);    t18 = *((char **)t17);    t19 = ((char*)((ng1)));    memset(t20, 0, 8);    xsi_vlog_signed_add(t20, 32, t18, 32, t19, 32);    t21 = (t1 + 24792);    xsi_vlogvar_assign_value(t21, t20, 0, 0, 32);    t3 = (t1 + 24952);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = ((char*)((ng2)));    memset(t7, 0, 8);    xsi_vlog_signed_multiply(t7, 32, t5, 32, t6, 32);    t8 = (t1 + 24952);    xsi_vlogvar_assign_value(t8, t7, 0, 0, 32);    goto LAB7;}

//.........这里部分代码省略.........    t15 = (t13 | t14);    *((unsigned int *)t12) = t15;    t16 = (t8 + 4);    t17 = (t11 + 4);    t18 = (t12 + 4);    t19 = *((unsigned int *)t16);    t20 = *((unsigned int *)t17);    t21 = (t19 | t20);    *((unsigned int *)t18) = t21;    t22 = *((unsigned int *)t18);    t23 = (t22 != 0);    if (t23 == 1)        goto LAB5;LAB6:LAB7:    memset(t5, 0, 8);    t40 = (t12 + 4);    t41 = *((unsigned int *)t40);    t42 = (~(t41));    t43 = *((unsigned int *)t12);    t44 = (t43 & t42);    t45 = (t44 & 1U);    if (t45 != 0)        goto LAB8;LAB9:    if (*((unsigned int *)t40) != 0)        goto LAB10;LAB11:    t47 = (t5 + 4);    t48 = *((unsigned int *)t5);    t49 = *((unsigned int *)t47);    t50 = (t48 || t49);    if (t50 > 0)        goto LAB12;LAB13:    t54 = *((unsigned int *)t5);    t55 = (~(t54));    t56 = *((unsigned int *)t47);    t57 = (t55 || t56);    if (t57 > 0)        goto LAB14;LAB15:    if (*((unsigned int *)t47) > 0)        goto LAB16;LAB17:    if (*((unsigned int *)t5) > 0)        goto LAB18;LAB19:    memcpy(t4, t60, 8);LAB20:    t61 = (t0 + 2952);    xsi_vlogvar_assign_value(t61, t4, 0, 0, 1);    goto LAB2;LAB5:    t24 = *((unsigned int *)t12);    t25 = *((unsigned int *)t18);    *((unsigned int *)t12) = (t24 | t25);    t26 = (t8 + 4);    t27 = (t11 + 4);    t28 = *((unsigned int *)t26);    t29 = (~(t28));    t30 = *((unsigned int *)t8);    t31 = (t30 & t29);    t32 = *((unsigned int *)t27);    t33 = (~(t32));    t34 = *((unsigned int *)t11);    t35 = (t34 & t33);    t36 = (~(t31));    t37 = (~(t35));    t38 = *((unsigned int *)t18);    *((unsigned int *)t18) = (t38 & t36);    t39 = *((unsigned int *)t18);    *((unsigned int *)t18) = (t39 & t37);    goto LAB7;LAB8:    *((unsigned int *)t5) = 1;    goto LAB11;LAB10:    t46 = (t5 + 4);    *((unsigned int *)t5) = 1;    *((unsigned int *)t46) = 1;    goto LAB11;LAB12:    t51 = (t0 + 5672);    t52 = (t51 + 56U);    t53 = *((char **)t52);    goto LAB13;LAB14:    t58 = (t0 + 5512);    t59 = (t58 + 56U);    t60 = *((char **)t59);    goto LAB15;LAB16:    xsi_vlog_unsigned_bit_combine(t4, 1, t53, 1, t60, 1);    goto LAB20;LAB18:    memcpy(t4, t53, 8);    goto LAB20;}

static void Always_329_8(char *t0){    char t10[8];    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    char *t7;    char *t8;    char *t9;    char *t11;    char *t12;    unsigned int t13;    unsigned int t14;    unsigned int t15;    unsigned int t16;    unsigned int t17;    unsigned int t18;    unsigned int t19;    unsigned int t20;    unsigned int t21;    unsigned int t22;    unsigned int t23;    unsigned int t24;    char *t25;    char *t26;    unsigned int t27;    unsigned int t28;    unsigned int t29;    unsigned int t30;    unsigned int t31;    char *t32;    char *t33;LAB0:    t1 = (t0 + 9056U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    t2 = (t0 + 11224);    *((int *)t2) = 1;    t3 = (t0 + 9088);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    t4 = (t0 + 3592);    t5 = (t4 + 56U);    t6 = *((char **)t5);    t7 = (t0 + 3912);    t8 = (t7 + 56U);    t9 = *((char **)t8);    memset(t10, 0, 8);    t11 = (t6 + 4);    t12 = (t9 + 4);    t13 = *((unsigned int *)t6);    t14 = *((unsigned int *)t9);    t15 = (t13 ^ t14);    t16 = *((unsigned int *)t11);    t17 = *((unsigned int *)t12);    t18 = (t16 ^ t17);    t19 = (t15 | t18);    t20 = *((unsigned int *)t11);    t21 = *((unsigned int *)t12);    t22 = (t20 | t21);    t23 = (~(t22));    t24 = (t19 & t23);    if (t24 != 0)        goto LAB8;LAB5:    if (t22 != 0)        goto LAB7;LAB6:    *((unsigned int *)t10) = 1;LAB8:    t26 = (t10 + 4);    t27 = *((unsigned int *)t26);    t28 = (~(t27));    t29 = *((unsigned int *)t10);    t30 = (t29 & t28);    t31 = (t30 != 0);    if (t31 > 0)        goto LAB9;LAB10:    t2 = ((char*)((ng1)));    t3 = (t0 + 4552);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);LAB11:    goto LAB2;LAB7:    t25 = (t10 + 4);    *((unsigned int *)t10) = 1;    *((unsigned int *)t25) = 1;    goto LAB8;LAB9:    t32 = ((char*)((ng0)));//.........这里部分代码省略.........

static void Always_344_11(char *t0){    char t10[8];    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    char *t7;    char *t8;    char *t9;    unsigned int t11;    unsigned int t12;    unsigned int t13;    char *t14;    char *t15;    char *t16;    unsigned int t17;    unsigned int t18;    unsigned int t19;    unsigned int t20;    unsigned int t21;    unsigned int t22;    unsigned int t23;    char *t24;    char *t25;    unsigned int t26;    unsigned int t27;    unsigned int t28;    int t29;    unsigned int t30;    unsigned int t31;    unsigned int t32;    int t33;    unsigned int t34;    unsigned int t35;    unsigned int t36;    unsigned int t37;    char *t38;LAB0:    t1 = (t0 + 9800U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    t2 = (t0 + 11272);    *((int *)t2) = 1;    t3 = (t0 + 9832);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    t4 = (t0 + 4712);    t5 = (t4 + 56U);    t6 = *((char **)t5);    t7 = (t0 + 4872);    t8 = (t7 + 56U);    t9 = *((char **)t8);    t11 = *((unsigned int *)t6);    t12 = *((unsigned int *)t9);    t13 = (t11 | t12);    *((unsigned int *)t10) = t13;    t14 = (t6 + 4);    t15 = (t9 + 4);    t16 = (t10 + 4);    t17 = *((unsigned int *)t14);    t18 = *((unsigned int *)t15);    t19 = (t17 | t18);    *((unsigned int *)t16) = t19;    t20 = *((unsigned int *)t16);    t21 = (t20 != 0);    if (t21 == 1)        goto LAB5;LAB6:LAB7:    t38 = (t0 + 5512);    xsi_vlogvar_assign_value(t38, t10, 0, 0, 1);    goto LAB2;LAB5:    t22 = *((unsigned int *)t10);    t23 = *((unsigned int *)t16);    *((unsigned int *)t10) = (t22 | t23);    t24 = (t6 + 4);    t25 = (t9 + 4);    t26 = *((unsigned int *)t24);    t27 = (~(t26));    t28 = *((unsigned int *)t6);    t29 = (t28 & t27);    t30 = *((unsigned int *)t25);    t31 = (~(t30));    t32 = *((unsigned int *)t9);    t33 = (t32 & t31);    t34 = (~(t29));    t35 = (~(t33));    t36 = *((unsigned int *)t16);    *((unsigned int *)t16) = (t36 & t34);    t37 = *((unsigned int *)t16);//.........这里部分代码省略.........

static void Initial_94_2(char *t0){    char t4[8];    char t21[16];    char *t1;    char *t2;    char *t3;    char *t5;    int t6;    char *t7;    char *t8;    char *t9;    char *t10;    char *t11;    char *t12;    unsigned int t13;    unsigned int t14;    unsigned int t15;    unsigned int t16;    unsigned int t17;    char *t18;    char *t19;    char *t20;    char *t22;LAB0:    t1 = (t0 + 7568U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:LAB4:    t2 = (t0 + 608);    t3 = *((char **)t2);    t2 = ((char*)((ng0)));    memset(t4, 0, 8);    xsi_vlog_signed_minus(t4, 32, t3, 32, t2, 32);    t5 = (t0 + 3432);    xsi_vlogvar_assign_value(t5, t4, 0, 0, 3);    t2 = ((char*)((ng1)));    t3 = (t0 + 4232);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    t2 = ((char*)((ng1)));    t3 = (t0 + 4712);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    t2 = ((char*)((ng1)));    t3 = (t0 + 4872);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    t2 = (t0 + 608);    t3 = *((char **)t2);LAB5:    t2 = ((char*)((ng0)));    t6 = xsi_vlog_signed_case_compare(t3, 32, t2, 32);    if (t6 == 1)        goto LAB6;LAB7:    t2 = ((char*)((ng3)));    t6 = xsi_vlog_signed_case_compare(t3, 32, t2, 32);    if (t6 == 1)        goto LAB8;LAB9:    t2 = ((char*)((ng5)));    t6 = xsi_vlog_signed_case_compare(t3, 32, t2, 32);    if (t6 == 1)        goto LAB10;LAB11:    t2 = ((char*)((ng8)));    t6 = xsi_vlog_signed_case_compare(t3, 32, t2, 32);    if (t6 == 1)        goto LAB12;LAB13:    t2 = ((char*)((ng10)));    t6 = xsi_vlog_signed_case_compare(t3, 32, t2, 32);    if (t6 == 1)        goto LAB14;LAB15:    t2 = ((char*)((ng12)));    t6 = xsi_vlog_signed_case_compare(t3, 32, t2, 32);    if (t6 == 1)        goto LAB16;LAB17:    t2 = ((char*)((ng14)));    t6 = xsi_vlog_signed_case_compare(t3, 32, t2, 32);    if (t6 == 1)        goto LAB18;LAB19:LAB21:LAB20:LAB30:    t2 = (t0 + 608);    t5 = *((char **)t2);    xsi_vlogfile_write(1, 0, 0, ng16, 2, t0, (char)119, t5, 32);    t2 = ((char*)((ng0)));    t5 = (t0 + 6152);    xsi_vlogvar_assign_value(t5, t2, 0, 0, 1);LAB22:    t2 = (t0 + 472);    t5 = *((char **)t2);//.........这里部分代码省略.........

//.........这里部分代码省略.........    t15 = (t8 | t14);    t16 = *((unsigned int *)t5);    t17 = *((unsigned int *)t12);    t18 = (t16 | t17);    t19 = (~(t18));    t20 = (t15 & t19);    if (t20 != 0)        goto LAB14;LAB11:    if (t18 != 0)        goto LAB13;LAB12:    *((unsigned int *)t13) = 1;LAB14:    t22 = (t13 + 4);    t23 = *((unsigned int *)t22);    t24 = (~(t23));    t25 = *((unsigned int *)t13);    t26 = (t25 & t24);    t27 = (t26 != 0);    if (t27 > 0)        goto LAB15;LAB16:    xsi_set_current_line(48, ng0);LAB29:    xsi_set_current_line(49, ng0);    t2 = (t0 + 2064);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng2)));    memset(t13, 0, 8);    xsi_vlog_unsigned_add(t13, 32, t4, 32, t5, 32);    t11 = (t0 + 2064);    xsi_vlogvar_assign_value(t11, t13, 0, 0, 32);LAB17:LAB8:    goto LAB2;LAB6:    xsi_set_current_line(33, ng0);LAB9:    xsi_set_current_line(34, ng0);    t11 = ((char*)((ng1)));    t12 = (t0 + 2064);    xsi_vlogvar_assign_value(t12, t11, 0, 0, 32);    xsi_set_current_line(35, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 2224);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 8);    goto LAB8;LAB13:    t21 = (t13 + 4);    *((unsigned int *)t13) = 1;    *((unsigned int *)t21) = 1;    goto LAB14;LAB15:    xsi_set_current_line(38, ng0);LAB18:    xsi_set_current_line(39, ng0);    t28 = ((char*)((ng1)));    t29 = (t0 + 2064);    xsi_vlogvar_assign_value(t29, t28, 0, 0, 32);    xsi_set_current_line(40, ng0);    t2 = (t0 + 2224);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t0 + 1504U);

//.........这里部分代码省略.........LAB3:    goto *t2;LAB2:    xsi_set_current_line(829, ng0);    t2 = (t0 + 3000);    *((int *)t2) = 1;    t3 = (t0 + 2712);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    xsi_set_current_line(830, ng0);LAB5:    xsi_set_current_line(831, ng0);    t5 = (t0 + 1368U);    t6 = *((char **)t5);    memset(t4, 0, 8);    t5 = (t6 + 4);    t7 = *((unsigned int *)t5);    t8 = (~(t7));    t9 = *((unsigned int *)t6);    t10 = (t9 & t8);    t11 = (t10 & 1U);    if (t11 != 0)        goto LAB9;LAB7:    if (*((unsigned int *)t5) == 0)        goto LAB6;LAB8:    t12 = (t4 + 4);    *((unsigned int *)t4) = 1;    *((unsigned int *)t12) = 1;LAB9:    t13 = (t4 + 4);    t14 = *((unsigned int *)t13);    t15 = (~(t14));    t16 = *((unsigned int *)t4);    t17 = (t16 & t15);    t18 = (t17 != 0);    if (t18 > 0)        goto LAB10;LAB11:    xsi_set_current_line(832, ng0);    t2 = (t0 + 1048U);    t3 = *((char **)t2);    memset(t4, 0, 8);    t2 = (t3 + 4);    t7 = *((unsigned int *)t2);    t8 = (~(t7));    t9 = *((unsigned int *)t3);    t10 = (t9 & t8);    t11 = (t10 & 1U);    if (t11 != 0)        goto LAB16;LAB14:    if (*((unsigned int *)t2) == 0)        goto LAB13;LAB15:    t5 = (t4 + 4);    *((unsigned int *)t4) = 1;    *((unsigned int *)t5) = 1;LAB16:    t6 = (t4 + 4);    t14 = *((unsigned int *)t6);    t15 = (~(t14));    t16 = *((unsigned int *)t4);    t17 = (t16 & t15);    t18 = (t17 != 0);    if (t18 > 0)        goto LAB17;LAB18:    xsi_set_current_line(833, ng0);    t2 = (t0 + 1768);    t3 = (t2 + 56U);    t5 = *((char **)t3);    t6 = (t0 + 1768);    xsi_vlogvar_assign_value(t6, t5, 0, 0, 1);LAB19:LAB12:    goto LAB2;LAB6:    *((unsigned int *)t4) = 1;    goto LAB9;LAB10:    xsi_set_current_line(831, ng0);    t19 = ((char*)((ng1)));    t20 = (t0 + 1768);    xsi_vlogvar_assign_value(t20, t19, 0, 0, 1);    goto LAB12;LAB13:    *((unsigned int *)t4) = 1;    goto LAB16;LAB17:    xsi_set_current_line(832, ng0);    t12 = (t0 + 1208U);    t13 = *((char **)t12);    t12 = (t0 + 1768);    xsi_vlogvar_assign_value(t12, t13, 0, 0, 1);    goto LAB19;}

//.........这里部分代码省略.........    t53 = (t48 & t52);    if (t53 != 0)        goto LAB18;LAB17:    if (t51 != 0)        goto LAB19;LAB20:    t55 = (t41 + 4);    t56 = *((unsigned int *)t55);    t57 = (~(t56));    t58 = *((unsigned int *)t41);    t59 = (t58 & t57);    t60 = (t59 != 0);    if (t60 > 0)        goto LAB21;LAB22:LAB23:    goto LAB2;LAB7:    *((unsigned int *)t9) = 1;    goto LAB9;LAB8:    t23 = (t9 + 4);    *((unsigned int *)t9) = 1;    *((unsigned int *)t23) = 1;    goto LAB9;LAB10:    xsi_set_current_line(34, ng0);LAB13:    xsi_set_current_line(35, ng0);    t30 = (t0 + 1208U);    t31 = *((char **)t30);    t30 = (t0 + 1928);    xsi_vlogvar_assign_value(t30, t31, 0, 0, 1);    xsi_set_current_line(36, ng0);    t2 = (t0 + 1208U);    t3 = *((char **)t2);    t2 = (t0 + 1768);    xsi_vlogvar_assign_value(t2, t3, 0, 0, 32);    xsi_set_current_line(37, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1608);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 32);    goto LAB12;LAB14:    t19 = *((unsigned int *)t9);    t20 = *((unsigned int *)t8);    *((unsigned int *)t9) = (t19 | t20);    t10 = (t4 + 4);    t23 = (t5 + 4);    t21 = *((unsigned int *)t4);    t22 = (~(t21));    t25 = *((unsigned int *)t10);    t26 = (~(t25));    t27 = *((unsigned int *)t5);    t28 = (~(t27));    t29 = *((unsigned int *)t23);    t32 = (~(t29));    t33 = (t22 & t26);    t34 = (t28 & t32);    t35 = (~(t33));    t36 = (~(t34));    t37 = *((unsigned int *)t8);    *((unsigned int *)t8) = (t37 & t35);    t38 = *((unsigned int *)t8);    *((unsigned int *)t8) = (t38 & t36);

static void I19_0(char *t0){    char *t1;    char *t2;    char *t3;LAB0:    t1 = (t0 + 1536U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(19, ng0);LAB4:    xsi_set_current_line(21, ng0);    xsi_vlogfile_write(1, 0, ng1, 1, t0);    xsi_set_current_line(23, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 876);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(24, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 968);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(25, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 1060);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(27, ng0);    t2 = (t0 + 1452);    xsi_process_wait(t2, 20000000LL);    *((char **)t1) = &&LAB5;LAB1:    return;LAB5:    xsi_set_current_line(27, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 968);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(29, ng0);    t2 = (t0 + 1452);    xsi_process_wait(t2, 100000000LL);    *((char **)t1) = &&LAB6;    goto LAB1;LAB6:    xsi_set_current_line(31, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1060);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(33, ng0);    t2 = (t0 + 1452);    xsi_process_wait(t2, 18000000LL);    *((char **)t1) = &&LAB7;    goto LAB1;LAB7:    xsi_set_current_line(33, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 1060);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(34, ng0);    t2 = (t0 + 1452);    xsi_process_wait(t2, 18000000LL);    *((char **)t1) = &&LAB8;    goto LAB1;LAB8:    xsi_set_current_line(34, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1060);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(35, ng0);    t2 = (t0 + 1452);    xsi_process_wait(t2, 18000000LL);    *((char **)t1) = &&LAB9;    goto LAB1;LAB9:    xsi_set_current_line(35, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 1060);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(36, ng0);    t2 = (t0 + 1452);    xsi_process_wait(t2, 18000000LL);    *((char **)t1) = &&LAB10;    goto LAB1;LAB10:    xsi_set_current_line(36, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1060);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(37, ng0);    t2 = (t0 + 1452);    xsi_process_wait(t2, 18000000LL);    *((char **)t1) = &&LAB11;    goto LAB1;LAB11:    xsi_set_current_line(37, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 1060);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(38, ng0);//.........这里部分代码省略.........

static void Always_32_0(char *t0){    char t13[8];    char t20[8];    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    unsigned int t6;    unsigned int t7;    unsigned int t8;    unsigned int t9;    unsigned int t10;    char *t11;    char *t12;    char *t14;    char *t15;    char *t16;    char *t17;    char *t18;    char *t19;    char *t21;LAB0:    t1 = (t0 + 1812U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(32, ng0);    t2 = (t0 + 2008);    *((int *)t2) = 1;    t3 = (t0 + 1840);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    xsi_set_current_line(33, ng0);LAB5:    xsi_set_current_line(34, ng0);    t4 = (t0 + 692U);    t5 = *((char **)t4);    t4 = (t5 + 4);    t6 = *((unsigned int *)t4);    t7 = (~(t6));    t8 = *((unsigned int *)t5);    t9 = (t8 & t7);    t10 = (t9 != 0);    if (t10 > 0)        goto LAB6;LAB7:LAB8:    xsi_set_current_line(39, ng0);    t2 = (t0 + 1196);    t3 = (t2 + 36U);    t4 = *((char **)t3);    t5 = (t0 + 1012);    xsi_vlogvar_assign_value(t5, t4, 0, 0, 8);    xsi_set_current_line(40, ng0);    t2 = (t0 + 784U);    t3 = *((char **)t2);    t2 = (t3 + 4);    t6 = *((unsigned int *)t2);    t7 = (~(t6));    t8 = *((unsigned int *)t3);    t9 = (t8 & t7);    t10 = (t9 != 0);    if (t10 > 0)        goto LAB10;LAB11:    xsi_set_current_line(45, ng0);LAB14:    xsi_set_current_line(46, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1104);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);LAB12:    xsi_set_current_line(48, ng0);    t2 = (t0 + 1196);    t3 = (t2 + 36U);    t4 = *((char **)t3);    t5 = ((char*)((ng3)));    memset(t13, 0, 8);    t11 = (t4 + 4);    if (*((unsigned int *)t11) != 0)        goto LAB16;LAB15:    t12 = (t5 + 4);    if (*((unsigned int *)t12) != 0)        goto LAB16;LAB19:    if (*((unsigned int *)t4) < *((unsigned int *)t5))        goto LAB17;LAB18:    t15 = (t13 + 4);    t6 = *((unsigned int *)t15);    t7 = (~(t6));    t8 = *((unsigned int *)t13);//.........这里部分代码省略.........

static void Always_35_0(char *t0){    char t8[8];    char t10[8];    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    int t6;    char *t7;    char *t9;    char *t11;    unsigned int t12;    unsigned int t13;    unsigned int t14;    unsigned int t15;    unsigned int t16;    unsigned int t17;    unsigned int t18;    unsigned int t19;    unsigned int t20;    unsigned int t21;    char *t22;    char *t23;    unsigned int t24;    unsigned int t25;    unsigned int t26;    unsigned int t27;    unsigned int t28;    unsigned int t29;    unsigned int t30;    unsigned int t31;    int t32;    int t33;    unsigned int t34;    unsigned int t35;    unsigned int t36;    unsigned int t37;    unsigned int t38;    unsigned int t39;    char *t40;    char *t41;LAB0:    t1 = (t0 + 3160U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(35, ng0);    t2 = (t0 + 3480);    *((int *)t2) = 1;    t3 = (t0 + 3192);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    xsi_set_current_line(35, ng0);LAB5:    xsi_set_current_line(38, ng0);    t4 = ((char*)((ng1)));    t5 = (t0 + 2088);    xsi_vlogvar_assign_value(t5, t4, 0, 0, 1);    xsi_set_current_line(41, ng0);    t2 = (t0 + 1528U);    t3 = *((char **)t2);LAB6:    t2 = ((char*)((ng2)));    t6 = xsi_vlog_unsigned_case_compare(t3, 3, t2, 3);    if (t6 == 1)        goto LAB7;LAB8:    t2 = ((char*)((ng3)));    t6 = xsi_vlog_unsigned_case_compare(t3, 3, t2, 3);    if (t6 == 1)        goto LAB9;LAB10:    t2 = ((char*)((ng4)));    t6 = xsi_vlog_unsigned_case_compare(t3, 3, t2, 3);    if (t6 == 1)        goto LAB11;LAB12:    t2 = ((char*)((ng6)));    t6 = xsi_vlog_unsigned_case_compare(t3, 3, t2, 3);    if (t6 == 1)        goto LAB13;LAB14:    t2 = ((char*)((ng7)));    t6 = xsi_vlog_unsigned_case_compare(t3, 3, t2, 3);    if (t6 == 1)        goto LAB15;LAB16:    t2 = ((char*)((ng8)));    t6 = xsi_vlog_unsigned_case_compare(t3, 3, t2, 3);    if (t6 == 1)        goto LAB17;LAB18:    t2 = ((char*)((ng9)));//.........这里部分代码省略.........

static void Initial_43_0(char *t0){    char *t1;    char *t2;    char *t3;LAB0:    t1 = (t0 + 2688U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(43, ng0);LAB4:    xsi_set_current_line(45, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1768);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 12);    xsi_set_current_line(48, ng0);    t2 = (t0 + 2496);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB5;LAB1:    return;LAB5:    xsi_set_current_line(49, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1768);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 12);    xsi_set_current_line(50, ng0);    t2 = (t0 + 2496);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB6;    goto LAB1;LAB6:    xsi_set_current_line(51, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 1768);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 12);    xsi_set_current_line(52, ng0);    t2 = (t0 + 2496);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB7;    goto LAB1;LAB7:    xsi_set_current_line(53, ng0);    t2 = ((char*)((ng4)));    t3 = (t0 + 1768);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 12);    xsi_set_current_line(54, ng0);    t2 = (t0 + 2496);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB8;    goto LAB1;LAB8:    xsi_set_current_line(55, ng0);    t2 = ((char*)((ng5)));    t3 = (t0 + 1768);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 12);    xsi_set_current_line(56, ng0);    t2 = (t0 + 2496);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB9;    goto LAB1;LAB9:    xsi_set_current_line(57, ng0);    t2 = ((char*)((ng6)));    t3 = (t0 + 1768);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 12);    xsi_set_current_line(58, ng0);    t2 = (t0 + 2496);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB10;    goto LAB1;LAB10:    xsi_set_current_line(59, ng0);    t2 = ((char*)((ng7)));    t3 = (t0 + 1768);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 12);    xsi_set_current_line(60, ng0);    t2 = (t0 + 2496);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB11;    goto LAB1;LAB11:    xsi_set_current_line(61, ng0);    t2 = ((char*)((ng8)));    t3 = (t0 + 1768);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 12);    goto LAB1;}

static int sp_divroundup(char *t1, char *t2){    char t9[8];    char t11[8];    char t22[8];    int t0;    char *t3;    char *t4;    char *t5;    char *t6;    char *t7;    char *t8;    char *t10;    char *t12;    unsigned int t13;    unsigned int t14;    unsigned int t15;    unsigned int t16;    unsigned int t17;    char *t18;    char *t19;    char *t20;    char *t21;    char *t23;LAB0:    t0 = 1;LAB2:    t3 = (t1 + 25112);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = (t1 + 25272);    t7 = (t6 + 56U);    t8 = *((char **)t7);    memset(t9, 0, 8);    xsi_vlog_signed_divide(t9, 32, t5, 32, t8, 32);    t10 = (t1 + 25592);    xsi_vlogvar_assign_value(t10, t9, 0, 0, 32);    t3 = (t1 + 25112);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = (t1 + 25272);    t7 = (t6 + 56U);    t8 = *((char **)t7);    memset(t9, 0, 8);    xsi_vlog_signed_mod(t9, 32, t5, 32, t8, 32);    t10 = ((char*)((ng0)));    memset(t11, 0, 8);    xsi_vlog_signed_not_equal(t11, 32, t9, 32, t10, 32);    t12 = (t11 + 4);    t13 = *((unsigned int *)t12);    t14 = (~(t13));    t15 = *((unsigned int *)t11);    t16 = (t15 & t14);    t17 = (t16 != 0);    if (t17 > 0)        goto LAB3;LAB4:LAB5:    t3 = (t1 + 25592);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = (t1 + 25432);    xsi_vlogvar_assign_value(t6, t5, 0, 0, 32);    t0 = 0;LAB1:    return t0;LAB3:LAB6:    t18 = (t1 + 25592);    t19 = (t18 + 56U);    t20 = *((char **)t19);    t21 = ((char*)((ng1)));    memset(t22, 0, 8);    xsi_vlog_signed_add(t22, 32, t20, 32, t21, 32);    t23 = (t1 + 25592);    xsi_vlogvar_assign_value(t23, t22, 0, 0, 32);    goto LAB5;}

static void Initial_55_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;LAB0:    t1 = (t0 + 2088U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(55, ng0);LAB4:    xsi_set_current_line(57, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1104);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(58, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1196);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(59, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1288);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 2);    xsi_set_current_line(60, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1380);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(61, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1472);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(62, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1564);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(63, ng0);    t2 = (t0 + 1988);    xsi_process_wait(t2, 2000LL);    *((char **)t1) = &&LAB5;LAB1:    return;LAB5:    xsi_set_current_line(65, ng0);    t3 = ((char*)((ng2)));    t4 = (t0 + 1196);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);    xsi_set_current_line(66, ng0);    t2 = (t0 + 1988);    xsi_process_wait(t2, 2000LL);    *((char **)t1) = &&LAB6;    goto LAB1;LAB6:    xsi_set_current_line(67, ng0);    t3 = ((char*)((ng1)));    t4 = (t0 + 1196);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);    xsi_set_current_line(68, ng0);    t2 = (t0 + 1988);    xsi_process_wait(t2, 200000LL);    *((char **)t1) = &&LAB7;    goto LAB1;LAB7:    xsi_set_current_line(71, ng0);    t3 = ((char*)((ng2)));    t4 = (t0 + 1288);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 2);    xsi_set_current_line(72, ng0);    t2 = (t0 + 1988);    xsi_process_wait(t2, 1000LL);    *((char **)t1) = &&LAB8;    goto LAB1;LAB8:    xsi_set_current_line(73, ng0);    t3 = ((char*)((ng2)));    t4 = (t0 + 1380);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);    xsi_set_current_line(74, ng0);    t2 = (t0 + 1988);    xsi_process_wait(t2, 1000LL);    *((char **)t1) = &&LAB9;    goto LAB1;LAB9:    xsi_set_current_line(75, ng0);    t3 = ((char*)((ng2)));    t4 = (t0 + 1472);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);    xsi_set_current_line(76, ng0);    t2 = (t0 + 1988);    xsi_process_wait(t2, 2000LL);    *((char **)t1) = &&LAB10;    goto LAB1;LAB10:    xsi_set_current_line(77, ng0);    t3 = ((char*)((ng1)));    t4 = (t0 + 1472);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);//.........这里部分代码省略.........

static void Initial_45_0(char *t0){    char *t1;    char *t2;    char *t3;LAB0:    t1 = (t0 + 1628U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(45, ng0);LAB4:    xsi_set_current_line(47, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 920);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(48, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1012);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(49, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1104);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(52, ng0);    t2 = (t0 + 1528);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB5;LAB1:    return;LAB5:    xsi_set_current_line(55, ng0);    t2 = (t0 + 1528);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB6;    goto LAB1;LAB6:    xsi_set_current_line(56, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1104);    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);    xsi_set_current_line(59, ng0);    t2 = (t0 + 1528);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB7;    goto LAB1;LAB7:    xsi_set_current_line(60, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 920);    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);    xsi_set_current_line(61, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1104);    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);    xsi_set_current_line(63, ng0);    t2 = (t0 + 1528);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB8;    goto LAB1;LAB8:    xsi_set_current_line(64, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1012);    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);    xsi_set_current_line(66, ng0);    t2 = (t0 + 1528);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB9;    goto LAB1;LAB9:    xsi_set_current_line(67, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1104);    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);    xsi_set_current_line(69, ng0);    t2 = (t0 + 1528);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB10;    goto LAB1;LAB10:    xsi_set_current_line(70, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1104);    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);    xsi_set_current_line(72, ng0);    t2 = (t0 + 1528);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB11;    goto LAB1;LAB11:    xsi_set_current_line(73, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1104);    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);    xsi_set_current_line(75, ng0);    t2 = (t0 + 1528);    xsi_process_wait(t2, 100000LL);//.........这里部分代码省略.........

static void Always_135_1(char *t0){    char t3[8];    char *t1;    char *t2;    char *t4;    char *t5;    char *t6;    char *t7;    unsigned int t8;    unsigned int t9;    unsigned int t10;    unsigned int t11;    unsigned int t12;    char *t13;    char *t14;    char *t15;    unsigned int t16;    unsigned int t17;    unsigned int t18;    unsigned int t19;    unsigned int t20;    unsigned int t21;    unsigned int t22;    unsigned int t23;    char *t24;LAB0:    t1 = (t0 + 2232U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(135, ng0);    t2 = (t0 + 2132);    xsi_process_wait(t2, 2000LL);    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    xsi_set_current_line(135, ng0);    t4 = (t0 + 1104);    t5 = (t4 + 36U);    t6 = *((char **)t5);    memset(t3, 0, 8);    t7 = (t6 + 4);    t8 = *((unsigned int *)t7);    t9 = (~(t8));    t10 = *((unsigned int *)t6);    t11 = (t10 & t9);    t12 = (t11 & 1U);    if (t12 != 0)        goto LAB8;LAB6:    if (*((unsigned int *)t7) == 0)        goto LAB5;LAB7:    t13 = (t3 + 4);    *((unsigned int *)t3) = 1;    *((unsigned int *)t13) = 1;LAB8:    t14 = (t3 + 4);    t15 = (t6 + 4);    t16 = *((unsigned int *)t6);    t17 = (~(t16));    *((unsigned int *)t3) = t17;    *((unsigned int *)t14) = 0;    if (*((unsigned int *)t15) != 0)        goto LAB10;LAB9:    t22 = *((unsigned int *)t3);    *((unsigned int *)t3) = (t22 & 1U);    t23 = *((unsigned int *)t14);    *((unsigned int *)t14) = (t23 & 1U);    t24 = (t0 + 1104);    xsi_vlogvar_assign_value(t24, t3, 0, 0, 1);    goto LAB2;LAB5:    *((unsigned int *)t3) = 1;    goto LAB8;LAB10:    t18 = *((unsigned int *)t3);    t19 = *((unsigned int *)t15);    *((unsigned int *)t3) = (t18 | t19);    t20 = *((unsigned int *)t14);    t21 = *((unsigned int *)t15);    *((unsigned int *)t14) = (t20 | t21);    goto LAB9;}

static void Initial_98_2(char *t0){    char t6[8];    char t16[8];    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t7;    unsigned int t8;    unsigned int t9;    unsigned int t10;    unsigned int t11;    unsigned int t12;    char *t13;    char *t14;    char *t15;    char *t17;    char *t18;    char *t19;    char *t20;    char *t21;    char *t22;    char *t23;LAB0:    t1 = (t0 + 7040U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(98, ng0);LAB4:    xsi_set_current_line(100, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 4024);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(100, ng0);    t2 = (t0 + 6848);    xsi_process_wait(t2, 1000000000LL);    *((char **)t1) = &&LAB5;LAB1:    return;LAB5:    xsi_set_current_line(101, ng0);    t2 = ((char*)((ng4)));    t3 = (t0 + 4024);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(103, ng0);LAB6:    xsi_set_current_line(103, ng0);LAB7:    xsi_set_current_line(104, ng0);    t2 = ((char*)((ng4)));    t3 = (t0 + 4664);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(105, ng0);    t2 = (t0 + 6848);    xsi_process_wait(t2, 12000000LL);    *((char **)t1) = &&LAB8;    goto LAB1;LAB8:    xsi_set_current_line(106, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 4664);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(109, ng0);    xsi_set_current_line(109, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 5144);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 32);LAB9:    t2 = (t0 + 5144);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng5)));    memset(t6, 0, 8);    xsi_vlog_signed_less(t6, 32, t4, 32, t5, 32);    t7 = (t6 + 4);    t8 = *((unsigned int *)t7);    t9 = (~(t8));    t10 = *((unsigned int *)t6);    t11 = (t10 & t9);    t12 = (t11 != 0);    if (t12 > 0)        goto LAB10;LAB11:    xsi_set_current_line(115, ng0);    t2 = ((char*)((ng4)));    t3 = (t0 + 4184);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(116, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 4504);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(119, ng0);    t2 = (t0 + 6848);    xsi_process_wait(t2, 16666463000LL);    *((char **)t1) = &&LAB15;//.........这里部分代码省略.........

static void Always_27_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    int t6;    char *t7;    char *t8;LAB0:    t1 = (t0 + 1536U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(27, ng0);    t2 = (t0 + 1876);    *((int *)t2) = 1;    t3 = (t0 + 1564);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    xsi_set_current_line(28, ng0);LAB5:    xsi_set_current_line(29, ng0);    t4 = (t0 + 600U);    t5 = *((char **)t4);LAB6:    t4 = ((char*)((ng1)));    t6 = xsi_vlog_unsigned_case_compare(t5, 2, t4, 2);    if (t6 == 1)        goto LAB7;LAB8:    t2 = ((char*)((ng3)));    t6 = xsi_vlog_unsigned_case_compare(t5, 2, t2, 2);    if (t6 == 1)        goto LAB9;LAB10:    t2 = ((char*)((ng5)));    t6 = xsi_vlog_unsigned_case_compare(t5, 2, t2, 2);    if (t6 == 1)        goto LAB11;LAB12:LAB14:LAB13:    xsi_set_current_line(33, ng0);    t2 = (t0 + 784U);    t3 = *((char **)t2);    t2 = (t0 + 1012);    xsi_vlogvar_assign_value(t2, t3, 0, 0, 4);LAB15:    goto LAB2;LAB7:    xsi_set_current_line(30, ng0);    t7 = ((char*)((ng2)));    t8 = (t0 + 1012);    xsi_vlogvar_assign_value(t8, t7, 0, 0, 4);    goto LAB15;LAB9:    xsi_set_current_line(31, ng0);    t3 = ((char*)((ng4)));    t4 = (t0 + 1012);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 4);    goto LAB15;LAB11:    xsi_set_current_line(32, ng0);    t3 = ((char*)((ng6)));    t4 = (t0 + 1012);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 4);    goto LAB15;}

static void Always_29_0(char *t0){    char t8[8];    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    char *t7;    char *t9;    char *t10;    unsigned int t11;    unsigned int t12;    unsigned int t13;    unsigned int t14;    unsigned int t15;    unsigned int t16;    unsigned int t17;    unsigned int t18;    unsigned int t19;    unsigned int t20;    unsigned int t21;    unsigned int t22;    char *t23;    char *t24;    unsigned int t25;    unsigned int t26;    unsigned int t27;    unsigned int t28;    unsigned int t29;    char *t30;    char *t31;LAB0:    t1 = (t0 + 2984U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(29, ng0);    t2 = (t0 + 3304);    *((int *)t2) = 1;    t3 = (t0 + 3016);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    xsi_set_current_line(30, ng0);LAB5:    t4 = (t0 + 280);    xsi_vlog_namedbase_setdisablestate(t4, &&LAB6);    t5 = (t0 + 2792);    xsi_vlog_namedbase_pushprocess(t4, t5);LAB7:    xsi_set_current_line(31, ng0);    t6 = (t0 + 1664U);    t7 = *((char **)t6);    t6 = ((char*)((ng1)));    memset(t8, 0, 8);    t9 = (t7 + 4);    t10 = (t6 + 4);    t11 = *((unsigned int *)t7);    t12 = *((unsigned int *)t6);    t13 = (t11 ^ t12);    t14 = *((unsigned int *)t9);    t15 = *((unsigned int *)t10);    t16 = (t14 ^ t15);    t17 = (t13 | t16);    t18 = *((unsigned int *)t9);    t19 = *((unsigned int *)t10);    t20 = (t18 | t19);    t21 = (~(t20));    t22 = (t17 & t21);    if (t22 != 0)        goto LAB11;LAB8:    if (t20 != 0)        goto LAB10;LAB9:    *((unsigned int *)t8) = 1;LAB11:    t24 = (t8 + 4);    t25 = *((unsigned int *)t24);    t26 = (~(t25));    t27 = *((unsigned int *)t8);    t28 = (t27 & t26);    t29 = (t28 != 0);    if (t29 > 0)        goto LAB12;LAB13:    xsi_set_current_line(34, ng0);    t2 = (t0 + 1504U);    t3 = *((char **)t2);    t2 = (t0 + 2064);    xsi_vlogvar_assign_value(t2, t3, 0, 0, 32);LAB14:    t2 = (t0 + 280);    xsi_vlog_namedbase_popprocess(t2);//.........这里部分代码省略.........

//.........这里部分代码省略.........    t19 = (~(t18));    t20 = (t15 & t19);    if (t20 != 0)        goto LAB9;LAB6:    if (t18 != 0)        goto LAB8;LAB7:    *((unsigned int *)t6) = 1;LAB9:    t22 = (t6 + 4);    t23 = *((unsigned int *)t22);    t24 = (~(t23));    t25 = *((unsigned int *)t6);    t26 = (t25 & t24);    t27 = (t26 != 0);    if (t27 > 0)        goto LAB10;LAB11:    xsi_set_current_line(40, ng0);LAB14:    xsi_set_current_line(41, ng0);    t2 = (t0 + 1048U);    t3 = *((char **)t2);    t2 = (t0 + 1208U);    t4 = *((char **)t2);    memset(t6, 0, 8);    xsi_vlog_unsigned_minus(t6, 5, t3, 4, t4, 4);    t2 = (t0 + 1368U);    t5 = *((char **)t2);    memset(t31, 0, 8);    xsi_vlog_unsigned_minus(t31, 5, t6, 5, t5, 1);    t2 = (t0 + 2408);    xsi_vlogvar_assign_value(t2, t31, 0, 0, 4);    t7 = (t0 + 1928);    xsi_vlogvar_assign_value(t7, t31, 4, 0, 1);    xsi_set_current_line(42, ng0);    t2 = (t0 + 1928);    t3 = (t2 + 56U);    t4 = *((char **)t3);    memset(t6, 0, 8);    t5 = (t4 + 4);    t9 = *((unsigned int *)t5);    t10 = (~(t9));    t11 = *((unsigned int *)t4);    t12 = (t11 & t10);    t13 = (t12 & 1U);    if (t13 != 0)        goto LAB18;LAB16:    if (*((unsigned int *)t5) == 0)        goto LAB15;LAB17:    t7 = (t6 + 4);    *((unsigned int *)t6) = 1;    *((unsigned int *)t7) = 1;LAB18:    t8 = (t6 + 4);    t21 = (t4 + 4);    t14 = *((unsigned int *)t4);    t15 = (~(t14));    *((unsigned int *)t6) = t15;    *((unsigned int *)t8) = 0;    if (*((unsigned int *)t21) != 0)        goto LAB20;

//.........这里部分代码省略.........        goto LAB49;LAB50:    memcpy(t13, t114, 8);LAB51:    t121 = (t0 + 2728);    t125 = (t0 + 2728);    t126 = (t125 + 72U);    t127 = *((char **)t126);    t128 = (t0 + 2728);    t129 = (t128 + 64U);    t130 = *((char **)t129);    t131 = (t0 + 1848U);    t132 = *((char **)t131);    xsi_vlog_generic_convert_array_indices(t123, t124, t127, t130, 2, 1, t132, 4, 2);    t131 = (t123 + 4);    t133 = *((unsigned int *)t131);    t32 = (!(t133));    t134 = (t124 + 4);    t135 = *((unsigned int *)t134);    t35 = (!(t135));    t36 = (t32 && t35);    if (t36 == 1)        goto LAB52;LAB53:LAB8:    goto LAB2;LAB6:    xsi_set_current_line(39, ng0);LAB9:    xsi_set_current_line(40, ng0);    xsi_set_current_line(40, ng0);    t11 = ((char*)((ng1)));    t12 = (t0 + 2888);    xsi_vlogvar_assign_value(t12, t11, 0, 0, 32);LAB10:    t2 = (t0 + 2888);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng2)));    memset(t13, 0, 8);    xsi_vlog_signed_less(t13, 32, t4, 32, t5, 32);    t11 = (t13 + 4);    t6 = *((unsigned int *)t11);    t7 = (~(t6));    t8 = *((unsigned int *)t13);    t9 = (t8 & t7);    t10 = (t9 != 0);    if (t10 > 0)        goto LAB11;LAB12:    xsi_set_current_line(42, ng0);    t2 = ((char*)((ng4)));    t3 = (t0 + 2728);    t4 = (t0 + 2728);    t5 = (t4 + 72U);    t11 = *((char **)t5);    t12 = (t0 + 2728);    t14 = (t12 + 64U);    t17 = *((char **)t14);    t18 = ((char*)((ng3)));    xsi_vlog_generic_convert_array_indices(t13, t15, t11, t17, 2, 1, t18, 32, 1);    t19 = (t13 + 4);    t6 = *((unsigned int *)t19);    t28 = (!(t6));    t20 = (t15 + 4);    t7 = *((unsigned int *)t20);

//.........这里部分代码省略.........    if (t6 == 1)        goto LAB9;LAB10:    t2 = ((char*)((ng3)));    t6 = xsi_vlog_unsigned_case_compare(t5, 5, t2, 32);    if (t6 == 1)        goto LAB11;LAB12:    t2 = ((char*)((ng4)));    t6 = xsi_vlog_unsigned_case_compare(t5, 5, t2, 32);    if (t6 == 1)        goto LAB13;LAB14:    t2 = ((char*)((ng5)));    t6 = xsi_vlog_unsigned_case_compare(t5, 5, t2, 32);    if (t6 == 1)        goto LAB15;LAB16:    t2 = ((char*)((ng6)));    t6 = xsi_vlog_unsigned_case_compare(t5, 5, t2, 32);    if (t6 == 1)        goto LAB17;LAB18:    t2 = ((char*)((ng7)));    t6 = xsi_vlog_unsigned_case_compare(t5, 5, t2, 32);    if (t6 == 1)        goto LAB19;LAB20:LAB22:LAB21:    xsi_set_current_line(25, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1928);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 32);LAB23:    goto LAB2;LAB7:    xsi_set_current_line(17, ng0);    t7 = (t0 + 1208U);    t8 = *((char **)t7);    t7 = (t0 + 1368U);    t9 = *((char **)t7);    t11 = *((unsigned int *)t8);    t12 = *((unsigned int *)t9);    t13 = (t11 & t12);    *((unsigned int *)t10) = t13;    t7 = (t8 + 4);    t14 = (t9 + 4);    t15 = (t10 + 4);    t16 = *((unsigned int *)t7);    t17 = *((unsigned int *)t14);    t18 = (t16 | t17);    *((unsigned int *)t15) = t18;    t19 = *((unsigned int *)t15);    t20 = (t19 != 0);    if (t20 == 1)        goto LAB24;LAB25:LAB26:    t41 = (t0 + 1928);    xsi_vlogvar_assign_value(t41, t10, 0, 0, 32);    goto LAB23;LAB9:    xsi_set_current_line(18, ng0);    t3 = (t0 + 1208U);    t4 = *((char **)t3);

static void Initial_9_1(char *t0){    char t5[8];    char t14[8];    char t15[8];    char *t1;    char *t2;    char *t3;    char *t4;    char *t6;    unsigned int t7;    unsigned int t8;    unsigned int t9;    unsigned int t10;    unsigned int t11;    char *t12;    char *t13;    char *t16;    char *t17;    char *t18;    char *t19;    char *t20;    char *t21;    char *t22;    char *t23;    char *t24;    char *t25;    unsigned int t26;    int t27;    char *t28;    unsigned int t29;    int t30;    int t31;    unsigned int t32;    unsigned int t33;    int t34;    int t35;LAB0:    xsi_set_current_line(9, ng0);LAB2:    xsi_set_current_line(10, ng0);    xsi_set_current_line(10, ng0);    t1 = ((char*)((ng1)));    t2 = (t0 + 1012);    xsi_vlogvar_assign_value(t2, t1, 0, 0, 32);LAB3:    t1 = (t0 + 1012);    t2 = (t1 + 36U);    t3 = *((char **)t2);    t4 = ((char*)((ng2)));    memset(t5, 0, 8);    xsi_vlog_signed_less(t5, 32, t3, 32, t4, 32);    t6 = (t5 + 4);    t7 = *((unsigned int *)t6);    t8 = (~(t7));    t9 = *((unsigned int *)t5);    t10 = (t9 & t8);    t11 = (t10 != 0);    if (t11 > 0)        goto LAB4;LAB5:    xsi_set_current_line(13, ng0);    t1 = (t0 + 920);    xsi_vlogfile_readmemh(ng4, 0, t1, 0, 0, 0, 0);LAB1:    return;LAB4:    xsi_set_current_line(10, ng0);LAB6:    xsi_set_current_line(11, ng0);    t12 = ((char*)((ng1)));    t13 = (t0 + 920);    t16 = (t0 + 920);    t17 = (t16 + 44U);    t18 = *((char **)t17);    t19 = (t0 + 920);    t20 = (t19 + 40U);    t21 = *((char **)t20);    t22 = (t0 + 1012);    t23 = (t22 + 36U);    t24 = *((char **)t23);    xsi_vlog_generic_convert_array_indices(t14, t15, t18, t21, 2, 1, t24, 32, 1);    t25 = (t14 + 4);    t26 = *((unsigned int *)t25);    t27 = (!(t26));    t28 = (t15 + 4);    t29 = *((unsigned int *)t28);    t30 = (!(t29));    t31 = (t27 && t30);    if (t31 == 1)        goto LAB7;LAB8:    xsi_set_current_line(10, ng0);    t1 = (t0 + 1012);    t2 = (t1 + 36U);    t3 = *((char **)t2);    t4 = ((char*)((ng3)));    memset(t5, 0, 8);    xsi_vlog_signed_add(t5, 32, t3, 32, t4, 32);    t6 = (t0 + 1012);    xsi_vlogvar_assign_value(t6, t5, 0, 0, 32);//.........这里部分代码省略.........

static void Initial_39_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;LAB0:    t1 = (t0 + 2360U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(39, ng0);LAB4:    xsi_set_current_line(41, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1448);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);    xsi_set_current_line(44, ng0);    t2 = (t0 + 2168);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB5;LAB1:    return;LAB5:    xsi_set_current_line(46, ng0);    t2 = (t0 + 2168);    xsi_process_wait(t2, 10000LL);    *((char **)t1) = &&LAB6;    goto LAB1;LAB6:    xsi_set_current_line(46, ng0);    t3 = ((char*)((ng2)));    t4 = (t0 + 1448);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 4);    xsi_set_current_line(47, ng0);    t2 = (t0 + 2168);    xsi_process_wait(t2, 10000LL);    *((char **)t1) = &&LAB7;    goto LAB1;LAB7:    xsi_set_current_line(47, ng0);    t3 = ((char*)((ng3)));    t4 = (t0 + 1448);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 4);    xsi_set_current_line(48, ng0);    t2 = (t0 + 2168);    xsi_process_wait(t2, 10000LL);    *((char **)t1) = &&LAB8;    goto LAB1;LAB8:    xsi_set_current_line(48, ng0);    t3 = ((char*)((ng4)));    t4 = (t0 + 1448);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 4);    xsi_set_current_line(49, ng0);    t2 = (t0 + 2168);    xsi_process_wait(t2, 10000LL);    *((char **)t1) = &&LAB9;    goto LAB1;LAB9:    xsi_set_current_line(49, ng0);    t3 = ((char*)((ng5)));    t4 = (t0 + 1448);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 4);    xsi_set_current_line(50, ng0);    t2 = (t0 + 2168);    xsi_process_wait(t2, 10000LL);    *((char **)t1) = &&LAB10;    goto LAB1;LAB10:    xsi_set_current_line(50, ng0);    t3 = ((char*)((ng6)));    t4 = (t0 + 1448);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 4);    goto LAB1;}