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

static void Always_35_1(char *t0){    char t4[8];    char *t1;    char *t2;    char *t3;    char *t5;    char *t6;    char *t7;    char *t8;LAB0:    t1 = (t0 + 1840U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(35, ng0);    t2 = (t0 + 2036);    *((int *)t2) = 1;    t3 = (t0 + 1868);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    xsi_set_current_line(35, ng0);LAB5:    xsi_set_current_line(36, ng0);    *((int *)t4) = xsi_vlogfile_file_open_of_cname(ng1);    t5 = (t4 + 4);    *((int *)t5) = 0;    t6 = (t0 + 1080);    xsi_vlogvar_assign_value(t6, t4, 0, 0, 32);    xsi_set_current_line(39, ng0);    t2 = (t0 + 1080);    t3 = (t2 + 36U);    t5 = *((char **)t3);    xsi_vlogfile_write(0, 0, 0, ng2, 2, t0, (char)119, t5, 32);    t6 = ((char*)((ng4)));    t7 = (t0 + 852U);    t8 = *((char **)t7);    xsi_vlogfile_write(1, 0, 0, ng3, 3, t0, (char)118, t6, 80, (char)118, t8, 32);    xsi_set_current_line(40, ng0);    t2 = (t0 + 1080);    t3 = (t2 + 36U);    t5 = *((char **)t3);    xsi_vlogfile_fclose(*((unsigned int *)t5));    goto LAB2;}

static void Initial_61_1(char *t0){    char *t1;    char *t2;    int t3;    char *t4;    int t5;    char *t6;    int t7;    char *t8;    int t9;    char *t10;    char *t11;LAB0:LAB2:    t1 = (t0 + 744);    t2 = *((char **)t1);LAB3:    t1 = ((char*)((ng0)));    t3 = xsi_vlog_signed_case_compare(t2, 32, t1, 32);    if (t3 == 1)        goto LAB4;LAB5:    t4 = ((char*)((ng1)));    t5 = xsi_vlog_signed_case_compare(t2, 32, t4, 32);    if (t5 == 1)        goto LAB6;LAB7:    t6 = ((char*)((ng2)));    t7 = xsi_vlog_signed_case_compare(t2, 32, t6, 32);    if (t7 == 1)        goto LAB8;LAB9:    t8 = ((char*)((ng3)));    t9 = xsi_vlog_signed_case_compare(t2, 32, t8, 32);    if (t9 == 1)        goto LAB10;LAB11:LAB13:LAB12:LAB15:    t10 = (t0 + 744);    t11 = *((char **)t10);    xsi_vlogfile_write(1, 0, 0, ng4, 2, t0, (char)119, t11, 32);    xsi_vlog_finish(1);LAB14:LAB1:    return;LAB4:    goto LAB14;LAB6:    goto LAB4;LAB8:    goto LAB4;LAB10:    goto LAB4;}

static void Initial_39_3(char *t0){    char *t1;    char *t2;    int t3;    char *t4;    int t5;    char *t6;    int t7;    char *t8;    char *t9;LAB0:LAB2:    t1 = (t0 + 472);    t2 = *((char **)t1);LAB3:    t1 = ((char*)((ng0)));    t3 = xsi_vlog_unsigned_case_compare(t2, 72, t1, 72);    if (t3 == 1)        goto LAB4;LAB5:    t4 = ((char*)((ng1)));    t5 = xsi_vlog_unsigned_case_compare(t2, 72, t4, 72);    if (t5 == 1)        goto LAB6;LAB7:    t6 = ((char*)((ng2)));    t7 = xsi_vlog_unsigned_case_compare(t2, 72, t6, 72);    if (t7 == 1)        goto LAB8;LAB9:LAB11:LAB10:LAB13:    t8 = (t0 + 472);    t9 = *((char **)t8);    xsi_vlogfile_write(1, 0, 0, ng3, 2, t0, (char)118, t9, 72);    xsi_vlog_finish(1);LAB12:LAB1:    return;LAB4:    goto LAB12;LAB6:    goto LAB4;LAB8:    goto LAB4;}

static void Monitor_56_4_Func(char *t0){    char t20[16];    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    char *t7;    char *t8;    char *t9;    char *t10;    char *t11;    char *t12;    char *t13;    char *t14;    char *t15;    char *t16;    char *t17;    char *t18;    char *t19;    char *t21;LAB0:    t1 = (t0 + 1428U);    t2 = *((char **)t1);    t1 = (t0 + 1932);    t3 = (t1 + 36U);    t4 = *((char **)t3);    t5 = (t0 + 2024);    t6 = (t5 + 36U);    t7 = *((char **)t6);    t8 = (t0 + 600U);    t9 = *((char **)t8);    t8 = (t0 + 1244U);    t10 = *((char **)t8);    t8 = (t0 + 692U);    t11 = *((char **)t8);    t8 = (t0 + 1336U);    t12 = *((char **)t8);    t8 = (t0 + 784U);    t13 = *((char **)t8);    t8 = (t0 + 1060U);    t14 = *((char **)t8);    t8 = (t0 + 2116);    t15 = (t8 + 36U);    t16 = *((char **)t15);    t17 = (t0 + 2208);    t18 = (t17 + 36U);    t19 = *((char **)t18);    t21 = xsi_vlog_time(t20, 1000.0000000000000, 1000.0000000000000);    xsi_vlogfile_write(1, 0, 3, ng0, 13, t0, (char)118, t2, 7, (char)118, t4, 1, (char)118, t7, 1, (char)118, t9, 16, (char)118, t10, 17, (char)118, t11, 16, (char)118, t12, 16, (char)118, t13, 16, (char)118, t14, 16, (char)118, t16, 1, (char)118, t19, 1, (char)118, t20, 64);LAB1:    return;}

static void Monitor_64_2_Func(char *t0){    char *t1;    char *t2;    char *t3;LAB0:    t1 = (t0 + 2248);    t2 = (t1 + 56U);    t3 = *((char **)t2);    xsi_vlogfile_write(1, 0, 3, ng0, 2, t0, (char)118, t3, 1);LAB1:    return;}

static void Monitor_64_2_Func(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;LAB0:    t1 = (t0 + 1048U);    t2 = *((char **)t1);    t1 = (t0 + 2248);    t3 = (t1 + 56U);    t4 = *((char **)t3);    xsi_vlogfile_write(1, 0, 3, ng0, 3, t0, (char)118, t2, 1, (char)118, t4, 1);LAB1:    return;}

static void Monitor_60_2_Func(char *t0){    char t1[16];    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    char *t7;    char *t8;    char *t9;    char *t10;    char *t11;    char *t12;    char *t13;LAB0:    t2 = xsi_vlog_time(t1, 1000.0000000000000, 1.0000000000000000);    xsi_vlogfile_write(0, 0, 3, ng0, 2, t0, (char)118, t1, 64);    xsi_vlogfile_write(0, 0, 3, ng1, 1, t0);    t3 = (t0 + 1168);    t4 = (t3 + 36U);    t5 = *((char **)t4);    xsi_vlogfile_write(0, 0, 3, ng2, 2, t0, (char)118, t5, 1);    t6 = (t0 + 984);    t7 = (t6 + 36U);    t8 = *((char **)t7);    xsi_vlogfile_write(0, 0, 3, ng3, 2, t0, (char)118, t8, 4);    xsi_vlogfile_write(0, 0, 3, ng1, 1, t0);    t9 = (t0 + 1076);    t10 = (t9 + 36U);    t11 = *((char **)t10);    xsi_vlogfile_write(0, 0, 3, ng3, 2, t0, (char)118, t11, 4);    xsi_vlogfile_write(0, 0, 3, ng1, 1, t0);    t12 = (t0 + 756U);    t13 = *((char **)t12);    xsi_vlogfile_write(1, 0, 3, ng3, 2, t0, (char)118, t13, 4);LAB1:    return;}

static void Always_21_1(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;LAB0:    t1 = (t0 + 2140U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(21, ng0);    t2 = (t0 + 2336);    *((int *)t2) = 1;    t3 = (t0 + 2168);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    xsi_set_current_line(21, ng0);LAB5:    xsi_set_current_line(22, ng0);    t4 = (t0 + 1244U);    t5 = *((char **)t4);    t4 = (t0 + 1472);    xsi_vlogvar_assign_value(t4, t5, 0, 0, 2);    xsi_set_current_line(23, ng0);    t2 = (t0 + 1472);    t3 = (t2 + 36U);    t4 = *((char **)t3);    t5 = (t0 + 1244U);    t6 = *((char **)t5);    xsi_vlogfile_write(1, 0, 0, ng2, 3, t0, (char)118, t4, 2, (char)118, t6, 2);    goto LAB2;}

static void Initial_15_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    char *t7;LAB0:    t1 = (t0 + 2368U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(15, ng0);LAB4:    xsi_set_current_line(18, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1448);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 8);    xsi_set_current_line(19, ng0);    t2 = (t0 + 2176);    xsi_process_wait(t2, 1000000LL);    *((char **)t1) = &&LAB5;LAB1:    return;LAB5:    xsi_set_current_line(20, ng0);    t3 = (t0 + 1448);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = (t0 + 1048U);    t7 = *((char **)t6);    xsi_vlogfile_write(1, 0, 0, ng2, 3, t0, (char)118, t5, 8, (char)118, t7, 8);    goto LAB1;}

static void Initial_56_1(char *t0){    char t3[8];    char *t1;    char *t2;    char *t4;    char *t5;LAB0:    t1 = (t0 + 2020U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(56, ng4);LAB4:    xsi_set_current_line(57, ng4);    t2 = (t0 + 1920);    xsi_process_wait(t2, 0LL);    *((char **)t1) = &&LAB5;LAB1:    return;LAB5:    xsi_set_current_line(58, ng4);    t2 = ((char*)((ng9)));    memset(t3, 0, 8);    xsi_vlog_signed_unary_minus(t3, 32, t2, 32);    t4 = ((char*)((ng7)));    t5 = ((char*)((ng11)));    xsi_vlog_setTimeFormat(*((unsigned int *)t3), *((unsigned int *)t4), ng10, 0, *((unsigned int *)t5));    xsi_set_current_line(59, ng4);    xsi_vlogfile_write(1, 0, 0, ng12, 1, t0);    xsi_set_current_line(60, ng4);    Monitor_60_2(t0);    goto LAB1;}

//.........这里部分代码省略.........    t3 = ((char*)((ng1)));    t10 = (t0 + 2064);    xsi_vlogvar_assign_value(t10, t3, 0, 0, 6);    goto LAB68;LAB54:    xsi_set_current_line(96, ng0);    t3 = ((char*)((ng3)));    t10 = (t0 + 2064);    xsi_vlogvar_assign_value(t10, t3, 0, 0, 6);    goto LAB68;LAB56:    xsi_set_current_line(99, ng0);    t3 = ((char*)((ng26)));    t10 = (t0 + 2064);    xsi_vlogvar_assign_value(t10, t3, 0, 0, 6);    goto LAB68;LAB58:    xsi_set_current_line(102, ng0);    t3 = ((char*)((ng28)));    t10 = (t0 + 2064);    xsi_vlogvar_assign_value(t10, t3, 0, 0, 6);    goto LAB68;LAB60:    xsi_set_current_line(105, ng0);    t3 = ((char*)((ng30)));    t10 = (t0 + 2064);    xsi_vlogvar_assign_value(t10, t3, 0, 0, 6);    goto LAB68;LAB62:    xsi_set_current_line(110, ng0);LAB99:    xsi_set_current_line(111, ng0);    t3 = (t0 + 280);    xsi_vlogfile_write(1, 0, 0, ng32, 1, t3);    xsi_set_current_line(112, ng0);    t2 = ((char*)((ng31)));    t3 = (t0 + 2064);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 6);    goto LAB68;LAB64:    xsi_set_current_line(117, ng0);LAB100:    xsi_set_current_line(118, ng0);    t3 = (t0 + 280);    xsi_vlogfile_write(1, 0, 0, ng34, 1, t3);    xsi_set_current_line(119, ng0);    t2 = ((char*)((ng33)));    t3 = (t0 + 2064);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 6);    goto LAB68;LAB70:    xsi_set_current_line(41, ng0);    t9 = ((char*)((ng6)));    t10 = (t0 + 2064);    xsi_vlogvar_assign_value(t10, t9, 0, 0, 6);    goto LAB78;LAB72:    xsi_set_current_line(43, ng0);    t3 = ((char*)((ng8)));    t5 = (t0 + 2064);    xsi_vlogvar_assign_value(t5, t3, 0, 0, 6);    goto LAB78;LAB74:    xsi_set_current_line(45, ng0);    t3 = ((char*)((ng10)));    t5 = (t0 + 2064);

static void Initial_44_1(char *t0){    char *t1;    char *t2;    int t3;    char *t4;    int t5;    char *t6;    int t7;    char *t8;    char *t9;    char *t10;    int t11;    char *t12;    int t13;    char *t14;    int t15;    char *t16;    int t17;    char *t18;    int t19;    char *t20;    int t21;    char *t22;    int t23;    char *t24;    int t25;    char *t26;    int t27;    char *t28;    int t29;    char *t30;    int t31;    char *t32;    int t33;    char *t34;    int t35;    char *t36;    int t37;    char *t38;    char *t39;LAB0:LAB2:    t1 = (t0 + 472);    t2 = *((char **)t1);LAB3:    t1 = ((char*)((ng0)));    t3 = xsi_vlog_unsigned_case_compare(t2, 72, t1, 72);    if (t3 == 1)        goto LAB4;LAB5:    t4 = ((char*)((ng1)));    t5 = xsi_vlog_unsigned_case_compare(t2, 72, t4, 72);    if (t5 == 1)        goto LAB6;LAB7:    t6 = ((char*)((ng2)));    t7 = xsi_vlog_unsigned_case_compare(t2, 72, t6, 72);    if (t7 == 1)        goto LAB8;LAB9:LAB11:LAB10:LAB13:    t8 = (t0 + 472);    t9 = *((char **)t8);    xsi_vlogfile_write(1, 0, 0, ng3, 2, t0, (char)118, t9, 72);    xsi_vlog_finish(1);LAB12:    t1 = (t0 + 608);    t4 = *((char **)t1);LAB14:    t1 = ((char*)((ng4)));    t3 = xsi_vlog_unsigned_case_compare(t4, 40, t1, 40);    if (t3 == 1)        goto LAB15;LAB16:    t6 = ((char*)((ng5)));    t5 = xsi_vlog_unsigned_case_compare(t4, 40, t6, 40);    if (t5 == 1)        goto LAB17;LAB18:LAB20:LAB19:LAB22:    t8 = (t0 + 608);    t9 = *((char **)t8);    xsi_vlogfile_write(1, 0, 0, ng6, 2, t0, (char)118, t9, 40);    xsi_vlog_finish(1);LAB21:    t1 = (t0 + 744);    t6 = *((char **)t1);LAB23:    t1 = ((char*)((ng7)));    t3 = xsi_vlog_unsigned_case_compare(t6, 8, t1, 16);    if (t3 == 1)        goto LAB24;LAB25:    t8 = ((char*)((ng8)));    t5 = xsi_vlog_unsigned_case_compare(t6, 8, t8, 16);//.........这里部分代码省略.........

static void Initial_39_1(char *t0){    char *t1;    char *t2;    int t3;    char *t4;    int t5;    char *t6;    int t7;    char *t8;    char *t9;    int t10;    char *t11;    int t12;    char *t13;    int t14;    char *t15;    int t16;    char *t17;    int t18;    char *t19;    int t20;    char *t21;    int t22;    char *t23;    int t24;    char *t25;    int t26;    char *t27;    int t28;    char *t29;    int t30;    char *t31;    int t32;    char *t33;    int t34;    char *t35;    int t36;    char *t37;    char *t38;LAB0:LAB2:    t1 = (t0 + 264);    t2 = *((char **)t1);LAB3:    t1 = ((char*)((ng0)));    t3 = xsi_vlog_unsigned_case_compare(t2, 72, t1, 72);    if (t3 == 1)        goto LAB4;LAB5:    t4 = ((char*)((ng1)));    t5 = xsi_vlog_unsigned_case_compare(t2, 72, t4, 72);    if (t5 == 1)        goto LAB6;LAB7:    t6 = ((char*)((ng2)));    t7 = xsi_vlog_unsigned_case_compare(t2, 72, t6, 72);    if (t7 == 1)        goto LAB8;LAB9:LAB11:LAB10:LAB13:    t8 = (t0 + 264);    t9 = *((char **)t8);    xsi_vlogfile_write(1, 0, 0, ng3, 2, t0, (char)118, t9, 72);    xsi_vlog_finish(1);LAB12:    t1 = (t0 + 344);    t4 = *((char **)t1);LAB14:    t1 = ((char*)((ng4)));    t3 = xsi_vlog_unsigned_case_compare(t4, 8, t1, 16);    if (t3 == 1)        goto LAB15;LAB16:    t6 = ((char*)((ng5)));    t5 = xsi_vlog_unsigned_case_compare(t4, 8, t6, 16);    if (t5 == 1)        goto LAB17;LAB18:    t8 = ((char*)((ng6)));    t7 = xsi_vlog_unsigned_case_compare(t4, 8, t8, 16);    if (t7 == 1)        goto LAB19;LAB20:    t9 = ((char*)((ng7)));    t10 = xsi_vlog_unsigned_case_compare(t4, 8, t9, 16);    if (t10 == 1)        goto LAB21;LAB22:    t11 = ((char*)((ng8)));    t12 = xsi_vlog_unsigned_case_compare(t4, 8, t11, 16);    if (t12 == 1)        goto LAB23;LAB24:    t13 = ((char*)((ng9)));    t14 = xsi_vlog_unsigned_case_compare(t4, 8, t13, 16);    if (t14 == 1)        goto LAB25;//.........这里部分代码省略.........

//.........这里部分代码省略.........    t13 = *((unsigned int *)t6);    t14 = (t12 ^ t13);    t15 = *((unsigned int *)t7);    t16 = *((unsigned int *)t8);    t17 = (t15 ^ t16);    t18 = (t14 | t17);    t19 = *((unsigned int *)t7);    t20 = *((unsigned int *)t8);    t21 = (t19 | t20);    t22 = (~(t21));    t23 = (t18 & t22);    if (t23 != 0)        goto LAB15;LAB14:    if (t21 != 0)        goto LAB16;LAB17:    xsi_vlogtype_concat(t4, 1, 1, 1U, t9, 1);    t11 = (t4 + 4);    t26 = *((unsigned int *)t11);    t27 = (~(t26));    t28 = *((unsigned int *)t4);    t29 = (t28 & t27);    t30 = (t29 != 0);    if (t30 > 0)        goto LAB18;LAB19:    xsi_set_current_line(86, ng0);LAB22:    xsi_set_current_line(87, ng0);    t2 = (t0 + 2408);    t3 = (t2 + 56U);    t5 = *((char **)t3);    xsi_vlogfile_write(1, 0, 0, ng7, 2, t0, (char)118, t5, 21);LAB20:    xsi_set_current_line(89, ng0);    t2 = (t0 + 2408);    t3 = (t2 + 56U);    t5 = *((char **)t3);    t6 = ((char*)((ng1)));    memset(t4, 0, 8);    xsi_vlog_unsigned_add(t4, 32, t5, 21, t6, 32);    t7 = (t0 + 2408);    xsi_vlogvar_assign_value(t7, t4, 0, 0, 21);    xsi_set_current_line(90, ng0);    t2 = (t0 + 2248);    t3 = (t2 + 56U);    t5 = *((char **)t3);    t6 = (t0 + 2248);    t7 = (t6 + 72U);    t8 = *((char **)t7);    t10 = (t0 + 2248);    t11 = (t10 + 64U);    t24 = *((char **)t11);    t25 = (t0 + 2408);    t31 = (t25 + 56U);    t32 = *((char **)t31);    xsi_vlog_generic_get_array_select_value(t38, 100, t5, t8, t24, 2, 1, t32, 21, 2);    t33 = ((char*)((ng8)));    xsi_vlog_unsigned_case_eq(t39, 100, t38, 100, t33, 100);    t34 = (t39 + 4);    t12 = *((unsigned int *)t34);    t13 = (~(t12));    t14 = *((unsigned int *)t39);    t15 = (t14 & t13);    t16 = (t15 != 0);

static void Initial_110_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 + 7864U);    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 + 3568);    xsi_vlogvar_assign_value(t5, t4, 0, 0, 3);    t2 = ((char*)((ng1)));    t3 = (t0 + 4368);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    t2 = ((char*)((ng1)));    t3 = (t0 + 4848);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    t2 = ((char*)((ng1)));    t3 = (t0 + 5008);    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 + 6288);    xsi_vlogvar_assign_value(t5, t2, 0, 0, 1);LAB22:    t2 = (t0 + 472);    t5 = *((char **)t2);//.........这里部分代码省略.........

static void Initial_77_1(char *t0){    char t5[8];    char t6[8];    char *t1;    char *t2;    char *t3;    char *t4;    char *t7;    char *t8;    char *t9;    char *t10;    char *t11;    char *t12;    char *t13;    char *t14;    char *t15;    char *t16;    unsigned int t17;    int t18;    char *t19;    unsigned int t20;    int t21;    int t22;    unsigned int t23;    unsigned int t24;    int t25;    int t26;LAB0:    t1 = (t0 + 3256U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(77, ng9);LAB4:    xsi_set_current_line(79, ng9);    t2 = ((char*)((ng1)));    t3 = (t0 + 1448);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(80, ng9);    t2 = ((char*)((ng1)));    t3 = (t0 + 1608);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(81, ng9);    t2 = ((char*)((ng1)));    t3 = (t0 + 1768);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(82, ng9);    t2 = ((char*)((ng1)));    t3 = (t0 + 1928);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(83, ng9);    t2 = ((char*)((ng1)));    t3 = (t0 + 2088);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);    xsi_set_current_line(84, ng9);    t2 = ((char*)((ng1)));    t3 = (t0 + 6836);    t4 = *((char **)t3);    t7 = (t0 + 6860);    t8 = *((char **)t7);    t9 = ((((char*)(t8))) + 72U);    t10 = *((char **)t9);    t11 = (t0 + 6884);    t12 = *((char **)t11);    t13 = ((((char*)(t12))) + 64U);    t14 = *((char **)t13);    t15 = ((char*)((ng10)));    xsi_vlog_generic_convert_array_indices(t5, t6, t10, t14, 2, 1, t15, 3, 2);    t16 = (t5 + 4);    t17 = *((unsigned int *)t16);    t18 = (!(t17));    t19 = (t6 + 4);    t20 = *((unsigned int *)t19);    t21 = (!(t20));    t22 = (t18 && t21);    if (t22 == 1)        goto LAB5;LAB6:    xsi_set_current_line(86, ng9);    t2 = (t0 + 3064);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB7;LAB1:    return;LAB5:    t23 = *((unsigned int *)t5);    t24 = *((unsigned int *)t6);    t25 = (t23 - t24);    t26 = (t25 + 1);    xsi_vlogvar_assign_value(((char*)(t4)), t2, 0, *((unsigned int *)t6), t26);    goto LAB6;LAB7:    xsi_set_current_line(89, ng9);    Monitor_89_2(t0);    xsi_set_current_line(93, ng9);    xsi_vlogfile_write(1, 0, 0, ng11, 1, t0);    xsi_set_current_line(94, ng9);//.........这里部分代码省略.........

static void Always_67_2(char *t0){    char t7[32];    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;    char *t8;    char *t9;    char *t10;    char *t11;    char *t12;    char *t13;    char *t14;    char *t15;    char *t16;    char *t17;    char *t18;    char *t19;    char *t20;    char *t21;LAB0:    t1 = (t0 + 4144U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(67, ng0);    t2 = (t0 + 4712);    *((int *)t2) = 1;    t3 = (t0 + 4176);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    xsi_set_current_line(68, ng0);LAB5:    xsi_set_current_line(69, ng0);    t4 = (t0 + 2248);    t5 = (t4 + 56U);    t6 = *((char **)t5);    t8 = (t0 + 2248);    t9 = (t8 + 72U);    t10 = *((char **)t9);    t11 = (t0 + 2248);    t12 = (t11 + 64U);    t13 = *((char **)t12);    t14 = (t0 + 2408);    t15 = (t14 + 56U);    t16 = *((char **)t15);    xsi_vlog_generic_get_array_select_value(t7, 100, t6, t10, t13, 2, 1, t16, 21, 2);    t17 = (t0 + 2568);    xsi_vlogvar_assign_value(t17, t7, 0, 0, 32);    t18 = (t0 + 1928);    xsi_vlogvar_assign_value(t18, t7, 32, 0, 32);    t19 = (t0 + 1768);    xsi_vlogvar_assign_value(t19, t7, 64, 0, 32);    t20 = (t0 + 2088);    xsi_vlogvar_assign_value(t20, t7, 96, 0, 3);    t21 = (t0 + 2728);    xsi_vlogvar_assign_value(t21, t7, 99, 0, 1);    xsi_set_current_line(70, ng0);    t2 = (t0 + 2728);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t0 + 2088);    t6 = (t5 + 56U);    t8 = *((char **)t6);    t9 = (t0 + 1768);    t10 = (t9 + 56U);    t11 = *((char **)t10);    t12 = (t0 + 1928);    t13 = (t12 + 56U);    t14 = *((char **)t13);    t15 = (t0 + 2568);    t16 = (t15 + 56U);    t17 = *((char **)t16);    xsi_vlogfile_write(1, 0, 0, ng4, 6, t0, (char)118, t4, 1, (char)118, t8, 3, (char)118, t11, 32, (char)118, t14, 32, (char)118, t17, 32);    goto LAB2;}

static void Initial_47_0(char *t0){    char *t1;    char *t2;    char *t3;    unsigned int t4;    unsigned int t5;    unsigned int t6;    unsigned int t7;    unsigned int t8;    char *t9;    char *t10;    char *t11;LAB0:    t1 = (t0 + 3000U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(47, ng0);LAB4:    xsi_set_current_line(49, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1608);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(50, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1768);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(51, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1928);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(52, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 2088);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 16);    xsi_set_current_line(55, ng0);    t2 = (t0 + 2808);    xsi_process_wait(t2, 100000LL);    *((char **)t1) = &&LAB5;LAB1:    return;LAB5:    xsi_set_current_line(58, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 2088);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 16);    xsi_set_current_line(59, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1768);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(60, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1928);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(61, ng0);LAB6:    t2 = (t0 + 1208U);    t3 = *((char **)t2);    t2 = (t3 + 4);    t4 = *((unsigned int *)t2);    t5 = (~(t4));    t6 = *((unsigned int *)t3);    t7 = (t6 & t5);    t8 = (t7 != 0);    if (t8 > 0)        goto LAB8;LAB7:    t9 = (t0 + 3568);    *((int *)t9) = 1;    t10 = (t0 + 3000U);    *((char **)t10) = &&LAB6;    goto LAB1;LAB8:    t11 = (t0 + 3568);    *((int *)t11) = 0;    xsi_set_current_line(62, ng0);    t2 = (t0 + 1048U);    t3 = *((char **)t2);    xsi_vlogfile_write(1, 0, 0, ng4, 2, t0, (char)118, t3, 16);    goto LAB1;}

//.........这里部分代码省略.........    unsigned int t71;    unsigned int t72;    unsigned int t73;    unsigned int t74;    unsigned int t75;    unsigned int t76;    unsigned int t77;    unsigned int t78;    unsigned int t79;    unsigned int t80;    unsigned int t81;    unsigned int t82;    unsigned int t83;LAB0:LAB2:    t1 = (t0 + 608);    t2 = *((char **)t1);LAB3:    t1 = ((char*)((ng0)));    t3 = xsi_vlog_unsigned_case_compare(t2, 40, t1, 40);    if (t3 == 1)        goto LAB4;LAB5:    t4 = ((char*)((ng1)));    t5 = xsi_vlog_unsigned_case_compare(t2, 40, t4, 40);    if (t5 == 1)        goto LAB6;LAB7:LAB9:LAB8:LAB11:    t6 = (t0 + 608);    t7 = *((char **)t6);    xsi_vlogfile_write(1, 0, 0, ng2, 2, t0, (char)118, t7, 40);    xsi_vlog_finish(1);LAB10:    t1 = (t0 + 472);    t4 = *((char **)t1);LAB12:    t1 = ((char*)((ng3)));    t3 = xsi_vlog_unsigned_case_compare(t4, 72, t1, 72);    if (t3 == 1)        goto LAB13;LAB14:    t6 = ((char*)((ng4)));    t5 = xsi_vlog_unsigned_case_compare(t4, 72, t6, 72);    if (t5 == 1)        goto LAB15;LAB16:    t7 = ((char*)((ng5)));    t8 = xsi_vlog_unsigned_case_compare(t4, 72, t7, 72);    if (t8 == 1)        goto LAB17;LAB18:LAB20:LAB19:LAB22:    t9 = (t0 + 472);    t10 = *((char **)t9);    xsi_vlogfile_write(1, 0, 0, ng6, 2, t0, (char)118, t10, 72);    xsi_vlog_finish(1);LAB21:    t1 = (t0 + 744);    t6 = *((char **)t1);LAB23:    t1 = ((char*)((ng7)));

//.........这里部分代码省略.........LAB28:    t44 = (t0 + 600U);    t45 = *((char **)t44);    t44 = (t0 + 1196);    t46 = (t44 + 36U);    t47 = *((char **)t46);    memset(t48, 0, 8);    t49 = (t45 + 4);    t50 = (t47 + 4);    t51 = *((unsigned int *)t45);    t52 = *((unsigned int *)t47);    t53 = (t51 ^ t52);    t54 = *((unsigned int *)t49);    t55 = *((unsigned int *)t50);    t56 = (t54 ^ t55);    t57 = (t53 | t56);    t58 = *((unsigned int *)t49);    t59 = *((unsigned int *)t50);    t60 = (t58 | t59);    t61 = (~(t60));    t62 = (t57 & t61);    if (t62 != 0)        goto LAB32;LAB31:    if (t60 != 0)        goto LAB33;LAB34:    memset(t64, 0, 8);    t65 = (t48 + 4);    t66 = *((unsigned int *)t65);    t67 = (~(t66));    t68 = *((unsigned int *)t48);    t69 = (t68 & t67);    t70 = (t69 & 1U);    if (t70 != 0)        goto LAB35;LAB36:    if (*((unsigned int *)t65) != 0)        goto LAB37;LAB38:    t73 = *((unsigned int *)t32);    t74 = *((unsigned int *)t64);    t75 = (t73 | t74);    *((unsigned int *)t72) = t75;    t76 = (t32 + 4);    t77 = (t64 + 4);    t78 = (t72 + 4);    t79 = *((unsigned int *)t76);    t80 = *((unsigned int *)t77);    t81 = (t79 | t80);    *((unsigned int *)t78) = t81;    t82 = *((unsigned int *)t78);    t83 = (t82 != 0);    if (t83 == 1)        goto LAB39;LAB40:LAB41:    goto LAB30;LAB32:    *((unsigned int *)t48) = 1;    goto LAB34;LAB33:    t63 = (t48 + 4);    *((unsigned int *)t48) = 1;    *((unsigned int *)t63) = 1;    goto LAB34;LAB35:    *((unsigned int *)t64) = 1;    goto LAB38;LAB37:    t71 = (t64 + 4);    *((unsigned int *)t64) = 1;    *((unsigned int *)t71) = 1;    goto LAB38;LAB39:    t84 = *((unsigned int *)t72);    t85 = *((unsigned int *)t78);    *((unsigned int *)t72) = (t84 | t85);    t86 = (t32 + 4);    t87 = (t64 + 4);    t88 = *((unsigned int *)t86);    t89 = (~(t88));    t90 = *((unsigned int *)t32);    t91 = (t90 & t89);    t92 = *((unsigned int *)t87);    t93 = (~(t92));    t94 = *((unsigned int *)t64);    t95 = (t94 & t93);    t96 = (~(t91));    t97 = (~(t95));    t98 = *((unsigned int *)t78);    *((unsigned int *)t78) = (t98 & t96);    t99 = *((unsigned int *)t78);    *((unsigned int *)t78) = (t99 & t97);    goto LAB41;LAB42:    xsi_set_current_line(81, ng0);    xsi_vlogfile_write(1, 0, 0, ng8, 1, t0);    goto LAB44;}

static void I20_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(20, ng0);LAB4:    xsi_set_current_line(22, ng0);    xsi_vlogfile_write(1, 0, ng1, 1, t0);    xsi_set_current_line(24, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 876);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(25, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 968);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(26, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 1060);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(27, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1152);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(29, ng0);    t2 = (t0 + 1544);    xsi_process_wait(t2, 20000000LL);    *((char **)t1) = &&LAB5;LAB1:    return;LAB5:    xsi_set_current_line(29, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 968);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(31, ng0);    t2 = (t0 + 1544);    xsi_process_wait(t2, 100000000LL);    *((char **)t1) = &&LAB6;    goto LAB1;LAB6:    xsi_set_current_line(33, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1060);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(35, ng0);    t2 = (t0 + 1544);    xsi_process_wait(t2, 36000000LL);    *((char **)t1) = &&LAB7;    goto LAB1;LAB7:    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 + 1544);    xsi_process_wait(t2, 36000000LL);    *((char **)t1) = &&LAB8;    goto LAB1;LAB8:    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 + 1544);    xsi_process_wait(t2, 36000000LL);    *((char **)t1) = &&LAB9;    goto LAB1;LAB9:    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);    t2 = (t0 + 1544);    xsi_process_wait(t2, 36000000LL);    *((char **)t1) = &&LAB10;    goto LAB1;LAB10:    xsi_set_current_line(38, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1060);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(39, ng0);    t2 = (t0 + 1544);    xsi_process_wait(t2, 36000000LL);    *((char **)t1) = &&LAB11;    goto LAB1;LAB11:    xsi_set_current_line(39, ng0);//.........这里部分代码省略.........

static void Initial_39_0(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;LAB0:    t1 = (t0 + 1880U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(39, ng0);LAB4:    xsi_set_current_line(39, ng0);    t2 = (t0 + 1780);    xsi_process_wait(t2, 10000LL);    *((char **)t1) = &&LAB5;LAB1:    return;LAB5:    xsi_set_current_line(40, ng0);    xsi_vlogfile_write(1, 0, 0, ng1, 1, t0);    xsi_set_current_line(41, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1080);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 8);    xsi_set_current_line(42, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 988);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 8);    xsi_set_current_line(43, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 1172);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(44, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 1356);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(45, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 1264);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(46, ng0);    t2 = (t0 + 1780);    xsi_process_wait(t2, 10000LL);    *((char **)t1) = &&LAB6;    goto LAB1;LAB6:    xsi_set_current_line(47, ng0);    t3 = ((char*)((ng4)));    t4 = (t0 + 988);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 8);    xsi_set_current_line(48, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1172);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(49, ng0);    t2 = (t0 + 1780);    xsi_process_wait(t2, 10000LL);    *((char **)t1) = &&LAB7;    goto LAB1;LAB7:    xsi_set_current_line(50, ng0);    t3 = ((char*)((ng2)));    t4 = (t0 + 1356);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);    xsi_set_current_line(51, ng0);    t2 = (t0 + 1780);    xsi_process_wait(t2, 10000LL);    *((char **)t1) = &&LAB8;    goto LAB1;LAB8:    xsi_set_current_line(52, ng0);    t3 = ((char*)((ng3)));    t4 = (t0 + 1356);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);    xsi_set_current_line(53, ng0);    t2 = (t0 + 1780);    xsi_process_wait(t2, 10000LL);    *((char **)t1) = &&LAB9;    goto LAB1;LAB9:    xsi_set_current_line(54, ng0);    t3 = ((char*)((ng3)));    t4 = (t0 + 1172);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);    xsi_set_current_line(55, ng0);    t2 = ((char*)((ng5)));    t3 = (t0 + 988);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 8);    xsi_set_current_line(56, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1080);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 8);    xsi_set_current_line(57, ng0);    t2 = (t0 + 1780);    xsi_process_wait(t2, 10000LL);    *((char **)t1) = &&LAB10;//.........这里部分代码省略.........

static void Always_1393_1(char *t0){    char t4[16];    char t7[16];    char t19[8];    char t25[8];    char t28[8];    char *t1;    char *t2;    char *t3;    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;    double t17;    double t18;    char *t20;    char *t21;    char *t22;    double t23;    double t24;    double t26;    double t27;LAB0:    t1 = (t0 + 1748U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    t2 = (t0 + 1944);    *((int *)t2) = 1;    t3 = (t0 + 1776);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:LAB5:    t5 = xsi_vlog_time(t4, 1.0000000000000000, 1.0000000000000000);    t6 = (t0 + 988);    xsi_vlogvar_wait_assign_value(t6, t4, 0, 0, 64, 0LL);    t2 = xsi_vlog_time(t4, 1.0000000000000000, 1.0000000000000000);    t3 = (t0 + 988);    t5 = (t3 + 36U);    t6 = *((char **)t5);    xsi_vlog_unsigned_minus(t7, 64, t4, 64, t6, 64);    t8 = (t0 + 1080);    xsi_vlogvar_wait_assign_value(t8, t7, 0, 0, 64, 0LL);    t2 = (t0 + 1080);    t3 = (t2 + 36U);    t5 = *((char **)t3);    t6 = (t0 + 344);    t8 = *((char **)t6);    xsi_vlog_unsigned_greater(t4, 64, t5, 64, t8, 32);    t6 = (t4 + 4);    t9 = *((unsigned int *)t6);    t10 = (~(t9));    t11 = *((unsigned int *)t4);    t12 = (t11 & t10);    t13 = (t12 != 0);    if (t13 > 0)        goto LAB6;LAB7:LAB8:    goto LAB2;LAB6:LAB9:    t14 = (t0 + 1080);    t15 = (t14 + 36U);    t16 = *((char **)t15);    t17 = xsi_vlog_convert_to_real(t16, 64, 2);    t18 = (t17 / 1000.0000000000000);    *((double *)t19) = t18;    t20 = (t0 + 264);    t21 = *((char **)t20);    t20 = (t0 + 344);    t22 = *((char **)t20);    t23 = xsi_vlog_convert_to_real(t22, 32, 1);    t24 = (t23 / 1000.0000000000000);    *((double *)t25) = t24;    t20 = xsi_vlog_time(t7, 1.0000000000000000, 1.0000000000000000);    t26 = xsi_vlog_convert_to_real(t7, 64, 2);    t27 = (t26 / 1000.0000000000000);    *((double *)t28) = t27;    xsi_vlogfile_write(1, 0, 0, ng1, 5, t0, (char)114, t19, 64, (char)118, t21, 40, (char)114, t25, 64, (char)114, t28, 64);    goto LAB8;}

//.........这里部分代码省略.........    *((unsigned int *)t98) = 1;    *((unsigned int *)t105) = 1;    goto LAB38;LAB39:    t118 = *((unsigned int *)t106);    t119 = *((unsigned int *)t112);    *((unsigned int *)t106) = (t118 | t119);    t120 = (t77 + 4);    t121 = (t98 + 4);    t122 = *((unsigned int *)t77);    t123 = (~(t122));    t124 = *((unsigned int *)t120);    t125 = (~(t124));    t126 = *((unsigned int *)t98);    t127 = (~(t126));    t128 = *((unsigned int *)t121);    t129 = (~(t128));    t130 = (t123 & t125);    t131 = (t127 & t129);    t132 = (~(t130));    t133 = (~(t131));    t134 = *((unsigned int *)t112);    *((unsigned int *)t112) = (t134 & t132);    t135 = *((unsigned int *)t112);    *((unsigned int *)t112) = (t135 & t133);    t136 = *((unsigned int *)t106);    *((unsigned int *)t106) = (t136 & t132);    t137 = *((unsigned int *)t106);    *((unsigned int *)t106) = (t137 & t133);    goto LAB41;LAB42:    xsi_set_current_line(91, ng0);    t145 = xsi_vlog_time(t144, 10000.000000000000, 1000.0000000000000);    xsi_vlogfile_write(0, 0, 0, ng4, 2, t0, (char)118, t144, 64);    xsi_vlogfile_write(1, 0, 0, ng5, 1, t0);    goto LAB44;LAB45:    *((unsigned int *)t6) = 1;    goto LAB48;LAB47:    t4 = (t6 + 4);    *((unsigned int *)t6) = 1;    *((unsigned int *)t4) = 1;    goto LAB48;LAB49:    t12 = (t0 + 3912);    t13 = (t12 + 56U);    t17 = *((char **)t13);    t18 = ((char*)((ng1)));    memset(t22, 0, 8);    t19 = (t17 + 4);    t20 = (t18 + 4);    t24 = *((unsigned int *)t17);    t25 = *((unsigned int *)t18);    t26 = (t24 ^ t25);    t27 = *((unsigned int *)t19);    t28 = *((unsigned int *)t20);    t29 = (t27 ^ t28);    t30 = (t26 | t29);    t31 = *((unsigned int *)t19);    t32 = *((unsigned int *)t20);    t33 = (t31 | t32);    t34 = (~(t33));    t35 = (t30 & t34);    if (t35 != 0)        goto LAB55;

static void Initial_41_4(char *t0){    char t10[16];    char t11[8];    char t23[24];    char t24[8];    char t32[8];    char *t1;    char *t2;    int t3;    char *t4;    int t5;    char *t6;    int t7;    char *t8;    char *t9;    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;    char *t21;    char *t22;    char *t25;    unsigned int t26;    unsigned int t27;    unsigned int t28;    unsigned int t29;    unsigned int t30;    char *t31;    unsigned int t33;    unsigned int t34;    unsigned int t35;    char *t36;    char *t37;    char *t38;    unsigned int t39;    unsigned int t40;    unsigned int t41;    unsigned int t42;    unsigned int t43;    unsigned int t44;    unsigned int t45;    char *t46;    char *t47;    unsigned int t48;    unsigned int t49;    unsigned int t50;    unsigned int t51;    unsigned int t52;    unsigned int t53;    unsigned int t54;    unsigned int t55;    unsigned int t56;    unsigned int t57;    char *t58;    unsigned int t59;    unsigned int t60;    unsigned int t61;    unsigned int t62;    unsigned int t63;    char *t64;    char *t65;LAB0:LAB2:    t1 = (t0 + 472);    t2 = *((char **)t1);LAB3:    t1 = ((char*)((ng0)));    t3 = xsi_vlog_unsigned_case_compare(t2, 72, t1, 72);    if (t3 == 1)        goto LAB4;LAB5:    t4 = ((char*)((ng1)));    t5 = xsi_vlog_unsigned_case_compare(t2, 72, t4, 72);    if (t5 == 1)        goto LAB6;LAB7:    t6 = ((char*)((ng2)));    t7 = xsi_vlog_unsigned_case_compare(t2, 72, t6, 72);    if (t7 == 1)        goto LAB8;LAB9:LAB11:LAB10:LAB13:    t8 = (t0 + 472);    t9 = *((char **)t8);    xsi_vlogfile_write(1, 0, 0, ng3, 2, t0, (char)118, t9, 72);    xsi_vlog_finish(1);LAB12:    t1 = (t0 + 608);    t4 = *((char **)t1);    t1 = ((char*)((ng4)));    xsi_vlog_unsigned_equal(t10, 56, t4, 56, t1, 56);    memset(t11, 0, 8);//.........这里部分代码省略.........

static void Always_34_1(char *t0){    char t8[8];    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    int t6;    char *t7;    unsigned int t9;    unsigned int t10;    unsigned int t11;    char *t12;    char *t13;    unsigned int t14;    unsigned int t15;    unsigned int t16;    unsigned int t17;    unsigned int t18;    unsigned int t19;    unsigned int t20;    char *t21;    char *t22;    unsigned int t23;    unsigned int t24;    unsigned int t25;    int t26;    unsigned int t27;    unsigned int t28;    unsigned int t29;    int t30;    unsigned int t31;    unsigned int t32;    unsigned int t33;    unsigned int t34;    char *t35;    unsigned int t36;    unsigned int t37;    unsigned int t38;    unsigned int t39;LAB0:    t1 = (t0 + 3576U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(34, ng0);    t2 = (t0 + 4160);    *((int *)t2) = 1;    t3 = (t0 + 3608);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    xsi_set_current_line(34, ng0);LAB5:    xsi_set_current_line(35, ng0);    t4 = (t0 + 1688U);    t5 = *((char **)t4);    xsi_vlogfile_write(1, 0, 0, ng2, 2, t0, (char)118, t5, 3);    xsi_set_current_line(36, ng0);    t2 = (t0 + 1688U);    t3 = *((char **)t2);LAB6:    t2 = ((char*)((ng3)));    t6 = xsi_vlog_unsigned_case_compare(t3, 3, t2, 3);    if (t6 == 1)        goto LAB7;LAB8:    t2 = ((char*)((ng4)));    t6 = xsi_vlog_unsigned_case_compare(t3, 3, t2, 3);    if (t6 == 1)        goto LAB9;LAB10:    t2 = ((char*)((ng5)));    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:LAB15:    xsi_set_current_line(56, ng0);    t2 = (t0 + 1688U);    t4 = *((char **)t2);    xsi_vlogfile_write(1, 0, 0, ng2, 2, t0, (char)118, t4, 3);    xsi_set_current_line(57, ng0);    t2 = (t0 + 1048U);    t4 = *((char **)t2);    xsi_vlogfile_write(1, 0, 0, ng7, 2, t0, (char)118, t4, 32);    xsi_set_current_line(58, ng0);    t2 = (t0 + 2008U);    t4 = *((char **)t2);    xsi_vlogfile_write(1, 0, 0, ng8, 2, t0, (char)118, t4, 32);//.........这里部分代码省略.........

//.........这里部分代码省略.........    *((int *)t2) = 1;    t3 = (t0 + 1868);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:LAB5:    t5 = xsi_vlog_time(t4, 1.0000000000000000, 1.0000000000000000);    t6 = (t0 + 1080);    xsi_vlogvar_wait_assign_value(t6, t4, 0, 0, 64, 0LL);    t2 = xsi_vlog_time(t4, 1.0000000000000000, 1.0000000000000000);    t3 = (t0 + 1080);    t5 = (t3 + 36U);    t6 = *((char **)t5);    xsi_vlog_unsigned_minus(t7, 64, t4, 64, t6, 64);    t8 = (t0 + 1172);    xsi_vlogvar_assign_value(t8, t7, 0, 0, 64);    t2 = (t0 + 1172);    t3 = (t2 + 36U);    t5 = *((char **)t3);    t6 = (t0 + 344);    t8 = *((char **)t6);    xsi_vlog_unsigned_greater(t4, 64, t5, 64, t8, 32);    t6 = (t4 + 4);    t9 = *((unsigned int *)t6);    t10 = (~(t9));    t11 = *((unsigned int *)t4);    t12 = (t11 & t10);    t13 = (t12 != 0);    if (t13 > 0)        goto LAB6;LAB7:LAB8:    goto LAB2;LAB6:LAB9:    t14 = (t0 + 852U);    t15 = *((char **)t14);    t14 = ((char*)((ng1)));    memset(t16, 0, 8);    t17 = (t15 + 4);    t18 = (t14 + 4);    t19 = *((unsigned int *)t15);    t20 = *((unsigned int *)t14);    t21 = (t19 ^ t20);    t22 = *((unsigned int *)t17);    t23 = *((unsigned int *)t18);    t24 = (t22 ^ t23);    t25 = (t21 | t24);    t26 = *((unsigned int *)t17);    t27 = *((unsigned int *)t18);    t28 = (t26 | t27);    t29 = (~(t28));    t30 = (t25 & t29);    if (t30 != 0)        goto LAB13;LAB10:    if (t28 != 0)        goto LAB12;LAB11:    *((unsigned int *)t16) = 1;LAB13:    t32 = (t16 + 4);    t33 = *((unsigned int *)t32);    t34 = (~(t33));    t35 = *((unsigned int *)t16);    t36 = (t35 & t34);    t37 = (t36 != 0);    if (t37 > 0)        goto LAB14;LAB15:LAB16:    goto LAB8;LAB12:    t31 = (t16 + 4);    *((unsigned int *)t16) = 1;    *((unsigned int *)t31) = 1;    goto LAB13;LAB14:    t38 = (t0 + 1172);    t39 = (t38 + 36U);    t40 = *((char **)t39);    t41 = xsi_vlog_convert_to_real(t40, 64, 2);    t42 = (t41 / 1000.0000000000000);    *((double *)t43) = t42;    t44 = (t0 + 264);    t45 = *((char **)t44);    t44 = (t0 + 344);    t46 = *((char **)t44);    t47 = xsi_vlog_convert_to_real(t46, 32, 1);    t48 = (t47 / 1000.0000000000000);    *((double *)t49) = t48;    t44 = xsi_vlog_time(t7, 1.0000000000000000, 1.0000000000000000);    t50 = xsi_vlog_convert_to_real(t7, 64, 2);    t51 = (t50 / 1000.0000000000000);    *((double *)t52) = t51;    xsi_vlogfile_write(1, 0, 0, ng2, 5, t0, (char)114, t43, 64, (char)118, t45, 40, (char)114, t49, 64, (char)114, t52, 64);    goto LAB16;}

static int sp_Read_Data(char *t1, char *t2){    char t18[8];    char t19[8];    int t0;    char *t3;    char *t4;    char *t5;    char *t6;    unsigned int t7;    unsigned int t8;    unsigned int t9;    int t10;    char *t11;    char *t12;    char *t13;    char *t14;    char *t15;    char *t16;    char *t17;    char *t20;    char *t21;    char *t22;    char *t23;    char *t24;    char *t25;    char *t26;    char *t27;    char *t28;    char *t29;LAB0:    t0 = 1;    t3 = (t2 + 48U);    t4 = *((char **)t3);    if (t4 == 0)        goto LAB2;LAB3:    goto *t4;LAB2:    t4 = (t1 + 2144);    xsi_vlog_subprogram_setdisablestate(t4, &&LAB4);    xsi_set_current_line(93, ng0);LAB5:    xsi_set_current_line(94, ng0);    t5 = ((char*)((ng3)));    t6 = (t5 + 4);    t7 = *((unsigned int *)t6);    t8 = (~(t7));    t9 = *((unsigned int *)t5);    t10 = (t9 & t8);    t11 = (t1 + 8856);    *((int *)t11) = t10;LAB6:    t12 = (t1 + 8856);    if (*((int *)t12) > 0)        goto LAB7;LAB8:    xsi_set_current_line(99, ng0);    t4 = (t2 + 56U);    t5 = *((char **)t4);    t6 = (t2 + 56U);    t11 = *((char **)t6);    xsi_vlog_subprograminvocation_setJumpstate(t2, t11, &&LAB11);    t12 = (t2 + 56U);    t13 = *((char **)t12);    t14 = (t1 + 848);    t15 = xsi_create_subprogram_invocation(t13, 0, t1, t14, 0, t2);    xsi_vlog_subprogram_pushinvocation(t14, t15);LAB13:    t16 = (t2 + 64U);    t17 = *((char **)t16);    t20 = (t17 + 80U);    t21 = *((char **)t20);    t22 = (t21 + 272U);    t23 = *((char **)t22);    t24 = (t23 + 0U);    t25 = *((char **)t24);    t10 = ((int  (*)(char *, char *))t25)(t1, t17);    if (t10 == -1)        goto LAB14;LAB15:    if (t10 != 0)        goto LAB16;LAB11:    t17 = (t1 + 848);    xsi_vlog_subprogram_popinvocation(t17);LAB12:    t26 = (t2 + 64U);    t27 = *((char **)t26);    t26 = (t1 + 848);    t28 = (t2 + 56U);    t29 = *((char **)t28);    xsi_delete_subprogram_invocation(t26, t27, t1, t29, t2);    xsi_set_current_line(100, ng0);    t4 = (t1 + 3656);    t5 = (t4 + 56U);    t6 = *((char **)t5);    t11 = (t1 + 2144);    xsi_vlogfile_write(1, 0, 0, ng5, 2, t11, (char)118, t6, 8);    xsi_set_current_line(101, ng0);//.........这里部分代码省略.........

static void Always_30_1(char *t0){    char t15[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 *t13;    char *t14;    char *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;    unsigned int t26;    unsigned int t27;    unsigned int t28;    char *t29;    char *t30;    char *t31;LAB0:    t1 = (t0 + 3096U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(30, ng0);    t2 = (t0 + 3416);    *((int *)t2) = 1;    t3 = (t0 + 3128);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    xsi_set_current_line(30, ng0);LAB5:    xsi_set_current_line(31, ng0);    t4 = (t0 + 1208U);    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:    xsi_set_current_line(33, ng0);LAB9:    xsi_set_current_line(34, ng0);    t2 = (t0 + 1768);    t3 = (t2 + 56U);    t4 = *((char **)t3);    xsi_vlogfile_write(1, 0, 0, ng3, 2, t0, (char)118, t4, 16);    xsi_set_current_line(35, ng0);    t2 = ((char*)((ng4)));    t3 = (t0 + 1768);    t4 = (t3 + 56U);    t5 = *((char **)t4);    memset(t15, 0, 8);    xsi_vlog_unsigned_minus(t15, 32, t2, 32, t5, 16);    t11 = (t0 + 1928);    xsi_vlogvar_assign_value(t11, t15, 0, 0, 16);    xsi_set_current_line(36, ng0);    t2 = (t0 + 1928);    t3 = (t2 + 56U);    t4 = *((char **)t3);    xsi_vlogfile_write(1, 0, 0, ng5, 2, t0, (char)118, t4, 16);    xsi_set_current_line(37, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1768);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 16);LAB8:    xsi_set_current_line(39, ng0);    t2 = (t0 + 1928);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng4)));    memset(t15, 0, 8);    t11 = (t4 + 4);    t12 = (t5 + 4);    t6 = *((unsigned int *)t4);    t7 = *((unsigned int *)t5);    t8 = (t6 ^ t7);//.........这里部分代码省略.........

static void Initial_44_3(char *t0){    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;LAB0:    t1 = (t0 + 3264U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(44, ng0);LAB4:    xsi_set_current_line(45, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 1608);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(46, ng0);    t2 = (t0 + 3072);    xsi_process_wait(t2, 500000LL);    *((char **)t1) = &&LAB5;LAB1:    return;LAB5:    xsi_set_current_line(46, ng0);    xsi_vlogfile_write(1, 0, 0, ng5, 1, t0);    xsi_set_current_line(47, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1608);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(48, ng0);    t2 = (t0 + 3072);    xsi_process_wait(t2, 200000LL);    *((char **)t1) = &&LAB6;    goto LAB1;LAB6:    xsi_set_current_line(48, ng0);    t3 = ((char*)((ng2)));    t4 = (t0 + 1608);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);    xsi_set_current_line(49, ng0);    t2 = (t0 + 3072);    xsi_process_wait(t2, 200000LL);    *((char **)t1) = &&LAB7;    goto LAB1;LAB7:    xsi_set_current_line(49, ng0);    t3 = ((char*)((ng1)));    t4 = (t0 + 1608);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);    xsi_set_current_line(50, ng0);    t2 = (t0 + 3072);    xsi_process_wait(t2, 200000LL);    *((char **)t1) = &&LAB8;    goto LAB1;LAB8:    xsi_set_current_line(50, ng0);    t3 = ((char*)((ng2)));    t4 = (t0 + 1608);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);    xsi_set_current_line(51, ng0);    t2 = (t0 + 3072);    xsi_process_wait(t2, 200000LL);    *((char **)t1) = &&LAB9;    goto LAB1;LAB9:    xsi_set_current_line(51, ng0);    t3 = ((char*)((ng1)));    t4 = (t0 + 1608);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);    xsi_set_current_line(52, ng0);    t2 = (t0 + 3072);    xsi_process_wait(t2, 200000LL);    *((char **)t1) = &&LAB10;    goto LAB1;LAB10:    xsi_set_current_line(52, ng0);    t3 = ((char*)((ng2)));    t4 = (t0 + 1608);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);    xsi_set_current_line(53, ng0);    t2 = (t0 + 3072);    xsi_process_wait(t2, 200000LL);    *((char **)t1) = &&LAB11;    goto LAB1;LAB11:    xsi_set_current_line(53, ng0);    t3 = ((char*)((ng1)));    t4 = (t0 + 1608);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);    xsi_set_current_line(54, ng0);    t2 = (t0 + 3072);    xsi_process_wait(t2, 200000LL);    *((char **)t1) = &&LAB12;    goto LAB1;//.........这里部分代码省略.........